title: $U(1)_{B_3-3L_\mu}$ gauge symmetry as a simple description of $b\to s$ anomalies

abstract: We present a simple $U(1)_{B_3-3L_\mu}$ gauge Standard Model extension that can easily account for the anomalies in $R(K)$ and $R(K^*)$ reported by LHCb. The model is economical in its setup and particle content. Among the Standard Model fermions, only the third generation quark family and the second generation leptons transform non-trivially under the new $U(1)_{B_3-3L_\mu}$ symmetry. This leads to lepton non-universality and flavor changing neutral currents involving the second and third quark families. We discuss the relevant experimental constraints and some implications.


title: Full- and Reduced-order Model of Hydraulic Cylinder for Motion Control

abstract: This paper describes the full- and reduced-order models of an actuated hydraulic cylinder suitable for system dynamics analysis and motion control design. The full-order model incorporates the valve spool dynamics with combined dead-zone and saturation nonlinearities - inherent for the orifice flow. It includes the continuity equations of hydraulic circuits coupled with the dynamics of mechanical part of cylinder drive. The resulted model is the fifth-order and nonlinear in states. The reduced model neglects the fast valve spool dynamics, simplifies both the orifice and continuity equations through an aggregation, and considers the cylinder rod velocity as output of interest. The reduced model is second-order that facilitates studying the system behavior and allows for direct phase plane analysis. Dynamics properties are addressed in details, for both models, with focus on the frequency response, system damping, and state trajectories related to the load pressure and relative velocity.


title: Nucleated dewetting in supported ultra-thin liquid films with hydrodynamic slip

abstract: This study reveals the influence of the surface energy and solid/liquid boundary condition on the breakup mechanism of dewetting ultra-thin polymer films. Using silane self-assembled monolayers, SiO$_2$ substrates are rendered hydrophobic and provide a strong slip rather than a no-slip solid/liquid boundary condition. On undergoing these changes, the thin-film breakup morphology changes dramatically -- from a spinodal mechanism to a breakup which is governed by nucleation and growth. The experiments reveal a dependence of the hole density on film thickness and temperature. The combination of lowered surface energy and hydrodynamic slip brings the studied system closer to the conditions encountered in bursting unsupported films. As for unsupported polymer films, a critical nucleus size is inferred from a free energy model. This critical nucleus size is supported by the film breakup observed in the experiments using high speed \emph{in situ} atomic force microscopy.


title: Decentralized demand response for temperature-constrained appliances

abstract: The evolution of the power grid towards the so-called Smart Grid, where information technologies help improve the efficiency of electricity production, distribution and consumption, allows to use the fine-grained control brought by the Internet of Things capabilities to perform distributed demand response when requested by the grid. In this paper, we study the demand-response potential of coordinated large numbers of appliances which have to maintain some temperature within a fixed range through the ON/OFF functioning of a temperature modifier. We introduce a mathematical model and methods to coordinate appliances with given requirements, in order to offer a global energy demand reduction for a desirable duration while still satisfying the temperature constraints, and with limited communication overhead. We quantify the maximum power reduction that can be attained, as a function of the reduction duration asked by the grid.


title: Broadband DOA estimation using Convolutional neural networks trained with noise signals

abstract: A convolution neural network (CNN) based classification method for broadband DOA estimation is proposed, where the phase component of the short-time Fourier transform coefficients of the received microphone signals are directly fed into the CNN and the features required for DOA estimation are learnt during training. Since only the phase component of the input is used, the CNN can be trained with synthesized noise signals, thereby making the preparation of the training data set easier compared to using speech signals. Through experimental evaluation, the ability of the proposed noise trained CNN framework to generalize to speech sources is demonstrated. In addition, the robustness of the system to noise, small perturbations in microphone positions, as well as its ability to adapt to different acoustic conditions is investigated using experiments with simulated and real data.


title: Planar Hall-effect, Anomalous planar Hall-effect, and Magnetic Field-Induced Phase Transitions in TaAs

abstract: We evaluate the topological character of TaAs through a detailed study of the angular, magnetic-field and temperature dependence of its magnetoresistivity and Hall-effect(s), and of its bulk electronic structure through quantum oscillatory phenomena. At low temperatures, and for fields perpendicular to the electrical current, we extract an extremely large Hall angle $\Theta_H$ at higher fields, that is $\Theta_H \sim 82.5^{\circ}$, implying a very pronounced Hall signal superimposed into its magnetoresistivity. For magnetic fields and electrical currents perpendicular to the \emph{c}-axis we observe a very pronounced planar Hall-effect, when the magnetic field is rotated within the basal plane. This effect is observed even at higher temperatures, i.e. as high as $T = 100$ K, and predicted recently to result from the chiral anomaly among Weyl points. Superimposed onto this planar Hall, which is an even function of the field, we observe an anomalous planar Hall-signal akin to the one reported for that is an odd function of the field. Below 100 K, negative longitudinal magnetoresistivity (LMR), initially ascribed to the chiral anomaly and subsequently to current inhomogeneities, is observed in samples having different geometries and contact configurations, once the large Hall signal is subtracted. Our measurements reveal a phase transition upon approaching the quantum limit that leads to the reconstruction of the FS and to the concomitant suppression of the negative LMR indicating that it is intrinsically associated with the Weyl dispersion at the Fermi level. For fields along the \emph{a}-axis it also leads to a pronounced hysteresis pointing to a field-induced electronic phase-transition. This collection of unconventional tranport observations points to the prominent role played by the axial anomaly among Weyl nodes.


title: A Priori Lipschitz Estimates for Solutions of Local and Nonlocal Hamilton-Jacobi Equations with Ornstein-Uhlenbeck Operator

abstract: We establish a priori Lipschitz estimates for unbounded solutions of second-order Hamilton-Jacobi equations in R^N in presence of an Ornstein-Uhlenbeck drift. We generalize the results obtained by Fujita, Ishii \& Loreti (2006) in several directions. The first one is to consider more general operators. We first replace the Laplacian by a general diffusion matrix and then consider a nonlocal integro-differential operator of fractional Laplacian type. The second kind of extension is to deal with more general Hamiltonians which are merely sublinear. These results are obtained for both degenerate and nondegenerate equations.


title: Neutrinoless double beta decay and lepton flavour violation in broken $\mu-\tau$ symmetric neutrino mass models

abstract: We have studied neutrinoless double beta decay and charged lepton flavour violation in broken $\mu-\tau$ symmetric neutrino masses in a generic left-right symmetric model (LRSM). The leading order $\mu-\tau$ symmetric mass matrix originates from the type I (II) seesaw mechanism, whereas the perturbations to $\mu-\tau$ symmetry in order for generation of non-zero reactor mixing angle $\theta_{13}$, as required by latest neutrino oscillation data, originates from the type II (I) seesaw mechanism. In our work, we considered four different realizations of $\mu-\tau$ symmetry, viz. Tribimaximal Mixing (TBM), Bimaximal Mixing (BM), Hexagonal Mixing (HM) and Golden Ratio Mixing (GRM). We then studied the new physics contributions to neutrinoless double beta decay (NDBD) ignoring the left-right gauge boson mixing and the heavy-light neutrino mixing within the framework of LRSM. We have considered the mass of the gauge bosons and scalars to be around TeV and studied the effects of the new physics contributions on the effective mass and the NDBD half life and compared with the current experimental limit imposed by KamLAND-Zen. We further extended our analysis by correlating the lepton flavour violation of the decay processes, $\left(\mu\rightarrow 3e\right)$ and $\left(\mu\rightarrow e\gamma\right)$ with the lightest neutrino mass and atmospheric mixing angle $\theta_{23}$ respectively.


title: The Phase Transition in the Ultrametric Ensemble and Local Stability of Dyson Brownian Motion

abstract: We study the ultrametric random matrix ensemble, whose independent entries have variances decaying exponentially in the metric induced by the tree topology on $\mathbb{N}$, and map out the entire localization regime in terms of eigenfunction localization and Poisson statistics. Our results complement existing works on complete delocalization and random matrix universality, thereby proving the existence of a phase transition in this model. In the simpler case of the Rosenzweig-Porter model, the analysis yields a complete characterization of the transition in the local statistics. The proofs are based on the flow of the resolvents of matrices with a random diagonal component under Dyson Brownian motion, for which we establish submicroscopic stability results for short times. These results go beyond norm-based continuity arguments for Dyson Brownian motion and complement the existing analysis after the local equilibration time.


title: Split Packing: Algorithms for Packing Circles with Optimal Worst-Case Density

abstract: In the classic circle packing problem, one asks whether a given set of circles can be packed into a given container. Packing problems like this have been shown to be $\mathsf{NP}$-hard. In this paper, we present new sufficient conditions for packing circles into square and triangular containers, using only the sum of the circles' areas: For square containers, it is possible to pack any set of circles with a combined area of up to approximately 53.90% of the square's area. And when the container is a right or obtuse triangle, any set of circles whose combined area does not exceed the triangle's incircle can be packed. These area conditions are tight, in the sense that for any larger areas, there are sets of circles which cannot be packed. Similar results have long been known for squares, but to the best of our knowledge, we give the first results of this type for circular objects. Our proofs are constructive: We describe a versatile, divide-and-conquer-based algorithm for packing circles into various container shapes with optimal worst-case density. It employs an elegant subdivision scheme that recursively splits the circles into two groups and then packs these into subcontainers. We call this algorithm "Split Packing". It can be used as a constant-factor approximation algorithm when looking for the smallest container in which a given set of circles can be packed, due to its polynomial runtime. A browser-based, interactive visualization of the Split Packing approach and other related material can be found at https://morr.cc/split-packing/


title: In-situ analysis of optically thick nanoparticle clouds

abstract: Nanoparticles grown in reactive plasmas and nanodusty plasmas gain high interest from basic science and technology. One of the great challenges of nanodusty plasmas is the in-situ diagnostic of the nanoparticle size and refractive index. The analysis of scattered light by means of the Mie solution of the Maxwell equations was proposed and used as an in-situ size diagnostic during the past two decades. Today, imaging ellipsometry techniques and the investigation of dense, i. e. optically thick nanoparticle clouds demand for analysis methods to take multiple scattering into account. We present the first 3D Monte-Carlo polarized radiative transfer simulations of the scattered light in a dense nanodusty plasma. This technique extends the existing diagnostic methods for the in-situ analysis of the properties of nanoparticles to systems where multiple scattering can not be neglected.


