title: Linear Beam Stability in Periodic Focusing Systems:Krein Signature and Band Structure

abstract: The general question of how a beam becomes unstable has been one of the fundamental research topics among beam and accelerator physicists for several decades. In this study, we revisited the general problem of linear beam stability in periodic focusing systems by applying the concepts of Krein signature and band structure. We numerically calculated the eigenvalues and other associated characteristics of one-period maps, and discussed the stability properties of single-particle motions with skew quadrupoles and envelope perturbations in high-intensity beams on an equal footing. In particular, an application of the Krein theory to envelope instability analysis was newly attempted in this study. The appearance of instabilities is interpreted as the result of the collision between eigenmodes of opposite Krein signatures and the formation of a band gap.


title: Entanglement Hamiltonian of Many-body Dynamics in Strongly-correlated Systems

abstract: A powerful perspective in understanding non-equilibrium quantum dynamics is through the time evolution of its entanglement content. Yet apart from a few guiding principles for the entanglement entropy, to date, not much else is known about the refined characters of entanglement propagation. Here, we unveil signatures of the entanglement evolving and information propagation out-of-equilibrium, from the view of entanglement Hamiltonian. As a prototypical example, we study quantum quench dynamics of a one-dimensional Bose-Hubbard model by means of time-dependent density-matrix renormalization group simulation. Before reaching equilibration, it is found that a current operator emerges in entanglement Hamiltonian, implying that entanglement spreading is carried by particle flow. In the long-time limit subsystem enters a steady phase, evidenced by the dynamic convergence of the entanglement Hamiltonian to the expectation of a thermal ensemble. Importantly, entanglement temperature of steady state is spatially independent, which provides an intuitive trait of equilibrium. We demonstrate that these features are consistent with predictions from conformal field theory. These findings not only provide crucial information on how equilibrium statistical mechanics emerges in many-body dynamics, but also add a tool to exploring quantum dynamics from perspective of entanglement Hamiltonian.


title: Topological portraits of multiscale coordination dynamics

abstract: Living systems exhibit complex yet organized behavior on multiple spatiotemporal scales. To investigate the nature of multiscale coordination in living systems, one needs a meaningful and systematic way to quantify the complex dynamics, a challenge in both theoretical and empirical realms. The present work shows how integrating approaches from computational algebraic topology and dynamical systems may help us meet this challenge. In particular, we focus on the application of multiscale topological analysis to coordinated rhythmic processes. First, theoretical arguments are introduced as to why certain topological features and their scale-dependency are highly relevant to understanding complex collective dynamics. Second, we propose a method to capture such dynamically relevant topological information using persistent homology, which allows us to effectively construct a multiscale topological portrait of rhythmic coordination. Finally, the method is put to test in detecting transitions in real data from an experiment of rhythmic coordination in ensembles of interacting humans. The recurrence plots of topological portraits highlight collective transitions in coordination patterns that were elusive to more traditional methods. This sensitivity to collective transitions would be lost if the behavioral dynamics of individuals were treated as separate degrees of freedom instead of constituents of the topology that they collectively forge. Such multiscale topological portraits highlight collective aspects of coordination patterns that are irreducible to properties of individual parts. The present work demonstrates how the analysis of multiscale coordination dynamics can benefit from topological methods, thereby paving the way for further systematic quantification of complex, high-dimensional dynamics in living systems.


title: Astrometric and photometric study of NGC 6067, NGC 2506 and IC 4651 open clusters based on wide-field ground and Gaia DR2 data

abstract: We present an analysis of three southern open star clusters NGC 6067, NGC 2506 and IC 4651 using wide-field photometric and Gaia DR2 astrometric data. They are poorly studied clusters. We took advantage of the synergy between Gaia DR2 high precision astrometric measurements and ground based wide-field photometry to isolate cluster members and further study these clusters. We identify the cluster members using proper motions, parallax and colour-magnitude diagrams. Mean proper motion of the clusters in RA and DEC is estimated as -1.90 \pm 0.01 and -2.57 \pm 0.01 mas/yr for NGC 6067, -2.57 \pm 0.01 and 3.92 \pm 0.01 mas/yr for NGC 2506 and -2.41 \pm 0.01 and -5.05 \pm 0.02 mas/yr for IC 4651. Distances are estimated as 3.01 \pm 0.87, 3.88 \pm 0.42 and 1.00 \pm 0.08 kpc for the clusters NGC 6067, NGC 2506 and IC 4651 respectively using parallaxes taken from Gaia DR2 catalogue. Galactic orbits are determined for these clusters using Galactic potential models.We find that these clusters have circular orbits. Cluster radii are determined as 10 arcmin for NGC 6067, 12 arcmin for NGC 2506 and 11 arcmin for IC 4651. Ages of the clusters estimated by isochrones fitting are 66 \pm 8 Myr, 2.09 \pm 0.14 Gyr and 1.59 \pm 0.14 Gyr for NGC 6067, NGC 2506 and IC 4651 respectively. Mass function slope for the entire region of cluster NGC 2506 is found to be comparable with the Salpeter value in the mass range 0.77 - 1.54 Solar mass. The mass function analysis shows that the slope becomes flat when one goes from halo to core region in all the three clusters. A comparison of dynamical age with cluster's age indicates that NGC 2506 and IC 4651 are dynamically relaxed clusters.


title: A hybrid gravity and route choice model to assess vector traffic in large-scale road networks

abstract: Human traffic along roads can be a major vector for infectious diseases and invasive species. Though most road traffic is local, a small number of long-distance trips can suffice to move an invasion or disease front forward. Therefore, understanding how many agents travel over long distances and which routes they choose is key to successful management of diseases and invasions. Stochastic gravity models have been used to estimate the distribution of trips between origins and destinations of agents. However, in large-scale systems it is hard to collect the data required to fit these models, as the number of long-distance travellers is small, and origins and destinations can have multiple access points. Therefore, gravity models often provide only relative measures of the agent flow. Furthermore, gravity models yield no insights into which roads agents use. We resolve these issues by combining a stochastic gravity model with a stochastic route choice model. Our hybrid model can be fitted to survey data collected at roads that are used by many long-distance travellers. This decreases the sampling effort, allows us to obtain absolute predictions of both vector pressure and pathways, and permits rigorous model validation. After introducing our approach in general terms, we demonstrate its benefits by applying it to the potential invasion of zebra and quagga mussels (Dreissena spp.) to the Canadian province British Columbia. The model yields an R-squared value of 0.73 for variance-corrected agent counts at survey locations.


title: Flexible Disaster Response of Tomorrow -- Final Presentation and Evaluation of the CENTAURO System

abstract: Mobile manipulation robots have high potential to support rescue forces in disaster-response missions. Despite the difficulties imposed by real-world scenarios, robots are promising to perform mission tasks from a safe distance. In the CENTAURO project, we developed a disaster-response system which consists of the highly flexible Centauro robot and suitable control interfaces including an immersive tele-presence suit and support-operator controls on different levels of autonomy. In this article, we give an overview of the final CENTAURO system. In particular, we explain several high-level design decisions and how those were derived from requirements and extensive experience of Kerntechnische Hilfsdienst GmbH, Karlsruhe, Germany (KHG). We focus on components which were recently integrated and report about a systematic evaluation which demonstrated system capabilities and revealed valuable insights.


title: Design of Resonance Ratio Control with Relative Position Information for Two-inertia System

abstract: Two-inertia systems are prone to resonance vibrations that degrade their control performances. These unwanted vibrations can be effectively suppressed by control methods based on a disturbance observer (DOB). Vibration suppression control methods using the information of both the motor and load sides have been widely researched in recent years. Methods that exploit the spring deflection or torsional force of two-inertia systems have delivered promising performances. However, few conventional methods have exploited the relative position information, and the discussion of position control is currently insufficient. Focusing on the relative position, this study proposes a new resonance ratio control (RRC) based on the relative acceleration and state feedback. The structure of the proposed RRC is derived theoretically and the proposed method is experimentally validated.


title: Generalised vector products and metrical trigonometry of a tetrahedron

abstract: We study the general rational trigonometry of a tetrahedron, based on quadrances, spreads and solid spreads, using vector products associated to an arbitrary symmetric bilinear form over a general field, not of characteristic two. This gives us algebraic analogs of many classical formulas, as well as new insights and results. In particular we derive original relations for a tri-rectangular tetrahedron.


title: Supporting On-Stack Replacement in Unstructured Languages by Loop Reconstruction and Extraction

abstract: On-stack replacement (OSR) is a common technique employed by dynamic compilers to reduce program warm-up time. OSR allows switching from interpreted to compiled code during the execution of this code. The main targets are long running loops, which need to be represented explicitly, with dedicated information about condition and body, to be optimized at run time. Bytecode interpreters, however, represent control flow implicitly via unstructured jumps and thus do not exhibit the required high-level loop representation. To enable OSR also for jump-based - often called unstructured - languages, we propose the partial reconstruction of loops in order to explicitly represent them in a bytecode interpreter. Besides an outline of the general idea, we implemented our approach in Sulong, a bytecode interpreter for LLVM bitcode, which allows the execution of C/C++. We conducted an evaluation with a set of C benchmarks, which showed speed-ups in warm-up of up to 9x for certain benchmarks. This facilitates execution of programs with long-running loops in rarely called functions, which would yield significant slowdown without OSR. While shown with a prototype implementation, the overall idea of our approach is generalizable for all bytecode interpreters.


title: On the isoperimetric inequality and surface diffusion flow for multiply winding curves

abstract: In this paper we establish a general form of the isoperimetric inequality for immersed closed curves (possibly non-convex) in the plane under rotational symmetry. As an application we obtain a global existence result for the surface diffusion flow, providing that an initial curve is $H^2$-close to a multiply covered circle and sufficiently rotationally symmetric.


title: Phonon-number-resolving Detection of Multiple Local Phonon Modes in Trapped Ions

abstract: We propose and demonstrate phonon-number-resolving detection of the multiple local phonon modes in a trapped-ion chain. To mitigate the effect of phonon hopping during the detection process, the probability amplitude of each local phonon mode is mapped to the auxiliary long-lived motional ground states. Sequential state-dependent fluorescence detection is then performed. In the experiment, we have successfully observed the time evolution of two local phonon modes in two ions, including the phonon-number correlation between the two modes.


