title: Evaluating Robustness of Deep Image Super-Resolution against Adversarial Attacks

abstract: Single-image super-resolution aims to generate a high-resolution version of a low-resolution image, which serves as an essential component in many computer vision applications. This paper investigates the robustness of deep learning-based super-resolution methods against adversarial attacks, which can significantly deteriorate the super-resolved images without noticeable distortion in the attacked low-resolution images. It is demonstrated that state-of-the-art deep super-resolution methods are highly vulnerable to adversarial attacks. Different levels of robustness of different methods are analyzed theoretically and experimentally. We also present analysis on transferability of attacks, and feasibility of targeted attacks and universal attacks.


title: Spin-dependent transport in van der Waals magnetic tunnel junctions with Fe3GeTe2 electrodes

abstract: Van der Waals (vdW) heterostructures, stacking different two-dimensional materials, have opened up unprecedented opportunities to explore new physics and device concepts. Especially interesting are recently discovered two-dimensional magnetic vdW materials, providing new paradigms for spintronic applications. Here, using density functional theory (DFT) calculations, we investigate the spin-dependent electronic transport across vdW magnetic tunnel junctions (MTJs) composed of Fe3GeTe2 ferromagnetic electrodes and a graphene or hexagonal boron nitride (h-BN) spacer layer. For both types of junctions, we find that the junction resistance changes by thousands of percent when the magnetization of the electrodes is switched from parallel to antiparallel. Such a giant tunneling magnetoresistance (TMR) effect is driven by dissimilar electronic structure of the two spin-conducting channels in Fe3GeTe2, resulting in a mismatch between the incoming and outgoing Bloch states in the electrodes and thus suppressed transmission for an antiparallel-aligned MTJ. The vdW bounding between electrodes and a spacer layer makes this result virtually independent of the type of the spacer layer, making the predicted giant TMR effect robust with respect to strain, lattice mismatch, interface distance and other parameters which may vary in the experiment. We hope that our results will further stimulate experimental studies of vdW MTJs and pave the way for their applications in spintronics.


title: Generalized topological semantics for weak modal logics

abstract: Generalized topological spaces are not necessarily closed under finite intersections. Moreover, the whole universe does not need to be open. We use modified version of this framework to establish certain models for non-normal modal logics. We consider at least two approaches to this topic, wherein one of them is based on the interplay of two operators, both reflecting the idea of necessity. The second one leads to the quite known logics MT4 and MNT4. We obtain some completeness results and we prove correspondence between different classes of frames. Also, three types of bisimulation are investigated.


title: Adapting Sequence to Sequence models for Text Normalization in Social Media

abstract: Social media offer an abundant source of valuable raw data, however informal writing can quickly become a bottleneck for many natural language processing (NLP) tasks. Off-the-shelf tools are usually trained on formal text and cannot explicitly handle noise found in short online posts. Moreover, the variety of frequently occurring linguistic variations presents several challenges, even for humans who might not be able to comprehend the meaning of such posts, especially when they contain slang and abbreviations. Text Normalization aims to transform online user-generated text to a canonical form. Current text normalization systems rely on string or phonetic similarity and classification models that work on a local fashion. We argue that processing contextual information is crucial for this task and introduce a social media text normalization hybrid word-character attention-based encoder-decoder model that can serve as a pre-processing step for NLP applications to adapt to noisy text in social media. Our character-based component is trained on synthetic adversarial examples that are designed to capture errors commonly found in online user-generated text. Experiments show that our model surpasses neural architectures designed for text normalization and achieves comparable performance with state-of-the-art related work.


title: A Crowdsourced Frame Disambiguation Corpus with Ambiguity

abstract: We present a resource for the task of FrameNet semantic frame disambiguation of over 5,000 word-sentence pairs from the Wikipedia corpus. The annotations were collected using a novel crowdsourcing approach with multiple workers per sentence to capture inter-annotator disagreement. In contrast to the typical approach of attributing the best single frame to each word, we provide a list of frames with disagreement-based scores that express the confidence with which each frame applies to the word. This is based on the idea that inter-annotator disagreement is at least partly caused by ambiguity that is inherent to the text and frames. We have found many examples where the semantics of individual frames overlap sufficiently to make them acceptable alternatives for interpreting a sentence. We have argued that ignoring this ambiguity creates an overly arbitrary target for training and evaluating natural language processing systems - if humans cannot agree, why would we expect the correct answer from a machine to be any different? To process this data we also utilized an expanded lemma-set provided by the Framester system, which merges FN with WordNet to enhance coverage. Our dataset includes annotations of 1,000 sentence-word pairs whose lemmas are not part of FN. Finally we present metrics for evaluating frame disambiguation systems that account for ambiguity.


title: Semi-conformal structure on certain vertex superalgebras associated to vertex superalgebroids

abstract: In this paper, we first give the definiton of a vertex superalgebroid. Then we construct a family of vertex superalgebras associated to vertex superalgebroids. As a main result, we find a sufficient and necessary condition that this vertex superalgebras are semi-conformal. In addition, we give an concrete example of this vertex superalgebras and apply our results to this superalgebra.


title: Synthesis of anti-perovskite-type carbides and nitrides from metal oxides and melamine

abstract: Four anti-perovskite-type compounds, ZnNNi3, ZnCNi3, SnNCo3, and SnCCo3, are synthesised through reactions between ingredient metal oxides and organic compound melamine (C3H6N6). ZnNNi3 and ZnCNi3 are selectively synthesised by choosing different reaction temperatures and nominal oxide-to-melamine ratios. SnNCo3 is synthesised for the first time by this melamine method. Resistivity, magnetisation, and heat capacity measurements reveal that SnNCo3 is a correlated metal with a high density of states at the Fermi level. Our results demonstrate that this feasible synthetic route using melamine is useful in the search for complex metal carbides and nitrides toward novel functional materials.


title: Deep learning methods based on cross-section images for predicting effective thermal conductivity of composites

abstract: Effective thermal conductivity is an important property of composites for different thermal management applications. Although physics-based methods, such as effective medium theory and solving partial differential equation, dominate the relevant research, there is significant interest to establish the structure-property linkage through the machine learning method. The performance of general machine learning methods is highly dependent on features selected to represent the microstructures. 3D convolutional neural networks (CNNs) can directly extract geometric features of composites, which have been demonstrated to establish structure-property linkages with high accuracy. However, to obtain the 3D microstructure in composite is generally challenging in reality. In this work, we attempt to use 2D cross-section images which can be easier to obtain in real applications as input of 2D CNNs to predict effective thermal conductivity of 3D composites. The results show that by using multiple cross-section images along or perpendicular to the preferred directionality of the fillers, the prediction accuracy of 2D CNNs can be as good as 3D CNNs. Such a result is demonstrated with the particle filled composite and a stochastic complex composite. The prediction accuracy is dependent on the representativeness of cross-section images used. Multiple cross-section images can fully determine the shape and distribution of fillers. The average over multiple images and the use of large-size images can reduce the uncertainty and increase the prediction accuracy. Besides, since cross-section images along the heat flow direction can distinguish between serial structures and parallel structures, they are more representative than cross-section images perpendicular to the heat flow direction.


title: A new numerical scheme for constrained total variation flows and its convergence

abstract: In this paper, we propose a new numerical scheme for a spatially discrete model of constrained total variation flows, which are total variation flows whose values are constrained in a Riemannian manifold. The difficulty of this problem is that the underlying function space is not convex and it is hard to calculate the minimizer of the functional with the manifold constraint. We overcome this difficulty by "localization technique" using the exponential map and prove the finite-time error estimate in general situation. Finally, we show a few numerical results for the cases that the target manifolds are $S^2$ and $SO(3)$.


title: Spin excitations of magnetoelectric LiNiPO$_4$ in multiple magnetic phases

abstract: Spin excitations of magnetoelectric LiNiPO$_4$ are studied by infrared absorption spectroscopy in the THz spectral range as a function of magnetic field through various commensurate and incommensurate magnetically ordered phases up to 33\,T. Six spin resonances and a strong two-magnon continuum are observed in zero magnetic field. Our systematic polarization study reveals that some of the excitations are usual magnetic-dipole active magnon modes, while others are either electromagnons, electric-dipole active, or magnetoelectric, both electric- and magnetic-dipole active spin excitations. Field-induced shifts of the modes for all three orientations of the field along the orthorhombic axes allow us to refine the values of the relevant exchange couplings, single-ion anisotropies, and the Dzyaloshinskii-Moriya interaction on the level of a four-sublattice mean-field spin model. This model also reproduces the spectral shape of the two-magnon absorption continuum, found to be electric-dipole active in the experiment.


title: Parametrised Complexity of Model Checking and Satisfiability in Propositional Dependence Logic

abstract: In this paper, we initiate a systematic study of the parametrised complexity in the field of Dependence Logics which finds its origin in the Dependence Logic of V\"a\"an\"anen from 2007. We study a propositional variant of this logic (PDL) and investigate a variety of parametrisations with respect to the central decision problems. The model checking problem (MC) of PDL is NP-complete. The subject of this research is to identify a list of parametrisations (formula-size, treewidth, treedepth, team-size, number of variables) under which MC becomes fixed-parameter tractable. Furthermore, we show that the number of disjunctions or the arity of dependence atoms (dep-arity) as a parameter both yield a paraNP-completeness result. Then, we consider the satisfiability problem (SAT) showing a different picture: under team-size, or dep-arity SAT is paraNP-complete whereas under all other mentioned parameters the problem is in FPT. Finally, we introduce a variant of the satisfiability problem, asking for teams of a given size, and show for this problem an almost complete picture.


title: The Dodecahedron as a Voronoi Cell and its (minor) importance for the Kepler conjecture

abstract: The regular dodecahedron has a 2% smaller volume than the rhombic dodecahedron which is the Voronoi cell of a fcc packing. From this point of view it seems possible that the dodecahedral aspect which is the core of the so-called dodecahedral conjecture, will play a major part for an elementary proof of the Kepler conjecture. In this paper we will show that the icosahedral configuration caused by dodecahedron leads to tetrahedra with significantly larger volume than the fcc fundamental parallelotope tessellation tetrahedra. Therefore on the basis of a tetrahedral based point of view for sphere packing densities we will demonstrate the minor importance of the dodecahedron as a Voronoi cell for the Kepler conjecture.


