title: Disentangled Representation Learning in Cardiac Image Analysis

abstract: Typically, a medical image offers spatial information on the anatomy (and pathology) modulated by imaging specific characteristics. Many imaging modalities including Magnetic Resonance Imaging (MRI) and Computed Tomography (CT) can be interpreted in this way. We can venture further and consider that a medical image naturally factors into some spatial factors depicting anatomy and factors that denote the imaging characteristics. Here, we explicitly learn this decomposed (disentangled) representation of imaging data, focusing in particular on cardiac images. We propose Spatial Decomposition Network (SDNet), which factorises 2D medical images into spatial anatomical factors and non-spatial modality factors. We demonstrate that this high-level representation is ideally suited for several medical image analysis tasks, such as semi-supervised segmentation, multi-task segmentation and regression, and image-to-image synthesis. Specifically, we show that our model can match the performance of fully supervised segmentation models, using only a fraction of the labelled images. Critically, we show that our factorised representation also benefits from supervision obtained either when we use auxiliary tasks to train the model in a multi-task setting (e.g. regressing to known cardiac indices), or when aggregating multimodal data from different sources (e.g. pooling together MRI and CT data). To explore the properties of the learned factorisation, we perform latent-space arithmetic and show that we can synthesise CT from MR and vice versa, by swapping the modality factors. We also demonstrate that the factor holding image specific information can be used to predict the input modality with high accuracy. Code will be made available at https://github.com/agis85/anatomy_modality_decomposition.


title: Quantum Ising model in a period-2 modulated transverse field

abstract: We study a finite spin-$\frac{1}{2}$ Ising chain with a spatially alternating transverse field of period 2. By means of a Jordan-Wigner transformation for even and odd sites, we are able to map it into a one-dimensional model of free fermions. We determine the ground-state energies in the positive- and negative-parity subspaces (subspaces with an even or odd total number of down spins, respectively) and compare them in order to establish the ground-state energy for the entire Hamiltonian. We derive closed-form expressions for this energy gap between the different parity subspaces and analyze its behavior and dependence on the system size in the various regimes of the applied field. Finally, we suggest an expression for the correlation length of such a model that is consistent with the various values found in the literature for its behavior in the vicinity of critical points.


title: Aggregated Deep Local Features for Remote Sensing Image Retrieval

abstract: Remote Sensing Image Retrieval remains a challenging topic due to the special nature of Remote Sensing Imagery. Such images contain various different semantic objects, which clearly complicates the retrieval task. In this paper, we present an image retrieval pipeline that uses attentive, local convolutional features and aggregates them using the Vector of Locally Aggregated Descriptors (VLAD) to produce a global descriptor. We study various system parameters such as the multiplicative and additive attention mechanisms and descriptor dimensionality. We propose a query expansion method that requires no external inputs. Experiments demonstrate that even without training, the local convolutional features and global representation outperform other systems. After system tuning, we can achieve state-of-the-art or competitive results. Furthermore, we observe that our query expansion method increases overall system performance by about 3%, using only the top-three retrieved images. Finally, we show how dimensionality reduction produces compact descriptors with increased retrieval performance and fast retrieval computation times, e.g. 50% faster than the current systems.


title: Cotangent sums, quantum modular forms, and the generalized Riemann hypothesis

abstract: We show that an asymptotic property of the determinants of certain matrices whose entries are finite sums of cotangents with rational arguments is equivalent to the GRH for odd Dirichlet characters. This is then connected to the existence of certain quantum modular forms related to Maass Eisenstein series.


title: Lattice calculation of the pion transition form factor with $N_f=2+1$ Wilson quarks

abstract: We present a lattice QCD calculation of the double-virtual neutral pion transition form factor, with the goal to cover the kinematic range relevant to hadronic light-by-light scattering in the muon $g-2$. Several improvements have been made compared to our previous work. First, we take into account the effects of the strange quark by using the $N_f=2+1$ CLS gauge ensembles. Secondly, we have implemented the on-shell $\mathcal{O}(a)$-improvement of the vector current to reduce the discretization effects associated with Wilson quarks. Finally, in order to have access to a wider range of photon virtualities, we have computed the transition form factor in a moving frame as well as in the pion rest-frame. After extrapolating the form factor to the continuum and to physical quark masses, we compare our results with phenomenology. We extract the normalization of the form factor with a precision of 3.5\% and confirm within our uncertainty previous somewhat conflicting estimates for a low-energy constant that appears in chiral perturbation theory for the decay $\pi^0 \to \gamma\gamma$ at NLO. With additional input from experiment and theory, we reproduce recent estimates for the decay width $\Gamma(\pi^0 \to \gamma\gamma)$. We also study the asymptotic large-$Q^2$ behavior of the transition form factor in the double-virtual case. Finally, we provide as our main result a more precise model-independent lattice estimate of the pion-pole contribution to hadronic light-by-light scattering in the muon $g-2$: $a_{\mu}^{\mathrm{HLbL}; \pi^0} = (59.7 \pm 3.6) \times 10^{-11}$. Using in addition the normalization of the form factor obtained by the PrimEx experiment, we get the lattice and data-driven estimate $a_{\mu}^{\mathrm{HLbL}; \pi^0} = (62.3 \pm 2.3) \times 10^{-11}$.


title: Towards a higher-dimensional construction of stable/unstable Lagrangian laminations

abstract: We generalize some properties of surface automorphisms of pseudo-Anosov type. First, we generalize the Penner construction of a pseudo-Anosov homeomorphism and show that a symplectic automorphism which is constructed by our generalized Penner construction has an invariant Lagrangian branched submanifold and an invariant Lagrangian lamination, which are higher-dimensional generalizations of a train track and a geodesic lamination in the surface case. Moreover, if a pair consisting of a symplectic automorphism $\psi$ and a Lagrangian branched surface $B_{\psi}$ satisfies some assumptions, we prove that there is an invariant Lagrangian lamination $\mathcal{L}$ which is a higher-dimensional generalization of a geodesic lamination.


title: Connecting orbits in Hilbert spaces and applications to P.D.E

abstract: We prove a general theorem on the existence of heteroclinic orbits in Hilbert spaces, and present a method to reduce the solutions of some P.D.E. problems to such orbits. In our first application, we give a new proof in a slightly more general setting of the heteroclinic double layers (initially constructed by Schatzman), since this result is particularly relevant for phase transition systems. In our second application, we obtain a solution of a fouth order P.D.E. satisfying similar boundary conditions.


title: The role of dissipative evolution for three-planet, near-resonant extrasolar systems

abstract: Early dynamical evolution of close-in planetary systems is shaped by an intricate combination of planetary gravitational interactions, orbital migration, and dissipative effects. While the process of convergent orbital migration is expected to routinely yield resonant planetary systems, previous analyses have shown that the semi-major axes of initially resonant pairs of planets will gradually diverge under the influence of long-term energy damping, producing an overabundance of planetary period ratios in slight excess of exact commensurability. While this feature is clearly evident in the orbital distribution of close-in extrasolar planets, the existing theoretical picture is limited to the specific case of the planetary three-body problem. In this study, we generalise the framework of dissipative divergence of resonant orbits to multi-resonant chains, and apply our results to the current observational census of well-characterised three-planet systems. Focusing on the 2:1 and 3:2 commensurabilities, we identify three 3-planet systems, whose current orbital architecture is consistent with an evolutionary history wherein convergent migration first locks the planets into a multi-resonant configuration and subsequent dissipation repels the orbits away from exact commensurability. Nevertheless, we find that the architecture of the overall sample of multi planetary systems is incompatible with this simple scenario, suggesting that additional physical mechanisms must play a dominant role during the early stages of planetary systems' dynamical evolution.


title: Using SMT Solvers to Validate Models for AI Problems

abstract: Artificial Intelligence problems, ranging form planning/scheduling up to game control, include an essential crucial step: describing a model which accurately defines the problem's required data, requirements, allowed transitions and established goals. The ways in which a model can fail are numerous and often lead to a failure of search strategies to provide a quick, optimal, or even any solution. This paper proposes using SMT (Satisfiability Modulo Theories) solvers, such as Z3, to check the validity of a model. We propose two tests: checking whether a final(goal) state exists in the model's described problem space and checking whether the transitions described can provide a path from the identified initial states to any the goal states (meaning a solution has been found). The advantage of using an SMT solver for AI model checking is that they substitute actual search strategies and they work over an abstract representation of the model, that is, a set of logical formulas. Reasoning at an abstract level is not as expensive as exploring the entire solution space. SMT solvers use efficient decision procedures which provide proofs for the logical formulas corresponding to the AI model. A recent addition to Z3 allowed us to describe sequences of transitions as a recursive function, thus we can check if a solution can be found in the defined model.


title: Collapse of orthotropic spherical shells

abstract: We report on the buckling and subsequent collapse of orthotropic elastic spherical shells under volume and pressure control. Going far beyond what is known for isotropic shells, a rich morphological phase space with three distinct regimes emerges upon variation of shell slenderness and degree of orthotropy. Our extensive numerical simulations are in agreement with experiments using fabricated polymer shells. The shell buckling pathways and corresponding strain energy evolution are shown to depend strongly on material orthotropy. We find surprisingly robust orthotropic structures with strong similarities to stomatocytes and tricolpate pollen grains, suggesting that the shape of several of Nature's collapsed shells could be understood from the viewpoint of material orthotropy.


title: Facilitating Rapid Prototyping in the OODIDA Data Analytics Platform via Active-Code Replacement

