title: Reference-free GIXRF-XRR as a methodology for independent validation of XRR on ultrathin layer stacks and a depth-dependent characterization

abstract: Nanolayer stacks are technologically very relevant for current and future applications in many fields of research. A non-destructive characterization of such systems is often performed using X-ray reflectometry (XRR). For complex stacks of multiple layers, low electron density contrast materials or very thin layers without any pronounced angular minima, this requires a full modeling of the XRR data. As such modeling is using the thicknesses, the densities and the roughnesses of each layer as parameters, this approach quickly results in a large number of free parameters. In consquence, cross-correlation effects or interparameter dependencies can falsify the modeling results. Here, we present a route for validation of such modeling results which is based on the reference-free grazing incidence X-ray fluorescence (GIXRF) methodology. In conjunction with the radiometrically calibrated instrumentation of the Physikalisch-Technische Bundesanstalt the method allows for reference-free quantification of the elemental mass depositions. In addition, a modeling approach of reference-free GIXRF-XRR data is presented, which takes advantage of the quantifiable elemental mass depositions by distributing them depth dependently. This approach allows for a reduction of the free model parameters. Both the validation capabilities and the combined reference-free GIXRF-XRR modeling are demonstrated using several nanoscale layer stacks consisting of HfO$_2$ and Al$_2$O$_3$ layers.


title: Collaborative Spatio-temporal Feature Learning for Video Action Recognition

abstract: Spatio-temporal feature learning is of central importance for action recognition in videos. Existing deep neural network models either learn spatial and temporal features independently (C2D) or jointly with unconstrained parameters (C3D). In this paper, we propose a novel neural operation which encodes spatio-temporal features collaboratively by imposing a weight-sharing constraint on the learnable parameters. In particular, we perform 2D convolution along three orthogonal views of volumetric video data,which learns spatial appearance and temporal motion cues respectively. By sharing the convolution kernels of different views, spatial and temporal features are collaboratively learned and thus benefit from each other. The complementary features are subsequently fused by a weighted summation whose coefficients are learned end-to-end. Our approach achieves state-of-the-art performance on large-scale benchmarks and won the 1st place in the Moments in Time Challenge 2018. Moreover, based on the learned coefficients of different views, we are able to quantify the contributions of spatial and temporal features. This analysis sheds light on interpretability of the model and may also guide the future design of algorithm for video recognition.


title: Hitting times, commute times, and cover times for random walks on random hypergraphs

abstract: We consider random walk on the structure given by a random hypergraph in the regime where there is a unique giant component. We give the asymptotics for hitting times, cover times, and commute times and show that the results obtained for random walk on random graphs are universal.


title: S-duality transformation of $\mathcal{N}$ $=4$ SYM theory at the operator level

abstract: We consider the S-duality transformation of gauge invariant operators and states in $\mathcal{N}$ $=4$ SYM theory. The transformation is realized through an operator $ S $ which is the $ SL(2,Z) $ canonical transformation in loop space with the gauge invariant electric and the magnetic flux operators composing the canonical variables. Based on $ S $, S-duals for all of the physical operators and states can be defined. The criterion for the theory to be S-duality invariant is that the superconformal charges and their S-duals differ by a $ U(1)_{Y} $ phase. The verification can be done by checking the S transformation for supersymmetry and special supersymmetry variations of the loop operators. The fact that supercharges preserved by BPS Wilson operators and the S-dual BPS 't Hooft operators differ by a $4d $ chiral rotation could in some sense serve as a proof.


title: Toeplitz operators on backward shift invariant subspaces of H^p

abstract: We extend results on compressed Toeplitz operators on the backward shift invariant subspaces of $H^2 $ to the context of the spaces $H^p$, $1<p<\infty.$


title: Observation of a reversal of breakout reconnection preceding a jet: evidence of oscillatory magnetic reconnection?

abstract: Recent studies have revealed that solar jets involving minifilament eruptions may be initiated under the well-known magnetic-breakout mechanism. Before or just at the onset of those jets, there should be a current sheet, where breakout magnetic reconnection takes place, between open fields and the outside of the jet-base arcade carrying minifilament in its core. In this paper we present a jet produced by eruption of two minifilaments lying at the jet base. A current sheet is directly detected near the jet base before the onset of the eruption, suggesting the magnetic-breakout mechanism. However, we further find that the current sheet undergoes a transition. The current sheet first shortens to zero in length, but then lengthens towards an orthogonal direction relative to its initial orientation. The change of the current sheet gives rise to a reversal of the breakout reconnection, as the inflow and outflow regions before the transition become the outflow and inflow regions after the transition, respectively. We therefore propose that this observation provides evidence for the so-called oscillatory reconnection which is defined by a series of reconnection reversals but not yet proved to exist in real plasma environment of the solar atmosphere.


title: Pseudocodeword-based Decoding of Quantum Stabilizer Codes

abstract: It has been shown that graph-cover pseudocodewords can be used to characterize the behavior of sum-product algorithm (SPA) decoding of classical codes. In this paper, we leverage and adapt these results to analyze SPA decoding of quantum stabilizer codes. We use the obtained insights to formulate modifications to the SPA that overcome some of its weaknesses.


title: Gravitational electromotive force in magnetic reconnection around Schwarzschild black holes

abstract: We analytically explore the effects of the gravitational electromotive force on magnetic reconnection around Schwarzschild black holes through a generalized general-relativistic magnetohydrodynamic model that retains two-fluid effects. It is shown that the gravitational electromotive force can couple to collisionless two-fluid effects and drive magnetic reconnection. This is allowed by the departure from quasi-neutrality in curved spacetime, which is explicitly manifested as the emergence of an effective resistivity in Ohm's law. The departure from quasi-neutrality is owed to different gravitational pulls experienced by separate parts of the current layer. This produces an enhancement of the reconnecion rate due to purely gravitational effects.


title: Negative polarizability of 2D electrons in HgTe quantum well

abstract: The polarizability of electrons occupying the lowest subband of spatial quantization in CdTe/Cd$_x$Hg$_{1-x}$Te/CdTe quantum wells is calculated. It is shown that polarizability in the quantum well without cadmium is negative, i.e., the displacement of an electron in an electric field applied perpendicularly to the quantum well plane is opposite to the force acting on it. The negative polarizability of 2D electrons can reduce the dielectric constant of quantum wells by up to $(10-15)$ percent.


title: Berry curvature induced thermopower in type-I and type-II Weyl Semimetals

abstract: Berry curvature acts analogous to a magnetic field in the momentum-space, and it modifies the flow of charge carriers and entropy. This induces several intriguing magnetoelectric and magnetothermal transport phenomena in Weyl semimetals. %, including the planar Hall and planar Nernst effect. Here, we explore the impact of the Berry curvature and orbital magnetization on the thermopower in tilted type-I and type-II Weyl semimetals, using semiclassical Boltzmann transport formalism. We analytically calculate the full magnetoconductivity matrix and use it to obtain the thermopower matrix for different orientations of the magnetic field $(B)$, with respect to the tilt axis. We find that that the tilt of the Weyl nodes induces linear magnetic field terms in the conductivity matrix, as well as in the thermopower matrix. The linear-$B$ term appears in the Seebeck coefficients, when the $B$-field is applied along the tilt axis. Applying the magnetic field in a plane perpendicular to the tilt axis results in a quadratic-$B$ planar Nernst effect, linear-$B$ out-of-plane Nernst effect and quadratic-$B$ correction in the Seebeck coefficient.


title: Flattened loose particles from numerical simulations compared to Rosetta collected particles

abstract: Cometary dust particles are remnants of the primordial accretion of refractory material that occurred during the initial stages of the Solar System formation. Understanding their physical structure can help constrain their accretion process. We have developed a simple numerical simulation of aggregate impact flattening to interpret the properties of particles collected by COSIMA. The aspect ratios of flattened particles from both simulations and observations are compared to differentiate between initial families of aggregates characterized by different fractal dimensions $D_f$. This dimension can differentiate between certain growth modes. The diversity of aspect ratios measured by COSIMA is consistent with either two families of aggregates with different initial $D_f$ (a family of compact aggregates with fractal dimensions close to 2.5-3 and some fluffier aggregates with fractal dimensions around 2). Alternatively, the distribution of morphologies seen by COSIMA could originate from a single type of aggregation process, such as DLPA, but to explain the range of aspect ratios observed by COSIMA a large range of dust particle cohesive strength is necessary. Furthermore, variations in cohesive strength and velocity may play a role in the higher aspect ratio range detected (>0.3). Our work allows us to explain the particle morphologies observed by COSIMA and those generated by laboratory experiments in a consistent framework. Taking into account all observations from the three dust instruments on-board Rosetta, we favor an interpretation of our simulations based on two different families of dust particles with significantly distinct fractal dimensions ejected from the cometary nucleus.


title: Possible $S$-wave $ND^{(*)}$ and $N\bar B^{(*)}$ bound states in a chiral quark model

abstract: $S$-wave bound-states composed of a nucleon($N$) and a heavy meson ($D$, $D^*$, $\bar{B}$ or $\bar{B}^*$) are investigated in both the chiral SU(3) quark model and the extended chiral SU(3) quark model by solving the resonating group method equation. The results reveal that the $ND$ and $ND^*$ interactions in the corresponding relative $S$-wave states are attractive, arising mainly from one boson exchange processes between light quarks. It is shown that these attractions are strong enough to form six $ND$ and $ND^*$ $S$-wave bound states in the extended chiral SU(3) quark model with the binding energies in the range of $3-45$ MeV, and three $S$-wave bound states within the chiral SU(3) quark model with binding energies of $2-8$ MeV. In particular, the experimentally observed $\Sigma_c(2800)$ is interpreted to be most likely an $S-$wave $ND$ state with the total isopsin $I=0$ and spin-parity $J^P=1/2^-$, while $\Lambda_c(2940)^+$ as an $S-$wave $ND^*$ state with $I=0$ and $J^P=3/2^-$. Further information on the $ND$ and $ND^*$ interactions in the (unbound) scattering kinematics are obtained from the corresponding $S$-wave phase shifts. The $N\bar{B}$ and $N\bar{B}^*$ systems are also investigated within the present two models and some $S-$wave bound states with binding energies in the range of $1-60$ MeV are predicted in these systems: six (in total) within the extended chiral SU(3) quark model and, four, within the chiral SU(3) quark model.


