title: Symmetry properties of attosecond transient absorption spectroscopy in crystalline dielectrics

abstract: We theoretically investigate a relation between the crystalline symmetry and the transient modulation of optical properties of crystalline dielectrics in pump-probe measurements using intense pump and attosecond probe fields. When the photon energy of the pump field is much below the bandgap energy, the modulation of the optical conductivity is caused by the intraband electronic motion, that is, the dynamical Franz-Keldysh effect. We analytically investigate symmetry properties of the modulated optical conductivity utilizing the Houston function, and derive a formula that relates the temporal oscillation in the absorption with the transformation properties of the modulated optical conductivity. To verify the validity of the formula, we perform real-time first-principles calculations based on the time-dependent density functional theory for a pump-probe process taking 4H-SiC crystal as an example.


title: The finite dimensional subalgebra classification of infinite dimensional symmetry algebra of two dimensional coupled nonlinear Schr\"{o}dinger equations

abstract: The symmetry group structures of two dimensional coupled nonlinear Shr\"{o}dinger equations are considered. We first show that the equations admit infinite dimensional symmetry algebra as well as the corresponding symmetry group depending on four arbitrary functions of one variable. Then we show some physical symmetries and an affine loop algebra contained in the symmetry algebra of the equations. Third, we give the complete classifications of finite dimension (less than four) subalgebras of the symmetry algebra under the adjoint group of the symmetry group. These results provide the theoretical and computational basis for the further study of the equations with symmetry methods.


title: To Split or Not to Split: The Impact of Disparate Treatment in Classification

abstract: Disparate treatment occurs when a machine learning model yields different decisions for individuals based on a sensitive attribute (e.g., age, sex). In domains where prediction accuracy is paramount, it could potentially be acceptable to fit a model which exhibits disparate treatment. To evaluate the effect of disparate treatment, we compare the performance of split classifiers (i.e., classifiers trained and deployed separately on each group) with group-blind classifiers (i.e., classifiers which do not use a sensitive attribute). We introduce the benefit-of-splitting for quantifying the performance improvement by splitting classifiers. Computing the benefit-of-splitting directly from its definition could be intractable since it involves solving optimization problems over an infinite-dimensional functional space. Under different performance measures, we (i) prove an equivalent expression for the benefit-of-splitting which can be efficiently computed by solving small-scale convex programs; (ii) provide sharp upper and lower bounds for the benefit-of-splitting which reveal precise conditions where a group-blind classifier will always suffer from a non-trivial performance gap from the split classifiers. In the finite sample regime, splitting is not necessarily beneficial and we provide data-dependent bounds to understand this effect. Finally, we validate our theoretical results through numerical experiments on both synthetic and real-world datasets.


title: Dimension Distortion by Right Coset Projections in the Heisenberg Group

abstract: We study the family of vertical projections whose fibers are right cosets of horizontal planes in the Heisenberg group, $\mathbb{H}^n$. We prove lower bounds for Hausdorff dimension distortion of sets under these mappings, with respect to the Euclidean metric and also the natural quotient metric which we show behaves like the Euclidean metric in this context. Our bounds are sharp in a large part of the dimension range, and we give conjectural sharp lower bounds for the remaining range. Our approach also lets us improve the known almost sure lower bound for the standard family of vertical projections in $\mathbb{H}^n$ for $n \geq 2$.


title: Canonical resolutions in hereditary abelian model categories

abstract: Each object of any abelian model category has a canonical resolution as described in this article. When the model structure is hereditary we show how morphism sets in the associated homotopy category may be realized as cohomology groups computed from these resolutions. We also give an alternative description of the morphism sets in terms of Yoneda Ext groups.


title: A Visual-inertial Navigation Method for High-Speed Unmanned Aerial Vehicles

abstract: This paper investigates the localization problem of high-speed high-altitude unmanned aerial vehicle (UAV) with a monocular camera and inertial navigation system. It proposes a navigation method utilizing the complementarity of vision and inertial devices to overcome the singularity which arises from the horizontal flight of UAV. Furthermore, it modifies the mathematical model of localization problem via separating linear parts from nonlinear parts and replaces a nonlinear least-squares problem with a linearly equality-constrained optimization problem. In order to avoid the ill-condition property near the optimal point of sequential unconstrained minimization techniques(penalty methods), it constructs a semi-implicit continuous method with a trust-region technique based on a differential-algebraic dynamical system to solve the linearly equality-constrained optimization problem. It also analyzes the global convergence property of the semi-implicit continuous method in an infinity integrated interval other than the traditional convergence analysis of numerical methods for ordinary differential equations in a finite integrated interval. Finally, the promising numerical results are also presented.

categories: cs.CV cs.NA cs.SY eess.SY math.DS math.NA math.OC


title: A Simple General Approach to Balance Task Difficulty in Multi-Task Learning

abstract: In multi-task learning, difficulty levels of different tasks are varying. There are many works to handle this situation and we classify them into five categories, including the direct sum approach, the weighted sum approach, the maximum approach, the curriculum learning approach, and the multi-objective optimization approach. Those approaches have their own limitations, for example, using manually designed rules to update task weights, non-smooth objective function, and failing to incorporate other functions than training losses. In this paper, to alleviate those limitations, we propose a Balanced Multi-Task Learning (BMTL) framework. Different from existing studies which rely on task weighting, the BMTL framework proposes to transform the training loss of each task to balance difficulty levels among tasks based on an intuitive idea that tasks with larger training losses will receive more attention during the optimization procedure. We analyze the transformation function and derive necessary conditions. The proposed BMTL framework is very simple and it can be combined with most multi-task learning models. Empirical studies show the state-of-the-art performance of the proposed BMTL framework.


title: ConvLab-2: An Open-Source Toolkit for Building, Evaluating, and Diagnosing Dialogue Systems

abstract: We present ConvLab-2, an open-source toolkit that enables researchers to build task-oriented dialogue systems with state-of-the-art models, perform an end-to-end evaluation, and diagnose the weakness of systems. As the successor of ConvLab (Lee et al., 2019b), ConvLab-2 inherits ConvLab's framework but integrates more powerful dialogue models and supports more datasets. Besides, we have developed an analysis tool and an interactive tool to assist researchers in diagnosing dialogue systems. The analysis tool presents rich statistics and summarizes common mistakes from simulated dialogues, which facilitates error analysis and system improvement. The interactive tool provides a user interface that allows developers to diagnose an assembled dialogue system by interacting with the system and modifying the output of each system component.


title: Computing the racing line using Bayesian optimization

abstract: A good racing strategy and in particular the racing line is decisive to winning races in Formula 1, MotoGP, and other forms of motor racing. The racing line defines the path followed around a track as well as the optimal speed profile along the path. The objective is to minimize lap time by driving the vehicle at the limits of friction and handling capability. The solution naturally depends upon the geometry of the track and vehicle dynamics. We introduce a novel method to compute the racing line using Bayesian optimization. Our approach is fully data-driven and computationally more efficient compared to other methods based on dynamic programming and random search. The approach is specifically relevant in autonomous racing where teams can quickly compute the racing line for a new track and then exploit this information in the design of a motion planner and a controller to optimize real-time performance.


title: General criteria for quantum state smoothing with necessary and sufficient criteria for linear Gaussian quantum systems

abstract: Quantum state smoothing is a technique for estimating the quantum state of a partially observed quantum system at time $\tau$, conditioned on an entire observed measurement record (both before and after $\tau$). However, this smoothing technique requires an observer (Alice, say) to know the nature of the measurement records that are unknown to her in order to characterize the possible true states for Bob's (say) systems. If Alice makes an incorrect assumption about the set of true states for Bob's system, she will obtain a smoothed state that is suboptimal, and, worse, may be unrealizable (not corresponding to a valid evolution for the true states) or even unphysical (not represented by a state matrix $\rho\geq0$). In this paper, we review the historical background to quantum state smoothing, and list general criteria a smoothed quantum state should satisfy. Then we derive, for the case of linear Gaussian quantum systems, a necessary and sufficient constraint for realizability on the covariance matrix of the true state. Naturally, a realizable covariance of the true state guarantees a smoothed state which is physical. It might be thought that any putative true covariance which gives a physical smoothed state would be a realizable true covariance, but we show explicitly that this is not so. This underlines the importance of the realizabilty constraint.


title: Matching Hom-Setting of Rota-Baxter algebras, dendriform algebras and pre-Lie algebras

abstract: In this paper, we introduce the Hom-algebra setting of the notions of matching Rota-Baxter algebras, matching (tri)dendriform algebras and matching (pre)Lie algebras. Moreover, we study the properties and relationships between categories of these matching Hom-algebraic structures.


title: On \'{e}tale hypercohomology of henselian regular local rings with values in $p$-adic \'{e}tale Tate twists

abstract: Let $R$ be the henselization of a local ring of a semistable family over the spectrum of a discrete valuation ring of mixed characteristic $(0, p)$ and $k$ the residue field of $R$. In this paper, we prove an isomorphism of \'{e}tale hypercohomology groups $\operatorname{H}^{n+1}_{\mathrm{\acute{e}t}}(R, \mathfrak{T}_{r}(n)) \simeq \operatorname{H}^{1}_{\mathrm{\acute{e}t}}(k, W_{r}\Omega_{\log}^{n})$ for any integers $n\geq 0$ and $r>0$ where $\mathfrak{T}_{r}(n)$ is the $p$-adic Tate twist and $W_{r}\Omega_{\log}^{n}$ is the logarithmic Hodge-Witt sheaf. As an application, we prove the local-global principle for Galois cohomology groups over function fields of curves over an excellent henselian discrete valuation ring of mixed characteristic.


title: The TRAPPIST-1 JWST Community Initiative

