title: Label-Imbalanced and Group-Sensitive Classification under Overparameterization

abstract: The goal in label-imbalanced and group-sensitive classification is to optimize relevant metrics such as balanced error and equal opportunity. Classical methods, such as weighted cross-entropy, fail when training deep nets to the terminal phase of training (TPT), that is training beyond zero training error. This observation has motivated recent flurry of activity in developing heuristic alternatives following the intuitive mechanism of promoting larger margin for minorities. In contrast to previous heuristics, we follow a principled analysis explaining how different loss adjustments affect margins. First, we prove that for all linear classifiers trained in TPT, it is necessary to introduce multiplicative, rather than additive, logit adjustments so that the interclass margins change appropriately. To show this, we discover a connection of the multiplicative CE modification to the cost-sensitive support-vector machines. Perhaps counterintuitively, we also find that, at the start of training, the same multiplicative weights can actually harm the minority classes. Thus, while additive adjustments are ineffective in the TPT, we show that they can speed up convergence by countering the initial negative effect of the multiplicative weights. Motivated by these findings, we formulate the vector-scaling (VS) loss, that captures existing techniques as special cases. Moreover, we introduce a natural extension of the VS-loss to group-sensitive classification, thus treating the two common types of imbalances (label/group) in a unifying way. Importantly, our experiments on state-of-the-art datasets are fully consistent with our theoretical insights and confirm the superior performance of our algorithms. Finally, for imbalanced Gaussian-mixtures data, we perform a generalization analysis, revealing tradeoffs between balanced / standard error and equal opportunity.


title: Signal recovery from a few linear measurements of its high-order spectra

abstract: The $q$-th order spectrum is a polynomial of degree $q$ in the entries of a signal $x\in\mathbb{C}^N$, which is invariant under circular shifts of the signal. For $q\geq 3$, this polynomial determines the signal uniquely, up to a circular shift, and is called a high-order spectrum. The high-order spectra, and in particular the bispectrum ($q=3$) and the trispectrum ($q=4$), play a prominent role in various statistical signal processing and imaging applications, such as phase retrieval and single-particle reconstruction. However, the dimension of the $q$-th order spectrum is $N^{q-1}$, far exceeding the dimension of $x$, leading to increased computational load and storage requirements. In this work, we show that it is unnecessary to store and process the full high-order spectra: a signal can be characterized uniquely, up to symmetries, from only $N+1$ linear measurements of its high-order spectra. The proof relies on tools from algebraic geometry and is corroborated by numerical experiments.


title: On singular Yamabe obstructions

abstract: We discuss the singular Yamabe obstruction $\mathcal{B}_3$ of a hypersurface in a four-dimensional general background. We derive various explicit formula for $\mathcal{B}_3$ from the original definition. We relate these formulas to corresponding formulas in the literature. The proofs are elementary.


title: Dynamic Verification of C/C++11 Concurrency over Multi Copy Atomics

abstract: We investigate the problem of runtime analysis of C11 programs under Multi-Copy-Atomic semantics (MCA). Under MCA, one can analyze program outcomes solely through interleaving and reordering of thread events. As a result, obtaining intuitive explanations of program outcomes becomes straightforward. Newer versions of ARM (ARMv8 and later), Alpha, and Intel's x-86 support MCA. Our tests reveal that state-of-the-art dynamic verification techniques that analyze program executions under the C11 memory model generate safety property violations that can be interpreted as false alarms under MCA semantics. Sorting the true from false violations puts an undesirable burden on the user. In this work, we provide a dynamic verification technique (MoCA) to analyze C11 program executions which are permitted under the MCA model. We design a happens-before relation and introduce coherence rules to capture precisely those C11 program executions which are allowed under the MCA model. MoCA's exploration of the state-space is based on the state-of-the-art dynamic verification algorithm, source-DPOR. Our experiments validate that MoCA captures all coherent C11 program executions, and is precise for the MCA model.


title: Sharp spectral variations of the ultrafast transient light extinction by bimetallic nanoparticles in the near-UV

abstract: Noble metal nanoparticles exhibit localized plasmon resonance modes that span the visible and near-infrared spectral ranges and have many applications. Modifying the size, shape, and composition of the nanoparticles changes the number of modes and their properties. The characteristics of these modes are transiently affected when illuminating the nano-objects with ultrashort laser pulses. Here, we synthesize core-shell gold-silver nanocuboids and measure their spectral signature in the stationary and ultrafast transient regimes. Their dipolar transverse mode vanishes with increasing Ag-shell thickness, while higher-order modes grow in the near-ultraviolet range where no plasmon resonance can be generated with single noble metal nanoparticles. These higher-energy modes are associated with sharp spectral variations of the ultrafast transient light extinction by the bimetallic nanocuboids. By carrying out a theoretical investigation, we break down the different contributions to this response and


title: Careful with That! Observation of Human Movements to Estimate Objects Properties

abstract: Humans are very effective at interpreting subtle properties of the partner's movement and use this skill to promote smooth interactions. Therefore, robotic platforms that support human partners in daily activities should acquire similar abilities. In this work we focused on the features of human motor actions that communicate insights on the weight of an object and the carefulness required in its manipulation. Our final goal is to enable a robot to autonomously infer the degree of care required in object handling and to discriminate whether the item is light or heavy, just by observing a human manipulation. This preliminary study represents a promising step towards the implementation of those abilities on a robot observing the scene with its camera. Indeed, we succeeded in demonstrating that it is possible to reliably deduct if the human operator is careful when handling an object, through machine learning algorithms relying on the stream of visual acquisition from either a robot camera or from a motion capture system. On the other hand, we observed that the same approach is inadequate to discriminate between light and heavy objects.


title: Model-based Constrained Reinforcement Learning using Generalized Control Barrier Function

abstract: Model information can be used to predict future trajectories, so it has huge potential to avoid dangerous region when implementing reinforcement learning (RL) on real-world tasks, like autonomous driving. However, existing studies mostly use model-free constrained RL, which causes inevitable constraint violations. This paper proposes a model-based feasibility enhancement technique of constrained RL, which enhances the feasibility of policy using generalized control barrier function (GCBF) defined on the distance to constraint boundary. By using the model information, the policy can be optimized safely without violating actual safety constraints, and the sample efficiency is increased. The major difficulty of infeasibility in solving the constrained policy gradient is handled by an adaptive coefficient mechanism. We evaluate the proposed method in both simulations and real vehicle experiments in a complex autonomous driving collision avoidance task. The proposed method achieves up to four times fewer constraint violations and converges 3.36 times faster than baseline constrained RL approaches.


title: Revealing a New Black Widow Binary 4FGL J0336.0+7502

abstract: We report on a discovery of a promising candidate as a black widow millisecond pulsar binary, 4FGL J0336.0+7502, which shows many pulsar-like properties in the 4FGL-DR2 catalog. Within the 95% error region of the LAT source, we identified an optical counterpart with a clear periodicity at P(orb) = 3.718178(9) hours using the Bohyunsan 1.8-m Telescope, Lulin One-meter Telescope, Canada-France-Hawaii Telescope, and Gemini-North. At the optical position, an X-ray source was marginally detected in the Swift/XRT archival data, and the detection was confirmed by our Chandra/ACIS DDT observation. The spectrum of the X-ray source can be described by a power-law model of Gamma = 1.6+/-0.7 and F(0.3-7keV) = 3.5e-14 erg/cm^2/s. The X-ray photon index and the low X-ray-to-gamma-ray flux ratio (i.e., < 1%) are both consistent with that of many known black widow pulsars. There is also a hint of an X-ray orbital modulation in the Chandra data, although the significance is very low (1.3 sigma). If the pulsar identity and the X-ray modulation are confirmed, it would be the fifth black widow millisecond pulsar binary that showed an orbitally-modulated emission in X-rays.


title: The Origination and Distribution of Money Market Instruments: Sterling Bills of Exchange during the First Globalization

abstract: This paper presents a detailed analysis of how liquid money market instruments -- sterling bills of exchange -- were produced during the first globalisation. We rely on a unique data set that reports systematic information on all 23,493 bills re-discounted by the Bank of England in the year 1906. Using descriptive statistics and network analysis, we reconstruct the complete network of linkages between agents involved in the origination and distribution of these bills. Our analysis reveals the truly global dimension of the London bill market before the First World War and underscores the crucial role played by London intermediaries (acceptors and discounters) in overcoming information asymmetries between borrowers and lenders on this market. The complex industrial organisation of the London money market ensured that risky private debts could be transformed into extremely liquid and safe monetary instruments traded throughout the global financial system.


title: Inter-class Discrepancy Alignment for Face Recognition

abstract: The field of face recognition (FR) has witnessed great progress with the surge of deep learning. Existing methods mainly focus on extracting discriminative features, and directly compute the cosine or L2 distance by the point-to-point way without considering the context information. In this study, we make a key observation that the local con-text represented by the similarities between the instance and its inter-class neighbors1plays an important role forFR. Specifically, we attempt to incorporate the local in-formation in the feature space into the metric, and pro-pose a unified framework calledInter-class DiscrepancyAlignment(IDA), with two dedicated modules, Discrepancy Alignment Operator(IDA-DAO) andSupport Set Estimation(IDA-SSE). IDA-DAO is used to align the similarity scores considering the discrepancy between the images and its neighbors, which is defined by adaptive support sets on the hypersphere. For practical inference, it is difficult to acquire support set during online inference. IDA-SSE can provide convincing inter-class neighbors by introducing virtual candidate images generated with GAN. Further-more, we propose the learnable IDA-SSE, which can implicitly give estimation without the need of any other images in the evaluation process. The proposed IDA can be incorporated into existing FR systems seamlessly and efficiently. Extensive experiments demonstrate that this frame-work can 1) significantly improve the accuracy, and 2) make the model robust to the face images of various distributions.Without bells and whistles, our method achieves state-of-the-art performance on multiple standard FR benchmarks.


title: Efficient Encoding Algorithm of Binary and Non-Binary LDPC Codes Using Block Triangulation

