title: NETR-Tree: An Eifficient Framework for Social-Based Time-Aware Spatial Keyword Query

abstract: The development of global positioning system stimulates the popularity of location-based social network (LBSN) services. With a large volume of data containing locations, texts, check-in information, and social relationships, spatial keyword queries in LBSNs have become increasingly complex. In this paper, we identify and solve the Social-based Time-aware Spatial Keyword Query (STSKQ) that returns the top-k objects by considering geo-spatial score, keywords similarity, visiting time score, and social relationship effect. To tackle STSKQ, we propose a two-layer hybrid index structure called Network Embedding Time-aware R-tree (NETR-Tree). In the user layer, we exploit the network embedding strategy to measure the relationship effect in users' relationship network. In the location layer, we build a Time-aware R-tree (TR-tree) considered spatial objects' spatiotemporal check-in information, and present a corresponding query processing algorithm. Finally, extensive experiments on two different real-life LBSNs demonstrate the effectiveness and efficiency of our methods, compared with existing state-of-the-art methods.


title: Object-Driven Multi-Layer Scene Decomposition From a Single Image

abstract: We present a method that tackles the challenge of predicting color and depth behind the visible content of an image. Our approach aims at building up a Layered Depth Image (LDI) from a single RGB input, which is an efficient representation that arranges the scene in layers, including originally occluded regions. Unlike previous work, we enable an adaptive scheme for the number of layers and incorporate semantic encoding for better hallucination of partly occluded objects. Additionally, our approach is object-driven, which especially boosts the accuracy for the occluded intermediate objects. The framework consists of two steps. First, we individually complete each object in terms of color and depth, while estimating the scene layout. Second, we rebuild the scene based on the regressed layers and enforce the recomposed image to resemble the structure of the original input. The learned representation enables various applications, such as 3D photography and diminished reality, all from a single RGB image.


title: Kinetic ionization and recombination coefficients in the dense semiclassical plasmas on the basis of the effective interaction potential

abstract: In this paper, the ionization and recombination coefficients of dense semiclassical hydrogen plasma on the basis of the effective interaction potential have been investigated. For this goal the Bohr$-$Lindhard method and method phase function have been applied to obtain the electron capture and ionization cross sections. The electron capture cross section has been calculated in the framework of the perturbation theory. The effective interaction potential, which takes into account the screening effects at large distances and quantum diffraction effects at short distances, was used. The results of the investigation show the behaviour of the calculated kinetic coefficients with a change in the plasma parameters: the ionization coefficient decreases with increasing density and (or) coupling parameter while the recombination coefficient increases.


title: AI-assisted PHY technologies for 6G and beyond wireless networks

abstract: Machine Learning (ML) and Artificial Intelligence(AI) have become alternative approaches in wireless networksbeside conventional approaches such as model based solutionconcepts. Whereas traditional design concepts include the mod-elling of the behaviour of the underlying processes, AI basedapproaches allow to design network functions by learning frominput data which is supposed to get mapped to specific outputs(training). Additionally, new input/output relations can be learntduring the deployement phase of the function (online learning)and make AI based solutions flexible, in order to react to newsituations. Especially, new introduced use cases such as UltraReliable Low Latency Communication (URLLC) and MassiveMachine Type Communications (MMTC) in 5G make this ap-proach necessary, as the network complexity is further enhancedcompared to networks mainly designed for human driven traffic(4G, 5G xMBB). The focus of this paper is to illustrate exemplaryapplications of AI techniques at the Physical Layer (PHY) offuture wireless systems and therfore they can be seen as candidatetechnologies for e.g. 6G systems.


title: Seeds for collisionless reconnection

abstract: A stationary, two-dimensional, and non-driven antiparallel magnetic field configuration consisting of a central current film, flanked by two non-magnetic domains of electron inertial scale, resembling the Josephson model. Landau-Ginsburg conditions apply at the boundaries to the oppositely directed external magnetic fields, whose sources are located at infinity. On the microscopic level sufficiently large magnetic islands and X points form from exchange of small numbers of elementary magnetic fluxes without reference to any plasma instabilities which on these scales are purely electrostatic. These may serve as seeds to ignite large-scale collisionless reconnection.


title: High-$K$ multi-particle bands and pairing reduction in $^{254}$No

abstract: The multi-particle states and rotational properties of two-particle bands in $^{254}$No are investigated by the cranked shell model (CSM) with pairing correlations treated by a particle-number conserving (PNC) method. For the first time, the rotational bands on top of two-particle $K^{\pi}=3^+,8^-$ and $10^+$ states and the pairing reduction are studied theoretically in $^{254}$No. The experimental excitation energies and moments of inertia for the multi-particle state are reproduced well by the calculation. Better agreement with the data are achieved by including the high-order deformation $\varepsilon_{6}$ which leads to enlarged $Z=100$ and $N=152$ deformed shell gaps. The rise of the $J^{(1)}$ in these two-particle bands compared with the ground-state band is attributed to the pairing reduction due to the Pauli blocking effects.


title: A Convolutional Neural Network with Mapping Layers for Hyperspectral Image Classification

abstract: In this paper, we propose a convolutional neural network with mapping layers (MCNN) for hyperspectral image (HSI) classification. The proposed mapping layers map the input patch into a low dimensional subspace by multilinear algebra. We use our mapping layers to reduce the spectral and spatial redundancy and maintain most energy of the input. The feature extracted by our mapping layers can also reduce the number of following convolutional layers for feature extraction. Our MCNN architecture avoids the declining accuracy with increasing layers phenomenon of deep learning models for HSI classification and also saves the training time for its effective mapping layers. Furthermore, we impose the 3-D convolutional kernel on convolutional layer to extract the spectral-spatial features for HSI. We tested our MCNN on three datasets of Indian Pines, University of Pavia and Salinas, and we achieved the classification accuracy of 98.3%, 99.5% and 99.3%, respectively. Experimental results demonstrate that the proposed MCNN can significantly improve the classification accuracy and save much time consumption.


title: Description and classification of 2-solitary waves for nonlinear damped Klein-Gordon equations

abstract: We describe completely 2-solitary waves related to the ground state of the nonlinear damped Klein-Gordon equation \begin{equation*} \partial_{tt}u+2\alpha\partial_{t}u-\Delta u+u-|u|^{p-1}u=0 \end{equation*} on $\bf R^N$, for $1\leq N\leq 5$ and energy subcritical exponents $p>2$. The description is twofold. First, we prove that 2-solitary waves with same sign do not exist. Second, we construct and classify the full family of 2-solitary waves in the case of opposite signs. Close to the sum of two remote solitary waves, it turns out that only the components of the initial data in the unstable direction of each ground state are relevant in the large time asymptotic behavior of the solution. In particular, we show that $2$-solitary waves have a universal behavior: the distance between the solitary waves is asymptotic to $\log t$ as $t\to \infty$. This behavior is due to damping of the initial data combined with strong interactions between the solitary waves.


title: Thinking Globally, Acting Locally: Distantly Supervised Global-to-Local Knowledge Selection for Background Based Conversation

abstract: Background Based Conversations (BBCs) have been introduced to help conversational systems avoid generating overly generic responses. In a BBC, the conversation is grounded in a knowledge source. A key challenge in BBCs is Knowledge Selection (KS): given a conversational context, try to find the appropriate background knowledge (a text fragment containing related facts or comments, etc.) based on which to generate the next response. Previous work addresses KS by employing attention and/or pointer mechanisms. These mechanisms use a local perspective, i.e., they select a token at a time based solely on the current decoding state. We argue for the adoption of a global perspective, i.e., pre-selecting some text fragments from the background knowledge that could help determine the topic of the next response. We enhance KS in BBCs by introducing a Global-to-Local Knowledge Selection (GLKS) mechanism. Given a conversational context and background knowledge, we first learn a topic transition vector to encode the most likely text fragments to be used in the next response, which is then used to guide the local KS at each decoding timestamp. In order to effectively learn the topic transition vector, we propose a distantly supervised learning schema. Experimental results show that the GLKS model significantly outperforms state-of-the-art methods in terms of both automatic and human evaluation. More importantly, GLKS achieves this without requiring any extra annotations, which demonstrates its high degree of scalability.


title: CT Field of View Extension Using Combined Channels Extension and Deep Learning Methods

abstract: This paper proposes a method to extend the field of view of computed tomography images. In a first step, the field of view is increased by extrapolating linearly the outer channels in the sinogram space. The modified sinogram is then used to reconstruct extended field of view (EFoV) images containing artifacts due to the channels extension. In a second step, those artifacts are reduced by a deep learning network in image space. The proposed method has been evaluated on a collection of clinical scans. The resulting volumes have been checked for consistency and plausibility and compared to an existing state of the art EFoV method.


title: A Flexible Neural Renderer for Material Visualization

abstract: Photo realism in computer generated imagery is crucially dependent on how well an artist is able to recreate real-world materials in the scene. The workflow for material modeling and editing typically involves manual tweaking of material parameters and uses a standard path tracing engine for visual feedback. A lot of time may be spent in iterative selection and rendering of materials at an appropriate quality. In this work, we propose a convolutional neural network based workflow which quickly generates high-quality ray traced material visualizations on a shaderball. Our novel architecture allows for control over environment lighting and assists material selection along with the ability to render spatially-varying materials. Additionally, our network enables control over environment lighting which gives an artist more freedom and provides better visualization of the rendered material. Comparison with state-of-the-art denoising and neural rendering techniques suggests that our neural renderer performs faster and better. We provide a interactive visualization tool and release our training dataset to foster further research in this area.


title: Observing collisions beyond the secular approximation limit