title: The Multi-slit Approach to Coronal Spectroscopy with the Multi-slit Solar Explorer (MUSE)

abstract: The Multi-slit Solar Explorer (MUSE) is a proposed mission aimed at understanding the physical mechanisms driving the heating of the solar corona and the eruptions that are at the foundation of space weather. MUSE contains two instruments, a multi-slit EUV spectrograph and a context imager. It will simultaneously obtain EUV spectra (along 37 slits) and context images with the highest resolution in space (0.33-0.4 arcsec) and time (1-4 s) ever achieved for the transition region and corona. The MUSE science investigation will exploit major advances in numerical modeling, and observe at the spatial and temporal scales on which competing models make testable and distinguishable predictions, thereby leading to a breakthrough in our understanding of coronal heating and the drivers of space weather. By obtaining spectra in 4 bright EUV lines (Fe IX 171A, Fe XV 284A, Fe XIX-XXI 108A) covering a wide range of transition region and coronal temperatures along 37 slits simultaneously, MUSE will be able to "freeze" the evolution of the dynamic coronal plasma. We describe MUSE's multi-slit approach and show that the optimization of the design minimizes the impact of spectral lines from neighboring slits, generally allowing line parameters to be accurately determined. We also describe a Spectral Disambiguation Code to resolve multi-slit ambiguity in locations where secondary lines are bright. We use simulations of the corona and eruptions to perform validation tests and show that the multi-slit disambiguation approach allows accurate determination of MUSE observables in locations where significant multi-slit contamination occurs.


title: Microscopic theory of in-plane critical field in two-dimensional Ising superconducting systems

abstract: We study the in-plane critical magnetic field of two-dimensional Ising superconducting systems, and propose the microscopic theory for these systems with or without inversion symmetry. Protected by certain specific spin-orbit interaction which polarizes the electron spin to the out-of-plane direction, the in-plane critical fields largely surpass the Pauli limit and show remarkable upturn in the zero temperature limit. The impurity scattering and Rashba spin-orbit coupling, treated on equal-footing in the microscopic framework, both weaken the critical field but in qualitatively different manners. The microscopic theory is consistent with recent experimental results in stanene and Pb superconducting ultra-thin films.


title: Optimal $L^2$ extension of sections from subvarieties in weakly pseudoconvex manifolds

abstract: In this paper, we obtain optimal $L^2$ extension of holomorphic sections of a holomorphic vector bundle from subvarieties in weakly pseudoconvex K\"{a}hler manifolds. Moreover, in the case of line bundle the Hermitian metric is allowed to be singular.


title: Density and potential wake past an insulating obstacle in a partially magnetized flowing plasma

abstract: The radial characteristics of plasma potential and density around an insulating disc obstacle, placed inside a partially magnetized plasma flow created in cylindrical chamber by hot cathode filament are presented. In the absence of obstacle, centrally sharp minima in potential and maxima in plasma density is observed; however when a macroscopic obstacle is introduced in plasma flow, a clear radially off-centred minima in plasma potential is observed having plasma density peaking near the edge of the obstacle. The depth of potential around the obstacle depends on the axial magnetic field strength. This off-centred radial potential profile in the plasma flow gives rise to focusing of ions around the obstacle edge. Experimentally it is found that the drift velocity of focused positive ions is directly depended on the magnetic field strength and axial positive ion flow velocity. A phenomenological model based on short-circuiting effect is applied to explain the plasma density and potential in the wake region.


title: Extension of cohomology classes and holomorphic sections defined on subvarieties

abstract: In this paper, we obtain two extension theorems for cohomology classes and holomorphic sections defined on analytic subvarieties, which are defined as the supports of the quotient sheaves of multiplier ideal sheaves of quasi-plurisubharmonic functions with arbitrary singularities. The first result gives a positive answer to a question posed by Cao-Demailly-Matsumura, and unifies a few well-known injectivity theorems. The second result generalizes and optimizes a general $L^2$ extension theorem obtained by Demailly.


title: On the monoid of cofinite partial isometries of $\mathbb{N}^n$ with the usual metric

abstract: In this paper we study the structure of the monoid $\mathbf{I}\mathbb{N}_{\infty}^n$ of cofinite partial isometries of the $n$-th power of the set of positive integers $\mathbb{N}$ with the usual metric for a positive integer $n\geqslant 2$. We describe the elements of the monoid $\mathbf{I}\mathbb{N}_{\infty}^n$ as partial transformation of $\mathbb{N}^n$, the group of units and the subset of idempotents of the semigroup $\mathbf{I}\mathbb{N}_{\infty}^n$, the natural partial order and Green's relations on $\mathbf{I}\mathbb{N}_{\infty}^n$. In particular we show that the quotient semigroup $\mathbf{I}\mathbb{N}_{\infty}^n/\mathfrak{C}_{\textsf{mg}}$, where $\mathfrak{C}_{\textsf{mg}}$ is the minimum group congruence on $\mathbf{I}\mathbb{N}_{\infty}^n$, is isomorphic to the symmetric group $\mathscr{S}_n$ and $\mathscr{D}=\mathscr{J}$ in $\mathbf{I}\mathbb{N}_{\infty}^n$. Also, we prove that for any integer $n\geqslant 2$ the semigroup $\mathbf{I}\mathbb{N}_{\infty}^n$ is isomorphic to the semidirect product ${\mathscr{S}_n\ltimes_\mathfrak{h}(\mathscr{P}_{\infty}(\mathbb{N}^n),\cup)}$ of the free semilattice with the unit $(\mathscr{P}_{\infty}(\mathbb{N}^n),\cup)$ by the symmetric group $\mathscr{S}_n$.


title: Modeling Event Background for If-Then Commonsense Reasoning Using Context-aware Variational Autoencoder

abstract: Understanding event and event-centered commonsense reasoning are crucial for natural language processing (NLP). Given an observed event, it is trivial for human to infer its intents and effects, while this type of If-Then reasoning still remains challenging for NLP systems. To facilitate this, a If-Then commonsense reasoning dataset Atomic is proposed, together with an RNN-based Seq2Seq model to conduct such reasoning. However, two fundamental problems still need to be addressed: first, the intents of an event may be multiple, while the generations of RNN-based Seq2Seq models are always semantically close; second, external knowledge of the event background may be necessary for understanding events and conducting the If-Then reasoning. To address these issues, we propose a novel context-aware variational autoencoder effectively learning event background information to guide the If-Then reasoning. Experimental results show that our approach improves the accuracy and diversity of inferences compared with state-of-the-art baseline methods.


title: Evaluation of Deep Species Distribution Models using Environment and Co-occurrences

abstract: This paper presents an evaluation of several approaches of plants species distribution modeling based on spatial, environmental and co-occurrences data using machine learning methods. In particular, we re-evaluate the environmental convolutional neural network model that obtained the best performance of the GeoLifeCLEF 2018 challenge but on a revised dataset that fixes some of the issues of the previous one. We also go deeper in the analysis of co-occurrences information by evaluating a new model that jointly takes environmental variables and co-occurrences as inputs of an end-to-end network. Results show that the environmental models are the best performing methods and that there is a significant amount of complementary information between co-occurrences and environment. Indeed, the model learned on both inputs allows a significant performance gain compared to the environmental model alone.


title: A new Galois structure in the category of internal preorders

abstract: Let $\mathsf{PreOrd}(\mathbb C)$ be the category of internal preorders in an exact category $\mathbb C$. We show that the pair $(\mathsf{Eq}(\mathbb C), \mathsf{ParOrd}(\mathbb C))$ is a pretorsion theory in $\mathsf{PreOrd}(\mathbb C)$, where $\mathsf{Eq}(\mathbb C)$ and $\mathsf{ParOrd}(\mathbb C)$) are the full subcategories of internal equivalence relations and of internal partial orders in $\mathbb C$, respectively. We observe that $\mathsf{ParOrd}(\mathbb C)$ is a reflective subcategory of $\mathsf{PreOrd}(\mathbb C)$ such that each component of the unit of the adjunction is a pullback-stable regular epimorphism. The reflector $F:\mathsf{PreOrd}(\mathbb C)\to \mathsf{ParOrd}(\mathbb C)$ turns out to have stable units in the sense of Cassidy, H\'ebert and Kelly, thus inducing an admissible categorical Galois structure. In particular, when $\mathbb C$ is the category $\mathsf{Set}$ of sets, we show that this reflection induces a monotone-light factorization system (in the sense of Carboni, Janelidze, Kelly and Par\'e) in $\mathsf{PreOrd}(\mathsf{Set})$. A topological interpretation of our results in the category of Alexandroff-discrete spaces is also given, via the well-known isomorphism between this latter category and $\mathsf{PreOrd}(\mathsf{Set})$.


title: Low scale seesaw models for low scale $U(1)_{L_\mu-L_\tau}$ symmetry

abstract: We propose models for neutrino masses and mixing in the framework of low scale $U(1)_{L_\mu-L_\tau}$ gauge extension of the standard model. The models are designed to spontaneously break $U(1)_{L_\mu-L_\tau}$ so that the $U(1)_{L_\mu-L_\tau}$ gauge boson acquires an MeV scale mass, which is required to solve the long-standing problem of muon anomalous magnetic moment. Tiny neutrino masses are obtained by simultaneously invoking the linear and the inverse seesaw mechanism, and we succeed in realizing two types of one-zero textures in the active neutrino mass matrix. Both of the obtained textures favor inverted neutrino mass ordering and are testable in next generation experiments of neutrinoless double beta decay. We also show that some of extra scalar bosons can have MeV scale masses and would have significant impacts on observations of high energy cosmic neutrinos.


title: Excited states on Bose-Einstein condensates with attractive interactions

abstract: We study the Bose-Einstein condensates (BEC) in two or three dimensions with attractive interactions, described by $L^{2}$ constraint Gross-Pitaevskii energy functional. First, we give the precise description of the chemical potential of the condensate $\mu$ and the attractive interaction $a$. Next, for a class of degenerated trapping potential with non-isolated critical points, we obtain the existence and the local uniqueness of excited states by precise analysis of the concentrated points and the Lagrange multiplier. To our best knowledge, this is the first result concerning on excited states of BEC in Mathematics. Also, our results show that $ka_*$ are critical values in two dimension when the concentration occurs for any positive integer $k$ with some positive constant $a_*$. And we point out that our results on degenerated trapping potential with non-isolated critical points are also new even for the classical Schr\"odinger equations. Here our main tools are finite-dimensional reduction and various Pohozave identities. The main difficulties come from the estimates on Lagrange multiplier and the different degenerate rate along different directions at the critical points of $V(x)$.


