title: Latent Laplacian Maximum Entropy Discrimination for Detection of High-Utility Anomalies

abstract: Data-driven anomaly detection methods suffer from the drawback of detecting all instances that are statistically rare, irrespective of whether the detected instances have real-world significance or not. In this paper, we are interested in the problem of specifically detecting anomalous instances that are known to have high real-world utility, while ignoring the low-utility statistically anomalous instances. To this end, we propose a novel method called Latent Laplacian Maximum Entropy Discrimination (LatLapMED) as a potential solution. This method uses the EM algorithm to simultaneously incorporate the Geometric Entropy Minimization principle for identifying statistical anomalies, and the Maximum Entropy Discrimination principle to incorporate utility labels, in order to detect high-utility anomalies. We apply our method in both simulated and real datasets to demonstrate that it has superior performance over existing alternatives that independently pre-process with unsupervised anomaly detection algorithms before classifying.


title: Curvature effects in turbulent premixed flames of H$_2$/Air: a DNS study with reduced chemistry

abstract: Data from a three-dimensional Direct Numerical Simulation of a turbulent premixed Bunsen flame at a low global Lewis number are analyzed to address the effects of the curvature on the local flame front. For this purpose, the chemical kinetics is modeled according to a reduced scheme, involving 5 reactions and 7 species, to mimic a H$_{2}$/Air flame at equivalence ratio $\phi=0.5$. An increase of the local temperature and reaction rate is found for fronts elongated into the fresh gases (concave), while local quenching is observed for fronts elongated in the opposite direction (convex), i.e. towards the burnt mixture. Data show that the occurrence in the reaction region of these super-reactive (concave fronts) and quenched zones (convex fronts) is predominant compared to a behavior compatible with the corresponding unstretched laminar flame. In particular, well inside the reaction region, the probability density function of the OH radical concentration shows a bi-modal shape with peaks corresponding to negative (concave) and positive (convex) curvatures, while a locally flat front is less frequently detected. The two states are associated with a higher and lower chemical activity with respect the laminar case. Additional statistics conditioned to the local hydrogen concentration provide further information on this dual-state dynamics and on the differences with respect to the corresponding laminar unstretched flame when moving from the fresh to the burnt gas regions. Finally we discuss the effects of the turbulence on the thermo-diffusive instability showing that the turbulent fluctuations, increasing the flame front corrugations, are essentially responsible of the local flame quenching.


title: BubbleView: an interface for crowdsourcing image importance maps and tracking visual attention

abstract: In this paper, we present BubbleView, an alternative methodology for eye tracking using discrete mouse clicks to measure which information people consciously choose to examine. BubbleView is a mouse-contingent, moving-window interface in which participants are presented with a series of blurred images and click to reveal "bubbles" - small, circular areas of the image at original resolution, similar to having a confined area of focus like the eye fovea. Across 10 experiments with 28 different parameter combinations, we evaluated BubbleView on a variety of image types: information visualizations, natural images, static webpages, and graphic designs, and compared the clicks to eye fixations collected with eye-trackers in controlled lab settings. We found that BubbleView clicks can both (i) successfully approximate eye fixations on different images, and (ii) be used to rank image and design elements by importance. BubbleView is designed to collect clicks on static images, and works best for defined tasks such as describing the content of an information visualization or measuring image importance. BubbleView data is cleaner and more consistent than related methodologies that use continuous mouse movements. Our analyses validate the use of mouse-contingent, moving-window methodologies as approximating eye fixations for different image and task types.


title: Affinely rigid Finsler manifolds

abstract: A Finsler function $F$ is affinely rigid if its canonical spray is uniquely metrizable, in the sense that if $\bar F$ is another Finsler function whose canonical spray is $S$, then $d(F/\bar F)=0$. In this short note we explore some sufficient conditions for a Finsler function to be affinely rigid, and discuss open problems.


title: Re-examining valence quark spin distributions

abstract: The observed deep inelastic nucleon spin asymmetries $A_{1}^{p,n}$ and the spin dependent quark distributions break SU(6) spin - flavour symmetry. In quark models two mechanisms for breaking SU(6) symmetry are well known: the hyperfine interaction and the pion cloud of the nucleon. I re-evaluate these mechanisms and show how the breaking of SU(6) in each case affects spin dependent valence quark distributions of the proton. In particular I investigate the properties of these mechanisms in the kinematic region $0.3 < x < 0.7$ and attempt to test these against known data. Both mechanisms are able to explain the quantitative features of the spin asymmetries.


title: Convolutional encoding of 60,64,68,72-bit self-dual codes

abstract: In this paper we obtain the [60,30,12], [64,32,12], [68,34,12], [72,36,12] self-dual codes as tailbitting convolutional codes with the smallest constraint length K=9. In this construction one information bit is modulo two added to the one of the encoder outputs and the first row in the quasi-cyclic generator matrix is replaced by the obtained row. The pure quasi-cyclic construction with K=10 is also available for [68,34,12] and [72,36,12] codes. The new [72,36,12] singly even self-dual code with parameters Beta=483 Gamma=0 was obtained.


title: Exploiting Spatial Degrees of Freedom for High Data Rate Ultrasound Communication with Implantable Devices

abstract: We propose and demonstrate an ultrasonic communication link using spatial degrees of freedom to increase data rates for deeply implantable medical devices. Low attenuation and millimeter wavelengths make ultrasound an ideal communication medium for miniaturized low-power implants. While small spectral bandwidth has drastically limited achievable data rates in conventional ultrasonic implants, large spatial bandwidth can be exploited by using multiple transducers in a multiple-input/multiple-output system to provide spatial multiplexing gain without additional power, larger bandwidth, or complicated packaging. We experimentally verify the communication link in mineral oil with a transmitter and receiver 5 cm apart, each housing two custom-designed mm-sized piezoelectric transducers operating at the same frequency. Two streams of data modulated with quadrature phase-shift keying at 125 kbps are simultaneously transmitted and received on both channels, effectively doubling the data rate to 250 kbps with a measured bit error rate below 1e-4. We also evaluate the performance and robustness of the channel separation network by testing the communication link after introducing position offsets. These results demonstrate the potential of spatial multiplexing to enable more complex implant applications requiring higher data rates.


title: A cost-effective measurement-device-independent quantum key distribution system for quantum networks

abstract: We experimentally realize a measurement-device-independent quantum key distribution (MDI-QKD) system based on cost-effective and commercially available hardware such as distributed feedback (DFB) lasers and field-programmable gate arrays (FPGA) that enable time-bin qubit preparation and time-tagging, and active feedback systems that allow for compensation of time-varying properties of photons after transmission through deployed fibre. We examine the performance of our system, and conclude that its design does not compromise performance. Our demonstration paves the way for MDI-QKD-based quantum networks in star-type topology that extend over more than 100 km distance.


title: An Analysis of Parallelized Motion Masking Using Dual-Mode Single Gaussian Models

abstract: Motion detection in video is important for a number of applications and fields. In video surveillance, motion detection is an essential accompaniment to activity recognition for early warning systems. Robotics also has much to gain from motion detection and segmentation, particularly in high speed motion tracking for tactile systems. There are a myriad of techniques for detecting and masking motion in an image. Successful systems have used Gaussian Models to discern background from foreground in an image (motion from static imagery). However, particularly in the case of a moving camera or frame of reference, it is necessary to compensate for the motion of the camera when attempting to discern objects moving in the foreground. For example, it is possible to estimate motion of the camera through optical flow methods or temporal differencing and then compensate for this motion in a background subtraction model. We selection a method by Yi et al. using Dual-Mode Single Gaussian Models which does just this. We implement the technique in Intel's Thread Building Blocks (TBB) and NVIDIA's CUDA libraries. We then compare parallelization improvements with a theoretical analysis of speedups based on the characteristics of our selected model and attributes of both TBB and CUDA. We make our implementation available to the public.


title: Implementation of Virtual Network Function Chaining through Segment Routing in a Linux-based NFV Infrastructure

abstract: In this paper, we first introduce the NFV architecture and the use of IPv6 Segment Routing (SRv6) network programming model to support Service Function Chaining in a NFV scenario. We describe the concepts of SR-aware and SR-unaware Virtual Network Functions (VNFs). The detailed design of a network domain supporting VNF chaining through the SRv6 network programming model is provided. The operations to support SR-aware and SR-unaware VNFs are described at an architectural level and in particular we propose a solution for SR-unaware VNFs hosted in a NFV node. The proposed solution has been implemented for a Linux based NFV host and the software is available as Open Source. Finally, a methodology for performance analysis of the implementation of the proposed mechanisms is illustrated and preliminary performance results are given.


title: Search for exoplanets around pulsating stars of A--F type in Kepler Short Cadence data and the case of KIC 8197761

abstract: We searched for extrasolar planets around pulsating stars by examining $\textit{Kepler}$ data for transit-like events hidden in the intrinsic variability. All Short Cadence observations for targets with 6000 K $< T_{\rm eff} <$ 8500 K were visually inspected for transit-like events following the removal of pulsational signals by sinusoidal fits. Clear transit-like events were detected in KIC 5613330 and KIC 8197761. KIC 5613330 is a confirmed exoplanet host (Kepler-635b), where the transit period determined here is consistent with the literature value. KIC 8197761 is a $\gamma$ Doradus - $\delta$ Scuti star exhibiting eclipses/transits occurring every 9.8686667(27) d, having durations of 8.37 h, and causing brightness drops $\frac{\Delta F}{F} = 0.00629(29)$. The star's pulsation spectrum contains several mode doublets and triplets, identified as $l = 1$, with a mean spacing of 0.001659(15) c/d, implying an internal rotation period of $301\pm3$ d. Trials to calculate the size of the light travel time effect (LTTE) from the pulsations to constrain the companion's mass ended inconclusive. Finding planets around $\gamma$ Doradus stars from the pulsational LTTE, therefore, is concluded to be unrealistic. Spectroscopic monitoring of KIC 8197761 revealed sinusoidal radial velocity variations with a semi-amplitude of $19.75 \pm 0.32$ km/s, while individual spectra present rotational broadening consistent with $v \sin i = 9\pm1$ km/s. This suggests that the stellar surface rotation is synchronized with the orbit, whereas the stellar core rotates $\sim$30 times slower. Combining the observed radial velocity variability with the transit photometry, constrains the companion's mass to be $\approx 0.28$ M$_{\odot}$, ruling out an exoplanet hypothesis.