title: Face De-occlusion using 3D Morphable Model and Generative Adversarial Network

abstract: In recent decades, 3D morphable model (3DMM) has been commonly used in image-based photorealistic 3D face reconstruction. However, face images are often corrupted by serious occlusion by non-face objects including eyeglasses, masks, and hands. Such objects block the correct capture of landmarks and shading information. Therefore, the reconstructed 3D face model is hardly reusable. In this paper, a novel method is proposed to restore de-occluded face images based on inverse use of 3DMM and generative adversarial network. We utilize the 3DMM prior to the proposed adversarial network and combine a global and local adversarial convolutional neural network to learn face de-occlusion model. The 3DMM serves not only as geometric prior but also proposes the face region for the local discriminator. Experiment results confirm the effectiveness and robustness of the proposed algorithm in removing challenging types of occlusions with various head poses and illumination. Furthermore, the proposed method reconstructs the correct 3D face model with de-occluded textures.


title: Evolved Art with Transparent, Overlapping, and Geometric Shapes

abstract: In this work, an evolutionary art project is presented where images are approximated by transparent, overlapping and geometric shapes of different types, e.g., polygons, circles, lines. Genotypes representing features and order of the geometric shapes are evolved with a fitness function that has the corresponding pixels of an input image as a target goal. A genotype-to-phenotype mapping is therefore applied to render images, as the chosen genetic representation is indirect, i.e., genotypes do not include pixels but a combination of shapes with their properties. Different combinations of shapes, quantity of shapes, mutation types and populations are tested. The goal of the work herein is twofold: (1) to approximate images as precisely as possible with evolved indirect encodings, (2) to produce visually appealing results and novel artistic styles.


title: Multifunctional Metamirrors Involving Simultaneous Linear-polarization Conversion and Focusing

abstract: Reducing a set of diverse bulk-optic-based optical components to a single ultrathin and compact element that enables the same complex functionality has become an emerging research area, propelling further integration and miniaturization in photonics. In this work, we establish a versatile metasurface platform based on gap-surface plasmon meta-atoms enabling efficient linear-polarization conversion along with the complete phase control over reflected fields. Capitalizing on the meta-atom design, multifunctional metamirrors involving linear-polarization conversion and focusing are experimentally demonstrated to generate various kinds of focused beams with distinct phase distributions and wavefronts, reproducing thereby the combined functionalities of conventional half-wave plates, lenses, and even spatial light modulators. The proof-of-concept fabricated metamirrors exhibit excellent capability of linear-polarization conversion and focusing within the wavelength range from 800 to 950 nm under linearly-polarized excitation. The multifunctional metamirrors design developed in this study opens new avenues in the advanced research and applications targeting photonics integration of diversified functionalities.


title: Formation of Acetaldehyde on CO-rich Ices

abstract: The radicals HCO and CH$_3$ on carbon monoxide ice surfaces were simulated using density functional theory. Their binding energy on amorphous CO ice shows broad distributions, with approximative average values of 500 K for HCO and 200 K for CH$_3$. If they are located on the surface close to each other (3 to 4 \AA), molecular dynamics calculations based on density functional theory show that they can form acetaldehyde (CH$_3$CHO) or CH$_4$ + CO in barrier-less reactions, depending on the initial orientation of the molecules with respect to each other. In some orientations, no spontaneous reactions were found, the products remained bound to the surface. Sufficient configurational sampling, inclusion of the vibrational zero point energy, and a thorough benchmark of the applied electronic structure method are important to predict reliable binding energies for such weakly interacting systems. From these results it is clear that complex organic molecules, like acetaldehyde, can be formed by recombination reactions of radicals on CO surfaces.


title: Error analysis of fully discrete mixed finite element data assimilation schemes for the Navier-Stokes equations

abstract: In this paper we consider fully discrete approximations with inf-sup stable mixed finite element methods in space to approximate the Navier-Stokes equations. A continuous downscaling data assimilation algorithm is analyzed in which measurements on a coarse scale are given represented by different types of interpolation operators. For the time discretization an implicit Euler scheme, an implicit and a semi-implicit second order backward differentiation formula %BDF2 scheme and a semi-implicit BDF2 scheme are considered. Uniform in time error estimates are obtained for all the methods for the error between the fully discrete approximation and the reference solution corresponding to the measurements. For the spatial discretization we consider both the Galerkin method and the Galerkin method with grad-div stabilization. For the last scheme error bounds in which the constants do not depend on inverse powers of the viscosity are obtained.


title: The INTERNODES method for the treatment of non-conforming multipatch geometries in Isogeometric Analysis

abstract: In this paper we apply the INTERNODES method to solve second order elliptic problems discretized by Isogeometric Analysis methods on non-conforming multiple patches in 2D and 3D geometries. INTERNODES is an interpolation-based method that, on each interface of the configuration, exploits two independent interpolation operators to enforce the continuity of the traces and of the normal derivatives. INTERNODES supports non-conformity on NURBS spaces as well as on geometries. We specify how to set up the interpolation matrices on non-conforming interfaces, how to enforce the continuity of the normal derivatives and we give special attention to implementation aspects. The numerical results show that INTERNODES exhibits optimal convergence rate with respect to the mesh size of the NURBS spaces an that it is robust with respect to jumping coefficients.


title: Phase stiffness in an antiferromagnetic superconductor

abstract: We analyze the suppression of the phase stiffness in a superconductor by antiferromagnetic order. The analysis is based on a general expression for the phase stiffness in a mean-field state with coexisting spin-singlet superconductivity and spiral magnetism. Neel order is included as a special case. Close to half-filling, where the pairing gap is much smaller than the magnetic gap, a simple formula for the phase stiffness in terms of magnetic quasi-particle bands is derived. The phase stiffness is determined by charge carriers in small electron or hole pockets in this regime. The general analysis is complemented by a numerical calculation for the two-dimensional Hubbard model with nearest and next-to-nearest neighbor hopping amplitudes at a moderate interaction strength. The resulting phase stiffness exhibits a striking electron-hole asymmetry. In the ground state, it is larger than the pairing gap on the hole-doped side, and smaller for electron doping. Hence, in the hole-doped regime near half-filling the ground state pairing gap sets the scale for the Kosterlitz-Thouless temperature T_c^{KT}, while in the slightly electron-doped regime T_c^{KT} is determined essentially by the ground state phase stiffness.


title: PWOC-3D: Deep Occlusion-Aware End-to-End Scene Flow Estimation

abstract: In the last few years, convolutional neural networks (CNNs) have demonstrated increasing success at learning many computer vision tasks including dense estimation problems such as optical flow and stereo matching. However, the joint prediction of these tasks, called scene flow, has traditionally been tackled using slow classical methods based on primitive assumptions which fail to generalize. The work presented in this paper overcomes these drawbacks efficiently (in terms of speed and accuracy) by proposing PWOC-3D, a compact CNN architecture to predict scene flow from stereo image sequences in an end-to-end supervised setting. Further, large motion and occlusions are well-known problems in scene flow estimation. PWOC-3D employs specialized design decisions to explicitly model these challenges. In this regard, we propose a novel self-supervised strategy to predict occlusions from images (learned without any labeled occlusion data). Leveraging several such constructs, our network achieves competitive results on the KITTI benchmark and the challenging FlyingThings3D dataset. Especially on KITTI, PWOC-3D achieves the second place among end-to-end deep learning methods with 48 times fewer parameters than the top-performing method.


title: Conveying Situational Information to People with Visual Impairments

abstract: Knowing who is in one's vicinity is key to managing privacy in everyday environments, but is challenging for people with visual impairments. Wearable cameras and other sensors may be able to detect such information, but how should this complex visually-derived information be conveyed in a way that is discreet, intuitive, and unobtrusive? Motivated by previous studies on the specific information that visually impaired people would like to have about their surroundings, we created three medium-fidelity prototypes: 1) a 3D printed model of a watch to convey tactile information; 2) a smartwatch app for haptic feedback; and 3) a smartphone app for audio feedback. A usability study with 14 participants with visual impairments identified a range of practical issues (e.g., speed of conveying information) and design considerations (e.g., configurable privacy bubble) for conveying privacy feedback in real-world contexts.


title: Ability and Context Based Adaptive System: A Proposal for Machine Learning Approach

abstract: When we interact with small screen devices, sometimes we make errors, due to our abilities/disabilities, contextual factors that distract our attention or problems related to the interface. Recovering from these errors may be time consuming or cause frustration. Predicting and learning these errors based on the previous user interaction and contextual factors, and adapting user interface to prevent from these errors can improve user performance and satisfaction. In this paper, we propose a system that aims to monitor user performance and contextual changes and do adaptations based on the user performance by using machine learning techniques. Here, we briefly present our systematic literature review findings and discuss our research questions towards developing such an adaptive system.


title: Expressive haptics for enhanced usability of mobile interfaces in situations of impairments

abstract: Designing for situational awareness could lead to better solutions for disabled people, likewise, exploring the needs of disabled people could lead to innovations that can address situational impairments. This in turn can create non-stigmatising assistive technology for disabled people from which eventually everyone could benefit. In this paper, we investigate the potential for advanced haptics to compliment the graphical user interface of mobile devices, thereby enhancing user experiences of all people in some situations (e.g. sunlight interfering with interaction) and visually impaired people. We explore technical solutions to this problem space and demonstrate our justification for a focus on the creation of kinaesthetic force feedback. We propose initial design concepts and studies, with a view to co-create delightful and expressive haptic interactions with potential users motivated by scenarios of situational and permanent impairments.


title: Method Cards for Designing for Situational Impairment

