title: Style Transfer by Rigid Alignment in Neural Net Feature Space

abstract: Arbitrary style transfer is an important problem in computer vision that aims to transfer style patterns from an arbitrary style image to a given content image. However, current methods either rely on slow iterative optimization or fast pre-determined feature transformation, but at the cost of compromised visual quality of the styled image; especially, distorted content structure. In this work, we present an effective and efficient approach for arbitrary style transfer that seamlessly transfers style patterns as well as keep content structure intact in the styled image. We achieve this by aligning style features to content features using rigid alignment; thus modifying style features, unlike the existing methods that do the opposite. We demonstrate the effectiveness of the proposed approach by generating high-quality stylized images and compare the results with the current state-of-the-art techniques for arbitrary style transfer.


title: A novel description and mathematical analysis of the Fractional Discrete Fourier Transform

abstract: I discuss the nature of a Fractional Discrete Fourier Transform (FrDFT) described algorithmically by a combination of chirp transforms and ordinary DFTs. The transform is shown to be consistent with a continuous two-dimensional rotation between the time and frequency domains. I further present a new closed-form expression for the transformation matrix and some preliminary analysis of its properties.


title: Nonlinear Dipole Inversion (NDI) enables Quantitative Susceptibility Mapping (QSM) without parameter tuning

abstract: We propose Nonlinear Dipole Inversion (NDI) for high-quality Quantitative Susceptibility Mapping (QSM) without regularization tuning, while matching the image quality of state-of-the-art reconstruction techniques. In addition to avoiding over-smoothing that these techniques often suffer from, we also obviate the need for parameter selection. NDI is flexible enough to allow for reconstruction from an arbitrary number of head orientations, and outperforms COSMOS even when using as few as 1-direction data. This is made possible by a nonlinear forward-model that uses the magnitude as an effective prior, for which we derived a simple gradient descent update rule. We synergistically combine this physics-model with a Variational Network (VN) to leverage the power of deep learning in the VaNDI algorithm. This technique adopts the simple gradient descent rule from NDI and learns the network parameters during training, hence requires no additional parameter tuning. Further, we evaluate NDI at 7T using highly accelerated Wave-CAIPI acquisitions at 0.5 mm isotropic resolution and demonstrate high-quality QSM from as few as 2-direction data.


title: Automated Characterization of Software Vulnerabilities

abstract: Preventing vulnerability exploits is a critical software maintenance task, and software engineers often rely on Common Vulnerability and Exposure (CVEs) reports for information about vulnerable systems and libraries. These reports include descriptions, disclosure sources, and manually-populated vulnerability characteristics such as root cause from the NIST Vulnerability Description Ontology (VDO). This information needs to be complete and accurate so stakeholders of affected products can prevent and react to exploits of the reported vulnerabilities. However, characterizing each report requires significant time and expertise which can lead to inaccurate or incomplete reports. This directly impacts stakeholders ability to quickly and correctly maintain their affected systems. In this study, we demonstrate that VDO characteristics can be automatically detected from the textual descriptions included in CVE reports. We evaluated the performance of 6 classification algorithms with a dataset of 365 vulnerability descriptions, each mapped to 1 of 19 characteristics from the VDO. This work demonstrates that it is feasible to train classification techniques to accurately characterize vulnerabilities from their descriptions. All 6 classifiers evaluated produced accurate results, and the Support Vector Machine classifier was the best-performing individual classifier. Automating the vulnerability characterization process is a step towards ensuring stakeholders have the necessary data to effectively maintain their systems.


title: Automated Patch Assessment for Program Repair at Scale

abstract: In this paper, we do automatic correctness assessment for patches generated by program repair systems. We consider the human-written patch as ground truth oracle and randomly generate tests based on it, a technique proposed by Shamshiri et al., called Random testing with Ground Truth (RGT) in this paper. We build a curated dataset of 638 patches for Defects4J generated by 14 state-of-the-art repair systems, we evaluate automated patch assessment on this dataset. The results of this study are novel and significant: First, we improve the state of the art performance of automatic patch assessment with RGT by 190% by improving the oracle; Second, we show that RGT is reliable enough to help scientists to do overfitting analysis when they evaluate program repair systems; Third, we improve the external validity of the program repair knowledge with the largest study ever.


title: Non-native Speaker Verification for Spoken Language Assessment

abstract: Automatic spoken language assessment systems are becoming more popular in order to handle increasing interests in second language learning. One challenge for these systems is to detect malpractice. Malpractice can take a range of forms, this paper focuses on detecting when a candidate attempts to impersonate another in a speaking test. This form of malpractice is closely related to speaker verification, but applied in the specific domain of spoken language assessment. Advanced speaker verification systems, which leverage deep-learning approaches to extract speaker representations, have been successfully applied to a range of native speaker verification tasks. These systems are explored for non-native spoken English data in this paper. The data used for speaker enrolment and verification is mainly taken from the BULATS test, which assesses English language skills for business. Performance of systems trained on relatively limited amounts of BULATS data, and standard large speaker verification corpora, is compared. Experimental results on large-scale test sets with millions of trials show that the best performance is achieved by adapting the imported model to non-native data. Breakdown of impostor trials across different first languages (L1s) and grades is analysed, which shows that inter-L1 impostors are more challenging for speaker verification systems.


title: Balance of Humanoid robot in Multi-contact and Sliding Scenarios

abstract: This study deals with the balance of humanoid or multi-legged robots in a multi-contact setting where a chosen subset of contacts is undergoing desired sliding-task motions. One method to keep balance is to hold the center-of-mass (CoM) within an admissible convex area. This area should be calculated based on the contact positions and forces. We introduce a methodology to compute this CoM support area (CSA) for multiple fixed and sliding contacts. To select the most appropriate CoM position inside CSA, we account for (i) constraints of multiple fixed and sliding contacts, (ii) desired wrench distribution for contacts, and (iii) desired position of CoM (eventually dictated by other tasks). These are formulated as a quadratic programming optimization problem. We illustrate our approach with pushing against a wall and wiping and conducted experiments using the HRP-4 humanoid robot.


title: Earth system modeling with endogenous and dynamic human societies: the copan:CORE open World-Earth modeling framework

abstract: Analysis of Earth system dynamics in the Anthropocene requires to explicitly take into account the increasing magnitude of processes operating in human societies, their cultures, economies and technosphere and their growing feedback entanglement with those in the physical, chemical and biological systems of the planet. However, current state-of-the-art Earth System Models do not represent dynamic human societies and their feedback interactions with the biogeophysical Earth system and macroeconomic Integrated Assessment Models typically do so only with limited scope. This paper (i) proposes design principles for constructing World-Earth Models (WEM) for Earth system analysis of the Anthropocene, i.e., models of social (World) - ecological (Earth) co-evolution on up to planetary scales, and (ii) presents the copan:CORE open simulation modeling framework for developing, composing and analyzing such WEMs based on the proposed principles. The framework provides a modular structure to flexibly construct and study WEMs. These can contain biophysical (e.g. carbon cycle dynamics), socio-metabolic/economic (e.g. economic growth) and socio-cultural processes (e.g. voting on climate policies or changing social norms) and their feedback interactions, and are based on elementary entity types, e.g., grid cells and social systems. Thereby, copan:CORE enables the epistemic flexibility needed for contributions towards Earth system analysis of the Anthropocene given the large diversity of competing theories and methodologies used for describing socio-metabolic/economic and socio-cultural processes in the Earth system by various fields and schools of thought. To illustrate the capabilities of the framework, we present an exemplary and highly stylized WEM implemented in copan:CORE that illustrates how endogenizing socio-cultural processes and feedbacks could fundamentally change macroscopic model outcomes.


title: BEAN: Interpretable Representation Learning with Biologically-Enhanced Artificial Neuronal Assembly Regularization

abstract: Deep neural networks (DNNs) are known for extracting useful information from large amounts of data. However, the representations learned in DNNs are typically hard to interpret, especially in dense layers. One crucial issue of the classical DNN model such as multilayer perceptron (MLP) is that neurons in the same layer of DNNs are conditionally independent of each other, which makes co-training and emergence of higher modularity difficult. In contrast to DNNs, biological neurons in mammalian brains display substantial dependency patterns. Specifically, biological neural networks encode representations by so-called neuronal assemblies: groups of neurons interconnected by strong synaptic interactions and sharing joint semantic content. The resulting population coding is essential for human cognitive and mnemonic processes. Here, we propose a novel Biologically Enhanced Artificial Neuronal assembly (BEAN) regularization to model neuronal correlations and dependencies, inspired by cell assembly theory from neuroscience. Experimental results show that BEAN enables the formation of interpretable neuronal functional clusters and consequently promotes a sparse, memory/computation-efficient network without loss of model performance. Moreover, our few-shot learning experiments demonstrate that BEAN could also enhance the generalizability of the model when training samples are extremely limited.


title: Approximation and generic properties of McKean-Vlasov stochastic equations with continuous coefficients

abstract: We consider various approximation properties for systems driven by a Mc Kean-Vlasov stochastic differential equations (MVSDEs) with continuous coefficients, for which pathwise uniqueness holds. We prove that the solution of such equations is stable with respect to small perturbation of initial conditions, parameters and driving processes. Moreover, the unique strong solutions may be constructed by effective approximation procedures, without using the famous Yamada-Watanabe theorem. Finally we show that the set of bounded uniformly continuous coefficients for which the corresponding MVSDE have a unique strong solution is a set of second category in the sense of Baire.


title: Surface spin magnetism controls the polarized exciton emission from CdSe nanoplatelets

abstract: The surface of nominally diamagnetic colloidal CdSe nanoplatelets can demonstrate paramagnetism owing to the uncompensated spins of dangling bonds (DBSs). We reveal that by optical spectroscopy in high magnetic fields up to 15 Tesla using the exciton spin as probe of the surface magnetism. The strongly nonlinear magnetic field dependence of the circular polarization of the exciton emission is determined by the DBS and exciton spin polarization as well as by the spin-dependent recombination of dark excitons. The sign of the exciton-DBS exchange interaction can be adjusted by the nanoplatelet growth conditions.


