title: Non equivalence of dynamical ensembles and emergent non ergodicity

abstract: Dynamical ensembles have been introduced to study constrained stochastic processes. In the microcanonical ensemble, the value of a dynamical observable is constrained to a given value. In the canonical ensemble a bias is introduced in the process to move the mean value of this observable. The equivalence between the two ensembles means that calculations in one or the other ensemble lead to the same result. In this paper, we study the physical conditions associated with ensemble equivalence and the consequences of non-equivalence. For continuous time Markov jump processes, we show that ergodicity guarantees ensemble equivalence. For non-ergodic systems or systems with emergent ergodicity breaking, we adapt a method developed for equilibrium ensembles to compute asymptotic probabilities while caring about the initial condition. We illustrate our results on the infinite range Ising model by characterizing the fluctuations of magnetization and activity. We discuss the emergence of non ergodicity by showing that the initial condition can only be forgotten after a time that scales exponentially with the number of spins.


title: Imperfect Diffusion-Controlled Reactions

abstract: This chapter aims at emphasizing the crucial role of partial reactivity of a catalytic surface or a target molecule in diffusion-controlled reactions. We discuss various microscopic mechanisms that lead to imperfect reactions, the Robin boundary condition accounting for eventual failed reaction events, and the construction of the underlying stochastic process, the so-called partially reflected Brownian motion. We show that the random path to the reaction event can naturally be separated into the transport step toward the target, and the exploration step near the target surface until reaction. While most studies are focused exclusively on the transport step (describing perfect reactions), the exploration step, consisting is an intricate combination of diffusion-mediated jumps between boundary points, and its consequences for chemical reactions remain poorly understood. We discuss the related mathematical difficulties and recent achievements. In particular, we derive a general representation of the propagator, show its relation to the Dirichlet-to-Neumann operator, and illustrate its properties in the case of a flat surface.


title: Two-field disformal transformation and mimetic cosmology

abstract: We extend the disformal transformation to models with two scalar fields and look at its singular limit. Solving the eigentensor equation for the Jacobian of the transformation of the metrics we find the two-field extension of the mimetic scenario in the singular conformal limit. At the background level the setup mimics the roles of dark matter cosmology. We decompose the perturbations into the adiabatic and entropy modes in which the adiabatic perturbation is tangential to the classical trajectory while the entropy mode is perpendicular to it. We show that the adiabatic mode is frozen while the entropy mode propagates with the sound speed equal to unity with no instabilities.


title: On a conjecture on permutation polynomials over finite fields

abstract: Let $\Bbb F_q$ be the finite field with $q$ elements and let $p=\text{char}\,\Bbb F_q$. It was conjectured that for integers $e\ge 2$ and $1\le a\le pe-2$, the polynomial $X^{q-2}+X^{q^2-2}+\cdots+X^{q^a-2}$ is a permutation polynomial of $\Bbb F_{q^e}$ if and only if (i) $a=2$ and $q=2$, or (ii) $a=1$ and $\text{gcd}(q-2,q^e-1)=1$. In the present paper we confirm this conjecture.


title: Optimal design of diamond-air microcavities for quantum networks using an analytical approach

abstract: Defect centers in diamond are promising building blocks for quantum networks thanks to a long-lived spin state and bright spin-photon interface. However, their low fraction of emission into a desired optical mode limits the entangling success probability. The key to overcoming this is through Purcell enhancement of the emission. Open Fabry-Perot cavities with an embedded diamond membrane allow for such enhancement while retaining good emitter properties. To guide the focus for design improvements it is essential to understand the influence of different types of losses and geometry choices. In particular, in the design of these cavities a high Purcell factor has to be weighed against cavity stability and efficient outcoupling. To be able to make these trade-offs we develop analytic descriptions of such hybrid diamond-and-air cavities as an extension to previous numeric methods. The insights provided by this analysis yield an effective tool to find the optimal design parameters for a diamond-air cavity.


title: SynNet: Structure-Preserving Fully Convolutional Networks for Medical Image Synthesis

abstract: Cross modal image syntheses is gaining significant interests for its ability to estimate target images of a different modality from a given set of source images,like estimating MR to MR, MR to CT, CT to PET etc, without the need for an actual acquisition.Though they show potential for applications in radiation therapy planning,image super resolution, atlas construction, image segmentation etc.The synthesis results are not as accurate as the actual acquisition.In this paper,we address the problem of multi modal image synthesis by proposing a fully convolutional deep learning architecture called the SynNet.We extend the proposed architecture for various input output configurations. And finally, we propose a structure preserving custom loss function for cross-modal image synthesis.We validate the proposed SynNet and its extended framework on BRATS dataset with comparisons against three state-of-the art methods.And the results of the proposed custom loss function is validated against the traditional loss function used by the state-of-the-art methods for cross modal image synthesis.


title: A Predictable Incentive Mechanism for TrueBit

abstract: TrueBit is a protocol that uses interactive verification to allow a resource-constrained computation environment like a blockchain to perform much larger computations than usual in a trusted way. As long as a single honest participant is present to verify the computation, an invalid computation cannot get accepted. In TrueBit, the presence of such a verifier is incentivised by randomly injected forced errors. Additionally, in order to counter sybil attacks, the reward for finding an error drops off exponentially with the number of challengers. The main drawback of this mechanism is that it makes it very hard to predict whether participation will be profitable or not. To even out the rewards, we propose to randomly select multiple solvers from a pool and evenly share the fees among them, while still allowing outside challengers. Furthermore, a proof of independent execution will make it harder to establish computation pools which share computation results.


title: Pressure Bifurcation Phenomenon on Supersonic Blowing Trailing Edges

abstract: Turbine blades operating in transonic-supersonic regime develop a complex shock wave system at the trailing edge, a phenomenon that leads to unfavorable pressure perturbations downstream and can interact with other turbine stages. Understanding the fluid behavior of the area adjacent to the trailing edge is essential in order to determine the parameters that have influence on these pressure fluctuations. Colder flow, bled from the high-pressure compressor, is often purged at the trailing edge to cool the thin blade edges, affecting the flow behavior and modulating the intensity and angle of the shock waves system. However, this purge flow can sometimes generate non-symmetrical configurations due to a pressure difference that is provoked by the injected flow. In this work, a combination of RANS simulations and global stability analysis is employed to explain the physical reasons of this flow bifurcation. Analyzing the features that naturally appear in the flow and become dominant for some value of the parameters involved in the problem, an anti-symmetrical global mode, related to the sudden geometrical expansion of the trailing edge slot, is identified as the main mechanism that forces the changes in the flow topology.


title: Defining Curvature as a Measure via Gauss-Bonnet on Certain Singular Surfaces

abstract: We show how to define curvature as a measure using the Gauss-Bonnet Theorem on a family of singular surfaces obtained by gluing together smooth surfaces along boundary curves. We find an explicit formula for the curvature measure as a sum of three types of measures: absolutely continuous measures, measures supported on singular curves, and discrete measures supported on singular points. We discuss the spectral asymptotics of the Laplacian on these surfaces.


title: Play Duration based User-Entity Affinity Modeling in Spoken Dialog System

abstract: Multimedia streaming services over spoken dialog systems have become ubiquitous. User-entity affinity modeling is critical for the system to understand and disambiguate user intents and personalize user experiences. However, fully voice-based interaction demands quantification of novel behavioral cues to determine user affinities. In this work, we propose using play duration cues to learn a matrix factorization based collaborative filtering model. We first binarize play durations to obtain implicit positive and negative affinity labels. The Bayesian Personalized Ranking objective and learning algorithm are employed in our low-rank matrix factorization approach. To cope with uncertainties in the implicit affinity labels, we propose to apply a weighting function that emphasizes the importance of high confidence samples. Based on a large-scale database of Alexa music service records, we evaluate the affinity models by computing Spearman correlation between play durations and predicted affinities. Comparing different data utilizations and weighting functions, we find that employing both positive and negative affinity samples with a convex weighting function yields the best performance. Further analysis demonstrates the model's effectiveness on individual entity level and provides insights on the temporal dynamics of observed affinities.


title: Collision-dominated conductance in clean 2D metals

abstract: We study the temperature-dependent corrections to the conductance due to electron-electron (e-e) interactions in clean two-dimensional conductors, such as lightly doped graphene or other Dirac matter. We use semiclassical Boltzmann kinetic theory to solve the problem of collision-dominated transport between reflection-free contacts. Time-reversal symmetry and the kinematic constraints of scattering in two dimensions (2D) ensure that inversion-odd and inversion-even distortions of the quasiparticle distribution relax with parametrically different rates at low temperature. This entails the surprising result that at lowest temperatures the conductance of very long samples tends to the noninteracting, ballistic conductance, despite the relaxation of the quasiparticle distribution to a drifting equilibrium. The relative correction to the conductance depends on the ratio of relaxation rates of even and odd modes and scales as delta G/G_{ballistic}~(T/E_F)[Log(E_F/T)]^{1/2}, in stark contrast to the behavior in other dimensionalities. This holds generally in 2D systems with simply connected and convex but otherwise arbitrary Fermi surfaces, as long as e-e scattering processes are dominant and umklapp scattering is negligible. These results are especially relevant to the bulk of wide and long suspended high-mobility graphene sheets.


title: Knit product of finite groups and sampling

abstract: A finite sampling theory associated with a unitary representation of a finite non Abelian group $\mathbf{G}$ on a Hilbert space is stablished. The non Abelian group $\mathbf{G}$ is a knit product $\mathbf{N}\bowtie \mathbf{H}$ of two finite subgroups $\mathbf{N}$ and $\mathbf{H}$. Sampling formulas where the samples are indexed by either $\mathbf{N}$ or $\mathbf{H}$ are obtained. Using suitable expressions for the involved samples, the problem is reduced to obtain dual frames in the Hilbert space $\ell^2(\mathbf{G})$ having a unitary invariance property; this is done by using matrix analysis techniques. An example involving dihedral groups illustrates the obtained sampling results.


title: Complex-angle analysis of electromagnetic waves on interfaces