title: Piecewise Sparse Recovery in Unions of Bases

abstract: Sparse recovery is widely applied in many fields, since many signals or vectors can be sparsely represented under some frames or dictionaries. Most of fast algorithms at present are based on solving $l^0$ or $l^1$ minimization problems and they are efficient in sparse recovery. However, compared with the practical results, the theoretical sufficient conditions on the sparsity of the signal for $l^0$ or $l^1$ minimization problems and algorithms are too strict. \par In many applications, there are signals with certain structures as piecewise sparsity. Piecewise sparsity means that the sparse signal $\mathbf{x}$ is a union of several sparse sub-signals, i.e., $\mathbf{x}=(\mathbf{x}_1^T,\ldots,\mathbf{x}_N^T)^T$, corresponding to the matrix $A$ which is composed of union of bases $A=[A_1,\ldots,A_N]$. In this paper, we consider the uniqueness and feasible conditions for piecewise sparse recovery. We introduce the mutual coherence for the sub-matrices $A_i\ (i=1,\ldots,N)$ to study the new upper bounds of $\|\mathbf{x}\|_0$ (number of nonzero entries of signal) recovered by $l^0$ or $l^1$ optimizations. The structured information of measurement matrix $A$ is used to improve the sufficient conditions for successful piecewise sparse recovery and also improve the reliability of $l_0$ and $l_1$ optimization models on recovering global sparse vectors.


title: On the Long-term Impact of Algorithmic Decision Policies: Effort Unfairness and Feature Segregation through Social Learning

abstract: Most existing notions of algorithmic fairness are one-shot: they ensure some form of allocative equality at the time of decision making, but do not account for the adverse impact of the algorithmic decisions today on the long-term welfare and prosperity of certain segments of the population. We take a broader perspective on algorithmic fairness. We propose an effort-based measure of fairness and present a data-driven framework for characterizing the long-term impact of algorithmic policies on reshaping the underlying population. Motivated by the psychological literature on \emph{social learning} and the economic literature on equality of opportunity, we propose a micro-scale model of how individuals may respond to decision-making algorithms. We employ existing measures of segregation from sociology and economics to quantify the resulting macro-scale population-level change. Importantly, we observe that different models may shift the group-conditional distribution of qualifications in different directions. Our findings raise a number of important questions regarding the formalization of fairness for decision-making models.


title: Immersive VR as a Tool to Enhance Relaxation for Undergraduate Students with the Aim of Reducing Anxiety - A Pilot Study

abstract: Despite extensive use in related domains, Virtual Reality (VR) for generalised anxiety disorder (GAD) has received little previous attention. We report upon a VR environment created for the Oculus Rift and Unreal Engine 4 (UE4) to investigate the potential of a VR simulation to be used as an anxiety management tool. We introduce the broad topic of GAD and related publications on the application of VR to this, and similar, mental health conditions. We then describe the development of a real time simulation tool, based upon the passive VR experience of a tranquil, rural alpine scene experienced from a seated position with head tracking. Evaluation focused upon qualitative feedback on the application. Testing was carried out over the period of two weeks on a sample group of eleven students studying at Nottingham Trent University. All participants were asked to complete the Depression, Anxiety and Stress Scale - 21 Items (DASS21) at the beginning and at the end of the study order to assess their profile, and hence suitability to comment upon the software. Qualitative feedback was very encouraging, with all participants reporting that they believed the experience helped and that they would consider utilising it if it was available. Additionally, a psychologist was asked to test the application to provide a specialist opinion on whether it would be appropriate for use as an anxiety management tool. The results highlight several areas for improvement but are positive overall in terms of its potential as a therapeutic tool.


title: Injective types in univalent mathematics

abstract: We investigate the injective types and the algebraically injective types in univalent mathematics, both in the absence and in the presence of propositional resizing. Injectivity is defined by the surjectivity of the restriction map along any embedding, and algebraic injectivity is defined by a given section of the restriction map along any embedding. Under propositional resizing axioms, the main results are easy to state: (1) Injectivity is equivalent to the propositional truncation of algebraic injectivity. (2) The algebraically injective types are precisely the retracts of exponential powers of universes. (2a) The algebraically injective sets are precisely the retracts of powersets. (2b) The algebraically injective $(n+1)$-types are precisely the retracts of exponential powers of universes of $n$-types. (3) The algebraically injective types are also precisely the retracts of algebras of the partial-map classifier. From (2) it follows that any universe is embedded as a retract of any larger universe. In the absence of propositional resizing, we have similar results which have subtler statements that need to keep track of universe levels rather explicitly, and are applied to get the results that require resizing.


title: Unsupervised Domain Adaptation Learning Algorithm for RGB-D Staircase Recognition

abstract: Detection and recognition of staircase as upstairs, downstairs and negative (e.g., ladder) are the fundamental of assisting the visually impaired to travel independently in unfamiliar environments. Previous researches have focused on using massive amounts of RGB-D scene data to train traditional machine learning (ML) based models to detect and recognize the staircase. However, the performance of traditional ML techniques is limited by the amount of labeled RGB-D staircase data. In this paper, we apply an unsupervised domain adaptation approach in deep architectures to transfer knowledge learned from the labeled RGB-D stationary staircase dataset to the unlabeled RGB-D escalator dataset. By utilizing the domain adaptation method, our feedforward convolutional neural networks (CNN) based feature extractor with 5 convolution layers can achieve 100% classification accuracy on testing the labeled stationary staircase data and 80.6% classification accuracy on testing the unlabeled escalator data. We demonstrate the success of the approach for classifying staircase on two domains with a limited amount of data. To further demonstrate the effectiveness of the approach, we also validate the same CNN model without domain adaptation and compare its results with those of our proposed architecture.


title: Ultralow-Noise Photonic Microwave Synthesis using a Soliton Microcomb-based Transfer Oscillator

abstract: The synthesis of ultralow-noise microwaves is of both scientific and technological relevance for timing, metrology, communications and radio-astronomy. Today, the lowest reported phase noise signals are obtained via optical frequency-division using mode-locked laser frequency combs. Nonetheless, this technique ideally requires high repetition rates and tight comb stabilisation. Here, a soliton microcomb with a 14 GHz repetition rate is generated with an ultra-stable pump laser and used to derive an ultralow-noise microwave reference signal, with an absolute phase noise level below -60 dBc/Hz at 1 Hz offset frequency and -135 dBc/Hz at 10 kHz. This is achieved using a transfer oscillator approach, where the free-running microcomb noise (which is carefully studied and minimised) is cancelled via a combination of electronic division and mixing. Although this proof-of-principle uses an auxiliary comb for detecting the microcomb's offset frequency, we highlight the prospects of this method with future self-referenced integrated microcombs and electro-optic combs, that would allow for ultralow-noise microwave and sub-terahertz signal generators.


title: Understanding the Mechanism of Deep Learning Framework for Lesion Detection in Pathological Images with Breast Cancer

abstract: The computer-aided detection (CADe) systems are developed to assist pathologists in slide assessment, increasing diagnosis efficiency and reducing missing inspections. Many studies have shown such a CADe system with deep learning approaches outperforms the one using conventional methods that rely on hand-crafted features based on field-knowledge. However, most developers who adopted deep learning models directly focused on the efficacy of outcomes, without providing comprehensive explanations on why their proposed frameworks can work effectively. In this study, we designed four experiments to verify the consecutive concepts, showing that the deep features learned from pathological patches are interpretable by domain knowledge of pathology and enlightening for clinical diagnosis in the task of lesion detection. The experimental results show the activation features work as morphological descriptors for specific cells or tissues, which agree with the clinical rules in classification. That is, the deep learning framework not only detects the distribution of tumor cells but also recognizes lymphocytes, collagen fibers, and some other non-cell structural tissues. Most of the characteristics learned by the deep learning models have summarized the detection rules that can be recognized by the experienced pathologists, whereas there are still some features may not be intuitive to domain experts but discriminative in classification for machines. Those features are worthy to be further studied in order to find out the reasonable correlations to pathological knowledge, from which pathological experts may draw inspirations for exploring new characteristics in diagnosis.


title: The uniform version of Yau-Tian-Donaldson conjecture for singular Fano varieties

abstract: We prove the following result: if a $\mathbb{Q}$-Fano variety is uniformly K-stable, then it admits a K\"{a}hler-Einstein metric. We achieve this by modifying Berman-Boucksom-Jonsson's strategy with appropriate perturbative arguments and non-Archimedean estimates. The idea of using the perturbation is motivated by our previous paper.


title: An embedding technique to determine $\tau\tau$ backgrounds in proton-proton collision data

abstract: An embedding technique is presented to estimate standard model $\tau\tau$ backgrounds from data with minimal simulation input. In the data, the muons are removed from reconstructed $\mu\mu$ events and replaced with simulated tau leptons with the same kinematic properties. In this way a set of hybrid events is obtained that does not rely on simulation except for the decay of the tau leptons. The challenges in describing the underlying event or the production of associated jets in the simulation are avoided. The technique described in this paper was developed for CMS. Its validation and the inherent uncertainties are also discussed. The demonstration of the performance of the technique is based on a sample of proton-proton collisions collected by CMS in 2017 at $\sqrt{s} =$ 13 TeV corresponding to an integrated luminosity of 41.5 fb$^{-1}$.


