title: Existence, Uniqueness and Regularity of Piezoelectric Partial Differential Equations

abstract: Piezoelectric appliances have become hugely important in the past century and computer simulations play an essential part in the modern design process thereof. While much work has been invested into the practical simulation of piezoelectric ceramics there still remain open questions regarding the partial differential equations governing the piezoceramics. The piezoelectric behavior of many piezoceramics can be described by a second order coupled partial differential equation system. This consists of an equation of motion for the mechanical displacement in three dimensions and a coupled electrostatic equation for the electric potential. Furthermore, an additional Rayleigh damping approach makes sure that a more realistic model is considered. In this work we analyze existence, uniqueness and regularity of solutions to theses equations and give a result concerning the long-term behavior. The well-posedness of the initial boundary value problem in a bounded domain with sufficiently smooth boundary is proved by Galerkin approximation in the discretized weak version, followed by an energy estimation using Gronwall inequality and using the weak limit to show the results in the infinite dimensional space. Initial conditions are given for the mechanical displacement and the velocity.


title: Radiative-equilibrium model of Jupiter's atmosphere and application to estimating stratospheric circulations

abstract: We present a computationally efficient 1-D seasonal radiative model, with convective adjustment, of Jupiter's atmosphere. Our model takes into account radiative forcings from the main hydrocarbons (methane, ethane, acetylene), ammonia, collision-induced absorption, four cloud and haze layers (including a UV-absorbing "polar" stratospheric haze) and an internal heat flux. We detail sensitivity studies of the equilibrium temperature profile to several parameters. We discuss the expected seasonal, vertical and meridional thermal structure and compare it to that derived from Cassini and ground-based thermal infrared observations. We find that the equilibrium temperature in the 5-30 mbar pressure range is very sensitive to the chosen stratospheric haze optical properties, sizes and number of monomers. The polar haze can significantly warm the lower stratosphere (10-30 mbar) by up to 20K at latitudes 45-60{\deg}. At pressures lower than 3 mbar, our modeled temperatures systematically underestimate the observed ones by 5K. This might suggest that other processes, such as dynamical heating by wave breaking or by eddies, or a coupling with thermospheric circulation, play an important role. In the troposphere, we can only match the observed lack of meridional gradient of temperature by varying the internal heat flux with latitude. We then exploit knowledge of heating and cooling rates to diagnose the residual-mean circulation in Jupiter's stratosphere, under the assumption that the eddy heat flux convergence term is negligible. In the lower stratosphere (5-30 mbar), the residual-mean circulation strongly depends on the assumed properties of the stratospheric haze. Our main conclusion is that it is crucial to improve our knowledge on the radiative forcing terms to increase our confidence in the estimated circulation. By extension, this will also be crucial for future 3D GCM studies.


title: Identifying Algorithm Names in Code Comments

