title: A Framework for Evaluating Snippet Generation for Dataset Search

abstract: Reusing existing datasets is of considerable significance to researchers and developers. Dataset search engines help a user find relevant datasets for reuse. They can present a snippet for each retrieved dataset to explain its relevance to the user's data needs. This emerging problem of snippet generation for dataset search has not received much research attention. To provide a basis for future research, we introduce a framework for quantitatively evaluating the quality of a dataset snippet. The proposed metrics assess the extent to which a snippet matches the query intent and covers the main content of the dataset. To establish a baseline, we adapt four state-of-the-art methods from related fields to our problem, and perform an empirical evaluation based on real-world datasets and queries. We also conduct a user study to verify our findings. The results demonstrate the effectiveness of our evaluation framework, and suggest directions for future research.


title: Gaussian Mixture Marginal Distributions for Modelling Remaining Pipe Wall Thickness of Critical Water Mains in Non-Destructive Evaluation

abstract: Rapidly estimating the remaining wall thickness (RWT) is paramount for the non-destructive condition assessment evaluation of large critical metallic pipelines. A robotic vehicle with embedded magnetism-based sensors has been developed to traverse the inside of a pipeline and conduct inspections at the location of a break. However its sensing speed is constrained by the magnetic principle of operation, thus slowing down the overall operation in seeking dense RWT mapping. To ameliorate this drawback, this work proposes the partial scanning of the pipe and then employing Gaussian Processes (GPs) to infer RWT at the unseen pipe sections. Since GP prediction assumes to have normally distributed input data - which does correspond with real RWT measurements - Gaussian mixture (GM) models are proven in this work as fitting marginal distributions to effectively capture the probability of any RWT value in the inspected data. The effectiveness of the proposed approach is extensively validated from real-world data collected in collaboration with a water utility from a cast iron water main pipeline in Sydney, Australia.


title: Neutrino oscillations at dual baselines

abstract: Beam neutrino oscillation experiments typically employ only one detector at a certain baseline, apart from the near detector that measures the unoscillated neutrino flux at the source. Lately, there have been discussions of having detectors at two different baselines in one of the future long-baseline neutrino oscillation experiments. We study the potential advantage of a general dual-baseline system and perform analysis with a specific example of the envisioned T2HKK experiment. We introduce a new parameter to exploit the correlation between the oscillations at both baselines, and show how it can help in determining the mass hierarchy and the CP phase in the neutrino sector. Our study and findings can be generically used for any dual-baseline system.


title: John Transform and Ultrahyperbolic Equation for Lightfields

abstract: This paper explores possibilities for new uses of the Radon transform for imaging and analysis of lightfields. We show that the previously reported Dimansionality Gap can be derived from an ultrahyperbolic PDE, first proposed by F. John, which is satisfied by lightfields. Based on inverse John transform we demonstrate rigorous Focal Stack rendering and viewing from arbitrary angles. Based on Asgeirsson's theorems for the ultrahyperbolic PDE we derive new kernels for processing lightfields. Our kernels provide alternative methods for depth computation and other image processing in lightfields.


title: Generative Guiding Block: Synthesizing Realistic Looking Variants Capable of Even Large Change Demands

abstract: Realistic image synthesis is to generate an image that is perceptually indistinguishable from an actual image. Generating realistic looking images with large variations (e.g., large spatial deformations and large pose change), however, is very challenging. Handing large variations as well as preserving appearance needs to be taken into account in the realistic looking image generation. In this paper, we propose a novel realistic looking image synthesis method, especially in large change demands. To do that, we devise generative guiding blocks. The proposed generative guiding block includes realistic appearance preserving discriminator and naturalistic variation transforming discriminator. By taking the proposed generative guiding blocks into generative model, the latent features at the layer of generative model are enhanced to synthesize both realistic looking- and target variation- image. With qualitative and quantitative evaluation in experiments, we demonstrated the effectiveness of the proposed generative guiding blocks, compared to the state-of-the-arts.


title: In-plane to perpendicular magnetic anisotropy switching in heavily-Fe-doped ferromagnetic semiconductor (Ga,Fe)Sb with high Curie temperature

abstract: We report switching of magnetic anisotropy (MA) from in-plane to perpendicular with increasing the thickness d of a (001)-oriented ferromagnetic-semiconductor (FMS) (Ga0.7,Fe0.3)Sb layer with a high Curie temperature (Tc > 320 K), using ferromagnetic resonance at room temperature. We show that the total MA energy (E) along the [001] direction changes its sign from positive (in-plane) to negative (perpendicular) with increasing d above an effective critical value \mathrm{d}_\mathrm{C}^\mathrm{*}\ ~ 42 nm. We reveal that (Ga,Fe)Sb has two-fold symmetry in the film plane. Meanwhile, in the plane perpendicular to the film including the in-plane [110] axis, the two-fold symmetry with the easy magnetization axis along [110] changes to four-fold symmetry with easy magnetization axis along <001> with increasing d. This peculiar behavior is different from that of (Ga,Mn)As, in which only the in-plane MA depends on the film thickness and has four-fold symmetry due to its dominant cubic anisotropy along the <100> axes. This work provides an important guide for controlling the easy magnetization axis of high-Tc FMS (Ga,Fe)Sb for room-temperature device applications.


title: Solving the Reswitching Paradox in the Sraffian Theory of Capital

abstract: The possibility of re-switching of techniques in Piero Sraffa's intersectoral model, namely the returning capital-intensive techniques with monotonic changes in the profit rate, is traditionally considered as a paradox putting at stake the viability of the neoclassical theory of production. It is argued here that this phenomenon can be rationalized within the neoclassical paradigm. Sectoral interdependencies can give rise to non-monotonic effects of progressive variations in income distribution on relative prices. The re-switching of techniques is, therefore, the result of cost-minimizing technical choices facing returning ranks of relative input prices in full consistency with the neoclassical perspective.


title: Operads of (noncrossing) partitions, interacting bialgebras, and moment-cumulant relations

abstract: We establish and explore a relationship between two approaches to moment-cumulant relations in free probability theory: on one side the main approach, due to Speicher, given in terms of M\"obius inversion on the lattice of noncrossing partitions, and on the other side the more recent non-commutative shuffle-algebra approach, where the moment-cumulant relations take the form of certain exponential-logarithm relations. We achieve this by exhibiting two operad structures on (noncrossing) partitions, different in nature: one is an ordinary, non-symmetric operad whose composition law is given by insertion into gaps between elements, the other is a coloured, symmetric operad with composition law expressing refinement of blocks. We show that these operad structures interact so as to make the corresponding incidence bialgebra of the former a comodule bialgebra for the latter. Furthermore, this interaction is compatible with the shuffle structure and thus unveils how the two approaches are intertwined. Moreover, the constructions and results are general enough to extend to ordinary set partitions.


title: A compact electron injector for the EIC based on plasma wakefields driven by the RHIC-EIC proton beam

abstract: Initial simulations investigating using the RHIC-EIC proton beam as the drive beam in a plasma wakefield acceleration experiment are presented. The proton beam enters the plasma and undergoes self-modulation, forming a series of microbunches. These microbunches resonantly drive electron density perturbations within the plasma, exciting a longitudinal electric field with accelerating gradients in excess of $\mathrm{GVm^{-1}}$. Injecting electrons into the resulting wakefield offers an efficient method for accelerating electron bunches for use in the proposed EIC collider.


title: Core First Unit Propagation

abstract: Unit propagation (which is called also Boolean Constraint Propagation) has been an important component of every modern CDCL SAT solver since the CDCL solver was developed. In general, unit propagation is implemented by scanning sequentially every clause over a linear watch-list. This paper presents a new unit propagation technique called core first unit propagation. The main idea is to prefer core clauses over non-core ones during unit propagation, trying to generate a shorter learnt clause. Here, the core clause is defined as one with literal block distance less than or equal to 7. Empirical results show that core first unit propagation improves the performance of the winner of the SAT Competition 2018, MapleLCMDistChronoBT.


abstract: In this paper, we address the challenging problem of crowd counting in congested scenes. Specifically, we present Inverse Attention Guided Deep Crowd Counting Network (IA-DCCN) that efficiently infuses segmentation information through an inverse attention mechanism into the counting network, resulting in significant improvements. The proposed method, which is based on VGG-16, is a single-step training framework and is simple to implement. The use of segmentation information results in minimal computational overhead and does not require any additional annotations. We demonstrate the significance of segmentation guided inverse attention through a detailed analysis and ablation study. Furthermore, the proposed method is evaluated on three challenging crowd counting datasets and is shown to achieve significant improvements over several recent methods.


title: Ground states and their characterization of spin-$F$ Bose-Einstein condensates

abstract: The computation of the ground states of spin-$F$ Bose-Einstein condensates (BECs) can be formulated as an energy minimization problem with two quadratic constraints. We discretize the energy functional and constraints using the Fourier pseudospectral schemes and view the discretized problem as an optimization problem on manifold. Three different types of retractions to the manifold are designed. They enable us to apply various optimization methods on manifold to solve the problem. Specifically, an adaptive regularized Newton method is used together with a cascadic multigrid technique to accelerate the convergence. According to our limited knowledege, our method is the first applicable algorithm for BECs with an arbitrary integer spin, including the complicated spin-3 BECs. Extensive numerical results on ground states of spin-1, spin-2 and spin-3 BECs with diverse interaction and optical lattice potential in one/two/three dimensions are reported to show the efficiency of our method and to demonstrate some interesting physical phenomena.


title: Kite: Automatic speech recognition for unmanned aerial vehicles