title: The $m$-step solvable anabelian geometry of number fields

abstract: Given a number field $K$ and an integer $m\geq 0$, let $K_m$ denote the maximal $m$-step solvable Galois extension of $K$ and write $G_K^m$ for the maximal $m$-step solvable Galois group Gal$(K_m/K)$ of $K$. In this paper, we prove that the isomorphy type of $K$ is determined by the isomorphy type of $G_K^3$. Further, we prove that $K_m/K$ is determined functorially by $G_K^{m+3}$ (resp. $G_K^{m+4}$) for $m\geq 2$ (resp. $m \leq 1$). This is a substantial sharpening of a famous theorem of Neukirch and Uchida. A key step in our proof is the establishment of the so-called local theory, which in our context characterises group-theoretically the set of decomposition groups (at nonarchimedean primes) in $G_K^m$, starting from $G_K^{m+2}$.


title: Absum: Simple Regularization Method for Reducing Structural Sensitivity of Convolutional Neural Networks

abstract: We propose Absum, which is a regularization method for improving adversarial robustness of convolutional neural networks (CNNs). Although CNNs can accurately recognize images, recent studies have shown that the convolution operations in CNNs commonly have structural sensitivity to specific noise composed of Fourier basis functions. By exploiting this sensitivity, they proposed a simple black-box adversarial attack: Single Fourier attack. To reduce structural sensitivity, we can use regularization of convolution filter weights since the sensitivity of linear transform can be assessed by the norm of the weights. However, standard regularization methods can prevent minimization of the loss function because they impose a tight constraint for obtaining high robustness. To solve this problem, Absum imposes a loose constraint; it penalizes the absolute values of the summation of the parameters in the convolution layers. Absum can improve robustness against single Fourier attack while being as simple and efficient as standard regularization methods (e.g., weight decay and L1 regularization). Our experiments demonstrate that Absum improves robustness against single Fourier attack more than standard regularization methods. Furthermore, we reveal that robust CNNs with Absum are more robust against transferred attacks due to decreasing the common sensitivity and against high-frequency noise than standard regularization methods. We also reveal that Absum can improve robustness against gradient-based attacks (projected gradient descent) when used with adversarial training.


title: Distinctive features of hadronizing heavy quarks

abstract: The color field of a quark, stripped off in a hard reaction, is regenerated via gluon radiation. The space-time development of a jet is controlled by the coherence time of gluon radiation, which for heavy quarks is subject to the dead-cone effect, suppressing gluons with small transverse momenta. As a result, heavy quarks can radiate only a small fraction of the initial energy. This explains the peculiar shape of the measured heavy quark fragmentation function, which strongly peaks at large fractional momenta z. The fragmentation length distribution, related to the fragmentation function in a model independent way, turns out to be concentrated at distances much shorter than the confinement radius. This implies that the mechanisms of heavy quark fragmentation is pure perturbative.


title: Generalised Krein-Feller operators and gap diffusions via transformations of measure spaces

abstract: We consider the generalised Krein-Feller operator $\Delta_{\nu, \mu} $ with respect to compactly supported Borel probability measures $\mu$ and $\nu$ with the natural restrictions that $\mu$ is atomless, the supp$(\nu)\subseteq$supp$(\mu)$ and the atoms of $\nu $ are embedded in the supp$(\mu)$. We show that the solutions of the eigenvalue problem for $\Delta_{\nu, \mu} $ can be transferred to the corresponding problem for the classical Krein-Feller operator $\Delta_{\nu \circ F_{\mu}^{-1}, \Lambda}$ with respect to the Lebesgue measure $\Lambda$ via an isometric isomorphism determined by the distribution function $F_\mu$ of $\mu$. In this way, we obtain a new characterisation of the upper spectral dimension and consolidate many known results on the spectral asymptotics of Krein-Feller operators. We also recover known properties of and connections to generalised gap diffusions associated to these operators.


title: Simulation Study and Analysis of Diffusive Molecular Communications with an Apertured Plane

abstract: Molecular communication via diffusion (MCvD) is a method of achieving nano- and micro-scale connectivity by utilizing the free diffusion mechanism of information molecules. The randomness in diffusive propagation is the main cause of inter-symbol interference (ISI) and the limiting factor of high data rate MCvD applications. In this paper, an apertured plane is considered between the transmitter and the receiver of an MCvD link. Either after being artificially placed or occurring naturally, surfaces or volumes that resemble an apertured plane only allow a fraction of the molecules to pass. Contrary to intuition, it is observed that such topology may improve communication performance, given the molecules that can pass through the aperture are the ones that take more directed paths towards the receiver. Furthermore, through both computer simulations and a theoretical signal evaluation metric named signal-to-interference and noise amplitude ratio (SINAR), it is found that the size of the aperture imposes a trade-off between the received signal power and the ISI combating capability of an MCvD system, hinting to an optimal aperture size that minimizes the bit error rate (BER). It is observed that the trend of BER is accurately mirrored by SINAR, suggesting the proposed metric's applicability to optimization tasks in MCvD systems, including finding the optimal aperture size of an apertured plane. In addition, computer simulations and SINAR show that said optimal aperture size is affected by the location of the aperture and the bit rate. Lastly, the paper analyzes the effects of radial and angular offsets in the placement of the apertured plane, and finds that a reduction in BER is still in effect up to certain offset values. Overall, our results imply that apertured plane-like surfaces may actually help communication efficiency, even though they reduce the received signal power.


title: When is a set of questions to nature together with sharp answers to those questions in one-to-one correspondence with a set of quantum states?

abstract: A general question is posed to the quantum community. Partial results are formulated in a self-contained way. In particular, the title question is answered affirmatorily in two cases: 1) The case of spin/ angular momentum of a partcle; 2) A general symmetry situation under certain technical assumptions.


title: Weaving Hilbert Space Frames and Duality

abstract: Weaving Hilbert space frames have been introduced recently by Bemrose et al. to deal with some problems in distributed signal processing. In this paper, we survey this topic from the viewpoint of the duality principle, so we obtain new properties in weaving frame theory related to dual frames. Specifically, we give some sufficient conditions under which a frame with its canonical dual, alternate duals or approximate duals constitute some concrete pairs of woven frames. Moreover, we survey the stability of weaving frames under perturbations and different operators.


title: Design of reversible low-field magnetocaloric effect at room temperature in hexagonal MnMX ferromagnets

abstract: Giant magnetocaloric effect is widely achieved in hexagonal MnMX-based (M = Co or Ni, X = Si or Ge) ferromagnets at their first-order magnetostructural transition. However, the thermal hysteresis and the low sensitivity of the magnetostructural transition to the magnetic field inevitably lead to a sizeable irreversibility of the low-field magnetocaloric effect. In this work, we show an alternative way to realize a reversible low-field magnetocaloric effect in MnMX-based alloys by taking advantage of the second-order phase transition. With introducing Cu into Co in MnCoGe alloy, the martensitic transition is stabilized at high temperature, while the Curie temperature of the orthorhombic phase is reduced to room temperature. As a result, a second-order magnetic transition with negligible thermal hysteresis and a large magnetization change can be observed, enabling a large reversible magnetocaloric effect. By both calorimetric and direct measurements, a reversible adiabatic temperature change of about 1 K is obtained under a field change of 0-1 T at 304 K, which is larger than that obtained in a first-order magnetostructural transition. To get a better insight into the origin of these experimental results, first-principles calculations are carried out to characterize the chemical bonds and the magnetic exchange interaction. Our work provides a new understanding of the MnCoGe alloy and indicates a feasible route to improve the reversibility of the low-field magnetocaloric effect in the MnMX system.


title: How to Write Summaries with Patterns? Learning towards Abstractive Summarization through Prototype Editing

abstract: Under special circumstances, summaries should conform to a particular style with patterns, such as court judgments and abstracts in academic papers. To this end, the prototype document-summary pairs can be utilized to generate better summaries. There are two main challenges in this task: (1) the model needs to incorporate learned patterns from the prototype, but (2) should avoid copying contents other than the patternized words---such as irrelevant facts---into the generated summaries. To tackle these challenges, we design a model named Prototype Editing based Summary Generator (PESG). PESG first learns summary patterns and prototype facts by analyzing the correlation between a prototype document and its summary. Prototype facts are then utilized to help extract facts from the input document. Next, an editing generator generates new summary based on the summary pattern or extracted facts. Finally, to address the second challenge, a fact checker is used to estimate mutual information between the input document and generated summary, providing an additional signal for the generator. Extensive experiments conducted on a large-scale real-world text summarization dataset show that PESG achieves the state-of-the-art performance in terms of both automatic metrics and human evaluations.


title: Nonexistence of global solutions for the semilinear Moore-Gibson-Thompson equation in the conservative case

abstract: In this work, the Cauchy problem for the semilinear Moore-Gibson-Thompson (MGT) equation with power nonlinearity $|u|^p$ on the right-hand side is studied. Applying $L^2-L^2$ estimates and a fixed point theorem, we obtain local (in time) existence of solutions to the semilinear MGT equation. Then, the blow-up of local in time solutions is proved by using an iteration method, under certain sign assumption for initial data, and providing that the exponent of the power of the nonlinearity fulfills $1 < p \leqslant p_{\mathrm{Str}}(n)$ for $n \geqslant2$ and $p>1$ for $n=1$. Here the Strauss exponent $p_{\mathrm{Str}}(n)$ is the critical exponent for the semilinear wave equation with power nonlinearity. In particular, in the limit case $p=p_{\mathrm{Str}}(n)$ a different approach with a weighted space average of a local in time solution is considered.


title: Towards humane digitization: a wellbeing-driven process of personas creation

