title: Black holes and naked singularities from Anton-Schmidt's fluids

abstract: Adopting the Tolman-Oppenheimer-Volkoff formalism, we propose a new analytical solution for a static and spherically symmetric black hole where the cosmological constant is generalized to a non-isotropic Anton-Schmidt fluid acting as a unified dark energy - dark matter source. Our novel result can describe a black hole in energetic equilibrium with the surrounding universe. We thus investigate the interplay between the mass of the black hole and the parameters of the Anton-Schmidt equation of state, and physically interpret the solution as a family of space-time metrics that may describe both Schwarzschild-de Sitter black holes and naked singularities. The result opens a new window for further constraining the physical properties of the cosmic fluid using the Event Horizon Telescope results, which complement the analysis relying on classical cosmological observations.


title: Supercritical equivariant biharmonic maps from $\mathbf{R}^5$ into $S^5$

abstract: We study supercritical $O(d)$-equivariant biharmonic maps with a focus on $d = 5$, where $d$ is the dimension of the domain. We give a characterisation of non-trivial equivariant biharmonic maps from $\mathbf{R}^5$ into $S^5$ as heteroclinic orbits of an associated dynamical system. Moreover, we prove the existence of such non-trivial equivariant biharmonic maps. Finally, in stark contrast to the harmonic map analogue, we show the existence of an equivariant biharmonic map from $B^5(0, 1)$ into $S^5$ that winds around $S^5$ infinitely many times.


title: The chromatic filtration of the Burnside category

abstract: The Segal map connects the Burnside category of finite groups to the stable homotopy category of their classifying spaces. The chromatic filtrations on the latter can be used to define filtrations on the former. We prove a related conjecture of Ravenel's in some cases, and present counterexamples to the general statement.


title: The Brauer group of Burnside rings

abstract: The Brauer group of a commutative ring is an important invariant of a commutative ring, a common journeyman to the group of units and the Picard group. Burnside rings of finite groups play an important role in representation theory, and their groups of units and Picard groups have been studied extensively. In this short note, we completely determine the Brauer groups of Burnside rings: they vanish.


title: K3 spectra

abstract: The notion of a K3 spectrum is introduced in analogy with that of an elliptic spectrum and it is shown that there are "enough" K3 spectra in the sense that for all K3 surfaces X in a suitable moduli stack of K3 surfaces there is a K3 spectrum whose underlying ring is isomorphic to the local ring of the moduli stack in X with respect to the \'etale topology, and similarly for the ring of formal functions on the formal deformation space.


title: A stable approach to the equivariant Hopf theorem

abstract: Let G be a finite group. For semi-free G-manifolds which are oriented in the sense of Waner, the homotopy classes of G-equivariant maps into a G-sphere are described in terms of their degrees, and the degrees occurring are characterized in terms of congruences. This is first shown to be a stable problem and then solved using methods of equivariant stable homotopy theory with respect to a semi-free G-universe.


title: Learning Flat Latent Manifolds with VAEs

abstract: Measuring the similarity between data points often requires domain knowledge, which can in parts be compensated by relying on unsupervised methods such as latent-variable models, where similarity/distance is estimated in a more compact latent space. Prevalent is the use of the Euclidean metric, which has the drawback of ignoring information about similarity of data stored in the decoder, as captured by the framework of Riemannian geometry. We propose an extension to the framework of variational auto-encoders allows learning flat latent manifolds, where the Euclidean metric is a proxy for the similarity between data points. This is achieved by defining the latent space as a Riemannian manifold and by regularising the metric tensor to be a scaled identity matrix. Additionally, we replace the compact prior typically used in variational auto-encoders with a recently presented, more expressive hierarchical one---and formulate the learning problem as a constrained optimisation problem. We evaluate our method on a range of data-sets, including a video-tracking benchmark, where the performance of our unsupervised approach nears that of state-of-the-art supervised approaches, while retaining the computational efficiency of straight-line-based approaches.


title: Degenerate Bianchi transformations for three-dimensional pseudo-spherical submanifolds in $\mathbb R^5$

abstract: Three-dimensional pseudo-spherical submanifolds in $\mathbb R^5$, whose Bianchi transformations are degenerate of rank 2, are studied. A complete description of such submanifolds is obtained in the case where the Bianchi transformations are holonomically degenerate.


title: Information scrambling in a collision model

abstract: The information scrambling in many-body systems is closely related to quantum chaotic dynamics, complexity, and gravity. Here we propose a collision model to simulate the information dynamics in an all-optical system. In our model the information is initially localized in the memory and evolves under the combined actions of many-body interactions and dissipation. We find that the information is scrambled if the memory and environmental particles are alternatively squeezed along two directions which are perpendicular to each other. Moreover, the disorder and imperfection of the interaction strength tend to prevent the information flow away to the environment and lead to the information scrambling in the memory. We analyze the spatial distributions of the correlations in the memory. Our proposal is possible to realize with current experimental techniques.


title: Skyrmionic chains and lattices in $s+id$ superconductors

abstract: We report characteristic vortex configurations in $s+id$ superconductors with time reversal symmetry breaking, exposed to magnetic field. A vortex in the $s+id$ state tends to have an opposite phase winding between $s-$ and $d-$wave condensates. We find that this peculiar feature together with the competition between $s-$ and $d-$wave symmetry results in three distinct classes of vortical configurations. When either $s-$ or $d-$ condensate absolutely dominates, vortices form a conventional lattice. However, when one condensate is relatively dominant, vortices organize in chains that exhibit skyrmionic character, separating the chiral components of the $s \pm id$ order parameter into domains within and outside the chain. Such skyrmionic chains are found stable even at high magnetic field. When $s-$ and $d-$ condensates have a comparable strength, vortices split cores in two chiral components to form full-fledged skyrmions, i.e. coreless topological structures with an integer topological charge, organized in a lattice. We provide characteristic magnetic field distributions of all states, enabling their identification in e.g. scanning Hall probe and scanning SQUID experiments. These unique vortex states are relevant for high-T$_c$ cuprate and iron-based superconductors, where the relative strength of competing pairing symmetries is expected to be tuned by temperature and/or doping level, and can help distinguish $s+is$ and $s+id$ superconducting phases.


title: Cahn-Hilliard Navier-Stokes Simulations for Marine Free-Surface Flows

abstract: The paper is devoted to the simulation of maritime two-phase flows of air and water. Emphasis is put on an extension of the classical Volume-of-Fluid (VoF) method by a diffusive contribution derived from a Cahn-Hilliard (CH) model and its benefits for simulating immiscible, incompressible two-phase flows. Such flows are predominantly simulated with implicit VoF schemes, which mostly employ heuristic downwind-biased approximations for the concentration transport to mimic a sharp interface. This strategy introduces a severe time step restriction and requires pseudo time-stepping of steady flows. Our overall goal is a sound description of the free-surface region that alleviates artificial time-step restrictions, facilitates an efficient and robust numerical framework and inherently includes surface tension effects when needed. The approach is verified for an analytical Couette-flow example and the bubble formation under the influence of surface tension forces. 2D Validation examples are concerned with laminar standing waves reaching from gravity to capillary scale as well as a submerged hydrofoil flow. The final application refers to the 3D flow around an experimentally investigated container vessel at fixed floatation for Re=1.4E+07 and Fn=0.26. Results are compared with data obtained from VoF approaches, supplemented by analytical solutions and measurements. The study indicates the superior efficiency, resharpening capability and wider predictive realm of the CH-based extension for free surface flows with a confined spatial range of interface Courant numbers.

categories: physics.comp-ph cs.NA math.NA physics.flu-dyn


title: Guiding the guiders: Foundations of a market-driven theory of disclosure

