title: Improving Dense Crowd Counting Convolutional Neural Networks using Inverse k-Nearest Neighbor Maps and Multiscale Upsampling

abstract: Gatherings of thousands to millions of people frequently occur for an enormous variety of events, and automated counting of these high-density crowds is useful for safety, management, and measuring significance of an event. In this work, we show that the regularly accepted labeling scheme of crowd density maps for training deep neural networks is less effective than our alternative inverse k-nearest neighbor (i$k$NN) maps, even when used directly in existing state-of-the-art network structures. We also provide a new network architecture MUD-i$k$NN, which uses multi-scale upsampling via transposed convolutions to take full advantage of the provided i$k$NN labeling. This upsampling combined with the i$k$NN maps further improves crowd counting accuracy. Our new network architecture performs favorably in comparison with the state-of-the-art. However, our labeling and upsampling techniques are generally applicable to existing crowd counting architectures.


title: Understanding Beauty via Deep Facial Features

abstract: The concept of beauty has been debated by philosophers and psychologists for centuries, but most definitions are subjective and metaphysical, and deficit in accuracy, generality, and scalability. In this paper, we present a novel study on mining beauty semantics of facial attributes based on big data, with an attempt to objectively construct descriptions of beauty in a quantitative manner. We first deploy a deep convolutional neural network (CNN) to extract facial attributes, and then investigate correlations between these features and attractiveness on two large-scale datasets labelled with beauty scores. Not only do we discover the secrets of beauty verified by statistical significance tests, our findings also align perfectly with existing psychological studies that, e.g., small nose, high cheekbones, and femininity contribute to attractiveness. We further leverage these high-level representations to original images by a generative adversarial network (GAN). Beauty enhancements after synthesis are visually compelling and statistically convincing verified by a user survey of 10,000 data points.


title: The simple graph threshold number $\sigma(r,s,a,t)$

abstract: For $d \ge 1$, $s \ge 0$ a $(d, d+s)$-{\em graph} is a graph whose degrees all lie in the interval $\{d, d+1, \ldots, d + s\}$. For $r \ge 1$, $a \ge 0$, an $(r, r+a)$-{\em factor} of a graph $G$ is a spanning $(r, r+a)$-subgraph of $G$. An $(r, r+a)$-{\em factorization} of a graph $G$ is a decomposition of $G$ into edge-disjoint $(r, r+a)$-factors. A graph is $(r, r+a)$-{\em factorable} if it has an $(r, r+a)$-factorization. Let $\sigma(r, s, a, t)$ be the least integer such that, if $d \ge \sigma(r, s, a, t)$, then every $(d, d+s)$-simple graph $G$ is $(r,r+a)$-factorable with $x$ factors for at least $t$ different values of $x$. In this paper we evaluate $\sigma(r,s,a,t)$ for all values of $r, s, a$ and $t$. We also show that if $a \ge 2$ and $r \ge 1$, then, when $r$ is even and $a$ is odd, every $(d, d+s)$-simple graph $G$ has an $(r, r+a)$-factorization with $x$ factors if and only if $$ \frac{d+s}{r+a}\, < x \le \frac{d}{r}\,,$$ and we prove similar statements for other parities of $r$ and $a$.


title: Automated Image Analysis and Contiguity Estimation for Liquid Phase Sintered Tungsten Heavy Alloys

abstract: In this study an automated software model using digital image processing techniques is proposed for extracting the image characteristics and contiguity of liquid phase sintered tungsten heavy alloys. The developed model takes a typical image as input and processes it with no human intervention and provides the corresponding image characteristics and contiguity value. The image processing algorithm includes segmentation, binding point extraction, phase connection, particle count and contiguity estimation stages. For the output, microstructural parameters such as tungsten particle size, amount of tungsten phase and contiguity are determined. The model is implemented by using 6 different scanning electron microscope images of liquid phase sintered 90W-7Ni-3Fe and 93W-4.9Ni-2.1Fe allloys. The results indicate that relative to the manual measurements, the automated model can correctly estimate the contiguity with an error in the vicinity of 5.6% - 2.9% for these two alloys. The developed software can easily be adapted to be used for other microstructures. It is also provided as open-source and available for other researchers.


title: Revisiting the crystal structure of the equilibrium S (Al2CuMg) phase in Al-Cu-Mg alloys using X-ray absorption spectroscopy (XAFS)

abstract: Even though, the crystal structure of the intermediate (S') and the equilibrium S (Al2CuMg) phase were subject of many investigations by using mostly imaging or diffraction techniques, the results remain still controversial. In this study, we used X-ray absorption spectroscopy (XAFS) to verify the correct structure considering the well-known models reported by Perlitz & Westgren (PW), Mondolfo, Radmilovic & Kilaas and Yan et al. The structure was confirmed by direct comparison to simulated XAFS spectra using the software tool FDMNES. Our results support the widely accepted PW model as the correct structure while other models do not match our observations.


title: Vectorial observation of the spin Seebeck effect in epitaxial NiFe$_2$O$_4$ thin films with various magnetic anisotropy contributions

abstract: We have developed a vectorial type of measurement for the spin Seebeck effect (SSE) in epitaxial NiFe$_2$O$_4$ thin films which have been grown by pulsed laser deposition on MgGa$_2$O$_4$ (MGO) with (001) and (011) orientation as well as CoGa$_2$O$_4$ (011) (CGO), thus varying the lattice mismatch and crystal orientation. We confirm that a large lattice mismatch leads to strain anisotropy in addition to the magnetocrystalline anisotropy in the thin films using vibrating sample magnetometry and ferromagnetic resonance measurements. Moreover, we show that the existence of a magnetic strain anisotropy in NiFe$_2$O$_4$ thin films significantly impacts the shape and magnitude of the magnetic-field-dependent SSE voltage loops. We further demonstrate that bidirectional field-dependent SSE voltage curves can be utilized to reveal the complete magnetization reversal process, which establishes a vectorial magnetometry technique based on a spin caloric effect.


title: Pebble accretion in self-gravitating protostellar discs

abstract: Pebble accretion has become a popular component to core accretion models of planet formation, and is especially relevant to the formation of compact, resonant terrestrial planetary systems. Pebbles initially form in the inner protoplanetary disc, sweeping outwards in a radially expanding front, potentially forming planetesimals and planetary cores via migration and the streaming instability. This pebble front appears at early times, in what is typically assumed to be a low mass disc. We argue this picture is in conflict with the reality of young circumstellar discs, which are massive and self-gravitating. We apply standard pebble accretion and streaming instability formulae to self-gravitating protostellar disc models. Fragments will open a gap in the pebble disc, but they will likely fail to open a gap in the gas, and continue rapid inward migration. If this does not strongly perturb the pebble disc, our results show that disc fragments will accrete pebbles efficiently. We find that in general the pebble-to-gas-density ratio fails to exceed 0.01, suggesting that the streaming instability will struggle to operate. It may be possible to activate the instability if 10 cm grains are available, and spiral structures can effectively concentrate them in regions of low gravito-turbulence. If this occurs, lunar mass cores might be assembled on timescales of a few thousand years, **but this is likely to be rare, and is far from proven**. In any case, this work highlights the need for study of how self-gravitating protostellar discs define the distribution and properties of solid bodies, for future planet formation by core accretion.


title: License Plate Recognition with Compressive Sensing Based Feature Extraction

abstract: License plate recognition is the key component to many automatic traffic control systems. It enables the automatic identification of vehicles in many applications. Such systems must be able to identify vehicles from images taken in various conditions including low light, rain, snow, etc. In order to reduce the complexity and cost of the hardware required for such devices, the algorithm should be as efficient as possible. This paper proposes a license plate recognition system which uses a new approach based on compressive sensing techniques for dimensionality reduction and feature extraction. Dimensionality reduction will enable precise classification with less training data while demanding less computational power. Based on the extracted features, character recognition and classification is done by a Support Vector Machine classifier.


title: Simultaneous x, y Pixel Estimation and Feature Extraction for Multiple Small Objects in a Scene: A Description of the ALIEN Network

abstract: We present a deep-learning network that detects multiple small objects (hundreds to thousands) in a scene while simultaneously estimating their x,y pixel locations together with a characteristic feature-set (for instance, target orientation and color). All estimations are performed in a single, forward pass which makes implementing the network fast and efficient. In this paper, we describe the architecture of our network --- nicknamed ALIEN --- and detail its performance when applied to vehicle detection.


title: Face Recognition using Compressive Sensing

abstract: This paper deals with the Compressive Sensing implementation in the Face Recognition problem. Compressive Sensing is new approach in signal processing with a single goal to recover signal from small set of available samples. Compressive Sensing finds its usage in many real applications as it lowers the memory demand and acquisition time, and therefore allows dealing with huge data in the fastest manner. In this paper, the undersampled signal is recovered using the algorithm based on Total Variation minimization. The theory is verified with an experimental results using different percentage of signal samples.


title: Fingerprint Recognition under Missing Image Pixels Scenario

abstract: This work observed the problem of fingerprint image recognition in the case of missing pixels from the original image. The possibility of missing pixels recovery is tested by applying the Compressive Sensing approach. Namely, different percentage of missing pixels is observed and the image reconstruction is done by applying commonly used approach for sparse image reconstruction. The theory is verified by experiments, showing successful image reconstruction and later person identification even if less then 90% of the image pixels is missing.


title: DeepIrisNet2: Learning Deep-IrisCodes from Scratch for Segmentation-Robust Visible Wavelength and Near Infrared Iris Recognition

abstract: We first, introduce a deep learning based framework named as DeepIrisNet2 for visible spectrum and NIR Iris representation. The framework can work without classical iris normalization step or very accurate iris segmentation; allowing to work under non-ideal situation. The framework contains spatial transformer layers to handle deformation and supervision branches after certain intermediate layers to mitigate overfitting. In addition, we present a dual CNN iris segmentation pipeline comprising of a iris/pupil bounding boxes detection network and a semantic pixel-wise segmentation network. Furthermore, to get compact templates, we present a strategy to generate binary iris codes using DeepIrisNet2. Since, no ground truth dataset are available for CNN training for iris segmentation, We build large scale hand labeled datasets and make them public; i) iris, pupil bounding boxes, ii) labeled iris texture. The networks are evaluated on challenging ND-IRIS-0405, UBIRIS.v2, MICHE-I, and CASIA v4 Interval datasets. Proposed approach significantly improves the state-of-the-art and achieve outstanding performance surpassing all previous methods.


