title: Site dilution and charge disorder effect on physical properties in SrRu$_{1-x}$Ga$_x$O$_3$

abstract: Here, we report an evolution of structural, magnetic and transport behavior in doped SrRu$_{1-x}$Ga$_x$O$_3$ ($x$ $\le$ 0.2). The nonmagnetic dopant Ga$^{3+}$ (3$d^{10}$) not only acts for magnetic site dilution in SrRuO$_3$ but also it modifies the Ru charge state and electronic density. Our studies show that Ga$^{3+}$ substitution does not affect the original orthorhombic-\textit{Pbnm} structure of SrRuO$_3$ which is due to its matching ionic radii with Ru$^{4+}$. However, Ga$^{3+}$ has a substantial effect on the magnetic behavior of SrRuO$_3$ where it decreases both magnetic moment as well as magnetic transition temperature $T_c$. Further, this dilution induces Griffiths phase behavior across $T_c$ and cluster-glass behavior at low temperature with higher concentration of doping. The magnetic critical exponent $\beta$ increases with $x$ due to this site dilution effect. The Ga$^{3+}$ induces an insulating state in SrRuO$_3$ with $x$ $>$ 0.05. The charge transport in paramagnetic as well as in insulating state of samples can be well described with Mott's modified variable-range-hopping model. The metallic charge transport just below $T_c$ in SrRuO$_3$ obeys Fermi liquid behavior which, however breaks down at low temperature. We further find a correlation between field dependent magnetoresistance and magnetization through power-law behavior over the series.


title: Rabi Experiments on the $\sigma$ and $\pi$ Hyperfine Transitions in Hydrogen and Status of ASACUSA's Antihydrogen Program

abstract: We report on the status of the in-beam hyperfine-structure measurements on ground-state antihydrogen by ASACUSA and on recent results obtained in supporting measurements from hydrogen. The $\sigma_1$ and $\pi_1$ transitions can now be investigated, which is beneficial from both theoretical and experimental perspectives. We discuss systematic effects from resonance interference originating from the chosen field geometries in the interaction region, and how their impact can be managed by appropriate data-taking or design concepts.


title: Input-output equations and identifiability of linear ODE models

abstract: Structural identifiability is a property of a differential model with parameters that allows for the parameters to be determined from the model equations in the absence of noise. The method of input-output equations is one method for verifying structural identifiability. This method stands out in its importance because the additional insights it provides can be used to analyze and improve models. However, its complete theoretical grounds and applicability are still to be established. A subtlety and key for this method to work correctly is knowing whether the coefficients of these equations are identifiable. In this paper, to address this, we prove identifiability of the coefficients of input-output equations for types of differential models that often appear in practice, such as linear models with one output and linear compartment models in which, from each compartment, one can reach either a leak or an input. This shows that checking identifiability via input-output equations for these models is legitimate and, as we prove, that the field of identifiable functions is generated by the coefficients of the input-output equations. Finally, we exploit a connection between input-output equations and the transfer function matrix to show that, for a linear compartment model with an input and strongly connected graph, the field of all identifiable functions is generated by the coefficients of the transfer function matrix even if the initial conditions are generic.


title: Normalized concentrating solutions to nonlinear elliptic problems

abstract: We prove the existence of solutions $(\lambda, v)\in \mathbb{R}\times H^{1}(\Omega)$ of the elliptic problem \[ \begin{cases} -\Delta v+(V(x)+\lambda) v =v^{p}\ &\text{ in $ \Omega, $} \ v>0,\qquad \int_\Omega v^2\,dx =\rho. \end{cases} \] Any $v$ solving such problem (for some $\lambda$) is called a normalized solution, where the normalization is settled in $L^2(\Omega)$. Here $\Omega$ is either the whole space $\mathbb R^N$ or a bounded smooth domain of $\mathbb R^N$, in which case we assume $V\equiv0$ and homogeneous Dirichlet or Neumann boundary conditions. Moreover, $1<p<\frac{N+2}{N-2}$ if $N\ge 3$ and $p>1$ if $N=1,2$. Normalized solutions appear in different contexts, such as the study of the Nonlinear Schr\"odinger equation, or that of quadratic ergodic Mean Field Games systems. We prove the existence of solutions concentrating at suitable points of $\Omega$ as the prescribed mass $\rho$ is either small (when $p<1+\frac 4N$) or large (when $p>1+\frac 4N$) or it approaches some critical threshold (when $p=1+\frac 4N$).


title: Optimal experimental design via Bayesian optimization: active causal structure learning for Gaussian process networks

abstract: We study the problem of causal discovery through targeted interventions. Starting from few observational measurements, we follow a Bayesian active learning approach to perform those experiments which, in expectation with respect to the current model, are maximally informative about the underlying causal structure. Unlike previous work, we consider the setting of continuous random variables with non-linear functional relationships, modelled with Gaussian process priors. To address the arising problem of choosing from an uncountable set of possible interventions, we propose to use Bayesian optimisation to efficiently maximise a Monte Carlo estimate of the expected information gain.


title: Long and short range magnetism in the frustrated double perovskite Ba2MnWO6

abstract: The structural and magnetic properties of the face-centered cubic double perovskite Ba2MnWO6 were investigated using neutron powder diffraction, DC-magnetometry, muon spin relaxation and inelastic neutron scattering. Ba2MnWO6 undergoes Type II long-range antiferromagnetic ordering at a Neel temperature of 8(1) K with a frustration index, f = 8. Inelastic neutron scattering was used to identify the magnetic coupling constants J1 and J2, which were found to equal -0.080 meV and -0.076 meV respectively. This indicated that both of the magnetic coupling constants were antiferromagnetic with similar magnitudes, which is in contrast to other known 3d metal double perovskites Ba2MWO6. Above the Neel temperature, muon spin relaxation measurements and inelastic neutron scattering techniques identify a short-range correlated magnetic state that is similar to that observed in the archetypical face-centered cubic lattice antiferromagnet MnO.


title: Rejection-Based Simulation of Non-Markovian Agents on Complex Networks

abstract: Stochastic models in which agents interact with their neighborhood according to a network topology are a powerful modeling framework to study the emergence of complex dynamic patterns in real-world systems. Stochastic simulations are often the preferred - sometimes the only feasible - way to investigate such systems. Previous research focused primarily on Markovian models where the random time until an interaction happens follows an exponential distribution. In this work, we study a general framework to model systems where each agent is in one of several states. Agents can change their state at random, influenced by their complete neighborhood, while the time to the next event can follow an arbitrary probability distribution. Classically, these simulations are hindered by high computational costs of updating the rates of interconnected agents and sampling the random residence times from arbitrary distributions. We propose a rejection-based, event-driven simulation algorithm to overcome these limitations. Our method over-approximates the instantaneous rates corresponding to inter-event times while rejection events counterbalance these over-approximations. We demonstrate the effectiveness of our approach on models of epidemic and information spreading.


title: Phase diagram, symmetry breaking, and critical behavior of three-dimensional lattice multiflavor scalar chromodynamics

abstract: We study the nature of the phase diagram of three-dimensional lattice models in the presence of nonabelian gauge symmetries. In particular, we consider a paradigmatic model for the Higgs mechanism, lattice scalar chromodynamics with N_f flavors, characterized by a nonabelian SU(N_c) gauge symmetry. For N_f>1 (multiflavor case), it presents two phases separated by a transition line where a gauge-invariant order parameter condenses, being associated with the breaking of the residual global symmetry after gauging. The nature of the phase transition line is discussed within two field-theoretical approaches, the continuum scalar chromodynamics and the Landau-Ginzburg- Wilson (LGW) Phi4 approach based on a gauge-invariant order parameter. Their predictions are compared with simulation results for N_f=2, 3 and N_c = 2, 3, and 4. The LGW approach turns out to provide the correct picture of the critical behavior, unlike continuum scalar chromodynamics.


title: Decoupling of itinerant and localized $d$-orbital electrons in the compound Sc$_{0.5}$Zr$_{0.5}$Co

abstract: By using the arc-melting method, we successfully synthesized the compound Sc$_{0.5}$Zr$_{0.5}$Co with the space group of $Pm$-$3m$. Both the resistivity and magnetic susceptibility measurements reveal a phase transition at about 86 K. This transition might be attributed to the establishment of an antiferromagnetic order. The magnetization hysteresis loop measurements in wide temperature region show a weak ferromagnetic feature, which suggests a possible canted arrangement of the magnetic moments. Bounded by the phase transition temperature, the resistivity at ambient pressure shows a change from Fermi liquid behavior to a super-linear behavior as temperature increases. By applying pressures up to 32.1 GPa, the transition temperature does not show a clear change and no superconductivity is observed above 2 K. The density functional theory (DFT) calculations confirm the existence of the antiferromagnetic order and reveal a gap between the spin-up and spin-down $d$-orbital electrons. This kind of behavior may suggest that the antiferromagnetic order in this compound originates from the localized $d$-electrons which do not contribute to the conductance. Thus the itinerant and localized $d$-orbital electrons in the compound are decoupled.


title: The Effect of Bulge Mass on Bar Pattern Speed in Disk Galaxies

abstract: We present a study of the effect of bulge mass on the evolution of bar pattern speed in isolated disk galaxies using N-body simulations. Earlier studies have shown that disk stars at the inner resonances can transfer a significant amount of angular momentum to the dark matter halo and this results in the slow down of the bar pattern speed. In this paper we investigate how the mass of the other spheroidal component, the bulge, affects bar pattern speeds. In our galaxy models the initial bars are all rotating fast as the R parameter, which is the ratio of the corotation radius to bar radius is less than 1.4, which is typical of fast bars. However, as the galaxies evolve with time, the bar pattern speed (${\Omega}_p$ ) slows down leading to R $>$1.4 for all the models except for the model with the most massive bulge, in which the bar formed late and did not have time to evolve. The rapid slowdown of ${\Omega}_p$ is due to the larger angular momentum transfer from the disk to the bulge, and is due to interactions between stars at the inner resonances and those in the bar. Hence we conclude that the decrease in ${\Omega}_p$ clearly depends on bulge mass in barred galaxies and decreases faster for galaxies with more massive bulges. We discuss the implications of our results for observations of bar pattern speeds in galaxies.


