title: Particle Energy Diffusion in Linear Magnetohydrodynamic Waves

abstract: In high-energy astronomical phenomena, the stochastic particle acceleration by turbulences is one of the promising processes to generate non-thermal particles. In this paper, we investigate the energy-diffusion efficiency of relativistic particles in a temporally evolving wave ensemble that consists of a single mode (Alfv\'en, fast or slow) of linear magnetohydrodynamic waves. In addition to the gyroresonance with waves, the transit-time damping (TTD) also contributes to the energy-diffusion for fast and slow-mode waves. While the resonance condition with the TTD has been considered to be fulfilled by a very small fraction of particles, our simulations show that a significant fraction of particles are in the TTD resonance owing to the resonance broadening by the mirror force, which non-resonantly diffuses the pitch angle of particles. When the cutoff scale in the turbulence spectrum is smaller than the Larmor radius of a particle, the gyroresonance is the main acceleration mechanism for all the three wave modes. For the fast-mode, the coexistence of the gyroresonance and TTD resonance leads to anomalous energy-diffusion. For a particle with its Larmor radius smaller than the cutoff scale, the gyroresonance is negligible, and the TTD becomes the dominant mechanism to diffuse its energy. The energy-diffusion by the TTD-only resonance with fast-mode waves agrees with the hard-sphere-like acceleration suggested in some high-energy astronomical phenomena.


title: Ridge regularization for Mean Squared Error Reduction in Regression with Weak Instruments

abstract: In this paper, I show that classic two-stage least squares (2SLS) estimates are highly unstable with weak instruments. I propose a ridge estimator (ridge IV) and show that it is asymptotically normal even with weak instruments, whereas 2SLS is severely distorted and un-bounded. I motivate the ridge IV estimator as a convex optimization problem with a GMM objective function and an L2 penalty. I show that ridge IV leads to sizable mean squared error reductions theoretically and validate these results in a simulation study inspired by data designs of papers published in the American Economic Review.


title: On the space of theta functions for a prime level

abstract: Hecke expected that an explicit set of theta series obtained from maximal orders of the definite quaternion algebra over Q which is ramified at a prime N will be a basis of the space of holomorphic modular forms of weight 2 and level N. However, later Eichler noticed that Hecke's conjecture does not hold in general. It is natural to ask for the dimension of the subspace of the modular forms spanned by the theta series. This question is called Hecke's basis problem. Boecherer and Schulze-Pillot have given an answer using the theory of theta liftings. In this paper we will give another proof of their results using arithmetic and geometric properties of the modular curve.


title: Road Crack Detection Using Deep Convolutional Neural Network and Adaptive Thresholding

abstract: Crack is one of the most common road distresses which may pose road safety hazards. Generally, crack detection is performed by either certified inspectors or structural engineers. This task is, however, time-consuming, subjective and labor-intensive. In this paper, we propose a novel road crack detection algorithm based on deep learning and adaptive image segmentation. Firstly, a deep convolutional neural network is trained to determine whether an image contains cracks or not. The images containing cracks are then smoothed using bilateral filtering, which greatly minimizes the number of noisy pixels. Finally, we utilize an adaptive thresholding method to extract the cracks from road surface. The experimental results illustrate that our network can classify images with an accuracy of 99.92%, and the cracks can be successfully extracted from the images using our proposed thresholding algorithm.


title: Monochromatic disconnection: Erd\H{o}s-Gallai-type problems and product graphs

abstract: For an edge-colored graph $G$, we call an edge-cut $M$ of $G$ monochromatic if the edges of $M$ are colored with a same color. The graph $G$ is called monochromatically disconnected if any two distinct vertices of $G$ are separated by a monochromatic edge-cut. The monochromatic disconnection number, denoted by $md(G)$, of a connected graph $G$ is the maximum number of colors that are allowed to make $G$ monochromatically disconnected. In this paper, we solve the Erd\H{o}s-Gallai-type problems for the monochromatic disconnection, and give the monochromatic disconnection numbers for four graph products, i.e., Cartesian, strong, lexicographic, and tensor products.


title: Zero-one laws for eventually always hitting points in in rapidly mixing systems

abstract: In this work we study the set of eventually always hitting points in shrinking target systems. These are points whose long orbit segments eventually hit the corresponding shrinking targets for all future times. We focus our attention on systems where translates of targets exhibit near perfect mutual independence, such as Bernoulli schemes and the Gauss map. For such systems, we present tight conditions on the shrinking rate of the targets so that the set of eventually always hitting points is a null set (or co-null set respectively).


title: Metrics for the Evaluation of localisation Robustness

abstract: Robustness and safety are crucial properties for the real-world application of autonomous vehicles. One of the most critical components of any autonomous system is localisation. During the last 20 years there has been significant progress in this area with the introduction of very efficient algorithms for mapping, localisation and SLAM. Many of these algorithms present impressive demonstrations for a particular domain, but fail to operate reliably with changes to the operating environment. The aspect of robustness has not received enough attention and localisation systems for self-driving vehicle applications are seldom evaluated for their robustness. In this paper we propose novel metrics to effectively quantify localisation robustness with or without an accurate ground truth. The experimental results present a comprehensive analysis of the application of these metrics against a number of well known localisation strategies.


title: Gravitino condensate in $N=1$ supergravity coupled to the $N=1$ supersymmetric Born-Infeld theory

abstract: The $N=1$ supersymmetric Born-Infeld theory coupled to $N=1$ supergravity in four spacetime dimensions is studied in the presence of a cosmological term with spontaneous supersymmetry breaking. The consistency is achieved by compensating a negative contribution to the cosmological term from the Born-Infeld theory by a positive contribution originating from the gravitino condensate. This leads to an identification of the Born-Infeld scale with the supersymmetry breaking scale. The dynamical formation of the gravitino condensate in supergravity is reconsidered and the induced one-loop effective potential is derived. Slow roll cosmological inflation with the gravitino condensate as the inflaton (near the maximum of the effective potential) is viable against the Planck 2018 data and can lead to the inflationary (Hubble) scale as high as $10^{12}$ GeV. Uplifting the Minkowski vacuum (after inflation) to a de Sitter vacuum (dark energy) is possible by the use of the alternative Fayet-Iliopoulos term. Some major physical consequences of our scenario to reheating are briefly discussed also.


title: Creative Procedural-Knowledge Extraction From Web Design Tutorials

abstract: Complex design tasks often require performing diverse actions in a specific order. To (semi-)autonomously accomplish these tasks, applications need to understand and learn a wide range of design procedures, i.e., Creative Procedural-Knowledge (CPK). Prior knowledge base construction and mining have not typically addressed the creative fields, such as design and arts. In this paper, we formalize an ontology of CPK using five components: goal, workflow, action, command and usage; and extract components' values from online design tutorials. We scraped 19.6K tutorial-related webpages and built a web application for professional designers to identify and summarize CPK components. The annotated dataset consists of 819 unique commands, 47,491 actions, and 2,022 workflows and goals. Based on this dataset, we propose a general CPK extraction pipeline and demonstrate that existing text classification and sequence-to-sequence models are limited in identifying, predicting and summarizing complex operations described in heterogeneous styles. Through quantitative and qualitative error analysis, we discuss CPK extraction challenges that need to be addressed by future research.


title: Monotonic invariants under blowups

abstract: We prove that the numerical invariant $3\mu-4\tau$ of a reduced irreducible plane curve singularity germ is non-negative, non-decreasing under blowups and strictly increasing unless the curve is non-singular. This provides a new perspective to understand the question posed by A. Dimca and G.-M. Greuel. Moreover, our work can be put in the general framework of discovering monotonic invariants under blowups.


title: Transfinite diameter with generalized polynomial degree

abstract: We prove a Chebyshev transform formula for a notion of (weighted) transfinite diameter that is defined using a generalized notion of polynomial degree. We also generalize Leja points to this setting. As an application of our main formula, we prove that in the unweighted case, these generalized Leja points recover the transfinite diameter.


title: Fast algorithms for handling diagonal constraints in timed automata

abstract: A popular method for solving reachability in timed automata proceeds by enumerating reachable sets of valuations represented as zones. A na\"ive enumeration of zones does not terminate. Various termination mechanisms have been studied over the years. Coming up with efficient termination mechanisms has been remarkably more challenging when the automaton has diagonal constraints in guards. In this paper, we propose a new termination mechanism for timed automata with diagonal constraints based on a new simulation relation between zones. Experiments with an implementation of this simulation show significant gains over existing methods.


title: Transient Response of the Cavity-Magnon-Polariton

abstract: The Rabi oscillations of a coupled spin-photon system are experimentally studied using time domain microwave transmission measurements. An external magnetic bias field is applied to control the amplitude and frequency of Rabi oscillations, which are a measure of the coherent spin-photon energy exchange and coupling strength respectively. The amplitude and frequency control is described in the time domain as the transient response of a two-level spin-photon system. This approach reveals the link between steady state and transient behaviour of the cavity-magnon-polariton, which is necessary to interpret time domain cavity-spintronic experiments. This transient model also allows us to understand and quantify the polariton mode composition, which can be controlled by the bias field.


title: Some identities of degenerate Euler polynomials associated with degenerate Bernstein polynomials

abstract: In this paper, we investigate some properties and identities for degenerate Euler polynomials in connection with degenerate Bernstein polynomials by means of fermionic p-adic integrals on Zp and generating functions. In addition, we study two variable degenerate Bernstein polynomials and the degenerate Bernstein operators.


title: Improving Usability, Efficiency, and Safety of UAV Path Planning through a Virtual Reality Interface

abstract: As the capability and complexity of UAVs continue to increase, the human-robot interface community has a responsibility to design better ways of specifying the complex 3D flight paths necessary for instructing them. Immersive interfaces, such as those afforded by virtual reality (VR), have several unique traits which may improve the user's ability to perceive and specify 3D information. These traits include stereoscopic depth cues which induce a sense of physical space as well as six degrees of freedom (DoF) natural head-pose and gesture interactions. This work introduces an open-source platform for 3D aerial path planning in VR and compares it to existing UAV piloting interfaces. Our study has found statistically significant improvements in safety and subjective usability over a manual control interface, while achieving a statistically significant efficiency improvement over a 2D touchscreen interface. The results illustrate that immersive interfaces provide a viable alternative to touchscreen interfaces for UAV path planning.


title: One-dimensional Deep Image Prior for Time Series Inverse Problems

abstract: We extend the Deep Image Prior (DIP) framework to one-dimensional signals. DIP is using a randomly initialized convolutional neural network (CNN) to solve linear inverse problems by optimizing over weights to fit the observed measurements. Our main finding is that properly tuned one-dimensional convolutional architectures provide an excellent Deep Image Prior for various types of temporal signals including audio, biological signals, and sensor measurements. We show that our network can be used in a variety of recovery tasks including missing value imputation, blind denoising, and compressed sensing from random Gaussian projections. The key challenge is how to avoid overfitting by carefully tuning early stopping, total variation, and weight decay regularization. Our method requires up to 4 times fewer measurements than Lasso and outperforms NLM-VAMP for random Gaussian measurements on audio signals, has similar imputation performance to a Kalman state-space model on a variety of data, and outperforms wavelet filtering in removing additive noise from air-quality sensor readings.


title: Quantitative comparison theorems in Riemannian and K\"ahler geometry

abstract: We obtain sharp quantitative Laplacian upper and lower estimates under no assumption on curvatures. As a result, we derive quantitative Laplacian, area and volume comparison theorems for tubes in Riemannian and K\"ahler manifolds under weak integral curvature assumptions. We also give some applications, such as a general Bonnet-Myers theorem and Cheng's eigenvalue estimate under weak integral curvature assumptions.


title: Determining the depairing current in superconducting nanowire single-photon detectors

abstract: We estimate the depairing current of superconducting nanowire single photon detectors (SNSPDs) by studying the dependence of the nanowires kinetic inductance on their bias current. The kinetic inductance is determined by measuring the resonance frequency of resonator style nanowire coplanar waveguides both in transmission and reflection configurations. Bias current dependent shifts in the measured resonant frequency correspond to the change in the kinetic inductance, which can be compared with theoretical predictions. We demonstrate that the fast relaxation model described in the literature accurately matches our experimental data and provides a valuable tool for direct determination of the depairing current. Accurate and direct measurement of the depairing current is critical for nanowire quality analysis, as well as modeling efforts aimed at understanding the detection mechanism in SNSPDs.


title: Phase coherent transport in bilayer and trilayer MoS2

abstract: Bilayer MoS2 is a centrosymmetric semiconductor with degenerate spin states in the six valleys at the corners of the Brillouin zone. It has been proposed that breaking of this inversion symmetry by an out-of-plane electric field breaks this degeneracy, allowing for spin and valley lifetimes to be manipulated electrically in bilayer MoS2 with an electric field. In this work, we report phase-coherent transport properties of double-gated mono-, bi-, and tri-layer MoS2. We observe a similar crossover from weak localization to weak anti-localization, from which we extract the spin relaxation time as a function of both electric field and temperature. We find that the spin relaxation time is inversely proportional to momentum relaxation time, indicating that D'yakonov-Perel mechanism is dominant in all devices despite its centrosymmetry. Further, we found no evidence of electric-field induced changes in spin-orbit coupling strength. This suggests that the interlayer coupling is sufficiently weak and that electron-doped dichalcogenide multilayers behave electrically as decoupled monolayers.


title: Reducing Noise in GAN Training with Variance Reduced Extragradient

abstract: We study the effect of the stochastic gradient noise on the training of generative adversarial networks (GANs) and show that it can prevent the convergence of standard game optimization methods, while the batch version converges. We address this issue with a novel stochastic variance-reduced extragradient (SVRE) optimization algorithm, which for a large class of games improves upon the previous convergence rates proposed in the literature. We observe empirically that SVRE performs similarly to a batch method on MNIST while being computationally cheaper, and that SVRE yields more stable GAN training on standard datasets.


title: Vacuum fluctuation, micro-cyclic "universes" and the cosmological constant problem

abstract: We point out that the standard formulation of the cosmological constant problem itself is problematic since it is trying to apply the very large scale homogeneous cosmological model to very small (Planck) scale phenomenon. At small scales, both the spacetime and the vacuum stress energy are highly inhomogeneous and wildly fluctuating. This is a version of Wheeler's "spacetime foam". We show that this "foamy" structure would produce a large positive contribution to the average macroscopic spatial curvature of the Universe. In order to cancel this contribution to match the observation, the usually defined effective cosmological constant $\lambda_{\mathrm{eff}}=\lambda_B+8\pi G\langle\rho\rangle$ has to take a large negative value. The spacetime dynamics sourced by this large negative $\lambda_{\mathrm{eff}}$ would be similar to the cyclic model of the universe in the sense that at small scales every point in space is a "micro-cyclic universe" which is following an eternal series of oscillations between expansions and contractions. Moreover, if the bare cosmological constant $\lambda_B$ is dominant, the size of each "micro-universe" would increase a tiny bit at a slowly accelerating rate during each micro-cycle of the oscillation due to the weak parametric resonance effect produced by the fluctuations of the quantum vacuum stress energy tensor. In this way, the large cosmological constant generated at small scales is hidden at observable scale and no fine-tuning of $\lambda_B$ to the accuracy of $10^{-122}$ is needed. This at least resolves the old cosmological constant problem and suggests that it is the quantum vacuum fluctuations serve as the dark energy which is accelerating the expansion of our Universe.


title: Phase ambiguity of the measure for continuum Majorana fermions

abstract: Integrating over a continuum Majorana fermion formally yields a functional pfaffian. We show that the phase of this pfaffian is ambiguous, as it depends on the choice of basis. This ambiguity is naturally resolved within a non-perturbative lattice definition, allowing us to discuss the relation between the phase of the lattice pfaffian and the effective $\theta$ angle of the theory. We also resolve an apparent paradox regarding the induced $\theta$ angle when a theory of $N$ Dirac fermions in a real representation of the gauge group is re-expressed in terms of $2N$ Majorana fermions. We discuss how all this is reflected in chiral perturbation theory.


title: Deep Optics for Monocular Depth Estimation and 3D Object Detection

abstract: Depth estimation and 3D object detection are critical for scene understanding but remain challenging to perform with a single image due to the loss of 3D information during image capture. Recent models using deep neural networks have improved monocular depth estimation performance, but there is still difficulty in predicting absolute depth and generalizing outside a standard dataset. Here we introduce the paradigm of deep optics, i.e. end-to-end design of optics and image processing, to the monocular depth estimation problem, using coded defocus blur as an additional depth cue to be decoded by a neural network. We evaluate several optical coding strategies along with an end-to-end optimization scheme for depth estimation on three datasets, including NYU Depth v2 and KITTI. We find an optimized freeform lens design yields the best results, but chromatic aberration from a singlet lens offers significantly improved performance as well. We build a physical prototype and validate that chromatic aberrations improve depth estimation on real-world results. In addition, we train object detection networks on the KITTI dataset and show that the lens optimized for depth estimation also results in improved 3D object detection performance.


title: Mean-field potential effects in the cumulants of baryons from central Au+Au collision at $E_{lab}$= 1.23 GeV$/$nucleon

abstract: The cumulants of baryon multiplicity distribution in relativistic heavy-ion collisions (HICs) have attracted considerable attention recently. It has been conjectured that they may serve as a promising observable to detect the critical end point in the QCD phase diagram, while the cumulants in HICs at intermediate energies have not been widely studied to date. How to interpret the cumulants data at intermediate energies and compare with the data at relativistic energies is now being actively discussed. Both meam-field potential and clustering are highly important to HICs at intermediate energies. In this talk, we discuss these effects on the cumulant ratios of baryon number distributions in Au+Au collisions at beam energies of 1.23 GeV$/$nucleon which have been currently performed by the HADES Collaboration at GSI. Within the newest version of the ultrarelativistic quantum molecular dynamics (UrQMD) model, calculations with different mean field potentials as well as without mean field potential are performed. It is found that the mean field potential enhances fluctuations in the momentum space during the expanding stage, especially in a small rapidity acceptance window. The enhancement of cumulant ratios for free protons is suppressed compared with that for all baryons.


title: Two-particle angular correlations in heavy ion collisions from a multiphase transport model

abstract: We extend our earlier study on two-particle angular correlations in $pp$ collisions at low transverse momentum ($p_T$) to $p$-Pb, Pb-Pb and Au-Au collisions at RHIC and LHC energies. We mainly use the string melting version of a multiphase transport model with improved quark coalescence for this study. We start from the analysis of $\pi^{\pm}$, $K^{\pm}$ and $p$($\bar{p}$) $p_T$ and rapidity distributions at different centralities. We then focus on two-particle angular correlations in $p$-Pb collisions at $\mathrm{\sqrt{s_{NN}} = 5.02}$ TeV and Pb-Pb collisions at $\mathrm{\sqrt{s_{NN}}= 2.76}$ TeV. For $p$-Pb collisions, a near side depression in the angular correlation is observed for low $p_T$ proton pairs and $\Lambda$ pairs but not for pion pairs or kaon pairs, similar to our earlier finding for $pp$ collisions at $\mathrm{\sqrt{s}= 7}$ TeV. This is also the case for very low multiplicity Pb-Pb and Au-Au collisions. We also find that parton interactions and the improved quark coalescence are mainly responsible for the depression feature in baryon pair angular correlations. However, no such baryon-baryon anti-correlations are observed in Pb-Pb and Au-Au collisions at higher multiplicities. Therefore our results suggest that low $p_T$ baryon-baryon angular anti-correlations have a strong multiplicity dependence.


title: Coincidence of two Swan conductors of abelian characters

abstract: There are two ways to define the Swan conductor of an abelian character of the absolute Galois group of a complete discrete valuation field. We prove that these two Swan conductors coincide.


title: Quantum link bootstrapping using a RuleSet-based communication protocol

abstract: Establishing end-to-end quantum connections requires quantified link characteristics, and operations need to coordinate decision-making between nodes across a network. We introduce the RuleSet-based communication protocol for supporting quantum operations over distant nodes to minimize classical packet transmissions for guaranteeing synchronicity. RuleSets are distributed to nodes along a path at connection set up time, and hold lists of operations that need to be performed in real time. We simulate the RuleSet-based quantum link bootstrapping protocol, which consists of recurrent purifications and link-level tomography, to quantify the quantum link fidelity and its throughput. Our Markov-Chain Monte-Carlo simulation includes various error sources, such as the memory error, gate error and channel error, modeled on currently available hardware. We found that when two quantum nodes, each with 100 memory qubits capable of emitting photons ideally to the optical fiber, are physically connected with a 10km MeetInTheMiddle link, the Recurrent Single selection - Single error purification (RSs-Sp) protocol is capable of bringing up the fidelity from an average input $F_{r}=0.675$ to around $F_{r}=0.865$ with a generation rate of 1106 Bell pairs per second, as determined by simulated tomography. The system gets noisier with longer channels, in which case errors may develop faster than the purification gain. In such a situation, a stronger purification method, such as the double selection-based purification, shows an advantage for improving the fidelity. The knowledge acquired from bootstrapping can later be distributed to nodes within the same network, and used for other purposes such as route selection.


title: Unified Flow and Thermal Law-of-the-wall Complete Formulations for Type-A Turbulent Boundary Layers

abstract: In-depth analyses of existing direct numerical simulations (DNS) data from various sources supported a logical and important classification of generic turbulent boundary layers (TBL), namely Type-A, -B and -C TBL, based on distribution patterns of time-averaged wall-shear stress. Among these types, Type-A TBL and its related law, as represented by the DNS data of turbulence on a zero-pressure-gradient semi-infinite flat-plate, was investigated in terms of analytical formulations of velocity independent on Reynolds ( ) number. With reference to the analysis from von Karman in developing the conventional law-of-the-wall, the current study first physically distinguished the time-averaged local scale used by von Karman from the ensemble-averaged scale defined in the paper, and then derived the governing equations with the -independency under the ensemble-averaged scales. Based on indicator function (IDF) and TBL thickness, the sublayer partitions were rigorously defined. The analytical formulations for entire TBL, namely the complete law-of-the-wall, were established, including the formula in inner, buffer, semi-logarithmic (semi-log) and wake layer. The researches were featured by introducing the general damping and enhancing functions (GDF and GEF) and applying these functions to both linear and logarithmic coordinates. These law formulations were proved uniform and consistent in time-averaged local and ensemble-averaged scales, which were validated by the existing DNS and experiment data. Based on the similarity of relevant properly-scaled governing equations, the law formulations were logically reasoned being applicable to the temperature in Type-A thermal TBL. The findings advance the current understandings of the conventional TBL theory and its well-known foundations of law-of-the-wall.


title: Progressive Attention Memory Network for Movie Story Question Answering

abstract: This paper proposes the progressive attention memory network (PAMN) for movie story question answering (QA). Movie story QA is challenging compared to VQA in two aspects: (1) pinpointing the temporal parts relevant to answer the question is difficult as the movies are typically longer than an hour, (2) it has both video and subtitle where different questions require different modality to infer the answer. To overcome these challenges, PAMN involves three main features: (1) progressive attention mechanism that utilizes cues from both question and answer to progressively prune out irrelevant temporal parts in memory, (2) dynamic modality fusion that adaptively determines the contribution of each modality for answering the current question, and (3) belief correction answering scheme that successively corrects the prediction score on each candidate answer. Experiments on publicly available benchmark datasets, MovieQA and TVQA, demonstrate that each feature contributes to our movie story QA architecture, PAMN, and improves performance to achieve the state-of-the-art result. Qualitative analysis by visualizing the inference mechanism of PAMN is also provided.


title: Learning to Collocate Neural Modules for Image Captioning

abstract: We do not speak word by word from scratch; our brain quickly structures a pattern like \textsc{sth do sth at someplace} and then fill in the detailed descriptions. To render existing encoder-decoder image captioners such human-like reasoning, we propose a novel framework: learning to Collocate Neural Modules (CNM), to generate the `inner pattern' connecting visual encoder and language decoder. Unlike the widely-used neural module networks in visual Q\&A, where the language (ie, question) is fully observable, CNM for captioning is more challenging as the language is being generated and thus is partially observable. To this end, we make the following technical contributions for CNM training: 1) compact module design --- one for function words and three for visual content words (eg, noun, adjective, and verb), 2) soft module fusion and multi-step module execution, robustifying the visual reasoning in partial observation, 3) a linguistic loss for module controller being faithful to part-of-speech collocations (eg, adjective is before noun). Extensive experiments on the challenging MS-COCO image captioning benchmark validate the effectiveness of our CNM image captioner. In particular, CNM achieves a new state-of-the-art 127.9 CIDEr-D on Karpathy split and a single-model 126.0 c40 on the official server. CNM is also robust to few training samples, eg, by training only one sentence per image, CNM can halve the performance loss compared to a strong baseline.


title: Precise computation of rovibronic resonances of molecular hydrogen: $EF\ ^1\Sigma_\mathrm{g}^+$ inner-well rotational states

abstract: Selected states of the $EF\ ^1\Sigma_\mathrm{g}^+$ electronic manifold of the hydrogen molecule are computed as resonances of the four-body problem. Systematic improvement of the basis representation for the variational treatment is achieved through an energy-tracking optimization procedure. The resulting non-relativistic energy is converged within a few nano Hartree, while the predissociative width is found to be negligible at this level of accuracy. The four-particle non-relativistic energies are appended with relativistic and quantum electrodynamics corrections which close the gap between the experimental observations and earlier theoretical work.


title: Client/Server Based Online Environment for Manual Segmentation of Medical Images

abstract: Segmentation is a key step in analyzing and processing medical images. Due to the low fault tolerance in medical imaging, manual segmentation remains the de facto standard in this domain. Besides, efforts to automate the segmentation process often rely on large amounts of manually labeled data. While existing software supporting manual segmentation is rich in features and delivers accurate results, the necessary time to set it up and get comfortable using it can pose a hurdle for the collection of large datasets. This work introduces a client/server based online environment, referred to as Studierfenster (studierfenster.at), that can be used to perform manual segmentations directly in a web browser. The aim of providing this functionality in the form of a web application is to ease the collection of ground truth segmentation datasets. Providing a tool that is quickly accessible and usable on a broad range of devices, offers the potential to accelerate this process. The manual segmentation workflow of Studierfenster consists of dragging and dropping the input file into the browser window and slice-by-slice outlining the object under consideration. The final segmentation can then be exported as a file storing its contours and as a binary segmentation mask. In order to evaluate the usability of Studierfenster, a user study was performed. The user study resulted in a mean of 6.3 out of 7.0 possible points given by users, when asked about their overall impression of the tool. The evaluation also provides insights into the results achievable with the tool in practice, by presenting two ground truth segmentations performed by physicians.


title: Electron-phonon coupling and superconductivity-induced distortion of the phonon lineshape in V$_3$Si

abstract: Phonon measurements in the A15-type superconductors were complicated in the past because of the unavailability of large single crystals for inelastic neutron scattering, e.g., in the case of Nb$_3$Sn, or unfavorable neutron scattering properties in the case of V$_3$Si. Hence, only few studies of the lattice dynamical properties with momentum resolved methods were published, in particular below the superconducting transition temperature $T_c$. Here, we overcome these problems by employing inelastic x-ray scattering and report a combined experimental and theoretical investigation of lattice dynamics in V$_3$Si with the focus on the temperature-dependent properties of low-energy acoustic phonon modes in several high-symmetry directions. We paid particular attention to the evolution of the soft phonon mode of the structural phase transition observed in our sample at $T_s=18.9\,\rm{K}$, i.e., just above the measured superconducting phase transition at $T_c=16.8\,\rm{K}$. Theoretically, we predict lattice dynamics including electron-phonon coupling based on density-functional-perturbation theory and discuss the relevance of the soft phonon mode with regard to the value of $T_c$. Furthermore, we explain superconductivityinduced anomalies in the lineshape of several acoustic phonon modes using a model proposed by Allen et al., [Phys. Rev. B 56, 5552 (1997)].


title: SkyMapper SEDs of nearby galaxies: quenching and bursting probed by a change index for star formation

abstract: The wish list of astronomers includes a tool that reveals quenching of star formation in galaxies directly as it proceeds. Here, we present a proof-of-concept for a new quenching-and-bursting diagnostic, a "change index" for star formation, that requires only photometric data, provided they include filters such as the violet $uv$ bands used by SkyMapper. The index responds mostly to changes in star-formation rate on a timescale of 20 to 500 Myr and is nearly insensitive to dust extinction. It works effectively to distances of 100 to 150 Mpc. We explore its application to eight example galaxies in SkyMapper DR2, including known E+A and Seyfert-1 galaxies. Owing to the degeneracies inherent in broad-band photometry, the change index can only be a qualitative indicator of changes in star-formation rate. But once the SkyMapper Southern Survey is complete, the change index will be available for every spatial resolution element of every galaxy in the Southern sky within its working distance range.


title: Disentangled Representation Learning with Information Maximizing Autoencoder

abstract: Learning disentangled representation from any unlabelled data is a non-trivial problem. In this paper we propose Information Maximising Autoencoder (InfoAE) where the encoder learns powerful disentangled representation through maximizing the mutual information between the representation and given information in an unsupervised fashion. We have evaluated our model on MNIST dataset and achieved 98.9 ($\pm .1$) $\%$ test accuracy while using complete unsupervised training.


title: Multi-stage Antenna Selection for Adaptive Beamforming in MIMO Arrays

abstract: Increasing the number of transmit and receive elements in multiple-input-multiple-output (MIMO) antenna arrays imposes a substantial increase in hardware and computational costs. We mitigate this problem by employing a reconfigurable MIMO array where large transmit and receive arrays are multiplexed in a smaller set of k baseband signals. We consider four stages for the MIMO array configuration and propose four different selection strategies to offer dimensionality reduction in post-processing and achieve hardware cost reduction in digital signal processing (DSP) and radio-frequency (RF) stages. We define the problem as a determinant maximization and develop a unified formulation to decouple the joint problem and select antennas/elements in various stages in one integrated problem. We then analyze the performance of the proposed selection approaches and prove that, in terms of the output SINR, a joint transmit-receive selection method performs best followed by matched-filter, hybrid and factored selection methods. The theoretical results are validated numerically, demonstrating that all methods allow an excellent trade-off between performance and cost.


title: Suppression of long range magnetic ordering and electrical conduction in Y$_{1.7}$Bi$_{0.3}$Ir$_2$O$_7$ thin film

abstract: We find that the long-range magnetic ordering is absent and electrical conduction suppressed in Y$_{1.7}$Bi$_{0.3}$Ir$_2$O$_7$/YSZ(100) thin film prepared by pulsed laser deposition. The sharp down-turn of inverse magnetic susceptibility X-1(T) from the conventional Curie-Weiss behaviour below T* ~ 168K suggests an inhomogeneous ferromagnetic Griffiths like phase. The transport and magnetic properties are explained on the basis of the coexistence of mixed oxidation states of Ir, (i.e. Ir4+ and Ir3+) leading to non-magnetic defects and reduction in t2g density of states at the Fermi level.


title: Investigating the Dirac operator evaluation with FPGAs

abstract: In recent years the computational capacity of single Field Programmable Gate Arrays (FPGA) devices as well as their versatility has increased significantly. Adding to that the High Level Synthesis frameworks allowing to program such processors in a high level language like C++, makes modern FPGA devices a serious candidate as building blocks of a general purpose High Performance Computing solution. In this contribution we describe benchmarks which we performed using a Lattice QCD code, a highly compute-demanding HPC academic code for elementary particle simulations. We benchmark the performance of a single FPGA device running in two modes: using the external or embedded memory. We discuss both approaches in detail using the Xilinx U250 device and provide estimates for the necessary memory throughput and the minimal amount of resources needed to deliver optimal performance depending on the available hardware platform.


title: Spherical dust collapse in bimetric relativity: Bimetric polytropes

abstract: We present a method for solving the constraint equations in the Hassan-Rosen bimetric theory to determine the initial data for the gravitational collapse of spherically symmetric dust. The setup leads to equations similar to those for a polytropic fluid in general relativity, here called a generalized Lane-Emden equation. Using a numerical code which solves the evolution equations in the standard 3+1 form, we also obtain a short term development of the initial data for these bimetric polytropes. The evolution highlights some important features of the bimetric theory such as the interwoven and oscillating null cones representing the essential nonbidiagonality in the dynamics of the two metrics. The simulations are in the strong-field regime and show that, at least at an early stage, the collapse of a dust cloud is similar to that in general relativity, and with no instabilities, albeit with small oscillations in the metric fields.


title: $\wp$-adic continuous families of Drinfeld eigenforms of finite slope

abstract: Let $p$ be a rational prime, $v_p$ the normalized $p$-adic valuation on $\mathbb{Z}$, $q>1$ a $p$-power and $A=\mathbb{F}_q[t]$. Let $\wp\in A$ be an irreducible polynomial and $\mathfrak{n}\in A$ a non-zero element which is prime to $\wp$. Let $k\geq 2$ and $r\geq 1$ be integers. We denote by $S_k(\Gamma_1(\mathfrak{n}\wp^r))$ the space of Drinfeld cuspforms of level $\Gamma_1(\mathfrak{n}\wp^r)$ and weight $k$ for $A$. Let $n\geq 1$ be an integer and $a\geq 0$ a rational number. Suppose that $\mathfrak{n}\wp$ has a prime factor of degree one and the generalized eigenspace in $S_k(\Gamma_1(\mathfrak{n}\wp^r))$ of slope $a$ is one-dimensional. In this paper, under an assumption that $a$ is sufficiently small, we construct a family $\{F_{k'}\mid v_p(k'-k)\geq \log_p(p^n+a)\}$ of Hecke eigenforms $F_{k'}\in S_{k'}(\Gamma_1(\mathfrak{n}\wp^r))$ of slope $a$ such that, for any $Q\in A$, the Hecke eigenvalues of $F_k$ and $F_{k'}$ at $Q$ are congruent modulo $\wp^\kappa$ with some $\kappa>p^{v_p(k'-k)}-p^n-a$.


title: Practical criteria for R-positive recurrence of unbounded semigroups

abstract: The goal of this note is to show how recent results on the theory of quasi-stationary distributions allow to deduce effortlessly general criteria for the geometric convergence of normalized unbounded semigroups.


title: Stochastic approximation of quasi-stationary distributions for diffusion processes in a bounded domain

abstract: We study a random process with reinforcement, which evolves following the dynamics of a given diffusion process in a bounded domain and is resampled according to its occupation measure when it reaches the boundary. We show that its occupation measure converges to the unique quasi-stationary distribution of the diffusion process absorbed at the boundary of the domain. Our proofs use recent results in the theory of quasi-stationary distributions and stochastic approximation techniques.


title: Improving Interactive Reinforcement Agent Planning with Human Demonstration

abstract: TAMER has proven to be a powerful interactive reinforcement learning method for allowing ordinary people to teach and personalize autonomous agents' behavior by providing evaluative feedback. However, a TAMER agent planning with UCT---a Monte Carlo Tree Search strategy, can only update states along its path and might induce high learning cost especially for a physical robot. In this paper, we propose to drive the agent's exploration along the optimal path and reduce the learning cost by initializing the agent's reward function via inverse reinforcement learning from demonstration. We test our proposed method in the RL benchmark domain---Grid World---with different discounts on human reward. Our results show that learning from demonstration can allow a TAMER agent to learn a roughly optimal policy up to the deepest search and encourage the agent to explore along the optimal path. In addition, we find that learning from demonstration can improve the learning efficiency by reducing total feedback, the number of incorrect actions and increasing the ratio of correct actions to obtain an optimal policy, allowing a TAMER agent to converge faster.


title: Dimensionality Reduction of Complex Metastable Systems via Kernel Embeddings of Transition Manifolds

abstract: We present a novel kernel-based machine learning algorithm for identifying the low-dimensional geometry of the effective dynamics of high-dimensional multiscale stochastic systems. Recently, the authors developed a mathematical framework for the computation of optimal reaction coordinates of such systems that is based on learning a parametrization of a low-dimensional transition manifold in a certain function space. In this article, we enhance this approach by embedding and learning this transition manifold in a reproducing kernel Hilbert space, exploiting the favorable properties of kernel embeddings. Under mild assumptions on the kernel, the manifold structure is shown to be preserved under the embedding, and distortion bounds can be derived. This leads to a more robust and more efficient algorithm compared to previous parametrization approaches.


title: Query-Adaptive Hash Code Ranking for Large-Scale Multi-View Visual Search

abstract: Hash based nearest neighbor search has become attractive in many applications. However, the quantization in hashing usually degenerates the discriminative power when using Hamming distance ranking. Besides, for large-scale visual search, existing hashing methods cannot directly support the efficient search over the data with multiple sources, and while the literature has shown that adaptively incorporating complementary information from diverse sources or views can significantly boost the search performance. To address the problems, this paper proposes a novel and generic approach to building multiple hash tables with multiple views and generating fine-grained ranking results at bitwise and tablewise levels. For each hash table, a query-adaptive bitwise weighting is introduced to alleviate the quantization loss by simultaneously exploiting the quality of hash functions and their complement for nearest neighbor search. From the tablewise aspect, multiple hash tables are built for different data views as a joint index, over which a query-specific rank fusion is proposed to rerank all results from the bitwise ranking by diffusing in a graph. Comprehensive experiments on image search over three well-known benchmarks show that the proposed method achieves up to 17.11% and 20.28% performance gains on single and multiple table search over state-of-the-art methods.


title: On conflict-free chromatic guarding of simple polygons

abstract: We study the problem of colouring the vertices of a polygon, such that every viewer in it can see a unique colour. The goal is to minimise the number of colours used. This is also known as the conflict-free chromatic guarding problem with vertex guards, and is motivated, e.g., by the problem of radio frequency assignment to sensors placed at the polygon vertices. We first study the scenario in which viewers can be all points of the polygon (such as a mobile robot which moves in the interior of the polygon). We efficiently solve the related problem of minimising the number of guards and approximate (up to only an additive error) the number of colours required in the special case of polygons called funnels. Then we give an upper bound of O(log^2 n) colours on n-vertex weak visibility polygons, by decomposing the problem into sub-funnels. This bound generalises to all simple polygons. We briefly look also at the second scenario, in which the viewers are only the vertices of the polygon. We show a lower bound of 3 colours in the general case of simple polygons and conjecture that this is tight. We also prove that already deciding whether 1 or 2 colours are enough is NP-complete.


title: Asymptotic normality of generalized maximum spacing estimators for multivariate observations

abstract: In this paper, the maximum spacing method is considered for multivariate observations. Nearest neighbour balls are used as a multidimensional analogue to univariate spacings. A class of information-type measures is used to generalize the concept of maximum spacing estimators. Asymptotic normality of these generalized maximum spacing estimators is proved when the assigned model class is correct, that is the true density is a member of the model class.


title: Ontology-based Design of Experiments on Big Data Solutions

abstract: Big data solutions are designed to cope with data of huge Volume and wide Variety, that need to be ingested at high Velocity and have potential Veracity issues, challenging characteristics that are usually referred to as the "4Vs of Big Data". In order to evaluate possibly complex big data solutions, stress tests require to assess a large number of combinations of sub-components jointly with the possible big data variations. A formalization of the Design of Experiments (DoE) on big data solutions is aimed at ensuring the reproducibility of the experiments, facilitating their partitioning in sub-experiments and guaranteeing the consistency of their outcomes in a global assessment. In this paper, an ontology-based approach is proposed to support the evaluation of a big data system in two ways. Firstly, the approach formalizes a decomposition and recombination of the big data solution, allowing for the aggregation of component evaluation results at inter-component level. Secondly, existing work on DoE is translated into an ontology for supporting the selection of experiments. The proposed ontology-based approach offers the possibility to combine knowledge from the evaluation domain and the application domain. It exploits domain and inter-domain specific restrictions on the factor combinations in order to reduce the number of experiments. Contrary to existing approaches, the proposed use of ontologies is not limited to the assertional description and exploitation of past experiments but offers richer terminological descriptions for the development of a DoE from scratch. As an application example, a maritime big data solution to the problem of detecting and predicting vessel suspicious behaviour through mobility analysis is selected. The article is concluded with a sketch of future works.


title: Switchable out-of-plane polarization in two-dimensional LiAlTe$_2$

abstract: Covalent-polar semiconductors that show intrinsic two-dimensional (2D) vertical polarization present new device opportunities. These materials differ from ordinary ferroelectrics in that they are able to maintain polarization normal to a surface even with an unscreened depolarization field. Identifying phases that exhibit intrinsic 2D vertical polarization is an ongoing challenge. Here we report via computational material design the discovery of a new promising phase, specifically 2D LiAlTe$_2$. The design idea is developed from the physical understanding of three-dimensional hyperferroelectric covalent polar semiconductors. We used the structure determination method combining swarm intelligence algorithm and first-principles calculations to identify energetically stable structures. In addition to the expected layered version of bulk LiAlTe$_2$, $\beta$-LiAlTe$_2$, we find a novel 2D structure, $\gamma$-LiAlTe$_2$. In this phase, the vertical dipole can be switched between 0.07 and -0.11 e$\cdot$angstrom. This switching is triggered by the movement of Li atom between two local energy minima. The associated asymmetric double-well energy profile can be continuously tuned by the applied electric field as well as strain. There is, therefore, a reversible transition between two polar states. This discovered off-plane switchability provides an opportunity for the 2D $\gamma$-LiAlTe$_2$ based interfacial phase change memory device for example by growing $\gamma$-LiAlTe$_2$/GeTe heterostructures.


title: Influence Maximization With Deactivation In Social Networks

abstract: In this paper we consider an extension of the well-known Influence Maximization Problem in a social network which deals with finding a set of k nodes to initiate a diffusion process so that the total number of influenced nodes at the end of the process is maximized. The extension focuses on a competitive variant where two decision makers are involved. The first one, the leader, tries to maximize the total influence spread by selecting the most influential nodes and the second one, the follower, tries to minimize it by deactivating some of these nodes. The formulated bilevel model is solved by complete enumeration for small-sized instances and by a matheuristic for large-sized instances. In both cases, the lower level problem, which is a stochastic optimization problem, is approximated via the Sample Average Approximation method.


title: Conjugacy of Levi subgroups of reductive groups and a generalization to linear algebraic groups

abstract: We investigate Levi subgroups of a connected reductive algebraic group G, over a ground field K. We parametrize their conjugacy classes in terms of sets of simple roots and we prove that two Levi K-subgroups of G are rationally conjugate if and only if they are geometrically conjugate. These results are generalized to arbitrary connected linear algebraic K-groups. In that setting the appropriate analogue of a Levi subgroup is derived from the notion of a pseudo-parabolic subgroup.


title: Discriminative Online Learning for Fast Video Object Segmentation

abstract: We address the highly challenging problem of video object segmentation. Given only the initial mask, the task is to segment the target in the subsequent frames. In order to effectively handle appearance changes and similar background objects, a robust representation of the target is required. Previous approaches either rely on fine-tuning a segmentation network on the first frame, or employ generative appearance models. Although partially successful, these methods often suffer from impractically low frame rates or unsatisfactory robustness. We propose a novel approach, based on a dedicated target appearance model that is exclusively learned online to discriminate between the target and background image regions. Importantly, we design a specialized loss and customized optimization techniques to enable highly efficient online training. Our light-weight target model is integrated into a carefully designed segmentation network, trained offline to enhance the predictions generated by the target model. Extensive experiments are performed on three datasets. Our approach achieves an overall score of over 70 on YouTube-VOS, while operating at 25 frames per second.


title: Unsupervised Open Domain Recognition by Semantic Discrepancy Minimization

abstract: We address the unsupervised open domain recognition (UODR) problem, where categories in labeled source domain S is only a subset of those in unlabeled target domain T. The task is to correctly classify all samples in T including known and unknown categories. UODR is challenging due to the domain discrepancy, which becomes even harder to bridge when a large number of unknown categories exist in T. Moreover, the classification rules propagated by graph CNN (GCN) may be distracted by unknown categories and lack generalization capability. To measure the domain discrepancy for asymmetric label space between S and T, we propose Semantic-Guided Matching Discrepancy (SGMD), which first employs instance matching between S and T, and then the discrepancy is measured by a weighted feature distance between matched instances. We further design a limited balance constraint to achieve a more balanced classification output on known and unknown categories. We develop Unsupervised Open Domain Transfer Network (UODTN), which learns both the backbone classification network and GCN jointly by reducing the SGMD, enforcing the limited balance constraint and minimizing the classification loss on S. UODTN better preserves the semantic structure and enforces the consistency between the learned domain invariant visual features and the semantic embeddings. Experimental results show superiority of our method on recognizing images of both known and unknown categories.


title: Learning a No-Reference Quality Assessment Model of Enhanced Images With Big Data

abstract: In this paper we investigate into the problem of image quality assessment (IQA) and enhancement via machine learning. This issue has long attracted a wide range of attention in computational intelligence and image processing communities, since, for many practical applications, e.g. object detection and recognition, raw images are usually needed to be appropriately enhanced to raise the visual quality (e.g. visibility and contrast). In fact, proper enhancement can noticeably improve the quality of input images, even better than originally captured images which are generally thought to be of the best quality. In this work, we present two most important contributions. The first contribution is to develop a new no-reference (NR) IQA model. Given an image, our quality measure first extracts 17 features through analysis of contrast, sharpness, brightness and more, and then yields a measre of visual quality using a regression module, which is learned with big-data training samples that are much bigger than the size of relevant image datasets. Results of experiments on nine datasets validate the superiority and efficiency of our blind metric compared with typical state-of-the-art full-, reduced- and no-reference IQA methods. The second contribution is that a robust image enhancement framework is established based on quality optimization. For an input image, by the guidance of the proposed NR-IQA measure, we conduct histogram modification to successively rectify image brightness and contrast to a proper level. Thorough tests demonstrate that our framework can well enhance natural images, low-contrast images, low-light images and dehazed images. The source code will be released at https://sites.google.com/site/guke198701/publications.


title: Capturing information on curves and surfaces from their projected images

abstract: Obtaining complete information about the shape of an object by looking at it from a single direction is impossible in general. In this paper, we theoretically study obtaining differential geometric information of an object from orthogonal projections in a number of directions. We discuss relations between (1) a space curve and the projected curves from several distinct directions, and (2) a surface and the apparent contours of projections from several distinct directions, in terms of differential geometry and singularity theory. In particular, formulae for recovering certain information on the original curves or surfaces from their projected images are given.


title: DDLSTM: Dual-Domain LSTM for Cross-Dataset Action Recognition

abstract: Domain alignment in convolutional networks aims to learn the degree of layer-specific feature alignment beneficial to the joint learning of source and target datasets. While increasingly popular in convolutional networks, there have been no previous attempts to achieve domain alignment in recurrent networks. Similar to spatial features, both source and target domains are likely to exhibit temporal dependencies that can be jointly learnt and aligned. In this paper we introduce Dual-Domain LSTM (DDLSTM), an architecture that is able to learn temporal dependencies from two domains concurrently. It performs cross-contaminated batch normalisation on both input-to-hidden and hidden-to-hidden weights, and learns the parameters for cross-contamination, for both single-layer and multi-layer LSTM architectures. We evaluate DDLSTM on frame-level action recognition using three datasets, taking a pair at a time, and report an average increase in accuracy of 3.5%. The proposed DDLSTM architecture outperforms standard, fine-tuned, and batch-normalised LSTMs.


title: Some Approximation Properties of New Families of Positive Linear Operators

abstract: In the present article, we propose the new class positive linear operators, which discrete type depending on a real parameters. These operators are similar to Jain operators but its approximation properties are different then Jain operators. Theorems of degree of approximation, direct results, Voronovskaya Asymptotic formula and statistical convergence are discussed.


title: Slightly Compressible Forchheimer Flows in Rotating Porous Media

abstract: We formulate the the generalized Forchheimer equations for the three-dimensional fluid flows in rotating porous media. By implicitly solving the momentum in terms of the pressure's gradient, we derive a degenerate parabolic equation for the density in the case of slightly compressible fluids and study its corresponding initial, boundary value problem. We investigate the nonlinear structure of the parabolic equation. The maximum principle is proved and used to obtain the maximum estimates for the solution. Various estimates are established for the solution's gradient, in the Lebesgue norms of any order, in terms of the initial and boundary data. All estimates contain explicit dependence on key physical parameters including the angular speed.


title: ConvLab: Multi-Domain End-to-End Dialog System Platform

abstract: We present ConvLab, an open-source multi-domain end-to-end dialog system platform, that enables researchers to quickly set up experiments with reusable components and compare a large set of different approaches, ranging from conventional pipeline systems to end-to-end neural models, in common environments. ConvLab offers a set of fully annotated datasets and associated pre-trained reference models. As a showcase, we extend the MultiWOZ dataset with user dialog act annotations to train all component models and demonstrate how ConvLab makes it easy and effortless to conduct complicated experiments in multi-domain end-to-end dialog settings.


title: The perfect cone compactification of quotients of type IV domains

abstract: The perfect cone compactification is a toroidal compactification which can be defined for locally symmetric varieties. Let $\overline{D_{L}/\widetilde{O}^{+}(L)}^{p}$ be the perfect cone compactification of the quotient of the type IV domain $D_{L}$ associated to an even lattice $L$. In our main theorem we show that the pair ${ (\overline{D_{L}/\widetilde{O}^{+}(L)}^{p}, \Delta/2) }$ has klt singularities, where $\Delta$ is the closure of the branch divisor of ${ D_{L}/\widetilde{O}^{+}(L) }$. In particular this applies to the perfect cone compactification of the moduli space of $2d$-polarised $K3$ surfaces with ADE singularities when $d$ is square-free.


title: The Zilch Electromagnetic Conservation Law Revisited

abstract: It is shown that the zilch conservation law arises as the Noether current corresponding to a variational symmetry of a duality-symmetric Maxwell Lagrangian. The action of the corresponding symmetry generator on the duality-symmetric Lagrangian, while non-vanishing, is a total divergence as required by the Noether theory. The variational nature of the zilch conservation law was previously known only for some of the components of the zilch tensor, notably the optical chirality. By contrast, our analysis is fully covariant and is therefore valid for all components of the zilch tensor. The analysis is presented here for both real and complex versions of duality-symmetric Maxwell Lagrangians.


title: Axially-Symmetric Exact Solutions for Flagpole Fermions with Gravity

abstract: The Lounesto classification splits spinors in six classes: I, II, III are those for which at least one among scalar and pseudo-scalar bi-linear spinor quantities is non-zero, its spinors are called regular, and among them we find the usual Dirac spinor. IV, V, VI are those for which the scalar and pseudo-scalar bi-linear spinor quantities are identically zero, its spinors are called singular, and they are split in further sub-classes: IV has no further restrictions, its spinors are called flag-dipole; V is the one for which the spin axial-vector vanishes, its spinors are called flagpole, and among them we find the Majorana spinor; VI is the one for which the momentum antisymmetric-tensor vanishes, its spinors are called dipole, and among them we find the Weyl spinor. In the quest for exact solutions of fully-coupled systems of spinor fields in their own gravity, we have already given examples in the case of Dirac fields and Weyl fields but never in the case of Majorana or more generally flagpole spinor fields. Flagpole spinor fields in interaction with their own gravitational field, in the case of axial symmetry, will be considered. Exact solutions of the field equations will be given.


title: Doping Tests for Cyber-Physical Systems

abstract: The software running in embedded or cyber-physical systems (CPS) is typically of proprietary nature, so users do not know precisely what the systems they own are (in)capable of doing. Most malfunctionings of such systems are not intended by the manufacturer, but some are, which means these cannot be classified as bugs or security loopholes. The most prominent examples have become public in the diesel emissions scandal, where millions of cars were found to be equipped with software violating the law, altogether polluting the environment and putting human health at risk. The behaviour of the software embedded in these cars was intended by the manufacturer, but it was not in the interest of society, a phenomenon that has been called software doping. Doped software is significantly different from buggy or insecure software and hence it is not possible to use classical verification and testing techniques to discover and mitigate software doping. The work presented in this paper builds on existing definitions of software doping and lays the theoretical foundations for conducting software doping tests, so as to enable attacking evil manufacturers. The complex nature of software doping makes it very hard to effectuate doping tests in practice. We explain the biggest challenges and provide efficient solutions to realise doping tests despite this complexity.


title: Pointwise summability of Fourier-Laguerre series of integrable functions

abstract: We present an approximation version of the results of D. P. Gupta [ J. of Approx. Theory, 7 (1973), 226-238] A. N. S. Singroura [Proc. Japan Acad., 39 (4) (1963), 208-210] and G. Szeg\"{o} [Math. Z., 25 (1926), 87-115]. Some corollaries and examples will also be given.


title: Real-Time Style Transfer With Strength Control

abstract: Style transfer is a problem of rendering a content image in the style of another style image. A natural and common practical task in applications of style transfer is to adjust the strength of stylization. Algorithm of Gatys et al. (2016) provides this ability by changing the weighting factors of content and style losses but is computationally inefficient. Real-time style transfer introduced by Johnson et al. (2016) enables fast stylization of any image by passing it through a pre-trained transformer network. Although fast, this architecture is not able to continuously adjust style strength. We propose an extension to real-time style transfer that allows direct control of style strength at inference, still requiring only a single transformer network. We conduct qualitative and quantitative experiments that demonstrate that the proposed method is capable of smooth stylization strength control and removes certain stylization artifacts appearing in the original real-time style transfer method. Comparisons with alternative real-time style transfer algorithms, capable of adjusting stylization strength, show that our method reproduces style with more details.


title: Relative $\mathbb{A}^1$-homology and its applications

abstract: In this paper, we prove an $\mathbb{A}^1$-homology version of the Whitehead theorem with dimension bound. We also prove an excision theorem for $\mathbb{A}^1$-homology, Suslin homology and $\mathbb{A}^1$-homotopy sheaves. In order to prove these results, we develop a general theory of relative $\mathbb{A}^1$-homology and $\mathbb{A}^1$-homotopy sheaves. As an application, we compute the relative $\mathbb{A}^1$-homology of a hyperplane embedding $\mathbb{P}^{n-1} \hookrightarrow \mathbb{P}^{n}$.


title: Tex2Shape: Detailed Full Human Body Geometry From a Single Image

abstract: We present a simple yet effective method to infer detailed full human body shape from only a single photograph. Our model can infer full-body shape including face, hair, and clothing including wrinkles at interactive frame-rates. Results feature details even on parts that are occluded in the input image. Our main idea is to turn shape regression into an aligned image-to-image translation problem. The input to our method is a partial texture map of the visible region obtained from off-the-shelf methods. From a partial texture, we estimate detailed normal and vector displacement maps, which can be applied to a low-resolution smooth body model to add detail and clothing. Despite being trained purely with synthetic data, our model generalizes well to real-world photographs. Numerous results demonstrate the versatility and robustness of our method.


title: Approaching Cusick's conjecture on the sum-of-digits function

abstract: Cusick's conjecture on the binary sum of digits $s(n)$ of a nonnegative integer $n$ states the following: for all nonnegative integers $t$ we have \[ c_t=\lim_{N\rightarrow\infty}\frac 1N\left\lvert\{n<N:s(n+t)\geq s(n)\}\right\rvert>1/2. \] We prove that for given $\varepsilon>0$ we have \[ c_t+c_{t'}>1-\varepsilon \] if the binary expansion of $t$ contains enough blocks of consecutive $\mathtt 1$s (depending on $\varepsilon$), where $t'=3\cdot 2^\lambda-t$ and $\lambda$ is chosen such that $2^\lambda\leq t<2^{\lambda+1}$.


title: Uniqueness and Non-Degeneracy of Minimizers of the Pekar Functional on a Ball

abstract: We consider the Pekar functional on a ball in R^3. We prove uniqueness of minimizers, and a quadratic lower bound in terms of the distance to the minimizer. The latter follows from non-degeneracy of the Hessian at the minimum.


title: The lubricity of mucin solutions is robust toward changes in physiological conditions

abstract: Solutions of manually purified gastric mucins have been shown to be promising lubricants for biomedical purposes, where they can efficiently reduce friction and wear. However, so far, such mucin solutions have been mostly tested in specific settings, and variations in the composition of the lubricating fluid have not been systematically explored. We here fill this gap and determine the viscosity, adsorption behavior, and lubricity of porcine gastric mucin solutions on hydrophobic surfaces at different pH levels, mucin and salt concentrations and in the presence of other proteins. We demonstrate that mucin solutions provide excellent lubricity even at very low concentrations of 0.01 % (w/v), over a broad range of pH levels and even at elevated ionic strength. Furthermore, we provide mechanistic insights into mucin lubricity, which help explain how certain variations in physiologically relevant parameters can limit the lubricating potential of mucin solutions. Our results motivate that solutions of manually purified mucin solutions can be powerful biomedical lubricants, e.g. serving as eye drops, mouth sprays or as a personal lubricant for intercourse.


title: Many-body perturbation theory and fluctuation relations for interacting population dynamics

abstract: Population dynamics deals with the collective phenomena of living organisms, and it has attracted much attention since it is expected to explain how not only living organisms but also human beings have been adapted to varying environments. However, it is quite difficult to insist on a general statement on living organisms since mathematical models heavily depend on phenomena that we focus on. Recently it was reported that the fluctuation relations on the fitness of living organisms held for a quite general problem setting. But, interactions between organisms were not incorporated in the problem setting, though interaction plays critical roles in collective phenomena in physics and population dynamics. In this paper, we propose interacting models for population dynamics and provide the perturbative theory of population dynamics. Then, we derive the variational principle and fluctuation relations for interacting population dynamics.


title: Efficient Techniques for Shape Optimization with Variational Inequalities using Adjoints

abstract: In general, standard necessary optimality conditions cannot be formulated in a straightforward manner for semi-smooth shape optimization problems. In this paper, we consider shape optimization problems constrained by variational inequalities of the first kind, so-called obstacle-type problems. Under appropriate assumptions, we prove existence of adjoints for regularized problems and convergence to limiting objects of the unregularized problem. Moreover, we derive existence and closed form of shape derivatives for the regularized problem and prove convergence to a limit object. Based on this analysis, an efficient optimization algorithm is devised and tested numerically.


title: The hafnian of Toeplitz matrices of a special type, perfect matchings and Bessel polynomials

abstract: We present a simple and convenient analytical formula for efficient exact computation of the hafnian of Toeplitz matrices of a special type. An interpretation of the obtained results is given in the language of perfect matchings and Bessel polynomials.


title: Medium Modification of Charm Production in Relativistic Heavy Ion Collisions due to Pre-equilibrium Dynamics of Partons at $\sqrt{s_{\textrm {NN}}}$= 0.2--5.02 TeV

abstract: We study the production dynamics of charm quarks in the parton cascade model for relativistic heavy ion collisions at RHIC and LHC energies. The model is eminently suited for a study of the pre-equilibrium dynamics of charm quarks at modest transverse momenta. The treatment is motivated by QCD parton picture and describes the dynamics of an ultra-relativistic heavy-ion collision in terms of cascading partons which undergo scattering and multiplication while propagating. We find considerable suppression of charm quarks production in $AA$ collisions compared to those for $pp$ collisions at the same $\sqrt{s_{\text {NN}}}$ scaled by number of collisions. This may be important for an accurate determination of energy loss suffered by charm quarks while traversing the thermalized quark gluon plasma.


title: Fooling automated surveillance cameras: adversarial patches to attack person detection

abstract: Adversarial attacks on machine learning models have seen increasing interest in the past years. By making only subtle changes to the input of a convolutional neural network, the output of the network can be swayed to output a completely different result. The first attacks did this by changing pixel values of an input image slightly to fool a classifier to output the wrong class. Other approaches have tried to learn "patches" that can be applied to an object to fool detectors and classifiers. Some of these approaches have also shown that these attacks are feasible in the real-world, i.e. by modifying an object and filming it with a video camera. However, all of these approaches target classes that contain almost no intra-class variety (e.g. stop signs). The known structure of the object is then used to generate an adversarial patch on top of it. In this paper, we present an approach to generate adversarial patches to targets with lots of intra-class variety, namely persons. The goal is to generate a patch that is able successfully hide a person from a person detector. An attack that could for instance be used maliciously to circumvent surveillance systems, intruders can sneak around undetected by holding a small cardboard plate in front of their body aimed towards the surveillance camera. From our results we can see that our system is able significantly lower the accuracy of a person detector. Our approach also functions well in real-life scenarios where the patch is filmed by a camera. To the best of our knowledge we are the first to attempt this kind of attack on targets with a high level of intra-class variety like persons.


title: Analytical Methods for Interpretable Ultradense Word Embeddings

abstract: Word embeddings are useful for a wide variety of tasks, but they lack interpretability. By rotating word spaces, interpretable dimensions can be identified while preserving the information contained in the embeddings without any loss. In this work, we investigate three methods for making word spaces interpretable by rotation: Densifier (Rothe et al., 2016), linear SVMs and DensRay, a new method we propose. In contrast to Densifier, DensRay can be computed in closed form, is hyperparameter-free and thus more robust than Densifier. We evaluate the three methods on lexicon induction and set-based word analogy. In addition we provide qualitative insights as to how interpretable word spaces can be used for removing gender bias from embeddings.


title: Fully Automatic Segmentation of 3D Brain Ultrasound: Learning from Coarse Annotations

abstract: Intra-operative ultrasound is an increasingly important imaging modality in neurosurgery. However, manual interaction with imaging data during the procedures, for example to select landmarks or perform segmentation, is difficult and can be time consuming. Yet, as registration to other imaging modalities is required in most cases, some annotation is necessary. We propose a segmentation method based on DeepVNet and specifically evaluate the integration of pre-training with simulated ultrasound sweeps to improve automatic segmentation and enable a fully automatic initialization of registration. In this view, we show that despite training on coarse and incomplete semi-automatic annotations, our approach is able to capture the desired superficial structures such as \textit{sulci}, the \textit{cerebellar tentorium}, and the \textit{falx cerebri}. We perform a five-fold cross-validation on the publicly available RESECT dataset. Trained on the dataset alone, we report a Dice and Jaccard coefficient of $0.45 \pm 0.09$ and $0.30 \pm 0.07$ respectively, as well as an average distance of $0.78 \pm 0.36~mm$. With the suggested pre-training, we computed a Dice and Jaccard coefficient of $0.47 \pm 0.10$ and $0.31 \pm 0.08$, and an average distance of $0.71 \pm 0.38~mm$. The qualitative evaluation suggest that with pre-training the network can learn to generalize better and provide refined and more complete segmentations in comparison to incomplete annotations provided as input.


title: Maximal co-cliques in the Kneser graph on plane-solid flags in $PG(6,q)$

abstract: For $q>27$ we determine the independence number $\alpha(\Gamma)$ of the Kneser graph $\Gamma$ on plane-solid flags in $PG(6,q)$. More precisely we describe all maximal independent sets of size at least $q^{11}$ and show that every other maximal example has cardinality at most a constant times $q^{10}$.


title: Distribution of velocities in an avalanche, and related quantities: Theory and numerical verification

abstract: We study several probability distributions relevant to the avalanche dynamics of elastic interfaces driven on a random substrate: The distribution of size, duration, lateral extension or area, as well as velocities. Results from the functional renormalization group and scaling relations involving two independent exponents, roughness $\zeta$, and dynamics $z$, are confronted to high-precision numerical simulations of an elastic line with short-range elasticity, i.e. of internal dimension $d=1$. The latter are based on a novel stochastic algorithm which generates its disorder on the fly. Its precision grows linearly in the time-discretization step, and it is parallelizable. Our results show good agreement between theory and numerics, both for the critical exponents as for the scaling functions. In particular, the prediction ${\sf a} = 2 - \frac{2}{d+ \zeta - z}$ for the velocity exponent is confirmed with good accuracy.


title: Batch Tournament Selection for Genetic Programming

abstract: Lexicase selection achieves very good solution quality by introducing ordered test cases. However, the computational complexity of lexicase selection can prohibit its use in many applications. In this paper, we introduce Batch Tournament Selection (BTS), a hybrid of tournament and lexicase selection which is approximately one order of magnitude faster than lexicase selection while achieving a competitive quality of solutions. Tests on a number of regression datasets show that BTS compares well with lexicase selection in terms of mean absolute error while having a speed-up of up to 25 times. Surprisingly, BTS and lexicase selection have almost no difference in both diversity and performance. This reveals that batches and ordered test cases are completely different mechanisms which share the same general principle fostering the specialization of individuals. This work introduces an efficient algorithm that sheds light onto the main principles behind the success of lexicase, potentially opening up a new range of possibilities for algorithms to come.


title: Few-body systems in Minkowski space: the Bethe-Salpeter Equation challenge

abstract: Solving the homogeneous Bethe-Salpeter equation directly in Minkowski space is becoming a very alive field, since, in recent years, a new approach has been introduced, and the reachable results can be potentially useful in various areas of research, as soon as the relativistic description of few-body bound systems is relevant. A brief review of the status of the novel approach, which benefits from the consistent efforts of different groups, will be presented, together with some recent results.


title: The Fornax Deep Survey (FDS) with VST. VI. Optical properties of the dwarf galaxies in the Fornax cluster

abstract: The Fornax Deep Survey Dwarf galaxy Catalog (FDSDC) includes 564 dwarf galaxies in the Fornax cluster and the in-falling Fornax A subgroup. We use the FDSDC galaxies for statistical analysis of the structural and stellar population differences in the range of galactic environments within the Fornax cluster. We present the standard scaling relations for the dwarfs and analyze trends as a function of cluster-centric radius. We find a different behavior for the bright dwarfs (-18.5 mag < M$_r$ < -16 mag) as compared to the fainter ones (M$_r$ > -16 mag): While considering galaxies in the same magnitude-bins, we find that, while for fainter dwarfs the g'-r' color is redder for lower surface brightness objects (as expected from fading stellar populations), for brighter dwarfs the color is redder for the higher surface brightness and higher S\'ersic n objects. The trend of the bright dwarfs might be explained by those galaxies being affected by harassment and by slower quenching of star formation in their inner parts. As the fraction of early-type dwarfs with respect to late-types increases toward the central parts of the cluster, the color-surface brightness trends are also manifested in the cluster-centric trends, confirming that it is indeed the environment that changes the galaxies. We also estimate the strengths of the ram-pressure stripping, tidal disruption, and harassment in the Fornax cluster, and find that our observations are consistent with the theoretically expected ranges of galaxy properties where each of those mechanisms dominate. We furthermore find that the luminosity function, color-magnitude relation, and axis-ratio distribution of the dwarfs in the center of the Fornax cluster are similar to those in the center of the Virgo cluster.


title: An extremal problem for integer sparse recovery

abstract: Motivated by the problem of integer sparse recovery we study the following question. Let $A$ be an $m \times d$ integer matrix whose entries are in absolute value at most $k$. How large can be $d=d(m,k)$ if all $m \times m$ submatrices of $A$ are non-degenerate? We obtain new upper and lower bounds on $d$ and answer a special case of the problem by Brass, Moser and Pach on covering $m$-dimensional $k \times \cdots\times k$ grid by linear subspaces.


title: A proof of the Hasse-Weil inequality for genus 2 \`a la Manin

abstract: We prove the Hasse-Weil inequality for genus 2 curves given by an equation of the form y^2 = f(x) with f a polynomial of degree 5, using arguments that mimic the elementary proof of the genus 1 case obtained by Yu. I. Manin in 1956.


title: Field-angle-resolved landscape of non-Fermi-liquid behavior in the quasi-kagome Kondo Lattice CeRhSn

abstract: We have employed a magnetic field angle as a tuning parameter in a comprehensive measurement of the specific heat, magnetocaloric effect, and magnetization for the quasi-kagome Kondo lattice CeRhSn, which is considered to exhibit zero-field quantum criticality driven by geometrical frustration. By constructing the field-angle-resolved landscape of the entropy, we unexpectedly revealed that the non-Fermi-liquid nature survives up to a metamagnetic crossover field of roughly 3 T in the very narrow field-orientation range, close to the direction parallel to the quasi-kagome plane. We propose that spin fluctuations along the hexagonal $c$ axis are the dominant driving force for the non-Fermi-liquid behavior because it is strongly suppressed by a magnetic-field component along the $c$ axis. The multidimensional entropy landscape, which directly reflects the degeneracy of ground states, opens a new route for uncovering the nature of exotic phases in anisotropic systems.


title: On equivalence of third order linear differential operators on two-dimensional manifolds

abstract: We study differential invariants of the third order linear differential operators and use them to find conditions for equivalence of differential operators acting in line bundles on two dimensional manifolds with respect to groups of authomorphisms.


title: Water-based and Inkjet Printable Inks made by Electrochemically Exfoliated Graphene

abstract: Inkjet printable graphene inks are very attractive for applications in flexible and foldable electronics, such as wearable electronics and the Internet of Things. However, the ink preparation is still very time consuming as high concentrations can be achieved only with prolonged sonication (>24 hours) or with expensive setups. Here we demonstrate a water-based inkjet printable ink made from electrochemically exfoliated graphene. A printable and stable (> 1 month) ink with concentration of ~2.25 mg mL-1 was formulated in less than 5 hrs, using two successive steps: first exfoliation and dispersion of large graphene flakes (> 5 um) followed by 1 hour tip-sonication to reduce the flake size below 1 um, as required for the material to be ejected by the nozzle. The formulated ink contains more than 75% single- and few-layers (i.e. less than 2 nm in thickness) graphene flakes with an average lateral size of 740 nm. Thermal annealing allows to achieve high C/O ratio (>10), which translates into one of the highest electrical conductivity (~3.91 x 104 S m-1) reported so far for solution-processed graphene, without the use of any harsh chemical processing.


title: Exponential Quadratic BSDEs with infinite activity Jumps

abstract: In this paper, we study a Backward Stochastic Differential Equation with Jumps (BSDEJs in short) where the jumps have infinite activity. Following a forward approach based on Exponential Quadratic semimartingale, we prove the existence of solution of Quadratic BSDEJs with unbounded terminal condition and quadratic growth in z.


title: Convergence of metadynamics: discussion of the adiabatic hypothesis

abstract: By drawing a parallel between metadynamics and self interacting models for polymers, we study the longtime convergence of the original metadynamics algorithm in the adiabatic setting, namely when the dynamics along the collective variables decouples from the dynamics along the other degrees of freedom. We also discuss the bias which is introduced when the adiabatic assumption does not holds.


title: An Efficient Approximate kNN Graph Method for Diffusion on Image Retrieval

abstract: The application of the diffusion in many computer vision and artificial intelligence projects has been shown to give excellent improvements in performance. One of the main bottlenecks of this technique is the quadratic growth of the kNN graph size due to the high-quantity of new connections between nodes in the graph, resulting in long computation times. Several strategies have been proposed to address this, but none are effective and efficient. Our novel technique, based on LSH projections, obtains the same performance as the exact kNN graph after diffusion, but in less time (approximately 18 times faster on a dataset of a hundred thousand images). The proposed method was validated and compared with other state-of-the-art on several public image datasets, including Oxford5k, Paris6k, and Oxford105k.


title: Spaces of max-min measures on compact Hausdorff spaces

abstract: The notion of max-min measure is a counterpart of the notion of max-plus measure (Maslov measure or idempotent measure). In this paper we consider the spaces of max-min measures on the compact Hausdorff spaces. It is proved that the obtained functor of max-min measures is isomorphic to the functor of max-plus (idempotent) measures considered by the second-named author. However, it turns out that the monads generated by these functors are not isomorphic.


title: A transient phase in cosmological evolution : A multi-fluid approximation for a quasi-thermodynamics equilibrium

abstract: This article presents the study of a multi-species fluid characterised by a freeze-out or break-away of one or more species. Whereas single-fluid approximation suffices for modelling of the pre {\it freeze-out} period, multi-fluid approximation is required for the post freeze-out period. Embedded in this is a transition period where neither one of the two approximations is singly appropriate. We examine the thermodynamics of this fluid and find that the second law holds before, during and after the freeze-out. Our application to cosmological modelling involving interacting dark-section species indicates that the species' equations of state are modified.


title: Coupled Learning for Facial Deblur

abstract: Blur in facial images significantly impedes the efficiency of recognition approaches. However, most existing blind deconvolution methods cannot generate satisfactory results due to their dependence on strong edges, which are sufficient in natural images but not in facial images. In this paper, we represent point spread functions (PSFs) by the linear combination of a set of pre-defined orthogonal PSFs, and similarly, an estimated intrinsic (EI) sharp face image is represented by the linear combination of a set of pre-defined orthogonal face images. In doing so, PSF and EI estimation is simplified to discovering two sets of linear combination coefficients, which are simultaneously found by our proposed coupled learning algorithm. To make our method robust to different types of blurry face images, we generate several candidate PSFs and EIs for a test image, and then, a non-blind deconvolution method is adopted to generate more EIs by those candidate PSFs. Finally, we deploy a blind image quality assessment metric to automatically select the optimal EI. Thorough experiments on the facial recognition technology database, extended Yale face database B, CMU pose, illumination, and expression (PIE) database, and face recognition grand challenge database version 2.0 demonstrate that the proposed approach effectively restores intrinsic sharp face images and, consequently, improves the performance of face recognition.


title: On models for the estimation of the excess mortality hazard in case of insufficiently stratified life tables

abstract: In cancer epidemiology using population-based data, regression models for the excess mortality hazard is a useful method to estimate cancer survival and to describe the association between prognosis factors and excess mortality. This method requires expected mortality rates from general population life tables: each cancer patient is assigned an expected (background) mortality rate obtained from the life tables, typically at least according to their age and sex, from the population they belong to. However, those life tables may be insufficiently stratified, as some characteristics such as deprivation, ethnicity, and comorbidities, are not available in the life tables for a number of countries. This may affect the background mortality rate allocated to each patient, and it has been shown that not including relevant information for assigning an expected mortality rate to each patient induces a bias in the estimation of the regression parameters of the excess hazard model. We propose two parametric corrections in excess hazard regression models, including a single-parameter or a random effect (frailty), to account for possible mismatches in the life table and thus misspecification of the background mortality rate. In an extensive simulation study, the good statistical performance of the proposed approach is demonstrated, and we illustrate their use on real population-based data of lung cancer patients. We present conditions and limitations of these methods, and provide some recommendations for their use in practice.


title: Magnetic field generation from a coil-shaped foil by a laser-triggered hot-electron current

abstract: A strong electron current triggered by a femtosecond relativistically intense laser pulse in a foil coil-like target is shown to be able to generate a solenoidal-type extremely strong magnetic field. The magnetic field lifetime sufficiently exceeds the laser pulse duration and is defined mainly by the target properties. The process of the magnetic field generation was studied with 3D PIC simulations. It is demonstrated that the pulse and the target parameters allow controlling the field strength and duration. The scheme studied is of great importance for laser-based magnetization technologies.


title: Stainless steel tank production and tests for the JSNS$^2$ neutrino detector

abstract: This paper describes the design and the construction of the stainless steel tank of the JSNS$^2$ detector. The leakage was examined using water and gas after the construction. The new sealing technique with liquid gasket was developed, and its sealing capability was evaluated quantitatively. The result shows over 5 times better value than the tolerance level of leakage.The acceleration measurement during the transportation of the tank shows adequate robustness.These tests prove that the stainless steel tank is feasible to use the real experiment.


title: A trio of heteroclinic bifurcations arising from a model of spatially-extended Rock-Paper-Scissors

abstract: One of the simplest examples of a robust heteroclinic cycle involves three saddle equilibria: each one is unstable to the next in turn, and connections from one to the next occur within invariant subspaces. Such a situation can be described by a third-order ordinary differential equation (ODE), and typical trajectories approach each equilibrium point in turn, spending progressively longer to cycle around the three points but never stopping. This cycle has been invoked as a model of cyclic competition between populations adopting three strategies, characterised as Rock, Paper and Scissors. When spatial distribution and mobility of the populations is taken into account, waves of Rock can invade regions of Scissors, only to be invaded by Paper in turn. The dynamics is described by a set of partial differential equations (PDEs) that has travelling wave (in one dimension) and spiral (in two dimensions) solutions. In this paper, we explore how the robust heteroclinic cycle in the ODE manifests itself in the PDEs. Taking the wavespeed as a parameter, and moving into a travelling frame, the PDEs reduce to a sixth-order set of ODEs, in which travelling waves are created in a Hopf bifurcation and are destroyed in three different heteroclinic bifurcations, depending on parameters, as the travelling wave approaches the heteroclinic cycle. We explore the three different heteroclinic bifurcations, none of which have been observed in the context of robust heteroclinic cycles previously. These results are an important step towards a full understanding of the spiral patterns found in two dimensions, with possible application to travelling waves and spirals in other population dynamics models.


title: The Euler equations in a critical case of the generalized Campanato space

abstract: In this paper we prove local in time well-posedness for the incompressible Euler equations in $\Bbb R^n$ for the initial data in $\mathscr {L}^{ 1}_{ 1(1)}(\mathbb {R}^{n}) $, which corresponds to a critical case of the generalized Campanato spaces $ \mathscr {L}^{ s}_{ q(N)}(\mathbb {R}^{n})$. The space is studied extensively in our companion paper\cite{trans}, and in the critical case we have embeddings $ B^{1}_{\infty, 1} (\Bbb R^n) \hookrightarrow \mathscr {L}^{ 1}_{ 1(1)}(\mathbb {R}^{n}) \hookrightarrow C^{0, 1} (\Bbb R^n)$, where $B^{1}_{\infty, 1} (\Bbb R^n)$ and $ C^{0, 1} (\Bbb R^n)$ are the Besov space and the Lipschitz space respectively. In particular $\mathscr {L}^{ 1}_{ 1(1)}(\mathbb {R}^{n}) $ contains non-$C^1(\Bbb R^n)$ functions as well as linearly growing functions at spatial infinity. We can also construct a class of simple initial velocity belonging to $ \mathscr {L}^{ 1}_{ 1(1)}(\mathbb {R}^{n})$, for which the solution to the Euler equations blows up in finite time.


title: Emergence of hydrodynamical behavior in expanding quark-gluon plasmas

abstract: We use a set of simple angular moments to solve the Boltzmann equation in the relaxation time approximation for a boost invariant longitudinally expanding gluonic plasma. The transition from the free streaming regime at early time to the hydrodynamic regime at late time is well captured by the first two-moments, corresponding to the monopole and quadrupole components of the momentum distribution, or equivalently to the energy density and the difference between the longitudinal and the transverse pressures. We relate this property to the existence of fixed points in the infinite hierarchy of equations satisfied by the moments. These fixed points are already present in the two-moment truncations and are only moderately affected by the coupling to higher moments. Collisions contribute to a damping of all the non trivial moments. At late time, when the hydrodynamic regime is entered, only the monopole and quadrupole moments are significant and remain strongly coupled, the decay of the quadrupole moment being delayed by the expansion, causing in turn a delay in the full isotropization of the system. The two-moment truncation contains second order viscous hydrodynamics, in its various variants, and third order hydrodynamics, together with explicit values of the relevant transport coefficients, can be easily obtained from the three-moment truncation.