title: Spinor Bose-Einstein Condensate Interferometer within the Undepleted Pump Approximation: Role of the Initial State

abstract: Most interferometers operate with photons or dilute, non-condensed cold atom clouds in which collisions are strongly suppressed. Spinor Bose-Einstein condensates (BECs) provide an alternative route toward realizing three-mode interferometers; in this realization, spin-changing collisions provide a resource that generates mode entanglement. Working in the regime where the pump mode, i.e., the m=0 hyperfine state, has a much larger population than the side or probe modes (m=+1 and m=-1 hyperfine states), f=1 spinor BECs approximate SU(1,1) interferometers. We derive analytical expressions within the undepleted pump approximation for the phase sensitivity of such an SU(1,1) interferometer for two classes of initial states: pure Fock states and coherent spin states. The interferometer performance is analyzed for initial states without seeding, with single-sided seeding, and with double-sided seeding. The validity regime of the undepleted pump approximation is assessed by performing quantum calculations for the full spin Hamiltonian. Our analytical results and the associated dynamics are expected to guide experiments as well as numerical studies that explore regimes where the undepleted pump approximation makes quantitatively or qualitatively incorrect predictions.


title: Fine-tuned Spin-3/2 and the Hierarchy Problem

abstract: In the past, Kundu et al. and Chakraborty et al. used extra scalar fields to cancel the quadratic divergences in the Higgs mass squared and they determined the mass of the required scalar field. In this work, a spin-3/2 particle has been used in the same manner to nullify the power-law divergences and it is determined that the mass of the spin-3/2 particle resides in the ball park of the GUT scale.


title: Pulling a DNA molecule through a nanopore embedded in an anionic membrane: tension propagation coupled to electrostatics

abstract: We consider the influence of electrostatic forces on driven translocation dynamics of a flexible polyelectrolyte being pulled through a nanopore by an external force on the head monomer. To this end, we augment the iso-flux tension propagation (IFTP) theory with electrostatics for a negatively charged biopolymer pulled through a nanopore embedded in a similarly charged anionic membrane. We show that for the realistic case such as a single-stranded DNA, the translocation dynamics at low salt where screening is weak and at finite negative membrane charge is unexpectedly accelerated despite the large repulsive electrostatic interactions between the polymer coil on the {\it cis} side and the charged membrane. This is due to the rapid release of the electrostatic potential energy of the coil during translocation, leading to an effectively attractive force that assists end-driven translocation. The speedup results in non-monotonic polymer length and membrane charge dependence of the exponent $\alpha$ characterizing the translocation time $\tau \propto N_0^\alpha$ of the polymer with length $N_0$. In the regime of long polymers $N_0\gtrsim500$, the translocation exponent exceeds its upper limit $\alpha=2$ previously observed for the same system without electrostatic interactions.


title: Astro2020 APC White Paper: Durable Agency Support for Exoplanet Catalogs and Archives

abstract: Many projects in current exoplanet science make use of catalogs of known exoplanets and their host stars. These may be used for demographic, population, and statistical studies, or for identifying targets for future observations. The ability to efficiently and accurately conduct exoplanet science depends on the completeness, accuracy, and access to these catalogs. In this white paper, we argue that long-term agency support and maintenance of exoplanet archives is of crucial importance to achieving the scientific goals of the community and the strategic goals of the funding agencies. As such, it is imperative that these facilities are appropriately supported and maintained by the national funding agencies.


title: A physically cryptographic warhead verification system using neutron induced nuclear resonances

abstract: Arms control treaties are necessary to reduce the large stockpiles of the nuclear weapons that constitute one of the biggest dangers to the world. However, an impactful treaty hinges on effective inspection exercises to verify the participants' compliance to the treaty terms. Such procedures would require verification of the authenticity of a warhead undergoing dismantlement. Previously proposed solutions lacked the combination of isotopic sensitivity and information security. Here we present the experimental feasibility proof of a novel technique that uses neutron induced nuclear resonances and is sensitive to the combination of isotopics and geometry. The information is physically encrypted to prevent the leakage of sensitive information. Our approach can significantly increase the trustworthiness of future arms control treaties while expanding their scope to include the verified dismantlement of nuclear warheads themselves.


title: Cohomology and linear deformation of BiHom-left-symmetric algebras

abstract: The aim of this work is to introduce representations of BiHom-left-symmetric algebras. and develop its cohomology theory. As applications, we study linear deformations of BiHom-left-symmetric algebras, which are characterized by its second cohomology group with the coefficients in the adjoint representation. The notion of a Nijenhuis operator on a BiHom-left-symmetric algebra is introduced. We will prove that it can generate trivial linear deformations of a BiHom-left-symmetric algebra.


title: Occultation observations of Saturn's rings with Cassini VIMS

abstract: We describe the prediction, design, execution and calibration of stellar and solar occultation observations of Saturn's rings by the Visual and Infrared Mapping Spectrometer (VIMS) instrument on the Cassini spacecraft. Particular attention is paid to the technique developed for onboard acquisition of the stellar target and to the geometric and photometric calibration of the data. Examples of both stellar and solar occultation data are presented, highlighting several aspects of the data as well as the different occultation geometries encountered during Cassini's 13 year orbital tour. Complete catalogs of ring stellar and solar occultations observed by Cassini-VIMS are presented, as a guide to the standard data sets which have been delivered to the Planetary Data System's Ring Moon Systems Node.


title: Astro2020 APC White Paper: Elevating the Role of Software as a Product of the Research Enterprise

abstract: Software is a critical part of modern research, and yet there are insufficient mechanisms in the scholarly ecosystem to acknowledge, cite, and measure the impact of research software. The majority of academic fields rely on a one-dimensional credit model whereby academic articles (and their associated citations) are the dominant factor in the success of a researcher's career. In the petabyte era of astronomical science, citing software and measuring its impact enables academia to retain and reward researchers that make significant software contributions. These highly skilled researchers must be retained to maximize the scientific return from petabyte-scale datasets. Evolving beyond the one-dimensional credit model requires overcoming several key challenges, including the current scholarly ecosystem and scientific culture issues. This white paper will present these challenges and suggest practical solutions for elevating the role of software as a product of the research enterprise.


title: Anderson localization of two-dimensional massless pseudospin-1 Dirac particles in a correlated random one-dimensional scalar potential

abstract: We study theoretically Anderson localization of two-dimensional massless pseudospin-1 Dirac particles in a random one-dimensional scalar potential. We focus explicitly on the effect of disorder correlations, considering a short-range correlated dichotomous random potential at all strengths of disorder. We also consider a $\delta$-function correlated random potential at weak disorder. Using the invariant imbedding method, we calculate the localization length in a numerically precise way and analyze its dependencies on incident angle, disorder correlation length, disorder strength, energy, wavelength and average potential over a wide range of parameter values. In addition, we derive analytical formulas for the localization length, which are very accurate in the weak and strong disorder regimes. From the Dirac equation, we obtain an expression for the effective wave impedance, using which we explain several conditions for delocalization. We also deduce a condition under which the localization length vanishes. For all cases considered, the localization length depends non-monotonically on the disorder correlation length and diverges as $\theta^{-4}$ as the incident angle $\theta$ goes to zero. As the disorder strength is varied from zero to infinity, we find that there appear three different scaling regimes. As the energy or wavelength is varied from zero to infinity, there appear three or four different scaling regimes with different exponents, depending on the value of the average potential. The crossovers between different scaling regimes are explained in terms of the disorder correlation effect.


title: Lossless Prioritized Embeddings

abstract: Given metric spaces $(X,d)$ and $(Y,\rho)$ and an ordering $x_1,x_2,\ldots,x_n$ of $(X,d)$, an embedding $f: X \rightarrow Y$ is said to have a prioritized distortion $\alpha(\cdot)$, if for any pair $x_j,x'$ of distinct points in $X$, the distortion provided by $f$ for this pair is at most $\alpha(j)$. If $Y$ is a normed space, the embedding is said to have prioritized dimension $\beta(\cdot)$, if $f(x_j)$ may have nonzero entries only in its first $\beta(j)$ coordinates. The notion of prioritized embedding was introduced by \cite{EFN15}, where a general methodology for constructing such embeddings was developed. Though this methodology enables \cite{EFN15} to come up with many prioritized embeddings, it typically incurs some loss in the distortion. This loss is problematic for isometric embeddings. It is also troublesome for Matousek's embedding of general metrics into $\ell_\infty$, which for a parameter $k = 1,2,\ldots$, provides distortion $2k-1$ and dimension $O(k \log n \cdot n^{1/k})$. In this paper we devise two lossless prioritized embeddings. The first one is an isometric prioritized embedding of tree metrics into $\ell_\infty$ with dimension $O(\log j)$. The second one is a prioritized Matousek's embedding of general metrics into $\ell_\infty$, which provides prioritized distortion $2 \lceil k {{\log j} \over {\log n}} \rceil - 1$ and dimension $O(k \log n \cdot n^{1/k})$, again matching the worst-case guarantee $2k-1$ in the distortion of the classical Matousek's embedding. We also provide a dimension-prioritized variant of Matousek's embedding. Finally, we devise prioritized embeddings of general metrics into (single) ultra-metric and of general graphs into (single) spanning tree with asymptotically optimal distortion.


title: The luminosity function of quasars by the Principle of Maximum Entropy

abstract: We propose a different way to obtain the distribution of the luminosity function of quasars by using the Principle of Maximum Entropy. The input data comes from the SDSS-DR3 quasars counts, extending up to redshift 5 and limited from apparent magnitude $i=15$ to 19.1 at $z\lesssim3$ to $i=20.2$ for $z\gtrsim3$. Using only few initial data points, the Principle allows us to estimate probabilities and hence that luminosity curve. We carry out statistical tests to evaluate our results. The resulting luminosity function compares well to earlier determinations. And our results remain consistent either when the amount or choice of sampled sources is unbiasedly altered. Besides this we estimate the distribution of the luminosity function for redshifts in which there is only observational data in the vicinity.


title: Positive specializations of symmetric Grothendieck polynomials

