title: Imaging the Beating Heart with Macroscopic Phase Stamping

abstract: We present a novel approach for imaging the beating embryonic heart, based on combining two independent imaging channels to capture the full spatio-temporal information of the moving 3D structure. High-resolution, optically-sectioned image recording is accompanied by simultaneous acquisition of low-resolution, whole-heart recording, allowing the latter to be used in post-acquisition processing to determine the macroscopic spatio-temporal phase of the heart beating cycle. Once determined, or 'stamped', the phase information common to both imaging channels is used to reconstruct the 3D beating heart. We demonstrated our approach in imaging the beating heart of the zebrafish embryo, capturing the entire heart over its full beating cycle, and characterizing cellular dynamic behavior with sub-cellular resolution.


title: Improved unsupervised physics-informed deep learning for intravoxel incoherent motion modeling and evaluation in pancreatic cancer patients

abstract: ${\bf Purpose}$: Earlier work showed that IVIM-NET$_{orig}$, an unsupervised physics-informed deep neural network, was more accurate than other state-of-the-art intravoxel-incoherent motion (IVIM) fitting approaches to DWI. This study presents an improved version: IVIM-NET$_{optim}$, and characterizes its superior performance in pancreatic ductal adenocarcinoma (PDAC) patients. ${\bf Method}$: In simulations (SNR=20), the accuracy, independence and consistency of IVIM-NET were evaluated for combinations of hyperparameters (fit S0, constraints, network architecture, # hidden layers, dropout, batch normalization, learning rate), by calculating the NRMSE, Spearman's $\rho$, and the coefficient of variation (CV$_{NET}$), respectively. The best performing network, IVIM-NET$_{optim}$ was compared to least squares (LS) and a Bayesian approach at different SNRs. IVIM-NET$_{optim}$'s performance was evaluated in 23 PDAC patients. 14 of the patients received no treatment between scan sessions and 9 received chemoradiotherapy between sessions. Intersession within-subject standard deviations (wSD) and treatment-induced changes were assessed. ${\bf Results}$: In simulations, IVIM-NET$_{optim}$ outperformed IVIM-NET$_{orig}$ in accuracy (NRMSE(D)=0.18 vs 0.20; NMRSE(f)=0.22 vs 0.27; NMRSE(D*)=0.39 vs 0.39), independence ($\rho$(D*,f)=0.22 vs 0.74) and consistency (CV$_{NET}$ (D)=0.01 vs 0.10; CV$_{NET}$ (f)=0.02 vs 0.05; CV$_{NET}$ (D*)=0.04 vs 0.11). IVIM-NET$_{optim}$ showed superior performance to the LS and Bayesian approaches at SNRs<50. In vivo, IVIM-NET$_{optim}$ sshowed significantly less noisy parameter maps with lower wSD for D and f than the alternatives. In the treated cohort, IVIM-NET$_{optim}$ detected the most individual patients with significant parameter changes compared to day-to-day variations. ${\bf Conclusion}$: IVIM-NET$_{optim}$ is recommended for IVIM fitting to DWI data.


title: Supersymmetric gaps of a numerical semigroup with two generators

abstract: In this paper we introduce the new concepts of supersymmetric and self-symmetric gaps of a numerical semigroup with two generators. Those concepts are based on certain symmetries of the gaps of the semigroup with respect to their Wilf number. We prove that the set of supersymmetric and self-symmetric gaps completely determines the semigroup and we compare this set with the fundamental gaps of the semigroup.


title: A Study of Incorporating Articulatory Movement Information in Speech Enhancement

abstract: Although deep learning algorithms are widely used for improving speech enhancement (SE) performance, the performance remains limited under highly challenging conditions, such as unseen noise or noise signals having low signal-to-noise ratios (SNRs). This study provides a pilot investigation on a novel multimodal audio-articulatory-movement SE (AAMSE) model to enhance SE performance under such challenging conditions. Articulatory movement features and acoustic signals were used as inputs to waveform-mapping-based and spectral-mapping-based SE systems with three fusion strategies. In addition, an ablation study was conducted to evaluate SE performance using a limited number of articulatory movement sensors. Experimental results confirm that, by combining the modalities, the AAMSE model notably improves the SE performance in terms of speech quality and intelligibility, as compared to conventional audio-only SE baselines.


title: Recent results for the Landau-Lifshitz equation

abstract: We give a survey on some recent results concerning the Landau-Lifshitz equation, a fundamental nonlinear PDE with a strong geometric content, describing the dynamics of the magnetization in ferromagnetic materials. We revisit the Cauchy problem for the anisotropic Landau-Lifshitz equation, without dissipation, for smooth solutions, and also in the energy space in dimension one. We also examine two approximations of the Landau-Lifshitz equation given by of the Sine-Gordon equation and cubic Schr\"odinger equations, arising in certain singular limits of strong easy-plane and easy-axis anisotropy, respectively. Concerning localized solutions, we review the orbital and asymptotic stability problems for a sum of solitons in dimension one, exploiting the variational nature of the solitons in the hydrodynamical framework. Finally, we survey results concerning the existence, uniqueness and stability of self-similar solutions (expanders and shrinkers) for the isotropic Landau-Lifshitz equation with Gilbert term. Since expanders are associated with a singular initial condition with a jump discontinuity, we also review their well-posedness in spaces linked to the BMO space.


title: Angular momentum without rotation: turbocharging relationalism

abstract: Newton's rotating bucket pours cold water on the naive relationalist by vividly illustrating how certain rotational effects, particularly those due to non-zero angular momentum, can depend on more than just relations between material bodies. Because of such effects, rotation has played a central role in the absolute-relational debate and poses a particularly difficult challenge to the relationalist. In this paper, we provide a qualified response to this challenge that significantly weakens the absolutist position. We present a theory that, contrary to orthodoxy, can account for all rotational effects without introducing, as the absolutist does, a fixed standard of rotation. Instead, our theory posits a universal SO(3) charge that plays the role of angular momentum and couples to inter-particle relations via terms commonly seen in standard gauge theories such as electromagnetism and the Standard Model of particle physics. Our theory makes use of an enriched form of relationalism: it adds an SO(3) structure to the traditional relational description. Our construction is made possible by the modern tools of gauge theory, which reveal a simple relational law describing rotational effects. In this way, we can save the phenomena of Newtonian mechanics using conserved charges and relationalism. In a second paper, we will further explore the ontological and explanatory implications of the theory developed here.


title: Data-to-Text Generation with Iterative Text Editing

abstract: We present a novel approach to data-to-text generation based on iterative text editing. Our approach maximizes the completeness and semantic accuracy of the output text while leveraging the abilities of recent pre-trained models for text editing (LaserTagger) and language modeling (GPT-2) to improve the text fluency. To this end, we first transform data items to text using trivial templates, and then we iteratively improve the resulting text by a neural model trained for the sentence fusion task. The output of the model is filtered by a simple heuristic and reranked with an off-the-shelf pre-trained language model. We evaluate our approach on two major data-to-text datasets (WebNLG, Cleaned E2E) and analyze its caveats and benefits. Furthermore, we show that our formulation of data-to-text generation opens up the possibility for zero-shot domain adaptation using a general-domain dataset for sentence fusion.


title: Detecting Early Onset of Depression from Social Media Text using Learned Confidence Scores

abstract: Computational research on mental health disorders from written texts covers an interdisciplinary area between natural language processing and psychology. A crucial aspect of this problem is prevention and early diagnosis, as suicide resulted from depression being the second leading cause of death for young adults. In this work, we focus on methods for detecting the early onset of depression from social media texts, in particular from Reddit. To that end, we explore the eRisk 2018 dataset and achieve good results with regard to the state of the art by leveraging topic analysis and learned confidence scores to guide the decision process.


title: Towards Automated Anamnesis Summarization: BERT-based Models for Symptom Extraction

abstract: Professionals in modern healthcare systems are increasingly burdened by documentation workloads. Documentation of the initial patient anamnesis is particularly relevant, forming the basis of successful further diagnostic measures. However, manually prepared notes are inherently unstructured and often incomplete. In this paper, we investigate the potential of modern NLP techniques to support doctors in this matter. We present a dataset of German patient monologues, and formulate a well-defined information extraction task under the constraints of real-world utility and practicality. In addition, we propose BERT-based models in order to solve said task. We can demonstrate promising performance of the models in both symptom identification and symptom attribute extraction, significantly outperforming simpler baselines.


title: A Linearly Convergent Algorithm for Decentralized Optimization: Sending Less Bits for Free!

abstract: Decentralized optimization methods enable on-device training of machine learning models without a central coordinator. In many scenarios communication between devices is energy demanding and time consuming and forms the bottleneck of the entire system. We propose a new randomized first-order method which tackles the communication bottleneck by applying randomized compression operators to the communicated messages. By combining our scheme with a new variance reduction technique that progressively throughout the iterations reduces the adverse effect of the injected quantization noise, we obtain the first scheme that converges linearly on strongly convex decentralized problems while using compressed communication only. We prove that our method can solve the problems without any increase in the number of communications compared to the baseline which does not perform any communication compression while still allowing for a significant compression factor which depends on the conditioning of the problem and the topology of the network. Our key theoretical findings are supported by numerical experiments.


title: A new robust class of skew elliptical distributions

abstract: A new robust class of multivariate skew distributions is introduced. Practical aspects such as parameter estimation method of the proposed class are discussed, we show that the proposed class can be fitted under a reasonable time frame. Our study shows that the class of distributions is capable to model multivariate skewness structure and does not suffer from the curse of dimensionality as heavily as other distributions of similar complexity do, such as the class of canonical skew distributions. We also derive a nested form of the proposed class which appears to be the most flexible class of multivariate skew distributions in literature that has a closed-form density function. Numerical examples on two data sets, i) a data set containing daily river flow data recorded in the UK; and ii) a data set containing biomedical variables of athletes collected by the Australian Institute of Sports (AIS), are demonstrated. These examples further support the practicality of the proposed class on moderate dimensional data sets.


