title: Electron Capture Beta Decay of Partially Polarized Nuclei

abstract: We compute the spin excess for the neutrinos radiated in the process of electron capture beta decay of partially polarized nuclei. The results of computation are presented for the $^{119}$Sb nuclei polarized by the strong hyperfine field in a ferromagnetic substance. This system was suggested as a possible source of directed neutrino radiation. We directly compute the spin excess of radiated neutrinos and show that it is greater than that estimated previously under simplifying assumptions.


title: Two-dimensional hybrid simulations of filamentary structures and kinetic slow waves downstream of a quasi-parallel shock

abstract: In this paper, with two-dimensional (2-D) hybrid simulations, we study the generation mechanism of filamentary structures downstream of a quasi-parallel shock. The results show that in the downstream both the amplitude of magnetic field and number density exhibit obvious filamentary structures, and the magnetic field and number density are anticorrelated. Detailed analysis find that these downstream compressive waves propagate almost perpendicular to the magnetic field, and the dominant wave number is around the inverse of ion kinetic scale. Their parallel and perpendicular components roughly satisfies(where and represent the parallel and in-plane perpendicular components of magnetic field, is the wave number in the perpendicular direction, and in the ion gyroradius), and their Alfven ratio also roughly agree with the analytical relation (where and indicate the Alfven ratio and plasma beta), while the corresponding cross helicity and compressibility show good agreement with previous theoretical calculations. All these properties are consistent with those of kinetic slow waves (KSWs). Therefore, we conclude that the filamentary structures in the downstream of a quasi-parallel shock are produced due to the excitation of KSWs.


title: de Branges spaces on compact Riemann surfaces and a Beurling-Lax type theorem

abstract: Using the notion of commutative operator vessels, this work investigates de Branges-Rovnyak spaces whose elements are sections of a line bundle of multiplicative half-order differentials on a compact real Riemann surface. As a special case, we obtain a Beurling-Lax type theorem in the setting of the corresponding Hardy space on a finite bordered Riemann surface.


title: Counter-rotation in an orbitally shaken glass of beer

abstract: Swirling a glass of wine induces a rotating gravity wave along with a mean flow rotating in the direction of the applied swirl. Surprisingly, when the liquid is covered by a floating cohesive material, for instance a thin layer of foam in a glass of beer, the mean rotation at the surface can reverse. This intriguing counter-rotation can also be observed with coffee cream, tea scum, cohesive powder, provided that the wave amplitude is small and the surface covering fraction is large. Here we show that the mechanism for counter-rotation is a fluid analog of the rolling without slipping motion of a planetary gear train: for sufficiently large density, the covered surface behaves as a rigid raft transported by the rotating sloshing wave, and friction with the near-wall low-velocity fluid produces a negative torque which can overcome the positive Stokes drift rotation induced by the wave.


title: Variational learning across domains with triplet information

abstract: The work investigates deep generative models, which allow us to use training data from one domain to build a model for another domain. We propose the Variational Bi-domain Triplet Autoencoder (VBTA) that learns a joint distribution of objects from different domains. We extend the VBTAs objective function by the relative constraints or triplets that sampled from the shared latent space across domains. In other words, we combine the deep generative models with a metric learning ideas in order to improve the final objective with the triplets information. The performance of the VBTA model is demonstrated on different tasks: image-to-image translation, bi-directional image generation and cross-lingual document classification.


title: Saturation Effect on Photoionization-driven Broad Absorption Line Variability

abstract: We study the saturation effect on broad absorption line (BAL) variability through a variation phenomenon, which shows significant variation in Si IV BAL but no, or only small, change in C IV BAL (hereafter Phenomenon I). First, we explore a typical case showing Phenomenon I, quasar SDSS J153715.74+582933.9 (hereafter J1537+5829). We identify four narrow absorption line (NAL) systems within its Si IV BAL and two additional NAL systems within its C IV BAL, and confirm their coordinated weakening. Combining with the obvious strengthening of the ionizing continuum, we attribute the BAL variability in J1537+5829 to the ionization changes caused by the continuum variations. Secondly, a statistical study based on multiobserved quasars from SDSS-I/II/III is presented. We confirm that (1) the moderate anticorrelation between the fractional variations of Si IV BALs and the continuum in 74 quasars that show Phenomenon I and (2) the sample showing BAL variations tends to have larger ionizing continuum variations. These results reveal the ubiquitous effect of the continuum variability on Phenomenon I and BAL variation. We attribute the relative lack of variation of C IV BALs in Phenomenon I to the saturation effects. Nonetheless, these absorbers are not very optically thick in Si IV and the ionization changes in response to continuum variations could be the main driver of their variations. Finally, we find that the saturation effect on BAL variability can well explain many phenomena of BAL variations that have been reported before.


title: Team dynamics during the delivery of a large-scale, engineered system

abstract: Coordinated collective action refers to the synchronized action of agents towards achieving a predefined set of goals. Such activity is at the core of a wide range of social challenges, from organizational dynamics to team performance. Focusing on the latter, a novel dataset that captures the planned efforts to deliver a large-scale, engineered system is introduced. In detail, this dataset is composed of a total of 271 unique individuals, responsible for the delivery of a total of 721 tasks spread across a period of 745 days. The focus of this analysis is on the collaboration network between individuals, captured by their co-assignment in the delivery of particular tasks, and their dynamical patterns. Results indicate that the delivery of some tasks depends on disproportionately large collaborations, making them intrinsically harder to manage compared to tasks which depend on small, or no, collaborations. Similarly, some tasks require a disproportionately diverse set of skills to be completed, further enhancing their intrinsic complexity. Shifting focus to the topology of the contribution network, an abrupt emergence, and subsequent contraction, of a single large cluster is observed. This phenomenon corresponds to the emergence of an increasingly large and cohesive team, and its subsequent decomposition. In addition, the evolution of this cluster tightly follows the number of active tasks, suggesting that large teams are a natural way to respond to increased workload. These findings provide new insight on the underlying team dynamics that govern coordinated collective activity in general, and in the context of project delivery specifically.


title: Addressing Class Imbalance in Classification Problems of Noisy Signals by using Fourier Transform Surrogates

abstract: Randomizing the Fourier-transform (FT) phases of temporal-spatial data generates surrogates that approximate examples from the data-generating distribution. We propose such FT surrogates as a novel tool to augment and analyze training of neural networks and explore the approach in the example of sleep-stage classification. By computing FT surrogates of raw EEG, EOG, and EMG signals of under-represented sleep stages, we balanced the CAPSLPDB sleep database. We then trained and tested a convolutional neural network for sleep stage classification, and found that our surrogate-based augmentation improved the mean F1-score by 7%. As another application of FT surrogates, we formulated an approach to compute saliency maps for individual sleep epochs. The visualization is based on the response of inferred class probabilities under replacement of short data segments by partial surrogates. To quantify how well the distributions of the surrogates and the original data match, we evaluated a trained classifier on surrogates of correctly classified examples, and summarized these conditional predictions in a confusion matrix. We show how such conditional confusion matrices can qualitatively explain the performance of surrogates in class balancing. The FT-surrogate augmentation approach may improve classification on noisy signals if carefully adapted to the data distribution under analysis.


title: Holographic imaging of the complex charge density wave order parameter

abstract: The charge density wave (CDW) in solids is a collective ground state combining lattice distortions and charge ordering. It is defined by a complex order parameter with an amplitude and a phase. The amplitude and wavelength of the charge modulation are readily accessible to experiment. However, accurate measurements of the corresponding phase are significantly more challenging. Here we combine reciprocal and real space information to map the full complex order parameter based on topographic scanning tunneling microscopy (STM) images. Our technique overcomes limitations of earlier Fourier space based techniques to achieve distinct amplitude and phase images with high spatial resolution. Applying this analysis to transition metal dichalcogenides provides striking evidence that their CDWs consist of three individual charge modulations whose ordering vectors are connected by the fundamental rotational symmetry of the crystalline lattice. Spatial variations in the relative phases of these three modulations account for the different contrasts often observed in STM topographic images. Phase images further reveal topological defects and discommensurations, a singularity predicted by theory for a nearly commensurate CDW. Such precise real space mapping of the complex order parameter provides a powerful tool for a deeper understanding of the CDW ground state whose formation mechanisms remain largely unclear.


title: Bounded G-theory with fibred control

abstract: We use filtered modules over a Noetherian ring and fibred bounded control on homomorphisms to construct a new kind of controlled algebra with applications in geometric topology. The theory here can be thought of as a "pushout" of the bounded K-theory with fibred control and the controlled G-theory constructed and used by the authors. This paper contains the non-equivariant theory including controlled excision theorems crucial for computations.


title: Intense structures of different momentum fluxes in turbulent channels

abstract: The effect of different definitions of the momentum flux on the properties of the coherent structures of the logarithmic region of wall-bounded turbulence is investigated by comparing the structures of intense tangential Reynolds stress with those of the alternative flux proposed in [J. Jimenez, J. Fluid Mech. 809, 585 (2016)]. Despite the fairly different statistical properties of the two flux definitions, it is found that their intense structures show many similarities, such as the dominance of 'wall-attached' objects, and geometric self-similarity. The new structures are wider, but not taller, than the classical ones, and include both high- and low-momentum regions within the same object. It is concluded that they represent the same phenomenon as the classical groups of a sweep, an ejection, and a roller, suggesting that these groups should be considered the fundamental coherent structures of the momentum flux. The present results show that the properties of these composite momentum structures are robust with respect to the definition of the fluxes.


title: Foliated fracton order from gauging subsystem symmetries

abstract: Based on several previous examples, we summarize explicitly the general procedure to gauge models with subsystem symmetries, which are symmetries with generators that have support within a sub-manifold of the system. The gauging process can be applied to any local quantum model on a lattice that is invariant under the subsystem symmetry. We focus primarily on simple 3D paramagnetic states with planar symmetries. For these systems, the gauged theory may exhibit foliated fracton order and we find that the species of symmetry charges in the paramagnet directly determine the resulting foliated fracton order. Moreover, we find that gauging linear subsystem symmetries in 2D or 3D models results in a self-duality similar to gauging global symmetries in 1D.