abstract: Electromagnetic wave is reflected and refracted at interfaces, satisfying Fresnel-Snell law which is required by conservations of energy and momentum. If the incident angle is lower than the critical angle, we can use this Fresnel-Snell law, but the Fresnel-Snell law is modified in the case of existence of dissipation ($\tilde{n} = n + i\kappa, \kappa > 0$) or in the condition of total internal reflection. In the cases, we have to extend the angle of refraction from real number to complex number ($\theta \rightarrow \tilde{\theta} = \theta + i\psi, \psi \neq 0$). In this paper, by using complex-angle approach, we analyse the behaviour of electromagnetic waves in various kind of interfaces: dielectric - dielectric system, dissipative dielectric - dielectric system, and metal - dielectric system. We show that iso-frequency curves in wavenumber space is opened in the case where $n, \kappa > 0$, and closed either when $n \rightarrow 0$ or when $\kappa \rightarrow 0$ ("Lifshitz transition" of electromagnetic waves). Excess momentum (wavenumber) and anomalous spin (circular polarization) emerging with the transition are also discussed.


title: Using a kinetic BGK model to determine transport coefficients of gas mixtures

abstract: We consider a non reactive two component gas mixture. In a macroscopic description of a gas mixture we expect four physical coefficients characterizing the physical behaviour of the gases to appear. These are the diffusion coefficient, the viscosity coefficient, the heat conductivity and the thermal diffusion parameter in the Navier-Stokes equations. We present a Chapman-Enskog expansion of a kinetic model for gas mixtures by Klingenberg, Pirner and Puppo, 2017 that has three free parameters in order to capture three of these four physical coefficients. In addition, we propose several possible extensions to an ellipsoidal statistical model for gas mixtures in order to capture the fourth coefficient.


title: Deep Learning and its Application to LHC Physics

abstract: Machine learning has played an important role in the analysis of high-energy physics data for decades. The emergence of deep learning in 2012 allowed for machine learning tools which could adeptly handle higher-dimensional and more complex problems than previously feasible. This review is aimed at the reader who is familiar with high energy physics but not machine learning. The connections between machine learning and high energy physics data analysis are explored, followed by an introduction to the core concepts of neural networks, examples of the key results demonstrating the power of deep learning for analysis of LHC data, and discussion of future prospects and concerns.

categories: hep-ex hep-ph physics.comp-ph physics.data-an


title: Kinetic/Fluid micro-macro numerical scheme for a two component gas mixture

abstract: This work is devoted to the numerical simulation of the \BGK equation for two species in the fluid limit using a particle method. Thus, we are interested in a gas mixture consisting of two species without chemical reactions assuming that the number of particles of each species remains constant. We consider the kinetic two species model proposed by Klingenberg, Pirner and Puppo in 2017, which separates the intra and interspecies collisions. We want to study numerically the influence of the two relaxation term, one corresponding to intra, the other to interspecies collisions. For this, we use the method of micro-macro decomposition. First, we derive an equivalent model based on the micro-macro decomposition (see Bennoune, Lemou and Mieussens, 2007 and Crestetto, Crouseilles and Lemou, 2013). The kinetic micro part is solved by a particle method, whereas the fluid macro part is discretized by a standard finite volume scheme. Main advantages of this approach are: (i) the noise inherent to the particle method is reduced compared to a standard (without micro-macro decomposition) particle method, (ii) the computational cost of the method is reduced in the fluid limit since a small number of particles is then sufficient.


title: A consistent kinetic model for a two-component mixture of polyatomic molecules

abstract: We consider a multi component gas mixture with translational and internal energy degrees of freedom assuming that the number of particles of each species remains constant. We will illustrate the derived model in the case of two species, but the model can be easily generalized to multiple species. The two species are allowed to have different degrees of freedom in internal energy and are modelled by a system of kinetic ES-BGK equations featuring two interaction terms to account for momentum and energy transfer between the species. We prove consistency of our model: conservation properties, positivity of the temperature, H-theorem and convergence to a global equilibrium in the form of a global Maxwell distribution. Thus, we are able to derive the usual macroscopic conservation laws. For numerical purposes we apply the Chu reduction to the developed model for polyatomic gases and give an application for a gas consisting of a mono atomic and a diatomic species.


title: On quantifying uncertainties for the linearized BGK kinetic equation

abstract: We consider the linearized BGK equation and want to quantify uncertainties in the case of modelling errors. More specifically, we want to quantify the error produced if the pre-determined equilibrium function is chosen inaccurately. In this paper we consider perturbations in the velocity and in the temperature of the equilibrium function and consider how much the error is amplified in the solution.


title: Kinetic ES-BGK models for a multi-component gas mixture

abstract: We consider a multi component mixture of inert gas in the kinetic regime by assuming that the total number of particles of each species remains constant. In this article we shall illustrate our model for the case of two species. To account for thermal effects, we extend a BGK model based on the presence of a collision term for each possible interaction \cite{Pirner} by including ES-BGK effects. We prove consistency of the extended model like conservation properties, positivity of all temperatures, H-theorem and convergence to a global equilibrium in the shape of a global Maxwell distribution.


title: SuperIso Relic v4: A program for calculating dark matter and flavour physics observables in Supersymmetry

abstract: We describe SuperIso Relic, a public program for the calculation of dark matter relic density and direct and indirect detection rates, which includes in addition the SuperIso routines for the calculation of flavour physics observables. SuperIso Relic v4 incorporates many new features, namely the possibility of multiprocessor calculation of the relic density, new cosmological models, and the implementations of the calculation of the observables related to direct and indirect detection experiments. Furthermore, the new version includes an implementation of the nuclear and astrophysical uncertainties, from namely nuclear form factors, dark matter density and velocity, as well as cosmic ray propagation through the galactic medium.


title: Introducing particle physics concepts through visual art

abstract: The development of a workshop using the language, techniques, and processes of visual art to introduce particle physics concepts is described. Innovative delivery methods committed to the interaction and collaboration of different specialist areas are utilised, which - in curriculum terms - encourages connections to be made between separate subjects to the benefit of both. Beyond enhancing understanding about the nature of the microcosm, this approach aims to stimulate a "creative curiosity" about the world.


title: On the reverse Faber-Krahn inequalities