title: Unravelling the Local Crystallographic Structure of Ferromagnetic Ga$_y$Fe$_{4-y}$N Nanocrystals Embedded in GaN

abstract: In the Fe-doped GaN phase-separated magnetic semiconductor GaFeN, the presence of embedded Ga$_y$Fe$_{4-y}$N nanocrystals determines the magnetic properties of the system. Here, through a combination of anomalous x-ray diffraction and diffraction anomalous fine structure, the local structure of Ga in self-assembled face-centered cubic (fcc) Ga$_y$Fe$_{4-y}$N nanocrystals embedded in wurtzite GaN thin layers is investigated in order to shed light onto the correlation between fabrication parameters, local structural arrangement and overall magnetic properties of the material system. It is found, that by adjusting the growth parameters and thus, the crystallographic surroundings, the Ga atoms can be induced to incorporate into 3$c$ positions at the faces of the fcc crystal lattice, reaching a maximum occupancy of 30\%. The magnetic response of the embedded nanocrystals is ferromagnetic with Curie temperature increasing from 450\,K to 500\,K with the Ga occupation. These results demonstrate the outstanding potential of the employed experimental protocol for unravelling the local structure of magnetic multi-phase systems, even when embedded in a matrix containing the same element under investigation.


title: A spatial hue similarity measure for assessment of colourisation

abstract: Automatic colourisation of grey-scale images is an ill-posed multi-modal problem. Where full-reference images exist, objective performance measures rely on pixel-difference techniques such as MSE and PSNR. These measures penalise any plausible modes other than the reference ground-truth; They often fail to adequately penalise implausible modes if they are close in pixel distance to the ground-truth; As these are pixel-difference methods they cannot assess spatial coherency. We use the polar form of the a*b* channels from the CIEL*a*b* colour space to separate the multi-modal problems, which we confine to the hue channel, and the common-mode which applies to the chroma channel. We apply SSIM to the chroma channel but reformulate SSIM for the hue channel to a measure we call the Spatial Hue Similarity Measure (SHSM). This reformulation allows spatially-coherent hue channels to achieve a high score while penalising spatially-incoherent modes. This method allows qualitative and quantitative performance comparison of SOTA colourisation methods and reduces reliance on subjective human visual inspection.


title: Tunable electron-phonon interactions in long-period superlattices

abstract: The efficiency of optical emitters can be dramatically enhanced by reducing the effective mode volume (the Purcell effect). Here we predict an analogous enhancement for electron-phonon (el-ph) scattering, achieved by compressing the electronic Wannier orbitals. Reshaping of Wannier orbitals is a prominent effect in graphene moir\'e superlattices (SLs) where the orbitals are tunable by the twist angle. A reduction of the orbital effective volume leads to an enhancement in the effective el-ph coupling strength, yielding the values considerably bigger than those known for pristine monolayer graphene. The enhanced coupling boosts the el-ph scattering rates, pushing them above the values predicted from the enhanced spectral density of electronic excitations. The enhanced phonon emission and scattering rates are manifest in the observables such as electron-lattice cooling and the linear-$T$ resistivity, both of which are directly tunable by the moir\'e twist angle.


title: Compatibility of t-structures in a semiorthogonal decomposition

abstract: We describe how to obtain a global t-structure from a semiorthogonal decomposition with compatible t-structures on every component. This result is used to generalize a well-known theorem of Bondal on full strong exceptional sequences.


title: Subword Segmentation and a Single Bridge Language Affect Zero-Shot Neural Machine Translation

abstract: Zero-shot neural machine translation is an attractive goal because of the high cost of obtaining data and building translation systems for new translation directions. However, previous papers have reported mixed success in zero-shot translation. It is hard to predict in which settings it will be effective, and what limits performance compared to a fully supervised system. In this paper, we investigate zero-shot performance of a multilingual EN$\leftrightarrow${FR,CS,DE,FI} system trained on WMT data. We find that zero-shot performance is highly unstable and can vary by more than 6 BLEU between training runs, making it difficult to reliably track improvements. We observe a bias towards copying the source in zero-shot translation, and investigate how the choice of subword segmentation affects this bias. We find that language-specific subword segmentation results in less subword copying at training time, and leads to better zero-shot performance compared to jointly trained segmentation. A recent trend in multilingual models is to not train on parallel data between all language pairs, but have a single bridge language, e.g. English. We find that this negatively affects zero-shot translation and leads to a failure mode where the model ignores the language tag and instead produces English output in zero-shot directions. We show that this bias towards English can be effectively reduced with even a small amount of parallel data in some of the non-English pairs.


title: Uncertainty Quantification in Extreme Learning Machine: Analytical Developments, Variance Estimates and Confidence Intervals

abstract: Uncertainty quantification is crucial to assess prediction quality of a machine learning model. In the case of Extreme Learning Machines (ELM), most methods proposed in the literature make strong assumptions on the data, ignore the randomness of input weights or neglect the bias contribution in confidence interval estimations. This paper presents novel estimations that overcome these constraints and improve the understanding of ELM variability. Analytical derivations are provided under general assumptions, supporting the identification and the interpretation of the contribution of different variability sources. Under both homoskedasticity and heteroskedasticity, several variance estimates are proposed, investigated, and numerically tested, showing their effectiveness in replicating the expected variance behaviours. Finally, the feasibility of confidence intervals estimation is discussed by adopting a critical approach, hence raising the awareness of ELM users concerning some of their pitfalls. The paper is accompanied with a scikit-learn compatible Python library enabling efficient computation of all estimates discussed herein.


title: Entanglement Witnesses Based on Symmetric Informationally Complete Measurements

abstract: We study entanglement witness and present a construction of entanglement witnesses in terms of the symmetric informationally complete measurements (SIC-POVM). The capability of our witness is shown by some examples and it can be found this witness detects more entanglement than previous separability method given also by SIC-POVM. What's more, comparing with the dimension dependence of SIC-POVM, we also give the entanglement witnesses can be always constructed from general symmetric informationally complete measurements (GSIC-POVM).


title: Amortized Variational Deep Q Network

abstract: Efficient exploration is one of the most important issues in deep reinforcement learning. To address this issue, recent methods consider the value function parameters as random variables, and resort variational inference to approximate the posterior of the parameters. In this paper, we propose an amortized variational inference framework to approximate the posterior distribution of the action value function in Deep Q Network. We establish the equivalence between the loss of the new model and the amortized variational inference loss. We realize the balance of exploration and exploitation by assuming the posterior as Cauchy and Gaussian, respectively in a two-stage training process. We show that the amortized framework can results in significant less learning parameters than existing state-of-the-art method. Experimental results on classical control tasks in OpenAI Gym and chain Markov Decision Process tasks show that the proposed method performs significantly better than state-of-art methods and requires much less training time.


title: Efficient three-body calculations with a two-body mapped grid method

abstract: We investigate the prospects of combining a standard momentum space approach for ultracold three-body scattering with efficient coordinate space schemes to solve the underlying two-body problem. In many of those schemes the two-body problem is numerically restricted up to a finite interparticle distance $r_\mathrm{b}$. We analyze effects of this two-body restriction on the two- and three-body level using pairwise square-well potentials that allow for analytic two-body solutions and more realistic Lennard-Jones van der Waals potentials to model atomic interactions. We find that the two-body $t$-operator converges exponentially in $r_\mathrm{b}$ for the square-well interaction. Setting $r_\mathrm{b}$ to 2000 times the range of the interaction, the three-body recombination rate can be determined accurately up to a few percent when the magnitude of the scattering length is small compared to $r_\mathrm{b}$, while the position of the lowest Efimov features is accurate up to the percent level. In addition we find that with the introduction of a momentum cut-off, it is possible to determine the three-body parameter in good approximation even for deep van der Waals potentials.


title: Chimeras on a social-type network

abstract: We consider a social-type network of coupled phase oscillators. Such a network consists of an active core of mutually interacting elements, and of a flock of passive units, which follow the driving from the active elements, but otherwise are not interacting. We consider a ring geometry with a long-range coupling, where active oscillators form a fluctuating chimera pattern. We show that the passive elements are strongly correlated. This is explained by negative transversal Lyapunov exponents.


title: Small footprint Text-Independent Speaker Verification for Embedded Systems

abstract: Deep neural network approaches to speaker verification have proven successful, but typical computational requirements of State-Of-The-Art (SOTA) systems make them unsuited for embedded applications. In this work, we present a two-stage model architecture orders of magnitude smaller than common solutions (237.5K learning parameters, 11.5MFLOPS) reaching a competitive result of 3.31% Equal Error Rate (EER) on the well established VoxCeleb1 verification test set. We demonstrate the possibility of running our solution on small devices typical of IoT systems such as the Raspberry Pi 3B with a latency smaller than 200ms on a 5s long utterance. Additionally, we evaluate our model on the acoustically challenging VOiCES corpus. We report a limited increase in EER of 2.6 percentage points with respect to the best scoring model of the 2019 VOiCES from a Distance Challenge, against a reduction of 25.6 times in the number of learning parameters.


title: BCGGAN: Ballistocardiogram artifact removal in simultaneous EEG-fMRI using generative adversarial network

abstract: Due to its advantages of high temporal and spatial resolution, the technology of simultaneous electroencephalogram-functional magnetic resonance imaging (EEG-fMRI) acquisition and analysis has attracted much attention, and has been widely used in various research fields of brain science. However, during the fMRI of the brain, ballistocardiogram (BCG) artifacts can seriously contaminate the EEG. As an unpaired problem, BCG artifact removal now remains a considerable challenge. Aiming to provide a solution, this paper proposed a novel modular generative adversarial network (GAN) and corresponding training strategy to improve the network performance by optimizing the parameters of each module. In this manner, we hope to improve the local representation ability of the network model, thereby improving its overall performance and obtaining a reliable generator for BCG artifact removal. Moreover, the proposed method does not rely on additional reference signal or complex hardware equipment. Experimental results show that, compared with multiple methods, the technique presented in this paper can remove the BCG artifact more effectively while retaining essential EEG information.