abstract: Energy transfer through quantum coherences plays an essential role in diverse natural phenomena and technological applications, such as human vision, light-harvesting complexes, quantum heat engines, and quantum information and computing. The understanding of the long-lived coherence involved in these phenomena requires a detailed modeling of the system-bath interactions beyond the so-called secular and/or Markovian approximations. Despite continuous theoretical progress on understanding nonsecular dynamics in the last decades, convincing experimental observations are still lacking. By using the laser-kicked molecular rotor as a model system, we here experimentally unveil the nonsecular dynamics in the rotational relaxation of molecules due to thermal collisions. Specifically, the rotational coherence in gas-phase molecules is systematically probed and characterized by the recently discovered rotational alignment echoes featuring a decoherence and dissipation process which can only be explained by the nonsecular quantum master equations for modeling molecular collisions.


title: Transductive Data-Selection Algorithms for Fine-Tuning Neural Machine Translation

abstract: Machine Translation models are trained to translate a variety of documents from one language into another. However, models specifically trained for a particular characteristics of the documents tend to perform better. Fine-tuning is a technique for adapting an NMT model to some domain. In this work, we want to use this technique to adapt the model to a given test set. In particular, we are using transductive data selection algorithms which take advantage the information of the test set to retrieve sentences from a larger parallel set. In cases where the model is available at translation time (when the test set is provided), it can be adapted with a small subset of data, thereby achieving better performance than a generic model or a domain-adapted model.


title: Short-depth trial-wavefunctions for the variational quantum eigensolver based on the problem Hamiltonian

abstract: For the variational quantum eigensolver we propose to generate trial wavefunctions from a small amount of selected Pauli terms of the problem Hamiltonian. Two different approaches, one inspired by the quantum approximate optimization algorithm and the other by imaginary-time evolution, are proposed and studied in detail. Using numerical calculations, we study the efficiency of these trial wavefunctions for finding the ground-state energy of three molecules: H2, LiH and H2O. We find that only a small number of Pauli terms are needed to reach chemical accuracy, leading to short-depth quantum circuits with a small number of variational parameters. For the LiH molecule, the quantum circuit consists of 36 two-qubit gates, 45 one-qubit gates, and four variational parameters, with a favorable scaling for larger molecules.


title: Impact of the Nuclear Equation of State on the Stability of Hybrid Neutron Stars

abstract: We construct a set of equations of state (EoS) of dense and hot matter with a 1st order phase transition from a hadronic system to a deconfined quark matter state. In this two-phase approach, hadrons are described using the relativistic mean field theory with different parametrisations and the deconfined quark phase is modeled using vBag, a bag-type model extended to include vector interactions as well as a simultaneous onset of chiral symmetry restoration and deconfinement. This feature results in a non-trivial connection between the hadron and quark EoS, modifying the quark phase beyond its onset density. We find that this unique property has an impact on the predicted hybrid (quark core) neutron star mass--radius relations.


title: Non-local Recurrent Neural Memory for Supervised Sequence Modeling

abstract: Typical methods for supervised sequence modeling are built upon the recurrent neural networks to capture temporal dependencies. One potential limitation of these methods is that they only model explicitly information interactions between adjacent time steps in a sequence, hence the high-order interactions between nonadjacent time steps are not fully exploited. It greatly limits the capability of modeling the long-range temporal dependencies since one-order interactions cannot be maintained for a long term due to information dilution and gradient vanishing. To tackle this limitation, we propose the Non-local Recurrent Neural Memory (NRNM) for supervised sequence modeling, which performs non-local operations to learn full-order interactions within a sliding temporal block and models global interactions between blocks in a gated recurrent manner. Consequently, our model is able to capture the long-range dependencies. Besides, the latent high-level features contained in high-order interactions can be distilled by our model. We demonstrate the merits of our NRNM on two different tasks: action recognition and sentiment analysis.


title: Stability Theorems in Pointwise Dynamics

abstract: We introduce minimally expansive and GH-stable points for homeomorphisms on metric spaces and $\mu$-uniformly expansive, $\mu$-shadowable and strong $\mu$-topologically stable points for Borel measures (with respect to a homeomorphism on a metric space). We prove that: (i) minimally expansive shadowable point of a homeomorphism on a compact metric space is topologically stable and GH-stable. (ii) $\mu$-uniformly expansive $\mu$-shadowable point for a Borel measure $\mu$ (with respect to a homeomorphism on a compact metric space) is strong $\mu$-topologically stable.


title: Singular perturbations of Laplace operator and their resolvents

abstract: An inner closed (without boundary) smooth manifold of a lower dimension is cut from a multidimensional ball. In this region, invertible restrictions of the Laplace operator are well defined. In particular, the well-posed non-smooth Bitsadze-Samarski\u{i} problem for the Laplace equation is defined. Moreover, we obtain M.G. Krein's formula for the trace of the difference of resolvents of the studied operators. We prove assertions on the spectrum of the non-smooth Bitsadze-Samarski\u{i} problem.


title: Determining the optimal coefficient of the spatially periodic Fisher-KPP equation that minimizes the spreading speed

abstract: This paper is concerned with the spatially periodic Fisher-KPP equation $u_t=(d(x)u_x)_x+(r(x)-u)u$, $x\in \mathbb{R}$, where $d(x)$ and $r(x)$ are periodic functions with period $L>0$. We assume that $r(x)$ has positive mean and $d(x)>0$. It is known that there exists a positive number $c^*_d(r)$, called the minimal wave speed, such that a periodic traveling wave solution with average speed $c$ exists if and only if $c \geq c^*_d(r)$. In the one-dimensional case, the minimal speed $c^*_d(r)$ coincides with the ``spreading speed'', that is, the asymptotic speed of the propagating front of a solution with compactly supported initial data. In this paper, we study the minimizing problem for the minimal speed $c^*_d(r)$ by varying $r(x)$ under a certain constraint, while $d(x)$ arbitrarily. We have been able to obtain an explicit form of the minimizing function $r(x)$. Our result provides the first calculable example of the minimal speed for spatially periodic Fisher-KPP equations as far as the author knows.


title: Error Bounded Foreground and Background Modeling for Moving Object Detection in Satellite Videos

abstract: Detecting moving objects from ground-based videos is commonly achieved by using background subtraction techniques. Low-rank matrix decomposition inspires a set of state-of-the-art approaches for this task. It is integrated with structured sparsity regularization to achieve background subtraction in the developed method of Low-rank and Structured Sparse Decomposition (LSD). However, when this method is applied to satellite videos where spatial resolution is poor and targets' contrast to the background is low, its performance is limited as the data no longer fits adequately either the foreground structure or the background model. In this paper, we handle these unexplained data explicitly and address the moving target detection from space as one of the pioneer studies. We propose a technique by extending the decomposition formulation with bounded errors, named Extended Low-rank and Structured Sparse Decomposition (E-LSD). This formulation integrates low-rank background, structured sparse foreground and their residuals in a matrix decomposition problem. We provide an effective solution by introducing an alternative treatment and adopting the direct extension of Alternating Direction Method of Multipliers (ADMM). The proposed E-LSD was validated on two satellite videos, and experimental results demonstrate the improvement in background modeling with boosted moving object detection precision over state-of-the-art methods.


title: Uncertainty-Aware Anticipation of Activities

abstract: Anticipating future activities in video is a task with many practical applications. While earlier approaches are limited to just a few seconds in the future, the prediction time horizon has just recently been extended to several minutes in the future. However, as increasing the predicted time horizon, the future becomes more uncertain and models that generate a single prediction fail at capturing the different possible future activities. In this paper, we address the uncertainty modelling for predicting long-term future activities. Both an action model and a length model are trained to model the probability distribution of the future activities. At test time, we sample from the predicted distributions multiple samples that correspond to the different possible sequences of future activities. Our model is evaluated on two challenging datasets and shows a good performance in capturing the multi-modal future activities without compromising the accuracy when predicting a single sequence of future activities.


title: Annals of Library and Information Studies. A bibliometric analysis of the journal and a comparison with the top library and information studies journals in Asia and worldwide (2011_2017)

abstract: This paper presents a thorough bibliometric analysis of research published in Annals of Library and Information Studies (ALIS), an India-based journal, for the period 2011_2017. Specifically, it compares this journal's trends with those of other library and information science (LIS) journals from the same geographical area (India, and Asia as a whole) and with the 10 highest-rated LIS journals worldwide. The source of the data used was the multidisciplinary database Scopus. To perform this comparison, ALIS' production was analyzed in order to identify authorship patterns; for example, authors' countries of residence, co-authorship trends, and collaboration networks. Research topics were identified through keyword analysis, while performance was measured by examining the number of citations articles received. This study provides substantial information. The research lines detected through examining the keywords in ALIS articles were determined to be similar to those for the top LIS journals in both Asia and worldwide. Specifically, ALIS authors are focusing on metrics, bibliometrics, and social networking, which follows global trends. Notably, however, collaboration among Asia-based journals was found to be lower than that in the top-indexed journals in the LIS field. The results obtained present a roadmap for expanding the research in this field.


title: The optimal symmetric quasi-Banach range of the discrete Hilbert transform

abstract: We identify symmetric quasi-Banach range of the discrete Calder\'{o}n operator and Hilbert transform acting on a symmetric quasi-Banach sequence space. As an application we present an example of optimal range in the case when the domain of those operators is the weak-$\ell_{1}$ space of sequences.


title: Universality and template synthesis of cosmic ray air shower radio emission

abstract: Accurate prediction of the radio emission from cosmic ray air showers relies on computationally demanding Monte Carlo simulations such as CoREAS. We aim to expedite this process via a semi-analytical synthesis model while maintaining high accuracy by using simulated radio pulses as templates. We present our key concept for template processing focusing on the development of the particle cascade and its empirical effect on the locally produced radio signal. In this context the universality of the radio emission from small sections of an air shower also becomes important where most previous studies focus on integral quantities observable at far distances.


title: ERRATA CORRIGE: Intrinsic algebraic entropy

abstract: The notion of intrinsic algebraic entropy of an endomorphism of a given Abelian group has been recently introduced in [D. Dikranjan, A. Giordano Bruno, L. Salce, S. Virili, Intrinsic algebraic entropy, J. Pure Appl. Algebra 219 (2015) 2933-2961]. In this short note we provide a correct argument to prove one of the basic properties of the intrinsic algebraic entropy: the Logarithmic Law. In fact, this property was correctly stated in [op. cit.] but, as we will show with an explicit counterexample, the original proof contains a flaw.


