title: Explaining the poor performance of the KASS algorithm implementation

abstract: By investigating the code for the KASS algorithm implementation used in the paper "Exploring the quantum speed limit with computer games" [1, arXiv:1506.09091] by S{\o}rensen et al. (provided by the authors), we describe how the poor performance of the KASS algorithm reported in [1] is entirely caused by a simple sign error in a derivative calculation. Changing only this one sign in the KASS implementation, we show that the algorithm provides results comparable to all other algorithms considered for the problem [2,7], and performs better than all player solutions of [1]. Furthermore, we show that the player solutions were optimized with a different algorithm before being compared to the results from the KASS algorithm. The authors of [1] have acknowledged both findings. Finally, we show that in contrast to the claims in [1], the players did not explore two different strategies. In fact, all the players followed the same strategy.


title: KGvec2go -- Knowledge Graph Embeddings as a Service

abstract: In this paper, we present KGvec2go, a Web API for accessing and consuming graph embeddings in a light-weight fashion in downstream applications. Currently, we serve pre-trained embeddings for four knowledge graphs. We introduce the service and its usage, and we show further that the trained models have semantic value by evaluating them on multiple semantic benchmarks. The evaluation also reveals that the combination of multiple models can lead to a better outcome than the best individual model.


title: Bohr phenomenon for operator valued functions with fixed initial coefficient

abstract: The purpose of this article is to study Bohr inequalities involving the absolute values of the coefficients of an operator valued function. To be more specific, we establish an operator valued analogue of a classical result regarding the Bohr phenomenon for scalar valued functions with fixed initial coefficient. Apart from that, operator valued versions of other related and well known results are obtained.


title: Exploring the ground state spectrum of gamma-deformed N=4 SYM

abstract: We study the gamma-deformation of the planar N=4 super Yang-Mills theory which breaks all supersymmetries but is expected to preserve integrability of the model. We focus on the operator Tr$(\phi_1\phi_1)$ built from two scalars, whose integrability description has been questioned before due to contributions from double-trace counterterms. We show that despite these subtle effects, the integrability-based Quantum Spectral Curve (QSC) framework works perfectly for this state and in particular reproduces the known 1-loop prediction. This resolves an earlier controversy concerning this operator and provides further evidence that the gamma-deformed model is an integrable CFT at least in the planar limit. We use the QSC to compute the first 5 weak coupling orders of the anomalous dimension analytically, matching known results in the fishnet limit, and also compute it numerically all the way from weak to strong coupling. We also utilize this data to extract a new coefficient of the beta function of the double-trace operator couplings.


title: A mechanistic model for the growth of cylindrical debris particles in the presence of adhesion

abstract: The wear volume is known to keep increasing during frictional processes, and Archard notably proposed a model to describe the probability of wear particle formation upon asperity collision in a two-body contact configuration. While this model is largely adopted in the investigations of wear, the presence of wear debris trapped between the surfaces changes the system into a three-body contact configuration already since the early stages of the process. In such a configuration, a significant amount of wear is produced at the interface between the trapped debris and the sliding bodies. Here, relying on analytical models, we develop a framework that describes crack growth in a three-body configuration at the particle-surface interface. We then show that crack growth is favoured within the sliding surfaces, instead of within the debris particle, and test such result by means of numerical simulations with a phase-field approach to fracture. This leads to an increase in the wear volume and to debris particle accretion, rather than its break down. The effects of adhesion, coefficient of friction, and ratio of the applied global tangential and normal forces are also investigated.


title: SMap: Internet-wide Scanning for Spoofing

abstract: To protect themselves from attacks, networks need to enforce ingress filtering, i.e., block inbound packets sent from spoofed IP addresses. Although this is a widely known best practice, it is still not clear how many networks do not block spoofed packets. Inferring the extent of spoofability at Internet scale is challenging and despite multiple efforts the existing studies currently cover only a limited set of the Internet networks: they can either measure networks that operate servers with faulty network-stack implementations, or require installation of the measurement software on volunteer networks, or assume specific properties, like traceroute loops. Improving coverage of the spoofing measurements is critical. In this work we present the Spoofing Mapper (SMap): the first scanner for performing Internet-wide studies of ingress filtering. SMap evaluates spoofability of networks utilising standard protocols that are present in almost any Internet network. We applied SMap for Internet-wide measurements of ingress filtering: we found that 69.8% of all the Autonomous Systems (ASes) in the Internet do not filter spoofed packets and found 46880 new spoofable ASes which were not identified in prior studies. Our measurements with SMap provide the first comprehensive view of ingress filtering deployment in the Internet as well as remediation in filtering spoofed packets over a period of two years until May 2021. We set up a web service at https://smap.cad.sit.fraunhofer.de to perform continual Internet-wide data collection with SMap and display statistics from spoofing evaluation. We make our datasets as well as the SMap (implementation and the source code) publicly available to enable researchers to reproduce and validate our results, as well as to continually keep track of changes in filtering spoofed packets in the Internet.


title: Level set and density estimation on manifolds

abstract: We tackle the problem of the estimation of the level sets L_f({\lambda}) of the density f of a random vector X supported on a smooth manifold M\subsetR^d , from an iid sample of X. To do that we introduce a kernel-based estimator f^n,h , which is a slightly modified version of the one proposed in [45], and proves its a.s. uniform convergence to f . Then, we propose two estimators of L f ({\lambda}), the first one is a plug-in: L f^n,h ({\lambda}), which is proven to be a.s. consistent in Hausdorff distance and distance in measure, if L f({\lambda}) does not meet the boundary of M . While the second one assumes that L f({\lambda}) is r-convex, and is estimated by means of the r-convex hull of L f^n,h({\lambda}). The performance of our proposal is illustrated through some simulated examples. In a real data example we analyze the intensity and direction of strong and moderate winds.


title: Energy partition for anharmonic, undamped, classical oscillators

abstract: Using stochastic methods, general formulas for average kinetic and potential energies for anharmonic, undamped (frictionless), classical oscillators are derived. It is demonstrated that for potentials of $|x|^\nu$ ($\nu>0$) type energies are equipartitioned for the harmonic potential only. For potential wells weaker than parabolic potential energy dominates, while for potentials stronger than parabolic kinetic energy prevails. Due to energy conservation, the variances of kinetic and potential energies are equal. In the limiting case of the infinite rectangular potential well ($\nu\to\infty$) the whole energy is stored in the form of the kinetic energy and variances of energy distributions vanish.


title: C-infinity regularization of ODEs perturbed by noise

abstract: We study ODEs with vector fields given by general Schwartz distributions, and we show that if we perturb such an equation by adding an "infinitely regularizing" path, then it has a unique solution and it induces an infinitely smooth flow of diffeomorphisms. We also introduce a criterion under which the sample paths of a Gaussian process are infinitely regularizing, and we present two processes which satisfy our criterion. The results are based on the path-wise space-time regularity properties of local times, and solutions are constructed using the approach of Catellier-Gubinelli based on non-linear Young integrals.


title: Some Experiments on the influence of Problem Hardness in Morphological Development based Learning of Neural Controllers

abstract: Natural beings undergo a morphological development process of their bodies while they are learning and adapting to the environments they face from infancy to adulthood. In fact, this is the period where the most important learning pro-cesses, those that will support learning as adults, will take place. However, in artificial systems, this interaction between morphological development and learning, and its possible advantages, have seldom been considered. In this line, this paper seeks to provide some insights into how morphological development can be harnessed in order to facilitate learning in em-bodied systems facing tasks or domains that are hard to learn. In particular, here we will concentrate on whether morphological development can really provide any advantage when learning complex tasks and whether its relevance towards learning in-creases as tasks become harder. To this end, we present the results of some initial experiments on the application of morpho-logical development to learning to walk in three cases, that of a quadruped, a hexapod and that of an octopod. These results seem to confirm that as task learning difficulty increases the application of morphological development to learning becomes more advantageous.


title: 2D Convection-Diffusion in Multipolar Flows

abstract: We present a complete analysis of the problem of convection-diffusion in low Re, 2-dimensional flows with distributions of singularities, such as those found in open-space microfluidics and in groundwater flows. Using Boussinesq transformations and solving the problem in streamline coordinates, we obtain concentration profiles in flows with complex arrangements of sources and sinks for both high and low Pe. These yield the complete analytical concentration profile at every point in applications that previously relied on material surface tracking, local lump models or numerical analysis such as microfluidic probes, groundwater heat pumps, or diffusive flows in porous media. Using conformal transforms, we generate families of symmetrical solutions from simple ones, and provide a general methodology that can be used to analyze any arrangement of source and sinks. The solutions obtained that contain the explicit dependence on the various parameters of the problems, such as Pe, the spacing of the apertures and their relative injection and aspiration rates. In particular, we show that the high Pe models can model problems with Pe as low as 1 with a maximum error committed of under $10\%$, and that this error decreases approximately as $Pe^{-1.5}$.


title: SARDO: An Automated Search-and-Rescue Drone-based Solution for Victims Localization

abstract: Natural disasters affect millions of people every year. Finding missing persons in the shortest possible time is of crucial importance to reduce the death toll. This task is especially challenging when victims are sparsely distributed in large and/or difficult-to-reach areas and cellular networks are down. In this paper we present SARDO, a drone-based search and rescue solution that exploits the high penetration rate of mobile phones in the society to localize missing people. SARDO is an autonomous, all-in-one drone-based mobile network solution that does not require infrastructure support or mobile phones modifications. It builds on novel concepts such as pseudo-trilateration combined with machine-learning techniques to efficiently locate mobile phones in a given area. Our results, with a prototype implementation in a field-trial, show that SARDO rapidly determines the location of mobile phones (~3 min/UE) in a given area with an accuracy of few tens of meters and at a low battery consumption cost (~5%). State-of-the-art localization solutions for disaster scenarios rely either on mobile infrastructure support or exploit onboard cameras for human/computer vision, IR, thermal-based localization. To the best of our knowledge, SARDO is the first drone-based cellular search-and-rescue solution able to accurately localize missing victims through mobile phones.


title: Reply to "Comment on 'An Alternative Approach for the Determination of Mean Free Paths of Electron Scattering in Liquid Water Based on Experimental Data'"