abstract: OODIDA (On-board/Off-board Distributed Data Analytics) is a platform for distributed real-time analytics, targeting fleets of reference vehicles in the automotive industry. Its users are data analysts. The bulk of the data analytics tasks are performed by clients (on-board), while a central cloud server performs supplementary tasks (off-board). OODIDA can be automatically packaged and deployed, which necessitates restarting parts of the system, or all of it. As this is potentially disruptive, we added the ability to execute user-defined Python modules on clients as well as the server. These modules can be replaced without restarting any part of the system; they can even be replaced between iterations of an ongoing assignment. This feature is referred to as active-code replacement. It facilitates use cases such as iterative A/B testing of machine learning algorithms or modifying experimental algorithms on-the-fly. Consistency of results is achieved by majority vote, which prevents tainted state. Active-code replacement can be done in less than a second in an idealized setting whereas a standard deployment takes many orders of magnitude more time. The main contribution of this paper is the description of a relatively straightforward approach to active-code replacement that is very user-friendly. It enables a data analyst to quickly execute custom code on the cloud server as well as on client devices. Sensible safeguards and design decisions ensure that this feature can be used by non-specialists who are not familiar with the implementation of OODIDA in general or this feature in particular. As a consequence of adding the active-code replacement feature, OODIDA is now very well-suited for rapid prototyping.


title: Optimal Combination Forecasts on Retail Multi-Dimensional Sales Data

abstract: Time series data in the retail world are particularly rich in terms of dimensionality, and these dimensions can be aggregated in groups or hierarchies. Valuable information is nested in these complex structures, which helps to predict the aggregated time series data. From a portfolio of brands under HUUB's monitoring, we selected two to explore their sales behaviour, leveraging the grouping properties of their product structure. Using statistical models, namely SARIMA, to forecast each level of the hierarchy, an optimal combination approach was used to generate more consistent forecasts in the higher levels. Our results show that the proposed methods can indeed capture nested information in the more granular series, helping to improve the forecast accuracy of the aggregated series. The Weighted Least Squares (WLS) method surpasses all other methods proposed in the study, including the Minimum Trace (MinT) reconciliation.


title: Neutron diagnostics for the physics of a high-field, compact, $Q\geq1$ tokamak

abstract: Advancements in high temperature superconducting technology have opened a path toward high-field, compact fusion devices. This new parameter space introduces both opportunities and challenges for diagnosis of the plasma. This paper presents a physics review of a neutron diagnostic suite for a SPARC-like tokamak [Greenwald et al 2018 doi:10.7910/DVN/OYYBNU]. A notional neutronics model was constructed using plasma parameters from a conceptual device, called the MQ1 (Mission $Q \geq 1$) tokamak. The suite includes time-resolved micro-fission chamber (MFC) neutron flux monitors, energy-resolved radial and tangential magnetic proton recoil (MPR) neutron spectrometers, and a neutron camera system (radial and off-vertical) for spatially-resolved measurements of neutron emissivity. Geometries of the tokamak, neutron source, and diagnostics were modeled in the Monte Carlo N-Particle transport code MCNP6 to simulate expected signal and background levels of particle fluxes and energy spectra. From these, measurements of fusion power, neutron flux and fluence are feasible by the MFCs, and the number of independent measurements required for 95% confidence of a fusion gain $Q \geq 1$ is assessed. The MPR spectrometer is found to consistently overpredict the ion temperature and also have a 1000$\times$ improved detection of alpha knock-on neutrons compared to previous experiments. The deuterium-tritium fuel density ratio, however, is measurable in this setup only for trace levels of tritium, with an upper limit of $n_T/n_D \approx 6\%$, motivating further diagnostic exploration. Finally, modeling suggests that in order to adequately measure the self-heating profile, the neutron camera system will require energy and pulse-shape discrimination to suppress otherwise overwhelming fluxes of low energy neutrons and gamma radiation. *Co-first-authorship


title: Geometric triangulations and the Teichm\"uller TQFT volume conjecture for twist knots

abstract: We construct a new infinite family of ideal triangulations and H-triangulations for the complements of twist knots, using a method originating from Thurston. These triangulations provide a new upper bound for the Matveev complexity of twist knot complements. We then prove that these ideal triangulations are geometric. The proof uses techniques of Futer and the second author, which consist in studying the volume functional on the polyhedron of angle structures. Finally, we use these triangulations to compute explicitly the partition function of the Teichm\"uller TQFT and to prove the associated volume conjecture for all twist knots, using the saddle point method.


title: Decentralized Approximate Newton Methods for Convex Optimization on Networked Systems

abstract: In this paper, a class of Decentralized Approximate Newton (DEAN) methods for addressing convex optimization on a networked system are developed, where nodes in the networked system seek for a consensus that minimizes the sum of their individual objective functions through local interactions only. The proposed DEAN algorithms allow each node to repeatedly perform a local approximate Newton update, which leverages tracking the global Newton direction and dissipating the discrepancies among the nodes. Under less restrictive problem assumptions in comparison with most existing second-order methods, the DEAN algorithms enable the nodes to reach a consensus that can be arbitrarily close to the optimum. Moreover, for a particular DEAN algorithm, the nodes linearly converge to a common suboptimal solution with an explicit error bound. Finally, simulations demonstrate the competitive performance of DEAN in convergence speed, accuracy, and efficiency.


title: Limitations on Observability of Effects in Cyber-Physical Systems

abstract: Increased interconnectivity of Cyber-Physical Systems, by design or otherwise, increases the cyber attack surface and attack vectors. Observing the effects of these attacks is helpful in detecting them. In this paper, we show that many attacks on such systems result in a control loop effect we term Process Model Inconsistency (PMI). Our formal approach elucidates the relationships among incompleteness, incorrectness, safety, and inconsistency of process models. We show that incomplete process models lead to inconsistency. Surprisingly, inconsistency may arise even in complete and correct models. We illustrate our approach through an Automated Teller Machine (ATM) example, and describe the practical implications of the theoretical results.


title: First Results from the AMoRE-Pilot neutrinoless double beta decay experiment

abstract: The Advanced Molybdenum-based Rare process Experiment (AMoRE) aims to search for neutrinoless double beta decay (0$\nu\beta\beta$) of $^{100}$Mo with $\sim$100 kg of $^{100}$Mo-enriched molybdenum embedded in cryogenic detectors with a dual heat and light readout. At the current, pilot stage of the AMoRE project we employ six calcium molybdate crystals with a total mass of 1.9 kg, produced from $^{48}$Ca-depleted calcium and $^{100}$Mo-enriched molybdenum ($^{48\textrm{depl}}$Ca$^{100}$MoO$_4$). The simultaneous detection of heat(phonon) and scintillation (photon) signals is realized with high resolution metallic magnetic calorimeter sensors that operate at milli-Kelvin temperatures. This stage of the project is carried out in the Yangyang underground laboratory at a depth of 700 m. We report first results from the AMoRE-Pilot $0\nu\beta\beta$ search with a 111 kg$\cdot$d live exposure of $^{48\textrm{depl}}$Ca$^{100}$MoO$_4$ crystals. No evidence for $0\nu\beta\beta$ decay of $^{100}$Mo is found, and a upper limit is set for the half-life of 0$\nu\beta\beta$ of $^{100}$Mo of $T^{0\nu}_{1/2} > 9.5\times10^{22}$ y at 90% C.L.. This limit corresponds to an effective Majorana neutrino mass limit in the range $\langle m_{\beta\beta}\rangle\le(1.2-2.1)$ eV.


title: Sensitivity and safety of fully probabilistic control

abstract: In this paper we present a sensitivity analysis for the so-called fully probabilistic control scheme. This scheme attempts to control a system modeled via a probability density function (pdf) and does so by computing a probabilistic control policy that is optimal in the Kullback-Leibler sense. Situations where a system of interest is modeled via a pdf naturally arise in the context of neural networks, reinforcement learning and data-driven iterative control. After presenting the sensitivity analysis, we focus on characterizing the convergence region of the closed loop system and introduce a safety analysis for the scheme. The results are illustrated via simulations. This is the preliminary version of the paper entitled "On robust stability of fully probabilistic control with respect to data-driven model uncertainties" that will be presented at the 2019 European Control Conference.


title: Investigating factors affecting learners perception toward online learning evidence from ClassStart application in Thailand

abstract: Twenty-First Century Education is a design of instructional culture that empowers learner-centered through the philosophy of "Less teaching but more learning". Due to the development of technology enhance learning in developing countries such as Thailand, online learning is rapidly growing in the electronic learning market. ClassStart is a learning management system developed to support Thailand's educational management and to promote the student-centred learning processes. It also allows the instructor to analyse individual learners through system-generated activities. The study of online learning acceptance is primarily required to successfully achieve online learning system development. However, the behavioural intention of students to use online learning systems has not been well examined, in particular, by focusing specific but representative applications such as ClassStart in this study. This research takes the usage of ClassStart as research scenario and investigates the individual acceptance of technology through the Unified Theory of Acceptance and Use of Technology, as well as technological quality through the Delone and McLean IS success model. A total of 307 undergraduate students using ClassStart responded to the survey. The Partial Least Squares method, a statistics analysis technique based on the Structural Equation Model (SEM), was used to analyze the data. It was found that performance expectancy, social influence, information quality and system quality have the significant effect on intention to use ClassStart.


title: Positron trapping and annihilation at interfaces between matrix and cylindrical or spherical precipitates modeled by diffusion-reaction theory

abstract: The exact solution of a diffusion$-$reaction model for the trapping and annihilation of positrons at interfaces of precipitate$-$matrix composites is presented considering both cylindrical or spherical precipitates. Diffusion-limitation is taken into account for interfacial trapping from the surrounding matrix as well as from the interior of the precipitate. Closed-form expressions are obtained for the mean positron lifetime and for the intensity of the positron lifetime component associated with the interface-trapped state. The model contains as special case also positron trapping at extended open-volume defects like spherical voids or hollow cylinders. This makes the model applicable to all types of cylindrical- and spherical-shaped extended defects irrespective of their size and their number density.


title: Hiding Ignorance Using High Dimensions

abstract: The absence of information -- entirely or partly -- is called ignorance. Naturally, one might ask if some ignorance of a whole system will imply some ignorance of its parts. Our classical intuition tells us yes, however quantum theory tells us no: it is possible to encode information in a quantum system so that despite some ignorance of the whole, it is impossible to identify the unknown part arXiv:1011.6448. Experimentally verifying this counter-intuitive fact requires controlling and measuring quantum systems of high dimension $(d {>} 9)$. We provide this experimental evidence using the transverse spatial modes of light, a powerful resource for testing high dimensional quantum phenomenon.


