title: Comment on "Finite size effects in the averaged eigenvalue density of Wigner random-sign real symmetric matrices" by G.S. Dhesi and M. Ausloos

abstract: The recent paper "Finite size effects in the averaged eigenvalue density of Wigner random-sign real symmetric matrices" by G.S. Dhesi and M. Ausloos [Phys. Rev. E 93 (2016), 062115] uses the replica method to compute the $1/N$ correction to the Wigner semi-circle law for the ensemble of real symmetric random matrices with $0$'s down the diagonal, and upper triangular entries independently chosen from the values $\pm w$ with equal probability. We point out that the results obtained are inconsistent with known results in the literature, as well as with known large $N$ series expansions for the trace of powers of these random matrices. An incorrect assumption relating to the role of the diagonal terms at order $1/N$ appears to be the cause for the inconsistency. Moreover, results already in the literature can be used to deduce the $1/N$ correction to the Wigner semi-circle law for real symmetric random matrices with entries drawn independently from distributions $\mathcal D_1$ (diagonal entries) and $\mathcal D_2$ (upper triangular entries) assumed to be even and have finite moments. Large $N$ expansions for the trace of the $2k$-th power ($k=1,2,3$) for these matrices can be computed and used as checks.


title: RaD-VIO: Rangefinder-aided Downward Visual-Inertial Odometry

abstract: State-of-the-art forward facing monocular visual-inertial odometry algorithms are often brittle in practice, especially whilst dealing with initialisation and motion in directions that render the state unobservable. In such cases having a reliable complementary odometry algorithm enables robust and resilient flight. Using the common local planarity assumption, we present a fast, dense, and direct frame-to-frame visual-inertial odometry algorithm for downward facing cameras that minimises a joint cost function involving a homography based photometric cost and an IMU regularisation term. Via extensive evaluation in a variety of scenarios we demonstrate superior performance than existing state-of-the-art downward facing odometry algorithms for Micro Aerial Vehicles (MAVs).


title: Synscapes: A Photorealistic Synthetic Dataset for Street Scene Parsing

abstract: We introduce Synscapes -- a synthetic dataset for street scene parsing created using photorealistic rendering techniques, and show state-of-the-art results for training and validation as well as new types of analysis. We study the behavior of networks trained on real data when performing inference on synthetic data: a key factor in determining the equivalence of simulation environments. We also compare the behavior of networks trained on synthetic data and evaluated on real-world data. Additionally, by analyzing pre-trained, existing segmentation and detection models, we illustrate how uncorrelated images along with a detailed set of annotations open up new avenues for analysis of computer vision systems, providing fine-grain information about how a model's performance changes according to factors such as distance, occlusion and relative object orientation.


title: Suppression of intrinsic neutron background in the Multi-Grid detector

abstract: One of the key requirements for neutron scattering instruments is the Signal-to-Background ratio (SBR). This is as well a design driving requirement for many instruments at the European Spallation Source (ESS), which aspires to be the brightest neutron source of the world. The SBR can be effectively improved with background reduction. The Multi-Grid, a large-area thermal neutron detector with a solid boron carbide converter, is a novel solution for chopper spectrometers. This detector will be installed for the three prospective chopper spectrometers at the ESS. As the Multi-Grid detector is a large area detector with a complex structure, its intrinsic background and its suppression via advanced shielding design should be investigated in its complexity, as it cannot be naively calculated. The intrinsic scattered neutron background and its effect on the SBR is determined via a detailed Monte Carlo simulation for the Multi-Grid detector module, designed for the CSPEC instrument at the ESS. The impact of the detector vessel and the neutron entrance window on scattering is determined, revealing the importance of an optimised internal detector shielding. The background-reducing capacity of common shielding geometries, like side-shielding and end-shielding is determined by using perfect absorber as shielding material, and common shielding materials, like B$_{4}$C and Cd are also tested. On the basis of the comparison of the effectiveness of the different shielding topologies and materials, recommendations are given for a combined shielding of the Multi-Grid detector module, optimised for increased SBR.


title: Mobile Sound Recognition for the Deaf and Hard of Hearing

abstract: Human perception of surrounding events is strongly dependent on audio cues. Thus, acoustic insulation can seriously impact situational awareness. We present an exploratory study in the domain of assistive computing, eliciting requirements and presenting solutions to problems found in the development of an environmental sound recognition system, which aims to assist deaf and hard of hearing people in the perception of sounds. To take advantage of smartphones computational ubiquity, we propose a system that executes all processing on the device itself, from audio features extraction to recognition and visual presentation of results. Our application also presents the confidence level of the classification to the user. A test of the system conducted with deaf users provided important and inspiring feedback from participants.


title: Exploring the properties of low-frequency radio emission and magnetic fields in a sample of compact galaxy groups using the LOFAR Two-Metre Sky Survey (LoTSS)

abstract: We use the LOFAR Two-metre Sky Survey (LoTSS) Data Release I to identify the groups of galaxies (and individual galaxies) from the Hickson Compact Groups and Magnitude Limited Compact Groups samples that emit at the frequency of 150\,MHz, characterise their radio emission (extended or limited to the galaxies), and compare new results to earlier observations and theoretical predictions. The detection of 73 systems (and 7 more -- probably) out of 120, of which as many as 17 show the presence of extended radio structures, confirms the previous hypothesis of the common character of the magnetic field inside galaxy groups and its detectability. In order to investigate the future potential of low-frequency radio studies of galaxy groups, we also present a more detailed insight into four radio-emitting systems, for which the strength of the magnetic field inside their intergalactic medium (IGM) is calculated. The estimated values are comparable to that found inside star-forming galaxies, suggesting a dynamical and evolutionary importance of the magnetic field in galaxy groups.


title: Calibrated Submanifolds

abstract: We provide an introduction to the theory of calibrated submanifolds through the key examples related with special holonomy. We focus on calibrated geometry in Calabi-Yau, G$_2$ and Spin(7) manifolds, and describe fundamental results and techniques in the field.


title: Effective transient behaviour of heterogeneous media in diffusion problems with a large contrast in the phase diffusivities

abstract: This paper presents a homogenisation-based constitutive model to describe the effective tran- sient diffusion behaviour in heterogeneous media in which there is a large contrast between the phase diffusivities. In this case mobile species can diffuse over long distances through the fast phase in the time scale of diffusion in the slow phase. At macroscopic scale, contrasted phase diffusivities lead to a memory effect that cannot be properly described by classical Fick's second law. Here we obtain effective governing equations through a two-scale approach for composite materials consisting of a fast matrix and slow inclusions. The micro-macro transition is similar to first-order computational homogenisation, and involves the solution of a transient diffusion boundary-value problem in a Representative Volume Element of the microstructure. Different from computational homogenisation, we propose a semi-analytical mean-field estimate of the composite response based on the exact solution for a single inclusion developed in our previous work [Brassart, L., Stainier, L., 2018. Effective transient behaviour of inclusions in diffusion problems. Z. Angew Math. Mech. 98, 981-998]. A key outcome of the model is that the macroscopic concentration is not one-to-one related to the macroscopic chemical potential, but obeys a local kinetic equation associated with diffusion in the slow phase. The history-dependent macroscopic response admits a representation based on internal variables, enabling efficient time integration. We show that the local chemical kinetics can result in non-Fickian behaviour in macroscale boundary-value problems.


title: Stability conditions for a decentralised medium access algorithm: single- and multi-hop networks

abstract: We consider a decentralised multi-access algorithm, motivated primarily by the control of transmissions in a wireless network. For a finite single-hop network with arbitrary interference constraints we prove stochastic stability under the natural conditions. For infinite and finite single-hop networks, we obtain broad rate-stability conditions. We also consider symmetric finite multi-hop networks and show that the natural condition is sufficient for stochastic stability.


title: Planetary Bistatic Radar

abstract: Planetary radar observations offer the potential for probing the properties of characteristics of solid bodies throughout the inner solar system and at least as far as the orbit of Saturn. In addition to the direct scientific value, precise orbital determinations can be obtained from planetary radar observations, which are in turn valuable for mission planning or spacecraft navigation and planetary defense. The next-generation Very Large Array would not have to be equipped with a transmitter to be an important asset in the world's planetary radar infrastructure. Bistatic radar, in which one antenna transmits (e.g., Arecibo or Goldstone) and another receives, are used commonly today, with the Green Bank Telescope (GBT) serving as a receiver. The improved sensitivity of the ngVLA relative to the GBT would improve the signal-to-noise ratios on many targets and increase the accessible volume specifically for asteroids. Goldstone-ngVLA bistatic observations would have the potential of rivaling the sensitivity of Arecibo, but with much wider sky access.


title: Topological interfaces in Chern-Simons theory and $AdS_3/CFT_2$

abstract: Recently, topological interfaces between three-dimensional abelian Chern-Simons theories were constructed. In this note we investigate such topological interfaces in the context of the $AdS_3/CFT_2$ correspondence. We show that it is possible to connect the topological interfaces in the bulk Chern-Simons theory to topological interfaces in the dual CFT on the boundary. In addition for $[U(1)]^{2N}$ Chern-Simons theory on $AdS_3$, we show that it is possible to find boundary counter terms which lead to the $N$ conserved currents in the dual two-dimensional CFT.


title: Estimation of a functional single index model with dependent errors and unknown error density

abstract: The problem of error density estimation for a functional single index model with dependent errors is studied. A Bayesian method is utilized to simultaneously estimate the bandwidths in the kernel-form error density and regression function, under an autoregressive error structure. For estimating both the regression function and error density, empirical studies show that the functional single index model gives improved estimation and prediction accuracies than any nonparametric functional regression considered. Furthermore, estimation of error density facilitates the construction of prediction interval for the response variable.


title: Monopole Charge Density Wave States in Weyl Semimetals

