title: Energetics of mixing for the filling box and the emptying-filling box

abstract: The mixing efficiency of a plume in a filling box and an emptying-filling box is calculated for both transient and steady states. The mixing efficiency of a plume in a filling box in an asymptotic steady state is 1/2, independent of the details of this state or how the plume is modelled. The mixing efficiency of a plume in an emptying-filling box in steady state is 1 - xi, where xi = h/H, the depth of the ambient layer h non-dimensionalised by the height of the box H. A deeper mixed layer therefore corresponds to a higher mixing efficiency.


title: Strong field QED in lepton colliders and electron/laser interactions

abstract: Studies of strong field particle physics processes in electron/laser interactions and lepton collider interaction points are reviewed. These processes are defined by the high intensity of the electromagnetic fields involved and the need to take them into account as fully as possible. The main theoretical framework considered is the Furry picture. In this framework, the influence of a background electromagnetic field in the Lagrangian is calculated non perturbatively, involving exact solutions for quantised charged particles in the background field. These "dressed" particles go on to interact perturbatively with other particles. The background field starts to polarise the vacuum, in effect rendering it a dispersive medium. Particles encountering this dispersive vacuum obtain a lifetime, either radiating or decaying into pair particles at a rate dependent on the intensity of the background field. In fact, the intensity of the background field enters into the coupling constant of the strong field QED Lagrangian, influencing all particle processes. A number of new phenomena occur. Particles gain an intensity dependent rest mass shift that accounts for their presence in the dispersive vacuum. Multi photon events involving more than one external field photon occur at each vertex. Higher order processes which exchange a virtual strong field particle, resonate via the lifetimes of the unstable strong field states. Two main arenas of strong field physics are reviewed; those occurring in relativistic electron interactions with intense laser beams, and those occurring in the beam beam physics at the interaction point of colliders. This review outlines the theory, describes its significant novel phenomenology and details the experimental schema required to detect strong field effects and the simulation programs required to model them.


title: A new estimate for a quantity involving the Chebyshev polynomials of the first kind

abstract: In this paper, we establish a new estimate (including lower and upper bounds) for an important quantity involved in the convergence analysis of smoothed aggregation algebraic multigrid methods. The new upper bound improves the existing ones. And our upper bound is optimal.


title: Nonreciprocal microwave transmission based on Gebhard-Ruckenstein hopping

abstract: We study nonreciprocal microwave transmission based on the Gebhard-Ruckenstein hopping. We consider a superconducting device that consists of microwave resonators and a coupler. The Gebhard-Ruckenstein hopping between the resonators gives rise to a linear energy dispersion which manifests chiral propagation of microwaves in the device. This device functions as an on-chip circulator with a wide bandwidth when transmission lines are attached.


title: Effective potential and quantum criticality for imbalanced Fermi mixtures

abstract: We study the analytical structure of the effective action for spin- and mass-imbalanced Fermi mixtures at the onset of the superfluid state. Of our particular focus is the possibility of suppressing the tricritical temperature to zero, so that the transition remains continuous down to $T=0$ and the phase diagram hosts a quantum critical point. At mean-field level we analytically identify such a possibility in a regime of parameters in dimensionality $d=3$. In contrast, in $d=2$ we demonstrate that the occurrence of a quantum critical point is (at the mean-field level) excluded. We show that the Landau expansion of the effective potential remains well-defined in the limit $T\to 0^+$ except for a subset of model parameters which includes the standard BCS limit. We calculate the mean-field asymptotic shape of the transition line. Employing the functional renormalization group framework we go beyond the mean field theory and demonstrate the stability of the quantum critical point in $d=3$ with respect to fluctuations.

categories: cond-mat.quant-gas cond-mat.stat-mech cond-mat.str-el cond-mat.supr-con


title: A 3.5-million Solar Masses Black Hole in the Centre of the Ultracompact Dwarf Galaxy Fornax UCD3

abstract: The origin of ultracompact dwarfs (UCDs), a class of compact stellar systems discovered two decades ago, still remains a matter of debate. Recent discoveries of central supermassive black holes in UCDs likely inherited from their massive progenitor galaxies provide support for the tidal stripping hypothesis. At the same time, on statistical grounds, some massive UCDs might be representatives of the high luminosity tail of the globular cluster luminosity function. Here we present a detection of a $3.3^{+1.4}_{-1.2}\times10^6\,M_{\odot}$ black hole ($1\sigma$ uncertainty) in the centre of the UCD3 galaxy in the Fornax cluster, that corresponds to 4 per cent of its stellar mass. We performed isotropic Jeans dynamical modelling of UCD3 using internal kinematics derived from adaptive optics assisted observations with the SINFONI spectrograph and seeing limited data collected with the FLAMES spectrograph at the ESO VLT. We rule out the zero black hole mass at the $3\sigma$ confidence level when adopting a mass-to-light ratio inferred from stellar populations. This is the fourth supermassive black hole found in a UCD and the first one in the Fornax cluster. Similarly to other known UCDs that harbour black holes, UCD3 hosts metal rich stars enhanced in $\alpha$-elements that supports the tidal stripping of a massive progenitor as its likely formation scenario. We estimate that up to 80 per cent of luminous UCDs in galaxy clusters host central black holes. This fraction should be lower for UCDs in groups, because their progenitors are more likely to be dwarf galaxies, which do not tend to host central black holes.


title: Symmetric Circuits for Rank Logic

abstract: Fixed-point logic with rank (FPR) is an extension of fixed-point logic with counting (FPC) with operators for computing the rank of a matrix over a finite field. The expressive power of FPR properly extends that of FPC and is contained in PTime, but not known to be properly contained. We give a circuit characterization for FPR in terms of families of symmetric circuits with rank gates, along the lines of that for FPC given by [Anderson and Dawar 2017]. This requires the development of a broad framework of circuits in which the individual gates compute functions that are not symmetric (i.e., invariant under all permutations of their inputs). In the case of FPC, the proof of equivalence of circuits and logic rests heavily on the assumption that individual gates compute such symmetric functions and so novel techniques are required to make this work for FPR.


title: On the realization of impossible anomalies

abstract: The Wess-Zumino consistency condition allows more exotic forms of anomalies than those we usually encounter. For example in two-dimensional conformal field theories in the curved background with space-time dependent coupling constant $\lambda^i(x)$, a $U(1)$ current could possess anomalous divergence of the form $D^\mu J_\mu = \tilde{c} R + \chi_{ij} \partial^\mu \lambda^i \partial_\mu\lambda_j + \tilde{\chi}_{ij} \epsilon^{\mu\nu} \partial_\mu \lambda^i \partial_\nu \lambda^j + \cdots $. Another example is the CP odd Pontryagin density in four-dimensional Weyl anomaly. We could, however, argue that they are impossible in conformal field theories because they cannot correspond to any (unregularized) conformally invariant correlation functions. We find that this no-go argument may be a red herring. We show that some of these impossible anomalies avoid the no-go argument because they are not primary operators, and the others circumvent it because they are realized as semi-local terms as is the case with the conformally invariant Green-Schwartz mechanism and in the higher dimensional analogue of Liouville or linear dilaton theory.


title: Distribution-Aware Binarization of Neural Networks for Sketch Recognition

abstract: Deep neural networks are highly effective at a range of computational tasks. However, they tend to be computationally expensive, especially in vision-related problems, and also have large memory requirements. One of the most effective methods to achieve significant improvements in computational/spatial efficiency is to binarize the weights and activations in a network. However, naive binarization results in accuracy drops when applied to networks for most tasks. In this work, we present a highly generalized, distribution-aware approach to binarizing deep networks that allows us to retain the advantages of a binarized network, while reducing accuracy drops. We also develop efficient implementations for our proposed approach across different architectures. We present a theoretical analysis of the technique to show the effective representational power of the resulting layers, and explore the forms of data they model best. Experiments on popular datasets show that our technique offers better accuracies than naive binarization, while retaining the same benefits that binarization provides - with respect to run-time compression, reduction of computational costs, and power consumption.


title: The distribution of Gaussian multiplicative chaos on the unit interval

abstract: We consider a sub-critical Gaussian multiplicative chaos (GMC) measure defined on the unit interval [0,1] and prove an exact formula for the fractional moments of the total mass of this measure. Our formula includes the case where log-singularities (also called insertion points) are added in 0 and 1, the most general case predicted by the Selberg integral. The idea to perform this computation is to introduce certain auxiliary functions resembling holomorphic observables of conformal field theory that will be solutions of hypergeometric equations. Solving these equations then provides non-trivial relations that completely determine the moments we wish to compute. We also include a detailed discussion of the so-called reflection coefficients appearing in tail expansions of GMC measures and in Liouville theory. Our theorem provides an exact value for one of these coefficients. Lastly we mention some additional applications to small deviations for GMC measures, to the behavior of the maximum of the log-correlated field on the interval and to random hermitian matrices.


title: Abdominal Aortic Aneurysm Segmentation with a Small Number of Training Subjects

abstract: Pre-operative Abdominal Aortic Aneurysm (AAA) 3D shape is critical for customized stent-graft design in Fenestrated Endovascular Aortic Repair (FEVAR). Traditional segmentation approaches implement expert-designed feature extractors while recent deep neural networks extract features automatically with multiple non-linear modules. Usually, a large training dataset is essential for applying deep learning on AAA segmentation. In this paper, the AAA was segmented using U-net with a small number (two) of training subjects. Firstly, Computed Tomography Angiography (CTA) slices were augmented with gray value variation and translation to avoid the overfitting caused by the small number of training subjects. Then, U-net was trained to segment the AAA. Dice Similarity Coefficients (DSCs) over 0.8 were achieved on the testing subjects. The PLZ, DLZ and aortic branches are all reconstructed reasonably, which will facilitate stent graft customization and help shape instantiation for intra-operative surgery navigation in FEVAR.


title: Energy dependence and fluctuations of anisotropic flow in Pb-Pb collisions at $\mathbf{\sqrt{{\textit s}_\text{NN}}} = \mathbf{5.02}$ and $\mathbf{2.76}$ TeV