title: Beam Extraction From The Recycler Ring To P1 Line At Fermilab

abstract: The transfer line for beam extraction from the Recycler ring to P1 line provides a way to deliver 8 GeV kinetic energy protons from the Booster to the Delivery ring, via the Recycler, using existing beam transport lines, and without the need for new civil construction. It was designed in 2012. The kicker magnets at RR520 and the lambertson magnet at RR522 in the RR were installed in 2014 Summer Shutdown, the elements of RR to P1 Stub (permanent quads, trim quads, correctors, BPMs, the toroid at 703 and vertical bending dipole at V703 (ADCW) were installed in 2015 Summer Shutdown. On Tuesday, June 21, 2016, beam line from the Recycler Ring to P1 line was commissioned. The detailed results will be presented in this report.


title: Search for sterile neutrino mixing using three years of IceCube DeepCore data

abstract: We present a search for a light sterile neutrino using three years of atmospheric neutrino data from the DeepCore detector in the energy range of approximately $10-60~$GeV. DeepCore is the low-energy sub-array of the IceCube Neutrino Observatory. The standard three-neutrino paradigm can be probed by adding an additional light ($\Delta m_{41}^2 \sim 1 \mathrm{\ eV^2}$) sterile neutrino. Sterile neutrinos do not interact through the standard weak interaction, and therefore cannot be directly detected. However, their mixing with the three active neutrino states leaves an imprint on the standard atmospheric neutrino oscillations for energies below 100 GeV. A search for such mixing via muon neutrino disappearance is presented here. The data are found to be consistent with the standard three neutrino hypothesis. Therefore we derive limits on the mixing matrix elements at the level of $|U_{\mu4}|^2 < 0.11 $ and $|U_{\tau4}|^2 < 0.15 $ (90% C.L.) for the sterile neutrino mass splitting $\Delta m_{41}^2 = 1.0$ eV$^2$.


title: Observing a quantum Maxwell demon at work

abstract: In apparent contradiction to the laws of thermodynamics, Maxwell's demon is able to cyclically extract work from a system in contact with a thermal bath exploiting the information about its microstate. The resolution of this paradox required the insight that an intimate relationship exists between information and thermodynamics. Here, we realize a Maxwell demon experiment that tracks the state of each constituent both in the classical and quantum regimes. The demon is a microwave cavity that encodes quantum information about a superconducting qubit and converts information into work by powering up a propagating microwave pulse by stimulated emission. Thanks to the high level of control of superconducting circuits, we directly measure the extracted work and quantify the entropy remaining in the demon's memory. This experiment provides an enlightening illustration of the interplay of thermodynamics with quantum information.


title: On the Uniqueness Problem for Notations of Recursive Ordinals

abstract: In the article 'Ordinal Logics and the Characterizations of the Informal Concept of Proof', Georg Kreisel poses the problem of assigning unique notations to recursive ordinals, and additionally suggests that the methods which are developed for its solution will be non-constructive in character. In this paper we develop methods in which various uniqueness results for notations of recursive ordinals can be obtained, and thereafter apply these results to investigate the problems surrounding the hierarchical classification of the computable functions.


title: Conjugate adaptive optics with remote focusing for three-dimensional focusing through scattering media

abstract: The small correction volume for conventional wavefront shaping methods limits their applications in biological imaging through scattering media. We demonstrate large volume wavefront shaping through a scattering layer with a single correction by conjugate adaptive optics and remote focusing (CAORF). The remote focusing module can keep the conjugation between the AO and scattering layer during three-dimensional scanning. This new configuration provides a wider correction volume by the best utilization of the memory effect in a fast three-dimensional laser scanning microscope. Our results show that the proposed system can provide 10 times wider axial field of view compared with a conventional conjugate AO system when 16,384 segments are used on a spatial light modulator. We also demonstrated three-dimensional fluorescence imaging and multi-spot patterning through a scattering layer.


title: The unrolled quantum group inside Lusztig's quantum group of divided powers

abstract: In this letter we prove that the unrolled small quantum group, appearing in quantum topology, is a Hopf subalgebra of Lusztig's quantum group of divided powers. We do so by writing down non-obvious primitive elements with the correct adjoint action. As application we explain how this gives a realization of the unrolled quantum group as operators on a conformal feld theory and match some calculations on this side. In particular our results explain a prominent weight shift that appears in [FT10]. Our result extends to other Nichols algebras of diagonal type, including super Lie algebras.


title: Quantum communication improved by spectral entanglement and supplementary chromatic dispersion

abstract: Implementations of many quantum communication protocols require sources of photon pairs. However, optimization of the properties of these photons for specific applications is an open problem. We theoretically demonstrate the possibility of extending the maximal distance of secure quantum communication when a photon pair source and standard fibers are used in a scenario where Alice and Bob do not share a global time reference. It is done by manipulating the spectral correlation within a photon pair and by optimizing chromatic dispersion in transmission links. Contrary to typical expectations, we show that in some situations the secure communication distance can be increased by introducing some extra dispersion.


title: Density-Dependent Quantum Hall States and Zeeman Splitting in Monolayer and Bilayer WSe$_2$

abstract: We report a study of the quantum Hall states (QHSs) sequence of holes in mono- and bilayer WSe$_2$. The QHSs sequence transitions between predominantly even and predominantly odd filling factors as the hole density is tuned in the range $1.6 - 12\times10^{12}$ cm$^{-2}$. The QHSs sequence is insensitive to the transverse electric field, and tilted magnetic field measurements reveal an insensitivity of the QHSs sequence to the in-plane magnetic field, evincing that the hole spin is locked perpendicular to the WSe$_2$ plane. These observations imply that the QHSs sequence is controlled by the Zeeman-to-cyclotron energy ratio, which remains constant as a function of perpendicular magnetic field at a fixed carrier density, but changes as a function of density due to strong electron-electron interaction.


title: Nested Dissection Solver for Transport in 3D Nano-Electronic Devices

abstract: The Hierarchical Schur Complement method (HSC), and the HSC-extension, have significantly accelerated the evaluation of the retarded Green's function, particularly the lesser Green's function, for two-dimensional nanoscale devices. In this work, the HSC-extension is applied to determine the solution of non-equilibrium Green's functions (NEGF) on three-dimensional nanoscale devices. The operation count for the HSC-extension is analyzed for a cuboid device. When a cubic device is discretized with $N \times N \times N$ grid points, the state-of-the-art Recursive Green Function (RGF) algorithm takes $\mathcal{O}(N^7)$ operations, whereas the HSC-extension only requires $\mathcal{O}(N^6)$ operations. %Realistic operation counts also depend on the system dimensions in $xyz$-directions and the form of contact self-energy matrix. Operation counts and runtimes are also studied for three-dimensional nanoscale devices of practical interest: a graphene-boron\- nitride-graphene multilayer system, a silicon nanowire, and a DNA molecule. The numerical experiments indicate that the cost for the HSC-extension is proportional to the solution of one linear system (or one LU-factorization) and that the runtime speed-ups over RGF exceed three orders of magnitude when simulating realistic devices, such as a graphene-boron nitride-graphene multilayer system with 40,000 atoms.


title: Equivariant thinning over a free group

abstract: We construct entropy increasing monotone factors in the context of a Bernoulli shift over the free group of rank at least two.


title: Algebraic surfaces with zero-dimensional cohomology support locus

abstract: Using the theory of cohomology support locus, we give a necessary condition for the Albanese map of a smooth projective surface being a submersion. More precisely, assuming the cohomology support locus of any finite abelian cover of a smooth projective surface consists of finitely many points, we prove that the surface has trivial first Betti number, or is a ruled surface of genus one, or is an abelian surface.


title: Shifts of finite type as fundamental objects in the theory of shadowing

abstract: Shifts of finite type and the notion of shadowing, or pseudo-orbit tracing, are powerful tools in the study of dynamical systems. In this paper we prove that there is a deep and fundamental relationship between these two concepts. Let $X$ be a compact totally disconnected space and $f:X\to X$ a continuous map. We demonstrate that $f$ has shadowing if and only if the system $({f},{X})$ is (conjugate to) the inverse limit of a directed system of shifts of finite type. In particular, this implies that, in the case that $X$ is the Cantor set, $f$ has shadowing if and only if $(f,X)$ is the inverse limit of a sequence of shifts of finite type. Moreover, in the general compact metric case, where $X$ is not necessarily totally disconnected, we prove that $f$ has shadowing if and only if $({f},{X})$ is a factor of (i.e. semi-conjugate to) the inverse limit of a sequence of shifts of finite type by a quotient that almost lifts pseudo-orbits.


title: A parametric model to study the mass radius relationship of stars

abstract: In static and spherically symmetric spacetime, we solve the Einstein Maxwell equations. The effective gravitational potential and the electric field for charged anisotropic fluid are defined in terms of two free parameters. For such configuration, the mass of the star as a function of stellar radius is found in terms of two aforementioned parameters, subjected to certain stability criteria. For various values of these two parameters one finds that such mass radius relationship can model stellar objects located at various regions of Hertzsprung-Russel diagram.


title: Long geodesics on convex surfaces

abstract: We review the theory of intrinsic geometry of convex surfaces in the Euclidean space and prove the following theorem: if the surface of a convex body K contains arbitrary long closed simple geodesics, then K is an isosceles tetrahedron.


title: Atomistic-continuum multiscale modelling of magnetisation dynamics at non-zero temperature

abstract: In this article, a few problems related to multiscale modelling of magnetic materials at finite temperatures and possible ways of solving these problems are discussed. The discussion is mainly centred around two established multiscale concepts: the partitioned domain and the upscaling-based methodologies. The major challenge for both multiscale methods is to capture the correct value of magnetisation length accurately, which is affected by a random temperature-dependent force. Moreover, general limitations of these multiscale techniques in application to spin systems are discussed.


title: Learning Normalized Inputs for Iterative Estimation in Medical Image Segmentation

abstract: In this paper, we introduce a simple, yet powerful pipeline for medical image segmentation that combines Fully Convolutional Networks (FCNs) with Fully Convolutional Residual Networks (FC-ResNets). We propose and examine a design that takes particular advantage of recent advances in the understanding of both Convolutional Neural Networks as well as ResNets. Our approach focuses upon the importance of a trainable pre-processing when using FC-ResNets and we show that a low-capacity FCN model can serve as a pre-processor to normalize medical input data. In our image segmentation pipeline, we use FCNs to obtain normalized images, which are then iteratively refined by means of a FC-ResNet to generate a segmentation prediction. As in other fully convolutional approaches, our pipeline can be used off-the-shelf on different image modalities. We show that using this pipeline, we exhibit state-of-the-art performance on the challenging Electron Microscopy benchmark, when compared to other 2D methods. We improve segmentation results on CT images of liver lesions, when contrasting with standard FCN methods. Moreover, when applying our 2D pipeline on a challenging 3D MRI prostate segmentation challenge we reach results that are competitive even when compared to 3D methods. The obtained results illustrate the strong potential and versatility of the pipeline by achieving highly accurate results on multi-modality images from different anatomical regions and organs.


title: How to define the storage and loss moduli for a rheologically nonlinear material?

abstract: A large amplitude oscillatory shear (LAOS) is considered in the strain-controlled regime, and the interrelation between the Fourier transform (FT) and the stress decomposition (SD) approaches is established. Several definitions of the generalized storage and loss moduli are examined in a unified conceptual scheme based on the Lissajous--Bowditch plots. An illustrative example of evaluating the generalized moduli from a LAOS flow is given.


title: AstroGrid-PL

abstract: We summarise the achievements of the AstroGrid-PL project, which aims to provide an infrastructure grid computing, distributed storage and Virtual Observatory services to the Polish astronomical community. It was developed from 2011-2015 as a domain grid component within the larger PLGrid Plus project for scientific computing in Poland.


title: Ab initio calculations of the isotopic dependence of nuclear clustering

abstract: Nuclear clustering describes the appearance of structures resembling smaller nuclei such as alpha particles (4He nuclei) within the interior of a larger nucleus. While clustering is important for several well-known examples, much remains to be discovered about the general nature of clustering in nuclei. In this letter we present lattice Monte Carlo calculations based on chiral effective field theory for the ground states of helium, beryllium, carbon, and oxygen isotopes. By computing model-independent measures that probe three- and four-nucleon correlations at short distances, we determine the shape of the alpha clusters and the entanglement of nucleons comprising each alpha cluster with the outside medium. We also introduce a new computational approach called the pinhole algorithm, which solves a long-standing deficiency of auxiliary-field Monte Carlo simulations in computing density correlations relative to the center of mass. We use the pinhole algorithm to determine the proton and neutron density distributions and the geometry of cluster correlations in 12C, 14C, and 16C. The structural similarities among the carbon isotopes suggest that 14C and 16C have excitations analogous to the well-known Hoyle state resonance in 12C.


title: Experimentally Generated Random Numbers Certified by the Impossibility of Superluminal Signaling

abstract: Random numbers are an important resource for applications such as numerical simulation and secure communication. However, it is difficult to certify whether a physical random number generator is truly unpredictable. Here, we exploit the phenomenon of quantum nonlocality in a loophole-free photonic Bell test experiment for the generation of randomness that cannot be predicted within any physical theory that allows one to make independent measurement choices and prohibits superluminal signaling. To certify and quantify the randomness, we describe a new protocol that performs well in an experimental regime characterized by low violation of Bell inequalities. Applying an extractor function to our data, we obtained 256 new random bits, uniform to within 0.001.


title: Asymptotic distribution of nodal intersections for arithmetic random waves

abstract: We study the nodal intersections number of random Gaussian toral Laplace eigenfunctions ("arithmetic random waves") against a fixed smooth reference curve. The expected intersection number is proportional to the the square root of the eigenvalue times the length of curve, independent of its geometry. The asymptotic behaviour of the variance was addressed by Rudnick-Wigman; they found a precise asymptotic law for "generic" curves with nowhere vanishing curvature, depending on both its geometry and the angular distribution of lattice points lying on circles corresponding to the Laplace eigenvalue. They also discovered that there exist peculiar "static" curves, with variance of smaller order of magnitude, though did not prescribe what the true asymptotic behaviour is in this case. In this paper we study the finer aspects of the limit distribution of the nodal intersections number. For "generic" curves we prove the Central Limit Theorem (at least, for "most" of the energies). For the aforementioned static curves we establish a non-Gaussian limit theorem for the distribution of nodal intersections, and on the way find the true asymptotic behaviour of their fluctuations, under the well-separatedness assumption on the corresponding lattice points, satisfied by most of the eigenvalues.


title: Test of UFSD Silicon Detectors for the TOTEM Upgrade Project

abstract: This paper describes the performance of a prototype timing detector, based on 50 micrometer thick Ultra Fast Silicon Detector, as measured in a beam test using a 180 GeV/c momentum pion beam. The dependence of the time precision on the pixel capacitance and the bias voltage is investigated here. A timing precision from 30 ps to 100 ps, depending on the pixel capacitance, has been measured at a bias voltage of 180 V. Timing precision has also been measured as a function of the bias voltage.


title: RIPML: A Restricted Isometry Property based Approach to Multilabel Learning

abstract: The multilabel learning problem with large number of labels, features, and data-points has generated a tremendous interest recently. A recurring theme of these problems is that only a few labels are active in any given datapoint as compared to the total number of labels. However, only a small number of existing work take direct advantage of this inherent extreme sparsity in the label space. By the virtue of Restricted Isometry Property (RIP), satisfied by many random ensembles, we propose a novel procedure for multilabel learning known as RIPML. During the training phase, in RIPML, labels are projected onto a random low-dimensional subspace followed by solving a least-square problem in this subspace. Inference is done by a k-nearest neighbor (kNN) based approach. We demonstrate the effectiveness of RIPML by conducting extensive simulations and comparing results with the state-of-the-art linear dimensionality reduction based approaches.


title: Verification of long wavelength electromagnetic modes with a gyrokinetic-fluid hybrid model in the XGC code

abstract: As an alternative option to kinetic electrons, the gyrokinetic total-f particle-in-cell (PIC) code XGC1 has been extended to the MHD/fluid type electromagnetic regime by combining gyrokinetic PIC ions with massless drift-fluid electrons analogous to Chen and Parker, Physics of Plasmas 8, 441 (2001). Two representative long wavelength modes, shear Alfv\'en waves and resistive tearing modes, are verified in cylindrical and toroidal magnetic field geometries.


title: Courcelle's Theorem Made Dynamic

abstract: Dynamic complexity is concerned with updating the output of a problem when the input is slightly changed. We study the dynamic complexity of model checking a fixed monadic second-order formula over evolving subgraphs of a fixed maximal graph having bounded tree-width; here the subgraph evolves by losing or gaining edges (from the maximal graph). We show that this problem is in DynFO (with LOGSPACE precomputation), via a reduction to a Dyck reachability problem on an acyclic automaton.


title: Completing a joint PMF from projections: a low-rank coupled tensor factorization approach

abstract: There has recently been considerable interest in completing a low-rank matrix or tensor given only a small fraction (or few linear combinations) of its entries. Related approaches have found considerable success in the area of recommender systems, under machine learning. From a statistical estimation point of view, the gold standard is to have access to the joint probability distribution of all pertinent random variables, from which any desired optimal estimator can be readily derived. In practice high-dimensional joint distributions are very hard to estimate, and only estimates of low-dimensional projections may be available. We show that it is possible to identify higher-order joint PMFs from lower-order marginalized PMFs using coupled low-rank tensor factorization. Our approach features guaranteed identifiability when the full joint PMF is of low-enough rank, and effective approximation otherwise. We provide an algorithmic approach to compute the sought factors, and illustrate the merits of our approach using rating prediction as an example.


title: Gravitational waves in Poincar\'e gauge gravity theory

abstract: We derive the exact gravitational wave solutions in a general class of quadratic Poincar\'e gauge gravity models. The Lagrangian includes all possible linear and quadratic invariants constructed from the torsion and the curvature, including the parity odd terms. The ansatz for the gravitational wave configuration and the properties of the wave solutions are patterned following the corresponding ansatz and the properties of the plane-fronted electromagnetic wave.


title: The Simulator: Understanding Adaptive Sampling in the Moderate-Confidence Regime

abstract: We propose a novel technique for analyzing adaptive sampling called the {\em Simulator}. Our approach differs from the existing methods by considering not how much information could be gathered by any fixed sampling strategy, but how difficult it is to distinguish a good sampling strategy from a bad one given the limited amount of data collected up to any given time. This change of perspective allows us to match the strength of both Fano and change-of-measure techniques, without succumbing to the limitations of either method. For concreteness, we apply our techniques to a structured multi-arm bandit problem in the fixed-confidence pure exploration setting, where we show that the constraints on the means imply a substantial gap between the moderate-confidence sample complexity, and the asymptotic sample complexity as $\delta \to 0$ found in the literature. We also prove the first instance-based lower bounds for the top-k problem which incorporate the appropriate log-factors. Moreover, our lower bounds zero-in on the number of times each \emph{individual} arm needs to be pulled, uncovering new phenomena which are drowned out in the aggregate sample complexity. Our new analysis inspires a simple and near-optimal algorithm for the best-arm and top-k identification, the first {\em practical} algorithm of its kind for the latter problem which removes extraneous log factors, and outperforms the state-of-the-art in experiments.


title: Determining anisotropic conductivity using diffusion tensor imaging data in magneto-acoustic tomography with magnetic induction

abstract: In this paper we present a mathematical and numerical framework for a procedure of imaging anisotropic electrical conductivity tensor by integrating magneto-acoutic tomography with data acquired from diffusion tensor imaging. Magneto-acoustic Tomography with Magnetic Induction (MAT-MI) is a hybrid, non-invasive medical imaging technique to produce conductivity images with improved spatial resolution and accuracy. Diffusion Tensor Imaging (DTI) is also a non- invasive technique for characterizing the diffusion properties of water molecules in tissues. We propose a model for anisotropic conductivity in which the conductivity is proportional to the diffusion tensor. Under this assumption, we propose an optimal control approach for reconstructing the anisotropic electrical conductivity tensor. We prove convergence and Lipschitz type stability of the algorithm and present numerical examples to illustrate its accuracy and feasibility.


title: A finite element method for elliptic problems with observational boundary data

abstract: In this paper we propose a finite element method for solving elliptic equations with the observational Dirichlet boundary data which may subject to random noises. The method is based on the weak formulation of Lagrangian multiplier. We show the convergence of the random finite element error in expectation and, when the noise is sub-Gaussian, in the Orlicz 2- norm which implies the probability that the finite element error estimates are violated decays exponentially. Numerical examples are included.


title: Upper bounds on the minimum coverage probability of model averaged tail area confidence intervals in regression

abstract: Frequentist model averaging has been proposed as a method for incorporating "model uncertainty" into confidence interval construction. Such proposals have been of particular interest in the environmental and ecological statistics communities. A promising method of this type is the model averaged tail area (MATA) confidence interval put forward by Turek and Fletcher, 2012. The performance of this interval depends greatly on the data-based model weights on which it is based. A computationally convenient formula for the coverage probability of this interval is provided by Kabaila, Welsh and Abeysekera, 2016, in the simple scenario of two nested linear regression models. We consider the more complicated scenario that there are many (32,768 in the example considered) linear regression models obtained as follows. For each of a specified set of components of the regression parameter vector, we either set the component to zero or let it vary freely. We provide an easily-computed upper bound on the minimum coverage probability of the MATA confidence interval. This upper bound provides evidence against the use of a model weight based on the Bayesian Information Criterion (BIC).


title: Stretchable persistent spin helices in GaAs quantum wells

abstract: The Rashba and Dresselhaus spin-orbit (SO) interactions in 2D electron gases act as effective magnetic fields with momentum-dependent directions, which cause spin decay as the spins undergo arbitrary precessions about these randomly-oriented SO fields due to momentum scattering. Theoretically and experimentally, it has been established that by fine-tuning the Rashba $\alpha$ and Dresselhaus $\beta$ couplings to equal $\it{fixed}$ strengths $\alpha=\beta$, the total SO field becomes unidirectional thus rendering the electron spins immune to dephasing due to momentum scattering. A robust persistent spin helix (PSH) has already been experimentally realized at this singular point $\alpha=\beta$. Here we employ the suppression of weak antilocalization as a sensitive detector for matched SO fields together with a technique that allows for independent electrical control over the SO couplings via top gate voltage $V_T$ and back gate voltage $V_B$. We demonstrate for the first time the gate control of $\beta$ and the $\it{continuous\,locking}$ of the SO fields at $\alpha=\beta$, i.e., we are able to vary both $\alpha$ and $\beta$ controllably and continuously with $V_T$ and $V_B$, while keeping them locked at equal strengths. This makes possible a new concept: "stretchable PSHs", i.e., helical spin patterns with continuously variable pitches $P$ over a wide parameter range. The extracted spin-diffusion lengths and decay times as a function of $\alpha/\beta$ show a significant enhancement near $\alpha/\beta=1$. Since within the continuous-locking regime quantum transport is diffusive (2D) for charge while ballistic (1D) for spin and thus amenable to coherent spin control, stretchable PSHs could provide the platform for the much heralded long-distance communication $\sim 8 - 25$ $\mu$m between solid-state spin qubits.


title: Molecular Beam Epitaxy Growth of [CrGe/MnGe/FeGe] Superlattices: Toward Artificial B20 Skyrmion Materials with Tunable Interactions

abstract: Skyrmions are localized magnetic spin textures whose stability has been shown theoretically to depend on material parameters including bulk Dresselhaus spin orbit coupling (SOC), interfacial Rashba SOC, and magnetic anisotropy. Here, we establish the growth of a new class of artificial skyrmion materials, namely B20 superlattices, where these parameters could be systematically tuned. Specifically, we report the successful growth of B20 superlattices comprised of single crystal thin films of FeGe, MnGe, and CrGe on Si(111) substrates. Thin films and superlattices are grown by molecular beam epitaxy and are characterized through a combination of reflection high energy electron diffraction, x-ray diffraction, and cross-sectional scanning transmission electron microscopy (STEM). X-ray energy dispersive spectroscopy (XEDS) distinguishes layers by elemental mapping and indicates good interface quality with relatively low levels of intermixing in the [CrGe/MnGe/FeGe] superlattice. This demonstration of epitaxial, single-crystalline B20 superlattices is a significant advance toward tunable skyrmion systems for fundamental scientific studies and applications in magnetic storage and logic.


title: Cloud-based Deep Learning of Big EEG Data for Epileptic Seizure Prediction

abstract: Developing a Brain-Computer Interface~(BCI) for seizure prediction can help epileptic patients have a better quality of life. However, there are many difficulties and challenges in developing such a system as a real-life support for patients. Because of the nonstationary nature of EEG signals, normal and seizure patterns vary across different patients. Thus, finding a group of manually extracted features for the prediction task is not practical. Moreover, when using implanted electrodes for brain recording massive amounts of data are produced. This big data calls for the need for safe storage and high computational resources for real-time processing. To address these challenges, a cloud-based BCI system for the analysis of this big EEG data is presented. First, a dimensionality-reduction technique is developed to increase classification accuracy as well as to decrease the communication bandwidth and computation time. Second, following a deep-learning approach, a stacked autoencoder is trained in two steps for unsupervised feature extraction and classification. Third, a cloud-computing solution is proposed for real-time analysis of big EEG data. The results on a benchmark clinical dataset illustrate the superiority of the proposed patient-specific BCI as an alternative method and its expected usefulness in real-life support of epilepsy patients.


title: Detection of low dimensionality and data denoising via set estimation techniques

abstract: This work is closely related to the theories of set estimation and manifold estimation. Our object of interest is a, possibly lower-dimensional, compact set $S \subset {\mathbb R}^d$. The general aim is to identify (via stochastic procedures) some qualitative or quantitative features of $S$, of geometric or topological character. The available information is just a random sample of points drawn on $S$. The term "to identify" means here to achieve a correct answer almost surely (a.s.) when the sample size tends to infinity. More specifically the paper aims at giving some partial answers to the following questions: is $S$ full dimensional? Is $S$ "close to a lower dimensional set" $\mathcal{M}$? If so, can we estimate $\mathcal{M}$ or some functionals of $\mathcal{M}$ (in particular, the Minkowski content of $\mathcal{M}$)? As an important auxiliary tool in the answers of these questions, a denoising procedure is proposed in order to partially remove the noise in the original data. The theoretical results are complemented with some simulations and graphical illustrations.


title: Peano dimension of fundamental groups

abstract: We define the Peano dimension for groups arising as fundamental groups, which generalizes the classical definition of geometric dimension of finitely presented groups. We conjecture that the Peano dimension of the fundamental group of a aspherical Peano continuum $X$ is equal to the homotopy dimension of $X$. We prove the conjecture for one-dimensional or planar Peano continua. This answers a question posed by Cannon and Conner in 2007 concerning the homotopy dimension of planar sets.


title: Empirical Bayes, SURE and Sparse Normal Mean Models

abstract: This paper studies the sparse normal mean models under the empirical Bayes framework. We focus on the mixture priors with an atom at zero and a density component centered at a data driven location determined by maximizing the marginal likelihood or minimizing the Stein Unbiased Risk Estimate. We study the properties of the corresponding posterior median and posterior mean. In particular, the posterior median is a thresholding rule and enjoys the multi-direction shrinkage property that shrinks the observation toward either the origin or the data-driven location. The idea is extended by considering a finite mixture prior, which is flexible to model the cluster structure of the unknown means. We further generalize the results to heteroscedastic normal mean models. Specifically, we propose a semiparametric estimator which can be calculated efficiently by combining the familiar EM algorithm with the Pool-Adjacent-Violators algorithm for isotonic regression. The effectiveness of our methods is demonstrated via extensive numerical studies.


title: A Posteriori Analysis and Efficient Refinement Strategies for the Poisson-Boltzmann Equation

abstract: The Poisson-Boltzmann equation (PBE) models the electrostatic interactions of charged bodies such as molecules and proteins in an electrolyte solvent. The PBE is a challenging equation to solve numerically due to the presence of singularities, discontinuous coefficients and boundary conditions. Hence, there is often large error in the numerical solution of the PBE that needs to be quantified. In this work, we use adjoint based a posteriori analysis to accurately quantify the error in an important quantity of interest, the solvation free energy, for the finite element solution of the PBE. We identify various sources of error and propose novel refinement strategies based on a posteriori error estimates.


title: Throughput-Optimal Broadcast in Wireless Networks with Point-to-Multipoint Transmissions

abstract: We consider the problem of efficient packet dissemination in wireless networks with point-to-multi-point wireless broadcast channels. We propose a dynamic policy, which achieves the broadcast capacity of the network. This policy is obtained by first transforming the original multi-hop network into a precedence-relaxed virtual single-hop network and then finding an optimal broadcast policy for the relaxed network. The resulting policy is shown to be throughput-optimal for the original wireless network using a sample-path argument. We also prove the NP-completeness of the finite-horizon broadcast problem, which is in contrast with the polynomial time solvability of the problem with point-to-point channels. Illustrative simulation results demonstrate the efficacy of the proposed broadcast policy in achieving the full broadcast capacity with low delay.


title: Moment Preserving Constrained Resampling with Applications to Particle-in-Cell Methods

abstract: In simulations of partial differential equations using particle-in-cell (PIC) methods, it is often advantageous to resample the particle distribution function to increase simulation accuracy, reduce compute cost, and/or avoid numerical instabilities. We introduce an algorithm for particle resampling called Moment Preserving Contrained Resampling (MPCR). The general algorithm partitions the system space into smaller subsets and is designed to conserve any number of particle and grid quantities with a high degree of accuracy (i.e. machine accuracy). The resampling scheme can be integrated into any PIC code. The advantages of MPCR, including performance, accuracy, and stability, are presented by examining several numerical tests, including a use-case study in gyrokinetic fusion plasma simulations. The tests demonstrate that while the computational cost of MPCR is negligible compared to the nascent particle evolution in PIC methods, periodic particle resampling yields a significant improvement in the accuracy and stability of the results.


title: General Monogamy Relations of Quantum Entanglement for Multiqubit W-class States

abstract: Entanglement monogamy is a fundamental property of multipartite entangled states. We investigate the monogamy relations for multiqubit generalized W-class states. Analytical monogamy inequalities are obtained for the concurrence of assistance, the entanglement of formation and the entanglement of assistance.


title: Hybrid Indexes to Expedite Spatial-Visual Search

abstract: Due to the growth of geo-tagged images, recent web and mobile applications provide search capabilities for images that are similar to a given query image and simultaneously within a given geographical area. In this paper, we focus on designing index structures to expedite these spatial-visual searches. We start by baseline indexes that are straightforward extensions of the current popular spatial (R*-tree) and visual (LSH) index structures. Subsequently, we propose hybrid index structures that evaluate both spatial and visual features in tandem. The unique challenge of this type of query is that there are inaccuracies in both spatial and visual features. Therefore, different traversals of the index structures may produce different images as output, some of which more relevant to the query than the others. We compare our hybrid structures with a set of baseline indexes in both performance and result accuracy using three real world datasets from Flickr, Google Street View, and GeoUGV.


title: Cohomogeneity-1 solutions in Einstein-Maxwell-dilaton gravity

abstract: The field equations for Einstein-Maxwell-dilaton gravity in $D$ dimensions are reduced to an effective one-dimensional system under the influence of exponential potentials. Various cases where exact solutions can be found are explored. With this procedure, we present interesting solutions such as a one-parameter generalisation of the dilaton-Melvin spacetime and a three-parameter solution that interpolates between the Reissner-Nordstr\"{o}m and Bertotti-Robinson solution. This procedure also allows simple, alternative derivations of known solutions such as the Lifshitz spacetime and the planar Anti-de Sitter naked singularity. In the latter case, the metric is cast in a simpler form which reveals the presence of an additional curvature singularity.


title: A Correlation-Breaking Interleaving of Polar Codes in Concatenated Systems

abstract: It is known that the bit errors of polar codes with successive cancellation (SC) decoding are coupled. However, existing concatenation schemes of polar codes with other error correction codes rarely take this coupling effect into consideration. To achieve a better error performance of concatenated systems with polar codes as inner codes, one can divide all bits in an outer block into different polar blocks to completely de-correlate the possible coupled errors in the transmitter side. We call this interleaving a blind interleaving (BI) which serves as a benchmark. Two BI schemes, termed BI-DP and BI-CDP, are proposed in the paper. To better balance performance, memory size, and the decoding delay from the de-interleaving, a novel interleaving scheme, named the correlation-breaking interleaving (CBI), is proposed. The CBI breaks the correlated information bits based on the error correlation pattern proposed and proven in this paper. The proposed CBI scheme is general in the sense that any error correction code can serve as the outer code. In this paper, Low-Density Parity-Check (LDPC) codes and BCH codes are used as two examples of the outer codes of the interleaving scheme. The CBI scheme 1) can keep the simple SC polar decoding while achieving a better error performance than the state-of-the-art (SOA) direct concatenation of polar codes with LDPC codes and BCH codes; 2) achieves a comparable error performance as the BI-DP scheme with a smaller memory size and a shorter decoding delay. Numerical results are provided to verify the performance of the BI schemes and the CBI scheme.