title: Singularity models of pinched solutions of mean curvature flow in higher codimension

abstract: We consider ancient solutions to the mean curvature flow in $\mathbb{R}^{n+1}$ ($n \geq 3$) that are weakly convex, uniformly two-convex, and satisfy derivative estimates $|\nabla A| \leq \gamma_1 |H|^2, |\nabla^2 A| \leq \gamma_2 |H|^3$. We show that such solutions are noncollapsed. As an application, in arbitrary codimension, we consider compact $n$-dimensional ($n \geq 5$) solutions to the mean curvature flow in $\mathbb{R}^N$ that satisfy the pinching condition $|H| > 0$ and $|A|^2 < c(n) |H|^2$, $c(n) = \min\{\frac{1}{n-2}, \frac{3(n+1)}{2n(n+2)}\}$. We conclude that any blow-up model at the first singular time must be a codimension one shrinking sphere, shrinking cylinder, or translating bowl soliton.


title: Mapping graph state orbits under local complementation

abstract: Graph states, and the entanglement they posses, are central to modern quantum computing and communications architectures. Local complementation---the graph operation that links all local-Clifford equivalent graph states---allows us to classify all stabiliser states by their entanglement. Here, we study the structure of the orbits generated by local complementation, mapping them up to 9 qubits and revealing a rich hidden structure. We provide programs to compute these orbits, along with our data for each of the 587 orbits up to 9 qubits and a means to visualise them. We find direct links between the connectivity of certain orbits with the entanglement properties of their component graph states. Furthermore, we observe the correlations between graph-theoretical orbit properties, such as diameter and colourability, with Schmidt measure and preparation complexity and suggest potential applications. It is well known that graph theory and quantum entanglement have strong interplay---our exploration deepens this relationship, providing new tools with which to probe the nature of entanglement.

categories: quant-ph math-ph math.MP physics.comp-ph


title: A systematic review of smartphone-based human activity recognition for health research

abstract: Background: Smartphones are now nearly ubiquitous; their numerous built-in sensors enable continuous measurement of activities of daily living, making them especially well-suited for health research. Researchers have proposed various human activity recognition (HAR) systems aimed at translating measurements from smartphones into various types of physical activity. In this review, we summarize the existing approaches to smartphone-based HAR. Methods: We systematically searched Scopus, PubMed, and Web of Science for peer-reviewed articles published up to December 2020 on the use of smartphones for HAR. We extracted information on smartphone body location, sensors, and physical activity types studied and the data transformation techniques and classification schemes used for activity recognition. Results: We identified 108 articles and described the various approaches used for data acquisition, data preprocessing, feature extraction, and activity classification, identifying the most common practices and their alternatives. Conclusions: Smartphones are well-suited for HAR research in the health sciences. For population-level impact, future studies should focus on improving quality of collected data, address missing data, incorporate more diverse participants and activities, relax requirements about phone placement, provide more complete documentation on study participants, and share the source code of the implemented methods and algorithms.


title: On Trace Theorems for Sobolev Spaces

abstract: We survey a few trace theorems for Sobolev spaces on $N$-dimensional Euclidean domains. We include known results on linear subspaces, in particular hyperspaces, and smooth boundaries, as well as less known results for Lipschitz boundaries, including Besov's Theorem and other characterizations of traces on planar domains, polygons in particular, in the spirit of the work of P. Grisvard. Finally, we present a recent approach, originally developed by G. Auchmuty in the case of the Sobolev space $H^1(\Omega)$ on a Lipschitz domain $\Omega$, and which we have further developed for the trace spaces of $H^k(\Omega)$, $k\geq 2$, by using Fourier expansions associated with the eigenfunctions of new multi-parameter polyharmonic Steklov problems.


title: Local well-posedness of the two-dimensional Dirac-Klein-Gordon equations in Fourier-Lebesgue spaces

abstract: The local well-posedness problem is considered for the Dirac-Klein-Gordon system in two space dimensions for data in Fourier-Lebesgue spaces $\hat{H}^{s,r}$ , where $\|f\|_{\hat{H}^{s,r}} = \| \langle \xi \rangle^s \hat{f}\|_{L^{r'}}$ and $r$ and $r'$ denote dual exponents. We lower the regularity assumptions on the data with respect to scaling improving the results of d'Ancona, Foschi and Selberg in the classical case $r=2$ . Crucial is the fact that the nonlinearities fulfill a null condition as detected by these authors.


title: Towards Learning to Detect and Predict Contact Events on Vision-based Tactile Sensors

abstract: In essence, successful grasp boils down to correct responses to multiple contact events between fingertips and objects. In most scenarios, tactile sensing is adequate to distinguish contact events. Due to the nature of high dimensionality of tactile information, classifying spatiotemporal tactile signals using conventional model-based methods is difficult. In this work, we propose to predict and classify tactile signal using deep learning methods, seeking to enhance the adaptability of the robotic grasp system to external event changes that may lead to grasping failure. We develop a deep learning framework and collect 6650 tactile image sequences with a vision-based tactile sensor, and the neural network is integrated into a contact-event-based robotic grasping system. In grasping experiments, we achieved 52% increase in terms of object lifting success rate with contact detection, significantly higher robustness under unexpected loads with slip prediction compared with open-loop grasps, demonstrating that integration of the proposed framework into robotic grasping system substantially improves picking success rate and capability to withstand external disturbances.


title: Materials design of dynamically stable $d^9$ layered nickelates

abstract: Motivated by the recent discovery of superconductivity in the Sr-doped layered nickelate NdNiO$_2$, we perform a systematic computational materials design of layered nickelates that are dynamically stable and whose electronic structure better mimics the electronic structure of high-$T_c$ cuprates than NdNiO$_2$. While the Ni $3d$ orbitals are self-doped from the $d^9$ configuration in NdNiO$_2$ and the Nd-layer states form Fermi pockets, we find more than 10 promising compounds for which the self-doping is almost or even completely suppressed. We derive effective single-band models for those materials and find that they are in the strongly-correlated regime. We also investigate the possibility of palladate analogues of high-$T_c$ cuprates. Once synthesized, these nickelates and palladates will provide a firm ground for studying superconductivity in the Mott-Hubbard regime of the Zaanen-Sawatzky-Allen classification.


title: Within-host phenotypic evolution and the population-level control of chronic viral infections by treatment and prophylaxis

abstract: Chronic viral infections can persist in an infected person for decades. From the perspective of the virus, a single infection can span thousands of generations, leading to a highly diverse population of viruses with its own complex evolutionary history. We propose a mathematical framework for understanding how the emergence of new viral strains and phenotype within infected persons affects the population-level control of those infections by both non-curative treatment and chemo-prophylactic measures. We consider the within-host emergence of new strains that lack phenotype novelty and also the evolution of variability in contagiousness, resistance to therapy, and efficacy of prophylaxis. Our framework balances the need for verisimilitude with our desire to retain a model that can be approached analytically. We show how to compute the population-level basic reproduction number accounting for the within-host evolutionary process where new phenotypes emerge and are lost in infected persons, which we also extend to include both treatment and prophylactic control efforts. This allows us to make clear statements about both the global and relative efficacy of different control efforts accounting for within-host phenotypic evolution. Finally, we give expressions for the endemic equilibrium of these models for certain constrained versions of the within-host evolutionary model providing a potential method for estimating within-host evolutionary parameters from population-level genetic sequence data.


title: Hierarchical Demand Forecasting Benchmark for the Distribution Grid

abstract: We present a comparative study of different probabilistic forecasting techniques on the task of predicting the electrical load of secondary substations and cabinets located in a low voltage distribution grid, as well as their aggregated power profile. The methods are evaluated using standard KPIs for deterministic and probabilistic forecasts. We also compare the ability of different hierarchical techniques in improving the bottom level forecasters' performances. Both the raw and cleaned datasets, including meteorological data, are made publicly available to provide a standard benchmark for evaluating forecasting algorithms for demand-side management applications.


title: Dynamic Mode Decomposition for Continuous Time Systems with the Liouville Operator

abstract: Dynamic Mode Decomposition (DMD) has become synonymous with the Koopman operator, where continuous time dynamics are examined through a discrete time proxy determined by a fixed timestep using Koopman (i.e. composition) operators. Using the newly introduced "occupation kernels," the present manuscript develops an approach to DMD that treats continuous time dynamics directly through the Liouville operator, which can include Koopman generators. This manuscript outlines the technical and theoretical differences between Koopman based DMD for discrete time systems and Liouville based DMD for continuous time systems, which includes an examination of these operators over several reproducing kernel Hilbert spaces (RKHSs). While Liouville operators are modally unbounded, this manuscript introduces the concept of a scaled Liouville operator, which for many dynamical systems yields a compact operator over the exponential dot product kernel's native space. Hence, norm convergence of the DMD procedure is established when using scaled Liouville operators, which is a decided advantage over Koopman based DMD methods.


title: Pose Localization of Leader-Follower Networks with Direction Measurements

abstract: A distributed pose localization framework based on direction measurements is proposed for a type of \textit{leader-follower} multi-agent systems in $\mathbb{R}^3$. The novelty of the proposed localization method lies in the elimination of the need for using distance measurements and relative orientation measurements for the network pose localization problem. In particular, a network localization scheme is developed based directly on the measured direction constraints between an agent and its neighboring agents in the network. The proposed position and orientation localization algorithms are implemented through differential equations which simultaneously compute poses of all followers by using locally measured directional vectors and angular velocities, and actual pose knowledge of some leader agents, allowing some tracking of time-varying orientations. Further, we establish an almost global asymptotic convergence of the estimated positions and orientations of the agents to the actual poses in the stationary case.


title: $H^\infty$ calculus for submarkovian semigroups on weighted $L^2$ spaces

abstract: Let $(T_t)_{t \geq 0}$ be a markovian (resp. submarkovian) semigroup on some $\sigma$-finite measure space $(\Omega,\mu)$. We prove that its negative generator $A$ has a bounded $H^\infty(\Sigma_\theta)$ calculus on the weighted space $L^2(\Omega,wd\mu)$ as long as the weight $w : \Omega \to (0,\infty)$ has finite characteristic defined by $Q^A_2(w) = \sup_{t > 0} \left\| T_t(w) T_t \left(w^{-1} \right) \right\|_{L^\infty(\Omega)}$ (resp. by a variant for submarkovian semigroups). Some additional technical conditions on the semigroup have to be imposed and their validity in examples is discussed. Any angle $\theta > \frac{\pi}{2}$ is admissible in the above $H^\infty$ calculus, and for some semigroups also certain $\theta = \theta_w < \frac{\pi}{2}$ depending on the size of $Q^A_2(w)$. The norm of the $H^\infty(\Sigma_\theta)$ calculus is linear in the $Q^A_2$ characteristic for $\theta > \frac{\pi}{2}$. We also discuss negative results on angles $\theta < \frac{\pi}{2}$. Namely we show that there is a markovian semigroup on a probability space and a $Q^A_2$ weight $w$ without H\"ormander functional calculus on $L^2(\Omega,w d\mu)$.


title: Model Order Selection Based on Information Theoretic Criteria: Design of the Penalty

abstract: Information theoretic criteria (ITC) have been widely adopted in engineering and statistics for selecting, among an ordered set of candidate models, the one that better fits the observed sample data. The selected model minimizes a penalized likelihood metric, where the penalty is determined by the criterion adopted. While rules for choosing a penalty that guarantees a consistent estimate of the model order are known, theoretical tools for its design with finite samples have never been provided in a general setting. In this paper, we study model order selection for finite samples under a design perspective, focusing on the generalized information criterion (GIC), which embraces the most common ITC. The theory is general, and as case studies we consider: a) the problem of estimating the number of signals embedded in additive white Gaussian noise (AWGN) by using multiple sensors; b) model selection for the general linear model (GLM), which includes e.g. the problem of estimating the number of sinusoids in AWGN. The analysis reveals a trade-off between the probabilities of overestimating and underestimating the order of the model. We then propose to design the GIC penalty to minimize underestimation while keeping the overestimation probability below a specified level. For the considered problems, this method leads to analytical derivation of the optimal penalty for a given sample size. A performance comparison between the penalty optimized GIC and common AIC and BIC is provided, demonstrating the effectiveness of the proposed design strategy.


