title: The TESS-Keck Survey II: An Ultra-Short Period Rocky Planet and its Siblings Transiting the Galactic Thick-Disk Star TOI-561

abstract: We report the discovery of TOI-561, a multi-planet system in the galactic thick disk that contains a rocky, ultra-short period planet (USP). This bright ($V=10.2$) star hosts three small transiting planets identified in photometry from the NASA TESS mission: TOI-561 b (TOI-561.02, P=0.44 days, $R_b = 1.45\pm0.11\,R_\oplus$), c (TOI-561.01, P=10.8 days, $R_c=2.90\pm0.13\,R_\oplus$), and d (TOI-561.03, P=16.3 days, $R_d=2.32\pm0.16\,R_\oplus$). The star is chemically ([Fe/H]$=-0.41\pm0.05$, [$\alpha$/H]$=+0.23\pm0.05$) and kinematically consistent with the galactic thick disk population, making TOI-561 one of the oldest ($10\pm3\,$Gyr) and most metal-poor planetary systems discovered yet. We dynamically confirm planets b and c with radial velocities from the W. M. Keck Observatory High Resolution Echelle Spectrometer. Planet b has a mass and density of $3.2\pm0.8\,M_\oplus$ and $5.5^{+2.0}_{-1.6}\,$g$\,$cm$^{-3}$, consistent with a rocky composition. Its lower-than-average density is consistent with an iron-poor composition, although an Earth-like iron-to-silicates ratio is not ruled out. Planet c is $7.0\pm2.3\,M_\oplus$ and $1.6\pm0.6\,$g$\,$cm$^{-3}$, consistent with an interior rocky core overlaid with a low-mass volatile envelope. Several attributes of the photometry for planet d (which we did not detect dynamically) complicate the analysis, but we vet the planet with high-contrast imaging, ground-based photometric follow-up and radial velocities. TOI-561 b is the first rocky world around a galactic thick-disk star confirmed with radial velocities and one of the best rocky planets for thermal emission studies.


title: Derivation of strain-gradient plasticity from a generalized Peierls-Nabarro model

abstract: We derive strain-gradient plasticity from a nonlocal phase-field model of dislocations in a plane. Both a continuous energy with linear growth depending on a measure which characterizes the macroscopic dislocation density and a nonlocal effective energy representing the far-field interaction between dislocations arise naturally as scaling limits of the nonlocal elastic interaction. Relaxation and formation of microstructures at intermediate scales are automatically incorporated in the limiting procedure based on $\Gamma$-convergence.


title: Predicting second virial coefficients of organic and inorganic compounds using Gaussian Process Regression

abstract: We show that by using intuitive and accessible molecular features it is possible to predict the temperature-dependent second virial coefficient of organic and inorganic compounds using Gaussian process regression. In particular, we built a low dimensional representation of features based on intrinsic molecular properties, topology and physical properties relevant for the characterization of molecule-molecule interactions. The featurization was used to predict second virial coefficients in the interpolative regime with a relative error $\lesssim 1\% $ and to extrapolate the prediction to temperatures outside of the training range for each compound in the dataset with a relative error of 2.14\%. Additionally, the model's predictive abilities were extended to organic molecules unseen in the training process, yielding a prediction with a relative error of 2.66\%. Therefore, apart from being robust, the present Gaussian process regression model is extensible to a variety of organic and inorganic compounds.


title: One-Clock Priced Timed Games with Negative Weights

abstract: Priced timed games are two-player zero-sum games played on priced timed automata (whose locations and transitions are labeled by weights modelling the cost of spending time in a state and executing an action, respectively). The goals of the players are to minimise and maximise the cost to reach a target location, respectively. We consider priced timed games with one clock and arbitrary integer weights and show that, for an important subclass of them (the so-called simple priced timed games), one can compute, in pseudo-polynomial time, the optimal values that the players can achieve, with their associated optimal strategies. As side results, we also show that one-clock priced timed games are determined and that we can use our result on simple priced timed games to solve the more general class of so-called negative-reset-acyclic priced timed games (with arbitrary integer weights and one clock). The decidability status of the full class of priced timed games with one-clock and arbitrary integer weights still remains open.


title: Uncertainty Inspired RGB-D Saliency Detection

abstract: We propose the first stochastic framework to employ uncertainty for RGB-D saliency detection by learning from the data labeling process. Existing RGB-D saliency detection models treat this task as a point estimation problem by predicting a single saliency map following a deterministic learning pipeline. We argue that, however, the deterministic solution is relatively ill-posed. Inspired by the saliency data labeling process, we propose a generative architecture to achieve probabilistic RGB-D saliency detection which utilizes a latent variable to model the labeling variations. Our framework includes two main models: 1) a generator model, which maps the input image and latent variable to stochastic saliency prediction, and 2) an inference model, which gradually updates the latent variable by sampling it from the true or approximate posterior distribution. The generator model is an encoder-decoder saliency network. To infer the latent variable, we introduce two different solutions: i) a Conditional Variational Auto-encoder with an extra encoder to approximate the posterior distribution of the latent variable; and ii) an Alternating Back-Propagation technique, which directly samples the latent variable from the true posterior distribution. Qualitative and quantitative results on six challenging RGB-D benchmark datasets show our approach's superior performance in learning the distribution of saliency maps. The source code is publicly available via our project page: https://github.com/JingZhang617/UCNet.


title: Ray Tracing Structured AMR Data Using ExaBricks

abstract: Structured Adaptive Mesh Refinement (Structured AMR) enables simulations to adapt the domain resolution to save computation and storage, and has become one of the dominant data representations used by scientific simulations; however, efficiently rendering such data remains a challenge. We present an efficient approach for volume- and iso-surface ray tracing of Structured AMR data on GPU-equipped workstations, using a combination of two different data structures. Together, these data structures allow a ray tracing based renderer to quickly determine which segments along the ray need to be integrated and at what frequency, while also providing quick access to all data values required for a smooth sample reconstruction kernel. Our method makes use of the RTX ray tracing hardware for surface rendering, ray marching, space skipping, and adaptive sampling; and allows for interactive changes to the transfer function and implicit iso-surfacing thresholds. We demonstrate that our method achieves high performance with little memory overhead, enabling interactive high quality rendering of complex AMR data sets on individual GPU workstations.


title: Estimation of Structural Causal Model via Sparsely Mixing Independent Component Analysis

abstract: We consider the problem of inferring the causal structure from observational data, especially when the structure is sparse. This type of problem is usually formulated as an inference of a directed acyclic graph (DAG) model. The linear non-Gaussian acyclic model (LiNGAM) is one of the most successful DAG models, and various estimation methods have been developed. However, existing methods are not efficient for some reasons: (i) the sparse structure is not always incorporated in causal order estimation, and (ii) the whole information of the data is not used in parameter estimation. To address {these issues}, we propose a new estimation method for a linear DAG model with non-Gaussian noises. The proposed method is based on the log-likelihood of independent component analysis (ICA) with two penalty terms related to the sparsity and the consistency condition. The proposed method enables us to estimate the causal order and the parameters simultaneously. For stable and efficient optimization, we propose some devices, such as a modified natural gradient. Numerical experiments show that the proposed method outperforms existing methods, including LiNGAM and NOTEARS.


title: Achieving anonymity via weak lower bound constraints for k-median and k-means

abstract: We study $k$-clustering problems with lower bounds, including $k$-median and $k$-means clustering with lower bounds. In addition to the point set $P$ and the number of centers $k$, a $k$-clustering problem with (uniform) lower bounds gets a number $B$. The solution space is restricted to clusterings where every cluster has at least $B$ points. We demonstrate how to approximate $k$-median with lower bounds via a reduction to facility location with lower bounds, for which $O(1)$-approximation algorithms are known. Then we propose a new constrained clustering problem with lower bounds where we allow points to be assigned multiple times (to different centers). This means that for every point, the clustering specifies a set of centers to which it is assigned. We call this clustering with weak lower bounds. We give a $(6.5+\epsilon)$-approximation for $k$-median clustering with weak lower bounds and an $O(1)$-approximation for $k$-means with weak lower bounds. We conclude by showing that at a constant increase in the approximation factor, we can restrict the number of assignments of every point to $2$ (or, if we allow fractional assignments, to $1+\epsilon$). This also leads to the first bicritera approximation algorithm for $k$-means with (standard) lower bounds where bicriteria is interpreted in the sense that the lower bounds are violated by a constant factor. All algorithms in this paper run in time that is polynomial in $n$ and $k$ (and $d$ for the Euclidean variants considered).


title: Estimation of the electron density from spacecraft potential during high frequency electric field fluctuations

abstract: Spacecraft potential has often been used to infer electron density with much higher time resolution than is typically possible with plasma instruments. However, recently two studies by Torkar et al. 2017 and Graham et al. 2018 have shown that external electric fields can also have an effect on the spacecraft potential by enhancing photoelectron escape from the surface. Consequently, should the electron density derived from the spacecraft potential be used during an event with a large electric field, the estimation would be contaminated and the user would see the effects of the electric field rather than density perturbations. The goal of this paper is to propose a method to remove the electric field effects to allow the density derived from spacecraft potential to be used even during large amplitude wave events such as Langmuir waves or upper hybrid waves.


title: On dense totipotent free subgroups in full groups

abstract: We study probability measure preserving (p.m.p.) non-free actions of free groups and the associated IRS's. The perfect kernel of a countable group Gamma is the largest closed subspace of the space of subgroups of Gamma without isolated points. We introduce the class of totipotent ergodic p.m.p. actions of Gamma: those for which almost every point-stabilizer has dense conjugacy class in the perfect kernel. Equivalently, the support of the associated IRS is as large as possible, namely it is equal to the whole perfect kernel. We prove that every ergodic p.m.p. equivalence relation R of cost $<r$ can be realized by the orbits of an action of the free group F_r on r generators that is totipotent and such that the image in the full group [R] is dense. We explain why these actions have no minimal models.This also provides a continuum of pairwise orbit inequivalent invariant random subgroups of F_r, all of whose supports are equal to the whole space of infinite index subgroups. We are led to introduce a property of topologically generating pairs for full groups (we call evanescence) and establish a genericity result about their existence. We show that their existence characterizes cost 1.