title: Relativistic motion under constant force: velocity and acceleration behavior

abstract: In relativistic dynamics, force and acceleration are no longer parallel. In this article, we revisit the relativistic motion of a particle under the action of a constant force, $\boldsymbol{f}$. \ For a two-dimensional motion, the final velocity in each axis is $(f_{i}/f)c,$ independently of the initial velocities, yielding an asymptotic velocity always parallel to the force. The particular case in which the force is applied in a single axis is analyzed in detail, with the behavior of velocity and acceleration being exhibited for several configurations. Some previous results of the literature concerning velocity and acceleration behavior are improved and better explored. Differently from which was previously claimed, it is shown that a negative acceleration component can exist in the direction of the biggest force component and that acceleration does not decrease monotonically to zero.


title: Replica Symmetry and Replica Symmetry Breaking for the Traveling Salesperson Problem

abstract: We study the energy landscape of the Traveling Salesperson problem (TSP) using exact ground states and a novel linear programming approach to generate excited states with closely defined properties. We look at four different ensembles, notably the classic finite dimensional Euclidean TSP and the mean-field-like (1,2)-TSP, which has its origin directly in the mapping of the Hamiltonian circuit problem on the TSP. Our data supports previous conjectures that the Euclidean TSP does not show signatures of replica symmetry breaking neither in two nor in higher dimension. On the other hand the (1,2)-TSP exhibits some signature which does not exclude broken replica symmetry, making it a candidate for further studies in the future.


title: Scratching a 50-year itch with elongated rods

abstract: The classical Oseen-Frank theory of liquid crystal elasticity is based on the experimentally verified fact that there are three independent modes of distortion, each with its associated elastic constant. On the other hand, the arguably more first-principles order parameter-based Landau-de Gennes theory only involves two independent elastic modes. The resulting 'elastic constants problem' has led to a considerable amount of vexation among theorists. In a series of papers at the turn of the century, Fukuda and Yokoyama suggested that the resolution of this problem could be found in the proper treatment of non-local effects in the ideal part of the free energy. They used an ingenious, but technically complex, technique based on a field-theoretic approach to semi-flexible polymers. Here we revisit their idea but now in the more accessible framework of density functional theory of rigid particles. Our work recovers their main results for rod-like particles, in that generically an ordered assembly of non-interacting rods has three independent elastic constants associated to it that all scale as the square of the length of the particles and obey the inequalities $K_2 < K_1 < K_3$. We also consider the case of disc-like particles, and then find in line with expectations that $K_3 < K_1 < K_2$.


title: Nonparametric Confidence Regions for Veronese-Whitney Means and Antimeans on Planar Kendall Shape Spaces

abstract: In this paper after a brief revision of VW-means, which are extrinsic means on real and complex projective spaces, relative to the Veronese-Whitney embeddings, we give two examples of sample VW means computations on planar Kendall shape spaces. Here we derive large sample and pivotal nonparametric bootstrap confidence regions for VW-antimeans, using VW-anti-covariance matrices, and their sample counterparts


title: Verifying MITL formulae on Timed Automata considering a Continuous Time Semantics

abstract: Timed Automata (TA) is de facto a standard modelling formalism to represent systems when the interest is the analysis of their behaviour as time progresses. This modelling formalism is mostly used for checking whether the behaviours of a system satisfy a set of properties of interest. Even if efficient model-checkers for Timed Automata exist, these tools are not easily configurable. First, they are not designed to easily allow adding new Timed Automata constructs, such as new synchronization mechanisms or communication procedures, but they assume a fixed set of Timed Automata constructs. Second, they usually do not support the full Metric Interval Temporal Logic (MITL) and rely on a precise semantics for the logic in which the property of interest is specified which cannot be easily modified and customized. Finally, they do not easily allow using different solvers that may speed up verification in different contexts. This paper presents a novel technique to perform model checking of full Metric Interval Temporal Logic (MITL) properties on TA. The technique relies on the translation of both the TA and the MITL formula into an intermediate Constraint LTL over clocks (CLTLoc) formula which is verified through an available decision procedure. The technique is flexible since the intermediate logic allows the encoding of new semantics as well as new TA constructs, by just adding new CLTLoc formulae. Furthermore, our technique is not bound to a specific solver as the intermediate CLTLoc formula can be verified using different procedures.


title: A Variational Prosody Model for Mapping the Context-Sensitive Variation of Functional Prosodic Prototypes

abstract: The quest for comprehensive generative models of intonation that link linguistic and paralinguistic functions to prosodic forms has been a longstanding challenge of speech communication research. Traditional intonation models have given way to the overwhelming performance of deep learning (DL) techniques for training general purpose end-to-end mappings using millions of tunable parameters. The shift towards black box machine learning models has nonetheless posed the reverse problem -- a compelling need to discover knowledge, to explain, visualise and interpret. Our work bridges between a comprehensive generative model of intonation and state-of-the-art DL techniques. We build upon the modelling paradigm of the Superposition of Functional Contours (SFC) model and propose a Variational Prosody Model (VPM) that uses a network of variational contour generators to capture the context-sensitive variation of the constituent elementary prosodic contours. We show that the VPM can give insight into the intrinsic variability of these prosodic prototypes through learning a meaningful prosodic latent space representation structure. We also show that the VPM is able to capture prosodic phenomena that have multiple dimensions of context based variability. Since it is based on the principle of superposition, the VPM does not necessitate the use of specially crafted corpora for the analysis, opening up the possibilities of using big data for prosody analysis. In a speech synthesis scenario, the model can be used to generate a dynamic and natural prosody contour that is devoid of averaging effects.


title: A Predictive Model for Music Based on Learned Interval Representations

abstract: Connectionist sequence models (e.g., RNNs) applied to musical sequences suffer from two known problems: First, they have strictly "absolute pitch perception". Therefore, they fail to generalize over musical concepts which are commonly perceived in terms of relative distances between pitches (e.g., melodies, scale types, modes, cadences, or chord types). Second, they fall short of capturing the concepts of repetition and musical form. In this paper we introduce the recurrent gated autoencoder (RGAE), a recurrent neural network which learns and operates on interval representations of musical sequences. The relative pitch modeling increases generalization and reduces sparsity in the input data. Furthermore, it can learn sequences of copy-and-shift operations (i.e. chromatically transposed copies of musical fragments)---a promising capability for learning musical repetition structure. We show that the RGAE improves the state of the art for general connectionist sequence models in learning to predict monophonic melodies, and that ensembles of relative and absolute music processing models improve the results appreciably. Furthermore, we show that the relative pitch processing of the RGAE naturally facilitates the learning and the generation of sequences of copy-and-shift operations, wherefore the RGAE greatly outperforms a common absolute pitch recurrent neural network on this task.


title: Unbiased constraints on reionization model parameters in presence of the foreground wedge

abstract: A possible way to disentangle the redshifted 21 cm signal of neutral hydrogen (HI) in the Epoch of Reionization (EoR) from the much larger astrophysical foregrounds is to restrict the analysis to a wedge-shaped region in the Fourier space. The foregrounds are confined to this wedge because of their smooth spectral properties which allows one to estimate the HI power spectrum in the foreground-free portion, known as the reionization window. The estimate of the spherically averaged power spectrum in the window, however, differs from the true value because of the line of sight anisotropies in the signal. The difference can be estimated and taken into account for a given reion- ization model by expanding the power spectrum in terms of the Legendre polynomials. This corrected power spectrum, called as the clustering wedges, can then be used for comparing the model predictions with the observations. In this work, we carefully ex- amine whether the clustering wedges are appropriate for such model comparisons and whether they provide truly unbiased constraints on the EoR parameters. We use the excursion-set based semi-numerical simulations, coupled with MCMC-based statistical methods, for our analysis. We find that the clustering wedges not only yield faithful constraints, the statistical uncertainties on the parameter values too are comparable to those obtained using the data without the presence of any foregrounds. We also find that the clustering wedges are helpful in breaking the degeneracies between different EoR model parameters.


title: Generic Unlabeled Global Rigidity

abstract: Let $\mathbf{p}$ be a configuration of $n$ points in $\mathbb{R}^d$ for some $n$ and some $d \ge 2$. Each pair of points has a Euclidean length in the configuration. Given some graph $G$ on $n$ vertices, we measure the point-pair lengths corresponding to the edges of $G$. In this paper, we study the question of when a generic $\mathbf{p}$ in $d$ dimensions will be uniquely determined (up to an unknowable Euclidean transformation) from a given set of point-pair lengths together with knowledge of $d$ and $n$. In this setting the lengths are given simply as a set of real numbers; they are not labeled with the combinatorial data that describes which point-pair gave rise to which length, nor is data about $G$ given. We show, perhaps surprisingly, that in terms of generic uniqueness, labels have no effect. A generic configuration is determined by an unlabeled set of point-pair lengths (together with $d$ and $n$) iff it is determined by the labeled edge lengths.


title: Resolution and accuracy of non-linear regression of PSF with artificial neural networks

abstract: In a previous work we have demonstrated a novel numerical model for the point spread function (PSF) of an optical system that can efficiently model both experimental measurements and lens design simulations of the PSF. The novelty lies in the portability and the parameterization of this model, which allows for completely new ways to validate optical systems, which is especially interesting for mass production optics like in the automotive industry, but also for ophtalmology. The numerical basis for this model is a non-linear regression of the PSF with an artificial neural network (ANN). In this work we examine two important aspects of this model: the spatial resolution and the accuracy of the model. Measurement and simulation of a PSF can have a much higher resolution then the typical pixel size used in current camera sensors, especially those for the automotive industry. We discuss the influence this has on on the topology of the ANN and the final application where the modeled PSF is actually used. Another important influence on the accuracy of the trained ANN is the error metric which is used during training. The PSF is a distinctly non-linear function, which varies strongly over field and defocus, but nonetheless exhibits strong symmetries and spatial relations. Therefore we examine different distance and similarity measures and discuss its influence on the modeling performance of the ANN.


title: Is the 1-norm the best convex sparse regularization?