title: Deep Learning for Bridge Load Capacity Estimation in Post-Disaster and -Conflict Zones

abstract: Many post-disaster and -conflict regions do not have sufficient data on their transportation infrastructure assets, hindering both mobility and reconstruction. In particular, as the number of aging and deteriorating bridges increase, it is necessary to quantify their load characteristics in order to inform maintenance and prevent failure. The load carrying capacity and the design load are considered as the main aspects of any civil structures. Human examination can be costly and slow when expertise is lacking in challenging scenarios. In this paper, we propose to employ deep learning as method to estimate the load carrying capacity from crowd sourced images. A new convolutional neural network architecture is trained on data from over 6000 bridges, which will benefit future research and applications. We tackle significant variations in the dataset (e.g. class interval, image completion, image colour) and quantify their impact on the prediction accuracy, precision, recall and F1 score. Finally, practical optimisation is performed by converting multiclass classification into binary classification to achieve a promising field use performance.


title: Multi-Kernel Prediction Networks for Denoising of Burst Images

abstract: In low light or short-exposure photography the image is often corrupted by noise. While longer exposure helps reduce the noise, it can produce blurry results due to the object and camera motion. The reconstruction of a noise-less image is an ill posed problem. Recent approaches for image denoising aim to predict kernels which are convolved with a set of successively taken images (burst) to obtain a clear image. We propose a deep neural network based approach called Multi-Kernel Prediction Networks (MKPN) for burst image denoising. MKPN predicts kernels of not just one size but of varying sizes and performs fusion of these different kernels resulting in one kernel per pixel. The advantages of our method are two fold: (a) the different sized kernels help in extracting different information from the image which results in better reconstruction and (b) kernel fusion assures retaining of the extracted information while maintaining computational efficiency. Experimental results reveal that MKPN outperforms state-of-the-art on our synthetic datasets with different noise levels.


title: Donaldson-Thomas invariants from tropical disks

abstract: We prove that the quantum DT invariants associated to quivers with genteel potential can be expressed in terms of certain refined counts of tropical disks. This is based on a quantum version of Bridgeland's description of cluster scattering diagrams in terms of stabilitiy conditions, plus a new version of the description of scattering diagrams in terms of tropical disk counts. The weights with which the tropical disks are counted are expressed in terms of motivic integrals of certain quiver flag varieties. We also show via explicit counterexample that Hall algebra broken lines do not result in consistent Hall algebra theta functions, i.e., they violate the extension of a lemma of Carl-Pumperla-Siebert from the classical setting.


title: Object Detection and 3D Estimation via an FMCW Radar Using a Fully Convolutional Network

abstract: This paper considers object detection and 3D estimation using an FMCW radar. The state-of-the-art deep learning framework is employed instead of using traditional signal processing. In preparing the radar training data, the ground truth of an object orientation in 3D space is provided by conducting image analysis, of which the images are obtained through a coupled camera to the radar device. To ensure successful training of a fully convolutional network (FCN), we propose a normalization method, which is found to be essential to be applied to the radar signal before feeding into the neural network. The system after proper training is able to first detect the presence of an object in an environment. If it does, the system then further produces an estimation of its 3D position. Experimental results show that the proposed system can be successfully trained and employed for detecting a car and further estimating its 3D position in a noisy environment.


title: Realistic Image Generation using Region-phrase Attention

abstract: The Generative Adversarial Network (GAN) has recently been applied to generate synthetic images from text. Despite significant advances, most current state-of-the-art algorithms are regular-grid region based; when attention is used, it is mainly applied between individual regular-grid regions and a word. These approaches are sufficient to generate images that contain a single object in its foreground, such as a "bird" or "flower". However, natural languages often involve complex foreground objects and the background may also constitute a variable portion of the generated image. Therefore, the regular-grid based image attention weights may not necessarily concentrate on the intended foreground region(s), which in turn, results in an unnatural looking image. Additionally, individual words such as "a", "blue" and "shirt" do not necessarily provide a full visual context unless they are applied together. For this reason, in our paper, we proposed a novel method in which we introduced an additional set of attentions between true-grid regions and word phrases. The true-grid region is derived using a set of auxiliary bounding boxes. These auxiliary bounding boxes serve as superior location indicators to where the alignment and attention should be drawn with the word phrases. Word phrases are derived from analysing Part-of-Speech (POS) results. We perform experiments on this novel network architecture using the Microsoft Common Objects in Context (MSCOCO) dataset and the model generates $256 \times 256$ conditioned on a short sentence description. Our proposed approach is capable of generating more realistic images compared with the current state-of-the-art algorithms.


title: Semi-Supervised and Task-Driven Data Augmentation

abstract: Supervised deep learning methods for segmentation require large amounts of labelled training data, without which they are prone to overfitting, not generalizing well to unseen images. In practice, obtaining a large number of annotations from clinical experts is expensive and time-consuming. One way to address scarcity of annotated examples is data augmentation using random spatial and intensity transformations. Recently, it has been proposed to use generative models to synthesize realistic training examples, complementing the random augmentation. So far, these methods have yielded limited gains over the random augmentation. However, there is potential to improve the approach by (i) explicitly modeling deformation fields (non-affine spatial transformation) and intensity transformations and (ii) leveraging unlabelled data during the generative process. With this motivation, we propose a novel task-driven data augmentation method where to synthesize new training examples, a generative network explicitly models and applies deformation fields and additive intensity masks on existing labelled data, modeling shape and intensity variations, respectively. Crucially, the generative model is optimized to be conducive to the task, in this case segmentation, and constrained to match the distribution of images observed from labelled and unlabelled samples. Furthermore, explicit modeling of deformation fields allow synthesizing segmentation masks and images in exact correspondence by simply applying the generated transformation to an input image and the corresponding annotation. Our experiments on cardiac magnetic resonance images (MRI) showed that, for the task of segmentation in small training data scenarios, the proposed method substantially outperforms conventional augmentation techniques.


title: Non-symplectic involutions on manifolds of $K3^{[n]}$-type

abstract: We study irreducible holomorphic symplectic manifolds deformation equivalent to Hilbert schemes of points on a $K3$ surface and admitting a non-symplectic involution. We classify the possible discriminant forms of the invariant and anti-invariant lattice for the action of the involution on cohomology, and explicitly describe the lattices in the cases where the invariant has small rank. We also give a modular description of all $d$-dimensional families of manifolds of $K3^{[n]}$-type with a non-symplectic involution for $d\geq 19$ and $n\leq 5$, and provide examples arising as moduli spaces of twisted sheaves on a $K3$ surface.


title: Stokesian dynamics of pill-shaped Janus particles with stick and slip boundary conditions

abstract: We study the forces and torques experienced by pill-shaped Janus particles of different aspect ratios where half of the surface obeys the no-slip boundary condition and the other half obeys the Navier slip condition of varying slip lengths. Using a recently developed boundary integral formulation whereby the traditional singular behaviour of this approach is removed analytically, we quantify the strength of the forces and torques experienced by such particles in a uniform flow field in the Stokes regime. Depending on the aspect ratio and the slip length, the force transverse to the flow direction can change sign. This is a novel property unique to the Janus nature of the particles.


title: An Algorithm Unrolling Approach to Deep Image Deblurring

abstract: While neural networks have achieved vastly enhanced performance over traditional iterative methods in many cases, they are generally empirically designed and the underlying structures are difficult to interpret. The algorithm unrolling approach has helped connect iterative algorithms to neural network architectures. However, such connections have not been made yet for blind image deblurring. In this paper, we propose a neural network architecture that advances this idea. We first present an iterative algorithm that may be considered a generalization of the traditional total-variation regularization method on the gradient domain, and subsequently unroll the half-quadratic splitting algorithm to construct a neural network. Our proposed deep network achieves significant practical performance gains while enjoying interpretability at the same time. Experimental results show that our approach outperforms many state-of-the-art methods.


title: Data-Driven Vehicle Trajectory Forecasting

abstract: An active area of research is to increase the safety of self-driving vehicles. Although safety cannot be guarenteed completely, the capability of a vehicle to predict the future trajectories of its surrounding vehicles could help ensure this notion of safety to a greater deal. We cast the trajectory forecast problem in a multi-time step forecasting problem and develop a Convolutional Neural Network based approach to learn from trajectory sequences generated from completely raw dataset in real-time. Results show improvement over baselines.


title: Improving Deep Image Clustering With Spatial Transformer Layers

abstract: Image clustering is an important but challenging task in machine learning. As in most image processing areas, the latest improvements came from models based on the deep learning approach. However, classical deep learning methods have problems to deal with spatial image transformations like scale and rotation. In this paper, we propose the use of visual attention techniques to reduce this problem in image clustering methods. We evaluate the combination of a deep image clustering model called Deep Adaptive Clustering (DAC) with the Spatial Transformer Networks (STN). The proposed model is evaluated in the datasets MNIST and FashionMNIST and outperformed the baseline model.


title: Spectral-Spatial Diffusion Geometry for Hyperspectral Image Clustering

abstract: An unsupervised learning algorithm to cluster hyperspectral image (HSI) data is proposed that exploits spatially-regularized random walks. Markov diffusions are defined on the space of HSI spectra with transitions constrained to near spatial neighbors. The explicit incorporation of spatial regularity into the diffusion construction leads to smoother random processes that are more adapted for unsupervised machine learning than those based on spectra alone. The regularized diffusion process is subsequently used to embed the high-dimensional HSI into a lower dimensional space through diffusion distances. Cluster modes are computed using density estimation and diffusion distances, and all other points are labeled according to these modes. The proposed method has low computational complexity and performs competitively against state-of-the-art HSI clustering algorithms on real data. In particular, the proposed spatial regularization confers an empirical advantage over non-regularized methods.


