title: ReLU activated Multi-Layer Neural Networks trained with Mixed Integer Linear Programs

abstract: In this paper, it is demonstrated through a case study that multilayer feedforward neural networks activated by ReLU functions can in principle be trained iteratively with Mixed Integer Linear Programs (MILPs) as follows. Weights are determined with batch learning. Multiple iterations are used per batch of training data. In each iteration, the algorithm starts at the output layer and propagates information back to the first hidden layer to adjust the weights using MILPs or Linear Programs. For each layer, the goal is to minimize the difference between its output and the corresponding target output. The target output of the last (output) layer is equal to the ground truth. The target output of a previous layer is defined as the adjusted input of the following layer. For a given layer, weights are computed by solving a MILP. Then, except for the first hidden layer, the input values are also modified with a MILP to better match the layer outputs to their corresponding target outputs. The method was tested and compared with Tensorflow/Keras (Adam optimizer) using two simple networks on the MNIST dataset containing handwritten digits. Accuracies of the same magnitude as with Tensorflow/Keras were achieved.


title: A Novel Approach to Predictive Accuracy Testing in Nested Environments

abstract: We introduce a new approach for comparing the predictive accuracy of two nested models that bypasses the difficulties caused by the degeneracy of the asymptotic variance of forecast error loss differentials used in the construction of commonly used predictive comparison statistics. Our approach continues to rely on the out of sample MSE loss differentials between the two competing models, leads to nuisance parameter free Gaussian asymptotics and is shown to remain valid under flexible assumptions that can accommodate heteroskedasticity and the presence of mixed predictors (e.g. stationary and local to unit root). A local power analysis also establishes its ability to detect departures from the null in both stationary and persistent settings. Simulations calibrated to common economic and financial applications indicate that our methods have strong power with good size control across commonly encountered sample sizes.


title: Stabilisation of exact coherent structures in two-dimensional turbulence using time-delayed feedback

abstract: Time-delayed feedback control, attributed to Pyragas (1992 Physics Letters 170(6) 421-428), is a method known to stabilise periodic orbits in low dimensional chaotic dynamical systems. A system of the form $\dot{\mathbf{x}}(t)=f(\mathbf{x})$ has an additional term $G(\mathbf{x}(t)-\mathbf{x}(t-T))$ introduced where $G$ is some `gain matrix' and $T$ a time delay. The form of the delay term is such that it will vanish for any orbit of period $T,$ therefore making it also an orbit of the uncontrolled system. This non-invasive feature makes the method attractive for stabilising exact coherent structures in fluid turbulence. Here we begin by validating the method for the basic flow in Kolmogorov flow; a two-dimensional incompressible Navier-Stokes flow with a sinusoidal body force. The linear predictions for stabilisation are well captured by direct numerical simulation. By applying an adaptive method to adjust the streamwise translation of the delay, a known travelling wave solution is able to be stabilised up to relatively high Reynolds number. We discover that the famous `odd-number' limitation of this time-delayed feedback method can be overcome in the fluid problem by using the symmetries of the system. This leads to the discovery of 8 additional exact coherent structures which can be stabilised with this approach. This means that certain unstable exact coherent structures can be obtained by simply time-stepping a modified set of equations, thus circumventing the usual convergence algorithms.


title: Characterizing ultrashort laser pulses with second harmonic dispersion scans

abstract: The dispersion scan (d-scan) technique has emerged as a simple-to-implement characterization method for ultrashort laser pulses. D-scan traces are intuitive to interpret and retrieval algorithms that are both fast and robust have been developed to obtain the spectral phase and the temporal pulse profile. Here, we give a review of the d-scan technique based on second harmonic generation. We describe and compare recent implementations for the characterization of few- and multi-cycle pulses as well as two different approaches for recording d-scan traces in single-shot, thus showing the versatility of the technique.


title: Polyanalytic Reproducing Kernels on the Quantized Annulus

abstract: While dealing with the constant-strength magnetic Laplacian on the annulus, we complete J. Peetre's work. In particular, the eigenspaces associated with its discrete spectrum are true-polyanalytic spaces with respect to the invariant Cauchy-Riemann operator, and we write down explicit formulas for their reproducing kernels. The latter are expressed by means of the fourth Jacobi theta function and of its logarithmic derivatives when the magnetic field strength is an integer. Under this quantization condition, we also derive the transformation rule satisfied by the reproducing kernel under the automorphism group of the annulus.


title: Robust RGB-based 6-DoF Pose Estimation without Real Pose Annotations

abstract: While much progress has been made in 6-DoF object pose estimation from a single RGB image, the current leading approaches heavily rely on real-annotation data. As such, they remain sensitive to severe occlusions, because covering all possible occlusions with annotated data is intractable. In this paper, we introduce an approach to robustly and accurately estimate the 6-DoF pose in challenging conditions and without using any real pose annotations. To this end, we leverage the intuition that the poses predicted by a network from an image and from its counterpart synthetically altered to mimic occlusion should be consistent, and translate this to a self-supervised loss function. Our experiments on LINEMOD, Occluded-LINEMOD, YCB and new Randomization LINEMOD dataset evidence the robustness of our approach. We achieve state of the art performance on LINEMOD, and OccludedLINEMOD in without real-pose setting, even outperforming methods that rely on real annotations during training on Occluded-LINEMOD.


title: Projective spaces as orthogonal modular varieties

abstract: We construct $16$ reflection groups $\Gamma$ acting on symmetric domains $\mathcal{D}$ of Cartan type IV, for which the graded algebras of modular forms are freely generated by forms of the same weight, and in particular the Satake--Baily--Borel compactification of $\mathcal{D} / \Gamma$ is isomorphic to a projective space. Four of these are previously known results of Freitag--Salvati Manni, Matsumoto, Perna and Runge. In addition we find several new modular groups of orthogonal type whose algebras of modular forms are freely generated.


title: Elimination of the Blue Loops in the Evolution of Intermediate-mass Stars by the Neutrino Magnetic Moment and Large Extra Dimensions

abstract: For searching beyond Standard Model physics, stars are laboratories which complement terrestrial experiments. Massless neutrinos in the Standard Model of particle physics cannot have a magnetic moment, but massive neutrinos have a finite magnetic moment in the minimal extension of the Standard Model. Large extra dimensions are a possible solution of the hierarchy problem. Both of these provide additional energy loss channels in stellar interiors via the electromagnetic interaction and radiation into extra dimensions, respectively, and thus affect stellar evolution. We perform simulations of stellar evolution with such additional energy losses and find that they eliminate the blue loops in the evolution of intermediate-mass stars. The existence of Cepheid stars can be used to constrain the neutrino magnetic moment and large extra dimensions. In order for Cepheids to exist, the neutrino magnetic moment should be smaller than the range ~2x10^{-10} to 4x10^{-11}mu_B, where mu_B is the Bohr magneton, and the fundamental scale in the (4+2)-spacetime should be larger than ~2 to 5 TeV, depending on the rate of the ^{12}C(alpha, gamma)^{16}O reaction. The fundamental scale also has strong dependence on the metallicity. This value of the magnetic moment is in the range explored in the reactor experiments, but higher than the limit inferred from globular clusters. Similarly the fundamental scale value we constrain corresponds to a size of the compactified dimensions comparable to those explored in the torsion balance experiments, but is smaller than the limits inferred from collider experiments and low-mass stars.


title: A detailed view on the circumstellar environment of the M-type AGB star EP Aquarii I. High-resolution ALMA and SPHERE observations

abstract: Cool evolved stars are known to be significant contributors to the enrichment of the interstellar medium through their dense and dusty stellar winds. High resolution observations of these outflows have shown them to possess high degrees of morphological complexity. We observed the asymptotic giant branch (AGB) star EP Aquarii with ALMA in band 6 and VLT/SPHERE/ZIMPOL in four filters the visible. Both instruments had an angular resolution of 0.025''. These are follow-up observations to the lower-resolution 2016 ALMA analysis of EP Aquarii, which revealed that its wind possesses a nearly face-on, spiral-harbouring equatorial density enhancement, with a nearly pole-on bi-conical outflow. At the base of the spiral, the SiO emission revealed a distinct emission void approximately 0.4'' to the west of the continuum brightness peak, which was proposed to be linked to the presence of a companion. The new ALMA data better resolve the inner wind and reveal that its morphology as observed in CO is consistent with hydrodynamical companion-induced perturbations. Assuming that photodissociation by the UV-field of the companion is responsible for the emission void in SiO, we deduced the spectral properties of the tentative companion from the size of the hole. We conclude that the most probable companion candidate is a white dwarf with a mass between 0.65 and 0.8 Msol , though a solar-like companion could not be definitively excluded. The radial SiO emission shows periodic, low-amplitude perturbations. We tentatively propose that they could be the consequence of the interaction of the AGB wind with another much closer low-mass companion. The polarised SPHERE/ZIMPOL data show a circular signal surrounding the AGB star with a radius of 0.1''...


title: All good things come in threes: the third image of the lensed quasar PKS1830-211

abstract: Strong gravitational lensing distorts our view of sources at cosmological distances but brings invaluable constraints on the mass content of foreground objects and on the geometry and properties of the Universe. We report the detection of a third continuum source toward the strongly lensed quasar PKS1830-211 in ALMA multi-frequency observations of high dynamic range and high angular resolution. This third source is point-like and located slightly to the north of the diagonal joining the two main lensed images, A and B, 0.3 arcsec away from image B. It has a flux density that is ~140 times weaker than images A and B and a similar spectral index, compatible with synchrotron emission. We conclude that this source is most likely the expected highly de-magnified third lensed image of the quasar. In addition, we detect, for the first time at millimeter wavelengths, weak and asymmetrical extensions departing from images A and B that correspond to the brightest regions of the Einstein ring seen at centimeter wavelengths. Their spectral index is steeper than that of compact images A, B, and C, which suggests that they arise from a different component of the quasar. Using the GravLens code, we explore the implications of our findings on the lensing model and propose a simple model that accurately reproduces our ALMA data and previous VLA observations. With a more precise and accurate measurement of the time delay between images A and B, the system PKS1830-211 could help to constrain the Hubble constant to a precision of a few percent.


title: Measurement of collisions between laser cooled cesium atoms and trapped cesium ions