abstract: Payne-Weinberger showed that \textit{`among the class of membranes with given area $A$, free along the interior boundaries and fixed along the outer boundary of given length $L_0$, the annulus $\Omega^\#$ has the highest fundamental frequency,'} where $\Omega^\#$ is a concentric annulus with the same area as $\Omega$ and the same outer boundary length as $L_0$. We extend this result for the higher dimensional domains and $p$-Laplacian with $p\in (1,\infty),$ under the additional assumption that the outer boundary is a sphere. As an application, we prove that the nodal set of the second eigenfunctions of $p$-Laplacian (with mixed boundary conditions) on a ball and a concentric annulus cannot be a concentric sphere.


title: Constructions of Locally Recoverable Codes which are Optimal

abstract: Let $q$ be a prime power and $\mathbb F_q$ be the finite field of size $q$. In this paper we provide a Galois theoretical framework that allows to produce good polynomials for the Tamo and Barg construction of optimal locally recoverable codes (LRC). Using our approach we construct new good polynomials and then optimal LRCs with new parameters. The existing theory of good polynomials fits entirely in our new framework. The key advantage of our method is that we do not need to rely on arithmetic properties of the pair $(q,r)$, where $r$ is the locality of the code.


title: A counterexample to a strong version of the Andrews-Curtis conjecture

abstract: We prove that the presentations $\langle x,y | [x,y],1 \rangle$ and $\langle x,y | [x,[x,y^{-1}]]^2y[y^{-1},x]y^{-1},[x,[[y^{-1},x],x]] \rangle$ are not $Q^*$-equivalent even though their standard complexes have the same simple homotopy type.


title: Comparing Graph Clusterings: Set partition measures vs. Graph-aware measures

abstract: In this paper, we propose a family of graph partition similarity measures that take the topology of the graph into account. These graph-aware measures are alternatives to using set partition similarity measures that are not specifically designed for graph partitions. The two types of measures, graph-aware and set partition measures, are shown to have opposite behaviors with respect to resolution issues and provide complementary information necessary to assess that two graph partitions are similar.


title: The quantum tropical vertex

abstract: Gross-Pandharipande-Siebert have shown that the 2-dimensional Kontsevich-Soibelman scattering diagrams compute certain genus zero log Gromov-Witten invariants of log Calabi-Yau surfaces. We show that the $q$-refined 2-dimensional Kontsevich-Soibelman scattering diagrams compute, after the change of variables $q=e^{i \hbar}$, generating series of certain higher genus log Gromov-Witten invariants of log Calabi-Yau surfaces. This result provides a mathematically rigorous realization of the physical derivation of the refined wall-crossing formula from topological string theory proposed by Cecotti-Vafa, and in particular can be seen as a non-trivial mathematical check of the connection suggested by Witten between higher genus open A-model and Chern-Simons theory. We also prove some new BPS integrality results and propose some other BPS integrality conjectures.


title: Mammographic Image Enhancement using Digital Image Processing Technique

abstract: Abstract PURPOSES this study aims to perform microcalsification detection by performing image enhancement in mammography image by using transformation of negative image and histogram equalization. image mammography with .pgm format changed to. jpg format then processed into negative image result then processed again using histogram equalization. the results of the image enhancement process using negative image techniques and equalization histograms are compared and validated with MSE and PSNR on each mammographic image. CONCLUSION: Image enhancement process on mammography image can be done, however there are only some image that have improved quality, this affected by threshold usage, which have important role to get better visualization on mammographic image. Keywords-component; Image enhancement, image negative, histogram equalization, mammographic, breast cancer


title: High Sensitivity Collimators for Optimising Lesion Detection in SPECT Images

abstract: Parallel hole collimators which are currently routinely used in SPECT imaging were designed a few decades ago, when filtered backprojection (FBP) was used for tomographic reconstruction. Statistical reconstruction methods with precise modeling of the projection measurement offer a different standard, and the question of optimizing resolution - sensitivity tradeoff by choosing appropriate collimator aperture needs to be revised. In this paper we search for a parallel hole collimator which offers best performance in detection of hot lesions on a uniform background. To evaluate the image quality we use standard quantitative measures like the contrast recovery coefficient, coefficient of variation, and contrast to noise ratio. We also performed signal detection by human observers followed by Receiver Operating Characteristics (ROC) analysis for a few lesions close to the limit of visibility. Our results consistently indicate that optimal performance is achieved with collimators of sensitivity 6 - 9 times that of the conventional high resolution (HR) collimator. When the optimized collimator is applied, the image quality of the conventional image obtained with the HR can be achieved at scanning time or activity dose reduced by factor of 3.


title: On the upper bound of the $L_p$ discrepancy of Halton's sequence and the Central Limit Theorem for Hammersley's net

abstract: Let $(H_s(n))_{n \geq 1}$ be an $s-$dimensional Halton's sequence, and let ${\mathcal{H}}_{s+1,N}=(H_s(n),n/N)_{n=0}^{N-1}$ be the $s+1-$dimensional Hammersley point set. Let $D(\mathbf{x},(H_n)_{n=0}^{N-1} )$ be the local discrepancy of $(H_n)_{n=0}^{N-1}$, and let $D_{s,p} ( (H_n)_{n=0}^{N-1}) $ be the $L_p$ discrepancy of $(H_n)_{n=0}^{N-1} $. It is known that $\limsup_{N \to \infty} N (\log N)^{-s/2} D_{s,p} (H_s(N))_{n=0}^{N-1} >0$. In this paper, we prove that $$D_{s,p} ((H_s(N))_{n=0}^{N-1}) = O(N^{-1} \log^{s/2} N) \quad {\rm for} \; \; N \to \infty.$$ I.e., we found the smallest possible order of magnitude of $L_p$ discrepancy of Halton's sequence. Then we prove the Central Limit Theorem for Hammersley net : \begin{equation}\nonumber N^{-1} D(\bar{\mathbf{x}},\mathcal{H}_{s+1,N} )/ D_{s+1,2}(\mathcal{H}_{s+1,N}) \stackrel{w}{\rightarrow} \mathcal{N}(0,1), \end{equation} where $\bar{\mathbf{x}}$ is a uniformly distributed random variable in $[0,1]^{s+1}$. The main tool is the theorem on $p$-adic logarithmic forms.


title: Disentangling multiple high-energy emission components in the Vela X pulsar wind nebula with the Fermi Large Area Telescope

abstract: Vela X is a pulsar wind nebula in which two relativistic particle populations with distinct spatial and spectral distributions dominate the emission at different wavelengths. An extended $2^\circ \times 3^\circ$ nebula is seen in radio and GeV gamma rays. An elongated cocoon prevails in X-rays and TeV gamma rays. We use 9.5 years of data from the Fermi Large Area Telescope (LAT) to disentangle gamma-ray emission from the two components in the energy range from 10 GeV to 2 TeV, bridging the gap between previous measurements at GeV and TeV energies. We determine the morphology of emission associated to Vela X separately at energies < 100 GeV and > 100 GeV, and compare it to the morphology seen at other wavelengths. Then, we derive the spectral energy distribution of the two gamma-ray components over the full energy range. The best fit to the LAT data is provided by the combination of the two components derived at energies < 100 GeV and > 100 GeV. The first component has a soft spectrum, spectral index $2.19\pm0.16^{+0.05}_{-0.22}$, and extends over a region of radius $1.36^\circ\pm0.04^\circ$, consistent with the radio nebula. The second component has a harder spectrum, spectral index $0.9\pm0.3^{+0.3}_{-0.1}$, and is concentrated over an area of radius $0.63^\circ\pm0.03^\circ$, coincident with the X-ray cocoon that had already been established to account for the bulk of the emission at TeV energies. The spectrum measured for the low-energy component corroborates previous evidence for a roll-over of the electron spectrum at energies of a few tens of GeV possibly due to diffusive escape. The high-energy component has a very hard spectrum: if the emission is produced by electrons with a power-law spectrum the electrons must be uncooled, and there is a hint that their spectrum may be harder than predictions by standard models of Fermi acceleration at relativistic shocks. (Abridged)


title: Bayesian Counterfactual Risk Minimization

abstract: We present a Bayesian view of counterfactual risk minimization (CRM) for offline learning from logged bandit feedback. Using PAC-Bayesian analysis, we derive a new generalization bound for the truncated inverse propensity score estimator. We apply the bound to a class of Bayesian policies, which motivates a novel, potentially data-dependent, regularization technique for CRM. Experimental results indicate that this technique outperforms standard $L_2$ regularization, and that it is competitive with variance regularization while being both simpler to implement and more computationally efficient.


title: Effect of beam energy straggling on resonant yield in thin gas targets: The cases $^{22}$Ne(p,{\gamma})$^{23}$Na and $^{14}$N(p,{\gamma})$^{15}$O

abstract: When deriving resonance strengths using the thick-target yield approximation, for very narrow resonances it may be necessary to take beam energy straggling into account. This applies to gas targets of a few keV width, especially if there is some additional structure in target stoichiometry or detection efficiency. The correction for this effect is shown and tested on recent studies of narrow resonances in the $^{22}$Ne(p,{\gamma})$^{23}$Na and $^{14}$N(p,{\gamma})$^{15}$O reactions.


title: Euler calculus on spaces homeomorphic to definable sets and some applications

abstract: We show that integration with respect to the Euler-Poincar\'e characteristic can be extended from the setting of definable sets to the setting of topological spaces homeomorphic to definable sets. We use that extension to generalize a result regarding sensor networks due to Ghrist and Baryshnikov, in order to make it more flexible in applications. Finally, we obtain both an extension and a combinatorial proof of a classical result about the Euler-Poincar\'e characteristic of fiber bundles.


title: RPC upgrade project for CMS Phase II

abstract: The Muon Upgrade Phase II of the Compact Muon Solenoid (CMS) aims to guarantee the optimal conditions of the present system and extend the $\eta$ coverage to ensure a reliable system for the High Luminosity Large Hadron Collider (HL-LHC) period. The Resistive Plate Chambers (RPCs) system will upgrade the off-detector electronics (called link system) of the chambers currently installed chambers and place improved RPCs (iRPCs) to cover the high pseudo$-$rapidity region, a challenging region for muon reconstruction in terms of background and momentum resolution. In order to find the best option for the iRPCs, an R\&D program for new detectors was performed and real size prototypes have been tested in the Gamma Irradiation Facility (GIF++) at CERN. The results indicated that the technology suitable for the high background conditions is based on High Pressure Laminate (HPL) double-gap RPC. The RPC Upgrade Phase II program is planned to be ready after the Long Shutdown 3 (LS3).


title: 44 Validated Planets from K2 Campaign 10

abstract: We present 44 validated planets from the 10$^\mathrm{th}$ observing campaign of the NASA $K2$ mission, as well as high resolution spectroscopy and speckle imaging follow-up observations. These 44 planets come from an initial set of 72 vetted candidates, which we subjected to a validation process incorporating pixel-level analyses, light curve analyses, observational constraints, and statistical false positive probabilities. Our validated planet sample has median values of $R_p$ = 2.2 $R_\oplus$, $P_\mathrm{orb}$ = 6.9 days, $T_{\mathrm{eq}}$ = 890 K, and $J$ = 11.2 mag. Of particular interest are four ultra-short period planets ($P_\mathrm{orb} \lesssim 1$ day), 16 planets smaller than 2 $R_\oplus$, and two planets with large predicted amplitude atmospheric transmission features orbiting infrared-bright stars. We also present 27 planet candidates, most of which are likely to be real and worthy of further observations. Our validated planet sample includes 24 new discoveries, and has enhanced the number of currently known super-Earths ($R_p \approx 1-2 R_\oplus$), sub-Neptunes ($R_p \approx 2-4 R_\oplus$), and sub-Saturns ($R_p \approx 4-8 R_\oplus$) orbiting bright stars ($J = 8-10$ mag) by $\sim$4%, $\sim$17%, and $\sim$11%, respectively.


title: Reduced effective scanning time in SPECT due to OSEM accelerated reconstruction

abstract: We study the increase of image noise which can be observed in images reconstructed with the OSEM algorithm. We argue that the excessive noise is equivalent to shortening scanning time by a factor of 2 or more at high number of subsets (acceleration factors). Therefore, by keeping the number of OSEM subsets low one can significantly reduce image noise, which in turn is equivalent to increasing scanning time or radiation dose. While the OSEM remains a very useful reconstruction method enabling substantial reduction of reconstruction times, it should be used with caution. In particular, high numbers of subsets should be avoided if possible. Whenever the available computing power allows achieving acceptable reconstruction times at lower number of subsets, one can consider reducing scanning time or injected dose, while maintaining the image quality of standard scans reconstructed with higher OSEM acceleration. The recommended maximal "safe" number of subsets, which does not lead to significant increase of image noise, is about 5.


title: Learning with minimal information in continuous games

abstract: We introduce a stochastic learning process called the dampened gradient approximation process. While learning models have almost exclusively focused on finite games, in this paper we design a learning process for games with continuous action sets. It is payoff-based and thus requires from players no sophistication and no knowledge of the game. We show that despite such limited information, players will converge to Nash in large classes of games. In particular, convergence to a Nash equilibrium which is stable is guaranteed in all games with strategic complements as well as in concave games; convergence to Nash often occurs in all locally ordinal potential games; convergence to a stable Nash occurs with positive probability in all games with isolated equilibria.


title: Wave-Guiding Part of a Capacitor Paradox

abstract: A capacitor paradox is an electromagnetic problem designed to show the limits of circuit theory which considers the connection of two ideal capacitors, one charged and the second discharged. A blind solution to this problem leads to the non-conservation of energy and, thus, to a paradox. In this text an attempt is made to isolate the inductance part of the problem in the form of wave-guiding phenomenon, providing yet another point of view of this intriguing educational problem.


title: Langevin equation in complex media and anomalous diffusion

abstract: The problem of biological motion is a very intriguing and topical issue. Many efforts are being focused on the development of novel modeling approaches for the description of anomalous diffusion in biological systems, such as the very complex and heterogeneous cell environment. Nevertheless, many questions are still open, such as the joint manifestation of statistical features in agreement with different models that can be also somewhat alternative to each other, e.g., Continuous Time Random Walk (CTRW) and Fractional Brownian Motion (FBM). To overcome these limitations, we propose a stochastic diffusion model with additive noise and linear friction force (linear Langevin equation), thus involving the explicit modeling of velocity dynamics. The complexity of the medium is parameterized via a population of intensity parameters (relaxation time and diffusivity of velocity), thus introducing an additional randomness, in addition to white noise, in the particle's dynamics. We prove that, for proper distributions of these parameters, we can get both Gaussian anomalous diffusion, fractional diffusion and its generalizations.


title: An Efficient Dispatcher for Large Scale GraphProcessing on OpenCL-based FPGAs

abstract: High parallel framework has been proved to be very suitable for graph processing. There are various work to optimize the implementation in FPGAs, a pipeline parallel device. The key to make use of the parallel performance of FPGAs is to process graph data in pipeline model and take advantage of on-chip memory to realize necessary locality process. This paper proposes a modularize graph processing framework, which focus on the whole executing procedure with the extremely different degree of parallelism. The framework has three contributions. First, the combination of vertex-centric and edge-centric processing framework can been adjusting in the executing procedure to accommodate top-down algorithm and bottom-up algorithm. Second, owing to the pipeline parallel and finite on-chip memory accelerator, the novel edge-block, a block consist of edges vertex, achieve optimizing the way to utilize the on-chip memory to group the edges and stream the edges in a block to realize the stream pattern to pipeline parallel processing. Third, depending to the analysis of the block structure of nature graph and the executing characteristics during graph processing, we design a novel conversion dispatcher to change processing module, to match the corresponding exchange point.


title: On the Geometrically Exact Low Order Modelling of a Flexible Beam: Formulation and Numerical Tests

abstract: This paper proposes a low order geometrically exact flexible beam formulation based on the utilisation of generic beam shape functions to approximate distributed kinematic properties of the deformed structure. The proposed nonlinear beam shapes approach is in contrast to the majority of geometrically nonlinear treatments in the literature in which element based --- and hence high order --- discretisations are adopted. The kinematic quantities approximated specifically pertain to shear and extensional gradients as well as local orientation parameters based on an arbitrary set of globally referenced attitude parameters. In developing the dynamic equations of motion, an Euler angle parameterisation is selected as it is found to yield fast computational performance. The resulting dynamic formulation is closed using an example shape function set satisfying the single generic kinematic constraint. The formulation is demonstrated via its application to the modelling of a series of static and dynamic test cases of both simple and non-prismatic structures; the simulated results are verified using MSC Nastran and an element-based intrinsic beam formulation. Through these examples it is shown that the nonlinear beam shapes approach is able to accurately capture the beam behaviour with a very minimal number of system states.


title: Radiation from a receding mirror: Unruh-DeWitt detector distinguishes a Dirac fermion from a scalar boson

abstract: It is well known that a receding mirror in Minkowski spacetime can model the formation of a black hole, producing Hawking-like radiation at late times. We ask what an observer would need to do to discern whether the radiation is fermionic or bosonic. Specialising to massless fields in 1+1 dimensions, we find that an Unruh-DeWitt detector accomplishes this: the late time transition rate of a detector coupled linearly to the scalar density of a spinor field is proportional to the Helmholtz free energy density of a fermionic thermal bath, hence showing a clear sign of Fermi-Dirac statistics, with no counterpart in the response of a detector coupled linearly to a scalar field or its derivative. By contrast, an observer examining just the stress-energy tensor sees no difference between a fermion and a boson, neither at late times nor early.


title: Platonic Localisation: One Ring to Bind Them

abstract: In this paper, we present an asymptotic model describing localised flexural vibrations along a structured ring containing point masses or spring-mass resonators in an elastic plate. The values for the required masses and stiffnesses of resonators are derived in a closed analytical form. It is shown that spring-mass resonators can be tuned to produce a "negative inertia" input, which is used to enhance localisation of waveforms around the structured ring. Theoretical findings are accompanied by numerical simulations, which show exponentially localised and leaky modes for different frequency regimes.


title: Silicon Nitride MOMS Oscillator for Room Temperature Quantum Optomechanics

abstract: Optomechanical SiN nano-oscillators in high-finesse Fabry-Perot cavities can be used to investigate the interaction between mechanical and optical degree of freedom for ultra-sensitive metrology and fundamental quantum mechanical studies. In this work we present a nano-oscillator made of a high-stress round-shaped SiN membrane with an integrated on-chip 3D seismic filter properly designed to reduce mechanical losses. This oscillator works in the 200 kHz - 5 MHz range and features a mechanical quality factor of $Q\simeq10^7$ and a Q-frequency product in excess of $6.2 \times 10^{12}$ Hz at room temperature, fulfilling the minimum requirement for quantum ground-state cooling of the oscillator in an optomechanical cavity. The device is obtained by MEMS DRIE bulk micromachining with a two-side silicon processing on a Silicon-On-Insulator (SOI) wafer. The microfabrication process is quite flexible and additional layers could be deposited over the SiN membrane before the DRIE steps, if required for a sensing application. Therefore, such oscillator is a promising candidate for quantum sensing applications in the context of the emerging field of Quantum Technologies.


title: Optical concentrator from a hyperbolic liquid crystal metamaterial

abstract: We examine the optical properties of two different configurations of a cylindrical device made from a hyperbolic metamaterial with optical axis defined by circular and radial director fields. The hyperbolic metamaterial is an uniaxial anisotropic medium for which the ratio between ordinary and extraordinary permittivities is negative, leading to a particular effective geometry with two timelike coordinates in the metric (Kleinian signature). By using differential geometry tools we are able to perform a comparison between a simple geometrical optics treatment and the wave formalism that shows the concentration of light along the cylinder axis for the case of the circular field configuration, whatever the injection conditions are.


title: Generalised Born-Infeld models, Lax operators and the $\textrm{T} \bar{\textrm{T}}$ perturbation

abstract: Surprising links between the deformation of 2D quantum field theories induced by the composite $\textrm{T} \bar{\textrm{T}}$ operator, effective string models and the $AdS/$CFT correspondence, have recently emerged. The purpose of this article is to discuss various classical aspects related to the deformation of 2D interacting field theories. Special attention is given to the sin(h)-Gordon model, for which we were able to construct the $\textrm{T} \bar{\textrm{T}}$-deformed Lax pair. We consider the Lax pair formulation to be the first essential step toward a more satisfactory geometrical interpretation of this deformation within the integrable model framework. Furthermore, it is shown that the 4D Maxwell-Born-Infeld theory, possibly with the addition of a mass term or a derivative-independent potential, corresponds to a natural extension of the 2D examples. Finally, we briefly comment on 2D Yang-Mills theory and propose a modification of the heat kernel, for a generic surface with genus $p$ and $n$ boundaries, which fully accounts for the $\textrm{T} \bar{\textrm{T}}$ contribution.


title: The magnetospheric radius of an inclined rotator in the magnetically threaded disk model

abstract: The estimate of the magnetospheric radius in a disk-fed neutron star X-ray binary is a long standing problem in high energy Astrophysics. We review the magnetospheric radius calculations in the so-called magnetically threaded disk model, comparing the simplified approach originally proposed by Ghosh & Lamb (1979) with the revised version proposed by Wang (1987), Wang (1995), and Wang (1997). We show that for a given set of fixed parameters (assuming also a comparable screening factor of the neutron star magnetic field by the currents induced on the disk surface) the revised magnetically threaded disk model predicts a magnetospheric radius that is significantly smaller than that derived from the Ghosh & Lamb (1979) treatment. For a fixed value of the neutron star magnetic field and a wide range of mass accretion rates, the inclusion of a large inclination angle between the neutron star rotation and magnetic field axes ($\chi$$\gtrsim$60 deg) leads to a further decrease of the magnetospheric radius. To illustrate the relevance of these calculations, we consider, as an example, the case of the transitional pulsars. During the so-called "high mode" of their sub-luminous accretion disk state, these sources have shown X-ray pulsations interpreted as due to accretion at an unprecedented low luminosity level compared to other neutron stars in X-ray binaries. In the context of the magnetic threaded disk model, we show that accretion at luminosities of $\sim$10$^{33}$ erg s$^{-1}$ (and thus accretion-driven X-ray pulsations) can be more easily explained when the prescription of the magnetospheric radius provided by Wang (1997) is used. This avoids the need of invoking very strong propeller outflows in the transitional pulsars, as proposed in other literature works.


title: Recognition of Offline Handwritten Devanagari Numerals using Regional Weighted Run Length Features

abstract: Recognition of handwritten Roman characters and numerals has been extensively studied in the last few decades and its accuracy reached to a satisfactory state. But the same cannot be said while talking about the Devanagari script which is one of most popular script in India. This paper proposes an efficient digit recognition system for handwritten Devanagari script. The system uses a novel 196-element Mask Oriented Directional (MOD) features for the recognition purpose. The methodology is tested using five conventional classifiers on 6000 handwritten digit samples. On applying 3-fold cross-validation scheme, the proposed system yields the highest recognition accuracy of 95.02% using Support Vector Machine (SVM) classifier.


title: Sparse Three-parameter Restricted Indian Buffet Process for Understanding International Trade

abstract: This paper presents a Bayesian nonparametric latent feature model specially suitable for exploratory analysis of high-dimensional count data. We perform a non-negative doubly sparse matrix factorization that has two main advantages: not only we are able to better approximate the row input distributions, but the inferred topics are also easier to interpret. By combining the three-parameter and restricted Indian buffet processes into a single prior, we increase the model flexibility, allowing for a full spectrum of sparse solutions in the latent space. We demonstrate the usefulness of our approach in the analysis of countries' economic structure. Compared to other approaches, empirical results show our model's ability to give easy-to-interpret information and better capture the underlying sparsity structure of data.


title: A Hoeffding inequality for Markov chains

abstract: We prove deviation bounds for the random variable $\sum_{i=1}^{n} f_i(Y_i)$ in which $\{Y_i\}_{i=1}^{\infty}$ is a Markov chain with stationary distribution and state space $[N]$, and $f_i: [N] \rightarrow [-a_i, a_i]$. Our bound improves upon previously known bounds in that the dependence is on $\sqrt{a_1^2+\cdots+a_n^2}$ rather than $\max_{i}\{a_i\}\sqrt{n}.$ We also prove deviation bounds for certain types of sums of vector--valued random variables obtained from a Markov chain in a similar manner. One application includes bounding the expected value of the Schatten $\infty$-norm of a random matrix whose entries are obtained from a Markov chain.


title: Exploratory lattice QCD study of the rare kaon decay $K^+\to\pi^+\nu\bar{\nu}$

abstract: In Ref [1] we have presented the results of an exploratory lattice QCD computation of the long-distance contribution to the $K^+\to\pi^+\nu\bar{\nu}$ decay amplitude. In the present paper we describe the details of this calculation, which includes the implementation of a number of novel techniques. The $K^+\to\pi^+\nu\bar{\nu}$ decay amplitude is dominated by short-distance contributions which can be computed in perturbation theory with the only required non-perturbative input being the relatively well-known form factors of semileptonic kaon decays. The long-distance contributions, which are the target of this work, are expected to be of O(5%) in the branching ratio. Our study demonstrates the feasibility of lattice QCD computations of the $K^+\to\pi^+\nu\bar{\nu}$ decay amplitude, and in particular of the long-distance component. Though this calculation is performed on a small lattice ($16^3\times32$) and at unphysical pion, kaon and charm quark masses, $m_\pi=420$ MeV, $m_K=563$ MeV and $m_c^{\overline{\mathrm{MS}}}(\mbox{2 GeV})=863$ MeV, the techniques presented in this work can readily be applied to a future realistic calculation.


title: Five-particle contributions to the inclusive rare $\bar B \to X_{s(d)} \, \ell^+\ell^-$ decays

abstract: We calculate tree-level contributions to the inclusive rare $\bar B \to X_{s(d)} \, \ell^+\ell^-$ decays. At the partonic level they stem from the five-particle process $b \to s(d) \, q \bar q \, \ell^+\ell^-$, with $q \in \{u,d,s\}$. While for $b \to d$ transitions such five-body final states contribute at the same order in the Wolfenstein expansion compared to the three-body partonic decay, they are CKM suppressed in $b \to s$ decays. In the perturbative expansion, we include all leading-order contributions, as well as partial next-to-leading order QCD and QED effects. In the case of the differential branching ratio, we present all results completely analytically in terms of polylogarithmic functions of at most weight three. We also consider the differential forward-backward asymmetry, where all except one interference could be obtained analytically. From a phenomenological point of view the newly calculated contributions are at the percent level or below.


title: Inducing transparency in the films of highly scattering particles

abstract: Today colloids are employed in various products from creams and coatings to electronics. The ability to control their chemical, optical, or electronic features by controlling their size and shape explains why these materials are so widely employed. Nevertheless, altering some of these properties may also lead to some undesired side effects, one of which is an increase in optical scattering upon concentration. Here, we address this strong scattering issue in films made of colloids with high surface roughness. We focus on raspberry type polymeric particles made of a spherical polystyrene core decorated by small hemispherical domains of acrylate. Owing to their surface charge and model roughness, aqueous dispersions of these particles display an unusual stability against aggregation. Under certain angles, their solid films display a brilliant red color due to Bragg scattering but otherwise appear completely white on account of`strong scattering. To suppress the scattering and induce transparency, we prepared films by hybridizing them either with oppositely-charged PS-particles that fit the length-scale of the raspberry roughness or with quantum dots. We report that the smaller PS-particles prevent raspberry particle aggregation in solid films and suppress scattering by decreasing the spatial variation of the refractive index. We believe that the results presented here provide a simple strategy to suppress strong scattering of rough particles and allow for their utilization in optical coatings, cosmetics, or photonics.


title: Rapid covariance-based sampling of linear SPDE approximations in the multilevel Monte Carlo method

abstract: The efficient simulation of the mean value of a non-linear functional of the solution to a linear stochastic partial differential equation (SPDE) with additive Gaussian noise is considered. A Galerkin finite element method is employed along with an implicit Euler scheme to arrive at a fully discrete approximation of the mild solution to the equation. A scheme is presented to compute the covariance of this approximation, which allows for rapid sampling in a Monte Carlo method. This is then extended to a multilevel Monte Carlo method, for which a scheme to compute the cross-covariance between the approximations at different levels is presented. In contrast to traditional path-based methods it is not assumed that the Galerkin subspaces at these levels are nested. The computational complexities of the presented schemes are compared to traditional methods and simulations confirm that, under suitable assumptions, the costs of the new schemes are significantly lower.


title: A Haar meager set that is not strongly Haar meager

abstract: Following Darji, we say that a Borel subset $B$ of an abelian Polish group $G$ is Haar meager if there is a compact metric space $K$ and a continuous function $f : K \to G$ such that the preimage of the translate, $f^{-1}(B+g)$ is meager in $K$ for every $g \in G$. The set $B$ is called strongly Haar meager if there is a compact set $C \subseteq G$ such that $(B+g) \cap C$ is meager in $C$ for every $g \in G$. The main open problem in this area is Darji's question asking whether these two notions are the same. Even though there have been several partial results suggesting a positive answer, in this paper we construct a counterexample. More specifically, we construct a $G_\delta$ set in $\mathbb{Z}^\omega$ that is Haar meager but not strongly Haar meager. We also show that no $F_\sigma$ counterexample exists, hence our result is optimal.


title: Counting to Explore and Generalize in Text-based Games

abstract: We propose a recurrent RL agent with an episodic exploration mechanism that helps discovering good policies in text-based game environments. We show promising results on a set of generated text-based games of varying difficulty where the goal is to collect a coin located at the end of a chain of rooms. In contrast to previous text-based RL approaches, we observe that our agent learns policies that generalize to unseen games of greater difficulty.


title: Co-Diffusion of Social Contagions

abstract: Prior social contagion models consider the spread of either one contagion at a time on interdependent networks or multiple contagions on single layer networks or under assumptions of competition. We propose a new threshold model for the diffusion of multiple contagions. Individuals are placed on a multiplex network with a periodic lattice and a random-regular-graph layer. On these population structures, we study the interface between two key aspects of the diffusion process: the level of synergy between two contagions, and the rate at which individuals become dormant after adoption. Dormancy is defined as a looser form of immunity that models the ability to spread without resistance. Monte Carlo simulations reveal lower synergy makes contagions more susceptible to percolation, especially those that diffuse on lattices. Faster diffusion of one contagion with dormancy probabilistically blocks the diffusion of the other, in a way similar to ring vaccination. We show that within a band of synergy, contagions on the lattices undergo bimodal or trimodal branching if they are the slower diffusing contagion.


title: Representative families for matroid intersections, with applications to location, packing, and covering problems

abstract: We show algorithms for computing representative families for matroid intersections and use them in fixed-parameter algorithms for set packing, set covering, and facility location problems with multiple matroid constraints. We complement our tractability results by hardness results.


title: Simple connectivity of Fargues--Fontaine curves

abstract: We show that the Fargues--Fontaine curve associated to an algebraically closed field of characteristic p is geometrically simply connected; that is, its base extension from Q_p to any complete algebraically closed overfield admits no nontrivial connected finite etale covering. We then deduce from this an analogue for perfectoid spaces (and some related objects) of Drinfeld's lemma on the fundamental group of a product of schemes in characteristic p.


title: Understanding the Nonlinear Behavior and Frequency Stability of a Grid-synchronized VSC Under Grid Voltage Dips

abstract: Transients of a grid-synchronized voltage source converter (VSC) are closely related to over- currents and voltages occurred under large disturbances (e.g. a grid fault). Previous analysis in evaluating these transients usually neglect the nonlinear control effects of a VSC (e.g. phase-locked-loop, PLL). Therefore, potential stability issues related with nonlinear dynamics cannot be revealed properly. This work aims to move further in this respect. To better analyze and gain more insights into the nonlinear properties, dynamical analysis of a grid-tied VSC is conducted by parts. Specifically, the nonlinear behaviors of VSC power control loop (PCL) are firstly analyzed, in which the dynamics of PLL are assumed steady. Then, the nonlinear behaviors of PLL-dominant dynamics are further explored in detail, where the PCL is assumed steady. In this case, frequency instability and the mechanisms behind it are revealed. At last, effects of PQ controller regulation as well as controller bandwidth on the frequency stability are discussed. All the analysis and conclusions are verified by time domain simulations in PSCAD/EMTDC, where a switching model of VSC is adopted.


title: Visual Attention and its Intimate Links to Spatial Cognition

abstract: It is almost universal to regard attention as the facility that permits an agent, human or machine, to give priority processing resources to relevant stimuli while ignoring the irrelevant. The reality of how this might manifest itself throughout all the forms of perceptual and cognitive processes possessed by humans, however, is not as clear. Here we examine this reality with a broad perspective in order to highlight the myriad ways that attentional processes impact both perception and cognition. The paper concludes by showing two real world problems that exhibit sufficient complexity to illustrate the ways in which attention and cognition connect. These then point to new avenues of research that might illuminate the overall cognitive architecture of spatial cognition.


title: The Sphere Packing Bound for DSPCs with Feedback a la Augustin

abstract: Establishing the sphere packing bound for block codes on the discrete stationary product channels with feedback ---which are commonly called the discrete memoryless channels with feedback--- was considered to be an open problem until recently, notwithstanding the proof sketch provided by Augustin in 1978. A complete proof following Augustin's proof sketch is presented, to demonstrate its adequacy and to draw attention to two novel ideas it employs. These novel ideas (i.e., the Augustin's averaging and the use of subblocks) are likely to be applicable in other communication problems for establishing impossibility results.