title: Topologies of $L^p_{loc}$ type for Carath\'{e}odory functions with applications in non-autonomous differential equations

abstract: Metric topological vector spaces of Carath\'eodory functions and topologies of $L^p_{loc}$ type are introduced, depending on a suitable set of moduli of continuity. Theorems of continuous dependence on initial data for the solutions of non-autonomous Carath\'eodory differential equations are proved in such new topological structures. As a consequence, new families of continuous linearized skew-product semiflows are provided in the Carath\'eodory spaces.


abstract: We present a technique to produce arrangements of lines with nice properties. As an application, we construct $(22_4)$ and $(26_4)$ configurations of lines. Thus concerning the existence of geometric $(n_4)$ configurations, only the case $n=23$ remains open.


title: On the super domination number of graphs

abstract: The open neighbourhood of a vertex $v$ of a graph $G$ is the set $N(v)$ consisting of all vertices adjacent to $v$ in $G$. For $D\subseteq V(G)$, we define $\overline{D}=V(G)\setminus D$. A set $D\subseteq V(G)$ is called a super dominating set of $G$ if for every vertex $u\in \overline{D}$, there exists $v\in D$ such that $N(v)\cap \overline{D}=\{u\}$. The super domination number of $G$ is the minimum cardinality among all super dominating sets in $G$. In this article, we obtain closed formulas and tight bounds for the super domination number of $G$ in terms of several invariants of $G$. Furthermore, the particular cases of corona product graphs and Cartesian product graphs are considered.


title: On the Importance of Electroweak Corrections for B Anomalies

abstract: The growing experimental indication of Lepton Flavour Universality Violation (LFUV) both in charged- and neutral-current semileptonic B-decays, has triggered many theoretical interpretations of such non-standard phenomena. Focusing on popular scenarios where the explanation of these anomalies requires New Physics at the TeV scale, we emphasise the importance of including electroweak corrections to obtain trustable predictions for the models in question. We find that the most important quantum effects are the modifications of the leptonic couplings of the W and Z vector bosons and the generation of a purely leptonic effective Lagrangian. As a result, the tight experimental bounds on Z-pole observables and tau decays challenge an explanation of the current non-standard data. We illustrate how these effects arise, by providing a detailed discussion of the running and matching procedure which is necessary to derive the low-energy effective Lagrangian.


title: Show, Adapt and Tell: Adversarial Training of Cross-domain Image Captioner

abstract: Impressive image captioning results are achieved in domains with plenty of training image and sentence pairs (e.g., MSCOCO). However, transferring to a target domain with significant domain shifts but no paired training data (referred to as cross-domain image captioning) remains largely unexplored. We propose a novel adversarial training procedure to leverage unpaired data in the target domain. Two critic networks are introduced to guide the captioner, namely domain critic and multi-modal critic. The domain critic assesses whether the generated sentences are indistinguishable from sentences in the target domain. The multi-modal critic assesses whether an image and its generated sentence are a valid pair. During training, the critics and captioner act as adversaries -- captioner aims to generate indistinguishable sentences, whereas critics aim at distinguishing them. The assessment improves the captioner through policy gradient updates. During inference, we further propose a novel critic-based planning method to select high-quality sentences without additional supervision (e.g., tags). To evaluate, we use MSCOCO as the source domain and four other datasets (CUB-200-2011, Oxford-102, TGIF, and Flickr30k) as the target domains. Our method consistently performs well on all datasets. In particular, on CUB-200-2011, we achieve 21.8% CIDEr-D improvement after adaptation. Utilizing critics during inference further gives another 4.5% boost.


title: Finite Volume approximations of the Euler system with variable congestion

abstract: We are interested in the numerical simulations of the Euler system with variable congestion encoded by a singular pressure. This model describes for instance the macroscopic motion of a crowd with individual congestion preferences. We propose an asymptotic preserving (AP) scheme based on a conservative formulation of the system in terms of density, momentum and density fraction. A second order accuracy version of the scheme is also presented. We validate the scheme on one-dimensional test-cases and extended here to higher order accuracy. We finally carry out two dimensional numerical simulations and show that the model exhibit typical crowd dynamics.


title: Chopping time of the FPU $\alpha$-model

abstract: We study, both numerically and analytically, the time needed to observe the breaking of an FPU $\alpha$-chain in two or more pieces, starting from an unbroken configuration at a given temperature. It is found that such a "chopping" time is given by a formula that, at low temperatures, is of the Arrhenius-Kramers form, so that the chain does not break up on an observable time-scale. The result explains why the study of the FPU problem is meaningful also in the ill-posed case of the $\alpha$-model


title: Enumeration of small Wilf classes avoiding 1324 and two other 4-letter patterns

abstract: Recently, it has been determined that there are 242 Wilf classes of triples of 4-letter permutation patterns by showing that there are 32 non-singleton Wilf classes. Moreover, the generating function for each triple lying in a non-singleton Wilf class has been explicitly determined. In this paper, toward the goal of enumerating avoiders for the singleton Wilf classes, we obtain the generating function for all but one of the triples containing 1324. (The exceptional triple is conjectured to be intractable.) Our methods are both combinatorial and analytic, including generating trees, recurrence relations, and decompositions by left-right maxima. Sometimes this leads to an algebraic equation for the generating function, sometimes to a functional equation or a multi-index recurrence amenable to the kernel method.


title: An Iterative Model Reduction Scheme for Quadratic-Bilinear Descriptor Systems with an Application to Navier-Stokes Equations