title: On the Nonlinear Impulsive Volterra-Fredholm Integrodifferential Equations

abstract: In this paper, we investigate existence and uniqueness of solutions of nonlinear Volterra-Fredholm impulsive integrodifferential equations. Utilizing theory of Picard operators we examine data dependence of solutions on initial conditions and on nonlinear functions involved in integrodifferential equations. Further, we extend the integral inequality for piece-wise continuous functions to mixed case and apply it to investigate the dependence of solution on initial data through $\epsilon$-approximate solutions. It is seen that the uniqueness and dependency results got by means of integral inequity requires less restrictions on the functions involved in the equations than that required through Picard operators theory.


title: Anomalous Dispersion of LO Phonons in Oxygen-Doped La$_{2-x}$Sr$_{x}$CuO$_{4+\delta}$

abstract: Inelastic neutron scattering has been used to study the in-plane Cu-O bond-stretching mode in oxygen doped La$_{1.94}$Sr$_{0.06}$CuO$_{4.035}$ ($T_c = 38\,\text{K}$) and La$_2$CuO$_{4+\delta}$ ($T_c = 43\,\text{K}$). Similar to results from optimally doped La$_{1.85}$Sr$_{0.15}$CuO$_4$ ($T_c = 35\,\text{K}$), we observe anomalous features in the dispersion of this half-breathing mode in the form of a softening halfway through the Brillouin Zone. Considering the differences in electronic structure and local environment between the oxygen- and strontium-doped compounds with similar $T_\text{c}$, we rule out a connection between the phonon anomaly and structural instabilities related to the specific dopant type. We interpret the phonon anomaly as a signature of correlated charge fluctuations possibly connected to stripes.


title: Constructing Self-motivated Pyramid Curriculums for Cross-Domain Semantic Segmentation: A Non-Adversarial Approach

abstract: We propose a new approach, called self-motivated pyramid curriculum domain adaptation (PyCDA), to facilitate the adaptation of semantic segmentation neural networks from synthetic source domains to real target domains. Our approach draws on an insight connecting two existing works: curriculum domain adaptation and self-training. Inspired by the former, PyCDA constructs a pyramid curriculum which contains various properties about the target domain. Those properties are mainly about the desired label distributions over the target domain images, image regions, and pixels. By enforcing the segmentation neural network to observe those properties, we can improve the network's generalization capability to the target domain. Motivated by the self-training, we infer this pyramid of properties by resorting to the semantic segmentation network itself. Unlike prior work, we do not need to maintain any additional models (e.g., logistic regression or discriminator networks) or to solve minmax problems which are often difficult to optimize. We report state-of-the-art results for the adaptation from both GTAV and SYNTHIA to Cityscapes, two popular settings in unsupervised domain adaptation for semantic segmentation.