abstract: Despite significant research that was influenced by Situationally-Induced Impairments and Disabilities (SIIDs) to improve the accessibility of mobile technology, there is still lack of awareness on how to design for SIIDs. Designing for situational impairments does not only affect usability for people who have temporary or long-term disabilities, but also for the "ideal" users who get impacted. Limited resources on how to design for situational impairments overlook inclusive interactions and hinder the creation of accessible technology. Thus, I am going to create method cards that can be used during the design process to figure out how to get designers to design for SIIDs. These method cards help us better understand how to improve the design process by addressing the subject of how to design in order to reduce SIIDs.


title: Applications of Siegel's Lemma to a system of linear forms and its minimal points

abstract: Consider a real matrix $\Theta$ consisting of rows $(\theta_{i,1},\ldots,\theta_{i,n})$, for $1\leq i\leq m$. The problem of making the system linear forms $x_{1}\theta_{i,1}+\cdots+x_{n}\theta_{i,n}-y_{i}$ for integers $x_{j},y_{i}$ small naturally induces an ordinary and a uniform exponent of approximation, denoted by $w(\Theta)$ and $\widehat{w}(\Theta)$ respectively. For $m=1$, a sharp lower bound for the ratio $w(\Theta)/\widehat{w}(\Theta)$ was recently established by Marnat and Moshchevitin. We give a short, new proof of this result upon a hypothesis on the best approximation integer vectors associated to $\Theta$. Our conditional result extends to general $m>1$ (but may not be optimal in this case). Moreover, our hypothesis is always satisfied in particular for $m=1, n=2$ and thereby unconditionally confirms a previous observation of Jarn\'ik. We formulate our results in the more general context of approximation of subspaces of Euclidean spaces by lattices. We further establish criteria upon which a given number $\ell$ of consecutive best approximation vectors are linearly independent. Our method is based on Siegel's Lemma.


title: AirPen: A Touchless Fingertip Based Gestural Interface for Smartphones and Head-Mounted Devices

abstract: Hand gestures are an intuitive, socially acceptable, and a non-intrusive interaction modality in Mixed Reality (MR) and smartphone based applications. Unlike speech interfaces, they tend to perform well even in shared and public spaces. Hand gestures can also be used to interact with smartphones in situations where the user's ability to physically touch the device is impaired. However, accurate gesture recognition can be achieved through state-of-the-art deep learning models or with the use of expensive sensors. Despite the robustness of these deep learning models, they are computationally heavy and memory hungry, and obtaining real-time performance on-device without additional hardware is still a challenge. To address this, we propose AirPen: an analogue to pen on paper, but in air, for in-air writing and gestural commands that works seamlessly in First and Second Person View. The models are trained on a GPU machine and ported on an Android smartphone. AirPen comprises of three deep learning models that work in tandem: MobileNetV2 for hand localisation, our custom fingertip regression architecture followed by a Bi-LSTM model for gesture classification. The overall framework works in real-time on mobile devices and achieves a classification accuracy of 80% with an average latency of only 0.12 s.


title: An ethnographic study of visual impairments for voice user interface design

abstract: Design for Voice User Interfaces (VUIs) has become more relevant in recent years due to the enormous advances of speech technologies and their growing presence in our everyday lives. Although modern VUIs still present interaction issues, reports indicate they are being adopted by people with different disabilities and having a positive impact. For the first author's PhD research project, an ethnographic study is currently being carried out in a local charity that provides support and services to people with visual impairments. The purpose is to understand people's competencies and practices, and how these are, or could be, related to voice technologies (assistive technology and mainstream VUIs). Through direct observation and contextual interviews, we aim to investigate the problems and solutions they encounter and the ways they cope with particular situations.


title: Nearly quantized conductance plateau of vortex zero mode in an iron-based superconductor

abstract: Majorana zero-modes (MZMs) are spatially-localized zero-energy fractional quasiparticles with non-Abelian braiding statistics that hold a great promise for topological quantum computing. Due to its particle-antiparticle equivalence, an MZM exhibits robust resonant Andreev reflection and 2e2/h quantized conductance at low temperature. By utilizing variable-tunnel-coupled scanning tunneling spectroscopy, we study tunneling conductance of vortex bound states on FeTe0.55Se0.45 superconductors. We report observations of conductance plateaus as a function of tunnel coupling for zero-energy vortex bound states with values close to or even reaching the 2e2/h quantum conductance. In contrast, no such plateau behaviors were observed on either finite energy Caroli-de Genne-Matricon bound states or in the continuum of electronic states outside the superconducting gap. This unique behavior of the zero-mode conductance reaching a plateau strongly supports the existence of MZMs in this iron-based superconductor, which serves as a promising single-material platform for Majorana braiding at a relatively high temperature.


title: Evidence for a TDE origin of the radio transient Cygnus A-2

abstract: In 2015, a radio transient named Cygnus A-2 was discovered in Cygnus A with the Very Large Array. Because of its radio brightness ($\nu F_{\nu} \approx 6 \times 10^{39}$ erg s$^{-1}$), this transient likely represents a secondary black hole in orbit around the AGN. Using {\it Chandra} ACIS observations from 2015 to 2017, we have looked for an X-ray counterpart to Cygnus A-2. The separation of 0.42 arcsec means that Cygnus A-2 can not be spatially resolved, but by comparing the data with simulated \texttt{marx} data, we put an upper limit to the 2-10 keV X-ray luminosity of Cygnus A-2 of $1 \times 10^{43}$ erg s$^{-1}$. Using the Fundamental Plane for accreting black holes, we find that our upper limit to the X-ray flux of Cygnus A-2 in 2015-2017 disfavours the interpretation of Cygnus A-2 as a steadily accreting black hole. We suggest instead that Cygnus A-2 is the radio afterglow of a tidal disruption event (TDE), and that a peak in the 2-10 keV luminosity of the nuclear region in 2013, when it was observed by {\it Swift} and {\it NuSTAR}, is X-ray emission from the TDE. A TDE could naturally explain the X-ray light curve of the nuclear region, as well as the appearance of a short-lived, fast, and ionized outflow previously detected in the 2013 {\it NuSTAR} spectrum. Both the radio and X-ray luminosities fall in between typical luminosities for 'thermal' and 'jetted' TDE types, suggesting that Cygnus A-2 would be unlike previously seen TDE's.


title: Generalized Supergravity Equations and Generalized Fradkin-Tseytlin Counterterm

abstract: The generalized Fradkin-Tseytlin counterterm for the (type I) Green-Schwarz superstring is determined for background fields satisfying the generalized supergravity equations (GSE). For this purpose, we revisit the derivation of the GSE based upon the requirement of kappa-symmetry of the superstring action. Lifting the constraint of vanishing bosonic torsion components, we are able to make contact to several different torsion constraints used in the literature. It is argued that a natural geometric interpretation of the GSE vector field that generalizes the dilaton is as the torsion vector, which can combine with the dilatino spinor into the torsion supervector. To find the counterterm, we use old results for the one-loop effective action of the heterotic sigma model. The counterterm is covariant and involves the worldsheet torsion for vanishing curvature, but cannot be constructed as a local functional in terms of the worldsheet metric. It is shown that the Weyl anomaly cancels without imposing any further constraints on the background fields. In the case of ordinary supergravity, it reduces to the Fradkin-Tseytlin counterterm modulo an additional constraint.


title: A streaming feature-based compression method for data from instrumented infrastructure

abstract: An increasing amount of civil engineering applications are utilising data acquired from infrastructure instrumented with sensing devices. This data has an important role in monitoring the response of these structures to excitation, and evaluating structural health. In this paper we seek to monitor pedestrian-events (such as a person walking) on a footbridge using strain and acceleration data. The rate of this data acquisition and the number of sensing devices make the storage and analysis of this data a computational challenge. We introduce a streaming method to compress the sensor data, whilst preserving key patterns and features (unique to different sensor types) corresponding to pedestrian-events. Numerical demonstrations of the methodology on data obtained from strain sensors and accelerometers on the pedestrian footbridge are provided to show the trade-off between compression and accuracy during and in-between periods of pedestrian-events.


title: Situationally-Induced Impairments and Disabilities Research

abstract: Research has shown that various environmental factors impact smartphone interaction and lead to Situationally-Induced Impairments and Disabilities. In this work we discuss the importance of thoroughly understanding the effects of these situational impairments on smartphone interaction. We argue that systematic investigation of the effects of different situational impairments is quintessential for conducting successful research in the field of SIIDs that might lead to building appropriate sensing, modelling, and adapting techniques. We also provide insights for future work identifying potential directions to conduct research in SIIDs.


title: Designing Mobile Interaction Guidelines to Account for Situationally Induced Impairments and Disabilities (SIID) and Severely Constraining Situational Impairments (SCSI)

abstract: This research investigates the variety and complexity of situational impairment events (SIE) that are being experienced by users of smartphone technology of all abilities. The authors have created a classification system to help describe the different types of SIE as well as differentiate a certain subgroup of events that were identified as severely constraining. Continuing research examined workarounds that users deploy when attempting to complete a mobile I/O transaction in the presence of an SIE, as well as social/cultural barriers to attempting mobile interaction that users recognize but do not always follow. The ultimate goal of this research arc would be the creation of guidelines to assist mobile designers and researchers in the accounting of SIE and perhaps different design considerations for those events deemed severely constraining.


title: Comment on the X(3915) nonstandard hadron candidate

abstract: I review the experimental evidence for the $X(3915)$, the candidate nonstandard meson associated with $\omega J\psi$ resonance-like peaks in $B\rightarrow K\omega J\psi$ and $\gamma\gamma\rightarrow\omega J\psi$ near $M(\omega J\psi)=3920$~MeV, and address the conjecture that it can be identified as the $\chi_{c2}^\prime$, the radial excitation of the $\chi_{c2}$ charmonium state. Since the partial decay width for $B\rightarrow K X(3915)$ is at least an order-of-magnitude larger than that for $B\rightarrow K\chi_{c2}$, its assignment as the $\chi_{c2}^\prime$ is dubious.


title: Situationally Induced Impairment in Navigation Support for Runners