abstract: We propose an efficient encoding algorithm for the binary and non-binary low-density parity-check codes. This algorithm transforms the parity part of the parity-check matrix into a block triangular matrix with low weight diagonal submatrices by row and column permutations in the preprocessing stage. This algorithm determines the parity part of a codeword by block back-substitution to reduce the encoding complexity in the encoding stage. Numerical experiments show that this algorithm has a lower encoding complexity than existing encoding algorithms. Moreover, we show that this algorithm encodes the non-binary cycle codes in linear time.


title: Ideals in BIT speciale varieties

abstract: Ideals in BIT speciale varieties are characterized. In particular, it is proved that, for any finitary BIT speciale variety, there is a finite set of ideal terms determining ideals. Several ideal term sets of this kind are given. For the variety of groups one of these sets consists of the terms $y_1y_2$, $xyx^{-1}$, $x^{-1}y^{-1}x$ (and $y$ which can be ignored), while for rings it consists of the terms $y_1+y_2$, $-y$, $xy$, $yx$. For each of the following varieties -- groups with multiple operators, semi-loops, and divisible involutory groupoids -- one of the term sets found in this paper almost coincides with the term sets found earlier for these particular varieties by resp. Higgins, B\v{e}lohl\'{a}vek and Chajda, and Hala\v{s}. The coincidence is precise in the case of divisible involutory groupoids. For loops (resp. loops with operators), the intersection of one of the term sets found in this paper with the term sets found earlier for loops (resp. for loops with operators) by Bruck (resp. by Higgins) forms the major part of both sets.


title: Study of $s$- and $d$-wave intruder strengths in $^{13}{\rm B}_{\rm g.s.}$ via a $p(^{13}{\rm B},d)^{12}{\rm B}$ reaction

abstract: Experimental results of the $p(^{13}{\rm B},d)^{12}{\rm B}$ transfer reaction to the low-lying states in $^{12}$B are reported. The optical potential parameters for the entrance channel are extracted from the elastic scattering $p$($^{13}{\rm B}$, $p$) measured in the same experiment, while those for the exit channel are global ones. Spectroscopic factors associated with the $p$-, $s$-, and $d$-wave neutron transfer to the known $^{12}$B states, are extracted by comparing the deuteron angular distributions with the calculation results. The separated $s$- and $d$-wave intruder strengths in $^{13}{\rm B}_{\rm g.s.}$ were determined to be $10(2)\%$ and $6(1)\%$, respectively, which follow roughly the systematics for the $N$ = 8 neutron-rich isotones. The measured total intruder strength is in good agreement with the shell model calculation, while the individual ones evolve quite differently. Particularly, the sudden change of the $d$-wave intensity between $^{13}$B and $^{12}$Be needs further theoretical interpretation.


title: Performance Analysis of OTFS Modulation with Receive Antenna Selection

abstract: In this paper, we analyze the performance of orthogonal time frequency space (OTFS) modulation with antenna selection at the receiver, where $n_s$ out of $n_r$ receive antennas with maximum channel Frobenius norms in the delay-Doppler (DD) domain are selected. Single-input multiple-output OTFS (SIMO-OTFS), multiple-input multiple-output OTFS (MIMO-OTFS), and space-time coded OTFS (STC-OTFS) systems with receive antenna selection (RAS) are considered. We consider these systems without and with phase rotation. Our diversity analysis results show that, with no phase rotation, SIMO-OTFS and MIMO-OTFS systems with RAS are rank deficient, and therefore they do not extract the full receive diversity as well as the diversity present in the DD domain. Also, Alamouti coded STC-OTFS system with RAS and no phase rotation extracts the full transmit diversity, but it fails to extract the DD diversity. On the other hand, SIMO-OTFS and STC-OTFS systems with RAS become full-ranked when phase rotation is used, because of which they extract the full spatial as well as the DD diversity present in the system. Also, when phase rotation is used, MIMO-OTFS systems with RAS extract the full DD diversity, but they do not extract the full receive diversity because of rank deficiency. Simulation results are shown to validate the analytically predicted diversity performance.


title: The natural extension of the Gauss map and Hermite best approximations

