title: Sequence to Logic with Copy and Cache

abstract: Generating logical form equivalents of human language is a fresh way to employ neural architectures where long short-term memory effectively captures dependencies in both encoder and decoder units. The logical form of the sequence usually preserves information from the natural language side in the form of similar tokens, and recently a copying mechanism has been proposed which increases the probability of outputting tokens from the source input through decoding. In this paper we propose a caching mechanism as a more general form of the copying mechanism which also weighs all the words from the source vocabulary according to their relation to the current decoding context. Our results confirm that the proposed method achieves improvements in sequence/token-level accuracy on sequence to logical form tasks. Further experiments on cross-domain adversarial attacks show substantial improvements when using the most influential examples of other domains for training.


title: Giant burst of methanol maser in S255IR-NIRS3

abstract: Context: High-mass young stellar objects (HMYSOs) can undergo accretion episodes that strongly affect the star evolution, the dynamics of the disk, and its chemical evolution. Recently reported extraordinary bursts in the methanol maser emission may be the observational signature of accretion events in deeply embedded HMYSOs. Aims: We analyze the light curve of 6.7 GHz methanol masers in S255IR-NIRS3 during the 2015-2016 burst. Methods: 8.5-year monitoring data with an average sampling interval of 5 days were obtained with the Torun 32 m radio telescope. Archival data were added, extending the time series to ~27 years. Results: The maser emission showed moderate (25-30%) variability on timescales of months to years over ~23 years since its discovery. The main burst was preceded by a one-year increase of the total flux density by a factor of 2.5, then it grew by a factor of 10 over ~0.4 years and declined by a factor of 8 during the consecutive 2.4 years. The peak maser luminosity was a factor of 24.5 higher than the pre-burst quiescent value. The light curves of individual features showed considerable diversity but indicated a general trend of suppression of the maser emission at blueshifted (<4.7 km s$^{-1}$) velocities when the redshifted emission rapidly grew and new emission features appeared at velocities >5.8 km s$^{-1}$. This new emission provided a contribution of about 80% to the maser luminosity around the peak of the burst. Conclusions: The onset of the maser burst exactly coincides with that of the infrared burst estimated from the motion of the light echo. This strongly supports the radiative pumping scheme of the maser transition. The growth of the maser luminosity is the result of an increasing volume of gas where the maser inversion is achieved.


title: Totally smooth renormings

abstract: We study the problem of totally smooth renormings of Banach spaces and provide such renormings for spaces which are weakly compactly generated. We also consider renormings for $(a,B,c)$-ideals.


title: On the Phase Tracking Reference Signal (PT-RS) Design for 5G New Radio (NR)

abstract: The volume of mobile data traffic has been driven to an unprecedented high level due to the proliferation of smartphones/mobile devices that support a wide range of broadband applications and services, requiring a next generation mobile communication system, i.e., the fifth generation (5G). Millimeter wave (mmWave) bands can offer much larger available spectrum bandwidth and thus are considered as one of the most promising approaches to significantly boost the capacity in 5G NR. However, devices and network radio nodes operating on mmWave bands suffer from phase noise and without correction of phase noise, the performance of the network could potentially suffer significant losses. In this paper, we investigate the effects of phase noise and provide comprehensive solutions to track the phase noise by using phase tracking reference signals (PT-RS), as currently standardized in 3GPP Release 15. The design aspects such as PT-RS pattern, interference randomization, multi-TRP operation, etc., are investigated and evaluation results are also provided.


title: QoS and Coverage Aware Dynamic High Density Vehicle Platooning (HDVP)

abstract: In a self-driving environment, vehicles communicate with each other to create a closely spaced multiple vehicle strings on a highway, i.e., high-density vehicle platooning (HDVP). In this paper, we address the Cellular Vehicle to Everything (C-V2X) quality of service (QoS) and radio coverage issues for HDVP and propose a dynamic platooning mechanism taking into account the change of coverage condition, the road capacity, medium access control (MAC) and spectrum reuse while at the same time guaranteeing the stringent QoS requirements in terms of latency and reliability.


title: A note on normality of $\sqrt{2}$ in base 2

abstract: In this paper we study the property of normality of a number in base 2. A simple rule that associates a vector to a number is presented and the property of normality is stated for the vector associated to the number. The problem of testing a number for normality is shown to be equivalent to the test of geometrical properties of the associated vector. The paper provides a general approach for normality testing and then applies the proposed methodology to the study of particular numbers. The main result of the paper is to prove that an infinite class of numbers is normal in base 2. As a further result we prove that the irrational number $\sqrt{2}$ is normal in base 2.


title: Birkhoff-von Neumann Graphs that are PM-compact

abstract: A well-studied geometric object in combinatorial optimization is the perfect matching polytope of a graph $G$. In any investigation concerning the perfect matching polytope, one may assume that $G$ is matching covered --- that is, it is a connected graph (of order at least two) and each edge lies in some perfect matching. A graph $G$ is Birkhoff-von Neumann (BvN) if its perfect matching polytope is characterized solely by non-negativity and degree constraints. A result of Balas (1981) implies that $G$ is BvN if and only if $G$ does not contain a pair of vertex-disjoint odd cycles $(C_1,C_2)$ such that $G-V(C_1)-V(C_2)$ has a perfect matching. It follows immediately that the corresponding decision problem is in co-NP. However, it is not known to be in NP. The problem is in P if the input graph is planar --- due to a result of Carvalho, Lucchesi and Murty (2004). These authors, along with Kothari (2018), have shown that this problem is equivalent to the seemingly unrelated problem of deciding whether a given graph is $\overline{C_6}$-free. The combinatorial diameter of a polytope is the diameter of its $1$-skeleton graph. A graph $G$ is PM-compact (PMc) if the combinatorial diameter of its perfect matching polytope equals one. A result of Chv\'atal (1975) implies that $G$ is PMc if and only if $G$ does not contain a pair of vertex-disjoint even cycles $(C_1,C_2)$ such that $G-V(C_1)-V(C_2)$ has a perfect matching. Once again the corresponding decision problem is in co-NP, but it is not known to be in NP. The problem is in P if the input graph is bipartite or is near-bipartite --- due to a result of Wang, Lin, Carvalho, Lucchesi, Sanjith and Little (2013). In this paper, we consider the "intersection" of the aforementioned problems. We give a complete characterization of matching covered graphs that are BvN as well as PMc. (Thus the corresponding decision problem is in P.)


title: The Capelli eigenvalue problem for Lie superalgebras

abstract: For a finite dimensional unital complex simple Jordan superalgebra $J$, the Tits-Kantor-Koecher construction yields a 3-graded Lie superalgebra $\mathfrak g_\flat\cong \mathfrak g_\flat(-1)\oplus\mathfrak g_\flat(0)\oplus\mathfrak g_\flat(1)$, such that $\mathfrak g_\flat(-1)\cong J$. Set $V:=\mathfrak g_\flat(-1)^*$ and $\mathfrak g:=\mathfrak g_\flat(0)$. In most cases, the space $\mathcal P(V)$ of superpolynomials on $V$ is a completely reducible and multiplicity-free representation of $\mathfrak g$, with a decomposition $\mathcal P(V):=\bigoplus_{\lambda\in\Omega}V_\lambda$, where $\left(V_\lambda\right)_{\lambda\in\Omega}$ is a family of irreducible $\mathfrak g$-modules parametrized by a set of partitions $\Omega$. In these cases, one can define a natural basis $\left(D_\lambda\right)_{\lambda\in\Omega}$ of "Capelli operators" for the algebra $\mathcal{PD}(V)^{\mathfrak g}$. In this paper we complete the solution to the Capelli eigenvalue problem, which is to determine the scalar $c_\mu(\lambda)$ by which $D_\mu$ acts on $V_\lambda$. We associate a restricted root system $\mathit{\Sigma}$ to the symmetric pair $(\mathfrak g,\mathfrak k)$ that corresponds to $J$, which is either a deformed root system of type $\mathsf{A}(m,n)$ or a root system of type $\mathsf{Q}(n)$. We prove a necessary and sufficient condition on the structure of $\mathit{\Sigma}$ for $\mathcal{P}(V)$ to be completely reducible and multiplicity-free. When $\mathit{\Sigma}$ satisfies the latter condition we obtain an explicit formula for the eigenvalue $c_\mu(\lambda)$, in terms of Sergeev-Veselov's shifted super Jack polynomials when $\mathit{\Sigma}$ is of type $\mathsf{A}(m,n)$, and Okounkov-Ivanov's factorial Schur $Q$-polynomials when $\mathit{\Sigma}$ is of type $\mathsf{Q}(n)$.


title: Moments of an exponential sum related to the divisor function

abstract: We use the circle method to obtain tight bounds on the $L^p$ norm of an exponential sum involving the divisor function for $p > 2$.


title: Matrix Model for Riemann Zeta via its Local Factors