abstract: For recent machine-learning-based tasks like API sequence generation, comment generation, and document generation, large amount of data is needed. When software developers implement algorithms in code, we find that they often mention algorithm names in code comments. Code annotated with such algorithm names can be valuable data sources. In this paper, we propose an automatic method of algorithm name identification. The key idea is extracting important N-gram words containing the word `algorithm' in the last. We also consider part of speech patterns to derive rules for appropriate algorithm name identification. The result of our rule evaluation produced high precision and recall values (more than 0.70). We apply our rules to extract algorithm names in a large amount of comments from active FLOSS projects written in seven programming languages, C, C++, Java, JavaScript, Python, PHP, and Ruby, and report commonly mentioned algorithm names in code comments.


title: Constraining FIMP from the structure formation of the Universe: analytic mapping from $m_{\mathrm{WDM}}$

abstract: A feebly interacting massive particle (FIMP), contrasting with a weakly interacting massive particle (WIMP), is an intriguing dark matter (DM) candidate. Light (keV-scale) FIMP DM is of particular interest: its radiative decay leaves a line signal in x-ray spectra; and it is warm dark matter (WDM) and alters the galactic-scale structure formation of the Universe from that with WIMP DM. Once a possible x-ray line is reported (e.g., $3.5 \,\mathrm{keV}$ line and $7 \,\mathrm{keV}$ FIMP DM is inferred), one has to check whether or not this FIMP DM is compatible with the structure formation. Here is an issue: the structure formation constraint on WDM is often reported in terms of the so-called thermal WDM mass $m_{\mathrm{WDM}}$, which cannot be directly applied to FIMP parameters. In this paper, we introduce a benchmark FIMP model that represents well a broad class of FIMP models. A big advantage of this benchmark is that we can derive the analytic formula of the non-thermal phase space distribution of FIMPs produced from freeze-in processes. By further deriving a certain "warmness" quantity, we can analytically map $m_{\mathrm{WDM}}$ to FIMP parameters. Our analytic map indicates that $7 \,\mathrm{keV}$ FIMP DM, without entropy production or a degenerate spectrum, is in tension with the latest Lyman-$\alpha$ forest data. Our analytic map will be very useful for future updates of observational constraints and reports of x-ray lines. It is also very easy to incorporate our analytic formula into a Boltzmann solver so that a linear matter power spectrum is readily accessible. Our benchmark model will facilitate FIMP searches and particle physics model-building.


title: The maximum length of $K_r$-Bootstrap Percolation

abstract: Graph-bootstrap percolation, also known as weak saturation, was introduced by Bollob\'as in 1968. In this process, we start with initial "infected" set of edges $E_0$, and we infect new edges according to a predetermined rule. Given a graph $H$ and a set of previously infected edges $E_t\subseteq E(K_n)$, we infect a non-infected edge $e$ if it completes a new copy of $H$ in $G=([n],E_t\cup e)$. A question raised by Bollob\'as asks for the maximum time the process can run before it stabilizes. Bollob\'as, Przykucki, Riordan, and Sahasrabudhe considered this problem for the most natural case where $H=K_r$. They answered the question for $r\leq 4$ and gave a non-trivial lower bound for every $r\geq 5$. They also conjectured that the maximal running time is $o(n^2)$ for every integer $r$. In this paper we disprove their conjecture for every $r\geq 6$ and we give a better lower bound for the case $r=5$; in the proof we use the Behrend construction.


title: Allowed $\beta$-decay spectrum with numerical electron wave functions

abstract: Using numerical electron wave functions and state-of-the-art nuclear many-body methods, I evaluate the $\beta$-decay spectra for typical decay channels of spherical nuclei. I check errors brought by various approximations used for deriving the analytical shape factors (the so-called Fermi Function) of allowed decay. I estimate the errors brought by different electric charge distributions and give a way of estimation of $\beta$-spectra with available decay data of specific nuclei. I found that the traditional ways of approximating the electron wave functions by Fermi Function could be a very severe source of error for spectra simulation.


title: Riesz bases of exponentials for convex polytopes with symmetric faces

abstract: We prove that for any convex polytope $\Omega \subset \mathbb{R}^d$ which is centrally symmetric and whose faces of all dimensions are also centrally symmetric, there exists a Riesz basis of exponential functions in the space $L^2(\Omega)$. The result is new in all dimensions $d$ greater than one.


title: Killing forms on $2$-step nilmanifolds

abstract: We study left-invariant Killing $k$-forms on simply connected $2$-step nilpotent Lie groups endowed with a left-invariant Riemannian metric. For $k=2,3$, we show that every left-invariant Killing $k$-form is a sum of Killing forms on the factors of the de Rham decomposition. Moreover, on each irreducible factor, non-zero Killing $2$-forms define (after some modification) a bi-invariant orthogonal complex structure and non-zero Killing $3$-forms arise only if the Riemannian Lie group is naturally reductive when viewed as a homogeneous space under the action of its isometry group. In both cases, $k=2$ or $k=3$, we show that the space of Killing $k$-forms of an irreducible Riemannian 2-step nilpotent Lie group is at most one-dimensional.


title: Deep Multi Label Classification in Affine Subspaces

abstract: Multi-label classification (MLC) problems are becoming increasingly popular in the context of medical imaging. This has in part been driven by the fact that acquiring annotations for MLC is far less burdensome than for semantic segmentation and yet provides more expressiveness than multi-class classification. However, to train MLCs, most methods have resorted to similar objective functions as with traditional multi-class classification settings. We show in this work that such approaches are not optimal and instead propose a novel deep MLC classification method in affine subspace. At its core, the method attempts to pull features of class-labels towards different affine subspaces while maximizing the distance between them. We evaluate the method using two MLC medical imaging datasets and show a large performance increase compared to previous multi-label frameworks. This method can be seen as a plug-in replacement loss function and is trainable in an end-to-end fashion.


title: Type-II multiferroic Hf$_{2}$VC$_{2}$F$_{2}$ MXene monolayer with high transition temperature

abstract: Achieving multiferroic two-dimensional (2D) materials should enable numerous functionalities in nanoscale devices. Until now, however, predicted 2D multiferroics are very few and with coexisting yet only loosely coupled (type-I) ferroelectricity and magnetism. Here, a type-II multiferroic MXene Hf$_{2}$VC$_{2}$F$_{2}$ monolayer is identified, where ferroelectricity originates directly from its magnetism. The noncollinear Y-type spin order generates a polarization perpendicular to the spin helical plane. Remarkably, the multiferroic transition is estimated to occur above room temperature. Our investigation should open the door to a new branch of 2D materials for pursuit of intrinsically strong magnetoelectricity.


title: Progressive Wasserstein Barycenters of Persistence Diagrams

abstract: This paper presents an efficient algorithm for the progressive approximation of Wasserstein barycenters of persistence diagrams, with applications to the visual analysis of ensemble data. Given a set of scalar fields, our approach enables the computation of a persistence diagram which is representative of the set, and which visually conveys the number, data ranges and saliences of the main features of interest found in the set. Such representative diagrams are obtained by computing explicitly the discrete Wasserstein barycenter of the set of persistence diagrams, a notoriously computationally intensive task. In particular, we revisit efficient algorithms for Wasserstein distance approximation [12,51] to extend previous work on barycenter estimation [94]. We present a new fast algorithm, which progressively approximates the barycenter by iteratively increasing the computation accuracy as well as the number of persistent features in the output diagram. Such a progressivity drastically improves convergence in practice and allows to design an interruptible algorithm, capable of respecting computation time constraints. This enables the approximation of Wasserstein barycenters within interactive times. We present an application to ensemble clustering where we revisit the k-means algorithm to exploit our barycenters and compute, within execution time constraints, meaningful clusters of ensemble data along with their barycenter diagram. Extensive experiments on synthetic and real-life data sets report that our algorithm converges to barycenters that are qualitatively meaningful with regard to the applications, and quantitatively comparable to previous techniques, while offering an order of magnitude speedup when run until convergence (without time constraint). Our algorithm can be trivially parallelized to provide additional speedups in practice on standard workstations. [...]


title: Prospects for the Use of Photosensor Timing Information with Machine Learning Techniques in Background Rejection

abstract: Recent developments in machine learning (ML) techniques present a promising new analysis method for high-speed imaging in astroparticle physics experiments, for example with imaging atmospheric Cherenkov telescopes (IACTs). In particular, the use of timing information with new machine learning techniques provides a novel method for event classification. Previous work in this field has utilised images of the integrated charge from IACT camera photomultipliers, but the majority of current and upcoming IACT cameras have the capacity to read out the entire photosensor waveform following a trigger. As the arrival times of Cherenkov photons from extensive air showers (EAS) at the camera plane are dependent upon the altitude of their emission, these waveforms contain information useful for IACT event classification. In this work, we investigate the potential for using these waveforms with ML techniques, and find that a highly effective means of utilising their information is to create a set of seven additional two dimensional histograms of waveform parameters to be fed into the machine learning algorithm along with the integrated charge image. This appears to be superior to using only these new ML techniques with the waveform integrated charge alone. We also examine these timing-based ML techniques in the context of other experiments.


title: A Framework for Multiaccess Support for Unreliable Internet Traffic using Multipath DCCP

abstract: Mobile nodes are typically equipped with multiple radios and can connect to multiple radio access networks (e.g. WiFi, LTE and 5G). Consequently, it is important to design mechanisms that efficiently manage multiple network interfaces for aggregating the capacity, steering of traffic flows or switching flows among multiple interfaces. While such multi-access solutions have the potential to increase the overall traffic throughput and communication reliability, the variable latencies on different access links introduce packet delay variation which has negative effect on the application quality of service and user quality of experience. In this paper, we present a new IP-compatible multipath framework for heterogeneous access networks. The framework uses Multipath Datagram Congestion Control Protocol (MP-DCCP) - a set of extensions to regular DCCP - to enable a transport connection to operate across multiple access networks, simultaneously. We present the design of the new protocol framework and show simulation and experimental testbed results that (1) demonstrate the operation of the new framework, and (2) demonstrate the ability of our solution to manage significant packet delay variation caused by the asymmetry of network paths, by applying pluggable packet scheduling or reordering algorithms.


title: Performance study of a directional fast neutron detection system based on TPC and plastic scintillation detectors

abstract: A neutron time projection chamber can locate the approximate direction of a neutron hot spot with high efficiency and a 4{\pi} field of view. The angular resolution can be significantly improved by adding several plastic scintillation detectors and using coincidence events. The specific performances of such a coincidence imaging system are studied based on theoretical calculations and experimental results. The calculated value of the angular resolution is approximately 2{\deg} for the current system, which agrees well with the experimental results and sets an upper limit for the angular resolution of traditional back projection based online reconstruction methods. Although the statistical iterative method can breakthrough this limit and further improve the angular resolution, the time consumption is usually a problem. The coincidence imaging system can be further optimized for future applications based on the theoretical model.


title: Generating All the Roads to Rome: Road Layout Randomization for Improved Road Marking Segmentation

abstract: Road markings provide guidance to traffic participants and enforce safe driving behaviour, understanding their semantic meaning is therefore paramount in (automated) driving. However, producing the vast quantities of road marking labels required for training state-of-the-art deep networks is costly, time-consuming, and simply infeasible for every domain and condition. In addition, training data retrieved from virtual worlds often lack the richness and complexity of the real world and consequently cannot be used directly. In this paper, we provide an alternative approach in which new road marking training pairs are automatically generated. To this end, we apply principles of domain randomization to the road layout and synthesize new images from altered semantic labels. We demonstrate that training on these synthetic pairs improves mIoU of the segmentation of rare road marking classes during real-world deployment in complex urban environments by more than 12 percentage points, while performance for other classes is retained. This framework can easily be scaled to all domains and conditions to generate large-scale road marking datasets, while avoiding manual labelling effort.


title: Increasing broadband reach withHybrid Access Networks

abstract: End-users and governments force network operators to deploy faster Internet access services everywhere. Access technologies such as FTTx, VDSL2, DOCSIS3.0 can provide such services in cities. However, it is not cost-effective for network operators to deploy them in less densely populated regions. The recently proposed Hybrid Access Networks allow to boost xDSL networks by using the available capacity in existing LTE networks. We first present the three architectures defined by the Broadband Forum for such Hybrid Access Networks. Then we describe our experience with the implementation and the deployment of Multipath TCP-based Hybrid Access Networks.


title: First, second, third and fourth flow harmonics of deuterons and protons in Au+Au reactions at 1.23 A GeV

abstract: We explore the directed, elliptic, triangular and quadrangular flow of deuterons in Au+Au reactions at a beam energy of 1.23 AGeV within the UrQMD approach. These investigations are of direct relevance for the HADES experiment at GSI that has recently presented first data on the flow of light clusters in Au+Au collisions at 1.23 AGeV. To address the deuteron flow, UrQMD has been extended to include deuteron formation by coalescence. We find that this ansatz provides a very good description of the measured deuteron flow data, if a hard equation of state is used for the simulation. In addition we show that light cluster formation has a sizable impact on the proton flow and has to be taken into account to obtain reliable results in the forward/backward region. Based on the observed scaling of the flow, which is a natural result of coalescence, we conclude that deuteron production at GSI energies is a final state recombination effect. Finally, we also discuss the scaling relations of the higher order flow components up to $v_4$. We show that $v_3 \sim v_1v_2$ and $v_4 \sim v_2^2$ as function of transverse momentum and that the integrated $v_2^2 \sim v_4$ over the investigated energy range from $E_{lab}$=0.1 AGeV to 40 AGeV.


title: Out-of-Distribution Detection Using Neural Rendering Generative Models

abstract: Out-of-distribution (OoD) detection is a natural downstream task for deep generative models, due to their ability to learn the input probability distribution. There are mainly two classes of approaches for OoD detection using deep generative models, viz., based on likelihood measure and the reconstruction loss. However, both approaches are unable to carry out OoD detection effectively, especially when the OoD samples have smaller variance than the training samples. For instance, both flow based and VAE models assign higher likelihood to images from SVHN when trained on CIFAR-10 images. We use a recently proposed generative model known as neural rendering model (NRM) and derive metrics for OoD. We show that NRM unifies both approaches since it provides a likelihood estimate and also carries out reconstruction in each layer of the neural network. Among various measures, we found the joint likelihood of latent variables to be the most effective one for OoD detection. Our results show that when trained on CIFAR-10, lower likelihood (of latent variables) is assigned to SVHN images. Additionally, we show that this metric is consistent across other OoD datasets. To the best of our knowledge, this is the first work to show consistently lower likelihood for OoD data with smaller variance with deep generative models.


title: Localization of gauge bosons and the Higgs mechanism on topological solitons in higher dimensions

abstract: We provide complete and self-contained formulas about localization of massless/massive Abelian gauge fields on topological solitons in generic $D$ dimensions via a field dependent gauge kinetic term. The localization takes place when a stabilizer (a scalar field) is condensed in the topological soliton. We show that the localized gauge bosons are massless when the stabilizer is neutral. On the other hand, they become massive for the charged stabilizer as a consequence of interplay between the localization mechanism and the Higgs mechanism. For concreteness, we give two examples in six dimensions. The one is domain wall intersections and the other is an axially symmetric soliton background.


title: Bose-Einstein condensate confined in a 1D ring stirred with a rotating delta link

abstract: We consider a Bose-Einstein condensate with repulsive interactions confined in a 1D ring where a Dirac delta is rotating at constant speed. The spectrum of stationary solutions in the delta comoving frame is analyzed in terms of the nonlinear coupling, delta velocity, and delta strength, which may take positive and negative values. It is organized into a set of energy levels conforming a multiple swallowtail structure in parameter space, consisting in bright solitons, gray and dark solitonic trains, and vortices. Analytical expressions in terms Jacobi elliptic functions are provided for the wave functions and chemical potentials. We compute the critical velocities and perform a Bogoliubov analysis for the ground state and first few excited levels, establishing possible adiabatic transitions between the stationary and stable solutions. A set of adiabatic cycles is proposed in which gray solitons and vortices of arbitrary quantized angular momenta are obtained from the ground state by setting and unsetting a rotating delta.

categories: cond-mat.quant-gas math-ph math.MP quant-ph


title: Magnetic activity of the solar-like star HD 140538

abstract: The periods of rotation and activity cycles are among the most important properties of the magnetic dynamo thought to be operating in late-type, main-sequence stars. In this paper, we present a S$_{\rm{MWO}}$-index time series composed from different data sources for the solar-like star HD 140538 and derive a period of 3.88$\pm$0.02 yr for its activity cycle. Furthermore, we analyse the high-cadence, seasonal S$_{\rm{MWO}}$ data taken with the TIGRE telescope and find a rotational period of 20.71$\pm$0.32 days. In addition, we estimate the stellar age of HD 140538 as 3.7 Gyrs via a matching evolutionary track. This is slightly older than the ages obtained from gyrochronology based on the above rotation period, as well as the activity-age relation. These results, together with its stellar parameters that are very similar to a younger Sun, make HD 140538 a relevant case study for our understanding of solar activity and its evolution with time.


title: Approaching the Kosterlitz-Thouless transition for the classical XY model with tensor networks

abstract: We apply variational tensor-network methods for simulating the Kosterlitz-Thouless phase transition in the classical two-dimensional XY model. In particular, using uniform matrix product states (MPS) with non-abelian O(2) symmetry, we compute the universal drop in the spin stiffness at the critical point. In the critical low-temperature regime, we focus on the MPS entanglement spectrum to characterize the Luttinger-liquid phase. In the high-temperature phase, we confirm the exponential divergence of the correlation length and estimate the critical temperature with high precision. Our MPS approach can be used to study generic two-dimensional phase transitions with continuous symmetries.


title: The superior role of the Gilbert damping on the signal-to-noise ratio in heat-assisted magnetic recording

abstract: In magnetic recording the signal-to-noise ratio (SNR) is a good indicator for the quality of written bits. However, a priori it is not clear which parameters have the strongest influence on the SNR. In this work, we investigate the role of the Gilbert damping on the SNR. Grains consisting of FePt like hard magnetic material with two different grain sizes $d_1=5\,$nm and $d_2=7\,$nm are considered and simulations of heat-assisted magnetic recording (HAMR) are performed with the atomistic simulation program VAMPIRE. The simulations display that the SNR saturates for damping constants larger or equal than 0.1. Additionally, we can show that the Gilbert damping together with the bit length have a major effect on the SNR whereas other write head and material parameters only have a minor relevance on the SNR.


title: On optimal cover and its possible shape for fractals embedded into 2D Euclidian space

abstract: In this article a definition of optimal cover for fractal structures is proposed. Expression for Minkowsky dimension is rewritten in terms of functional equation on areas of covers that constructed for different scales.Given the definition, the functional equation is resolved and possible shapes of optimal coverage are defined in correspondence with fractal dimension values.


title: Stability in graded rings associated with commutative augmented rings

abstract: Let $A$ be a commutative augmented ring and $I$ be its augmentation ideal. This paper shows that the sequence $\{I^n/I^{n+1}\}$ becomes stationary up to isomorphism. The result yields stability in the associated graded ring of $A$ along $I$.


title: Stabilization on periodic impulse control systems

abstract: This paper studies the stabilization for a kind of linear and impulse control systems in finite-dimensional spaces, where impulse instants appear periodically. We present several characterizations on the stabilization; show how to design feedback laws; and provide locations for impulse instants to ensure the stabilization. In the proofs of these results, we set up a discrete LQ problem; derived a discrete dynamic programming principle, built up a variant of Riccati's equation; applied repeatedly the Kalman controllability decomposition; and used a controllability result built up in [17].


title: Microscopic studies of production cross sections in multinucleon transfer reaction $^{58}$Ni+$^{124}$Sn

abstract: \item[Background] Multinucleon transfer reaction at low-energy collisions is considered to be a promising method for the production of new exotic nuclei, which are difficult to be produced by other methods. The theoretical studies are required to provide reliable predictions for the experiments and promote the understanding of the microscopic mechanism in multinucleon transfer reactions. \item[Purpose] We provide a predictive approach for production cross sections, and testify how and to what extent the microscopic approach works well in multinucleon transfer reaction. \item[Methods] We employ the approach TDHF+GEMINI, which combines the microscopic time-dependent Hartree-Fock (TDHF) with the state-of-art statistical model GEMINI++, to take into account both the multinucleon transfer dynamics and the secondary deexcitation process. The properties of primary products in multinucleon transfer process, such as transfer probabilities and primary cross sections, are extracted from TDHF dynamics by using the particle-number projection method. Production cross sections for secondary products are evaluated by using the statistical model GEMINI++. \item[Results] We investigate the influence of colliding energies and deformation orientations of target and projectile nuclei on multinucleon transfer dynamics in the reaction $^{58}$Ni+$^{124}$Sn...... \item[Conclusions] The microscopic approach TDHF+GEMINI reasonably reproduces the experimental data at energies close to the Coulomb barrier and well accounts for the multinucleon transfer mechanism. The present studies clearly reveal the applicability of TDHF+GEMINI method in multinucleon transfer reactions, which thus deserves as a promising tool to predict the properties of new reactions.


title: Analysis of the strong decays of the $P_c(4312)$ as a pentaquark molecular state with QCD sum rules

abstract: In this article, we tentatively assign the $P_c(4312)$ to be the $\bar{D}\Sigma_c$ pentaquark molecular state with the spin-parity $J^P={\frac{1}{2}}^-$, and discuss the factorizable and non-factorizable contributions in the two-point QCD sum rules for the $\bar{D}\Sigma_c$ molecular state in details to prove the reliability of the single pole approximation in the hadronic spectral density. We study its two-body strong decays with the QCD sum rules, special attentions are paid to match the hadron side with the QCD side of the correlation functions to obtain solid duality. We obtain the partial decay widths $\Gamma\left(P_c(4312)\to \eta_c p\right)=0.255\,{\rm{MeV}}$ and $\Gamma\left(P_c(4312)\to J/\psi p\right)=9.296^{+19.542}_{-9.296}\,\,{\rm{MeV}}$, which are compatible with the experimental value of the total width, and support assigning the $P_c(4312)$ to be the $\bar{D}\Sigma_c$ pentaquark molecular state.


title: Standard G\"odel modal logics are not realized by G\"odel justification logics

abstract: We show that the standard G\"odel modal logics, as initially introduced by Caicedo and Rodriguez in \cite{CR2009,CR2010}, are not realized by the basic G\"odel justification logics although being related by the forgetful projection.


title: Masses of ground and isomeric states of $^{101}$In and configuration-dependent shell evolution in odd-$A$ indium isotopes

abstract: We report first precision mass measurements of the $1/2^-$ isomeric and $9/2^+$ ground states of $^{101}$In. The determined isomeric excitation energy continues a smooth trend of odd-$A$ indium isotopes up to the immediate vicinity of $N=50$ magic number. This trend can be confirmed by dedicated shell model calculations only if the neutron configuration mixing is considered. We find that the single particle energies are different for different states of the same isotope. The presented configuration-dependent shell evolution, type II shell evolution, in odd-$A$ nuclei is discussed for the first time. Our results will facilitate future studies of single-particle neutron states.


title: Quasi-polynomial time approximation schemes for the Maximum Weight Independent Set Problem in H-free graphs

abstract: In the Maximum Independent Set problem we are asked to find a set of pairwise nonadjacent vertices in a given graph with the maximum possible cardinality. In general graphs, this classical problem is known to be NP-hard and hard to approximate within a factor of $n^{1-\varepsilon}$ for any $\varepsilon > 0$. Due to this, investigating the complexity of Maximum Independent Set in various graph classes in hope of finding better tractability results is an active research direction. In $H$-free graphs, that is, graphs not containing a fixed graph $H$ as an induced subgraph, the problem is known to remain NP-hard and APX-hard whenever $H$ contains a cycle, a vertex of degree at least four, or two vertices of degree at least three in one connected component. For the remaining cases, where every component of $H$ is a path or a subdivided claw, the complexity of Maximum Independent Set remains widely open, with only a handful of polynomial-time solvability results for small graphs $H$ such as $P_5$, $P_6$, the claw, or the fork. We show that for every graph $H$ for which Maximum Independent Set is not known to be APX-hard and SUBEXP-hard in $H$-free graphs, the problem admits a quasi-polynomial time approximation scheme and a subexponential-time exact algorithm in this graph class. Our algorithm works also in the more general weighted setting, where the input graph is supplied with a weight function on vertices and we are maximizing the total weight of an independent set.


title: Improved bounds for centered colorings

abstract: A vertex coloring $\phi$ of a graph $G$ is $p$-centered if for every connected subgraph $H$ of $G$ either $\phi$ uses more than $p$ colors on $H$ or there is a color that appears exactly once on $H$. Centered colorings form one of the families of parameters that allow to capture notions of sparsity of graphs: A class of graphs has bounded expansion if and only if there is a function $f$ such that for every $p\geq1$, every graph in the class admits a $p$-centered coloring using at most $f(p)$ colors. In this paper, we give upper bounds for the maximum number of colors needed in a $p$-centered coloring of graphs from several widely studied graph classes. We show that: (1) planar graphs admit $p$-centered colorings with $\mathcal{O}(p^3\log p)$ colors where the previous bound was $\mathcal{O}(p^{19})$; (2) bounded degree graphs admit $p$-centered colorings with $\mathcal{O}(p)$ colors while it was conjectured that they may require exponential number of colors in $p$; (3) graphs avoiding a fixed graph as a topological minor admit $p$-centered colorings with a polynomial in $p$ number of colors. All these upper bounds imply polynomial algorithms for computing the colorings. Prior to this work there were no non-trivial lower bounds known. We show that: (4) there are graphs of treewidth $t$ that require $\binom{p+t}{t}$ colors in any $p$-centered coloring and this bound matches the upper bound; (5) there are planar graphs that require $\Omega(p^2\log p)$ colors in any $p$-centered coloring.


title: Non-Smooth Newton Methods for Deformable Multi-Body Dynamics

abstract: We present a framework for the simulation of rigid and deformable bodies in the presence of contact and friction. Our method is based on a non-smooth Newton iteration that solves the underlying nonlinear complementarity problems (NCPs) directly. This approach allows us to support nonlinear dynamics models, including hyperelastic deformable bodies and articulated rigid mechanisms, coupled through a smooth isotropic friction model. The fixed-point nature of our method means it requires only the solution of a symmetric linear system as a building block. We propose a new complementarity preconditioner for NCP functions that improves convergence, and we develop an efficient GPU-based solver based on the conjugate residual (CR) method that is suitable for interactive simulations. We show how to improve robustness using a new geometric stiffness approximation and evaluate our method's performance on a number of robotics simulation scenarios, including dexterous manipulation and training using reinforcement learning.


title: Optimal optical orthogonal signature pattern codes with weight three and cross-correlation constraint one

abstract: Optical orthogonal signature pattern codes (OOSPCs) have attracted wide attention as signature patterns of spatial optical code division multiple access networks. In this paper, an improved upper bound on the size of an $(m,n,3,\lambda_a,1)$-OOSPC with $\lambda_a=2,3$ is established. The exact number of codewords of an optimal $(m,n,3,\lambda_a,1)$-OOSPC is determined for any positive integers $m,n\equiv2\ ({\rm mod }\ 4)$ and $\lambda_a\in\{2,3\}$.


title: Dunhuang Grottoes Painting Dataset and Benchmark

abstract: This document introduces the background and the usage of the Dunhuang Grottoes Dataset and the benchmark. The documentation first starts with the background of the Dunhuang Grotto, which is widely recognised as an priceless heritage. Given that digital method is the modern trend for heritage protection and restoration. Follow the trend, we release the first public dataset for Dunhuang Grotto Painting restoration. The rest of the documentation details the painting data generation. To enable a data driven fashion, this dataset provided a large number of training and testing example which is sufficient for a deep learning approach. The detailed usage of the dataset as well as the benchmark is described.


title: Decoupling theorems for the Duffin-Schaeffer problem

abstract: The Duffin-Schaeffer conjecture is a central open problem in metric number theory. Let $\psi~\mathbb{N} \mapsto \mathbb{R}$ be a non-negative function, and set $\mathcal{E}_n :=\bigcup \left( \frac{a - \psi(n)}{n},\frac{a+\psi(n)}{n} \right)$, where the union is taken over all $a \in \{1, \dots, n\}$ which are co-prime to $n$. Then the conjecture asserts that almost all $x \in [0,1]$ are contained in infinitely many sets $\mathcal{E}_n$, provided that the series of the measures of $\mathcal{E}_n$ is divergent. At the core of the conjecture is the problem of controlling the measure of the pairwise overlaps $\mathcal{E}_m \cap \mathcal{E}_n$, in dependence on $m, n, \psi(m)$ and $\psi(n)$. In the present paper we prove upper bounds for the measures of these overlaps, which show that globally the degree of dependence in the set system $(\mathcal{E}_n)_{n \geq 1}$ is significantly smaller than supposed. As applications, we obtain significantly improved "extra divergence" and "slow divergence" variants of the Duffin-Schaeffer conjecture.


title: Non-LTE radiation hydrodynamics in PLUTO

abstract: Modeling the dynamics of most astrophysical structures requires an adequate description of the radiation-matter interaction. Several numerical (magneto)hydrodynamics codes were upgraded with a radiation module to fulfill this request. However, those among them that use either the flux-limited diffusion (FLD) or the M1 radiation moment approaches are restricted to the local thermodynamic equilibrium (LTE). This assumption may be not valid in some astrophysical cases. We present an upgraded version of the LTE radiation-hydrodynamics module implemented in the PLUTO code, originally developed by Kolb et al. (2013), which we have extended to handle non-LTE regimes. Starting from the general frequency-integrated comoving-frame equations of radiation hydrodynamics (RHD), we have justified all the assumptions made to obtain the non-LTE equations actually implemented in the module, under the FLD approximation. An operator-split method is employed, with two substeps: the hydrodynamic part is solved with an explicit method by the solvers already available in PLUTO, the non-LTE radiation diffusion and energy exchange part is solved with an implicit method. The module is implemented in the PLUTO environment. It uses databases of radiative quantities that can be provided independently by the user: the radiative power loss, the Planck and Rosseland mean opacities. Our implementation has been validated through different tests, in particular radiative shock tests. The agreement with the semi-analytical solutions (when available) is good, with a maximum error of 7%. Moreover, we have proved that non-LTE approach is of paramount importance to properly model accretion shock structures. Our radiation FLD module represents a step toward the general non-LTE RHD modeling. The module is available, under request, for the community.


title: Differentiable Probabilistic Logic Networks

abstract: Probabilistic logic reasoning is a central component of such cognitive architectures as OpenCog. However, as an integrative architecture, OpenCog facilitates cognitive synergy via hybridization of different inference methods. In this paper, we introduce a differentiable version of Probabilistic Logic networks, which rules operate over tensor truth values in such a way that a chain of reasoning steps constructs a computation graph over tensors that accepts truth values of premises from the knowledge base as input and produces truth values of conclusions as output. This allows for both learning truth values of premises and formulas for rules (specified in a form with trainable weights) by backpropagation combining subsymbolic optimization and symbolic reasoning.


title: On the Duffin-Schaeffer conjecture

abstract: Let $\psi:\mathbb{N}\to\mathbb{R}_{\ge0}$ be an arbitrary function from the positive integers to the non-negative reals. Consider the set $\mathcal{A}$ of real numbers $\alpha$ for which there are infinitely many reduced fractions $a/q$ such that $|\alpha-a/q|\le \psi(q)/q$. If $\sum_{q=1}^\infty \psi(q)\phi(q)/q=\infty$, we show that $\mathcal{A}$ has full Lebesgue measure. This answers a question of Duffin and Schaeffer. As a corollary, we also establish a conjecture due to Catlin regarding non-reduced solutions to the inequality $|\alpha - a/q|\le \psi(q)/q$, giving a refinement of Khinchin's Theorem.


title: On a number of isogeny classes of simple abelian varieties over finite fields

abstract: In this paper, we investigate the asymptotic behavior of the number $s_q(g)$ of isogeny classes of simple abelian varieties of dimension $g$ over a finite field $\mathbb{F}_q$. We prove that the logarithmic asymptotic of $s_q(g)$ is the same as the logarithmic asymptotic of the number $m_q(g)$ of isogeny classes of all abelian varieties of dimension $g$ over $\mathbb{F}_q$. We also prove that $$ \limsup_{g \rightarrow \infty} \frac{s_q(g)}{m_q(g)}=1. $$ This suggests that there are much more simple isogeny classes of abelian varieties over $\mathbb{F}_q$ of dimension $g$ than non-simple ones for sufficiently large $g$, which can be understood as the opposite situation to a main result of Lipnowski and Tsimerman (Duke Math 167:3403-3453, 2018).


title: Towards Explaining the Regularization Effect of Initial Large Learning Rate in Training Neural Networks

abstract: Stochastic gradient descent with a large initial learning rate is widely used for training modern neural net architectures. Although a small initial learning rate allows for faster training and better test performance initially, the large learning rate achieves better generalization soon after the learning rate is annealed. Towards explaining this phenomenon, we devise a setting in which we can prove that a two layer network trained with large initial learning rate and annealing provably generalizes better than the same network trained with a small learning rate from the start. The key insight in our analysis is that the order of learning different types of patterns is crucial: because the small learning rate model first memorizes easy-to-generalize, hard-to-fit patterns, it generalizes worse on hard-to-generalize, easier-to-fit patterns than its large learning rate counterpart. This concept translates to a larger-scale setting: we demonstrate that one can add a small patch to CIFAR-10 images that is immediately memorizable by a model with small initial learning rate, but ignored by the model with large learning rate until after annealing. Our experiments show that this causes the small learning rate model's accuracy on unmodified images to suffer, as it relies too much on the patch early on.


title: A Little Charity Guarantees Almost Envy-Freeness

abstract: Fair division of indivisible goods is a very well-studied problem. The goal of this problem is to distribute $m$ goods to $n$ agents in a "fair" manner, where every agent has a valuation for each subset of goods. We assume general valuations. Envy-freeness is the most extensively studied notion of fairness. However, envy-free allocations do not always exist when goods are indivisible. The notion of fairness we consider here is "envy-freeness up to any good" (EFX) where no agent envies another agent after the removal of any single good from the other agent's bundle. It is not known if such an allocation always exists even when $n=3$. We show there is always a partition of the set of goods into $n+1$ subsets $(X_1,\ldots,X_n,P)$ where for $i \in [n]$, $X_i$ is the bundle allocated to agent $i$ and the set $P$ is unallocated (or donated to charity) such that we have$\colon$ 1) envy-freeness up to any good, 2) no agent values $P$ higher than her own bundle, and 3) fewer than $n$ goods go to charity, i.e., $|P| < n$ (typically $m \gg n$). Our proof is constructive. When agents have additive valuations and $\lvert P \rvert$ is large (i.e., when $|P|$ is close to $n$), our allocation also has a good maximin share (MMS) guarantee. Moreover, a minor variant of our algorithm also shows the existence of an allocation which is $4/7$ groupwise maximin share (GMMS): this is a notion of fairness stronger than MMS. This improves upon the current best bound of $1/2$ known for an approximate GMMS allocation.


title: The Fox-Wright function near the singularity and branch cut

abstract: The Fox-Wright function is a further extension of the generalized hypergeometric function obtained by introducing arbitrary positive scaling factors into the arguments of the gamma functions in the summand. Its importance comes mostly from its role in fractional calculus although other interesting applications also exist. If the sums of the scaling factors in the top and bottom parameters are equal, the series defining the Fox-Wright function has a finite non-zero radius of convergence. It was demonstrated by Braaksma in 1964 that the Fox-Wright function can then be extended to a holomorphic function in the complex plane cut along a ray from the positive point on the boundary of the disk of convergence to the point at infinity. In this paper we study the behavior of the Fox-Wright function in the neighborhood of this positive singular point. Under certain restrictions we give a convergent expansion with recursively computed coefficients completely characterizing this behavior. We further compute the jump and the average value of the Fox-Wright function on the banks of the branch cut.


title: Intrinsic multipolar contents of nanoresonators for tailored scattering

abstract: We introduce a theoretical and computational method to design resonant objects, such as nanoantennas or meta-atoms, exhibiting tailored multipolar responses. In contrast with common approaches that rely on a multipolar analysis of the scattering response of an object upon specific excitations, we propose to engineer the \textit{intrinsic} (i.e., excitation-independent) multipolar content and spectral characteristics of the natural resonances -- or quasinormal modes -- of the object. A rigorous numerical approach for the multipolar decomposition of resonances at complex frequencies is presented, along with an analytical model conveying a direct physical insight into the multipole moments induced in the resonator. Our design strategy is illustrated by designing a subwavelength optical resonator exhibiting a Janus resonance that provides side-dependent coupling to waveguides over the full linewidth of the resonance and on a wide angular range for linearly-polarized incident planewaves. The method applies to all kinds of waves and may open new perspectives for subwavelength-scale manipulation of scattering and emission.


title: Adding Common Randomness Can Remove the Secrecy Constraints in Communication Networks

abstract: In communication networks secrecy constraints usually incur an extra limit in capacity or generalized degrees-of-freedom (GDoF), in the sense that a penalty in capacity or GDoF is incurred due to the secrecy constraints. Over the past decades a significant amount of effort has been made by the researchers to understand the limits of secrecy constraints in communication networks. In this work, we focus on how to remove the secrecy constraints in communication networks, i.e., how to remove the GDoF penalty due to secrecy constraints. We begin with three basic settings: a two-user symmetric Gaussian interference channel with confidential messages, a symmetric Gaussian wiretap channel with a helper, and a two-user symmetric Gaussian multiple access wiretap channel. Interestingly, in this work we show that adding common randomness at the transmitters can totally remove the penalty in GDoF or GDoF region of the three settings considered here. The results reveal that adding common randomness at the transmitters is a powerful way to remove the secrecy constraints in communication networks in terms of GDoF performance. Common randomness can be generated offline. The role of the common randomness is to jam the information signal at the eavesdroppers, without causing too much interference at the legitimate receivers. To accomplish this role, a new method of Markov chain-based interference neutralization is proposed in the achievability schemes utilizing common randomness. From the practical point of view, we hope to use less common randomness to remove secrecy constraints in terms of GDoF performance. With this motivation, for most of the cases we characterize the minimal GDoF of common randomness to remove secrecy constraints, based on our derived converses and achievability.


title: In Praise and in Search of Highly-Polarizable Semiconductors

abstract: The dielectric response of materials underpins electronics and photonics. Established semiconductor materials have a narrow range of dielectric susceptibility, with low-frequency values on the order of 10. Strong and variable dielectric response in wide-band gap materials is associated with complex crystal structures and heavier elements. Based on underlying chemical trends, we hypothesize that chalcogenides in crystal structures common to complex oxides may feature many highly-polarizable semiconductors. Research on these materials is motivated by fundamental inquiry into electrons and phonons in solids, and by potential applications in photonics, high-frequency communications, and photovoltaics.


title: Physically-inspired computational tools for sharp detection of material inhomogeneities in magnetic imaging

abstract: Detection of material inhomogeneities is an important task in magnetic imaging and plays a significant role in understanding physical processes. For example, in spintronics, the sample heterogeneity determines the onset of current-driven magnetization motion. While often a significant effort is made in enhancing the resolution of an experimental technique to obtain a deeper insight into the physical properties, here we want to emphasize that an advantageous data analysis has the potential to provide a lot more insight into given data set, in particular when being close to the resolution limit where the noise becomes at least of the same order as the signal. In this work, we introduce two tools - the average latent dimension and average latent entropy - which allow for the detection of very subtle material inhomogeneity patterns in the data. For example, for the Ising model, we show that these tools are able to resolve exchange differences down to $1\%$. For a micromagnetic model, we demonstrate that the latent entropy can be used to detect changes in the easy axis anisotropy from magnetization data. We show that the latent entropy remains robust when imposing noise on the data, changing less than $0.3\%$ after adding Gaussian noise of the same amplitude as the signal. Furthermore, we demonstrate that these data-driven tools can be used to visualize inhomogeneities based on MOKE data of magnetic whirls and thereby can help to explicitly resolve impurities and pinning centers. To evaluate the performance of the average latent dimension and entropy, we show that they outperform common instruments ranging from standard statistics measures to state-of-the-art data analysis techniques such as Gaussian mixture models not only in recognition quality but also in the required computational cost.


title: Prevalent externally-driven protoplanetary disc dispersal as a function of the galactic environment

abstract: The stellar birth environment can significantly shorten protoplanetary disc (PPD) lifetimes due to the influence of stellar feedback mechanisms. The degree to which these mechanisms suppress the time and mass available for planet formation is dependent on the local far-ultraviolet (FUV) field strength, stellar density, and ISM properties. In this work, we present the first theoretical framework quantifying the distribution of PPD dispersal time-scales as a function of parameters that describe the galactic environment. We calculate the probability density function for FUV flux and stellar density in the solar neighbourhood. In agreement with previous studies, we find that external photoevaporation is the dominant environment-related factor influencing local stellar populations after the embedded phase. Applying our general prescription to the Central Molecular Zone of the Milky Way (i.e. the central ~250 pc), we predict that 90% of PPDs in the region are destroyed within 1 Myr of the dispersal of the parent molecular cloud. Even in such dense environments, we find that external photoevaporation is the dominant disc depletion mechanism over dynamical encounters between stars. PPDs around low-mass stars are particularly sensitive to FUV-induced mass loss, due to a shallower gravitational potential. For stars of mass ~1 $M_\odot$, the solar neighbourhood lies at approximately the highest gas surface density for which PPD dispersal is still relatively unaffected by external FUV photons, with a median PPD dispersal timescale of ~4 Myr. We highlight the key questions to be addressed to further contextualise the significance of the local galactic environment for planet formation.


title: Colliding Pomerons

abstract: We recall the main properties of inclusive particle distributions expected for Pomeron-proton and Pomeron-Pomeron interactions. Due to the small size of the Pomeron we expect larger transverse momenta of secondaries and a smaller probability of Multiple Interactions, that is a narrower multiplicity distribution. We propose to compare the spectra of secondaries produced in the Pomeron and the proton interactions in terms of the Feynman $x_F$ variable. The main difference should be observed for a relatively large $x_F$, that is near the edge of rapidity gaps. Such data offer the opportunity to illuminate the properties of the `soft' or `Regge' Pomeron, which drives the minimum-bias type of events in high energy $pp$ interactions. Besides this, there should be a good opportunity to observe a glueball in the Pomeron fragmentation region.


