title: Fast Arithmetic Hardware Library For RLWE-Based Homomorphic Encryption

abstract: In this work, we propose an open-source, first-of-its-kind, arithmetic hardware library with a focus on accelerating the arithmetic operations involved in Ring Learning with Error (RLWE)-based somewhat homomorphic encryption (SHE). We design and implement a hardware accelerator consisting of submodules like Residue Number System (RNS), Chinese Remainder Theorem (CRT), NTT-based polynomial multiplication, modulo inverse, modulo reduction, and all the other polynomial and scalar operations involved in SHE. For all of these operations, wherever possible, we include a hardware-cost efficient serial and a fast parallel implementation in the library. A modular and parameterized design approach helps in easy customization and also provides flexibility to extend these operations for use in most homomorphic encryption applications that fit well into emerging FPGA-equipped cloud architectures. Using the submodules from the library, we prototype a hardware accelerator on FPGA. The evaluation of this hardware accelerator shows a speed up of approximately 4200x and 2950x to evaluate a homomorphic multiplication and addition respectively when compared to an existing software implementation.


title: Stabilizing of a Class of Underactuated Euler Lagrange System Using an Approximate Model

abstract: The energy shaping method, Controlled Lagrangian, is a well-known approach to stabilize the under-actuated Euler Lagrange (EL) systems. In this approach, to construct a control rule, some nonlinear, nonhomogeneous partial differential equations (PDEs), which are called matching conditions, must be solved. In this paper, a method is proposed to obtain an approximate solution of these matching conditions for a class of under-actuated EL systems. To develop the method, the potential energy matching condition is transformed to a set of linear PDEs using an approximation of inertia matrices. So the assignable potential energy function and the controlled inertia matrix, both are constructed as a common solution of these PDEs. Afterwards, the gyroscopic and dissipative forces are found as the solution of the kinetic energy matching condition. Finally, the control rule is constructed by adding energy shaping rule and additional dissipation injection to provide asymptotic stability. The stability analysis of the closed loop system which used the control rule derived with the proposed method is also given. To demonstrate the success of the proposed method, the stability problem of the inverted pendulum on a cart is considered.


title: Cornering (quasi) degenerate neutrinos with cosmology

abstract: In light of the improved sensitivities of cosmological observations, we examine the status of quasi-degenerate neutrino mass scenarios. Within the simplest extension of the standard cosmological model with massive neutrinos, we find that quasi-degenerate neutrinos are severely constrained by present cosmological data and neutrino oscillation experiments. % % We find that Planck 2018 observations of cosmic microwave background (CMB) anisotropies disfavour quasi-degenerate neutrino masses at $2.4$ Gaussian $\sigma$'s, while adding Baryon acoustic oscillations (BAO) data brings the rejection to 5.9$\sigma$'s. % The highest statistical significance with which one would be able to rule out quasi-degeneracy would arise if the sum of neutrino masses is $\Sigma m_\nu = 60$ \meV (the minimum allowed by neutrino oscillation experiments); % indeed a sensitivity of 15 meV, as expected from a combination of future cosmological probes, would further improve the rejection level up to 17$\sigma$. % We discuss the robustness of these projections with respect to assumptions on the underlying cosmological model, and also compare them with bounds from $\beta$ decay endpoint and neutrinoless double beta decay studies.


title: Interrogating the temporal coherence of EUV frequency combs with highly charged ions

abstract: A scheme to infer the temporal coherence of EUV frequency combs generated from intra-cavity high-order harmonic generation is put forward. The excitation dynamics of highly charged Mg-like ions, interacting with EUV pulse trains featuring different carrier-envelope-phase fluctuations, are simulated. While demonstrating the microscopic origin of the macroscopic equivalence between excitations induced by pulse trains and continuous-wave lasers, we show that the coherence time of the pulse train can be determined from the spectrum of the excitations. The scheme will provide a verification of the comb temporal coherence at time scales several orders of magnitude longer than current state of the art, and at the same time will enable high-precision spectroscopy of EUV transitions with a relative accuracy up to $\delta\omega/\omega\sim10^{-17}$.


title: Generating Informative Dialogue Responses with Keywords-Guided Networks

abstract: Recently, open-domain dialogue systems have attracted growing attention. Most of them use the sequence-to-sequence (Seq2Seq) architecture to generate responses. However, traditional Seq2Seq-based open-domain dialogue models tend to generate generic and safe responses, which are less informative, unlike human responses. In this paper, we propose a simple but effective keywords-guided Sequence-to-Sequence model (KW-Seq2Seq) which uses keywords information as guidance to generate open-domain dialogue responses. Specifically, KW-Seq2Seq first uses a keywords decoder to predict some topic keywords, and then generates the final response under the guidance of them. Extensive experiments demonstrate that the KW-Seq2Seq model produces more informative, coherent and fluent responses, yielding substantive gain in both automatic and human evaluation metrics.


title: Analytic solution of system of singular nonlinear differential equations with Neumann-Robin boundary conditions arising in astrophysics

abstract: In this paper, we propose a new approach for the approximate analytic solution of system of Lane-Emden-Fowler type equations with Neumann-Robin boundary conditions. The algorithm is based on Green's function and the homotopy analysis method. This approach depends on constructing Green's function before establishing the recursive scheme for the approximate analytic solution of the equivalent system of integral equations. Unlike Adomian decomposition method (ADM) \cite{singh2020solving}, the present method contains adjustable parameters to control the convergence of the approximate series solution. Convergence and error estimation of the present is provided under quite general conditions. Several examples are considered to demonstrate the accuracy of the current algorithm. Computational results reveal that the proposed approach produces better results as compared to some existing iterative methods.


title: QED at NNLO with McMule

abstract: McMule is a framework for fully differential higher-order QED calculations of scattering and decay processes involving leptons. It keeps finite lepton masses, which regularises collinear singularities. Soft singularities are treated with dimensional regularisation and using FKS$^\ell$ subtraction. We describe the implementation of the framework in Fortran 95, list the processes that are currently implemented, and give instructions on how to run the code. In addition, we present new phenomenological results for muon-electron scattering and lepton-proton scattering, including the dominant NNLO corrections. While the applications presented focus on MUonE, MUSE, and P2, the code can be used for a large number of planned and running experiments.


title: Solar Radio Observation Using CALLISTO at the USO/PRL, Udaipur

abstract: This paper presents a detailed description of various subsystems of CALLISTO solar radio spectrograph installed at the USO/PRL. In the front-end system, a log periodic dipole antenna (LPDA) is designed for the frequency range of 40-900 MHz. In this paper LPDA design, its modifications, and simulation results are presented. We also present some initial observations taken by CALLISTO at Udaipur.


title: Numerical evidence of anomalous energy dissipation in incompressible Euler flows: Towards grid-converged results for the inviscid Taylor-Green problem

abstract: Providing evidence of finite-time singularities of the incompressible Euler equations in three space dimensions is still an unsolved problem. Likewise, the zeroth law of turbulence has not been proven to date by numerical experiments. We address this issue by high-resolution numerical simulations of the inviscid three-dimensional Taylor-Green vortex problem using a novel high-order discontinuous Galerkin discretization approach. Our main finding is that the kinetic energy evolution does not tend towards exact energy conservation for increasing spatial resolution of the numerical scheme, but instead converges to a solution with nonzero kinetic energy dissipation rate. This implies an energy dissipation anomaly in the absense of viscous dissipation according to Onsager's conjecture, and serves as an indication of finite-time singularities in incompressible inviscid flows. We demonstrate convergence to a dissipative solution for the three-dimensional inviscid Taylor-Green problem with a measured relative $L_2$-error of $0.27 \%$ for the temporal evolution of the kinetic energy and $3.52 \%$ for the kinetic energy dissipation rate.


title: Deformations of nearly $G_2$-structures

abstract: We describe the second order obstruction to deformation for nearly $G_2$ structures on compact manifolds. Building on work of B.Alexandrov and U.Semmelmann this allows proving rigidity under deformation for the proper nearly $G_2$ structure on the Aloff-Wallach space $N(1,1)$.


title: Playing with Words at the National Library of Sweden -- Making a Swedish BERT

abstract: This paper introduces the Swedish BERT ("KB-BERT") developed by the KBLab for data-driven research at the National Library of Sweden (KB). Building on recent efforts to create transformer-based BERT models for languages other than English, we explain how we used KB's collections to create and train a new language-specific BERT model for Swedish. We also present the results of our model in comparison with existing models - chiefly that produced by the Swedish Public Employment Service, Arbetsf\"ormedlingen, and Google's multilingual M-BERT - where we demonstrate that KB-BERT outperforms these in a range of NLP tasks from named entity recognition (NER) to part-of-speech tagging (POS). Our discussion highlights the difficulties that continue to exist given the lack of training data and testbeds for smaller languages like Swedish. We release our model for further exploration and research here: https://github.com/Kungbib/swedish-bert-models .


title: Diagnostic Uncertainty Calibration: Towards Reliable Machine Predictions in Medical Domain

abstract: We propose an evaluation framework for class probability estimates (CPEs) in the presence of label uncertainty, which is commonly observed as diagnosis disagreement between experts in the medical domain. We also formalize evaluation metrics for higher-order statistics, including inter-rater disagreement, to assess predictions on label uncertainty. Moreover, we propose a novel post-hoc method called $alpha$-calibration, that equips neural network classifiers with calibrated distributions over CPEs. Using synthetic experiments and a large-scale medical imaging application, we show that our approach significantly enhances the reliability of uncertainty estimates: disagreement probabilities and posterior CPEs.


title: On Extensions of Yang-Mills-Type Theories, Their Spaces and Their Categories