title: Nighttime Stereo Depth Estimation using Joint Translation-Stereo Learning: Light Effects and Uninformative Regions

abstract: Nighttime stereo depth estimation is still challenging, as assumptions associated with daytime lighting conditions do not hold any longer. Nighttime is not only about low-light and dense noise, but also about glow/glare, flares, non-uniform distribution of light, etc. One of the possible solutions is to train a network on night stereo images in a fully supervised manner. However, to obtain proper disparity ground-truths that are dense, independent from glare/glow, and have sufficiently far depth ranges is extremely intractable. To address the problem, we introduce a network joining day/night translation and stereo. In training the network, our method does not require ground-truth disparities of the night images, or paired day/night images. We utilize a translation network that can render realistic night stereo images from day stereo images. We then train a stereo network on the rendered night stereo images using the available disparity supervision from the corresponding day stereo images, and simultaneously also train the day/night translation network. We handle the fake depth problem, which occurs due to the unsupervised/unpaired translation, for light effects (e.g., glow/glare) and uninformative regions (e.g., low-light and saturated regions), by adding structure-preservation and weighted-smoothness constraints. Our experiments show that our method outperforms the baseline methods on night images.


title: Smoothed residual stopping for statistical inverse problems via truncated SVD estimation

abstract: This work examines under what circumstances adaptivity for truncated SVD estimation can be achieved by an early stopping rule based on the smoothed residuals $ \| ( A A^{\top} )^{\alpha / 2} ( Y - A \hat{\mu}^{( m )}) \|^{2} $. Lower and upper bounds for the risk are derived, which show that moderate smoothing of the residuals can be used to adapt over classes of signals with varying smoothness, while oversmoothing yields suboptimal convergence rates. The theoretical results are illustrated by Monte-Carlo simulations.


title: On the Commutant of the Generalized Backward Shift Operator in Weighted Spaces of Entire Functions

abstract: We investigate continuous linear operators, which commute with the generalized backward shift operator (a one-dimensional perturbation of the Pommiez operator) in a countable inductive limit $E$ of weighted Banach spaces of entire functions. This space E is isomorphic with the help of the Fourier-Laplace transform to the strong dual of the Fr\'echet space of all holomorphic functions on a convex domain Q in the complex plane, containing the origin. Necessary and sufficient conditions are obtained that an operator of the mentioned commutant is a topological isomorphism of E. The problem of the factorization of nonzero operators of this commutant is investigated. In the case when the function, defining the generalized backward shift operator, has zeros in Q, they are divided into two classes: the first one consists of isomorphisms and surjective operators with a finite-dimensional kernel, and the second one contains finite-dimensional operators. Using obtained results, we study the generalized Duhamel product in Fr\'echet space of all holomorphic functions on Q.


title: DIMOHA: A Time-Domain Algorithm for Traveling-Wave Tube Simulations

abstract: To simulate traveling-wave tubes (TWTs) in time domain and more generally the wave-particle interaction in vacuum devices, we developed the DIscrete MOdel with HAmiltonian approach (dimoha) as an alternative to current particle-in-cell (PIC) and frequency approaches. Indeed, it is based on a longitudinal N-body Hamiltonian approach satisfying Maxwell's equations. Advantages of dimoha comprise: (i) it allows arbitrary waveform (not just field envelope), including continuous waveform (CW), multiple carriers or digital modulations (shift keying); (ii) the algorithm is much faster than PIC codes thanks to a field discretization allowing a drastic degree-of-freedom reduction, along with a robust symplectic integrator; (iii) it supports any periodic slow-wave structure design such as helix or folded waveguides; (iv) it reproduces harmonic generation, reflection, oscillation and distortion phenomena; (v) it handles nonlinear dynamics, including intermodulations, trapping and chaos. dimoha accuracy is assessed by comparing it against measurements from a commercial Ku-band tapered helix TWT and against simulations from a sub-THz folded waveguide TWT with a staggered double-grating slow-wave structure. The algorithm is also tested for multiple-carriers simulations with success.


title: A Closer Look at Data Bias in Neural Extractive Summarization Models

abstract: In this paper, we take stock of the current state of summarization datasets and explore how different factors of datasets influence the generalization behaviour of neural extractive summarization models. Specifically, we first propose several properties of datasets, which matter for the generalization of summarization models. Then we build the connection between priors residing in datasets and model designs, analyzing how different properties of datasets influence the choices of model structure design and training methods. Finally, by taking a typical dataset as an example, we rethink the process of the model design based on the experience of the above analysis. We demonstrate that when we have a deep understanding of the characteristics of datasets, a simple approach can bring significant improvements to the existing state-of-the-art model.A


title: Dielectric antenna effects in integrating line piezoelectric sensors for optoacoustic imaging

abstract: This work studies the adverse effects, as regards noise, of immersing in water an integrating line piezoelectric detector devoted to optoacoustic imaging. We found that the sensor, in conjunction with the acoustic coupling medium (water), behaves as a resonant dielectric antenna. This phenomenon limits the performance of the system because it efficiently captures unwanted electromagnetic signals. The requirement of good acoustic coupling between the water and the sensor precluded the use of a standard metallic shielding enclosure. Therefore, we resorted to a silver-paint based electrical shield deposited on the detector. This easy-to-implement and low-cost solution significantly increases the signal to noise ratio and does not degrade the acoustic performance. The noise reduction allows the use of a better transimpedance amplifier with higher gain and bandwidth; thus achieving a very sensitive, low-noise detection system.


title: Effect of plasma elongation on current dynamics during tokamak disruptions

abstract: Plasma terminating disruptions in tokamaks may result in relativistic runaway electron beams with potentially serious consequences for future devices with large plasma currents. In this paper we investigate the effect of plasma elongation on the coupled dynamics of runaway generation and resistive diffusion of the electric field. We find that elongated plasmas are less likely to produce large runaway currents, partly due to the lower induced electric fields associated with larger plasmas, and partly due to direct shaping effects, which mainly lead to a reduction in the runaway avalanche gain.


title: Engineering Self-adaptive Authorisation Infrastructures

abstract: As organisations expand and interconnect, authorisation infrastructures become increasingly difficult to manage. Several solutions have been proposed, including self-adaptive authorisation, where the access control policies are dynamically adapted at run-time to respond to misuse and malicious behaviour. The ultimate goal of self-adaptive authorisation is to reduce human intervention, make authorisation infrastructures more responsive to malicious behaviour, and manage access control in a more cost effective way. In this paper, we scope and define the emerging area of self-adaptive authorisation by describing some of its developments, trends and challenges. For that, we start by identifying key concepts related to access control and authorisation infrastructures, and provide a brief introduction to self-adaptive software systems, which provides the foundation for investigating how self-adaptation can enable the enforcement of authorisation policies. The outcome of this study is the identification of several technical challenges related to self-adaptive authorisation, which are classified according to the different stages of a feedback control loop.


title: Fixed-point analysis of Ogita-Aishima's symmetric eigendecomposition refinement algorithm for multiple eigenvalues

abstract: Recently, Ogita and Aishima proposed an efficient eigendecomposition refinement algorithm for the symmetric eigenproblem. Their basic algorithm involves division by the difference of two approximate eigenvalues, and can become unstable when there are multiple eigenvalues. To resolve this problem, they proposed to replace those equations that casue instability with different equations and gave a convergence proof of the resulting algorithm. However, it is not straightforward to understand intuitively why the modified algorithm works, because it removes some of the necessary and sufficient conditions for obtaining the eigendecomposition. We give an answer to this question using Banach's fixed-point theorem.


title: Exact Calculation of Expected Values for Splitting Pairs in Blackjack

abstract: Computer calculations for most exact expected values in blackjack have been available since the 1960's, but exact results for pair splitting and resplitting have previously been too computer intensive. This paper describes a new algorithm for exact pair-splitting. By using dealer probability caching methods and revising the method for recursively generating possible player hands, the estimated calculation time compared to standard methods was reduced by five orders of magnitude. The resulting algorithm was used to calculate the first exact and complete pair splitting results for a single deck game. The exact results were compared to prior approximate theories for resplitting. The prior theories are accurate for many calculations, but inaccurate for resplitting tens. A new approximation method was developed that is accurate for all resplitting calculations.


title: Control of Magnetic Order in Spinel ZnFe$_2$O$_4$ Thin Films Through Intrinsic Defect Manipulation

abstract: We present a systematic study of the magnetic properties of semiconducting ZnFe$_2$O$_4$ thin films fabricated by pulsed laser deposition at low and high oxygen partial pressure and annealed in oxygen and argon atmosphere, respectively. The magnetic response is enhanced by annealing the films at 250$^{\circ}$C and diminished at annealing temperatures above 300$^{\circ}$C. The initial increase is attributed to the formation of oxygen vacancies after argon treatment, evident by the increase in the low energy absorption at $\sim$ 0.9 eV involving Fe$^{2+}$ cations. The weakened magnetic response is related to a decline in disorder with a cation redistribution toward a normal spinel configuration. The structural renormalization is consistent with the decrease and increase in oscillator strength of respective electronic transitions involving tetrahedrally (at $\sim$ 3.5 eV) and octahedrally (at $\sim$ 5.7 eV) coordinated Fe$^{3+}$ cations.

categories: physics.app-ph cond-mat.dis-nn cond-mat.mtrl-sci physics.atom-ph physics.optics


title: Fluctuating vector mesons in analytically continued FRG flow equations

abstract: In this work we study contributions due to vector and axial-vector meson fluctuations to their in-medium spectral functions in an effective low-energy theory inspired by the gauged linear sigma model. In particular, we show how to describe these fluctuations in the effective theory by massive (axial-)vector fields in agreement with the known structure of analogous single-particle or resonance contributions to the corresponding conserved currents. The vector and axial-vector meson spectral functions are then computed by numerically solving the analytically continued functional renormalization group (aFRG) flow equations for their retarded two-point functions at finite temperature and density in the effective theory. We identify the new contributions that arise due to the (axial-)vector meson fluctuations, and assess their influence on possible signatures of a QCD critical endpoint and the restoration of chiral symmetry in thermal dilepton spectra.