title: Interplay between Structural Hierarchy and Exciton Diffusion in Artificial Light Harvesting

abstract: Unravelling the nature of energy transport in multi-chromophoric photosynthetic complexes is essential to extract valuable design blueprints for light-harvesting applications. Long-range exciton transport in such systems is facilitated by a combination of delocalized excitation wavefunctions (excitons) and remarkable exciton diffusivities. The unambiguous identification of the exciton transport, however, is intrinsically challenging due to the system's sheer complexity. Here we address this challenge by employing a novel spectroscopic lab-on-a-chip approach: A combination of ultrafast coherent two-dimensional spectroscopy and microfluidics working in tandem with theoretical modelling. This allowed us to unveil exciton transport throughout the entire hierarchical supramolecular structure of a double-walled artificial light-harvesting complex. We show that at low exciton densities, the outer layer acts as an antenna that supplies excitons to the inner tube, while under high excitation fluences it protects the inner tube from overburning. Our findings shed light on the excitonic trajectories across different sub-units of a multi-layered supramolecular structure and underpin the great potential of artificial light-harvesting complexes for directional excitation energy transport.


title: Ergodicity for Stochastic Porous Media Equations

abstract: The long time behaviour of solutions to stochastic porous media equations on smooth bounded domains with Dirichlet boundary data is studied. Based on weighted $L^{1}$-estimates the existence and uniqueness of invariant measures with optimal bounds on the rate of mixing are proved. Along the way the existence and uniqueness of entropy solutions is shown.


