title: The Detectors of the Mu2e Experiment

abstract: The Mu2e experiment aims to test Charge Lepton Flavour Violation to an unprecedented level, enhancing the current sensitivity by four orders of magnitude for the neutrinoless conversion of muons into electrons. A series of graded solenoids convey an intense, pulsed muon beam to an aluminum target. The main detector components are a low mass straw drift tubes tracker, a pure Cesium Iodide calorimeter and an extruded plastic scintillator cosmic ray veto. Requirements, tests on prototypes and status of the production will be discussed.


title: Improved compressible Hybrid Lattice Boltzmann Method on standard lattice for subsonic and supersonic flows

abstract: A D2Q9 Hybrid Lattice Boltzmann Method (HLBM) is proposed for the simulation of both compressible subsonic and supersonic flows. This HLBM is an extension of the model of Feng et al: [12], which has been found, via different test cases, to be unstable for supersonic regimes. The improvements consist of: (1) a new discretization of the lattice closure correction term making possible to properly simulate supersonic flows, (2) a corrected viscous stress tensor that takes into account polyatomic gases, and (3) a novel discretization of the viscous heat production term fitting with the regularized formalism. The result is a hybrid method that resolves the mass and momentum equations with an LBM algorithm, and resolves the entropy-based energy equation with a finite volume method. This approach fully recovers the physics of the Navier-Stokes-Fourier equations with the ideal gas equation of state, and is valid from subsonic to supersonic regimes. It is then successfully assessed with both smooth flows and flows involving shocks. The proposed model is shown to be an efficient, accurate, and robust alternative to classic Navier-Stokes methods for the simulation of compressible flows


title: Growth of Supermassive Black Hole Seeds in ETG Star-Forming Progenitors: Multiple Merging of Stellar Compact Remnants via Gaseous Dynamical Friction and Gravitational Wave Emission

abstract: We propose a new mechanism for the growth of supermassive black hole (BH) seeds in the star-forming progenitors of local early-type galaxies (ETGs) at $z\gtrsim 1$. This envisages the migration and merging of stellar compact remnants (neutron stars and stellar-mass BHs) via gaseous dynamical friction toward the central high-density regions of such galaxies. We show that, under reasonable assumptions and initial conditions, the process can build up central BH masses of order $10^4-10^6\, M_\odot$ within some $10^7$ yr, so effectively providing heavy seeds before standard disk (Eddington-like) accretion takes over to become the dominant process for further BH growth. Remarkably, such a mechanism may provide an explanation, alternative to super-Eddington accretion rates, for the buildup of billion solar masses BHs in quasar hosts at $z\gtrsim 7$, when the age of the Universe $\lesssim 0.8$ Gyr constitutes a demanding constraint; moreover, in more common ETG progenitors at redshift $z\sim 2-6$ it can concur with disk accretion to build such large BH masses even at moderate Eddington ratios $\lesssim 0.3$ within the short star-formation duration $\lesssim$ Gyr of these systems. Finally, we investigate the perspectives to detect the merger events between the migrating stellar remnants and the accumulating central supermassive BH via gravitational wave emission with future ground and space-based detectors such as the Einstein Telescope (ET) and the Laser Interferometer Space Antenna (LISA).


title: gfpop: an R Package for Univariate Graph-Constrained Change-Point Detection

abstract: In a world with data that change rapidly and abruptly, it is important to detect those changes accurately. In this paper we describe an R package implementing a generalized version of an algorithm recently proposed by Hocking et al. [2020] for penalized maximum likelihood inference of constrained multiple change-point models. This algorithm can be used to pinpoint the precise locations of abrupt changes in large data sequences. There are many application domains for such models, such as medicine, neuroscience or genomics. Often, practitioners have prior knowledge about the changes they are looking for. For example in genomic data, biologists sometimes expect peaks: up changes followed by down changes. Taking advantage of such prior information can substantially improve the accuracy with which we can detect and estimate changes. Hocking et al. [2020] described a graph framework to encode many examples of such prior information and a generic algorithm to infer the optimal model parameters, but implemented the algorithm for just a single scenario. We present the gfpop package that implements the algorithm in a generic manner in R/C++. gfpop works for a user-defined graph that can encode prior assumptions about the types of change that are possible and implements several loss functions (Gauss, Poisson, binomial, biweight and Huber). We then illustrate the use of gfpop on isotonic simulations and several applications in biology. For a number of graphs the algorithm runs in a matter of seconds or minutes for 10^5 data points.


title: Explore, Discover and Learn: Unsupervised Discovery of State-Covering Skills

abstract: Acquiring abilities in the absence of a task-oriented reward function is at the frontier of reinforcement learning research. This problem has been studied through the lens of empowerment, which draws a connection between option discovery and information theory. Information-theoretic skill discovery methods have garnered much interest from the community, but little research has been conducted in understanding their limitations. Through theoretical analysis and empirical evidence, we show that existing algorithms suffer from a common limitation -- they discover options that provide a poor coverage of the state space. In light of this, we propose 'Explore, Discover and Learn' (EDL), an alternative approach to information-theoretic skill discovery. Crucially, EDL optimizes the same information-theoretic objective derived from the empowerment literature, but addresses the optimization problem using different machinery. We perform an extensive evaluation of skill discovery methods on controlled environments and show that EDL offers significant advantages, such as overcoming the coverage problem, reducing the dependence of learned skills on the initial state, and allowing the user to define a prior over which behaviors should be learned. Code is publicly available at https://github.com/victorcampos7/edl.


title: Note on the Wigner distribution and Localization Operators in the quasi-Banach setting

abstract: Time-frequency analysis have played a crucial role in the development of localization operators in the last twenty years. We present its applications to the study of boundedness and Schatten Class property for such operators. In particular, new sufficient conditions for such operators to belong to the Schatten-von Neumann Class $S_p$, $0<p<1$, are exhibited. As a byproduct, sharp continuity results for the Wigner distribution are also presented.


title: Acyclic matchings in graphs of bounded maximum degree

abstract: A matching $M$ in a graph $G$ is acyclic if the subgraph of $G$ induced by the set of vertices that are incident to an edge in $M$ is a forest. We prove that every graph with $n$ vertices, maximum degree at most $\Delta$, and no isolated vertex, has an acyclic matching of size at least $(1-o(1))\frac{6n}{\Delta^2},$ and we explain how to find such an acyclic matching in polynomial time.


title: On two congruences involving Franel numbers

abstract: Via symbolic summation method, we establish the following series for $\pi^2$: \begin{align*} \sum_{k=1}^\infty \frac{H_k-2H_{2k}}{(-3)^k k} = \frac{\pi^2}{18}, \end{align*} where $H_k=\sum_{j=1}^k 1/j$. We also derive a $p$-adic congruence related to this series. As an application, we prove two congruences involving Franel numbers, one of which was originally conjectured by Sun.


title: CRVOS: Clue Refining Network for Video Object Segmentation

abstract: The encoder-decoder based methods for semi-supervised video object segmentation (Semi-VOS) have received extensive attention due to their superior performances. However, most of them have complex intermediate networks which generate strong specifiers to be robust against challenging scenarios, and this is quite inefficient when dealing with relatively simple scenarios. To solve this problem, we propose a real-time network, Clue Refining Network for Video Object Segmentation (CRVOS), that does not have any intermediate network to efficiently deal with these scenarios. In this work, we propose a simple specifier, referred to as the Clue, which consists of the previous frame's coarse mask and coordinates information. We also propose a novel refine module which shows the better performance compared with the general ones by using a deconvolution layer instead of a bilinear upsampling layer. Our proposed method shows the fastest speed among the existing methods with a competitive accuracy. On DAVIS 2016 validation set, our method achieves 63.5 fps and J&F score of 81.6%.


title: Symmetries and integrals of motion of a superintegrable deformed oscillator

abstract: The symmetry structure of twodimensional nonlinear isotropic oscillator, introduced in Physica D237 (2008) 505, is discussed. It is shown that it possesses three independent integrals of motion which can be chosen in such a way that they span SU(2), E(2) or SU(1,1) algebras, depending on the value of total energy. They generate the infinitesimal canonical symmetry transformations; integrability of the latter is analyzed. The results are then generalized to the case of arbitrary number of degrees of freedom.


title: Divergence of finitely presented groups

abstract: We construct families of finitely presented groups exhibiting new divergence behavior; we obtain divergence functions of the form $r^\alpha$ for a dense set of exponents $\alpha \in [2,\infty)$ and $r^n\log(r)$ for integers $n \geq 2$. The same construction also yields examples of finitely presented groups which contain Morse elements that are not contracting.


title: Burst-induced coronal cooling in GS 1826-24 The clock wagging its tail

abstract: Type I X-ray bursts in GS 1826-24, and in several other systems, may induce cooling of the hot inner accretion flow that surrounds the bursting neutron star. Given that GS 1826-24 remained persistently in the hard state over the period 2003-2008 and presented regular bursting properties, we stacked the spectra of the X-ray bursts detected by INTEGRAL (JEM-X and ISGRI) and XMM-Newton (RGS) during that period to study the effect of the burst photons on the properties of the Comptonizing medium. The extended energy range provided by these instruments allows the simultaneous observation of the burst and persistent emission spectra. We detect an overall change in the shape of the persistent emission spectrum in response to the burst photon shower. For the first time, we observe simultaneously a drop in the hard X-ray emission, together with a soft X-ray excess with respect to the burst blackbody emission. The hard X-ray drop can be explained by burst-induced coronal cooling, while the bulk of the soft X-ray excess can be described by fitting the burst emission with an atmosphere model, instead of a simple blackbody model. Traditionally, the persistent emission was assumed to be invariant during X-ray bursts, and more recently to change only in normalization but not in spectral shape; the observed change in the persistent emission level during X-ray bursts may thus trigger the revision of existing neutron star mass-radius constraints, as the derived values rely on the assumption that the persistent emission does not change during X-ray bursts. The traditional burst fitting technique leads to up to a 10% overestimation of the bolometric burst flux in GS 1826-24, which significantly hampers the comparisons of the KEPLER and MESA model against this 'textbook burster'.