abstract: The upcoming launch of the James Webb Space Telescope (JWST) combined with the unique features of the TRAPPIST-1 planetary system should enable the young field of exoplanetology to enter into the realm of temperate Earth-sized worlds. Indeed, the proximity of the system (12pc) and the small size (0.12 Rsun) and luminosity (0.05 Lsun) of its host star should make the comparative atmospheric characterization of its seven transiting planets within reach of an ambitious JWST program. Given the limited lifetime of JWST, the ecliptic location of the star that limits its visibility to 100d per year, the large number of observational time required by this study, and the numerous observational and theoretical challenges awaiting it, its full success will critically depend on a large level of coordination between the involved teams and on the support of a large community. In this context, we present here a community initiative aiming to develop a well-defined sequential structure for the study of the system with JWST and to coordinate on every aspect of its preparation and implementation, both on the observational (e.g. study of the instrumental limitations, data analysis techniques, complementary space-based and ground-based observations) and theoretical levels (e.g. model developments and comparison, retrieval techniques, inferences). Depending on the outcome of the first phase of JWST observations of the planets, this initiative could become the seed of a major JWST Legacy Program devoted to the study of TRAPPIST-1.


title: Deep Multi-Task Learning via Generalized Tensor Trace Norm

abstract: The trace norm is widely used in multi-task learning as it can discover low-rank structures among tasks in terms of model parameters. Nowadays, with the emerging of big datasets and the popularity of deep learning techniques, tensor trace norms have been used for deep multi-task models. However, existing tensor trace norms cannot discover all the low-rank structures and they require users to manually determine the importance of their components. To solve those two issues together, in this paper, we propose a Generalized Tensor Trace Norm (GTTN). The GTTN is defined as a convex combination of matrix trace norms of all possible tensor flattenings and hence it can discover all the possible low-rank structures. In the induced objective function, we will learn combination coefficients in the GTTN to automatically determine the importance. Experiments on real-world datasets demonstrate the effectiveness of the proposed GTTN.


title: Chiral Anomaly, Dirac Sea and Berry monopole in Wigner Function Approach

abstract: Within Wigner function formalism, the chiral anomaly arises naturally from the Dirac sea contribution in un-normal-ordered Wigner function. For massless fermions, the Dirac sea contribution behaves like a 4-dimensional or 3-dimensional Berry monopole in Euclidian momentum space, while for massive fermions, although Dirac sea still leads to the chiral anomaly but there is no Berry monopole at infrared momentum region. We discuss these points explicitly in a simple and concrete example.


title: Analysis of membership probability in nearby young moving groups with Gaia DR2

abstract: We analyze the membership probability of young stars belonging to nearby moving groups with $\textit{Gaia}$ DR2 data. The sample of 1429 stars were identified from 'The Catalog of Suspected Nearby Young Moving Group Stars'. Good-quality parallax and proper motion values were retrieved for 890 stars from $\textit{Gaia}$ DR2 database. The analysis for membership probability is performed in the framework of LACEwING algorithm. From the analysis it is confirmed that 279 stars do not belong to any of the known moving groups. We estimated the $\textit{ U, V, W}$ space velocity values for 250 moving group members, which were found to be more accurate than previous values listed in the literature. The velocity ellipses of all the moving groups are well constrained within the "good box", a widely used criterion to identify moving group members. The age of moving group members are uniformly estimated from the analysis of $\textit{Gaia}$ Color-Magnitude Diagram with MIST isochrones. We found a spread in the age distribution of stars belonging to some moving groups, which needs to be understood from further studies.


title: Spatial-segregation limit for exclusion processes with two components under unbalanced reaction

abstract: We consider exclusion processes with two types of particles which compete strongly with each other. In particular, we focus on the case where one species does not diffuse at all and killing rates of two species are given by monomials with distinct exponents. We study limiting behavior of interfaces which appear by such a strong competition. Consequently, three kinds of limiting behavior of interfaces (vanishing, moving and immovable interfaces) are derived directly from our interacting particle system taking advantage of hydrodynamic limit procedure with singular limit for annihilation dynamics.


title: Machine Learning in Python: Main developments and technology trends in data science, machine learning, and artificial intelligence

abstract: Smarter applications are making better use of the insights gleaned from data, having an impact on every industry and research discipline. At the core of this revolution lies the tools and the methods that are driving it, from processing the massive piles of data generated each day to learning from and taking useful action. Deep neural networks, along with advancements in classical ML and scalable general-purpose GPU computing, have become critical components of artificial intelligence, enabling many of these astounding breakthroughs and lowering the barrier to adoption. Python continues to be the most preferred language for scientific computing, data science, and machine learning, boosting both performance and productivity by enabling the use of low-level libraries and clean high-level APIs. This survey offers insight into the field of machine learning with Python, taking a tour through important topics to identify some of the core hardware and software paradigms that have enabled it. We cover widely-used libraries and concepts, collected together for holistic comparison, with the goal of educating the reader and driving the field of Python machine learning forward.


title: Magnetic confinement at a boundary approximates specular reflection

abstract: We conjecture that for a plasma in a spatial domain with a boundary, the specular reflection effect of the boundary can be approximated by a large magnetic confinement field in the near-boundary region. In this paper, we verify this conjecture for the 1.5D relativistic Vlasov-Maxwell system (RVM) on a bounded domain $\Omega = (0, 1)$ with an external confining magnetic field.


title: Topologically Densified Distributions

abstract: We study regularization in the context of small sample-size learning with over-parameterized neural networks. Specifically, we shift focus from architectural properties, such as norms on the network weights, to properties of the internal representations before a linear classifier. Specifically, we impose a topological constraint on samples drawn from the probability measure induced in that space. This provably leads to mass concentration effects around the representations of training instances, i.e., a property beneficial for generalization. By leveraging previous work to impose topological constraints in a neural network setting, we provide empirical evidence (across various vision benchmarks) to support our claim for better generalization.


title: The Unreasonable Effectiveness of Deep Learning in Artificial Intelligence

abstract: Deep learning networks have been trained to recognize speech, caption photographs and translate text between languages at high levels of performance. Although applications of deep learning networks to real world problems have become ubiquitous, our understanding of why they are so effective is lacking. These empirical results should not be possible according to sample complexity in statistics and non-convex optimization theory. However, paradoxes in the training and effectiveness of deep learning networks are being investigated and insights are being found in the geometry of high-dimensional spaces. A mathematical theory of deep learning would illuminate how they function, allow us to assess the strengths and weaknesses of different network architectures and lead to major improvements. Deep learning has provided natural ways for humans to communicate with digital devices and is foundational for building artificial general intelligence. Deep learning was inspired by the architecture of the cerebral cortex and insights into autonomy and general intelligence may be found in other brain regions that are essential for planning and survival, but major breakthroughs will be needed to achieve these goals.


title: FEAST Eigenvalue Solver v4.0 User Guide

abstract: The FEAST library package represents an unified framework for solving various family of eigenvalue problems and achieving accuracy, robustness, high-performance and scalability on parallel architectures. Its originality lies with a new transformative numerical approach to the traditional eigenvalue algorithm design - the FEAST algorithm. The algorithm gathers key elements from complex analysis, numerical linear algebra and approximation theory, to construct an optimal subspace iteration technique using approximate spectral projectors. FEAST can be used for solving both standard and generalized forms of the Hermitian or non-Hermitian problems (linear or non-linear), and it belongs to the family of contour integration eigensolvers. FEAST's main computational task consists of a numerical quadrature computation that involves solving independent linear systems along a complex contour, each with multiple right hand sides. In v4.0, FEAST has been reimplemented using an inverse residual iteration algorithm which enables the linear systems to be solved with very low accuracy (in single precision) with no impact on the FEAST double precision convergence rate. As a result, v4.0 is on average 3-4 times faster than v2.1 and v3.0 using new default optimization parameters (v2.1 has been featured as Intel-MKL's principal HPC eigensolver since 2013). v4.0 also implements new important features such as IFEAST (using Inexact Iterative solver), Non-linear polynomial FEAST, and PFEAST with its 3-MPI levels of parallelism. FEAST is both a comprehensive library package, and an easy to use software. It includes flexible reverse communication interfaces and ready to use driver interfaces for dense, banded and sparse systems.


title: Compressed Coding, AMP Based Decoding and Analog Spatial Coupling

abstract: This paper considers a compressed-coding scheme that combines compressed sensing with forward error control coding. Approximate message passing (AMP) is used to decode the message. Based on the state evolution analysis of AMP, we derive the performance limit of compressed-coding. We show that compressed-coding can approach Gaussian capacity at a very low compression ratio. Further, the results are extended to systems involving non-linear effects such as clipping. We show that the capacity approaching property can still be maintained when generalized AMP is used to decode the message. To approach the capacity, a low-rate underlying code should be designed according to the curve matching principle, which is complicated in practice. Instead, analog spatial-coupling is used to avoid sophisticated low-rate code design. In the end, we study the coupled scheme in a multiuser environment, where spatial-coupling can be realized in a distributive way. The overall block length can be shared by many users, which reduces block length per-user.


title: Lookahead: A Far-Sighted Alternative of Magnitude-based Pruning

abstract: Magnitude-based pruning is one of the simplest methods for pruning neural networks. Despite its simplicity, magnitude-based pruning and its variants demonstrated remarkable performances for pruning modern architectures. Based on the observation that magnitude-based pruning indeed minimizes the Frobenius distortion of a linear operator corresponding to a single layer, we develop a simple pruning method, coined lookahead pruning, by extending the single layer optimization to a multi-layer optimization. Our experimental results demonstrate that the proposed method consistently outperforms magnitude-based pruning on various networks, including VGG and ResNet, particularly in the high-sparsity regime. See https://github.com/alinlab/lookahead_pruning for codes.


title: Rowmotion Orbits of Trapezoid Posets

abstract: Rowmotion is an invertible operator on the order ideals of a poset which has been extensively studied and is well understood for the rectangle poset. In this paper, we show that rowmotion is equivariant with respect to a bijection of Hamaker, Patrias, Pechenik and Williams between order ideals of rectangle and trapezoid posets, thereby affirming a conjecture of Hopkins that the rectangle and trapezoid posets have the same rowmotion orbit structures. Our main tools in proving this are $K$-jeu-de-taquin and (weak) $K$-Knuth equivalence of increasing tableaux. We define $almost$ $minimal$ $tableaux$ as a family of tableaux naturally arising from order ideals and show for any $\lambda$, the almost minimal tableaux of shape $\lambda$ are in different (weak) $K$-Knuth equivalence classes. We also discuss and make some progress on related conjectures of Hopkins on down-degree homomesy.