title: Electrostatic solvation free energies of charged hard spheres using molecular dynamics with density functional theory interactions

abstract: Determining the solvation free energies of single ions in water is one of the most fundamental problems in physical chemistry and yet many unresolved questions remain. In particular, the ability to decompose the solvation free energy into simple and intuitive contributions will have important implications for models of electrolyte solution. Here, we provide definitions of the various types of single ion solvation free energies based on different simulation protocols. We calculate solvation free energies of charged hard spheres using density functional theory interaction potentials with molecular dynamics simulation (DFT-MD) and isolate the effects of charge and cavitation, comparing to the Born (linear response) model. We show that using uncorrected Ewald summation leads to unphysical values for the single ion solvation free energy and that charging free energies for cations are approximately linear as a function of charge but that there is a small non-linearity for small anions. The charge hydration asymmetry (CHA) for hard spheres, determined with quantum mechanics, is much larger than for the analogous real ions. This suggests that real ions, particularly anions, are significantly more complex than simple charged hard spheres, a commonly employed representation.


title: Compressions of the Shift on the Bidisk and their Numerical Ranges

abstract: We consider two-variable model spaces associated to rational inner functions $\Theta$ on the bidisk, which always possess canonical $z_2$-invariant subspaces $\mathcal{S}_2.$ A particularly interesting compression of the shift is the compression of multiplication by $z_1$ to $\mathcal{S}_2$, namely $ S^1_{\Theta}:= P_{\mathcal{S}_2} M_{z_1} |_{\mathcal{S}_2}$. We show that these compressed shifts are unitarily equivalent to matrix-valued Toeplitz operators with well-behaved symbols and characterize their numerical ranges and radii. We later specialize to particularly simple rational inner functions and study the geometry of the associated numerical ranges, find formulas for the boundaries, answer the zero inclusion question, and determine whether the numerical ranges are ever circular.