title: TextWorld: A Learning Environment for Text-based Games

abstract: We introduce TextWorld, a sandbox learning environment for the training and evaluation of RL agents on text-based games. TextWorld is a Python library that handles interactive play-through of text games, as well as backend functions like state tracking and reward assignment. It comes with a curated list of games whose features and challenges we have analyzed. More significantly, it enables users to handcraft or automatically generate new games. Its generative mechanisms give precise control over the difficulty, scope, and language of constructed games, and can be used to relax challenges inherent to commercial text games like partial observability and sparse rewards. By generating sets of varied but similar games, TextWorld can also be used to study generalization and transfer learning. We cast text-based games in the Reinforcement Learning formalism, use our framework to develop a set of benchmark games, and evaluate several baseline agents on this set and the curated list.


title: Conformal metrics with prescribed Gaussian and geodesic curvatures

abstract: We consider the problem of prescribing the Gaussian and the geodesic curvatures of a compact surface with boundary by a conformal deformation of the metric. We derive some existence results using a variational approach, either by minimization of the Euler-Lagrange energy or via min-max methods. One of the main tools in our approach is a blow-up analysis of solutions, which in the present setting can have diverging volume. To our knowledge, this is the first time in which such an aspect is treated. Key ingredients in our arguments are: a blow-up analysis around a sequence of points different from local maxima; the use of holomorphic domain-variations; and Morse-index estimates.