title: Test of the Latent Dimension of a Spatial Blind Source Separation Model

abstract: We assume a spatial blind source separation model in which the observed multivariate spatial data is a linear mixture of latent spatially uncorrelated Gaussian random fields containing a number of pure white noise components. We propose a test on the number of white noise components and obtain the asymptotic distribution of its statistic for a general domain. We also demonstrate how computations can be facilitated in the case of gridded observation locations. Based on this test, we obtain a consistent estimator of the true dimension. Simulation studies and an environmental application demonstrate that our test is at least comparable to and often outperforms bootstrap-based techniques, which are also introduced in this paper.


title: Economic Principles of PoPCoin, a Democratic Time-based Cryptocurrency

abstract: While democracy is founded on the principle of equal opportunity to manage our lives and pursue our fortunes, the forms of money we have inherited from millenia of evolution has brought us to an unsustainable dead-end of exploding inequality. PoPCoin proposes to leverage the unique historical opportunities that digital cryptocurrencies present for a "clean-slate" redesign of money, in particular around long-term equitability and sustainability, rather than solely stability, as our primary goals. We develop and analyze a monetary policy for PoPCoin that embodies these equitability goals in two basic rules that maybe summarized as supporting equal opportunity in "space" and "time": the first by regularly distributing new money equally to all participants much like a basic income, the second by holding the aggregate value of these distributions to a constant and non-diminishing portion of total money supply through demurrage. Through preliminary economic analysis, we find that these rules in combination yield a unique form of money with numerous intriguing and promising properties, such as a quantifiable and provable upper bound on monetary inequality, a natural "early adopter's reward" that could incentivize rapid growth while tapering off as participation saturates, resistance to the risk of deflationary spirals, and migration incentives opposite those created by conventional basic incomes.


title: CUTIE: Beyond PetaOp/s/W Ternary DNN Inference Acceleration with Better-than-Binary Energy Efficiency

abstract: We present a 3.1 POp/s/W fully digital hardware accelerator for ternary neural networks. CUTIE, the Completely Unrolled Ternary Inference Engine, focuses on minimizing non-computational energy and switching activity so that dynamic power spent on storing (locally or globally) intermediate results is minimized. This is achieved by 1) a data path architecture completely unrolled in the feature map and filter dimensions to reduce switching activity by favoring silencing over iterative computation and maximizing data re-use, 2) targeting ternary neural networks which, in contrast to binary NNs, allow for sparse weights which reduce switching activity, and 3) introducing an optimized training method for higher sparsity of the filter weights, resulting in a further reduction of the switching activity. Compared with state-of-the-art accelerators, CUTIE achieves greater or equal accuracy while decreasing the overall core inference energy cost by a factor of 4.8x-21x.


title: DNN-based mask estimation for distributed speech enhancement in spatially unconstrained microphone arrays

abstract: Deep neural network (DNN)-based speech enhancement algorithms in microphone arrays have now proven to be efficient solutions to speech understanding and speech recognition in noisy environments. However, in the context of ad-hoc microphone arrays, many challenges remain and raise the need for distributed processing. In this paper, we propose to extend a previously introduced distributed DNN-based time-frequency mask estimation scheme that can efficiently use spatial information in form of so-called compressed signals which are pre-filtered target estimations. We study the performance of this algorithm under realistic acoustic conditions and investigate practical aspects of its optimal application. We show that the nodes in the microphone array cooperate by taking profit of their spatial coverage in the room. We also propose to use the compressed signals not only to convey the target estimation but also the noise estimation in order to exploit the acoustic diversity recorded throughout the microphone array.


title: Brain Predictability toolbox: a Python library for neuroimaging based machine learning

abstract: Summary Brain Predictability toolbox (BPt) represents a unified framework of machine learning (ML) tools designed to work with both tabulated data (in particular brain, psychiatric, behavioral, and physiological variables) and neuroimaging specific derived data (e.g., brain volumes and surfaces). This package is suitable for investigating a wide range of different neuroimaging based ML questions, in particular, those queried from large human datasets. Availability and Implementation BPt has been developed as an open-source Python 3.6+ package hosted at https://github.com/sahahn/BPt under MIT License, with documentation provided at https://bpt.readthedocs.io/en/latest/, and continues to be actively developed. The project can be downloaded through the github link provided. A web GUI interface based on the same code is currently under development and can be set up through docker with instructions at https://github.com/sahahn/BPt_app. Contact Please contact Sage Hahn at sahahn@uvm.edu


title: The CARMENES search for exoplanets around M dwarfs -- LP 714-47b (TOI 442.01): Populating the Neptune desert

abstract: We report the discovery of a Neptune-like planet (LP 714-47 b, P = 4.05204 d, m_b = 30.8 +/- 1.5 M_earth , R_b = 4.7 +/- 0.3 R_earth ) located in the 'hot Neptune desert'. Confirmation of the TESS Object of Interest (TOI 442.01) was achieved with radial-velocity follow-up using CARMENES, ESPRESSO, HIRES, iSHELL, and PFS, as well as from photometric data using TESS, Spitzer, and ground-based photometry from MuSCAT2, TRAPPIST- South, MONET-South, the George Mason University telescope, the Las Cumbres Observatory Global Telescope network, the El Sauce telescope, the TUBITAK National Observatory, the University of Louisville Manner Telescope, and WASP-South. We also present high-spatial resolution adaptive optics imaging with the Gemini Near-Infrared Imager. The low uncertainties in the mass and radius determination place LP 714-47 b among physically well-characterised planets, allowing for a meaningful comparison with planet structure models. The host star LP 714-47 is a slowly rotating early M dwarf (T_eff = 3950 +/- 51 K) with a mass of 0.59 +/- 0.02 M_sun and a radius of 0.58 +/- 0.02 R_sun. From long-term photometric monitoring and spectroscopic activity indicators, we determine a stellar rotation period of about 33 d. The stellar activity is also manifested as correlated noise in the radial-velocity data. In the power spectrum of the radial-velocity data, we detect a second signal with a period of 16 days in addition to the four-day signal of the planet. This could be shown to be a harmonic of the stellar rotation period or the signal of a second planet. It may be possible to tell the difference once more TESS data and radial-velocity data are obtained.


title: On the algebraic dependence of holonomic functions

abstract: We study the form of possible algebraic relations between functions satisfying linear differential equations. In particular , if f and g satisfy linear differential equations and are algebraically dependent, we give conditions on the differential Galois group associated to f guaranteeing that g is a polynomial in f. We apply this to hypergeometric functions and iterated integrals.


title: Multi-Iteration Stochastic Optimizers

abstract: We here introduce Multi-Iteration Stochastic Optimizers, a novel class of first-order stochastic optimizers where the relative $L^2$ error is estimated and controlled using successive control variates along the path of iterations. By exploiting the correlation between iterates, control variates may reduce the estimator's variance so that an accurate estimation of the mean gradient becomes computationally affordable. We name the estimator of the mean gradient Multi-Iteration stochastiC Estimator (MICE). In principle, MICE can be flexibly coupled with any first-order stochastic optimizer, given its non-intrusive nature. Our generic algorithm adaptively decides which iterates to keep in its index set. We present an error analysis of MICE and a convergence analysis of Multi-Iteration Stochastic Optimizers for different classes of problems, including some non-convex cases. Within the smooth, strongly convex setting, we show that to approximate a minimizer with accuracy $tol$, SGD-MICE requires, on average, $O(tol^{-1})$ stochastic gradient evaluations, while SGD with adaptive batch sizes requires $O(tol^{-1} \log(tol^{-1}))$, correspondingly. Moreover, in a numerical evaluation, SGD-MICE achieved tol with less than 3% the number of gradient evaluations than adaptive batch SGD. The MICE estimator provides a straightforward stopping criterion based on the gradient norm that is validated in consistency tests. To assess the efficiency of MICE, we present several examples in which we use SGD-MICE and Adam-MICE. We include one example based on a stochastic adaptation of the Rosenbrock function and logistic regression training for various datasets. When compared to SGD, SAG, SAGA, SVRG, and SARAH, the Multi-Iteration Stochastic Optimizers reduced, without the need to tune parameters for each example, the gradient sampling cost in all cases tested, also being competitive in runtime in some cases.


title: Proca-stinated Cosmology II: Matter, Halo, and Lensing Statistics in the vector Galileon

abstract: The generalised Proca (GP) theory is a modified gravity model in which the acceleration of the cosmic expansion rate can be explained by self interactions of a cosmological vector field. In this paper we study a particular sub-class of the GP theory, with up to cubic order Lagrangian, known as the cubic vector Galileon (cvG) model. This model is similar to the cubic scalar Galileon (csG) in many aspects, including a fifth force and the Vainshtein screening mechanism, but with the additional flexibility that the strength of the fifth force depends on an extra parameter -- interpolating between zero and the full strength of the csG model -- while the background expansion history is independent of this parameter. It offers an interesting alternative to LambdaCDM in explaining the cosmic acceleration, as well as a solution to the tension between early- and late-time measurements of the Hubble constant H_0. To identify the best ways to test this model, in this paper we conduct a comprehensive study of the phenomenology of this model in the nonlinear regime of large-scale structure formation, using a suite of N-body simulations run with the modified gravity code ECOSMOG. By inspecting thirteen statistics of the dark matter field, dark matter haloes and weak lensing maps, we find that the fifth force in this model can have particularly significant effects on the large-scale velocity field and lensing potential at late times, which suggest that redshift-space distortions and weak lensing can place strong constraints on it.