title: Direct Measurement of the Forbidden $2^{3\!}S_1 \rightarrow 3^{3\!}S_1$ Atomic Transition in Helium

abstract: We present the detection of the highly forbidden $2^{3\!}S_1 \rightarrow 3^{3\!}S_1$ atomic transition in helium, the weakest transition observed in any neutral atom. Our measurements of the transition frequency, upper state lifetime, and transition strength agree well with published theoretical values, and can lead to tests of both QED contributions and different QED frameworks. To measure such a weak transition, we developed two methods using ultracold metastable ($2^{3\!}S_1$) helium atoms: low background direct detection of excited then decayed atoms for sensitive measurement of the transition frequency and lifetime; and a pulsed atom laser heating measurement for determining the transition strength. These methods could possibly be applied to other atoms, providing new tools in the search for ultra-weak transitions and precision metrology.


title: Pattern formation and exotic order in driven-dissipative Bose-Hubbard systems

abstract: Modern experimental platforms such as supercoducting-circuit arrays call for the exploration of bosonic tight-binding models in unconventional situations with no counterpart in real materials. Here we investigate one of such situations, in which excitations are driven and damped by pairs, leading to pattern formation and exotic bosonic states emerged from a non-equilibrium quantum many-body system. Focusing on a two-dimensional driven-dissipative Bose-Hubbard model, we find that its steady states are characterized by the condensation of bosons around momenta lying on a "Bose surface", a bosonic analogue of the Fermi surface in solid-state systems. The interplay between instabilities generated by the driving, the nonlinear dissipative mode-coupling, and the underlaying lattice effect, allows the system to equilibrate into an exotic superfluid state of bosons condensed on a closed ring in momentum space instead of discrete points. Such an unconventional state with a spatially uniform density distribution goes beyond the traditional scope of pattern formation, and thus has no counterpart in the classical literature. In addition, it is a state connected to several open problems in modern condensed-matter physics, and here we provide the means to stabilize it, opening the way to its experimental study. Moreover, we also provide a concrete experimental implementation of our model in currently-available superconducting-circuit arrays. We also investigate the relaxation spectrum around the condensate, which shows a characteristic purely diffusive behavior.


title: Deep Multi-Task Augmented Feature Learning via Hierarchical Graph Neural Network

abstract: Deep multi-task learning attracts much attention in recent years as it achieves good performance in many applications. Feature learning is important to deep multi-task learning for sharing common information among tasks. In this paper, we propose a Hierarchical Graph Neural Network (HGNN) to learn augmented features for deep multi-task learning. The HGNN consists of two-level graph neural networks. In the low level, an intra-task graph neural network is responsible of learning a powerful representation for each data point in a task by aggregating its neighbors. Based on the learned representation, a task embedding can be generated for each task in a similar way to max pooling. In the second level, an inter-task graph neural network updates task embeddings of all the tasks based on the attention mechanism to model task relations. Then the task embedding of one task is used to augment the feature representation of data points in this task. Moreover, for classification tasks, an inter-class graph neural network is introduced to conduct similar operations on a finer granularity, i.e., the class level, to generate class embeddings for each class in all the tasks use class embeddings to augment the feature representation. The proposed feature augmentation strategy can be used in many deep multi-task learning models. we analyze the HGNN in terms of training and generalization losses. Experiments on real-world datastes show the significant performance improvement when using this strategy.


title: Testing ab initio nuclear structure in neutron-rich nuclei: lifetime measurements of second 2+ states in 16C and 20O

abstract: To test the predictive power of ab initio nuclear structure theory, the lifetime of the second 2+ state in neutron-rich 20O, tau(2+_2 ) = 150(+80-30) fs, and an estimate for the lifetime of the second 2+ state in 16C have been obtained, for the first time. The results were achieved via a novel Monte Carlo technique that allowed us to measure nuclear state lifetimes in the tens-to-hundreds femtoseconds range, by analyzing the Doppler-shifted gamma-transition line shapes of products of low-energy transfer and deep-inelastic processes in the reaction 18O (7.0 MeV/u) + 181Ta. The requested sensitivity could only be reached owing to the excellent performances of the AGATA gamma-tracking array, coupled to the PARIS scintillator array and to the VAMOS++ magnetic spectrometer. The experimental lifetimes agree with predictions of ab initio calculations using two- and three-nucleon interactions, obtained with the valence-space in-medium similarity renormalization group for 20O, and with the no-core shell model for 16C. The present measurement shows the power of electromagnetic observables, determined with high-precision gamma spectroscopy, to assess the quality of first-principles nuclear structure calculations, complementing common benchmarks based on nuclear energies. The proposed experimental approach will be essential for short lifetimes measurements in unexplored regions of the nuclear chart, including r-process nuclei, when intense ISOL-type beams become available.


title: Utilizing BERT Intermediate Layers for Aspect Based Sentiment Analysis and Natural Language Inference

abstract: Aspect based sentiment analysis aims to identify the sentimental tendency towards a given aspect in text. Fine-tuning of pretrained BERT performs excellent on this task and achieves state-of-the-art performances. Existing BERT-based works only utilize the last output layer of BERT and ignore the semantic knowledge in the intermediate layers. This paper explores the potential of utilizing BERT intermediate layers to enhance the performance of fine-tuning of BERT. To the best of our knowledge, no existing work has been done on this research. To show the generality, we also apply this approach to a natural language inference task. Experimental results demonstrate the effectiveness and generality of the proposed approach.


title: ALMA Imaging of the CO(7-6) Line Emission in the Submillimeter Galaxy LESS 073 at redshift 4.755$^\star$

abstract: In this paper we present our imaging observations on the CO(7-6) line and its underlying continuum emission of the young submillimeter galaxy LESS 073 at redshift 4.755, using the Atacama Large Millimeter/submillimeter Array (ALMA). At the achieved resolution of $\sim$$1^{\prime\prime}.2\times0^{\prime\prime}.9$ ($8\times6$~kpc$^2$), the CO(7-6) emission is largely unresolved (with a deconvolved size of $1^{\prime\prime}.1(\pm0^{\prime\prime}.5) \times 0^{\prime\prime}.9(\pm0^{\prime\prime}.8)$), and the continuum emission is totally unresolved. The CO(7-6) line emission has an integrated flux of $0.86\pm0.08$~Jy km/s, and a line width of $343\pm40$ km/s. The continuum emission has a flux density of 0.51 mJy. By fitting the observed far-infrared (FIR) spectral energy distribution of LESS 073 with a single-temperature modified blackbody function, we obtained a dust temperature $T_{\rm dust}=57.6\pm3.5$ K, 60-to-100 $\mu$m flux density ratio $f_{60}/f_{100}=0.86\pm0.08$, and total infrared luminosity $L_{\rm IR}=(5.8\pm0.9) \times 10^{12}~L_\odot$. The SED-fit-based $f_{60}/f_{100}$ is consistent with those estimated from various line ratios as advocated by our earlier work, indicating that those proposed line-ratio-based method can be used to practically derive $f_{60}/f_{100}$ for high-$z$ sources. The total molecular gas mass of LESS 073 is $(3.3\pm1.7) \times10^{10}~M_\odot$, and the inferred gas depletion time is about 43 Myr.


title: The 21-cm signals from ultracompact minihalos as a probe of primordial small-scale fluctuations

abstract: Ultracompact minihalos~(UCMHs) can form after the epoch of matter-radiation equality, if the density fluctuations of dark matter have significantly large amplitude on small scales. The constraint on the UCMH abundance allows us to access such small-scale fluctuations. In this paper, we present that, through the measurement of 21-cm fluctuations before the epoch of reionization~ we can obtain a constraint on the UCMH abundance. We calculate the 21-cm signal from UCMHs and show that UCMHs provide the enhancement of the 21-cm fluctuations. We also investigate the constraint on the UCMH abundance and small-scale curvature perturbations. Our results indicate that the upcoming 21-cm observation, the Square Kilometre Array (SKA), provides the constraint on amplitude of primordial curvature power spectrum, ${\cal A}_{\zeta} \lesssim 10^{-6}$ on $100~{\rm Mpc}^{-1} \lesssim k \lesssim 1000~{\rm Mpc}^{-1}$. Although it is not stronger than the one from the non-detection of gamma rays induced by dark matter annihilation in UCMHs, the constraint by the SKA will be important because this constraint is independent of the dark matter particle model.


title: The apolar algebra of a product of linear forms

abstract: Apolarity is an important tool in commutative algebra and algebraic geometry which studies a form, $f$, by the action of polynomial differential operators on $f$. The quotient of all polynomial differential operators by those which annihilate $f$ is called the apolar algebra of $f$. In general, the apolar algebra of a form is useful for determining its Waring rank, which can be seen as the problem of decomposing the supersymmetric tensor, associated to the form, minimally as a sum of rank one supersymmetric tensors. In this article we study the apolar algebra of a product of linear forms, which generalizes the case of monomials and connects to the geometry of hyperplane arrangements. In the first part of the article we provide a bound on the Waring rank of a product of linear forms under certain genericity assumptions; for this we use the defining equations of so-called star configurations due to Geramita, Harbourne, and Migliore. In the second part of the article we use the computer algebra system Bertini, which operates by homotopy continuation methods, to solve certain rank equations for catalecticant matrices. Our computations suggest that, up to a change of variables, there are exactly six homogeneous polynomials of degree six in three variables which factor completely as a product of linear forms defining an irreducible multi-arrangement and whose apolar algebras have dimension six in degree three. As a consequence of these calculations, we find six cases of such forms with cactus rank six, five of which also have Waring rank six. Among these are products defining subarrangements of the braid and Hessian arrangements.


title: Prospects for a Multi-TeV Gamma-ray Sky Survey with the LHAASO Water Cherenkov Detector Array