title: On the support recovery of marginal regression

abstract: Leading methods for support recovery in high-dimensional regression, such as Lasso, have been well-studied and their limitations in the context of correlated design have been characterized with precise incoherence conditions. In this work, we present a similar treatment of selection consistency for marginal regression (MR), a computationally efficient family of methods with connections to decision trees. Selection based on marginal regression is also referred to as covariate screening or independence screening and is a popular approach in applied work, especially in ultra high-dimensional settings. We identify the underlying factors---which we denote as \emph{MR incoherence}---affecting MR's support recovery performance. Our near complete characterization provides a much more nuanced and optimistic view of MR in comparison to previous works. To ground our results, we provide a broad taxonomy of results for leading feature selection methods, relating the behavior of Lasso, OMP, SIS, and MR. We also lay the foundation for interesting generalizations of our analysis, e.g., to non-linear feature selection methods and to more general regression frameworks such as a general additive models.


title: Effect of rectangular grooves and checkerboard patterns on the electron emission yield

abstract: The effect of rough structures on the electron emission under electron impact between 10 eV and 2 keV is investigated with a new version of the low energy electromagnetic model of GEANT4 (MicroElec). The inelastic scattering is modeled, thanks to the dielectric function theory and the Mott's model of partial waves to describe the elastic scattering. Secondary electron emission is modeled for grooved and checkerboard patterns of different dimensions for aluminum and silver. The analyses are performed according to two shape parameters h/L and d/L, h being the height, L the width of the structures, and d the spacing between two neighboring structures. The secondary electron emission is demonstrated to decrease when h/L and d/L ratios increase. When the height reaches 10 times the lateral dimensions, the electron emission yield is divided by two compared to that of a flat sample. The optimization of the two aspect ratios leads to a reduction of the electron emission yield of 80% for grooved patterns and of 98% for checkerboard patterns. This purely geometric effect is similar for aluminum and silver materials. A simple analytical model, capable of reproducing the effect on the electron emission yield of checkerboard and grooved patterns, is proposed. This model is found to be in good agreement with the Monte Carlo simulations and some experimental measurements performed in our irradiation facility.


title: An application of Cartan's equivalence method to Hirschowitz's conjecture on the formal principle

abstract: A conjecture of Hirschowitz's predicts that a globally generated vector bundle $W$ on a compact complex manifold $A$ satisfies the formal principle, i.e., the formal neighborhood of its zero section determines the germ of neighborhoods in the underlying complex manifold of the vector bundle $W$. By applying Cartan's equivalence method to a suitable differential system on the universal family of the Douady space of the complex manifold, we prove that this conjecture is true if $A$ is a Fano manifold, or if the global sections of $W$ separate points of $A$. Our method shows more generally that for any unobstructed compact submanifold $A$ in a complex manifold, if the normal bundle is globally generated and its sections separate points of $A$, then a sufficiently general deformation of $A$ satisfies the formal principle. In particular, a sufficiently general smooth free rational curve on a complex manifold satisfies the formal principle.


title: Quantum criticality of granular SYK matter

abstract: We consider granular quantum matter defined by Sachdev-Ye-Kitaev (SYK) dots coupled via random one-body hopping. Within the framework of Schwarzian field theory, we identify a zero temperature quantum phase transition between an insulating phase at weak and a metallic phase at strong hopping. The critical hopping strength scales inversely with the number of degrees of freedom on the dots. The increase of temperature out of either phase induces a crossover into a regime of strange metallic behavior.


title: Smallness of the set of critical values of distance functions in two-dimensional Euclidean and Riemannian spaces

abstract: We study how small is the set of critical values of the distance function from a compact (resp. closed) set in the plane or in a connected complete two-dimensional Riemannian manifold. We show that for a compact set, the set of critical values is compact and Lebesgue null (which is a known result) and that it has "locally" (away from 0) bounded sum of square roots of lengths of gaps (components of the complement). In the planar case, these conditions of local smallness are shown to be optimal. These results improve and generalize those of Fu (1985) and of our earlier paper from 2012. We also find an optimal condition for the smallness of the whole set of critical values of a planar compact set.


title: The invisible power of fairness. How machine learning shapes democracy

abstract: Many machine learning systems make extensive use of large amounts of data regarding human behaviors. Several researchers have found various discriminatory practices related to the use of human-related machine learning systems, for example in the field of criminal justice, credit scoring and advertising. Fair machine learning is therefore emerging as a new field of study to mitigate biases that are inadvertently incorporated into algorithms. Data scientists and computer engineers are making various efforts to provide definitions of fairness. In this paper, we provide an overview of the most widespread definitions of fairness in the field of machine learning, arguing that the ideas highlighting each formalization are closely related to different ideas of justice and to different interpretations of democracy embedded in our culture. This work intends to analyze the definitions of fairness that have been proposed to date to interpret the underlying criteria and to relate them to different ideas of democracy.


title: Spiral chains in wavenumber space of two dimensional turbulence

abstract: Abstract Self-similar, fractal nature of turbulence is discussed in the context of two dimensional turbulence, by considering the fractal structure of the wave-number domain using spirals. In loose analogy with phyllotaxis in plants, each step of the cascade can be represented by a rotation and a scaling of the interacting triad. Using a constant divergence angle and a constant scaling factor, one obtains a family of such fractals depending on the distance of interactions. Scaling factors in such sequences are given by the square roots of known ratios such as the plastic ratio, the supergolden ratio or some small Pisot numbers. While spiral chains can represent mono-fractal models of self-similar cascade, which can span a very large range in wave-number domain with good angular coverage, it is also possible that spiral chains or chains of consecutive triads play an important role in the cascade. As numerical models, the spiral chain models based on decimated Fourier coefficients have problems such as the dual cascade being overwhelmed by statistical chain equipartition due to almost stochastic evolution of the complex phases. A generic spiral chain model based on evolution of energy is proposed, which is shown to recover the dual cascade behavior in two-dimensional turbulence.


title: Substation One-Line Diagram Automatic Generation and Visualization

abstract: In Energy Management System (EMS) applications and many other off-line planning and study tools, one-line diagram (OLND) of the whole system and stations is a straightforward view for planners and operators to design, monitor, analyze, and control the power system. Large-scale power system OLND is usually manually developed and maintained. The work is tedious, time-consuming and ease to make mistake. Meanwhile, the manually created diagrams are hard to be shared among the on-line and off-line systems. To save the time and efforts to draw and maintain OLNDs, and provide the capability to share the OLNDs, a tool to automatically develop substation based upon Common Information Model (CIM) standard is needed. Currently, there is no standard rule to draw the substation OLND. Besides, the substation layouts can be altered from the typical formats in textbooks based on factors of economy, efficiency, engineering practice, etc. This paper presents a tool on substation OLND automatic generation and visualization. This tool takes the substation CIM/E model as input, then automatically computes the coordinates of all components and generates the substation OLND based on its components attributes and connectivity relations. Evaluation of the proposed approach is presented using a real provincial power system. Over 95\% of substation OLNDs are decently presented and the rest are corner cases, needing extra effort to do specific reconfiguration.


title: High-Drag Interstellar Objects And Galactic Dynamical Streams

abstract: The nature of 1I/'Oumuamua (henceforth, 1I), the first interstellar object known to pass through the solar system, remains mysterious. Feng \& Jones noted that the incoming 1I velocity vector "at infinity" ($\textbf{v}_{\infty}$) is close to the motion of the Pleiades dynamical stream (or Local Association), and suggested that 1I is a young object ejected from a star in that stream. Micheli $\textit{et al.}$ subsequently detected non-gravitational acceleration in the 1I trajectory; this acceleration would not be unusual in an active comet, but 1I observations failed to reveal any signs of activity. Bialy $\&$ Loeb hypothesized that the anomalous 1I acceleration was instead due to radiation pressure, which would require an extremely low mass-to-area ratio (or area density). Here I show that a low area density can also explain the very close kinematic association of 1I and the Pleiades stream, as it renders 1I subject to drag capture by interstellar gas clouds. This supports the radiation pressure hypothesis and suggests that there is a significant population of low area density ISOs in the Galaxy, leading, through gas drag, to enhanced ISO concentrations in the galactic dynamical streams. Any interstellar object entrained in a dynamical stream will have a predictable incoming $\textbf{v}_{\infty}$; targeted deep surveys using this information should be able to find dynamical stream objects months to as much as a year before their perihelion, providing the lead time needed for fast-response missions for the future $\textit{in situ}$ exploration of such objects.


title: The Clifford-cyclotomic group and Euler-Poincar\'e characteristics

abstract: For an integer $n\geq 8$ divisible by $4$, let $R_n=\mathbb{Z}[\zeta_n,1/2]$ and let $\operatorname{U}_2(R_n)$ be the group of $2\times 2$ unitary matrices with entries in $R_n$. Set $\operatorname{U}_2^\zeta(R_n)=\{\gamma\in\operatorname{U}_2(R_n)\mid \det\gamma\in\langle\zeta_n\rangle\}$. Let $\mathcal{G}_n\subseteq \operatorname{U}_2^\zeta(R_n)$ be the Clifford-cyclotomic group generated by a Hadamard matrix $H=\frac{1}{2}[\begin{smallmatrix} 1+i & 1+i\\1+i &-1-i\end{smallmatrix}]$ and the gate $T=[\begin{smallmatrix}1 & 0\\0 & \zeta_n\end{smallmatrix}]$. We prove that $\mathcal{G}_n=\operatorname{U}_2^\zeta(R_n)$ if and only if $n=8, 12, 16, 24$ and that $[\operatorname{U}_2^\zeta(R_n):\mathcal{G}_n]=\infty$ if $\operatorname{U}_2^\zeta(R_n)\neq \mathcal{G}_n$. We compute the Euler-Poincar\'{e} characteristics of the groups $\operatorname{SU}_2(R_n)$, $\operatorname{PSU}_2(R_n)$, $\operatorname{PU}_2(R_n)$, $\operatorname{PU}^\zeta_2(R_n)$, and $\operatorname{SO}_3(R_n^+)$.