title: An application of spherical geometry to hyperk\"ahler slices

abstract: This work is concerned with Bielawski's hyperk\"ahler slices in the cotangent bundles of homogeneous affine varieties. One can associate such a slice to the data of a complex semisimple Lie group $G$, a reductive subgroup $H\subseteq G$, and a Slodowy slice $S\subseteq\mathfrak{g}:=\mathrm{Lie}(G)$, defining it to be the hyperk\"ahler quotient of $T^*(G/H)\times (G\times S)$ by a maximal compact subgroup of $G$. This hyperk\"ahler slice is empty in some of the most elementary cases (e.g. when $S$ is regular and $(G,H)=(\operatorname{SL}_{n+1},\operatorname{GL}_{n})$, $n\geq 3$), prompting us to seek necessary and sufficient conditions for non-emptiness. We give a spherical-geometric characterization of the non-empty hyperk\"ahler slices that arise when $S=S_{\text{reg}}$ is a regular Slodowy slice, proving that non-emptiness is equivalent to the so-called $\mathfrak{a}$-regularity of $(G,H)$. This $\mathfrak{a}$-regularity condition is formulated in several equivalent ways, one being a concrete condition on the rank and complexity of $G/H$. We also provide a classification of the $\mathfrak{a}$-regular pairs $(G,H)$ in which $H$ is a reductive spherical subgroup. Our arguments make essential use of Knop's results on moment map images and Losev's algorithm for computing Cartan spaces.


title: Convergence analysis of Tikhonov regularization for non-linear statistical inverse learning problems

abstract: We study a non-linear statistical inverse learning problem, where we observe the noisy image of a quantity through a non-linear operator at some random design points. We consider the widely used Tikhonov regularization (or method of regularization, MOR) approach to reconstruct the estimator of the quantity for the non-linear ill-posed inverse problem. The estimator is defined as the minimizer of a Tikhonov functional, which is the sum of a data misfit term and a quadratic penalty term. We develop a theoretical analysis for the minimizer of the Tikhonov regularization scheme using the ansatz of reproducing kernel Hilbert spaces. We discuss optimal rates of convergence for the proposed scheme, uniformly over classes of admissible solutions, defined through appropriate source conditions.


title: Null-homologous unknottings

abstract: Every knot can be unknotted with two generalized twists; this was first proved by Ohyama. Here we prove that any knot of genus g can be unknotted with 2g null-homologous twists and that there exist genus g knots that cannot be unknotted with fewer than 2g null-homologous twists.


title: Eversible and reversible semigroups and semirings

abstract: The main purpose of this paper is to investigate the zero-divisors of semigroups with zero and semirings and in particular, to discuss eversible and reversible semigroups and semirings. We also introduce a new ring-like algebraic structure called prenearsemiring and generalize Cohn's theorem for reversible rings in this context. Finally, we discuss when expectation semirings are reversible or eversible.


title: Integrable Lorentz-breaking deformations and RG flows

abstract: We construct the all loop effective action for WZW models perturbed by current-bilinear terms of the type $J_+J_- $, $J_+J_+ $ and $J_-J_- $, the last two of which explicitly break Lorentz invariance. For isotropic couplings we prove integrability. For the case in which only the first two terms are present we identify a non-perturbative symmetry of the effective action and we compute the exact beta-functions. These become identically zero outside a bounded region in the parametric space.


title: Direct Automatic Coronary Calcium Scoring in Cardiac and Chest CT

abstract: Cardiovascular disease (CVD) is the global leading cause of death. A strong risk factor for CVD events is the amount of coronary artery calcium (CAC). To meet demands of the increasing interest in quantification of CAC, i.e. coronary calcium scoring, especially as an unrequested finding for screening and research, automatic methods have been proposed. Current automatic calcium scoring methods are relatively computationally expensive and only provide scores for one type of CT. To address this, we propose a computationally efficient method that employs two ConvNets: the first performs registration to align the fields of view of input CTs and the second performs direct regression of the calcium score, thereby circumventing time-consuming intermediate CAC segmentation. Optional decision feedback provides insight in the regions that contributed to the calcium score. Experiments were performed using 903 cardiac CT and 1,687 chest CT scans. The method predicted calcium scores in less than 0.3 s. Intra-class correlation coefficient between predicted and manual calcium scores was 0.98 for both cardiac and chest CT. The method showed almost perfect agreement between automatic and manual CVD risk categorization in both datasets, with a linearly weighted Cohen's kappa of 0.95 in cardiac CT and 0.93 in chest CT. Performance is similar to that of state-of-the-art methods, but the proposed method is hundreds of times faster. By providing visual feedback, insight is given in the decision process, making it readily implementable in clinical and research settings.


title: Modes of an elliptical cylindrical resonant cavity -- analytical solution

abstract: An analytical solution of the Helmholtz equation for electromagnetic field distribution in a resonant cavity with elliptic cross-section is found. We compare the frequencies of the eigenmodes with numerical and experimental values for a metallic cavity and find an excellent matching. We focus our analysis on the microwave frequency region, and show how the ellipticity of the cavity (ratio of the minor and major axes length $b/a$) influences several mode frequencies and also the $Q$-factor of the cavity. By doing so, we demonstrate how the elliptic geometry splits the degeneracy of certain modes of the circular cylindric cavity.


title: Modelling phase separation in amorphous solid dispersions

abstract: Much work has been devoted to analysing thermodynamic models for solid dispersions with a view to identifying regions in the phase diagram where amorphous phase separation or drug recrystallization can occur. However, detailed partial differential equation non-equilibrium models that track the evolution of solid dispersions in time and space are lacking. Hence theoretical predictions for the timescale over which phase separation occurs in a solid dispersion are not available. In this paper, we address some of these deficiencies by (i) constructing a general multicomponent diffusion model for a dissolving solid dispersion; (ii) specializing the model to a binary drug/polymer system in storage; (iii) deriving an effective concentration dependent drug diffusion coefficient for the binary system, thereby obtaining a theoretical prediction for the timescale over which phase separation occurs; and (iv) presenting a detailed numerical investigation of the HPMCAS/Felodipine system assuming a Flory-Huggins activity coefficient. The numerical simulations exhibit numerous interesting phenomena, such as the formation of polymer droplets and strings, Ostwald ripening/coarsening, phase inversion, and droplet-to-string transitions.


title: Improving Facial Emotion Recognition Systems Using Gradient and Laplacian Images

abstract: In this work, we have proposed several enhancements to improve the performance of any facial emotion recognition (FER) system. We believe that the changes in the positions of the fiducial points and the intensities capture the crucial information regarding the emotion of a face image. We propose the use of the gradient and the Laplacian of the input image together with the original input into a convolutional neural network (CNN). These modifications help the network learn additional information from the gradient and Laplacian of the images. However, the plain CNN is not able to extract this information from the raw images. We have performed a number of experiments on two well known datasets KDEF and FERplus. Our approach enhances the already high performance of state-of-the-art FER systems by 3 to 5%.


title: On the hom-associative Weyl algebras

abstract: The first (associative) Weyl algebra is formally rigid in the classical sense. In this paper, we show that it can however be formally deformed in a nontrivial way when considered as a so-called hom-associative algebra, and that this deformation preserves properties such as the commuter, while deforming others, such as the center, power associativity, the set of derivations, and some commutation relations. We then show that this deformation induces a formal deformation of the corresponding Lie algebra into what is known as a hom-Lie algebra, when using the commutator as bracket. We also prove that all homomorphisms between any two purely hom-associative Weyl algebras are in fact isomorphisms. In particular, all endomorphisms are automorphisms in this case, hence proving a hom-associative analogue of the Dixmier conjecture to hold true.


title: Yelp Food Identification via Image Feature Extraction and Classification

abstract: Yelp has been one of the most popular local service search engine in US since 2004. It is powered by crowd-sourced text reviews and photo reviews. Restaurant customers and business owners upload photo images to Yelp, including reviewing or advertising either food, drinks, or inside and outside decorations. It is obviously not so effective that labels for food photos rely on human editors, which is an issue should be addressed by innovative machine learning approaches. In this paper, we present a simple but effective approach which can identify up to ten kinds of food via raw photos from the challenge dataset. We use 1) image pre-processing techniques, including filtering and image augmentation, 2) feature extraction via convolutional neural networks (CNN), and 3) three ways of classification algorithms. Then, we illustrate the classification accuracy by tuning parameters for augmentations, CNN, and classification. Our experimental results show this simple but effective approach to identify up to 10 food types from images.


title: Deep learning algorithms out-perform veterinary pathologists in detecting the mitotically most active tumor region

abstract: Manual count of mitotic figures, which is determined in the tumor region with the highest mitotic activity, is a key parameter of most tumor grading schemes. It can be, however, strongly dependent on the area selection due to uneven mitotic figure distribution in the tumor section.We aimed to assess the question, how significantly the area selection could impact the mitotic count, which has a known high inter-rater disagreement. On a data set of 32 whole slide images of H&E-stained canine cutaneous mast cell tumor, fully annotated for mitotic figures, we asked eight veterinary pathologists (five board-certified, three in training) to select a field of interest for the mitotic count. To assess the potential difference on the mitotic count, we compared the mitotic count of the selected regions to the overall distribution on the slide.Additionally, we evaluated three deep learning-based methods for the assessment of highest mitotic density: In one approach, the model would directly try to predict the mitotic count for the presented image patches as a regression task. The second method aims at deriving a segmentation mask for mitotic figures, which is then used to obtain a mitotic density. Finally, we evaluated a two-stage object-detection pipeline based on state-of-the-art architectures to identify individual mitotic figures. We found that the predictions by all models were, on average, better than those of the experts. The two-stage object detector performed best and outperformed most of the human pathologists on the majority of tumor cases. The correlation between the predicted and the ground truth mitotic count was also best for this approach (0.963 to 0.979). Further, we found considerable differences in position selection between pathologists, which could partially explain the high variance that has been reported for the manual mitotic count.