title: The effect of disorder on the phase diagrams of hard-core lattice bosons with cavity-mediated long-range and nearest-neighbor interactions

abstract: We use quantum Monte Carlo simulations with the worm algorithm to study the phase diagram of a two-dimensional Bose-Hubbard model with cavity-mediated long-range interactions and uncorrelated disorder in the hard-core limit. Our study shows the system is in a supersolid phase at weak disorder and a disordered solid phase at stronger disorder. Due to long-range interactions, a large region of metastable states exists in both clean and disordered systems. By comparing the phase diagrams for both clean and disordered systems, we find that disorder suppresses metastable states and superfluidity. We compare these results with the phase diagram of the extended Bose-Hubbard model with nearest-neighbor interactions. Here, the supersolid phase does not exist even at weak disorder. We identify two kinds of glassy phases: a Bose glass phase and a disordered solid phase. The glassy phases intervene between the density-wave and superfluid phases as the Griffiths phase of the Bose-Hubbard model. The disordered solid phase intervenes between the density-wave and Bose glass phases since both have a finite structure factor.


title: High performance waveguide uni-travelling carrier photodiode grown by solid source molecular beam epitaxy

abstract: The first waveguide coupled phosphide-based UTC photodiodes grown by Solid Source Molecular Beam Epitaxy (SSMBE) are reported in this paper. Metal Organic Vapour Phase Epitaxy (MOVPE) and Gas Source MBE (GSMBE) have long been the predominant growth techniques for the production of high quality InGaAsP materials. The use of SSMBE overcomes the major issue associated with the unintentional diffusion of zinc in MOVPE and gives the benefit of the superior control provided by MBE growth techniques without the costs and the risks of handling toxic gases of GSMBE. The UTC epitaxial structure contains a 300 nm n-InP collection layer and a 300 nm n++-InGaAsP waveguide layer. UTC-PDs integrated with Coplanar Waveguides (CPW) exhibit 3 dB bandwidth greater than 65 GHz and output RF power of 1.1 dBm at 100 GHz. We also demonstrate accurate prediction of the absolute level of power radiated by our antenna integrated UTCs, between 200 GHz and 260 GHz, using 3d full-wave modelling and taking the UTC-to-antenna impedance match into account. Further, we present the first optical 3d full-wave modelling of waveguide UTCs, which provides a detailed insight into the coupling between a lensed optical fibre and the UTC chip.


title: A Classification of Autoparatopisms of Latin Cubes

abstract: A paratopism is an action on a Latin hypercube of dimension d and order n which is an element of the wreath product $S_n \wr S_{d+1}$. A paratopism is said to be an autoparatopism if there is at least one Latin hypercube which is mapped to itself under the action of the paratopism. In this paper we classify autoparatopisms of Latin cubes given d = 3 and $n \in \mathbb{Z^+}$, upto the conjugacy in $S_n \wr S_4$. In order to achieve this objective, we prove that given an autoparatopism ${\sigma} \in S_n \wr S_{d+1}$, all the conjugates of ${\sigma}$ are autoparatpisms. Also, an important condition is presented, which states that the cycle structure of the ${\delta}$ in the element ${\sigma}= ({\alpha}_1,{\alpha}_2,{\alpha}_3,{\alpha}_4;{\delta})$ of $S_n \wr S_4$ determines the conjugacy.


title: Structure and decays of hidden heavy pentaquarks

abstract: We study the hadronic molecular structure of hidden heavy pentaquarks - new exotic states composed of charmed/bottom baryons and $D(D^*)/B(B^*)$ mesons. Based on the observation of three pentaquark candidates $P_c^+(4312)$, $P_c^+(4440)$, and $P_c^+(4457)$ by the LHCb Collaboration we consider the classification of possible flavor partners composed of charmed baryons and $D(D^*)$ mesons within the hadronic molecular approach. We extend this classification to the bottom sector. Using phenomenological Lagrangians we construct baryon-meson bound states governed by the Weinberg-Salam compositeness condition. As an application we consider strong two-body decays of the new exotic states into a light baryon and $V=J/\psi,\Upsilon$ or $P=\eta_c,\eta_b$ mesons. Results are presented in the heavy quark limit.


title: Spontaneously Breaking Non-Abelian Gauge Symmetry in Non-Hermitian Field Theories

abstract: We generalise our previous formulation of gauge-invariant PT-symmetric field theories to include models with non-Abelian symmetries and discuss the extension to such models of the Englert-Brout-Higgs-Kibble mechanism for generating masses for vector bosons. As in the Abelian case, the non-Abelian gauge fields are coupled to non-conserved currents. We present a consistent scheme for gauge fixing, demonstrating Becchi-Rouet-Stora-Tyutin invariance, and show that the particle spectrum and interactions are gauge invariant. We exhibit the masses that gauge bosons in the simplest two-doublet SU(2)xU(1) model acquire when certain scalar fields develop vacuum expectation values: they and scalar masses depend quartically on the non-Hermitian mass parameter mu. The bosonic mass spectrum differs substantially from that in a Hermitian two-doublet model. This non-Hermitian extension of the Standard Model opens a new direction for particle model building, with distinctive predictions to be explored further.


title: Did you miss it? Automatic lung nodule detection combined with gaze information improves radiologists' screening performance

abstract: Early diagnosis of lung cancer via computed tomography can significantly reduce the morbidity and mortality rates associated with the pathology. However, search lung nodules is a high complexity task, which affects the success of screening programs. Whilst computer-aided detection systems can be used as second observers, they may bias radiologists and introduce significant time overheads. With this in mind, this study assesses the potential of using gaze information for integrating automatic detection systems in the clinical practice. For that purpose, 4 radiologists were asked to annotate 20 scans from a public dataset while being monitored by an eye tracker device and an automatic lung nodule detection system was developed. Our results show that radiologists follow a similar search routine and tend to have lower fixation periods in regions where finding errors occur. The overall detection sensitivity of the specialists was 0.67$\pm$0.07, whereas the system achieved 0.69. Combining the annotations of one radiologist with the automatic system significantly improves the detection performance to similar levels of two annotators. Likewise, combining the findings of radiologist with the detection algorithm only for low fixation regions still significantly improves the detection sensitivity without increasing the number of false-positives. The combination of the automatic system with the gaze information allows to mitigate possible errors of the radiologist without some of the issues usually associated with automatic detection system.


title: Higher-order linearization and regularity in nonlinear homogenization

abstract: We prove large-scale $C^\infty$ regularity for solutions of nonlinear elliptic equations with random coefficients, thereby obtaining a version of the statement of Hilbert's 19th problem in the context of homogenization. The analysis proceeds by iteratively improving three statements together: (i) the regularity of the homogenized Lagrangian $\bar{L}$, (ii) the commutation of higher-order linearization and homogenization, and (iii) large-scale $C^{0,1}$-type regularity for higher-order linearization errors. We consequently obtain a quantitative estimate on the scaling of linearization errors, a Liouville-type theorem describing the polynomially-growing solutions of the system of higher-order linearized equations, and an explicit (heterogenous analogue of the) Taylor series for an arbitrary solution of the nonlinear equations---with the remainder term optimally controlled. These results give a complete generalization to the nonlinear setting of the large-scale regularity theory in homogenization for linear elliptic equations.


title: Green function for linearized Navier-Stokes around a boundary shear layer profile for long wavelengths

abstract: This paper is the continuation of a program, initiated in Grenier-Nguyen [8,9], to derive pointwise estimates on the Green function of Orr Sommerfeld equations. In this paper we focus on long wavelength perturbations, more precisely horizontal wavenumbers $\alpha$ of order $\nu^{1/4}$, which correspond to the lower boundary of the instability area for monotonic profiles.