title: Integrating Temporal Information to Spatial Information in a Neural Circuit

abstract: In this paper, we consider networks of deterministic spiking neurons, firing synchronously at discrete times; such spiking neural networks are inspired by networks of neurons and synapses that occur in brains. We consider the problem of translating temporal information into spatial information in such networks, an important task that is carried out by actual brains. Specifically, we define two problems: "First Consecutive Spikes Counting (FCSC)" and "Total Spikes Counting (TSC)", which model spike and rate coding aspects of translating temporal information into spatial information respectively. Assuming an upper bound of $T$ on the length of the temporal input signal, we design two networks that solve these two problems, each using $O(\log T)$ neurons and terminating in time $1$. We also prove that there is no network with less than $T$ neurons that solves either question in time $0$.


title: Performance of Underwater Quantum Key Distribution with Polarization Encoding

abstract: Underwater quantum key distribution (QKD) has potential applications in absolutely secure underwater communication. However, the performance of underwater QKD is limited by the optical elements, background light, and dark counts of the detector. In this paper, we propose a modified formula for the quantum bit error rate (QBER), which takes into account the effect of detector efficiency on the QBER caused by the background light. Then we calculate the QBER of the polarization encoding BB84 protocol in Jerlov type seawater by analyzing the effect of the background light and optical components in a more realistic situation. Finally, we further analyze the final key rate and the maximum secure communication distance in three propagation modes, i.e., upward, downward and horizontal modes. We find that secure QKD can be performed in the clearest Jerlov type seawater at a distance of hundreds of meters, even in the worst downward propagation mode. Specifically, by optimizing the system parameters, it is possible to securely transmit information with a rate of 67kbits/s at a distance of 100 m in the seawater channel with an attenuation coefficient of 0.03/m at night. For practical underwater QKD, the performance can also be improved by using decoy states. Our results are useful to long distance underwater quantum communication.


title: Low-cost VR Collaborative System equipped with Haptic Feedback

abstract: In this paper, we present a low-cost virtual reality (VR) collaborative system equipped with a haptic feedback sensation system. This system is composed of a Kinect sensor for bodies and gestures detection, a microcontroller and vibrators to simulate outside interactions, and smartphone powered cardboard, all of this are put into a network implemented with Unity 3D game engine. CCS CONCEPTS $\bullet$ Interaction paradigms $\rightarrow$ Virtual reality; Collaborative interaction; $\bullet$ Hardware $\rightarrow$ Sensors and actuators; Wireless devices; KEYWORDS collaborative virtual reality, haptic feedback system.


title: An Assurance Framework for Independent Co-assurance of Safety and Security

abstract: Integrated safety and security assurance for complex systems is difficult for many technical and socio-technical reasons such as mismatched processes, inadequate information, differing use of language and philosophies, etc.. Many co-assurance techniques rely on disregarding some of these challenges in order to present a unified methodology. Even with this simplification, no methodology has been widely adopted primarily because this approach is unrealistic when met with the complexity of real-world system development. This paper presents an alternate approach by providing a Safety-Security Assurance Framework (SSAF) based on a core set of assurance principles. This is done so that safety and security can be co-assured independently, as opposed to unified co-assurance which has been shown to have significant drawbacks. This also allows for separate processes and expertise from practitioners in each domain. With this structure, the focus is shifted from simplified unification to integration through exchanging the correct information at the right time using synchronisation activities.


title: A Reliabel and an efficient web testing system

abstract: To improve the reliability and efficiency of Web Software, the Testing Team should be creative and innovative. The experience and intuition of Tester also matters a lot and most often the destructive nature of Tester brings reliable software to the user. Actually, Testing is the responsibility of everybody who is involved in the Project.


title: Planning Activities in Software Testing Process: A Literature Review and Suggestions for Future Research

abstract: Software testing process consists of activities that implemented after it is planned and including to document related testing activities. Test processes must be applied necessarily for able to clearly see the quality of software, the degree of reliability, whether it is ready for delivery, the degree of effectiveness and remains of how much testing. One of the most important phase of these processes is test planning activities. Test planning activities directly affects the project's success in software projects. In this study, software testing process, and test planning activities carried out in this process was first clearly demonstrated by the literature review. Later, a basic software testing process and test planning process were determined and explained step by step. In this way, it was aimed to give a different and deep perspective to the test planning activities and to raise awareness on the topic. As a result of the research, it was seen that the test planning activities are not applied adequately at present, software testers, experts or researchers do not have enough knowledge about the details of the method, and this situation causes very serious negative results in the delivery and cost in software projects. Finally, the topic was discussed in detail, and some conclusions and recommendations were given for the personnel in the field of software testing. In this point, the study is expected to contribute the literature.


title: Outage-Limit-Approaching Protograph LDPC Codes for Slow-Fading Wireless Communications

abstract: Block-fading (BF) channel, also known as slow-fading channel, is a type of simple and practical channel model that can characterize the primary feature of a number of wireless-communication applications with low to moderate mobility. Although the BF channel has received significant research attention in the past twenty years, designing low-complexity outage-limit-approaching error-correction codes (ECCs) is still a challenging issue. For this reason, a novel family of protograph low-density parity-check (LDPC) codes, called root-protograph (RP) LDPC codes, has been conceived recently. The RP codes can not only realize linear-complexity encoding and high-speed decoding with the help of a quasi-cyclic (QC) structure, but also achieve near-outage-limit performance in a variety of BF scenarios. In this article, we briefly review the design guidelines of such protograph codes with the aim of inspiring further research activities in this area.


title: Extremal problems for surfaces of prescribed topological type (1)

abstract: The translation is not verbatim, many parts have been abbreviated and in some case alternative proofs were devised emphasizing intuition.


title: Bode's Sensitivity Integral Constraints: The Waterbed Effect in Discrete Time

abstract: Bode's sensitivity integral constraints define a fundamental rule about the limitations of feedback and is referred to as the waterbed effect. In a companion paper, we took a fresh look at this problem using a direct approach to derive our results. In this paper, we will address the same problem, but now in discrete time. Although similar to the continuous case, the discrete-time case poses its own peculiarities and subtleties. The main result is that the sensitivity integral constraint is crucially related to the locations of the unstable open-loop poles of the system. This makes much intuitive sense. Similar results are also derived for the complementary sensitivity function. In that case the integral constraint is related to the locations of the transmission zeros outside the unit circle. Hence all performance limitations are inherently related to the open-loop poles and the transmission zeros outside the unit circle. A number of illustrative examples are presented.


title: Lie structure on the Hochschild cohomology of a family of subalgebras of the Weyl algebra

abstract: For each nonzero $h\in \mathbb{F}[x]$, where $\mathbb{F}$ is a field, let $\mathsf{A}_h$ be the unital associative algebra generated by elements $x,y$, satisfying the relation $yx-xy = h$. This gives a parametric family of subalgebras of the Weyl algebra $\mathsf{A}_1$, containing many well-known algebras which have previously been studied independently. In this paper, we give a full description the Hochschild cohomology $\mathsf{HH}^\bullet(\mathsf{A}_h)$ over a field of arbitrary characteristic. In case $\mathbb{F}$ has positive characteristic, the center of $\mathsf{A}_h$ is nontrivial and we describe $\mathsf{HH}^\bullet(\mathsf{A}_h)$ as a module over its center. The most interesting results occur when $\mathbb{F}$ has characteristic $0$. In this case, we describe $\mathsf{HH}^\bullet(\mathsf{A}_h)$ as a module over the Lie algebra $\mathsf{HH}^1(\mathsf{A}_h)$ and find that this action is closely related to the intermediate series modules over the Virasoro algebra. We also determine when $\mathsf{HH}^\bullet(\mathsf{A}_h)$ is a semisimple $\mathsf{HH}^1(\mathsf{A})$-module.


title: On the possibility of wormhole formation in the galactic halo due to dark matter Bose-Einstein condensates