abstract: Measurements of anisotropic flow coefficients with two- and multi-particle cumulants for inclusive charged particles in Pb-Pb collisions at $\sqrt{{\textit s}_\text{NN}} = 5.02$ and 2.76 TeV are reported in the pseudorapidity range $|\eta| < 0.8$ and transverse momentum $0.2 < p_\text{T} < 50$ GeV/$c$. The full data sample collected by the ALICE detector in 2015 (2010), corresponding to an integrated luminosity of 12.7 (2.0) $\mu$b$^{-1}$ in the centrality range 0-80%, is analysed. Flow coefficients up to the sixth flow harmonic ($v_6$) are reported and a detailed comparison among results at the two energies is carried out. The $p_\text{T}$ dependence of anisotropic flow coefficients and its evolution with respect to centrality and harmonic number $n$ are investigated. An approximate power-law scaling of the form $v_n(p_\text{T}) \sim p_\text{T}^{n/3}$ is observed for all flow harmonics at low $p_\text{T}$ ($0.2 < p_\text{T} < 3$ GeV/$c$). At the same time, the ratios $v_n/v_m^{n/m}$ are observed to be essentially independent of $p_\text{T}$ for most centralities up to about $p_\text{T} = 10$ GeV/$c$. Analysing the differences among higher-order cumulants of elliptic flow ($v_2$), which have different sensitivities to flow fluctuations, a measurement of the standardised skewness of the event-by-event $v_2$ distribution $P(v_2)$ is reported and constraints on its higher moments are provided. The Elliptic Power distribution is used to parametrise $P(v_2)$, extracting its parameters from fits to cumulants. The measurements are compared to different model predictions in order to discriminate among initial-state models and to constrain the temperature dependence of the shear viscosity to entropy-density ratio.


title: Normal harmonic mappings

abstract: The main purpose of this paper is to study the concept of normal function in the context of harmonic mappings from the unit disk $\mathbb{D}$ to the complex plane. In particular, we obtain necessary conditions for that a function $f$ to be normal.


title: A microfluidic chip and its use in characterising the particle-scale behaviour of Microbial-Induced Carbonate Precipitation (MICP)

abstract: Microbial-Induced Carbonate Precipitation (MICP) is an innovative ground improvement technique which can enhance the strength and stiffness of soils, and can also control their hydraulic conductivity. These engineering properties of MICP-treated soils are affected by particle-scale behaviour of the precipitated carbonate, i.e. composition, amount and distribution, which are controlled by the MICP process occurring at the particle-scale. In this study, we designed and fabricated a microfluidic chip to improve our understanding of MICP at particle-scale by observing the behaviour of bacteria and CaCO3 crystals during this process. We found that bacteria became evenly distributed throughout the microfluidic chip after the injection of bacterial suspension, grew during bacterial settling, and detached during the injection of cementation solution. Bacteria aggregated during the cementation solution injection, and CaCO3 crystals formed at narrow pore throats or open pore bodies either during or after cementation solution injections.


title: Giant nonlinear response at the nanoscale driven by bound states in the continuum

abstract: Being motivated by the recent prediction of high-$Q$ supercavity modes in subwavelength dielectric resonators, we study the second-harmonic generation from isolated subwavelength AlGaAs nanoantennas pumped by a structured light. We reveal that nonlinear effects at the nanoscale can be enhanced dramatically provided the resonator parameters are tuned to the regime of the bound state in the continuum. We predict a record-high conversion efficiency for nanoscale resonators that exceeds by two orders of magnitude the conversion efficiency observed at the conditions of magnetic dipole Mie resonance, thus opening the way for highly-efficient nonlinear metadevices.


title: Sample-Derived Disjunctive Rules for Secure Power System Operation

abstract: Machine learning techniques have been used in the past using Monte Carlo samples to construct predictors of the dynamic stability of power systems. In this paper we move beyond the task of prediction and propose a comprehensive approach to use predictors, such as Decision Trees (DT), within a standard optimization framework for pre- and post-fault control purposes. In particular, we present a generalizable method for embedding rules derived from DTs in an operation decision-making model. We begin by pointing out the specific challenges entailed when moving from a prediction to a control framework. We proceed with introducing the solution strategy based on generalized disjunctive programming (GDP) as well as a two-step search method for identifying optimal hyper-parameters for balancing cost and control accuracy. We showcase how the proposed approach constructs security proxies that cover multiple contingencies while facing high-dimensional uncertainty with respect to operating conditions with the use of a case study on the IEEE 39-bus system. The method is shown to achieve efficient system control at a marginal increase in system price compared to an oracle model.


title: Personalized PageRank dimensionality and algorithmic implications

abstract: Many systems, including the Internet, social networks, and the power grid, can be represented as graphs. When analyzing graphs, it is often useful to compute scores describing the relative importance or distance between nodes. One example is Personalized PageRank (PPR), which assigns to each node $v$ a vector whose $i$-th entry describes the importance of the $i$-th node from the perspective of $v$. PPR has proven useful in many applications, such as recommending who users should follow on social networks (if this $i$-th entry is large, $v$ may be interested in following the $i$-th user). Unfortunately, computing $n$ such PPR vectors (where $n$ is the number of nodes) is infeasible for many graphs of interest. In this work, we argue that the situation is not so dire. Our main result shows that the dimensionality of the set of PPR vectors scales sublinearly in $n$ with high probability, for a certain class of random graphs and for a notion of dimensionality similar to rank. Put differently, we argue that the effective dimension of this set is much less than $n$, despite the fact that the matrix containing these vectors has rank $n$. Furthermore, we show this dimensionality measure relates closely to the complexity of a PPR estimation scheme that was proposed (but not analyzed) by Jeh and Widom. This allows us to argue that accurately estimating all $n$ PPR vectors amounts to computing a vanishing fraction of the $n^2$ vector elements (when the technical assumptions of our main result are satisfied). Finally, we demonstrate empirically that similar conclusions hold when considering real-world networks, despite the assumptions of our theory not holding.


title: Decay of Relevance in Exponentially Growing Networks

abstract: We propose a new preferential attachment-based network growth model in order to explain two properties of growing networks: (1) the power-law growth of node degrees and (2) the decay of node relevance. In preferential attachment models, the ability of a node to acquire links is affected by its degree, its fitness, as well as its relevance which typically decays over time. After a review of existing models, we argue that they cannot explain the above-mentioned two properties (1) and (2) at the same time. We have found that apart from being empirically observed in many systems, the exponential growth of the network size over time is the key to sustain the power-law growth of node degrees when node relevance decays. We therefore make a clear distinction between the event time and the physical time in our model, and show that under the assumption that the relevance of a node decays with its age $\tau$, there exists an analytical solution of the decay function $f_R$ with the form $f_R(\tau) = \tau^{-1}$. Other properties of real networks such as power-law alike degree distributions can still be preserved, as supported by our experiments. This makes our model useful in explaining and analysing many real systems such as citation networks.


title: Common upper frequent hypercyclicity

abstract: Considering a family of upper frequently hypercyclic operators we care about the existence of vectors which are upper frequently hypercyclic for any operator of this family. We establish sufficient conditions for a family of operators to have these vectors called common upper frequently hypercyclic vectors. Using this result, we then give a construction of such vectors. Finally we derive some applications to families of weighted shifts.


title: A theory of consciousness: computation, algorithm, and neurobiological realization

abstract: The most enigmatic aspect of consciousness is the fact that it is felt, as a subjective sensation. The theory proposed here aims to explain this particular aspect. The theory encompasses both the computation that is presumably involved and the way in which that computation may be realized in the brain's neurobiology. It is assumed that the brain makes an internal estimate of an individual's own evolutionary fitness, which can be shown to produce a special, distinct form of causation. Communicating components of the fitness estimate (either for external or internal use) requires inverting them. Such inversion can be performed by the thalamocortical feedback loop in the mammalian brain, if that loop is operating in a switched, dual-stage mode. A first (nonconscious) stage produces forward estimates, whereas the second (conscious) stage inverts those estimates. It is argued that inversion produces another special, distinct form of causation, which is spatially localized and is plausibly sensed as the feeling of consciousness.


title: B $\rightarrow f_2(1270)$ form factors with light-cone sum rules

abstract: We construct the quark-antiquark chiral odd distribution amplitudes including twist-four mass contributions for tensor mesons. We also give quark-antiquark-gluon distribution amplitudes, where we calculate the input parameters with QCD sum rules. With the help of equations of motion we determine the twist-three and twist-four distribution amplitudes including SU(3) breaking terms. We use QCD light-come sum rules to derive the form factors for the decay B $\rightarrow f_2(1270)$ with vector, axial-vector and tensor currents. We also give the $q^2$ dependence of the form factors.


title: Solution-processed ZnO as the efficient passivation and electron selective layer of silicon solar cells

abstract: Solution-processed intrinsic ZnO and Al doped ZnO (ZnO:Al) were spin coated on textured n-type c-Si wafer to replace the phosphorus doped amorphous silicon as the electron selective transport layer (ESTL) of the Si heterojunction (SHJ) solar cells. Besides the function of electron selective transportation, the non-doped ZnO was found to possess certain passivation effect on c-Si wafer. The SHJ solar cells with different combinations of passivation layer (intrinsic a-Si:H, SiOx and non-doped ZnO) and electron transport layer (non-doped ZnO and ZnO:Al ) were fabricated and compared. An efficiency up to 18.46% was achieved on a SHJ solar cell with an a-Si:H/ZnO:Al double layer back structure. And, the all solution-processed non-doped ZnO/ZnO:Al combination layer presents fairly good electron selective transportation property for SHJ solar cell, resulting in an efficiency of 17.13%. The carrier transport based on energy band diagrams of the rear side of the solar cells has been discussed related to the performance of the SHJ solar cells.


title: Short Term Load Forecasts of Low Voltage Demand and the Effects of Weather