abstract: We discuss model reduction for a particular class of quadratic-bilinear (QB) descriptor systems. The main goal of this article is to extend the recently studied interpolation-based optimal model reduction framework for QBODEs [Benner et al. '16] to a class of descriptor systems in an efficient and reliable way. Recently, it has been shown in the case of linear or bilinear systems that a direct extension of interpolation-based model reduction techniques to descriptor systems, without any modifications, may lead to poor reduced-order systems. Therefore, for the analysis, we aim at transforming the considered QB descriptor system into an equivalent QBODE system by means of projectors for which standard model reduction techniques for QBODEs can be employed, including aforementioned interpolation scheme. Subsequently, we discuss related computational issues, thus resulting in a modified algorithm that allows us to construct \emph{near}--optimal reduced-order systems without explicitly computing the projectors used in the analysis. The efficiency of the proposed algorithm is illustrated by means of a numerical example, obtained via semi-discretization of the Navier-Stokes equations.


title: On a theorem by Kippenhahn

abstract: Kippenhahn discovered a real algebraic plane curve whose convex hull is the numerical range of a matrix. The correctness of this theorem was called into question when Chien and Nakazato found an example where the spatial analogue fails. They showed that the mentioned plane curve indeed lies inside the numerical range. We prove the easier converse direction of the theorem. Finding higher-dimensional generalizations of Kippenhahn's theorem is a challenge in real algebraic geometry.


title: Water-based and Biocompatible 2D Crystal Inks: from Ink Formulation to All- Inkjet Printed Heterostructures

abstract: Fully exploiting the properties of 2D crystals requires a mass production method able to produce heterostructures of arbitrary complexity on any substrate, including plastic. Solution processing of graphene allows simple and low-cost techniques such as inkjet printing to be used for device fabrication. However, available inkjet printable formulations are still far from ideal as they are either based on toxic solvents, have low concentration, or require time-consuming and expensive formulation processing. In addition, none of those formulations are suitable for thin-film heterostructure fabrication due to the re-mixing of different 2D crystals, giving rise to uncontrolled interfaces, which results in poor device performance and lack of reproducibility. In this work we show a general formulation engineering approach to achieve highly concentrated, and inkjet printable water-based 2D crystal formulations, which also provides optimal film formation for multi-stack fabrication. We show examples of all-inkjet printed heterostructures, such as large area arrays of photosensors on plastic and paper and programmable logic memory devices, fully exploiting the design flexibility of inkjet printing. Finally, dose-escalation cytotoxicity assays in vitro also confirm the inks biocompatible character, revealing the possibility of extending use of such 2D crystal formulations to drug delivery and biomedical applications.


title: Non-convex Fraction Function Penalty: Sparse Signals Recovered from Quasi-linear Systems

abstract: The goal of compressed sensing is to reconstruct a sparse signal under a few linear measurements far less than the dimension of the ambient space of the signal. However, many real-life applications in physics and biomedical sciences carry some strongly nonlinear structures, and the linear model is no longer suitable. Compared with the compressed sensing under the linear circumstance, this nonlinear compressed sensing is much more difficult, in fact also NP-hard, combinatorial problem, because of the discrete and discontinuous nature of the $\ell_{0}$-norm and the nonlinearity. In order to get a convenience for sparse signal recovery, we set most of the nonlinear models have a smooth quasi-linear nature in this paper, and study a non-convex fraction function $\rho_{a}$ in this quasi-linear compressed sensing. We propose an iterative fraction thresholding algorithm to solve the regularization problem $(QP_{a}^{\lambda})$ for all $a>0$. With the change of parameter $a>0$, our algorithm could get a promising result, which is one of the advantages for our algorithm compared with other algorithms. Numerical experiments show that our method performs much better compared with some state-of-art methods.


title: Error Corrective Boosting for Learning Fully Convolutional Networks with Limited Data

abstract: Training deep fully convolutional neural networks (F-CNNs) for semantic image segmentation requires access to abundant labeled data. While large datasets of unlabeled image data are available in medical applications, access to manually labeled data is very limited. We propose to automatically create auxiliary labels on initially unlabeled data with existing tools and to use them for pre-training. For the subsequent fine-tuning of the network with manually labeled data, we introduce error corrective boosting (ECB), which emphasizes parameter updates on classes with lower accuracy. Furthermore, we introduce SkipDeconv-Net (SD-Net), a new F-CNN architecture for brain segmentation that combines skip connections with the unpooling strategy for upsampling. The SD-Net addresses challenges of severe class imbalance and errors along boundaries. With application to whole-brain MRI T1 scan segmentation, we generate auxiliary labels on a large dataset with FreeSurfer and fine-tune on two datasets with manual annotations. Our results show that the inclusion of auxiliary labels and ECB yields significant improvements. SD-Net segments a 3D scan in 7 secs in comparison to 30 hours for the closest multi-atlas segmentation method, while reaching similar performance. It also outperforms the latest state-of-the-art F-CNN models.


title: Optimal control of a non-smooth semilinear elliptic equation

abstract: This paper is concerned with an optimal control problem governed by a non-smooth semilinear elliptic equation. We show that the control-to-state mapping is directionally differentiable and precisely characterize its Bouligand subdifferential. By means of a suitable regularization, first-order optimality conditions including an adjoint equation are derived and afterwards interpreted in light of the previously obtained characterization. In addition, the directional derivative of the control-to-state mapping is used to establish strong stationarity conditions. While the latter conditions are shown to be stronger, we demonstrate by numerical examples that the former conditions are amenable to numerical solution using a semi-smooth Newton method.


title: A note on "eight-vertex" universal quantum gates

abstract: Many well-known and well-studied four by four universal quantum logic gates in the literature are of a specific form, the so called eight-vertex form \eqref{8vertexform} \cite{kaufman etal 05-1,kaufman etal 05-2}, or {\it similar} to it. We present a formalism for universal quantum logic gates of such a form. First, we provide explicit formulas in terms of matrix entries, which are the necessary and sufficient conditions for such a matrix to be a solution to the Yang-Baxter equation \eqref{byb}. Then, combining this with the conditions needed for being unitary \eqref{unitarycond} and being entangling \eqref{entanglingcond}, we give a full description of entangling unitary solutions to the Yang-Baxter equation (hence, universal quantum logic gates) of such a specific form. We investigate in detail all the possible cases where some of the eight main entries might or might not be zero.


title: Fluctuating feedback-regulated escape fraction of ionizing radiation in low-mass, high-redshift galaxies

abstract: Low mass galaxies are thought to provide the bulk of the ionizing radiation necessary to reionize the Universe. The amount of photons escaping the galaxies is poorly constrained theoretically, and difficult to measure observationally. Yet it is an essential parameter of reionization models. We study in detail how ionizing radiation can leak from high redshift galaxies. For this purpose, we use a series of high resolution radiation hydrodynamics simulations, zooming on three dwarf galaxies in a cosmological context. We find that the energy and momentum input from the supernova explosions has a pivotal role in regulating the escape fraction, by disrupting dense star forming clumps, and clearing sight lines in the halo. In the absence of supernovae, photons are absorbed very locally, within the birth clouds of massive stars. We follow the time evolution of the escape fraction, and find that it can vary by more than six orders of magnitude. This explains the large scatter in the value of the escape fraction found by previous studies. This fast variability also impacts the observability of the sources of reionization: a survey even as deep as $M_{\rm UV} = -14$ would miss about half of the underlying population of Lyman-continuum emitters.


title: Clifford Gates in the Holant Framework

abstract: We show that the Clifford gates and stabilizer circuits in the quantum computing literature, which admit efficient classical simulation, are equivalent to affine signatures under a unitary condition. The latter is a known class of tractable functions under the Holant framework.


title: Weakly charged generalized Kerr-NUT-(A)dS spacetimes

abstract: We find an explicit solution of the source free Maxwell equations in a generalized Kerr-NUT-(A)dS spacetime in all dimensions. This solution is obtained as a linear combination of the closed conformal Killing-Yano tensor $h_{ab}$, which is present in such a spacetime, and a derivative of the primary Killing vector, associated with $h_{ab}$. For the vanishing cosmological constant the obtained solution reduces to the Wald's electromagnetic field generated from the primary Killing vector.


title: Looking for the right mate in diploid species: how dominance relationships affect population differentiation in sexual trait?

abstract: Divergence between populations for a given trait can be driven by natural or sexual selection, interacting with migration behaviour. Mating preference for different phenotypes can lead to the emergence and persistence of differentiated populations. Dominance between alleles encoding for divergent phenotypes can interfere in such processes. Using a diploid model of trait determining both mating success and migration rate, we explored differentiation between two connected populations, assuming either co-dominance or strict dominance between alleles. The model assumes that individuals prefer mating with partners displaying the same phenotype and therefore tend to move to the other population when their own phenotype is rare. We show that the emergence of differentiated populations in this diploid model is limited as compared to results obtained with the same model assuming haploidy. When assuming co-dominance, differentiation arises only when migration is limited as compared to preference. Such differentiation is less dependent on migration when assuming strict dominance between haplotypes. Dominant alleles frequently invade populations because their phenotype is more frequently expressed, resulting in higher mating success and rapid decrease in migration. However, depending on the initial distribution of alleles, this advantage associated with dominance (i.e. Haldane's sieve) may lead to fixation of the dominant allele throughout both populations. Depending on the initial distribution of heterozygotes, persistence of polymorphisms within populations can also occur because heterozygotes displaying the predominant phenotype benefit from mating preferences. Altogether, our results highlight that heterozygotes' behaviour has a strong impact on population differentiation and stress out the need of diploid models of differentiation and speciation driven by natural and sexual selection.


title: Adaptive Noise Cancellation Using Deep Cerebellar Model Articulation Controller

abstract: This paper proposes a deep cerebellar model articulation controller (DCMAC) for adaptive noise cancellation (ANC). We expand upon the conventional CMAC by stacking sin-gle-layer CMAC models into multiple layers to form a DCMAC model and derive a modified backpropagation training algorithm to learn the DCMAC parameters. Com-pared with conventional CMAC, the DCMAC can characterize nonlinear transformations more effectively because of its deep structure. Experimental results confirm that the pro-posed DCMAC model outperforms the CMAC in terms of residual noise in an ANC task, showing that DCMAC provides enhanced modeling capability based on channel characteristics.


title: Variable selection in model-based clustering and discriminant analysis with a regularization approach

abstract: Relevant methods of variable selection have been proposed in model-based clustering and classification. These methods are making use of backward or forward procedures to define the roles of the variables. Unfortunately, these stepwise procedures are terribly slow and make these variable selection algorithms inefficient to treat large data sets. In this paper, an alternative regularization approach of variable selection is proposed for model-based clustering and classification. In this approach, the variables are first ranked with a lasso-like procedure in order to avoid painfully slow stepwise algorithms. Thus, the variable selection methodology of Maugis et al (2009b) can be efficiently applied on high-dimensional data sets.


title: Robust reputation-based ranking on multipartite rating networks

abstract: The spread of online reviews, ratings and opinions and its growing influence on people's behavior and decisions boosted the interest to extract meaningful information from this data deluge. Hence, crowdsourced ratings of products and services gained a critical role in business, governments, and others. We propose a new reputation-based ranking system utilizing multipartite rating subnetworks, that clusters users by their similarities, using Kolmogorov complexity. Our system is novel in that it reflects a diversity of opinions/preferences by assigning possibly distinct rankings, for the same item, for different groups of users. We prove the convergence and efficiency of the system and show that it copes better with spamming/spurious users, and it is more robust to attacks than state-of-the-art approaches.


title: Determinations of $|V_{cb}|$ and $|V_{ub}|$ from baryonic $\Lambda_b$ decays

abstract: We extract the Cabibbo-Kobayashi-Maskawa matrix element $V_{cb}$ from the exclusive decays of $\Lambda_b\to \Lambda_c\ell\bar \nu_\ell$ and $\Lambda_b\to \Lambda_c M_{(c)}$ with $M=(\pi^-,K^-)$ and $M_c=(D^-,D^-_s)$, where the branching ratios of $\Lambda_b\to \Lambda M_{(c)}$ measured with high precisions have not been used in the previous studies. Explicitly, we find $|V_{cb}|=(44.0\pm 3.5)\times 10^{-3}$, which agrees with the value of $(42.11\pm 0.74)\times 10^{-3}$ from the inclusive $B\to X_c\ell\bar \nu_\ell$ decays. Furthermore, based on the most recent ratio of $|V_{ub}|/|V_{cb}|$ from the exclusive $\Lambda_b$ decays, we obtain $|V_{ub}|=(4.2\pm 0.4)\times 10^{-3}$, which is close to the value of $(4.49\pm 0.24)\times 10^{-3}$ from the inclusive $B\to X_u\ell\bar \nu_\ell$ decays. We conclude that our determinations of $|V_{cb}|$ and $|V_{ub}|$ from the exclusive $\Lambda_b$ decays favor the inclusive extractions in the $B$ decays.


title: Scalable Surface Reconstruction from Point Clouds with Extreme Scale and Density Diversity

abstract: In this paper we present a scalable approach for robustly computing a 3D surface mesh from multi-scale multi-view stereo point clouds that can handle extreme jumps of point density (in our experiments three orders of magnitude). The backbone of our approach is a combination of octree data partitioning, local Delaunay tetrahedralization and graph cut optimization. Graph cut optimization is used twice, once to extract surface hypotheses from local Delaunay tetrahedralizations and once to merge overlapping surface hypotheses even when the local tetrahedralizations do not share the same topology.This formulation allows us to obtain a constant memory consumption per sub-problem while at the same time retaining the density independent interpolation properties of the Delaunay-based optimization. On multiple public datasets, we demonstrate that our approach is highly competitive with the state-of-the-art in terms of accuracy, completeness and outlier resilience. Further, we demonstrate the multi-scale potential of our approach by processing a newly recorded dataset with 2 billion points and a point density variation of more than four orders of magnitude - requiring less than 9GB of RAM per process.


title: Pulsar wind nebulae with bow shocks: non-thermal radiation and cosmic ray leptons

abstract: Pulsars with high spin-down power produce relativistic winds radiating a fraction of the power in the range from radio to gamma-rays in the pulsar wind nebulae (PWNe). The rest of the power is dissipated in the interactions of the PWNe with the interstellar medium (ISM). Some of the PWNe are moving relative to the ISM with supersonic speeds producing bow shocks. In this case, the ultrarelativistic particles accelerated at the termination surface of the pulsar wind may be reaccelerated in the converging flow system formed by the outflow from the wind termination shock and the inflow from the bow shock. An outcome of this reacceleration is the creation of particle distributions with hard spectra, such as required to explain the observed synchrotron spectra with photon indices Gamma <~ 1.5. The presence of this hard component is specific to PWNe with bow shocks (BSPWNe). The accelerated particles may end up containing a substantial fraction of the shock ram pressure. For typical ISM and pulsar parameters, the positrons released by these systems are numerous enough to contribute a substantial fraction of the positrons detected as galactic cosmic ray particles above few tens and up to several hundred GeV. The escape of ultrarelativistic particles from a BSPWN and its appearance in the far-UV and X-ray bands is determined by the directions of the interstellar magnetic field, the velocity of the astrosphere and the pulsar rotation axis. In this respect we review the observed appearance and multiwavelength spectra of three different types of BSPWNe: PSR J0437-4715, the Guitar and Lighthouse nebulae, and Vela-like objects. We argue that high resolution imaging of such objects provides unique information on pulsar winds and on the ISM. We discuss the interpretation of imaging observations and estimate the BSPWN contribution to the positron flux observed at the Earth. (ABRIDGED)


title: A mean score method for sensitivity analysis to departures from the missing at random assumption in randomised trials

abstract: Most analyses of randomised trials with incomplete outcomes make untestable assumptions and should therefore be subjected to sensitivity analyses. However, methods for sensitivity analyses are not widely used. We propose a mean score approach for exploring global sensitivity to departures from missing at random or other assumptions about incomplete outcome data in a randomised trial. We assume a single outcome analysed under a generalised linear model. One or more sensitivity parameters, specified by the user, measure the degree of departure from missing at random in a pattern mixture model. Advantages of our method are that its sensitivity parameters are relatively easy to interpret and so can be elicited from subject matter experts; it is fast and non-stochastic; and its point estimate, standard error and confidence interval agree perfectly with standard methods when particular values of the sensitivity parameters make those standard methods appropriate. We illustrate the method using data from a mental health trial.


title: On the limits of the Navier-Stokes equations

abstract: Heuristic derivations of the Navier-Stokes equations are unable to reveal the applicability limits of these equations. In this paper we rederive the Navier-Stokes equations from kinetic theory, using a method that affords a step by step insight into the required simplifying assumptions. The major task on this way is to find the conditions needed to truncate the resulting infinite system of transport equations at a finite level. The minimal obtainable closed set comprises three equations, for the particle number density $\mathit{N} $, the macroscopic velocity $\mathbf{v}$, and the temperature $\mathit{T}$. It is verified that this 3-equation system conserves the total energy, i.e., the sum of kinetic and internal energy. As a consequence, the energy is not conserved if the integrity of this closed system is violated, as for instance in the case of the so-called incompressible Navier-Stokes equations where the equation for $\mathbf{v}$ is the only one kept, and the other two discarded and jointly replaced by the incompressibility condition $\nabla \cdot \mathbf{v} = 0$. It is shown that a second viscosity, found in parts of the literature, does not exist as long as the Navier-Stokes equation is applied inside the range of its validity. Outside this range, a second viscosity builds up, however not as a matter constant. The Navier-Stokes equation in its known form rests upon the tacit assumption that the particles are points without volume and without collective forces between them, whereby dense gases and liquids are excluded, and the applicability limited to ideal gases. In the final section of this paper, an attempt is made to generalize the equations for applicability to real fluids.


title: Some nonlocal operators and effects due to nonlocality

abstract: In this PhD thesis, we deal with problems related to nonlocal operators, in particular to the fractional Laplacian and to some other types of fractional derivatives (the Caputo and the Marchaud derivatives). We make an extensive introduction to the fractional Laplacian, we present some related contemporary research results and we add some original material. Indeed, we study the potential theory of this operator, introduce a new proof of Schauder estimates using the potential theory approach, we study a fractional elliptic problem in $\mathbb{R}^n$ with convex nonlinearities and critical growth and we present a stickiness property of nonlocal minimal surfaces for small values of the fractional parameter. Also, we point out that the (nonlocal) character of the fractional Laplacian gives rise to some surprising nonlocal effects. We prove that other fractional operators have a similar behavior: in particular, Caputo-stationary functions are dense in the space of smooth functions, moreover, we introduce an extension operator for Marchaud-stationary functions.


title: On scattering for the cubic defocusing nonlinear Schr\"odinger equation on waveguide $\mathbb{R}^2\times \mathbb{T}$

abstract: In this article, we will show the global wellposedness and scattering of the cubic defocusing nonlinear Schr\"odinger equation on waveguide $\mathbb{R}^2\times \mathbb{T}$ in $H^1$. We first establish the linear profile decomposition in $H^{ 1}(\mathbb{R}^2 \times \mathbb{T})$ motivated by the linear profile decomposition of the mass-critical Schr\"odinger equation in $L^2(\mathbb{R}^2)$. Then by using the solution of the infinite dimensional vector-valued resonant nonlinear Schr\"odinger system to approximate the nonlinear profile, we can prove scattering in $H^1$ by using the concentration-compactness/rigidity method.


title: Persistent homology and microlocal sheaf theory

abstract: We interpret some results of persistent homology and barcodes (in any dimension) with the language of microlocal sheaf theory. For that purpose we study the derived category of sheaves on a real finite-dimensional vector space V. By using the operation of convolution, we introduce a pseudo-distance on this category and prove in particular a stability result for direct images. Then we assume that V is endowed with a closed convex proper cone $\gamma$ with non empty interior and study $\gamma$-sheaves, that is, constructible sheaves with microsupport contained in the antipodal to the polar cone (equivalently, constructible sheaves for the $\gamma$-topology). We prove that such sheaves may be approximated (for the pseudo-distance) by "piecewise linear" $\gamma$-sheaves. Finally we show that these last sheaves are constant on stratifications by $\gamma$-locally closed sets, an analogue of barcodes in higher dimension.


title: Experimental Design for Non-Parametric Correction of Misspecified Dynamical Models

abstract: We consider a class of misspecified dynamical models where the governing term is only approximately known. Under the assumption that observations of the system's evolution are accessible for various initial conditions, our goal is to infer a non-parametric correction to the misspecified driving term such as to faithfully represent the system dynamics and devise system evolution predictions for unobserved initial conditions. We model the unknown correction term as a Gaussian Process and analyze the problem of efficient experimental design to find an optimal correction term under constraints such as a limited experimental budget. We suggest a novel formulation for experimental design for this Gaussian Process and show that approximately optimal (up to a constant factor) designs may be efficiently derived by utilizing results from the literature on submodular optimization. Our numerical experiments exemplify the effectiveness of these techniques.


title: Twist-field representations of W-algebras, exact conformal blocks and character identities

abstract: We study the twist-field representations of W-algebras and generalize construction of the corresponding vertex operators to D- and B-series. It is shown, how the computation of characters of these representations leads to nontrivial identities involving lattice theta-functions. We also propose a way to calculate their exact conformal blocks, expressing them for D-series in terms of geometric data of the corresponding Prym variety for covering curve with involution.


title: Fermion stabilisation of extra dimensions and natural mass hierarchies

abstract: Casimir forces from fermions in an extra dimension can stabilise Randall-Sundrum models. Contrary to previous expectations, the stabilisation can produce large electroweak hierarchies without fine tuning. The Casimir stabilisation occurs in the same five-dimensional fermion models which have been found to give the observed fermion mass hierarchies. This is shown for masses generated by the Higgs mechanism and by a Higgsless symmetry breaking mechanism, where new light Kaluza-Klein states are presented


title: Smart Assessment of and Tutoring for Computational Thinking MOOC Assignments using MindReader

abstract: One of the major hurdles toward automatic semantic understanding of computer programs is the lack of knowledge about what constitutes functional equivalence of code segments. We postulate that a sound knowledgebase can be used to deductively understand code segments in a hierarchical fashion by first de-constructing a code and then reconstructing it from elementary knowledge and equivalence rules of elementary code segments. The approach can also be engineered to produce computable programs from conceptual and abstract algorithms as an inverse function. In this paper, we introduce the core idea behind the MindReader online assessment system that is able to understand a wide variety of elementary algorithms students learn in their entry level programming classes such as Java, C++ and Python. The MindReader system is able to assess student assignments and guide them how to develop correct and better code in real time without human assistance.


title: Foundations of Intelligent Additive Manufacturing

abstract: During the last decade, additive manufacturing has become increasingly popular for rapid prototyping, but has remained relatively marginal beyond the scope of prototyping when it comes to applications with tight tolerance specifications, such as in aerospace. Despite a strong desire to supplant many aerospace structures with printed builds, additive manufacturing has largely remained limited to prototyping, tooling, fixtures, and non-critical components. There are numerous fundamental challenges inherent to additive processing to be addressed before this promise is realized. One ubiquitous challenge across all AM motifs is to develop processing-property relationships through precise, in situ monitoring coupled with formal methods and feedback control. We suggest a significant component of this vision is a set of semantic layers within 3D printing files relevant to the desired material specifications. This semantic layer provides the feedback laws of the control system, which then evaluates the component during processing and intelligently evolves the build parameters within boundaries defined by semantic specifications. This evaluation and correction loop requires on-the-fly coupling of finite element analysis and topology optimization. The required parameters for this analysis are all extracted from the semantic layer and can be modified in situ to satisfy the global specifications. Therefore, the representation of what is printed changes during the printing process to compensate for eventual imprecision or drift arising during the manufacturing process.


title: Towards Practical, Precise and Parametric Energy Analysis of IT Controlled Systems

abstract: Energy consumption analysis of IT-controlled systems can play a major role in minimising the overall energy consumption of such IT systems, during the development phase, or for optimisation in the field. Recently, a precise energy analysis was developed, with the property of being parametric in the hardware. In principle, this creates the opportunity to analyse which is the best software implementation for given hardware, or the other way around: choose the best hardware for a given algorithm. The precise analysis was introduced for a very limited language: ECA. In this paper, several important steps are taken towards practical energy analysis. The ECA language is extended with common programming language features. The application domain is further explored, and threats to the validity are identified and discussed. Altogether, this constitutes an important step towards analysing energy consumption of IT-controlled systems in practice.


title: A new fractional derivative and its fractional integral with some example

abstract: A new derivative, called deformable derivative, is introduced here which is equivalent to ordinary derivative in the sense that one implies other. The deformable derivative is defined using limit approach like that of ordinary one but with respect to a parameter varying over unit interval. Thus it could also be regarded as a fractional derivative. Reason of calling it as deformable derivative is because of its intrinsic property of continuously deforming function to derivative. This is substantiated by its linear connection to function and its derivative. Besides discussing some of its basic properties, we discover the forms of Rolle's, Mean Value and Taylor's theorems. The fundamental theorem of calculus for this fractional derivative could be taken as definition of its fractional integral. As a theoretical application some fractional differential equations are solved.


title: A Unified tool to estimate Distances, Ages and Masses (UniDAM) from spectrophotometric data

abstract: Galactic archaeology - the study of the formation and evolution of the Milky Way by reconstructing its past from its current constituents - requires precise and accurate knowledge of stellar parameters for as many stars as possible. To achieve this a number of large spectroscopic surveys have been undertaken and are still ongoing. So far consortia carrying out the different spectroscopic surveys have used different tools to determine stellar parameters of stars from their derived effective temperatures (Teff), surface gravities (log g) and metallicities ([Fe/H]) possibly combined with photometric, astrometric, interferometric or asteroseismic information. Here we aim to homogenise the stellar characterisation by applying a unified tool to a large set of publicly available spectrophotometric data. We use spectroscopic data from a variety of large surveys combined with infra-red photometry from 2MASS and AllWISE and compare these in a Bayesian manner with PARSEC isochrones to derive probability density functions (PDFs) for stellar masses, ages and distances. We treat PDFs of pre-helium-core burning, helium-core burning and post helium-core burning solutions as well as different peaks in multi-modal PDFs (i.e. each unimodal sub-PDF) of the different evolutionary phases separately. For over 2.5 million stars we report mass, age and distance estimate for each evolutionary phase and unimodal sub-PDF. We report Gaussian, skewed Gaussian, truncated Gaussian, modified truncated exponential distribution or truncated Student's t-distribution functions to represent each sub-PDF, allowing to reconstruct detailed PDFs. Comparisons with stellar parameter estimates from the literature show good agreement within uncertainties. We present UniDAM - the unified tool applicable to spectrophotometric data of different surveys to obtain a homogenised set of stellar parameters.


title: Extreme radio-wave scattering associated with hot stars

abstract: We use data on extreme radio scintillation to demonstrate that this phenomenon is associated with hot stars in the solar neighbourhood. The ionized gas responsible for the scattering is found at distances up to 1.75pc from the host star, and on average must comprise 1.E5 distinct structures per star. We detect azimuthal velocities of the plasma, relative to the host star, up to 9.7 km/s, consistent with warm gas expanding at the sound speed. The circumstellar plasma structures that we infer are similar in several respects to the cometary knots seen in the Helix, and in other planetary nebulae. There the ionized gas appears as a skin around tiny molecular clumps. Our analysis suggests that molecular clumps are ubiquitous circumstellar features, unrelated to the evolutionary state of the star. The total mass in such clumps is comparable to the stellar mass.


title: Gruss-type inequality by mean of a fractional integral

abstract: In this paper, using a fractional integral as proposed by Katugampola we establish a generalization of integral inequalities of Gruss-type. We prove two theorems associated with these inequalities and then immediately we enunciate and prove others inequalities associated with these fractional operator.


title: Neutron Parton Structure And The Light-Front Spectral Function Of 3He

abstract: Semi-inclusive deep inelastic electron scattering off polarized 3He is studied in a non-relativistic framework, using a distorted spin-dependent spectral function for 3He to take care of the final state interaction between the observed pion and the remnant. A simple procedure is shown to be valuable for the extraction of Sivers and Collins asymmetries for the neutron fromthe corresponding asymmetries for 3He. To extend this study in a relativistic framework, a novel approach for a Poincar\'e covariant description of nuclear dynamics is presented, based on the light-front Hamiltonian dynamics. The key quantity is the light-front spectral function, where both normalization and momentum sum rule can be satisfied at the same time. Preliminary results are discussed for an initial analysis of the role of relativity in the EMC effect in 3He, and the generalization of the procedure for the extraction of neutron asymmetries within the light-front dynamics is outlined.


title: H\"older regularity of the 2D dual semigeostrophic equations via analysis of linearized Monge-Amp\`ere equations

abstract: We obtain the H\"older regularity of time derivative of solutions to the dual semigeostrophic equations in two dimensions when the initial potential density is bounded away from zero and infinity. Our main tool is an interior H\"older estimate in two dimensions for an inhomogeneous linearized Monge-Amp\`ere equation with right hand side being the divergence of a bounded vector field. As a further application of our H\"older estimate, we prove the H\"older regularity of the polar factorization for time-dependent maps in two dimensions with densities bounded away from zero and infinity. Our applications improve previous work by G. Loeper who considered the cases of densities sufficiently close to a positive constant.


title: Influence of singularities in the problem on Convergence Exponent of Multidimensional Terry's problem

abstract: In the paper it is considered the question on Convergence Exponent of the special integral of multidimensional Terry's problem. The question considered in the article consisted in investigation of singularities influence to the value of convergence exponent of the special integral


title: The Problem of Coincidence in A Theory of Temporal Multiple Recurrence

abstract: Logical theories have been developed which have allowed temporal reasoning about eventualities (a la Galton) such as states, processes, actions, events, processes and complex eventualities such as sequences and recurrences of other eventualities. This paper presents the problem of coincidence within the framework of a first order logical theory formalising temporal multiple recurrence of two sequences of fixed duration eventualities and presents a solution to it The coincidence problem is described as: if two complex eventualities (or eventuality sequences) consisting respectively of component eventualities x0, x1,....,xr and y0, y1, ..,ys both recur over an interval k and all eventualities are of fixed durations, is there a sub-interval of k over which the incidence xt and yu for t between 0..r and s between 0..s coincide. The solution presented here formalises the intuition that a solution can be found by temporal projection over a cycle of the multiple recurrence of both sequences.


title: Inference of a Dyadic Measure and its Simplicial Geometry from Binary Feature Data and Application to Data Quality

abstract: We propose a new method for representing data sets with a set of binary feature functions. We compute both the dyadic set structure determined by an order on the binary features together with the canonical product coefficient parameters for the associated dyadic measure and a variant of a nerve simplicial complex determined by the support of the dyadic measure together with its betti numbers. The product coefficient parameters characterize the relative skewness of the dyadic measure at dyadic scales and localities. The more abstract betti number statistics summarize the simplicial geometry of the support of the measure and satisfy a differential privacy property. Both types of statistics can be computed algorithmically from the binary feature representation of the data. This representation provides a new method for pre-processing data into automatically generated features which explicitly characterize the dyadic statistics and geometry of the data. useful for statistical fusion, decision-making, inference, multi-scale hypothesis testing and visualization. We illustrated the methods on a data quality data set. We exploit a representation lemma for dyadic measures on the unit interval (Fefferman, Kenig and Pipher) reformulated for measures on dyadic sets by Bassu, Jones, Ness and Shallcross. We prove that dyadic sets with dyadic measures have a canonical set of binary features and determine canonical nerve simplicial complexes. We compare our methods with other results for measures on sets with tree structures, recent multi-resolution theory, and persistent homology and suggest links to differential privacy, Bayesian reasoning and algebraic statistics.


title: Channel Estimation for Diffusive MIMO Molecular Communications

abstract: In diffusion-based communication, as for molecular systems, the achievable data rate is very low due to the slow nature of diffusion and the existence of severe inter-symbol interference (ISI). Multiple-input multiple-output (MIMO) technique can be used to improve the data rate. Knowledge of channel impulse response (CIR) is essential for equalization and detection in MIMO systems. This paper presents a training-based CIR estimation for diffusive MIMO (D-MIMO) channels. Maximum likelihood and least-squares estimators are derived, and the training sequences are designed to minimize the corresponding Cram\'er-Rao bound. Sub-optimal estimators are compared to Cram\'er-Rao bound to validate their performance.


title: Duality and upper bounds in optimal stochastic control governed by partial differential equations

abstract: A dual control problem is presented for the optimal stochastic control of a system governed by partial differential equations. Relationships between the optimal values of the original and the dual problems are investigated and two duality theorems are proved. The dual problem serves to provide upper bounds for the optimal and maximum value of the original one or even to give the optimal value.


title: Superluminal Tunneling of a Relativistic Half-Integer Spin Particle Through a Potential Barrier

abstract: This paper investigates the problem of a relativistic Dirac half integer spin free particle tunneling through a rectangular quantum-mechanical barrier. If the energy difference between the barrier and the particle is positive, and the barrier width is large enough, there is proof that the tunneling may be superluminal. For first spinor components of particle and antiparticle states, the tunneling is always superluminal regardless the barrier width. Conversely, the second spinor components of particle and antiparticle states may be either subluminal or superluminal depending on the barrier width. These results derive from studying the tunneling time in terms of phase time. For the first spinor components of particle and antiparticle states, it is always negative while for the second spinor components of particle and antiparticle states, it is always positive, whatever the height and width of the barrier. In total, the tunneling time always remains positive for particle states while it becomes negative for antiparticle ones. Furthermore, the phase time tends to zero, increasing the potential barrier both for particle and antiparticle states. This agrees with the interpretation of quantum tunneling that the Heisenberg uncertainty principle provides. This study results are innovative with respect to those available in the literature. Moreover, they show that the superluminal behaviour of particles occurs in those processes with high-energy confinement.


title: High-resolution photoelectron-spectroscopic investigation of the H$_2$O$^+$ cation in its ${\mathrm {\tilde A^+}}$ electronic state

abstract: The photoelectron spectrum of water has been recorded in the vicinity of the ${\mathrm {\tilde A^+}}$ $\leftarrow$ $\tilde{\mathrm{X}}$ transition between 112 000 and 116 000 cm$^{-1}$ (13.89-14.38 eV). The high-resolution allowed the observation of the rotational structure of several bands. Rotational assignments of the transitions involving the $\Pi(080)$, $\Sigma(070)$ and $\Pi(060)$ vibronic states of the $\tilde{\mathrm{A}}^+$ electronic state are deduced from previous studies of the $\tilde{\mathrm{A}}^+ - \tilde{\mathrm{X}}^+$ band system of H$_2$O$^+$ (Lew, Can. J. Phys. 54, 2028 (1976) and Huet et al., J. Chem. Phys. 107, 5645 (1997)) and photoionization selection rules. The transition to the $\Sigma(030)$ vibronic state is tentatively assigned.


title: Chaos-based image encryption using vertical-cavity surface-emitting lasers

abstract: We study the encryption and decryption processes of color images using the synchronization of polarization dynamics in a free-running vertical-cavity surface-emitting laser (VCSEL). Here, we consider a bidirectional master-slave configuration or two-way coupling with two VCSELs. The latter are shown to exhibit hyperchaos and synchronization with a high level of similarity between their emission characteristics. The coupled VCSELs are then used as a transmitter and a receiver for the communication of image or data. Furthermore, we propose a modified chaos-based image encryption algorithm using the pixel- and bit-level permutations which provides robust, faster and simpler encryption/decryption compared to many other chaos-based cryptosystems. The performances of the new cryptosystem are analyzed and compared with a recently developed scheme [Opt. Las. Eng. 90 (2017) 238-246]. The security analysis and some statistical investigations show that the proposed cryptosystem is resistant to various types of attacks and is efficient for secure communications in nonlinear optical media.


title: On the complete perturbative solution of one-matrix models

abstract: We summarize the recent results about complete solvability of Hermitian and rectangular complex matrix models. Partition functions have very simple character expansions with coefficients made from dimensions of representation of the linear group $GL(N)$, and arbitrary correlators in the Gaussian phase are given by finite sums over Young diagrams of a given size, which involve also the well known characters of symmetric group. The previously known integrability and Virasoro constraints are simple corollaries, but no vice versa: complete solvability is a peculiar property of the matrix model (hypergeometric) $\tau$-functions, which is actually a combination of these two complementary requirements.


title: Quantum no-singularity theorem from geometric flows

abstract: In this paper, we analyze the classical geometric flow as a dynamical system. We obtain an action for this system, such that its equation of motion is the Raychaudhuri equation. This action will be used to quantize this system. As the Raychaudhuri equation is the basis for deriving the singularity theorems, we will be able to understand the effects such a quantization will have on the classical singularity theorems. Thus, quantizing the geometric flow, we can demonstrate that a quantum space-time is complete (non-singular). This is because the existence of a conjugate point is a necessary condition for the occurrence of singularities, and we will be able to demonstrate that such conjugate points cannot occur due to such quantum effects.


title: A regression-based feature selection study of the Curie temperature of transition-metal rare-earth compounds: prediction and understanding

abstract: The Curie temperature ($T_C$) of binary alloy compounds consisting of 3$d$ transition-metal and 4$f$ rare-earth elements is analyzed by a machine learning technique. We first demonstrate that nonlinear regression can accurately reproduce $T_C$ of the compounds. The prediction accuracy for $T_C$ is maximized when five to ten descriptors are selected, with the rare-earth concentration being the most relevant. We then discuss an attempt to utilize a regression-based model selection technique to learn the relation between the descriptors and the actuation mechanism of the corresponding physical phenomenon, i.e., $T_C$ in the present case.


title: Aerodynamic noise from rigid trailing edges with finite porous extensions

abstract: This paper investigates the effects of finite flat porous extensions to semi-infinite impermeable flat plates in an attempt to control trailing-edge noise through bio-inspired adaptations. Specifically the problem of sound generated by a gust convecting in uniform mean steady flow scattering off the trailing edge and permeable-impermeable junction is considered. This setup supposes that any realistic trailing-edge adaptation to a blade would be sufficiently small so that the turbulent boundary layer encapsulates both the porous edge and the permeable-impermeable junction, and therefore the interaction of acoustics generated at these two discontinuous boundaries is important. The acoustic problem is tackled analytically through use of the Wiener-Hopf method. A two-dimensional matrix Wiener-Hopf problem arises due to the two interaction points (the trailing edge and the permeable-impermeable junction). This paper discusses a new iterative method for solving this matrix Wiener-Hopf equation which extends to further two-dimensional problems in particular those involving analytic terms that exponentially grow in the upper or lower half planes. This method is an extension of the commonly used "pole removal" technique and avoids the needs for full matrix factorisation. Convergence of this iterative method to an exact solution is shown to be particularly fast when terms neglected in the second step are formally smaller than all other terms retained. The final acoustic solution highlights the effects of the permeable-impermeable junction on the generated noise, in particular how this junction affects the far-field noise generated by high-frequency gusts by creating an interference to typical trailing-edge scattering. This effect results in partially porous plates predicting a lower noise reduction than fully porous plates when compared to fully impermeable plates.


title: Comments on Negative Specific Heat in Astronomy, Physics and Chemistry

abstract: It is shown that the proof of [1] that the specific heat of the system of classical point particles interacting with each other via uniform gravitational potential energy may be negative is incorrect.


title: Automated Formal Synthesis of Digital Controllers for State-Space Physical Plants

abstract: We present a sound and automated approach to synthesize safe digital feedback controllers for physical plants represented as linear, time invariant models. Models are given as dynamical equations with inputs, evolving over a continuous state space and accounting for errors due to the digitalization of signals by the controller. Our approach has two stages, leveraging counterexample guided inductive synthesis (CEGIS) and reachability analysis. CEGIS synthesizes a static feedback controller that stabilizes the system under restrictions given by the safety of the reach space. Safety is verified either via BMC or abstract acceleration; if the verification step fails, we refine the controller by generalizing the counterexample. We synthesize stable and safe controllers for intricate physical plant models from the digital control literature.


title: Implementing NLO DGLAP evolution in Parton Showers

abstract: We present a parton shower which implements the DGLAP evolution of parton densities and fragmentation functions at next-to-leading order precision up to effects stemming from local four-momentum conservation. The Monte-Carlo simulation is based on including next-to-leading order collinear splitting functions in an existing parton shower and combining their soft enhanced contributions with the corresponding terms at leading order. Soft double counting is avoided by matching to the soft eikonal. Example results from two independent realizations of the algorithm, implemented in the two event generation frameworks Pythia and Sherpa, illustrate the improved precision of the new formalism.


title: Micro-sized tunable liquid crystal optical filters

abstract: Liquid Crystal Arrayed Microcavities (LCAM) is a new technology for ultra-narrow optical filtering (FWHM ~ 0.1 nm) that uses pico-liter volume Fabry-Perot type optical cavities filled with liquid crystal for tuning. LCAMs are sub-nm spectral resolution filters, which utilize well-established laser writing, thin film deposition, and wafer manufacturing techniques. These filters are compact, robust, and inexpensive. Compact, high-resolution optical filters have applications including biomedical imaging, chemical detection, and environmental monitoring. Here we describe the LCAM design and initial performance metrics.


title: Generalizing input-driven languages: theoretical and practical benefits

abstract: Regular languages (RL) are the simplest family in Chomsky's hierarchy. Thanks to their simplicity they enjoy various nice algebraic and logic properties that have been successfully exploited in many application fields. Practically all of their related problems are decidable, so that they support automatic verification algorithms. Also, they can be recognized in real-time. Context-free languages (CFL) are another major family well-suited to formalize programming, natural, and many other classes of languages; their increased generative power w.r.t. RL, however, causes the loss of several closure properties and of the decidability of important problems; furthermore they need complex parsing algorithms. Thus, various subclasses thereof have been defined with different goals, spanning from efficient, deterministic parsing to closure properties, logic characterization and automatic verification techniques. Among CFL subclasses, so-called structured ones, i.e., those where the typical tree-structure is visible in the sentences, exhibit many of the algebraic and logic properties of RL, whereas deterministic CFL have been thoroughly exploited in compiler construction and other application fields. After surveying and comparing the main properties of those various language families, we go back to operator precedence languages (OPL), an old family through which R. Floyd pioneered deterministic parsing, and we show that they offer unexpected properties in two fields so far investigated in totally independent ways: they enable parsing parallelization in a more effective way than traditional sequential parsers, and exhibit the same algebraic and logic properties so far obtained only for less expressive language families.


title: Determinant-Preserving Sparsification of SDDM Matrices with Applications to Counting and Sampling Spanning Trees

abstract: We show variants of spectral sparsification routines can preserve the total spanning tree counts of graphs, which by Kirchhoff's matrix-tree theorem, is equivalent to determinant of a graph Laplacian minor, or equivalently, of any SDDM matrix. Our analyses utilizes this combinatorial connection to bridge between statistical leverage scores / effective resistances and the analysis of random graphs by [Janson, Combinatorics, Probability and Computing `94]. This leads to a routine that in quadratic time, sparsifies a graph down to about $n^{1.5}$ edges in ways that preserve both the determinant and the distribution of spanning trees (provided the sparsified graph is viewed as a random object). Extending this algorithm to work with Schur complements and approximate Choleksy factorizations leads to algorithms for counting and sampling spanning trees which are nearly optimal for dense graphs. We give an algorithm that computes a $(1 \pm \delta)$ approximation to the determinant of any SDDM matrix with constant probability in about $n^2 \delta^{-2}$ time. This is the first routine for graphs that outperforms general-purpose routines for computing determinants of arbitrary matrices. We also give an algorithm that generates in about $n^2 \delta^{-2}$ time a spanning tree of a weighted undirected graph from a distribution with total variation distance of $\delta$ from the $w$-uniform distribution .


title: Stochastic Geometric Coverage Analysis in mmWave Cellular Networks with a Realistic Channel Model

abstract: Millimeter-wave (mmWave) bands have been attracting growing attention as a possible candidate for next-generation cellular networks, since the available spectrum is orders of magnitude larger than in current cellular allocations. To precisely design mmWave systems, it is important to examine mmWave interference and SIR coverage under large-scale deployments. For this purpose, we apply an accurate mmWave channel model, derived from experiments, into an analytical framework based on stochastic geometry. In this way we obtain a closed-form SIR coverage probability in large-scale mmWave cellular networks.


title: Ignorance can be evolutionarily beneficial

abstract: Information is increasingly being viewed as a resource used by organisms to increase their fitness. Indeed, it has been formally shown that there is a sensible way to assign a reproductive value to information and it is non-negative. However, all of this work assumed that information collection is cost-free. Here, we account for such a cost and provide conditions for when the reproductive value of information will be negative. In these instances, counter-intuitively, it is in the interest of the organism to remain ignorant. We link our results to empirical studies where Bayesian behaviour appears to break down in complex environments and provide an alternative explanation of lowered arousal thresholds in the evolution of sleep.


title: Path-space moderate deviation principles for the random field Curie-Weiss model

abstract: We analyze the dynamics of moderate fluctuations for macroscopic observables of the random field Curie Weiss model (i.e., standard Curie-Weiss model embedded in a site dependent, i.i.d. random environment). We obtain path space large deviation principles via a general analytic approach based on convergence of non-linear generators and uniqueness of viscosity solutions for associated Hamilton Jacobi equations. The moderate asymptotics depend crucially on the phase we consider and moreover, the space-time scale range for which fluctuations can be proven is restricted by the addition of the disorder.


title: Non-Asymptotic Rates for Manifold, Tangent Space, and Curvature Estimation

abstract: Given an $n$-sample drawn on a submanifold $M \subset \mathbb{R}^D$, we derive optimal rates for the estimation of tangent spaces $T\_X M$, the second fundamental form $II\_X^M$, and the submanifold $M$.After motivating their study, we introduce a quantitative class of $\mathcal{C}^k$-submanifolds in analogy with H{\"o}lder classes.The proposed estimators are based on local polynomials and allow to deal simultaneously with the three problems at stake. Minimax lower bounds are derived using a conditional version of Assouad's lemma when the base point $X$ is random.


title: On Perfect Matchings and tilings in uniform Hypergraphs

abstract: In this paper we study some variants of Dirac-type problems in hypergraphs. First, we show that for $k\ge 3$, if $H$ is a $k$-graph on $n\in k\mathbb N$ vertices with independence number at most $n/p$ and minimum codegree at least $(1/p+o(1))n$, where $p$ is the smallest prime factor of $k$, then $H$ contains a perfect matching. Second, we show that if $H$ is a $3$-graph on $n\in 3\mathbb N$ vertices which does not contain any induced copy of $K_4^-$ (the unique $3$-graph with $4$ vertices and $3$ edges) and has minimum codegree at least $(1/3+o(1)))n$, then $H$ contains a perfect matching. Moreover, if we allow the matching to miss at most $3$ vertices, then the minimum degree condition can be reduced to $(1/6+o(1)))n$. Third, we show that if $H$ is a $3$-graph on $n\in 4\mathbb N$ vertices which does not contain any induced copy of $K_4^-$ and has minimum codegree at least $(1/8+o(1)))n$, then $H$ contains a perfect $Y$-tiling, where $Y$ represents the unique $3$-graph with $4$ vertices and $2$ edges. We also provide the examples showing that our minimum codegree conditions are asymptotically best possible. Our main tool for finding the perfect matching is a characterization theorem that characterizes the $k$-graphs with minimum codegree at least $n/k$ which contain a perfect matching.