abstract: We propose the construction of an ensemble of unitary random matrices (UMM) for the Riemann zeta function. Our approach to this problem is `$p$-iecemeal', in the sense that we consider each factor in the Euler product representation of the zeta function to first construct a UMM for each prime $p$. We are able to use its phase space description to write the partition function as the trace of an operator that acts on a subspace of square-integrable functions on the $p$-adic field. This suggests a Berry-Keating type Hamiltonian. We combine the data from all primes to propose a Hamiltonian and a matrix model for the Riemann zeta function.


title: Automated Phenotyping of Epicuticular Waxes of Grapevine Berries Using Light Separation and Convolutional Neural Networks

abstract: In viticulture the epicuticular wax as the outer layer of the berry skin is known as trait which is correlated to resilience towards Botrytis bunch rot. Traditionally this trait is classified using the OIV descriptor 227 (berry bloom) in a time consuming way resulting in subjective and error-prone phenotypic data. In the present study an objective, fast and sensor-based approach was developed to monitor berry bloom. From the technical point-of-view, it is known that the measurement of different illumination components conveys important information about observed object surfaces. A Mobile Light-Separation-Lab is proposed in order to capture illumination-separated images of grapevine berries for phenotyping the distribution of epicuticular waxes (berry bloom). For image analysis, an efficient convolutional neural network approach is used to derive the uniformity and intactness of waxes on berries. Method validation over six grapevine cultivars shows accuracies up to $97.3$%. In addition, electrical impedance of the cuticle and its epicuticular waxes (described as an indicator for the thickness of berry skin and its permeability) was correlated to the detected proportion of waxes with $r=0.76$. This novel, fast and non-invasive phenotyping approach facilitates enlarged screenings within grapevine breeding material and genetic repositories regarding berry bloom characteristics and its impact on resilience towards Botrytis bunch rot.


title: Phase-field modeling of Li-insertion kinetics in single LiFePO\textsubscript{4}-nano-particles for rechargeable Li-ion battery application

abstract: We develop a continuum phase-field model for the simulation of diffusion limited solid-solid phase transformations during lithium insertion in LiFePO4-nano-particles. The solid-solid phase boundary between the LiFePO4 (LFP)-phase and the FePO4 (FP)-phase is modeled as a diffuse interface of finite width. The model-description explicitly resolves a single LiFePO4-particle, which is embedded in an elastically soft electrolyte-phase. Furthermore, we explicitly include anisotropic (orthorhombic) and inhomogeneous elastic effects, resulting from the coherency strain, as well as anisotropic (1D) Li-diffusion inside the nano-particle. The effect of the nano-particle's size on the kinetics of FP to LFP phase transformations is investigated by means of both model. Both models predict a substantial increase in the steady state transformation velocity as the particle-size decreases down to dimensions that are comparable with the width of the interface between the FP and the LFP-phase. However, the extra kinetic parameter of the Allen-Cahn-type description may be used to reduce the strength of the velocity-increase with the decreasing particle size. Further, we consider the influence of anisotropic and inhomogeneous elasticity on the lithiation-kinetics within a rectangularly shaped LiFePO4-particle embedded in an elastically soft electrolyte. Finally, the simulation of equilibrium shapes of LiFePO4-particles is discussed. Within a respective feasibility study, we demonstrate that also the simulation of strongly anisotropic particles with aspect ratios up to 1/5 is possible.


title: A Hybrid High-Order method for the incompressible Navier--Stokes equations based on Temam's device

abstract: In this work we propose a novel Hybrid High-Order method for the incompressible Navier--Stokes equations based on a formulation of the convective term including Temam's device for stability. The proposed method has several advantageous features: it supports arbitrary approximation orders on general meshes including polyhedral elements and non-matching interfaces; it is inf-sup stable; it is locally conservative; it supports both the weak and strong enforcement of velocity boundary conditions; it is amenable to efficient computer implementations where a large subset of the unknowns is eliminated by solving local problems inside each element. Particular care is devoted to the design of the convective trilinear form, which mimicks at the discrete level the non-dissipation property of the continuous one. The possibility to add a convective stabilisation term is also contemplated, and a formulation covering various classical options is discussed. The proposed method is theoretically analysed, and an energy error estimate in $h^{k+1}$ (with $h$ denoting the meshsize) is proved under the usual data smallness assumption. A thorough numerical validation on two and three-dimensional test cases is provided both to confirm the theoretical convergence rates and to assess the method in more physical configurations (including, in particular, the well-known two- and three-dimensional lid-driven cavity problems).


title: Indexing Execution Patterns in Workflow Provenance Graphs through Generalized Trie Structures

abstract: Over the last years, scientific workflows have become mature enough to be used in a production style. However, despite the increasing maturity, there is still a shortage of tools for searching, adapting, and reusing workflows that hinders a more generalized adoption by the scientific communities. Indeed, due to the limited availability of machine-readable scientific metadata and the heterogeneity of workflow specification formats and representations, new ways to leverage alternative sources of information that complement existing approaches are needed. In this paper we address such limitations by applying statistically enriched generalized trie structures to exploit workflow execution provenance information in order to assist the analysis, indexing and search of scientific workflows. Our method bridges the gap between the description of what a workflow is supposed to do according to its specification and related metadata and what it actually does as recorded in its provenance execution trace. In doing so, we also prove that the proposed method outperforms SPARQL 1.1 Property Paths for querying provenance graphs.


title: Interferenceless Polarization Splitting through Nanoscale van der Waals Heterostructures

abstract: The ability to control the polarization of light at the extreme nanoscale has long been a major scientific and technological goal for photonics. Here we predict the phenomenon of polarization splitting through van der Waals heterostructures of nanoscale thickness, such as graphene-hexagonal boron nitride (hBN) heterostructures, at infrared frequencies. The underlying mechanism is that the designed heterostructures possess an effective relative permittivity with its in-plane (out-of-plane) component being unity (zero); such heterostructures are transparent to the transverse-electric (TE) waves while opaque to the transverse-magnetic (TM) waves, without resorting to the interference effect. Moreover, the predicted phenomenon is insensitive to incident angles. Our work thus indicates that van der Waals heterostructures are a promising nanoscale platform for the manipulation of light, such as the design of polarization beam nano-splitters and epsilon-near-zero materials, and the exploration of superscattering for TM waves while zero scattering for TE waves from deep-subwavelength nanostructures.


title: Global weak solutions for an Newtonian Fluid interacting with a Koiter Type Shell under natural boundary conditions

abstract: We consider an viscous, incompressible Newtonian fluid flowing through a thin elastic structure. The motion of the structure is described by the equations of a linearised Koiter shell, whose motion is restricted to transverse displacements. The fluid and the structure are coupled by the continuity of velocities and an equilibrium of surface forces on the interface between fluid and structure. On a fixed in- and outflow region we prescribe natural boundary conditions. We show that weak solutions exist as long as the shell does not self-intersect.


title: Generative Adversarial Networks for MR-CT Deformable Image Registration

abstract: Deformable Image Registration (DIR) of MR and CT images is one of the most challenging registration task, due to the inherent structural differences of the modalities and the missing dense ground truth. Recently cycle Generative Adversarial Networks (cycle-GANs) have been used to learn the intensity relationship between these 2 modalities for unpaired brain data. Yet its usefulness for DIR was not assessed. In this study we evaluate the DIR performance for thoracic and abdominal organs after synthesis by cycle-GAN. We show that geometric changes, which differentiate the two populations (e.g. inhale vs. exhale), are readily synthesized as well. This causes substantial problems for any application which relies on spatial correspondences being preserved between the real and the synthesized image (e.g. plan, segmentation, landmark propagation). To alleviate this problem, we investigated reducing the spatial information provided to the discriminator by decreasing the size of its receptive fields. Image synthesis was learned from 17 unpaired subjects per modality. Registration performance was evaluated with respect to manual segmentations of 11 structures for 3 subjects from the VISERAL challenge. State-of-the-art DIR methods based on Normalized Mutual Information (NMI), Modality Independent Neighborhood Descriptor (MIND) and their novel combination achieved a mean segmentation overlap ratio of 76.7, 67.7, 76.9%, respectively. This dropped to 69.1% or less when registering images synthesized by cycle-GAN based on local correlation, due to the poor performance on the thoracic region, where large lung volume changes were synthesized. Performance for the abdominal region was similar to that of CT-MRI NMI registration (77.4 vs. 78.8%) when using 3D synthesizing MRIs (12 slices) and medium sized receptive fields for the discriminator.


title: Nonlinear scalar field equations with general nonlinearity

abstract: Consider the nonlinear scalar field equation \begin{equation} \label{a1} -\Delta{u}= f(u)\quad\text{in}~\mathbb{R}^N,\qquad u\in H^1(\mathbb{R}^N), \end{equation} where $N\geq3$ and $f$ satisfies the general Berestycki-Lions conditions. We are interested in the existence of positive ground states, of nonradial solutions and in the multiplicity of radial and nonradial solutions. Very recently Mederski [30] made a major advance in that direction through the development, in an abstract setting, of a new critical point theory for constrained functionals. In this paper we propose an alternative, more elementary approach, which permits to recover Mederski's results on the scalar field equation. The keys to our approach are an extension to the symmetric mountain pass setting of the monotonicity trick, and a new decomposition result for bounded Palais-Smale sequences.


title: Can We Assess Mental Health through Social Media and Smart Devices? Addressing Bias in Methodology and Evaluation

abstract: Predicting mental health from smartphone and social media data on a longitudinal basis has recently attracted great interest, with very promising results being reported across many studies. Such approaches have the potential to revolutionise mental health assessment, if their development and evaluation follows a real world deployment setting. In this work we take a closer look at state-of-the-art approaches, using different mental health datasets and indicators, different feature sources and multiple simulations, in order to assess their ability to generalise. We demonstrate that under a pragmatic evaluation framework, none of the approaches deliver or even approach the reported performances. In fact, we show that current state-of-the-art approaches can barely outperform the most na\"ive baselines in the real-world setting, posing serious questions not only about their deployment ability, but also about the contribution of the derived features for the mental health assessment task and how to make better use of such data in the future.


title: Search for "Electroweakinos" with the ATLAS Detector at the LHC

abstract: Supersymmetry is one of the most popular extensions of the Standard Model of particle physics, as it offers solutions to several shortcomings of the Standard Model. Natural supersymmetric models favor masses for the new particles which are predicted by supersymmetry in the range of hundreds of GeV, well within the reach of the Large Hadron Collider at CERN. If squarks and gluinos are much heavier, the production of charginos and neutralinos may be the dominant production mode for supersymmetric particles. These proceedings present results from new searches for the production of charginos and neutralinos, focusing on the recent paper by the ATLAS collaboration that summarizes and extends the searches for the electroweak production of supersymmetric particles using data from Run-1 of the LHC.


title: MITK-ModelFit: A generic open-source framework for model fits and their exploration in medical imaging -- design, implementation and application on the example of DCE-MRI

abstract: Many medical imaging techniques utilize fitting approaches for quantitative parameter estimation and analysis. Common examples are pharmacokinetic modeling in DCE MRI/CT, ADC calculations and IVIM modeling in diffusion-weighted MRI and Z-spectra analysis in chemical exchange saturation transfer MRI. Most available software tools are limited to a special purpose and do not allow for own developments and extensions. Furthermore, they are mostly designed as stand-alone solutions using external frameworks and thus cannot be easily incorporated natively in the analysis workflow. We present a framework for medical image fitting tasks that is included in MITK, following a rigorous open-source, well-integrated and operating system independent policy. Software engineering-wise, the local models, the fitting infrastructure and the results representation are abstracted and thus can be easily adapted to any model fitting task on image data, independent of image modality or model. Several ready-to-use libraries for model fitting and use-cases, including fit evaluation and visualization, were implemented. Their embedding into MITK allows for easy data loading, pre- and post-processing and thus a natural inclusion of model fitting into an overarching workflow. As an example, we present a comprehensive set of plug-ins for the analysis of DCE MRI data, which we validated on existing and novel digital phantoms, yielding competitive deviations between fit and ground truth. Providing a very flexible environment, our software mainly addresses developers of medical imaging software that includes model fitting algorithms and tools. Additionally, the framework is of high interest to users in the domain of perfusion MRI, as it offers feature-rich, freely available, validated tools to perform pharmacokinetic analysis on DCE MRI data, with both interactive and automatized batch processing workflows.


title: Colloidal supported lipid bilayers for self-assembly

abstract: The use of colloidal supported lipid bilayers (CSLBs) has recently been extended to create colloidal joints, that - in analogy to their macroscopic counterparts - can flexibly connect colloidal particles. These novel elements enable the assembly of structures with internal degrees of flexibility, but rely on previously unappreciated properties: the simultaneous fluidity of the bilayer, lateral mobility of inserted (linker) molecules and colloidal stability. Here we characterize every step in the manufacturing of CSLBs in view of these requirements using confocal microscopy and fluorescence recovery after photobleaching (FRAP). Specifically, we have studied the influence of different particle properties (roughness, surface charge, chemical composition, polymer coating) on the quality and mobility of the supported bilayer. We find that the insertion of lipopolymers in the bilayer can affect its homogeneity and fluidity. We improve the colloidal stability by inserting lipopolymers or double-stranded inert DNA into the bilayer. Finally, we include surface-mobile DNA linkers and use FRAP to characterize their lateral mobility both in their freely diffusive and bonded state. Our work offers a collection of experimental tools for working with CSLBs in applications ranging from controlled bottom-up self-assembly to model membrane studies.


title: Reversible Interacting-Particle Reaction Dynamics

abstract: Interacting-Particle Reaction Dynamics (iPRD) simulates the spatiotemporal evolution of particles that experience interaction forces and can react with one another. The combination of interaction forces and reactions enable a wide range of complex reactive systems in biology and chemistry, but give rise to new questions such as how to evolve the dynamical equations in a computationally efficient and statistically correct manner. Here we consider reversible reactions such as A + B <--> C with interacting particles and derive expressions for the microscopic iPRD simulation parameters such that desired values for the equilibrium constant and the dissociation rate are obtained in the dilute limit. We then introduce a Monte-Carlo algorithm that ensures detailed balance in the iPRD time-evolution (iPRD-DB). iPRD-DB guarantees the correct thermodynamics at all concentrations and maintains the desired kinetics in the dilute limit, where chemical rates are well-defined and kinetic measurement experiments usually operate. We show that in dense particle systems, the incorporation of detailed balance is essential to obtain physically realistic solutions. iPRD-DB is implemented in ReaDDy 2 (https://readdy.github.io).


title: Aleatoric uncertainty estimation with test-time augmentation for medical image segmentation with convolutional neural networks

abstract: Despite the state-of-the-art performance for medical image segmentation, deep convolutional neural networks (CNNs) have rarely provided uncertainty estimations regarding their segmentation outputs, e.g., model (epistemic) and image-based (aleatoric) uncertainties. In this work, we analyze these different types of uncertainties for CNN-based 2D and 3D medical image segmentation tasks. We additionally propose a test-time augmentation-based aleatoric uncertainty to analyze the effect of different transformations of the input image on the segmentation output. Test-time augmentation has been previously used to improve segmentation accuracy, yet not been formulated in a consistent mathematical framework. Hence, we also propose a theoretical formulation of test-time augmentation, where a distribution of the prediction is estimated by Monte Carlo simulation with prior distributions of parameters in an image acquisition model that involves image transformations and noise. We compare and combine our proposed aleatoric uncertainty with model uncertainty. Experiments with segmentation of fetal brains and brain tumors from 2D and 3D Magnetic Resonance Images (MRI) showed that 1) the test-time augmentation-based aleatoric uncertainty provides a better uncertainty estimation than calculating the test-time dropout-based model uncertainty alone and helps to reduce overconfident incorrect predictions, and 2) our test-time augmentation outperforms a single-prediction baseline and dropout-based multiple predictions.


title: Aspects of capacity of entanglement

abstract: Many quantum information theoretic quantities are similar to and/or inspired by thermodynamic quantities, with entanglement entropy being a well-known example. In this paper, we study a less well-known example, capacity of entanglement, which is the quantum information theoretic counterpart of heat capacity. It can be defined as the second cumulant of the entanglement spectrum and can be loosely thought of as the variance in the entanglement entropy. We review the definition of capacity of entanglement and its relation to various other quantities such as fidelity susceptibility and Fisher information. We then calculate the capacity of entanglement for various quantum systems, conformal and non-conformal quantum field theories in various dimensions, and examine their holographic gravity duals. Resembling the relation between response coefficients and order parameter fluctuations in Landau-Ginzburg theories, the capacity of entanglement in field theory is related to integrated gravity fluctuations in the bulk. We address the question of measurability, in the context of proposals to measure entanglement and R\'enyi entropies by relating them to $U(1)$ charges fluctuating in and out of a subregion, for systems equivalent to non-interacting fermions. From our analysis, we find universal features in conformal field theories, in particular the area dependence of the capacity of entanglement appears to track that of the entanglement entropy. This relation is seen to be modified under perturbations from conformal invariance. In quenched 1+1 dimensional CFTs, we compute the rate of growth of the capacity of entanglement. The result may be used to refine the interpretation of entanglement spreading being carried by ballistic propagation of entangled quasiparticle pairs created at the quench.


title: Stochastic Quantization for the Edwards Measure of Fractional Brownian Motion with $Hd=1$

abstract: In this paper we construct a Markov process which has as invariant measure the fractional Edwards measure based on a $d$-dimensional fractional Brownian motion, with Hurst index $H$ in the case of $Hd=1$. We use the theory of classical Dirichlet forms. However since the corresponding self-intersection local time of fractional Brownian motion is not Meyer-Watanabe differentiable in this case, we show the closability of the form via quasi translation invariance of the fractional Edwards measure along shifts in the corresponding fractional Cameron-Martin space.


title: UVIT imaging of WLM : Demographics of star forming regions in the nearby dwarf irregular galaxy

abstract: We present a study of star forming regions and its demographics in the nearby dwarf irregular galaxy WLM using the Ultra-Violet Imaging Telescope (UVIT) multi band observations in three filters F148W, N245M and N263M. We find that the UV emission is extended at least up to 1.7 kpc, with the NUV emission more extended than the FUV. We create UV color maps ((F148W$-$N245M) and (F148W$-$N263M)) to study the temperature morphology of young stellar complexes with the help of theoretical models. We identify several complexes with temperature T $>$ 17500 K which are likely to be the OB associations present in the galaxy. These complexes show good spatial correlation with the H$\alpha$ emitting regions, H$~$I distribution and HST detected hot stars. The hot star forming regions are found to be clumpy in nature and show a hierarchical structure, with sizes in the range of 4 - 50 pc, with a large number with sizes $<$ 10 pc. The south western part of the galaxy shows many hot star forming regions, high level of H$\alpha$ emission and low column density of H$~$I which altogether denote a vigorous recent star formation. WLM is likely to have a large fraction of low mass compact star forming regions with mass M $< 10^3 M_{\odot}$, in agreement with the size and mass of the CO clouds. We estimate the star formation rate of WLM to be $\sim$ 0.008 $M_{\odot}/yr$, which is similar to the average value measured for nearby dwarf irregular galaxies.


title: Green function of a random walk in a cone

abstract: This paper studies the asymptotic behavior of the Green function of a multidimensional random walk killed when leaving a convex cone with smooth boundary. Our results imply uniqueness, up to a multiplicative factor, of the positive harmonic function for the killed random walk.


title: Homogenization of a net of periodic critically scaled boundary obstacles related to reverse osmosis "nano-composite" membranes

abstract: One of the main goals of this paper is to extend some of the mathematical techniques of some previous papers by the authors showing that some very useful phenomenological properties which can be observed to the nano-scale can be simulated and justified mathematically by means of some homogenization processes when a certain critical scale is used in the corresponding framework. Here the motivating problem in consideration is formulated in the context of the reverse osmosis. We consider, on a part of the boundary of a domain $\Omega\subset \mathbb R^n$, a set of very small periodically distributed semipermeable membranes having an ideal infinite permeability coefficient (which leads to Signorini type boundary conditions) on a part $\Gamma_1$ of the boundary. We also assume that a possible chemical reaction may take place on the membranes. We obtain the rigorous convergence of the problems to a homogenized problem in which there is a change in the constitutive nonlinearities. Changes of this type are the reason for the big success of the nanocomposite materials. Our proof is carried out for membranes not necessarily of radially symmetric shape. The definition of the associated critical scale depends on the dimension of the space (and it is quite peculiar for the special case of $n=2$). Roughly speaking, our result proves that the consideration of the critical case of the scale leads to an homogenized formulation which is equivalent to have a global semipermeable membrane, at the whole part of the boundary $\Gamma_1$, with a "finite permeability coefficient of this virtual membrane" which is the best we can get, even if the original problem involves a set of membranes of any arbitrary finite permeability coefficients.


title: Speeding up the Hyperparameter Optimization of Deep Convolutional Neural Networks

abstract: Most learning algorithms require the practitioner to manually set the values of many hyperparameters before the learning process can begin. However, with modern algorithms, the evaluation of a given hyperparameter setting can take a considerable amount of time and the search space is often very high-dimensional. We suggest using a lower-dimensional representation of the original data to quickly identify promising areas in the hyperparameter space. This information can then be used to initialize the optimization algorithm for the original, higher-dimensional data. We compare this approach with the standard procedure of optimizing the hyperparameters only on the original input. We perform experiments with various state-of-the-art hyperparameter optimization algorithms such as random search, the tree of parzen estimators (TPEs), sequential model-based algorithm configuration (SMAC), and a genetic algorithm (GA). Our experiments indicate that it is possible to speed up the optimization process by using lower-dimensional data representations at the beginning, while increasing the dimensionality of the input later in the optimization process. This is independent of the underlying optimization procedure, making the approach promising for many existing hyperparameter optimization algorithms.


title: CPuS-IoT : A Cyber-Physical Microservice and IoT-based Framework for Manufacturing Assembly Systems

abstract: Today's customers are characterized by individual requirements that lead the manufacturing industry to increased product variety and volume reduction. Manufacturing systems and more specifically assembly systems (ASs) should allow quick adaptation of manufacturing assets so as to respond to the evolving market requirements that lead to mass customization. Meanwhile, the manufacturing era is changing due to the fourth industrial revolution, i.e., Industry 4.0, that will change the traditional manufacturing environment to an IoT-based one. In this context, this paper introduces the concept of cyber-physical microservice in the Manufacturing and the ASs domain and presents the Cyber-Physical microservice and IoT-based (CPuS-IoT) framework. The CPuS-IoT framework exploits the benefits of the microservice architectural style and the IoT technologies, but also utilizes the existing in this domain huge investment based on traditional technologies, to support the life cycle of evolvable ASs in the age of Industry 4.0. It provides a solid basis to capture domain knowledge that is used by a model-driven engineering (MDE) approach to semi-automate the development, evolution and operation of ASs, as well as, to establish a common vocabulary for assembly system experts and IoT ones. The CPuS-IoT approach and framework effectively combines MDE with IoT and the microservice architectural paradigm. A case study for the assembly of an everyday life product is adopted to demonstrate the approach even to non-experts of this domain.


title: Revisiting Cross Modal Retrieval

abstract: This paper proposes a cross-modal retrieval system that leverages on image and text encoding. Most multimodal architectures employ separate networks for each modality to capture the semantic relationship between them. However, in our work image-text encoding can achieve comparable results in terms of cross-modal retrieval without having to use a separate network for each modality. We show that text encodings can capture semantic relationships between multiple modalities. In our knowledge, this work is the first of its kind in terms of employing a single network and fused image-text embedding for cross-modal retrieval. We evaluate our approach on two famous multimodal datasets: MS-COCO and Flickr30K.


title: Anomalous direction for skyrmion bubble motion

abstract: Magnetic skyrmions are localized topological excitations that behave as particles and can be mobile, with great potential for novel data storage devices. In this work, the current-induced dynamics of large skyrmion bubbles is studied. When skyrmion motion in the direction opposite to the electron flow is observed, this is usually interpreted as a perpendicular spin current generated by the spin Hall effect exerting a torque on the chiral N\'{e}el skyrmion. By designing samples in which the direction of the net generated spin current can be carefully controlled, we surprisingly show that skyrmion motion is always against the electron flow, irrespective of the net vertical spin-current direction. We find that a negative bulk spin-transfer torque is the most plausible explanation for the observed results, which is qualitatively justified by a simple model that captures the essential behaviour. These findings demonstrate that claims about the skyrmion chirality based on their current-induced motion should be taken with great caution.


title: On the spectral problem associated with the time-periodic nonlinear Schr\"odinger equation

abstract: According to its Lax pair formulation, the nonlinear Schr\"odinger (NLS) equation can be expressed as the compatibility condition of two linear ordinary differential equations with an analytic dependence on a complex parameter. The first of these equations---often referred to as the \emph{$x$-part} of the Lax pair---can be rewritten as an eigenvalue problem for a Zakharov-Shabat operator. The spectral analysis of this operator is crucial for the solution of the initial value problem for the NLS equation via inverse scattering techniques. For space-periodic solutions, this leads to the existence of a Birkhoff normal form, which beautifully exhibits the structure of NLS as an infinite-dimensional completely integrable system. In this paper, we take the crucial steps towards developing an analogous picture for time-periodic solutions by performing a spectral analysis of the \emph{$t$-part} of the Lax pair with a periodic potential.


title: Different reheating mechanisms in quintessence inflation

abstract: Different well-know ways to reheat the universe such as instant preheating, the creation of particles nearly or conformally coupled with gravity, or from the decay products of a curvaton field, are revisited and discussed in detail in the framework of quintessence inflation, where the inflaton field at the end of inflation, instead to oscillate, rolls monotonically towards the infinite to drive the universe to a kination regime. For any kind of these preheating (particle creation) mechanisms, in order to calculate the reheating temperature, we point out the importance of the Big Bang Nucleosynthesis bounds and the decay process of the massive fields involved in the theory, whose decay products form a relativistic plasma whose energy density eventually will dominate the one of the background after the phase transition.


title: A global study of hot flow anomalies using Cluster multi-spacecraft measurements

abstract: Hot flow anomalies (HFAs) are studied using observations of the magnetometer and the plasma instrument aboard the four Cluster spacecraft. We study several specific features of tangential discontinuities on the basis of Cluster measurements from the time periods of February-April 2003, December 2005-April 2006 and January-April 2007, when the separation distance of spacecraft was large. The previously discovered condition (Facsko et al., 2008) for forming HFAs is confirmed, i.e. that the solar wind speed and fast magnetosonic Mach number values are higher than average. Furthermore, this constraint is independent of the Schwartz et al. (2000)s condition for HFA formation. The existence of this new condition is confirmed by simultaneous ACE magnetic field and solar wind plasma observations at the L1 point, at 1.4 million km distance from the Earth. The temperature, particle density and pressure parameters observed at the time of HFA formation are also studied and compared to average values of the solar wind plasma. The size of the region affected by the HFA was estimated by using two different methods. We found that the size is mainly influenced by the magnetic shear and the angle between the discontinuity normal and the Sun-Earth direction. The size grows with the shear and (up to a certain point) with the angle as well. After that point it starts decreasing. The results are compared with the outcome of recent hybrid simulations.


title: A statistical study of hot flow anomalies using Cluster data

abstract: Hot flow anomalies (HFAs) are studied using observations of the RAPID suprathermal charged particle detector, the FGM magnetometer, and the CIS plasma detector aboard the four Cluster spacecraft. Previously, we studied several specific features of tangential discontinuities on the basis of Cluster measurements in February-April 2003. In this paper, we confirm the following results: the angle between the Sun direction and the tangentional discontinuity (TD) normal is larger than 45{\deg} during HFAs, the magnetic field directional change is large. We then present evidence for a new necessary condition for the formation of HFAs, that is, the solar wind speed is significantly ( about 200 km/s or dMf=2.3) higher than the long-term average. The existence of this condition is also confirmed by simultaneous ACE MAG and SWEPAM solar wind observations at the L1 point 1.4 million km upstream of the Earth. The results are compared with recent hybrid simulations.


title: On the $L$-polynomials of curves over finite fields

abstract: We discuss, in a non-archimedean setting, the distribution of the coefficients of L-polynomials of curves of genus $g$ over $\mathbb{F}_q$. This allows us to prove, among other things, that the $\mathbb{Q}$-vector space spanned by such characteristic polynomials has dimension $g+1$. We also state a conjecture about the archimedean distribution of the number of rational points of curves over finite fields.


title: Study of hot flow anomalies using Cluster multi-spacecraft measurements

abstract: Hot flow anomalies (HFAs) were first discovered in the early 1980s at the bow shock of the Earth. In the 1990s these features were studied, observed and simulated very intensively and many new missions focused the attention to this phenomenon again. Many basic features and the HFA formation mechanism were clarified observationally and using hybrid simulation techniques. We described previous observational, theoretical and simulation results in the research field of HFAs. We introduced HFA observations performed at the Earth, Mars, Venus and Saturn in this paper. We share different observation results of space mission to give an overview to the reader. Cluster multi-spacecraft measurements gave us more observed HFA events and finer, more sophisticated methods to understand them better. In this study, HFAs were studied using observations of the Cluster magnetometer and the Cluster plasma detector aboard the four Cluster spacecraft. Energetic particle measurements (28.2-68.9 keV) were also used to detect and select HFAs. We studied several specific features of tangential discontinuities generating HFAs on the basis of Cluster measurements in the period February-April 2003, December 2005-April 2006 and January-April, 2007, when the separation of spacecraft was large and the Cluster fleet reached the bow shock. We have confirmed the condition for forming HFAs, that the solar wind speed is higher than the average. This condition was also confirmed by simultaneous ACE magnetic field and solar wind plasma observations at the L1 point 1.4 million km upstream of the Earth. The measured and calculated features of HFA events were compared with the results of different previous hybrid simulations. During the whole spring season of 2003, the solar wind speed was higher than the average. Here we checked whether the higher solar wind speed is a real condition of HFA formation also in 2006 and 2007.


title: On some special classes of contact $B_0$-VPG graphs

abstract: A graph $G$ is a $B_0$-VPG graph if one can associate a path on a rectangular grid with each vertex such that two vertices are adjacent if and only if the corresponding paths intersect at at least one grid-point. A graph $G$ is a contact $B_0$-VPG graph if it is a $B_0$-VPG graph admitting a representation with no two paths crossing and no two paths sharing an edge of the grid. In this paper, we present a minimal forbidden induced subgraph characterisation of contact $B_0$-VPG graphs within four special graph classes: chordal graphs, tree-cographs, $P_4$-tidy graphs and $P_5$-free graphs. Moreover, we present a polynomial-time algorithm for recognising chordal contact $B_0$-VPG graphs.


title: Cluster Hot Flow Anomaly Observations During Solar Cycle Minimum

abstract: Hot flow anomalies (HFAs) are studied using observations of the FGM magnetometer and the CIS plasma detector aboard the four Cluster spacecraft. Previously we studied several specific features of tangential discontinuities on the basis of Cluster measurements in February-April 2003 and discovered a new condition for forming HFAs that is the solar wind speed is higher than the average. However during the whole spring season of 2003, the solar wind speed was higher than average. In this study we analyse HFAs detected in 2007, the year of solar cycle minimum. Our earlier result was confirmed: the higher solar wind speed is a real condition for HFA formation; furthermore this constraint is independent of Schwartz et al. s condition for HFA formation.


title: Collective behavior of self-propelled rods with quorum sensing

abstract: Active agents - like phoretic particles, bacteria, sperm, and cytoskeletal filaments in motility assays - show a large variety of motility-induced collective behaviors, such as aggregation, clustering and phase separation. The behavior of dense suspensions of phoretic particles and of bacteria during biofilm formation is determined by two principle physical mechanisms: (i) volume exclusion (short-range steric repulsion) and (ii) quorum sensing (longer-range reduced propulsion due to alteration of the local chemical environment). To systematically characterize such systems, we study semi-penetrable self-propelled rods in two dimensions, with a propulsion force that decreases with increasing local rod density, by employing Brownian Dynamics simulations. Volume exclusion and quorum sensing both lead to phase separation, however, the structure and rod dynamics vastly differ. Quorum sensing enhances the polarity of the clusters, induces perpendicularity of rods at the cluster borders, and enhances cluster formation. For systems, where the rods essentially become passive at high densities, formation of asters and stripes is observed. Systems of rods with larger aspect ratios show more ordered structures compared to those with smaller aspect ratios, due to their stronger alignment, with almost circular asters for strongly density-dependent propulsion force. With increasing range of the quorum-sensing interaction, the local density decreases, asters become less stable, and polar hedgehog clusters and clusters with domains appear. Our results characterize structure formation and dynamics due to the competition of two qualitatively different interaction mechanisms, steric hindrance and quorum sensing, which are both relevant for engineered phoretic microswimmers as well as for bacteria in biofilm formation.


title: The $\gamma$-ray spectrum of the core of Centaurus A as observed with H.E.S.S. and Fermi-LAT

abstract: Centaurus A (Cen A) is the nearest radio galaxy discovered as a very-high-energy (VHE; 100 GeV-100 TeV) $\gamma$-ray source by the High Energy Stereoscopic System (H.E.S.S.). It is a faint VHE $\gamma$-ray emitter, though its VHE flux exceeds both the extrapolation from early Fermi-LAT observations as well as expectations from a (misaligned) single-zone synchrotron-self Compton (SSC) description. The latter satisfactorily reproduces the emission from Cen A at lower energies up to a few GeV. New observations with H.E.S.S., comparable in exposure time to those previously reported, were performed and eight years of Fermi-LAT data were accumulated to clarify the spectral characteristics of the $\gamma$-ray emission from the core of Cen A. The results allow us for the first time to achieve the goal of constructing a representative, contemporaneous $\gamma$-ray core spectrum of Cen A over almost five orders of magnitude in energy. Advanced analysis methods, including the template fitting method, allow detection in the VHE range of the core with a statistical significance of 12$\sigma$ on the basis of 213 hours of total exposure time. The spectrum in the energy range of 250 GeV-6 TeV is compatible with a power-law function with a photon index $\Gamma=2.52\pm0.13_{\mathrm{stat}}\pm0.20_{\mathrm{sys}}$. An updated Fermi-LAT analysis provides evidence for spectral hardening by $\Delta\Gamma\simeq0.4\pm0.1$ at $\gamma$-ray energies above $2.8^{+1.0}_{-0.6}$ GeV at a level of $4.0\sigma$. The fact that the spectrum hardens at GeV energies and extends into the VHE regime disfavour a single-zone SSC interpretation for the overall spectral energy distribution (SED) of the core and is suggestive of a new $\gamma$-ray emitting component connecting the high-energy emission above the break energy to the one observed at VHE energies.


title: Long-lasting field-free alignment of large molecules inside helium nanodroplets

abstract: Molecules with their axes sharply confined in space, available through laser-induced alignment methods, are essential for many current experiments, including ultrafast molecular imaging. Most of these applications require both that the aligning laser field is turned-off, to avoid undesired perturbations, and that the molecules remain aligned sufficiently long that reactions and dynamics can be mapped out. Presently, this is only possible for small, linear molecules and for times less than 1 picosecond. Here, we demonstrate strong, field-free alignment of large molecules inside helium nanodroplets, lasting tens of picoseconds. Molecular alignment in either one or three dimensions is created by a slowly switched-on laser pulse, made field-free through rapid pulse truncation, and retained thanks to the impeding effect of the helium environment on molecular rotation. We illustrate the opportunities that field-free aligned molecules open by measuring the alignment-dependent strong-field ionization yield of a thiophene oligomer. Our technique will enable molecular-frame experiments, including ultrafast excited state dynamics, on a variety of large molecules and complexes.


title: Non-equilibrium quasiparticles in superconducting circuits: photons vs. phonons

abstract: We study the effect of non-equilibrium quasiparticles on the operation of a superconducting device (a qubit or a resonator), including heating of the quasiparticles by the device operation. Focusing on the competition between heating via low-frequency photon absorption and cooling via photon and phonon emission, we obtain a remarkably simple non-thermal stationary solution of the kinetic equation for the quasiparticle distribution function. We estimate the influence of quasiparticles on relaxation and excitation rates for transmon qubits, and relate our findings to recent experiments.


title: Formal Modeling of Robotic Cell Injection Systems in Higher-order Logic

abstract: Robotic cell injection is used for automatically delivering substances into a cell and is an integral component of drug development, genetic engineering and many other areas of cell biology. Traditionally, the correctness of functionality of these systems is ascertained using paper-and-pencil proof and computer simulation methods. However, the paper based proofs can be human-error prone and the simulation provides an incomplete analysis due to its sampling based nature and the inability to capture continuous behaviors in computer based models. Model checking has been recently advocated for the analysis of cell injection systems as well. However, it involves the discretization of the differential equations that are used for modeling the dynamics of the system and thus compromises on the completeness of the analysis as well. In this paper, we propose to use higher-order-logic theorem proving for the modeling and analysis of the dynamical behaviour of the robotic cell injection systems. The high expressiveness of the underlying logic allows us to capture the continuous details of the model in their true form. Then, the model can be analyzed using deductive reasoning within the sound core of a proof assistant.


title: An entropy generation formula on $RCD(K,\infty)$ spaces

abstract: J. Feng and T. Nguyen have shown that the solutions of the Fokker-Planck equation in $\R^d$ satisfy an entropy generation formula. We prove that, in compact metric measure spaces with the $RCD(K,\infty)$ property, a similar result holds for curves of measures whose density is bounded away from zero and infinity. We use this fact to show the existence of minimal characteristics for the stochastic value function.


title: Skeleton-stabilized ImmersoGeometric Analysis for incompressible viscous flow problems

abstract: A Skeleton-stabilized ImmersoGeometric Analysis technique is proposed for incompressible viscous flow problems with moderate Reynolds number. The proposed formulation fits within the framework of the finite cell method, where essential boundary conditions are imposed weakly using a Nitsche-type method. The key idea of the proposed formulation is to stabilize the jumps of high-order derivatives of variables over the skeleton of the background mesh. The formulation allows the use of identical finite-dimensional spaces for the approximation of the pressure and velocity fields in immersed domains. The stability issues observed for inf-sup stable discretizations of immersed incompressible flow problems are avoided with this formulation. For B-spline basis functions of degree $k$ with highest regularity, only the derivative of order $k$ has to be controlled, which requires specification of only a single stabilization parameter for the pressure field. The Stokes and Navier-Stokes equations are studied numerically in two and three dimensions using various immersed test cases. Oscillation-free solutions and high-order optimal convergence rates can be obtained. The formulation is shown to be stable even in limit cases where almost every elements of the physical domain is cut, and hence it does not require the existence of interior cells. In terms of the sparsity pattern, the algebraic system has a considerably smaller stencil than counterpart approaches based on Lagrange basis functions. This important property makes the proposed skeleton-stabilized technique computationally practical. To demonstrate the stability and robustness of the method, we perform a simulation of fluid flow through a porous medium, of which the geometry is directly extracted from 3D $\mu{CT}$ scan data.


title: Subalgebras of simple AF-algebras

abstract: It is shown that if A is a separable, exact C*-algebra which satisfies the Universal Coefficient Theorem (UCT) and has a faithful, amenable trace, then A admits a trace-preserving embedding into a simple, unital AF-algebra with unique trace. Modulo the UCT, this provides an abstract characterization of C*-subalgebras of simple, unital AF-algebras. As a consequence, for a countable, discrete, amenable group G acting on a second countable, locally compact, Hausdorff space X, C_0(X) \rtimes_r G embeds into a simple, unital AF-algebra if, and only if, X admits a faithful, invariant, Borel, probability measure. Also, for any countable, discrete, amenable group G, the reduced group C*-algebra C*_r(G) admits a trace-preserving embedding into the universal UHF-algebra.


title: cuPentBatch -- A batched pentadiagonal solver for NVIDIA GPUs

abstract: We introduce cuPentBatch -- our own pentadiagonal solver for NVIDIA GPUs. The development of cuPentBatch has been motivated by applications involving numerical solutions of parabolic partial differential equations, which we describe. Our solver is written with batch processing in mind (as necessitated by parameter studies of various physical models). In particular, our solver is directed at those problems where only the right-hand side of the matrix changes as the batch solutions are generated. As such, we demonstrate that cuPentBatch outperforms the NVIDIA standard pentadiagonal batch solver gpsvInterleavedBatch for the class of physically-relevant computational problems encountered herein.


title: Communicating via ignorance: Increasing communication capacity via superposition of order

abstract: Classically, no information can be transmitted through a depolarising, that is a completely noisy, channel. We show that by combining a depolarising channel with another channel in an indefinite causal order---that is, when there is superposition of the order that these two channels were applied---it becomes possible to transmit significant information. We consider two limiting cases. When both channels are fully-depolarising, the ideal limit is communication of 0.049 bits; experimentally we achieve $(3.4{\pm}0.2){\times}10^{-2}$ bits. When one channel is fully-depolarising, and the other is a known unitary, the ideal limit is communication of 1 bit. We experimentally achieve 0.64${\pm}$0.02 bits. Our results offer intriguing possibilities for future communication strategies beyond conventional quantum Shannon theory.


title: A local Blaschke-Petkantschin formula in a Riemannian manifold

abstract: In this paper, we show a local Blaschke-Petkantschin formula for a Riemannian manifold. Namely, we compute the Jacobian determinant of the parametrization of $(n+1)$-tuples of the manifold by the center and the radius of their common circumscribed sphere as well as the $(n+1)$ directions characterizing the positions of the $n+1$ points on it. We deduce from it a more explicit two-term expansion when the radius tends to $0$. This formula contains a local correction with respect to the flat case which involves the Ricci curvatures in the $(n+1)$ directions.


title: Same-sign trilepton signal for stop quark in the presence of sneutrino dark matter

abstract: We have explored a minimal supersymmetric standard model scenario extended by one pair of gauge singlets per generation. In the model light neutrino masses and their mixings are generated via inverse seesaw mechanism. In such a scenario, a right-handed sneutrino can be the lightest supersymmetric particle and a cold Dark Matter (DM) candidate. If Casas-Ibarra parametrisation is imposed on the Dirac neutrino Yukawa coupling matrix ($Y_{\nu}$) to fit the neutrino oscillation data, the resulting $Y_{\nu}$ is highly constrained from the lepton flavor violating (LFV) decay constraints. The smallness of $Y_{\nu}$ requires the sneutrino DM to co-annihilate with other sparticle(s) in order to satisfy DM relic density constraint. We have studied sneutrino co-annihilation with wino and observed that this sneutrino-wino compressed parameter space gives rise to a novel same-sign trilepton signal for the stop quark, which is more effective than the conventional stop search channels in the present framework. We have shown that the choice of neutrino mass hierarchy strongly affects the signal event rate, making it easier to probe the scenario with inverted mass hierarchy.


title: Global Instability of the Multi-dimensional Plane Shocks for the isothermal flow

abstract: In this paper, we are concerned with the long time behavior of the piecewise smooth solutions to the generalized Riemann problem governed by the compressible isothermal Euler equations in two and three dimensions. Non-existence result is established for the fan-shaped wave structure solution, including two shocks and one contact discontinuity and which is a perturbation of plane waves. Therefore, unlike the one-dimensional case, the multi-dimensional plane shocks are not stable globally. What is more, the sharp lifespan estimate is established which is the same as the lifespan estimate for the nonlinear wave equations in both two and three space dimensions.


title: The State of Sustainable Research Software: Results from the Workshop on Sustainable Software for Science: Practice and Experiences (WSSSPE5.1)

abstract: This article summarizes motivations, organization, and activities of the Workshop on Sustainable Software for Science: Practice and Experiences (WSSSPE5.1) held in Manchester, UK in September 2017. The WSSSPE series promotes sustainable research software by positively impacting principles and best practices, careers, learning, and credit. This article discusses the Code of Conduct, idea papers, position papers, experience papers, demos, and lightning talks presented during the workshop. The main part of the article discusses the speed-blogging groups that formed during the meeting, along with the outputs of those sessions.


title: Deformation of the Magnetic Skyrmion Lattice in MnSi under Electric Current Flow

abstract: Using small-angle neutron scattering (SANS), we investigate the deformation of the magnetic skyrmion lattice in bulk single-crystalline MnSi under electric current flow. A significant broadening of the skyrmion-lattice-reflection peaks was observed in the SANS pattern for current densities greater than a threshold value j_t ~ 1 MA/m^2 (10^6 A/m^2). We show this peak broadening to originate from a spatially inhomogeneous rotation of the skyrmion lattice, with an inverse rotation sense observed for opposite sample edges aligned with the direction of current flow. The peak broadening (and the corresponding skyrmion lattice rotations) remain finite even after switching off the electric current. These results indicate that skyrmion lattices under current flow experience significant friction near the sample edges, and plastic deformation due to pinning effects, these being important factors that must be considered for the anticipated skyrmion-based applications in chiral magnets at the nanoscale.


title: Fuzzy quantification for linguistic data analysis and data mining

abstract: Fuzzy quantification is a subtopic of fuzzy logic which deals with the modelling of the quantified expressions we can find in natural language. Fuzzy quantifiers have been successfully applied in several fields like fuzzy, control, fuzzy databases, information retrieval, natural language generation, etc. Their ability to model and evaluate linguistic expressions in a mathematical way, makes fuzzy quantifiers very powerful for data analytics and data mining applications. In this paper we will give a general overview of the main applications of fuzzy quantifiers in this field as well as some ideas to use them in new application contexts.


title: Zitterbewegung and bulk-edge Landau-Zener tunneling in topological insulators

abstract: We investigate the ballistic zitterbewegung dynamics and the Landau-Zener tunneling between edge and bulk states of wave packets in two-dimensional topological insulators. In bulk, we use the Ehrenfest theorem to show that an external in-plane electric field not only drifts the packet longitudinally, but also induces a transverse finite side-jump for both trivial and topological regimes. For finite ribbons of width $W$, we show that the Landau-Zener tunneling between bulk and edge states vanishes for large $W$ as their electric field-induced coupling decays with $W^{-3/2}$. This is demonstrated by expanding the time-dependent Schr\"odinger equation in terms of Houston states. Hence we cannot picture the quantum spin Hall states as arising from the zitterbewegung bulk trajectories `leaking' into the edge states, as proposed in Phys. Rev. B 87, 161115 (2013).