abstract: Mobile devices are ubiquitous and support us in a myriad of situations. In this paper, we study the support that mobile devices provide for navigation. It presents our findings on the Situational Induced Impairments and Disabilities (SIID) during running. We define the context of runners and the factors affecting the use of mobile devices for navigation during running. We discuss design implications and introduce early concepts to address the uncovered SIID issues. This work contributes to the growing body of research on SIID in using mobile devices.


title: Looking At Situationally-Induced Impairments And Disabilities (SIIDs) With People With Cognitive Brain Injury

abstract: In this document, we discuss our work into a speaker recognition to support people with prosopagnosia and the limitations of alerting the user of whom they are in discussion with. We will discuss how current research into Situationally Induced Impairments Disabilities (SIIDs) can assist people with disabilities and vice versa and how our work can support people who may find themselves in a situation where they are impaired with facial recognition.


title: High-efficiency terahertz spin-decoupled meta-coupler for spoof surface plasmon excitation and beam steering

abstract: Spoof surface plasmon (SSP) meta-couplers that efficiently integrate other diversified functionalities into a single ultrathin device are highly desirable in the modern microwave and terahertz fields. However, the diversified functionalities, to the best of our knowledge, have not been applied to circular polarization meta-couplers because of the spin coupling between the orthogonal incident waves. In this paper, we propose and numerically demonstrate a terahertz spin-decoupled bifunctional meta-coupler for SSP excitation and beam steering. The designed meta-coupler is composed of a coupling metasurface and a propagating metasurface. The former aims at realizing anomalous reflection or converting the incident waves into SSP under the illumination of the left or right circular polarization waves, respectively, and the latter are used to guide out the excited SSP. The respective converting efficiency can reach 82% and 70% at 0.3THz for the right and left circular polarization incident waves. Besides, by appropriately adjusting the reflection phase distribution, many other diversified functionalities can also be integrated into the meta-coupler. Our study may open up new routes for polarization-related SSP couplers, detectors, and other practical terahertz devices.


title: Universal Design and Adaptive Interfaces as a Strategy for Induced Disabilities

abstract: There is great promise in creating effective technology experiences during situationally-induced impairments and disabilities through the combination of universal design and adaptive interfaces. We believe this combination is a powerful approach for meeting the UX needs of people with disabilities, including those which are temporary in nature. Research in each of these areas, and the combination, illustrates this promise.


title: Cosmological constraints from cosmic homogeneity

abstract: In this paper, we study the normalised characteristic scale of transition to cosmic homogeneity, $\mathcal{R}_H/d_V$, as a cosmological probe. We use a compilation of SDSS galaxy samples, comprising more than $10^6$ galaxies in the redshift range $0.17 \leq z \leq 2.2$ within the largest comoving volume to date, $\sim 8 h^{-3}\mathrm{Gpc}^3$. We show that these samples can be described by a single bias model as a function of redshift. By combining our measurements with prior Cosmic Microwave Background and Lensing information from the Planck satellite, we constrain the total matter density ratio of the universe, $\Omega_m = 0.363 \pm 0.025$, and the Dark Energy density ratio, $\Omega_{\Lambda} = 0.649 \pm 0.021$, improving the values from Planck alone by 31% and 28%, respectively. Our results are compatible with a flat $\Lambda$CDM model. These results show the complementarity of the normalised homogeneity scale with other cosmological probes and open new roads to cosmometry.


title: A robust approach to model-based classification based on trimming and constraints

abstract: In a standard classification framework a set of trustworthy learning data are employed to build a decision rule, with the final aim of classifying unlabelled units belonging to the test set. Therefore, unreliable labelled observations, namely outliers and data with incorrect labels, can strongly undermine the classifier performance, especially if the training size is small. The present work introduces a robust modification to the Model-Based Classification framework, employing impartial trimming and constraints on the ratio between the maximum and the minimum eigenvalue of the group scatter matrices. The proposed method effectively handles noise presence in both response and exploratory variables, providing reliable classification even when dealing with contaminated datasets. A robust information criterion is proposed for model selection. Experiments on real and simulated data, artificially adulterated, are provided to underline the benefits of the proposed method.


title: Double Neutron Star Formation: Merger Times, Systemic Velocities, and Travel Distances

abstract: The formation and evolution of double neutron stars (DNS) have traditionally been studied using binary population synthesis. In this work, we take an alternative approach by focusing only on the second supernova (SN) forming the DNS and the subsequent orbital decay and merger due to gravitational wave radiation. Using analytic and numerical methods, we explore how different NS natal kick velocity distributions, pre-SN orbital separations, and progenitor He-star masses affect the post-SN orbital periods, eccentricities, merger times, systemic velocities, and distances traveled by the system before merging. Comparison with the set of 17 known DNSs in the Milky Way shows that DNSs have pre-SN orbital separations ranging between 1 and 44 $R_{\odot}$. Those DNSs with pre-SN separations $\sim$1 $R_{\odot}$ have merger time distributions that peak $\sim$10-100 Myr after formation, regardless of the kick velocity received by the NS. These DNSs are typically formed with systemic velocities $\sim$10$^2$ km s$^{-1}$ and may travel $\sim$1-10 kpc before merging. Depending on progenitor mass of the second-born NS, the short merger time can account for the $r$-process enrichment observed in compact stellar systems such as ultra-faint dwarf galaxies. For Milky Way-mass galaxies only DNSs with the tightest pre-SN orbits and large kick velocities ($\gtrsim$10$^2$ km s$^{-1}$) can escape. However, those DNSs that do escape may travel as far as $\sim$Mpc before merging, which as previous studies have pointed out has implications for identifying the host galaxies to short gamma ray bursts and gravitational wave events.


title: The development and evaluation of the SmartAbility Android Application to detect users' abilities

abstract: The SmartAbility Android Application recommends Assistive Technology (AT) for people with reduced physical ability, by focusing on the actions (abilities) that can be performed independently. The Application utilises built-in sensor technologies in Android devices to detect user abilities, including head and limb movements, speech and blowing. The Application was evaluated by 18 participants with varying physical conditions and assessed through the System Usability Scale (SUS) and NASA Task Load Index (TLX). The Application achieved a SUS score of 72.5 (indicating 'Good Usability') with low levels of Temporal Demand and Frustration and medium levels of Mental Demand, Physical Demand and Effort. It is anticipated that the SmartAbility Application will be disseminated to the AT domain, to improve quality of life for people with reduced physical ability.


title: Uncertainty from Heisenberg to Today

abstract: We explore the different meanings of "quantum uncertainty" contained in Heisenberg's seminal paper from 1927, and also some of the precise definitions that were explored later. We recount the controversy about "Anschaulichkeit", visualizability of the theory, which Heisenberg claims to resolve. Moreover, we consider Heisenberg's programme of operational analysis of concepts, in which he sees himself as following Einstein. Heisenberg's work is marked by the tensions between semiclassical arguments and the emerging modern quantum theory, between intuition and rigour, and between shaky arguments and overarching claims. Nevertheless, the main message can be taken into the new quantum theory, and can be brought into the form of general theorems. They come in two kinds, not distinguished by Heisenberg. These are, on one hand, constraints on preparations, like the usual textbook uncertainty relation, and, on the other, constraints on joint measurability, including trade-offs between accuracy and disturbance.


title: Intersubband pairing induced Fulde-Ferrell phase in metallic nanofilms

abstract: We consider a free-standing metallic nanofilm with a predominant intersubband paring which emerges as a result of the confinement in the growth direction. We show that the Fermi wave vector mismatch between the subbands, detrimental to the intersubband pairing, can be compensated by the non-zero center of mass momentum of the Cooper pairs. This leads to the spontaneous appearance of the intersubband Fulde-Ferrell (IFF) state, even in the absence of an external magnetic field. Our study of the intrasubband pairing channel on the stability of the IFF phase shows that the former strongly competes with the intersubband pairing, which prohibits the coexistence of the two superconducting phases. Interestingly, upon application of the magnetic field we find a transition to an exotic mixed spin-singlet subband-triplet and spin-triplet subband-singlet paired state. Finally, we discuss the possibility of existence of the IFF pairing in novel superconducting materials.


title: Low-rank binary matrix approximation in column-sum norm

abstract: We consider $\ell_1$-Rank-$r$ Approximation over GF(2), where for a binary $m\times n$ matrix ${\bf A}$ and a positive integer $r$, one seeks a binary matrix ${\bf B}$ of rank at most $r$, minimizing the column-sum norm $||{\bf A} -{\bf B}||_1$. We show that for every $\varepsilon\in (0, 1)$, there is a randomized $(1+\varepsilon)$-approximation algorithm for $\ell_1$-Rank-$r$ Approximation over GF(2) of running time $m^{O(1)}n^{O(2^{4r}\cdot \varepsilon^{-4})}$. This is the first polynomial time approximation scheme (PTAS) for this problem.


title: A fast and parametric digitization for triple-GEM detectors

abstract: Triple-GEM detectors are a well known technology in high energy physics. In order to have a complete understanding of their behavior, in parallel with on beam testing, a Monte Carlo code has to be developed to simulate their response to the passage of particles. The software must take into account all the physical processes involved from the primary ionization up to the signal formation, e.g. the avalanche multiplication and the effect of the diffusion on the electrons. In the case of gas detectors, existing software such as Garfield already perform a very detailed simulation but are CPU time consuming. A description of a reliable but faster simulation is presented here: it uses a parametric description of the variables of interest obtained by suitable preliminary Garfield simulations and tuned to the test beam data. It can reproduce the real values of the charge measured by the strip, needed to reconstruct the position with the Charge Centroid method. In addition, particular attention was put to the simulation of the timing information, which permits to apply also the micro-Time Projection Chamber position reconstruction, for the first time on a triple-GEM. A comparison between simulation and experimental values of some sentinel variables in different conditions of magnetic field, high voltage settings and incident angle will be shown.


title: Double hypergeometric L\'evy processes and self-similarity

abstract: Motivated by a recent paper of Budd, where a new family of positive self-similar Markov processes associated to stable processes appears, we introduce a new family of L\'evy processes, called the double hypergeometric class, whose Wiener-Hopf factorisation is explicit, and as a result many functionals can be determined in closed form.


title: Strong Convergence of Infinite Color Balanced Urns Under Uniform Ergodicity