title: A generalized theory for full microtremor horizontal-to-vertical [H/V (z, f)] spectral ratio interpretation in offshore and onshore environments

abstract: Advances in the field of seismic interferometry have provided a basic theoretical interpretation to the full spectrum of the microtremor horizontal-to-vertical spectral ratio [H/V(f)]. The interpretation has been applied to ambient seismic noise data recorded both at the surface and at depth. The new algorithm, based on the diffuse wavefield assumption, has been used in inversion schemes to estimate seismic wave velocity profiles that are useful input information for engineering and exploration seismology both for earthquake hazard estimation and to characterize surficial sediments. However, until now, the developed algorithms are only suitable for on land environments with no offshore consideration. Here, the microtremor H/V(z, f) modeling is extended for applications to marine sedimentary environments for a 1D layered medium. The layer propagator matrix formulation is used for the computation of the required Green's functions. Therefore, in the presence of a water layer on top, the propagator matrix for the uppermost layer is defined to account for the properties of the water column. As an application example we analyze eight simple canonical layered earth models. Frequencies ranging from 0.2 to 50 Hz are considered as they cover a broad wavelength interval and aid in practice to investigate subsurface structures in the depth range from a few meters to a few hundreds of meters. Results show a marginal variation of 8 percent at most for the fundamental frequency when a water layer is present. The water layer leads to variations in H/V peak amplitude of up to 50 percent atop the solid layers.