abstract: The 1-norm is a good convex regularization for the recovery of sparse vectors from under-determined linear measurements. No other convex regularization seems to surpass its sparse recovery performance. How can this be explained? To answer this question, we define several notions of "best" (convex) regulariza-tion in the context of general low-dimensional recovery and show that indeed the 1-norm is an optimal convex sparse regularization within this framework.


title: Zero range interactions in d=3 and d=2 revisited

abstract: This paper has a two-fold purpose: 1) to clarify the difference between contact and weak-contact interactions (called point interactions in [A] in the case $N=2$) in three dimensions and their role in providing spectral properties and boundary conditions. 2) to analyze the same problem in two dimensions. Both contact and weak-contact are "zero range interactions" or equivalently self-adjoint extension of the symmetric operator $\hat H_0$, the free hamiltonian for a system of $N$ particles, restricted to functions that vanish in some neighborhood of the \emph{contact manyfold} $ \Gamma = \cup_{i,j} \{ x_i - x_j = 0\} \;\; i \not= j =1 \ldots N $. The \emph{hamiltonian formulation} of a weak-contact interaction requires the presence of a zero energy resonance. Both can be obtained, for $N \geq 3$, as scaling limit, in the strong resolvent sense, of hamiltonians with two-body central potentials of very short range; the scaling is different in the two cases. The contact "potential" is a distribution on the "contact manyfold"; the laplacian is now two dimensional and the scaling properties under dilation of the laplacian are now the same as those of the contact interaction. This makes a major difference in the spectral properties. Contact interaction defines now a hamiltonian system. In two dimensions one can consider a hamiltonian system of three particle of mass $m$ having as potential a contact potential and \emph{the product of two weak-contact potentials}. In the limit $ m \to \infty$ their wave functions have vanishingly small support and the system may be regarded as a \emph{point with internal structure}; the spectrum has an essential singularity at the bottom of the continuous part. The Wave Operator for the interaction with a fourth particle extends to a bounded map on $L ^p $ for all $ 1 < p < \infty $ [E,G,G]


title: Improved bounds for multipass pairing heaps and path-balanced binary search trees

abstract: We revisit multipass pairing heaps and path-balanced binary search trees (BSTs), two classical algorithms for data structure maintenance. The pairing heap is a simple and efficient "self-adjusting" heap, introduced in 1986 by Fredman, Sedgewick, Sleator, and Tarjan. In the multipass variant (one of the original pairing heap variants described by Fredman et al.) the minimum item is extracted via repeated pairing rounds in which neighboring siblings are linked. Path-balanced BSTs, proposed by Sleator (Subramanian, 1996), are a natural alternative to Splay trees (Sleator and Tarjan, 1983). In a path-balanced BST, whenever an item is accessed, the search path leading to that item is re-arranged into a balanced tree. Despite their simplicity, both algorithms turned out to be difficult to analyse. Fredman et al. showed that operations in multipass pairing heaps take amortized $O(\log{n} \cdot \log\log{n} / \log\log\log{n})$ time. For searching in path-balanced BSTs, Balasubramanian and Raman showed in 1995 the same amortized time bound of $O(\log{n} \cdot \log\log{n} / \log\log\log{n})$, using a different argument. In this paper we show an explicit connection between the two algorithms and improve the two bounds to $O\left(\log{n} \cdot 2^{\log^{\ast}{n}} \cdot \log^{\ast}{n}\right)$, respectively $O\left(\log{n} \cdot 2^{\log^{\ast}{n}} \cdot (\log^{\ast}{n})^2 \right)$, where $\log^{\ast}(\cdot)$ denotes the very slowly growing iterated logarithm function. These are the first improvements in more than three, resp. two decades, approaching in both cases the information-theoretic lower bound of $\Omega(\log{n})$.


title: Embedded error estimation and adaptive step-size control for optimal explicit strong stability preserving Runge--Kutta methods

abstract: We construct a family of embedded pairs for optimal strong stability preserving explicit Runge-Kutta methods of order $2 \leq p \leq 4$ to be used to obtain numerical solution of spatially discretized hyperbolic PDEs. In this construction, the goals include non-defective methods, large region of absolute stability, and optimal error measurement as defined in [5,19]. The new family of embedded pairs offer the ability for strong stability preserving (SSP) methods to adapt by varying the step-size based on the local error estimation while maintaining their inherent nonlinear stability properties. Through several numerical experiments, we assess the overall effectiveness in terms of precision versus work while also taking into consideration accuracy and stability.


title: Learning to Rank from Samples of Variable Quality

abstract: Training deep neural networks requires many training samples, but in practice, training labels are expensive to obtain and may be of varying quality, as some may be from trusted expert labelers while others might be from heuristics or other sources of weak supervision such as crowd-sourcing. This creates a fundamental quality-versus quantity trade-off in the learning process. Do we learn from the small amount of high-quality data or the potentially large amount of weakly-labeled data? We argue that if the learner could somehow know and take the label-quality into account when learning the data representation, we could get the best of both worlds. To this end, we introduce "fidelity-weighted learning" (FWL), a semi-supervised student-teacher approach for training deep neural networks using weakly-labeled data. FWL modulates the parameter updates to a student network (trained on the task we care about) on a per-sample basis according to the posterior confidence of its label-quality estimated by a teacher (who has access to the high-quality labels). Both student and teacher are learned from the data. We evaluate FWL on document ranking where we outperform state-of-the-art alternative semi-supervised methods.


title: Electrosensing of inhomogeneous targets

abstract: This paper addresses the electro-sensing problem for weakly electric fish in the case of inhomogeneous targets. It aims at providing a shape descriptor-based classification for inhomogeneous targets from measurements of the potentials on the skin of the fish. The approach is based on new invariants for the contracted generalized polarization tensors associated with inhomogeneous objects. The numerical simulations show that by comparing these invariants with those in a dictionary of precomputed homogeneous and inhomogeneous targets, one can successfully classify the inhomogeneous target.


title: On invariant measures and the asymptotic behavior of a stochastic delayed SIRS epidemic model

abstract: In this paper, we consider a stochastic epidemic model with time delay and general incidence rate. We first prove the existence and uniqueness of the global positive solution. By using the Krylov-Bogoliubov method, we obtain the existence of invariant measures. Furthermore , we study a special case where the incidence rate is bilinear with distributed time delay. When the basic reproduction number R0 < 1, the analysis of the asymptotic behavior around the disease-free equilibrium E0 is provided while when R0 > 1, we prove that the invariant measure is unique and ergodic. The numerical simulations also validate our analytical results.


title: Fast tabulation of challenge pseudoprimes

abstract: We provide a new algorithm for tabulating composite numbers which are pseudoprimes to both a Fermat test and a Lucas test. Our algorithm is optimized for parameter choices that minimize the occurrence of pseudoprimes, and for pseudoprimes with a fixed number of prime factors. Using this, we have confirmed that there are no PSW challenge pseudoprimes with two or three prime factors up to $2^{80}$. In the case where one is tabulating challenge pseudoprimes with a fixed number of prime factors, we prove our algorithm gives an unconditional asymptotic improvement over previous methods.


title: To Skip or to Switch? Minimizing Age of Information under Link Capacity Constraint

abstract: Consider a scenario where a source continuously monitors an object and sends time-stamped status updates to a destination through a rate-limited link. In order to measure the "freshness" of the status information available at the destination, we adopt the metric called Age of Information (AoI). We assume all updates are of the same size, and arrive randomly at the source according to a Bernoulli process. Due to the link capacity constraint, it takes $d$ ($d\geq 2$) time slots for the source to complete the transmission of an update. Therefore, when a new update when arrives at the source and it is transmitting another update, the source needs to decide whether to skip the new arrival or to switch to it, in order to minimize the expected average AoI at the destination. We prove that within a broadly defined class of online policies, the optimal policy should be a renewal policy, and has a sequential switching property. We then show that the optimal decision the source should take in any time slot has a multiple-threshold structure, and only depends on the age of the update being transmitted and the AoI in the system. The thresholds are then numerically identified by formulating the problem as a Markov Decision Process (MDP).


title: Gauge and Infrared Properties of Hadronic Structure of Nucleon in Neutron Beta Decay to Order O(\alpha/\pi) in Standard V - A Effective Theory with QED and Linear Sigma Model of Strong Low--Energy Interactions

abstract: Within the standard V - A theory of weak interactions, Quantum Electrodynamics (QED) and the linear sigma-model (LsM) of strong low-energy hadronic interactions we analyse gauge and infrared properties of hadronic structure of the neutron and proton in the neutron beta decay to leading order in the large nucleon mass expansion. We show that the complete set of Feynman diagrams describing radiative corrections of order O(\alpha/\pi), induced by hadronic structure of the nucleon, to the rate of the neutron beta decay is gauge non-invariant and unrenormalisable. We show that a gauge non-invariant contribution does not depend on the electron energy in agreement with Sirlin's analysis of contributions of strong low-energy interactions (Phys. Rev. 164, 1767 (1967)). We show that infrared divergent and dependent on the electron energy contributions from the neutron radiative beta decay and neutron beta decay, caused by hadronic structure of the nucleon, are cancelled in the neutron lifetime. Nevertheless, we find that divergent contributions of virtual photon exchanges to the neutron lifetime, induced by hadronic structure of the nucleon, are unrenormalisable even formally. Such an unrenormalizability can be explained by the fact that the effective V - A vertex of hadron-lepton current-current interactions is not a vertex of the combined quantum field theory including QED and LsM, which are renormalizable theories.


title: Optimal stability in the identification of a rigid inclusion in an isotropic Kirchhoff-Love plate

abstract: In this paper we consider the inverse problem of determining a rigid inclusion inside a thin plate by applying a couple field at the boundary and by measuring the induced transversal displacement and its normal derivative at the boundary of the plate. The plate is made by non-homogeneous, linearly elastic and isotropic material. Under suitable a priori regularity assumptions on the boundary of the inclusion, we prove a constructive stability estimate of log type. Key mathematical tool is a recently proved optimal three spheres inequality at the boundary for solutions to the Kirchhoff-Love plate's equation.