abstract: We report the measurement of collision rate coefficient for collisions between ultracold Cs atoms and low energy Cs+ ions. The experiments are performed in a hybrid trap consisting of a magneto-optical trap (MOT) for Cs atoms and a Paul trap for Cs+ ions. The ion-atom collisions impart kinetic energy to the ultracold Cs atoms resulting in their escape from the shallow MOT and, therefore, in a reduction in the number of Cs atoms in the MOT. By monitoring, using fluorescence measurements, the Cs atom number and the MOT loading dynamics and then fitting the data to a rate equation model, the ion-atom collision rate is derived. The Cs-Cs+ collision rate coefficient $9.3(\pm0.4)(\pm1.2)(\pm3.5) \times 10^{-14}$ m$^{3}$s$^{-1}$, measured for an ion distribution with most probable collision energy of 95 meV ($\approx k_{B}.1100$ K), is in fair agreement with theoretical calculations. As an intermediate step, we also determine the photoionization cross section of Cs $6P_{3/2}$ atoms at 473 nm wavelength to be $2.28 (\pm 0.33) \times 10^{-21}$ m$^{2}$.

categories: physics.atom-ph cond-mat.quant-gas physics.app-ph physics.chem-ph


title: Kernelized Stein Discrepancy Tests of Goodness-of-fit for Time-to-Event Data

abstract: Survival Analysis and Reliability Theory are concerned with the analysis of time-to-event data, in which observations correspond to waiting times until an event of interest such as death from a particular disease or failure of a component in a mechanical system. This type of data is unique due to the presence of censoring, a type of missing data that occurs when we do not observe the actual time of the event of interest but, instead, we have access to an approximation for it given by random interval in which the observation is known to belong. Most traditional methods are not designed to deal with censoring, and thus we need to adapt them to censored time-to-event data. In this paper, we focus on non-parametric goodness-of-fit testing procedures based on combining the Stein's method and kernelized discrepancies. While for uncensored data, there is a natural way of implementing a kernelized Stein discrepancy test, for censored data there are several options, each of them with different advantages and disadvantages. In this paper, we propose a collection of kernelized Stein discrepancy tests for time-to-event data, and we study each of them theoretically and empirically; our experimental results show that our proposed methods perform better than existing tests, including previous tests based on a kernelized maximum mean discrepancy.


title: On CCZ-equivalence of the inverse function

abstract: The inverse function $x \mapsto x^{-1}$ on $\mathbb{F}_{2^n}$ is one of the most studied functions in cryptography due to its widespread use as an S-box in block ciphers like AES. In this paper, we show that, if $n\geq 5$, every function that is CCZ-equivalent to the inverse function is already EA-equivalent to it. This confirms a conjecture by Budaghyan, Calderini and Villa. We also prove that every permutation that is CCZ-equivalent to the inverse function is already affine equivalent to it. The majority of the paper is devoted to proving that there are no permutation polynomials of the form $L_1(x^{-1})+L_2(x)$ over $\mathbb{F}_{2^n}$ if $n\geq 5$, where $L_1,L_2$ are nonzero linear functions. In the proof, we combine Kloosterman sums, quadratic forms and tools from additive combinatorics.


title: On the comparison principle for second order elliptic equations without first and zeroth order terms

abstract: We consider the comparison principle for semicontinuous viscosity sub- and supersolutions of second order elliptic equations on the form $F(D^2 w,x) = 0$. A structural condition on the operator is presented that seems to unify the different existing theories. A new result is obtained and the proofs of the classical results are simplified.


title: Improving predictions of Bayesian neural nets via local linearization

abstract: The generalized Gauss-Newton (GGN) approximation is often used to make practical Bayesian deep learning approaches scalable by replacing a second order derivative with a product of first order derivatives. In this paper we argue that the GGN approximation should be understood as a local linearization of the underlying Bayesian neural network (BNN), which turns the BNN into a generalized linear model (GLM). Because we use this linearized model for posterior inference, we should also predict using this modified model instead of the original one. We refer to this modified predictive as "GLM predictive" and show that it effectively resolves common underfitting problems of the Laplace approximation. It extends previous results in this vein to general likelihoods and has an equivalent Gaussian process formulation, which enables alternative inference schemes for BNNs in function space. We demonstrate the effectiveness of our approach on several standard classification datasets as well as on out-of-distribution detection. We provide an implementation at https://github.com/AlexImmer/BNN-predictions.


title: Coverage-Based Debloating for Java Bytecode

abstract: Software bloat is code that is packaged in an application but is actually not necessary to run the application. The presence of software bloat is an issue for security, for performance, and for maintenance. In this paper, we introduce a novel technique for debloating, which we call coverage-based debloating. We implement the technique for one single language: Java bytecode. We leverage a combination of state-of-the-art Java bytecode coverage tools to precisely capture what parts of a project and its dependencies are used when running with a specific workload. Then, we automatically remove the parts that are not covered, in order to generate a debloated version of the project. We succeed to debloat 211 library versions from a dataset of 94 unique open-source Java libraries. The debloated versions are syntactically correct and preserve their original behavior according to the workload. Our results indicate that 68.3% of the libraries' bytecode and 20.3% of their total dependencies can be removed through coverage-based debloating. For the first time in the literature on software debloating, we assess the utility of debloated libraries with respect to client applications that reuse them. We select 988 client projects that either have a direct reference to the debloated library in their source code or which test suite covers at least one class of the libraries that we debloat. Our results show that 81.5% of the clients, with at least one test that uses the library, successfully compile and pass their test suite when the original library is replaced by its debloated version.


title: The various accretion modes of AM Herculis: Clues from multi-wavelength observations in high accretion states

abstract: We report on XMM-Newton and NuSTAR X-ray observations of the prototypical polar, AM Herculis, supported by ground-based photometry and spectroscopy, all obtained in high accretion states. In 2005, AM Herculis was in its regular mode of accretion, showing a self-eclipse of the main accreting pole. X-ray emission during the self-eclipse was assigned to a second pole through its soft X-ray emission and not to scattering. In 2015, AM Herculis was in its reversed mode with strong soft blobby accretion at the far accretion region. The blobby acretion region was more luminous than the other, persistently accreting, therefore called main region. Hard X-rays from the main region did not show a self-eclipse indicating a pronounced migration of the accretion footpoint. Extended phases of soft X-ray extinction through absorption in interbinary matter were observed for the first time in AM Herculis. The spectral parameters of a large number of individual soft flares could be derived. Simultaneous NuSTAR observations in the reversed mode of accretion revealed clear evidence for Compton reflection of radiation from the main pole at the white dwarf surface. This picture is supported by the trace of the Fe resonance line at 6.4 keV through the whole orbit. Highly ionized oxygen lines observed with the Reflection Grating Spectrometer (RGS) were tentatively located at the bottom of the accretion column, although the implied densities are quite different from expectations. In the regular mode of accretion, the phase-dependent modulations in the ultraviolet (UV) are explained with projection effects of an accretion-heated spot at the prime pole. In the reversed mode projection effects cannot be recognized. The light curves reveal an extra source of UV radiation and extended UV absorbing dips. An Ha Doppler map obtained contemporaneously (abstract abridged)


title: Concentration phenomena for the Schr\"odinger-Poisson system in $\mathbb{R}^2$

abstract: We perform a semiclassical analysis for the planar Schr\"odinger-Poisson system \[ \cases{ -\varepsilon^{2} \Delta\psi+V(x)\psi= E(x) \psi \quad \text{in $\mathbb{R}^2$},\cr -\Delta E= |\psi|^{2} \quad \text{in $\mathbb{R}^2$}, \cr } \tag{$SP_\varepsilon$} \] where $\varepsilon$ is a positive parameter corresponding to the Planck constant and $V$ is a bounded external potential. We detect solution pairs $(u_\varepsilon, E_\varepsilon)$ of the system $(SP_\varepsilon)$ as~$\ge \rightarrow 0$.


title: Full-sky photon simulation of clusters and active galactic nuclei in the soft X-rays for eROSITA

abstract: The eROSITA X-ray telescope on board the Spectrum-Roentgen-Gamma (SRG) mission will measure the position and properties of about 100,000 clusters of galaxies and 3 million active galactic nuclei over the full sky. To study the statistical properties of this ongoing survey, it is key to estimate the selection function accurately. We create a set of full sky light-cones using the MultiDark and UNIT dark matter only N-body simulations. We present a novel method to predict the X-ray emission of galaxy clusters. Given a set of dark matter halo properties (mass, redshift, ellipticity, offset parameter), we construct an X-ray emissivity profile and image for each halo in the light-cone. We follow the eROSITA scanning strategy to produce a list of X-ray photons on the full sky. We predict scaling relations for the model clusters, which are in good agreement with the literature. The predicted number density of clusters as a function of flux also agrees with previous measurements. Finally, we obtain a scatter of 0.21 (0.07, 0.25) for the X-ray luminosity -- mass (temperature -- mass, luminosity -- temperature) model scaling relations. We provide catalogues with the model photons emitted by clusters and active galactic nuclei. These catalogues will aid the eROSITA end to end simulation flow analysis and in particular the source detection process and cataloguing methods.


title: HpRNet : Incorporating Residual Noise Modeling for Violin in a Variational Parametric Synthesizer

abstract: Generative Models for Audio Synthesis have been gaining momentum in the last few years. More recently, parametric representations of the audio signal have been incorporated to facilitate better musical control of the synthesized output. In this work, we investigate a parametric model for violin tones, in particular the generative modeling of the residual bow noise to make for more natural tone quality. To aid in our analysis, we introduce a dataset of Carnatic Violin Recordings where bow noise is an integral part of the playing style of higher pitched notes in specific gestural contexts. We obtain insights about each of the harmonic and residual components of the signal, as well as their interdependence, via observations on the latent space derived in the course of variational encoding of the spectral envelopes of the sustained sounds.


title: The existence of partially localized periodic-quasiperiodic solutions and related KAM-type results for elliptic equations on the entire space

abstract: We consider the equation $\Delta_x u+u_{yy}+f(u)=0,\ x=(x_1,\dots,x_N)\in\mathbb{R}^N,\ y\in \mathbb{R},$ where $N\geq 2$ and $f$ is a sufficiently smooth function satisfying $f(0)=0$, $f'(0)<0$, and some natural additional conditions. We prove that the equation possesses uncountably many positive solutions (disregarding translations) which are radially symmetric in $x'=(x_1,\dots,x_{N-1})$ and decaying as $|x'|\to\infty$, periodic in $x_N$, and quasiperiodic in $y$. Related theorems for more general equations are included in our analysis as well. Our method is based on center manifold and KAM-type results.