title: The optimal range of the Calder\`{o}n operator and its applications

abstract: We identify the optimal range of the Calder\`{o}n operator and that of the classical Hilbert transform in the class of symmetric quasi-Banach spaces. Further consequences of our approach concern the optimal range of the triangular truncation operator, operator Lipschitz functions and commutator estimates in ideals of compact operators.


title: Oprema -- The Relay Computer of Carl Zeiss Jena

abstract: The Oprema (Optikrechenmaschine = computer for optical calculations) was a relay computer whose development was initiated by Herbert Kortum and which was designed and built by a team under the leadership of Wilhelm Kaemmerer at Carl Zeiss Jena (CZJ) in 1954 and 1955. Basic experiments, design and construction of machine-1 were all done, partly concurrently, in the remarkably short time of about 14 months. Shortly after the electronic G 2 of Heinz Billing in Goettingen it was the 7th universal computer in Germany and the 1st in the GDR. The Oprema consisted of two identical machines. One machine consisted of about 8,300 relays, 45,000 selenium rectifiers and 250 km cable. The main reason for the construction of the Oprema was the computational needs of CZJ, which was the leading company for optics and precision mechanics in the GDR. During its lifetime (1955-1963) the Oprema was applied by CZJ and a number of other institutes and companies in the GDR. The paper presents new details of the Oprema project and of the arithmetic operations implemented in the Oprema. Additionally, it covers briefly the lives of the two protagonists, W. Kaemmerer and H. Kortum, and draws some comparisons with other early projects, namely Colossus, ASCC/Mark 1 and ENIAC. Finally, it discusses the question, whether Kortum is a German computer pioneer.


title: Customizable Architecture Search for Semantic Segmentation

abstract: In this paper, we propose a Customizable Architecture Search (CAS) approach to automatically generate a network architecture for semantic image segmentation. The generated network consists of a sequence of stacked computation cells. A computation cell is represented as a directed acyclic graph, in which each node is a hidden representation (i.e., feature map) and each edge is associated with an operation (e.g., convolution and pooling), which transforms data to a new layer. During the training, the CAS algorithm explores the search space for an optimized computation cell to build a network. The cells of the same type share one architecture but with different weights. In real applications, however, an optimization may need to be conducted under some constraints such as GPU time and model size. To this end, a cost corresponding to the constraint will be assigned to each operation. When an operation is selected during the search, its associated cost will be added to the objective. As a result, our CAS is able to search an optimized architecture with customized constraints. The approach has been thoroughly evaluated on Cityscapes and CamVid datasets, and demonstrates superior performance over several state-of-the-art techniques. More remarkably, our CAS achieves 72.3% mIoU on the Cityscapes dataset with speed of 108 FPS on an Nvidia TitanXp GPU.


title: Measurement of the Diffuse Astrophysical Muon-Neutrino Spectrum with Ten Years of IceCube Data

abstract: The IceCube Neutrino Observatory measured a flux of high-energy astrophysical neutrinos in several detection channels. The energy spectrum is fitted as unbroken power-law, but different best-fit parameters were obtained in the various analyses covering different energy ranges between few TeV to 10 PeV. Here, we present an update to the analysis of through-going muon-neutrinos from the Northern Hemisphere. It was extended to almost ten years of data and an improved treatment of systematic uncertainties on the atmospheric fluxes was implemented. The updated best-fit parameters for the astrophysical flux assuming a power-law energy spectrum are $\Phi_{astro}=1.44$ and $\gamma_{astro}=2.28$. We will present the results of the spectral fit and discuss how the measured flux compares to other IceCube results.


title: Meson Screening Masses in (2+1)-Flavor QCD

abstract: We present lattice QCD results for mesonic screening masses in the temperature range 140 MeV $\lesssim T \lesssim$ 2500 MeV. Our calculations were carried out using (2+1)-flavors of the Highly Improved Staggered Quark (HISQ) action, with a physical value for the strange quark mass and two values of the light quark mass corresponding to pion masses of 160 MeV and 140 MeV. Continuum-extrapolated results were obtained using calculations with a variety of lattice spacings corresponding to temporal lattice extents $N_\tau = 6 - 16$. We discuss the implications of these results for the effective restoration of various symmetries in the high temperature phase of QCD, as well as the approach toward the perturbative limit.


title: External Spanier-Whitehead duality and homology representation theorems for diagram spaces

abstract: We construct a Spanier-Whitehead type duality functor relating finite $\mathcal{C}$-spectra to finite $\mathcal{C}^{\mathrm{op}}$-spectra and prove that every $\mathcal{C}$-homology theory is given by taking the homotopy groups of a balanced smash product with a fixed $\mathcal{C}^{\mathrm{op}}$-spectrum. We use this to construct Chern characters for certain rational $\mathcal{C}$-homology theories.


title: Data-driven retrieval of primary plane-wave responses

abstract: Seismic images provided by reverse time migration can be contaminated by artefacts associated with the migration of multiples. Multiples can corrupt seismic images, producing both false positives, i.e. by focusing energy at unphysical interfaces, and false negatives, i.e. by destructively interfering with primaries. Multiple prediction / primary synthesis methods are usually designed to operate on point source gathers, and can therefore be computationally demanding when large problems are considered. A computationally attractive scheme that operates on plane-wave datasets is derived by adapting a data-driven point source gathers method, based on convolutions and cross-correlations of the reflection response with itself, to include plane-wave concepts. As a result, the presented algorithm allows fully data-driven synthesis of primary reflections associated with plane-wave source responses. Once primary plane-wave responses are estimated, they are used for multiple-free imaging via plane-wave reverse time migration. Numerical tests of increasing complexity demonstrate the potential of the proposed algorithm to produce multiple-free images from only a small number of plane-wave datasets.


title: Effects of Defects in Superconducting Phase of Twisted Bilayer Graphene

abstract: In this work the effects of defects in the superconducting phases of the twisted bilayer graphene (TBG) are investigated. A will-accepted low energy effective model and a non-magnetic impurity potential to mimic defects are employed. Different superconducting pairing symmetries, including $s$-wave, $(d+id)$-wave and $(p+ip)$-wave pairing, are considered. In single impurity case, the local density of states (DOS) are calculated for the pairing symmetries above. For different pairing symmetries the number and property of bound states induced by defects are different. In multi-impurity case, the phase diagrams are calculated in terms of effective gap and the strength and density of impurities. In unconventional superconducting phases, namely $(p+ip)$-wave and $(d+id)$-wave phases, superconductivity will be destroyed by impurities with strong strength or concentration. These results can in principle be detected in scanning tunnelling microscopy (STM) experiments, and therefore the pairing symmetry, at least whether the superconductivity is conventional or unconventional, may be determined.


title: Amplitude and frequency sensing of microwave fields with a superconducting transmon qudit

abstract: Experiments with superconducting circuits require careful calibration of the applied pulses and fields over a large frequency range. This remains an ongoing challenge as commercial semiconductor electronics are not able to probe signals arriving at the chip due to its cryogenic environment. Here, we demonstrate how the on-chip amplitude and frequency of a microwave signal can be inferred from the ac Stark shifts of higher transmon levels. In our time-resolved measurements we employ Ramsey fringes, allowing us to detect the amplitude of the systems transfer function over a range of several hundreds of MHz with an energy sensitivity on the order of $10^{-4}$. Combined with similar measurements for the phase of the transfer function, our sensing method can facilitate pulse correction for high fidelity quantum gates in superconducting circuits. Additionally, the potential to characterize arbitrary microwave fields promotes applications in related areas of research, such as quantum optics or hybrid microwave systems including photonic, mechanical or magnonic subsystems.


title: OpenVoting: Recoverability from Failures in Dual Voting

abstract: In this paper we address the problem of recovery from failures without re-running entire elections when elections fail to verify. We consider the setting of \emph{dual voting} protocols, where the cryptographic guarantees of end-to-end verifiable voting (E2E-V) are combined with the simplicity of audit using voter-verified paper records (VVPR). We first consider the design requirements of such a system and then suggest a protocol called \emph{OpenVoting}, which identifies a verifiable subset of error-free votes consistent with the VVPRs, and the polling booths corresponding to the votes that fail to verify with possible reasons for the failures. To an ordinary voter \emph{OpenVoting} looks just like an old fashioned paper based voting system, with minimal additional cognitive overload.


title: Quantum bits with Josephson junctions

abstract: Already in the first edition of this book (Barone and Paterno, "Fundamentals and Physics and Applications of the Josephson Effect", Wiley 1982), a great number of interesting and important applications for Josephson junctions were discussed. In the decades that have passed since then, several new applications have emerged. This chapter treats one such new class of applications: quantum optics and quantum information processing (QIP) based on superconducting circuits with Josephson junctions. In this chapter, we aim to explain the basics of superconducting quantum circuits with Josephson junctions and demonstrate how these systems open up new prospects, both for QIP and for the study of quantum optics and atomic physics.


title: Edge-following topological states

abstract: We prove that Chern insulators have topologically protected edge states which not only propagate unidirectionally along a straight line boundary, but also swerve around arbitrary-angled corners and geometric imperfections of the material boundary. This is a physical manifestation of the index theory of certain semigroup operator algebras.

categories: math-ph cond-mat.mes-hall math.KT math.MP math.OA


title: Accelerated Motion-Aware MR Imaging via Motion Prediction from K-Space Center

abstract: Motion has been a challenge for magnetic resonance (MR) imaging ever since the MR has been invented. Especially in volumetric imaging of thoracic and abdominal organs, motion-awareness is essential for reducing motion artifacts in the final image. A recently proposed MR imaging approach copes with motion by observing the motion patterns during the acquisition. Repetitive scanning of the k-space center region enables the extraction of the patient motion while acquiring the remaining part of the k-space. Due to highly redundant measurements of the center, the required scanning time of over 11 min and the reconstruction time of 2 h exceed clinical applicability though. We propose an accelerated motion-aware MR imaging method where the motion is inferred from small-sized k-space center patches and an initial training phase during which the characteristic movements are modeled. Thereby, acquisition times are reduced by a factor of almost 2 and reconstruction times by two orders of magnitude. Moreover, we improve the existing motion-aware approach with a systematic temporal shift correction to achieve a sharper image reconstruction. We tested our method on 12 volunteers and scanned their lungs and abdomen under free breathing. We achieved equivalent to higher reconstruction quality using the motion-prediction compared to the slower existing approach.


title: Blow-up dynamics for $L^2$-critical fractional Schr\"odinger equations

abstract: In this paper, we will consider the $L^2$-critical fractional Schr\"odinger equation $iu_t-|D|^{\beta}u+|u|^{2\beta}u=0$ with initial data $u_0\in H^{\beta/2}(\mathbb{R})$ and $\beta$ close to $2$. We will show that the solution blows up in finite time if the initial data has negative energy and slightly supercritical mass. We will also give a specific description for the blow-up dynamics. This is an extension of the work of F. Merle and P. Rapha\"el for $L^2$-critical Schr\"odinger equations but the nonlocal structure of this equation and the lack of some symmetries make the analysis more complicated, hence some new strategies are required.


title: Sensitivity of Lepton Number Violating Meson Decays in Different Experiments

abstract: We study the discovery prospect of different three body lepton number violating~(LNV) meson decays $M_{1}^{-}\to\ell_{1}^{-}\ell_{2}^{-}M_{2}^{+}$ in the framework of right handed~(RH) neutrino extended Standard Model~(SM). We consider a number of ongoing experiments, such as, NA62 and LHCb at CERN, Belle II at SuperKEK, as well as at the proposed future experiments, SHiP, MATHUSLA and FCC-ee. The RH Majorana neutrino $N$ mediating these meson decays provides a resonant enhancement of the rates, if the mass of $N$ lies in the range $(100\, \text{MeV}-6\, \text{GeV})$. We consider the effect of parent mesons velocity, as well as, the effect of finite detector size. Using the expected upper limits on the number of events for the LNV decay modes, $M_{1}^{-} \to\ell_1^{-}\ell_2^{-}\pi^{+}$~($M_{1}=B, B_c,D, D_{s}\,\text{and}\,K$), we analyze the sensitivity reach of the mixing angles $|V_{e N}|^{2}$, $|V_{\mu N}|^{2}$, $|V_{\tau N}|^{2}$, $|V_{e N}V_{\mu N}|$, $|V_{e N}V_{\tau N}|$ and $|V_{\mu N}V_{\tau N}|$ as a function of heavy neutrino mass $M_{N}$. We show that, inclusion of parent meson velocity can account to a large difference for active-sterile mixing, specially for $D$, $D_s$ meson decay at SHiP and $K$ meson decay at NA62. Taking into account the velocity of the $D_s$ meson, the future beam dump experiment SHiP can probe $|V_{eN}|^2 \sim 10^{-9}$. For RH neutrino mass in between 2 - 5 GeV, MATHUSLA can provide best sensitivity reach of active-sterile mixings.


title: Hybrid detection of high-energy cosmic neutrinos with the next-generation neutrino detectors at the South Pole

abstract: In 2013 the IceCube collaboration announced the discovery of a cosmic neutrino flux up to PeV energies, validating neutrino astronomy as the next promising observational technique to explore the high-energy Universe. The neutrino community is moving forward with the construction of new facilities to enhance the detection of these elusive particles at higher energies (up to and beyond EeV) and to increase the statistics at the high-energy end of the IceCube neutrino flux. Future large volume neutrino detectors, using both the radio Askaryan and the optical Cherenkov signal, will open the possibility of hybrid detection of neutrino interactions within the polar ice. In this contribution we present a first calculation of the expected number of events for a simplified geometry of one radio station located at 200 m depth in the vicinity of a ~10 km^3 in-ice Cherenkov detector, similar to the planned IceCube-Gen2 neutrino observatory. Preliminary simulations show that a total event rate of ~1 event/year is achievable for a 10-stations array assuming that the Askaryan radio detectors can lower their energy threshold down to ~PeV energies. Such a possibility is currently under study for the future radio extension foreseen as one of the surface components of IceCube-Gen2.


title: Towards Blockchain-enabled Searchable Encryption

abstract: Distributed Leger Technologies (DLTs), most notably Blockchain technologies, bring decentralised platforms that eliminate a single trusted third party and avoid the notorious single point of failure vulnerability. Since Nakamoto's Bitcoin cryptocurrency system, an enormous number of decentralised applications have been proposed on top of these technologies, aiming at more transparency and trustworthiness than their traditional counterparts. These applications spread over a lot of areas, e.g. financial services, healthcare, transportation, supply chain management, and cloud computing. While Blockchain brings transparency and decentralised trust intuitively due to the consensus of a (very large) group of nodes (or, miners), it introduces very subtle implications for other desirable properties such as privacy. In this work, we demonstrate these subtle implications for Blockchain-based searchable encryption solutions, which are one specific use case of cloud computing services. These solutions rely on Blockchain to achieve both the standard privacy property and the new fairness property, which requires that search operations are carried out faithfully and are rewarded accordingly. We show that directly replacing the server in an existing searchable encryption solution with a Blockchain will cause undesirable operational cost, privacy loss, and security vulnerabilities. The analysis results indicate that a dedicated server is still needed to achieve the desired privacy guarantee. To this end, we propose two frameworks which can be instantiated based on most existing searchable encryption schemes. Through analysing these two frameworks, we affirmatively show that a carefully engineered Blockchain-based solution can achieve the desired fairness property while preserving the privacy guarantee of the original searchable encryption scheme simultaneously.


title: Drag Reduction and Energy Saving by Spanwise Traveling Transversal Surface Waves for Flat Plate Flow

abstract: Wall-resolved large-eddy simulations are performed to study the impact of spanwise traveling transversal surface waves in zero-pressure gradient turbulent boundary layer flow. Eighty variations of wavelength, period, and amplitude of the space- and time-dependent sinusoidal wall motion are considered for a boundary layer at a momentum thickness based Reynolds number of $Re_\theta = 1000$. The results show a strong decrease of friction drag of up to $26\,\%$ and considerable net power saving of up to $10\,\%$. However, the highest net power saving does not occur at the maximum drag reduction. The drag reduction is modeled as a function of the actuation parameters by support vector regression using the LES data. A substantial attenuation of the near-wall turbulence intensity and especially a weakening of the near-wall velocity streaks are observed. Similarities between the current actuation technique and the method of a spanwise oscillating wall without any normal surface deflection are reported. In particular, the generation of a directional spanwise oscillating Stokes layer is found to be related to skin-friction reduction.


title: Observation of transferred-electron oscillations in diamond

abstract: The transferred-electron oscillator (TEO) is a device used in microwave applications that utilizes the negative differential mobility (NDM) effect to generate continuous oscillations. Recently, NDM was observed in intrinsic single-crystalline chemical vapor deposition (SC-CVD) diamond. The occurrence was explained by the electron repopulation between its different conduction band valleys. This paper presents the results of constructing a diamond TEO based on the NDM effect. A series of experiments has been performed for varying voltages, temperatures and resonator parameters on three SC-CVD diamond samples of different thicknesses. For the temperature range 90-300 K, we observe transferred-electron oscillations in diamond.


title: $\alpha$-modulation spaces for step two stratified Lie groups

abstract: We define and investigate $\alpha$-modulation spaces $M_{p,q}^{s,\alpha}(G)$ associated to a step two stratified Lie group $G$ with rational structure constants. This is an extension of the Euclidean $\alpha$-modulation spaces $M_{p,q}^{s,\alpha}(\mathbb{R}^n)$ that act as intermediate spaces between the modulation spaces ($\alpha = 0$) in time-frequency analysis and the Besov spaces ($\alpha = 1$) in harmonic analysis. We will illustrate that the the group structure and dilation structure on $G$ affect the boundary cases $\alpha = 0,1$ where the spaces $M_{p,q}^{s}(G)$ and $\mathcal{B}_{p,q}^{s}(G)$ have non-standard translation and dilation symmetries. Moreover, we show that the spaces $M_{p,q}^{s,\alpha}(G)$ are non-trivial and generally distinct from their Euclidean counterparts. Finally, we examine how the metric geometry of the coverings $\mathcal{Q}(G)$ underlying the $\alpha = 0$ case $M_{p,q}^{s}(G)$ allows for the existence of geometric embeddings \[F:M_{p,q}^{s}(\mathbb{R}^k) \longrightarrow{} M_{p,q}^{s}(G),\] as long as $k$ (that only depends on $G$) is small enough. Our approach naturally gives rise to several open problems that is further elaborated at the end of the paper.


title: Broadband pumped polarization entangled photon-pair source in a linear beam displacement interferometer

abstract: We experimentally demonstrate a source of polarization entangled photon-pairs based on a single periodically-poled potassium titanyl phosphate (PPKTP) crystal pumped with a broadband, free running laser diode.The crystal is placed within a linear beam-displacement interferometer, and emits photon-pairs based ontype-0 spontaneous parametric downconversion (SPDC). We observe pair rates of 0.56 Mpairs/s/mW in a single spatial mode with a polarization visibility of 97.7% over a spectral range of 100 nm. This experiment demonstrates a pathway towards observing Gigacount rates of polarization entangled photon pairs by using high-power free-running laser diodes with fast multiplexed detectors.


title: Cd acceptors in $Ga_2O_3$, an atomistic view

abstract: Finding suitable p-type dopants, as well as reliable doping and characterization methods for the emerging wide bandgap semiconductor $\beta$-$Ga_2O_3$ could strongly influence and contribute to the development of the next generation of power electronic. In this work, we combine easily accessible ion implantation, diffusion and nuclear transmutation methods to properly incorporate the Cd dopant into the $\beta$-$Ga_2O_3$ lattice, being subsequently characterized at the atomic scale with the Perturbed Angular Correlation (PAC) technique and Density Functional Theory (DFT) simulations. The acceptor character of Cd in $\beta$-$Ga_2O_3$ is demonstrated, with Cd sitting in the octahedral Ga site in the negative charge state, showing no evidence of polaron deformations nor extra point defects nearby. Furthermore, thermally activated free electrons were observed for temperatures above ~648 K with an activation energy of 0.54(1) eV. At lower temperatures the local electron transport is dominated by a tunneling process between defect levels and the Cd probe.


title: Photon orbits and phase transitions in Born-Infeld-dilaton black holes

abstract: Relations between photon orbits and thermodynamical phase transitions are explored in Born-Infeld-dilaton-AdS black hole. The coupling between the electromagnetic field and the dialton field is chosen such that the full phase diagram contains zeroth-order and first-order phase transitions as well as RPT. We find that there exist non-monotonic beahviors of the photon orbit radius $r_{ps}$ and the minimum impact parameter $u_{ps}$ which signal the existence of the various phase transitions. In particular, the marginal value of pressure under which RPT occur can be read off from these behaviors. Along the co-existing lines, there are changes of both $r_{ps}$ and $u_{ps}$, whose dependence on the transition temperature show characteristic behaviors signalling the existence of RPT. Moreover, the critical exponents of $\Delta r_{ps}$ and $\Delta u_{ps}$ are found to take a universal value $\frac{1}{2}$. These results imply that $r_{ps}$ and $u_{ps}$ can be used as order parameters to describe BH phase transitions.


title: Disentangle magnon magnetoresistance from anisotropic and spin Hall magnetoresistance in NiFe/Pt bilayers

abstract: We conducted a systematic angular dependence study of nonlinear magnetoresistance in NiFe/Pt bilayers at variable temperature and field using the Wheatstone bridge method. We successfully disentangled magnon magnetoresistance from other types of magnetoresistances based on their different temperature and field dependences. Both the spin Hall/anisotropic and magnon magnetoresistances contain sine phi and sine 3 phi components with phi the angle between current and magnetization, but they exhibit different field and temperature dependence. The competition between different types of magnetoresistances leads to a sign reversal of sine 3 phi component at a specific magnetic field, which was not reported previously. The phenomenological model developed is able to account for the experimental results for both NiFe/Pt and NiFe/Ta samples with different layer thicknesses. Our results demonstrate the importance of disentangling different types of magnetoresistances when characterizing the charge-spin interconversion process in magnetic heterostructures.


title: Neuromorphic Electronic Systems for Reservoir Computing

abstract: This chapter provides a comprehensive survey of the researches and motivations for hardware implementation of reservoir computing (RC) on neuromorphic electronic systems. Due to its computational efficiency and the fact that training amounts to a simple linear regression, both spiking and non-spiking implementations of reservoir computing on neuromorphic hardware have been developed. Here, a review of these experimental studies is provided to illustrate the progress in this area and to address the technical challenges which arise from this specific hardware implementation. Moreover, to deal with challenges of computation on such unconventional substrates, several lines of potential solutions are presented based on advances in other computational approaches in machine learning. Keywords: Analog Microchips, FPGA, Memristors, Neuromorphic Architectures, Reservoir Computing


title: Embarrassingly Simple Binary Representation Learning

abstract: Recent binary representation learning models usually require sophisticated binary optimization, similarity measure or even generative models as auxiliaries. However, one may wonder whether these non-trivial components are needed to formulate practical and effective hashing models. In this paper, we answer the above question by proposing an embarrassingly simple approach to binary representation learning. With a simple classification objective, our model only incorporates two additional fully-connected layers onto the top of an arbitrary backbone network, whilst complying with the binary constraints during training. The proposed model lower-bounds the Information Bottleneck (IB) between data samples and their semantics, and can be related to many recent `learning to hash' paradigms. We show that, when properly designed, even such a simple network can generate effective binary codes, by fully exploring data semantics without any held-out alternating updating steps or auxiliary models. Experiments are conducted on conventional large-scale benchmarks, i.e., CIFAR-10, NUS-WIDE, and ImageNet, where the proposed simple model outperforms the state-of-the-art methods.