title: A short proof of Shelah's eventual categoricity conjecture for AEC's with interpolation, under $GCH$

abstract: We provide a short proof of Shelah's eventual categoricity conjecture, assuming the Generalized Continuum Hypothesis ($GCH$), for abstract elementary classes (AEC's) with interpolation, a strengthening of amalgamation which is a necessary and sufficient condition for an AEC categorical in a high enough cardinal to satisfy eventual categoricity. The proof builds on an earlier topos-theoretic argument which was syntactic in nature and recurred to $\kappa$-classifying toposes. We carry out here the same proof idea but from the semantic perspective, making use of a connection between $\kappa$-classifying toposes on one hand and the Scott adjunction on the other hand, this latter developed independently.


title: Towards Multimodal Understanding of Passenger-Vehicle Interactions in Autonomous Vehicles: Intent/Slot Recognition Utilizing Audio-Visual Data

abstract: Understanding passenger intents from spoken interactions and car's vision (both inside and outside the vehicle) are important building blocks towards developing contextual dialog systems for natural interactions in autonomous vehicles (AV). In this study, we continued exploring AMIE (Automated-vehicle Multimodal In-cabin Experience), the in-cabin agent responsible for handling certain multimodal passenger-vehicle interactions. When the passengers give instructions to AMIE, the agent should parse such commands properly considering available three modalities (language/text, audio, video) and trigger the appropriate functionality of the AV system. We had collected a multimodal in-cabin dataset with multi-turn dialogues between the passengers and AMIE using a Wizard-of-Oz scheme via realistic scavenger hunt game. In our previous explorations, we experimented with various RNN-based models to detect utterance-level intents (set destination, change route, go faster, go slower, stop, park, pull over, drop off, open door, and others) along with intent keywords and relevant slots (location, position/direction, object, gesture/gaze, time-guidance, person) associated with the action to be performed in our AV scenarios. In this recent work, we propose to discuss the benefits of multimodal understanding of in-cabin utterances by incorporating verbal/language input (text and speech embeddings) together with the non-verbal/acoustic and visual input from inside and outside the vehicle (i.e., passenger gestures and gaze from in-cabin video stream, referred objects outside of the vehicle from the road view camera stream). Our experimental results outperformed text-only baselines and with multimodality, we achieved improved performances for utterance-level intent detection and slot filling.


title: On Lipschitz continuity of projections onto polyhedral moving sets

abstract: In Hilbert space setting we prove local lipchitzness of projections onto parametric polyhedral sets represented as solutions to systems of inequalities and equations with parameters appearing both in left-hand-sides and right-hand-sides of the constraints. In deriving main results we assume that data are locally Lipschitz functions of parameter and the relaxed constant rank constraint qualification condition is satisfied.


title: Study of muon pair production from positron annihilation at threshold energy

abstract: The muon collider represents one of the most promising solutions for a future machine exploring the high energy frontier, but several challenges due to the 2.2 $\mu$sec muon lifetime at rest have to be carefully considered. The LEMMA project is investigating the possibility of producing low emittance muon/antimuon pairs from the e$^+$e$^-$ annihilation process at threshold energy, resulting in small transverse emittance beams without any additional beam cooling. However most of the measurements available are performed at higher $\sqrt{s}$ values. It is therefore necessary to measure muons production in positron annihilation at threshold energy and compare the experimental results with the predictions in this specific energy regime. Apart from being a topic of physical interest by itself, these near to threshold measurements can have a sizeable impact on the estimation of the ultimate luminosity achievable in a muon collider with the LEMMA injection scheme.


title: Retrieval-based Goal-Oriented Dialogue Generation

abstract: Most research on dialogue has focused either on dialogue generation for openended chit chat or on state tracking for goal-directed dialogue. In this work, we explore a hybrid approach to goal-oriented dialogue generation that combines retrieval from past history with a hierarchical, neural encoder-decoder architecture. We evaluate this approach in the customer support domain using the Multiwoz dataset (Budzianowski et al., 2018). We show that adding this retrieval step to a hierarchical, neural encoder-decoder architecture leads to significant improvements, including responses that are rated more appropriate and fluent by human evaluators. Finally, we compare our retrieval-based model to various semantically conditioned models explicitly using past dialog act information, and find that our proposed model is competitive with the current state of the art (Chen et al., 2019), while not requiring explicit labels about past machine acts.


title: An Iterative Scientific Machine Learning Approach for Discovery of Theories Underlying Physical Phenomena

abstract: Form a pure mathematical point of view, common functional forms representing different physical phenomena can be defined. For example, rates of chemical reactions, diffusion and heat transfer are all governed by exponential-type expressions. If machine learning is used for physical problems, inferred from domain knowledge, original features can be transformed in such a way that the end expressions are highly aligned and correlated with the underlying physics. This should significantly reduce the training effort in terms of iterations, architecture and the number of required data points. We extend this by approaching a problem from an agnostic position and propose a systematic and iterative methodology to discover theories underlying physical phenomena. At first, commonly observed functional forms of theoretical expressions are used to transform original features before conducting correlation analysis to output. Using random combinations of highly correlated expressions, training of Neural Networks (NN) are performed. By comparing the rates of convergence or mean error in training, expressions describing the underlying physical problems can be discovered, leading to extracting explicit analytic equations. This approach was used in three blind demonstrations for different physical phenomena.


title: RandAugment: Practical automated data augmentation with a reduced search space

abstract: Recent work has shown that data augmentation has the potential to significantly improve the generalization of deep learning models. Recently, automated augmentation strategies have led to state-of-the-art results in image classification and object detection. While these strategies were optimized for improving validation accuracy, they also led to state-of-the-art results in semi-supervised learning and improved robustness to common corruptions of images. An obstacle to a large-scale adoption of these methods is a separate search phase which increases the training complexity and may substantially increase the computational cost. Additionally, due to the separate search phase, these approaches are unable to adjust the regularization strength based on model or dataset size. Automated augmentation policies are often found by training small models on small datasets and subsequently applied to train larger models. In this work, we remove both of these obstacles. RandAugment has a significantly reduced search space which allows it to be trained on the target task with no need for a separate proxy task. Furthermore, due to the parameterization, the regularization strength may be tailored to different model and dataset sizes. RandAugment can be used uniformly across different tasks and datasets and works out of the box, matching or surpassing all previous automated augmentation approaches on CIFAR-10/100, SVHN, and ImageNet. On the ImageNet dataset we achieve 85.0% accuracy, a 0.6% increase over the previous state-of-the-art and 1.0% increase over baseline augmentation. On object detection, RandAugment leads to 1.0-1.3% improvement over baseline augmentation, and is within 0.3% mAP of AutoAugment on COCO. Finally, due to its interpretable hyperparameter, RandAugment may be used to investigate the role of data augmentation with varying model and dataset size. Code is available online.


title: On Incentive Compatibility in Dynamic Mechanism Design With Exit Option in a Markovian Environment

abstract: This paper studies dynamic mechanism design in a quasilinear Markovian environment and analyzes a direct mechanism model of a principal-agent framework in which the agent is allowed to exit at any period. We consider that the agent's private information, referred to as state, evolves over time. The agent makes decisions of whether to stop or continue and what to report at each period. The principal, on the other hand, chooses decision rules consisting of an allocation rule and a set of payment rules to maximize her ex-ante expected payoff. In order to influence the agent's stopping decision, one of the terminal payment rules is posted-price, i.e., it depends only on the realized stopping time of the agent. We define the incentive compatibility in this dynamic environment in terms of Bellman equations, which is then simplified by establishing a one-shot deviation principle. Given the optimality of the stopping rule, a sufficient condition for incentive compatibility is obtained by constructing the state-dependent payment rules in terms of a set of functions parameterized by the allocation rule. A necessary condition is derived from envelope theorem, which explicitly formulates the state-dependent payment rules in terms of allocation rules. A class of monotone environment is considered to characterize the optimal stopping by a threshold rule. The posted-price payment rules are then pinned down in terms of the allocation rule and the threshold function up to a constant. The incentive compatibility constraints restrict the design of the posted-price payment rule by a regular condition.


title: K-Metamodes: frequency- and ensemble-based distributed k-modes clustering for security analytics

abstract: Nowadays processing of Big Security Data, such as log messages, is commonly used for intrusion detection purposed. Its heterogeneous nature, as well as combination of numerical and categorical attributes does not allow to apply the existing data mining methods directly on the data without feature preprocessing. Therefore, a rather computationally expensive conversion of categorical attributes into vector space should be utilised for analysis of such data. However, a well-known k-modes algorithm allows to cluster the categorical data directly and avoid conversion into the vector space. The existing implementations of k-modes for Big Data processing are ensemble-based and utilise two-step clustering, where data subsets are first clustered independently, whereas the resulting cluster modes are clustered again in order to calculate metamodes valid for all data subsets. In this paper, the novel frequency-based distance function is proposed for the second step of ensemble-based k-modes clustering. Besides this, the existing feature discretisation method from the previous work is utilised in order to adapt k-modes for processing of mixed data sets. The resulting k-metamodes algorithm was tested on two public security data sets and reached higher effectiveness in comparison with the previous work.


title: Optimal control of an abstract evolution variational inequality with application to homogenized plasticity

abstract: The paper is concerned with an optimal control problem governed by a state equation in form of a generalized abstract operator differential equation involving a maximal monotone operator. The state equation is uniquely solvable, but the associated solution operator is in general not G\^ateaux-differentiable. In order to derive optimality conditions, we therefore regularize the state equation and its solution operator, respectively, by means of a (smoothed) Yosida approximation. We show convergence of global minimizers for regularization parameter tending to zero and derive necessary and sufficient optimality conditions for the regularized problems. The paper ends with an application of the abstract theory to optimal control of homogenized quasi-static elastoplasticity.