title: Driven active matter: fluctuations and a hydrodynamic instability

abstract: Wet active matter in the presence of an imposed temperature gradient, or chemical potential gradient, is considered. It is shown that there is a new type of convective instability that is caused by a (negative) activity parameter. Physically this corresponds to active fluids with contractual stress. In this non-equilibrium steady state the singular generic long-ranged correlations are computed and compared with the analogous results in a passive fluid. In addition, the singular non-equlibirum Casimir pressure or force is determined. The fluid motion above the instability is determined by generalizing the Lorenz equations for the Rayleigh-Benard instability in a passive fluid to Lorenz-like equations to describe this new instability.


title: The AtLarge Vision on the Design of Distributed Systems and Ecosystems

abstract: High-quality designs of distributed systems and services are essential for our digital economy and society. Threatening to slow down the stream of working designs, we identify the mounting pressure of scale and complexity of \mbox{(eco-)systems}, of ill-defined and wicked problems, and of unclear processes, methods, and tools. We envision design itself as a core research topic in distributed systems, to understand and improve the science and practice of distributed (eco-)system design. Toward this vision, we propose the AtLarge design framework, accompanied by a set of 8 core design principles. We also propose 10 key challenges, which we hope the community can address in the following 5 years. In our experience so far, the proposed framework and principles are practical, and lead to pragmatic and innovative designs for large-scale distributed systems.


title: Contribution of field measurements in the study of composites reinforced with flax fibers during quasi-static tensile tests

abstract: This work is based on the study of the behaviour of flax fibres twill reinforced epoxy composites. The aim of the study is to determine the modulus of elasticity, Poisson coefficients and strength of these composites materials with image correlation. The specimens used in this work were manufactured by the infusion vacuum process and after subjected to quasi-static tensile tests. Two numeric cameras were disposed perpendicular to the front and to the side of the specimen so as to achieve a sequence of visible digital pictures during the test. The recorded pictures were analysed with the image correlation software 7D in order to calculate ad hoc measurements of displacements and strain fields. To check the validity of the results, measurements were compared to those obtained by classical extensometry. We found that, despite the low levels of strains, results of identifications from optical extensometry were very promising.


title: Market Impact: A Systematic Study of the High Frequency Options Market

abstract: This paper deals with a fundamental subject that has seldom been addressed in recent years, that of market impact in the options market. Our analysis is based on a proprietary database of metaorders-large orders that are split into smaller pieces before being sent to the market on one of the main Asian markets. In line with our previous work on the equity market [Said et al., 2018], we propose an algorithmic approach to identify metaorders, based on some implied volatility parameters, the at the money forward volatility and at the money forward skew. In both cases, we obtain results similar to the now well understood equity market: Square-root law, Fair Pricing Condition and Market Impact Dynamics.


title: Investigation of the Influence of a field-free electrostatic Potential on the Electron Mass with Barkhausen-Kurz Oscillation

abstract: According to Weber's electrodynamics, Assis showed analytically, that a field-free electrostatic potential delivered by a spherical shell causes a force upon a moving electrical charge in the center of that shell. This force can be interpreted as a result of the change in inertial mass of the charge. In order to prove this theory, Mikhailov published two type of experimental setups: One using vacuum cathode tube and another using glow-discharge-lamps to generate oscillating and accelerating electrons. Whereas the glow-discharge experiment was already evaluated by several groups, here we are focusing on replicating the vacuum tube configuration. Under right circumstances, electrons inside a vacuum tube start to oscillate around a grid electrode, which is called Barkhausen-Kurz oscillations. However, we found that Mikhailov's setup does not produce these kind of oscillations and therefore the theory that he applied in the interpretation of his measurements is not correct. We succeeded in generating Barkhausen-Kurz oscillations with a different vacuum tube and found no frequency shifts below an order of magnitude of Assis's prediction by operating the tube inside a charged spherical shell that would indicate a change in the electron's mass. However, since both the mass as well as the geometry factor of the electron cloud contribute to the oscillator frequency, we believe that this setup is not suitable to investigate Weber-type electrodynamic effects.


title: Results from the SuperModel Analysis of the X-COP Galaxy Clusters Sample

abstract: In this work, the analysis of the stacked projected temperature profile of twelve galaxy clusters of the X-COP sample is performed via the SuperModel, a tool for investigating the intracluster medium thermodynamic properties already tested on many clusters since 2009. Two separate fits have been carried out: to the joint X-ray and SZ projected temperature profiles and to the X-ray data only. The entropy, thermal pressure and hydrostatic mass profiles of the cluster sample and the level of the nonthermal pressure component in the cluster outskirts are determined combining the deprojected temperature profile with the stacked electron gas density profile corrected for clumpiness. The first analysis gives results in good agreement with those reported in Ghirardini et al. (2018): a modest presence of the nonthermal support and an entropy profile that follows at distances beyond r500 the predicted power law increase with slope 1.1. On the contrary, the results of the second analysis are consistent with the findings obtained by the Suzaku observations, steep temperature and flat entropy profiles, with a higher level of the nonthermal pressure component in agreement with the values derived by numerical simulations. The conclusion is that a steep temperature profile could be present in the outskirts of the X-COP cluster sample instead of the flatter temperature profile reported by SZ observations.


title: From partitions to Hodge numbers of Hilbert Schemes of Surfaces

abstract: We celebrate the 100th anniversary of Srinivasa Ramanujan's election as a Fellow of the Royal Society, which was largely based on his work with G. H. Hardy on the asymptotic properties of the partition function. After recalling this revolutionary work, marking the birth of the "circle method", we present a contemporary example of its legacy in topology. We deduce the equidistribution of Hodge numbers for Hilbert schemes of suitable smooth projective surfaces.


title: The algebra of Boolean matrices, correspondence functors, and simplicity

abstract: We determine the dimension of every simple module for the algebra of the monoid of all relations on a finite set (i.e. Boolean matrices). This is in fact the same question as the determination of the dimension of every evaluation of a simple correspondence functor. The method uses the theory of such functors developed in [BT2, BT3], as well as some new ingredients in the theory of finite lattices.


title: The artist libraries project

abstract: The creation of the Artist Libraries Project was sparked by the observation that artist libraries are still not well known, yet many art historians are interested in this archive for the value it adds to understanding the person behind the artist and his or her creative process. The problem is that these libraries are rarely physically preserved. To remedy this dispersion, we built an online database and a website www.lesbibliothequesdartistes.org that house this valuable source in the form of lists of books and their electronic versions. First data on Monet's library was made available, and several additional artist libraries from the 19 th and 20 th centuries are on the way for 2019. By gathering all these bibliographical data in a central database, it's possible to explore one library and to compare several. This article explains how we built the database and the website and how the implementation of those IT tools has raised questions about the use of this resource as an archive on the one hand, as well as its value for art history on the other.


title: Scalable multilayer architecture of assembled single-atom qubit arrays in a three-dimensional Talbot tweezer lattice

abstract: We report on the realization of a novel platform for the creation of large-scale 3D multilayer configurations of planar arrays of individual neutral-atom qubits: a microlens-generated Talbot tweezer lattice that extends 2D tweezer arrays to the third dimension at no additional costs. We demonstrate the trapping and imaging of rubidium atoms in integer and fractional Talbot planes and the assembly of defect-free atom arrays in different layers. The Talbot self-imaging effect for microlens arrays constitutes a structurally robust and wavelength-universal method for the realization of 3D atom arrays with beneficial scaling properties. With more than 750 qubit sites per 2D layer, these scaling properties imply that 10000 qubit sites are already accessible in 3D in our current implementation. The trap topology and functionality are configurable in the micrometer regime. We use this to generate interleaved lattices with dynamic position control and parallelized sublattice addressing of spin states for immediate application in quantum science and technology.


title: LIGO Signals from the Mirror World

abstract: We want to explain non-observation of electromagnetic counterpart of currently confirmed ten gravitational wave signals from the black hole mergers assuming their existence in the hidden mirror universe. Mirror matter, which interacts with our world only through gravity, is a candidate of dark matter and its density can exceed ordinary matter density five times. Since mirror world is considered to be colder, star formation there started earlier and mirror black holes had more time to pick up the mass and to create more binary systems within the LIGO reachable zone. Totally we estimate a factor 10 amplification of black holes merging rate in mirror world with respect to our world, which is consistent with the LIGO observations.


title: On the physical limit of quantum computing

abstract: Experimental attempts to implement quantum speedup of computations over the past 30 years have yielded a negative result, despite the absence of physical laws prohibiting such speedup. The article formulates the limitation of quantum formalism in the form of uncertainty "the complexity of the system - the accuracy of its description at the quantum level", and provides arguments in favor of its physical status. An experiment to determine this constant through Grover's algorithm is described. Rough estimates on the constant of this ratio are given, based on the possibility of applying the quantum theory to two processes: the emission of a photon by a Rubidium atom and the decay of an unstable isotope of Helium 6. This ratio explicitly prohibits the physical implementation of scalable fast quantum computations, but leaves the possibility of modeling the dynamics of real systems on a quantum computer, the only advantage of which is the use of quantum nonlocality.


title: Extremely intense laser-based electron acceleration in a plasma channel

abstract: Laser pulses of extreme intensities ($I>10^{22}~ \mathrm{W/cm^2}$) are about to become available in the laboratory. The prepulse of such a laser can induce a plasma expansion that generates a low-density channel in near-critical gas jets. We present a study of channel formation and subsequent direct laser acceleration of electrons within the pre-formed channel. Radiation reaction affects the acceleration in several ways. It first interferes with the motion of the return current on the channel walls. In addition, it reduces the radial expelling efficiency of the transverse ponderomotive force, leading to the radiative trapping of particles near the channel axis. These particles then interact with the peak laser intensity and can attain multi-GeV energies.