title: Non-resonant subwavelength imaging by dielectric microparticles

abstract: Recently a hypothesis explaining the non-resonant mechanism of subwavelength imaging granted by a dielectric microsphere has been suggested. In accordance to the hypothesis, the far-field image of a subwavelength scatterer strongly coupled to a microsphere by near fields is offered by the scatterer polarization normal to the sphere surface. The radiation of a closely located normally oriented dipole is shaped by the microsphere so that the transmitted wave beam has a practically flat phase front. Then this beam turns out to be imaging -- keeping the subwavelength information about the dipole location. However, this mechanism of subwavelength imaging was only supposed in our previous paper. In this paper, we present a theoretical study which confirms this hypothesis and better explains the underlying physics. In several scenarios of the imaging beam evolution either a flat or a slightly diverging phase front of the hollow wave beam formed by a microsphere enables the deeply subwavelength ($0.1-0.2\lambda$) resolution of two dipole sources. We numerically simulate one of these scenarios -- that one in which the focusing lens is located closer than the Rayleigh diffraction length to the beam-forming microsphere and represents a microsphere itself. In our simulations we replace a 3D microsphere by a 2D "sphere" (microcylinder) so that to use an available electromagnetic solver for dielectric microparticles of very large optical sizes. The physical mechanism of the imaging does not suffer of this replacement.


title: Coalescense with arbitrary-parameter kernels and monodisperse initial conditions: A study within combinatorial framework

abstract: For this work, we studied a finite system of discreet-size aggregating particles for two types of kernels with arbitrary parameters, a condensation (or branched-chain polymerization) kernel, $K(i,j)=(A+i)(A+j)$, and a linear combination of the constant and additive kernels, $K(i,j)=A+i+j$. They were solved under monodisperse initial conditions in the combinatorial approach where discreet time is counted as subsequent states of the system. A generating function method and Lagrange inversion were used for derivations. Expressions for an average number of clusters of a given size and its corresponding standard deviation were obtained and tested against numerical simulation. High precision of the theoretical predictions can be observed for a wide range of $A$ and coagulation stages, excepting post-gel phase in the case of the condensation kernel (a giant cluster presence is preserved). For appropriate $A$, these two kernels reproduced known results of the constant, additive and product kernels. Beside a previously solved linear-chain kernel, they extend the number of arbitrary-parameter kernels solved in the combinatorial approach.


title: Permanence of nonuniform nonautonomous hyperbolicity for infinite-dimensional differential equations

abstract: In this paper, we study stability properties of nonuniform hyperbolicity for evolution processes associated with differential equations in Banach spaces. We prove a robustness result of nonuniform hyperbolicity for linear evolution processes, that is, we show that the property of admitting a nonuniform exponential dichotomy is stable under perturbation. Moreover, we provide conditions to obtain uniqueness and continuous dependence of projections associated with nonuniform exponential dichotomies. We also present an example of evolution process in a Banach space that admits nonuniform exponential dichotomy and study the permanence of the nonuniform hyperbolicity under perturbation. Finally, we prove persistence of nonuniform hyperbolic solutions for nonlinear evolution processes under perturbations.


title: Smart-Corpus: an Organized Repository of Ethereum Smart Contracts Source Code and Metrics

abstract: Many empirical software engineering studies show that there is a great need for repositories where source code is acquired, filtered and classified. During the last few years, Ethereum block explorer services have emerged as a popular project to explore and search Ethereum blockchain data such as transactions, addresses, tokens, smart-contracts' source code, prices and other activities taking place on the Ethereum blockchain. Despite the availability of this kind of services, retrieving specific information useful to empirical software engineering studies, such as the study of smart-contracts' software metrics might require many sub-tasks, such as searching specific transactions in a block, parsing files in HTML format and filtering the smart-contracts to remove duplicated code or unused smart-contracts. In this paper we afford this problem creating Smart Corpus', a Corpus of Smart Contracts in an organized reasoned and up to date repository where Solidity source code and other metadata about Ethereum smart contracts can easily and systematically be retrieved. We present the Smart Corpus' design and its initial implementation and we show how the data-set of smart contracts' source code in a variety of programming languages can be queried and processed, get useful information on smart contracts and their software metrics. The Smart Corpus aims to create a smart-contracts' repository where smart contracts data (source code, ABI and byte-code) are freely and immediately available and also classified based on the main software metrics identified in the scientific literature. Smart-contracts source code has been validated by EtherScan and each contract comes with its own associated software metrics as computed by the freely available software PASO. Moreover, Smart Corpus can be easily extended, as the number of new smart-contracts increases day by day.


title: On various types of nilpotency of the structure monoid and group of a set-theoretic solution of the Yang--Baxter equation

abstract: Given a finite bijective non-degenerate set-theoretic solution $(X,r)$ of the Yang--Baxter equation we characterize when its structure monoid $M(X,r)$ is Malcev nilpotent. Applying this characterization to solutions coming from racks, we rediscover some results obtained recently by Lebed and Mortier, and by Lebed and Vendramin on the description of finite abelian racks and quandles. We also investigate bijective non-degenerate multipermutation (not necessarily finite) solutions $(X,r)$ and show, for example, that this property is equivalent to the solution associated to the structure monoid $M(X,r)$ (respectively structure group $G(X,r)$) being a multipermuation solution and that $G=G(X,r)$ is solvable of derived length not exceeding the multipermutation level of $(X,r)$ enlarged by one, generalizing results of Gateva-Ivanova and Cameron obtained in the involutive case. Moreover, we also prove that if $X$ is finite and $G=G(X,r)$ is nilpotent, then the torsion part of the group $G$ is finite, it coincides with the commutator subgroup $[G,G]_+$ of the additive structure of the skew left brace $G$ and $G/[G,G]_+$ is a trivial left brace.


title: Recommendations for Bayesian hierarchical model specifications for case-control studies in mental health

abstract: Hierarchical model fitting has become commonplace for case-control studies of cognition and behaviour in mental health. However, these techniques require us to formalise assumptions about the data-generating process at the group level, which may not be known. Specifically, researchers typically must choose whether to assume all subjects are drawn from a common population, or to model them as deriving from separate populations. These assumptions have profound implications for computational psychiatry, as they affect the resulting inference (latent parameter recovery) and may conflate or mask true group-level differences. To test these assumptions we ran systematic simulations on synthetic multi-group behavioural data from a commonly used multi-armed bandit task (reinforcement learning task). We then examined recovery of group differences in latent parameter space under the two commonly used generative modelling assumptions: (1) modelling groups under a common shared group-level prior (assuming all participants are generated from a common distribution, and are likely to share common characteristics); (2) modelling separate groups based on symptomatology or diagnostic labels, resulting in separate group-level priors. We evaluated the robustness of these approaches to variations in data quality and prior specifications on a variety of metrics. We found that fitting groups separately (assumptions 2), provided the most accurate and robust inference across all conditions. Our results suggest that when dealing with data from multiple clinical groups, researchers should analyse patient and control groups separately as it provides the most accurate and robust recovery of the parameters of interest.


title: Search Problems in Trees with Symmetries: near optimal traversal strategies for individualization-refinement algorithms

abstract: We define a search problem on trees that closely captures the backtracking behavior of all current practical graph isomorphism algorithms. Given two trees with colored leaves, the goal is to find two leaves of matching color, one in each of the trees. The trees are subject to an invariance property which promises that for every pair of leaves of equal color there must be a symmetry (or an isomorphism) that maps one leaf to the other. We describe a randomized algorithm with errors for which the number of visited leaves is quasilinear in the square root of the size of the smaller of the two trees. For inputs of bounded degree, we develop a Las Vegas algorithm with a similar running time. We prove that these results are optimal up to logarithmic factors. We show a lower bound for randomized algorithms on inputs of bounded degree that is the square root of the tree sizes. For inputs of unbounded degree, we show a linear lower bound for Las Vegas algorithms. For deterministic algorithms we can prove a linear bound even for inputs of bounded degree. This shows why randomized algorithms outperform deterministic ones. Our results explain why the randomized "breadth-first with intermixed experimental path" search strategy of the isomorphism tool Traces (Piperno 2008) is often superior to the depth-first search strategy of other tools such as nauty (McKay 1977) or bliss (Junttila, Kaski 2007). However, our algorithm also provides a new traversal strategy, which is theoretically near optimal with better worst case behavior than traversal strategies that have previously been used.


title: Levels of Coupling in Dyadic Interaction: An Analysis of Neural and Behavioral Complexity

abstract: From an enactive approach, some previous studies have demonstrated that social interaction plays a fundamental role in the dynamics of neural and behavioral complexity of embodied agents. In particular, it has been shown that agents with a limited internal structure (2-neuron brains) that evolve in interaction can overcome this limitation and exhibit chaotic neural activity, typically associated with more complex dynamical systems (at least 3-dimensional). In the present paper we make two contributions to this line of work. First, we propose a conceptual distinction in levels of coupling between agents that could have an effect on neural and behavioral complexity. Second, we test the generalizability of previous results by testing agents with richer internal structure and evolving them in a richer, yet non-social, environment. We demonstrate that such agents can achieve levels of complexity comparable to agents that evolve in interactive settings. We discuss the significance of this result for the study of interaction.


title: Calcium: computing in exact real and complex fields

abstract: Calcium is a C library for real and complex numbers in a form suitable for exact algebraic and symbolic computation. Numbers are represented as elements of fields $\mathbb{Q}(a_1,\ldots,a_n)$ where the extensions numbers $a_k$ may be algebraic or transcendental. The system combines efficient field operations with automatic discovery and certification of algebraic relations, resulting in a practical computational model of $\mathbb{R}$ and $\mathbb{C}$ in which equality is rigorously decidable for a large class of numbers.


title: The Gamma Conjecture for Tropical Curves in Local Mirror Symmetry