title: Forward proton detectors in heavy ion physics

abstract: The forward proton detectors, already existing at the LHC, are considered in the context of heavy ion collisions. It is shown that such detectors have the potential to measure nuclear debris originating from spectator nucleons. The geometric acceptance for different nuclei is studied, and how it is affected by the motion of the nucleons in the nucleus and by the experimental conditions. A possibility of reconstructing the impact parameter of the collision from the measurement of the nuclear fragments is discussed.


title: Learning magnetization dynamics

abstract: Deep neural networks are used to model the magnetization dynamics in magnetic thin film elements. The magnetic states of a thin film element can be represented in a low dimensional space. With convolutional autoencoders a compression ratio of 1024:1 was achieved. Time integration can be performed in the latent space with a second network which was trained by solutions of the Landau-Lifshitz-Gilbert equation. Thus the magnetic response to an external field can be computed quickly.


title: A fast field-cycling MRI relaxometer for physical contrasts design and pre-clinical studies in small animals

abstract: We present a fast field-cycling NMR relaxometer with added magnetic resonance imaging capabilities. The instrument operates at a maximum proton Larmor frequency of 5 MHz for a sample volume of 35 mL. The magnetic field homogeneity across the sample is 1400 ppm. The main field is generated with a notch-coil electromagnet of own design, fed with a current whose stability is 220 ppm. We show that images of reasonable quality can still be produced under such conditions. The machine is being designed for concept testing of the involved instrumentation and specific contrast agents aimed for field-cycling magnetic resonance imaging applications. The general performance of the prototype was tested through localized relaxometry experiments, T1-dispersion weighted images, temperature maps and T1-weighted images at different magnetic field intensities. We introduce the concept of positive and negative contrast depending on the use of pre-polarized or non-polarized sequences. The system is being improved for pre-clinical studies in small animals.


title: Long uninterrupted photometric observations of the Wolf-Rayet star EZ CMa by the Toronto {\em{BRITE}} satellite reveal a very fast apsidal motion

abstract: Context. The variability of the Wolf-Rayet star EZ CMa has been documented for close to half a century, and a clear periodicity of $\sim$3.7 days is established. However, all attempts to prove that it is a binary have failed because the photometric, spectroscopic, and polarimetric variations are not coherent over more than a few orbital cycles. Aims. In this letter we show that the lack of coherence in the variability can be explained with a very rapid apsidal motion in a binary orbit.} Methods. We measured the times of minima in a recently published exceptionally long photometric light curve obtained by the Toronto {\emph{BRITE}} satellite. The apsidal motion and the system eccentricity are determined from the length of the time intervals between these minima, which alternate in their duration, following a pattern that is clearly associated with apsidal motion. These minima are superposed on brightness enhancements of the emission from a shock zone, which occur at about the times of periastron phases. Results. We determine the orbital periodicity, $P_{a}=3.63\, $d, and the period of the apsidal motion, $U\simeq 100\, $d, which together yield an average sidereal period of $P_{s}=3.77\,$d. The eccentricity is found to be close to 0.1. The rate of periapsis retreat changes significantly over the period of observation and is determined to be $-16^\circ\,\mathrm{P}^{-1}_a$ at the beginning of the observing period and $-10^\circ\,\mathrm{P}^{-1}_a$ at the end. Conclusions. We demonstrate that by introducing a fast apsidal motion, the basic photometric variability is very well explained. The binary nature of EZ CMa is now established. This might imply that other apparently single Wolf-Rayet stars that emit hard X-rays, similar to EZ CMa, are also binaries.


title: Arbitrarily Weak Nonlinearity Can Destroy the Anderson Localization

abstract: Whether the Anderson localization can survive from the weak enough nonlinear interaction is still an open question. In this Letter, we study the effect of nonlinear interaction on disordered chain based on the wave turbulence theory. It is found that the equipartition time $T_{eq}$ is inversely proportional to the square of the nonlinearity strength $\lambda$, i.e., $T_{eq}\propto\lambda^{-2}$, in thermodynamic limit. This result has two fundamentally important consequences. First, the Anderson localized modes can not survive from arbitrarily weak nonlinearity. Secondly, contrary to popular belief, disorder can lead to a more fast thermalization in the weak nonlinear region, which is due to the emergence of three-wave resonance.


title: Resolving phase transitions with Discontinuous Galerkin methods

abstract: We demonstrate the applicability and advantages of Discontinuous Galerkin (DG) schemes in the context of the Functional Renormalization Group (FRG). We investigate the $O(N)$-model in the large $N$ limit. It is shown that the flow equation for the effective potential can be cast into a conservative form. We discuss results for the Riemann problem, as well as initial conditions leading to a first and second order phase transition. In particular, we unravel the mechanism underlying first order phase transitions, based on the formation of a shock in the derivative of the effective potential.

categories: hep-th cond-mat.stat-mech hep-ph physics.comp-ph


title: Divide-and-Conquer Method for Instanton Rate Theory

abstract: Ring-polymer instanton theory has been developed to simulate the quantum dynamics of molecular systems at low temperatures. Chemical reaction rates can be obtained by locating the dominant tunneling pathway and analyzing fluctuations around it. In the standard method, calculating the fluctuation terms involves the diagonalization of a large matrix, which can be unfeasible for large systems with a high number of ring-polymer beads. Here we present a method for computing the instanton fluctuations with a large reduction in computational scaling. This method is applied to three reactions described by fitted, analytic and on-the-fly ab initio potential-energy surfaces and is shown to be numerically stable for the calculation of thermal reaction rates even at very low temperature.


title: Mean squared displacement in a generalized L\'evy walk model

abstract: L\'evy walks represent a class of stochastic models (space-time coupled continuous time random walks) with applications ranging from the laser cooling to the description of animal motion. The initial model was intended for the description of turbulent dispersion as given by the Richardson's law. The existence of this Richardson's regime in the original model was recently challenged in the work by T. Albers and G. Radons, Phys. Rev. Lett. 120, 104501 (2018): the mean squared displacement (MSD) in this model diverges, i.e. does not exist, in the regime, where it presumably should reproduce the Richardson's law. In the supplemental material to this work the authors present (but do not investigate in detail) a generalized model interpolating between the original one and the Drude-like models known to show no divergences. In the present work we give a detailed investigation of the ensemble MSD in this generalized model, show that the behavior of the MSD in this model is the same (up to prefactiors) as in the original one in the domains where the MSD in the original model does exist, and investigate the conditions under which the MSD in the generalized model does exist or diverges. Both ordinary and aged situations are considered.


title: Robust globally divergence-free weak Galerkin finite element methods for natural convection problems

abstract: This paper proposes and analyzes a class of weak Galerkin (WG) finite element methods for stationary natural convection problems in two and three dimensions. We use piecewise polynomials of degrees k, k-1, and k(k>=1) for the velocity, pressure, and temperature approximations in the interior of elements, respectively, and piecewise polynomials of degrees l, k, l(l = k-1,k) for the numerical traces of velocity, pressure and temperature on the interfaces of elements. The methods yield globally divergence-free velocity solutions. Well-posedness of the discrete scheme is established, optimal a priori error estimates are derived, and an unconditionally convergent iteration algorithm is presented. Numerical experiments confirm the theoretical results and show the robustness of the methods with respect to Rayleigh number.


title: WSN and Fog Computing Integration for Intelligent Data Processing

abstract: Networked embedded systems endowed with sensing, computing, control and communication capabilities allow the development of various application scenarios and represent the building blocks of the Internet of Things (IoT) paradigm. Traditional data collection methods include multiple field level IoT systems that can relay data stemming from a network of distributed ground sensors directly to a cloud platform for storage, analysis and processing. In such applications however, rapid sensor deployment in unstructured environments represents a challenge to the overall robustness of the system. We discuss the fog and mist computing approaches to hierarchically process data along its path from source to destination. The several stages of intermediate data processing reduce the computational and communication effort in a gradual manner. A three-layer topology for smart data monitoring and processing is thus proposed and illustrated to improve the information to noise ratio in a reference scenario.


title: The Bloch groups and special values of Dedekind zeta functions

abstract: In this paper, we compare the two definitions of Bloch group, and survey the elements in Bloch group. We confirm the Lichtenbaum conjecture on the field $Q(\zeta_p)$ under the assumption the truth of the base of the Bloch group of $Q(\zeta_p)$ and the relations of $K_2$ group. We also study the Lichtenbaum conjecture on non-Galois fields. By PARI, we get some equations of the zeta functions on special values and the structure of tame kernel of these fields.


title: On the theory of higher rank Euler, Kolyvagin and Stark systems, IV: the multiplicative group

abstract: We describe a refinement of the general theory of higher rank Euler, Kolyvagin and Stark systems in the setting of the multiplicative group over arbitrary number fields. We use the refined theory to prove new results concerning the Galois structure of ideal class groups and the validity of both the equivariant Tamagawa number conjecture and of the `refined class number formula' that has been conjectured by Mazur and Rubin and by Sano. In contrast to previous work in this direction, these results require no hypotheses on the decomposition behaviour of places that are intended to rule out the existence of `trivial zeroes'.


title: Hierarchical Dynamic Loop Self-Scheduling on Distributed-Memory Systems Using an MPI+MPI Approach