title: ISIC 2018-A Method for Lesion Segmentation

abstract: Our team participate in the challenge of Task 1: Lesion Boundary Segmentation , and use a combined network, one of which is designed by ourselves named updcnn net and another is an improved VGG 16-layer net. Updcnn net uses reduced size images for training, and VGG 16-layer net utilizes large size images. Image enhancement is used to get a richer data set. We use boxes in the VGG 16-layer net network for local attention regularization to fine-tune the loss function, which can increase the number of training data, and also make the model more robust. In the test, the model is used for joint testing and achieves good results.


title: Magnetization nutation induced by surface effects in nanomagnets

abstract: We investigate the magnetization dynamics of ferromagnetic nanoparticles in the atomistic approach taking account of surface anisotropy and the spin misalignment it causes. We demonstrate that such inhomogeneous spin configurations induce nutation in the dynamics of the particle's magnetization. More precisely, in addition to the ordinary precessional motion with frequency $f_{p}\sim10\,{\rm GHz}$, we find that the dynamics of the net magnetic moment exhibits two more resonance peaks with frequencies $f_{c}$ and $f_{n}$ which are higher than the frequency $f_{p} : f_{c}=4\times f_{p}\sim40\,{\rm GHz}$ is related with the oscillations of the particle's magnetic moment between the minima of the effective potential induced by weak surface anisotropy. On the other hand, the much higher frequency $f_{n}\sim1\,{\rm THz}$ is attributed to the magnetization fluctuations at the atomic level driven by exchange interaction. We have compared our results on nutation induced by surface effects with those rendered by the macroscopic approach based on the Landau-Lifshitz-Gilbert equation augmented by an inertial term (proportional to the second-order time derivative of the macroscopic moment) with a phenomenological coefficient. The good agreement between the two models have allowed us to estimate the latter coefficient in terms of the atomistic parameters such as the surface anisotropy constant. We have thus proposed a new origin for the magnetization nutations as being induced by surface effects and have interpreted the corresponding resonance peaks and their frequencies.