abstract: We consider the generalization of the P\'olya urn scheme with possibly infinite many colors as introduced in \cite{Th-Thesis, BaTH2014, BaTh2016, BaTh2017}. For countable many colors, we prove almost sure convergence of the urn configuration under \emph{uniform ergodicity} assumption on the associated Markov chain. The proof uses a stochastic coupling of the sequence of chosen colors with a \emph{branching Markov chain} on a weighted \emph{random recursive tree} as described in \cite{BaTh2017, Sv_2018}. Using this coupling we estimate the covariance between any two selected colors. In particular, we reprove the limit theorem for the classical urn models with finitely many colors.


title: Towards Photographic Image Manipulation with Balanced Growing of Generative Autoencoders

abstract: We present a generative autoencoder that provides fast encoding, faithful reconstructions (eg. retaining the identity of a face), sharp generated/reconstructed samples in high resolutions, and a well-structured latent space that supports semantic manipulation of the inputs. There are no current autoencoder or GAN models that satisfactorily achieve all of these. We build on the progressively growing autoencoder model PIONEER, for which we completely alter the training dynamics based on a careful analysis of recently introduced normalization schemes. We show significantly improved visual and quantitative results for face identity conservation in CelebAHQ. Our model achieves state-of-the-art disentanglement of latent space, both quantitatively and via realistic image attribute manipulations. On the LSUN Bedrooms dataset, we improve the disentanglement performance of the vanilla PIONEER, despite having a simpler model. Overall, our results indicate that the PIONEER networks provide a way towards photorealistic face manipulation.


title: Reverberation mapping of narrow-line Seyfert 1 galaxy I Zwicky 1: black hole mass

abstract: We report results of the first reverberation mapping campaign of I Zwicky 1 during $2014$-$2016$, which showed unambiguous reverberations of the broad H$\beta$ line emission to the varying optical continuum. From analysis using several methods, we obtain a reverberation lag of $\tau_{\rm H\beta}=37.2^{+4.5}_{-4.9}\,$ days. Taking a virial factor of $f_{_{\rm BLR}}=1$, we find a black hole mass of $M_{\bullet}=9.30_{-1.38}^{+1.26}\times 10^6 M_{\odot}$ from the mean spectra. The accretion rate is estimated to be $203.9_{-65.8}^{+61.0}\,L_{\rm Edd}c^{-2}$, suggesting a super-Eddington accretor, where $L_{\rm Edd}$ is the Eddington luminosity and $c$ is the speed of light. By decomposing {\it Hubble Space Telescope} images, we find that the stellar mass of the bulge of its host galaxy is $\log (M_{\rm bulge}/M_{\odot}) = \rm 10.92\pm 0.07$. This leads to a black hole to bulge mass ratio of $\sim 10^{-4}$, which is significantly smaller than that of classical bulges and elliptical galaxies. After subtracting the host contamination from the observed luminosity, we find that I Zw 1 follows the empirical $R_{\rm BLR}\propto L_{5100}^{1/2}$ relation.


title: Fermionic spectrum from a domain wall in five dimensions

abstract: We study fermions in a domain wall backgrounds in five dimensional supergravity, which is similar to zero temperature limit of holographic superconductor. We find the fermionic operators for small charges in the dual four dimensional theory have gapped spectrum.


title: Generalized Artin pattern of heterogeneous multiplets of dihedral fields and proof of Scholz's conjecture

abstract: The concept of Artin transfer pattern $((\ker(T_{K,N_i}))_i,(\mathrm{Cl}_p(N_i))_i)$ for homogeneous multiplets $(N_1,\ldots,N_m)$ of unramified cyclic prime degree p extensions $N_i/K$ of a base field K with p-class transfer homomorphisms$T_{K,N_i}:\,\mathrm{Cl}_p(K)\to\mathrm{Cl}_p(N_i)$ is generalized for heterogeneous multiplets of ramified extensions. By application to quadratic subfields K of dihedral fields N of degree 2p with an odd prime p, a conjecture of Scholz concerning the index of subfield units, $(U_N:U_0)$, for ramified extensions N/K with conductor f>1 is verified computationally.


title: Protected $SL(2,\mathbb{R})$ Symmetry in Quantum Cosmology

abstract: The polymer quantization of cosmological backgrounds provides an alternative path to the original Wheeler-de Witt (WdW) quantum cosmology, based on a different representation the commutation relations of the canonical variables. This polymer representation allows to capture the lattice like structure of the quantum geometry and leads to a radically different quantum cosmology compared to the WdW construction. This new quantization scheme has attracted considerable attention due to the singularity resolution it allows in a wide class of symmetry reduced gravitational systems, in particular where the WdW scheme fails. However, as any canonical quantization scheme, ambiguities in the construction of the quantum theory, being regularization or factor-ordering ones, can drastically modify the resulting quantum dynamics. In this work, we propose a new criteria to restrict the quantization ambiguities in the simplest model of polymer quantum cosmology, for homogeneous and isotropic General Relativity minimally coupled to a massless scalar field. This new criteria is based on an underlying $\mathfrak{sl}(2,\mathbb{R})$ structure present in the phase space of this simple cosmological model. By preserving the symmetry of this cosmological system under this 1d conformal group, we derive a new regularization of the phase space. We perform both its polymer quantization and a quantization scheme directly providing a representation of the SL$(2,\mathbb{R})$ group action. The resulting quantum cosmology can be viewed as a lattice-like quantum mechanics with an SL$(2,\mathbb{R})$ invariance. This provides a new version of Loop Quantum Cosmology consistent with the conformal symmetry. This alternative construction opens new directions, among which a possible mapping with the conformal quantum mechanics as well as with recent matrix or tensor models constructions for quantum cosmological space-time.


title: Maximizing Online Utilization with Commitment

abstract: We investigate online scheduling with commitment for parallel identical machines. Our objective is to maximize the total processing time of accepted jobs. As soon as a job has been submitted, the commitment constraint forces us to decide immediately whether we accept or reject the job. Upon acceptance of a job, we must complete it before its deadline $d$ that satisfies $d \geq (1+\epsilon)\cdot p + r$, with $p$ and $r$ being the processing time and the submission time of the job, respectively while $\epsilon>0$ is the slack of the system. Since the hard case typically arises for near-tight deadlines, we consider $\varepsilon\leq 1$. We use competitive analysis to evaluate our algorithms. Our first main contribution is a deterministic preemptive online algorithm with an almost tight competitive ratio on any number of machines. For a single machine, the competitive factor matches the optimal bound $\frac{1+\epsilon}{\epsilon}$ of the greedy acceptance policy. Then the competitive ratio improves with an increasing number of machines and approaches $(1+\epsilon)\cdot\ln \frac{1+\epsilon}{\epsilon}$ as the number of machines converges to infinity. This is an exponential improvement over the greedy acceptance policy for small $\epsilon$. In the non-preemptive case, we present a deterministic algorithm on $m$ machines with a competitive ratio of $1+m\cdot \left(\frac{1+\epsilon}{\epsilon}\right)^{\frac{1}{m}}$. This matches the optimal bound of $2+\frac{1}{\epsilon}$ of the greedy acceptance policy for a single machine while it again guarantees an exponential improvement over the greedy acceptance policy for small $\epsilon$ and large $m$. In addition, we determine an almost tight lower bound that approaches $m\cdot \left(\frac{1}{\epsilon}\right)^{\frac{1}{m}}$ for large $m$ and small $\epsilon$.


title: Geometry-Aware Maximum Likelihood Estimation of Intrinsic Dimension

abstract: The existing approaches to intrinsic dimension estimation usually are not reliable when the data are nonlinearly embedded in the high dimensional space. In this work, we show that the explicit accounting to geometric properties of unknown support leads to the polynomial correction to the standard maximum likelihood estimate of intrinsic dimension for flat manifolds. The proposed algorithm (GeoMLE) realizes the correction by regression of standard MLEs based on distances to nearest neighbors for different sizes of neighborhoods. Moreover, the proposed approach also efficiently handles the case of nonuniform sampling of the manifold. We perform numerous experiments on different synthetic and real-world datasets. The results show that our algorithm achieves state-of-the-art performance, while also being computationally efficient and robust to noise in the data.


title: Boost the Impact of Continuous Formal Verification in Industry

abstract: Software model checking has experienced significant progress in the last two decades, however, one of its major bottlenecks for practical applications remains its scalability and adaptability. Here, we describe an approach to integrate software model checking techniques into the DevOps culture by exploiting practices such as continuous integration and regression tests. In particular, our proposed approach looks at the modifications to the software system since its last verification, and submits them to a continuous formal verification process, guided by a set of regression test cases. Our vision is to focus on the developer in order to integrate formal verification techniques into the developer workflow by using their main software development methodologies and tools.


title: Single plasmon generation in an InAs/GaAs quantum dot in a transfer-printed plasmonic microring resonator

abstract: We report single plasmon generation with a self-assembled InAs/GaAs quantum dot embedded in a plasmonic microring resonator. The plasmonic cavity based on a GaAs microring is defined on an atomically-smooth silver surface. We fabricated this structure with the help of transfer printing, which enables the pick-and-place assembly of the complicated, heterogeneous three dimensional stack. We show that a high-order surface-plasmon-polariton transverse mode mediates efficient coupling between the InAs/GaAs quantum dots and the plasmonic cavity, paving the way for developing plasmonic quantum light sources based on the state-of-the-art solid-state quantum emitters. Experimentally, we observed Purcell-enhanced radiation from the quantum dot coupled to the plasmonic mode. We also observed a strong anti-bunching in the intensity correlation histogram measured for scattered photons from the plasmonic resonator, indicating single plasmon generation in the resonator. Our results will be important in the development of quantum plasmonic circuits integrating high-performance single plasmon generators.


title: Renormalization of vector fields with mass-like coupling in curved spacetime