title: Updated 34-Band Photometry for the SINGS/KINGFISH Samples of Nearby Galaxies

abstract: We present an update to the ultraviolet-to-radio database of global broadband photometry for the 79 nearby galaxies that comprise the union of the KINGFISH (Key Insights on Nearby Galaxies: A Far-Infrared Survey with Herschel) and SINGS (Spitzer Infrared Nearby Galaxies Survey) samples. The 34-band dataset presented here includes contributions from observational work carried out with a variety of facilities including GALEX, SDSS, PS, NOAO, 2MASS, WISE, Spitzer, Herschel, Planck, JCMT, and the VLA. Improvements of note include recalibrations of previously-published SINGS BVRcIc and KINGFISH far-infrared/submillimeter photometry. Similar to previous results in the literature, an excess of submillimeter emission above model predictions is seen primarily for low-metallicity dwarf/irregular galaxies. This 34-band photometric dataset for the combined KINGFISH$+$SINGS sample serves as an important multi-wavelength reference for the variety of galaxies observed at low redshift. A thorough analysis of the observed spectral energy distributions is carried out in a companion paper.


title: Notes on Multiple Higher Category Theory

abstract: These notes follows the articles \cite{kamel, Cam, cam-cubique} which show how powerful can be the method of \textit{Stretchings} initiated with the \textit{Globular Geometry} by Jacques Penon in \cite{penon} , to weakened \textit{strict higher structures}. Here we adapt this method to weakened strict multiple $\infty$-categories, strict multiple $(\infty,m)$-categories, and in particular we obtain algebraic models of weak multiple $\infty$-groupoids.