title: Quasiconvex risk measures with markets volatility

abstract: Since the quasiconvex risk measures is a bigger class than the well known convex risk measures, the study of quasiconvex risk measures makes sense especially in the financial markets with volatility. In this paper, we will study the quasiconvex risk measures defined on a special space $L^{p(\cdot)}$ where the variable exponent $p(\cdot)$ is no longer a given real number like the space $L^{p}$, but a random variable, which reflects the possible volatility of the financial markets. The dual representation for this quasiconvex risk measures will also provided.


title: Photon-pair production at the nanoscale with hybrid nonlinear/plasmonic antennas

abstract: Integration of photon pairs nanosources is a major challenge for quantum technology. In this context, we develop a formalism for the investigation of Spontaneous Parametric Down Conversion in hybrid structures that combine plasmonic resonances and intrinsic nonlinearity. Using quantum and numerical approaches together, we quantitatively evaluate photon pair correlation measurements for realistic experimental configurations. Hybrid structures embedding a small nanocystal allow for a $10^{3}$ fold increase in pair production compared to the same nanocrystal alone and a photon pair production efficiency close to the best source to date.


title: The scalar and pseudoscalar hidden-charm tetraquark states with QCD sum rules

abstract: Based on the diquark configuration, we construct the diquark-antidiquark interpolating tetraquark currents with $J^{PC}=1^{-\pm}$ and $1^{+\pm}$, which can couple to the scalar and pseudoscalar tetraquark states respectively, since they are not conserved currents. Then we investigate their two-point correlation functions including the contributions of the vacuum condensates up to dimension-10 and extract the masses and pole residues of the tetraquark states with $J^{PC}=0^{+\pm}$ and $0^{-\pm}$ through the QCD sum rule approach. The predicted masses can be confronted with the experimental data in the future. Moreover, we briefly discuss the possible decay patterns of the tetraquark states.


title: On Background Independence in String Theory

abstract: I discuss various aspects of background independence in the context of string theory, for which so far we have no manifestly background independent formulation. After reviewing the role of background independence in classical Einstein gravity, I discuss recent results implying that there is a conflict in string theory between manifest background independence and manifest duality invariance when higher-derivative corrections are included. The resolution of this conflict requires the introduction of new gauge degrees of freedom together with an enlarged gauge symmetry. This suggests more generally that a manifestly background independent and duality invariant formulation of string theory requires significantly enhanced gauge symmetries.


title: Optimized ultra-narrow atomic bandpass filters via magneto-optic rotation in an unconstrained geometry

abstract: Atomic bandpass filters are widely used in a variety of applications, owing to their high peak transmission and narrow bandwidth. Much of the previous literature has used the Faraday effect to realize such filters, where an axial magnetic field is applied across the atomic medium. Here we show that by using a non-axial magnetic field, the performance of these filters can be improved in comparison to the Faraday geometry. We optimize the performance of these filters using a numerical model and verify their performance by direct quantitative comparison with experimental data. We find excellent agreement between experiment and theory. These optimized filters could find use in many of the areas where Faraday filters are currently used, with little modification to the optical setup, allowing for improved performance with relatively little change.


title: Quantum computing cryptography: Finding cryptographic Boolean functions with quantum annealing by a 2000 qubit D-wave quantum computer

abstract: As the building block in symmetric cryptography, designing Boolean functions satisfying multiple properties is an important problem in sequence ciphers, block ciphers, and hash functions. However, the search of $n$-variable Boolean functions fulfilling global cryptographic constraints is computationally hard due to the super-exponential size $\mathcal{O}(2^{2^n})$ of the space. Here, we introduce a codification of the cryptographically relevant constraints in the ground state of an Ising Hamiltonian, allowing us to naturally encode it in a quantum annealer, which seems to provide a quantum speedup. Additionally, we benchmark small $n$ cases in a D-Wave machine, showing its capacity of devising bent functions, the most relevant set of cryptographic Boolean functions. We have complemented it with local search and chain repair to improve the D-Wave quantum annealer performance related to the low connectivity. This work shows how to codify super-exponential cryptographic problems into quantum annealers and paves the way for reaching quantum supremacy with an adequately designed chip.


title: Cohomology with twisted one-dimensional coefficients for congruence subgroups of SL(4,Z) and Galois representations

abstract: We extend the computations in [AGM1, AGM2, AGM3] to find the cohomology in degree five of a congruence subgroup Gamma of SL(4,Z) with coefficients in a field K, twisted by a nebentype character eta, along with the action of the Hecke algebra. This is the top cuspidal degree. In practice we take K to be a finite field of large characteristic, as a proxy for the complex numbers. For each Hecke eigenclass found, we produce a Galois representation that appears to be attached to it. Our computations show that in every case this Galois representation is the only one that could be attached to it. The existence of the attached Galois representations agrees with a theorem of Scholze and sheds light on the Borel-Serre boundary for Gamma. The computations require serious modifications to our previous algorithms to accommodate the twisted coefficients. Nontrivial coefficients add a layer of complication to our data structures, and new possibilites arise that must be taken into account in the Galois Finder, the code that finds the Galois representations. We have improved the Galois Finder so that it reports when the attached Galois representation is uniquely determined by our data.


title: Observation of centrality-dependent acoplanarity for muon pairs produced via two-photon scattering in Pb+Pb collisions at $\sqrt{s_{\mathrm{NN}}}=5.02$ TeV with the ATLAS detector

abstract: This Letter presents a measurement of $\gamma \gamma \rightarrow \mu^{+} \mu^{-}$ production in Pb+Pb collisions recorded by the ATLAS detector at the Large Hadron Collider at $\sqrt{s_{\mathrm{NN}}}=5.02$ TeV with an integrated luminosity of 0.49 nb$^{-1}$. The azimuthal angle and transverse momentum correlations between the muons are measured as a function of collision centrality. The muon pairs are produced from $\gamma \gamma$ through the interaction of the large electromagnetic fields of the nuclei. The contribution from background sources of muon pairs is removed using a template fit method. In peripheral collisions, the muons exhibit a strong back-to-back correlation consistent with previous measurements of muon pair production in ultra-peripheral collisions. The angular correlations are observed to broaden significantly in central collisions. The modifications are qualitatively consistent with rescattering of the muons while passing through the hot matter produced in the collision.


title: Configuration model for correlation matrices preserving the node strength

abstract: Correlation matrices are a major type of multivariate data. To examine properties of a given correlation matrix, a common practice is to compare the same quantity between the original correlation matrix and reference correlation matrices, such as those derived from random matrix theory, that partially preserve properties of the original matrix. We propose a model to generate such reference correlation and covariance matrices for the given matrix. Correlation matrices are often analysed as networks, which are heterogeneous across nodes in terms of the total connectivity to other nodes for each node. Given this background, the present algorithm generates random networks that preserve the expectation of total connectivity of each node to other nodes, akin to configuration models for conventional networks. Our algorithm is derived from the maximum entropy principle. We will apply the proposed algorithm to measurement of clustering coefficients and community detection, both of which require a null model to assess the statistical significance of the obtained results.


title: Assessing the efficiency of thermal pressurisation using natural pseudotachylyte-bearing rocks

abstract: The efficiency of thermal pressurisation as a dynamic weakening mechanism relies on the thermal and hydraulic properties of the rocks forming the fault core. Here, we assess the effectiveness of thermal pressurisation by comparing predictions of temperature rise to field estimates based on pseudotachylyte-bearing rocks. We measure hydraulic and transport properties of a suite of fault rocks (a healed cataclasite, an unhealed breccia and the intact parent rock) from the pseudotachylyte-bearing Gole Larghe fault in the Adamello batholith (Italy), and use them as inputs in numerical simulations of thermal pressurisation. We find that the melting temperature can be reached only if damaged, unhealed rock properties are used. A tenfold increase in permeability, or a fourfold increase in pore compressibility of the intact rock is required to achieve melting. Our results emphasise the importance of damage processes that strongly modify fault rock properties and dynamic weakening processes during earthquake propagation.


title: Determining water mass flow control strategies for a turbocharged SI engine using a two-stage calculation method

abstract: Reduction of heat and friction losses is a proven approach to increase the engine efficiency. Therefore, and due to a stabilized, robust combustion, a specific adjustment of component temperatures is desirable in highly transient conditions. In this paper, a turbocharged SI engine is investigated numerically concerning the potential regulation of temperatures, including heat fluxes, only by controlling the water mass flow rate. Using two independent models, a simplified lumped capacity model and a detailed three-dimensional CFD-CHT simulation, an efficient, two-stage calculation method is suggested for an optimized determination of control strategies and their parameters. This complements existing published works which usually control more than one parameter, but use one model. Different control strategies, like feed forward or feedback controllers, are proposed and compared. In addition, a more holistic approach is presented performing a Monte Carlo simulation which evaluates temperatures, as well as hydraulic pumping losses. Using expedient control strategies and parameters, it could be shown that the engine temperatures can be effectively regulated within a wide range. The two different models show partly similar results, and the efficient, two-stage optimization method has proven its worth. However, there are some significant differences between simplified and detailed modelling which are worth mentioning.


title: Robust weak antilocalization due to spin-orbital entanglement in Dirac material Sr$_3$SnO

abstract: The presence of both inversion ($P$) and time-reversal ($T$) symmetries in solids leads to a well-known double degeneracy of the electronic bands (Kramers degeneracy). When the degeneracy is lifted, spin textures can be directly observed in momentum space, as in topological insulators or in strong Rashba materials. The existence of spin textures with Kramers degeneracy, however, is very difficult to observe directly. Here, we use quantum interference measurements combined with first-principle band structure calculations to provide evidence for the existence of hidden entanglement between spin and momentum in the antiperovskite-type 3D Dirac material Sr$_3$SnO. We find robust weak antilocalization (WAL) independent of the position of $E_\mathrm{F}$. The observed WAL signal at low doping is fitted using a single interference channel, which implies that the different Dirac valleys are mixed by disorder. Notably, this mixing does not suppress WAL, suggesting contrasting interference physics compared to graphene. We identify scattering among axially spin-momentum locked states as a key process that leads to a spin-orbital entanglement, giving rise to robust WAL. Our work sheds light on the subtle role of spin and pseudospin, when both could contribute to the same quantum effect.