title: Fast and High-order Accuracy Numerical Methods for Time-Dependent Nonlocal Problems in $\mathbb{R}^2

abstract: In this paper, we study the Crank-Nicolson method for temporal dimension and the piecewise quadratic polynomial collocation method for spatial dimensions of time-dependent nonlocal problems. The new theoretical results of such discretization are that the proposed numerical method is unconditionally stable and its global truncation error is of $\mathcal{O}\left(\tau^2+h^{4-\gamma}\right)$ with $0<\gamma<1$, where $\tau$ and $h$ are the discretization sizes in the temporal and spatial dimensions respectively. Also we develop the conjugate gradient squared method to solving the resulting discretized nonsymmetric and indefinite systems arising from time-dependent nonlocal problems including two-dimensional cases. By using additive and multiplicative Cauchy kernels in non-local problems, structured coefficient matrix-vector multiplication can be performed efficiently in the conjugate gradient squared iteration. Numerical examples are given to illustrate our theoretical results and demonstrate that the computational cost of the proposed method is of $O(M \log M)$ operations where $M$ is the number of collocation points.


title: Linearization of the higher analogue of Courant algebroids

abstract: In this paper, we show that the spaces of sections of the $n$-th differential operator bundle $\dev^n E$ and the $n$-th skew-symmetric jet bundle $\jet_n E$ of a vector bundle $E$ are isomorphic to the spaces of linear $n$-vector fields and linear $n$-forms on $E^*$ respectively. Consequently, the $n$-omni-Lie algebroid $\dev E\oplus\jet_n E$ introduced by Bi-Vitagliago-Zhang can be explained as certain linearization, which we call pseudo-linearization of the higher analogue of Courant algebroids $TE^*\oplus \wedge^nT^*E^*$. On the other hand, we show that the omni $n$-Lie algebroid $\dev E\oplus \wedge^n\jet E$ can also be explained as certain linearization, which we call Weinstein-linearization of the higher analogue of Courant algebroids $TE^*\oplus \wedge^nT^*E^*$. We also show that $n$-Lie algebroids, local $n$-Lie algebras and Nambu-Jacobi structures can be characterized as integrable subbundles of omni $n$-Lie algebroids.


title: Semialgebraic Optimization for Lipschitz Constants of ReLU Networks

abstract: The Lipschitz constant of a network plays an important role in many applications of deep learning, such as robustness certification and Wasserstein Generative Adversarial Network. We introduce a semidefinite programming hierarchy to estimate the global and local Lipschitz constant of a multiple layer deep neural network. The novelty is to combine a polynomial lifting for ReLU functions derivatives with a weak generalization of Putinar's positivity certificate. This idea could also apply to other, nearly sparse, polynomial optimization problems in machine learning. We empirically demonstrate that our method provides a trade-off with respect to state of the art linear programming approach, and in some cases we obtain better bounds in less time.


title: Likelihood, Replicability and Robbins' Confidence Sequences

abstract: The widely claimed replicability crisis in science may lead to revised standards of significance. The customary frequentist confidence intervals, calibrated through hypothetical repetitions of the experiment that is supposed to have produced the data at hand, rely on a feeble concept of replicability. In particular, contradictory conclusions may be reached when a substantial enlargement of the study is undertaken. To redefine statistical confidence in such a way that inferential conclusions are non-contradictory, with large enough probability, under enlargements of the sample, we give a new reading of a proposal dating back to the 60's, namely Robbins' confidence sequences. Directly bounding the probability of reaching, in the future, conclusions that contradict the current ones, Robbins' confidence sequences ensure a clear-cut form of replicability when inference is performed on accumulating data. Their main frequentist property is easy to understand and to prove. We show that Robbins' confidence sequences may be justified under various views of inference: they are likelihood-based, can incorporate prior information, and obey the strong likelihood principle. They are easy to compute, even when inference is on a parameter of interest, especially using a closed-form approximation from normal asymptotic theory.


title: Dimensions of fractional Brownian images

abstract: This paper concerns the intermediate dimensions, a spectrum of dimensions that interpolate between the Hausdorff and box dimensions. Potential theoretic methods are used to produce dimension bounds for images of sets under H\"older maps and certain stochastic processes. We apply this to compute the almost-sure value of the dimension of Borel sets under index-$\alpha$ fractional Brownian motion in terms of dimension profiles defined using capacities. As a corollary, this establishes continuity of the profiles for Borel sets and allows us to obtain an explicit condition showing how the Hausdorff dimension of a set may influence the typical box dimension of H\"older images such as projections. The methods used propose a general strategy for related problems; dimensional information about a set may be learned from analysing particular fractional Brownian images of that set. To conclude, we obtain bounds on the Hausdorff dimension of exceptional sets, with respect to intermediate dimensions, in the setting of projections.


title: On upper bounds on expectations of gOSs based on DFR and DFRA distributions

abstract: We focus on the problem of establishing the optimal upper bounds on generalized order statistics which are based on the underlying cdf belonging to the family of distributions with decreasing failure rate and decreasing failure rate on the average. This issue has been previously considered by Bieniek [Projection bounds on expectations of generalized order statistics from DFR and DFRA families, Statistics, 2006; 40: 339--351], who established upper nonnegative mean-variance bounds with use of the projections of the compositions of density functions of the uniform generalized order statistic and the exponential distribution function onto the properly chosen convex cones. In this paper we obtain possibly negative upper bounds, by improving the zero bounds obtained by Bieniek for some particular cases of gOSs. We express the bounds in the scale units generated by the central absolute moments of arbitrary orders. We also describe the attainability conditions.


title: Beam-spread determination for luminosity measurement at CEPC

abstract: Any asymmetry in energy of the colliding beams will lead to a longitudinal boost of the center-of-mass frame of colliding particles w.r.t. the laboratory frame and consequently to the counting loss in luminometer due to the loss of colinearity of Bhabha final states. At CEPC running at the Z0 pole, asymmetry in energy of the colliding beams should be known as well as 12.5% of the beam-spread, in order to control the uncertainty of Bhabha count at the level of 0.01%. Here we discuss the method, initially proposed for FCCee, to determine variation of the beam-spread from the measurement of the effective center-of-mass energy in $e^+e^- \to \mu^+\mu^-$ collisions.


title: Improving Face Recognition from Hard Samples via Distribution Distillation Loss

abstract: Large facial variations are the main challenge in face recognition. To this end, previous variation-specific methods make full use of task-related prior to design special network losses, which are typically not general among different tasks and scenarios. In contrast, the existing generic methods focus on improving the feature discriminability to minimize the intra-class distance while maximizing the interclass distance, which perform well on easy samples but fail on hard samples. To improve the performance on those hard samples for general tasks, we propose a novel Distribution Distillation Loss to narrow the performance gap between easy and hard samples, which is a simple, effective and generic for various types of facial variations. Specifically, we first adopt state-of-the-art classifiers such as ArcFace to construct two similarity distributions: teacher distribution from easy samples and student distribution from hard samples. Then, we propose a novel distribution-driven loss to constrain the student distribution to approximate the teacher distribution, which thus leads to smaller overlap between the positive and negative pairs in the student distribution. We have conducted extensive experiments on both generic large-scale face benchmarks and benchmarks with diverse variations on race, resolution and pose. The quantitative results demonstrate the superiority of our method over strong baselines, e.g., Arcface and Cosface.


title: Uncertainty Estimation for End-To-End Learned Dense Stereo Matching via Probabilistic Deep Learning

abstract: Motivated by the need to identify erroneous disparity assignments, various approaches for uncertainty and confidence estimation of dense stereo matching have been presented in recent years. As in many other fields, especially deep learning based methods have shown convincing results. However, most of these methods only model the uncertainty contained in the data, while ignoring the uncertainty of the employed dense stereo matching procedure. Additionally modelling the latter, however, is particularly beneficial if the domain of the training data varies from that of the data to be processed. For this purpose, in the present work the idea of probabilistic deep learning is applied to the task of dense stereo matching for the first time. Based on the well-known and commonly employed GC-Net architecture, a novel probabilistic neural network is presented, for the task of joint depth and uncertainty estimation from epipolar rectified stereo image pairs. Instead of learning the network parameters directly, the proposed probabilistic neural network learns a probability distribution from which parameters are sampled for every prediction. The variations between multiple such predictions on the same image pair allow to approximate the model uncertainty. The quality of the estimated depth and uncertainty information is assessed in an extensive evaluation on three different datasets.


title: Alternating Tree Automata with Qualitative Semantics

abstract: We study alternating automata with qualitative semantics over infinite binary trees: alternation means that two opposing players construct a decoration of the input tree called a run, and the qualitative semantics says that a run of the automaton is accepting if almost all branches of the run are accepting. In this paper we prove a positive and a negative result for the emptiness problem of alternating automata with qualitative semantics. The positive result is the decidability of the emptiness problem for the case of B\"uchi acceptance condition. An interesting aspect of our approach is that we do not extend the classical solution for solving the emptiness problem of alternating automata, which first constructs an equivalent non-deterministic automaton. Instead, we directly construct an emptiness game making use of imperfect information. The negative result is the undecidability of the emptiness problem for the case of co-B\"uchi acceptance condition. This result has two direct consequences: the undecidability of monadic second-order logic extended with the qualitative path-measure quantifier, and the undecidability of the emptiness problem for alternating tree automata with non-zero semantics, a recently introduced probabilistic model of alternating tree automata.


title: AnomalyDAE: Dual autoencoder for anomaly detection on attributed networks