title: BP_5 Monolayer with Multiferroicity and Negative Poisson's Ratio: A Prediction by Global Optimization Method

abstract: Based on variable components global optimization algorithm, we predict a stable two-dimensional (2D) phase of boron phosphide with 1:5 stoichiometry, i.e. boron pentaphosphide (BP_5) monolayer, which has a lower formation energy than that of the commonly believed graphitic phase (g-BP). BP_5 monolayer is a multiferroic material with coupled ferroelasticity and ferroelectricity. The predicted reversible strain is up to 41.41%, which is the largest among all reported ferroelastic materials. Due to the non-centrosymmetric structure and electronegativity differences between boron and phosphorus atoms, an in-plane spontaneous polarization of 326.0 pC/m occurs in BP_5. Moreover, the recently hunted negative Poisson's ratio property, is also observed in BP_5. As an indirect semiconductor with a band gap of 1.34 eV, BP_5 displays outstanding optical and electronic properties, for instance strongly anisotropic visible-light absorption and high carrier mobility. The rich and extraordinary properties of BP_5 make it a potential nanomaterial for designing electromechanical or optoelectronic devices, such as nonvolatile memory with conveniently readable/writeable capability. Finally, we demonstrate that AlN (010) surface could be a suitable substrate for epitaxy growth of BP_5 monolayer.


title: Vapor Condensed and Supercooled Glassy Nanoclusters

abstract: We use molecular simulation to study the structural and dynamic properties of glassy nanoclusters formed both through the direct condensation of the vapor below the glass transition temperature, without the presence of a substrate, and \textit{via} the slow supercooling of unsupported liquid nanodroplets. An analysis of local structure using Voronoi polyhedra shows that the energetic stability of the clusters is characterized by a large, increasing fraction of bicapped square antiprism motifs. We also show that nanoclusters with similar inherent structure energies are structurally similar, independent of their history, which suggests the supercooled clusters access the same low energy regions of the potential energy landscape as the vapor condensed clusters despite their different methods of formation. By measuring the intermediate scattering function at different radii from the cluster center, we find that the relaxation dynamics of the clusters are inhomogeneous, with the core becoming glassy above the glass transition temperature while the surface remains mobile at low temperatures. This helps the clusters sample the highly stable, low energy structures on the potential energy surface. Our work suggests the nanocluster systems are structurally more stable than the ultra-stable glassy thin films, formed through vapor deposition onto a cold substrate, but the nanoclusters do not exhibit the superheating effects characteristic of the ultra-stable glass states.


title: Generating entanglement with linear optics

abstract: Entanglement is the basic building block of linear optical quantum computation, and as such understanding how to generate it in detail is of great importance for optical architectures. We prove that Bell states cannot be generated using only 3 photons in the dual-rail encoding, and give strong numerical evidence for the optimality of the existing 4 photon schemes. In a setup with a single photon in each input mode, we find a fundamental limit on the possible entanglement between a single mode Alice and arbitrary Bob. We investigate and compare other setups aimed at characterizing entanglement in settings more general than dual-rail encoding. The results draw attention to the trade-off between the entanglement a state has and the probability of postselecting that state, which can give surprising constant bounds on entanglement even with increasing numbers of photons.


