title: Cold electrons at comet 67P/Churyumov-Gerasimenko

abstract: The electron temperature of the plasma is one important aspect of the environment. Electrons created by photoionization or impact ionization of atmospheric gas have energies $\sim$10 eV. In an active comet coma, the gas density is high enough for rapid cooling of the electron gas to the neutral gas temperature (a few hundred kelvin). How cooling evolves in less active comets has not been studied before. Aims. We aim to investigate how electron cooling varied as comet 67P/Churyumov-Gerasimenko changed its activity by three orders of magnitude during the Rosetta mission. We used in situ data from the Rosetta plasma and neutral gas sensors. By combining Langmuir probe bias voltage sweeps and mutual impedance probe measurements, we determined at which time cold electrons formed at least 25\% of the total electron density. We compared the results to what is expected from simple models of electron cooling, using the observed neutral gas density as input. We demonstrate that the slope of the Langmuir probe sweep can be used as a proxy for the presence of cold electrons. We show statistics of cold electron observations over the two-year mission period. We find cold electrons at lower activity than expected by a simple model based on free radial expansion and continuous loss of electron energy. Cold electrons are seen mainly when the gas density indicates that an exobase may have formed. Collisional cooling of electrons following a radial outward path is not sufficient to explain the observations. We suggest that the ambipolar electric field keeps electrons in the inner coma for a much longer time, giving them time to dissipate energy by collisions with the neutrals. We conclude that better models are required to describe the plasma environment of comets. They need to include at least two populations of electrons and the ambipolar field.


title: Requirements for Ethereum Private Sidechains

abstract: The Enterprise Ethereum Client Specification by the Enterprise Ethereum Alliance defines the requirements which Ethereum Clients offering private smart contract capabilities should comply with. This specification though ground breaking, misses some important blockchain requirements and does not fully consider the requirements of Ethereum Clients offering Private Sidechain capabilities. This paper presents the case for Private Sidechains and defines requirements to be complied with to deliver this technology. The capabilities of three blockchain clients have been analysed based on the requirements: Quorum, Parity, and Hyperledger Fabric. Quorum and Hyperledger Fabric operate as private consortium blockchains where as Parity delivers private transaction capabilities on top of Ethereum MainNet. These differing approaches has led to different strengths and weaknesses which has resulted in each client not complying with one or more key requirement. In particular, none of the reviewed blockchain clients support the ability to determine bootstrap information to establish on-demand blockchains and none of the clients support secure management and pinning from Ethereum MainNet. This paper presents Ethereum Private Sidechains and a range of technologies which allow it to deliver on complex sidechain requirements. Ethereum Registration Authorities are presented, which allow entities which have not previously interacted to securely obtain information to bootstrap a sidechain, and a Management and Pinning strategy is described which allows the state of a sidechain to be securely pinned to Ethereum MainNet without compromising privacy.


title: Graph-to-Sequence Learning using Gated Graph Neural Networks

abstract: Many NLP applications can be framed as a graph-to-sequence learning problem. Previous work proposing neural architectures on this setting obtained promising results compared to grammar-based approaches but still rely on linearisation heuristics and/or standard recurrent networks to achieve the best performance. In this work, we propose a new model that encodes the full structural information contained in the graph. Our architecture couples the recently proposed Gated Graph Neural Networks with an input transformation that allows nodes and edges to have their own hidden representations, while tackling the parameter explosion problem present in previous work. Experimental results show that our model outperforms strong baselines in generation from AMR graphs and syntax-based neural machine translation.


title: Virtual Carrier Sensing Based Random Access in Massive MIMO Systems

abstract: The 5th generation mobile communication systems aim to support massive access for future wireless applications. Unfortunately, wireless resource scarcity in random access (RA) is a fundamental bottleneck for enabling massive access. To address this problem, we propose a virtual carrier sensing (VCS) based RA scheme in massive MIMO systems. The essence of the proposed scheme lies in exploiting wireless spatial resources of uplink channels occupied by assigned user equipments (UEs) to increase channel resources for RA. With the proposed scheme, RA UEs are able to exploit the spatial resources that are approximately orthogonal to those of assigned UEs, thus sharing the uplink channel resource with assigned UEs without causing significant interference to them. Specifically, to ensure RA UEs avoid serious interference with assigned UEs, base station (BS) sends tailored virtual carriers to RA UEs on behalf of assigned UEs. RA UEs then conduct VCS to determine whether or not the uplink channel resource is available for RA. Closed-form approximations for probability of channel availability and uplink achievable rate with the proposed scheme are derived. Theoretical analysis and simulation results show that the proposed scheme is able to significantly increase channel resources of RA for massive access.


title: Rigidly Rotating String Sticking in a Kerr Black Hole

abstract: We analyze rigidly rotating Nambu--Goto strings in the Kerr spacetime, particularly focusing on the strings sticking in the horizon. From the regularity on the horizon, we find the condition for sticking in the horizon, which is consistent with the second law of the black hole thermodynamics. Energy extraction through the sticking string from a Kerr black hole occurs. We obtain the maximum value of the luminosity of the energy extraction.


title: Heat switch and thermoelectric effects based on Cooper-pair splitting and elastic cotunneling

abstract: In this paper, we demonstrate that the hybrid normal-superconducting-normal (NSN) structure has potential for a multifunctional thermal device which could serve for heat flux control and cooling of microstructures. By adopting the scattering matrix approach, we theoretically investigate thermal and electrical effects emerging in such structures due to the Cooper pair splitting (CPS) and elastic cotunneling phenomena. We show that a finite superconductor can, in principle, mediate heat flow between normal leads, and we further clarify special cases when this seems contradictory to the second law of thermodynamics. Among other things, we demonstrate that the CPS phenomenon can appear even in the simple case of a ballistic NSN structure.


title: Traceable instruments for encircled angular flux measurements

abstract: We report on the development of an instrument for the measurement of the Encircled Angular Flux (EAF) and on establishing its metrological traceability at the required level of uncertainty. We designed and built for that purpose two independent EAF measuring instruments, both based on the analysis of the two-dimensional far field intensity profile observed at the output of an optical fibre, using either CMOS or CCD cameras. An in depth evaluation of the factors influencing the accuracy of the measurements was performed and allowed determining an uncertainty budget for EAF measurements, which was validated by a first series of inter-comparisons. Theses comparisons were performed between the two independent EAF measuring systems, using a 850 nm LED coupled into a gradient index fibre as a test object. We demonstrated a very good equivalence between the two systems, well within the absolute measurement uncertainties that were estimated at the 10-3 level. Further inter-comparisons using light sources coupled to step-index, large core and small core multimode fibres are still ongoing, with the aim to confirm the performances of the instrument under various illuminating conditions.


title: Transmission Delay Minimization in Wireless Powered Communication Systems

abstract: We study transmission delay minimization of a wireless powered communication (WPC) system in a point-to-point scenario with one hybrid access point (HAP) and one WPC node. In this type of communications, the HAP sends energy to the node at the downlink (DL) for a given time duration and the WPC node harvests enough radio frequency (RF) power. Then, at the uplink (UL) channel, the WPC node transmits its collected data in a given time duration to the HAP. Minimizing such round trip delay is our concern here. So, we have defined four optimization problems to minimize this delay by applying the optimal DL and UL time durations and also the optimal power at the HAP. These optimization problems are investigated here with thorough comparison of the obtained results. After that, we extend our study to the multiuser case with one HAP and $K$ nodes and two different optimization problems are studied again in these cases.


title: Multiple singularities of the equilibrium free energy in a one-dimensional model of soft rods

abstract: There is a misconception, widely shared amongst physicists, that the equilibrium free energy of a one-dimensional classical model with strictly finite-ranged interactions, and at non-zero temperatures, can not show any singularities as a function of the coupling constants. In this Letter, we discuss an instructive counter-example. We consider thin rigid linear rods of equal length $2 \ell$ whose centers lie on a one-dimensional lattice, of lattice spacing $a$. The interaction between rods is a soft-core interaction, having a finite energy $U$ per overlap of rods. We show that the equilibrium free energy per rod $\mathcal{F}(\tfrac{\ell}{a}, \beta)$, at inverse temperature $\beta$, has an infinite number of singularities, as a function of $\tfrac{\ell}{a}$.


title: Quadratic Decomposable Submodular Function Minimization

abstract: We introduce a new convex optimization problem, termed quadratic decomposable submodular function minimization. The problem is closely related to decomposable submodular function minimization and arises in many learning on graphs and hypergraphs settings, such as graph-based semi-supervised learning and PageRank. We approach the problem via a new dual strategy and describe an objective that may be optimized via random coordinate descent (RCD) methods and projections onto cones. We also establish the linear convergence rate of the RCD algorithm and develop efficient projection algorithms with provable performance guarantees. Numerical experiments in semi-supervised learning on hypergraphs confirm the efficiency of the proposed algorithm and demonstrate the significant improvements in prediction accuracy with respect to state-of-the-art methods.


title: Outage Probability of UAV Communications in the Presence of Interference

abstract: Unlike terrestrial communications, unmanned aerial vehicle (UAV) communications have some advantages such as line-of-sight (LoS) environment and flexible mobility, but the interference will be still inevitable. In this paper, we analyze the effect of interference on the UAV communications by considering the LoS probability and different channel fadings for LoS and non-line-of-sight (NLoS) links, affected by the elevation angle of communication link. We then derive a closed-form outage probability in the presence of interfering node for all the possible scenarios and environments of main and interference links. After discussing the impacts of transmitting and interfering node parameters on the outage probability, we show the existence of the optimal height of UAV that minimizes the outage probability. We also show NLoS environment can be better than LoS environment if the average received power of interference is more dominant than that of transmitting signal in UAV communications.


title: Performance Analysis for Multi-layer Unmanned Aerial Vehicle Networks