title: End-to-end Learning of Multi-sensor 3D Tracking by Detection

abstract: In this paper we propose a novel approach to tracking by detection that can exploit both cameras as well as LIDAR data to produce very accurate 3D trajectories. Towards this goal, we formulate the problem as a linear program that can be solved exactly, and learn convolutional networks for detection as well as matching in an end-to-end manner. We evaluate our model in the challenging KITTI dataset and show very competitive results.


title: Biorthogonal splines for optimal weak patch-coupling in isogeometric analysis with applications to finite deformation elasticity

abstract: A new construction of biorthogonal splines for isogeometric mortar methods is proposed. The biorthogonal basis has a local support and, at the same time, optimal approximation properties, which yield optimal results with mortar methods. We first present the univariate construction, which has an inherent crosspoint modification. The multivariate construction is then based on a tensor product for weighted integrals, whereby the important properties are inherited from the univariate case. Numerical results including large deformations confirm the optimality of the newly constructed biorthogonal basis.


title: An Exact Quantized Decentralized Gradient Descent Algorithm

abstract: We consider the problem of decentralized consensus optimization, where the sum of $n$ smooth and strongly convex functions are minimized over $n$ distributed agents that form a connected network. In particular, we consider the case that the communicated local decision variables among nodes are quantized in order to alleviate the communication bottleneck in distributed optimization. We propose the Quantized Decentralized Gradient Descent (QDGD) algorithm, in which nodes update their local decision variables by combining the quantized information received from their neighbors with their local information. We prove that under standard strong convexity and smoothness assumptions for the objective function, QDGD achieves a vanishing mean solution error under customary conditions for quantizers. To the best of our knowledge, this is the first algorithm that achieves vanishing consensus error in the presence of quantization noise. Moreover, we provide simulation results that show tight agreement between our derived theoretical convergence rate and the numerical results.


