title: Have You Stolen My Model? Evasion Attacks Against Deep Neural Network Watermarking Techniques

abstract: Deep neural networks have had enormous impact on various domains of computer science, considerably outperforming previous state of the art machine learning techniques. To achieve this performance, neural networks need large quantities of data and huge computational resources, which heavily increases their construction costs. The increased cost of building a good deep neural network model gives rise to a need for protecting this investment from potential copyright infringements. Legitimate owners of a machine learning model want to be able to reliably track and detect a malicious adversary that tries to steal the intellectual property related to the model. Recently, this problem was tackled by introducing in deep neural networks the concept of watermarking, which allows a legitimate owner to embed some secret information(watermark) in a given model. The watermark allows the legitimate owner to detect copyright infringements of his model. This paper focuses on verifying the robustness and reliability of state-of- the-art deep neural network watermarking schemes. We show that, a malicious adversary, even in scenarios where the watermark is difficult to remove, can still evade the verification by the legitimate owners, thus avoiding the detection of model theft.


title: On the spectral sequence associated to a multicomplex

abstract: A multicomplex, also known as a twisted chain complex, has an associated spectral sequence via a filtration of its total complex. We give explicit formulas for all the differentials in this spectral sequence.


title: Sup norm on $\text{PGL}_n$ in depth aspect

abstract: In this short paper we give the sub-local upper bound for the sup norm of an automorphic form on $\text{PGL}_n$, whose associated automorphic representation has finite conductor $C(\pi)=p^c$ with $c\rightarrow \infty$, and its local component at the place of ramification is a minimal vector belonging to an irreducible representation with generic induction datum.


title: Treatment of an accelerating observer via the special theory of relativity