title: Improvability Through Semi-Supervised Learning: A Survey of Theoretical Results

abstract: Semi-supervised learning is a setting in which one has labeled and unlabeled data available. In this survey we explore different types of theoretical results when one uses unlabeled data in classification and regression tasks. Most methods that use unlabeled data rely on certain assumptions about the data distribution. When those assumptions are not met in reality, including unlabeled data may actually decrease performance. Studying such methods, it therefore is particularly important to have an understanding of the underlying theory. In this review we gather results about the possible gains one can achieve when using semi-supervised learning as well as results about the limits of such methods. More precisely, this review collects the answers to the following questions: What are, in terms of improving supervised methods, the limits of semi-supervised learning? What are the assumptions of different methods? What can we achieve if the assumptions are true? Finally, we also discuss the biggest bottleneck of semi-supervised learning, namely the assumptions they make.


title: Random growth on a Ramanujan graph

abstract: The behavior of a certain random growth process is analyzed on arbitrary regular and non-regular graphs. Our argument is based on the Expander Mixing Lemma, which entails that the results are strongest for Ramanujan graphs, which asymptotically maximize the spectral gap. Further, we consider Erd\H{o}s--R\'enyi random graphs and compare our theoretical results with computational experiments on flip graphs of point configurations. The latter is relevant for enumerating triangulations.


title: Spiral arm instability -- III. Fragmentation of primordial protostellar discs

abstract: We study the gravitational instability and fragmentation of primordial protostellar discs by using high-resolution cosmological hydrodynamics simulations. We follow the formation and evolution of spiral arms in protostellar discs, examine the dynamical stability, and identify a physical mechanism of secondary protostar formation. We use linear perturbation theory based on the spiral-arm instability (SAI) analysis in our previous studies. We improve the analysis by incorporating the effects of finite thickness and shearing motion of arms, and derive the physical conditions for SAI in protostellar discs. Our analysis predicts accurately the stability and the onset of arm fragmentation that is determined by the balance between self-gravity and gas pressure plus the Coriolis force. Formation of secondary and multiple protostars in the discs is explained by the SAI, which is driven by self-gravity and thus can operate without rapid gas cooling. We can also predict the typical mass of the fragments, which is found to be in good agreement with the actual masses of secondary protostars formed in the simulation.


title: A Methodology to Select Topology Generators for WANET Simulations (Extended Version)

abstract: Many academic and industrial research works on WANETs rely on simulations, at least in the first stages, to obtain preliminary results to be subsequently validated in real settings. Topology generators (TG) are commonly used to generate the initial placement of nodes in artificial WANET topologies, where those simulations take place. The significance of these experiments heavily depends on the representativeness of artificial topologies. Indeed, if they were not drawn fairly, obtained results would apply only to a subset of possible configurations, hence they would lack of the appropriate generality required to port them to the real world. Although using many TGs could mitigate this issue by generating topologies in several different ways, that would entail a significant additional effort. Hence, the problem arises of what TGs to choose, among a number of available generators, to maximise the representativeness of generated topologies and reduce the number of TGs to use. In this paper, we address that problem by investigating the presence of bias in the initial placement of nodes in artificial WANET topologies produced by different TGs. We propose a methodology to assess such bias and introduce two metrics to quantify the diversity of the topologies generated by a TG with respect to all the available TGs, which can be used to select what TGs to use. We carry out experiments on three well-known TGs, namely BRITE, NPART and GT-ITM. Obtained results show that using the artificial networks produced by a single TG can introduce bias.