title: Euclidean supersymmetric solutions with the self-dual Weyl tensor

abstract: We explore the Euclidean supersymmetric solutions admitting the self-dual gauge field in the framework of ${\cal N}=2$ minimal gauged supergravity in four dimensions. According to the classification scheme utilizing the spinorial geometry or the bilinears of Killing spinors, the general solution preserves one quarter of supersymmetry and is described by the Przanowski-Tod class with the self-dual Weyl tensor. We demonstrate that there exists an additional Killing spinor, provided the Przanowski-Tod metric admits a Killing vector that commutes with the principal one. The proof proceeds by recasting the metric into another Przanowski-Tod form. This formalism enables us to show that the self-dual Reissner-Nordstr\"om-Taub-NUT-AdS metric possesses a second Killing spinor, which has been missed over many years. We also address the supersymmetry when the Przanowski-Tod space is conformal to each of the self-dual ambi-toric K\"ahler metrics. It turns out that three classes of solutions are all reduced to the self-dual Carter family, by virtue of the nondegenerate Killing-Yano tensor.


title: Measure of the Heart: Santorio Santorio and the Pulsilogium

abstract: In 1626, the Venetian physician Santorio Santorio published the details of his pulsilogium, a stop clock that could accurately measure one's pulse rate. He applied Galileo Galilei's insights that the frequency of a pendulum's oscillation is inversely proportional to the square root of its length. Santorio's inventions emerged at a time when the natural world and our solar system were beginning to be mapped in remarkable detail. Santorio was a true representative of his era, a period in which scientific developments came in rapid succession and measurements to support hypotheses became the norm.


title: Time delay signature elimination of chaos in a semiconductor laser by dispersive feedback from a chirped FBG

abstract: Time delay signature (TDS) of a semiconductor laser subject to dispersive optical feedback from a chirped fiber Bragg grating (CFBG) is investigated experimentally and numerically. Different from mirror, CFBG provides additional frequency-dependent delay caused by dispersion, and thus induces external-cavity modes with irregular mode separation rather than a fixed separation induced by mirror feedback. Compared with mirror feedback, the CFBG feedback can greatly depress and even eliminate the TDS, although it leads to a similar quasi-period route to chaos with increases of feedback. In experiments, by using a CFBG with dispersion of 2000ps/nm, the TDS is decreased by 90% to about 0.04 compared with mirror feedback. Furthermore, both numerical and experimental results show that the TDS evolution is quite different: the TDS decreases more quickly down to a lower plateau (even background noise level of autocorrelation function) and never rises again. This evolution tendency is also different from that of FBG feedback, of which the TDS first decreases to a minimal value and then increases again as feedback strength increases. In addition, the CFBG feedback has no filtering effects and does not require amplification for feedback light.


title: Mean-field forward and backward SDEs with jumps. Associated nonlocal quasi-linear integral-PDEs

abstract: In this paper we consider a mean-field backward stochastic differential equation (BSDE) driven by a Brownian motion and an independent Poisson random measure. Translating the splitting method introduced by Buckdahn, Li, Peng and Rainer [6] to BSDEs, the existence and the uniqueness of the solution $(Y^{t,\xi}, Z^{t,\xi}, H^{t,\xi})$, $(Y^{t,x,P_\xi}, Z^{t,x,P_\xi}, H^{t,x,P_\xi})$ of the split equations are proved. The first and the second order derivatives of the process $(Y^{t,x,P_\xi}, Z^{t,x,P_\xi}, H^{t,x,P_\xi})$ with respect to $x$, the derivative of the process $(Y^{t,x,P_\xi}, Z^{t,x,P_\xi}, H^{t,x,P_\xi})$ with respect to the measure $P_\xi$, and the derivative of the process $(\partial_\mu Y^{t,x,P_\xi}(y), \partial_\mu Z^{t,x,P_\xi}(y), \partial_\mu H^{t,x,P_\xi}(y))$ with respect to $y$ are studied under appropriate regularity assumptions on the coefficients, respectively. These derivatives turn out to be bounded and continuous in $L^2$. The proof of the continuity of the second order derivatives is particularly involved and requires subtle estimates. This regularity ensures that the value function $V(t,x,P_\xi):=Y_t^{t,x,P_\xi}$ is regular and allows to show with the help of a new It\^{o} formula that it is the unique classical solution of the related nonlocal quasi-linear integral-partial differential equation (PDE) of mean-field type.


title: Set-Membership Information Fusion for Multisensor Nonlinear Dynamic Systems

abstract: The set-membership information fusion problem is investigated for general multisensor nonlinear dynamic systems. Compared with linear dynamic systems and point estimation fusion in mean squared error sense, it is a more challenging nonconvex optimization problem. Usually, to solve this problem, people try to find an efficient or heuristic fusion algorithm. It is no doubt that an analytical fusion formula should be much significant for rasing accuracy and reducing computational burden. However, since it is a more complicated than the convex quadratic optimization problem for linear point estimation fusion, it is not easy to get the analytical fusion formula. In order to overcome the difficulty of this problem, two popular fusion architectures are considered: centralized and distributed set-membership information fusion. Firstly, both of them can be converted into a semidefinite programming problem which can be efficiently computed, respectively. Secondly, their analytical solutions can be derived surprisingly by using decoupling technique. It is very interesting that they are quite similar in form to the classic information filter. In the two analytical fusion formulae, the information of each sensor can be clearly characterized, and the knowledge of the correlation among measurement noises across sensors are not required. Finally, multi-algorithm fusion is used to minimize the size of the state bounding ellipsoid by complementary advantages of multiple parallel algorithms. A typical numerical example in target tracking demonstrates the effectiveness of the centralized, distributed, and multi-algorithm set-membership fusion algorithms. In particular, it shows that multi-algorithm fusion performs better than the centralized and distributed fusion.


title: The Minimum Complexity of Kochen-Specker Sets Does Not Scale with Dimension

abstract: A Kochen-Specker (KS) set is a specific set of projectors and measurement contexts that prove the Bell-Kochen-Specker contextuality theorem. The simplest known KS sets in Hilbert space dimensions $d=3,4,5,6,8$ are reproduced, and several methods by which a new KS set can be constructed using one or more known KS sets in lower dimensions are reviewed and improved. These KS sets and improved methods enable the construction of explicitly critical new KS sets in all dimensions, where critical refers to the irreducibility of the set of contexts. The simplest known critical KS sets are derived in all even dimensions $d\geq10$ with at most 9 contexts and 30 projectors, and in all odd dimensions $d\geq 7$ with at most 13 contexts and 39 projectors. These results show that neither the number of contexts nor the number of projectors in a minimal KS set scales with dimension $d$.


title: Numerical Analysis of the Leray Reduced Order Model

abstract: Standard ROMs generally yield spurious numerical oscillations in the simulation of convection-dominated flows. Regularized ROMs use explicit ROM spatial filtering to decrease these spurious numerical oscillations. The Leray ROM is a recently introduced regularized ROM that utilizes explicit ROM spatial filtering of the convective term in the Navier-Stokes equations. This paper presents the numerical analysis of the finite element discretization of the Leray ROM. Error estimates for the ROM differential filter, which is the explicit ROM spatial filter used in the Leray ROM, are proved. These ROM filtering error estimates are then used to prove error estimates for the Leray ROM. Finally, both the ROM filtering error estimates and the Leray ROM error estimates are numerically investigated in the simulation of the two-dimensional Navier-Stokes equations with an analytic solution.


title: A Fully Polynomial Time Approximation Scheme for Packing While Traveling

abstract: Understanding the interactions between different combinatorial optimisation problems in real-world applications is a challenging task. Recently, the traveling thief problem (TTP), as a combination of the classical traveling salesperson problem and the knapsack problem, has been introduced to study these interactions in a systematic way. We investigate the underlying non-linear packing while traveling (PWT) problem of the TTP where items have to be selected along a fixed route. We give an exact dynamic programming approach for this problem and a fully polynomial time approximation scheme (FPTAS) when maximising the benefit that can be gained over the baseline travel cost. Our experimental investigations show that our new approaches outperform current state-of-the-art approaches on a wide range of benchmark instances.


title: Complete Submodularity Characterization in the Comparative Independent Cascade Model

abstract: We study the propagation of comparative ideas or items in social networks. A full characterization for submodularity in the comparative independent cascade (Com-IC) model of two-idea cascade is given, for competing ideas and complementary ideas respectively, with or without reconsideration. We further introduce One-Shot model where agents show less patience toward ideas, and show that in One-Shot model, only the strongest idea spreads with submodularity.


title: Reply to "Comment on `Quantum Raychaudhuri Equation'"

abstract: The above comment [E. I. Lashin, D. Dou, arXiv:1606.04738] claims that the paper "Quantum Raychaudhuri Equation" by S. Das, Phys. Rev. D89 (2014) 084068 [arXiv:1404.3093] has "problematic points" with regards to its derivation and implications. We show below that the above claim is incorrect, and that there are no problems with results of the above paper or its implications.


title: Approximation of general facets by regular facets with respect to anisotropic total variation energies and its application to the crystalline mean curvature flow

abstract: We show that every bounded subset of an Euclidean space can be approximated by a set that admits a certain vector field, the so-called Cahn-Hoffman vector field, that is subordinate to a given anisotropic metric and has a square-integrable divergence. More generally, we introduce a concept of facets as a kind of directed sets, and show that they can be approximated in a similar manner. We use this approximation to construct test functions necessary to prove the comparison principle for viscosity solutions of the level set formulation of the crystalline mean curvature flow that were recently introduced by the authors. As a consequence, we obtain the well-posedness of the viscosity solutions in an arbitrary dimension, which extends the validity of the result in the previous paper.


title: Weak and smooth solutions for a fractional Yamabe flow: the case of general compact and locally conformally flat manifolds