title: Instance-Aware Graph Convolutional Network for Multi-Label Classification

abstract: Graph convolutional neural network (GCN) has effectively boosted the multi-label image recognition task by introducing label dependencies based on statistical label co-occurrence of data. However, in previous methods, label correlation is computed based on statistical information of data and therefore the same for all samples, and this makes graph inference on labels insufficient to handle huge variations among numerous image instances. In this paper, we propose an instance-aware graph convolutional neural network (IA-GCN) framework for multi-label classification. As a whole, two fused branches of sub-networks are involved in the framework: a global branch modeling the whole image and a region-based branch exploring dependencies among regions of interests (ROIs). For label diffusion of instance-awareness in graph convolution, rather than using the statistical label correlation alone, an image-dependent label correlation matrix (LCM), fusing both the statistical LCM and an individual one of each image instance, is constructed for graph inference on labels to inject adaptive information of label-awareness into the learned features of the model. Specifically, the individual LCM of each image is obtained by mining the label dependencies based on the scores of labels about detected ROIs. In this process, considering the contribution differences of ROIs to multi-label classification, variational inference is introduced to learn adaptive scaling factors for those ROIs by considering their complex distribution. Finally, extensive experiments on MS-COCO and VOC datasets show that our proposed approach outperforms existing state-of-the-art methods.


title: Identifying the Huse-Fisher universality class of the three-state chiral Potts model

abstract: Using the corner-transfer matrix renormalization group approach, we revisit the three-state chiral Potts model on the square lattice, a model proposed in the eighties to describe commensurate-incommensurate transitions at surfaces, and with direct relevance to recent experiments on chains of Rydberg atoms. This model was suggested by Huse and Fisher to have a chiral transition in the vicinity of the Potts point, a possibility that turned out to be very difficult to definitely establish or refute numerically. Our results confirm that the transition changes character at a Lifshitz point that separates a line of Pokrosky-Talapov transition far enough from the Potts point from a line of direct continuous order-disorder transition close to it. Thanks to the accuracy of the numerical results, we have been able to base the analysis entirely on effective exponents to deal with the crossovers that have hampered previous numerical investigations. The emerging picture is that of a new universality class with exponents that do not change between the Potts point and the Lifshitz point, and that are consistent with those of a self-dual version of the model, namely correlation lengths exponents $\nu_x=2/3$ in the direction of the asymmetry and $\nu_y=1$ perpendicular to it, an incommensurability exponent $\bar \beta=2/3$, a specific heat exponent that keeps the value $\alpha=1/3$ of the three-state Potts model, and a dynamical exponent $z=3/2$. These results are in excellent agreement with experimental results obtained on reconstructed surfaces in the nineties, and shed light on recent Kibble-Zurek experiments on the period-3 phase of chains of Rydberg atoms.


title: Early RTL Analysis for SCA Vulnerability in Fuzzy Extractors of Memory-Based PUF Enabled Devices

abstract: Physical Unclonable Functions (PUFs) are gaining attention in the cryptography community because of the ability to efficiently harness the intrinsic variability in the manufacturing process. However, this means that they are noisy devices and require error correction mechanisms, e.g., by employing Fuzzy Extractors (FEs). Recent works demonstrated that applying FEs for error correction may enable new opportunities to break the PUFs if no countermeasures are taken. In this paper, we address an attack model on FEs hardware implementations and provide a solution for early identification of the timing Side-Channel Attack (SCA) vulnerabilities which can be exploited by physical fault injection. The significance of this work stems from the fact that FEs are an essential building block in the implementations of PUF-enabled devices. The information leaked through the timing side-channel during the error correction process can reveal the FE input data and thereby can endanger revealing secrets. Therefore, it is very important to identify the potential leakages early in the process during RTL design. Experimental results based on RTL analysis of several Bose-Chaudhuri-Hocquenghem (BCH) and Reed-Solomon decoders for PUF-enabled devices with FEs demonstrate the feasibility of the proposed methodology.


title: Inheritance of Convexity for the $\tilde{\mathcal{P}}_{\min}$-Restricted Game

abstract: We consider a restricted game on weighted graphs associated with minimum partitions. We replace in the classical definition of Myerson restricted game the connected components of any subgraph by the sub-components obtained with a specific partition $\tilde{\mathcal{P}}_{\min}$. This partition relies on the same principle as the partition $\mathcal{P}_{\min}$ introduced by Grabisch and Skoda (2012) but restricted to connected coalitions. More precisely, this new partition $\tilde{\mathcal{P}}_{\min}$ is induced by the deletion of the minimum weight edges in each connected component associated with a coalition. We provide a characterization of the graphs satisfying inheritance of convexity from the underlying game to the restricted game associated with $\tilde{\mathcal{P}}_{\min}$.


title: Iwasawa theory of twists of elliptic modular forms over imaginary quadratic fields at inert primes

abstract: Our primary goal in this article is to study the Iwasawa theory for semi-ordinary families of automorphic forms on $\mathrm{GL}_2\times\mathrm{Res}_{K/\mathbb{Q}}\mathrm{GL}_1$, where $K$ is an imaginary quadratic field where the prime $p$ is inert. We prove divisibility results towards Iwasawa main conjectures in this context, utilizing the optimized signed factorization procedure for Perrin-Riou functionals and Beilinson--Flach elements for a family of Rankin--Selberg products of $p$-ordinary forms with a fixed $p$-non-ordinary modular form. The optimality enables an effective control on the $\mu$-invariants of Selmer groups and $p$-adic $L$-functions as the modular forms vary in families, which is crucial for our patching argument to establish one divisibility in an Iwasawa main conjecture in three variables.


title: Survey on Cryptocurrency Networking: Context, State-of-the-Art, Challenges

abstract: Cryptocurrencies such as Bitcoin are realized using distributed systems and hence critically rely on the performance and security of the interconnecting network. The requirements on these networks and their usage, however can differ significantly from traditional communication networks, with implications on all layers of the protocol stack. This paper is motivated by these differences, and in particular by the observation that many fundamental design aspects of these networks are not well-understood today. In order to support the networking community to contribute to this emerging application domain, we present a structured overview of the field, from topology and neighbor discovery to block and transaction propagation. In particular, we provide the context, highlighting differences and commonalities with traditional networks, review the state-of-the-art, and identify open research challenges. Our paper can hence also be seen as a call-to-arms to improve the foundation on top of which cryptocurrencies are built.


title: Augmenting Geometric Graphs with Matchings

abstract: We study noncrossing geometric graphs and their disjoint compatible geometric matchings. Given a cycle (a polygon) P we want to draw a set of pairwise disjoint straight-line edges with endpoints on the vertices of P such that these new edges neither cross nor contain any edge of the polygon. We prove NP-completeness of deciding whether there is such a perfect matching. For any n-vertex polygon, with n > 3, we show that such a matching with less than n/7 edges is not maximal, that is, it can be extended by another compatible matching edge. We also construct polygons with maximal compatible matchings with n/7 edges, demonstrating the tightness of this bound. Tight bounds on the size of a minimal maximal compatible matching are also obtained for the families of d-regular geometric graphs for each d in {0,1,2}. Finally we consider a related problem. We prove that it is NP-complete to decide whether a noncrossing geometric graph G admits a set of compatible noncrossing edges such that G together with these edges has minimum degree five.


title: Improving Blind Spot Denoising for Microscopy

abstract: Many microscopy applications are limited by the total amount of usable light and are consequently challenged by the resulting levels of noise in the acquired images. This problem is often addressed via (supervised) deep learning based denoising. Recently, by making assumptions about the noise statistics, self-supervised methods have emerged. Such methods are trained directly on the images that are to be denoised and do not require additional paired training data. While achieving remarkable results, self-supervised methods can produce high-frequency artifacts and achieve inferior results compared to supervised approaches. Here we present a novel way to improve the quality of self-supervised denoising. Considering that light microscopy images are usually diffraction-limited, we propose to include this knowledge in the denoising process. We assume the clean image to be the result of a convolution with a point spread function (PSF) and explicitly include this operation at the end of our neural network. As a consequence, we are able to eliminate high-frequency artifacts and achieve self-supervised results that are very close to the ones achieved with traditional supervised methods.


title: Competitive Analysis for Two Variants of Online Metric Matching Problem

abstract: In this paper, we study two variants of the online metric matching problem. The first problem is the online metric matching problem where all the servers are placed at one of two positions in the metric space. We show that a simple greedy algorithm achieves the competitive ratio of 3 and give a matching lower bound. The second problem is the online facility assignment problem on a line, where servers have capacities, servers and requests are placed on 1-dimensional line, and the distances between any two consecutive servers are the same. We show lower bounds $1+ \sqrt{6}$ $(> 3.44948)$, $\frac{4+\sqrt{73}}{3}$ $(>4.18133)$ and $\frac{13}{3}$ $(>4.33333)$ on the competitive ratio when the numbers of servers are 3, 4 and 5, respectively.


title: Gradually Applying Weakly Supervised and Active Learning for Mass Detection in Breast Ultrasound Images

abstract: We propose a method for effectively utilizing weakly annotated image data in an object detection tasks of breast ultrasound images. Given the problem setting where a small, strongly annotated dataset and a large, weakly annotated dataset with no bounding box information are available, training an object detection model becomes a non-trivial problem. We suggest a controlled weight for handling the effect of weakly annotated images in a two stage object detection model. We~also present a subsequent active learning scheme for safely assigning weakly annotated images a strong annotation using the trained model. Experimental results showed a 24\% point increase in correct localization (CorLoc) measure, which is the ratio of correctly localized and classified images, by assigning the properly controlled weight. Performing active learning after a model is trained showed an additional increase in CorLoc. We tested the proposed method on the Stanford Dog datasets to assure that it can be applied to general cases, where strong annotations are insufficient to obtain resembling results. The presented method showed that higher performance is achievable with lesser annotation effort.


title: Modular Subset Sum, Dynamic Strings, and Zero-Sum Sets