title: An atomic hydrogen bridge fueling NGC 4418 with gas from VV 655

abstract: The galaxy NGC 4418 harbours a compact ($<20$ pc) core with a very high bolometric luminosity ($\sim10^{11}$L$_\odot$). As most of the galaxy's energy output comes from this small region, it is of interest to determine what fuels this intense activity. An interaction with VV 655 has been proposed, where gas aquired by NGC 4418 could trigger intense star formation and/or black hole accretion in the centre. We aim to constrain the interaction hypothesis by studying neutral hydrogen structures around the two galaxies. We present observations at 1.4 GHz with the Very Large Array of radio continuum as well as emission and absorption from atomic hydrogen. Gaussian distributions are fitted to observed HI emission and absorption spectra. An atomic HI bridge is seen in emission, connecting NGC 4418 to VV 655. While NGC 4418 is bright in continuum emission and seen in HI absorption, VV 655 is barely detected in the continuum but show bright HI emission (M$_\mathrm{HI}\sim10^9$ M$_\odot$). We estimate SFRs from 1.4 GHz of 3.2 M$_\odot$ yr$^{-1}$ and 0.13 M$_\odot$ yr$^{-1}$ for NGC 4418 and VV 655 respectively. Systemic HI velocities of 2202$\pm$20 km s$^{-1}$ (emission) and 2105.4$\pm$10 km s$^{-1}$ (absorption) are measured for VV 655 and NGC 4418 respectively. Redshifted HI absorption is seen towards NGC 4418, suggesting gas infall. Blueshifted HI-emission is seen north-west of NGC 4418, which we interpret as a continuation of the outflow previously discussed by Sakamoto et al. (2013). The morphology and velocity structure seen in HI is consistent with an interaction scenario, where gas was transferred from VV 655 to NGC 4418, and may fuel the activity in the centre.