abstract: Using the method of covariant symbols we compute the divergent part of the effective action of the Proca field with non-minimal mass term. Specifically a quantum Abelian vector field with a non-derivative coupling to an external tensor field in curved spacetime in four dimensions is considered. Relatively explicit expressions are obtained which are manifestly local but non polynomial in the external fields. Our result is shown to reproduce existing ones in all particular cases considered. Internal consistency with Weyl invariance is also verified.


title: Pushing the Limits of Exoplanet Discovery via Direct Imaging with Deep Learning

abstract: Further advances in exoplanet detection and characterisation require sampling a diverse population of extrasolar planets. One technique to detect these distant worlds is through the direct detection of their thermal emission. The so-called direct imaging technique, is suitable for observing young planets far from their star. These are very low signal-to-noise-ratio (SNR) measurements and limited ground truth hinders the use of supervised learning approaches. In this paper, we combine deep generative and discriminative models to bypass the issues arising when directly training on real data. We use a Generative Adversarial Network to obtain a suitable dataset for training Convolutional Neural Network classifiers to detect and locate planets across a wide range of SNRs. Tested on artificial data, our detectors exhibit good predictive performance and robustness across SNRs. To demonstrate the limits of the detectors, we provide maps of the precision and recall of the model per pixel of the input image. On real data, the models can re-confirm bright source detections.


title: Interpretable Classification from Skin Cancer Histology Slides Using Deep Learning: A Retrospective Multicenter Study

abstract: For diagnosing melanoma, hematoxylin and eosin (H&E) stained tissue slides remains the gold standard. These images contain quantitative information in different magnifications. In the present study, we investigated whether deep convolutional neural networks can extract structural features of complex tissues directly from these massive size images in a patched way. In order to face the challenge arise from morphological diversity in histopathological slides, we built a multicenter database of 2241 digital whole-slide images from 1321 patients from 2008 to 2018. We trained both ResNet50 and Vgg19 using over 9.95 million patches by transferring learning, and test performance with two kinds of critical classifications: malignant melanomas versus benign nevi in separate and mixed magnification; and distinguish among nevi in maximum magnification. The CNNs achieves superior performance across both tasks, demonstrating an AI capable of classifying skin cancer in the analysis from histopathological images. For making the classifications reasonable, the visualization of CNN representations is furthermore used to identify cells between melanoma and nevi. Regions of interest (ROI) are also located which are significantly helpful, giving pathologists more support of correctly diagnosis.


title: Examining the Mapping Functions of Denoising Autoencoders in Singing Voice Separation

abstract: The goal of this work is to investigate what singing voice separation approaches based on neural networks learn from the data. We examine the mapping functions of neural networks based on the denoising autoencoder (DAE) model that are conditioned on the mixture magnitude spectra. To approximate the mapping functions, we propose an algorithm inspired by the knowledge distillation, denoted the neural couplings algorithm (NCA). The NCA yields a matrix that expresses the mapping of the mixture to the target source magnitude information. Using the NCA, we examine the mapping functions of three fundamental DAE-based models in music source separation; one with single-layer encoder and decoder, one with multi-layer encoder and single-layer decoder, and one using skip-filtering connections (SF) with a single-layer encoding and decoding. We first train these models with realistic data to estimate the singing voice magnitude spectra from the corresponding mixture. We then use the optimized models and test spectral data as input to the NCA. Our experimental findings show that approaches based on the DAE model learn scalar filtering operators, exhibiting a predominant diagonal structure in their corresponding mapping functions, limiting the exploitation of inter-frequency structure of music data. In contrast, skip-filtering connections are shown to assist the DAE model in learning filtering operators that exploit richer inter-frequency structures.


title: On the Calibration of Force/Torque Sensors in Robotics

abstract: We present and analyze methods for the kinematic and kinetostatic calibration of, typically, wrist mounted force/torque sensors in robotics. The algorithms are based on matrix factorization and require no special equipment. The only requirement is the ability to reorient the sensor and to measure its orientation in a fixed coordinate system, such as through the forward kinematics of a robot manipulator, or using an external tracking system. We present methods to find the rotation matrix between the coordinate system of the sensor and that of the tool flange, the mass held by the force sensor at rest, the vector to the center of gravity of this mass and the gravitational acceleration vector.


title: Proceedings Joint International Workshop on Linearity & Trends in Linear Logic and Applications

abstract: This volume contains a selection of papers presented at Linearity/TLLA 2018: Joint Linearity and TLLA workshops (part of FLOC 2018) held on July 7-8, 2018 in Oxford. Linearity has been a key feature in several lines of research in both theoretical and practical approaches to computer science. On the theoretical side there is much work stemming from linear logic dealing with proof technology, complexity classes and more recently quantum computation. On the practical side there is work on program analysis, expressive operational semantics for programming languages, linear programming languages, program transformation, update analysis and efficient implementation techniques. Linear logic is not only a theoretical tool to analyse the use of resources in logic and computation. It is also a corpus of tools, approaches, and methodologies (proof nets, exponential decomposition, geometry of interaction, coherent spaces, relational models, etc.) that were originally developed for the study of linear logic's syntax and semantics and are nowadays applied in several other fields.


title: Opportunities in Time-Domain Extragalactic Astrophysics with the NASA Near-Earth Object Camera (NEOCam)

abstract: This White Pape motivates the time domain extragalactic science case for the NASA Near-Earth Object Camera (NEOCam). NEOCam is a NASA Planetary mission whose goal is to discover and characterize asteroids and comets, to assess the hazard to Earth from near-Earth objects, and to study the origin, evolution, and fate of asteroids and comets. NEOCam will, however, cover 68% of the extragalactic sky and as the NEOWISE-R mission has recently proved, infrared information is now vital for identifying and characterizing the $\gtrsim$10 million IR bright Active Galactic Nuclei, as well as using the IR light curve to provide deep insights into accretion disk astrophysics. NEOWISE-R data has also been used to discover Super-luminous Supernovae, dust echos in Tidal Disruption Events and detects all of the known $z\geq7$ quasars (and over 80% of the known $z\geq6.70$ quasars). As such, for relatively little additional cost, adding the capacity for additional NEOCam data processing (and/or alerting) would have a massive scientific and legacy impact on extragalactic time domain science.


title: A mean first passage time genome rearrangement distance

abstract: This paper introduces a new way to define a genome rearrangement distance, using the concept of mean first passage time from probability theory. Crucially, this distance estimate provides a genuine metric on genome space. We develop the theory and introduce a link to a graph-based zeta function. The approach is very general and can be applied to a wide variety of group-theoretic models of genome evolution.


title: Zooming-in on a L\'evy process: Failure to observe threshold exceedance over a dense grid

abstract: For a L\'evy process $X$ on a finite time interval consider the probability that it exceeds some fixed threshold $x>0$ while staying below $x$ at the points of a regular grid. We establish exact asymptotic behavior of this probability as the number of grid points tends to infinity. We assume that $X$ has a zooming-in limit, which necessarily is $1/\alpha$-self-similar L\'evy process with $\alpha\in(0,2]$, and restrict to $\alpha>1$. Moreover, the moments of the difference of the supremum and the maximum over the grid points are analyzed and their asymptotic behavior is derived. It is also shown that the zooming-in assumption implies certain regularity properties of the ladder process, and the decay rate of the left tail of the supremum distribution is determined.


title: Guidelines for data analysis scripts

abstract: Unorganized heaps of analysis code are a growing liability as data analysis pipelines are getting longer and more complicated. This is worrying, as neuroscience papers are getting retracted due to programmer error. In this paper, some guidelines are presented that help keep analysis code well organized, easy to understand and convenient to work with: 1. Each analysis step is one script 2. A script either processes a single recording, or aggregates across recordings, never both 3. One master script to run the entire analysis 4. Save all intermediate results 5. Visualize all intermediate results 6. Each parameter and filename is defined only once 7. Distinguish files that are part of the official pipeline from other scripts In addition to discussing the reasoning behind each guideline, an example analysis pipeline is presented as a case study to see how each guideline translates into code.


title: The energy of dilute Bose gases

abstract: For a dilute system of non-relativistic bosons interacting through a positive $L^1$ potential $v$ with scattering length $a$ we prove that the ground state energy density satisfies the bound $e(\rho) \geq 4\pi a \rho^2 (1+ \frac{128}{15\sqrt{\pi}} \sqrt{\rho a^3} +o(\sqrt{\rho a^3}\,))$, thereby proving the Lee-Huang-Yang formula for the energy density.


title: Modelling the observable behaviour of SXP 5.05

abstract: SXP 5.05 is a Be/X-ray binary with a neutron star companion located in the Small Magellanic Cloud. It was first detected in 2013, and later that year, SXP 5.05 underwent a massive optical and X-ray outburst. This outburst dwarfs any other optical event that has been observed for this system during the last 5 years. The large increase in optical brightness of the system implies an increase in the size and density of the Be star's circumstellar disc. The X-ray data show two occultations of the neutron star per orbit and is not consistent with a neutron star passing behind the Be star, and hence the disc is responsible for these occultations. In this paper, we model the outburst of Be/neutron star binary SXP 5.05 as being due to a large increase in mass ejection by the Be star. The neutron star passes directly through the growing disc, and it is shown that the resulting obscuration can qualitatively explain the observed X-ray behaviour of the system. We find the only way to reproduce the timescales of the observed optical behaviour of the system is to increase the mass ejection substantially for a short time (<2 orbits) and to decrease the viscosity during the event. The general behaviour of the observed X-ray and Ha line emission are also reproduced by the model. However, the inferred mass ejection and viscosity needed to produce a sufficiently rapid increase of disc size are both higher than suggested by previous works.


title: Adaptive Bayesian phase estimation for quantum error correcting codes

abstract: Realisation of experiments even on small and medium-scale quantum computers requires an optimisation of several parameters to achieve high-fidelity operations. As the size of the quantum register increases, the characterisation of quantum states becomes more difficult since the number of parameters to be measured grows as well and finding efficient observables in order to estimate the parameters of the model becomes a crucial task. Here we propose a method relying on application of Bayesian inference that can be used to determine systematic, unknown phase shifts of multi-qubit states. This method offers important advantages as compared to Ramsey-type protocols. First, application of Bayesian inference allows the selection of an adaptive basis for the measurements which yields the optimal amount of information about the phase shifts of the state. Secondly, this method can process the outcomes of different observables at the same time. This leads to a substantial decrease in the resources needed for the estimation of phases, speeding up the state characterisation and optimisation in experimental implementations. The proposed Bayesian inference method can be applied in various physical platforms that are currently used as quantum processors.