abstract: The modular subset sum problem consists of deciding, given a modulus $m$, a multiset $S$ of $n$ integers in $0..m-1$, and a target integer $t$, whether there exists a subset of $S$ with elements summing to $t \mod m $, and to report such a set if it exists. We give a simple $O(m \log m)$-time with high probability (w.h.p.) algorithm for the modular subset sum problem. This builds on and improves on a previous $O(m \log^7 m)$ w.h.p. algorithm from Axiotis, Backurs, Jin, Tzamos, and Wu (SODA 19). Our method utilizes the ADT of the dynamic strings structure of Gawrychowski et al. (SODA~18). However, as this structure is rather complicated we present a much simpler alternative which we call the Data Dependent Tree. As an application, we consider the computational version of a fundamental theorem in zero-sum Ramsey theory. The Erd\H{o}s-Ginzburg-Ziv Theorem states that a multiset of $2n - 1$ integers always contains a subset of cardinality exactly $n$ whose values sum to a multiple of $n$. We give an algorithm for finding such a subset in time $O(n \log n)$ w.h.p. which improves on an $O(n^2)$ algorithm due to Del Lungo, Marini, and Mori (Disc. Math. 09).


title: Anchor-free Small-scale Multispectral Pedestrian Detection

abstract: Multispectral images consisting of aligned visual-optical (VIS) and thermal infrared (IR) image pairs are well-suited for practical applications like autonomous driving or visual surveillance. Such data can be used to increase the performance of pedestrian detection especially for weakly illuminated, small-scaled, or partially occluded instances. The current state-of-the-art is based on variants of Faster R-CNN and thus passes through two stages: a proposal generator network with handcrafted anchor boxes for object localization and a classification network for verifying the object category. In this paper we propose a method for effective and efficient multispectral fusion of the two modalities in an adapted single-stage anchor-free base architecture. We aim at learning pedestrian representations based on object center and scale rather than direct bounding box predictions. In this way, we can both simplify the network architecture and achieve higher detection performance, especially for pedestrians under occlusion or at low object resolution. In addition, we provide a study on well-suited multispectral data augmentation techniques that improve the commonly used augmentations. The results show our method's effectiveness in detecting small-scaled pedestrians. We achieve 5.68% log-average miss rate in comparison to the best current state-of-the-art of 7.49% (25% improvement) on the challenging KAIST Multispectral Pedestrian Detection Benchmark. Code: https://github.com/HensoldtOptronicsCV/MultispectralPedestrianDetection


title: Rashba-Zener mechanism for nanoscale skyrmions and topological metals

abstract: We report a microscopic electronic mechanism for nanoscale skyrmion formation and topological metalicity. The mechanism, which relies on combining the classic double-exchange (DE) physics with the Rashba spin orbit coupling (SOC), not only provides an accurate understanding of existence of skyrmions but also explains key features in small angle neutron scattering (SANS) and Lorentz transmission electron microscopy (LTEM) data on thin films of a variety of magnetic metals. The skyrmion states are characterized as disordered topological metals via explicit calculations of Bott index and Hall conductivity. Local density of states (LDOS) display characteristic oscillations that are shown to be arising from a combination of confinement effect and gauge-field induced Landau level physics. The presence of oscillations in LDOS, without external magnetic flux, is a direct consequence of the Rashba-Zener (RZ) mechanism. The results are based on hybrid simulations on a model that explicitly retains itinerant electronic degrees of freedom. A simple physical picture is provided via an effective short-range spin model with coupling constants that depend on electronic kinetic energy. The mechanism reported here not only opens up a new approach to understand skyrmion formation in metals, but also provides a guiding principle for discovering exotic topological metal states.


title: Cold bubble formation from 2/1 tearing mode during massive gas injection in a tokamak

abstract: Massive gas injection (MGI) experiments have been carried out in many tokamaks to study disruption dynamics and mitigation schemes. Two events often observed in those experiments are the excitation of the $m=2, n=1$ magnetohydrodynamic (MHD) mode, and the formation of cold bubble structure in the temperature distribution before the thermal quench (TQ). Here $m$ is the poloidal mode number, $n$ the toroidal mode number. The physics mechanisms underlying those phenomena, however, have not been entirely clear. In this work, our recent NIMROD simulations of the MGI process in a tokamak have reproduced the main features of both events, which has allowed us to examine and establish the causal relation between them. In these simulations, the $3/1$ and $2/1$ islands are found to form successively after the arrival of impurity ion cold front at the corresponding $q = 3$ and $q = 2$ rational surfaces. At the interface between impurity and plasma, a local thin current sheet forms due to an enhanced local pressure gradient and moves inward following the gas cold front, this may contribute to the formation of a dominant $2/1$ mode. Following the growth of the $2/1$ tearing mode, the impurity penetration into the core region inside the $q=2$ surface gives rise to the formation of the cold bubble temperature structure and initiates the final TQ. A subdominant $1/1$ mode developed earlier near the $q=1$ surface alone does not cause such a cold bubble formation, however, the exact manner of the preceding impurity penetration depends on the nature of the $1/1$ mode: kink-tearing or quasi-interchange.


title: Adjustable quantum interference oscillations in Sb-doped Bi2Se3 topological insulator nanoribbons

abstract: Topological insulator (TI) nanoribbons (NRs) provide a unique platform for investigating quantum interference oscillations combined with topological surface states. One-dimensional subbands formed along the perimeter of a TI NR can be modulated by an axial magnetic field, exhibiting Aharonov-Bohm (AB) and Altshuler-Aronov-Spivak (AAS) oscillations of magnetoconductance (MC). Using Sb-doped Bi2Se3 TI NRs, we found that the relative amplitudes of the two quantum oscillations can be tuned by varying the channel length, exhibiting crossover from quasi-ballistic to diffusive transport regimes. The AB and AAS oscillations were discernible even for a 70 micrometer long channel, while only the AB oscillations were observed for a short channel. Analyses based on ensemble-averaged fast Fourier transform of MC curves revealed exponential temperature dependences of the AB and AAS oscillations, from which the circumferential phase-coherence length and thermal length were obtained. Our observations indicate that the channel length in a TI NR can be a useful control knob for tailored quantum interference oscillations, especially for developing topological hybrid quantum devices.


title: Single particle tracking uncertainties in ion imaging

abstract: An extensive comparison of the path uncertainty in single particle tracking systems for ion imaging was carried out based on Monte Carlo simulations. The spatial resolution as function of system parameters such as geometry, detector properties and the energy of proton and helium beams was investigated to serve as a guideline for hardware developments. Primary particle paths were sampled within a water volume and compared to the most likely path estimate obtained from detector measurements, yielding a depth-dependent uncertainty envelope. The maximum uncertainty along this curve was converted to a conservative estimate of the minimal radiographic pixel spacing for a single set of parameter values. Simulations with various parameter settings were analysed to obtain an overview of the reachable pixel spacing as function of system parameters. The results were used to determine intervals of detector material budget and position resolution that yield a pixel spacing small enough for clinical dose calculation. To ensure a pixel spacing below 2 mm, the material budget of a detector should remain below 0.25 % for a position resolution of 200 $\mathrm{\mu m}$ or below 0.75 % for a resolution of 10 $\mathrm{\mu m}$. Using protons, a sub-millimetre pixel size could not be achieved for a phantom size of 300 mm or at a large clearance. With helium ions, a sub-millimetre pixel spacing could be achieved even for a large phantom size and clearance, provided the position resolution was less than 100 $\mathrm{\mu m}$ and material budget was below 0.75 %.


title: Antiferromagnetic Skyrmions and Skyrmion Density Wave in Rashba Hund's Insulator

abstract: We discover magnetic phases hosting highly-elusive and technologically important antiferromagnetic skyrmion quasiparicles in a model for Rashba-coupled Hund's insulator. The results are based on unbiased simulations of a classical superexchange model derived, in this work, from a realistic microscopic electronic Hamiltonian. We also discover a novel skyrmion density wave groundstate characterized by a ($Q,Q$) modulation in the local skyrmion density map. A unique inhomogeneous state characterized by a circular pattern in spin structure factor and filamentary real-space textures is identified as the parent of sparse antiferromagnetic skyrmions. We predict that the magnetic states reported here can be realized in thin films of multiorbital systems involving $4d$ or $5d$ transition metals.


title: AutoSimulate: (Quickly) Learning Synthetic Data Generation

abstract: Simulation is increasingly being used for generating large labelled datasets in many machine learning problems. Recent methods have focused on adjusting simulator parameters with the goal of maximising accuracy on a validation task, usually relying on REINFORCE-like gradient estimators. However these approaches are very expensive as they treat the entire data generation, model training, and validation pipeline as a black-box and require multiple costly objective evaluations at each iteration. We propose an efficient alternative for optimal synthetic data generation, based on a novel differentiable approximation of the objective. This allows us to optimize the simulator, which may be non-differentiable, requiring only one objective evaluation at each iteration with a little overhead. We demonstrate on a state-of-the-art photorealistic renderer that the proposed method finds the optimal data distribution faster (up to $50\times$), with significantly reduced training data generation (up to $30\times$) and better accuracy ($+8.7\%$) on real-world test datasets than previous methods.


title: Detection Probability in a Molecular Communication via Diffusion System with Multiple Fully-absorbing Receivers

abstract: In this letter, we consider a 3D molecular communication via diffusion system (MCvDS) with a single point transmitter and multiple fully-absorbing spherical receivers whose centers are distributed as a Poisson point process (PPP) in the medium. We derive the probability that a transmitted molecule hits any of the receivers within time t. We consider both degradable and non-degradable molecules. We verify the analysis using particle-based simulation. The framework can be used for various applications, e.g., to derive event detection probability for systems where the IMs are transmitted to convey the occurrence of a particular event to trigger reactions at receivers or can be used as channel models for such systems.


title: Multiphoton Bell-type inequality: a tool to unearth nonlocality of continuous variable quantum optical systems

abstract: We consider a multiphoton Bell-type inequality to study nonlocality in four-mode continuous variable systems, which goes beyond two-photon states and can be applied to mixed as well as states with fluctuating photon number. We apply the inequality to a wide variety of states such as pure and mixed Gaussian states (including squeezed thermal states) and non-Gaussian states. We consider beam splitters as a model for leakage and show that the inequality is able to detect nonclassicality of noisy Gaussian states as well. Finally, we investigate nonlocality in pair-coherent states and entangled coherent states, which are prominent examples of nonclassical, non-Gaussian states.