title: Microwave photons emitted by fractionally charged quasiparticles

abstract: Strongly correlated low-dimensional systems can host exotic elementary excitations carrying a fractional charge $q$ and potentially obeying anyonic statistics. In the fractional quantum Hall effect, their fractional charge has been successfully determined owing to low frequency shot noise measurements. However, a universal method for sensing them unambiguously and unraveling their intricate dynamics was still lacking. Here, we demonstrate that this can be achieved by measuring the microwave photons emitted by such excitations when they are transferred through a potential barrier biased with a dc voltage $V_{\text{dc}}$. We observe that only photons at frequencies $f$ below $qV_{\text{dc}}/h$ are emitted. This threshold provides a direct and unambiguous determination of the charge $q$, and a signature of exclusion statistics. Derived initially within the Luttinger model, this feature is also predicted by universal non-equilibrium fluctuation relations which agree fully with our measurements. Our work paves the way for further exploration of anyonic statistics using microwave measurements.


title: Few-nm tracking of magnetic vortex orbits and their decay with ultrafast Lorentz microscopy

abstract: Transmission electron microscopy is one of the most powerful techniques to characterize nanoscale magnetic structures. In light of the importance of fast control schemes of magnetic states, time-resolved microscopy techniques are highly sought after in fundamental and applied research. Here, we implement time-resolved Lorentz imaging in combination with synchronous radio-frequency excitation using an ultrafast transmission electron microscope. As a model system, we examine the current-driven gyration of a vortex core in a 2 $\mathrm{\mu}$m-sized magnetic nanoisland. We record the trajectory of the vortex core for continuous-wave excitation, achieving a localization precision of $\pm$2nm with few-minute integration times. Furthermore, by tracking the core position after rapidly switching off the current, we find a temporal hardening of the free oscillation frequency and an increasing orbital decay rate attributed to local disorder in the vortex potential.