abstract: In this paper, we provide the model of the multilayer aerial network (MAN), composed unmanned aerial vehicles (UAVs) that distributed in Poisson point process (PPP) with different densities, heights, and transmission power. In our model, we consider the line of sight (LoS) and non-line of sight (NLoS) channels which is probabilistically formed. We firstly derive the probability distribution function (PDF) of the main link distance and the Laplace transform of interference of MAN considering strongest average received power-based association. We then analyze the successful transmission probability (STP) of the MAN and provide the upper bound of the optimal density that maximizes the STP of the MAN. Through the numerical results, we show the existence of the optimal height of UAV due to a performance tradeoff caused by the height of the aerial network (AN), and also show the upper bounds of the optimal densities in terms of the STP, which decrease with the height of the ANs.


title: Testing General Relativity with X-ray Reflection Spectroscopy of a 'Bare' Active Galactic Nucleus

abstract: Einstein's gravity has been extensively tested in the weak field regime, primarily with experiments in the Solar System and observations of binary pulsars, and current data agree well with theoretical predictions. On the other hand, strong gravity is largely unexplored and there are a number of theories beyond Einstein's gravity that make the same predictions for weak fields and present deviations only when gravity becomes strong. The best laboratory for testing strong gravity is the spacetime around astrophysical black holes. X-ray reflection spectroscopy can be a powerful tool to probe the strong gravity region around astrophysical black holes and test the nature of these objects. In this paper, we will introduce RELXILL_NK, which is the first XSPEC reflection model to test Einstein's gravity in the strong field regime, and we will present the constraints on possible deviations from Einstein's gravity that we have obtained by analyzing Suzaku data of Ark 564.


title: System Design in the Era of IoT --- Meeting the Autonomy Challenge

abstract: The advent of IoT is a great opportunity to reinvigorate Computing by focusing on autonomous system design. This certainly raises technology questions but, more importantly, it requires building new foundation that will systematically integrate the innovative results needed to face increasing environment and mission complexity. A key idea is to compensate the lack of human intervention by adaptive control. This is instrumental for system resilience: it allows both coping with uncertainty and managing mixed criticality services. Our proposal for knowledge-based design seeks a compromise: preserving rigorousness despite the fact that essential properties cannot be guaranteed at design time. It makes knowledge generation and application a primary concern and aims to fully and seamlessly incorporate the adaptive control paradigm in system architecture.


title: The Communication Cost of Information Spreading in Dynamic Networks

abstract: This paper investigates the message complexity of distributed information spreading (a.k.a gossip or token dissemination) in adversarial dynamic networks, where the goal is to spread $k$ tokens of information to every node on an $n$-node network. We consider the amortized (average) message complexity of spreading a token, assuming that the number of tokens is large. Our focus is on token-forwarding algorithms, which do not manipulate tokens in any way other than storing, copying, and forwarding them. We consider two types of adversaries that arbitrarily rewire the network while keeping it connected: the adaptive adversary that is aware of the status of all the nodes and the algorithm (including the current random choices), and the oblivious adversary that is oblivious to the random choices made by the algorithm. The central question that motivates our work is whether one can achieve subquadratic amortized message complexity for information spreading. We present two sets of results depending on how nodes send messages to their neighbors: (1) Local broadcast: We show a tight lower bound of $\Omega(n^2)$ on the number of amortized local broadcasts, which is matched by the naive flooding algorithm, (2) Unicast: We study the message complexity as a function of the number of dynamic changes in the network. To facilitate this, we introduce a natural complexity measure for analyzing dynamic networks called adversary-competitive message complexity where the adversary pays a unit cost for every topological change. Under this model, it is shown that if $k$ is sufficiently large, we can obtain an optimal amortized message complexity of $O(n)$. We also present a randomized algorithm that achieves subquadratic amortized message complexity when the number of tokens is not large under an oblivious adversary.


title: Formal Verification of Usage Control Models: A Case Study of UseCON Using TLA+

abstract: Usage control models provide an integration of access control, digital rights, and trust management. To achieve this integration, usage control models support additional concepts such as attribute mutability and continuity of decision. However, these concepts may introduce an additional level of complexity to the underlying model, rendering its definition a cumbersome and prone to errors process. Applying a formal verification technique allows for a rigorous analysis of the interactions amongst the components, and thus for formal guarantees in respect of the correctness of a model. In this paper, we elaborate on a case study, where we express the high-level functional model of the UseCON usage control model in the TLA+ formal specification language, and verify its correctness for <=12 uses in both of its supporting authorisation models.


title: SENSE: Abstraction-Based Synthesis of Networked Control Systems

abstract: While many studies and tools target the basic stabilizability problem of networked control systems (NCS), nowadays modern systems require more sophisticated objectives such as those expressed as formulae in linear temporal logic or as automata on infinite strings. One general technique to achieve this is based on so-called symbolic models, where complex systems are approximated by finite abstractions, and then, correct-by-construction controllers are automatically synthesized for them. We present tool SENSE for the construction of finite abstractions for NCS and the automated synthesis of controllers. Constructed controllers enforce complex specifications over plants in NCS by taking into account several non-idealities of the communication channels. Given a symbolic model of the plant and network parameters, SENSE can efficiently construct a symbolic model of the NCS, by employing operations on binary decision diagrams (BDDs). Then, it synthesizes symbolic controllers satisfying a class of specifications. It has interfaces for the simulation and the visualization of the resulting closed-loop systems using OMNETPP and MATLAB. Additionally, SENSE can generate ready-to-implement VHDL/Verilog or C/C++ codes from the synthesized controllers.


title: Process Network Models for Embedded System Design Based on the Real-Time BIP Execution Engine

abstract: Existing model-based processes for embedded real-time systems support the analysis of various non-functional properties, most notably schedulability, through model checking, simulation or other means. The analysis results are then used for modifying the system's design, so that the expected properties are satisfied. A rigorous model-based design flow differs in that it aims at a system implementation derived from high-level models by applying a sequence of semantics-preserving transformations. Properties established at any design step are preserved throughout the subsequent steps including the executable implementation. We introduce such a design flow using a process network model of computation for application design at a high level, which combines streaming and reactive control processing with task parallelism. The schedulability of the so-called FPPNs (Fixed Priority Process Networks) is well-studied and various solutions have been presented. This article focuses on the design flow's steps for deriving executable implementations on the BIP (Behavior - Interaction - Priority) runtime environment. FPPNs are designed using the TASTE toolset, a convenient architecture description interface. In this way, the developers do not program explicitly low-level real-time OS services and the schedulability properties are guaranteed throughout the design steps by construction. The approach has been validated on the design of a real spacecraft on-board application that has been scheduled for execution on an industrial multicore platform.


title: Verification of Shared-Reading Synchronisers

abstract: Synchronisation classes are an important building block for shared memory concurrent programs. Thus to reason about such programs, it is important to be able to verify the implementation of these synchronisation classes, considering atomic operations as the synchronisation primitives on which the implementations are built. For synchronisation classes controlling exclusive access to a shared resource, such as locks, a technique has been proposed to reason about their behaviour. This paper proposes a technique to verify implementations of both exclusive access and shared-reading synchronisers. We use permission-based Separation Logic to describe the behaviour of the main atomic operations, and the basis for our technique is formed by a specification for class AtomicInteger, which is commonly used to implement synchronisation classes in java.util.concurrent. To demonstrate the applicability of our approach, we mechanically verify the implementation of various synchronisation classes like Semaphore, CountDownLatch and Lock.


title: Treo: Textual Syntax for Reo Connectors

abstract: Reo is an interaction-centric model of concurrency for compositional specification of communication and coordination protocols. Formal verification tools exist to ensure correctness and compliance of protocols specified in Reo, which can readily be (re)used in different applications, or composed into more complex protocols. Recent benchmarks show that compiling such high-level Reo specifications produces executable code that can compete with or even beat the performance of hand-crafted programs written in languages such as C or Java using conventional concurrency constructs. The original declarative graphical syntax of Reo does not support intuitive constructs for parameter passing, iteration, recursion, or conditional specification. This shortcoming hinders Reo's uptake in large-scale practical applications. Although a number of Reo-inspired syntax alternatives have appeared in the past, none of them follows the primary design principles of Reo: a) declarative specification; b) all channel types and their sorts are user-defined; and c) channels compose via shared nodes. In this paper, we offer a textual syntax for Reo that respects these principles and supports flexible parameter passing, iteration, recursion, and conditional specification. In on-going work, we use this textual syntax to compile Reo into target languages such as Java, Promela, and Maude.


title: Large off-shell effects in the $\bar{D}^*$ contribution to $B \to \bar{D} \pi \pi$ and $B \to \bar{D} \pi \bar{\ell} \nu_{\ell}$ decays.}}

abstract: We stress that, although the $D^*$ is very narrow (one hundred of keV), the difference between the full $D^*$ contribution to $B \to \bar{D} \pi \pi$ and its zero width limit, which stems from the resonance tail, is surprisingly large~: several percents. This phenomenon is a general effect which appears when considering the production of particles that are coupled to an intermediate virtual state, stable or not, and it persists whether the width is large or not. The effects of various cuts and of the inclusion of damping factors at the strong and weak vertices are discussed. It is shown how the zero width limit, needed to compare with theoretical expectations, can be extracted. One also evaluates the virtual $D^*_V$ contribution, which comes out roughly as expected from theory, but which is however much more dependent on cuts and uncontrollable "off-shell" effects. We suggest a way to estimate the impact of the damping factors.


title: Hankel operators induced by radial Bekoll\'e-Bonami weights on Bergman spaces