title: A finite difference approximation of a two dimensional time fractional advection-dispersion problem

abstract: Time fractional advection-dispersion equations arise as generalizations of classical integer order advection-dispersion equations and are increasingly used to model fluid flow problems through porous media. In this paper we develop an implicit finite difference method to solve a two-dimensional initial boundary value problem for the linear time fractional advection-dispersion equation with variable coefficients on a bounded domain. Consistency, stability and convergence of the method are proved in detail and the numerical experiments offer a good insight into the quality of the obtained approximations.


title: A method for proving Ramanujan series for $1/\pi$

abstract: In a famous paper of $1914$ Ramanujan gave a list of $17$ extraordinary formulas for the number $\pi$. In this paper we explain a general method to prove them, based on an original idea of James Wan and in some own ideas.


title: A New Noise-Assistant LMS Algorithm for Preventing the Stalling Effect

abstract: In this paper, we introduce a new algorithm to deal with the stalling effect in the LMS algorithm used in adaptive filters. We modify the update rule of the tap weight vectors by adding noise, generated by a noise generator. The properties of the proposed method are investigated by two novel theorems. As it is shown, the resulting algorithm, called Added Noise LMS (AN-LMS), improves the resistance capability of the conventional LMS algorithm against the stalling effect. The probability of update with additive white Gaussian noise is calculated in the paper. Convergence of the proposed method is investigated and it is proved that the rate of convergence of the introduced method is equal to that of LMS algorithm in the expected value sense, provided that the distribution of the added noise is uniform. Finally, it is shown that the order of complexity of the proposed algorithm is linear as the conventional LMS algorithm.