abstract: It is a classical fundamental result that Schur-positive specializations of the ring of symmetric functions are characterized via totally positive functions whose parametrization describes the Edrei-Thoma theorem. In this paper we study positive specializations of symmetric Grothendieck polynomials, $K$-theoretic deformations of Schur polynomials.


title: Stochastic gradient Markov chain Monte Carlo

abstract: Markov chain Monte Carlo (MCMC) algorithms are generally regarded as the gold standard technique for Bayesian inference. They are theoretically well-understood and conceptually simple to apply in practice. The drawback of MCMC is that in general performing exact inference requires all of the data to be processed at each iteration of the algorithm. For large data sets, the computational cost of MCMC can be prohibitive, which has led to recent developments in scalable Monte Carlo algorithms that have a significantly lower computational cost than standard MCMC. In this paper, we focus on a particular class of scalable Monte Carlo algorithms, stochastic gradient Markov chain Monte Carlo (SGMCMC) which utilises data subsampling techniques to reduce the per-iteration cost of MCMC. We provide an introduction to some popular SGMCMC algorithms and review the supporting theoretical results, as well as comparing the efficiency of SGMCMC algorithms against MCMC on benchmark examples. The supporting R code is available online.


title: A Short Note on the Kinetics-700 Human Action Dataset

abstract: We describe an extension of the DeepMind Kinetics human action dataset from 600 classes to 700 classes, where for each class there are at least 600 video clips from different YouTube videos. This paper details the changes introduced for this new release of the dataset, and includes a comprehensive set of statistics as well as baseline results using the I3D neural network architecture.


title: Detecting anomalies in fibre systems using 3-dimensional image data

abstract: We consider the problem of detecting anomalies in the directional distribution of fibre materials observed in 3D images. We divide the image into a set of scanning windows and classify them into two clusters: homogeneous material and anomaly. Based on a sample of estimated local fibre directions, for each scanning window we compute several classification attributes, namely the coordinate wise means of local fibre directions, the entropy of the directional distribution, and a combination of them. We also propose a new spatial modification of the Stochastic Approximation Expectation-Maximization (SAEM) algorithm. Besides the clustering we also consider testing the significance of anomalies. To this end, we apply a change point technique for random fields and derive the exact inequalities for tail probabilities of a test statistics. The proposed methodology is first validated on simulated images. Finally, it is applied to a 3D image of a fibre reinforced polymer.


title: Speed estimation evaluation on the KITTI benchmark based on motion and monocular depth information

abstract: In this technical report we investigate speed estimation of the ego-vehicle on the KITTI benchmark using state-of-the-art deep neural network based optical flow and single-view depth prediction methods. Using a straightforward intuitive approach and approximating a single scale factor, we evaluate several application schemes of the deep networks and formulate meaningful conclusions such as: combining depth information with optical flow improves speed estimation accuracy as opposed to using optical flow alone; the quality of the deep neural network methods influences speed estimation performance; using the depth and optical flow results from smaller crops of wide images degrades performance. With these observations in mind, we achieve a RMSE of less than 1 m/s for vehicle speed estimation using monocular images as input from recordings of the KITTI benchmark. Limitations and possible future directions are discussed as well.


title: A stabilized total-Lagrangian SPH method for large deformation and failure in geomaterials

abstract: Conventional smoothed particle hydrodynamics based on Eulerian kernels (CESPH) is widely-used in large deformation analysis in geomaterials. Despite being popular, it suffers from tensile instability and rank-deficiency; thus, it needs several numerical treatments to be stable. In this work, we present a stabilized total-Lagrangian SPH method (TLSPH), which is inherently free of tensile instability. A stiffness-based hourglass control algorithm is employed to cure the hourglass mode caused by rank-deficiency. Periodic update of reference configuration is used in simulations to allow TLSPH to model large deformation and post-failure flow in geomaterials. Several numerical examples are presented to show the performance of the stabilized TLSPH method. The comparison between TLSPH and CESPH are discussed. The influences of hourglass control and configuration update are also discussed and shown in the numerical examples. It is found that the presented stabilized TLSPH is robust and can model large deformation and plastic flows in geomaterials. Particularly, the stabilized TLSPH delivers accurate and smooth stress results.


title: Adaptive Flux-Only Least-Squares Finite Element Methods for Linear Transport Equations

abstract: In this paper, two flux-only least-squares finite element methods (LSFEM) for the linear hyperbolic transport problem are developed. The transport equation often has discontinuous solutions and discontinuous inflow boundary conditions, but the normal component of the flux across the mesh interfaces is continuous. In traditional LSFEMs, the continuous finite element space is used to approximate the solution. This will cause unnecessary error around the discontinuity and serious overshooting. In arXiv:1807.01524 [math.NA], we reformulate the equation by introducing a new flux variable to separate the continuity requirements of the flux and the solution. Realizing that the Raviart-Thomas mixed element space has enough degrees of freedom to approximate both the flux and its divergence, we eliminate the solution from the system and get two flux-only formulations, and develop corresponding LSFEMs. The solution then is recovered by simple post-processing methods using its relation with the flux. These two versions of flux-only LSFEMs use less DOFs than the method we developed in arXiv:1807.01524 [math.NA]. Similar to the LSFEM developed in arXiv:1807.01524 [math.NA], both flux-only LSFEMs can handle discontinuous solutions better than the traditional continuous polynomial approximations. We show the existence, uniqueness, a priori and a posteriori error estimates of the proposed methods. With adaptive mesh refinements driven by the least-squares a posteriori error estimators, the solution can be accurately approximated even when the mesh is not aligned with discontinuity. The overshooting phenomenon is very mild if a piecewise constant reconstruction of the solution is used. Extensive numerical tests are done to show the effectiveness of the methods developed in the paper.


title: The Design of Global Correlation Quantifiers and Continuous Notions of Statistical Sufficiency

abstract: Using first principles from inference, we design a set of functionals for the purposes of \textit{ranking} joint probability distributions with respect to their correlations. Starting with a general functional, we impose its desired behaviour through the \textit{Principle of Constant Correlations} (PCC), which constrains the correlation functional to behave in a consistent way under statistically independent inferential transformations. The PCC guides us in choosing the appropriate design criteria for constructing the desired functionals. Since the derivations depend on a choice of partitioning the variable space into $n$ disjoint subspaces, the general functional we design is the $n$-partite information (NPI), of which the \textit{total correlation} and \textit{mutual information} are special cases. Thus, these functionals are found to be uniquely capable of determining whether a certain class of inferential transformations, $\rho\xrightarrow{*}\rho'$, preserve, destroy or create correlations. This provides conceptual clarity by ruling out other possible global correlation quantifiers. Finally, the derivation and results allow us to quantify non-binary notions of statistical sufficency. Our results express what percentage of the correlations are preserved under a given inferential transformation or variable mapping.


title: Detecting coherent core-hole wave-packet dynamics in N2 by time- and angle-resolved inner-shell photoelectron spectroscopy

abstract: We propose an imaging technique to follow core-hole wave-packet oscillations in the nitrogen molecule. In this scheme, an attosecond x-ray pulse core-ionizes the nitrogen molecule and a subsequent attosecond x-ray pulse probes the evolution of the electron dynamics. We can image the oscillation of the core-hole between the two atomic sites by measuring the angular correlation between photoelectrons. Analytical relations for the angular correlation are derived based on the plane-wave approximation for the photoelectron wave function. We validate these results with a scattering calculation for the photoelectron wave function. The feasibility of the experimental realization of this scheme is discussed in light of current and future capabilities of x-ray free-electron lasers.


title: Estimation and Feature Selection in Mixtures of Generalized Linear Experts Models

abstract: Mixtures-of-Experts (MoE) are conditional mixture models that have shown their performance in modeling heterogeneity in data in many statistical learning approaches for prediction, including regression and classification, as well as for clustering. Their estimation in high-dimensional problems is still however challenging. We consider the problem of parameter estimation and feature selection in MoE models with different generalized linear experts models, and propose a regularized maximum likelihood estimation that efficiently encourages sparse solutions for heterogeneous data with high-dimensional predictors. The developed proximal-Newton EM algorithm includes proximal Newton-type procedures to update the model parameter by monotonically maximizing the objective function and allows to perform efficient estimation and feature selection. An experimental study shows the good performance of the algorithms in terms of recovering the actual sparse solutions, parameter estimation, and clustering of heterogeneous regression data, compared to the main state-of-the art competitors.


title: On Convergence and Optimality of Best-Response Learning with Policy Types in Multiagent Systems

abstract: While many multiagent algorithms are designed for homogeneous systems (i.e. all agents are identical), there are important applications which require an agent to coordinate its actions without knowing a priori how the other agents behave. One method to make this problem feasible is to assume that the other agents draw their latent policy (or type) from a specific set, and that a domain expert could provide a specification of this set, albeit only a partially correct one. Algorithms have been proposed by several researchers to compute posterior beliefs over such policy libraries, which can then be used to determine optimal actions. In this paper, we provide theoretical guidance on two central design parameters of this method: Firstly, it is important that the user choose a posterior which can learn the true distribution of latent types, as otherwise suboptimal actions may be chosen. We analyse convergence properties of two existing posterior formulations and propose a new posterior which can learn correlated distributions. Secondly, since the types are provided by an expert, they may be inaccurate in the sense that they do not predict the agents' observed actions. We provide a novel characterisation of optimality which allows experts to use efficient model checking algorithms to verify optimality of types.


title: Perception of visual numerosity in humans and machines

abstract: Numerosity perception is foundational to mathematical learning, but its computational bases are strongly debated. Some investigators argue that humans are endowed with a specialized system supporting numerical representation; others argue that visual numerosity is estimated using continuous magnitudes, such as density or area, which usually co-vary with number. Here we reconcile these contrasting perspectives by testing deep networks on the same numerosity comparison task that was administered to humans, using a stimulus space that allows to measure the contribution of non-numerical features. Our model accurately simulated the psychophysics of numerosity perception and the associated developmental changes: discrimination was driven by numerosity information, but non-numerical features had a significant impact, especially early during development. Representational similarity analysis further highlighted that both numerosity and continuous magnitudes were spontaneously encoded even when no task had to be carried out, demonstrating that numerosity is a major, salient property of our visual environment.