title: Joint Tracking of Multiple Quantiles Through Conditional Quantiles

abstract: Estimation of quantiles is one of the most fundamental real-time analysis tasks. Most real-time data streams vary dynamically with time and incremental quantile estimators document state-of-the art performance to track quantiles of such data streams. However, most are not able to make joint estimates of multiple quantiles in a consistent manner, and estimates may violate the monotone property of quantiles. In this paper we propose the general concept of *conditional quantiles* that can extend incremental estimators to jointly track multiple quantiles. We apply the concept to propose two new estimators. Extensive experimental results, on both synthetic and real-life data, show that the new estimators clearly outperform legacy state-of-the-art joint quantile tracking algorithm and achieve faster adaptivity in dynamically varying data streams.


title: Structured Bayesian Compression for Deep models in mobile enabled devices for connected healthcare

abstract: Deep Models, typically Deep neural networks, have millions of parameters, analyze medical data accurately, yet in a time-consuming method. However, energy cost effectiveness and computational efficiency are important for prerequisites developing and deploying mobile-enabled devices, the mainstream trend in connected healthcare.


title: Perverse sheaves on semi-abelian varieties -- a survey of properties and applications

abstract: We survey recent developments in the study of perverse sheaves on semi-abelian varieties. As concrete applications, we discuss various obstructions on the homotopy type of complex algebraic manifolds (expressed in terms of their cohomology jump loci), homological duality properties of complex algebraic manifolds, as well as new topological characterizations of semi-abelian varieties.


title: Highly Efficient Follicular Segmentation in Thyroid Cytopathological Whole Slide Image

abstract: In this paper, we propose a novel method for highly efficient follicular segmentation of thyroid cytopathological WSIs. Firstly, we propose a hybrid segmentation architecture, which integrates a classifier into Deeplab V3 by adding a branch. A large amount of the WSI segmentation time is saved by skipping the irrelevant areas using the classification branch. Secondly, we merge the low scale fine features into the original atrous spatial pyramid pooling (ASPP) in Deeplab V3 to accurately represent the details in cytopathological images. Thirdly, our hybrid model is trained by a criterion-oriented adaptive loss function, which leads the model converging much faster. Experimental results on a collection of thyroid patches demonstrate that the proposed model reaches 80.9% on the segmentation accuracy. Besides, 93% time is reduced for the WSI segmentation by using our proposed method, and the WSI-level accuracy achieves 53.4%.


title: Search and Rescue in the Face of Uncertain Threats

abstract: We consider a search problem in which one or more targets must be rescued by a search party, or Searcher. The targets may be survivors of some natural disaster, or prisoners held by an adversary. The targets are hidden among a finite set of locations, but when a location is searched, there is a known probability that the search will come to an end, perhaps because the Searcher becomes trapped herself, or is captured by the adversary. If this happens before all the targets have been recovered, then the rescue attempt is deemed a failure. The objective is to find the search that maximizes the probability of recovering all the targets. We present and solve a game theoretic model for this problem, by placing it in a more general framework that encompasses another game previously introduced by the author. We also consider an extension to the game in which the targets are hidden on the vertices of a graph. In the case that there is only one target, we give a solution of the game played on a tree.


title: Predicting Food Security Outcomes Using Convolutional Neural Networks (CNNs) for Satellite Tasking

abstract: Obtaining reliable data describing local Food Security Metrics (FSM) at a granularity that is informative to policy-makers requires expensive and logistically difficult surveys, particularly in the developing world. We train a CNN on publicly available satellite data describing land cover classification and use both transfer learning and direct training to build a model for FSM prediction purely from satellite imagery data. We then propose efficient tasking algorithms for high resolution satellite assets via transfer learning, Markovian search algorithms, and Bayesian networks.


title: Pathwise Stochastic Control with Applications to Robust Filtering

abstract: We study the problem of pathwise stochastic optimal control, where the optimization is performed for each fixed realisation of the driving noise, by phrasing the problem in terms of the optimal control of rough differential equations. We investigate the degeneracy phenomenon induced by directly controlling the coefficient of the noise term, and propose a simple procedure to resolve this degeneracy whilst retaining dynamic programming. As an application, we use pathwise stochastic control in the context of stochastic filtering to construct filters which are robust to parameter uncertainty, demonstrating an original application of rough path theory to statistics.


title: Clustering and energy spectra in two-dimensional dusty gas turbulence

abstract: We present Direct Numerical Simulation (DNS) of heavy inertial particles (dust) immersed in two-dimensional turbulent flow (gas). The dust are modeled as mono-dispersed heavy particles capable of modifying the flow through two-way coupling. By varying the Stokes number (St) and the mass-loading parameter $({\phi}_{\rm m})$, we study the clustering phenomenon and the gas phase kinetic energy spectra. We find that the dust-dust correlation dimension $(d_2)$ also depends on ${\phi}_{\rm m}$. In particular, clustering decreases as mass-loading $({\phi}_{\rm m})$, is increased. In the kinetic energy spectra of gas we show: (i) emergence of a new scaling regime, (ii) the scaling exponent in this regime is not unique but rather a function of both St and $({\phi}_{\rm m} )$. Using a scale-by-scale enstrophy budget analysis we show in the new scaling regime, viscous dissipation due to the gas balances back-reaction from the dust.


title: Checking Observational Purity of Procedures

abstract: Verifying whether a procedure is observationally pure is useful in many software engineering scenarios. An observationally pure procedure always returns the same value for the same argument, and thus mimics a mathematical function. The problem is challenging when procedures use private mutable global variables, e.g., for memoization of frequently returned answers, and when they involve recursion. We present a novel verification approach for this problem. Our approach involves encoding the procedure's code as a formula that is a disjunction of path constraints, with the recursive calls being replaced in the formula with references to a mathematical function symbol. Then, a theorem prover is invoked to check whether the formula that has been constructed agrees with the function symbol referred to above in terms of input-output behavior for all arguments. We evaluate our approach on a set of realistic examples, using the Boogie intermediate language and theorem prover. Our evaluation shows that the invariants are easy to construct manually, and that our approach is effective at verifying observationally pure procedures.


title: Situation-Aware Pedestrian Trajectory Prediction with Spatio-Temporal Attention Model

abstract: Pedestrian trajectory prediction is essential for collision avoidance in autonomous driving and robot navigation. However, predicting a pedestrian's trajectory in crowded environments is non-trivial as it is influenced by other pedestrians' motion and static structures that are present in the scene. Such human-human and human-space interactions lead to non-linearities in the trajectories. In this paper, we present a new spatio-temporal graph based Long Short-Term Memory (LSTM) network for predicting pedestrian trajectory in crowded environments, which takes into account the interaction with static (physical objects) and dynamic (other pedestrians) elements in the scene. Our results are based on two widely-used datasets to demonstrate that the proposed method outperforms the state-of-the-art approaches in human trajectory prediction. In particular, our method leads to a reduction in Average Displacement Error (ADE) and Final Displacement Error (FDE) of up to 55% and 61% respectively over state-of-the-art approaches.


title: Universal optimality of the $E_8$ and Leech lattices and interpolation formulas

abstract: We prove that the $E_8$ root lattice and the Leech lattice are universally optimal among point configurations in Euclidean spaces of dimensions $8$ and $24$, respectively. In other words, they minimize energy for every potential function that is a completely monotonic function of squared distance (for example, inverse power laws or Gaussians), which is a strong form of robustness not previously known for any configuration in more than one dimension. This theorem implies their recently shown optimality as sphere packings, and broadly generalizes it to allow for long-range interactions. The proof uses sharp linear programming bounds for energy. To construct the optimal auxiliary functions used to attain these bounds, we prove a new interpolation theorem, which is of independent interest. It reconstructs a radial Schwartz function $f$ from the values and radial derivatives of $f$ and its Fourier transform $\widehat{f}$ at the radii $\sqrt{2n}$ for integers $n\ge1$ in $\mathbb{R}^8$ and $n \ge 2$ in $\mathbb{R}^{24}$. To prove this theorem, we construct an interpolation basis using integral transforms of quasimodular forms, generalizing Viazovska's work on sphere packing and placing it in the context of a more conceptual theory.


title: Prescribing Symmetries and Automorphisms for Polytopes

abstract: We study finite groups that occur as combinatorial automorphism groups or geometric symmetry groups of convex polytopes. When $\Gamma$ is a subgroup of the combinatorial automorphism group of a convex $d$-polytope, $d\geq 3$, then there exists a convex $d$-polytope related to the original polytope with combinatorial automorphism group exactly $\Gamma$. When $\Gamma$ is a subgroup of the geometric symmetry group of a convex $d$-polytope, $d\geq 3$, then there exists a convex $d$-polytope related to the original polytope with both geometric symmetry group and combinatorial automorphism group exactly $\Gamma$. These symmetry-breaking results then are applied to show that for every abelian group $\Gamma$ of even order and every involution $\sigma$ of $\Gamma$, there is a centrally symmetric convex polytope with geometric symmetry group $\Gamma$ such that $\sigma$ corresponds to the central symmetry.


title: Kernel formalism applied to Fourier based wave front sensing in presence of residual phases

abstract: In this paper, we describe Fourier-based Wave Front Sensors (WFS) as linear integral operators, characterized by their Kernel. In a first part, we derive the dependency of this quantity with respect to the WFS's optical parameters: pupil geometry, filtering mask, tip/tilt modulation. In a second part we focus the study on the special case of convolutional Kernels. The assumptions required to be in such a regime are described. We then show that these convolutional kernels allow to drastically simplify the WFS's model by summarizing its behavior in a concise and comprehensive quantity called the WFS's Impulse Response. We explain in particular how it allows to compute the sensor's sensitivity with respect to the spatial frequencies. Such an approach therefore provides a fast diagnostic tool to compare and optimize Fourier-based WFSs. In a third part, we develop the impact of the residual phases on the sensor's impulse response, and show that the convolutional model remains valid. Finally, a section dedicated to the Pyramid WFS concludes this work, and illustrates how the slopes maps are easily handled by the convolutional model.