title: SDEs with singular drifts and multiplicative noise on general space-time domains

abstract: In this paper, we prove the existence and uniqueness of maximally defined strong solutions to SDEs driven by multiplicative noise on general space-time domains $Q\subset\mathbb{R}_+\times\mathbb{R}^d$, which have continuous paths on the one-point compactification $Q\cup\partial$ of $Q$ where $\partial \notin Q$ and $Q\cup\partial$ is equipped with the Alexandrov topology. If the SDE is of gradient type (see (2.5) below) we prove that under suitable Lyapunov type conditions the life time of the solution is infinite and its distribution has sub-Gaussian tails. This generalizes earlier work \cite{KR} by Krylov and one of the authors to the case where the noise is multiplicative.


title: Toward a Computational Theory of Evidence-Based Reasoning for Instructable Cognitive Agents

abstract: Evidence-based reasoning is at the core of many problem-solving and decision-making tasks in a wide variety of domains. Generalizing from the research and development of cognitive agents in several such domains, this paper presents progress toward a computational theory for the development of instructable cognitive agents for evidence-based reasoning tasks. The paper also illustrates the application of this theory to the development of four prototype cognitive agents in domains that are critical to the government and the public sector. Two agents function as cognitive assistants, one in intelligence analysis, and the other in science education. The other two agents operate autonomously, one in cybersecurity and the other in intelligence, surveillance, and reconnaissance. The paper concludes with the directions of future research on the proposed computational theory.


title: The role of kinetic inductance on the performance of YBCO SQUID magnetometers

abstract: Inductance is a key parameter when optimizing the performance of superconducting quantum interference device (SQUID) magnetometers made from the high temperature superconductor YBa$_2$Cu$_3$O$_{7-x}$ (YBCO) because lower SQUID inductance $L$ leads to lower flux noise, but also weaker coupling to the pickup loop. In order to optimize the SQUID design, we combine inductance simulations and measurements to extract the different inductance contributions, and measure the dependence of the transfer function $V_{\Phi}$ and flux noise $S_\Phi^{1/2}$ on $L$. A comparison between two samples shows that the kinetic inductance contribution varies strongly with film quality, hence making inductance measurements a crucial part of the SQUID characterization. Thanks to the improved estimation of the kinetic inductance contribution, previously found discrepancies between theoretical estimates and measured values of $V_{\Phi}$ and $S_\Phi^{1/2}$ could to a large extent be avoided. We then use the measurements and improved theoretical estimations to optimize the SQUID geometry and reach a noise level of $S_B^{1/2}$ = 44 fT/$\sqrt{\textrm{Hz}}$ for the best SQUID magnetometer with a 8.6 mm $\times$ 9.2 mm directly coupled pickup loop. Lastly, we demonstrate a method for reliable one-time sensor calibration that is constant in a temperature range of several kelvin despite the presence of temperature dependent coupling contributions, such as the kinetic inductance. The found variability of the kinetic inductance contribution has implications not only for the design of YBCO SQUID magnetometers, but for all narrow linewidth SQUID-based devices operated close to their critical temperature.


title: At least half of the leapfrog fullerene graphs have exponentially many Hamilton cycles

abstract: A fullerene graph is a 3-connected cubic planar graph with pentagonal and hexagonal faces. The leapfrog transformation of a planar graph produces the trucation of the dual of the given graph. A fullerene graph is leapfrog if it can be obtained from another fullerene graph by the leapfrog transformation. We prove that leapfrog fullerene graphs on $n=12k-6$ vertices have at least $2^{k}$ Hamilton cycles.


title: Distributionally Robust XVA via Wasserstein Distance Part 2: Wrong Way Funding Risk

abstract: This paper investigates calculations of robust funding valuation adjustment (FVA) for over the counter (OTC) derivatives under distributional uncertainty using Wasserstein distance as the ambiguity measure. Wrong way funding risk can be characterized via the robust FVA formulation. The simpler dual formulation of the robust FVA optimization is derived. Next, some computational experiments are conducted to measure the additional FVA charge due to distributional uncertainty under a variety of portfolio and market configurations. Finally some suggestions for future work, such as robust capital valuation adjustment (KVA) and margin valuation adjustment (MVA), are discussed.


title: On existence and uniqueness of solutions to a Boussinesq system with nonlinear and mixed boundary conditions

abstract: We study a Boussinesq system in a bounded domain with an outlet boundary portion where fluid can leave or re-enter. On this boundary part, we consider a do-nothing condition for the fluid flow, and a new artificial condition for the heat transfer that couples nonlinearly the fluid velocity and temperature. The latter can be further adjusted if convective or conductive phenomena are dominant. We prove existence and, in some cases, uniqueness of weak solutions to stationary and evolutionary problems by a fixed point strategy under suitable assumptions on the data. A variety of numerical tests shows the improved performance of the new artificial condition with respect to other standard choices in the literature.


title: Rotational evolution of solar-type protostars during the star-disk interaction phase

abstract: The early pre-main sequence phase during which they are still likely surrounded by an accretion disk represents a puzzling stage of the rotational evolution of solar-mass stars. While they are still accreting and contracting they do not seem to spin-up substantially. It is usually assumed that the magnetospheric star-disk interaction tends to maintain the stellar rotation period constant (disklocking), but this hypothesis has never been thoroughly verified. Our aim is to investigate the impact of the star-disk interaction mechanism on the stellar spin evolution during the accreting pre-main sequence phases. We devise a model for the torques acting onto the stellar envelope based on studies of stellar winds and develop a new prescription for the star-disk coupling grounded on numerical simulations of star-disk interaction and magnetospheric ejections. We then use this torque model to follow the long-term evolution of the stellar rotation. Magnetospheric ejections and accretion powered stellar winds play an important role in the spin evolution of solar-type stars. However, kG dipolar magnetic fields are not uncommon but not ubiquitous. Besides, it is unclear how massive stellar winds can be powered, while numerical models of the propeller regime display a strong variability that has no observational confirmation. Better observational statistics and more realistic models could contribute to soften our calculations' requirements.


title: A Microscopic Derivation Of Coupled Spde's With A Kpz Flavor

abstract: We consider an interacting particles system composed of a Hamiltonian part and perturbed by a conservative stochastic noise so that the full system conserves two quantities: energy and volume. The Hamiltonian part is regulated by a scaling parameter vanishing in the limit. We study the form of the fluctuations of these quantities at equilibrium and derive coupled stochastic partial differential equations with a KPZ flavor.

categories: math-ph cond-mat.stat-mech math.MP math.PR


title: Semantic Understanding of Foggy Scenes with Purely Synthetic Data

abstract: This work addresses the problem of semantic scene understanding under foggy road conditions. Although marked progress has been made in semantic scene understanding over the recent years, it is mainly concentrated on clear weather outdoor scenes. Extending semantic segmentation methods to adverse weather conditions like fog is crucially important for outdoor applications such as self-driving cars. In this paper, we propose a novel method, which uses purely synthetic data to improve the performance on unseen real-world foggy scenes captured in the streets of Zurich and its surroundings. Our results highlight the potential and power of photo-realistic synthetic images for training and especially fine-tuning deep neural nets. Our contributions are threefold, 1) we created a purely synthetic, high-quality foggy dataset of 25,000 unique outdoor scenes, that we call Foggy Synscapes and plan to release publicly 2) we show that with this data we outperform previous approaches on real-world foggy test data 3) we show that a combination of our data and previously used data can even further improve the performance on real-world foggy data.


title: Conservativity and Weak Consistency of a Class of Staggered Finite Volume Methods for the Euler Equations

abstract: We address a class of schemes for the Euler equations with the following features: the space discretization is staggered, possible upwinding is performed with respect to the material velocity only and the internal energy balance is solved, with a correction term designed on consistency arguments. These schemes have been shown in previous works to preserve the convex of admissible states and have been extensively tested numerically. The aim of the present paper is twofold: we derive a local total energy equation satisfied by the solutions, so that the schemes are in fact conservative, and we prove that they are consistent in the Lax-Wendroff sense.


title: Ferroelectric-ferroelastic phase transition in a nematic liquid crystal

abstract: Ferroelectric ordering in liquids is a fundamental question of physics. Here, we show that ferroelectric ordering of the molecules causes formation of recently reported splay nematic liquid-crystalline phase. As shown by dielectric spectroscopy, the transition between the uniaxial and the splay nematic phase has the characteristics of a ferroelectric phase transition, which drives an orientational ferroelastic transition via flexoelectric coupling. The polarity of the splay phase was proven by second harmonic generation (SHG) imaging, which additionally allowed for determination of the splay modulation period to be of the order of 5 - 10 microns, also confirmed by polarized optical microscopy. The observations can be quantitatively described by a Landau-de Gennes type of macroscopic theory.


title: Energy-conserving time propagation for a geometric particle-in-cell Vlasov--Maxwell solver

abstract: This paper discusses energy-conserving time-discretizations for finite element particle-in-cell discretizations of the Vlasov--Maxwell system. A geometric spatially discrete system can be obtained using a standard particle-in-cell discretization of the particle distribution and compatible finite element spaces for the fields to discretize the Poisson bracket of the Vlasov--Maxwell model (see Kraus et al., J Plasma Phys 83, 2017). In this paper, we derive energy-conserving time-discretizations based on the discrete gradient method applied to an antisymmetric splitting of the Poisson matrix. Firstly, we propose a semi-implicit method based on the average-vector-field discretization of the subsystems. Moreover, we devise an alternative discrete gradient that yields a time discretization that can additionally conserve Gauss' law. Finally, we explain how substepping for fast species dynamics can be incorporated.


title: Random moments for the new eigenfunctions of point scatterers on rectangular flat tori