abstract: Hermite best approximation vectors of a real number $\theta$ were introduced by Lagarias. A nonzero vector (p, q) $\in$ Z x N is a Hermite best approximation vector of $\theta$ if there exists $\Delta$ > 0 such that (p -- q$\theta$) 2 + q 2 /$\Delta$ $\le$ (a -- b$\theta$) 2 + b 2 /$\Delta$ for all nonzero (a, b) $\in$ Z 2. Hermite observed that if q > 0 then the fraction p/q must be a convergent of the continued fraction expansion of $\theta$ and Lagarias pointed out that some convergents are not associated with a Hermite best approximation vectors. In this note we show that the almost sure proportion of Hermite best approximation vectors among convergents is ln 3/ ln 4. The main tool of the proof is the natural extension of the Gauss map x $\in$]0, 1[$\rightarrow$ {1/x}.


title: On the $\lambda$-stability of p-class groups along cyclic p-towers of a number field

abstract: Let k be a number field, p$\ge$2 a prime and S a set of tame or wild finite places of k. We call K/k a totally S-ramified cyclic p-tower if Gal(K/k)=Z/p^NZ and if S non-empty is totally ramified. Using analogues of Chevalley's formula (Gras, Proc. Math. Sci. 127(1) (2017)),we give an elementary proof of a stability theorem (Theorem 3.1 for generalized p-class groups X\_n of the layers k\_n$\le$K:let $\lambda$=max(0, \#S-1-$\rho$) given in Definition 1.1; then\#X\_n = \#X\_0 x p^{$\lambda$ n} for all n in [0,N], if and only if \#X\_1=\#X\_0 x p^$\lambda$. This improves the case $\lambda$ = 0 of Fukuda (1994), Li--Ouyang--Xu--Zhang (2020), Mizusawa--Yamamoto (2020),whose techniques are based on Iwasawa's theory or Galois theory of pro-p-groups. We deduce capitulation properties of X\_0 in the tower (e.g. Conjecture 4.1). Finally we apply our principles to the torsion groups T\_n of abelian p-ramification theory. Numerical examples are given.


title: Contextually Guided Convolutional Neural Networks for Learning Most Transferable Representations

abstract: Deep Convolutional Neural Networks (CNNs), trained extensively on very large labeled datasets, learn to recognize inferentially powerful features in their input patterns and represent efficiently their objective content. Such objectivity of their internal representations enables deep CNNs to readily transfer and successfully apply these representations to new classification tasks. Deep CNNs develop their internal representations through a challenging process of error backpropagation-based supervised training. In contrast, deep neural networks of the cerebral cortex develop their even more powerful internal representations in an unsupervised process, apparently guided at a local level by contextual information. Implementing such local contextual guidance principles in a single-layer CNN architecture, we propose an efficient algorithm for developing broad-purpose representations (i.e., representations transferable to new tasks without additional training) in shallow CNNs trained on limited-size datasets. A contextually guided CNN (CG-CNN) is trained on groups of neighboring image patches picked at random image locations in the dataset. Such neighboring patches are likely to have a common context and therefore are treated for the purposes of training as belonging to the same class. Across multiple iterations of such training on different context-sharing groups of image patches, CNN features that are optimized in one iteration are then transferred to the next iteration for further optimization, etc. In this process, CNN features acquire higher pluripotency, or inferential utility for any arbitrary classification task, which we quantify as a transfer utility. In our application to natural images, we find that CG-CNN features show the same, if not higher, transfer utility and classification accuracy as comparable transferable features in the first CNN layer of the well-known deep networks.


title: Approximate universality in the tunneling potential for curved field emitters -- a line charge model approach

abstract: Field emission tips with apex radius of curvature below 100nm are not adequately described by the standard theoretical models based on the Fowler-Nordheim and Murphy-Good formalisms. This is due to the breakdown of the `constant electric field' assumption within the tunneling region leading to substantial errors in current predictions. A uniformly applicable curvature-corrected field emission theory requires that the tunneling potential be approximately universal irrespective of the emitter shape. Using the line charge model, it is established analytically that smooth generic emitter tips approximately follow this universal trend when the anode is far away. This is verified using COMSOL for various emitter shapes including the locally non-parabolic `hemisphere on a cylindrical post'. It is also found numerically that the curvature-corrected tunneling potential provides an adequate approximation when the anode is in close proximity as well as in the presence of other emitters.

categories: physics.app-ph cond-mat.mes-hall physics.acc-ph physics.plasm-ph


title: The Capacity Region of Distributed Multi-User Secret Sharing

abstract: In this paper, we study the problem of distributed multi-user secret sharing, including a trusted master node, $N\in \mathbb{N}$ storage nodes, and $K$ users, where each user has access to the contents of a subset of storage nodes. Each user has an independent secret message with certain rate, defined as the size of the message normalized by the size of a storage node. Having access to the secret messages, the trusted master node places encoded shares in the storage nodes, such that (i) each user can recover its own message from the content of the storage nodes that it has access to, (ii) each user cannot gain any information about the message of any other user. We characterize the capacity region of the distributed multi-user secret sharing, defined as the set of all achievable rate tuples, subject to the correctness and privacy constraints. In the achievable scheme, for each user, the master node forms a polynomial with the degree equal to the number of its accessible storage nodes minus one, where the value of this polynomial at certain points are stored as the encoded shares. The message of that user is embedded in some of the coefficients of the polynomial. The remaining coefficients are determined such that the content of each storage node serves as the encoded shares for all users that have access to that storage node.


title: Microscopic origin of excess wings in relaxation spectra of supercooled liquids

abstract: Glass formation is encountered in diverse materials. Experiments have revealed that dynamic relaxation spectra of supercooled liquids generically become asymmetric near the glass transition temperature, $T_g$, where an extended power law emerges at high frequencies. The microscopic origin of this "wing" remains unknown, and was so far inaccessible to simulations. Here, we develop a novel computational approach and study the equilibrium dynamics of model supercooled liquids near $T_g$. We demonstrate the emergence of a power law wing in numerical spectra, which originates from relaxation at rare, localised regions over broadly-distributed timescales. We rationalise the asymmetric shape of relaxation spectra by constructing an empirical model associating heterogeneous activated dynamics with dynamic facilitation, which are the two minimal physical ingredients revealed by our simulations. Our work offers a glimpse of the molecular motion responsible for glass formation at relevant experimental conditions.

categories: cond-mat.soft cond-mat.dis-nn cond-mat.mtrl-sci cond-mat.stat-mech


title: SWIFT calibration of the Heston model

abstract: In the present work, the European option pricing SWIFT method is extended for Heston model calibration. The computation of the option price gradient is simplified thanks to the knowledge of the characteristic function in closed form. The proposed calibration machinery appears to be extremely fast, in particular for a single expiry and multiples strikes, outperforming the state-of-the-art method we compare with. Further, the a priori knowledge of SWIFT parameters makes possible a reliable and practical implementation of the presented calibration method. A wide set of stress, speed and convergence numerical experiments is carried out, with deep in-the-money, at-the-money and deep out-of-the-money options for very short and very long maturities.


title: J-PAS: Forecasts for dark matter - dark energy elastic couplings

abstract: We consider a cosmological model where dark matter and dark energy feature a coupling that only affects their momentum transfer in the corresponding Euler equations. We perform a fit to cosmological observables and confirm previous findings within these scenarios that favour the presence of a coupling at more than $3\sigma$. This improvement is driven by the Sunyaev-Zeldovich data. We subsequently perform a forecast for future J-PAS data and find that clustering measurements will permit to clearly discern the presence of an interaction within a few percent level with the uncoupled case at more than $10\sigma$ when the complete survey, covering $8500$ sq. deg., is considered. We found that the inclusion of weak lensing measurements will not help to further constrain the coupling parameter. For completeness, we compare to forecasts for DESI and Euclid, which provide similar discriminating power.


title: A fast and efficient deep learning procedure for tracking droplet motion in dense microfluidic emulsions

abstract: We present a deep learning-based object detection and object tracking algorithm to study droplet motion in dense microfluidic emulsions. The deep learning procedure is shown to correctly predict the droplets' shape and track their motion at competitive rates as compared to standard clustering algorithms, even in the presence of significant deformations. The deep learning technique and tool developed in this work could be used for the general study of the dynamics of biological agents in fluid systems, such as moving cells and self-propelled micro organisms in complex biological flows.


title: Single Alloy Nanoparticle X-Ray Imaging during a Catalytic Reaction

abstract: The imaging of active nanoparticles represents a milestone in decoding heterogeneous catalysts dynamics. We report the facet resolved, surface strain state of a single PtRh alloy nanoparticle on SrTiO3 determined by coherent x-ray diffraction imaging under catalytic reaction conditions. Density functional theory calculations allow us to correlate the facet surface strain state to its reaction environment dependent chemical composition. We find that the initially Pt terminated nanoparticle surface gets Rh enriched under CO oxidation reaction conditions. The local composition is facet orientation dependent and the Rh enrichment is non-reversible under subsequent CO reduction. Tracking facet resolved strain and composition under operando conditions is crucial for a rational design of more efficient heterogeneous catalysts with tailored activity, selectivity and lifetime.


title: Finite convergence of sum-of-squares hierarchies for the stability number of a graph

abstract: We investigate a hierarchy of semidefinite bounds $\vartheta^{(r)}(G)$ for the stability number $\alpha(G)$ of a graph $G$, based on its copositive programming formulation and introduced by de Klerk and Pasechnik [{\em SIAM J. Optim.} 12 (2002), pp.875--892], who conjectured convergence to $\alpha(G)$ in $r=\alpha(G)-1$ steps. Even the weaker conjecture claiming finite convergence is still open. We establish links between this hierarchy and sum-of-squares hierarchies based on the Motzkin-Straus formulation of $\alpha(G)$, which we use to show finite convergence when $G$ is acritical, i.e., when $\alpha(G\setminus e)=\alpha(G)$ for all edges $e$ of $G$. This relies, in particular, on understanding the structure of the minimizers of the Motzkin-Straus formulation and showing that their number is finite precisely when $G$ is acritical. Moreover we show that these results hold in the general setting of the weighted stable set problem for graphs equipped with positive node weights. In addition, as a byproduct we show that deciding whether a standard quadratic program has finitely many minimizers does not admit a polynomial-time algorithm unless P=NP.


title: Kernel-Based Models for Influence Maximization on Graphs based on Gaussian Process Variance Minimization

abstract: The inference of novel knowledge, the discovery of hidden patterns, and the uncovering of insights from large amounts of data from a multitude of sources make Data Science (DS) to an art rather than just a mere scientific discipline. The study and design of mathematical models able to analyze information represents a central research topic in DS. In this work, we introduce and investigate a novel model for influence maximization (IM) on graphs using ideas from kernel-based approximation, Gaussian process regression, and the minimization of a corresponding variance term. Data-driven approaches can be applied to determine proper kernels for this IM model and machine learning methodologies are adopted to tune the model parameters. Compared to stochastic models in this field that rely on costly Monte-Carlo simulations, our model allows for a simple and cost-efficient update strategy to compute optimal influencing nodes on a graph. In several numerical experiments, we show the properties and benefits of this new model.


title: FinMatcher at FinSim-2: Hypernym Detection in the Financial Services Domain using Knowledge Graphs

abstract: This paper presents the FinMatcher system and its results for the FinSim 2021 shared task which is co-located with the Workshop on Financial Technology on the Web (FinWeb) in conjunction with The Web Conference. The FinSim-2 shared task consists of a set of concept labels from the financial services domain. The goal is to find the most relevant top-level concept from a given set of concepts. The FinMatcher system exploits three publicly available knowledge graphs, namely WordNet, Wikidata, and WebIsALOD. The graphs are used to generate explicit features as well as latent features which are fed into a neural classifier to predict the closest hypernym.


title: Defaultable term structures driven by semimartingales

abstract: We consider a market with a term structure of credit risky bonds in the single-name case. We aim at minimal assumptions extending existing results in this direction: first, the random field of forward rates is driven by a general semimartingale. Second, the Heath-Jarrow-Morton approach is extended with an additional component capturing those future jumps in the term structure which are visible from the current time. Third, the associated recovery scheme is as general as possible, it is only assumed to be non-increasing. In this general setting we derive generalized drift conditions which characterize when a given measure is a local martingale measure, thus yielding no asymptotic free lunch with vanishing risk (NAFLVR), the right notion for this large financial market to be free of arbitrage.


title: Convergence Rate of the (1+1)-Evolution Strategy with Success-Based Step-Size Adaptation on Convex Quadratic Functions

abstract: The (1+1)-evolution strategy (ES) with success-based step-size adaptation is analyzed on a general convex quadratic function and its monotone transformation, that is, $f(x) = g((x - x^*)^\mathrm{T} H (x - x^*))$, where $g:\mathbb{R}\to\mathbb{R}$ is a strictly increasing function, $H$ is a positive-definite symmetric matrix, and $x^* \in \mathbb{R}^d$ is the optimal solution of $f$. The convergence rate, that is, the decrease rate of the distance from a search point $m_t$ to the optimal solution $x^*$, is proven to be in $O(\exp( - L / \mathrm{Tr}(H) ))$, where $L$ is the smallest eigenvalue of $H$ and $\mathrm{Tr}(H)$ is the trace of $H$. This result generalizes the known rate of $O(\exp(- 1/d ))$ for the case of $H = I_{d}$ ($I_d$ is the identity matrix of dimension $d$) and $O(\exp(- 1/ (d\cdot\xi) ))$ for the case of $H = \mathrm{diag}(\xi \cdot I_{d/2}, I_{d/2})$. To the best of our knowledge, this is the first study in which the convergence rate of the (1+1)-ES is derived explicitly and rigorously on a general convex quadratic function, which depicts the impact of the distribution of the eigenvalues in the Hessian $H$ on the optimization and not only the impact of the condition number of $H$.


title: The dynamical structure of broken power-law and double power-law models for dark matter haloes

abstract: Galaxy kinematics and gravitational lensing are two complementary ways to constrain the distribution of dark matter on galaxy scales. The typical dark matter density profiles adopted in dynamical studies cannot easily be adopted in lensing studies. Ideally, a mass model should be used that has the global characteristics of realistic dark matter distributions, and that allows for an analytical calculation of the magnifications and deflection angles. A simple model with these properties, the broken-power-law (BPL) model, has very recently been introduced. We examine the dynamical structure of the family of BPL models. We derive simple closed expressions for basic dynamical properties, and study the distribution function under the assumption of velocity isotropy. We find that none of the BPL models with realistic parameters has an isotropic distribution function that is positive over the entire phase space, implying that the BPL models cannot be supported by an isotropic velocity distribution, or models with a more radially anisotropic orbital structure. This result limits the attractiveness of the BPL family as a tool for lensing studies to some degree. More generally, we find that not all members of the general family of double power-law or Zhao models, often used to model dark matter haloes, can be supported by an isotropic or radially anisotropic distribution function. In other words, the distribution function may become negative even for spherically symmetric models with a well-behaved density profile.


title: Translation surfaces and periods of meromorphic differentials

abstract: Let $S$ be an oriented surface of genus $g$ and $n$ punctures. The periods of any meromorphic differential on $S$, with respect to a choice of complex structure, determine a representation $\chi:\Gamma_{g,n} \to\mathbb C$ where $\Gamma_{g,n}$ is the first homology group of $S$. We characterize the representations that thus arise, that is, lie in the image of the period map $\textsf{Per}:\Omega\mathcal{M}_{g,n}\to \textsf{Hom}(\Gamma_{g,n},\mathbb{C})$. This generalizes a classical result of Haupt in the holomorphic case. Moreover, we determine the image of this period map when restricted to any stratum of meromorphic differentials, having prescribed orders of zeros and poles. Our proofs are geometric, as they aim to construct a translation structure on $S$ with the prescribed holonomy $\chi$. Along the way, we describe a connection with the Hurwitz problem concerning the existence of branched covers with prescribed branching data.


title: Resolutions of Convex Geometries

abstract: Convex geometries (Edelman and Jamison, 1985) are finite combinatorial structures dual to union-closed antimatroids or learning spaces. We define an operation of resolution for convex geometries, which replaces each element of a base convex geometry by a fiber convex geometry. Contrary to what happens for similar constructions -- compounds of hypergraphs, as in Chein, Habib and Maurer (1981), and compositions of set systems, as in Mohring and Radermacher (1984) -- , resolutions of convex geometries always yield a convex geometry. We investigate resolutions of special convex geometries: ordinal and affine. A resolution of ordinal convex geometries is again ordinal, but a resolution of affine convex geometries may fail to be affine. A notion of primitivity, which generalize the corresponding notion for posets, arises from resolutions: a convex geometry is primitive if it is not a resolution of smaller ones. We obtain a characterization of affine convex geometries that are primitive, and compute the number of primitive convex geometries on at most four elements. Several open problems are listed.


title: Nonadiabatic effects in attosecond transient absorption spectroscopy

abstract: We study effects of nonadiabatic couplings in a model of a diatomic molecule in the context of attosecond transient absorption spectroscopy. By using a model system consisting of four diabatic electronic states and with a variable strength of the diabatic coupling, we can explore attosecond transient absorption spectra in different regimes of the vibronic couplings between the electronic and nuclear dynamics, and determine when nonadiabatic couplings can be ignored or when they have a substantial effect. The findings are rationalized in terms of a multilevel model, which captures aspects of both electronic and nuclear degrees of freedom.


title: Mapping Solar Magnetic Fields from the Photosphere to the Base of the Corona

abstract: Routine ultraviolet imaging of the Sun's upper atmosphere shows the spectacular manifestation of solar activity; yet we remain blind to its main driver, the magnetic field. Here we report unprecedented spectropolarimetric observations of an active region plage and its surrounding enhanced network, showing circular polarization in ultraviolet (Mg II $h$ & $k$ and Mn I) and visible (Fe I) lines. We infer the longitudinal magnetic field from the photosphere to the very upper chromosphere. At the top of the plage chromosphere the field strengths reach more than 300 gauss, strongly correlated with the Mg II $k$ line core intensity and the electron pressure. This unique mapping shows how the magnetic field couples the different atmospheric layers and reveals the magnetic origin of the heating in the plage chromosphere.


title: A Practical Framework for ROI Detection in Medical Images -- a case study for hip detection in anteroposterior pelvic radiographs

abstract: Purpose Automated detection of region of interest (ROI) is a critical step for many medical image applications such as heart ROIs detection in perfusion MRI images, lung boundary detection in chest X-rays, and femoral head detection in pelvic radiographs. Thus, we proposed a practical framework of ROIs detection in medical images, with a case study for hip detection in anteroposterior (AP) pelvic radiographs. Materials and Methods: We conducted a retrospective study which analyzed hip joints seen on 7,399 AP pelvic radiographs from three diverse sources, including 4,290 high resolution radiographs from Chang Gung Memorial Hospital Osteoarthritis, 3,008 low to medium resolution radiographs from Osteoarthritis Initiative, and 101 heterogeneous radiographs from Google image search engine. We presented a deep learning-based ROI detection framework utilizing single-shot multi-box detector (SSD) with ResNet-101 backbone and customized head structure based on the characteristics of the obtained datasets, whose ground truths were labeled by non-medical annotators in a simple graphical interface. Results: Our method achieved average intersection over union (IoU)=0.8115, average confidence=0.9812, and average precision with threshold IoU=0.5 (AP50)=0.9901 in the independent test set, suggesting that the detected hip regions have appropriately covered main features of the hip joints. Conclusion: The proposed approach featured on low-cost labeling, data-driven model design, and heterogeneous data testing. We have demonstrated the feasibility of training a robust hip region detector for AP pelvic radiographs. This practical framework has a promising potential for a wide range of medical image applications.


title: A reduced parallel transport equation on Lie Groups with a left-invariant metric

abstract: This paper presents a derivation of the parallel transport equation expressed in the Lie algebra of a Lie group endowed with a left-invariant metric.The use of this equation is exemplified on the group of rigid body motions SE(3), using basic numerical integration schemes, and compared to the pole ladder algorithm. This results in a stable and efficient implementation of parallel transport. The implementation leverages the python package geomstats and is available online.


title: Numerical Inside View of Hypermassive Remnant Models for GW170817

abstract: The first multimessenger observation attributed to a merging neutron star binary provided an enormous amount of observational data. Unlocking the full potential of this data requires a better understanding of the merger process and the early post-merger phase, which are crucial for the later evolution that eventually leads to observable counterparts. In this work, we perform standard hydrodynamical numerical simulations of a system compatible with GW170817. We focus on a single equation of state (EOS) and two mass ratios, while neglecting magnetic fields and neutrino radiation. We then apply newly developed postprocessing and visualization techniques to the results obtained for this basic setting. The focus lies on understanding the three-dimensional structure of the remnant, most notably the fluid flow pattern, and its evolution until collapse. We investigate the evolution of mass and angular momentum distribution up to collapse, as well as the differential rotation along and perpendicular to the equatorial plane. For the cases that we studied, the remnant cannot be adequately modeled as a differentially rotating axisymetric NS. Further, the dominant aspect leading to collapse is the GW radiation and not internal redistribution of angular momentum. We relate features of the gravitational wave signal to the evolution of the merger remnant, and make the waveforms publicly available. Finally, we find that the three-dimensional vorticity field inside the disk is dominated by medium-scale perturbances and not the orbital velocity, with potential consequences for magnetic field amplification effects.


title: The persistent question of potassium channel permeation mechanisms

abstract: Potassium channels play critical roles in many physiological processes, providing a selective permeation route for K+ ions in and out of a cell, by employing a carefully designed selectivity filter, evolutionarily conserved from viruses to mammals. The structure of the selectivity filter was determined at atomic resolution by x-ray crystallography, showing a tight coordination of desolvated K+ ions by the channel. However, the molecular mechanism of K+ ions permeation through potassium channels remains unclear, with structural, functional and computational studies often providing conflicting data and interpretations. In this review, we will present the proposed mechanisms, discuss their origins, and will critically assess them against all available data. General properties shared by all potassium channels are introduced first, followed by the introduction of two main mechanisms of ion permeation: soft and direct knock-on. Then, we will discuss critical computational and experimental studies that shaped the field. We will especially focus on molecular dynamics (MD) simulations, that provided mechanistic and energetic aspects of K+ permeation, but at the same time created long-standing controversies. Further challenges and possible solutions are presented as well.


title: Modeling particle-fluid interaction in a coupled CFD-DEM framework

abstract: In this work, we present an alternative methodology to solve the particle-fluid interaction in the resolved CFDEM coupling framework. This numerical approach consists of coupling a Discrete Element Method (DEM) with a Computational Fluid Dynamics (CFD) scheme, solving the motion of immersed particles in a fluid phase. As a novelty, our approach explicitly accounts for the body force acting on the fluid phase when computing the local momentum balance equations. Accordingly, we implement a fluid-particle interaction computing the buoyant and drag forces as a function of local shear strain and pressure gradient. As a benchmark, we study the Stokesian limit of a single particle. The validation is performed comparing our outcomes with the ones provided by a previous resolved methodology and the analytical prediction. In general, we find that the new implementation reproduces with very good accuracy the Stokesian dynamics. Complementarily, we study the settling terminal velocity of a sphere under confined conditions.


title: Optimal Communication-Computation Trade-Off in Heterogeneous Gradient Coding

abstract: Gradient coding allows a master node to derive the aggregate of the partial gradients, calculated by some worker nodes over the local data sets, with minimum communication cost, and in the presence of stragglers. In this paper, for gradient coding with linear encoding, we characterize the optimum communication cost for heterogeneous distributed systems with \emph{arbitrary} data placement, with $s \in \mathbb{N}$ stragglers and $a \in \mathbb{N}$ adversarial nodes. In particular, we show that the optimum communication cost, normalized by the size of the gradient vectors, is equal to $(r-s-2a)^{-1}$, where $r \in \mathbb{N}$ is the minimum number that a data partition is replicated. In other words, the communication cost is determined by the data partition with the minimum replication, irrespective of the structure of the placement. The proposed achievable scheme also allows us to target the computation of a polynomial function of the aggregated gradient matrix. It also allows us to borrow some ideas from approximation computing and propose an approximate gradient coding scheme for the cases when the repetition in data placement is smaller than what is needed to meet the restriction imposed on communication cost or when the number of stragglers appears to be more than the presumed value in the system design.


title: An Empirical Study of the Landscape of Open Source Projects in Baidu, Alibaba, and Tencent

abstract: Open source software has drawn more and more attention from researchers, developers and companies nowadays. Meanwhile, many Chinese technology companies are embracing open source and choosing to open source their projects. Nevertheless, most previous studies are concentrated on international companies such as Microsoft or Google, while the practical values of open source projects of Chinese technology companies remain unclear. To address this issue, we conduct a mixed-method study to investigate the landscape of projects open sourced by three large Chinese technology companies, namely Baidu, Alibaba, and Tencent (BAT). We study the categories and characteristics of open source projects, the developer's perceptions towards open sourcing effort for these companies, and the internationalization effort of their open source projects. We collected 1,000 open source projects that were open sourced by BAT in GitHub and performed an online survey that received 101 responses from developers of these projects. Some key findings include: 1) BAT prefer to open source frontend development projects, 2) 88\% of the respondents are positive towards open sourcing software projects in their respective companies, 3) 64\% of the respondents reveal that the most common motivations for BAT to open source their projects are the desire to gain fame, expand their influence and gain recruitment advantage, 4) respondents believe that the most common internationalization effort is "providing an English version of readme files", 5) projects with more internationalization effort (i.e., include an English readme file) are more popular. Our findings provide directions for software engineering researchers and provide practical suggestions to software developers and Chinese technology companies.


title: The network asymmetry caused by the degree correlation and its effect on the bimodality in control

abstract: Our ability to control a whole network can be achieved via a small set of driver nodes. While the minimum number of driver nodes needed for control is fixed in a given network, there are multiple choices for the driver node set. A quantity used to investigate this multiplicity is the fraction of redundant nodes in the network, referring to nodes that do not need any external control. Previous work has discovered a bimodality feature characterized by a bifurcation diagram: networks with the same statistical property would stay with equal probability to have a large or small fraction of redundant nodes. Here we find that this feature is rooted in the symmetry of the directed network, where both the degree distribution and the degree correlation can play a role. The in-in and out-out degree correlation will suppress the bifurcation, as networks with such degree correlations are asymmetric under network transpose. The out-in and in-out degree correlation do not change the network symmetry, hence the bimodality feature is preserved. However, the out-in degree correlation will change the critical average degree needed for the bifurcation. Hence by fixing the average degree of networks and tuning out-in degree correlation alone, we can observe a similar bifurcation diagram. We conduct analytical analyses that adequately explain the emergence of bimodality caused by out-in degree correlation. We also propose a quantity, taking both degree distribution and degree correlation into consideration, to predict if a network would be at the upper or lower branch of the bifurcation. As is well known that most real networks are not neutral, our results extend our understandings of the controllability of complex networks.


title: A Comprehensive Study on Face Recognition Biases Beyond Demographics

abstract: Face recognition (FR) systems have a growing effect on critical decision-making processes. Recent works have shown that FR solutions show strong performance differences based on the user's demographics. However, to enable a trustworthy FR technology, it is essential to know the influence of an extended range of facial attributes on FR beyond demographics. Therefore, in this work, we analyse FR bias over a wide range of attributes. We investigate the influence of 47 attributes on the verification performance of two popular FR models. The experiments were performed on the publicly available MAADFace attribute database with over 120M high-quality attribute annotations. To prevent misleading statements about biased performances, we introduced control group based validity values to decide if unbalanced test data causes the performance differences. The results demonstrate that also many non-demographic attributes strongly affect the recognition performance, such as accessories, hair-styles and colors, face shapes, or facial anomalies. The observations of this work show the strong need for further advances in making FR system more robust, explainable, and fair. Moreover, our findings might help to a better understanding of how FR networks work, to enhance the robustness of these networks, and to develop more generalized bias-mitigating face recognition solutions.


title: Simulation-to-Real domain adaptation with teacher-student learning for endoscopic instrument segmentation

abstract: Purpose: Segmentation of surgical instruments in endoscopic videos is essential for automated surgical scene understanding and process modeling. However, relying on fully supervised deep learning for this task is challenging because manual annotation occupies valuable time of the clinical experts. Methods: We introduce a teacher-student learning approach that learns jointly from annotated simulation data and unlabeled real data to tackle the erroneous learning problem of the current consistency-based unsupervised domain adaptation framework. Results: Empirical results on three datasets highlight the effectiveness of the proposed framework over current approaches for the endoscopic instrument segmentation task. Additionally, we provide analysis of major factors affecting the performance on all datasets to highlight the strengths and failure modes of our approach. Conclusion: We show that our proposed approach can successfully exploit the unlabeled real endoscopic video frames and improve generalization performance over pure simulation-based training and the previous state-of-the-art. This takes us one step closer to effective segmentation of surgical tools in the annotation scarce setting.


title: Probing Product Description Generation via Posterior Distillation

abstract: In product description generation (PDG), the user-cared aspect is critical for the recommendation system, which can not only improve user's experiences but also obtain more clicks. High-quality customer reviews can be considered as an ideal source to mine user-cared aspects. However, in reality, a large number of new products (known as long-tailed commodities) cannot gather sufficient amount of customer reviews, which brings a big challenge in the product description generation task. Existing works tend to generate the product description solely based on item information, i.e., product attributes or title words, which leads to tedious contents and cannot attract customers effectively. To tackle this problem, we propose an adaptive posterior network based on Transformer architecture that can utilize user-cared information from customer reviews. Specifically, we first extend the self-attentive Transformer encoder to encode product titles and attributes. Then, we apply an adaptive posterior distillation module to utilize useful review information, which integrates user-cared aspects to the generation process. Finally, we apply a Transformer-based decoding phase with copy mechanism to automatically generate the product description. Besides, we also collect a large-scare Chinese product description dataset to support our work and further research in this field. Experimental results show that our model is superior to traditional generative models in both automatic indicators and human evaluation.


title: Uniform random covering problems

abstract: Motivated by the random covering problem and the study of Dirichlet uniform approximable numbers, we investigate the uniform random covering problem. Precisely, consider an i.i.d. sequence $\omega=(\omega_n)_{n\geq 1}$ uniformly distributed on the unit circle $\mathbb{T}$ and a sequence $(r_n)_{n\geq 1}$ of positive real numbers with limit $0$. We investigate the size of the random set \[ \mathcal U (\omega):=\{y\in \mathbb{T}: \ \forall N\gg 1, \ \exists n \leq N, \ \text{s.t.} \ \| \omega_n -y \| < r_N \}. \] Some sufficient conditions for $\mathcal U(\omega)$ to be almost surely the whole space, of full Lebesgue measure, or countable, are given. In the case that $\mathcal U(\omega)$ is a Lebesgue null measure set, we provide some estimations for the upper and lower bounds of Hausdorff dimension.


title: Deep Learning strategies for ProtoDUNE raw data denoising

abstract: In this work, we investigate different machine learning-based strategies for denoising raw simulation data from the ProtoDUNE experiment. The ProtoDUNE detector is hosted by CERN and it aims to test and calibrate the technologies for DUNE, a forthcoming experiment in neutrino physics. The reconstruction workchain consists of converting digital detector signals into physical high-level quantities. We address the first step in reconstruction, namely raw data denoising, leveraging deep learning algorithms. We design two architectures based on graph neural networks, aiming to enhance the receptive field of basic convolutional neural networks. We benchmark this approach against traditional algorithms implemented by the DUNE collaboration. We test the capabilities of graph neural network hardware accelerator setups to speed up training and inference processes.

categories: hep-ph cs.LG hep-ex physics.comp-ph stat.ML


title: Scalable communication for high-order stencil computations using CUDA-aware MPI

abstract: Modern compute nodes in high-performance computing provide a tremendous level of parallelism and processing power. However, as arithmetic performance has been observed to increase at a faster rate relative to memory and network bandwidths, optimizing data movement has become critical for achieving strong scaling in many communication-heavy applications. This performance gap has been further accentuated with the introduction of graphics processing units, which can provide by multiple factors higher throughput in data-parallel tasks than central processing units. In this work, we explore the computational aspects of iterative stencil loops and implement a generic communication scheme using CUDA-aware MPI, which we use to accelerate magnetohydrodynamics simulations based on high-order finite differences and third-order Runge-Kutta integration. We put particular focus on improving intra-node locality of workloads. Our GPU implementation scales strongly from one to $64$ devices at $50\%$--$87\%$ of the expected efficiency based on a theoretical performance model. Compared with a multi-core CPU solver, our implementation exhibits $20$--$60\times$ speedup and $9$--$12\times$ improved energy efficiency in compute-bound benchmarks on $16$ nodes.


title: Spatial Attention Point Network for Deep-learning-based Robust Autonomous Robot Motion Generation

abstract: Deep learning provides a powerful framework for automated acquisition of complex robotic motions. However, despite a certain degree of generalization, the need for vast amounts of training data depending on the work-object position is an obstacle to industrial applications. Therefore, a robot motion-generation model that can respond to a variety of work-object positions with a small amount of training data is necessary. In this paper, we propose a method robust to changes in object position by automatically extracting spatial attention points in the image for the robot task and generating motions on the basis of their positions. We demonstrate our method with an LBR iiwa 7R1400 robot arm on a picking task and a pick-and-place task at various positions in various situations. In each task, the spatial attention points are obtained for the work objects that are important to the task. Our method is robust to changes in object position. Further, it is robust to changes in background, lighting, and obstacles that are not important to the task because it only focuses on positions that are important to the task.


title: Open Range Pitch Tracking for Carrier Frequency Difference Estimation from HF Transmitted Speech

abstract: In this paper we investigate the task of detecting carrier frequency differences from demodulated single sideband signals by examining the pitch contours of the received baseband speech signal in the short-time spectral domain. From the detected pitch frequency trajectory and its harmonics a carrier frequency difference, which is caused by demodulating the radio signal with the wrong carrier frequency, can be deduced. A computationally efficient realization in the power cepstral domain is presented. The core component, i.e., the pitch tracking algorithm, is shown to perform comparably to a state of the art algorithm. The full carrier frequency difference estimation system is tested on recordings of real transmissions over HF links. A comparison with an existing approach shows improved estimation accuracy, both on short and longer speech utterances


title: Missing Value Imputation on Multidimensional Time Series

abstract: We present DeepMVI, a deep learning method for missing value imputation in multidimensional time-series datasets. Missing values are commonplace in decision support platforms that aggregate data over long time stretches from disparate sources, and reliable data analytics calls for careful handling of missing data. One strategy is imputing the missing values, and a wide variety of algorithms exist spanning simple interpolation, matrix factorization methods like SVD, statistical models like Kalman filters, and recent deep learning methods. We show that often these provide worse results on aggregate analytics compared to just excluding the missing data. DeepMVI uses a neural network to combine fine-grained and coarse-grained patterns along a time series, and trends from related series across categorical dimensions. After failing with off-the-shelf neural architectures, we design our own network that includes a temporal transformer with a novel convolutional window feature, and kernel regression with learned embeddings. The parameters and their training are designed carefully to generalize across different placements of missing blocks and data characteristics. Experiments across nine real datasets, four different missing scenarios, comparing seven existing methods show that DeepMVI is significantly more accurate, reducing error by more than 50% in more than half the cases, compared to the best existing method. Although slower than simpler matrix factorization methods, we justify the increased time overheads by showing that DeepMVI is the only option that provided overall more accurate analytics than dropping missing values.


title: ExoMol line lists -- XLI. High-temperature molecular line lists for the alkali metal hydroxides KOH and NaOH

abstract: Potassium hydroxide (KOH) and sodium hydroxide (NaOH) are expected to occur in the atmospheres of hot rocky super-Earth exoplanets but a lack of spectroscopic data is hampering their potential detection. Using robust first-principles methodologies, comprehensive molecular line lists for KOH and NaOH that are applicable for temperatures up to $T=3500$ K are presented. The KOH OYT4 line list covers the 0-6000 cm$^{-1}$ (wavelengths $\lambda > 1.67$ $\mu$m) range and comprises 38 billion transitions between 7.3 million energy levels with rotational excitation up to $J=255$. The NaOH OYT5 line list covers the 0 - 9000 cm$^{-1}$ (wavelengths $\lambda > 1.11$ $\mu$m) range and contains almost 50 billion lines involving 7.9 million molecular states with rotational excitation up to $J=206$. The OYT4 and OYT5 line lists are available from the ExoMol database at www.exomol.com and should greatly aid the study of hot rocky exoplanets.


title: Learning Robust Beamforming for MISO Downlink Systems

abstract: This paper investigates a learning solution for robust beamforming optimization in downlink multi-user systems. A base station (BS) identifies efficient multi-antenna transmission strategies only with imperfect channel state information (CSI) and its stochastic features. To this end, we propose a robust training algorithm where a deep neural network (DNN), which only accepts estimates and statistical knowledge of the perfect CSI, is optimized to fit to real-world propagation environment. Consequently, the trained DNN can provide efficient robust beamforming solutions based only on imperfect observations of the actual CSI. Numerical results validate the advantages of the proposed learning approach compared to conventional schemes.


title: The High-Assurance ROS Framework

abstract: This tool paper presents the High-Assurance ROS (HAROS) framework. HAROS is a framework for the analysis and quality improvement of robotics software developed using the popular Robot Operating System (ROS). It builds on a static analysis foundation to automatically extract models from the source code. Such models are later used to enable other sorts of analyses, such as Model Checking, Runtime Verification, and Property-based Testing. It has been applied to multiple real-world examples, helping developers find and correct various issues.


title: Theory of Low Frequency Contamination from Nonstationarity and Misspecification: Consequences for HAR Inference

abstract: We establish theoretical results about the low frequency contamination (i.e., long memory effects) induced by general nonstationarity for estimates such as the sample autocovariance and the periodogram, and deduce consequences for heteroskedasticity and autocorrelation robust (HAR) inference. We present explicit expressions for the asymptotic bias of these estimates. We distinguish cases where this contamination only occurs as a small-sample problem and cases where the contamination continues to hold asymptotically. We show theoretically that nonparametric smoothing over time is robust to low frequency contamination. Our results provide new insights on the debate between consistent versus inconsistent long-run variance (LRV) estimation. Existing LRV estimators tend to be in inflated when the data are nonstationary. This results in HAR tests that can be undersized and exhibit dramatic power losses. Our theory indicates that long bandwidths or fixed-b HAR tests suffer more from low frequency contamination relative to HAR tests based on HAC estimators, whereas recently introduced double kernel HAC estimators do not super from this problem. Finally, we present second-order Edgeworth expansions under nonstationarity about the distribution of HAC and DK-HAC estimators and about the corresponding t-test in the linear regression model.


title: Realization of a Townes soliton in a two-component planar Bose gas

abstract: Most experimental observations of solitons are limited to one-dimensional (1D) situations, where they are naturally stable. For instance, in 1D cold Bose gases, they exist for any attractive interaction strength $g$ and particle number $N$. By contrast, in two dimensions, solitons appear only for discrete values of $gN$, the so-called Townes soliton being the most celebrated example. Here, we use a two-component Bose gas to prepare deterministically such a soliton: Starting from a uniform bath of atoms in a given internal state, we imprint the soliton wave function using an optical transfer to another state. We explore various interaction strengths, atom numbers and sizes, and confirm the existence of a solitonic behaviour for a specific value of $gN$ and arbitrary sizes, a hallmark of scale invariance.


title: Time-dependent Clearance of Cyclosporine in Adult Renal Transplant Recipients: A Population Pharmacokinetic Perspective

abstract: Aim The pharmacokinetic (PK) properties of cyclosporine (CsA) in renal transplant recipients are patient- and time-dependent. Knowledge of this time-related variability is necessary to maintain or achieve CsA target exposure. Here, we aimed to identify factors explaining variabilities in CsA PK properties and characterise time-dependent clearance (CL/F) by performing a comprehensive analysis of CsA PK factors using population PK (popPK) modelling of long-term follow-up data from our institution. Methods In total, 3,674 whole-blood CsA concentrations from 183 patients who underwent initial renal transplantation were analysed using nonlinear mixed-effects modelling. The effects of potential covariates were selected according to a previous report and well-accepted theoretical mechanisms. Model-informed individualised therapeutic regimens were also conducted. Results A two-compartment model adequately described the data and the estimated mean CsA CL/F was 32.6 L h-1 (5%). Allometrically scaled body size, haematocrit (HCT) level, CGC haplotype carrier status, and postoperative time may contribute to CsA PK variability. The CsA bioavailability in patients receiving a prednisolone dose (PD) of 80 mg was 20.6% lower than that in patients receiving 20 mg. A significant decrease (52.6%) in CL/F was observed as the HCT increased from 10.5% to 60.5%. The CL/F of the non-CGC haplotype carrier was 14.4% lower than that of the CGC haplotype carrier at 3 months post operation. CsA dose adjustments should be considered in different postoperative periods. Conclusions By monitoring body size, HCT, PD, and CGC haplotype, changes in CsA CL/F over time could be predicted. Such information could be used to optimise CsA therapy.


title: A Brief Survey on Deep Learning Based Data Hiding

abstract: Data hiding is the art of concealing messages with limited perceptual changes. Recently, deep learning has enriched it from various perspectives with significant progress. In this work, we conduct a brief yet comprehensive review of existing literature for deep learning based data hiding (deep hiding) by first classifying it according to three essential properties (i.e., capacity, security and robustness), and outline three commonly used architectures. Based on this, we summarize specific strategies for different applications of data hiding, including basic hiding, steganography, watermarking and light field messaging. Finally, further insight into deep hiding is provided by incorporating the perspective of adversarial attack.


title: Robust output-feedback stabilization for incompressible flows using low-dimensional $\mathcal{H}_{\infty}$-controllers

abstract: Output-based controllers are known to be fragile with respect to model uncertainties. The standard $\mathcal{H}_{\infty}$-control theory provides a general approach to robust controller design based on the solution of the $\mathcal{H}_{\infty}$-Riccati equations. In view of stabilizing incompressible flows in simulations, two major challenges have to be addressed: the high-dimensional nature of the spatially discretized model and the differential-algebraic structure that comes with the incompressibility constraint. This work demonstrates the synthesis of low-dimensional robust controllers with guaranteed robustness margins for the stabilization of incompressible flow problems. The performance and the robustness of the reduced-order controller with respect to linearization and model reduction errors are investigated and illustrated in numerical examples.


title: Deep learning-based synthetic CT generation from MR images: comparison of generative adversarial and residual neural networks

abstract: Currently, MRI-only radiotherapy (RT) eliminates some of the concerns about using CT images in RT chains such as the registration of MR images to a separate CT, extra dose delivery, and the additional cost of repeated imaging. However, one remaining challenge is that the signal intensities of MRI are not related to the attenuation coefficient of the biological tissue. This work compares the performance of two state-of-the-art deep learning models; a generative adversarial network (GAN) and a residual network (ResNet) for synthetic CTs (sCT) generation from MR images. The brain MR and CT images of 86 participants were analyzed. GAN and ResNet models were implemented for the generation of synthetic CTs from the 3D T1-weighted MR images using a six-fold cross-validation scheme. The resulting sCTs were compared, considering the CT images as a reference using standard metrics such as the mean absolute error (MAE), peak signal-to-noise ratio (PSNR) and the structural similarity index (SSIM). Overall, the ResNet model exhibited higher accuracy in relation to the delineation of brain tissues. The ResNet model estimated the CT values for the entire head region with an MAE of 114.1 HU compared to MAE=-10.9 HU obtained from the GAN model. Moreover, both models offered comparable SSIM and PSNR values, although the ResNet method exhibited a slightly superior performance over the GAN method. We compared two state-of-the-art deep learning models for the task of MR-based sCT generation. The ResNet model exhibited superior results, thus demonstrating its potential to be used for the challenge of synthetic CT generation in PET/MR AC and MR-only RT planning.


title: ALMA Observations of Giant Molecular Clouds in M33 III: Spatially Resolved Features of the Star-Formation Inactive Million-solar-mass Cloud

abstract: We present $^{12}$CO ($J$ = 2-1), $^{13}$CO ($J$ = 2-1), and C$^{18}$O ($J$ = 2-1) observations toward GMC-8, one of the most massive giant molecular clouds (GMCs) in M33 using ALMA with an angular resolution of 0".44 $\times$ 0".27 ($\sim$2 pc $\times$ 1pc). The earlier studies revealed that its high-mass star formation is inactive in spite of a sufficient molecular reservoir with the total mass of $\sim$10$^{6}$ $M_{\odot}$. The high-angular resolution data enable us to resolve this peculiar source down to a molecular clump scale. One of the GMC's remarkable features is that a round-shaped gas structure (the "Main cloud" ) extends over $\sim$50 pc scale, which is quite different from the other two active star-forming GMCs dominated by remarkable filaments/shells obtained by our series of studies in M33. The fraction of the relatively dense gas traced by the $^{13}$CO data with respect to the total molecular mass is only $\sim$2 %, suggesting that their spatial structure and the density are not well developed to reach an active star formation. The CO velocity analysis shows that the GMC is composed of a single component as a whole, but we found some local velocity fluctuations in the Main cloud and extra blueshifted components at the outer regions. Comparing the CO with previously published large-scale H I data, we suggest that an external atomic gas flow supplied a sufficient amount of material to grow the GMC up to $\sim$10$^6$ $M_{\odot}$.


title: Comparison on two ways of phonon spectral property reconstruction from thermal spectroscopy experiment

abstract: We examine the reliability of the cumulative thermal conductivity as a function of the free path, $F(\Lambda)$, in the context of reconstruction of phonon transport properties from thermal spectroscopy experiments. We specifically show that a given $F(\Lambda)$ does not correspond to a unique relaxation-times function, in the sense that more than one distribution of relaxation-times can result in the same $F(\Lambda)$. Since different relaxation-time distributions will, in general, lead to different thermal responses, $F(\Lambda)$ does not uniquely predict the material thermal response in all transport regimes. This implies that in the context of thermal transport at the nanoscale within the Boltzmann relaxation-time approximation framework, the fundamental property that should be reconstructed from the thermal spectroscopy experiments is the frequency-dependent relaxation-times function (provided group velocities are known), since it explicitly appears in the governing equation as the input material property. Extensive global optimization studies show that a previously proposed formulation for reconstruction based on the frequency-dependent relaxation-times function [Physical Review B 94, 155439 (2016)] provides numerically unique solutions.


title: Numerical solutions of electromagnetic wave model of fractional derivative using class of finite difference scheme

abstract: In this article, a numerical scheme is introduced for solving the fractional partial differential equation (FPDE) arising from electromagnetic waves in dielectric media (EMWDM) by using an efficient class of finite difference methods. The numerical scheme is based on the Hermite formula. The Caputo's fractional derivatives in time are discretized by a finite difference scheme of order $\mathcal{O}(k^{(4-\alpha)})$ \& $\mathcal{O}(k^{(4-\beta)})$, $1<\beta <\alpha \leq 2$. The stability and the convergence analysis of the proposed methods are given by a procedure similar to the standard von Neumann stability analysis under mild conditions. Also for FPDE, accuracy of order $\mathcal{O}\left( k^{(4-\alpha)}+k^{(4-\beta)}+h^2\right) $ is investigated. Finally, several numerical experiments with different fractional-order derivatives are provided and compared with the exact solutions to illustrate the accuracy and efficiency of the scheme. A comparative numerical study is also done to demonstrate the efficiency of the proposed scheme.


title: Crossed squares of cocommutative Hopf algebras

abstract: In this paper, we define the notion of Hopf crossed square for cocommutative Hopf algebras extending the notions of crossed squares of groups and of Lie algebras. We prove the equivalence between the category of Hopf crossed squares and the category of double internal groupoids in the category of cocommutative Hopf algebras. The Hopf crossed squares turn out to be the internal crossed modules in the category of crossed modules in the category of cocommutative Hopf algebras.


title: VEM and the Mesh

abstract: In this work we report some results, obtained within the framework of the ERC Project CHANGE, on the impact on the performance of the virtual element method of the shape of the polygonal elements of the underlying mesh. More in detail, after reviewing the state of the art, we present a) an experimental analysis of the convergence of the VEM under condition violating the standard shape regularity assumptions, b) an analysis of the correlation between some mesh quality metrics and a set of different performance indexes, and c) a suitably designed mesh quality indicator, aimed at predicting the quality of the performance of the VEM on a given mesh.