title: A Pfaffian formula for the monomer-dimer model on surface graphs

abstract: We consider the monomer-dimer model on weighted graphs embedded in surfaces with boundary, with the restriction that only monomers located on the boundary are allowed. We give a Pfaffian formula for the corresponding partition function, which generalises the one obtained by Giuliani, Jauslin and Lieb for graphs embedded in the disk. Our proof is based on an extension of a bijective method mentioned in their paper, together with the Pfaffian formula for the dimer partition function of Cimasoni-Reshetikhin.


title: Monte Carlo study of the ordering in a strongly frustrated liquid crystal

abstract: We have performed Monte Carlo simulations to investigate the temperature dependence of the ordering of the side chains of the X-shape liquid crystal molecules which are arranged in a hexagonal array. Each hexagon contains six side chains, one from each side of the hexagon. Each liquid crystal molecule has two, dissimilar, side chains, one that contains silicon and one containing fluorine. Like chains attract each other more strongly than unlike chains and this drives an order-disorder transition. The system is frustrated because it is not possible to find a configuration in which all the hexagons are occupied by either all silicon or all fluorine chains. There are two phase transitions. If only pairwise interactions are included it is found that there is a novel fluctuating phase between the disordered phase and the fully ordered ground state. This did not agree with the experiments where an intermediate phase was seen that had long range order on one of the three sublattices. Agreement was found when the calculations were modified to include attractive three body interactions between the silicon chains.