abstract: This paper addresses the problem of building a speech recognition system attuned to the control of unmanned aerial vehicles (UAVs). Even though UAVs are becoming widespread, the task of creating voice interfaces for them is largely unaddressed. To this end, we introduce a multi-modal evaluation dataset for UAV control, consisting of spoken commands and associated images, which represent the visual context of what the UAV "sees" when the pilot utters the command. We provide baseline results and address two research directions: (i) how robust the language models are, given an incomplete list of commands at train time; (ii) how to incorporate visual information in the language model. We find that recurrent neural networks (RNNs) are a solution to both tasks: they can be successfully adapted using a small number of commands and they can be extended to use visual cues. Our results show that the image-based RNN outperforms its text-only counterpart even if the command-image training associations are automatically generated and inherently imperfect. The dataset and our code are available at http://kite.speed.pub.ro.


title: Large Volatility Matrix Prediction with High-Frequency Data

abstract: We provide a novel method for large volatility matrix prediction with high-frequency data by applying eigen-decomposition to daily realized volatility matrix estimators and capturing eigenvalue dynamics with ARMA models. Given a sequence of daily volatility matrix estimators, we compute the aggregated eigenvectors and obtain the corresponding eigenvalues. Eigenvalues in the same relative magnitude form a time series and the ARMA models are further employed to model the dynamics within each eigenvalue time series to produce a predictor. We predict future large volatility matrix based on the predicted eigenvalues and the aggregated eigenvectors, and demonstrate the advantages of the proposed method in volatility prediction and portfolio allocation problems.


title: Treant: Training Evasion-Aware Decision Trees

abstract: Despite its success and popularity, machine learning is now recognized as vulnerable to evasion attacks, i.e., carefully crafted perturbations of test inputs designed to force prediction errors. In this paper we focus on evasion attacks against decision tree ensembles, which are among the most successful predictive models for dealing with non-perceptual problems. Even though they are powerful and interpretable, decision tree ensembles have received only limited attention by the security and machine learning communities so far, leading to a sub-optimal state of the art for adversarial learning techniques. We thus propose Treant, a novel decision tree learning algorithm that, on the basis of a formal threat model, minimizes an evasion-aware loss function at each step of the tree construction. Treant is based on two key technical ingredients: robust splitting and attack invariance, which jointly guarantee the soundness of the learning process. Experimental results on three publicly available datasets show that Treant is able to generate decision tree ensembles that are at the same time accurate and nearly insensitive to evasion attacks, outperforming state-of-the-art adversarial learning techniques.


title: Asynchronous Parareal Algorithm Applied to European Option Pricing

abstract: Asynchronous iterations arise naturally in parallel computing if one wants to solve large problems with a minimization of the idle times. This paper presents an original model of asynchronous iterations for a time-domain decomposition method, namely the parareal method. The asynchronous parareal algorithm is here applied to European option pricing, and numerical experiments performed on a parallel supercomputer, illustrate the performance and efficiency of this new method.


title: Asynchronous Communications Library for the Parallel-in-Time Solution of Black-Scholes Equation

abstract: The advent of asynchronous iterative scheme gives high efficiency to numerical computations. However, it is generally difficult to handle the problems of resource management and convergence detection. This paper uses JACK2, an asynchronous communication kernel library for iterative algorithms, to implement both classical and asynchronous parareal algorithms, especially the latter. We illustrate the measures whereby one can tackle the problems above elegantly for the time-dependent case. Finally, experiments are presented to prove the availability and efficiency of such application.


title: A New Cyclic Gradient Method Adapted to Large-Scale Linear Systems

abstract: This paper proposes a new gradient method to solve the large-scale problems. Theoretical analysis shows that the new method has finite termination property for two dimensions and converges R-linearly for any dimensions. Experimental results illustrate first the issue of parallel implementation. Then, the solution of a large-scale problem shows that the new method is better than the others, even competitive with the conjugate gradient method.


title: Convergence Detection of Asynchronous Iterations based on Modified Recursive Doubling

abstract: This paper addresses the distributed convergence detection problem in asynchronous iterations. A modified recursive doubling algorithm is investigated in order to adapt to the non-power-of-two case. Some convergence detection algorithms are illustrated based on the reduction operation. Finally, a concluding discussion about the implementation and the applicability is presented.


title: A lower bound on the average degree forcing a minor

abstract: We show that for sufficiently large $d$ and for $t\geq d+1$, there is a graph $G$ with average degree $(1-\varepsilon)\lambda t \sqrt{\ln d}$ such that almost every graph $H$ with $t$ vertices and average degree $d$ is not a minor of $G$, where $\lambda=0.63817\dots$ is an explicitly defined constant. This generalises analogous results for complete graphs by Thomason (2001) and for general dense graphs by Myers and Thomason (2005). It also shows that an upper bound for sparse graphs by Reed and Wood (2016) is best possible up to a constant factor.


title: Proposal, Tracking and Segmentation (PTS): A Cascaded Network for Video Object Segmentation

abstract: Video object segmentation (VOS) aims at pixel-level object tracking given only the annotations in the first frame. Due to the large visual variations of objects in video and the lack of training samples, it remains a difficult task despite the upsurging development of deep learning. Toward solving the VOS problem, we bring in several new insights by the proposed unified framework consisting of object proposal, tracking and segmentation components. The object proposal network transfers objectness information as generic knowledge into VOS; the tracking network identifies the target object from the proposals; and the segmentation network is performed based on the tracking results with a novel dynamic-reference based model adaptation scheme. Extensive experiments have been conducted on the DAVIS'17 dataset and the YouTube-VOS dataset, our method achieves the state-of-the-art performance on several video object segmentation benchmarks. We make the code publicly available at https://github.com/sydney0zq/PTSNet.


title: Entanglement entropy in low-energy field theories at finite chemical potential

abstract: We investigate the leading area-law contribution to entanglement entropy in a system described by a general Lagrangian with O(2) symmetry containing first- and second-order time derivatives, namely breaking the Lorentz-invariance. We establish a connection between the Higgs gap present in a symmetry-broken phase and the area-law term for the entanglement entropy in the general, non-relativistic case. Our predictions for the entanglement entropy and correlation length are successfully compared to numerical results in two paradigmatic systems: the Mott insulator to superfluid transition for ultracold lattice bosons, and the ground state of ferrimagnetic systems.

categories: cond-mat.quant-gas cond-mat.stat-mech hep-th quant-ph


title: Persistent Multi-UAV Surveillance with Data Latency Constraints

abstract: We discuss surveillance with multiple unmanned aerial vehicles (UAV) that minimize idleness (the time between consecutive visits of sensing locations) and constrain latency (the time between capturing data at a sensing location and its arrival at the base station). This is important in persistent surveillance scenarios where sensing locations should not only be visited periodically, but the captured data also should reach the base station in due time even if the area is larger than the communication range. Our approach employs the concept of minimum-latency paths (MLP) to guarantee that the data reaches the base station within a predefined latency bound. To reach the bound, multiple UAVs cooperatively transport the data in a store-and-forward fashion. Additionally, MLPs specify a lower bound for any latency minimization problem where multiple mobile agents transport data in a store-and-forward fashion. We introduce three variations of a heuristic employing MLPs and compare their performance in a simulation study. The results show that extensions of the simplest of our approaches, where data is transported after each visit of a sensing location, show improved performance and the tradeoff between latency and idleness.


title: Phenomenological approach of the thermodynamic properties of CDW (SDW) systems

abstract: The microscopic description of the CDW phase transition is still debated and remains controversial. The question is how to extend the Peierls picture to real systems in higher dimensions. A general tendency is found in the thermodynamic properties such as the specific heat jump DCp and the decrease of the longitudinal elastic stiffness constant DC11/C11 at the CDW phase transition in several materials, such as quasi-one dimensional (K0.3MoO3), transition metal dichalcogenide compounds (2H-NbSe2), rare earth tritellurides (TbTe3, ErTe3, HoTe3) and intermetallic compound (Lu5Ir4Si10). DCp and DC11/C11 increase as the temperature of the phase transition TCDW and TCDW2 respectively. The same tendency is found at the spin density phase transition in chromium and CuGeO3.Thermodynamic properties of almost all CDW systems, although it has been recognized to exhibit large fluctuations, follow the classical mean field BCS type behavior.


title: Curves on K3 surfaces

abstract: We complete the remaining cases of the conjecture predicting existence of infinitely many rational curves on K3 surfaces in characteristic zero, prove almost all cases in positive characteristic and improve the proofs of the previously known cases. To achieve this, we introduce two new techniques in the deformation theory of curves on K3 surfaces. Regeneration, a process opposite to specialisation, which preserves the geometric genus and does not require the class of the curve to extend, and the marked point trick, which allows a controlled degeneration of rational curves to integral ones in certain situations. Combining the two proves existence of integral curves of unbounded degree of any geometric genus g for any projective K3 surface in characteristic zero.


title: Rational curves on lattice-polarised K3 surfaces

abstract: Fix a K3 lattice $\Lambda$ of rank two and $L\in\Lambda$ a big and nef divisor that is positive enough. We prove that the generic $\Lambda$-polarised K3 surface has an integral nodal rational curve in the linear system $|L|$, in particular strengthening previous work of the first named author. The technique is by degeneration, and also works for many lattices of higher rank.


title: Fractional charge of quasi-particles on the horizon of black holes

abstract: In the previous works, it was claimed that black holes can be considered as topological insulators. In this paper, we will show that they are actually fractional topological insulators. That is, the quasi-particles and quasi-holes can have fractional charges and statistics (spins). For BTZ black hole, the filling fraction is $v=\frac{1}{2k}$. For Kerr black hole, the filling fraction is $v=\frac{\pi}{S}$, where $S$ is the entropy of black hole.


title: Paired domination and 2- distance Paired domination of the flower graph $f_{n\times m}$

abstract: Let $G = (V, E)$ be a graph without an isolated vertex. A set $D\subseteq V(G)$ is a $k$-distance paired domination set of $G$ if $D$ is a $k$-distance dominating set of $G$ and the induced subgraph $\langle D \rangle$ has a perfect matching. The minimum cardinality of a $k$-distance paired dominating set for graph $G$ is the $k$-distance paired domination number, denoted by $\gamma_{p} ^{k}(G)$. In this paper, the $k$-distance paired domination of the flower graph $f_{n\times m}$ is discussed. For $m,n\geq 3$, the exact values for paired domination number and $2$-distance paired domination number of flower graph $f_{n\times m}$ are determined