title: Mini-Batch Consistent Slot Set Encoder for Scalable Set Encoding

abstract: Most existing set encoding algorithms operate under the implicit assumption that all the set elements are accessible, and that there are ample computational and memory resources to load the set into memory during training and inference. However, both assumptions fail when the set is excessively large such that it is impossible to load all set elements into memory, or when data arrives in a stream. To tackle such practical challenges in large-scale set encoding, the general set-function constraints of permutation invariance and equivariance are not sufficient. We introduce a new property termed Mini-Batch Consistency (MBC) that is required for large scale mini-batch set encoding. Additionally, we present a scalable and efficient attention-based set encoding mechanism that is amenable to mini-batch processing of sets, and capable of updating set representations as data arrives. The proposed method adheres to the required symmetries of invariance and equivariance as well as maintaining MBC for any partition of the input set. We perform extensive experiments and show that our method is computationally efficient and results in rich set encoding representations for set-structured data.


title: Interpretable Multi-Modal Hate Speech Detection

abstract: With growing role of social media in shaping public opinions and beliefs across the world, there has been an increased attention to identify and counter the problem of hate speech on social media. Hate speech on online spaces has serious manifestations, including social polarization and hate crimes. While prior works have proposed automated techniques to detect hate speech online, these techniques primarily fail to look beyond the textual content. Moreover, few attempts have been made to focus on the aspects of interpretability of such models given the social and legal implications of incorrect predictions. In this work, we propose a deep neural multi-modal model that can: (a) detect hate speech by effectively capturing the semantics of the text along with socio-cultural context in which a particular hate expression is made, and (b) provide interpretable insights into decisions of our model. By performing a thorough evaluation of different modeling techniques, we demonstrate that our model is able to outperform the existing state-of-the-art hate speech classification approaches. Finally, we show the importance of social and cultural context features towards unearthing clusters associated with different categories of hate.