title: Testing the Copernican principle with future radio-astronomy observations

abstract: We use a direct observational approach to investigate the possibility of testing the Copernican principle with data from upcoming radio surveys. In particular we illustrate the importance of measuring derivatives transverse to the past light-cone when prior knowledge of the value of the cosmological constant is not available.


title: Fuzzy Approach Topic Discovery in Health and Medical Corpora

abstract: The majority of medical documents and electronic health records (EHRs) are in text format that poses a challenge for data processing and finding relevant documents. Looking for ways to automatically retrieve the enormous amount of health and medical knowledge has always been an intriguing topic. Powerful methods have been developed in recent years to make the text processing automatic. One of the popular approaches to retrieve information based on discovering the themes in health & medical corpora is topic modeling, however, this approach still needs new perspectives. In this research we describe fuzzy latent semantic analysis (FLSA), a novel approach in topic modeling using fuzzy perspective. FLSA can handle health & medical corpora redundancy issue and provides a new method to estimate the number of topics. The quantitative evaluations show that FLSA produces superior performance and features to latent Dirichlet allocation (LDA), the most popular topic model.


title: The almost Einstein operator for $(2, 3, 5)$ distributions

abstract: For the geometry of oriented $(2, 3, 5)$ distributions $(M, {\mathbf D})$, which correspond to regular, normal parabolic geometries of type $(\mathrm{G}_2, P)$ for a particular parabolic subgroup $P < \mathrm{G}_2$, we develop the corresponding tractor calculus and use it to analyze the first BGG operator $\Theta_0$ associated to the $7$-dimensional irreducible representation of $\mathrm{G}_2$. We give an explicit formula for the normal connection on the corresponding tractor bundle and use it to derive explicit expressions for this operator. We also show that solutions of this operator are automatically normal, yielding a geometric interpretation of $\ker \Theta_0$: For any $(M, {\mathbf D})$, this kernel consists precisely of the almost Einstein scales of the Nurowski conformal structure on $M$ that ${\mathbf D}$ determines. We apply our formula for $\Theta_0$ (1) to recover efficiently some known solutions, (2) to construct a distribution with root type $[3, 1]$ with a nonzero solution, and (3) to show efficiently that the conformal holonomy of a particular $(2, 3, 5)$ conformal structure is equal to $\mathrm{G}_2$.