title: Designing sequence set with minimal peak side-lobe level for applications in high resolution RADAR imaging

abstract: Constant modulus sequence set with low peak side-lobe level is a necessity for enhancing the performance of modern active sensing systems like Multiple Input Multiple Output (MIMO) RADARs. In this paper, we consider the problem of designing a constant modulus sequence set by minimizing the peak side-lobe level, which can be cast as a non-convex minimax problem, and propose a Majorization-Minimization technique based iterative monotonic algorithm. The iterative steps of our algorithm are computationally not very demanding and they can be efficiently implemented via Fast Fourier Transform (FFT) operations. We also establish the convergence of our proposed algorithm and discuss the computational and space complexities of the algorithm. Finally, through numerical simulations, we illustrate the performance of our method with the state-of-the-art methods. To highlight the potential of our approach, we evaluate the performance of the sequence set designed via our approach in the context of probing sequence set design for MIMO RADAR angle-range imaging application and show results exhibiting good performance of our method when compared with other commonly used sequence set design approaches.


title: Dielectric Skyrmions

abstract: We consider the dielectric Skyrme model proposed recently, with and without the addition of the standard pion mass term. Then we write down Bogomol'nyi-type energy bounds for both the massless and massive cases. We further show that, except for when taking the strict BPS limit, the Skyrmions are made of 3 orthogonal dipoles that can always be placed in their attractive channel and form bound states. Finally, we study the model numerically and discover that, long before realistic binding energies are reached, the Skyrmions become bound states of well-separated point-particle-like Skyrmions. By going sufficiently close to the BPS limit, we are able to obtain classical binding energies of realistic values compared with experiments.


title: Dense gas formation in the Musca filament due to the dissipation of a supersonic converging flow

abstract: Observations with the Herschel Space Telescope have established that most of the star forming gas is organised in interstellar filaments, a finding that is supported by numerical simulations of the supersonic interstellar medium (ISM) where dense filamentary structures are ubiquitous. We aim to understand the formation of these dense structures by performing observations covering the $^{12}$CO(4-3), $^{12}$CO(3-2), and various CO(2-1) isotopologue lines of the Musca filament, using the APEX telescope. The observed CO intensities and line ratios cannot be explained by PDR (photodissociation region) emission because of the low ambient far-UV field that is strongly constrained by the non-detections of the [C II] line at 158 $\mu$m and the [O I] line at 63 $\mu$m, observed with the upGREAT receiver on SOFIA, as well as a weak [C I] 609 $\mu$m line detected with APEX. We propose that the observations are consistent with a scenario in which shock excitation gives rise to warm and dense gas close to the highest column density regions in the Musca filament. Using shock models, we find that the CO observations can be consistent with excitation by J-type low-velocity shocks. A qualitative comparison of the observed CO spectra with synthetic observations of dynamic filament formation simulations shows a good agreement with the signature of a filament accretion shock that forms a cold and dense filament from a converging flow. The Musca filament is thus found to be dense molecular post-shock gas. Filament accretion shocks that dissipate the supersonic kinetic energy of converging flows in the ISM may thus play a prominent role in the evolution of cold and dense filamentary structures.


title: Non-extensive processes associated with heating of the Galactic disc

abstract: We analyse the mechanisms ruling galactic disc heating through the dynamics of space velocities $U$, $V$ and $W$, extracted from the Geneva-Copenhagen catalogue. To do this, we use a model based on non-extensive statistical mechanics, where we derive the probability distribution functions that quantify the non-Gaussian effects. Furthermore, we find that the deviation $q-1$ at a given stellar age follows non-random behaviour. As a result, the $q$-index behaviour indicates that the vertical component $W$, perpendicular to the Galactic plane, does not ``heat up'' at random, which is in disagreement with previous works that attributed the evolution of $W$ to randomness. Finally, our results bring a new perspective to this matter and open the way for studying Galactic kinematic components through the eyes of more robust statistical models that consider non-Gaussian effects.


title: On the BMY inequality on surfaces

abstract: In this paper, we are concerned with the relation between the ordinarity of surfaces of general type and the failure of the BMY inequality in positive characteristic. We consider semistable fibrations $\pi:S \longrightarrow C$ where $S$ is a smooth projective surface and $C$ is a smooth projective curve. Using the exact sequence relating the locally exact differential forms on $S$, $C$, and $S/C$, we prove an inequality relating $c_1^2$ and $c_2$ for ordinary surfaces which admit generically ordinary semistable fibrations. This inequality differs from the BMY inequality by a correcting term which vanishes if the fibration is ordinary.


title: Hartogs companions and holomorphic extensions in arbitrary dimension