abstract: It has been recently claimed that dark matter could be in the form of a Bose-Einstein condensate (BEC) in order to explain the dynamics at large distances from the galactic center [Boehmer, Harko, JCAP {\bf 0706}, 025 (2007)]. In this paper we explore the possibility of wormhole formation in galactic halos due to the dark matter BEC. In particular we have found a new wormhole solution supported by BEC dark matter using the expressions for the density profile of the BEC and rotation velocity along with the Einstein field equations to calculate the wormhole red shift function as well as the shape function. To this end, we show that for a specific choose of the central density of the condensates our wormhole solution satisfies the flare our condition. Furthermore we check the null, weak, and strong condition at the wormhole throat with a radius $r_0$, and shown that in general the energy condition are violated by some arbitrary quantity at the wormhole throat. Using the volume integral quantifier, and choosing reasonable values of parameters we have calculate the amount of BEC exotic matter near the wormhole throat, such that the wormhole extends form $r_0$ to a a cut off radius situated at $`a'$. Moreover we have introduced a Kerr-like metric for a rotating BEC wormhole to study the effect of BEC dark matter on the Lense-Thirring precession frequencies. Namely, we have shown that the obtained precession frequencies lie within a range of typical quasi-periodic oscillations (QPOs).


title: Lagrangian Grassmannians and Spinor Varieties in Characteristic Two

abstract: The vector space of symmetric matrices of size $n$ has a natural map to a projective space of dimension $2^n-1$ given by the principal minors. This map extends to the Lagrangian Grassmannian ${\rm LG}(n,2n)$ and over the complex numbers the image is defined, as a set, by quartic equations. In case the characteristic of the field is two, it was observed that, for $n=3,4$, the image is defined by quadrics. In this paper we show that this is the case for any $n$ and that moreover the image is the spinor variety associated to ${\rm Spin}(2n+1)$. Since some of the motivating examples are of interest in supergravity and in the black-hole/qubit correspondence, we conclude with a brief examination of other cases related to integral Freudenthal triple systems over integral cubic Jordan algebras.


title: An Analysis of Pedestrians' Behavior in Emergency Evacuation Using Cellular Automata Simulation

abstract: To minimize property loss and death count in terror attacks and other emergent scenarios, attention given to timely and effective evacuation cannot be enough. Due to limited evacuation resource, i.e., number of available exits, there exists interdependence among pedestrians such as cooperation, competition and herd effect. Thus human factors - more specifically, pedestrians' behavior in emergency evacuation - play a significant role in evacuation research. Effective evacuation can only be reached when route planning are considered in conjunction with psychological dynamics, which is often ignored. As another drawback, previous research assumes the environment including available exits as stationary. However, we note that during emergency, some exits which are not often utilized in normal times are opened, which potentially helps if pedestrians are aware of them. In this paper, we analyze the effect of pedestrians' behavior, i.e., herd effect and knowledge of changing environment with Cellular Automata (CA) simulation. Results of the simulation show the harmful effect of herd effect as well as highlight the importance of timely informing pedestrians of environmental change. Accordingly, we propose policy and procedural recommendations for emergency management of large, crowded structures. Our future work includes considering more human factors and applying our model to log data provided by videos in public venues, which can further show effectiveness of our model in real scenarios.


title: Quantum speed limit time for the damped Jaynes-Cummings and Ohmic-like dephasing models in Schwarzschild spacetime

abstract: Quantum theory sets the bound on the minimal evolution time between initial and final states of the quantum system. This minimal evolution time can be used to specify the maximal speed of the evolution in open and closed quantum systems. Quantum speed limit is one of the interesting issue in the theory of open quantum systems. One may investigate the influence of the relativistic effect on the quantum speed limit time. When several observers are placed in different inertial or non-inertial frames, or in Schwarzschild space-time, the relativistic effect should be taken into account. In this work, the quantum speed limit time in Schwarzschild space-time will be studied for two various model consist of damped Jaynes-Cummings and Ohmic-like dephasing. First, it will be observed that how quantum coherence is affected by Hawking radiation. According to the dependence of quantum speed limit time on quantum coherence and the dependence of quantum coherence on relative distance of quantum system to event horizon $R_{0}$, it will be represented that the quantum speed limit time in Schwarzschild space-time is decreased by increasing $R_{0}$ for damped Jaynes-Cummings model and conversely, It is increased by increasing $R_{0}$ for Ohmic-like dephasing model .


title: Performance Analysis of Energy Harvesting Underlay Cooperative Cognitive Radio Relay Networks with Randomly Located Nodes

abstract: In this work, we investigate the successful data communication probability of an energy harvesting co-operative cognitive radio network (CRN) in the presence of Poisson field of primary users (PU). We consider the scenario where, after harvesting energy from primary transmitters (PTs), the secondary transmitter (ST) would transmit its symbol towards secondary destination (SD) through a suitable secondary relay from group of randomly scattered idle nodes within a circular region. We have considered several relay selection criteria in our work for a better relay node selection. We have also analytically evaluated the performance of secondary transmitter in terms of probability of successful symbol transmission. The relationship between the performance of ST and several network entities like density of PUs, transmit power of PTs and required transmit power of ST have been investigated through detailed analysis. The non-trivial trade-off between benefit of energy harvesting and interference from PTs has been explored in this present work. Numerical results are provided to verify the precision of derived analytical expressions.


title: Modeling Sulfur Depletion in Interstellar Clouds

abstract: The elemental depletion of interstellar sulfur from the gas phase has been a recurring challenge for astrochemical models. Observations show that sulfur remains relatively non-depleted with respect to its cosmic value throughout the diffuse and translucent stages of an interstellar molecular cloud, but its gas-phase constituents cannot account for this cosmic value towards higher-density environments. We have attempted to address this issue by modeling the evolution of an interstellar cloud from its pristine state as a diffuse atomic cloud to a molecular environment of much higher density, using a gas/grain astrochem. code and an enhanced sulfur reaction network. A common gas/grain reaction network has been systematically updated and greatly extended based on previous lit. and models, with a focus on the grain chemistry and processes. A simple model was used to benchmark the resulting network updates, and the results of the model were compared to typical astronomical observations sourced from the literature. Our new gas/grain model is able to reproduce the elemental depletion of sulfur, whereby sulfur can be depleted from the gas-phase by two orders of magnitude, and this process may occur under dark cloud conditions if the cloud has a chemical age of at least 1 Myrs. The resulting mix of sulfur-bearing species on the grain ranges across all the most common chemical elements (H/C/N/O), not dissimilar to the molecules observed in cometary environments. Notably, this mixture is not dominated simply by H2S, unlike all other current astrochem. models. Despite our relatively simple physical model, most of the known gas-phase S-bearing molecular abundances are accurately reproduced under dense conditions, however they are not expected to be the primary molecular sinks of sulfur. Our model predicts that most of the missing sulfur is in the form of organo-sulfur species trapped on grains.


title: Model-based assessment of the Role of Uneven Partitioning of Molecular Content on Heterogeneity and Regulation of Differentiation in CD8 T-cell Immune Responses

abstract: Activation of naive CD8 T-cells can lead to the generation of multiple effector and memory subsets. Multiple parameters associated with activation conditions are involved in generating this diversity that is associated with heterogeneous molecular contents of activated cells. Although naive cell polarisation upon antigenic stimulation and the resulting asymmetric division are known to be a major source of heterogeneity and cell fate regulation, the consequences of stochastic uneven partitioning of molecular content upon subsequent divisions remain unclear yet. Here we aim at studying the impact of uneven partitioning on molecular-content heterogeneity and then on the immune response dynamics at the cellular level. To do so, we introduce a multiscale mathematical model of the CD8 T-cell immune response in the lymph node. In the model, cells are described as agents evolving and interacting in a 2D environment while a set of differential equations, embedded in each cell, models the regulation of intra and extracellular proteins involved in cell differentiation. Based on the analysis of in silico data at the single cell level, we 1 show that immune response dynamics can be explained by the molecular-content heterogeneity generated by uneven partitioning at cell division. In particular, uneven partitioning acts as a regulator of cell differentiation and induces the emergence of two coexisting sub-populations of cells exhibiting antagonistic fates. We show that the degree of unevenness of molecular partitioning, along all cell divisions, affects the outcome of the immune response and can promote the generation of memory cells.


title: Quantum-gravity effects for excited states of inflationary perturbations

abstract: We generalize former findings regarding quantum-gravitational corrections arising from a canonical quantization of a perturbed FLRW universe during inflation by considering an initial state for the scalar and tensor perturbations that generalizes the adiabatic vacuum state and allows us to consider the scenario that the perturbation modes start their evolution in an excited state. Our result shows that the quantum-gravitationally corrected power spectra get modified by pre-factors including the excitation numbers.


title: Filament Eruption and Its Reformation Caused by Emerging Magnetic Flux

abstract: We present observations of the eruption and then reformation of a filament caused by its nearby emerging magnetic flux. Driven by the emerging magnetic flux, the emerged positive fluxes moved toward and cancelled with its nearby negative fluxes, where the negative ends of a filament channel beneath the filament and a bundle of left-skewed coronal loops overlying the filament were anchored. Complemented by the nonlinear force-free field extrapolation, we find that the coronal magnetic field lines associated with the filament channel and the emerging magnetic fields consist of sheared field lines. Prior to the filament eruption, unambiguous observational evidence indicates that multiple interactions occurred between the emerging magnetic fields and the left-skewed coronal loops, implying a tether-weakening reconnection. Specifically, during the final episode of the tether-weakening reconnection, a remarkable sigmoid structure was formed and lifted up together with the filament. Accordingly, we speculate that the tether-weakening reconnection probably destabilized the filament system and triggered its rise. Subsequently, the filament and the sigmoid structure erupted together and produced a CME. After the eruption, the emerging magnetic fields continued to reconnect with the remaining filament channel, leading to the reformation of the filament. This observation strongly supports the idea that emerging magnetic flux plays an important role in triggering the filament to erupt, and the filament is reformed by magnetic reconnection between the emerging magnetic fields and its nearby filament channel.


title: A hybrid Benders decomposition and bees algorithm matheuristic approach to transmission expansion planning considering energy storage

abstract: This paper introduces a novel hybrid optimisation algorithm that combines elements of both metaheuristic search and integer programming. This new matheuristic combines elements of Benders decomposition and the Bees Algorithm, to create the Bee-Benders Hybrid Algorithm (BBHA) which retains many of the advantages both of the methods. Specifically it is designed to be easily parallelizable, to produce good solutions quickly while still retaining a guarantee of optimality when run for a sufficiently long time. The algorithm is tested using a transmission network expansion and energy storage planning model, a challenging and very large scale mixed integer linear programming problem. Transmission network planning problems are already difficult on their own. When including the planning for storage systems in the network, the variation of demand over time has to be taken into account significantly increasing the size and difficulty of the optimization problem. The BBHA is shown to be highly effective hybrid matheuristic algorithm that performs at least as well as either Benders decomposition or the Bees Algorithm where these are effective on their own, and significantly improves upon the individual approaches where neither component part has a pronounced advantage. While the paper demonstrates the effectiveness in terms of the concrete electricity network planning problem, the algorithm could be readily applied to any mixed integer linear program, and is expected to work particularly well whenever this has a structure that is amenable to Benders decomposition.


title: Dijkstra Monads for All

abstract: This paper proposes a general semantic framework for verifying programs with arbitrary monadic side-effects using Dijkstra monads, which we define as monad-like structures indexed by a specification monad. We prove that any monad morphism between a computational monad and a specification monad gives rise to a Dijkstra monad, which provides great flexibility for obtaining Dijkstra monads tailored to the verification task at hand. We moreover show that a large variety of specification monads can be obtained by applying monad transformers to various base specification monads, including predicate transformers and Hoare-style pre- and postconditions. For defining correct monad transformers, we propose a language inspired by Moggi's monadic metalanguage that is parameterized by a dependent type theory. We also develop a notion of algebraic operations for Dijkstra monads, and start to investigate two ways of also accommodating effect handlers. We implement our framework in both Coq and F*, and illustrate that it supports a wide variety of verification styles for effects such as exceptions, nondeterminism, state, input-output, and general recursion.


title: Convergent numerical methods for parabolic equations with reversed time via a new Carleman estimate

abstract: The key tool of this paper is a new Carleman estimate for an arbitrary parabolic operator of the second order for the case of reversed time data. This estimate works on an arbitrary time interval. On the other hand, the previously known Carleman estimate for the reversed time case works only on a sufficiently small time interval. First, a stability estimate is proven. Next, the quasi-reversibility numerical method is proposed for an arbitrary time interval for the linear case. This is unlike a sufficiently small time interval in the previous work. The convergence rate for the quasi-reversibility method is established. Finally, the quasilinear parabolic equation with reversed time is considered. A weighted globally strictly convex Tikhonov-like functional is constructed. The weight is the Carleman Weight Function which is involved in that Carleman estimate. The global convergence of the gradient projection method to the exact solution is proved for this functional.


title: Typicality of Prethermalization

abstract: Prethermalization refers to the remarkable relaxation behavior which an integrable many-body system in the presence of a weak integrability-breaking perturbation may exhibit: After initial transients have died out, it stays for a long time close to some non-thermal steady state, but on even much larger time scales it ultimately switches over to the proper thermal equilibrium behavior. By extending Deutsch's conceptual framework from Phys. Rev. A 43, 2046 (1991), we analytically predict that prethermalization is a typical feature for a very general class of such weakly perturbed systems.


title: Improving Task-Parameterised Movement Learning Generalisation with Frame-Weighted Trajectory Generation

abstract: Learning from Demonstration depends on a robot learner generalising its learned model to unseen conditions, as it is not feasible for a person to provide a demonstration set that accounts for all possible variations in non-trivial tasks. While there are many learning methods that can handle interpolation of observed data effectively, extrapolation from observed data offers a much greater challenge. To address this problem of generalisation, this paper proposes a modified Task-Parameterised Gaussian Mixture Regression method that considers the relevance of task parameters during trajectory generation, as determined by variance in the data. The benefits of the proposed method are first explored using a simulated reaching task data set. Here it is shown that the proposed method offers far-reaching, low-error extrapolation abilities that are different in nature to existing learning methods. Data collected from novice users for a real-world manipulation task is then considered, where it is shown that the proposed method is able to effectively reduce grasping performance errors by ${\sim30\%}$ and extrapolate to unseen grasp targets under real-world conditions. These results indicate the proposed method serves to benefit novice users by placing less reliance on the user to provide high quality demonstration data sets.


title: Rashba spin-splitting in ferroelectric oxides: from rationalizing to engineering

abstract: Ferroelectric Rashba semiconductors (FERSC), in which Rashba spin-splitting can be controlled and reversed by an electric field, have recently emerged as a new class of functional materials useful for spintronic applications. The development of concrete devices based on such materials is, however, still hampered by the lack of robust FERSC compounds. Here, we show that the coexistence of large spontaneous polarisation and sizeable spin-orbit coupling is not sufficient to have strong Rashba effects and clarify why simple ferroelectric oxide perovskites with transition metal at the B-site are typically not suitable FERSC candidates. By rationalizing how this limitation can be by-passed through band engineering of the electronic structure in layered perovskites, we identify the Bi$_2$WO$_6$ Aurivillius crystal as the first robust ferroelectric with large and reversible Rashba spin-splitting, that can even be substantially doped without losing its ferroelectric properties. Importantly, we highlight that a unidirectional spin-orbit field arises in layered Bi$_2$WO$_6$, resulting in a protection against spin-decoherence.We highlight moreover that a unidirectional spin-orbit field arises in Bi$_2$WO$_6$, in which the spin-texture is so protected against spin-decoherence.


title: Charged-lepton-flavor violation in $|\Delta S|=1$ hyperon decays

abstract: Studies of lepton-flavor violation in strangeness-changing ($|\Delta S|=1$) transitions have a~long tradition in the kaon sector where they provide some of the strongest limits on physics beyond the standard model. Recent hints of violation of lepton-flavor universality in $B$-meson decays have revived interest in lepton-flavor violation as the two phenomena appear simultaneously in many extensions of the standard model. At the same time, the LHCb experiment has produced new results for the hyperon process $\Sigma^+\to p\mu^+\mu^-$ and may be in a position to study other rare hyperon decay modes. With this in mind, we investigate $|\Delta S|=1$ hyperon decays into different-flavor lepton pairs $e^\pm\mu^\mp$ in a model-independent manner and contrast the coverage of parameter space that can be achieved with what is known from kaon modes. We include a comparison with selected two-body leptonic decays of charged mesons, with $K\to \pi\nu\bar\nu$ modes, with $\mu\to e$ conversion, and with lepton-flavor violating decays of other neutral mesons, all of which constrain the same parameter space in a complementary~way.


title: T-Dualities and Doubled Geometry of the Principal Chiral Model

abstract: The Principal Chiral Model (PCM) defined on the group manifold of SU(2) is here investigated with the aim of getting a further deepening of its relation with Generalized and Doubled Geometry. A one-parameter family of equivalent Hamiltonian descriptions is introduced, and cast into the form of Born geometries. Then O(3,3) duality transformations of the target phase space are performed and we show that the resulting dual models are defined on the group SB(2,C) which is the Poisson-Lie dual of SU(2) in the Iwasawa decomposition of the Drinfel'd double SL(2, C). Moreover, starting from the Lagrangian approach, a new kind of duality is found between the SU(2) PCM and the natural one defined on SB(2,C) which is not an isometry of the target phase space. A parent action with doubled degrees of freedom and configuration space SL(2, C) is then defined that reduces to either one of the dually related models, once suitable constraints are implemented.


title: The cone construction via intersection theory

abstract: We show a method in constructing algebraic cycles via intersection theory. It leads to a proof of the Lefschetz standard conjecture.


title: 57Fe enrichment in mice for \b{eta}-thalassaemia studies via Mossbauer spectroscopy of blood samples

abstract: In this work, wild-type and heterozygous \b{eta}-thalassaemic mice were enriched with 57Fe through gastrointestinal absorption to characterize in more details the iron complexes appeared in the measured Mossbauer spectra. The 57Fe enrichment method was validated and Mossbauer spectra were obtained at 80K from blood samples from wild-type and \b{eta}-thalassaemic mice at 1, 3, 6, and 9 months of age. As expected, the haemoglobin levels of the thalassaemic mice were lower than from normal mice indicating anaemia. Furthermore, significant amounts of ferritin-like iron were observed in the thalassaemic mice samples, which decreased with mouse age, reflecting the pattern of reticulocyte count reduction reported in the literature.


title: Attention-based Lane Change Prediction

abstract: Lane change prediction of surrounding vehicles is a key building block of path planning. The focus has been on increasing the accuracy of prediction by posing it purely as a function estimation problem at the cost of model understandability. However, the efficacy of any lane change prediction model can be improved when both corner and failure cases are humanly understandable. We propose an attention-based recurrent model to tackle both understandability and prediction quality. We also propose metrics which reflect the discomfort felt by the driver. We show encouraging results on a publicly available dataset and proprietary fleet data.


title: Review of High-Quality Random Number Generators

abstract: This is a review of pseudorandom number generators (RNG's) of the highest quality, suitable for use in the most demanding Monte Carlo calculations. All the RNG's we recommend here are based on the Kolmogorov-Anosov theory of mixing in classical mechanical systems, which guarantees under certain conditions and in certain asymptotic limits, that points on the trajectories of these systems can be used to produce random number sequences of exceptional quality. We outline this theory of mixing and establish criteria for deciding which RNG's are sufficiently good approximations to the ideal mathematical systems that guarantee highest quality. The well-known RANLUX (at highest luxury level) and its recent variant RANLUX++ are seen to meet our criteria, and some of the proposed versions of MIXMAX can be modified easily to meet the same criteria.

categories: physics.comp-ph hep-ex hep-lat physics.data-an


title: Semi-Supervised Brain Lesion Segmentation with an Adapted Mean Teacher Model

abstract: Automated brain lesion segmentation provides valuable information for the analysis and intervention of patients. In particular, methods based on convolutional neural networks (CNNs) have achieved state-of-the-art segmentation performance. However, CNNs usually require a decent amount of annotated data, which may be costly and time-consuming to obtain. Since unannotated data is generally abundant, it is desirable to use unannotated data to improve the segmentation performance for CNNs when limited annotated data is available. In this work, we propose a semi-supervised learning (SSL) approach to brain lesion segmentation, where unannotated data is incorporated into the training of CNNs. We adapt the mean teacher model, which is originally developed for SSL-based image classification, for brain lesion segmentation. Assuming that the network should produce consistent outputs for similar inputs, a loss of segmentation consistency is designed and integrated into a self-ensembling framework. Specifically, we build a student model and a teacher model, which share the same CNN architecture for segmentation. The student and teacher models are updated alternately. At each step, the student model learns from the teacher model by minimizing the weighted sum of the segmentation loss computed from annotated data and the segmentation consistency loss between the teacher and student models computed from unannotated data. Then, the teacher model is updated by combining the updated student model with the historical information of teacher models using an exponential moving average strategy. For demonstration, the proposed approach was evaluated on ischemic stroke lesion segmentation, where it improves stroke lesion segmentation with the incorporation of unannotated data.


title: Liver Pathology Simulation: Algorithm for Haptic Rendering and Force Maps for Palpation Assessment

abstract: Preoperative gestures include tactile sampling of the mechanical properties of biological tissue for both histological and pathological considerations. Tactile properties used in conjunction with visual cues can provide useful feedback to the surgeon. Development of novel cost effective haptic-based simulators and their introduction in the minimally invasive surgery learning cycle can absorb the learning curve for your residents. Receiving pre-training in a core set of surgical skills can reduce skill acquisition time and risks. We present the integration of a real-time surface stiffness adjustment algorithm and a novel paradigm -- force maps -- in a visuo-haptic simulator module designed to train internal organs disease diagnostics through palpation.


title: On the Solvability of Nonlinear Differential Equations Subject to Generalized Boundary Conditions

abstract: In this paper, we analyze nonlinear differential equations subject to generalized boundary conditions. More specifically, we provide a framework from which we can provide conditions, which are straightforward to check, for the solvability of a large number of nonlinear scalar boundary value problems. We begin by giving our general strategy which involves the reformulation of our boundary value problem as an operator equation. We then proceed to establish our results and compare them to closely related previous work.


title: A continuous dependence result for a dynamic debonding model in dimension one

abstract: In this paper we address the problem of continuous dependence on initial and boundary data for a one-dimensional debonding model describing a thin film peeled away from a substrate. The system underlying the process couples the weakly damped wave equation with a Griffith's criterion which rules the evolution of the debonded region. We show that under general convergence assumptions on the data the corresponding solutions converge to the limit one with respect to different natural topologies.


title: Triangle singularity in the $J/\psi \rightarrow K^+ K^- f_0(980)(a_0(980))$ decays

abstract: We study the $J/\psi \rightarrow K^+ K^- f_0(980)(a_0(980))$ reaction and find that the mechanism to produce this decay develops a triangle singularity around $M_{\rm inv}(K^- f_0/K^- a_0) \approx 1515$~MeV. The differential width $d\Gamma / dM_{\rm inv}(K^- f_0/K^- a_0)$ shows a rapid growth around the invariant mass being 1515~MeV as a consequence of the triangle singularity of this mechanism, which is directly tied to the nature of the $f_0(980)$ and $a_0(980)$ as dynamically generated resonances from the interaction of pseudoscalar mesons. The branching ratios obtained for the $J/\psi \rightarrow K^+ K^- f_0(980)(a_0(980))$ decays are of the order of $10^{-5}$, accessible in present facilities, and we argue that their observation should provide relevant information concerning the nature of the low-lying scalar mesons.


title: Multiscale inference and long-run variance estimation in nonparametric regression with time series errors

abstract: In this paper, we develop new multiscale methods to test qualitative hypotheses about the regression function m in a nonparametric regression model with fixed design points and time series errors. In time series applications, m represents a nonparametric time trend. Practitioners are often interested in whether the trend m has certain shape properties. For example, they would like to know whether m is constant or whether it is increasing/decreasing in certain time regions. Our multiscale methods allow to test for such shape properties of the trend m. In order to perform the methods, we require an estimator of the long-run variance of the error process. We propose a new difference-based estimator of the long-run error variance for the case that the error terms form an AR(p) process. In the technical part of the paper, we derive asymptotic theory for the proposed multiscale test and the estimator of the long-run error variance. The theory is complemented by a simulation study and an empirical application to climate data.


title: Graph Neural Networks for Modelling Traffic Participant Interaction

abstract: By interpreting a traffic scene as a graph of interacting vehicles, we gain a flexible abstract representation which allows us to apply Graph Neural Network (GNN) models for traffic prediction. These naturally take interaction between traffic participants into account while being computationally efficient and providing large model capacity. We evaluate two state-of-the art GNN architectures and introduce several adaptations for our specific scenario. We show that prediction error in scenarios with much interaction decreases by 30% compared to a model that does not take interactions into account. This suggests that interaction is important, and shows that we can model it using graphs. This makes GNNs a worthwhile addition to traffic prediction systems.


title: A microrod optical-frequency reference in the ambient environment

abstract: We present an ultrahigh-$Q$, solid-silica microrod resonator operated under ambient conditions that supports laser-fractional-frequency stabilization to the thermal-noise limit of $3 \times 10^{-13}$ and a linewidth of 62 Hz. We characterize the technical-noise mechanisms for laser stabilization, which contribute significantly less than thermal noise. With fiber photonics, we generate optical and microwave reference signals provided by the microrod modes and the free-spectral range, respectively. Our results suggest the future physical considerations for a miniature, low noise, and robust optical-frequency source.


title: Anomalous mesoscopic kinetics in disordered superconductors

abstract: We study anomalous mesoscopic transport effects at the onset of the superconducting transition focusing on the observed large Nernst-Ettinghausen signal in disordered thin films. In the vicinity of the transition, as the Ginzburg-Landau coherence length of preformed Cooper pairs diverges, short-range mesoscopic fluctuations are equivalent to local fluctuations of the critical temperature. As a result, the dynamical susceptibility function of pair propagation acquires a singular mesoscopic component, and consequently, superconducting correlations give rise to enhanced mesoscopic fluctuations of thermodynamic and transport characteristics. In contrast to disordered normal metals, the root-mean-square value of mesoscopic conductivity fluctuations ceases to be universal and displays strong dependence on dimensionality, temperature, and under certain conditions can exceed its quantum normal state value by a large factor. Interestingly, we find different universality as magnetic susceptibility, conductivity, and transverse magnetic thermopower coefficients all display the same temperature dependence. Finally, we discuss an enhancement of mesoscopic effects in the Seebeck thermoelectricity and Hall conductivity fluctuations as mediated by emergent superconductivity.


title: Global analysis of a simplified model of anaerobic digestion and a new result for the chemostat

abstract: A. Bornh\"oft, R. Hanke-Rauschenbach, and K. Sundmacher, [Nonlinear Dyn., 73 (2013), pp. 535-549] introduced a qualitative simplification to the ADM1 model for anaerobic digestion. We obtain global results for this model by first analyzing the limiting system, a model of single species growth in the chemostat in which the response function is non-monotone and the species decay rate is included. Using a Lyapunov function argument and the theory of asymptotically autonomous systems, we prove that even in the parameter regime where there is bistability, no periodic orbits exist and every solution converges to one of the equilibrium points. We then describe two algorithms for stochastically perturbing the parameters of the model. Simulations done with these two algorithms are compared with simulations done using the Gillespie and tau-leaping algorithms. They illustrate the severe impact environmental factors may have on anaerobic digestion in the transient phase.


title: The algebra of Wick polynomials of a scalar field on a Riemannian manifold

abstract: On a connected, oriented, smooth Riemannian manifold without boundary we consider a real scalar field whose dynamics is ruled by $E$, a second order elliptic partial differential operator of metric type. Using the functional formalism and working within the framework of algebraic quantum field theory and of the principle of general local covariance, first we construct the algebra of locally covariant observables in terms of equivariant sections of a bundle of smooth, regular polynomial functionals over the affine space of the parametrices associated to $E$. Subsequently, adapting to the case in hand a strategy first introduced by Hollands and Wald in a Lorentzian setting, we prove the existence of Wick powers of the underlying field, extending the procedure to smooth, local and polynomial functionals and discussing in the process the regularization ambiguities of such procedure. Subsequently we endow the space of Wick powers with an algebra structure, dubbed E-product, which plays in a Riemannian setting the same role of the time ordered product for field theories on globally hyperbolic spacetimes. In particular we prove the existence of the E-product and we discuss both its properties and the renormalization ambiguities in the underlying procedure. As last step we extend the whole analysis to observables admitting derivatives of the field configurations and we discuss the quantum M{\o}ller operator which is used to investigate interacting models at a perturbative level.


title: Optical signature of quantum coherence in fully dark exciton condensates

abstract: We predict that the collision of two fully dark exciton condensates produces interference fringes which are not only dark but also bright. So, quite surprisingly, the collision of coherent states made of dark excitons produces light. This remarkable effect, which is many-body in essence, comes from the composite boson nature of excitons, through the fermion exchanges they can have which transform dark states into bright states. The possibility of optically detecting quantum coherence in a regime where the system is hidden by its total darkness, was up to now considered as hopeless.


title: Embedding lens spaces in definite 4-manifolds

abstract: Every lens space has a locally flat embedding in a connected sum of 8 copies of the complex projective plane and a smooth embedding in n copies of the complex projective plane for some positive integer n. We show that there is no n such that every lens space smoothly embeds in n copies of the complex projective plane.


title: A novel ppm-precise absolute calibration method for precision high-voltage dividers

abstract: The most common method to measure direct current high voltage (HV) down to the ppm-level is to use resistive high-voltage dividers. Such devices scale the HV into a range where it can be compared with precision digital voltmeters to reference voltages sources, which can be traced back to Josephson voltage standards. So far the calibration of the scale factors of HV dividers for voltages above 1~kV could only be done at metrology institutes and sometimes involves round-robin tests among several institutions to get reliable results. Here we present a novel absolute calibration method based on the measurement of a differential scale factor, which can be performed with commercial equipment and outside metrology institutes. We demonstrate that reproducible measurements up to 35~kV can be performed with relative uncertainties below $1\cdot10^{-6}$. This method is not restricted to metrology institutes and offers the possibility to determine the linearity of high-voltage dividers for a wide range of applications.


title: Radiative transfer of hydrogen lines from supernova remnant shock waves: contributions of 2s-state hydrogen atoms

abstract: Radiative transfer in hydrogen lines in supernova remnant (SNR) shock waves is studied taking into account the population of the hydrogen atom 2s-state. Measurements of Balmer line emission, especially of H~$\alpha$, are often relied upon to derive physical conditions in the SNR shock. On the other hand, Lyman series photons, especially Ly~$\beta$, are mostly absorbed by upstream hydrogen atoms. As a result, atoms are excited to the 3p state, and then emit H~$\alpha$ by the spontaneous transition from 3p to 2s. Thus, the nature of H~$\alpha$ depends on how many Ly~$\beta$ photons are converted to H~$\alpha$ photons. Moreover, the Balmer lines can be scattered by the 2s-state hydrogen atoms, which are excited not only by collisional excitation but also by the Lyman-Balmer conversion. It is shown for example that the H~$\alpha$ photons are scattered if the shock propagates into an H~$_{\rm I}$ cloud with a density of $\sim30~{\rm cm^{-3}}$ and a size of $\sim 1$~pc. We find that the line profile of H~$\alpha$ becomes asymmetric resulting from the difference between line centre frequencies among the transitions from 3s to 2p, from 3p to 2s and from 3d to 2p. We also find that the broad-to-narrow ratio of H~$\alpha$, which is often used to estimate the ion-electron temperature equilibrium, varies at most $\simeq 10$ per cent depending on the ionization degree of the upstream medium because of incomplete conversion of Lyman lines to Balmer lines.


title: Towards Structured Evaluation of Deep Neural Network Supervisors

abstract: Deep Neural Networks (DNN) have improved the quality of several non-safety related products in the past years. However, before DNNs should be deployed to safety-critical applications, their robustness needs to be systematically analyzed. A common challenge for DNNs occurs when input is dissimilar to the training set, which might lead to high confidence predictions despite proper knowledge of the input. Several previous studies have proposed to complement DNNs with a supervisor that detects when inputs are outside the scope of the network. Most of these supervisors, however, are developed and tested for a selected scenario using a specific performance metric. In this work, we emphasize the need to assess and compare the performance of supervisors in a structured way. We present a framework constituted by four datasets organized in six test cases combined with seven evaluation metrics. The test cases provide varying complexity and include data from publicly available sources as well as a novel dataset consisting of images from simulated driving scenarios. The latter we plan to make publicly available. Our framework can be used to support DNN supervisor evaluation, which in turn could be used to motive development, validation, and deployment of DNNs in safety-critical applications.


title: Electroosmotic flow dipole: experimental observation and flow field patterning

abstract: We experimentally demonstrate the phenomenon of electroosmotic dipole flow that occurs around a localized surface charge region under the application of an external electric field in a Hele-Shaw cell. We use localized deposition of polyelectrolytes to create well-controlled surface charge variations, and show that for a disk-shaped spot, the internal pressure distribution that arises, results in uniform flow within the spot and dipole flow around it. We further demonstrate the superposition of surface charge spots to create complex flow patterns, without the use of physical walls.


title: On a gateway between the Laguerre process and dynamics on partitions

abstract: Probability measures and stochastic dynamics on matrices and on partitions are related by standard, albeit technical, discrete to continuous scaling limits. In this paper we provide exact relations, that go in both directions, between the eigenvalues of the Laguerre process and certain distinguished dynamics on partitions. This is done by generalizing to the multidimensional setting recent results of Miclo and Patie on linear one-dimensional diffusions and birth and death chains. As a corollary, we obtain an exact relation between the Laguerre and Meixner ensembles. Finally, we explain the deep connections with the Young bouquet and the z-measures on partitions.


title: Asymptotic behavior of time periodic solutions for extended Fisher-Kolmogorov equations with delays

abstract: In this paper, we investigate the global existence, uniqueness and asymptotic stability of time $\omega$-periodic classical solution for a class of extended Fisher-Kolmogorov equations with delays and general nonlinear term. We establish a general framework to find time $\omega$-periodic solutions for nonlinear extended Fisher-Kolmogorov equations with delays and general nonlinear function, which will provide an effective way to deal with such kinds of problems. The discussion is based on the theory of compact and analytic operator semigroups and maximal regularization method.


title: Using Causal Analysis to Learn Specifications from Task Demonstrations

abstract: Learning models of user behaviour is an important problem that is broadly applicable across many application domains requiring human-robot interaction. In this work we show that it is possible to learn a generative model for distinct user behavioral types, extracted from human demonstrations, by enforcing clustering of preferred task solutions within the latent space. We use this model to differentiate between user types and to find cases with overlapping solutions. Moreover, we can alter an initially guessed solution to satisfy the preferences that constitute a particular user type by backpropagating through the learned differentiable model. An advantage of structuring generative models in this way is that it allows us to extract causal relationships between symbols that might form part of the user's specification of the task, as manifested in the demonstrations. We show that the proposed method is capable of correctly distinguishing between three user types, who differ in degrees of cautiousness in their motion, while performing the task of moving objects with a kinesthetically driven robot in a tabletop environment. Our method successfully identifies the correct type, within the specified time, in 99% [97.8 - 99.8] of the cases, which outperforms an IRL baseline. We also show that our proposed method correctly changes a default trajectory to one satisfying a particular user specification even with unseen objects. The resulting trajectory is shown to be directly implementable on a PR2 humanoid robot completing the same task.


title: Linear periods of automorphic sheaves for GL_{2n}

abstract: We calculate, in the framework of the geometric Langlands program, the periods of cuspidal automorphic sheaves for GL_{2n} along the Levi subgroup GL_n\times\GL_n. We also solve the corresponding local problem.


title: Topology of Triple-Point Metals

abstract: We discuss and illustrate the appearance of topological fermions and bosons in triple-point metals, where a band crossing of three electronic bands occurs close to the Fermi level. Topological bosons appear in the phonon spectrum of certain triple-point metals, depending on the mass of atoms that form the binary triple-point metal. We first provide a classification of possible triple-point electronic topological phases possible in crystalline compounds and discuss the consequences of these topological phases, seen in Fermi arcs, topological Lifshitz transitions and transport anomalies. Then we show how the topological phase of phonon modes can be extracted and proven for relevant compounds. Finally, we show how the interplay of electronic and phononic topologies in triple-point metals puts these \textit{metallic} materials into the list of the most efficient \textit{metallic} thermoelectrics known to date.


title: A system of interacting neurons with short term synaptic facilitation

abstract: In this paper we present a simple microscopic stochastic model describing short term plasticity within a large homogeneous network of interacting neurons. Each neuron is represented by its membrane potential and by the residual calcium concentration within the cell at a given time. Neurons spike at a rate depending on their membrane potential. When spiking, the residual calcium concentration of the spiking neuron increases by one unit. Moreover, an additional amount of potential is given to all other neurons in the system. This amount depends linearly on the current residual calcium concentration within the cell of the spiking neuron. In between successive spikes, the potentials and the residual calcium concentrations of each neuron decrease at a constant rate. We show that in this framework, short time memory can be described as the tendency of the system to keep track of an initial stimulus by staying within a certain region of the space of configurations during a short but macroscopic amount of time before finally being kicked out of this region and relaxing to equilibrium. The main technical tool is a rigorous justification of the passage to a large population limit system and a thorough study of the limit equation.


title: Derivation of renormalized Gibbs measures from equilibrium many-body quantum Bose gases

abstract: We review our recent result on the rigorous derivation of the renormalized Gibbs measure from the many-body Gibbs state in 1D and 2D. The many-body renormalization is accomplished by simply tuning the chemical potential in the grand-canonical ensemble, which is analogous to the Wick ordering in the classical field theory.


title: Space-Time Modulation: Principles and Applications

abstract: This paper overviews the principles, theoretical analysis and numerical simulation of STM media and their applications in communication systems. We first present a global perspective on the principles of ST modulation, naturally and artificially created STM media and their applications in communication systems. Next, the interaction of artificial STM media with electromagnetic waves is analyzed, and numerical simulation of electromagnetic wave propagation and scattering from these media is provided. Then, the dispersion diagram of the STM medium is studied for the characterization of subluminal, luminal and superluminal ST modulations. In addition, we investigate the effect of length, modulation velocity, modulation frequency, and equilibrium on wave scattering from the STM medium. The extraordinary interaction of the STM medium with electromagnetic waves leads to unidirectional frequency generation and amplification, which are leveraged for the realization of various enhanced-efficiency broadband microwave components that are integrable with circuit technology, lightweight, tunable, and low cost. These applications include, but are not limited to, magnet-free isolators, magnet-free circulators, transceiver front-ends, and pure frequency mixers.


title: Reply to "Comment on "How (not) to renormalize integral equations with singular potentials in effective field theory"

abstract: We offer a brief response to the criticism put forward by Pavon Valderrama about our recent paper on "How (not) to renormalize integral equations with singular potentials in effective field theory".


title: Multiscale thermodynamics of charged mixtures

abstract: A multiscale theory of interacting continuum mechanics and thermodynamics of mixtures of fluids, electrodynamics, polarization and magnetization is proposed. The mechanical (reversible) part of the theory is constructed in a purely geometric way by means of semidirect products. This leads to a complex Hamiltonian system with a new Poisson bracket, which can be used in principle with any energy functional. The thermodynamic (irreversible) part is added as gradient dynamics, generated by derivatives of a dissipation potential, which makes the theory part of the GENERIC framework. Subsequently, Dynamic MaxEnt reductions are carried out, which lead to reduced GENERIC models for smaller sets of state variables. Eventually, standard engineering models are recovered as the low-level limits of the detailed theory. The theory is then compared to recent literature.

categories: physics.class-ph math-ph math.MP physics.flu-dyn


title: Using Word Embeddings for Visual Data Exploration with Ontodia and Wikidata

abstract: One of the big challenges in Linked Data consumption is to create visual and natural language interfaces to the data usable for non-technical users. Ontodia provides support for diagrammatic data exploration, showcased in this publication in combination with the Wikidata dataset. We present improvements to the natural language interface regarding exploring and querying Linked Data entities. The method uses models of distributional semantics to find and rank entity properties related to user input in Ontodia. Various word embedding types and model settings are evaluated, and the results show that user experience in visual data exploration benefits from the proposed approach.


title: High-resolution Resonance Spin-flip Raman Spectroscopy of Pairs of Manganese Ions in CdTe

abstract: We report the observation of tens of minor lines of the combinational spin-flip Raman scattering in a CdTe:Mn quantum well by means of the high-resolution optical spectroscopy. Classification of this manifold leads to four characteristic values of energy, that correspond to four different types of pair clusters of Mn ions: the nearest, second, third etc. neighbors. All the four energies show up in a single experiment with a very high precision, providing experimental grounds for a deeper understanding of the d-d exchange interactions in a diluted magnetic semiconductor and demonstrating the capacity of the employed method. The major (nearest-neighbor) exchange constant J_1 = 6.15 K was found to consent with its previously reported value. Other detected characteristic energies are as follows: J_{(2)} = 1.80 K, J_{(3)} = 1.39 K, J_{(4)} = 0.81 K.


title: Deep Inverse Tone Mapping Using LDR Based Learning for Estimating HDR Images with Absolute Luminance

abstract: In this paper, a novel inverse tone mapping method using a convolutional neural network (CNN) with LDR based learning is proposed. In conventional inverse tone mapping with CNNs, generated HDR images cannot have absolute luminance, although relative luminance can. Moreover, loss functions suitable for learning HDR images are problematic, so it is difficult to train CNNs by directly using HDR images. In contrast, the proposed method enables us not only to estimate absolute luminance, but also to train a CNN by using LDR images. The CNN used in the proposed method learns a transformation from various input LDR images to LDR images mapped by Reinhard's global operator. Experimental results show that HDR images generated by the proposed method have higher-quality than HDR ones generated by conventional inverse tone mapping methods,in terms of HDR-VDP-2.2 and PU encoding + MS-SSIM.


title: Detection of atomic nuclear reaction products via optical imaging

abstract: In this paper we propose a new method for measuring the cross section of low yield nuclear reactions by capturing the products in a cryogenically frozen noble gas solid. Once embedded in the noble gas solid, which is optically transparent, the product atoms can be selectively identified by laser induced fluorescence and individually counted via optical imaging to determine the cross section. Single atom sensitivity by optical imaging is feasible because the surrounding lattice of noble gas atoms facilitates a large wavelength shift between the excitation and emission spectrum of the product atoms. The tools and techniques from the fields of single molecule spectroscopy and superresolution imaging in combination with an electromagnetic recoil separator, for beam and isotopic differentiation, allow for a detection scheme with near unity efficiency, a high degree of selectivity, and single atom sensitivity. This technique could be used to determine a number of astrophysically important nuclear reaction rates.


title: Tuning topological orders by a conical magnetic field in the Kitaev model

abstract: We show that a conical magnetic field ${\bf H}=(1,1,1)H$ can be used to tune the topological order and hence anyon excitations of the $\mathrm{Z_2}$ quantum spin liquid in the isotropic antiferromagnetic Kitaev model. A novel topological order, featured with Chern number $C=4$ and Abelian anyon excitations, is induced in a narrow range of intermediate fields $H_{c1}\leq H\leq H_{c2}$. On the other hand, the $C=1$ Ising-topological order with non-Abelian anyon excitations, is previously known to be present at small fields, and interestingly, is found here to survive up to $H_{c1}$, and revive above $H_{c2}$, until the system becomes trivial above a higher field $H_{c3}$. The results are obtained by devoloping and applying a $\mathrm{Z_2}$ mean field theory, that works at zero as well as finite fields, and the associated variational quantum Monte Carlo.


title: Note on neutron star equation of state in the light of GW170817

abstract: From the very first multimessenger event of GW170817, clean robust constraints can be obtained for the tidal deformabilities of the two stars involved in the merger, which provides us unique opportunity to study the equation of states (EOSs) of dense stellar matter. In this contribution, we employ a model from the quark level, describing consistently a nucleon and many-body nucleonic system from a quark potential. We check that our sets of EOSs are consistent with available experimental and observational constraints at both sub-nuclear saturation densities and higher densities. The agreements with ab-initio calculations are also good. Especially, we tune the density dependence of the symmetry energy (characterized by its slope at nuclear saturation $L$) and study its influence on the tidal deformability. The so-called $QMF18$ EOS is named after the case of $L=40~\rm MeV$, and it gives $M_{\rm TOV} =2.08~M_\odot$ and $R= 11.77~\rm km$, $\Lambda=331$ for a $1.4\,M_\odot$ star. The tidal signals are demonstrated to be insensitive to the uncertain crust-core matching, despite the good correlation between the symmetry energy slope and the radius of the star.


title: Fast and robust reconstruction algorithm for fluorescence diffuse optical tomography assuming a cuboid target

abstract: A fast and robust algorithm for fluorescence diffuse optical tomography is proposed. We identify the location of a fluorescence target by assuming a cuboid. The proposed numerical method is verified by a numerical experiment and an in vivo experiment.


title: Inverse period mappings of $K3$ surfaces and a construction of modular forms for a lattice with the Kneser conditions

abstract: We explicitly construct modular forms on a $4$-dimensional bounded symmetric domain of type $IV$ based on the variation of the Hodge structures of $K3$ surfaces. We study the ring of our modular forms. Because of the Kneser conditions of the transcendental lattice of our family of $K3$ surfaces, our modular group has a good arithmetic property. Also, our results can be regarded as natural extensions of classical Siegel modular forms from the viewpoint of $K3$ surfaces.


title: Force Tracking in Cavity Optomechanics with a Two-Level Quantum System by Kalman Filtering

abstract: This paper investigates waveform estimation (tracking) of the time-varying force in a two-level optomechanical system with backaction noise by Kalman filtering. It is assumed that the backaction and measurement noises are Gaussian and white. By discretizing the continuous-time optomechanical system, the state of the resulting system can be estimated by the unbiased minimum variance Kalman filtering. Then an estimator of the time-varying force is obtained, provided that the external force is also in discrete time. Furthermore, the accuracy of the force estimation, described by the mean squared error, is derived theoretically. Finally, the feasibility of the proposed algorithm is illustrated by comparing the theoretical accuracy with the numerical accuracy in a numerical example.


title: Relation Extraction Datasets in the Digital Humanities Domain and their Evaluation with Word Embeddings

abstract: In this research, we manually create high-quality datasets in the digital humanities domain for the evaluation of language models, specifically word embedding models. The first step comprises the creation of unigram and n-gram datasets for two fantasy novel book series for two task types each, analogy and doesn't-match. This is followed by the training of models on the two book series with various popular word embedding model types such as word2vec, GloVe, fastText, or LexVec. Finally, we evaluate the suitability of word embedding models for such specific relation extraction tasks in a situation of comparably small corpus sizes. In the evaluations, we also investigate and analyze particular aspects such as the impact of corpus term frequencies and task difficulty on accuracy. The datasets, and the underlying system and word embedding models are available on github and can be easily extended with new datasets and tasks, be used to reproduce the presented results, or be transferred to other domains.


title: Autumnal deep scattering layer from moored acoustic sensing in the subtropical Canary Basin

abstract: An enhanced acoustic scatterer reflectance layer was observed in the bathypelagic zone around 1650 m in the subtropical NE-Atlantic Ocean for about two months during autumn. It resembles a classic pattern of diapause-resting, possibly of large zooplankton, shrimp and/or Cyclothone, at great depths well below any sunlight penetration, which is more commonly found at higher latitudes. The observed slow sink and rise of about 2-5 m per day into and out of this deep layer is considerably slower than the more than 1000 m per day of diel vertical migration (DVM). During the two-month period of deep scattering, DVM is observed to be greatly reduced.


title: Determining the Optimal Phase-Change Material via High-Throughput Calculations

abstract: The discovery and optimization of phase-change and shape memory alloys remain a tedious and expensive process. Here a simple computational method is proposed to determine the ideal phase-change material for a given alloy composed of three elements. Using first-principles calculations, within a high-throughput framework, the ideal composition of a phase-change material between any two assumed phases can be determined. This ideal composition minimizes the interface strain during the structural transformation. Then one can target this ideal composition experimentally to produce compounds with low mechanical failure rates for a potentially wide variety of applications. Here we will provide evidence of the effectiveness of our calculations for a well-known phase-change material in which we predict the ideal composition and compare it to experimental results.


title: Safety Verification and Robustness Analysis of Neural Networks via Quadratic Constraints and Semidefinite Programming

abstract: Certifying the safety or robustness of neural networks against input uncertainties and adversarial attacks is an emerging challenge in the area of safe machine learning and control. To provide such a guarantee, one must be able to bound the output of neural networks when their input changes within a bounded set. In this paper, we propose a semidefinite programming (SDP) framework to address this problem for feed-forward neural networks with general activation functions and input uncertainty sets. Our main idea is to abstract various properties of activation functions (e.g., monotonicity, bounded slope, bounded values, and repetition across layers) with the formalism of quadratic constraints. We then analyze the safety properties of the abstracted network via the S-procedure and semidefinite programming. Our framework spans the trade-off between conservatism and computational efficiency and applies to problems beyond safety verification. We evaluate the performance of our approach via numerical problem instances of various sizes.


title: Compressive optical imaging with a photonic lantern

abstract: The thin and flexible nature of optical fibres often makes them the ideal technology to view biological processes in-vivo, but current microendoscopic approaches are limited in spatial resolution. Here, we demonstrate a new route to high resolution microendoscopy using a multicore fibre (MCF) with an adiabatic multimode-to-singlemode photonic lantern transition formed at the distal end by tapering. We show that distinct multimode patterns of light can be projected from the output of the lantern by individually exciting the single-mode MCF cores, and that these patterns are highly stable to fibre movement. This capability is then exploited to demonstrate a form of single-pixel imaging, where a single pixel detector is used to detect the fraction of light transmitted through the object for each multimode pattern. A custom compressive imaging algorithm we call SARA-COIL is used to reconstruct the object using only the pre-measured multimode patterns themselves and the detector signals.