abstract: Digital transformation is a process of digitizing the working and living environment in which people are at the center of digitization. In this paper, we present a personas-based guideline for system developers on how the humanization of digital transformation integrates into the design process. The proposed guideline uses the positive personas from the beginning as a basis for the transformation of the working environment into the digital form. We used the literature research as a preliminary study for the process of wellbeing-driven digital transformation design, consisting of questions for structuring the required information in the positive personas as well as a potential method that could be integrated into the wellbeing-based design process.


title: Social and Scene-Aware Trajectory Prediction in Crowded Spaces

abstract: Mimicking human ability to forecast future positions or interpret complex interactions in urban scenarios, such as streets, shopping malls or squares, is essential to develop socially compliant robots or self-driving cars. Autonomous systems may gain advantage on anticipating human motion to avoid collisions or to naturally behave alongside people. To foresee plausible trajectories, we construct an LSTM (long short-term memory)-based model considering three fundamental factors: people interactions, past observations in terms of previously crossed areas and semantics of surrounding space. Our model encompasses several pooling mechanisms to join the above elements defining multiple tensors, namely social, navigation and semantic tensors. The network is tested in unstructured environments where complex paths emerge according to both internal (intentions) and external (other people, not accessible areas) motivations. As demonstrated, modeling paths unaware of social interactions or context information, is insufficient to correctly predict future positions. Experimental results corroborate the effectiveness of the proposed framework in comparison to LSTM-based models for human path prediction.


title: Gr\"uneisen parameters for Lieb-Liniger and Yang-Gaudin models

abstract: Using the Bethe ansatz solution, we analytically study expansionary, magnetic and interacting Gr\"uneisen parameters (GPs) for one-dimensional (1D) Lieb-Liniger and Yang-Gaudin models. These different GPs elegantly quantify the dependences of characteristic energy scales of these quantum gases on the volume, the magnetic field and the interaction strength, revealing the caloric effects resulted from the variations of these potentials. The obtained GPs further confirm an identity which is incurred by the symmetry of the thermal potential. We also present universal scaling behavior of these GPs in the vicinities of the quantum critical points driven by different potentials. The divergence of the GPs not only provides an experimental identification of non-Fermi liquid nature at quantum criticality but also elegantly determine low temperature phases of the quantum gases. Moreover, the pairing and depairing features in the 1D attractive Fermi gases can be captured by the magnetic and interacting GPs, facilitating experimental observation of quantum phase transitions. Our results open to further study the interaction- and magnetic-field-driven quantum refrigeration and quantum heat engine in quantum gases of ultracold atoms.


title: Localization with Limited Annotation for Chest X-rays

abstract: Localization of an object within an image is a common task in medical imaging. Learning to localize or detect objects typically requires the collection of data which has been labelled with bounding boxes or similar annotations, which can be very time consuming and expensive. A technique which could perform such learning with much less annotation would, therefore, be quite valuable. We present such a technique for localization with limited annotation, in which the number of images with bounding boxes can be a small fraction of the total dataset (e.g. less than 1%); all other images only possess a whole image label and no bounding box. We propose a novel loss function for tackling this problem; the loss is a continuous relaxation of a well-defined discrete formulation of weakly supervised learning and is numerically well-posed. Furthermore, we propose a new architecture which accounts for both patch dependence and shift-invariance, through the inclusion of CRF layers and anti-aliasing filters, respectively. We apply our technique to the localization of thoracic diseases in chest X-ray images and demonstrate state-of-the-art localization performance on the ChestX-ray14 dataset.


title: Supports in Lipschitz-free spaces and applications to extremal structure

abstract: We show that the class of Lipschitz-free spaces over closed subsets of any complete metric space $M$ is closed under arbitrary intersections, improving upon the previously known finite-diameter case. This allows us to formulate a general and natural definition of supports for elements in a Lipschitz-free space $\mathcal F(M)$. We then use this concept to study the extremal structure of $\mathcal F(M)$. We prove in particular that $(\delta(x) - \delta(y))/d(x,y)$ is an exposed point of the unit ball of $\mathcal F(M)$ whenever the metric segment $[x,y]$ is trivial, and that any extreme point which can be expressed as a finitely supported perturbation of a positive element must be finitely supported itself. We also characterise the extreme points of the positive unit ball: they are precisely the normalized evaluation functionals on points of $M$.


title: A Survey on the Security and the Evolution of Osmotic and Catalytic Computing for 5G Networks

abstract: The 5G networks have the capability to provide high compatibility for the new applications, industries, and business models. These networks can tremendously improve the quality of life by enabling various use cases that require high data-rate, low latency, and continuous connectivity for applications pertaining to eHealth, automatic vehicles, smart cities, smart grid, and the Internet of Things (IoT). However, these applications need secure servicing as well as resource policing for effective network formations. There have been a lot of studies, which emphasized the security aspects of 5G networks while focusing only on the adaptability features of these networks. However, there is a gap in the literature which particularly needs to follow recent computing paradigms as alternative mechanisms for the enhancement of security. To cover this, a detailed description of the security for the 5G networks is presented in this article along with the discussions on the evolution of osmotic and catalytic computing-based security modules. The taxonomy on the basis of security requirements is presented, which also includes the comparison of the existing state-of-the-art solutions. This article also provides a security model, "CATMOSIS", which idealizes the incorporation of security features on the basis of catalytic and osmotic computing in the 5G networks. Finally, various security challenges and open issues are discussed to emphasize the works to follow in this direction of research.


title: Slices of Attention in Asynchronous Video Job Interviews

abstract: The impact of non verbal behaviour in a hiring decision remains an open question. Investigating this question is important, as it could provide a better understanding on how to train candidates for job interviews and make recruiters be aware of influential non verbal behaviour. This research has recently been accelerated due to the development of tools for the automatic analysis of social signals, and the emergence of machine learning methods. However, these studies are still mainly based on hand engineered features, which imposes a limit to the discovery of influential social signals. On the other side, deep learning methods are a promising tool to discover complex patterns without the necessity of feature engineering. In this paper, we focus on studying influential non verbal social signals in asynchronous job video interviews that are discovered by deep learning methods. We use a previously published deep learning system that aims at inferring the hirability of a candidate with regard to a sequence of interview questions. One particularity of this system is the use of attention mechanisms, which aim at identifying the relevant parts of an answer. Thus, information at a fine-grained temporal level could be extracted using global (at the interview level) annotations on hirability. While most of the deep learning systems use attention mechanisms to offer a quick visualization of slices when a rise of attention occurs, we perform an in-depth analysis to understand what happens during these moments. First, we propose a methodology to automatically extract slices where there is a rise of attention (attention slices). Second, we study the content of attention slices by comparing them with randomly sampled slices. Finally, we show that they bear significantly more information for hirability than randomly sampled slices.


title: Almost optimal classical approximation algorithms for a quantum generalization of Max-Cut

abstract: Approximation algorithms for constraint satisfaction problems (CSPs) are a central direction of study in theoretical computer science. In this work, we study classical product state approximation algorithms for a physically motivated quantum generalization of Max-Cut, known as the quantum Heisenberg model. This model is notoriously difficult to solve exactly, even on bipartite graphs, in stark contrast to the classical setting of Max-Cut. Here we show, for any interaction graph, how to classically and efficiently obtain approximation ratios 0.649 (anti-ferromagnetic XY model) and 0.498 (anti-ferromagnetic Heisenberg XYZ model). These are almost optimal; we show that the best possible ratios achievable by a product state for these models is 2/3 and 1/2, respectively.


title: The mass-radius relation for neutron stars in $f(R)=R+\alpha R^2$ gravity: a comparison between purely metric and torsion formulations

abstract: Within the framework of $f(R)=R+\alpha R^2$ gravity, we study realistic models of neutron stars, using equations of state compatible with the LIGO constraints. i.e. APR4, MPA1, SLy, and WW1. By numerically solving modified Tolman-Oppenheimer-Volkoff equations, we investigate the Mass--Radius relation in both metric and torsional $f(R)=R+\alpha R^2$ gravity models. In particular, we observe that torsion effects decrease the compactness and total mass of neutron star with respect to the General Relativity predictions, therefore mimicking the effects of a repulsive massive field. The opposite occurs in the metric theory, where mass and compactness increase with $\alpha$, thus inducing an excess of mass that overtakes the standard General Relativity limit. We also find that the sign of $\alpha$ must be reversed whether one considers the metric theory (positive) or torsion (negative) to avoid blowing up solutions. This could draw an easy test to either confirm or discard one or the other theory by determining the sign of parameter $\alpha$.


title: Biometric Face Presentation Attack Detection with Multi-Channel Convolutional Neural Network

abstract: Face recognition is a mainstream biometric authentication method. However, vulnerability to presentation attacks (a.k.a spoofing) limits its usability in unsupervised applications. Even though there are many methods available for tackling presentation attacks (PA), most of them fail to detect sophisticated attacks such as silicone masks. As the quality of presentation attack instruments improves over time, achieving reliable PA detection with visual spectra alone remains very challenging. We argue that analysis in multiple channels might help to address this issue. In this context, we propose a multi-channel Convolutional Neural Network based approach for presentation attack detection (PAD). We also introduce the new Wide Multi-Channel presentation Attack (WMCA) database for face PAD which contains a wide variety of 2D and 3D presentation attacks for both impersonation and obfuscation attacks. Data from different channels such as color, depth, near-infrared and thermal are available to advance the research in face PAD. The proposed method was compared with feature-based approaches and found to outperform the baselines achieving an ACER of 0.3% on the introduced dataset. The database and the software to reproduce the results are made available publicly.


title: The sum-of-digits function on arithmetic progressions

abstract: Let $s_2$ be the sum-of-digits function in base $2$, which returns the number of non-zero binary digits of a nonnegative integer $n$. We study $s_2$ alon g arithmetic subsequences and show that --- up to a shift --- the set of $m$-tuples of integers that appear as an arithmetic subsequence of $s_2$ has full complexity.


title: Spacetime Colour Reconnection in Herwig 7

abstract: We present a model for generating spacetime coordinates in the Monte Carlo event generator Herwig 7, and perform colour reconnection by minimizing a boost-invariant distance measure of the system. We compare the model to a series of soft physics observables. We find reasonable agreement with the data, suggesting that $pp$-collider colour reconnection may be able to be applied in larger systems.


title: Anomalous Variability of Dyson Megastructures