title: Jacobian elliptic fibrations on the generalized Inose quartic of Picard rank sixteen

abstract: We consider the family of complex algebraic K3 surfaces $\mathcal{X}$ with Picard lattice containing the unimodular lattice $H \oplus E_7(-1) \oplus E_7(-1)$. The surface $\mathcal{X}$ admits a birational model isomorphic to a quartic hypersurface that generalizes the Inose quartic. We prove that a general member of this family admits exactly four inequivalent Jacobian elliptic fibrations and construct explicit pencils for them.


title: Analytic structure of solutions of the one-dimensional Burgers equation with modified dissipation

abstract: We use the one-dimensional Burgers equation to illustrate the effect of replacing the standard Laplacian dissipation term by a more general function of the Laplacian -- of which hyperviscosity is the best known example -- in equations of hydrodynamics. We analyze the asymptotic structure of solutions in the Fourier space at very high wave-numbers by introducing an approach applicable to a wide class of hydrodynamical equations whose solutions are calculated in the limit of vanishing Reynolds numbers from algebraic recursion relations involving iterated integrations. We give a detailed analysis of their analytic structure for two different types of dissipation: a hyperviscous and an exponentially growing dissipation term. Our results, obtained in the limit of vanishing Reynolds numbers, are validated by high-precision numerical simulations at non-zero Reynolds numbers. We then study the bottleneck problem, an intermediate asymptotics phenomenon, which in the case of the Burgers equation arises when ones uses dissipation terms (such as hyperviscosity) growing faster at high wave-numbers than the standard Laplacian dissipation term. A linearized solution of the well-known boundary layer limit of the Burgers equation involving two numerically determined parameters gives a good description of the bottleneck region.


title: Revenue Sharing in the Internet: A Moral Hazard Approach and a Net-neutrality Perspective

abstract: Revenue sharing contracts between Content Providers (CPs) and Internet Service Providers (ISPs) can act as leverage for enhancing the infrastructure of the Internet. ISPs can be incentivized to make investments in network infrastructure that improve Quality of Service (QoS) for users if attractive contracts are negotiated between them and CPs. The idea here is that part of the net profit gained by CPs are given to ISPs to invest in the network. The Moral Hazard economic framework is used to model such an interaction, in which a principal determines a contract, and an agent reacts by adapting her effort. In our setting, several competitive CPs interact through one common ISP. Two cases are studied: (i) the ISP differentiates between the CPs and makes a (potentially) different investment to improve the QoS of each CP, and (ii) the ISP does not differentiate between CPs and makes a common investment for both. The last scenario can be viewed as \emph{network neutral behavior} on the part of the ISP. We analyse the optimal contracts and show that the CP that can better monetize its demand always prefers the non-neutral regime. Interestingly, ISP revenue, as well as social utility, are also found to be higher under the non-neutral regime.


title: Full 3D+1 modelling of the tilted-pulse-front setups for single-cycle terahertz generation

abstract: The tilted-pulse-front setup utilizing a diffraction grating is one of the most successful methods to generate single- to few-cycle terahertz pulses. However, the generated terahertz pulses have a large spatial inhomogeneity, due to the noncollinear phase matching condition and the asymmetry of the prism-shaped nonlinear crystal geometry, especially when pushing for high optical-to-terahertz conversion efficiency. A 3D+1 (x,y,z,t) numerical model is necessary in order to fully investigate the terahertz generation problem in the tilted-pulse-front scheme. We compare in detail the differences between 1D+1, 2D+1 and 3D+1 models. The simulations show that the size of the optical beam in the pulse-front-tilt plane sensitively affects the spatio-temporal properties of the terahertz electric field. The terahertz electric field is found to have a strong spatial dependence such that a few-cycle pulse is only generated near the apex of the prism. The part of the beam farther from the apex contains a large fraction of the energy but has a waveform that deviates from a few-cycle. This strong spatial dependence must be accounted for when using the terahertz pulses for strong-field physics and carrier-envelope-phase sensitive experiments such as terahertz acceleration, coherent control of antiferromagnetic spin waves and terahertz high-harmonic generation.


title: Salecker-Wigner-Karolyhazy Gedankenexperiment in light of the self-gravity

abstract: In Gedankenexperiment mentioned in the title, the imprecision in space-time measurement is related to the spreading of clock's wave-function with the passage of time required for the measurement. Special relativity puts a bound on the measurement time, it cannot be reduced arbitrarily as the signal used for the measurement cannot propagate with speed greater than that of light. In view of this reasoning, one is led to conclude that the clock should be heavy enough to slow down its wave-function from spreading with time. However, the general relativity puts an upper bound on clock's mass, since its size must remain greater then the Schwarzschild radius associated to it. This way one reaches a limit in length measurement. However, as is discussed below, an additional insight into the question comes by taking into account self-gravitational effects. As a result, the uncertainty in length measurement is reduced to the Planck length.


title: Compton-thick active galactic nuclei from the 7 Ms observation in the Chandra Deep Field South

abstract: We present the X-ray spectroscopic study of the Compton-thick (CT) active galactic nuclei (AGN) population within the $\textit{Chandra}$ Deep Field South (CDF-S) by using the deepest X-ray observation to date, the $\textit{Chandra}$ 7 Ms observation of the CDF-S. We combined an opimized version of our automated selection technique and a Bayesian Monte Carlo Markov Chains (MCMC) spectral fitting procedure, to develop a method to pinpoint and then characterize candidate CT AGN as less model dependent and/or data-quality dependent as possible. To obtain reliable automated spectral fits, we only considered the sources detected in the hard (2-8 keV) band from the CDF-S 2 Ms catalog with either spectroscopic or photometric redshifts available for 259 sources. Instead of using our spectral analysis to decide if an AGN is CT, we derived the posterior probability for the column density, and then we used it to assign a probability of a source being CT. We also tested how the model-dependence of the spectral analysis, and the spectral data quality, could affect our results by using simulations. We finally derived the number density of CT AGN by taking into account the probabilities of our sources being CT and the results from the simulations. Our results are in agreement with X-ray background synthesis models, which postulate a moderate fraction (25%) of CT objects among the obscured AGN population.


title: End-To-End Measure for Text Recognition

abstract: Measuring the performance of text recognition and text line detection engines is an important step to objectively compare systems and their configuration. There exist well-established measures for both tasks separately. However, there is no sophisticated evaluation scheme to measure the quality of a combined text line detection and text recognition system. The F-measure on word level is a well-known methodology, which is sometimes used in this context. Nevertheless, it does not take into account the alignment of hypothesis and ground truth text and can lead to deceptive results. Since users of automatic information retrieval pipelines in the context of text recognition are mainly interested in the end-to-end performance of a given system, there is a strong need for such a measure. Hence, we present a measure to evaluate the quality of an end-to-end text recognition system. The basis for this measure is the well established and widely used character error rate, which is limited -- in its original form -- to aligned hypothesis and ground truth texts. The proposed measure is flexible in a way that it can be configured to penalize different reading orders between the hypothesis and ground truth and can take into account the geometric position of the text lines. Additionally, it can ignore over- and under- segmentation of text lines. With these parameters it is possible to get a measure fitting best to its own needs.


title: Towards a Supply Chain Management System for Counterfeit Mitigation using Blockchain and PUF

abstract: The complexity of today's supply chain, organised in several tiers and including many companies located in different countries, makes it challenging to assess the history and integrity of procured physical parts, and to make organisations really accountable for their conduct. This enables malicious practices like counterfeiting and insertion of back doors, which are extremely dangerous, especially in supply chains of physical parts for industrial control systems used in critical infrastructures, where a country and human lives can be put at risk. This paper aims at mitigating these issues by proposing an approach where procured parts are uniquely identified and tracked along the chain, across multiple sites, to detect tampering. Our solution is based on consortium blockchain and smart contract technologies, hence it is decentralised, highly available and provides strong guarantees on the integrity of stored data and executed business logic. The unique identification of parts along the chain is implemented by using physically unclonable functions (PUFs) as tamper-resistant IDs. We first define the threat model of an adversary interested in tampering with physical products along the supply chain, then provide the design of the tracking system that implements the proposed anti-counterfeiting approach. We present a security analysis of the tracking system against the designated threat model and a prototype evaluation to show its technical feasibility and assess its effectiveness in counterfeit mitigation. Finally, we discuss several key practical aspects concerning our solution ad its integration with real supply chains.


title: Constraint Generation Algorithm for the Minimum Connectivity Inference Problem

abstract: Given a hypergraph $H$, the Minimum Connectivity Inference problem asks for a graph on the same vertex set as $H$ with the minimum number of edges such that the subgraph induced by every hyperedge of $H$ is connected. This problem has received a lot of attention these recent years, both from a theoretical and practical perspective, leading to several implemented approximation, greedy and heuristic algorithms. Concerning exact algorithms, only Mixed Integer Linear Programming (MILP) formulations have been experimented, all representing connectivity constraints by the means of graph flows. In this work, we investigate the efficiency of a constraint generation algorithm, where we iteratively add cut constraints to a simple ILP until a feasible (and optimal) solution is found. It turns out that our method is faster than the previous best flow-based MILP algorithm on random generated instances, which suggests that a constraint generation approach might be also useful for other optimization problems dealing with connectivity constraints. At last, we present the results of an enumeration algorithm for the problem.


title: Electroweak Breaking and Higgs Boson Profile in the Simplest Linear Seesaw Model