abstract: The Water Cherenkov Detector Array (WCDA) is a major component of the Large High Altitude Air Shower Array Observatory (LHAASO), a new generation cosmic-ray experiment with unprecedented sensitivity, currently under construction. The WCDA is aimed at the study of TeV $\gamma$-rays. In order to evaluate the prospects of searching for TeV $\gamma$-ray sources with the WCDA, we present in this paper a projection for the one-year sensitivity of the WCDA to TeV $\gamma$-ray sources from TeVCat (footnote: http://tevcat.uchicago.edu) using an all-sky approach. Out of 128 TeVCat sources observable to the WCDA up to a zenith angle of $45^\circ$, we estimate that 42 would be detectable for one year of observations at a median energy of 1 TeV. Most of them are Galactic sources, and the extragalactic sources are Active Galactic Nuclei (AGN).


title: New analysis of Galerkin-mixed FEMs for incompressible miscible flow in porous media

abstract: Analysis of Galerkin-mixed FEMs for incompressible miscible flow in porous media has been investigated extensively in the last several decades. Of particular interest in practical applications is the lowest-order Galerkin-mixed method, { in which a linear Lagrange FE approximation is used for the concentration and the lowest-order Raviart-Thomas FE approximation is used for the velocity/pressure. The previous works only showed the first-order accuracy of the method in $L^2$-norm in spatial direction,} which however is not optimal and valid only under certain extra restrictions on both time step and spatial mesh. In this paper, we provide new and optimal $L^2$-norm error estimates of Galerkin-mixed FEMs for all three components in a general case. In particular, for the lowest-order Galerkin-mixed FEM, we show unconditionally the second-order { accuracy in $L^2$-norm} for the concentration. Numerical results for both two and three-dimensional models are presented to confirm our theoretical analysis. More important is that our approach can be extended to the analysis of mixed FEMs for many strongly coupled systems to obtain optimal error estimates for all components.


title: Deep-HR: Fast Heart Rate Estimation from Face Video Under Realistic Conditions

abstract: This paper presents a novel method for remote heart rate (HR) estimation. Recent studies have proved that blood pumping by the heart is highly correlated to the intense color of face pixels, and surprisingly can be utilized for remote HR estimation. Researchers successfully proposed several methods for this task, but making it work in realistic situations is still a challenging problem in computer vision community. Furthermore, learning to solve such a complex task on a dataset with very limited annotated samples is not reasonable. Consequently, researchers do not prefer to use the deep learning approaches for this problem. In this paper, we propose a simple yet efficient approach to benefit the advantages of the Deep Neural Network (DNN) by simplifying HR estimation from a complex task to learning from very correlated representation to HR. Inspired by previous work, we learn a component called Front-End (FE) to provide a discriminative representation of face videos, afterward a light deep regression auto-encoder as Back-End (BE) is learned to map the FE representation to HR. Regression task on the informative representation is simple and could be learned efficiently on limited training samples. Beside of this, to be more accurate and work well on low-quality videos, two deep encoder-decoder networks are trained to refine the output of FE. We also introduce a challenging dataset (HR-D) to show that our method can efficiently work in realistic conditions. Experimental results on HR-D and MAHNOB datasets confirm that our method could run as a real-time method and estimate the average HR better than state-of-the-art ones.


title: MUonE sensitivity to new physics explanations of the muon anomalous magnetic moment

abstract: The MUonE experiment aims at a precision measurement of the hadronic vacuum polarization contribution to the muon $g-2$, via elastic muon-electron scattering. Since the current muon $g-2$ anomaly hints at the potential existence of new physics (NP) related to the muon, the question then arises as to whether the measurement of hadronic vacuum polarization in MUonE could be affected by the same NP as well. In this work, we address this question by investigating a variety of NP explanations of the muon $g-2$ anomaly via either vector or scalar mediators with either flavor-universal, non-universal or even flavor-violating couplings to electrons and muons. We derive the corresponding MUonE sensitivity in each case and find that the measurement of hadronic vacuum polarization at the MUonE is not vulnerable to any of these NP scenarios.


title: Hydrodynamics of massive particles with spin 1/2

abstract: The formulation of relativistic hydrodynamics for massive particles with spin 1/2 is shortly reviewed. The proposed framework is based on the Wigner function treated in a semi-classical approximation or, alternatively, on a classical treatment of spin 1/2. Several theoretical issues regarding the choice of the energy-momentum and spin tensors used to construct the hydrodynamic framework with spin are discussed in parallel.


title: KdV Charges and the Generalized Torus Partition Sum in $T{\bar T}$ deformation

abstract: We consider KdV currents in a quantum field theory obtained by deforming a two dimensional conformal field theory on a cylinder via the irrelevant operator $T{\bar T}$. In this paper we determine their one-point functions modular properties. We find that the one-point functions factorize into two components each with a definite modular weight. We also obtain a general differential equation that the generalized torus partition sum satisfies.


title: Interplay between spin-orbit coupling and van Hove singularity in the Hund's metallicity of Sr$_2$RuO$_4$

abstract: We investigate the dynamical properties of Sr$_2$RuO$_4$ at zero and very low temperature using density functional theory plus dynamical mean-field theory with an exact diagonalization solver. By considering rotationally invariant local interaction, we examine how Hund's coupling and spin-orbit coupling affect the correlated nature of the system. In the absence of Hund's coupling, the system shows a Fermi liquid behavior over the entire range of temperatures we consider. We confirm that the Fermi liquid persists at zero temperature even with nonzero Hund's coupling; however, at sufficient temperatures Hund's coupling significantly reduces the Fermi liquid regime and the system evolves into a typical Hund's metal. At the bare electronic occupancy of Sr$_2$RuO$_4$ ($t_{2g}^4$), a stronger Hund's metallicity accompanies a larger long-time correlator. Remarkably, electron doping further destabilizes the Fermi liquid even though the long-time correlator and magnetic fluctuations decrease upon doping. This suppression of the Fermi liquid is driven by the van Hove singularity above the Fermi level in Sr$_2$RuO$_4$, combined with an enhanced Van Vleck susceptibility by spin-orbit coupling. Such findings point to the important role that electronic structure plays in the behavior of Hund's metals, in addition to magnetic fluctuations.


title: Decentralized Cooperative Merging of Platoons of Connected and Automated Vehicles at Highway On-Ramps

abstract: In this paper, we propose an optimization framework for cooperative merging of platoons of connected and automated vehicles at highway on-ramps. The framework includes (1) an optimal scheduling algorithm, through which, each platoon derives the sequence and time to enter the highway safely, and (2) an optimal control algorithm that allows each platoon to derive its optimal control input (acceleration/deceleration) in terms of fuel consumption. We evaluate the efficacy of the proposed optimization framework through VISSIM-MATLAB simulation environment. The proposed framework significantly reduces the crossing time and fuel consumption of platoons at the highway on-ramps.


title: Approximate MMAP by Marginal Search

abstract: We present a heuristic strategy for marginal MAP (MMAP) queries in graphical models. The algorithm is based on a reduction of the task to a polynomial number of marginal inference computations. Given an input evidence, the marginals mass functions of the variables to be explained are computed. Marginal information gain is used to decide the variables to be explained first, and their most probable marginal states are consequently moved to the evidence. The sequential iteration of this procedure leads to a MMAP explanation and the minimum information gain obtained during the process can be regarded as a confidence measure for the explanation. Preliminary experiments show that the proposed confidence measure is properly detecting instances for which the algorithm is accurate and, for sufficiently high confidence levels, the algorithm gives the exact solution or an approximation whose Hamming distance from the exact one is small.


title: Towards a more robust algorithm for computing the restricted singular value decomposition

abstract: A new algorithm to compute the restricted singular value decomposition of dense matrices is presented. Like Zha's method \cite{Zha92}, the new algorithm uses an implicit Kogbetliantz iteration, but with four major innovations. The first innovation is a useful quasi-upper triangular generalized Schur form that just requires orthonormal transformations to compute. Depending on the application, this Schur form can be used instead of the full decomposition. The second innovation is a new preprocessing phase that requires fewer rank determinations than previous methods. The third innovation is a numerically stable RSVD algorithm for $2\times 2$ upper-triangular matrices, which forms a key component of the implicit Kogbetliantz iteration. The fourth innovation is an alternative scaling for the restricted singular triplets that results in elegant formulas for their computation. Beyond these four innovations, the qualitative (numerical) characteristics of the algorithm are discussed extensively. Some numerical challenges in the (optional) postprocessing phase are considered too; though, their solutions require further research. Numerical tests and examples confirm the effectiveness of the method.


title: Uniform Interpolation Constrained Geodesic Learning on Data Manifold

abstract: In this paper, we propose a method to learn a minimizing geodesic within a data manifold. Along the learned geodesic, our method can generate high-quality interpolations between two given data samples. Specifically, we use an autoencoder network to map data samples into latent space and perform interpolation via an interpolation network. We add prior geometric information to regularize our autoencoder for the convexity of representations so that for any given interpolation approach, the generated interpolations remain within the distribution of the data manifold. Before the learning of a geodesic, a proper Riemannianmetric should be defined. Therefore, we induce a Riemannian metric by the canonical metric in the Euclidean space which the data manifold is isometrically immersed in. Based on this defined Riemannian metric, we introduce a constant speed loss and a minimizing geodesic loss to regularize the interpolation network to generate uniform interpolation along the learned geodesic on the manifold. We provide a theoretical analysis of our model and use image translation as an example to demonstrate the effectiveness of our method.


title: Positive Semidefinite Programming: Mixed, Parallel, and Width-Independent

abstract: We give the first approximation algorithm for mixed packing and covering semidefinite programs (SDPs) with polylogarithmic dependence on width. Mixed packing and covering SDPs constitute a fundamental algorithmic primitive with recent applications in combinatorial optimization, robust learning, and quantum complexity. The current approximate solvers for positive semidefinite programming can handle only pure packing instances, and technical hurdles prevent their generalization to a wider class of positive instances. For a given multiplicative accuracy of $\epsilon$, our algorithm takes $O(\log^3(nd\rho) \cdot \epsilon^{-3})$ parallelizable iterations, where $n$, $d$ are dimensions of the problem and $\rho$ is a width parameter of the instance, generalizing or improving all previous parallel algorithms in the positive linear and semidefinite programming literature. When specialized to pure packing SDPs, our algorithm's iteration complexity is $O(\log^2 (nd) \cdot \epsilon^{-2})$, a slight improvement and derandomization of the state-of-the-art (Allen-Zhu et. al. '16, Peng et. al. '16, Wang et. al. '15). For a wide variety of structured instances commonly found in applications, the iterations of our algorithm run in nearly-linear time. In doing so, we give matrix analytic techniques for overcoming obstacles that have stymied prior approaches to this open problem, as stated in past works (Peng et. al. '16, Mahoney et. al. '16). Crucial to our analysis are a simplification of existing algorithms for mixed positive linear programs, achieved by removing an asymmetry caused by modifying covering constraints, and a suite of matrix inequalities whose proofs are based on analyzing the Schur complements of matrices in a higher dimension. We hope that both our algorithm and techniques open the door to improved solvers for positive semidefinite programming, as well as its applications.