abstract: In the framework of the approach of Dyson megastructures, by assuming that a super-advanced civilization exists and is capable of constructing a ring-like megastructure around their host star, we have considered the observational signatures of cold (300 K) and hot (4000) K astro-engineering to answer the question: are the modern facilities capable to detect theoretically predicted fingerprints? By implying the spectral resolving power and the radial velocity methods it has been shown that the oscillation of the rings might be detected as anomalous variability of the megastructures.


title: Cumulants of conserved charges in GGE and cumulants of total transport in GHD: exact summation of matrix elements?

abstract: We obtain the cumulants of conserved charges in Generalized Gibbs Ensemble (GGE) by a direct summation of their finite-particle matrix elements. The Gaudin determinant that describes the norm of Bethe states is written as a sum over forests by virtue of the matrix-tree theorem. The aforementioned cumulants are then given by a sum over tree-diagrams whose Feynman rules involve simple Thermodynamic Bethe Ansatz (TBA) quantities. The internal vertices of these diagrams have the interpretation of virtual particles that carry anomalous corrections to bare charges. Our derivation follows closely the spirit of recent works [1,2]. We also conjecture that the cumulants of total transport in Generalized Hydrodynamics (GHD) are given by the same diagrams up to minor modifications. These cumulants play a central role in large deviation theory and were obtained in [3] using linear fluctuating hydrodynamics at Euler scale. We match our conjecture with the result of [3] up to the fourth cumulant. This highly non-trivial matching provides a strong support for our conjecture.


title: Superconducting Properties of Heavy Fermion UTe$_2$ Revealed by $^{125}$Te-Nuclear Magnetic Resonance

abstract: We have performed the $^{125}$Te-nuclear magnetic resonance (NMR) measurement in the field along the $b$ axis on the newly discovered superconductor UTe$_2$, which is a candidate of a spin-triplet superconductor. The nuclear spin-lattice relaxation rate divided by temperature $1/T_1T$ abruptly decreases below a superconducting (SC) transition temperature $T_c$ without showing a coherence peak, indicative of UTe$_2$ being an unconventional superconductor. It was found that the temperature dependence of $1/T_1T$ in the SC state cannot be understood by a single SC gap behavior but can be explained by a two SC gap model. The Knight shift, proportional to the spin susceptibility, decreases below $T_c$, but the magnitude of the decrease is much smaller than the decrease expected in the spin-singlet pairing. Rather, the small Knight-shift decrease as well as the absence of the Pauli-depairing effect can be interpreted by the spin triplet scenario.


title: Direct constraints on ultra-light boson mass from searches for continuous gravitational waves

abstract: \textit{Superradiance} can trigger the formation of an ultra-light boson cloud around a spinning black hole. Once formed, the boson cloud is expected to emit a nearly periodic, long-duration, gravitational-wave signal. For boson masses in the range $(10^{-13}-10^{-11})$ eV, and stellar mass black holes, such signals are potentially detectable by gravitational wave detectors, like Advanced LIGO and Virgo. In this {\it Letter} we present full band upper limits for a generic all-sky search for periodic gravitational waves in LIGO O2 data, and use them to derive - for the first time - direct constraints on the ultra-light scalar boson field mass.


title: How Additional Knowledge can Improve Natural Language Commonsense Question Answering?

abstract: Recently several datasets have been proposed to encourage research in Question Answering domains where commonsense knowledge is expected to play an important role. Recent language models such as ROBERTA, BERT and GPT that have been pre-trained on Wikipedia articles and books have shown reasonable performance with little fine-tuning on several such Multiple Choice Question-Answering (MCQ) datasets. Our goal in this work is to develop methods to incorporate additional (commonsense) knowledge into language model-based approaches for better question-answering in such domains. In this work, we first categorize external knowledge sources, and show performance does improve on using such sources. We then explore three different strategies for knowledge incorporation and four different models for question-answering using external commonsense knowledge. We analyze our predictions to explore the scope of further improvements.


title: Testing the robustness of attribution methods for convolutional neural networks in MRI-based Alzheimer's disease classification

abstract: Attribution methods are an easy to use tool for investigating and validating machine learning models. Multiple methods have been suggested in the literature and it is not yet clear which method is most suitable for a given task. In this study, we tested the robustness of four attribution methods, namely gradient*input, guided backpropagation, layer-wise relevance propagation and occlusion, for the task of Alzheimer's disease classification. We have repeatedly trained a convolutional neural network (CNN) with identical training settings in order to separate structural MRI data of patients with Alzheimer's disease and healthy controls. Afterwards, we produced attribution maps for each subject in the test data and quantitatively compared them across models and attribution methods. We show that visual comparison is not sufficient and that some widely used attribution methods produce highly inconsistent outcomes.


title: A note on the quasiconvex Jensen divergences and the quasiconvex Bregman divergences derived thereof

abstract: We first introduce the class of strictly quasiconvex and strictly quasiconcave Jensen divergences which are oriented (asymmetric) distances, and study some of their properties. We then define the strictly quasiconvex Bregman divergences as the limit case of scaled and skewed quasiconvex Jensen divergences, and report a simple closed-form formula which shows that these divergences are only pseudo-divergences at countably many inflection points of the generators. To remedy this problem, we propose the $\delta$-averaged quasiconvex Bregman divergences which integrate the pseudo-divergences over a small neighborhood in order obtain a proper divergence. The formula of $\delta$-averaged quasiconvex Bregman divergences extend even to non-differentiable strictly quasiconvex generators. These quasiconvex Bregman divergences between distinct elements have the property to always have one orientation finite while the other orientation is infinite. We show that these quasiconvex Bregman divergences can also be interpreted as limit cases of generalized skewed Jensen divergences with respect to comparative convexity by using power means. Finally, we illustrate how these quasiconvex Bregman divergences naturally appear as equivalent divergences for the Kullback-Leibler divergences between probability densities belonging to a same parametric family of distributions with nested supports.


title: Ultimate Photo-Thermo-Acoustic Efficiency of Graphene Aerogels

abstract: The ability to generate, amplify, mix, and modulate sound with no harmonic distortion in a passive opto-acoustic device would revolutionize the field of acoustics. The photo-thermo-acoustic (PTA) effect allows to transduce light into sound without any bulk electro-mechanically moving parts and electrical connections, as for conventional loudspeakers. Also, PTA devices can be integrated with standard silicon complementary metal-oxide semiconductor (CMOS) fabrication techniques. Here, we demonstrate that the ultimate PTA efficiency of graphene aerogels, depending on their particular thermal and optical properties, can be experimentally achieved by reducing their mass density. Furthermore, we illustrate that the aerogels behave as an omnidirectional point-source throughout the audible range with no harmonic distortion. This research represents a breakthrough for audio-visual consumer technologies and it could pave the way to novel opto-acoustic sensing devices.


title: Procedural Reasoning Networks for Understanding Multimodal Procedures

abstract: This paper addresses the problem of comprehending procedural commonsense knowledge. This is a challenging task as it requires identifying key entities, keeping track of their state changes, and understanding temporal and causal relations. Contrary to most of the previous work, in this study, we do not rely on strong inductive bias and explore the question of how multimodality can be exploited to provide a complementary semantic signal. Towards this end, we introduce a new entity-aware neural comprehension model augmented with external relational memory units. Our model learns to dynamically update entity states in relation to each other while reading the text instructions. Our experimental analysis on the visual reasoning tasks in the recently proposed RecipeQA dataset reveals that our approach improves the accuracy of the previously reported models by a large margin. Moreover, we find that our model learns effective dynamic representations of entities even though we do not use any supervision at the level of entity states.


title: On BLD-mappings with small distortion

abstract: We show that every $L$-BLD-mapping in a domain of $\mathbb{R}^n$ is a local homeomorphism if $L < \sqrt{2}$ or $K_I(f) < 2$. These bounds are sharp as shown by a winding map.


title: Dark Matter Mass and Anisotropy in Directional Detector

abstract: Velocity distribution of dark matter is supposed to be isotropic Maxwell-Boltzmann distribution in most cases, however, other distribution models including anisotropic one are suggested by simulations. Directional direct detection of dark matter is expected to be a hopeful way to discriminate isotropic distribution from anisotropic one. We investigate the possibility to obtain the anisotropy and WIMP mass by Monte-Carlo simulation supposing the directional detector.


title: Assembly of randomly placed parts realized by using only one robot arm with a general parallel-jaw gripper

abstract: In industry assembly lines, parts feeding machines are widely employed as the prologue of the whole procedure. They play the role of sorting the parts randomly placed in bins to the state with specified pose. With the help of the parts feeding machines, the subsequent assembly processes by robot arm can always start from the same condition. Thus it is expected that function of parting feeding machine and the robotic assembly can be integrated with one robot arm. This scheme can provide great flexibility and can also contribute to reduce the cost. The difficulties involved in this scheme lie in the fact that in the part feeding phase, the pose of the part after grasping may be not proper for the subsequent assembly. Sometimes it can not even guarantee a stable grasp. In this paper, we proposed a method to integrate parts feeding and assembly within one robot arm. This proposal utilizes a specially designed gripper tip mounted on the jaws of a two-fingered gripper. With the modified gripper, in-hand manipulation of the grasped object is realized, which can ensure the control of the orientation and offset position of the grasped object. The proposal in this paper is verified by a simulated assembly in which a robot arm completed the assembly process including parts picking from bin and a subsequent peg-in-hole assembly.


title: ASU at TextGraphs 2019 Shared Task: Explanation ReGeneration using Language Models and Iterative Re-Ranking

abstract: In this work we describe the system from Natural Language Processing group at Arizona State University for the TextGraphs 2019 Shared Task. The task focuses on Explanation Regeneration, an intermediate step towards general multi-hop inference on large graphs. Our approach consists of modeling the explanation regeneration task as a \textit{learning to rank} problem, for which we use state-of-the-art language models and explore dataset preparation techniques. We utilize an iterative re-ranking based approach to further improve the rankings. Our system secured 2nd rank in the task with a mean average precision (MAP) of 41.3\% on the test set.


title: Adversarial Vulnerability Bounds for Gaussian Process Classification