abstract: Computationally-intensive loops are the primary source of parallelism in scientific applications. Such loops are often irregular and a balanced execution of their loop iterations is critical for achieving high performance. However, several factors may lead to an imbalanced load execution, such as problem characteristics, algorithmic, and systemic variations. Dynamic loop self-scheduling (DLS) techniques are devised to mitigate these factors, and consequently, improve application performance. On distributed-memory systems, DLS techniques can be implemented using a hierarchical master-worker execution model and are, therefore, called hierarchical DLS techniques. These techniques self-schedule loop iterations at two levels of hardware parallelism: across and within compute nodes. Hybrid programming approaches that combine the message passing interface (MPI) with open multi-processing (OpenMP) dominate the implementation of hierarchical DLS techniques. The MPI-3 standard includes the feature of sharing memory regions among MPI processes. This feature introduced the MPI+MPI approach that simplifies the implementation of parallel scientific applications. The present work designs and implements hierarchical DLS techniques by exploiting the MPI+MPI approach. Four well-known DLS techniques are considered in the evaluation proposed herein. The results indicate certain performance advantages of the proposed approach compared to the hybrid MPI+OpenMP approach.


title: Some Remarks on a recent article by J. -P. Allouche

abstract: In 1980 Otto G. Ruehr made some puzzling comments that a certain identity A, that he proved, is equivalent to another identity B, but he did not explain why they are equivalent. Recently J.-P. Allouche tried to explain why they are "equivalent", using about eight pages. We comment that it is extremely unlikely to be Ruehr's reasoning (he probably got mixed up with a different problem), but be that as it may, it is not worthwhile to try and deduce B from A, since both A and B are routinely provable using Wilf-Zeilberger algorithmic proof theory (implemented in Maple) and the Almkvist-Zeilberger algorithm.


title: Tutorial: Effective visual communication for the quantitative scientist

abstract: Effective visual communication is a core competency for pharmacometricians, statisticians, and more generally any quantitative scientist. It is essential in every step of a quantitative workflow, from scoping to execution and communicating results and conclusions. With this competency, we can better understand data and influence decisions towards appropriate actions. Without it, we can fool ourselves and others and pave the way to wrong conclusions and actions. The goal of this tutorial is to convey this competency. We posit three laws of effective visual communication for the quantitative scientist: have a clear purpose, show the data clearly, and make the message obvious. A concise "Cheat Sheet", available on https://graphicsprinciples.github.io, distills more granular recommendations for everyday practical use. Finally, these laws and recommendations are illustrated in four case studies.


title: Process Mining of Programmable Logic Controllers: Input/Output Event Logs

abstract: This paper presents an approach to model an unknown Ladder Logic based Programmable Logic Controller (PLC) program consisting of Boolean logic and counters using Process Mining techniques. First, we tap the inputs and outputs of a PLC to create a data flow log. Second, we propose a method to translate the obtained data flow log to an event log suitable for Process Mining. In a third step, we propose a hybrid Petri net (PN) and neural network approach to approximate the logic of the actual underlying PLC program. We demonstrate the applicability of our proposed approach on a case study with three simulated scenarios.


title: Many-Body Effective Energy Theory: photoemission at strong correlation

abstract: In this work we explore the performance of a recently derived many-body effective energy theory for the calculation of photoemission spectra in the regime of strong electron correlation. We apply the theory to paramagnetic MnO, FeO, CoO, and NiO, which are typical examples of strongly correlated materials and, therefore, a challenge for standard theories. We show that our methods open a correlation gap in all the oxides studied without breaking the symmetry. Although the materials seem similar, we show that an analysis of the occupation numbers reveals that the nature of the gap is not the same for these materials. Overall the results are very promising, although improvements are clearly required, since the band gap is overestimated for all the systems studied. We indicate some possible strategies to further develop the theory.


title: USID and Pycroscopy -- Open frameworks for storing and analyzing spectroscopic and imaging data

abstract: Materials science is undergoing profound changes due to advances in characterization instrumentation that have resulted in an explosion of data in terms of volume, velocity, variety and complexity. Harnessing these data for scientific research requires an evolution of the associated computing and data infrastructure, bridging scientific instrumentation with super- and cloud- computing. Here, we describe Universal Spectroscopy and Imaging Data (USID), a data model capable of representing data from most common instruments, modalities, dimensionalities, and sizes. We pair this schema with the hierarchical data file format (HDF5) to maximize compatibility, exchangeability, traceability, and reproducibility. We discuss a family of community-driven, open-source, and free python software packages for storing, processing and visualizing data. The first is pyUSID which provides the tools to read and write USID HDF5 files in addition to a scalable framework for parallelizing data analysis. The second is Pycroscopy, which provides algorithms for scientific analysis of nanoscale imaging and spectroscopy modalities and is built on top of pyUSID and USID. The instrument-agnostic nature of USID facilitates the development of analysis code independent of instrumentation and task in Pycroscopy which in turn can bring scientific communities together and break down barriers in the age of open-science. The interested reader is encouraged to be a part of this ongoing community-driven effort to collectively accelerate materials research and discovery through the realms of big data.


title: Was ist eine Professur fuer Kuenstliche Intelligenz?

abstract: The Federal Government of Germany aims to boost the research in the field of Artificial Intelligence (AI). For instance, 100 new professorships are said to be established. However, the white paper of the government does not answer what an AI professorship is at all. In order to give colleagues, politicians, and citizens an idea, we present a view that is often followed when appointing professors for AI at German and international universities. We hope that it will help to establish a guideline with internationally accepted measures and thus make the public debate more informed.


title: Probing ISM Structure in Trumpler 14 & Carina I Using The Stratospheric Terahertz Observatory 2

abstract: We present observations of the Trumpler 14/Carina I region carried out using the Stratospheric Terahertz Observatory 2 (STO2). The Trumpler 14/Carina I region is in the west part of the Carina Nebula Complex, which is one of the most extreme star-forming regions in the Milky Way. We observed Trumpler 14/Carina I in the 158 $\mu$m transition of [C\,{\sc ii}] with a spatial resolution of 48$''$ and a velocity resolution of 0.17 km s$^{-1}$. The observations cover a 0.25$^\circ$ by 0.28$^\circ$ area with central position {\it l} = 297.34$^\circ$, {\it b} = -0.60$^\circ$. The kinematics show that bright [C\,{\sc ii}] structures are spatially and spectrally correlated with the surfaces of CO clouds, tracing the photodissociation region and ionization front of each molecular cloud. Along 7 lines of sight that traverse Tr 14 into the dark ridge to the southwest, we find that the [C\,{\sc ii}] luminosity from the HII region is 3.7 times that from the PDR. In same los we find in the PDRs an average ratio of 1:4.1:5.6 for the mass in atomic gas:dark-CO gas: molecular gas traced by CO. Comparing multiple gas tracers including HI 21cm, [C\,{\sc ii}], CO, and radio recombination lines, we find that the HII regions of the Carina Nebula Complex are well-described as HII regions with one-side freely expanding towards us, consistent with the champagne model of ionized gas evolution. The dispersal of the GMC in this region is dominated by EUV photoevaporation; the dispersal timescale is 20-30 Myr.


title: Trial of an AI: Empowering people to explore law and science challenges

abstract: Artificial Intelligence represents many things: a new market to conquer or a quality label for tech companies, a threat for traditional industries, a menace for democracy, or a blessing for our busy everyday life. The press abounds in examples illustrating these aspects, but one should draw not hasty and premature conclusions. The first successes in AI have been a surprise for society at large-including researchers in the field. Today, after the initial stupefaction, we have examples of the system reactions: traditional companies are heavily investing in AI, social platforms are monitored during elections, data collection is more and more regulated, etc. The resilience of an organization (i.e. its capacity to resist to a shock) relies deeply on the perception of its environment. Future problems have to be anticipated, while unforeseen events occurring have to be quickly identified in order to be mitigated as fast as possible. The author states that this clear perception starts with a common definition of AI in terms of capacities and limits. AI practitioners should make notions and concepts accessible to the general public and the impacted fields (e.g. industries, law, education). It is a truism that only law experts would have the potential to estimate IA impacts on judicial system. However, questions remain on how to connect different kind of expertise and what is the appropriate level of detail required for the knowledge exchanges. And the same consideration is true for dissemination towards society. Ultimately, society will live with decisions made by the "experts". It sounds wise to involve society in the decision process rather than risking to pay consequences later. Therefore, society also needs the key concepts to understand AI impact on their life. This was the purpose of the trial of an IA that took place in October 2018 at the Court of Appeal of Paris: gathering experts from various fields to expose challenges in law and science towards a general public.


title: Order and Disorder in the Magnetisation of the Chiral Crystal CrNb$_3$S$_6$

abstract: Competing magnetic anisotropies in chiral crystals with Dzyaloshinskii Moriya exchange interactions can give rise to non-trivial chiral topological magnetisation configurations with new and interesting properties. One such configuration is the magnetic soliton, where the moment continuously rotates about an axis. This magnetic system can be considered to be one dimensional and, because of this, it supports a macroscale coherent magnetisation, giving rise to a tunable chiral soliton lattice (CSL) that is of potential use in a number of applications in nanomagnetism and spintronics. In this work we characterise the transitions between the forced-ferromagnetic (F-FM) phase and the CSL one in CrNb$_3$S$_6$ using differential phase contrast imaging in a scanning transmission electron microscope, conventional Fresnel imaging, ferromagnetic resonance spectroscopy, and mean-field modelling. We find that the formation and movement of dislocations mediate the formation of CSL and F-FM regions and that these strongly influence the highly hysteretic static and dynamic properties of the system. Sample size and morphology can be used to tailor the properties of the system and, with the application of magnetic field, to locate and stabalise normally unstable dislocations and modify their dimensions and magnetic configurations in ways beyond that predicted to occur in uniform films.


title: A lightweight convolutional neural network for image denoising with fine details preservation capability

abstract: Image denoising is a fundamental problem in image processing whose primary objective is to remove the noise while preserving the original image structure. In this work, we proposed a new architecture for image denoising. We have used several dense blocks to design our network. Additionally, we have forwarded feature extracted in the first layer to the input of every transition layer. Our experimental result suggests that the use of low-level feature helps in reconstructing better texture. Furthermore, we had trained our network with a combination of MSE and a differentiable multi-scale structural similarity index(MS-SSIM). With proper training, our proposed model with a much lower parameter can outperform other models which were with trained much higher parameters. We evaluated our algorithm on two grayscale benchmark dataset BSD68 and SET12. Our model had achieved similar PSNR with the current state of the art methods and most of the time better SSIM than other algorithms.


