title: Iterability for (transfinite) stacks

abstract: We establish natural criteria under which normally iterable premice are iterable for stacks of normal trees. Let $\Omega$ be a regular uncountable cardinal. Let $m<\omega$ and $M$ be an $m$-sound premouse and $\Sigma$ be an $(m,\Omega+1)$-iteration strategy for $M$ (roughly, a normal $(\Omega+1)$-strategy). We define a natural condensation property for iteration strategies, "inflation condensation". We show that if $\Sigma$ has inflation condensation then $M$ is $(m,\Omega,\Omega+1)^*$-iterable (roughly, $M$ is iterable for length $\leq\Omega$ stacks of normal trees each of length ${<\Omega}$), and moreover, we define a specific such strategy $\Sigma^{\mathrm{st}}$ and a reduction of stacks via $\Sigma^{\mathrm{st}}$ to normal trees via $\Sigma$. If $\Sigma$ has the Dodd-Jensen property and $\mathrm{card}(M)<\Omega$ then $\Sigma$ has inflation condensation. We also apply some of the techniques developed to prove that if $\Sigma$ has strong hull condensation (introduced independently by Steel) and $G$ is $V$-generic for an $\Omega$-cc forcing, then $\Sigma$ extends to an $(m,\Omega+1)$-strategy $\Sigma^+$ for $M$ with strong hull condensation, in the sense of $V[G]$. Moreover, this extension is unique. We deduce that if $G$ is $V$-generic for a ccc forcing then $V$ and $V[G]$ have the same $\omega$-sound, $(\omega,\Omega+1)$-iterable premice which project to $\omega$.


title: Microwave-induced orbital angular momentum transfer

abstract: The microwave-induced orbital angular momentum (OAM) transfer from a Laguerre-Gaussian (LG) beam to a weak plane-wave is studied in a closed-loop four-level ladder-type atomic system. The analytical investigation shows that the generated fourth field is a LG beam with the same OAM of the applied LG field. Moreover, the microwave-induced subluminal generated pulse can be switched to the superluminal one only by changing the relative phase of applied fields. It is shown that the OAM transfer in subluminal regime is accompanied by a slightly absorption, however, it switches to the slightly gain in superluminal regime. The transfer of light's OAM and control of the group velocity of generated pulse can prepare a high-dimensional Hilbert space which has a major role in quantum communication and information processing.


title: Parallel processing area extraction and data transfer number reduction for automatic GPU offloading of IoT applications

abstract: For Open IoT, we have proposed Tacit Computing technology to discover the devices that have data users need on demand and use them dynamically and an automatic GPU offloading technology as an elementary technology of Tacit Computing. However, it can improve limited applications because it only optimizes parallelizable loop statements extraction. Thus, in this paper, to improve performances of more applications automatically, we propose an improved method with reduction of data transfer between CPU and GPU. We evaluate our proposed offloading method by applying it to Darknet and find that it can process it 3 times as quickly as only using CPU.


title: Exploiting Capacity of Sewer System Using Unsupervised Learning Algorithms Combined with Dimensionality Reduction

abstract: Exploiting capacity of sewer system using decentralized control is a cost effective mean of minimizing the overflow. Given the size of the real sewer system, exploiting all the installed control structures in the sewer pipes can be challenging. This paper presents a divide and conquer solution to implement decentralized control measures based on unsupervised learning algorithms. A sewer system is first divided into a number of subcatchments. A series of natural and built factors that have the impact on sewer system performance is then collected. Clustering algorithms are then applied to grouping subcatchments with similar hydraulic hydrologic characteristics. Following which, principal component analysis is performed to interpret the main features of sub-catchment groups and identify priority control locations. Overflows under different control scenarios are compared based on the hydraulic model. Simulation results indicate that priority control applied to the most suitable cluster could bring the most profitable result.


title: On arithmetic index in the generalized Thue-Morse word

abstract: Let $q$ be a positive integer. Consider an infinite word $\omega=w_0w_1w_2\cdots$ over an alphabet of cardinality $q$. A finite word $u$ is called an arithmetic factor of $\omega$ if $u=w_cw_{c+d}w_{c+2d}\cdots w_{c+(|u|-1)d}$ for some choice of positive integers $c$ and $d$. We call $c$ the initial number and $d$ the difference of $u$. For each such $u$ we define its arithmetic index by $\lceil\log_q d\rceil$ where $d$ is the least positive integer such that $u$ occurs in $\omega$ as an arithmetic factor with difference $d$. In this paper we study the rate of growth of the arithmetic index of arithmetic factors of a generalization of the Thue-Morse word defined over an alphabet of prime cardinality. More precisely, we obtain upper and lower bounds for the maximum value of the arithmetic index in $\omega$ among all its arithmetic factors of length $n$.


title: Creation of superposition of arbitrary states encoded in two three-dimensional cavities

abstract: The principle of superposition is a key ingredient for quantum mechanics. A recent work [M. Oszmaniec et al., Phys. Rev. Lett. 116, 110403 (2016)] has shown that a quantum adder that deterministically generates a superposition of two unknown states is forbidden. Here we propose a probabilistic approach for creating a superposition state of two arbitrary states encoded in two three-dimensional cavities. Our implementation is based on a three-level superconducting transmon qubit dispersively coupled to two cavities. Numerical simulations show that high-fidelity generation of the superposition of two coherent states is feasible with current circuit QED technology. Our method also works for other physical systems such as other types of superconducting qubits, natural atoms, quantum dots, and nitrogen-vacancy (NV) centers.


title: Delta-map method to remove CMB foregrounds with spatially varying spectra

abstract: We extend the internal template foreground removal method by accounting for spatially varying spectral parameters such as the spectral indices of synchrotron and dust emission and the dust temperature. As the previous algorithm had to assume that the spectral parameters are uniform over the full sky (or some significant fraction of the sky), it resulted in a bias in the tensor-to-scalar ratio parameter $r$ estimated from foreground-cleaned polarization maps of the cosmic microwave background (CMB). The new algorithm, "Delta-map method", accounts for spatially varying spectra to first order in perturbation. The only free parameters are the cosmological parameters such as $r$ and the sky-averaged foreground parameters. We show that a cleaned CMB map is the maximum likelihood solution to first order in perturbation, and derive the posterior distribution of $r$ and the sky-averaged foreground parameters using Bayesian statistics. Applying this to realistic simulated sky maps including polarized CMB, synchrotron and thermal dust emission, we find that the new algorithm removes the bias in $r$ down to undetected level in our noiseless simulation ($r\lesssim 4\times 10^{-4}$). We show that the frequency decorrelation of polarized foregrounds due to averaging of spatially varying spectra can be accounted for to first order in perturbation by using slightly different spectral parameters for the Stokes $Q$ and $U$ maps. Finally, we show that the effect of polarized anomalous microwave emission on foreground removal can be absorbed into the curvature parameter of the synchrotron spectrum.


title: Hecke eigenform and double Eisenstein series

abstract: Cusp forms for the full modular group can be written as linear combination of double Eisenstein series introduced by Gangl, Kaneko and Zagier. We give an explicit formula for decomposing a Hecke eigenform into double Eisenstein series.


title: An Empirical Evaluation On Vibrotactile Feedback For Wristband System

abstract: With the rapid development of mobile computing, wearable wrist-worn is becoming more and more popular. But the current vibrotactile feedback patterns of most wrist-worn devices are too simple to enable effective interaction in nonvisual scenarios. In this paper, we propose the wristband system with four vibrating motors placed in different positions in the wristband, providing multiple vibration patterns to transmit multi-semantic information for users in eyes-free scenarios. However, we just applied five vibrotactile patterns in experiments (positional up and down, horizontal diagonal, clockwise circular, and total vibration) after contrastive analyzing nine patterns in a pilot experiment. The two experiments with the same 12 participants perform the same experimental process in lab and outdoors. According to the experimental results, users can effectively distinguish the five patterns both in lab and outside, with approximately 90% accuracy (except clockwise circular vibration of outside experiment), proving these five vibration patterns can be used to output multi-semantic information. The system can be applied to eyes-free interaction scenarios for wrist-worn devices.


title: Towards a 229Th-based nuclear clock

abstract: An overview over the current status of the development of a nuclear clock based on the state of lowest known nuclear excitation energy in $^{229}$Th is presented. The text is especially written for the interested reader without any particular knowledge in this field of research. It is thus ideal as an introductory reading to get a broad overview over the various different aspects of the field, in addition it can serve as a guideline for future research. An introductory part is provided, giving a historic context and explaining the fundamental concept of clocks. Finally, potential candidates for nuclear clocks other than $^{229}$Th are discussed.


title: On the number of fully weighted zero-sum subsequences

abstract: Let $G$ be a finite additive abelian group with exponent $n$ and $S=g_{1}\cdots g_{t}$ be a sequence of elements in $G$. For any element $g$ of $G$ and $A\subseteq\{1,2,\ldots,n-1\}$, let $N_{A,g}(S)$ denote the number of subsequences $T=\prod_{i\in I}g_{i}$ of $S$ such that $\sum_{i\in I}a_{i}g_{i}=g$ , where $I\subseteq\left\{ 1,\ldots,t\right\} $ and $a_{i}\in A$. In this paper, we prove that $N_{A,0}(S)\geq2^{|S|-D_{A}(G)+1}$, when $A=\left\{ 1,\ldots,n-1\right\} $, where $D_{A}(G)$ is the smallest positive integer $l$, such that every sequence $S$ over $G$ of length at least $l$ has nonempty subsequence $T=\prod_{i\in I}g_{i}$ such that $\sum_{i\in I}a_{i}g_{i}=0$, $I\subseteq\left\{ 1,\ldots,t\right\} $ and $a_{i}\in A$. Moreover, we classify the sequences such that $N_{A,0}(S)=2^{|S|-D_{A}(G)+1}$, where the exponent of $G$ is an odd number.


title: Nilpotent Jacobians and Almost Global Stability

abstract: In this article we study maps with nilpotent Jacobian in $\mathbb{R}^n$ distinguishing the cases when the rows of $JH$ are linearly dependent over $\mathbb{R}$ and when they are linearly independent over $\mathbb{R}.$ In the linearly dependent case, we show an application of such maps on dynamical systems, in particular, we construct a large family of almost Hurwitz vector fields for which the origin is an almost global attractor. In the linearly independent case, we show explicitly the inverse maps of the counterexamples to Generalized Dependence Problem and proving that this inverse maps also have nilpotent Jacobian with rows linearly independent over $\mathbb{R}.$