abstract: Anomaly detection on attributed networks aims at finding nodes whose patterns deviate significantly from the majority of reference nodes, which is pervasive in many applications such as network intrusion detection and social spammer detection. However, most existing methods neglect the complex cross-modality interactions between network structure and node attribute. In this paper, we propose a deep joint representation learning framework for anomaly detection through a dual autoencoder (AnomalyDAE), which captures the complex interactions between network structure and node attribute for high-quality embeddings. Specifically, AnomalyDAE consists of a structure autoencoder and an attribute autoencoder to learn both node embedding and attribute embedding jointly in latent space. Moreover, attention mechanism is employed in structure encoder to learn the importance between a node and its neighbors for an effective capturing of structure pattern, which is important to anomaly detection. Besides, by taking both the node embedding and attribute embedding as inputs of attribute decoder, the cross-modality interactions between network structure and node attribute are learned during the reconstruction of node attribute. Finally, anomalies can be detected by measuring the reconstruction errors of nodes from both the structure and attribute perspectives. Extensive experiments on real-world datasets demonstrate the effectiveness of the proposed method.


title: Scalegenesis and fermionic dark matters in the flatland scenario

abstract: We propose an extension of the standard model with Majorana-type fermionic dark matters based on the flatland scenario where all scalar coupling constants, including scalar mass terms, vanish at the Planck scale, i.e. the scalar potential is flat above the Planck scale. This scenario could be compatible with the asymptotic safety paradigm for quantum gravity. We search the parameter space so that the model reproduces the observed values such as the Higgs mass, the electroweak vacuum and the relic abundance of dark matter. We also investigate the spin-independent elastic cross section for the Majorana fermions and a nucleon. It is shown that the Majorana fermions as dark matter candidates could be tested by dark matter direct detection experiments such as XENON, LUX and PandaX-II. We demonstrate that within the minimal setup compatible with the flatland scenario at the Planck scale or asymptotically safe quantum gravity, the extended model could have a strong predictability.


title: On Regular Black Holes at Finite Temperature

abstract: The Thermo Field Dynamics (TFD) formalism is used to investigate the regular black holes at finite temperature. Using the Teleparalelism Equivalent to General Relativity (TEGR) the gravitational Stefan-Boltzmann law and the gravitational Casimir effect at zero and finite temperature are calculated. In addition, the first law of thermodynamics is considered. Then the gravitational entropy and the temperature of the event horizon of a class of regular black holes are determined.


title: Learning Interpretable Models in the Property Specification Language

abstract: We address the problem of learning human-interpretable descriptions of a complex system from a finite set of positive and negative examples of its behavior. In contrast to most of the recent work in this area, which focuses on descriptions expressed in Linear Temporal Logic (LTL), we develop a learning algorithm for formulas in the IEEE standard temporal logic PSL (Property Specification Language). Our work is motivated by the fact that many natural properties, such as an event happening at every n-th point in time, cannot be expressed in LTL, whereas it is easy to express such properties in PSL. Moreover, formulas in PSL can be more succinct and easier to interpret (due to the use of regular expressions in PSL formulas) than formulas in LTL. Our learning algorithm builds on top of an existing algorithm for learning LTL formulas. Roughly speaking, our algorithm reduces the learning task to a constraint satisfaction problem in propositional logic and then uses a SAT solver to search for a solution in an incremental fashion. We have implemented our algorithm and performed a comparative study between the proposed method and the existing LTL learning algorithm. Our results illustrate the effectiveness of the proposed approach to provide succinct human-interpretable descriptions from examples.


title: Electron Spin Resonance spectroscopy with femtoliter detection volume

abstract: We report electron spin resonance measurements of donors in silicon at millikelvin temperatures using a superconducting $LC$ planar micro-resonator and a Josephson Parametric Amplifier. The resonator includes a nanowire inductor, defining a femtoliter detection volume. Due to strain in the substrate, the donor resonance lines are heavily broadened. Single-spin to photon coupling strengths up to $\sim 3~\text{kHz}$ are observed. The single shot sensitivity is $120 \pm 24~$spins/Hahn echo, corresponding to $\approx 12 \pm 3$~spins$/\sqrt{\text{Hz}}$ for repeated acquisition.


title: A Calder\'on type inverse problem for tree graphs

abstract: We study the inverse problem of recovering a tree graph together with the weights on its edges (equivalently a metric tree) from the knowledge of the Dirichlet-to-Neumann matrix associated with the Laplacian. We prove an explicit formula which relates this matrix to the pairwise weighted distances of the leaves of the tree and, thus, allows to recover the weighted tree. This result can be viewed as a counterpart of the Calder\'on problem in the analysis of PDEs. In contrast to earlier results on inverse problems for metric graphs, we only assume knowledge of the Dirichlet-to-Neumann matrix for a fixed energy, not of a whole matrix-valued function.


title: Autonomous Planning Based on Spatial Concepts to Tidy Up Home Environments with Service Robots

abstract: Tidy-up tasks by service robots in home environments are challenging in robotics applications because they involve various interactions with the environment. In particular, robots are required not only to grasp, move, and release various home objects but also to plan the order and positions for placing the objects. In this paper, we propose a novel planning method that can efficiently estimate the order and positions of the objects to be tidied up by learning the parameters of a probabilistic generative model. The model allows a robot to learn the distributions of the co-occurrence probability of the objects and places to tidy up using the multimodal sensor information collected in a tidied environment. Additionally, we develop an autonomous robotic system to perform the tidy-up operation. We evaluate the effectiveness of the proposed method by an experimental simulation that reproduces the conditions of the Tidy Up Here task of the World Robot Summit 2018 international robotics competition. The simulation results show that the proposed method enables the robot to successively tidy up several objects and achieves the best task score among the considered baseline tidy-up methods.


title: Efficient decoy-states for the reference-frame-independent measurement-device-independent quantum key distribution

abstract: Reference-frame-independent measurement-device-independent quantum key distribution (RFI-MDI-QKD) is a novel protocol which eliminates all possible attacks on detector side and necessity of reference-frame alignment in source sides. However, its performance may degrade notably due to statistical fluctuations, since more parameters, e.g. yields and error rates for mismatched-basis events, must be accumulated to monitor the security. In this work, we find that the original decoy-states method estimates these yields over pessimistically since it ignores the potential relations between different bases. Through processing parameters of different bases jointly, the performance of RFI-MDI-QKD is greatly improved in terms of secret key rate and achievable distance when statistical fluctuations are considered. Our results pave an avenue towards practical RFI-MDI-QKD.


title: Rethinking Class-Prior Estimation for Positive-Unlabeled Learning

abstract: Given only positive (P) and unlabeled (U) data, PU learning can train a binary classifier without any negative data. It has two building blocks: PU class-prior estimation (CPE) and PU classification; the latter has been well studied while the former has received less attention. Hitherto, the distributional-assumption-free CPE methods rely on a critical assumption that the support of the positive data distribution cannot be contained in the support of the negative data distribution. If this is violated, those CPE methods will systematically overestimate the class prior; it is even worse that we cannot verify the assumption based on the data. In this paper, we rethink CPE for PU learning-can we remove the assumption to make CPE always valid? We show an affirmative answer by proposing Regrouping CPE (ReCPE) that builds an auxiliary probability distribution such that the support of the positive data distribution is never contained in the support of the negative data distribution. ReCPE can work with any CPE method by treating it as the base method. Theoretically, ReCPE does not affect its base if the assumption already holds for the original probability distribution; otherwise, it reduces the positive bias of its base. Empirically, ReCPE improves all state-of-the-art CPE methods on various datasets, implying that the assumption has indeed been violated here.


title: Testing for complete spatial randomness on three dimensional bounded convex shapes

abstract: There is currently a gap in theory for point patterns that lie on the surface of objects, with researchers focusing on patterns that lie in a Euclidean space, typically planar and spatial data. Methodology for planar and spatial data thus relies on Euclidean geometry and is therefore inappropriate for analysis of point patterns observed in non-Euclidean spaces. Recently, there has been extensions to the analysis of point patterns on a sphere, however, many other shapes are left unexplored. This is in part due to the challenge of defining the notion of stationarity for a point process existing on such a space due to the lack of rotational and translational isometries. Here, we construct functional summary statistics for Poisson processes defined on convex shapes in three dimensions. Using the Mapping Theorem, a Poisson process can be transformed from any convex shape to a Poisson process on the unit sphere which has rotational symmetries that allow for functional summary statistics to be constructed. We present the first and second order properties of such summary statistics and demonstrate how they can be used to test whether an observed pattern exhibits complete spatial randomness or spatial preference on the original convex space. A study of the Type I and II errors of our test statistics are explored through simulations on ellipsoids of varying dimensions.


title: A compact fine-grained calorimeter for luminosity measurement at a linear collider

abstract: Based on a paper published in 2019 by the FCAL Collaboration, this talk is giving an update of the Collaboration's effort to design prototype of highly compact calorimeter to instrument the very forward region of a detector at future $e^+e^-$ colliders. A luminometer prototype, based on sub-millimeter thick detector planes, is tested with an electron-beam of energy 1-5 GeV. The effective Moliere radius of the prototype comprising eight detector planes was measured to be (8.1 +/- 0.1 (stat.) +/- 0.3 (syst.))mm, and the result is well reproduced by the Monte Carlo simulation.


title: Gravitational wave from cosmic inflation in a gravity with two small four-derivative corrections

abstract: We investigate a model of inflationary cosmology where the minimally coupled scalar field theory is modified by additional correction terms. Among the most general ten correction terms remarked by Weinberg in context of effective field theory, we consider only two terms, $f_1(\phi) R^2$ and $f_2(\phi) R^{ab}R_{ab}$, following the work by Noh and Hwang where $f_1$ and $f_2$ are constant. The fourth order differential equations for the background universe and the tensor-type perturbation are derived out of this model. We show that these equations can be reduced to second order equations, supposing that $f_n$ are small. From these approximated equations, we find that the propagation speed of gravitational wave is slightly less than the speed of light due to $f_2$ term, and that the evolution of the tensor-type perturbation is conserved in the large scale limit.


title: Minimum adjusted Rand index for two clusterings of a given size

abstract: The adjusted Rand index (ARI) is commonly used in cluster analysis to measure the degree of agreement between two data partitions. Since its introduction, exploring the situations of extreme agreement and disagreement under different circumstances has been a subject of interest, in order to achieve a better understanding of this index. Here, an explicit formula for the lowest possible value of the ARI for two clusterings of given sizes is shown, and moreover a specific pair of clusterings achieving such a bound is provided.