title: Steady-State Force Sensing with Single Trapped Ion

abstract: We propose a scheme for detecting time-varying weak forces using quantum probe consisting of single spin and quantum oscillator under the effect of collective dissipation. We study the force estimation in the steady-state regime where the information of the force is extracted by measuring observable of the oscillator such as quadrature and mean phonon excitation. We quantify the force sensitivity in terms of quantum Fisher information and show that it diverges approaching the critical spin-boson coupling making the system sensitive to very small force perturbation. We show that close to the critical coupling the measurement of the oscillator quadrature is optimal in a sense that saturates the fundamental Cramer-Rao bound. Furthermore, we study the force estimation in the presence of phonon squeezing and show that it can significantly improve the sensitivity reaching minimal detectable force of order of xN (1${\rm xN=10^{-27}{\rm N}}$).


title: An empirical assessment of best-answer prediction models in technical Q&A sites

abstract: Technical Q&A sites have become essential for software engineers as they constantly seek help from other experts to solve their work problems. Despite their success, many questions remain unresolved, sometimes because the asker does not acknowledge any helpful answer. In these cases, an information seeker can only browse all the answers within a question thread to assess their quality as potential solutions. We approach this time-consuming problem as a binary-classification task where a best-answer prediction model is built to identify the accepted answer among those within a resolved question thread, and the candidate solutions to those questions that have received answers but are still unresolved. In this paper, we report on a study aimed at assessing 26 best-answer prediction models in two steps. First, we study how models perform when predicting best answers in Stack Overflow, the most popular Q&A site for software engineers. Then, we assess performance in a cross-platform setting where the prediction models are trained on Stack Overflow and tested on other technical Q&A sites. Our findings show that the choice of the classifier and automated parameter tuning have a large impact on the prediction of the best answer. We also demonstrate that our approach to the best-answer prediction problem is generalizable across technical Q&A sites. Finally, we provide practical recommendations to Q&A platform designers to curate and preserve the crowdsourced knowledge shared through these sites.


title: Detecting Earth-like Biosignatures on Rocky Exoplanets around Nearby Stars with Ground-based Extremely Large Telescopes

abstract: As we begin to discover rocky planets in the habitable zone of nearby stars with missions like TESS and CHEOPS, we will need quick advancements on instrumentation and observational techniques that will enable us to answer key science questions, such as What are the atmospheric characteristics of habitable zone rocky planets? How common are Earth-like biosignatures in rocky planets?} How similar or dissimilar are those planets to Earth? Over the next decade we expect to have discovered several Earth-analog candidates, but we will not have the tools to study the atmospheres of all of them in detail. Ground-based ELTs can identify biosignatures in the spectra of these candidate exo-Earths and understand how the planets' atmospheres compare to the Earth at different epochs. Transit spectroscopy, high-resolution spectroscopy, and reflected-light direct imaging on ELTs can identify multiple biosignatures for habitable zone, rocky planets around M stars at optical to near-infrared wavelengths. Thermal infrared direct imaging can detect habitable zone, rocky planets around AFGK stars, identifying ozone and motivating reflected-light follow-up observations with NASA missions like HabEx/LUVOIR. Therefore, we recommend that the Astro2020 Decadal Survey Committee support: (1) the search for Earth-like biosignatures on rocky planets around nearby stars as a key science case; (2) the construction over the next decade of ground-based Extremely Large Telecopes (ELTs), which will provide the large aperture and spatial resolution necessary to start revealing the atmospheres of Earth-analogues around nearby stars; (3) the development of instrumentation that optimizes the detection of biosignatures; and (4) the generation of accurate line lists for potential biosignature gases, which are needed as model templates to detect those molecules.


title: Best-of-Three Voting on Dense Graphs

abstract: Given a graph $G$ of $n$ vertices, where each vertex is initially attached an opinion of either red or blue. We investigate a random process known as the Best-of-three voting. In this process, at each time step, every vertex chooses three neighbours at random and adopts the majority colour. We study this process for a class of graphs with minimum degree $d = n^{\alpha}$\,, where $\alpha = \Omega\left( (\log \log n)^{-1} \right)$. We prove that if initially each vertex is red with probability greater than $1/2+\delta$, and blue otherwise, where $\delta \geq (\log d)^{-C}$ for some $C>0$, then with high probability this dynamic reaches a final state where all vertices are red within $O\left( \log \log n\right) + O\left( \log \left( \delta^{-1} \right) \right)$ steps.


title: EMTk -- The Emotion Mining Toolkit

abstract: The Emotion Mining Toolkit (EMTk) is a suite of modules and datasets offering a comprehensive solution for mining sentiment and emotions from technical text contributed by developers on communication channels. The toolkit is written in Java, Python, and R, and is released under the MIT open source license. In this paper, we describe its architecture and the benchmark against the previous, standalone versions of our sentiment analysis tools. Results show large improvements in terms of speed.


title: Dirichlet-to-Neumann maps on Trees

abstract: In this paper we study the Dirichlet-to-Neumann map for solutions to mean value formulas on trees. We give two alternative definition of the Dirichlet-to-Neumann map. For the first definition (that involves the product of a "gradient" with a "normal vector" and for a linear mean value formula on the directed tree (taking into account only the successors of a given node) we obtain that the Dirichlet-to-Neumann map is given by $g\mapsto cg'$ (here $c$ is an explicit constant). Notice that this is a local operator of order one. We also consider linear undirected mean value formulas (taking into account not only the successors but the ancestor and the successors of a given node) and prove a similar result. For this kind of mean value formula we include some existence and uniqueness results for the associated Dirichlet problem. Finally, we give an alternative definition of the Dirichlet-to-Neumann map (taking into account differences along a given branch of the tree). With this alternative definition, for a certain range of parameters, we obtain that the Dirichlet-to-Neumann map is given by a nonlocal operator (as happens for the classical Laplacian in the Euclidean space).


title: A Simplified Dynamical Model for Tuned Wireless Power Transfer Systems

abstract: Dynamical models of wireless power transfer (WPT) systems are of primary importance for the dynamical behavior studies and controller design. However, the existing dynamical models usually suffer from high orders and complicated forms due to the complex nature of the coupled resonances and switched-mode power converters in WPT systems. This letter finds that a well-tuned WPT system can be accurately described by a much simpler dynamical model. Specifically, at the tuned condition, the existing dynamical model can be decomposed into two parts. One is controllable and the other one is uncontrollable. The former should be considered in the modeling while the latter can be ignored because it always exponentially converges to zero. For illustration, the recently proposed zero-voltage-switching full-bridge pulse-density modulation WPT system is modeled as an example since such a system can efficiently operate at the tuned condition with soft switching and control capabilities. The derived model was verified in experiments by time-domain and frequency-domain responses.


title: Why do developers take breaks from contributing to OSS projects? A preliminary analysis

abstract: Creating a successful and sustainable Open Source Software (OSS) project often depends on the strength and the health of the community behind it. Current literature explains the contributors' lifecycle, starting with the motivations that drive people to contribute and barriers to joining OSS projects, covering developers' evolution until they become core members. However, the stages when developers leave the projects are still weakly explored and are not well-defined in existing developers' lifecycle models. In this position paper, we enrich the knowledge about the leaving stage by identifying sleeping and dead states, representing temporary and permanent brakes that developers take from contributing. We conducted a preliminary set of semi-structured interviews with active developers. We analyzed the answers by focusing on defining and understanding the reasons for the transitions to/from sleeping and dead states. This paper raises new questions that may guide further discussions and research, which may ultimately benefit OSS communities.


title: AGN (and other) astrophysics with Gravitational Wave Events

abstract: The stellar mass binary black hole (sBBH) mergers presently detected by LIGO may originate wholly or in part from binary black hole mergers embedded in disks of gas around supermassive black holes. Determining the contribution of these active galactic nucleus (AGN) disks to the sBBH merger rate enables us to uniquely measure important parameters of AGN disks, including their typical density, aspect ratio, and lifetime, thereby putting unique limits on an important element of galaxy formation. For the first time, gravitational waves will allow us to reveal the properties of the hidden interior of AGN disks, while electromagnetic radiation (EM) probes the disk photosphere. The localization of sBBH merger events from LIGO is generally insufficient for association with a single EM counterpart. However, the contribution to the LIGO event rate from rare source types (such as AGNs) can be determined on a statistical basis. To determine the contribution to the sBBH rate from AGNs in the next decade requires: {\em 1) a complete galaxy catalog for the LIGO search volume, 2) strategic multi-wavelength EM follow-up of LIGO events and 3) significant advances in theoretical understanding of AGN disks and the behavior of objects embedded within them.}


title: The Multi-Event-Class Synchronization (MECS) Algorithm

abstract: Synchronization is a fundamental component of computational models of human behavior, at both intra-personal and inter-personal level. Event synchronization analysis was originally conceived with the aim of providing a simple and robust method to measure synchronization between two time series. In this paper we propose a novel method extending the state-of-the-art of the event synchronization techniques: the Multi-Event-Class Synchronization (MECS) algorithm. MECS measures the synchronization between relevant events belonging to different event classes that are detected in multiple time series. Its motivation emerged from the need to model non-verbal multimodal signals in Human-Computer Interaction. Using MECS, synchronization can be computed between events belonging to the same class (intra-class synchronization) or between events belonging to different classes (inter-class synchronization). In the paper we also show how our technique can deal with macro-events (i.e., sets of events satisfying constraints) and macro-classes (i.e., sets of classes). In the last part of the paper, we apply the proposed method to two types of data i) artificial and 2) real-world case study concerning analysis of human multimodal behavior.