abstract: We study a new class of topological charge density wave states exhibiting monopole harmonic symmetries. The density-wave ordering is equivalent to pairing in the particle-hole channel due to Fermi surface nesting under interactions. When electron and hole Fermi surfaces carry different Chern numbers, the particle-hole pairing exhibits a non-trivial Berry phase inherited from band structure topology independent of concrete density-wave ordering mechanism. The associated density-wave gap functions become nodal, and the net nodal vorticity is determined by the monopole charge of the pairing Berry phase. The gap function nodes become zero-energy Weyl nodes of the bulk spectra of quasi-particle excitations. These states can occur in doped Weyl semimetals with nested electron and hole Fermi surfaces enclosing Weyl nodes of the same chirality in the weak coupling regime. Topologically non-trivial low-energy Fermi arc surface states appear in the density-wave ordering state as a consequence of the emergent zero-energy Weyl nodes.


title: Charge-spin current conversion in high quality epitaxial Fe/Pt systems: isotropic spin Hall angle along different in-plane crystalline directions

abstract: We report the growth of MgO[001]//Fe(6 nm)/MgO(7 nm) and MgO[001]//Fe(6 nm)/Pt(6 nm) by molecular beam epitaxy and show that the full characterization by spin-orbit ferromagnetic resonance (SO-FMR) allows the determination of magnetic anisotropies as by classical FMR-only studies. The spin mixing conductance of epitaxial Fe/Pt interface was measured to be (1.5 +- 0.5)x10^19 m^2, and the effective spin Hall angle (SHA), was estimated at different in-plane crystalline directions. It was found that SHA is the same in all directions. When taking into account high enough excitation frequencies to achieve uniform precession of magnetization, the effective spin hall angle for epitaxial Pt in Fe/Pt is 0.051 +- 0.005. We address about the proper conditions to determine those relevant spintronics parameters.


title: Learning Personas from Dialogue with Attentive Memory Networks

abstract: The ability to infer persona from dialogue can have applications in areas ranging from computational narrative analysis to personalized dialogue generation. We introduce neural models to learn persona embeddings in a supervised character trope classification task. The models encode dialogue snippets from IMDB into representations that can capture the various categories of film characters. The best-performing models use a multi-level attention mechanism over a set of utterances. We also utilize prior knowledge in the form of textual descriptions of the different tropes. We apply the learned embeddings to find similar characters across different movies, and cluster movies according to the distribution of the embeddings. The use of short conversational text as input, and the ability to learn from prior knowledge using memory, suggests these methods could be applied to other domains.


title: Testing Randomness in Quantum Mechanics

abstract: Pseudo-random number generators are widely used in many branches of science, mainly in applications related to Monte Carlo methods, although they are deterministic in design and, therefore, unsuitable for tackling fundamental problems in security and cryptography. The natural laws of the microscopic realm provide a fairly simple method to generate non-deterministic sequences of random numbers, based on measurements of quantum states. In practice, however, the experimental devices on which quantum random number generators are based are often unable to pass some tests of randomness. In this review, we briefly discuss two such tests, point out the challenges that we have encountered and finally present a fairly simple method that successfully generates non-deterministic maximally random sequences.


title: Deep Reinforcement Learning for Six Degree-of-Freedom Planetary Powered Descent and Landing

abstract: Future Mars missions will require advanced guidance, navigation, and control algorithms for the powered descent phase to target specific surface locations and achieve pinpoint accuracy (landing error ellipse $<$ 5 m radius). The latter requires both a navigation system capable of estimating the lander's state in real-time and a guidance and control system that can map the estimated lander state to a commanded thrust for each lander engine. In this paper, we present a novel integrated guidance and control algorithm designed by applying the principles of reinforcement learning theory. The latter is used to learn a policy mapping the lander's estimated state directly to a commanded thrust for each engine, with the policy resulting in accurate and fuel-efficient trajectories. Specifically, we use proximal policy optimization, a policy gradient method, to learn the policy. Another contribution of this paper is the use of different discount rates for terminal and shaping rewards, which significantly enhances optimization performance. We present simulation results demonstrating the guidance and control system's performance in a 6-DOF simulation environment and demonstrate robustness to noise and system parameter uncertainty.


title: Coarse compactifications and controlled products

abstract: We introduce the notion of controlled products on metric spaces as a generalization of Gromov products, and construct boundaries by using controlled products, which we call the Gromov boundaries. It is shown that the Gromov boundary with respect to a controlled product on a proper metric space complements the space as a coarse compactification. It is also shown that there is a bijective correspondence between the set of all coarse equivalence classes of controlled products and the set of all equivalence classes of coarse compactifications.


title: Characterizing pump line phase offset of a single-soliton Kerr comb by dual comb interferometry

abstract: We experimentally demonstrate phase retrieval of a single-soliton Kerr comb using electric field cross-correlation implemented via dual-comb interferometry. The phase profile of the Kerr comb is acquired through the heterodyne beat between the Kerr comb and a reference electro-optical comb with a pre-characterized phase profile. The soliton Kerr comb has a nearly flat phase profile, and the pump line is observed to show a phase offset which depends on the pumping parameters. The experimental results are in agreement with numerical simulations. Our all-linear approach enables rapid measurements (3.2 $\mu$s) with low input power (20 $\mu$W).


title: Compact ultracold neutron source concept for low energy accelerator-driven neutron sources

abstract: The concept of a small-scale, pulsed-proton accelerator based compact ultracold neutron (UCN) source is presented. The essential idea of the compact UCN source is to enclose a volume of superfluid $^{4}\mathrm{He}$ converter with a supercold moderator in the vicinity of a low-radiation neutron production target from (p, n) reactions. The supercold moderator should possess an ability to produce cold neutron flux with a peak brightness near the single-phonon excitation band of the superfluid $^{4}\mathrm{He}$ converter, thereby augmenting the UCN production in the compact UCN source even with very low intensity of neutron brightness. The performance of the compact UCN source is studied in terms of the UCN production and thermal load in the UCN converter. With the proposed concept of the compact UCN source, a UCN production rate of $P_{\mathrm{UCN}}=80\mathrm{UCN}/\mathrm{cc}/\mathrm{sec}$ in the UCN converter could be obtained while maintaining thermal load of on the superfluid $^{4}\mathrm{He}$ and its container at a level of $22\mathrm{mW}$. This study shows that the compact UCN source can produce a high enough density of UCN at a small-scale, low-energy, pulsed-proton beam facility with reduced efforts on the cooling and radiation protection.


title: The Ocean Tensor Package

abstract: Matrix and tensor operations form the basis of a wide range of fields and applications, and in many cases constitute a substantial part of the overall computational complexity. The ability of general-purpose GPUs to speed up many of these operations and enable others has resulted in a widespread adaptation of these devices. In order for tensor operations to take full advantage of the computational power, specialized software is required, and currently there exist several packages (predominantly in the area of deep learning) that incorporate tensor operations on both CPU and GPU. Nevertheless, a stand-alone framework that supports general tensor operations is still missing. In this paper we fill this gap and propose the Ocean Tensor Library: a modular tensor-support package that is designed to serve as a foundational layer for applications that require dense tensor operations on a variety of device types. The API is carefully designed to be powerful, extensible, and at the same time easy to use. The package is available as open source.


title: Non-transversal intersection of the free and fixed boundary in the mean-field theory of superconductivity

abstract: Non-transversal intersection of the free and fixed boundary is shown to hold and a classification of blow-up solutions is given for obstacle problems generated by fully nonlinear uniformly elliptic operators in two dimensions which appear in the mean-field theory of superconducting vortices.


title: Neural wave interference and intrinsic tuning in distributed excitatory-inhibitory networks

abstract: We developed a model of cortical computation that implements key features of cortical circuitry and is capable of describing propagation of neural signals between cortical locations in response to spatially distributed stimuli. The model is based on the canonical neural circuit that consists of excitatory and inhibitory cells interacting through reciprocal connections, with recurrent feedback. The canonical circuit is used as a node in a distributed network with nearest neighbor coupling between the nodes. We find that this system is characterized by intrinsic preference for spatial frequency. The value of preferred frequency depends on the relative weights of excitatory and inhibitory connections between cells. This balance of excitation and inhibition changes as stimulus contrast increases, which is why intrinsic spatial frequency is predicted to change with contrast in a manner determined by stimulus temporal frequency. The dynamics of network preference is consistent with properties of the cortical area MT in alert macaque monkeys.


title: SL$^2$MF: Predicting Synthetic Lethality in Human Cancers via Logistic Matrix Factorization

abstract: Synthetic lethality (SL) is a promising concept for novel discovery of anti-cancer drug targets. However, wet-lab experiments for detecting SLs are faced with various challenges, such as high cost, low consistency across platforms or cell lines. Therefore, computational prediction methods are needed to address these issues. This paper proposes a novel SL prediction method, named SL2MF, which employs logistic matrix factorization to learn latent representations of genes from the observed SL data. The probability that two genes are likely to form SL is modeled by the linear combination of gene latent vectors. As known SL pairs are more trustworthy than unknown pairs, we design importance weighting schemes to assign higher importance weights for known SL pairs and lower importance weights for unknown pairs in SL2MF. Moreover, we also incorporate biological knowledge about genes from protein-protein interaction (PPI) data and Gene Ontology (GO). In particular, we calculate the similarity between genes based on their GO annotations and topological properties in the PPI network. Extensive experiments on the SL interaction data from SynLethDB database have been conducted to demonstrate the effectiveness of SL2MF.


title: Condition Number Analysis of Logistic Regression, and its Implications for Standard First-Order Solution Methods