abstract: Recent realisation of three-dimensional optical lattice clocks circumvents short range collisional clock shifts which have been the bottle neck towards higher precision; the long range electronic dipole-dipole interaction between the atoms becomes the primary source of clock shift due to interatomic interactions. We study the Rabi spectroscopy of three-dimensional optical lattice clocks with unity filling. From the Lindblad equation governing the time evolution of the density matrix of the atoms, we derive the Bloch equations in the presence of the external Rabi driving laser field, and solve the equations approximately to the first order of the coupling strength of the dipole-dipole interaction between the atoms. We find that the clock shift equals to the product of the coupling strength, a factor determined by the parameters of the Rabi pulse, and another factor depending on the configuration of the three-dimensional optical lattice. Our result on the clock shift within the Rabi spectroscopy can be checked by measurement in future experiment.


title: A multilevel Monte Carlo method for asymptotic-preserving particle schemes in the diffusive limit

abstract: Kinetic equations model distributions of particles in position-velocity phase space. Often, one is interested in studying the long-time behavior of particles in high-collisional regimes in which an approximate (advection)-diffusion model holds. In this paper we consider the diffusive scaling. Classical particle-based techniques suffer from a strict time-step restriction in this limit, to maintain stability. Asymptotic-preserving schemes avoid this problem, but introduce an additional time discretization error, possibly resulting in an unacceptably large bias for larger time steps. Here, we present and analyze a multilevel Monte Carlo scheme that reduces this bias by combining estimates using a hierarchy of different time step sizes. We demonstrate how to correlate trajectories from this scheme, using different time steps. We also present a strategy for selecting the levels in the multilevel scheme. Our approach significantly reduces the computation required to perform accurate simulations of the considered kinetic equations, compared to classical Monte Carlo approaches.


title: Optimally Self-Healing IoT Choreographies

abstract: In the industrial Internet of Things domain, applications are moving from the Cloud into the edge, closer to the devices producing and consuming data. This means applications move from the scalable and homogeneous cloud environment into a constrained heterogeneous edge network. Making edge applications reliable enough to fulfill Industrie 4.0 use cases is still an open research challenge. Maintaining operation of an edge system requires advanced management techniques to mitigate the failure of devices. This paper tackles this challenge with a twofold approach: (1) a policy-enabled failure detector that enables adaptable failure detection and (2) an allocation component for the efficient selection of failure mitigation actions. We evaluate the parameters and performance of our failure detection approach and the performance of an energy-efficient allocation technique, and present a vision for a complete system as well as an example use case.


title: Quantum Hall Skyrmions at $\nu=0,\pm 1$ in monolayer graphene

abstract: Monolayer graphene under a strong perpendicular field exhibit quantum Hall ferromagnetism with spontaneously broken spin and valley symmetry. The approximate SU(4) spin/valley symmetry is broken by small lattice scale effects in the central Landau level corresponding to filling factors $\nu=0,\pm 1$. Notably the ground state at $\nu=0$ is believed to be a canted antiferromagnetic (AF) or a ferromagnetic (F) state depending on the component of the magnetic field parallel to the layer and the strength of small anisotropies. We study the skyrmions for the filling factors $\nu=\pm 1,0$ by using exact diagonalizations on the spherical geometry. If we neglect anisotropies we confirm the validity of the standard skyrmion picture generalized to four degrees of freedom. For filling factor $\nu=- 1$ the hole skyrmion is an infinite-size valley skyrmion with full spin polarization because it does not feel the anisotropies. The electron skyrmion is also always of infinite size. In the F phase it is always fully polarized while in the AF phase it undergoes continuous magnetization under increasing Zeeman energy. In the case of $\nu=0$ the skyrmion is always maximally localized in space both in F and AF phase. In the F phase it is fully polarized while in the AF it has also progressive magnetization with Zeeman energy. The magnetization process is unrelated to the spatial profile of the skyrmions contrary to the SU(2) case. In all cases the skyrmion physics is dominated by the competition between anisotropies and Zeeman effect but not directly by the Coulomb interactions, breaking universal scaling with the ratio Zeeman to Coulomb energy.


title: Neural Networks as Explicit Word-Based Rules

abstract: Filters of convolutional networks used in computer vision are often visualized as image patches that maximize the response of the filter. We use the same approach to interpret weight matrices in simple architectures for natural language processing tasks. We interpret a convolutional network for sentiment classification as word-based rules. Using the rule, we recover the performance of the original model.


title: Let's measure run time! Extending the IR replicability infrastructure to include performance aspects

abstract: Establishing a docker-based replicability infrastructure offers the community a great opportunity: measuring the run time of information retrieval systems. The time required to present query results to a user is paramount to the users satisfaction. Recent advances in neural IR re-ranking models put the issue of query latency at the forefront. They bring a complex trade-off between performance and effectiveness based on a myriad of factors: the choice of encoding model, network architecture, hardware acceleration and many others. The best performing models (currently using the BERT transformer model) run orders of magnitude more slowly than simpler architectures. We aim to broaden the focus of the neural IR community to include performance considerations -- to sustain the practical applicability of our innovations. In this position paper we supply our argument with a case study exploring the performance of different neural re-ranking models. Finally, we propose to extend the OSIRRC docker-based replicability infrastructure with two performance focused benchmark scenarios.


title: Probabilistic programming for birth-death models of evolution using an alive particle filter with delayed sampling

abstract: We consider probabilistic programming for birth-death models of evolution and introduce a new widely-applicable inference method that combines an extension of the alive particle filter (APF) with automatic Rao-Blackwellization via delayed sampling. Birth-death models of evolution are an important family of phylogenetic models of the diversification processes that lead to evolutionary trees. Probabilistic programming languages (PPLs) give phylogeneticists a new and exciting tool: their models can be implemented as probabilistic programs with just a basic knowledge of programming. The general inference methods in PPLs reduce the need for external experts, allow quick prototyping and testing, and accelerate the development and deployment of new models. We show how these birth-death models can be implemented as simple programs in existing PPLs, and demonstrate the usefulness of the proposed inference method for such models. For the popular BiSSE model the method yields an increase of the effective sample size and the conditional acceptance rate by a factor of 30 in comparison with a standard bootstrap particle filter. Although concentrating on phylogenetics, the extended APF is a general inference method that shows its strength in situations where particles are often assigned zero weight. In the case when the weights are always positive, the extra cost of using the APF rather than the bootstrap particle filter is negligible, making our method a suitable drop-in replacement for the bootstrap particle filter in probabilistic programming inference.


title: Robust Humanoid Locomotion Using Trajectory Optimization and Sample-Efficient Learning

abstract: Trajectory optimization (TO) is one of the most powerful tools for generating feasible motions for humanoid robots. However, including uncertainties and stochasticity in the TO problem to generate robust motions can easily lead to intractable problems. Furthermore, since the models used in TO have always some level of abstraction, it can be hard to find a realistic set of uncertainties in the model space. In this paper we leverage a sample-efficient learning technique (Bayesian optimization) to robustify TO for humanoid locomotion. The main idea is to use data from full-body simulations to make the TO stage robust by tuning the cost weights. To this end, we split the TO problem into two phases. The first phase solves a convex optimization problem for generating center of mass (CoM) trajectories based on simplified linear dynamics. The second stage employs iterative Linear-Quadratic Gaussian (iLQG) as a whole-body controller to generate full body control inputs. Then we use Bayesian optimization to find the cost weights to use in the first stage that yields robust performance in the simulation/experiment, in the presence of different disturbance/uncertainties. The results show that the proposed approach is able to generate robust motions for different sets of disturbances and uncertainties.


title: The cone of Z-transformations on the second order cone

abstract: In this paper, we describe the structural properties of the cone of $\mathcal{Z}$-transformations on the second order cone in terms of the semidefinite cone and copositive/completely positive cones induced by the second order cone and its boundary. In particular, we describe its dual as a slice of the semidefinite cone as well as a slice of the completely positive cone of the second order cone. This provides an example of an instance where a conic linear program on a completely positive cone is reduced to a problem on the semidefinite cone.


title: Lingua Custodia at WMT'19: Attempts to Control Terminology

abstract: This paper describes Lingua Custodia's submission to the WMT'19 news shared task for German-to-French on the topic of the EU elections. We report experiments on the adaptation of the terminology of a machine translation system to a specific topic, aimed at providing more accurate translations of specific entities like political parties and person names, given that the shared task provided no in-domain training parallel data dealing with the restricted topic. Our primary submission to the shared task uses backtranslation generated with a type of decoding allowing the insertion of constraints in the output in order to guarantee the correct translation of specific terms that are not necessarily observed in the data.


title: Annihilation energy and decay time of an ortho-Positronium

abstract: We approach to the ortho-positronium (o-Ps) as a relativistic two-body problem in $2+1$ dimensions in which o-Ps is composed of two-oppositely charged particles interacting via an attractive Coulomb force. In addition to separation of center of mass and relative coordinates, mapping the background into the polar space-time gives possibility of construction of possible spin eigen-states of o-Ps. This approach makes the energy spectrum complex in order to describe o-Ps that can decay. From the complex energy expression, we find the annihilation energy, binding energy and the life-time of o-Ps, in S state.


title: Sparse Unit-Sum Regression