title: An Empirical Evaluation Study on the Training of SDC Features for Dense Pixel Matching

abstract: Training a deep neural network is a non-trivial task. Not only the tuning of hyperparameters, but also the gathering and selection of training data, the design of the loss function, and the construction of training schedules is important to get the most out of a model. In this study, we perform a set of experiments all related to these issues. The model for which different training strategies are investigated is the recently presented SDC descriptor network (stacked dilated convolution). It is used to describe images on pixel-level for dense matching tasks. Our work analyzes SDC in more detail, validates some best practices for training deep neural networks, and provides insights into training with multiple domain data.


title: Secure mmWave Communications in Cognitive Radio Networks

abstract: In this letter, the secrecy performance in cognitive radio networks (CRNs) over fluctuating two-ray (FTR) channels, which is used to model the millimetre wave channel, is investigated in terms of the secrecy outage probability (SOP). Specifically, we consider the case where a source (S) transmits confidential messages to a destination (D), and an eavesdropper wants to wiretap the information from S to D. In a CRN framework, we assume that the primary user shares its spectrum with S, where S adopts the underlay strategy to control its transmit power without impairing the quality of service of the primary user. After some mathematical manipulations, an exact analytical expression for the SOP is derived. In order to get physical and technical insights into the effect of the channel parameters on the SOP, we derive an asymptotic formula for the SOP in the high signal-to-noise ratio region of the S--D link. We finally show some selected Monte-Carlo simulation results to validate the correctness of our derived analytical expressions.


title: Surface energy and boundary layers for a chain of atoms at low temperature

abstract: We analyze the surface energy and boundary layers for a chain of atoms at low temperature for an interaction potential of Lennard-Jones type. The pressure (stress) is assumed small but positive and bounded away from zero, while the temperature $\beta^{-1}$ goes to zero. Our main results are: (1) As $\beta \to \infty$ at fixed positive pressure $p>0$, the Gibbs measures $\mu_\beta$ and $\nu_\beta$ for infinite chains and semi-infinite chains satisfy path large deviations principles. The rate functions are bulk and surface energy functionals $\overline{\mathcal{E}}_{\mathrm{bulk}}$ and $\overline{\mathcal{E}}_\mathrm{surf}$. The minimizer of the surface functional corresponds to zero temperature boundary layers. (2) The surface correction to the Gibbs free energy converges to the zero temperature surface energy, characterized with the help of the minimum of $\overline{\mathcal{E}}_\mathrm{surf}$. (3) The bulk Gibbs measure and Gibbs free energy can be approximated by their Gaussian counterparts. (4) Bounds on the decay of correlations are provided, some of them uniform in $\beta$.


title: Quantum features of macroscopic fields. Entropy and dynamics

abstract: Macroscopic fields like electromagnetic, MHD, acoustic or gravitational waves are usually described by classical wave equations with possible additional damping terms and coherent sources. The aim of this paper is to develop a complete macroscopic formalism including random/thermal sources, dissipation and random scattering of waves by environment. The proposed reduced state of field (RSF) combines averaged field with the two-point correlation function called single-particle density matrix. The evolution equations for RSF is obtained by reduction of the generalized quasi-free dynamical semigroups describing irreversible evolution of bosonic quantum field and the definition of RSF's entropy follows from the von Neumann entropy of quantum field states. The presented formalism can be applied, for example, to superradiance phenomena and allows to unify the Mueller and Jones calculi in polarization optics.


title: MAT-free reflection arrangements

abstract: We introduce the class of MAT-free hyperplane arrangements which is based on the Multiple Addition Theorem by Abe, Barakat, Cuntz, Hoge, and Terao. We also investigate the closely related class of MAT2-free arrangements based on a recent generalization of the Multiple Addition Theorem by Abe and Terao. We give classifications of the irreducible complex reflection arrangements which are MAT-free respectively MAT2-free. Furthermore, we ask some questions concerning relations to other classes of free arrangements.


title: Reply to "Revisiting the solution of the second-class constraints of the Holst action"

abstract: Reply to arXiv:1903.09201.


title: Design and performance analysis of a fully distributed source detection algorithm for WSNs

abstract: In this article, we consider the detection of a localized source emitting a signal using a wireless sensor network (WSN). We consider that geographically distributed sensor nodes obtain energy measurements and compute cooperatively and in a distributed manner a statistic to decide if the source is present or absent without the need of a central node or fusion center (FC). We first start from the continuous-time signal sensed by the nodes and obtain an equivalent discrete-time hypothesis testing problem. Secondly, we propose a fully distributed scheme, based on the well-known generalized likelihood ratio (GLR) test, which is suitable for a WSN, where resources such as energy and communication bandwidth are typically scarce. In third place, we consider the asymptotic performance of the proposed GLR test. The derived results provide an excellent matching with the scenario in which only a finite amount of measurements are available at each sensor node. We finally show that the proposed distributed algorithm performs as well as the global GLR test in the considered scenarios, requiring only a small number of communication exchanges between nodes and a limited knowledge about the network structure and its connectivity.


title: Towards an Improved Test of the Standard Model's Most Precise Prediction

abstract: The electron and positron magnetic moments are the most precise prediction of the standard model of particle physics. The most accurate measurement of a property of an elementary particle has been made to test this result. A new experimental method is now being employed in an attempt to improve the measurement accuracy by an order of magnitude. Positrons from a "student source" now suffice for the experiment. Progress toward a new measurement is summarized.


title: P-Optimal Proof Systems for Each NP-Complete Set but no Complete Disjoint NP-Pairs Relative to an Oracle

abstract: Pudl\'ak [Pud17] lists several major conjectures from the field of proof complexity and asks for oracles that separate corresponding relativized conjectures. Among these conjectures are: - $\mathsf{DisjNP}$: The class of all disjoint NP-pairs does not have many-one complete elements. - $\mathsf{SAT}$: NP does not contain many-one complete sets that have P-optimal proof systems. - $\mathsf{UP}$: UP does not have many-one complete problems. - $\mathsf{NP}\cap\mathsf{coNP}$: $\text{NP}\cap\text{coNP}$ does not have many-one complete problems. As one answer to this question, we construct an oracle relative to which $\mathsf{DisjNP}$, $\neg \mathsf{SAT}$, $\mathsf{UP}$, and $\mathsf{NP}\cap\mathsf{coNP}$ hold, i.e., there is no relativizable proof for the implication $\mathsf{DisjNP}\wedge \mathsf{UP}\wedge \mathsf{NP}\cap\mathsf{coNP}\Rightarrow\mathsf{SAT}$. In particular, regarding the conjectures by Pudl\'ak this extends a result by Khaniki [Kha19].


title: Sharp Decay Estimates for the Vlasov-Poisson and Vlasov-Yukawa Systems with Small Data

abstract: In this paper, we present sharp decay estimates for small data solutions of the following two systems: the Vlasov-Poisson (V-P) system in dimension 3 or higher and the Vlasov-Yukawa (V-Y) system in dimension 2 or higher. We rely on a modification of the vector field method for transport equation as developed by Smulevici in 2016 for the Vlasov-Poisson system. Using the Green's function in particular to estimate bilinear terms, we improve Smulevici's result by requiring only $L^1_{x,v}$ bounds for the initial data and its derivatives. We also extend the result to the Vlasov-Yukawa system.


title: How to generalize the Ehrenfest theorem and the uncertainty principle

abstract: The Ehrenfest theorem and the Robertson uncertainty relation are well-known basic equations in quantum mechanics. However, there exist problematic cases, where the Ehrenfest theorem and the Robertson uncertainty relation are not correct. These cases occur when the azimuthal angle in polar or spherical coordinates is used within these equations. The purpose of this paper is to present and discuss a generalized Ehrenfest theorem and a generalized uncertainty relation which are still valid for these cases. Hereby, we define and use a mathematical operation called expectation commutator.


title: Commissioning and operation of the Cherenkov detector for proton Flux Measurement of the UA9 Experiment

abstract: The UA9 Experiment at CERN-SPS investigates channeling processes in bent silicon crystals with the aim to manipulate hadron beams. Monitoring and characterization of channeled beams in the high energy accelerators environment ideally requires in-vacuum and radiation hard detectors. For this purpose the Cherenkov detector for proton Flux Measurement (CpFM) was designed and developed. It is based on thin fused silica bars in the beam pipe vacuum which intercept charged particles and generate Cherenkov light. The first version of the CpFM is installed since 2015 in the crystal-assisted collimation setup of the UA9 experiment. In this paper the procedures to make the detector operational and fully integrated in the UA9 setup are described. The most important standard operations of the detector are presented. They have been used to commission and characterize the detector, providing moreover the measurement of the integrated channeled beam profile and several functionality tests as the determination of the crystal bending angle. The calibration has been performed with Lead (Pb) and Xenon (Xe) beams and the results are applied to the flux measurement discussed here in detail.


title: Heralded amplification of nonlocality via entanglement swapping for long-distance device-independent quantum key distribution

abstract: To realize the practical implementation of device-independent quantum key distribution~(DIQKD), the main difficulty is that its security relies on the detection-loophole-free violation of the Clauser-Horne-Shimony-Holt~(CHSH) inequality, i.e. the CHSH value $S>2$, which is easily destroyed by the loss in transmission channels. One of the simplest methods to circumvent it is to utilize the entanglement swapping relay~(ESR). Here, we propose and experimentally test an improved version of the heralded nonlocality amplifier protocol based on the ESR, and numerically show that our scheme is much more robust against the transmission loss than the previously developed protocol. In the experiment, we observe that the obtained probability distribution is in excellent agreement with those expected by the numerical simulation with experimental parameters which are precisely characterized in a separate measurement. Moreover, we experimentally estimate the nonlocality of the heralded state after the transmission of 10~dB loss just before detection. It is estimated to be $S=2.104>2$, which indicates that our final state possesses strong nonlocality even with various experimental imperfections. Our result clarifies an important benchmark of the ESR protocol, and paves the way towards the long-distance realization of the loophole-free CHSH-violation as well as DIQKD.


