title: Accelerating MR Imaging via Deep Chambolle-Pock Network

abstract: Compressed sensing (CS) has been introduced to accelerate data acquisition in MR Imaging. However, CS-MRI methods suffer from detail loss with large acceleration and complicated parameter selection. To address the limitations of existing CS-MRI methods, a model-driven MR reconstruction is proposed that trains a deep network, named CP-net, which is derived from the Chambolle-Pock algorithm to reconstruct the in vivo MR images of human brains from highly undersampled complex k-space data acquired on different types of MR scanners. The proposed deep network can learn the proximal operator and parameters among the Chambolle-Pock algorithm. All of the experiments show that the proposed CP-net achieves more accurate MR reconstruction results, outperforming state-of-the-art methods across various quantitative metrics.


title: Metrology of time-domain soft X-ray attosecond pulses and re-evaluation of pulse durations of three recent experiments

abstract: Attosecond pulses in the soft-X-ray (SXR) to water-window energy region offer the tools for creating and studying target specific localized inner-shell electrons or holes in materials, enable monitoring or controlling charge and energy flows in a dynamic system on attosecond timescales. Recently, a number of laboratories have reported generation of continuum harmonics in the hundred-electron-volt to kilovolt region with few-cycle long-wavelength mid-infrared lasers. These harmonics have the bandwidth to support pulses with duration of few- to few-ten attoseconds. But harmonics generated in a gas medium have attochirps that cannot be fully compensated by materials over a broad spectral range; thus, realistically what are the typical shortest attosecond pulses that one can generate? To answer this question, it is essential that the temporal attosecond pulses be accurately characterized. By re-analyzing the soft X-ray harmonics reported in three recent experiments \cite{chang_natcom2017,Thomas_OE2017,Bieger_2017PRX} using a newly developed broadband phase retrieval algorithm, we show that their generated attosecond pulses are all longer than about 60 as. Since broadband pulses tend to have high-order chirps away from the spectral center of the pulse, the algorithm has to be able to retrieve accurately the phase over the whole bandwidth. Our re-evaluated pulse durations are found to be longer than those previously reported. We also introduce the autocorrelation (AC) of the streaking spectrogram. By comparing the ACs from the experiments and from the retrieved SXR pulses, the accuracy of the retrieved results can be directly visualized to ensure that correct phases have been obtained. Our retrieval method is fast and accurate, and it shall provide a powerful tool for the metrology of few-ten-attosecond pulses in the future.


title: Drone-based all-weather entanglement distribution

abstract: The quantum satellite is a cornerstone towards practical free-space quantum network and overcomes the photon loss over large distance. However, challenges still exist including real-time all-location coverage and multi-node construction, which may be complemented by the diversity of modern drones. Here we demonstrate the first drone-based entanglement distribution at all-weather conditions over 200 meters (test field limited), and the Clauser-Horne-Shimony-Holt S-parameter exceeds 2.49, within 35 kg take-off weight. With symmetric transmitter and receiver beam apertures and single-mode-fiber-coupling technology, such progress is ready for future quantum network with multi-node expansion. This network can be further integrated in picture-drone sizes for plug-and-play local-area coverage, or loaded onto high-altitude drones for wide-area coverage, which adds flexibility while connecting to the existing satellites and ground fiber-based quantum network.


title: Comparison of Theoretical Starburst Photoionisation Models for Optical Diagnostics

abstract: We study and compare different examples of stellar evolutionary synthesis input parameters used to produce photoionisation model grids using the MAPPINGS V modelling code. The aim of this study is to (a) explore the systematic effects of various stellar evolutionary synthesis model parameters on the interpretation of emission lines in optical strong-line diagnostic diagrams, (b) characterise the combination of parameters able to reproduce the spread of local galaxies located in the star-forming region in the Sloan Digital Sky Survey, and (c) investigate the emission from extremely metal-poor galaxies using photoionisation models. We explore and compare the stellar input ionising spectrum (stellar population synthesis code [Starburst99, SLUG, BPASS], stellar evolutionary tracks, stellar atmospheres, star-formation history, sampling of the initial mass function) as well as parameters intrinsic to the H II region (metallicity, ionisation parameter, pressure, H II region boundedness). We also perform a comparison of the photoionisation codes MAPPINGS and CLOUDY. On the variations in the ionising spectrum model parameters, we find that the differences in strong emission-line ratios between varying models for a given input model parameter are small, on average ~0.1 dex. An average difference of ~0.1 dex in emission-line ratio is also found between models produced with MAPPINGS and CLOUDY. Large differences between the emission-line ratios are found when comparing intrinsic H II region parameters. We find that low-metallicity galaxies are better explained by a density-bounded H II region and higher pressures better encompass the spread of galaxies at high redshift.


title: Mixed norm Strichartz-type estimates for hypersurfaces in three dimensions

abstract: In their work [IM16] I.A. Ikromov and D. M\"{u}ller proved the full range $L^p-L^2$ Fourier restriction estimates for a very general class of hypersurfaces in $\R^3$ which includes the class of real analytic hypersurfaces. In this article we partly extend their results to the mixed norm case where the coordinates are split in two directions, one tangential and the other normal to the surface at a fixed given point. In particular, we resolve completely the adapted case and partly the non-adapted case. In the non-adapted case the case when the linear height $h_\text{lin}(\phi)$ is below two is settled completely.


title: Stimulated emission depletion microscopy with array detection and photon reassignment

abstract: We propose a novel stimulated emission depletion (STED) microscopy based on array detection and photon reassignment. By replacing the single-point detector in traditional STED with a detector array and utilizing the photon reassignment method to recombine the images acquired by each detector, the final photon reassignment STED (prSTED) image could be obtained. We analyze the principle and imaging characteristics of prSTED, and the results indicate that, compared with traditional STED, prSTED can improve the signal-to-noise ratio (SNR) of the image by increasing the obtained photon flux while maintaining the original spatial resolution of STED. In addition, the SNR and resolution of prSTED are strongly correlated with the intensity of depletion beam. Corresponding theoretical and experimental analysis about this feature are also conducted. In general, considering the enhanced signal strength, imaging speed and compatibility with some other imaging techniques, we believe prSTED would be a helpful promotion in biomedical imaging.


title: MCScript2.0: A Machine Comprehension Corpus Focused on Script Events and Participants

abstract: We introduce MCScript2.0, a machine comprehension corpus for the end-to-end evaluation of script knowledge. MCScript2.0 contains approx. 20,000 questions on approx. 3,500 texts, crowdsourced based on a new collection process that results in challenging questions. Half of the questions cannot be answered from the reading texts, but require the use of commonsense and, in particular, script knowledge. We give a thorough analysis of our corpus and show that while the task is not challenging to humans, existing machine comprehension models fail to perform well on the data, even if they make use of a commonsense knowledge base. The dataset is available at http://www.sfb1102.uni-saarland.de/?page_id=2582


title: SynFuzz: Efficient Concolic Execution via Branch Condition Synthesis

abstract: Concolic execution is a powerful program analysis technique for exploring execution paths in a systematic manner. Compare to random-mutation-based fuzzing, concolic execution is especially good at exploring paths that are guarded by complex and tight branch predicates (e.g., (a*b) == 0xdeadbeef). The drawback, however, is that concolic execution engines are much slower than native execution. One major source of the slowness is that concolic execution engines have to the interpret instructions to maintain the symbolic expression of program variables. In this work, we propose SynFuzz, a novel approach to perform scalable concolic execution. SynFuzz achieves this goal by replacing interpretation with dynamic taint analysis and program synthesis. In particular, to flip a conditional branch, SynFuzz first uses operation-aware taint analysis to record a partial expression (i.e., a sketch) of its branch predicate. Then it uses oracle-guided program synthesis to reconstruct the symbolic expression based on input-output pairs. The last step is the same as traditional concolic execution - SynFuzz consults a SMT solver to generate an input that can flip the target branch. By doing so, SynFuzz can achieve an execution speed that is close to fuzzing while retain concolic execution's capability of flipping complex branch predicates. We have implemented a prototype of SynFuzz and evaluated it with three sets of programs: real-world applications, the LAVA-M benchmark, and the Google Fuzzer Test Suite (FTS). The evaluation results showed that SynFuzz was much more scalable than traditional concolic execution engines, was able to find more bugs in LAVA-M than most state-of-the-art concolic execution engine (QSYM), and achieved better code coverage on real-world applications and FTS.


title: Incorporating Human Domain Knowledge in 3D LiDAR-based Semantic Segmentation

abstract: This work studies semantic segmentation using 3D LiDAR data. Popular deep learning methods applied for this task require a large number of manual annotations to train the parameters. We propose a new method that makes full use of the advantages of traditional methods and deep learning methods via incorporating human domain knowledge into the neural network model to reduce the demand for large numbers of manual annotations and improve the training efficiency. We first pretrain a model with autogenerated samples from a rule-based classifier so that human knowledge can be propagated into the network. Based on the pretrained model, only a small set of annotations is required for further fine-tuning. Quantitative experiments show that the pretrained model achieves better performance than random initialization in almost all cases; furthermore, our method can achieve similar performance with fewer manual annotations.


title: Physical properties of (Mn 0.85 Fe 0.15) Si along the critical trajectory

abstract: We report results of studying the magnetization, specific heat and thermal expansion of a single crystal with nominal composition Mn 0.85 Fe 0.15 Si . We found no thermodynamic evidences in favor a second order phase transition in the 15 % Fe substituted MnSi. The trajectory corresponding to the present composition of (MnFe)Si is a critical one, i.e. approaching quantum critical point at lowering temperature, but some properties may feel the cloud of helical fluctuations bordering the phase transition line.


title: Projected Pupil Plane Pattern (PPPP) with artificial Neural Networks