abstract: As a counterpart of the classical Yamabe problem, a fractional Yamabe flow has been introduced by Jin and Xiong (2014) on the sphere. Here we pursue its study in the context of general compact smooth manifolds with positive fractional curvature. First, we prove that the flow is locally well posed in the weak sense on any compact manifold. If the manifold is locally conformally flat with positive Yamabe invariant, we also prove that the flow is smooth and converges to a constant scalar curvature metric. We provide different proofs using extension properties introduced by Chang and Gonz\'alez (2011) for the conformally covariant fractional order operators.


title: Direct Estimation of Information Divergence Using Nearest Neighbor Ratios

abstract: We propose a direct estimation method for R\'{e}nyi and f-divergence measures based on a new graph theoretical interpretation. Suppose that we are given two sample sets $X$ and $Y$, respectively with $N$ and $M$ samples, where $\eta:=M/N$ is a constant value. Considering the $k$-nearest neighbor ($k$-NN) graph of $Y$ in the joint data set $(X,Y)$, we show that the average powered ratio of the number of $X$ points to the number of $Y$ points among all $k$-NN points is proportional to R\'{e}nyi divergence of $X$ and $Y$ densities. A similar method can also be used to estimate f-divergence measures. We derive bias and variance rates, and show that for the class of $\gamma$-H\"{o}lder smooth functions, the estimator achieves the MSE rate of $O(N^{-2\gamma/(\gamma+d)})$. Furthermore, by using a weighted ensemble estimation technique, for density functions with continuous and bounded derivatives of up to the order $d$, and some extra conditions at the support set boundary, we derive an ensemble estimator that achieves the parametric MSE rate of $O(1/N)$. Our estimators are more computationally tractable than other competing estimators, which makes them appealing in many practical applications.


title: Equivariant Morse theory for the norm-square of a moment map on a variety

abstract: We show that the main theorem of Morse theory holds for a large class of functions on singular spaces. The function must satisfy certain conditions extending the usual requirements on a manifold that Condition C holds and the gradient flow around the critical sets is well-behaved, and the singular space must satisfy a local deformation retract condition. We then show that these conditions are satisfied when the function is the norm-square of a moment map on an affine variety, and that the homotopy equivalence from this theorem is equivariant with respect to the associated Hamiltonian group action. An important special case of these results is that the main theorem of Morse theory holds for the norm square of a moment map on the space of representations of a finite quiver with relations.


title: Continuous Relaxations for the Traveling Salesman Problem