title: The Fraction of Stars That Form in Clusters in Different Galaxies

abstract: We estimate the fraction of stars that form in compact clusters (bound and unbound), Gamma_F, in a diverse sample of eight star-forming galaxies, including two irregulars, two dwarf starbursts, two spirals, and two mergers. The average value for our sample is Gamma_F ~ 24 +/- 9%. We also calculate the fraction of stars in clusters that survive to ages between t1 and t2, denoted by Gamma_S(t1,t2), and find Gamma_S(10,100)=4.6 +/- 2.5% and Gamma_S(100,400)=2.4 +/- 1.1 %, significantly lower than Gamma_F for the same galaxies. We do not find any systematic trends in Gamma_F or Gamma_S with the star formation rate (SFR), the SFR per unit area (Sigma_SFR), or the surface density of molecular gas (Sigma_H2) within the host galaxy. Our results are consistent with those found previously from the CMF/SFR statistic (where CMF is the cluster mass function), and with the quasi-universal model in which clusters in different galaxies form and disrupt in similar ways. Our results, however, contradict many previous claims that the fraction of stars in bound clusters increases strongly with Sigma_SFR and Sigma_H_2. We find that the previously reported trends are largely driven by comparisons that mixed Gamma_F ~ Gamma_S(0,10) and Gamma_S(10,100), where Gamma_S(0,10) was systematically used for galaxies with higher Sigma_SFR and Sigma_H2, and Gamma_S(10,100) for galaxies with lower Sigma_SFR and Sigma_H_2.


title: Factorizable Net: An Efficient Subgraph-based Framework for Scene Graph Generation

abstract: Generating scene graph to describe all the relations inside an image gains increasing interests these years. However, most of the previous methods use complicated structures with slow inference speed or rely on the external data, which limits the usage of the model in real-life scenarios. To improve the efficiency of scene graph generation, we propose a subgraph-based connection graph to concisely represent the scene graph during the inference. A bottom-up clustering method is first used to factorize the entire scene graph into subgraphs, where each subgraph contains several objects and a subset of their relationships. By replacing the numerous relationship representations of the scene graph with fewer subgraph and object features, the computation in the intermediate stage is significantly reduced. In addition, spatial information is maintained by the subgraph features, which is leveraged by our proposed Spatial-weighted Message Passing~(SMP) structure and Spatial-sensitive Relation Inference~(SRI) module to facilitate the relationship recognition. On the recent Visual Relationship Detection and Visual Genome datasets, our method outperforms the state-of-the-art method in both accuracy and speed.


title: Towards an improved model of self-interacting dark matter haloes

abstract: In this work, we discuss the relation between the strength of the self-interaction of dark matter particles and the predicted properties of the inner density distributions of dark matter haloes. We present the results of $N$-body simulations for 28 haloes performed with the same initial conditions for cold dark matter and for self-interacting dark matter, for a range of cross-sections. We provide a simple phenomenological description of these results and compare with the semi-analytical model typically used in the literature. Using these results, we then predict how the inner dark matter surface density and core radius should depend on the self-interaction cross-section for observed haloes.


title: On the Hilbert eigenvariety at exotic and CM classical weight 1 points

abstract: Let $F$ be a totally real number field and let $f$ be a classical cuspidal $p$-regular Hilbert modular eigenform over $F$ of parallel weight $1$. Let $x$ be the point on the $p$-adic Hilbert eigenvariety $\mathcal E$ corresponding to an ordinary $p$-stabilization of $f$. We show that if the $p$-adic Schanuel Conjecture is true, then $\mathcal E$ is smooth at $x$ if $f$ has CM. If we additionally assume that $F/\mathbb Q$ is Galois, we show that the weight map is \'etale at $x$ if $f$ has either CM or exotic projective image (which is the case for almost all cuspidal Hilbert modular eigenforms of parallel weight $1$). We prove these results by showing that the completed local ring of the eigenvariety at $x$ is isomorphic to a universal nearly ordinary Galois deformation ring.


title: Unbound Young Stellar Systems: Star Formation on the loose

abstract: [abridged] Unbound young stellar systems, the loose ensembles of physically related young bright stars, trace the typical regions of recent star formation in galaxies. Their morphologies vary from small associations of stars to enormous stellar complexes. Being associated with star-forming regions of various sizes, they trace the regions where stars form at various scales, from compact clusters to whole galactic disks. They have been, thus, the focus of several studies with special interest on their demographics, classification, and structural morphology. Their surveys demonstrate that the clear distinction of these systems into well-defined classes is not straightforward, due to their low densities, asymmetric shapes and variety in structural parameters. Unbound stellar structures follow a hierarchical clustering pattern up to the scale of a whole star-forming galaxy. This structural pattern, which is usually characterized as self-similar or fractal, appears to be identical to that of star-forming giant molecular clouds and interstellar gas, driven mainly by turbulence cascade. In this short review, I make a concise compilation of our understanding of unbound young stellar systems across various environments in the local universe, as it is developed during the last 60 years. I present a factual assessment of the clustering behavior of star formation, as revealed from the assembling pattern of stars across loose stellar structures and its relation to the interstellar medium and the environmental conditions. I also provide a consistent account of the processes that possibly play important role in the formation of unbound stellar systems, compiled from both theoretical and observational investigations on the field.


title: High Dimensional Discrete Integration over the Hypergrid

abstract: Recently Ermon et al. (2013) pioneered a way to practically compute approximations to large scale counting or discrete integration problems by using random hashes. The hashes are used to reduce the counting problem into many separate discrete optimization problems. The optimization problems then can be solved by an NP-oracle such as commercial SAT solvers or integer linear programming (ILP) solvers. In particular, Ermon et al. showed that if the domain of integration is $\{0,1\}^n$ then it is possible to obtain a solution within a factor of $16$ of the optimal (a 16-approximation) by this technique. In many crucial counting tasks, such as computation of partition function of ferromagnetic Potts model, the domain of integration is naturally $\{0,1,\dots, q-1\}^n, q>2$, the hypergrid. The straightforward extension of Ermon et al.'s method allows a $q^2$-approximation for this problem. For large values of $q$, this is undesirable. In this paper, we show an improved technique to obtain an approximation factor of $4+O(1/q^2)$ to this problem. We are able to achieve this by using an idea of optimization over multiple bins of the hash functions, that can be easily implemented by inequality constraints, or even in unconstrained way. Also the burden on the NP-oracle is not increased by our method (an ILP solver can still be used). We provide experimental simulation results to support the theoretical guarantees of our algorithms.


title: Orbits of homogeneous polynomials on Banach spaces

abstract: We study the dynamics induced by homogeneous polynomials on Banach spaces. It is known that no homogeneous polynomial defined on a Banach space can have a dense orbit. We show, a simple and natural example of a homogeneous polynomial with an orbit that is at the same time $d$-dense (the orbit meets every ball of radius $d$), weakly dense and such that $\Gamma \cdot Orb_P(x)$ is dense for every $\Gamma\subset \mathbb C$ that is either unbounded or that has 0 as an accumulation point. Moreover we generalize the construction to arbitrary infinite dimensional separable Fr\'echet spaces. To prove this we study Julia sets of homogeneous polynomials on Banach spaces.


title: Nonparametric learning from Bayesian models with randomized objective functions

abstract: Bayesian learning is built on an assumption that the model space contains a true reflection of the data generating mechanism. This assumption is problematic, particularly in complex data environments. Here we present a Bayesian nonparametric approach to learning that makes use of statistical models, but does not assume that the model is true. Our approach has provably better properties than using a parametric model and admits a Monte Carlo sampling scheme that can afford massive scalability on modern computer architectures. The model-based aspect of learning is particularly attractive for regularizing nonparametric inference when the sample size is small, and also for correcting approximate approaches such as variational Bayes (VB). We demonstrate the approach on a number of examples including VB classifiers and Bayesian random forests.