abstract: In a recent comment, Ruth Signorell raises a number of issues that she considers to question the validity of our approach to determine mean free paths for electron scattering in liquid water and our comparison with the results on amorphous ice by Michaud, Wen, and Sanche. Here, we show that these critiques are unjustified, being either unfounded or based on misconceptions by the author of the comment. We nevertheless welcome the opportunity to further clarify certain aspects of our work that we did not discuss in detail in our letter.


title: Photonic Quantum Metrology

abstract: Quantum Metrology is one of the most promising application of quantum technologies. The aim of this research field is the estimation of unknown parameters exploiting quantum resources, whose application can lead to enhanced performances with respect to classical strategies. Several physical quantum systems can be employed to develop quantum sensors, and photonic systems represent ideal probes for a large number of metrological tasks. Here we review the basic concepts behind quantum metrology and then focus on the application of photonic technology for this task, with particular attention to phase estimation. We describe the current state of the art in the field in terms of platforms and quantum resources. Furthermore, we present the research area of multiparameter quantum metrology, where multiple parameters have to be estimated at the same time. We conclude by discussing the current experimental and theoretical challenges, and the open questions towards implementation of photonic quantum sensors with quantum-enhanced performances in the presence of noise.


title: Topological Effects on Attacks Against Vertex Classification

abstract: Vertex classification is vulnerable to perturbations of both graph topology and vertex attributes, as shown in recent research. As in other machine learning domains, concerns about robustness to adversarial manipulation can prevent potential users from adopting proposed methods when the consequence of action is very high. This paper considers two topological characteristics of graphs and explores the way these features affect the amount the adversary must perturb the graph in order to be successful. We show that, if certain vertices are included in the training set, it is possible to substantially an adversary's required perturbation budget. On four citation datasets, we demonstrate that if the training set includes high degree vertices or vertices that ensure all unlabeled nodes have neighbors in the training set, we show that the adversary's budget often increases by a substantial factor---often a factor of 2 or more---over random training for the Nettack poisoning attack. Even for especially easy targets (those that are misclassified after just one or two perturbations), the degradation of performance is much slower, assigning much lower probabilities to the incorrect classes. In addition, we demonstrate that this robustness either persists when recently proposed defenses are applied, or is competitive with the resulting performance improvement for the defender.


title: SAHRTA: A Supervisory-Based Adaptive Human-Robot Teaming Architecture

abstract: Supervisory-based human-robot teams are deployed in various dynamic and extreme environments (e.g., space exploration). Achieving high task performance in such environments is critical, as a mistake may lead to significant monetary loss or human injury. Task performance may be augmented by adapting the supervisory interface's interactions or autonomy levels based on the human supervisor's workload level, as workload is related to task performance. Typical adaptive systems rely solely on the human's overall or cognitive workload state to select what adaptation strategy to implement; however, overall workload encompasses many dimensions (i.e., cognitive, physical, visual, auditory, and speech) called workload components. Selecting an appropriate adaptation strategy based on a complete human workload state (rather than a single workload dimension) may allow for more impactful adaptations that ensure high task performance. A Supervisory-Based Adaptive Human-Robot Teaming Architecture (SAHRTA) that selects an appropriate level of autonomy or system interaction based on a complete real-time multi-dimensional workload estimate and predicted future task performance is introduced. SAHRTA was shown to improve overall task performance in a physically expanded version of the NASA Multi-Attribute Task Battery.


title: Hybrid Particle-Field Molecular Dynamics Under Constant Pressure

abstract: Hybrid particle-field methods are computationally efficient approaches for modelling soft matter systems. So far applications of these methodologies have been limited to constant volume conditions. Here, we reformulate particle-field interactions to represent systems coupled to constant external pressure. First, we show that the commonly used particle-field energy functional can be modified to model and parameterize the isotropic contributions to the pressure tensor without interfering with the microscopic forces on the particles. Second, we employ a square gradient particle-field interaction term to model non-isotropic contributions to the pressure tensor, such as in surface tension phenomena. This formulation is implemented within the hybrid particle-field molecular dynamics approach and is tested on a series of model systems. Simulations of a homogeneous water box demonstrate that it is possible to parameterize the equation of state to reproduce any target density for a given external pressure. Moreover, the same parameterization is transferable to systems of similar coarse-grained mapping resolution. Finally, we evaluate the feasibility of the proposed approach on coarse-grained models of phospholipids, finding that the term between water and the lipid hydrocarbon tails is alone sufficient to reproduce the experimental area per lipid in constant-pressure simulations, and to produce a qualitatively correct lateral pressure profile.


title: Parametric model order reduction using pyMOR

abstract: pyMOR is a free software library for model order reduction that includes both reduced basis and system-theoretic methods. All methods are implemented in terms of abstract vector and operator interfaces, which allows direct integration of pyMOR's algorithms with a wide array of external PDE solvers. In this contribution, we give a brief overview of the available methods and experimentally compare them for the parametric instationary thermal-block benchmark defined in arXiv:2003.00846.

categories: cs.MS cs.NA cs.SY eess.SY math.NA math.OC


title: Regular Intersection Emptiness of Graph Problems: Finding a Needle in a Haystack of Graphs with the Help of Automata

abstract: The Int_reg-problem of a combinatorial problem P asks, given a nondeterministic automaton M as input, whether the language L(M) accepted by M contains any positive instance of the problem P. We consider the Int_reg-problem for a number of different graph problems and give general criteria that give decision procedures for these Int_reg-problems. To achieve this goal, we consider a natural graph encoding so that the language of all graph encodings is regular. Then, we draw the connection between classical pumping- and interchange-arguments from the field of formal language theory with the graph operations induced on the encoded graph. Our techniques apply among others to the Int_reg-problem of well-known graph problems like Vertex Cover and Independent Set, as well as to subgraph problems, graph-edit problems and graph-partitioning problems, including coloring problems.


title: Leveraging the Mathematics of Shape for Solar Magnetic Eruption Prediction

abstract: Current operational forecasts of solar eruptions are made by human experts using a combination of qualitative shape-based classification systems and historical data about flaring frequencies. In the past decade, there has been a great deal of interest in crafting machine-learning (ML) flare-prediction methods to extract underlying patterns from a training set---e.g., a set of solar magnetogram images, each characterized by features derived from the magnetic field and labeled as to whether it was an eruption precursor. These patterns, captured by various methods (neural nets, support vector machines, etc.), can then be used to classify new images. A major challenge with any ML method is the \textit{featurization} of the data: pre-processing the raw images to extract higher-level properties, such as characteristics of the magnetic field, that can streamline the training and use of these methods. It is key to choose features that are informative, from the standpoint of the task at hand. To date, the majority of ML-based solar eruption methods have used physics-based magnetic and electric field features such as the total unsigned magnetic flux, the gradients of the fields, the vertical current density, etc. In this paper, we extend the relevant feature set to include characteristics of the magnetic field that are based purely on the geometry and topology of 2D magnetogram images and show that this improves the prediction accuracy of a neural-net based flare-prediction method.


title: On the phase change for perturbations of Hamiltonian systems with separatrix crossing

abstract: We study the evolution of angular variable (phase) for general (not necessarily Hamiltonian) perturbations of Hamiltonian systems with one degree of freedom near separatrices of the unperturbed system. To this end, we use averaged system of order 2. We obtain estimates for the accuracy of order 2 averaged system near separatrices and use these estimates to prove a formula for the phase change when solutions of the perturbed system approach separatrices of the unperturbed system (such formula is known when the perturbation is Hamiltonian). As an application of this formula, we show that two natural definitions of probability of capture into different domains after separatrix crossing proposed by V.I. Arnold and D.V. Anosov lead to the same formula for this probability.


title: An asymptotic expansion of two-bubble wave maps

abstract: This is the first part of a two-paper series that establishes the uniqueness and regularity of a threshold energy wave map that does not scatter in both time directions. Consider the two-sphere valued equivariant energy critical wave maps equation on 1+2 dimensional Minkowski space, with equivariance class k>3. It is known that every topologically trivial wave map with energy less than twice that of the unique k-equivariant harmonic map Q scatters in both time directions. We study maps with precisely the threshold energy, i.e., twice the energy of Q. In this paper, we give a refined construction of a wave map with threshold energy that converges to a superposition of two harmonic maps (bubbles), asymptotically decoupling in scale. We show that this two-bubble solution possesses H^2 regularity. We give a precise dynamical description of the modulation parameters as well as an expansion of the map into profiles. In the next paper in the series, we show that this solution is unique (up to the natural invariances of the equation) relying crucially on the detailed properties of the solution constructed here. Combined with our earlier work, we can now give an exact description of every threshold wave map.


title: UAV-to-Device Underlay Communications: Age of Information Minimization by Multi-agent Deep Reinforcement Learning

abstract: In recent years, unmanned aerial vehicles (UAVs) have found numerous sensing applications, which are expected to add billions of dollars to the world economy in the next decade. To further improve the Quality-of-Service (QoS) in such applications, the 3rd Generation Partnership Project (3GPP) has considered the adoption of terrestrial cellular networks to support UAV sensing services, also known as the cellular Internet of UAVs. In this paper, we consider a cellular Internet of UAVs, where the sensory data can be transmitted either to base station (BS) via cellular links, or to mobile devices by underlay UAV-to-Device (U2D) communications. To evaluate the freshness of data, the age of information (AoI) is adopted, in which a lower AoI implies fresher data. Since UAVs' AoIs are determined by their trajectories during sensing and transmission, we investigate the AoI minimization problem for UAVs by designing their trajectories. This problem is a Markov decision problem (MDP) with an infinite state-action space, and thus we utilize multi-agent deep reinforcement learning (DRL) to approximate the state-action space. Then, we propose a multi-UAV trajectory design algorithm to solve this problem. Simulation results show that our algorithm achieves a lower AoI than greedy algorithm and policy gradient algorithm.


title: Ensemble qubit controllability with a single control via adiabatic and rotating wave approximations