title: Hydrogen-Storing Salt NaCl(H$_2$) Synthesized at High Pressure and High Temperature

abstract: X-ray diffraction and Raman scattering measurements, and first-principles calculations are performed to search for the formation of NaCl-hydrogen compound. When NaCl and H$_{2}$ mixture is laser-heated to above 1500 K at pressures exceeding 40 GPa, we observed the formation of NaClH$_{\textit{x}}$ with $\textit{P}$6$_{3}$/$\textit{mmc}$ structure which accommodates H$_{2}$ molecules in the interstitial sites of NaCl lattice forming ABAC stacking. Upon the decrease of pressure at 300 K, NaClH$_\textit{x}$ remains stable down to 17 GPa. Our calculations suggest the observed NaClH$_{\textit{x}}$ is NaCl(H$_{2}$). Besides, a hydrogen-richer phase NaCl(H$_{2}$)$_{4}$ is predicted to become stable at pressures above 40 GPa.


title: Attractors of Hamilton nonlinear partial differential equations

abstract: We survey the theory of attractors of nonlinear Hamiltonian partial differential equations since its appearance in 1990. These are results on global attraction to stationary states, to solitons and to stationary orbits, on adiabatic effective dynamics of solitons and their asymptotic stability. Results of numerical simulation are given. The obtained results allow us to formulate a new general conjecture on attractors of $G$ -invariant nonlinear Hamiltonian partial differential equations. This conjecture suggests a novel dynamical interpretation of basic quantum phenomena: Bohr's transitions between quantum stationary states, wave-particle duality and probabilistic interpretation.


title: Evaluating the Reproducibility of Research in Obstetrics and Gynecology

abstract: Objective: Reproducibility is a core tenet of scientific research. A reproducible study is one where the results can be recreated by different investigators in different circumstances using the same methodology and materials. Unfortunately, reproducibility is not a standard to which the majority of research is currently adherent. Methods: We objectively evaluated 300 trials in the field of Obstetrics and Gynecology for fourteen indicators of reproducibility. These indicators include availability of data, analysis scripts, pre-registration information, study protocols and whether or not the study was available via Open Access. We also assessed the trials for financial conflict of interest statements and source of funding. Results: Of the 300 trials in our sample, 208 contained empirical data that could be assessed for reproducibility. None of the trials in our sample provided a link to their protocols or provided a statement on availability of materials. None were replication studies. Just 10.58% provided a statement regarding their data availability, while only 5.82% provided a statement on preregistration. 25.85% failed to report the presence or absence of conflicts of interest and 54.08% did not state the origin of their funding. Conclusion: Research in the field of Obstetrics and Gynecology is not consistently reproducible and frequently lacks conflict of interest disclosure. Consequences of this could be far-reaching and include increased research waste, widespread acceptance of misleading results and erroneous conclusions guiding clinical decision-making.


title: X-Net: Brain Stroke Lesion Segmentation Based on Depthwise Separable Convolution and Long-range Dependencies

abstract: The morbidity of brain stroke increased rapidly in the past few years. To help specialists in lesion measurements and treatment planning, automatic segmentation methods are critically required for clinical practices. Recently, approaches based on deep learning and methods for contextual information extraction have served in many image segmentation tasks. However, their performances are limited due to the insufficient training of a large number of parameters, which sometimes fail in capturing long-range dependencies. To address these issues, we propose a depthwise separable convolution based X-Net that designs a nonlocal operation namely Feature Similarity Module (FSM) to capture long-range dependencies. The adopted depthwise convolution allows to reduce the network size, while the developed FSM provides a more effective, dense contextual information extraction and thus facilitates better segmentation. The effectiveness of X-Net was evaluated on an open dataset Anatomical Tracings of Lesions After Stroke (ATLAS) with superior performance achieved compared to other six state-of-the-art approaches. We make our code and models available at https://github.com/Andrewsher/X-Net.


title: Latent Adversarial Defence with Boundary-guided Generation

abstract: Deep Neural Networks (DNNs) have recently achieved great success in many tasks, which encourages DNNs to be widely used as a machine learning service in model sharing scenarios. However, attackers can easily generate adversarial examples with a small perturbation to fool the DNN models to predict wrong labels. To improve the robustness of shared DNN models against adversarial attacks, we propose a novel method called Latent Adversarial Defence (LAD). The proposed LAD method improves the robustness of a DNN model through adversarial training on generated adversarial examples. Different from popular attack methods which are carried in the input space and only generate adversarial examples of repeating patterns, LAD generates myriad of adversarial examples through adding perturbations to latent features along the normal of the decision boundary which is constructed by an SVM with an attention mechanism. Once adversarial examples are generated, we adversarially train the model through augmenting the training data with generated adversarial examples. Extensive experiments on the MNIST, SVHN, and CelebA dataset demonstrate the effectiveness of our model in defending against different types of adversarial attacks.


title: Large-amplitude membrane flutter in inviscid flow

abstract: We study the large-amplitude flutter of membranes (of zero bending rigidity) with vortex-sheet wakes in 2D inviscid fluid flows. We apply small initial deflections and track their exponential decay or growth and subsequent large-amplitude dynamics in the space of three dimensionless parameters: membrane pretension, mass density, and stretching modulus. With both ends fixed, all the membranes converge to steady deflected shapes with single humps that are nearly fore-aft symmetric, except when the deformations are unrealistically large. With leading edges fixed and trailing edges free, the membranes flutter with very small amplitudes and high spatial and temporal frequencies at small mass density. As mass density increases, the membranes transition to periodic and then increasingly aperiodic motions, and the amplitudes increase and spatial and temporal frequencies decrease. With both edges free, the membranes flutter similarly to the fixed-free case but also translate vertically with steady, periodic, or aperiodic trajectories, and with nonzero slopes that lead to small angles of attack with respect to the oncoming flow.


title: Resource theories of multi-time processes: A window into quantum non-Markovianity

abstract: We investigate the conditions under which an uncontrollable background processes may be harnessed by an agent to perform a task that would otherwise be impossible within their operational framework. This situation can be understood from the perspective of resource theory: rather than harnessing 'useful' quantum states to perform tasks, we propose a resource theory of quantum processes across multiple points in time. Uncontrollable background processes fulfil the role of resources, and a new set of objects called superprocesses, corresponding to operationally implementable control of the system undergoing the process, constitute the transformations between them. After formally introducing a framework for deriving resource theories of multi-time processes, we present a hierarchy of examples induced by restricting quantum or classical communication within the superprocess - corresponding to a client-server scenario. The resulting nine resource theories have different notions of quantum or classical memory as the determinant of their utility. Furthermore, one of these theories has a strict correspondence between non-useful processes and those that are Markovian and, therefore, could be said to be a true 'quantum resource theory of non-Markovianity'.


title: Uniqueness and characterization of local minimizers for the interaction energy with mildly repulsive potentials

abstract: In this paper, we are concerned with local minimizers of an interaction energy governed by repulsive-attractive potentials of power-law type in one dimension. We prove that sum of two Dirac masses is the unique local minimizer under the $\lambda-$Wasserstein metric topology with $1\le \lambda<\infty$, provided masses and distance of Dirac deltas are equally half and one, respectively. In addition, in case of $\infty$-Wasserstein metric, we characterize stability of steady-state solutions depending on powers of interaction potentials.


title: Ex Luna, Scientia: The Lunar Occultation eXplorer (LOX)

abstract: LOX is a lunar-orbiting astrophysics mission that will probe the cosmos at MeV energies. It is guided by open questions regarding thermonuclear, or Type-Ia, supernovae (SNeIa) and will characterize these inherently radioactive objects by enabling a systematic survey of SNeIa at gamma-ray energies for the first time. Astronomical investigations from lunar orbit afford new opportunities to advance our understanding of the cosmos. The foundation of LOX is an observational approach well suited to the all-sky monitoring demands of supernova investigations and time-domain astronomy. Its inherently wide field-of-view and continuous all-sky monitoring provides an innovative way of addressing decadal survey questions at MeV energies (0.1-10 MeV). The LOX approach achieves high sensitivity with a simple, high-heritage instrument design that eliminates the need for complex, position-sensitive detectors, kinematic event reconstruction, masks, or other insensitive detector mass, while also mitigating technology development, implementation complexity, and their associated costs. LOX can be realized within existing programs, like Explorer.


title: A Pogorelov estimate and a Liouville type theorem to parabolic $k$-Hessian equations

abstract: We consider Pogorelov type estimates and Liouville type theorems to parabolic $k$-Hessian equations of the form $-u_t \sigma_k (D^2u) =1$ in $\mathbb{R}^n\times (-\infty, 0]$. We derive that any \textbf{$k+1$-convex-monotone} solution to $-u_t \sigma_k (D^2u) =1$ when $u(x,0)$ satisfies a quadratic growth and $0<m_1\le -u_t\le m_2$ must be a linear function of $t$ plus a quadratic polynomial of $x$.


title: Spectral Cross-Cumulants for Multicolor Super-resolved SOFI Imaging

abstract: Super-resolution optical fluctuation imaging (SOFI) provides a resolution beyond the diffraction limit by analysing stochastic fluorescence fluctuations with higher-order statistics. Using nth order spatio-temporal cross-cumulants the spatial resolution as well as the sampling can be increased up to n-fold in all three spatial dimensions. In this study, we extend the cumulant analysis into the spectral domain and propose a novel multicolor super-resolution scheme. The simultaneous acquisition of two spectral channels followed by spectral cross-cumulant analysis and unmixing increase the spectral sampling. The number of discriminable fluorophore species is thus not limited to the number of physical detection channels. Using two color channels, we demonstrate spectral unmixing of three fluorophore species in simulations and multiple experiments with different cellular structures, fluorophores and filter sets. Based on an eigenvalue/ vector analysis we propose a scheme for an optimized spectral filter choice. Overall, our methodology provides a novel route for easy-to-implement multicolor sub-diffraction imaging using standard microscopes while conserving the spatial super-resolution property. This makes simultaneous multiplexed super-resolution fluorescence imaging widely accessible to the life science community interested to probe colocalization between two or more molecular species.


