title: Multi-Label Learning with Label Enhancement

abstract: The task of multi-label learning is to predict a set of relevant labels for the unseen instance. Traditional multi-label learning algorithms treat each class label as a logical indicator of whether the corresponding label is relevant or irrelevant to the instance, i.e., +1 represents relevant to the instance and -1 represents irrelevant to the instance. Such label represented by -1 or +1 is called logical label. Logical label cannot reflect different label importance. However, for real-world multi-label learning problems, the importance of each possible label is generally different. For the real applications, it is difficult to obtain the label importance information directly. Thus we need a method to reconstruct the essential label importance from the logical multilabel data. To solve this problem, we assume that each multi-label instance is described by a vector of latent real-valued labels, which can reflect the importance of the corresponding labels. Such label is called numerical label. The process of reconstructing the numerical labels from the logical multi-label data via utilizing the logical label information and the topological structure in the feature space is called Label Enhancement. In this paper, we propose a novel multi-label learning framework called LEMLL, i.e., Label Enhanced Multi-Label Learning, which incorporates regression of the numerical labels and label enhancement into a unified framework. Extensive comparative studies validate that the performance of multi-label learning can be improved significantly with label enhancement and LEMLL can effectively reconstruct latent label importance information from logical multi-label data.


title: Hierarchy and assortativity as new tools for affinity investigation: the case of the TBA aptamer-ligand complex

abstract: Aptamers are single stranded DNA, RNA or peptide sequences having the ability to bind a variety of specific targets (proteins, molecules as well as ions). Therefore, aptamer production and selection for therapeutic and diagnostic applications is very challenging. Usually they are in vitro generated, but, recently, computational approaches have been developed for the in silico selection, with a higher affinity for the specific target. Anyway, the mechanism of aptamer-ligand formation is not completely clear, and not obvious to predict. This paper aims to develop a computational model able to describe aptamer-ligand affinity performance by using the topological structure of the corresponding graphs, assessed by means of numerical tools such as the conventional degree distribution, but also the rank-degree distribution (hierarchy) and the node assortativity. Calculations are applied to the thrombin binding aptamer (TBA), and the TBA-thrombin complex, produced in the presence of Na+ or K+. The topological analysis reveals different affinity performances between the macromolecules in the presence of the two cations, as expected by previous investigations in literature. These results nominate the graph topological analysis as a novel theoretical tool for testing affinity. Otherwise, starting from the graphs, an electrical network can be obtained by using the specific electrical properties of amino acids and nucleobases. Therefore, a further analysis concerns with the electrical response, which reveals that the resistance sensitively depends on the presence of sodium or potassium thus posing resistance as a crucial physical parameter for testing affinity.

categories: q-bio.BM cond-mat.soft cs.CE physics.bio-ph


title: An adaptive prefix-assignment technique for symmetry reduction

abstract: This paper presents a technique for symmetry reduction that adaptively assigns a prefix of variables in a system of constraints so that the generated prefix-assignments are pairwise nonisomorphic under the action of the symmetry group of the system. The technique is based on McKay's canonical extension framework [J.~Algorithms 26 (1998), no.~2, 306--324]. Among key features of the technique are (i) adaptability---the prefix sequence can be user-prescribed and truncated for compatibility with the group of symmetries; (ii) parallelizability---prefix-assignments can be processed in parallel independently of each other; (iii) versatility---the method is applicable whenever the group of symmetries can be concisely represented as the automorphism group of a vertex-colored graph; and (iv) implementability---the method can be implemented relying on a canonical labeling map for vertex-colored graphs as the only nontrivial subroutine. To demonstrate the practical applicability of our technique, we have prepared an experimental open-source implementation of the technique and carry out a set of experiments that demonstrate ability to reduce symmetry on hard instances. Furthermore, we demonstrate that the implementation effectively parallelizes to compute clusters with multiple nodes via a message-passing interface.


title: Linear maps on C*-algebras which are derivations or triple derivations at a point

abstract: We prove new results on generalized derivations on C$^*$-algebras. By considering the triple product $\{a,b,c\} =2^{-1} (a b^* c + c b^* a)$, we introduce the study of linear maps which are triple derivations or triple homomorphisms at a point. We prove that a continuous linear $T$ map on a unital C$^*$-algebra is a generalized derivation whenever it is a triple derivation at the unit element. If we additionally assume $T(1)=0,$ then $T$ is a $^*$-derivation and a triple derivation. Furthermore, a continuous linear map on a unital C$^*$-algebra which is a triple derivation at the unit element is a triple derivation. Similar conclusions are obtained for continuous linear maps which are derivations or triple derivations at zero. We also give an automatic continuity result, that is, we show that generalized derivations on a von Neumann algebra and linear maps on a von Neumann algebra which are derivations or triple derivations at zero are all continuous even if not assumed a priori to be so.


title: Informed Sub-Sampling MCMC: Approximate Bayesian Inference for Large Datasets

abstract: This paper introduces a framework for speeding up Bayesian inference conducted in presence of large datasets. We design a Markov chain whose transition kernel uses an (unknown) fraction of (fixed size) of the available data that is randomly refreshed throughout the algorithm. Inspired by the Approximate Bayesian Computation (ABC) literature, the subsampling process is guided by the fidelity to the observed data, as measured by summary statistics. The resulting algorithm, Informed Sub-Sampling MCMC (ISS-MCMC), is a generic and flexible approach which, contrary to existing scalable methodologies, preserves the simplicity of the Metropolis-Hastings algorithm. Even though exactness is lost, i.e. the chain distribution approximates the posterior, we study and quantify theoretically this bias and show on a diverse set of examples that it yields excellent performances when the computational budget is limited. If available and cheap to compute, we show that setting the summary statistics as the maximum likelihood estimator is supported by theoretical arguments.


title: Stimulated transitions in resonant atom Majorana mixing

abstract: Massive neutrinos demand to ask whether they are Dirac or Majorana particles. Majorana neutrinos are an irrefutable proof of physics beyond the Standard Model. Neutrinoless double electron capture is not a process but a virtual $\Delta L = 2$ mixing between a parent $^AZ$ atom and a daughter $^A(Z-2)$ excited atom with two electron holes. As a mixing between two neutral atoms and the observable signal in terms of emitted two-hole X-rays, the strategy, experimental signature and background are different from neutrinoless double beta decay. The mixing is resonantly enhanced for almost degeneracy and, under these conditions, there is no irreducible background from the standard two-neutrino channel. We reconstruct the natural time history of a nominally stable parent atom since its production either by nature or in the laboratory. After the time periods of atom oscillations and the decay of the short-lived daughter atom, at observable times the relevant "stationary" states are the mixed metastable long-lived state and the non-orthogonal short-lived excited state, as well as the ground state of the daughter atom. We find that they have a natural population inversion which is most appropriate for exploiting the bosonic nature of the observed atomic transitions radiation. Among different observables of the atom Majorana mixing, we include the enhanced rate of stimulated X-ray emission from the long-lived metastable state by a high-intensity X-ray beam: a gain factor of 100 can be envisaged at current XFEL facilities. On the other hand, the historical population of the daughter atom ground state can be probed by exciting it with a current pulsed optical laser, showing the characteristic absorption lines: the whole population can be excited in a shorter time than typical pulse duration.


title: The Boolean Solution Problem from the Perspective of Predicate Logic - Extended Version

abstract: Finding solution values for unknowns in Boolean equations was a principal reasoning mode in the Algebra of Logic of the 19th century. Schr\"oder investigated it as "Aufl\"osungsproblem" ("solution problem"). It is closely related to the modern notion of Boolean unification. Today it is commonly presented in an algebraic setting, but seems potentially useful also in knowledge representation based on predicate logic. We show that it can be modeled on the basis of first-order logic extended by second-order quantification. A wealth of classical results transfers, foundations for algorithms unfold, and connections with second-order quantifier elimination and Craig interpolation show up. Although for first-order inputs the set of solutions is recursively enumerable, the development of constructive methods remains a challenge. We identify some cases that allow constructions, most of them based on Craig interpolation, and show a method to take vocabulary restrictions on solution components into account.


title: On tree-decompositions of one-ended graphs

abstract: A graph is one-ended if it contains a ray (a one way infinite path) and whenever we remove a finite number of vertices from the graph then what remains has only one component which contains rays. A vertex $v$ {\em dominates} a ray in the end if there are infinitely many paths connecting $v$ to the ray such that any two of these paths have only the vertex $v$ in common. We prove that if a one-ended graph contains no ray which is dominated by a vertex and no infinite family of pairwise disjoint rays, then it has a tree-decomposition such that the decomposition tree is one-ended and the tree-decomposition is invariant under the group of automorphisms. This can be applied to prove a conjecture of Halin from 2000 that the automorphism group of such a graph cannot be countably infinite and solves a recent problem of Boutin and Imrich. Furthermore, it implies that every transitive one-ended graph contains an infinite family of pairwise disjoint rays.


title: Complementary Inequalities to Improved AM-GM Inequality