abstract: Short term load forecasts will play a key role in the implementation of smart electricity grids. They are required to optimise a wide range of potential network solutions on the low voltage (LV) grid, including integrating low carbon technologies (such as photovoltaics) and utilising battery storage devices. Despite the need for accurate LV level load forecasts, previous studies have mostly focused on forecasting at the individual household or building level using data from smart meters. In this study we provide detailed analysis of a variety of methods in terms of both point and probabilistic forecasting accuracy using data from 100 real LV feeders. Moreover, we investigate the effect of temperature (both actual and forecasts) on the accuracy of load forecasts. We present some important results on the drivers of LV forecasting accuracy that are crucial for the management of LV networks, along with an empirical comparison of forecast measures.


title: Towards Reproducible Research: Automatic Classification of Empirical Requirements Engineering Papers

abstract: Research must be reproducible in order to make an impact on science and to contribute to the body of knowledge in our field. Yet studies have shown that 70% of research from academic labs cannot be reproduced. In software engineering, and more specifically requirements engineering (RE), reproducible research is rare, with datasets not always available or methods not fully described. This lack of reproducible research hinders progress, with researchers having to replicate an experiment from scratch. A researcher starting out in RE has to sift through conference papers, finding ones that are empirical, then must look through the data available from the empirical paper (if any) to make a preliminary determination if the paper can be reproduced. This paper addresses two parts of that problem, identifying RE papers and identifying empirical papers within the RE papers. Recent RE and empirical conference papers were used to learn features and to build an automatic classifier to identify RE and empirical papers. We introduce the Empirical Requirements Research Classifier (ERRC) method, which uses natural language processing and machine learning to perform supervised classification of conference papers. We compare our method to a baseline keyword-based approach. To evaluate our approach, we examine sets of papers from the IEEE Requirements Engineering conference and the IEEE International Symposium on Software Testing and Analysis. We found that the ERRC method performed better than the baseline method in all but a few cases.


title: Bosonic Topological Excitations from the Instability of a Quadratic Band Crossing

abstract: We investigate the interaction-driven instability of a quadratic band crossing arising for ultracold bosonic atoms loaded into a two-dimensional optical lattice. We consider the case when the degenerate point becomes a local minimum of both crossing energy bands such that it can support a stable Bose-Einstein condensate. Repulsive contact interaction among the condensed bosons induces a spontaneously time-reversal symmetry broken superfluid phase and a topological gap is opened in the excitation spectrum. We propose two concrete realizations of the desired quadratic band crossing in lattices with either fourfold or sixfold rotational symmetries via suitable tuning of the unit cell leading to reduced Brillouin zones and correspondingly folded bands. In either case, topologically protected edge excitations are found for a finite system.


title: Generative Adversarial Networks for Extreme Learned Image Compression

abstract: We present a learned image compression system based on GANs, operating at extremely low bitrates. Our proposed framework combines an encoder, decoder/generator and a multi-scale discriminator, which we train jointly for a generative learned compression objective. The model synthesizes details it cannot afford to store, obtaining visually pleasing results at bitrates where previous methods fail and show strong artifacts. Furthermore, if a semantic label map of the original image is available, our method can fully synthesize unimportant regions in the decoded image such as streets and trees from the label map, proportionally reducing the storage cost. A user study confirms that for low bitrates, our approach is preferred to state-of-the-art methods, even when they use more than double the bits.


title: Optimizing wearable assistive devices with neuromuscular models and optimal control

abstract: The coupling of human movement dynamics with the function and design of wearable assistive devices is vital to better understand the interaction between the two. Advanced neuromuscular models and optimal control formulations provide the possibility to study and improve this interaction. In addition, optimal control can also be used to generate predictive simulations that generate novel movements for the human model under varying optimization criterion.


title: Analysis and development of a novel algorithm for the in-vehicle hand-usage of a smartphone

abstract: Smartphone usage while driving is unanimously considered to be a really dangerous habit due to strong correlation with road accidents. In this paper, the problem of detecting whether the driver is using the phone during a trip is addressed. To do this, high-frequency data from the triaxial inertial measurement unit (IMU) integrated in almost all modern phone is processed without relying on external inputs so as to provide a self-contained approach. By resorting to a frequency-domain analysis, it is possible to extract from the raw signals the useful information needed to detect when the driver is using the phone, without being affected by the effects that vehicle motion has on the same signals. The selected features are used to train a Support Vector Machine (SVM) algorithm. The performance of the proposed approach are analyzed and tested on experimental data collected during mixed naturalistic driving scenarios, proving the effectiveness of the proposed approach.


title: Exotic triple-charm deuteron-like hexaquarks

abstract: Adopting the one-boson-exchange model, we perform a systematic investigation of interactions between a doubly charmed baryon $(\Xi_{cc})$ and an $S$-wave charmed baryon ($\Lambda_c$, $\Sigma_c^{(*)}$, and $\Xi_c^{(\prime,*)}$). Both the $S$-$D$ mixing effect and coupled-channel effect are considered in this work. Our results suggest that there may exist several possible triple-charm deuteron-like hexaquarks. Meanwhile, we further study the interactions between a doubly charmed baryon and an $S$-wave anticharmed baryon. We find that a doubly charmed baryon and an $S$-wave anticharmed baryon can be easily bound together to form shallow molecular hexaquarks. These heavy flavor hexaquarks predicted here can be accessible at future experiment like LHCb.


title: Numerical analysis of the maximal attainable accuracy in communication hiding pipelined Conjugate Gradient methods

abstract: Krylov subspace methods are widely known as efficient algebraic methods for solving large scale linear systems. However, on massively parallel hardware the performance of these methods is typically limited by communication latency rather than floating point performance. With HPC hardware advancing towards the exascale regime the gap between computation and communication keeps steadily increasing, imposing the need for scalable alternatives to traditional Krylov subspace methods. One such approach are the so-called pipelined Krylov subspace methods, which reduce the number of global synchronization points and overlap global communication latency with local arithmetic operations, thus hiding the global reduction phases behind useful computations. To obtain this overlap the traditional Krylov subspace algorithm is reformulated by introducing a number of auxiliary vector quantities, which are computed using additional recurrence relations. Although pipelined Krylov subspace methods are equivalent to traditional Krylov subspace methods in exact arithmetic, local rounding errors induced by the multi-term recurrence relations in finite precision may in practice affect convergence significantly. This numerical stability study aims to characterize the effect of local rounding errors on attainable accuracy in various pipelined versions of the popular Conjugate Gradient method. Expressions for the gaps between the true and recursively computed variables that are used to update the search directions in the different CG variants are derived. Furthermore, it is shown how these results can be used to analyze and correct the effect of local rounding error propagation on the maximal attainable accuracy of pipelined CG methods. The analysis in this work is supplemented by numerical experiments that demonstrate the numerical behavior of the pipelined CG methods.


title: Predicting Dynamic Replication based on Fuzzy System in Data Grid

abstract: Data grid replication is an effective method to achieve efficient and fault tolerant data access while reducing access latency and bandwidth consumption in grids. Since we have storage limitation, a replica should be created in the best site. Through evaluation of previously suggested algorithms, we understand that by blind creation of replications on different sites after each demand, we may be able to improve algorithm regarding response time. In practice, however, most of the created replications will never be used and existing resources in Grid will be wasted through the creation of unused replications. In this paper, we propose a new dynamic replication algorithm called Predictive Fuzzy Replication (PFR). PFR not only redefines the Balanced Ant Colony Optimization (BACO) algorithm, which is used for job scheduling in grids, but also uses it for replication in appropriate sites in the data grid. The new algorithm considers the history usage of files, files size, the level of the sites and free available space for replication and tries to predict future needs and pre replicates them in the resources that are more suitable or decides which replica should be deleted if there is not enough space for replicating. This algorithm considers the related files of the replicated file and replicates them considering their own history. PFR acts more efficiently than Cascading method, which is one of the algorithms in optimized use of existing replicas.


title: Definite Sums as Solutions of Linear Recurrences With Polynomial Coefficients

abstract: We present an algorithm which, given a linear recurrence operator $L$ with polynomial coefficients, $m \in \mathbb{N}\setminus\{0\}$, $a_1,a_2,\ldots,a_m \in \mathbb{N}\setminus\{0\}$ and $b_1,b_2,\ldots,b_m \in \mathbb{K}$, returns a linear recurrence operator $L'$ with rational coefficients such that for every sequence $h$, \[ L\left(\sum_{k=0}^\infty \prod_{i=1}^m \binom{a_i n + b_i}{k} h_k\right) = 0 \] if and only if $L' h = 0$.


title: Local magnetic moments and electronic transport in closed loop quantum dot systems: a case of quadruple quantum dot ring at and away from equilibrium

abstract: We apply the non-equilibrium functional renormalization group approach treating flow of the electronic self-energies, to describe local magnetic moments formation and electronic transport in a quadruple quantum dot (QQD) ring, coupled to leads, with moderate Coulomb interaction on the quantum dots. We find that at zero temperature depending on parameters of the QQD system the regimes with zero, one, or two almost local magnetic moments in the ring can be realized, and the results of the considered approach in equilibrium agree qualitatively with those of more sophisticated fRG approach treating also flow of the vertices. It is shown that the almost formed local magnetic moments, which exist in the equilibrium, remain stable in a wide range of bias voltages near equilibrium. The destruction of the local magnetic moments with increasing bias voltage is realized in one or two stages, depending on the parameters of the system; for two-stage process the intermediate phase possesses fractional magnetic moment. We present zero-temperature results for current-voltage dependences and differential conductances of the system, which exhibit sharp features at the transition points between different magnetic states. The occurrence of interaction induced negative differential conductance phenomenon is demonstrated and discussed. For one local moment in the ring and finite hopping between the opposite quantum dots, connected to the leads, we find suppression of the conductance for one of the spin projections in infinitesimally small magnetic field, which occurs due to destructive interference of different electron propagation paths and can be used in spintronic devices.


title: On the isoperimetric problem with double density