title: Heavy flavour measurements with the ALICE experiment at the LHC

abstract: Heavy quarks (charm and beauty) are produced early in the nucleus-nucleus collisions, and heavy flavor survives throughout the later stages. Measurements of heavy-flavor quarks thus provide us with means to understand the properties of the Quark-Gluon Plasma, a hot and dense state of matter created in heavy-ion collisions. Production of heavy-flavor in small collision systems, on the other hand, can be used to test Quantum-chromodynamics models. After a successful completion of the Run-I data taking period, the increased luminosity from the LHC and an upgraded ALICE detector system in the Run-II data taking period allows for an unprecedented precision in the study of heavy quarks. In this article we give an overview of selected recent results on heavy-flavor measurements with ALICE experiment at the LHC.


title: R = P(Y < X) for unit-Lindley distribution: inference with an application in public health

abstract: The unit-Lindley distribution was recently introduced in the literature as a viable alternative to the Beta and the Kumaraswamy distributions with support in (0; 1). This distribution enjoys many virtuous properties over the named distributions. In this article, we address the issue of parameter estimation from a Bayesian perspective and study relative performance of different estimators through extensive simulation studies. Significant emphasis is given to the estimation of stress-strength reliability employing classical as well as Bayesian approach. A non-trivial useful application in the public health domain is presented proposing a simple metric of discrepancy.


title: Superconducting properties of tin-based ENZ and hyperbolic metamaterials

abstract: Recent experiments have demonstrated that the superconducting critical temperature may be improved in various metamaterial superconductor geometries. Here, we present the results of a study of tin-based metamaterial superconductors in the epsilon-near-zero (ENZ) and hyperbolic metamaterial configurations. It was observed that Tc enhancement is significantly reduced when the metamaterial structural dimensions exceed 240nm, the superconducting coherence length in pure tin.


title: Angular Velocity Estimation of Image Motion Mimicking the Honeybee Tunnel Centring Behaviour

abstract: Insects use visual information to estimate angular velocity of retinal image motion, which determines a variety of flight behaviours including speed regulation, tunnel centring and visual navigation. For angular velocity estimation, honeybees show large spatial-independence against visual stimuli, whereas the previous models have not fulfilled such an ability. To address this issue, we propose a bio-plausible model for estimating the image motion velocity based on behavioural experiments of the honeybee flying through patterned tunnels. The proposed model contains mainly three parts, the texture estimation layer for spatial information extraction, the delay-and-correlate layer for temporal information extraction and the decoding layer for angular velocity estimation. This model produces responses that are largely independent of the spatial frequency in grating experiments. And the model has been implemented in a virtual bee for tunnel centring simulations. The results coincide with both electro-physiological neuron spike and behavioural path recordings, which indicates our proposed method provides a better explanation of the honeybee's image motion detection mechanism guiding the tunnel centring behaviour.


title: The Perfect Matching Reconfiguration Problem

abstract: We study the perfect matching reconfiguration problem: Given two perfect matchings of a graph, is there a sequence of flip operations that transforms one into the other? Here, a flip operation exchanges the edges in an alternating cycle of length four. We are interested in the complexity of this decision problem from the viewpoint of graph classes. We first prove that the problem is PSPACE-complete even for split graphs and for bipartite graphs of bounded bandwidth with maximum degree five. We then investigate polynomial-time solvable cases. Specifically, we prove that the problem is solvable in polynomial time for strongly orderable graphs (that include interval graphs and strongly chordal graphs), for outerplanar graphs, and for cographs (also known as $P_4$-free graphs). Furthermore, for each yes-instance from these graph classes, we show that a linear number of flip operations is sufficient and we can exhibit a corresponding sequence of flip operations in polynomial time.


title: Distribution Regression in Duration Analysis: an Application to Unemployment Spells

abstract: This article proposes inference procedures for distribution regression models in duration analysis using randomly right-censored data. This generalizes classical duration models by allowing situations where explanatory variables' marginal effects freely vary with duration time. The article discusses applications to testing uniform restrictions on the varying coefficients, inferences on average marginal effects, and others involving conditional distribution estimates. Finite sample properties of the proposed method are studied by means of Monte Carlo experiments. Finally, we apply our proposal to study the effects of unemployment benefits on unemployment duration.


title: Generating Minimal Adversarial Perturbations with Integrated Adaptive Gradients

abstract: Deep neural networks are easily fooled high confidence predictions for adversarial samples


title: Position-Aware Convolutional Networks for Traffic Prediction

abstract: Forecasting the future traffic flow distribution in an area is an important issue for traffic management in an intelligent transportation system. The key challenge of traffic prediction is to capture spatial and temporal relations between future traffic flows and historical traffic due to highly dynamical patterns of human activities. Most existing methods explore such relations by fusing spatial and temporal features extracted from multi-source data. However, they neglect position information which helps distinguish patterns on different positions. In this paper, we propose a position-aware neural network that integrates data features and position information. Our approach employs the inception backbone network to capture rich features of traffic distribution on the whole area. The novelty lies in that under the backbone network, we apply position embedding technique used in neural language processing to represent position information as embedding vectors which are learned during the training. With these embedding vectors, we design position-aware convolution which allows different kernels to process features of different positions. Extensive experiments on two real-world datasets show that our approach outperforms previous methods even with fewer data sources.


title: Error indicator for the incompressible Darcy flow problems using Enhanced Velocity Mixed Finite Element Method

abstract: In the flow and transport numerical simulation, mesh adaptivity strategy is important in reducing the usage of CPU time and memory. The refinement based on the pressure error estimator is commonly-used approach without considering the flux error which plays important role in coupling flow and transport systems. We derive a posteriori error estimators for Enhanced Velocity Mixed Finite Element Method (EVMFEM) in the incompressible Darcy flow. We show numerically difference of the explicit residual based error estimator and implicit error estimators, where Arbogast and Chen post-processing procedure from [1] for pressure was used to improve estimators. A residual-based error estimator provides a better indicator for pressure error. Proposed estimators are good indicators in finding of the large error element. Numerical tests confirm theoretical results. We show the advantage of pressure postprocessing on the detecting of velocity error. To the authors' best knowledge, a posteriori error analysis of EVMFEM has been scarcely investigated from the theoretical and numerical point of view. Reference. 1. Arbogast, T., & Chen, Z. (1995). On the implementation of mixed methods as nonconforming methods for second-order elliptic problems. Mathematics of Computation, 64(211), 943-972.


title: Disentangling time-focusing from beam divergence: a novel approach for high-flux thermal neutron spectroscopy at continuous and long-pulse sources

abstract: We present the concept of a novel time-focusing technique for neutron spectrometers, which allows to disentangle time-focusing from beam divergence. The core of this approach is a double rotating-crystal monochromator that can be used to extract a larger wavelength band from a white beam, thus providing a higher flux at the sample compared to standard time-of-flight instruments, yet preserving energy resolution and beam collimation. The performances of a spectrometer based on this approach are quantitatively discussed in terms of possible incident wavelengths, flux at the sample and $(Q,E)$-resolution. Analytical estimates suggest flux gains of about one order of magnitude at comparable resolutions in comparison to conventional time-of-flight spectrometers. Moreover, the double monochromator configuration natively shifts the sample away from the source line-of-sight, thus significantly improving the signal-to-noise ratio. The latter, in combination with a system that does not increase the beam divergence, brings the further advantage of a cleaner access to the low-$Q$ region, which is recognized to be of fundamental interest for magnetism and for disordered materials, from glasses to biological systems.


title: On Ground States and Phase Transition for $\lambda$-Model with the Competing Potts Interactions on Cayley Trees

abstract: In this paper, we consider the $\lambda$-model with nearest neighbor interactions and with competing Potts interactions on the Cayley tree of order-two. We notice that if $\lambda$-function is taken as a Potts interaction function, then this model contains as a particular case of Potts model with competing interactions on Cayley tree. In this paper, we first describe all ground states of the model. We point out that the Potts model with considered interactions was investigated only numerically, without rigorous (mathematical) proofs. One of the main points of this paper is to propose a measure-theoretical approach for the considered model in more general setting. Furthermore, we find certain conditions for the existence of Gibbs measures corresponding to the model, which allowed to establish the existence of the phase transition.


title: Global well-posedness of the 3D Cahn-Hilliard equations

abstract: The Cauchy problem of the Cahn-Hilliard equations is studied in three-dimensional space. Firstly, we construct its approximate fourth-order parabolic equation, obtaining the existence of solutions by the Aubin-Lions's compactness lemma. Furthermore, we prove the uniqueness of the solution. Then, the global well-posedness is demonstrated by using energy estimates. At last, we consider a special case and get a better result about it.


title: Probing the degree of heterogeneity within a shear band of a model glass

abstract: Recent experiments provide evidence for density variations along shear bands (SB) in metallic glasses with a length scale of a few hundreds nanometers. Via molecular dynamics simulations of a generic binary glass model, here we show that this is strongly correlated with variations of composition, coordination number, viscosity and heat generation. Individual shear events along the SB-path show a mean distance of a few nanometers, comparable to recent experimental findings on medium range order. The aforementioned variations result from these localized perturbations, mediated by elasticity.


title: Mean-field backward-forward stochastic differential equations and nonzero sum stochastic differential games

abstract: We study a general class of fully coupled backward-forward stochastic differential equations of mean-field type (MF-BFSDE). We derive existence and uniqueness results for such a system under weak monotonicity assumptions and without the non-degeneracy condition on the forward equation. This is achieved by suggesting an implicit approximation scheme that is shown to converge to the solution of the system of MF-BFSDE. We apply these results to derive an explicit form of open-loop Nash equilibrium strategies for nonzero sum mean-field linear-quadratic stochastic differential games with random coefficients. These strategies are valid for any time horizon of the game.