title: The nanosphere phonon laser

abstract: A phonon laser made from a levitated silica nanosphere held in a controllable optical trap offers a useful tool for studying phonon-photon interactions.


title: Quantum Quench and $f$-Sum Rules on Linear and Non-linear Conductivities

abstract: Considering a quench process in which an electric field pulse is applied to the system, "$f$-sum rule" for the conductivity for general quantum many-particle systems is derived. It is furthermore extended to an infinite series of sum rules, applicable to the nonlinear conductivity at every order.


title: On some Fano 4-folds with Lefschetz defect 3

abstract: We show that Fano 4-folds with Picard number 5 have Lefschetz defect 3 if and only if they are toric of combinatorial type K. We also find a characterization for such varieties in terms of Picard number of prime divisors. Moreover, we discuss classification results for 4-dimensional complex smooth projective varieties admitting some particular fiber type contractions.


title: Logics for Reversible Regular Languages and Semigroups with Involution

abstract: We present MSO and FO logics with predicates `between' and `neighbour' that characterise various fragments of the class of regular languages that are closed under the reverse operation. The standard connections that exist between MSO and FO logics and varieties of finite semigroups extend to this setting with semigroups extended with an involution. The case is different for FO with neighbour relation where we show that one needs additional equations to characterise the class.


title: Note on quantum entanglement and quantum geometry

abstract: In this note we present preliminary study on the relation between the quantum entanglement of boundary states and the quantum geometry in the bulk in the framework of spin networks. We conjecture that the emergence of space with non-zero volume reflects the non-perfectness of the $SU(2)$-invariant tensors. Specifically, we consider four-valent vertex with identical spins in spin networks. It turns out that when $j = 1/2$ and $j = 1$, the maximally entangled $SU(2)$-invariant tensors on the boundary correspond to the eigenstates of the volume square operator in the bulk, which indicates that the quantum geometry of tetrahedron has a definite orientation.


title: Efficient Cyber Attacks Detection in Industrial Control Systems Using Lightweight Neural Networks and PCA

abstract: Industrial control systems (ICSs) are widely used and vital to industry and society. Their failure can have severe impact on both economics and human life. Hence, these systems have become an attractive target for attacks, both physical and cyber. A number of attack detection methods have been proposed, however they are characterized by a low detection rate, a substantial false positive rate, or are system specific. In this paper, we study an attack detection method based on simple and lightweight neural networks, namely, 1D convolutions and autoencoders. We apply these networks to both the time and frequency domains of the collected data and discuss pros and cons of each approach. We evaluate the suggested method on three popular public datasets and achieve detection rates matching or exceeding previously published detection results, while featuring small footprint, short training and detection times, and generality. We also demonstrate the effectiveness of PCA, which, given proper data preprocessing and feature selection, can provide high attack detection scores in many settings. Finally, we study the proposed method's robustness against adversarial attacks, that exploit inherent blind spots of neural networks to evade detection while achieving their intended physical effect. Our results show that the proposed method is robust to such evasion attacks: in order to evade detection, the attacker is forced to sacrifice the desired physical impact on the system. This finding suggests that neural networks trained under the constraints of the laws of physics can be trusted more than networks trained under more flexible conditions.


title: Characterization of Gaps and Elements of a Numerical Semigroup Using Groebner Bases

abstract: This article is partly a survey and partly a research paper. It tackles the use of Groebner bases for addressing problems of numerical semigroups, which is a topic that has been around for some years, but it does it in a systematic way which enables us to prove some results and a hopefully interesting characterization of the elements of a semigroup in terms of Groebner bases.


title: Representing fitness landscapes by valued constraints to understand the complexity of local search

abstract: Local search is widely used to solve combinatorial optimisation problems and to model biological evolution, but the performance of local search algorithms on different kinds of fitness landscapes is poorly understood. Here we consider how fitness landscapes can be represented using valued constraints, and investigate what the structure of such representations reveals about the complexity of local search. First, we show that for fitness landscapes representable by binary Boolean valued constraints there is a minimal necessary constraint graph that can be easily computed. Second, we consider landscapes as equivalent if they allow the same (improving) local search moves; we show that a minimal constraint graph still exists, but is NP-hard to compute. We then develop several techniques to bound the length of any sequence of local search moves. We show that such a bound can be obtained from the numerical values of the constraints in the representation, and show how this bound may be tightened by considering equivalent representations. In the binary Boolean case, we prove that a degree 2 or tree-structured constraint graph gives a quadratic bound on the number of improving moves made by any local search; hence, any landscape that can be represented by such a model will be tractable for any form of local search. Finally, we build two families of examples to show that the conditions in our tractability results are essential. With domain size three, even just a path of binary constraints can model a landscape with an exponentially long sequence of improving moves. With a treewidth-two constraint graph, even with a maximum degree of three, binary Boolean constraints can model a landscape with an exponentially long sequence of improving moves.


title: Effect of electron correlations on attosecond photoionization delays in the vicinity of the Cooper minima of argon

abstract: Attosecond photoionization delays have mostly been interpreted within the single-particle approximation of multi-electron systems. The strong electron correlation between the photoionization channels associated with the 3p and 3s orbitals of argon presents an interesting arena where this single-particle approximation breaks down. Around photon energies of 42~eV, the 3s photoionization channel of argon experiences a ``Cooper-like" minimum, which is exclusively the result of inter-electronic correlations with the 3p shell. Photoionization delays around this ``Cooper-like" minimum have been predicted theoretically, but experimental verification has remained a challenge since the associated photoionization cross section is inherently very low. Here, we report the measurement of photoionization delays around the Cooper-like minimum that were acquired with the 100~kHz High-Repetition 1 laser system at the ELI-ALPS facility. We report relative photoionization delays reaching up to unprecedented values of 430 +/- 20~as, as a result of electron correlation. Our experimental results are in partial agreement with state-of-the-art theoretical results, but also demonstrate the need for additional theoretical developments.


title: The increasing importance of Ashi Waza, in high level competition. (Their Biomechanics, and small changes in the form)

abstract: In this paper we are interested, both: at the description of Biomechanics of the Ashi Waza techniques, with precision of few of them, members of the Japanese, so called, Ko Waza group; and at the biomechanical analysis of the small changes in the applicative form of them. These small changes, from the basic movement defined by Kodokan and show in thousand books, probably born from practical competitive situations. They are today become the usual applicative form, not only present among the various National Federations, but also in Japan itself among Universities dojos and the Kodokan. Among the Ko Waza techniques, we will select for our analysis only the following: Ko Uchi Gari , Ko Soto Gari, Ko Uchi Barai, Ko Soto Barai, Ko Soto Gake , Ko Uchi Gake That are considered by Japanese followers different throwing techniques, as the different names show us. But from the Biomechanical point of view all these Kodokan throws are based on the same physical principle and practically on the same movements.


title: Visual analytics for team-based invasion sports with significant events and Markov reward process

abstract: In team-based invasion sports such as soccer and basketball, analytics is important for teams to understand their performance and for audiences to understand matches better. The present work focuses on performing visual analytics to evaluate the value of any kind of event occurring in a sports match with a continuous parameter space. Here, the continuous parameter space involves the time, location, score, and other parameters. Because the spatiotemporal data used in such analytics is a low-level representation and has a very large size, however, traditional analytics may need to discretize the continuous parameter space (e.g., subdivide the playing area) or use a local feature to limit the analysis to specific events (e.g., only shots). These approaches make evaluation impossible for any kind of event with a continuous parameter space. To solve this problem, we consider a whole match as a Markov chain of significant events, so that event values can be estimated with a continuous parameter space by solving the Markov chain with a machine learning model. The significant events are first extracted by considering the time-varying distribution of players to represent the whole match. Then, the extracted events are redefined as different states with the continuous parameter space and built as a Markov chain so that a Markov reward process can be applied. Finally, the Markov reward process is solved by a customized fitted-value iteration algorithm so that the event values with the continuous parameter space can be predicted by a regression model. As a result, the event values can be visually inspected over the whole playing field under arbitrary given conditions. Experimental results with real soccer data show the effectiveness of the proposed system.


title: On the computation of the Ap\'ery set of numerical monoids and affine semigroups

abstract: A simple way of computing the Ap\'ery set of a numerical semigroup (or monoid) with respect to a generator, using Groebner bases, is presented, together with a generalization for affine semigroups. This computation allows us to calculate the type set and, henceforth, to check the Gorenstein condition which characterizes the symmetric numerical subgroups.


title: Specification testing in semi-parametric transformation models

abstract: In transformation regression models the response is transformed before fitting a regression model to covariates and transformed response. We assume such a model where the errors are independent from the covariates and the regression function is modeled nonparametrically. We suggest a test for goodness-of-fit of a parametric transformation class based on a distance between a nonparametric transformation estimator and the parametric class. We present asymptotic theory under the null hypothesis of validity of the semi-parametric model and under local alternatives. A bootstrap algorithm is suggested in order to apply the test. We also consider relevant hypotheses to distinguish between large and small distances of the parametric transformation class to the `true' transformation.


title: Elementary Iterated Revision and the Levi Identity

abstract: Recent work has considered the problem of extending to the case of iterated belief change the so-called `Harper Identity' (HI), which defines single-shot contraction in terms of single-shot revision. The present paper considers the prospects of providing a similar extension of the Levi Identity (LI), in which the direction of definition runs the other way. We restrict our attention here to the three classic iterated revision operators--natural, restrained and lexicographic, for which we provide here the first collective characterisation in the literature, under the appellation of `elementary' operators. We consider two prima facie plausible ways of extending (LI). The first proposal involves the use of the rational closure operator to offer a `reductive' account of iterated revision in terms of iterated contraction. The second, which doesn't commit to reductionism, was put forward some years ago by Nayak et al. We establish that, for elementary revision operators and under mild assumptions regarding contraction, Nayak's proposal is equivalent to a new set of postulates formalising the claim that contraction by $\neg A$ should be considered to be a kind of `mild' revision by $A$. We then show that these, in turn, under slightly weaker assumptions, jointly amount to the conjunction of a pair of constraints on the extension of (HI) that were recently proposed in the literature. Finally, we consider the consequences of endorsing both suggestions and show that this would yield an identification of rational revision with natural revision. We close the paper by discussing the general prospects for defining iterated revision in terms of iterated contraction.