abstract: In this paper we consider the isoperimetric problem with double density in an Euclidean space, that is, we study the minimisation of the perimeter among subsets of $\mathbb{R}^n$ with fixed volume, where volume and perimeter are relative to two different densities. The case of a single density, or equivalently, when the two densities coincide, has been well studied in the last years; nonetheless, the problem with two different densities is an important generalisation, also in view of applications. We will prove the existence of isoperimetric sets in this context, extending the known results for the case of single density.


title: HyperDense-Net: A hyper-densely connected CNN for multi-modal image segmentation

abstract: Recently, dense connections have attracted substantial attention in computer vision because they facilitate gradient flow and implicit deep supervision during training. Particularly, DenseNet, which connects each layer to every other layer in a feed-forward fashion, has shown impressive performances in natural image classification tasks. We propose HyperDenseNet, a 3D fully convolutional neural network that extends the definition of dense connectivity to multi-modal segmentation problems. Each imaging modality has a path, and dense connections occur not only between the pairs of layers within the same path, but also between those across different paths. This contrasts with the existing multi-modal CNN approaches, in which modeling several modalities relies entirely on a single joint layer (or level of abstraction) for fusion, typically either at the input or at the output of the network. Therefore, the proposed network has total freedom to learn more complex combinations between the modalities, within and in-between all the levels of abstraction, which increases significantly the learning representation. We report extensive evaluations over two different and highly competitive multi-modal brain tissue segmentation challenges, iSEG 2017 and MRBrainS 2013, with the former focusing on 6-month infant data and the latter on adult images. HyperDenseNet yielded significant improvements over many state-of-the-art segmentation networks, ranking at the top on both benchmarks. We further provide a comprehensive experimental analysis of features re-use, which confirms the importance of hyper-dense connections in multi-modal representation learning. Our code is publicly available at https://www.github.com/josedolz/HyperDenseNet.


title: Second-Guessing in Tracing Tasks Considered Harmful?

abstract: [Context and motivation] Trace matrices are lynch pins for the development of mission- and safety-critical software systems and are useful for all software systems, yet automated methods for recovering trace links are far from perfect. This limitation makes the job of human analysts who must vet recovered trace links more difficult. [Question/Problem] Earlier studies suggested that certain analyst behaviors when performing trace recovery tasks lead to decreased accuracy of recovered trace relationships. We propose a three-step experimental study to: (a) determine if there really are behaviors that lead to errors of judgment for analysts, (b) enhance the requirements tracing software to curtail such behaviors, and (c) determine if curtailing such behaviors results in increased accuracy. [Principal ideas/results] We report on a preliminary study we undertook in which we modified the user interface of RETRO.NET to curtail two behaviors indicated by the earlier work. We report on observed results. [Contributions] We describe and discuss a major study of potentially unwanted analyst behaviors and present results of a preliminary study toward determining if curbing these behaviors with enhancements to tracing software leads to fewer human errors.


title: A review of possible effects of cognitive biases on the interpretation of rule-based machine learning models

abstract: While the interpretability of machine learning models is often equated with their mere syntactic comprehensibility, we think that interpretability goes beyond that, and that human interpretability should also be investigated from the point of view of cognitive science. The goal of this paper is to discuss to what extent cognitive biases may affect human understanding of interpretable machine learning models, in particular of logical rules discovered from data. Twenty cognitive biases are covered, as are possible debiasing techniques that can be adopted by designers of machine learning algorithms and software. Our review transfers results obtained in cognitive psychology to the domain of machine learning, aiming to bridge the current gap between these two areas. It needs to be followed by empirical studies specifically focused on the machine learning domain.


title: Irreversibility at zero temperature from the perspective of the environemnt

abstract: We address the emergence of entropy production in the non-equilibrium process of an open quantum system from the viewpoint of the environment. By making use of a dilation-based approach akin to Stinespring theorem, we derive an expression for the entropy production that comprises two fundamental contributions. The first is linked to the rate of creation of correlations between system and environment whereas the second highlights the possibility for the environment to modify its state in light of its coupling to the system. Both terms are shown to be associated with irreversible currents within the system and the environment, which pinpoint the emergence of irreversibility in the Markovian limit. Finally, we discuss how such a change of perspective in the study of entropy production has fecund implications for the study of non-Markovian open-system dynamics.


title: F(R) cosmology via Noether symmetry and lambda-Chaplygin Gas like model

abstract: In this work, we consider F(R) alternative theories of gravity with an eye to Noether symmetry through the gauge theorem. For non-vacuum models, one finds {\Lambda} like gravity with energy density of Chaplygin Gas. We also obtain the effective equation of state parameter for corresponding cosmology and scale factor behavior with respect to cosmic time which show that the model provides viable EoS and scale factor with respect to observational data.


title: Insights into the formation mechanism of two-dimensional lead halide nanostructures

abstract: We present a colloidal synthesis strategy for lead halide nanosheets with a thickness of far below 100 nm. Due to the layered structure and the synthesis parameters the crystals of PbI2 are initially composed of many polytypes. We propose a mechanism which gives insight into the chemical process of the PbI2 formation. Further, we found that the crystal structure changes with increasing reaction temperature or by performing the synthesis for longer time periods changing for the final 2H structure. In addition, we demonstrate a route to prepare nanosheets of lead bromide as well as lead chloride in a similar way. Lead halides can be used as a detector material for high-energy photons including gamma and X-rays.


title: The Schulze Method of Voting

abstract: We propose a new single-winner election method ("Schulze method") and prove that it satisfies many academic criteria (e.g. monotonicity, reversal symmetry, resolvability, independence of clones, Condorcet criterion, k-consistency, polynomial runtime). We then generalize this method to proportional representation by the single transferable vote ("Schulze STV") and to methods to calculate a proportional ranking ("Schulze proportional ranking"). Furthermore, we propose a generalization of the Condorcet criterion to multi-winner elections. This paper contains a large number of examples to illustrate the proposed methods.


title: High Performance n- and p-Type Field-Effect Transistors Based on Hybridly Surface-Passivated Colloidal PbS Nanosheets

abstract: Colloidally synthesized nanomaterials are among the promising candidates for future electronic devices due to their simplicity and the inexpensiveness of their production. Specifically, colloidal nanosheets are of great interest since they are conveniently producible through the colloidal approach while having the advantages of two-dimensionality. In order to employ these materials, according transistor behavior should be adjustable and of high performance. We show that the transistor performance of colloidal lead sulfide nanosheets is tunable by altering the surface passivation, the contact metal, or by exposing them to air. We found that adding halide ions to the synthesis leads to an improvement of the conductivity, the field-effect mobility, and the on/off ratio of these transistors by passivating their surface defects. Superior n-type behavior with a field-effect mobility of 248 cm^2V^-1s^-1 and an on/off ratio of 4x10^6 is achieved. The conductivity of these stripes can be changed from n-type to p-type by altering the contact metal and by adding oxygen to the working environment. As a possible solution for the post-Moore era, realizing new high quality semiconductors such as colloidal materials is crucial. In this respect, our results can provide new insights which helps to accelerate their optimization for potential applications.


title: Face Sketch Synthesis Style Similarity:A New Structure Co-occurrence Texture Measure

abstract: Existing face sketch synthesis (FSS) similarity measures are sensitive to slight image degradation (e.g., noise, blur). However, human perception of the similarity of two sketches will consider both structure and texture as essential factors and is not sensitive to slight ("pixel-level") mismatches. Consequently, the use of existing similarity measures can lead to better algorithms receiving a lower score than worse algorithms. This unreliable evaluation has significantly hindered the development of the FSS field. To solve this problem, we propose a novel and robust style similarity measure called Scoot-measure (Structure CO-Occurrence Texture Measure), which simultaneously evaluates "block-level" spatial structure and co-occurrence texture statistics. In addition, we further propose 4 new meta-measures and create 2 new datasets to perform a comprehensive evaluation of several widely-used FSS measures on two large databases. Experimental results demonstrate that our measure not only provides a reliable evaluation but also achieves significantly improved performance. Specifically, the study indicated a higher degree (78.8%) of correlation between our measure and human judgment than the best prior measure (58.6%). Our code will be made available.


title: Baryon number diffusion with critical fluctuations

abstract: The description of dynamical fluctuations near the QCD critical point in heavy-ion collisions is crucial for understanding the existing and upcoming experimental data from the beam energy scan programs. In this talk we discuss the evolution of fluctuations of the net-baryon density as given by a stochastic diffusion equation. We study equilibrium as well as dynamical systems for which we can show the impact of nonequilibrium effects on the second-order moment.


title: Halogens in the synthesis of colloidal semiconductor nanocrystals

abstract: In this review, we highlight the role of halogenated compounds in the colloidal synthesis of nanostructured semiconductors. Halogen-containing metallic salts used as precursors and halogenated hydrocarbons used as ligands allow stabilizing different shapes and crystal phases, and enable the formation of colloidal systems with different dimensionality. We summarize recent reports on the tremendous influence of these compounds on the physical properties of nanocrystals, like field-effect mobility and solar cell performance and outline main analytical methods for the nanocrystal surface control.


title: Bifurcation of solutions of the second order boundary value problems in the Hilbert spaces

abstract: Conditions of the existence of solutions of linear and perturbed linear boundary value problems in the Hilbert spaces for the second order evolution equation are obtained.


title: Radiative rates for E1, E2, M1, and M2 transitions in Ne-like Hf LXIII, Ta LXIV and Re LXVI

abstract: Calculations for energy levels, radiative rates and lifetimes have been performed for three Ne-like ions, namely Hf~LXIII, Ta LXIV and Re LXVI, for which the general-purpose relativistic atomic structure package (GRASP) has been adopted. Results are presented among the lowest 121 levels of these ions, which belong to the 2s$^2$2p$^6$, 2s$^2$2p$^5$3$\ell$, 2s2p$^6$3$\ell$, 2s$^2$2p$^5$4$\ell$, 2s2p$^6$4$\ell$, and 2s$^2$2p$^5$5$\ell$ configurations, but CI (configuration interaction) has been considered among a much larger number of levels. No measurements for energy levels are available but comparisons have been made with the earlier similar theoretical results. Additionally, calculations have also been performed with the flexible atomic code (FAC) in order to assess the effect of (much) larger CI on energy levels.