title: General theory of topological Hall effect in systems with chiral spin textures

abstract: We present a consistent theory of the topological Hall effect (THE) in 2D magnetic systems with disordered array of chiral spin textures, such as magnetic skyrmions. We focus on the scattering regime when the mean-free path of itinerant electrons exceeds the spin texture size, and THE arises from the asymmetric carrier scattering on individual chiral spin textures. We calculate the resistivity tensor on the basis of the Boltzmann kinetic equation taking into account the asymmetric scattering on skyrmions via the collision integral. Our theory describes both the adiabatic regime, when THE arises from a spin Hall effect and the non-adiabatic scattering when THE is due to purely charge transverse currents. We analyze the dependence of THE resistivity on a chiral spin texture structure,as well as on material parameters. We discuss the crossover between spin and charge regimes of THE driven by the increase of skyrmion size, the features of THE due to the variation of the Fermi energy, and the exchange interaction strength; we comment on the sign and magnitude of THE


title: Real Sparse Fast DCT for Vectors with Short Support

abstract: In this paper we present a new fast and deterministic algorithm for the inverse discrete cosine transform of type II for reconstructing the input vector $\mathbf x\in\mathbb R^N$, $N=2^J$, with short support of length $m$ from its discrete cosine transform $\mathbf x^{\widehat{\mathrm{II}}}=C^{\mathrm{II}}_N\mathbf x$ if an upper bound $M\geq m$ is known. The resulting algorithm only uses real arithmetic, has a runtime of $\mathcal{O}\left(M\log M+m\log_2\frac{N}{M}\right)$ and requires $\mathcal{O}\left(M+m\log_2\frac{N}{M}\right)$ samples of $\mathbf x^{\widehat{\mathrm{II}}}$. For $m,M\rightarrow N$ the runtime and sampling requirements approach those of a regular IDCT-II for vectors with full support. The algorithm presented hereafter does not employ inverse FFT algorithms to recover $\mathbf x$.