abstract: Machine learning (ML) classification is increasingly used in safety-critical systems. Protecting ML classifiers from adversarial examples is crucial. We propose that the main threat is that of an attacker perturbing a confidently classified input to produce a confident misclassification. To protect against this we devise an adversarial bound (AB) for a Gaussian process classifier, that holds for the entire input domain, bounding the potential for any future adversarial method to cause such misclassification. This is a formal guarantee of robustness, not just an empirically derived result. We investigate how to configure the classifier to maximise the bound, including the use of a sparse approximation, leading to the method producing a practical, useful and provably robust classifier, which we test using a variety of datasets.


title: Elementary Methods for Persistent Homotopy Groups

abstract: In this paper, we study the basic properties of persistent homotopy groups. We show that the persistent fundamental group benefits from the Van Kampen theorem, and the interleaving distance between total spaces is less than or equal to the maximum of the interleaving distances between subspaces. We also prove excision and Hurewicz theorems for persistent homotopy groups. As an application, we analyze the sublevelset persistent homotopy groups of the energy landscape of alkane molecules.


title: Challenging deep image descriptors for retrieval in heterogeneous iconographic collections

abstract: This article proposes to study the behavior of recent and efficient state-of-the-art deep-learning based image descriptors for content-based image retrieval, facing a panel of complex variations appearing in heterogeneous image datasets, in particular in cultural collections that may involve multi-source, multi-date and multi-view Permission to make digital


title: A spatio-kinematic model for jets in post-AGB stars

abstract: Aims. We aim to determine the geometry, density gradient, and velocity structure of jets in post-asymptotic giant branch (post-AGB) binaries. Methods. Our high cadence time series of high-resolution optical spectra of jet-creating post-AGB binary systems provide us with a unique tomography of the jet. We determine the spatio-kinematic structure of the jets based on these data by fitting the synthetic spectral line profiles created by our model to the observed, orbital phase-resolved, H{\alpha}-line profiles of these systems. The fitting routine is provided with an initial spectrum and is allowed to test three configurations, derived from three specific jet launching models: a stellar jet launched by the star, an X-wind, and a disk wind configuration. We apply a Markov-chain Monte Carlo routine in order to fit our model to the observations. Our fitting code is tested on the post-AGB binary IRAS19135+3937. Results. We find that a model using the stellar jet configuration gives a marginally better fit to our observations. The jet has a wide half-opening angle of about 76 degrees and reaches velocities up to 870 km/s. Conclusions. Our methodology is successful in determining some parameters for jets in post-AGB binaries. The model for IRAS19135+3937 includes a transparent, low density inner region (for a half-opening angle < 40 degrees). The source feeding the accretion disk around the companion is most likely the circumbinary disk. We will apply this jet fitting routine to other jet-creating post-AGB stars in order to provide a more complete description of these objects.


title: Learning to Avoid Poor Images: Towards Task-aware C-arm Cone-beam CT Trajectories

abstract: Metal artifacts in computed tomography (CT) arise from a mismatch between physics of image formation and idealized assumptions during tomographic reconstruction. These artifacts are particularly strong around metal implants, inhibiting widespread adoption of 3D cone-beam CT (CBCT) despite clear opportunity for intra-operative verification of implant positioning, e.g. in spinal fusion surgery. On synthetic and real data, we demonstrate that much of the artifact can be avoided by acquiring better data for reconstruction in a task-aware and patient-specific manner, and describe the first step towards the envisioned task-aware CBCT protocol. The traditional short-scan CBCT trajectory is planar, with little room for scene-specific adjustment. We extend this trajectory by autonomously adjusting out-of-plane angulation. This enables C-arm source trajectories that are scene-specific in that they avoid acquiring "poor images", characterized by beam hardening, photon starvation, and noise. The recommendation of ideal out-of-plane angulation is performed on-the-fly using a deep convolutional neural network that regresses a detectability-rank derived from imaging physics.


title: PgNN: Physics-guided Neural Network for Fourier Ptychographic Microscopy

abstract: Fourier ptychography (FP) is a newly developed computational imaging approach that achieves both high resolution and wide field of view by stitching a series of low-resolution images captured under angle-varied illumination. So far, many supervised data-driven models have been applied to solve inverse imaging problems. These models need massive amounts of data to train, and are limited by the dataset characteristics. In FP problems, generic datasets are always scarce, and the optical aberration varies greatly under different acquisition conditions. To address these dilemmas, we model the forward physical imaging process as an interpretable physics-guided neural network (PgNN), where the reconstructed image in the complex domain is considered as the learnable parameters of the neural network. Since the optimal parameters of the PgNN can be derived by minimizing the difference between the model-generated images and real captured angle-varied images corresponding to the same scene, the proposed PgNN can get rid of the problem of massive training data as in traditional supervised methods. Applying the alternate updating mechanism and the total variation regularization, PgNN can flexibly reconstruct images with improved performance. In addition, the Zernike mode is incorporated to compensate for optical aberrations to enhance the robustness of FP reconstructions. As a demonstration, we show our method can reconstruct images with smooth performance and detailed information in both simulated and experimental datasets. In particular, when validated in an extension of a high-defocus, high-exposure tissue section dataset, PgNN outperforms traditional FP methods with fewer artifacts and distinguishable structures.


title: Diagonalization of the finite Hilbert transform on two adjacent intervals: the Riemann-Hilbert approach

abstract: In this paper we study the spectra of bounded self-adjoint linear operators that are related to finite Hilbert transforms $\mathcal{H}_L:L^2([b_L,0])\to L^2([0,b_R])$ and $\mathcal{H}_R:L^2([0,b_R])\to L^2([b_L,0])$. These operators arise when one studies the interior problem of tomography. The diagonalization of $\mathcal{H}_R,\mathcal{H}_L$ has been previously obtained, but only asymptotically when $b_L\neq-b_R$. We implement a novel approach based on the method of matrix Riemann-Hilbert problems (RHP) which diagonalizes $\mathcal{H}_R,\mathcal{H}_L$ explicitly. We also find the asymptotics of the solution to a related RHP and obtain error estimates.


title: A rigid theorem for deformed Hermitian-Yang-Mills equation

abstract: In this paper, we study the deformed Hermitian-Yang-Mills equation on compact K\"ahler manifold with non-negative orthogonal bisectional curvature. We prove that the curvatures of deformed Hermitian-Yang-Mills metrics are parallel with respect to the background metric if there exists a positive constant $C$ such that $-\frac{1}{C}\omega<\sqrt{-1}F<C\omega$. We also study the self-shrinker over $\mathbb{C}^n$ to the corresponding parabolic flow. We prove that the self-shrinker over $\mathbb{C}^n$ is a quadratic polynomial function. We also show the similar rigid theorem for the J-equations and the self-shrinkers over $\mathbb{C}^n$ to J-flow.


title: A numerical method for Hadamard finite-part integrals with an integral power singularity at an endpoint

abstract: In this paper, we propose a numerical method for computing Hadamard finite-part integrals with an integral-power singularity at an endpoint, the part of the divergent integral which is finite as a limiting procedure. In the proposed method, we express the desired finite-part integral using a complex loop integral, and obtain the finite-part integral by evaluating the complex integral by the trapezoidal rule. Theoretical error estimate and some numerical examples show the effectiveness of the proposed method.


title: Timelike Geodesics in Naked Singularity and Black Hole Spacetimes II

abstract: We derive here the orbit equations of particles in naked singularity spacetimes, namely the Bertrand (BST) and Janis-Newman-Winicour (JNW) geometries, and for the Schwarzschild black hole. We plot the orbit equations and find the Perihelion precession of the orbits of particles in the BST and JNW spacetimes and compare these with the Schwarzschild black hole spacetime. We find and discuss different distinguishing properties in the effective potentials and orbits of particle in BST, JNW and Schwarzschild spacetimes, and the particle trajectories are shown for the matching of BST with an external Schwarzschild spacetime. We show that the nature of perihelion precession of orbits in BST and Schwarzschild spacetimes are similar, while in the JNW case the nature of perihelion precession of orbits is opposite to that of the Schwarzschild and BST spacetimes. Other interesting and important features of these orbits are pointed out.


title: Almost Everywhere Generalized Phase Retrieval

abstract: The aim of generalized phase retrieval is to recover $\mathbf{x}\in \mathbb{F}^d$ from the quadratic measurements $\mathbf{x}^*A_1\mathbf{x},\ldots,\mathbf{x}^*A_N\mathbf{x}$, where $A_j\in \mathbf{H}_d(\mathbb{F})$ and $\mathbb{F}=\mathbb{R}$ or $\mathbb{C}$. In this paper, we study the matrix set $\mathcal{A}=(A_j)_{j=1}^N$ which has the almost everywhere phase retrieval property. For the case $\mathbb{F}=\mathbb{R}$, we show that $N\geq d+1$ generic matrices with prescribed ranks have almost everywhere phase retrieval property. We also extend this result to the case where $A_1,\ldots,A_N$ are orthogonal matrices and hence establish the almost everywhere phase retrieval property for the fusion frame phase retrieval. For the case where $\mathbb{F}=\mathbb{C}$, we obtain similar results under the assumption of $N\geq 2d$. We lower the measurement number $d+1$ (resp. $2d$) with showing that there exist $N=d$ (resp. $2d-1$) matrices $A_1,\ldots, A_N\in \mathbf{H}_d(\mathbb{R})$ (resp. $\mathbf{H}_d(\mathbb{C})$) which have the almost everywhere phase retrieval property. Our results are an extension of almost everywhere phase retrieval from the standard phase retrieval to the general setting and the proofs are often based on some new ideas about determinant variety.


title: A kinematic confirmation of the hidden Vela supercluster

abstract: The universe region obscured by the Milky Way is very large and only future blind large HI redshift, and targeted peculiar surveys on the outer borders will determine how much mass is hidden there. Meanwhile, we apply for the first time two independent techniques to the galaxy peculiar velocity catalog $CosmicFlows-3$ in order to explore for the kinematic signature of a specific large-scale structure hidden behind this zone : the Vela supercluster at cz $\sim 18,000$,km s$^{-1}$ . Using the gravitational velocity and density contrast fields, we find excellent agreement when comparing our results to the Vela object as traced in redshift space. The article provides the first kinematic evidence of a major mass concentration (knot of the Cosmic Web) located in the direction behind Vela constellation, pin-pointing that the Zone of Avoidance should be surveyed in detail in the future .