abstract: In the physics literature it is common to see the rotating wave approximation andthe adiabatic approximation used "in cascade" to justify the use of chirped pulses for two-level quantum systems driven by one external field, in particular when the resonance frequency of the system is not known precisely. Both approximations need relatively long time and are essentially based on averaging theory of dynamical systems. Unfortunately, the two approximations cannot be done independently since, in a sense, the two time scales interact. The purpose of this paper is to study how the cascade of the two approximations can be justified and how large becomes the final time as the fidelity goes to one, while preserving the robustness of the adiabatic strategy. Our first result, based on high-order averaging techniques, gives a precise quantification of the uncertainty interval of the resonance frequency for which the population inversion works. As a byproduct of this result, we prove that it is possible to control an ensemble of spin systems by a single real-valued control, providing a non-trivial extension of a celebrated result of ensemble controllability with two controls by Khaneja and Li.


title: Towards smooth (010) beta-Ga2O3 films homoepitaxially grown by plasma assisted molecular beam epitaxy: The impact of substrate offcut and metal-to-oxygen flux ratio

abstract: Smooth interfaces and surfaces are beneficial for most (opto)electronic devices based on thin films and their heterostructures. For example, smoother interfaces in (010) beta-Ga2O3/(AlxGa1-x)2O3 heterostructures, whose roughness is ruled by that of the Ga2O3 layer, can enable higher mobility 2DEGs by reducing interface roughness scattering. To this end we experimentally prove that a substrate offcut along the [001] direction allows to obtain smooth beta-Ga2O3 layers in (010)-homoepitaxy under metal-rich conditions. Applying In-mediated metal-exchange catalysis (MEXCAT) in molecular beam epitaxy at high substrate temperatures (Tg = 900 {\deg}C) we compare the morphology of layers grown on (010)-oriented substrates with different unintentional offcuts. The layer roughness is generally ruled by (i) (110) and (-110)-facets visible as elongated features along the [001] direction (rms < 0.5 nm), and (ii) trenches (5-10 nm deep) orthogonal to [001]. We show that an unintentional substrate offcut of only 0.1{\deg} almost oriented along the [001] direction suppresses these trenches resulting in a smooth morphology with a roughness exclusively determined by the facets, i.e., rms 0.2 nm. Since we found the facet-and-trench morphology in layers grown by MBE with and without MEXCAT, we propose that the general growth mechanism for (010)-homoepitaxy is ruled by island growth whose coalescence results in the formation of the trenches. The presence of a substrate offcut in the [001] direction can allow for step-flow growth or island nucleation at the step edges, which prevents the formation of trenches. Moreover, we give experimental evidence for a decreasing surface diffusion length or increasing nucleation density with decreasing metal-to-oxygen flux ratio. Based on our results we can rule-out step bunching as cause of the trench formation as well as a surfactant-effect of indium during MEXCAT.


title: Quantum Enhanced Measurement of an Optical Frequency Comb

abstract: Measuring the spectral properties of an optical frequency comb is among the most fundamental tasks of precision metrology. In contrast to general single-parameter measurement schemes, we demonstrate here single shot multiparameter estimation at and beyond the standard quantum limit. The mean energy and the central frequency of ultrafast pulses are simultaneously determined with a multi-pixel-spectrally-resolved (MPSR) apparatus, without changing the photonics architecture. Moreover, using a quantum frequency comb that consists of multiple squeezed states in a family of Hermite-Gaussian spectral/temporal modes, the signal-to-noise ratios of the mean energy and the central frequency measurements surpass the shot-noise limit by around 19% and 15%, respectively. Combining our multi-pixel detection scheme and the intrinsic multimode quantum resource could find applications in ultrafast quantum metrology and multimode quantum information processing.


title: Computing the Galois group of a polynomial over a $p$-adic field

abstract: We present a family of algorithms for computing the Galois group of a polynomial defined over a $p$-adic field. Apart from the "naive" algorithm, these are the first general algorithms for this task. As an application, we compute the Galois groups of all totally ramified extensions of $\mathbb{Q}_2$ of degrees 18, 20 and 22, tables of which are available online.


title: Uniqueness of two-bubble wave maps

abstract: This is the second part of a two-paper series that establishes the uniqueness and regularity of a threshold energy wave map that does not scatter in both time directions. Consider the two-sphere valued equivariant energy critical wave maps equation on 1+2 dimensional Minkowski space, with equivariance class k > 3. It is known that every topologically trivial wave map with energy less than twice that of the unique k-equivariant harmonic map Q scatters in both time directions. We study maps with precisely the threshold energy, i.e., twice the energy of Q. In the first part of the series we gave a refined construction of a threshold wave map that asymptotically decouples into a superposition of two harmonic maps (bubbles), one of which is concentrating in scale. In this paper, we show that this solution is the unique (up to the natural invariances of the equation) two-bubble wave map. Combined with our earlier work we can now give an exact description of every threshold wave map.


title: Control-flow Flattening Preserves the Constant-Time Policy (Extended Version)

abstract: Obfuscating compilers protect a software by obscuring its meaning and impeding the reconstruction of its original source code. The typical concern when defining such compilers is their robustness against reverse engineering and the performance of the produced code. Little work has been done in studying whether the security properties of a program are preserved under obfuscation. In this paper we start addressing this problem: we consider control-flow flattening, a popular obfuscation technique used in industrial compilers, and a specific security policy, namely constant-time. We prove that this obfuscation preserves the policy, i.e., that every program satisfying the policy still does after the transformation.


title: Top-1 Solution of Multi-Moments in Time Challenge 2019

abstract: In this technical report, we briefly introduce the solutions of our team 'Efficient' for the Multi-Moments in Time challenge in ICCV 2019. We first conduct several experiments with popular Image-Based action recognition methods TRN, TSN, and TSM. Then a novel temporal interlacing network is proposed towards fast and accurate recognition. Besides, the SlowFast network and its variants are explored. Finally, we ensemble all the above models and achieve 67.22\% on the validation set and 60.77\% on the test set, which ranks 1st on the final leaderboard. In addition, we release a new code repository for video understanding which unifies state-of-the-art 2D and 3D methods based on PyTorch. The solution of the challenge is also included in the repository, which is available at https://github.com/Sense-X/X-Temporal.


title: On the robustness of the minimum $\ell_2$ interpolator

abstract: We analyse the interpolator with minimal $\ell_2$-norm $\hat{\beta}$ in a general high dimensional linear regression framework where $\mathbb Y=\mathbb X\beta^*+\xi$ where $\mathbb X$ is a random $n\times p$ matrix with independent $\mathcal N(0,\Sigma)$ rows and without assumption on the noise vector $\xi\in \mathbb R^n$. We prove that, with high probability, the prediction loss of this estimator is bounded from above by $(\|\beta^*\|^2_2r_{cn}(\Sigma)\vee \|\xi\|^2)/n$, where $r_{k}(\Sigma)=\sum_{i\geq k}\lambda_i(\Sigma)$ are the rests of the sum of eigenvalues of $\Sigma$. These bounds show a transition in the rates. For high signal to noise ratios, the rates $\|\beta^*\|^2_2r_{cn}(\Sigma)/n$ broadly improve the existing ones. For low signal to noise ratio, we also provide lower bound holding with large probability. Under assumptions on the sprectrum of $\Sigma$, this lower bound is of order $\| \xi\|_2^2/n$, matching the upper bound. Consequently, in the large noise regime, we are able to precisely track the prediction error with large probability. This results give new insight when the interpolation can be harmless in high dimensions.


title: Correlation functions on the lattice and twisted cocycles

abstract: We study linear relations among correlation functions on a lattice obtained from integration-by-parts identities. We use the framework of twisted cocycles and determine for a scalar theory a basis of correlation functions, in which all other correlation functions may be expressed.


title: Designing Magnetic Topological van der Waals Heterostructure

abstract: We demonstrate a new method of designing 2D functional magnetic topological heterostructure (HS) by exploiting the vdw heterostructure (vdw-HS) through combining 2D magnet CrI$_3$ and 2D materials (Ge/Sb) to realize new 2D topological system with nonzero Chern number (C=1) and chiral edge state. The nontrivial topology originates primarily from the CrI$_3$ layer while the non-magnetic element induces the charge transfer process and proximity enhanced spin-orbit coupling. Due to these unique properties, our topological magnetic vdw-HS overcomes the weak magnetization via proximity effect in previous designs since the magnetization and topology coexist in the same magnetic layer. Specifically, our systems of bilayer CrI$_3$/Sb and trilayer CrI$_3$/Sb/CrI$_3$ exhibit different topological ground state ranging from antiferromagnetic topological crystalline insulator (C$_M$= 2) to a QAHE. These nontrivial topological transition is shown to be switchable in a trilayer configuration due to the magnetic switching from antiferromagnetism to ferromangetism in the presence an external perpendicular electric field with value as small as 0.05 eV/A. Thus our study proposes a realistic system to design switchable magnetic topological device with electric field.


title: A Deductive Verification Framework for Circuit-building Quantum Programs

abstract: While recent progress in quantum hardware open the door for significant speedup in certain key areas, quantum algorithms are still hard to implement right, and the validation of such quantum programs is a challenge. Early attempts either suffer from the lack of automation or parametrized reasoning, or target high-level abstract algorithm description languages far from the current de facto consensus of circuit-building quantum programming languages. As a consequence, no significant quantum algorithm implementation has been currently verified in a scale-invariant manner. We propose Qbricks, the first formal verification environment for circuit-building quantum programs, featuring clear separation between code and proof, parametric specifications and proofs, high degree of proof automation and allowing to encode quantum programs in a natural way, i.e. close to textbook style. Qbricks builds on best practice of formal verification for the classical case and tailor them to the quantum case: we bring a new domain-specific circuit-building language for quantum programs, namely Qbricks-DSL, together with a new logical specification language Qbricks-Spec and a dedicated Hoare-style deductive verification rule named Hybrid Quantum Hoare Logic. Especially, we introduce and intensively build upon HOPS, a higher-order extension of the recent path-sum symbolic representation, used for both specification and automation. To illustrate the opportunity of Qbricks, we implement the first verified parametric implementations of several famous and non-trivial quantum algorithms, including the quantum part of Shor integer factoring (Order Finding - Shor-OF), quantum phase estimation (QPE) - a basic building block of many quantum algorithms, and Grover search. These breakthroughs were amply facilitated by the specification and automated deduction principles introduced within Qbricks.