title: How Powerful are Shallow Neural Networks with Bandlimited Random Weights?

abstract: We investigate the expressive power of depth-2 bandlimited random neural networks. A random net is a neural network where the hidden layer parameters are frozen with random assignment, and only the output layer parameters are trained by loss minimization. Using random weights for a hidden layer is an effective method to avoid non-convex optimization in standard gradient descent learning. It has also been adopted in recent deep learning theories. Despite the well-known fact that a neural network is a universal approximator, in this study, we mathematically show that when hidden parameters are distributed in a bounded domain, the network may not achieve zero approximation error. In particular, we derive a new nontrivial approximation error lower bound. The proof utilizes the technique of ridgelet analysis, a harmonic analysis method designed for neural networks. This method is inspired by fundamental principles in classical signal processing, specifically the idea that signals with limited bandwidth may not always be able to perfectly recreate the original signal. We corroborate our theoretical results with various simulation studies, and generally, two main take-home messages are offered: (i) Not any distribution for selecting random weights is feasible to build a universal approximator; (ii) A suitable assignment of random weights exists but to some degree is associated with the complexity of the target function.


title: Generating Categories for Sets of Entities

abstract: Category systems are central components of knowledge bases, as they provide a hierarchical grouping of semantically related concepts and entities. They are a unique and valuable resource that is utilized in a broad range of information access tasks. To aid knowledge editors in the manual process of expanding a category system, this paper presents a method of generating categories for sets of entities. First, we employ neural abstractive summarization models to generate candidate categories. Next, the location within the hierarchy is identified for each candidate. Finally, structure-, content-, and hierarchy-based features are used to rank candidates to identify by the most promising ones (measured in terms of specificity, hierarchy, and importance). We develop a test collection based on Wikipedia categories and demonstrate the effectiveness of the proposed approach.


title: Iterations and groups of formal transformations

abstract: In this paper, we consider the problem of formal iteration. We construct an area preserving mapping which does not have any square root. This leads to a counterexample to Moser's existence theorem for an interpolation problem. We give examples of formal transformation groups such that the iteration problem has a solution for every element of the groups.


title: ROSINA ion zoo at Comet 67P

abstract: The Rosetta spacecraft escorted Comet 67P/Churyumov-Gerasimenko for 2 years along its journey through the Solar System between 3.8 and 1.24~au. Thanks to the high resolution mass spectrometer on board Rosetta, the detailed ion composition within a coma has been accurately assessed in situ for the very first time. Previous cometary missions, such as $\text{Giotto}$, did not have the instrumental capabilities to identify the exact nature of the plasma in a coma because the mass resolution of the spectrometers onboard was too low to separate ion species with similar masses. In contrast, the Double Focusing Mass Spectrometer (DFMS), part of the Rosetta Orbiter Spectrometer for Ion and Neutral Analysis on board Rosetta (ROSINA), with its high mass resolution mode, outperformed all of them, revealing the diversity of cometary ions. We calibrated and analysed the set of spectra acquired by DFMS in ion mode from October 2014 to April 2016. In particular, we focused on the range from 13-39 u$\cdot$q$^{-1}$. The high mass resolution of DFMS allows for accurate identifications of ions with quasi-similar masses, separating $^{13}$C$^+$ from CH$^+$, for instance. We confirm the presence in situ of predicted cations at comets, such as CH$_m^+$ ($m=1-4$), H$_n$O$^+$ ($n=1-3$), O$^+$, Na$^+$, and several ionised and protonated molecules. Prior to Rosetta, only a fraction of them had been confirmed from Earth-based observations. In addition, we report for the first time the unambiguous presence of a molecular dication in the gas envelope of a Solar System body, namely CO$_2^{++}$.


title: Universality of Boundary Charge Fluctuations

abstract: We establish the quantum fluctuations $\Delta Q_B^2$ of the charge $Q_B$ accumulated at the boundary of an insulator as an integral tool to characterize phase transitions where a direct gap closes (and reopens), typically occurring for insulators with topological properties. The power of this characterization lies in its capability to treat different kinds of insulators on equal footing; being applicable to transitions between topological and non-topological band, Anderson, and Mott insulators alike. In the vicinity of the phase transition we find a universal scaling $\Delta Q_B^2(E_g)$ as function of the gap size $E_g$ and determine its generic form in various dimensions. For prototypical phase transitions with a massive Dirac-like bulk spectrum we demonstrate a scaling with the inverse gap in one dimension and a logarithmic one in two dimensions.


title: Deep Neural Networks for automatic extraction of features in time series satellite images

abstract: Many earth observation programs such as Landsat, Sentinel, SPOT, and Pleiades produce huge volume of medium to high resolution multi-spectral images every day that can be organized in time series. In this work, we exploit both temporal and spatial information provided by these images to generate land cover maps. For this purpose, we combine a fully convolutional neural network with a convolutional long short-term memory. Implementation details of the proposed spatio-temporal neural network architecture are provided. Experimental results show that the temporal information provided by time series images allows increasing the accuracy of land cover classification, thus producing up-to-date maps that can help in identifying changes on earth.


title: Unsupervised Cross-domain Image Classification by Distance Metric Guided Feature Alignment

abstract: Learning deep neural networks that are generalizable across different domains remains a challenge due to the problem of domain shift. Unsupervised domain adaptation is a promising avenue which transfers knowledge from a source domain to a target domain without using any labels in the target domain. Contemporary techniques focus on extracting domain-invariant features using domain adversarial training. However, these techniques neglect to learn discriminative class boundaries in the latent representation space on a target domain and yield limited adaptation performance. To address this problem, we propose distance metric guided feature alignment (MetFA) to extract discriminative as well as domain-invariant features on both source and target domains. The proposed MetFA method explicitly and directly learns the latent representation without using domain adversarial training. Our model integrates class distribution alignment to transfer semantic knowledge from a source domain to a target domain. We evaluate the proposed method on fetal ultrasound datasets for cross-device image classification. Experimental results demonstrate that the proposed method outperforms the state-of-the-art and enables model generalization.


title: Two relativistic Kondo effects: Classification with particle and antiparticle impurities

abstract: We investigate two different types of relativistic Kondo effects, distinguished by heavy-impurity degrees of freedom, by focusing on the energy-momentum dispersion relations of the ground state with condensates composed of a light Dirac fermion and a nonrelativistic impurity fermion. Heavy fermion degrees of freedom are introduced in terms of two types of heavy-fermion effective theories, in other words, two heavy-fermion limits for the heavy Dirac fermion, which are known as the heavy-quark effective theories (HQETs) in high-energy physics. While the first one includes only the heavy-particle component, the second one contains both the heavy-particle and heavy-antiparticle components, which are opposite in their parity. From these theories, we obtain two types of Kondo effects, in which the dispersions near the Fermi surface are very similar, but they differ in the structure at low momentum. We also classify the possible forms of condensates in the two limits. The two Kondo effects will be examined by experiments with Dirac/Weyl semimetals or quark matter, lattice simulations, and cold-atom simulations.


title: Pathwise uniqueness and non-explosion property of Skorohod SDEs with a class of non-Lipschitz coefficients and non-smooth domains

abstract: Here we study stochastic differential equations with a reflecting boundary condition. We provide sufficient conditions for pathwise uniqueness and non-explosion property of solutions in a framework admitting non-Lipschitz continuous coefficients and non-smooth domains.


title: Hard-core deconfinement and soft-surface delocalization from nuclear to quark matter

abstract: We propose a conceptual distinction between hard and soft realizations of deconfinement from nuclear to quark matter. In the high density region of Hard Deconfinement the repulsive hard cores of baryons overlap each other and bulk thermodynamics is dominated by the core properties that can be experimentally accessed in high-energy scattering experiments. We find that the equation of state estimated from a single baryon core is fairly consistent with those empirically known from neutron star phenomenology. We next discuss a novel concept of Soft Deconfinement, characterized by quantum percolation of quark wave-functions, at densities lower than the threshold for Hard Deconfinement. We make a brief review of quantum percolation in the context of nuclear and quark matter and illustrate a possible scenario of quark deconfinement at high baryon densities.


title: On the $\sigma_{k}$-Nirenberg problem

abstract: We consider the problem of prescribing the $\sigma_k$-curvature on the standard sphere $\mathbb{S}^n$ with $n \geq 3$. We prove existence and compactness theorems when $k \geq n/2$. This extends an earlier result of Chang, Han and Yang for $n = 4$ and $k = 2$.


title: A 3D Motion Vector Database for Dynamic Point Clouds

abstract: Due to the large amount of data that point clouds represent and the differences in geometry of successive frames, the generation of motion vectors for an entire point cloud dataset may require a significant amount of time and computational resources. With that in mind, we provide a 3D motion vector database for all frames of two popular dynamic point cloud datasets. The motion vectors were obtained through translational motion estimation procedure that partitions the point clouds into blocks of dimensions M x M x M , and for each block, a motion vector is estimated. Our database contains motion vectors for M = 8 and M = 16. The goal of this work is to describe this publicly available 3D motion vector database that can be used for different purposes, such as compression of dynamic point clouds.


title: BabelEnconding at SemEval-2020 Task 3: Contextual Similarity as a Combination of Multilingualism and Language Models

abstract: This paper describes the system submitted by our team (BabelEnconding) to SemEval-2020 Task 3: Predicting the Graded Effect of Context in Word Similarity. We propose an approach that relies on translation and multilingual language models in order to compute the contextual similarity between pairs of words. Our hypothesis is that evidence from additional languages can leverage the correlation with the human generated scores. BabelEnconding was applied to both subtasks and ranked among the top-3 in six out of eight task/language combinations and was the highest scoring system three times.


title: Gravitational resonances on $f(T)$-branes

abstract: In this work, we investigate the gravitational resonances in various $f(T)$-brane models with the warp factor $\text{e}^{A(y)}=\tanh\big(k(y+b)\big)-\tanh\big(k(y-b)\big)$. For three kinds of $f(T)$, we give the solutions to the system. Besides, we consider the tensor perturbation of vielbein and obtain the effective potentials by the Kaluza-Klein (KK) decomposition. Then, we analyze what kind of effective potential can produce the gravitational resonances. Effects of different parameters on the gravitational resonances are analysed. The lifetimes of the resonances could be long enough as the age of our universe in some ranges of the parameters. This indicates that the gravitational resonances might be considered as one of the candidates of dark matter. Combining the current experimental observations, we constrain the parameters for these brane models.