title: Understanding the Information needs of Social Scientists in Germany

abstract: The information needs of social science researchers are manifold and almost studied in every decade since the 1950s. With this paper, we contribute to this series and present the results of three studies. We asked 367 social science researchers in Germany for their information needs and identified needs in different categories: literature, research data, measurement instruments, support for data analysis, support for data collection, variables in research data, software support, networking/cooperation, and illustrative material. Thereby, the search for literature and research data is still the main information need with more than three-quarter of our participants expressing needs in these categories. With comprehensive lists of altogether 154 concrete information needs, even those that are only expressed by one participant, we contribute to the holistic understanding of the information needs of social science researchers of today.


title: Enayat Theories

abstract: In this paper we study solution attempts for a problem posed by Ali Enayat: can there be a finitely axiomatized consistent sequential theory that interprets itself plus the (sentential or non-uniform) Tarski biconditionals? We provide a basic framework for the study of this question and discuss some solution attempts. We connect the question with some interesting conjectures. We briefly touch upon what happens if we consider uniform biconditionals.


title: Diagnostics of collisions between electrons and water molecules in near-ultraviolet and visible wavelengths

abstract: We studied dissociation reactions of electron impact on water vapor for several fragment species at optical and near ultraviolet wavelengths (200 - 850 nm). The resulting spectrum is dominated by the Hydrogen Balmer series, by the OH (A $^2\Sigma^+$ - X $^2\Pi$) band, and by the emission of ionic H$_2$O$^+$ (A $^2$A$_1$ - X $^2$B$_1$) and OH$^+$ (A $^3\Pi$ - X $^3\Sigma^-$) band systems. Emission cross sections and reaction channel thresholds were determined for energies between 5 - 100 eV. We find that electron impact dissociation of H$_2$O results in an emission spectrum of the OH (A $^2\Sigma^+$ - X $^2\Pi$) band that is distinctly different than the emission spectra from other excitation mechanisms seen in planetary astronomy. We attribute the change to a strongly non-thermal population of rotational states seen in planetary astronomy. This difference can be utilized for remote probing of the contribution of different physical reactions in astrophysical environments.


title: Low compressible BP$_3$N$_6$

abstract: Using first principles calculation, the structural and mechanical properties of BP$_3$N$_6$ which adopts an orthorhombic structure with space group Pna2$_1$ (no. 33), were determined at three different pressure values (0, 20 and 42.4~GPa). The nine independent elastic constants meet all necessary and sufficient conditions for mechanical stability criteria for an orthorhombic crystal. BP$_3$N$_6$ show strong resistance to volume change hence a potential low compressible material. The Vicker's hardness of BP$_3$N$_6$ was found to range between 49-51~GPa for different external pressures imposed on the crystal. These high values of Vicker's hardness implies that BP$_3$N$_6$ is a potential superhard material.


title: An Edit-centric Approach for Wikipedia Article Quality Assessment

abstract: We propose an edit-centric approach to assess Wikipedia article quality as a complementary alternative to current full document-based techniques. Our model consists of a main classifier equipped with an auxiliary generative module which, for a given edit, jointly provides an estimation of its quality and generates a description in natural language. We performed an empirical study to assess the feasibility of the proposed model and its cost-effectiveness in terms of data and quality requirements.


title: Typical Irreducible Characters of Generalized Quantum Groups

abstract: We introduce the definition of the typical irreducible modules of the generalized quantum groups, and prove the Weyl-Kac-type formulas of their characters. As a by-product, we obtain the Weyl-Kac-type character formulas of the typical irreducible modules of the quantum superalgebras associated with the basic classical Lie superalgebras, which is explained in Introduction.


title: Modeling and simulation of heat source trajectories through phase-change materials

abstract: The modeling and simulation of heat source trajectories through phase-change materials is a relevant problem both for space exploration and for terrestrial climate research, among other fields. In space, the DLR and NASA are both interested in exploring beneath the surfaces of icy moons, primarily Enceladus and Europa, where conditions may alloy for extraterrestrial life. On Earth, unique sub-glacial aquatic ecosystems offer potential for geo-biological discoveries. Unfortunately, existing ice-drilling technology is dirty and cumbersome. Melting probes are a clean and compact alternative technology which use heaters to melt through the ice. A melting probe's trajectory can be controlled with differential heating. Successful trajectory control requires advancements not only in the modeling and simulation of the ambient dynamics, but also of the probe's coupled rigid body dynamics. Fundamentally, the rigid body dynamics can be modeled by the equations of motion; but this approach is prohibitively complex. This work proposes an approach which exploits that the motion of the probe is driven by contact with the evolving liquid-solid interface. From this perspective, an energy minimization problem is formulated. The general mathematical problem is formulated as two split operators, respectively for the rigid body dynamics and the ambient dynamics. These operators are coupled with feasibility constraints which ensure that the probe does not penetrate the solid. Concrete examples are shown both for the energy minimization problem and for the unsteady ambient dynamics. Finally, an algorithm is presented for the temporal coupling of the split operators, which is implemented using Python and C++. Example trajectories are shown, including the dynamic response of the probe velocity to a rapid change in the heat flux.


title: Closing the gap to convergence of gravitoturbulence in local simulations

abstract: Aims. Our goal is to find a converged cooling limit for fragmentation in self-gravitating disks. This is especially interesting for the formation of planets, brown dwarfs or stars and the growth of black holes. While investigating the limit, we want to give a clear criterion for the state of convergence. Methods. We run two-dimensional shearingsheet simulations with the hydrodynamic package Fosite at high resolutions. Thereby resolution and limiters are altered. Subsequently, we investigate the spectra of important physical quantities at the length scales where fragmentation occurs. In order to avoid prompt fragmentation at high resolutions we start these simulations with a fully developed gravitoturbulent state obtained at a lower resolution. Results. We show nearly converged results for fragmentation with a critical cooling timescale $t_{\mathrm{crit}} \sim 10\,\Omega^{-1}$ . We can backtrace this claim by investigating the spectra of relevant physical variables at length scales around and below the pressure scale height. We argue that well behaved results cannot be expected if counteracting quantities are varying too much on these critical length scales, either by change of resolution or numerical method. A comparison of fragmentation behaviour with the related spectra reveals that simulations behave similar, if the spectra are converged to the length scales where self-gravity leads to instabilities. Observable deviations in the results obtained with different numerical setup are confined to scales below these critical length scales.


title: Shape optimization for interface identification in nonlocal models

abstract: Shape optimization methods have been proven useful for identifying interfaces in models governed by partial differential equations. Here we consider a class of shape optimization problems constrained by nonlocal equations which involve interface-dependent kernels. We derive a novel shape derivative associated to the nonlocal system model and solve the problem by established numerical techniques.


title: Blow-up for Strauss type wave equation with damping and potential

abstract: We study a kind of nonlinear wave equations with damping and potential, whose coefficients are both critical in the sense of the scaling and depend only on the spatial variables. Based on the earlier works, one may think there are two kinds of blow-up phenomenons when the exponent of the nonlinear term is small. It also means there are two kinds of law to determine the critical exponent. In this paper, we obtain a blow-up result and get the estimate of the upper bound of the lifespan in critical and sub-critical cases. All of the results support such a conjecture, although for now, the existence part is still open.


title: Probabilistic Shaping for Finite Blocklengths: Distribution Matching and Sphere Shaping

abstract: In this paper, we provide for the first time a systematic comparison of distribution matching (DM) and sphere shaping (SpSh) algorithms for short blocklength probabilistic amplitude shaping. For asymptotically large blocklengths, constant composition distribution matching (CCDM) is known to generate the target capacity-achieving distribution. As the blocklength decreases, however, the resulting rate loss diminishes the efficiency of CCDM. We claim that for such short blocklengths and over the additive white Gaussian channel (AWGN), the objective of shaping should be reformulated as obtaining the most energy-efficient signal space for a given rate (rather than matching distributions). In light of this interpretation, multiset-partition DM (MPDM), enumerative sphere shaping (ESS) and shell mapping (SM), are reviewed as energy-efficient shaping techniques. Numerical results show that MPDM and SpSh have smaller rate losses than CCDM. SpSh--whose sole objective is to maximize the energy efficiency--is shown to have the minimum rate loss amongst all. We provide simulation results of the end-to-end decoding performance showing that up to 1 dB improvement in power efficiency over uniform signaling can be obtained with MPDM and SpSh at blocklengths around 200. Finally, we present a discussion on the complexity of these algorithms from the perspective of latency, storage and computations.


title: A mTCA-based low level RF system prototype for MYRRHA 100 MeV project

abstract: The first phase of the MYRRHA (Multi-purpose hYbrid Research Reactor for High-tech Applications) project, MINERVA, was launched in September 2018. Through collaboration with the SCK-CEN, IN2P3 laboratories take in charge the developments of several parts of the accelerator, including a fully equipped Spoke cryomodule prototype and a cold valves box. This cryomodule will integrate two superconducting single spoke cavities operating at 2K, the RF power couplers and the cold tuning systems associated. For control and regulation purpose, a mTCA LLRF system prototype is being implemented and will be presented here alongside with the hardware, VHDL and EPICS developments that aim to fulfil MYRRHA's ambitious requirements.


title: $J/\psi \to \gamma \pi\pi$, $\gamma\pi^0\eta$ reactions and the $f_0(980)$ and $a_0(980)$ resonances

abstract: We study the $J/\psi \to \gamma \pi^+ \pi^-$, $\gamma \pi^0 \eta$ reactions from the perspective that they come from the $J/\psi \to \phi(\omega) \pi^+ \pi^-, \rho^0\pi^0 \eta$ reactions, where the $\rho^0$, $\omega$, and $\phi$ get converted into a photon via vector meson dominance. Using models successfully used previously to study the $J/\psi \to \omega (\phi) \pi\pi$ reactions, we make determinations of the invariant mass distributions for $\pi^+ \pi^-$ in the regions of the $f_0(500)$, $f_0(980)$, and for $\pi^0 \eta$ in the region of the $a_0(980)$. The integrated differential widths lead to branching ratios below present upper bounds, but they are sufficiently large for future check in updated facilities.


title: Polymer Nanoreactors Shield Perovskite Nanocrystals from Degradation