abstract: Logistic regression is one of the most popular methods in binary classification, wherein estimation of model parameters is carried out by solving the maximum likelihood (ML) optimization problem, and the ML estimator is defined to be the optimal solution of this problem. It is well known that the ML estimator exists when the data is non-separable, but fails to exist when the data is separable. First-order methods are the algorithms of choice for solving large-scale instances of the logistic regression problem. In this paper, we introduce a pair of condition numbers that measure the degree of non-separability or separability of a given dataset in the setting of binary classification, and we study how these condition numbers relate to and inform the properties and the convergence guarantees of first-order methods. When the training data is non-separable, we show that the degree of non-separability naturally enters the analysis and informs the properties and convergence guarantees of two standard first-order methods: steepest descent (for any given norm) and stochastic gradient descent. Expanding on the work of Bach, we also show how the degree of non-separability enters into the analysis of linear convergence of steepest descent (without needing strong convexity), as well as the adaptive convergence of stochastic gradient descent. When the training data is separable, first-order methods rather curiously have good empirical success, which is not well understood in theory. In the case of separable data, we demonstrate how the degree of separability enters into the analysis of $\ell_2$ steepest descent and stochastic gradient descent for delivering approximate-maximum-margin solutions with associated computational guarantees as well. This suggests that first-order methods can lead to statistically meaningful solutions in the separable case, even though the ML solution does not exist.


title: Roadmap for Reliable Ensemble Forecasting of the Sun-Earth System

abstract: The authors of this report met on 28-30 March 2018 at the New Jersey Institute of Technology, Newark, New Jersey, for a 3-day workshop that brought together a group of data providers, expert modelers, and computer and data scientists, in the solar discipline. Their objective was to identify challenges in the path towards building an effective framework to achieve transformative advances in the understanding and forecasting of the Sun-Earth system from the upper convection zone of the Sun to the Earth's magnetosphere. The workshop aimed to develop a research roadmap that targets the scientific challenge of coupling observations and modeling with emerging data-science research to extract knowledge from the large volumes of data (observed and simulated) while stimulating computer science with new research applications. The desire among the attendees was to promote future trans-disciplinary collaborations and identify areas of convergence across disciplines. The workshop combined a set of plenary sessions featuring invited introductory talks and workshop progress reports, interleaved with a set of breakout sessions focused on specific topics of interest. Each breakout group generated short documents, listing the challenges identified during their discussions in addition to possible ways of attacking them collectively. These documents were combined into this report-wherein a list of prioritized activities have been collated, shared and endorsed.


title: Learning Material-Aware Local Descriptors for 3D Shapes

abstract: Material understanding is critical for design, geometric modeling, and analysis of functional objects. We enable material-aware 3D shape analysis by employing a projective convolutional neural network architecture to learn material- aware descriptors from view-based representations of 3D points for point-wise material classification or material- aware retrieval. Unfortunately, only a small fraction of shapes in 3D repositories are labeled with physical mate- rials, posing a challenge for learning methods. To address this challenge, we crowdsource a dataset of 3080 3D shapes with part-wise material labels. We focus on furniture models which exhibit interesting structure and material variabil- ity. In addition, we also contribute a high-quality expert- labeled benchmark of 115 shapes from Herman-Miller and IKEA for evaluation. We further apply a mesh-aware con- ditional random field, which incorporates rotational and reflective symmetries, to smooth our local material predic- tions across neighboring surface patches. We demonstrate the effectiveness of our learned descriptors for automatic texturing, material-aware retrieval, and physical simulation. The dataset and code will be publicly available.


title: Digital images unveil geometric structures in pairs of relatively prime numbers

abstract: We present a transformation, based on the B\'ezout's identity, which maps the set of pairs of relatively prime numbers $(p,q)$ with fixed $p$ and $0<q<p$, to pairs of relatively prime numbers in the $p\times p$ square in $\mathbb R^2$, in such a way that intriguing quadratic arcs show up. We exhibit parametrizations of quadratic curves which fit such quadratic arcs and we also justify algebraically the ensuing geometry.


title: Understanding the Diversity of 21 cm Cosmology Analyses

abstract: 21 cm power spectrum observations have the potential to revolutionize our understanding of the Epoch of Reionization and Dark Energy, but require extraordinarily precise data analysis methods to separate the cosmological signal from the astrophysical and instrumental contaminants. This analysis challenge has led to a diversity of proposed analyses, including delay spectra, imaging power spectra, m-mode analysis, and numerous others. This diversity of approach is a strength, but has also led to confusion within the community about whether insights gleaned by one group are applicable to teams working in different analysis frameworks. In this paper we show that all existing analysis proposals can be classified into two distinct families based on whether they estimate the power spectrum of the measured or reconstructed sky. This subtle difference in the statistical question posed largely determines the susceptibility of the analyses to foreground emission and calibration errors, and ultimately the science different analyses can pursue. In this paper we detail the origin of the two analysis families, categorize the analyses being actively developed, and explore their relative sensitivities to foreground contamination and calibration errors.


title: Named Entity Recognition on Twitter for Turkish using Semi-supervised Learning with Word Embeddings

abstract: Recently, due to the increasing popularity of social media, the necessity for extracting information from informal text types, such as microblog texts, has gained significant attention. In this study, we focused on the Named Entity Recognition (NER) problem on informal text types for Turkish. We utilized a semi-supervised learning approach based on neural networks. We applied a fast unsupervised method for learning continuous representations of words in vector space. We made use of these obtained word embeddings, together with language independent features that are engineered to work better on informal text types, for generating a Turkish NER system on microblog texts. We evaluated our Turkish NER system on Twitter messages and achieved better F-score performances than the published results of previously proposed NER systems on Turkish tweets. Since we did not employ any language dependent features, we believe that our method can be easily adapted to microblog texts in other morphologically rich languages.


title: Optimal construction of Koopman eigenfunctions for prediction and control

abstract: This work presents a novel data-driven framework for constructing eigenfunctions of the Koopman operator geared toward prediction and control. The method leverages the richness of the spectrum of the Koopman operator away from attractors to construct a rich set of eigenfunctions such that the state (or any other observable quantity of interest) is in the span of these eigenfunctions and hence predictable in a linear fashion. The eigenfunction construction is optimization-based with no dictionary selection required. Once a predictor for the uncontrolled part of the system is obtained in this way, the incorporation of control is done through a multi-step prediction error minimization, carried out by a simple linear least-squares regression. The predictor so obtained is in the form of a linear controlled dynamical system and can be readily applied within the Koopman model predictive control framework of [12] to control nonlinear dynamical systems using linear model predictive control tools. The method is entirely data-driven and based purely on convex optimization, with no reliance on neural networks or other non-convex machine learning tools. The novel eigenfunction construction method is also analyzed theoretically, proving rigorously that the family of eigenfunctions obtained is rich enough to span the space of all continuous functions. In addition, the method is extended to construct generalized eigenfunctions that also give rise Koopman invariant subspaces and hence can be used for linear prediction. Detailed numerical examples with code available online demonstrate the approach, both for prediction and feedback control.


title: A Perfect One-Factorisation of $K_{56}$

abstract: In 1963, Anton Kotzig conjectured that for each $n \geq 2$ the complete graph $K_{2n}$ has a perfect one-factorisation (i.e., a decomposition into perfect matchings such that each pair of perfect matchings of the decomposition induces a Hamilton cycle). We affirmatively settle the smallest unresolved case for this conjecture.


title: Security Services Using Blockchains: A State of the Art Survey

abstract: This article surveys blockchain-based approaches for several security services. These services include authentication, confidentiality, privacy, and access control list (ACL), data and resource provenance, and integrity assurance. All these services are critical for the current distributed applications, especially due to the large amount of data being processed over the networks and the use of cloud computing. Authentication ensures that the user is who he/she claims to be. Confidentiality guarantees that data cannot be read by unauthorized users. Privacy provides the users the ability to control who can access their data. Provenance allows an efficient tracking of the data and resources along with their ownership and utilization over the network. Integrity helps in verifying that the data has not been modified or altered. These services are currently managed by centralized controllers, for example, a certificate authority. Therefore, the services are prone to attacks on the centralized controller. On the other hand, blockchain is a secured and distributed ledger that can help resolve many of the problems with centralization. The objectives of this paper are to give insights on the use of security services for current applications, to highlight the state of the art techniques that are currently used to provide these services, to describe their challenges, and to discuss how the blockchain technology can resolve these challenges. Further, several blockchain-based approaches providing such security services are compared thoroughly. Challenges associated with using blockchain-based security services are also discussed to spur further research in this area.


title: Construction of certain rational functions on the moduli stack of Drinfeld shtukas

abstract: We construct certain rational functions (modular units) on the moduli stack of Drinfeld shtukas. The divisors of these rational functions are supported on horospherical divisors of the moduli stack. The key to our construction is a vanishing theorem for shtukas with zeros and poles satisfying certain conditions. Using deformation theory, we calculate the divisors of these rational functions.


title: Switchable plasmonic scattering of nanogaps for linewidth-tunable random lasing

abstract: Linewidth-tunable lasers have great application requirements in the fields of high-resolution spectroscopy, optical communications and other industry and scientific research. Here, the switchable plasmonic scattering of the metal particles with plenty of nanogaps is proposed as an effective method to achieve linewidth-tunable random lasers. By using the nonlinear optical effect of the environment medium, the metal particles demonstrate the transition from local scattering of nanogaps with high spatial frequency to traditional Mie scattering free from detail information with increasing the pump power density. Based on these two scattering processes, random lasers can be continuously driven from a narrow-linewidth configuration exhibiting nanogap effect dominated resonances to a broad-linewidth regime of collectively coupling oscillating among nanowires (or nanoflowers), demonstrating the dynamic range of linewidth exceeds two orders of magnitude. This phenomenon may provide a platform for further studying of the conclusive mechanism of random lasing and supply a new approach to tune the linewidth of random lasers for further applications in high-illumination imaging and biology detection.


title: The next-to-leading order corrections to $B \to \rho$ transition in the $k_T$ factorization