title: Simulating longitudinal data from marginal structural models using the additive hazard model

abstract: Observational longitudinal data on treatments and covariates are increasingly used to investigate treatment effects, but are often subject to time-dependent confounding. Marginal structural models (MSMs), estimated using inverse probability of treatment weighting or the g-formula, are popular for handling this problem. With increasing development of advanced causal inference methods, it is important to be able to assess their performance in different scenarios to guide their application. Simulation studies are a key tool for this, but their use to evaluate causal inference methods has been limited. This paper focuses on the use of simulations for evaluations involving MSMs in studies with a time-to-event outcome. In a simulation, it is important to be able to generate the data in such a way that the correct form of any models to be fitted to those data is known. However, this is not straightforward in the longitudinal setting because it is natural for data to be generated in a sequential conditional manner, whereas MSMs involve fitting marginal rather than conditional hazard models. We provide general results that enable the form of the correctly-specified MSM to be derived based on a conditional data generating procedure, and show how the results can be applied when the conditional hazard model is an Aalen additive hazard or Cox model. Using conditional additive hazard models is advantageous because they imply additive MSMs that can be fitted using standard software. We describe and illustrate a simulation algorithm. Our results will help researchers to effectively evaluate causal inference methods via simulation.


title: Flagellar length control in biflagellate eukaryotes: time-of-flight, shared pool, train traffic and cooperative phenomena

abstract: Flagella of eukaryotic cells are transient long cylindrical protrusions. The proteins needed to form and maintain flagella are synthesized in the cell body and transported to the distal tips. What `rulers' or `timers' a specific type of cells use to strike a balance between the outward and inward transport of materials so as to maintain a particular length of its flagella in the steady state is one of the open questions in cellular self-organization. Even more curious is how the two flagella of biflagellates, like Chlamydomonas Reinhardtii, communicate through their base to coordinate their lengths. In this paper we develop a stochastic model for flagellar length control based on a time-of-flight (ToF) mechanism. This ToF mechanism decides whether or not structural proteins are to be loaded onto an intraflagellar transport (IFT) train just before it begins its motorized journey from the base to the tip of the flagellum. Because of the ongoing turnover, the structural proteins released from the flagellar tip are transported back to the cell body also by IFT trains. We represent the traffic of IFT trains as a totally asymmetric simple exclusion process (TASEP). The ToF mechanism for each flagellum, together with the TASEP-based description of the IFT trains, combined with a scenario of sharing of a common pool of flagellar structural proteins in biflagellates, can account for all key features of experimentally known phenomena. These include ciliogenesis, resorption, deflagellation as well as regeneration after selective amputation of one of the two flagella. We also show that the experimental observations of Ishikawa and Marshall are consistent with the ToF mechanism of length control if the effects of the mutual exclusion of the IFT trains captured by the TASEP are taken into account. Moreover, we make new predictions on the flagellar length fluctuations and the role of the common pool.


title: In situ kinetics studies of Zn-Al LDH intercalation with corrosion related species

abstract: Kinetics parameters for three anion exchange reactions - Zn-LDH-NO3 - Zn-LDH-Cl, Zn-LDH-NO3 - Zn-LDH-SO4 and Zn-LDH-NO3 - Zn-LDH-VOx - were obtained by in situ synchrotron study. The first and the second ones are two-stage reactions; the first stage is characterized by the two-dimensional diffusion-controlled reaction following deceleratory nucleation and the second stage is a one-dimensional diffusion-controlled reaction also with a decelerator nucleation effect. In the case of exchange NO3 - Cl host anions are completely released, while in the case of NO3 - SO42 the reaction ends without complete release of nitrate anions. The exchange of Zn-LDH-NO3 - Zn-LDH-VOx is one-stage reaction and goes much slower than the previous two cases. It is characterized by a one stage two-dimensional reaction and nucleation considered to be instantaneous in this case. As a result, at the end of this process there are two crystalline phases with different polyvanadate species, presumably V4O124 and V2O74, nitrate anions were not completely released. The rate of replacing NO3 anions by guest ones can be represented as Cl > SO42 > VOxy.


title: First Directions for Using Gamification to Motivate for Open Access

abstract: Most scientists are aware that, in addition to the traditional and subscription-based publication model, there is also the possibility of publishing their research in open access. Various surveys show that scientists are in favour of this new model. Nevertheless, the transition to open access has been very slow so far. In order to accelerate this process, we are looking for new opportunities to create incentives for researchers to deal with the topic of open access. In a field study with 28 participants the effects of the game design elements badge and progress bar on the motivation when working on an online quiz on the topic of open access are examined. In our study both game design elements provide a statistically significant increase in the number of questions answered compared to a control group. This suggests that gamification is useful to motivate for open access.


title: High-precision polarimetry of nearby stars (d<50 pc) Mapping the interstellar dust and magnetic field inside the Local Bubble

abstract: We investigate the linear polarization produced by interstellar dust aligned by the magnetic field in the solar neighborhood (d< 50 pc). We also look for intrinsic effects from circumstellar processes, specifically in terms of polarization variability and wavelength dependence. We aim to detect and map dust clouds which give rise to statistically significant amounts of polarization of the starlight passing through the cloud, and to determine the interstellar magnetic field direction from the position angle of the observed polarization. High-precision broad-band (BVR) polarization observations are made of 361 stars in spectral classes F to G, in the magnitude range 4-9, with detection sensitivity at the level of or better than 10E-5 (0.001 %). Statistically significant (>3 sigma) polarization is found in 115 stars, and > 2 sigma detection in 178 stars, out of the total sample of 361 stars. Polarization maps based on these data show filament-like patterns of polarization position angles which are related to both the heliosphere geometry, the kinematics of nearby clouds, and the Interstellar Boundary EXplorer (IBEX) ribbon magnetic field. From long-term multiple observations, a number (18) of stars show evidence of intrinsic variability at the 10E-5 level. This can be attributed to circumstellar effects (e.g., debris disks and chromospheric activity). The star HD 101805 shows a peculiar wavelength dependence, indicating size distribution of scattering particles different from that of a typical interstellar medium.


title: Deep Multi-task Multi-label CNN for Effective Facial Attribute Classification

abstract: Facial Attribute Classification (FAC) has attracted increasing attention in computer vision and pattern recognition. However, state-of-the-art FAC methods perform face detection/alignment and FAC independently. The inherent dependencies between these tasks are not fully exploited. In addition, most methods predict all facial attributes using the same CNN network architecture, which ignores the different learning complexities of facial attributes. To address the above problems, we propose a novel deep multi-task multi-label CNN, termed DMM-CNN, for effective FAC. Specifically, DMM-CNN jointly optimizes two closely-related tasks (i.e., facial landmark detection and FAC) to improve the performance of FAC by taking advantage of multi-task learning. To deal with the diverse learning complexities of facial attributes, we divide the attributes into two groups: objective attributes and subjective attributes. Two different network architectures are respectively designed to extract features for two groups of attributes, and a novel dynamic weighting scheme is proposed to automatically assign the loss weight to each facial attribute during training. Furthermore, an adaptive thresholding strategy is developed to effectively alleviate the problem of class imbalance for multi-label learning. Experimental results on the challenging CelebA and LFWA datasets show the superiority of the proposed DMM-CNN method compared with several state-of-the-art FAC methods.


title: Vortices over Riemann surfaces and dominated splittings

abstract: We associate a flow $\phi$ to a solution of the vortex equations on a closed oriented Riemannian 2-manifold $(M,g)$ of negative Euler characteristic and investigate its properties. We show that $\phi$ always admits a dominated splitting and identify special cases in which $\phi$ is Anosov. In particular, starting from holomorphic differentials of fractional degree, we produce novel examples of Anosov flows on suitable roots of the unit tangent bundle of $(M,g)$.


title: Charges of Monopole Operators in $\widehat{ADE}$ Chern-Simons Quiver Gauge Theories

abstract: We compute R-charges of the BPS-monopole operators in $\mathcal{N} = 3$ $\widehat{ADE}$ Chern-Simons quiver gauge theories, along the lines of the work of Benna, Klebanov and Klose in \cite{bkk}. These theories have a weakly coupled UV completion in terms of $\mathcal{N}=3$ supersymmetric Chern-Simons Yang-Mills theories. In the UV limit the monopole operators are well approximated by classical solutions. We construct classical BPS and anti-BPS monopole solutions to these theories which preserve $\frac{1}{3}$ supersymmetry all along the RG flow. We compute the $SU(2)_R$ charges in these backgrounds and show that the smallest possible value of quantised $SU(2)_R$ charge is zero in each quiver theory.


title: Optimization of Retrieval Algorithms on Large Scale Knowledge Graphs

abstract: Knowledge graphs have been shown to play an important role in recent knowledge mining and discovery, for example in the field of life sciences or bioinformatics. Although a lot of research has been done on the field of query optimization, query transformation and of course in storing and retrieving large scale knowledge graphs the field of algorithmic optimization is still a major challenge and a vital factor in using graph databases. Few researchers have addressed the problem of optimizing algorithms on large scale labeled property graphs. Here, we present two optimization approaches and compare them with a naive approach of directly querying the graph database. The aim of our work is to determine limiting factors of graph databases like Neo4j and we describe a novel solution to tackle these challenges. For this, we suggest a classification schema to differ between the complexity of a problem on a graph database. We evaluate our optimization approaches on a test system containing a knowledge graph derived biomedical publication data enriched with text mining data. This dense graph has more than 71M nodes and 850M relationships. The results are very encouraging and - depending on the problem - we were able to show a speedup of a factor between 44 and 3839.


title: SPAN: A Stochastic Projected Approximate Newton Method

abstract: Second-order optimization methods have desirable convergence properties. However, the exact Newton method requires expensive computation for the Hessian and its inverse. In this paper, we propose SPAN, a novel approximate and fast Newton method. SPAN computes the inverse of the Hessian matrix via low-rank approximation and stochastic Hessian-vector products. Our experiments on multiple benchmark datasets demonstrate that SPAN outperforms existing first-order and second-order optimization methods in terms of the convergence wall-clock time. Furthermore, we provide a theoretical analysis of the per-iteration complexity, the approximation error, and the convergence rate. Both the theoretical analysis and experimental results show that our proposed method achieves a better trade-off between the convergence rate and the per-iteration efficiency.