title: The sharp phase transition for level set percolation of smooth planar Gaussian fields

abstract: We prove that the connectivity of the level sets of a wide class of smooth centred planar Gaussian fields exhibits a phase transition at the zero level that is analogous to the phase transition in Bernoulli percolation. In addition to symmetry, positivity and regularity conditions, we assume only that correlations decay polynomially with exponent larger than two -- roughly equivalent to the integrability of the covariance kernel -- whereas previously the phase transition was only known in the case of the Bargmann-Fock covariance kernel which decays super-exponentially. We also prove that the phase transition is sharp, demonstrating, without any further assumption on the decay of correlations, that in the sub-critical regime crossing probabilities decay exponentially. Key to our methods is the white-noise representation of a Gaussian field; we use this on the one hand to prove new quasi-independence results, inspired by the notion of influence from Boolean functions, and on the other hand to establish sharp thresholds via the OSSS inequality for i.i.d. random variables, following the recent approach of Duminil-Copin, Raoufi and Tassion.


title: Efficient Multichannel in XML Wireless Broadcast Stream

abstract: In this paper we recommend the use of multi-channel for XML data in wireless broadcasting. First we divide XML data into information units as bucket, then extract path information (XPath) for any unit and build an index tree from the data path. Finally, make wireless data stream with merging parts of index tree and parts of XML data in multichannel XML. Then, create a protocol that allows mobile users access to the wireless XML stream generated with our method. We study 11 channels in server side and 3 orthogonal channels in client side.


title: Exploration of Low Numeric Precision Deep Learning Inference Using Intel FPGAs

abstract: CNNs have been shown to maintain reasonable classification accuracy when quantized to lower precisions. Quantizing to sub 8-bit activations and weights can result in accuracy falling below an acceptable threshold. Techniques exist for closing the accuracy gap of limited numeric precision typically by increasing computation. This results in a trade-off between throughput and accuracy and can be tailored for different networks through various combinations of activation and weight data widths. Hardware architectures like FPGAs provide the opportunity for data width specific computation through unique logic configurations leading to highly optimized processing that is unattainable by full precision networks. Ternary and binary weighted networks offer an efficient method of inference for 2-bit and 1-bit data respectively. Most hardware architectures can take advantage of the memory storage and bandwidth savings that come along with smaller datapaths, but very few architectures can take advantage of limited numeric precision at the computation level. In this paper, we present a hardware design for FPGAs that takes advantage of bandwidth, memory, power, and computation savings of limited numerical precision data. We provide insights into the trade-offs between throughput and accuracy for various networks and how they map to our framework. Further, we show how limited numeric precision computation can be efficiently mapped onto FPGAs for both ternary and binary cases. Starting with Arria 10, we show a 2-bit activation and ternary weighted AlexNet running in hardware that achieves 3,700 images per second on the ImageNet dataset with a top-1 accuracy of 0.49. Using a hardware modeler designed for our low numeric precision framework we project performance most notably for a 55.5 TOPS Stratix 10 device running a modified ResNet-34 with only 3.7% accuracy degradation compared with single precision.


title: Algorithmic Pirogov-Sinai theory

abstract: We develop an efficient algorithmic approach for approximate counting and sampling in the low-temperature regime of a broad class of statistical physics models on finite subsets of the lattice $\mathbb Z^d$ and on the torus $(\mathbb Z/n \mathbb Z)^d$. Our approach is based on combining contour representations from Pirogov-Sinai theory with Barvinok's approach to approximate counting using truncated Taylor series. Some consequences of our main results include an FPTAS for approximating the partition function of the hard-core model at sufficiently high fugacity on subsets of $\mathbb Z^d$ with appropriate boundary conditions and an efficient sampling algorithm for the ferromagnetic Potts model on the discrete torus $(\mathbb Z/n \mathbb Z)^d$ at sufficiently low temperature.


title: Nonleptonic two-body decays of single heavy baryons $\Lambda_Q$, $\Xi_Q$, and $\Omega_Q$ $(Q=b,c)$ induced by $W$ emission in the covariant confined quark model

abstract: We have made a survey of heavy-to-heavy and heavy-to-light nonleptonic heavy baryon two-body decays and have identified those decays that proceed solely via $W$-boson emission, i.e. via the tree graph contribution. Some sample decays are $\Omega_{b}^{-}\to\Omega_{c}^{(*)0}\rho^{-}(\pi^{-}),\, \Omega_{b}^{-}\to\Omega^{-}J/\psi(\eta_{c}),\, \Xi_{b}^{0,-}\to\Xi^{0,-}J/\psi(\eta_{c}),\, \Lambda_{b}\to \Lambda J/\psi(\eta_{c}),\, \Lambda_{b}\to \Lambda_{c} D_{s}^{(\ast)},\, \Omega_{c}^{0}\to\Omega^{-}\rho^{+}(\pi^{+})$, and $\Lambda_c \to p \phi$. We make use of the covariant confined quark model previously developed by us to calculate the tree graph contributions to these decays. We calculate rates, branching fractions and, for some of these decays, decay asymmetry parameters. We compare our results to experimental findings and the results of other theoretical approaches when they are available. Our main focus is on decays to final states with a lepton pair because of their clean experimental signature. For these decays we discuss two-fold polar angle decay distributions such as in the cascade decay $\Omega_{b}^{-}\to\Omega^{-}(\to \Xi\pi,\Lambda K^{-})+J/\psi(\to \ell^{+}\ell^{-})$. Lepton mass effects are always included in our analysis.


title: Superconformal Partial Waves for Stress-tensor Multiplet Correlator in $4D$ $\mathcal{N}=2$ SCFTs

abstract: We compute the superconformal partial waves of the four-point correlator $\langle JJJJ\rangle$, in which the external operator $J$ is the superconformal primary of the $4D$ $\mathcal{N}=2$ stress-tensor multiplet $\mathcal{J}$. We develop the superembedding formalism for the superconformal field theories (SCFTs) with extended supersymmetry. In $\mathcal{N}=2$ SCFTs, the three-point functions $\langle \mathcal{J}\mathcal{J}\mathcal{O}\rangle$ with general multiplet $\mathcal{O}$ contain two independent nilpotent superconformal invariants and new superconformal tensor structures, which can be nicely constructed from variables in superembedding space, and the three-point functions can be solved in compact forms. We compute the superconformal partial waves corresponding to the exchange of long multiplets using supershadow approach. The results are consistent with the non-trivial constraints by decomposing the $\mathcal{N}=2$ superconformal blocks into $\mathcal{N}=1$ superconformal blocks. Our results provide the necessary ingredient to study the fascinating $4D$ $\mathcal{N}=2$ SCFTs using conformal bootstrap.


title: Photonic band-gap transmission map of graphene in a defective optical structure

abstract: Interaction of graphene with a defect layer of a 1D defective photonic structure correspondingly could open a Dirac gap in its nonlinear energy dispersion. Also, an excitonic gap could be created upon applied strong magnetic fields at low temperatures. Now, the exact solution for the transmission of the allowed defective states under the influence of a homogeneous magnetic field requires providing a new scheme for the transfer matrix method to cover the circularly polarized propagation of the light in THz regime. In this paper, through an easy-to-follow framework for obtaining the distinct expression of the related transfer matrix method, it is observed that the hybrid defective states in the suggested optical structure undergo an unconventional transmission map as function of Dirac gap. Moreover, it is shown that mapping the transmission spectrum in the frequency space reveals peculiar results for narrow-band transport of the defective states. Finally, it is demonstrated that the transmission spectrum shows plateaus as a function of the applied magnetic field analogues to the situations observed for the conductance of a 2D electron gas system in the quantum Hall effect regime. This almost simple suggested design which can be fully controlled marks the first optical counterpart of quantum Hall effect in optics.


title: Echo: An Edge-Centric Code Offloading System with Quality of Service Guarantee

abstract: Code offloading is promising to accelerate mobile applications and save energy of mobile devices by shifting some computation to cloud. However, existing code offloading systems suffer from a long communication delay between mobile devices and cloud. To address this challenge, in this paper, we consider to deploy edge nodes in the proximity of mobile devices, and study how they benefit code offloading. We design an edge-centric code offloading system, called Echo, over a three-layer computing hierarchy consisting of mobile devices, edge and cloud. A critical problem needs to be addressed by Echo is to decide which method should be offloaded to which computing platform (edge or cloud). Different from existing offloading systems that let mobile devices individually make offloading decisions, Echo implements a centralized decision engine at the edge node. This edge-centric design can fully exploit the limited hardware resources at the edge to provide an offloading service with Quality of Service guarantee. Furthermore, we propose some novel mechanisms, e.g., lazy object transmission and differential object update, to further improve system performance. The results of a small-scale real deployment and trace-driven simulations show that Echo significantly outperforms existing


title: An Improved Energy-Aware Clustering Method for the Regional Queries in the Internet of Things

abstract: We will offer a method to improve energy efficient consumption for processing queries on the Internet of Things. We focused on an energy efficient hierarchical clustering index tree such that we can facilitate time-correlated region queries in the I.O.T (Internet of Things). We try to improve clustering and make a change on its proposed index tree. We try to do this by optimizing the query processing. We improve clustering to increase the accuracy of the Internet of Things and prevent the network from disconnecting. In the article that we have chosen, there is a heterogeneous cluster which means there exists a large data difference in the two ends of a cluster. Also, it often happens that the same information is sent to the base station by two overlapping clusters; therefore, we save energy by eliminating duplicated data.


title: Crystal nucleation along an entropic pathway: Teaching liquids how to transition