title: End-to-End Face Parsing via Interlinked Convolutional Neural Networks

abstract: Face parsing is an important computer vision task that requires accurate pixel segmentation of facial parts (such as eyes, nose, mouth, etc.), providing a basis for further face analysis, modification, and other applications. Interlinked Convolutional Neural Networks (iCNN) was proved to be an effective two-stage model for face parsing. However, the original iCNN was trained separately in two stages, limiting its performance. To solve this problem, we introduce a simple, end-to-end face parsing framework: STN-aided iCNN(STN-iCNN), which extends the iCNN by adding a Spatial Transformer Network (STN) between the two isolated stages. The STN-iCNN uses the STN to provide a trainable connection to the original two-stage iCNN pipeline, making end-to-end joint training possible. Moreover, as a by-product, STN also provides more precise cropped parts than the original cropper. Due to these two advantages, our approach significantly improves the accuracy of the original model. Our model achieved competitive performance on the Helen Dataset, the standard face parsing dataset. It also achieved superior performance on CelebAMask-HQ dataset, proving its good generalization. Our code has been released at https://github.com/aod321/STN-iCNN.


title: Invariant measures for multidimensional fractional stochastic volatility models

abstract: We establish convergence to an invariant measure as time tends to infinity, for a large class of (possibly non-Markovian) stochastic volatility models. Our arguments are based on a novel coupling idea for Markov chains which also extends to Markov chains in random environments in an efficient way.


title: Reward-rational (implicit) choice: A unifying formalism for reward learning

abstract: It is often difficult to hand-specify what the correct reward function is for a task, so researchers have instead aimed to learn reward functions from human behavior or feedback. The types of behavior interpreted as evidence of the reward function have expanded greatly in recent years. We've gone from demonstrations, to comparisons, to reading into the information leaked when the human is pushing the robot away or turning it off. And surely, there is more to come. How will a robot make sense of all these diverse types of behavior? Our key insight is that different types of behavior can be interpreted in a single unifying formalism - as a reward-rational choice that the human is making, often implicitly. The formalism offers both a unifying lens with which to view past work, as well as a recipe for interpreting new sources of information that are yet to be uncovered. We provide two examples to showcase this: interpreting a new feedback type, and reading into how the choice of feedback itself leaks information about the reward.


title: On the Performance Analysis of Epidemic Routing in Non-Sparse Delay Tolerant Networks

abstract: We study the behavior of epidemic routing in a delay tolerant network as a function of node density. Focusing on the probability of successful delivery to a destination within a deadline (PS), we show that PS experiences a phase transition as node density increases. Specifically, we prove that PS exhibits a phase transition when nodes are placed according to a Poisson process and allowed to move according to independent and identical processes with limited speed. We then propose four fluid models to evaluate the performance of epidemic routing in non-sparse networks. A model is proposed for supercritical networks based on approximation of the infection rate as a function of time. Other models are based on the approximation of the pairwise infection rate. Two of them, one for subcritical networks and another for supercritical networks, use the pairwise infection rate as a function of the number of infected nodes. The other model uses pairwise infection rate as a function of time, and can be applied for both subcritical and supercritical networks achieving good accuracy. The model for subcritical networks is accurate when density is not close to the percolation critical density. Moreover, the models that target only supercritical regime are accurate.


title: Hirota-Satsuma Dynamics as a Non-Relativistic Limit of KdV Equations

abstract: We consider a system of two coupled KdV equations (one for left-movers, the other for right-movers) and investigate its ultra-relativistic and non-relativistic limits in the sense of BMS$_3$/GCA$_2$ symmetry. We show that there is no local ultra-relativistic limit of the system with positive energy, regardless of the coupling constants in the original relativistic Hamiltonian. By contrast, local non-relativistic limits with positive energy exist, provided there is a non-zero coupling between left- and right-movers. In these limits, the wave equations reduce to Hirota-Satsuma dynamics (of type IV) and become integrable. This is thus a situation where input from high-energy physics contributes to nonlinear science - in this case, uncovering the limiting relation between integrable structures of KdV and Hirota-Satsuma.

categories: hep-th math-ph math.MP nlin.SI physics.flu-dyn


title: Analysis Of Multi Field Of View Cnn And Attention Cnn On H&E Stained Whole-slide Images On Hepatocellular Carcinoma

abstract: Hepatocellular carcinoma (HCC) is a leading cause of cancer-related death worldwide. Whole-slide imaging which is a method of scanning glass slides have been employed for diagnosis of HCC. Using high resolution Whole-slide images is infeasible for Convolutional Neural Network applications. Hence tiling the Whole-slide images is a common methodology for assigning Convolutional Neural Networks for classification and segmentation. Determination of the tile size affects the performance of the algorithms since small field of view can not capture the information on a larger scale and large field of view can not capture the information on a cellular scale. In this work, the effect of tile size on performance for classification problem is analysed. In addition, Multi Field of View CNN is assigned for taking advantage of the information provided by different tile sizes and Attention CNN is assigned for giving the capability of voting most contributing tile size. It is found that employing more than one tile size significantly increases the performance of the classification by 3.97% and both algorithms are found successful over the algorithm which uses only one tile size.


title: Data-driven MHD Simulation of the Formation and Initiation of a Large-scale Pre-flare Magnetic Flux Rope in Solar Active Region 12371

abstract: Solar eruptions are the most powerful drivers of space weather. To understand their cause and nature, it is crucial to know how the coronal magnetic field evolves before eruption. Here we study the formation process of a relatively large-scale magnetic flux rope (MFR) in active region NOAA~12371 that erupts with a major flare and coronal mass ejection on 2015 June 21. A data-driven numerical magnetohydrodynamic model is employed to simulate three-dimensional coronal magnetic field evolution of one-day duration before the eruption. Comparison between the observed features and our modeled magnetic field discloses how the pre-eruption MFR forms. Initially, the magnetic field lines were weakly twisted as being simple sheared arcades. Then a long MFR was formed along the polarity inversion line due to the complex photospheric motion, which is mainly shearing rather than twisting. The presence of the MFR is evidenced by a coherent set of magnetic field lines with twist number above unity. Below the MFR a current sheet is shown in the model, suggesting that tether-cutting reconnection plays a key role in the MFR formation. The MFR's flux grows as more and more field lines are twisted due to continuous injection of magnetic helicity by the photospheric motions. Meanwhile, the height of the MFR's axis increases monotonely from its formation. By an analysis of the decay index of its overlying field, we suggest that it is because the MFR runs into the torus instability regime and becomes unstable that finally triggers the eruption.


title: Designation of a binocular structure for complex sources of x-rays and neutron source

abstract: A structure, used as a complex source of X-rays and neutron source, is designed with the assistance of CST module tool. Particles of -H and electron, attracted from a plasma source, are designed to be separated by an energy selector. Soon after the separation, the trajectory and beam quality of -H is controlled by a special designation of potential barrier and potential well. And the acceleration of both particles is realized by three pairs of pierce similar pole to an energy of 150keV to produce x-rays or neutron. With proper optimization of structure and potential combination, a binocular structure with beam center distance of 15mm, beam diameter smaller than 3.5mm has been devised, which giveps a feasible suggestion to produce two rays with one structure in the same time.


title: LaProp: Separating Momentum and Adaptivity in Adam

abstract: We identity a by-far-unrecognized problem of Adam-style optimizers which results from unnecessary coupling between momentum and adaptivity. The coupling leads to instability and divergence when the momentum and adaptivity parameters are mismatched. In this work, we propose a method, Laprop, which decouples momentum and adaptivity in the Adam-style methods. We show that the decoupling leads to greater flexibility in the hyperparameters and allows for a straightforward interpolation between the signed gradient methods and the adaptive gradient methods. We experimentally show that Laprop has consistently improved speed and stability over Adam on a variety of tasks. We also bound the regret of Laprop on a convex problem and show that our bound differs from that of Adam by a key factor, which demonstrates its advantage.


title: Efficient active learning of sparse halfspaces with arbitrary bounded noise

abstract: We study active learning of homogeneous $s$-sparse halfspaces in $\mathbb{R}^d$ under the setting where the unlabeled data distribution is isotropic log-concave and each label is flipped with probability at most $\eta$ for a parameter $\eta \in \big[0, \frac12\big)$, known as the bounded noise. Even in the presence of mild label noise, i.e. $\eta$ is a small constant, this is a challenging problem and only recently have label complexity bounds of the form $\tilde{O}\big(s \cdot \mathrm{polylog}(d, \frac{1}{\epsilon})\big)$ been established in [Zhang, 2018] for computationally efficient algorithms. In contrast, under high levels of label noise, the label complexity bounds achieved by computationally efficient algorithms are much worse: the best known result of [Awasthi et al., 2016] provides a computationally efficient algorithm with label complexity $\tilde{O}\big((\frac{s \ln d}{\epsilon})^{2^{\mathrm{poly}(1/(1-2\eta))}} \big)$, which is label-efficient only when the noise rate $\eta$ is a fixed constant. In this work, we substantially improve on it by designing a polynomial time algorithm for active learning of $s$-sparse halfspaces, with a label complexity of $\tilde{O}\big(\frac{s}{(1-2\eta)^4} \mathrm{polylog} (d, \frac 1 \epsilon) \big)$. This is the first efficient algorithm with label complexity polynomial in $\frac{1}{1-2\eta}$ in this setting, which is label-efficient even for $\eta$ arbitrarily close to $\frac12$. Our active learning algorithm and its theoretical guarantees also immediately translate to new state-of-the-art label and sample complexity results for full-dimensional active and passive halfspace learning under arbitrary bounded noise. The key insight of our algorithm and analysis is a new interpretation of online learning regret inequalities, which may be of independent interest.