title: Knowledge Distillation for Brain Tumor Segmentation

abstract: The segmentation of brain tumors in multimodal MRIs is one of the most challenging tasks in medical image analysis. The recent state of the art algorithms solving this task is based on machine learning approaches and deep learning in particular. The amount of data used for training such models and its variability is a keystone for building an algorithm with high representation power. In this paper, we study the relationship between the performance of the model and the amount of data employed during the training process. On the example of brain tumor segmentation challenge, we compare the model trained with labeled data provided by challenge organizers, and the same model trained in omni-supervised manner using additional unlabeled data annotated with the ensemble of heterogeneous models. As a result, a single model trained with additional data achieves performance close to the ensemble of multiple models and outperforms individual methods.


title: A Measure-Theoretic Approach to Kernel Conditional Mean Embeddings

abstract: We present an operator-free, measure-theoretic approach to the conditional mean embedding (CME) as a random variable taking values in a reproducing kernel Hilbert space. While the kernel mean embedding of unconditional distributions has been defined rigorously, the existing operator-based approach of the conditional version depends on stringent assumptions that hinder its analysis. We overcome this limitation via a measure-theoretic treatment of CMEs. We derive a natural regression interpretation to obtain empirical estimates, and provide a thorough theoretical analysis thereof, including universal consistency. As natural by-products, we obtain the conditional analogues of the maximum mean discrepancy and Hilbert-Schmidt independence criterion, and demonstrate their behaviour via simulations.


title: The random 2-SAT partition function