title: The negative tetrahedron and the first infinite family of connected digraphs that are strongly determined by the Hermitian spectrum

abstract: Thus far, digraphs that are uniquely determined by their Hermitian spectra have proven elusive. Instead, researchers have turned to spectral determination of classes of switching equivalent digraphs, rather than individual digraphs. In the present paper, we consider the traditional notion: a digraph (or mixed graph) is said to be strongly determined by its Hermitian spectrum (abbreviated SHDS) if it is isomorphic to each digraph to which it is cospectral. Convincing numerical evidence to support the claim that this property is extremely rare is provided. Nonetheless, the first infinite family of connected digraphs that is SHDS is constructed. This family is obtained via the introduction of twin vertices into a structure that is named negative tetrahedron. This special digraph, that exhibits extreme spectral behavior, is contained in the surprisingly small collection of all digraphs with exactly one negative eigenvalue, which is determined as an intermediate result.


title: Experiments with the Census

abstract: In this paper we study the manifolds in the census of "small" 3-manifolds as available in SnapPy. We compare our results with the statistics of random 3-manifolds obtained using the Dunfield Thurston and Rivin models.


title: Optimization of device-independent witnesses of entanglement depth from two-body correlators

abstract: In a recent work [A. Aloy et al. arXiv:1807:06027 (2018)] we have considered the characterization of entanglement depth, from a device-independent perspective, in a quantum many-body system. We have shown that the inequalities introduced in [J. Tura et al. Science 344 1256 (2014)] can be used to obtain device-independent witnesses of entanglement depth and that they enjoy two key properties that allow to compute their $k$-producibility bounds more efficiently for larger system sizes, as well as yielding experimentally-friendlier device-independent witnesses of entanglement depth: they involve at most two-body correlators and they are permutationally invariant. While the main aim of our previous work was to illustrate the main ideas and applicability of the method, here we outline the details and complement its findings with detailed analysis and further case studies. Specifically, we consider the problem of finding the $k$-producible bounds of such DIWEDs under different assumptions. Not surprisingly, with the weakest assumptions, we can compute $k$-producible bounds only for relatively small number of parties; however we can still learn interesting features from these solutions that motivate the search on larger systems under the assumption that these features persist. This allows us to tackle the case where the system size eventually reaches the thermodynamic limit.


title: Polynomial mathematical programs with equilibrium constraints and semidefinite programming relaxations

abstract: This paper focuses on the study of a mathematical program with equilibrium constraints, where the objective and the constraint functions are all polynomials. We present a method for finding its global minimizers and global minimum using a hierarchy of semidefinite programming (SDP) relaxations and prove the convergence result for the method. Numerical experiments are presented to show the efficiency of the proposed algorithm.


title: A moving grid finite element method applied to a mechanobiochemical model for 3D cell migration

abstract: This work presents the development, analysis and numerical simulations of a biophysical model for 3D cell deformation and movement, which couples biochemical reactions and biomechanical forces. We propose a mechanobiochemical model which considers the actin filament network as a viscoelastic and contractile gel. The mechanical properties are modelled by a force balancing equation for the displacements, the pressure and concentration forces are driven by actin and myosin dynamics, and these are in turn modelled by a system of reaction-diffusion equations on a moving cell domain. The biophysical model consists of highly non-linear partial differential equations whose analytical solutions are intractable. To obtain approximate solutions to the model system, we employ the moving grid finite element method. The numerical results are supported by linear stability theoretical results close to bifurcation points during the early stages of cell migration. Numerical simulations exhibited show both simple and complex cell deformations in 3-dimensions that include cell expansion, cell protrusion and cell contraction. The computational framework presented here sets a strong foundation that allows to study more complex and experimentally driven reaction-kinetics involving actin, myosin and other molecular species that play an important role in cell movement and deformation.


title: A Machine Learning approach to Risk Minimisation in Electricity Markets with Coregionalized Sparse Gaussian Processes

abstract: The non-storability of electricity makes it unique among commodity assets, and it is an important driver of its price behaviour in secondary financial markets. The instantaneous and continuous matching of power supply with demand is a key factor explaining its volatility. During periods of high demand, costlier generation capabilities are utilised since electricity cannot be stored and this has the impact of driving prices up very quickly. Furthermore, the non-storability also complicates physical hedging. Owing to these, the problem of joint price-quantity risk in electricity markets is a commonly studied theme. We propose using Gaussian Processes (GPs) to tackle this problem since GPs provide a versatile and elegant non-parametric approach for regression and time-series modelling. However, GPs scale poorly with the amount of training data due to a cubic complexity. These considerations suggest that knowledge transfer between price and load is vital for effective hedging, and that a computationally efficient method is required. To this end, we use the coregionalized (or multi-task) sparse GPs which addresses the aforementioned issues. To gauge the performance of our model, we use an average-load strategy as comparator. The latter is a robust approach commonly used by industry. If the spot and load are uncorrelated and Gaussian, then hedging with the expected load will result in the minimum variance position. Our main contributions are twofold. Firstly, in developing a coregionalized sparse GP-based approach for hedging. Secondly, in demonstrating that our model-based strategy outperforms the comparator, and can thus be employed for effective hedging in electricity markets.


title: Iterative Reinforcement Learning Based Design of Dynamic Locomotion Skills for Cassie

abstract: Deep reinforcement learning (DRL) is a promising approach for developing legged locomotion skills. However, the iterative design process that is inevitable in practice is poorly supported by the default methodology. It is difficult to predict the outcomes of changes made to the reward functions, policy architectures, and the set of tasks being trained on. In this paper, we propose a practical method that allows the reward function to be fully redefined on each successive design iteration while limiting the deviation from the previous iteration. We characterize policies via sets of Deterministic Action Stochastic State (DASS) tuples, which represent the deterministic policy state-action pairs as sampled from the states visited by the trained stochastic policy. New policies are trained using a policy gradient algorithm which then mixes RL-based policy gradients with gradient updates defined by the DASS tuples. The tuples also allow for robust policy distillation to new network architectures. We demonstrate the effectiveness of this iterative-design approach on the bipedal robot Cassie, achieving stable walking with different gait styles at various speeds. We demonstrate the successful transfer of policies learned in simulation to the physical robot without any dynamics randomization, and that variable-speed walking policies for the physical robot can be represented by a small dataset of 5-10k tuples.


title: Use of Ghost Cytometry to Differentiate Cells with Similar Gross Morphologic Characteristics

abstract: Imaging flow cytometry shows significant potential for increasing our understanding of heterogeneous and complex life systems and is useful for biomedical applications. Ghost cytometry is a recently proposed approach for directly analyzing compressively measured signals, thereby relieving the computational bottleneck observed in high-throughput cytometry based on morphological information. While this image-free approach could distinguish different cell types using the same fluorescence staining method, further strict controls are sometimes required to clearly demonstrate that the classification is based on detailed morphologic analysis. In this study, we show that ghost cytometry can be used to classify cell populations of the same type but with different fluorescence distributions in space, supporting the strength of our image-free approach for morphologic cell analysis.


title: Imaging Black Holes and Jets with a VLBI Array Including Multiple Space-Based Telescopes

abstract: Very long baseline interferometry (VLBI) from the ground at millimeter wavelengths can resolve the black hole shadow around two supermassive black holes, Sagittarius A* and M87. The addition of modest telescopes in space would allow the combined array to produce higher-resolution, higher-fidelity images of these and other sources. This paper explores the potential benefits of adding orbital elements to the Event Horizon Telescope. We reconstruct model images using simulated data from arrays including telescopes in different orbits. We find that an array including one telescope near geostationary orbit and one in a high-inclination medium Earth or geosynchronous orbit can succesfully produce high-fidelity images capable of resolving shadows as small as 3 microarcseconds in diameter. One such key source, the Sombrero Galaxy, may be important to address questions regarding why some black holes launch powerful jets while others do not. Meanwhile, higher-resolution imaging of the substructure of M87 may clarify how jets are launched in the first place. The extra resolution provided by space VLBI will also improve studies of the collimation of jets from active galactic nuclei.


title: The fastest components in stellar jets

abstract: Young stars accrete mass from a circumstellar disk, but at the same time disk and star eject outflows and jets. These outflows have an onion-like structure where the innermost and fastest layers are surrounded by increasingly lower velocity components. The outer layers are probably photo-evaporative and magnetocentrifugally launched disk winds, but the nature of the inner winds is still uncertain. Since the fastest components carry only a small fraction of the mass, they are best observed at high-energies (X-ray and UV) as the slower, more massive components do not reach plasma temperatures sufficient for relevant X-ray or UV emission. Outflows are the most likely way in which a star or its disk can shed angular momentum and allow accretion to proceed; thus we cannot understand the accretion and the rotation rate of young stars if we cannot solve the origin of the inner jet components. Stellar jets share characteristics with their counterparts in more massive astrophysical objects, such as stellar mass black holes and AGN, with the added benefit that young stars are found at much closer distances and thus scales not accessible in other types of objects can be resolved. To understand the origin and impact of the inner jets, sub-arcsecond imaging and spectroscopy in the UV and X-rays is required, together with theory and modelling to interpret existing and future observations.


title: Bulk-Free Topological Insulator Bi2Se3 nanoribbons with Magnetotransport Signatures of Dirac Surface States

abstract: Many applications for topological insulators (TIs) as well as new phenomena require devices with reduced dimensions. While much progress has been made to realize thin films of TIs with low bulk carrier density, nanostructures have not yet been reported with similar properties, despite the fact that size confinement should help reduce contributions from bulk carriers. Here we demonstrate that Bi2Se3 nanoribbons, grown by a simple catalyst-free physical-vapour deposition, have inherently low bulk carrier densities, and can be further made bulk-free by size confinement, thus revealing the high mobility topological surface states. Magneto transport and Hall conductance measurements, in single nanoribbons, show that at thicknesses below 30nm the bulk transport is completely suppressed which is supported by self-consistent band-bending calculations. The results highlight the importance of material growth and geometrical confinement to properly exploit the unique properties of the topological surface states.