abstract: In this paper, we investigate the factorization hypothesis step by step for the exclusive process $B \to \rho$ at next-to-leading order (NLO) with the collinear factorization approach, and then we extend our results to the $k_T$ factorization frame. We show that the soft divergence from the specific NLO diagrams will cancel each other at the quark level, while the remaining collinear divergence can be absorbed into the NLO wave functions. The full NLO amplitudes can be factorized into two parts: the NLO $B$ and $\rho$ meson wave functions containing the collinear divergence and the leading order (LO) finite hard kernels. We give the general form of the nonlocal hadron matrix for the NLO $B$ and $\rho$ meson wave functions and all results of factorization for different twists' combinations.


title: Proceedings 18th Refinement Workshop

abstract: Refinement is one of the cornerstones of a formal approach to software engineering. Refinement is the process of developing a more detailed design or implementation from an abstract specification through a sequence of mathematically-based steps that maintain correctness with respect to the original specification. Work on the foundations of languages such as Z, B, VDM and CSP have led to their widespread use in certain industrial sectors, e.g., those with security or safety critical concerns. In addition to precise specification, formal methods also allow the possibility of precise and verifiable development, as captured by the concept of refinement. The 18th Refinement Workshop was held as part of FLoC 2018 at Oxford, UK.


title: Improving Multilingual Semantic Textual Similarity with Shared Sentence Encoder for Low-resource Languages

abstract: Measuring the semantic similarity between two sentences (or Semantic Textual Similarity - STS) is fundamental in many NLP applications. Despite the remarkable results in supervised settings with adequate labeling, little attention has been paid to this task in low-resource languages with insufficient labeling. Existing approaches mostly leverage machine translation techniques to translate sentences into rich-resource language. These approaches either beget language biases, or be impractical in industrial applications where spoken language scenario is more often and rigorous efficiency is required. In this work, we propose a multilingual framework to tackle the STS task in a low-resource language e.g. Spanish, Arabic , Indonesian and Thai, by utilizing the rich annotation data in a rich resource language, e.g. English. Our approach is extended from a basic monolingual STS framework to a shared multilingual encoder pretrained with translation task to incorporate rich-resource language data. By exploiting the nature of a shared multilingual encoder, one sentence can have multiple representations for different target translation language, which are used in an ensemble model to improve similarity evaluation. We demonstrate the superiority of our method over other state of the art approaches on SemEval STS task by its significant improvement on non-MT method, as well as an online industrial product where MT method fails to beat baseline while our approach still has consistently improvements.


title: The Case of the Missing Gates: Complexity of Jackiw-Teitelboim Gravity

abstract: The Jackiw-Teitelboim (JT) model arises from the dimensional reduction of charged black holes. Motivated by the holographic complexity conjecture, we calculate the late-time rate of change of action of a Wheeler-DeWitt patch in the JT theory. Surprisingly, the rate vanishes. This is puzzling because it contradicts both holographic expectations for the rate of complexification and also action calculations for charged black holes. We trace the discrepancy to an improper treatment of boundary terms when naively doing the dimensional reduction. Once the boundary term is corrected, we find exact agreement with expectations. We comment on the general lessons that this might hold for holographic complexity and beyond.


title: Some remarks on the correspondence between elliptic curves and four points in the Riemann sphere

abstract: In this paper we relate some classical normal forms for complex elliptic curves in terms of 4-point sets in the Riemann sphere. Our main result is an alternative proof that every elliptic curve is isomorphic as a Riemann surface to one in the Hesse normal form. In this setting, we give an alternative proof of the equivalence between the Edwards and the Jacobi normal forms. Also, we give a geometric construction of the cross ratios for 4-point sets in general position.


title: Quantifying the Burden of Exploration and the Unfairness of Free Riding

abstract: We consider the multi-armed bandit setting with a twist. Rather than having just one decision maker deciding which arm to pull in each round, we have $n$ different decision makers (agents). In the simple stochastic setting, we show that a "free-riding" agent observing another "self-reliant" agent can achieve just $O(1)$ regret, as opposed to the regret lower bound of $\Omega (\log t)$ when one decision maker is playing in isolation. This result holds whenever the self-reliant agent's strategy satisfies either one of two assumptions: (1) each arm is pulled at least $\gamma \ln t$ times in expectation for a constant $\gamma$ that we compute, or (2) the self-reliant agent achieves $o(t)$ realized regret with high probability. Both of these assumptions are satisfied by standard zero-regret algorithms. Under the second assumption, we further show that the free rider only needs to observe the number of times each arm is pulled by the self-reliant agent, and not the rewards realized. In the linear contextual setting, each arm has a distribution over parameter vectors, each agent has a context vector, and the reward realized when an agent pulls an arm is the inner product of that agent's context vector with a parameter vector sampled from the pulled arm's distribution. We show that the free rider can achieve $O(1)$ regret in this setting whenever the free rider's context is a small (in $L_2$-norm) linear combination of other agents' contexts and all other agents pull each arm $\Omega (\log t)$ times with high probability. Again, this condition on the self-reliant players is satisfied by standard zero-regret algorithms like UCB. We also prove a number of lower bounds.


title: MMLSpark: Unifying Machine Learning Ecosystems at Massive Scales

abstract: We introduce Microsoft Machine Learning for Apache Spark (MMLSpark), an ecosystem of enhancements that expand the Apache Spark distributed computing library to tackle problems in Deep Learning, Micro-Service Orchestration, Gradient Boosting, Model Interpretability, and other areas of modern computation. Furthermore, we present a novel system called Spark Serving that allows users to run any Apache Spark program as a distributed, sub-millisecond latency web service backed by their existing Spark Cluster. All MMLSpark contributions have the same API to enable simple composition across frameworks and usage across batch, streaming, and RESTful web serving scenarios on static, elastic, or serverless clusters. We showcase MMLSpark by creating a method for deep object detection capable of learning without human labeled data and demonstrate its effectiveness for Snow Leopard conservation.


title: Distribution of volume, microvoid percolation, and packing density in globular proteins

abstract: A fast and accurate grid-based method with low memory requirement is presented to calculate volume characteristics in molecular systems. The distribution of volume and packing density is characterized in globular proteins, where void space is decomposed into microvoid volume and cavities based on a spherical test probe with variable radius. A scan over test probe radius is mapped onto a site percolation problem for microvoid volume. Finite-size scaling is applied to determine critical exponents, which are found to be consistent with connectivity percolation exponents in three dimensions. Disparate results in the literature regarding packing density in the core of a protein compared to on its surface, and with respect to protein size, is elucidated in terms of microvoid volume within a unified implicit-solvent model. By parameterizing the model to match the results of explicit-solvent models that agree with experimental data, we verify that packing density within globular proteins is spatially uniform and independent of protein size.


title: Nonintrusive Stabilization of Reduced Order Models for Uncertainty Quantification of Time-Dependent Convection-Dominated Flows

abstract: In this paper, we propose a nonintrusive filter-based stabilization of reduced order models (ROMs) for uncertainty quantification (UQ) of the time-dependent Navier-Stokes equations in convection-dominated regimes. We propose a novel high-order ROM differential filter and use it in conjunction with an evolve-filter-relax algorithm to attenuate the numerical oscillations of standard ROMs. We also examine how stochastic collocation methods (SCMs) can be combined with the evolve-filter-relax algorithm for efficient UQ of fluid flows. We emphasize that the new stabilized SCM-ROM framework is nonintrusive and can be easily used in conjunction with legacy flow solvers. We test the new framework in the numerical simulation of a two-dimensional flow past a circular cylinder with a random viscosity that yields a random Reynolds number with mean $Re=100$.


title: Temporal Proximity induces Attributes Similarity

abstract: Users consume their favorite content in temporal proximity of consumption bundles according to their preferences and tastes. Thus, the underlying attributes of items implicitly match user preferences, however, current recommender systems largely ignore this fundamental driver in identifying matching items. In this work, we introduce a novel temporal proximity filtering method to enable items-matching. First, we demonstrate that proximity preferences exist. Second, we present an induced similarity metric in temporal proximity driven by user tastes and third, we show that this induced similarity can be used to learn items pairwise similarity in attribute space. The proposed model does not rely on any knowledge outside users' consumption bundles and provide a novel way to devise user preferences and tastes driven novel items recommender.


title: Dynamics of a Ferromagnetic Particle Levitated Over a Superconductor

abstract: Under conditions where the angular momentum of a ferromagnetic particle is dominated by intrinsic spin, applied torque is predicted to cause gyroscopic precession of the particle. If the particle is sufficiently isolated from the environment, a measurement of spin precession can potentially yield sensitivity to torque beyond the standard quantum limit. Levitation of a micron-scale ferromagnetic particle above a superconductor is a possible method of near frictionless suspension enabling observation of ferromagnetic particle precession and ultrasensitive torque measurements. We experimentally investigate the dynamics of a micron-scale ferromagnetic particle levitated above a superconducting niobium surface. We find that the levitating particles are trapped in potential minima associated with residual magnetic flux pinned by the superconductor and, using an optical technique, characterize the quasiperiodic motion of the particles in these traps.


title: Renormalized Normalized Maximum Likelihood and Three-Part Code Criteria For Learning Gaussian Networks

abstract: Score based learning (SBL) is a promising approach for learning Bayesian networks in the discrete domain. However, when employing SBL in the continuous domain, one is either forced to move the problem to the discrete domain or use metrics such as BIC/AIC, and these approaches are often lacking. Discretization can have an undesired impact on the accuracy of the results, and BIC/AIC can fall short of achieving the desired accuracy. In this paper, we introduce two new scoring metrics for scoring Bayesian networks in the continuous domain: the three-part minimum description length and the renormalized normalized maximum likelihood metric. We rely on the minimum description length principle in formulating these metrics. The metrics proposed are free of hyperparameters, decomposable, and are asymptotically consistent. We evaluate our solution by studying the convergence rate of the learned graph to the generating network and, also, the structural hamming distance of the learned graph to the generating network. Our evaluations show that the proposed metrics outperform their competitors, the BIC/AIC metrics. Furthermore, using the proposed RNML metric, SBL will have the fastest rate of convergence with the smallest structural hamming distance to the generating network.