title: Graded Betti numbers of balanced simplicial complexes

abstract: We prove upper bounds for the graded Betti numbers of Stanley-Reisner rings of balanced simplicial complexes. Along the way we show bounds for Cohen-Macaulay graded rings $S/I$, where $S$ is a polynomial ring and $I\subseteq S$ is an homogeneous ideal containing a certain number of generators in degree 2, including the squares of the variables. Using similar techniques we provide upper bounds for the number of linear syzygies for Stanley-Reisner of balanced normal pseudomanifolds. Moreover, we compute explicitly the graded Betti numbers of cross-polytopal stacked spheres, and show that they only depend on the dimension and the number of vertices, rather than also the combinatorial type.


title: Some Remarks on Pohozaev-Type Identities

abstract: The aim of this note is to discuss in more detail the Pohozaev-type identities that have been recently obtained by the author, Paul Laurain and Tristan Rivi\`ere in the framework of half-harmonic maps defined either on $R$ or on the sphere $S^1$ with values into a closed manifold $N^n\subset R^m$. Weak half-harmonic maps are critical points of the following nonlocal energy $$\int_{R}|(-\Delta)^{1/4}u|^2 dx~~\mbox{or}~~\int_{S^1}|(-\Delta)^{1/4}u|^2\ d\theta.$$ If $u$ is a sufficiently smooth critical point of the above energy then it satisfies the following equation of stationarity $$\frac{du}{dx}\cdot (-\Delta)^{1/2} u=0~~\mbox{a.e in $R$}~~\mbox{or}~~\frac{\partial u}{\partial \theta}\cdot (-\Delta)^{1/2} u=0~~\mbox{a.e in $S^1$.}$$ By using the invariance of the equation of stationarity in $S^1$ with respect to the trace of the M\"obius transformations of the $2$ dimensional disk we derive a countable family of relations involving the Fourier coefficients of weak half-harmonic maps $u\colon S^1\to N^n.$ In the same spirit we also provide as many Pohozaev-type identities in $2$-D for stationary harmonic maps as conformal vector fields in $R^2$ generated by holomorphic functions.


title: Near Zero-Energy Computation Using Quantum-dot Cellular Automata

abstract: Near zero-energy computing describes the concept of executing logic operations below the (kBT ln 2) energy limit. Landauer discussed that it is impossible to break this limit as long as the computations are performed in the conventional, non-reversible way. But even if reversible computations were performed, the basic energy needed for operating circuits realized in conventional technologies is still far above the (kBT ln 2) energy limit, i.e. the circuits do not operate physically reversible. In contrast, novel nanotechnologies like Quantum-dot Cellular Automata (QCA) allow for computations with very low energy dissipation and, hence, are promising candidates for breaking this limit. Accordingly, the design of reversible QCA circuits is an active field of research. But whether QCA in general (and the proposed circuits in particular) are indeed able to operate in a logically and physically reversible fashion is unknown thus far, because neither physical realizations nor appropriate simulation approaches were available yet. In this work, we address this gap by utilizing an established theoretical model that has been implemented in a physics simulator enabling a precise consideration of how energy is dissipated in QCA designs. Our results provide strong evidence that QCA is indeed a suitable technology for near zero-energy computing. Further, the first design of a logically and physically reversible adder circuit is presented which serves as proof-of-concept for future circuits with the ability of near zero-energy computing.


title: Performance Guarantees for Homomorphisms Beyond Markov Decision Processes

abstract: Most real-world problems have huge state and/or action spaces. Therefore, a naive application of existing tabular solution methods is not tractable on such problems. Nonetheless, these solution methods are quite useful if an agent has access to a relatively small state-action space homomorphism of the true environment and near-optimal performance is guaranteed by the map. A plethora of research is focused on the case when the homomorphism is a Markovian representation of the underlying process. However, we show that near-optimal performance is sometimes guaranteed even if the homomorphism is non-Markovian. Moreover, we can aggregate significantly more states by lifting the Markovian requirement without compromising on performance. In this work, we expand Extreme State Aggregation (ESA) framework to joint state-action aggregations. We also lift the policy uniformity condition for aggregation in ESA that allows even coarser modeling of the true environment.


title: Simulation of neutron production in hadron-nucleus and nucleus-nucleus interactions in Geant4

abstract: Studying experimental data obtained at ITEP [1] on neutron production in interactions of protons with various nuclei in the energy range from 747 MeV up to 8.1 GeV, we have found that slow neutron spectra have scaling and asymptotic properties [2]. The spectra weakly depend on the collision energy at momenta of projectile protons larger than 5 - 6 GeV/c. These properties are taken into account in the Geant4 Fritiof (FTF) model. The improved FTF model describes as well as the Geant4 Bertini model the experimental data on neutron production by 1.2 GeV and 1.6 GeV protons on targets (Fe, Pb) [3] and by 3.0 GeV protons on various targets (Al, Fe, Pb) [4]. For neutron production in antiproton-nucleus interactions, it was demonstrated that the FTF results are in a satisfactory agreement with experimental data of the LEAR collaboration [5]. The FTF model gives promising results for neutron production in nucleus - nucleus interactions at projectile energy 1 - 2 GeV per nucleon [6]. The observed properties allow one to predict neutron yields in the nucleus-nucleus interactions at high and very high energies. Predictions for the NICA/MPD experiment at JINR are presented.


title: Deep Ensemble Bayesian Active Learning : Addressing the Mode Collapse issue in Monte Carlo dropout via Ensembles

abstract: In image classification tasks, the ability of deep CNNs to deal with complex image data has proven to be unrivalled. However, they require large amounts of labeled training data to reach their full potential. In specialised domains such as healthcare, labeled data can be difficult and expensive to obtain. Active Learning aims to alleviate this problem, by reducing the amount of labelled data needed for a specific task while delivering satisfactory performance. We propose DEBAL, a new active learning strategy designed for deep neural networks. This method improves upon the current state-of-the-art deep Bayesian active learning method, which suffers from the mode collapse problem. We correct for this deficiency by making use of the expressive power and statistical properties of model ensembles. Our proposed method manages to capture superior data uncertainty, which translates into improved classification performance. We demonstrate empirically that our ensemble method yields faster convergence of CNNs trained on the MNIST and CIFAR-10 datasets.


title: Variable single-axis magnetic-field generator using permanent magnets

abstract: We present a design for producing precisely adjustable and alternating single-axis magnetic fields based on nested Halbach dipole pairs consisting of permanent magnets only. Our design allows for three dimensional optical and mechanical access to a region with strong adjustable dipolar fields, is compatible with systems operating under vacuum, and does not effectively dissipate heat under normal operational conditions. We present a theoretical analysis of the properties and capabilities of our design, and construct a proof-of-concept prototype. Using our prototype, we demonstrate fields of up to several kilogauss with field homogeneities of better than 5%, which are harmonically modulated at frequencies of $\sim$1Hz with a power consumption of approximately 1W. Moreover, we discuss how our design can be modified to generate adjustable quadrupolar magnetic fields with gradients as large as 9.5T/m in a region of optical and mechanical access. Our design is scalable and can be constructed to be suitable for table-top experiments, as in the case of polarimetric and magnetometric setups that require strong alternating magnetic fields, but also for large scale applications such as generators.


title: Interpretation of the phase functions measured by the OSIRIS instrument for Comet 67P/Churyumov-Gerasimenko

abstract: We show that the scattering phase functions of the coma and the nucleus of the comet 67P/Churyumov-Gerasimenko measured by the Rosetta/OSIRIS instrument can be reproduced by a particle model involving clustered densely packed submicrometer-sized grains composed of organic material and larger micrometer-sized silicate grains. The simulated and measured coma phase functions suggest that near the nucleus scattering is dominated by large particles, and the size distribution of dust particles varies with time and/or local coma environment. Further, we show that the measured nucleus phase function is consistent with the coma phase function by modelling a nucleus-sized object consisting of the same particles that explain the coma phase functions.


title: Propagation of pendulum waves under deep-seated cord charge blasting in blocky rock mass

abstract: The object of the numerical study is the travel of pendulum waves in a blocky medium under nonstationary impact of deep-seated charge blasting on the surface of the expansion chamber. The blocky model is simulated by a two-dimensional lattice of masses connected by elastic springs along the axes and diagonals. The displacements and velocities of the masses at different half-space points are calculated using the finite-difference method.


title: High-order elastic multipoles as colloidal atoms

abstract: Achieving and exceeding the diversity of colloidal analogs of chemical elements and molecules as building blocks of matter has been the central goal and challenge of colloidal science ever since Einstein introduced the colloidal atom paradigm. Recent significant advances have been achieved by exploiting the powerful machinery of DNA hybridization to assemble colloidal particles, but robust physical means of defining colloidal atoms and molecules remain limited. Here we introduce the physical design principles that allow for defining high leading-order elastic colloidal multipoles that emerge when particles with controlled shapes and surface boundary conditions are introduced into a nematic host fluid. Combination of experiments and numerical modeling of equilibrium field configurations, with a subsequent spherical harmonic expansion, allows us to systematically probe elastic multipole moments, bringing analogies with electromagnetism and structure of outmost occupied shells of atomic orbitals. We show that, at least in view of the symmetry of the "director wiggle" wave functions, the diversity of elastic colloidal atoms can far exceed that of known chemical elements.


title: Semiclassical and quantum shell-structure calculations of the moment of inertia

abstract: Shell corrections to the moment of inertia (MI) are calculated for a Woods-Saxon potential of spheroidal shape and at different deformations. This model potential is chosen to have a large depth and a small surface diffuseness which makes it resemble the analytically solved spheroidal cavity in the semiclassical approximation. For the consistent statistical-equilibrium collective rotations, the MI is obtained within the cranking model in an approach which goes beyond the quantum perturbation approximation based on the non perturbative energy spectrum. For the calculation of the MI shell corrections $\delta \Theta$, the Strutinsky smoothing procedure is used to obtain the average occupation numbers of the particle density generated by the resolution of the Woods-Saxon eigenvalue problem. One finds that the major-shell structure of $\delta \Theta$, as determined in the adiabatic approximation, is rooted, for large as well as for small surface deformations, in the same inhomogenuity of the distribution of single-particle states near the Fermi surface as the energy shell corrections $\delta E$. This fundamental property is in agreement with the semiclassical results $\delta \Theta \propto \delta E$ obtained analytically within the non perturbative periodic orbit theory for any potential well, in particular for the spheroidal cavity, and for any deformation, even for large deformations where bifurcations of the equatorial orbits play a substantial role. Since the adiabatic approximation, $\omega \ll \Omega$, with $\hbar \Omega $ the distance between major nuclear shells, is easily obeyed even for large angular momenta typical for high-spin physics at large particle numbers, our model approach seems to represent a tool that could be useful for the description of such nuclear systems.


title: Semiclassical Boltzmann transport theory of few-layer black phosphorus in various phases

abstract: Black phosphorus (BP), a two-dimensional (2D) van der Waals layered material composed of phosphorus atoms, has been one of the most actively studied 2D materials in recent years due to its tunable energy band gap (tunable even to a negative value) and its highly anisotropic electronic structure. Depending on the sign of the band gap tuning parameter, few-layer BP can be in a gapped insulator phase, gapless Dirac semimetal phase, or gapless semi-Dirac transition point between the two phases. Using the fully anisotropic multiband Boltzmann transport theory, we systematically study the dc conductivity of few-layer BP as a function of the carrier density and temperature by varying the band gap tuning parameter, and determine the characteristic density and temperature dependence corresponding to each phase.


title: Robust, Compliant Assembly via Optimal Belief Space Planning

abstract: In automated manufacturing, robots must reliably assemble parts of various geometries and low tolerances. Ideally, they plan the required motions autonomously. This poses a substantial challenge due to high-dimensional state spaces and non-linear contact-dynamics. Furthermore, object poses and model parameters, such as friction, are not exactly known and a source of uncertainty. The method proposed in this paper models the task of parts assembly as a belief space planning problem over an underlying impedance-controlled, compliant system. To solve this planning problem we introduce an asymptotically optimal belief space planner by extending an optimal, randomized, kinodynamic motion planner to non-deterministic domains. Under an expansiveness assumption we establish probabilistic completeness and asymptotic optimality. We validate our approach in thorough, simulated and real-world experiments of multiple assembly tasks. The experiments demonstrate our planner's ability to reliably assemble objects, solely based on CAD models as input.


title: Honeycomb-lattice Minnaert bubbles

abstract: The ability to manipulate the propagation of waves on subwavelength scales is important for many different physical applications. In this paper, we consider a honeycomb lattice of subwavelength resonators and prove, for the first time, the existence of a Dirac dispersion cone at subwavelength scales. As shown in [H. Ammari et al., A high-frequency homogenization approach near the Dirac points in bubbly honeycomb crystals, arXiv:1812.06178], near the Dirac points, honeycomb crystals of subwavelength resonators has a great potential to be used as near-zero materials. Here, we perform the analysis for the example of bubbly crystals, which is a classic example of subwavelength resonance, where the resonant frequency of a single bubble is known as the Minnaert resonant frequency. Our first result is an asymptotic formula for the quasi-periodic Minnaert resonant frequencies. We then prove the linear dispersion relation of a Dirac cone. Our findings in this paper are numerically illustrated in the case of circular bubbles, where the multipole expansion method provides an efficient technique for computing the band structure.


title: ITE: A Lightweight Implementation of Stratified Reasoning for Constructive Logical Operators

abstract: Constraint Programming (CP) is a powerful declarative programming paradigm where inference and search are interleaved to find feasible and optimal solutions to various type of constraint systems. However, handling logical connectors with constructive information in CP is notoriously difficult. This paper presents If Then Else (ITE), a lightweight implementation of stratified constructive reasoning for logical connectives. Stratification is introduced to cope with the risk of combinatorial explosion of constructing information from nested and combined logical operators. ITE is an open-source library built on top of SICStus Prolog clp(fd), which proposes various operators, including constructive disjunction and negation, constructive implication and conditional. These operators can be used to express global constraints and to benefit from constructive reasoning for more domain pruning during constraint filtering. Even though ITE is not competitive with specialized filtering algorithms available in some global constraints implementations, its expressiveness allows users to easily define well-tuned constraints with powerful deduction capabilities. Our extended experimental results show that ITE is more efficient than available generic approaches that handle logical constraint systems over finite domains.


title: Microwave cavity detected spin blockade in a few electron double quantum dot

abstract: We investigate spin states of few electrons in a double quantum dot by coupling them weakly to a magnetic field resilient NbTiN microwave resonator. We observe a reduced resonator transmission if resonator photons and spin singlet states interact. This response vanishes in a magnetic field once the quantum dot ground state changes from a spin singlet into a spin triplet state. Based on this observation, we map the two-electron singlet-triplet crossover by resonant spectroscopy. By measuring the resonator only, we observe Pauli spin blockade known from transport experiments at finite source-drain bias and detect an unconventional spin blockade triggered by the absorption of resonator photons.


title: Theoretical investigation of the HgF radical towards laser cooling and eEDM measurement

abstract: In order to realize more sensitive eEDM measurement, it would be worthwhile to find some new laser-cooled molecules with larger internal effective electric field (E$_{eff}$), higher electric polarizability and longer lifetime of the eEDM measurement state. Here we explore the merits of mercuric monofluoride ($^{202}Hg^{19}F$, X$^ 2 {\Sigma}_{1/2}$) for its potential of laser cooling and eEDM measurement. We theoretically investigated the electronic, rovibrational and hyperfine structures and verified the highly diagonal Franck-Condon factors (FCFs) of the main transitions by the Rydberg-Klein-Rees inversion (RKR) method and the Morse approximation. Hyperfine manifolds of the X$^ 2 {\Sigma}_{1/2} (\nu=0$) rotational states were examined with the effective Hamiltonian approach and a feasible sideband modulation scheme was proposed. In order to enhance optical cycling, the microwave remixing method was employed to address all the necessary levels. The Zeeman effect and the hyperfine structure magnetic g factors of the X$^ 2 {\Sigma}_{1/2} (\nu=0$,$\mathit{ N } $=1) state were studied subsequently. Finally, its statistical sensitivities for the eEDM measurement were estimated respectively to be about $9\times 10^{-31} e\bullet cm $ (the laser cooled transverse beam experiment), $2\times 10^{-31} e\bullet cm$ (the fountain experiment) and $1\times 10^{-32}$ e\bullet cm (experiment with trapped cold molecules), indicating that $^{202}Hg^{19}F$ might be another promising eEDM candidate when compared with the most recent ThO result of $d_{ e } = (4.3 \pm 3.1_{ stat } \pm 2.6_{ syst })\times 10^{-30} e\bullet cm$ (Nature, 562, 355 (2018)). In addition, the possibility of direct Stark decelerating of the HgF radical was also discussed.


title: Evidence Transfer for Improving Clustering Tasks Using External Categorical Evidence

abstract: In this paper we introduce evidence transfer for clustering, a deep learning method that can incrementally manipulate the latent representations of an autoencoder, according to external categorical evidence, in order to improve a clustering outcome. By evidence transfer we define the process by which the categorical outcome of an external, auxiliary task is exploited to improve a primary task, in this case representation learning for clustering. Our proposed method makes no assumptions regarding the categorical evidence presented, nor the structure of the latent space. We compare our method, against the baseline solution by performing k-means clustering before and after its deployment. Experiments with three different kinds of evidence show that our method effectively manipulates the latent representations when introduced with real corresponding evidence, while remaining robust when presented with low quality evidence.


title: Field induced cell proliferation and death in a thick epithelium

abstract: We study the dynamics of a thick polar epithelium subjected to the action of both an electric and a flow field in a planar geometry. We develop a generalized continuum hydrodynamic description and describe the tissue as a two component fluid system. The cells and the interstitial fluid are the two components and we keep all terms allowed by symmetry. In particular we keep track of the cell pumping activity for both solvent flow and electric current and discuss the corresponding orders of magnitude. We study the growth dynamics of tissue slabs, their steady states and obtain the dependence of the cell velocity, net cell division rate, and cell stress on the flow strength and the applied electric field. We find that finite thickness tissue slabs exist only in a restricted region of phase space and that relatively modest electric fields or imposed external flows can induce either proliferation or death.


title: Unsupervised Learnable Sinogram Inpainting Network (SIN) for Limited Angle CT reconstruction

abstract: In this paper, we propose a sinogram inpainting network (SIN) to solve limited-angle CT reconstruction problem, which is a very challenging ill-posed issue and of great interest for several clinical applications. A common approach to the problem is an iterative reconstruction algorithm with regularization term, which can suppress artifacts and improve image quality, but requires high computational cost. The starting point of this paper is the proof of inpainting function for limited-angle sinogram is continuous, which can be approached by neural networks in a data-driven method, granted by the universal approximation theorem. Based on this, we propose SIN as the fitting function -- a convolutional neural network trained to generate missing sinogram data conditioned on scanned data. Besides CNN module, we design two differentiable and rapid modules, Radon and Inverse Radon Transformer network, to encapsulate the physical model in the training procedure. They enable new joint loss functions to optimize both sinogram and reconstructed image in sync, which improved the image quality significantly. To tackle the labeled data bottleneck in clinical research, we form a sinogram-image-sinogram closed loop, and the difference between sinograms can be used as training loss. In this way, the proposed network can be self-trained, with only limited-angle data for unsupervised domain adaptation. We demonstrate the performance of our proposed network on parallel beam X-ray CT in lung CT datasets from Data Science Bowl 2017 and the ability of unsupervised transfer learning in Zubal's phantom. The proposed method performs better than state-of-art method SART-TV in PSNR and SSIM metrics, with noticeable visual improvements in reconstructions.


title: All Parovichenko spaces may be soft-Parovichenko

abstract: It is shown that, assuming the Continuum Hypothesis, compact Hausdorff space of weight at most $\mathfrak{c}$ is a remainder in a soft compactification of $\mathbb{N}$. We also exhibit an example of a compact space of weight $\aleph_1$ -- hence a remainder in some compactification of $\mathbb{N}$ -- for which it is consistent that is not the remainder in a soft compactification of $\mathbb{N}$.


title: Influence of soil plug on pipe ramming process

abstract: Different modes of advance of a pipe with a soil plug under rectangular impulse are investigated numerically and analytically with regard to dry friction between the pipe and plug and between the pipe and external stationary medium. The two model solutions are compared with and without regard to the pipe and plug elasticity. It is shown that elasticity of the pipe and plug is neglectable in case of a long-duration impulse.


title: The subsums of zero-sum free sequences in finite cyclic groups

abstract: Let $\mathbb Z_n$ be the cyclic group of order $n \ge 3$ additively written. S. Savchev \& F. Chen (2007) proved that for each zero-sum free sequence $S = a_1 \bullet \dots \bullet a_t$ over $\mathbb Z_n$ of length $t > n/2$, there is an integer $g$ coprime to $n$ such that, if $\overline{r}$ denotes the least positive integer in the congruence class $r$ modulo $n$, then $\sum_{i=1}^t \overline{ga_i} < n$. Under the same hypothesis, in this paper we show that $$\left\{ \sum_{i \in \Lambda} \overline{ga_i} \;\; \Bigg| \;\; \Lambda \subset \{1,2,\dots,t\} \right\} = \left\{ 1, 2, \dots, \sum_{i=1}^t \overline{ga_i}\right\}.$$ It simplifies many calculations on inverse zero-sum problems.


title: A mechanism for damage spread by ultrasound-induced linear defects in soft materials

abstract: High-intensity ultrasound excites pre-existing bubbles in tissue-like material, and the subsequent bubble activity may lead to damage. To investigate such damage mechanisms, agar tissue-mimicking phantoms were subjected to multiple pressure wave bursts of the kind being considered specifically for burst wave lithotripsy (BWL). A notable feature of these experiments was the formation of distinct linear defects, as might expected for a crack. We propose a physical mechanism for how a single bubble, excited by ultrasound, may evolve to from such features. It entails fracture, bubble stability and rectified mass diffusion. These observed linear defects are a potential mechanism for spread of ultrasound-induced bubbles and the subsequent damage.


title: Generalized Dirac oscillator in cosmic string space-time

abstract: In this work, the generalized Dirac oscillator in cosmic string space-time is studied by replacing the momentum pu with its alternative p_u+mwbf_u(x_u)). In particular, the quantum dynamics is considered for the function f_u(x_u) to be taken as cornell potential, exponential-type potentialand singular potential. For cornell potential and exponential-type potential, the corresponding radial equations can be mapped into the confluent hypergeometric equation and hypergeometric equation separately. The corresponding eigenfunctions can be represented as confluent hypergeometric function and hypergeometric function. The equations satisfed by the exact energy spectrum have been found. For singular potential, the wave function and energy eigenvalue are given exactly by power series method.


title: A novel approach to the computation of one-loop three- and four-point functions. II - The complex mass case

abstract: This article is the second of a series of three presenting an alternative method to compute the one-loop scalar integrals. It extends the results of the first article to general complex masses. Let us remind the main features enjoyed by this method. It directly proceeds in terms of the quantities driving algebraic reduction methods. It applies to the four-point functions in the same way as to the three-point functions. Lastly, it extends to kinematics more general than the one of physical e.g. collider processes relevant at one loop.


title: On Conditional Correlations

abstract: The Pearson correlation, correlation ratio, and maximal correlation have been well-studied in the literature. In this paper, we study the conditional versions of these quantities. We extend the most important properties of the unconditional versions to the conditional versions, and also derive some new properties. Based on the conditional maximal correlation, we define an information-correlation function of two arbitrary random variables, and use it to derive an impossibility result for the problem of the non-interactive simulation of random variables.


title: Gaia Data Release 2: All-sky classification of high-amplitude pulsating stars

abstract: More than half a million of the 1.69 billion sources in Gaia Data Release 2 (DR2) are published with photometric time series that exhibit light variations during the 22 months of observation. An all-sky classification of common high-amplitude pulsators (Cepheids, long-period variables, Delta Scuti / SX Phoenicis, and RR Lyrae stars) is provided for stars with brightness variations greater than 0.1 mag in G band. A semi-supervised classification approach was employed, firstly training multi-stage random forest classifiers with sources of known types in the literature, followed by a preliminary classification of the Gaia data and a second training phase that included a selection of the first classification results to improve the representation of some classes, before the improved classifiers were applied to the Gaia data. Dedicated validation classifiers were used to reduce the level of contamination in the published results. A relevant fraction of objects were not yet sufficiently sampled for reliable Fourier series decomposition, consequently classifiers were based on features derived from statistics of photometric time series in the G, BP, and RP bands, as well as from some astrometric parameters. The published classification results include 195,780 RR Lyrae stars, 150,757 long-period variables, 8550 Cepheids, and 8882 Delta Scuti / SX Phoenicis stars. All of these results represent candidates whose completeness and contamination are described as a function of variability type and classification reliability. Results are expressed in terms of class labels and classification scores, which are available in the vari_classifier_result table of the Gaia archive.


title: Constraints on the diffuse photon flux with energies above $10^{18}$ eV using the surface detector of the Telescope Array experiment

abstract: We present the results of the search for ultra-high-energy photons with nine years of data from the Telescope Array surface detector. A multivariate classifier is built upon 16 reconstructed parameters of the extensive air shower. These parameters are related to the curvature and the width of the shower front, the steepness of the lateral distribution function, and the timing parameters of the waveforms sensitive to the shower muon content. A total number of two photon candidates found in the search is fully compatible with the expected background. The $95\%\,$CL limits on the diffuse flux of the photons with energies greater than $10^{18.0}$, $10^{18.5}$, $10^{19.0}$, $10^{19.5}$ and $10^{20.0}$ eV are set at the level of $0.067$, $0.012$, $0.0036$, $0.0013$, $0.0013~\mbox{km}^{-2}\mbox{yr}^{-1}\mbox{sr}^{-1}$ correspondingly.


title: Toward Autonomous Rotation-Aware Unmanned Aerial Grasping

abstract: Autonomous Unmanned Aerial Manipulators (UAMs) have shown promising potentials to transform passive sensing missions into active 3-dimension interactive missions, but they still suffer from some difficulties impeding their wide applications, such as target detection and stabilization. This letter presents a vision-based autonomous UAM with a 3DoF robotic arm for rotational grasping, with a compensation on displacement for center of gravity. First, the hardware, software architecture and state estimation methods are detailed. All the mechanical designs are fully provided as open-source hardware for the reuse by the community. Then, we analyze the flow distribution generated by rotors and plan the robotic arm's motion based on this analysis. Next, a novel detection approach called Rotation-SqueezeDet is proposed to enable rotation-aware grasping, which can give the target position and rotation angle in near real-time on Jetson TX2. Finally, the effectiveness of the proposed scheme is validated in multiple experimental trials, highlighting it's applicability of autonomous aerial grasping in GPS-denied environments.


title: Interaction of Love waves with coupled cavity modes in a 2D holey phononic crystal

abstract: The interaction of Love waves with square array of pillars deposited on a cavity defined in a 2D holey phononic crystal is numerically investigated using Finite Element Method. First, the existence of SH surface modes is demonstrated separately for phononic crystals that consist of square arrayed holes, or rectangular arrayed Ni pillars, respectively in, or on, a SiO2 film deposited on a ST-cut quartz substrate. The coupling between SH modes and torsional mode in pillars induces a transmission dip that occurs at a frequency located in the range of the band-gap of the holey phononic crystal. Second, a cavity is constructed by removing lines of holes in the holey phononic crystal and results in a transmission peak that matches the dip. The optimal geometrical parameters enable us to create a coupling of the cavity mode and the localized pillar mode by introducing lines of pillars into the cavity, which significantly improved the efficiency of the cavity without increasing the crystal size. The obtained results will pave the way to implement advanced designs of high-performance electroacoustic sensors based on coupling modes in phononic crystals.


title: Central limit theorems for patterns in multiset permutations and set partitions

abstract: We use the recently developed method of weighted dependency graphs to prove central limit theorems for the number of occurrences of any fixed pattern in multiset permutations and in set partitions. This generalizes results for patterns of size 2 in both settings, obtained by Canfield, Janson and Zeilberger and Chern, Diaconis, Kane and Rhoades, respectively.


title: Reducing Message Collisions in Sensing-based Semi-Persistent Scheduling (SPS) by Using Reselection Lookaheads in Cellular V2X

abstract: In the C-V2X sidelink Mode 4 communication, the sensing-based semi-persistent scheduling (SPS) implements a message collision avoidance algorithm to cope with the undesirable effects of wireless channel congestion. Still, the current standard mechanism produces high number of packet collisions, which may hinder the high-reliability communications required in future C-V2X applications such as autonomous driving. In this paper, we show that by drastically reducing the uncertainties in the choice of the resource to use for SPS, we can significantly reduce the message collisions in the C-V2X sidelink Mode 4. Specifically, we propose the use of the "lookahead," which contains the next starting resource location in the time-frequency plane. By exchanging the lookahead information piggybacked on the periodic safety message, vehicular user equipments (UEs) can eliminate most message collisions arising from the ignorance of other UEs' internal decisions. Although the proposed scheme would require the inclusion of the lookahead in the control part of the packet, the benefit may outweigh the bandwidth cost, considering the stringent reliability requirement in future C-V2X applications.


title: A Hierarchical Framework for Relation Extraction with Reinforcement Learning

abstract: Most existing methods determine relation types only after all the entities have been recognized, thus the interaction between relation types and entity mentions is not fully modeled. This paper presents a novel paradigm to deal with relation extraction by regarding the related entities as the arguments of a relation. We apply a hierarchical reinforcement learning (HRL) framework in this paradigm to enhance the interaction between entity mentions and relation types. The whole extraction process is decomposed into a hierarchy of two-level RL policies for relation detection and entity extraction respectively, so that it is more feasible and natural to deal with overlapping relations. Our model was evaluated on public datasets collected via distant supervision, and results show that it gains better performance than existing methods and is more powerful for extracting overlapping relations.


title: Cullen's Stability Principle and Weak Solutions of the Free-surface Semi-geostrophic Equations

abstract: The semi-geostrophic equations are used widely in the modelling of large-scale atmospheric flows. In this note, we prove the global existence of weak solutions of the incompressible semi-geostrophic equations, in geostrophic coordinates, in a three-dimensional domain with a free upper boundary. The proof, based on an energy minimisation argument originally inspired by Cullen's Stability Principle, uses optimal transport results as well as the analysis of Hamiltonian ODEs in spaces of probability measures as studied by Ambrosio and Gangbo. We also give a general formulation of Cullen's Stability Principle in a rigorous mathematical framework.


title: Synthesis and systematic optical investigation of selective area droplet epitaxy of InAs/InP quantum dots assisted by block copolymer lithography

abstract: We report on the systematic investigation of the optical properties of a selectively grown quantum dot gain material assisted by block-copolymer lithography for potential applications in active optical devices operating in the wavelength range around 1.55 um and above. We investigated a new type of diblock copolymer PS-b-PDMS (polystyrene-block-polydimethylsiloxane) for the fabrication of silicon oxycarbide hard mask for selective area epitaxy of InAs/InP quantum dots. An array of InAs/InP quantum dots was selectively grown via droplet epitaxy. Our detailed investigation of the quantum dot carrier dynamics in the 10-300 K temperature range indicates the presence of a density of states located within the InP bandgap in the vicinity of quantum dots. Those defects have a substantial impact on the optical properties of quantum dots.


title: Nonlocal homogenization of PT-symmetric multilayered structures

abstract: Unique and highly tunable optical properties of PT-symmetric systems and metamaterials enable a plenty of entirely new linear and nonlinear optical phenomena with numerous applications, e.g., for designing subdiffraction lenses, nonreciprocal devices, etc. Therefore, the artificial media with the PT symmetry attract ever-increasing attention and are now a subject for intensive investigations. One of the commonly used methods providing information about the optical response of artificial nanostructural media is a so-called effective medium theory. Here we examine the possibility of utilizing the effective medium theory for a comprehensive analysis of PT-symmetric multilayered systems composed of alternating loss and gain slabs. We show that applicability of local effective material parameters (or Maxwell Garnett approximation) is very limited and cannot be exploited for a prediction of exceptional points marking a PT symmetry breaking. On the other hand, nonlocal bianisotropic effective medium parameters can be reliably used, if the thickness of a unit cell is much smaller than the radiation wavelength. In the case of obliquely incident plane waves, we reveal the limitation on the loss-gain coefficient, which should not be too large compared with the real part of the permittivity. We believe that our findings can improve the fundamental understanding of physics behind PT-symmetric systems and advance the development of auxiliary tools for analyzing their peculiar optical response.


title: Computer geometry: Rep-tiles with a hole

abstract: A cube is an 8-rep-tile: it is the union of eight smaller copies of itself. Is there a set with a hole which has this property? The computer found an interesting and complicated solution, which then could be simplified. We discuss some problems of computer-assisted research in geometry.


title: Post-randomization Biomarker Effect Modification in an HIV Vaccine Clinical Trial

abstract: While the HVTN 505 trial showed no overall efficacy of the tested vaccine to prevent HIV infection over placebo, previous studies, biological theories, and the finding that immune response markers strongly correlated with infection in vaccine recipients generated the hypothesis that a qualitative interaction occurred. This hypothesis can be assessed with statistical methods for studying treatment effect modification by an intermediate response variable (i.e., principal stratification effect modification (PSEM) methods). However, available PSEM methods make untestable structural risk assumptions, such that assumption-lean versions of PSEM methods are needed in order to surpass the high bar of evidence to demonstrate a qualitative interaction. Fortunately, the survivor average causal effect (SACE) literature is replete with assumption-lean methods that can be readily adapted to the PSEM application for the special case of a binary intermediate response variable. We map this adaptation, opening up a host of new PSEM methods for a binary intermediate variable measured via two-phase sampling, for a dichotomous or failure time final outcome and including or excluding the SACE monotonicity assumption. The new methods support that the vaccine partially protected vaccine recipients with a high polyfunctional CD8+ T cell response, an important new insight for the HIV vaccine field.


title: Risk-Neutral Pricing and Hedging of In-Play Football Bets

abstract: A risk-neutral valuation framework is developed for pricing and hedging in-play football bets based on modelling scores by independent Poisson processes with constant intensities. The Fundamental Theorems of Asset Pricing are applied to this set-up which enables us to derive novel arbitrage-free valuation formul\ae\ for contracts currently traded in the market. We also describe how to calibrate the model to the market and how trades can be replicated and hedged.


title: A Generalized-Jacobi-Function Spectral Method for Space-Time Fractional Reaction-Diffusion Equations with Viscosity Terms

abstract: In this work, we study a new spectral Petrov-Galerkin approximation of space-time fractional reaction-diffusion equations with viscosity terms built by Riemann-Liouville fractional-order derivatives. The proposed method is reliant on generalized Jacobi functions (GJFs) for our problems. The contributions are threefold: First, thanks to the theoretical framework of variational problems, the well-posedness of the problem is proved. Second, new GJF-basis functions are established to fit weak solutions, which take full advantages of the global properties of fractional derivatives. Moreover, the basis functions conclude singular terms, in order to solve our problems with given smooth source term. Finally, we get a numerical analysis of error estimates to depend on GJF-basis functions. Numerical experiments confirm the expected convergence. In addition, they are given to show the effect of the viscosity terms in anomalous diffusion.


title: Vector Gaussian CEO Problem Under Logarithmic Loss and Applications

abstract: We study the vector Gaussian Chief Executive Officer (CEO) problem under logarithmic loss distortion measure. Specifically, $K \geq 2$ agents observe independently corrupted Gaussian noisy versions of a remote vector Gaussian source, and communicate independently with a decoder or CEO over rate-constrained noise-free links. The CEO also has its own Gaussian noisy observation of the source and wants to reconstruct the remote source to within some prescribed distortion level where the incurred distortion is measured under the logarithmic loss penalty criterion. We find an explicit characterization of the rate-distortion region of this model. The result can be seen as the counterpart to the vector Gaussian setting of that by Courtade-Weissman which provides the rate-distortion region of the model in the discrete memoryless setting. For the proof of this result, we obtain an outer bound by means of a technique that relies on the de Bruijn identity and the properties of Fisher information. The approach is similar to Ekrem-Ulukus outer bounding technique for the vector Gaussian CEO problem under quadratic distortion measure, for which it was there found generally non-tight; but it is shown here to yield a complete characterization of the region for the case of logarithmic loss measure. Also, we show that Gaussian test channels with time-sharing exhaust the Berger-Tung inner bound, which is optimal. Furthermore, application of our results allows us to find the complete solutions of two related problems: a quadratic vector Gaussian CEO problem with determinant constraint and the vector Gaussian distributed Information Bottleneck problem. Finally, we develop Blahut-Arimoto type algorithms that allow to compute numerically the regions provided in this paper, for both discrete and Gaussian models. We illustrate the efficiency of our algorithms through some numerical examples.


title: RadIoT: Radio Communications Intrusion Detection for IoT - A Protocol Independent Approach

abstract: Internet-of-Things (IoT) devices are nowadays massively integrated in daily life: homes, factories, or public places. This technology offers attractive services to improve the quality of life as well as new economic markets through the exploitation of the collected data. However, these connected objects have also become attractive targets for attackers because their current security design is often weak or flawed, as illustrated by several vulnerabilities such as Mirai, Blueborne, etc. This paper presents a novel approach for detecting intrusions in smart spaces such as smarthomes, or smartfactories, that is based on the monitoring and profiling of radio communications at the physical layer using machine learning techniques. The approach is designed to be independent of the large and heterogeneous set of wireless communication protocols typically implemented by connected objects such as WiFi, Bluetooth, Zigbee, Bluetooth-Low-Energy (BLE) or proprietary communication protocols. The main concepts of the proposed approach are presented together with an experimental case study illustrating its feasibility based on data collected during the deployment of the intrusion detection approach in a smart home under real-life conditions.


title: Resolving the Feedback Bottleneck of Multi-Antenna Coded Caching

abstract: Multi-antenna cache-aided wireless networks have been known to suffer from a severe feedback bottleneck, where achieving the maximal Degrees-of-Freedom (DoF) performance required feedback from all served users. These costs matched the caching gains and thus scaled with the number of users. In the context of the $L$-antenna MISO broadcast channel with $K$ receivers having normalized cache size $\gamma$, we pair a fundamentally novel algorithm together with a new information-theoretic converse, and identify the optimal tradeoff between feedback costs and DoF performance, by showing that having CSIT from only $C<L$ served users implies an optimal one-shot linear DoF of $C+K\gamma$. As a side consequence of this, we also now understand that the well known DoF performance $L+K\gamma$ is in fact exactly optimal. In practice, the above means that we are now able to disentangle caching gains from feedback costs, thus achieving unbounded caching gains at the mere feedback cost of the multiplexing gain. This further solidifies the role of caching in boosting multi-antenna systems; caching now can provide unbounded DoF gains over multi-antenna downlink systems, at no additional feedback costs. The above results are extended to also include the corresponding multiple transmitter scenario with caches at both ends.


title: Sequential Subspace Change-Point Detection

abstract: We consider the online monitoring of multivariate streaming data for changes that are characterized by an unknown subspace structure manifested in the covariance matrix. In particular, we consider the covariance structure changes from an identity matrix to an unknown spiked covariance model. We assume the post-change distribution is unknown, and propose two detection procedures: the Largest-Eigenvalue Shewhart chart and the Subspace-CUSUM detection procedure. We present theoretical approximations to the average run length (ARL) and the expected detection delay (EDD) for the Largest-Eigenvalue Shewhart chart and also provide analysis for tuning parameters of the Subspace-CUSUM procedure. The performance of the proposed methods is illustrated using simulation and real data for human gesture detection and seismic event detection.


title: Zeros of the Wigner Distribution and the Short-Time Fourier Transform

abstract: We study the question under which conditions the zero set of a (cross-) Wigner distribution W (f, g) or a short-time Fourier transform is empty. This is the case when both f and g are generalized Gaussians, but we will construct less obvious examples consisting of exponential functions and their convolutions. The results require elements from the theory of totally positive functions, Bessel functions, and Hurwitz polynomials. The question of zero-free Wigner distributions is also related to Hudson's theorem for the positivity of the Wigner distribution and to Hardy's uncertainty principle. We then construct a class of step functions S so that the Wigner distribution W (f, 1 (0,1)) always possesses a zero f $\in$ S $\cap$ L p for p < $\infty$, but may be zero-free for f $\in$ S $\cap$ L $\infty$. The examples show that the question of zeros of the Wigner distribution may be quite subtle and relate to several branches of analysis.


title: Spinning superconductors and ferromagnets

abstract: When a magnetic field is applied to a ferromagnetic body it starts to spin (Einstein-de Haas effect). This demonstrates the intimate connection between the electron's magnetic moment $\mu_B=e\hbar/2m_ec$, associated with its spin angular momentum $S=\hbar/2$, and ferromagnetism. When a magnetic field is applied to a superconducting body it also starts to spin (gyromagnetic effect), and when a normal metal in a magnetic field becomes superconducting and expels the magnetic field (Meissner effect) the body also starts to spin. Yet according to the conventional theory of superconductivity the electron's spin only role is to label states, and the electron's magnetic moment plays no role in superconductivity. Instead, within the unconventional theory of hole superconductivity, the electron's spin and associated magnetic moment play a fundamental role in superconductivity. Just like in ferromagnets the magnetization of superconductors is predicted to result from an aggregation of magnetic moments with angular momenta $\hbar/2$. This gives rise to a "Spin Meissner effect", the existence of a spin current in the ground state of superconductors. The theory explains how a superconducting body starts spinning when it expels magnetic fields, it provides a dynamical explanation for the Meissner effect, and it explains how supercurrents stop without dissipation, all of which we argue the conventional theory fails to explain. Essential elements of the theory of hole superconductivity are that superconductivity is driven by lowering of kinetic energy, which we have also proposed is true for ferromagnets], that the normal state charge carriers in superconducting materials are holes, and that the spin-orbit interaction plays a key role in superconductivity. The theory is proposed to apply to all superconductors.


title: Modeling Rape Reporting Delays Using Spatial, Temporal and Social Features

abstract: We present a novel approach to estimate the delay observed between the occurrence and reporting of rape crimes. We explore spatial, temporal and social effects in sparse aggregated (area-level) and high-dimensional disaggregated (event-level) data for New York and Los Angeles. Focusing on inference, we apply Gradient Boosting and Random Forests to assess predictor importance, as well as Gaussian Processes to model spatial disparities in reporting times. Our results highlight differences and similarities between the two cities. We identify at-risk populations and communities which may be targeted with focused policies and interventions to support rape victims, apprehend perpetrators, and prevent future crimes.


title: Hermitian $K$-theory, Dedekind $\zeta$-functions, and quadratic forms over rings of integers in number fields

abstract: We employ the slice spectral sequence, the motivic Steenrod algebra, and Voevodsky's solutions of the Milnor and Bloch-Kato conjectures to calculate the hermitian $K$-groups of rings of integers in number fields. Moreover, we relate the orders of these groups to special values of Dedekind $\zeta$-functions for totally real abelian number fields. Our methods apply more readily to the examples of algebraic $K$-theory and higher Witt-theory, and give a complete set of invariants for quadratic forms over rings of integers in number fields.


title: Time-dependent Ginzburg-Landau model for light-induced superconductivity in the cuprate LESCO

abstract: Cavalleri and coworkers have discovered evidence of light-induced superconductivity and related phenomena in several different materials. Here we suggest that some features may be naturally interpreted using a time-dependent Ginzburg-Landau model. In particular, we focus on the lifetime of the transient state in La$_{1.675}$Eu$_{0.2}$Sr$_{0.125}$CuO$_4$ (LESCO$_{1/8}$), which is remarkably long below about 25 K, but exhibits different behavior at higher temperature.


title: Decidability, arithmetic subsequences and eigenvalues of morphic subshifts

abstract: We prove decidability results on the existence of constant subsequences of uniformly recurrent morphic sequences along arithmetic progressions. We use spectral properties of the subshifts they generate to give a first algorithm deciding whether, given p $\in$ N, there exists such a constant subsequence along an arithmetic progression of common difference p. In the special case of uniformly recurrent automatic sequences we explicitely describe the sets of such p by means of automata.


title: The long non-coding RNA HOTAIR is transcriptionally activated by HOXA9 and is an independent prognostic marker in patients with malignant glioma

abstract: The lncRNA HOTAIR has been implicated in several human cancers. Here, we evaluated the molecular alterations and upstream regulatory mechanisms of HOTAIR in glioma, the most common primary brain tumors, and its clinical relevance. HOTAIR gene expression, methylation, copy-number and prognostic value were investigated in human gliomas integrating data from online datasets and our cohorts. High levels of HOTAIR were associated with higher grades of glioma, particularly IDH wild-type cases. Mechanistically, HOTAIR was overexpressed in a gene dosage-independent manner, while DNA methylation levels of particular CpGs in HOTAIR locus were associated with HOTAIR expression levels in GBM clinical specimens and cell lines. Concordantly, the demethylating agent 5-Aza-2'-deoxycytidine affected HOTAIR transcriptional levels in a cell line-dependent manner. Importantly, HOTAIR was frequently co-expressed with HOXA9 in high-grade gliomas from TCGA, Oncomine, and our Portuguese and French datasets. Integrated in silico analyses, chromatin immunoprecipitation, and qPCR data showed that HOXA9 binds directly to the promoter of HOTAIR. Clinically, GBM patients with high HOTAIR expression had a significantly reduced overall survival, independently of other prognostic variables. In summary, this work reveals HOXA9 as a novel direct regulator of HOTAIR, and establishes HOTAIR as an independent prognostic marker, providing new therapeutic opportunities to treat this highly aggressive cancer.


title: Unwrapping phase fluctuations in one dimension

abstract: Correlation functions in one-dimensional complex scalar field theory provide a toy model for phase fluctuations, sign problems, and signal-to-noise problems in lattice field theory. Phase unwrapping techniques from signal processing are applied to lattice field theory in order to map compact random phases to noncompact random variables that can be numerically sampled without sign or signal-to-noise problems. A cumulant expansion can be used to reconstruct average correlation functions from moments of unwrapped phases, but points where the field magnitude fluctuates close to zero lead to ambiguities in the definition of the unwrapped phase and significant noise at higher orders in the cumulant expansion. Phase unwrapping algorithms that average fluctuations over physical length scales improve, but do not completely resolve, these issues in one dimension. Similar issues are seen in other applications of phase unwrapping, where they are found to be more tractable in higher dimensions.

categories: hep-lat cond-mat.stat-mech hep-th nucl-th quant-ph


title: Matrix Recovery with Implicitly Low-Rank Data

abstract: In this paper, we study the problem of matrix recovery, which aims to restore a target matrix of authentic samples from grossly corrupted observations. Most of the existing methods, such as the well-known Robust Principal Component Analysis (RPCA), assume that the target matrix we wish to recover is low-rank. However, the underlying data structure is often non-linear in practice, therefore the low-rankness assumption could be violated. To tackle this issue, we propose a novel method for matrix recovery in this paper, which could well handle the case where the target matrix is low-rank in an implicit feature space but high-rank or even full-rank in its original form. Namely, our method pursues the low-rank structure of the target matrix in an implicit feature space. By making use of the specifics of an accelerated proximal gradient based optimization algorithm, the proposed method could recover the target matrix with non-linear structures from its corrupted version. Comprehensive experiments on both synthetic and real datasets demonstrate the superiority of our method.


title: Broadcasting on Random Directed Acyclic Graphs

abstract: We study a generalization of the well-known model of broadcasting on trees. Consider a directed acyclic graph (DAG) with a unique source vertex $X$, and suppose all other vertices have indegree $d\geq 2$. Let the vertices at distance $k$ from $X$ be called layer $k$. At layer $0$, $X$ is given a random bit. At layer $k\geq 1$, each vertex receives $d$ bits from its parents in layer $k-1$, which are transmitted along independent binary symmetric channel edges, and combines them using a $d$-ary Boolean processing function. The goal is to reconstruct $X$ with probability of error bounded away from $1/2$ using the values of all vertices at an arbitrarily deep layer. This question is closely related to models of reliable computation and storage, and information flow in biological networks. In this paper, we analyze randomly constructed DAGs, for which we show that broadcasting is only possible if the noise level is below a certain degree and function dependent critical threshold. For $d\geq 3$, and random DAGs with layer sizes $\Omega(\log k)$ and majority processing functions, we identify the critical threshold. For $d=2$, we establish a similar result for NAND processing functions. We also prove a partial converse for odd $d\geq 3$ illustrating that the identified thresholds are impossible to improve by selecting different processing functions if the decoder is restricted to using a single vertex. Finally, for any noise level, we construct explicit DAGs (using expander graphs) with bounded degree and layer sizes $\Theta(\log k)$ admitting reconstruction. In particular, we show that such DAGs can be generated in deterministic quasi-polynomial time or randomized polylogarithmic time in the depth. These results portray a doubly-exponential advantage for storing a bit in DAGs compared to trees, where $d=1$ but layer sizes must grow exponentially with depth in order to enable broadcasting.


title: Boundary regularity for quasilinear elliptic equations with general Dirichlet boundary data

abstract: We study global regularity for solutions of quasilinear elliptic equations of the form $\div \A(x,u,\nabla u) = \div \F $ in rough domains $\Omega$ in $\R^n$ with nonhomogeneous Dirichlet boundary condition. The vector field $\A$ is assumed to be continuous in $u$, and its growth in $\nabla u$ is like that of the $p$-Laplace operator. We establish global gradient estimates in weighted Morrey spaces for weak solutions $u$ to the equation under the Reifenberg flat condition for $\Omega$, a small BMO condition in $x$ for $\A$, and an optimal condition for the Dirichlet boundary data.


title: New GTC Spectroscopic Data and a Statistical Study to Better Constrain the Redshift of the BL Lac RGB J2243+203

abstract: We present new spectroscopic data of the BL Lac RGB 2243+203, and its surroundings, obtained with the OSIRIS Multi Object Spectrograph (MOS) mounted in the Gran Telescopio Canarias (GTC). The spectra of neither the BL Lac nor its host galaxy show any spectral feature, thus hindering direct determination of its redshift. The spectroscopic redshift distribution of objects in the MOS field of view shows four galaxies with redshift between 0.5258 and 0.5288. We make use of a statistical analysis to test the possibility that the targeted BL Lac may be a member of that group. By using the spectroscopic redshifts obtained with our GTC observations, we found that this probability is between 86% and 93%.


title: Sup-norm of Hecke-Laplace Eigenforms on $S^3$

abstract: We prove sub-convex bounds on the fourth moment of Hecke-Laplace eigenforms on $S^3$. As a corollary, we get a bound on the sup-norm on an individual eigenform, which constitutes an improvement over what is achievable through employing the Iwaniec-Sarnak amplifier.


title: Exclusive Top Threshold Matching at Lepton Colliders

abstract: The threshold scan at future lepton colliders is the most precise known method to determine the top quark mass (well below 100 MeV), a fundamental parameter of the Standard Model that co-determines the stability properties of the electroweak vacuum. We present a new method to match the continuum next-to-leading order QCD corrections with the next-to-leading logarithmic resummation of the Coulomb singularities of the quasi-toponium bound state at threshold where fixed-order perturbation theory is invalid. This matching is performed at the level of the fully exclusive $W^+bW^-\bar{b}$ final state. It allows to study all kinds of differential distributions at or close to threshold. The top mass dependence of these distributions opens up new possibilities for the top mass determination that might be competitive with the inclusive threshold scan.


title: Attitude and Angular Velocity Tracking for a Rigid Body using Geometric Methods on the Two-Sphere (Stability Proof)

abstract: Stability proof of the controller proposed in the conference paper "Attitude and Angular Velocity Tracking for a Rigid Body using Geometric Methods on the Two-Sphere", DOI: 10.1109/ECC.2015.7331033. This proof must be studied together with Sec. III-C in the aforementioned paper.


title: Imprinting control regions (ICRs) are marked by mono-allelic bivalent chromatin when transcriptionally inactive

abstract: Parental allele-specific expression of imprinted genes is mediated by imprinting control regions (ICRs) that are constitutively marked by DNA methylation imprints on the maternal or paternal allele. Mono-allelic DNA methylation is strictly required for the process of imprinting and has to be faithfully maintained during the entire lifespan. While the regulation of DNA methylation itself is well understood, the mechanisms whereby the opposite allele remains unmethylated are unclear. Here, we show that in the mouse, at maternally methylated ICRs, the paternal allele, which is constitutively associated with H3K4me2/3, is marked by default by H3K27me3 when these ICRs are transcriptionally inactive, leading to the formation of a bivalent chromatin signature. Our data suggest that at ICRs, chromatin bivalency has a protective role by ensuring that DNA on the paternal allele remains unmethylated and protected against spurious and unscheduled gene expression. Moreover , they provide the proof of concept that, beside pluripotent cells, chromatin bivalency is the default state of transcriptionally inactive CpG island promoters , regardless of the developmental stage, thereby contributing to protect cell identity.


title: N-polar AlN buffer growth by MOVPE for transistor applications

abstract: We present the electrical characterization of N-polar AlN layers grown by metal-organic vapor phase epitaxy and the demonstration of N-polar AlN-channel metal-semiconductor field-effect transistors (MESFETs). A high concentration of silicon is unintentionally incorporated during the high-temperature growth of N-polar AlN, causing high buffer leak current. The silicon concentration reduces from 2x10^18 /cm^3 to 9x10^15 /cm^3 with decreasing growth temperature, reducing the buffer leak current to 5.6 nA/mm at a 100 V bias. The N-polar AlN MESFET exhibits an off-state drain current of 0.27 nA/mm and a transistor on/off ratio of 4.6x10^4 due to the high-resistivity AlN buffer layers.


title: An annotated list of bivalent chromatin regions in human ES cells: a new tool for cancer epigenetic research

abstract: CpG islands (CGI) marked by bivalent chromatin in stem cells are believed to be more prone to aberrant DNA methylation in tumor cells. The robustness and genome-wide extent of this instructive program in different cancer types remain to be determined. To address this issue we developed a user-friendly approach to integrate the stem cell chromatin signature in customized DNA methylation analyses. We used publicly available ChIP-sequencing datasets of several human embryonic stem cell (hESC) lines to determine the extent of bivalent chromatin genome-wide. We then created annotated lists of high-confidence bivalent, H3K4me3-only and H3K27me3-only chromatin regions. The main features of bivalent regions included localization in CGI/promoters, depletion in retroelements and enrichment in specific histone modifications, including the poorly characterized H3K23me2 mark. Moreover, bivalent promoters could be classified in three clusters based on PRC2 and PolII complexes occupancy. Genes with bivalent promoters of the PRC2-defined cluster displayed the lowest expression upon differentiation. As proof-of-concept, we assessed the DNA methylation pattern of eight types of tumors and confirmed that aberrant cancer-associated DNA hypermethylation preferentially targets CGI characterized by bivalent chromatin in hESCs. We also found that such aberrant DNA hypermethylation affected particularly bivalent CGI/promoters associated with genes that tend to remain repressed upon differentiation. Strikingly, bivalent CGI were the most affected by aberrant DNA hypermethylation in both CpG Island Methylator Phenotype-positive (CIMP+) and CIMP-negative tumors, suggesting that, besides transcriptional silencing in the pre-tumorigenic cells, the bivalent chromatin signature in hESCs is a key determinant of the instructive program for aberrant DNA methylation.


title: Dating glacier ice of the last millennium by quantum technology

abstract: Radiometric dating with 39Ar covers a unique timespan and offers key advances in interpreting environmental archives of the last millennium. Although this tracer has been acknowledged for decades, studies so far have been limited by the low abundance and radioactivity, thus requiring huge sample sizes. Atom Trap Trace Analysis, an application of techniques from quantum physics such as laser cooling and trapping, allows to reduce the sample volume by several orders of magnitude, compared to conventional techniques. Here we show that the adaptation of this method to 39Ar is now available for glaciological applications, by demonstrating the first Argon Trap Trace Analysis (ArTTA) dating of alpine glacier ice samples. Ice blocks as small as a few kilograms are sufficient and have been obtained at two artificial glacier caves. Importantly, both sites offer direct access to the stratigraphy at the glacier base and validation against existing age constraints. The ice blocks obtained at Chli Titlis glacier in 3030 m all (Swiss Alps) have been dated by state-of-the-art micro-radiocarbon analysis in a previous study. The unique finding of a bark fragment and a larch needle within the ice of Schaufelferner glacier in 2870 m asl (Stubai Alps, Austria) allows for conventional radiocarbon dating. At both sites, results of 39Ar dating match the existing age information based on radiocarbon dating and visual stratigraphy. With our results, we establish Argon Trap Trace Analysis as the key to decipher so far untapped glacier archives of the last millennium.


title: On infinitesimal contraction analysis for hybrid systems

abstract: Infinitesimal contraction analysis, wherein global asymptotic convergence results are obtained from local dynamical properties, has proven to be a powerful tool for applications in biological, mechanical, and transportation systems. The technique has primarily been developed for systems governed by a single, possibly nonsmooth, differential or difference equation. We generalize infinitesimal contraction analysis to hybrid systems governed by interacting differential and difference equations. Importantly, we leverage an intrinsic distance function to derive the first contraction results for hybrid systems without restrictions on mode sequence or dwell time. Our theoretical results are illustrated in several examples and applications.


title: An alternative method for solving the Gaussian integral

abstract: In this paper, we have proposed a new method for solving the Gaussian integral. Introducing a parameter that depends on a $n$ index, we have found a general solution for this type of integral inspired by Taylor series of a simple function. We have demonstrated that this parameter represents the Taylor series coefficients of this function, a result very newsworthy. We have also introduced some Theorems that are proved by mathematical induction. The proposed method in this work has shown more practical and accessible than some methods found in the literature. As a test for the method, we have investigated a non-extensive version for the particle number density in Tsallis framework, which enabled us to evaluate the functionality of the method. Besides, solutions for a certain class of the gamma and factorial functions are derived. Moreover, we have presented a simple application in fractional calculus. In conclusion, we believe in the relevance of this work because it presents a new form of solving the Gaussian integral having the differential calculus as a tool.


title: Higgs and Coulomb branches from vertex operator algebras

abstract: We formulate a conjectural relation between the category of line defects in topologically twisted 3d ${\cal N} = 4$ supersymmetric quantum field theories and categories of modules for Vertex Operator Algebras of boundary local operators for the theories. We test the conjecture in several examples and provide some partial proofs for standard classes of gauge theories.


title: Elliptic flow fluctuations in central collisions of spherical and deformed nuclei

abstract: Elliptic flow ($v_2$) fluctuations in central heavy-ion collisions are direct probes of the fluctuating geometry of the quark-gluon plasma, and, as such, are strongly sensitive to any deviation from spherical symmetry in the shape of the colliding nuclei. We investigate the consequences of nuclear deformation for $v_2$ fluctuations, and we assess whether current models of medium geometry are able to predict and capture such effects. Assuming linear hydrodynamic response between $v_2$ and the eccentricity of the medium, $\varepsilon_2$, we perform accurate comparisons between model calculations of $\varepsilon_2$ fluctuations and STAR data on cumulants of elliptic flow, in central Au+Au and U+U collisions. From these comparisons, we evince that the most distinct signatures of nuclear deformation appear in the non-Gaussianities of $v_2$ fluctuation, and we show, in particular, that the non-Gaussian $v_2$ fluctuations currently observed in central Au+Au collisions are incompatible with model calculations that implement a quadrupole coefficient of order 12\% in the $^{197}$Au nuclei. Finally, we make robust predictions for the behavior of higher-order cumulants of $v_2$ in collisions of non-spherical nuclei.


title: Giant Exchange Bias in the Single-layered Ruddlesden-Popper Perovskite SrLaCo0.5Mn0.5O4

abstract: Exchange bias (EB) as large as ~5.5 kOe is observed in SrLaCo0.5Mn0.5O4 which is the highest ever found in any layered transition metal oxides including Ruddlesden-Popper series. Neutron diffraction measurement rules out long-range magnetic ordering and together with dc magnetic measurements suggest formation of short-range magnetic domains. AC magnetic susceptibility, magnetic memory effect and magnetic training effect confirm the system to be a cluster spin glass. By carrying out density functional calculations on several model configurations, we propose that EB is originated at the boundary between Mn-rich antiferromagnetic and Co-rich ferromagnetic domains at the sub-nanoscale. Reversal of magnetization axis on the Co-side alters the magnetic coupling between the interfacial Mn and Co spins which leads to EB. Our analysis infers that the presence of competing magnetic interactions is sufficient to induce exchange bias and thereby a wide range of materials exhibiting giant EB can be engineered for designing novel magnetic memory devices.


title: Magnetic-oscillation mechanism for understanding periodic or quasi-periodic modulation of the timing residuals from pulsars

abstract: Highly precise pulsar timing is very important for understanding the nature of neutron stars and the implied physics, even being used to detect directly gravitational waves. Unfortunately, the accuracy of the pulsar timing is seriously affected by the spin-down irregularities, such as spin fluctuations with a manifestation of low frequency structures (the so-called red noise processes), and various activities of magnetospheres. Except from the random timing noise, significant periodic or quasi-periodic components could also be found in some timing residuals of pulsars, indicating the presence of unmodelled deterministic effects. The physical origins of these effects still remain unexplained. In this paper, we suggest a new mechanism involving the de Haas-van Alphen magnetic oscillation, which could trigger the observed low frequency structures. We find that the proposed magnetic oscillation period is about 1-$10^{2}$ yr, which is about $10^{-4}$ times as long as the classical characteristic time scale of interior magnetic field evolution for a normal neutron star. Due to the magnetic oscillation, we estimate both the braking index range between $10^{-5}$ and $10^{5}$ and the residuals range between 4 to 906 ms for some specific samples of quasi-periodic pulsars. Those are consistent with the pulsar timing observations. Nonlinear phenomena of de Haas-van Alphen effect and the Condon domain structure are considered. Avalanche-like magnetized process of domain wall motion (rapidly magnetic energy release) could associated with some special emitting manifestations of neuron star radiation.


title: A Convergence Theory for Deep Learning via Over-Parameterization

abstract: Deep neural networks (DNNs) have demonstrated dominating performance in many fields; since AlexNet, networks used in practice are going wider and deeper. On the theoretical side, a long line of works has been focusing on training neural networks with one hidden layer. The theory of multi-layer networks remains largely unsettled. In this work, we prove why stochastic gradient descent (SGD) can find $\textit{global minima}$ on the training objective of DNNs in $\textit{polynomial time}$. We only make two assumptions: the inputs are non-degenerate and the network is over-parameterized. The latter means the network width is sufficiently large: $\textit{polynomial}$ in $L$, the number of layers and in $n$, the number of samples. Our key technique is to derive that, in a sufficiently large neighborhood of the random initialization, the optimization landscape is almost-convex and semi-smooth even with ReLU activations. This implies an equivalence between over-parameterized neural networks and neural tangent kernel (NTK) in the finite (and polynomial) width setting. As concrete examples, starting from randomly initialized weights, we prove that SGD can attain 100% training accuracy in classification tasks, or minimize regression loss in linear convergence speed, with running time polynomial in $n,L$. Our theory applies to the widely-used but non-smooth ReLU activation, and to any smooth and possibly non-convex loss functions. In terms of network architectures, our theory at least applies to fully-connected neural networks, convolutional neural networks (CNN), and residual neural networks (ResNet).


title: Deep Compression of Sum-Product Networks on Tensor Networks

abstract: Sum-product networks (SPNs) represent an emerging class of neural networks with clear probabilistic semantics and superior inference speed over graphical models. This work reveals a strikingly intimate connection between SPNs and tensor networks, thus leading to a highly efficient representation that we call tensor SPNs (tSPNs). For the first time, through mapping an SPN onto a tSPN and employing novel optimization techniques, we demonstrate remarkable parameter compression with negligible loss in accuracy.


title: Dark matter as scalaron in $f(R)$ gravity models

abstract: We explore the scalar field obtained under the conformal transformation of the spacetime metric $g_{\mu\nu}$ from the Jordan frame to the Einstein frame in $f(R)$ gravity. This scalar field is the result of the modification in the gravitational part of the Einstein's general relativistic theory of gravity. For $f(R)=\frac{R^{1+\delta}}{R_{c}^{\delta}}$, we find the effective potential of the scalar field and calculate the mass of the scalar field particle "scalaron". It is shown that the mass of the scalaron depends upon the energy density of standard matter in the background. The interaction between standard matter and scalaron is weak in the high curvature regime. This linkage between the mass of the scalaron and the background leads to the physical effects of dark matter and is expected to reflect the anisotropic propagation of scalaron in moving baryonic matter fields as in merging clusters (Bullet cluster, the Abell 520 system, MACS etc.). Such scenario also satisfies the local gravity constraints of $f(R)$ gravity. We further calculate the equation of state of the scalar field in the action-angle variable formalism and show its distinct features as the dark matter and dark energy with respect to energy density of the scalar field at different values of the model parameter $\delta$.


title: A neutral relation between metallic structure and almost quadratic {\phi}-structure

abstract: In this paper, metallic structure and almost quadratic metric phi-structure are studied. Based on metallic (polynomial) Riemannian manifold, Kenmotsu quadratic metric manifold, cosymplectic quadratic metric manifold are defined and gave some examples. Finally, we construct quadratic phi-structure on the hypersurface M^n of a locally metallic Riemannian manifold M^n+1.


title: A Complexity Dichotomy for Critical Values of the b-Chromatic Number of Graphs

abstract: A $b$-coloring of a graph $G$ is a proper coloring of its vertices such that each color class contains a vertex that has at least one neighbor in all the other color classes. The b-Coloring problem asks whether a graph $G$ has a $b$-coloring with $k$ colors. The $b$-chromatic number of a graph $G$, denoted by $\chi_b(G)$, is the maximum number $k$ such that $G$ admits a $b$-coloring with $k$ colors. We consider the complexity of the b-Coloring problem, whenever the value of $k$ is close to one of two upper bounds on $\chi_b(G)$: The maximum degree $\Delta(G)$ plus one, and the $m$-degree, denoted by $m(G)$, which is defined as the maximum number $i$ such that $G$ has $i$ vertices of degree at least $i-1$. We obtain a dichotomy result stating that for fixed $k \in \{\Delta(G) + 1 - p, m(G) - p\}$, the problem is polynomial-time solvable whenever $p \in \{0, 1\}$ and, even when $k = 3$, it is NP-complete whenever $p \ge 2$. We furthermore consider parameterizations of the b-Coloring problem that involve the maximum degree $\Delta(G)$ of the input graph $G$ and give two FPT-algorithms. First, we show that deciding whether a graph $G$ has a $b$-coloring with $m(G)$ colors is FPT parameterized by $\Delta(G)$. Second, we show that b-Coloring is FPT parameterized by $\Delta(G) + \ell_k(G)$, where $\ell_k(G)$ denotes the number of vertices of degree at least $k$.


title: The Gibbs Paradox and the Physical Criteria for the Indistinguishability of Identical Particles

abstract: Gibbs paradox in the context of statistical mechanics addresses the issue of additivity of entropy of mixing gases. The usual discussion attributes the paradoxical situation to classical distinguishability of identical particles and credits quantum theory for enabling indistinguishability of identical particles to solve the problem. We argue that indistinguishability of identical particles is already a feature in classical mechanics and this is clearly brought out when the problem is treated in the language of information and associated entropy. We pinpoint the physical criteria for indistinguishability that is crucial for the treatment of the Gibbs' problem and the consistency of its solution with conventional thermodynamics. Quantum mechanics provides a quantitative criterion, not possible in the classical picture, for the degree of indistinguishability in terms of visibility of quantum interference, or overlap of the states as pointed out by von Neumann, thereby endowing the entropy expression with mathematical continuity and physical reasonableness.


title: Collaboratively Learning the Best Option on Graphs, Using Bounded Local Memory

abstract: We consider multi-armed bandit problems in social groups wherein each individual has bounded memory and shares the common goal of learning the best arm/option. We say an individual learns the best option if eventually (as $t\to \infty$) it pulls only the arm with the highest expected reward. While this goal is provably impossible for an isolated individual due to bounded memory, we show that, in social groups, this goal can be achieved easily with the aid of social persuasion (i.e., communication) as long as the communication networks/graphs satisfy some mild conditions. To deal with the interplay between the randomness in the rewards and in the social interaction, we employ the {\em mean-field approximation} method. Considering the possibility that the individuals in the networks may not be exchangeable when the communication networks are not cliques, we go beyond the classic mean-field techniques and apply a refined version of mean-field approximation: (1) Using coupling we show that, if the communication graph is connected and is either regular or has doubly-stochastic degree-weighted adjacency matrix, with probability $\to 1$ as the social group size $N \to \infty$, every individual in the social group learns the best option. (2) If the minimum degree of the graph diverges as $N \to \infty$, over an arbitrary but given finite time horizon, the sample paths describing the opinion evolutions of the individuals are asymptotically independent. In addition, the proportions of the population with different opinions converge to the unique solution of a system of ODEs. In the solution of the obtained ODEs, the proportion of the population holding the correct opinion converges to $1$ exponentially fast in time. Notably, our results hold even if the communication graphs are highly sparse.


title: Monte Carlo, fitting and Machine Learning for Tau leptons

abstract: Status of tau lepton decay Monte Carlo generator TAUOLA, and its main recent applications are reviewed. It is underlined, that in recent efforts on development of new hadronic currents, the multi-dimensional nature of distributions of the experimental data must be taken with a great care. Studies for H to tau tau; tau to hadrons indeed demonstrate that multi-dimensional nature of distributions is important and available for evaluation of observables where tau leptons are used to constrain experimental data. For that part of the presentation, use of the TAUOLA program for phenomenology of H and Z decays at LHC is discussed, in particular in the context of the Higgs boson parity measurements with the use of Machine Learning techniques. Some additions, relevant for QED lepton pair emission and electroweak corrections are mentioned as well.


title: Looking Deeper into Deep Learning Model: Attribution-based Explanations of TextCNN

abstract: Layer-wise Relevance Propagation (LRP) and saliency maps have been recently used to explain the predictions of Deep Learning models, specifically in the domain of text classification. Given different attribution-based explanations to highlight relevant words for a predicted class label, experiments based on word deleting perturbation is a common evaluation method. This word removal approach, however, disregards any linguistic dependencies that may exist between words or phrases in a sentence, which could semantically guide a classifier to a particular prediction. In this paper, we present a feature-based evaluation framework for comparing the two attribution methods on customer reviews (public data sets) and Customer Due Diligence (CDD) extracted reports (corporate data set). Instead of removing words based on the relevance score, we investigate perturbations based on embedded features removal from intermediate layers of Convolutional Neural Networks. Our experimental study is carried out on embedded-word, embedded-document, and embedded-ngrams explanations. Using the proposed framework, we provide a visualization tool to assist analysts in reasoning toward the model's final prediction.