abstract: Following an idea of Lin, we prove that if $A$ and $B$ be two positive operators such that $0<mI\le A\le m'I\le M'I\le B\le MI$, then \begin{equation*} {{\Phi }^{2}}\left( \frac{A+B}{2} \right)\le \frac{{{K}^{2}}\left( h \right)}{{{\left( 1+\frac{{{\left( \log \frac{M'}{m'} \right)}^{2}}}{8} \right)}^{2}}}{{\Phi }^{2}}\left( A\#B \right), \end{equation*} and \begin{equation*} {{\Phi }^{2}}\left( \frac{A+B}{2} \right)\le \frac{{{K}^{2}}\left( h \right)}{{{\left( 1+\frac{{{\left( \log \frac{M'}{m'} \right)}^{2}}}{8} \right)}^{2}}}{{\left( \Phi \left( A \right)\#\Phi \left( B \right) \right)}^{2}}, \end{equation*} where $K\left( h \right)=\frac{{{\left( h+1 \right)}^{2}}}{4h}$ and $h=\frac{M}{m}$ and $\Phi $ is a positive unital linear map.


title: Pulsation-induced atmospheric dynamics in M-type AGB stars. Effects on wind properties, photometric variations and near-IR CO line profiles

abstract: Wind-driving in asymptotic giant branch (AGB) stars is commonly attributed to a two-step process. First, matter in the stellar atmosphere is levitated by shock waves, induced by stellar pulsation, and second, this matter is accelerated by radiation pressure on dust, resulting in a wind. In dynamical atmosphere and wind models the effects of the stellar pulsation are often simulated by a simplistic prescription at the inner boundary. We test a sample of dynamical models for M-type AGB stars, for which we kept the stellar parameters fixed to values characteristic of a typical Mira variable but varied the inner boundary condition. The aim was to evaluate the effect on the resulting atmosphere structure and wind properties. The results of the models are compared to observed mass-loss rates and wind velocities, photometry, and radial velocity curves, and to results from 1D radial pulsation models. Dynamical atmosphere models are calculated, using the DARWIN code for different combinations of photospheric velocities and luminosity variations. The inner boundary is changed by introducing an offset between maximum expansion of the stellar surface and the luminosity and/or by using an asymmetric shape for the luminosity variation. Models that resulted in realistic wind velocities and mass-loss rates, when compared to observations, also produced realistic photometric variations. For the models to also reproduce the characteristic radial velocity curve present in Mira stars (derived from CO $\Delta v = 3$ lines), an overall phase shift of 0.2 between the maxima of the luminosity and radial variation had to be introduced. We find that a group of models with different boundary conditions (29 models, including the model with standard boundary conditions) results in realistic velocities and mass-loss rates, and in photometric variations.


title: Universal limits of substitution-closed permutation classes

abstract: We consider uniform random permutations in proper substitution-closed classes and study their limiting behavior in the sense of permutons. The limit depends on the generating series of the simple permutations in the class. Under a mild sufficient condition, the limit is an elementary one-parameter deformation of the limit of uniform separable permutations, previously identified as the Brownian separable permuton. This limiting object is therefore in some sense universal. We identify two other regimes with different limiting objects. The first one is degenerate; the second one is nontrivial and related to stable trees. These results are obtained thanks to a characterization of the convergence of random permutons through the convergence of their expected pattern densities. The limit of expected pattern densities is then computed by using the substitution tree encoding of permutations and performing singularity analysis on the tree series.


title: A Meta-Learning Approach to One-Step Active Learning

abstract: We consider the problem of learning when obtaining the training labels is costly, which is usually tackled in the literature using active-learning techniques. These approaches provide strategies to choose the examples to label before or during training. These strategies are usually based on heuristics or even theoretical measures, but are not learned as they are directly used during training. We design a model which aims at \textit{learning active-learning strategies} using a meta-learning setting. More specifically, we consider a pool-based setting, where the system observes all the examples of the dataset of a problem and has to choose the subset of examples to label in a single shot. Experiments show encouraging results.


title: Formation of exotic baryon clusters in ultra-relativistic heavy-ion collisions

abstract: Recent experiments at RHIC and LHC have demonstrated that there are excellent opportunities to produce light baryonic clusters of exotic matter (strange and anti-matter) in ultra-relativistic ion collisions. Within the hybrid-transport model UrQMD we show that the coalescence mechanism can naturally explain the production of these clusters in the ALICE experiment at LHC. As a consequence of this mechanism we predict the rapidity domains where the yields of such clusters are much larger than the observed one at midrapidity. This new phenomenon can lead to unique methods for producing exotic nuclei.


title: Semantically Informed Multiview Surface Refinement

abstract: We present a method to jointly refine the geometry and semantic segmentation of 3D surface meshes. Our method alternates between updating the shape and the semantic labels. In the geometry refinement step, the mesh is deformed with variational energy minimization, such that it simultaneously maximizes photo-consistency and the compatibility of the semantic segmentations across a set of calibrated images. Label-specific shape priors account for interactions between the geometry and the semantic labels in 3D. In the semantic segmentation step, the labels on the mesh are updated with MRF inference, such that they are compatible with the semantic segmentations in the input images. Also, this step includes prior assumptions about the surface shape of different semantic classes. The priors induce a tight coupling, where semantic information influences the shape update and vice versa. Specifically, we introduce priors that favor (i) adaptive smoothing, depending on the class label; (ii) straightness of class boundaries; and (iii) semantic labels that are consistent with the surface orientation. The novel mesh-based reconstruction is evaluated in a series of experiments with real and synthetic data. We compare both to state-of-the-art, voxel-based semantic 3D reconstruction, and to purely geometric mesh refinement, and demonstrate that the proposed scheme yields improved 3D geometry as well as an improved semantic segmentation.


title: On concentration properties of disordered Hamiltonians

abstract: We present an elementary approach to concentration of disordered Hamiltonians. Assuming differentiability of the limiting free energy $F$ with respect to the inverse temperature $\beta$, we show that the Hamiltonian concentrates around the energy level $F'(\beta)$ under the free energy and Gibbs average.


title: The (11-22) and (-12-16) twinning modes modelled by obliquity correction of a (58deg, a+2b) prototype stretch twin

abstract: The {11-22} and {11-26} twinning modes were recently put in evidence by Ostapovets et al. (Phil. Mag, 2017)and interpreted as {101-2}-{101-2} double-twins formed by a simultaneous action of two twinning shears. We propose another interpretation in which the twinning modes result from a one-step mechanism based on the same (58deg, a+2b) prototype stretch twin. . The two twins differ from the prototype twin by their obliquity correction. The results are compared with the classical theory of twinning and with Westlake-Rosenbaum model of {11-22} twinning. An unconventional twinning mode recently discovered in a magnesium single crystal based on the same prototype twin will be the subject of a separate publication.


title: On the Energy Efficiency of Rate and Transmission Power Control in 802.11

abstract: Rate adaptation and transmission power control in 802.11 WLANs have received a lot of attention from the research community, with most of the proposals aiming at maximising throughput based on network conditions. Considering energy consumption, an implicit assumption is that optimality in throughput implies optimality in energy efficiency, but this assumption has been recently put into question. In this paper, we address via analysis, simulation and experimentation the relation between throughput performance and energy efficiency in multi-rate 802.11 scenarios. We demonstrate the trade-off between these performance figures, confirming that they may not be simultaneously optimised, and analyse their sensitivity towards the energy consumption parameters of the device. We analyse this trade-off in existing rate adaptation with transmission power control algorithms, and discuss how to design novel schemes taking energy consumption into account.


title: Supernovae and Weinberg's Higgs Portal Dark Radiation and Dark Matter

abstract: The observed burst duration and energies of the neutrinos from Supernova 1987A strongly limit the possibility of any weakly-interacting light particle species being produced in the proto-neutron star (PNS) core and leading to efficient energy loss. We reexamine this constraint on Weinberg's Higgs portal model, in which the dark radiation particles (the Goldstone bosons) and the dark matter candidate (a Majorana fermion) interact with Standard Model (SM) fields solely through the mixing of the SM Higgs boson and a light Higgs boson. In order for the Goldstone bosons to freely stream out of the PNS core region, the Higgs portal coupling has to be about a factor of $4$--$9$ smaller than the current collider bound inferred from the SM Higgs invisible decay width. We find that in the energy loss rate calculations, results obtained by using the one-pion exchange (OPE) approximation and the SP07 global fits for the nucleon-nucleon total elastic cross section differ only by a factor $\lesssim 3$. The SN 1987A constraints surpass those set by laboratory experiments or by the energy loss arguments in other astrophysical objects such as the gamma-ray bursts, even with other nuclear uncertainties taken into account. Furthermore, the SN 1987A constraints are comparable to bounds from the latest dark matter direct search for low-mass WIMPs ($\lesssim 10~\Gev$.)


title: Contamination of polymethylmethacrylate by organic quantum emitters

abstract: We report the observation of ubiquitous contamination of polymethylmethacrylate by organic molecules with optical activity in the visible spectral range. Contamination sites of individual solvent-specific fluorophores in thin films of polymethylmethacrylate constitute fluorescence hot-spots with quantum emission statistics and quantum yields approaching 30% at cryogenic temperatures. Our findings not only resolve prevalent puzzles in the assignment of spectral features to various nanoemitters in polymer matrices, they also identify means for simple and cost-efficient realization of single-photon sources in the visible spectral range.


title: Monotonicity of functionals of random polytopes

abstract: The convex hull $P_{n}$ of a Gaussian sample $X_{1},...,X_{n}$ in $R^{d}$ is a Gaussian polytope. We prove that the expected number of facets $E f_{d-1} (P_n)$ is monotonically increasing in $n$. Furthermore we prove this for random polytopes generated by uniformly distributed points in a $d$-dimensional ball.


title: Location of the spectrum of Kronecker random matrices

abstract: For a general class of large non-Hermitian random block matrices $\mathbf{X}$ we prove that there are no eigenvalues away from a deterministic set with very high probability. This set is obtained from the Dyson equation of the Hermitization of $\mathbf{X}$ as the self-consistent approximation of the pseudospectrum. We demonstrate that the analysis of the matrix Dyson equation from [arXiv:1604.08188v4] offers a unified treatment of many structured matrix ensembles.


title: High-dimensional classification by sparse logistic regression

abstract: We consider high-dimensional binary classification by sparse logistic regression. We propose a model/feature selection procedure based on penalized maximum likelihood with a complexity penalty on the model size and derive the non-asymptotic bounds for the resulting misclassification excess risk. The bounds can be reduced under the additional low-noise condition. The proposed complexity penalty is remarkably related to the VC-dimension of a set of sparse linear classifiers. Implementation of any complexity penalty-based criterion, however, requires a combinatorial search over all possible models. To find a model selection procedure computationally feasible for high-dimensional data, we extend the Slope estimator for logistic regression and show that under an additional weighted restricted eigenvalue condition it is rate-optimal in the minimax sense.


title: Explicit solutions to the Navier-Stokes equation and the Euler equation

abstract: In this paper, we obtain explicit solutions to the Navier-Stokes equation and the Euler equation. For any initial velocity u0 and the force vector f, exact solutions can be explicitly solved as series, where the coefficients are all known functions determined only by u0 and f. Explicit solutions of this paper can help in global regularity studies in the Navier-Stokes equation and the Euler equation. We admit that the convergence of these series still need to be proved before completely solving the existence of the Navier-Stokes equation and the Euler equation.


title: Ligand-concentration sensitivity of a multi-state receptor

abstract: Biological sensory systems generally operate out of equilibrium, which often leads to their improved performance. Here, we study the sensitivity of ligand concentration for a general receptor model, which is generally in the non-equilibrium stationary state, in the framework of a stochastic diffusion equation. We derived a general formula of the maximum sensitivity. Specifically, the sensitivity is limited universally by the Berg-Purcell limit [Biophys. J ., 1977], regardless of whether the receptor is in an equilibrium or non-equilibrium state.


title: Dipolar and charged localized excitons in carbon nanotubes

abstract: We study both experimentally and theoretically the fundamental interplay of exciton localization and polarization in semiconducting single-walled carbon nanotubes. From Stark spectroscopy of individual carbon nanotubes at cryogenic temperatures we identify localized excitons as permanent electric dipoles with dipole moments of up to 1e{\AA}. Moreover, we demonstrate field-effect doping of localized excitons with an additional charge which results in defect-localized trions. Our findings provide not only fundamental insight into the microscopic nature of localized excitons in carbon nanotubes, they also signify their potential for sensing applications and may serve as guidelines for molecular engineering of exciton-localizing quantum dots in other atomically thin semiconductors including transition metal dichalcogenides.


title: Invariant-mass and fractional-energy dependence of inclusive production of di-hadrons in $e^+e^-$ annihilation at $\sqrt{s}=$ 10.58 GeV

abstract: The inclusive cross sections for di-hadrons of charged pions and kaons ($e^+e^- \rightarrow hhX$) in electron-positron annihilation are reported. They are obtained as a function of the total fractional energy and invariant mass for any di-hadron combination in the same hemisphere as defined by the thrust event-shape variable and its axis. Since same-hemisphere di-hadrons can be assumed to originate predominantly from the same initial parton, di-hadron fragmentation functions are probed. These di-hadron fragmentation functions are needed as an unpolarized baseline in order to quantitatively understand related spin-dependent measurements in other processes and to apply them to the extraction of quark transversity distribution functions in the nucleon. The di-hadron cross sections are obtained from a $655\,{\rm fb}^{-1}$ data sample collected at or near the $\Upsilon(4S)$ resonance with the Belle detector at the KEKB asymmetric-energy $e^+ e^-$ collider.


title: Beyond Moore-Penrose Part I: Generalized Inverses that Minimize Matrix Norms

abstract: This is the first paper of a two-long series in which we study linear generalized inverses that minimize matrix norms. Such generalized inverses are famously represented by the Moore-Penrose pseudoinverse (MPP) which happens to minimize the Frobenius norm. Freeing up the degrees of freedom associated with Frobenius optimality enables us to promote other interesting properties. In this Part I, we look at the basic properties of norm-minimizing generalized inverses, especially in terms of uniqueness and relation to the MPP. We first show that the MPP minimizes many norms beyond those unitarily invariant, thus further bolstering its role as a robust choice in many situations. We then concentrate on some norms which are generally not minimized by the MPP, but whose minimization is relevant for linear inverse problems and sparse representations. In particular, we look at mixed norms and the induced $\ell^p \rightarrow \ell^q$ norms. An interesting representative is the sparse pseudoinverse which we study in much more detail in Part II. Next, we shift attention from norms to matrices with interesting behaviors. We exhibit a class whose generalized inverse is always the MPP-even for norms that normally result in different inverses-and a class for which many generalized inverses coincide, but not with the MPP. Finally, we discuss efficient computation of norm-minimizing generalized inverses.


title: Application of SQUIDs to low temperature and high magnetic field measurements - Ultra low noise torque magnetometry

abstract: Torque magnetometry is a key method to measure the magnetic anisotropy and quantum oscillations in metals. In order to resolve quantum oscillations in sub-millimeter sized samples, piezo-electric micro-cantilevers were introduced. In the case of strongly correlated metals with large Fermi surfaces and high cyclotron masses, magnetic torque resolving powers in excess of $10^4$ are required at temperatures well below $1\,\mathrm{K}$ and magnetic fields beyond $10\,\mathrm{T}$. Here, we present a new broadband read-out scheme for piezo-electric micro-cantilevers via Wheatstone-type resistance measurements in magnetic fields up to $15\,\mathrm{T}$ and temperatures down to $100\,\mathrm{mK}$. By using a two-stage SQUID as null detector of a cold Wheatstone bridge, we were able to achieve a magnetic moment resolution of $\Delta m= 5\times10^{-15}\,\mathrm{J/T}$ at maximal field, outperforming conventional magnetometers by at least two orders of magnitude in this temperature and magnetic field range. Exemplary de Haas-van Alphen measurement of a newly grown delafossite, PdRhO$_2$, were used to show the superior performance of our setup.


title: The automorphism group of a nonsplit metacyclic 2-group

abstract: We determine the structure of automorphism group or each nonsplit metacyclic 2-group. This completes the work on automorphism groups of metacyclic $p$-groups.


title: Recurrence and Ergodicity of Switching Diffusions with Past-Dependent Switching Having A Countable State Space

abstract: This work focuses on recurrence and ergodicity of switching diffusions consisting of continuous and discrete components, in which the discrete component takes values in a countably infinite set and the rates of switching at current time depend on the value of the continuous component over an interval including certain past history. Sufficient conditions for recurrence and ergodicity are given. Moreover, the relationship between systems of partial differential equations and recurrence when the switching is past-independent is established under suitable conditions.


title: Intrinsic scatter of caustic masses and hydrostatic bias: An observational study

abstract: All estimates of cluster mass have some intrinsic scatter and perhaps some bias with true mass even in the absence of measurement errors for example caused by cluster triaxiality and large scale structure. Knowledge of the bias and scatter values is fundamental for both cluster cosmology and astrophysics. In this paper we show that the intrinsic scatter of a mass proxy can be constrained by measurements of the gas fraction because masses with higher values of intrinsic scatter with true mass produce more scattered gas fractions. Moreover, the relative bias of two mass estimates can be constrained by comparing the mean gas fraction at the same (nominal) cluster mass. Our observational study addresses the scatter between caustic (i.e., dynamically estimated) and true masses, and the relative bias of caustic and hydrostatic masses. For these purposes, we used the X-ray Unbiased Cluster Sample, a cluster sample selected independently from the intracluster medium content with reliable masses: 34 galaxy clusters in the nearby ($0.050<z<0.135$) Universe, mostly with $14<\log M_{500}/M_\odot \lesssim 14.5$, and with caustic masses. We found a 35\% scatter between caustic and true masses. Furthermore, we found that the relative bias between caustic and hydrostatic masses is small, $0.06\pm0.05$ dex, improving upon past measurements. The small scatter found confirms our previous measurements of a highly variable amount of feedback from cluster to cluster, which is the cause of the observed large variety of core-excised X-ray luminosities and gas masses.


title: Muon Spin Rotation Analysis of the Internal Magnetic Field of Heavy Fermion System Uranium Beryllium-13

abstract: Uranium beryllium-13 is a heavy fermion system whose anomalous behavior may be explained by its poorly understood internal magnetic structure. Here, uranium beryllium-13's magnetic distribution is probed via muon spin spectroscopy ($\mu$SR)-a process where positive muons localize at magnetically unique sites in the crystal lattice and precess at characteristic Larmor frequencies, providing measurements of the internal field. Muon spin experiments using the transverse-field technique conducted at varying temperatures and external magnetic field strengths are analyzed via statistical methods on ROOT. Two precession frequencies are observed at low temperatures with an amplitude ratio in the Fourier transform of 2:1, enabling muon stopping sites to be traced at the geometric centers of the edges of the crystal lattice. Characteristic strong and weak magnetic sites are deduced, additionally verified by mathematical relationships. Results can readily be applied to other heavy fermion systems, and recent identification of quantum critical points in a host of heavy fermion compounds show a promising future for the application of these systems in quantum technology. Note that this paper is an analysis of data, and all experiments mentioned here are conducted by a third party.


title: Deep Semantic Classification for 3D LiDAR Data

abstract: Robots are expected to operate autonomously in dynamic environments. Understanding the underlying dynamic characteristics of objects is a key enabler for achieving this goal. In this paper, we propose a method for pointwise semantic classification of 3D LiDAR data into three classes: non-movable, movable and dynamic. We concentrate on understanding these specific semantics because they characterize important information required for an autonomous system. Non-movable points in the scene belong to unchanging segments of the environment, whereas the remaining classes corresponds to the changing parts of the scene. The difference between the movable and dynamic class is their motion state. The dynamic points can be perceived as moving, whereas movable objects can move, but are perceived as static. To learn the distinction between movable and non-movable points in the environment, we introduce an approach based on deep neural network and for detecting the dynamic points, we estimate pointwise motion. We propose a Bayes filter framework for combining the learned semantic cues with the motion cues to infer the required semantic classification. In extensive experiments, we compare our approach with other methods on a standard benchmark dataset and report competitive results in comparison to the existing state-of-the-art. Furthermore, we show an improvement in the classification of points by combining the semantic cues retrieved from the neural network with the motion cues.


title: Variegate galaxy cluster gas content: Mean fraction, scatter, selection effects and covariance with X-ray luminosity

abstract: We use a cluster sample selected independently of the intracluster medium content with reliable masses to measure the mean gas mass fraction and its scatter, the biases of the X-ray selection on gas mass fraction, and the covariance between the X-ray luminosity and gas mass. The sample is formed by 34 galaxy clusters in the nearby ($0.050<z<0.135$) Universe, mostly with $14<\log M_{500}/M_\odot \lesssim 14.5$, and with masses calculated with the caustic technique. First, we found that integrated gas density profiles have similar shapes, extending earlier results based on subpopulations of clusters such as those that are relaxed or X-ray bright for their mass. Second, the X-ray unbiased selection of our sample allows us to unveil a variegate population of clusters; the gas mass fraction shows a scatter of $0.17\pm0.04$ dex, possibly indicating a quite variable amount of feedback from cluster to cluster, which is larger than is found in previous samples targeting subpopulations of galaxy clusters, such as relaxed or X-ray bright clusters. The similarity of the gas density profiles induces an almost scatterless relation between X-ray luminosity, gas mass, and halo mass, and modulates selection effects in the halo gas mass fraction: gas-rich clusters are preferentially included in X-ray selected samples. The almost scatterless relation also fixes the relative scatters and slopes of the $L_X-M$ and $M_{gas}-M$ relations and makes core-excised X-ray luminosities and gas masses fully covariant. Therefore, cosmological or astrophysical studies involving X-ray or SZ selected samples need to account for both selection effects and covariance of the studied quantities with X-ray luminosity/SZ strength.


title: H\"ormander's conditions for vector-valued kernels of singular integrals and its commutators

abstract: In this paper we study Coifman type estimates and weighted norm inequalities for singular integral operators $T$ and its commutators, given by the convolution with a vector valued kernel $K$. We define a weaker H\"ormander type condition associated with Young functions for the vector valued kernels. With this general framework we obtain as an example the result for the square operator and its commutator given in [ M. Lorente, M.S. Riveros, A. de la Torre \emph{On the Coifman type inequality for the oscillation of the one-sided averages }, Journal of Mathematical Analysis and Applications, Vol 336, Issue 1,\ (2007) 577-592.]


title: On the derived categories of gentle and skew-gentle algebras: homological algebra and matrix problems

abstract: In this paper, we investigate properties of the bounded derived category of finite dimensional modules over a gentle or skew-gentle algebra. We show that the Rouquier dimension of the derived category of such an algebra is at most one. Using this result, we prove that the Rouquier dimension of an arbitrary tame projective curve is equal to one, too. Finally, we elaborate the classification of indecomposable objects of the (possibly unbounded) homotopy category of projective modules of a gentle algebra.


title: GPU-acceleration for Large-scale Tree Boosting

abstract: In this paper, we present a novel massively parallel algorithm for accelerating the decision tree building procedure on GPUs (Graphics Processing Units), which is a crucial step in Gradient Boosted Decision Tree (GBDT) and random forests training. Previous GPU based tree building algorithms are based on parallel multi-scan or radix sort to find the exact tree split, and thus suffer from scalability and performance issues. We show that using a histogram based algorithm to approximately find the best split is more efficient and scalable on GPU. By identifying the difference between classical GPU-based image histogram construction and the feature histogram construction in decision tree training, we develop a fast feature histogram building kernel on GPU with carefully designed computational and memory access sequence to reduce atomic update conflict and maximize GPU utilization. Our algorithm can be used as a drop-in replacement for histogram construction in popular tree boosting systems to improve their scalability. As an example, to train GBDT on epsilon dataset, our method using a main-stream GPU is 7-8 times faster than histogram based algorithm on CPU in LightGBM and 25 times faster than the exact-split finding algorithm in XGBoost on a dual-socket 28-core Xeon server, while achieving similar prediction accuracy.


title: Extremes of $L^p$-norm of Vector-valued Gaussian processes with Trend

abstract: Let $\boldsymbol{X}(t)=(X_1(t),\ldots,X_d(t))$ be a Gaussian vector process and $g(t)$ be a continuous function. The asymptotics of distribution of $\left\|\boldsymbol{X}(t)\right\|_p$, the $L^p$ norm for Gaussian finite-dimensional vector, have been investigated in numerous literatures. In this contribution we are concerned with the exact tail asymptotics of $\left\|\boldsymbol{X}(t)\right\|^c_p,\ c>0, $ with trend $g(t)$ over $[0,T]$. Both scenarios that $\boldsymbol{X}(t)$ is locally stationary and non-stationary are considered. Important examples include $\sum_{i=1}^d \left|X_i(t)\right|+g(t)$ and chi-square processes with trend, i.e., $\sum_{i=1}^d X_i^2(t)+g(t)$. These results are of interest in applications in engineering, insurance and statistics, etc.


title: Decomposition of Time Series Data to Check Consistency between Fund Style and Actual Fund Composition of Mutual Funds

abstract: We propose a novel approach for analysis of the composition of an equity mutual fund based on the time series decomposition of the price movements of the individual stocks of the fund. The proposed scheme can be applied to check whether the style proclaimed for a mutual fund actually matches with the fund composition. We have applied our proposed framework on eight well known mutual funds of varying styles in the Indian financial market to check the consistency between their fund style and actual fund composition, and have obtained extensive results from our experiments. A detailed analysis of the results has shown that while in majority of the cases the actual allocations of funds are consistent with the corresponding fund styles, there have been some notable deviations too.


title: Dynamic Load Balancing for PIC code using Eulerian/Lagrangian partitioning

abstract: This document presents an analysis of different load balance strategies for a Plasma physics code that models high energy particle beams with PIC method. A comparison of different load balancing algorithms is given: static or dynamic ones. Lagrangian and Eulerian partitioning techniques have been investigated.


title: Non-local transport and the Hall viscosity of 2D hydrodynamic electron liquids

abstract: In a fluid subject to a magnetic field the viscous stress tensor has a dissipationless antisymmetric component controlled by the so-called Hall viscosity. We here propose an all-electrical scheme that allows a determination of the Hall viscosity of a two-dimensional electron liquid in a solid-state device.


title: Relaxation and decoherence of qubits encoded in collective states of engineered magnetic structures

abstract: The quantum nature of a microscopic system can only be revealed when it is sufficiently decoupled from surroundings. Interactions with the environment induce relaxation and decoherence that turn the quantum state into a classical mixture. Here, we study the timescales of these processes for a qubit encoded in the collective state of a set of magnetic atoms deposited on a metallic surface. For that, we provide a generalization of the commonly used definitions of $T_{1}$ and $T_{2}$ characterizing relaxation and decoherence rates. We calculate these quantities for several atomic structures, including a collective spin, a setup implementing a decoherence-free subspace, and two examples of spin chains. Our work contributes to the comprehensive understanding of the relaxation and decoherence processes and shows the advantages of the implementation of a decoherence free subspace in these setups.


title: Optically and electrically controllable adatom spin-orbital dynamics in transition metal dichalcogenides

abstract: We analyze the interplay of spin-valley coupling, orbital physics and magnetic anisotropy taking place at single magnetic atoms adsorbed on semiconducting transition-metal dichalcogenides, MX$_2$ (M = Mo, W; X = S, Se). Orbital selection rules turn out to govern the kinetic exchange coupling between the adatom and charge carriers in the MX$_2$ and lead to highly orbitally dependent spin-flip scattering rates, as we illustrate for the example of transition metal adatoms with $d^9$ configuration. Our ab initio calculations suggest that $d^9$ configurations are realizable by single Co, Rh, or Ir adatoms on MoS$_2$, which additionally exhibit a sizable magnetic anisotropy. We find that the interaction of the adatom with carriers in the MX$_2$ allows to tune its behavior from a quantum regime with full Kondo screening to a regime of "Ising spintronics" where its spin-orbital moment acts as classical bit, which can be erased and written electronically and optically.


title: Ordered and Delayed Adversaries and How to Work against Them on a Shared Channel

abstract: In this work we define a class of ordered adversaries causing distractions according to some partial order fixed by the adversary before the execution, and study how they affect performance of algorithms. We focus on the Do-All problem of performing t tasks on a shared channel consisting of p crash-prone stations. The channel restricts communication: no message is delivered to the alive stations if more than one station transmits at the same time. The performance measure for the Do-All problem is work: the total number of available processor steps during the whole execution. We address the question of how the ordered adversaries controlling crashes of stations influence work performance of Do-All algorithms. The first presented algorithm solves Do-All with work O(t+p\sqrt{t}\log p) against the Linearly-Ordered adversary, restricted by some pre-defined linear order of crashing stations. Another algorithm runs against the Weakly-Adaptive adversary, restricted by some pre-defined set of f crash-prone stations (it can be seen as restricted by the order being an anti-chain of crashing stations). The work done by this algorithm is O(t+p\sqrt{t}+p\min{p/(p-f),t}\log p). Both results are close to the corresponding lower bounds from [CKL]. We generalize this result to the class of adversaries restricted by a partial order with a maximum anti-chain of size k and complement with the lower bound. We also consider a class of delayed adaptive adversaries, who could see random choices with some delay. We give an algorithm that runs against the 1-RD adversary (seeing random choices of stations with one round delay), achieving close to optimal O(t+p\sqrt{t}\log^2 p) work complexity. This shows that restricting adversary by even 1 round delay results in (almost) optimal work on a shared channel.


title: Fluctuating, Lorentz-force-like coupling of Langevin equations and heat flux rectification

abstract: In a description of physical systems with Langevin equations, interacting degrees of freedom are usually coupled through symmetric parameter matrices. This coupling symmetry is a consequence of time-reversal symmetry of the involved conservative forces. If coupling parameters fluctuate randomly, the resulting noise is called multiplicative. For example, mechanical oscillators can be coupled through a fluctuating, symmetric matrix of spring "constants". Such systems exhibit well-studied instabilities. In this note, we study the complementary case of antisymmetric, time-reversal symmetry breaking coupling that can be realized with Lorentz forces or various gyrators. We consider the case that these antisymmetric couplings fluctuate. This type of multiplicative noise does not lead to instabilities in the stationary state but renormalizes the effective non-equilibrium friction. Fluctuating Lorentz-force-like couplings also allow to control and rectify heat transfer. A noteworthy property of this mechanism of producing asymmetric heat flux is that the controlling couplings do not exchange energy with the system..


title: Continuity of nonlinear eigenvalues in $CD(K,\infty)$ spaces with respect to measured Gromov-Hausdorff convergence

abstract: In this note we prove in the nonlinear setting of $CD(K,\infty)$ spaces the stability of the Krasnoselskii spectrum of the Laplace operator $-\Delta$ under measured Gromov-Hausdorff convergence, under an additional compactness assumption satisfied, for instance, by sequences of $CD^*(K,N)$ metric measure spaces with uniformly bounded diameter. Additionally, we show that every element $\lambda$ in the Krasnoselskii spectrum is indeed an eigenvalue, namely there exists a nontrivial $u$ satisfying the eigenvalue equation $- \Delta u = \lambda u$.


title: The derived moduli stack of shifted symplectic structures

abstract: We introduce and study the derived moduli stack $\mathrm{Symp}(X,n)$ of $n$-shifted symplectic structures on a given derived stack $X$, as introduced by [PTVV] (IHES Vol. 117, 2013). In particular, under reasonable assumptions on $X$, we prove that $\mathrm{Symp}(X, n)$ carries a canonical shifted quadratic form. This generalizes a classical result of Fricke and Habermann, which was established in the $C^{\infty}$-setting, to the broader context of derived algebraic geometry, thus proving a conjecture stated by Vezzosi.


title: Quaternionic quantum particles: new solutions

abstract: If $\Psi$ is a quaternionic wave function, then $i\Psi\neq \Psi i$. Thus, there are two versions of the quaternionic Schr\"odinger equation (QSE). In this article, we present the second possibility for solving the QSE, following on from a previous article. After developing the general methodology, we present the quaternionic free particle solution and the scattering of the quaternionic particle through a scalar barrier.


title: Structure Function F_1 singlet in Double-Logarithmic Approximation

abstract: We calculate the perturbative component of the DIS structure function F_1 singlet in the Double-Logarithmic Approximation (DLA) and account at the same time for the running QCD coupling effects. By constructing and solving evolution equations accounting for the both x- and Q^2- evolutions, we obtain the explicit expression for F_1 and, applying the saddle-point method, calculate its small-x asymptotics which proves to be of the Regge form with the intercept = 1.066. Its large value compensates for the lack of the factor 1/x in the DLA contributions. Such fast growth at small x proves that the DLA expressions are quite important for description of all QCD processes involving the vacuum (Pomeron) exchanges. We also obtain that the small-x asymptotics of F_1 depend on a single variable Q^2/x^2 and show that the small-x asymptotics reliably represent F_1 at x = 10^{-6} or less.


title: Phenomenology with F-theory SU(5)

abstract: We explore the low energy phenomenology of an F-theory based SU(5) model which, in addition to the known quarks and leptons, contains Standard Model singlets, and vector-like color triplets and SU(2) doublets. Depending on their masses and couplings, some of these new particles may be observed at the LHC and future colliders. We discuss the restrictions by CKM constraints on their mixing with the ordinary down quarks of the three chiral familes. The model is consistent with gauge coupling unification at the usual supersymmetric GUT scale, dimension five proton decay is adequately suppressed, while dimension-six decay mediated by the superheavy gauge bosons is enhanced by a factor of 5-7. The third generation charged fermion Yukawa couplings yield the corresponding low-energy masses in reasonable agreement with observations. The hierarchical nature of the masses of lighter generations is accounted for via non-renormalisable interactions, with the perturbative vacuum expectation values of the SM singlet fields playing an essential role.


title: Determinant structure for tau-function of holonomic deformation of linear differential equations

abstract: In our previous works, a relationship between Hermite's two approximation problems and Schlesinger transformations of linear differential equations has been clarified. In this paper, we study tau-functions associated with holonomic deformations of linear differential equations by using Hermite's two approximation problems. As a result, we present a determinant formula for the ratio of tau-functions (tau-quotient).


title: Kac-Moody Groups and Completions

abstract: In this paper we construct a new "pro-p-complete" topological Kac-Moody group and compare it to various known topological Kac-Moody groups. We come across this group by investigating the process of completion of groups with BN-pairs. We would like to know whether the completion of such a group admits a BN-pair. We give explicit criteria for this to happen.


title: Effect of boson on-site repulsion on the superfluidity in the boson-fermion-Hubbard model

abstract: We analyze the finite-temperature phase diagram of the boson-fermion-Hubbard model with Feshbach converting interaction, using the coherent-state path-integral method. We show that depending on the position of the bosonic band, this type of interaction, even if weak, can drive the system into the resonant superfluid phase in the strong bosonic interaction limit. It turns out that this phase can exist for an arbitrary number of fermions (i.e., fermionic concentration between 0 and 2) but with the bosonic particle number very close to an integer value. We point out that the standard time-of-flight method in optical lattice experiments can be an adequate technique to confirm the existence of this resonant phase. Moreover, in the non-resonant regime, the enhancement of the critical temperature of the superfluid phase due to Feshbach interaction is also observed. We account for this interesting phenomena for a hole- or particlelike pairing mechanism depending on the system density and mutual location of the fermionic and bosonic bands.


title: Alignment, Orientation, and Coulomb Explosion of Difluoroiodobenzene Studied with the Pixel Imaging Mass Spectrometry (PImMS) Camera

abstract: Laser-induced adiabatic alignment and mixed-field orientation of 2,6-difluoroiodobenzene (C6H3F2I) molecules are probed by Coulomb explosion imaging following either near-infrared strong-field ionization or extreme-ultraviolet multi-photon inner-shell ionization using free-electron laser pulses. The resulting photoelectrons and fragment ions are captured by a double-sided velocity map imaging spectrometer and projected onto two position-sensitive detectors. The ion side of the spectrometer is equipped with the Pixel Imaging Mass Spectrometry (PImMS) camera, a time-stamping pixelated detector that can record the hit positions and arrival times of up to four ions per pixel per acquisition cycle. Thus, the time-of-flight trace and ion momentum distributions for all fragments can be recorded simultaneously. We show that we can obtain a high degree of one- and three-dimensional alignment and mixed- field orientation, and compare the Coulomb explosion process induced at both wavelengths.


title: On the loxodromic actions of Artin-Tits groups

abstract: Artin-Tits groups act on a certain delta-hyperbolic complex, called the "additional length complex". For an element of the group, acting loxodromically on this complex is a property analogous to the property of being pseudo-Anosov for elements of mapping class groups. By analogy with a well-known conjecture about mapping class groups, we conjecture that "most" elements of Artin-Tits groups act loxodromically. More precisely, in the Cayley graph of a subgroup $G$ of an Artin-Tits group, the proportion of loxodromically acting elements in a ball of large radius should tend to one as the radius tends to infinity. In this paper, we give a condition guaranteeing that this proportion stays away from zero. This condition is satisfied e.g. for Artin-Tits groups of spherical type, their pure subgroups and some of their commutator subgroups.


title: The Second Postulate of Euclid and the Hyperbolic Geometry

abstract: The article deals with the connection between the second postulate of Euclid and non-Euclidean geometry. It is shown that the violation of the second postulate of Euclid inevitably leads to hyperbolic geometry. This eliminates misunderstandings about the sums of some divergent series. The connection between hyperbolic geometry and relativistic computations is noted.


title: Bounds on the length of a game of Cops and Robbers

abstract: In the game of Cops and Robbers, a team of cops attempts to capture a robber on a graph $G$. All players occupy vertices of $G$. The game operates in rounds; in each round the cops move to neighboring vertices, after which the robber does the same. The minimum number of cops needed to guarantee capture of a robber on $G$ is the cop number of $G$, denoted $c(G)$, and the minimum number of rounds needed for them to do so is the capture time. It has long been known that the capture time of an $n$-vertex graph with cop number $k$ is $O(n^{k+1})$. More recently, Bonato, Golovach, Hahn, and Kratochv\'{i}l (2009) and Gaven\v{c}iak (2010) showed that for $k = 1$, this upper bound is not asymptotically tight: for graphs with cop number 1, the cop can always win within $n-4$ rounds. In this paper, we show that the upper bound is tight when $k \ge 2$: for fixed $k \ge 2$, we construct arbitrarily large graphs $G$ having capture time at least $\left (\frac{\vert V(G) \vert}{40k^4}\right )^{k+1}$. In the process of proving our main result, we establish results that may be of independent interest. In particular, we show that the problem of deciding whether $k$ cops can capture a robber on a directed graph is polynomial-time equivalent to deciding whether $k$ cops can capture a robber on an undirected graph. As a corollary of this fact, we obtain a relatively short proof of a major conjecture of Goldstein and Reingold (1995), which was recently proved through other means by the author (2015). We also show that $n$-vertex strongly-connected directed graphs with cop number 1 can have capture time $\Omega(n^2)$, thereby showing that the result of Bonato et al. does not extend to the directed setting.


title: Non-Commutative Homometry in the Dihedral Groups

abstract: The paper deals with the question of homometry in the dihedral groups $D_{n}$ of order $2n$. These groups have the specificity to be non-commutative. It leads to a new approach as compared as the one used in the traditional framework of the commutative group $ \mathbb{Z}_{n}$. We give here a musical interpretation of homometry in $D_{12}$ using the well-known neo-Riemannian groups, some computational results concerning enumeration of homometric sets for small values of $n$, and some properties disclosing important links between homometry in $\mathbb{Z}_{n}$ and homometry in $D_{n}$. Finally we propose an extension of musical applications for this non-commutative homometry.


title: Universal Peculiar Linear Mean Relationships in All Polynomials

abstract: In any cubic polynomial, the average of the slopes at the $3$ roots is the negation of the slope at the average of the roots. In any quartic, the average of the slopes at the $4$ roots is twice the negation of the slope at the average of the roots. We generalize such situations and present a procedure for determining all such relationships for polynomials of any degree. E.g., in any septic $f$, letting $\overline{f}_n$ denote the mean $f$ value over all zeroes of the derivative $f^{\left(n\right)}$, it holds that $37$ $\overline{f}_1-150$ $\overline{f}_3+200\,\overline{f}_4-135\,\overline{f}_5+48\,% \overline{f}_6=0$; and in any quartic it holds that $5$ $\overline{f}_1-6$ $\overline{f}_2+1\,\overline{f}_3=0$. Having calculated such relationships in all dimensions up to 40, in all even dimensions there is a single relationship, in all odd dimensions there is a two-dimensional family of relationships. We come upon connections to Tchebyshev, Bernoulli, \& Euler polynomials, and Stirling numbers.


title: Effectiveness, Decisiveness and Success in Weighted Voting Systems

abstract: We compare the notions "Decisiveness" and "Success" for certain weighted voting systems and various underlying voting measures. In particular, we compute the success rate for the Shapley-Shubik meassure and, more generally, for Common Belief Models.


title: Hadamard single-pixel imaging versus Fourier single-pixel imaging

abstract: Single-pixel imaging is an innovative imaging scheme and has received increasing attentions in recent years. It is applicable to imaging at non-visible wavelengths and imaging under low light conditions. However, single-pixel imaging has once encountered problems of low reconstruction quality and long data-acquisition time. This situation has been changed thanks to the developments of Hadamard single-pixel imaging (HSI) and Fourier single-pixel imaging (FSI). Both techniques are able to achieve high-quality and efficient imaging, remarkably improving the applicability of single-pixel imaging scheme. In this paper, we compare the performances of HSI and FSI with theoretical analysis and experiments. The results show that FSI is more efficient than HSI while HSI is more noise-robust than FSI. Our work may provide a guideline for researchers to choose suitable single-pixel imaging technique for their applications.


title: Pryce's mass-center operators and the anomalous velocity of a spinning electron

abstract: In the present work, we develop a method to calculate the anomalous velocity of a spinning electron. From Dirac equation, the relationships among the expectation values of the Pryce's mass-center operator, the position operator, the spin operator and the canonical momentum operator are investigated. By requiring that the center of mass for the classical spinning electron is related to the expectation value of the Pryce's mass-center operator, one can obtain a classical expression for the position of the electron. With the classical equations of motion, the anomalous velocity of a spinning electron can be easily calculated. It is shown that two factors contribute to the anomalous velocity: one is dependent on the selection of the Pryce's mass-center operators and the other is a type-independent velocity expressed by the rotational velocity and the Lorentz force.


title: Multiplicity results for elliptic problems with super-critical concave and convex nonlinearties

abstract: We shall prove a multiplicity result for semilinear elliptic problems with a super-critical nonlinearity of the form, \begin{equation}\label{con-c} \left \{ \begin{array}{ll} -\Delta u =|u|^{p-2} u+\mu |u|^{q-2}u, & x \in \Omega\\ u=0, & x \in \partial \Omega \end{array} \right. \end{equation} where $\Omega\subset \mathbb{R}^n$ is a bounded domain with $C^2$-boundary and $1<q< 2<p.$ As a consequence of our results we shall show that, for each $p>2$, there exists $\mu^*>0$ such that for each $\mu \in (0, \mu^*)$ this problem has a sequence of solutions with a negative energy. This result was already known for the subcritical values of $p.$ In this paper, we shall extend it to the supercritical values of $p$ as well. Our methodology is based on a new variational principle established by one of the authors that allows one to deal with problems beyond the usual locally compactness structure.


title: Flows, scaling, and the control of moment hierarchies for stochastic chemical reaction networks

abstract: Stochastic chemical reaction networks (CRNs) are complex systems which combine the features of concurrent transformation of multiple variables in each elementary reaction event, and nonlinear relations between states and their rates of change. Most general results concerning CRNs are limited to restricted cases where a topological characteristic known as deficiency takes value 0 or 1. Here we derive equations of motion for fluctuation moments at all orders for stochastic CRNs at general deficiency. We show, for the case of the mass-action rate law, that the generator of the stochastic process acts on the hierarchy of factorial moments with a finite representation. Whereas simulation of high-order moments for many-particle systems is costly, this representation reduces solution of moment hierarchies to a complexity comparable to solving a heat equation. At steady states, moment hierarchies for finite CRNs interpolate between low-order and high-order scaling regimes, which may be approximated separately by distributions similar to those for deficiency-0 networks, and connected through matched asymptotic expansions. In CRNs with multiple stable or metastable steady states, boundedness of high-order moments provides the starting condition for recursive solution downward to low-order moments, reversing the order usually used to solve moment hierarchies. A basis for a subset of network flows defined by having the same mean-regressing property as the flows in deficiency-0 networks gives the leading contribution to low-order moments in CRNs at general deficiency, in a $1/n$-expansion in large particle numbers. Our results give a physical picture of the different informational roles of mean-regressing and non-mean-regressing flows, and clarify the dynamical meaning of deficiency not only for first-moment conditions but for all orders in fluctuations.


title: On characters of irreducible highest weight modules of negative integer level over affine Lie algebras

abstract: We prove a character formula for the irreducible modules from the category $\mathcal{O}$ over the simple affine vertex algebra of type $A_n$ and $C_n$ $(n \geq 2)$ of level $k=-1$. We also give a conjectured character formula for types $D_4$, $E_6$, $E_7$, $E_8$ and levels $k=-1, \cdots, -b$, where $b=2,3,4,6$ respectively.


title: The HAYSTAC Axion Search Analysis Procedure

abstract: We describe in detail the analysis procedure used to derive the first limits from the Haloscope at Yale Sensitive to Axion CDM (HAYSTAC), a microwave cavity search for cold dark matter (CDM) axions with masses above $20\ \mu\text{eV}$. We have introduced several significant innovations to the axion search analysis pioneered by the Axion Dark Matter eXperiment (ADMX), including optimal filtering of the individual power spectra that constitute the axion search dataset and a consistent maximum likelihood procedure for combining and rebinning these spectra. These innovations enable us to obtain the axion-photon coupling $|g_\gamma|$ excluded at any desired confidence level directly from the statistics of the combined data.


title: Tunable RKKY interaction in a double quantum dot nanoelectromechanical device

abstract: We propose a realization of mechanically tunable Ruderman-Kittel-Kasuya-Yosida interaction in a double quantum dot nanoelectromechanical device. The coupling between spins of two quantum dots suspended above a metallic plate is mediated by conduction electrons. We show that the spin-mechanical interaction can be driven by a slow modulation of charge density in the metallic plate. We propose to use Stuckelberg oscillations as a sensitive tool for detection of the spin and charge states of the coupled quantum dots. Theory of mechanical back action induced by a dynamical spin-spin interaction is discussed.


title: Metastable Behavior of Bootstrap Percolation on Galton-Watson Trees

abstract: We analyze the metastable states near criticality of the bootstrap percolation on Galton-Watson trees. We find that, depending on the exact choice of the offspring distribution, it is possible to have several distinct metastable states, with varying scaling of their duration while approaching criticality.


title: Least energy nodal solutions of Hamiltonian elliptic systems with Neumann boundary conditions

abstract: We study existence, regularity, and qualitative properties of solutions to the system \[ -\Delta u = |v|^{q-1} v\quad \text{ in }\Omega,\qquad -\Delta v = |u|^{p-1} u\quad \text{ in }\Omega,\qquad \partial_\nu u=\partial_\nu v=0\quad \text{ on }\partial\Omega, \] with $\Omega\subset \mathbb R^N$ bounded; in this setting, all nontrivial solutions are sign changing. Our proofs use a variational formulation in dual spaces, considering sublinear $pq< 1$ and superlinear $pq>1$ problems in the subcritical regime. In balls and annuli we show that least energy solutions (l.e.s.) are foliated Schwarz symmetric and, due to a symmetry-breaking phenomenon, l.e.s. are not radial functions; a key element in the proof is a new $L^t$-norm-preserving transformation, which combines a suitable flipping with a decreasing rearrangement. This combination allows us to treat annular domains, sign-changing functions, and Neumann problems, which are non-standard settings to use rearrangements and symmetrizations. In particular, we show that our transformation diminishes the (dual) energy and, as a consequence, radial l.e.s. are strictly monotone. We also study unique continuation properties and simplicity of zeros. Our theorems also apply to the scalar associated model, where our approach provides new results as well as alternative proofs of known facts.


title: Reply to Comment on `What Determines the Static Force Chains in Stressed Granular Media?'

abstract: The formalism proposed in Phys. Rev. Lett. 116, 078001 (2016) for determination of the normal and tangential inter-particle forces in frictional disks from visual data was criticized in a comment to that paper. However the theory developed in the original publication is aimed at finding the forces when provided with accurate measurements while the comment addresses a different problem, being the statistics of forces in a configuration with uncertainty of the relevant parameters. We address this difference in perspectives and point out that even with experimental errors one can improve the results using an iterative procedure proposed in Phys. Rev. E. Rapid Communication, 93, 060601(R) (2016).


title: Controlling electron-electron correlation in frustrated double ionization of molecules with orthogonally polarized two-color laser fields

abstract: We demonstrate the control of electron-electron correlation in frustrated double ionization (FDI) of the two-electron triatomic molecule D$_{3}^{+}$ when driven by two orthogonally polarized two-color laser fields. We employ a three-dimensional semi-classical model that fully accounts for the electron and nuclear motion in strong fields. We analyze the FDI probability and the distribution of the momentum of the escaping electron along the polarization direction of the longer wavelength and more intense laser field. These observables when considered in conjunction bear clear signatures of the prevalence or absence of electron-electron correlation in FDI, depending on the time-delay between the two laser pulses. We find that D$_{3}^{+}$ is a better candidate compared to H$_{2}$ for demonstrating also experimentally that electron-electron correlation indeed underlies FDI.


title: The Product $e \pi$ Is Irrational

abstract: This note shows that the product $e \pi$ of the natural base $e$ and the circle number $\pi$ is an irrational number.


title: Compactness in abelian categories

abstract: We relativize the notion of a compact object in an abelian category with respect to a fixed subclass of objects. We show that the standard closure properties persist to hold in this case. Furthermore, we describe categorical and set-theoretical conditions under which all products of compact objects remain compact.


title: Explanation of a Polynomial Identity

abstract: In this note, we provide a conceptual explanation of a well-known polynomial identity used in algebraic number theory.


title: Gauge origin of the Dirac field and singular solutions to the Dirac equation

abstract: We present and enhance our previous statements (arXiv:0907.4736) on the non-canonical interrelations between the solutions to the free Dirac equation (DE) and the Klein-Gordon equation (KGE). We demonstrate that all the solutions to the DE (singular ones among them) can be obtained via differentiation of a pair of the KGE solutions for a doublet of scalar fields. In this way we obtain a "spinor analogue" of the mesonic Yukawa potential and previously unknown chains of solutions to the DE and KGE. The pair of scalar "potentials" is defined up to a gauge transformation under which the corresponding solution of the DE is invariant. Under transformations of the Lorentz group, canonical spinor transformations form only a subclass of more general transformations of the DE solutions, under these the generating scalar potentials undergo transformations of internal symmetry intermixing their components. In particular, under continuous rotation through one full revolution the transforming solutions, as a rule, take their original values ("spinor two-valuedness" is absent). With an arbitrary solution of the DE one can associate, apart from the standard one, a non-canonical set of conserved quantities, a positive definite "energy" density among others, and with any KGE solution -- a positive definite "probability density", etc. Finally, we discuss a generalization of the proposed procedure to the case when an external electromagnetic field is present.


title: On risk averse competitive equilibrium

abstract: We discuss risked competitive partial equilibrium in a setting in which agents are endowed with coherent risk measures. In contrast to socialplanning models, we show by example that risked equilibria are not unique, even when agents' objective functions are strictly concave. We also show that standard computational methods find only a subset of the equilibria, even with multiple starting points.


title: There are no cycles in the $3n+1$ sequence

abstract: In 1937, Lothar Collatz conjectured that the sequence generated by the rule $f(n)=3n+1$ for $n\in\mathbb{N}$ odd, $f(n)=n/2$ for $n\in\mathbb{N}$ even, starting in any positive integer $n$ produces $1$. This is equivalent to (1) there are no cycles except the trivial one, (1-4-2-1), and (2) there is no infinite sequence. We prove (1) using graph theory and linear algebra.


title: An Extended Newton-Type Method In R And Polynomiography Via Different Iterative Methods

abstract: The aim of this paper is to introduce a new Newton-type iterative method and then to show that this process converges to the unique solution of the scalar nonlinear equation f(x)=0 under weaker conditions involving only f and f' by fixed point techniques. Also, by using this iteration process quite new nicely looking graphics are obtained.


title: Sequential Composition in the Presence of Intermediate Termination

abstract: The standard operational semantics of the sequential composition operator gives rise to unbounded branching and forgetfulness when transparent process expressions are put in sequence. Due to transparency, the correspondence between context-free and pushdown processes fails modulo bisimilarity, and it is not clear how to specify an always terminating half counter. We propose a revised operational semantics for the sequential composition operator in the context of intermediate termination. With the revised operational semantics, we eliminate transparency. As a consequence, we establish a correspondence between context-free processes and pushdown processes. Moreover, we prove the reactive Turing powerfulness of TCP with iteration and nesting with the revised operational semantics for sequential composition.


title: A simple many-body based screening optimization and mixing ansatz for improvement of GW/BSE excitation energies of molecular systems

abstract: We propose a simple many-body based screening mixing strategy to considerably enhance the performance of the Bethe-Salpeter (BS) approach for prediction of excitation energies of molecular systems. This strategy enables us to nearly reproduce results of highly correlated equation of motion coupled cluster singles and doubles (EOM-CCSD) through optimal use of cancellation effects.


title: Coherent State Mapping Ring-Polymer Molecular Dynamics for Non-Adiabatic quantum propagations

abstract: We introduce the coherent state mapping ring-polymer molecular dynamics (CS-RPMD), a new method that accurately describes electronic non-adiabatic dynamics with explicit nuclear quantization. This new approach is derived by using coherent state mapping representation for the electronic degrees of freedom (DOF) and the ring-polymer path-integral representation for the nuclear DOF. CS-RPMD Hamiltonian does not contain any inter-bead coupling term in the state-dependent potential, which is a key feature that ensures correct electronic Rabi oscillations. Hamilton's equation of motion is used to sample initial configurations and propagate the trajectories, preserving the distribution with classical symplectic evolution. In the special one-bead limit for mapping variables, CS-RPMD preserves the detailed balance. Numerical tests of this method with a two-state model system show a very good agreement with exact quantum results over a broad range of electronic couplings.


title: The effect of a guide field on local energy conversion during asymmetric magnetic reconnection: MMS observations

abstract: We compare case studies of Magnetospheric Multiscale (MMS)-observed magnetopause electron diffusion regions (EDRs) to determine how the rate of work done by the electric field, $\vec{J}\cdot(\vec{E}+\vec{v}_e\times\vec{B})\equiv\vec{J}\cdot\vec{E}'$, and electron dynamics vary with magnetic shear angle. We provide an in-depth analysis of an MMS-observed EDR event with a guide field approximately the same size as the magnetosheath reconnecting field, which occurred on 8 December 2015. We find that $\vec{J}\cdot\vec{E}'$ was large and positive near the magnetic field reversal point, though patchy lower-amplitude $\vec{J}\cdot\vec{E}'$ also occurred on the magnetosphere-side EDR near the electron crescent point. The current associated with the large $\vec{J}\cdot\vec{E}'$ near the null was carried by electrons with a velocity distribution function (VDF) resembling that of the magnetosheath inflow, but accelerated in the anti-parallel direction by the parallel electric field. At the magnetosphere-side EDR, the current was carried by electrons with a crescent-like VDF. We compare this 8 December event to four others with differing magnetic shear angles. This type of dual-region $\vec{J}\cdot\vec{E}'$ was observed in another intermediate-shear EDR event, whereas the high-shear events had a strong positive $\vec{J}\cdot\vec{E}'$ near the electron crescent point and the low-shear event had a strong positive $\vec{J}\cdot\vec{E}'$ near the in-plane null. We propose a physical relationship between the shear angle and mode of energy conversion where (a) a guide field provides an efficient mechanism for carrying a current at the field reversal point (streaming) and (b) a guide field may limit the formation of crescent eVDFs, limiting the current carried near the stagnation point.


title: Stability of group relations under small Hilbert-Schmidt perturbations

abstract: If matrices almost satisfying a group relation are close to matrices exactly satisfying the relation, then we say that a group is matricially stable. Here "almost" and "close" are in terms of the Hilbert-Schmidt norm. Using tracial 2-norm on $II_1$-factors we similarly define $II_1$-factor stability for groups. Our main result is that all 1-relator groups with non-trivial center are $II_{1}$-factor stable. Many of them are also matricially stable and RFD. For amenable groups we give a complete characterization of matricial stability in terms of the following approximation property for characters: each character must be a pointwise limit of traces of finite-dimensional representations. This allows us to prove matricial stability for the discrete Heisenberg group $\mathbb H_3$ and for all virtually abelian groups. For non-amenable groups the same approximation property is a necessary condition for being matricially stable. We study this approximation property and show that RF groups with character rigidity have it.


title: Flow Shear Suppression of Pedestal Turbulence--A First Principles Theoretical Framework

abstract: A combined analytic and computational gyrokinetic approach is developed to address the question of the scaling of pedestal turbulent transport with arbitrary levels of $E \times B$ shear. Due to strong gradients and shaping in the pedestal, the instabilities of interest are not curvature-driven like the core instabilities. By extensive numerical (gyrokinetic) simulations, it is demonstrated that pedestal modes respond to shear suppression very much like the predictions of a basic analytic decorrelation theory. The quantitative agreement between the two provides us with a new dependable, first principles (physics based) theoretical framework to predict the efficacy of shear suppression in burning plasmas that lie in a low-shear regime not accessed by present experiments.


title: Probing changes of dust properties along a chain of solar-type prestellar and protostellar cores in Taurus with NIKA

abstract: The characterization of dust properties in the interstellar medium (ISM) is key for star formation. Mass estimates are crucial to determine gravitational collapse conditions for the birth of new stellar objects in molecular clouds. However, most of these estimates rely on dust models that need further observational constraints from clouds to prestellar and protostellar cores. We present results of a study of dust emissivity changes based on mm-continuum data obtained with the NIKA camera at the IRAM-30m telescope. Observing dust emission at 1.15 mm and 2 mm allows us to constrain the dust emissivity index ($\beta$) in the Rayleigh-Jeans tail of the dust spectral energy distribution (SED) far from its peak emission, where the contribution of other parameters (i.e. dust temperature) is important. Focusing on the Taurus molecular cloud, a low-mass star-forming regions in the Gould Belt, we analyze the emission properties of several distinct objects in the B213 filament: three prestellar cores, two Class-0/I protostellar cores and one Class-II object. By means of the ratio of the two NIKA channel-maps, we show that in the Rayleigh-Jeans approximation the dust emissivity index varies among the objects. For one prestellar and two protostellar cores, we produce a robust study using Herschel data to constrain the dust temperature of the sources. By using the Abel transform inversion technique we get accurate radial $\beta$ profiles. We find systematic spatial variations of $\beta$ in the protostellar cores that is not observed in the prestellar core. While in the former case $\beta$ decreases toward the center, in the latter it remains constant. Moreover, $\beta$ appears anticorrelated with the dust temperature. We discuss the implication of these results in terms of dust grain evolution between pre- and protostellar cores.


title: A solution to the proton and deuteron size puzzle and the anomalous magnetic moment of the muon

abstract: We show that a proposal which involves an effective radius derived from an effective potential that includes a linear extra-potential may solve both the proton and deuteron size puzzle. Moreover, this solution preserves the e-{\mu} universality and helps to solve the anomalous magnetic moment of the muon too. Still, it is consistent with the rms magnetic radius of the proton and deuteron, the rms charge radius of both the ordinary and muonic C12 as well as the kaonic and pionic X-rays spectroscopy.


title: Classical Spin Nematic Transition in LiGa$_{0.95}$In$_{0.05}$Cr$_4$O$_8$

abstract: We present the results of a combined $^7$Li NMR and diffraction study on LiGa$_{0.95}$In$_{0.05}$Cr$_4$O$_8$, a member of LiGa$_{1-x}$In$_{x}$Cr$_4$O$_8$ "breathing" pyrochlore family. Via specific heat and NMR measurements, we find that the complex sequence of first-order transitions observed for $x=0$ is replaced by a single, apparently second-order transition at $T_f=11$ K. Neutron and X-ray diffraction rule out both structural symmetry lowering and magnetic long-range order as the origin of this transition. Instead, reverse Monte Carlo fitting of the magnetic diffuse scattering indicates that the low temperature phase may be described as a collinear spin nematic state, characterized by a quadrupolar order parameter. This state also shows signs of short range order between collinear spin arrangements on tetrahedra, revealed by mapping the reverse Monte Carlo spin configurations onto a three-state color model describing the manifold of nematic states.


title: The Neutrino Signal From Pair Instability Supernovae

abstract: A very massive star with a carbon-oxygen core in the range of $64$ M$_{\odot}<M_{\mathrm{CO}}<133$ M$_{\odot}$ is expected to undergo a very different kind of explosion known as a pair instability supernova. Pair instability supernovae are candidates for superluminous supernovae due to the prodigious amounts of radioactive elements they create. While the basic mechanism for the explosion is understood, how a star reaches a state is not, thus observations of a nearby pair-instability supernova would allow us to test current models of stellar evolution at the extreme of stellar masses. Much will be sought within the electromagnetic radiation we detect from such a supernova but we should not forget that the neutrinos from a pair-instability supernova contain unique signatures of the event that unambiguously identify this type of explosion. We calculate the expected neutrino flux at Earth from two, one-dimensional pair-instability supernova simulations which bracket the mass range of stars which explode by this mechanism taking into account the full time and energy dependence of the neutrino emission and the flavor evolution through the outer layers of the star. We calculate the neutrino signals in five different detectors chosen to represent present or near future designs. We find the more massive progenitors explode as pair-instability supernova which can easily be detected in multiple different neutrino detectors at the `standard' supernova distance of $10\;{\rm kpc}$ producing several events in DUNE, JUNE and SuperKamiokande, while the lightest progenitors only produce a handful of events (if any) in the same detectors. The proposed HyperKamiokande detector would detect neutrinos from a large pair-instability supernova as far as $\sim 50\;{\rm kpc}$ allowing it to reach the Megallanic Clouds and the several very high mass stars known to exist there.


title: Unperforated pairs of operator spaces and hyperrigidity of operator systems

abstract: We study restriction and extension properties for states on C$^*$-algebras with an eye towards hyperrigidity of operator systems. We use these ideas to provide supporting evidence for Arveson's hyperrigidity conjecture. Prompted by various characterizations of hyperrigidity in terms of states, we examine unperforated pairs of self-adjoint subspaces in a C$^*$-algebra. The configuration of the subspaces forming an unperforated pair is in some sense compatible with the order structure of the ambient C$^*$-algebra. We prove that commuting pairs are unperforated, and obtain consequences for hyperrigidity. Finally, by exploiting recent advances in the tensor theory of operator systems, we show how the weak expectation property can serve as a flexible relaxation of the notion of unperforated pairs.


title: Timing Solution and Single-pulse Properties for Eight Rotating Radio Transients

abstract: Rotating radio transients (RRATs), loosely defined as objects that are discovered through only their single pulses, are sporadic pulsars that have a wide range of emission properties. For many of them, we must measure their periods and determine timing solutions relying on the timing of their individual pulses, while some of the less sporadic RRATs can be timed by using folding techniques as we do for other pulsars. Here, based on Parkes and Green Bank Telescope (GBT) observations, we introduce our results on eight RRATs including their timing-derived rotation parameters, positions, and dispersion measures (DMs), along with a comparison of the spin-down properties of RRATs and normal pulsars. Using data for 24 RRATs, we find that their period derivatives are generally larger than those of normal pulsars, independent of any intrinsic correlation with period, indicating that RRATs' highly sporadic emission may be associated with intrinsically larger magnetic fields. We carry out Lomb$-$Scargle tests to search for periodicities in RRATs' pulse detection times with long timescales. Periodicities are detected for all targets, with significant candidates of roughly 3.4 hr for PSR J1623$-$0841 and 0.7 hr for PSR J1839$-$0141. We also analyze their single-pulse amplitude distributions, finding that log-normal distributions provide the best fits, as is the case for most pulsars. However, several RRATs exhibit power-law tails, as seen for pulsars emitting giant pulses. This, along with consideration of the selection effects against the detection of weak pulses, imply that RRAT pulses generally represent the tail of a normal intensity distribution.


title: The Gabor wave front set in spaces of ultradifferentiable functions

abstract: Given a non-quasianalytic subadditive weight function $\omega$ we consider the weighted Schwartz space $\mathcal{S}_\omega$ and the short-time Fourier transform on $\mathcal{S}_\omega$, $\mathcal{S}'_\omega$ and on the related modulation spaces with exponential weights. In this setting we define the $\omega$-wave front set $WF'_\omega(u)$ and the Gabor $\omega$-wave front set $WF^G_\omega(u)$ of $u\in\mathcal{S}'_{\omega}$, and we prove that they coincide. Finally we look at applications of this wave front set for operators of differential and pseudo-differential type.


title: Counting Restricted Homomorphisms via M\"obius Inversion over Matroid Lattices

abstract: We present a framework for the complexity classification of parameterized counting problems that can be formulated as the summation over the numbers of homomorphisms from small pattern graphs H_1,...,H_l to a big host graph G with the restriction that the coefficients correspond to evaluations of the M\"obius function over the lattice of a graphic matroid. This generalizes the idea of Curticapean, Dell and Marx [STOC 17] who used a result of Lov\'asz stating that the number of subgraph embeddings from a graph H to a graph G can be expressed as such a sum over the lattice of partitions of H. In the first step we introduce what we call graphically restricted homomorphisms that, inter alia, generalize subgraph embeddings as well as locally injective homomorphisms. We provide a complete parameterized complexity dichotomy for counting such homomorphisms, that is, we identify classes of patterns for which the problem is fixed-parameter tractable (FPT), including an algorithm, and prove that all other pattern classes lead to #W[1]-hard problems. The main ingredients of the proof are the complexity classification of linear combinations of homomorphisms due to Curticapean, Dell and Marx [STOC 17] as well as a corollary of Rota's NBC Theorem which states that the sign of the M\"obius function over a geometric lattice only depends on the rank of its arguments. We use the general theorem to classify the complexity of counting locally injective homomorphisms as well as homomorphisms that are injective in the r-neighborhood for constant r. Furthermore, we show that the former has "real" FPT cases by considering the subgraph counting problem restricted to trees on both sides. Finally we show that the dichotomy for counting graphically restricted homomorphisms readily extends to so-called linear combinations.


title: Characterization of the quantumness of unsteerable tripartite correlations

abstract: Quantumness for a bipartite unsteerable quantum correlation is operationally characterized by the notion of super-unsteerability. Super-unsteerability refers to the requirement of a larger dimension of the random variable that the steering party has to preshare with the party to be steered in the classical simulation protocol to generate an unsteerable correlation than the local Hilbert space dimension of the quantum states (reproducing the given unsteerable correlation) at the steering party's side. In the present study, this concept of super-unsteerability is generalized by defining the notion of super-bi-unsteerability for tripartite correlations, which is unsteerable across a bipartite cut. Genuine super-bi-unsteerability is defined as the occurrence of super-bi-unsteerability across all possible bipartite cuts. Specific example of genuine super-bi-unsteerability for tripartite correlations has been presented. This study provides a tool to characterize the genuine quantumness of tripartite quantum correlations which are unsteerable across every bipartite cut.


title: Ghost Reduction in Echo-Planar Imaging by Joint Reconstruction of Images and Line-to-Line Delays and Phase Errors

abstract: PURPOSE: To correct line-to-line delays and phase errors in echo-planar imaging (EPI). THEORY AND METHODS: EPI- trajectory auto-corrected image reconstruction (EPI-TrACR) is an iterative maximum-likelihood technique that exploits data redundancy provided by multiple receive coils between nearby lines of k-space to determine and correct line-to-line trajectory delays and phase errors that cause ghosting artifacts. EPI-TrACR was applied to in vivo data acquired at 7 Tesla across acceleration and multishot factors, and in a dynamic time series. The method was efficiently implemented using a segmented FFT and compared to a conventional calibrated reconstruction. RESULTS: Compared to conventional calibrated reconstructions, EPI-TrACR reduced ghosting up to moderate acceleration factors and across multishot factors. It also maintained low ghosting in a dynamic time series. Averaged over all cases, EPI-TrACR reduced root-mean-square ghosted signal outside the brain by 27% compared to calibrated reconstruction. CONCLUSION: EPI-TrACR is effective in automatically correcting line-to-line delays and phase errors in multishot, accelerated, and dynamic EPI. While the method benefits from additional calibration data, it is not a requirement.


title: R-boundedness Approach to linear third differential equations in a UMD Space

abstract: The aim of this work is to study the existence of a periodic solutions of third order differential equations $z'''(t) = Az(t) + f(t)$ with the periodic condition $x(0) = x(2\pi), x'(0) = x'(2\pi)$ and $x''(0) = x''(2\pi)$. Our approach is based on the R-boundedness and $L^{p}$-multiplier of linear operators.


title: Nonseparable Multinomial Choice Models in Cross-Section and Panel Data

abstract: Multinomial choice models are fundamental for empirical modeling of economic choices among discrete alternatives. We analyze identification of binary and multinomial choice models when the choice utilities are nonseparable in observed attributes and multidimensional unobserved heterogeneity with cross-section and panel data. We show that derivatives of choice probabilities with respect to continuous attributes are weighted averages of utility derivatives in cross-section models with exogenous heterogeneity. In the special case of random coefficient models with an independent additive effect, we further characterize that the probability derivative at zero is proportional to the population mean of the coefficients. We extend the identification results to models with endogenous heterogeneity using either a control function or panel data. In time stationary panel models with two periods, we find that differences over time of derivatives of choice probabilities identify utility derivatives "on the diagonal," i.e. when the observed attributes take the same values in the two periods. We also show that time stationarity does not identify structural derivatives "off the diagonal" both in continuous and multinomial choice panel models.


title: On the number of fuzzy subgroups of symmetric group $ S_5 $

abstract: This article computes the number of fuzzy subgroups of symmetric group $S_5$. First, an equivalence relation on the set of all fuzzy subgroups of a group G is defined.Without any equivalence relation on fuzzy subgroups of group G, the number of fuzzy subgroups is infinite, even for the trivial group. The\emph{Inclusion-Exclusion principle} is used to determine the number of distinct fuzzy subgroups of \textbf{symmetric group} $S_5$. Some inequalities satisfied by this number are also established for $n \geq 5$.


title: StreamLearner: Distributed Incremental Machine Learning on Event Streams: Grand Challenge

abstract: Today, massive amounts of streaming data from smart devices need to be analyzed automatically to realize the Internet of Things. The Complex Event Processing (CEP) paradigm promises low-latency pattern detection on event streams. However, CEP systems need to be extended with Machine Learning (ML) capabilities such as online training and inference in order to be able to detect fuzzy patterns (e.g., outliers) and to improve pattern recognition accuracy during runtime using incremental model training. In this paper, we propose a distributed CEP system denoted as StreamLearner for ML-enabled complex event detection. The proposed programming model and data-parallel system architecture enable a wide range of real-world applications and allow for dynamically scaling up and out system resources for low-latency, high-throughput event processing. We show that the DEBS Grand Challenge 2017 case study (i.e., anomaly detection in smart factories) integrates seamlessly into the StreamLearner API. Our experiments verify scalability and high event throughput of StreamLearner.