abstract: A foundational approach is developed for a mathematical theory of managerial disclosure in relation to asset pricing; this involves both the earnings guidance disclosed by firm management and market `trackers' pricing the firm's exposure to quotable risks.


title: Toward Efficient Quantum Key Distribution Reconciliation

abstract: In this paper, we propose how to construct a reconciliation method for the BB84 Quantum Key Distribution (QKD) protocol. Theoretically, it is unconditionally secure because it is based on the quantum laws of physics, rather than the assumed computational complexity of mathematical problems. BB84 protocol performances can be reduced by various errors and information leakages such as limited intrinsic efficiency of the protocol, imperfect devices and eavesdropping. The proposed reconciliation method allowed to weed out these errors by using Turbo codes. Since their high error correction capability implies getting low errors, this method has high performance especially when compared to the last method presented in the literature based on Low- Density Parity Check codes (LDPC). In particular, we demonstrate that our method leads to a significant improvement of the protocol security and of the Bit Error Rate (BER) even with great eavesdropping capability.


title: Energy Efficiency Optimization for Downlink Massive MIMO With Statistical CSIT

abstract: We investigate energy efficiency (EE) optimization for single-cell massive multiple-input multiple-output (MIMO) downlink transmission with only statistical channel state information (CSI) available at the base station. We first show that beam domain transmission is favorable for energy efficiency in the massive MIMO downlink, by deriving a closed-form solution for the eigenvectors of the optimal transmit covariance matrix. With this conclusion, the EE optimization problem is reduced to a real-valued power allocation problem, which is much easier to tackle than the original large-dimensional complex matrix-valued precoding design problem. We further propose an iterative water-filling-structured beam domain power allocation algorithm with low complexity and guaranteed convergence, exploiting the techniques from sequential optimization, fractional optimization, and random matrix theory. Numerical results demonstrate the near-optimal performance of our proposed statistical CSI aided EE optimization approach.


title: Performance analysis of Volna-OP2 -- massively parallel code for tsunami modelling

abstract: The software package Volna-OP2 is a robust and efficient code capable of simulating the complete life cycle of a tsunami whilst harnessing the latest High Performance Computing (HPC) architectures. In this paper, a comprehensive error analysis and scalability study of the GPU version of the code is presented. A novel decomposition of the numerical errors into the dispersion and dissipation components is explored. Most tsunami codes exhibit amplitude smearing and/or phase lagging/leading, so the decomposition shown here is a new approach and novel tool for explaining these occurrences. It is the first time that the errors of a tsunami code have been assessed in this manner. To date, Volna-OP2 has been widely used by the tsunami modelling community. In particular its computational efficiency has allowed various sensitivity analyses and uncertainty quantification studies. Due to the number of simulations required, there is always a trade-off between accuracy and runtime when carrying out these statistical studies. The analysis presented in this paper will guide the user towards an acceptable level of accuracy within a given runtime.

categories: physics.comp-ph cs.NA math.NA physics.ao-ph


title: Three-flavour oscillations with accelerator neutrino beams

abstract: The three-flavor neutrino oscillation paradigm is well established in particle physics thanks to the crucial contribution of accelerator neutrino beam experiments. In this paper we review the most important contributions of these experiments to the physics of massive neutrinos after the discovery of $\theta_{13}$ and future perspectives in such a lively field of research. Special emphasis is given to the technical challenges of high power beams and the oscillation results of T2K, OPERA, ICARUS and NO$\nu$A. We discuss in details the role of accelerator neutrino experiments in the precision era of neutrino physics in view of DUNE and Hyper-Kamiokande, the programme of systematic uncertainty reduction and the development of new beam facilities.

categories: hep-ex hep-ph physics.acc-ph physics.ins-det


title: Effective dynamics for a spin-1/2 particle constrained to a space curve in an electric and magnetic field

abstract: We consider the dynamics of a spin-1/2 particle constrained to move in an arbitrary space curve with an external electric and magnetic field applied. With the aid of gauge theory, we successfully decouple the tangential and normal dynamics and derive the effective Hamiltonian. A new type of quantum potential called SU(2) Zeeman interaction appears, which is induced by the electric field and couples spin and intrinsic orbital angular momentum. Based on the Hamiltonian, we discuss the spin precession for zero intrinsic orbital angular momentum case and the energy splitting caused by the SU(2) Zeeman interaction for a helix as examples, showing the combined effect of geometry and external field. The new interaction may bring new approaches to manipulate quantum states in spintronics.


title: Time-dependent relaxed magnetohydrodynamics -- inclusion of cross helicity constraint using phase-space action

abstract: A new formulation of time-dependent Relaxed Magnetohydrodynamics (RxMHD) is derived variationally from Hamilton's Action Principle using microscopic conservation of mass, and macroscopic conservation of total magnetic helicity, cross helicity and entropy, as the only constraints on variations of density, pressure, fluid velocity, and magnetic vector potential over a relaxation domain. A novel phase-space version of the MHD Lagrangian is derived, which gives Euler--Lagrange equations consistent with previous work on exact ideal and relaxed MHD equilibria with flow, but generalizes the relaxation concept from statics to dynamics. The application of the new dynamical formalism is illustrated for short-wavelength linear waves, and the interface connection conditions for Multiregion Relaxed MHD (MRxMHD) are derived. The issue of whether $\vec{E} + \vec{u}\times\vec{B} = 0$ should be a constraint is discussed.

categories: physics.plasm-ph math-ph math.MP nlin.CD


title: Lensed or not lensed: Determining lensing magnifications for binary neutron star mergers from a single detection

abstract: Advanced LIGO and Advanced Virgo could observe the first lensed gravitational wave sources in the coming years, while the future Einstein Telescope could observe hundreds of lensed events. It is, therefore, crucial to develop methodologies to distinguish between lensed from unlensed gravitational-wave observations. A lensed signal not identified as such will lead to biases during the interpretation of the source. In particular, sources will appear to have intrinsically higher masses. No robust method currently exists to distinguish between the magnification bias caused by lensing and intrinsically high-mass sources. In this work, we show how to recognize lensed and unlensed binary neutron star systems through the measurement of their tidal effects for highly magnified sources as a proof-of-principle. The proposed method could be used to identify lensed binary neutron stars, which are the chief candidate for lensing cosmography studies. We apply our method on GW190425, finding no evidence in favor of lensing, mainly due to the poor measurement of the event's tidal effects. However, we expect that future detections with better tidal measurements can yield better constraints.


title: Distributed and Adaptive Fast Multipole Method In Three Dimensions

abstract: We develop a general distributed implementation of an adaptive fast multipole method in three space dimensions. We rely on a balanced type of adaptive space discretisation which supports a highly transparent and fully distributed implementation. A complexity analysis indicates favorable scaling properties and numerical experiments on up to 512 cores and 1 billion source points verify them. The parameters controlling the algorithm are subject to in-depth experiments and the performance response to the input parameters implies that the overall implementation is well-suited to automated tuning.


title: Unveiling the research landscape of Sustainable Development Goals and their inclusion in Higher Education Institutions and Research Centers: major trends in 2000-2017

abstract: Sustainable Development Goals are the blueprint to achieve a better and more sustainable future for society. Its legacy is linked with the Millennium Development Goals, set up in 2000. A bibliometric analysis was conducted to 1) measure "core" research output from 2000-2017, with the aim to map the global research of sustainability goals, 2) describe thematic specialization based on keywords co-occurrence analysis and strongest citation burst, 3) present a methodology to classify scientific output (based on an ad-hoc glossary) and assess SDGs interconnections. Sustainability goals publications (core+expand based on direct citations) were identified in-house CWTS Web of Science by using search terms in titles, abstracts, and keywords. 25,299 bibliographic records were analyzed, from which 21,653 (85.59%) are from HEIs and research centres (RC). The purpose of this paper is to analyze the role of these organizations in sustainability research. The findings reveal the increasing participation of these organizations in this research (660 institutions in 2000-2005 to 1744 institutions involved in 2012-2017). In terms of specialization, some institutions present a higher production and specialization on the topic (e.g., London School of Hygiene & Tropical Medicine and World Health Organization); however, others present less production but higher specialization (e.g., Stockholm Environment Institute). Regarding the topics, health (especially in developing countries), women and socio-economic aspects are the most prominent ones. Moreover, it is observed the interlinked nature of SDGs between some SDGs in research output (e.g., SDG11 and SDG3). This study provides important orientation for HEIs and RCs in terms of Research, Development and Innovation (R&D+i) to respond to major societal challenges and could be useful for the policymakers in order to promote the research agenda on this topic.


title: CROFT: A scalable three-dimensional parallel Fast Fourier Transform (FFT) implementation for High Performance Clusters

abstract: The FFT of three-dimensional (3D) input data is an important computational kernel of numerical simulations and is widely used in High Performance Computing (HPC) codes running on a large number of processors. Performance of many scientific applications such as Molecular Dynamic simulations depends on the underlying 3D parallel FFT library being used. In this paper, we present C-DACs three-dimensional Fast Fourier Transform (CROFT) library which implements three-dimensional parallel FFT using pencil decomposition. To exploit the hyperthreading capabilities of processor cores without affecting performance, CROFT is designed to use multithreading along with MPI. CROFT implementation has an innovative feature of overlapping compute and memory-I/O with MPI communication using multithreading. As opposed to other 3D FFT implementations, CROFT uses only two threads where one thread is dedicated for communication so that it can be effectively overlapped with computations. Thus, depending on the number of processes used, CROFT achieves performance improvement of about 51% to 42% as compared to FFTW3 library.


title: Towards Reliable UAV Swarm Communication in D2D-Enhanced Cellular Network

abstract: In the existing cellular networks, it remains a challenging problem to communicate with and control an unmanned aerial vehicle (UAV) swarm with both high reliability and low latency. Due to the UAV swarm's high working altitude and strong ground-to-air channels, it is generally exposed to multiple ground base stations (GBSs), while the GBSs that are serving ground users (occupied GBSs) can generate strong interference to the UAV swarm. To tackle this issue, we propose a novel two-phase transmission protocol by exploiting cellular plus device-to-device (D2D) communication for the UAV swarm. In Phase I, one swarm head is chosen for ground-to-air channel estimation, and all the GBSs that are not serving ground users (available GBSs) transmit a common control message to the UAV swarm simultaneously, using the same cellular frequency band, to combat the strong interference from occupied GBSs. In Phase II, all the UAVs that have decoded the common control message in Phase I further relay it to the other UAVs in the swarm via D2D communication, by exploiting the less interfered D2D frequency band and the proximity among UAVs. In this paper, we aim to characterize the reliability performance of the above two-phase protocol, i.e., the expected percentage of UAVs in the swarm that can decode the common control message, which is a non-trivial problem due to the complex system setup and the intricate coupling between the two phases. Nevertheless, we manage to obtain an approximated expression of the reliability performance of interest, under reasonable assumptions and with the aid of the Pearson distributions. Numerical results validate the accuracy of our analytical results and show the effectiveness of our protocol over other benchmark protocols. We also study the effect of key system parameters on the reliability performance, to reveal useful insights on the practical system design.


title: Asymptotics for M-type smoothing splines with non-smooth objective functions

abstract: M-type smoothing splines are a broad class of spline estimators that include the popular least-squares smoothing spline but also spline estimators that are less susceptible to outlying observations and model-misspecification. However, available asymptotic theory only covers smoothing spline estimators based on smooth objective functions and consequently leaves out frequently used resistant estimators such as quantile and Huber-type smoothing splines. We provide a general treatment in this paper and, assuming only the convexity of the objective function, show that the least-squares (super-)convergence rates can be extended to M-type estimators whose asymptotic properties have not been hitherto described. We further show that auxiliary scale estimates may be handled under significantly weaker assumptions than those found in the literature and we establish optimal rates of convergence for the derivatives, which have not been obtained outside the least-squares framework. A simulation study and a real-data example illustrate the competitive performance of non-smooth M-type splines in relation to the least-squares spline on regular data and their superior performance on data that contain anomalies.


title: Quasi-Invariance of Gaussian Measures Transported by the Cubic NLS with Third-Order Dispersion on $\mathbf{T}$

abstract: We consider the Nonlinear Schr\"odinger (NLS) equation and prove that the Gaussian measure with covariance $(1-\partial_x^2)^{-\alpha}$ on $L^2(\mathbf T)$ is quasi-invariant for the associated flow for $\alpha>1/2$. This is sharp and improves a previous result obtained in \cite{OTT} where the values $\alpha>3/4$ were obtained. Also, our method is completely different and simpler, it is based on an explicit formula for the Radon-Nikodym derivative. We obtain an explicit formula for this latter in the same spirit as in \cite{Cruz1} and \cite{Cruz2}. The arguments are general and can be used to other Hamiltonian equations.


title: Weighted Sum-Rate Maximization for Multi-IRS Aided Cooperative Transmission

abstract: This paper investigates multiple intelligent reflecting surfaces (IRSs) aided wireless network, where the IRSs are deployed to cooperatively assist communications between a multi-antenna base station (BS) and multiple single-antenna cell-edge users. We aim at maximizing the weighted sum rate of all the cell-edge users by jointly optimizing the BS's transmit beamforming and IRS's phase shifts. Especially, the beamforming is optimally solved by the Lagrangian method, and the phase shifts are obtained based on the Riemannian manifold conjugate gradient (RMCG) method. Numerical results show that a significant throughput is improved with aid of multiple IRSs.


title: Weak Proregularity, Derived Completion, Adic Flatness, and Prisms

abstract: This paper has two parts. In the first part we recall the important role that weak proregularity of an ideal in a commutative ring has in derived completion and in adic flatness. We also introduce the new concepts of idealistic and sequential derived completion, and prove a few results about them, including the fact that these two concepts agree iff the ideal is weakly proregular. In the second part we study the local nature of weak proregularity, and its behavior w.r.t. ring quotients. These results allow us to prove that weak proregularity occurs in the context of bounded prisms, in the sense of Bhatt and Scholze. We anticipate that the concept of weak proregularity will help simplify and improve some of the more technical aspects of the groundbreaking theory of perfectoid rings and prisms (that has transformed arithmetic geometry in recent years).


title: LUCID: A Practical, Lightweight Deep Learning Solution for DDoS Attack Detection

abstract: Distributed Denial of Service (DDoS) attacks are one of the most harmful threats in today's Internet, disrupting the availability of essential services. The challenge of DDoS detection is the combination of attack approaches coupled with the volume of live traffic to be analysed. In this paper, we present a practical, lightweight deep learning DDoS detection system called LUCID, which exploits the properties of Convolutional Neural Networks (CNNs) to classify traffic flows as either malicious or benign. We make four main contributions; (1) an innovative application of a CNN to detect DDoS traffic with low processing overhead, (2) a dataset-agnostic preprocessing mechanism to produce traffic observations for online attack detection, (3) an activation analysis to explain LUCID's DDoS classification, and (4) an empirical validation of the solution on a resource-constrained hardware platform. Using the latest datasets, LUCID matches existing state-of-the-art detection accuracy whilst presenting a 40x reduction in processing time, as compared to the state-of-the-art. With our evaluation results, we prove that the proposed approach is suitable for effective DDoS detection in resource-constrained operational environments.


title: Building Reliable Cloud Services Using P# (Experience Report)

abstract: Cloud services must typically be distributed across a large number of machines in order to make use of multiple compute and storage resources. This opens the programmer to several sources of complexity such as concurrency, order of message delivery, lossy network, timeouts and failures, all of which impose a high cognitive burden. This paper presents evidence that technology inspired by formal-methods, delivered as part of a programming framework, can help address these challenges. In particular, we describe the experience of several engineering teams in Microsoft Azure that used the open-source P# programming framework to build multiple reliable cloud services. P# imposes a principled design pattern that allows writing formal specifications alongside production code that can be systematically tested, without deviating from routine engineering practices. Engineering teams that have been using P# have reported dramatically increased productivity (in time taken to push new features to production) as well as services that have been running live for months without any issues in features developed and tested with P#.


title: Approximation of Quantum States Using Decision Diagrams

abstract: The computational power of quantum computers poses major challenges to new design tools since representing pure quantum states typically requires exponentially large memory. As shown previously, decision diagrams can reduce these memory requirements by exploiting redundancies. In this work, we demonstrate further reductions by allowing for small inaccuracies in the quantum state representation. Such inaccuracies are legitimate since quantum computers themselves experience gate and measurement errors and since quantum algorithms are somewhat resistant to errors (even without error correction). We develop four dedicated schemes that exploit these observations and effectively approximate quantum states represented by decision diagrams. We empirically show that the proposed schemes reduce the size of decision diagrams by up to several orders of magnitude while controlling the fidelity of approximate quantum state representations.


title: Semi-Fredholm theory in C*-algebras

abstract: Keckic and Lazovic introduced an axiomatic approach to Fredholm theory by considering Fredholm-type elements in an unital C*-algebra as a generalization of C*-Fredholm operators on the standard Hilbert C*-module introduced by Mishchenko and Fomenko and of Fredholm operators on a properly infinite von Neumann algebra introduced by Breuer. In this paper, we establish the semi-Fredholm theory in unital C*-algebras as a continuation of the approach by Keckic and Lazovic. We introduce the notion of semi-Fredholm-type elements and semi-Weyl-type elements. We prove that the difference between the set of semi-Fredholm elements and the set of semi-Weyl elements is open in the norm topology, that the set of semi-Weyl elements is invariant under perturbations by finite type elements, and several other results generalizing their classical counterparts. Also, we illustrate applications of our results to the special case of properly infinite von Neumann algebras and we obtain a generalization of the punctured neighborhood theorem in this setting.


title: Branch-and-Bound Method for Just-in-Time Optimization of Radar Search Patterns

abstract: Electronic phased-array radars offer new possibilities for radar search pattern optimization by using bi-dimensional beam-forming and beam-steering. Radar search pattern optimization can be approximated as a set cover problem and solved using integer programming, while accounting for localized clutter and terrain masks in detection constraints. We present a set cover problem approximation for time-budget minimization of radar search patterns, under constraints of range, detection probability and direction-specific scan update rates. Branch\&Bound is a classical optimization procedure for solving combinatorial problems. It is known mainly as an exact algorithm, but features interesting characteristics, making it particularly fit for solving optimization problems in real-time applications and producing just-in-time solutions.


title: Tunneling into a Luttinger-liquid coupled to acoustic phonons out of equilibrium

abstract: The renormalization of conductances in a Y junction of spinless Luttinger-liquid wires additionally coupled to acoustic longitudinal phonons is investigated in fermionic representation. This system corresponds to geometry of a tunneling experiment and exhibits the interplay between the Coulomb repulsion and the attractive retarded interaction mediated by phonons. The retardation effects related to the propagation of phonons through the junction with arbitrary transmission and reflection amplitudes are taken into account. The appearing logarithmic corrections to conductances of the junction are treated in a renormalization group approach, and scaling exponents are calculated up to infinite order in the interaction after RPA-type summation. The fixed points and corresponding scaling exponents are considered in various non-equilibrium regimes. We show that the boundary exponent and the bulk anomalous dimension of fermion operator are characterized by two different Luttinger parameters, referring to the main wire, thanks to non-local character of phonon-mediated interaction. In the limiting case of the junction of only two wires, the scaling exponents found by our method are in exact correspondence with previous bosonization analysis.


title: A Zero-Shot based Fingerprint Presentation Attack Detection System

abstract: With the development of presentation attacks, Automated Fingerprint Recognition Systems(AFRSs) are vulnerable to presentation attack. Thus, numerous methods of presentation attack detection(PAD) have been proposed to ensure the normal utilization of AFRS. However, the demand of large-scale presentation attack images and the low-level generalization ability always astrict existing PAD methods' actual performances. Therefore, we propose a novel Zero-Shot Presentation Attack Detection Model to guarantee the generalization of the PAD model. The proposed ZSPAD-Model based on generative model does not utilize any negative samples in the process of establishment, which ensures the robustness for various types or materials based presentation attack. Different from other auto-encoder based model, the Fine-grained Map architecture is proposed to refine the reconstruction error of the auto-encoder networks and a task-specific gaussian model is utilized to improve the quality of clustering. Meanwhile, in order to improve the performance of the proposed model, 9 confidence scores are discussed in this article. Experimental results showed that the ZSPAD-Model is the state of the art for ZSPAD, and the MS-Score is the best confidence score. Compared with existing methods, the proposed ZSPAD-Model performs better than the feature-based method and under the multi-shot setting, the proposed method overperforms the learning based method with little training data. When large training data is available, their results are similar.


title: Limiting absorption principle for discrete Schr{\"o}dinger operators with a Wigner-von Neumann potential and a slowly decaying potential

abstract: We consider discrete Schr{\"o}dinger operators on ${\mathbb{Z}}^d$ for which the perturbation consists of the sum of a long-range type potential and a Wigner-von Neumann type potential. Still working in a framework of weighted Mourre theory, we improve the limiting absorption principle (LAP) that was obtained in [Ma1]. To our knowledge, this is a new result even in the one-dimensional case. The improvement consists in a weakening of the assumptions on the long-range potential and better LAP weights. The improvement relies only on the fact that the generator of dilations (which serves as conjugate operator) is bounded from above by the position operator. To exploit this, Loewner's theorem on operator monotone functions is invoked.


title: Semigroups for which every right congruence of finite index is finitely generated

abstract: We call a semigroup $S$ f-noetherian if every right congruence of finite index on $S$ is finitely generated. We prove that every finitely generated semigroup is f-noetherian, and investigate whether the properties of being f-noetherian and being finitely generated coincide for various semigroup classes.


title: Ensemble of Sparse Gaussian Process Experts for Implicit Surface Mapping with Streaming Data

abstract: Creating maps is an essential task in robotics and provides the basis for effective planning and navigation. In this paper, we learn a compact and continuous implicit surface map of an environment from a stream of range data with known poses. For this, we create and incrementally adjust an ensemble of approximate Gaussian process (GP) experts which are each responsible for a different part of the map. Instead of inserting all arriving data into the GP models, we greedily trade-off between model complexity and prediction error. Our algorithm therefore uses less resources on areas with few geometric features and more where the environment is rich in variety. We evaluate our approach on synthetic and real-world data sets and analyze sensitivity to parameters and measurement noise. The results show that we can learn compact and accurate implicit surface models under different conditions, with a performance comparable to or better than that of exact GP regression with subsampled data.


title: Solving Some Affine Equations over Finite Fields

abstract: Let $l$ and $k$ be two integers such that $l|k$. Define $T_l^k(X):=X+X^{p^l}+\cdots+X^{p^{l(k/l-2)}}+X^{p^{l(k/l-1)}}$ and $S_l^k(X):=X-X^{p^l}+\cdots+(-1)^{(k/l-1)}X^{p^{l(k/l-1)}}$, where $p$ is any prime. This paper gives explicit representations of all solutions in $\GF{p^n}$ to the affine equations $T_l^{k}(X)=a$ and $S_l^{k}(X)=a$, $a\in \GF{p^n}$. For the case $p=2$ that was solved very recently in \cite{MKCL2019}, the result of this paper reveals another solution.


title: Targeted free energy estimation via learned mappings

abstract: Free energy perturbation (FEP) was proposed by Zwanzig more than six decades ago as a method to estimate free energy differences, and has since inspired a huge body of related methods that use it as an integral building block. Being an importance sampling based estimator, however, FEP suffers from a severe limitation: the requirement of sufficient overlap between distributions. One strategy to mitigate this problem, called Targeted Free Energy Perturbation, uses a high-dimensional mapping in configuration space to increase overlap of the underlying distributions. Despite its potential, this method has attracted only limited attention due to the formidable challenge of formulating a tractable mapping. Here, we cast Targeted FEP as a machine learning problem in which the mapping is parameterized as a neural network that is optimized so as to increase overlap. We develop a new model architecture that respects permutational and periodic symmetries often encountered in atomistic simulations and test our method on a fully-periodic solvation system. We demonstrate that our method leads to a substantial variance reduction in free energy estimates when compared against baselines, without requiring any additional data.


title: Fundamental Composite Dynamics: A Review

abstract: We introduce fundamental gauge theories that can be employed to construct informed composite bright and dark extensions of the Standard Model, within and beyond the standard paradigms. The gap between theory and experiments is bridged by providing predictions and ways to test them, for example, at the Fermi scale and via precision flavor experiments. We will review time-honoured paradigms from (walking) technicolor to composite Goldstone Higgs and discuss their features and differences. Standard model fermion mass generation in composite models will also be discussed along with the challenges and opportunities that it offers. To be concrete and pedagogical we will concentrate on minimal constructions featuring strongly coupled gauge theories supporting the global symmetry breaking pattern SU(4)/Sp(4). The most minimal underlying fundamental description consists of an SU(2) gauge theory with two Dirac fermions transforming according to the fundamental representation of the gauge group. This minimal choice enables us to use first principle lattice results to predict the massive spectrum for models of composite (Goldstone) Higgs dynamics and strongly interacting dark matter, of immediate impact for current and future experimental searches. Because composite dynamics embraces a rich spectrum of theories with dynamics ranging from QCD-like behaviour to (near) conformal one, we also report here the state-of-the-art of numerical and analytic properties of several strongly coupled theories including their spectrum, phase diagrams and, when applicable, their (near) conformal data.


title: Stem cell lineage survival as a noisy competition for niche access

abstract: Understanding to what extent stem cell potential is a cell-intrinsic property, or an emergent behavior coming from global tissue dynamics and geometry, is a key outstanding question of systems and stem cell biology. Here, we propose a theory of stem cell dynamics as a stochastic competition for access to a spatially-localized niche, giving rise to a stochastic conveyor-belt model. Cell divisions produce a steady cellular stream which advects cells away from the niche, while random rearrangements enable cells away from the niche to be favourably repositioned. Importantly, even when assuming that all cells in a tissue are molecularly equivalent, we predict a common ("universal") functional dependence of the long-term clonal survival probability on distance from the niche, as well as the emergence of a well-defined number of functional stem cells, dependent only on the rate of random movements vs. mitosis-driven advection. We test the predictions of this theory on datasets on pubertal mammary gland tips, embryonic kidney tips as well homeostatic intestinal crypt. Importantly, we find good agreement for the predicted functional dependency of the competition as a function of position, and thus functional stem cell number in each organ. This argues for a key role of positional fluctuations in dictating stem cell number and dynamics, and we discuss the applicability of this theory to other settings.


title: Technology-enhanced pre-instructional peer assessment: Exploring students' perceptions in a Statistical Methods course

abstract: There has been strong interest among higher education institution in implementing technology-enhanced peer assessment as a tool for enhancing students' learning. However, little is known on how to use the peer assessment system in pre-instructional activities. This study aims to explore how technology-enhanced peer assessment can be embedded into pre-instructional activities to enhance students' learning. Therefore, the present study was an explorative descriptive study that used the qualitative approach to attain the research aim. This study used a questionnaire, students' reflections, and interview in collecting student's perceptions toward the interventions. The results suggest that the technology-enhanced pre-instructional peer assessment helps students to prepare the new content acquisition and become a source of students' motivation in improving their learning performance for the following main body of the lesson. A set of practical suggestions is also proposed for designing and implementing technology-enhanced pre-instructional peer assessment.


title: Fast computation of optimal damping parameters for linear vibrational systems

abstract: We formulate the quadratic eigenvalue problem underlying the mathematical model of a linear vibrational system as an eigenvalue problem of a diagonal-plus-low-rank matrix $A$. The eigenvector matrix of $A$ has a Cauchy-like structure. Optimal viscosities are those for which $trace(X)$ is minimal, where $X$ is the solution of the Lyapunov equation $AX+XA^{*}=GG^{*}$. Here $G$ is a low-rank matrix which depends on the eigenfrequencies that need to be damped. After initial eigenvalue decomposition of linearized problem which requires $O(n^3)$ operations, our algorithm computes optimal viscosities for each choice of external dampers in $O(n^2)$ operations, provided that the number of dampers is small. Hence, the subsequent optimization is order of magnitude faster than in the standard approach which solves Lyapunov equation in each step, thus requiring $O(n^3)$ operations. Our algorithm is based on $O(n^2)$ eigensolver for complex symmetric diagonal-plus-rank-one matrices and fast $O(n^2)$ multiplication of linked Cauchy-like matrices.


title: A Line-of-Sight Channel Model for the 100-450 Gigahertz Frequency Band

abstract: This paper documents a simple parametric polynomial line-of-sight channel model for 100-450 GHz band. The band comprises two popular beyond fifth generation (B5G) frequency bands, namely, the D band (110-170 GHz) and the low-THz band (around 275-325 GHz). The main focus herein is to derive a simple, compact, and accurate molecular absorption loss model for the 100-450 GHz band. The derived model relies on simple absorption line shape functions that are fitted to the actual response given by complex but exact database approach. The model is also reducible for particular sub-bands within the full range of 100-450 GHz, further simplifying the absorption loss estimate. The proposed model is shown to be very accurate by benchmarking it against the exact response and the similar models given by International Telecommunication Union Radio Communication Sector (ITU-R). The loss is shown to be within $\pm$2 dBs from the exact response for one kilometer link in highly humid environment. Therefore, the its accuracy is even much better in the case of usually considered shorter range future B5G wireless systems.


title: Adaptive Density-Guided Approach to Double Incremental Potential Energy Surface Construction

abstract: We present a combination of the recently developed double incremental expansion of potential energy surfaces with the well-established adaptive density-guided approach to grid construction. This unique methodology is based on the use of an incremental expansion for potential energy surfaces, known as n-mode expansion, an incremental many-body representation of the electronic energy, and an efficient vibrational density-guided approach to automated determination of grid dimensions and granularity. The reliability of the method is validated calculating potential energy surfaces and obtaining fundamental excitation energies for three moderate-size chain-like molecular systems. The results are compared to other approaches, which utilize static grid construction for supersystem and fragmentation calculation setups. The use of our methodology leads to considerable computational savings for potential energy surface construction and a major reduction in the number of required single point calculations can be achieved, while maintaining a high level of accuracy in the resulting potential energy surfaces. Additional investigations indicate that our method can be applied to covalently bound and strongly interacting molecular systems, even though these cases are known as being very unfavorable for fragmentation schemes. We therefore conclude that the presented methodology is a robust and flexible approach to potential energy surface construction, which introduces considerable computational savings without compromising the accuracy of vibrational spectra calculations.


title: Robust Vision-based Obstacle Avoidance for Micro Aerial Vehicles in Dynamic Environments

abstract: In this paper, we present an on-board vision-based approach for avoidance of moving obstacles in dynamic environments. Our approach relies on an efficient obstacle detection and tracking algorithm based on depth image pairs, which provides the estimated position, velocity and size of the obstacles. Robust collision avoidance is achieved by formulating a chance-constrained model predictive controller (CC-MPC) to ensure that the collision probability between the micro aerial vehicle (MAV) and each moving obstacle is below a specified threshold. The method takes into account MAV dynamics, state estimation and obstacle sensing uncertainties. The proposed approach is implemented on a quadrotor equipped with a stereo camera and is tested in a variety of environments, showing effective on-line collision avoidance of moving obstacles.


title: Analysis of Optimal Control Problems with an $L^0$ Term in the Cost Functional

abstract: In this paper, we investigate optimal control problems subject to a semilinear elliptic partial differential equations. The cost functional contains a term that measures the size of the support of the control, which is the so-called $L^0$-norm. We provide necessary and sufficient optimality conditions of second-order. The sufficient second-order condition is obtained by analyzing a partially convexified problem. Interestingly, the structure of the problem yields second-order conditions with different bilinear forms for the necessary and for the sufficient condition.


title: HQ Collisional energy loss in a magnetized medium

abstract: We study the effect of the magnetic field on the collisional energy loss of heavy quark (HQ) moving in a magnetized thermal partonic medium. This is investigated in the strong field approximation where the lowest Landau level (LLL) becomes relevant. We work in the limit $g\sqrt{eB}\ll T\ll \sqrt{eB}$ which is relevant for heavy ion collisions. Effects of the magnetic field are incorporated through the resummed gluon propagator in which the dominant contribution arises from the quark loop. We also take the approximation $\sqrt{eB}\ll M$, M being the HQ mass, so that the HQ is not Landau quantized. It turns out that there are only two types of scatterings that contribute to the energy loss of HQ; the Coulomb scattering of HQ with light quarks/anti-quarks and the t-channel Compton scattering. It is observed that for a given magnetic field, the dominant contribution to the collisional energy loss arises from Compton scattering process i.e., $Qg\rightarrow Qg$. On the other hand, of the two processes, the Coulomb scattering i.e., $Qq\rightarrow Qq$ is more sensitive to the magnetic field. The net collisional energy loss is seen to increase with increase in the magnetic field. For a reasonable strength of the magnetic field, the field dependent contribution to the collisional energy loss is of the same order as to the case without magnetic field which can be important for the jet quenching phenomena in the heavy ion collision experiments.


title: Transport inequalities for random point measures

abstract: We derive transport-entropy inequalities for mixed binomial point processes, and for Poisson point processes. We show that when the finite intensity measure satisfies a Talagrand transport inequality, the law of the point process also satisfies a Talagrand type transport inequality. We also show that a Poisson point process (with arbitrary ${\sigma}$-finite intensity measure) always satisfies a universal transport-entropy inequality \`a la Marton. We explore the consequences of these inequalities in terms of concentration of measure and modified logarithmic Sobolev inequalities. In particular, our results allow one to extend a deviation inequality by Reitzner [31], originally proved for Poisson random measures with finite mass.


title: Synaptic Integration of Spatiotemporal Features with a Dynamic Neuromorphic Processor

abstract: Spiking neurons can perform spatiotemporal feature detection by nonlinear synaptic and dendritic integration of presynaptic spike patterns. Multicompartment models of non-linear dendrites and related neuromorphic circuit designs enable faithful imitation of such dynamic integration processes, but these approaches are also associated with a relatively high computing cost or circuit size. Here, we investigate synaptic integration of spatiotemporal spike patterns with multiple dynamic synapses on point-neurons in the DYNAP-SE neuromorphic processor, which offers a complementary resource-efficient, albeit less flexible, approach to feature detection. We investigate how previously proposed excitatory--inhibitory pairs of dynamic synapses can be combined to integrate multiple inputs, and we generalize that concept to a case in which one inhibitory synapse is combined with multiple excitatory synapses. We characterize the resulting delayed excitatory postsynaptic potentials (EPSPs) by measuring and analyzing the membrane potentials of the neuromorphic neuronal circuits. We find that biologically relevant EPSP delays, with variability of order 10 milliseconds per neuron, can be realized in the proposed manner by selecting different synapse combinations, thanks to device mismatch. Based on these results, we demonstrate that a single point-neuron with dynamic synapses in the DYNAP-SE can respond selectively to presynaptic spikes with a particular spatiotemporal structure, which enables, for instance, visual feature tuning of single neurons.


title: Strengthening the de Sitter swampland conjecture in warm inflation

abstract: The "de Sitter constraint" on the space of effective scalar field theories consistent with superstring theory provides a lower bound on the slope of the potential of a scalar field which dominates the evolution of the Universe, e.g., a hypothetical inflaton field. Whereas models of single scalar field inflation with a canonically normalized field do not obey this constraint, it has been claimed recently in the literature that models of warm inflation can be made compatible with it in the case of large dissipation. The de Sitter constraint is known to be derived from entropy considerations. Since warm inflation necessary involves entropy production, it becomes necessary to determine how this entropy production will affect the constraints imposed by the swampland conditions. Here, we generalize these entropy considerations to the case of warm inflation and show that the condition on the slope of the potential remains essentially unchanged and is, hence, robust even in the warm inflation dynamics. We are then able to conclude that models of warm inflation indeed can be made consistent with the "swampland" criteria.


title: Beyond UCB: Optimal and Efficient Contextual Bandits with Regression Oracles

abstract: A fundamental challenge in contextual bandits is to develop flexible, general-purpose algorithms with computational requirements no worse than classical supervised learning tasks such as classification and regression. Algorithms based on regression have shown promising empirical success, but theoretical guarantees have remained elusive except in special cases. We provide the first universal and optimal reduction from contextual bandits to online regression. We show how to transform any oracle for online regression with a given value function class into an algorithm for contextual bandits with the induced policy class, with no overhead in runtime or memory requirements. We characterize the minimax rates for contextual bandits with general, potentially nonparametric function classes, and show that our algorithm is minimax optimal whenever the oracle obtains the optimal rate for regression. Compared to previous results, our algorithm requires no distributional assumptions beyond realizability, and works even when contexts are chosen adversarially.


title: Spin-orbit coupling in photonic graphene

abstract: We generate experimentally a honeycomb refractive index pattern in an atomic vapor cell using electromagnetically-induced transparency. We study experimentally and theoretically the propagation of polarized light beams in such "photonic graphene". We demonstrate that an effective spin-orbit coupling appears as a correction to the paraxial beam equations because of the strong spatial gradients of the permittivity. It leads to the coupling of spin and angular momentum at the Dirac points of the graphene lattice. Our results suggest that the polarization degree plays an important role in many configurations where it has been previously neglected.


title: Simultaneous ruin probability for two-dimensional fractional Brownian motion risk process over discrete grid, with supplements

abstract: This paper derives the asymptotic behavior of the following ruin probability $$P\{\exists t \in G(\delta):B_H(t)-c_1t>q_1u,B_H(t)-c_2t>q_2u\}, \ \ \ u \rightarrow \infty,$$ where $B_H$ is a standard fractional Brownian motion, $c_1,q_1,c_2,q_2>0$ and $G(\delta)$ denotes a regular grid $\{0,\delta, 2\delta,...\}$ for some $\delta>0$. The approximation depends on $H$, $\delta$ (only when $H\leq 1/2$) and the relations between parameters $c_1,q_1,c_2,q_2$.


title: Vision, Requirements, and Technology Trend of 6G: How to Tackle the Challenges of System Coverage, Capacity,User Data-Rate and Movement Speed

abstract: Since 5G new radio comes with non-standalone (NSA) and standalone (SA) versions in 3GPP, research on 6G has been on schedule by academics and industries. Though 6G is supposed to have much higher capabilities than 5G, yet there is no clear description about what 6G is. In this article, a comprehensive discussion of 6G is given based on the review of 5G developments, covering visions and requirements, technology trends and challenges, aiming at tackling the challenge of coverage, capacity, the user data rate and movement speed of mobile communication system. The vision of 6G is to fully support the development of a Ubiquitous Intelligent Mobile Society with intelligent life and industries. Finally, the roadmap of the 6G standard is suggested for the future.


title: Federated Matrix Factorization: Algorithm Design and Application to Data Clustering

abstract: Recent demands on data privacy have called for federated learning (FL) as a new distributed learning paradigm in massive and heterogeneous networks. Although many FL algorithms have been proposed, few of them have considered the matrix factorization (MF) model, which is known to have a vast number of signal processing and machine learning applications. Different from the existing FL algorithms that are designed for smooth problems with single block of variables, in federated MF (FedMF), one has to deal with challenging non-convex and non-smooth problems (due to constraints or regularization) with two blocks of variables. In this paper, we address the challenge by proposing two new FedMF algorithms, namely, FedMAvg and FedMGS, based on the model averaging and gradient sharing principles, respectively. Both FedMAvg and FedMGS adopt multiple steps of local updates per communication round to speed up convergence, and allow only a randomly sampled subset of clients to communicate with the server for reducing the communication cost. Convergence analyses for the two algorithms are respectively presented, which delineate the impacts of data distribution, local update number, and partial client communication on the algorithm performance. By focusing on a data clustering task, extensive experiment results are presented to examine the practical performance of both algorithms, as well as demonstrating their efficacy over the existing distributed clustering algorithms.


title: Natural Top-Bottom Mass Hierarchy in Composite Higgs Models

abstract: We consider composite two-Higgs doublet models based on gauge-Yukawa theories with strongly interacting fermions generating the top-bottom mass hierarchy. The model features a single "universal" Higgs-Yukawa coupling, $ g $, which is identified with the top quark $ g\equiv g_t \sim \mathcal{O}(1) $. The top-bottom mass hierarchy arises by soft breaking of a $ \mathbb{Z}_2 $ symmetry by a condensate of strongly interacting fermions. A mass splitting between vector-like masses of the confined techni-fermions controls this top-bottom mass hierarchy. This mechanism can be present in a variety of models based on vacuum misalignment. For concreteness, we demonstrate it in a composite two-Higgs scheme.


title: Towards Precise Intra-camera Supervised Person Re-identification

abstract: Intra-camera supervision (ICS) for person re-identification (Re-ID) assumes that identity labels are independently annotated within each camera view and no inter-camera identity association is labeled. It is a new setting proposed recently to reduce the burden of annotation while expect to maintain desirable Re-ID performance. However, the lack of inter-camera labels makes the ICS Re-ID problem much more challenging than the fully supervised counterpart. By investigating the characteristics of ICS, this paper proposes camera-specific non-parametric classifiers, together with a hybrid mining quintuplet loss, to perform intra-camera learning. Then, an inter-camera learning module consisting of a graph-based ID association step and a Re-ID model updating step is conducted. Extensive experiments on three large-scale Re-ID datasets show that our approach outperforms all existing ICS works by a great margin. Our approach performs even comparable to state-of-the-art fully supervised methods in two of the datasets.


title: Content Based Singing Voice Extraction From a Musical Mixture

abstract: We present a deep learning based methodology for extracting the singing voice signal from a musical mixture based on the underlying linguistic content. Our model follows an encoder decoder architecture and takes as input the magnitude component of the spectrogram of a musical mixture with vocals. The encoder part of the model is trained via knowledge distillation using a teacher network to learn a content embedding, which is decoded to generate the corresponding vocoder features. Using this methodology, we are able to extract the unprocessed raw vocal signal from the mixture even for a processed mixture dataset with singers not seen during training. While the nature of our system makes it incongruous with traditional objective evaluation metrics, we use subjective evaluation via listening tests to compare the methodology to state-of-the-art deep learning based source separation algorithms. We also provide sound examples and source code for reproducibility.


title: On the Inertia Conjecture and its generalizations

abstract: Studying two point branched Galois covers of the projective line we prove the Inertia Conjecture for the Alternating groups $A_{p+1}$, $A_{p+3}$, $A_{p+4}$ for any odd prime $p \equiv 2 \pmod{3}$ and for the group $A_{p+5}$ when additionally $4 \nmid (p+1)$ and $p \geq 17$. We obtain a generalization of a patching result by Raynaud which reduces these proofs to showing the realizations of the \'{e}tale Galois covers of the affine line with a fewer candidates for the inertia groups above $\infty$. We also pose a general question motivated by the Inertia Conjecture and obtain some affirmative results. A special case of this question, which we call the Generalized Purely Wild Inertia Conjecture, is shown to be true for the groups for which the purely wild part of the Inertia Conjecture is already established. In particular, we show that if this generalized conjecture is true for the groups $G_1$ and $G_2$ which do not have a common quotient, then the conjecture is also true for the product $G_1 \times G_2$.


title: Well-posedness of two pseudo-parabolic problems for electrical conduction in heterogeneous media

abstract: We prove a well-posedness result for two pseudo-parabolic problems, which can be seen as two models for the same electrical conduction phenomenon in heterogeneous media, neglecting the magnetic field. One of the problems is the concentration limit of the other one, when the thickness of the dielectric inclusions goes to zero. The concentrated problem involves a transmission condition through interfaces, which is mediated by a suitable Laplace-Beltrami type equation.


title: Joint Embedding in Named Entity Linking on Sentence Level

abstract: Named entity linking is to map an ambiguous mention in documents to an entity in a knowledge base. The named entity linking is challenging, given the fact that there are multiple candidate entities for a mention in a document. It is difficult to link a mention when it appears multiple times in a document, since there are conflicts by the contexts around the appearances of the mention. In addition, it is difficult since the given training dataset is small due to the reason that it is done manually to link a mention to its mapping entity. In the literature, there are many reported studies among which the recent embedding methods learn vectors of entities from the training dataset at document level. To address these issues, we focus on how to link entity for mentions at a sentence level, which reduces the noises introduced by different appearances of the same mention in a document at the expense of insufficient information to be used. We propose a new unified embedding method by maximizing the relationships learned from knowledge graphs. We confirm the effectiveness of our method in our experimental studies.


title: Possible detection of a new cyclotron feature in 4U 1700-37

abstract: We present a spectral and timing study of the High Mass X-ray Binary transient source 4U 1700-37 using NuSTAR and ASTROSAT/LAXPC. The source is observed in two different flux states. A combined spectral analysis of NuSTAR's FPMA and FPMB shows the possible hint of a cyclotron line feature at $\sim$16 keV. The line feature is consistently present in different continuum models with at least 3$\sigma$ confidence level. We do not detect the presence of a previously reported ~39 keV cyclotron line in the combined spectra. A $\sim$16 keV cyclotron feature would suggest that the compact object is a neutron star with a magnetic field strength $\sim2.1\times$10$^{12}$ Gauss in the emission region. We also find the presence of a rare Ni $K{\alpha}$ emission line around 7.6 keV in the NuSTAR spectrum. We searched the NuSTAR and ASTROSAT data for coherent or quasi-periodic oscillation signals but found no evidence in the frequency range 0.1 mHz to 10$^3$ Hz.


title: Quarkonium production and suppression: Theory

abstract: Heavy quarkonium theory has seen significant progress over the past years. Not only has the community steadily improved the understanding of fully equilibrated quarkonium using first principles lattice QCD studies, but it has taken major steps towards developing a genuine dynamical understanding of quark-antiquark pairs immersed in a hot medium by embracing the paradigm of open quantum systems. We review recent developments, placing an emphasis on quarkonium real-time dynamics.


title: Multipole Photon Radiation in the Vincia Parton Shower

abstract: We present algorithms that interleave photon radiation from the final state and the initial state with the QCD evolution in the antenna-based Vincia parton shower. One of the algorithms incorporates the complete soft and collinear structure associated with photon emission, but may be computationally expensive, while the other approximates the soft structure at a lower cost. Radiation from fermions and W bosons is included, and a strategy for photon radiation off leptons below the hadronization scale is set up. We show results of the application of the shower algorithms to Drell-Yan and WW production at the LHC, showing the impact of the inclusion of the full soft structure and treatment of radiation off W bosons.


title: Derived categories of flips and cubic hypersurfaces

abstract: A classical result of Bondal-Orlov states that a standard flip in birational geometry gives rise to a fully faithful functor between derived categories of coherent sheaves. We complete their embedding into a semiorthogonal decomposition by describing the complement. As an application, we can lift the "quadratic Fano correspondence" (due to Galkin-Shinder) in the Grothendieck ring of varieties between a smooth cubic hypersurface, its Fano variety of lines, and its Hilbert square, to a semiorthogonal decomposition. We also show that the Hilbert square of a cubic hypersurface of dimension at least 3 is again a Fano variety, so in particular the Fano variety of lines on a cubic hypersurface is a Fano visitor. The most interesting case is that of a cubic fourfold, where this exhibits the first higher-dimensional hyperk\"ahler variety as a Fano visitor.


title: Fast Planning Over Roadmaps via Selective Densification

abstract: We propose the Selective Densification method for fast motion planning through configuration space. We create a sequence of roadmaps by iteratively adding configurations. We organize these roadmaps into layers and add edges between identical configurations between layers. We find a path using best-first search, guided by our proposed estimate of remaining planning time. This estimate prefers to expand nodes closer to the goal and nodes on sparser layers. We present proofs of the path quality and maximum depth of nodes expanded using our proposed graph and heuristic. We also present experiments comparing Selective Densification to bidirectional RRT-connect, as well as many graph search approaches. In difficult environments that require exploration on the dense layers we find Selective Densification finds solutions faster than all other approaches.


title: Multitude of singular jets during the collapse of drop-impact craters

abstract: We study singular jets from the collapse of drop-impact craters, when the drop and pool are of different immiscible liquids. These jets emerge from a dimple at the bottom of the rebounding crater, when no bubble is pinched off. The parameter space is considerably more complex than for identical liquids, revealing intricate compound-dimple shapes. In contrast to the universal capillary-inertial drop-regime, where the pinch-off neck radius scales as $R\sim t^{2/3}$, a purely inertial air-dimple has $R \sim t^{1/2}$ and is sensitive to initial and boundary conditions. Capillary waves can therefore mold the dimple into different collapse shapes, with normalized jetting speeds one order of magnitude larger than for jets from bursting bubbles. We study the cross-over between the two power-laws. The fastest jets can pinch off a toroidal micro-bubble from the cusp at the base of the jet.


title: Sub-Sm$^{-1}$ electromagnetic induction imaging with an unshielded atomic magnetometer

abstract: Progress in electromagnetic induction imaging with atomic magnetometers has brought its domain to the edge of the regime useful for biomedical imaging. However, a demonstration of imaging below the required 1 Sm$^{-1}$ level is still missing. In this Letter, we use an $^{87}$Rb radio-frequency atomic magnetometer operating near room temperature in an unshielded environment to image calibrated solutions mimicking the electric conductivity of live tissues. By combining the recently introduced near-resonant imaging technique with a dual radio-frequency coil excitation scheme, we image 5 mL of solutions down to 0.9 Sm$^{-1}$. We measure a signal-to-noise ratio of 2.7 at 2 MHz for 0.9 Sm$^{-1}$, increased up to 7.2 with offline averaging. Our work is an improvement of 50 times on previous imaging results, and demonstrates the sensitivity and stability in unshielded environments required for imaging biological tissues, in particular for the human heart.


title: Experimental Three-State Measurement-Device-Independent Quantum Key Distribution with Uncharacterized Sources

abstract: The measurement-device-independent quantum key distribution (MDI-QKD) protocol plays an important role in quantum communications due to its high level of security and practicability. It can be immune to all side-channel attacks directed on the detecting devices. However, the protocol still contains strict requirements during state preparation in most existing MDI-QKD schemes, e.g., perfect state preparation or perfectly characterized sources, which are very hard to realize in practice. In this letter, we investigate uncharacterized MDI-QKD by utilizing a three-state method, greatly reducing the finite-size effect. The only requirement for state preparation is that the state are prepared in a bidimensional Hilbert space. Furthermore, a proof-of-principle demonstration over a 170 km transmission distance is achieved, representing the longest transmission distance under the same security level on record.


title: Predictions of 2019-nCoV Transmission Ending via Comprehensive Methods

abstract: Since the SARS outbreak in 2003, a lot of predictive epidemiological models have been proposed. At the end of 2019, a novel coronavirus, termed as 2019-nCoV, has broken out and is propagating in China and the world. Here we propose a multi-model ordinary differential equation set neural network (MMODEs-NN) and model-free methods to predict the interprovincial transmissions in mainland China, especially those from Hubei Province. Compared with the previously proposed epidemiological models, the proposed network can simulate the transportations with the ODEs activation method, while the model-free methods based on the sigmoid function, Gaussian function, and Poisson distribution are linear and fast to generate reasonable predictions. According to the numerical experiments and the realities, the special policies for controlling the disease are successful in some provinces, and the transmission of the epidemic, whose outbreak time is close to the beginning of China Spring Festival travel rush, is more likely to decelerate before February 18 and to end before April 2020. The proposed mathematical and artificial intelligence methods can give consistent and reasonable predictions of the 2019-nCoV ending. We anticipate our work to be a starting point for comprehensive prediction researches of the 2019-nCoV.


title: Learning Graph Influence from Social Interactions

abstract: In social learning, agents form their opinions or beliefs about certain hypotheses by exchanging local information. This work considers the recent paradigm of weak graphs, where the network is partitioned into sending and receiving components, with the former having the possibility of exerting a domineering effect on the latter. Such graph structures are prevalent over social platforms. We will not be focusing on the direct social learning problem (which examines what agents learn), but rather on the dual or reverse learning problem (which examines how agents learned). Specifically, from observations of the stream of beliefs at certain agents, we would like to examine whether it is possible to learn the strength of the connections (influences) from sending components in the network to these receiving agents.


title: Monitoring daytime and nighttime optical turbulence profiles with the PML instrument

abstract: The Profiler of Moon Limb is a recent instrument dedicated to the monitoring of optical turbulence profile of the atmosphere. Fluctuations of the Moon or the Sun limb allow to evaluate the index refraction structure constant C_n^2(h) and the wavefront coherence outer scale L_0(h) as a function of the altitude $h$. The atmosphere is split into 33 layers with an altitude resolution varying from 100m (at the ground) to 2km (in the upper atmosphere). Profiles are obtained every 3mn during daytime and nighttime. We report last advances on the instrument and present some results obtained at the Plateau de Calern (France).


title: Almost simple groups of Lie type and symmetric designs with $\lambda$ prime

abstract: In this article, we investigate symmetric $(v,k,\lambda)$ designs $\mathcal{D}$ with $\lambda$ prime admitting flag-transitive and point-primitive automorphism groups $G$. We prove that if $G$ is an almost simple group with socle a finite simple group of Lie type, then $\mathcal{D}$ is either the point-hyperplane design of a projective space $\mathrm{PG}_{n-1}(q)$, or it is of parameters $(7,4,2)$, $(11,5,2)$, $(11,6,2)$ or $(45,12,3)$.


title: Isometries from gauge transformations

abstract: In four dimensions one can use the chiral part of the spin connection as the main object that encodes geometry. The metric is then recovered algebraically from the curvature of this connection. We address the question of how isometries can be identified in this "pure connection" formalism. We show that isometries are recovered from gauge transformation parameters satisfying the requirement that the Lie derivative of the connection along a vector field generating an isometry is a gauge transformation. This requirement can be rewritten as a first order differential equation involving the gauge transformation parameter only. Once a gauge transformation satisfying this equation is found, the isometry generating vector field is recovered algebraically. We work out examples of the new formalism being used to determine isometries, and also prove a general statement: a negative definite connection on a compact manifold does not have symmetries. This is the precise "pure connection" analog of the well-known Riemannian geometry statement that there are no Killing vector fields on compact manifolds with negative Ricci curvature.


title: Binary-binary scattering in the secular limit

abstract: Binary-binary interactions are important in a number of astrophysical contexts including dense stellar systems such as globular clusters. Although less frequent than binary-single encounters, binary-binary interactions lead to a much richer range of possibilities such as the formation of stable triple systems. Here, we focus on the regime of distant binary-binary encounters, i.e., two binaries approaching each other on an unbound orbit with a periapsis distance Q much larger than the internal binary separations. This `secular' regime gives rise to changes in the orbital eccentricities and orientations, which we study using analytic considerations and numerical integrations. We show that `direct' interactions between the three orbits only occur starting at a high expansion order of the Hamiltonian (hexadecupole order), and that the backreaction of the outer orbit on the inner two orbits at lower expansion orders is weak. Therefore, to good approximation, one can obtain the changes of each orbit by using previously-known analytic results for binary-single interactions, and replacing the mass of the third body with the total mass of the companion binary. Nevertheless, we find some dependence of the `binarity' of the companion binary, and derive explicit analytic expressions for the secular changes that are consistent with numerical integrations. In particular, the eccentricity and inclination changes of orbit 1 due to orbit 2 scale as \eps_{SA1} (a_2/Q)^2 [m_3 m_4/(m_3+m_4)^2], where \eps_{SA1} is the approximate quadrupole-order change, and a_2 and (m_3,m_4) are the companion binary orbital semimajor axis and component masses, respectively. Our results are implemented in several Python scripts that are freely available.


title: A pressure-robust embedded discontinuous Galerkin method for the Stokes problem by reconstruction operators

abstract: The embedded discontinuous Galerkin (EDG) finite element method for the Stokes problem results in a point-wise divergence-free approximate velocity on cells. However, the approximate velocity is not H(div)-conforming and it can be shown that this is the reason that the EDG method is not pressure-robust, i.e., the error in the velocity depends on the continuous pressure. In this paper we present a local reconstruction operator that maps discretely divergence-free test functions to exactly divergence-free test functions. This local reconstruction operator restores pressure-robustness by only changing the right hand side of the discretization, similar to the reconstruction operator recently introduced for the Taylor--Hood and mini elements by Lederer et al. (SIAM J. Numer. Anal., 55 (2017), pp. 1291--1314). We present an a priori error analysis of the discretization showing optimal convergence rates and pressure-robustness of the velocity error. These results are verified by numerical examples. The motivation for this research is that the resulting EDG method combines the versatility of discontinuous Galerkin methods with the computational efficiency of continuous Galerkin methods and accuracy of pressure-robust finite element methods.


title: Notes on index of quantum integrability

abstract: A quantum integrability index was proposed in \cite{KMS}. It systematizes the Goldschmidt and Witten's operator counting argument \cite{GW} by using the conformal symmetry. In this work we compute the quantum integrability indexes for the symmetric coset models ${SU(N)}/{SO(N)}$ and $SO(2N)/{SO(N)\times SO(N)}$. The indexes of these theories are all non-positive except for the case of ${SO(4)}/{SO(2)\times SO(2)}$. Moreover we extend the analysis to the theories with fermions and consider a concrete theory: the $\mathbb{CP}^N$ model coupled with a massless Dirac fermion. We find that the indexes for this class of models are non-positive as well.


title: Transient helix formation in semiflexible polymers without confinement effects

abstract: Generic interactions e.g. the Coulomb or other long ranged radially symmetric repulsive interactions between monomers of bead-spring model of a semi-flexible polymer induce instabilities in a initially straight polymer chain to form long lived helical structures. This mechanism can explain the spontaneous emergence of helices in stiff (bio-)polymers as effective charge of the chain increases. The helix formation is independent of the chemistry and torsional potentials are not used. So this method can be used to synthesize helical springs at length scales of nm-10$\mu$.


title: The stable graph: the metric space scaling limit of a critical random graph with i.i.d. power-law degrees

abstract: We prove a metric space scaling limit for a critical random graph with independent and identically distributed degrees having power-law tail behaviour with exponent $\alpha+1$, where $\alpha \in (1,2)$. The limiting components are constructed from random $\mathbb{R}$-trees encoded by the excursions above its running infimum of a process whose law is locally absolutely continuous with respect to that of a spectrally positive $\alpha$-stable L\'evy process. These spanning $\mathbb{R}$-trees are measure-changed $\alpha$-stable trees. In each such $\mathbb{R}$-tree, we make a random number of vertex-identifications, whose locations are determined by an auxiliary Poisson process. This generalises results which were already known in the case where the degree distribution has a finite third moment (a model which lies in the same universality class as the Erd\H{o}s--R\'enyi random graph) and where the role of the $\alpha$-stable L\'evy process is played by a Brownian motion.


title: The Space of Mathematical Software Systems -- A Survey of Paradigmatic Systems

abstract: Mathematical software systems are becoming more and more important in pure and applied mathematics in order to deal with the complexity and scalability issues inherent in mathematics. In the last decades we have seen a cambric explosion of increasingly powerful but also diverging systems. To give researchers a guide to this space of systems, we devise a novel conceptualization of mathematical software that focuses on five aspects: inference covers formal logic and reasoning about mathematical statements via proofs and models, typically with strong emphasis on correctness; computation covers algorithms and software libraries for representing and manipulating mathematical objects, typically with strong emphasis on efficiency; concretization covers generating and maintaining collections of mathematical objects conforming to a certain pattern, typically with strong emphasis on complete enumeration; narration covers describing mathematical contexts and relations, typically with strong emphasis on human readability; finally, organization covers representing mathematical contexts and objects in machine-actionable formal languages, typically with strong emphasis on expressivity and system interoperability. Despite broad agreement that an ideal system would seamlessly integrate all these aspects, research has diversified into families of highly specialized systems focusing on a single aspect and possibly partially integrating others, each with their own communities, challenges, and successes. In this survey, we focus on the commonalities and differences of these systems from the perspective of a future multi-aspect system.


title: Quantiles as Robust Probes of Non-Gaussianity in 21-cm Images

abstract: The early epoch in which the first stars and galaxies formed is among the most exciting unexplored eras of the Universe. A major research effort focuses on probing this era with the 21-cm spectral line of hydrogen. While most research focused on statistics like the 21-cm power spectrum or the sky-averaged global signal, there are other ways to analyze tomographic 21-cm maps, which may lead to novel insights. We suggest statistics based on quantiles as a method to probe non-Gaussianities of the 21-cm signal. We show that they can be used in particular to probe the variance, skewness, and kurtosis of the temperature distribution, but are more flexible and robust than these standard statistics. We test these statistics on a range of possible astrophysical models, including different galactic halo masses, star-formation efficiencies, and spectra of the X-ray heating sources, plus an exotic model with an excess early radio background. Simulating data with angular resolution and thermal noise as expected for the Square Kilometre Array (SKA), we conclude that these statistics can be measured out to redshifts above 20 and offer a promising statistical method for probing early cosmic history.


title: Performance Analysis of Reversible Binding Receptor Based Decode-and-Forward Relay in Molecular Communication Systems

abstract: Molecular communication (MC) allows nanomachines to communicate and cooperate with each other in a fluid environment. The diffusion-based MC is popular but is easily constrained by the transmit distance due to the severe attenuation of molecule concentrations. In this letter, we present a decode-and-forward (DF) relay strategy for the reversible binding receptor in the diffusion-based MC system. The time-varying spatial distribution of the information molecules based on the reversible association and dissociation between ligand and receptor at the surface of receiver is characterized. An analytical expression for the evaluation of expected error probability is derived, and the key factors impacting on the performance are exploited. Results show that with a constant molecular budget, the proposal can improve the performance significantly, and the performance gain can be enhanced by optimizing the position of the relay node and the number of molecules assigned to the source node.


title: Algebraic multigrid block preconditioning for multi-group radiation diffusion equations

abstract: The paper focuses on developing and studying efficient block preconditioners based on classical algebraic multigrid for the large-scale sparse linear systems arising from the fully coupled and implicitly cell-centered finite volume discretization of multi-group radiation diffusion equations, whose coefficient matrices can be rearranged into the $(G+2)\times(G+2)$ block form, where $G$ is the number of energy groups. The preconditioning techniques are based on the monolithic classical algebraic multigrid method, physical-variable based coarsening two-level algorithm and two types of block Schur complement preconditioners. The classical algebraic multigrid is applied to solve the subsystems that arise in the last three block preconditioners. The coupling strength and diagonal dominance are further explored to improve performance. We use representative one-group and twenty-group linear systems from capsule implosion simulations to test the robustness, efficiency, strong and weak parallel scaling properties of the proposed methods. Numerical results demonstrate that block preconditioners lead to mesh- and problem-independent convergence, and scale well both algorithmically and in parallel.


title: The cosmic abundance of cold gas in the local Universe

abstract: We determine the cosmic abundance of molecular hydrogen (H2) in the local universe from the xCOLD GASS survey. To constrain the H2 mass function at low masses and correct for the effect of the lower stellar mass limit of 10^9 Msun in the xCOLD GASS survey, we use an empirical approach based on an observed scaling relation between star formation rate and gas mass. We also constrain the HI and HI+H2 mass functions using the xGASS survey, and compare it to the HI mass function from the ALFALFA survey. We find the cosmic abundance of molecular gas in the local Universe to be Omega_H2=(5.34+/-0.47)x10^-5 h^-1. Molecular gas accounts for 19.6 +/- 3.9% of the total abundance of cold gas, Omega_HI+H2=(4.66+/-0.70)x10^-4 h^-1. Galaxies with stellar masses in excess of 10^9 Msun account for 89% of the molecular gas in the local Universe, while in comparison such galaxies only contain 73% of the cold atomic gas as traced by the HI 21cm line. The xCOLD GASS CO, molecular gas and cold gas mass functions and Omega_H2 measurements provide constraints for models of galaxy evolution and help to anchor blind ALMA and NOEMA surveys attempting to determine the abundance of molecular gas at high redshifts.


title: Power Scaling Laws and Near-Field Behaviors of Massive MIMO and Intelligent Reflecting Surfaces

abstract: The use of large arrays might be the solution to the capacity problems in wireless communications. The signal-to-noise ratio (SNR) grows linearly with the number of array elements $N$ when using Massive MIMO receivers and half-duplex relays. Moreover, intelligent reflecting surfaces (IRSs) have recently attracted attention since these can relay signals to achieve an SNR that grows as $N^2$, which seems like a major benefit. In this paper, we use a deterministic propagation model for a planar array of arbitrary size, to demonstrate that the mentioned SNR behaviors, and associated power scaling laws, only apply in the far-field. They cannot be used to study the regime where $N\to\infty$. We derive an exact channel gain expression that captures three essential near-field behaviors and use it to revisit the power scaling laws. We derive new finite asymptotic SNR limits but also conclude that these are unlikely to be approached in practice. We further prove that an IRS-aided setup cannot achieve a higher SNR than an equal-sized Massive MIMO setup, despite its faster SNR growth. We quantify analytically how much larger the IRS must be to achieve the same SNR. Finally, we show that an optimized IRS does not behave as an "anomalous" mirror but can vastly outperform that benchmark.


title: Codimension two integral points on some rationally connected threefolds are potentially dense

abstract: Let $V$ be a smooth, projective, rationally connected variety, defined over a number field $k$, and let $Z\subset V$ be a closed subset of codimension at least two. In this paper, for certain choices of $V$, we prove that the set of $Z$-integral points is potentially Zariski dense, in the sense that there is a finite extension $K$ of $k$ such that the set of points $P\in V(K)$ that are $Z$-integral is Zariski dense in $V$. This gives a positive answer to a question of Hassett and Tschinkel from 2001.


title: Einstein's fluctuation relation and Gibbs states far from equilibrium

abstract: We examine a class of one-dimensional lattice-gases characterised by a gradient condition which guarantees the existence of Gibbs-type homogeneous stationary states. We show how, defining appropriate boundary conditions, this leads to a special symmetry of the system under time and space reversal which, rephrased in terms of the large deviations function of stationary currents of conserved quantities, yields a novel fluctuation relation under reservoir exchange, unrelated to the Gallavotti-Cohen symmetry. We then show that this relation can be interpreted as a nonequilibrium and nonlinear generalisation Einstein's relation, leading to Onsager reciprocity relations in the limit of a small reservoir imbalance. Finally, we illustrate our results with two examples.


title: The nonlinear Schr\"odinger equation for orthonormal functions: I. Existence of ground states

abstract: We study the nonlinear Schr\"odinger equation for systems of $N$ orthonormal functions. We prove the existence of ground states for all $N$ when the exponent $p$ of the non linearity is not too large, and for an infinite sequence $N_j$ tending to infinity in the whole range of possible $p$'s, in dimensions $d\geq1$. This allows us to prove that translational symmetry is broken for a quantum crystal in the Kohn-Sham model with a large Dirac exchange constant.


title: The nonlinear Schr\"odinger equation for orthonormal functions: II. Application to Lieb-Thirring inequalities

abstract: In this paper we disprove part of a conjecture of Lieb and Thirring concerning the best constant in their eponymous inequality. We prove that the best Lieb-Thirring constant when the eigenvalues of a Schr\"odinger operator $-\Delta+V(x)$ are raised to the power $\kappa$ is never given by the one-bound state case when $\kappa>\max(0,2-d/2)$ in space dimension $d\geq1$. When in addition $\kappa\geq1$ we prove that this best constant is never attained for a potential having finitely many eigenvalues. The method to obtain the first result is to carefully compute the exponentially small interaction between two Gagliardo-Nirenberg optimisers placed far away. For the second result, we study the dual version of the Lieb-Thirring inequality, in the same spirit as in Part I of this work (D. Gontier, M. Lewin & F.Q. Nazar, arXiv:2002.04963). In a different but related direction, we also show that the cubic nonlinear Schr\"odinger equation admits no orthonormal ground state in 1D, for more than one function.


title: Understanding the giant gamma-ray outburst on June 16, 2015 from the blazar 3C 279

abstract: A very bright and fast varying gamma-ray flare has been detected from the blazar 3C 279 on June 16, 2015. We have studied the broadband spectral energy distribution of the source during the flaring episode and in the low activity state using a simple one zone leptonic model. We find that an electron energy distribution described by a broken power law can be used to reproduce the broadband emissions during the high and low activity states. The flux measurements at radio, infrared and optical frequencies are reproduced by the synchrotron emission resulting from the relativistic electrons in a jet magnetic field strength of 0.37 G. The gamma-ray emission from the blazar 3C 279 is attributed to the Comptonization of the IR seed photons from the dusty torus with a temperature of 870 K. The outburst from the source observed on June 16, 2015 can be ascribed to an efficient acceleration process associated with a sudden enhancement in the electron energy density in the emitting region with respect to the low activity state. The fast gamma-ray variability at a minute timescale implies that the emission during the flare originates from a more compact region and the size of the emission zone in the low activity state is found to be four times larger than that during the flare. We have also used the model parameters derived from the broadband spectral energy distribution modelling to investigate a few physical properties of the jet during the outburst.


title: A Markov Chain Monte Carlo approach for measurement of jet precession in radio-loud active galactic nuclei

abstract: Jet precession can reveal the presence of binary systems of supermassive black holes. The ability to accurately measure the parameters of jet precession from radio-loud AGN is important for constraining the binary supermassive black hole population, which are expected as a result of hierarchical galaxy evolution. The age, morphology, and orientation along the line of sight of a given source often result in uncertainties regarding jet path. This paper presents a new approach for efficient determination of precession parameters using a 2D MCMC curve-fitting algorithm which provides us a full posterior probability distribution on the fitted parameters. Applying the method to Cygnus A, we find evidence for previous suggestions that the source is precessing. Interpreted in the context of binary black holes leads to a constraint of parsec scale and likely sub-parsec orbital separation for the putative supermassive binary.


title: From IC Layout to Die Photo: A CNN-Based Data-Driven Approach

abstract: We propose a deep learning-based data-driven framework consisting of two convolutional neural networks: i) LithoNet that predicts the shape deformations on a circuit due to IC fabrication, and ii) OPCNet that suggests IC layout corrections to compensate for such shape deformations. By learning the shape correspondences between pairs of layout design patterns and their scanning electron microscope (SEM) images of the product wafer thereof, given an IC layout pattern, LithoNet can mimic the fabrication process to predict its fabricated circuit shape. Furthermore, LithoNet can take the wafer fabrication parameters as a latent vector to model the parametric product variations that can be inspected on SEM images. Besides, traditional optical proximity correction (OPC) methods used to suggest a correction on a lithographic photomask is computationally expensive. Our proposed OPCNet mimics the OPC procedure and efficiently generates a corrected photomask by collaborating with LithoNet to examine if the shape of a fabricated circuit optimally matches its original layout design. As a result, the proposed LithoNet-OPCNet framework can not only predict the shape of a fabricated IC from its layout pattern, but also suggests a layout correction according to the consistency between the predicted shape and the given layout. Experimental results with several benchmark layout patterns demonstrate the effectiveness of the proposed method.


title: On the Ohsawa-Takegoshi extension theorem

abstract: We establish a new extension result for twisted canonical forms defined on a hypersurface with simple normal crossings of a projective manifold. Some of the examples presented in the appendix are showing that the bounds we obtain for the extension are sharp.