title: A Note on Entropy of Delone Sets

abstract: In this note we present that the patch counting entropy can be obtained as a limit and investigate which sequences of compact sets are suitable to define this quantity. We furthermore present a geometric definition of patch counting entropy for Delone sets of infinite local complexity and that the patch counting entropy of a Delone set equals the topological entropy of the corresponding Delone dynamical system. We present our results in the context of (non-compact) locally compact Abelian groups that contain Meyer sets.


title: On Fourier restriction for finite-type perturbations of the hyperboloid

abstract: In this note, we continue our research on Fourier restriction for hyperbolic surfaces, by studying local perturbations of the hyperbolic paraboloid $z=xy,$ which are of the form $z=xy+h(y),$ where $h(y)$ is a smooth function of finite type. Our results build on previous joint work in which we have studied the case $h(y)=y^3/3$ by means of the bilinear method. As it turns out, the understanding of that special case becomes also crucial for the treatment of arbitrary finite type perturbation terms $h(y).$


title: Factorization of KdV Schr\"odinger operators using differential subresultants

abstract: We address the classical factorization problem of a one dimensional Schr\"odinger operator $-\partial^2+u-\lambda$, for a stationary potential $u$ of the KdV hierarchy but, in this occasion, a "parameter" $\lambda$. Inspired by the more effective approach of Gesztesy and Holden to the "direct" spectral problem, we give a symbolic algorithm by means of differential elimination tools to achieve the aimed factorization. Differential resultants are used for computing spectral curves, and differential subresultants to obtain the first order common factor. To make our method fully effective, we design a symbolic algorithm to compute the integration constants of the KdV hierarchy, in the case of KdV potentials that become rational under a Hamiltonian change of variable. Explicit computations are carried for Schr\"odinger operators with solitonic potentials.


title: Correspondence functors and lattices

abstract: A correspondence functor is a functor from the category of finite sets and correspondences to the category of k-modules, where k is a commu-tative ring. A main tool for this study is the construction of a correspondence functor associated to any finite lattice T. We prove for instance that this functor is projective if and only if the lattice T is distributive. Moreover, it has quotients which play a crucial role in the analysis of simple functors. The special case of total orders yields some more specific and complete results.


title: A Non-equilibrium Approach to Model Flash Dynamics with Interface Transport

abstract: This article presents a modeling framework for a class of multiphase chemical systems based on non-equilibrium thermodynamics. Compartmental modeling is used to establish the dynamic properties of liquid-vapor systems operating far from thermodynamic equilibrium. In addition to the bulk-phase molar/energetic dynamics, interface transport processes yield to algebraic constraints in the model description. The irreversible system is thus written as a system of Differential-Algebraic Equations (DAEs). The non-equilibrium liquid-vapor DAE system is proven to be of index one. A local stability analysis for the model shows that the equilibrium state is unstable for non-isobaric operation regimes, whereas numerical evidence shows that isobaric operation regimes are stable. To extend the stability analysis, internal entropy production for the irreversible flash-drum is presented as a Lyapunov function candidate.


title: Enhanced Robot Speech Recognition Using Biomimetic Binaural Sound Source Localization

abstract: Inspired by the behavior of humans talking in noisy environments, we propose an embodied embedded cognition approach to improve automatic speech recognition (ASR) systems for robots in challenging environments, such as with ego noise, using binaural sound source localization (SSL). The approach is verified by measuring the impact of SSL with a humanoid robot head on the performance of an ASR system. More specifically, a robot orients itself toward the angle where the signal-to-noise ratio (SNR) of speech is maximized for one microphone before doing an ASR task. First, a spiking neural network inspired by the midbrain auditory system based on our previous work is applied to calculate the sound signal angle. Then, a feedforward neural network is used to handle high levels of ego noise and reverberation in the signal. Finally, the sound signal is fed into an ASR system. For ASR, we use a system developed by our group and compare its performance with and without the support from SSL. We test our SSL and ASR systems on two humanoid platforms with different structural and material properties. With our approach we halve the sentence error rate with respect to the common downmixing of both channels. Surprisingly, the ASR performance is more than two times better when the angle between the humanoid head and the sound source allows sound waves to be reflected most intensely from the pinna to the ear microphone, rather than when sound waves arrive perpendicularly to the membrane.


title: Correspondence functors and finiteness conditions

abstract: We investigate the representation theory of finite sets. The correspondence functors are the functors from the category of finite sets and correspondences to the category of k-modules, where k is a commutative ring. They have various specific properties which do not hold for other types of func-tors. In particular, if k is a field and if F is a correspondence functor, then F is finitely generated if and only if the dimension of F (X) grows exponentially in terms of the cardinality of the finite set X. Moreover, in such a case, F has actually finite length. Also, if k is noetherian, then any subfunctor of a finitely generated functor is finitely generated.


title: Numerical Simulations of Vorticity Banding of Emulsions in Shear Flows

abstract: Multiphase shear flows often show banded structures that affect the global behavior of complex fluids e.g. in microdevices. Here we investigate numerically the banding of emulsions, i.e. the formation of regions of high and low volume fraction, alternated in the vorticity direction and aligned with the flow (shear bands). These bands are associated with a decrease of the effective viscosity of the system. To understand the mechanism of banding experimentally observed we have performed interface resolved simulations of the two-fluid system. The experiments were perfomed starting with a random distribution of droplets which, under the applied shear, evolves in time resulting in a phase separation. To numerically reproduce this process, the banded structures are initialized in a narrow channel confined by two walls moving in opposite direction. We find that the initial banded distribution is stable when droplets are free to merge and unstable when coalescence is prevented. In this case, additionally, the effective viscosity of the system increases, resembling the rheological behavior of suspensions of deformable particles. Droplets coalescence, on the other hand, allows emulsions to reduce the total surface of the system and hence the energy dissipation associated to the deformation, which in turn reduces the effective viscosity.


title: Invariant characterization of scalar third-order ODEs that admit the maximal contact symmetry Lie algebra

abstract: The Cartan equivalence method is utilized to deduce an invariant characterization of the scalar third-order ordinary differential equation $u'''=f(x,u,u',u'')$ which admits the maximal ten-dimensional contact symmetry Lie algebra. The method provides auxiliary functions which can be used to efficiently determine the contact transformation that does the reduction to the simplest linear equation $\bar{u}'''=0$. Furthermore, ample examples are given to illustrate our method.


title: Acceleration of particles in Schwarzschild and Kerr geometries

abstract: The Landau-Lifshitz decomposition of spacetime, or (1+3)-split, determines the three-dimensional velocity and acceleration as measured by static observers. We use these quantities to analyze the geodesic particles in Schwarzschild and Kerr spacetimes. We show that in both cases there is no room for a positive acceleration (repulsion). We also compute the escape and terminal speeds. The escape speed in the case of a static black hole coincides with the Newton result. For the Kerr spacetime, the escape speed depends on the polar angle, showing that a particle needs less energy to escape in the direction close to the polar axis. The terminal speed at the Schwarzschild horizon and at the Kerr ergosphere turns out to be equal to the speed of light. For a local, stationary observer near to a massive particle in geodesic motion on the equatorial plane of the Kerr spacetime, the analysis of the velocity reveals that such a particle never reaches the ergosphere. And, in the case of the Schwarzschild spacetime, we found that the geodesic trajectories reach the horizon perpendicularly.


title: The Wasserstein Distances Between Pushed-Forward Measures with Applications to Uncertainty Quantification

abstract: In the study of dynamical and physical systems, the input parameters are often uncertain or randomly distributed according to a measure $\varrho$. The system's response $f$ pushes forward $\varrho$ to a new measure $f\circ \varrho$ which we would like to study. However, we might not have access to $f$ but only to its approximation $g$. We thus arrive at a fundamental question -- if $f$ and $g$ are close in $L^q$, does $g\circ \varrho$ approximate $f\circ \varrho$ well, and in what sense? Previously, we demonstrated that the answer to this question might be negative in terms of the $L^p$ distance between probability density functions (PDF). Here we show that the Wasserstein metric is the proper framework for this question. For any $p\geq 1$, we bound the Wasserstein distance $W_p (f\circ \varrho , g\circ \varrho) $ from above by $\|f-g\|_{q}$. Furthermore, we provide lower bounds for the cases of $p=1,2$. Finally, we apply our theory to the analysis of common numerical methods in the field of computational uncertainty quantification.


title: A stochastic approach to the filling dynamics of a porous medium: full/empty pores duality symmetry and the emergence of Darcy's law

abstract: A stochastic approach to the filling dynamics of an open topology porous structure permeated with a perfectly wetting fluid is presented. From the discrete structure of the disordered voids network with only nearest neighbors links, we derive the "microscopic" (at the pores scale) dynamical equations governing the filling dynamics of the coupled pores and the fluid pressure dynamics. The model yields two fundamental consequences. The first consequence regards the emergence of Darcy's law and the dependence of the predicted permeability with the voids network topology. The second one is the prediction of a diffusive dynamics for the degrees of freedom of the pores filling. These equations exhibit a new type of symmetry manifested by their invariance under the full/empty pores duality transformation jointly with the velocity reversal. Non-trivial steady non-equilibrium pores filling states are also obtained and found to follow a Fermi-Dirac type law. The analogy with the single occupation of lattice sites by fermions is highlighted together with the corresponding hole-particle symmetry.


title: On the formulas for effective stiffnesses in a paper by Zheng Ye, Victor L. Berdichevsky and Wenbin Yu