abstract: This paper considers sparsity in linear regression under the restriction that the regression weights sum to one. We propose an approach that combines $\ell_0$- and $\ell_1$-regularization. We compute its solution by adapting a recent methodological innovation made by Bertsimas et al. (2016) for $\ell_0$-regularization in standard linear regression. In a simulation experiment we compare our approach to $\ell_0$-regularization and $\ell_1$-regularization and find that it performs favorably in terms of predictive performance and sparsity. In an application to index tracking we show that our approach can obtain substantially sparser portfolios compared to $\ell_1$-regularization while maintaining a similar tracking performance.


title: Formation of rocky and icy planetesimals inside and outside the snow line: Effects of diffusion, sublimation and back-reaction

abstract: It is important to clarify where and when rocky and icy planetesimals are formed in a viscously evolving disk. We wish to understand how local runaway pile-up of solids occurs inside or outside the snow line. We assume an icy pebble contains micron-sized silicate grains that are uniformly mixed with ice and are released during the ice sublimation. Using a local one-dimensional code, we solve the radial drift and the turbulent diffusion of solids and the water vapor, taking account of their sublimation/condensation around the snow line. We systematically investigate effects of back-reactions of the solids to gas on the radial drift and diffusion of solids, scale height evolution of the released silicate particles, and possible difference in effective viscous parameters between that for turbulent diffusion ($\alpha_{\rm tur}$) and that for the gas accretion rate onto the central star ($\alpha_{\rm acc}$). We study the dependence on the ratio of the solid mass flux to the gas ($F_{\rm p/g}$). We show that the favorable locations for the pile-up of silicate grains and icy pebbles are the regions in the proximity of the water snow line inside and outside it, respectively. We found that runaway pile-ups occur when both the back-reactions for radial drift and diffusion are included. In the case with only the back-reaction for the radial drift, no runaway pile-up is found except for extremely high pebble flux, while the condition of streaming instability can be satisfied for relatively large $F_{\rm p/g}$ as found in the past literatures. If the back-reactions for radial diffusion is considered, the runaway pile-up occurs for reasonable value of pebble flux. The runaway pile-up of silicate grains that would lead to formation of rocky planetesimals occurs for $\alpha_{\rm tur} \ll \alpha_{\rm acc}$, while the runaway pile-up of icy pebbles is favored for $\alpha_{\rm tur} \sim \alpha_{\rm acc}$.


title: Cascaded F\"orster Resonance Energy Transfer and Role of the Relay Dye

abstract: The effect of introducing a relay dye on the energy transfer efficiency in a new donor-acceptor system has been studied. The values of the critical transfer distance, the reduced concentration, and the energy transfer efficiency of the cascaded system (consisting of three dyes- donor-relay dye-acceptor) are compared with that of the two dye system. Experimentally, it has been observed that the presence of a relay dye increases the transfer efficiency from the donor to the acceptor.


title: Physics and the Totalitarian Principle

abstract: What is sometimes called the "totalitarian principle," a metaphysical doctrine often associated with the famous physicist Murray Gell-Mann, states that everything allowed by the laws of nature must actually exist. The principle is closely related to the much older "principle of plenitude." Although versions of the totalitarian principle are well known to physicists and often appear in the physics literature, it has attracted little reflection. Apart from a critical examination of the origin and history of the totalitarian principle, the paper discusses this and the roughly similar plenitude principle from a conceptual perspective. In addition it offers historical analyses of a few case studies from modern physics in which reasoning based on the totalitarian principle can be identified. The cases include the prediction of the magnetic monopole, the hypothesis of radioactive protons, and the discovery of the muon neutrino. Moreover, attention is called to the new study of metamaterials.


title: Discontinuous Galerkin discretization for two-equation turbulence closure model

abstract: Accurate representation of vertical turbulent fluxes is crucial for numerical ocean modelling, both in global and coastal applications. The state-of-the-art approach is to use two-equation turbulence closure models which introduces two dynamic equations to the system. Solving these equations numerically, however, is challenging due to the strict requirement of positivity of the turbulent quantities (e.g., turbulence kinetic energy and its dissipation rate), and the non-linear source terms that may render the numerical system unstable. In this paper, we present a Discontinuous Galerkin (DG) finite element discretization of the Generic Length Scale (GLS) equations designed to be incorporated in a DG coastal ocean model, Thetis. To ensure numerical stability, the function space for turbulent quantities must be chosen carefully. In this work, we propose to use zeroth degree elements for the turbulent quantities and linear discontinuous elements for the tracers and velocity. The spatial discretization is completed with a positivity preserving semi-implicit time integration scheme. We validate the implementation with standard turbulence closure model benchmarks and an idealized estuary simulation. Finally, we use the full three-dimensional model to simulate the Columbia River plume. The results confirm that the coupled model generates realistic vertical mixing, and remains stable under strongly stratified conditions and strong tidal forcing. River plume characteristics are well captured.


title: The trace of the trace of the energy-momentum tensor-dependent Einstein's field equations

abstract: The $f(R,T)$ gravity field equations depend generically on both the Ricci scalar $R$ and trace of the energy-momentum tensor $T$. Within the assumption of perfect fluids, the theory carries an arbitrariness regarding the choice of the matter lagrangian density $\mathcal{L}$, not uniquely defined. Such an arbitrariness can be evaded by working with the trace of the theory field equations. From such an equation, one can obtain a form for $\mathcal{L}$, which does not carry the arbitrariness. The obtained form for $\mathcal{L}$ shows that the $f(R,T)$ gravity is unimodular. A new version of the theory is, therefore, presented and forthcoming applications are expected.


title: Minimal linear codes arising from blocking sets

abstract: Minimal linear codes are algebraic objects which gained interest in the last twenty years, due to their link with Massey's secret sharing schemes. In this context, Ashikhmin and Barg provided a useful and a quite easy to handle sufficient condition for a linear code to be minimal, which has been applied in the construction of many minimal linear codes. In this paper, we generalize some recent constructions of minimal linear codes which are not based on Ashikhmin-Barg's condition. More combinatorial and geometric methods are involved in our proofs. In particular, we present a family of codes arising from particular blocking sets, which are well-studied combinatorial objects. In this context, we will need to define cutting blocking sets and to prove some of their relations with other notions in blocking sets' theory. At the end of the paper, we provide one explicit family of cutting blocking sets and related minimal linear codes, showing that infinitely many of its members do not satisfy the Ashikhmin-Barg's condition.


title: Transmission through potential barriers with a generalised Fermi-Dirac current

abstract: We study the effect of the shape of different potential barriers on the transmitted charged current whose fermionic population is not monoenergetic but is described by means of an energy spectrum. The generalised Kappa Fermi-Dirac distribution function is able to take into account both equilibrium and non-equilibrium populations of particles by changing the kappa index. Moreover, the corresponding current density can be evaluated using such a distribution. Subsequently, this progressive charged density arrives at the potential barrier, which is considered under several shapes, and the corresponding transmission factor is evaluated. This permits a comparison of the effects for different barriers as well as for different energy states of the incoming current.


title: Polytopes, lattices, and spherical codes for the nearest neighbor problem

abstract: We study locality-sensitive hash methods for the nearest neighbor problem for the angular distance, focusing on the approach of first projecting down onto a low-dimensional subspace, and then partitioning the projected vectors according to Voronoi cells induced by a suitable spherical code. This approach generalizes and interpolates between the fast but suboptimal hyperplane hashing of Charikar [STOC'02] and the asymptotically optimal but practically often slower hash families of Andoni-Indyk [FOCS'06], Andoni-Indyk-Nguyen-Razenshteyn [SODA'14] and Andoni-Indyk-Laarhoven-Razenshteyn-Schmidt [NIPS'15]. We set up a framework for analyzing the performance of any spherical code in this context, and we provide results for various codes from the literature, such as those related to regular polytopes and root lattices. Similar to hyperplane hashing, and unlike cross-polytope hashing, our analysis of collision probabilities and query exponents is exact and does not hide order terms which vanish only for large $d$, facilitating an easy parameter selection. For the two-dimensional case, we derive closed-form expressions for arbitrary spherical codes, and we show that the equilateral triangle is optimal, achieving a better performance than the two-dimensional analogues of hyperplane and cross-polytope hashing. In three and four dimensions, we numerically find that the tetrahedron, $5$-cell, and $16$-cell achieve the best query exponents, while in five or more dimensions orthoplices appear to outperform regular simplices, as well as the root lattice families $A_k$ and $D_k$. We argue that in higher dimensions, larger spherical codes will likely exist which will outperform orthoplices in theory, and we argue why using the $D_k$ root lattices will likely lead to better results in practice, due to a better trade-off between the asymptotic query exponent and the concrete costs of hashing.


title: Evolutionary techniques in lattice sieving algorithms

abstract: Lattice-based cryptography has recently emerged as a prominent candidate for secure communication in the quantum age. Its security relies on the hardness of certain lattice problems, and the inability of known lattice algorithms, such as lattice sieving, to solve these problems efficiently. In this paper we investigate the similarities between lattice sieving and evolutionary algorithms, how various improvements to lattice sieving can be viewed as applications of known techniques from evolutionary computation, and how other evolutionary techniques can benefit lattice sieving in practice.


title: Approximate Voronoi cells for lattices, revisited

abstract: We revisit the approximate Voronoi cells approach for solving the closest vector problem with preprocessing (CVPP) on high-dimensional lattices, and settle the open problem of Doulgerakis-Laarhoven-De Weger [PQCrypto, 2019] of determining exact asymptotics on the volume of these Voronoi cells under the Gaussian heuristic. As a result, we obtain improved upper bounds on the time complexity of the randomized iterative slicer when using less than $2^{0.076d + o(d)}$ memory, and we show how to obtain time-memory trade-offs even when using less than $2^{0.048d + o(d)}$ memory. We also settle the open problem of obtaining a continuous trade-off between the size of the advice and the query time complexity, as the time complexity with subexponential advice in our approach scales as $d^{d/2 + o(d)}$, matching worst-case enumeration bounds, and achieving the same asymptotic scaling as average-case enumeration algorithms for the closest vector problem.