title: 'Quantum weirdness' in exploitation by the international gravitational-wave observatory network

abstract: The detectors of the international gravitational-wave (GW) observatory network are currently taking data with sensitivities improved via squeezing the photon counting noise of the laser light used. Several GW candidate events, such as black-hole mergers, are already in the pipeline to be analyzed in detail. While the brand-new field of GW astronomy relies on squeezed light for reaching higher sensitivities, the physical understanding of such light, although being well-described by quantum theory, is still under discussion. Here, I present a description of why squeezed light, as now being exploited by GW observatories, constitutes rather remarkable physics. I consider the squeezed photon statistics and show its relation to the famous gedanken experiment formulated by Einstein, Podolsky, and Rosen in 1935. My description illuminates 'quantum weirdness' in a clear way and might be the starting point for finding the physics of quantum correlations in general, which scientists have been seeking for decades.


title: Acoustics of cubic bubbles: six coupled oscillators

abstract: In this manuscript we introduce cubic bubbles that are pinned to 3D printed millimetric frames immersed in water. Cubic bubbles are more stable over time and space than standard spherical bubbles, while still allowing large oscillations of their faces. We found that each face can be described as a harmonic oscillator coupled to the other ones. These resonators are coupled by the gas inside the cube but also by acoustic interactions in the liquid. We provide an analytical model and 3D numerical simulations predicting the resonance with a very good agreement. Acoustically, cubic bubbles prove to be good monopole sub-wavelength emitters, with non-emissive secondary surfaces modes.


title: EUDAQ $-$ A Data Acquisition Software Framework for Common Beam Telescopes

abstract: EUDAQ is a generic data acquisition software developed for use in conjunction with common beam telescopes at charged particle beam lines. Providing high-precision reference tracks for performance studies of new sensors, beam telescopes are essential for the research and development towards future detectors for high-energy physics. As beam time is a highly limited resource, EUDAQ has been designed with reliability and ease-of-use in mind. It enables flexible integration of different independent devices under test via their specific data acquisition systems into a top-level framework. EUDAQ controls all components globally, handles the data flow centrally and synchronises and records the data streams. Over the past decade, EUDAQ has been deployed as part of a wide range of successful test beam campaigns and detector development applications.


title: IPC-Net: 3D point-cloud segmentation using deep inter-point convolutional layers

abstract: Over the last decade, the demand for better segmentation and classification algorithms in 3D spaces has significantly grown due to the popularity of new 3D sensor technologies and advancements in the field of robotics. Point-clouds are one of the most popular representations to store a digital description of 3D shapes. However, point-clouds are stored in irregular and unordered structures, which limits the direct use of segmentation algorithms such as Convolutional Neural Networks. The objective of our work is twofold: First, we aim to provide a full analysis of the PointNet architecture to illustrate which features are being extracted from the point-clouds. Second, to propose a new network architecture called IPC-Net to improve the state-of-the-art point cloud architectures. We show that IPC-Net extracts a larger set of unique features allowing the model to produce more accurate segmentations compared to the PointNet architecture. In general, our approach outperforms PointNet on every family of 3D geometries on which the models were tested. A high generalisation improvement was observed on every 3D shape, especially on the rockets dataset. Our experiments demonstrate that our main contribution, inter-point activation on the network's layers, is essential to accurately segment 3D point-clouds.


title: Dependence correction of multiple tests with applications to sparsity

abstract: The present paper establishes new multiple procedures for simultaneous testing of a large number of hypotheses under dependence. Special attention is devoted to experiments with rare false hypotheses. This sparsity assumption is typically for various genome studies when a portion of remarkable genes should be detected. The aim is to derive tests which control the false discovery rate (FDR) always at finite sample size. The procedures are compared for the set up of dependent and independent $p$-values. It turns out that the FDR bounds differ by a dependency factor which can be used as a correction quantity. We offer sparsity modifications and improved dependence tests which generalize the Benjamini-Yekutieli test and adaptive tests in the sense of Storey. As a byproduct, an early stopped test is presented in order to bound the number of rejections. The new procedures perform well for real genome data examples.


title: Universal infrared scaling of gravitational wave background spectra

abstract: We study the general infrared behavior of the power spectrum of a stochastic gravitational wave background produced by stress tensor in the form bilinear in certain dynamical degrees of freedom. We find $\Omega_{\text{GW}}\propto k^3$ for a very wide class of the sources which satisfy a set of reasonable conditions. Namely, the $k^3$ scaling is universally valid when the source term is bounded in both frequency and time, is effective in a radiation-dominated stage, and for $k$ smaller than all the physical scales associated with the source, like the peak frequency, peak width, and time duration, etc. We also discuss possible violations of these conditions and their physical implications.


title: The Loewy series of an FCP (distributive) ring extension

abstract: We examine the Loewy series associated to the lattice of subalgebras of an extension of commutative rings.


title: X-ray and Visible Spectra Circular Motion Images Dataset

abstract: We present the collections of images of the same rotating plastic object made in X-ray and visible spectra. Both parts of the dataset contain 400 images. The images are maid every 0.5 degrees of the object axial rotation. The collection of images is designed for evaluation of the performance of circular motion estimation algorithms as well as for the study of X-ray nature influence on the image analysis algorithms such as keypoints detection and description. The dataset is available at https://github.com/Visillect/xvcm-dataset.


title: The Directed Spanning Forest in the Hyperbolic space

abstract: The Euclidean Directed Spanning Forest is a random forest in $\mathbb{R}^d$ introduced by Baccelli and Bordenave in 2007 and we introduce and study here the analogous tree in the hyperbolic space. The topological properties of the Euclidean DSF have been stated for $d=2$ and conjectured for $d \ge 3$ (see further): it should be a tree for $d \in \{2,3\}$ and a countable union of disjoint trees for $d \ge 4$. Moreover, it should not contain bi-infinite branches whatever the dimension $d$. In this paper, we construct the Hyperbolic Directed Spanning Forest (HDSF) and we give a complete description of its topological properties, which are radically different from the Euclidean case. Indeed, for any dimension, the hyperbolic DSF is a tree containing infinitely many bi-infinite branches, whose asymptotic directions are investigated. The strategy of our proofs consists in exploiting the Mass Transport Principle, which is adapted to take advantage of the invariance by isometries. Using appropriate mass transports is the key to carry over the hyperbolic setting ideas developed in percolation and for spanning forests. This strategy provides an upper-bound for horizontal fluctuations of trajectories, which is the key point of the proofs. To obtain the latter, we exploit the representation of the forest in the hyperbolic half space.


title: Shuffle algebra realizations of type $A$ super Yangians and quantum affine superalgebras for all Cartan data

abstract: We introduce super Yangians of $\mathfrak{gl}(V),\mathfrak{sl}(V)$ (in the new Drinfeld realization) associated to all Dynkin diagrams of $\mathfrak{gl}(V)$, where $V$ is a finite-dimensional super vector space. We show that all of them are isomorphic to the super Yangians introduced by Maxim Nazarov, by identifying them with the corresponding RTT super Yangians. However, their "positive halves" are not pairwise isomorphic, and we obtain the shuffle algebra realizations of those. We adapt the latter to the trigonometric setup by obtaining the shuffle algebra realizations of the "positive halves" of type $A$ quantum loop superalgebras associated to arbitrary Dynkin diagrams.


title: Cross-Modal Subspace Learning with Scheduled Adaptive Margin Constraints

abstract: Cross-modal embeddings, between textual and visual modalities, aim to organise multimodal instances by their semantic correlations. State-of-the-art approaches use maximum-margin methods, based on the hinge-loss, to enforce a constant margin m, to separate projections of multimodal instances from different categories. In this paper, we propose a novel scheduled adaptive maximum-margin (SAM) formulation that infers triplet-specific constraints during training, therefore organising instances by adaptively enforcing inter-category and inter-modality correlations. This is supported by a scheduled adaptive margin function, that is smoothly activated, replacing a static margin by an adaptively inferred one reflecting triplet-specific semantic correlations while accounting for the incremental learning behaviour of neural networks to enforce category cluster formation and enforcement. Experiments on widely used datasets show that our model improved upon state-of-the-art approaches, by achieving a relative improvement of up to ~12.5% over the second best method, thus confirming the effectiveness of our scheduled adaptive margin formulation.


title: Nature of the field-induced magnetic incommensurability in multiferroic Ni$_3$TeO$_6$

abstract: Using single crystal neutron scattering we show that the magnetic structure Ni$_3$TeO$_6$ at fields above 8.6 T along the $c$ axis changes from a commensurate collinear antiferromagnetic structure with spins along c and ordering vector $Q_C$= (0 0 1.5), to a conical spiral with propagation vector $Q_{IC}$= (0 0 1.5$\pm\delta$),$\delta\sim$0.18, having a significant spin component in the ($a$,$b$) plane. We determine the phase diagram of this material in magnetic fields up to 10.5 T along $c$ and show the phase transition between the low field and conical spiral phases is of first order by observing a discontinuous jump of the ordering vector. $Q_{IC}$ is found to drift both as function of magnetic field and temperature. Preliminary inelastic neutron scattering reveals that the spin wave gap in zero field has minima exactly at $Q_{IC}$ and a gap of about 1.1 meV consisting with a cross-over around 8.6 T. Our findings excludes the possibility of the inverse Dzyaloshinskii-Moriya interaction as a cause for the giant magneto-electric coupling earlier observed in this material and advocates for the symmetric exchangestriction as the origin of this effect.


title: Quantitative Estimates on Reiterated Homogenization of Linear Elliptic operators Using Fourier Transform Methods