abstract: A paper by Ye, Berdichevsky and Yu features a set of formulas for effective stiffnesses of corrugated plates. Without elaborating on said authors' actual approach leading to such formulas, we shall focus on the fact that they can be brought to a simpler form.


title: Procrastinating with Confidence: Near-Optimal, Anytime, Adaptive Algorithm Configuration

abstract: Algorithm configuration methods optimize the performance of a parameterized heuristic algorithm on a given distribution of problem instances. Recent work introduced an algorithm configuration procedure ("Structured Procrastination") that provably achieves near optimal performance with high probability and with nearly minimal runtime in the worst case. It also offers an $\textit{anytime}$ property: it keeps tightening its optimality guarantees the longer it is run. Unfortunately, Structured Procrastination is not $\textit{adaptive}$ to characteristics of the parameterized algorithm: it treats every input like the worst case. Follow-up work ("LeapsAndBounds") achieves adaptivity but trades away the anytime property. This paper introduces a new algorithm, "Structured Procrastination with Confidence", that preserves the near-optimality and anytime properties of Structured Procrastination while adding adaptivity. In particular, the new algorithm will perform dramatically faster in settings where many algorithm configurations perform poorly. We show empirically both that such settings arise frequently in practice and that the anytime property is useful for finding good configurations quickly.


title: Self-assembled multi-layer simple cubic photonic crystals of oppositely charged colloids in confinement

abstract: Designing and fabricating self-assembled open colloidal crystals have become one major direction in soft matter community because of many promising applications associated with open colloidal crystals. However, most of the self-assembled crystals found in experiments are not open but close-packed. Here by using computer simulation, we systematically investigate the self-assembly of oppositely charged colloidal hard spheres confined between two parallel hard walls, and we find that the confinement can stabilize multi-layer NaCl-like (simple cubic) open crystals. The maximal layers of stable NaCl-like crystal increases with decreasing the inverse screening length. More interestingly, at finite low temperature, the large vibrational entropy can stabilize some multi-layer NaCl-like crystals against the most energetically favoured close-packed crystals. In the parameter range studied, we find upto 4-layer NaCl-like crystal to be stable in confinement. Our photonic calculation shows that the inverse 4-layer NaCl-like crystal can already reproduce the large photonic band gaps of the bulk simple cubic crystal, which open at low frequency range with low dielectric contrast. This suggests new possibilities of using confined colloidal systems to fabricate open crystalline materials with novel photonic properties.


title: TRITIUM - A Real-Time Tritium Monitor System for Water Quality Surveillance

abstract: In this work the development results of the TRITIUM project is presented. The main objective of the project is the construction of a near real-time monitor for low activity tritium in water, aimed at in-situ surveillance and radiological protection of river water in the vicinity of nuclear power plants. The European Council Directive 2013/51/Euratom requires that the maximum level of tritium in water for human consumption to be lower than 100 Bq/L. Tritium levels in the cooling water of nuclear power plants in normal operation are much higher than the levels caused by the natural and cosmogenic components, and may easily surmount the limit required by the Directive. The current liquid-scintillation measuring systems in environmental radioactivity laboratories are sensitive to such low levels, but they are not suitable for real-time monitoring. Moreover, there is no currently available device with enough sensitivity and monitoring capabilities that could be used for surveillance of the cooling water of nuclear power plants. A detector system based on scintillation fibers read out by photomultiplier tubes (PMTs) or silicon photomultiplier (SiPM) arrays is under development for in-water tritium measurement. This detector will be installed in the vicinity of Almaraz nuclear power plant (Spain) in Spring 2019. An overview of the project development and the results of first prototypes are presented.


title: Fourier coefficients of the net baryon number density and their scaling properties near a phase transition

abstract: We study the Fourier coefficients b(k,T) of the net baryon number density in strongly interacting matter at finite temperature. We show that singularities in the complex chemical potential plane connected with phase transitions are reflected in the asymptotic behavior of the coefficients at large k. We derive the scaling properties of b(k,T) near a second order phase transition in the O(4) and Z(2) universality classes. The impact of first order and crossover transitions is also examined. The scaling properties of b(k,T) are linked to the QCD phase diagram in the temperature and complex chemical potential plane.


title: Robotic-assisted Ultrasound for Fetal Imaging: Evolution from Single-arm to Dual-arm System

abstract: The development of robotic-assisted extracorporeal ultrasound systems has a long history and a number of projects have been proposed since the 1990s focusing on different technical aspects. These aim to resolve the deficiencies of on-site manual manipulation of hand-held ultrasound probes. This paper presents the recent ongoing developments of a series of bespoke robotic systems, including both single-arm and dual-arm versions, for a project known as intelligent Fetal Imaging and Diagnosis (iFIND). After a brief review of the development history of the extracorporeal ultrasound robotic system used for fetal and abdominal examinations, the specific aim of the iFIND robots, the design evolution, the implementation details of each version, and the initial clinical feedback of the iFIND robot series are presented. Based on the preliminary testing of these newly-proposed robots on 42 volunteers, the successful and re-liable working of the mechatronic systems were validated. Analysis of a participant questionnaire indicates a comfortable scanning experience for the volunteers and a good acceptance rate to being scanned by the robots.


title: Excitation of the $^{229}$Th nucleus via a two-photon electronic transition

abstract: We investigate the process of nuclear excitation via a two-photon electron transition (NETP) for the case of the doubly charged thorium. The theory of the NETP process has been devised originally for heavy helium-like ions. In this work, we study this process in the nuclear clock isotope $^{229}$Th in the $2+$ charge state. For this purpose, we employ a combination of configuration interaction and many-body perturbation theory to calculate the probability of NETP in resonance approximation. The experimental scenario we propose for the excitation of the low lying isomeric state in $^{229}$Th is a circular process starting with a two-step pumping stage followed by NETP. The ideal intermediate steps in this process depend on the supposed energy $\hbar\omega_N$ of the nuclear isomeric state. For each of these energies, the best initial state for NETP is calculated. Special focus is put on the most recent experimental results for $\hbar\omega_N$.


title: Near-infrared spectroscopy of the massive stellar population of W51: evidence for multi-seeded star formation

abstract: The interplay between the formation of stars, stellar feedback and cloud properties strongly influences the star formation history of giant molecular clouds. The formation of massive stars leads to a variety of stellar clusters, ranging from low stellar density OB associations to dense, gravitationally bound starburst clusters. We aimed at identifying the massive stellar content and reconstructing the star formation history of the W51 giant molecular cloud. We performed near-infrared imaging and K-band spectroscopy of the massive stars in W51. We analyzed the stellar populations using colour-magnitude and colour-colour diagrams and compared the properties of the spectroscopically identified stars with stellar evolution models. We derived the ages of the different sub-clusters in W51 and, based on our spectroscopy derived an age for W51 of 3 Myrs or less. The age of the P Cygni star LS1 and the presence of two still forming proto-clusters suggests that the star formation history of W51 is more complex than a single burst. We did not find evidence for triggered star formation and we concluded that the star formation in W51 is multi seeded. We finally concluded that W51 is a OB association where different sub-clusters form over a time span of at least 3-5 Myrs.


title: Schauder Estimates for a Class of Potential Mean Field Games of Controls

abstract: An existence result for a class of mean field games of controls is provided. In the considered model, the cost functional to be minimized by each agent involves a price depending at a given time on the controls of all agents and a congestion term. The existence of a classical solution is demonstrated with the Leray-Schauder theorem; the proof relies in particular on a priori bounds for the solution, which are obtained with the help of a potential formulation of the problem.


title: Redundant Loads: A Software Inefficiency Indicator

abstract: Modern software packages have become increasingly complex with millions of lines of code and references to many external libraries. Redundant operations are a common performance limiter in these code bases. Missed compiler optimization opportunities, inappropriate data structure and algorithm choices, and developers' inattention to performance are some common reasons for the existence of redundant operations. Developers mainly depend on compilers to eliminate redundant operations. However, compilers' static analysis often misses optimization opportunities due to ambiguities and limited analysis scope; automatic optimizations to algorithmic and data structural problems are out of scope. We develop LoadSpy, a whole-program profiler to pinpoint redundant memory load operations, which are often a symptom of many redundant operations. The strength of LoadSpy exists in identifying and quantifying redundant load operations in programs and associating the redundancies with program execution contexts and scopes to focus developers' attention on problematic code. LoadSpy works on fully optimized binaries, adopts various optimization techniques to reduce its overhead, and provides a rich graphic user interface, which make it a complete developer tool. Applying LoadSpy showed that a large fraction of redundant loads is common in modern software packages despite highest levels of automatic compiler optimizations. Guided by LoadSpy, we optimize several well-known benchmarks and real-world applications, yielding significant speedups.


title: The solution of the Generalized Kepler's equation

abstract: In the context of general perturbation theories, the main problem of the artificial satellite analyses the motion of an orbiter around an Earth-like planet, only perturbed by its equatorial bulge or J2 effect. By means of a Lie transform and the Krylov-Bogoliubov-Mitropolsky method, a first-order theory in closed form of the eccentricity is produced. During the evaluation of the theory it is necessary to solve a generalization of the classical Kepler's equation. In this work, the application of a numerical technique and three initial guesses to the Generalized Kepler's equation are discussed.


title: We should Stop Claiming Generality in our Domain-Specific Language Papers

abstract: Our community believes that new domain-specific languages should be as general as possible to increase their impact. However, I argue in this essay that we should stop claiming generality for new domain-specific languages. More general domain-specific languages induce more boilerplate code. Moreover, domain-specific languages are co-developed with their applications in practice, and tend to be specific for these applications. Thus, I argue we should stop claiming generality in favor of documenting how domain-specific language based software development is beneficial to the overall software development process. The acceptance criteria for scientific literature should make the same shift: accepting good domain-specific language engineering practice, instead of the next language to rule them all.


title: Change Actions: Models of Generalised Differentiation