title: Compact Formulation of the First Evolution Equation for Optimal Control Computation

abstract: The first evolution equation is derived under the Variation Evolving Method (VEM) that seeks optimal solutions with the variation evolution principle. To improve the performance, its compact form is developed. By replacing the states and costates variation evolution with that of the controls, the dimension-reduced Evolution Partial Differential Equation (EPDE) only solves the control variables along the variation time to get the optimal solution, and its definite conditions may be arbitrary. With this equation, the scale of the resulting Initial-value Problem (IVP), transformed via the semi-discrete method, is significantly reduced. Illustrative examples are solved and it is shown that the compact form evolution equation outperforms the primary form in the precision, and the efficiency may be higher for the dense discretization. Moreover, in discussing the connections to the classic iteration methods, it is uncovered that the computation scheme of the gradient method is the discrete implementation of the third evolution equation, and the compact form of the first evolution equation is a continuous realization of the Newton type iteration mechanism.


title: Lumping the Approximate Master Equation for Multistate Processes on Complex Networks

abstract: Complex networks play an important role in human society and in nature. Stochastic multistate processes provide a powerful framework to model a variety of emerging phenomena such as the dynamics of an epidemic or the spreading of information on complex networks. In recent years, mean-field type approximations gained widespread attention as a tool to analyze and understand complex network dynamics. They reduce the model's complexity by assuming that all nodes with a similar local structure behave identically. Among these methods the approximate master equation (AME) provides the most accurate description of complex networks' dynamics by considering the whole neighborhood of a node. The size of a typical network though renders the numerical solution of multistate AME infeasible. Here, we propose an efficient approach for the numerical solution of the AME that exploits similarities between the differential equations of structurally similar groups of nodes. We cluster a large number of similar equations together and solve only a single lumped equation per cluster. Our method allows the application of the AME to real-world networks, while preserving its accuracy in computing estimates of global network properties, such as the fraction of nodes in a state at a given time.


title: Formulas for translative functions

abstract: In this report, we consider extended real-valued functions on some real vector space. Gerstewitz functionals are used to construct all translative functions. We derive formulas for translative functions which are lower semicontinuous, continuous or have sublevel sets that are given by linear inequalities. Each extended real-valued function is shown to be the restriction of some translative function to a hyperspace. Continuity of an arbitrary extended real-valued function is characterized by its epigraph. Moreover, we study the directional closedness of sets as a base for the presented results.


title: Tsallis Holographic Dark Energy

abstract: Employing the modified entropy-area relation suggested by Tsallis and Cirto \cite{non3}, and the holographic hypothesis, a new holographic dark energy (HDE) model is proposed. Considering a flat Friedmann-Robertson-Walker (FRW) universe in which there is no interaction between the cosmos sectors, the cosmic implications of the proposed HDE are investigated. Interestingly enough, we find that the identification of IR-cutoff with the Hubble radius, can lead to the late time accelerated Universe even in the absence of interaction between two dark sectors of the Universe. This is in contrast to the standard HDE model with Hubble cutoff, which does not imply the accelerated expansion, unless the interaction is taken into account.


title: Non-minimally coupled scalar field in Kantowski--Sachs model and symmetry analysis

abstract: The paper deals with a non--minimally coupled scalar field in the background of homogeneous but anisotropic Kantowski--Sachs space--time model. The form of the coupling function of the scalar field with gravity and the potential function of the scalar field are not assumed phenomenologically, rather they are evaluated by imposing Noether symmetry to the Lagrangian of the present physical system. The physical system gets considerable mathematical simplification by a suitable transformation of the augmented variables $(a, b, \phi)\rightarrow (u, v, w)$ and by the use of the conserved quantities due to the geometrical symmetry. Finally, cosmological solutions are evaluated and analyzed from the point of view of the present evolution of the Universe.


title: Verification of Space Weather Forecasts issued by the Met Office Space Weather Operations Centre

abstract: The Met Office Space Weather Operations Centre was founded in 2014 and part of its remit is a daily Space Weather Technical Forecast to help the UK build resilience to space weather impacts; guidance includes four day geo-magnetic storm forecasts (GMSF) and X-ray flare forecasts (XRFF). It is crucial for forecasters, users, modelers and stakeholders to understand the strengths and weaknesses of these forecasts; therefore, it is important to verify against the most reliable truth data source available. The present study contains verification results for XRFFs using GOES-15 satellite data and GMSF using planetary K-index (Kp) values from the GFZ Helmholtz Centre. To assess the value of the verification results it is helpful to compare them against a reference forecast and the frequency of occurrence during a rolling prediction period is used for this purpose. Analysis of the rolling 12-month performance over a 19-month period suggests that both the XRFF and GMSF struggle to provide a better prediction than the reference. However, a relative operating characteristic and reliability analysis of the full 19-month period reveals that although the GMSF and XRFF possess discriminatory skill, events tend to be over-forecast.


title: A New Synthesis Approach for Carbon Nitrides: Poly (Triazine Imide) and Its Photocatalytic Properties

abstract: Poly (triazine imide) (PTI) is a material belonging to the group of carbon nitrides and has shown to have competitive properties compared to melon or g-C3N4, especially in photocatalysis. As most of the carbon nitrides PTI is usually synthesized by thermal or hydrothermal approaches. We present and discuss an alternative synthesis for PTI which exhibits a pH dependent solubility in aqueous solutions. This synthesis is based on the formation of radicals during electrolysis of an aqueous melamine solution, coupling of resulting melamine radicals and the final formation of PTI. We applied different characterization techniques to identify PTI as the product of this reaction and report the first liquid state NMR experiments on a triazine-based carbon nitride. We show that PTI has a relatively high specific surface area and a pH dependent adsorption of charged molecules. This tunable adsorption has a significant influence on the photocatalytic properties of PTI which we investigated in dye degradation experiments.


title: The Viability of Phantom Dark Energy as a Quantum Field in 1st-Order FLRW Space

abstract: In the standard cosmological framework of the 0th-order FLRW metric and the use of perfect fluids in the stress-energy tensor, dark energy with an equation-of-state parameter $w < -1$ (known as phantom dark energy) implies negative kinetic energy and vacuum instability when modeled as a scalar field. However, the accepted values for present-day $w$ from Planck and WMAP9 include a significant range of values less than $-1$. A flip of the sign in front of the kinetic energy term in the Lagrangian remedies the negative kinetic energy but introduces ghostlike instabilities, which perhaps may be rendered unobservable, but certainly not without great cost to the theory. Staying within the confines of observational constraints and general relativity, we treat dark energy as a quantum scalar field in the background of this 1st-order FLRW space-time, find an approximation for the Green's function, and calculate the expectation value of the field's kinetic energy for $w<-1$ using adiabatic expansion to renormalize and obtain a finite value. We find that the kinetic energy is positive for values of $w$ less than $-1$ in 0th- or 1st-order FLRW space, thus giving more theoretical credence to observational values of $w<-1$ and demonstrating that phantom dark energy does not categorically have negative kinetic energy. For a nonminimal coupling parameter $\xi=0$, kinetic energy is positive for $w \gtrsim -1.22$, which includes virtually all values of constant $w$ allowed by cosmological data constraints, and more negative values of $w$ give positive kinetic energy for non-zero values of $\xi$. Also, our results are generally applicable for a massive free field or a field with a small potential in a 0th- or 1st-order FLRW background dominated by a fluid with a constant $w$. [abridged]


title: A modified Friedmann equation for a system with varying gravitational mass

abstract: The Laser Interferometer Gravitational-Wave Observatory (LIGO) detection of gravitational waves that take away 5% of the total mass of two merging black holes points out on the importance of considering varying gravitational mass of a system. Using an assumption that the energy-momentum pseudo-tensor of gravitational waves is not considered as a source of gravitational field, we analyse a perturbation of the Friedmann-Robertson-Walker metric caused by the varying gravitational mass of a system. This perturbation leads to a modified Friedmann equation that contains a term similar to the 'cosmological constant'. Theoretical estimates of the effective cosmological constant quantitatively corresponds to observed cosmological acceleration.


title: Model selection and constraints from Holographic dark energy scenarios

abstract: In this study we combine the expansion and the growth data in order to investigate the ability of the three most popular holographic dark energy models, namely event future horizon, Ricci scale and Granda-Oliveros IR cutoffs, to fit the data. Using a standard $\chi^2$ minimization method we place tight constraints on the free parameters of the models. Based on the values of the Akaike and Bayesian information criteria we find that two out of three holographic dark energy models are disfavored by the data, because they predict a non-negligible amount of dark energy density at early enough times. Although the growth rate data are relatively consistent with the holographic dark energy models which are based on Ricci scale and Granda-Oliveros IR cutoffs, the combined analysis provides strong indications against these models. Finally, we find that the model for which the holographic dark energy is related with the future horizon is consistent with the combined observational data.


title: Balancedness of Social Choice Correspondences

abstract: A social choice correspondence satisfies balancedness if, for every pair of alternatives, x and y, and every pair of individuals, i and j, whenever a profile has x adjacent to but just above y for individual i while individual j has y adjacent to but just above x, then only switching x and y in the orderings for both of those two individuals leaves the choice set unchanged. We show how the balancedness condition interacts with other social choice properties, especially tops-only. We also use balancedness to characterize the Borda rule (for a fixed number of voters) within the class of scoring rules.


title: Putative magnetic quantum criticality in (Sr$_{\text{1-x}}$La$_{\text{x}}$)$_{\text{3}}$Ir$_{\text{2}}$O$_{\text{7}}$

abstract: (Sr$_{1-x}$La$_x$)$_3$Ir$_2$O$_7$ undergoes a bulk insulator-to-metal transition (IMT) at $x \approx \mathrm{0.04}$. Through careful analysis of previously published data ($x=\mathrm{0.053, 0.061, 0.076}$), we find an extended region below the Debye temperature in which the resistivity appears to scale linearly with temperature. Meanwhile resonant (in)elastic x-ray scattering data ($x=\mathrm{0.065}$) suggest a possible crossover from quantum paramagnetic to quantum critical phenomenology between 100 and 200~K. We put this into context with other results, and propose a possible phase diagram as a function of doping.