title: Size matters for OTC market makers: general results and dimensionality reduction techniques

abstract: In most OTC markets, a small number of market makers provide liquidity to other market participants. More precisely, for a list of assets, they set prices at which they agree to buy and sell. Market makers face therefore an interesting optimization problem: they need to choose bid and ask prices for making money while mitigating the risk associated with holding inventory in a volatile market. Many market making models have been proposed in the academic literature, most of them dealing with single-asset market making whereas market makers are usually in charge of a long list of assets. The rare models tackling multi-asset market making suffer however from the curse of dimensionality when it comes to the numerical approximation of the optimal quotes. The goal of this paper is to propose a dimensionality reduction technique to address multi-asset market making by using a factor model. Moreover, we generalize existing market making models by the addition of an important feature: the existence of different transaction sizes and the possibility for the market makers in OTC markets to answer different prices to requests with different sizes.


title: Integral points in rational polygons: a numerical semigroup approach

abstract: In this paper we use an elementary approach by using numerical semigroups (specifically, those with two generators) to give a formula for the number of integral points inside a right-angled triangle with rational vertices. This is the basic case for computing the number of integral points inside a rational (not necessarily convex) polygon.


title: TedEval: A Fair Evaluation Metric for Scene Text Detectors

abstract: Despite the recent success of scene text detection methods, common evaluation metrics fail to provide a fair and reliable comparison among detectors. They have obvious drawbacks in reflecting the inherent characteristic of text detection tasks, unable to address issues such as granularity, multiline, and character incompleteness. In this paper, we propose a novel evaluation protocol called TedEval (Text detector Evaluation), which evaluates text detections by an instance-level matching and a character-level scoring. Based on a firm standard rewarding behaviors that result in successful recognition, TedEval can act as a reliable standard for comparing and quantizing the detection quality throughout all difficulty levels. In this regard, we believe that TedEval can play a key role in developing state-of-the-art scene text detectors. The code is publicly available at https://github.com/clovaai/TedEval.


title: A Constant-Factor Approximation Algorithm for Vertex Guarding a WV-Polygon

abstract: The problem of vertex guarding a simple polygon was first studied by Subir K. Ghosh (1987), who presented a polynomial-time $O(\log n)$-approximation algorithm for placing as few guards as possible at vertices of a simple $n$-gon $P$, such that every point in $P$ is visible to at least one of the guards. Ghosh also conjectured that this problem admits a polynomial-time algorithm with constant approximation ratio. Due to the centrality of guarding problems in the field of computational geometry, much effort has been invested throughout the years in trying to resolve this conjecture. Despite some progress (surveyed below), the conjecture remains unresolved to date. In this paper, we confirm the conjecture for the important case of weakly visible polygons, by presenting a $(2+\varepsilon)$-approximation algorithm for guarding such a polygon using vertex guards. A simple polygon $P$ is weakly visible if it has an edge $e$, such that every point in $P$ is visible from some point on $e$. We also present a $(2+\varepsilon)$-approximation algorithm for guarding a weakly visible polygon $P$, where guards may be placed anywhere on $P$'s boundary (except in the interior of the edge $e$). Finally, we present a $3c$-approximation algorithm for vertex guarding a polygon $P$ that is weakly visible from a chord, given a subset $G$ of $P$'s vertices that guards $P$'s boundary whose size is bounded by $c$ times the size of a minimum such subset. Our algorithms are based on an in-depth analysis of the geometric properties of the regions that remain unguarded after placing guards at the vertices to guard the polygon's boundary. It is plausible that our results will enable Bhattacharya et al. to complete their grand attempt to prove the original conjecture, as their approach is based on partitioning the underlying simple polygon into a hierarchy of weakly visible polygons.


title: Pairs of Pythagorean triangles with given catheti ratios

abstract: In this note we investigate the problem of finding pairs of Pythagorean triangles $(a, b, c), (A, B, C)$, with given catheti ratios $A/a, B/b$. In particular, we prove that there are infinitely many essentially different ("non-similar") pairs of Pythagorean triangles $(a, b, c), (A, B, C)$ satisfying given proportions, provided that $Aa\neq Bb$.


title: Evolution and pulsations of population I post-AGB stars

abstract: Evolutionary calculations of population I stars with initial masses $M_0=1M_\odot$, $1.5M_\odot$ and $2M_\odot$ were carried out up to the stage of the proto--planetary nebula. Selected models of post--AGB evolutionary sequences with effective temperatures $3.6\times 10^3\,\mathrm{K}\lesssim T_\mathrm{eff}\lesssim 2\times 10^4\,\mathrm{K}$ were used as initial conditions in calculations of self--escited stellar oscillations. For the first time the sequences of hydrodynamic models of radially pulsating post--AGB stars were computed using the self--consistent solution of the equations of radiation hydrodynamics and time--dependent convection. Within this range of effective temperatures the post--AGB stars are the fundamental mode pulsators with period decreasing as the star evolves from $\Pi\approx 300$ day to several days. Period fluctuations are due to nonlinear effects and are most prominent at effective temperatures $T_\mathrm{eff} < 5000$K. The amplitude of bolometric light variations is $\Delta M_\mathrm{bol}\approx 1$ at $T_\mathrm{eff} \lesssim 6000$K and rapidly decreases with increasing $T_\mathrm{eff}$. The theoretical dependence of the pulsation period as a function of effective temperature obtained in the study can be used as a criterion for the evolutionary status of pulsating variables suspected to be post--AGB stars.


title: Semiclassical two-step model with quantum input: Quantum-classical approach to strong-field ionization

abstract: We present a mixed quantum-classical approach to strong-field ionization - a semiclassical two-step model with quantum input. In this model the initial conditions for classical trajectories that simulate electron wave packet after ionization are determined by the exact quantum dynamics. As a result, the model allows to overcome deficiencies of standard semiclassical approaches in describing the ionization step. The comparison with the exact numerical solution of the time-dependent Schr\"{o}dinger equation shows that for ionization of a one-dimensional atom the model yields quantitative agreement with the quantum result. This applies both to the width of the photoelectron momentum distribution and the interference structure.


title: Absolute root separation

abstract: The absolute separation of a polynomial is the minimum nonzero difference between the absolute values of its roots. In the case of polynomials with integer coefficients, it can be bounded from below in terms of the degree and the height (the maximum absolute value of the coefficients) of the polynomial. We improve the known bounds for this problem and related ones. Then we report on extensive experiments in low degrees, suggesting that the current bounds are still very pessimistic.


title: Spin-orbit interaction and snake states in graphene $p$-$n$ junctions

abstract: We study a model of a $p$-$n$ junction in single-layer graphene in the presence of a perpendicular magnetic field and spin-orbit interactions. By solving the relevant quantum-mechanical problem for a potential step, we determine the exact spectrum of spin-resolved dispersive Landau levels. Close to zero energy, we find a pair of linearly dispersing zero modes, which possess a wave-vector-dependent spin polarization and can be regarded as quantum analogous of spinful snake states. We show that the Rashba spin-orbit interaction, in particular, produces a wave vector shift between the dispersions of these modes with observable interference effects. These effects can in principle provide a way to detect the presence of Rashba spin-orbit interaction and measure its strength. Our results suggest that a graphene $p$-$n$ junction in the presence of strong spin-orbit interaction could be used as a building block in a spin field-effect transistor.


title: Electric Rydberg-atom interferometery

abstract: An electric analogue of the longitudinal Stern-Gerlach matter-wave interferometer has been realized for atoms in Rydberg states with high principal quantum number, $n$. The experiments were performed with He atoms prepared in coherent superpositions of the $n=55$ and $n=56$ circular Rydberg states in zero electric field by a $\pi/2$ pulse of resonant microwave radiation. These atoms were subjected to a pulsed inhomogeneous electric field to generate a superposition of momentum states before a $\pi$ pulse was applied to invert the internal states. The same pulsed inhomogeneous electric field was then reapplied for a second time to transform the motional states to have equal momenta before a further $\pi/2$ pulse was employed to interrogate the final Rydberg state populations. This Hahn-echo microwave pulse sequence, interspersed with a pair of equivalent inhomogeneous electric field pulses, yielded two spatially separated matter waves. Interferences between these matter waves were observed as oscillations in the final Rydberg state populations as the amplitude of the pulsed electric field gradients was adjusted.


title: Device-independent quantum secure direct communication

abstract: "Device-independent" not only represents a relaxation of the security assumptions about the internal working of the quantum devices, but also can enhance the security of the quantum communication. In the paper, we put forward the first device-independent quantum secure direct communication (DI-QSDC) protocol, where no assumptions are made about the way the devices work or on what quantum system they operate. We show that in the absence of noise, the DI-QSDC protocol is absolutely secure and there is no limitation for the communication distance. However, under practical noisy quantum channel condition, the photon transmission loss and photon state decoherence would reduce the communication quality and threaten its absolute security. For solving the photon transmission loss and decoherence problems, we adopt noiseless linear amplification (NLA) protocol and entanglement purification protocol (EPP) to modify the DI-QSDC protocol. With the help of the NLA and EPP, we can guarantee the absolute security of the DI-QSDC and effectively improve its communication quality.


title: Some $q$-series identities extending work of Andrews, Crippa, and Simon on sums of divisors functions