abstract: In this paper, we are interested in the reiterated homogenization of linear elliptic equations of the form $-\frac{\partial}{\partial x_{i}} \left(a_{i j} \left(\frac{x}{\varepsilon}, \frac{x}{\varepsilon^{2}}\right) \frac{\partial u_\varepsilon}{\partial x_{j}}\right)=f$ in $\Omega$ with Dirichlet boundary conditions. We obtain error estimates $O(\varepsilon)$ for a bounded $C^{1,1}$ domain for this equation as well as the interior Lipschitz estimates at (very) large scale. Compared to the general homogenization problems, the difficulty in the reiterated homogenization is that we need to handle different scales of $x$. To overcome this difficulty, we firstly introduce the Fourier transform in the homogenization theory to separate these different scales. We also note that this method may be adapted to the following reiterated homogenization problem: $-\frac{\partial}{\partial x_{i}} \left(a_{i j} \left(\frac{x}{\varepsilon},\cdots, \frac{x}{\varepsilon^{N}}\right) \frac{\partial u_\varepsilon}{\partial x_{j}} \right) = f$ in $\Omega$ with Dirichlet boundary conditions. Moreover, our results may be extended to the related Neumann boundary problems without any real difficulty.


title: On best constants in $L^2$ approximation

abstract: In this paper we provide explicit upper and lower bounds on certain $L^2$ $n$-widths, i.e., best constants in $L^2$ approximation. We further describe a numerical method to compute these $n$-widths approximately, and prove that this method is superconvergent. Based on our numerical results we formulate a conjecture on the asymptotic behaviour of the $n$-widths. Finally we describe how the numerical method can be used to compute the breakpoints of the optimal spline spaces of Melkman and Micchelli, which have recently received renewed attention in the field of Isogeometric Analysis.


title: Symplectic Field Theory of the Galilean Covariant Scalar and Spinor Representations

abstract: Exploring the concept of the extended Galilei group $\mathcal{G}$, a representation for the symplectic quantum mechanics in the manifold of $\mathcal{G}$, written in the light-cone of a five-dimensional De Sitter space-time, is derived consistently with the method of the Wigner function. A Hilbert space is constructed endowed with a simplectic structure, studying unitary operators describing rotations and translations, whose generators satisfy the Lie algebra of $\mathcal {G}$. This representation gives rise to the Schr\"{o}dinger (Klein-Gordon-like) equation for the wave functions in phase-space, such that the dependent variables have the position and linear momentum contents. Wave functions are associated with the Wigner function through the Moyal product, such that the wave functions represent a quasi-amplitude of probability. We construct the Pauli-Schr\"{o}dinger (Dirac-like) equation in phase-space in its explicitly covariant form. Finally, we show the equivalence between the five dimensional formalism of phase-space with the usual formalism, proposing a solution that recover the non-covariant form of the Pauli-Schr\"{o}dinger equation in phase-space.


title: Valley polarized current and resonant electronic transport in a non-uniform $\mathbf{MoS}_2$ zigzag nanoribbon

abstract: Using the tight-binding approach we study the electronic transport in a $\mathrm{MoS}_2$ zigzag ribbon with a spatially varying potential profile. Considering a ribbon with a smooth potential step in the Fermi energy regime where the transport is dominated by the edge modes, we find that the conductance exhibits sharp resonances due to the resonant transport through a n-p-n junction effectively created in the structure. We show that in a gated wire the current carried on the wire edges can be blocked despite the metallic band structure of the ribbon. For the Fermi energies corresponding to $\mathrm{MoS}_2$ bulk conduction band, we identify states of the semi-infinite wire that are polarized in the $K$, $K'$, $Q$ valleys and exhibit the valley Hall effect distinctly visible in a nonuniform ribbon. Finally, we show that well-defined momenta of the valley polarized modes allow nearly complete valley polarization of the current in a locally gated ribbon.


title: Equivariant Hamiltonian Flows

abstract: This paper introduces equivariant hamiltonian flows, a method for learning expressive densities that are invariant with respect to a known Lie-algebra of local symmetry transformations while providing an equivariant representation of the data. We provide proof of principle demonstrations of how such flows can be learnt, as well as how the addition of symmetry invariance constraints can improve data efficiency and generalisation. Finally, we make connections to disentangled representation learning and show how this work relates to a recently proposed definition.


title: The Fundamentals of the 21-cm Line

abstract: We review some of the fundamental physics necessary for computing the highly-redshifted spin-flip background. We first discuss the radiative transfer of the 21-cm line and define the crucial quantities of interest. We then review the processes that set the spin temperature of the transition, with a particular focus on Wouthuysen-Field coupling, which is likely to be the most important process during and after the Cosmic Dawn. Finally, we discuss processes that heat the intergalactic medium during the Cosmic Dawn, including the scattering of Lyman-alpha, cosmic microwave background, and X-ray photons.


title: Tensor network strategies for calculating biexcitons and trions in monolayer 2D materials beyond the ground state

abstract: Recently in [Phys. Rev. B 99, 241301(R) (2019)] tensor networks build upon logical circuits were briefly introduced to retrieve exciton and biexciton states. Compared to a conventional approach the tensor network methods scales logarithmic instead of linear in the grid points of the Brioullin zone and linear instead of exponential in the number of electrons and holes. This enables calculations with higher precision on the full Brioullin zone than previously possible. In this paper extensive details for an efficient implementation and the corresponding mathematical background are presented. In particular this includes applications and results for excitons, trions and biexcitons (for monolayer MoS$_2$ as example), going beyond the initial brief introduction. Furthermore strategies for calculating selective excited bound states and tests of common approximations are discussed making use of the high accuracy full Brioullin zone treatment of the tensor network method.


title: Magnetic Field Measurement and Analysis for the Muon g-2 Experiment

abstract: The Muon g-2 Experiment (E989) at Fermilab measures the muon magnetic anomaly, aiming to resolve the greater than 3$\sigma$ discrepancy between the previous measurement and the Standard Model calculation with an improved precision of 140 part-per-billion (ppb). In E989, the muon beam is stored in a ring magnet. The spin precession frequency $\omega_{a}$ is measured by counting the decay positrons in 24 calorimeters, and the magnetic field is measured by nuclear magnet resonance (NMR) probes. An in-vacuum field scanning system consisting of NMR probes and read-out electronics has been implemented to measure the magnetic field applied to the muon beam. An additional 378 NMR probes, placed at fixed locations outside the vacuum chamber, monitor the field drift in between field scans. A high-accuracy probe was designed for calibrating the probes in the scanner. In this presentation, the magnetic field measurement hardware system and analysis methods will be described in detail. The progress of the Run-1 data analysis and improvements in Run-2 will be presented as well.


title: Deep recurrent Gaussian process with variational Sparse Spectrum approximation

abstract: Modeling sequential data has become more and more important in practice. Some applications are autonomous driving, virtual sensors and weather forecasting. To model such systems, so called recurrent models are frequently used. In this paper we introduce several new Deep recurrent Gaussian process (DRGP) models based on the Sparse Spectrum Gaussian process (SSGP) and the improved version, called variational Sparse Spectrum Gaussian process (VSSGP). We follow the recurrent structure given by an existing DRGP based on a specific variational sparse Nystr\"om approximation, the recurrent Gaussian process (RGP). Similar to previous work, we also variationally integrate out the input-space and hence can propagate uncertainty through the Gaussian process (GP) layers. Our approach can deal with a larger class of covariance functions than the RGP, because its spectral nature allows variational integration in all stationary cases. Furthermore, we combine the (variational) Sparse Spectrum ((V)SS) approximations with a well known inducing-input regularization framework. We improve over current state of the art methods in prediction accuracy for experimental data-sets used for their evaluation and introduce a new data-set for engine control, named Emission.


title: Time-dependent Goos-H\"anchen Shifts in Gapped Graphene

abstract: We study the Goos-H\"anchen (GH) shifts for transmitted Dirac fermions in gapped graphene through a single barrier structure having a time periodic oscillating component. Our analysis shows that the GH shifts in transmission for central band $l=0$ and two first sidebands $l=\pm1$ change sign at the Dirac points $E=V+l\hbar\omega$. In particular the GH shifts inbtransmission exhibit enhanced peaks at each bound state associated with the single barrier when the incident angle is less than the critical angle associated with total reflection. Klein tunneling, reflected by perfect transmission at normal incidence, is also preserved in the presence of an oscillating barrier.


title: Twin prime polynomials in function field

abstract: We resolve the function field analogue of the conjecture concerning distribution of twin primes in arithmetic progression.


title: Physics Potential of ESS$\nu$SB in the presence of a Light Sterile Neutrino

abstract: ESS$\nu$SB is a proposed neutrino super-beam project at the ESS facility. We study the performance of this setup in the presence of a light eV-scale sterile neutrino, considering 540 km baseline with 2 years (8 years) of $\nu$ ($\bar\nu$) run-plan. This baseline offers the possibility to work around the second oscillation maximum, providing high sensitivity towards CP-violation (CPV). We explore in detail its capability in resolving CPV generated by the standard CP phase $\delta_{13}$, the new CP phase $\delta_{14}$, and the octant of $\theta_{23}$. We find that the sensitivity to CPV induced by $\delta_{13}$ deteriorates noticeably when going from $3\nu$ to 4$\nu$ case. The two phases $\delta_{13}$ and $\delta_{14}$ can be reconstructed with a 1$\sigma$ uncertainty of $\sim15^0$ and $ \sim35^0$ respectively. Concerning the octant of $\theta_{23}$, we find poor sensitivity in both $3\nu$ and $4\nu$ schemes. Our results show that a setup like ESS$\nu$SB working around the second oscillation maximum with a baseline of 540 km, performs quite well to explore CPV in 3$\nu$ scheme, but it is not optimal for studying CP properties in 3+1 scheme.


title: Astro2020 APC White Paper: SmallSats for Astrophysics