abstract: We relate a coherent sheaf supported on a holomorphic curve with its mirror Langrangian submanifold in local mirror symmetry through a tropical curve by interpreting their central charges using the combinatorial information of the tropical curve, which proves the Gamma conjecture for local mirror symmetry in this specific case. Furthermore, we put this description in the Gross-Siebert model of local mirror symmetry and confirm that the parameters in the Gross-Siebert model are the canonical coordinates in mirror symmetry.


title: Exploring DeshuffleGANs in Self-Supervised Generative Adversarial Networks

abstract: Generative Adversarial Networks (GANs) have become the most used networks towards solving the problem of image generation. Self-supervised GANs are later proposed to avoid the catastrophic forgetting of the discriminator and to improve the image generation quality without needing the class labels. However, the generalizability of the self-supervision tasks on different GAN architectures is not studied before. To that end, we extensively analyze the contribution of a previously proposed self-supervision task, deshuffling of the DeshuffleGANs in the generalizability context. We assign the deshuffling task to two different GAN discriminators and study the effects of the task on both architectures. We extend the evaluations compared to the previously proposed DeshuffleGANs on various datasets. We show that the DeshuffleGAN obtains the best FID results for several datasets compared to the other self-supervised GANs. Furthermore, we compare the deshuffling with the rotation prediction that is firstly deployed to the GAN training and demonstrate that its contribution exceeds the rotation prediction. We design the conditional DeshuffleGAN called cDeshuffleGAN to evaluate the quality of the learnt representations. Lastly, we show the contribution of the self-supervision tasks to the GAN training on the loss landscape and present that the effects of these tasks may not be cooperative to the adversarial training in some settings. Our code can be found at https://github.com/gulcinbaykal/DeshuffleGAN.


title: RecBole: Towards a Unified, Comprehensive and Efficient Framework for Recommendation Algorithms

abstract: In recent years, there are a large number of recommendation algorithms proposed in the literature, from traditional collaborative filtering to deep learning algorithms. However, the concerns about how to standardize open source implementation of recommendation algorithms continually increase in the research community. In the light of this challenge, we propose a unified, comprehensive and efficient recommender system library called RecBole, which provides a unified framework to develop and reproduce recommendation algorithms for research purpose. In this library, we implement 73 recommendation models on 28 benchmark datasets, covering the categories of general recommendation, sequential recommendation, context-aware recommendation and knowledge-based recommendation. We implement the RecBole library based on PyTorch, which is one of the most popular deep learning frameworks. Our library is featured in many aspects, including general and extensible data structures, comprehensive benchmark models and datasets, efficient GPU-accelerated execution, and extensive and standard evaluation protocols. We provide a series of auxiliary functions, tools, and scripts to facilitate the use of this library, such as automatic parameter tuning and break-point resume. Such a framework is useful to standardize the implementation and evaluation of recommender systems. The project and documents are released at https://recbole.io/.


title: Spaces that can be ordered effectively: virtually free groups and hyperbolicity

abstract: We study asymptotic invariants of metric spaces, defined in terms of the travelling salesman problem, and our goal is to classify groups and spaces depending on how well they can be ordered in this context. We characterize virtually free groups as those admitting an order which has some efficiency on $4$-point subsets. We show that all $\delta$-hyperbolic spaces can be ordered extremely efficiently, for the question when the number of points of a subset tends to $\infty$.


title: Comment on `Open is not forever: a study of vanished open access journals'

abstract: This is a comment to an article by Laakso, Matthias and Jahn (arXiv:2008.11933).


title: Differentiable Physics Models for Real-world Offline Model-based Reinforcement Learning

abstract: A limitation of model-based reinforcement learning (MBRL) is the exploitation of errors in the learned models. Black-box models can fit complex dynamics with high fidelity, but their behavior is undefined outside of the data distribution.Physics-based models are better at extrapolating, due to the general validity of their informed structure, but underfit in the real world due to the presence of unmodeled phenomena. In this work, we demonstrate experimentally that for the offline model-based reinforcement learning setting, physics-based models can be beneficial compared to high-capacity function approximators if the mechanical structure is known. Physics-based models can learn to perform the ball in a cup (BiC) task on a physical manipulator using only 4 minutes of sampled data using offline MBRL. We find that black-box models consistently produce unviable policies for BiC as all predicted trajectories diverge to physically impossible state, despite having access to more data than the physics-based model. In addition, we generalize the approach of physics parameter identification from modeling holonomic multi-body systems to systems with nonholonomic dynamics using end-to-end automatic differentiation. Videos: https://sites.google.com/view/ball-in-a-cup-in-4-minutes/


title: Acyclic polynomials of graphs

abstract: For each nonnegative integer $i$, let $a_i$ be the number of $i$-subsets of $V(G)$ that induce an acyclic subgraph of a given graph $G$. We define $A(G,x) = \sum_{i \geq 0} a_i x^i$ (the generating function for $a_i$) to be the acyclic polynomial for $G$. After presenting some properties of these polynomials, we investigate the nature and location of their roots.


title: Understanding superradiant phenomena with synthetic vector potentials in atomic Bose-Einstein condensates

abstract: We theoretically investigate superradiance effects in quantum field theories in curved space-times by proposing an analogue model based on Bose--Einstein condensates subject to a synthetic vector potential. The breaking of the irrotationality constraint of superfluids allows to study superradiance in simple planar geometries and obtain intuitive insight in the amplified scattering processes at ergosurfaces. When boundary conditions are modified allowing for reflections, dynamical instabilities are found, similar to the ones of ergoregions in rotating space-times. Their stabilization by horizons in black hole geometries is discussed. All these phenomena are reinterpreted through an exact mapping with the physics of one-dimensional relativistic charged scalar fields in electrostatic potentials. Our study provides a deeper understanding on the basic mechanisms of superradiance: by disentangling the different ingredients at play, it shines light on some misconceptions on the role of dissipation and horizons and on the competition between superradiant scattering and instabilities.


title: Regularized spectral methods for clustering signed networks

abstract: We study the problem of $k$-way clustering in signed graphs. Considerable attention in recent years has been devoted to analyzing and modeling signed graphs, where the affinity measure between nodes takes either positive or negative values. Recently, Cucuringu et al. [CDGT 2019] proposed a spectral method, namely SPONGE (Signed Positive over Negative Generalized Eigenproblem), which casts the clustering task as a generalized eigenvalue problem optimizing a suitably defined objective function. This approach is motivated by social balance theory, where the clustering task aims to decompose a given network into disjoint groups, such that individuals within the same group are connected by as many positive edges as possible, while individuals from different groups are mainly connected by negative edges. Through extensive numerical simulations, SPONGE was shown to achieve state-of-the-art empirical performance. On the theoretical front, [CDGT 2019] analyzed SPONGE and the popular Signed Laplacian method under the setting of a Signed Stochastic Block Model (SSBM), for $k=2$ equal-sized clusters, in the regime where the graph is moderately dense. In this work, we build on the results in [CDGT 2019] on two fronts for the normalized versions of SPONGE and the Signed Laplacian. Firstly, for both algorithms, we extend the theoretical analysis in [CDGT 2019] to the general setting of $k \geq 2$ unequal-sized clusters in the moderately dense regime. Secondly, we introduce regularized versions of both methods to handle sparse graphs -- a regime where standard spectral methods underperform -- and provide theoretical guarantees under the same SSBM model. To the best of our knowledge, regularized spectral methods have so far not been considered in the setting of clustering signed graphs. We complement our theoretical results with an extensive set of numerical experiments on synthetic data.


title: Blind multi-frame deconvolution for the correction of space-variant blur in images

abstract: This paper demonstrates a practical method that can correct spatial varying blur from a set of images of the same object. The algorithm jointly estimates the object and local point spread functions~(PSF). The method prioritizes sections with small spatial variation in the PSF for deconvolution. This novel approach can handle large translations in the local PSFs, hence the algorithm is able to correct for morph in the images. Robustness to noise is demonstrated in numerical simulations. Numerical experiments are conducted where the performance of the algorithm is compared to a state-of-the-art method found in literature. The algorithm can be used in situation with space-temporal variation of the PSF and can be applied in situations where the signal-to-noise ratio is low.


title: Spatial autocorrelation and the dynamics of the mean center of COVID-19 infections in Lebanon

abstract: In this paper we study the spatial spread of the COVID-19 infection in Lebanon. We inspect the spreading of the daily new infections across the 26 administrative districts of the country, and implement Moran's $I$ statistics in order to analyze the tempo-spatial clustering of the infection in relation to various variables parameterized by adjacency, proximity, population, population density, poverty rate and poverty density, and we find out that except for the poverty rate, the spread of the infection is clustered and associated to those parameters with varying magnitude for the time span between July (geographic adjacency and proximity) or August (population, population density and poverty density) through October. We also determine the temporal dynamics of geographic location of the mean center of new and cumulative infections since late March. The results obtained allow for regionally and locally adjusted health policies and measures that would provide higher levels of public health safety in the country.


title: Solving large number of non-stiff, low-dimensional ordinary differential equation systems on GPUs and CPUs: performance comparisons of MPGOS, ODEINT and DifferentialEquations.jl

abstract: In this paper, the performance characteristics of different solution techniques and program packages to solve a large number of independent ordinary differential equation systems is examined. The employed hardware are an Intel Core i7-4820K CPU with 30.4 GFLOPS peak double-precision performance per cores and an Nvidia GeForce Titan Black GPU that has a total of 1707 GFLOPS peak double-precision performance. The tested systems (Lorenz equation, Keller--Miksis equation and a pressure relief valve model) are non-stiff and have low dimension. Thus, the performance of the codes are not limited by memory bandwidth, and Runge--Kutta type solvers are efficient and suitable choices. The tested program packages are MPGOS written in C++ and specialised only for GPUs; ODEINT implemented in C++, which supports execution on both CPUs and GPUs; finally, DifferentialEquations.jl written in Julia that also supports execution on both CPUs and GPUs. Using GPUs, the program package MPGOS is superior. For CPU computations, the ODEINT program package has the best performance.


title: Learning a Generative Motion Model from Image Sequences based on a Latent Motion Matrix

abstract: We propose to learn a probabilistic motion model from a sequence of images for spatio-temporal registration. Our model encodes motion in a low-dimensional probabilistic space - the motion matrix - which enables various motion analysis tasks such as simulation and interpolation of realistic motion patterns allowing for faster data acquisition and data augmentation. More precisely, the motion matrix allows to transport the recovered motion from one subject to another simulating for example a pathological motion in a healthy subject without the need for inter-subject registration. The method is based on a conditional latent variable model that is trained using amortized variational inference. This unsupervised generative model follows a novel multivariate Gaussian process prior and is applied within a temporal convolutional network which leads to a diffeomorphic motion model. Temporal consistency and generalizability is further improved by applying a temporal dropout training scheme. Applied to cardiac cine-MRI sequences, we show improved registration accuracy and spatio-temporally smoother deformations compared to three state-of-the-art registration algorithms. Besides, we demonstrate the model's applicability for motion analysis, simulation and super-resolution by an improved motion reconstruction from sequences with missing frames compared to linear and cubic interpolation.


title: Out of equilibrium chiral higher order topological insulator on a $\pi$-flux square lattice

abstract: One of the hallmarks of bulk topology is the existence of robust boundary localized states. For instance, a conventional $d$ dimensional topological system hosts $d{-}1$ dimensional surface modes, which are protected by non-spatial symmetries. Recently, this idea has been extended to higher order topological phases with boundary modes that are localized in lower dimensions such as in the corners or in one dimensional hinges of the system. In this work, we demonstrate that a higher order topological phase can be engineered in a nonequilibrium state when the time-independent model does not possess any symmetry protected topological states. The higher order topology is protected by an emerging chiral symmetry, which is generated through the Floquet driving. Using both the exact numerical method and an effective high-frequency Hamiltonian obtained from the Brillouin-Wigner perturbation theory, we verify the emerging topological phase on a $\pi$-flux square lattice. We show that the localized corner modes in our model are robust against a chiral symmetry preserving perturbation and can be classified as `extrinsic' higher order topological phase. Finally, we identify a two dimensional topological invariant from the winding number of the corresponding sublattice symmetric one dimensional model. The latter model belongs to class AIII of ten-fold symmetry classification of topological matter.