title: Analysis and improvement of the VTT mold growth model: application to bamboo fiberboard

abstract: The reliability of a model is its accuracy in predicting the physical phenomena using the known input parameters. It also depends on the model's ability to estimate relevant parameters using observations of the physical phenomena. In this paper, the reliability of the VTT model is investigated under these two criteria for various given temperature and relative humidity constant in time. First of all, experiments are conducted on bamboo fiberboard. Using these data, five parameters of the VTT model, defining the mold vulnerability class of a material, are identified. The results highlight that the determined parameters are not within the range of the classes defined in the VTT model. In addition, the quality of the parameter estimation is not satisfactory. Then the sensitivity of the numerical results of the VTT model is analyzed by varying an input parameter. These investigations show that the VTT mathematical formulation of the physical model of mold growth is not reliable. An improved model is proposed with a new mathematical formulation. It is inspired by the logistic equation whose parameters are estimated using the experimental data obtained. The parameter estimation is very satisfactory. In the last parts of the paper, the numerical predictions of the improved model are compared to experimental data from the literature to prove its reliability.


title: Vector pulsing solitons in Kerr media

abstract: A theory of optical nonresonance vector pulsing solitons in a Kerr media is considered. By using the perturbative reduction method the wave equation is transformed to the coupled nonlinear Schrodinger equations. The profile of the optical nonresonance vector pulsing soliton with the difference and sum of the frequencies is presented. Explicit analytical expressions for the optical two-component vector pulsing soliton with phase modulation are obtained. It is shown that the two-component pulsing soliton in this special case can be transformed to the scalar pulsing soliton,and these waves have different profiles.


title: Analysis of CSAT performance in Wi-Fi and LTE-U Coexistence

abstract: In this paper, we study energy-based Carrier Sense Adaptive Transmission (CSAT) for use with LTE-U and investigate the performance in Wi-Fi/LTE-U coexistence using theoretical analysis and experimental verification using NI USRPs. According to the LTE-U forum specification, if an LTE-U base station (BS) finds a vacant channel, it can transmit for up to 20 ms and turn OFF its transmission for only 1 ms, resulting in a maximum duty cycle of 95%. In a dense deployment of LTE-U and Wi-Fi, it is very likely that a Wi-Fi access point (AP) will wish to use the same channel. It will start transmission by trying to transmit association packets (using carrier sense multiple access with collision avoidance (CSMA/CA)) through the 1 ms LTE-U OFF duration. Since this duration is very small, it leads to increased association packet drops and thus delays the Wi-Fi association process. Once LTE-U, using CSAT, detects Wi-Fi, it should scale back the duty cycle to 50%. We demonstrate in this paper, using an experimental platform as well as theoretical analysis, that if LTE-U is using a 95% duty cycle, energy based CSAT will take a much longer time to scale back the duty cycle due to the beacon drops and delays in the reception. Hence, in order to maintain association fairness with Wi-Fi, we propose that a LTE-U BS should not transmit at maximum duty cycles (95%), even if the channel is sensed to be vacant.


title: Critical exponents of invariant random subgroups in negative curvature

abstract: Let $X$ be a proper geodesic Gromov hyperbolic metric space and let $G$ be a cocompact group of isometries of $X$ admitting a uniform lattice. Let $d$ be the Hausdorff dimension of the Gromov boundary $\partial X$. We define the critical exponent $\delta(\mu)$ of any discrete invariant random subgroup $\mu$ of the locally compact group $G$ and show that $\delta(\mu) > \frac{d}{2}$ in general and that $\delta(\mu) = d$ if $\mu$ is of divergence type. Whenever $G$ is a rank-one simple Lie group with Kazhdan's property $(T)$ it follows that an ergodic invariant random subgroup of divergence type is a lattice. One of our main tools is a maximal ergodic theorem for actions of hyperbolic groups due to Bowen and Nevo.


title: Addressing some critical aspects of the BepiColombo MORE relativity experiment

abstract: The Mercury Orbiter radio Science Experiment (MORE) is one of the experiments on-board the ESA/JAXA BepiColombo mission to Mercury, to be launched in October 2018. Thanks to full on-board and on-ground instrumentation performing very precise tracking from the Earth, MORE will have the chance to determine with very high accuracy the Mercury-centric orbit of the spacecraft and the heliocentric orbit of Mercury. This will allow to undertake an accurate test of relativistic theories of gravitation (relativity experiment), which consists in improving the knowledge of some post-Newtonian and related parameters, whose value is predicted by General Relativity. This paper focuses on two critical aspects of the BepiColombo relativity experiment. First of all, we address the delicate issue of determining the orbits of Mercury and the Earth-Moon barycenter at the level of accuracy required by the purposes of the experiment and we discuss a strategy to cure the rank deficiencies that appear in the problem. Secondly, we introduce and discuss the role of the solar Lense-Thirring effect in the Mercury orbit determination problem and in the relativistic parameters estimation.


title: Regular generalized sampling in T-invariant subspaces of a Hilbert space

abstract: A regular generalized sampling theory in some structured T-invariant subspaces of a Hilbert space H, where T denotes a bounded invertible operator in H, is established in this paper. This is done by walking through the most important cases which generalize the usual sampling settings.


title: Anomaly Detection for Industrial Big Data

abstract: As the Industrial Internet of Things (IIoT) grows, systems are increasingly being monitored by arrays of sensors returning time-series data at ever-increasing 'volume, velocity and variety' (i.e. Industrial Big Data). An obvious use for these data is real-time systems condition monitoring and prognostic time to failure analysis (remaining useful life, RUL). (e.g. See white papers by Senseye.io, and output of the NASA Prognostics Center of Excellence (PCoE).) However, as noted by Agrawal and Choudhary 'Our ability to collect "big data" has greatly surpassed our capability to analyze it, underscoring the emergence of the fourth paradigm of science, which is data-driven discovery.' In order to fully utilize the potential of Industrial Big Data we need data-driven techniques that operate at scales that process models cannot. Here we present a prototype technique for data-driven anomaly detection to operate at industrial scale. The method generalizes to application with almost any multivariate dataset based on independent ordinations of repeated (bootstrapped) partitions of the dataset and inspection of the joint distribution of ordinal distances.


title: Solvable quotients of subdirect products of perfect groups are nilpotent

abstract: We prove the statement in the title and exhibit examples of quotients of arbitrary nilpotency class. This answers a question by D. F. Holt.


title: A Directed Graph Fourier Transform with Spread Frequency Components

abstract: We study the problem of constructing a graph Fourier transform (GFT) for directed graphs (digraphs), which decomposes graph signals into different modes of variation with respect to the underlying network. Accordingly, to capture low, medium and high frequencies we seek a digraph (D)GFT such that the orthonormal frequency components are as spread as possible in the graph spectral domain. To that end, we advocate a two-step design whereby we: (i) find the maximum directed variation (i.e., a novel notion of frequency on a digraph) a candidate basis vector can attain; and (ii) minimize a smooth spectral dispersion function over the achievable frequency range to obtain the desired spread DGFT basis. Both steps involve non-convex, orthonormality-constrained optimization problems, which are efficiently tackled via a provably convergent, feasible optimization method on the Stiefel manifold. We also propose a heuristic to construct the DGFT basis from Laplacian eigen-vectors of an undirected version of the digraph. We show that the spectral-dispersion minimization problem can be cast as supermodular optimization over the set of candidate frequency components, whose orthonormality can be enforced via a matroid basis constraint. This motivates adopting a scalable greedy algorithm to obtain an approximate solution with quantifiable worst-case spectral dispersion. We illustrate the effectiveness of our DGFT algorithms through numerical tests on synthetic and real-world networks. We also carry out a graph-signal denoising task, whereby the DGFT basis is used to decompose and then low-pass filter temperatures recorded across the United States.


title: Gravitational Waves and Neutrinos

abstract: We give an overview about the recent detection of gravitational waves by the Advanced LIGO first and second observing runs and by Advanced Virgo, with emphasis on the prospects for multi-messenger astronomy involving neutrino detections.


title: Portfolio Optimization under Fast Mean-reverting and Rough Fractional Stochastic Environment

abstract: Fractional stochastic volatility models have been widely used to capture the non-Markovian structure revealed from financial time series of realized volatility. On the other hand, empirical studies have identified scales in stock price volatility: both fast-time scale on the order of days and slow-scale on the order of months. So, it is natural to study the portfolio optimization problem under the effects of dependence behavior which we will model by fractional Brownian motions with Hurst index $H$, and in the fast or slow regimes characterized by small parameters $\eps$ or $\delta$. For the slowly varying volatility with $H \in (0,1)$, it was shown that the first order correction to the problem value contains two terms of order $\delta^H$, one random component and one deterministic function of state processes, while for the fast varying case with $H > \half$, the same form holds at order $\eps^{1-H}$. This paper is dedicated to the remaining case of a fast-varying rough environment ($H < \half$) which exhibits a different behavior. We show that, in the expansion, only one deterministic term of order $\sqrt{\eps}$ appears in the first order correction.


title: Correlated stability conjecture for AdS black holes in higher dimensional Ricci cubic gravity

abstract: We investigate the correlated stability conjecture for AdS black holes obtained from the higher dimensional Ricci cubic gravity. It shows that the Ricci tensor perturbations exhibit unstable modes for small AdS black holes when solving Lichnerowicz equation, leading to Gregory-Laflamme instability. On the other hand, we find that a small black hole is thermodynamically unstable by showing the negative heat capacity. This suggests that the correlated stability conjecture holds for AdS black holes in Ricci cubic gravity. Furthermore, we find a newly non-AdS black hole by solving static Lichnerowicz equations, confirming the threshold mass for Gregory-Laflamme instability.


title: Inflation driven by Einstein-Gauss-Bonnet gravity