abstract: In this article we extend a theorem of Andrews, Crippa, and Simon on the asymptotic behavior of polynomials defined by a general class of recursive equations. Here the polynomials are in the variable $q$, and the recursive definition at step $n$ introduces a polynomial in $n$. Our extension replaces the polynomial in $n$ with either an exponential or periodic function of $n$.


title: Hadron-Hadron Interactions from $N_f=2+1+1$ Lattice QCD: The $\rho$-resonance

abstract: We present an investigation of the Rho-meson from Nf=2+1+1 flavour lattice QCD. The calculation is performed based on gauge configuration ensembles produced by the ETM collaboration with three lattice spacing values and pion masses ranging from 230 MeV to 500 MeV. Applying the L\"uscher method phase shift curves are determined for all ensembles separately. Assuming a Breit-Wigner form, the Rho-meson mass and width are determined by a fit to these phase shift curves. Mass and width combined are then extrapolated to the chiral limit, while lattice artefacts are not detectable within our statistical uncertainties. For the Rho-meson mass extrapolated to the physical point we find good agreement with experiment. The corresponding decay width differs by about two standard deviations from the experimental value.


title: Synthesis of V$_{2}$O$_{3}$ Nanoplates

abstract: Peculiar features exist in the stress-temperature phase stability diagram of V$_{2}$O$_{3}$ such as a first order phase transition between the paramagnetic insulating and metallic phases that ends with a critical point, quantum phase transition, and a triple point. These features remain largely unexplored and the exact nature of the phase transitions is not clear due to very limited control over the stress in bulk or film samples. Here, we show the synthesis of single-crystal V$_{2}$O$_{3}$ nanoplates for the first time using chemical vapor deposition via van der Waals epitaxy. Thickness of the V$_{2}$O$_{3}$ nanoplates range from a few to hundreds of nanometres and they can be mechanically exfoliated from the growth substrate. Using Raman spectroscopy on the nanoplates, we reveal that upon heating, V$_{2}$O$_{3}$ enters supercritical state for both tensiley strained and relaxed crystals with similar out-of-plane response. Transmission electron microscopy on V2O3 nanoplates hints the existence of a structural change when the crystals are heated. Our results show that V$_{2}$O$_{3}$ nanoplates should be useful for studying the physics of supercritical state and the phase stability of V$_{2}$O$_{3}$ to enable new horizons in applications.


title: Relativistic near-single-cycle optics at 1 kHz

abstract: We present a laser source delivering waveform-controlled 1.5-cycle pulses that can be focused to relativistic intensity at 1 kHz repetition rate. These pulses are generated by nonlinear compression of high-temporal-contrast sub-25\,fs pulses from a kHz Ti:Sapphire double-chirped pulse amplifier in a stretched flexible hollow fiber compressor scaled for high peak power. The unique capabilities of this source are demonstrated by observing carrier-envelope phase effects in laser-wakefield acceleration of relativistic electrons for the first time.


title: Timed Basic Parallel Processes

abstract: Timed basic parallel processes (TBPP) extend communication-free Petri nets (aka. BPP or commutative context-free grammars) by a global notion of time. TBPP can be seen as an extension of timed automata (TA) with context-free branching rules, and as such may be used to model networks of independent timed automata with process creation. We show that the coverability and reachability problems (with unary encoded target multiplicities) are PSPACE-complete and EXPTIME-complete, respectively. For the special case of 1-clock TBPP, both are NP-complete and hence not more complex than for untimed BPP. This contrasts with known super-Ackermannian-completeness and undecidability results for general timed Petri nets. As a result of independent interest, and basis for our NP upper bounds, we show that the reachability relation of 1-clock TA can be expressed by a formula of polynomial size in the existential fragment of linear arithmetic, which improves on recent results from the literature.


title: On the VC-dimension of half-spaces with respect to convex sets

abstract: A family S of convex sets in the plane defines a hypergraph H = (S, E) as follows. Every subfamily S' of S defines a hyperedge of H if and only if there exists a halfspace h that fully contains S' , and no other set of S is fully contained in h. In this case, we say that h realizes S'. We say a set S is shattered, if all its subsets are realized. The VC-dimension of a hypergraph H is the size of the largest shattered set. We show that the VC-dimension for pairwise disjoint convex sets in the plane is bounded by 3, and this is tight. In contrast, we show the VC-dimension of convex sets in the plane (not necessarily disjoint) is unbounded. We provide a quadratic lower bound in the number of pairs of intersecting sets in a shattered family of convex sets in the plane. We also show that the VC-dimension is unbounded for pairwise disjoint convex sets in R^d , for d > 2. We focus on, possibly intersecting, segments in the plane and determine that the VC-dimension is always at most 5. And this is tight, as we construct a set of five segments that can be shattered. We give two exemplary applications. One for a geometric set cover problem and one for a range-query data structure problem, to motivate our findings.


title: Intercore spontaneous Raman scattering impact on quantum key distribution in multicore fber

abstract: We propose a model, for the first time, to quantitatively estimate the intercore spontaneous Raman scattering (ICSRS) in multicore fber (MCF) based on the characterization of intercore crosstalk (ICXT). Also, we show the propertis of ICSRS through numerical simulations. Then the impact of ICSRS on quantum key distribution (QKD) is evaluated. It is revealed that both the forward-ICSRS and backwardICSRS will reduce the maximum transmisson distance and the forward-ICSRS will reduce more. However, over the range of metropolitan area networks, quantum signals are affected only when the powers of classical signals are very high in dense wavelength division multiplexing system. Finally, the spontaneous Raman scattering (SRS) generated in single core fiber and the ICSRS generated in MCF are compared. The power variety trend with the transmission distance of SRS is similar to that of ICSRS, though there are subtle differences.


title: Geometric Crossing-Minimization -- A Scalable Randomized Approach

abstract: We consider the minimization of edge-crossings in geometric drawings of graphs $G=(V, E)$, i.e., in drawings where each edge is depicted as a line segment. The respective decision problem is NP-hard [Bienstock, '91]. In contrast to theory and the topological setting, the geometric setting did not receive a lot of attention in practice. Prior work [Radermacher et al., ALENEX'18] is limited to the crossing-minimization in geometric graphs with less than $200$ edges. The described heuristics base on the primitive operation of moving a single vertex $v$ to its crossing-minimal position, i.e., the position in $\mathbb{R}^2$ that minimizes the number of crossings on edges incident to $v$. In this paper, we introduce a technique to speed-up the computation by a factor of $20$. This is necessary but not sufficient to cope with graphs with a few thousand edges. In order to handle larger graphs, we drop the condition that each vertex $v$ has to be moved to its crossing-minimal position and compute a position that is only optimal with respect to a small random subset of the edges. In our theoretical contribution, we consider drawings that contain for each edge $uv \in E$ and each position $p \in \mathbb{R}^2$ for $v$ $o(|E|)$ crossings. In this case, we prove that with a random subset of the edges of size $\Theta(k \log k)$ the co-crossing number of a degree-$k$ vertex $v$, i.e., the number of edge pairs $uv \in E, e \in E$ that do not cross, can be approximated by an arbitrary but fixed factor $\delta$ with high probability. In our experimental evaluation, we show that the randomized approach reduces the number of crossings in graphs with up to $13\,000$ edges considerably. The evaluation suggests that depending on the degree-distribution different strategies result in the fewest number of crossings.


title: Comment on "Ion velocity analysis of rotating structures in a magnetic linear plasma device" [Phys. Plasmas 25, 061203 (2018)]

abstract: In a recent paper (Phys. Plasmas 25, 061203, 2018), the authors have presented the analysis of the electric ion drift velocity experienced by heavy ions created in a plasma submitted to a low magnetic field. Unfortunately, they have used the classical ExB drift formula that is valid only in slab geometry. The authors have not taken into account that the cylindrical geometry induces a slow electric drift of the ions around the axis of the column. Moreover, the low magnetization of the ions induces a Larmor radius that is larger than the diameter of the plasma column. The movement of the ions immediately after their creation is parallel to the local electric field, not perpendicular as indicated by the authors. Most often the ions are neutralized before experiencing the electric drift calculated along the classical guiding center theory. This has not been taken into account carefully by the authors so that the theoretical analysis of the Laser Induced Fluorescence measurements presented in this paper is clearly invalid.


title: Chemically Accurate Excitation Energies With Small Basis Sets

abstract: By combining extrapolated selected configuration interaction (sCI) energies obtained with the CIPSI (Configuration Interaction using a Perturbative Selection made Iteratively) algorithm with the recently proposed short-range density-functional correction for basis-set incompleteness [Giner et al.,J. Chem. Phys. 2018, 149, 194301], we show that one can get chemically accurate vertical and adiabatic excitation energies with, typically, augmented double-$\zeta$ basis sets. We illustrate the present approach on various types of excited states (valence, Rydberg, and double excitations) in several small organic molecules (methylene, water, ammonia, carbon dimer and ethylene). The present study clearly evidences that special care has to be taken with very diffuse excited states where the present correction does not catch the radial incompleteness of the one-electron basis set.


title: A mixed discontinuous Galerkin method with symmetric stress for Brinkman problem based on the velocity-pseudostress formulation