title: Learning Models with Uniform Performance via Distributionally Robust Optimization

abstract: A common goal in statistics and machine learning is to learn models that can perform well against distributional shifts, such as latent heterogeneous subpopulations, unknown covariate shifts, or unmodeled temporal effects. We develop and analyze a distributionally robust stochastic optimization (DRO) framework that learns a model providing good performance against perturbations to the data-generating distribution. We give a convex formulation for the problem, providing several convergence guarantees. We prove finite-sample minimax upper and lower bounds, showing that distributional robustness sometimes comes at a cost in convergence rates. We give limit theorems for the learned parameters, where we fully specify the limiting distribution so that confidence intervals can be computed. On real tasks including generalizing to unknown subpopulations, fine-grained recognition, and providing good tail performance, the distributionally robust approach often exhibits improved performance.


title: Recent advances on the non-coherent band surgery model for site-specific recombination

abstract: Site-specific recombination is an enzymatic process where two sites of precise sequence and orientation along a circle come together, are cleaved, and the ends are recombined. Site-specific recombination on a knotted substrate produces another knot or a two-component link depending on the relative orientation of the sites prior to recombination. Mathematically, site-specific recombination is modeled as coherent (knot to link) or non-coherent (knot to knot) banding. We here survey recent developments in the study of non-coherent bandings on knots and discuss biological implications.


title: Non-exactness of direct products of quasi-coherent sheaves

abstract: For a noetherian scheme that has an ample family of invertible sheaves, we prove that direct products in the category of quasi-coherent sheaves are not exact unless the scheme is affine. This result can especially be applied to all quasi-projective schemes over commutative noetherian rings. The main tools of the proof are the Gabriel-Popescu embedding and Roos' characterization of Grothendieck categories satisfying Ab6 and Ab4*.


title: Left Ventricle Segmentation via Optical-Flow-Net from Short-axis Cine MRI: Preserving the Temporal Coherence of Cardiac Motion

abstract: Quantitative assessment of left ventricle (LV) function from cine MRI has significant diagnostic and prognostic value for cardiovascular disease patients. The temporal movement of LV provides essential information on the contracting/relaxing pattern of heart, which is keenly evaluated by clinical experts in clinical practice. Inspired by the expert way of viewing Cine MRI, we propose a new CNN module that is able to incorporate the temporal information into LV segmentation from cine MRI. In the proposed CNN, the optical flow (OF) between neighboring frames is integrated and aggregated at feature level, such that temporal coherence in cardiac motion can be taken into account during segmentation. The proposed module is integrated into the U-net architecture without need of additional training. Furthermore, dilated convolution is introduced to improve the spatial accuracy of segmentation. Trained and tested on the Cardiac Atlas database, the proposed network resulted in a Dice index of 95% and an average perpendicular distance of 0.9 pixels for the middle LV contour, significantly outperforming the original U-net that processes each frame individually. Notably, the proposed method improved the temporal coherence of LV segmentation results, especially at the LV apex and base where the cardiac motion is difficult to follow.


title: BCR-Net: a neural network based on the nonstandard wavelet form

abstract: This paper proposes a novel neural network architecture inspired by the nonstandard form proposed by Beylkin, Coifman, and Rokhlin in [Communications on Pure and Applied Mathematics, 44(2), 141-183]. The nonstandard form is a highly effective wavelet-based compression scheme for linear integral operators. In this work, we first represent the matrix-vector product algorithm of the nonstandard form as a linear neural network where every scale of the multiresolution computation is carried out by a locally connected linear sub-network. In order to address nonlinear problems, we propose an extension, called BCR-Net, by replacing each linear sub-network with a deeper and more powerful nonlinear one. Numerical results demonstrate the efficiency of the new architecture by approximating nonlinear maps that arise in homogenization theory and stochastic computation.


title: Property Graph Type System and Data Definition Language

abstract: Property graph manages data by vertices and edges. Each vertex and edge can have a property map, storing ad hoc attribute and its value. Label can be attached to vertices and edges to group them. While this schema-less methodology is very flexible for data evolvement and for managing explosive graph element, it has two shortcomings-- 1) data dependency 2) less compression. Both problems can be solved by a schema based approach. In this paper, a type system used to model property graph is defined. Based on the type system, the associated data definition language (DDL) is proposed and multiple graph instances created under this type system is discussed.


title: Distributed L1-state-and-fault estimation for Multi-agent systems

abstract: In this paper, we propose a distributed state-and-fault estimation scheme for multi-agent systems. The proposed estimator is based on an $\ell_1$-norm optimization problem, which is inspired by sparse signal recovery in the field of compressive sampling. Two theoretical results are given to analyze the correctness of the proposed approach. First, we provide a necessary and sufficient condition such that state and fault signals are correctly estimated. The result presents a fundamental limitation of the algorithm, which shows how many faulty nodes are allowed to ensure a correct estimation. Second, we provide a sufficient condition for the estimation error of fault signals when numerical errors of solving the optimization problem are present. An illustrative example is given to validate the effectiveness of the proposed approach.


title: Shapes and paths of an air bubble rising in quiescent liquids

abstract: Shapes and paths of an air bubble rising inside a liquid are investigated experimentally. About three hundred experiments are conducted in order to generate a phase plot in the Galilei and Eotvos numbers plane, which separates distinct regimes in terms of bubble behaviour. A wide range of the Galilei and Eotvos numbers are obtained by using aqueous glycerol solutions of different concentrations as the surrounding fluid, and by varying the bubble size. The dynamics is investigated in terms of shapes, topological changes and trajectories of the bubbles. Direct numerical simulations are conducted to study the bubble dynamics, which show excellent agreement with the experiments. To the best of our knowledge, this is the first time an experimentally obtained phase plot showing the distinct behaviour of an air bubble rising in a quiescent medium is reported for such a large range of Galilei and Eotvos numbers.


title: Reconstructing 3D Motion Trajectory of Large Swarm of Flying Objects

abstract: This paper addresses the problem of reconstructing the motion trajectories of the individuals in a large collection of flying objects using two temporally synchronized and geometrically calibrated cameras. The 3D trajectory reconstruction problem involves two challenging tasks - stereo matching and temporal tracking. Existing methods separate the two and process them one at a time sequentially, and suffer from frequent irresolvable ambiguities in stereo matching and in tracking. We unify the two tasks, and propose an optimization approach to solving stereo matching and temporal tracking simultaneously. It treats 3D trajectory acquisition problem as selecting appropriate stereo correspondence out of all possible ones for each object via minimizing a cost function. Experiment results show that the proposed method offers significant performance advantage over existing approaches. The proposed method has successfully been applied to reconstruct 3D motion trajectories of hundreds of simultaneously flying fruit flies (Drosophila Melanogaster), which could facilitate the study the insect's collective behavior.


title: Design of robust H_inf fuzzy output feedback controller for affine nonlinear systems:Fuzzy Lyapunov function approach

abstract: In this paper, we propose a new systematic approach based on nonquadratic Lyapunov function and technique of introducing slack matrices, for a class of affine nonlinear systems with disturbance. To achieve the goal, first, the affine nonlinear system is represented via Takagi-Sugeno (T-S) fuzzy bilinear model. Subsequently, the robust H_inf controller is designed based on parallel distributed compensation (PDC) scheme. Then, the stability conditions are derived in terms of linear matrix inequalities (LMIs) by utilizing Lyapunov function. Moreover, some slack matrices are proposed to reduce the conservativeness of the LMI stability conditions. Finally, for illustrating the merits and verifying the effectiveness of the proposed approach, the application of an isothermal continuous stirred tank reactor (CSTR) for Van de Vusse reactor is discussed in details.


title: Polyregular Functions

abstract: This paper is about certain string-to-string functions, called the polyregular functions. These are like the regular string-to-string functions, except that they can have polynomial (and not just linear) growth. The class has four equivalent definitions: 1. deterministic two-way transducers with pebbles; 2 the smallest class of string-to-string functions that is closed under composition, contains all sequential functions as well as two extra functions called squaring and iterated reverse 3. a fragment of the lambda-calculus, which has a list type constructor and limited forms of iteration such as map but not fold; 4. an imperative programming language, which has for loops that range over input positions. The first definition comes from [milo2003typechecking], while the remaining three are new to the author's best knowledge. The class of polyregular functions contains known classes of string-to-string transducers, such as the sequential, rational, or regular ones, but goes beyond them because of super-linear growth. Polyregular functions have good algorithmic properties, such as: - the output can be computed in linear time (in terms of combined input and output size); - the inverse image of a regular word language is (effectively) regular. We also identify a fragment of polyregular functions, called the first-order polyregular functions, which has additional good properties, e.g. the output can be computed by an AC0 circuit.


title: Nonreciprocal Phonon Laser

abstract: We propose nonreciprocal phonon lasing in a coupled cavity system composed of an optomechanical and a spinning resonator. We show that the optical Sagnac effect leads to significant modifications in both the mechanical gain and the power threshold for phonon lasing. More importantly, the phonon lasing in this system is unidirectional, that is the phonon lasing takes place when the coupled system is driven in one direction but not the other. Our work establishes the potential of spinning optomechanical devices for low-power mechanical isolation and unidirectional amplification. This provides a new route, well within the reach of current experimental abilities, to operate cavity optomechanics devices for such a wide range of applications as directional phonon switches, invisible sound sensing, and topological or chiral acoustics.


title: Geometry of generated groups with metrics induced by their Cayley color graphs