title: Probing the $R_{K^{(*)}}$ Anomaly at a Muon Collider

abstract: The LHCb measurements of the $\mu / e$ ratio in $B \to K \ell \ell$ decays $(R_{K^{}})$ indicate a deficit with respect to the Standard Model prediction, supporting earlier hints of lepton universality violation observed in the $R_{K^{(*)}}$ ratio. Possible explanations of these $B$-physics anomalies include heavy $Z'$ bosons or scalar and vector leptoquarks mediating $b \to s \mu^+ \mu^- $. We note that a muon collider can directly measure this process via $\mu^+ \mu^- \to b \bar s$ and can shed light on the lepton non-universality scenario. Investigating currently discussed center-of-mass energies $\sqrt{s} = 3$, 6 and 10 TeV, we show that the parameter space of $Z'$ and leptoquark solutions to the $R_{K^{(*)}}$ anomalies can be mostly covered. Effective operators explaining the anomalies can be probed with the muon collider setup $\sqrt{s} = 6~{\rm TeV}$ and integrated luminosity $L = 4~{\rm ab^{-1}}$.


title: An analytic BRDF for materials with spherical Lambertian scatterers

abstract: We present a new analytic BRDF for porous materials comprised of spherical Lambertian scatterers. The BRDF has a single parameter: the albedo of the Lambertian particles. The resulting appearance exhibits strong back scattering and saturation effects that height-field-based models such as Oren-Nayar cannot reproduce.