abstract: We combine machine learning (ML) with Monte Carlo (MC) simulations to study the crystal nucleation process. Using ML, we evaluate the canonical partition function of the system over the range of densities and temperatures spanned during crystallization. We achieve this on the example of the Lennard-Jones system by training an artificial neural network using, as a reference dataset, equations of state for the Helmholtz free energy for the liquid and solid phases. The accuracy of the ML predictions is tested over a wide range of thermodynamic conditions, and results are shown to provide an accurate estimate for the canonical partition function, when compared to the results from flat-histogram simulations. Then, the ML predictions are used to calculate the entropy of the system during MC simulations in the isothermal-isobaric ensemble. This approach is shown to yield results in very good agreement with the experimental data for both the liquid and solid phases of Argon. Finally, taking entropy as a reaction coordinate and using the umbrella sampling technique, we are able to determine the Gibbs free energy profile for the crystal nucleation process. In particular, we obtain a free energy barrier in very good agreement with the results from previous simulation studies. The approach developed here can be readily extended to molecular systems and complex fluids, and is especially promising for the study of entropy-driven processes.


title: High-Performance Parallel Implementation of Genetic Algorithm on FPGA

abstract: Genetic Algorithms (GAs) are used to solve search and optimization problems in which an optimal solution can be found using an iterative process with probabilistic and non-deterministic transitions. However, depending on the problem's nature, the time required to find a solution can be high in sequential machines due to the computational complexity of genetic algorithms. This work proposes a parallel implementation of a genetic algorithm on field-programmable gate array (FPGA). Optimization of the system's processing time is the main goal of this project. Results associated with the processing time and area occupancy (on FPGA) for various population sizes are analyzed. Studies concerning the accuracy of the GA response for the optimization of two variables functions were also evaluated for the hardware implementation. However, the high-performance implementation proposes in this paper is able to work with more variable from some adjustments on hardware architecture.


title: The WFC3 Galactic Bulge Treasury Program: Relative Ages of Bulge Stars of High and Low Metallicity

abstract: The HST/WFC3 multiband photometry spanning from the UV to the near-IR of four fields in the Galactic bulge, together with that for six template globular and open clusters, are used to photometrically tag the metallicity [Fe/H] of stars in these fields after proper-motion rejecting most foreground disk contaminants. Color-magnitude diagrams and luminosity functions are then constructed, in particular for the most metal rich and most metal poor stars in each field. We do not find any significant difference between the $I$-band and $H$-band luminosity functions, hence turnoff luminosity and age, of the metal rich and metal poor components which therefore appear essentially coeval. In particular, we find that no more than $\sim 3\%$ of the metal-rich component can be $\sim 5$ Gyr old, or younger. Conversely, theoretical luminosity functions give a good match to the observed ones for an age of ~10 Gyr. Assuming this age is representative for the bulk of bulge stars, we then recall the observed properties of star-forming galaxies at 10 Gyr lookback time, i.e., at z~2, and speculate about bulge formation in that context. We argue that bar formation and buckling instabilities leading to the observed boxy/peanut, X-shaped bulge may have arisen late in the history of the Milky Way galaxy, once its gas fraction had decreased compared to the high values typical of high-redshift galaxies. This paper follows the public release of the photometric and astrometric catalogs for the measured stars in the four fields.


title: Mineralogical Characteristics of Harmattan Dust Across Jos North Central and Potiskum North Earthern Cities of Nigeria

abstract: The trace metals and mineralogical composition of harmattan dust carried out on the samples collected at Jos ((9 55'N, 8 55'E)) and Potiskum ((11 43'N, 11 02'E) as revealed by PIXE and AAS machine using clean Petri Dishes and Plastic bowls of 10 cm in diameter aimed on the characteristics of the mineralogical and elemental composition of the harmattan dust carried out in Nigeria. Thirteen trace elements, Na, K, Ca, Mg, Fe, Cd, Zn, Mn, Cu, Si, Al, Ti, and Zr were determined and their concentrations were evaluated in different proportion. Minerals such as Quartz [SiO2], Corundum [Al2O3], Hematite [Fe2O3], Lime [CaO], Periclase [MgO], Rutile [TiO2], Zincite [MnO], Bunsenite [NiO], Cuprite [Cu2O], Zincite [ZnO], Baddeleyite [ZrO2], Litharge [PbO], Monazite [P2O5], Montrodydite [HgO] and Petzite [Au2O3] were also determined in different concentrations. The particle weight of the sample for the residential and commercial areas were calculated to be Jos (18.95g/m2, 19.25g/m2), Potiskum (24.24 g/m2, 2515g/m2) respectively. The results shows that the harmattan dust that blows across the two stations in Nigeria comprise of high elements and more minerals.


title: A scalable H-matrix approach for the solution of boundary integral equations on multi-GPU clusters

abstract: In this work, we consider the solution of boundary integral equations by means of a scalable hierarchical matrix approach on clusters equipped with graphics hardware, i.e. graphics processing units (GPUs). To this end, we extend our existing single-GPU hierarchical matrix library hmglib such that it is able to scale on many GPUs and such that it can be coupled to arbitrary application codes. Using a model GPU implementation of a boundary element method (BEM) solver, we are able to achieve more than 67 percent relative parallel speed-up going from 128 to 1024 GPUs for a model geometry test case with 1.5 million unknowns and a real-world geometry test case with almost 1.2 million unknowns. On 1024 GPUs of the cluster Titan, it takes less than 6 minutes to solve the 1.5 million unknowns problem, with 5.7 minutes for the setup phase and 20 seconds for the iterative solver. To the best of the authors' knowledge, we here discuss the first fully GPU-based distributed-memory parallel hierarchical matrix Open Source library using the traditional H-matrix format and adaptive cross approximation with an application to BEM problems.


title: Resource Logics with a Diminishing Resource

abstract: Model-checking resource logics with production and consumption of resources is a computationally hard and often undecidable problem. We introduce a simple and realistic assumption that there is at least one diminishing resource, that is, a resource that cannot be produced and every action has a non-zero cost on this resource. An example of such resource is time. We show that, with this assumption, problems that are undecidable even for the underlying Alternating Time Temporal Logic, such as model-checking under imperfect information and perfect recall, become decidable for resource logics with a diminishing resource.


title: The Voigt and complex error function: Huml\'i\v{c}ek's rational approximation generalized

abstract: Accurate yet efficient computation of the Voigt and complex error function is a challenge since decades in astrophysics and other areas of physics. Rational approximations have attracted considerable attention and are used in many codes, often in combination with other techniques. The 12-term code "cpf12" of Huml\'i\v{c}ek (1979) achieves an accuracy of five to six significant digits throughout the entire complex plane. Here we generalize this algorithm to a larger (even) number of terms. The $n=16$ approximation has a relative accuracy better than $10^{-5}$ for almost the entire complex plane except for very small imaginary values of the argument even without the correction term required for the cpf12 algorithm. With 20 terms the accuracy is better than $10^{-6}$. In addition to the accuracy assessment we discuss methods for optimization and propose a combination of the 16-term approximation with the asymptotic approximation of Huml\'i\v{c}ek (1982) for high efficiency.


title: Conformal invariance of the loop-erased percolation explorer

abstract: We consider critical percolation on the triangular lattice in a bounded simply connected domain with boundary conditions that force an interface between two prescribed boundary points. We say the interface forms a "near-loop" when it comes within one lattice spacing of itself. We define a new curve by erasing these near-loops as we traverse the interface. Our Monte Carlo simulations of this model lead us to conclude that the scaling limit of this loop-erased percolation interface is conformally invariant and has fractal dimension 4/3. However, it is not SLE_8/3. We also consider the process in which a near-loop is when the explorer comes within two lattice spacings of itself.

categories: math.PR cond-mat.stat-mech math-ph math.MP


title: Multipartite state generation in quantum networks with optimal scaling

abstract: We introduce a repeater scheme to efficiently distribute multipartite entangled states in a quantum network with optimal scaling. The scheme allows to generate graph states such as 2D and 3D cluster states of growing size or GHZ states over arbitrary distances, with a constant overhead per node/channel that is independent of the distance. The approach is genuine multipartite, and is based on the measurement-based implementation of multipartite hashing, an entanglement purification protocol that operates on a large ensemble together with local merging/connection of elementary building blocks. We analyze the performance of the scheme in a setting where local or global storage is limited, and compare it to bipartite and hybrid approaches that are based on the distribution of entangled pairs. We find that the multipartite approach offers a storage advantage, which results in higher efficiency and better performance in certain parameter regimes. We generalize our approach to arbitrary network topologies and different target graph states.


title: The Hasse norm principle for $A_n$-extensions

abstract: We prove that, for every $n \geq 5$, the Hasse norm principle holds for a degree $n$ extension $K/k$ of number fields with normal closure $F$ such that $\operatorname{Gal}(F/k) \cong A_n$. We also show the validity of weak approximation for the associated norm one tori.


title: An Analytical Method for the NLO QCD Corrections to Double-Higgs Production

abstract: We propose a new method to calculate analytically higher-order perturbative corrections and we apply it to the calculation of the two-loop virtual corrections to Higgs pair production through gluon fusion. The method is based on the expansion of the amplitudes in terms of a small Higgs transverse momentum. This approach gives a very good approximation (better than per-mille) of the partonic cross section in the center of mass energy region $\sqrt{\hat{s}} \lesssim 750$ GeV, where $\sim95\%$ of the total hadronic cross section is concentrated. The presented method is general and can be applied in a straightforward way to the computation of virtual higher-order corrections to other $2\to2$ processes, representing an improvement with respect to calculations based on heavy mass expansions.


title: Rational maps from Euclidean Configuration Spaces to Spheres

abstract: In this note we give an algorithm to determine the rational homotopy type of the free and pointed mapping spaces $ map(F(\mathbb R^m,k), S^n)$ and $ map^*(F(\mathbb R^m,k), S^n)$. An explicit description of these spaces is given for $k=3$. The general case for $n$ odd is also presented as an immediate consequence of the rational version of a classical result of Thom.


title: Analysis and preconditioning of parameter-robust finite element methods for Biot's consolidation model

abstract: In this paper we consider a three-field formulation of the Biot model which has the displacement, the total pressure, and the pore pressure as unknowns. For parameter-robust stability analysis, we first show a priori estimates of the continuous problem with parameter-dependent norms. Then we study finite element discretizations which provide parameter-robust error estimates and preconditioners. For finite element discretizations we consider standard mixed finite element as well as stabilized methods for the Stokes equations, and the complete error analysis of semidiscrete solutions is given. Abstract forms of parameter-robust preconditioners are investigated by the operator preconditioning approach. The theoretical results are illustrated with numerical experiments.