abstract: The Brinkman equations can be regarded as a combination of the Stokes and Darcy equations which model transitions between the fast flow in channels (governed by Stokes equations) and the slow flow in porous media (governed by Darcy's law). The numerical challenge for this model is the designing of a numerical scheme which is stable for both the Stokes-dominated (high permeability) and the Darcy-dominated (low permeability) equations. In this paper, we solve the Brinkman model in $n$ dimensions ($n = 2, 3$) by using the mixed discontinuous Galerkin (MDG) method, which meets this challenge. This MDG method is based on the pseudostress-velocity formulation and uses a discontinuous piecewise polynomial pair $\underline{\bm{\mathcal{P}}}_{k+1}^{\mathbb{S}}$-$\bm{\mathcal{P}}_k$ $(k \geq 0)$, where the stress field is symmetric. The main unknowns are the pseudostress and the velocity, whereas the pressure is easily recovered through a simple postprocessing. A key step in the analysis is to establish the parameter-robust inf-sup stability through specific parameter-dependent norms at both continuous and discrete levels. Therefore, the stability results presented here are uniform with respect to the permeability. Thanks to the parameter-robust stability analysis, we obtain optimal error estimates for the stress in broken $\underline{\bm{H}}(\bm{{\rm div}})$-norm and velocity in $\bm{L}^2$-norm. Furthermore, the optimal $\underline{\bm{L}}^2$ error estimate for pseudostress is derived under certain conditions. Finally, numerical experiments are provided to support the theoretical results and to show the robustness, accuracy, and flexibility of the MDG method.


title: ARPES study of orbital characters, symmetry breakings and pseudogaps in doped and pure Sr2IrO4

abstract: Sr2IrO4 is characterized by a large spin-orbit coupling, which gives rise to bands with strongly entangled spin and orbital characters, called J=1/2 and J=3/2. We use light-polarization dependent ARPES to study directly the orbital character of these bands and fully map out their dispersion. We observe bands in very good agreement with our cluster dynamical mean-field theory calculations. We show that the J=1/2 band, the closest to the Fermi level Ef, is dominated by dxz character along kx and dyz along ky. This is actually in agreement with an isotropic J=1/2 character on average, but this large orbital dependence in k-space was mostly overlooked before. It gives rise to strong modulations of the ARPES intensity that we explain and carefully take into account to compare dispersions in equivalent directions of the Brillouin zone. Although the latter dispersions look different at first, suggesting possible symmetry breakings, they are found essentially similar, once corrected for these intensity variations. In particular, the pseudogap-like features close to the $X$ point appearing in the nearly metallic 15% Rh-doped Sr2IrO4 strongly depend on experimental conditions. We reveal that there is nevertheless an energy scale of 30meV below which spectral weight is suppressed, independent of the experimental conditions, which gives a reliable basis to analyze this behavior. We suggest it is caused by disorder.


title: Integrated Nested Laplace Approximations (INLA)

abstract: This is a short description and basic introduction to the Integrated nested Laplace approximations (INLA) approach. INLA is a deterministic paradigm for Bayesian inference in latent Gaussian models (LGMs) introduced in Rue et al. (2009). INLA relies on a combination of analytical approximations and efficient numerical integration schemes to achieve highly accurate deterministic approximations to posterior quantities of interest. The main benefit of using INLA instead of Markov chain Monte Carlo (MCMC) techniques for LGMs is computational; INLA is fast even for large, complex models. Moreover, being a deterministic algorithm, INLA does not suffer from slow convergence and poor mixing. INLA is implemented in the R package R-INLA, which represents a user-friendly and versatile tool for doing Bayesian inference. R-INLA returns posterior marginals for all model parameters and the corresponding posterior summary information. Model choice criteria as well as predictive diagnostics are directly available. Here, we outline the theory behind INLA, present the R-INLA package and describe new developments of combining INLA with MCMC for models that are not possible to fit with R-INLA.


title: Elegant vertex labelings with prime numbers

abstract: We consider graph labelings with an assignment of odd prime numbers to the vertices. Similarly to graceful graphs, a labeling is said to be elegant if the absolute differences between the labels of adjacent vertices describe exactly the first even numbers. The labels of an elegant tree with $n$ vertices are the first $n$ odd prime numbers and we want that the resulting edge labels are exactly the first even numbers up to $2n-2$. We conjecture that each path is elegant and we give the algorithm with which we got elegant paths of $n$ primes for all $n$ up to $n=3500$.


title: 1+1 dimensional relativistic magnetohydrodynamics with longitudinal acceleration

abstract: Non-central heavy-ion collisions generate the strongest magnetic field of the order of $10^{18}-10^{19}$ Gauss due to the electric current produced by the positively charged spectators that travel at nearly the speed of light. Such transient electromagnetic fields may induce various novel effects in the hydrodynamic description of the quark gluon plasma for non-central heavy-ion collisions. We investigate the longitudinal acceleration effects on the 1+1 dimensional relativistic magnetohydrodynamics with transverse magnetic fields. We analyze the proper time evolution of the system energy density. We find that the longitudinal acceleration parameter $\lambda^*$, magnetic field decay parameter $a$, equation of state $\kappa$, and initial magnetization $\sigma_0$ have nontrivial effects on the evolutions of the system energy density and temperature.


title: The unequal mass sunrise integral expressed through iterated integrals on $\overline{\mathcal M}_{1,3}$

abstract: We solve the two-loop sunrise integral with unequal masses systematically to all orders in the dimensional regularisation parameter $\varepsilon$. In order to do so, we transform the system of differential equations for the master integrals to an $\varepsilon$-form. The sunrise integral with unequal masses depends on three kinematical variables. We perform a change of variables to standard coordinates on the moduli space ${\mathcal M}_{1,3}$ of a genus one Riemann surface with three marked points. This gives us the solution as iterated integrals on $\overline{\mathcal M}_{1,3}$. On the hypersurface $\tau=\mbox{const}$ our result reduces to elliptic polylogarithms. In the equal mass case our result reduces to iterated integrals of modular forms.


title: Parallel time-stepping for fluid-structure interactions

abstract: We present a parallel time-stepping method for fluid-structure interactions. The interaction between the incompressible Navier-Stokes equations and a hyperelastic solid is formulated in a fully monolithic framework. Discretization in space is based on equal order finite element for all variables and a variant of the Crank-Nicolson scheme is used as second order time integrator. To accelerate the solution of the systems, we analyze a parallel-in time method. For different numerical test cases in 2d and in 3d we present the efficiency of the resulting solution approach. We also discuss some special challenges and limitations that are connected to the special structure of fluid-structure interaction problem.


title: FRODO: Free rejection of out-of-distribution samples: application to chest x-ray analysis

abstract: In this work, we propose a method to reject out-of-distribution samples which can be adapted to any network architecture and requires no additional training data. Publicly available chest x-ray data (38,353 images) is used to train a standard ResNet-50 model to detect emphysema. Feature activations of intermediate layers are used as descriptors defining the training data distribution. A novel metric, FRODO, is measured by using the Mahalanobis distance of a new test sample to the training data distribution. The method is tested using a held-out test dataset of 21,176 chest x-rays (in-distribution) and a set of 14,821 out-of-distribution x-ray images of incorrect orientation or anatomy. In classifying test samples as in or out-of distribution, our method achieves an AUC score of 0.99.


title: Measurements of individual and ensemble lifetimes of high-lying Rb Rydberg states

abstract: We demonstrate a hybrid method based on field ionization and state-selective de-excitation capable of measuring the lifetimes of high-lying Rydberg states. For nS Rydberg states of Rb atoms with principal quantum number $60\leq n\leq88$, we measure both the individual target state lifetimes and those of the ensemble of Rydberg states populated via black-body radiation-induced transitions. We find good overall agreement with numerical calculations of the expected lifetimes in both cases. However, for the target state lifetimes, we find a local deviation towards shorter lifetimes for states around $n=72$, which we interpret as a signature of a modified black-body spectrum in the finite volume in which our experiments take place.


title: Size-Dependence of the photothermal response of a single metal nanosphere

abstract: We study the thermal response of a single spherical metal nanoparticle to continuous wave illumination as a function of its size. We show that the particle temperature increases non-monotonically as the particle size increases, indicating that the photo-thermal response can be optimized by tuning the particle size and illumination wavelength. We also compare the size-effect on the photo-thermal effects of gold and silver nanoparticles and find somewhat surprisingly that Ag NPs are more efficient heat generators only for sufficiently small sizes. These results have importance primarily for application such as plasmon-assisted photo-catalysis, photothermal cancer therapy, etc., and provide a first step toward the study of the size-dependence of the thermo-optic nonlinearity of metal nanospheres.


title: A Neural Grammatical Error Correction System Built On Better Pre-training and Sequential Transfer Learning

abstract: Grammatical error correction can be viewed as a low-resource sequence-to-sequence task, because publicly available parallel corpora are limited. To tackle this challenge, we first generate erroneous versions of large unannotated corpora using a realistic noising function. The resulting parallel corpora are subsequently used to pre-train Transformer models. Then, by sequentially applying transfer learning, we adapt these models to the domain and style of the test set. Combined with a context-aware neural spellchecker, our system achieves competitive results in both restricted and low resource tracks in ACL 2019 BEA Shared Task. We release all of our code and materials for reproducibility.


title: A robust graph-based approach to observational equivalence

abstract: We propose a new approach to defining programming languages with effects, and proving observational equivalence. Operational machinery is given by a hypergraph-rewriting abstract machine inspired by Girard's Geometry of Interaction. It interprets a graph calculus of only three intrinsic constructs: variable binding, atom binding, and thunking. Everything else, including features which are commonly thought of as intrinsic, such as arithmetic or function abstraction and application, must be provided as extrinsic operations, with associated rewrite rules. The graph representation naturally leads to two new principles about equational reasoning, which we call \emph{locality} and \emph{robustness}. These concepts enable a novel flexible and powerful reasoning methodology about (type-free) languages with effects. The methodology is additionally capable of proving a generalised notion of observational equivalence that can be quantified over syntactically restricted contexts instead of all contexts, and also can be quantitatively constrained in terms of the number of reduction steps. We illustrate the methodology using the call-by-value lambda-calculus extended with (higher-order) state.


title: A hybrid algorithm framework for small quantum computers with application to finding Hamiltonian cycles

abstract: Recent works have shown that quantum computers can polynomially speed up certain SAT-solving algorithms even when the number of available qubits is significantly smaller than the number of variables. Here we generalise this approach. We present a framework for hybrid quantum-classical algorithms which utilise quantum computers significantly smaller than the problem size. Given an arbitrarily small ratio of the quantum computer to the instance size, we achieve polynomial speedups for classical divide-and-conquer algorithms, provided that certain criteria on the time- and space-efficiency are met. We demonstrate how this approach can be used to enhance Eppstein's algorithm for the cubic Hamiltonian cycle problem, and achieve a polynomial speedup for any ratio of the number of qubits to the size of the graph.


title: Coboundary and cosystolic expansion from strong symmetry

abstract: Coboundary and cosystolic expansion are notions of expansion that generalize the Cheeger constant or edge expansion of a graph to higher dimensions. The classical Cheeger inequality implies that for graphs edge expansion is equivalent to spectral expansion. In higher dimensions this is not the case: a simplicial complex can be spectrally expanding but not have high dimensional edge-expansion. The phenomenon of high dimensional edge expansion in higher dimensions is much more involved than spectral expansion, and is far from being understood. In particular, prior to this work, the only known bounded degree cosystolic expanders known were derived from the theory of buildings that is far from being elementary. In this work we study high dimensional complexes which are {\em strongly symmetric}. Namely, there is a group that acts transitively on top dimensional cells of the simplicial complex [e.g., for graphs it corresponds to a group that acts transitively on the edges]. Using the strong symmetry, we develop a new machinery to prove coboundary and cosystolic expansion.


title: Predicting the Topical Stance of Media and Popular Twitter Users

abstract: Discovering the stances of media outlets and influential people on current, debatable topics is important for social statisticians and policy makers. Many supervised solutions exist for determining viewpoints, but manually annotating training data is costly. In this paper, we propose a cascaded method that uses unsupervised learning to ascertain the stance of Twitter users with respect to a polarizing topic by leveraging their retweet behavior; then, it uses supervised learning based on user labels to characterize both the general political leaning of online media and of popular Twitter users, as well as their stance with respect to the target polarizing topic. We evaluate the model by comparing its predictions to gold labels from the Media Bias/Fact Check website, achieving 82.6% accuracy.


title: Revealing 3D Magnetization of Thin Films with Soft X-ray Tomography: Closure Domains and Magnetic Singularities

abstract: The knowledge of how the magnetization looks inside a ferromagnet is often hindered by the limitations of the available experimental methods that are sensitive only to the surface regions or limited in spatial resolution. We report the 3D tomographic reconstruction of the magnetization within a ferromagnetic film of 240 nm in thickness using soft X ray microscopy and magnetic dichroism. The film has periodic magnetic domains forming stripes and closure domains found to be shifted from the stripe array by 1/4 of the period. In addition, the bifurcations of the stripes, which act as inversion nuclei of the magnetization, evidence in 3D meron singularities and Bloch points at the interior of the film. This novel method can be easily extended to magnetic stacks in spintronics applications and other singularities in films.


title: Dual Network Architecture for Few-view CT -- Trained on ImageNet Data and Transferred for Medical Imaging

abstract: X-ray computed tomography (CT) reconstructs cross-sectional images from projection data. However, ionizing X-ray radiation associated with CT scanning might induce cancer and genetic damage. Therefore, the reduction of radiation dose has attracted major attention. Few-view CT image reconstruction is an important topic to reduce the radiation dose. Recently, data-driven algorithms have shown great potential to solve the few-view CT problem. In this paper, we develop a dual network architecture (DNA) for reconstructing images directly from sinograms. In the proposed DNA method, a point-based fully-connected layer learns the backprojection process requesting significantly less memory than the prior arts do. Proposed method uses O(C*N*N_c) parameters where N and N_c denote the dimension of reconstructed images and number of projections respectively. C is an adjustable parameter that can be set as low as 1. Our experimental results demonstrate that DNA produces a competitive performance over the other state-of-the-art methods. Interestingly, natural images can be used to pre-train DNA to avoid overfitting when the amount of real patient images is limited.


title: The onset of thermo-compositional convection in rotating spherical shells

abstract: Double-diffusive convection driven by both thermal and compositional buoyancy in a rotating spherical shell can exhibit a rather large number of behaviours often distinct from that of the single diffusive system. In order to understand how the differences in thermal and compositional molecular diffusivities determine the dynamics of thermo-compositional convection we investigate numerically the linear onset of convective instability in a double-diffusive setup. We construct an alternative equivalent formulation of the non-dimensional equations where the linearised double-diffusive problem is described by an effective Rayleigh number, $\text{Ra}$, measuring the amplitude of the combined buoyancy driving, and a second parameter, $\alpha$, measuring the mixing of the thermal and compositional contributions. This formulation is useful in that it allows for the analysis of several limiting cases and reveals dynamical similarities in the parameters space which are not obvious otherwise. We analyse the structure of the critical curves in this $\text{Ra}-\alpha$ space, explaining asymptotic behaviours in $\alpha$, transitions between inertial and diffusive regimes, and transitions between large scale (fast drift) and small scale (slow drift) convection. We perform this analysis for a variety of diffusivities, rotation rates and shell aspect ratios showing where and when new modes of convection take place.


title: Search for the correction term to the Fermi's golden rule in positron annihilation

abstract: In the positron-electron annihilation process, finite deviations from the standard calculation based on the Fermi's Golden rule are suggested in recent theoretical work. This paper describes an experimental test of the predictions of this theoretical work by searching for events with two photons from positron annihilation of energy larger than the electron rest mass ($511\,{\rm keV}$). The positrons came from a ${\rm {}^{22}Na}$ source, tagging the third photon from the spontaneous emission of ${\rm {}^{22}{Ne}^*}$ de-exitation to suppress backgrounds. Using the collected sample of $1.06\times 10^{7}$ positron-electron annihilations, triple coincidence photon events in the signal enhanced energy regions are examined. The observed number of events in two signal regions, $N^{\rm SR1}_{\rm obs}=0$ and $N^{\rm SR2}_{\rm obs}=0$ are, within a current precision, consistent with the expected number of events, $N^{\rm SR1}_{\rm exp}=0.86\pm0.08({\rm stat.})^{+1.85}_{-0.81}({\rm syst.})$ and $N^{\rm SR2}_{\rm exp}=0.37\pm 0.05({\rm stat.})^{+0.80}_{-0.29}({\rm syst.})$ from Fermi's golden rule respectively. Based on the $P^{(d)}$ modeling, the 90% CL lower limit on the photon wave packet size is obtained.


title: Masses of the Hyades white dwarfs: A gravitational redshift measurement

abstract: Context. It is possible to accurately measure the masses of the white dwarfs (WDs) in the Hyades cluster using gravitational redshift, because the radial velocity of the stars can be obtained independently of spectroscopy from astrometry and the cluster has a low velocity dispersion. Aims. We aim to obtain an accurate measurement of the Hyades WD masses by determining the mass-to-radius ratio (M/R) from the observed gravitational redshift, and to compare them with masses derived from other methods. Methods. We analyse archive high-resolution UVES-VLT spectra of six WDs belonging to the Hyades to measure their Doppler shift, from which M/R is determined after subtracting the astrometric radial velocity. We estimate the radii using Gaia photometry as well as literature data. Results. The M/R error associated to the gravitational redshift measurement is about 5%. The radii estimates, evaluated with different methods, are in very good agreement, though they can differ by up to 4% depending on the quality of the data. The masses based on gravitational redshift are systematically smaller than those derived from other methods, by a minimum of $\sim 0.02$ up to 0.05 solar masses. While this difference is within our measurement uncertainty, the fact that it is systematic indicates a likely real discrepancy between the different methods. Conclusions. We show that the M/R derived from gravitational redshift measurements is a powerful tool to determine the masses of the Hyades WDs and could reveal interesting properties of their atmospheres. The technique can be improved by using dedicated spectrographs, and can be extended to other clusters, making it unique in its ability to accurately and empirically determine the masses of WDs in open clusters. At the same time we prove that gravitational redshift in WDs agrees with the predictions of stellar evolution models to within a few percent.


title: Dust of comet 67P/Churyumov-Gerasimenko collected by Rosetta/MIDAS: classification and extension to the nanometre scale

abstract: The properties of the smallest subunits of cometary dust contain information on their origin and clues to the formation of planetesimals and planets. Compared to IDPs or particles collected during the Stardust mission, dust collected in the coma of comet 67P/Churyumov-Gerasimenko during the Rosetta mission provides a resource of minimally altered material with known origin whose structural properties can be used to further the investigation of our early Solar System. A novel method is presented to achieve the highest spatial resolution of imaging possible with the MIDAS Atomic Force Microscope on-board Rosetta. 3D topographic images with resolutions of down to 8\,nm are analysed to determine the subunit sizes of particles on the nanometre scale. Three morphological classes can be determined, namely (i) fragile agglomerate particles of sizes larger than about 10\,$\mathrm{\mu m}$ comprised by micrometre-sized subunits that may be again aggregates and show a moderate packing density on the surface of the particles; (ii) a fragile agglomerate with a size about few tens of micrometres comprised by micrometre-sized subunits suggested to be again aggregates and arranged in a structure with a fractal dimension less than two; (iii) small, micrometre-sized particles comprised by subunits in the hundreds of nanometres size range that show surface features suggested to again represent subunits. Their differential size distributions follow a log-normal distribution with means about 100\,nm and standard deviations between 20 and 35\,nm. All micrometre-sized particles are hierarchical dust agglomerates of smaller subunits. The arrangement, appearance and size distribution of the smallest determined surface features are reminiscent of those found in CP IDPs and they represent the smallest directly detected subunits of comet 67P.


title: On the role of dust in the microwave emission of galactic halos

abstract: The contribution of the thermal dust component in galactic halo rotation is explored based on the microwave data of Planck satellite. The temperature asymmetry of Doppler nature revealed for several edge-on galaxies at several microwave frequencies is analyzed regarding the contribution of the thermal dust emission. We derive the dust contribution to the galactic halo rotation using the data in three bands, 353GHz, 545GHz and 857GHz for two nearby galaxies M81 and M82. The relevance of the revealed properties on the halo rotation is then discussed in the context of the modified gravity theories proposed to describe the dark matter configurations.


title: Improving the generalizability of convolutional neural network-based segmentation on CMR images

abstract: Convolutional neural network (CNN) based segmentation methods provide an efficient and automated way for clinicians to assess the structure and function of the heart in cardiac MR images. While CNNs can generally perform the segmentation tasks with high accuracy when training and test images come from the same domain (e.g. same scanner or site), their performance often degrades dramatically on images from different scanners or clinical sites. We propose a simple yet effective way for improving the network generalization ability by carefully designing data normalization and augmentation strategies to accommodate common scenarios in multi-site, multi-scanner clinical imaging data sets. We demonstrate that a neural network trained on a single-site single-scanner dataset from the UK Biobank can be successfully applied to segmenting cardiac MR images across different sites and different scanners without substantial loss of accuracy. Specifically, the method was trained on a large set of 3,975 subjects from the UK Biobank. It was then directly tested on 600 different subjects from the UK Biobank for intra-domain testing and two other sets for cross-domain testing: the ACDC dataset (100 subjects, 1 site, 2 scanners) and the BSCMR-AS dataset (599 subjects, 6 sites, 9 scanners). The proposed method produces promising segmentation results on the UK Biobank test set which are comparable to previously reported values in the literature, while also performing well on cross-domain test sets, achieving a mean Dice metric of 0.90 for the left ventricle, 0.81 for the myocardium and 0.82 for the right ventricle on the ACDC dataset; and 0.89 for the left ventricle, 0.83 for the myocardium on the BSCMR-AS dataset. The proposed method offers a potential solution to improve CNN-based model generalizability for the cross-scanner and cross-site cardiac MR image segmentation task.


title: The type III stress-energy tensor: Ugly Duckling of the Hawking-Ellis classification

abstract: We present some advances in the understanding of type III stress-energy tensors as per the Hawking-Ellis classification. Type I and type II naturally appear in classical situations, and can also describe semiclassical effects. Type IV often shows up in semiclassical gravity. Type III is much more subtle. We focus our attention on type III$_0$ stress-energy tensors, which capture the essence ("essential core") of type III. Reflecting on known purely phenomenological examples, ("gyratons"), we are able to generalize the geometry generated by those type III$_0$ stress-energy tensors. Moreover, we also succeed in extending work by Griffiths based on massless Weyl spinors by finding a fundamental classical bosonic Lagrangian description of these type III$_0$ stress-energy tensors. To the best of our knowledge this is the first time in the literature that a consistent classical bosonic Lagrangian formulation for type III$_0$ stress-energy has been found.


title: Syntactic cut-elimination and backward proof-search for tense logic via linear nested sequents (Extended version)

abstract: We give a linear nested sequent calculus for the basic normal tense logic Kt. We show that the calculus enables backwards proof-search, counter-model construction and syntactic cut-elimination. Linear nested sequents thus provide the minimal amount of nesting necessary to provide an adequate proof-theory for modal logics containing converse. As a bonus, this yields a cut-free calculus for symmetric modal logic KB.


title: Eliminating Shadow Artifacts via Generative Inpainting Networks to Quantify Vascular Changes of the Choroid

abstract: Shadow artifacts from retinal vessels hinder the development of quantitative choroidal biomarkers in Optical Coherence Tomography (OCT), which limits the clinical applications of the choroidal OCT to the measures of layer thickness. In this paper, we present a novel framework that could eliminate the retinal shadows and realize the quantification of choroidal vasculature. Different from existing methods, we convert the shadow elimination into an object removal task, which can be handled by image inpainting techniques. We adopt and finetune a two-stage generative inpainting network which connects the edges of the vessels ahead of refilling the shadow-contaminated areas. It shows surpassing performance in repairing the choroidal vasculature compared with traditional inpainting algorithms. We further verify the feasibility of the proposed frame using a prospective observational study, which detects the choroidal vascular changes related to the Intra-Ocular Pressure (IOP) elevation of 34 healthy volunteers. As the average IOP increases from $15.84\pm1.99$ mmHg to $34.48\pm5.35$ mmHg, we achieve the decreases of the choroidal vessel density and flow index from $0.491\pm0.020$ to $0.463\pm0.019$ and from $0.336\pm0.025$ to $0.300\pm0.019$, respectively.


title: Discourse Understanding and Factual Consistency in Abstractive Summarization

abstract: We introduce a general framework for abstractive summarization with factual consistency and distinct modeling of the narrative flow in an output summary. Our work addresses current limitations of models for abstractive summarization that often hallucinate information or generate summaries with coherence issues. To generate abstractive summaries with factual consistency and narrative flow, we propose Cooperative Generator -- Discriminator Networks (Co-opNet), a novel transformer-based framework where a generator works with a discriminator architecture to compose coherent long-form summaries. We explore four different discriminator objectives which each capture a different aspect of coherence, including whether salient spans of generated abstracts are hallucinated or appear in the input context, and the likelihood of sentence adjacency in generated abstracts. We measure the ability of Co-opNet to learn these objectives with arXiv scientific papers, using the abstracts as a proxy for gold long-form scientific article summaries. Empirical results from automatic and human evaluations demonstrate that Co-opNet learns to summarize with considerably improved global coherence compared to competitive baselines.


title: An Analysis of Deep Neural Networks with Attention for Action Recognition from a Neurophysiological Perspective

abstract: We review three recent deep learning based methods for action recognition and present a brief comparative analysis of the methods from a neurophyisiological point of view. We posit that there are some analogy between the three presented deep learning based methods and some of the existing hypotheses regarding the functioning of human brain.


title: Smart network based portfolios

abstract: In this article we deal with the problem of portfolio allocation by enhancing network theory tools. We use the dependence structure of the correlations network in constructing some well-known risk-based models in which the estimation of correlation matrix is a building block in the portfolio optimization. We formulate and solve all these portfolio allocation problems using both the standard approach and the network-based approach. Moreover, in constructing the network-based portfolios we propose the use of two different estimators for the covariance matrix: the sample estimator and the shrinkage toward constant correlation one. All the strategies under analysis are implemented on two high-dimensional portfolios having different characteristics, covering the period from January $2001$ to December $2017$. We find that the network-based portfolio consistently better performs and has lower risk compared to the corresponding standard portfolio in an out-of-sample perspective.


title: MCF solitons and laser pulse self-compression at light bullet excitation in the central core of MCF

abstract: The propagation of laser pulses in multi-core fibers (MCF) made of a central core and an even number of cores located in a ring around it is studied. Approximate quasi-soliton homogeneous solutions of the wave field in the considered MCF are found. The stability of the in-phase soliton distribution is shown analytically and numerically. At low energies, its wave field is distributed over all MCF cores and has a duration, which exceeds the duration of the NSE soliton with the same energy by many (five-six) times. On the contrary, almost all of the radiation at high energies is concentrated in the central core with a duration similar to the NSE soliton. The transition between the two types of distributions is very sharp and occurs at a critical energy, which is weakly dependent on the number of cores and on the coupling coefficient with the central core. The self-compression mechanism of laser pulses was proposed. It consists in injecting such MCF with a wave packet being similar to the found soliton and having an energy larger than the critical value. It is shown that the compression ratio weakly depends on the energy and the number of cores and is approximately equal to 6 times with an energy efficiency of almost 100\%. The use of longer laser pulses allows one to increase the compression ratio up to 30-40 times with an energy efficiency of more than 50\%. The obtained analytical estimates of the compression ratio and its efficiency are in good agreement with the results of numerical simulation.


title: Elemental and isotopic variability in solar system materials by mixing and processing of primordial disk reservoirs

abstract: Isotope anomalies among planetary bodies provide key constraints on planetary genetics and the Solar System's dynamical evolution. However, to unlock the full potential of these anomalies for constraining the processing, mixing, and transport of material in the disk it is essential to identify the main components responsible for producing planetary-scale isotope variations, and to investigate how they relate to the isotopic heterogeneity inherited from the Solar System's parental molecular cloud. To address these issues we measured the Ti and Sr isotopic compositions of Ca,Al-rich inclusions (CAIs) from the Allende CV3 chondrite, as well as acid leachates and an insoluble residue from the Murchison CM2 chondrite, and combine these results with literature data for presolar grains, hibonites, chondrules, and bulk meteorites. Our analysis reveals that the mineral-scale nebular isotopic heterogeneity as sampled by leachates and presolar grains is largely decoupled from the planetary-scale isotope anomalies. Combining isotope anomaly data for a large number of elements reveals that the difference between non-carbonaceous (NC) and carbonaceous (CC) meteorites is the product of mixing between NC material and a nebular reservoir (termed IC) whose isotopic composition is similar to that of CAIs, but whose chemical composition is similar to bulk chondrites. In our preferred model, the distinct isotopic compositions of these two nebular reservoirs reflect an inherited heterogeneity of the solar system's parental molecular cloud core, which therefore has never been fully homogenized during collapse. Planetary-scale isotopic anomalies are thus caused by variable mixing of isotopically distinct primordial disk reservoirs, the selective processing of these reservoirs in different nebular environments, and the heterogeneous distribution of the thereby forming nebular products.


title: Conditioned-U-Net: Introducing a Control Mechanism in the U-Net for Multiple Source Separations

abstract: Data-driven models for audio source separation such as U-Net or Wave-U-Net are usually models dedicated to and specifically trained for a single task, e.g. a particular instrument isolation. Training them for various tasks at once commonly results in worse performances than training them for a single specialized task. In this work, we introduce the Conditioned-U-Net (C-U-Net) which adds a control mechanism to the standard U-Net. The control mechanism allows us to train a unique and generic U-Net to perform the separation of various instruments. The C-U-Net decides the instrument to isolate according to a one-hot-encoding input vector. The input vector is embedded to obtain the parameters that control Feature-wise Linear Modulation (FiLM) layers. FiLM layers modify the U-Net feature maps in order to separate the desired instrument via affine transformations. The C-U-Net performs different instrument separations, all with a single model achieving the same performances as the dedicated ones at a lower cost.