abstract: We study big Hankel operators $H_f^\nu:A^p_\omega \to L^q_\nu$ generated by radial Bekoll\'e-Bonami weights $\nu$, when $1<p\leq q<\infty$. Here the radial weight $\omega$ is assumed to satisfy a two-sided doubling condition, and $A^p_\omega$ denotes the corresponding weighted Bergman space. A characterization for simultaneous boundedness of $H_f^\nu$ and $H_{\overline{f}}^\nu$ is provided in terms of a general weighted mean oscillation. Compared to the case of standard weights that was recently obtained by Pau, Zhao and Zhu (Indiana Univ. Math. J. 2016), the respective spaces depend on the weights $\omega$ and $\nu$ in an essentially stronger sense. This makes our analysis deviate from the blueprint of this more classical setting. As a consequence of our main result, we also study the case of anti-analytic symbols.


title: An origami of genus $3$ with arithmetic Kontsevich--Zorich monodromy

abstract: In this note, we exploit the arithmeticity criterion of Benoist--Miquel to exhibit an origami in the principal stratum of the moduli space of translation surfaces of genus three whose Kontsevich--Zorich monodromy is not thin in the sense of Sarnak.


title: Dropout-based Active Learning for Regression

abstract: Active learning is relevant and challenging for high-dimensional regression models when the annotation of the samples is expensive. Yet most of the existing sampling methods cannot be applied to large-scale problems, consuming too much time for data processing. In this paper, we propose a fast active learning algorithm for regression, tailored for neural network models. It is based on uncertainty estimation from stochastic dropout output of the network. Experiments on both synthetic and real-world datasets show comparable or better performance (depending on the accuracy metric) as compared to the baselines. This approach can be generalized to other deep learning architectures. It can be used to systematically improve a machine-learning model as it offers a computationally efficient way of sampling additional data.


title: Detecting the Beaming Effect of Gravitational Waves