abstract: In this paper we consider the classification problem of extensions of Yang-Mills-type (YMT) theories. For us, a YMT theory differs from the classical Yang-Mills theories by allowing an arbitrary pairing on the curvature. The space of YMT theories with a prescribed gauge group $G$ and instanton sector $P$ is classified, an upper bound to its rank is given and it is compared with the space of Yang-Mills theories. We present extensions of YMT theories as a simple and unified approach to many different notions of deformations and addition of correction terms previously discussed in the literature. A relation between these extensions and emergence phenomena in the sense of arXiv:2004.13144 is presented. We consider the space of all extensions of a fixed YMT theory $S^G$ and we prove that for every additive group action of $\mathbb{G}$ in $\mathbb{R}$ and every commutative and unital ring $R$, this space has an induced structure of $R[\mathbb{G}]$-module bundle. We conjecture that this bundle can be continuously embedded into a trivial bundle. Morphisms between extensions of a fixed YMT theory are defined in such a way that they define a category of extensions. It is proved that this category is a reflective subcategory of a slice category, reflecting some properties of its limits and colimits.


title: ADG: Automated generation and evaluation of many-body diagrams II. Particle-number projected Bogoliubov many-body perturbation theory

abstract: We describe the second version (v2.0.0) of the code ADG that automatically (1) generates all valid off-diagonal Bogoliubov many-body perturbation theory diagrams at play in particle-number projected Bogoliubov many-body perturbation theory (PNP-BMBPT) and (2) evaluates their algebraic expression to be implemented for numerical applications. This is achieved at any perturbative order $p$ for a Hamiltonian containing both two-body (four-legs) and three-body (six-legs) interactions (vertices). All valid off-diagonal BMBPT diagrams of order $p$ are systematically generated from the set of diagonal, i.e., unprojected, BMBPT diagrams. The production of the latter were described at length in https://doi.org/10.1016/j.cpc.2018.11.023 dealing with the first version of ADG. The automated evaluation of off-diagonal BMBPT diagrams relies both on the application of algebraic Feynman's rules and on the identification of a powerful diagrammatic rule providing the result of the remaining $p$-tuple time integral. The new diagrammatic rule generalizes the one already identified in https://doi.org/10.1016/j.cpc.2018.11.023 to evaluate diagonal BMBPT diagrams independently of their perturbative order and topology. The code ADG is written in Python3 and uses the graph manipulation package NetworkX. The code is kept flexible enough to be further expanded throughout the years to tackle the diagrammatics at play in various many-body formalisms that already exist or are yet to be formulated.

categories: nucl-th cond-mat.str-el physics.atom-ph physics.chem-ph


title: Scattering contrast in GHz frequency ultrasound subsurface atomic force microscopy for detection of deeply buried features

abstract: While Atomic Force Microscopy is mostly used to investigate surface properties, people have almost since its invention sought to apply its high resolution capability to image also structures buried within samples. One of the earliest techniques for this was based on using ultrasound excitations to visualize local differences in effective tip-sample stiffness caused by the presence of buried structures with different visco-elasticity from their surroundings. While the use of ultrasound has often triggered discussions on the contribution of diffraction or scattering of acoustic waves in visualizing buried structures, no conclusive papers on this topic have been published. Here we demonstrate and discuss how such acoustical effects can be unambiguously recognized and can be used with Atomic Force Microscopy to visualize deeply buried structures.


title: Constraints on electron-scattering interpretation of XENON1T excess

abstract: Recently, the XENON1T experiment has observed an excess in the electronic recoil data in the recoil energy range of $1$-$7$ keV. One of the most favored new physics interpretations is electron scattering with a boosted particle with a velocity of $\sim 0.1$ and a mass of $\gtrsim 0.1\,\mathrm{MeV}$. If such a particle has a strong interaction with electrons, it may affect the standard scenario of cosmology or be observed at low-threshold direct detection experiments. We study various constraints, mainly focusing on those from the big-bang nucleosynthesis, supernova cooling, and direct detection experiments. We discuss the implication of these constraints on electron-scattering interpretation of the XENON1T excess.


title: Experimental constraints on shallow heating in accreting neutron-star crusts

abstract: The observed thermal relaxation of transiently accreting neutron stars during quiescence periods in low-mass X-ray binaries suggests the existence of unknown heat sources in the shallow layers of neutron-star crust. Making use of existing experimental nuclear data, we estimate the maximum possible amount of heat that can be deposited in the outer crust of an accreting neutron star due to electron captures and pycnonuclear fusion reactions triggered by the burial of X-ray burst ashes.


title: Pulsating strings in $Schr_5 \times T^{1,1}$ background

abstract: The quest for extension of holographic correspondence to non-relativistic sectors naturally includes Schr\"odinger backgrounds and their field theory duals. In this paper we study the holography by probing the correspondence with pulsating strings. The case we consider is pulsating strings in five-dimensional Schr\"odinger space times five-torus $T^{1,1}$, which has as field theory dual a dipole CFT. First we find particular pulsating string solutions and then semi-classically quantize the theory. We obtain the wave function of the problem and thoroughly study the corrections to the energy, which by duality are supposed to give anomalous dimensions of certain operators in the dipole CFT.


title: Mapping Flows on Bipartite Networks

abstract: Mapping network flows provides insight into the organization of networks, but even though many real-networks are bipartite, no method for mapping flows takes advantage of the bipartite structure. What do we miss by discarding this information and how can we use it to understand the structure of bipartite networks better? The map equation models network flows with a random walk and exploits the information-theoretic duality between compression and finding regularities to detect communities in networks. However, it does not use the fact that random walks in bipartite networks alternate between node types, information worth 1 bit. To make some or all of this information available to the map equation, we developed a coding scheme that remembers node types at different rates. We explored the community landscape of bipartite real-world networks from no node-type information to full node-type information and found that using node types at a higher rate generally leads to deeper community hierarchies and a higher resolution. The corresponding compression of network flows exceeds the amount of extra information provided. Consequently, taking advantage of the bipartite structure increases the resolution and reveals more network regularities.


title: Reading Comprehension in Czech via Machine Translation and Cross-lingual Transfer

abstract: Reading comprehension is a well studied task, with huge training datasets in English. This work focuses on building reading comprehension systems for Czech, without requiring any manually annotated Czech training data. First of all, we automatically translated SQuAD 1.1 and SQuAD 2.0 datasets to Czech to create training and development data, which we release at http://hdl.handle.net/11234/1-3249. We then trained and evaluated several BERT and XLM-RoBERTa baseline models. However, our main focus lies in cross-lingual transfer models. We report that a XLM-RoBERTa model trained on English data and evaluated on Czech achieves very competitive performance, only approximately 2 percent points worse than a~model trained on the translated Czech data. This result is extremely good, considering the fact that the model has not seen any Czech data during training. The cross-lingual transfer approach is very flexible and provides a reading comprehension in any language, for which we have enough monolingual raw texts.


title: Security Limitations of Classical-Client Delegated Quantum Computing