title: Orientations for DT invariants on quasi-projective Calabi-Yau 4-folds

abstract: For a Calabi-Yau 4-fold $(X,\omega)$, where $X$ is quasi-projective and $\omega$ is a nowhere vanishing section of its canonical bundle $K_X$, the (derived) moduli stack of compactly supported perfect complexes $\mathcal{M}_X$ is $-2$-shifted symplectic and thus has an orientation bundle $O^\omega\to \mathcal{M}_X$ in the sense of Borisov-Joyce arXiv:1504.00690 necessary for defining Donaldson-Thomas type invariants of $X$. We extend first the orientability result of Cao-Gross-Joyce arXiv:1811.09658 to projective spin 4-folds. Then for any smooth projective compactification $\bar{X}$, such that $D=\bar{X}\backslash X$ is strictly normal crossing, we define orientation bundles on the stack $\mathcal{M}_{\bar{X}}\times_{\mathcal{M}_D}\mathcal{M}_{\bar{X}}$ and express these as pullbacks of $\mathbb{Z}_2$-bundles in gauge theory constructed using positive Dirac operators on the double of $X$. As a result, we relate the orientation bundle $O^\omega\to \mathcal{M}_X$ to a gauge-theoretic orientation on the classifying space of compactly supported K-theory. Using orientability of the latter, we obtain orientability of $\mathcal{M}_X$. We also prove orientability of moduli spaces of stable pairs and Hilbert schemes of proper subschemes. Finally, we consider the compatibility of orientations under direct sums.


title: Poisson Vertex Cohomology and Tate Lie Algebroids

abstract: We study sheaves on holomorphic spaces of loops and apply this to the study of the complex, defined in \cite{BdSHK}, governing deformations of the \emph{Poisson vertex algebra} structure on the space of holomorphic loops into a Poisson variety. We describe this complex in terms of the (continuous) de Rham-Lie cohomology of an associated Lie algebroid object in locally linearly compact topological (alias \emph{Tate}) sheaves of modules on $\mathcal{L}^{+}M$. In particular this allows us to easily compute the cohomology of the above in the case where $\pi$ is symplectic - we obtain de Rham cohomology of $M$.


title: Operators coming from ring schemes

abstract: We introduce the notion of a coordinate $\mathbf{k}$-algebra scheme and the corresponding notion of a $\mathcal{B}$-operator. This class of operators includes endomorphisms and derivations of the Frobenius map, and it also generalizes the operators related to $\mathcal{D}$-rings from [15]. We classify the (coordinate) $\mathbf{k}$-algebra schemes for a perfect field $\mathbf{k}$ and we also discuss the model-theoretic properties of fields with $\mathcal{B}$-operators.


title: Learning Attribute-Based and Relationship-Based Access Control Policies with Unknown Values

abstract: Attribute-Based Access Control (ABAC) and Relationship-based access control (ReBAC) provide a high level of expressiveness and flexibility that promote security and information sharing, by allowing policies to be expressed in terms of attributes of and chains of relationships between entities. Algorithms for learning ABAC and ReBAC policies from legacy access control information have the potential to significantly reduce the cost of migration to ABAC or ReBAC. This paper presents the first algorithms for mining ABAC and ReBAC policies from access control lists (ACLs) and incomplete information about entities, where the values of some attributes of some entities are unknown. We show that the core of this problem can be viewed as learning a concise three-valued logic formula from a set of labeled feature vectors containing unknowns, and we give the first algorithm (to the best of our knowledge) for that problem.


title: Domain-specific Communication Optimization for Distributed DNN Training

abstract: Communication overhead poses an important obstacle to distributed DNN training and draws increasing attention in recent years. Despite continuous efforts, prior solutions such as gradient compression/reduction, compute/communication overlapping and layer-wise flow scheduling, etc., are still coarse-grained and insufficient for an efficient distributed training especially when the network is under pressure. We present DLCP, a novel solution exploiting the domain-specific properties of deep learning to optimize communication overhead of DNN training in a fine-grained manner. At its heart, DLCP comprises of several key innovations beyond prior work: e.g., it exploits {\em bounded loss tolerance} of SGD-based training to improve tail communication latency which cannot be avoided purely through gradient compression. It then performs fine-grained packet-level prioritization and dropping, as opposed to flow-level scheduling, based on layers and magnitudes of gradients to further speedup model convergence without affecting accuracy. In addition, it leverages inter-packet order-independency to perform per-packet load balancing without causing classical re-ordering issues. DLCP works with both Parameter Server and collective communication routines. We have implemented DLCP with commodity switches, integrated it with various training frameworks including TensorFlow, MXNet and PyTorch, and deployed it in our small-scale testbed with 10 Nvidia V100 GPUs. Our testbed experiments and large-scale simulations show that DLCP delivers up to $84.3\%$ additional training acceleration over the best existing solutions.


title: A Maximum Independent Set Method for Scheduling Earth Observing Satellite Constellations

abstract: Operating Earth observing satellites requires efficient planning methods that coordinate activities of multiple spacecraft. The satellite task planning problem entails selecting actions that best satisfy mission objectives for autonomous execution. Task scheduling is often performed by human operators assisted by heuristic or rule-based planning tools. This approach does not efficiently scale to multiple assets as heuristics frequently fail to properly coordinate actions of multiple vehicles over long horizons. Additionally, the problem becomes more difficult to solve for large constellations as the complexity of the problem scales exponentially in the number of requested observations and linearly in the number of spacecraft. It is expected that new commercial optical and radar imaging constellations will require automated planning methods to meet stated responsiveness and throughput objectives. This paper introduces a new approach for solving the satellite scheduling problem by generating an infeasibility-based graph representation of the problem and finding a maximal independent set of vertices for the graph. The approach is tested on a scenarios of up to 10,000 requested imaging locations for the Skysat constellation of optical satellites as well as simulated constellations of up to 24 satellites. Performance is compared with contemporary graph-traversal and mixed-integer linear programming approaches. Empirical results demonstrate improvements in both the solution time along with the number of scheduled collections beyond baseline methods. For large problems, the maximum independent set approach is able find a feasible schedule with 8% more collections in 75% less time.


title: Bosonic Hofstadter butterflies in synthetic antiferromagnetic patterns

abstract: The emergence of Hofstadter butterflies for bosons in synthetic-gauge-field antiferromagnetic patterns is theoretically studied. We report on a specific tight-binding model of artificial antiferromagnetic structures incorporating both nearest and next-to-nearest neighbour tunnelings and allowing for the formation of the fractal spectra even with the vanishing gauge field flux through the lattice. The model is applied to square and honeycomb lattices. Possible experimental realization is suggested for the lattices of microring resonators connected by waveguides. Finally, the structure of the butterflies is analyzed for different points in the magnetic Brillouin zone for both the ferromagnetic and antiferromagnetic patterns.


title: Virus Transmission Risk in Urban Rail Systems: A Microscopic Simulation-based Analysis of Spatio-temporal Characteristics

abstract: Transmission risk of air-borne diseases in public transportation systems is a concern. The paper proposes a modified Wells-Riley model for risk analysis in public transportation systems to capture the passenger flow characteristics, including spatial and temporal patterns in terms of number of boarding, alighting passengers, and number of infectors. The model is utilized to assess overall risk as a function of OD flows, actual operations, and factors such as mask wearing, and ventilation. The model is integrated with a microscopic simulation model of subway operations (SimMETRO). Using actual data from a subway system, a case study explores the impact of different factors on transmission risk, including mask-wearing, ventilation rates, infectiousness levels of disease and carrier rates. In general, mask-wearing and ventilation are effective under various demand levels, infectiousness levels, and carrier rates. Mask-wearing is more effective in mitigating risks. Impacts from operations and service frequency are also evaluated, emphasizing the importance of maintaining reliable, frequent operations in lowering transmission risks. Risk spatial patterns are also explored, highlighting locations of higher risk.


title: Shallow Water Moment models for bedload transport problems

abstract: In this work a simple but accurate shallow model for bedload sediment transport is proposed. The model is based on applying the moment approach to the Shallow Water Exner model, making it possible to recover the vertical structure of the flow. This approach allows us to obtain a better approximation of the fluid velocity close to the bottom, which is the relevant velocity for the sediment transport. A general Shallow Water Exner moment model allowing for polynomial velocity profiles of arbitrary order is obtained. A regularization ensures hyperbolicity and easy computation of the eigenvalues. The system is solved by means of an adapted IFCP scheme proposed here. The improvement of this IFCP type scheme is based on the approximation of the eigenvalue associated to the sediment transport. Numerical tests are presented which deal with large and short time scales. The proposed model allows to obtain the vertical structure of the fluid, which results in a better description on the bedload transport of the sediment layer.

categories: physics.flu-dyn cs.NA math.NA physics.comp-ph


title: Quasinormal modes, quasiperiodic oscillations and shadow of rotating regular black holes in non-minimally coupled Einstein-Yang-Mills theory

abstract: In this paper we obtain an effective metric describing a regular and rotating magnetic black hole (BH) solution with a Yang-Mills electromagnetic source in Einstein-Yang-Mills (EYM) theory using the Newman--Janis algorithm via the non-complexification radial coordinate procedure. We then study the BH shadow and the quasinormal modes (QNMs) for massless scalar and electromagnetic fields and the quasiperiodic oscillations (QPOs). To this end, we also study the embedding diagram for the rotating EYM BH. The energy conditions, shadow curvature radius, topology and the dynamical evolution of scalar and electromagnetic perturbations using the time domain integration method are investigated. We show that the shadow radius decreases by increasing the magnetic charge, while the real part of QNMs of scalar and electromagnetic fields increases by increasing the magnetic charge. This result is consistent with the inverse relation between the shadow radius and the real part of QNMs. In addition, we have studied observational constraints on the EYM parameter $\lambda$ via frequency analysis of QPOs and the EHT data of shadow cast by the M87 central black hole. We also find that the decaying rate of the EYM BH is slower than that of the neutral and ends up with a tail. We argue that the rotating EYM black hole can be distinguished from the Kerr-Newman black hole with a magnetic charge based on the difference between the angular diameters of their shadows.


title: Axioms for Defeat in Democratic Elections