title: Optimal Label Splitting for Embedding an LTS into an arbitrary Petri Net Reachability Graph is NP-complete

abstract: For a given labelled transition system (LTS), synthesis is the task to find an unlabelled Petri net with an isomorphic reachability graph. Even when just demanding an embedding into a reachability graph instead of an isomorphism, a solution is not guaranteed. In such a case, label splitting is an option, i.e. relabelling edges of the LTS such that differently labelled edges remain different. With an appropriate label splitting, we can always obtain a solution for the synthesis or embedding problem. Using the label splitting, we can construct a labelled Petri net with the intended bahaviour (e.g. embedding the given LTS in its reachability graph). As the labelled Petri net can have a large number of transitions, an optimisation may be desired, limiting the number of labels produced by the label splitting. We show that such a limitation will turn the problem from being solvable in polynomial time into an NP-complete problem.


title: The Drinfel'd codouble constuction for monoidal Hom-Hopf algebra

abstract: Let $(H, \beta)$ be a monoidal Hom-Hopf algebra with the bijective antipode $S$, In this paper, we mainly construct the Drinfel'd codouble $T(H)=(H^{op}\otimes H^{*}, \beta\otimes \beta^{*-1})$ and $\widehat{T(H)}=( H^{*}\otimes H^{op}, \beta^{*-1}\otimes \beta)$ in the setting of monoidal Hom-Hopf algebras. Then we prove both $T(H)$ and $\widehat{T(H)}$ are coquasitriangular. Finally, we discuss the relation between Drinfel'd codouble and Heisenberg double in the setting of monoidal Hom-Hopf algebras, which is a generalization of the part results in \cite{L94}.


title: Tracking the diffusion-controlled lithiation reaction of LiMn2O4 by in-situ TEM

abstract: Spinel lithium manganese oxide (LixMn2O4) is used as an active material in battery cathodes. It is a relatively inexpensive and environmentally friendly material, but suffers from capacity fade during use. The capacity losses are generally attributed to the formation of the tetragonal phase (x > 1) due to overpotentials at the surfaces of the micron-sized particles that are used in commercial electrodes. In this study, we investigate the mechanisms of tetragonal phase formation by performing electrochemical lithiation (discharging) in-situ in the transmission electron microscope (TEM) utilizing diffraction and high resolution as well as spectroscopy. We observe a sharp interface between the cubic spinel (x = 1) and the tetragonal phase (x = 2), that moves under lithium diffusion-control. The tetragonal phase forms as a complex nanotwinned microstructure, presumably to relieve the stresses due to expansion during lithiation. We propose that the twinned microstructure stabilizes the tetragonal phase, adding to capacity loss upon deep discharge.


title: A criterion for the triviality of non-steady gradient Ricci solitons

abstract: The main purpose of this paper is to show that a normalized non-steady gradient Ricci soliton (M,g,f,{\lambda}) of dimension n is trivial if and only if its scalar curvature S satisfies the equality S={\lambda}(f+(n/2)).


title: An isogeometric boundary element method for soft particles flowing in microfluidic channels

abstract: Understanding the flow of deformable particles such as liquid drops, synthetic capsules and vesicles, and biological cells confined in a small channel is essential to a wide range of potential chemical and biomedical engineering applications. Computer simulations of this kind of fluid-structure (membrane) interaction in low-Reynolds-number flows raise significant challenges faced by an intricate interplay between flow stresses, complex particles' interfacial mechanical properties, and fluidic confinement. Here, we present an isogeometric computational framework by combining the finite-element method (FEM) and boundary-element method (BEM) for an accurate prediction of the deformation and motion of a single soft particle transported in microfluidic channels. The proposed numerical framework is constructed consistently with the isogeometric analysis paradigm; Loop's subdivision elements are used not only for the representation of geometry but also for the membrane mechanics solver (FEM) and the interfacial fluid dynamics solver (BEM). We validate our approach by comparison of the simulation results with highly accurate benchmark solutions to two well-known examples available in the literature, namely a liquid drop with constant surface tension in a circular tube and a capsule with a very thin hyperelastic membrane in a square channel. We show that the numerical method exhibits second-order convergence in both time and space. To further demonstrate the accuracy and long-time numerically stable simulations of the algorithm, we perform hydrodynamic computations of a lipid vesicle with bending stiffness and a red blood cell with a composite membrane in capillaries. The present work offers some possibilities to study the deformation behavior of confining soft particles, especially the particles' shape transition and dynamics and their rheological signature in channel flows.


title: Mild assumptions for the derivation of Einstein's effective viscosity formula

abstract: We provide a rigorous derivation of Einstein's formula for the effective viscosity of dilute suspensions of $n$ rigid balls, $n \gg 1$, set in a volume of size $1$. So far, most justifications were carried under a strong assumption on the minimal distance between the balls: $d_{min} \ge c n^{-\frac{1}{3}}$, $c > 0$. We relax this assumption into a set of two much weaker conditions: one expresses essentially that the balls do not overlap, while the other one gives a control of the number of balls that are close to one another. In particular, our analysis covers the case of suspensions modelled by standard Poisson processes with almost minimal hardcore condition.


title: NA61/SHINE results on fluctuations and correlations at CERN SPS energies

abstract: The aim of the NA61/SHINE strong interaction programme is to explore the phase diagram of strongly interacting matter. The main physics goals are the study of the onset of deconfinement and the search for the critical point of strongly interacting matter. These goals are pursued by performing a beam momentum (13A -- 150/158A GeV/c) and system size (p+p, p+Pb, Be+Be, Ar+Sc, Xe+La, Pb+Pb) scan. This contribution presents new results from NA61/SHINE on fluctuations and correlations which include in particular quantum correlations, as well as multiplicity and net-charge fluctuations, proton density fluctuations and anisotropic collective flow. Obtained results are compared with other experiments and with model predictions.


title: On complete reducibility of tensor products of simple modules over simple algebraic groups

abstract: Let $G$ be a simply connected simple algebraic group over an algebraically closed field $k$ of characteristic $p>0$. The category of rational $G$-modules is not semisimple. We consider the question of when the tensor product of two simple $G$-modules $L(\lambda)$ and $L(\mu)$ is completely reducible. Using some technical results about weakly maximal vectors (i.e. maximal vectors for the action of the Frobenius kernel $G_1$ of $G$) in tensor products, we obtain a reduction to the case where the highest weights $\lambda$ and $\mu$ are $p$-restricted. In this case, we also prove that $L(\lambda)\otimes L(\mu)$ is completely reducible as a $G$-module if and only if $L(\lambda)\otimes L(\mu)$ is completely reducible as a $G_1$-module.


title: Combining LoRaWAN and a New 3D Motion Model for Remote UAV Tracking

abstract: Over the last few years, the many uses of Unmanned Aerial Vehicles (UAVs) have captured the interest of both the scientific and the industrial communities. A typical scenario consists in the use of UAVs for surveillance or target-search missions over a wide geographical area. In this case, it is fundamental for the command center to accurately estimate and track the trajectories of the UAVs by exploiting their periodic state reports. In this work, we design an ad hoc tracking system that exploits the Long Range Wide Area Network (LoRaWAN) standard for communication and an extended version of the Constant Turn Rate and Acceleration (CTRA) motion model to predict drone movements in a 3D environment. Simulation results on a publicly available dataset show that our system can reliably estimate the position and trajectory of a UAV, significantly outperforming baseline tracking approaches.


title: The {0,1}-knapsack problem with qualitative levels

abstract: A variant of the classical knapsack problem is considered in which each item is associated with an integer weight and a qualitative level. We define a dominance relation over the feasible subsets of the given item set and show that this relation defines a preorder. We propose a dynamic programming algorithm to compute the entire set of non-dominated rank cardinality vectors and we state two greedy algorithms, which efficiently compute a single efficient solution.


title: Computation Resource Allocation for Heterogeneous Time-Critical IoT Services in MEC

abstract: Mobile edge computing (MEC) is one of the promising solutions to process computational-intensive tasks within short latency for emerging Internet-of-Things (IoT) use cases, e.g., virtual reality (VR), augmented reality (AR), autonomous vehicle. Due to the coexistence of heterogeneous services in MEC system, the task arrival interval and required execution time can vary depending on services. It is challenging to schedule computation resource for the services with stochastic arrivals and runtime at an edge server (ES). In this paper, we propose a flexible computation offloading framework among users and ESs. Based on the framework, we propose a Lyapunov-based algorithm to dynamically allocate computation resource for heterogeneous time-critical services at the ES. The proposed algorithm minimizes the average timeout probability without any prior knowledge on task arrival process and required runtime. The numerical results show that, compared with the standard queuing models used at ES, the proposed algorithm achieves at least 35% reduction of the timeout probability, and approximated utilization efficiency of computation resource to non-cause queuing model under various scenarios.


title: Service Selection using Predictive Models and Monte-Carlo Tree Search

abstract: This article proposes a method for automated service selection to improve treatment efficacy and reduce re-hospitalization costs. A predictive model is developed using the National Home and Hospice Care Survey (NHHCS) dataset to quantify the effect of care services on the risk of re-hospitalization. By taking the patient's characteristics and other selected services into account, the model is able to indicate the overall effectiveness of a combination of services for a specific NHHCS patient. The developed model is incorporated in Monte-Carlo Tree Search (MCTS) to determine optimal combinations of services that minimize the risk of emergency re-hospitalization. MCTS serves as a risk minimization algorithm in this case, using the predictive model for guidance during the search. Using this method on the NHHCS dataset, a significant reduction in risk of re-hospitalization is observed compared to the original selections made by clinicians. An 11.89 percentage points risk reduction is achieved on average. Higher reductions of roughly 40 percentage points on average are observed for NHHCS patients in the highest risk categories. These results seem to indicate that there is enormous potential for improving service selection in the near future.