title: Einstein, Weyl and Asymmetric Geometries

abstract: In a previous paper, we presented new results on non-Riemannian geometry. For an asymmetric connection, we showed that a projective change in the symmetric part generates a vector field that is not arbitrary, but is the gradient of a non-arbitrary scalar field. As a consequence, Weyl's geometry is a conformal differential geometry and is associated with asymmetric geometry by this projective change. In the present paper, important differences between light-like and non-light-like intervals are analysed. We show that integrability condition in Weyl's geometry implies microscopic spacetime oscillations of Weyl's and Einstein's geometries. We show that the integrability condition in Weyl's geometry, together with the condition that null and massive particles interact locally in an Einstein spacetime. We construct an equation for linear transverse waves and make a qualitative application in a hydrogen atom, which, from qualitative viewpoint, agrees with Bohr's hydrogen model and Schrodinger's quantum mechanics.


title: Energy Constraints and Phenomenon of Cosmic Evolution in $f(T,B)$ Framework

abstract: We investigate the cosmological evolution in a new modified teleparallel theory, called $f(T,B)$ gravity, which is formulated by connecting both $f(T)$ and $f(R)$ theories with a boundary term $B$. Here, $T$ is the torsion scalar in teleparallel gravity and $R$ is the scalar curvature. For this purpose, we assume flat Friedmann-Robertson-Walker (FRW) geometry filled with perfect fluid matter contents. We study two cases in this gravity: One is for a general function of $f(T,B)$, and the other is for a particular form of it given by the term of $-T+F(B)$. We also formulate the general energy constraints for these cases. Furthermore, we explore the validity of the bounds on the energy conditions by specifying different forms of$f(T,B)$ and $F(B)$ function obtained by the reconstruction scheme for de Sitter, power-law, the $\Lambda$CDM and Phantom cosmological models. Moreover, the possible constraints on the free model parameters are examined with the help of region graphs. In addition, we explore the evolution of the effective equation of state (EoS) $\omega_{eff}$ for the universe and compare theoretical results with the observational data. It is found that the effective EoS represents the phantom phase or the quintessence one in the accelerating universe in all of the cases consistent with the observational data.