title: Dynamic Space Efficient Hashing

abstract: We consider space efficient hash tables that can grow and shrink dynamically and are always highly space efficient, i.e., their space consumption is always close to the lower bound even while growing and when taking into account storage that is only needed temporarily. None of the traditionally used hash tables have this property. We show how known approaches like linear probing and bucket cuckoo hashing can be adapted to this scenario by subdividing them into many subtables or using virtual memory overcommitting. However, these rather straightforward solutions suffer from slow amortized insertion times due to frequent reallocation in small increments. Our main result is DySECT ({\bf Dy}namic {\bf S}pace {\bf E}fficient {\bf C}uckoo {\bf T}able) which avoids these problems. DySECT consists of many subtables which grow by doubling their size. The resulting inhomogeneity in subtable sizes is equalized by the flexibility available in bucket cuckoo hashing where each element can go to several buckets each of which containing several cells. Experiments indicate that DySECT works well with load factors up to 98\%. With up to 2.7 times better performance than the next best solution.


title: Minimal Dispersion Approximately Balancing Weights: Asymptotic Properties and Practical Considerations

abstract: Weighting methods are widely used to adjust for covariates in observational studies, sample surveys, and regression settings. In this paper, we study a class of recently proposed weighting methods which find the weights of minimum dispersion that approximately balance the covariates. We call these weights "minimal weights" and study them under a common optimization framework. The key observation is the connection between approximate covariate balance and shrinkage estimation of the propensity score. This connection leads to both theoretical and practical developments. From a theoretical standpoint, we characterize the asymptotic properties of minimal weights and show that, under standard smoothness conditions on the propensity score function, minimal weights are consistent estimates of the true inverse probability weights. Also, we show that the resulting weighting estimator is consistent, asymptotically normal, and semiparametrically efficient. From a practical standpoint, we present a finite sample oracle inequality that bounds the loss incurred by balancing more functions of the covariates than strictly needed. This inequality shows that minimal weights implicitly bound the number of active covariate balance constraints. We finally provide a tuning algorithm for choosing the degree of approximate balance in minimal weights. We conclude the paper with four empirical studies that suggest approximate balance is preferable to exact balance, especially when there is limited overlap in covariate distributions. In these studies, we show that the root mean squared error of the weighting estimator can be reduced by as much as a half with approximate balance.