title: Electromagnetic counterparts to gravitational wave events from Gaia

abstract: The recent discoveries of gravitational wave events and in one case also its electromagnetic (EM) counterpart allow us to study the Universe in a novel way. The increased sensitivity of the LIGO and Virgo detectors has opened the possibility for regular detections of EM transient events from mergers of stellar remnants. Gravitational wave sources are expected to have sky localisation up to a few hundred square degrees, thus Gaia as an all-sky multi-epoch photometric survey has the potential to be a good tool to search for the EM counterparts. In this paper we study the possibility of detecting EM counterparts to gravitational wave sources using the Gaia Science Alerts system. We develop an extension to current used algorithms to find transients and test its capabilities in discovering candidate transients on a sample of events from the observation periods O1 and O2 of LIGO and Virgo. For the gravitational wave events from the current run O3 we expect that about 16 (25) per cent should fall in sky regions observed by Gaia 7 (10) days after gravitational wave. The new algorithm will provide about 10 candidates per day from the whole sky.


title: Self similarity of liquid droplet coalescence in a quasi-2D free-standing liquid-crystal film

abstract: Coalescence of droplets is an ubiquitous phenomenon in chemical, physical and biolog-ical systems. The process of merging of liquid objects has been studied during the pastyears experimentally and theoretically in different geometries. We introduce a uniquesystem that allows a quasi two-dimensional description of the coalescence process,micrometer-sized flat droplets in freely suspended smectic liquid-crystal films. We findthat the bridge connecting the droplets grows linearly in time during the initial stage ofcoalescence, both with respect to its height and lateral width. We also verify self-similardynamics of the bridge during the first stage of coalescence. We compare our resultswith a model based on the thin sheet equations.


title: Labelled calculi for quantified modal logics with definite descriptions

abstract: We introduce labelled sequent calculi for quantified modal logics with definite descriptions. We prove that these calculi have the good structural properties of G3-style calculi. In particular, all rules are height-preserving invertible, weakening and contraction are height-preserving admissible and cut is admissible. Finally, we show that each calculus gives a proof-theoretic characterization of validity in the corresponding class of models.


title: Vacuum decay in the presence of a cosmic string

abstract: We study the false vacuum decay and bubble nucleation in the presence of a cosmic string in dS spacetime. A cosmic string induces a deficit angle in spacetime around itself so the nucleated bubble has the shape of a rugby ball. Working in thin wall approximation and using the junction conditions we study the dynamics of the bubble wall and calculate the Euclidean action. An interesting feature in our analysis is that the tension of the string is screened by the bubble such that an observer inside the bubble measures a different value of the tension than an outside observer. We show that the string can act as a catalyzer in which the nucleation rate is enhanced compared to the Coleman-de Luccia instanton. However, in general, the nucleation rate is not a monotonic function of the difference between the two tensions so in some regions of the parameters space the nucleation rate may be smaller than the Coleman-de Luccia bubble.


title: Deep Feature Embedding and Hierarchical Classification for Audio Scene Classification

abstract: In this work, we propose an approach that features deep feature embedding learning and hierarchical classification with triplet loss function for Acoustic Scene Classification (ASC). In the one hand, a deep convolutional neural network is firstly trained to learn a feature embedding from scene audio signals. Via the trained convolutional neural network, the learned embedding embeds an input into the embedding feature space and transforms it into a high-level feature vector for representation. In the other hand, in order to exploit the structure of the scene categories, the original scene classification problem is structured into a hierarchy where similar categories are grouped into meta-categories. Then, hierarchical classification is accomplished using deep neural network classifiers associated with triplet loss function. Our experiments show that the proposed system achieves good performance on both the DCASE 2018 Task 1A and 1B datasets, resulting in accuracy gains of 15.6% and 16.6% absolute over the DCASE 2018 baseline on Task 1A and 1B, respectively.


title: Adaptive Task Partitioning at Local Device or Remote Edge Server for Offloading in MEC

abstract: Mobile edge computing (MEC) is one of the promising solutions to process computational-intensive tasks for the emerging time-critical Internet-of-Things (IoT) use cases, e.g., virtual reality (VR), augmented reality (AR), autonomous vehicle. The latency can be reduced further, when a task is partitioned and computed by multiple edge servers' (ESs) collaboration. However, the state-of-the-art work studies the MEC-enabled offloading based on a static framework, which partitions tasks at either the local user equipment (UE) or the primary ES. The dynamic selection between the two offloading schemes has not been well studied yet. In this paper, we investigate a dynamic offloading framework in a multi-user scenario. Each UE can decide who partitions a task according to the network status, e.g., channel quality and allocated computation resource. Based on the framework, we model the latency to complete a task, and formulate an optimization problem to minimize the average latency among UEs. The problem is solved by jointly optimizing task partitioning and the allocation of the communication and computation resources. The numerical results show that, compared with the static offloading schemes, the proposed algorithm achieves the lower latency in all tested scenarios. Moreover, both mathematical derivation and simulation illustrate that the wireless channel quality difference between a UE and different ESs can be used as an important criterion to determine the right scheme.


title: Gravitational Waves in Axion Dark Matter

abstract: Axion dark matter is interesting as it allows a natural coupling to the gravitational Chern-Simons term. In the presence of an axion background, the gravitational Chern-Simons term produces parity violating effects in the gravitational sector, in particular on the propagation of gravitational waves. Previously, it has been shown that the coherent oscillation of the axion field leads to a parametric amplification of gravitational waves with a specific frequency. In this paper we focus on the parity violating effects of the Chern-Simon coupling and show the occurrence of gravitational birefringence. We also find deviation from the speed of light of the velocity of the gravitational waves. We give constraints on the axion-Chern-Simons coupling constant and the abundance of the axion dark matter from the observation of GW170817 and GRB170817A.


title: Energy Efficient Algorithms based on VM Consolidation for Cloud Computing: Comparisons and Evaluations

abstract: Cloud Computing paradigm has revolutionized IT industry and be able to offer computing as the fifth utility. With the pay-as-you-go model, cloud computing enables to offer the resources dynamically for customers anytime. Drawing the attention from both academia and industry, cloud computing is viewed as one of the backbones of the modern economy. However, the high energy consumption of cloud data centers contributes to high operational costs and carbon emission to the environment. Therefore, Green cloud computing is required to ensure energy efficiency and sustainability, which can be achieved via energy efficient techniques. One of the dominant approaches is to apply energy efficient algorithms to optimize resource usage and energy consumption. Currently, various virtual machine consolidation-based energy efficient algorithms have been proposed to reduce the energy of cloud computing environment. However, most of them are not compared comprehensively under the same scenario, and their performance is not evaluated with the same experimental settings. This makes users hard to select the appropriate algorithm for their objectives. To provide insights for existing energy efficient algorithms and help researchers to choose the most suitable algorithm, in this paper, we compare several state-of-the-art energy efficient algorithms in depth from multiple perspectives, including architecture, modelling and metrics. In addition, we also implement and evaluate these algorithms with the same experimental settings in CloudSim toolkit. The experimental results show the performance comparison of these algorithms with comprehensive results. Finally, detailed discussions of these algorithms are provided.


title: Training Two-Layer ReLU Networks with Gradient Descent is Inconsistent

abstract: We prove that two-layer (Leaky)ReLU networks initialized by e.g. the widely used method proposed by He et al. (2015) and trained using gradient descent on a least-squares loss are not universally consistent. Specifically, we describe a large class of one-dimensional data-generating distributions for which, with high probability, gradient descent only finds a bad local minimum of the optimization landscape, since it is unable to move the biases far away from their initialization at zero. It turns out that in these cases, the found network essentially performs linear regression even if the target function is non-linear. We further provide numerical evidence that this happens in practical situations, for some multi-dimensional distributions and that stochastic gradient descent exhibits similar behavior. We also provide empirical results on how the choice of initialization and optimizer can influence this behavior.


title: Convex Density Constraints for Computing Plausible Counterfactual Explanations

abstract: The increasing deployment of machine learning as well as legal regulations such as EU's GDPR cause a need for user-friendly explanations of decisions proposed by machine learning models. Counterfactual explanations are considered as one of the most popular techniques to explain a specific decision of a model. While the computation of "arbitrary" counterfactual explanations is well studied, it is still an open research problem how to efficiently compute plausible and feasible counterfactual explanations. We build upon recent work and propose and study a formal definition of plausible counterfactual explanations. In particular, we investigate how to use density estimators for enforcing plausibility and feasibility of counterfactual explanations. For the purpose of efficient computations, we propose convex density constraints that ensure that the resulting counterfactual is located in a region of the data space of high density.


title: Measuring privacy in smart metering anonymized data

abstract: In recent years, many proposals have arisen from research on privacy in smart metering. In one of the considered approaches, referred to as anonymization, smart meters transmit fine-grained electricity consumption values in such a way that the energy supplier can not exactly determine procedence. This paper measures the real privacy provided by such approach by taking into account that at the end of a billing period the energy supplier collects the overall electricity consumption of each meter for billing purposes. An entropy-based measure is proposed for quantifying privacy and determine the extent to which knowledge on the overall consumption of meters allows to re-identify anonymous fine-grained consumption values.


title: High Dynamic Range Spatial Mode Decomposition

abstract: Accurate readout of low-power optical higher-order spatial modes is of increasing importance to the precision metrology community. Mode sensors are used to prevent mode mismatches from degrading quantum and thermal noise mitigation strategies. Direct mode analysis sensors (MODAN) are a promising technology for real-time monitoring of arbitrary higher-order modes. We demonstrate MODAN with photo-diode readout to mitigate the typically low dynamic range of CCDs. We look for asymmetries in the response our sensor to break degeneracies in the relative alignment of the MODAN and photo-diode and consequently improve the dynamic range of the mode sensor. We provide a tolerance analysis and show methodology that can be applied for sensors beyond first-order spatial modes.