abstract: We show that every holomorphic map $f\in\mathcal{H}(\Omega\setminus K)$ ($K\subset\Omega\subset\mathbb{C}^n$, with $K$ compact, $\Omega$ open, and $n\ge2$), has a unique "\emph{Hartogs companion}" $\tilde f\in\mathcal{H}(\Omega)$ matching $f$ on an open subset $C_{K,\Omega}\subset\Omega\setminus K$. Furthermore, $\tilde f$ extends $f$, \emph{if and only if} $\mathbb{C}^n\setminus K$ is a connected set; this equivalence proves the converse implication from the Hartogs Kugelsatz. The existence of vector-valued Hartogs companions in any dimension yields a Hartogs-type extension theorem for G\^ateaux holomorphic maps $f\in\mathcal{H}_\mathrm{G}(\Omega\setminus K,Y)$ on finitely open sets in arbitrary complex vector spaces. The equivalence is very similar to that for $K\subset\Omega\subset\mathbb{C}^n$ and leads to a corresponding Hartogs Kugelsatz in arbitrary dimension and to extension theorems for five types of holomorphy (G\^ateaux, Mackey/Silva, hypoanalytic, Fr\'echet, locally bounded). We also show that the range $\tilde f(\Omega)$ of a vector-valued Hartogs companion cannot leave a domain of holomorphy containing $f(\Omega\setminus K)$. We establish a boundary principle for maps $f\in\mathcal{H}_\mathrm{G}(\Omega,Y)\cap\mathcal{C}(\bar\Omega,Y)$ on finitely bounded open sets. For $Y=\mathbb{C}$, the principle states that $f\big(\bar\Omega\big)=f(\partial\Omega)$ (hence $\sup_{x\in\Omega}|f(x)|=\sup_{x\in\partial\Omega}|f(x)|$). Several results require a new identity theorem, which yields a maximum norm principle and a "max-min" seminorm principle.


title: Text Mining over Curriculum Vitae of Peruvian Professionals using Official Scientific Site DINA

abstract: During the last decade, Peruvian government started to invest and promote Science and Technology through Concytec(National Council of Science and Technology). Many programs are oriented to support research projects, expenses for paper presentation, organization of conferences/ events and more. Concytec created a National Directory of Researchers(DINA) where professionals can create and add curriculum vitae, Concytec can provide official title of Researcher following some criterion for the evaluation. The actual paper aims to conduct an exploratory analysis over the curriculum vitae of Peruvian Professionals using Data Mining Approach to understand Peruvian context.


title: Report on the 2019 Workshop on Smart Farming and Data Analytics (SFDAI)

abstract: The 1st National workshop on Smart Farming and Data Analytics took place at Maynooth University in Ireland on June 12, 2019. The workshop included two invited keynote presentations, invited talks and breakout group discussions. The workshop attracted in the order of 50 participants, consisting of a mixture of computer scientists, general scientists, farmers, farm advisors, and agricultural business representatives. This allowed for lively discussion and cross-fertilization of ideas. And showed the significant interest in the smart farming domain, the many research challenges faced in the space and the potential for data analytics and information retrieval here.


title: Emergent pseudo time-irreversibility in the classical many-body system of pair interacting particles

abstract: In this paper, the emergence of macroscopic-scale pseudo time-irreversibility is studied in the closed classical many-body system of pair interacting particles. First, exact continuum equations are derived to the Hamiltonian dynamics without the utilisation of statistical mechanics. Next, it is shown that the momentum density field incorporates the thermal degrees of freedom in the considered scaling limit, and therefore initial condition indicated pseudo time-irreversible solutions may exist to the dynamical equations. Numerical evidence for pseudo-irreversible thermal equilibration, heat and momentum transport is provided. Finally, the possible reasons of the numerically obtained non-diffusional relaxation of macroscopic order is discussed.


title: Migration jumps of planets in transition disks

abstract: Transition disks form a special class of protoplanetary disks that are characterized by a deficiency of disk material close to the star. In a subgroup, inner holes in these disks can stretch out to a few tens of au while there is still mass accretion onto the central star observed. We analyse the proposition that this type of wide transition disks is generated by the interaction of the disk with a system of embedded planets. We performed 2D hydrodynamics simulations of a flat disk using either a locally isothermal equation of state or considering also radiative effects. Two 3 to 9 Jupiter mass planets were embedded in the disk and their dynamical evolution due to disk-planet interaction was followed for over 100 000 years. The simulations account for mass accretion onto the star and planets. We included models with parameters geared to the system PDS 70. To assess the observability of features in our models we performed synthetic ALMA observations. For systems with a more massive inner planet there are phases where both planets migrate outward engaged in a 2:1 mean motion resonance via the Masset-Snellgrove mechanism. In sufficiently massive disks the formation of a vortex in the outer disk can trigger rapid outward migration of the outer planet where its distance increases by tens of au within a few thousand years. Later, the outer planet migrates back inwards settling again into resonance with the inner planet. We call this emerging composite phenomenon a 'migration jump'. Outward migration and the migration jumps are accompanied by a high mass accretion rate onto the star. The synthetic images reveal numerous substructures depending on the type of dynamical behaviour. Our results suggest that the outward migration of two embedded planets is a prime candidate for the explanation of the observed high stellar mass accretion rate in wide transition disks.


title: Iterative Correction of Sensor Degradation and a Bayesian Multi-Sensor Data Fusion Method

abstract: We present a novel method for inferring ground-truth signal from multiple degraded signals, affected by different amounts of sensor exposure. The algorithm learns a multiplicative degradation effect by performing iterative corrections of two signals solely from the ratio between them. The degradation function d should be continuous, satisfy monotonicity, and d(0) = 1. We use smoothed monotonic regression method, where we easily incorporate the aforementioned criteria to the fitting part. We include theoretical analysis and prove convergence to the ground-truth signal for the noiseless measurement model. Lastly, we present an approach to fuse the noisy corrected signals using Gaussian processes. We use sparse Gaussian processes that can be utilized for a large number of measurements together with a specialized kernel that enables the estimation of noise values of all sensors. The data fusion framework naturally handles data gaps and provides a simple and powerful method for observing the signal trends on multiple timescales(long-term and short-term signal properties). The viability of correction method is evaluated on a synthetic dataset with known ground-truth signal.


title: KoSpeech: Open-Source Toolkit for End-to-End Korean Speech Recognition

abstract: We present KoSpeech, an open-source software, which is modular and extensible end-to-end Korean automatic speech recognition (ASR) toolkit based on the deep learning library PyTorch. Several automatic speech recognition open-source toolkits have been released, but all of them deal with non-Korean languages, such as English (e.g. ESPnet, Espresso). Although AI Hub opened 1,000 hours of Korean speech corpus known as KsponSpeech, there is no established preprocessing method and baseline model to compare model performances. Therefore, we propose preprocessing methods for KsponSpeech corpus and a baseline model for benchmarks. Our baseline model is based on Listen, Attend and Spell (LAS) architecture and ables to customize various training hyperparameters conveniently. By KoSpeech, we hope this could be a guideline for those who research Korean speech recognition. Our baseline model achieved 10.31% character error rate (CER) at KsponSpeech corpus only with the acoustic model. Our source code is available here.


title: Opening Reionization: Quantitative Morphology of the Epoch of Reionization and Its Connection to the Cosmic Density Field

abstract: We introduce a versatile and spatially resolved morphological characterisation of binary fields, rooted in the opening transform of mathematical morphology. We subsequently apply it to the thresholded ionization field in simulations of cosmic reionization and study the morphology of ionized regions. We find that an ionized volume element typically resides in an ionized region with radius $\sim8\,h^{-1}\mathrm{cMpc}$ at the midpoint of reionization ($z\approx7.5$) and follow the bubble size distribution even beyond the overlap phase. We find that percolation of the fully ionized component sets in when 25% of the universe is ionized and that the resulting infinite cluster incorporates all ionized regions above $\sim8\,h^{-1}\mathrm{cMpc}$. We also quantify the clustering of ionized regions of varying radius with respect to matter and on small scales detect the formation of superbubbles in the overlap phase. On large scales we quantify the bias values of the centres of ionized and neutral regions of different sizes and not only show that the largest ones at the high-point of reionization can reach $b\approx 30$, but also that early small ionized regions are positively correlated with matter and large neutral regions and late small ionized regions are heavily anti-biased with respect to matter, down to $b\lesssim-20$.


title: Capturing dynamics of post-earnings-announcement drift using genetic algorithm-optimised supervised learning

abstract: While Post-Earnings-Announcement Drift (PEAD) is one of the most studied stock market anomalies, the current literature is often limited in explaining this phenomenon by a small number of factors using simpler regression methods. In this paper, we use a machine learning based approach instead, and aim to capture the PEAD dynamics using data from a large group of stocks and a wide range of both fundamental and technical factors. Our model is built around the Extreme Gradient Boosting (XGBoost) and uses a long list of engineered input features based on quarterly financial announcement data from 1,106 companies in the Russell 1000 index between 1997 and 2018. We perform numerous experiments on PEAD predictions and analysis and have the following contributions to the literature. First, we show how Post-Earnings-Announcement Drift can be analysed using machine learning methods and demonstrate such methods' prowess in producing credible forecasting on the drift direction. It is the first time PEAD dynamics are studied using XGBoost. We show that the drift direction is in fact driven by different factors for stocks from different industrial sectors and in different quarters and XGBoost is effective in understanding the changing drivers. Second, we show that an XGBoost well optimised by a Genetic Algorithm can help allocate out-of-sample stocks to form portfolios with higher positive returns to long and portfolios with lower negative returns to short, a finding that could be adopted in the process of developing market neutral strategies. Third, we show how theoretical event-driven stock strategies have to grapple with ever changing market prices in reality, reducing their effectiveness. We present a tactic to remedy the difficulty of buying into a moving market when dealing with PEAD signals.


title: Robust Spoken Language Understanding with RL-based Value Error Recovery

abstract: Spoken Language Understanding (SLU) aims to extract structured semantic representations (e.g., slot-value pairs) from speech recognized texts, which suffers from errors of Automatic Speech Recognition (ASR). To alleviate the problem caused by ASR-errors, previous works may apply input adaptations to the speech recognized texts, or correct ASR errors in predicted values by searching the most similar candidates in pronunciation. However, these two methods are applied separately and independently. In this work, we propose a new robust SLU framework to guide the SLU input adaptation with a rule-based value error recovery module. The framework consists of a slot tagging model and a rule-based value error recovery module. We pursue on an adapted slot tagging model which can extract potential slot-value pairs mentioned in ASR hypotheses and is suitable for the existing value error recovery module. After the value error recovery, we can achieve a supervision signal (reward) by comparing refined slot-value pairs with annotations. Since operations of the value error recovery are non-differentiable, we exploit policy gradient based Reinforcement Learning (RL) to optimize the SLU model. Extensive experiments on the public CATSLU dataset show the effectiveness of our proposed approach, which can improve the robustness of SLU and outperform the baselines by significant margins.


title: Phase transition and Quasinormal modes for Charged black holes in 4D Einstein-Gauss-Bonnet gravity

abstract: In this paper, we study the quasinormal modes(QNMs) of massless scalar perturbations to probe the Van der Waals like small and large black holes(SBH/LBH) phase transition of (charged) AdS black holes in the 4-dimensional Einstein Gauss-Bonnet gravity. We find that the signature of this SBH/LBH phase transition in the isobaric process can be detected since the slopes of the QNMs frequencies change drastically different in small and large black holes near the critical point. The obtained results further support that the QNMs can be a dynamic probe of the thermodynamic properties in black holes.


title: Resolving Few-Layer Antimonene/Graphene Heterostructures

abstract: Two-dimensional (2D) antimony (Sb, antimonene) recently attracted interest due to its peculiar electronic properties and its suitability as anode material in next generation batteries. Sb however exhibits a large polymorphic/allotropic structural diversity, which is also influenced by the Sb's support. Thus understanding Sb heterostructure formation is key in 2D Sb integration. Particularly 2D Sb/graphene interfaces are of prime importance as contacts in electronics and electrodes in batteries. We thus study here few-layered 2D Sb/graphene heterostructures by atomic-resolution (scanning) transmission electron microscopy. We find the co-existence of two Sb morphologies: First is a 2D growth morphology of layered beta-Sb with beta-Sb(001)||graphene(001) texture. Second are one-dimensional (1D) Sb nanowires which can be matched to beta-Sb with beta-Sb[2-21] perpendicular to graphene(001) texture and are structurally also closely related to thermodynamically non-preferred cubic Sb(001)||graphene(001). Importantly, both Sb morphologies show rotational van-der-Waals epitaxy with the graphene support. Both Sb morphologies are well resilient against environmental bulk oxidation, although superficial Sb-oxide layer formation merits consideration, including formation of novel epitaxial Sb2O3(111)/beta-Sb(001) heterostructures. Exact Sb growth behavior is sensitive on employed processing and substrate properties including, notably, the nature of the support underneath the direct graphene support. This introduces the substrate underneath a direct 2D support as a key parameter in 2D Sb heterostructure formation. Our work provides insights into the rich phase and epitaxy landscape in 2D Sb and 2D Sb/graphene heterostructures.


title: Progressive Bilateral-Context Driven Model for Post-Processing Person Re-Identification

abstract: Most existing person re-identification methods compute pairwise similarity by extracting robust visual features and learning the discriminative metric. Owing to visual ambiguities, these content-based methods that determine the pairwise relationship only based on the similarity between them, inevitably produce a suboptimal ranking list. Instead, the pairwise similarity can be estimated more accurately along the geodesic path of the underlying data manifold by exploring the rich contextual information of the sample. In this paper, we propose a lightweight post-processing person re-identification method in which the pairwise measure is determined by the relationship between the sample and the counterpart's context in an unsupervised way. We translate the point-to-point comparison into the bilateral point-to-set comparison. The sample's context is composed of its neighbor samples with two different definition ways: the first order context and the second order context, which are used to compute the pairwise similarity in sequence, resulting in a progressive post-processing model. The experiments on four large-scale person re-identification benchmark datasets indicate that (1) the proposed method can consistently achieve higher accuracies by serving as a post-processing procedure after the content-based person re-identification methods, showing its state-of-the-art results, (2) the proposed lightweight method only needs about 6 milliseconds for optimizing the ranking results of one sample, showing its high-efficiency. Code is available at: https://github.com/123ci/PBCmodel.


title: On Reduction of Exhausters via a Support Function Representation

abstract: Exhausters are families of compact, convex sets which provide minmax or maxmin representations of positively homogeneous functions and they are efficient tools for the study of nonsmooth function. Upper and lower exhausters of positively homogeneous functions are employed to describe optimality conditions in geometric terms and also to find directions of steepest descent or ascent. Since an upper/lower exhauster may contain finitely or infinitely many compact convex sets, the problem of minimality and reduction of exhausters naturally arise. There are several approaches to reduce exhausters. In this study, in the sense of inclusion-minimality, some reduction techniques for upper exhausters of positively homogeneous functions defined from $\mathbb R^2$ to $\mathbb R$ is proposed by means of a representation of support functions. These techniques have concrete geometric meanings and they form a basis for a necessary and sufficient condition for inclusion-minimality of exhausters. Some examples are presented to illustrate each reduction technique.


title: Light meson nuclear modification factor in p-Pb collisions over an unprecedented $p_\mathrm{T}$ range with ALICE

abstract: Light neutral meson differential invariant cross section and nuclear modification factor measurements have been carried out with the ALICE detector at the CERN LHC in pp collisions at $\sqrt{s}=8$ TeV and p--Pb collisions at $\sqrt{s_\mathrm{NN}}=8.16$ TeV. The analysis combines results from several partially independent reconstruction techniques where the $\pi^0$ and $\eta$ meson decay photons were detected with the electromagnetic calorimeter, EMCal, the photon spectrometer, PHOS, or via reconstruction of $e^+e^-$ pairs from conversions in the ALICE detector material using the central tracking system. The neutral pion measurement reaching a $p_\mathrm{T}$ of 200 GeV/$c$ poses as the highest measured identified particle spectrum to date while the $\eta$ meson is measured to an unprecedented $p_\mathrm{T}$ of 50 GeV/$c$. The spectra are found to be generally overestimated by NLO pQCD calculations. The nuclear modification factors of both mesons exhibit a suppression for $p_\mathrm{T}<10$ GeV/$c$ which is stronger compared to previous measurements at $\sqrt{s_\mathrm{NN}}=5.02$ TeV and consistent with CGC and cold nuclear matter energy loss calculations. For $p_\mathrm{T}>10$ GeV/$c$, $R_\mathrm{pPb}$ is consistent with unity and theory predictions.


title: Chatbot integration in few patterns

abstract: Chatbots are software agents that are able to interact with humans in natural language. Their intuitive interaction paradigm is expected to significantly reshape the software landscape of tomorrow, while already today chatbots are invading a multitude of scenarios and contexts. This article takes a developer's perspective, identifies a set of architectural patterns that capture different chatbot integration scenarios, and reviews state-of-the-art development aids.


title: High energy positive solutions for a coupled Hartree system with Hardy-Littlewood-Sobolev critical exponents

abstract: We study the coupled Hartree system $$ \left\{\begin{array}{ll} -\Delta u+ V_1(x)u =\alpha_1\big(|x|^{-4}\ast u^{2}\big)u+\beta \big(|x|^{-4}\ast v^{2}\big)u &\mbox{in}\ \mathbb{R}^N,\\[1mm] -\Delta v+ V_2(x)v =\alpha_2\big(|x|^{-4}\ast v^{2}\big)v +\beta\big(|x|^{-4}\ast u^{2}\big)v &\mbox{in}\ \mathbb{R}^N, \end{array}\right. $$ where $N\geq 5$, $\beta>\max\{\alpha_1,\alpha_2\}\geq\min\{\alpha_1,\alpha_2\}>0$, and $V_1,\,V_2\in L^{N/2}(\mathbb{R}^N)\cap L_{\text{loc}}^{\infty}(\mathbb{R}^N)$ are nonnegative potentials. This system is critical in the sense of the Hardy-Littlewood-Sobolev inequality. For the system with $V_1=V_2=0$ we employ moving sphere arguments in integral form to classify positive solutions and to prove the uniqueness of positive solutions up to translation and dilation, which is of independent interest. Then using the uniqueness property, we establish a nonlocal version of the global compactness lemma and prove the existence of a high energy positive solution for the system assuming that $|V_1|_{L^{N/2}(\mathbb{R}^N)}+|V_2|_{L^{N/2}(\mathbb{R}^N)}>0$ is suitably small.


title: Programming nonreciprocity and reversibility in multistable mechanical metamaterials

abstract: Nonreciprocity can be passively achieved by harnessing material nonlinearities. In particular, networks of nonlinear bistable elements with asymmetric energy landscapes have recently been shown to support unidirectional transition waves. However, in these systems energy can be transferred only when the elements switch from the higher to the lower energy well, allowing for a one-time signal transmission. Here, we show that in a mechanical metamaterial comprising a 1D array of bistable arches nonreciprocity and reversability can be independently programmed and are not mutually exclusive. By connecting shallow arches with symmetric energy wells and decreasing energy barriers, we design a reversible mechanical diode that can sustain multiple signal transmissions. Further, by alternating arches with symmetric and asymmetric energy landscapes we realize a nonreciprocal chain that enables propagation of different transition waves in opposite directions.


title: UV spectroscopy confirms SU Lyn to be a symbiotic star

abstract: SU Lyn, a star that ostensibly appears to be an unremarkable late M type giant, has recently been proposed to be a symbiotic star largely based on its hard X-ray properties. The star does not display, in low-resolution optical spectra, the high excitation lines typically seen in the spectra of symbiotic stars. In the present work, UV, optical, and near-infrared observations are presented, aimed at exploring and strengthening the proposed symbiotic classification for this star. Our Far-UV 1300-1800$\AA$ spectrum of SU Lyn, obtained with the ASTROSAT mission's UVIT payload, shows emission lines of Si IV, C IV, OIII and N III in a spectrum typical of symbiotic stars. The UV spectrum robustly confirms SU Lyn's symbiotic nature. The detection of high excitation lines in a high-resolution optical spectrum further consolidates its symbiotic nature. As is being recognized, the potential existence of other similar symbiotic systems could significantly impact the census of symbiotic stars in the galaxy.


title: Shape of population interfaces as an indicator of mutational instability in coexisting cell populations

abstract: Cellular populations such as avascular tumors and microbial biofilms may "invade" or grow into surrounding populations. The invading population is often comprised of a heterogeneous mixture of cells with varying growth rates. The population may also exhibit mutational instabilities, such as a heavy deleterious mutation load in a cancerous growth. We study the dynamics of a heterogeneous, mutating population competing with a surrounding homogeneous population, as one might find in a cancerous invasion of healthy tissue. We find that the shape of the population interface serves as an indicator for the evolutionary dynamics within the heterogeneous population. In particular, invasion front undulations become enhanced when the invading population is near a mutational meltdown transition or when the surrounding "bystander" population is barely able to reinvade the mutating population. We characterize these interface undulations and the effective fitness of the heterogeneous population in one- and two-dimensional systems.


title: Scaling up Differentially Private Deep Learning with Fast Per-Example Gradient Clipping

abstract: Recent work on Renyi Differential Privacy has shown the feasibility of applying differential privacy to deep learning tasks. Despite their promise, however, differentially private deep networks often lag far behind their non-private counterparts in accuracy, showing the need for more research in model architectures, optimizers, etc. One of the barriers to this expanded research is the training time -- often orders of magnitude larger than training non-private networks. The reason for this slowdown is a crucial privacy-related step called "per-example gradient clipping" whose naive implementation undoes the benefits of batch training with GPUs. By analyzing the back-propagation equations we derive new methods for per-example gradient clipping that are compatible with auto-differentiation (e.g., in PyTorch and TensorFlow) and provide better GPU utilization. Our implementation in PyTorch showed significant training speed-ups (by factors of 54x - 94x for training various models with batch sizes of 128). These techniques work for a variety of architectural choices including convolutional layers, recurrent networks, attention, residual blocks, etc.


title: sunny-as2: Enhancing SUNNY for Algorithm Selection

abstract: SUNNY is an Algorithm Selection (AS) technique originally tailored for Constraint Programming (CP). SUNNY enables to schedule, from a portfolio of solvers, a subset of solvers to be run on a given CP problem. This approach has proved to be effective for CP problems, and its parallel version won many gold medals in the Open category of the MiniZinc Challenge -- the yearly international competition for CP solvers. In 2015, the ASlib benchmarks were released for comparing AS systems coming from disparate fields (e.g., ASP, QBF, and SAT) and SUNNY was extended to deal with generic AS problems. This led to the development of sunny-as2, an algorithm selector based on SUNNY for ASlib scenarios. A preliminary version of sunny-as2 was submitted to the Open Algorithm Selection Challenge (OASC) in 2017, where it turned out to be the best approach for the runtime minimization of decision problems. In this work, we present the technical advancements of sunny-as2, including: (i) wrapper-based feature selection; (ii) a training approach combining feature selection and neighbourhood size configuration; (iii) the application of nested cross-validation. We show how sunny-as2 performance varies depending on the considered AS scenarios, and we discuss its strengths and weaknesses. Finally, we also show how sunny-as2 improves on its preliminary version submitted to OASC.


title: Stem-leaf segmentation and phenotypic trait extraction of maize shoots from three-dimensional point cloud

abstract: Nowadays, there are many approaches to acquire three-dimensional (3D) point clouds of maize plants. However, automatic stem-leaf segmentation of maize shoots from three-dimensional (3D) point clouds remains challenging, especially for new emerging leaves that are very close and wrapped together during the seedling stage. To address this issue, we propose an automatic segmentation method consisting of three main steps: skeleton extraction, coarse segmentation based on the skeleton, fine segmentation based on stem-leaf classification. The segmentation method was tested on 30 maize seedlings and compared with manually obtained ground truth. The mean precision, mean recall, mean micro F1 score and mean over accuracy of our segmentation algorithm were 0.964, 0.966, 0.963 and 0.969. Using the segmentation results, two applications were also developed in this paper, including phenotypic trait extraction and skeleton optimization. Six phenotypic parameters can be accurately and automatically measured, including plant height, crown diameter, stem height and diameter, leaf width and length. Furthermore, the values of R2 for the six phenotypic traits were all above 0.94. The results indicated that the proposed algorithm could automatically and precisely segment not only the fully expanded leaves, but also the new leaves wrapped together and close together. The proposed approach may play an important role in further maize research and applications, such as genotype-to-phenotype study, geometric reconstruction and dynamic growth animation. We released the source code and test data at the web site https://github.com/syau-miao/seg4maize.git


title: Atomic Precision Processing of New Materials for Frontier Microelectronic Applications in High Performance Computing and Artificial Intelligence

abstract: This document is a joint response by scientists from the Princeton Plasma Physics Laboratory, IBM T. J. Watson Research Center and Applied Materials, Inc. to the DOE Office of Science (DOE-SC) Request for Information: Basic Research Initiative for Microelectronics (https://www.federalregister.gov/documents/2019/07/12/2019-14869/request-for-information-basic-research-initiative-for-microelectronics). Specifically, we propose DOE-SC to include the following topics in their consideration for future solicitations on Microelectronics: 1) The development of a real-time monitoring and in-situ diagnostic techniques that can provide information on plasma, substrate surface, and interaction between both during atomic precision processing of complex materials for the most advanced microelectronic devices with applications to high performance computing and artificial intelligence, and 2) The development of experimentally validated modeling tools to predict processing dynamics including plasma, chemical and material processes involved.


title: Thermal Operations in general are not memoryless

abstract: So-called Thermal Operations seem to describe the most fundamental, and reasonable, set of operations allowable for state transformations at an ambient inverse temperature $\beta$. However, a priori, they require experimentalists to manipulate very complex environments and have control over their internal degrees of freedom. For this reason, the community has been working on creating more experimentally-friendly operations. In [Perry et al., Phys. Rev. X 8, 041049] it was shown that for states diagonal in the energy basis, that Thermal Operations can be performed by so-called Coarse Operations, which need just one auxiliary qubit, but are otherwise Markovian and classical in spirit. In this work, by providing an explicit counterexample, we show that this one qubit of memory is necessary. We also fully characterize the possible transitions that do not require memory for the system being a qubit. We do this by analyzing arbitrary control sequences comprising level energy changes and partial thermalizations in each step.


title: Rotation numbers and rotation classes on one-dimensional tiling spaces

abstract: We extend rotation theory of circle maps to tiling spaces. Specifically, we consider a 1-dimensional tiling space $\Omega$ with finite local complexity and study self-maps $F$ that are homotopic to the identity and whose displacements are strongly pattern equivariant (sPE). In place of the familiar rotation number we define a cohomology class $[\mu]$. We prove existence and uniqueness results for this class, develop a notion of irrationality, and prove an analogue of Poncar\'{e}'s Theorem: If $[\mu]$ is irrational, then $F$ is semi-conjugate to uniform translation on a space $\Omega_\mu$ of tilings that is homeomorphic to $\Omega$. In such cases, $F$ is semi-conjugate to uniform translation on $\Omega$ itself if and only if $[\mu]$ lies in a certain subspace of the first cohomology group of $\Omega$.


title: Directed Network of Substorms Using SuperMAG Ground-Based Magnetometer Data

abstract: We quantify the spatiotemporal evolution of the substorm ionospheric current system utilizing the SuperMAG 100+ magnetometers.We construct dynamical directed networks from this data for the first time. If the canonical cross-correlation between vector magnetic field perturbations observed at two magnetometer stations exceeds a threshold, they form a network connection. The time lag at which canonical cross-correlation is maximal determines the direction of propagation or expansion of the structure captured by the network connection. If spatial correlation reflects ionospheric current patterns, network properties can test different models for the evolving substorm current system.We select 86 isolated substorms based on nightside ground station coverage. We find, and obtain the timings for, a consistent picture in which the classic substorm current wedge forms. A current system is seen premidnight following the substorm current wedge westward expansion. Later, there is a weaker signal of eastward expansion. Finally, there is evidence of substorm-enhanced convection.


title: On the Incorporation of Obstacles in a Fluid Flow Problem Using a Navier-Stokes-Brinkman Penalization Approach

abstract: Simulating the interaction of fluids with immersed moving solids is playing an important role for gaining a better quantitative understanding of how fluid dynamics is altered by the presence of obstacles and which forces are exerted on the solids by the moving fluid. Such problems appear in various contexts, ranging from numerous technical applications such as turbines to medical problems such as the regulation of hemodyamics by valves. Typically, the numerical treatment of such problems is posed within a fluid structure interaction (FSI) framework. General FSI models are able to capture bidirectional interactions, but are challenging to solve and computationally expensive. Simplified methods offer a possible remedy by achieving better computational efficiency to broaden the scope to demanding application problems with focus on understanding the effect of solids on altering fluid dynamics. In this study we report on the development of a novel method for such applications. In our method rigid moving obstacles are incorporated in a fluid dynamics context using concepts from porous media theory. Based on the Navier-Stokes-Brinkman equations which augments the Navier-Stokes equation with a Darcy drag term our method represents solid obstacles as time-varying regions containing a porous medium of vanishing permeability. Numerical stabilization and turbulence modeling is dealt with by using a residual based variational multiscale formulation. The key advantages of our approach -- computational efficiency and ease of implementation -- are demonstrated by solving a standard benchmark problem of a rotating blood pump posed by the Food and Drug Administration Agency (FDA). Validity is demonstrated by conducting a mesh convergence study and by comparison against the extensive set of experimental data provided for this benchmark.


title: Precision calculation of hyperfine structure and the Zemach radii of $^{6,7}$Li$^+$ ions

abstract: The hyperfine structures of the $2\,^3\!S_1$ states of the $^6$Li$^+$ and $^7$Li$^+$ ions are investigated theoretically to extract the Zemach radii of the $^6$Li and $^7$Li nuclei by comparing with precision measurements. The obtained Zemach radii are larger than the previous values of Puchalski and Pachucki [\href{https://link.aps.org/doi/10.1103/PhysRevLett.111.243001}{Phys. Rev. Lett. {\bf 111}, 243001 (2013)}] and disagree with them by about 1.5 and 2.2 standard deviations for $^6$Li and $^7$Li, respectively. Furthermore, our Zemach radius of $^6$Li differs significantly from the nuclear physics value, derived from the nuclear charge and magnetic radii [\href{https://link.aps.org/doi/10.1103/PhysRevA.78.012513}{Phys. Rev. A {\bf 78}, 012513 (2008)}], by more than 6 sigma, indicating an anomalous nuclear structure for $^6$Li. The conclusion that the Zemach radius of $^7$Li is about 40\% larger than that of $^6$Li is confirmed. The obtained Zemach radii are used to calculate the hyperfine splittings of the $2\,^3\!P_J$ states of $^{6,7}$Li$^+$, where an order of magnitude improvement over the previous theory has been achieved for $^7$Li$^+$.


title: Githru: Visual Analytics for Understanding Software Development History Through Git Metadata Analysis

abstract: Git metadata contains rich information for developers to understand the overall context of a large software development project. Thus it can help new developers, managers, and testers understand the history of development without needing to dig into a large pile of unfamiliar source code. However, the current tools for Git visualization are not adequate to analyze and explore the metadata: They focus mainly on improving the usability of Git commands instead of on helping users understand the development history. Furthermore, they do not scale for large and complex Git commit graphs, which can play an important role in understanding the overall development history. In this paper, we present Githru, an interactive visual analytics system that enables developers to effectively understand the context of development history through the interactive exploration of Git metadata. We design an interactive visual encoding idiom to represent a large Git graph in a scalable manner while preserving the topological structures in the Git graph. To enable scalable exploration of a large Git commit graph, we propose novel techniques (graph reconstruction, clustering, and Context-Preserving Squash Merge (CSM) methods) to abstract a large-scale Git commit graph. Based on these Git commit graph abstraction techniques, Githru provides an interactive summary view to help users gain an overview of the development history and a comparison view in which users can compare different clusters of commits. The efficacy of Githru has been demonstrated by case studies with domain experts using real-world, in-house datasets from a large software development team at a major international IT company. A controlled user study with 12 developers comparing Githru to previous tools also confirms the effectiveness of Githru in terms of task completion time.


title: Why Not Simply Translate? A First Swedish Evaluation Benchmark for Semantic Similarity

abstract: This paper presents the first Swedish evaluation benchmark for textual semantic similarity. The benchmark is compiled by simply running the English STS-B dataset through the Google machine translation API. This paper discusses potential problems with using such a simple approach to compile a Swedish evaluation benchmark, including translation errors, vocabulary variation, and productive compounding. Despite some obvious problems with the resulting dataset, we use the benchmark to compare the majority of the currently existing Swedish text representations, demonstrating that native models outperform multilingual ones, and that simple bag of words performs remarkably well.


title: Anomaly Detection for a Large Number of Streams: A Permutation-Based Higher Criticism Approach

abstract: Anomaly detection when observing a large number of data streams is essential in a variety of applications, ranging from epidemiological studies to monitoring of complex systems. High-dimensional scenarios are usually tackled with scan-statistics and related methods, requiring stringent modeling assumptions for proper calibration. In this work we take a non-parametric stance, and propose a permutation-based variant of the higher criticism statistic not requiring knowledge of the null distribution. This results in an exact test in finite samples which is asymptotically optimal in the wide class of exponential models. We demonstrate the power loss in finite samples is minimal with respect to the oracle test. Furthermore, since the proposed statistic does not rely on asymptotic approximations it typically performs better than popular variants of higher criticism that rely on such approximations. We include recommendations such that the test can be readily applied in practice, and demonstrate its applicability in monitoring the content uniformity of an active ingredient for a batch-produced drug product.


title: Interpretable Deep Multimodal Image Super-Resolution

abstract: Multimodal image super-resolution (SR) is the reconstruction of a high resolution image given a low-resolution observation with the aid of another image modality. While existing deep multimodal models do not incorporate domain knowledge about image SR, we present a multimodal deep network design that integrates coupled sparse priors and allows the effective fusion of information from another modality into the reconstruction process. Our method is inspired by a novel iterative algorithm for coupled convolutional sparse coding, resulting in an interpretable network by design. We apply our model to the super-resolution of near-infrared image guided by RGB images. Experimental results show that our model outperforms state-of-the-art methods.


title: An improvement on {\L}uczak's connected matchings method

abstract: A connected matching in a graph $G$ is a matching contained in a connected component of $G$. A well-known method due to {\L}uczak reduces problems about monochromatic paths and cycles in complete graphs to problems about monochromatic connected matchings in almost complete graphs. We show that these can be further reduced to problems about monochromatic connected matchings in complete graphs. We illustrate the potential of this new reduction by showing how it can be used to determine the $3$-colour Ramsey number of long paths, using a simpler argument than the original one by Gy\'arf\'as, Ruszink\'o, S\'ark\"ozy, and Szemer\'edi (2007).


title: Spin-orbit-enhanced robustness of supercurrent in graphene/WS$_2$ Josephson junctions

abstract: We demonstrate enhanced robustness of the supercurrent through graphene-based Josephson junctions in which strong spin-orbit interactions (SOIs) are induced. We compare the persistence of a supercurrent at high magnetic fields between Josephson junctions with graphene on hexagonal boron-nitride and graphene on WS$_2$, where strong SOIs are induced via the proximity effect. We find that in the shortest junctions both systems display signatures of induced superconductivity, characterized by a suppressed differential resistance at a low current, in magnetic fields up to 1 T. In longer junctions however, only graphene on WS$_2$ exhibits induced superconductivity features in such high magnetic fields, and they even persist up to 7 T. We argue that these robust superconducting signatures arise from quasi-ballistic edge states stabilized by the strong SOIs induced in graphene by WS$_2$.


title: Tamed spaces -- Dirichlet spaces with distribution-valued Ricci bounds

abstract: We develop the theory of tamed spaces which are Dirichlet spaces with distribution-valued lower bounds on the Ricci curvature and investigate these from an Eulerian point of view. To this end we analyze in detail singular perturbations of Dirichlet form by a broad class of distributions. The distributional Ricci bound is then formulated in terms of an integrated version of the Bochner inequality using the perturbed energy form and generalizing the well-known Bakry-\'Emery curvature-dimension condition. Among other things we show the equivalence of distributional Ricci bounds to gradient estimates for the heat semigroup in terms of the Feynman-Kac semigroup induced by the taming distribution as well as consequences in terms of functional inequalities. We give many examples of tamed spaces including in particular Riemannian manifolds with either interior singularities or singular boundary behavior.


title: Jet quenching and scaling properties of medium-evolved gluon cascade in expanding media

abstract: We present a study of the impact of the expansion of deconfined medium on single-gluon emission spectra and the jet suppression factor ($Q_{AA}$) within the BDMPS-Z formalism. These quantities are calculated for three types of media (static medium, exponentially decaying medium and Bjorken expanding medium). The distribution of medium-induced gluons and the jet $Q_{AA}$ are calculated using the evaluation of in-medium evolution with splitting kernels derived from the gluon emission spectra. Scaling behavior of splitting kernels is derived for low-x and high-x regimes in the asymptote of large times and its impact on the resulting jet $Q_{AA}$ is discussed. For the full phase space of the radiation, the scaling of jet $Q_{AA}$ with an effective quenching parameter is presented.


title: Power-law energy distributions of small-scale impulsive events on the active Sun: Results from IRIS

abstract: Numerous studies have analysed inferred power-law distributions between frequency and energy of impulsive events in the outer solar atmosphere in an attempt to understand the predominant energy supply mechanism in the corona. Here, we apply a burst detection algorithm to high-resolution imaging data obtained by the Interface Region Imaging Spectrograph to further investigate the derived power-law index, $\gamma$, of bright impulsive events in the transition region. Applying the algorithm with a constant minimum event lifetime (of either $60$ s or $110$ s) indicated that the target under investigation, such as Plage and Sunspot, has an influence on the observed power-law index. For regions dominated by sunspots, we always find $\gamma <2$; however, for datasets where the target is a plage region, we often find that $\gamma >2$ in the energy range [$\sim10^{23}$, $\sim10^{26}$] erg. Applying the algorithm with a minimum event lifetime of three timesteps indicated that cadence was another important factor, with the highest cadence datasets returning $\gamma >2$ values. The estimated total radiative power obtained for the observed energy distributions is typically 10-25 % of what would be required to sustain the corona indicating that impulsive events in this energy range are not sufficient to solve coronal heating. If we were to extend the power-law distribution down to an energy of $10^{21}$ erg, and assume parity between radiative energy release and the deposition of thermal energy, then such bursts could provide 25-50 % of the required energy to account for the coronal heating problem.


title: Dimension of representation and character varieties for two and three-orbifolds

abstract: We consider varieties of representations and characters of 2 and 3-dimensional orbifolds in semisimple Lie groups, and we focus on computing their dimension. For hyperbolic 3-orbifolds, we consider the component of the variety of characters that contains the holonomy composed with the principal representation, we show that its dimension equals half the dimension of the variety of characters of the boundary. We also show that this is a lower bound for the dimension of generic components. We furthermore provide tools for computing dimensions of varieties of characters of 2-orbifolds, including the Hitchin component. We apply this computation to the dimension growth of varieties of characters of some 3-dimensional manifolds in SL(n,C).


title: Heat-capacity measurements under uniaxial pressure using a piezo-driven device

abstract: We report the development of a technique to measure heat capacity at large uniaxial pressure using a piezoelectric-driven device generating compressive and tensile strain in the sample. Our setup is optimized for temperatures ranging from 8 K down to millikelvin. Using an AC heat-capacity technique we are able to achieve an extremely high resolution and to probe a homogeneously strained part of the sample. We demonstrate the capabilities of our setup on the unconventional superconductor Sr$_2$RuO$_4$. By replacing thermometer and adjusting the remaining setup accordingly the temperature regime of the experiment can be adapted to other temperature ranges of interest.


title: Finite element approximation of a phase field model for tumour growth

abstract: We consider a fully practical finite element approximation of a diffuse interface model for tumour growth that takes the form of a degenerate parabolic system. In addition to showing stability bounds for the approximation, we prove convergence, and hence existence of a solution to this system in two space dimensions. Several numerical experiments demonstrate the practicality and robustness of the proposed method.


title: Gelfand-Kirillov dimension and mod p cohomology for GL2

abstract: Let $p$ be a prime number, $F$ a totally real number field unramified at places above $p$ and $D$ a quaternion algebra of center $F$ split at places above $p$ and at no more than one infinite place. Let $v$ be a fixed place of $F$ above $p$ and $\overline{r} : {\rm Gal}(\overline F/F)\rightarrow \mathrm{GL}_2(\overline{\mathbb{F}}_p)$ an irreducible modular continuous Galois representation which, at the place $v$, is semisimple and sufficiently generic (and satisfies some weak genericity conditions at a few other finite places). We prove that many of the admissible smooth representations of $\mathrm{GL}_2(F_v)$ over $\overline{\mathbb{F}}_p$ associated to $\overline{r}$ in the corresponding Hecke-eigenspaces of the mod $p$ cohomology have Gelfand--Kirillov dimension $[F_v:\mathbb{Q}]$, as well as several related results.


title: Semi-Supervised Deep Learning for Multi-Tissue Segmentation from Multi-Contrast MRI

abstract: Segmentation of thigh tissues (muscle, fat, inter-muscular adipose tissue (IMAT), bone, and bone marrow) from magnetic resonance imaging (MRI) scans is useful for clinical and research investigations in various conditions such as aging, diabetes mellitus, obesity, metabolic syndrome, and their associated comorbidities. Towards a fully automated, robust, and precise quantification of thigh tissues, herein we designed a novel semi-supervised segmentation algorithm based on deep network architectures. Built upon Tiramisu segmentation engine, our proposed deep networks use variational and specially designed targeted dropouts for faster and robust convergence, and utilize multi-contrast MRI scans as input data. In our experiments, we have used 150 scans from 50 distinct subjects from the Baltimore Longitudinal Study of Aging (BLSA). The proposed system made use of both labeled and unlabeled data with high efficacy for training, and outperformed the current state-of-the-art methods with dice scores of 97.52%, 94.61%, 80.14%, 95.93%, and 96.83% for muscle, fat, IMAT, bone, and bone marrow tissues, respectively. Our results indicate that the proposed system can be useful for clinical research studies where volumetric and distributional tissue quantification is pivotal and labeling is a significant issue. To the best of our knowledge, the proposed system is the first attempt at multi-tissue segmentation using a single end-to-end semi-supervised deep learning framework for multi-contrast thigh MRI scans.


title: SARGDV: Efficient identification of groundwater-dependent vegetation using synthetic aperture radar

abstract: Groundwater depletion impacts the sustainability of numerous groundwater-dependent vegetation (GDV) globally, placing significant stress on their capacity to provide environmental and ecological support for flora, fauna, and anthropic benefits. Industries such as mining, agriculture, and plantations are heavily reliant on groundwater, the over-exploitation of which risks impacting groundwater regimes, quality, and accessibility for nearby GDVs. Cost effective methods of GDV identification will enable strategic protection of these critical ecological systems, through improved and sustainable groundwater management by communities and industry. Recent application of synthetic aperture radar (SAR) earth observation data in Australia has demonstrated the utility of radar for identifying terrestrial groundwater-dependent ecosystems at scale. We propose a robust classification method to advance identification of GDVs at scale using processed SAR data products adapted from a recent previous method. The method includes the development of SARGDV, a binary classification model, which uses the extreme gradient boosting (XGBoost) algorithm in conjunction with three data cubes composed of Sentinel-1 SAR interferometric wide images. The images were collected as a one-year time series over Mount Gambier, a region in South Australia, known to support GDVs. The SARGDV model demonstrated high performance for classifying GDVs with 77% precision, 76% true positive rate and 96% accuracy. This method may be used to support the protection of GDV communities globally by providing a long term, cost-effective solution to identify GDVs over variable regions and climates, via the use of freely available, high-resolution, globally available Sentinel-1 SAR data sets.


title: Shape perturbation of Grushin eigenvalues

abstract: We consider the spectral problem for the Grushin Laplacian subject to homogeneous Dirichlet boundary conditions on a bounded open subset of $\mathbb{R}^N$. We prove that the symmetric functions of the eigenvalues depend real analytically upon domain perturbations and we prove an Hadamard-type formula for their shape differential. In the case of perturbations depending on a single scalar parameter, we prove a Rellich-Nagy-type theorem which describes the bifurcation phenomenon of multiple eigenvalues. As corollaries, we characterize the critical shapes under isovolumetric and isoperimetric perturbations in terms of overdetermined problems and we deduce a new proof of the Rellich-Pohozaev identity for the Grushin eigenvalues.


title: Noisy bounded confidence models for opinion dynamics: the effect of boundary conditions on phase transitions

abstract: We study SDE and PDE models for opinion dynamics under bounded confidence, for a range of different boundary conditions, with and without the inclusion of a radical population. We perform exhaustive numerical studies with pseudospectral methods to determine the effects of the boundary conditions, suggesting that the no-flux case most faithfully reproduce the underlying mechanisms in the associated deterministic models of Hegselmann and Krause. We also compare the SDE and PDE models, and use tools from analysis to study phase transitions, including a systematic description of an order parameter.


title: Tkwant: a software package for time-dependent quantum transport

abstract: Tkwant is a Python package for the simulation of quantum nanoelectronics devices to which external time-dependent perturbations are applied. Tkwant is an extension of the Kwant package (https://kwant-project.org/) and can handle the same types of systems: discrete tight-binding-like models that consist of an arbitrary central region connected to semi-infinite electrodes. The problem is genuinely many-body even in the absence of interactions and is treated within the non-equilibrium Keldysh formalism. Examples of Tkwant applications include the propagation of plasmons generated by voltage pulses, propagation of excitations in the quantum Hall regime, spectroscopy of Majorana fermions in semiconducting nanowires, current-induced skyrmion motion in spintronic devices, multiple Andreev reflection, Floquet topological insulators, thermoelectric effects, and more. The code has been designed to be easy to use and modular. Tkwant is free software distributed under a BSD license and can be found at https://tkwant.kwant-project.org/.


title: Analysis of Uplink IRS-Assisted NOMA under Nakagami-m Fading via Moments Matching

abstract: This letter investigates the uplink outage performance of intelligent reflecting surface (IRS)-assisted non-orthogonal multiple access (NOMA). We consider the general case where all users have both direct and reflection links, and all links undergo Nakagami-m fading. We approximate the received powers of the NOMA users as Gamma random variables via moments matching. This allows for tractable expressions of the outage under interference cancellation (IC), while being flexible in modeling various propagation environments. Our analysis shows that under certain conditions, the presence of an IRS might degrade the performance of users that have dominant line-of-sight (LOS) to the base station (BS), while users dominated by non-line-of-sight (NLOS) will always benefit from it.


title: Stability of a viable non-minimal bounce

abstract: The main difficulties in constructing a viable early Universe bouncing model are: to bypass the observational and theoretical \emph{no-go} theorem, to construct a stable non-singular bouncing phase and perhaps, the major concern of it is to construct a stable attractor solution which can evade the BKL instability as well. In this article, in the homogeneous and isotropic background, we extensively study the stability analysis of the recently announced viable non-minimal bouncing theory in the presence of an additional barotropic fluid and show that, the bouncing solution remains stable and can evade BKL instability for a wide range of the model parameter. We provide the expressions that explain the behavior of the Universe in the vicinity of the required fixed point i.e., the bouncing solution and compare our results with the minimal theory and show that ekpyrosis is the most stable solution in any scenario.


title: Planck-scale deformation of CPT and particle lifetimes

abstract: We carry out a systematic study of the bounds that can be set on Planck-scale deformations of relativistic symmetries and CPT from precision measurements of particle and antiparticle lifetimes. Elaborating on our earlier work [1] we discuss a new form of departure from CPT invariance linked to the possibility of a non-trivial geometry of four-momentum and its consequences for the particle and antiparticle mass-shells and decay probabilities. Our main result is a collection of experimental bounds that can be obtained for the deformation parameter of the theoretical model under consideration based on current data and sensitivities of planned experiments at high energies.


title: Black Box to White Box: Discover Model Characteristics Based on Strategic Probing

abstract: In Machine Learning, White Box Adversarial Attacks rely on knowing underlying knowledge about the model attributes. This works focuses on discovering to distrinct pieces of model information: the underlying architecture and primary training dataset. With the process in this paper, a structured set of input probes and the output of the model become the training data for a deep classifier. Two subdomains in Machine Learning are explored: image based classifiers and text transformers with GPT-2. With image classification, the focus is on exploring commonly deployed architectures and datasets available in popular public libraries. Using a single transformer architecture with multiple levels of parameters, text generation is explored by fine tuning off different datasets. Each dataset explored in image and text are distinguishable from one another. Diversity in text transformer outputs implies further research is needed to successfully classify architecture attribution in text domain.


title: Towards Semantic Segmentation of Urban-Scale 3D Point Clouds: A Dataset, Benchmarks and Challenges

abstract: An essential prerequisite for unleashing the potential of supervised deep learning algorithms in the area of 3D scene understanding is the availability of large-scale and richly annotated datasets. However, publicly available datasets are either in relative small spatial scales or have limited semantic annotations due to the expensive cost of data acquisition and data annotation, which severely limits the development of fine-grained semantic understanding in the context of 3D point clouds. In this paper, we present an urban-scale photogrammetric point cloud dataset with nearly three billion richly annotated points, which is three times the number of labeled points than the existing largest photogrammetric point cloud dataset. Our dataset consists of large areas from three UK cities, covering about 7.6 km^2 of the city landscape. In the dataset, each 3D point is labeled as one of 13 semantic classes. We extensively evaluate the performance of state-of-the-art algorithms on our dataset and provide a comprehensive analysis of the results. In particular, we identify several key challenges towards urban-scale point cloud understanding. The dataset is available at https://github.com/QingyongHu/SensatUrban.


title: Edge effect removal in Fourier ptychographic microscopy via periodic plus smooth image decomposition

abstract: Fourier ptychographic microscopy (FPM) is a promising computational imaging technique with high resolution, wide field-of-view (FOV) and quantitative phase recovery. So far, a series of system errors that may corrupt the image quality of FPM has been reported. However, an imperceptible artifact caused by edge effect caught our attention and may also degrade the precision of phase imaging in FPM with a cross-shape artifact in the Fourier space. We found that the precision of reconstructed phase at the same subregion depends on the different sizes of block processing as a result of different edge conditions, which limits the quantitative phase measurements via FPM. And this artifact is caused by the aperiodic image extension of fast Fourier transform (FFT). Herein, to remove the edge effect and improve the accuracy, two classes of opposite algorithms termed discrete cosine transform (DCT) and perfect Fourier transform (PFT) were reported respectively and discussed systematically. Although both approaches can remove the artifacts in FPM and may be extended to other Fourier analysis techniques, PFT has a comparable efficiency to conventional FFT. The PFT algorithm improves the standard deviation of phase accuracy as a factor of 4 from 0.08 radians to 0.02 radians. Finally, we summarized and discussed all the reported system errors of FPM within a generalized model.


title: Receding Horizon Task and Motion Planning in Changing Environments

abstract: Complex manipulation tasks require careful integration of symbolic reasoning and motion planning. This problem, commonly referred to as Task and Motion Planning (TAMP), is even more challenging if the workspace is non-static, e.g. due to human interventions and perceived with noisy non-ideal sensors. This work proposes an online approximated TAMP method that combines a geometric reasoning module and a motion planner with a standard task planner in a receding horizon fashion. Our approach iteratively solves a reduced planning problem over a receding window of a limited number of future actions during the implementation of the actions. Thus, only the first action of the horizon is actually scheduled at each iteration, then the window is moved forward, and the problem is solved again. This procedure allows to naturally take into account potential changes in the scene while ensuring good runtime performance. We validate our approach within extensive experiments in a simulated environment. We showed that our approach is able to deal with unexpected changes in the environment while ensuring comparable performance with respect to other recent TAMP approaches in solving traditional static benchmarks. We release with this paper the open-source implementation of our method.


title: Edge Learning with Unmanned Ground Vehicle: Joint Path, Energy and Sample Size Planning

abstract: Edge learning (EL), which uses edge computing as a platform to execute machine learning algorithms, is able to fully exploit the massive sensing data generated by Internet of Things (IoT). However, due to the limited transmit power at IoT devices, collecting the sensing data in EL systems is a challenging task. To address this challenge, this paper proposes to integrate unmanned ground vehicle (UGV) with EL. With such a scheme, the UGV could improve the communication quality by approaching various IoT devices. However, different devices may transmit different data for different machine learning jobs and a fundamental question is how to jointly plan the UGV path, the devices' energy consumption, and the number of samples for different jobs? This paper further proposes a graph-based path planning model, a network energy consumption model and a sample size planning model that characterizes F-measure as a function of the minority class sample size. With these models, the joint path, energy and sample size planning (JPESP) problem is formulated as a large-scale mixed integer nonlinear programming (MINLP) problem, which is nontrivial to solve due to the high-dimensional discontinuous variables related to UGV movement. To this end, it is proved that each IoT device should be served only once along the path, thus the problem dimension is significantly reduced. Furthermore, to handle the discontinuous variables, a tabu search (TS) based algorithm is derived, which converges in expectation to the optimal solution to the JPESP problem. Simulation results under different task scenarios show that our optimization schemes outperform the fixed EL and the full path EL schemes.


title: An End-to-end Architecture of Online Multi-channel Speech Separation

abstract: Multi-speaker speech recognition has been one of the keychallenges in conversation transcription as it breaks the singleactive speaker assumption employed by most state-of-the-artspeech recognition systems. Speech separation is consideredas a remedy to this problem. Previously, we introduced a sys-tem, calledunmixing,fixed-beamformerandextraction(UFE),that was shown to be effective in addressing the speech over-lap problem in conversation transcription. With UFE, an inputmixed signal is processed by fixed beamformers, followed by aneural network post filtering. Although promising results wereobtained, the system contains multiple individually developedmodules, leading potentially sub-optimum performance. In thiswork, we introduce an end-to-end modeling version of UFE. Toenable gradient propagation all the way, an attentional selectionmodule is proposed, where an attentional weight is learnt foreach beamformer and spatial feature sampled over space. Ex-perimental results show that the proposed system achieves com-parable performance in an offline evaluation with the originalseparate processing-based pipeline, while producing remark-able improvements in an online evaluation.


title: Inversion of electromagnetic induction data using a novel wavelet-based and scale-dependent regularization term

abstract: The inversion of electromagnetic induction data to a conductivity profile is an ill-posed problem. Regularization improves the stability of the inversion and, based on Occam's razor principle, a smoothing constraint is typically used. However, the conductivity profiles are not always expected to be smooth. Here, we develop a new inversion scheme in which we transform the model to the wavelet space and impose a sparsity constraint. This sparsity constrained inversion scheme will minimize an objective function with a least-squares data misfit and a sparsity measure of the model in the wavelet domain. A model in the wavelet domain has both temporal as spatial resolution, and penalizing small-scale coefficients effectively reduces the complexity of the model. Depending on the expected conductivity profile, an optimal wavelet basis function can be chosen. The scheme is thus adaptive. Finally, we apply this new scheme on a frequency domain electromagnetic sounding (FDEM) dataset, but the scheme could equally apply to any other 1D geophysical method.


title: Cyber-Human System for Remote Collaborators

abstract: With the increasing ubiquity of technology in our daily lives, the complexity of our environment and the mechanisms required to function have also increased exponentially. Failure of any of the mechanical and digital devices that we rely on can be extremely disruptive. At times, the presence of an expert is needed to analyze, troubleshoot, and fix the problem. The increased demand and rapidly evolving mechanisms have led to an insufficient amount of skilled workers, thus resulting in long waiting times for consumers, and correspondingly high prices for expert services. We assert that performing a repair task with the guidance of experts from any geographical location provides an appropriate solution to the growing demand for handyman skills. This paper proposes an innovative mechanism for two geographically separated people to collaborate on a physical task. It also offers novel methods to analyze the efficiency of a collaboration system and a collaboration protocol through complexity indices. Using the innovative Collaborative Appliance for Remote-help (CARE) and with the support of a remote expert, fifty-nine subjects with minimal or no prior mechanical knowledge were able to elevate a car for replacing a tire; in a second experiment, thirty subjects with minimal or no prior plumbing knowledge were able to change the cartridge of a faucet. In both cases, average times were close to standard average repair times, and more importantly, both tasks were completed with total accuracy. Our experiments and results show that one can use the developed mechanism and methods for expanding the protocols for a variety of home, vehicle, and appliance repairs and installations.


title: Luminous Blue Variables

abstract: Luminous Blue Variables are massive evolved stars, here we introduce this outstanding class of objects. Described are the specific characteristics, the evolutionary state and what they are connected to other phases and types of massive stars. Our current knowledge of LBVs is limited by the fact that in comparison to other stellar classes and phases only a few ``true'' LBVs are known. This results from the lack of a unique, fast and always reliable identification scheme for LBVs. It literally takes time to get a true classification of a LBV. In addition the short duration of the LBV phase makes it even harder to catch and identify a star as LBV. We summarize here what is known so far, give an overview of the LBV population and the list of LBV host galaxies. LBV are clearly an important and still not fully understood phase in the live of (very) massive stars, especially due to the large and time variable mass loss during the LBV phase. We like to emphasize again the problem how to clearly identify LBV and that there are more than just one type of LBVs: The giant eruption LBVs or $\eta$ Car analogs and the S Dor cycle LBVs.


title: ALOHA Receivers: a Network Calculus Approach for Analyzing Coded Multiple Access with SIC

abstract: Motivated by the need to hide the complexity of the physical layer from performance analysis in a layer 2 protocol, a class of abstract receivers, called Poisson receivers, was recently proposed in [1] as a probabilistic framework for providing differentiated services in uplink transmissions in 5G networks. In this paper, we further propose a deterministic framework of ALOHA receivers that can be incorporated into the probabilistic framework of Poisson receivers for analyzing coded multiple access with successive interference cancellation. An ALOHA receiver is characterized by a success function of the number of packets that can be successfully received. Inspired by the theory of network calculus, we derive various algebraic properties for several operations on success functions and use them to prove various closure properties of ALOHA receivers, including (i) ALOHA receivers in tandem, (ii) cooperative ALOHA receivers, (iii) ALOHA receivers with traffic multiplexing, and (iv) ALOHA receivers with packet coding. By conducting extensive simulations, we show that our theoretical results match extremely well with the simulation results.


title: Uniqueness and numerical reconstruction for inverse problems dealing wit interval size search

abstract: We consider a heat equation and a wave equation in a spatial interval over a time interval. This article deals with inverse problems of determining sizes of spatial intervals by extra boundary data of solutions of the governing equations. Under several different circumstances, we prove the uniqueness, the non-uniqueness and some size estimate. Moreover, we numerically solve the inverse problems and compute accurate approximations of the sizes. This is illustrated with satisfactory numerical experiments.


title: DeepOPF+: A Deep Neural Network Approach for DC Optimal Power Flow for Ensuring Feasibility

abstract: Deep Neural Networks (DNNs) approaches for the Optimal Power Flow (OPF) problem received considerable attention recently. A key challenge of these approaches lies in ensuring the feasibility of the predicted solutions to physical system constraints. Due to the inherent approximation errors, the solutions predicted by DNNs may violate the operating constraints, e.g., the transmission line capacities, limiting their applicability in practice. To address this challenge, we develop DeepOPF+ as a DNN approach based on the so-called "preventive" framework. Specifically, we calibrate the generation and transmission line limits used in the DNN training, thereby anticipating approximation errors and ensuring that the resulting predicted solutions remain feasible. We theoretically characterize the calibration magnitude necessary for ensuring universal feasibility. Our DeepOPF+ approach improves over existing DNN-based schemes in that it ensures feasibility and achieves a consistent speed up performance in both light-load and heavy-load regimes. Detailed simulation results on a range of test instances show that the proposed DeepOPF+ generates 100% feasible solutions with minor optimality loss. Meanwhile, it achieves a computational speedup of two orders of magnitude compared to state-of-the-art solvers.


title: On the extraction of the valence transversity distributions from SIDIS data

abstract: The transversity distribution for $u$ and $d$ quarks is usually extracted from data on spin asymmetries in Semi Inclusive Deep Inelastic Scattering (SIDIS): however, due to its chiral odd nature, it has to be coupled to another chiral odd function, typically the Collins or the di-hadron fragmentation function. A recent suggestion of considering SIDIS data involving ratios of spin asymmetries and avoiding a knowledge of the Collins function, is briefly discussed. New measurements, involving ratios of cross sections, are suggested. They would allow a direct extraction of the transversity ratio, $h_1^{d_V}/h_1^{u_V}$. Numerical estimates are given.


title: New Upper Bounds in the Hypothesis Testing Problem with Information Constraints

abstract: We consider a hypothesis testing problem where a part of data cannot be observed. Our helper observes the missed data and can send us a limited amount of information about them. What kind of this limited information will allow us to make the best statistical inference? In particular, what is the minimum information sufficient to obtain the same results as if we directly observed all the data? We derive estimates for this minimum information and some other similar results.


title: Non-Euclidean braced grids

abstract: Necessary and sufficient conditions are obtained for the infinitesimal rigidity of braced grids in the plane with respect to non-Euclidean norms. Component rectangles of the grid may carry 0, 1 or 2 diagonal braces, and the combinatorial part of the conditions is given in terms of a matroid for the bicoloured bipartite multigraph defined by the braces.


title: Doubly Robust Semiparametric Difference-in-Differences Estimators with High-Dimensional Data

abstract: This paper proposes a doubly robust two-stage semiparametric difference-in-difference estimator for estimating heterogeneous treatment effects with high-dimensional data. Our new estimator is robust to model miss-specifications and allows for, but does not require, many more regressors than observations. The first stage allows a general set of machine learning methods to be used to estimate the propensity score. In the second stage, we derive the rates of convergence for both the parametric parameter and the unknown function under a partially linear specification for the outcome equation. We also provide bias correction procedures to allow for valid inference for the heterogeneous treatment effects. We evaluate the finite sample performance with extensive simulation studies. Additionally, a real data analysis on the effect of Fair Minimum Wage Act on the unemployment rate is performed as an illustration of our method. An R package for implementing the proposed method is available on Github.


title: On 0--1 matrices whose inverses have entries of the same modulus

abstract: A conjecture of Barrett, Butler and Hall may be stated as follows: If $n \geq 3$ and $A \in \{0,1\}^{n \times n}$ (the family of $n \times n$ 0--1 matrices) is a nonsingular symmetric matrix, then the following two statements are equivalent: (a) All of the principal minors of $A$ of order $n-2$ are zero; and (b) $A^{-1}$ is a matrix all of whose entries have the same modulus and all of whose diagonal entries are equal. We show that this conjecture holds if $A$ does not have both a zero and a nonzero principal minor of order $n-4$ (if $n \geq 5$). The parity of the principal minors of nonsingular symmetric matrices $A \in \{0,1\}^{n \times n}$ whose principal minors of order $n-2$ are all zero is explored, establishing, in particular, that the determinants of such matrices are all even. For an arbitrary (not necessarily symmetric) nonsingular matrix $A \in \{0,1\}^{n \times n}$ with $n\geq 3$, we establish necessary conditions for $A^{-1}$ to be a matrix all of whose entries have the same modulus; examples of such conditions are the following: each row and column of $A$ has an even number of nonzero entries; each entry of $A^{-1}$ is the reciprocal of an even integer; $\det(A)$ is even; the difference between any two rows of $A$, as well as the difference between any two columns of $A$, has an even number of nonzero entries; if $A$ is symmetric, then $A$ has an even number of nonzero diagonal entries; if $A$ is symmetric and $\vec{a}_k$ is the $k$th column of $A$, then $A-\vec{a}_k\vec{a}_k^T$ has an even number of nonzero diagonal entries.


title: Dispersion for Schr\"odinger operators on regular trees

abstract: We prove dispersive estimates for two models~: the adjacency matrix on a discrete regular tree, and the Schr\"odinger equation on a metric regular tree with the same potential on each edge/vertex. The latter model can be thought of as an extension of the case of periodic Schr\"odinger operators on the real line. We establish a $t^{-3/2}$-decay for both models which is sharp, as we give the first-order asymptotics.


title: Effect of gravitational settling on the collisions of small inertial particles with a sphere

abstract: The rate at which small inertial particles collide with a moderate-Reynolds-number spherical body is found to be strongly affected when the formers are also settling under the effect of gravity. The sedimentation of small particles indeed changes the critical Stokes number above which collisions occur. This is explained by the presence of a shielding effect caused by the unstable manifolds of a stagnation-saddle point of an effective velocity field perceived by the small particles. It is also found that there exists a secondary critical Stokes number above which no collisions occur. This is due to the fact that large-Stokes number particles settle faster, making it more difficult for the larger one to catch them up. Still, in this regime, the flow disturbances create a complicated particle distribution in the wake of the collector, sometimes allowing for collisions from the back. This can lead to collision efficiencies higher than unity at large values of the Froude number.