abstract: The clock time t' of an accelerating observer, simultaneous with the measured clock time t of an inertial observer,is easily established in special relativity (as proper time) by the well-known time-dilation formula for t'(t). In this work, a special-relativity formula t(t') for an initial observer's clock time t, simultaneous with a traveler's measured clock time t', is derived and applied successfully to various relevant situations. The equation for t(t') requires knowledge only of the velocity profile v(t') of the traveler.


title: Through the magnifying glass: ALMA acute viewing of the intricate nebular architecture of OH231.8+4.2

abstract: We present continuum and molecular line emission ALMA observations of OH 231.8+4.2, a well studied bipolar nebula around an asymptotic giant branch (AGB) star. The high angular resolution (~0.2-0.3 arcsec) and sensitivity of our ALMA maps provide the most detailed and accurate description of the overall nebular structure and kinematics of this object to date. We have identified a number of outflow components previously unknown. Species studied in this work include 12CO, 13CO, CS, SO, SO2, OCS, SiO, SiS, H3O+, Na37Cl, and CH3OH. The molecules Na37Cl and CH3OH are first detections in OH 231.8+4.2, with CH3OH being also a first detection in an AGB star. Our ALMA maps bring to light the totally unexpected position of the mass-losing AGB star (QX Pup) relative to the large-scale outflow. QX Pup is enshrouded within a compact (<60 AU) parcel of dust and gas (clump S) in expansion (V~5-7 km/s) that is displaced by 0.6arcsec to the south of the dense equatorial region (or waist) where the bipolar lobes join. Our SiO maps disclose a compact bipolar outflow that emerges from QX Pup's vicinity. This outflow is oriented similarly to the large-scale nebula but the expansion velocities are about ten times lower (~35 km/s). We deduce short kinematical ages for the SiO outflow, ranging from ~50-80 yr, in regions within ~150 AU, to ~400-500 yr at the lobe tips (~3500 AU). Adjacent to the SiO outflow, we identify a small-scale hourglass-shaped structure (mini-hourglass) that is probably made of compressed ambient material formed as the SiO outflow penetrates the dense, central regions of the nebula. The lobes and the equatorial waist of the mini-hourglass are both radially expanding with a constant velocity gradient. The mini-waist is characterized by extremely low velocities, down to ~1 km/s at ~150 AU, which tentatively suggest the presence of a stable structure. (abridged)


title: Endorsements on Social Media: An Empirical Study of Affiliate Marketing Disclosures on YouTube and Pinterest

abstract: Online advertisements that masquerade as non-advertising content pose numerous risks to users. Such hidden advertisements appear on social media platforms when content creators or "influencers" endorse products and brands in their content. While the Federal Trade Commission (FTC) requires content creators to disclose their endorsements in order to prevent deception and harm to users, we do not know whether and how content creators comply with the FTC's guidelines. In this paper, we studied disclosures within affiliate marketing, an endorsement-based advertising strategy used by social media content creators. We examined whether content creators follow the FTC's disclosure guidelines, how they word the disclosures, and whether these disclosures help users identify affiliate marketing content as advertisements. To do so, we first measured the prevalence of and identified the types of disclosures in over 500,000 YouTube videos and 2.1 million Pinterest pins. We then conducted a user study with 1,791 participants to test the efficacy of these disclosures. Our findings reveal that only about 10% of affiliate marketing content on both platforms contains any disclosures at all. Further, users fail to understand shorter, non-explanatory disclosures. Based on our findings, we make various design and policy suggestions to help improve advertising disclosure practices on social media platforms.


title: On the relationship between metallicity distributions of globular clusters and of circumgalactic gas

abstract: The abundance of alpha elements and iron in stars of globular clusters shows the composition of the gaseous medium, in which they have been formed. In the present paper, we discuss a possibility to consider dense clouds of circumgalactic gas (partial Lyman limit systems and Lyman limit systems) observed in the 100 - 130 kpc neighbourhood of galaxies at redshifts of 0.1<z<1.1 as being the residual parts of clouds, in which globular clusters have been formed. Conclusions have been drawn based on statistical analysis of the abundance of magnesium and iron in globular clusters and in circumgalactic clouds and on the spatial location of objects of both types.


title: Entanglement robustness against particle loss in multiqubit systems

abstract: When some of the parties of a multipartite entangled pure state are lost, the question arises whether the residual mixed state is also entangled, in which case the initial entangled pure state is said to be robust against particle loss. In this paper, we investigate this entanglement robustness for $N$-qubit pure states. We identify exhaustively all entangled states that are fragile, i.e., not robust, with respect to the loss of any single qubit of the system. We also study the entanglement robustness properties of symmetric states and put these properties in the perspective of the classification of states with respect to stochastic local operations assisted with classic communication (SLOCC classification).


title: Networking Research - A Reflection in the Middle Years

abstract: Networking is no longer a new area of computer science and engineering -- it has matured as a discipline and the major infrastructure it supports, the Internet, is long past being primarily a research artifact. I believe that we should consider ourselves as the civil engineers of the Internet, primarily helping to understand and improve a vast and critical infrastructure. This implies that implementing changes takes decades, not conference cycles, and that implementation is largely driven by compatibility with existing infrastructure and considerations of cost effectiveness, where resources that research focuses on, such as bandwidth and compute cycles, often play a much smaller role than limited organizational capacity for change. Telecommunications carriers, in particular, have become akin to airlines, largely operating equipment designed by others, with emphasis on marketing, not innovation. Even more than in other engineering disciplines, standards matter, whether set by standards bodies or dominant players. Given the multi-year time frames of standards and the limited willingness of national funding bodies to support standardization work, this makes research impact harder, as does the increasing complexity of cellular networks and barriers to entry that shut out most researchers from contributing to large parts of commercial mobile networks.


title: State resolved investigation of F\"orster resonant energy transfer in collisions between polar molecules and Rydberg atoms

abstract: We perform a comprehensive investigation of F\"orster resonant energy transfer in a room-temperature thermal mixture of ammonia molecules and rubidium Rydberg atoms. Fully state-resolved measurement of the Rydberg-atom populations is achieved by combining millimeter-wave state transfer with state-selective field ionization. This allows aspects of the energy transfer process such as state dependence, ammonia pressure dependence, and dependence on the energy resonance condition to be investigated in detail. Our results pave the way for future quantum experiments combining polar molecules and Rydberg atoms.


title: Separations of sets

abstract: Abstract separation systems are a new unifying framework in which separations of graph, matroids and other combinatorial structures can be expressed and studied. We characterize the abstract separation systems that have representations as separation systems of graphs, sets, or set bipartitions.


title: Deductive Verification of Unmodified Linux Kernel Library Functions

abstract: This paper presents results from the development and evaluation of a deductive verification benchmark consisting of 26 unmodified Linux kernel library functions implementing conventional memory and string operations. The formal contract of the functions was extracted from their source code and was represented in the form of preconditions and postconditions. The correctness of 23 functions was completely proved using AstraVer toolset, although success for 11 functions was achieved using 2 new specification language constructs. Another 2 functions were proved after a minor modification of their source code, while the final one cannot be completely proved using the existing memory model. The benchmark can be used for the testing and evaluation of deductive verification tools and as a starting point for verifying other parts of the Linux kernel.


title: Sources of heading error in optically pumped magnetometers operated at Earth's magnetic field

abstract: When optically pumped magnetometers are aimed for the use in Earth's magnetic field, the orientation of the sensor to the field direction is of special importance to achieve accurate measurement result. Measurement errors and inaccuracies related to the heading of the sensor can be an even more severe problem in the case of special operational configurations, such as for example the use of strong off-resonant pumping. We systematically study the main contributions to the heading error in systems that promise high magnetic field resolutions at Earth's magnetic field strengths, namely the non-linear Zeeman splitting and the orientation dependent light shift. The good correspondence of our theoretical analysis to experimental data demonstrates that both of these effects are related to a heading dependent modification of the interaction between the laser light and the dipole moment of the atoms. Also, our results promise a compensation of both effects using a combination of clockwise and counter clockwise circular polarization.


title: The Weighted Barycenter Drawing Recognition Problem

abstract: We consider the question of whether a given graph drawing $\Gamma$ of a triconnected planar graph $G$ is a weighted barycenter drawing. We answer the question with an elegant arithmetic characterisation using the faces of $\Gamma$. This leads to positive answers when the graph is a Halin graph, and to a polynomial time recognition algorithm when the graph is cubic.


title: Refined topological vertex for a 5D $Sp(N)$ gauge theory with antisymmetric matter

abstract: We consider Type IIB 5-brane web diagrams for a 5D $Sp(N)$ gauge theory with an antisymmetric hypermultiplet and $N_f$ fundamental hypermultiplets. The corresponding 5-branes can be obtained by Higgsing a 5-brane web for quiver gauge theory. We use the refined topological vertex formalism to compute Nekrasov partition functions of 5D $Sp(2)$ theories with one antisymmetric hypermultiplet and flavors. Our results agree with the known results obtained from the ADHM method. We also discuss a particular tuning of K\"ahler parameters associated with this Higgsing.


title: A simple case within Nash-Moser-Ekeland theory

abstract: We present simple and direct proof to an important case of Nash-Moser-Ekeland theorem.


title: Temperature-dependent spin-resolved electronic structure of EuO thin films

abstract: The electronic structure of the ferromagnetic semiconductor EuO is investigated by means of spin- and angle-resolved photoemission spectroscopy (spin-ARPES) and density functional theory. EuO exhibits unique properties of hosting both weakly-dispersive nearly fully polarized Eu $4f$ bands, as well as O $2p$ levels indirectly exchange-split by the interaction with Eu nearest neighbors. Our temperature-dependent spin-ARPES data directly demonstrates the exchange splitting in O $2p$ and its vanishing at the Curie temperature. Our calculations with a Hubbard $U$ term reveal a complex nature of the local exchange splitting on the oxygen site and in conduction bands. We discuss the mechanisms of the indirect exchange in the O 2p levels by analyzing orbital-resolved band characters in ferromagnetic and antiferromagnetic phases. The directional effects due to spin-orbit coupling are predicted theoretically to be significant in particular in the Eu 4f band manifold. The analysis of the shape of spin-resolved spectra in the Eu $4f$ spectral region reveals signatures of hybridization with O $2p$, in agreement with the theoretical predictions. We also analyze spectral changes in the spin-integrated spectra throughout the Curie temperature and demonstrate they derive from both the magnetic phase transition and effects due to sample aging, unavoidable for this highly reactive material.


title: Group stability and Property (T)

abstract: In recent years, there has been a considerable amount of interest in the stability of a finitely-generated group $\Gamma$ with respect to a sequence of groups $\left\{G_{n}\right\}_{n=1}^{\infty}$, equipped with bi-invariant metrics $\left\{d_{n}\right\}_{n=1}^{\infty}$. We consider the case $G_{n}=\operatorname{U}\left(n\right)$ (resp. $G_{n}=\operatorname{Sym}\left(n\right)$), equipped with the normalized Hilbert-Schmidt metric $d_{n}^{\operatorname{HS}}$ (resp. the normalized Hamming metric $d_{n}^{\operatorname{Hamming}}$). Our main result is that if $\Gamma$ is infinite, hyperlinear (resp. sofic) and has Property $\operatorname{(T)}$, then it is not stable with respect to $\left(\operatorname{U}\left(n\right),d_{n}^{\operatorname{HS}}\right)$ (resp. $\left(\operatorname{Sym}\left(n\right),d_{n}^{\operatorname{Hamming}}\right)$). This answers a question of Hadwin and Shulman regarding the stability of $\operatorname{SL}_{3}\left(\mathbb{Z}\right)$. We also deduce that the mapping class group $\operatorname{MCG}\left(g\right)$, $g\geq 3$, and $\operatorname{Aut}\left(\mathbb{F}_n\right)$, $n\geq 3$, are not stable with respect to $\left(\operatorname{Sym}\left(n\right),d_{n}^{\operatorname{Hamming}}\right)$. Our main result exhibits a difference between stability with respect to the normalized Hilbert-Schmidt metric on $\operatorname{U}\left(n\right)$ and the (unnormalized) $p$-Schatten metrics, since many groups with Property $\operatorname{(T)}$ are stable with respect to the latter metrics, as shown by De Chiffre-Glebsky-Lubotzky-Thom and Lubotzky-Oppenheim. We suggest a more flexible notion of stability that may repair this deficiency of stability with respect to $\left(\operatorname{U}\left(n\right),d_{n}^{\operatorname{HS}}\right)$ and $\left(\operatorname{Sym}\left(n\right),d_{n}^{\operatorname{Hamming}}\right)$.


title: Tempering Rayleigh's curse with PSF shaping

abstract: It has been argued that, for a spatially invariant imaging system, the information one can gain about the separation of two incoherent point sources decays quadratically to zero with decreasing separation, an effect termed Rayleigh's curse. Contrary to this belief, we identify a class of point spread functions with a linear information decrease. Moreover, we show that any well-behaved symmetric point spread function can be converted into such a form with a simple nonabsorbing signum filter. We experimentally demonstrate significant superresolution capabilities based on this idea.


title: ScrumLint: Identifying Violations of Agile Practices Using Development Artifacts

abstract: Linting tools automatically identify source code fragments that do not follow a set of predefined standards. Such feedback tools are equally desirable for "linting" agile development processes. However, providing concrete feedback on process conformance is a challenging task, due to the intentional lack of formal agile process models. In this paper, we present ScrumLint, a tool that tackles this issue by analyzing development artifacts. On the basis of experiences with an undergraduate agile software engineering course, we defined a collection of process metrics. These contain the core ideas of agile methods and report deviations. Using this approach, development teams receive immediate feedback on their executed development practices. They can use this knowledge to improve their workflows, or can adapt the metrics to better reflect their project reality.


title: Measurement of $\mathcal{B}(J/\psi \to \eta' e^+ e^- $) and search for a dark photon

abstract: Using a data sample of $(1310.6\pm7.0)\times10^{6}$ $J/\psi$ decay events collected with the BESIII detector at BEPCII, we study the electromagnetic Dalitz decay $J/\psi \to \eta' e^+e^-$ with two dominant $\eta'$ decay modes, $\eta' \to \gamma \pi^+ \pi^-$ and $\eta' \to \pi^+\pi^-\eta$. The branching fraction is determined to be $\mathcal{B}(J/\psi \to \eta' e^+e^-) = (6.59\pm0.07\pm0.17) \times 10^{-5}$, which improves in precision by a factor of 2 over the previous BESIII measurement. A search for the dark photon ($\gamma '$) is performed via $J/\psi \to\eta' \gamma ', \gamma' \to e^{+}e^{-}$. Excluding the $\omega$ and $\phi$ mass regions, no significant signal is observed in the mass range from 0.1 to 2.1 GeV/$c^{2}$. We set upper limits at the 90\% confidence level on $\mathcal{B}(J/\psi \to \eta' \gamma ')\times\mathcal{B}(\gamma ' \to e^+e^-)$, $\mathcal{B}(J/\psi \to\eta' \gamma'$) and the mixing strength as a function of dark photon mass. This is among the first searches for dark photons in charmonium decays.


title: Marstrand-type projection theorems for linear projections and in normed spaces

abstract: We establish Marstrand-type as well as Besicovich-Federer-type projection theorems for closest-point projections onto hyperplanes in the normed space $\mathbb{R}^{n}$. In particular, we prove that if a norm on $\mathbb{R}^{n}$ is $C^{1,1}$-regular, then the analogues of the well-known statements from the Euclidean setting hold. On the other hand, we construct an example of a $C^{1}$-regular norm in $\mathbb{R}^2$ for which Marstrand-type theorems fail.


title: Rare Leptonic B decays

abstract: The transitions $B_{s,d}\rightarrow \ell^+\ell^-$ (for $\ell=e, \mu, \tau$), although extremely suppressed within the SM, are exceptionally clean channels particularly sensitive to New Physics contributions. So far only the branching ratio for the process $B_{s}\rightarrow \mu^+\mu^-$ has been measured experimentally and, although the results are in agreement with the SM prediction, there is still room for NP effects. Here we provide an overview of the theoretical status of rare decays. We present strategies that can allow us to discriminate between different NP scenarios. Finally, we include a discussion of the effects of nontrivial new CP violating phases on the observables associated with $B_{s}\rightarrow \mu^+\mu^-$.


title: Channel Characterization for Chip-scale Wireless Communications within Computing Packages

abstract: Wireless Network-on-Chip (WNoC) appears as a promising alternative to conventional interconnect fabrics for chip-scale communications. WNoC takes advantage of an overlaid network composed by a set of millimeter-wave antennas to reduce latency and increase throughput in the communication between cores. Similarly, wireless inter-chip communication has been also proposed to improve the information transfer between processors, memory, and accelerators in multi-chip settings. However, the wireless channel remains largely unknown in both scenarios, especially in the presence of realistic chip packages. This work addresses the issue by accurately modeling flip-chip packages and investigating the propagation both its interior and its surroundings. Through parametric studies, package configurations that minimize path loss are obtained and the trade-offs observed when applying such optimizations are discussed. Single-chip and multi-chip architectures are compared in terms of the path loss exponent, confirming that the amount of bulk silicon found in the pathway between transmitter and receiver is the main determinant of losses.


title: Effective Field Theory in The Study of Long Range Nuclear Parity Violation on Lattice

abstract: A non-zero signal $A_\gamma^\mathrm{np}=(-3.0\pm1.4\pm0.2)\times 10^{-8}$ of the gamma-ray asymmetry in the neutron-proton capture was recently reported by the NPDGamma Collaboration which provides the first determination of the $\Delta I=1$ parity-odd pion-nucleon coupling constant $h_\pi^1=(2.6\pm 1.2\pm 0.2)\times 10^{-7}$. The ability to reproduce this value from first principles serves as a direct test of our current understanding of the interplay between the strong and weak interaction at low energy. To motivate new lattice studies of $h_\pi^1$, we review the current status of the theoretical understanding of this coupling, which includes our recent work that relates it to a nucleon mass-splitting by a soft-pion theorem. We further investigate the possibility of calculating the mass-splitting on the lattice by providing effective field theory parameterizations of all the involved quark contraction diagrams. We show that the lattice calculations of the easier connected diagrams will provide information of the chiral logarithms in the much harder quark loop diagrams and thus help in the chiral extrapolation of the latter.


title: Deep learning for language understanding of mental health concepts derived from Cognitive Behavioural Therapy

abstract: In recent years, we have seen deep learning and distributed representations of words and sentences make impact on a number of natural language processing tasks, such as similarity, entailment and sentiment analysis. Here we introduce a new task: understanding of mental health concepts derived from Cognitive Behavioural Therapy (CBT). We define a mental health ontology based on the CBT principles, annotate a large corpus where this phenomena is exhibited and perform understanding using deep learning and distributed representations. Our results show that the performance of deep learning models combined with word embeddings or sentence embeddings significantly outperform non-deep-learning models in this difficult task. This understanding module will be an essential component of a statistical dialogue system delivering therapy.


title: Typed Linear Algebra for Efficient Analytical Querying

abstract: This paper uses typed linear algebra (LA) to represent data and perform analytical querying in a single, unified framework. The typed approach offers strong type checking (as in modern programming languages) and a diagrammatic way of expressing queries (paths in LA diagrams). A kernel of LA operators has been implemented so that paths extracted from LA diagrams can be executed. The approach is validated and evaluated taking TPC-H benchmark queries as reference. The performance of the LA-based approach is compared with popular database competitors (PostgreSQL and MySQL).


title: Entanglement of three-qubit random pure states

abstract: We study non-local properties of generic three-qubit pure states. First, we obtain the distributions of both the coefficients and the only phase in the five-term decomposition of Ac\'in et al. for an ensemble of random pure states generated by the Haar measure on U(8). Furthermore, we analyze the probability distributions of two sets of polynomial invariants. One of these sets allows us to classify three-qubit pure states into four classes. Entanglement in each class is characterized using the minimal R\'enyi-Ingarden-Urbanik entropy. Besides, the fidelity of a three-qubit random state with the closest state in each entanglement class is investigated. We also present a characterization of these classes and the SLOCC classes in terms of the corresponding entanglement polytope.


title: Convex optimization using quantum oracles

abstract: We study to what extent quantum algorithms can speed up solving convex optimization problems. Following the classical literature we assume access to a convex set via various oracles, and we examine the efficiency of reductions between the different oracles. In particular, we show how a separation oracle can be implemented using $\tilde{O}(1)$ quantum queries to a membership oracle, which is an exponential quantum speed-up over the $\Omega(n)$ membership queries that are needed classically. We show that a quantum computer can very efficiently compute an approximate subgradient of a convex Lipschitz function. Combining this with a simplification of recent classical work of Lee, Sidford, and Vempala gives our efficient separation oracle. This in turn implies, via a known algorithm, that $\tilde{O}(n)$ quantum queries to a membership oracle suffice to implement an optimization oracle (the best known classical upper bound on the number of membership queries is quadratic). We also prove several lower bounds: $\Omega(\sqrt{n})$ quantum separation (or membership) queries are needed for optimization if the algorithm knows an interior point of the convex set, and $\Omega(n)$ quantum separation queries are needed if it does not.


title: Learning Saliency Prediction From Sparse Fixation Pixel Map

abstract: Ground truth for saliency prediction datasets consists of two types of map data: fixation pixel map which records the human eye movements on sample images, and fixation blob map generated by performing gaussian blurring on the corresponding fixation pixel map. Current saliency approaches perform prediction by directly pixel-wise regressing the input image into saliency map with fixation blob as ground truth, yet learning saliency from fixation pixel map is not explored. In this work, we propose a first-of-its-kind approach of learning saliency prediction from sparse fixation pixel map, and a novel loss function for training from such sparse fixation. We utilize clustering to extract sparse fixation pixel from the raw fixation pixel map, and add a max-pooling transformation on the output to avoid false penalty between sparse outputs and labels caused by nearby but non-overlapping saliency pixels when calculating loss. This approach provides a novel perspective for achieving saliency prediction. We evaluate our approach over multiple benchmark datasets, and achieve competitive performance in terms of multiple metrics comparing with state-of-the-art saliency methods.


title: Is there really a debris disc around $\zeta^2\,\mathrm{Reticuli}$ ?

abstract: The presence of a debris disc around the Gyr-old solar-type star $\zeta^2\,\mathrm{Reticuli}$ was suggested by the $\mathit{Spitzer}$ infrared excess detection. Follow-up observations with $\mathit{Herschel}$/PACS revealed a double-lobed feature, that displayed asymmetries both in brightness and position. Therefore, the disc was thought to be edge-on and significantly eccentric. Here we present ALMA/ACA observations in Band 6 and 7 which unambiguously reveal that these lobes show no common proper motion with $\zeta^2\,\mathrm{Reticuli}$. In these observations, no flux has been detected around $\zeta^2\,\mathrm{Reticuli}$ that exceeds the $3\sigma$ levels. We conclude that surface brightness upper limits of a debris disc around $\zeta^2\,\mathrm{Reticuli}$ are $5.7\,\mathrm{\mu Jy/arcsec^2}$ at 1.3 mm, and $26\,\mathrm{\mu Jy/arcsec^2}$ at 870 microns. Our results overall demonstrate the capability of the ALMA/ACA to follow-up $\mathit{Herschel}$ observations of debris discs and clarify the effects of background confusion.


title: Detail Preserving Depth Estimation from a Single Image Using Attention Guided Networks

abstract: Convolutional Neural Networks have demonstrated superior performance on single image depth estimation in recent years. These works usually use stacked spatial pooling or strided convolution to get high-level information which are common practices in classification task. However, depth estimation is a dense prediction problem and low-resolution feature maps usually generate blurred depth map which is undesirable in application. In order to produce high quality depth map, say clean and accurate, we propose a network consists of a Dense Feature Extractor (DFE) and a Depth Map Generator (DMG). The DFE combines ResNet and dilated convolutions. It extracts multi-scale information from input image while keeping the feature maps dense. As for DMG, we use attention mechanism to fuse multi-scale features produced in DFE. Our Network is trained end-to-end and does not need any post-processing. Hence, it runs fast and can predict depth map in about 15 fps. Experiment results show that our method is competitive with the state-of-the-art in quantitative evaluation, but can preserve better structural details of the scene depth.


title: Automatic Event Salience Identification

abstract: Identifying the salience (i.e. importance) of discourse units is an important task in language understanding. While events play important roles in text documents, little research exists on analyzing their saliency status. This paper empirically studies the Event Salience task and proposes two salience detection models based on content similarities and discourse relations. The first is a feature based salience model that incorporates similarities among discourse units. The second is a neural model that captures more complex relations between discourse units. Tested on our new large-scale event salience corpus, both methods significantly outperform the strong frequency baseline, while our neural model further improves the feature based one by a large margin. Our analyses demonstrate that our neural model captures interesting connections between salience and discourse unit relations (e.g., scripts and frame structures).


title: Isolating dynamical net-charge fluctuations

abstract: We modify the usual definitions of cumulants of net-charge fluctuations in a way that isolates dynamical fluctuations. The new observables, which we call dynamical cumulants, are robust with respect to trivial correlations induced by volume fluctuations and global charge conservation. We illustrate the potential of dynamical cumulants by carrying out Monte Carlo simulations where all correlations are trivial. The results of our simulations agree well with Relativistic Heavy Ion Collider (RHIC) data, and are used to illustrate that dynamical cumulants consistently isolate dynamical fluctuations.


title: Some remarks on uncountable rainbow Ramsey theory

abstract: We discuss the rainbow Ramsey theorems at limit cardinals and successors of singular cardinals, addressing some questions in \cite{MR2354904} and \cite{MR2902230}. In particular, we show for inaccessible $\kappa$, $\kappa\to^{poly}(\kappa)^2_{2-bdd}$ does not characterize weak compactness and for singular $\kappa$, $\mathrm{GCH}+\square_\kappa$ implies $\kappa^+\not\to^{poly} (\eta)^2_{<\kappa-bdd}$ for any $\eta\geq cf(\kappa)^+$ and $\kappa^+\to^{poly} (\nu)^2_{<\kappa-bdd}$ for any $\nu<cf(\kappa)^+$. We also provide a simplified construction of a model for $\omega_2\not\to^{poly} (\omega_1)^2_{2-bdd}$ originally constructed in \cite{MR2902230} and show the witnessing coloring is indestructible under strongly proper forcings but destructible under some c.c.c forcing. Finally, we conclude with some remarks and questions on possible generalizations to rainbow partition relations for triples.


title: How Surveys, Tutors, and Software Help to Assess Scrum Adoption in a Classroom Software Engineering Project

abstract: Agile methods are best taught in a hands-on fashion in realistic projects. The main challenge in doing so is to assess whether students apply the methods correctly without requiring complete supervision throughout the entire project. This paper presents experiences from a classroom project where 38 students developed a single system using a scaled version of Scrum. Surveys helped us to identify which elements of Scrum correlated most with student satisfaction or posed the biggest challenges. These insights were augmented by a team of tutors, which accompanied main meetings throughout the project to provide feedback to the teams, and captured impressions of method application in practice. Finally, we performed a post-hoc, tool-supported analysis of collaboration artifacts to detect concrete indicators for anti-patterns in Scrum adoption. Through the combination of these techniques we were able to understand how students implemented Scrum in this course and which elements require further lecturing and tutoring in future iterations. Automated analysis of collaboration artifacts proved to be a promising addition to the development process that could potentially reduce manual efforts in future courses and allow for more concrete and targeted feedback, as well as more objective assessment.


title: A note on (asymptotically) Weyl-almost periodic properties of convolution products

abstract: The main aim of this paper is to investigate Weyl-$p$-almost periodic properties and asymptotically Weyl-$p$-almost periodic properties of convolution products. In such a way, we continue several recent research studies of ours which do concern a similar problematic.


title: Minimum Description Length codes are critical

abstract: In the Minimum Description Length (MDL) principle, learning from the data is equivalent to an optimal coding problem. We show that the codes that achieve optimal compression in MDL are critical in a very precise sense. First, when they are taken as generative models of samples, they generate samples with broad empirical distributions and with a high value of the relevance, defined as the entropy of the empirical frequencies. These results are derived for different statistical models (Dirichlet model, independent and pairwise dependent spin models, and restricted Boltzmann machines). Second, MDL codes sit precisely at a second order phase transition point where the symmetry between the sampled outcomes is spontaneously broken. The order parameter controlling the phase transition is the coding cost of the samples. The phase transition is a manifestation of the optimality of MDL codes, and it arises because codes that achieve a higher compression do not exist. These results suggest a clear interpretation of the widespread occurrence of statistical criticality as a characterization of samples which are maximally informative on the underlying generative process.


title: Towards Dynamic Computation Graphs via Sparse Latent Structure

abstract: Deep NLP models benefit from underlying structures in the data---e.g., parse trees---typically extracted using off-the-shelf parsers. Recent attempts to jointly learn the latent structure encounter a tradeoff: either make factorization assumptions that limit expressiveness, or sacrifice end-to-end differentiability. Using the recently proposed SparseMAP inference, which retrieves a sparse distribution over latent structures, we propose a novel approach for end-to-end learning of latent structure predictors jointly with a downstream predictor. To the best of our knowledge, our method is the first to enable unrestricted dynamic computation graph construction from the global latent structure, while maintaining differentiability.


title: PEP Analysis of Selective Decode and Forward Protocol over Keyhole Fading

abstract: We provide a closed form upper bound formulation for the average pairwise-error probability (PEP) of selective decode and forward (SDF) cooperation protocol for a keyhole (pinhole) channel condition. We have employed orthogonal space-time block-code scheme (OSTBC) in conjunction with multi-antenna (MIMO) technology. We have used moment generating function (MGF) based approach for deriving the upper bound of PEP. PEP expression provides information regarding the performance of the wireless system with respect to the channel conditions. We have included simulation results which confirm the analytical results of our proposed upper bound. Simulation results show that due to keyhole effect performance of wireless system degrades.


title: Charged lepton flavor violation and electric dipole moments in the inert Zee model

abstract: The inert Zee model is an extension of the Zee model for neutrino masses to allow for a solution to the dark matter problem that involves two vector-like fields, a doublet and a singlet of $SU(2)_L$, and two scalars, also a doublet and a singlet of $SU(2)_L$, all of them being odd under an exact $Z_2$ symmetry. The introduction of the $Z_2$ guarantees one-loop neutrino masses, forbids tree-level Higgs-mediated flavor changing neutral currents and ensures the stability of the dark matter candidate. Due to the natural breaking of lepton numbers in the inert Zee model and encouraged by the ambitious experimental program designed to look for charged lepton flavor violation signals and the electron electric dipole moment, we study the phenomenology of the processes leading to these kind of signals, and establish which are the most promising experimental perspectives on that matter.


title: Exploring the Landscape of Relational Syllogistic Logics

abstract: This paper explores relational syllogistic logics, a family of logical systems related to reasoning about relations in extensions of the classical syllogistic. These are all decidable logical systems. We prove completeness theorems and complexity results for a natural subfamily of relational syllogistic logics, parametrized by constructors for terms and for sentences.


title: Controlling azimuthal spoke modes in cylindrical Hall thruster using a segmented anode

abstract: Azimuthal spoke-like modes commonly occur in ExB discharges. The natural occurrence of the spoke mode is correlated with changes of plasma parameters. Here, instead of allowing these changes to occur naturally, we report a technique for actively controlling the spoke by adjusting the boundary condition at the anode. The technique is demonstrated using a cylindrical Hall thruster equipped with a segmented anode. By varying the voltage and the relative phases of the anode segments, properties of the azimuthal mode can be altered substantially, as shown by fast camera images and probe diagnostics. This technique may be extended to other Hall discharges in order to either induce or suppress azimuthal activities, and thereby controlling the operation and the performance of the devices.


title: Conditioning of partial nonuniform Fourier matrices with clustered nodes

abstract: We prove sharp lower bounds for the smallest singular value of a partial Fourier matrix with arbitrary "off the grid" nodes (equivalently, a rectangular Vandermonde matrix with the nodes on the unit circle), in the case when some of the nodes are separated by less than the inverse bandwidth. The bound is polynomial in the reciprocal of the so-called "super-resolution factor", while the exponent is controlled by the maximal number of nodes which are clustered together. As a corollary, we obtain sharp minimax bounds for the problem of sparse super-resolution on a grid under the partial clustering assumptions.


title: Barriers in Seamless QoS for Mobile Applications

abstract: For seamless QoS, it is important that all the stakeholders, such as the hosts, applications, access networks, routers, and other middleboxes, follow a single protocol and they trust each other. In this article, we investigate the participation of these entities in providing QoS over wireless networks in light of DiffServ QoS architecture. We initiate the study by investigating WiFi and Cellular network traces, which further motivates us a thorough investigation of these stakeholders with empirical measurements. Our findings are the followings. (i) Modern mobile VoIP applications request QoS to the network. (ii) While the operating systems support basic APIs requesting QoS, application developers either are not aware of such requirements or they misuse the architecture for improved QoS. (iii) Wireless access networks rewrite the QoS requirements at the edge and enforce the rest of the routers or hops to provide best effort service. (iv) QoS requests are also nullified by the secure tunnels. (v) Although the access networks may nullify the QoS requests, the performance of the network still may differentiate traffic. We further emphasize that although the latest 5G network considers DiffServ QoS framework, it cannot deal with the challenges posed by the privacy related applications. Network neutrality is going to pose similar challenges.


title: Microscopic Observation of Heavy Quasiparticle Formation in the Intermediate Valence Compound EuNi$_2$P$_2$: $^{31}$P NMR Study

abstract: We report $^{31}$P NMR measurements under various magnetic fields up to 7 T for the intermediate valence compound EuNi$_2$P$_2$, which shows heavy electronic states at low temperatures. In the high-temperature region above 40 K, the Knight shift followed the Curie--Weiss law reflecting localized $4f$ states. In addition, the behavior corresponding to the temperature variation of the average valence of Eu was observed in the nuclear spin-lattice relaxation rate $1/T_1$. With the occurrence of the Kondo effect, $1/T_1$ was clearly reduced below 40 K, and the Knight shift becomes almost constant at low temperatures. From these results, the formation of heavy quasiparticles by the hybridization of Eu $4f$ electrons and conduction electrons was clarified from microscopic viewpoints. Furthermore, a characteristic spin fluctuation was observed at low temperatures, which would be associated with valence fluctuations caused by the intermediate valence state of EuNi$_2$P$_2$.


title: Online Evaluation for Effective Web Service Development

abstract: Development of the majority of the leading web services and software products today is generally guided by data-driven decisions based on evaluation that ensures a steady stream of updates, both in terms of quality and quantity. Large internet companies use online evaluation on a day-to-day basis and at a large scale. The number of smaller companies using A/B testing in their development cycle is also growing. Web development across the board strongly depends on quality of experimentation platforms. In this tutorial, we overview state-of-the-art methods underlying everyday evaluation pipelines at some of the leading Internet companies. Software engineers, designers, analysts, service or product managers --- beginners, advanced specialists, and researchers --- can learn how to make web service development data-driven and do it effectively.


title: A minimal counterexample to a strengthening of Perles' conjecture

abstract: In this paper, we present a minimal counterexample to a conjecture of Perles that answers a question of Haase and Ziegler. The example is a simple 4-polytope that has an induced 3-connected 3-regular subgraph, whose graph complement is connected. This subgraph is planar and not the graph of a facet of the polytope.


title: Constraining very-high-energy and optical emission from FRB 121102 with the MAGIC telescopes

abstract: Fast radio bursts (FRBs) are bright flashes observed typically at GHz frequencies with millisecond duration, whose origin is likely extragalactic. Their nature remains mysterious, motivating searches for counterparts at other wavelengths. FRB 121102 is so far the only source known to repeatedly emit FRBs and is associated with a host galaxy at redshift $z \simeq 0.193$. We conducted simultaneous observations of FRB 121102 with the Arecibo and MAGIC telescopes during several epochs in 2016--2017. This allowed searches for millisecond-timescale burst emission in very-high-energy (VHE) gamma rays as well as the optical band. While a total of five FRBs were detected during these observations, no VHE emission was detected, neither of a persistent nature nor burst-like associated with the FRBs. The average integral flux upper limits above 100 GeV at 95% confidence level are $6.6 \times 10^{-12}~\mathrm{photons\ cm^{-2}\ s^{-1}}$ (corresponding to luminosity $L_{\rm VHE} \lesssim 10^{45}~\mathrm{erg\ s^{-1}}$) over the entire observation period, and $1.2 \times 10^{-7}~ \mathrm{photons\ cm^{-2}\ s^{-1}}$ ($L_{\rm VHE} \lesssim 10^{49}~\mathrm{erg\ s^{-1}}$) over the total duration of the five FRBs. We constrain the optical U-band flux to be below 8.6 mJy at 5-$\sigma$ level for 1-ms intervals around the FRB arrival times. A bright burst with U-band flux $29~\mathrm{mJy}$ and duration $\sim 12$ ms was detected 4.3 s before the arrival of one FRB. However, the probability of spuriously detecting such a signal within the sampled time space is 1.5% (2.2 $\sigma$, post-trial), i.e. consistent with the expected background. We discuss the implications of the obtained upper limits for constraining FRB models.


title: On $m$-isometric semigroups, and $2$-isometric cogenerators

abstract: It is known that a $C_0$-semigroup of Hilbert space operators is $m$-isometric if and only if its generator satisfies a certain condition, which we choose to call $m$-skew-symmetry. This paper contains two main results: We provide a Lumer--Phillips type characterization of generators of $m$-isometric semigroups. This is based on the simple observation that $m$-isometric semigroups are quasicontractive. We also characterize cogenerators of $2$-isometric semigroups. To this end, our main strategy is to construct a functional model for $2$-isometric semigroups with analytic cogenerators. The functional model yields numerous simple examples of $2$-isometric semigroups, but also allows for the construction of a closed, densely defined, $2$-skew-symmetric operator which is not a semigroup generator.


title: Context-Patch Face Hallucination Based on Thresholding Locality-constrained Representation and Reproducing Learning

abstract: Face hallucination is a technique that reconstruct high-resolution (HR) faces from low-resolution (LR) faces, by using the prior knowledge learned from HR/LR face pairs. Most state-of-the-arts leverage position-patch prior knowledge of human face to estimate the optimal representation coefficients for each image patch. However, they focus only the position information and usually ignore the context information of image patch. In addition, when they are confronted with misalignment or the Small Sample Size (SSS) problem, the hallucination performance is very poor. To this end, this study incorporates the contextual information of image patch and proposes a powerful and efficient context-patch based face hallucination approach, namely Thresholding Locality-constrained Representation and Reproducing learning (TLcR-RL). Under the context-patch based framework, we advance a thresholding based representation method to enhance the reconstruction accuracy and reduce the computational complexity. To further improve the performance of the proposed algorithm, we propose a promotion strategy called reproducing learning. By adding the estimated HR face to the training set, which can simulates the case that the HR version of the input LR face is present in the training set, thus iteratively enhancing the final hallucination result. Experiments demonstrate that the proposed TLcR-RL method achieves a substantial increase in the hallucinated results, both subjectively and objectively. Additionally, the proposed framework is more robust to face misalignment and the SSS problem, and its hallucinated HR face is still very good when the LR test face is from the real-world. The MATLAB source code is available at https://github.com/junjun-jiang/TLcR-RL


title: Congruences for modular forms and generalized Frobenius partitions

abstract: The partition function is known to exhibit beautiful congruences that are often proved using the theory of modular forms. In this paper, we study the extent to which these congruence results apply to the generalized Frobenius partitions defined by Andrews. In particular, we prove that there are infinitely many congruences for $c\phi_k(n)$ modulo $\ell,$ where $\gcd(\ell,6k)=1,$ and we also prove results on the parity of $c\phi_k(n).$ Along the way, we prove results regarding the parity of coefficients of weakly holomorphic modular forms which generalize work of Ono.


title: On the Verge of an Astronomy CubeSat Revolution

abstract: CubeSats are small satellites built in standard sizes and form factors, which have been growing in popularity but have thus far been largely ignored within the field of astronomy. When deployed as space-based telescopes, they enable science experiments not possible with existing or planned large space missions, filling several key gaps in astronomical research. Unlike expensive and highly sought-after space telescopes like the Hubble Space Telescope (HST), whose time must be shared among many instruments and science programs, CubeSats can monitor sources for weeks or months at time, and at wavelengths not accessible from the ground such as the ultraviolet (UV), far-infrared (far-IR) and low-frequency radio. Science cases for CubeSats being developed now include a wide variety of astrophysical experiments, including exoplanets, stars, black holes and radio transients. Achieving high-impact astronomical research with CubeSats is becoming increasingly feasible with advances in technologies such as precision pointing, compact sensitive detectors, and the miniaturisation of propulsion systems if needed. CubeSats may also pair with the large space- and ground-based telescopes to provide complementary data to better explain the physical processes observed.


title: A programmable three-qubit superconducting processor with all-to-all connectivity

abstract: Superconducting circuits are at the forefront of quantum computing technology because of the unparalleled combination of good coherence, fast gates and flexibility in design parameters. The majority of experiments demonstrating small quantum algorithms in the superconducting architecture have used transmon qubits and transverse qubit-qubit coupling. However, efficient universal digital computing has remained a challenge due to the fact that majority of the state-of-art architectures rely on nearest-neighbor coupling in one or two dimensions. The limited connectivity and the availability of only two-qubit entangling gates result in inefficient implementation of algorithms with reduced fidelity. In this work, we present a programmable three-qubit processor, nicknamed "trimon", with strong all-to-all coupling and access to native three-qubit gates. We implement three-qubit version of various algorithms, namely Deutsch-Jozsa, Bernstein-Vazirani, Grover's search and the quantum Fourier transform, to demonstrate the performance of our processor. Our results show the potential of the trimon as a building block for larger systems with enhanced qubit-qubit connectivity.


title: Geometric goodness of fit measure to detect patterns in data point clouds

abstract: We derived a geometric goodness-of-fit index, similar to $R^2$ using topological data analysis techniques. We build the Vietoris-Rips complex from the data-cloud projected onto each variable. Estimating the area of the complex and their domain, we create an index that measures the emptiness of the space with respect to the data. We made the analysis with an own package called TopSA (Topological Sensitivy Analysis).


title: Integral representation of the Feynman propagators of the Dirac fermions on the de Sitter expanding universe

abstract: The propagators of the Dirac fermions on the expanding portion of the (1+3)-dimensional de Sitter spacetime are considered as mode sums in momentum representation with a fixed vacuum of Bunch-Davies type. The principal result reported here is a new integral representation of the Feynman propagators of the massive and left-handed massless Dirac fields which can be used for deriving the Feynman rules of the de Sitter QED in Coulomb gauge or of an extended QFT.


title: Constraints on MeV dark matter using neutrino detectors and their implication for the 21-cm results

abstract: The recent results of the EDGES collaboration indicate that during the era of reionization, the primordial gas was much colder than expected. The cooling of the gas could be explained by interactions between dark matter (DM) and particles in the primordial gas. Constraints from cosmology and particle experiments indicate that this DM should be light ($\sim$10-80 MeV), carry a small charge ($\epsilon\sim 10^{-6}$-$10^{-4}$), and only make up a small fraction of the total amount of DM. Several constraints on the DM parameter space have already been made. We explore the yet unconstrained region in the case that the milli-charged DM makes up for $\sim$2\% of the total dark matter, through the scenario in which this DM annihilates only into mu and tau neutrinos. We set upper limits on the annihilation cross section using the Super-Kamiokande data, and predict the limits that could be obtained through Hyper-Kamiokande, JUNO and DUNE. We find that data from Super-Kamiokande is not yet able to constrain this model, but future experiments might be. We furthermore explore DM annihilation into solely neutrinos in general, giving an update of the current limits, and predict the limits that could be placed with future experiments.


title: Measurement Accuracy of Inspiraling Eccentric Neutron Star and Black Hole Binaries Using Gravitational Waves

abstract: In a recent paper, we determined the measurement accuracy of physical parameters for eccentric, precessing, non-spinning, inspiraling, stellar-mass black hole - black hole (BH-BH) binaries for the upcoming second-generation LIGO/VIRGO/KAGRA detector network at design sensitivity using the Fisher matrix method. Here we extend that study to a wide range of binary masses including neutron star - neutron star (NS-NS), NS-BH, and BH-BH binaries with BH masses up to $110 \, M_{\odot}$. The measurement error of eccentricity $e_{10 \,\rm Hz}$ at a gravitational-wave (GW) frequency of $10 \, {\rm Hz}$ is in the range $(10^{-4}-10^{-3}) \times (D_L/ 100\,\rm Mpc)$ for NS-NS, NS-BH, and BH-BH binaries at a luminosity distance of $D_L$ if $e_{10 \,\rm Hz} \gtrsim 0.1 $. For events with masses and distances similar to the detected 10 GW transients, we show that nonzero orbital eccentricities may be detected if $0.081 \lesssim e_{10 \,\rm Hz}$. Consequently, the LIGO/VIRGO/KAGRA detector network at design sensitivity will have the capability to distinguish between eccentric waveforms and circular waveforms. In comparison to circular inspirals, we find that the chirp mass measurement precision can improve by up to a factor of $\sim 20$ and $\sim 50-100$ for NS-NS and NS-BH binaries with BH companion masses $\lesssim 40 \, M_{\odot}$, respectively. The identification of eccentric sources may give information on their astrophysical origin; it would indicate merging binaries in triple or higher multiplicity systems or dynamically formed binaries in dense stellar systems such as globular clusters or galactic nuclei.


title: Gravitational waves in massive gravity theories: waveforms, fluxes and constraints from extreme-mass-ratio mergers

abstract: Is the graviton massless? This problem was addressed in the literature at a phenomenological level, using modified dispersion relations for gravitational waves, in linearized calculations around flat space. Here, we perform a detailed analysis of the gravitational waveform produced when a small particle plunges or inspirals into a large non-spinning black hole. Our results should presumably also describe the gravitational collapse to black holes and explosive events such as supernovae. In the context of a theory with massive gravitons and screening, merging objects up to $1\,{\rm Gpc}$ away or collapsing stars in the nearby galaxy may be used to constrain the mass of the graviton to be smaller than $\sim 10^{-23}\,{\rm eV}$, with low-frequency detectors. Our results suggest that the absence of dipolar gravitational waves from black hole binaries may be used to rule out entirely such theories.


title: Evolution of spatio-kinematic structures in star-forming regions: are Friends of Friends worth knowing?

abstract: The Friends of Friends algorithm identifies groups of objects with similar spatial and kinematic properties, and has recently been used extensively to quantify the distributions of gas and stars in young star-forming regions. We apply the Friends of Friends algorithm to $N$-body simulations of the dynamical evolution of subvirial (collapsing) and supervirial (expanding) star-forming regions. We find that the algorithm picks out a wide range of groups (1 -- 25) for statistically identical initial conditions, and cannot distinguish between subvirial and supervirial regions in that we obtain similar mode and median values for the number of groups it identifies. We find no correlation between the number of groups identified initially and either the initial or subsequent spatial and kinematic tracers of the regions' evolution, such as the amount of spatial substructure, dynamical mass segregation, or velocity dispersion. We therefore urge caution in using the Friends of Friends algorithm to quantify the initial conditions of star formation.


title: The 1989 and 2015 outbursts of V404 Cygni: a global study of wind-related optical features

abstract: The black hole transient V404 Cygni exhibited a bright outburst in June 2015 that was intensively followed over a wide range of wavelengths. Our team obtained high time resolution optical spectroscopy (~90 s), which included a detailed coverage of the most active phase of the event. We present a database consisting of 651 optical spectra obtained during this event, that we combine with 58 spectra gathered during the fainter December 2015 sequel outburst, as well as with 57 spectra from the 1989 event. We previously reported the discovery of wind-related features (P-Cygni and broad-wing line profiles) during both 2015 outbursts. Here, we build diagnostic diagrams that enable us to study the evolution of typical emission line parameters, such as line fluxes and equivalent widths, and develop a technique to systematically detect outflow signatures. We find that these are present throughout the outburst, even at very low optical fluxes, and that both types of outflow features are observed simultaneously in some spectra, confirming the idea of a common origin. We also show that the nebular phases depict loop patterns in many diagnostic diagrams, while P-Cygni profiles are highly variable on time-scales of minutes. The comparison between the three outbursts reveals that the spectra obtained during June and December 2015 share many similarities, while those from 1989 exhibit narrower emission lines and lower wind terminal velocities. The diagnostic diagrams presented in this work have been produced using standard measurement techniques and thus may be applied to other active low-mass X-ray binaries.


title: A3Net: Adversarial-and-Attention Network for Machine Reading Comprehension

abstract: In this paper, we introduce Adversarial-and-attention Network (A3Net) for Machine Reading Comprehension. This model extends existing approaches from two perspectives. First, adversarial training is applied to several target variables within the model, rather than only to the inputs or embeddings. We control the norm of adversarial perturbations according to the norm of original target variables, so that we can jointly add perturbations to several target variables during training. As an effective regularization method, adversarial training improves robustness and generalization of our model. Second, we propose a multi-layer attention network utilizing three kinds of high-efficiency attention mechanisms. Multi-layer attention conducts interaction between question and passage within each layer, which contributes to reasonable representation and understanding of the model. Combining these two contributions, we enhance the diversity of dataset and the information extracting ability of the model at the same time. Meanwhile, we construct A3Net for the WebQA dataset. Results show that our model outperforms the state-of-the-art models (improving Fuzzy Score from 73.50% to 77.0%).


title: Learned Cardinalities: Estimating Correlated Joins with Deep Learning

abstract: We describe a new deep learning approach to cardinality estimation. MSCN is a multi-set convolutional network, tailored to representing relational query plans, that employs set semantics to capture query features and true cardinalities. MSCN builds on sampling-based estimation, addressing its weaknesses when no sampled tuples qualify a predicate, and in capturing join-crossing correlations. Our evaluation of MSCN using a real-world dataset shows that deep learning significantly enhances the quality of cardinality estimation, which is the core problem in query optimization.


title: NGTS-4b: A sub-Neptune Transiting in the Desert

abstract: We report the discovery of NGTS-4b, a sub-Neptune-sized planet transiting a 13th magnitude K-dwarf in a 1.34d orbit. NGTS-4b has a mass M=$20.6\pm3.0$M_E and radius R=$3.18\pm0.26$R_E, which places it well within the so-called "Neptunian Desert". The mean density of the planet ($3.45\pm0.95$g/cm^3) is consistent with a composition of 100% H$_2$O or a rocky core with a volatile envelope. NGTS-4b is likely to suffer significant mass loss due to relatively strong EUV/X-ray irradiation. Its survival in the Neptunian desert may be due to an unusually high core mass, or it may have avoided the most intense X-ray irradiation by migrating after the initial activity of its host star had subsided. With a transit depth of $0.13\pm0.02$%, NGTS-4b represents the shallowest transiting system ever discovered from the ground, and is the smallest planet discovered in a wide-field ground-based photometric survey.


title: Cobham's Theorem and Automaticity

abstract: We make certain bounds in Krebs' proof of Cobham's theorem explicit and obtain corresponding upper bounds on the length of a common prefix of an aperiodic $a$-automatic sequence and an aperiodic $b$-automatic sequence, where $a$ and $b$ are multiplicatively independent. We also show that an automatic sequence cannot have arbitrarily large factors in common with a Sturmian sequence.


title: Experimental search for the bound state singlet deuteron in the radiative n-p capture

abstract: We performed an experimental search for the bound state singlet deuteron predicted in some microscopic calculations. The predicted energy of this metastable level is in vicinity of the deuteron disintegration threshold. This state should manifest itself in two-photon transition following thermal neutron capture by protons. The experiment consists in the search for the second gamma-ray in the cascade through a high statistics measurement of $\gamma$-ray spectra after cold neutron capture by hydrogen nuclei. The upper limit $2\mu$b (2$\sigma$ level) is obtained for the cross section of the singlet deuteron production with the bound energy in the range 10-125 keV.


title: Diverse and Coherent Paragraph Generation from Images

abstract: Paragraph generation from images, which has gained popularity recently, is an important task for video summarization, editing, and support of the disabled. Traditional image captioning methods fall short on this front, since they aren't designed to generate long informative descriptions. Moreover, the vanilla approach of simply concatenating multiple short sentences, possibly synthesized from a classical image captioning system, doesn't embrace the intricacies of paragraphs: coherent sentences, globally consistent structure, and diversity. To address those challenges, we propose to augment paragraph generation techniques with 'coherence vectors', 'global topic vectors', and modeling of the inherent ambiguity of associating paragraphs with images, via a variational auto-encoder formulation. We demonstrate the effectiveness of the developed approach on two datasets, outperforming existing state-of-the-art techniques on both.


title: Delooping of high-dimensional spaces of string links

abstract: We study a connection between a multivariable version of the Goodwillie-Weiss' calculus of functors and derived mapping spaces of k-fold bimodules over a family of operads. As our main application, under the assumption $d_{i}+3\leq n$ for all $i\in \{1,\ldots,k\}$, we produce explicit deloopings of high-dimensional spaces of string links modulo immersions from $\sqcup_{i}\mathbb{R}^{d_{i}}$ to $\mathbb{R}^{n}$ and their polynomial approximations.


title: The XXL survey XXXV. The role of cluster mass in AGN activity

abstract: We present the results of a study of the AGN density in a homogeneous and well-studied sample of 167 bona fide X-ray galaxy clusters ($0.1<z<0.5$) from the XXL Survey. The results can provide evidence of the physical mechanisms that drive AGN and galaxy evolution within clusters. The XXL cluster sample mostly comprises poor and moderately rich structures ($M=10^{13} - 4\times10^{14} M_{\rm o}$). Our aim is to statistically study the demographics of cluster AGNs as a function of cluster mass and host galaxy position. To investigate the effect of the environment on AGN activity, we computed the fraction of spectroscopically confirmed X-ray AGNs ($L_{\rm X [0.5-10\,keV]}>10^{42}$ erg cm$^{-1}$) in bright cluster galaxies, up to $6r_{500}$ radius. To study the mass dependence and the evolution of the AGN population, we further divided the sample into low- and high-mass clusters and two redshift bins (0.1-0.28 and 0.28-0.5). We detect a significant excess of X-ray AGNs, at the 95% confidence level, in low-mass clusters between $0.5r_{500}$ and 2$r_{500}$, which drops to the field value within the cluster cores ($r<0.5r_{500}$). In contrast, high-mass clusters present a decreasing AGN fraction towards the cluster centres. The high AGN fraction in the outskirts is caused by low-luminosity AGNs. It can be explained by a higher galaxy merging rate in low-mass clusters, where velocity dispersions are not high enough to prevent galaxy interactions and merging. Ram pressure stripping is possible in the cores of all our clusters, but probably stronger in deeper gravitational potentials. Compared with previous studies of massive or high-redshift clusters, we conclude that the AGN fraction in cluster galaxies anti-correlates strongly with cluster mass. The AGN fraction also increases with redshift, but at the same rate with the respective fraction in field galaxies.


title: Linear structure of functions with maximal Clarke subdifferential

abstract: It is hereby established that the set of Lipschitz functions $f:\mathcal{U}\rightarrow \mathbb{R}$ ($\mathcal{U}$ nonempty open subset of $\ell_{d}^{1}$) with maximal Clarke subdifferential contains a linear subspace of uncountable dimension (in particular, an isometric copy of $\ell^{\infty}(\mathbb{N})$). This result goes in the line of a previous result of Borwein-Wang. However, while the latter was based on Baire category theorem, our current approach is constructive and is not linked to the uniform convergence. In particular we establish lineability (and spaceability for the Lipschitz norm) of the above set inside the set of all Lipschitz continuous functions.


title: Heralded Bell State of Dissipative Qubits Using Classical Light in a Waveguide

abstract: Maximally entangled two-qubit states (Bell states) are of central importance in quantum technologies. We show that heralded generation of a maximally entangled state of two intrinsically open qubits can be realized in a one-dimensional (1d) system through strong coherent driving and continuous monitoring. In contrast to the natural idea that dissipation leads to decoherence and so destroys quantum effects, continuous measurement and strong interference in our 1d system generate a pure state with perfect quantum correlation between the two open qubits. Though the steady state is a trivial product state which has zero coherence or concurrence, we show that, with carefully tuned parameters, a Bell state can be generated in the system's quantum jump trajectories, heralded by a reflected photon. Surprisingly, this maximally entangled state survives the strong coherent state input---a classical state that overwhelms the system. This simple method to generate maximally entangled states using classical coherent light and photon detection may, since our qubits are in a 1d continuum, find application as a building block of quantum networks.


title: Segmenting and Sequencing of Compliant Motions

abstract: This paper proposes an approach for segmenting a task consisting of compliant motions into phases, learning a primitive for each segmented phase of the task, and reproducing the task by sequencing primitives online based on the learned model. As compliant motions can "probe" the environment, using the interaction between the robot and the environment to detect phase transitions can make the transitions less prone to positional errors. This intuition leads us to model a task with a non-homogeneous Hidden Markov Model (HMM), wherein hidden phase transition probabilities depend on the interaction with the environment (wrench measured by an F/T sensor). Expectation-maximization algorithm is employed in estimating the parameters of the HMM model. During reproduction, the phase changes of a task are detected online using the forward algorithm, with the parameters learned from demonstrations. Cartesian impedance controller parameters are learned from the demonstrations to reproduce each phase of the task. The proposed approach is studied with a KUKA LWR4+ arm in two setups. Experiments show that the method can successfully segment and reproduce a task consisting of compliant motions with one or more demonstrations, even when demonstrations do not have the same starting position and external forces occur from different directions. Finally, we demonstrate that the method can also handle rotational motions.


title: Strong interaction between kaons in the reactions e+ e- --> K+ K- gamma and e+ e- --> K0 K0bar gamma

abstract: A theoretical model of the reactions e+ e- --> K+ K- gamma and e+ e- --> K0 K0bar gamma has been derived. The strong interaction between kaons is taken into account using a general form of the K Kbar scattering amplitude. It is shown that some models formulated in the past are particular cases of the present approach. The formulae for the K Kbar effective mass dependence of the differential cross section as well as for the angular kaon and photon distributions and for the branching fractions of the phi(1020)--> K+ K- gamma and phi(1020)--> K0 K0bar gamma decays have been obtained. We present numerical results for the functions entering into transition amplitudes, K Kbar effective mass distributions, total cross sections, and branching fractions. Finally, the model is generalized to treat other reactions with two pseudoscalar mesons accompanying a photon in the final state.


title: Asymmetry of the neutrino mean free path in hot neutron matter under strong magnetic fields

abstract: The neutrino mean free path in neutron matter under a strong magnetic field is evaluated for the inelastic scattering reaction and studied as a function of the neutron matter density in the range $0.05 \leq \rho \leq 0.4$ fm$^{-3}$ for several temperatures up to 30 MeV and magnetic field strengths B=0 G, $10^{18}$ G and $2.5\times 10^{18}$ G. Polarized neutron matter is described within the non--relativistic Brueckner--Hartree--Fock (BHF) approach using the Argonne V18 nucleon-nucleon potential supplemented with the Urbana IX three-nucleon force. Explicit expressions of the cross section per unit volume for the scattering of a neutrino with a spin up or spin down neutron are derived from the Fermi Golden rule. Our results show that the mean free path depends strongly on the angle of the incoming neutrino, leading to an asymmetry in this quantity. This asymmetry depends on the magnetic field intensity and on the density, but it is rather independent of the temperature. For a density of $0.16$ fm$^{-3}$ at a temperature T$=30$MeV, the asymmetry in the mean free path is found to be of $\sim 15\%$ for B=$10^{18}$G and $\sim 38\%$ for B=$2.5 \times 10^{18}$G.


title: Proving Heliocentrism and Measuring the Astronomical Unit in a Laboratory Astronomy Class via the Aberration of Starlight

abstract: The objective reality of the Earth's motion about the Sun was finally proven observationally by Bradley (1727) when he correctly explained the ~20'' annual, elliptical motions of stars as being due to aberration of starlight caused by the motion of the Earth. This effect can be detected today with ordinary astrophotographic equipment by measuring the coordinates of the center of star trails, which reveal the apparent position of the Celestial Poles, which vary due to the aberration of starlight, in addition to the effects of the nutation and precession of Earth's Poles. Despite my aspirations, I have not found the time to even begin the project of measuring the aberration. I nonetheless feel that it is a rich project in observational astronomy and fundamental physics, and a pleasingly didactic exercise appropriate for upper-division undergraduate and graduate astronomy and physics laboratory classes, whose complexity and length may be justified by the novelty of proving heliocentrism with nothing but a small telescope and camera. I therefore publish this Research Note to disseminate the idea in hopes that I might receive word in a few years of a triumphant astronomy class's proof of heliocentrism, along with their best estimates of the astronomical unit and precession.


title: Tau-functions \`a la Dub\'edat and probabilities of cylindrical events for double-dimers and CLE(4)

abstract: Building upon recent results of Dub\'edat (see arXiv:1403.6076) on the convergence of topological correlators in the double-dimer model considered on Temperleyan approximations $\Omega^\delta$ to a simply connected domain $\Omega\subset\mathbb C$ we prove the convergence of probabilities of cylindrical events for the \emph{double-dimer loop ensembles} on $\Omega^\delta$ as $\delta\to 0$. More precisely, let $\lambda_1,\dots,\lambda_n\in\Omega$ and $L$ be a macroscopic lamination on $\Omega\setminus\{\lambda_1,\dots,\lambda_n\}$, i.e., a collection of disjoint simple loops surrounding at least two punctures considered up to homotopies. We show that the probabilities $P_L^\delta$ that one obtains $L$ after withdrawing all loops surrounding no more than one puncture from a double-dimer loop ensemble on $\Omega^\delta$ converge to a conformally invariant limit $P_L$ as $\delta \to 0$, for each $L$. Though our primary motivation comes from 2D statistical mechanics and probability, the proofs are of a purely analytic nature. The key techniques are the analysis of entire functions on the representation variety $\mathrm{Hom}(\pi_1(\Omega\setminus\{\lambda_1,\dots,\lambda_n\})\to\mathrm{SL}_2(\mathbb C))$ and on its (non-smooth) subvariety of locally unipotent representations. In particular, we do \emph{not} use any RSW-type arguments for double-dimers. The limits $P_L$ of the probabilities $P_L^\delta$ are defined as coefficients of the isomonodormic tau-function studied by Dub\'edat with respect to the Fock--Goncharov lamination basis on the representation variety. The fact that $P_L$ coincides with the probability to obtain $L$ from a sample of the nested CLE(4) in $\Omega$ requires a small additional input, namely a mild crossing estimate for this nested conformal loop ensemble.


title: Some Bright Stars with Smooth Continua for Calibrating the Response of High Resolution Spectrographs

abstract: When characterizing a high resolution echelle spectrograph, for instance for precise Doppler work, it is useful to observe featureless sources such as quartz lamps or hot stars to determine the response of the instrument. Such sources provide a way to determine the blaze function of the orders, pixel-to-pixel variations in the detector, fringing in the system, and other important characteristics. In practice, however, many B or early A stars do not provide a smooth continuum, whether because they are not rotating rapidly enough or for some other reason. In fact, we have found that published rotational velocities and temperatures are not a specific and sensitive guide to whether a star's continuum will be smooth. A useful resource for observers, therefore, is a list of "good" hot stars: bright, blue stars known empirically to have no lines or other spectral features beyond the Balmer series with minima below 95% of the continuum. We have compiled a list of such stars visible from Northern Hemisphere telescopes. This list includes all stars listed in the Yale Bright Star Catalog (Hoffleit & Jaschek 1991) as being single with V < 5.5, v sin i > 175 km/s, and declination > -30, and many other hot stars that we have found useful for calibration purposes. The list here of "bad" stars may also be of interest in studies of hot, slowly rotating stars.


title: Microlens mass determination for Gaia's predicted photometric events

abstract: We used Gaia Data Release 2 to search for upcoming photometric microlensing events, identifying two candidates with high amplification. In the case of candidate 1, a spectrum of the lens (l1) confirms it is a usdM3 subdwarf with mass $\approx 0.11 M_\odot$, while the event reaches maximum amplification of $20^{+20}_{-10}$ mmag on November 3rd 2019 ($\pm$1d). For candidate 2, the lens (l2) is a metal-poor M dwarf with mass $\approx 0.38 M_\odot$ derived from spectral energy distribution (SED) fitting, and maximum amplification of $10^{+40}_{-10}$ mmag occurs on June 3rd 2019 ($\pm$4d). This permits a new algorithm for mass inference on the microlens. Given the predicted time, the photometric lightcurve of these events can be densely sampled by ground-based telescopes. The lightcurve is a function of the unknown lens mass, together with 8 other parameters for all of which Gaia provides measurements and uncertainties. Leveraging this prior information on the source and lens provided by Gaia's astrometric solution, and assuming that a ground-based campaign can provide 50 measurements at mmag precision, we show for example that the mass of l1 can be recovered to within 20 per cent (68 per cent confidence limit).


title: A Reassessment of Families of Solutions to the Puzzle of Boyajian's Star

abstract: Wright & Sigurdsson (2016) described several families of plausible solutions to the puzzle of Boyajian's Star (Boyajian et al. 2016), and ranked some of them by their subjective plausibility. Since then, theoretical and observational work have altered many families' plausibility, and so in this Research Note I reassess them, including the possibilities of intrinsic variation, intervening ISM or circum-black hole material, and circumstellar material such as exocomets.


title: Proper likelihood ratio based ROC curves for general binary classification problems

abstract: Everybody writes that ROC curves, a very common tool in binary classification problems, should be optimal, and in particular concave, non-decreasing and above the 45-degree line. Everybody uses ROC curves, theoretical and especially empirical, which are not so. This work is an attempt to correct this schizophrenic behavior. Optimality stems from the Neyman-Pearson lemma, which prescribes using likelihood-ratio based ROC curves. Starting from there, we give the most general definition of a likelihood-ratio based classification procedure, which encompasses finite, continuous and even more complex data types. We point out a strict relationship with a general notion of concentration of two probability measures. We give some nontrivial examples of situations with non-monotone and non-continuous likelihood ratios. Finally, we propose the ROC curve of a likelihood ratio based Gaussian kernel flexible Bayes classifier as a proper default alternative to the usual empirical ROC curve.


title: Topological recognition of critical transitions in time series of cryptocurrencies

abstract: We analyze the time series of four major cryptocurrencies (Bitcoin, Ethereum, Litecoin, and Ripple) before the digital market crash at the end of 2017 - beginning 2018. We introduce a methodology that combines topological data analysis with a machine learning technique -- $k$-means clustering -- in order to automatically recognize the emerging chaotic regime in a complex system approaching a critical transition. We first test our methodology on the complex system dynamics of a Lorenz-type attractor, and then we apply it to the four major cryptocurrencies. We find early warning signals for critical transitions in the cryptocurrency markets, even though the relevant time series exhibit a highly erratic behavior.


title: Convolutional Neural Network for Trajectory Prediction

abstract: Predicting trajectories of pedestrians is quintessential for autonomous robots which share the same environment with humans. In order to effectively and safely interact with humans, trajectory prediction needs to be both precise and computationally efficient. In this work, we propose a convolutional neural network (CNN) based human trajectory prediction approach. Unlike more recent LSTM-based moles which attend sequentially to each frame, our model supports increased parallelism and effective temporal representation. The proposed compact CNN model is faster than the current approaches yet still yields competitive results.


title: The Indirect Cost of Information

abstract: We study the indirect cost of information from sequential information cost minimization. A key sub-additivity condition, together with monotonicity equivalently characterizes the class of indirect cost functions generated from any direct information cost. Adding an extra (uniform) posterior separability condition equivalently characterizes the indirect cost generated from any direct cost favoring incremental evidences. We also provide the necessary and sufficient condition when prior independent direct cost generates posterior separable indirect cost.


title: The Inverse Square Law And Newtonian Dynamics space explorer (ISLAND)

abstract: The ISLAND (Inverse Square Law And Newtonian Dynamics) Space Explorer is a new concept to test the gravitational Inverse Square Law at: (1) submillimeter scale and (2) at the largest Solar System scales (dozens of Astronomical Units --AU). The main idea is to embark a torsion pendulum at the center of gravity of a dedicated, possibly drag-free and attitude-controlled, interplanetary probe whose gravitational environment is accurately probed by, and corrected for thanks to six ultrasensitive accelerometers arranged as a cross around the torsion pendulum.


title: Multi-Level Structured Self-Attentions for Distantly Supervised Relation Extraction

abstract: Attention mechanisms are often used in deep neural networks for distantly supervised relation extraction (DS-RE) to distinguish valid from noisy instances. However, traditional 1-D vector attention models are insufficient for the learning of different contexts in the selection of valid instances to predict the relationship for an entity pair. To alleviate this issue, we propose a novel multi-level structured (2-D matrix) self-attention mechanism for DS-RE in a multi-instance learning (MIL) framework using bidirectional recurrent neural networks. In the proposed method, a structured word-level self-attention mechanism learns a 2-D matrix where each row vector represents a weight distribution for different aspects of an instance regarding two entities. Targeting the MIL issue, the structured sentence-level attention learns a 2-D matrix where each row vector represents a weight distribution on selection of different valid in-stances. Experiments conducted on two publicly available DS-RE datasets show that the proposed framework with a multi-level structured self-attention mechanism significantly outperform state-of-the-art baselines in terms of PR curves, P@N and F1 measures.


title: New Jupiter Satellites and Moon-Moon Collisions

abstract: We report the discovery of 12 new satellites of Jupiter, giving Jupiter 79 known satellites. The new finds are between 23rd-24th mag in the r-band and 1-3 km in diameter assuming dark albedos. Nine of the discoveries are in the distant retrograde satellite groupings. Two of the new satellites are in the closer Himalia prograde group near 28 degrees in inclination. S/2016 J2, nicknamed Valetudo, has an orbit unlike any other known outer satellite and is the most distant prograde satellite around any planet at 0.36 Hill radii. Numerical simulations show S/2016 J2 is very stable, with average and range of i=34.2+-3 deg, e=0.216+-0.125, and a=18.9+-0.7 million km over 100 Myrs. Our stability simulations show a S/2016 J2 like orbit would be stable out to a=21.8 million km or 0.41 Hill radii, but no further, unlike more distant and eccentric retrograde satellites. S/2016 J2's large semi-major axis means it significantly overlaps the orbits of the distant retrogrades. A prograde-retrograde moon-moon collision between outer satellites of Jupiter has likely happened over the age of the solar system.


title: Regularity results for viscous 3D Boussinesq temperature fronts

abstract: This paper is about the dynamics of non-diffusive temperature fronts evolving by the incompressible viscous Boussinesq system in $\mathbb{R}^3$. We provide local in time existence results for initial data of arbitrary size. Furthermore, we show global in time propagation of regularity for small initial data in critical spaces. The developed techniques allow to consider general fronts where the temperature is piecewise H\"older (not necessarily constant), which preserve their structure together with the regularity of the evolving interface.


title: Induced current in high-dimensional AdS spacetime in the presence of a cosmic string and a compactified extra dimension

abstract: In this paper, we analyse the bosonic current densities induced by a magnetic flux running along the core of an idealized cosmic string in a high-dimensional AdS spacetime, admitting that an extra dimension coordinate is compactified. Additionally we admit the presence of a magnetic flux enclosed by the compactified axis. In order to develop this analysis we calculate the complete set of normalized bosonic wave-functions obeying a quasiperiodicity condition, with arbitrary phase $\beta$, along the compactified extra dimension. In this context, only azimuthal and axial currents densities take place. As to the azimuthal current, two contributions appear. The first one corresponds to the standard azimuthal current in high-dimensional AdS spacetime with a cosmic string without compactification while the second contribution is a new one, induced by the compactification itself. The latter is an even function of the magnetic flux enclosed by the compactified axis and is an odd function of the magnetic flux along its core with period equal to quantum flux, $\Phi_0=2\pi/e$. On the other hand, the nonzero axial current density is an even function of the magnetic flux along the core of the string and an odd function of the magnetic flux enclosed by the compactified axis. We also find that the axial current density vanishes for untwisted and twisted bosonic fields in the absence of the magnetic flux enclosed by the compactified axis. Some asymptotic expressions for the current density are provided for specific limiting cases of the physical parameter of the model.


title: FRIB and the GW170817 Kilonova

abstract: In July 2018 an FRIB Theory Alliance program was held on the implications of GW170817 and its associated kilonova for r-process nucleosynthesis. Topics of discussion included the astrophysical and nuclear physics uncertainties in the interpretation of the GW170817 kilonova, what we can learn about the astrophysical site or sites of the r process from this event, and the advances in nuclear experiment and theory most crucial to pursue in light of the new data. Here we compile a selection of scientific contributions to the workshop, broadly representative of progress in r-process studies since the GW170817 event.


title: An iterative process for approximating subactions

abstract: We describe a procedure based on the iteration of an initial function by an appropriated operator, acting on continuous functions, in order to get a fixed point. This fixed point will be a calibrated subaction for the doubling map on the circle and a fixed Lipschitz potential. We study analytical and generic properties of this process and we provide some computational evaluations of subactions using a discretization of the circle. The fixed point is unique if the maximizing probability is unique. We proceed a careful analysis of the dynamics of this operator close by the fixed point in order to explain the difficulty in estimating its asymptotic behavior. We will show that the convergence rate can be in some moments like $1/2$ and sometimes arbitrarily close to $1$.


title: The blue straggler V106 in NGC6791: A prototype progenitor of old single giants masquerading as young

abstract: We determine the properties of the binary star V106 in the old open cluster NGC6791. We identify the system to be a blue straggler cluster member by using a combination of ground-based and Kepler photometry and multi-epoch spectroscopy. The properties of the primary component are found to be $M_{\rm p}\sim1.67 \rm M_{\odot}$, more massive than the cluster turn-off, with $R_{\rm p}\sim1.91 \rm R_{\odot}$ and $T_{\rm eff}=7110\pm100$ K. The secondary component is highly oversized and overluminous for its low mass with $M_{\rm s}\sim0.182 \rm M_{\odot}$, $R_{\rm s}\sim0.864 \rm R_{\odot}$ and $T_{\rm eff}=6875\pm200$ K. We identify this secondary star as a bloated (proto) extremely low-mass helium white dwarf. These properties of V106 suggest that it represents a typical Algol-paradox system and that it evolved through a mass-transfer phase which provides insight into its past evolution. We present a detailed binary stellar evolution model for the formation of V106 using the MESA code and find that the mass-transfer phase only ceased about 40 Myr ago. Due to the short orbital period (P=1.4463 d) another mass-transfer phase is unavoidable once the current primary star evolves towards the red giant phase. We argue that V106 will evolve through a common-envelope phase within the next 100 Myr and merge to become a single over-massive giant. The high mass will make it appear young for its true age, which is revealed by the cluster properties. Therefore, V106 is potentially a prototype progenitor of old field giants masquerading as young.


title: A Minimum Discounted Reward Hamilton-Jacobi Formulation for Computing Reachable Sets

abstract: We propose a novel formulation for approximating reachable sets through a minimum discounted reward optimal control problem. The formulation yields a continuous solution that can be obtained by solving a Hamilton-Jacobi equation. Furthermore, the numerical approximation to this solution can be obtained as the unique fixed-point to a contraction mapping. This allows for more efficient solution methods that could not be applied under traditional formulations for solving reachable sets. In addition, this formulation provides a link between reinforcement learning and learning reachable sets for systems with unknown dynamics, allowing algorithms from the former to be applied to the latter. We use two benchmark examples, double integrator, and pursuit-evasion games, to show the correctness of the formulation as well as its strengths in comparison to previous work.


title: Non-Canonical Hamiltonian Structure and Poisson Bracket for 2D Hydrodynamics with Free Surface

abstract: We consider Euler equations for potential flow of ideal incompressible fluid with a free surface and infinite depth in two dimensional geometry. Both gravity forces and surface tension are taken int account. A time-dependent conformal mapping is used which maps a lower complex half plane of the auxiliary complex variable $w$ into a fluid's area with the real line of $w$ mapped into the free fluid's surface. We reformulate the exact Eulerian dynamics through a non-canonical nonlocal Hamiltonian structure for a pair of the Hamiltonian variables. These two variables are the imaginary part of the conformal map and the fluid's velocity potential both evaluated of fluid's free surface. The corresponding Poisson bracket is non-degenerate, i.e. it does not have any Casimir invariant. Any two functionals of the conformal mapping commute with respect to the Poisson bracket. New Hamiltonian structure is a generalization of the canonical Hamiltonian structure of Ref. V.E. Zakharov, J. Appl. Mech. Tech. Phys. 9, 190 (1968) which is valid only for solutions for which the natural surface parametrization is single valued, i.e. each value of the horizontal coordinate corresponds only to a single point on the free surface. In contrast, new non-canonical Hamiltonian equations are valid for arbitrary nonlinear solutions (including multiple-valued natural surface parametrization) and are equivalent to Euler equations. We also consider a generalized hydrodynamics with the additional physical terms in the Hamiltonian beyond the Euler equations. In that case we identified powerful reductions which allowed to find general classes of particular solutions.


title: Molecular Signature of Polyoxometalates in Electron Transport of Silicon-based Molecular Junctions

abstract: Polyoxometalates (POMs) are unconventional electro-active molecules with a great potential for applications in molecular memories, providing efficient processing steps onto electrodes are available. The synthesis of the organic-inorganic polyoxometalate hybrids [PM$_{11}$O$_{39}$(Sn(C$_6$H$_4$)C$\equiv$C(C$_6$H$_4$)N$_2$)]$^{3-}$ (M = Mo, W) endowed with a remote diazonium function is reported together with their covalent immobilization onto hydrogenated n-Si(100) substrates. Electron transport measurements through the resulting densely-packed monolayers contacted with a mercury drop as a top electrode confirms their homogeneity. Adjustment of the current-voltage curves with the Simmons equation gives a mean tunnel energy barrier of 1.8 eV and 1.6 eV, for the Silicon-Molecules-Metal (SMM) junctions based on the polyoxotungstates (M = W) and polyoxomolybdates (M = Mo), respectively. This follows the trend observed in the electrochemical properties of POMs in solution, the polyoxomolybdates being easier to reduce than the polyoxotungstates, in agreement with lowest unoccupied molecular orbitals (LUMOs) of lower energy. The molecular signature of the POMs is thus clearly identifiable in the solid-state electrical properties and the unmatched diversity of POM molecular and electronic structures should offer a great modularity.


title: Non-Interacting Motzkin Chain - Periodic Boundary Conditions

abstract: The Motzkin spin chain is a spin-1 model introduced in \cite{shor} as an example of a system exhibiting a high degree of quantum fluctuations whose ground state can be mapped to Motzkin paths that are generated with local equivalence moves. This model is difficult to solve in general but keeping just the height preserving local equivalence moves we show that the model becomes integrable which when projected to certain subspaces of the full Hilbert space is isomorphic to the spin-$\frac{1}{2}$ XXX chain. In fact in the full Hilbert space the system is akin to two non-interacting spin-$\frac{1}{2}$ XXX chains making the spectrum the same as the latter with the change coming in the degeneracy of the states. We then show that including the height-changing local-equivalence move is the same as introducing interactions in the above system.


title: A Dual Approach for Optimal Algorithms in Distributed Optimization over Networks

abstract: We study dual-based algorithms for distributed convex optimization problems over networks, where the objective is to minimize a sum $\sum_{i=1}^{m}f_i(z)$ of functions over in a network. We provide complexity bounds for four different cases, namely: each function $f_i$ is strongly convex and smooth, each function is either strongly convex or smooth, and when it is convex but neither strongly convex nor smooth. Our approach is based on the dual of an appropriately formulated primal problem, which includes a graph that models the communication restrictions. We propose distributed algorithms that achieve the same optimal rates as their centralized counterparts (up to constant and logarithmic factors), with an additional optimal cost related to the spectral properties of the network. Initially, we focus on functions for which we can explicitly minimize its Legendre-Fenchel conjugate, i.e., admissible or dual friendly functions. Then, we study distributed optimization algorithms for non-dual friendly functions, as well as a method to improve the dependency on the parameters of the functions involved. Numerical analysis of the proposed algorithms is also provided.