abstract: Cai et al. have recently proposed change structures as a semantic framework for incremental computation. We generalise change structures to arbitrary cartesian categories and propose the notion of change action model as a categorical model for (higher-order) generalised differentiation. Change action models naturally arise from many geometric and computational settings, such as (generalised) cartesian differential categories, group models of discrete calculus, and Kleene algebra of regular expressions. We show how to build canonical change action models on arbitrary cartesian categories, reminiscent of the F\`aa di Bruno construction.


title: Early-Time Exponential Instabilities in Non-Chaotic Quantum Systems

abstract: The vast majority of dynamical systems in classical physics are chaotic and exhibit the butterfly effect: a minute change in initial conditions can soon have exponentially large effects elsewhere. But this phenomenon is difficult to reconcile with quantum mechanics. One of the main goals in the field of quantum chaos is to establish a correspondence between the dynamics of classical chaotic systems and their quantum counterparts. In isolated systems in the absence of decoherence, there is such a correspondence in dynamics, but it usually persists only over a short time window, after which quantum interference washes out classical chaos. We demonstrate that quantum mechanics can also play the opposite role and generate exponential instabilities in classically non-chaotic systems within this early-time window. Our calculations employ the out-of-time-ordered correlator (OTOC) -- a diagnostic that reduces to the Lyapunov exponent in the classical limit, but is well defined for general quantum systems. Specifically, we show that a variety of classically non-chaotic models, such as polygonal billiards, whose classical Lyapunov exponents are always zero, demonstrate a Lyapunov-like exponential growth of the OTOC at early times with Planck's-constant-dependent rates. This behavior is sharply contrasted with the slow early-time growth of the analog of the OTOC in the systems' classical counterparts. These results suggest that classical-to-quantum correspondence in dynamics is violated in the OTOC even before quantum interference develops.


title: On L(2,1)-labelings of oriented graphs

abstract: We extend a result of Griggs and Yeh about the maximum possible value of the L(2,1)-labeling number of a graph in terms of its maximum degree to oriented graphs. We consider the problem both in the usual definition of the oriented L(2,1)-labeling number and in some variants we introduce.


title: Schottky anomaly and short-range antiferromagnetic correlations in filled skutterudites Pr$_{1-x}$Eu$_x$Pt$_4$Ge$_{12}$

abstract: By performing a series of thermodynamic measurements in an applied magnetic field $H_{\textrm{ext}}$, we investigated the effects of Eu substitution on the Pr sites in filled skutterudite compound Pr$_{1-x}$Eu$_x$Pt$_4$Ge$_{12}$ ($ 0 \leq x \leq 1$). A heat capacity Schottky anomaly is present over the whole doping range. For the samples with $x > 0.5$, these Schottky anomaly peaks shift to lower temperature with increasing $H_{\textrm{ext}}$. We argue that this behavior reflects the antiferromagnetic (AFM) ordering of the Eu moments, as the AFM transition is suppressed by $H_{\textrm{ext}}$. The Schottky peaks in the samples with $x \leq 0.5$ shift to higher temperatures with increasing magnetic field, signaling the presence of an internal magnetic field due to short-range AFM correlations induced by magnetic moments of neighboring Eu sites. In low $H_{\textrm{ext}}$, the Schottky gaps show a non-linear relationship with $H_{\textrm{ext}}$ as the magnetic moments become weakly magnetized. In high $H_{\textrm{ext}}$, the magnetic moments of Eu sites become completely aligned with $H_{\textrm{ext}}$. Thus, increasing $H_{\textrm{ext}}$ does not further increase the magnetization, hence the Schottky gaps increase linearly with $H_{\textrm{ext}}$


title: Non-Euclidean isoperimetric inequalities for nilpotent Lie groups

abstract: This article treats isoperimetric inequalities for integral currents in the setting of stratified nilpotent Lie groups equipped with left-invariant Riemannian metrics. We prove that for each such group there is a dimension in which no Euclidean isoperimetric inequality is admitted, while in all smaller dimensions strictly Euclidean isoperimetric inequalities are satisfied.


title: Cosmological evolution of quasar radio emission in the view of multifractality

abstract: Variations in scaling behavior in the flux and emissions of distant astronomical sources with respect to their cosmic time are important l phenomena that can provide valuable information about the dynamics within the sources and their cosmological evolution with time. Different studies have been applying linear analysis to understand and model quasars' light curves. Here, we study the multifractal behavior of selected quasars' radio emissions in their observed frame (at 22 and 37 GHz bands) and and their rest frame. To this end, we apply the wavelet transform-based multifractal analysis formalism called wavelet transform modulus maxima. In addition, we verify whether the autoregressive integrated moving average (ARIMA) models fit our data or not. In our work, we observe strong multifractal behavior for all the sources. Additionally, we find that the degree of multifractality is strongly similar for each source and significantly different between sources at 22 and 37 GHz. This similarity implies that the two frequencies have the same radiation region and mechanism, whereas the difference indicates that the sources have intrinsically different dynamics. Furthermore, we show that the degree of multifractality is the same in the observed and rest frames of the quasars, i.e., multifractality is an intrinsic property of radio quasars. Finally, we show that the ARIMA models fit the 3C 345 quasar at 22 GHz and partially fit most of the time series with the exception of the 3C 273 and 3C 279 quasars at 37 GHz, for which the models are found to be inadequate.


title: Polarization resolved Cu $L_3$-edge resonant inelastic x-ray scattering of orbital and spin excitations in NdBa$_{2}$Cu$_{3}$O$_{7-\delta}$

abstract: High resolution resonant inelastic x-ray scattering (RIXS) has proven particularly effective in the determination of crystal field and spin excitations in cuprates. Its strength lies in the large Cu $L_{3}$ resonance and in the fact that the scattering cross section follows quite closely the single-ion model predictions, both in the insulating parent compounds and in the superconducting doped materials. However, the spectra become increasingly broader with (hole) doping, hence resolving and assigning spectral features has proven challenging even with the highest energy resolution experimentally achievable. Here we have overcome this limitation by measuring the complete polarization dependence of the RIXS spectra as function of momentum transfer and doping in thin films of NdBa$_{2}$Cu$_{3}$O$_{7-\delta}$. Besides confirming the previous assignment of $dd$ and spin excitations (magnon, bimagnon) in the antiferromagnetic insulating parent compound, we unequivocally single out the actual spin-flip contribution at all dopings. We also demonstrate that the softening of $dd$ excitations is mainly attributed to the shift of the $xy$ peak to lower energy loss. These results provide a definitive assessment of the RIXS spectra of cuprates and demonstrate that RIXS measurements with full polarization control are practically feasible and highly informative.


title: Quasi-complete intersections in P2 and syzygies

abstract: Let C \in P2 be a reduced, singular curve of degree d and equation f = 0. Let \Sigma denote the jacobian subscheme of C. We have 0 -> E -> 3.O -> I_\Sigma(d-1) -> 0 (the surjection is given by the partials of f). We study the relationships between the Betti numbers of the module H^0_*(E) and the integers, d; \tau, where \tau = deg(\Sigma). We observe that our results apply to any quasi-complete intersection of type (s; s; s).


title: On an extension of the Landau-Gonek formula

abstract: We prove an extension of the Landau-Gonek formula. As an application we recover unconditionally some of the consequences of a pair correlation estimate that previously was known under the Riemann hypothesis. As one corollary we prove that at least two-thirds of the zeros of the zeta function are simple under a zero density hypothesis, which is weaker than the Riemann hypothesis. The results in this paper can be viewed as pair correlation estimates independent of the Riemann hypothesis.


title: Breakdown of the Hebel-Slichter effect in superconducting graphene due to the emergence of Yu-Shiba-Rusinov states at magnetic resonant scatterers

abstract: Employing analytical methods and quantum transport simulations we investigate the relaxation of quasiparticle spins in graphene proximitized by an $s$-wave superconductor in the presence of resonant magnetic and spin-orbit active impurities. Off resonance, the relaxation increases with decreasing temperature when electrons scatter off magnetic impurities---the Hebel-Slichter effect---and decreases when impurities have spin-orbit coupling. This distinct temperature~dependence (not present in the normal state) uniquely discriminates between the two scattering mechanisms. However, we show that the Hebel-Slichter picture breaks down at resonances. The emergence of Yu-Shiba-Rusinov bound states within the superconducting gap redistributes the spectral weight away from magnetic resonances. The result is opposite to the Hebel-Slichter expectation: the spin relaxation decreases with decreasing temperature. Our findings hold for generic $s$-wave superconductors with resonant magnetic impurities, but also, as we show, for resonant magnetic Josephson junctions.


title: Point interactions for 3D sub-Laplacians

abstract: In this paper we show that, for a sub-Laplacian $\Delta$ on a $3$-dimensional manifold $M$, no point interaction centered at a point $q_0\in M$ exists. When $M$ is complete w.r.t. the associated sub-Riemannian structure, this means that $\Delta$ acting on $C^\infty_0(M\setminus\{q_0\})$ is essentially self-adjoint. A particular example is the standard sub-Laplacian on the Heisenberg group. This is in stark contrast with what happens in a Riemannian manifold $N$, whose associated Laplace-Beltrami operator is never essentially self-adjoint on $C^\infty_0(N\setminus\{q_0\})$, if $\dim N\le 3$. We then apply this result to the Schr\"odinger evolution of a thin molecule, i.e., with a vanishing moment of inertia, rotating around its center of mass.


title: Cross-correlated shot noise in three-terminal superconducting hybrid nanostructures

abstract: We work out a unified theory describing both non-local electron transport and cross-correlated shot noise in a three-terminal normal-superconducting-normal (NSN) hybrid nanostructure. We describe noise cross correlations both for subgap and overgap bias voltages and for arbitrary distribution of channel transmissions in NS contacts. We specifically address a physically important situation of diffusive contacts and demonstrate a non-trivial behavior of non-local shot noise exhibiting both positive and negative cross correlations depending on the bias voltages. For this case, we derive a relatively simple analytical expression for cross-correlated noise power which contains only experimentally accessible parameters.