abstract: Focus anisoplanatism is a significant measurement error when using one single laser guide star (LGS) in an Adaptive Optics (AO) system, especially for the next generation of extremely large telescopes. An alternative LGS configuration, called Projected Pupil Plane Pattern (PPPP) solves this problem by launching a collimated laser beam across the full pupil of the telescope. If using a linear, modal reconstructor, the high laser power requirement ($\sim1000\,\mbox{W}$) renders PPPP uncompetitive with Laser Tomography AO. This work discusses easing the laser power requirements by using an artificial Neural Network (NN) as a non-linear reconstructor. We find that the non-linear NN reduces the required measurement signal-to-noise ratio (SNR) significantly to reduce PPPP laser power requirements to $\sim200\,\mbox{W}$ for useful residual wavefront error (WFE). At this power level, the WFE becomes 160\,nm root mean square (RMS) and 125\,nm RMS when $r_0=0.098$\,m and $0.171$\,m respectively for turbulence profiles which are representative of conditions at the ESO Paranal observatory. In addition, it is shown that as a non-linear reconstructor, a NN can perform useful wavefront sensing using a beam-profile from one height as the input instead of the two profiles required as a minimum by the linear reconstructor.


title: Non-finitely axiomatisable modal product logics with infinite canonical axiomatisations