title: Schelling Segregation with Strategic Agents

abstract: Schelling's segregation model is a landmark model in sociology. It shows the counter-intuitive phenomenon that residential segregation between individuals of different groups can emerge even when all involved individuals are tolerant. Although the model is widely studied, no pure game-theoretic version where rational agents strategically choose their location exists. We close this gap by introducing and analyzing generalized game-theoretic models of Schelling segregation, where the agents can also have individual location preferences. For our models, we investigate the convergence behavior and the efficiency of their equilibria. In particular, we prove guaranteed convergence to an equilibrium in the version which is closest to Schelling's original model. Moreover, we provide tight bounds on the Price of Anarchy.


title: Bracketing the impact of astrophysical uncertainties on local dark matter searches

abstract: The theoretical interpretation of dark matter (DM) experiments is hindered by uncertainties on the dark matter density and velocity distribution inside the Solar System. In order to quantify those uncertainties, we present a parameter that characterizes the deviation of the true velocity distribution from the standard Maxwell-Boltzmann form, and we then determine for different values of this parameter the most aggressive and most conservative limits on the dark matter scattering cross section with nuclei; uncertainties in the local dark matter density can be accounted for trivially. This allows us to bracket, in a model independent way, the impact of astrophysical uncertainties on limits from direct detection experiments and/or neutrino telescopes. We find that current limits assuming the Standard Halo Model are at most a factor of $\sim 2$ weaker than the most aggressive possible constraints. In addition, combining neutrino telescope and direct detection constraints (in a statistically meaningful way), we show that limits on DM in the mass range $\sim 10 - 1000$ GeV cannot be weakened by more than around a factor of 10, for all possible velocity distributions. We finally demonstrate that our approach can also be employed in the event of a DM discovery, allowing us to avoid bias in the reconstruction of the DM properties.


title: Characterization of TOF-PET Detectors Based on Monolithic Blocks and ASIC-Readout

abstract: The aim of this work is to show the potential capabilities of monolithic crystals coupled to large SiPM arrays, to be considered as detector blocks for PET scanners enabling Time Of Flight (TOF) capabilities. Monolithic blocks allow one to decode the 3D photon impact position. This approach, along with TOF information, can be of high interest in clinical Positron emission tomography (PET) applications where a typical ring configuration is used. In this manuscript, we evaluate an ASIC- based readout for digitizing all signals coming from analog photosensors. Validation results with one-to-one coupling resulted in a Coincidence Time Resolution (CTR) of 202 ps FWHM. Providing timing resolution when using detectors based on monolithic crystals is however challenging. The wide distribution of scintillation light on the photosensors causes a poor SNR, which makes the system sensible to false triggering and to time walk errors. In this direction, we present a calibration method, designed to correct all recorded timestamps and also to compensate variations in time-paths among all channels. Thereafter, a CTR improvement nearing 45% is observed for all measurements. Moreover, we show a novel approach that describes the use of averaging methods to assign a single timestamp to each gamma impact. This approach results in a further improvement of the CTR in the range of 100 ps FWHM, reaching a time resolution of 585 ps FWHM when using a large 50x50x10 mm3 LYSO scintillator coupled to an 8x8 SiPM (6x6 mm2) array. These pilot studies show detector capabilities regarding TOF information when using monolithic scintillators.


title: Learning Qualitatively Diverse and Interpretable Rules for Classification

abstract: There has been growing interest in developing accurate models that can also be explained to humans. Unfortunately, if there exist multiple distinct but accurate models for some dataset, current machine learning methods are unlikely to find them: standard techniques will likely recover a complex model that combines them. In this work, we introduce a way to identify a maximal set of distinct but accurate models for a dataset. We demonstrate empirically that, in situations where the data supports multiple accurate classifiers, we tend to recover simpler, more interpretable classifiers rather than more complex ones.


title: Muon Collider Lattice Concepts

abstract: A Muon Collider poses a number of challenging problems in the lattice design - low beta-star, small circumference, large physical and dynamic aperture - which must be solved in order to realize the unique opportunities it offers for the high-energy physics. This contribution presents basic solutions which make it possible to achieve the goals for both the energy frontier collider and the Higgs factory with Nb3Sn magnet parameters.


title: Microscope Projection Photolithography Based on Ultraviolet Light-emitting Diodes

abstract: We adapted a conventional microscope for projection photolithography using an ultraviolet (UV) light-emitting diode (LED) as a light source. The use of a UV LED provides the microscope projector with several advantages in terms of compactness and cost. The adapted microscope was capable of producing line patterns as wide as 5 um with the use of a 4X objective lens under optimal lithography conditions. The obtained line width is close to that of the diffraction limit, implying that the line width can be reduced further with the use of a higher resolution photomask and higher magnification objective lens. We expect that low-cost microscope projection photolithography based on a UV LED contribute to the field of physics education or various areas of research, such as chemistry and biology, in the future.


title: Spin-flavor oscillations of Dirac neutrinos in a plane electromagnetic wave

abstract: We study spin and spin-flavor oscillations of Dirac neutrinos in a plane electromagnetic wave with circular polarization. The evolution of massive neutrinos with nonzero magnetic moments in the field of an electromagnetic wave is based on the exact solution of the Dirac-Pauli equation. We formulate the initial condition problem to describe spin-flavor oscillations in an electromagnetic wave. The transition probabilities for spin and spin-flavor oscillations are obtained. In case of spin-flavor oscillations, we analyze the transition and survival probabilities for different neutrino magnetic moments and various channels of neutrino oscillations. As an application of the obtained results, we study the possibility of existence of $\nu_{e\mathrm{L}}\to\nu_{\mu\mathrm{R}}$ oscillations in an electromagnetic wave emitted by a highly magnetized neutron star. Our results are compared with findings of other authors.


title: Entropy dissipation estimates for the relativistic Landau equation, and applications

abstract: In this paper we study the Cauchy problem for the spatially homogeneous relativistic Landau equation with Coulomb interactions. Despite it's physical importance, this equation has not received a lot of mathematical attention we think due to the extreme complexity of the relativistic structure of the kernel of the collision operator. In this paper we first largely decompose the structure of the relativistic Landau collision operator. After that we prove the global Entropy dissipation estimate. Then we prove the propagation of any polynomial moment for a weak solution. Lastly we prove the existence of a true weak solution for a large class of initial data.


title: Design and Application of Data Aquistion Interface Circuit

abstract: A commitment to condition monitoring involves the operators of plant in the conduct of a range of activities. These activities may be compli-cated in nature and indeed may often be performed automatically under computer control. They can, however, always be down into a rela-tively small number of easily identifiable functional tasks. This makes it much easier to identify the common elements of machine condition monitoring schemes. A proposed interface circuit design and application will be further explain in this paper, the implemented monitoring unit circuit also illustrated, see appendix A. Two scenarios presented in this paper, first ten turns assume to be shorted, and in the second thirty turns shorted to show the difference in the amplitude of frequencies at each case. This paper present. An improvement in three-phase squirrel-cage induction motor stator inter-turn fault detection and diagnosis based on a neural network approach is presented.


title: Fully Convolutional Networks and Generative Adversarial Networks Applied to Sclera Segmentation

abstract: Due to the world's demand for security systems, biometrics can be seen as an important topic of research in computer vision. One of the biometric forms that has been gaining attention is the recognition based on sclera. The initial and paramount step for performing this type of recognition is the segmentation of the region of interest, i.e. the sclera. In this context, two approaches for such task based on the Fully Convolutional Network (FCN) and on Generative Adversarial Network (GAN) are introduced in this work. FCN is similar to a common convolution neural network, however the fully connected layers (i.e., the classification layers) are removed from the end of the network and the output is generated by combining the output of pooling layers from different convolutional ones. The GAN is based on the game theory, where we have two networks competing with each other to generate the best segmentation. In order to perform fair comparison with baselines and quantitative and objective evaluations of the proposed approaches, we provide to the scientific community new 1,300 manually segmented images from two databases. The experiments are performed on the UBIRIS.v2 and MICHE databases and the best performing configurations of our propositions achieved F-score's measures of 87.48% and 88.32%, respectively.


title: Keypoint Transfer for Fast Whole-Body Segmentation

abstract: We introduce an approach for image segmentation based on sparse correspondences between keypoints in testing and training images. Keypoints represent automatically identified distinctive image locations, where each keypoint correspondence suggests a transformation between images. We use these correspondences to transfer label maps of entire organs from the training images to the test image. The keypoint transfer algorithm includes three steps: (i) keypoint matching, (ii) voting-based keypoint labeling, and (iii) keypoint-based probabilistic transfer of organ segmentations. We report segmentation results for abdominal organs in whole-body CT and MRI, as well as in contrast-enhanced CT and MRI. Our method offers a speed-up of about three orders of magnitude in comparison to common multi-atlas segmentation, while achieving an accuracy that compares favorably. Moreover, keypoint transfer does not require the registration to an atlas or a training phase. Finally, the method allows for the segmentation of scans with highly variable field-of-view.


title: Evaluating language models of tonal harmony

abstract: This study borrows and extends probabilistic language models from natural language processing to discover the syntactic properties of tonal harmony. Language models come in many shapes and sizes, but their central purpose is always the same: to predict the next event in a sequence of letters, words, notes, or chords. However, few studies employing such models have evaluated the most state-of-the-art architectures using a large-scale corpus of Western tonal music, instead preferring to use relatively small datasets containing chord annotations from contemporary genres like jazz, pop, and rock. Using symbolic representations of prominent instrumental genres from the common-practice period, this study applies a flexible, data-driven encoding scheme to (1) evaluate Finite Context (or n-gram) models and Recurrent Neural Networks (RNNs) in a chord prediction task; (2) compare predictive accuracy from the best-performing models for chord onsets from each of the selected datasets; and (3) explain differences between the two model architectures in a regression analysis. We find that Finite Context models using the Prediction by Partial Match (PPM) algorithm outperform RNNs, particularly for the piano datasets, with the regression model suggesting that RNNs struggle with particularly rare chord types.