abstract: Secure delegated quantum computing allows a computationally weak client to outsource an arbitrary quantum computation to an untrusted quantum server in a privacy-preserving manner. One of the promising candidates to achieve classical delegation of quantum computation is classical-client remote state preparation ($RSP_{CC}$), where a client remotely prepares a quantum state using a classical channel. However, the privacy loss incurred by employing $RSP_{CC}$ as a sub-module is unclear. In this work, we investigate this question using the Constructive Cryptography framework by Maurer and Renner (ICS'11). We first identify the goal of $RSP_{CC}$ as the construction of ideal RSP resources from classical channels and then reveal the security limitations of using $RSP_{CC}$. First, we uncover a fundamental relationship between constructing ideal RSP resources (from classical channels) and the task of cloning quantum states. Any classically constructed ideal RSP resource must leak to the server the full classical description (possibly in an encoded form) of the generated quantum state, even if we target computational security only. As a consequence, we find that the realization of common RSP resources, without weakening their guarantees drastically, is impossible due to the no-cloning theorem. Second, the above result does not rule out that a specific $RSP_{CC}$ protocol can replace the quantum channel at least in some contexts, such as the Universal Blind Quantum Computing (UBQC) protocol of Broadbent et al. (FOCS '09). However, we show that the resulting UBQC protocol cannot maintain its proven composable security as soon as $RSP_{CC}$ is used as a subroutine. Third, we show that replacing the quantum channel of the above UBQC protocol by the $RSP_{CC}$ protocol QFactory of Cojocaru et al. (Asiacrypt '19), preserves the weaker, game-based, security of UBQC.


title: Gaussian Process Regression with Local Explanation

abstract: Gaussian process regression (GPR) is a fundamental model used in machine learning. Owing to its accurate prediction with uncertainty and versatility in handling various data structures via kernels, GPR has been successfully used in various applications. However, in GPR, how the features of an input contribute to its prediction cannot be interpreted. Herein, we propose GPR with local explanation, which reveals the feature contributions to the prediction of each sample, while maintaining the predictive performance of GPR. In the proposed model, both the prediction and explanation for each sample are performed using an easy-to-interpret locally linear model. The weight vector of the locally linear model is assumed to be generated from multivariate Gaussian process priors. The hyperparameters of the proposed models are estimated by maximizing the marginal likelihood. For a new test sample, the proposed model can predict the values of its target variable and weight vector, as well as their uncertainties, in a closed form. Experimental results on various benchmark datasets verify that the proposed model can achieve predictive performance comparable to those of GPR and superior to that of existing interpretable models, and can achieve higher interpretability than them, both quantitatively and qualitatively.


title: Energy Conservation in the thin layer approximation: II. The asymmetric classic case for supernovae remnants

abstract: Here we extend the conservation of energy in the framework of the thin layer approximation to the asymmetrical case. Four types of interstellar medium are analysed, in which the density follows an inverse square profile, a power law profile, an exponential profile and a toroidal profile. An analytical solution for the radius as a function of time and the polar angle in spherical coordinates is derived in the case of the inverse square profile. The analytical and numerical results are applied to two supernova remnants: SN 1987A and SN 1006. The back reaction due to the radiative losses is evaluated in the case of the inverse square profile for the surrounding medium. Two models for the image formation are presented, which explain the triple ring visible in SN 1987A and the jet feature of SN 1006.


title: Few-Shot Microscopy Image Cell Segmentation

abstract: Automatic cell segmentation in microscopy images works well with the support of deep neural networks trained with full supervision. Collecting and annotating images, though, is not a sustainable solution for every new microscopy database and cell type. Instead, we assume that we can access a plethora of annotated image data sets from different domains (sources) and a limited number of annotated image data sets from the domain of interest (target), where each domain denotes not only different image appearance but also a different type of cell segmentation problem. We pose this problem as meta-learning where the goal is to learn a generic and adaptable few-shot learning model from the available source domain data sets and cell segmentation tasks. The model can be afterwards fine-tuned on the few annotated images of the target domain that contains different image appearance and different cell type. In our meta-learning training, we propose the combination of three objective functions to segment the cells, move the segmentation results away from the classification boundary using cross-domain tasks, and learn an invariant representation between tasks of the source domains. Our experiments on five public databases show promising results from 1- to 10-shot meta-learning using standard segmentation neural network architectures.


title: A fully data-driven approach to minimizing CVaR for portfolio of assets via SGLD with discontinuous updating

abstract: A new approach in stochastic optimization via the use of stochastic gradient Langevin dynamics (SGLD) algorithms, which is a variant of stochastic gradient decent (SGD) methods, allows us to efficiently approximate global minimizers of possibly complicated, high-dimensional landscapes. With this in mind, we extend here the non-asymptotic analysis of SGLD to the case of discontinuous stochastic gradients. We are thus able to provide theoretical guarantees for the algorithm's convergence in (standard) Wasserstein distances for both convex and non-convex objective functions. We also provide explicit upper estimates of the expected excess risk associated with the approximation of global minimizers of these objective functions. All these findings allow us to devise and present a fully data-driven approach for the optimal allocation of weights for the minimization of CVaR of portfolio of assets with complete theoretical guarantees for its performance. Numerical results illustrate our main findings.

categories: q-fin.PM math.OC math.PR math.ST q-fin.MF stat.TH


title: On girth and the parameterized complexity of token sliding and token jumping

abstract: In the Token Jumping problem we are given a graph $G = (V,E)$ and two independent sets $S$ and $T$ of $G$, each of size $k \geq 1$. The goal is to determine whether there exists a sequence of $k$-sized independent sets in $G$, $\langle S_0, S_1, \ldots, S_\ell \rangle$, such that for every $i$, $|S_i| = k$, $S_i$ is an independent set, $S = S_0$, $S_\ell = T$, and $|S_i \Delta S_{i+1}| = 2$. In other words, if we view each independent set as a collection of tokens placed on a subset of the vertices of $G$, then the problem asks for a sequence of independent sets which transforms $S$ to $T$ by individual token jumps which maintain the independence of the sets. This problem is known to be PSPACE-complete on very restricted graph classes, e.g., planar bounded degree graphs and graphs of bounded bandwidth. A closely related problem is the Token Sliding problem, where instead of allowing a token to jump to any vertex of the graph we instead require that a token slides along an edge of the graph. Token Sliding is also known to be PSPACE-complete on the aforementioned graph classes. We investigate the parameterized complexity of both problems on several graph classes, focusing on the effect of excluding certain cycles from the input graph. In particular, we show that both Token Sliding and Token Jumping are fixed-parameter tractable on $C_4$-free bipartite graphs when parameterized by $k$. For Token Jumping, we in fact show that the problem admits a polynomial kernel on $\{C_3,C_4\}$-free graphs. In the case of Token Sliding, we also show that the problem admits a polynomial kernel on bipartite graphs of bounded degree. We believe both of these results to be of independent interest. We complement these positive results by showing that, for any constant $p \geq 4$, both problems are W[1]-hard on $\{C_4, \dots, C_p\}$-free graphs and Token Sliding remains W[1]-hard even on bipartite graphs.


title: CPA-Lasing in Thin-Elastic Plates via Exceptional Points

abstract: We present here how a coherent perfect absorber-laser (CPAL) enabled by parity-time ($\mathcal{PT}$)-symmetry breaking may be exploited to build monochromatic amplifying devices for flexural waves. The fourth order partial differential equation governing the propagation of flexural waves leads to four by four transfer matrices, and this results in physical properties of the $\mathcal{PT}$-symmetry specific to elastic plate systems. We thus demonstrate the possibility of using CPAL for such systems and we argue the possibility of using this concept to detect extremely small-scale vibration perturbations with important outcomes in surface science (imaging of nanometer vibration) and geophysics (improving seismic sensors like velocimeters). The device can also generate finite signals using very low exciting intensities. The system can alternatively be used as a perfect absorber for flexural energy by tailoring the left and right incident wave for energy harvesting applications.


title: Stochastic Variational Bayesian Inference for a Nonlinear Forward Model

abstract: Variational Bayes (VB) has been used to facilitate the calculation of the posterior distribution in the context of Bayesian inference of the parameters of nonlinear models from data. Previously an analytical formulation of VB has been derived for nonlinear model inference on data with additive gaussian noise as an alternative to nonlinear least squares. Here a stochastic solution is derived that avoids some of the approximations required of the analytical formulation, offering a solution that can be more flexibly deployed for nonlinear model inference problems. The stochastic VB solution was used for inference on a biexponential toy case and the algorithmic parameter space explored, before being deployed on real data from a magnetic resonance imaging study of perfusion. The new method was found to achieve comparable parameter recovery to the analytic solution and be competitive in terms of computational speed despite being reliant on sampling.


title: Enhanced creep performance in a polycrystalline superalloy driven by atomic-scale phase transformation along planar faults

abstract: Predicting the mechanical failure of parts in service requires understanding their deformation behavior, and associated dynamic microstructural evolution up to the near-atomic scale. Solutes are known to interact with defects generated by plastic deformation, thereby affecting their displacement throughout the microstructure and hence the material mechanical response to solicitation. This effect is studied here in a polycrystalline Ni-based superalloy with two different Nb contents that lead to a significant change in their creep lifetime. Creep testing at 750C and 600 MPa shows that the high-Nb alloy performs better in terms of creep strain rate. Considering the similar initial microstructures, the difference in mechanical behavior is attributed to a phase transformation that occurs along planar faults, controlled by the different types of stacking faults and alloy composition. Electron channeling contrast imaging reveals the presence of stacking faults in both alloys. Microtwinning is observed only in the low-Nb alloy, rationalizing in part the higher creep strain rate. In the high-Nb alloy, atom probe tomography evidences two different types of stacking faults based on their partitioning behavior. Superlattice intrinsic stacking faults (SISF) were found enriched in Nb, Co, Cr and Mo while only Nb and Co was segregated at superlattice extrinsic stacking faults. Based on their composition, a local phase transformation occurring along the faults is suggested, resulting in slower creep strain rate in the high-Nb alloy. In comparison, mainly SISF enriched in Co, Cr, Nb and Mo were found in the low-Nb alloy. Following the results presented here, and those available in the literature, an atomic-scale driven alloy design approach that controls and promotes local phase transformation along planar faults at 750C is proposed, aiming to design superalloys with enhanced creep resistance.


title: Susy for non-Hermitian Hamiltonians, with a view to coherent states

abstract: We propose an extended version of supersymmetric quantum mechanics which can be useful if the Hamiltonian of the physical system under investigation is not Hermitian. The method is based on the use of two, in general different, superpotentials. Bi-coherent states of the Gazeau-Klauder type are constructed and their properties are analyzed. Some examples are also discussed, including an application to the Black-Scholes equation, one of the most important equations in Finance.


title: Gravitomagnetic Love tensor of a slowly rotating body: post-Newtonian theory

abstract: The gravitomagnetic tidal Love number of a slowly rotating body was calculated previously under the assumption that the velocity perturbation created by the tidal field consists of an induction piece proportional to the vector potential, and a rotational piece that scales with $\Omega$, the body's angular velocity. The second part of this assumption is wrong: the rotational piece of the velocity perturbation scales in fact like $\Omega^0 = 1$. The previous calculations are therefore incorrect, and the purpose of this paper is to repair the mistake. To keep the technical difficulties to a minimum, the treatment here is restricted to a post-Newtonian expansion carried out to leading order -- previous calculations of the gravitomagnetic Love number were performed in full general relativity. On the other hand, the computation presented here is not restricted to a stationary tidal field. I show that the correct scaling of the velocity perturbation with $\Omega$ leads to the promotion of the Love number to a Love tensor $k_{jk}^{\ \ pq}$, a four-index object that relates the body's current quadrupole moment $S_{jk}$ to the gravitomagnetic tidal moment ${\cal B}_{pq}$. The tensorial nature of this quantity has to do with the fact that each $e^{im\phi}$ piece of the tidal force gives rise to an $m$-specific velocity perturbation, and therefore to a Love number that depends on $m$. The collection of these $m$-specific Love numbers makes up the Love tensor $k_{jk}^{\ \ pq}$.


title: The thermal and gravitational energy densities in the large-scale structure of the Universe

abstract: As cosmic structures form, matter density fluctuations collapse gravitationally and baryonic matter is shock-heated and thermalized. We therefore expect a connection between the mean gravitational potential energy density of collapsed halos, $\Omega_{W}^{\rm halo}$, and the mean thermal energy density of baryons, $\Omega_{\rm th}$. These quantities can be obtained using two fundamentally different estimates: we compute $\Omega_{W}^{\rm halo}$ using the theoretical framework of the halo model which is driven by dark matter statistics, and measure $\Omega_{\rm th}$ using the Sunyaev-Zeldovich (SZ) effect which probes the mean thermal pressure of baryons. First, we derive that, at the present time, about 90% of $\Omega_{W}^{\rm halo}$ originates from massive halos with $M>10^{13}\,M_\odot$. Then, using our measurements of the SZ background, we find that $\Omega_{\rm th}$ accounts for about 80% of the kinetic energy of the baryons available for pressure in halos at $z\lesssim 0.5$. This constrains the amount of non-thermal pressure, e.g., due to bulk and turbulent gas motion sourced by mass accretion, to be about $\Omega_{\rm non-th}\simeq 0.4\times 10^{-8}$ at $z=0$.


title: Developing a predictive signature for two trial endpoints using the cross-validated risk scores method

abstract: The existing cross-validated risk scores (CVRS) design has been proposed for developing and testing the efficacy of a treatment in a high-efficacy patient group (the sensitive group) using high-dimensional data (such as genetic data). The design is based on computing a risk score for each patient and dividing them into clusters using a non-parametric clustering procedure. In some settings it is desirable to consider the trade-off between two outcomes, such as efficacy and toxicity, or cost and effectiveness. With this motivation, we extend the CVRS design (CVRS2) to consider two outcomes. The design employs bivariate risk scores that are divided into clusters. We assess the properties of the CVRS2 using simulated data and illustrate its application on a randomised psychiatry trial. We show that CVRS2 is able to reliably identify the sensitive group (the group for which the new treatment provides benefit on both outcomes) in the simulated data. We apply the CVRS2 design to a psychology clinical trial that had offender status and substance use status as two outcomes and collected a large number of baseline covariates. The CVRS2 design yields a significant treatment effect for both outcomes, while the CVRS approach identified a significant effect for the offender status only after pre-filtering the covariates.


title: On Actual Preparation of Dicke State on a Quantum Computer

abstract: The exact number of CNOT and single qubit gates needed to implement a Quantum Algorithm in a given architecture is one of the central problems of Quantum Computation. In this work we study the importance of concise realizations of Partially defined Unitary Transformations for better circuit construction using the case study of Dicke State Preparation. The Dicke States $(\left|D^n_k \right>)$ are an important class of entangled states with uses in many branches of Quantum Information. In this regard we provide the most efficient Deterministic Dicke State Preparation Circuit in terms of CNOT and single qubit gate counts in comparison to existing literature. We further observe that our improvements also reduce architectural constraints of the circuits. We implement the circuit for preparing $\left| D^4_2 \right>$ on the "ibmqx2" machine of the IBM QX service and observe that the error induced due to noise in the system is lesser in comparison to the existing circuit descriptions. We conclude by describing the CNOT map of the generic $\left| D^n_k \right>$ preparation circuit and analyze different ways of distributing the CNOT gates in the circuit and its affect on the induced error.


title: Improving auto-encoder novelty detection using channel attention and entropy minimization

abstract: Novelty detection is a important research area which mainly solves the classification problem of inliers which usually consists of normal samples and outliers composed of abnormal samples. Auto-encoder is often used for novelty detection. However, the generalization ability of the auto-encoder may cause the undesirable reconstruction of abnormal elements and reduce the identification ability of the model. To solve the problem, we focus on the perspective of better reconstructing the normal samples as well as retaining the unique information of normal samples to improve the performance of auto-encoder for novelty detection. Firstly, we introduce attention mechanism into the task. Under the action of attention mechanism, auto-encoder can pay more attention to the representation of inlier samples through adversarial training. Secondly, we apply the information entropy into the latent layer to make it sparse and constrain the expression of diversity. Experimental results on three public datasets show that the proposed method achieves comparable performance compared with previous popular approaches.


title: Revised performance parameters of the ZEPLIN-III dark matter experiment

abstract: This note presents revised detector parameters applicable to data from the First Science Run of the ZEPLIN-III dark matter experiment; these datasets were acquired in 2008 and reanalised in 2011. This run demonstrated electron recoil discrimination in liquid xenon at the level of 1 part in 10,000 below 40 keV nuclear recoil energy, at an electric field of 3.8 kV/cm; this remains the best discrimination reported for this medium to date. Building on relevant measurements published in recent years, the calibration of the scintillation and ionisation responses for both electron and nuclear recoils, which had been mapped linearly to Co-57 gamma-ray interactions, is converted here into optical parameters which are better suited to relate the data to the emerging liquid xenon response models. Additional information is given on the fitting of the electron and nuclear recoil populations at low energy. The aim of this note is to support the further development of these models with valuable data acquired at high field.


title: New Classes of Quantum Codes Associated with Surface Maps

abstract: If the cyclic sequences of {face types} {at} all vertices in a map are the same, then the map is said to be a semi-equivelar map. In particular, a semi-equivelar map is equivelar if the faces are the same type. Homological quantum codes represent a subclass of topological quantum codes. In this article, we introduce {thirteen} new classes of quantum codes. These codes are associated with the following: (i) equivelar maps of type $ [k^k]$, (ii) equivelar maps on the double torus along with the covering of the maps, and (iii) semi-equivelar maps on the surface of \Echar{-1}, along with {their} covering maps. The encoding rate of the class of codes associated with the maps in (i) is such that $ \frac{k}{n}\rightarrow 1 $ as $ n\rightarrow\infty $, and for the remaining classes of codes, the encoding rate is $ \frac{k}{n}\rightarrow \alpha $ as $ n\rightarrow \infty $ with $ \alpha< 1 $.


title: The view of TK-SVM on the phase hierarchy in the classical kagome Heisenberg antiferromagnet

abstract: We illustrate how the tensorial kernel support vector machine (TK-SVM) can probe the hidden multipolar orders and emergent local constraint in the classical kagome Heisenberg antiferromagnet. We show that TK-SVM learns the finite-temperature phase diagram in an unsupervised way. Moreover, in virtue of its strong interpretability, it identifies the tensorial quadrupolar and octupolar orders, which define a biaxial $D_{3h}$ spin nematic, and the local constraint that underlies the selection of coplanar states. We then discuss the disorder hierarchy of the phases, which can be inferred from both the analytical order parameters and a SVM bias parameter. For completeness we mention that the machine also picks up the leading $\sqrt{3} \times \sqrt{3}$ correlations in the dipolar channel at very low temperature, which are however weak compared to the quadrupolar and octupolar orders. Our work shows how TK-SVM can facilitate and speed up the analysis of classical frustrated magnets.


title: Sublinear Explicit Incremental Planar Voronoi Diagrams

abstract: A data structure is presented that explicitly maintains the graph of a Voronoi diagram of $N$ point sites in the plane or the dual graph of a convex hull of points in three dimensions while allowing insertions of new sites/points. Our structure supports insertions in $\tilde O (N^{3/4})$ expected amortized time, where $\tilde O$ suppresses polylogarithmic terms. This is the first result to achieve sublinear time insertions; previously it was shown by Allen et al. that $\Theta(\sqrt{N})$ amortized combinatorial changes per insertion could occur in the Voronoi diagram but a sublinear-time algorithm was only presented for the special case of points in convex position.


title: Solving the fully-connected spherical $p$-spin model with the cavity method: equivalence with the replica results

abstract: The spherical $p$-spin is a fundamental model for glassy physics, thanks to its analytic solution achievable via the replica method. Unfortunately the replica method has some drawbacks: it is very hard to apply to diluted models and the assumptions beyond it are not immediately clear. Both drawbacks can be overcome by the use of the cavity method, which, however, needs to be applied with care to spherical models. Here we show how to write the cavity equations for spherical $p$-spin models on complete graphs, both in the Replica Symmetric (RS) ansatz (corresponding to Belief Propagation) and in the 1-step Replica Symmetry Breaking (1RSB) ansatz (corresponding to Survey Propagation). The cavity equations can be solved by a Gaussian (RS) and multivariate Gaussian (1RSB) ansatz for the distribution of the cavity fields. We compute the free energy in both ansatzes and check that the results are identical to the replica computation, predicting a phase transition to a 1RSB phase at low temperatures. The advantages of solving the model with the cavity method are many. The physical meaning of any ansatz for the cavity marginals is very clear. The cavity method works directly with the distribution of local quantities, which allows to generalize the method to dilute graphs. What we are presenting here is the first step towards the solution of the diluted version of the spherical $p$-spin model, which is a fundamental model in the theory of random lasers and interesting $per~se$ as an easier-to-simulate version of the classical fully-connected $p$-spin model.


title: Online publication of court records: circumventing the privacy-transparency trade-off

abstract: The open data movement is leading to the massive publishing of court records online, increasing transparency and accessibility of justice, and to the design of legal technologies building on the wealth of legal data available. However, the sensitive nature of legal decisions also raises important privacy issues. Current practices solve the resulting privacy versus transparency trade-off by combining access control with (manual or semi-manual) text redaction. In this work, we claim that current practices are insufficient for coping with massive access to legal data (restrictive access control policies is detrimental to openness and to utility while text redaction is unable to provide sound privacy protection) and advocate for a in-tegrative approach that could benefit from the latest developments of the privacy-preserving data publishing domain. We present a thorough analysis of the problem and of the current approaches, and propose a straw man multimodal architecture paving the way to a full-fledged privacy-preserving legal data publishing system.


title: Radio-Frequency Searches for Dark Matter in Dwarf Galaxies

abstract: Dwarf spheroidal galaxies have long been discussed as optimal targets for indirect dark matter searches. However, the majority of such studies have been conducted with gamma-ray instruments. In this review, we discuss the very recent progress that has been made in radio-based indirect dark matter searches. We look at existing work on this topic and discuss the future prospects that motivate continued work in this newly developing field that promises to become, in the light of the up-coming Square Kilometre Array, a prominent component of the hunt for dark matter.


title: Choiceless large cardinals and set-theoretic potentialism

abstract: We define a potentialist system of ZF-structures, that is, a collection of possible worlds in the language of ZF connected by a binary accessibility relation, achieving a potentialist account of the full background set-theoretic universe $V$. The definition involves Berkeley cardinals, the strongest known large cardinal axioms, inconsistent with the Axiom of Choice. In fact, as background theory we assume just ZF. It turns out that the propositional modal assertions which are valid at every world of our system are exactly those in the modal theory S4.2. Moreover, we characterize the worlds satisfying the potentialist maximality principle, and thus the modal theory S5, both for assertions in the language of ZF and for assertions in the full potentialist language.


title: The Review Unmanned Surface Vehicle Path Planning: Based on Multi-modality Constraint

abstract: The essence of the path planning problems is multi-modality constraint. However, most of the current literature has not mentioned this issue. This paper introduces the research progress of path planning based on the multi-modality constraint. The path planning of multi-modality constraint research can be classified into three stages in terms of its basic ingredients (such as shape, kinematics and dynamics et al.): Route Planning, Trajectory Planning and Motion Planning. It then reviews the research methods and classical algorithms, especially those applied to the Unmanned Surface Vehicle (USV) in every stage. Finally, the paper points out some existing problems in every stage and suggestions for future research.


title: Directed Energy Transfer from Monolayer $WS_{2}$ to NIR Emitting PbS-CdS Quantum Dots

abstract: Heterostructures of two-dimensional (2D) transition metal dichalcogenides (TMDs) and inorganic semiconducting zero-dimensional (0D) quantum dots (QDs) offer unique charge and energy transfer pathways which could form the basis of novel optoelectronic devices. To date, most has focused on charge transfer and energy transfer from QDs to TMDs, i.e. from 0D to 2D. Here, we present a study of the energy transfer process from a 2D to 0D material, specifically exploring energy transfer from monolayer tungsten disulphide ($WS_{2}$) to near infrared (NIR) emitting lead sulphide-cadmium sulphide (PbS-CdS) QDs. The high absorption cross section of $WS_{2}$ in the visible region combined with the potentially high photoluminescence (PL) efficiency of PbS QD systems, make this an interesting donor-acceptor system that can effectively use the WS2 as an antenna and the QD as a tuneable emitter, in this case downshifting the emission energy over hundreds of meV. We study the energy transfer process using photoluminescence excitation (PLE) and PL microscopy, and show that 58% of the QD PL arises due to energy transfer from the $WS_{2}$. Time resolved photoluminescence (TRPL) microscopy studies show that the energy transfer process is faster than the intrinsic PL quenching by trap states in the $WS_{2}$, thus allowing for efficient energy transfer. Our results establish that QDs could be used as tuneable and high PL efficiency emitters to modify the emission properties of TMDs. Such TMD/QD heterostructures could have applications in light emitting technologies, artificial light harvesting systems or be used to read out the state of TMD devices optically in various logic and computing applications


title: Polarized light-by-light scattering at the CLIC induced by axion-like particles

abstract: The light-by-light (LBL) scattering with initial polarized Compton backscattered photons at the CLIC, induced by axion-like particles (ALPs), is investigated. The total cross sections are calculated, assuming CP-even coupling of the pseudoscalar ALP to photons. The 95\% C.L. exclusion region for the ALP mass $m_a$ and its coupling constant $f$ is presented. The results are compared with previously obtained CLIC bounds for the unpolarized case. It is shown that the bounds on $f$ for the polarized beams in the region $m_a = 1000 \mathrm{\ GeV} - 2000 \mathrm{\ GeV}$, with the collision energy 3000 GeV and integrated luminosity 4000 fb$^{-1}$, are on average 1.5 times stronger than the bounds for the unpolarized beams. Herewith, our CLIC bounds are stronger than all current exclusion regions for $m_a > 80$ GeV. In particular, they are more restrictive than the limits which follow from the ALP-mediated LBL scattering at the LHC.


title: Discrete element model for high strain rate deformations of snow

abstract: In engineering applications snow often undergoes large and fast deformations. During these deformations the snow transforms from a sintered porous material into a granular material. In order to capture the fundamental mechanical behavior of this process a discrete element (DE) model is the physically most appropriate. It explicitly includes all the relevant components: the snow microstructure, consisting of bonded grains, the breaking of the bonds and the following rearrangement and interaction of the loose grains. We developed and calibrated a DE snow model based on the open source DE code liggghts. In the model snow grains are represented by randomly distributed elastic spheres connected by elastic-brittle bonds. This bonded structure corresponds to sintered snow. After applying external forces, the stresses in the bonds might exceed their strength, the bonds break, and we obtain loose particles, corresponding to granular snow. Model parameters can be divided into temperature dependent material parameters and snow type dependent microstructure parameters. The model was calibrated by angle of repose experiments and several high strain rate mechanical tests, performed in a cold laboratory. We demonstrate the performance of the DE snow model by the simulation of a combined compression and shear deformation of different snow types with large strains. The model successfully reproduces the experiments. Most characteristics of the mechanical snow behavior are captured by the model, like the fracture behavior, the differences between low and high density snow, the granular shear flow or the densification of low density snow. The model is promising to simulate arbitrary high strain rate processes for a wide range of snow types, and thus seems useful to be applied to different snow engineering problems.


title: Revealing the three-dimensional structure of liquids using four-point correlation functions

abstract: Disordered systems like liquids, gels, glasses, or granular materials are not only ubiquitous in daily life and in industrial applications but they are also crucial for the mechanical stability of cells or the transport of chemical and biological agents in living organisms. Despite the importance of these systems, their microscopic structure is understood only on a rudimentary level, thus in stark contrast to the case of gases and crystals. Since scattering experiments and analytical calculations usually give only structural information that is spherically averaged, the three dimensional (3D) structure of disordered systems is basically unknown. Here we introduce a simple method that allows to probe the 3D structure of such systems. Using computer simulations we find that hard-sphere-like liquids have on intermediate and large scales an intricate structural order given by alternating layers with icosahedral and dodecahedral symmetries, while open network liquids like silica have a structural order with tetrahedral symmetry. These results show that liquids have a highly non-trivial 3D structure and that this structural information is encoded in non-standard correlation functions.


title: Channel Compression: Rethinking Information Redundancy among Channels in CNN Architecture

abstract: Model compression and acceleration are attracting increasing attentions due to the demand for embedded devices and mobile applications. Research on efficient convolutional neural networks (CNNs) aims at removing feature redundancy by decomposing or optimizing the convolutional calculation. In this work, feature redundancy is assumed to exist among channels in CNN architectures, which provides some leeway to boost calculation efficiency. Aiming at channel compression, a novel convolutional construction named compact convolution is proposed to embrace the progress in spatial convolution, channel grouping and pooling operation. Specifically, the depth-wise separable convolution and the point-wise interchannel operation are utilized to efficiently extract features. Different from the existing channel compression method which usually introduces considerable learnable weights, the proposed compact convolution can reduce feature redundancy with no extra parameters. With the point-wise interchannel operation, compact convolutions implicitly squeeze the channel dimension of feature maps. To explore the rules on reducing channel redundancy in neural networks, the comparison is made among different point-wise interchannel operations. Moreover, compact convolutions are extended to tackle with multiple tasks, such as acoustic scene classification, sound event detection and image classification. The extensive experiments demonstrate that our compact convolution not only exhibits high effectiveness in several multimedia tasks, but also can be efficiently implemented by benefiting from parallel computation.


title: A Run-Wise Simulation and Analysis Framework for Imaging Atmospheric Cherenkov Telescope Arrays

abstract: We introduce a new simulation and analysis paradigm for Imaging Atmospheric Cherenkov Telescope (IACT) arrays, simulating the actual observation conditions as well as individual telescope configuration for each observation unit. Compared to existing frameworks, where simulations are usually generated using pre-defined settings, this run-wise simulation approach implies more realistic simulations and hence reduced systematic uncertainties. The computational effort of this dedicated simulation concept is notably independent of the amount of different observation configurations but just scales linearly with observation time. This corresponds to a large advantage for increasingly complex current and future IACT arrays where the size of the phase space makes it computationally unfeasible to generate simulations that reach the requirements regarding systematics using the classical simulation scheme.


title: Safe Reinforcement Learning with Mixture Density Network: A Case Study in Autonomous Highway Driving

abstract: This paper presents a safe reinforcement learning system for automated driving that benefits from multimodal future trajectory predictions. We propose a safety system that consists of two safety components: a heuristic safety and a learning-based safety. The heuristic safety module is based on common driving rules. On the other hand, the learning-based safety module is a data-driven safety rule that learns safety patterns from driving data. Specifically, it utilizes mixture density recurrent neural networks (MD-RNN) for multimodal future trajectory predictions to accelerate the learning progress. Our simulation results demonstrate that the proposed safety system outperforms previously reported results in terms of average reward and number of collisions.


title: Inconsistencies Between Local and Global Measures of CME Radial Expansion as Revealed by Spacecraft Conjunctions

abstract: The radial expansion of coronal mass ejections (CMEs) is known to occur from remote observations; from the variation of their properties with radial distance; and from local in situ plasma measurements showing a decreasing speed profile throughout the magnetic ejecta (ME). However, little is known on how local measurements compare to global measurements of expansion. Here, we present results from the analysis of 42 CMEs measured in the inner heliosphere by two spacecraft in radial conjunction. The magnetic field decrease with distance provides a measure of their global expansion. Near 1 au, the decrease in their bulk speed provides a measure of their local expansion. We find that these two measures have little relation with each other. We also investigate the relation between characteristics of CME expansion and CME properties. We find that the expansion depends on the initial magnetic field strength inside the ME, but not significantly on the magnetic field inside the ME measured near 1 au. This is an indirect evidence that CME expansion in the innermost heliosphere is driven by the high magnetic pressure inside the ME, while by the time the MEs reach 1 au, they are expanding due to the decrease in the solar wind dynamic pressure with distance. We also determine the evolution of the ME tangential and normal magnetic field components with distance, revealing significant deviations as compared to the expectations from force-free field configurations as well as some evidence that the front half of MEs expand at a faster rate than the back half.


title: Unsaturated bipartite entanglement of a spin-1/2 Ising-Heisenberg model on a triangulated Husimi lattice

abstract: A bipartite entanglement between two nearest-neighbor Heisenberg spins of a spin-1/2 Ising-Heisenberg model on a triangulated Husimi lattice is quantified using a concurrence. It is shown that the concurrence equals zero in a classical ferromagnetic and a quantum disordered phase, while it becomes sizable though unsaturated in a quantum ferromagnetic phase. A thermally-assisted reentrance of the concurrence is found above a classical ferromagnetic phase, whereas a quantum ferromagnetic phase displays a striking cusp of the concurrence at a critical temperature.


title: The generalized Schwarz inequality for semi-Hilbertian space operators and Some $A$-numerical radius inequalities

abstract: In this work, the mixed Schwarz inequality for semi-Hilbertian space operators is proved. Namely, for every positive Hilbert space operator $A$. If $f$ and $g$ are nonnegative continuous functions on $\left[0,\infty\right)$ satisfying $f(t)g(t) =t$ $(t\ge0)$, then \begin{align*} \left| {\left\langle {T x,y} \right\rangle_A } \right| \le \left\| {f\left( {\left| T \right|_A x} \right)} \right\|_A \left\| {g\left( {\left| {T^{\sharp_A } } \right|_A y} \right)} \right\|_A \end{align*} for every Hilbert space operator $T$ such that the range of $T^* A$ is a subset in the range of $A$, such that $A$ commutes with $T$, and for all vectors $x,y\in \mathscr{H}$, where $\left| T \right|_A = \left(AT^{\sharp_A}T\right)^{1/2}$ such that $T^{\sharp_A}=A^\dagger T^*A$, where $A^\dagger$ is the Moore-Penrose inverse of $A$. Based on that, some inequalities for the $A$-numerical radius are introduced.


title: Fast Computation of Electromagnetic Wave Propagation and Scattering for Quasi-cylindrical Geometry

abstract: The cylindrical Taylor Interpolation through FFT (TI-FFT) algorithm for computation of the near-field and far-field in the quasi-cylindrical geometry has been introduced. The modal expansion coefficient of the vector potentials ${\bf F}$ and ${\bf A}$ within the context of the cylindrical harmonics (TE and TM modes) can be expressed in the closed-form expression through the cylindrical addition theorem. For the quasi-cylindrical geometry, the modal expansion coefficient can be evaluated through FFT with the help of the Taylor Interpolation (TI) technique. The near-field on any arbitrary cylindrical surface can be obtained through the Inverse Fourier Transform (IFT). The far-field can be obtained through the Near-Field Far-Field (NF-FF) transform. The cylindrical TI-FFT algorithm has the advantages of $\mathcal{O} \left( \hbox{N} \log_2 \hbox{N} \right)$ computational complexity for $\hbox{N} = \hbox{N}_\phi \times \hbox{N}_z$ computational grid, small sampling rate (large sampling spacing) and no singularity problem.


title: $f(Q,T)$ gravity models with observational constraints

abstract: The paper presents late time cosmology in $f(Q,T)$ gravity where the dark energy is purely geometric in nature. We start by employing a well motivated $f(Q,T)$ gravity model, $f(Q,T)=mQ^{n}+bT$ where $m,n$ and $b$ are model parameters. Additionally we also assume the universe to be dominated by pressure-less matter which yields a power law type scale factor of the form $% a(t)=c_{2}(At+c_{1})^{\frac{1}{A}}$, where $A=\dfrac{3(8\pi +b)}{n(16\pi +3b)% }$ and $c_{1}$ \& $c_{2}$ are just integration constants. To investigate the cosmological viability of the model, constraints on the model parameters were imposed from the updated 57 points of Hubble data sets and 580 points of union 2.1 compilation supernovae data sets. We have thoroughly investigated the nature of geometrical dark energy mimicked by the parametrization of $f(Q,T)=mQ^{n}+bT$ with the assistance of statefinder diagnostic in $\{s,r\}$ and $\{q,r\}$ planes and also performed the $Om$ -diagnostic analysis. The present analysis makes it clear-cut that $f(Q,T)$ gravity can be promising in addressing the current cosmic acceleration and therefore a suitable alternative to the dark energy problem. Further studies in other cosmological areas are therefore encouraging to further investigate the viability of $f(Q,T)$ gravity.


title: Passive Quadrupedal Gait Synchronization for Extra Robotic Legs Using a Dynamically Coupled Double Rimless Wheel Model

abstract: The Extra Robotic Legs (XRL) system is a robotic augmentation worn by a human operator consisting of two articulated robot legs that walk with the operator and help bear a heavy backpack payload. It is desirable for the Human-XRL quadruped system to walk with the rear legs lead the front by 25% of the gait period, minimizing the energy lost from foot impacts while maximizing balance stability. Unlike quadrupedal robots, the XRL cannot command the human's limbs to coordinate quadrupedal locomotion. Using a pair of Rimless Wheel models, it is shown that the systems coupled with a spring and damper converge to the desired 25% phase difference. A Poincar\'e return map was generated using numerical simulation to examine the convergence properties to different coupler design parameters, and initial conditions. The Dynamically Coupled Double Rimless Wheel system was physically realized with a spring and dashpot chosen from the theoretical results, and initial experiments indicate that the desired synchronization properties may be achieved within several steps using this set of passive components alone.


title: Hybrid Open-Loop Closed-Loop Control of Coupled Human-Robot Balance During Assisted Stance Transition with Extra Robotic Legs

abstract: A new approach to the human-robot shared control of the Extra Robotic Legs (XRL) wearable augmentation system is presented. The XRL system consists of two extra legs that bear the entirety of its backpack payload, as well as some of the human operator's weight. The XRL System must support its own balance and assist the operator stably while allowing them to move in selected directions. In some directions of the task space the XRL must constrain the human motion with position feedback for balance, while in other directions the XRL must have no position feedback, so that the human can move freely. Here, we present Hybrid Open-Loop / Closed-Loop Control Architecture for mixing the two control modes in a systematic manner. The system is reduced to individual joint feedback control that is simple to implement and reliable against failure. The method is applied to the XRL system that assists a human in conducting a nuclear waste decommissioning task. A prototype XRL system has been developed and demonstrated with a simulated human performing the transition from standing to crawling and back again while coupled to the prototype XRL system.


title: Method to Determine the Closed-Loop Precision of Resonant Sensors from Open-Loop Measurements

abstract: Resonant sensors determine a sensed parameter by measuring the resonance frequency of a resonator. For fast continuous sensing, it is desirable to operate resonant sensors in a closed-loop configuration, where a feedback loop ensures that the resonator is always actuated near its resonance frequency, so that the precision is maximized even in the presence of drifts or fluctuations of the resonance frequency. However, in a closed-loop configuration, the precision is not only determined by the resonator itself, but also by the feedback loop, even if the feedback circuit is noiseless. Therefore, to characterize the intrinsic precision of resonant sensors, the open-loop configuration is often employed. To link these measurements to the actual closed-loop performance of the resonator, it is desirable to have a relation that determines the closed-loop precision of the resonator from open-loop characterisation data. In this work, we present a methodology to estimate the closed-loop resonant sensor precision by relying only on an open-loop characterization of the resonator. The procedure is beneficial for fast performance estimation and benchmarking of resonant sensors, because it does not require actual closed-loop sensor operation, thus being independent on the particular implementation of the feedback loop. We validate the methodology experimentally by determining the closed-loop precision of a mechanical resonator from an open-loop measurement and comparing this to an actual closed-loop measurement.


title: Gauge Functions and Galilean Invariance of Lagrangians

abstract: A novel method to make Lagrangians Galilean invariant is developed. The method, based on null Lagrangians and their gauge functions, is used to demonstrate the Galilean invariance of the Lagrangian for Newton's law of inertia. It is suggested that this new solution of an old physics problem may have implications and potential applications to all gauge-based theories of physics.


title: Fault Diagnosis of the 10MW Floating Offshore Wind Turbine Benchmark: a Mixed Model and Signal-based Approach

abstract: Floating Offshore Wind Turbines (FOWTs) operate in the harsh marine environment with limited accessibility and maintainability. Not only failures are more likely to occur than in land-based turbines, but also corrective maintenance is more expensive. In the present study, a mixed model and signal-based Fault Diagnosis (FD) architecture is developed to detect and isolate critical faults in FOWTs. More specifically, a model-based scheme is developed to detect and isolate the faults associated with the turbine system. It is based on a fault detection and approximation estimator and fault isolation estimators, with time-varying adaptive thresholds to guarantee against false-alarms. In addition, a signal-based scheme is established, within the proposed architecture, for detecting and isolating two representative mooring lines faults. For the purpose of verification, a 10MW FOWT benchmark is developed and its operating conditions, which contains predefined faults, are simulated by extending the high-fidelity simulator. Based on it, the effectiveness of the proposed architecture is illustrated. In addition, the advantages and limitations are discussed by comparing its fault detection to the results delivered by other approaches. Results show that the proposed architecture has the best performance in detecting and isolating the critical faults in FOWTs under diverse operating conditions.


title: Many-Sorted Hybrid Modal Languages

abstract: We continue our investigation into hybrid polyadic multi-sorted logic with a focus on expresivity related to the operational and axiomatic semantics of rogramming languages, and relations with first-order logic. We identify a fragment of the full logic, for which we prove sound and complete deduction and we show that it is powerful enough to represent both the programs and their semantics in an uniform way. Although weaker than other hybrid systems previously developed, this system is expected to have better computational properties. Finally, we provide a standard translation from full hybrid many-sorted logic to first-order logic.


title: Nonlinear Conformal Electromagnetism and Gravitation

abstract: In 1909 the brothers E. and F. Cosserat discovered a new nonlinear group theoretical approach to elasticity (EL), with the only experimental need to measure the EL constants. In a modern language, their idea has been to use the nonlinear Spencer sequence instead of the nonlinear Janet sequence for the Lie groupoid defining the group of rigid motions of space. Following H. Weyl, our purpose is to compute for the first time the nonlinear Spencer sequence for the Lie groupoid defining the conformal group of space-time in order to provide the physical foundations of both electromagnetism (EM) and gravitation, with the only experimental need to measure the EM constant in vacuum and the gravitational constant. With a manifold of dimension $n$, the difficulty is to deal with the $n$ nonlinear transformations that have been called "elations" by E. Cartan in 1922. Using the fact that dimension $n=4$ has very specific properties for the computation of the Spencer cohomology, we prove that there is no conceptual difference between the Cosserat EL field or induction equations and the Maxwell EM field or induction equations. As a byproduct, the well known field/matter couplings (piezzoelectricity, photoelasticity, ...) can be described abstractly, with the only experimental need to measure the corresponding coupling constants. In the sudy of gravitation, the dimension $n=4$ also allows to have a conformal factor defined everywhere but at the central attractive mass and the inversion law of the subgroupoid made by strict second order jets transforms attraction into repulsion.


title: Synergistic saliency and depth prediction for RGB-D saliency detection

abstract: Depth information available from an RGB-D camera can be useful in segmenting salient objects when figure/ground cues from RGB channels are weak. This has motivated the development of several RGB-D saliency datasets and algorithms that use all four channels of the RGB-D data for both training and inference. Unfortunately, existing RGB-D saliency datasets are small, which may lead to overfitting and limited generalization for diverse scenarios. Here we propose a semi-supervised system for RGB-D saliency detection that can be trained on smaller RGB-D saliency datasets without saliency ground truth, while also make effective joint use of a large RGB saliency dataset with saliency ground truth together. To generalize our method on RGB-D saliency datasets, a novel prediction-guided cross-refinement module which jointly estimates both saliency and depth by mutual refinement between two respective tasks, and an adversarial learning approach are employed. Critically, our system does not require saliency ground-truth for the RGB-D datasets, which saves the massive human labor for hand labeling, and does not require the depth data for inference, allowing the method to be used for the much broader range of applications where only RGB data are available. Evaluation on seven RGB-D datasets demonstrates that even without saliency ground truth for RGB-D datasets and using only the RGB data of RGB-D datasets at inference, our semi-supervised system performs favorable against state-of-the-art fully-supervised RGB-D saliency detection methods that use saliency ground truth for RGB-D datasets at training and depth data at inference on two largest testing datasets. Our approach also achieves comparable results on other popular RGB-D saliency benchmarks.


title: Macromechanics and two-body problems

abstract: A wave function can be written in the form of {\psi} = ReiS/h. We put this form of wave function into quantum mechanics equations and take hydrodynamic limit, i. e., let Planck constant be zero. Then equations of motion (EOM) describing the movement of macroscopic bodies are retrieved. From Schrodinger equation, we obtain Newtonian mechanics, including Newtons three laws of motion; from decouple Klein-Gordon equation with positive kinetic energy (PKE), we obtain EOM of special relativity in classical mechanics. These are for PKE systems. From negative kinetic energy (NKE) Schrodinger equation and decoupled Klein-Gordon equation, the EOM describing low momentum and relativistic motions of macroscopic dark bodies are derived. These are NKE systems, i. e., dark systems. In all cases scalar and vector potentials are also taken into account. The formalism obtained is collectively called macromechanics. For an isolated system containing PKE and NKE bodies, both total momentum and total kinetic energy are conserved. A dark ideal gas produces a negative pressure, and its microscopic mechanism is disclosed. Two-body problems, where at least one is of NKE, are investigated for both macroscopic bodies and microscopic particles. A NKE proton and a PKE electron can compose a stable PKE atom, and its spectral lines have blue shifts compared to a hydrogen atom. The author suggests to seek for these spectral lines in celestial spectra. This provides a way to seek for dark particles in space. Elastic collisions between a body and a dark body are researched.


title: Towards the Adoption of OMG Standards in the Development of SOA-Based IoT Systems

abstract: A common feature of the Internet of Things (IoT) is the high heterogeneity, regarding network protocols, data formats, hardware and software platforms. Aiming to deal with such a degree of heterogeneity, several frameworks have applied the Model-Driven Development (MDD) to build IoT applications. On the software architecture viewpoint, the literature has shown that the Service-Oriented Architecture (SOA) is a promising style to address the interoperability of entities composing these solutions. Some features of IoT make it challenging to analyze the impact of design decisions on the SOA-based IoT applications behavior. Thus, it is a key requirement to simulate the model to verify whether the system performs as expected before its implementation. Although the literature has identified that the SOA style is suitable for addressing the interoperability, existing modelling languages do not consider SOA elements as first-class citizens when designing IoT applications. Furthermore, although existing MDD frameworks provide modeling languages comprising well-defined syntax, they lack execution semantics, thus, are not suitable for model execution and analysis. This work aims at addressing these issues by introducing IoTDraw. The framework provides a fully OMG-compliant executable modeling language for SOA-based IoT systems; thus, its specifications can be implemented by any tool implementing OMG standards.


title: Light-induced topological magnons in two-dimensional van der Waals magnets

abstract: Driving a two-dimensional Mott insulator with circularly polarized light breaks time-reversal and inversion symmetry, which induces an optically-tunable synthetic scalar spin chirality interaction in the effective low-energy spin Hamiltonian. Here, we show that this mechanism can stabilize topological magnon excitations in honeycomb ferromagnets and in optical lattices. We find that the irradiated quantum magnet is described by a Haldane model for magnons that hosts topologically-protected edge modes. We study the evolution of the magnon spectrum in the Floquet regime and via time propagation of the magnon Hamiltonian for a slowly varying pulse envelope. Compared to similar but conceptually distinct driving schemes based on the Aharanov-Casher effect, the dimensionless light-matter coupling parameter $\lambda = eEa/\hbar\omega$ at fixed electric field strength is enhanced by a factor $\sim 10^5$. This increase of the coupling parameter allows to induce a topological gap of the order of $\Delta \approx 2$ meV with realistic laser pulses, bringing an experimental realization of light-induced topological magnon edge states within reach.


title: Quasi-conserved quantities in the perturbed XXX spin chain

abstract: We consider the isotropic spin-1/2 Heisenberg spin chain weakly perturbed by a local translationally- and SU(2)-invariant perturbation. Starting from the local integrals of motion of the unperturbed model, we modify them in order to obtain quasi-conserved integrals of motion (charges) for the perturbed model. Such quasi-conserved quantities are believed to be responsible for the existence of the prethermalization phase at intermediate timescales. We find that for a sufficiently local perturbation only the first few integrals of motion can be promoted to the quasi-conserved charges, whereas higher-order integrals of motion do not survive.


title: Two new classes of n-exangulated categories

abstract: Herschend-Liu-Nakaoka introduced the notion of $n$-exangulated categories. It is not only a higher dimensional analogue of extriangulated categories defined by Nakaoka-Palu, but also gives a simultaneous generalization of $n$-exact categories and $(n+2)$-angulated categories. Let $\mathcal C$ be an $n$-exangulated category and $\mathcal X$ a full subcategory of $\mathcal C$. If $\mathcal X$ satisfies $\mathcal X\subseteq\mathcal P\cap\mathcal I$, then we give a necessary and sufficient condition for the ideal quotient $\mathcal C/\mathcal X$ to be an $n$-exangulated category, where $\mathcal P$ (resp. $\mathcal I$) is the full subcategory of projective (resp. injective) objects in $\mathcal C$. In addition, we define the notion of $n$-proper class in $\mathcal C$. If $\xi$ is an $n$-proper class in $\mathcal C$, then we prove that $\mathcal C$ admits a new $n$-exangulated structure. These two ways give $n$-exangulated categories which are neither $n$-exact nor $(n+2)$-angulated in general.


title: Quasinormal modes of black holes with a scalar hair in Einstein-Maxwell-dilaton theory

abstract: We compute the quasinormal frequencies for scalar perturbations of hairy black holes in four-dimensional Einstein-Maxwell-dilaton theory assuming a non-trivial scalar potential for the dilaton field. We investigate the impact on the spectrum of the angular degree, the overtone number, the charges of the black hole as well as the magnitude of the scalar potential. All modes are found to be stable. Our numerical results are summarized in tables, and for better visualization, we show them graphically as well.


title: On the structure of the Nehari set associated to a Schr\"odinger-Poisson system with prescribed mass: old and new results

abstract: In this paper we apply the fibering method of Pohozaev to a Schr\"odinger-Poisson system, with prescribed $L^{2}$ norm of the unknown, in the whole $\mathbb R^{3}$. The method makes clear the role played by the exponents $p=3, p=8/3, p=10/3$. Beside to show as old results can be obtained in a unified way, we exhibit also new ones.


title: Ensemble Regression Models for Software Development Effort Estimation: A Comparative Study

abstract: As demand for computer software continually increases, software scope and complexity become higher than ever. The software industry is in real need of accurate estimates of the project under development. Software development effort estimation is one of the main processes in software project management. However, overestimation and underestimation may cause the software industry loses. This study determines which technique has better effort prediction accuracy and propose combined techniques that could provide better estimates. Eight different ensemble models to estimate effort with Ensemble Models were compared with each other base on the predictive accuracy on the Mean Absolute Residual (MAR) criterion and statistical tests. The results have indicated that the proposed ensemble models, besides delivering high efficiency in contrast to its counterparts, and produces the best responses for software project effort estimation. Therefore, the proposed ensemble models in this study will help the project managers working with development quality software.


title: Qualitative Analysis of Monte Carlo Dropout

abstract: In this report, we present qualitative analysis of Monte Carlo (MC) dropout method for measuring model uncertainty in neural network (NN) models. We first consider the sources of uncertainty in NNs, and briefly review Bayesian Neural Networks (BNN), the group of Bayesian approaches to tackle uncertainties in NNs. After presenting mathematical formulation of MC dropout, we proceed to suggesting potential benefits and associated costs for using MC dropout in typical NN models, with the results from our experiments.


title: Smartphone Security Behavioral Scale: A New Psychometric Measurement for Smartphone Security

abstract: Despite widespread use of smartphones, there is no measurement standard targeted at smartphone security behaviors. In this paper we translate a well-known cybersecurity behavioral scale into the smartphone domain and show that we can improve on this translation by following an established psychometrics approach surveying 1011 participants. We design a new 14-item Smartphone Security Behavioral Scale (SSBS) exhibiting high reliability and good fit to a two-component behavioural model based on technical versus social protection strategies. We then demonstrate how SSBS can be applied to measure the influence of mental health issues on smartphone security behavior intentions. We found significant correlations that predict SSBS profiles from three types of MHIs. Conversely, we are able to predict presence of MHIs using SSBS profiles.We obtain prediction AUCs of 72.1% for Internet addiction,75.8% for depression and 66.2% for insomnia.


title: Learning Utilities and Equilibria in Non-Truthful Auctions

abstract: In non-truthful auctions, agents' utility for a strategy depends on the strategies of the opponents and also the prior distribution over their private types; the set of Bayes Nash equilibria generally has an intricate dependence on the prior. Using the First Price Auction as our main demonstrating example, we show that $\tilde O(n / \epsilon^2)$ samples from the prior with $n$ agents suffice for an algorithm to learn the interim utilities for all monotone bidding strategies. As a consequence, this number of samples suffice for learning all approximate equilibria. We give almost matching (up to polylog factors) lower bound on the sample complexity for learning utilities. We also consider a setting where agents must pay a search cost to discover their own types. Drawing on a connection between this setting and the first price auction, discovered recently by Kleinberg et al. (2016), we show that $\tilde O(n / \epsilon^2)$ samples suffice for utilities and equilibria to be estimated in a near welfare-optimal descending auction in this setting. En route, we improve the sample complexity bound, recently obtained by Guo et al. (2021), for the Pandora's Box problem, which is a classical model for sequential consumer search.


title: Phononic soft mode and strong electronic background behavior across the structural phase transition in the excitonic insulator Ta$_2$NiSe$_5$ (with Erratum)

abstract: Ta$_2$NiSe$_5$ became one of the most investigated candidate materials for hosting an excitonic insulator ground state. Many studies describe the corresponding phase transition as a condensation of excitons breaking a continuous symmetry. This view got challenged recently pointing out the importance of the loss of two mirror symmetries at a structural phase transition that occurs together with the semiconductor-excitonic insulator transition. For such a scenario an unstable optical zone-center phonon at low energy is proposed to drive the transition. Here we report on the experimental observation of such a soft mode behavior using Raman spectroscopy. In addition we find a novel spectral feature, likely of electronic or joint electronic and phononic origin, that is clearly distinct from the lattice dynamics and that becomes dominant at Tc. This suggests a picture of joint structural and electronic order driving the phase transition.


title: Deep Fence Estimation using Stereo Guidance and Adversarial Learning

abstract: People capture memorable images of events and exhibits that are often occluded by a wire mesh loosely termed as fence. Recent works in removing fence have limited performance due to the difficulty in initial fence segmentation. This work aims to accurately segment fence using a novel fence guidance mask (FM) generated from stereo image pair. This binary guidance mask contains deterministic cues about the structure of fence and is given as additional input to the deep fence estimation model. We also introduce a directional connectivity loss (DCL), which is used alongside adversarial loss to precisely detect thin wires. Experimental results obtained on real world scenarios demonstrate the superiority of proposed method over state-of-the-art techniques.


title: BSMPT v2 A Tool for the Electroweak Phase Transition and the Baryon Asymmetry of the Universe in Extended Higgs Sectors

abstract: We present the C++ code BSMPT v2 which is an extension of the previous code BSMPT for the calculation of the strength of the electroweak phase transition in extended Higgs sectors. The new version BSMPT v2 includes the features of BSMPT and extends the already implemented models (the 2-Higgs-Doublet model (2HDM) in its CP-conserving and CP-violating versions and the Next-to-2HDM) by the Complex Singlet Extension of the Standard Model (CxSM). The major upgrade is the implementation of the computation of the baryon asymmetry of the Universe (at present for the C2HDM) in two different approximation, called the FH and the VIA approach. Furthermore, the possibility of varying the renormalisation scale in the loop-corrected effective potential has been added. These changes and further smaller modifications are described in this manual. Additionally, a detailed explanation of the procedure for the implementation of new models is given, which has also changed with respect to the previous version.


title: Properties of nuclear matter in relativistic Brueckner-Hartree-Fock model with high-precision charge-dependent potentials

abstract: Properties of nuclear matter are investigated in the framework of relativistic Brueckner-Hartree-Fock model with the latest high-precision charge-dependent Bonn (pvCD-Bonn) potentials, where the coupling between pion and nucleon is adopted as pseudovector form. These realistic pvCD-Bonn potentials are renormalized to effective nucleon-nucleon ($NN$) interactions, $G$ matrices. They are obtained by solving the Blankenbecler-Sugar (BbS) equation in nuclear medium. Then, the saturation properties of symmetric nuclear matter are calculated with pvCD-Bonn A, B, C potentials. The energies per nucleon are around $-10.72$ MeV to $-16.83$ MeV at saturation densities, $0.139$ fm$^{-3}$ to $0.192$ fm$^{-3}$ with these three potentials, respectively. It clearly demonstrates that the pseudovector coupling between pion and nucleon can generate reasonable saturation properties comparing with pseudoscalar coupling. Furthermore, these saturation properties have strong correlations with the tensor components of $NN$ potentials, i.e., the $D$-state probabilities of deuteron, $P_D$ to form a relativistic Coester band. In addition, the charge symmetry breaking (CSB) and charge independence breaking (CIB) effects are also discussed in nuclear matter from the partial wave contributions with these high-precision charge-dependent potentials. In general, the magnitudes of CSB from the differences between $nn$ and $pp$ potentials are about $0.05$ MeV, while those of CIB are around $0.35$ MeV from the differences between $np$ and $pp$ potentials. Finally, the equations of state of asymmetric nuclear matter are also calculated with different asymmetry parameters. It is found that the effective neutron mass is larger than the proton one in neutron-rich matter.


title: Morphologies and dynamics of micro-droplet impact onto an idealised scratch

abstract: As inkjet technology develops to produce smaller droplets, substrate features such as accidental scratches or manufacturing defects can potentially affect the outcome of printing, particularly for printed electronics where continuous tracks are required. Here, the deposition of micro-droplets onto a scratch of commensurate size is studied. The scratch is considered as a groove of rectangular cross-section, with rectangular side ridges representing material displaced from the substrate, and seven equilibrium morphologies are identified as a result of inertial spreading, contact-line pinning, imbibition into the scratch and capillary flow. A regime map is constructed in terms of scratch depth and width, and theoretical estimates of the regime boundaries are developed by adapting droplet spreading laws for flat surfaces to account for liquid entering the scratches. Good agreement is seen with numerical results obtained using a GPU-accelerated three-dimensional multiphase lattice Boltzmann model validated against published experiments, and the influences of Reynolds number, Weber number and advancing and receding contact angles are explored. Negative and positive implications of the results for printing applications are discussed and illustrated via multiple-droplet simulations of printing across and along scratches.


title: On the Elastic Properties of Single-Walled Phagraphene Nanotubes

abstract: Phagraphene (PhaG) is a quasi-planar 2D structure composed of $5-6-7$ ring sequence. We have investigated the structural and mechanical properties of phagraphene nanotubes (PhaNTs) through fully atomistic reactive molecular dynamics (MD) simulations. For comparison purposes, the results were also contrasted to similar carbon nanotubes (CNTs). Results showed that PhaNTs and CNTs present similar brittle fracture mechanisms. The Young's modulus values obtained for PhaNTs were smaller than the corresponding ones for CNTs. Both, PhaNTs and CNTs, present equivalent fracture strains ranging between 15\%-20\%. For the ultimate strength values, CNTs present values about 30\% higher than the corresponding ones for PhaNTs.


title: LES of a classical hydraulic jump: Influence of modelling parameters on the predictive accuracy

abstract: Results from large-eddy simulations of a classical hydraulic jump at inlet Froude number 2 are reported. The computations are performed using the general-purpose finite-volume based code OpenFOAM, and the primary goal is to evaluate the influence of modelling parameters on the predictive accuracy, as well as establish associated best-practice guidelines. A benchmark simulation on a dense computational mesh is conducted, and good agreement with existing reference data is found. The remaining simulations cover different selections of modelling parameters: geometric vs algebraic interface capturing, three mesh resolution levels, four choices of the convective flux interpolation scheme. Geometric interface capturing leads to better accuracy but deteriorated numerical stability and increased simulation times. Interestingly, numerical dissipation is shown to systematically improve the results, both in terms of accuracy and stability. The densest of the three grids, which is twice as coarse as the grid used in the benchmark simulation, was found to be sufficient for faithfully reproducing all the considered quantities of interest. The recommendation is therefore to use this grid, geometric interface capturing, and a second-order upwind scheme for the convective fluxes.


title: Multimodal Container Planning: a QUBO Formulation and Implementation on a Quantum Annealer

abstract: Quantum computing is developing fast. Real world applications are within reach in the coming years. One of the most promising areas is combinatorial optimisation, where the Quadratic Unconstrained Binary Optimisation (QUBO) problem formulation is used to get good approximate solutions. Both the universal quantum computer as the quantum annealer can handle this kind of problems well. In this paper, we present an application on multimodal container planning. We show how to map this problem to a QUBO problem formulation and how the practical implementation can be done on the quantum annealer produced by D-Wave Systems.


title: Numerical detection of Gaussian entanglement and its application to the identification of bound entangled Gaussian states

abstract: We present a numerical method for solving the separability problem of Gaussian quantum states in continuous-variable quantum systems. We show that the separability problem can be cast as an equivalent problem of determining the feasibility of a set of linear matrix inequalities. Thus, it can be efficiently solved using existent numerical solvers. We apply this method to the identification of bound entangled Gaussian states. We show that the proposed method can be used to identify bound entangled Gaussian states that could be simple enough to be producible in quantum optics.


title: Creation of Universes from the Third-Quantized Vacuum

abstract: We calculate the average numbers of closed, flat, and open universes spontaneously created from nothing in third quantization. The creation of universes is exponentially suppressed for large values of the kinetic energy of the inflaton, while for small kinetic energies it is exponentially favoured for closed universes over flat and open ones: For a scale of inflation less than about $2 \times 10^{16}$GeV, the ratio of the number of closed universes to either the number of flat or open universes is \begin{equation} \frac{n_{closed}}{n_{flat,open}} \gtrsim 10^{10^{10}} . \nonumber \end{equation}


title: Probabilistic Soft Type Assignment

abstract: We model randomized complexity classes in the style of Implicit Computational Complexity. We introduce PSTA, a probabilistic version of STA, the type-theoretical counterpart of Soft Linear Logic. PSTA is a type assignment for an extension of Simpson's Linear Lambda Calculus and its surface reduction, where Linear additives express random choice. Linear additives are weaker than the usual ones; they allow for duplications harmlessly affecting the computational cost of normalization. PSTA is sound and complete w.r.t. probabilistic polynomial time functions and characterizes the probabilistic complexity classes PP and BPP, the latter slightly less implicitly than PP.