abstract: We examine the simplest realization of the linear seesaw mechanism within the Standard Model gauge structure. Besides the standard scalar doublet, there are two lepton-number-carrying scalars, a nearly inert SU2 doublet and a singlet. Neutrino masses result from the spontaneous violation of lepton number, implying the existence of a Nambu-Goldstone boson. Such "majoron" would be copiously produced in stars, leading to stringent astrophysical constraints. We study the profile of the Higgs bosons in this model, including their effective couplings to the vector bosons and their invisible decay branching ratios. A consistent electroweak symmetry breaking pattern emerges with a compressed spectrum of scalars in which the "Standard Model" Higgs boson can have a sizeable invisible decay into the invisible majorons.


title: Probabilistic Neural Network Tomography across Grane field (North Sea) from Surface Wave Dispersion Data

abstract: Surface wave tomography uses measured dispersion properties of surface waves to infer the spatial distribution of subsurface properties such as shear-wave velocities. These properties can be estimated vertically below any geographical location at which surface wave dispersion data are available. As the inversion is significantly non-linear, Monte Carlo methods are often used to invert dispersion curves for shear-wave velocity profiles with depth to give a probabilistic solution. Such methods provide uncertainty information but are computationally expensive. Neural network based inversion provides a more efficient way to obtain probabilistic solutions when those solutions are required beneath many geographical locations. Unlike Monte Carlo methods, once a network has been trained it can be applied rapidly to perform any number of inversions. We train a class of neural networks called mixture density networks, to invert dispersion curves for shear-wave velocity models and their non-linearised uncertainty. Mixture density networks are able to produce fully probabilistic solutions in the form of weighted sums of multivariate analytic kernels such as Gaussians, and we show that including data uncertainties in the mixture density network gives more reliable mean velocity estimates when data contains significant noise. The networks were applied to data from the Grane field in the Norwegian North sea to produce shear-wave velocity maps at several depth levels. Post-training we obtained probabilistic velocity profiles with depth beneath 26,772 locations to produce a 3D velocity model in 21 seconds on a standard desktop computer. This method is therefore ideally suited for rapid, repeated 3D subsurface imaging and monitoring.


title: Groups, graphs, and hypergraphs: average sizes of kernels of generic matrices with support constraints

abstract: We develop a theory of average sizes of kernels of generic matrices with support constraints defined in terms of graphs and hypergraphs. We apply this theory to study unipotent groups associated with graphs. In particular, we establish strong uniformity results pertaining to zeta functions enumerating conjugacy classes of these groups. We deduce that the numbers of conjugacy classes of $\mathbf{F}_q$-points of the groups under consideration depend polynomially on $q$. Our approach combines group theory, graph theory, toric geometry, and $p$-adic integration. Our uniformity results are in line with a conjecture of Higman on the numbers of conjugacy classes of unitriangular matrix groups. Our findings are, however, in stark contrast to related results by Belkale and Brosnan on the numbers of generic symmetric matrices of given rank associated with graphs.


title: Rethinking Attribute Representation and Injection for Sentiment Classification

abstract: Text attributes, such as user and product information in product reviews, have been used to improve the performance of sentiment classification models. The de facto standard method is to incorporate them as additional biases in the attention mechanism, and more performance gains are achieved by extending the model architecture. In this paper, we show that the above method is the least effective way to represent and inject attributes. To demonstrate this hypothesis, unlike previous models with complicated architectures, we limit our base model to a simple BiLSTM with attention classifier, and instead focus on how and where the attributes should be incorporated in the model. We propose to represent attributes as chunk-wise importance weight matrices and consider four locations in the model (i.e., embedding, encoding, attention, classifier) to inject attributes. Experiments show that our proposed method achieves significant improvements over the standard approach and that attention mechanism is the worst location to inject attributes, contradicting prior work. We also outperform the state-of-the-art despite our use of a simple base model. Finally, we show that these representations transfer well to other tasks. Model implementation and datasets are released here: https://github.com/rktamplayo/CHIM.


title: Measuring Patent Claim Generation by Span Relevancy

abstract: Our goal of patent claim generation is to realize "augmented inventing" for inventors by leveraging latest Deep Learning techniques. We envision the possibility of building an "auto-complete" function for inventors to conceive better inventions in the era of artificial intelligence. In order to generate patent claims with good quality, a fundamental question is how to measure it. We tackle the problem from a perspective of claim span relevancy. Patent claim language was rarely explored in the NLP field. It is unique in its own way and contains rich explicit and implicit human annotations. In this work, we propose a span-based approach and a generic framework to measure patent claim generation quantitatively. In order to study the effectiveness of patent claim generation, we define a metric to measure whether two consecutive spans in a generated patent claims are relevant. We treat such relevancy measurement as a span-pair classification problem, following the concept of natural language inference. Technically, the span-pair classifier is implemented by fine-tuning a pre-trained language model. The patent claim generation is implemented by fine-tuning the other pre-trained model. Specifically, we fine-tune a pre-trained Google BERT model to measure the patent claim spans generated by a fine-tuned OpenAI GPT-2 model. In this way, we re-use two of the state-of-the-art pre-trained models in the NLP field. Our result shows the effectiveness of the span-pair classifier after fine-tuning the pre-trained model. It further validates the quantitative metric of span relevancy in patent claim generation. Particularly, we found that the span relevancy ratio measured by BERT becomes lower when the diversity in GPT-2 text generation becomes higher.


title: The foundations of spectral computations via the Solvability Complexity Index hierarchy

abstract: The problem of computing spectra of operators is arguably one of the most investigated areas of computational mathematics. However, the problem of computing spectra of general bounded infinite matrices has only recently been solved. We establish some of the foundations of computational spectral theory through the Solvability Complexity Index (SCI) hierarchy, an approach closely related to Smale's program on the foundations of computational mathematics and McMullen's results on polynomial root finding with rational maps. Infinite-dimensional problems yield an intricate infinite classification theory, determining which spectral problems can be solved and with what types of algorithms. We provide answers to many longstanding open questions on the existence of algorithms. For example, we show that spectra can be computed, with error control, from point sampling operator coefficients for large classes of partial differential operators on unbounded domains. Further results include: computing spectra of (possibly unbounded) operators on graphs and separable Hilbert spaces with error control; determining if the spectrum intersects a compact set; the computational spectral gap problem and computing spectral classifications at the bottom of the spectrum; and computing discrete spectra, multiplicities, eigenspaces and determining if the discrete spectrum is non-empty. Moreover, the positive results with error control can be used in computer-assisted proofs. In contrast, the negative results preclude computer-assisted proofs for classes of operators as a whole. Our proofs are constructive, yielding a library of new algorithms and techniques that handle problems that before were out of reach. We demonstrate these algorithms on challenging problems, giving concrete examples of the failure of traditional approaches (e.g., "spectral pollution") compared to the introduced techniques.


title: Structural mediation of human brain activity revealed by white-matter interpolation of fMRI

abstract: Anatomy of the human brain constrains the formation of large-scale functional networks. Here, given measured brain activity in gray matter, we interpolate these functional signals into the white matter on a structurally-informed high-resolution voxel-level brain grid. The interpolated volumes reflect the underlying anatomical information, revealing white matter structures that mediate functional signal flow between temporally coherent gray matter regions. Functional connectivity analyses of the interpolated volumes reveal an enriched picture of the default mode network (DMN) and its subcomponents, including how white matter bundles support their formation, thus transcending currently known spatial patterns that are limited within the gray matter only. These subcomponents have distinct structure-function patterns, each of which are differentially recruited during tasks, demonstrating plausible structural mechanisms for functional switching between task-positive and -negative components. This work opens new avenues for integration of brain structure and function and demonstrates how global patterns of activity arise from a collective interplay of signal propagation along different white matter pathways.


title: From sequential decoding to channel polarization and back again

abstract: This note is a written and extended version of the Shannon Lecture I gave at 2019 International Symposium on Information Theory. It gives an account of the original ideas that motivated the development of polar coding and discusses some new ideas for exploiting channel polarization more effectively in order to improve the performance of polar codes.


title: Horizon saddle connections, quasi-Hopf surfaces and Veech groups of dilation surfaces

abstract: Dilation surfaces are generalizations of translation surfaces where the geometric structure is modelled on the complex plane up to affine maps whose linear part is real. They are the geometric framework to study suspensions of affine interval exchange maps. However, though the $SL(2,\mathbb{R})$-action is ergodic in connected components of strata of translation surfaces, there may be mutually disjoint $SL(2,\mathbb{R})$-invariant open subsets in components of dilation surfaces. A first distinction is between triangulable and non-triangulable dilation surfaces. For non-triangulable surfaces, the action of $SL(2,\mathbb{R})$ is somewhat trivial so the study can be focused on the space of triangulable dilation surfaces.\newline In this paper, we introduce the notion of horizon saddle connections in order to refine the distinction between triangulable and non-triangulable dilation surfaces. We also introduce the family of quasi-Hopf surfaces that can be triangulable but display the same trivial behavior as non-triangulable surfaces. We prove that existence of horizon saddle connections drastically restricts the Veech group a dilation surface can have.


title: On a new parameter involving Ramanujan's theta-functions

abstract: We define a new parameter $A'_{k,n}$ involving Ramanujan's theta-functions for any positive real numbers $k$ and $n$ which is analogous to the parameter $A_{k,n}$ defined by Nipen Saikia \cite{NS1}. We establish some modular relation involving $A'_{k,n}$ and $A_{k,n}$ to find some explicit values of $A'_{k,n}$. We use these parameters to establish few general theorems for explicit evaluations of ratios of theta functions involving $\varphi(q)$.


title: Stochastic Filter Groups for Multi-Task CNNs: Learning Specialist and Generalist Convolution Kernels

abstract: The performance of multi-task learning in Convolutional Neural Networks (CNNs) hinges on the design of feature sharing between tasks within the architecture. The number of possible sharing patterns are combinatorial in the depth of the network and the number of tasks, and thus hand-crafting an architecture, purely based on the human intuitions of task relationships can be time-consuming and suboptimal. In this paper, we present a probabilistic approach to learning task-specific and shared representations in CNNs for multi-task learning. Specifically, we propose "stochastic filter groups'' (SFG), a mechanism to assign convolution kernels in each layer to "specialist'' or "generalist'' groups, which are specific to or shared across different tasks, respectively. The SFG modules determine the connectivity between layers and the structures of task-specific and shared representations in the network. We employ variational inference to learn the posterior distribution over the possible grouping of kernels and network parameters. Experiments demonstrate that the proposed method generalises across multiple tasks and shows improved performance over baseline methods.