title: Nuclear level density of $^{69}$Zn from gamma gated particle spectrum and its implication on $^{68}$Zn(n, $\gamma$)$^{69}$Zn capture cross-section

abstract: Evaporated $\alpha$-spectra have been measured in coincidence with low energy discrete $\gamma$-rays from residual nucleus $^{68}$Zn populated in the reaction $^{64}$Ni($^9$Be,$\alpha$n)$^{68}$Zn at $E(^9$Be) = 30 MeV producing $^{73}$Ge compound nucleus. Low energy $\gamma$-gated $\alpha$-particle spectra, for the first time, have been used to extract the nuclear level density (NLD) for the intermediate $^{69}$Zn nucleus in the excitation energy range of E $\approx$ 5-20 MeV. The slope of NLD as a function of excitation energy for $^{69}$Zn matches nicely with the slope determined from RIPL estimates for NLD at low energies and the NLD from neutron resonance data. Extracted inverse NLD parameter (k = A/$\widetilde{a}$) has been used to determine the nuclear level density parameter value $a$ at neutron separation energy $S_n$ for $^{69}$Zn. Total cross-section of $^{68}$Zn(n,$\gamma$) capture reaction as a function of neutron energy is then estimated employing the derived $a(S_n)$ in the reaction code TALYS. It is found that the estimated neutron capture cross-section agrees well with the available experimental data without any normalization. The present result indicates that experimentally derived nuclear level density parameter can constrain the statistical model description of astrophysical capture cross-section and optimize the uncertainties associated with the astrophysical reaction rate


title: Critical faults of leakage errors on the surface code

abstract: Leakage is a particularly damaging error that occurs when a qubit leaves the defined computational subspace. Leakage errors limit the effectiveness of quantum error correcting codes by spreading additional errors to other qubits and corrupting syndrome measurements. The effects of leakage errors on the surface code has been studied in various contexts. However, the effects of a leaked data qubit versus a leaked ancilla qubit can be quite different. Here, we study the effects of data leakage and ancilla leakage separately. We show that data leakage is much less damaging. We show that the surface code maintains its distance in the presence of leakage by either confining leakage to data qubits or eliminating aniclla qubit leakage at the critical fault location. We also introduce new techniques for handling leakage by using gates with one-sided leakage and by mixing two types of leakage reducing circuits: one to handle data leakage and one to handle ancilla leakage.


title: On Stellar Evolution In A Neutrino Hertzsprung-Russell Diagram

abstract: We explore the evolution of a select grid of solar metallicity stellar models from their pre-main sequence phase to near their final fates in a neutrino Hertzsprung-Russell diagram, where the neutrino luminosity replaces the traditional photon luminosity. Using a calibrated \MESA\ solar model for the solar neutrino luminosity ($L_{\nu,\odot}$ = 0.02398 $\cdot$ $L_{\gamma,\odot}$ = 9.1795 $\times$ 10$^{31}$ erg s$^{-1}$) as a normalization, we identify $\simeq$ 0.3 MeV electron neutrino emission from helium burning during the helium flash (peak $L_{\nu} / L_{\nu,\odot} \simeq$ 10$^4$, flux $\Phi_{\nu, {\rm He \ flash}} \simeq$ 170 (10 pc/$d$)$^{2}$ cm$^{-2}$ s$^{-1}$ for a star located at a distance of $d$ parsec, timescale $\simeq$ 3 days) and the thermal pulse (peak $L_{\nu} / L_{\nu,\odot} \simeq$ 10$^9$, flux $\Phi_{\nu, {\rm TP}} \simeq$ 1.7$\times$10$^7$ (10 pc/$d$)$^{2}$ cm$^{-2}$ s$^{-1}$, timescale $\simeq$ 0.1 yr) phases of evolution in low mass stars as potential probes for stellar neutrino astronomy. We also delineate the contribution of neutrinos from nuclear reactions and thermal processes to the total neutrino loss along the stellar tracks in a neutrino Hertzsprung-Russell diagram. We find, broadly but with exceptions, that neutrinos from nuclear reactions dominate whenever hydrogen and helium burn, and that neutrinos from thermal processes dominate otherwise.


title: Quantum control beyond the adiabatic regime in 2D curved matter-wave guides

abstract: The propagation of matter waves in curved geometry is relevant for electrons in nano-wires, solid-state physics structures and atomtronics. Curvature effects are usually addressed within the adiabatic limit and treated via an effective potential acting on the manifold to which the particles are strongly confined. However, the strength of the confinements that can be achieved experimentally are in practice limited, and the adiabatic approximation framework often appears too restrictive for the realistic design of relevant propagation structures. Here, we explore the design of 2D sharply bent wave-guides for the propagation of matter waves beyond the adiabatic regime. The bend design, which enables the connection of guide components rotated by an arbitrary angle and of arbitrary curvatures, rests on an exact inverse-engineering technique. The resolution of the full 2D Schr\"odinger equation in curved geometry shows that our method yields reflectionless guides with a transverse stability improved by several orders of magnitude when compared to circular guides of similar size.


title: Lost in Disclosure: On The Inference of Password Composition Policies

abstract: Large-scale password data breaches are becoming increasingly commonplace, which has enabled researchers to produce a substantial body of password security research utilising real-world password datasets, which often contain numbers of records in the tens or even hundreds of millions. While much study has been conducted on how password composition policies (sets of rules that a user must abide by when creating a password) influence the distribution of user-chosen passwords on a system, much less research has been done on inferring the password composition policy that a given set of user-chosen passwords was created under. In this paper, we state the problem with the naive approach to this challenge, and suggest a simple approach that produces more reliable results. We also present pol-infer, a tool that implements this approach, and demonstrates its use in inferring password composition policies.


title: Holographic Entanglement Entropy in Anisotropic Background with Confinement-Deconfinement Phase Transition

abstract: We discuss a general five-dimensional completely anisotropic holographic model with three different spatial scale factors, characterized by a Van der Waals-like phase transition between small and large black holes. A peculiar feature of the model is the relation between anisotropy of the background and anisotropy of the colliding heavy ions geometry. We calculate the holographic entanglement entropy (HEE) of the slab-shaped region, the orientation of which relatively to the beams line and the impact parameter is characterized by the Euler angles. We study the dependences of the HEE and its density on the thermodynamic (temperature, chemical potential) and geometric (parameters of anisotropy, thickness, and orientation of entangled regions) parameters. As a particular case the model with two equal transversal scaling factors is considered. This model is supported by the dilaton and two Maxwell fields. In this case we discuss the HEE and its density in detail: interesting features of this model are jumps of the entanglement entropy and its density near the line of the small/large black hole phase transition. These jumps depend on the anisotropy parameter, chemical potential, and orientation. We also discuss different definitions and behavior of c-functions in this model. The c-function calculated in the Einstein frame decreases while increasing $\ell$ for all $\ell$ in the isotropic case (in regions of $(\mu,T)$-plane far away from the line of the phase transition). We find the non-monotonicity of the c-functions for several anisotropic configurations, which however does not contradict with any of the existing c-theorems since they all base on Lorentz invariance.


title: CPS++: Improving Class-level 6D Pose and Shape Estimation From Monocular Images With Self-Supervised Learning

abstract: Contemporary monocular 6D pose estimation methods can only cope with a handful of object instances. This naturally hampers possible applications as, for instance, robots seamlessly integrated in everyday processes necessarily require the ability to work with hundreds of different objects. To tackle this problem of immanent practical relevance, we propose a novel method for class-level monocular 6D pose estimation, coupled with metric shape retrieval. Unfortunately, acquiring adequate annotations is very time-consuming and labor intensive. This is especially true for class-level 6D pose estimation, as one is required to create a highly detailed reconstruction for all objects and then annotate each object and scene using these models. To overcome this shortcoming, we additionally propose the idea of synthetic-to-real domain transfer for class-level 6D poses by means of self-supervised learning, which removes the burden of collecting numerous manual annotations. In essence, after training our proposed method fully supervised with synthetic data, we leverage recent advances in differentiable rendering to self-supervise the model with unannotated real RGB-D data to improve latter inference. We experimentally demonstrate that we can retrieve precise 6D poses and metric shapes from a single RGB image.


title: Universal Secant Bundles and Syzygies of Canonical Curves

abstract: We introduce a relativization of the secant sheaves used by Ein, Green and Lazarsfeld and apply this construction to the study of syzygies of canonical curves. As a first application, we give a simpler proof of Voisin's Theorem for general canonical curves. This completely determines the terms of the minimal free resolution of the coordinate ring of such curves. Secondly, in the case of curves of even genus, we enhance Voisin's Theorem by providing a structure theorem for the last syzygy space, resolving the Geometric Syzygy Conjecture in even genus.


title: Charged bosons made of fermions in a solid state system without Cooper pairing

abstract: We report experimental evidence for charged boson states in a solid without Cooper pairing, based on attaching two free carriers to an exciton in a semiconducting system. Theoretical calculations show that this type of complex is stable in bilayer systems next to a parallel metal layer. Our experimental measurements on structures made using two different materials show a new spectral line at the predicted energy, if and only if all the required conditions for this complex are fulfilled, including a parallel metal layer that significantly screens the repulsive interaction between the like-charge carriers, and with the predicted dependence on the distance to the metal layer. This suggests a new path for pursuing room temperature superconductivity without Cooper pairing.


title: Adaptive optics for multifocal plane microscopy

abstract: Multifocal plane microscopy (MUM) allows three dimensional objects to be imaged in a single camera frame. Our approach uses dual orthogonal diffraction phase gratings with a quadratic distortion of the lines to apply defocus to the first diffraction orders which, when paired with a relay lens, allows for 9 focal planes to be imaged on a single camera chip. This approach requires a strong signal level to ensure sufficient intensity in the diffracted light, but has the advantage of being compact and straightforward to implement. As the microscope begins to focus deeper into the sample, aberrations caused by refractive index mismatch and inhomogeneity in the sample's media have an adverse effect on the signal's quality. In this paper, we investigate the image quality improvement brought by applying adaptive optics (AO) to multifocal plane microscopy. A single correction device (an 8x8 deformable mirror (DM)) is combined with an image-based AO control strategy to perform the correction of optical aberrations. We compare full end-to-end modelling results using an established numerical modelling system adapted for microscopy to laboratory results both on a test sample and on a number of biological samples. Finally, we will demonstrate that combining AO and MUM, we are able to improve the image quality of biological samples and provide a good correction throughout the volume of the biological sample.