title: Asymptotic stability of viscous shock profiles for the 1D compressible Navier-Stokes-Korteweg system with boundary effect

abstract: This paper is concerned with the time-asymptotic behavior of strong solutions to an initial-boundary value problem of the compressible Navier-Stokes-Korteweg system on the half line $\mathbb{R}^+$. The asymptotic profile of the problem is shown to be a shifted viscous shock profile, which is suitably away from the boundary. Moreover, we prove that if the initial data around the shifted viscous shock profile and the strength of the shifted viscous shock profile are sufficiently small, then the problem has a unique global strong solution, which tends to the shifted viscous shock profile as time goes to infinity. The analysis is based on the elementary $L^2$-energy method and the key point is to deal with the boundary estimates.


title: Measure Algebras

abstract: A Boolean $\sigma$-algebra $B$ is a measure algebra if and only if it is weakly distributive and uniformly concentrated.


title: On entropy of spherical twists

abstract: In this paper, we compute categorical entropy of spherical twists. In particular, we prove that Gromov-Yomdin type conjecture holds for spherical twists. Moreover, we construct counterexamples of Gromov-Yomdin type conjecture for K3 surfaces modifying Fan's construction for even higher dimensional Calabi-Yau manifolds. The appendix, by Arend Bayer, shows non-emptyness of complements of a number of spherical objects in the derived categories of K3 surfaces.


title: Robust Location-Aided Beam Alignment in Millimeter Wave Massive MIMO

abstract: Location-aided beam alignment has been proposed recently as a potential approach for fast link establishment in millimeter wave (mmWave) massive MIMO (mMIMO) communications. However, due to mobility and other imperfections in the estimation process, the spatial information obtained at the base station (BS) and the user (UE) is likely to be noisy, degrading beam alignment performance. In this paper, we introduce a robust beam alignment framework in order to exhibit resilience with respect to this problem. We first recast beam alignment as a decentralized coordination problem where BS and UE seek coordination on the basis of correlated yet individual position information. We formulate the optimum beam alignment solution as the solution of a Bayesian team decision problem. We then propose a suite of algorithms to approach optimality with reduced complexity. The effectiveness of the robust beam alignment procedure, compared with classical designs, is then verified on simulation settings with varying location information accuracies.


title: Asymptotic behavior of the Schr\"odinger-Debye system with refractive index of square wave amplitude

abstract: We obtain local well-posedness for the one-dimensional Schr\"odinger-Debye interactions in nonlinear optics in the spaces $L^2\times L^p,\; 1\le p < \infty$. When $p=1$ we show that the local solutions extend globally. In the focusing regime, we consider a family of solutions $\{(u_{\tau}, v_{\tau})\}_{\tau>0}$ in $ H^1\times H^1$ associated to an initial data family $\{(u_{\tau_0},v_{\tau_0})\}_{\tau>0}$ uniformly bounded in $H^1\times L^2$, where $\tau$ is a small response time parameter. We prove prove that $(u_{\tau}, v_{\tau})$ converges to $(u, -|u|^2)$ in the space $L^{\infty}_{[0, T]}L^2_x\times L^1_{[0, T]}L^2_x$ whenever $u_{\tau_0}$ converges to $u_0$ in $H^1$ as long as $\tau$ tends to 0, where $u$ is the solution of the one-dimensional cubic non-linear Schr\"odinger equation with initial data $u_0$. The convergence of $v_{\tau}$ for $-|u|^2$ in the space $L^{\infty}_{[0, T]}L^2_x$ is shown under compatibility conditions of the initial data. For non compatible data we prove convergence except for a corrector term which looks like an initial layer phenomenon.


title: Slow spin tunneling in the paramagnetic phase of the pyrochlore Nd2Sn2O7

abstract: The insulating pyrochlore compound Nd2Sn2O7 has been shown to undergo a second order magnetic phase transition at Tc ~ 0.91 K to a noncoplanar all-in--all-out magnetic structure of the Nd3+ magnetic moments. An anomalously slow paramagnetic spin dynamics has been evidenced from neutron backscattering and muon spin relaxation (muSR). In the case of muSR this has been revealed through the strong effect of a 50 mT longitudinal field on the spin-lattice relaxation rate. Here, motivated by a recent successful work performed for Yb2Ti2O7 and Yb2Sn2O7, analyzing the shape of the muSR longitudinal polarization function, we substantiate the existence of extremely slow paramagnetic spin dynamics in the microsecond time range for Nd2Sn2O7. Between 1.7 and 7 K, this time scale is temperature independent. This suggests a double spin-flip tunneling relaxation mechanism to be at play, probably involving spin substructures such as tetrahedra. Unexpectedly, the standard deviation of the field distribution at the muon site increases as the system is cooled. This exotic spin dynamics is in sharp contrast with the dynamics above 100 K which is driven by the Orbach relaxation mechanism involving single Nd3+ magnetic moments.


title: CP1|1 nonlinear sigma model vs strong electron correlations

abstract: The nonlinear sigma model targeted on the coset supermanifold $CP^{1|1}=SU(2|1)/U(1|1)$ is derived in an attempt to describe the quasiclassical low-energy effective action for the doped $t-J$ model at the SUSY point, $J=2t.$ In spite of the fact that the supermanifold $CP^{1|1}$ indeed appears as the phase space of the strongly correlated electrons, the canonical $CP^{1|1}$ nonlinear sigma model (NLSM) is unable to capture the physics of strong correlations displayed by the SUSY $t-J$ model at any finite doping. This is due to the fact that, in this regime, the doping itself cannot be self-consistently incorporated into the $CP^{1|1}$ NLSM. \end{abstract}


title: Measures on Boolean algebras

abstract: We present a necessary and sufficient condition for a Boolean algebra to carry a finitely additive measure.


title: Spin-dependent thermoelectric phenomena in a quantum dot attached to ferromagnetic and superconducting electrodes

abstract: We investigate transport and thermoelectric properties of hybrid systems based on a single-level quantum dot and one superconducting lead. The other lead is generally normal-metallic ferromagnet. In the latter case single-particle transport is spin-polarized. Our main interest is in the interplay of Andreev tunneling of Cooper pairs and single-particle tunneling. The latter is responsible for relatively large thermopower and figure of merit due to a diverging density of single-particle states at the superconducting gap edges. System with ferromagnetic and superconducting leads can also reveal spin thermoelectric phenomena. Finite superconducting gap is considered within the BCS theory, and the thermoelectric coefficients are calculated by means of nonequilibrium Green's function technique within Hartree-Fock like approximation with respect to the intradot Coulomb interaction.


title: Computation of the unifying thread in high temperature superconductors from first principles quantum Monte Carlo

abstract: It has long been a challenge to describe the origin of unconventional superconductivity. The two known examples with high Tc, based on iron and copper, have very different electronic structures, while other materials with similar electronic structure may not show superconductivity at all. In this paper, the authors show that by using high accuracy diffusion Monte Carlo calculations, the unconventional superconductors of both high Tc types form a cluster at intermediate spin-charge coupling. The spin-charge coupling may serve as a normal state marker for unconventional superconductivity, and provides evidence that unconventional superconductivity is due to interaction of charge with local spins in materials.


title: Scotogenic model with $B - L$ symmetry and exotic neutrinos

abstract: We consider a model with three Higgs doublet in a discrete $B - L\times \mathbb{Z}_3$ discrete symmetries. Two of the scalar doublets are inert due to the $\mathbb{Z}_3$ symmetry. We calculated all the mass spectra in the scalar and lepton sectors and accommodate the leptonic mixing matrix as well.


title: Active Image-based Modeling with a Toy Drone

abstract: Image-based modeling techniques can now generate photo-realistic 3D models from images. But it is up to users to provide high quality images with good coverage and view overlap, which makes the data capturing process tedious and time consuming. We seek to automate data capturing for image-based modeling. The core of our system is an iterative linear method to solve the multi-view stereo (MVS) problem quickly and plan the Next-Best-View (NBV) effectively. Our fast MVS algorithm enables online model reconstruction and quality assessment to determine the NBVs on the fly. We test our system with a toy unmanned aerial vehicle (UAV) in simulated, indoor and outdoor experiments. Results show that our system improves the efficiency of data acquisition and ensures the completeness of the final model.


title: Banach synaptic algebras

abstract: Using a representation theorem of Erik Alfsen, Frederic Schultz, and Erling Stormer for special JB-algebras, we prove that a synaptic algebra is norm complete (i.e., Banach) if and only if it is isomorphic to the self-adjoint part of a Rickart C*-algebra. Also, we give conditions on a Banach synaptic algebra that are equivalent to the condition that it is isomorphic to the self-adjoint part of an AW*-algebra. Moreover, we study some relationships between synaptic algebras and so-called generalized Hermitian algebras.