title: Input-Feedforward-Passivity-Based Distributed Optimization Over Jointly Connected Balanced Digraphs

abstract: In this paper, a distributed optimization problem is investigated via input feedforward passivity. First, an input-feedforward-passivity-based continuous-time distributed algorithm is proposed. It is shown that the error system of the proposed algorithm can be decomposed into a group of individual input feedforward passive (IFP) systems that interact with each other using output feedback information. Based on this IFP framework, convergence conditions of a suitable coupling gain are derived over weight-balanced and uniformly jointly strongly connected (UJSC) topologies. It is also shown that the IFP-based algorithm converges exponentially when the topology is strongly connected. Second, a novel distributed derivative feedback algorithm is proposed based on the passivation of IFP systems. While most works on directed topologies require knowledge of eigenvalues of the graph Laplacian, the derivative feedback algorithm is fully distributed, namely, it is robust against randomly changing weight-balanced digraphs with any positive coupling gain and without knowing any global information. Finally, numerical examples are presented to illustrate the proposed distributed algorithms.


title: Grand Challenge of 106-Point Facial Landmark Localization

abstract: Facial landmark localization is a very crucial step in numerous face related applications, such as face recognition, facial pose estimation, face image synthesis, etc. However, previous competitions on facial landmark localization (i.e., the 300-W, 300-VW and Menpo challenges) aim to predict 68-point landmarks, which are incompetent to depict the structure of facial components. In order to overcome this problem, we construct a challenging dataset, named JD-landmark. Each image is manually annotated with 106-point landmarks. This dataset covers large variations on pose and expression, which brings a lot of difficulties to predict accurate landmarks. We hold a 106-point facial landmark localization competition1 on this dataset in conjunction with IEEE International Conference on Multimedia and Expo (ICME) 2019. The purpose of this competition is to discover effective and robust facial landmark localization approaches.


title: Pileup and Underlying Event Mitigation with Iterative Constituent Subtraction

abstract: The hard-scatter processes in hadronic collisions are often largely contaminated with soft background coming from pileup in proton-proton collisions, or underlying event in heavy-ion collisions. This paper presents a new background subtraction method for jets and event observables (such as missing transverse energy) which is based on the previously published Constituent Subtraction algorithm. The new subtraction method, called Iterative Constituent Subtraction, applies event-wide implementation of Constituent Subtraction iteratively in order to fully equilibrate the background subtraction across the entire event. Besides documenting the new method, we provide guidelines for setting the free parameters of the subtraction algorithm. Using particle-level simulation, we provide a comparison of Iterative Constituent Subtraction with several existing methods from which we conclude that the new method has a significant potential to improve the background mitigation in both proton-proton and heavy-ion collisions.


title: RSS-Based Detection of Drones in the Presence of RF Interferers

abstract: Drones will have extensive use cases across various commercial, government, and military sectors, ranging from delivery of consumer goods to search and rescue operations. To maintain the safety and security of people and infrastructure, it becomes critically important to quickly and accurately detect non-cooperating drones. In this paper we formulate a received signal strength (RSS) based detector, leveraging the existing wireless infrastructures that might already be serving other devices. Thus the detector can detect the presence of a drone signal buried in radio frequency (RF) interference and thermal noise, in a mixed line-of-sight (LOS) and non-LOS (NLOS) environment. We develop analytical expressions for the probability of false alarm and the probability of detection of a drone, which quantify the impact of aggregate interference and air-to-ground (A2G) propagation characteristics on the detection performance of individual sensors. We also provide analytical expressions for the average network probability of detection, which capture the impact of sensor density on a network's detection coverage. Finally, we find the critical sensor density that maximizes the average network probability of detection for a given requirement of the probability of false alarm.


title: Non-Markovian open dynamics from collision models

abstract: Convex combinations of the completely positive (CP) as well as CP-divisible, continuous time dynamical maps arising from collision models are investigated. While the individual maps are both CP and Markovian we find that convex combinations remain CP but not necessarily Markovian. Examples of such combinations for qubit dynamical maps arising from collisional models are worked out and the invertibility, CP-divisibility, P-divisibility as well as Markovian properties of such maps are explored.


title: Asymptotic estimate of cohomology groups valued in pseudo-effective line bundles

abstract: In this paper, we study questions of Demailly and Matsumura on the asymptotic behavior of dimensions of cohomology groups for high tensor powers of (nef) pseudo-effective line bundles over non-necessarily projective algebraic manifolds. By generalizing Siu's $\partial\overline{\partial}$-formula and Berndtsson's eigenvalue estimate of $\overline{\partial}$-Laplacian and combining Bonavero's technique, we obtain the following result: given a holomorphic pseudo-effective line bundle $(L, h_L)$ on a compact Hermitian manifold $(X,\omega)$, if $h_L$ is a singular metric with algebraic singularities, then $\dim H^{q}(X,L^k\otimes E\otimes \mathcal{I}(h_L^{k}))\leq Ck^{n-q}$ for $k$ large, with $E$ an arbitrary holomorphic vector bundle. As applications, we obtain partial solutions to the questions of Demailly and Matsumura.


title: CR eigenvalue estimate and Kohn-Rossi cohomology

abstract: Let $X$ be a compact connected CR manifold with a transversal CR $S^1$-action of real dimension $2n-1$, which is only assumed to be weakly pseudoconvex. Let $\Box_b$ be the $\overline{\partial}_b$-Laplacian, with respect to a $T$-rigid Hermitian metric (see Definition 3.2 of $T$-rigid Hermitian metric). Eigenvalue estimate of $\Box_b$ is a fundamental issue both in CR geometry and analysis. In this paper, we are able to obtain a sharp estimate of the number of eigenvalues smaller than or equal to $\lambda$ of $\Box_b$ acting on the $m$-th Fourier components of smooth $(n-1,q)$-forms on $X$, where $m\in \mathbb{Z}_+$ and $q=0,1,\cdots, n-1$. Here the sharp means the growth order with respect to $m$ is sharp. In particular, when $\lambda=0$, we obtain the asymptotic estimate of the growth for $m$-th Fourier components $H^{n-1,q}_{b,m}(X)$ of $H^{n-1,q}_b(X)$ as $m \rightarrow +\infty$. Furthermore, we establish a Serre type duality theorem for Fourier components of Kohn-Rossi cohomology which is of independent interest. As a byproduct, the asymptotic growth of the dimensions of the Fourier components $H^{0,q}_{b,-m}(X)$ for $ m\in \mathbb{Z}_+$ is established. We also give appilcations of our main results, including Morse type inequalities, asymptotic Riemann-Roch type theorem, Grauert-Riemenscheider type criterion, and an orbifold version of our main results which provides an answer towards a folklore open problem informed to us by Hsiao.


title: Some Remarks on Systems of Equiangular Lines

abstract: In this note, we study the maximum number $N_\alpha(d)$ of a system of equiangular lines in $\mathbb{R}^d$ with cosine $\alpha$, where $\frac{1}{\alpha}$ is not an odd positive integer. This note is motivated by a remark in a $2018$ paper by Balla, Dr\"{a}xler, Keevash and Sudakov.


title: Large polar caps for twisted magnetosphere of magnetars

abstract: The magnetic field of magnetars may be twisted compared with that of normal pulsars. Previous works mainly discussed magnetic energy release in the closed field line regions of magnetars. For a twisted magnetic field, the field lines will inflate in the radial direction. Similar to normal pulsars, the idea of light cylinder radius is introduced. More field lines will cross the light cylinder and become open for a twisted magnetic field. Therefore, magnetars may have a large polar cap, which may correspond to the hot spot during outburst. Particle flow in the open field line regions will result in the untwisting of the magnetic field. Magnetic energy release in the open field line regions can be calculated. The model calculations can catch the general trend of magnetar outburst: decreasing X-ray luminosity, shrinking hot spot etc. For magnetic energy release in the open field line regions, the geometry will be the same for different outburst in one magnetar.


title: Strong completeness of modal logics over 0-dimensional metric spaces

abstract: We prove strong completeness results for some modal logics with the universal modality, with respect to their topological semantics over 0-dimensional dense-in-themselves metric spaces. We also use failure of compactness to show that, for some languages and spaces, no standard modal deductive system is strongly complete.


title: Cohomological Methods in Intersection Theory