title: Theorems of Carath\'eodory, Helly, and Tverberg without dimension

abstract: We prove a no-dimensional version of Carath\'edory's theorem: given an $n$-element set $P\subset \Re^d$, a point $a \in \conv P$, and an integer $r\le d$, $r \le n$, there is a subset $Q\subset P$ of $r$ elements such that the distance between $a$ and $\conv Q$ is less than $\diam P/\sqrt {2r}$. A general no-dimension Helly type result is also proved with colourful and fractional consequences. Similar versions of Tverberg's theorem and some of their extensions are also established.


title: On periods: from global to local

abstract: Complex periods are algebraic integrals over complex algebraic domains, also appearing as Feynman integrals and multiple zeta values. The Grothendieck-de Rham period isomorphisms for p-adic algebraic varieties defined via Monski-Washnitzer cohomology, is briefly reviewed. The relation to various p-adic analogues of periods are considered, and their relation to Buium-Manin arithmetic differential equations.


title: Jack the Reader - A Machine Reading Framework

abstract: Many Machine Reading and Natural Language Understanding tasks require reading supporting text in order to answer questions. For example, in Question Answering, the supporting text can be newswire or Wikipedia articles; in Natural Language Inference, premises can be seen as the supporting text and hypotheses as questions. Providing a set of useful primitives operating in a single framework of related tasks would allow for expressive modelling, and easier model comparison and replication. To that end, we present Jack the Reader (Jack), a framework for Machine Reading that allows for quick model prototyping by component reuse, evaluation of new models on existing datasets as well as integrating new datasets and applying them on a growing set of implemented baseline models. Jack is currently supporting (but not limited to) three tasks: Question Answering, Natural Language Inference, and Link Prediction. It is developed with the aim of increasing research efficiency and code reuse.


title: Decoherence-assisted detection of entanglement of two qubit states

abstract: We show that the decoherence, which in the long run destroys quantum features of a system, can be used to reveal the entanglement in a two-qubit system. To this end, we consider a criterion that formally resembles the Clauser-Horne-Shimony-Holt (CHSH) inequality. In our case the local observables are set by the coupling of each qubit to the environmental noise, controlled with the dynamical decoupling method. We demonstrate that the constructed inequality is an entanglement criterion---it can only be violated by non-separable initial two-qubit states, provided that the local noises are correlated. We also show that for a given initial state, this entanglement criterion can be repurposed as a method of discriminating between Gaussian and non-Gaussian noise generated by the environment of the qubits. The latter application is important for ongoing research on using qubits to characterize the dynamics of environment that perturbs them and causes their decoherence


title: On the regularity of the Hankel determinant sequence of the characteristic sequence of powers

abstract: For any sequences $\mathbf{u}=\{u(n)\}_{n\geq0}, \mathbf{v}=\{v(n)\}_{n\geq0},$ we define $\mathbf{u}\mathbf{v}:=\{u(n)v(n)\}_{n\geq0}$ and $\mathbf{u}+\mathbf{v}:=\{u(n)+v(n)\}_{n\geq0}$. Let $f_i(x)~(0\leq i< k)$ be sequence polynomials whose coefficients are integer sequences. We say an integer sequence $\mathbf{u}=\{u(n)\}_{n\geq0}$ is a polynomial generated sequence if $$\{u(kn+i)\}_{n\geq0}=f_i(\mathbf{u}),~(0\leq i< k).$$ %Here we define $\mathbf{u}\mathbf{v}:=\{u(n)v(n)\}_{n\geq0}$ and $\mathbf{u}+\mathbf{v}:=\{u(n)+v(n)\}_{n\geq0}$ for any two sequences $\mathbf{u}=\{u(n)\}_{n\geq0}, \mathbf{v}=\{v(n)\}_{n\geq0}.$ In this paper, we study the polynomial generated sequences. Assume $k\geq2$ and $f_i(x)=\mathbf{a}_ix+\mathbf{b}_i~(0\leq i< k)$. If $\mathbf{a}_i$ are $k$-automatic and $\mathbf{b}_i$ are $k$-regular for $0\leq i< k$, then we prove that the corresponding polynomial generated sequences are $k$-regular. As a application, we prove that the Hankel determinant sequence $\{\det(p_{i+j})_{i,j=0}^{n-1}\}_{n\geq0}$ is $2$-regular, where $\{p(n)\}_{n\geq0}=0110100010000\cdots$ is the characteristic sequence of powers 2. Moreover, we give a answer of Cigler's conjecture about the Hankel determinants.


title: The Natural Language Decathlon: Multitask Learning as Question Answering

abstract: Deep learning has improved performance on many natural language processing (NLP) tasks individually. However, general NLP models cannot emerge within a paradigm that focuses on the particularities of a single metric, dataset, and task. We introduce the Natural Language Decathlon (decaNLP), a challenge that spans ten tasks: question answering, machine translation, summarization, natural language inference, sentiment analysis, semantic role labeling, zero-shot relation extraction, goal-oriented dialogue, semantic parsing, and commonsense pronoun resolution. We cast all tasks as question answering over a context. Furthermore, we present a new Multitask Question Answering Network (MQAN) jointly learns all tasks in decaNLP without any task-specific modules or parameters in the multitask setting. MQAN shows improvements in transfer learning for machine translation and named entity recognition, domain adaptation for sentiment analysis and natural language inference, and zero-shot capabilities for text classification. We demonstrate that the MQAN's multi-pointer-generator decoder is key to this success and performance further improves with an anti-curriculum training strategy. Though designed for decaNLP, MQAN also achieves state of the art results on the WikiSQL semantic parsing task in the single-task setting. We also release code for procuring and processing data, training and evaluating models, and reproducing all experiments for decaNLP.


title: The maximum genus problem for locally Cohen-Macaulay space curves

abstract: Let $P_{\text{MAX}}(d,s)$ denote the maximum arithmetic genus of a locally Cohen-Macaulay curve of degree $d$ in $\mathbb{P}^3$ that is not contained in a surface of degree $<s$. A bound $P(d, s)$ for $P_{\text{MAX}}(d,s)$ has been proven by the first author in characteristic zero and then generalized in any characteristic by the third author. In this paper, we construct a large family $\mathcal{C}$ of primitive multiple lines and we conjecture that the generic element of $\mathcal{C}$ has good cohomological properties. With the aid of \emph{Macaulay2} we checked the validity of the conjecture for $s \leq 100$. From the conjecture it would follow that $P(d,s)= P_{\text{MAX}}(d,s)$ for $d=s$ and for every $d \geq 2s-1$.


title: Level crossing in random matrices. II Random perturbation of a random matrix

abstract: In this paper we study the distribution of level crossings for the spectra of linear families A+lambda B, where A and B are square matrices independently chosen from some given Gaussian ensemble and lambda is a complex-valued parameter. We formulate a number of theoretical and numerical results for the classical Gaussian ensembles and some generalisations. Besides, we present intriguing numerical information about the distribution of monodromy in case of linear families for the classical Gaussian ensembles of 3 * 3 matrices.


title: New Sufficient Conditions for Lower Bounding the Optimal Policy of a POMDP using Lehmann Precision

abstract: This paper provides new sufficient conditions so that the optimal policy of a partially observed Markov decision process (POMDP) can be lower bounded by a myopic policy. The two new proposed conditions, namely, Lehmann precision and copositive dominance, completely fix the problems with two crucial assumptions in the well known papers of Lovejoy 1987 and Rieder 1991. For controlled sensing POMDPs, Lehmann precision exploits both convexity and monotonicity of the value function, whereas the classical Blackwell dominance only exploits convexity. Numerical examples are presented where Lehmann precision holds but Blackwell dominance does not hold, thereby illustrating the usefulness of the main result in controlled sensing applications.


title: On the Spectral Bias of Neural Networks

abstract: Neural networks are known to be a class of highly expressive functions able to fit even random input-output mappings with $100\%$ accuracy. In this work, we present properties of neural networks that complement this aspect of expressivity. By using tools from Fourier analysis, we show that deep ReLU networks are biased towards low frequency functions, meaning that they cannot have local fluctuations without affecting their global behavior. Intuitively, this property is in line with the observation that over-parameterized networks find simple patterns that generalize across data samples. We also investigate how the shape of the data manifold affects expressivity by showing evidence that learning high frequencies gets \emph{easier} with increasing manifold complexity, and present a theoretical understanding of this behavior. Finally, we study the robustness of the frequency components with respect to parameter perturbation, to develop the intuition that the parameters must be finely tuned to express high frequency functions.


title: Hermite--Pad\'e polynomials and analytic continuation: new approach and some results

abstract: We discuss a new approach to realization of the well-known Weierstrass's programme on efficient continuation of an analytic element corresponding to a~multivalued analytic function with finite number of branch points. Our approach is based on the use of Hermite--Pad\'e polynomials.


title: The tree of quadratic transforms of a regular local ring of dimension two

abstract: Let $D$ be a 2-dimensional regular local ring and let $Q(D)$ denote the quadratic tree of 2-dimensional regular local overrings of $D$. We explore the topology of the tree $Q(D)$ and the family ${\mathcal{R}}(D)$ of rings obtained as intersections of rings in $Q(D)$. If $A$ is a finite intersection of rings in $ Q(D)$, then $A$ is Noetherian and the structure of $A$ is well understood. However, other rings in ${\mathcal{R}}(D)$ need not be Noetherian. The two main goals of this paper are to examine topological properties of the quadratic tree $Q(D)$, and to examine the structure of rings in the set ${\mathcal{R}}(D)$.


title: Constraining the multiplicity statistics of the coolest brown dwarfs: binary fraction continues to decrease with spectral type