abstract: The commercial SmallSat industry is booming and has developed numerous low-cost, capable satellite buses. SmallSats can be used as vehicles for technology development or to host science missions. Missions hosted on SmallSats can answer specific science questions that are difficult or impossible to answer with larger facilities, can be developed relatively quickly, serve to train engineering and scientists, and provide access to space for small institutions. SmallSats complement larger Astrophysics missions and allow the broader community to test new ideas at the bottom of the market, creating new capabilities which find their way to larger missions. Currently, NASA Astrophysics does not provide flight opportunities that would allow technology maturation of instrument systems or concepts of operations. Without flight opportunities to mature technologies, missions hosted on SmallSats are likely to be considered high risk, and face long odds being selected for implementation. Our primary suggestion is that NASA decouples science and technology for SmallSats by creating a technology-based SmallSat AO, modeled after the Earth Sciences InVEST call. Such AO would help reduce the new technology risk for science missions of any size. We also suggest that NASA provides additional science-driven SmallSat opportunities at the ~$12M funding level, provides access to new launchers free of charge to proposers, and re-structures the solicitation AOs so that SmallSats do not compete with other mission classes such as balloons.


title: The proton structure via double parton scattering

abstract: In this talk we present the results of the investigation on the so called double parton distribution functions (dPDFs), accessible quantities in high energy proton-proton and proton nucleus collisions, in double parton scattering processes (DPS). These new and almost unknown distributions encode information on how partons inside a proton are correlated among each other and represent a new tool to explore the three dimensional partonic structure of hadrons. In the present contribution, results of the calculations of dPFDs are presented also including phenomenological investigations on the impact of double correlations in experimental observables, showing how the latter could be observed in the next LHC run. In addition we discuss how present information on experimental observables could be related to the transverse proton structure.


title: Tree amalgamations and hyperbolic boundaries

abstract: We look at tree amalgamations of locally finite quasi-transitive hyperbolic graphs and prove that the homeomorphism type of the hyperbolic boundary of such a tree amalgamation only depends on the homeomorphism types of the hyperbolic boundaries of their factors. Additionally, we show that two locally finite quasi-transitive hyperbolic graphs have homeomorphic hyperbolic boundaries if and only if the homeomorphism types of the hyperbolic boundaries of the factors of their terminal factorisations coincide.


title: Combining nuclear reactions and structure with the dispersive optical model