abstract: These notes are an account of a series of lectures I gave at the LMS-CMI Research School `Homotopy Theory and Arithmetic Geometry: Motivic and Diophantine Aspects', in July 2018, at the Imperial College London. The goal of these notes is to see how motives may be used to enhance cohomological methods, giving natural ways to prove independence of $\ell$ results for traces and zeta-functions, and constructions of characteristic classes (as $0$-cycles). This leads to the Grothendieck-Lefschetz formula, of which we give a new motivic proof. There are also a few additions to what have been told in the lectures: a proof of Grothendieck-Verdier duality of \'etale motives on schemes of finite type over a regular quasi-excellent scheme (which slightly improves the level of generality in the existing literature); a proof that $\mathbf{Q}$-linear motivic sheaves are virtually integral; a proof of the motivic generic base change formula.


title: On Transmission Efficiency of Quantum Modulations

abstract: In quantum information theory, it is important to find modulations with low information loss for noisy channels. In this paper, using the quantum dynamical entropy and the quantum dynamical mutual entropy, we investigate the transmission efficiency of two quantum modulators through attenuation channels.


title: Speeding-up a quantum refrigerator via counter-diabatic driving

abstract: We study the application of a counter-diabatic driving (CD) technique to enhance the thermodynamic efficiency and power of a quantum Otto refrigerator based on a superconducting qubit coupled to two resonant circuits. Although the CD technique is originally designed to counteract non-adiabatic coherent excitations in isolated systems, we find that it also works effectively in the open system dynamics, improving the coherence-induced losses of efficiency and power. We compare the CD dynamics with its classical counterpart, and find a deviation that arises because the CD is designed to follow the energy eigenbasis of the original Hamiltonian, but the heat baths thermalize the system in a different basis. We also discuss possible experimental realizations of our model.


title: Decomposition algebras and axial algebras

abstract: We introduce decomposition algebras as a natural generalization of axial algebras, Majorana algebras and the Griess algebra. They remedy three limitations of axial algebras: (1) They separate fusion laws from specific values in a field, thereby allowing repetition of eigenvalues; (2) They allow for decompositions that do not arise from multiplication by idempotents; (3) They admit a natural notion of homomorphisms, making them into a nice category. We exploit these facts to strengthen the connection between axial algebras and groups. In particular, we provide a definition of a universal Miyamoto group which makes this connection functorial under some mild assumptions. We illustrate our theory by explaining how representation theory and association schemes can help to build a decomposition algebra for a given (permutation) group. This construction leads to a large number of examples. We also take the opportunity to fix some terminology in this rapidly expanding subject.


title: Positive solutions for quasilinear elliptic inequalities and systems with nonlocal terms

abstract: We investigate the existence and nonexistence of positive solutions for the quasilinear elliptic inequality $L_\mathcal{A} u= -{\rm div}[\mathcal{A}(x, u, \nabla u)]\geq (I_\alpha\ast u^p)u^q$ in $\Omega$, where $\Omega\subset \mathbb{R}^N, N\geq 1,$ is an open set. Here $I_\alpha$ stands for the Riesz potential of order $\alpha\in (0, N)$, $p>0$ and $q\in \mathbb{R}$. For a large class of operators $L_\mathcal{A}$ (which includes the $m$-Laplace and the $m$-mean curvature operator) we obtain optimal ranges of exponents $p,q$ and $\alpha$ for which positive solutions exist. Our methods are then extended to quasilinear elliptic systems of inequalities.


title: Representations of braid groups and construction of projective surfaces

abstract: Braid groups are an important and flexible tool used in several areas of science, such as Knot Theory (Alexander's theorem), Mathematical Physics (Yang-Baxter's equation) and Algebraic Geometry (monodromy invariants). In this note we will focus on their algebraic-geometric aspects, explaining how the representation theory of higher genus braid groups can be used to produce interesting examples of projective surfaces defined over the field of complex numbers.


title: Higher-order Topological Mott Insulators

abstract: We propose a new correlated topological state which we call a higher-order topological Mott insulator (HOTMI). This state exhibits a striking bulk-boundary correspondence due to electron correlations. Namely, the topological properties in the bulk, characterized by the Z3 spin-Berry phase, result in gapless corner modes emerging only in spin excitations (i.e., the single-particle excitations remain gapped around the corner). We demonstrate the emergence of the HOTMI in a Hubbard model on the kagome lattice, and elucidate how strong correlations change gapless corner modes at the noninteracting case.


title: How to interpret algorithmically constructed topical structures of research specialties? A case study comparing an internal and an external mapping of the topical structure of invasion biology

abstract: In our paper we seek to address a shortcoming in the scientometric literature, namely that, given the proliferation of algorithmic approaches to topic detection from bibliometric data, there is a relative lack of studies that validate and create a deeper understanding of the topical structures these algorithmic approaches generate. To take a closer look at this issue, we investigate the results of the new Leiden algorithm when applied to the direct citation network of a field-level data set. We compare this internal perspective which is constructed from the citation links within a data set of 30,000 publications in invasion biology, with an external perspective onto the topic structures in this research specialty, which is based on a global science map in form of the CWTS microfield classification underlying the Leiden Ranking. We present an initial comparative analysis of the results and lay out our next steps that will involve engaging with domain experts to examine how the algorithmically identified topics relate to understandings of topics and topical perspectives that operate within this research specialty.


title: Suppressing inhomogeneous broadening in a lutetium multi-ion optical clock

abstract: We demonstrate precision measurement and control of inhomogeneous broadening in a multi-ion clock consisting of three $^{176}$Lu$^+$ ions. Microwave spectroscopy between hyperfine states in the $^3D_1$ level is used to characterise differential systematic shifts between ions, most notably those associated with the electric quadrupole moment. By appropriate alignment of the magnetic field, we demonstrate suppression of these effects to the $\sim 10^{-17}$ level relative to the $^1S_0\leftrightarrow{}^3D_1$ optical transition frequency. Correlation spectroscopy on the optical transition demonstrates the feasibility of a 10s Ramsey interrogation in the three ion configuration with a corresponding projection noise limited stability of $\sigma(\tau)=8.2\times 10^{-17}/\sqrt{\tau}$


title: Birational geometry of moduli of curves with an $S_3$-cover

abstract: We consider the space $\mathcal R_{g,S_3}^{S_3}$ of curves with a connected $S_3$-cover, proving that for any odd genus $g\geq 13$ this moduli is of general type. Furthermore we develop a set of tools that are essential in approaching the case of $G$-covers for any finite group $G$.


title: Projections onto the canonical simplex with additional linear inequalities

abstract: We consider the distributionally robust optimization and show that computing the distributional worst-case is equivalent to computing the projection onto the canonical simplex with additional linear inequality. We consider several distance functions to measure the distance of distributions. We write the projections as optimization problems and show that they are equivalent to finding a zero of real-valued functions. We prove that these functions possess nice properties such as monotonicity or convexity. We design optimization methods with guaranteed convergence and derive their theoretical complexity. We demonstrate that our methods have (almost) linear observed complexity.


title: Writhe polynomials and shell moves for virtual knots and links

abstract: The writhe polynomial is a fundamental invariant of an oriented virtual knot. We introduce a kind of local moves for oriented virtual knots called shell moves. The first aim of this paper is to prove that two oriented virtual knots have the same writhe polynomial if and only if they are related by a finite sequence of shell moves. The second aim of this paper is to classify oriented $2$-component virtual links up to shell moves by using several invariants of virtual links.


title: Evaluating Model Testing and Model Checking for Finding Requirements Violations in Simulink Models

abstract: Matlab/Simulink is a development and simulation language that is widely used by the Cyber-Physical System (CPS) industry to model dynamical systems. There are two mainstream approaches to verify CPS Simulink models: model testing that attempts to identify failures in models by executing them for a number of sampled test inputs, and model checking that attempts to exhaustively check the correctness of models against some given formal properties. In this paper, we present an industrial Simulink model benchmark, provide a categorization of different model types in the benchmark, describe the recurring logical patterns in the model requirements, and discuss the results of applying model checking and model testing approaches to identify requirements violations in the benchmarked models. Based on the results, we discuss the strengths and weaknesses of model testing and model checking. Our results further suggest that model checking and model testing are complementary and by combining them, we can significantly enhance the capabilities of each of these approaches individually. We conclude by providing guidelines as to how the two approaches can be best applied together.


title: Geometric Phases for Classical and Quantum Dynamics: Hannay angle and Berry Phase for Loops on a Torus

abstract: In this paper we have considered closed trajectories of a particle on a two-torus where the loops are noncontractible (poloidal and toroidal loops and knots embedded on a regular torus). We have calculated Hannay angle and Berry phase for particle traversing such loops and knots when the torus itself is adiabatically revolving. Since noncontractible loops do not enclose any area Stokes theorem has to be applied with caution. In our computational scheme we have worked with line integrals directly thus avoiding Stokes theorem.


title: Socle deformations of selfinjective orbit algebras of tilted type

abstract: We survey recent development of the study of finite-dimensional selfinjective algebras over a field which are socle equivalent to selfinjective orbit algebras of tilted type.


title: Limits of Deepfake Detection: A Robust Estimation Viewpoint

abstract: Deepfake detection is formulated as a hypothesis testing problem to classify an image as genuine or GAN-generated. A robust statistics view of GANs is considered to bound the error probability for various GAN implementations in terms of their performance. The bounds are further simplified using a Euclidean approximation for the low error regime. Lastly, relationships between error probability and epidemic thresholds for spreading processes in networks are established.


title: Toward Packet Routing with Fully-distributed Multi-agent Deep Reinforcement Learning

abstract: Packet routing is one of the fundamental problems in computer networks in which a router determines the next-hop of each packet in the queue to get it as quickly as possible to its destination. Reinforcement learning (RL) has been introduced to design autonomous packet routing policies with local information of stochastic packet arrival and service. However, the curse of dimensionality of RL prohibits the more comprehensive representation of dynamic network states, thus limiting its potential benefit. In this paper, we propose a novel packet routing framework based on \emph{multi-agent} deep reinforcement learning (DRL) in which each router possess an \emph{independent} LSTM recurrent neural network for training and decision making in a \emph{fully distributed} environment. The LSTM recurrent neural network extracts routing features from rich information regarding backlogged packets and past actions, and effectively approximates the value function of Q-learning. We further allow each route to communicate periodically with direct neighbors so that a broader view of network state can be incorporated. Experimental results manifest that our multi-agent DRL policy can strike the delicate balance between congestion-aware and shortest routes, and significantly reduce the packet delivery time in general network topologies compared with its counterparts.


title: Non-Asymptotic Sequential Tests for Overlapping Hypotheses and application to near optimal arm identification in bandit models

abstract: In this paper, we study sequential testing problems with \emph{overlapping} hypotheses. We first focus on the simple problem of assessing if the mean $\mu$ of a Gaussian distribution is smaller or larger than a fixed $\epsilon>0$; if $\mu\in(-\epsilon,\epsilon)$, both answers are considered to be correct. Then, we consider PAC-best arm identification in a bandit model: given $K$ probability distributions on $\mathbb{R}$ with means $\mu_1,\dots,\mu_K$, we derive the asymptotic complexity of identifying, with risk at most $\delta$, an index $I\in\{1,\dots,K\}$ such that $\mu_I\geq \max_i\mu_i -\epsilon$. We provide non-asymptotic bounds on the error of a parallel General Likelihood Ratio Test, which can also be used for more general testing problems. We further propose lower bound on the number of observation needed to identify a correct hypothesis. Those lower bounds rely on information-theoretic arguments, and specifically on two versions of a change of measure lemma (a high-level form, and a low-level form) whose relative merits are discussed.


title: Unification of Inflation with Dark Energy in $f(R)$ Gravity and Axion Dark Matter

abstract: In this work we introduce an effective model of $f(R)$ gravity containing a non-minimal coupling to the axion scalar field. The axion field is described by the misalignment model, in which the primordial $U(1)$ Peccei-Quinn symmetry is broken during inflation and the $f(R)$ gravity is described by the $R^2$ model, and in addition, the non-minimal coupling has the form $\sim h(\phi)R^{\gamma}$, with $0<\gamma<0.75$. By appropriately constraining the non-minimal coupling at early times, the axion field remains frozen in its primordial vacuum expectation value, and the $R^2$ gravity dominates the inflationary era. As the Universe expands, when $H$ equals the axion mass $m_a$ and for cosmic times for which $m_a\gg H$, the axion field oscillates. By assuming a slowly varying evolution of the axion field, the axion energy density scales as $\rho_a\sim a^{-3}$, where $a$ is the scale factor, regardless of the background Hubble rate, thus behaving as cold dark matter. At late times, the axion still evolves as $\rho_a\sim a^{-3}$, however the Hubble rate of the expansion and thus the dynamical evolution of the Universe is controlled by terms containing the higher derivatives of $\sim R^{\gamma}$, which are related to the non-minimal coupling, and as we demonstrate, the resulting solution of the Friedman equation at late times is an approximate de Sitter evolution. The late-time de Sitter Hubble rate scales as $H\sim \Lambda^{1/2}$, where $\Lambda$ is an integration constant of the theory, which has its allowed values very close to the current value of the cosmological constant. Finally, the theory has a prediction for the existence of a pre-inflationary primordial stiff era, in which the energy density of the axion scales as $\rho_a\sim a^{-6}$.


title: Estimation and control of oscillators through short-range noisy proximity measurements

abstract: In this paper, we present a novel estimation and control strategy to balance a formation of discrete-time oscillators on a circle. We consider the case in which each oscillator only gathers noisy proximity measurements, whose range is lower than the desired spacing along the circle, implying total disconnectedness of the balanced formation. These restrictions pose relevant challenges that are overcome through the symbiotic combination of an estimator that borrows tools from interval analysis and a three-level bang-bang controller. We prove that the formation can be balanced, with an accuracy that can be regulated by tuning a controller parameter. The effectiveness of the proposed strategy is further illustrated through a set of numerical simulations.


title: A Formulation of R\'enyi Entropy on $C^*$-Algebras

abstract: The entropy of probability distribution defined by Shannon has several extensions. R\'enyi entropy is one of the general extensions of Shannon entropy and is widely used in engineering, physics, and so on. On the other hand, the quantum analogue of Shannon entropy is von Neumann entropy. Furthermore, the formulation of this entropy was extended to on $C^*$-algebras by Ohya ($\mathcal{S}$-mixing entropy). In this paper, we formulate Renyi entropy on $C^*$-algebras based on $\mathcal{S}$-mixing entropy and prove several inequalities for the uncertainties of states in various reference systems.


title: Evidence of Charge Density Wave transverse pinning by x-ray micro-diffraction

abstract: Incommensurate charge density waves (CDW) have the extraordinary ability to display non-Ohmic behavior when submitted to an external field. The mechanism leading to this non trivial dynamics is still not well understood, although recent experimental studies tend to prove that it is due to solitonic transport. Solitons could come from the relaxation of the strained CDW within an elastic-to-plastic transition. However, the nucleation process and the transport of these charged topological objects have never been observed at the local scale until now. In this letter, we use in-situ scanning x-ray micro-diffraction with micrometer resolution of a NbSe$_3$ sample designed to have sliding and non-sliding areas. Direct imaging of the charge density wave deformation is obtained using an analytical approach based on the phase gradient to disentangle the transverse from the longitudinal components over a large surface of a hundred microns size. We show that the CDW dissociates itself from the host lattice in the sliding regime and displays a large transverse deformation, ten times larger than the longitudinal one and strongly dependent on the amplitude and the direction of the applied currents. This deformation continuously extends across the macroscopic sample dimensions, over a distance 10 000 times greater than the CDW wavelength despite the presence of strong defects while remaining strongly pinned by the lateral surfaces. This 2D quantitative study highlights the prominent role of shear effect that should play a significant role in the nucleation of solitons.


title: Analysis of Deep Clustering as Preprocessing for Automatic Speech Recognition of Sparsely Overlapping Speech

abstract: Significant performance degradation of automatic speech recognition (ASR) systems is observed when the audio signal contains cross-talk. One of the recently proposed approaches to solve the problem of multi-speaker ASR is the deep clustering (DPCL) approach. Combining DPCL with a state-of-the-art hybrid acoustic model, we obtain a word error rate (WER) of 16.5 % on the commonly used wsj0-2mix dataset, which is the best performance reported thus far to the best of our knowledge. The wsj0-2mix dataset contains simulated cross-talk where the speech of multiple speakers overlaps for almost the entire utterance. In a more realistic ASR scenario the audio signal contains significant portions of single-speaker speech and only part of the signal contains speech of multiple competing speakers. This paper investigates obstacles of applying DPCL as a preprocessing method for ASR in such a scenario of sparsely overlapping speech. To this end we present a data simulation approach, closely related to the wsj0-2mix dataset, generating sparsely overlapping speech datasets of arbitrary overlap ratio. The analysis of applying DPCL to sparsely overlapping speech is an important interim step between the fully overlapping datasets like wsj0-2mix and more realistic ASR datasets, such as CHiME-5 or AMI.


title: Pretrain Soft Q-Learning with Imperfect Demonstrations

abstract: Pretraining reinforcement learning methods with demonstrations has been an important concept in the study of reinforcement learning since a large amount of computing power is spent on online simulations with existing reinforcement learning algorithms. Pretraining reinforcement learning remains a significant challenge in exploiting expert demonstrations whilst keeping exploration potentials, especially for value based methods. In this paper, we propose a pretraining method for soft Q-learning. Our work is inspired by pretraining methods for actor-critic algorithms since soft Q-learning is a value based algorithm that is equivalent to policy gradient. The proposed method is based on $\gamma$-discounted biased policy evaluation with entropy regularization, which is also the updating target of soft Q-learning. Our method is evaluated on various tasks from Atari 2600. Experiments show that our method effectively learns from imperfect demonstrations, and outperforms other state-of-the-art methods that learn from expert demonstrations.


title: An Omnidirectional Aerial Manipulation Platform for Contact-Based Inspection

abstract: This paper presents an omnidirectional aerial manipulation platform for robust and responsive interaction with unstructured environments, toward the goal of contact-based inspection. The fully actuated tilt-rotor aerial system is equipped with a rigidly mounted end-effector, and is able to exert a 6 degree of freedom force and torque, decoupling the system's translational and rotational dynamics, and enabling precise interaction with the environment while maintaining stability. An impedance controller with selective apparent inertia is formulated to permit compliance in certain degrees of freedom while achieving precise trajectory tracking and disturbance rejection in others. Experiments demonstrate disturbance rejection, push-and-slide interaction, and on-board state estimation with depth servoing to interact with local surfaces. The system is also validated as a tool for contact-based non-destructive testing of concrete infrastructure.


title: Thermal enhanced NIR-NIR anti-Stokes emission in rare earth doped nanocrystals

abstract: Nanoparticles with anti-Stokes emissions enable many sensing applications, but their efficiencies are considerably low. The key to enable the process of anti-Stokes emissions is to create phonons and assist the excited photons to be pumped from a lower energy state onto a higher one. Increasing the temperature will generate more phonons, but it unavoidably quenches the luminescence. Here by quantifying the number of phonons being generated from the host crystal and at the surface of Yb3+/Nd3+ co-doped nanoparticles, we systematically investigated mechanisms towards the large enhancements of the phonon-assisted anti-Stokes emissions from 980 nm to 750 nm and 803 nm. Moreover, we provided direct evidence that moisture release from the nanoparticle surface at high temperature was not a main reason. We further demonstrated that the brightness of 10 nm nanoparticles were enhanced by more than two orders of magnitude, standing in stark contrast to the thermal quenching effect.


title: Some remarks in $C^*$- and $K$-theory

abstract: This note consists of three unrelated remarks. First, we demonstrate how roughly speaking $*$-homomorphisms between matrix stable $C^*$-algebras are exactly the uniformly continuous $*$-preserving group homomorphisms between their genral linear groups. Second, using the Cuntz picture in $KK$-theory we bring morphisms in $KK$-theory represented by generators and relations to a particular simple form. Third, we show that for an inverse semigroup its associated groupoid is Hausdorff if and only if the inverse semigroup is $E$-continuous.


title: Effective Subdivision Algorithm for Isolating Zeros of Real Systems of Equations, with Complexity Analysis

abstract: We describe a new algorithm \texttt{Miranda} for isolating the simple zeros of a function $\boldsymbol{f}:{\mathbb R}^n\to{\mathbb R}^n$ within a box $B_0\subseteq {\mathbb R}^n$. The function $\boldsymbol{f}$ and its partial derivatives must have interval forms, but need not be polynomial. Our subdivision-based algorithm is "effective" in the sense that our algorithmic description also specifies the numerical precision hat is sufficient to certify an implementation with any standard BigFloat number type. The main predicate is the Moore-Kioustelides (MK) test, based on Miranda's Theorem (1940). Although the MK test is well-known, this paper appears to be the first synthesis of this test into a complete root isolation algorithm. We provide a complexity analysis of our algorithm based on intrinsic geometric parameters of the system. Our algorithm and complexity analysis are developed using 3 levels of description (Abstract, Interval, Effective). This methodology provides a systematic pathway for achieving effective subdivision algorithms in general.


title: Charmonium resonances with $J^{PC}=1^{--}$ and $3^{--}$ from $\bar DD$ scattering on the lattice

abstract: We present a lattice QCD study of charmonium resonances and bound states with $J^{PC}=1^{--}$ and $3^{--}$ near the open-charm threshold, taking into account their strong transitions to $\bar DD$. Vector charmonia are the most abundant in the experimentally established charmonium spectrum, while recently LHCb reported also the first discovery of a charmonium with likely spin three. The $\bar DD$ scattering amplitudes for partial waves $l=1$ and $l=3$ are extracted on the lattice by means of the L\"uscher formalism, using multiple volumes and inertial frames. Parameterizations of the scattering amplitudes provide masses and widths of the resonances, as well as the masses of bound states. CLS ensembles with 2+1 dynamical flavors of non-perturbatively $O(a)$ improved Wilson quarks are employed with $m_\pi\simeq 280$ MeV, a single lattice spacing of $a\simeq0.086$ fm and two lattice spatial extents of $L=24$ and $32$. Two values of the charm quark mass are considered to examine the influence of the position of the $\bar{D}D$ threshold on the hadron masses. For the lighter charm quark mass we find the vector resonance $\psi(3770)$ with mass $m=3780(7)$ MeV and coupling $g=16.0(^{+2.1}_{-0.2})$ (related to the width), both consistent with their experimental values. The vector $\psi(2S)$ appears as a bound state with $m=3666(10)$ MeV. The charmonium resonance with $J^{PC}=3^{--}$ is found at $m=3831(^{+10}_{-16})$ MeV, consistent with the $X(3842)$ recently discovered by LHCb. At our heavier charm-quark mass the $\psi(2S)$ as well as the $\psi(3770)$ are bound states and the $X(3842)$ remains a resonance. We stress that all quoted uncertainties are only statistical, while lattice spacing effects and the approach to the physical point still need to be explored. This study of conventional charmonia sets the stage for more challenging future studies of unconventional charmonium-like states.


title: Detecting Sybil Attacks in Vehicular Ad Hoc Networks

abstract: Ad hoc networks is vulnerable to numerous number of attacks due to its infrastructure-less nature, one of these attacks is the Sybil attack. Sybil attack is a severe attack on vehicular ad hoc networks (VANET) in which the intruder maliciously claims or steals multiple identities and use these identities to disturb the functionality of the VANET network by disseminating false identities. Many solutions have been proposed in order to defense the VANET network against the Sybil attack. In this research a hybrid algorithm is proposed, by combining footprint and privacy-preserving detection of abuses of pseudonyms (P2DAP) methods. The hybrid detection algorithm is implemented using the ns2 simulator. The proposed algorithm is working as follows, P2DAP acting better than footprint when the number of vehicles increases. On the other hand, the footprint algorithm acting better when the speed of vehicles increases. The hybrid algorithm depends on encryption, authentication and on the trajectory of the vehicle. The scenarios will be generated using SUMO and MOVE tools.


title: Methodology for accurately assessing the quality perceived by users on 360VR contents

abstract: To properly evaluate the performance of 360VR-specific encoding and transmission schemes, and particularly of the solutions based on viewport adaptation, it is necessary to consider not only the bandwidth saved, but also the quality of the portion of the scene actually seen by users over time. With this motivation, we propose a robust, yet flexible methodology for accurately assessing the quality within the viewport along the visualization session. This procedure is based on a complete analysis of the geometric relations involved. Moreover, the designed methodology allows for both offline and online usage thanks to the use of different approximations. In this way, our methodology can be used regardless of the approach to properly evaluate the implemented strategy, obtaining a fairer comparison between them.


title: Isotropic quasi-Einstein manifolds

abstract: We investigate the local structure of four-dimensional Lorentzian quasi-Einstein manifolds under conditions on the Weyl tensor. We show that if the Weyl tensor is harmonic and the potential function preserves this harmonicity then, in the isotropic case, the manifold is necessarily a $pp$-wave. Using the quasi-Einstein equation, further conclusions are obtained for $pp$-waves.


title: Mechanical analogue of a Majorana bound state

abstract: The discovery of topologically non-trivial electronic systems has opened a new age in condensed matter research. From topological insulators to topological superconductors and Weyl semimetals, it is now understood that some of the most remarkable and robust phases in electronic systems (e.g., Quantum Hall or Anomalous Quantum Hall) are the result of topological protection. These powerful ideas have recently begun to be explored also in bosonic systems. Topologically protected acoustic, mechanical, and optical edge states have been demonstrated in a number of systems that recreate the requisite topological conditions. Such states that propagate without backscattering could find important applications in communications and energy technologies. In this work we demonstrate the mechanical analogue of a topologically bound state, a different class of non-propagating protected state that cannot be destroyed by local perturbations. These are well known in electronic systems, such as Majorana bound states in topological superconductors, but remain largely unexplored in a bosonic setting. We implement topological binding by creating a Kekul\'e distortion vortex on a two-dimensional mechanical honeycomb superlattice.


title: Three-dimensional tricritical spins and polymers

abstract: We consider two intimately related statistical mechanical problems on $\mathbb{Z}^3$: (i) the tricritical behaviour of a model of classical unbounded $n$-component continuous spins with a triple-well single-spin potential (the $|\varphi|^6$ model), and (ii) a random walk model of linear polymers with a three-body repulsion and two-body attraction at the tricritical theta point (critical point for the collapse transition) where repulsion and attraction effectively cancel. The polymer model is exactly equivalent to a supersymmetric spin model which corresponds to the $n=0$ version of the $|\varphi|^6$ model. For the spin and polymer models, we identify the tricritical point, and prove that the tricritical two-point function has Gaussian long-distance decay, namely $|x|^{-1}$. The proof is based on an extension of a rigorous renormalisation group method that has been applied previously to analyse the $|\varphi|^4$ and weakly self-avoiding walk models on $\mathbb{Z}^4$.


title: Constraints on Flavor-Diagonal Non-Standard Neutrino Interactions from Borexino Phase-II

abstract: The Borexino detector measures solar neutrino fluxes via neutrino-electron elastic scattering. Observed spectra are determined by the solar-$\nu_{e}$ survival probability $P_{ee}(E)$, and the chiral couplings of the neutrino and electron. Some theories of physics beyond the Standard Model postulate the existence of Non-Standard Interactions (NSI's) which modify the chiral couplings and $P_{ee}(E)$. In this paper, we search for such NSI's, in particular, flavor-diagonal neutral current interactions that modify the $\nu_e e$ and $\nu_\tau e$ couplings using Borexino Phase II data. Standard Solar Model predictions of the solar neutrino fluxes for both high- and low-metallicity assumptions are considered. No indication of new physics is found at the level of sensitivity of the detector and constraints on the parameters of the NSI's are placed. In addition, with the same dataset the value of $\sin^2\theta_W$ is obtained with a precision comparable to that achieved in reactor antineutrino experiments.

categories: hep-ph astro-ph.SR hep-ex physics.ins-det


title: Resolving $R_D$ and $R_{D^*}$ anomalies

abstract: The current world averages of the ratios $R_{D^{(*)}}$ are about $4\sigma$ away from their Standard Model prediction. These measurements indicate towards the violation of lepton flavor universality in $b\rightarrow c\,l\,\bar{\nu}$ decay. The different new physics operators, which can explain the $R_{D^{(*)}}$ measurements, have been identified previously. We show that a simultaneous measurement of the polarization fractions of $\tau$ and $D^*$ and the angular asymmetries $A_{FB}$ and $A_{LT}$ in $B\rightarrow D^*\tau\bar{\nu}$ decay can distinguish all the new physics amplitudes and hence uniquely identify the Lorentz structure of new physics.


title: Well-posedness and Long-time Behaviour for a Nonlinear Parabolic Equation with Hysteresis

abstract: The work deals with a study of a nonlinear parabolic equation with hysteresis, containing a nonlinear monotone operator in the diffusion term. The well-posedness of the model equation is addressed by using an implicit time discretization scheme in conjunction with the piecewise monotonicity of the hysteresis operator, and a fundamental inequality due to M. Hilpert. A characterization of the {\omega}-limit set of the solution is then given through the study of the long-time behaviour of the solution of the equation in which we investigate the convergence of trajectories to limit points.


title: Time dynamics of Bethe ansatz solvable models

abstract: We develop a method for finding the time evolution of exactly solvable models by Bethe ansatz. The dynamical Bethe wavefunction takes the same form as the stationary Bethe wavefunction except for time varying Bethe parameters and a complex phase prefactor. From this, we derive a set of first order nonlinear coupled differential equations for the Bethe parameters, called the dynamical Bethe equations. We find that this gives the exact solution to particular types of exactly solvable models, including the Bose-Hubbard dimer and Tavis-Cummings model. These models go beyond the Gaudin class, and offers an interesting possibility for performing time evolution in exactly solvable models.


title: Latitudinal variation in the abundance of methane (CH4) above the clouds in Neptune's atmosphere from VLT/MUSE Narrow Field Mode Observations

abstract: Observations of Neptune, made in 2018 using the new Narrow Field Adaptive Optics mode of the Multi Unit Spectroscopic Explorer (MUSE) instrument at the Very Large Telescope (VLT) from 0.48 - 0.93 micron, are analysed here to determine the latitudinal and vertical distribution of cloud opacity and methane abundance in Neptune's observable troposphere (0.1 - ~3 bar). Previous observations at these wavelengths in 2003 by HST/STIS (Karkoschka and Tomasko 2011, Icarus 205, 674-694) found that the mole fraction of methane above the cloud tops (at ~2 bar) varied from ~4% at equatorial latitudes to ~2% at southern polar latitudes, by comparing the observed reflectivity at wavelengths near 825 nm controlled primarily by either methane absorption or H2-H2/H2-He collision-induced absorption. We find a similar variation in cloud-top methane abundance in 2018, which suggests that this depletion of methane towards Neptune's pole is potentially a long-lived feature, indicative of long-term upwelling at mid-equatorial latitudes and subsidence near the poles. By analysing these MUSE observations along the central meridian with a retrieval model, we demonstrate that a broad boundary between the nominal and depleted methane abundances occurs at between 20 - 40S. We also find a small depletion of methane near the equator, perhaps indicating subsidence there, and a local enhancement near 60 - 70S, which we suggest may be associated with South Polar Features (SPFs) seen in Neptune's atmosphere at these latitudes. Finally, by the use of both a reflectivity analysis and a principal component analysis, we demonstrate that this depletion of methane towards the pole is apparent at all locations on Neptune's disc, and not just along its central meridian.


title: Mitigating Deep Learning Vulnerabilities from Adversarial Examples Attack in the Cybersecurity Domain

abstract: Deep learning models are known to solve classification and regression problems by employing a number of epoch and training samples on a large dataset with optimal accuracy. However, that doesn't mean they are attack-proof or unexposed to vulnerabilities. Newly deployed systems particularly on a public environment (i.e public networks) are vulnerable to attacks from various entities. Moreover, published research on deep learning systems (Goodfellow et al., 2014) have determined a significant number of attacks points and a wide array of attack surface that has evidence of exploitation from adversarial examples. Successful exploit on these systems could lead to critical real world repercussions. For instance, (1) an adversarial attack on a self-driving car running a deep reinforcement learning system yields a direct misclassification on humans causing untoward accidents.(2) a self-driving vehicle misreading a red light signal may cause the car to crash to another car (3) misclassification of a pedestrian lane as an intersection lane that could lead to car crashes. This is just the tip of the iceberg, computer vision deployment are not entirely focused on self-driving cars but on many other areas as well - that would have definitive impact on the real-world. These vulnerabilities must be mitigated at an early stage of development. It is imperative to develop and implement baseline security standards at a global level prior to real-world deployment.


title: Enhanced Performance and Privacy for TLS over TCP Fast Open

abstract: Small TCP flows make up the majority of web flows. For them, the TCP three-way handshake induces significant delay overhead. The TCP Fast Open (TFO) protocol can significantly decrease this delay via zero round-trip time (0-RTT) handshakes for all TCP handshakes that follow a full initial handshake to the same host. However, this comes at the cost of privacy limitations and also has some performance limitations. In this paper, we investigate the TFP deployment on popular websites and browsers. We found that a client revisiting a web site for the first time fails to use an abbreviated TFO handshake in 40% of all cases due to web server load-balancing using multiple IP addresses. Our analysis further reveals significant privacy problems of the protocol design and implementation. Network-based attackers and online trackers can exploit TFO to track the online activities of users. As a countermeasure, we introduce a novel protocol called TCP Fast Open Privacy (FOP). TCP FOP prevents tracking by network attackers and impedes third-party tracking, while still allowing 0-RTT handshakes as in TFO. As a proof-of-concept, we have implemented the proposed protocol for the Linux kernel and a TLS library. Our measurements indicate that TCP FOP outperforms TLS over TFO when websites are served from multiple IP addresses.


title: Intelligent Scheduling and Power Control for Multimedia Transmission in 5G CoMP Systems: A Dynamic Bargaining Game

abstract: Intelligent terminals support a large number of multimedia, such as picture, audio, video, and so on. The coexistence of various multimedia makes it necessary to provide service for different requests. In this work, we consider interference-aware coordinated multi-point (CoMP) to mitigate inter-cell interference and improve total throughput in the fifth-generation (5G) mobile networks. To select the scheduled edge users, cluster the cooperative base stations (BSs), and determine the transmitting power, a novel dynamic bargaining approach is proposed. Based on affinity propagation, we first select the users to be scheduled and the cooperative BSs serving them respectively. Then, based on the Nash bargaining solution (NBS), we develop a power control scheme considering the transmission delay, which guarantees a generalized proportional fairness among users. Simulation results demonstrate the superiority of the user-centric scheduling and power control methods in 5G CoMP systems.


title: Probing the cold magnetized Universe with SPICA-POL (B-BOP)

abstract: SPICA, the cryogenic infrared space telescope recently pre-selected for a `Phase A' concept study as one of the three remaining candidates for ESA's fifth medium class (M5) mission, is foreseen to include a far-infrared polarimetric imager (SPICA-POL, now called B-BOP), which would offer a unique opportunity to resolve major issues in our understanding of the nearby, cold magnetized Universe. This paper presents an overview of the main science drivers for B-BOP, including high dynamic range polarimetric imaging of the cold interstellar medium (ISM) in both our Milky Way and nearby galaxies. Thanks to a cooled telescope, B-BOP will deliver wide-field 100-350 micron images of linearly polarized dust emission in Stokes Q and U with a resolution, signal-to-noise ratio, and both intensity and spatial dynamic ranges comparable to those achieved by Herschel images of the cold ISM in total intensity (Stokes I). The B-BOP 200 micron images will also have a factor ~30 higher resolution than Planck polarization data. This will make B-BOP a unique tool for characterizing the statistical properties of the magnetized interstellar medium and probing the role of magnetic fields in the formation and evolution of the interstellar web of dusty molecular filaments giving birth to most stars in our Galaxy. B-BOP will also be a powerful instrument for studying the magnetism of nearby galaxies and testing galactic dynamo models, constraining the physics of dust grain alignment, informing the problem of the interaction of cosmic rays with molecular clouds, tracing magnetic fields in the inner layers of protoplanetary disks, and monitoring accretion bursts in embedded protostars.