abstract: Binary statistics of the latest-type T and Y brown dwarfs are sparse and it is unclear whether the trends seen in the multiplicity properties of their more massive counterparts hold for the very coolest brown dwarfs. We present results from a search for substellar and planetary-mass companions to a sample of 12 ultracool T8$-$Y0 field brown dwarfs with the Hubble Space Telescope/Wide Field Camera 3. We find no evidence for resolved binary companions among our sample down to separations of 0.7$-$2.5 AU. Combining our survey with prior searches, we place some of the first statistically robust constraints to date on the multiplicity properties of the coolest, lowest-mass brown dwarfs in the field. Accounting for observational biases and incompleteness, we derive a binary frequency of $f = 5.5^{+5.2}_{-3.3}$% for T5$-$Y0 brown dwarfs at separations of 1.5$-$1000 AU, for an overall binary fraction of $f_\mathrm{tot} = 8\pm6$%. Modelling the projected separation as a lognormal distribution, we find a peak in separation at $\rho_0 = 2.9^{+0.8}_{-1.4}$ AU with a logarithmic width of $\sigma = 0.21^{+0.14}_{-0.08}$. We infer a mass ratio distribution peaking strongly towards unity, with a power law index of $\gamma = 6.1^{+4.0}_{-2.7}$, reinforcing the significance of the detection of a tighter and higher mass ratio companion population around lower-mass primaries. These results are consistent with prior studies and support the idea of a decreasing binary frequency with spectral type in the Galactic field.


title: Enhanced Robustness of Zero-line Modes in Graphene via a Magnetic Field

abstract: Motivated by recent experimental results for zero-line modes (ZLMs) in a bilayer graphene system [Nature Nanotechnol. 11, 1060 (2016)], we systematically studied the influence of a magnetic field on ZLMs and demonstrated the physical origin of the enhanced robustness by employing nonequilibrium Green's functions and the Landauer-Buttiker formula. We found that a perpendicular magnetic field can separate the wavefunctions of the counter-propagating kink states into opposite directions. Specifically, the separation vanishes at the charge neutrality point. The separation increases as the Fermi level deviates from the charge neutrality point and can reach a magnitude comparable to the wavefunction spread at a moderate field strength. Such spatial separation of oppositely propagating ZLMs effectively suppresses backscattering. Moreover, the presence of a magnetic field enlarges the bulk gap and suppresses the bound states, thereby further reducing the scattering. These mechanisms effectively increase the mean free paths of the ZLMs to approximately 1 micron in the presence of a disorder.


title: Data-driven Spatiotemporal Modal Decomposition for Time Frequency Analysis