abstract: We have explicitly demonstrated that scalar coupled Gauss-Bonnet gravity in four dimension can have non-trivial effects on the early inflationary stage of our universe. In particular, we have shown that the scalar coupled Gauss-Bonnet term alone is capable of driving the inflationary stages of the universe without incorporating slow roll approximation, while remaining compatible with the current observations. Subsequently, to avoid the instability of the tensor perturbation modes we have introduced a self-interacting potential for the inflaton field and have shown that in this context as well it is possible to have inflationary scenario. Moreover it turns out that presence of the Gauss-Bonnet term is incompatible with the slow roll approximation and hence one must work with the field equations in the most general context. Finally, we have shown that the scalar coupled Gauss-Bonnet term attains smaller and smaller values as the universe exits from inflation. Thus at the end of the inflation the universe makes a smooth transition to Einstein gravity.


title: Multi-Objective Convolutional Neural Networks for Robot Localisation and 3D Position Estimation in 2D Camera Images

abstract: The field of collaborative robotics and human-robot interaction often focuses on the prediction of human behaviour, while assuming the information about the robot setup and configuration being known. This is often the case with fixed setups, which have all the sensors fixed and calibrated in relation to the rest of the system. However, it becomes a limiting factor when the system needs to be reconfigured or moved. We present a deep learning approach, which aims to solve this issue. Our method learns to identify and precisely localise the robot in 2D camera images, so having a fixed setup is no longer a requirement and a camera can be moved. In addition, our approach identifies the robot type and estimates the 3D position of the robot base in the camera image as well as 3D positions of each of the robot joints. Learning is done by using a multi-objective convolutional neural network with four previously mentioned objectives simultaneously using a combined loss function. The multi-objective approach makes the system more flexible and efficient by reusing some of the same features and diversifying for each objective in lower layers. A fully trained system shows promising results in providing an accurate mask of where the robot is located and an estimate of its base and joint positions in 3D. We compare the results to our previous approach of using cascaded convolutional neural networks.


title: Small impacts on the giant planet Jupiter

abstract: Video observations of Jupiter obtained by amateur astronomers over the past eight years have shown five flashes of light of 1-2 s. The first three of these events occurred on 3 June 2010, 20 August 2010, and 10 September 2012. Previous analyses showed that they were caused by the impact of objects of 5-20 m in diameter, depending on their density, with a released energy comparable to superbolides on Earth of the class of the Chelyabinsk airburst. The most recent two flashes on Jupiter were detected on 17 March 2016 and 26 May 2017 and are analyzed here. We characterize the energy involved together with the masses and sizes of the objects that produced these flashes. The rate of similar impacts on Jupiter provides improved constraints on the total flux of impacts on the planet, which can be compared to the amount of exogenic species detected in the upper atmosphere of Jupiter. We extracted light curves of the flashes and calculated the masses and sizes of the impacting objects. An examination of the number of amateur observations of Jupiter as a function of time allows us to interpret the statistics of these detections. The cumulative flux of small objects (5-20 m or larger) that impact Jupiter is predicted to be low (10-65 impacts per year), and only a fraction of them are potentially observable from Earth (4-25 per year in a perfect survey). More impacts will be found in the next years, with Jupiter opposition displaced toward summer in the northern hemisphere. Objects of this size contribute negligibly to the exogenous species and dust in the stratosphere of Jupiter when compared with the continuous flux from interplanetary dust punctuated by giant impacts. Flashes of a high enough could produce an observable debris field on the planet. We estimate that a continuous search for these impacts might find these events once every 0.4 to 2.6 years.


title: Notes on finitely generated flat modules

abstract: In this article, the projectivity of finitely generated flat modules of a commutative ring are studied from a topological point of view. Then various interesting results are obtained. For instance, it is shown that if a ring has either a finitely many minimal primes or a finitely many maximal ideals then every finitely generated flat module over it is projective. It is also shown that if a particular subset of the prime spectrum of a ring satisfies some certain ascending or descending chain conditions then every finitely generated flat module over this ring is projective. These results generalize some major results in the literature on the projectivity of finitely generated flat modules.


title: Multi-views Fusion CNN for Left Ventricular Volumes Estimation on Cardiac MR Images

abstract: Left ventricular (LV) volumes estimation is a critical procedure for cardiac disease diagnosis. The objective of this paper is to address direct LV volumes prediction task. Methods: In this paper, we propose a direct volumes prediction method based on the end-to-end deep convolutional neural networks (CNN). We study the end-to-end LV volumes prediction method in items of the data preprocessing, networks structure, and multi-views fusion strategy. The main contributions of this paper are the following aspects. First, we propose a new data preprocessing method on cardiac magnetic resonance (CMR). Second, we propose a new networks structure for end-to-end LV volumes estimation. Third, we explore the representational capacity of different slices, and propose a fusion strategy to improve the prediction accuracy. Results: The evaluation results show that the proposed method outperforms other state-of-the-art LV volumes estimation methods on the open accessible benchmark datasets. The clinical indexes derived from the predicted volumes agree well with the ground truth (EDV: R2=0.974, RMSE=9.6ml; ESV: R2=0.976, RMSE=7.1ml; EF: R2=0.828, RMSE =4.71%). Conclusion: Experimental results prove that the proposed method may be useful for LV volumes prediction task. Significance: The proposed method not only has application potential for cardiac diseases screening for large-scale CMR data, but also can be extended to other medical image research fields


title: Numerical comparisons of finite element stabilized methods for high Reynolds numbers vortex dynamics simulations

abstract: In this paper, we consider up-to-date and classical Finite Element (FE) stabilized methods for time-dependent incompressible flows. All studied methods belong to the Variational MultiScale (VMS) framework. So, different realizations of stabilized FE-VMS methods are compared in high Reynolds numbers vortex dynamics simulations. In particular, a fully Residual-Based (RB)-VMS method is compared with the classical Streamline-Upwind Petrov--Galerkin (SUPG) method together with grad-div stabilization, a standard one-level Local Projection Stabilization (LPS) method, and a recently proposed LPS method by interpolation. These procedures do not make use of the statistical theory of equilibrium turbulence, and no ad-hoc eddy viscosity modeling is required for all methods. Applications to the simulations of high Reynolds numbers flows with vortical structures on relatively coarse grids are showcased, by focusing on two-dimensional plane mixing-layer flows. Both Inf-Sup Stable (ISS) and Equal Order (EO) FE pairs are explored, using a second-order semi-implicit Backward Differentiation Formula (BDF2) in time. Based on the numerical studies, it is concluded that the SUPG method using both ISS and EO FE pairs performs best among all methods. Furthermore, there seems to be no reason to extend SUPG method by the higher order terms of the RB-VMS method.


title: Generators and presentations for direct and wreath products of monoid acts

abstract: We investigate the preservation of the properties of being finitely generated and finitely presented under both direct and wreath products of monoid acts. A monoid $M$ is said to preserve property $\mathcal{P}$ in direct products if, for any two $M$-acts $A$ and $B$, the direct product $A\times B$ has property $\mathcal{P}$ if and only if both $A$ and $B$ have property $\mathcal{P}$. It is proved that the monoids $M$ that preserve finite generation (resp. finitely presentability) in direct products are precisely those for which the diagonal $M$-act $M\times M$ is finitely generated (resp. finitely presented). We show that a wreath product $A\wr B$ is finitely generated if and only if both $A$ and $B$ are finitely generated. It is also proved that a necessary condition for $A\wr B$ to be finitely presented is that both $A$ and $B$ are finitely presented. Finally, we find some sufficient conditions for a wreath product to be finitely presented.


title: A Categorical Approach to Syntactic Monoids

abstract: The syntactic monoid of a language is generalized to the level of a symmetric monoidal closed category $\mathcal D$. This allows for a uniform treatment of several notions of syntactic algebras known in the literature, including the syntactic monoids of Rabin and Scott ($\mathcal D=$ sets), the syntactic ordered monoids of Pin ($\mathcal D =$ posets), the syntactic semirings of Pol\'ak ($\mathcal D=$ semilattices), and the syntactic associative algebras of Reutenauer ($\mathcal D$ = vector spaces). Assuming that $\mathcal D$ is a commutative variety of algebras or ordered algebras, we prove that the syntactic $\mathcal D$-monoid of a language $L$ can be constructed as a quotient of a free $\mathcal D$-monoid modulo the syntactic congruence of $L$, and that it is isomorphic to the transition $\mathcal D$-monoid of the minimal automaton for $L$ in $\mathcal D$. Furthermore, in the case where the variety $\mathcal D$ is locally finite, we characterize the regular languages as precisely the languages with finite syntactic $\mathcal D$-monoids.


title: Comment on "Effects of cosmic-string framework on the thermodynamical properties of anharmonic oscillator using the ordinary statistics and the q-deformed superstatistics approaches"

abstract: We point out a misleading treatment in a recent paper published in this Journal [Eur. Phys. J. C (2018)78:106] regarding solutions for the Schr\"{o}dinger equation with a anharmonic oscillator potential embedded in the background of a cosmic string mapped into biconfluent Heun equation. This fact jeopardizes the thermodynamical properties calculated in this system.


title: Crux's Crux's crux

abstract: Problem 1325 from the journal Crux Mathematicorum is revisited, and a new solution is presented.


title: Holomorphic Riemannian metric and fundamental group

abstract: We prove that compact complex manifolds bearing a holomorphic Riemannian metric have infinite fundamental group.


title: Least Squares Wavelet-based Estimation for Additive Regression Models using Non Equally-Spaced Designs

abstract: Additive regression models are actively researched in the statistical field because of their usefulness in the analysis of responses determined by non-linear relationships with multivariate predictors. In this kind of statistical models, the response depends linearly on unknown functions of predictor variables and typically, the goal of the analysis is to make inference about these functions. In this paper, we study the problem of additive regression using a least squares approach based on periodic orthogonal wavelets on the interval [0,1]. For this estimator, we obtain strong consistency (with respect to the $\mathbb{L}_{2}$ norm) characterized by optimal convergence rates up to a logarithmic factor, independent of the dimensionality of the problem. This is achieved by truncating the model estimates by a properly chosen parameter, and selecting the multiresolution level $J$ used for the wavelet expansion, as a function of the sample size. In this approach, we obtain these results without the assumption of an equispaced design, a condition that is typically assumed in most wavelet-based procedures. Finally, we show practical results obtained from a simulation study and a real life application, demonstrating the applicability of the proposed methods for the problem of non-linear robust additive regression models.