title: CLCI-Net: Cross-Level fusion and Context Inference Networks for Lesion Segmentation of Chronic Stroke

abstract: Segmenting stroke lesions from T1-weighted MR images is of great value for large-scale stroke rehabilitation neuroimaging analyses. Nevertheless, there are great challenges with this task, such as large range of stroke lesion scales and the tissue intensity similarity. The famous encoder-decoder convolutional neural network, which although has made great achievements in medical image segmentation areas, may fail to address these challenges due to the insufficient uses of multi-scale features and context information. To address these challenges, this paper proposes a Cross-Level fusion and Context Inference Network (CLCI-Net) for the chronic stroke lesion segmentation from T1-weighted MR images. Specifically, a Cross-Level feature Fusion (CLF) strategy was developed to make full use of different scale features across different levels; Extending Atrous Spatial Pyramid Pooling (ASPP) with CLF, we have enriched multi-scale features to handle the different lesion sizes; In addition, convolutional long short-term memory (ConvLSTM) is employed to infer context information and thus capture fine structures to address the intensity similarity issue. The proposed approach was evaluated on an open-source dataset, the Anatomical Tracings of Lesions After Stroke (ATLAS) with the results showing that our network outperforms five state-of-the-art methods. We make our code and models available at https://github.com/YH0517/CLCI_Net.


title: Gender Balance in Computer Science and Engineering in Italian Universities

abstract: Multiple studies have shown that gender balance in the fields of Science, Technology, Engineering and Maths -- and in particular in ICT -- is still far to be achieved. Several initiatives have been recently taken to increase the women participation, but it is difficult, at present, to evaluate their impact and their potential of changing the situation. This paper contributes to the discussion by presenting a descriptive analysis of the gender balance in Computer Science and Computer Engineering in Italian Universities.


title: Threshold Logical Clocks for Asynchronous Distributed Coordination and Consensus

abstract: Consensus protocols for asynchronous networks are usually complex and inefficient, leading practical systems to rely on synchronous protocols. This paper attempts to simplify asynchronous consensus by building atop a novel threshold logical clock abstraction, which enables upper layers to operate as if on a synchronous network. This approach yields an asynchronous consensus protocol for fail-stop nodes that may be simpler and more robust than Paxos and its leader-based variants, requiring no common coins and achieving consensus in a constant expected number of rounds. The same approach can be strengthened against Byzantine failures by building on well-established techniques such as tamper-evident logging and gossip, accountable state machines, threshold signatures and witness cosigning, and verifiable secret sharing. This combination of existing abstractions and threshold logical clocks yields a modular, cleanly-layered approach to building practical and efficient Byzantine consensus, distributed key generation, time, timestamping, and randomness beacons, and other critical services.


title: Improving Semantic Segmentation via Dilated Affinity

abstract: Introducing explicit constraints on the structural predictions has been an effective way to improve the performance of semantic segmentation models. Existing methods are mainly based on insufficient hand-crafted rules that only partially capture the image structure, and some methods can also suffer from the efficiency issue. As a result, most of the state-of-the-art fully convolutional networks did not adopt these techniques. In this work, we propose a simple, fast yet effective method that exploits structural information through direct supervision with minor additional expense. To be specific, our method explicitly requires the network to predict semantic segmentation as well as dilated affinity, which is a sparse version of pair-wise pixel affinity. The capability of telling the relationships between pixels are directly built into the model and enhance the quality of segmentation in two stages. 1) Joint training with dilated affinity can provide robust feature representations and thus lead to finer segmentation results. 2) The extra output of affinity information can be further utilized to refine the original segmentation with a fast propagation process. Consistent improvements are observed on various benchmark datasets when applying our framework to the existing state-of-the-art model. Codes will be released soon.


title: Improved energy production of multi-rotor wind farms

abstract: The multi-rotor (MR) wind turbine concept can be used to upscale wind turbines without increasing the rotor diameter, which can be beneficial for transport, manufacture and design of wind turbines blades. The rotor interaction of a MR wind turbine leads to a faster wake recovery compared to an equivalent single-rotor (SR) wind turbine wake. In this article, the benefit of the faster wake recovery of MR wind turbines is quantified using Reynolds-averaged Navier-Stokes simulations of a 4x4 rectangular MR wind farm, for three different inter wind turbine spacings. The simulations predict an increase of 0.3-1.7% in annual energy production for the MR wind farm with respect to an equivalent SR wind farm, where the highest gain is obtained for the tightest inter wind turbine spacing. The gain in AEP is mainly caused by the aligned wind directions for the first downstream wind turbine in a wind turbine row of the MR wind farm, which is verified by an additional large-eddy simulation.


title: A Canonical Model for Constant Domain Basic First-Order Logic

abstract: I build a canonical model for constant domain basic first-order logic (BQLCD), the constant domain first-order extension of Visser's basic propositional logic, and use the canonical model to verify that BQLCD satisfies the disjunction and existence properties.


title: Polylogarithms from the bound state S-matrix

abstract: Higher-point functions of gauge invariant composite operators in N=4 super Yang-Mills theory can be computed via triangulation. The elementary tile in this process is the hexagon introduced for the evaluation of structure constants. A glueing procedure welding the tiles back together is needed to return to the original object. In this note we present work in progress on n-point functions of BPS operators. In this case, quantum corrections are entirely carried by the glueing procedure. The lowest non-elementary process is the glueing of three adjacent tiles by the exchange of two single magnons. This problem has been analysed before. With a view to resolving some conceptional questions and to generalising to higher processes we are trying to develop an algorithmic approach using the representation of hypergeometric sums as integrals over Euler kernels.


title: Outliers in meta-analysis: an asymmetric trimmed-mean approach

abstract: The adaptive asymmetric trimmed mean is a known way of estimating central location, usually in conjunction with the bootstrap. It is here modified and applied to meta-analysis, as a way of dealing with outlying results by down-weighting the corresponding studies. This requires a modified bootstrap and a method of down-weighting studies, as opposed to removing single observations. This methodology is shown in analysis of some well-travelled datasets to down-weight outliers in agreement with other methods, and Monte-Carlo studies show that it does does not appreciably down-weight studies when outliers are absent. Conceptually simple, it does not make parametric assumptions about the outliers.


title: Applying twice a minimax theorem

abstract: Here is one of the results obtained in this paper: Let $X, Y$ be two convex sets each in a real vector space, let $J:X\times Y\to {\bf R}$ be convex and without global minima in $X$ and concave in $Y$, and let $\Phi:X\to {\bf R}$ be strictly convex. Also, assume that, for some topology on $X$, $\Phi$ is lower semicontinuous and, for each $y\in Y$ and $\lambda>0$, $J(\cdot,y)$ is lower semicontinuous and $J(\cdot,y)+\lambda\Phi(\cdot)$ is inf-compact. Then, for each $r\in ]\inf_X\Phi,\sup_X\Phi[$ and for each closed set $S\subseteq X$ satisfying $$\Phi^{-1}(r)\subseteq S\subseteq \Phi^{-1}(]-\infty,r])\ ,$$ one has $$\sup_Y\inf_SJ=\inf_S\sup_YJ\ .$$


title: Modulated crystals and almost periodic measures

abstract: Modulated crystals and quasicrystals can simultaneously be described as modulated quasicrystals, a class of point sets introduced by de Bruijn in 1987. With appropriate modulation functions, modulated quasicrystals themselves constitute a substantial subclass of strongly almost periodic point measures. We re-analyse these structures using methods from modern mathematical diffraction theory, thereby providing a coherent view over that class. Similarly to de Bruijn's analysis, we find stability with respect to almost periodic modulations.


title: Transmission Power Control for Remote State Estimation in Industrial Wireless Sensor Networks

abstract: Novel low-power wireless technologies and IoT applications open the door to the Industrial Internet of Things (IIoT). In this new paradigm, Wireless Sensor Networks (WSNs) must fulfil, despite energy and transmission power limitations, the challenging communication requirements of advanced manufacturing processes and technologies. In industrial networks, this is possible thanks to the availability of network infrastructure and the presence of a network coordinator that efficiently allocates the available radio resources. In this work, we consider a WSN that simultaneously transmits measurements of Networked Control Systems' (NCSs) dynamics to remote state estimators over a shared packet-erasure channel. We develop a minimum transmission power control (TPC) policy for the coordination of the wireless medium by formulating an infinite horizon Markov decision process (MDP) optimization problem. We compute the policy using an approximate value iteration algorithm and provide an extensive evaluation of its parameters in different interference scenarios and NCSs dynamics. The evaluation results present a comprehensive characterization of the algorithm's performance, proving that it can flexibly adapt to arbitrary use cases.


title: Unforeseen Evidence

abstract: I propose a normative updating rule, extended Bayesianism, for the incorporation of probabilistic information arising from the process of becoming more aware. Extended Bayesianism generalizes standard Bayesian updating to allow the posterior to reside on richer probability space than the prior. I then provide an observable criterion on prior and posterior beliefs such that they were consistent with extended Bayesianism.


title: Quasipolynomial Computation of Nested Fixpoints

abstract: It is well-known that the winning region of a parity game with $n$ nodes and $k$ priorities can be computed as a $k$-nested fixpoint of a suitable function; straightforward computation of this nested fixpoint requires $\mathcal{O}(n^{\frac{k}{2}})$ iterations of the function. Calude et al.'s recent quasipolynomial-time parity game solving algorithm essentially shows how to compute the same fixpoint in only quasipolynomially many iterations by reducing parity games to quasipolynomially sized safety games. Universal graphs have been used to modularize this transformation of parity games to equivalent safety games that are obtained by combining the original game with a universal graph. We show that this approach naturally generalizes to the computation of solutions of systems of \emph{any} fixpoint equations over finite lattices; hence, the solution of fixpoint equation systems can be computed by quasipolynomially many iterations of the equations. We present applications to modal fixpoint logics and games beyond relational semantics. For instance, the model checking problems for the energy $\mu$-calculus, finite latticed $\mu$-calculi, and the graded and the (two-valued) probabilistic $\mu$-calculus -- with numbers coded in binary -- can be solved via nested fixpoints of functions that differ substantially from the function for parity games but still can be computed in quasipolynomial time; our result hence implies that model checking for these $\mu$-calculi is in QP. Moreover, we improve the exponent in known exponential bounds on satisfiability checking.