title: Path continuity for multi-wheeled AGVs

abstract: Notwithstanding the growing presence of AGVs in the industry, there is a lack of research about multi-wheeled AGVs which offer higher maneuverability and space efficiency. In this paper, we present generalized path continuity conditions as a continuation of previous research done for vehicles with more constrained kinematic capabilities. We propose a novel approach for analytically defining various kinematic modes (motion modes), that AGVs with multiple steer and drive wheels can utilize. This approach enables deriving vehicle kinematic equations based on the vehicle configuration and its constraints, path shape, and corresponding motion mode. Finally, we derive general continuity conditions for paths that multi-wheeled AGVs can follow, and show through examples how they can be utilized in layout design methods.


title: Disentangling Syntax and Semantics in the Brain with Deep Networks

abstract: The activations of language transformers like GPT-2 have been shown to linearly map onto brain activity during speech comprehension. However, the nature of these activations remains largely unknown and presumably conflate distinct linguistic classes. Here, we propose a taxonomy to factorize the high-dimensional activations of language models into four combinatorial classes: lexical, compositional, syntactic, and semantic representations. We then introduce a statistical method to decompose, through the lens of GPT-2's activations, the brain activity of 345 subjects recorded with functional magnetic resonance imaging (fMRI) during the listening of ~4.6 hours of narrated text. The results highlight two findings. First, compositional representations recruit a more widespread cortical network than lexical ones, and encompass the bilateral temporal, parietal and prefrontal cortices. Second, contrary to previous claims, syntax and semantics are not associated with separated modules, but, instead, appear to share a common and distributed neural substrate. Overall, this study introduces a versatile framework to isolate, in the brain activity, the distributed representations of linguistic constructs.