title: Nonmodular architectures of cognitive systems based on active inference

abstract: In psychology and neuroscience it is common to describe cognitive systems as input/output devices where perceptual and motor functions are implemented in a purely feedforward, open-loop fashion. On this view, perception and action are often seen as encapsulated modules with limited interaction between them. While embodied and enactive approaches to cognitive science have challenged the idealisation of the brain as an input/output device, we argue that even the more recent attempts to model systems using closed-loop architectures still heavily rely on a strong separation between motor and perceptual functions. Previously, we have suggested that the mainstream notion of modularity strongly resonates with the separation principle of control theory. In this work we present a minimal model of a sensorimotor loop implementing an architecture based on the separation principle. We link this to popular formulations of perception and action in the cognitive sciences, and show its limitations when, for instance, external forces are not modelled by an agent. These forces can be seen as variables that an agent cannot directly control, i.e., a perturbation from the environment or an interference caused by other agents. As an alternative approach inspired by embodied cognitive science, we then propose a nonmodular architecture based on the active inference framework. We demonstrate the robustness of this architecture to unknown external inputs and show that the mechanism with which this is achieved in linear models is equivalent to integral control.


title: Curvature as an integrable deformation

abstract: The generalization of (super)integrable Euclidean classical Hamiltonian systems to the two-dimensional sphere and the hyperbolic space by preserving their (super)integrability properties is reviewed. The constant Gaussian curvature of the underlying spaces is introduced as an explicit deformation parameter, thus allowing the construction of new integrable Hamiltonians in a unified geometric setting in which the Euclidean systems are obtained in the vanishing curvature limit. In particular, the constant curvature analogue of the generic anisotropic oscillator Hamiltonian is presented, and its superintegrability for commensurate frequencies is shown. As a second example, an integrable version of the H\'enon-Heiles system on the sphere and the hyperbolic plane is introduced. Projective Beltrami coordinates are shown to be helpful in this construction, and further applications of this approach are sketched


title: The GMS model with threshold extinction

abstract: We propose a variation of the GMS model of evolution of species. In this version, as in the GMS model, at each birth, the new species in the system is labeled with a random fitness mark, but in our variation, to each extinction event is associated a random threshold mark and all species with fitness lower than the threshold are removed from the system. We present necessary and suficient criteria for the recurrence and transience of the empty configuration of species; we show the existence of a long time limit distribution of species in the system, and present necessary and suficient criteria for the finiteness of the number of species in that distribution. There is a remarkable symmetry between both sets of criteria.


title: Investigating the dark matter signal in the cosmic ray antiproton flux with the machine learning method

abstract: We investigate the implications on the dark matter (DM) signal from the AMS-02 cosmic antiproton flux. Global fits to the data are performed under different propagation and hadronic interaction models. The uncertainties from the injection spectrum, propagation effects and solar modulation of the cosmic rays are taken into account comprehensively. Since we need to investigate extended parameter regions with multiple free parameters in the fit, the machine learning method is adopted to maintain a realistic time cost. We find all the effects considered in the fitting process interplay with each other, among which the hadronic interaction model is the most important factor affecting the result. In most hadronic interaction and CR propagation models no DM signal is found with significance larger than $2\sigma$ except that the EPOS-LHC interaction model requires a more than $3\sigma$ DM signal with DM mass around $1\,\mathrm{TeV}$. For the diffusive reacceleration propagation model there is a highly significant DM signal with mass around $100\,\mathrm{GeV}$. However, the signal becomes less than $1\sigma$ if we take a charge dependent solar modulation potential in the analysis.


title: An asymptotically superlinearly convergent semismooth Newton augmented Lagrangian method for Linear Programming

abstract: Powerful interior-point methods (IPM) based commercial solvers, such as Gurobi and Mosek, have been hugely successful in solving large-scale linear programming (LP) problems. The high efficiency of these solvers depends critically on the sparsity of the problem data and advanced matrix factorization techniques. For a large scale LP problem with data matrix $A$ that is dense (possibly structured) or whose corresponding normal matrix $AA^T$ has a dense Cholesky factor (even with re-ordering), these solvers may require excessive computational cost and/or extremely heavy memory usage in each interior-point iteration. Unfortunately, the natural remedy, i.e., the use of iterative methods based IPM solvers, although can avoid the explicit computation of the coefficient matrix and its factorization, is not practically viable due to the inherent extreme ill-conditioning of the large scale normal equation arising in each interior-point iteration. To provide a better alternative choice for solving large scale LPs with dense data or requiring expensive factorization of its normal equation, we propose a semismooth Newton based inexact proximal augmented Lagrangian ({\sc Snipal}) method. Different from classical IPMs, in each iteration of {\sc Snipal}, iterative methods can efficiently be used to solve simpler yet better conditioned semismooth Newton linear systems. Moreover, {\sc Snipal} not only enjoys a fast asymptotic superlinear convergence but is also proven to enjoy a finite termination property. Numerical comparisons with Gurobi have demonstrated encouraging potential of {\sc Snipal} for handling large-scale LP problems where the constraint matrix $A$ has a dense representation or $AA^T$ has a dense factorization even with an appropriate re-ordering.


title: Probability distributions with singularities

abstract: In this paper we review some general properties of probability distributions which exibit a singular behavior. After introducing the matter with several examples based on various models of statistical mechanics, we discuss, with the help of such paradigms, the underlying mathematical mechanism producing the singularity and other topics such as the condensation of fluctuations, the relationships with ordinary phase-transitions, the giant response associated to anomalous fluctuations, and the interplay with Fluctuation Relations.


title: Cost-effective Energy Monitoring of a Zynq-based Real-time System including dual Gigabit Ethernet

abstract: The ongoing integration of fine-grained power management features already established in CPU-driven Systems-on-Chip (SoCs) enables both traditional Field Programmable Gate Arrays (FPGAs) and, more recently, hybrid Programmable SoCs (pSoCs) to reach more energy-sensitive application domains (such as, e.g., automotive and robotics). By combining a fixed-function multi-core SoC with flexible, configurable FPGA fabric, the latter can be used to realize heterogeneous Real-time Systems (RTSs) commonly implementing complex application-specific architectures with high computation and communication (I/O) densities. Their dynamic changes in workload, currently active power saving features and thus power consumption require precise voltage and current sensing on all relevant supply rails to enable dependable evaluation of the various power management techniques. In this paper, we propose a low-cost 18-channel 16-bit-resolution measurement (sub-)system capable of 200 kSPS (kilo-samples per second) for instrumentation of current pSoC development boards. To this end, we join simultaneously sampling analog-to-digital converters (ADCs) and analog voltage/current sensing circuitry with a Cortex M7 microcontroller using an SD card for storage. In addition, we propose to include crucial I/O components such as Ethernet PHYs into the power monitoring to gain a holistic view on the RTS's temporal behavior covering not only computation on FPGA and CPUs, but also communication in terms of, e.g., reception of sensor values and transmission of actuation signals. We present an FMC-sized implementation of our measurement system combined with two Gigabit Ethernet PHYs and one HDMI input. Paired with Xilinx' ZC702 development board, we are able to synchronously acquire power traces of a Zynq pSoC and the two PHYs precise enough to identify individual Ethernet frames.


title: On subprojectivity of $C(K,X)$

abstract: We show that the Banach space $C(K,X)$ is subprojective if $K$ is scattered and $X$ is subprojective.


title: Anderson localisation in steady states of microcavity polaritons

abstract: We present an experimental signature of the Anderson localisation of microcavity polaritons, and provide a systematic study of the dependence on disorder strength. We reveal a controllable degree of localisation, as characterised by the inverse-participation ratio, by tuning the positional disorder of arrays of interacting mesas. This constitutes the realisation of disorder-induced localisation in a driven-dissipative system. In addition to being an ideal candidate for investigating localisation in this regime, microcavity polaritons hold promise for low-power, ultra-small devices and their localisation could be used as a resource in quantum memory and quantum information processing.


title: Determination of AdS Monopole Wall via Minimization

abstract: In this note we solve a minimization problem arising in a recent work of Bolognesi and Tong on the determination of an AdS monopole wall. We show that the problem has a unique solution. Although the solution cannot be obtained explicitly, we show that it may practically be constructed via a shooting method for which the correct shooting slope is unique. We also obtain some energy estimates which allow an asymptotic explicit determination of the monopole wall in a large coupling parameter limit.


title: Homotopy regularization for a high-order parabolic equation

abstract: In this work we study the solvability of the Cauchy Problem for a quasilinear degenerate high-order parabolic equation \begin{equation*} \left\{ \begin{tabular}{lcl} $u_t=(-1)^{m-1}\nabla\cdot(f^n(|u|)\nabla\Delta^{m-1}u)$ & &in $\mathbb{R}^N\times\mathbb{R}_+$, $u(x,0)=u_0(x)$& & in $\mathbb{R}^N$, \end{tabular} \right. \end{equation*} with $m\in\mathbb{N},\ m>1$ and $n>0$ a fixed exponent. Moreover, $f$ is a continuous monotone increasing positive bounded function with $f(0)=0$ and the initial data $u_0(x)$ is bounded smooth and compactly supported. Thus, through an homotopy argument based on an analytic $\varepsilon$-regularization of the degenerate term $f^n(|u|)$ we are able to extract information about the solutions inherited from the polyharmonic equation when $n=0$.


title: Construction of a solution for the two-component radial Gross-Pitaevskii system with a large coupling parameter

abstract: We consider strongly coupled competitive elliptic systems that arise in the study of two-component Bose-Einstein condensates. As the coupling parameter tends to infinity, solutions that remain uniformly bounded are known to converge to a segregated limiting profile, with the difference of its components satisfying a limit scalar PDE. In the case of radial symmetry, under natural non-degeneracy assumptions on a solution of the limit problem, we establish by a perturbation argument its persistence as a solution to the elliptic system.