title: Bidirectional spin-wave-driven domain wall motion in antiferromagnetically coupled ferrimagnets

abstract: We investigate ferrimagnetic domain wall dynamics induced by circularly polarized spin waves theoretically and numerically. We find that the direction of domain wall motion depends on both the circular polarization of spin waves and the sign of net spin density of ferrimagnet. Below the angular momentum compensation point, left- (right-) circularly polarized spin waves push a domain wall towards (away from) the spin-wave source. Above the angular momentum compensation point, on the other hand, the direction of domain wall motion is reversed. This bidirectional motion originates from the fact that the sign of spin-wave-induced magnonic torque depends on the circular polarization and the subsequent response of the domain wall to the magnonic torque is governed by the net spin density. Our finding provides a way to utilize a spin wave as a versatile driving force for bidirectional domain wall motion.


title: Electrical varieties as vertex integrable statistical models

abstract: We propose a new approach to studying electrical networks interpreting the Ohm law as the operator which solves certain Local Yang-Baxter equation. Using this operator and the medial graph of the electrical network we define a vertex integrable statistical model and its boundary partition function. This gives an equivalent description of electrical networks We show that in the important case of an electrical network on the standard graph introduced by Curtis, Ingerman and Morrow, the response matrix of an electrical network, its most important feature, and the boundary partition function of our statistical model can be recovered from each other. Defining the electrical varieties in the usual way we compare them to the theory of the Lusztig varieties developed by Berenstein, Fomin and Zelevinsky. In our picture the former turns out to be a deformation of the latter. We describe how our approach produces new interesting mathematical structures on the electrical varieties. Our results should be compared to the earlier work started in Lam and Pylyavskyy on the connection between the Lusztig varieties and the electrical varieties.