title: Fast selection of nonlinear mixed effect models using penalized likelihood

abstract: Nonlinear Mixed effects models are hidden variables models that are widely used in many fields such as pharmacometrics. In such models, the distribution characteristics of hidden variables can be specified by including several parameters such as covariates or correlations which must be selected. Recent development of pharmacogenomics has brought averaged/high dimensional problems to the field of nonlinear mixed effects modeling for which standard covariates selection techniques like stepwise methods are not well suited. The selection of covariates and correlation parameters using a penalized likelihood approach is proposed. The penalized likelihood problem is solved using a stochastic proximal gradient algorithm to avoid inner-outer iterations. Speed of convergence of the proximal gradient algorithm is improved using component-wise adaptive gradient step sizes. The practical implementation and tuning of the proximal gradient algorithm are explored using simulations. Calibration of regularization parameters is performed by minimizing the Bayesian Information Criterion using particle swarm optimization, a zero-order optimization procedure. The use of warm restart and parallelization allowed computing time to be reduced significantly . The performance of the proposed method compared to the traditional grid search strategy is explored using simulated data. Finally, an application to real data from two pharmacokinetics studies is provided, one studying an antifibrinolytic and the other studying an antibiotic.


title: Accurate ground-state energies of Wigner crystals from a simple real-space approach

abstract: We propose a simple and efficient real-space approach for the calculation of the ground-state energies of Wigner crystals in 1, 2, and 3 dimensions. To be precise, we calculate the first two terms in the asymptotic expansion of the total energy per electron which correspond to the classical energy and the harmonic correction due to the zero-point motion of the Wigner crystals, respectively. Our approach employs Clifford periodic boundary conditions to simulate the infinite electron gas and a renormalized distance to evaluate the Coulomb potential. This allows us to calculate the energies unambiguously and with a higher precision than those reported in the literature. Our results are in agreement with the literature values with the exception of harmonic correction of the 2-dimensional Wigner crystal for which we find a significant difference. Although we focus on the ground state, i.e., the triangular lattice and the body-centered cubic lattice, in two and three dimensions, respectively, we also report the classical energies of several other common lattice structures.