abstract: We show that throughout the satisfiable phase the normalised number of satisfying assignments of a random $2$-SAT formula converges in probability to an expression predicted by the cavity method from statistical physics. The proof is based on showing that the Belief Propagation algorithm renders the correct marginal probability that a variable is set to `true' under a uniformly random satisfying assignment.


title: Higher order polar and reciprocal polar varieties

abstract: In this note we introduce higher order polar loci as natural generalizations of the classical polar loci, replacing the role of tangent spaces by that of higher order osculating spaces. The close connection between polar loci and dual varieties carries over to a connection between higher order polar loci and higher order dual varieties. We generalize the duality between the degrees of polar classes of a variety and those of its dual variety to varieties that are reflexive to a higher order. In particular, the degree of the top (highest codimension) polar class of order k is equal to the degree of the k-th dual variety. We define higher order Euclidean normal bundles and use them to define higher order reciprocal polar loci and classes. We give examples of how to compute the degrees of the higher order polar and reciprocal polar classes in some special cases: curves, scrolls, and toric varieties.


title: $\mathcal{N}=2$ supersymmetric S-folds

abstract: Multi-parametric families of AdS$_{4}$ vacua with various amounts of supersymmetry and residual gauge symmetry are found in the $\,[\textrm{SO}(1,1) \times \textrm{SO}(6)] \ltimes \mathbb{R}^{12}\,$ maximal supergravity that arises from the reduction of type IIB supergravity on $\,\mathbb{R} \times \textrm{S}^5\,$. These provide natural candidates to holographically describe new strongly coupled three-dimensional CFT's which are localised on interfaces of $\,\mathcal{N}=4\,$ super-Yang--Mills theory. One such AdS$_{4}$ vacua features a symmetry enhancement to $\,\textrm{SU}(2) \times \textrm{U}(1)\,$ while preserving $\,\mathcal{N}=2\,$ supersymmetry. Fetching techniques from the $\,\textrm{E}_{7(7)}\,$ exceptional field theory, its uplift to a class of $\,\mathcal{N}=2\,$ S-folds of type IIB supergravity of the form $\,\textrm{AdS}_{4} \times \textrm{S}^{1} \times \textrm{S}^5\,$ involving S-duality twists of hyperbolic type along $\,\textrm{S}^{1}\,$ is presented.


title: The remnant of neutron star-white dwarf merger and the repeating fast radio bursts

abstract: Fast radio bursts (FRBs) at cosmological distances still hold concealed physical origins. Previously Liu (2018) proposes a scenario that the collision between a neutron star (NS) and a white dwarf (WD) can be one of the progenitors of non-repeating FRBs and notices that the repeating FRBs can also be explained if a magnetar formed after such NS-WD merger. In this paper, we investigate this channel of magnetar formation in more detail. We propose that the NS-WD post-merger, after cooling and angular momentum redistribution, may collapse to either a black hole or a new NS or even remains as a hybrid WDNS, depending on the total mass of the NS and WD. In particular, the newly formed NS can be a magnetar if the core of the WD collapsed into the NS while large quantities of degenerate electrons of the WD compressed to the outer layers of the new NS. A strong magnetic field can be formed by the electrons and positive charges with different angular velocities induced by the differential rotation of the newborn magnetar. Such a magnetar can power the repeating FRBs by the magnetic reconnections due to the crustal movements or starquakes.


title: Anderson Acceleration Based on the $\mathcal{H}^{-s}$ Sobolev Norm for Contractive and Noncontractive Fixed-Point Operators

abstract: Anderson acceleration (AA) is a technique for accelerating the convergence of fixed-point iterations. In this paper, we apply AA to a sequence of functions and modify the norm in its internal optimization problem to the $\mathcal{H}^{-s}$ norm, for some positive integer $s$, to bias it towards low-frequency spectral content in the residual. We analyze the convergence of AA by quantifying its improvement over Picard iteration. We find that AA based on the $\mathcal{H}^{-2}$ norm is well-suited to solve fixed-point operators derived from second-order elliptic differential operators, including the Helmholtz equation.


title: A Study of Excited $\Omega_b^-$ States in Hypercentral Constituent Quark Model via Artificial Neural Network

abstract: In this work, we have obtained mass spectra, radiative decay widths and strong decay widths of newly observed excited $\Omega_b^-$ states, i.e. $\Omega_b(6316)^-$, $\Omega_b(6330)^-$, $\Omega_b(6340)^-$, and $\Omega_b(6350)^-$. Mass spectrum is obtained in Hypercentral Constituent Quark Model (hCQM) by solving six-dimensional nonrelativistic Schr\"odinger equation via Artificila Neural Network (ANN). In this respect, radiative decay widhts are calculated by a generalization of a framework from meson to baryon. Also, strong decay widths of the low-lying $\Omega_b$ states within $^3P_0$ model are calculated. Obtained results are presented with the comparison of available experimental data and other theoretical studies.


title: Real Lagrangian Tori and Versal Deformations

abstract: Can a given Lagrangian submanifold be realized as the fixed point set of an anti-symplectic involution? If so, it is called \emph{real}. We give an obstruction for a closed Lagrangian submanifold to be real in terms of the displacement energy of nearby Lagrangians. Applying this obstruction to toric fibres, we obtain that the central fibre of many (and probably all) toric monotone symplectic manifolds is real only if the corresponding moment polytope is centrally symmetric. Furthermore, we embed the Chekanov torus in all toric monotone symplectic manifolds and show that it is exotic and not real, extending Kim's result (arXiv:1909.09972) for $S^2 \times S^2$. Inside products of $S^2$, we show that all products of Chekanov tori are pairwise distinct and not real either. These results indicate that real tori are rare. Our methods are elementary in the sense that we do not use~$J$-holomorphic curves. Instead, we rely on symplectic reduction and the displacement energy of product tori in $\mathbb{R}^{2n}$.


title: An Approximation of Solutions to Heat Equations defined by Generalized Measure Theoretic Laplacians

abstract: We consider the heat equation defined by a generalized measure theoretic Laplacian on $[0,1]$. This equation describes heat diffusion in a bar such that the mass distribution of the bar is given by a non-atomic Borel probabiliy measure $\mu$, where we do not assume the existence of a strictly positive mass density. We show that weak measure convergence implies convergence of the corresponding generalized Laplacians in the strong resolvent sense. We prove that strong semigroup convergence with respect to the uniform norm follows, which implies uniform convergence of solutions to the corresponding heat equations. This provides, for example, an interpretation for the mathematical model of heat diffusion on a bar with gaps in that the solution to the corresponding heat equation behaves approximately like the heat flow on a bar with sufficiently small mass on these gaps.


title: About Bounds for Eigenvalues of the Laplacian with Density

abstract: Let $M$ denote a compact, connected Riemannian manifold of dimension $n\in{\mathbb N}$. We assume that $ M$ has a smooth and connected boundary. Denote by $g$ and ${\rm d}v_g$ respectively, the Riemannian metric on $M$ and the associated volume element. Let $\Delta$ be the Laplace operator on $M$ equipped with the weighted volume form ${\rm d}m:= {\rm e}^{-h}\,{\rm d}v_g$. We are interested in the operator $L_h\cdot:={\rm e}^{-h(\alpha-1)} (\Delta\cdot +\alpha g(\nabla h,\nabla\cdot))$, where $\alpha > 1$ and $h\in C^2(M)$ are given. The main result in this paper states about the existence of upper bounds for the eigenvalues of the weighted Laplacian $L_h$ with the Neumann boundary condition if the boundary is non-empty.


title: Quantum gravity correction to Hawking radiation of the 2+1 dimensional wormhole

abstract: We carry out the Hawking temperature of a (2+1) dimensional circularly symmetric traversable wormhole in the framework of the generalized uncertainty principle (GUP). Firstly, we introduce the modified Klein-Gordon equation of the spin-0 particle, the modified Dirac equation of the spin-1/2 particle, and the modified vector boson equation of the spin-1 particle in the wormhole background, respectively. Given these equations under the Hamilton-Jacobi approach, we analyze the GUP effect on the tunneling probability of these particles near the trapping horizon, and subsequently, on the Hawking temperature of the wormhole. Furthermore, we have found that the modified Hawking temperature of the wormhole is determined by both wormhole's and tunneling particle's properties and indicated that the wormhole has a positive temperature similar to that of a physical system. This case indicates that the wormhole may be supported by ordinary (non-exotic) matter. In addition, we calculate the Unruh-Verlinde temperature of the wormhole by using Kodama vectors instead of time-like Killing vectors, and observe that it equals to the standard Hawking temperature of the wormhole.


title: Network-based models for social recommender systems

abstract: With the overwhelming online products available in recent years, there is an increasing need to filter and deliver relevant personalized advice for users. Recommender systems solve this problem by modeling and predicting individual preferences for a great variety of items such as movies, books or research articles. In this chapter, we explore rigorous network-based models that outperform leading approaches for recommendation. The network models we consider are based on the explicit assumption that there are groups of individuals and of items, and that the preferences of an individual for an item are determined only by their group memberships. The accurate prediction of individual user preferences over items can be accomplished by different methodologies, such as Monte Carlo sampling or Expectation-Maximization methods, the latter resulting in a scalable algorithm which is suitable for large datasets.

categories: stat.ML cond-mat.stat-mech cs.LG physics.data-an


title: On ultraproducts, the spectral theorem and rigged Hilbert spaces

abstract: We start by showing how to approximate unitary and bounded self-adjoint operators by operators in finite dimensional spaces. Using ultraproducts we give a precise meaning for the approximation. In this process we see how the spectral measure is obtained as an ultralimit of counting measures that arise naturally from the finite dimensional approximations. Then we see how generalized distributions can be interpreted in the ultraproduct. Finally we study how one can calculate kernels of operators $K$ by calculating them in the finite dimensional approximations and how one needs to interpret Dirac deltas in the ultraproduct in order to get the kernels as propagators $\langle x_{1}|K|x_{0}\rangle$.


title: Exact solution for the quantum Rabi model with the $\boldsymbol{\mathsf{A}}^{2}$ term

abstract: Quantum Rabi model (QRM) is widely used for the analysis of the radiation-matter interaction at the fundamental level in cavity quantum electrodynamics. Typically the QRM Hamiltonian includes only $\boldsymbol{\mathsf{p}} \cdot \boldsymbol{\mathsf{A}}$ term, however, the complete nonrelativistic Hamiltonian of quantum electrodynamics includes $\boldsymbol{\mathsf{A}}^{2}$ term as well. Here we find an exact solution and demonstrate with the help of the exact canonical transformations that the QRM Hamiltonian with the $\boldsymbol{\mathsf{A}}^{2}$ term (QRMA) is reduced to the standard QRM model Hamiltonian with the renormalized frequency and the coupling constant and the eigenstates are expressed through the squeezed states of the field. As a result, the $\boldsymbol{\mathsf{A}}^{2}$ term qualitatively changes the behavior of the QRM with purely electromagnetic interaction in the strong coupling regime: the value of the ground state energy of an atom inside the cavity is higher than in vacuum and the number of crossing of energy levels with different quantum numbers decreases.


title: Distributed Bayesian Matrix Decomposition for Big Data Mining and Clustering

abstract: Matrix decomposition is one of the fundamental tools to discover knowledge from big data generated by modern applications. However, it is still inefficient or infeasible to process very big data using such a method in a single machine. Moreover, big data are often distributedly collected and stored on different machines. Thus, such data generally bear strong heterogeneous noise. It is essential and useful to develop distributed matrix decomposition for big data analytics. Such a method should scale up well, model the heterogeneous noise, and address the communication issue in a distributed system. To this end, we propose a distributed Bayesian matrix decomposition model (DBMD) for big data mining and clustering. Specifically, we adopt three strategies to implement the distributed computing including 1) the accelerated gradient descent, 2) the alternating direction method of multipliers (ADMM), and 3) the statistical inference. We investigate the theoretical convergence behaviors of these algorithms. To address the heterogeneity of the noise, we propose an optimal plug-in weighted average that reduces the variance of the estimation. Synthetic experiments validate our theoretical results, and real-world experiments show that our algorithms scale up well to big data and achieves superior or competing performance compared to other distributed methods.


title: Liberty or Depth: Deep Bayesian Neural Nets Do Not Need Complex Weight Posterior Approximations

abstract: We challenge the longstanding assumption that the mean-field approximation for variational inference in Bayesian neural networks is severely restrictive, and show this is not the case in deep networks. We prove several results indicating that deep mean-field variational weight posteriors can induce similar distributions in function-space to those induced by shallower networks with complex weight posteriors. We validate our theoretical contributions empirically, both through examination of the weight posterior using Hamiltonian Monte Carlo in small models and by comparing diagonal- to structured-covariance in large settings. Since complex variational posteriors are often expensive and cumbersome to implement, our results suggest that using mean-field variational inference in a deeper model is both a practical and theoretically justified alternative to structured approximations.


title: Fibonacci Plays Billiards

abstract: A chain is an ordering of the integers 1 to n such that adjacent pairs have sums of a particular form, such as squares, cubes, triangular numbers, pentagonal numbers, or Fibonacci numbers. For example 4 1 2 3 5 form a Fibonacci chain while 1 2 8 7 3 12 9 6 4 11 10 5 form a triangular chain. Since 1 + 5 is also triangular, this latter forms a triangular necklace. A search for such chains and necklaces can be facilitated by the use of paths of billiard balls on a rectangular or other polygonal billiard table.


title: Sparse Polynomial Interpolation Based on Diversification

abstract: We consider the problem of interpolating a sparse multivariate polynomial over a finite field, represented with a black box. Building on the algorithm of Ben-Or and Tiwari for interpolating polynomials over rings with characteristic zero, we develop a new Monte Carlo algorithm over the finite field by doing additional probes. To interpolate a polynomial $f\in F_q[x_1,\dots,x_n]$ with a partial degree bound $D$ and a term bound $T$, our new algorithm costs $O^\thicksim(nT\log ^2q+nT\sqrt{D}\log q)$ bit operations and uses $2(n+1)T$ probes to the black box. If $q\geq O(nT^2D)$, it has constant success rate to return the correct polynomial. Compared with previous algorithms over general finite field, our algorithm has better complexity in the parameters $n,T,D$ and is the first one to achieve the complexity of fractional power about $D$, while keeping linear in $n,T$. A key technique is a randomization which makes all coefficients of the unknown polynomial distinguishable, producing a diverse polynomial. This approach, called diversification, was proposed by Giesbrecht and Roche in 2011. Our algorithm interpolates each variable independently using $O(T)$ probes, and then uses the diversification to correlate terms in different images. At last, we get the exponents by solving the discrete logarithms and obtain coefficients by solving a linear system. We have implemented our algorithm in Maple. Experimental results shows that our algorithm can applied to sparse polynomials with large degree. We also analyze the success rate of the algorithm.


title: The Characteristic Masses of Niemeier Lattices

abstract: Let $L$ be an integral lattice in the Euclidean space $\mathbb{R}^n$ and $W$ an irreducible representation of the orthogonal group of $\mathbb{R}^n$. We give an implemented algorithm computing the dimension of the subspace of invariants in $W$ under the isometry group ${\rm O}(L)$ of $L$. A key step is the determination of the number of elements in ${\rm O}(L)$ having any given characteristic polynomial, a datum that we call the {\it characteristic masses} of $L$. As an application, we determine the characteristic masses of all the Niemeier lattices, and more generally of any even lattice of determinant $\leq 2$ in dimension $n \leq 25$. For Niemeier lattices, as a verification, we provide an alternative (human) computation of the characteristic masses. The main ingredient is the determination, for each Niemeier lattice $L$ with non-empty root system $R$, of the ${\rm G}(R)$-conjugacy classes of the elements of the "umbral" subgroup ${\rm O}(L)/{\rm W}(R)$ of ${\rm G}(R)$, where ${\rm G}(R)$ is the automorphism group of the Dynkin diagram of $R$, and ${\rm W}(R)$ its Weyl group. These results have consequences for the study of the spaces of automorphic forms of the definite orthogonal groups in $n$ variables over $\mathbb{Q}$. As an example, we provide concrete dimension formulas in the level $1$ case, as a function of the weight $W$, up to dimension $n=25$.


title: Sparse Polynomial Interpolation Based on Derivative

abstract: In this paper, we propose two new interpolation algorithms for sparse multivariate polynomials represented by a straight-line program(SLP). Both of our algorithms work over any finite fields $F_q$ with large characteristic. The first one is a Monte Carlo randomized algorithm. Its arithmetic complexity is linear in the number $T$ of non-zero terms of $f$, in the number $n$ of variables. If $q$ is $O((nTD)^{(1)})$, where $D$ is the partial degree bound, then our algorithm has better complexity than other existing algorithms. The second one is a deterministic algorithm. It has better complexity than existing deterministic algorithms over a field with large characteristic. Its arithmetic complexity is quadratic in $n,T,\log D$, i.e., quadratic in the size of the sparse representation. And we also show that the complexity of our deterministic algorithm is the same as the one of deterministic zero-testing of Bl\"{a}ser et al. for the polynomial given by an SLP over finite field (for large characteristic).


title: Magnetically stable zero-bias anomaly in Andreev contact to the magnetic Weyl semimetal Co$_3$Sn$_2$S$_2$

abstract: Being encouraged by the interplay between topology, superconductivity and magnetism, we experimentally investigate charge transport through the interface between the Nb superconductor and the time-reversal symmetry breaking Weyl semimetal Co$_3$Sn$_2$S$_2$. In addition to the proximity induced superconducting gap, we observe several subgap features, among which the most interesting is the prominent subgap zero-bias anomaly, absolutely stable against external magnetic fields up to the critical field of Nb. As the promising scenario for the zero-bias anomaly to appear in transport characteristics, we consider the proximity induced zero-energy Andreev bound states interfaced with the half-metallic Co$_3$Sn$_2$S$_2$ and influenced by the strong spin-orbit coupling and large Zeeman splitting.


title: Bistability in Rayleigh-B\'enard convection with a melting boundary

abstract: A pure and incompressible material is confined between two plates such that it is heated from below and cooled from above. When its melting temperature is comprised between these two imposed temperatures, an interface separating liquid and solid phases appears. Depending on the initial conditions, freezing or melting occurs until the interface eventually converges towards a stationary state. This evolution is studied numerically in a two-dimensional configuration using a phase-field method coupled with the Navier-Stokes equations. Varying the control parameters of the model, we exhibit two types of equilibria: diffusive and convective. In the latter case, Rayleigh-B\'enard convection in the liquid phase shapes the solid-liquid front, and a macroscopic topography is observed. A simple way of predicting these equilibrium positions is discussed and then compared with the numerical simulations. In some parameter regimes, we show that multiple equilibria can coexist depending on the initial conditions. We also demonstrate that, in this bi-stable regime, transitioning from the diffusive to the convective equilibrium is inherently a nonlinear mechanism involving finite-amplitude perturbations.


title: Learning End-to-End Lossy Image Compression: A Benchmark

abstract: Image compression is one of the most fundamental techniques and commonly used applications in the image and video processing field. Earlier methods built a well-designed pipeline, and efforts were made to improve all modules of the pipeline by handcrafted tuning. Later, tremendous contributions were made, especially when data-driven methods revitalized the domain with their excellent modeling capacities and flexibility in incorporating newly designed modules and constraints. Despite great progress, a systematic benchmark and comprehensive analysis of end-to-end learned image compression methods are lacking. In this paper, we first conduct a comprehensive literature survey of learned image compression methods. The literature is organized based on several aspects to jointly optimize the rate-distortion performance with a neural network, i.e., network architecture, entropy model and rate control. We describe milestones in cutting-edge learned image-compression methods, review a broad range of existing works, and provide insights into their historical development routes. With this survey, the main challenges of image compression methods are revealed, along with opportunities to address the related issues with recent advanced learning methods. This analysis provides an opportunity to take a further step towards higher-efficiency image compression. By introducing a coarse-to-fine hyperprior model for entropy estimation and signal reconstruction, we achieve improved rate-distortion performance, especially on high-resolution images. Extensive benchmark experiments demonstrate the superiority of our model in rate-distortion performance and time complexity on multi-core CPUs and GPUs. Our project website is available at https://huzi96.github.io/compression-bench.html.


title: On Contrastive Learning for Likelihood-free Inference

abstract: Likelihood-free methods perform parameter inference in stochastic simulator models where evaluating the likelihood is intractable but sampling synthetic data is possible. One class of methods for this likelihood-free problem uses a classifier to distinguish between pairs of parameter-observation samples generated using the simulator and pairs sampled from some reference distribution, which implicitly learns a density ratio proportional to the likelihood. Another popular class of methods fits a conditional distribution to the parameter posterior directly, and a particular recent variant allows for the use of flexible neural density estimators for this task. In this work, we show that both of these approaches can be unified under a general contrastive learning scheme, and clarify how they should be run and compared.


title: An overview of physical layer design for Ultra-Reliable Low-Latency Communications in 3GPP Release 15 and Release 16

abstract: For the fifth generation (5G) wireless network technology, the most important design goals were improved metrics of reliability and latency, in addition to network resilience and flexibility so as to best adapt the network operation for new applications such as augmented virtual reality, industrial automation and autonomous vehicles. That led to design efforts conducted under the subject of ultra-reliable low-latency communication (URLLC). The technologies integrated in Release 15 of the 3rd Generation Partnership Project (3GPP) finalized in December 2017 provided the foundation of physical layer design for URLLC. New features such as numerologies, new transmission schemes with sub-slot interval, configured grant resources, etc., were standardized to improve mainly the latency aspects. 5G evolution in Release 16, PHY version finalized in December 2019, allows achieving improved metrics for latency and reliability by standardizing a number of new features. This article provides a detailed overview of the URLLC features from 5G Release 15 and Release 16, describing how these features permit URLLC operation in 5G networks.


title: Robustness Analysis of Networked Control Systems with Aging Status

abstract: As an emerging metric of communication systems, Age of Information (AoI) has been derived to have a critical impact in networked control systems with unreliable information links. This work sets up a novel model of outage probability in a loosely constrained control system as a function of the feedback AoI, and conducts numerical simulations to validate the model.


title: Magnetic Field Simulation with Data-Driven Material Modeling

abstract: This paper developes a data-driven magnetostatic finite-element (FE) solver which directly exploits measured material data instead of a material curve constructed from it. The distances between the field solution and the measurement points are minimized while enforcing Maxwell's equations. The minimization problem is solved by employing the Lagrange multiplier approach. The procedure wraps the FE method within an outer data-driven iteration. The method is capable of considering anisotropic materials and is adapted to deal with models featuring a combination of exact material knowledge and measured material data. Thereto, three approaches with an increasing level of intrusivity according to the FE formulation are proposed. The numerical results for a quadrupole-magnet model show that data-driven field simulation is feasible and affordable and overcomes the need of modeling the material law.


title: Classification Algorithm of Speech Data of Parkinsons Disease Based on Convolution Sparse Kernel Transfer Learning with Optimal Kernel and Parallel Sample Feature Selection

abstract: Labeled speech data from patients with Parkinsons disease (PD) are scarce, and the statistical distributions of training and test data differ significantly in the existing datasets. To solve these problems, dimensional reduction and sample augmentation must be considered. In this paper, a novel PD classification algorithm based on sparse kernel transfer learning combined with a parallel optimization of samples and features is proposed. Sparse transfer learning is used to extract effective structural information of PD speech features from public datasets as source domain data, and the fast ADDM iteration is improved to enhance the information extraction performance. To implement the parallel optimization, the potential relationships between samples and features are considered to obtain high-quality combined features. First, features are extracted from a specific public speech dataset to construct a feature dataset as the source domain. Then, the PD target domain, including the training and test datasets, is encoded by convolution sparse coding, which can extract more in-depth information. Next, parallel optimization is implemented. To further improve the classification performance, a convolution kernel optimization mechanism is designed. Using two representative public datasets and one self-constructed dataset, the experiments compare over thirty relevant algorithms. The results show that when taking the Sakar dataset, MaxLittle dataset and DNSH dataset as target domains, the proposed algorithm achieves obvious improvements in classification accuracy. The study also found large improvements in the algorithms in this paper compared with nontransfer learning approaches, demonstrating that transfer learning is both more effective and has a more acceptable time cost.


title: Small world is not enough: Criteria for network choice and conclusiveness of simulations

abstract: Most agent-based models include a social network that describes the structure of interactions within the artificial population. Because of the dramatic impact of this structure on the simulated dynamics, modelers create this network for it to match criteria of plausibility (e.g. the small-world property). Networks are actually created by one network generator compliant with these criteria, like the Watts-Strogatz algorithm in the case of small-world networks. However, this practice comes to study the model's dynamics over the specific networks generated by one algorithm instead of the dynamics over the class of networks of interest, possibly inducing a strong bias in results. We identify three problematics related to this bias: (i) representativity of a network generator to a class of networks, (ii) conclusiveness of simulations over a class of networks and (iii) the gain in conclusiveness when refining the criteria for network choice. We propose an experimental protocol and instantiate it on small-world networks for epidemics, opinion and culture dynamics. We show that (i) Watts-Strogatz networks are not representative of small-world networks (ii) simulation results over small-worlds are arguably inconclusive, and (iii) even small-world networks having the same size, density, transitivity and average path length do not lead to coherent results. Beyond questioning the relevance of simulation results obtained from artificial networks, this research also constitute one more argument for the exploration of other approaches that are not solely focused on networks' statistical properties.


title: A QFT approach to robust dual-rate control systems

abstract: A dual-rate control system is a hybrid system composed of continuous-time and discrete-time elements with two sampling frequencies. In this work, a new frequency domain analysis and design approach, based on the Quantitative Feedback Theory (QFT) is developed, to cope with robust stability and tracking specifications. Tracking specifications are considered not only in the discrete-time but also in continuous-time, that allow a precise description of the intersample behavior (ripples), and characterization of frequencies below and beyond the Nyquist frequency. Several illustrative examples and a case study has been developed.


title: Hurwitz trees and deformations of Artin-Schreier covers

abstract: Let $R$ be a complete discrete valuation ring of equal characteristic $p>0$. Given a $\mathbb{Z}/p$-Galois cover of a formal disc over $R$, one can derive from it a semi-stable model for which the specializations of branch points are distinct and lie in the smooth locus of the special fiber. The description leads to a combinatorial object which resembles a classical Hurwitz tree in mixed characteristic, which we will give the same name. The existence of a Hurwitz tree is necessary for the existence of a $\mathbb{Z}/p$-cover whose branching data fit into that tree. We show that the conditions imposed by a Hurwitz tree's structure are also sufficient. Using this, we improve a known result about the connectedness of the moduli space of Artin-Schreier curves of fixed genus.


title: Fabricated Pictures Detection with Graph Matching

abstract: Fabricating experimental pictures in research work is a serious academic misconduct, which should better be detected in the reviewing process. However, due to large number of submissions, the detection whether a picture is fabricated or reused is laborious for reviewers, and sometimes is indistinct with human eyes. A tool for detecting similarity between images may help to alleviate this problem. Some methods based on local feature points matching work for most of the time, while these methods may result in mess of matchings due to ignorance of global relationship between features. We present a framework to detect similar, or perhaps fabricated, pictures with the graph matching techniques. A new iterative method is proposed, and experiments show that such a graph matching technique is better than the methods based only on local features for some cases.


title: Unsupervised deep clustering for predictive texture pattern discovery in medical images

abstract: Predictive marker patterns in imaging data are a means to quantify disease and progression, but their identification is challenging, if the underlying biology is poorly understood. Here, we present a method to identify predictive texture patterns in medical images in an unsupervised way. Based on deep clustering networks, we simultaneously encode and cluster medical image patches in a low-dimensional latent space. The resulting clusters serve as features for disease staging, linking them to the underlying disease. We evaluate the method on 70 T1-weighted magnetic resonance images of patients with different stages of liver steatosis. The deep clustering approach is able to find predictive clusters with a stable ranking, differentiating between low and high steatosis with an F1-Score of 0.78.


title: Super-efficiency of automatic differentiation for functions defined as a minimum

abstract: In min-min optimization or max-min optimization, one has to compute the gradient of a function defined as a minimum. In most cases, the minimum has no closed-form, and an approximation is obtained via an iterative algorithm. There are two usual ways of estimating the gradient of the function: using either an analytic formula obtained by assuming exactness of the approximation, or automatic differentiation through the algorithm. In this paper, we study the asymptotic error made by these estimators as a function of the optimization error. We find that the error of the automatic estimator is close to the square of the error of the analytic estimator, reflecting a super-efficiency phenomenon. The convergence of the automatic estimator greatly depends on the convergence of the Jacobian of the algorithm. We analyze it for gradient descent and stochastic gradient descent and derive convergence rates for the estimators in these cases. Our analysis is backed by numerical experiments on toy problems and on Wasserstein barycenter computation. Finally, we discuss the computational complexity of these estimators and give practical guidelines to chose between them.


title: Deep Frequent Spatial Temporal Learning for Face Anti-Spoofing

abstract: Face anti-spoofing is crucial for the security of face recognition system, by avoiding invaded with presentation attack. Previous works have shown the effectiveness of using depth and temporal supervision for this task. However, depth supervision is often considered only in a single frame, and temporal supervision is explored by utilizing certain signals which is not robust to the change of scenes. In this work, motivated by two stream ConvNets, we propose a novel two stream FreqSaptialTemporalNet for face anti-spoofing which simultaneously takes advantage of frequent, spatial and temporal information. Compared with existing methods which mine spoofing cues in multi-frame RGB image, we make multi-frame spectrum image as one input stream for the discriminative deep neural network, encouraging the primary difference between live and fake video to be automatically unearthed. Extensive experiments show promising improvement results using the proposed architecture. Meanwhile, we proposed a concise method to obtain a large amount of spoofing training data by utilizing a frequent augmentation pipeline, which contributes detail visualization between live and fake images as well as data insufficiency issue when training large networks.


title: Algebraic Manipulation Detection Codes via Highly Nonlinear Functions

abstract: In this paper, we study the relationship between algebraic manipulation detection (AMD) codes and highly nonlinear functions. As applications, on one hand, a generic construction for systematic AMD codes is introduced based on highly nonlinear functions. Systematic AMD codes with new parameters can be generated from known highly nonlinear functions. Especially, several infinite classes of optimal systematic AMD codes, some with asymptotically optimal tag size, can be constructed. On the other hand, systematic AMD codes are used to construct highly nonlinear functions. The known construction by Cramer et al. [10] for systematic AMD codes turns out to be based on a special kind of functions with high nonlinearity.


title: Relativization of Gurevich's Conjectures

abstract: Gurevich (1988) conjectured that there is no logic for $\textsf{P}$ or for $\textsf{NP}\cap \textsf{coNP}$. For the latter complexity class, he also showed that the existence of a logic would imply that $\textsf{NP} \cap \textsf{coNP}$ has a complete problem under polynomial time reductions. We show that there is an oracle with respect to which $\textsf P$ does have a logic and $\textsf P \ne\textsf{NP}$. We also show that a logic for $\textsf{NP} \cap \textsf{coNP}$ follows from the existence of a complete problem and a further assumption about canonical labelling. For intersection classes $\Sigma^p_n \cap \Pi^p_n$ higher in the polynomial hierarchy, the existence of a logic is equivalent to the existence of complete problems.


title: The Investigation of Negative Capacitance Vertical Nanowire FETs Based on SPICE Model at Device-Circuit Level

abstract: In this study, a SPICE model for negative capacitance vertical nanowire field-effect-transistor (NC VNW-FET) based on BSIM-CMG model and Landau-Khalatnikov (LK) equation was presented. Suffering from the limitation of short gate length there is lack of controllable and integrative structures for high performance NC VNW-FETs. A new kind of structure was proposed for NC VNW-FETs at sub-3nm node. Moreover, in order to understand and improve NC VNW-FETs, the S-shaped polarization-voltage curve (S-curve) was divided into four regions and some new design rules were proposed. By using the SPICE model, device-circuit co-optimization was implemented. The co-design of gate work function (WF) and NC was investigated. A ring oscillator was simulated to analyze the circuit energy-delay, and it shown that significant energy reduction, up to 88%, at iso-delay for NC VNW-FETs at low supply voltage can be achieved. This study gives a credible method to analysis the performance of NC based devices and circuits and reveals the potential of NC VNW-FETs in low-power applications.


title: Durocmien: A deep framework for duroc skeleton extraction in constraint environment

abstract: Farm animal behavior analysis is a crucial tasks for the industrial farming. In an indoor farm setting, extracting Key joints of animal is essential for tracking the animal for longer period of time. In this paper, we proposed a deep network named DUROCMIEN that exploit transfer learning to trained the network for the Duroc, a domestic breed of pig, an end to end fashion. The backbone of the architecture is based on hourglass stacked dense-net. In order to train the network, key frames are selected from the test data using K-mean sampler. In total, 9 Keypoints are annotated that gives a brief detailed behavior analysis in the farm setting. Extensive experiments are conducted and the quantitative results show that the network has the potential of increasing the tracking performance by a substantial margin.


title: Driver Drowsiness Detection Model Using Convolutional Neural Networks Techniques for Android Application

abstract: A sleepy driver is arguably much more dangerous on the road than the one who is speeding as he is a victim of microsleeps. Automotive researchers and manufacturers are trying to curb this problem with several technological solutions that will avert such a crisis. This article focuses on the detection of such micro sleep and drowsiness using neural network based methodologies. Our previous work in this field involved using machine learning with multi-layer perceptron to detect the same. In this paper, accuracy was increased by utilizing facial landmarks which are detected by the camera and that is passed to a Convolutional Neural Network (CNN) to classify drowsiness. The achievement with this work is the capability to provide a lightweight alternative to heavier classification models with more than 88% for the category without glasses, more than 85% for the category night without glasses. On average, more than 83% of accuracy was achieved in all categories. Moreover, as for model size, complexity and storage, there is a marked reduction in the new proposed model in comparison to the benchmark model where the maximum size is 75 KB. The proposed CNN based model can be used to build a real-time driver drowsiness detection system for embedded systems and Android devices with high accuracy and ease of use.


title: A lightweight target detection algorithm based on Mobilenet Convolution

abstract: Target detection algorithm based on deep learning needs high computer GPU configuration, even need to use high performance deep learning workstation, this not only makes the cost increase, also greatly limits the realizability of the ground, this paper introduces a kind of lightweight algorithm for target detection under the condition of the balance accuracy and computational efficiency, MobileNet as Backbone performs parameter The processing speed is 30fps on the RTX2060 card for images with the CNN separator layer. The processing speed is 30fps on the RTX2060 card for images with a resolution of 320*320.


title: Properties of phonon modes of ion trap quantum computer in the Aubry phase

abstract: We study analytically and numerically the properties of phonon modes in an ion quantum computer. The ion chain is placed in a harmonic trap with an additional periodic potential which dimensionless amplitude $K$ determines three main phases available for quantum computations: at zero $K$ we have the case of Cirac-Zoller quantum computer, below a certain critical amplitude $K<K_c$ the ions are in the Kolmogorov-Arnold-Moser (KAM) phase, with delocalized phonon modes and free chain sliding, and above the critical amplitude $K>K_c$ ions are in the pinned Aubry phase with a finite frequency gap protecting quantum gates from temperature and other external fluctuations. For the Aubry phase, in contrast to the Cirac-Zoller and KAM phases, the phonon gap remains independent of the number of ions placed in the trap keeping a fixed ion density around the trap center. We show that in the Aubry phase the phonon modes are much better localized comparing to the Cirac-Zoller and KAM cases. Thus in the Aubry phase the recoil pulses lead to local oscillations of ions while in other two phases they spread rapidly over the whole ion chains making them rather sensible to external fluctuations. We argue that the properties of localized phonon modes and phonon gap in the Aubry phase provide advantages for the ion quantum computations in this phase with a large number of ions.


title: CO-Optimal Transport

abstract: Optimal transport (OT) is a powerful geometric and probabilistic tool for finding correspondences and measuring similarity between two distributions. Yet, its original formulation relies on the existence of a cost function between the samples of the two distributions, which makes it impractical when they are supported on different spaces. To circumvent this limitation, we propose a novel OT problem, named COOT for CO-Optimal Transport, that simultaneously optimizes two transport maps between both samples and features, contrary to other approaches that either discard the individual features by focusing on pairwise distances between samples or need to model explicitly the relations between them. We provide a thorough theoretical analysis of our problem, establish its rich connections with other OT-based distances and demonstrate its versatility with two machine learning applications in heterogeneous domain adaptation and co-clustering/data summarization, where COOT leads to performance improvements over the state-of-the-art methods.


title: Impact of Data Quality on Deep Neural Network Training

abstract: It is well known that data is critical for training neural networks. Lot have been written about quantities of data required to train networks well. However, there is not much publications on how data quality effects convergence of such networks. There is dearth of information on what is considered good data ( for the task ). This empirical experimental study explores some impacts of data quality. Specific results are shown in the paper how simple changes can have impact on Mean Average Precision (mAP).


title: Robust Multimodal Image Registration Using Deep Recurrent Reinforcement Learning

abstract: The crucial components of a conventional image registration method are the choice of the right feature representations and similarity measures. These two components, although elaborately designed, are somewhat handcrafted using human knowledge. To this end, these two components are tackled in an end-to-end manner via reinforcement learning in this work. Specifically, an artificial agent, which is composed of a combined policy and value network, is trained to adjust the moving image toward the right direction. We train this network using an asynchronous reinforcement learning algorithm, where a customized reward function is also leveraged to encourage robust image registration. This trained network is further incorporated with a lookahead inference to improve the registration capability. The advantage of this algorithm is fully demonstrated by our superior performance on clinical MR and CT image pairs to other state-of-the-art medical image registration methods.