abstract: We propose a new solution to the blind source separation problem that factors mixed time-series signals into a sum of spatiotemporal modes, with the constraint that the temporal components are intrinsic mode functions (IMF's). The key motivation is that IMF's allow the computation of meaningful Hilbert transforms of non-stationary data, from which instantaneous time-frequency representations may be derived. Our spatiotemporal intrinsic mode decomposition (STIMD) method leverages spatial correlations to generalize the extraction of IMF's from one-dimensional signals, commonly performed using the empirical mode decomposition (EMD), to multi-dimensional signals. Further, this data-driven method enables future-state prediction. We demonstrate STIMD on several synthetic examples, comparing it to common matrix factorization techniques, namely singular value decomposition (SVD), independent component analysis (ICA), and dynamic mode decomposition (DMD). We show that STIMD outperforms these methods at reconstruction and extracting interpretable modes. Next, we apply STIMD to analyze two real-world datasets, gravitational wave data and neural recordings from the rodent hippocampus.


title: Nonlinear symmetries of perfectly invisible $PT$-regularized conformal and superconformal mechanics systems

abstract: We investigate how the Lax-Novikov integral in the perfectly invisible $PT$-regularized zero-gap quantum conformal and superconformal mechanics systems affects on their (super)-conformal symmetries. We show that the expansion of the conformal symmetry with this integral results in a nonlinearly extended generalized Shr\"odinger algebra. The $PT$-regularized superconformal mechanics systems in the phase of the unbroken exotic nonlinear $\mathcal{N}=4$ super-Poincar\'e symmetry are described by nonlinearly super-extended Schr\"odinger algebra with the $osp(2|2)$ sub-superalgebra. In the partially broken phase, the scaling dimension of all odd integrals is indefinite, and the $osp(2|2)$ is not contained as a sub-superalgebra.


title: Scalable Simple Linear Iterative Clustering (SSLIC) Using a Generic and Parallel Approach

abstract: Superpixel algorithms have proven to be a useful initial step for segmentation and subsequent processing of images, reducing computational complexity by replacing the use of expensive per-pixel primitives with a higher-level abstraction, superpixels. They have been successfully applied both in the context of traditional image analysis and deep learning based approaches. In this work, we present a generalized implementation of the simple linear iterative clustering (SLIC) superpixel algorithm that has been generalized for n-dimensional scalar and multi-channel images. Additionally, the standard iterative implementation is replaced by a parallel, multi-threaded one. We describe the implementation details and analyze its scalability using a strong scaling formulation. Quantitative evaluation is performed using a 3D image, the Visible Human cryosection dataset, and a 2D image from the same dataset. Results show good scalability with runtime gains even when using a large number of threads that exceeds the physical number of available cores (hyperthreading).


title: Tight, robust, and feasible quantum speed limits for open dynamics

abstract: Starting from a geometric perspective, we derive a quantum speed limit for arbitrary open quantum evolution, which could be Markovian or non-Markovian, providing a fundamental bound on the time taken for the most general quantum dynamics. Our methods rely on measuring angles and distances between (mixed) states represented as generalized Bloch vectors. We study the properties of our bound and present its form for closed and open evolution, with the latter in both Lindblad form and in terms of a memory kernel. Our speed limit is provably robust under composition and mixing, features that largely improve the effectiveness of quantum speed limits for open evolution of mixed states. We also demonstrate that our bound is easier to compute and measure than other quantum speed limits for open evolution, and that it is tighter than the previous bounds for almost all open processes. Finally, we discuss the usefulness of quantum speed limits and their impact in current research.


title: Vibrational enhancement of quadrature squeezing and phase sensitivity in resonance fluorescence

abstract: Vibrational environments are commonly considered to be detrimental to the optical emission properties of solid-state and molecular systems, limiting their performance within quantum information protocols. Given that such environments arise naturally it is important to ask whether they can instead be turned to our advantage. Here we show that vibrational interactions can be harnessed within resonance fluorescence to generate optical states with a higher degree of quadrature squeezing than in isolated atomic systems. Considering the example of a driven quantum dot coupled to phonons, we demonstrate that it is feasible to surpass the maximum level of squeezing theoretically obtainable in an isolated atomic system and indeed come close to saturating the fundamental upper bound on squeezing from a two-level emitter. We analyse the performance of these vibrationally-enhanced squeezed states in a phase estimation protocol, finding that for the same photon flux, they can outperform the single mode squeezed vacuum state.


title: Control Plane Compression

abstract: We develop an algorithm capable of compressing large networks into a smaller ones with similar control plane behavior: For every stable routing solution in the large, original network, there exists a corresponding solution in the compressed network, and vice versa. Our compression algorithm preserves a wide variety of network properties including reachability, loop freedom, and path length. Consequently, operators may speed up network analysis, based on simulation, emulation, or verification, by analyzing only the compressed network. Our approach is based on a new theory of control plane equivalence. We implement these ideas in a tool called Bonsai and apply it to real and synthetic networks. Bonsai can shrink real networks by over a factor of 5 and speed up analysis by several orders of magnitude.


title: Bipartite matrix-valued tensor product correlations that are not finitely representable

abstract: We consider the matrix-valued generalizations of bipartite tensor product quantum correlations and bipartite infinite-dimensional tensor product quantum correlations, respectively. These sets are denoted by $C_q^{(n)}(m,k)$ and $C_{qs}^{(n)}(m,k)$, respectively, where $m$ is the number of inputs, $k$ is the number of outputs, and $n$ is the matrix size. We show that, for any $m,k \geq 2$ with $(m,k) \neq (2,2)$, there is an $n \leq 4$ for which we have the separation $C_q^{(n)}(m,k) \neq C_{qs}^{(n)}(m,k)$.


title: ESO telbib: learning from experience, preparing for the future

abstract: The ESO telescope bibliography (telbib) dates back to 1996. During the 20+ years of its existence, it has undergone many changes. Most importantly, the telbib system has been enhanced to cater to new use cases and demands from its stakeholders. Based on achievements of the past, we will show how a system like telbib can not only stay relevant through the decades, but gain importance, and provide an essential tool for the observatory's management and the wider user community alike.


title: A Universal Hypercomputer

abstract: This paper describes a type of infinitary computer (a hypercomputer) capable of computing truth in initial levels of the set theoretic universe, V. The proper class of such hypercomputers is called a universal hypercomputer. There are two basic variants of hypercomputer: a serial hypercomputer and a parallel hypercomputer. The set of computable functions of the two variants is identical but the parallel hypercomputer is in general faster than a serial hypercomputer (as measured by an ordinal complexity measure). Insights into set theory using information theory and a universal hypercomputer are possible, and it is argued that the Generalised Continuum Hypothesis can be regarded as a information-theoretic principle, which follows from an information minimisation principle.


title: Persistent Hidden States and Nonlinear Transformation for Long Short-Term Memory

abstract: Recurrent neural networks (RNNs) have been drawing much attention with great success in many applications like speech recognition and neural machine translation. Long short-term memory (LSTM) is one of the most popular RNN units in deep learning applications. LSTM transforms the input and the previous hidden states to the next states with the affine transformation, multiplication operations and a nonlinear activation function, which makes a good data representation for a given task. The affine transformation includes rotation and reflection, which change the semantic or syntactic information of dimensions in the hidden states. However, considering that a model interprets the output sequence of LSTM over the whole input sequence, the dimensions of the states need to keep the same type of semantic or syntactic information regardless of the location in the sequence. In this paper, we propose a simple variant of the LSTM unit, persistent recurrent unit (PRU), where each dimension of hidden states keeps persistent information across time, so that the space keeps the same meaning over the whole sequence. In addition, to improve the nonlinear transformation power, we add a feedforward layer in the PRU structure. In the experiment, we evaluate our proposed methods with three different tasks, and the results confirm that our methods have better performance than the conventional LSTM.


title: Asymptotic models via plegma families

abstract: It is known that there exists a Banach space $X$ with a Schauder basis $(e_i)_{i=1}^{\infty}$ which does not admit $\ell_p$ as the model space obtained by a finite chain of sequences such that each element is a spreading model of a block subsequence of the previous element, starting from a block subsequence of $(e_i)_{i=1}^{\infty}$. We prove that $X$ has the stronger property of not admitting $\ell_p$ via a finite chain consisting of block asymptotic models. This is related to a question posed by L. Halbeisen and E. Odell for the special case of block generated asymptotic models. Also, we show that for every $k \in \mathbb{N}$ the Ramsey Coloring Theorem for $[\mathbb{N}]^{k}$ is equivalent to the following $k$-oscillation stability: In an arbitrary Banach space $X$, for every $\epsilon > 0$ and for every normalized sequence $(e_i)_{i \in \mathbb{N}}$ in $X$ there exists $M \in [\mathbb{N}]^{\infty}$ such that if $n_1,n_2,\cdots,n_k,m_1,m_2,\cdots,m_k \in M$, then $$ \big| ||\sum_{i =1}^{k}a_i e_{n_i} || - ||\sum_{i=1}^{k} a_i e_{m_i} || \big| < \epsilon $$ for all $(a_i)_{i=1}^{k} \in [-1,1]^k$.


title: First Performance Results Of The PIP2IT MEBT 200 Ohm Kicker Prototype

abstract: The PIP-II project is a program to upgrade the Fermilab accelerator complex. The PIP-II linac includes a 2.1 MeV Medium Energy Beam Transport (MEBT) section that incorporates a unique chopping system to perform arbitrary, bunch-by-bunch removal of 162.5 MHz structured beam. The MEBT chopping system will consist of two identical kickers working together and a beam absorber. One design of two having been proposed has been a 200 Ohm characteristic impedance traveling wave dual-helix kicker driven with custom designed high-speed switches. This paper reports on the first performance results of one prototype kicker built, installed and tested with beam at the PIP-II Injector Test (PIP2IT) facility. The helix deflector design details are discussed. The electrical performance of the high-speed switch driver operating at 500 V bias is presented. Tests performed were chopping beam at 81.25 MHz for microseconds as well as with a truly arbitrary pattern for 550 $\mu$s bursts having a 45 MHz average switching rate and repeating at 20 Hz.


title: Fluctuations for linear eigenvalue statistics of sample covariance matrices

abstract: We prove a central limit theorem for the difference of linear eigenvalue statistics of a sample covariance matrix $\widetilde{W}$ and its minor $W$. We find that the fluctuation of this difference is much smaller than those of the individual linear statistics, as a consequence of the strong correlation between the eigenvalues of $\widetilde{W}$ and $W$. Our result identifies the fluctuation of the spatial derivative of the approximate Gaussian field in the recent paper by Dumitru and Paquette. Unlike in a similar result for Wigner matrices, for sample covariance matrices the fluctuation may entirely vanish.


title: Shadowing Neutrino Mass Hierarchy with Lorentz Invariance Violation

abstract: The effects of Lorentz Invariance Violation(LIV) operators up to dimension 6 in long baseline neutrino experiments are discussed, in specific for DUNE and T2K. A phenomenological Lagrangian is proposed followed by a computation of the effective Hamiltonian of neutrino propagation in matter for mass eigenstates. It is shown that the simplest dimension 4 Lorentz violation parameter can decrease DUNE sensitivity to neutrino mass hierarchy. Also, a $\chi^2$ analysis is performed to obtain the expected long-baseline constraints to the LIV operators up to dimension 6.


title: Line-driven ablation of circumstellar discs: III. Accounting for and analyzing the effects of continuum optical depth

abstract: In studying the formation of massive stars, it is essential to consider the strong radiative feedback on the stars' natal environments from their high luminosities ($10^4 \sim 10^6 L_\odot$). Given that massive stars contract to main-sequence-like radii before accretion finishes, one form this feedback takes is UV line-acceleration, resulting in outflows much like those expected from main-sequence massive stars. As shown by the prior papers in this series, in addition to driving stellar winds, such line forces also ablate the surface layers off of circumstellar discs within a few stellar radii of the stellar photosphere. This removal of material from an accretion disc in turn results in a decreased accretion rate onto the forming star. Quantifying this, however, requires accounting for the continuum optical depth of the disc along the non-radial rays required for the three-dimensional line-acceleration prescription used in this paper series. We introduce the "thin disc approximation", allowing these continuum optical depths arising from an optically thick but geometrically thin disc to be dynamically treated in the context of radiation-hydrodynamics simulations. Using this approximation in full dynamical simulations, we show that such continuum optical depth effects only reduce the disc ablation by 30 percent or less relative to previous simulations that ignored continuum absorption.


title: An operadic approach to vertex algebra and Poisson vertex algebra cohomology

abstract: We translate the construction of the chiral operad by Beilinson and Drinfeld to the purely algebraic language of vertex algebras. Consequently, the general construction of a cohomology complex associated to a linear operad produces a vertex algebra cohomology complex. Likewise, the associated graded of the chiral operad leads to a classical operad, which produces a Poisson vertex algebra cohomology complex. The latter is closely related to the variational Poisson cohomology studied by two of the authors.


title: Perfect 3-Colorings on 4-Regular Graph of Order 8

abstract: We study the perfect $3$-colorings on 4-regular graphs of order 8.


title: Dense Object Nets: Learning Dense Visual Object Descriptors By and For Robotic Manipulation

abstract: What is the right object representation for manipulation? We would like robots to visually perceive scenes and learn an understanding of the objects in them that (i) is task-agnostic and can be used as a building block for a variety of manipulation tasks, (ii) is generally applicable to both rigid and non-rigid objects, (iii) takes advantage of the strong priors provided by 3D vision, and (iv) is entirely learned from self-supervision. This is hard to achieve with previous methods: much recent work in grasping does not extend to grasping specific objects or other tasks, whereas task-specific learning may require many trials to generalize well across object configurations or other tasks. In this paper we present Dense Object Nets, which build on recent developments in self-supervised dense descriptor learning, as a consistent object representation for visual understanding and manipulation. We demonstrate they can be trained quickly (approximately 20 minutes) for a wide variety of previously unseen and potentially non-rigid objects. We additionally present novel contributions to enable multi-object descriptor learning, and show that by modifying our training procedure, we can either acquire descriptors which generalize across classes of objects, or descriptors that are distinct for each object instance. Finally, we demonstrate the novel application of learned dense descriptors to robotic manipulation. We demonstrate grasping of specific points on an object across potentially deformed object configurations, and demonstrate using class general descriptors to transfer specific grasps across objects in a class.


title: Transiting planet candidate from K2 with the longest period

abstract: Context: We present the transit and follow-up of a single transit event from Campaign 14 of K2, EPIC248847494b, which has a duration of 54 hours and a 0.18% depth. Aims: Using photometric tools and conducting radial velocity follow-up, we vet and characterise this very strong candidate. Methods: Owing to the long, unknown period, standard follow-up methods needed to be adapted. The transit was fitted using Namaste, and the radial velocity slope was measured and compared to a grid of planet-like orbits with varying masses and periods. These used stellar parameters measured from spectra and the distance as measured by Gaia. Results: Orbiting around a sub-giant star with a radius of 2.70$\pm$0.12R$_{\rm Sol}$, the planet has a radius of 1.11$_{-0.07}^{+0.07}$R$_{\rm Jup}$ and a period of 3650$_{-1130}^{+1280}$ days. The radial velocity measurements constrain the mass to be lower than 13M$_{\rm Jup}$, which implies a planet-like object. Conclusions: We have found a planet at 4.5 AU from a single-transit event. After a full radial velocity follow-up campaign, if confirmed, it will be the longest-period transiting planet discovered.


title: Synchronization of Singularly Perturbed Systems with Time Scales

abstract: Synchronization problems of continuous and discrete singularly perturbed systems are studied in this paper with singular perturbations and time scales (SPaTS) technique. The dynamics of leader and followers are decomposed into pure-slow and pure-fast subsystems. Locally optimal decentralized tracking sub-controllers are synthesized respectively to asymptotically synchronize each subsystem of follower. A composite control protocol is proposed to synchronize the original dynamics of each follower with the leader's dynamics. Both analogous and digital flight control systems for aircraft formation flying are utilized to verify the effectiveness of the control schemes.


title: Cooling phonon modes of a Bose condensate with uniform few body losses

abstract: We present a general analysis of the cooling produced by losses on condensates or quasi-condensates. We study how the occupations of the collective phonon modes evolve in time, assuming that the loss process is slow enough so that each mode adiabatically follows the decrease of the mean density. The theory is valid for any loss process whose rate is proportional to the $j$th power of the density, but otherwise spatially uniform. We cover both homogeneous gases and systems confined in a smooth potential. For a low-dimensional gas, we can take into account the modified equation of state due to the broadening of the cloud width along the tightly confined directions, which occurs for large interactions. We find that at large times, the temperature decreases proportionally to the energy scale $mc^2$, where $m$ is the mass of the particles and $c$ the sound velocity. We compute the asymptotic ratio of these two quantities for different limiting cases: a homogeneous gas in any dimension and a one-dimensional gas in a harmonic trap.


title: Combination of Domain Knowledge and Deep Learning for Sentiment Analysis

abstract: The emerging technique of deep learning has been widely applied in many different areas. However, when adopted in a certain specific domain, this technique should be combined with domain knowledge to improve efficiency and accuracy. In particular, when analyzing the applications of deep learning in sentiment analysis, we found that the current approaches are suffering from the following drawbacks: (i) the existing works have not paid much attention to the importance of different types of sentiment terms, which is an important concept in this area; and (ii) the loss function currently employed does not well reflect the degree of error of sentiment misclassification. To overcome such problem, we propose to combine domain knowledge with deep learning. Our proposal includes using sentiment scores, learnt by quadratic programming, to augment training data; and introducing the penalty matrix for enhancing the loss function of cross entropy. When experimented, we achieved a significant improvement in classification results.