title: Wigner-Wilkins neutron/nucleus scattering kernel quantum-mechanically derived

abstract: We undertake herein to derive the Wigner-Wilkins [W-W] neutron/nucleus scattering kernel, a foundation stone in neutron thermalization theory, on the basis of a self-contained calculation in quantum mechanics. Indeed, a quantum-mechanical derivation of the W-W kernel is available in the literature, cited below, but it is, in our opinion, robbed of conviction by being couched in terms of an excessive generality. Here, by contrast, we proceed along a self-contained route relying on the Fermi pseudopotential and a first-order term in a time-dependent Born approximation series. Our calculations are fully explicit at every step and, in particular, we tackle in its every detail a final integration whose result is merely stated in the available literature. Furthermore, and perhaps the most important point of all, we demonstrate that the quantum-mechanical W-W kernel outcome is identical down to the last iota with its classical antecedent, classical not only by virtue of historical precedence but also by being based on classical Newtonian mechanics.


title: Factorization of Quaternionic Polynomials of Bi-Degree (n,1)

abstract: We consider polynomials of bi-degree $(n,1)$ over the skew field of quaternions where the indeterminates commute with each other and with all coefficients. Polynomials of this type do not generally admit factorizations. We recall a necessary and sufficient condition for existence of a factorization with univariate linear factors that has originally been stated by Skopenkov and Krasauskas. Such a factorization is, in general, non-unique by known factorization results for univariate quaternionic polynomials. We unveil existence of bivariate polynomials with non-unique factorizations that cannot be explained in this way and characterize them geometrically and algebraically. Existence of factorizations is related to the existence of special rulings of two different types (left/right) on the ruled surface parameterized by the bivariate polynomial in the projective space over the quaternions. Special non-uniqueness in above sense can be explained algebraically by commutation properties of factors in suitable factorizations. A necessary geometric condition for this to happen is degeneration to a point of at least one of the left/right rulings.


title: Dynamic wormhole geometries in hybrid metric-Palatini gravity

abstract: In this work, we analyse the evolution of time-dependent traversable wormhole geometries in a Friedmann-Lema\^{i}tre-Robertson-Walker background in the context of the scalar-tensor representation of hybrid metric-Palatini gravity. We deduce the energy-momentum profile of the matter threading the wormhole spacetime in terms of the background quantities, the scalar field, the scale factor and the shape function, and find specific wormhole solutions by considering a barotropic equation of state for the background matter. We find that particular cases satisfy the null and weak energy conditions for all times. In addition to the barotropic equation of state, we also explore a specific evolving wormhole spacetime, by imposing a traceless energy-momentum tensor for the matter threading the wormhole and find that this geometry also satisfies the null and weak energy conditions at all times.


title: Dual Toffoli and Peres-reversible gates

abstract: The paper introduces dual Toffoli and Peres reversible gates, which operate under disjunctive control, and shows their functionality based on the Barenco et al. quantum model. Both uniform and mixed polarity are considered for the controls. Rewriting rules are presented, which provide a possible reduction of the number of gates and quantum cost of reversible (sub)circuits using standard Toffoli or Peres gates. Finally, a Clifford+T realization of a dual Toffoli and a dual Peres gate is shown, which may be used when mapping reversible circuits to the IBM quantum computers.


title: Convolution Neural Networks for Semantic Segmentation: Application to Small Datasets of Biomedical Images

abstract: This thesis studies how the segmentation results, produced by convolutional neural networks (CNN), is different from each other when applied to small biomedical datasets. We use different architectures, parameters and hyper-parameters, trying to find out the better configurations for our task, and trying to find out underlying regularities. Two working datasets are from biomedical area of research. We conducted a lot of experiments with the two types of networks and the received results have shown the preference of some conditions of experiments and parameters of the networks over the others. All testing results are given in the tables and some selected resulting graphs and segmentation predictions are shown for better illustration.


title: Solving Inverse Problems with Hybrid Deep Image Priors: the challenge of preventing overfitting

abstract: We mainly analyze and solve the overfitting problem of deep image prior (DIP). Deep image prior can solve inverse problems such as super-resolution, inpainting and denoising. The main advantage of DIP over other deep learning approaches is that it does not need access to a large dataset. However, due to the large number of parameters of the neural network and noisy data, DIP overfits to the noise in the image as the number of iterations grows. In the thesis, we use hybrid deep image priors to avoid overfitting. The hybrid priors are to combine DIP with an explicit prior such as total variation or with an implicit prior such as a denoising algorithm. We use the alternating direction method-of-multipliers (ADMM) to incorporate the new prior and try different forms of ADMM to avoid extra computation caused by the inner loop of ADMM steps. We also study the relation between the dynamics of gradient descent, and the overfitting phenomenon. The numerical results show the hybrid priors play an important role in preventing overfitting. Besides, we try to fit the image along some directions and find this method can reduce overfitting when the noise level is large. When the noise level is small, it does not considerably reduce the overfitting problem.


title: Extensive frequency response and inertia analysis under high renewable energy source integration scenarios: application to the European interconnected power system

abstract: Traditionally, power system's inertia has been estimated according to the rotating masses directly connected to the grid. However, a new generation mix scenario is currently identified, where conventional supply-side is gradually replaced by renewable sources decoupled from the grid by electronic converters (i.e., wind and photovoltaic power plants). Due to the significant penetration of such renewable generation units, the conventional grid inertia is decreasing, subsequently affecting both reliability analysis and grid stability. As a result, concepts such as 'synthetic inertia', 'hidden inertia' or 'virtual inertia', together with alternative spinning reserves, are currently under discussion to ensure power system stability and reliability. Under this new framework, an algorithm to estimate the minimum inertia needed to fulfil the ENTSO-E requirements for ROCOF values is proposed and assessed under a relevant variety of imbalanced conditions. The additional active power needed to be within the frequency dynamic range is also estimated and determined. Both inertia and additional active power can come from different sources, such as storage solutions, renewable sources decoupled from the grid including some frequency control strategies, interconnections with other grids, or a combination of them. The power system under consideration includes thermal, hydro-power plants, and renewable generation units, in line with most current and future European supply-side power systems. More than 700 generation mix scenarios are identified and simulated, varying the renewable integration, the power imbalance, and the inertia constant of conventional power plants. In fact, the solutions studied here provide important information to ease the massive integration of renewable resources, without reducing the capacity of the grid in terms of stability and response to contingencies.


title: Formation of working memory in a spiking neuron network accompanied by astrocytes

abstract: We propose a biologically plausible computational model of working memory (WM) implemented by the spiking neuron network (SNN) interacting with a network of astrocytes. SNN is modelled by the synaptically coupled Izhikevich neurons with a non-specific architecture connection topology. Astrocytes generating calcium signals are connected by local gap junction diffusive couplings and interact with neurons by chemicals diffused in the extracellular space. Calcium elevations occur in response to the increase of concentration of a neurotransmitter released by spiking neurons when a group of them fire coherently. In turn, gliotransmitters are released by activated astrocytes modulating the strengths of synaptic connections in the corresponding neuronal group. Input information is encoded as two-dimensional patterns of short applied current pulses stimulating neurons. The output is taken from frequencies of transient discharges of corresponding neurons. We show how a set of information patterns with quite significant overlapping areas can be uploaded into the neuron-astrocyte network and stored for several seconds. Information retrieval is organised by the application of a cue pattern representing the one from the memory set distorted by noise. We found that successful retrieval with level of the correlation between recalled pattern and ideal pattern more than 90% is possible for multi-item WM task. Having analysed the dynamical mechanism of WM formation, we discovered that astrocytes operating at a time scale of a dozen of seconds can successfully store traces of neuronal activations corresponding to information patterns. In the retrieval stage, the astrocytic network selectively modulates synaptic connections in SNN leading to the successful recall. Information and dynamical characteristics of the proposed WM model agrees with classical concepts and other WM models.