title: Localization of disordered harmonic chain with long-range correlation

abstract: In the previous paper [Yamada, Chaos, Solitons $\&$ Fractals, {\bf 109},99(2018)], we investigated localization properties of one-dimensional disordered electronic system with long-range correlation generated by modified Bernoulli (MB) map. In the present paper, we report localization properties of phonon in disordered harmonic chains generated by the MB map. Here we show that Lyapunov exponent becomes positive definite for almost all frequencies $\omega$ except $\omega=0$, and the $B-$dependence changes to exponential decrease for $B > 2 $, where $B$ is a correlation parameter of the MB map. The distribution of the Lyapunov exponent of the phonon amplitude has a slow convergence, different from that of uncorrelated disordered systems obeying a normal central-limit theorem. Moreover, we calculate the phonon dynamics in the MB chains. We show that the time-dependence of spread in the phonon amplitude and energy wave packet changes from that in the disordered chain to that in the periodic one, as the correlation parameter $B$ increases.


title: Variations on the Dirac string

abstract: Dirac's original solution of the nontrivial Bianchi identity for magnetic monopoles [Dirac 1948], which redefines the fieldstrength along the Dirac string, diagonalizes the gauge and monopole degrees of freedom. We provide a variant of the Dirac string, which we motivate through a formal expansion of the Bianchi identity. We show how to use our variant prescription to study monopole electrodynamics without reference to a dual potential and provide some applications.


title: The MICADO first light imager for ELT: its astrometric performance

abstract: We report on our ongoing efforts to ensure that the MICADO NIR imager reaches differential absolute (often abbreviated: relative) astrometric performance limited by the SNR of typical observations. The exceptional 39m diameter collecting area in combination with a powerful multi-conjugate adaptive optics system (called MAORY) brings the nominal centroiding error, which scales as FWHM/SNR, down to a few 10 uas. Here we show that an exceptional effort is needed to provide a system which delivers adequate and calibrateable astrometric performance over the full field of view (up to 53 arcsec diameter).


title: The use of test functions to help define quadratic Lagrangian on a causal set

abstract: In some other papers, the Lagrangians in the causal sets included coefficients that were to be computed by integrating over Alexandrov set. In those other papers, this integral was explicitly evaluated, which resulted in rather sophisticated expressions. On the other hand, in this paper, instead of evaluating this integral, it was left in an integral form where the actual fields were replaced with test functions (thus avoiding nonlinearities). The test functions get absorbed into equations in a very natural way, so the resulting formulas look elegant.


title: Analyzing Hypersensitive AI: Instability in Corporate-Scale Machine Learning

abstract: Predictive geometric models deliver excellent results for many Machine Learning use cases. Despite their undoubted performance, neural predictive algorithms can show unexpected degrees of instability and variance, particularly when applied to large datasets. We present an approach to measure changes in geometric models with respect to both output consistency and topological stability. Considering the example of a recommender system using word2vec, we analyze the influence of single data points, approximation methods and parameter settings. Our findings can help to stabilize models where needed and to detect differences in informational value of data points on a large scale.


title: Eigenspace-Based Minimum Variance Combined with Delay Multiply and Sum Beamformer: Application to Linear-Array Photoacoustic Imaging

abstract: In Photoacoustic imaging, Delay-and-Sum (DAS) algorithm is the most commonly used beamformer. However, it leads to a low resolution and high level of sidelobes. Delay-Multiply-and-Sum (DMAS) was introduced to provide lower sidelobes compared to DAS. In this paper, to improve the resolution and sidelobes of DMAS, a novel beamformer is introduced using Eigenspace-Based Minimum Variance (EIBMV) method combined with DMAS, namely EIBMV-DMAS. It is shown that expanding the DMAS algebra leads to several terms which can be interpreted as DAS. Using the EIBMV adaptive beamforming instead of the existing DAS (inside the DMAS algebra expansion) is proposed to improve the image quality. EIBMV-DMAS is evaluated numerically and experimentally. It is shown that EIBMV-DMAS outperforms DAS, DMAS and EIBMV in terms of resolution and sidelobes. In particular, at the depth of 11 mm of the experimental images, EIBMV-DMAS results in about 113 dB and 50 dB sidelobe reduction, compared to DMAS and EIBMV, respectively. At the depth of 7 mm, for the experimental images, the quantitative results indicate that EIBMV-DMAS leads to improvement in Signal-to-Noise Ratio (SNR) of about 75% and 34%, compared to DMAS and EIBMV, respectively.


title: Noether symmetry in the Nash theory of gravity

abstract: This paper deals with the study of Bianchi type-I universe in the context of Nash gravity by using the Noether symmetry approach. We shortly revisit the Nash theory of gravity. We make a short recap of the Noether symmetry approach and consider the geometry for Bianchi-type I model. We obtain the exact general solutions of the theory inherently exhibited by the Noether symmetry. We also examine the cosmological implications of the model by discussing the two cases of viable scenarios. Surprisingly, we find that the predictions are nicely compatible with those of the LambdaCDM model.


title: Type IV singular bouncing cosmology from $f(T)$ Gravity

abstract: We investigate bouncing scenario in the modified $f(T)$ gravity, $T$ being the torsion scalar. Attention is attached to the reconstruction of $f(T)$ able to describe type IV singular bouncing evolution, where we adopt as assumption that the bouncing and type IV singularity points coincide. In the context of the reconstructed $f(T)$ model we calculate the Hubble slow-roll parameters in order to determine the dynamical evolution of the cosmological system under study. The results show that the Hubble slow-roll parameters become singular at the type IV singularity indicating a dynamical instability. Moreover we perform the stability analysis of the $f(T)$ gravity solution where, according to the obtained result, the type IV singularity point is a saddle point in agreement with the bounce scenario.


title: Area rigidity for the equatorial disk in the ball

abstract: It is proved by Brendle in [4] that the equatorial disk $D^k$ has least area among $k$-dimensional free boundary minimal surfaces in the Euclidean ball $B^n$. By comparing the excess of free boundary minimal surfaces with the excess of the associated cones over the boundary, we prove the existence of a gap for the area.


title: Asymptotic total geodesy of local holomorphic curves exiting a bounded symmetric domain and applications to a uniformization problem for algebraic subsets

abstract: The current article stems from our study on the asymptotic behavior of holomorphic isometric embeddings of the Poincar\'e disk into bounded symmetric domains. As a first result we prove that any holomorphic curve exiting the boundary of a bounded symmetric domain $\Omega$ must necessarily be asymptotically totally geodesic. Assuming otherwise we derive by the method of rescaling a hypothetical holomorphic isometric embedding of the Poincar\'e disk with ${\rm Aut}(\Omega')$-equivalent tangent spaces into a tube domain $\Omega' \subset \Omega$ and derive a contradiction by means of the Poincar\'e-Lelong equation. We deduce that equivariant holomorphic embeddings between bounded symmetric domains must be totally geodesic. Furthermore, we solve a uniformization problem on algebraic subsets $Z \subset \Omega$. More precisely, if $\check \Gamma\subset {\rm Aut}(\Omega)$ is a torsion-free discrete subgroup leaving $Z$ invariant such that $Z/\check \Gamma$ is compact, we prove that $Z \subset \Omega$ is totally geodesic. In particular, letting $\Gamma \subset{\rm Aut}(\Omega)$ be a torsion-free cocompact lattice, and $\pi: \Omega \to \Omega/\Gamma =: X_\Gamma$ be the uniformization map, a subvariety $Y \subset X_\Gamma$ must be totally geodesic whenever some (and hence any) irreducible component $Z$ of $\pi^{-1}(Y)$ is an algebraic subset of $\Omega$. For cocompact lattices this yields a characterization of totally geodesic subsets of $X_\Gamma$ by means of bi-algebraicity without recourse to the celebrated monodromy result of Andr\'e-Deligne on subvarieties of Shimura varieties, and as such our proof applies to not necessarily arithmetic cocompact lattices.