title: Connections between vector-valued and highest weight Jack and Macdonald polynomials

abstract: We analyze conditions under which a projection from the vector-valued Jack or Macdonald polynomials to scalar polynomials has useful properties, especially commuting with the actions of the symmetric group or Hecke algebra, respectively, and with the Cherednik operators for which these polynomials are eigenfunctions. In the framework of the representation theory of the symmetric group and the Hecke algebra, we study the relation between singular nonsymmetric Jack and Macdonald polynomials and highest weight symmetric Jack and Macdonald polynomials. Moreover, we study the quasistaircase partition as a continuation of our study on the conjectures of Bernevig and Haldane on clustering properties of symmetric Jack polynomials.


title: Video Action Recognition Via Neural Architecture Searching

abstract: Deep neural networks have achieved great success for video analysis and understanding. However, designing a high-performance neural architecture requires substantial efforts and expertise. In this paper, we make the first attempt to let algorithm automatically design neural networks for video action recognition tasks. Specifically, a spatio-temporal network is developed in a differentiable space modeled by a directed acyclic graph, thus a gradient-based strategy can be performed to search an optimal architecture. Nonetheless, it is computationally expensive, since the computational burden to evaluate each architecture candidate is still heavy. To alleviate this issue, we, for the video input, introduce a temporal segment approach to reduce the computational cost without losing global video information. For the architecture, we explore in an efficient search space by introducing pseudo 3D operators. Experiments show that, our architecture outperforms popular neural architectures, under the training from scratch protocol, on the challenging UCF101 dataset, surprisingly, with only around one percentage of parameters of its manual-design counterparts.


title: Effect of Octupole correlations on Fission of Light Nuclei

abstract: Fission of $^{180}$Hg produces mass asymmetric fragments which are expected to be influenced by deformed shell-effects at N=56 in the heavy fragment and Z=34 in the light fragment [G. Scamps and C. Simenel, arXiv:1904.01275 (2019)]. To investigate both shell-effects and to determine which one has the main influence on the asymmetry in the region of the $^{180}$Hg, we produce a systematic of Constraint-Hartree-Fock calculations in nuclei with similar N/Z ratio than the $^{178}$Pt. It is found that N=56 determines the asymmetry of systems in this region of the nuclear chart.


title: Oxygen abundance and the N/C vs N/O relation for AFG supergiants and bright giants

abstract: Non-LTE analysis (LTE is local thermodynamic equilibrium) of the oxygen abundances for 51 Galactic A-, F- and G-type supergiants and bright giants is performed. In contrast with carbon and nitrogen, oxygen does not show any significant systematic anomalies in their abundances log E(O). There is no marked difference from the initial oxygen abundance within errors of the log E(O) determination across the Teff interval from 4500 to 8500 K and the log g interval from 1.2 to 2.9 dex. This result agrees well with theoretical predictions for stellar models with rotation. With our new data for oxygen and our earlier non-LTE determinations of the N and C abundances for stars from the same sample, we constructed the [N/C] vs [N/O] relation for 17 stars. This relation is known to be a sensitive indicator of stellar evolution. A pronounced correlation between [N/C] vs [N/O] is found; the observed [N/C] increase from 0 to 1.6 dex is accompanied by the [N/O] increase from 0 to 0.9 dex. When comparing the observed [N/C] vs [N/O] relation with the theoretical one, we show that this relation reflects a strong dependence of the evolutionary changes in CNO abundances on the initial rotation velocities of stars. Given that the initial rotational velocities of these stars are expected to satisfy V0<150 km/s, it is found that they are mostly the post first dredge-up (post-FDU) objects. It is important that just such initial velocities V0 are typical for about 80% of stars in question (i.e. for stars with masses 4-19 M_sun). A constancy of the total C+N+O abundance during stellar evolution is confirmed. The mean value log E(C+N+O)=8.97+/-0.08 found for AFG supergiants and bright giants seems to be very close to the initial value 8.92 (the Sun) or 8.94 (the unevolved B-type MS stars).


title: Advances in Precise Radial Velocimetry From Cross-Disciplinary Work in Heliophysics, Stellar Astronomy, and Instrumentation

abstract: Progress in stellar precise radial velocity work will require the stellar, exoplanetary, and instrument scientists in the precise RV community to be better engaged with the heliophysics community. This engagement will require funding for close collaboration among statisticians, heliophysicists, instrument builders, and stellar astronomers, dedicated meetings where the communities can learn about each other and interact inperson, and computational and observational resources to generate the appropriate synthetic and real data sets to drive and prove theoretical understanding of RV jitter.


title: Radii of starlikeness and convexity of $q-$Mittag--Leffler functions

abstract: In this paper we deal with the radii of starlikeness and convexity of the $q-$Mittag--Leffler function for three different kinds of normalization by making use of their Hadamard factorization in such a way that the resulting functions are analytic in the unit disk of the complex plane. By applying Euler-Rayleigh inequalities for the first positive zeros of these functions tight lower and upper bounds for the radii of starlikeness of these functions are obtained. The Laguerre-P\'olya class of real entire functions plays a pivotal role in this investigation.


title: Multi-Person tracking by multi-scale detection in Basketball scenarios

abstract: Tracking data is a powerful tool for basketball teams in order to extract advanced semantic information and statistics that might lead to a performance boost. However, multi-person tracking is a challenging task to solve in single-camera video sequences, given the frequent occlusions and cluttering that occur in a restricted scenario. In this paper, a novel multi-scale detection method is presented, which is later used to extract geometric and content features, resulting in a multi-person video tracking system. Having built a dataset from scratch together with its ground truth (more than 10k bounding boxes), standard metrics are evaluated, obtaining notable results both in terms of detection (F1-score) and tracking (MOTA). The presented system could be used as a source of data gathering in order to extract useful statistics and semantic analyses a posteriori.


title: Two-loop diagrams in non-relativistic QCD with elliptics

abstract: In this paper we consider two-loop two-, three- and four-point diagrams with elliptic structure in the case of two different masses $m$ and $M$. The latter diagrams generally arise within NRQCD matching procedures and are relevant for parapositronium decay and top pair production at threshold. We present the obtained results in several different representations: series solution with binomial coefficients, integral representation and representation in terms of generalized hypergeometric functions. The results are valid up to $\mathcal{O}(\varepsilon)$ terms in $d=4-2\varepsilon$ space-time dimensions. In the limit of equal masses $m=M$ the obtained results are written in terms of elliptic constants with explicit series representation.


title: Determination of spin relaxation time and spin diffusion length by oscillation of spin pumping signal

abstract: We theoretically investigate a manipulation method of nonequilibrium spin accumulation in the paramagnetic normal metal of a spin pumping system, by using the spin precession motion combined with the spin diffusion transport. We demonstrate based on the Bloch-Torrey equation that the direction of the nonequilibrium spin accumulation is changed by applying an additional external magnetic field, and consequently, the inverse spin Hall voltage in an adjacent paramagnetic heavy metal changes its sign. We find that the spin relaxation time and the spin diffusion length are simultaneously determined by changing the magnitude of the external magnetic field and the thickness of the normal metal in a commonly-used spin pumping system.


title: Santha-Vazirani sources, deterministic condensers and very strong extractors

abstract: The notion of semi-random sources, also known as Santha-Vazirani (SV) sources, stands for a sequence of n bits, where the dependence of the i'th bit on the previous i-1 bits is limited for every $i\in[n]$. If the dependence of the i'th bit on the remaining n-1 bits is limited, then this is a strong SV-source. Even the strong SV-sources are known not to admit (universal) deterministic extractors, but they have seeded extractors, as their min-entropy is $\Omega(n)$. It is intuitively obvious that strong SV-sources are more than just high-min-entropy sources, and this work explores the intuition. Deterministic condensers are known not to exist for general high-min-entropy sources, and we construct for any constants $\epsilon, \delta \in (0,1)$ a deterministic condenser that maps n bits coming from a strong SV-source with bias at most $\delta$ to $\Omega(n)$ bits of min-entropy rate at least $1-\epsilon$. In conclusion we observe that deterministic condensers are closely related to very strong extractors - a proposed strengthening of the notion of strong (seeded) extractors: in particular, our constructions can be viewed as very strong extractors for the family of strong Santha-Vazirani distributions. The notion of very strong extractors requires that the output remains unpredictable even to someone who knows not only the seed value (as in the case of strong extractors), but also the extractor's outputs corresponding to the same input value with each of the preceding seed values (say, under the lexicographic ordering). Very strong extractors closely resemble the original notion of SV-sources, except that the bits must satisfy the unpredictability requirement only on average.


title: One Shot Learning for Deformable Medical Image Registration and Periodic Motion Tracking

abstract: Deformable image registration is a very important field of research in medical imaging. Recently multiple deep learning approaches were published in this area showing promising results. However, drawbacks of deep learning methods are the need for a large amount of training datasets and their inability to register unseen images different from the training datasets. One shot learning comes without the need of large training datasets and has already been proven to be applicable to 3D data. In this work we present a one shot registration approach for periodic motion tracking in 3D and 4D datasets. When applied to 3D dataset the algorithm calculates the inverse of a registration vector field simultaneously. For registration we employed a U-Net combined with a coarse to fine approach and a differential spatial transformer module. The algorithm was thoroughly tested with multiple 4D and 3D datasets publicly available. The results show that the presented approach is able to track periodic motion and to yield a competitive registration accuracy. Possible applications are the use as a stand-alone algorithm for 3D and 4D motion tracking or in the beginning of studies until enough datasets for a separate training phase are available.


title: Unimodular Polynomial Matrices over Finite Fields

abstract: We consider some combinatorial problems on matrix polynomials over finite fields. Using results from control theory we give a proof of a result of Helmke, Jordan and Lieb on the number of linear unimodular matrix polynomials over a finite field. As an application of our results we give a new proof of a theorem of Chen and Tseng which answers a question of Niederreiter on splitting subspaces. We use our results to affirmatively resolve a conjecture on the probability that a matrix polynomial is unimodular.