abstract: Halide perovskite nanocrystals (NCs) have shown impressive advances, exhibiting optical properties that outpace conventional semiconductor NCs, such as near-unity quantum yields and ultrafast radiative decay rates. Nevertheless, the NCs suffer even more from stability problems at ambient conditions and due to moisture than their bulk counterparts. Herein, we report a strategy of employing polymer micelles as nanoreactors for the synthesis of methylammonium lead trihalide perovskite NCs. Encapsulated by this polymer shell, the NCs display strong stability against water degradation and halide ion migration. Thin films comprising these NCs exhibit a more than 15-fold increase in lifespan in comparison to unprotected NCs in ambient conditions and even survive over 75 days of complete immersion in water. Furthermore, the NCs, which exhibit quantum yields of up to 63% and tunability of the emission wavelength throughout the visible range, show no signs of halide ion exchange. Additionally, heterostructures of MAPI and MAPBr NC layers exhibit efficient F\"orster resonance energy transfer (FRET), revealing a strategy for optoelectronic integration.


title: Probing Molecular Ordering in the Nematic Phases of para-Linked Bimesogen Dimers through NMR Studies of Flexible Prochiral Solutes

abstract: The quadrupolar splittings of perdeuteriated n-decane dissolved in nematic phases formed by mesogenic dimers of the CBnCB series, for n=7,9,10,11 are measured throughout the entire temperature range of these phases. The results of the measurements, are reported together with related measurements using the common nematic phase of 5CB as a solvent for n-decane. The data obtained from the $^{13}$C spectra of the cyanobiphenyl mesogenic units of the monomeric and dimeric solvent molecules yield the order parameter of those units. The information obtained from this set of experiments is used to elucidate the structure of the low temperature (N$_X$) and the high temperature (N) nematic phases of CBnCB dimers with n=7,9,11. The polar twisted nematic (N$_{PT}$) model is found to provide a consistent description not only of these measurements, but also of NMR measurements previously reported in the literature for these phases. These findings suggest that the high temperature nematic (N) is not a common, locally uniaxial and apolar nematic, but rather a nematic phase consisting of N$_{PT}$ clusters. The twist-bend (N$_{TB}$) model, often identified with the N$_X$ phase, is shown to be inadequate to account even qualitatively for crucial features of the experimental findings.


title: Explaining Visual Models by Causal Attribution

abstract: Model explanations based on pure observational data cannot compute the effects of features reliably, due to their inability to estimate how each factor alteration could affect the rest. We argue that explanations should be based on the causal model of the data and the derived intervened causal models, that represent the data distribution subject to interventions. With these models, we can compute counterfactuals, new samples that will inform us how the model reacts to feature changes on our input. We propose a novel explanation methodology based on Causal Counterfactuals and identify the limitations of current Image Generative Models in their application to counterfactual creation.


title: Global martingale solutions for quasilinear SPDEs via the boundedness-by-entropy method

abstract: The existence of global-in-time bounded martingale solutions to a general class of cross-diffusion systems with multiplicative Stratonovich noise is proved. The equations describe multicomponent systems from physics or biology with volume-filling effects and possess a formal gradient-flow or entropy structure. This structure allows for the derivation of almost surely positive lower and upper bounds for the stochastic processes. The existence result holds under some assumptions on the interplay between the entropy density and the multiplicative noise terms. The proof is based on a stochastic Galerkin method, a Wong--Zakai type approximation of the Wiener process, the boundedness-by-entropy method, and the tightness criterion of Brze\'{z}niak and coworkers. Three-species Maxwell--Stefan systems and $n$-species biofilm models are examples that satisfy the general assumptions.


title: Reduced algebraic conditions for plane/axial tensorial symmetries

abstract: In this article, we formulate necessary and sufficient polynomial equations for the existence of a symmetry plane or an order-two axial symmetry for a totally symmetric tensor of order n $\ge$ 1. These conditions are effective and of degree n (the tensor's order) in the components of the normal to the plane (or the direction of the axial symmetry). These results are then extended to obtain necessary and sufficient polynomial conditions for the existence of such symmetries for an Elasticity tensor, a Piezo-electricity tensor or a Piezo-magnetism pseudo-tensor.


title: Ground-State Cooling of a Single Atom in a High-Bandwidth Cavity

abstract: We report on vibrational ground-state cooling of a single neutral atom coupled to a high-bandwidth Fabry-P\'erot cavity. The cooling process relies on degenerate Raman sideband transitions driven by dipole trap beams, which confine the atoms in three dimensions. We infer a one-dimensional motional ground state population close to $90~\%$ by means of Raman spectroscopy. Moreover, lifetime measurements of a cavity-coupled atom exceeding 40 s imply three-dimensional cooling of the atomic motion, which makes this resource-efficient technique particularly interesting for cavity experiments with limited optical access.


title: Efficient Simulation of Field/Circuit Coupled Systems with Parallelised Waveform Relaxation

abstract: This paper proposes an efficient parallelised computation of field/circuit coupled systems co-simulated with the Waveform Relaxation (WR) technique. The main idea of the introduced approach lies in application of the parallel-in-time method parareal to the WR framework. Acceleration obtained by the time-parallelisation is further increased in the context of micro-macro parareal. Here, the field system is replaced by a lumped model in the circuit environment for the sequential computations of parareal. The introduced algorithm is tested with a model of a single-phase isolation transformer coupled to a rectifier circuit.


title: Optimal Selection of Structural Degree of Freedoms for Spceial Microscopic States to Characterize Disordered Structures

abstract: For classical discrete systems under constant composition, statistical mechanics tells us that a set of microscopic state dominantly contributing to thermodynamically equilibrium state should depend on temperature as well as on many-body interaction (i.e. thermodynamic information), through Boltzamann factor of exp(-bE). Despite this fact, our recent study reveals that a single (and a few additional) microscopic state (called projection state: PS), whose structure can be known a priori without r equiring thermodynamic information, can universally characterize equiibrium properties for disordered states, where their sturctures depends on configurational geometry before applying many-body interaction to the system. Although mathematical condition for the structures of PS have been rigorously established, practically effective condition for constructing the stuructures, especially for which set of a finite structural degree of freedoms (SDF) should be selected for considered coordination has not been clarified so far. We here tuckle this problem, proposing a quantitative and systematic criteria for an optimal set of SDFs. The present proposal enables to effectively constructing PSs for a limited system size, and also providing new insight into which set of SDFs should generally affects equilibrium properties along a chosen coordination, without using any thermodynamic information.


title: BRG.LifeMOD$^{TM}$ modeling and simulation of swimmers impulse during a grab start

abstract: The main aim of the study is to propose an approach for 3D modeling and simulation of swimmers impulse during a grab start. Four national level swimmers were investigated. For every swimmer, 3D model was generated in BRG.LifeMOD TM on the base of individual morphologic parameters and kinematic data obtained by high speed video camera and passive markers attached at the level of each important articulation. The proposed approach allows predicting swimmer's joint moments for each important articulation during the impulse phase of the grab start and to analyze the segmental coordination for each studied swimmer in order to optimize the performance. The model was successfully validated by comparing the predicted speed and power values with experimental ground reactions data collected in situ.


title: Efficient Prealignment of CT Scans for Registration through a Bodypart Regressor

abstract: Convolutional neural networks have not only been applied for classification of voxels, objects, or images, for instance, but have also been proposed as a bodypart regressor. We pick up this underexplored idea and evaluate its value for registration: A CNN is trained to output the relative height within the human body in axial CT scans, and the resulting scores are used for quick alignment between different timepoints. Preliminary results confirm that this allows both fast and robust prealignment compared with iterative approaches.


title: Finite-Volume approximation of the invariant measure of a viscous stochastic scalar conservation law

abstract: We study the numerical approximation of the invariant measure of a viscous scalar conservation law, one-dimensional and periodic in the space variable, and stochastically forced with a white-in-time but spatially correlated noise. The flux function is assumed to be locally Lipschitz continuous and to have at most polynomial growth. The numerical scheme we employ discretises the SPDE according to a finite-volume method in space, and a split-step backward Euler method in time. As a first result, we prove the well-posedness as well as the existence and uniqueness of an invariant measure for both the semi-discrete and the split-step scheme. Our main result is then the convergence of the invariant measures of the discrete approximations, as the space and time steps go to zero, towards the invariant measure of the SPDE, with respect to the second-order Wasserstein distance. We investigate rates of convergence theoretically, in the case where the flux function is globally Lipschitz continuous with a small Lipschitz constant, and numerically for the Burgers equation.


title: Lifting iterated Frobenius over $W_n(k)$

abstract: Let $X$ be a smooth scheme over a perfect field $k$ of positive characteristic. M.V.~Nori and V.~Srinivas studied infinitesimal liftings of Frobenius morphism $F:X\to X$. Namely, given a Frobenius lifting $F_Y: Y\to Y$ over $W_{n-1}(k)$ the obstruction of lifting $F_Y$ over $W_n(k)$ is a class in $H^1(X, T_X\tensor B_1\Omega^1_{X/k})$. We give a modified version of their theory and applications, in which we consider lifting $(n-1)$th iterated Frobenius $F^{n-1}:X\to X$ directly over $W_n(k)$.


title: A New Method for Geometric Interpretation of Elliptic Curve Discrete Logarithm Problem

abstract: In this paper, we intend to study the geometric meaning of the discrete logarithm problem defined over an Elliptic Curve. The key idea is to reduce the Elliptic Curve Discrete Logarithm Problem (EC-DLP) into a system of equations. These equations arise from the interesection of quadric hypersurfaces in an affine space of lower dimension. In cryptography, this interpretation can be used to design attacks on EC-DLP. Presently, the best known attack algorithm having a sub-exponential time complexity is through the implementation of Summation Polynomials and Weil Descent. It is expected that the proposed geometric interpretation can result in faster reduction of the problem into a system of equations. These overdetermined system of equations are hard to solve. We have used F4 (Faugere) algorithms and got results for primes less than 500,000. Quantum Algorithms can expedite the process of solving these over-determined system of equations. In the absence of fast algorithms for computing summation polynomials, we expect that this could be an alternative. We do not claim that the proposed algorithm would be faster than Shor's algorithm for breaking EC-DLP but this interpretation could be a candidate as an alternative to the 'summation polynomial attack' in the post-quantum era.