title: Can Sound Waves be Slowed?

abstract: Dielectric fluids experience a striction force in the presence of an external electric field. Although the striction force on the entire body of the fluid is usually zero, it does contribute to its deformations. In this paper, I show that the speed of sound in dielectric fluids is reduced when they are exposed to uniform electric fields of sufficiently high magnitude. Ferrofluids also experience a similar striction force in presence of a magnetizing field. However, their low relative permeability makes the effect very small.


title: Chaplygin Gas models without Chaplygin Gas EoS

abstract: The equation of state of Chaplygin Gas is one of the simplest ways to illustrate dark energy effects during the late time. Indeed, while one uses the equation of state of Chaplygin Gas, the continuity equation gives specific energy density which satisfies both deceleration (matter dominated) and acceleration (dark energy epoch). In other words, for the earlier universe, the energy density of whole energy-matter component behaves as matter era (baryonic and dark matter) and treats such as dark energy in the standard model of cosmology Lambda-CDM when a goes to infinity. Here, by using the general form of F(R) gravity while the pressure of matter is non-zero, we show that even for Einstein gravity (GR), one obtains a viable cosmological model with the same energy density of Chaplygin Gas while Chaplygin Gas EoS is not used. Further, we investigate cosmic evolution through two other different forms of F(R) gravity and show general behavior of Hubble parameter, cosmological scale factor and equation of state throughout cosmic time.


title: Negative mass scenario and Schwarzschild spacetime in general relativity

abstract: In this note we discuss the hypothesis of a presence of the negative mass in the Schwarzschild's spacetime following to ideas of \cite{Villata,Chardin}. We demonstrate, that the discrete $PT$ transformation of the coordinates and mass inversion in the Schwarzschild's metric solution is equivalent to the inversion of the Kruskal-Szekeres coordinates, \cite{Kruskal}, in the full region of the solution's spacetime. As the consequence of the result, it is argued that the whole Schwarzschild spacetime can be described in terms of regions of positive and negative masses interconnected by the discrete transforms.


title: Top quark mass effects in HJ production at NLO

abstract: We present predictions for gluon-fusion Higgs boson production in association with one jet at next-to-leading order in QCD. The calculation is performed retaining the full dependence on the top-quark mass. The two-loop integrals appearing in the virtual corrections are calculated numerically using the program SecDec. We show how a change of master integrals can improve the stability and runtime of the calculation. We study the Higgs boson transverse momentum distribution and compare our predictions with approximated results.


title: Patterning-effect-free intensity modulator for secure decoy-state quantum key distribution

abstract: Quantum key distribution (QKD) is a technology that allows two users to exchange keys securely. The decoy state technique enhances the technology, ensuring keys can be shared at high bit rates over long distances with information theoretic security. However, imperfections in the implementation, known as side-channels, threaten the perfect security of practical QKD protocols. Intensity modulators are required for high-rate decoy state QKD systems, although these are unstable and can display a side channel where the intensity of a pulse is dependent on the previous pulse. Here we demonstrate the superior practicality of a tunable extinction ratio Sagnac-based intensity modulator (IM) for practical QKD systems. The ability to select low extinction ratios, alongside the immunity of Sagnac interferometers to DC drifts, means that random decoy state QKD patterns can be faithfully reproduced with no patterning effects. The inherent stability of Sagnac interferometers also ensures that the modulator output does not wander over time.


title: Classical uncertainty in predicting the future

abstract: In this work we scrutinize the deterministic nature of globally hyperbolic space-times from the point of view of an observer. We show that a space-time point $q \in M$ that lies to the future of an observer at $p \in M$, receives signals that are invisible (to be made precise) to the observer at $p$. Part of the initial data on a Cauchy surface, required to predict what happens at $q$, is also invisible to the observer at $p$. Therefore it is not possible for any observer to predict a future event with certainty. The uncertainty increases as one attempts to predict further future. An observer at $p$ can access the entire data to determine what happens at $q$, if and only if $q \in J^-(p)$. Classical uncertainty in prediction is not an intrinsic feature of the events in space-time. It adds up with the usual quantum mechanical uncertainty to limit our ability to predict the future. We also suggest a thought experiment to elucidate the subject.


title: Image Reconstruction via Variational Network for Real-Time Hand-Held Sound-Speed Imaging

abstract: Speed-of-sound is a biomechanical property for quantitative tissue differentiation, with great potential as a new ultrasound-based image modality. A conventional ultrasound array transducer can be used together with an acoustic mirror, or so-called reflector, to reconstruct sound-speed images from time-of-flight measurements to the reflector collected between transducer element pairs, which constitutes a challenging problem of limited-angle computed tomography. For this problem, we herein present a variational network based image reconstruction architecture that is based on optimization loop unrolling, and provide an efficient training protocol of this network architecture on fully synthetic inclusion data. Our results indicate that the learned model presents good generalization ability, being able to reconstruct images with significantly different statistics compared to the training set. Complex inclusion geometries were shown to be successfully reconstructed, also improving over the prior-art by 23% in reconstruction error and by 10% in contrast on synthetic data. In a phantom study, we demonstrated the detection of multiple inclusions that were not distinguishable by prior-art reconstruction, meanwhile improving the contrast by 27% for a stiff inclusion and by 219% for a soft inclusion. Our reconstruction algorithm takes approximately 10ms, enabling its use as a real-time imaging method on an ultrasound machine, for which we are demonstrating an example preliminary setup herein.


title: Deformations of log canonical and F-pure singularities

abstract: We introduce a lifting property for local cohomology, which leads to a unified treatment of the dualizing complex for flat morphisms with semi-log-canonical, Du Bois or F-pure fibers. As a consequence we obtain that, in all 3 cases, the cohomology sheaves of the relative dualizing complex are flat and commute with base change. We also derive several consequences for deformations of semi-log-canonical, Du Bois and F-pure singularities.


title: Preventing Poisoning Attacks on AI based Threat Intelligence Systems

abstract: As AI systems become more ubiquitous, securing them becomes an emerging challenge. Over the years, with the surge in online social media use and the data available for analysis, AI systems have been built to extract, represent and use this information. The credibility of this information extracted from open sources, however, can often be questionable. Malicious or incorrect information can cause a loss of money, reputation, and resources; and in certain situations, pose a threat to human life. In this paper, we use an ensembled semi-supervised approach to determine the credibility of Reddit posts by estimating their reputation score to ensure the validity of information ingested by AI systems. We demonstrate our approach in the cybersecurity domain, where security analysts utilize these systems to determine possible threats by analyzing the data scattered on social media websites, forums, blogs, etc.


title: Experimental Implementation of Efficient Quantum Pseudorandomness on a 12-spin System

abstract: Quantum pseudorandomness, also known as unitary designs, comprise a powerful resource for quantum computation and quantum engineering. While it is known in theory that pseudorandom unitary operators can be constructed efficiently, realizing these objects in realistic physical systems can be a challenging task. In this work, we study quantum pseudorandomness generation on a 12-spin nuclear magnetic resonance system. The experimental process is based on the recently proposed design Hamiltonian approach, which has the merit of being significantly more efficient than previous protocols. By applying random refocusing sequences to the experimental system we create a design Hamiltonian the dynamics of which quickly forms unitary designs. We then use multiple-quantum techniques to measure spreading of quantum coherences over system's degrees of freedom, and so to probe the growth of quantum pseudorandomness. The measured multiple-quantum coherence spectra indicate that substantial quantum pseudorandomness have been achieved.


title: Photonic Hall effect

abstract: In this work, we report on the emergence of a photonic Hall effect (PHE) system within a narrow filtered background of a one-dimensional defective optical dielectric structure with graphene under the static QHE regime. It is observed that at low temperature and relatively strong applied magnetic fields, electromagnetic defective transmission spectra corresponding to the two decoupled right- and left-handed polarized modes possess a step-like transmission feature which are referred to as "quantum Hall defect modes" (QHD modes or QHDs) in this paper. Tunable growing transitional transmission steps for QHDs with increasing the magnetic field intensity was shown to be possible. Observation of sensitive magneto-transmission oscillations to the thermal excitations in the last plateaus with slow ascending toward unity is another special feature noted in this work. The results of this study which is carried out based on a rapid standard calculations for transfer matrix approach is supplied with commercial simulations marking the first PHE system promise an proper candidate for new photonic applications, especially new tunable magneto-based lenses and photonic magneto-thermal sensors.


title: Observational constraints on the tilted spatially-flat and the untilted nonflat $\phi$CDM dynamical dark energy inflation models

abstract: We constrain spatially-flat tilted and nonflat untilted scalar field ($\phi$) dynamical dark energy inflation ($\phi$CDM) models by using Planck 2015 cosmic microwave background (CMB) anisotropy measurements and recent baryonic acoustic oscillation distance observations, Type Ia supernovae apparent magnitude data, Hubble parameter measurements, and growth rate data. We assume an inverse power-law scalar field potential energy density $V(\phi)=V_0 \phi^{-\alpha}$. We find that the combination of the CMB data with the four non-CMB data sets significantly improves parameter constraints and strengthens the evidence for nonflatness in the nonflat untilted $\phi$CDM case from $1.8\sigma$ for the CMB measurements only to more than $3.1\sigma$ for the combined data. In the nonflat untilted $\phi$CDM model current observations favor a spatially closed universe with spatial curvature contributing about two-thirds of a percent of the present cosmological energy budget. The flat tilted $\phi$CDM model is a 0.4$\sigma$ better fit to the data than is the standard flat tilted $\Lambda$CDM model: current data allow for the possibility that dark energy is dynamical. The nonflat tilted $\phi$CDM model is in better accord with the Dark Energy Survey bounds on the rms amplitude of mass fluctuations now ($\sigma_8$) as a function of the nonrelativistic matter density parameter now ($\Omega_m$) but it does not provide as good a fit to the larger-multipole Planck 2015 CMB anisotropy data as does the standard flat tilted $\Lambda$CDM model. A few cosmological parameter value measurements differ significantly when determined using the tilted flat and the untilted nonflat $\phi$CDM models, including the cold dark matter density parameter and the reionization optical depth.