title: A Bayes-Sard Cubature Method

abstract: This paper focusses on the formulation of numerical integration as an inferential task. To date, research effort has largely focussed on the development of Bayesian cubature, whose distributional output provides uncertainty quantification for the integral. However, the point estimators associated to Bayesian cubature can be inaccurate and acutely sensitive to the prior when the domain is high-dimensional. To address these drawbacks we introduce Bayes-Sard cubature, a probabilistic framework that combines the flexibility of Bayesian cubature with the robustness of classical cubatures which are well-established. This is achieved by considering a Gaussian process model for the integrand whose mean is a parametric regression model, with an improper flat prior on each regression coefficient. The features in the regression model consist of test functions which are guaranteed to be exactly integrated, with remaining degrees of freedom afforded to the non-parametric part. The asymptotic convergence of the Bayes-Sard cubature method is established and the theoretical results are numerically verified. In particular, we report two orders of magnitude reduction in error compared to Bayesian cubature in the context of a high-dimensional financial integral.


title: Optical visibility and core structure of vortex filaments in a bosonic superfluid

abstract: We use optical images of a superfluid consisting of a weakly interacting Bose-Einstein condensate of sodium atoms to investigate the structure of quantized three-dimensional vortex filaments. We find that the measured optical contrast and the width of the vortex core quantitatively agree with the predictions of the Gross-Pitaevskii equation.


title: High-dimensional Linear Discriminant Analysis: Optimality, Adaptive Algorithm, and Missing Data

abstract: This paper aims to develop an optimality theory for linear discriminant analysis in the high-dimensional setting. A data-driven and tuning free classification rule, which is based on an adaptive constrained $\ell_1$ minimization approach, is proposed and analyzed. Minimax lower bounds are obtained and this classification rule is shown to be simultaneously rate optimal over a collection of parameter spaces. In addition, we consider classification with incomplete data under the missing completely at random (MCR) model. An adaptive classifier with theoretical guarantees is introduced and optimal rate of convergence for high-dimensional linear discriminant analysis under the MCR model is established. The technical analysis for the case of missing data is much more challenging than that for the complete data. We establish a large deviation result for the generalized sample covariance matrix, which serves as a key technical tool and can be of independent interest. An application to lung cancer and leukemia studies is also discussed.


title: On the resolvability of Lindel\"of-generated and (countable extent)-generated spaces

abstract: Given a topological property $P$, we say that the space $X$ is $P$-generated if for any subset $A\subset X$ that is not open in $X$ there is a subspace $Y \subset X$ with property $P$ such that $A\cap Y$ is not open in $Y$. (Of course, in this definition we could replace "open" with "closed".) In this paper we prove the following two results: (1) Every Lindel\"of-generated regular space $X$ satisfying $|X|=\Delta(X)={\omega}_1$ is ${\omega}_1$-resolvable. (2) Any (countable extent)-generated regular space $X$ satisfying $\Delta(X)>{\omega}$ is ${\omega}$-resolvable. These are significant strengthenings of our earlier results from [JSSz] which can be obtained from (1) and (2) by simply omitting the "-generated" part. Moreover, the second result improves a recent result of Filatova and Osipov from [FO] which states that Lindel\"of-generated regular spaces of uncountable dispersion character are 2-resolvable. [FO] Maria A. Filatova, Alexander V. Osipov On resolvability of Lindel\"of generated spaces, arxiv:1712.00803. Siberian Electronic Mathematical Reports, Vol. 14, (2017) pp. 1444-1444. [JSSz] Juh\'asz, Istv\'an; Soukup, Lajos; Szentmikl\'ossy, Zolt\'an, Regular spaces of small extent are ${\omega}$-resolvable. Fund. Math. 228 (2015), no. 1, 27-46.


title: Nuclear Equation of state for Compact Stars and Supernovae

abstract: The equation of state (EoS) of hot and dense matter is a fundamental input to describe static and dynamical properties of neutron stars, core-collapse supernovae and binary compact-star mergers. We review the current status of the EoS for compact objects, that have been studied with both ab-initio many-body approaches and phenomenological models. We limit ourselves to the description of EoSs with purely nucleonic degrees of freedom, disregarding the appearance of strange baryonic matter and/or quark matter. We compare the theoretical predictions with different data coming from both nuclear physics experiments and astrophysical observations. Combining the complementary information thus obtained greatly enriches our insights into the dense nuclear matter properties. Current challenges in the description of the EoS are also discussed, mainly focusing on the model dependence of the constraints extracted from either experimental or observational data (specifically, concerning the symmetry energy), the lack of a consistent and rigorous many-body treatment at zero and finite temperature of the matter encountered in compact stars (e.g. problem of cluster formation and extension of the EoS to very high temperatures), the role of nucleonic three-body forces, and the dependence of the direct URCA processes on the EoS.


title: Van der Waals spin valves

abstract: We propose spin valves where a 2D non-magnetic conductor is intercalated between two ferromagnetic insulating layers. In this setup, the relative orientation of the magnetizations of the insulating layers can have a strong impact on the in-plane conductivity of the 2D conductor. We first show this for a graphene bilayer, described with a tight-binding model, placed between two ferromagnetic insulators. In the anti-parallel configuration, a band gap opens at the Dirac point, whereas in the parallel configuration, the graphene bilayer remains conducting. We then compute the electronic structure of graphene bilayer placed between two monolayers of the ferromagnetic insulator CrI$_3$, using density functional theory. Consistent with the model, we find that a gap opens at the Dirac point only in the antiparallel configuration.


title: Learning at the Ends: From Hand to Tool Affordances in Humanoid Robots

abstract: One of the open challenges in designing robots that operate successfully in the unpredictable human environment is how to make them able to predict what actions they can perform on objects, and what their effects will be, i.e., the ability to perceive object affordances. Since modeling all the possible world interactions is unfeasible, learning from experience is required, posing the challenge of collecting a large amount of experiences (i.e., training data). Typically, a manipulative robot operates on external objects by using its own hands (or similar end-effectors), but in some cases the use of tools may be desirable, nevertheless, it is reasonable to assume that while a robot can collect many sensorimotor experiences using its own hands, this cannot happen for all possible human-made tools. Therefore, in this paper we investigate the developmental transition from hand to tool affordances: what sensorimotor skills that a robot has acquired with its bare hands can be employed for tool use? By employing a visual and motor imagination mechanism to represent different hand postures compactly, we propose a probabilistic model to learn hand affordances, and we show how this model can generalize to estimate the affordances of previously unseen tools, ultimately supporting planning, decision-making and tool selection tasks in humanoid robots. We present experimental results with the iCub humanoid robot, and we publicly release the collected sensorimotor data in the form of a hand posture affordances dataset.


title: Variational ansatz-based quantum simulation of imaginary time evolution

abstract: Imaginary time evolution is a powerful tool for studying quantum systems. While it is possible to simulate with a classical computer, the time and memory requirements generally scale exponentially with the system size. Conversely, quantum computers can efficiently simulate quantum systems, but not non-unitary imaginary time evolution. We propose a variational algorithm for simulating imaginary time evolution on a hybrid quantum computer. We use this algorithm to find the ground-state energy of many-particle systems; specifically molecular hydrogen and lithium hydride, finding the ground state with high probability. Our method can also be applied to general optimisation problems and quantum machine learning. As our algorithm is hybrid, suitable for error mitigation and can exploit shallow quantum circuits, it can be implemented with current quantum computers.


title: Implementing Line-Hermitian Grassmann codes

abstract: In [I. Cardinali and L. Giuzzi. Line Hermitian Grassmann codes and their parameters. Finite Fields Appl., 51: 407-432, 2018] we introduced line Hermitian Grassmann codes and determined their parameters. The aim of this paper is to present (in the spirit of [I. Cardinali and L. Giuzzi. Enumerative coding for line polar Grassmannians with applications to codes. Finite Fields Appl., 46:107-138, 2017]) an algorithm for the point enumerator of a line Hermitian Grassmannian which can be usefully applied to get efficient encoders, decoders and error correction algorithms for the aforementioned codes.


title: Homotopy Loday Algebras and Symplectic $2$-Manifolds

abstract: Using the technique of higher derived brackets developed by Voronov, we construct a homotopy Loday algebra in the sense of Ammar and Poncin associated to any symplectic $2$-manifold. The algebra we obtain has a particularly nice structure, in that it accommodates the Dorfman bracket of a Courant algebroid as the binary operation in the hierarchy of operations, and the defect in the symmetry of each operation is measurable in a certain precise sense. We move to call such an algebra a homotopy Dorfman algebra, or a $D_\infty$-algebra, which leads to the construction of a homotopy Courant algebroid.


title: Phase-sensitive imaging of microwave currents in superconductive circuits

abstract: The contemporary superconductive electronics is widely using planar circuits with micrometer-scale elements for a variety of applications. With the rise of complexity of a circuit and increased number of its components, a simple impedance measurement are often not efficient for diagnostics of problems, nor for clarifying the physics underlying the circuit response. The established Scanning Laser Microscope (LSM) technique generates the micrometer-scale images of the amplitude of the microwave currents in a planar superconductive circuit, but not the phase of the oscillating currents. Here we present a novel, more powerful type of LSM imaging containing the signal phase information. We employ a fast optical modulator in order to synchronize the phase of the laser intensity oscillation with the phase of the probing microwave signal. The loss induced in laser illuminated area strongly depends on the phase difference between the RF probing signal and the laser beam modulation. We explain the detection principle of the phase sensitive LSM and experimentally demonstrate the capability of this method using superconductive microwave resonators. The described technique facilitates understanding of complex RF current distributions in superconductive circuits.