title: Height Fluctuations of Random Lozenge Tilings Through Nonintersecting Random Walks

abstract: In this paper we study height fluctuations of random lozenge tilings of polygonal domains on the triangular lattice through nonintersecting Bernoulli random walks. For a large class of polygons which have exactly one horizontal upper boundary edge, we show that these random height functions converge to a Gaussian Free Field as predicted by Kenyon and Okounkov [28]. A key ingredient of our proof is a dynamical version of the discrete loop equations as introduced by Borodin, Guionnet and Gorin [5], which might be of independent interest.


title: Edge Universality for Nonintersecting Brownian Bridges

abstract: In this paper we study fluctuations of extreme particles of nonintersecting Brownian bridges starting from $a_1\leq a_2\leq \cdots \leq a_n$ at time $t=0$ and ending at $b_1\leq b_2\leq \cdots\leq b_n$ at time $t=1$, where $\mu_{A_n}=(1/n)\sum_{i}\delta_{a_i}, \mu_{B_n}=(1/n)\sum_i \delta_{b_i}$ are discretization of probability measures $\mu_A, \mu_B$. Under regularity assumptions of $\mu_A, \mu_B$, we show as the number of particles $n$ goes to infinity, fluctuations of extreme particles at any time $0<t<1$, after proper rescaling, are asymptotically universal, converging to the Airy point process.


title: Attention Beam: An Image Captioning Approach

abstract: The aim of image captioning is to generate textual description of a given image. Though seemingly an easy task for humans, it is challenging for machines as it requires the ability to comprehend the image (computer vision) and consequently generate a human-like description for the image (natural language understanding). In recent times, encoder-decoder based architectures have achieved state-of-the-art results for image captioning. Here, we present a heuristic of beam search on top of the encoder-decoder based architecture that gives better quality captions on three benchmark datasets: Flickr8k, Flickr30k and MS COCO.


title: ControlVAE: Tuning, Analytical Properties, and Performance Analysis

abstract: This paper reviews the novel concept of controllable variational autoencoder (ControlVAE), discusses its parameter tuning to meet application needs, derives its key analytic properties, and offers useful extensions and applications. ControlVAE is a new variational autoencoder (VAE) framework that combines the automatic control theory with the basic VAE to stabilize the KL-divergence of VAE models to a specified value. It leverages a non-linear PI controller, a variant of the proportional-integral-derivative (PID) control, to dynamically tune the weight of the KL-divergence term in the evidence lower bound (ELBO) using the output KL-divergence as feedback. This allows us to precisely control the KL-divergence to a desired value (set point), which is effective in avoiding posterior collapse and learning disentangled representations. In order to improve the ELBO over the regular VAE, we provide simplified theoretical analysis to inform setting the set point of KL-divergence for ControlVAE. We observe that compared to other methods that seek to balance the two terms in VAE's objective, ControlVAE leads to better learning dynamics. In particular, it can achieve a good trade-off between reconstruction quality and KL-divergence. We evaluate the proposed method on three tasks: image generation, language modeling and disentangled representation learning. The results show that ControlVAE can achieve much better reconstruction quality than the other methods for comparable disentanglement. On the language modeling task, ControlVAE can avoid posterior collapse (KL vanishing) and improve the diversity of generated text. Moreover, our method can change the optimization trajectory, improving the ELBO and the reconstruction quality for image generation.


title: MAD-VAE: Manifold Awareness Defense Variational Autoencoder

abstract: Although deep generative models such as Defense-GAN and Defense-VAE have made significant progress in terms of adversarial defenses of image classification neural networks, several methods have been found to circumvent these defenses. Based on Defense-VAE, in our research we introduce several methods to improve the robustness of defense models. The methods introduced in this paper are straight forward yet show promise over the vanilla Defense-VAE. With extensive experiments on MNIST data set, we have demonstrated the effectiveness of our algorithms against different attacks. Our experiments also include attacks on the latent space of the defensive model. We also discuss the applicability of existing adversarial latent space attacks as they may have a significant flaw.


title: Evidence for radio loud to radio quiet evolution from red and blue quasars

abstract: Recent work on red and blue quasi-stellar objects (QSOs) has identified peculiar number distributions as a function of radio loudness that we explore and attempt to explain from the perspective of a picture in which a subset of the population of active galaxies evolves from the radio loud to the radio quiet state. Because the time evolution is slowed down by an order of magnitude or more for the radio quiet phase, the numbers of red and blue QSOs approach each other at the extreme end of the radio quiet range of radio loudness with larger numbers. The rapid time evolution of most radio loud phases, instead, makes the numbers similar but lower at the far radio loud end. At the midpoint of radio loudness, instead, the differences between red and blue QSOs experience their largest values which results from accretion rapidly spinning black holes down but subsequently spinning them up more slowly. Recovering these basic features of the observations is evidence for rapid evolution away from radio loudness and slow evolution in radio quiet states.


title: The interaction of domain walls with fermions in the early Universe

abstract: We consider the scalar field solitons and their interaction with the fermions in the early Universe. The analytical form of the reflection coefficient is obtained. The fermion mass is a function of the distance between the fermion and the soliton (wall). The function was approximated by the Woods-Saxon potential.


title: Representation Matters: Improving Perception and Exploration for Robotics

abstract: Projecting high-dimensional environment observations into lower-dimensional structured representations can considerably improve data-efficiency for reinforcement learning in domains with limited data such as robotics. Can a single generally useful representation be found? In order to answer this question, it is important to understand how the representation will be used by the agent and what properties such a 'good' representation should have. In this paper we systematically evaluate a number of common learnt and hand-engineered representations in the context of three robotics tasks: lifting, stacking and pushing of 3D blocks. The representations are evaluated in two use-cases: as input to the agent, or as a source of auxiliary tasks. Furthermore, the value of each representation is evaluated in terms of three properties: dimensionality, observability and disentanglement. We can significantly improve performance in both use-cases and demonstrate that some representations can perform commensurate to simulator states as agent inputs. Finally, our results challenge common intuitions by demonstrating that: 1) dimensionality strongly matters for task generation, but is negligible for inputs, 2) observability of task-relevant aspects mostly affects the input representation use-case, and 3) disentanglement leads to better auxiliary tasks, but has only limited benefits for input representations. This work serves as a step towards a more systematic understanding of what makes a 'good' representation for control in robotics, enabling practitioners to make more informed choices for developing new learned or hand-engineered representations.


title: Short models of global fields

abstract: We construct compact descriptions of function fields and number fields.


title: Elastic characteristics for naturally-fractured reservoirs using an integrated LSM-DFN scheme with rough contact deformation

abstract: Crack micro-geometries and tribological properties pose an important impact on the elastic characteristics of fractured rocks. Numerical simulation as a promising way for this issue still faces some challenges. With the rapid development of computers and computational techniques, discrete-based numerical approaches with desirable properties have been increasingly developed, but few attempts to consider the particle surface roughness in a lattice type model. For this purpose, an integrated numerical scheme accounting rough contact deformation is developed by coupling modified LSM and DFN modeling for predicting the effective mechanical properties of a realistic outcrop. Smooth joint logic is introduced to consider contact and slip behaviors at fracture surfaces and a modified contact relation to estimating the normal force-displacement from rough contact deformation. Improved constitutive laws are developed and employed for rock matrix and rough fracture surface and implemented in the modified LSM. Complex fracture networks presented by DFNs are automatically extracted based on the gradient Hough transform algorithm. This developed framework is validated by classic equivalent medium theories. It shows the model could be used to emulate naturally-fractured media and to quantitatively investigate the effects of fracture attributes and micro-scale surface roughness on the compression mechanism.


title: Problems using deep generative models for probabilistic audio source separation

abstract: Recent advancements in deep generative modeling make it possible to learn prior distributions from complex data that subsequently can be used for Bayesian inference. However, we find that distributions learned by deep generative models for audio signals do not exhibit the right properties that are necessary for tasks like audio source separation using a probabilistic approach. We observe that the learned prior distributions are either discriminative and extremely peaked or smooth and non-discriminative. We quantify this behavior for two types of deep generative models on two audio datasets.


title: Elliptic $q,t$ matrix models

abstract: The Gaussian matrix model is known to deform to the $q,t$-matrix model. We consider further deformation to the elliptic $q,t$ matrix model by properly deforming the Gaussian density as well as the Vandermonde factor. Properties of an associated basis of symmetric functions that provide the matrix model property $<char>\sim {\rm char}$ in the deformed elliptic case are discussed.


title: A Bipartite Graph That Is Not the $\gamma$-Graph of a Bipartite Graph

abstract: For a graph $G = (V, E)$, the $\gamma$-graph of $G$ is the graph whose vertex set is the collection of minimum dominating sets, or $\gamma$-sets of $G$, and two $\gamma$-sets are adjacent if they differ by a single vertex and the two different vertices are adjacent in $G$. An open question in $\gamma$-graphs is whether every bipartite graph is the $\gamma$-graph of some bipartite graph. We answer this question in the negative by demonstrating that $K_{2, 3}$ is not the $\gamma$-graph of any bipartite graph.


title: GroupMath: A Mathematica package for group theory calculations

abstract: GroupMath is a Mathematica package which performs several calculations related to semi-simple Lie algebras and the permutation groups, both of which are important in particle physics as well as in other areas of research.