title: On the computation of geometric features of spectra of linear operators on Hilbert spaces

abstract: Computing spectra is a central problem in computational mathematics with an abundance of applications throughout the sciences. However, in many applications gaining an approximation of the spectrum is not enough. Often it is vital to determine geometric features of spectra such as Lebesgue measure, capacity or fractal dimensions, different types of spectral radii and numerical ranges, or to detect essential spectral gaps and the corresponding failure of the finite section method. Despite new results on computing spectra and the substantial interest in these geometric problems, there remain no general methods able to compute such geometric features of spectra of infinite-dimensional operators. We provide the first algorithms for the computation of many of these longstanding problems (including the above). As demonstrated with computational examples, the new algorithms yield a library of new methods. Recent progress in computational spectral problems in infinite dimensions has led to the Solvability Complexity Index (SCI) hierarchy, which classifies the difficulty of computational problems. These results reveal that infinite-dimensional spectral problems yield an intricate infinite classification theory determining which spectral problems can be solved and with which type of algorithm. This is very much related to S. Smale's comprehensive program on the foundations of computational mathematics initiated in the 1980s. We classify the computation of geometric features of spectra in the SCI hierarchy, allowing us to precisely determine the boundaries of what computers can achieve (in any model of computation) and prove that our algorithms are optimal. We also provide a new universal technique for establishing lower bounds in the SCI hierarchy, which both greatly simplifies previous SCI arguments and allows new, formerly unattainable, classifications.


title: The ExoTETHyS package: Tools for Exoplanetary Transits around Host Stars

abstract: We present here the first release of the open-source python package ExoTETHyS, which aims to provide a stand-alone set of tools for modeling spectro-photometric observations of the transiting exoplanets. In particular, we describe: (1) a new calculator of stellar limb-darkening coefficients that outperforms the existing software by one order of magnitude in terms of light-curve model accuracy, i.e., down to <10 parts per million (ppm); (2) an exact transit light-curve generator based on the entire stellar intensity profile rather than limb-darkening coefficients. New tools will be added in later releases to model various effects in exoplanetary transits and eclipsing binaries. ExoTETHyS is a reference package for high-precision exoplanet atmospheric spectroscopy with the upcoming JWST and ARIEL missions.


title: The POCAM as self-calibrating light source for the IceCube Upgrade

abstract: The planned IceCube Upgrade, consisting of seven new instrumentation strings, will be installed at the South Pole within 2022/2023. The focus of this upgrade is calibration, reduction of systematic uncertainties and atmospheric neutrino physics. Within this scope, the "Precision Optical Calibration Module" (POCAM) will be installed at a number of positions on these new strings, to act as a calibration light source. The POCAM is an in-situ self-calibrating, isotropic, nanosecond light source that emits flashes of adjustable intensity and pulse duration. The isotropy is achieved using a teflon integrating sphere which further allows the calibration of the total number of emitted photons per pulse, using the integrated sensors. Prototypes have been deployed and operated within the GVD telescope in Lake Baikal and within the STRAW experiment in the Pacific Ocean. We present POCAM results and experiences from the GVD and STRAW installations as well as first IceCube sensitivity studies and the following design prospects for this next-generation POCAM iteration.


title: Topological states in the Hofstadter model on a honeycomb lattice

abstract: e provide a detailed analysis of a topological structure of a fermion spectrum in the Hofstadter model with different hopping integrals along the $x,y,z$-links ($t_x=t, t_y=t_z=1$), defined on a honeycomb lattice. We have shown that the chiral gapless edge modes are described in the framework of the generalized Kitaev chain formalism, which makes it possible to calculate the Hall conductance of subbands for different filling and an arbitrary magnetic flux $\phi$. At half-filling the gap in the center of the fermion spectrum opens for $t>t_c=2^{\phi}$, a quantum phase transition in the 2D-topological insulator state is realized at $t_c$. The phase state is characterized by zero energy Majorana states localized at the boundaries. Taking into account the on-site Coulomb repulsion $U$ (where $U<<1$), the criterion for the stability of a topological insulator state is calculated at $t<<1$, $t \sim U$. Thus, in the case of $ U > 4\Delta $, the topological insulator state, which is determined by chiral gapless edge modes in the gap $\Delta$, is destroyed.


title: Demonstration of interferometer enhancement through EPR entanglement

abstract: The sensitivity of laser interferometers used for the detection of gravitational waves (GWs) is limited by quantum noise of light. An improvement is given by light with squeezed quantum uncertainties, as employed in the GW detector GEO600 since 2010. To achieve simultaneous noise reduction at all signal frequencies, however, the spectrum of squeezed states needs to be processed by 100m-scale low-loss optical filter cavities in vacuum. Here, we report on the proof-of-principle of an interferometer setup that achieves the required processed squeezed spectrum by employing Einstein-Podolsky-Rosen (EPR) entangled states. Applied to GW detectors, the cost-intensive cavities would become obsolete, while the price to pay is a 3dB quantum penalty.


title: On Recovery of a Bounded Elastic Body by Electromagnetic Far-Field Measurements

abstract: This paper is concerned with the problem of scattering of a time-harmonic electromagnetic field by a three-dimensional elastic body. General transmission conditions are considered to model the interaction between the electromagnetic field and the elastic body on the interface by assuming Voigt's model. The existence of a unique solution of the interaction problem is proved in an appropriate Sobolev space by employing a variational method together with the classical Fredholm alternative. The inverse problem is then considered, which is to recover the elastic body by the scattered wave-field. It is shown that the shape and location of the elastic body can be uniquely determined by the fixed energy magnetic (or electric) far-field measurements corresponding to incident plane waves with all polarizations.


title: Verification of Detectability Using Petri Nets and Detector

abstract: Detectability describes the property of a system to uniquely determine, after a finite number of observations, the current and subsequent states. In this paper, to reduce the complexity of checking the detectability properties in the framework of bounded labeled Petri nets, we use a new tool, which is called detector, to verifying the strong detectability and periodically strong detectability. First, an approach, which is based on the reachable graph and its detector, is proposed. Then, we develop a novel approach which is based on the analysis of the detector of the basis reachability graph. Without computing the whole reachability space, and without building the observer, the proposed approaches are more efficient.


title: Revisiting Simple Domain Adaptation Methods in Unsupervised Neural Machine Translation

abstract: Domain adaptation has been well-studied in supervised neural machine translation (SNMT). However, it has not been well-studied for unsupervised neural machine translation (UNMT), although UNMT has recently achieved remarkable results in several domain-specific language pairs. Besides the inconsistent domains between training data and test data for SNMT, there sometimes exists an inconsistent domain between two monolingual training data for UNMT. In this work, we empirically show different scenarios for unsupervised neural machine translation. Based on these scenarios, we revisit the effect of the existing domain adaptation methods including batch weighting and fine tuning methods in UNMT. Finally, we propose modified methods to improve the performances of domain-specific UNMT systems.


title: Red-blue pebbling revisited: near optimal parallel matrix-matrix multiplication

abstract: We propose COSMA: a parallel matrix-matrix multiplication algorithm that is near communication-optimal for all combinations of matrix dimensions, processor counts, and memory sizes. The key idea behind COSMA is to derive an optimal (up to a factor of 0.03\% for 10MB of fast memory) sequential schedule and then parallelize it, preserving I/O optimality. To achieve this, we use the red-blue pebble game to precisely model MMM dependencies and derive a constructive and tight sequential and parallel I/O lower bound proofs. Compared to 2D or 3D algorithms, which fix processor decomposition upfront and then map it to the matrix dimensions, it reduces communication volume by up to $\sqrt{3}$ times. COSMA outperforms the established ScaLAPACK, CARMA, and CTF algorithms in all scenarios up to 12.8x (2.2x on average), achieving up to 88\% of Piz Daint's peak performance. Our work does not require any hand tuning and is maintained as an open source implementation.


title: Low-temperature monoclinic layer stacking in atomically thin CrI$_3$ crystals

abstract: Chromium triiodide, CrI$_3$, is emerging as a promising magnetic two-dimensional semiconductor where spins are ferromagnetically aligned within a single layer. Potential applications in spintronics arise from an antiferromagnetic ordering between adjacent layers that gives rise to spin filtering and a large magnetoresistance in tunnelling devices. This key feature appears only in thin multilayers and it is not inherited from bulk crystals, where instead neighbouring layers share the same ferromagnetic spin orientation. This discrepancy between bulk and thin samples is unexpected, as magnetic ordering between layers arises from exchange interactions that are local in nature and should not depend strongly on thickness. Here we solve this controversy and show through polarization resolved Raman spectroscopy that thin multilayers do not undergo a structural phase transition typical of bulk crystals. As a consequence, a different stacking pattern is present in thin and bulk samples at the temperatures at which magnetism sets in and, according to previous first-principles simulations, this results in a different interlayer magnetic ordering. Our experimental findings provide evidence for the strong interplay between stacking order and magnetism in CrI$_3$, opening interesting perspectives to design the magnetic state of van der Waals multilayers.


title: The beta-Oslo method: experimentally constrained ($n,\gamma$) reaction rates relevant to the $r$-process

abstract: Unknown neutron-capture reaction rates remain a significant source of uncertainty in state-of-the-art $r$-process nucleosynthesis reaction network calculations. As the $r$-process involves highly neutron-rich nuclei for which direct ($n,\gamma$) cross-section measurements are virtually impossible, indirect methods are called for to constrain ($n,\gamma$) cross sections used as input for the $r$-process nuclear network. Here we discuss the newly developed beta-Oslo method, which is capable of providing experimental input for calculating ($n,\gamma$) rates of neutron-rich nuclei. The beta-Oslo method represents a first step towards constraining neutron-capture rates of importance to the $r$-process.