abstract: We define a random model for the moments of the new eigenfunctions of a point scat-terer on a 2-dimensional rectangular flat torus. In the deterministic setting,Seba conjectured these moments to be asymptotically Gaussian, in the semi-classical limit. This conjecture was disproved by Kurlberg-Uebersch{\"a}r on Diophantine tori. In our model, we describe the accumulation points in distribution of the randomized moments, in the semi-classical limit. We prove that asymptotic Gaussianity holds if and only if some function, modeling the multiplicities of the Laplace eigenfunctions, diverges to +$\infty$.


title: Mollified finite element approximants of arbitrary order and smoothness

abstract: The approximation properties of the finite element method can often be substantially improved by choosing smooth high-order basis functions. It is extremely difficult to devise such basis functions for partitions consisting of arbitrarily shaped polytopes. We propose the mollified basis functions of arbitrary order and smoothness for partitions consisting of convex polytopes. On each polytope an independent local polynomial approximant of arbitrary order is assumed. The basis functions are defined as the convolutions of the local approximants with a mollifier. The mollifier is chosen to be smooth, to have a compact support and a unit volume. The approximation properties of the obtained basis functions are governed by the local polynomial approximation order and mollifier smoothness. The convolution integrals are evaluated numerically first by computing the boolean intersection between the mollifier and the polytope and then applying the divergence theorem to reduce the dimension of the integrals. The support of a basis function is given as the Minkowski sum of the respective polytope and the mollifier. The breakpoints of the basis functions, i.e. locations with non-infinite smoothness, are not necessarily aligned with polytope boundaries. Furthermore, the basis functions are not boundary interpolating so that we apply boundary conditions with the non-symmetric Nitsche method as in immersed/embedded finite elements. The presented numerical examples confirm the optimal convergence of the proposed approximation scheme for Poisson and elasticity problems.


title: Riemannian structures and point-counting

abstract: Suppose $(X_n)$ is a sequence of positive-dimensional smooth projective complete intersections over $\mathbb{F}_q$ with dimensions bounded from above and with characteristic zero lifts $(\tilde{X}_n)$ to smooth projective geometrically connected varieties. Suppose each complex variety $\tilde{X}^{an}_n$ has (underlying real manifold equipped with) a Riemannian metric $g_n$ of sectional curvature at least $-\kappa_n^2$, $\kappa_n\geq 0$, and diameter at most $D_n$. In this note, we show that if \[\lim_{n\rightarrow\infty}\min\{d:X_n(\mathbb{F}_{q^d})\neq\emptyset\}=+\infty,\] then $\kappa_nD_n\rightarrow+\infty$. We deduce this theorem by proving a more general theorem estimating the number of points over finite fields of the above varieties in terms of the sectional curvature and diameter of Riemannian structures on the analytification of characteristic zero lifts. We also prove a version of this estimate for non-projective varieties equipped with complete metrics of non-negative sectional curvature. Finally, we prove a characteristic zero analogue of the above estimate by relating fixed-points of algebraic endomorphisms of smooth projective complex complete intersections to Riemannian structures on them.


title: History state formalism for scalar particles

abstract: We present a covariant quantum formalism for scalar particles based on an enlarged Hilbert space. The particular physical theory can be introduced through a timeless Wheeler DeWitt-like equation, whose projection onto four-dimensional coordinates leads to the Klein Gordon equation. The standard quantum mechanical product in the enlarged space, which is invariant and positive definite, implies the usual Klein Gordon product when applied to its eigenstates. Moreover, the standard three-dimensional invariant measure emerges naturally from the flat measure in four dimensions when mass eigenstates are considered, allowing a rigorous identification between definite mass history states and the standard Wigner representation. Connections with the free propagator of scalar field theory and localized states are subsequently derived. The formalism also allows the superposition of different theories and remains valid in the presence of a fixed external field, revealing special orthogonality relations. Other details such as extended identities for the current density, the quantization of parameterized theories and the nonrelativistic limit, with its connection to the Page and Wootters formalism, are discussed. A related consistent second quantization formulation is also introduced.


title: Instantons for the destabilization of the inner Solar System

abstract: For rare events, path probabilities often concentrate close to a predictable path, called instanton. First developed in statistical physics and field theory, instantons are action minimizers in a path integral representation. For chaotic deterministic systems, where no such action is known, shall we expect path probabilities to concentrate close to an instanton? We address this question for the dynamics of the terrestrial bodies of the Solar System. It is known that the destabilization of the inner Solar System might occur with a low probability, within a few hundred million years, or billion years, through a resonance between the motions of Mercury and Jupiter perihelia. In a simple deterministic model of Mercury dynamics, we show that the first exit time of such a resonance can be computed. We predict the related instanton and demonstrate that path probabilities actually concentrate close to this instanton, for events which occur within a few hundred million years. We discuss the possible implications for the actual Solar System.


title: Assessing the Efficacy of Clinical Sentiment Analysis and Topic Extraction in Psychiatric Readmission Risk Prediction

abstract: Predicting which patients are more likely to be readmitted to a hospital within 30 days after discharge is a valuable piece of information in clinical decision-making. Building a successful readmission risk classifier based on the content of Electronic Health Records (EHRs) has proved, however, to be a challenging task. Previously explored features include mainly structured information, such as sociodemographic data, comorbidity codes and physiological variables. In this paper we assess incorporating additional clinically interpretable NLP-based features such as topic extraction and clinical sentiment analysis to predict early readmission risk in psychiatry patients.


title: Supersymmetric Quantum Spherical Spins with Short-Range Interactions

abstract: This work is dedicated to the study of a supersymmetric quantum spherical spin system with short-range interactions. We examine the critical properties both a zero and finite temperature. The model undergoes a quantum phase transition at zero temperature without breaking supersymmetry. At finite temperature the supersymmetry is broken and the system exhibits a thermal phase transition. We determine the critical dimensions and compute critical exponents. In particular, we find that the model is characterized by a dynamical critical exponent $z=2$. We also investigate properties of correlations in the one-dimensional lattice. Finally, we explore the connection with a nonrelativistic version of the supersymmetric $O(N)$ nonlinear sigma model and show that it is equivalent to the system of spherical spins in the large $N$ limit.


title: Variational solutions to an evolution model for MEMS with heterogeneous dielectric properties

abstract: The existence of weak solutions to the obstacle problem for a nonlocal semilinear fourth-order parabolic equation is shown, using its underlying gradient flow structure. The model governs the dynamics of a microelectromechanical system with heterogeneous dielectric properties.


title: MIDV-2019: Challenges of the modern mobile-based document OCR

abstract: Recognition of identity documents using mobile devices has become a topic of a wide range of computer vision research. The portfolio of methods and algorithms for solving such tasks as face detection, document detection and rectification, text field recognition, and other, is growing, and the scarcity of datasets has become an important issue. One of the openly accessible datasets for evaluating such methods is MIDV-500, containing video clips of 50 identity document types in various conditions. However, the variability of capturing conditions in MIDV-500 did not address some of the key issues, mainly significant projective distortions and different lighting conditions. In this paper we present a MIDV-2019 dataset, containing video clips shot with modern high-resolution mobile cameras, with strong projective distortions and with low lighting conditions. The description of the added data is presented, and experimental baselines for text field recognition in different conditions. The dataset is available for download at ftp://smartengines.com/midv-500/extra/midv-2019/.


title: A Query-Driven Decision Procedure for Distributed Autoepistemic Logic with Inductive Definitions

abstract: Distributed Autoepistemic Logic with Inductive Definitions (dAEL(ID)) is a recently proposed non-monotonic logic for says-based access control. We define a query-driven decision procedure for dAEL(ID) that is implemented in the knowledge-base system IDP. The decision procedure is designed in such a way that it allows one to determine access rights while avoiding redundant information flow between principals in order to enhance security and reduce privacy concerns. Given that the decision procedure has in the worst case an exponential runtime, it is to be regarded as a proof of concept that increases our understanding of dAEL(ID), rather than being deployed for an access control system.


title: Phase-amplitude functional theory -- new ab initio calculation method for large size systems

abstract: New method for ab initio calculations of the properties of large size system based on phase-amplitude functional is presented. It is shown that Schrodinger equation for many electrons complex system including large size molecules, or clusters and also periodic systems could be translated into functional of two variables, attributed to many electron wavefunctions: phase and the amplitude (i.e. square root of total electron density). The equations for the phase and the amplitude are derived. The kinetic and Coulomb interaction energy are expressed in function of these variables. The equations for one-electron wavefunctions, necessary for the energy spectrum are derived using these two variables.


title: String and band complexes over SAG algebras

abstract: We give a combinatorial description of a family of indecomposable objects in the bounded derived categories of a new class of algebras: string almost gentle algebras. These indecomposable objects are, up to isomorphism, the string and band complexes introduced by V. Bekkert and H. Merklen. With this description, we give a necessary and sufficient condition for a given string complex to have infinite minimal projective resolution and we extend this condition for the case of string algebras. Using this characterization we establish a sufficient condition for a string almost gentle algebra (or a string algebra) to have infinite global dimension.


title: Anomalous Currents and Constitutive Relations of a Chiral Hadronic Superfluid

abstract: The anomalous currents of two-flavor chiral nuclear matter in the presence of chiral imbalance are computed, using recently developed methods exploiting generalized transgression, which facilitates the evaluation of both the equilibrium partition function and the covariant currents. The constitutive relations for both the broken and unbroken phase of the theory are studied and the out-of-equilibrium nondissipative transport coefficients determined. In the superfluid phase, the vector covariant currents exhibit nondissipative chiral electric, magnetic, and vortical effects, the latter governed by chiral imbalance.


title: A graphic approach to identities induced from multi-trace Einstein-Yang-Mills amplitudes

abstract: Symmetries of Einstein-Yang-Mills (EYM) amplitudes, together with the recursive expansions, induce nontrivial identities for pure Yang-Mills amplitudes. In the previous work \cite{Hou:2018bwm}, we have already proven that the identities induced from tree level single-trace EYM amplitudes can be precisely expanded in terms of BCJ relations. In this paper, we extend the discussions to those identities induced from all tree level \emph{multi-trace} EYM amplitudes. Particularly, we establish a refined graphic rule for multi-trace EYM amplitudes and then show that the induced identities can be fully decomposed in terms of BCJ relations.


title: Algebraic results on universal quantifiers in monoidal t-norm based logic

abstract: In this paper, we enlarge the language of MTL-algebras by a unary operation $\forall$ equationally described so as to abstract algebraic properties of the universal quantifier "for any" in its original meaning. The resulting class of algebras will be called \emph{MTL-algebras with universal quantifiers} (UMTL-algebras for short). After discussing some basic algebraic properties of UMTL-algebras, we start a systematic study of the main subclasses of UMTL-algebras, some of which constitute well known algebras: UMV-algebras and monadic Boolean algebra. Then we give some characterizations of representable, simple, semsimple UMTL-algebras, and obtain some representations of UMTL-algebras. Finally, we establish modal monoidal t-norm based logic and prove that is completeness with respect to the variety of UMTL-algebras, and then obtain that a necessary and sufficient condition for the modal monoidal t-norm based logic to be semilinear.


title: Quantitative estimates of the threshold phenomena for propagation in reaction-diffusion equations

abstract: We focus on the (sharp) threshold phenomena arising in some reaction-diffusion equations supplemented with some compactly supported initial data. In the so-called ignition and bistable cases, we prove the first sharp quantitative estimate on the (sharp) threshold values. Furthermore, numerical explorations allow to conjecture some refined estimates. Last we provide related results in the case of a degenerate monostable nonlinearity "not enjoying the hair trigger effect". AMS Subject Classifications: 35K57 (Reaction-diffusion equations), 35K15 (Initial value problems for second-order parabolic equations), 35B40 (Asymptotic behavior of solutions).


title: Antimony doped Tin Oxide/Polyethylenimine Electron Selective Contact for reliable and light soaking-free high Performance Inverted Organic Solar Cells

abstract: We have demonstrated a high-performance low temperature solution processed electron selective contact consisting of 10 at% antimony doped tin oxide (ATO) and the neutral polymer polyethylenimine (PEI). Inverted organic photovoltaics (OPVs) utilizing ATO/PEI as electron selective contact exhibited high power conversion efficiencies for both the reference P3HT: PCBM and the non-fullerene based P3HT- IDTBR active layer OPV material systems. Importantly it is shown that the proposed ATO/PEI carrier selective contact provides light soaking-free inverted OPVs. Furthermore, by increasing the thickness of ATO layer from 40 to 120 nm the power conversion efficiency of the corresponding inverted OPVs remain unaffected a parameter which indicates the potential of the proposed ATO/PEI carrier selective contact for high performance light-soaking-free and reliable roll-to-roll printing solutions processed inverted OPVs.


title: Direct route to reproducing pair distribution functions with coarse-grained models via transformed atomistic cross correlations

abstract: Coarse-grained (CG) models are often parametrized to reproduce one-dimensional structural correlation functions of an atomically-detailed model along the degrees of freedom governing each interaction potential. While cross correlations between these degrees of freedom inform the optimal set of interaction parameters, the correlations generated from the higher-resolution simulations are often too complex to act as an accurate proxy for the CG correlations. Instead, the most popular methods determine the interaction parameters iteratively, while assuming that individual interactions are uncorrelated. While these iterative methods have been validated for a wide range of systems, they also have disadvantages when parametrizing models for multi-component systems or when refining previously established models to better reproduce particular structural features. In this work, we propose two distinct approaches for the direct (i.e., non-iterative) parametrization of a CG model by adjusting the high-resolution cross correlations of an atomistic model in order to more accurately reflect correlations that will be generated by the resulting CG model. The derived models more accurately describe the low-order structural features of the underlying AA model, while necessarily generating inherently distinct cross correlations compared with the atomically-detailed reference model. We demonstrate the proposed methods for a one-site-per-molecule representation of liquid water, where pairwise interactions are incapable of reproducing the true tetrahedral solvation structure. We then investigate the precise role that distinct cross-correlation features play in determining the correct pair correlation functions, evaluating the importance of the placement of correlation features as well as the balance between features appearing in different solvation shells.


title: Harnack Inequality for Magnetic Graphs

abstract: For magnetic graphs satisfying connection curvature dimension inequality $CD^\sigma(n,\kappa)$, we prove a Harnack-type inequality for eigenfunctions of the graph magnetic Laplace operator in the manner of work done by Chung, Lin, Yau in 2014. Then we look at two applications; first a lower bound for the least eigenvalue in terms of curvature and extremal path/degree quantities, then to the magnetic Cheeger number of the graph.


title: Nonadiabatic quantum transition-state theory in the golden-rule limit. II. Overcoming the pitfalls of the saddle-point and semiclassical approximations

abstract: We describe a path-integral molecular dynamics implementation of our recently developed golden-rule quantum transition-state theory (GR-QTST). The method is applied to compute the reaction rate in various models of electron transfer and benchmarked against exact results. We demonstrate that for systems exhibiting two or more transition states, rates computed using Wolynes theory [P. G. Wolynes, J.\ Chem.\ Phys.\ 87, 6559 (1987)] can be overestimated by orders of magnitude, whereas the GR-QTST predictions are numerically accurate. This is the case both at low temperature, where nuclear tunneling makes a considerable contribution, and also in the classical limit, where only GR-QTST rigorously tends to the correct result. Analysis shows that the saddle-point approximation employed by Wolynes theory is not valid in this case, which results in predictions of unphysical reaction pathways, whilst the energy constraint employed by GR-QTST resolves this problem. The GR-QTST method is also seen to give accurate results for a strongly anharmonic system by sampling configurations around the instanton pathway without making the semiclassical approximation. These promising results indicate that the GR-QTST method could be an efficient and accurate approach for simulating electron-transfer reactions in complex molecular systems.


title: A multiscale model for traffic regulation via autonomous vehicles

abstract: Autonomous vehicles (AVs) allow new ways of regulating the traffic flow on road networks. Most of available results in this direction are based on microscopic approaches, where ODEs describe the evolution of regular cars and AVs. In this paper, we propose a multiscale approach, based on recently developed models for moving bottlenecks. Our main result is the proof of existence of solutions for open-loop controls with bounded variation.


title: A duality at the heart of Gaussian boson sampling

abstract: Gaussian boson sampling (GBS) is a near-term quantum computation framework that is believed to be classically intractable, but yet rich of potential applications. In this paper we study the intimate relation between distributions defined over classes of samples from a GBS device with graph matching polynomials. For this purpose, we introduce a new graph polynomial called the displaced GBS polynomial, whose coefficients are the coarse-grained photon-number probabilities of an arbitrary undirected graph $G$ encoded in a GBS device. We report a discovery of a duality between the displaced GBS polynomial of $G$ and the matching polynomial of $G\,\square\,P_2(x)$ - the Cartesian graph product of $G$ with a single weighted edge also known as the prism over $G$. Besides the surprising insight gained into Gaussian boson sampling, it opens the door for the new way of classically simulating the Gaussian boson sampling device. Furthermore, it motivates the recent success of a new type of coarse-grained quantum statistics used to construct feature maps in [Schuld et al. 2019].

categories: quant-ph math-ph math.CO math.MP math.NT


title: On the Possibility of Rewarding Structure Learning Agents: Mutual Information on Linguistic Random Sets

abstract: We present a first attempt to elucidate a theoretical and empirical approach to design the reward provided by a natural language environment to some structure learning agent. To this end, we revisit the Information Theory of unsupervised induction of phrase-structure grammars to characterize the behavior of simulated actions modeled as set-valued random variables (random sets of linguistic samples) constituting semantic structures. Our results showed empirical evidence of that simulated semantic structures (Open Information Extraction triplets) can be distinguished from randomly constructed ones by observing the Mutual Information among their constituents. This suggests the possibility of rewarding structure learning agents without using pretrained structural analyzers (oracle actors/experts).


title: Model predictive control design for dynamical systems learned by Long Short-Term Memory Networks

abstract: This paper analyzes the stability-related properties of Long Short-Term Memory (LSTM) networks and investigates their use as the model of the plant in the design of Model Predictive Controllers (MPC). First, sufficient conditions guaranteeing the Input-to-State stability (ISS) and Incremental Input-to-State stability (dISS) of LSTM are derived. These properties are then exploited to design an observer with guaranteed convergence of the state estimate to the true one. Such observer is then embedded in a MPC scheme solving the tracking problem. The resulting closed-loop scheme is proved to be asymptotically stable. The training algorithm and control scheme are tested numerically on the simulator of a pH reactor, and the reported results confirm the effectiveness of the proposed approach.


title: Investigation on the Ion Motion towards Clearing Electrodes in High-Brightness Electron Accelerators

abstract: High-brightness electron beams provided by modern accelerators require several measures to preserve their high quality and to avoid instabilities. The mitigation of the impact of residual ions is one of these measures. It is particularly important if high bunch charges in combination with high repetition rates are aimed for. This is because ions can be trapped in the strong negative electrical potential of the electron beam causing emittance blow-up, increased beam halo and longitudinal and transverse instabilities. Over the last decades three ion-clearing strategies have been applied to counteract the degrading impact of the ions on the electron beam. These strategies are installation of clearing electrodes, introduction of gaps in filling pattern and beam shaking. Currently, their merit as clearing strategies for the next generation of high brightness accelerators such as energy recovery linacs (ERLs) are under intensive investigations by means of numerical and experimental studies. Of particular interest in this context is the performance of multi-purpose electrodes, which are designed such that they allow for a simultaneous ion-clearing and beam-position monitoring. Such electrodes will be installed in the bERLinPro facility. In this paper, we present numerical studies for the behavior of ions generated by electron bunches while passing through the field of clearing electrodes. The objective is to investigate the ion motion towards the electrodes and to study under which circumstances and up to which ratio an equilibrium between ion-generation and ion-clearing is established. Hereby, several ion species and configurations of electrodes are considered in combination with typical beam parameters of high-brightness electron accelerators. Furthermore, we present detailed numerical studies of the performance of multi-purpose clearing electrodes planned for bERLinPro.


title: Gamma Convergence Approach For The Large Deviations Of The Density In Systems Of Interacting Diffusion Processes

abstract: We consider extended slow-fast systems of N interacting diffusions. The typical behavior of the empirical density is described by a nonlinear McKean-Vlasov equation depending on , the scaling parameter separating the time scale of the slow variable from the time scale of the fast variable. Its atypical behavior is encapsulated in a large N Large Deviation Principle (LDP) with a rate functional. We study the $\Gamma$-convergence of as $\rightarrow$ 0 and show it converges to the rate functional appearing in the Macroscopic Fluctuations Theory (MFT) for diffusive systems.

categories: math.AP cond-mat.soft cond-mat.stat-mech math-ph math.MP math.PR


title: Towards Refinement and Generalization of Reliability Models Based on Component States

abstract: Complex system design often proceeds in an iterative fashion, starting from a high-level model and adding detail as the design matures. This process can be assisted by metamodeling techniques that automate some model manipulations and check for or eliminate modeling mistakes. Our work focuses on metamodeling reliability models: we describe generalization and refinement operations for these models. Generalization relaxes constraints that may be infeasible or costly to evaluate; refinement adds further detail to produce a model that more closely describes the desired system. We define these operations in terms of operations on system constraints. To illustrate the proposed method, we relate these constraints to a common Markov chain-based reliability modeling formalism.


title: Embedding Lithium-ion Battery Scrapping Criterion and Degradation Model in Optimal Operation of Peak-shaving Energy Storage

abstract: Lithium-ion battery systems have been used in practical power systems for peak-shaving, demand response, and frequency regulation. However, a lithium-ion battery is degrading while cycling and would be scrapped when the capacity reduces to a certain threshold (e.g. 80%). Such scrapping criterion may not explore the maximum benefit from the battery storage. In this paper, we propose a novel scrapping criterion for peak-shaving energy storage based on battery efficiency, time-of-use price, and arbitrage benefit. A new battery life model with scrapping parameters is then derived using this criterion. Embedded with the life model, an optimal operation method for peak-shaving energy storage system is presented. The results of case study show that the operation method could maximize the benefits of peak-shaving energy storage while delaying battery degradation. Compared with the traditional 80% capacity-based scrapping criterion, our efficiency-based scrapping criterion can significantly improve the lifetime benefit of the battery.


title: Condensable models of set theory

abstract: We study models M of set theory that are "condensable", in the sense that there is an "ordinal" v of M such that the rank initial segment of M determined by v is both isomorphic to M, and also an elementary submodel of M for infinitary formulae in the well-founded part of M. We prove, assuming a modest set theoretic hypothesis, that there are condensable models M of ZFC such that every definable element of M is in the well-founded part of M. We also provide various characterizations of countable condensable models of ZF.


title: Cribriform pattern detection in prostate histopathological images using deep learning models

abstract: Architecture, size, and shape of glands are most important patterns used by pathologists for assessment of cancer malignancy in prostate histopathological tissue slides. Varying structures of glands along with cumbersome manual observations may result in subjective and inconsistent assessment. Cribriform gland with irregular border is an important feature in Gleason pattern 4. We propose using deep neural networks for cribriform pattern classification in prostate histopathological images. $163708$ Hematoxylin and Eosin (H\&E) stained images were extracted from histopathologic tissue slides of $19$ patients with prostate cancer and annotated for cribriform patterns. Our automated image classification system analyses the H\&E images to classify them as either `Cribriform' or `Non-cribriform'. Our system uses various deep learning approaches and hand-crafted image pixel intensity-based features. We present our results for cribriform pattern detection across various parameters and configuration allowed by our system. The combination of fine-tuned deep learning models outperformed the state-of-art nuclei feature based methods. Our image classification system achieved the testing accuracy of $85.93~\pm~7.54$ (cross-validated) and $88.04~\pm~5.63$ ( additional unseen test set) across three folds. In this paper, we present an annotated cribriform dataset along with analysis of deep learning models and hand-crafted features for cribriform pattern detection in prostate histopathological images.


title: A product of invariant random permutations has the same small cycle structure as uniform

abstract: We use moment method to understand the cycle structure of the composition of independent invariant permutations. We prove that under a good control on fixed points and cycles of length 2, the limiting joint distribution of the number of small cycles is the same as in the uniform case i.e. for any positive integer k, the number of cycles of length k converges to the Poisson distribution with parameter 1/k and is asymptotically independent of the number of cycles of length k' different from k.


title: Fog Computing as Privacy Enabler

abstract: Despite broad discussions on privacy challenges arising from fog computing, the authors argue that privacy and security requirements might actually drive the adoption of fog computing. They present four patterns of fog computing fostering data privacy and the security of business secrets, complementing existing cryptographic approaches. Their practical application is illuminated on the basis of three case studies.


title: Predictive Real-Time Control Optimization of a Stormwater Management System

abstract: An optimization model of a stormwater pond is developed to improve the performance of the system in terms of water quantity and quality. Nowadays, stormwater management systems play an important role in mitigating the impacts of urbanization on the natural hydrological cycle. These systems can be managed in such a way that they meet smart city needs. An automated dynamically managed system that can adapt itself to ever-changing environmental conditions can be modeled using a mathematical optimization approach. Hence, a Predictive Real-Time Control (PRTC) approach is proposed in this paper to optimize the performance of stormwater management basins in terms of minimizing hydraulic shocks during wet periods. Then some generalized rules are designed to control the sedimentation of trapped water in the pond during dry periods to improve the quality of water discharged to the receiving stream. The combination of these two approaches provides a real-time improved performance in comparison to the static strategy.


title: Derivative-Free & Order-Robust Optimisation

abstract: In this paper, we formalise order-robust optimisation as an instance of online learning minimising simple regret, and propose Vroom, a zero'th order optimisation algorithm capable of achieving vanishing regret in non-stationary environments, while recovering favorable rates under stochastic reward-generating processes. Our results are the first to target simple regret definitions in adversarial scenarios unveiling a challenge that has been rarely considered in prior work.


title: Eight cubes of linear forms in $\p^6$

abstract: Here we explain geometrically why the ideal I = (L 3 1 ,. .. , L 3 8) $\subset$ C[x 0 ,. .. , x 6 ] has the WLP in degree 3 and why it fails to have it in degree 5.


title: Numerical-relativity simulations of long-lived remnants of binary neutron star mergers

abstract: We analyze the properties of the gravitational wave signal emitted after the merger of a binary neutron star system when the remnant survives for more than a 80 ms (and up to 140ms). We employ four different piecewise polytropic equations of state supplemented by an ideal fluid thermal component. We find that the post-merger phase can be subdivided into three phases: an early post-merger phase (where the quadrupole mode and a few subdominant features are active), the intermediate post-merger phase (where only the quadrupole mode is active) and the late post-merger phase (where convective instabilities trigger inertial modes). The inertial modes have frequencies somewhat smaller than the quadrupole modes. In one model, we find an interesting association of a corotation of the quadrupole mode in parts of the star with a revival of its amplitude. The gravitational wave emission of inertial modes in the late post-merger phase is concentrated in a narrow frequency region and is potentially detectable by the planned third-generation detectors. This allows for the possibility of probing not only the cold part of the equation of state, but also its dependence on finite temperature. In view of these results, it will be important to investigate the impact of various type of viscosities on the potential excitation of inertial modes in binary neutron star merger remnants.


title: Triangle Mesh Slicing and Contour Construction for Three-Dimensional Printing on a Rotating Mandrel

abstract: Three-dimensional (3D) printing is a powerful development tool both in industry, as well as in biomedical research. Additive-lathe 3D printing is an emerging sub-class of 3D printing whereby material is layered outward from the surface of a rotating cylindrical mandrel. While established additive manufacturing technologies have developed robust toolpath generation software, additive-lathe publications to date have been relegated to the most basic of proof-of-concept structures. This paper details the theory and implementation of a method for slicing a triangulated surface with a series of concentric, open, right circular cylinders that represents a crucial step in creating toolpaths to print complex models with additive-lathe technology. Valid edge cases are detailed which must be addressed when implementing a cylindrical slicer to produce non-intersecting closed contours; two classes of resultant closed contour are described. Methodologies for generating infill patterns, support structures and other considerations for toolpath construction are required prior to full implementation of a machine capable of printing complex geometry from a digital model onto a rotating cylindrical surface. This work represents the first thorough examination of the mathematics and algorithmic implementation of triangle mesh slicing with concentric cylinders and offers insights for future works in toolpath generation for the additive-lathe type 3D printer.


title: Surface wave-based radio communication through conductive enclosures

abstract: A surface wave antenna operating in the 2.4 GHz band and efficient for launching surface electromagnetic waves at metal/dielectric interfaces is presented. The antenna operation is based on the strong field enhancement at the antenna tip, which results in efficient excitation of surface waves propagating along nearby metal surfaces. Since surface electromagnetic waves may efficiently tunnel through deeply subwavelength channels from inner to outer metal/dielectric interface of a metal enclosure, this antenna is useful for broadband radio communication through various conductive enclosures, such as typical commercial Faraday cages.


title: On duality of certain GKZ hypergeometric systems

abstract: We study a pair of conjectures on better behaved GKZ hypergeometric systems of PDEs inspired by Homological mirror symmetry for crepant resolutions of Gorenstein toric singularities. We prove the conjectures in the case of dimension two.


title: Fast Task-Adaptation for Tasks Labeled Using Natural Language in Reinforcement Learning

abstract: Over its lifetime, a reinforcement learning agent is often tasked with different tasks. How to efficiently adapt a previously learned control policy from one task to another, remains an open research question. In this paper, we investigate how instructions formulated in natural language can enable faster and more effective task adaptation. This can serve as the basis for developing language instructed skills, which can be used in a lifelong learning setting. Our method is capable of assessing, given a set of developed base control policies, which policy will adapt best to a new unseen task.


title: Hierarchical Deep Double Q-Routing

abstract: This paper explores a deep reinforcement learning approach applied to the packet routing problem with high-dimensional constraints instigated by dynamic and autonomous communication networks. Our approach is motivated by the fact that centralized path calculation approaches are often not scalable, whereas the distributed approaches with locally acting nodes are not fully aware of the end-to-end performance. We instead hierarchically distribute the path calculation over designated nodes in the network while taking into account the end-to-end performance. Specifically, we develop a hierarchical cluster-oriented adaptive per-flow path calculation mechanism by leveraging the Deep Double Q-network (DDQN) algorithm, where the end-to-end paths are calculated by the source nodes with the assistance of cluster (group) leaders at different hierarchical levels. In our approach, a deferred composite reward is designed to capture the end-to-end performance through a feedback signal from the source nodes to the group leaders and captures the local network performance through the local resource assessments by the group leaders. This approach scales in large networks, adapts to the dynamic demand, utilizes the network resources efficiently and can be applied to segment routing.


title: Universal cocycle Invariants for singular knots and links

abstract: Given a biquandle $(X, S)$, a function $\tau$ with certain compatibility and a pair of {\em non commutative cocyles} $f,h:X \times X\to G$ with values in a non necessarily commutative group $G$, we give an invariant for singular knots / links. Given $(X,S,\tau)$, we also define a universal group $U_{nc}^{fh}(X)$ and universal functions governing all 2-cocycles in $X$, and exhibit examples of computations. When the target group is abelian, a notion of {\em abelian cocycle pair} is given and the "state sum" is defined for singular knots/links. Computations generalizing linking number for singular knots are given. As for virtual knots, a "self-linking number" may be defined for singular knots


title: Some basic properties of the generalized bi-periodic Fibonacci and Lucas sequences

abstract: In this paper, we consider a generalization of Horadam sequence fwng which is defined by the recurrence relation wn = x(n)wn-1+ cwn-2; where x(n) = a if n is even, x(n) = b if n is odd with arbitrary initial conditions w0;w1 and nonzero real numbers a, b and c. As a special case, by taking initial conditions 0, 1 and 2, b we define the sequences {un} and {vn}, respectively. The main purpose of this study is to derive some basic properties of the sequences {un}, {vn} and {wn} by using matrix approach.


title: "SCINDA-Iono" toolbox for MATLAB: analysis of ionosphere scintillations

abstract: Here we present a "SCINDA-Iono" toolbox for the MATLAB. This is a software to analyze ionosphere scintillation indices provided by a SCINDA GNSS receiver. The toolbox is developed in the MATLAB R2018b. This software allows to preprocess the original data and analyze ionosphere scintillations on the 1-minute and 1-hour time scales both for averaged over all available satellites values and separately for each receiver-satellite pair.

categories: astro-ph.IM astro-ph.SR eess.SP physics.space-ph


title: Dark matter halo shapes in the Auriga simulations

abstract: We present shape measurements of Milky Way-sized dark matter halos at redshift $z=0$ in a suite of 30 zoom simulations from the Auriga project. We compare the results in full magnetohydrodynamics against dark matter only simulations and find a strong influence of baryons in making dark matter haloes rounder at all radii compared to their dark matter only counterparts. At distances $\lesssim 30$ kpc, rounder dark matter distributions correlate with extended massive stellar discs and low core gas densities. We measure the alignment between the halo and the disc shapes at different radii and find a high degree of alignment at all radii for most of the galaxies. In some cases the alignment significantly changes as a function of radius implying that the halo shape twists; this effect correlates with recently formed bulges and is almost absent in the dark matter only simulations. In a comparison against observational constraints we find that $20\%$ of halos in our sample are consistent with observational results derived from the Pal 5 stream that favours an almost spherical shape. Including baryons is a required element to achieve this level of agreement. In contrast, none of the simulations (neither dark matter only nor with baryons) match the constraints derived from the Sagittarius stream that favour an oblate dark matter halo.


title: Magnetic field dependence of the nonlocal spin Seebeck effect in Pt/YIG/Pt systems at low temperatures

abstract: We report the nonlocal spin Seebeck effect (nlSSE) in a lateral configuration of Pt/Y$_3$Fe$_5$O$_{12}$(YIG)/Pt systems as a function of the magnetic field $B$ (up to 10 T) at various temperatures $T$ (3 K < $T$ < 300 K). The nlSSE voltage decreases with increasing $B$ in a linear regime with respect to the input power (the applied charge-current squared $I^2$). The reduction of the nlSSE becomes substantial when the Zeeman energy exceeds thermal energy at low temperatures, which can be interpreted as freeze-out of magnons relevant for the nlSSE. Furthermore, we found the non-linear power dependence of the nlSSE with increasing $I$ at low temperatures ($T$ < 20 K), at which the $B$-induced signal reduction becomes less visible. Our experimental results suggest that in the non-linear regime high-energy magnons are over populated than those expected from the thermal energy. We also estimate the magnon spin diffusion length as functions of $B$ and $T$.


title: Discrete-time risk-aware optimal switching with non-adapted costs

abstract: We solve non-Markovian optimal switching problems in discrete time on an infinite horizon, when the decision maker is risk aware and the filtration is general, and establish existence and uniqueness of solutions for the associated reflected backward stochastic difference equations. An example application to hydropower planning is provided.


title: Multiphysics analysis and practical implementation of an ionic soft actuator-based microfluidic device toward the design of a POCT compatible active micromixer

abstract: Electroactive-Polymers (EAPs) are one of the best soft materials with great applications in active microfluidics. Ionic ones (i-EAPs) have more promising features for being appropriate candidates to use in active microfluidic devices. Here, as a case study, we have designed and fabricated a microfluidic micromixer using an i-EAP named Ionic Polymer-Metal Composite (IPMC). In microfluidics, active devices have more functionality but due to their required facilities are less effective for Point of Care Tests (POCTs). In the direction of solving this paradox, we should use some active components that they need minimum facilities. IPMC can be one of these components, hence by integrating the IPMC actuator into a microfluidic channel, a micromixer chip was designed and put to the simulation and experimental tests. The result showed that the proposed micromixer is able to mix the micro fluids properly and IPMC actuator has adequate potential to be an active component for POCT-based microfluidic chips.


title: A new technological system to revolutionize the management of valvular heart diseases: transcatheter aortic valve for the treatment of aortic stenosis

abstract: The goal of this study is a technology analysis of a revolution for the management of valvular heart diseases given by new technological system based on transcatheter artificial aortic valve, a delivery catheter and a loading system for the treatment of aortic stenosis (a narrowing of the aortic valve because of calcium build up that restricts blood flow to aorta, the body's main artery) in patients at intermediate and greater risk for surgical therapy. In particular, this study analyzes the technological trajectories of new technology of transcatheter aortic valve implantation (TAVI) in relation to the established technology of surgical aortic valve replacement (SAVR). To explore the emerging technology of TAVI for valvular heart diseases, a model is applied to show how new TAVI technology is substituting established technologies of SAVR to revolutionize the management of aortic stenosis in cardiology. Statistical analyses reveal the sharp increase of the scientific production of TAVI that has a coefficient of growth as function of time equal to 0.40 (p<.001) versus a coefficient for SAVR technology of 0.10 (p<.001). This finding suggests a technological forecasting that TAVI will be the dominant technology for the treatment of patients with valvular heart diseases. Overall, then, this study shows that new technology of transcatheter aortic valve implantation (TAVI) introduced in 2002 is growing in terms of scientific, inventive and innovative activity to revolutionize the management of aortic stenosis in cardiology worldwide.


title: Complete submanifolds with relative nullity in space forms

abstract: We use techniques based on the splitting tensor to explicitly integrate the Codazzi equation along the relative nullity distribution and express the second fundamental form in terms of the Jacobi tensor of the ambient space. This approach allows us to easily recover several important results in the literature on complete submanifolds with relative nullity of the sphere as well as derive new strong consequences in hyperbolic and Euclidean spaces. Among the consequences of our main theorem are results on submanifolds with sufficiently high index of relative nullity, submanifolds with nonpositive extrinsic curvature and submanifolds with integrable relative conullity. We show that no complete submanifold of hyperbolic space with sufficiently high index of relative nullity has extrinsic geometry bounded away from zero. As an application of these results, we derive an interesting corollary for complete submanifolds of hyperbolic space with nonpositive extrinsic curvature and discourse on their relation to Milnor's conjecture about complete surfaces with second fundamental form bounded away from zero. Finally, we also prove that every complete Euclidean submanifold with integrable relative conullity is a cylinder over the relative conullity.


title: On the signed domination number of some Cayley graphs

abstract: A signed dominating function of graph $\Gamma$ is a function $g :V(\Gamma) \longrightarrow \{-1,1\}$ such that $\sum_{u \in N[v]}g(u) >0$ for each $v \in V(\Gamma)$. The signed domination number $\gamma_{_S}(\Gamma)$ is the minimum weight of a signed dominating function on $\Gamma$. Let $G=\langle S \rangle$ be a finite group such that $e \not\in S=S^{-1}$. In this paper, we obtain the signed domination number of $Cay(S:G)$ based on cardinality of $S$. Also we determine the classification of group $G$ by $|S|$ and $\gamma_{_S}(Cay(S:G))$.


title: Optimal Provision of Concurrent Primary Frequency and Local Voltage Control from a BESS Considering Variable Capability Curves: Modelling and Experimental Assessment

abstract: This paper proposes a control method for battery energy storage systems (BESSs) to provide concurrent primary frequency and local voltage regulation services. The actual variable active and reactive power capability of the converter, along with the state-of-charge of the BESS, are jointly considered by the optimal operating point calculation process within the real-time operation. The controller optimizes the provision of grid services, considering the measured grid and battery statuses and predicting the battery DC voltage as a function of the current trajectory using a three-time-constant model (TTC). A computationally-efficient algorithm is proposed to solve the formulated optimal control problem. Experimental tests validate the proposed concepts and show the effectiveness of the employed control framework on a commercial utility-scale 720 kVA/560 kWh BESS.