title: The symplectic structure of renormalisation of circle diffeomorphisms with breaks

abstract: In this article we prove that iterated renormalisations of $\mathcal{C}^r$ circle diffeomorphisms with $d$ breaks, $r>2$, with given size of breaks, converge to an invariant family of piecewise Moebius maps, of dimension $2d$. We prove that this invariant family identifies with a \textit{relative character variety} $\chi(\pi_1 \Sigma, \mathrm{PSL}(2,\mathbb{R}), \mathbf{h})$ where $\Sigma$ is a $d$-holed torus, and that the renormalisation operator identifies with a sub-action of the mapping class group $\mathrm{MCG}(\Sigma)$. This action is known to preserves a symplectic form, thanks to the work of Guruprasad-Huebschmann-Jeffrey-Weinstein. Its pull-back through the aforementioned identification provides a symplectic form invariant by renormalisation.


title: Serre's Property (FA) for automorphism groups of free products

abstract: We provide some necessary and some sufficient conditions for the automorphism group of a free product of (freely indecomposable, not infinite cyclic) groups to have Property (FA). The additional sufficient conditions are all met by finite groups, and so this case is fully characterised. Therefore this paper generalises the work of Leder (arXiv:1810.06287) for finite cyclic groups, as well as resolving the open case of that paper.


title: Data Selection for training Semantic Segmentation CNNs with cross-dataset weak supervision

abstract: Training convolutional networks for semantic segmentation with strong (per-pixel) and weak (per-bounding-box) supervision requires a large amount of weakly labeled data. We propose two methods for selecting the most relevant data with weak supervision. The first method is designed for finding visually similar images without the need of labels and is based on modeling image representations with a Gaussian Mixture Model (GMM). As a byproduct of GMM modeling, we present useful insights on characterizing the data generating distribution. The second method aims at finding images with high object diversity and requires only the bounding box labels. Both methods are developed in the context of automated driving and experimentation is conducted on Cityscapes and Open Images datasets. We demonstrate performance gains by reducing the amount of employed weakly labeled images up to 100 times for Open Images and up to 20 times for Cityscapes.


title: Morphisms of Skew Hadamard Matrices

abstract: Quaternary unit Hadamard (QUH) matrices were introduced by Fender, Kharagani and Suda along with a method to construct them at prime power orders. We present a novel construction of real Hadamard matrices from QUH matrices. Our construction recovers the result by Mukhopadhyay on the existence of real Hadamard matrices of order $q^n+q^{n-1}$ for each prime power $q\equiv 3\mod 4$. Furthermore we provide nonexistence conditions for QUH matrices.


title: Some Structure Theory for Cayley Graphs and Associated Hypergraphs

abstract: We expand the structural theory of \ca graphs that avoid specific cyclic coset patterns. We present several characterisations of tree-likeness for these structures and show a close connection to $\alpha$-acyclic hypergraphs. A focus lies on the behaviour of short paths of overlapping cosets in these \ca graphs, and their relation to short chordless paths in hypergraphs that are locally acyclic.


title: On supersingular loci of Shimura varieties for quaternionic unitary groups of degree $2$

abstract: We describe the structure of the supersingular locus of a Shimura variety for a quaternionic unitary similitude group of degree $2$ over a ramified odd prime $p$ if the level at $p$ is given by a special maximal compact open subgroup. More precisely, we show that such a locus has purely $2$-dimensional, and every irreducible component is birational to the Fermat surface. Furthermore, we have an estimation of the numbers of connected and irreducible components. To prove these assertions, we completely determine the structure of the underlying reduced scheme of the Rapoport--Zink space for the quaternionic unitary similitude group of degree $2$, with a special parahoric level. We prove that such a scheme is purely $2$-dimensional, and every irreducible component is isomorphic to the Fermat surface. We also determine its connected components, irreducible components and their intersection behaviors by means of the Bruhat--Tits building of $\mathrm{PGSp}_4(\mathbb{Q}_p)$. In addition, we compute the intersection multiplicity of the GGP cycles associated to an embedding of the considering Rapoport--Zink space into the Rapoport--Zink space for the unramified $\mathrm{GU}_{2,2}$ with hyperspecial level for the minuscule case.


title: Nucleation at the phase transition near 40~$^{\circ }$C in MnAs nanodisks

abstract: The phase transition near 40~$^{\circ }$C of both as-grown thin epitaxial MnAs films prepared by molecular beam epitaxy on GaAs(001) and nanometer-scale disks fabricated from the same films is studied. The disks are found to exhibit a pronounced hysteresis in the temperature curve of the phase composition. In contrast, supercooling and overheating take place far less in the samples of continuous layers. These phenomena are explained in terms of the necessary formation of nuclei of the other phase in each of the disks independent from each other. The influence of the elastic strains in the disks is reduced considerably.


title: Shallow water equations on a fast rotating surface

abstract: We prove that for rotating shallow water equations on a surface of revolution with variable Coriolis parameter and vanishing Rossby and Froude numbers, the classical solution satisfies uniform estimates on a fixed time interval with no dependence on the small parameters. Upon a transformation using the solution operator associated with the large operator, the solution converges strongly to a limit for which the governing equation is given. We also characterize the kernel of the large operator and define a projection onto that kernel. With these tools, we are able to show that the time-averages of the solution are close to longitude-independent zonal flows and height field.

categories: math.AP math.DS physics.ao-ph physics.flu-dyn


title: Adaptive Prior Selection for Repertoire-based Online Adaptation in Robotics

abstract: Repertoire-based learning is a data-efficient adaptation approach based on a two-step process in which (1) a large and diverse set of policies is learned in simulation, and (2) a planning or learning algorithm chooses the most appropriate policies according to the current situation (e.g., a damaged robot, a new object, etc.). In this paper, we relax the assumption of previous works that a single repertoire is enough for adaptation. Instead, we generate repertoires for many different situations (e.g., with a missing leg, on different floors, etc.) and let our algorithm selects the most useful prior. Our main contribution is an algorithm, APROL (Adaptive Prior selection for Repertoire-based Online Learning) to plan the next action by incorporating these priors when the robot has no information about the current situation. We evaluate APROL on two simulated tasks: (1) pushing unknown objects of various shapes and sizes with a robotic arm and (2) a goal reaching task with a damaged hexapod robot. We compare with "Reset-free Trial and Error" (RTE) and various single repertoire-based baselines. The results show that APROL solves both the tasks in less interaction time than the baselines. Additionally, we demonstrate APROL on a real, damaged hexapod that quickly learns to pick compensatory policies to reach a goal by avoiding obstacles in the path.


title: Quantum and Nonlinear Effects in Light Transmitted through Planar Atomic Arrays

abstract: We identify significant quantum many-body effects, robust to position fluctuations and strong dipole--dipole interactions, in the forward light scattering from planar arrays and uniform-density disks of cold atoms, by comparing stochastic electrodynamics simulations of a quantum master equation and of a semiclassical model that neglects quantum fluctuations. Quantum effects are pronounced at high atomic densities, light close to saturation intensity, and around subradiant resonances. We show that such conditions also maximize spin--spin correlations and entanglement of formation for the atoms, revealing the microscopic origin of light-induced quantum effects. In several regimes of interest, an enhanced semiclassical model with a single-atom quantum description reproduces light transmission remarkably well, and permits analysis of otherwise numerically inaccessible large ensembles, in which we observe collective many-body analogues of resonance power broadening, vacuum Rabi splitting, and significant suppression in cooperative reflection from atomic arrays.


title: Erratum to the paper: Integral cohomology of the Generalized Kummer fourfold

abstract: We provide a correct proof of arXiv:1607.03431, Theorem 5.2 in dimension 4. More precisely, we show that the integral cohomology of the generalized Kummer fourfold is torsion free.


title: Dark Patterns at Scale: Findings from a Crawl of 11K Shopping Websites

abstract: Dark patterns are user interface design choices that benefit an online service by coercing, steering, or deceiving users into making unintended and potentially harmful decisions. We present automated techniques that enable experts to identify dark patterns on a large set of websites. Using these techniques, we study shopping websites, which often use dark patterns to influence users into making more purchases or disclosing more information than they would otherwise. Analyzing ~53K product pages from ~11K shopping websites, we discover 1,818 dark pattern instances, together representing 15 types and 7 broader categories. We examine these dark patterns for deceptive practices, and find 183 websites that engage in such practices. We also uncover 22 third-party entities that offer dark patterns as a turnkey solution. Finally, we develop a taxonomy of dark pattern characteristics that describes the underlying influence of the dark patterns and their potential harm on user decision-making. Based on our findings, we make recommendations for stakeholders including researchers and regulators to study, mitigate, and minimize the use of these patterns.


title: Neural Language Model Based Training Data Augmentation for Weakly Supervised Early Rumor Detection

abstract: The scarcity and class imbalance of training data are known issues in current rumor detection tasks. We propose a straight-forward and general-purpose data augmentation technique which is beneficial to early rumor detection relying on event propagation patterns. The key idea is to exploit massive unlabeled event data sets on social media to augment limited labeled rumor source tweets. This work is based on rumor spreading patterns revealed by recent rumor studies and semantic relatedness between labeled and unlabeled data. A state-of-the-art neural language model (NLM) and large credibility-focused Twitter corpora are employed to learn context-sensitive representations of rumor tweets. Six different real-world events based on three publicly available rumor datasets are employed in our experiments to provide a comparative evaluation of the effectiveness of the method. The results show that our method can expand the size of an existing rumor data set nearly by 200% and corresponding social context (i.e., conversational threads) by 100% with reasonable quality. Preliminary experiments with a state-of-the-art deep learning-based rumor detection model show that augmented data can alleviate over-fitting and class imbalance caused by limited train data and can help to train complex neural networks (NNs). With augmented data, the performance of rumor detection can be improved by 12.1% in terms of F-score. Our experiments also indicate that augmented training data can help to generalize rumor detection models on unseen rumors.


title: Uncertainty-aware Self-ensembling Model for Semi-supervised 3D Left Atrium Segmentation