title: Exotic Cooper pairing in multi-orbital models of Sr$_2$RuO$_4$

abstract: The unconventional superconductivity in Sr$_2$RuO$_4$ continues to defy a unified interpretation. In this paper, we focus on some novel aspects of its superconducting pairing by exploiting the orbital degree of freedom in this material. The multi-orbital nature, combined with the symmetry of the orbitals involved, leads to a plethora of exotic Cooper pairings not accessible in single-orbital systems. Essential physics is illustrated first using a two-orbital model with $d_{xz}$- and $d_{yz}$-orbitals. We classify the gap functions according to the underlying lattice symmetries, analyze the effective theories of a few representative pairings, and make connections to Sr$_2$RuO$_4$ in the course. In particular, we show how spin-orbit coupling may entangle spin-triplet and spin-singlet pairings. For completeness, the classification is generalized to the three-orbital model involving the $d_{xy}$-orbital as well. The orbital-basis approach distinguishes from the itinerant-band description for Sr$_2$RuO$_4$, and hence offers an alternative perspective to investigate its enigmatic superconducting state.


title: Uniform in time estimates for the weak error of the Euler method for SDEs and a Pathwise Approach to Derivative Estimates for Diffusion Semigroups

abstract: We present a criterion for uniform in time convergence of the weak error of the Euler scheme for Stochastic Differential equations (SDEs). The criterion requires i) exponential decay in time of the space-derivatives of the semigroup associated with the SDE and ii) bounds on (some) moments of the Euler approximation. We show by means of examples (and counterexamples) how both i) and ii) are needed to obtain the desired result. If the weak error converges to zero uniformly in time, then convergence of ergodic averages follows as well. We also show that Lyapunov-type conditions are neither sufficient nor necessary in order for the weak error of the Euler approximation to converge uniformly in time and clarify relations between the validity of Lyapunov conditions, i) and ii). Conditions for ii) to hold are studied in the literature. Here we produce sufficient conditions for i) to hold. The study of derivative estimates has attracted a lot of attention, however not many results are known in order to guarantee exponentially fast decay of the derivatives. Exponential decay of derivatives typically follows from coercive-type conditions involving the vector fields appearing in the equation and their commutators; here we focus on the case in which such coercive-type conditions are non-uniform in space. To the best of our knowledge, this situation is unexplored in the literature, at least on a systematic level. To obtain results under such space-inhomogeneous conditions we initiate a pathwise approach to the study of derivative estimates for diffusion semigroups and combine this pathwise method with the use of Large Deviation Principles.