abstract: Our concern is the axiomatisation problem for modal and algebraic logics that correspond to various fragments of two-variable first-order logic with counting quantifiers. In particular, we consider modal products with Diff, the propositional unimodal logic of the difference operator. We show that the two-dimensional product logic Diff x Diff is non-finitely axiomatisable, but can be axiomatised by infinitely many Sahlqvist axioms. We also show that its `square' version (the modal counterpart of the substitution and equality free fragment of two-variable first-order logic with counting to two) is non-finitely axiomatisable over Diff x Diff, but can be axiomatised by adding infinitely many Sahlqvist axioms. These are the first examples of products of finitely axiomatisable modal logics that are not finitely axiomatisable, but axiomatisable by explicit infinite sets of canonical axioms.


title: Atomic-scale grain boundary engineering to overcome hot-cracking in additively-manufactured superalloys

abstract: There are still debates regarding the mechanisms that lead to hot cracking in parts build by additive manufacturing (AM) of non-weldable Ni-based superalloys. This lack of in-depth understanding of the root causes of hot cracking is an impediment to designing engineering parts for safety-critical applications. Here, we deploy a near-atomic-scale approach to investigate the details of the compositional decoration of grain boundaries in the coarse-grained, columnar microstructure in parts built from a non-weldable Ni-based superalloy by selective electron-beam melting. The progressive enrichment in Cr, Mo and B at grain boundaries over the course of the AM-typical successive solidification and remelting events, accompanied by solid-state diffusion, causes grain boundary segregation induced liquation. This observation is consistent with thermodynamic calculations. We demonstrate that by adjusting build parameters to obtain a fine-grained equiaxed or a columnar microstructure with grain width smaller than 100 $\mu$m enables to avoid cracking, despite strong grain boundary segregation. We find that the spread of critical solutes to a higher total interfacial area, combined with lower thermal stresses, helps to suppress interfacial liquation.


title: AMSI-Based Detection of Malicious PowerShell Code Using Contextual Embeddings

abstract: PowerShell is a command-line shell, supporting a scripting language. It is widely used in organizations for configuration management and task automation but is also increasingly used by cybercriminals for launching cyberattacks against organizations, mainly because it is pre-installed on Windows machines and exposes strong functionality that may be leveraged by attackers. This makes the problem of detecting malicious PowerShell code both urgent and challenging. Microsoft's Antimalware Scan Interface (AMSI) allows defending systems to scan all the code passed to scripting engines such as PowerShell prior to its execution. In this work, we conduct the first study of malicious PowerShell code detection using the information made available by AMSI. We present several novel deep-learning based detectors of malicious PowerShell code that employ pretrained contextual embeddings of words from the PowerShell "language". A known problem in the cybersecurity domain is that labeled data is relatively scarce in comparison with unlabeled data, making it difficult to devise effective supervised detection of malicious activity of many types. This is also the case with PowerShell code. Our work shows that this problem can be mitigated by learning a pretrained contextual embedding based on unlabeled data. We trained and evaluated our models using real-world data, collected using AMSI from a large antimalware vendor. Our performance analysis establishes that the use of unlabeled data for the embedding significantly improved the performance of our detectors. Our best-performing model uses an architecture that enables the processing of textual signals from both the character and token levels and obtains a true positive rate of nearly 90% while maintaining a low false-positive rate of less than 0.1%.


title: Recursive blocked algorithms for linear systems with Kronecker product structure

abstract: Recursive blocked algorithms have proven to be highly efficient at the numerical solution of the Sylvester matrix equation and its generalizations. In this work, we show that these algorithms extend in a seamless fashion to higher-dimensional variants of generalized Sylvester matrix equations, as they arise from the discretization of PDEs with separable coefficients or the approximation of certain models in macroeconomics. By combining recursions with a mechanism for merging dimensions, an efficient algorithm is derived that outperforms existing approaches based on Sylvester solvers.


title: Asymptotic behavior of the nonlinear Schr\"{o}dinger equation on exterior domain

abstract: {\bf Abstract} \,\, We consider the following nonlinear Schr\"{o}dinger equation on exterior domain. \begin{equation} \begin{cases} iu_t+\Delta_g u + ia(x)u - |u|^{p-1}u = 0 \qquad (x,t) \in \Omega\times (0,+\infty), \qquad (1)\cr u\big|_\Gamma = 0\qquad t \in (0,+\infty), \cr u(x,0) = u_0(x)\qquad x \in \Omega, \end{cases} \end{equation} where $1<p<\frac{n+2}{n-2}$, $\Omega\subset\mathbb{R}^n$ ($n\ge3$) is an exterior domain and $(\mathbb{R}^n,g)$ is a complete Riemannian manifold. We establish Morawetz estimates for the system (1) without dissipation ($a(x)\equiv 0$ in (1)) and meanwhile prove exponential stability of the system (1) with a dissipation effective on a neighborhood of the infinity. It is worth mentioning that our results are different from the existing studies. First, Morawetz estimates for the system (1) are directly derived from the metric $g$ and are independent on the assumption of an (asymptotically) Euclidean metric. In addition, we not only prove exponential stability of the system (1) with non-uniform energy decay rate, which is dependent on the initial data, but also prove exponential stability of the system (1) with uniform energy decay rate. The main methods are the development of Morawetz multipliers in non (asymptotically) Euclidean spaces and compactness-uniqueness arguments.


title: Dynamical continuum simulation of condensed matter from first-principles

abstract: Macroscale continuum mechanics simulations rely on material properties stemming from the microscale, which are normally described using phenomenological equations of state (EOS). A method is proposed for the automatic generation of first-principles unconstrained EOSs using a Gaussian process on a set of ab initio molecular dynamics simulations, thereby closing the continuum equations. We illustrate it on a hyperelasticity simulation of bulk silicon using density-functional theory (DFT), following the dynamics of shock waves after a cylindrical region is instantaneously heated.


title: Stable interpolation with isotropic and anisotropic Gaussians using Hermite generating function

abstract: Gaussian kernels can be an efficient and accurate tool for multivariate interpolation. In practice, high accuracies are often achieved in the flat limit where the interpolation matrix becomes increasingly ill-conditioned. Stable evaluation algorithms for isotropic Gaussians (Gaussian radial basis functions) have been proposed based on a Chebyshev expansion of the Gaussians by Fornberg, Larsson & Flyer and based on a Mercer expansion with Hermite polynomials by Fasshauer & McCourt. In this paper, we propose a new stabilization algorithm for the multivariate interpolation with isotropic or anisotropic Gaussians derived from the generating function of the Hermite polynomials. We also derive and analyse a new analytic cut-off criterion for the generating function expansion that allows to automatically adjust the number of the stabilizing basis functions.


title: MemoryRanger Prevents Hijacking FILE_OBJECT Structures in Windows Kernel

abstract: Windows OS kernel memory is one of the main targets of cyber-attacks. By launching such attacks, hackers are succeeding in process privilege escalation and tampering with users data by accessing kernel mode memory. This paper considers a new example of such an attack, which results in access to the files opened in an exclusive mode. Windows built-in security features prevent such legal access, but attackers can circumvent them by patching dynamically allocated objects. The research shows that the Windows 10, version 1809 x64 is vulnerable to this attack. The paper provides an example of using MemoryRanger, a hypervisor-based solution to prevent such attack by running kernel-mode drivers in isolated kernel memory enclaves.


title: Computing Expected Runtimes for Constant Probability Programs

abstract: We introduce the class of constant probability (CP) programs and show that classical results from probability theory directly yield a simple decision procedure for (positive) almost sure termination of programs in this class. Moreover, asymptotically tight bounds on their expected runtime can always be computed easily. Based on this, we present an algorithm to infer the exact expected runtime of any CP program.


title: Replicated Vector Approximate Message Passing For Resampling Problem

abstract: Resampling techniques are widely used in statistical inference and ensemble learning, in which estimators' statistical properties are essential. However, existing methods are computationally demanding, because repetitions of estimation/learning via numerical optimization/integral for each resampled data are required. In this study, we introduce a computationally efficient method to resolve such problem: replicated vector approximate message passing. This is based on a combination of the replica method of statistical physics and an accurate approximate inference algorithm, namely the vector approximate message passing of information theory. The method provides tractable densities without repeating estimation/learning, and the densities approximately offer an arbitrary degree of the estimators' moment in practical time. In the experiment, we apply the proposed method to the stability selection method, which is commonly used in variable selection problems. The numerical results show its fast convergence and high approximation accuracy for problems involving both synthetic and real-world datasets.

categories: stat.ML cond-mat.dis-nn cond-mat.stat-mech cs.LG stat.ME


title: Sub-cycle time resolution of multi-photon momentum transfer in strong-field ionization

abstract: During multi-photon ionization of an atom it is well understood how the involved photons transfer their energy to the ion and the photoelectron. However, the transfer of the photon linear momentum is still not fully understood. Here, we present a time-resolved measurement of linear momentum transfer along the laser pulse propagation direction. Beyond the limit of the electric dipole approximation we observe a time-dependent momentum transfer. We can show that the time-averaged photon radiation pressure picture is not generally applicable and the linear momentum transfer to the photoelectron depends on the ionization time within the electromagnetic wave cycle using the attoclock technique. We can mostly explain the measured linear momentum transfer within a classical model for a free electron in a laser field. However, corrections are required due to the interaction of the outgoing photoelectron with the parent ion and due to the initial momentum when the electron appears in the continuum. The parent ion interaction induces a measurable negative attosecond time delay between the appearance in the continuum of the electron with minimal linear momentum transfer and the point in time with maximum ionization rate.


title: Coefficient estimates for $H^p$ spaces with $0<p<1$

abstract: Let $C(k,p)$ denote the smallest real number such that the estimate $|a_k|\leq C(k,p)\|f\|_{H^p}$ holds for every $f(z)=\sum_{n\geq0}a_n z^n$ in the $H^p$ space of the unit disc. We compute $C(2,p)$ for $0<p<1$ and $C(3,2/3)$, and identify the functions attaining equality in the estimate.


title: Automorphism groups of Moishezon threefolds

abstract: We show that automorphism groups of Moishezon threefolds are always Jordan.


title: Spin-orbit coupling and crystal-field distortions for a low-spin $3d^5$ state in BaCoO$_{3}$

abstract: We have studied the electronic structure of BaCoO$_3$ using soft x-ray absorption spectroscopy at the Co-$L_{2,3}$ and O-$K$ edges, magnetic circular dichroism at the Co-$L_{2,3}$ edges, as well as valence band hard x-ray photoelectron spectroscopy. The quantitative analysis of the spectra established that the Co ions are in the formal low-spin tetravalent 3$d^5$ state and that the system is a negative charge transfer Mott insulator. The spin-orbit coupling plays also an important role for the magnetism of the system. At the same time, a trigonal crystal field is present with sufficient strength to bring the 3$d^5$ ion away from the $J_{eff} = 1/2$ state. The sign of this crystal field is such that the $a_{1g}$ orbital is doubly occupied, explaining the absence of a Peierl's transition in this system which consists of chains of face-sharing CoO$_6$ octahedra. Moreover, with one hole residing in the $e_g^{\pi}$, the presence of an orbital moment and strong magneto-crystalline anisotropy can be understood. Yet, we also infer that crystal fields with lower symmetry must be present to reproduce the measured orbital moment quantitatively, thereby suggesting the possibility for orbital ordering to occur in BaCoO$_3$.


title: Revisiting Graph Neural Networks: All We Have is Low-Pass Filters

abstract: Graph neural networks have become one of the most important techniques to solve machine learning problems on graph-structured data. Recent work on vertex classification proposed deep and distributed learning models to achieve high performance and scalability. However, we find that the feature vectors of benchmark datasets are already quite informative for the classification task, and the graph structure only provides a means to denoise the data. In this paper, we develop a theoretical framework based on graph signal processing for analyzing graph neural networks. Our results indicate that graph neural networks only perform low-pass filtering on feature vectors and do not have the non-linear manifold learning property. We further investigate their resilience to feature noise and propose some insights on GCN-based graph neural network design.


title: Shades of Dark Uncertainty and Consensus Value for the Newtonian Constant of Gravitation

abstract: The Newtonian constant of gravitation, $G$, stands out in the landscape of the most common fundamental constants owing to its surprisingly large relative uncertainty, which is attributable mostly to the dispersion of the values measured for it in different experiments. This study focuses on a set of measurements of $G$ that are mutually inconsistent, in the sense that the dispersion of the measured values is significantly larger than what their reported uncertainties suggest that it should be. Furthermore, there is a loosely defined group of measured values that lie fairly close to a consensus value that may be derived from all the measurement results, and then there are one or more groups with measured values farther away from the consensus value, some higher, others lower. This same general pattern is often observed in many interlaboratory studies and meta-analyses. In the conventional treatments of such data, the mutual inconsistency is addressed by inflating the reported uncertainties, either multiplicatively, or by the addition of random effects, both reflecting the presence of dark uncertainty. The former approach is often used by CODATA and by the Particle Data Group, and the latter is common in medical meta-analysis and in metrology. We propose a new procedure for consensus building that models the results using latent clusters with different shades of dark uncertainty, which assigns a customized amount of dark uncertainty to each measured value, as a mixture of those shades, and does so taking into account both the placement of the measured values relative to the consensus value, and the reported uncertainties. We demonstrate this procedure by deriving a new estimate for $G$, as a consensus value $G = 6.67408 \times 10^{-11} \,\text{m}^{-3} \, \text{kg}^{-1} \, \text{s}^{-2}$, with $u(G) = 0.00024 \times 10^{-11} \,\text{m}^{-3} \, \text{kg}^{-1} \, \text{s}^{-2}$.


title: Technological Learning and Innovation Gestation Lags at the Frontier of Science: from CERN Procurement to Patent

abstract: This paper contributes to the literature on the impact of Big Science Centres on technological innovation. We exploit a unique dataset with information on CERN's procurement orders to study the collaborative innovation process between CERN and its industrial partners. After a qualitative discussion of case studies, survival and count data models are estimated; the impact of CERN procurement on suppliers' innovation is captured by the number of patent applications. The fact that firms in our sample received their first order over a long time span (1995-2008) delivers a natural partition of industrial partners into "suppliers" and "not yet suppliers". This allows estimating the impact of CERN on the hazard to file a patent for the first time and on the number of patent applications, as well as the time needed for these effects to show up. We find that a "CERN effect" does exist: being an industrial partner of CERN is associated with an increase in the hazard to file a patent for the first time and in the number of patent applications. These effects require a significant "gestation lag" in the range of five to eight years, pointing to a relatively slow process of absorption of new ideas.


title: NRQCD colour-octet expansion vs LHC quarkonium production: signs of a hierarchy puzzle?

abstract: The observation of unpolarized quarkonium production in high energy pp collisions, at mid rapidity, implies a significant violation of the non-relativistic QCD (NRQCD) velocity scaling rules. A precise experimental confirmation of this picture could definitely rule out the current formulation of the factorization expansion. This conclusion relies on current perturbative determinations of the short-distance kinematic factors and may be reverted if improved calculations would modify, in a very specific way, their transverse momentum dependences. That solution would result, however, in a full degeneracy in the presently assumed basis of $^{2S+1}L_J$ Fock states. Therefore, whatever the outcome, improved polarization measurements will challenge and improve our fundamental understanding of quarkonium production.


title: Hydrodynamic behavior of the Pseudo-Potential lattice Boltzmann method for interfacial flows

abstract: The lattice Boltzmann method (LBM) is routinely employed in the simulation of complex multiphase flows comprising bulk phases separated by non-ideal interfaces. LBM is intrinsically mesoscale with an hydro-dynamic equivalence popularly set by the Chapman-Enskog analysis, requiring that fields slowly vary in space and time. The latter assumptions become questionable close to interfaces, where the method is also known to be affected by spurious non hydrodynamical contributions. This calls for quantitative hydrodynamical checks. In this paper we analyze the hydrodynamic behaviour of LBM pseudo-potential models for the problem of break-up of a liquid ligament triggered by the Plateau-Rayleigh instability. Simulations are performed at fixed interface thickness, while increasing the ligament radius, i.e. in the "sharp interface" limit. Influence of different LBM collision operators is also assessed. We find that different distributions of spurious currents along the interface may change the outcome of the pseudo-potential model simulations quite sensibly, which suggests that a proper fine-tuning of pseudo-potential models in time-dependent problems is needed before the utilization in concrete applications. Taken all together, we argue that the results of the proposed study provide a valuable insight for engineering pseudo-potential model applications involving the hydrodynamics of liquid jets.


title: Security of 5G-V2X: Technologies, Standardization and Research Directions

abstract: Cellular-Vehicle to Everything (C-V2X) aims at resolving issues pertaining to the traditional usability of Vehicle to Infrastructure (V2I) and Vehicle to Vehicle (V2V) networking. Specifically, C-V2X lowers the number of entities involved in vehicular communications and allows the inclusion of cellular-security solutions to be applied to V2X. For this, the evolvement of LTE-V2X is revolutionary, but it fails to handle the demands of high throughput, ultra-high reliability, and ultra-low latency alongside its security mechanisms. To counter this, 5G-V2X is considered as an integral solution, which not only resolves the issues related to LTE-V2X but also provides a function-based network setup. Several reports have been given for the security of 5G, but none of them primarily focuses on the security of 5G-V2X. This article provides a detailed overview of 5G-V2X with a security-based comparison to LTE-V2X. A novel Security Reflex Function (SRF)-based architecture is proposed and several research challenges are presented related to the security of 5G-V2X. Furthermore, the article lays out requirements of Ultra-Dense and Ultra-Secure (UD-US) transmissions necessary for 5G-V2X.


title: Experimental test of error-disturbance uncertainty relation with continuous variables

abstract: Uncertainty relation is one of the fundamental principle in quantum mechanics and plays an important role in quantum information science. We experimentally test the error-disturbance uncertainty relation (EDR) with continuous variables for Gaussian states. Two conjugate continuous-variable observables, amplitude and phase quadratures of an optical mode, are measured simultaneously by using a heterodyne measurement system. The EDR with continuous variables for a coherent state, a squeezed state and a thermal state are verified experimentally. Our experimental results demonstrate that Heisenberg's EDR with continuous variables is violated, yet Ozawa's and Branciard's EDR with continuous variables are validated.


title: Knowledge Graph Embedding Bi-Vector Models for Symmetric Relation

abstract: Knowledge graph embedding (KGE) models have been proposed to improve the performance of knowledge graph reasoning. However, there is a general phenomenon in most of KGEs, as the training progresses, the symmetric relations tend to zero vector, if the symmetric triples ratio is high enough in the dataset. This phenomenon causes subsequent tasks, e.g. link prediction etc., of symmetric relations to fail. The root cause of the problem is that KGEs do not utilize the semantic information of symmetric relations. We propose KGE bi-vector models, which represent the symmetric relations as vector pair, significantly increasing the processing capability of the symmetry relations. We generate the benchmark datasets based on FB15k and WN18 by completing the symmetric relation triples to verify models. The experiment results of our models clearly affirm the effectiveness and superiority of our models against baseline.


title: MR-GNN: Multi-Resolution and Dual Graph Neural Network for Predicting Structured Entity Interactions

abstract: Predicting interactions between structured entities lies at the core of numerous tasks such as drug regimen and new material design. In recent years, graph neural networks have become attractive. They represent structured entities as graphs and then extract features from each individual graph using graph convolution operations. However, these methods have some limitations: i) their networks only extract features from a fix-sized subgraph structure (i.e., a fix-sized receptive field) of each node, and ignore features in substructures of different sizes, and ii) features are extracted by considering each entity independently, which may not effectively reflect the interaction between two entities. To resolve these problems, we present MR-GNN, an end-to-end graph neural network with the following features: i) it uses a multi-resolution based architecture to extract node features from different neighborhoods of each node, and, ii) it uses dual graph-state long short-term memory networks (L-STMs) to summarize local features of each graph and extracts the interaction features between pairwise graphs. Experiments conducted on real-world datasets show that MR-GNN improves the prediction of state-of-the-art methods.


title: Modelling the X-ray power spectra of AGN by using reprocessing echoes from an extended corona

abstract: Characteristic signatures that X-ray reverberation from an extended corona can manifest in the observed PSD of AGN are investigated. The presence of two X-ray blobs illuminating an accretion disc can cause the interference between two reprocessing-echo components and produce distinct physical features in the PSD. The oscillatory structures (e.g., dips and humps) are seen but, contrarily to the lamp-post case, the strongest dip is not always the one at the lowest frequency. Instead, we find the frequency where the strongest dip is seen associates to the lower-source height while the lowest frequency where the first dip appears links with the upper-source height. This is because the reverberation timescales increase with the source height. Accurate modelling of the PSD then helps put constraints to the lower and upper limit of the corona extent. Furthermore, the reverberation signatures are less pronounced with increasing number of sources that do not produce reflection (e.g., additional X-rays from fast, relativistic outflows). The amplitude of the oscillations also depends on the amount of dilution contributed by the X-ray sources, thus encodes information about their relative brightness. Due to stronger dilutions, robust detection of these signatures with the current observations will become even more difficult if the corona is extended. Future observations made by Athena will enable us to fit these characteristics in statistically significant details, and to reveal the nature of the disc-corona system.


title: Cryogenic low power CMOS analog buffer at 4.2K

abstract: A novel power-efficient analog buffer at liquid helium temperature is proposed. The proposed circuit is based on an input stage consisting of two complementary differential pairs to achieve rail-to-rail level tracking. Results of simulation based on SMIC 0.18um CMOS technology show the high driving capability and low quiescent power consumption at cryogenic temperature. Operating at single 1.4 V supply, the circuit could achieve a slew-rate of +51 V/us and -93 V/us for 10 pF capacitive load. The static power of the circuit is only 79uW.


title: Binary Classification with Bounded Abstention Rate

abstract: We consider the problem of binary classification with abstention in the relatively less studied \emph{bounded-rate} setting. We begin by obtaining a characterization of the Bayes optimal classifier for an arbitrary input-label distribution $P_{XY}$. Our result generalizes and provides an alternative proof for the result first obtained by \cite{chow1957optimum}, and then re-derived by \citet{denis2015consistency}, under a continuity assumption on $P_{XY}$. We then propose a plug-in classifier that employs unlabeled samples to decide the region of abstention and derive an upper-bound on the excess risk of our classifier under standard \emph{H\"older smoothness} and \emph{margin} assumptions. Unlike the plug-in rule of \citet{denis2015consistency}, our constructed classifier satisfies the abstention constraint with high probability and can also deal with discontinuities in the empirical cdf. We also derive lower-bounds that demonstrate the minimax near-optimality of our proposed algorithm. To address the excessive complexity of the plug-in classifier in high dimensions, we propose a computationally efficient algorithm that builds upon prior work on convex loss surrogates, and obtain bounds on its excess risk in the \emph{realizable} case. We empirically compare the performance of the proposed algorithm with a baseline on a number of UCI benchmark datasets.


title: Recurrent Value Functions

abstract: Despite recent successes in Reinforcement Learning, value-based methods often suffer from high variance hindering performance. In this paper, we illustrate this in a continuous control setting where state of the art methods perform poorly whenever sensor noise is introduced. To overcome this issue, we introduce Recurrent Value Functions (RVFs) as an alternative to estimate the value function of a state. We propose to estimate the value function of the current state using the value function of past states visited along the trajectory. Due to the nature of their formulation, RVFs have a natural way of learning an emphasis function that selectively emphasizes important states. First, we establish RVF's asymptotic convergence properties in tabular settings. We then demonstrate their robustness on a partially observable domain and continuous control tasks. Finally, we provide a qualitative interpretation of the learned emphasis function.


title: Optimization results for the higher eigenvalues of the $p$-Laplacian associated with sign-changing capacitary measures

abstract: In this paper we prove the existence of an optimal set for the minimization of the $k$-th variational eigenvalue of the $p$-Laplacian among $p$-quasi open sets of fixed measure included in a box of finite measure. An analogous existence result is obtained for eigenvalues of the $p$-Laplacian associated with Schr\"odinger potentials. In order to deal with these nonlinear shape optimization problems, we develop a general approach which allows to treat the continuous dependence of the eigenvalues of the $p$-Laplacian associated with sign-changing capacitary measures under $\gamma$-convergence.


title: Linear-Quadratic Mixed Stackelberg-Nash Stochastic Differential Game with Major-Minor Agents

abstract: We consider a controlled linear-quadratic (LQ) large-population system with mixture of three types agents: major leader, minor leaders and minor followers. The Stackelberg-Nash-Cournot (SNC) approximate equilibrium is studied by a major-minor mean-field game (MFG) coupled with a leader-follower Stackelberg game. By variational method, the SNC approximate equilibrium strategy can be represented by some forward-backward-stochastic-differential-equations (FBSDEs) in the open-loop sense. And we pay great effort to give the feedback form of the open-loop strategy by some Riccati equations.


title: ENIGMAWatch: ProofWatch Meets ENIGMA

abstract: In this work we describe a new learning-based proof guidance -- ENIGMAWatch -- for saturation-style first-order theorem provers. ENIGMAWatch combines two guiding approaches for the given-clause selection implemented for the E ATP system: ProofWatch and ENIGMA. ProofWatch is motivated by the watchlist (hints) method and based on symbolic matching of multiple related proofs, while ENIGMA is based on statistical machine learning. The two methods are combined by using the evolving information about symbolic proof matching as an additional information that characterizes the saturation-style proof search for the statistical learning methods. The new system is experimentally evaluated on a large set of problems from the Mizar Library. We show that the added proof-matching information is considered important by the statistical machine learners, and that it leads to improvements in E's Performance over ProofWatch and ENIGMA.


title: Condensations in higher categories

abstract: We present a higher-categorical generalization of the "Karoubi envelope" construction from ordinary category theory, and prove that, like the ordinary Karoubi envelope, our higher Karoubi envelope is the closure for absolute limits. Our construction replaces the idempotents in the ordinary version with a notion that we call "condensations." The name is justified by the direct physical interpretation of the notion of condensation: it encodes a general class of constructions which produce a new topological phase of matter by turning on a commuting projector Hamiltonian on a lattice of defects within a different topological phase, which may be the trivial phase. We also identify our higher Karoubi envelopes with categories of fully-dualizable objects. Together with the Cobordism Hypothesis, we argue that this realizes an equivalence between a very broad class of gapped topological phases of matter and fully extended topological field theories, in any number of dimensions.


title: Condensation of interacting scalar bosons at finite temperatures

abstract: Thermodynamical properties of an interacting system of scalar bosons at finite temperatures are studied within the framework of a field-theoretical model containing the attractive and repulsive self-interaction terms. Self-consistency relations between the effective mass and thermodynamic functions are derived in the mean-field approximation. We show that for a sufficiently strong attractive interaction a first-order phase transition develops in the system via the formation of a scalar condensate. An interesting prediction of this model is that the condensed phase appears within a finite temperature interval and is characterized by a constant scalar density of Bose particles.


title: Fire Now, Fire Later: Alarm-Based Systems for Prescriptive Process Monitoring

abstract: Predictive process monitoring is a family of techniques to analyze events produced during the execution of a business process in order to predict the future state or the final outcome of running process instances. Existing techniques in this field are able to predict, at each step of a process instance, the likelihood that it will lead to an undesired outcome.These techniques, however, focus on generating predictions and do not prescribe when and how process workers should intervene to decrease the cost of undesired outcomes. This paper proposes a framework for prescriptive process monitoring, which extends predictive monitoring with the ability to generate alarms that trigger interventions to prevent an undesired outcome or mitigate its effect. The framework incorporates a parameterized cost model to assess the cost-benefit trade-off of generating alarms. We show how to optimize the generation of alarms given an event log of past process executions and a set of cost model parameters. The proposed approaches are empirically evaluated using a range of real-life event logs. The experimental results show that the net cost of undesired outcomes can be minimized by changing the threshold for generating alarms, as the process instance progresses. Moreover, introducing delays for triggering alarms, instead of triggering them as soon as the probability of an undesired outcome exceeds a threshold, leads to lower net costs.


title: Resurgence for superconductors

abstract: An important non-perturbative effect in quantum physics is the energy gap of superconductors, which is exponentially small in the coupling constant. A natural question is whether this effect can be incorporated in the theory of resurgence. In this paper we take some steps in this direction. We conjecture that the perturbative series for the ground state energy of a superconductor is factorially divergent, and that its leading Borel singularity is governed by the superconducting energy gap. We test this conjecture in detail in the attractive Gaudin-Yang model, an exactly solvable model in one dimension with a BCS-like ground state. In order to do this, we develop techniques to calculate the exact perturbative series of its ground state energy up to high order. We also argue that the Borel singularity is of the renormalon type, and we identify a class of diagrams leading to factorial growth. We give additional evidence for the conjecture in other models.

categories: hep-th cond-mat.quant-gas cond-mat.stat-mech cond-mat.supr-con math-ph math.MP


title: Gravity-Inspired Graph Autoencoders for Directed Link Prediction

abstract: Graph autoencoders (AE) and variational autoencoders (VAE) recently emerged as powerful node embedding methods. In particular, graph AE and VAE were successfully leveraged to tackle the challenging link prediction problem, aiming at figuring out whether some pairs of nodes from a graph are connected by unobserved edges. However, these models focus on undirected graphs and therefore ignore the potential direction of the link, which is limiting for numerous real-life applications. In this paper, we extend the graph AE and VAE frameworks to address link prediction in directed graphs. We present a new gravity-inspired decoder scheme that can effectively reconstruct directed graphs from a node embedding. We empirically evaluate our method on three different directed link prediction tasks, for which standard graph AE and VAE perform poorly. We achieve competitive results on three real-world graphs, outperforming several popular baselines.


title: Solutions to Donaldson's hyperk\"ahler reduction on a curve

abstract: We study an infinite-dimensional hyperk\"ahler reduction introduced by Donaldson and associated with the constant scalar curvature equation on a Riemann surface. It is known that the corresponding moment map equations admit special solutions constructed from holomorphic quadratic differentials. Here we obtain a more general existence result and so a larger hyperk\"ahler moduli space.


title: Kaleido: An Efficient Out-of-core Graph Mining System on A Single Machine

abstract: Graph mining is one of the most important categories of graph algorithms. However, exploring the subgraphs of an input graph produces a huge amount of intermediate data. The 'think like a vertex' programming paradigm, pioneered by Pregel, cannot readily formulate mining problems, which is designed to produce graph computation problems like PageRank. Existing mining systems like Arabesque and RStream need large amounts of computing and memory resources. In this paper, we present Kaleido, an efficient single machine, out-of-core graph mining system which treats disks as an extension of memory. Kaleido treats intermediate data in graph mining tasks as a tensor and adopts a succinct data structure for the intermediate data. Kaleido utilizes the eigenvalue of the adjacency matrix of a subgraph to efficiently solve the subgraph isomorphism problems with an acceptable constraint that the vertex number of a subgraph is less than 9. Kaleido implements half-memory-half-disk storage for storing large intermediate data, which treats the disk as an extension of the memory. Comparing with two state-of-the-art mining systems, Arabesque and RStream, Kaleido outperforms them by a GeoMean 12.3$\times$ and 40.0$\times$ respectively.


title: Smoothness of Schubert varieties indexed by involutions in finite simply laced types

abstract: We prove that in finite, simply laced types, every Schubert variety indexed by an involution which is not the longest element of some parabolic subgroup is singular.


title: Improving Neural Networks by Adopting Amplifying and Attenuating Neurons

abstract: In the present study, an amplifying neuron and attenuating neuron, which can be easily implemented into neural networks without any significant additional computational effort, are proposed. The activated output value is squared for the amplifying neuron, while the value becomes its reciprocal for the attenuating one. Theoretically, the order of neural networks increases when the amplifying neuron is placed in the hidden layer. The performance assessments of neural networks were conducted to verify that the amplifying and attenuating neurons enhance the performance of neural networks. From the numerical experiments, it was revealed that the neural networks that contain the amplifying and attenuating neurons yield more accurate results, compared to those without them.


title: Exact perturbative results for the Lieb-Liniger and Gaudin-Yang models

abstract: We present a systematic procedure to extract the perturbative series for the ground state energy density in the Lieb-Liniger and Gaudin-Yang models, starting from the Bethe ansatz solution. This makes it possible to calculate explicitly the coefficients of these series and to study their large order behavior. We find that both series diverge factorially and are not Borel summable. In the case of the Gaudin-Yang model, the first Borel singularity is determined by the non-perturbative energy gap. This provides a new perspective on the Cooper instability.

categories: math-ph cond-mat.quant-gas cond-mat.stat-mech math.MP nlin.SI


title: How Many Twists Do Solar Coronal Jets Release?

abstract: Highly twisted magnetic flux ropes, with finite length, are subject to kink instabilities, and could lead to a number of eruptive phenomena in the solar atmosphere, including flares, coronal mass ejections (CMEs) and coronal jets. The kink instability threshold, which is the maximum twist a kink-stable magnetic flux rope could contain, has been widely studied in analytical models and numerical simulations, but still needs to be examined by observations. In this article, we will study twists released by 30 off-limb rotational solar coronal jets, and compare the observational findings with theoretical kink instability thresholds. We have found that: 1) the number of events with more twist release becomes less; 2) each of the studied jets has released a twist number of at least 1.3 turns (a twist angle of 2.6$\pi$); and 3) the size of a jet is highly related to its twist pitch instead of twist number. Our results suggest that the kink instability threshold in the solar atmosphere should not be a constant. The found lower limit of twist number of 1.3 turns should be merely a necessary but not a sufficient condition for a finite solar magnetic flux rope to become kink unstable.


title: The continuous $d$-open homomorphism images and subgroups of $\mathbb{R}$-factorizabile paratopological groups

abstract: In this paper, we prove that: (1) Let $f:G\rightarrow H$ be a continuous $d$-open surjective homomorphism; if $G$ is an $\mathbb{R}$-factorizabile paratopological group, then so is $H$. Peng and Zhang's result \cite[Theorem 1.7]{PZ} is improved. (2) Let $G$ be a regular $\mathbb{R}$-factorizable paratopological group; then every subgroup $H$ of $G$ is $\mathbb{R}$-factorizable if and only if $H$ is $z$-embedded in $G$. This result gives out a positive answer to an question of M.~Sanchis and M.~Tkachenko \cite[Problem 5.3]{ST}.


title: Network Slicing for Vehicular Communication

abstract: Ultra-reliable vehicle-to-everything (V2X) communication is essential for enabling the next generation of intelligent vehicles. V2X communication is a growing area of communication, that connects vehicles to neighboring vehicles (V2V), infrastructure (V2I) and pedestrians (V2P). Network slicing is one of the promising technology for connectivity of the next generation devices, creating several logical networks on a common and programmable physical infrastructure. Network slicing offers an efficient way to satisfy the diverse use case requirements by exploiting the benefits of shared physical infrastructure. In this regard, we propose a network slicing based communication solution for vehicular networks. In this work, we model a highway scenario with vehicles having heterogeneous traffic demands. The autonomous driving slice (safety messages) and the infotainment slice (video stream) are the two logical slices created on a common infrastructure. We formulated a network clustering and slicing algorithm to partition the vehicles into different clusters and allocate slice leaders to each cluster. Slice leaders serve its clustered vehicles with high quality V2V links and forwards safety information with low latency. On the other hand, road side unit provides infotainment service using high quality V2I links. An extensive Long Term Evolution Advanced (LTE-A) system level simulator with enhancement of cellular V2X (C-V2X) standard is used to evaluate the performance of the proposed method, in which it is shown that the proposed network slicing technique achieves low latency and high-reliability communication.


title: Spectral properties of hyperbolic nano-networks with tunable aggregation of simplexes

abstract: Cooperative self-assembly can result in complex nano-networks with new hyperbolic geometry. However, the relation between the hyperbolicity and spectral and dynamical features of these structures remains unclear. Using the model of aggregation of simplexes introduced in I [Sci. Rep., 8:1987, 2018], here we study topological and spectral properties of a large class of self-assembled structures consisting of monodisperse building blocks (cliques of size $n=3,4,5,6$) which self-assemble via sharing the geometrical shapes of a lower order. The size of the shared sub-structure is tunned by varying the chemical affinity $\nu$ such that for significant positive $\nu$ sharing the largest face is the most probable, while for $\nu < 0$, attaching via a single node dominates. Our results reveal that, while the parameter of hyperbolicity remains $\delta_{max}=1$ across the assemblies, their structure and spectral dimension $d_s$ vary with the size of cliques $n$ and the affinity when $\nu \geq 0$. In this range, we findthat $d_s >4$ can be reached for $n\geq 5$ and sufficiently large $\nu$. For the aggregates of triangles and tetrahedra, the spectral dimension remains in the range $d_s\in [2,4)$, as well as for the higher cliques at vanishing affinity. On the other end, for $\nu < 0$, we find $d_s\eqsim 1.57$ independently on $n$. Moreover, the spectral distribution of the normalised Laplacian eigenvalues has a characteristic shape with peaks and a pronounced minimum, representing the hierarchical architecture of the simplicial complexes. These findings show how the structures compatible with complex dynamical properties can be assembled by controlling the higher-order connectivity among the building blocks.


title: Every 2-Segal space is unital

abstract: We prove that every 2-Segal space is unital.


title: Beyond Cookie Monster Amnesia: Real World Persistent Online Tracking

abstract: Browser fingerprinting is a relatively new method of uniquely identifying browsers that can be used to track web users. In some ways it is more privacy-threatening than tracking via cookies, as users have no direct control over it. A number of authors have considered the wide variety of techniques that can be used to fingerprint browsers; however, relatively little information is available on how widespread browser fingerprinting is, and what information is collected to create these fingerprints in the real world. To help address this gap, we crawled the 10,000 most popular websites; this gave insights into the number of websites that are using the technique, which websites are collecting fingerprinting information, and exactly what information is being retrieved. We found that approximately 69\% of websites are, potentially, involved in first-party or third-party browser fingerprinting. We further found that third-party browser fingerprinting, which is potentially more privacy-damaging, appears to be predominant in practice. We also describe \textit{FingerprintAlert}, a freely available browser extension we developed that detects and, optionally, blocks fingerprinting attempts by visited websites.


title: Thermodynamic Evolution of Secluded Vector Dark Matter: Conventional WIMPs and Nonconventional WIMPs

abstract: The secluded dark matter resides within a hidden sector and self-annihilates into lighter mediators which subsequently decay to the Standard Model (SM) particles. Depending on the coupling strength of the mediator to the SM, the hidden sector can be kinetically decoupled from the SM bath when the temperature drops below the mediator's mass, and the dark matter annihilation cross section at freeze-out is thus possible to be boosted above the conventional value of weak interacting massive particles. We present a comprehensive study on thermodynamic evolution of the hidden sector from the first principle, using the simplest secluded vector dark matter model. Motivated by the observation of Galactic center gamma-ray excess, we take two mass sets $\sim{\cal O}(80\, \text{GeV})$ for the dark matter and mediator as examples to illustrate the thermodynamics. The coupled Boltzmann moment equations for number densities and temperature evolutions of the hidden sector are numerically solved. The formalism can be easily extended to a general secluded dark matter model. We show that a long-lived mediator can result in a boosted dark matter annihilation cross section to account for the relic abundance. We further show the parameter space which provides a good fit to the Galactic center excess data and is compatible with the current bounds and LUX-ZEPLIN projected sensitivity. We find that the future observations of dwarf spheroidal galaxies offer promising reach to probe the most relic allowed parameter space relevant to the boosted dark matter annihilation cross section.


title: Singular limits of reaction diffusion equations and geometric flows with discontinuous velocity

abstract: We consider the singular limit of a bistable reaction diffusion equation in the case when the velocity of the traveling wave solution depends on the space variable and converges to a discontinuous function. We show that the family of solutions converges to the stable equilibria off a front propagating with a discontinuous velocity. The convergence is global in time by applying the weak geometric flow uniquely defined through the theory of viscosity solutions and the level-set equation.


title: A Lotka-Volterra competition model with nonlocal diffusion and free boundaries

abstract: This paper is concerned with a nonlocal diffusion Lotka-Volterra type competition model that consisting of a native species and an invasive species in a one-dimensional habitat with free boundaries. We prove the well-posedness of the system and get a spreading-vanishing dichotomy for the invasive species. We also provide some sufficient conditions to ensure spreading success or spreading failure for the case that the invasive species is an inferior competitor or a superior competitor, respectively.


title: Some results on second order controllability conditions

abstract: For a symmetric system, we want to study the problem of crossing an hypersurface in the neighborhood of a given point, when we suppose that all of the available vector fields are tangent to the hypersurface at the point. Classically one requires transversality of at least one Lie bracket generated by two available vector fields. However such condition does not take into account neither the geometry of the hypersurface nor the practical fact that in order to realize the direction of a Lie bracket one needs three switches among the vector fields in a short time. We find a new sufficient condition that requires a symmetric matrix to have a negative eigenvalue. This sufficient condition, which contains either the case of a transversal Lie bracket and the case of a favorable geometry of the hypersurface, is thus weaker than the classical one and easy to check. Moreover it is constructive since it provides the controls for the vector fields to be used and produces a trajectory with at most one switch to reach the goal.


title: Stellar escapers from M67 can reach solar-like Galactic orbits

abstract: We investigate the possibility that the Sun could have been born in M67 by carrying out $N$-body simulations of M67-like clusters in a time-varying Galactic environment, and following the galactic orbits of stars that escape from them. We find that model clusters that occupy similar orbits to M67 today can be divided up into three groups. Hot clusters are born with a high initial $z$-velocity, depleted clusters are born on cold orbits but are destroyed by GMC encounters in the Galactic disc, and scattered clusters are born on cold orbits and survive with more than 1000 stars at an age of 4.6 Gyr. We find that all cluster models in all three cluster groups have stellar escapers that are kinematicaly similar to the Sun. Hot clusters having the lowest such fraction $f_{\odot} = 0.06$ %, whilst depleted clusters have the highest fraction, $f_{\odot} = 6.61$ %. We calculate that clusters that are destroyed in the Galactic disc have a specific frequency of escapers that end up on solar-like orbits that is $\sim$ 2 times that of escapers from clusters that survive their journey.


title: Curvature estimates of spacelike surfaces in de Sitter space

abstract: Local estimates of the maximal curvatures of admissible spacelike hypersurfaces in de Sitter space for k-symmetric curvature functions are obtained. They depend on interior and boundary data.


title: Underwater Stereo using Refraction-free Image Synthesized from Light Field Camera

abstract: There is a strong demand on capturing underwater scenes without distortions caused by refraction. Since a light field camera can capture several light rays at each point of an image plane from various directions, if geometrically correct rays are chosen, it is possible to synthesize a refraction-free image. In this paper, we propose a novel technique to efficiently select such rays to synthesize a refraction-free image from an underwater image captured by a light field camera. In addition, we propose a stereo technique to reconstruct 3D shapes using a pair of our refraction-free images, which are central projection. In the experiment, we captured several underwater scenes by two light field cameras, synthesized refraction free images and applied stereo technique to reconstruct 3D shapes. The results are compared with previous techniques which are based on approximation, showing the strength of our method.


title: Glioma Grade Prediction Using Wavelet Scattering-Based Radiomics

abstract: Glioma grading before surgery is very critical for the prognosis prediction and treatment plan making. We present a novel wavelet scattering-based radiomic method to predict noninvasively and accurately the glioma grades. The method consists of wavelet scattering feature extraction, dimensionality reduction, and glioma grade prediction. The dimensionality reduction was achieved using partial least squares (PLS) regression and the glioma grade prediction using support vector machine (SVM), logistic regression (LR) and random forest (RF). The prediction obtained on multimodal magnetic resonance images of 285 patients with well-labeled intratumoral and peritumoral regions showed that the area under the receiver operating characteristic curve (AUC) of glioma grade prediction was increased up to 0.99 when considering both intratumoral and peritumoral features in multimodal images, which represents an increase of about 13% compared to traditional radiomics. In addition, the features extracted from peritumoral regions further increase the accuracy of glioma grading.


title: Topological Characterization of Consensus in Distributed Systems

abstract: We provide a complete characterization of both uniform and non-uniform deterministic consensus solvability in distributed systems with benign process and communication faults using point-set topology. More specifically, we non-trivially extend the approach introduced by Alpern and Schneider in 1985, by introducing novel fault-aware pseudo-(semi-)metric topologies on the space of infinite executions: the process-view topology, induced by a distance function that relies on the local view of a given process in an execution, and the minimum topology, which is induced by a distance function that focuses on the local view of the process that is the last to distinguish two executions. Consensus is solvable in a given model if and only if the sets of admissible executions leading to different decision values is disconnected in these topologies. We also provide two alternative characterizations, based on the broadcastability of connected components and on the exclusion of certain "fair" and "unfair" limit sequences (which coincide with forever bivalent runs). By applying our approach to a wide range of different applications, we provide a topological explanation of a number of existing algorithms and impossibility results and develop several new ones.


title: A Direct Approach to Robust Deep Learning Using Adversarial Networks

abstract: Deep neural networks have been shown to perform well in many classical machine learning problems, especially in image classification tasks. However, researchers have found that neural networks can be easily fooled, and they are surprisingly sensitive to small perturbations imperceptible to humans. Carefully crafted input images (adversarial examples) can force a well-trained neural network to provide arbitrary outputs. Including adversarial examples during training is a popular defense mechanism against adversarial attacks. In this paper we propose a new defensive mechanism under the generative adversarial network (GAN) framework. We model the adversarial noise using a generative network, trained jointly with a classification discriminative network as a minimax game. We show empirically that our adversarial network approach works well against black box attacks, with performance on par with state-of-art methods such as ensemble adversarial training and adversarial training with projected gradient descent.


title: Escaping a neighborhood along a prescribed sequence in Lie groups and Banach algebras

abstract: It is shown that Jamison sequences, introduced in 2007 by Badea and Grivaux ([C. Badea and S. Grivaux, Unimodular eigenvalues, uniformly distributed sequences and linear dynamics, Adv. Math. 211 (2007), no. 2, 766--793]), arise naturally in the study of topological groups with no small subgroups, of Banach or normed algebra elements whose powers are close to identity along subsequences, and in characterizations of (self-adjoint) positive operators by the accretiveness of some of their powers. The common core of these results is a description of those sequences for which non-identity elements in Lie groups or normed algebras escape an arbitrary small neighborhood of the identity in a number of steps belonging to the given sequence. Several spectral characterizations of Jamison sequences are given and other related results are proved.


title: Proximity Induced Superconductivity in CdTe-HgTe Core-Shell Nanowires

abstract: In this letter we report on proximity superconductivity induced in CdTe-HgTe core-shell nanowires, a quasi-one-dimensional heterostructure of the topological insulator HgTe. We demonstrate a Josephson supercurrent in our nanowires contacted with superconducting Al leads. The observation of a sizable $I_c R_n$ product, a positive excess current and multiple Andreev reflections up to fourth order further indicate a high interface quality of the junctions.


title: Transition from the mean-field to the bosonic Laughlin state in a rotating Bose-Einstein condensate

abstract: We consider a weakly-interacting Bose-Einstein condensate that rotates in either a harmonic, or a weakly-anharmonic trapping potential. Performing numerical calculations, we investigate the behaviour of the gas in these two cases as the angular momentum, or equivalently as the rotational frequency of the trap increases. While in the case of a purely-harmonic potential the gas makes a transition from the mean-field regime to the correlated, "Laughlin", regime, in the case of anharmonic confinement the mean-field approximation remains always valid. We compare our derived results in these two cases, using both the mean-field approximation, as well as the diagonalization of the many-body Hamiltonian considering a small atom number.


title: Non-monotone DR-submodular Maximization: Approximation and Regret Guarantees

abstract: Diminishing-returns (DR) submodular optimization is an important field with many real-world applications in machine learning, economics and communication systems. It captures a subclass of non-convex optimization that provides both practical and theoretical guarantees. In this paper, we study the fundamental problem of maximizing non-monotone DR-submodular functions over down-closed and general convex sets in both offline and online settings. First, we show that for offline maximizing non-monotone DR-submodular functions over a general convex set, the Frank-Wolfe algorithm achieves an approximation guarantee which depends on the convex set. Next, we show that the Stochastic Gradient Ascent algorithm achieves a 1/4-approximation ratio with the regret of $O(1/\sqrt{T})$ for the problem of maximizing non-monotone DR-submodular functions over down-closed convex sets. These are the first approximation guarantees in the corresponding settings. Finally we benchmark these algorithms on problems arising in machine learning domain with the real-world datasets.


title: Variable annuities in a L\'evy-based hybrid model with surrender risk

abstract: This paper proposes a market consistent valuation framework for variable annuities with guaranteed minimum accumulation benefit, death benefit and surrender benefit features. The setup is based on a hybrid model for the financial market and uses time-inhomogeneous L\'evy processes as risk drivers. Further, we allow for dependence between financial and surrender risks. Our model leads to explicit analytical formulas for the quantities of interest, and practical and efficient numerical procedures for the evaluation of these formulas. We illustrate the tractability of this approach by means of a detailed sensitivity analysis of the price of the variable annuity and its components with respect to the model parameters. The results highlight the role played by the surrender behaviour and the importance of its appropriate modelling.


title: Variational Inference with Mixture Model Approximation: Robotic Applications

abstract: We propose a method to approximate the distribution of robot configurations satisfying multiple objectives. Our approach uses variational inference, a popular method in Bayesian computation, which has several advantages over sampling-based techniques. To be able to represent the complex and multimodal distribution of configurations, we propose to use a mixture model as approximate distribution, an approach that has gained popularity recently. In this work, we show the interesting properties of this approach and how it can be applied to a wide range of problems in robotics.


title: CUDA-Self-Organizing feature map based visual sentiment analysis of bank customer complaints for Analytical CRM

abstract: With the widespread use of social media, companies now have access to a wealth of customer feedback data which has valuable applications to Customer Relationship Management (CRM). Analyzing customer grievances data, is paramount as their speedy non-redressal would lead to customer churn resulting in lower profitability. In this paper, we propose a descriptive analytics framework using Self-organizing feature map (SOM), for Visual Sentiment Analysis of customer complaints. The network learns the inherent grouping of the complaints automatically which can then be visualized too using various techniques. Analytical Customer Relationship Management (ACRM) executives can draw useful business insights from the maps and take timely remedial action. We also propose a high-performance version of the algorithm CUDASOM (CUDA based Self Organizing feature Map) implemented using NVIDIA parallel computing platform, CUDA, which speeds up the processing of high-dimensional text data and generates fast results. The efficacy of the proposed model has been demonstrated on the customer complaints data regarding the products and services of four leading Indian banks. CUDASOM achieved an average speed up of 44 times. Our approach can expand research into intelligent grievance redressal system to provide rapid solutions to the complaining customers.


title: On generalized Piterbarg-Berman function

abstract: This paper aims to evaluate the Piterbarg-Berman function given by $$\mathcal{P\!B}_\alpha^h(x, E) = \int_\mathbb{R}e^z\mathbb{P} \left\{{\int_E \mathbb{I}\left(\sqrt2B_\alpha(t) - |t|^\alpha - h(t) - z>0 \right) {\text{d}} t > x} \right\} {\text{d}} z,\quad x\in[0, {mes}(E)],$$ with $h$ a drift function and $B_\alpha$ a fractional Brownian motion (fBm) with Hurst index $\alpha/2\in(0,1]$, i.e., a mean zero Gaussian process with continuous sample paths and covariance function \begin{align*} {\mathrm{Cov}}(B_\alpha(s), B_\alpha(t)) = \frac12 (|s|^\alpha + |t|^\alpha - |s-t|^\alpha). \end{align*} This note specifies its explicit expression for the fBms with $\alpha=1$ and $2$ when the drift function $h(t)=ct^\alpha, c>0$ and $E=\mathbb{R}_+\cup\{0\}$. For the Gaussian distribution $B_2$, we investigate $\mathcal{P\!B}_2^h(x, E)$ with general drift functions $h(t)$ such that $h(t)+t^2$ being convex or concave, and finite interval $E=[a,b]$. Typical examples of $\mathcal{P\!B}_2^h(x, E)$ with $h(t)=c|t|^\lambda-t^2$ and several bounds of $\mathcal{P\!B}_\alpha^h(x, E)$ are discussed. Numerical studies are carried out to illustrate all the findings. Keywords: Piterbarg-Berman function; sojourn time; fractional Brownian motion; drift function


title: FORESAIL-1 cubesat mission to measure radiation belt losses and demonstrate de-orbiting

abstract: Today, the near-Earth space is facing a paradigm change as the number of new spacecraft is literally sky-rocketing. Increasing numbers of small satellites threaten the sustainable use of space, as without removal, space debris will eventually make certain critical orbits unusable. A central factor affecting small spacecraft health and leading to debris is the radiation environment, which is unpredictable due to an incomplete understanding of the near-Earth radiation environment itself and its variability driven by the solar wind and outer magnetosphere. This paper presents the FORESAIL-1 nanosatellite mission, having two scientific and one technological objectives. The first scientific objective is to measure the energy and flux of energetic particle loss to the atmosphere with a representative energy and pitch angle resolution over a wide range of magnetic local times. To pave the way to novel model - in situ data comparisons, we also show preliminary results on precipitating electron fluxes obtained with the new global hybrid-Vlasov simulation Vlasiator. The second scientific objective of the FORESAIL-1 mission is to measure energetic neutral atoms (ENAs) of solar origin. The solar ENA flux has the potential to contribute importantly to the knowledge of solar eruption energy budget estimations. The technological objective is to demonstrate a satellite de-orbiting technology, and for the first time, make an orbit manoeuvre with a propellantless nanosatellite. FORESAIL-1 will demonstrate the potential for nanosatellites to make important scientific contributions as well as promote the sustainable utilisation of space by using a cost-efficient de-orbiting technology.


title: Classification of uniformly distributed measures of dimension $1$ in general codimension

abstract: Starting with the work of Preiss on the geometry of measures, the classification of uniform measures in $\mathbb R^d$ has remained open, except for $d=1$ and for compactly supported measures in $d=2$, and for codimension $1$. In this paper we study $1$-dimensional measures in $\mathbb R^d$ for all $d$ and classify uniform measures with connected $1$-dimensional support, which turn out to be homogeneous measures. We provide as well a partial classification of general uniform measures of dimension $1$ in the absence of the connected support hypothesis.


title: One point functions of fermionic operators in the Super Sine Gordon model

abstract: We describe the integrable structure of the space of local operators for the supersymmetric sine-Gordon model. Namely, we conjecture that this space is created by acting on the primary fields by fermions and a Kac-Moody current. We proceed with the computation of the one-point functions. In the UV limit they are shown to agree with the alternative results obtained by solving the reflection relations.


title: Constraints on the energy spectrum of non-Hermitian models in open environments

abstract: Motivated by recent progress on non-Hermitian topological band theories, we study the energy spectrum of a generic two-band non-Hermitian Hamiltonian. We prove rigorously that the complex energy spectrum of such a non-Hermitian Hamiltonian is restricted to the lower complex plane, provided that the parameters of the Hamiltonian satisfy a certain constraint. Furthermore, we consider one specific scenario where such a non-Hermitian Hamiltonian can arise, namely a two-band model coupled to an environment, and show that this aforementioned constraint orignates from very general physical considerations. Our findings are relevant in the definition of the energy gap in non-Hermitian topological band theories and also have implications on simulations of such theories using quantum systems.


title: Diffusion and Auction on Graphs

abstract: Auction is the common paradigm for resource allocation which is a fundamental problem in human society. Existing research indicates that the two primary objectives, the seller's revenue and the allocation efficiency, are generally conflicting in auction design. For the first time, we expand the domain of the classic auction to a social graph and formally identify a new class of auction mechanisms on graphs. All mechanisms in this class are incentive-compatible and also promote all buyers to diffuse the auction information to others, whereby both the seller's revenue and the allocation efficiency are significantly improved comparing with the Vickrey auction. It is found that the recently proposed information diffusion mechanism is an extreme case with the lowest revenue in this new class. Our work could potentially inspire a new perspective for the efficient and optimal auction design and could be applied into the prevalent online social and economic networks.


title: The continuous-time lace expansion

abstract: We derive a continuous-time lace expansion for a broad class of self-interacting continuous-time random walks. Our expansion applies when the self-interaction is a sufficiently nice function of the local time of a continuous-time random walk. As a special case we obtain a continuous-time lace expansion for a class of spin systems that admit continuous-time random walk representations. We apply our lace expansion to the $n$-component $g|\varphi|^4$ model on $\mathbb{Z}^{d}$ when $n=1,2$, and prove that the critical Green's function $G_{\nu_{c}}(x)$ is asymptotically a multiple of $|x|^{2-d}$ when $d\geq 5$ at weak coupling. As another application of our method we establish the analogous result for the lattice Edwards model at weak coupling.


title: Gold nanorod induced enhanced efficiency in luminescent solar concentrator device

abstract: We have observed significant changes in the edge emission of a luminescent solar concentrator device (LSC) consist of core shell Cd1-xZnxSe1-ySy quantum dots (QDs), and a monolayer of gold nanorods (GNRs) on the surface of LSC device. The observed changes show a nonlinear growth when another LSC of same thickness casted on the top of GNRs layer. The mechanism of plasmon-enhanced PL is mainly associated with the surface plasmon excitation which were found to be imprinted into the corresponding PL characteristics collected from the edge and back side of LSCs. The findings point to so far not recognized any application potentials of plasmonic LSC device.


title: Control of coherence resonance by self-induced stochastic resonance in a multiplex neural network

abstract: We consider a two-layer multiplex network of diffusively coupled FitzHugh-Nagumo (FHN) neurons in the excitable regime. It is shown, in contrast to SISR in a single isolated FHN neuron, that the maximum noise amplitude at which SISR occurs in the network of coupled FHN neurons is controllable, especially in the regime of strong coupling forces and long time delays. In order to use SISR in the first layer of the multiplex network to control CR in the second layer, we first choose the control parameters of the second layer in isolation such that in one case CR is poor and in another case, non-existent. It is then shown that a pronounced SISR cannot only significantly improve a poor CR, but can also induce a pronounced CR, which was non-existent in the isolated second layer. In contrast to strong intra-layer coupling forces, strong inter-layer coupling forces are found to enhance CR. While long inter-layer time delays just as long intra-layer time delays, deteriorates CR. Most importantly, we find that in a strong inter-layer coupling regime, SISR in the first layer performs better than CR in enhancing CR in the second layer. But in a weak inter-layer coupling regime, CR in the first layer performs better than SISR in enhancing CR in the second layer. Our results could find novel applications in noisy neural network dynamics and engineering.


title: Unraveling the Veil of Subspace RIP Through Near-Isometry on Subspaces

abstract: Dimensionality reduction is a popular approach to tackle high-dimensional data with low-dimensional nature. Subspace Restricted Isometry Property, a newly-proposed concept, has proved to be a useful tool in analyzing the effect of dimensionality reduction algorithms on subspaces. In this paper, we provide a characterization of subspace Restricted Isometry Property, asserting that matrices which act as a near-isometry on low-dimensional subspaces possess subspace Restricted Isometry Property. This points out a unified approach to discuss subspace Restricted Isometry Property. Its power is further demonstrated by the possibility to prove with this result the subspace RIP for a large variety of random matrices encountered in theory and practice, including subgaussian matrices, partial Fourier matrices, partial Hadamard matrices, partial circulant/Toeplitz matrices, matrices with independent strongly regular rows (for instance, matrices with independent entries having uniformly bounded $4+\epsilon$ moments), and log-concave ensembles. Thus our result could extend the applicability of random projections in subspace-based machine learning algorithms including subspace clustering and allow for the application of some useful random matrices which are easier to implement on hardware or are more efficient to compute.


title: On a Question of Jaegers

abstract: We show that there exists a positive arithmetical formula $\psi(x,R)$, where $x \in \omega$, $R \subseteq \omega$, with no hyperarithmetical fixed point. This answers a question of Gerhard J\"{a}ger. As corollaries we obtain results on the proof-theoretic strength of the Kripke-Platek set theory; the fixed points of monotone functions in chain-complete partial orders; the non-Borel uniformization of Borel sets; and the hyperdegrees of fixed points of positive formulae. Further we prove a Suslin-Kleene type result for the specific encoding of the hyperarithmetical sets that we are using.


title: Hypothetical answers to continuous queries over data streams

abstract: Continuous queries over data streams may suffer from blocking operations and/or unbound wait, which may delay answers until some relevant input arrives through the data stream. These delays may turn answers, when they arrive, obsolete to users who sometimes have to make decisions with no help whatsoever. Therefore, it can be useful to provide hypothetical answers - "given the current information, it is possible that X will become true at time t" - instead of no information at all. In this paper we present a semantics for queries and corresponding answers that covers such hypothetical answers, together with an online algorithm for updating the set of facts that are consistent with the currently available information.


title: Mitigation of H.264 and H.265 Video Compression for Reliable PRNU Estimation

abstract: The photo-response non-uniformity (PRNU) is a distinctive image sensor characteristic, and an imaging device inadvertently introduces its sensor's PRNU into all media it captures. Therefore, the PRNU can be regarded as a camera fingerprint and used for source attribution. The imaging pipeline in a camera, however, involves various processing steps that are detrimental to PRNU estimation. In the context of photographic images, these challenges are successfully addressed and the method for estimating a sensor's PRNU pattern is well established. However, various additional challenges related to generation of videos remain largely untackled. With this perspective, this work introduces methods to mitigate disruptive effects of widely deployed H.264 and H.265 video compression standards on PRNU estimation. Our approach involves an intervention in the decoding process to eliminate a filtering procedure applied at the decoder to reduce blockiness. It also utilizes decoding parameters to develop a weighting scheme and adjust the contribution of video frames at the macroblock level to PRNU estimation process. Results obtained on videos captured by 28 cameras show that our approach increases the PRNU matching metric up to more than five times over the conventional estimation method tailored for photos.


title: Improving the muon track reconstruction of IceCube and IceCube-Gen2

abstract: IceCube is a cubic-kilometer Cherenkov telescope operating at the South Pole. Its goal is to detect astrophysical neutrinos and identify their sources. High-energy muon neutrinos are identified through the secondary muons produced via charge current interactions with the ice. The present best-performing directional reconstruction of the muon track is a maximum likelihood method which uses the arrival time distribution of Cherenkov photons registered by the experiment's photomultipliers. Known systematic shortcomings of this method are to assume continuous energy loss along the muon track, and to neglect photomultiplier-related effects such as prepulses and afterpulses. This work discusses an improvement of about 20% to the muon angular resolution of IceCube and its planned extension, IceCube-Gen2. In the reconstruction scheme presented here, the expected arrival time distribution is now parametrized by a predetermined stochastic muon energy loss pattern. The inclusion of pre- and afterpulses modelling in the PDF has also been studied, but no noticeable improvement was found, in particular in comparison to the modification of the energy loss profile.


title: Gerstenhaber brackets for skew group algebras in positive characteristic

abstract: The deformation theory of an algebra is controlled by the Gerstenhaber bracket, a Lie bracket on Hochschild cohomology. We develop techniques for evaluating Gerstenhaber brackets of semidirect product algebras recording actions of finite groups over fields of positive characteristic. The Hochschild cohomology and Gerstenhaber bracket of these skew group algebras can be complicated when the characteristic of the underlying field divides the group order. We show how to investigate Gerstenhaber brackets using twisted product resolutions, which are often smaller and more convenient than the cumbersome bar resolution typically used. These resolutions provide a concrete description of the Gerstenhaber bracket suitable for exploring questions in deformation theory. We demonstrate with the prototypical example of a graded Hecke algebra (rational Cherednik algebra) in positive characteristic.


title: Learning the Representations of Moist Convection with Convolutional Neural Networks

abstract: The representations of atmospheric moist convection in general circulation models have been one of the most challenging tasks due to its complexity in physical processes, and the interaction between processes under different time/spatial scales. This study proposes a new method to predict the effects of moist convection on the environment using convolutional neural networks. With the help of considering the gradient of physical fields between adjacent grids in the grey zone resolution, the effects of moist convection predicted by the convolutional neural networks are more realistic compared to the effects predicted by other machine learning models. The result also suggests that the method proposed in this study has the potential to replace the conventional cumulus parameterization in the general circulation models.


title: Efficient variational approach to dynamics of a spatially extended bosonic Kondo model

abstract: We develop an efficient variational approach to studying dynamics of a localized quantum spin coupled to a bath of mobile spinful bosons. We use parity symmetry to decouple the impurity spin from the environment via a canonical transformation and reduce the problem to a model of the interacting bosonic bath. We describe coherent time evolution of the latter using bosonic Gaussian states as a variational ansatz. We provide full analytical expressions for equations describing variational time evolution that can be applied to study in- and out-of-equilibrium phenomena in a wide class of quantum impurity problems. In the accompanying paper [Y. Ashida {\it et al.}, Phys. Rev. Lett. 123, 183001 (2019)], we present a concrete application of this general formalism to the analysis of the Rydberg Central Spin Model, in which the spin-1/2 Rydberg impurity undergoes spin-changing collisions in a dense cloud of two-component ultracold bosons. To illustrate new features arising from orbital motion of the bath atoms, we compare our results to the Monte Carlo study of the model with spatially localized bosons in the bath, in which random positions of the atoms give rise to random couplings of the standard central spin model.


title: A Comparative Study of Analog/Digital Self-Interference Cancellation for Full Duplex Radios

abstract: Self-interference (SI) is the main obstacle to full-duplex radios. To overcome the SI, researchers have proposed several analog and digital domain self-interference cancellation (SIC) techniques. How well the digital cancellation works depends on the results of analog cancellation. Therefore, to analyze overall SIC performance, one should do so in an integrated manner. In this paper, we build a simulator that can analyze the performance of analog and digital SIC techniques. Through this simulator, we can analyze the overall SIC performance within various system parameters such as the resolution of an analog-to-digital converter (ADC) and/or nonlinearity of a power amplifier (PA). With our simulator, we expect that configurations and tuning algorithms of an active analog canceller can be optimized before real hardware implementation.


title: Von Neumann Regular $\mathcal{C}^{\infty}-$Rings and Applications

abstract: In this paper we present the notion of a von Neumann regular $\mathcal{C}^{\infty}-$ring, we prove some results about them and we describe some of their properties. We prove, using two different methods, that the category of von Neumann regular $\mathcal{C}^{\infty}-$rings is a reflective subcategory of $\mathcal{C}^{\infty}{\rm \bf Rng}$. We prove that every homomorphism between Boolean algebras can be represented by a $\mathcal{C}^{\infty}-$ring homomorphism between von Neumann regular $\mathcal{C}^{\infty}-$rings.


title: Automatic Generation of Level Maps with the Do What's Possible Representation

abstract: Automatic generation of level maps is a popular form of automatic content generation. In this study, a recently developed technique employing the {\em do what's possible} representation is used to create open-ended level maps. Generation of the map can continue indefinitely, yielding a highly scalable representation. A parameter study is performed to find good parameters for the evolutionary algorithm used to locate high-quality map generators. Variations on the technique are presented, demonstrating its versatility, and an algorithmic variant is given that both improves performance and changes the character of maps located. The ability of the map to adapt to different regions where the map is permitted to occupy space are also tested.