abstract: Training deep convolutional neural networks usually requires a large amount of labeled data. However, it is expensive and time-consuming to annotate data for medical image segmentation tasks. In this paper, we present a novel uncertainty-aware semi-supervised framework for left atrium segmentation from 3D MR images. Our framework can effectively leverage the unlabeled data by encouraging consistent predictions of the same input under different perturbations. Concretely, the framework consists of a student model and a teacher model, and the student model learns from the teacher model by minimizing a segmentation loss and a consistency loss with respect to the targets of the teacher model. We design a novel uncertainty-aware scheme to enable the student model to gradually learn from the meaningful and reliable targets by exploiting the uncertainty information. Experiments show that our method achieves high performance gains by incorporating the unlabeled data. Our method outperforms the state-of-the-art semi-supervised methods, demonstrating the potential of our framework for the challenging semi-supervised problems.


title: Structured Variational Inference in Unstable Gaussian Process State Space Models

abstract: We propose a new variational inference algorithm for learning in Gaussian Process State-Space Models (GPSSMs). Our algorithm enables learning of unstable and partially observable systems, where previous algorithms fail. Our main algorithmic contribution is a novel approximate posterior that can be calculated efficiently using a single forward and backward pass along the training trajectories. The forward-backward pass is inspired on Kalman smoothing for linear dynamical systems but generalizes to GPSSMs. Our second contribution is a modification of the conditioning step that effectively lowers the Kalman gain. This modification is crucial to attaining good test performance where no measurements are available. Finally, we show experimentally that our learning algorithm performs well in stable and unstable real systems with hidden states.


title: Information processing constraints in travel behaviour modelling: A generative learning approach

abstract: Travel decisions tend to exhibit sensitivity to uncertainty and information processing constraints. These behavioural conditions can be characterized by a generative learning process. We propose a data-driven generative model version of rational inattention theory to emulate these behavioural representations. We outline the methodology of the generative model and the associated learning process as well as provide an intuitive explanation of how this process captures the value of prior information in the choice utility specification. We demonstrate the effects of information heterogeneity on a travel choice, analyze the econometric interpretation, and explore the properties of our generative model. Our findings indicate a strong correlation with rational inattention behaviour theory, which suggest that individuals may ignore certain exogenous variables and rely on prior information for evaluating decisions under uncertainty. Finally, the principles demonstrated in this study can be formulated as a generalized entropy and utility based multinomial logit model.


title: Embedded Ridge Approximations

abstract: Many quantities of interest (qois) arising from differential-equation-centric models can be resolved into functions of scalar fields. Examples of such qois include the lift over an airfoil or the displacement of a loaded structure; examples of corresponding fields are the static pressure field in a computational fluid dynamics solution, and the strain field in the finite element elasticity analysis. These scalar fields are evaluated at each node within a discretised computational domain. In certain scenarios, the field at a certain node is only weakly influenced by far-field perturbations; it is likely to be strongly governed by local perturbations, which in turn can be caused by uncertainties in the geometry. One can interpret this as a strong anisotropy of the field with respect to uncertainties in prescribed inputs. We exploit this notion of localised scalar-field influence for approximating global qois, which often are integrals of certain field quantities. We formalise our ideas by assigning ridge approximations for the field at select nodes. This embedded ridge approximation has favorable theoretical properties for approximating a global qoi in terms of the reduced number of computational evaluations required. Parallels are drawn between our proposed approach, active subspaces and vector-valued dimension reduction. Additionally, we study the ridge directions of adjacent nodes and devise algorithms that can recover field quantities at selected nodes, when storing the ridge profiles at a subset of nodes---paving the way for novel reduced order modeling strategies. Our paper offers analytical and simulation-based examples that expose different facets of embedded ridge approximations.


title: Coronagraphic phase diversity through residual turbulence: performance study and experimental validation

abstract: Quasi-static aberrations in coronagraphic systems are the ultimate limitation to the capabilities of exoplanet imagers both ground-based and space-based. These aberrations - which can be due to various causes such as optics alignment or moving optical parts during the observing sequence - create light residuals called speckles in the focal plane that might be mistaken for a planets. For ground-based instruments, the presence of residual turbulent wavefront errors due to partial adaptive optics correction causes an additional difficulty to the challenge of measuring aberrations in the presence of a coronagraph. In this paper, we present an extension of COFFEE, the coronagraphic phase diversity, to the estimation of quasi-static aberrations in the presence of adaptive optics-corrected residual turbulence. We perform realistic numerical simulations to assess the performance that can be expected on an instrument of the current generation. We perform the first experimental validation in the laboratory which demonstrates that quasistatic aberrations can be corrected during the observations by means of coronagraphic phase diversity.


title: Thermodynamic properties of the 3D Lennard-Jones/spline model

abstract: The Lennard-Jones (LJ) spline potential is a truncated LJ potential such that both the pair potential and the force continuously approach zero at $r_c \approx 1.74{\sigma}$. We present a systematic map of the thermodynamic properties of the LJ spline model from molecular dynamics and Gibbs ensemble Monte Carlo simulations. Results are presented for gas/liquid, liquid/solid and gas/solid coexistence curves, the Joule-Thomson inversion curve, and several other thermodynamic properties. The critical point for the model is estimated to be $T_c^*=0.885 \pm 0.002$ and $P_c^*=0.075 \pm 0.001$, respectively. The triple point is estimated to be $T_{tp}^*=0.547 \pm 0.005$ and $P_{tp}^*=0.0016 \pm 0.0002$. The coexistence densities, saturation pressure, and supercritical isotherms of the LJ/s model were fairly well represented by the Peng-Robison equation of state. We find that Barker-Henderson perturbation theory works less good for the LJ spline than for the LJ model. The first-order perturbation theory overestimates the critical temperature and pressure by about 10% and 90%, respectively. A second-order perturbation theory is not much better. Our assessment is that mean compressibility approximation gives a poor representation of the second-order perturbation term. Our main conclusion is that we at the moment do not have a theory or model that adequately represents the thermodynamic properties of the LJ spline system.


title: On mathematical realism and the applicability of hyperreals

abstract: We argue that Robinson's hyperreals have just as much claim to applicability as the garden variety reals. In a recent text, Easwaran and Towsner (ET) analyze the applicability of mathematical techniques in the sciences, and introduce a distinction between techniques that are applicable and those that are merely instrumental. Unfortunately the authors have not shown that their distinction is a clear and fruitful one, as the examples they provide are superficial and unconvincing. Moreover, their analysis is vitiated by a reliance on a naive version of object realism which has long been abandoned by most philosophical realists in favor of truth-value realism. ET's argument against the applicability of hyperreals based on automorphisms of hyperreal models involves massaging the evidence and is similarly unconvincing. The purpose of the ET text is to argue that Robinson's infinitesimal analysis is merely instrumental rather than applicable. Yet in spite of Robinson's techniques being applied in physics, probability, and economics, ET don't bother to provide a meaningful analysis of even a single case in which these techniques are used. Instead, ET produce page after page of speculations mainly imitating Connesian chimera-type arguments `from first principles' against Robinson. In an earlier paper Easwaran endorsed real applicability of the sigma-additivity of measures, whereas the ET text rejects real applicability of the axiom of choice, voicing a preference for ZF. Since it is consistent with ZF that the Lebesgue measure is not sigma-additive, Easwaran is thereby walking back his earlier endorsement. We note a related inaccuracy in the textbook Measure Theory by Paul Halmos.


title: Separable rational connectedness and weak approximation in positive characteristic

abstract: In this short note we give a characterization of smooth projective varieties of Picard number one that are separably uniruled but not separably rationally connected. We also give a sufficient condition involving the torsion order and the uniruling index for a smooth Fano variety of Picard number one to be separably rationally connected. As an application, we prove some weak approximation results for Fano complete intersections in positive charactersitic. For example, we show that weak approximation holds at place of strong potentially good reduction for a Fano complete intersection in $\mathbb{P}^n$ of type $(d_1, \ldots, d_c)$ in characteristic $p$ such that $n>d_1+\ldots +d_c, p>d_1, \ldots, d_c.$


title: Minimisation of Event Structures

abstract: Event structures are fundamental models in concurrency theory, providing a representation of events in computation and of their relations, notably concurrency, conflict and causality. In this paper we present a theory of minimisation for event structures. Working in a class of event structures that generalises many stable event structure models in the literature (e.g., prime, asymmetric, flow and bundle event structures), we study a notion of behaviour-preserving quotient, referred to as a folding, taking (hereditary) history preserving bisimilarity as a reference behavioural equivalence. We show that for any event structure a folding producing a uniquely determined minimal quotient always exists. We observe that each event structure can be seen as the folding of a prime event structure, and that all foldings between general event structures arise from foldings of (suitably defined) corresponding prime event structures. This gives a special relevance to foldings in the class of prime event structures, which are studied in detail. We identify folding conditions for prime and asymmetric event structures, and show that also prime event structures always admit a unique minimal quotient (while this is not the case for various other event structure models).


title: Information and disturbance in operational probabilistic theories

abstract: Any measurement is intended to provide information on a system, namely knowledge about its state. However, we learn from quantum theory that it is generally impossible to extract information without disturbing the state of the system or its correlations with other systems. In this paper we address the issue of the interplay between information and disturbance for a general operational probabilistic theory. The traditional notion of disturbance considers the fate of the system state after the measurement. However, the fact that the system state is left untouched ensures that also correlations are preserved only in the presence of local discriminability. Here we provide the definition of disturbance that is appropriate for a general theory. Moreover, since in a theory without causality information can be gathered also on the effect, we generalise the notion of no-information test. We then prove an equivalent condition for no-information without disturbance-atomicity of the identity-namely the impossibility of achieving the trivial evolution-the identity-as the coarse-graining of a set of non trivial ones. We prove a general theorem showing that information that can be retrieved without disturbance corresponds to perfectly repeatable and discriminating tests. Based on this, we prove a structure theorem for operational probabilistic theories, showing that the set of states of any system decomposes as a direct sum of perfectly discriminable sets, and such decomposition is preserved under system composition. As a consequence, a theory is such that any information can be extracted without disturbance only if all its systems are classical. Finally, we show via concrete examples that no-information without disturbance is independent of both local discriminability and purification.