title: Geometry-Guided Street-View Panorama Synthesis from Satellite Imagery

abstract: This paper presents a new approach for synthesizing a novel street-view panorama given an overhead satellite image. Taking a small satellite image patch as input, our method generates a Google's omnidirectional street-view type panorama, as if it is captured from the same geographical location as the center of the satellite patch. Existing works tackle this task as an image generation problem which adopts generative adversarial networks to implicitly learn the cross-view transformations, while ignoring the domain relevance. In this paper, we propose to explicitly establish the geometric correspondences between the two-view images so as to facilitate the cross-view transformation learning. Specifically, we observe that when a 3D point in the real world is visible in both views, there is a deterministic mapping between the projected points in the two-view images given the height information of this 3D point. Motivated by this, we develop a novel Satellite to Street-view image Projection (S2SP) module which explicitly establishes such geometric correspondences and projects the satellite images to the street viewpoint. With these projected satellite images as network input, we next employ a generator to synthesize realistic street-view panoramas that are geometrically consistent with the satellite images. Our S2SP module is differentiable and the whole framework is trained in an end-to-end manner. Extensive experimental results on two cross-view benchmark datasets demonstrate that our method generates images that better respect the scene geometry than existing approaches.


title: Efficient Deep Image Denoising via Class Specific Convolution

abstract: Deep neural networks have been widely used in image denoising during the past few years. Even though they achieve great success on this problem, they are computationally inefficient which makes them inappropriate to be implemented in mobile devices. In this paper, we propose an efficient deep neural network for image denoising based on pixel-wise classification. Despite using a computationally efficient network cannot effectively remove the noises from any content, it is still capable to denoise from a specific type of pattern or texture. The proposed method follows such a divide and conquer scheme. We first use an efficient U-net to pixel-wisely classify pixels in the noisy image based on the local gradient statistics. Then we replace part of the convolution layers in existing denoising networks by the proposed Class Specific Convolution layers (CSConv) which use different weights for different classes of pixels. Quantitative and qualitative evaluations on public datasets demonstrate that the proposed method can reduce the computational costs without sacrificing the performance compared to state-of-the-art algorithms.


title: Evolution algebras with one-dimensional square

abstract: Evolution algebras with one dimensional square are classified using the theory of inner product spaces. More precisely, for $A$ an evolution algebra with $\dim(A^2) = 1$ and $a$ a generator of $A^2$, the product of $A$ is given by $xy = \langle x,y\rangle a$. Three broad classes of algebras are obtained: (1) $a\in\hbox{Ann}(A)$; (2) $a\notin\text{Ann}(A)$ and $a$ is isotropic relative to $\langle\cdot, \cdot\rangle$; (3) $a\notin\text{Ann}(A)$ and $a$ is anisotropic relative to $\langle\cdot, \cdot\rangle$.


title: Guarantees for Real Robotic Systems: Unifying Formal Controller Synthesis and Reachset-Conformant Identification

abstract: Robots are used increasingly often in safety-critical scenarios, such as robotic surgery or human-robot interaction. To ensure stringent performance criteria, formal controller synthesis is a promising direction to guarantee that robots behave as desired. However, formally ensured properties only transfer to the real robot when the model is appropriate. We address this problem by combining the identification of a reachset-conformant model with controller synthesis. Since the reachset-conformant model contains all the measured behaviors of the real robot, the safety properties of the model transfer to the real robot. The transferability is demonstrated by experiments on a real robot, for which we synthesize tracking controllers.


title: Pixel-level Extrinsic Self Calibration of High Resolution LiDAR and Camera in Targetless Environments

abstract: In this letter, we present a novel method for automatic extrinsic calibration of high-resolution LiDARs and RGB cameras in targetless environments. Our approach does not require checkerboards but can achieve pixel-level accuracy by aligning natural edge features in the two sensors. On the theory level, we analyze the constraints imposed by edge features and the sensitivity of calibration accuracy with respect to edge distribution in the scene. On the implementation level, we carefully investigate the physical measuring principles of LiDARs and propose an efficient and accurate LiDAR edge extraction method based on point cloud voxel cutting and plane fitting. Due to the edges' richness in natural scenes, we have carried out experiments in many indoor and outdoor scenes. The results show that this method has high robustness, accuracy, and consistency. It can promote the research and application of the fusion between LiDAR and camera. We have open-sourced our code on GitHub to benefit the community.


title: Improving EFX Guarantees through Rainbow Cycle Number

abstract: We study the problem of fairly allocating a set of indivisible goods among $n$ agents with additive valuations. Envy-freeness up to any good (EFX) is arguably the most compelling fairness notion in this context. However, the existence of EFX allocations has not been settled and is one of the most important problems in fair division. Towards resolving this problem, many impressive results show the existence of its relaxations, e.g., the existence of $0.618$-EFX allocations, and the existence of EFX at most $n-1$ unallocated goods. The latter result was recently improved for three agents, in which the two unallocated goods are allocated through an involved procedure. Reducing the number of unallocated goods for arbitrary number of agents is a systematic way to settle the big question. In this paper, we develop a new approach, and show that for every $\varepsilon \in (0,1/2]$, there always exists a $(1-\varepsilon)$-EFX allocation with sublinear number of unallocated goods and high Nash welfare. For this, we reduce the EFX problem to a novel problem in extremal graph theory. We introduce the notion of rainbow cycle number $R(\cdot)$. For all $d \in \mathbb{N}$, $R(d)$ is the largest $k$ such that there exists a $k$-partite digraph $G =(\cup_{i \in [k]} V_i, E)$, in which 1) each part has at most $d$ vertices, i.e., $\lvert V_i \rvert \leq d$ for all $i \in [k]$, 2) for any two parts $V_i$ and $V_j$, each vertex in $V_i$ has an incoming edge from some vertex in $V_j$ and vice-versa, and 3) there exists no cycle in $G$ that contains at most one vertex from each part. We show that any upper bound on $R(d)$ directly translates to a sublinear bound on the number of unallocated goods. We establish a polynomial upper bound on $R(d)$, yielding our main result. Furthermore, our approach is constructive, which also gives a polynomial-time algorithm for finding such an allocation.


title: DeepCert: Verification of Contextually Relevant Robustness for Neural Network Image Classifiers

abstract: We introduce DeepCert, a tool-supported method for verifying the robustness of deep neural network (DNN) image classifiers to contextually relevant perturbations such as blur, haze, and changes in image contrast. While the robustness of DNN classifiers has been the subject of intense research in recent years, the solutions delivered by this research focus on verifying DNN robustness to small perturbations in the images being classified, with perturbation magnitude measured using established Lp norms. This is useful for identifying potential adversarial attacks on DNN image classifiers, but cannot verify DNN robustness to contextually relevant image perturbations, which are typically not small when expressed with Lp norms. DeepCert addresses this underexplored verification problem by supporting:(1) the encoding of real-world image perturbations; (2) the systematic evaluation of contextually relevant DNN robustness, using both testing and formal verification; (3) the generation of contextually relevant counterexamples; and, through these, (4) the selection of DNN image classifiers suitable for the operational context (i)envisaged when a potentially safety-critical system is designed, or (ii)observed by a deployed system. We demonstrate the effectiveness of DeepCert by showing how it can be used to verify the robustness of DNN image classifiers build for two benchmark datasets (`German Traffic Sign' and `CIFAR-10') to multiple contextually relevant perturbations.


title: Impurity states of electrons on the surface of a nanotube in a magnetic field

abstract: The localization of electrons in the field of isolated nonmagnetic impurity atoms on the surface of a nanotube in a magnetic field is considered. A model of a Gaussian separable impurity potential capable of localizing an electron at any intensity is used. The positions of the local level are found in the regime of strong and weak localizations. The positions of the resonances are found, their widths are estimated. They experience Aharonov-Bohm oscillations when the magnetic flux in the tube changes. It is shown that the positions of the resonances experience oscillations similar to the de Haas-van Alphen oscillations, which are not associated with a magnetic field.


title: Statistics of collision parameters computed from 2D simulations

abstract: There are two popular ways to speed up simulations of planet formation via increasing the collision probability: ({\it i}) confine motion to 2D, ({\it ii}) artificially enhance the physical radii of the bodies by an expansion factor. In this paper I have performed 100 simulations each containing $10^4$ interacting bodies and computed the collision parameters from the results of the runs. Each run was executed for a lower and a higher accuracy parameter. The main goal is to determine the probability distribution functions of the collision parameters and their dependence on the expansion factor. A simple method is devised to improve the determination of the collision parameters from the simulation data. It was shown that the distribution of the impact parameter is uniform and independent of the expansion factor. For real collisions the impact velocity is greater than 1 mutual escape velocity, a finding that can be explained using the two-body problem. The results casts some doubts on simulations of the terrestrial planets' final accretion that have assumed merge. Collision outcome maps were created adopting the fragmentation model of \cite{Leinhardt2012} to estimate the number of different types of collisions. A detailed comparison with earlier works indicates that there are similarities as well as significant differences between the different works. The results indicate that as the planetary disc matures and the masses of the bodies differs progressively than the majority of collisions lead to mass growth either via partial accretion or via graze-and-merge collision.


title: Using CNNs to Identify the Origin of Finger Vein Image

abstract: We study the finger vein (FV) sensor model identification task using a deep learning approach. So far, for this biometric modality, only correlation-based PRNU and texture descriptor-based methods have been applied. We employ five prominent CNN architectures covering a wide range of CNN family models, including VGG16, ResNet, and the Xception model. In addition, a novel architecture termed FV2021 is proposed in this work, which excels by its compactness and a low number of parameters to be trained. Original samples, as well as the region of interest data from eight publicly accessible FV datasets, are used in experimentation. An excellent sensor identification AUC-ROC score of 1.0 for patches of uncropped samples and 0.9997 for ROI samples have been achieved. The comparison with former methods shows that the CNN-based approach is superior and improved the results.