title: A collision geometry-based 3D initial condition for relativistic heavy-ion collisions

abstract: We present a simple way to construct 3D initial conditions for relativistic heavy-ion collisions based on the Glauber collision geometry. Local energy and momentum conservation conditions are imposed to set non-trivial constraints on our parameterizations of longitudinal profiles for the system's initial energy density and flow velocity. After calibrating parameters with charged hadron rapidity distributions in central Au+Au collisions, we test model predictions for particle rapidity distributions in d+Au and peripheral Au+Au collisions in the Beam Energy Scan (BES) program at Relativistic Heavy-Ion Collider (RHIC). Simulations and comparisons with measurements are also made for Pb+Pb collisions at Super Proton Synchrotron (SPS) energies. We demonstrate that elliptic flow measurements in heavy-ion collisions at $\sqrt{s} \sim 10$ GeV can set strong constraints on the dependence of Quark-Gluon Plasma shear viscosity on temperature and net baryon chemical potential.


title: An autonomous swarm of micro flying robots with range-based relative localization

abstract: Accurate relative localization is an important requirement for a swarm of robots, especially when performing a cooperative task. This paper presents an autonomous multi-robot relative positioning technique. An Extended Kalman filter (EKF) uses onboard sensing of velocity, yaw rate, and height as inputs, and then estimates the relative position of other robots by fusing these quantities with ranging measurements obtained from onboard ultra wide-band (UWB). Specifically, innovations involve fast-ranging communication (333Hz for 2 robots), an automatic initialization procedure, proofs and demonstrations of consistent estimation convergence under control commands such as formation flight. Simulations concisely show the high precision, efficiency, and stability of the proposed localization method. Real-world experiments are conducted on a team of 5 Crazyflie2 quadrotors, demonstrating autonomous formation flight and coordinated flight through a window. All results indicate the effectiveness of the proposed relative positioning method for multi-robot systems. Video and code can be found at \textnormal{\url{https://shushuai3.github.io/autonomous-swarm/}}


title: Spatial Modeling of Heavy Precipitation by Coupling Weather Station Recordings and Ensemble Forecasts with Max-Stable Processes

abstract: Due to complex physical phenomena, the distribution of heavy rainfall events is difficult to model spatially. Physically based numerical models can often provide physically coherent spatial patterns, but may miss some important precipitation features like heavy rainfall intensities. Measurements at ground-based weather stations, however, supply adequate rainfall intensities, but most national weather recording networks are often spatially too sparse to capture rainfall patterns adequately. To bring the best out of these two sources of information, climatologists and hydrologists have been seeking models that can efficiently merge different types of rainfall data. One inherent difficulty is to capture the appropriate multivariate dependence structure among rainfall maxima. For this purpose, multivariate extreme value theory suggests the use of a max-stable process. Such a process can be represented by a max-linear combination of independent copies of a hidden stochastic process weighted by a Poisson point process. In practice, the choice of this hidden process is non-trivial, especially if anisotropy, non-stationarity and nugget effects are present in the spatial data at hand. By coupling forecast ensemble data from the French national weather service (M\'et\'eo-France) with local observations, we construct and compare different types of data driven max-stable processes that are parsimonious in parameters, easy to simulate and capable of reproducing nugget effects and spatial non-stationarities. We also compare our new method with classical approaches from spatial extreme value theory such as Brown-Resnick processes.


title: End-to-End Learning Local Multi-view Descriptors for 3D Point Clouds

abstract: In this work, we propose an end-to-end framework to learn local multi-view descriptors for 3D point clouds. To adopt a similar multi-view representation, existing studies use hand-crafted viewpoints for rendering in a preprocessing stage, which is detached from the subsequent descriptor learning stage. In our framework, we integrate the multi-view rendering into neural networks by using a differentiable renderer, which allows the viewpoints to be optimizable parameters for capturing more informative local context of interest points. To obtain discriminative descriptors, we also design a soft-view pooling module to attentively fuse convolutional features across views. Extensive experiments on existing 3D registration benchmarks show that our method outperforms existing local descriptors both quantitatively and qualitatively.


title: Online Fast Adaptation and Knowledge Accumulation: a New Approach to Continual Learning

abstract: Continual learning studies agents that learn from streams of tasks without forgetting previous ones while adapting to new ones. Two recent continual-learning scenarios have opened new avenues of research. In meta-continual learning, the model is pre-trained to minimize catastrophic forgetting of previous tasks. In continual-meta learning, the aim is to train agents for faster remembering of previous tasks through adaptation. In their original formulations, both methods have limitations. We stand on their shoulders to propose a more general scenario, OSAKA, where an agent must quickly solve new (out-of-distribution) tasks, while also requiring fast remembering. We show that current continual learning, meta-learning, meta-continual learning, and continual-meta learning techniques fail in this new scenario. We propose Continual-MAML, an online extension of the popular MAML algorithm as a strong baseline for this scenario. We empirically show that Continual-MAML is better suited to the new scenario than the aforementioned methodologies, as well as standard continual learning and meta-learning approaches.


title: Radiative generation of neutrino masses in a 3-3-1 type model

abstract: A new model for tiny neutrino masses is proposed in the gauge theory of $SU(3)_C \otimes SU(3)_L \otimes U(1)_X$, where neutrino masses are generated via the quantum effect of new particles. In this model, the fermion content is taken to be minimal to realize the gauge anomaly cancellation, while the scalar sector is extended from the minimal 3-3-1 model to have an additional $SU(3)_L$ triplet field. After $SU(3)_L\otimes U(1)_X$ is broken into $SU(2)_L\otimes U(1)_Y$, the "Zee model" like diagrams are naturally induced, which contain sufficient lepton flavor violating interactions to reproduce current neutrino oscillation data. Furthermore, the remnant $Z_2$ symmetry appears after the electroweak symmetry breaking, which guarantees the stability of dark matter. It is confirmed that this model can satisfy current dark matter data. As an important prediction to test this model, productions and decays of doubly-charged scalar bosons at collider experiments are discussed in successful benchmark scenarios.


title: Optimization of Transmitter-Side Signal Rotations in the Presence of Laser Phase Noise

abstract: The effects of transmitter-side multidimensional signal rotations on the performance of multichannel optical transmission are studied in the presence of laser phase noise. In particular, the laser phase noise is assumed to be uncorrelated between channels. To carry out this study, a simple multichannel laser-phase-noise model that has been experimentally validated for weakly-coupled multicore-fiber transmission is considered. As the considered rotation scheme is intended to work in conjunction with receiver-side carrier phase estimation (CPE), the model is modified to further assume that imperfect CPE has taken place, leaving residual phase noise in the processed signal. Based on this model, two receiver structures are derived and used to numerically optimize transmitter-side signal rotations through Monte Carlo simulations. For reasonable amounts of residual phase noise, rotations based on Hadamard matrices are found to be near-optimal for transmission of four-dimensional signals. Furthermore, Hadamard rotations can be performed for any dimension that is a power of two. By exploiting this property, an increase of up to 0.25 bit per complex symbol in an achievable information rate is observed for transmission of higher-order constellations.


title: An ionised bubble powered by a proto-cluster at z = 6.5

abstract: We show herein that a proto-cluster of Ly$\alpha$ emitting galaxies, spectroscopically confirmed at redshift 6.5, produces a remarkable number of ionising continuum photons. We start from the Ly$\alpha$ fluxes measured in the spectra of the sources detected spectroscopically. From these fluxes we derive the ionising emissivity of continuum photons of the proto-cluster, which we compare with the ionising emissivity required to reionise the proto-cluster volume. We find that the sources in the proto-cluster are capable of ionising a large bubble, indeed larger than the volume occupied by the proto-cluster. For various calculations we have used the model AMIGA, in particular to derive the emissivity of the Lyman continuum photons required to maintain the observed volume ionised. Besides, we have assumed the ionising photons escape fraction given by AMIGA at this redshift.


title: Real Topological Recursions and WDVV Relations

abstract: Following a question of K. Hori at K. Fukaya's 60th birthday conference, we relate the recently established WDVV-type relations for real Gromov-Witten invariants to topological recursion relations in a real setting. We also describe precisely the connections between the relations themselves previously observed by A. Alcolado.


title: The Chef's Hat Simulation Environment for Reinforcement-Learning-Based Agents

abstract: To achieve social interactions within Human-Robot Interaction (HRI) environments is a very challenging task. Most of the current research focuses on Wizard-of-Oz approaches, which neglect the recent development of intelligent robots. On the other hand, real-world scenarios usually do not provide the necessary control and reproducibility which are needed for learning algorithms. In this paper, we propose a virtual simulation environment that implements the Chef's Hat card game, designed to be used in HRI scenarios, to provide a controllable and reproducible scenario for reinforcement-learning algorithms.


title: Planar incidences and geometric inequalities in the Heisenberg group

abstract: We prove that if $P,\mathcal{L}$ are finite sets of $\delta$-separated points and lines in $\mathbb{R}^{2}$, the number of $\delta$-incidences between $P$ and $\mathcal{L}$ is no larger than a constant times $$|P|^{2/3}|\mathcal{L}|^{2/3} \cdot \delta^{-1/3}.$$ We apply the bound to obtain the following variant of the Loomis-Whitney inequality in the Heisenberg group: $$ |K| \lesssim |\pi_{x}(K)|^{2/3} \cdot |\pi_{y}(K)|^{2/3}, \qquad K \subset \mathbb{H}. $$ Here $\pi_{x}$ and $\pi_{y}$ are the vertical projections to the $xt$- and $yt$-planes, respectively, and $|\cdot|$ refers to natural Haar measure on either $\mathbb{H}$, or one of the planes. Finally, as a corollary of the Loomis-Whitney inequality, we deduce that $$ \|f\|_{4/3} \lesssim \sqrt{\|Xf\| \|Yf\| }, \qquad f \in BV(\mathbb{H}), $$ where $X,Y$ are the standard horizontal vector fields in $\mathbb{H}$. This is a sharper version of the classical geometric Sobolev inequality $\|f\|_{4/3} \lesssim \|\nabla_{\mathbb{H}}f\|$ for $f \in BV(\mathbb{H})$.


title: Towards Photo-Realistic Virtual Try-On by Adaptively Generating$\leftrightarrow$Preserving Image Content

abstract: Image visual try-on aims at transferring a target clothing image onto a reference person, and has become a hot topic in recent years. Prior arts usually focus on preserving the character of a clothing image (e.g. texture, logo, embroidery) when warping it to arbitrary human pose. However, it remains a big challenge to generate photo-realistic try-on images when large occlusions and human poses are presented in the reference person. To address this issue, we propose a novel visual try-on network, namely Adaptive Content Generating and Preserving Network (ACGPN). In particular, ACGPN first predicts semantic layout of the reference image that will be changed after try-on (e.g. long sleeve shirt$\rightarrow$arm, arm$\rightarrow$jacket), and then determines whether its image content needs to be generated or preserved according to the predicted semantic layout, leading to photo-realistic try-on and rich clothing details. ACGPN generally involves three major modules. First, a semantic layout generation module utilizes semantic segmentation of the reference image to progressively predict the desired semantic layout after try-on. Second, a clothes warping module warps clothing images according to the generated semantic layout, where a second-order difference constraint is introduced to stabilize the warping process during training. Third, an inpainting module for content fusion integrates all information (e.g. reference image, semantic layout, warped clothes) to adaptively produce each semantic part of human body. In comparison to the state-of-the-art methods, ACGPN can generate photo-realistic images with much better perceptual quality and richer fine-details.


title: Random NOMA With Cross-Slot Successive Interference Cancellation Packet Recovery

abstract: Conventional power-domain non-orthogonal multiple access (NOMA) relies on precise power control, which requires real-time channel state information at transmitters. This requirement severely limits its application to future wireless communication systems. To address this problem, we consider NOMA without power allocation, where we exploit the random channel fading and opportunistically perform successive interference cancellation (SIC) detection. To mitigate the multi-user interference, we propose a random NOMA where users randomly transmit their data packets with a certain probability. Then a cross-slot SIC packet recovery scheme is proposed to recover transmitted data packets. We model the cross-slot SIC packet recovery as a Markov process, and provide a throughput analysis, based on which the sum rate is maximized by jointly optimizing the transmission probability and the encoding rate of users.


title: Benchmark calculations of electromagnetic sum rules with a symmetry-adapted basis and hyperspherical harmonics

abstract: We demonstrate the ability to calculate electromagnetic sum rules with the \textit{ab initio} symmetry-adapted no-core shell model. By implementing the Lanczos algorithm, we compute non-energy weighted, energy weighted, and inverse energy weighted sum rules for electric monopole, dipole, and quadrupole transitions in $^4$He using realistic interactions. We benchmark the results with the hyperspherical harmonics method and show agreement within $2\sigma$, where the uncertainties are estimated from the use of the many-body technique. We investigate the dependence of the results on three different interactions, including chiral potentials, and we report on the $^4$He electric dipole polarizability calculated in the SA-NCSM that reproduces the experimental data and earlier theoretical outcomes. We also detail a novel use of the Lawson procedure to remove the spurious center-of-mass contribution to the sum rules that arises from using laboratory-frame coordinates. We further show that this same technique can be applied in the Lorentz integral transform method, with a view toward studies of electromagnetic reactions for light through medium-mass nuclei.


title: Angular distribution and asymmetries in the decay of the polarized charmed baryon $\Lambda_c^+ \to K^- \, \Delta^{++} \to K^- \, p \, \pi^+$

abstract: Angular distribution of the final particles in the decay $\Lambda_c^+\to K^- \, \Delta (1232)^{++} \to K^- \, p \, \pi^+$ of the polarized charmed baryon is discussed. Asymmetries are proposed which allow for determination of the components of the $\Lambda_c^+$ polarization vector. The precession angle of the polarization in the process of baryon channeling in a bent crystal is directly related to these asymmetries. The decay rate and asymmetry parameter for the $\Lambda_c^+\to K^- \, \Delta (1232)^{++}$ decay are calculated in the pole model and compared with experiment.


title: The first $\alpha'$-correction to homogeneous Yang-Baxter deformations using $O(d,d)$

abstract: We use the $O(d,d)$-covariant formulation of supergravity familiar from Double Field Theory to find the first $\alpha'$-correction to (unimodular) homogeneous Yang-Baxter (YB) deformations of the bosonic string. A special case of this result gives the $\alpha'$-correction to TsT transformations. In a suitable scheme the correction comes entirely from an induced anomalous double Lorentz transformation, which is needed to make the two vielbeins obtained upon the YB deformation equal. This should hold more generally, in particular for abelian and non-abelian T-duality, as we discuss.


title: Full Counting Statistics of the momentum occupation numbers of the Tonks-Girardeau gas

abstract: We compute the fluctuations of the number of bosons with a given momentum for the Tonks-Girardeau gas at zero temperature. We show that correlations between opposite momenta, which is an important fingerprint of long range order in weakly interacting Bose systems, are suppressed and that the full distribution of the number of bosons with non zero momentum is exponential. The distribution of the quasi-condensate is however quasi Gaussian. Experimental relevance of our findings for recent cold atoms experiments are discussed.


title: Pilot Distributions for Joint-Channel Carrier-Phase Estimation in Multichannel Optical Communications

abstract: Joint-channel carrier-phase estimation can improve the performance of multichannel optical communication systems. In the case of pilot-aided estimation, the pilots are distributed over a two-dimensional channel--time symbol block that is transmitted through multiple channels. However, suboptimal pilot distributions reduce the effectiveness of the carrier-phase estimation and thus result in unnecessary pilot overhead, which reduces the overall information rate of the system. It is shown that placing pilots identically in all channels is suboptimal in general. By instead optimizing the pilot distribution, the mean squared error of the phase-noise estimates can be decreased by over 90% in some cases. Moreover, it is shown that the achievable information rate can be increased by up to 0.05, 0.16, and 0.41 bits per complex symbol for dual-polarization 20 GBd transmission of 64-ary, 256-ary, and 1024-ary quadrature amplitude modulation over 20 four-dimensional channels, respectively, assuming a total laser linewidth of 200 kHz.


title: Natural Language Interaction to Facilitate Mental Models of Remote Robots

abstract: Increasingly complex and autonomous robots are being deployed in real-world environments with far-reaching consequences. High-stakes scenarios, such as emergency response or offshore energy platform and nuclear inspections, require robot operators to have clear mental models of what the robots can and can't do. However, operators are often not the original designers of the robots and thus, they do not necessarily have such clear mental models, especially if they are novice users. This lack of mental model clarity can slow adoption and can negatively impact human-machine teaming. We propose that interaction with a conversational assistant, who acts as a mediator, can help the user with understanding the functionality of remote robots and increase transparency through natural language explanations, as well as facilitate the evaluation of operators' mental models.


title: Machine learning analysis of rogue solitons in supercontinuum generation

abstract: Supercontinuum generation is a highly nonlinear process that exhibits unstable and chaotic characteristics when developing from long pump pulses injected into the anomalous dispersion regime of an optical fiber. A particular feature associated with this regime is the long-tailed "rogue wave"-like statistics of the spectral intensity on the long wavelength edge of the supercontinuum, linked to the generation of a small number of "rogue solitons" with extreme red-shifts. Here, we apply machine learning to analyze the characteristics of these solitons at the edge of the supercontinuum spectrum, and show how supervised learning can train a neural network to predict the peak power, duration, and temporal delay of these solitons from only the supercontinuum spectral intensity without phase information. The network accurately predicts soliton characteristics for a wide range of scenarios, from the onset of spectral broadening dominated by pure modulation instability to near octave-spanning supercontinuum with distinct rogue solitons.


title: Apex control within an elasto-plastic constitutive model for confined concretes

abstract: This work focuses on the numerical modelling of confined concretes when subjected to multiaxial loading accounting for a nonlinear material response. Particularly, an improved return mapping procedure is here presented to cope with the issue of singularities (corners) in the yield surface, able to catch locally the optimal return point on the active yield surface. The algorithm is applied to the Menetry and Willam's yield surface, with a plastic potential as suggested by Grassl and the softening law proposed by Cervenka suitable for concrete materials. The model capabilities to reproduce the confined behaviour of concrete, as well as its post-peak behaviour, and to predict perfect plasticity or softening are here discussed. The proposed approach can be applied to any elastoplastic material with singular yield surface along the hydrostatic axis.


title: Reconfiguring health services to reduce the workload of caregivers during the COVID-19 outbreak using an open-source scalable platform for remote digital monitoring and coordination of care in hospital Command Centres

abstract: The Covid-19 outbreak threatens to saturate healthcare systems in most Western countries. We describe how digital technologies may be used to automatically and remotely monitor patients at home. Patients answer simple self-reported questionnaires and their data is transmitted, in real time, to a Command Centre in the nearest reference hospital. Patient reported data are automatically filtered by algorithms to identify those with early warning signs. Open-source code of all software components required to deploy the remote digital monitoring platform and Command Centres is available.


title: New Exponential Size Lower Bounds against Depth Four Circuits of Bounded Individual Degree

abstract: Kayal, Saha and Tavenas [Theory of Computing, 2018] showed that for all large enough integers $n$ and $d$ such that $d\geq \omega(\log{n})$, any syntactic depth four circuit of bounded individual degree $\delta = o(d)$ that computes the Iterated Matrix Multiplication polynomial ($IMM_{n,d}$) must have size $n^{\Omega\left(\sqrt{d/\delta}\right)}$. Unfortunately, this bound deteriorates as the value of $\delta$ increases. Further, the bound is superpolynomial only when $\delta$ is $o(d)$. It is natural to ask if the dependence on $\delta$ in the bound could be weakened. Towards this, in an earlier result [STACS, 2020], we showed that for all large enough integers $n$ and $d$ such that $d = \Theta(\log^2{n})$, any syntactic depth four circuit of bounded individual degree $\delta\leq n^{0.2}$ that computes $IMM_{n,d}$ must have size $n^{\Omega(\log{n})}$. In this paper, we make further progress by proving that for all large enough integers $n$ and $d$, and absolute constants $a$ and $b$ such that $\omega(\log^2n)\leq d\leq n^{a}$, any syntactic depth four circuit of bounded individual degree $\delta\leq n^{b}$ that computes $IMM_{n,d}$ must have size $n^{\Omega(\sqrt{d})}$. Our bound is obtained by carefully adapting the proof of Kumar and Saraf [SIAM J. Computing, 2017] to the complexity measure introduced in our earlier work [STACS, 2020].


title: Data-Driven Deep Learning to Design Pilot and Channel Estimator For Massive MIMO

abstract: In this paper, we propose a data-driven deep learning (DL) approach to jointly design the pilot signals and channel estimator for wideband massive multiple-input multiple-output (MIMO) systems. By exploiting the angular-domain compressibility of massive MIMO channels, the conceived DL framework can reliably reconstruct the high-dimensional channels from the under-determined measurements. Specifically, we design an end-to-end deep neural network (DNN) architecture composed of dimensionality reduction network and reconstruction network to respectively mimic the pilot signals and channel estimator, which can be acquired by data-driven deep learning. For the dimensionality reduction network, we design a fully-connected layer by compressing the high-dimensional massive MIMO channel vector as input to low-dimensional received measurements, where the weights are regarded as the pilot signals. For the reconstruction network, we design a fully-connected layer followed by multiple cascaded convolutional layers, which will reconstruct the high-dimensional channel as the output. By defining the mean square error between input and output as loss function, we leverage Adam algorithm to train the end-to-end DNN aforementioned with extensive channel samples. In this way, both the pilot signals and channel estimator can be simultaneously obtained. The simulation results demonstrate that the superiority of the proposed solution over state-of-the-art compressive sensing approaches.


title: Passage through exceptional point: Case study

abstract: It is conjectured that the exceptional-point (EP) singularity of a one-parametric quasi-Hermitian $N$ by $N$ matrix Hamiltonian $H(t)$ can play the role of a quantum phase-transition interface connecting different dynamical regimes of a unitary quantum system. Six realizations of the EP-mediated quantum phase transitions "of the third kind" are described in detail. Fairly realistic Bose-Hubbard (BH) and discrete anharmonic oscillator (AO) models of any matrix dimension $N$ are considered in the initial, intermediate, or final phase. In such a linear algebraic illustration of the changes of phase, all ingredients (and, first of all, all transition matrices) are constructed in closed, algebraic, non-numerical form.


title: The chirality-flow formalism

abstract: We take a fresh look at Feynman diagrams in the spinor-helicity formalism. Focusing on tree-level massless QED and QCD, we develop a new and conceptually simple graphical method for their calculation. In this pictorial method, which we dub the chirality-flow formalism, Feynman diagrams are directly represented in terms of chirality-flow lines corresponding to spinor inner products, without the need to resort to intermediate algebraic manipulations.


title: Option Discovery in the Absence of Rewards with Manifold Analysis

abstract: Options have been shown to be an effective tool in reinforcement learning, facilitating improved exploration and learning. In this paper, we present an approach based on spectral graph theory and derive an algorithm that systematically discovers options without access to a specific reward or task assignment. As opposed to the common practice used in previous methods, our algorithm makes full use of the spectrum of the graph Laplacian. Incorporating modes associated with higher graph frequencies unravels domain subtleties, which are shown to be useful for option discovery. Using geometric and manifold-based analysis, we present a theoretical justification for the algorithm. In addition, we showcase its performance in several domains, demonstrating clear improvements compared to competing methods.


title: Weak mixing and analyticity in Random Cluster and low temperature Ising models

abstract: In this note we extend the analysis of a previous paper by the author to the Random Cluster model. The main result being that the pressure of the finite range ferromagnetic Ising model is analytic as a function of the inverse temperature in the regime $h=0$, $\beta>\beta_c$.


title: Modification Indices for Diagnostic Classification Models

abstract: Diagnostic classification models (DCMs) are psychometric models for evaluating a student's mastery of the essential skills in a content domain based upon their responses to a set of test items. Currently, diagnostic model and/or Q-matrix misspecification is a known problem with limited avenues for remediation. To address this problem, this paper defines a one-sided score statistic that is a computationally efficient method for detecting under-specification of both the Q-matrix and the model parameters of the particular DCM chosen in the analysis. This method is analogous to the modification indices widely used in structural equation modeling. The results of a simulation study show the Type I error rate of modification indices for DCMs are acceptably close to the nominal significance level when the appropriate mixture chi-squared reference distribution is used. The simulation results indicate that modification indices are very powerful in the detection of an under-specified Q-matrix and have ample power to detect the omission of model parameters in large samples or when the items are highly discriminating. An application of modification indices for DCMs to analysis of response data from a large-scale administration of a diagnostic test demonstrates how they can be useful in diagnostic model refinement.


title: On the Interpretation of the Balance Function

abstract: We construct a simple toy model and explicitly demonstrate that the Balance Function (BF) can become negative for some values of the rapidity separation and hence can not have any probabilistic interpretation. In particular, the BF can not be interpreted as the probability density for the balancing charges to occur separated by the given rapidity interval.


title: Stackelberg Equilibria for Two-Player Network Routing Games on Parallel Networks

abstract: We consider a two-player zero-sum network routing game in which a router wants to maximize the amount of legitimate traffic that flows from a given source node to a destination node and an attacker wants to block as much legitimate traffic as possible by flooding the network with malicious traffic. We address scenarios with asymmetric information, in which the router must reveal its policy before the attacker decides how to distribute the malicious traffic among the network links, which is naturally modeled by the notion of Stackelberg equilibria. The paper focuses on parallel networks, and includes three main contributions: we show that computing the optimal attack policy against a given routing policy is an NP-hard problem; we establish conditions under which the Stackelberg equilibria lead to no regret; and we provide a metric that can be used to quantify how uncertainty about the attacker's capabilities limits the router's performance.


title: Multipoint correlators in multifield cosmology

abstract: Connected $N$-point amplitudes in quantum field theory are enhanced by a factor of $N!$ in appropriate regimes of kinematics and couplings, but the non-perturbative analysis of this for collider physics applications is subtle. We resolve this question for $N$-point correlation functions of cosmological perturbations in multifield inflation, and comment on its application to primordial non-Gaussianity. We find that they are calculably $N!$-enhanced using a simple model for the mixing of the field sectors which leads to a convolution of their probability distributions. This effect leads to model-dependent but interesting prospects for enhanced observational sensitivity.


title: Towards a General Theory of Infinite-Width Limits of Neural Classifiers

abstract: Obtaining theoretical guarantees for neural networks training appears to be a hard problem in a general case. Recent research has been focused on studying this problem in the limit of infinite width and two different theories have been developed: a mean-field (MF) and a constant kernel (NTK) limit theories. We propose a general framework that provides a link between these seemingly distinct theories. Our framework out of the box gives rise to a discrete-time MF limit which was not previously explored in the literature. We prove a convergence theorem for it and show that it provides a more reasonable approximation for finite-width nets compared to the NTK limit if learning rates are not very small. Also, our framework suggests a limit model that coincides neither with the MF limit nor with the NTK one. We show that for networks with more than two hidden layers RMSProp training has a non-trivial discrete-time MF limit but GD training does not have one. Overall, our framework demonstrates that both MF and NTK limits have considerable limitations in approximating finite-sized neural nets, indicating the need for designing more accurate infinite-width approximations for them.


title: A marginal moment matching approach for fitting endemic-epidemic models to underreported disease surveillance counts

abstract: Count data are often subject to underreporting, especially in infectious disease surveillance. We propose an approximate maximum likelihood method to fit count time series models from the endemic-epidemic class to underreported data. The approach is based on marginal moment matching where underreported processes are approximated through completely observed processes from the same class. Moreover, the form of the bias when underreporting is ignored or taken into account via multiplication factors is analysed. Notably, we show that this leads to a downward bias in model-based estimates of the effective reproductive number. A marginal moment matching approach can also be used to account for reporting intervals which are longer than the mean serial interval of a disease. The good performance of the proposed methodology is demonstrated in simulation studies. An extension to time-varying parameters and reporting probabilities is discussed and applied in a case study on weekly rotavirus gastroenteritis counts in Berlin, Germany.


title: Truncated Inference for Latent Variable Optimization Problems: Application to Robust Estimation and Learning

abstract: Optimization problems with an auxiliary latent variable structure in addition to the main model parameters occur frequently in computer vision and machine learning. The additional latent variables make the underlying optimization task expensive, either in terms of memory (by maintaining the latent variables), or in terms of runtime (repeated exact inference of latent variables). We aim to remove the need to maintain the latent variables and propose two formally justified methods, that dynamically adapt the required accuracy of latent variable inference. These methods have applications in large scale robust estimation and in learning energy-based models from labeled data.


title: Explicit averages of square-free supported functions: to the edge of the convolution method

abstract: We give a general statement of the convolution method so that one can provide explicit asymptotic estimations for all averages of square-free supported arithmetic functions that have a sufficiently regular order on the prime numbers and observe how the nature of this method gives error term estimations of order $X^{-\delta}$, where $\delta$ belongs to an open real positive set $I$. In order to have a better error estimation, a natural question is whether or not we can achieve an error term of critical order $X^{-\delta_0}$, where $\delta_0$, the critical exponent, is the right hand endpoint of $I$. We reply positively to that question by presenting a new method that improves qualitatively almost all instances of the convolution method under some regularity conditions; now, the asymptotic estimation of averages of well-behaved square-free supported arithmetic functions can be given with its critical exponent and a reasonable explicit error constant. We illustrate this new method by analyzing a particular average related to the work of Ramar\'e--Akhilesh (2017), which leads to notable improvements when imposing non-trivial coprimality conditions.


title: Co-Design of Delays and Sparse Controllers for Bandwidth-Constrained Cyber-Physical Systems

abstract: We address the problem of sparsity-promoting optimal control of cyber-physical systems with feedback delays. The delays are categorized into two classes - namely, intra-layer delay, and inter-layer delay between the cyber and the physical layers. Our objective is to minimize the H2-norm of the closed-loop system by designing an optimal combination of these two delays along with a sparse state-feedback controller, while respecting a given bandwidth constraint. We propose a two-loop optimization algorithm for this. The inner loop, based on alternating directions method of multipliers (ADMM), handles the conflicting directions of decreasing H2-norm and increasing sparsity of the controller. The outer loop comprises of semidefinite program (SDP)-based relaxations of non-convex inequalities necessary for stable co-design of the delays with the controller. We illustrate this algorithm using simulations that highlight various aspects of how delays and sparsity impact the stability and $\mc{H}_2$ performance of a LTI system.


title: Supersymmetric solutions from N=5 gauged supergravity

abstract: We study a large class of supersymmetric solutions in four-dimensional $N=5$ gauged supergravity with $SO(5)$ gauge group. There is only one $N=5$ supersymmetric $AdS_4$ vacuum preserving the full $SO(5)$ symmetry dual to an $N=5$ SCFT in three dimensions. We give a number of domain walls interpolating between this $AdS_4$ fixed point and singular geometries in the IR with $SO(4)$ and $SO(3)$ symmetries. These solutions describe RG flows from the $N=5$ SCFT to non-conformal field theories driven by mass deformations. The $SO(4)$ solutions are precisely in agreement with the previously known mass deformations within the dual $N=5$ SCFT. We also find supersymmetric Janus solutions describing two-dimensional conformal defects in the $N=5$ SCFT with $N=(4,1)$ and $N=(1,1)$ supersymmetries on the defects. Finally, we study supersymmetric solutions of the form $AdS_2\times \Sigma^2$, with $\Sigma^2=S^2,H^2$ being a Riemann surface, corresponding to near horizon geometries of $AdS_4$ black holes. We consider both magnetic and dyonic solutions and find that there exists a class of magnetic $AdS_2\times H^2$ solutions with $SO(2)$ symmetry. It is rather remarkable that a complete analytic solution interpolating between $AdS_4$ and $AdS_2\times H^2$ with a running scalar can be obtained. The solution corresponds to a twisted compactification of $N=5$ SCFT to superconformal quantum mechanics. We also show that no purely magnetic or dyonic black holes with $AdS_2\times \Sigma^2$ horizon from $SO(2)\times SO(2)$ twist exist in $N=5$, $SO(5)$ gauged supergravity.


title: On the Irreducibility of Some Quiver Varieties

abstract: We prove that certain quiver varieties are irreducible and therefore are isomorphic to Hilbert schemes of points of the total spaces of the bundles $\mathcal O_{\mathbb P^1}(-n)$ for $n \ge 1$.


title: SASL: Saliency-Adaptive Sparsity Learning for Neural Network Acceleration

abstract: Accelerating the inference speed of CNNs is critical to their deployment in real-world applications. Among all the pruning approaches, those implementing a sparsity learning framework have shown to be effective as they learn and prune the models in an end-to-end data-driven manner. However, these works impose the same sparsity regularization on all filters indiscriminately, which can hardly result in an optimal structure-sparse network. In this paper, we propose a Saliency-Adaptive Sparsity Learning (SASL) approach for further optimization. A novel and effective estimation of each filter, i.e., saliency, is designed, which is measured from two aspects: the importance for the prediction performance and the consumed computational resources. During sparsity learning, the regularization strength is adjusted according to the saliency, so our optimized format can better preserve the prediction performance while zeroing out more computation-heavy filters. The calculation for saliency introduces minimum overhead to the training process, which means our SASL is very efficient. During the pruning phase, in order to optimize the proposed data-dependent criterion, a hard sample mining strategy is utilized, which shows higher effectiveness and efficiency. Extensive experiments demonstrate the superior performance of our method. Notably, on ILSVRC-2012 dataset, our approach can reduce 49.7% FLOPs of ResNet-50 with very negligible 0.39% top-1 and 0.05% top-5 accuracy degradation.


title: The Asymptotic Statistics of Random Covering Surfaces

abstract: Let $\Gamma_{g}$ be the fundamental group of a closed connected orientable surface of genus $g\geq2$. We develop a new method for integrating over the representation space $\mathbb{X}_{g,n}=\mathrm{Hom}(\Gamma_{g},S_{n})$ where $S_{n}$ is the symmetric group of permutations of $\{1,\ldots,n\}$. Equivalently, this is the space of all vertex-labeled, $n$-sheeted covering spaces of the the closed surface of genus $g$. Given $\phi\in\mathbb{X}_{g,n}$ and $\gamma\in\Gamma_{g}$, we let $\mathsf{fix}_{\gamma}(\phi)$ be the number of fixed points of the permutation $\phi(\gamma)$. The function $\mathsf{fix}_{\gamma}$ is a special case of a natural family of functions on $\mathbb{X}_{g,n}$ called Wilson loops. Our new methodology leads to an asymptotic formula, as $n\to\infty$, for the expectation of $\mathsf{fix}_{\gamma}$ with respect to the uniform probability measure on $\mathbb{X}_{g,n}$, which is denoted by $\mathbb{E}_{g,n}[\mathsf{fix}_{\gamma}]$. We prove that if $\gamma\in\Gamma_{g}$ is not the identity, and $q$ is maximal such that $\gamma$ is a $q$th power in $\Gamma_{g}$, then \[ \mathbb{E}_{g,n}[\mathsf{fix}_{\gamma}]=d(q)+O(n^{-1}) \] as $n\to\infty$, where $d\left(q\right)$ is the number of divisors of $q$. Even the weaker corollary that $\mathbb{E}_{g,n}[\mathsf{fix}_{\gamma}]=o(n)$ as $n\to\infty$ is a new result of this paper. We also prove that if $\gamma$ is not the identity then $\mathbb{E}_{g,n}[\mathsf{fix}_{\gamma}]$ can be approximated to any order $O(n^{-M})$ by a polynomial in $n^{-1}$.


title: The effect of pulsed electromagnetic field exposure on osteoinduction of human mesenchymal stem cells cultured on nano-$TiO_{2}$ surfaces

abstract: Human bone marrow-derived mesenchymal stem cells (hBM-MSCs) are considered a great promise in the repair and regeneration of bone. Considerable efforts have been oriented towards uncovering the best strategy to promote stem cells osteogenic differentiation. In previous studies, hBM-MSCs exposed to physical stimuli such as pulsed electromagnetic fields (PEMFs) or directly seeded on nanostructured titanium surfaces ($TiO_{2}$) were shown to improve their differentiation to osteoblasts in osteogenic condition. In the present study, the effect of a daily PEMF-exposure on osteogenic differentiation of hBM-MSCs seeded onto nanostructured $TiO_{2}$ (with clusters under 100 nm of dimension) was investigated. $TiO_{2}$-seeded cells were exposed to PEMF (magnetic field intensity: 2 mT; intensity of induced electric field: 5 mV; frequency: 75 Hz) and examined in terms of cell physiology modifications and osteogenic differentiation. Results showed that PEMF exposure affected $TiO_{2}$-seeded cells osteogenesis by interfering with selective calcium-related osteogenic pathways, and greatly enhanced hBM-MSCs osteogenic features such as the expression of early/late osteogenic genes and protein production (e.g., ALP, COL-I, osteocalcin and osteopontin) and ALP activity. Finally, PEMF-treated cells resulted to secrete into conditioned media higher amounts of BMP-2, DCN and COL-I than untreated cell cultures. These findings confirm once more the osteoinductive potential of PEMF, suggesting that its combination with $TiO_{2}$ nanostructured surface might be a great option in bone tissue engineering applications.


title: The problem of scientific greatness and the role of ordinary scientists

abstract: Textbooks in physics use science history to humanize the subject and motivate students for learning, but they deal exclusively with the heroes of the field and ignore the vast majority of scientists who have not found their way into history. What is the role of these invisible scientists --- are they merely the worker ants in the colony of science, whose main utility is to facilitate the heroes of the field?


title: Investigating the influence Brexit had on Financial Markets, in particular the GBP/EUR exchange rate

abstract: On 23rd June 2016, 51.9% of British voters voted to leave the European Union, triggering a process and events that have led to the United Kingdom leaving the EU, an event that has become known as 'Brexit'. In this piece of research, we investigate the effects of this entire process on the currency markets, specifically the GBP/EUR exchange rate. Financial markets are known to be sensitive to news articles and media, and the aim of this research is to evaluate the magnitude of impact of relevant events, as well as whether the impact was positive or negative for the GBP.


title: Connecting Inverse Design with Experimentally Relevant Models

abstract: While colloids are promising building blocks for the self-assembly of materials with novel microstructures, their numerous tunable parameters inhibit brute force searching for appropriate parameter combinations that yield self-assembly of a desired structure. Instead, inverse approaches that invoke a systematic optimization framework can effectively navigate this design space. In this proceeding, we apply one such inverse technique, Relative Entropy Minimization, to discover isotropic pairwise interaction potentials that prompt self-assembly of clusters in silico. The functional form of the pair interaction is chosen to model a mixture of charged colloids and neutral polymers that act as depletants, and the parameters are directly connected to experimentally tunable quantities.


title: Bringing in the outliers: A sparse subspace clustering approach to learn a dictionary of mouse ultrasonic vocalizations

abstract: Mice vocalize in the ultrasonic range during social interactions. These vocalizations are used in neuroscience and clinical studies to tap into complex behaviors and states. The analysis of these ultrasonic vocalizations (USVs) has been traditionally a manual process, which is prone to errors and human bias, and is not scalable to large scale analysis. We propose a new method to automatically create a dictionary of USVs based on a two-step spectral clustering approach, where we split the set of USVs into inlier and outlier data sets. This approach is motivated by the known degrading performance of sparse subspace clustering with outliers. We apply spectral clustering to the inlier data set and later find the clusters for the outliers. We propose quantitative and qualitative performance measures to evaluate our method in this setting, where there is no ground truth. Our approach outperforms two baselines based on k-means and spectral clustering in all of the proposed performance measures, showing greater distances between clusters and more variability between clusters.