title: Limiting behavior of scaled general Euler equations of compressible fluid flow

abstract: The aim of this article is to study the limiting behavior of the solutions for the scaled generalized Euler equations of compressible fluid flow. When the initial data is of Riemann type, we showed the existence of solution which consists of shock waves and rarefaction waves and that the distributional limit of the solutions for this system converges to the solution of a non-strictly hyperbolic system, called one dimensional model for large scale structure formation of universe as the scaling parameter vanishes. An explicit entropy and entropy flux pair are also constructed for the particular flux function (Brio system) and it is shown that the solution constructed is entropy admissible. This is a continuation of our work[23].


title: Pedestrian Tracking by Probabilistic Data Association and Correspondence Embeddings

abstract: This paper studies the interplay between kinematics (position and velocity) and appearance cues for establishing correspondences in multi-target pedestrian tracking. We investigate tracking-by-detection approaches based on a deep learning detector, joint integrated probabilistic data association (JIPDA), and appearance-based tracking of deep correspondence embeddings. We first addressed the fixed-camera setup by fine-tuning a convolutional detector for accurate pedestrian detection and combining it with kinematic-only JIPDA. The resulting submission ranked first on the 3DMOT2015 benchmark. However, in sequences with a moving camera and unknown ego-motion, we achieved the best results by replacing kinematic cues with global nearest neighbor tracking of deep correspondence embeddings. We trained the embeddings by fine-tuning features from the second block of ResNet-18 using angular loss extended by a margin term. We note that integrating deep correspondence embeddings directly in JIPDA did not bring significant improvement. It appears that geometry of deep correspondence embeddings for soft data association needs further investigation in order to obtain the best from both worlds.


title: Probing invisible decay of dark photon at BESIII and future STCF via monophoton searches

abstract: We propose to search the monophoton events at the BESIII detector and future Super Tau Charm Factory to probe the sub-GeV dark photon decay into lighter dark matter. We compute the cross section due to the dark photon associated a standard model photon production, and study the corresponding standard model irreducible/reducible backgrounds. By using the data about 17 fb$^{-1}$ collected at the BESIII detector since 2011, we derive new leading limits of the mixing strength $\varepsilon$, $\varepsilon\lesssim(1.1-1.6)\times 10^{-4}$, in the mass range of 0.04 GeV $\lesssim m_{A^\prime} \lesssim$ 3 GeV. With 30 ab$^{-1}$ data, STCF running at $\sqrt{s} = 2$ GeV, can probe $\varepsilon$ down to 5.1$\times 10^{-6}$ when $m_{A^\prime}=1$ GeV. For models of scalar and fermionic light thermal dark matter production via dark photon, we present the constrains on the dimensionless dark matter parameter $y=\varepsilon^2\alpha_D(m_\chi/m_{A^\prime})^4$ as function of the DM mass $m_{\chi}$ at BESIII and future STCF, conventionally assuming the dark coupling constant $\alpha_D=0.5$ and $m_{A^\prime}=3 m_{\chi}$. We find that BESIII can exclude model of scalar, Majorana, and pseudo-Dirac (with a small splitting) DM for the mass region 0.03$\sim$1 GeV, 0.04$\sim$1 GeV and 0.4$\sim$1 GeV respectively. For values $\alpha_D\lesssim 0.005$, combining the results from 2 GeV STCF with 30 ab$^{-1}$ data and BaBar, one can exclude the above three DM models in the mass region 0.001 GeV $\lesssim m_{\chi} \lesssim$ 1 GeV.


title: Flat Semimodules & von Neumann Regular Semirings

abstract: Flat modules play an important role in the study of the category of modules over rings and in the characterization of some classes of rings. We study the e-flatness for semimodules introduced by the first author using his new notion of exact sequences of semimodules and its relationships with other notions of flatness for semimodules over semirings. We also prove that a subtractive semiring over which every right (left) semimodule is e-flat is a von Neumann regular semiring.


title: The nature of the soft-excess and spectral variability in the Seyfert 1 galaxy Zw 229.015

abstract: We have carried out a systematic analysis of the nearby (z=0.0279) active galaxy Zw 229.015 using multi-epoch, multi-instrument and deep pointed observations with XMM-Newton, Suzaku, Swift and NuSTAR. Spectral and temporal variability are examined in detail on both the long (weeks-to-years) and short (hours) timescales. A deep Suzaku observation of the source shows two distinct spectral states; a bright-soft state and a dim-hard state in which changes in the power law component account for the differences. Partial covering, blurred reflection and soft Comptonisation models describe the X-ray spectra comparably well, but the smooth, rather featureless, spectrum may be favouring the soft Comptonisation scenario. Moreover, independent of the spectral model, the observed spectral variability is ascribed to the changes in the power law continuum only and do not require changes in the properties of the absorber or blurred reflector incorporated in the other scenarios. The multi-epoch observations between 2009 and 2018 can be described in similar fashion. This could be understood if the primary emission is originating at a large distance from a standard accretion disc or if the disc is optically thin and geometrically thick as recently proposed for Zw 229.015. Our investigation shows that Zw 229.015 behaves similar to sources like Akn 120 and Mrk 530, that exhibit a strong soft-excess, but weak Compton hump and Fe K${\alpha}$ emission.


title: Spectral analysis of the hybrid PG 1159-type central stars of the planetary nebulae Abell 43 and NGC 7094

abstract: Stellar post asymptotic giant branch (post-AGB) evolution can be completely altered by a final thermal pulse (FTP) which may occur when the star is still leaving the AGB (AFTP), at the departure from the AGB at still constant luminosity (late TP, LTP) or after the entry to the white-dwarf cooling sequence (very late TP, VLTP). Then convection mixes the He-rich material with the H-rich envelope. According to stellar evolution models the result is a star with a surface composition of $\mathrm{H}\approx\,20\,$% by mass (AFTP), $\approx 1\,$% (LTP), or (almost) no H (VLTP). Since FTP stars exhibit intershell material at their surface, spectral analyses establish constraints for AGB nucleosynthesis and stellar evolution. We performed a spectral analysis of the so-called hybrid PG 1159-type central stars (CS) of the planetary nebulae Abell 43 and NGC7094 by means of non-local thermodynamical equilibrium models. We confirm the previously determined effective temperatures of $T_\mathrm{eff} = 115\,000\pm 5\,000\,$K and determine surface gravities of $\log (g\,/\,\mathrm{cm/s^2}) = 5.6\pm 0.1$ for both. From a comparison with AFTP evolutionary tracks, we derive stellar masses of $0.57^{+0.07}_{-0.04}\,M_\odot$ and determine the abundances of H, He, and metals up to Xe. Both CS are likely AFTP stars with a surface H mass fraction of $0.25 \pm 0.03$ and $0.15 \pm 0.03$, respectively, and a Fe deficiency indicating subsolar initial metallicities. The light metals show typical PG 1159-type abundances and the elemental composition is in good agreement with predictions from AFTP evolutionary models. However, the expansion ages do not agree with evolution timescales expected from the AFTP scenario and alternatives should be explored.


title: Twist dynamics and Aubry-Mather sets around a periodically perturbed point-vortex

abstract: We consider the model of a point-vortex under a periodic perturbation and give sufficient conditions for the existence of generalized quasi-periodic solutions with rotation number. The proof uses Aubry-Mather theory to obtain the existence of a family of minimal orbits of the Poincar\'e map associated to the system.


title: Damping of slow magnetoacoustic oscillations by the misbalance between heating and cooling processes in the solar corona

abstract: Rapidly decaying slow magnetoacoustic waves are regularly observed in the solar coronal structures, offering a promising tool for a seismological diagnostics of the coronal plasma, including its thermodynamical properties. The effect of damping of standing slow magnetoacoustic oscillations in the solar coronal loops is investigated accounting for the field-aligned thermal conductivity and a wave-induced misbalance between radiative cooling and some unspecified heating rates. The non-adiabatic terms were allowed to be arbitrarily large, corresponding to the observed values. The thermal conductivity was taken in its classical form, and a power-law dependence of the heating function on the density and temperature was assumed. The analysis was conducted in the linear regime and in the infinite magnetic field approximation. The wave dynamics is found to be highly sensitive to the characteristic time scales of the thermal misbalance. Depending on certain values of the misbalance time scales three regimes of the wave evolution were identified, namely the regime of a suppressed damping, enhanced damping where the damping rate drops down to the observational values, and acoustic over-stability. The specific regime is determined by the dependences of the radiative cooling and heating functions on thermodynamical parameters of the plasma in the vicinity of the perturbed thermal equilibrium. The comparison of the observed and theoretically derived decay times and oscillation periods allows us to constrain the coronal heating function. For typical coronal parameters, the observed properties of standing slow magnetoacoustic oscillations could be readily reproduced with a reasonable choice of the heating function.


title: Robotic laser adaptive optics for rapid visible/near-infrared AO imaging and boosted-sensitivity low-resolution NIR integral field spectroscopy

abstract: Large area surveys will dominate the next decade of astronomy, and the main limitation to science will be the thorough followup and characterization of their extremely numerous discoveries. The deployment of robotic laser adaptive optics on mid-sized telescopes will be crucial for the sensitive and rapid characterization of these survey targets.


title: Tensor Methods for Finding Approximate Stationary Points of Convex Functions

abstract: In this paper we consider the problem of finding $\epsilon$-approximate stationary points of convex functions that are $p$-times differentiable with $\nu$-H\"{o}lder continuous $p$th derivatives. We present tensor methods with and without acceleration. Specifically, we show that the non-accelerated schemes take at most $\mathcal{O}\left(\epsilon^{-1/(p+\nu-1)}\right)$ iterations to reduce the norm of the gradient of the objective below a given $\epsilon\in (0,1)$. For accelerated tensor schemes we establish improved complexity bounds of $\mathcal{O}\left(\epsilon^{-(p+\nu)/[(p+\nu-1)(p+\nu+1)]}\right)$ and $\mathcal{O}\left(|\log(\epsilon)|\epsilon^{-1/(p+\nu)}\right)$, when the H\"{o}lder parameter $\nu\in [0,1]$ is known. For the case in which $\nu$ is unknown, we obtain a bound of $\mathcal{O}\left(\epsilon^{-(p+1)/[(p+\nu-1)(p+2)]}\right)$ for a universal accelerated scheme. Finally, we also obtain a lower complexity bound of $\mathcal{O}\left(\epsilon^{-2/[3(p+\nu)-2]}\right)$ for finding $\epsilon$-approximate stationary points using $p$-order tensor methods.