abstract: We propose six axioms concerning when one candidate should defeat another in a democratic election involving two or more candidates. Five of the axioms are widely satisfied by known voting procedures. The sixth axiom is a weakening of Kenneth Arrow's famous condition of the Independence of Irrelevant Alternatives (IIA). We call this weakening Coherent IIA. We prove that the five axioms plus Coherent IIA single out a method of determining defeats studied in our recent work: Split Cycle. In particular, Split Cycle provides the most resolute definition of defeat among any satisfying the six axioms for democratic defeat. In addition, we analyze how Split Cycle escapes Arrow's Impossibility Theorem and related impossibility results.


title: SegCodeNet: Color-Coded Segmentation Masks for Activity Detection from Wearable Cameras

abstract: Activity detection from first-person videos (FPV) captured using a wearable camera is an active research field with potential applications in many sectors, including healthcare, law enforcement, and rehabilitation. State-of-the-art methods use optical flow-based hybrid techniques that rely on features derived from the motion of objects from consecutive frames. In this work, we developed a two-stream network, the \emph{SegCodeNet}, that uses a network branch containing video-streams with color-coded semantic segmentation masks of relevant objects in addition to the original RGB video-stream. We also include a stream-wise attention gating that prioritizes between the two streams and a frame-wise attention module that prioritizes the video frames that contain relevant features. Experiments are conducted on an FPV dataset containing $18$ activity classes in office environments. In comparison to a single-stream network, the proposed two-stream method achieves an absolute improvement of $14.366\%$ and $10.324\%$ for averaged F1 score and accuracy, respectively, when average results are compared for three different frame sizes $224\times224$, $112\times112$, and $64\times64$. The proposed method provides significant performance gains for lower-resolution images with absolute improvements of $17\%$ and $26\%$ in F1 score for input dimensions of $112\times112$ and $64\times64$, respectively. The best performance is achieved for a frame size of $224\times224$ yielding an F1 score and accuracy of $90.176\%$ and $90.799\%$ which outperforms the state-of-the-art Inflated 3D ConvNet (I3D) \cite{carreira2017quo} method by an absolute margin of $4.529\%$ and $2.419\%$, respectively.


title: Statistical CSI based Design for Intelligent Reflecting Surface Assisted MISO Systems

abstract: This paper considers an intelligent reflecting surface (IRS) aided multiple-input single-output communication system, where statistical channel state information (CSI) is exploited for transmit beamforming and IRS beamforming. A tight upper bound is derived for the ergodic capacity of the system. Based on which, the joint optimization of transmit beam and IRS beam are studied. Depending on whether a line-of-sight path exists between the access point and user, two different cases, namely, Rician fading and Rayleigh fading, are separately treated. Specifically, for the Rician fading case, an iterative algorithm is proposed, which is guaranteed to converge. For the Rayleigh fading case, closed-form designs are obtained for the transmit beam and IRS beam. Simulation results show the proposed beamforming scheme achieves similar performance as the benchmark algorithm requiring instantaneous CSI.


title: Exploring the Impacts from Datasets to Monocular Depth Estimation (MDE) Models with MineNavi

abstract: Current computer vision tasks based on deep learning require a huge amount of data with annotations for model training or testing, especially in some dense estimation tasks, such as optical flow segmentation and depth estimation. In practice, manual labeling for dense estimation tasks is very difficult or even impossible, and the scenes of the dataset are often restricted to a small range, which dramatically limits the development of the community. To overcome this deficiency, we propose a synthetic dataset generation method to obtain the expandable dataset without burdensome manual workforce. By this method, we construct a dataset called MineNavi containing video footages from first-perspective-view of the aircraft matched with accurate ground truth for depth estimation in aircraft navigation application. We also provide quantitative experiments to prove that pre-training via our MineNavi dataset can improve the performance of depth estimation model and speed up the convergence of the model on real scene data. Since the synthetic dataset has a similar effect to the real-world dataset in the training process of deep model, we also provide additional experiments with monocular depth estimation method to demonstrate the impact of various factors in our dataset such as lighting conditions and motion mode.


title: The non-$\mathfrak F$-graph of a finite group

abstract: Given a formation $\mathfrak F$, we consider the graph whose vertices are the elements of $G$ and where two vertices $g,h\in G$ are adjacent if and only if $\langle g,h \rangle \notin\mathfrak F$. We are interested in the two following questions. Is the set of the isolated vertices of this graph a subgroup of $G$? Is the subgraph obtained by deleting the isolated vertices a connected graph?


title: Designing inverse dynamic controller with integral action for motion planning of surgical robot in the presence of bounded disturbances

abstract: Robotic laparoscopic grasper is a surgical tool with minimal invasion. In this robot, achieve goals like precise tracking, stability and disturbance rejection are very important. In this paper, first the stages of modeling and simulating of laparoscopic robot will be discussed and the reasons for selecting the appropriate materials for different parts of proposed practical robot will be explained. Inverse dynamic controller with integral action is applied to improve the accuracy of tracking procedure for a surgical manipulator to track a specified reference signal in the presence of tremor that is modeled as constant bounded disturbance. Based on the disturbance rejection scheme, tracking controller is constructed which is asymptotically stabilizing in the sense of Lyapunov. It is shown that how under proper assumptions; the selected schemes succeed in achieving disturbance rejection at the input of a nonlinear system. Computer simulation results demonstrate that accurate trajectory tracking can be achieved by using the proposed controller.


title: Reconfigurable Intelligent Surfaces Aided Multi-Cell NOMA Networks: A Stochastic Geometry Model

abstract: By activating blocked users and altering successive interference cancellation (SIC) sequences, reconfigurable intelligent surfaces (RISs) become promising for enhancing non-orthogonal multiple access (NOMA) systems. The downlink RIS-aided NOMA networks are investigated via stochastic geometry. We first introduce the unique path loss model for RIS reflecting channels. Then, we evaluate the angle distributions based on a Poisson cluster process (PCP) model, which theoretically demonstrates that the angles of incidence and reflection are uniformly distributed. Additionally, we derive closed-form analytical and asymptotic expressions for coverage probabilities of the paired NOMA users. Lastly, we derive the analytical expressions of the ergodic rate for both of the paired NOMA users and calculate the asymptotic expressions for the typical user. The analytical results indicate that 1) the achievable rates reach an upper limit when the length of RIS increases; 2) exploiting RISs can enhance the path loss intercept to improve the performance without influencing the bandwidth. Our results show that 1) RIS-aided NOMA networks have superior performance than the conventional NOMA networks, and 2) the SIC order in NOMA systems can be altered since RISs are able to change the channel quality of NOMA users.


title: Phenomenological studies on the $\bar{B}^0\rightarrow [K^-\pi^+]_{S/V}[\pi^+\pi^-]_{V/S} \rightarrow K^-\pi^+\pi^+\pi^-$ decay

abstract: Within the quasi-two-body decay model, we study the localized $CP$ violation and branching fraction of the four-body decay $\bar{B}^0\rightarrow [K^-\pi^+]_{S/V}[\pi^+\pi^-]_{V/S} \rightarrow K^-\pi^+\pi^-\pi^+$ when $K^-\pi^+$ and $\pi^-\pi^+$ pair invariant masses are $0.35<m_{K^-\pi^+}<2.04 \, \mathrm{GeV}$ and $0<m_{\pi^-\pi^+}<1.06\, \mathrm{GeV}$, with the pairs being dominated by the $\bar{K}^*_0(700)^0$, $\bar{K}^*(892)^0$, $\bar{K}^*(1410)^0$, $\bar{K}^*_0(1430)$ and $\bar{K}^*(1680)^0$, and $f_0(500)$, $\rho^0(770)$ , $\omega(782)$ and $f_0(980)$ resonances, respectively. When dealing with the dynamical functions of these resonances, $f_0(500)$, $\rho^0(770)$, $f_0(980)$ and $\bar{K}^*_0(1430)$ are modeled with the Bugg model, Gounaris-Sakurai function, Flatt$\acute{\mathrm{e}}$ formalism and LASS lineshape, respectively, while others are described by the relativistic Breit-Wigner function. Adopting the end point divergence parameters $\rho_A\in[0,0.5]$ and $\phi_A\in[0,2\pi]$, our predicted results are $\mathcal{A_{CP}}(\bar{B}^0\rightarrow K^-\pi^+\pi^+\pi^-)\in[-0.383,0.421]$ and $\mathcal{B}(\bar{B}^0\rightarrow K^-\pi^+\pi^+\pi^-)\in[7.36,199.69]\times10^{-8}$ based on the hypothetical $q\bar{q}$ structures for the scalar mesons in the QCD factorization approach. Meanwhile, we calculate the $CP$ violating asymmetries and branching fractions of the two-body decays $\bar{B}^0\rightarrow SV(VS)$ and all the individual four-body decays $\bar{B}^0\rightarrow SV(VS) \rightarrow K^-\pi^+\pi^-\pi^+$, respectively. Our theoretical results for the two-body decays $\bar{B}^0\rightarrow \bar{K}^*(892)^0$$f_0(980)$, $\bar{B}^0\rightarrow \bar{K}^*_0(1430)^0$$\omega(782)$, $\bar{B}^0\rightarrow \bar{K}^*(892)^0f_0(980)$, $\bar{B}^0\rightarrow\bar{K}^*_0(1430)^0\rho$,


title: Equation of State of Hot, Dense Magnesium Derived with First-PrinciplesComputer Simulations

abstract: Using two first-principles computer simulation techniques, path integral Monte-Carlo and density functional theory molecular dynamics, we derive the equation of state of magnesium in the regime of warm dense matter, with densities ranging from 0.43 to 86.11~g/cm$^3$~and temperatures from 20,000 K to $5\times10^8$~K. These conditions are relevant for the interiors of giant planets and stars as well as for shock compression measurements and inertial confinement fusion experiments. We study ionization mechanisms and electronic structure of magnesium as a function of density and temperature. We show that the L shell electrons 2s and 2p energy bands merge at high density. This results into a gradual ionization of the L-shell with increasing density and temperature. In this regard, Mg differs from MgO, which is also reflected in the shape of its principal shock Hugoniot curve. For Mg, we predict a single broad pressure-temperature region where the shock compression ratio is approximately 4.9. Mg thus differs from Si and Al plasma that exhibit two well-separated compression maxima on the Hugoniot curve for L and K shell ionizations. Finally we study multiple shocks and effects of preheat and precompression.