abstract: A review of recent applications of the nonlocal dispersive optical model (DOM) is presented that allows a simultaneous description of nuclear structure and nuclear reactions. An assessment of the quality of the resulting potentials for $^{40}$Ca and $^{48}$Ca is discussed for the description of the $(e,e'p)$ reaction to valence hole states and the possibility of interpreting the data in terms of absolute spectroscopic factors. The relevance of these results in the context of conflicting interpretations between transfer and knockout reactions is pointed out as well as the importance of proton reaction cross sections for isotopes with neutron excess. Application of the nonlocal DOM to $^{48}$Ca incorporates the effect of the 8 additional neutrons and allows for an excellent description of elastic scattering data of both protons and neutrons. The corresponding neutron distribution constrained by all available data generates a prediction for the neutron skin that is larger than most mean-field and available \textit{ab initio} results. Results are presented for the most recent nonlocal DOM analysis of $^{208}$Pb.


title: Computational prediction of replication sites in DNA sequences using complex number representation

abstract: Computational prediction of origin of replication (ORI) has been of great interest in bioinformatics and several methods including GC-skew, auto-correlation etc. have been explored in the past. In this paper, we have extended the auto-correlation method to predict ORI location with much higher resolution for prokaryotes and eukaryotes, which can be very helpful in experimental validation of the computational predictions. The proposed complex correlation method (iCorr) converts the genome sequence into a sequence of complex numbers by mapping the nucleotides to {+1,-1,+i,-i} instead of {+1,-1} used in the auto-correlation method (here, i is square root of -1). Thus, the iCorr method exploits the complete spatial information about the positions of all the four nucleotides unlike the earlier auto-correlation method which uses the positional information of only one nucleotide. Also, the earlier auto-correlation method required visual inspection of the obtained graphs to identify the location of origin of replication. The proposed iCorr method does away with this need and is able to identify the origin location simply by picking the peak in the iCorr graph.


title: On classical orthogonal polynomials related to Hahn's operator

abstract: Let ${\bf u}$ be a nonzero linear functional acting on the space of polynomials. Let $\mathbf{D}_{q,\omega}$ be a Hahn operator acting on the dual space of polynomials. Suppose that there exist polynomials $\phi$ and $\psi$, with $\mathrm{deg}\,\phi\leq2$ and $\mathrm{deg}\,\psi\leq1$, so that the functional equation $$ \mathbf{D}_{q,\omega}(\phi {\bf u})=\psi{\bf u} $$ holds, where the involved operations are defined in a distributional sense. In this note we state necessary and sufficient conditions, involving only the coefficients of $\phi$ and $\psi$, such that ${\bf u}$ is regular, that is, there exists a sequence of orthogonal polynomials with respect to ${\bf u}$. A key step in the proof relies upon the fact that a distributional Rodrigues-type formula holds without assuming that ${\bf u}$ is regular.


title: Observations of the 86 GHz SiO maser sources in the Central Parsec of the Galactic Centre

abstract: We present results of 3 mm observations of SiO maser sources in the Galactic Centre (GC) from observations with the Australia Telescope Compact Array between $2010-2014$, along the transitions of the SiO molecule at $v = 1, J = 2-1$ at 86.243 GHz and $v = 2, J = 2-1$ at 85.640 GHz. We also present the results of the 3 mm observations with Atacama Large Millimeter/Submillimeter Array (ALMA). We detected 5 maser sources from the ATCA data, IRS 7, IRS 9, IRS 10EE, IRS 12N, and IRS 28; and 20 sources from the ALMA data including 4 new sources. These sources are predominantly late-type giants or emission line stars with strong circumstellar maser emission. We analyse these sources and calculate their proper motions. We also study the variability of the maser emission. IRS 7, IRS 12N and IRS 28 exhibit long period variability of the order of $1 - 2$ years, while other sources show steady increase or decrease in flux density and irregular variability over observation timescales. This behaviour is consistent with the previous observations.


title: Identifiability in Phylogenetics using Algebraic Matroids

abstract: Identifiability is a crucial property for a statistical model since distributions in the model uniquely determine the parameters that produce them. In phylogenetics, the identifiability of the tree parameter is of particular interest since it means that phylogenetic models can be used to infer evolutionary histories from data. In this paper we introduce a new computational strategy for proving the identifiability of discrete parameters in algebraic statistical models that uses algebraic matroids naturally associated to the models. We then use this algorithm to prove that the tree parameters are generically identifiable for 2-tree CFN and K3P mixtures. We also show that the $k$-cycle phylogenetic network parameter is identifiable under the K2P and K3P models.


title: Hamiltonicity in Semi-Regular Tessellation Dual Graphs

abstract: This paper shows NP-completeness for finding Hamiltonian cycles in induced subgraphs of the dual graphs of semi-regular tessilations. It also shows NP-hardness for a new, wide class of graphs called augmented square grids. This work follows up on prior studies of the complexity of finding Hamiltonian cycles in regular and semi-regular grid graphs.


title: Profile of and Variability in Double-Peaked Balmer Emission Lines in 3C 445

abstract: We extract the multiple-epoch Balmer-line profiles of the heavily obscured quasar 3C 445 from the spectral curves in the literature, and analyze the emission-line profiles of the H$\alpha$ and H$\beta$ lines and the profile variability in the H$\alpha$ line in the large time interval of more than three decades. The profile comparison between the H$\alpha$ and H$\beta$ lines shows that both Balmer lines share the profile with the same form, while the blue system of the H$\beta$ line is seriously weaker than that of the H$\alpha$ line. Moreover, the blue system of the H$\alpha$ line suddenly disappeared completely and then did not appear again, however the other two components did not exhibit significant variation in the velocity or the amplitude. These findings suggest that the blue system of 3C 445, as with SDSS J153636.22+044127.0 and its analogs, is probable the result of the shock-heated outflowing gases. The observation angle of almost edge-on which the previous studies suggested can easily produce the high-speed and high-temperature shock in the collision between the massive outflow and the inner surface of the dusty torus.


title: Feedback Stabilization of the Three-Dimensional Navier-Stokes Equations using Generalized Lyapunov Equations

abstract: The approximation of the value function associated to a stabilization problem formulated as optimal control problem for the Navier-Stokes equations in dimension three by means of solutions to generalized Lyapunov equations is proposed and analyzed. The specificity, that the value function is not differentiable on the state space must be overcome. For this purpose a new class of generalized Lyapunov equations is introduced. Existence of unique solutions to these equations is demonstrated. They provide the basis for feedback operators, which approximate the value function, the optimal states and controls, up to arbitrary order.


title: Macroscopic approximation methods for the analysis of adaptive networked agent-based models: The example of a two-sector investment model

abstract: In this paper, we propose a statistical aggregation method for agent-based models with heterogeneous agents that interact both locally on a complex adaptive network and globally on a market. The method combines three approaches from statistical physics: (a) moment closure, (b) pair approximation of adaptive network processes, and (c) thermodynamic limit of the resulting stochastic process. As an example of use, we develop a stochastic agent-based model with heterogeneous households that invest in either a fossil-fuel or renewables-based sector while allocating labor on a competitive market. Using the adaptive voter model, the model describes agents as social learners that interact on a dynamic network. We apply the approximation methods to derive a set of ordinary differential equations that approximate the macro-dynamics of the model. A comparison of the reduced analytical model with numerical simulations shows that the approximation fits well for a wide range of parameters. The proposed method makes it possible to use analytical tools to better understand the dynamical properties of models with heterogeneous agents on adaptive networks. We showcase this with a bifurcation analysis that identifies parameter ranges with multi-stabilities. The method can thus help to explain emergent phenomena from network interactions and make them mathematically traceable.


title: Acoustic Model Adaptation from Raw Waveforms with SincNet

abstract: Raw waveform acoustic modelling has recently gained interest due to neural networks' ability to learn feature extraction, and the potential for finding better representations for a given scenario than hand-crafted features. SincNet has been proposed to reduce the number of parameters required in raw-waveform modelling, by restricting the filter functions, rather than having to learn every tap of each filter. We study the adaptation of the SincNet filter parameters from adults' to children's speech, and show that the parameterisation of the SincNet layer is well suited for adaptation in practice: we can efficiently adapt with a very small number of parameters, producing error rates comparable to techniques using orders of magnitude more parameters.


title: Cylinder curves in finite holonomy flat metrics

abstract: For an orientable surface of finite type equipped with a flat metric with holonomy of finite order q, the set of maximal embedded cylinders can be empty, non-empty, finite, or infinite. The case when q < 3 is well-studied as such surfaces are (semi-)translation surfaces. Not only is the set always infinite, the core curves form an infinite diameter subset of the curve complex. In this paper we focus on the case q > 2 and construct examples illustrating a range of behaviors for the embedded cylinder curves. We prove that if q > 2 and the surface is fully punctured, then the embedded cylinder curves form a finite diameter subset of the curve complex. The same analysis shows that the embedded cylinder curves can only have infinite diameter when the metric has a very specific form. Using this we characterize precisely when the embedded cylinder curves accumulate on a point in the Gromov boundary.


title: Comment on the recent article "Fission dynamics of from saddle to scission and beyond" by Bulgac et al., published in Phys. Rev. {\bf C 100}, 034615 (2019)

abstract: In this note we provide answers to criticisms made the appendix D of the article [Phys. Rev. C100, 034615 (2019)] against to the theory developed recently and known a "Stochastic Mean-Field" (SMF) approach and its applications. Briefly, we list our replies and leave the judgment to the readers.


title: Ontology Based Information Integration: A Survey

abstract: An ontology makes a special vocabulary which describes the domain of interest and the meaning of the term on that vocabulary. Based on the precision of the specification, the concept of the ontology contains several data and conceptual models. The notion of ontology has emerged into wide ranges of applications including database integration, peer-to-peer systems, e-commerce, semantic web, etc. It can be considered as a practical tool for conceptualizing things which are expressed in computer format. This paper is devoted to ontology matching as a mean or information integration. Several matching solutions have been presented from various areas such as databases, information systems and artificial intelligence. All of them take advantages of different attributes of ontology like, structures, data instances, semantics and labels and its other valuable properties. The solutions have some common techniques and cope with similar problems, but use different methods for combining and exploiting their results. Information integration is among the first classes of applications at which matching was considered as a probable solution. Information integration contains many fields including, data integration, schema integration, catalogue integration and semantic integration. We cover these notions in term of ontology in our proposed paper.


title: Anderson Localization For The Quantum Kicked Rotor Model

abstract: In this paper, we establish Anderson localization for the quantum kicked rotor model. More precisely, we proved that \begin{equation*} H=\tan\pi\left(x_0+my_0+\frac{m(m-1)}{2}\omega\right) \delta_{mn}+\epsilon S_\phi \end{equation*} has pure point spectrum with exponentially decaying eigenfunctions for almost all $\omega \in DC$ (diophantine condition).


title: $\mathcal{H}_2$-gap model reduction for stabilizable and detectable systems

abstract: We formulate here an approach to model reduction that is well-suited for linear time-invariant control systems that are stabilizable and detectable but may otherwise be unstable. We introduce a modified $\mathcal{H}_2$-error metric, the $\mathcal{H}_2$-gap, that provides an effective measure of model fidelity in this setting. While the direct evaluation of the $\mathcal{H}_2$-gap requires the solutions of a pair of algebraic Riccati equations associated with related closed-loop systems, we are able to work entirely within an interpolatory framework, developing algorithms and supporting analysis that do not reference full-order closed-loop Gramians. This leads to a computationally effective strategy yielding reduced models designed so that the corresponding reduced closed-loop systems will interpolate the full-order closed-loop system at specially adapted interpolation points, without requiring evaluation of the full-order closed-loop system nor even computation of the feedback law that determines it. The analytical framework and computational algorithm presented here provides an effective new approach toward constructing reduced-order models for unstable systems. Numerical examples for an unstable convection diffusion equation and a linearized incompressible Navier-Stokes equation illustrate the effectiveness of this approach.


title: FNHSM_HRS: Hybrid recommender system using fuzzy clustering and heuristic similarity measure

abstract: Nowadays, Recommender Systems have become a comprehensive system for helping and guiding users in a huge amount of data on the Internet. Collaborative Filtering offers to active users based on the rating of a set of users. One of the simplest and most comprehensible and successful models is to find users with a taste in recommender systems. In this model, with increasing number of users and items, the system is faced to scalability problem. On the other hand, improving system performance when there is little information available from ratings, that is important. In this paper, a hybrid recommender system called FNHSM_HRS which is based on the new heuristic similarity measure (NHSM) along with a fuzzy clustering is presented. Using the fuzzy clustering method in the proposed system improves the scalability problem and increases the accuracy of system recommendations. The proposed system is based on the collaborative filtering model and is partnered with the heuristic similarity measure to improve the system's performance and accuracy. The evaluation of the proposed system based results on the MovieLens dataset carried out the results using MAE, Recall, Precision and Accuracy measures Indicating improvement in system performance and increasing the accuracy of recommendation to collaborative filtering methods which use other measures to find similarities.


title: Multiscale Influenza Forecasting

abstract: Influenza forecasting in the United States (US) is complex and challenging for reasons including substantial spatial and temporal variability, nested geographic scales of forecast interest, and heterogeneous surveillance participation. Here we present a flexible influenza forecasting model called Dante, a multiscale flu forecasting model that learns rather than prescribes spatial, temporal, and surveillance data structure. Forecasts at the Health and Human Services (HHS) regional and national scales are generated as linear combinations of state forecasts with weights proportional to US Census population estimates, resulting in coherent forecasts across nested geographic scales. We retrospectively compare Dante's short-term and seasonal forecasts at the state, regional, and national scales for the 2012 through 2017 flu seasons in the US to the Dynamic Bayesian Model (DBM), a leading flu forecasting model. Dante outperformed DBM for nearly all spatial units, flu seasons, geographic scales, and forecasting targets. The improved performance is due to Dante making forecasts, especially short-term forecasts, more confidently and accurately than DBM, suggesting Dante's improved forecast scores will also translate to more useful forecasts for the public health sector. Dante participated in the prospective 2018/19 FluSight challenge hosted by the Centers for Disease Control and Prevention and placed 1st in both the national and regional competition and the state competition. The methodology underpinning Dante can be used in other disease forecasting contexts where nested geographic scales of interest exist.


title: Optimisation of crust freezing in meat processing via Computational Fluid Dynamics

abstract: In this work a numerical model for two-dimensional axisymmetric continuous freezing by impingement of processed meat or similar products in food industry moving along a conveyor belt is presented. The model represents a more computationally efficient alternative to solve conjugate heat transfer between a fluid and a solid, accompanied by phase change in some constituents of the solid phase. In the model presented here it is assumed that the solid can be represented as an homogeneous medium, with its thermophysical properties depending on the temperature. The impingement freezing model is conceived to be valid for highly processed vegetarians products or meat such as sausages, mince or ham freezing. Furthermore, this approach is much simpler in terms of computational cost whilst it still captures the complexity of continuous freezing under industrial setting. The methodology is implemented as a new solver in the widely used open-source Computational Fluid Dynamics (CFD) library OpenFOAM. Overall, highly non-linear freezing behaviour was found due to the phase change inside the solid and the associated heat of fusion. We studied the effect of high fluid Reynolds numbers as well as investigating the optimal distance between the jet and the solid surface for different speeds of the conveyor. We found that the maximum freezing is obtained positioning the jet at a distance H = 7.2D (where D is the diameter of the impinging jet) and setting the speed of the conveyor such that the P\'eclet number of the solid is $\text{Pe}_{\text{s}}=8244$. The methodology developed allows to obtain detailed insight on the freezing process for various impingement configurations at a minimum computational cost using a freely available open-source tool.


title: Backpropagation in the Simply Typed Lambda-calculus with Linear Negation

abstract: Backpropagation is a classic automatic differentiation algorithm computing the gradient of functions specified by a certain class of simple, first-order programs, called computational graphs. It is a fundamental tool in several fields, most notably machine learning, where it is the key for efficiently training (deep) neural networks. Recent years have witnessed the quick growth of a research field called differentiable programming, the aim of which is to express computational graphs more synthetically and modularly by resorting to actual programming languages endowed with control flow operators and higher-order combinators, such as map and fold. In this paper, we extend the backpropagation algorithm to a paradigmatic example of such a programming language: we define a compositional program transformation from the simply-typed lambda-calculus to itself augmented with a notion of linear negation, and prove that this computes the gradient of the source program with the same efficiency as first-order backpropagation. The transformation is completely effect-free and thus provides a purely logical understanding of the dynamics of backpropagation.


title: From the Ingham--Jessen property to mixed-mean inequalities

abstract: For every symmetric mean $\mathscr{M} \colon \bigcup_{n=1}^\infty I^n \to I$ (where $I$ an interval) and a nonzero function $W \colon \{1,\dots,n\} \to \mathbb{N} \cup \{0\}$, define an $n$-variable mean by $$\mathscr{M}_W(x):=\mathscr{M}\big(\underbrace{x_1,\dots,x_1}_{W(1)\text{-times}},\dots,\underbrace{x_n,\dots,x_n}_{W(n)\text{-times}}\big) \text{ for }x=(x_1,\dots,x_n) \in I^n.$$ Given two symmetric means $\mathscr{M},\,\mathscr{N} \colon \bigcup_{n=1}^\infty I^n \to I$ satisfying the so-called Ingham--Jessen inequality and some nonzero functions $F_1,\dots,F_k$, $G_1,\dots,G_l \colon \{1,\dots,n\} \to \mathbb{N} \cup \{0\}$, we establish sufficient conditions for inequalities of the form $$\mathscr{N} \big( \mathscr{M}_{F_1}(x),\dots,\mathscr{M}_{F_k}(x)\big) \le \mathscr{M} \big( \mathscr{N}_{G_1}(x),\dots,\mathscr{N}_{G_l}(x)\big) \qquad(x \in I^n).$$ Our results provide a unified approach to the celebrated inequalities obtained by Kedlaya in 1994 and by Leng--Si--Zhu in 2004 and offer also new families of mixed-mean inequalities.


title: Secure Multi-party Quantum Computation with a Dishonest Majority

abstract: The cryptographic task of secure multi-party (classical) computation has received a lot of attention in the last decades. Even in the extreme case where a computation is performed between $k$ mutually distrustful players, and security is required even for the single honest player if all other players are colluding adversaries, secure protocols are known. For quantum computation, on the other hand, protocols allowing arbitrary dishonest majority have only been proven for $k=2$. In this work, we generalize the approach taken by Dupuis, Nielsen and Salvail (CRYPTO 2012) in the two-party setting to devise a secure, efficient protocol for multi-party quantum computation for any number of players $k$, and prove security against up to $k-1$ colluding adversaries. The quantum round complexity of the protocol for computing a quantum circuit of $\{\mathsf{CNOT, T}\}$ depth $d$ is $O(k \cdot (d + \log n))$, where $n$ is the security parameter. To achieve efficiency, we develop a novel public verification protocol for the Clifford authentication code, and a testing protocol for magic-state inputs, both using classical multi-party computation.


title: Long paths and connectivity in {$1$}-independent random graphs

abstract: Given a graph $G$, a probability measure $\mu$ on the subsets of the edge set of $G$ is said to be $1$-independent if events determined by edge sets that are at graph distance at least $1$ apart in $G$ are independent. Call such a probability measure a $1$-ipm on $G$, and denote by $\mathbf{G}_{\mu}$ the associated random spanning subgraph of $G$. Let $\mathcal{M}_{1,\geqslant p}(G)$ (resp. $\mathcal{M}_{1,\leqslant p}(G)$) denote the collection of $1$-ipms $\mu$ on $G$ for which each edge is included in $\mathbf{G}_{\mu}$ with probability at least $p$ (resp. at most $p$). Let $\mathbb{Z}^2$ denote the square integer lattice. Balister and Bollob\'as raised the question of determining the critical value $p_{\star}=p_{1,c}(\mathbb{Z}^2)$ such that for all $p>p_{\star}$ and all $\mu \in \mathcal{M}_{1,\geqslant p}(\mathbb{Z}^2)$, $\left(\mathbf{\mathbb{Z}^2}\right)_{\mu}$ almost surely contains an infinite component. This can be thought of as asking for a $1$-independent analogue of the celebrated Harris--Kesten theorem. In this paper we investigate both this problem and connectivity problems for $1$-ipms more generally. We give two lower bounds on $p_{\star}$ that significantly improve on the previous bounds. Furthermore, motivated by the Russo--Seymour--Welsh lemmas, we define a $1$-independent critical probability for long paths and determine its value for the line and ladder lattices. Finally, for finite graphs $G$ we study $f_{1,G}(p)$ (respectively $F_{1,G}(p)$), the infimum (resp. supremum) over all $\mu\in \mathcal{M}_{1,\geqslant p}(G)$ (resp. all $\mu \in \mathcal{M}_{1,\leqslant p}(G)$) of the probability that $\mathbf{G}_{\mu}$ is connected. We determine $f_{1,G}(p)$ and $F_{1,G}(p)$ exactly when $G$ is a path, a complete graph and a cycle of length at most $5$. Many new problems arise from our work, which are discussed in the final section of the paper.


title: waLBerla: A block-structured high-performance framework for multiphysics simulations

abstract: Programming current supercomputers efficiently is a challenging task. Multiple levels of parallelism on the core, on the compute node, and between nodes need to be exploited to make full use of the system. Heterogeneous hardware architectures with accelerators further complicate the development process. waLBerla addresses these challenges by providing the user with highly efficient building blocks for developing simulations on block-structured grids. The block-structured domain partitioning is flexible enough to handle complex geometries, while the structured grid within each block allows for highly efficient implementations of stencil-based algorithms. We present several example applications realized with waLBerla, ranging from lattice Boltzmann methods to rigid particle simulations. Most importantly, these methods can be coupled together, enabling multiphysics simulations. The framework uses meta-programming techniques to generate highly efficient code for CPUs and GPUs from a symbolic method formulation. To ensure software quality and performance portability, a continuous integration toolchain automatically runs an extensive test suite encompassing multiple compilers, hardware architectures, and software configurations.


title: Enhancing statistical inference in psychological research via prospective and retrospective design analysis

abstract: In the past two decades, psychological science has experienced an unprecedented replicability crisis which uncovered several issues. Among others, statistical inference is too often viewed as an isolated procedure limited to the analysis of data that have already been collected. We build on and further develop an idea proposed by Gelman and Carlin (2014) termed "prospective and retrospective design analysis". Rather than focusing only on the statistical significance of a result and on the classical control of type I and type II errors, a comprehensive design analysis involves reasoning about what can be considered a plausible effect size. Furthermore, it introduces two relevant inferential risks: the exaggeration ratio or Type M error (i.e., the predictable average overestimation of an effect that emerges as statistically significant), and the sign error or Type S error (i.e., the risk that a statistically significant effect is estimated in the wrong direction). Another important aspect of design analysis is that it can be usefully carried out both in the planning phase of a study and for the evaluation of studies that have already been conducted, thus increasing researchers' awareness during all phases of a research project. We use a familiar example in psychology where the researcher is interested in analyzing the differences between two independent groups. We examine the case in which the plausible effect size is formalized as a single value, and propose a method in which uncertainty concerning the magnitude of the effect is formalized via probability distributions. Through several examples, we show that even though a design analysis requires big effort, it has the potential to contribute to planning more robust and replicable studies. Finally, future developments in the Bayesian framework are discussed.


title: New Manifestations In Low-energy Electron Scattering From The Large Actinide Atoms Cm and No

abstract: The Regge-pole calculated low-energy electron elastic total cross sections (TCSs) for Cm and No, characterized generally by negative-ion formation, shape resonances and Ramsauer-Townsend(R-T) minima, exhibit atomic and fullerene molecular behavior near threshold. Also, a polarization-induced metastable cross section with a deep R-T minimum near threshold is identified in the Cm TCSs, which flips over to a shape resonance appearing very close to threshold in the TCSs for No. We attribute these novel manifestations to size effects and orbital collapse impacting significantly the polarization interaction. This provides a new mechanism of tuning a shape resonance and R-T minimum through the polarization interaction. The comparison between the Regge-pole calculated ground, metastable and excited states anionic binding energies(BEs) with the existing theoretical electron affinities(EAs) demonstrates that those calculations tend to obtain metastable and/or excited states BEs and equate them incorrectly with the EAs, leading to ambiguous and unreliable electron affinity determination. A definitive and unambiguous meaning of the EA of complex heavy systems is recommended.


title: Ephemeral instruments

abstract: This article questions the notion of ephemerality of digital musical instruments (DMI). Longevity is generally regarded as a valuable quality that good design criteria should help to achieve. However, the nature of the tools, of the performance conditions and of the music itself may lead to think of ephemerality as an intrinsic modality of the existence of DMIs. In particular, the conditions of contemporary musical production suggest that contextual adaptations of instrumental devices beyond the monolithic unity of classical instruments should be considered. The first two parts of this article analyse various reasons to reassess the issue of longevity and ephemerality. The last two sections attempt to propose an articulation of these two aspects to inform both the design of the DMI and their learning.


title: MLSL: Multi-Level Self-Supervised Learning for Domain Adaptation with Spatially Independent and Semantically Consistent Labeling

abstract: Most of the recent Deep Semantic Segmentation algorithms suffer from large generalization errors, even when powerful hierarchical representation models based on convolutional neural networks have been employed. This could be attributed to limited training data and large distribution gap in train and test domain datasets. In this paper, we propose a multi-level self-supervised learning model for domain adaptation of semantic segmentation. Exploiting the idea that an object (and most of the stuff given context) should be labeled consistently regardless of its location, we generate spatially independent and semantically consistent (SISC) pseudo-labels by segmenting multiple sub-images using base model and designing an aggregation strategy. Image level pseudo weak-labels, PWL, are computed to guide domain adaptation by capturing global context similarity in source and domain at latent space level. Thus helping latent space learn the representation even when there are very few pixels belonging to the domain category (small object for example) compared to rest of the image. Our multi-level Self-supervised learning (MLSL) outperforms existing state-of art (self or adversarial learning) algorithms. Specifically, keeping all setting similar and employing MLSL we obtain an mIoU gain of 5:1% on GTA-V to Cityscapes adaptation and 4:3% on SYNTHIA to Cityscapes adaptation compared to existing state-of-art method.


title: Schubert polynomials, pipe dreams, equivariant classes, and a co-transition formula

abstract: We give a new proof that three families of polynomials coincide: the double Schubert polynomials of Lascoux and Sch\"utzenberger defined by divided difference operators, the pipe dream polynomials of Bergeron and Billey, and the equivariant cohomology classes of matrix Schubert varieties. All three families are shown to satisfy a "co-transition formula" which we explain to be some extent projectively dual to Lascoux' transition formula. We comment on the K-theoretic extensions.


title: Causal Belief Decomposition for Planning with Sensing: Completeness Results and Practical Approximation

abstract: Belief tracking is a basic problem in planning with sensing. While the problem is intractable, it has been recently shown that for both deterministic and non-deterministic systems expressed in compact form, it can be done in time and space that are exponential in the problem width. The width measures the maximum number of state variables that are all relevant to a given precondition or goal. In this work, we extend this result both theoretically and practically. First, we introduce an alternative decomposition scheme and algorithm with the same time complexity but different completeness guarantees, whose space complexity is much smaller: exponential in the causal width of the problem that measures the number of state variables that are causally relevant to a given precondition, goal, or observable. Second, we introduce a fast, meaningful, and powerful approximation that trades completeness by speed, and is both time and space exponential in the problem causal width. It is then shown empirically that the algorithm combined with simple heuristics yields state-of-the-art real-time performance in domains with high widths but low causal widths such as Minesweeper, Battleship, and Wumpus.