title: Linear Work Generation of R-MAT Graphs

abstract: R-MAT is a simple, widely used recursive model for generating `complex network' graphs with a power law degree distribution and community structure. We make R-MAT even more useful by reducing the required work per edge from logarithmic to constant. The algorithm works in an embarrassingly parallel way.


title: A varying terminal time structure for stochastic optimal control under constrained condition

abstract: In this study, we propose a varying terminal time structure for the optimal control problem under state constraints, in which the terminal time follows the varying of the control via the constrained condition. Focusing on this new optimal control problem, we investigate a novel stochastic maximum principle, which differs from the traditional optimal control problem under state constraints. The optimal pair of the optimal control model can be verified via this new stochastic maximum principle.


title: Performance Analysis of Fog-Aided D2D Networks with Multicast-Based Opportunistic Content Delivery

abstract: In this paper, we develop a comprehensive and tractable analytical framework based on stochastic geometry to evaluate the performance of large-scale fog-aided device-to-device (F-D2D) networks with opportunistic content multicasting. As a part of the analysis, to resolve the contentions of file requests from the cache-incapable conventional user equipments (C-UEs), two simple yet typical candidate file selection schemes for cache-enabled fog user equipments (F-UEs), namely the random file selection (RFS) scheme and the most requested file selection (MRFS) scheme, are considered. Further, to suppress the harmful interference among the concurrent transmissions of F-UEs, a multicast-based opportunistic content delivery strategy is proposed by exploring the idea of opportunistic spectrum access (OSA). Assuming decentralized probabilistic caching, we first derive the activation probability of the F-UEs. Then, by adopting an appropriate approximation, the cache-hit probability, the coverage probability, and thereby the successful content delivery probability (SCDP) of the F-D2D network are evaluated. We also develop an iterative algorithm based on the gradient projection method to obtain a suboptimal caching policy for the maximization of SCDP. Extensive simulation and numerical results are presented to verify our analysis and demonstrate the superior performance of the proposed multicast-based opportunistic content delivery strategy.


title: Machine detector interface for the $e^+e^-$ future circular collider

abstract: The international Future Circular Collider (FCC) study aims at a design of $pp$, $e^+e^-$, $ep$ colliders to be built in a new 100 km tunnel in the Geneva region. The $e^+e^-$ collider (FCC-ee) has a centre of mass energy range between 90 (Z-pole) and 375 GeV (tt_bar). To reach such unprecedented energies and luminosities, the design of the interaction region is crucial. The crab-waist collision scheme has been chosen for the design and it will be compatible with all beam energies. In this paper we will describe the machine detector interface layout including the solenoid compensation scheme. We will describe how this layout fulfills all the requirements set by the parameters table and by the physical constraints. We will summarize the studies of the impact of the synchrotron radiation, the analysis of trapped modes and of the backgrounds induced by single beam and luminosity effects giving an estimate of the losses in the interaction region and in the detector.


title: Does Holographic equipartition demand a pure cosmological constant?

abstract: The spacial expansion of the universe could be described as a tendency for satisfying holographic equipartition which inevitably demands the presence of dark energy. We explore whether this novel idea proposed by Padmanabhan give any additional insights into the nature of dark energy. In particular, we obtain the constraints imposed by the law of emergence on the equation of state parameter, $\omega$. We also present a thermodynamic motivation for the obtained constraints on $\omega$. Further, we explicitly prove the feasibility of describing a dynamic dark energy model through the law of emergence. Interestingly, both holographic equipartition and the entropy maximization demands an asymptotically de Sitter universe with $\omega\geq-1$, rather than a pure cosmological constant.


title: Double-calibration estimators accounting for under-coverage and nonresponse in socio-economic surveys

abstract: Under-coverage and nonresponse problems are jointly present in most socio-economic surveys. The purpose of this paper is to propose a completely design-based estimation strategy that accounts for both problems without resorting to models but simply performing a two-step calibration. The first calibration exploits a set of auxiliary variables only available for the units in the sampled population to account for nonresponse. The second calibration exploits a different set of auxiliary variables available for the whole population, to account for under-coverage. The two calibrations are then unified in a double-calibration estimator. Mean and variance of the estimator are derived up to the first order of approximation. Conditions ensuring approximate unbiasedness are derived and discussed. The strategy is empirically checked by a simulation study performed on a set of artificial populations. A case study is lead on Danish data coming from the European Union Statistics on Income and Living Conditions survey. The strategy proposed is flexible and suitable in most situations in which both under-coverage and nonresponse are present.


title: Seshadri-type constants and Newton-Okounkov bodies for non-positive at infinity valuations of Hirzebruch surfaces

abstract: We consider flags $E_\bullet=\{X\supset E\supset \{q\}\}$, where $E$ is an exceptional divisor defining a non-positive at infinity divisorial valuation $\nu_E$ of a Hirzebruch surface $\mathbb{F}_\delta$ and $X$ the surface given by $\nu_E,$ and determine an analogue of the Seshadri constant for pairs $(\nu_E,D)$, $D$ being a big divisor on $\mathbb{F}_\delta$. The main result is an explicit computation of the vertices of the Newton-Okounkov bodies of pairs $(E_\bullet,D)$ as above, showing that they are quadrilaterals or triangles and distinguishing one case from another.


title: Automatic Design of Artificial Neural Networks for Gamma-Ray Detection

abstract: The goal of this work is to investigate the possibility of improving current gamma/hadron discrimination based on their shower patterns recorded on the ground. To this end we propose the use of Convolutional Neural Networks (CNNs) for their ability to distinguish patterns based on automatically designed features. In order to promote the creation of CNNs that properly uncover the hidden patterns in the data, and at same time avoid the burden of hand-crafting the topology and learning hyper-parameters we resort to NeuroEvolution; in particular we use Fast-DENSER++, a variant of Deep Evolutionary Network Structured Representation. The results show that the best CNN generated by Fast-DENSER++ improves by a factor of 2 when compared with the results reported by classic statistical approaches. Additionally, we experiment ensembling the 10 best generated CNNs, one from each of the evolutionary runs; the ensemble leads to an improvement by a factor of 2.3. These results show that it is possible to improve the gamma/hadron discrimination based on CNNs that are automatically generated and are trained with instances of the ground impact patterns.


title: Reversible Data Hiding in JPEG Images with Multi-objective Optimization

abstract: Among various methods of reversible data hiding (RDH) in JPEG images, the consideration in designing is only the image quality, but the image quality and the file size expansion are equally important in JPEG images. Based on this situation, we propose a RDH scheme in JPEG images considering both the image quality and the file size expansion while designing the algorithm. The multi-objective optimization strategy is utilized to realize the balance of the two objectives. Specifically, the cover is divided into several non-overlapping signals firstly, and after that, the embedding costs of signals are calculated using the knowledge of the JPEG compression. Next, the optimized combination of signals for embedding data is gained by the multi-objective optimization. Experimental results show the better performance of our proposed RDH compared with state-of-the-art RDH in JPEG images.


title: Huygens synchronisation of three clocks equidistant from each other

abstract: This paper investigates the synchronization of three identical oscillators, or clocks, suspended from a common rigid support. We consider scenarios where each clock interacts with the other two, achieving synchronization through small impacts exchanged between oscillator pairs. The fundamental outcome of our study reveals that the ultimate synchronized state maintains a phase difference of $\frac{2\pi}{3}$ between successive clocks, either clockwise or counter-clockwise. Furthermore, these locked states exhibit an attracting set, which closure encompasses the entire initial conditions space. Our analytical approach involves constructing a nonlinear discrete dynamical system in dimension two. These findings hold significance for sets of three weakly coupled periodic oscillators engaged in mutual symmetric impact periodic interaction, irrespective of the specific oscillator models employed. Lastly, we explore the amplitude of oscillations at the final locked state in the context of two and three interacting Andronov pendulum clocks. Our analysis reveals a precise small increase in the amplitude of the locked-state oscillations, as quantified in this paper.


title: Branching processes in random environment with immigration stopped at zero

abstract: A critical branching process with immigration which evolve in a random environment is considered. Assuming that immigration is not allowed when there are no individuals in the aboriginal population we investigate the tail distribution of the so-called life period of the process, i.e., the length of the time interval between the moment when the process is initiated by a positive number of particles and the moment when there are no individuals in the population for the first time.


title: A Detailed Fluctuation Theorem for Heat Fluxes in Harmonic Networks out of Thermal Equilibrium

abstract: We continue the investigation, started in [J. Stat. Phys. 166, 926-1015 (2017)], of a network of harmonic oscillators driven out of thermal equilibrium by heat reservoirs. We study the statistics of the fluctuations of the heat fluxes flowing between the network and the reservoirs in the nonequilibrium steady state and in the large time limit. We prove a large deviation principle for these fluctuations and derive the fluctuation relation satisfied by the associated rate function.


title: Polaronic inter-acceptor hopping transport in intrinsically doped nickel oxide

abstract: In this work, we revisit the issue of the nature of electronic transport in nickel oxide (NiO) and show that the widely used model of free small polaron hopping, initially raised to characterize transport in high-purity samples, is not appropriate for modeling intrinsically doped NiO. Instead, we present extensive evidence, collected by means of temperature- and frequency-dependent measurements of the electrical conductivity $\sigma$, that the model of polaronic inter-acceptor hopping can be used to consistently explain the electronic conduction process. In this framework, holes are localized to acceptors (Ni vacancies), forming a strongly bound, polaron-like state. They can only move through the film by hopping to a neighboring, at least partially unoccupied, acceptor. This renders the spatial overlap between neighboring polaronic wave functions a highly critical parameter. The signature of this process is the occurrence of two temperature regions of the DC conductivity, separated by about half the Debye temperature $\theta_D/2 \approx 200 K$. For $T > \theta_D/2$, holes are transferred by phonon-assisted hopping over the potential barrier between two sites, whereas phonon-assisted tunneling through the barrier dominates below that temperature. We also show that the degree of structural and electronic disorder plays a vital role in determining the characteristics of the transport process: high disorder leads to strong energetic broadening of the acceptor states such that hopping to more distant sites may be favored over transfer to nearest neighbors (variable range hopping). The assumption of high binding energies of the charge carriers at VNi is in accordance with the recent paradigm shift regarding the understanding of the electronic structure of NiO: holes doped into NiO couple to Ni 3d spins, thereby occupying deep polaron-like states within the band gap (Zhang-Rice bound doublets).


title: Synthesis of Data Word Transducers

abstract: In reactive synthesis, the goal is to automatically generate an implementation from a specification of the reactive and non-terminating input/output behaviours of a system. Specifications are usually modelled as logical formulae or automata over infinite sequences of signals ($\omega$-words), while implementations are represented as transducers. In the classical setting, the set of signals is assumed to be finite. In this paper, we consider data $\omega$-words instead, i.e., words over an infinite alphabet. In this context, we study specifications and implementations respectively given as automata and transducers extended with a finite set of registers. We consider different instances, depending on whether the specification is nondeterministic, universal or deterministic, and depending on whether the number of registers of the implementation is given or not. In the unbounded setting, we show undecidability for both universal and nondeterministic specifications, while decidability is recovered in the deterministic case. In the bounded setting, undecidability still holds for nondeterministic specifications, but can be recovered by disallowing tests over input data. The generic technique we use to show the latter result allows us to reprove some known result, namely decidability of bounded synthesis for universal specifications.


title: Stationary scattering theory for one-body Stark operators, I

abstract: We study the stationary scattering theory for a perturbed 1-body Stark operator. We prove existence and completeness of the stationary wave operators, construct the associated generalized Fourier transforms, and characterize asymptotics of the generalized eigenfunctions of minimal growths in terms of the stationary scattering matrix.


title: Embedding Human Knowledge into Deep Neural Network via Attention Map

abstract: In this work, we aim to realize a method for embedding human knowledge into deep neural networks. While the conventional method to embed human knowledge has been applied for non-deep machine learning, it is challenging to apply it for deep learning models due to the enormous number of model parameters. To tackle this problem, we focus on the attention mechanism of an attention branch network (ABN). In this paper, we propose a fine-tuning method that utilizes a single-channel attention map which is manually edited by a human expert. Our fine-tuning method can train a network so that the output attention map corresponds to the edited ones. As a result, the fine-tuned network can output an attention map that takes into account human knowledge. Experimental results with ImageNet, CUB-200-2010, and IDRiD demonstrate that it is possible to obtain a clear attention map for a visual explanation and improve the classification performance. Our findings can be a novel framework for optimizing networks through human intuitive editing via a visual interface and suggest new possibilities for human-machine cooperation in addition to the improvement of visual explanations.


title: Atomic-resolution imaging of carbonyl sulfide by laser-induced electron diffraction

abstract: Measurements on the strong-field ionization of carbonyl sulfide molecules by short, intense, 2~\um wavelength laser pulses are presented from experiments where angle-resolved photoelectron distributions were recorded with a high-energy velocity map imaging spectrometer, designed to reach a maximum kinetic energy of 500~eV. The laser-field-free elastic-scattering cross section of carbonyl sulfide was extracted from the measurements and is found in good agreement with previous experiments, performed using conventional electron diffraction. By comparing our measurements to the results of calculations, based on the quantitative rescattering theory (QRS), the bond lengths and molecular geometry were extracted from the experimental differential cross sections to a precision better than $\pm5$~pm and in agreement with the known values.


title: Global existence and time decay estimate of solutions to the compressible Navier-Stokes-Korteweg system under critical condition

abstract: Global existence of solutions to the compressible Navier-Stokes-Korteweg system around a constant state is studied. This system describes liquid-vapor two phase flow with phase transition as diffuse interface model. In previous works they assume that the pressure is a monotone function for change of density similarly to the usual compressible Navier-Stokes system. On the other hand, due to phase transition the pressure is accurately non-monotone function and the linearized system loses symmetry in a critical case such that the derivative of pressure is 0 at the given constant state. It is shown that in the critical case for small data whose momentum has derivative form there exist global $L^2$ solutions and the parabolic type decay rate of the solutions is obtained. The proof is based on decomposition method for solutions to a low frequency part and a high frequency part.


title: Stochastic approach to de Sitter instability and eternal inflation

abstract: We investigate when effective theories of a scalar field on (quasi-)de Sitter background break down through the stochastic formalism. We derive the Fokker-Planck equation leaving the second order time derivative of the scalar field. Assuming there exists an equilibrium distribution for the field velocity, we obtain a mean value and a variance of the field velocity caused by the quantum fluctuation. Introducing coarse-grained Einstein equations, we obtain bounds for the non-eternal inflation phase and for maintaining the exact de Sitter background. We point out that those bounds derived in our formalism correspond to the de Sitter entropy bound proposed by Arkani-Hamed, \textit{et.al.}, up to $O(1)$ factor, even for a massless free scalar field on exact de Sitter background. We discuss connections of our results to the quantum field theory also.


title: Inflationary tensor fossils deformed by solid matter -- scalar field interaction

abstract: We study effect of superhorizon tensor perturbations on scalar perturbations, so called effect of clustering fossils, in cosmological model in which inflation is driven by both solid matter and scalar field. The effect deforms primordial scalar power spectrum causing asymmetry in it, which leaves imprint on CMB anisotropies and the cosmic structure. Parameter space of this combined model allows for enhancement of logarithmic scale dependence of this deformation, as opposed to simpler models in which such scale dependence is suppressed by slow-roll parameters.


title: Two-dimensional ferromagnetic-ferroelectric multiferroics in violation of the d0 rule

abstract: Contribution of d-electron to ferroelectricity of type-II multiferroics causes strong magneto-electric coupling and distinguishes them from the conventional type-I multiferroics. However, their therein polarization is too small because the ferroelectricity is merely a derivative from the magnetic order. Here we report a new class of multiferroic materials, monolayer VOX2 (X = Cl, Br, and I), which combine the advantages of type-I and type-II multiferroics. Both ferroelectricity and magnetism arise from the same V cation, where the filled d-orbital is perpendicular to an a priori ferroelectric polarization and thus poses no hindrance to ferroelectricity, indicating a violation of the usual d0 rule. This makes the combination of large polarizations and strong magneto-electric coupling possible. Our findings not only add new ferromagnetic-ferroelectric multiferroics, but also point to a unique mechanism to engineer multiferroics.


title: A Novel Adaptive Kernel for the RBF Neural Networks

abstract: In this paper, we propose a novel adaptive kernel for the radial basis function (RBF) neural networks. The proposed kernel adaptively fuses the Euclidean and cosine distance measures to exploit the reciprocating properties of the two. The proposed framework dynamically adapts the weights of the participating kernels using the gradient descent method thereby alleviating the need for predetermined weights. The proposed method is shown to outperform the manual fusion of the kernels on three major problems of estimation namely nonlinear system identification, pattern classification and function approximation.


title: Approximating cube roots of integers, after Heron's Metrica III.20

abstract: Heron, in Metrica III.20-22, is concerned with the the division of solid figures - pyramids, cones and frustra of cones - to which end there is a need to extract cube roots. We report here on some of our findings on the conjecture by Taisbak in C.M.Taisbak, Cube roots of integers. A conjecture about Heron's method in Metrika III.20. Historia Mathematica, 41 (2014), 103-104.


title: Quantum K-Theory of Calabi-Yau Manifolds

abstract: The disk partition function of certain 3d N=2 supersymmetric gauge theories computes a quantum K-theoretic ring for Kahler manifolds X. We study the 3d gauge theory/quantum K-theory correspondence for global and local Calabi-Yau manifolds with several Kahler moduli. We propose a multi-cover formula that relates the 3d BPS world-volume degeneracies computed by quantum K-theory to Gopakumar-Vafa invariants.


title: Particle-vortex duality and theta terms in AdS/CMT applications

abstract: In this paper we study particle-vortex duality and the effect of theta terms from the point of view of AdS/CMT constructions. We can construct the duality in 2+1 dimensional field theories with or without a Chern-Simons term, and derive an effect on conductivities, when the action is viewed as a response action. We can find its effect on 3+1 dimensional theories, with or without a theta term, coupled to gravity in asymptotically AdS space, and derive the resulting effect on conductivities defined in the spirit of AdS/CFT. AdS/CFT then relates the 2+1 dimensional and the 3+1 dimensional cases naturally. Quantum gravity corrections, as well as more general effective actions for the abelian vector, can be treated similarly. We can use the fluid/gravity correspondence, and the membrane paradigm, to define shear and bulk viscosities $\eta$ and $\zeta$ for a gravity plus abelian vector plus scalar system near a black hole, and define the effect of the S-duality on it.


title: Beta-PtO2: Phononic, thermodynamic, and elastic properties derived from first-principles calculations

abstract: Beta-PtO2 is a useful transition metal dioxide, but its fundamental thermodynamic and elastic properties remain unexplored. Using first-principles calculations, we systematically studied the structure, phonon, thermodynamic and elastic properties of beta-PtO2. The lattice dynamics and structural stability of beta-PtO2 under pressure were studied using the phonon spectra and vibrational density of states. The vibrational frequencies of the optical modes of beta-PtO2 increase with elevating pressure; this result is comparable with the available experimental data. Then, the heat capacities and their pressure responses were determined based on the phonon calculations. The pressure dependence of the Debye temperature was studied, and the results are compared in two distinct aspects. The elastic moduli of beta-PtO2 were estimated through the Voigt-Reuss-Hill approximation. The bulk modulus of beta-PtO2 increases linearly with pressure, but the shear modulus is nearly independent of pressure. Our study revealed that the elastic stiffness coefficients C44, C55 and C66 play a primary role in the slow variation of the shear modulus.


title: A lower bound to the thermal diffusivity of insulators

abstract: It has been known for decades that thermal conductivity of insulating crystals becomes proportional to the inverse of temperature when the latter is comparable to or higher than the Debye temperature. This behavior has been understood as resulting from Umklapp scattering among phonons. We put under scrutiny the magnitude of the thermal diffusion constant in this regime and find that it does not fall below a threshold set by the square of sound velocity times the Planckian time ($\tau_p=\hbar/k_BT$). The conclusion, based on scrutinizing the ratio in cubic crystals with high thermal resistivity, appears to hold even in glasses where Umklapp events are not conceivable. Explaining this boundary, reminiscent of a recently-noticed limit for charge transport in metals, is a challenge to theory.


title: Emergence of space and expansion of universe

abstract: According to the principle of emergence, the expansion of the universe can be explained as the emergence of space with the progress of cosmic time. We have analytically solved the equation of emergence proposed by Padmanabhan by assuming the Komar energy density $\rho+3P$ as a function of the Hubble parameter. The resulting model describes the evolution of the universe, which proceeds towards a final de Sitter state. Model parameters have been extracted using the cosmological observational data. Further, the horizon entropy evolution of the model has been studied. The model predicts a universe having a transition from a prior decelerated epoch to a late accelerated epoch and reasonably predicts the cosmological constant.


title: Loschmidt echo and fidelity decay near an exceptional point

abstract: Non-Hermitian classical and open quantum systems near an exceptional point (EP) are known to undergo strong deviations in their dynamical behavior under small perturbations or slow cycling of parameters as compared to Hermitian systems. Such a strong sensitivity is at the heart of many interesting phenomena and applications, such as the asymmetric breakdown of the adiabatic theorem, enhanced sensing, non-Hermitian dynamical quantum phase transitions and photonic catastrophe. Like for Hermitian systems, the sensitivity to perturbations on the dynamical evolution can be captured by Loschmidt echo and fidelity after imperfect time reversal or quench dynamics. Here we disclose a rather counterintuitive phenomenon in certain non-Hermitian systems near an EP, namely the deceleration (rather than acceleration) of the fidelity decay and improved Loschmidt echo as compared to their Hermitian counterparts, despite large (non-perturbative) deformation of the energy spectrum introduced by the perturbations. This behavior is illustrated by considering the fidelity decay and Loschmidt echo for the single-particle hopping dynamics on a tight-binding lattice under an imaginary gauge field.


title: 1D Convolutional Neural Networks and Applications: A Survey

abstract: During the last decade, Convolutional Neural Networks (CNNs) have become the de facto standard for various Computer Vision and Machine Learning operations. CNNs are feed-forward Artificial Neural Networks (ANNs) with alternating convolutional and subsampling layers. Deep 2D CNNs with many hidden layers and millions of parameters have the ability to learn complex objects and patterns providing that they can be trained on a massive size visual database with ground-truth labels. With a proper training, this unique ability makes them the primary tool for various engineering applications for 2D signals such as images and video frames. Yet, this may not be a viable option in numerous applications over 1D signals especially when the training data is scarce or application-specific. To address this issue, 1D CNNs have recently been proposed and immediately achieved the state-of-the-art performance levels in several applications such as personalized biomedical data classification and early diagnosis, structural health monitoring, anomaly detection and identification in power electronics and motor-fault detection. Another major advantage is that a real-time and low-cost hardware implementation is feasible due to the simple and compact configuration of 1D CNNs that perform only 1D convolutions (scalar multiplications and additions). This paper presents a comprehensive review of the general architecture and principals of 1D CNNs along with their major engineering applications, especially focused on the recent progress in this field. Their state-of-the-art performance is highlighted concluding with their unique properties. The benchmark datasets and the principal 1D CNN software used in those applications are also publically shared in a dedicated website.


title: Rapid production of large $^{7}$Li Bose-Einstein condensates using $D_1$ gray molasses

abstract: We demonstrate the production of large $^7$Li Bose-Einstein condensates in an optical dipole trap using $D_1$ gray molasses. The sub-Doppler cooling technique reduces the temperature of $4\times10^9$ atoms to $25~\mu{}$K in 3~ms. After microwave evaporation cooling in a magnetic quadrupole trap, we transfer the atoms to a crossed optical dipole trap, where we employ a magnetic Feshbach resonance on the $|F=1,m_F=1\rangle$ state. Fast evaporation cooling is achieved by tilting the optical potential using a magnetic field gradient on the top of the Feshbach field. Our setup produces pure condensates with $2.7\times10^6$ atoms in the optical potential for every 11~s. The trap tilt evaporation allows rapid thermal quench, and spontaneous vortices are observed in the condensates as a result of the Kibble-Zurek mechanism.


title: Cycle-IR: Deep Cyclic Image Retargeting

abstract: Supervised deep learning techniques have achieved great success in various fields due to getting rid of the limitation of handcrafted representations. However, most previous image retargeting algorithms still employ fixed design principles such as using gradient map or handcrafted features to compute saliency map, which inevitably restricts its generality. Deep learning techniques may help to address this issue, but the challenging problem is that we need to build a large-scale image retargeting dataset for the training of deep retargeting models. However, building such a dataset requires huge human efforts. In this paper, we propose a novel deep cyclic image retargeting approach, called Cycle-IR, to firstly implement image retargeting with a single deep model, without relying on any explicit user annotations. Our idea is built on the reverse mapping from the retargeted images to the given input images. If the retargeted image has serious distortion or excessive loss of important visual information, the reverse mapping is unlikely to restore the input image well. We constrain this forward-reverse consistency by introducing a cyclic perception coherence loss. In addition, we propose a simple yet effective image retargeting network (IRNet) to implement the image retargeting process. Our IRNet contains a spatial and channel attention layer, which is able to discriminate visually important regions of input images effectively, especially in cluttered images. Given arbitrary sizes of input images and desired aspect ratios, our Cycle-IR can produce visually pleasing target images directly. Extensive experiments on the standard RetargetMe dataset show the superiority of our Cycle-IR. In addition, our Cycle-IR outperforms the Multiop method and obtains the best result in the user study. Code is available at https://github.com/mintanwei/Cycle-IR.


title: Comparative approaches to understanding thyroid hormone regulation of neurogenesis

abstract: Thyroid hormone (TH) signalling, an evolutionary conserved pathway, is crucial for brain function and cognition throughout life, from early development to ageing. In humans, TH deficiency during pregnancy alters offspring brain development, increasing the risk of cognitive disorders. How TH regulates neurogenesis and subsequent behaviour and cognitive functions remains a major research challenge. Cellular and molecular mechanisms underlying TH signalling on proliferation, survival, determination, migration, differentiation and maturation have been studied in mammalian animal models for over a century. However, recent data show that THs also influence embryonic and adult neurogenesis throughout vertebrates (from mammals to teleosts). These latest observations raise the question of how TH availability is controlled during neurogenesis and particularly in specific neural stem cell populations. This review deals with the role of TH in regulating neurogenesis in the developing and the adult brain across different vertebrate species. Such evo-devo approaches can shed new light on (i) the evolution of the nervous system and (ii) the evolutionary control of neurogenesis by TH across animal phyla. We also discuss the role of thyroid disruptors on brain development in an evolutionary context.


title: Spiral Blurring Correction with Water-Fat Separation for Magnetic Resonance Fingerprinting in the Breast

abstract: PURPOSE: Magnetic Resonance Fingerprinting (MRF) with spiral readout enables rapid quantification of tissue relaxation times. However, it is prone to blurring due to off-resonance effects. Hence, fat blurring into adjacent regions might prevent identification of small tumors by their quantitative T1 and T2 values. This study aims to correct for the blurring artifacts, thereby enabling fast quantitative mapping in the female breast. METHODS: The impact of fat blurring on spiral MRF results was first assessed by simulations. Then, MRF was combined with 3-point Dixon water-fat separation and spiral blurring correction based on conjugate phase reconstruction. The approach was assessed in phantom experiments and compared to Cartesian reference measurements, namely inversion recovery (IR), multi-echo spin echo (MESE) and Cartesian MRF, by normalized root mean square error (NRMSE) and standard deviation (STD) calculations. Feasibility is further demonstrated in-vivo for quantitative breast measurements of 6 healthy female volunteers, age range 24-31 years. RESULTS: In the phantom experiment, the blurring correction reduced the NRMSE per phantom vial on average from 16% to 8% for T1 and from 18% to 11% for T2 when comparing spiral MRF to IR/MESE sequences. When comparing to Cartesian MRF, the NRMSE reduced from 15% to 8% for T1 and from 12% to 7% for T2. Furthermore, STDs decreased. In-vivo, the blurring correction removed fat bias on T1/T2 from a rim of about 7-8 mm width adjacent to fatty structures. CONCLUSION: The blurring correction for spiral MRF yields improved quantitative maps in the presence of water and fat.


title: Two-fluid simulations of waves in the solar chromosphere I: numerical code verification

abstract: Solar chromosphere consists of a partially ionized plasma, which makes modeling the solar chromosphere a particularly challenging numerical task. Here we numerically model chromospheric waves using a two-fluid approach with a newly developed numerical code. The code solves two-fluid equations of conservation of mass, momentum and energy, together with the induction equation, for the case of the purely hydrogen plasma with collisional coupling between the charged and neutral fluid components. The implementation of a semi-implicit algorithm allows us to overcome the numerical stability constraints due to the stiff collisional terms. We test the code against analytical solutions of acoustic and Alfv\'en wave propagation in uniform medium in several regimes of collisional coupling.The results of our simulations are consistent with the analytical estimates, and with other results described in the literature. In the limit of a large collisional frequency, the waves propagate with a common speed of a single fluid. In the other limit of a vanishingly small collisional frequency, the Alfv\'en waves propagate with an Alfv\'en speed of the charged fluid only, while the perturbation in neutral fluid is very small. The acoustic waves in these limits propagate with the sound speed corresponding to either the charges or the neutrals, while the perturbation in the other fluid component is very small. Otherwise, when the collision frequency is similar to the real part of the wave frequency, the interaction between charges and neutrals through momentum transfer collisions cause alterations of the waves frequencies and damping of the wave amplitudes.

categories: astro-ph.SR physics.comp-ph physics.plasm-ph physics.space-ph


title: The Complexity of Transducer Synthesis from Multi-Sequential Specifications

abstract: The transducer synthesis problem on finite words asks, given a specification $S \subseteq I \times O$, where $I$ and $O$ are sets of finite words, whether there exists an implementation $f: I \rightarrow O$ which (1) fulfils the specification, i.e., $(i,f(i))\in S$ for all $i\in I$, and (2) can be defined by some input-deterministic (aka sequential) transducer $\mathcal{T}_f$. If such an implementation $f$ exists, the procedure should also output $\mathcal{T}_f$. The realisability problem is the corresponding decision problem. For specifications given by synchronous transducers (which read and write alternately one symbol), this is the finite variant of the classical synthesis problem on $\omega$-words, solved by B\"uchi and Landweber in 1969, and the realisability problem is known to be ExpTime-c in both finite and $\omega$-word settings. For specifications given by asynchronous transducers (which can write a batch of symbols, or none, in a single step), the realisability problem is known to be undecidable. We consider here the class of multi-sequential specifications, defined as finite unions of sequential transducers over possibly incomparable domains. We provide optimal decision procedures for the realisability problem in both the synchronous and asynchronous setting, showing that it is PSpace-c. Moreover, whenever the specification is realisable, we expose the construction of a sequential transducer that realises it and has a size that is doubly exponential, which we prove to be optimal.


title: D2-Net: A Trainable CNN for Joint Detection and Description of Local Features

abstract: In this work we address the problem of finding reliable pixel-level correspondences under difficult imaging conditions. We propose an approach where a single convolutional neural network plays a dual role: It is simultaneously a dense feature descriptor and a feature detector. By postponing the detection to a later stage, the obtained keypoints are more stable than their traditional counterparts based on early detection of low-level structures. We show that this model can be trained using pixel correspondences extracted from readily available large-scale SfM reconstructions, without any further annotations. The proposed method obtains state-of-the-art performance on both the difficult Aachen Day-Night localization dataset and the InLoc indoor localization benchmark, as well as competitive performance on other benchmarks for image matching and 3D reconstruction.