categories: cond-mat.mtrl-sci cond-mat.stat-mech physics.comp-ph physics.plasm-ph


title: Strain-dependent exciton diffusion in transition metal dichalcogenides

abstract: Monolayers of transition metal dichalcogenides (TMDs) have a remarkable excitonic landscape with deeply bound bright and dark exciton states. Their properties are strongly affected by lattice distortions that can be created in a controlled way via strain. Here, we perform a joint theory-experiment study investigating exciton diffusion in strained tungsten disulfide (WS$_2$) monolayers. We reveal a non-trivial and non-monotonic influence of strain. Lattice deformations give rise to different energy shifts for bright and dark excitons changing the excitonic landscape, the efficiency of intervalley scattering channels, and the weight of single exciton species to the overall exciton diffusion. We predict a minimal diffusion coefficient in unstrained WS$_2$ followed by a steep speed-up by a factor of 3 for tensile biaxial strain at about 0.6\% strain - in excellent agreement with our experiments. The obtained microscopic insights on the impact of strain on exciton diffusion are applicable to a broad class of multi-valley 2D materials.


title: Relevance of Rotationally Equivariant Convolutions for Predicting Molecular Properties

abstract: Equivariant neural networks (ENNs) are graph neural networks embedded in $\mathbb{R}^3$ and are well suited for predicting molecular properties. The ENN library e3nn has customizable convolutions, which can be designed to depend only on distances between points, or also on angular features, making them rotationally invariant, or equivariant, respectively. This paper studies the practical value of including angular dependencies for molecular property prediction directly via an ablation study with \texttt{e3nn} and the QM9 data set. We find that, for fixed network depth and parameter count, adding angular features decreased test error by an average of 23%. Meanwhile, increasing network depth decreased test error by only 4% on average, implying that rotationally equivariant layers are comparatively parameter efficient. We present an explanation of the accuracy improvement on the dipole moment, the target which benefited most from the introduction of angular features.

categories: cs.LG physics.chem-ph physics.comp-ph stat.ML


title: Galilean invariance of shallow cumulus convection large-eddy simulations

abstract: In large-eddy simulations (LES) a computational-domain translation velocity can be used to improve performance by allowing longer time-step intervals. The continuous equations are Galilean invariant, however, standard finite-difference-based discretizations are not discretely invariant with the error being proportional to the product of the local translation velocity and the truncation error. Even though such numerical errors are expected to be small, it is shown that in LES of buoyant convection the turbulent large-scale flow organization can modulate and amplify the error. Galilean invariance of global flow statistics is observed in well-resolved direct numerical simulations (DNS). In LES of single-phase convection under an inversion, flow statistics are nearly Galilean invariant and do not depend on the order of accuracy of the finite difference approximation. In contrast, in LES of cloudy convection, flow statistics show strong dependence on the frame of reference and the order of approximation. The error with respect to the frame of reference becomes negligible as the order of accuracy is increased from second to sixth in the present LES. Schemes with low resolving power can produce large dispersion errors in the surface-fixed frame that can be amplified by large-scale flow anisotropies, such as strong updrafts rising in a non-turbulent free troposphere in cumulus-cloud layers. Interestingly, in the present large-eddy simulations, a second-order discretization in the proper Galilean frame can yield comparable accuracy as a high-order scheme in the surface-fixed frame.


title: The action of a mirabolic subgroup on a symmetric variety

abstract: Let F be a local field of character zero. Let E be a quadratic field extension of F. We show that any P-invariant linear functional on a GL(n,E)-distinguished irreducible smooth admissible representation of GL(2n,F) is also GL(n,E)-invariant where P is a mirabolic subgroup of GL(n,E).


title: Galactic Center constraints on self-interacting sterile neutrinos from fermionic dark matter ("ino") models

abstract: The neutrino minimal standard model ($\nu$MSM) has been tightly constrained in the recent years, either from dark matter (DM) production or from X-ray and small-scale observations. However, current bounds on sterile neutrino DM can be significantly modified when considering a $\nu$MSM extension, in which the DM candidates interact via a massive (axial) vector field. In particular, standard production mechanisms in the early Universe can be affected through the decay of such a massive mediator. We perform an indirect detection analysis to study how the $\nu$MSM parameter-space constraints are affected by said interactions. We compute the X-ray fluxes considering a DM profile that self-consistently accounts for the particle physics model by using an updated version of the Ruffini-Arg\"uelles-Rueda (RAR) fermionic ("ino") model, instead of phenomenological profiles such as the Navarro-Frenk-White (NFW) distribution. We show that the RAR profile accounting for interacting DM, is compatible with measurements of the Galaxy rotation curve and constraints on the DM self-interacting cross section from the Bullet cluster. A new analysis of the X-ray NuSTAR data in the central parsec of the Milky Way, is here performed to derive constraints on the self-interacting sterile neutrino parameter-space. Such constraints are stronger than those obtained with commonly used DM profiles, due to the dense DM core characteristic of the RAR profiles.


title: CosyPose: Consistent multi-view multi-object 6D pose estimation

abstract: We introduce an approach for recovering the 6D pose of multiple known objects in a scene captured by a set of input images with unknown camera viewpoints. First, we present a single-view single-object 6D pose estimation method, which we use to generate 6D object pose hypotheses. Second, we develop a robust method for matching individual 6D object pose hypotheses across different input images in order to jointly estimate camera viewpoints and 6D poses of all objects in a single consistent scene. Our approach explicitly handles object symmetries, does not require depth measurements, is robust to missing or incorrect object hypotheses, and automatically recovers the number of objects in the scene. Third, we develop a method for global scene refinement given multiple object hypotheses and their correspondences across views. This is achieved by solving an object-level bundle adjustment problem that refines the poses of cameras and objects to minimize the reprojection error in all views. We demonstrate that the proposed method, dubbed CosyPose, outperforms current state-of-the-art results for single-view and multi-view 6D object pose estimation by a large margin on two challenging benchmarks: the YCB-Video and T-LESS datasets. Code and pre-trained models are available on the project webpage https://www.di.ens.fr/willow/research/cosypose/.


title: Efficient and Flexible Approach to Simulate Low-Dimensional Quantum Lattice Models with Large Local Hilbert Spaces

abstract: Quantum lattice models with large local Hilbert spaces emerge across various fields in quantum many-body physics. Problems such as the interplay between fermions and phonons, the BCS-BEC crossover of interacting bosons, or decoherence in quantum simulators have been extensively studied both theoretically and experimentally. In recent years, tensor network methods have become one of the most successful tools to treat lattice systems numerically. Nevertheless, systems with large local Hilbert spaces remain challenging. Here, we introduce a mapping that allows to construct artificial $U(1)$ symmetries for any type of lattice model. Exploiting the generated symmetries, numerical expenses that are related to the local degrees of freedom decrease significantly. This allows for an efficient treatment of systems with large local dimensions. Further exploring this mapping, we reveal an intimate connection between the Schmidt values of the corresponding matrix-product-state representation and the single-site reduced density matrix. Our findings motivate an intuitive physical picture of the truncations occurring in typical algorithms and we give bounds on the numerical complexity in comparison to standard methods that do not exploit such artificial symmetries. We demonstrate this new mapping, provide an implementation recipe for an existing code, and perform example calculations for the Holstein model at half filling. We studied systems with a very large number of lattice sites up to $L=501$ while accounting for $N_{\rm ph}=63$ phonons per site with high precision in the CDW phase.


title: Saturation of the inverse cascade in surface gravity wave turbulence

abstract: We report on the observation of surface gravity wave turbulence at scales larger than the forcing ones in a large basin. In addition to the downscale transfer usually reported in gravity wave turbulence, an upscale transfer is observed, interpreted as the inverse cascade of weak turbulence theory. A steady state is achieved when the inverse cascade reaches a scale in between the forcing wavelength and the basin size, but far from the latter. This inverse cascade saturation, which depends on the wave steepness, is probably due to the emergence of nonlinear dissipative structures such as sharp-crested waves.


title: Exploring New Physics in $B \rightarrow \pi K$ Decays

abstract: B-meson decays play an important role in flavour physics. The $B \rightarrow \pi K$ decays are dominated by QCD loop diagrams (penguins) but also electroweak penguins, where New Physics may enter, have a significant impact on the decay amplitude. Since measurements from B-factories indicate deviations from the Standard Model picture, we perform a state-of-the-art analysis to explore the correlation of the CP asymmetries and to get an updated picture. We propose a strategy for the optimal determination of the parameters which describe electroweak penguin effects and apply it to current data, utilising both neutral and charged $B \rightarrow \pi K$ decays. This new method can be fully exploited at the future Belle-II experiment, which will hopefully answer the question: Do these decays imply New Physics?


title: Muon Flavor Violation in Two Higgs Doublet Model with Extra Yukawa Couplings

abstract: The new round of experiments, MEG II, COMET/Mu2e, and Mu3e, would soon start to push the $\mu \to e\gamma$, $\mu N \to eN$ conversion, and $\mu \to 3e$ frontier, while Belle II would probe $\tau \to \mu\gamma$ and $\tau \to 3\mu$. In the general two Higgs doublet model with extra Yukawa couplings, we show that all these processes probe the lepton flavor violating (LFV) dipole transition that arises from the two loop mechanism, with scalar-induced contact terms subdominant. This is because existing data suggest the extra Yukawa couplings $\rho_{\mu e},\, \rho_{ee} \lesssim \lambda_e$, while $\rho_{\tau\mu},\, \rho_{\tau\tau} \lesssim \lambda_\tau$ and $\rho_{tt} \lesssim \lambda_t$, with $\lambda_i$ the usual Yukawa coupling of the Standard Model (SM), where $\rho_{\mu e}\rho_{tt}$ and $\rho_{\tau\mu}\rho_{tt}$ enter the $\mu e\gamma$ and $\tau\mu\gamma$ two loop amplitudes, respectively. With the $B_s \to \mu\mu$ decay rate basically consistent with SM expectation, together with the $B_s$ mixing constraint, we show that $B_s \to \tau\tau$ would also be consistent with SM, while $B_s \to \tau\mu$ and $B \to K\tau\mu$ decays would be out of reach of projected sensitivities, in strong contrast with some models motivated by the B anomalies.