abstract: The models currently used in the detection of gravitational waves (GWs) either do not consider a relative motion between the center-of-mass of the source and the observer, or usually only consider its effect on the frequencies of GWs. However, it is known for light waves that a relative motion not only changes the frequencies but also the brightness of the source, the latter of which is called the `beaming effect'. Here we investigate such an effect for GWs and find that the observed amplitude of a GW signal, unlike the behavior of light, is not a monotonic function of the relative velocity and responds differently to the two GW polarizations. We attribute the difference to a rotation of the wave-vector, as well as a reorientation of the GW polarizations. We find that even for velocities as small as $0.25\%$ of the speed of light, ignoring the aforementioned beaming effect could induce a systematic error that is larger than the designated calibration accuracy of LIGO. This error could lead to an incorrect estimation of the distance and orbital inclination of a GW source, or result in a spurious signal that appears to be incompatible with general relativity.


title: Horizon thermodynamics in $f(R)$ theory

abstract: We investigate whether the new horizon first law proposed recently still work in $f(R)$ theory. We identify the entropy and the energy of black hole as quantities proportional to the corresponding value of integration, supported by the fact that the new horizon first law holds true as a consequence of equations of motion in $f(R)$ theories. The formulas for the entropy and energy of black hole found here are in agreement with the results obtained in literatures. For applications, some nontrivial black hole solutions in $f(R)$ theories have been considered, the entropies and the energies of black holes in these models are firstly computed, which may be useful for future researches.


title: Charge-then-Forward: Wireless Powered Communication for Multiuser Relay Networks

abstract: This paper studies a relay-assisted wireless powered communication network (R-WPCN) consisting of multiple source-destination pairs and a hybrid relay node (HRN). We consider a "charge-then-forward" protocol at the HRN, in which the HRN with constant energy supply first acts as an energy transmitter to charge the sources, and then forwards the information from the sources to their destinations through time division multiple access (TDMA) or frequency division multiple access (FDMA). Processing costs at the wireless-powered sources are taken into account. Our goal is to maximize the sum-rate of all transmission pairs by jointly optimizing the time, frequency and power resources. The formulated optimization problems for both TDMA and FDMA are non-convex. For the TDMA scheme, by appropriate transformation, the problem is reformulated as a convex problem and be optimally solved. For the FDMA case, we find the asymptotically optimal solution in the dual domain. Furthermore, suboptimal algorithms are proposed for both schemes to tradeoff the complexity and performance. Finally, the simulation results validate the effectiveness of the proposed schemes.


title: Multi-Task Deep Convolutional Neural Network for the Segmentation of Type B Aortic Dissection

abstract: Segmentation of the entire aorta and true-false lumen is crucial to inform plan and follow-up for endovascular repair of the rare yet life threatening type B aortic dissection. Manual segmentation by slice is time-consuming and requires expertise, while current computer-aided methods focus on the segmentation of the entire aorta, are unable to concurrently segment true-false lumen, and some require human interaction. We here report a fully automated approach based on a 3-D multi-task deep convolutional neural network that segments the entire aorta and true-false lumen from CTA images in a unified framework. For training, we built a database containing 254 CTA images (210 preoperative and 44 postoperative) obtained using various systems from 254 unique patients with type B aortic dissection. Slice-wise manual segmentation of the entire aorta and the true-false lumen for each 3-D CTA image was provided. Upon evaluation of another 16 CTA images (11 preoperative and 5 postoperative) with ground truth segmentation provided by experienced vascular surgeons, our method achieves a mean dice similarity score(DSC) of 0.910,0.849 and 0.821 for the entire aorta,true lumen and false lumen respectively.


title: The importance of ensemble techniques for operational space weather forecasting

abstract: The space weather community has begun to use frontier methods such as data assimilation, machine learning, and ensemble modeling to advance current operational forecasting efforts. This was highlighted by a multi-disciplinary session at the 2017 American Geophysical Union Meeting, 'Frontier Solar-Terrestrial Science Enabled by the Combination of Data-Driven Techniques and Physics-Based Understanding', with considerable discussion surrounding ensemble techniques. Here ensemble methods are described in detail; using a set of predictions to improve on a single-model output, for example taking a simple average of multiple models, or using more complex techniques for data assimilation. They have been used extensively in fields such as numerical weather prediction and data science, for both improving model accuracy and providing a measure of model uncertainty. Researchers in the space weather community have found them to be similarly useful, and some examples of success stories are highlighted in this commentary. Future developments are also encouraged to transition these basic research efforts to operational forecasting as well as providing prediction errors to aid end-user understanding.


title: On the Rheology of Newtonian Single-Phase Multicomponent Mixtures

abstract: In the turbulent boundary layer of multicomponent fluid mixtures, the species-specific mass flux is determined by the combination of turbulent-diffusiophoretic diffusion and diffusion due to gradients in supplementary fields (e.g. temperature). For inert mixtures, a balance must exist between all the diffusive transport mechanisms so that the net diffusive mass flux normal to the wall is zero everywhere. This may require non-constant composition profiles. Implications are discussed, and mathematical modelling is employed to demonstrate how this may affect fluid property profiles, wall heat flux, and wall shear stress in a Newtonian ternary gas mixture ($H_2 + N_2 + CO_2$) subject to a temperature gradient.


title: Ionic-liquid-gating setup for stable measurements and reduced electronic inhomogeneity at low temperatures

abstract: The ionic-liquid-gating technique can be applied to the search for novel physical phenomena at low temperatures because of its wide controllability of the charge carrier density. Ionic-liquid gated field-effect transistors are often fragile upon cooling, however, because of the large difference between the thermal expansion coefficients of frozen ionic liquids and solid target materials. In this paper, we provide a practical technique for setting up ionic-liquid-gated field-effect transistors for low-temperature measurements. It allows stable measurements and reduces the electronic inhomogeneity by reducing the shear strain generated in frozen ionic liquid.


title: Period-doubling route to chaos in driven impulsive systems

abstract: In the present study, we investigate the dynamics of impulsive differential equations driven by a chaotic system. We rigorously prove that, likewise the drive, the response impulsive system is also chaotic. Our results are based on the presence of sensitivity and infinitely many unstable periodic motions. The theoretical results are supported by simulations.


title: Towards the Distributed Burning Regime in Turbulent Premixed Flames

abstract: Three-dimensional numerical simulations of canonical statistically-steady statistically-planar turbulent flames have been used in an attempt to produce distributed burning in lean methane and hydrogen flames. Dilatation across the flame means that extremely large Karlovitz numbers are required; even at the extreme levels of turbulence studied (up to a Karlovitz number of 8767) distributed burning was only achieved in the hydrogen case. In this case, turbulence was found to broaden the reaction zone visually by around an order of magnitude, and thermodiffusive effects (typically present for lean hydrogen flames) were not observed. In the preheat zone, the species compositions differ considerably from those of one-dimensional flames based a number of different transport models (mixture-averaged, unity Lewis number, and a turbulent eddy viscosity model). The behaviour is a characteristic of turbulence dominating non-unity Lewis number species transport, and the distinct limit is again attributed to dilatation and its effect on the turbulence. Peak local reaction rates are found to be lower in the distributed case than in the lower Karlovitz cases but higher than in the laminar flame, which is attributed to effects that arise from the modified fuel-temperature distribution that results from turbulent mixing dominating low Lewis number thermodiffusive effects. Finally, approaches to achieve distributed burning at realisable conditions are discussed; factors that increase the likelihood of realising distributed burning are higher pressure, lower equivalence ratio, higher Lewis number, and lower reactant temperature.


title: Long-term stock index forecasting based on text mining of regulatory disclosures

abstract: Share valuations are known to adjust to new information entering the market, such as regulatory disclosures. We study whether the language of such news items can improve short-term and especially long-term (24 months) forecasts of stock indices. For this purpose, this work utilizes predictive models suited to high-dimensional data and specifically compares techniques for data-driven and knowledge-driven dimensionality reduction in order to avoid overfitting. Our experiments, based on 75,927 ad hoc announcements from 1996-2016, reveal the following results: in the long run, text-based models succeed in reducing forecast errors below baseline predictions from historic lags at a statistically significant level. Our research provides implications to business applications of decision-support in financial markets, especially given the growing prevalence of index ETFs (exchange traded funds).


title: Use of full-scale hybrid horizontal tubular photobioreactors to process agricultural runoff

abstract: Diffuse pollution in rural areas due to agricultural run-off is a widespread and difficult problem to address due to the vast areas affected. Drainage channels do receive these polluted waters, but its introduction in the conventional treatment network is unfeasible. Within this context, microalgae-based treatment systems could be used as alternative treatment plants. In this study, a new design of semi-closed (hybrid) tubular horizontal photobioreactor (HTH-PBR) with low energy requirements has been evaluated for microalgae cultivation at full-scale (8.5 m3), using agricultural runoff as feedstock. This novel system was tested in batch and continuous mode during a total of 4 and 135 days. Considering a full-scale application in an agricultural context, a batch test was carried out to evaluate the performance of the system. An increase of 22% in the biomass concentration in 4 days was registered, and all nutrients were consumed during the first two days. In the continuous experiment (December- April), a productivity between 2-14 g TSS/m3d was reached in winter, whereas values up to 76.4 g TSS/m3d were reached at the end of the study in spring, despite the low nutrients concentration in the feedstock. The elimination of emerging contaminants was also evaluated, obtaining the highest removals for the fragrances tonalide and galaxolide (73% and 68%), and the antiinflamatory diclofenac (61%).


title: Local Well-posedness of Strong Solutions to the Three-dimensional Compressible Primitive Equations

abstract: This work is devoted to establishing the local-in-time well-posedness of strong solutions to the three-dimensional compressible primitive equations of atmospheric dynamics. It is shown that strong solutions exist, unique, and depend continuously on the initial data, for a short time in two cases: with gravity but without vacuum, and with vacuum but without gravity. We also introduce the free boundary problem for the compressible primitive equations.


title: New extension constructions of optimal frequency hopping sequence sets

abstract: In this paper, a general framework of constructing optimal frequency hopping sequence (FHS) sets is presented based on the designated direct product. Under the framework, we obtain infinitely many new optimal FHS sets by combining a family of sequences that are newly constructed in this paper with some known optimal FHS sets. Our constructions of optimal FHS sets are also based on extension method. However, our constructions remove the constraint requiring that the extension factor is co-prime with the length of original FHSs and get new parameters. In literature, most of the extension constructions suffer from this constraint. As a result, our constructions allow a great flexibility of choosing parameters of FHS sets for a given frequency-hopping spread spectrum system.


title: Adaptive Resolution Molecular Dynamics Technique: Down to the Essential

abstract: We investigate the role of the thermodynamic (TD) force, as an essential and sufficient technical ingredient for an efficient and accurate adaptive resolution algorithm. Such a force applied in the coupling region of an adaptive resolution Molecular Dynamics (MD) set-up, assures thermodynamic equilibrium between atomistically resolved and coarse-grained regions, allowing the proper exchange of molecules. We numerically prove that indeed for systems as relevant as liquid water and 1,3-dimethylimidazolium chloride ionic liquid, the combined action of the TD force and thermostat allows for computationally efficient and numerically accurate simulations, beyond the current capabilities of adaptive resolution set-ups, which employ switching functions in the coupling region.

categories: physics.comp-ph cond-mat.mes-hall cond-mat.soft cond-mat.stat-mech physics.chem-ph


title: Quasi-Newton approaches to Interior Point Methods for quadratic problems

abstract: Interior Point Methods (IPM) rely on the Newton method for solving systems of nonlinear equations. Solving the linear systems which arise from this approach is the most computationally expensive task of an interior point iteration. If, due to problem's inner structure, there are special techniques for efficiently solving linear systems, IPMs enjoy fast convergence and are able to solve large scale optimization problems. It is tempting to try to replace the Newton method by quasi-Newton methods. Quasi-Newton approaches to IPMs either are built to approximate the Lagrangian function for nonlinear programming problems or provide an inexpensive preconditioner. In this work we study the impact of using quasi-Newton methods applied directly to the nonlinear system of equations for general quadratic programming problems. The cost of each iteration can be compared to the cost of computing correctors in a usual interior point iteration. Numerical experiments show that the new approach is able to reduce the overall number of matrix factorizations and is suitable for a matrix-free implementation.


title: Critical acoustics and singular bulk viscosity of quark matter

abstract: We examine the behavior of sound attenuation and bulk viscosity near the 2'nd order QCD phase transition at finite density. A dynamical model is presented describing the coupled evolution of sound mode and a slow mode of fluctuations.


title: Temperature-reflection II: Modular Invariance and T-reflection

abstract: In this paper, we present robust evidence that general finite temperature quantum field theory (QFT) path integrals are invariant under reflecting temperatures to negative values (T-reflection), up to a possible anomaly phase. Our main focus is on two-dimensional conformal field theories (2d CFTs) on the two-torus. Modular invariance for 2d CFT path integrals follows from demanding invariance under redundant encodings of the two-torus shape in the path integral. We emphasize that identical logic implies 2d CFTs are invariant under T-reflection, up to phases. We compute T-reflection anomaly phases for certain 2d CFT path integrals via a continuation, and via an extension of modular forms from the upper half-plane to the double half-plane. Crucially, they perfectly agree. Requiring QFT path integrals to be invariant under redundant encodings of the spacetime geometry implies (i) that 2d CFTs are both modular and T-reflection invariant and (ii) that general QFT path integrals are invariant under T-reflection. This quite board argument suggests T-reflection phases may indicate previously unnoticed anomalies and consistency conditions for general QFT.


title: L-functions for Meromorphic Modular Forms and Sum Rules in Conformal Field Theory

abstract: We define L-functions for meromorphic modular forms that are regular at cusps, and use them to: (i) find new relationships between Hurwitz class numbers and traces of singular moduli, (ii) establish predictions from the physics of T-reflection, and (iii) express central charges in two-dimensional conformal field theories (2d CFT) as a literal sum over the states in the CFTs spectrum. When a modular form has an order-$p$ pole away from cusps, its $q$-series coefficients grow as $n^{p-1} e^{2 \pi n t}$ for $t \geq \sqrt{3}/2$. Its L-function must be regularized. We define such L-functions by a deformed Mellin transform. We study the L-functions of logarithmic derivatives of modular forms.L-functions of logarithmic derivatives of Borcherds products reveal a new relationship between Hurwitz class numbers and traces of singular moduli. If we can write 2d CFT path integrals as infinite products, our L-functions confirm T-reflection predictions and relate central charges to regularized sums over the states in a CFTs spectrum. Equating central charges, which are a proxy for the number of degrees of freedom in a theory, directly to a sum over states in these CFTs is new and relies on our regularization of such sums that generally exhibit exponential (Hagedorn) divergences.


title: Modular Forms on the Double Half-Plane

abstract: We formulate a notion of modular form on the double half-plane for half-integral weights and explain its relationship to the usual notion of modular form. The construction we provide is compatible with certain physical considerations due to the second author.


title: Group actions on treelike compact spaces

abstract: We show that group actions on many treelike compact spaces are not too complicated dynamically. We first observe that an old argument of Seidler implies that every action of a topological group $G$ on a regular continuum is null and therefore also tame. As every local dendron is regular, one concludes that every action of $G$ on a local dendron is null. We then use a more direct method to show that every continuous group action of $G$ on a dendron is Rosenthal representable, hence also tame. Similar results are obtained for median pretrees. As a related result we show that Helly's selection principle can be extended to bounded monotone sequences defined on median pretrees (e.g., dendrons or linearly ordered sets). Finally, we point out some applications of these results to continuous group actions on dendrites.


title: Reduced sensitivity of the $(d, p)$ cross sections to the deuteron model beyond adiabatic approximation

abstract: It has recently been reported [Phys. Rev. Lett. 117, 162502 (2016)] that (d, p) cross sections can be very sensitive to the n-p interactions used in the adiabatic treatment of deuteron breakup with nonlocal nucleon-target optical potentials. To understand to what extent this sensitivity could originate in the inaccuracy of the adiabatic approximation we have developed a leading-order local- equivalent continuum-discretized coupled-channel model that accounts for non-adiabatic effects in the presence of nonlocality of nucleon optical potentials. We have applied our model to the astro- physically relevant reaction $^{26m}$Al$(d, p) ^{27}$Al using two different n-p potentials associated with the lowest and the highest n-p kinetic energy in the short-range region of their interaction, respectively. Our calculations reveal a significant reduction of the sensitivity to the high n-p momenta thus confirming that it is mostly associated with theoretical uncertainties of the adiabatic approximation itself. The non-adiabatic effects in the presence of nonlocality were found to be stronger than those in the case of the local optical potentials. These results argue for extending the analysis of the $(d, p)$ reactions, measured for spectroscopic studies, beyond the adiabatic approximation.


title: Quantum synchronization and entanglement generation

abstract: We study synchronization in a two-node network built out of the smallest possible self-sustained oscillator: a spin 1. We first demonstrate that phase locking between the quantum oscillators can be achieved, even for limit cycles that cannot be synchronized to an external semi-classical signal. Building upon the analytical description of the system, we then clarify the relation between quantum synchronization and the generation of entanglement. These findings establish the spin-based architecture as a promising platform for understanding synchronization in complex quantum networks.


title: Photonic Dirac monopoles and skyrmions: spin-1 quantization

abstract: We introduce the concept of a photonic Dirac monopole, appropriate for photonic crystals, metamaterials and 2D materials, by utilizing the Dirac-Maxwell correspondence. We start by exploring vacuum where the reciprocal momentum space of both Maxwell's equations and the massless Dirac equation (Weyl equation) possess a magnetic monopole. The critical distinction is the nature of magnetic monopole charges, which are integer valued for photons but half-integer for electrons. This inherent difference is directly tied to the spin and ultimately connects to the bosonic or fermionic behavior. We also show the presence of photonic Dirac strings, which are line singularities in the underlying Berry gauge potential. While the results in vacuum are intuitively expected, our central result is the application of this topological Dirac-Maxwell correspondence to 2D photonic (bosonic) materials, as opposed to conventional electronic (fermionic) materials. Intriguingly, within dispersive matter, the presence of photonic Dirac monopoles is captured by nonlocal quantum Hall conductivity - i.e. a spatiotemporally dispersive gyroelectric constant. For both 2D photonic and electronic media, the nontrivial topological phases emerge in the context of massive particles with broken time-reversal symmetry. However, the bulk dynamics of these bosonic and fermionic Chern insulators are characterized by spin-1 and spin-1/2 skyrmions in momentum space, which have fundamentally different interpretations. This is exemplified by their contrasting spin-1 and spin-1/2 helically quantized edge states. Our work sheds light on the recently proposed quantum gyroelectric phase of matter and the essential role of photon spin quantization in topological bosonic phases.


title: Kolmogorov $n$-widths for linear dynamical systems

abstract: Kolmogorov $n$-widths and Hankel singular values are two commonly used concepts in model reduction. Here we show that for the special case of linear time-invariant dynamical (LTI) systems, these two concepts are directly connected. More specifically, the greedy search applied to the Hankel operator of an LTI system resembles the minimizing subspace for the Kolmogorov n-width and the Kolmogorov $n$-width of an LTI system equals its $(n+1)st$ Hankel singular value once the subspaces are appropriately defined. We also establish a lower bound for the Kolmorogov $n$-width for parametric LTI systems and illustrate that the method of active subspaces can be viewed as the dual concept to the minimizing subspace for the Kolmogorov $n$-width.


title: Quantum process tomography with Heisenberg scaling based on Gaussian state and binary detection

abstract: We propose a quantum process tomography scheme that utilizes two-mode squeezed vacuum to realize the parameter estimation with Heisenberg scaling. The objective is to estimate a rotating angle of polarization and parity detection is used as the detection strategy. With the help of symplectic matrix theory, we discuss the estimation visibility and sensitivity of output signal in lossless situation, the quantum Fisher information is also given via calculation. Finally, the impacts of two realistic factors on both visibility and sensitivity are also considered, including photon loss during the input generation, and photon loss along with thermal noise during the output detection.


title: Multi-modal Image Processing based on Coupled Dictionary Learning

abstract: In real-world scenarios, many data processing problems often involve heterogeneous images associated with different imaging modalities. Since these multimodal images originate from the same phenomenon, it is realistic to assume that they share common attributes or characteristics. In this paper, we propose a multi-modal image processing framework based on coupled dictionary learning to capture similarities and disparities between different image modalities. In particular, our framework can capture favorable structure similarities across different image modalities such as edges, corners, and other elementary primitives in a learned sparse transform domain, instead of the original pixel domain, that can be used to improve a number of image processing tasks such as denoising, inpainting, or super-resolution. Practical experiments demonstrate that incorporating multimodal information using our framework brings notable benefits.


title: Isotope Effect on the Magnetic Properties of Hexamethylbenzene: Evidence of Magnetism Based on Correlated Motion of Deuterons

abstract: The associated magnetic moments of the periodic rotational motion of methyl groups in hexamethylbenzene C$_6$(CH$_3$)$_6$ were recently identified to contribute to its overall magnetic susceptibility. Those measurements however, were only performed on hydrogenous polycrystalline samples. We report magnetic susceptibility measurements on single crystalline C$_6$(CH$_3$)$_6$ in the cases where the applied magnetic field is parallel and perpendicular to the molecular basal planes. In the former case, metastable behavior near the onset temperature T$_{C-H}$=118 K is identified while in the latter, no anomalous behavior is observed. Similar anomalies are observed in deuterated hexamethylbenzene C$_6$(CD$_3$)$_6$ (where D is deuterium), however, T$_{C-D}$ occurs 14 K higher at 132 K. In addition, a peak anomaly identified near 42 K is suggested to be due to the onset of coherent quantum tunneling of deuterons. The near cubic ground state is proposed to be the result of a more radical form of the Jahn-Teller effect occurring in a molecular solid where the lattice distorts to remove the orbital degeneracies of the protons to lower its energy. The apparent magnetic anisotropy and isotope effect provide evidence that apart from electrons, not only protons, but also deuterons establish strongly correlated behavior.


title: On Guay's evaluation map for affine Yangians

abstract: We give a detailed proof of the existence of evaluation map for affine Yangians of type A to clarify that it needs an assumption on parameters. This map was first found by Guay but a proof of its well-definedness and the assumption have not been written down in the literature. We also determine the highest weights of evaluation modules defined as the pull-back of integrable highest weight modules of the affine Lie algebra $\hat{\mathfrak{gl}}_N$ by the evaluation map.


title: Early Transient Period in the Evolution of the Area of a Passive Front Propagating in a Strong Turbulence

abstract: Influence of statistically stationary, homogeneous, and isotropic turbulence on the mean area of a passive self-propagating front and, hence, on the rate of fluid consumption by the front is analysed in the case of asymptotically high turbulent Reynolds number $Re_L$ and asymptotically high ratio of the Kolmogorov velocity to a constant speed $u_0$ of the front. By considering an early stage of the front evolution, the mean (over the studied early stage) front area and consumption velocity $\bar{u}_T$ are analytically determined. The analysis shows that the mean $\bar{u}_T$ is proportional to the rms turbulent velocity, which characterizes large-scale turbulent eddies, even if the instantaneous rate of an increase in the front area is mainly controlled by the smallest Kolmogorov eddies. A straightforward dependence of the mean area or $\bar{u}_T$ on the Kolmogorov velocity, length, and time scales vanishes due to the following physical mechanism. At high $Re_L$, turbulent stretching created by small-scale eddies increases the front area exponentially with time, whereas a volume bounded by the leading and trailing edges of the front grows significantly slower. Therefore, after a short time, the volume is tightly filled by the front and the mean distance between opposed front elements becomes small with respect to Kolmogorov length scale. Subsequently, such front elements collide, thus, reducing the front area and limiting the mean $\bar{u}_T$.


title: Orbital magneto-optical response of periodic insulators from first principles

abstract: Magneto-optical response, i.e. optical response in the presence of a magnetic field, is commonly used for characterization of materials and in optical communications. However, quantum mechanical description of electric and magnetic fields in crystals is not straightforward as the position operator is ill defined. We present a reformulation of the density matrix perturbation theory for time-dependent electromagnetic fields under periodic boundary conditions, which allows us to treat the orbital magneto-optical response of solids at the \textit{ab initio} level. The efficiency of the computational scheme proposed is comparable to standard linear-response calculations of absorption spectra and the results of tests for molecules and solids agree with the available experimental data. A clear signature of the valley Zeeman effect is revealed in the continuum magneto-optical spectrum of a single layer of hexagonal boron nitride. The present formalism opens the path towards the study of magneto-optical effects in strongly driven low-dimensional systems.

categories: cond-mat.mtrl-sci cond-mat.mes-hall cond-mat.other physics.optics


title: Microscopic Characterisation of Photo Detectors from CMS Hadron Calorimeter

abstract: The CMS hadron Calorimeter is made of alternating layers of scintillating tiles and metals, such as brass or iron. The original photo detectors were hybrid units with a single accelerating gap called Hybrid Photo Diodes (HPD). Scintillating light was transmitted to the HPDs by means of optical fibers. During data taking at the Large Hadron Collider (LHC), the signal strength of scintillator tiles of detector units in the forward region degraded significantly due to the damage related to the amount of radiation to which the scintillator was exposed to. Scintillators suffer damage when exposed to radiation, however, the amount of damage observed was more than originally estimated. Several HPDs were removed during a detector shut down period. Microscopic scans of relative quantum efficiencies for few of these HPDs were made. The damage of the photocathode was determined to vary with the amount of optical signal transmitted by optical fibers to the HPD. Imprints of each fiber (1 mm) on the photocathode with varying damage within the same pixel were observed. Most of the observed reduction of the calorimeter signal can be attributed to localised damage of the photocathode.


title: Towards an understanding of CNNs: analysing the recovery of activation pathways via Deep Convolutional Sparse Coding

abstract: Deep Convolutional Sparse Coding (D-CSC) is a framework reminiscent of deep convolutional neural networks (DCNNs), but by omitting the learning of the dictionaries one can more transparently analyse the role of the activation function and its ability to recover activation paths through the layers. Papyan, Romano, and Elad conducted an analysis of such an architecture, demonstrated the relationship with DCNNs and proved conditions under which the D-CSC is guaranteed to recover specific activation paths. A technical innovation of their work highlights that one can view the efficacy of the ReLU nonlinear activation function of a DCNN through a new variant of the tensor's sparsity, referred to as stripe-sparsity. Using this they proved that representations with an activation density proportional to the ambient dimension of the data are recoverable. We extend their uniform guarantees to a modified model and prove that with high probability the true activation is typically possible to recover for a greater density of activations per layer. Our extension follows from incorporating the prior work on one step thresholding by Schnass and Vandergheynst.


title: Sharing of Non-Local Advantage of Quantum Coherence by sequential observers

abstract: Non-local Advantage of Quantum Coherence(NAQC) or steerability of local quantum coherence is a strong non-local resource based on coherence complementarity relations. In this work, we provide an upper bound on the number of observers who can independently steer the coherence of the observer in the other wing in a scenario where half of an entangled pair of spin-$\frac{1}{2}$ particles is shared between a single observer (Bob) in one wing and several observers (Alices) on the other, who can act sequentially and independently of each other. We consider one-parameter dichotomic POVMs for the Alices and mutually unbiased basis in which Bob measures coherence in case of the maximally entangled bipartite qubit state. We show that not more than two Alices can exhibit NAQC when $l_1$-norm of coherence measure is probed, whereas for two other measures of coherence, only one Alice can reveal NAQC within the same framework.


title: Positive solutions for autonomous and non-autonomous nonlinear critical elliptic problems in exterior domains

abstract: The paper concerns with positive solutions of problems of the type $-\Delta u+a(x)\, u=u^{p-1}+\varepsilon u^{2^*-1}$ in $\Omega\subseteq\mathbb{R}^N$, $N\ge 3$, $2^*={2N\over N-2}$, $2<p<2^*$. Here $\Omega$ can be an exterior domain, i.e. $\mathbb{R}^N\setminus\Omega$ bounded, or the whole of $\mathbb{R}^N$. The potential $a\in L^{N/2}_{\rm loc}(\mathbb{R}^N)$ is assumed to be strictly positive and such that there exists $\lim_{|x|\to\infty}a(x):=a_\infty$, with $a_\infty>0$; in particular $a\equiv {\rm const}$ is allowed. First, some existence results of ground state solutions are proved. Then the case $a(x)\ge a_\infty$ is considered, with $a(x)\not\equiv a_\infty$ or $\Omega\neq\mathbb{R}^N$. In such a case, no ground state solution exists and the existence of a bound state solution is proved, for small $\varepsilon$. No hypotheses are assumed on the size of $\mathbb{R}^N\setminus\Omega$ and on $\|a-a_\infty\|_{L^{N/2}}$.


title: Ultrahigh Magnetic Fields Produced by Shearing Carbon Nanotubes

abstract: In laboratories, ultrahigh magnetic fields are usually produced with very large currents through superconducting, resistive or hybrid magnets, which require extreme conditions, such as low temperature, huge cooling water or tens of megawatts of power. In this work we report that when single walled carbon nanotubes (SWNTs) are cut, there are magnetic moments at the shearing end of SWNTs. The average magnetic moment is found to be 41.5+-9.8uB per carbon atom in the end states with a width of 1 nm at temperature of 300.0K, suggesting ultrahigh magnetic fields can be produced. The dangling sigma and pi bonds of the carbon atoms at the shearing ends play important roles for this unexpectedly high magnetic moments because the oxidation temperature of cut SWNTs is found to be as low as 312 in dry air. Producing ultrahigh magnetic field with SWNTs has the advantage of working at higher working temperature and with low energy consumption, suggesting great potentials of applications.


title: Reflexivity of modules

abstract: We consider $\,R-$modules as functors in the following way: if $\,M\,$ is a (left) $R$-module, let $\,\mathcal M\,$ be the functor of $\,\mathcal R-$modules defined by $\,\mathcal M(S) := S \otimes_R M\,$ for every $\,R-$algebra $\,S$. With the corresponding notion of dual functor, we prove that the natural morphism of functors $\,\mathcal M\to \mathcal M^{**}\,$ is an isomorphism.


title: A parametric approach to information filtering in complex networks: The P\'olya filter

abstract: The ever increasing availability of data demands for techniques to extract relevant information from complex interacting systems, which can often be represented as weighted networks. In recent years, a number of approaches have been proposed to extract network backbones by assessing the statistical significance of links against null hypotheses of random interaction. Yet, it is well known that the growth of most real-world networks is highly non-random, as past interactions between nodes typically increase the likelihood of further interaction. Here, we propose a network filtering methodology based on a family of null hypotheses that can be calibrated to assess which links are statistically significant with respect to a given network's own heterogeneity. We design such family of null hypotheses by adapting the P\'olya urn, a simple one-parameter combinatorial model driven by a self-reinforcement mechanism, to a network setting. We provide a full analytical description of our filter, and show that it retains or discards links based on a non-trivial interplay between their own local importance and the importance of the nodes they belong to. We prove that the widely used disparity filter can be recovered as a large-strength approximation for a specific value of the P\'olya filter's parameter, and illustrate our findings by applying the filter to two large network datasets.


title: On the Capacity Region of a Cache-Aided Gaussian Broadcast Channel with Multi-Layer Messages

abstract: A cache-aided $K$-user Gaussian broadcast channel (BC) is studied. The transmitter has a library of $N$ files, from which each user requests one. The users are equipped with caches of different sizes, which are filled without the knowledge of the user requests in a centralized manner. Differently from the literature, it is assumed that each file can be delivered to different users at different rates, which may correspond to different quality representations of the underlying content, e.g., scalable coded video segments. Accordingly, instead of a single achievable rate, the system performance is characterized by a rate tuple, which corresponds to the vector of rates users' requests can be delivered at. The goal is to characterize the set of all achievable rate tuples for a given total cache capacity by designing joint cache and channel coding schemes together with cache allocation across users. Assuming that the users are ordered in increasing channel quality, each file is coded into $K$ layers, and only the first $k$ layers of the requested file are delivered to user $k$, $k=1,...,K$. Three different coding schemes are proposed, which differ in the way they deliver the coded contents over the BC; in particular, time-division, superposition, and dirty paper coding schemes are studied. Corresponding achievable rate regions are characterized, and compared with a novel outer bound. To the best of our knowledge, this is the first work studying the delivery of files at different rates over a cache-aided noisy BC.


title: Improving Network Inference: The Impact of False Positive and False Negative Conclusions about the Presence or Absence of Links

abstract: A reliable inference of networks from data is of key interest in the Neurosciences. Several methods have been suggested in the literature to reliably determine links in a network. To decide about the presence of links, these techniques rely on statistical inference, typically controlling the number of false positives, paying little attention to false negatives. In this paper, by means of a comprehensive simulation study, we analyse the influence of false positive and false negative conclusions about the presence or absence of links in a network on the network topology. We show that different values to balance false positive and false negative conclusions about links should be used in order to reliably estimate network characteristics. We propose to run careful simulation studies prior to making potentially erroneous conclusion about the network topology. Our analysis shows that optimal values to balance false positive and false negative conclusions about links depend on the network topology and characteristic of interest. Existing methods rely on a choice of the rate for false positive conclusions. They aim to be sure about individual links rather than the entire network. The rate of false negative conclusions is typically not investigated. Our investigation shows that the balance of false positive and false negative conclusions about links in a network has to be tuned for any network topology that is to be estimated. Moreover, within the same network topology, the results are qualitatively the same for each network characteristic, but the actual values leading to reliable estimates of the characteristics are different.


title: Bayesian Multi-study Factor Analysis for High-throughput Biological Data

abstract: This paper presents a new modeling strategy for joint unsupervised analysis of multiple high-throughput biological studies. As in Multi-study Factor Analysis, our goals are to identify both common factors shared across studies and study-specific factors. Our approach is motivated by the growing body of high-throughput studies in biomedical research, as exemplified by the comprehensive set of expression data on breast tumors considered in our case study. To handle high-dimensional studies, we extend Multi-study Factor Analysis using a Bayesian approach that imposes sparsity. Specifically, we generalize the sparse Bayesian infinite factor model to multiple studies. We also devise novel solutions for the identification of the loading matrices: we recover the loading matrices of interest ex-post, by adapting the orthogonal Procrustes approach. Computationally, we propose an efficient and fast Gibbs sampling approach. Through an extensive simulation analysis, we show that the proposed approach performs very well in a range of different scenarios, and outperforms standard Factor analysis in all the scenarios identifying replicable signal in unsupervised genomic applications. The results of our analysis of breast cancer gene expression across seven studies identified replicable gene patterns, clearly related to well-known breast cancer pathways. An R package is implemented and available on GitHub.


title: Variational discretization of thermodynamical simple systems on Lie groups

abstract: This paper presents the continuous and discrete variational formulations of simple thermodynamical systems whose configuration space is a (finite dimensional) Lie group. We follow the variational approach to nonequilibrium thermodynamics developed in \cite{GBYo2017a,GBYo2017b}, as well as its discrete counterpart whose foundations have been laid in \cite{GBYo2017c}. In a first part, starting from this variational formalism on the Lie group, we perform an Euler-Poincar\'e reduction in order to obtain the reduced evolution equations of the system on the Lie algebra of the configuration space. We obtain as corollaries the energy balance and a Kelvin-Noether theorem. In a second part, a compatible discretization is developed resulting in discrete evolution equations that take place on the Lie group. Then, these discrete equations are transported onto the Lie algebra of the configuration space with the help of a group difference map. Finally we illustrate our framework with a heavy top immersed in a viscous fluid modeled by a Stokes flow and proceed with a numerical simulation.


title: Feedback control of nonlinear PDEs using data-efficient reduced order models based on the Koopman operator

abstract: In the development of model predictive controllers for PDE-constrained problems, the use of reduced order models is essential to enable real-time applicability. Besides local linearization approaches, Proper Orthogonal Decomposition (POD) has been most widely used in the past in order to derive such models. Due to the huge advances concerning both theory as well as the numerical approximation, a very promising alternative based on the Koopman operator has recently emerged. In this chapter, we present two control strategies for model predictive control of nonlinear PDEs using data-efficient approximations of the Koopman operator. In the first one, the dynamic control system is replaced by a small number of autonomous systems with different yet constant inputs. The control problem is consequently transformed into a switching problem. In the second approach, a bilinear surrogate model, is obtained via linear interpolation between two of these autonomous systems. Using a recent convergence result for Extended Dynamic Mode Decomposition (EDMD), convergence to the true optimum can be proved. We study the properties of these two strategies with respect to solution quality, data requirements, and complexity of the resulting optimization problem using the 1D Burgers Equation and the 2D Navier-Stokes Equations as examples. Finally, an extension for online adaptivity is presented.


title: An empirical investigation of the Tribes and their Territories: are research specialisms rural and urban?

abstract: We propose an operationalization of the rural and urban analogy introduced in Becher and Trowler [2001]. According to them, a specialism is rural if it is organized into many, smaller topics of research, with higher author mobility among them, lower rate of collaboration and productivity, lower competition for resources and citation recognitions compared to an urban specialism. It is assumed that most humanities specialisms are rural while science specialisms are in general urban: we set to test this hypothesis empirically. We first propose an operationalization of the theory in most of its quantifiable aspects. We then consider specialisms from history, literature, computer science, biology, astronomy. Our results show that specialisms in the humanities present a sensibly lower citation and textual connectivity, in agreement with their organization into more, smaller topics per specialism, as suggested by the analogy. We argue that the intellectual organization of rural specialisms might indeed be qualitative different from urban ones, discouraging the straightforward application of citation-based indicators commonly applied to urban specialisms without a dedicated re-design in acknowledgement of these differences.


title: Design of metalloproteins and novel protein folds using variational autoencoders

abstract: The design of novel proteins has many applications but remains an attritional process with success in isolated cases. Meanwhile, deep learning technologies have exploded in popularity in recent years and are increasingly applicable to biology due to the rise in available data. We attempt to link protein design and deep learning by using variational autoencoders to generate protein sequences conditioned on desired properties. Potential copper and calcium binding sites are added to non-metal binding proteins without human intervention and compared to a hidden Markov model. In another use case, a grammar of protein structures is developed and used to produce sequences for a novel protein topology. One candidate structure is found to be stable by molecular dynamics simulation. The ability of our model to confine the vast search space of protein sequences and to scale easily has the potential to assist in a variety of protein design tasks.


title: A nilpotent Whitehead theorem for TQ-homology of structured ring spectra

abstract: The aim of this short paper is to prove a TQ-Whitehead theorem for nilpotent structured ring spectra. We work in the framework of symmetric spectra and algebras over operads in modules over a commutative ring spectrum. Our main result can be thought of as a TQ-homology analog for structured ring spectra of Dror's generalized Whitehead theorem for topological spaces; here TQ-homology is short for topological Quillen homology. We also prove retract theorems for the TQ-completion and homotopy completion of nilpotent structured ring spectra.


title: Microwave photon-mediated interactions between semiconductor qubits

abstract: The realization of a coherent interface between distant charge or spin qubits in semiconductor quantum dots is an open challenge for quantum information processing. Here we demonstrate both resonant and non-resonant photon-mediated coherent interactions between double quantum dot charge qubits separated by several tens of micrometers. We present clear spectroscopic evidence of the collective enhancement of the resonant coupling of two qubits. With both qubits detuned from the resonator we observe exchange coupling between the qubits mediated by virtual photons. In both instances pronounced bright and dark states governed by the symmetry of the qubit-field interaction are found. Our observations are in excellent quantitative agreement with master-equation simulations. The extracted two-qubit coupling strengths significantly exceed the linewidths of the combined resonator-qubit system. This indicates that this approach is viable for creating photon-mediated two-qubit gates in quantum dot based systems.


title: On Melonic Supertensor Models

abstract: We investigate a class of supersymmetric quantum mechanical theories (with two supercharges) having tensor-valued degrees of freedom which are dominated by melon diagrams in the large $N$ limit. One motivation was to examine the interplay between supersymmetry and melonic dominance and potential implications for building toy models of holography. We find a definite tension between supersymmetry (with dynamical bosons) and melonic dominance in this class of systems. More specifically, our theories attain a low energy non-supersymmetric conformal fixed point. The origin of supersymmetry breaking lies in the need to regularize bosonic and fermionic degrees of freedom independently. We investigate various aspects of the low energy spectrum and also comment on related examples with different numbers of supercharges. Along the way we also derive some technical results for $SL(2,{\mathbb R})$ wavefunctions for fermionic excitations.


title: The combined effects of shear and buoyancy on phase boundary stability

abstract: We study the effects of externally imposed shear and buoyancy driven flows on the stability of a solid-liquid interface. By reanalyzing the data of Gilpin \emph{et al.} [\emph{J. Fluid Mech.}, {\bf 99}(3), 619 (1980)] we show that the instability of the ice-water interface observed in their experiments was affected by buoyancy effects, and that their velocity measurements are more accurately described by Monin-Obukhov theory. A linear stability analysis of shear and buoyancy driven flow of melt over its solid phase shows that buoyancy is the only destabilizing factor and that the regime of shear flow here, by inhibiting vertical motions and hence the upward heat flux, stabilizes the system. It is also shown that all perturbations to the solid-liquid interface decay at a very modest strength of the shear flow. However, at much larger shear, where flow instabilities coupled with buoyancy might enhance vertical motions, a re-entrant instability may arise.


title: Conditioning Deep Generative Raw Audio Models for Structured Automatic Music

abstract: Existing automatic music generation approaches that feature deep learning can be broadly classified into two types: raw audio models and symbolic models. Symbolic models, which train and generate at the note level, are currently the more prevalent approach; these models can capture long-range dependencies of melodic structure, but fail to grasp the nuances and richness of raw audio generations. Raw audio models, such as DeepMind's WaveNet, train directly on sampled audio waveforms, allowing them to produce realistic-sounding, albeit unstructured music. In this paper, we propose an automatic music generation methodology combining both of these approaches to create structured, realistic-sounding compositions. We consider a Long Short Term Memory network to learn the melodic structure of different styles of music, and then use the unique symbolic generations from this model as a conditioning input to a WaveNet-based raw audio generator, creating a model for automatic, novel music. We then evaluate this approach by showcasing results of this work.


title: Fund Characteristics and Performances of Socially Responsible Mutual Funds: Do ESG Ratings Play a Role?

abstract: This paper examines the risk-adjusted performance and differential fund flows for socially responsible mutual funds (SRMF). The results show that SRMF rated high on ESG, perform better than lower rated ESG funds during the period of economic crisis. The findings also show that low ESG rated SRMF had higher differential cash-flows than high rated ESG funds except for the period of economic down turn. The findings are of interest to financial advisors, investors, mutual fund managers, and researchers on how SRMF performance responds to periods of economic downturn and expansion


title: AirLab: Autograd Image Registration Laboratory

abstract: Medical image registration is an active research topic and forms a basis for many medical image analysis tasks. Although image registration is a rather general concept specialized methods are usually required to target a specific registration problem. The development and implementation of such methods has been tough so far as the gradient of the objective has to be computed. Also, its evaluation has to be performed preferably on a GPU for larger images and for more complex transformation models and regularization terms. This hinders researchers from rapid prototyping and poses hurdles to reproduce research results. There is a clear need for an environment which hides this complexity to put the modeling and the experimental exploration of registration methods into the foreground. With the "Autograd Image Registration Laboratory" (AIRLab), we introduce an open laboratory for image registration tasks, where the analytic gradients of the objective function are computed automatically and the device where the computations are performed, on a CPU or a GPU, is transparent. It is meant as a laboratory for researchers and developers enabling them to rapidly try out new ideas for registering images and to reproduce registration results which have already been published. AIRLab is implemented in Python using PyTorch as tensor and optimization library and SimpleITK for basic image IO. Therefore, it profits from recent advances made by the machine learning community concerning optimization and deep neural network models. The presented draft of this paper outlines AIRLab with first code snippets and performance analyses. A more exhaustive introduction will follow as a final version soon.


title: Manifold Structured Prediction

abstract: Structured prediction provides a general framework to deal with supervised problems where the outputs have semantically rich structure. While classical approaches consider finite, albeit potentially huge, output spaces, in this paper we discuss how structured prediction can be extended to a continuous scenario. Specifically, we study a structured prediction approach to manifold valued regression. We characterize a class of problems for which the considered approach is statistically consistent and study how geometric optimization can be used to compute the corresponding estimator. Promising experimental results on both simulated and real data complete our study.


title: Complexes d'intersection des compactifications de Baily-Borel : Le cas des vari\'et\'es de Siegel

abstract: In this work, we calculate the trace of a Hecke correspondance composed with a power of the Frobenius endomorphism on the fibre of the intersection complexes of the Baily-Borel compactification of a Siegel modular variety. Our main tool is Pink's theorem about the restriction to the strata of the Baily-Borel compactification of the direct image of a local system on the Shimura variety. To use this theorem, we give a new construction of the intermediate extension of a pure perverse sheaf as a weight truncation of the full direct image. More generally, we are able to define analogs in positive characteristic of the weighted cohomology complexes introduced by Goresky, Harder and MacPherson.


title: Cohomologie d'intersection des vari\'et\'es modulaires de Siegel, suite

abstract: In this work, we study the intersection cohomology of Siegel modular varieties. The goal is to express the trace of a Hecke operator composed with a power of the Frobenius endomorphism (at a good place) on this cohomology in terms of the geometric side of Arthur's invariant trace formula for well-chosen test functions. Our main tools are the results of Kottwitz about the contribution of the cohomology with compact support and about the stabilization of the trace formula, Arthur's $L^2$ trace formula and the fixed point formula of the author. We "stabilize" this last formula, ie express it as a sum of stable distributions on the general symplectic groups and its endoscopic groups, and obtain the formula conjectured by Kottwitz. Applications of the results of this article have already been given by Kottwitz, assuming Arthur's conjectures. Here, we give weaker unconditional applications in the cases of the groups $\mathrm{GSp}_4$ and $\mathrm{GSp}_6$.


title: The KIC 8462852 Light Curve From 2015.75 to 2018.18 Shows a Variable Secular Decline

abstract: The star KIC 8462852 (Boyajian's Star) displays both fast dips of up to 20% on time scales of days, plus long-term secular fading by up to 19% on time scales from a year to a century. We report on CCD photometry of KIC 8462852 from 2015.75 to 2018.18, with 19,176 images making for 1,866 nightly magnitudes in BVRI. Our light curves show a continuing secular decline (by 0.023 +- 0.003 mags in the B-band) with three superposed dips with duration 120-180 days. This demonstrates that there is a continuum of dip durations from a day to a century, so that the secular fading is seen to be by the same physical mechanism as the short-duration Kepler dips. The BVRI light curves all have the same shape, with the slopes and amplitudes for VRI being systematically smaller than in the B-band by factors of 0.77 +- 0.05, 0.50 +- 0.05, and 0.31 +- 0.05. We rule out any hypothesis involving occultation of the primary star by any star, planet, solid body, or optically thick cloud. But these ratios are the same as that expected for ordinary extinction by dust clouds. This chromatic extinction implies dust particle sizes going down to ~0.1 micron, suggesting that this dust will be rapidly blown away by stellar radiation pressure, so the dust clouds must have formed within months. The modern infrared observations were taken at a time when there was at least 12.4% +- 1.3% dust coverage (as part of the secular dimming), and this is consistent with dimming originating in circumstellar dust.


title: Boiling, steaming or rinsing? (physics of the Chinese cuisine)

abstract: Some physical aspects of Chinese cuisine are discussed. We start from the cultural and historical particularities of the Chinese cuisine and technologies of food production. What is the difference between raw and boiled meat? What is the difference in the physical processes of heat transfer during steaming of dumplings and their cooking in boiling water? Why is it possible to cook meat stripes in a "hot pot" in ten seconds, while baking a turkey requires several hours? This article is devoted to discussion of these questions.


title: Coexistence of nonequilibrium phases in assemblies of driven nematic colloids

abstract: We combine experiments, theory, and simulations to investigate the coexistence of nonequilibrium phases emerging from interacting colloidal particles that are electrokinetically propelled in a nematic liquid crystal solvent. We directly determine the mechanical pressure within the radial assemblies and measure a non-equilibrium equation of state for this athermal driven system. A generic model combines phoretic propulsion with the interplay between electrostatic effects and liquid-crystal-mediated hydrodynamics, which are effectively cast into a long-range interparticle repulsion, while elasticity plays a subdominant role. Simulations based on this model explain the observed collective organization process and phase coexistence quantitatively. Our colloidal assemblies provide an experimental test-bed to investigate the fundamental role of phoretic pressure in the organization of driven out-of-equilibrium matter.


title: Global existence, boundedness and asymptotic behavior to a logistic chemotaxis model with density-signal governed sensitivity and signal absorption

abstract: In present paper, we consider a chemotaxis consumption system with density-signal governed sensitivity and logistic source: $u_t=\Delta u-\nabla\cdot(\frac{S(u)}{v}\nabla v)+ru-\mu u^2$, $v_t=\Delta v-uv$ in a smooth bounded domain $\Omega\subset\mathbb{R}^n$ $(n\ge2)$, where parameters $r,\mu>0$ and density governed sensitivity fulfills $ S(u) \simeq u(u+1)^{\beta-1}$ for all $u\ge0$ with $\beta\in \mathbb{R}$. It is proved that for any $r,\mu>0$, there exists a global classical solution if $\beta<1$ and $n\ge2$. Moreover, the global boundedness and the asymptotic behavior of the classical solution are determined for the case $\beta\in[0,1)$ in two dimensional setting, that is, the global solution $(u,v)$ is uniformly bounded in time and $\Big(u,v,\frac{|\nabla v|}{v}\Big)\longrightarrow\Big(\frac{r}{\mu},0,0\Big)~in~L^{\infty}(\Omega)~as~t\rightarrow\infty$, provided $\mu$ sufficiently large.


title: An extension of the sewing lemma to hyper-cubes and hyperbolic equations driven by multi parameter Young fields

abstract: This article extends the celebrated sewing lemma to multi-parameter fields on hyper cubes. We use this to construct Young integrals for multi-parameter H\"older fields on general domains [0,1]^{k} with k>=1. Moreover, we show existence, uniqueness and stability of some particular types of hyperbolic SPDE's driven by space-time H\"older noise in a Young regime This article replaces the article "Rough Integration for Fields - with applications to stochastic hyperbolic PDE's". Due to errors in the first article in the section on rough fields, we have decided to divide this article into two parts. The first, is dealing with extending the sewing lemma to general multi parameter functions as well as hyperbolc equations driven by multiparameter fields in a Young regime. The next article will come later and study the rough path type framework implied by the extended sewing lemma.


title: Constrained particle-mesh projections in a hybridized discontinuous Galerkin framework with applications to advection-dominated flows

abstract: By combining concepts from particle-in-cell (PIC) and hybridized discontinuous Galerkin (HDG) methods, we present a particle-mesh scheme which allows for diffusion-free advection, satisfies mass and momentum conservation principles in a local sense, and allows the extension to high-order spatial accuracy. To achieve this, we propose a novel particle-mesh projection operator required for the exchange of information between the particles and the mesh. Key is to cast these projections as a PDE-constrained $\ell^2$-optimization problem to allow the advective field naturally located on Lagrangian particles to be expressed as a mesh quantity. By expressing the control variable in terms of single-valued functions at cell interfaces, this optimization problem seamlessly fits in a HDG framework. Owing to this framework, the resulting scheme can be implemented efficiently via static condensation. The performance of the scheme is demonstrated by means of various numerical examples for the linear advection-diffusion equation and the incompressible Navier-Stokes equations. The results show that optimal spatial accuracy can be achieved, and given the particular time-stepping strategy, second-order time accuracy is confirmed. The robustness of the scheme is illustrated by considering benchmarks for advection of discontinuous fields and the Taylor-Green vortex instability in the high Reynolds number regime.


title: Polluted White Dwarfs: Constraints on the Origin and Geology of Exoplanetary Material

abstract: White dwarfs that have accreted rocky planetary bodies provide unique insights regarding the bulk composition of exoplanetary material. The analysis presented here uses observed white dwarf atmospheric abundances to constrain both where in the planetary system the pollutant bodies originated, and the geological and collisional history of the pollutant bodies. At least one, but possibly up to nine, of the 17 systems analysed have accreted a body dominated by either core-like or mantle-like material. The approximately even spread in the core mass fraction of the pollutants and the lack of crust-rich pollutants in the 17 systems studied here suggest that the pollutants are often the fragments produced by the collision of larger differentiated bodies. The compositions of many pollutants exhibit trends related to elemental volatility, which we link to the temperatures and, thus, the locations at which these bodies formed. Our analysis found that the abundances observed in 11 of the 17 systems considered are consistent with the compositions of nearby stars in combination with a trend related to elemental volatility. The even spread and large range in the predicted formation location of the pollutants suggests that pollutants arrive in white dwarf atmospheres with a roughly equal efficiency from a wide range of radial locations. Ratios of elements with different condensation temperatures such as Ca/Mg, Na/Mg, and O/Mg distinguish between different formation temperatures, whilst pairs of ratios of siderophilic and lithophilic elements such as Fe/Mg, Ni/Mg and Al/Mg, Ca/Mg distinguish between temperature dependent trends and geological trends.


title: Hierarchical VampPrior Variational Fair Auto-Encoder

abstract: Decision making is a process that is extremely prone to different biases. In this paper we consider learning fair representations that aim at removing nuisance (sensitive) information from the decision process. For this purpose, we propose to use deep generative modeling and adapt a hierarchical Variational Auto-Encoder to learn these fair representations. Moreover, we utilize the mutual information as a useful regularizer for enforcing fairness of a representation. In experiments on two benchmark datasets and two scenarios where the sensitive variables are fully and partially observable, we show that the proposed approach either outperforms or performs on par with the current best model.


title: Tangent-Space Regularization for Neural-Network Models of Dynamical Systems

abstract: This work introduces the concept of tangent space regularization for neural-network models of dynamical systems. The tangent space to the dynamics function of many physical systems of interest in control applications exhibits useful properties, e.g., smoothness, motivating regularization of the model Jacobian along system trajectories using assumptions on the tangent space of the dynamics. Without assumptions, large amounts of training data are required for a neural network to learn the full non-linear dynamics without overfitting. We compare different network architectures on one-step prediction and simulation performance and investigate the propensity of different architectures to learn models with correct input-output Jacobian. Furthermore, the influence of $L_2$ weight regularization on the learned Jacobian eigenvalue spectrum, and hence system stability, is investigated.


title: The intersection complex as a weight truncation and an application to Shimura varieties

abstract: The purpose of this talk is to present an (apparently) new way to look at the intersection complex of a singular variety over a finite field, or, more generally, at the intermediate extension functor on pure perverse sheaves, and an application of this to the cohomology of noncompact Shimura varieties.


title: Rotational Alignment Decay and Decoherence of Molecular Superrotors

abstract: We present the quantum master equation describing the coherent and incoherent dynamics of a rapidly rotating molecule in presence of a thermal background gas. The master equation relates the rate of rotational alignment decay and decoherence to the microscopic scattering amplitudes, which we calculate for anisotropic van der Waals scattering. For large rotational energies, we find excellent agreement of the resulting alignment decay rate with recent superrotor experiments.


title: Adaptive SOR methods based on the Wolfe conditions

abstract: Because the expense of estimating the optimal value of the relaxation parameter in the successive over-relaxation (SOR) method is usually prohibitive, the parameter is often adaptively controlled. In this paper, new adaptive SOR methods are presented that are applicable to a variety of symmetric positive definite linear systems and do not require additional matrix-vector products when updating the parameter. To this end, we regard the SOR method as an algorithm for minimising a certain objective function, which yields an interpretation of the relaxation parameter as the step size following a certain change of variables. This interpretation enables us to adaptively control the step size based on some line search techniques, such as the Wolfe conditions. Numerical examples demonstrate the favourable behaviour of the proposed methods.


title: Nonlinear dynamics of ferroelectrics with three-well local potential

abstract: For Sn$_2$P$_2$S$_6$ ferroelectrics, the appearance of spontaneous polarization is related to stereoactivity of tin cations and valence fluctuations of phosphorous cations. Here, the continuous phase transition and its behavior under pressure is determined by thee-well local potential and can be described in an anharmonic quantum oscillator model. For such a model, the spectrum of pseudospin fluctuations at different temperatures and pressures has been calculated and compared with the data of Raman spectroscopy. It was revealed that the ferroelectric lattice instability is related to several low energy optic modes.