abstract: In this work, we aim to explore connections between dynamical systems techniques and combinatorial optimization problems. In particular, we construct heuristic approaches for the traveling salesman problem (TSP) based on embedding the relaxed discrete optimization problem into appropriate manifolds. We explore multiple embedding techniques -- namely, the construction of new dynamical systems on the manifold of orthogonal matrices and associated Procrustes approximations of the TSP cost function. Using these dynamical systems, we analyze the local neighborhood around the optimal TSP solutions (which are equilibria) using computations to approximate the associated \emph{stable manifolds}. We find that these flows frequently converge to undesirable equilibria. However, the solutions of the dynamical systems and the associated Procrustes approximation provide an interesting biasing approach for the popular Lin--Kernighan heuristic which yields fast convergence. The Lin--Kernighan heuristic is typically based on the computation of edges that have a `high probability' of being in the shortest tour, thereby effectively pruning the search space. Our new approach, instead, relies on a natural relaxation of the combinatorial optimization problem to the manifold of orthogonal matrices and the subsequent use of this solution to bias the Lin--Kernighan heuristic. Although the initial cost of computing these edges using the Procrustes solution is higher than existing methods, we find that the Procrustes solution, when coupled with a homotopy computation, contains valuable information regarding the optimal edges. We explore the Procrustes based approach on several TSP instances and find that our approach often requires fewer $k$-opt moves than existing approaches. Broadly, we hope that this work initiates more work in the intersection of dynamical systems theory and combinatorial optimization.


title: Renormalization group analysis for an asymmetric simple exclusion process

abstract: A perturbative renormalization group method is used to obtain steady-state density profiles of a particle non-conserving asymmetric simple exclusion process. This method allows us to obtain a globally valid solution for the density profile without the asymptotic matching of bulk and boundary layer solutions. In addition, we show a nontrivial scaling of the boundary layer width with the system size close to specific phase boundaries.


title: Spin conductance of YIG thin films driven from thermal to subthermal magnons regime by large spin-orbit torque

abstract: We report a study on spin conductance in ultra-thin films of Yttrium Iron Garnet (YIG), where spin transport is provided by propagating spin waves, that are generated and detected by direct and inverse spin Hall effects in two Pt wires deposited on top. While at low current the spin conductance is dominated by transport of thermal magnons, at high current, the spin conductance is dominated by low-damping non-equilibrium magnons thermalized near the spectral bottom by magnon-magnon interaction, with consequent a sensitivity to the applied magnetic field and a longer decay length. This picture is supported by microfocus Brillouin Light Scattering spectroscopy.


title: Examples of finitely determined map-germs of corank 3 supporting Mond's $\mu \geq \tau$-type conjecture

abstract: We give the first examples of finitely determined map-germs of corank 3 defined from 3-space to 4-space. We show that they support Mond's conjecture which states that the image Milnor number is greater than or equal to $\mathcal{A}_e$-codimension for a finitely determined map-germ from $n$-space to $(n+1)$-space (with equality for weighted homogeneous case).


title: Anomalous transport in the Aubry-Andr\'e-Harper model in isolated and open systems

abstract: We study the high temperature transport behavior of the Aubry-Andr\'e-Harper (AAH) model, both in the isolated thermodynamic limit and in the open system. At the critical point of the AAH model, we find hints of super-diffusive behavior from the scaling of spread of an initially localized wavepacket. On the other hand, when connected to two baths with different chemical potentials at the two ends, we find that the critical point shows clear sub-diffusive scaling of current with system size. We provide an explanation of this by showing that the current scaling with system-size is entirely governed by the behavior of the single particle eigenfunctions at the boundary sites where baths are attached. We also look at the particle density profile in non-equilibrium steady state of the open system when the two baths are at different chemical potentials. We find that the particle density profile has distinctly different behavior in the delocalized, critical and localized phases of the AAH model.

categories: cond-mat.mes-hall cond-mat.dis-nn cond-mat.stat-mech quant-ph


title: Vortex Thermometry for Turbulent Two-Dimensional Fluids

abstract: We introduce a new method of statistical analysis to characterise the dynamics of turbulent fluids in two dimensions. We establish that, in equilibrium, the vortex distributions can be uniquely connected to the temperature of the vortex gas, and apply this vortex thermometry to characterise simulations of decaying superfluid turbulence. We confirm the hypothesis of vortex evaporative heating leading to Onsager vortices proposed in Phys. Rev. Lett. 113, 165302 (2014), and find previously unidentified vortex power-law distributions that emerge from the dynamics.


title: Optimal regularity of plurisubharmonic envelopes on compact Hermitian manifolds

abstract: In this paper, we prove the $C^{1, 1}$-regularity of the plurisubharmonic envelope of a $C^{1,1}$ function on a compact Hermitian manifold. We also present examples to show this regularity is sharp.


title: Classical Defocussing of world lines from Higher Dimensions

abstract: A five-dimensional gravity theory, motivated by the brane-world picture, with Kaluza scalar in the 5 - dimensional metric as $g_{55}(r); r=\sqrt{x^2+y^2+z^2}$, is considered near the possible singularity (small distance scales where gravity is strong) and is shown to give rise to a positive contribution to the Raychaudhuri equation. This inhibits the focusing of world lines and contributes to non - focusing of the worldlines in the 5-dimensional space. It is also shown that the results extend to time dependent cases such as those relevant for black hole interiors and cosmology.


title: Low-cost high-efficiency solar steam generation by wick material with graphite micro/nano particles

abstract: Generating water steam by solar energy is a significant process for many fields. In this paper, a low-cost high-efficiency wick type steam generator is proposed. It's based on the heat localization and thin-film evaporation. The measurements show that the energy efficiency is 84 % at 1 kw/m2. Besides, the dependence of efficiency on particle concentration and size are discussed. The optimal particle concentration is found at 60 g/m2, and a smaller particle size gives higher efficiency. The experimental results agree well with the theoretical prediction based on thin-film evaporation theory. Our study offers a new in-depth understanding of low-cost high-efficiency solar steam generation.


title: Compact Brillouin devices through hybrid integration on Silicon

abstract: A range of unique capabilities in optical and microwave signal processing have been demonstrated using stimulated Brillouin scattering. The desire to harness Brillouin scattering in mass manufacturable integrated circuits has led to a focus on silicon-based material platforms. Remarkable progress in silicon-based Brillouin waveguides has been made, but results have been hindered by nonlinear losses present at telecommunications wavelengths. Here, we report a new approach to surpass this issue through the integration of a high Brillouin gain material, As2S3, onto a silicon chip. We fabricated a compact spiral device, within a silicon circuit, achieving an order of magnitude improvement in Brillouin amplification. To establish the flexibility of this approach, we fabricated a ring resonator with free spectral range precisely matched to the Brillouin shift, enabling the first demonstration of Brillouin lasing in a silicon integrated circuit. Combining active photonic components with the SBS devices shown here will enable the creation of compact, mass manufacturable optical circuits with enhanced functionality.


title: New approach to Minkowski fractional inequalities using generalized k-fractional integral operator

abstract: In this paper, we obtain new results related to Minkowski fractional integral inequality using generalized k-fractional integral operator which is in terms of the Gauss hypergeometric function.


title: A Simple Scheme for Distributed Passive Load Balancing in Mobile Ad-hoc Networks

abstract: Efficient routing is one of the key challenges for next generation vehicular networks in order to provide fast and reliable communication in a smart city context. Various routing protocols have been proposed for determining optimal routing paths in highly dynamic topologies. However, it is the dilemma of those kinds of networks that good paths are used intensively, resulting in congestion and path quality degradation. In this paper, we adopt ideas from multipath routing and propose a simple decentral scheme for Mobile Ad-hoc Network (MANET) routing, which handles passive load balancing without requiring additional communication effort. It can easily be applied to existing routing protocols to achieve load balancing without changing the routing process itself. In comprehensive simulation studies, we apply the proposed load balancing technique to multiple example protocols and evaluate its effects on the network performance. The results show that all considered protocols can achieve significantly higher reliability and improved Packet Delivery Ratio (PDR) values by applying the proposed load balancing scheme.


title: High-energy pulsar light curves in an offset polar cap $B$-field geometry

abstract: The light curves and spectral properties of more than 200 $\gamma$-ray pulsars have been measured in unsurpassed detail in the eight years since the launch of the hugely successful Fermi Large Area Telescope (LAT) $\gamma$-ray mission. We performed geometric pulsar light curve modelling using static, retarded vacuum, and offset polar cap (PC) dipole $B$-fields (the latter is characterized by a parameter $\epsilon$), in conjunction with standard two-pole caustic (TPC) and outer gap (OG) emission geometries. In addition to constant-emissivity geometric models, we also considered a slot gap (SG) $E$-field associated with the offset-PC dipole $B$-field and found that its inclusion leads to qualitatively different light curves. We therefore find that the assumed $B$-field and especially the $E$-field structure, as well as the emission geometry (magnetic inclination and observer angles), have a great impact on the pulsar's visibility and its high-energy pulse shape. We compared our model light curves to the superior-quality $\gamma$-ray light curve of the Vela pulsar (for energies $>100$ MeV). Our overall optimal light curve fit (with the lowest $\chi^2$ value) is for the retarded vacuum dipole field and OG model. We found that smaller values of $\epsilon$ are favoured for the offset-PC dipole field when assuming constant emissivity, and larger $\epsilon$ values are favoured for variable emissivity, but not significantly so. When we increased the relatively low SG $E$-fields we found improved light curve fits, with the inferred pulsar geometry being closer to best fits from independent studies in this case. In particular, we found that such a larger SG $E$-field (leading to variable emissivity) gives a second overall best fit. This and other indications point to the fact that the actual $E$-field may be larger than predicted by the SG model.


title: Generalized two-temperature model for coupled phonons

abstract: The design of graphene-based composite with high thermal conductivity requires a comprehensive understanding of phonon coupling in graphene. We extended the two-temperature model to coupled groups of phonon. The study give new physical quantities, the phonon-phonon coupling factor and length, to characterize the couplings quantitatively. Besides, our proposed coupling length has an obvious dependence on system size. Our studies can not only observe the nonequilibrium between different groups of phonon, but explain theoretically the thermal resistance inside graphene.


title: Search for Astrophysical Tau Neutrinos with IceCube

abstract: High-energy (TeV-PeV) cosmic neutrinos are expected to be produced in extremely energetic astrophysical sources such as active galactic nuclei. The IceCube Neutrino Observatory at the South Pole has recently detected a diffuse astrophysical neutrino flux. While the flux is consistent with all flavors of neutrinos being present, identification of tau neutrinos within the flux is yet to occur. Although tau neutrino production is thought to be low at the source, an equal fraction of neutrinos are expected at Earth due to averaged neutrino oscillations over astronomical distances. Above a few hundred TeV, tau neutrinos become resolvable in IceCube with negligible background from cosmic-ray induced atmospheric neutrinos. Identification of tau neutrinos within the observed flux is crucial to precise measurement of its flavor content, which could serve to test fundamental neutrino properties over extremely long baselines, and possibly shed light on new physics beyond the Standard Model. We present the analysis method and results from a recent search for astrophysical tau neutrinos in three years of IceCube data.


title: Uniqueness of Kerr-Newman-de Sitter black holes with small angular momenta

abstract: We show that a stationary solution of the Einstein-Maxwell equations which is close to a non-degenerate Reissner-Nordstr\"om-de Sitter solution is in fact equal to a slowly rotating Kerr-Newman-de Sitter solution. The proof uses the non-linear stability of the Kerr-Newman-de Sitter family of black holes for small angular momenta, recently established by the author, together with an extension argument for Killing vector fields. Our black hole uniqueness result only requires the solution to have high but finite regularity; in particular, we do not make any analyticity assumptions.


title: Student's opinions about System for automatic assessment of programming tasks Projekt Tomo

abstract: In a previous paper a web service called Projekt Tomo intended to ease the process of learning programming for teachers and students has been described. Since the service received a very warm welcome from teachers and students alike we decided to collect additional information on the students' view of the service in order to improve it even further. In the paper we briefly present our web service and a detailed analysis of the questionnaire handed out to the students of the highschool level programming course in Python.


title: On Ladder Logic Bombs in Industrial Control Systems

abstract: In industrial control systems, devices such as Programmable Logic Controllers (PLCs) are commonly used to directly interact with sensors and actuators, and perform local automatic control. PLCs run software on two different layers: a) firmware (i.e. the OS) and b) control logic (processing sensor readings to determine control actions). In this work, we discuss ladder logic bombs, i.e. malware written in ladder logic (or one of the other IEC 61131-3-compatible languages). Such malware would be inserted by an attacker into existing control logic on a PLC, and either persistently change the behavior, or wait for specific trigger signals to activate malicious behaviour. For example, the LLB could replace legitimate sensor readings with manipulated values. We see the concept of LLBs as a generalization of attacks such as the Stuxnet attack. We introduce LLBs on an abstract level, and then demonstrate several designs based on real PLC devices in our lab. In particular, we also focus on stealthy LLBs, i.e. LLBs that are hard to detect by human operators manually validating the program running in PLCs. In addition to introducing vulnerabilities on the logic layer, we also discuss countermeasures and we propose two detection techniques.


title: Regular orbits of coprime linear groups in large characteristic

abstract: We prove that a finite coprime linear group G in characteristic p>=(|G|-1)/2 has a regular orbit. This bound on p is best possible. We also give an application to blocks with abelian defect groups.


title: Estimating Nonlinear Dynamics with the ConvNet Smoother

abstract: Estimating the state of a dynamical system from a series of noise-corrupted observations is fundamental in many areas of science and engineering. The most well-known method, the Kalman smoother (and the related Kalman filter), relies on assumptions of linearity and Gaussianity that are rarely met in practice. In this paper, we introduced a new dynamical smoothing method that exploits the remarkable capabilities of convolutional neural networks to approximate complex non-linear functions. The main idea is to generate a training set composed of both latent states and observations from an ensemble of simulators and to train the deep network to recover the former from the latter. Importantly, this method only requires the availability of the simulators and can therefore be applied in situations in which either the latent dynamical model or the observation model cannot be easily expressed in closed form. In our simulation studies, we show that the resulting ConvNet smoother has almost optimal performance in the Gaussian case even when the parameters are unknown. Furthermore, the method can be successfully applied to extremely non-linear and non-Gaussian systems. Finally, we empirically validate our approach via the analysis of measured brain signals.


title: Exploring the Universe with Neutrinos: Recent Results from IceCube

abstract: In 2013, the IceCube Neutrino Observatory located at the geographic South Pole detected evidence for a diffuse astrophysical neutrino flux above ~60 TeV. To this day, IceCube has operated with full detector configuration for more than 6 years. The observed astrophysical neutrino flux has been confirmed with > 6$\sigma$ significance with both events starting within the detector (all flavor) and events traversing through the Earth ($\nu_{\mu}$ charged-current). Somewhat equal flavor ratio of astrophysical neutrinos is expected at Earth assuming standard thorough oscillation. A search for tau neutrinos has been carried out but yielded null result. No neutrino sources have been found to contribute significantly to the diffuse flux at this point. In this paper, we will review the current status of the astrophysical neutrino flux, discuss the quest for neutrino point sources and overview the proposed design and physics potentials of the future IceCube-Gen2.


title: $\ell^2$ bounded variation and absolutely continuous spectrum of Jacobi matrices

abstract: We disprove a conjecture of Breuer-Last-Simon concerning the absolutely continuous spectrum of Jacobi matrices with coefficients that obey an $\ell^2$ bounded variation condition with step $q$. We prove existence of a.c. spectrum on a smaller set than that specified by the conjecture and prove that our result is optimal.


title: Maximal volume behind horizons without curvature singularity

abstract: The black hole information paradox is related to the area of event horizon, and potentially to the volume and singularity behind it. One example is the complexity/volume duality conjectured by Stanford and Susskind. Accepting the proposal of Christodoulou and Rovelli, we calculate the maximal volume inside regular black holes, which are free of curvature singularity, in asymptotically flat and anti-de Sitter spacetimes respectively. The complexity/volume duality is then applied to anti-de Sitter regular black holes. We also present an analytical expression for the maximal volume outside the de Sitter horizon.


title: Ginzburg - Landau expansion in strongly disordered attractive Anderson - Hubbard model

abstract: We have studied disordering effects on the coefficients of Ginzburg - Landau expansion in powers of superconducting order - parameter in attractive Anderson - Hubbard model within the generalized $DMFT+\Sigma$ approximation. We consider the wide region of attractive potentials $U$ from the weak coupling region, where superconductivity is described by BCS model, to the strong coupling region, where superconducting transition is related with Bose - Einstein condensation (BEC) of compact Cooper pairs formed at temperatures essentially larger than the temperature of superconducting transition, and the wide range of disorder - from weak to strong, where the system is in the vicinity of Anderson transition. In case of semi - elliptic bare density of states disorder influence upon the coefficients $A$ and $B$ before the square and the fourth power of the order - parameter is universal for any value of electron correlation and is related only to the general disorder widening of the bare band (generalized Anderson theorem). Such universality is absent for the gradient term expansion coefficient $C$. In the usual theory of "dirty" superconductors the $C$ coefficient drops with the growth of disorder. In the limit of strong disorder in BCS limit the coefficient $C$ is very sensitive to the effects of Anderson localization, which lead to its further drop with disorder growth up to the region of Anderson insulator. In the region of BCS - BEC crossover and in BEC limit the coefficient $C$ and all related physical properties are weakly dependent on disorder. In particular, this leads to relatively weak disorder dependence of both penetration depth and coherence lengths, as well as of related slope of the upper critical magnetic field at superconducting transition, in the region of very strong coupling.