title: Real regular KP divisors on $\mathtt M$-curves and totally non-negative Grassmannians

abstract: In this paper we construct an explicit map from planar bicolored (plabic) trivalent graphs representing a given irreducible positroid cell $S$ in the totally non-negative Grassmannian $Gr^{\mbox{TNN}}(k,n)$ to the spectral data for the relevant class of real regular Kadomtsev-Petviashvili II (KP) solutions, thus completing search of real algebraic-geometric data for the KP equation started in [4,6]. The spectral curve is modeled on Krichever construction for degenerate finite-gap solutions, and is a rationally degenerate $M$-curve, $\Gamma$, dual to the graph. The divisors are real regular KP divisors in the ovals of $\Gamma$, i.e. they fulfill the conditions for selecting real regular finite--gap solutions KPII solutions in [25]. Since the soliton data are described by points in $S$, we establish a bridge between real regular finite-gap KP solutions [25] and real regular multi-line KP solitons which are known to be parameterized by points in $Gr^{\mbox{TNN}}(k,n)$ [18,43]. We use the geometric characterization of spaces of relations on plabic networks introduced in [7] to prove the invariance of this construction with respect to the many gauge freedoms on the network. Such systems of relations were proposed in [53] for the computation of scattering amplitudes on on--shell diagrams $N=4$ SYM \cite{AGP1} and govern the totally non--negative amalgamation of the little positive Grassmannians, $Gr^{\mbox{TP}}(1,3)$ and $Gr^{\mbox{TP}}(2,3)$, into any given positroid cell $S$. In our setting they rule the reality and regularity properties of the KP divisor. Finally, we explain the transformation of the curve and the divisor both under Postnikov moves and reductions and under amalgamation of positroid cells, and apply our construction to some examples.


title: $J$-factor estimation of Draco, Sculptor and Ursa Minor dwarf spheroidal galaxies with the member/foreground mixture model

abstract: Dwarf spheroidal galaxies (dSphs) are promising targets of indirect detection experiments searching for dark matter (DM) at present universe. Toward robust prediction for the amount of signal flux originating in DM annihilation inside dSphs, a precise determination of DM distributions as well as $J$-factors of the dSphs is particularly important. In this work, we estimate those of Draco, Sculptor, and Ursa Minor dSphs by an improved statistical method in which both foreground stars and dSph member stars are simultaneously taken into account. We define the likelihood function of the method as the so-called conditional one to remove sampling bias of observed stellar data. This improved method enables us to estimate DM distributions and $J$-factors of the dSphs directly from observed stellar data contaminated by foreground stars without imposing stringent membership criteria on the measured quantities.


title: Ising model with stochastic resetting

abstract: We study the stationary properties of the Ising model that, while evolving towards its equilibrium state at temperature $T$ according to the Glauber dynamics, is stochastically reset to its fixed initial configuration with magnetisation $m_0$ at a constant rate $r$. Resetting breaks detailed balance and drives the system to a non-equilibrium stationary state where the magnetisation acquires a nontrivial distribution, leading to a rich phase diagram in the $(T,r)$ plane. We establish these results exactly in one-dimension and present scaling arguments supported by numerical simulations in two-dimensions. We show that resetting gives rise to a novel "pseudo-ferro" phase in the $(T,r)$ plane for $r > r^*(T)$ and $T>T_c$ where $r^*(T)$ is a crossover line separating the pseudo-ferro phase from a paramagnetic phase. This pseudo-ferro phase is characterised by a non-zero typical magnetisation and a vanishing gap near $m=0$ of the magnetisation distribution.


title: Supernova feedback and the energy deposition in molecular clouds

abstract: Feedback from supernovae is often invoked as an important process in limiting star formation, removing gas from galaxies and hence as a determining process in galaxy formation. Here we report on numerical simulations investigating the interaction between supernova explosions and the natal molecular cloud. We also consider the cases with and without previous feedback from the high-mass star in the form of ionising radiation and stellar winds. The supernova is able to find weak points in the cloud and create channels through which it can escape, leaving much of the well shielded cloud largely unaffected. This effect is increased when the channels are pre-existing due to the effects of previous stellar feedback. The expanding supernova deposits its energy in the gas that is in these exposed channels, and hence sweeps up less mass when feedback has already occurred, resulting in faster outflows with less radiative losses. The full impact of the supernova explosion is then able to impact the larger scale of the galaxy in which it abides. We conclude that supernova explosions only have moderate effects on their dense natal environments but that with pre-existing feedback, the energetic effects of the supernova are able to escape and affect the wider scale medium of the galaxy.


title: Bi-Directional Generation for Unsupervised Domain Adaptation

abstract: Unsupervised domain adaptation facilitates the unlabeled target domain relying on well-established source domain information. The conventional methods forcefully reducing the domain discrepancy in the latent space will result in the destruction of intrinsic data structure. To balance the mitigation of domain gap and the preservation of the inherent structure, we propose a Bi-Directional Generation domain adaptation model with consistent classifiers interpolating two intermediate domains to bridge source and target domains. Specifically, two cross-domain generators are employed to synthesize one domain conditioned on the other. The performance of our proposed method can be further enhanced by the consistent classifiers and the cross-domain alignment constraints. We also design two classifiers which are jointly optimized to maximize the consistency on target sample prediction. Extensive experiments verify that our proposed model outperforms the state-of-the-art on standard cross domain visual benchmarks.


title: On the I/O complexity of the k-nearest neighbor problem

abstract: We consider static, external memory indexes for exact and approximate versions of the $k$-nearest neighbor ($k$-NN) problem, and show new lower bounds under a standard indivisibility assumption: - Polynomial space indexing schemes for high-dimensional $k$-NN in Hamming space cannot take advantage of block transfers: $\Omega(k)$ block reads are needed to to answer a query. - For the $\ell_\infty$ metric the lower bound holds even if we allow $c$-appoximate nearest neighbors to be returned, for $c \in (1, 3)$. - The restriction to $c < 3$ is necessary: For every metric there exists an indexing scheme in the indexability model of Hellerstein et al.~using space $O(kn)$, where $n$ is the number of points, that can retrieve $k$ 3-approximate nearest neighbors using $\lceil k/B\rceil$ I/Os, which is optimal. - For specific metrics, data structures with better approximation factors are possible. For $k$-NN in Hamming space and every approximation factor $c>1$ there exists a polynomial space data structure that returns $k$ $c$-approximate nearest neighbors in $\lceil k/B\rceil$ I/Os. To show these lower bounds we develop two new techniques: First, to handle that approximation algorithms have more freedom in deciding which result set to return we develop a relaxed version of the $\lambda$-set workload technique of Hellerstein et al. This technique allows us to show lower bounds that hold in $d\geq n$ dimensions. To extend the lower bounds down to $d = O(k \log(n/k))$ dimensions, we develop a new deterministic dimension reduction technique that may be of independent interest.


title: A higher rank Euler system for the multiplicative group over a totally real field

abstract: In this paper, we construct a higher rank Euler system for the multiplicative group over a totally real field by using the Iwasawa main conjecture proved by Wiles. A key ingredient of the construction is to generalize the notion of the characteristic ideal. Under certain technical assumptions, we prove that all higher Fitting ideals of a certain $p$-ramified Iwasawa module are described by analytic invariants canonically associated with Stickelberger elements.


title: Mendelian Randomization with Incomplete Exposure Data: a Bayesian Approach

abstract: We expand Mendelian Randomization (MR) methodology to deal with randomly missing data on either the exposure or the outcome variable, and furthermore with data from nonindependent individuals (eg components of a family). Our method rests on the Bayesian MR framework proposed by Berzuini et al (2018), which we apply in a study of multiplex Multiple Sclerosis (MS) Sardinian families to characterise the role of certain plasma proteins in MS causation. The method is robust to presence of pleiotropic effects in an unknown number of instruments, and is able to incorporate inter-individual kinship information. Introduction of missing data allows us to overcome the bias introduced by the (reverse) effect of treatment (in MS cases) on level of protein. From a substantive point of view, our study results confirm recent suspicion that an increase in circulating IL12A and STAT4 protein levels does not cause an increase in MS risk, as originally believed, suggesting that these two proteins may not be suitable drug targets for MS.


title: Initial Design of a High-Power Ka-Band Klystron

abstract: Accelerating structures operating in Ka-Band are foreseen to achieve gradients around 150 MV/m. Among possible applications of a Ka-Band accelerating structure we refer to the beam phase-space manipulation for the Compact Light XLS project as well as medical and industrial applications. In this paper, a Ka-Band Klystron amplifier is being investigated in order to feed Ka-Band accelerating structures. The initial design is presented including the high-power DC gun and the beam focusing channel.


title: Force-Sensor-Less Bilateral Teleoperation Control of Dissimilar Master-Slave System with Arbitrary Scaling

abstract: This study designs a high-precision bilateral teleoperation control for a dissimilar master-slave system. The proposed nonlinear control design takes advantage of a novel subsystem-dynamics-based control method that allows designing of individual (decentralized) model-based controllers for the manipulators locally at the subsystem level. Very importantly, a dynamic model of the human operator is incorporated into the control of the master manipulator. The individual controllers for the dissimilar master and slave manipulators are connected in a specific communication channel for the bilateral teleoperation to function. Stability of the overall control design is rigorously guaranteed with arbitrary time delays. Novel features of this study include the completely force-sensor-less design for the teleoperation system with a solution for a uniquely introduced computational algebraic loop, a method of estimating the exogenous operating force of an operator, and the use of a commercial haptic manipulator. Most importantly, we conduct experiments on a dissimilar system in 2 degrees of freedom (DOF). As an illustration of the performance of the proposed system, a force scaling factor of up to 800 and position scaling factor of up to 4 was used in the experiments. The experimental results show an exceptional tracking performance, verifying the real-world performance of the proposed concept.