title: Location Privacy in Conservation

abstract: The growing public nature of academic journals along with current best practices of sharing primary data for scientific research are profoundly valuable for the understanding of a species and their conservation efforts. On the other hand, public spatial data on endangered species may be easily abused by wildlife criminals. In this paper, we discuss how geo-indistinguishability, a formal notion of privacy for location-based systems, can be used to add noise to published spatial data whilst allowing quantification of such tradeoff.


title: Homophily as a Process Generating Social Networks: Insights from Social Distance Attachment Model

abstract: Real-world social networks often exhibit high levels of clustering, positive degree assortativity, short average path lengths (small-world property) and right-skewed but rarely power law degree distributions. On the other hand homophily, defined as the propensity of similar agents to connect to each other, is one of the most fundamental social processes observed in many human and animal societies. In this paper we examine the extent to which homophily is sufficient to produce the typical structural properties of social networks. To do so, we conduct a simulation study based on the Social Distance Attachment (SDA) model, a particular kind of Random Geometric Graph (RGG), in which nodes are embedded in a social space and connection probabilities depend functionally on distances between nodes. We derive the form of the model from first principles based on existing analytical results and argue that the mathematical construction of RGGs corresponds directly to the homophily principle, so they provide a good model for it. We find that homophily, especially when combined with a random edge rewiring, is sufficient to reproduce many of the characteristic features of social networks. Additionally, we devise a hybrid model combining SDA with the configuration model that allows generating homophilic networks with arbitrary degree sequences and we use it to study interactions of homophily with processes imposing constraints on degree distributions. We show that the effects of homophily on clustering are robust with respect to distribution constraints, while degree assortativity can be highly dependent on the particular kind of enforced degree sequence.


title: A Quadrotor with an Origami-Inspired Protective Mechanism

abstract: Despite advances in localization and navigation, aerial robots inevitably remain susceptible to accidents and collisions. In this work, we propose a passive foldable airframe as a protective mechanism for a small aerial robot. A foldable quadrotor is designed and fabricated using the origami-inspired manufacturing paradigm. Upon an accidental mid-flight collision, the deformable airframe is mechanically activated. The rigid frame reconfigures its structure to protect the central part of the robot that houses sensitive components from a crash to the ground. The proposed robot is fabricated, modeled, and characterized. The 51-gram vehicle demonstrates the desired folding sequence in less than 0.15 s when colliding with a wall when flying.


title: Kinetic energy properties and weak equivalence principle in a space with GUP

abstract: A space with deformed commutation relations for coordinates and momenta leading to generalized uncertainty principle (GUP) is studied. We show that GUP causes great violation of the weak equivalence principle for macroscopic bodies, violation of additivity property of the kinetic energy, dependence of the kinetic energy on composition, great corrections to the kinetic energy of macroscopic bodies. We find that all these problems can be solved in the case of arbitrary deformation function depending on momentum if parameter of deformation is proportional inversely to squared mass.


title: Improved alkali intercalation of carbonaceous materials in ammonia solution

abstract: Alkali intercalated graphite compounds represent a compelling modification of carbon with significant application potential and various fundamentally important phases. We report on the intercalation of graphite with alkali atoms (Li and K) using liquid ammonia solution as mediating agent. Alkali atoms dissolve well in liquid ammonia which simplifies and speeds up the intercalation process, and it also avoids the high temperature formation of alkali carbides. Optical microscopy, Raman, and electron spin resonance spectroscopy attest that the prepared samples are highly and homogeneously intercalated to a level approaching Stage-I intercalation compounds. The method and the synthesis route may serve as a starting point for the various forms of alkali atom intercalated carbon compounds (including carbon nanotubes and graphene), which could be exploited in energy storage and further chemical modifications.


title: A note on duality theorems in mass transportation

abstract: The duality theory of the Monge-Kantorovich transport problem is investigated in an abstract measure theoretic framework. Let $(\mathcal{X},\mathcal{F},\mu)$ and $(\mathcal{Y},\mathcal{G},\nu)$ be any probability spaces and $c:\mathcal{X}\times\mathcal{Y}\rightarrow\mathbb{R}$ a measurable cost function such that $f_1+g_1\le c\le f_2+g_2$ for some $f_1,\,f_2\in L_1(\mu)$ and $g_1,\,g_2\in L_1(\nu)$. Define $\alpha(c)=\inf_P\int c\,dP$ and $\alpha^*(c)=\sup_P\int c\,dP$, where $\inf$ and $\sup$ are over the probabilities $P$ on $\mathcal{F}\otimes\mathcal{G}$ with marginals $\mu$ and $\nu$. Some duality theorems for $\alpha(c)$ and $\alpha^*(c)$, not requiring $\mu$ or $\nu$ to be perfect, are proved. As an example, suppose $\mathcal{X}$ and $\mathcal{Y}$ are metric spaces and $\mu$ is separable. Then, duality holds for $\alpha(c)$ (for $\alpha^*(c)$) provided $c$ is upper-semicontinuous (lower-semicontinuous). Moreover, duality holds for both $\alpha(c)$ and $\alpha^*(c)$ if the maps $x\mapsto c(x,y)$ and $y\mapsto c(x,y)$ are continuous, or if $c$ is bounded and $x\mapsto c(x,y)$ is continuous. This improves the existing results in \cite{RR1995} if $c$ satisfies the quoted conditions and the cardinalities of $\mathcal{X}$ and $\mathcal{Y}$ do not exceed the continuum.


title: Performances of a resistive MicroMegas module for the Time Projection Chambers of the T2K Near Detector upgrade

abstract: An upgrade of the Near Detector of the T2K long baseline neutrino oscillation experiment, ND280, has been proposed. This upgrade will include two new Time Projection Chambers, each equipped with 16 resistive MicroMegas modules for gas amplification. A first prototype of resistive MicroMegas has been designed, built, installed in the HARP field cage, and exposed to a beam of charged particles at CERN. The data have been used to characterize the performances of the resistive MicroMegas module. A spatial resolution of 300 $\mu m$ and a deposited energy resolution of 9% were observed for horizontal electrons crossing the TPCs at 30 cm from the anode. Such performances fully satisfy the requirements for the upgrade of the ND280 TPC.


title: How much real data do we actually need: Analyzing object detection performance using synthetic and real data

abstract: In recent years, deep learning models have resulted in a huge amount of progress in various areas, including computer vision. By nature, the supervised training of deep models requires a large amount of data to be available. This ideal case is usually not tractable as the data annotation is a tremendously exhausting and costly task to perform. An alternative is to use synthetic data. In this paper, we take a comprehensive look into the effects of replacing real data with synthetic data. We further analyze the effects of having a limited amount of real data. We use multiple synthetic and real datasets along with a simulation tool to create large amounts of cheaply annotated synthetic data. We analyze the domain similarity of each of these datasets. We provide insights about designing a methodological procedure for training deep networks using these datasets.


title: Scikit-mobility: a Python library for the analysis, generation and risk assessment of mobility data

abstract: The last decade has witnessed the emergence of massive mobility data sets, such as tracks generated by GPS devices, call detail records, and geo-tagged posts from social media platforms. These data sets have fostered a vast scientific production on various applications of mobility analysis, ranging from computational epidemiology to urban planning and transportation engineering. A strand of literature addresses data cleaning issues related to raw spatiotemporal trajectories, while the second line of research focuses on discovering the statistical "laws" that govern human movements. A significant effort has also been put on designing algorithms to generate synthetic trajectories able to reproduce, realistically, the laws of human mobility. Last but not least, a line of research addresses the crucial problem of privacy, proposing techniques to perform the re-identification of individuals in a database. A view on state of the art cannot avoid noticing that there is no statistical software that can support scientists and practitioners with all the aspects mentioned above of mobility data analysis. In this paper, we propose scikit-mobility, a Python library that has the ambition of providing an environment to reproduce existing research, analyze mobility data, and simulate human mobility habits. scikit-mobility is efficient and easy to use as it extends pandas, a popular Python library for data analysis. Moreover, scikit-mobility provides the user with many functionalities, from visualizing trajectories to generating synthetic data, from analyzing statistical patterns to assessing the privacy risk related to the analysis of mobility data sets.


title: SGD momentum optimizer with step estimation by online parabola model

abstract: In stochastic gradient descent, especially for neural network training, there are currently dominating first order methods: not modeling local distance to minimum. This information required for optimal step size is provided by second order methods, however, they have many difficulties, starting with full Hessian having square of dimension number of coefficients. This article proposes a minimal step from successful first order momentum method toward second order: online parabola modelling in just a single direction: normalized $\hat{v}$ from momentum method. It is done by estimating linear trend of gradients $\vec{g}=\nabla F(\vec{\theta})$ in $\hat{v}$ direction: such that $g(\vec{\theta}_\bot+\theta\hat{v})\approx \lambda (\theta -p)$ for $\theta = \vec{\theta}\cdot \hat{v}$, $g= \vec{g}\cdot \hat{v}$, $\vec{\theta}_\bot=\vec{\theta}-\theta\hat{v}$. Using linear regression, $\lambda$, $p$ are MSE estimated by just updating four averages (of $g$, $\theta$, $g\theta$, $\theta^2$) in the considered direction. Exponential moving averages allow here for inexpensive online estimation, weakening contribution of the old gradients. Controlling sign of curvature $\lambda$, we can repel from saddles in contrast to attraction in standard Newton method. In the remaining directions: not considered in second order model, we can simultaneously perform e.g. gradient descent. There is also discussed its learning rate approximation as $\mu=\sigma_\theta / \sigma_g$, allowing e.g. for adaptive SGD - with learning rate separately optimized (2nd order) for each parameter.