abstract: Let $G$ be a group and let $S$ be a generating set of $G$. In this article, we introduce a metric $d_C$ on $G$ with respect to $S$, called the cardinal metric. We then compare geometric structures of $(G, d_C)$ and $(G, d_W)$, where $d_W$ denotes the word metric. In particular, we prove that if $S$ is finite, then $(G, d_C)$ and $(G, d_W)$ are not quasi-isometric in the case when $(G, d_W)$ has infinite diameter and they are bi-Lipschitz equivalent otherwise. We also give an alternative description of cardinal metrics by using Cayley color graphs. It turns out that color-permuting and color-preserving automorphisms of Cayley digraphs are isometries with respect to cardinal metrics.


title: There is a $+$-Ramsey \textsf{MAD} family

abstract: We answer an old question of Michael Hru\v{s}\'{a}k by constructing a $+$-Ramsey \textsf{MAD} family without the need of any additional axioms beyond $\mathsf{ZFC.}$ We also prove that every Miller-indestructible \textsf{MAD }family is $+$-Ramsey, this improves a result of Michael Hru\v{s}\'{a}k.


title: Transitions in spatial networks

abstract: Networks embedded in space can display all sorts of transitions when their structure is modified. The nature of these transitions (and in some cases crossovers) can differ from the usual appearance of a giant component as observed for the Erdos-Renyi graph, and spatial networks display a large variety of behaviors. We will discuss here some (mostly recent) results about topological transitions, `localization' transitions seen in the shortest paths pattern, and also about the effect of congestion and fluctuations on the structure of optimal networks. The importance of spatial networks in real-world applications makes these transitions very relevant and this review is meant as a step towards a deeper understanding of the effect of space on network structures.


title: Attribute-aware Collaborative Filtering: Survey and Classification

abstract: Attribute-aware CF models aims at rating prediction given not only the historical rating from users to items, but also the information associated with users (e.g. age), items (e.g. price), or even ratings (e.g. rating time). This paper surveys works in the past decade developing attribute-aware CF systems, and discovered that mathematically they can be classified into four different categories. We provide the readers not only the high level mathematical interpretation of the existing works in this area but also the mathematical insight for each category of models. Finally we provide in-depth experiment results comparing the effectiveness of the major works in each category.


title: Superionic hydrogen in Earth's deep interior

abstract: Superionic hydrogen was previously thought to be an exotic state predicted and confirmed only in pure H2O ice. In Earth's deep interior, H2O exists in the form of O-H groups in ultra-dense hydrous minerals, which have been proved to be stable even at the conditions of the core-mantle boundary (CMB). However, the superionic states of these hydrous minerals at high P-T have not been investigated. Using first-principles calculations, we found that pyrite structured FeO2Hx (0 <= x <= 1) and d-AlOOH, which have been proposed to be major hydrogen-bearing phases in the deep lower mantle (DLM), contain superionic hydrogen at high P-T conditions. Our observations indicate a universal pathway of the hydroxyl O-H at low pressure transforming to symmetrical O-H-O bonding at high-P low-T, and a superionic state at high-P high-T. The superionicity of hydrous minerals has a major impact on the electrical conductivity and hydrogen transportation behaviors of Earth's lower mantle as well as the CMB.


title: NOON state generation with phonons in acoustic wave resonators assisted by a nitrogen-vacancy-center ensemble

abstract: Since the quality factor of an acoustic wave resonator (AWR) reached $10^{11}$, AWRs have been regarded as a good carrier of quantum information. In this paper, we propose a scheme to construct a NOON state with two AWRs assisted by a nitrogen-vacancy-center ensemble (NVE). The two AWRs cross each other vertically, and the NVE is located at the center of the crossing. By considering the decoherence of the system and using resonant interactions between the AWRs and the NVE, and the single-qubit operation of the NVE, a NOON state can be achieved with a fidelity higher than $98.8\%$ when the number of phonons in the AWR is $N \le 3$.


title: MEMC-Net: Motion Estimation and Motion Compensation Driven Neural Network for Video Interpolation and Enhancement

abstract: Motion estimation (ME) and motion compensation (MC) have been widely used for classical video frame interpolation systems over the past decades. Recently, a number of data-driven frame interpolation methods based on convolutional neural networks have been proposed. However, existing learning based methods typically estimate either flow or compensation kernels, thereby limiting performance on both computational efficiency and interpolation accuracy. In this work, we propose a motion estimation and compensation driven neural network for video frame interpolation. A novel adaptive warping layer is developed to integrate both optical flow and interpolation kernels to synthesize target frame pixels. This layer is fully differentiable such that both the flow and kernel estimation networks can be optimized jointly. The proposed model benefits from the advantages of motion estimation and compensation methods without using hand-crafted features. Compared to existing methods, our approach is computationally efficient and able to generate more visually appealing results. Furthermore, the proposed MEMC-Net can be seamlessly adapted to several video enhancement tasks, e.g., super-resolution, denoising, and deblocking. Extensive quantitative and qualitative evaluations demonstrate that the proposed method performs favorably against the state-of-the-art video frame interpolation and enhancement algorithms on a wide range of datasets.


title: Trapping single atoms on a nanophotonic circuit with configurable tweezer lattices

abstract: Trapped atoms near nanophotonics form an exciting platform for bottom-up synthesis of strongly interacting quantum matter. The ability to induce tunable long-range atom-atom interactions with photons presents an opportunity to explore many-body physics and quantum optics. Here we implement a configurable optical tweezer array over a planar photonic circuit tailored for cold atom integration and control for trapping and high-fidelity imaging of one or more atoms in an array directly on a photonic structure. Using an optical conveyor belt formed by a moving optical lattice within a tweezer potential, we show that single atoms can be transported from a reservoir into close proximity of a photonic interface, potentially allowing for the synthesis of a defect-free atom-nanophotonic hybrid lattice. Our experimental platform can be integrated with generic planar photonic waveguides and resonators, promising a pathway towards on-chip many-body quantum optics and applications in quantum technology.


title: Sequential Context Encoding for Duplicate Removal

abstract: Duplicate removal is a critical step to accomplish a reasonable amount of predictions in prevalent proposal-based object detection frameworks. Albeit simple and effective, most previous algorithms utilize a greedy process without making sufficient use of properties of input data. In this work, we design a new two-stage framework to effectively select the appropriate proposal candidate for each object. The first stage suppresses most of easy negative object proposals, while the second stage selects true positives in the reduced proposal set. These two stages share the same network structure, \ie, an encoder and a decoder formed as recurrent neural networks (RNN) with global attention and context gate. The encoder scans proposal candidates in a sequential manner to capture the global context information, which is then fed to the decoder to extract optimal proposals. In our extensive experiments, the proposed method outperforms other alternatives by a large margin.


title: Image Inpainting via Generative Multi-column Convolutional Neural Networks

abstract: In this paper, we propose a generative multi-column network for image inpainting. This network synthesizes different image components in a parallel manner within one stage. To better characterize global structures, we design a confidence-driven reconstruction loss while an implicit diversified MRF regularization is adopted to enhance local details. The multi-column network combined with the reconstruction and MRF loss propagates local and global information derived from context to the target inpainting regions. Extensive experiments on challenging street view, face, natural objects and scenes manifest that our method produces visual compelling results even without previously common post-processing.


title: Using QCD Counting rules to Identify the Production of Gluonium

abstract: The empirical identification of bound states of gluons has remained a central goal of hadron spectroscopy. We suggest an experimentally challenging, but model--independent way to assess which zero charge, isospin-zero mesons have a large gluonium light-front wavefunction component in the quark and gluon Fock space of QCD. Our method exploits QCD counting rules which relate the power-law fall-off of production amplitudes at high momentum transfer to the meson's twist (dimension minus spin of its minimum interpolating operators). Scalar $0^+$ glueballs composed of two valence gluons with zero internal orbital angular momentum have twist $\tau=2$. In contrast, quark-antiquark $|q \bar q \rangle $ scalar mesons have twist $\tau \ge 3$ since they have nonzero orbital angular momentum, and multi-quark states such as $|q q \bar q \bar q \rangle$ tetraquarks yield twist $\tau \ge 4$. Thus, the production cross section for both $|q\bar{q}\rangle$ and $|qq\bar{q}\bar{q}\rangle$ mesons will be suppressed by at least one power of momentum transfer relative to glueball production. For example, in single inclusive particle hadroproduction $ A B \to C X$, the cross section for glueball production at high transverse momentum $p_T$ and fixed $x_T = 2 {p_T\over \sqrt s} $ will dominate higher twist mesons by at least two powers of $p_T$. Similarly, in exclusive production processes at large CM energy and fixed CM angle, the glueball rate dominates by a power of $s$: we illustrate the method with a simple reaction, $e^-e^+ \to \phi f_0$ where the $f_0$ can be tested to be a glueball versus another type of scalar meson.


title: Total mixed domination in graphs

abstract: For a graph $G=(V,E)$, we call a subset $ S\subseteq V \cup E$ a total mixed dominating set of $G$ if each element of $V \cup E$ is either adjacent or incident to an element of $S$, and the total mixed domination number $\gamma_{tm}(G)$ of $G$ is the minimum cardinality of a total mixed dominating set of $G$. In this paper, we initiate to study the total mixed domination number of a connected graph by giving some tight bounds in terms of some parameters such as order and total domination numbers of the graph and its line graph. Then we discuss on the relation between total mixed domination number of a graph and its diameter. Studing of this number in trees is our next work. Also we show that the total mixed domination number of a graph is equale to the total domination number of a graph which is obtained by the graph. Giving the total mixed domination numbers of some special graphs is our last work.


title: Improved Techniques for GAN based Facial Inpainting

abstract: In this paper we present several architectural and optimization recipes for generative adversarial network(GAN) based facial semantic inpainting. Current benchmark models are susceptible to initial solutions of non-convex optimization criterion of GAN based inpainting. We present an end-to-end trainable parametric network to deterministically start from good initial solutions leading to more photo realistic reconstructions with significant optimization speed up. For the first time, we show how to efficiently extend GAN based single image inpainter models to sequences by a)learning to initialize a temporal window of solutions with a recurrent neural network and b)imposing a temporal smoothness loss(during iterative optimization) to respect the redundancy in temporal dimension of a sequence. We conduct comprehensive empirical evaluations on CelebA images and pseudo sequences followed by real life videos of VidTIMIT dataset. The proposed method significantly outperforms current GAN based state-of-the-art in terms of reconstruction quality with a simultaneous speedup of over 15$\times$. We also show that our proposed model is better in preserving facial identity in a sequence even without explicitly using any face recognition module during training.


title: Tikhonov regularization with l^0-term complementing a convex penalty: l^1 convergence under sparsity constraints

abstract: Measuring the error by an l^1-norm, we analyze under sparsity assumptions an l^0-regularization approach, where the penalty in the Tikhonov functional is complemented by a general stabilizing convex functional. In this context, ill-posed operator equations Ax = y with an injective and bounded linear operator A mapping between l^2 and a Banach space Y are regularized. For sparse solutions, error estimates as well as linear and sublinear convergence rates are derived based on a variational inequality approach, where the regularization parameter can be chosen either a priori in an appropriate way or a posteriori by the sequential discrepancy principle. To further illustrate the balance between the l^0-term and the complementing convex penalty, the important special case of the l^2-norm square penalty is investigated showing explicit dependence between both terms. Finally, some numerical experiments verify and illustrate the sparsity promoting properties of corresponding regularized solutions.


title: 2-Morse Theory and the Algebra of the Infrared

abstract: We develop the formal analogue of the Morse theory for a pair of commuting gradient-like vector fields. The resulting algebraic formalism turns out to be very similar to the algebra of the infrared of Gaiotto, Moore and Witten (see [GMW], [KKS]): from a manifold M with the pair of gradient-like commuting vector fields, subject to some general position conditions we construct an L_$\infty$-algebra and Maurer-Cartan element in it. We also provide Morse-theoretic examples for the algebra of the infrared data.


title: Electron Mass Enhancement near a Nematic Quantum Critical Point in NaFe$_{1-x}$Co$_{x}$As

abstract: A magnetic order can be completely suppressed at zero temperature($T$), by doping carriers or applying pressure, at a quantum critical point(QCP), around which physical properties change drastically. However, the situation is unclear for an electronic nematic order that breaks rotation symmetry. Here we report nuclear magnetic resonance(NMR) studies on NaFe$_{1-x}$Co$_{x}$As where magnetic and nematic transitions are well separated. The NMR spectrum is sensitive to inhomogeneous magnetic fields in the vortex state, which is related to London penetration depth $\lambda_{\rm L}$ that measures the electron mass $m^*$. We discovered two peaks in the doping dependence of $\lambda_{\rm L}^2$($T\sim$0); one at $x_{\rm M}$=0.027 where the spin-lattice relaxation rate shows quantum critical behavior, and another at $x_{\rm c}$=0.032 around which the nematic transition temperature extrapolates to zero and the electrical resistivity shows a $T$-linear variation. Our results indicate that a nematic QCP lies beneath the superconducting dome at $x_{\rm c}$ where $m^*$ is enhanced. The impact of the nematic fluctuations on superconductivity is discussed.


title: Marginal models with individual-specific effects for the analysis of longitudinal bipartite networks

abstract: A new modeling framework for bipartite social networks arising from a sequence of partially time-ordered relational events is proposed. We directly model the joint distribution of the binary variables indicating if each single actor is involved or not in an event. The adopted parametrization is based on first- and second-order effects, formulated as in marginal models for categorical data and free higher order effects. In particular, second-order effects are log-odds ratios with meaningful interpretation from the social perspective in terms of tendency to cooperate, in contrast to first-order effects interpreted in terms of tendency of each single actor to participate in an event. These effects are parametrized on the basis of the event times, so that suitable latent trajectories of individual behaviors may be represented. Inference is based on a composite likelihood function, maximized by an algorithm with numerical complexity proportional to the square of the number of units in the network. A classification composite likelihood is used to cluster the actors, simplifying the interpretation of the data structure. The proposed approach is illustrated on a dataset of scientific articles published in four top statistical journals from 2003 to 2012.


title: Evidence for Intra-Unit Cell Magnetism in Superconducting Cuprates: a Technical Assessment

abstract: Intra unit cell (IUC) magnetic order observed by polarized neutron diffraction (PND) is one of the hallmarks of the pseudogap state of high-temperature copper oxide superconductors. This experimental observation, usually interpreted as a result of loop currents, has been recently challenged based on lower statistics data. We here address the crucial issue of polarization inhomogeneities in the neutron beams showing that the original data had a much better reproducibilty. Within these technical limitations, we here propose a self-consistent analysis that potentially solves the controversy. We show that all the reported PND experiments in superconducting cuprates are actually compatible with the existence of an IUC magnetism.


title: Charged black holes in higher-dimensional Eddington-inspired Born-Infeld gravity

abstract: We study static (electrically)-charged solutions of Eddington-inspired Born-Infeld (EiBI) theory of gravity in general $D$-dimensional spacetime. We consider both linear (Maxwell) as well as nonlinear electrodynamics for the matter fields. In this particular work, the nonlinear theory we specifically consider is the Born-Infeld electrodynamics. The solutions describe higher-dimensional black holes in EiBI gravity. For the linear Maxwell field, we show that the electric field is still singular for $D>4$. This singularity is cured when EiBI is coupled to the BI electrodynamics. We obtain EiBI-BI black hole solutions in the limit of ${\tilde\alpha}\equiv4\kappa b^2/\lambda=1$ and $2$. We also investigate their thermodynamical property. It is found that $\kappa$ imposes a charge screening that makes the corresponding Hawking temperature experiences some sudden jump from charged-type to the Schwarzschild-type at some critical value of $\kappa$. Thermodynamical stability reveals that the EiBI-BI black holes can exist with smaller horizon than the RN.


title: A remark on commutative subalgebras of Grassmann algebra

abstract: Let $n=4k+1$ and $k\geq 4$. We show that there exists maximal commutative subalgebras (with respect to inclusion) of dimension less that $3\cdot 2^{n-2}$.


title: Collective Learning From Diverse Datasets for Entity Typing in the Wild

abstract: Entity typing (ET) is the problem of assigning labels to given entity mentions in a sentence. Existing works for ET require knowledge about the domain and target label set for a given test instance. ET in the absence of such knowledge is a novel problem that we address as ET in the wild. We hypothesize that the solution to this problem is to build supervised models that generalize better on the ET task as a whole, rather than a specific dataset. In this direction, we propose a Collective Learning Framework (CLF), which enables learning from diverse datasets in a unified way. The CLF first creates a unified hierarchical label set (UHLS) and a label mapping by aggregating label information from all available datasets. Then it builds a single neural network classifier using UHLS, label mapping, and a partial loss function. The single classifier predicts the finest possible label across all available domains even though these labels may not be present in any domain-specific dataset. We also propose a set of evaluation schemes and metrics to evaluate the performance of models in this novel problem. Extensive experimentation on seven diverse real-world datasets demonstrates the efficacy of our CLF.


title: Is Blockchain Hashing an Effective Method for Electronic Governance?

abstract: Governments across the world are testing different uses of the blockchain for the delivery of their public services. Blockchain hashing - or the insertion of data in the blockchain - is one of the potential applications of the blockchain in this space. With this method, users can apply special scripts to add their data to blockchain transactions, ensuring both immutability and publicity. Blockchain hashing also secures the integrity of the original data stored on central governmental databases. The paper starts by analysing possible scenarios of hashing on the blockchain and assesses in which cases it may work and in which it is less likely to add value to a public administration. Second, the paper also compares this method with traditional digital signatures using PKI (Public Key Infrastructure) and discusses standardisation in each domain. Third, it also addresses issues related to concepts such as distributed ledger technology and permissioned blockchains. Finally, it raises the question of whether blockchain hashing is an effective solution for electronic governance, and concludes that its value is controversial, even if it is improved by PKI and other security measures. In this regard, we claim that governments need first to identify pain points in governance, and then consider the trade-offs of the blockchain as a potential solution versus other alternatives.


title: Polyhedral divisors of affine trinomial hypersurfaces

abstract: We find polyhedral divisors corresponding to the torus action of complexity one on affine trinomial hypersurfaces. Explicit computations for particular classes of such hypersurfaces including Pham-Brieskorn surfaces and rational trinomial hypersurfaces are given.


title: Reversible magnetomechanical collapse: virtual touching and detachment of rigid inclusions in a soft elastic matrix

abstract: Soft elastic composite materials containing particulate rigid inclusions in a soft elastic matrix are candidates for developing soft actuators or tunable damping devices. The possibility to reversibly drive the rigid inclusions within such a composite together to a close-to-touching state by an external stimulus would offer important benefits. Then, a significant tuning of the mechanical properties could be achieved due to the resulting mechanical hardening. For a long time, it has been argued whether a virtual touching of the embedded magnetic particles with subsequent detachment can actually be observed in real materials, and if so, whether the process is reversible. Here, we present experimental results that demonstrate this phenomenon in reality. Our system consists of two paramagnetic nickel particles embedded at finite initial distance in a soft elastic polymeric gel matrix. Magnetization in an external magnetic field tunes the magnetic attraction between the particles and drives the process. We quantify the scenario by different theoretical tools, i.e., explicit analytical calculations in the framework of linear elasticity theory, a projection onto simplified dipole-spring models, as well as detailed finite-element simulations. From these different approaches, we conclude that in our case the cycle of virtual touching and detachment shows hysteretic behavior due to the mutual magnetization between the paramagnetic particles. Our results are important for the design and construction of reversibly tunable mechanical damping devices. Moreover, our projection on dipole-spring models allows the formal connection of our description to various related systems, e.g., magnetosome filaments in magnetotactic bacteria.


title: Concepts of Phenomenological Irreversible Quantum Thermodynamics I: Closed Undecomposed Schottky Systems in Semi-classical Description

abstract: If the von Neumann equation is modified by time dependent statistical weights, the time rate of entropy, the entropy exchange and production of a Schottky system are derived whose Hamiltonian does not contain the interaction with the system's environment. This interaction is semi-classically described by the quantum theoretical expressions of power- and entropy exchange.


title: On the drag of freely falling non-spherical particles

abstract: We present a new general model for the prediction of the drag coefficient of non-spherical solid particles of regular and irregular shapes falling in gas or liquid valid for sub-critical particle Reynolds numbers (i.e. $Re < 3 \times 10^5$). Results are obtained from experimental measurements on 300 regular and irregular particles in the air and analytical solutions for ellipsoids. Depending on their size, irregular particles are accurately characterized with a 3D laser scanner or SEM micro-CT method. The experiments are carried out in settling columns with height of 0.45 to 3.60m and in a 4m-high vertical wind tunnel. In addition, $881$ additional experimental data points are also considered that are compiled from the literature for particles of regular shapes falling in liquids. New correlation is based on the particle Reynolds number and two new shape descriptors defined as a function of particle flatness, elongation and diameter. New shape descriptors are easy-to-measure and can be more easily characterized than sphericity. The new correlation has an average error of $\sim 10\%$, which is significantly lower than errors associated with existing correlations. Additional aspects of particle sedimentation is also investigated. First, it is found that particles falling in dense liquids, in particular at $Re>1000$, tend to fall with their maximum projection area perpendicular to their falling direction, whereas in gases their orientation is random. Second, effects of small-scale surface vesicularity and roughness on the drag coefficient of non-spherical particles found to be $<10\%$. Finally, the effect of particle orientation on the drag coefficient is discussed and additional correlations are presented to predict the end members of drag coefficient due to change in the particle orientation.


title: Stochastic representation of solution to nonlocal-in-time diffusion

abstract: The aim of this paper is to give a stochastic representation for the solution to a natural extension of the Caputo-type evolution equation. The nonlocal-in-time operator is defined by a hypersingular integral with a (possibly time-dependent) kernel function, and it results in a model which serves a bridge between normal diffusion and anomalous diffusion. We derive the stochastic representation for the weak solution of the nonlocal-in-time problem in case of nonsmooth data. We do so by starting from an auxiliary Caputo-type evolution equation with a specific forcing term. Numerical simulations are also provided to support our theoretical results.


title: Phototransistor-like Light Controllable IoT Sensor based on Series-connected RGB LEDs

abstract: An IoT optical sensor based on the series-connected RGB LEDs is designed, which exhibits the light-controllable optical-to-electrical response like a phototransistor. The IoT sensor has the maximal AC and DC responsivities to the violet light mixed by blue and red light. Its responsivity to the blue light is programmable by the impinging red or green light. A theoretical model based on the light-dependent impedance is developed to interpret its novel optoelectronic response. Such IoT sensor can simultaneously serve as the transmitter and the receiver in the IoT optical communication network, thus significantly reduces the system complexity.


title: Unpinning the skyrmion lattice in MnSi:Effect of substitutional disorder

abstract: By employing magnetization and small angle neutron scattering (SANS) measurements, we have investigated the behavior of the skyrmion lattice (SKL) and the helical order in MnSi0.992Ga0.008. Our results indicate that the order of the SKL is sensitive to the orientation of an applied magnetic field with respect to the crystal lattice and small variations in the sequence of temperature and applied magnetic field changes. The disorder caused by the substitution of the heavier element Ga for Si is sufficient to reduce the pinning of the SKL to the underlying crystalline lattice. This reduces the propensity for the SKL to be aligned with the crystal lattice. This tendency is most evident when the applied field is not well oriented with respect to the high symmetry axes of the crystal resulting in disorder in the long range SKL while maintaining sharp radial order. We have also investigated the effect of substituting heavier elements into MnSi on the reorientation process of the helical domains with field cycling in MnSi0.992Ga0.008 and Mn0.985Ir0.015Si. A comparison of the reorientation process in these materials with field reduction indicates that the substitution of heavier elements on either Mn or Si sites creates a higher energy barrier for the reorientation of the helical order and for the formation of domains.


title: A defensive marginal particle filtering method for data assimilation

abstract: Particle filtering (PF) is an often used method to estimate the states of dynamical systems. A major limitation of the standard PF method is that the dimensionality of the state space increases as the time proceeds and eventually may cause degeneracy of the algorithm. A possible approach to alleviate the degeneracy issue is to compute the marginal posterior distribution at each time step, which leads to the so-called marginal PF method. A key issue in the marginal PF method is to construct a good sampling distribution in the marginal space. When the posterior distribution is close to Gaussian, the Ensemble Kalman filter (EnKF) method can usually provide a good sampling distribution; however the EnKF approximation may fail completely when the posterior is strongly non-Gaussian. In this work we propose a defensive marginal PF (DMPF) algorithm which constructs a sampling distribution in the marginal space by combining the standard PF and the EnKF approximation using a multiple importance sampling (MIS) scheme. An important feature of the proposed algorithm is that it can automatically adjust the relative weight of the PF and the EnKF components in the MIS scheme in each step, according to how non-Gaussian the posterior is. With numerical examples we demonstrate that the proposed method can perform well regardless of whether the posteriors can be well approximated by Gaussian.


title: Separation profiles of graphs of fractals

abstract: We continue the exploration of the relationship between conformal dimension and the separation profile by computing the separation of families of spheres in hyperbolic graphs whose boundaries are standard Sierpi\'nski carpets and Menger sponges. In all cases, we show that the separation of these spheres is $n^{\frac{d-1}{d}}$ for some $d$ which is strictly smaller than the conformal dimension, in contrast to the case of rank 1 symmetric spaces of dimension $\geq 3$. The value of $d$ obtained naturally corresponds to a previously known lower bound on the conformal dimension of the associated fractal.


title: On cosmic strings, infinite line-masses and conformal invariance

abstract: We investigate the conformal invariant Lagrangian of the self-gravitating U(1) scalar-gauge field and find new features of the model on the time-dependent axially symmetric Bondi-Marder spacetime. By considering the conformal symmetry as exact at the level of the Lagrangian and broken in the vacuum, a consistent model is found with an exact solution of the vacuum Bondi-Marder spacetime $g_{\mu\nu}=\omega^2 \bar g_{\mu\nu}$, where $\omega$ is the conformal factor and $\bar g_{\mu\nu}$ the `un-physical` spacetime. If we try to match this vacuum solution onto the interior vortex solution of the coupled Einstein-scalar-gauge field, we need, besides the matching conditions, constraint equations in order to obtain a topological regular description of the small-scale behaviour of the model. Probably, one needs the five-dimensional warped counterpart model, where the 5D dilaton field act as a warp factor. Moreover, the tracelessness of the energy-momentum tensor could then be maintained by a contribution from the bulk.


title: Data-Driven Modelling of the Reynolds Stress Tensor using Random Forests with Invariance

abstract: A novel machine learning algorithm is presented, serving as a data-driven turbulence modeling tool for Reynolds Averaged Navier-Stokes (RANS) simulations. This machine learning algorithm, called the Tensor Basis Random Forest (TBRF), is used to predict the Reynolds-stress anisotropy tensor, while guaranteeing Galilean invariance by making use of a tensor basis. By modifying a random forest algorithm to accept such a tensor basis, a robust, easy to implement, and easy to train algorithm is created. The algorithm is trained on several flow cases using DNS/LES data, and used to predict the Reynolds stress anisotropy tensor for new, unseen flows. The resulting predictions of turbulence anisotropy are used as a turbulence model within a custom RANS solver. Stabilization of this solver is necessary, and is achieved by a continuation method and a modified $k$-equation. Results are compared to the neural network approach of Ling et al. [J. Fluid Mech, 807(2016):155-166, (2016)]. Results show that the TBRF algorithm is able to accurately predict the anisotropy tensor for various flow cases, with realizable predictions close to the DNS/LES reference data. Corresponding mean flows for a square duct flow case and a backward facing step flow case show good agreement with DNS and experimental data-sets. Overall, these results are seen as a next step towards improved data-driven modelling of turbulence. This creates an opportunity to generate custom turbulence closures for specific classes of flows, limited only by the availability of LES/DNS data.


title: Multi-pass amplifiers with self-compensation of the thermal lens

abstract: We present a novel architecture for a multi-pass amplifier based on a succession of optical Fourier transforms and short propagations that shows a superior stability for variations of the thermal lens compared to state-of-the-art 4f-based amplifiers. We found that the proposed multi-pass amplifier is robust to variations of the active medium dioptric power. The superiority of the proposed architecture is demonstrated by analyzing the variations of the size and divergence of the output beam in form of a Taylor expansion around the design value for variations of the thermal lens in the active medium. The dependence of the output beam divergence and size is investigated also for variations of the number of passes, for aperture effects in the active medium and as a function of the size of the beam on the active medium. This architecture makes efficient use of the transverse beam filtering inherent in the active medium to deliver a beam with excellent quality (TEM00) without additional losses.


title: Creeping flow of micropolar fluid parallel to the axis of cylindrical cells with porous layer

abstract: The present paper considers the flow of micropolar fluid through a membrane modeled as a swarm of solid cylindrical particles with porous layer using the cell model technique. Traditional boundary conditions on hypothetical cell surface were added with an additional condition: the no spin condition / no couple stress condition. Expressions for velocity and microrotation vector components have been obtained analytically. Effect of various parameters such as particle volume fraction, permeability parameter, micropolarity number etc. on hydrodynamic permeability of membrane has been discussed.