title: Unification through Generalised Proper Time: The Short Story

abstract: The central arguments for a generalised form of proper time as the basis for a unified theory, accounting for the Standard Model of particle physics and encompassing all four forces of nature including a consistent `quantum gravity', are presented. After first outlining a set of criteria to be ideally met by any proposal for a comprehensive unification scheme we describe the extent to which a theory based on generalised proper time satisfies these objectives. In comparison with other approaches we also discuss the change in perspective regarding the relations between space, time and matter associated with this theory.


title: Electrically charged localized structures

abstract: This work deals with an Abelian gauge field in the presence of an electric charge immersed in a medium controlled by neutral scalar fields, which interact with the gauge field through a generalized dielectric function. We develop an interesting procedure to solve the equations of motion, which is based on the minimization of the energy, leading us to a first order framework where minimum energy solutions of first order differential equations solve the equations of motion. We investigate two distinct models in two and three spatial dimensions and illustrate the general results with some examples of current interest, implementing a simple way to solve the problem with analytical solutions that engender internal structure.


title: Mitigating Backdoor Attacks in Federated Learning

abstract: Malicious clients can attack federated learning systems using malicious data, including backdoor samples, during the training phase. The compromised global model will perform well on the validation dataset designed for the task, but a small subset of data with backdoor patterns may trigger the model to make a wrong prediction. There has been an arms race between attackers who tried to conceal attacks and defenders who tried to detect attacks during the aggregation stage of training on the server-side. In this work, we propose a new and effective method to mitigate backdoor attacks after the training phase. Specifically, we design a federated pruning method to remove redundant neurons in the network and then adjust the model's extreme weight values. Our experiments conducted on distributed Fashion-MNIST show that our method can reduce the average attack success rate from 99.7% to 1.9% with a 5.5% loss of test accuracy on the validation dataset. To minimize the pruning influence on test accuracy, we can fine-tune after pruning, and the attack success rate drops to 6.4%, with only a 1.7% loss of test accuracy. Further experiments under Distributed Backdoor Attacks on CIFAR-10 also show promising results that the average attack success rate drops more than 70% with less than 2% loss of test accuracy on the validation dataset.


title: Tropical Fock-Goncharov coordinates for $\mathrm{SL}_3$-webs on surfaces I: construction

abstract: For a finite-type surface $\mathfrak{S}$, we study a preferred basis for the commutative algebra $\mathbb{C}[\mathscr{R}_{\mathrm{SL}_3(\mathbb{C})}(\mathfrak{S})]$ of regular functions on the $\mathrm{SL}_3(\mathbb{C})$-character variety, introduced by Sikora-Westbury. These basis elements come from the trace functions associated to certain tri-valent graphs embedded in the surface $\mathfrak{S}$. We show that this basis can be naturally indexed by non-negative integer coordinates, defined by Knutson-Tao rhombus inequalities and modulo 3 congruence conditions. These coordinates are related, by the geometric theory of Fock and Goncharov, to the tropical points at infinity of the dual version of the character variety.


title: Dyadic product BMO in the Bloom setting

abstract: \'O. Blasco and S. Pott showed that the supremum of operator norms over $L^2$ of all bicommutators (with the same symbol) of one-parameter Haar multipliers dominates the biparameter dyadic product BMO norm of the symbol itself. In the present work we extend this result to the Bloom setting, and to any exponent $1<p<\infty$. The main tool is a new characterization in terms of paraproducts and two-weight John--Nirenberg inequalities for dyadic product BMO in the Bloom setting. We also extend our results to the whole scale of indexed spaces between little bmo and product BMO in the general multiparameter setting, with the appropriate iterated commutator in each case.


title: The Complexity of Finding Fair Independent Sets in Cycles

abstract: Let $G$ be a cycle graph and let $V_1,\ldots,V_m$ be a partition of its vertex set into $m$ sets. An independent set $S$ of $G$ is said to fairly represent the partition if $|S \cap V_i| \geq \frac{1}{2} \cdot |V_i| -1$ for all $i \in [m]$. It is known that for every cycle and every partition of its vertex set, there exists an independent set that fairly represents the partition (Aharoni et al., A Journey through Discrete Math., 2017). We prove that the problem of finding such an independent set is $\mathsf{PPA}$-complete. As an application, we show that the problem of finding a monochromatic edge in a Schrijver graph, given a succinct representation of a coloring that uses fewer colors than its chromatic number, is $\mathsf{PPA}$-complete as well. The work is motivated by the computational aspects of the `cycle plus triangles' problem and of its extensions.


title: Deep Reinforcement Learning Based Dynamic Route Planning for Minimizing Travel Time

abstract: Route planning is important in transportation. Existing works focus on finding the shortest path solution or using metrics such as safety and energy consumption to determine the planning. It is noted that most of these studies rely on prior knowledge of road network, which may be not available in certain situations. In this paper, we design a route planning algorithm based on deep reinforcement learning (DRL) for pedestrians. We use travel time consumption as the metric, and plan the route by predicting pedestrian flow in the road network. We put an agent, which is an intelligent robot, on a virtual map. Different from previous studies, our approach assumes that the agent does not need any prior information about road network, but simply relies on the interaction with the environment. We propose a dynamically adjustable route planning (DARP) algorithm, where the agent learns strategies through a dueling deep Q network to avoid congested roads. Simulation results show that the DARP algorithm saves 52% of the time under congestion condition when compared with traditional shortest path planning algorithms.


title: Countable sets versus sets that are countable in Reverse Mathematics

abstract: The program Reverse Mathematics (RM for short) seeks to identify the axioms necessary to prove theorems of ordinary mathematics, usually working in the language of second-order arithmetic $L_{2}$. A major theme in RM is therefore the study of structures that are countable or can be approximated by countable sets. Now, countable sets are represented by sequences here, because the usual higher-order definition of `countable set'cannot be expressed in $L_{2}$. Working in Kohlenbach's higher-order RM, we investigate various central theorems, e.g. those due to K\"onig, Ramsey, Bolzano, Weierstrass, and Borel, in their (often original) formulation involving the usual definition(s) of `countable set' instead of `sequence'. This study turns out to be closely related to the logical properties of the uncountably of $\mathbb{R}$, recently developed by the author and Dag Normann. Now, `being countable' can be expressed by the existence of an injection to $\mathbb{N}$ (Kunen) or the existence of a bijection to $\mathbb{N}$ (Hrbacek-Jech). The former (and not the latter) choice yields `explosive' theorems, i.e. relatively weak statements that become much stronger when combined with discontinuous functionals, even up to $\Pi_2^1$-CA$_0$. Nonetheless, replacing `sequence' by `countable set' seriously reduces the first-order strength of these theorems, whatever the notion of `set' used. Finally, we obtain `splittings' involving e.g. lemmas by K\"onig and theorems from the RM zoo, showing that the latter are `a lot more tame' when formulated with countable sets.


title: Memory-Efficient RkNN Retrieval by Nonlinear k-Distance Approximation

abstract: The reverse k-nearest neighbor (RkNN) query is an established query type with various applications reaching from identifying highly influential objects over incrementally updating kNN graphs to optimizing sensor communication and outlier detection. State-of-the-art solutions exploit that the k-distances in real-world datasets often follow the power-law distribution, and bound them with linear lines in log-log space. In this work, we investigate this assumption and uncover that it is violated in regions of changing density, which we show are typical for real-life datasets. Towards a generic solution, we pose the estimation of k-distances as a regression problem. Thereby, we enable harnessing the power of the abundance of available Machine Learning models and profiting from their advancement. We propose a flexible approach which allows steering the performance-memory consumption trade-off, and in particular to find good solutions with a fixed memory budget crucial in the context of edge computing. Moreover, we show how to obtain and improve guaranteed bounds essential to exact query processing. In experiments on real-world datasets, we demonstrate how this framework can significantly reduce the index memory consumption, and strongly reduce the candidate set size. We publish our code at https://github.com/sobermeier/nonlinear-kdist.


title: Provenance-Based Assessment of Plans in Context

abstract: Many real-world planning domains involve diverse information sources, external entities, and variable-reliability agents, all of which may impact the confidence, risk, and sensitivity of plans. Humans reviewing a plan may lack context about these factors; however, this information is available during the domain generation, which means it can also be interwoven into the planner and its resulting plans. This paper presents a provenance-based approach to explaining automated plans. Our approach (1) extends the SHOP3 HTN planner to generate dependency information, (2) transforms the dependency information into an established PROV-O representation, and (3) uses graph propagation and TMS-inspired algorithms to support dynamic and counter-factual assessment of information flow, confidence, and support. We qualified our approach's explanatory scope with respect to explanation targets from the automated planning literature and the information analysis literature, and we demonstrate its ability to assess a plan's pertinence, sensitivity, risk, assumption support, diversity, and relative confidence.


title: Modelling size distributions of marine plastics under the influence of continuous cascading fragmentation

abstract: Field studies have shown that plastic fragments make up the majority of plastic pollution in the oceans in terms of abundance. How quickly environmental plastics fragment is not well understood, however. Here, we study this fragmentation process by considering a model which captures continuous fragmentation of particles over time in a cascading fashion. With this cascading fragmentation model we simulate particle size distributions (PSDs), specifying the abundance or mass of particles for different size classes. The fragmentation model is coupled to an environmental box model, simulating the distributions of plastic particles in the ocean, coastal waters, and on the beach. We compare the modelled PSDs to available observations, and use the results to illustrate the effect of size-selective processes such as vertical mixing in the water column and resuspension of particles from the beach into coastal waters. The model quantifies the role of fragmentation on the marine plastic mass budget: while fragmentation is a major source of (secondary) plastic particles in terms of abundance, it seems to have a minor effect on the total mass of particles larger than 0.1 mm. Future comparison to observed PSD data allow us to understand size-selective plastic transport in the environment, and potentially inform us on plastic longevity.