title: Near-Infrared Spectroscopy of Galaxies During Reionization: Measuring C$\,$III] in a Galaxy at $\mathbf{z=7.5}$

abstract: We present Keck/MOSFIRE $H$-band spectroscopy targeting C$\,$III] $\lambda$1907,1909 in a $z=7.5056$ galaxy previously identified via Ly$\alpha$ emission. We detect strong line emission at $1.621\pm0.002\,\mu$m with a line flux of ($2.63\pm0.52$)$\times10^{-18}$ erg s$^{-1}$ cm$^{-2}$. We tentatively identify this line as [C$\,$III] $\lambda$1907, but we are unable to detect C$\,$III] $\lambda$1909 owing to sky emission at the expected location. This gives a galaxy systemic redshift, $z_{sys}=7.5032\pm0.0003$, with a velocity offset to Ly$\alpha$ of $\Delta$v$_{Ly\alpha}$ = $88\pm27$ km s$^{-1}$. The ratio of combined C$\,$III]/Ly$\alpha$ is 0.30-0.45, one of the highest values measured for any $z>2$ galaxy. We do not detect Si$\,$III] $\lambda\lambda$1883, 1892, and place an upper limit on Si$\,$III]/C$\,$III] $<$ 0.35 ($2\sigma$). Comparing our results to photoionization models, the C$\,$III] equivalent width (W$_{\text{CIII]}} = 16.23\pm2.32\,$\AA), low Si$\,$III]/C$\,$III] ratio, and high implied [O$\,$III] equivalent width (from the $Spitzer$/IRAC [3.6]$-$[4.5]$\simeq$0.8 mag color) require sub-Solar metallicities ($Z\simeq0.1-0.2 Z_{\odot}$) and a high ionization parameter, log$\,$U $\gtrsim -1.5$. These results favor models that produce higher ionization, such as the BPASS models for the photospheres of high-mass stars, and that include both binary stellar populations and/or an IMF that extends to 300 M$_{\odot}$. The combined C$\,$III] equivalent width and [3.6]$-$[4.5] color are more consistent with ionization from young stars than AGN, however we cannot rule out ionization from a combination of an AGN and young stars. We make predictions for $James~Webb~Space~Telescope$ spectroscopy using these different models, which will ultimately test the nature of the ionizing radiation in this source.


title: Confirming Herschel candidate protoclusters from ALMA/VLA CO observations

abstract: ALMA 870$\mu$m continuum imaging has uncovered a population of blends of multiple dusty star-forming galaxies (DSFGs) in sources originally detected with the Herschel Space Observatory. However, their pairwise separations are much smaller that what is found by ALMA follow-up of other single-dish surveys or expected from theoretical simulations. Using ALMA and VLA, we have targeted three of these systems to confirm whether the multiple 870$\mu$m continuum sources lie at the same redshift, successfully detecting $^{12}$CO($J = 3$-2) and $^{12}$CO($J = 1$-0) lines and being able to confirm that in the three cases all the multiple DSFGs are likely physically associated within the same structure. Therefore, we report the discovery of two new gas-rich dusty protocluster cores (HELAISS02, $z = 2.171 \pm 0.004$; HXMM20, $z = 2.602 \pm 0.002$). The third target is located in the well known COSMOS overdensity at $z = 2.51$ (named CL J1001+0220 in the literature), for which we do not find any new secure CO(1-0) detection, although some of its members show only tentative detections and require further confirmation. From the gas, dust, and stellar properties of the two new protocluster cores, we find very large molecular gas fractions yet low stellar masses, pushing the sources above the main sequence, while not enhancing their star formation efficiency. We suggest that the sources might be newly formed galaxies migrating to the main sequence. The properties of the three systems compared to each other and to field galaxies may suggest a different evolutionary stage between systems.


title: Sterile neutrino dark matter via GeV-scale leptogenesis?

abstract: It has been proposed that in a part of the parameter space of the Standard Model completed by three generations of keV...GeV right-handed neutrinos, neutrino masses, dark matter, and baryon asymmetry can be accounted for simultaneously. Here we numerically solve the evolution equations describing the cosmology of this scenario in a 1+2 flavour situation at temperatures $T \le 5$ GeV, taking as initial conditions maximal lepton asymmetries produced dynamically at higher temperatures, and accounting for late entropy and lepton asymmetry production as the heavy flavours fall out of equilibrium and decay. For 7 keV dark matter mass and other parameters tuned favourably, $\sim 10\%$ of the observed abundance can be generated. Possibilities for increasing the abundance are enumerated.


title: A Bound on Chaos from Stability

abstract: We explore the quantum chaos of the coadjoint orbit action. We study quantum fluctuation around a saddle point to evaluate the soft mode contribution to the out-of-time-ordered correlator. We show that the stability condition of the semi-classical analysis of the coadjoint orbit found by Witten (1988) leads to the upper bound on the Lyapunov exponent which is identical to the bound on chaos proven in arXiv:1503.01409. The bound is saturated by the coadjoint orbit $\text{Diff}(S^1)/SL(2)$ while the other stable orbit $\text{Diff}(S^1)/U(1)$ where the $SL(2,\mathbb{R})$ is broken to $U(1)$ has non-maximal Lyapunov exponent.


title: To Positivity and Beyond, where Higgs-Dilaton Inflation has never gone before

abstract: We study the consequences of (beyond) positivity of scattering amplitudes in the effective field theory description of the Higgs-Dilaton inflationary model. By requiring the EFT to be compatible with a unitary, causal, local and Lorentz invariant UV completion, we derive constraints on the Wilson coefficients of the first higher order derivative operators. We show that the values allowed by the constraints are consistent with the phenomenological applications of the Higgs-Dilaton model.


title: A Study of the 20 Day Superorbital Modulation in the High-Mass X-ray Binary IGR J16493-4348

abstract: We report on Nuclear Spectroscopic Telescope Array (NuSTAR), Neil Gehrels Swift Observatory (Swift) X-ray Telescope (XRT) and Swift Burst Alert Telescope (BAT) observations of IGR J16493-4348, a wind-fed Supergiant X-ray Binary (SGXB) showing significant superorbital variability. From a discrete Fourier transform of the BAT light curve, we refine its superorbital period to be 20.058 $\pm$ 0.007 days. The BAT dynamic power spectrum and a fractional root mean square analysis both show strong variations in the amplitude of the superorbital modulation, but no observed changes in the period were found. The superorbital modulation is significantly weaker between MJD 55,700 and MJD 56,300. The joint NuSTAR and XRT observations, which were performed near the minimum and maximum of one cycle of the 20 day superorbital modulation, show that the flux increases by more than a factor of two between superorbital minimum and maximum. We find no significant changes in the 3-50 keV pulse profiles between superorbital minimum and maximum, which suggests a similar accretion regime. Modeling the pulse-phase averaged spectra we find a possible Fe K$\alpha$ emission line at 6.4 keV at superorbital maximum. The feature is not significant at superorbital minimum. While we do not observe any significant differences between the pulse-phase averaged spectral continua apart from the overall flux change, we find that the hardness ratio near the broad main peak of the pulse profile increases from superorbital minimum to maximum. This suggests the spectral shape hardens with increasing luminosity. We discuss different mechanisms that might drive the observed superorbital modulation.


title: Spatially-resolved stellar populations and kinematics with KCWI: probing the assembly history of the massive early-type galaxy NGC 1407

abstract: Using the newly commissioned KCWI instrument on the Keck-II telescope, we analyse the stellar kinematics and stellar populations of the well-studied massive early-type galaxy (ETG) NGC 1407. We obtained high signal-to-noise integral-field-spectra for a central and an outer (around one effective radius towards the south-east direction) pointing with integration times of just 600s and 2400s, respectively. We confirm the presence of a kinematically distinct core also revealed by VLT/MUSE data of the central regions. While NGC 1407 was previously found to have stellar populations characteristic of massive ETGs (with radially constant old ages and high alpha-enhancements), it was claimed to show peculiar super-solar metallicity peaks at large radius that deviated from an otherwise strong negative metallicity gradient, which is hard to reconcile within a `two-phase' formation scenario. Our outer pointing confirms the near-uniform old ages and the presence of a steep metallicity gradient, but with no evidence for anomalously high metallicity values at large galactocentric radii. We find a rising outer velocity dispersion profile and high values of the 4th-order kinematic moment -- an indicator of possible anisotropy. This coincides with the reported transition from a bottom-heavy to a Salpeter initial mass function, which may indicate that we are probing the transition region from the `in-situ' to the accreted phase. With short exposures, we have been able to derive robust stellar kinematics and stellar populations in NGC 1407 to about 1 effective radius. This experiment shows that future work with KCWI will enable 2D kinematics and stellar populations to be probed within the low surface brightness regions of galaxy halos in an effective way.


title: Data Cooperatives: Towards a Foundation for Decentralized Personal Data Management

abstract: Data cooperatives with fiduciary obligations to members provide a promising direction for the empowerment of individuals through their own personal data. A data cooperative can manage, curate and protect access to the personal data of citizen members. Furthermore, the data cooperative can run internal analytics in order to obtain insights regarding the well-being of its members. Armed with these insights, the data cooperative would be in a good position to negotiate better services and discounts for its members. Credit Unions and similar institutions can provide a suitable realization of data cooperatives.


title: An Emergent Solution to the Strong CP Problem

abstract: We construct a theory in which the solution to the strong CP problem is an emergent property of the background of the dark matter in the Universe. The role of the axion degree of freedom is played by multi-body collective excitations similar to spin-waves in the medium of the dark matter of the Galactic halo. The dark matter is a vector particle whose low energy interactions with the Standard Model take the form of its spin density coupled to $G \widetilde{G}$, which induces a potential on the average spin density inducing it to compensate $\overline{\theta}$, effectively removing CP violation in the strong sector in regions of the Universe with sufficient dark matter density. We discuss the viable parameter space, finding that light dark matter masses within a few orders of magnitude of the fuzzy limit are preferred, and discuss the associated signals with this type of solution to the strong CP problem.


title: Quantum circuit approximations and entanglement renormalization for the Dirac field in 1+1 dimensions

abstract: The multiscale entanglement renormalization ansatz describes quantum many-body states by a hierarchical entanglement structure organized by length scale. Numerically, it has been demonstrated to capture critical lattice models and the data of the corresponding conformal field theories with high accuracy. However, a rigorous understanding of its success and precise relation to the continuum is still lacking. To address this challenge, we provide an explicit construction of entanglement-renormalization quantum circuits that rigorously approximate correlation functions of the massless Dirac conformal field theory. We directly target the continuum theory: discreteness is introduced by our choice of how to probe the system, not by any underlying short-distance lattice regulator. To achieve this, we use multiresolution analysis from wavelet theory to obtain an approximation scheme and to implement entanglement renormalization in a natural way. This could be a starting point for constructing quantum circuit approximations for more general conformal field theories.


title: Spin-momentum locked modes on anti-phase boundaries in photonic crystals

abstract: An anti-phase boundary is formed by shifting a portion of photonic crystal lattice along the direction of periodicity. A spinning magnetic dipole is applied to excite edge modes on the anti-phase boundary. We show the unidirectional propagation of the edge modes which is also known as spin-momentum locking. Band inversion of the edge modes is discovered when we sweep the geometrical parameters, which leads to a change in the propagation direction. Also, an optimized source is applied to excite the unidirectional edge mode with high directivity.


title: Type IIB flux vacua and tadpole cancellation

abstract: We consider flux vacua for type IIB orientifold compactifications and study their interplay with the tadpole-cancellation condition. As a concrete example we focus on $\mathbb T^6/\mathbb Z_2\times \mathbb Z_2$, for which we find that solutions to the F-term equations at weak coupling, large complex structure and large volume require large flux contributions. Such contributions are however strongly disfavored by the tadpole-cancellation condition. We furthermore find that solutions which stabilize moduli in this perturbatively-controlled regime are only a very small fraction of all solutions, and that the space of solutions is not homogenous but shows characteristic void structures and vacua concentrated on submanifolds.


title: Absolute frequency measurement of rubidium 5S-6P transitions

abstract: We report on measurements on the 5S-6P rubidium transition frequencies for rubidium isotopes with an absolute uncertainty of better than \SI{450}{kHz} for the 5S $\rightarrow$ 6P$_{1/2}$ transition and \SI{20}{kHz} for the 5S $\rightarrow$ 6P$_{3/2}$ transition, achieved by saturation absorption spectroscopy. From the results we derive the hyperfine splitting with an accuracy of \SI{460}{kHz} and \SI{30}{kHz}, respectively. We also verify the literature values for the isotope shifts as well as magnetic dipole constant and the electric quadrupole constant.


title: Extragalactic Background Light: Inventory of light throughout the cosmic history

abstract: The Extragalactic Background Light (EBL) stands for the mean surface brightness of the sky as we would see it from a representative vantage point in the intergalactic space outside of our Milky Way Galaxy. Averaged over the whole 4 pi solid angle it represents the collective light from all luminous matter radiated throughout the cosmic history. Part of the EBL is resolved into galaxies that, with the increasing detecting power of giant telescopes and sensitive detectors, are seen to deeper and deeper limiting magnitudes. This resolved part is now known to contribute a substantial or even the major part of the EBL. There still remains, however, the challenge of finding out to what extent galaxies too faint or too diffuse to be discerned individually, individual stars or emission by gas outside the galaxies, or more speculatively, some hitherto unknown light sources such as decaying elementary particles are accounting for the remaining EBL. We review the recent progress that has been made in the measurement of EBL. The current photometric results suggest that there is, beyond the resolved galaxies, an EBL component that cannot be explained by diffuse galaxy halos or intergalactic stars.


title: Classical Stochastic Discrete Time Crystals

abstract: We describe a possible general and simple paradigm in a classical thermal setting for discrete time crystals (DTCs), systems with stable dynamics which is subharmonic to the driving frequency thus breaking discrete time-translational invariance. We consider specifically an Ising model in two dimensions, as a prototypical system with a phase transition into stable phases distinguished by a local order parameter, driven by a thermal dynamics and periodically kicked. We show that for a wide parameter range a stable DTC emerges. The phase transition to the DTC state appears to be in the equilibrium 2D Ising class when dynamics is observed stroboscopically. However, we show that the DTC is a genuine non-equilibrium state. More generally, we speculate that systems with thermal phase transitions to multiple competing phases can give rise to DTCs when appropriately driven.


title: Evidence for superconductivity in Rb metal above 55 GPa pressure

abstract: The only alkali metal known to be superconducting at ambient pressure is Li at 0.4 mK. Under 30 GPa pressure \textit{T}$_{c}$ for Li rises to 14 K. In addition, nearly 50 years ago the heavy alkali metal Cs was reported to become superconducting near 1.3 K at 12 GPa. In the present experiment the superconductivity of Cs under pressure is confirmed. In addition, strong evidence is presented in electrical resistivity measurements that neighboring Rb also becomes superconducting near 2 K at 55 GPa as it enters the \textit{oC}16 phase, as for Cs, where \textit{T}$_{c}$ decreases under the application of pressure. It would seem likely that under the right temperature/pressure conditions all alkali metals, including metallic hydrogen, will join the ranks of the superconducting elements. With the addition of Rb, 55 of the 92 naturally occurring elements are superconducting at ambient or high pressure.


title: Resonant Tori, Transport Barriers, and Chaos in a Vector Field with a Neimark-Sacker Bifurcation

abstract: We make a detailed numerical study of a three dimensional dissipative vector field derived from the normal form for a cusp-Hopf bifurcation. The vector field exhibits a Neimark-Sacker bifurcation giving rise to an attracting invariant torus. Our main goals are to (A) follow the torus via parameter continuation from its appearance to its disappearance, studying its dynamics between these events, and to (B) study the embeddings of the stable/unstable manifolds of the hyperbolic equilibrium solutions over this parameter range, focusing on their role as transport barriers and their participation in global bifurcations. Taken together the results highlight the main features of the global dynamics of the system.


title: 12CO and 13CO J=3-2 observations toward N11 in the Large Magellanic Cloud

abstract: After 30 Doradus, N11 is the second largest and brightest nebula in the LMC. This large nebula has several OB associations with bright nebulae at its surroundings. N11 was previously mapped at the lowest rotational transitions of $^{12}$CO (J=1--0 and 2--1), and in some particular regions pointings of the $^{13}$CO J=1--0 and 2--1 lines were also performed. Using ASTE we mapped the whole extension of the N11 nebula in the $^{12}$CO J=3--2 line, and three sub-regions in the $^{13}$CO J=3--2 line. The regions mapped in the $^{13}$CO J=3--2 were selected based on that they may be exposed to the radiation at different ways: a region lying over the nebula related to the OB association LH10 (N11B), another one that it is associated with the southern part of the nebula related to the OB association LH13 (N11D), and finally a farther area at the southwest without any embedded OB association (N11I). We found that the morphology of the molecular clouds lying in each region shows some signatures that could be explained by the expansion of the nebulae and the action of the radiation. Fragmentation generated in a molecular shell due to the expansion of the N11 nebula is suggested. The integrated line ratios $^{12}$CO/$^{13}$CO show evidences of selective photodissociation of the $^{13}$CO, and probably other mechanisms such as chemical fractionation. The CO contribution to the continuum at 870 $\mu$m was directly derived. The distribution of the integrated line ratios $^{12}$CO J=3--2/2--1 show hints of stellar feedback in N11B and N11D. The ratio between the virial and LTE mass (M$_{\rm vir}$/M$_{\rm LTE}$) is higher than unity in all analyzed molecular clumps, which suggests that the clumps are not gravitationally bounded and may be supported by external pressure. A non-LTE analysis suggests that we are mapping gas with densities about a few 10$^{3}$ cm$^{-3}$.


title: A definitive merger-AGN connection at z~0 with CFIS: mergers have an excess of AGN and AGN hosts are more frequently disturbed

abstract: The question of whether galaxy mergers are linked to the triggering of active galactic nuclei (AGN) continues to be a topic of considerable debate. The issue can be broken down into two distinct questions: 1) Can galaxy mergers trigger AGN? 2) Are galaxy mergers the dominant AGN triggering mechanism? A complete picture of the AGN-merger connection requires that both of these questions are addressed with the same dataset. In previous work, we have shown that galaxy mergers selected from the Sloan Digital Sky Survey (SDSS) show an excess of both optically-selected, and mid-IR colour-selected AGN, demonstrating that the answer to the first of the above questions is affirmative. Here, we use the same optical and mid-IR AGN selection to address the second question, by quantifying the frequency of morphological disturbances in low surface brightness r-band images from the Canada France Imaging Survey (CFIS). Only ~30 per cent of optical AGN host galaxies are morphologically disturbed, indicating that recent interactions are not the dominant trigger. However, almost 60 per cent of mid-IR AGN hosts show signs of visual disturbance, indicating that interactions play a more significant role in nuclear feeding. Both mid-IR and optically selected AGN have interacting fractions that are a factor of two greater than a mass and redshift matched non-AGN control sample, an excess that increases with both AGN luminosity and host galaxy stellar mass.


title: IdeoTrace: A Framework for Ideology Tracing with a Case Study on the 2016 U.S. Presidential Election

abstract: The 2016 United States presidential election has been characterized as a period of extreme divisiveness that was exacerbated on social media by the influence of fake news, trolls, and social bots. However, the extent to which the public became more polarized in response to these influences over the course of the election is not well understood. In this paper we propose IdeoTrace, a framework for (i) jointly estimating the ideology of social media users and news websites and (ii) tracing changes in user ideology over time. We apply this framework to the last two months of the election period for a group of 47508 Twitter users and demonstrate that both liberal and conservative users became more polarized over time.


title: Lower semicontinuity and relaxation of nonlocal $L^\infty$-functionals

abstract: We study variational problems involving nonlocal supremal functionals $L^\infty(\Omega;\mathbb{R}^m) \ni u\mapsto {\rm ess sup}_{(x,y)\in \Omega\times \Omega} W(u(x), u(y)),$ where $\Omega\subset \mathbb{R}^n$ is a bounded, open set and $W:\mathbb{R}^m\times\mathbb{R}^m\to \mathbb{R}$ is a suitable function. Motivated by existence theory via the direct method, we identify a necessary and sufficient condition for $L^\infty$-weak$^\ast$ lower semicontinuity of these functionals, namely, separate level convexity of a symmetrized and suitably diagonalized version of the supremands. More generally, we show that the supremal structure of the functionals is preserved during the process of relaxation. Whether the same statement holds in the related context of double-integral functionals is currently still open. Our proof relies substantially on the connection between supremal and indicator functionals. This allows us to recast the relaxation problem into characterizing weak$^\ast$ closures of a class of nonlocal inclusions, which is of independent interest. To illustrate the theory, we determine explicit relaxation formulas for examples of functionals with different multi-well supremands.


title: Smart Contract Development from the Perspective of Developers: Topics and Issues Discussed on Social Media

abstract: Blockchain-based platforms are emerging as a transformative technology that can provide reliability, integrity, and auditability without trusted entities. One of the key features of these platforms is the trustworthy decentralized execution of general-purpose computation in the form of smart contracts, which are envisioned to have a wide range of applications. As a result, a rapidly growing and active community of smart-contract developers has emerged in recent years. A number of research efforts have investigated the technological challenges that these developers face, introducing a variety of tools, languages, and frameworks for smart-contract development, focusing on security. However, relatively little is known about the community itself, about the developers, and about the issues that they face and discuss. To address this gap, we study smart-contract developers and their discussions on two social media sites, Stack Exchange and Medium. We provide insight into the trends and key topics of these discussions, into the developers' interest in various security issues and security tools, and into the developers' technological background.


title: Codebooks from generalized bent $\mathbb{Z}_4$-valued quadratic forms

abstract: Codebooks with small inner-product correlation have application in unitary space-time modulations, multiple description coding over erasure channels, direct spread code division multiple access communications, compressed sensing, and coding theory. It is interesting to construct codebooks (asymptotically) achieving the Welch bound or the Levenshtein bound. This paper presented a class of generalized bent $\mathbb{Z}_4$-valued quadratic forms, which contain functions of Heng and Yue (Optimal codebooks achieving the Levenshtein bound from generalized bent functions over $\mathbb{Z}_4$. Cryptogr. Commun. 9(1), 41-53, 2017). By using these generalized bent $\mathbb{Z}_4$-valued quadratic forms, we constructs optimal codebooks achieving the Levenshtein bound. These codebooks have parameters $(2^{2m}+2^m,2^m)$ and alphabet size $6$.


title: MOBSTER - II. Identification of rotationally variable A stars observed with \emph{TESS} in Sectors 1 to 4

abstract: Recently, high-precision optical 2~min cadence light curves obtained with \emph{TESS} for targets located in the mission's defined first four sectors have been released. The majority of these high-cadence and high-precision measurements currently span $\sim28\,{\rm d}$, thereby allowing periodic variability occurring on timescales $\lesssim14\,{\rm d}$ to potentially be detected. Magnetic chemically peculiar (mCP) A-type stars are well known to exhibit rotationally modulated photometric variability that is produced by inhomogeneous chemical abundance distributions in their atmospheres. While mCP stars typically exhibit rotation periods that are significantly longer than those of non-mCP stars, both populations exhibit typical periods $\lesssim10\,{\rm d}$; therefore, the early \emph{TESS} releases are suitable for searching for rotational modulation of the light curves of both mCP and non-mCP stars. We present the results of our search for A-type stars that exhibit variability in their \emph{TESS} light curves that is consistent with rotational modulation based on the first two data releases obtained from sectors 1 to 4. Our search yielded $134$ high-probability candidate rotational variables -- $60$ of which have not been previously reported. Approximately half of these stars are identified in the literature as Ap (mCP) stars. Comparisons between the subsample of high-probability candidate rotationally variable Ap stars and the subsample of stars that are not identified as Ap reveal that the latter subsample exhibits statistically (i) shorter rotation periods and (ii) significantly lower photometric amplitudes.


title: Sample Efficient Text Summarization Using a Single Pre-Trained Transformer

abstract: Language model (LM) pre-training has resulted in impressive performance and sample efficiency on a variety of language understanding tasks. However, it remains unclear how to best use pre-trained LMs for generation tasks such as abstractive summarization, particularly to enhance sample efficiency. In these sequence-to-sequence settings, prior work has experimented with loading pre-trained weights into the encoder and/or decoder networks, but used non-pre-trained encoder-decoder attention weights. We instead use a pre-trained decoder-only network, where the same Transformer LM both encodes the source and generates the summary. This ensures that all parameters in the network, including those governing attention over source states, have been pre-trained before the fine-tuning step. Experiments on the CNN/Daily Mail dataset show that our pre-trained Transformer LM substantially improves over pre-trained Transformer encoder-decoder networks in limited-data settings. For instance, it achieves 13.1 ROUGE-2 using only 1% of the training data (~3000 examples), while pre-trained encoder-decoder models score 2.3 ROUGE-2.


title: Variational Analysis of Composite Models with Applications to Continuous Optimization

abstract: The paper is devoted to a comprehensive study of composite models in variational analysis and optimization the importance of which for numerous theoretical, algorithmic, and applied issues of operations research is difficult to overstate. The underlying theme of our study is a systematical replacement of conventional metric regularity and related requirements by much weaker metric subregulatity ones that lead us to significantly stronger and completely new results of first-order and second-order variational analysis and optimization. In this way we develop extended calculus rules for first-order and second-order generalized differential constructions with paying the main attention in second-order variational theory to the new and rather large class of fully subamenable compositions. Applications to optimization include deriving enhanced no-gap second order optimality conditions in constrained composite models, complete characterizations of the uniqueness of Lagrange multipliers and strong metric subregularity of KKT systems in parametric optimization, etc.


title: Survival Function Matching for Calibrated Time-to-Event Predictions

abstract: Models for predicting the time of a future event are crucial for risk assessment, across a diverse range of applications. Existing time-to-event (survival) models have focused primarily on preserving pairwise ordering of estimated event times, or relative risk. Model calibration is relatively under explored, despite its critical importance in time-to-event applications. We present a survival function estimator for probabilistic predictions in time-to-event models, based on a neural network model for draws from the distribution of event times, without explicit assumptions on the form of the distribution. This is done like in adversarial learning, but we achieve learning without a discriminator or adversarial objective. The proposed estimator can be used in practice as a means of estimating and comparing conditional survival distributions, while accounting for the predictive uncertainty of probabilistic models. Extensive experiments show that the proposed model outperforms existing approaches, trained both with and without adversarial learning, in terms of both calibration and concentration of time-to-event distributions.


title: Primordial migration of co-orbital satellites as a mechanism for the horseshoe orbit of Janus-Epimetheus

abstract: We analyze the orbital motion of two natural satellites initially in co-orbital configuration with a third (guiding) satellite embedded into a circumplanetary gas disc and undergoing tidal interactions with the central planet. By solving the exact equations of motion, including the dissipative effects and the mutual gravitational perturbations, we investigate the configuration of the system soon after the guiding satellite is disrupted when crossing the Roche limit with the central planet during its orbital decay. The application is done for the system composed of Saturn and the two small co-orbital satellites Janus and Epimetheus. We perform a large number of numerical simulations, varying the mass of the hypothetical guiding satellite, Saturn's tidal quality factor and the initial configuration and the masses of the small satellites. Analyzing the orbital configurations of Janus and Epimetheus soon after the disruption of the guiding satellite, we obtain that the mutual horseshoe co-orbital orbits appear as a natural outcome of the numerical simulations.


title: A stochastic model for the lifecycle and track of extreme extratropical cyclones in the North Atlantic

abstract: Extratropical cyclones are large-scale weather systems which are often the source of extreme weather events in Northern Europe, often leading to mass infrastructural damage and casualties. Such systems create a local vorticity maxima which tracks across the Atlantic Ocean and from which can be determined a climatology for the region. While there have been considerable advances in developing algorithms for extracting the track and evolution of cyclones from reanalysis datasets, the data record is relatively short. This justifies the need for a statistical model to represent the more extreme characteristics of these weather systems, specifically their intensity and the spatial variability in their tracks. This paper presents a novel simulation-based approach to modelling the lifecycle of extratropical cyclones in terms of both their tracks and vorticity, incorporating various aspects of cyclone evolution and movement. By drawing on methods from extreme value analysis, we can simulate more extreme storms than those observed, representing a useful tool for practitioners concerned with risk assessment with regard to these weather systems.


title: Parallel Reachability in Almost Linear Work and Square Root Depth

abstract: In this paper we provide a parallel algorithm that given any $n$-node $m$-edge directed graph and source vertex $s$ computes all vertices reachable from $s$ with $\tilde{O}(m)$ work and $n^{1/2 + o(1)}$ depth with high probability in $n$ . This algorithm also computes a set of $\tilde{O}(n)$ edges which when added to the graph preserves reachability and ensures that the diameter of the resulting graph is at most $n^{1/2 + o(1)}$. Our result improves upon the previous best known almost linear work reachability algorithm due to Fineman which had depth $\tilde{O}(n^{2/3})$. Further, we show how to leverage this algorithm to achieve improved distributed algorithms for single source reachability in the CONGEST model. In particular, we provide a distributed algorithm that given a $n$-node digraph of undirected hop-diameter $D$ solves the single source reachability problem with $\tilde{O}(n^{1/2} + n^{1/3 + o(1)} D^{2/3})$ rounds of the communication in the CONGEST model with high probability in $n$. Our algorithm is nearly optimal whenever $D = O(n^{1/4 - \epsilon})$ for any constant $\epsilon > 0$ and is the first nearly optimal algorithm for general graphs whose diameter is $\Omega(n^\delta)$ for any constant $\delta$.


title: Properties and Extensions of Alternating Path Relevance - I

abstract: When proving theorems from large sets of logical assertions, it can be helpful to restrict the search for a proof to those assertions that are relevant, that is, closely related to the theorem in some sense. For example, in the Watson system, a large knowledge base must rapidly be searched for relevant facts. It is possible to define formal concepts of relevance for propositional and first-order logic. Various concepts of relevance have been defined for this, and some have yielded good results on large problems. We consider here in particular a concept based on alternating paths.We present efficient graph-based methods for computing alternating path relevance and give some results indicating its effectiveness. We also propose an alternating path based extension of this relevance method to DPLL with an improved time bound, and give other extensions to alternating path relevance intended to improve its performance.


title: Joint Object and State Recognition using Language Knowledge

abstract: The state of an object is an important piece of knowledge in robotics applications. States and objects are intertwined together, meaning that object information can help recognize the state of an image and vice versa. This paper addresses the state identification problem in cooking related images and uses state and object predictions together to improve the classification accuracy of objects and their states from a single image. The pipeline presented in this paper includes a CNN with a double classification layer and the Concept-Net language knowledge graph on top. The language knowledge creates a semantic likelihood between objects and states. The resulting object and state confidences from the deep architecture are used together with object and state relatedness estimates from a language knowledge graph to produce marginal probabilities for objects and states. The marginal probabilities and confidences of objects (or states) are fused together to improve the final object (or state) classification results. Experiments on a dataset of cooking objects show that using a language knowledge graph on top of a deep neural network effectively enhances object and state classification.


title: Numerical simulation of Ni-like Xe plasma dynamics and laser gain in a low inductivity capillary discharge

abstract: X-ray lasers based on transitions in highly charged \textit{Ni}-like ions generating in the "water window" wavelength range can be pumped by compact laboratory discharge sources. This makes them promising candidates for use as compact coherent X-ray sources in laboratory applications including biological imaging and investigations of carbon containing materials. In this paper, the results of numerical simulations of the plasma dynamics and kinetics in an X-ray laser based on transitions in \textit{Ni}-like xenon ions are reported. The laser active medium is created by an extended low-inductive high current Z-discharge capable of producing two successive electrical pulses. The non-equilibrium multi-charged ion plasma dynamics is studied numerically using a non-stationary 1D two-temperature radiation-MHD model, which describes plasma hydrodynamics, non-stationary ionization, transfer of the continuum and line radiation as well as processes in the pumping electrical circuit. The ionic energy level populations are calculated in the quasi-stationary approximation. The simulation results allowed determination of the electrical and energy pumping parameters necessary to obtain a weak signal gain for the working transitions of the order of $g^+\sim1$ $\mbox{cm}^{-1}$. It was demonstrated that plasma with the electronic temperature of more than 400 eV and the density of more than $10^{19}$ $\mbox{cm}^{-3}$ can be created by a low inductive two step discharge with peak current exceeding 200 kA.


title: Semi-Supervised Learning with Scarce Annotations

abstract: While semi-supervised learning (SSL) algorithms provide an efficient way to make use of both labelled and unlabelled data, they generally struggle when the number of annotated samples is very small. In this work, we consider the problem of SSL multi-class classification with very few labelled instances. We introduce two key ideas. The first is a simple but effective one: we leverage the power of transfer learning among different tasks and self-supervision to initialize a good representation of the data without making use of any label. The second idea is a new algorithm for SSL that can exploit well such a pre-trained representation. The algorithm works by alternating two phases, one fitting the labelled points and one fitting the unlabelled ones, with carefully-controlled information flow between them. The benefits are greatly reducing overfitting of the labelled data and avoiding issue with balancing labelled and unlabelled losses during training. We show empirically that this method can successfully train competitive models with as few as 10 labelled data points per class. More in general, we show that the idea of bootstrapping features using self-supervised learning always improves SSL on standard benchmarks. We show that our algorithm works increasingly well compared to other methods when refining from other tasks or datasets.


title: Discovering Hidden Structure in High Dimensional Human Behavioral Data via Tensor Factorization

abstract: In recent years, the rapid growth in technology has increased the opportunity for longitudinal human behavioral studies. Rich multimodal data, from wearables like Fitbit, online social networks, mobile phones etc. can be collected in natural environments. Uncovering the underlying low-dimensional structure of noisy multi-way data in an unsupervised setting is a challenging problem. Tensor factorization has been successful in extracting the interconnected low-dimensional descriptions of multi-way data. In this paper, we apply non-negative tensor factorization on a real-word wearable sensor data, StudentLife, to find latent temporal factors and group of similar individuals. Meta data is available for the semester schedule, as well as the individuals' performance and personality. We demonstrate that non-negative tensor factorization can successfully discover clusters of individuals who exhibit higher academic performance, as well as those who frequently engage in leisure activities. The recovered latent temporal patterns associated with these groups are validated against ground truth data to demonstrate the accuracy of our framework.


title: Mega-Archive and the EURONEAR Tools for Datamining World Astronomical Images

abstract: The world astronomical image archives represent huge opportunities to time-domain astronomy sciences and other hot topics such as space defense, and astronomical observatories should improve this wealth and make it more accessible in the big data era. In 2010 we introduced the Mega-Archive database and the Mega-Precovery server for data mining images containing Solar system bodies, with focus on near Earth asteroids (NEAs). This paper presents the improvements and introduces some new related data mining tools developed during the last five years. Currently, the Mega-Archive has indexed 15 million images available from six major collections (CADC, ESO, ING, LCOGT, NVO and SMOKA) and other instrument archives and surveys. This meta-data index collection is daily updated (since 2014) by a crawler which performs automated query of five major collections. Since 2016, these data mining tools run to the new dedicated EURONEAR server, and the database migrated to SQL engine which supports robust and fast queries. To constrain the area to search moving or fixed objects in images taken by large mosaic cameras, we built the graphical tools FindCCD and FindCCD for Fixed Objects which overlay the targets across one of seven mosaic cameras (Subaru-SuprimeCam, VST-OmegaCam, INT-WFC, VISTA-VIRCAM, CFHT-MegaCam, Blanco-DECam and Subaru-HSC), also plotting the uncertainty ellipse for poorly observed NEAs. In 2017 we improved Mega-Precovery, which offers now two options for calculus of the ephemerides and three options for the input (objects defined by designation, orbit or observations). Additionally, we developed Mega-Archive for Fixed Objects (MASFO) and Mega-Archive Search for Double Stars (MASDS). We believe that the huge potential of science imaging archives is still insufficiently exploited.


title: Recurring Concept Meta-learning for Evolving Data Streams

abstract: When concept drift is detected during classification in a data stream, a common remedy is to retrain a framework's classifier. However, this loses useful information if the classifier has learnt the current concept well, and this concept will recur again in the future. Some frameworks retain and reuse classifiers, but it can be time-consuming to select an appropriate classifier to reuse. These frameworks rarely match the accuracy of state-of-the-art ensemble approaches. For many data stream tasks, speed is important: fast, accurate frameworks are needed for time-dependent applications. We propose the Enhanced Concept Profiling Framework (ECPF), which aims to recognise recurring concepts and reuse a classifier trained previously, enabling accurate classification immediately following a drift. The novelty of ECPF is in how it uses similarity of classifications on new data, between a new classifier and existing classifiers, to quickly identify the best classifier to reuse. It always trains both a new classifier and a reused classifier, and retains the more accurate classifier when concept drift occurs. Finally, it creates a copy of reused classifiers, so a classifier well-suited for a recurring concept will not be impacted by being trained on a different concept. In our experiments, ECPF classifies significantly more accurately than a state-of-the-art classifier reuse framework (Diversity Pool) and a state-of-the-art ensemble technique (Adaptive Random Forest) on synthetic datasets with recurring concepts. It classifies real-world datasets five times faster than Diversity Pool, and six times faster than Adaptive Random Forest and is not significantly less accurate than either.


title: A ghost and a naked singularity; facing our demons

abstract: We encounter these demons on the path towards a UV complete QFT of gravity and a horizonless replacement for black holes. The fate of the ghost is discussed in the strong coupling version of classically-scale-invariant quadratic gravity. Rather than a propagating ghost, the full graviton propagator ends up with a slight acausal behavior. We then turn to the 2-2-hole solutions appearing in a classical approximation of the gravity theory. We present a new solution that is sourced by a relativistic gas, where a benign timelike singularity is shrouded by a fireball. Calculating the standard entropy gives an area law, and the entropy of a 2-2-hole can exceed that of the same size black hole. Finally, an observational consequence of 2-2-holes takes the form of gravitational wave echoes that can be generated by a newly formed 2-2-hole after a 2-2-hole merger. LIGO is sensitive to such a signal. We update the evidence from our previous search with five additional events reported more recently by LIGO.


title: Time-Smoothed Gradients for Online Forecasting

abstract: Here, we study different update rules in stochastic gradient descent (SGD) for online forecasting problems. The selection of the learning rate parameter is critical in SGD. However, it may not be feasible to tune this parameter in online learning. Therefore, it is necessary to have an update rule that is not sensitive to the selection of the learning parameter. Inspired by the local regret metric that we introduced previously, we propose to use time-smoothed gradients within SGD update. Using the public data set-- GEFCom2014, we validate that our approach yields more stable results than the other existing approaches. Furthermore, we show that such a simple approach is computationally efficient compared to the alternatives.


title: Extreme nuclear magnetic resonance: zero field, single spins, dark matter...

abstract: An unusual regime for liquid-state nuclear magnetic resonance (NMR) where the magnetic field strength is so low that the $J$-coupling (intramolecular spin-spin) interactions dominate the spin Hamiltonian opens a new paradigm with applications in spectroscopy, quantum control, and in fundamental-physics experiments, including searches for well-motivated dark-matter candidates. An interesting possibility is to bring this kind of "extreme NMR" together with another one---single nuclear spin detected with a single-spin quantum sensor. This would enable single-molecule $J$-spectroscopy.

categories: physics.atom-ph cond-mat.mes-hall physics.app-ph quant-ph


title: Potential envelope theory and the local energy theorem

abstract: We consider a one--particle bound quantum mechanical system governed by a Schr\"odinger operator $\mathscr{H} = -\Delta + v\,f(r)$, where $f(r)$ is an attractive central potential, and $v>0$ is a coupling parameter. If $\phi \in \mathcal{D}(\mathscr{H})$ is a `trial function', the local energy theorem tells us that the discrete energies of $\mathscr{H}$ are bounded by the extreme values of $(\mathscr{H}\phi)/\phi,$ as a function of $r$. We suppose that $f(r)$ is a smooth transformation of the form $f = g(h)$, where $g$ is monotone increasing with definite convexity and $h(r)$ is a potential for which the eigenvalues $H_n(u)$ of the operator $\mathcal{H}=-\Delta + u\, h(r)$, for appropriate $u >0$, are known. It is shown that the eigenfunctions of $\mathcal{H}$ provide local-energy trial functions $\phi$ which necessarily lead to finite eigenvalue approximations that are either lower or upper bounds. This is used to extend the local energy theorem to the case of upper bounds for the excited-state energies when the trial function is chosen to be an eigenfunction of such an operator $\mathcal{H}$. Moreover, we prove that the local-energy approximations obtained are identical to `envelope bounds', which can be obtained directly from the spectral data $H_n(u)$ without explicit reference to the trial wave functions.


title: Efficient Plane-Based Optimization of Geometry and Texture for Indoor RGB-D Reconstruction

abstract: We propose a novel approach to reconstruct RGB-D indoor scene based on plane primitives. Our approach takes as input a RGB-D sequence and a dense coarse mesh reconstructed from it, and generates a lightweight, low-polygonal mesh with clear face textures and sharp features without losing geometry details from the original scene. Compared to existing methods which only cover large planar regions in the scene, our method builds the entire scene by adaptive planes without losing geometry details and also preserves sharp features in the mesh. Experiments show that our method is more efficient to generate textured mesh from RGB-D data than state-of-the-arts.


title: Thermodynamic uncertainty relations in a linear system

abstract: We consider a Brownian particle in harmonic confinement of stiffness $k$, in one dimension in the underdamped regime. The whole setup is immersed in a heat bath at temperature $T$. The center of harmonic trap is dragged under any arbitrary protocol. The thermodynamic uncertainty relations for both position of the particle and current at time $t$ are obtained using the second law of thermodynamics as well as the positive semi-definite property of the correlation matrix of work and degrees of freedom of the system for both underdamped and overdamped cases.


title: Looking to Relations for Future Trajectory Forecast

abstract: Inferring relational behavior between road users as well as road users and their surrounding physical space is an important step toward effective modeling and prediction of navigation strategies adopted by participants in road scenes. To this end, we propose a relation-aware framework for future trajectory forecast. Our system aims to infer relational information from the interactions of road users with each other and with the environment. The first module involves visual encoding of spatio-temporal features, which captures human-human and human-space interactions over time. The following module explicitly constructs pair-wise relations from spatio-temporal interactions and identifies more descriptive relations that highly influence future motion of the target road user by considering its past trajectory. The resulting relational features are used to forecast future locations of the target, in the form of heatmaps with an additional guidance of spatial dependencies and consideration of the uncertainty. Extensive evaluations on the public benchmark datasets demonstrate the robustness and efficacy of the proposed framework as observed by performances higher than the state-of-the-art methods.


title: Distributed Pattern Formation in a Ring

abstract: Motivated by concerns about diversity in social networks, we consider the following pattern formation problems in rings. Assume $n$ mobile agents are located at the nodes of an $n$-node ring network. Each agent is assigned a colour from the set $\{c_1, c_2, \ldots, c_q \}$. The ring is divided into $k$ contiguous {\em blocks} or neighbourhoods of length $p$. The agents are required to rearrange themselves in a distributed manner to satisfy given diversity requirements: in each block $j$ and for each colour $c_i$, there must be exactly $n_i(j) >0$ agents of colour $c_i$ in block $j$. Agents are assumed to be able to see agents in adjacent blocks, and move to any position in adjacent blocks in one time step. When the number of colours $q=2$, we give an algorithm that terminates in time $N_1/n^*_1 + k + 4$ where $N_1$ is the total number of agents of colour $c_1$ and $n^*_1$ is the minimum number of agents of colour $c_1$ required in any block. When the diversity requirements are the same in every block, our algorithm requires $3k+4$ steps, and is asymptotically optimal. Our algorithm generalizes for an arbitrary number of colours, and terminates in $O(nk)$ steps. We also show how to extend it to achieve arbitrary specific final patterns, provided there is at least one agent of every colour in every pattern.


title: A fast-switching magnet serving a spallation-driven ultracold neutron source

abstract: A fast-switching, high-repetition-rate magnet and power supply have been developed for and operated at TRIUMF, to deliver a proton beam to the new ultracold neutron (UCN) facility. The facility possesses unique operational requirements: a time-averaged beam current of 40~$\mu$A with the ability to switch the beam on or off for several minutes. These requirements are in conflict with the typical operation mode of the TRIUMF cyclotron which delivers nearly continuous beam to multiple users. To enable the creation of the UCN facility, a beam-sharing arrangement with another facility was made. The beam sharing is accomplished by the fast-switching (kicker) magnet which is ramped in 50~$\mu$s to a current of 193~A, held there for approximately 1~ms, then ramped down in the same short period of time. This achieves a 12~mrad deflection which is sufficient to switch the proton beam between the two facilities. The kicker magnet relies on a high-current, low-inductance coil connected to a fast-switching power supply that is based on insulated-gate bipolar transistors (IGBTs). The design and performance of the kicker magnet system and initial beam delivery results are reported.


title: Impact of the fac/mer isomerism on the excited states dynamics of pyridyl-carbene Fe(II) complexes

abstract: The control of photophysical properties of iron complexes and especially of their excited states decay is a great challenge in the search for sustainable alternatives to noble metals in photochemical applications. Herein we report the synthesis and investigations of the photophysics of mer and fac iron complexes bearing bidentate pyridyl-NHC ligands, coordinating the Fe with three ligand-field enhancing carbene bonds. Ultrafast transient absorption spectroscopy reveals two distinct excited state populations for both mer and fac forms, ascribed to the populations of the T1 and the T2 states, respectively, which decay to the ground state via parallel pathways. We find 3-4 ps and 15-20 ps excited state lifetimes, with respective amplitudes depending on the isomer. The longer lifetime exceeds the one reported for iron complexes with tridentate ligands analogues involving four iron-carbene bonds. By combining experimental and computational results, a mechanism based on the differential trapping of the triplet states in spin-crossover regions is proposed for the first time to explain the impact of the fac/mer isomerism on the overall excited-state lifetimes. Our results clearly highlight the impact of bidentate Pyridyl-NHC ligands on the photophysics of iron complexes, especially the paramount role of fac/mer isomerism in modulating the overall decay process, which can be potentially exploited in the design of new Fe(II)-based photoactive compound.


title: On certain isogenies between K3 surfaces

abstract: The aim of this paper is to construct "special" isogenies between K3 surfaces, which are not Galois covers between K3 surfaces, but are obtained by composing cyclic Galois covers, induced by quotients by symplectic automorphisms. We determine the families of K3 surfaces for which this construction is possible. To this purpose we will prove that there are infinitely many big families of K3 surfaces which both admit a finite symplectic automorphism and are (desingularizations of) quotients of other K3 surfaces by a symplectic automorphism. In the case of involutions, for any $n\in\mathbb{N}_{>0}$ we determine the transcendental lattices of the K3 surfaces which are $2^n:1$ isogenous (by a non Galois cover) to other K3 surfaces. We also study the Galois closure of the $2^2:1$ isogenies and we describe the explicit geometry on an example.


title: Learning Warm-Start Points for AC Optimal Power Flow

abstract: A large amount of data has been generated by grid operators solving AC optimal power flow (ACOPF) throughout the years, and we explore how leveraging this data can be used to help solve future ACOPF problems. We use this data to train a Random Forest to predict solutions of future ACOPF problems. To preserve correlations and relationships between predicted variables, we utilize a multi-target approach to learn approximate voltage and generation solutions to ACOPF problems directly by only using network loads, without the knowledge of other network parameters or the system topology. We explore the benefits of using the learned solution as an intelligent warm start point for solving the ACOPF, and the proposed framework is evaluated numerically using multiple IEEE test networks. The benefit of using learned ACOPF solutions is shown to be solver and network dependent, but shows promise for quickly finding approximate solutions to the ACOPF problem.


title: The origin of the late-time luminosity of supernova 2011dh

abstract: Due to the small amount of hydrogen (${\leq 0.1M_{\odot}}$) remaining on the surface of their progenitors, Type IIb supernovae are sensitive probes of the mass loss processes of massive stars towards the ends of their lives, including the role of binarity. We report late-time Hubble Space Telescope observations of SN 2011dh in M51, and a brief period of re-brightening and plateau in the photometric light curve, from $1.8$ to $6.2$ years after the explosion. These observations exclude the role of circumstellar interaction, however a slow rotating magnetar, a significant quantity of radioactive elements or a light echo could be responsible for the late-time luminosity observed at $t > 1000\mathrm{d}$. If the late-time light curve is powered by the decay of radioactive elements, SN~2011dh is required to have produced $\sim 2.6 \times 10^{-3}\,M_{\odot}$ of $\mathrm{^{44}Ti}$, which is significantly in excess of the amount inferred from earlier nebular spectra of SN 2011dh itself or measured in the Cas A SN remnant. The evolution of the brightness and the colour of the late-time light curve also supports the role of a light echo originating from dust with a preferred geometry of a disk of extent $\sim 1.8$ to $\sim 2.7\,\mathrm{pc}$ from the SN, consistent with a wind-blown bubble. Accounting for the long term photometric evolution due to a light echo, the flux contribution from a surviving binary companion at ultraviolet wavelengths can be isolated and corresponds to a star of $\sim 9 - 10M_{\odot}$.


title: Intrinsic and Dual Volume Deviations of Convex Bodies and Polytopes

abstract: We establish estimates for the asymptotic best approximation of the Euclidean unit ball by polytopes under a notion of distance induced by the intrinsic volumes. We also introduce a notion of distance between convex bodies that is induced by the Wills functional, and apply it to derive asymptotically sharp bounds for approximating the ball in high dimensions. Remarkably, it turns out that there is a polytope which is almost optimal with respect to all intrinsic volumes simultaneously, up to absolute constants. Finally, we establish asymptotic formulas for the best approximation of smooth convex bodies by polytopes with respect to a distance induced by dual volumes, which originate from Lutwak's dual Brunn-Minkowski theory.


title: Magic Three-Qubit Veldkamp Line and Veldkamp Space of the Doily

abstract: A magic three-qubit Veldkamp line of $W(5,2)$, i.\,e. the line comprising a hyperbolic quadric $\mathcal{Q}^+(5,2)$, an elliptic quadric $\mathcal{Q}^-(5,2)$ and a quadratic cone $\widehat{\mathcal{Q}}(4,2)$ that share a parabolic quadric $\mathcal{Q}(4,2)$, the doily, is shown to provide an interesting model for the Veldkamp space of the latter. The model is based on the facts that: a) the 20 off-doily points of $\mathcal{Q}^+(5,2)$ form ten complementary pairs, each corresponding to a unique grid of the doily; b) the 12 off-doily points of $\mathcal{Q}^-(5,2)$ form six complementary pairs, each corresponding to a unique ovoid of the doily; and c) the 15 off-doily points of $\widehat{\mathcal{Q}}(4,2)$ -- disregarding the nucleus of $\mathcal{Q}(4,2)$ -- are in bijection with the 15 perp-sets of the doily. These findings lead to a conjecture that also parapolar spaces can be relevant for quantum information.


title: Revisiting the statistical isotropy of GRB sky distribution

abstract: The assumption of homogeneity and isotropy on large scales is one of the main hypotheses of the standard cosmology. In this paper, we test the hypothesis of isotropy from the two-point angular correlation function of 2626 gamma-ray bursts (GRB) of the FERMI GRB catalogue. We show that the uncertainties in the GRB positions induce spurious anisotropic signals in their sky distribution. However, when such uncertainties are taken into account no significant evidence against the large-scale statistical isotropy is found. This result remains valid even for the sky distribution of short-lived GRB, contrarily to previous reports.


title: Estimating Node Importance in Knowledge Graphs Using Graph Neural Networks

abstract: How can we estimate the importance of nodes in a knowledge graph (KG)? A KG is a multi-relational graph that has proven valuable for many tasks including question answering and semantic search. In this paper, we present GENI, a method for tackling the problem of estimating node importance in KGs, which enables several downstream applications such as item recommendation and resource allocation. While a number of approaches have been developed to address this problem for general graphs, they do not fully utilize information available in KGs, or lack flexibility needed to model complex relationship between entities and their importance. To address these limitations, we explore supervised machine learning algorithms. In particular, building upon recent advancement of graph neural networks (GNNs), we develop GENI, a GNN-based method designed to deal with distinctive challenges involved with predicting node importance in KGs. Our method performs an aggregation of importance scores instead of aggregating node embeddings via predicate-aware attention mechanism and flexible centrality adjustment. In our evaluation of GENI and existing methods on predicting node importance in real-world KGs with different characteristics, GENI achieves 5-17% higher NDCG@100 than the state of the art.


title: Functional Inequalities on Weighted Riemannian Manifolds Subject to Curvature-Dimension Conditions

abstract: We establish new sharp inequalities of Poincar\'{e} or log-Sobolev type, on geodesically-convex weighted Riemannian manifolds $(M,\mathfrak{g},\mu)$ whose (generalized) Ricci curvature $Ric_{\mathfrak{g},\mu,N}$ with effective dimension parameter $N\in (-\infty,\infty]$ is bounded from below by a constant $K\in\mathbb{R}$, and whose diameter is bounded above by $D\in (0,\infty]$ (Curvature-Dimension-Diameter conditions $CDD(K,N,D)$). To this end we establish a general method which complements the `localization' theorem which has recently been established by B. Klartag. Klartag's Theorem is based on optimal transport techniques, leading to a disintegration of the manifold measure into marginal measures supported on geodesics of the manifold. This leads to a reduction of the problem of proving a n-dimensional inequality into an optimization problem over a class of measures with 1-dimensional supports. In this work we firstly develop a general approach which leads to a reduction of this optimization problem into a simpler optimization problem, on a subclass of `model measures'. This reduction is based on functional analytic techniques, in particular a classification of extreme points of a specific subset of measures, and showing that the solution to the optimization problem is attained on this set of extreme points. Finally we solve the optimization problems associated with the Poincar\'{e}, p-Poincar\'{e} and the log-Sobolev inequalities subject to specific $CDD(K,N,D)$ conditions. Notably, we prove new sharp Poincar\'{e} inequalities for $N\in (-\infty,0]$. We find that for $N\in (-1,0]$ the characterization of the sharp lower bound on the Poincar\'{e} constant is of different nature; in addition we derive new lower bounds on the log-Sobolev constant under $CDD(K,\infty,D)$ conditions where $K\in\mathbb{R}$ and $D\in (0,\infty]$, which up to numeric constants are best possible.


title: Non-paraxial design and fabrication of a compact OAM sorter in the telecom infrared

abstract: A novel optical device is designed and fabricated in order to overcome the limits of the traditional sorter based on log-pol optical transformation for the demultiplexing of optical beams carrying orbital angular momentum (OAM). The proposed configuration simplifies the alignment procedure and significantly improves the compactness and miniaturization level of the optical architecture. Since the device requires to operate beyond the paraxial approximation, a rigorous formulation of transformation optics in the non-paraxial regime has been developed and applied. The sample has been fabricated as 256-level phase-only diffractive optics with high-resolution electron-beam lithography, and tested for the demultiplexing of OAM beams at the telecom wavelength of 1310 nm. The designed sorter can find promising applications in next-generation optical platforms for mode-division multiplexing based on OAM modes both for free-space and multi-mode fiber transmission.


title: Look Again at the Syntax: Relational Graph Convolutional Network for Gendered Ambiguous Pronoun Resolution

abstract: Gender bias has been found in existing coreference resolvers. In order to eliminate gender bias, a gender-balanced dataset Gendered Ambiguous Pronouns (GAP) has been released and the best baseline model achieves only 66.9% F1. Bidirectional Encoder Representations from Transformers (BERT) has broken several NLP task records and can be used on GAP dataset. However, fine-tune BERT on a specific task is computationally expensive. In this paper, we propose an end-to-end resolver by combining pre-trained BERT with Relational Graph Convolutional Network (R-GCN). R-GCN is used for digesting structural syntactic information and learning better task-specific embeddings. Empirical results demonstrate that, under explicit syntactic supervision and without the need to fine tune BERT, R-GCN's embeddings outperform the original BERT embeddings on the coreference task. Our work significantly improves the snippet-context baseline F1 score on GAP dataset from 66.9% to 80.3%. We participated in the 2019 GAP Coreference Shared Task, and our codes are available online.


title: Source Localization and Tracking for Dynamic Radio Cartography using Directional Antennas

abstract: Utilization of directional antennas is a promising solution for efficient spectrum sensing and accurate source localization and tracking. Spectrum sensors equipped with directional antennas should constantly scan the space in order to track emitting sources and discover new activities in the area of interest. In this paper, we propose a new formulation that unifies received-signal-strength (RSS) and direction of arrival (DoA) in a compressive sensing (CS) framework. The underlying CS measurement matrix is a function of beamforming vectors of sensors and is referred to as the propagation matrix. Comparing to the omni-directional antenna case, our employed propagation matrix provides more incoherent projections, an essential factor in the compressive sensing theory. Based on the new formulation, we optimize the antenna beams, enhance spectrum sensing efficiency, track active primary users accurately and monitor spectrum activities in an area of interest. In many practical scenarios there is no fusion center to integrate received data from spectrum sensors. We propose the distributed version of our algorithm for such cases. Experimental results show a significant improvement in source localization accuracy, compared with the scenario when sensors are equipped with omni-directional antennas. Applicability of the proposed framework for dynamic radio cartography is shown. Moreover, comparing the estimated dynamic RF map over time with the ground truth demonstrates the effectiveness of our proposed method for accurate signal estimation and recovery.


title: The perils of automated fitting of datasets: the case of a wind turbine cost model

abstract: Rinne et al. conduct an interesting analysis of the impact of wind turbine technology and land-use on wind power potentials, which allows profound insights into each factors contribution to overall potentials. The paper presents a detailed model of site-specific wind turbine investment cost (i.e. road- and grid access costs) complemented by a model used to estimate site-independent costs. We believe that propose a cutting edge model of site-specific investment costs. However, the site-independent cost model is flawed in our opinion. This flaw most likely does not impact the results presented in the paper, although we expect a considerable generalization error. Thus the application of the wind turbine cost model in other contexts may lead to unreasonable results. More generally, the derivation of the wind turbine cost model serves as an example of how applications of automated regression analysis can go wrong.


title: Measuring the effects of confounders in medical supervised classification problems: the Confounding Index (CI)

abstract: Over the years, there has been growing interest in using Machine Learning techniques for biomedical data processing. When tackling these tasks, one needs to bear in mind that biomedical data depends on a variety of characteristics, such as demographic aspects (age, gender, etc) or the acquisition technology, which might be unrelated with the target of the analysis. In supervised tasks, failing to match the ground truth targets with respect to such characteristics, called confounders, may lead to very misleading estimates of the predictive performance. Many strategies have been proposed to handle confounders, ranging from data selection, to normalization techniques, up to the use of training algorithm for learning with imbalanced data. However, all these solutions require the confounders to be known a priori. To this aim, we introduce a novel index that is able to measure the confounding effect of a data attribute in a bias-agnostic way. This index can be used to quantitatively compare the confounding effects of different variables and to inform correction methods such as normalization procedures or ad-hoc-prepared learning algorithms. The effectiveness of this index is validated on both simulated data and real-world neuroimaging data.


title: No Switching Policy is Optimal for a Positive Linear System with a Bottleneck Entrance

abstract: We consider a nonlinear SISO system that is a cascade of a scalar "bottleneck entrance" and an arbitrary Hurwitz positive linear system. This system entrains i.e. in response to a $T$-periodic inflow every solution converges to a unique $T$-periodic solution of the system. We study the problem of maximizing the averaged throughput via controlled switching. The objective is to choose a periodic inflow rate with a given mean value that maximizes the averaged outflow rate of the system. We compare two strategies: 1) switching between a high and low value, and 2) using a constant inflow equal to the prescribed mean value. We show that no switching policy can outperform a constant inflow rate, though it can approach it asymptotically. We describe several potential applications of this problem in traffic systems, ribosome flow models, and scheduling at security checks.


title: Group analysis of the one-dimensional Boltzmann equation

abstract: The one-dimensional Boltzmann equation $f_{t} + cf_{x} + (\mathcal {F} f)_{c} = 0$ is considered with the function $\mathcal{F}$ depending on $(t, x, c, f)$. In this paper we obtain a complete group classification of such equations in the class of point transformations of the entire set of variables $(t, x, c, f)$ under the conditions of invariance of a) the relations $dx = cdt$, $dc = \mathcal {F} dt$, b) the lines $ dt = dx = 0 $ and c) the form $fdxdc$ fixing the physical meaning of the variables and the relationships between them.


title: Adaptive Model Selection Framework: An Application to Airline Pricing

abstract: Multiple machine learning and prediction models are often used for the same prediction or recommendation task. In our recent work, where we develop and deploy airline ancillary pricing models in an online setting, we found that among multiple pricing models developed, no one model clearly dominates other models for all incoming customer requests. Thus, as algorithm designers, we face an exploration - exploitation dilemma. In this work, we introduce an adaptive meta-decision framework that uses Thompson sampling, a popular multi-armed bandit solution method, to route customer requests to various pricing models based on their online performance. We show that this adaptive approach outperform a uniformly random selection policy by improving the expected revenue per offer by 43% and conversion score by 58% in an offline simulation.


title: Renormalization group for link percolation on planar hyperbolic manifolds

abstract: Network geometry is currently a topic of growing scientific interest as it opens the possibility to explore and interpret the interplay between structure and dynamics of complex networks using geometrical arguments. However the field is still in its infancy. In this work we investigate the role of network geometry in determining the nature of the percolation transition in planar hyperbolic manifolds. In Ref. [1], S. Boettcher, V. Singh, R. M. Ziff have shown that a special type of two-dimensional hyperbolic manifolds, the Farey graphs, display a discontinuous transition for ordinary link percolation. Here using the renormalization group we investigate the critical properties of link percolation on a wider class of two-dimensional hyperbolic deterministic and random manifolds constituting the skeletons of two-dimensional cell complexes. These hyperbolic manifolds are built iteratively by subsequently gluing $m$-polygons to single edges. We show that when the size $m$ of the polygons is drawn from a distribution $q_m$ with asymptotic power-law scaling $q_m\simeq Cm^{-\gamma}$ for $m\gg1$, different universality classes can be observed for different values of the power-law exponent $\gamma$. Interestingly the percolation transition is hybrid for $\gamma\in (3,4)$ and becomes continuous for $\gamma \in (2,3]$


title: Many perspectives on Deborah Mayo's "Statistical Inference as Severe Testing: How to Get Beyond the Statistics Wars"

abstract: The new book by philosopher Deborah Mayo is relevant to data science for topical reasons, as she takes various controversial positions regarding hypothesis testing and statistical practice, and also as an entry point to thinking about the philosophy of statistics. The present article is a slightly expanded version of a series of informal reviews and comments on Mayo's book. We hope this discussion will introduce people to Mayo's ideas along with other perspectives on the topics she addresses.


title: Complete Positivity for Mixed Unitary Categories

abstract: Coecke and Heunen described completely positive maps in dagger monoidal categories and the {\sf CP}-infinity construction on these categories in order to construct a category of arbitrary dimensional quantum processes. This article generalizes the ${\sf CP}$-infinity construction of dagger monoidal categories to mixed unitary categories. Mixed unitary categories, on the one hand, generalize the (compact) dagger monoidal categories, and on the other hand, accommodate arbitrary dimensional quantum processes, both without sacrificing the notion of dual objects. This means that the ${\sf CP}$-infinity construction for mixed unitary categories provides a suitable semantics for higher-order quantum programming languages which employ arbitrary dimensional structures. The existing results for the ${\sf CP}$-infinity construction are shown to generalize to the new setting. In particular, the notion of environment structures generalizes to mixed unitary categories and it is shown that the ${\sf CP}$-infinity construction for mixed unitary categories is characterized by this generalized environment structure.


title: Look Who's Talking Now: Implications of AV's Explanations on Driver's Trust, AV Preference, Anxiety and Mental Workload

abstract: Explanations given by automation are often used to promote automation adoption. However, it remains unclear whether explanations promote acceptance of automated vehicles (AVs). In this study, we conducted a within-subject experiment in a driving simulator with 32 participants, using four different conditions. The four conditions included: (1) no explanation, (2) explanation given before or (3) after the AV acted and (4) the option for the driver to approve or disapprove the AV's action after hearing the explanation. We examined four AV outcomes: trust, preference for AV, anxiety and mental workload. Results suggest that explanations provided before an AV acted were associated with higher trust in and preference for the AV, but there was no difference in anxiety and workload. These results have important implications for the adoption of AVs.


title: Halogen Bond Structure and Dynamics from Molecular Simulations

abstract: Halogen bonding has emerged as an important noncovalent interaction in a myriad of applications, including drug design, supramolecular assembly, and catalysis. Current understanding of the halogen bond is informed by electronic structure calculations on isolated molecules and/or crystal structures that are not readily transferable to liquids and disordered phases. To address this issue, we present a first-principles simulation-based approach for quantifying halogen bonds in molecular systems rooted in an understanding of nuclei-nuclei and electron-nuclei spatial correlations. We then demonstrate how this approach can be used to quantify the structure and dynamics of halogen bonds in condensed phases, using solid and liquid molecular chlorine as prototypical examples with high concentrations of halogen bonds. We close with a discussion of how the knowledge generated by our first-principles approach may inform the development of classical empirical models, with a consistent representation of halogen bonding.


title: A Scalable Hybrid Research Paper Recommender System for Microsoft Academic

abstract: We present the design and methodology for the large scale hybrid paper recommender system used by Microsoft Academic. The system provides recommendations for approximately 160 million English research papers and patents. Our approach handles incomplete citation information while also alleviating the cold-start problem that often affects other recommender systems. We use the Microsoft Academic Graph (MAG), titles, and available abstracts of research papers to build a recommendation list for all documents, thereby combining co-citation and content based approaches. Tuning system parameters also allows for blending and prioritization of each approach which, in turn, allows us to balance paper novelty versus authority in recommendation results. We evaluate the generated recommendations via a user study of 40 participants, with over 2400 recommendation pairs graded and discuss the quality of the results using P@10 and nDCG scores. We see that there is a strong correlation between participant scores and the similarity rankings produced by our system but that additional focus needs to be put towards improving recommender precision, particularly for content based recommendations. The results of the user survey and associated analysis scripts are made available via GitHub and the recommendations produced by our system are available as part of the MAG on Azure to facilitate further research and light up novel research paper recommendation applications.


title: An adaptive approach to real-time estimation of vehicle sideslip, road bank angles and sensor bias

abstract: Robust estimation of vehicle sideslip angle is essential for stability control applications. However, the direct measurement of sideslip angle is expensive for production vehicles. This paper presents a novel sideslip estimation algorithm which relies only on sensors available on passenger and commercial vehicles. The proposed method uses both kinematics and dynamics vehicle models to construct extended Kalman filter observers. The estimate relies on the results provided from the dynamics model observer where the tire cornering stiffness parameters are updated using the information provided from the kinematics model observer. The stability property of the proposed algorithm is discussed and proven. Finally, multiple experimental tests are conducted to verify its performance in practice. The results show that the proposed approach provides smooth and accurate sideslip angle estimation. In addition, our novel algorithm provides reliable estimates of bank angles and lateral acceleration sensor bias.


title: Separable degree of the Gauss map and strict dual curves over finite fields

abstract: Let $\mathcal{X}$ be a projective algebraic curve and denote by $\mathcal{X}^{'}$ its strict dual curve. The map $\gamma:\mathcal{X} \longrightarrow \mathcal{X}^{'}$ is called (strict) Gauss map of $\mathcal{X}$. In this manuscript, we study the separable degree of the Gauss map of curves defined over finite fields. In particular, we give a generalization of a known result on the separable degree of the Gauss map of plane Frobenius nonclassical curves. We also obtain a characterization of certain plane strange curves.


title: Explainable Machine Learning for Scientific Insights and Discoveries

abstract: Machine learning methods have been remarkably successful for a wide range of application areas in the extraction of essential information from data. An exciting and relatively recent development is the uptake of machine learning in the natural sciences, where the major goal is to obtain novel scientific insights and discoveries from observational or simulated data. A prerequisite for obtaining a scientific outcome is domain knowledge, which is needed to gain explainability, but also to enhance scientific consistency. In this article we review explainable machine learning in view of applications in the natural sciences and discuss three core elements which we identified as relevant in this context: transparency, interpretability, and explainability. With respect to these core elements, we provide a survey of recent scientific works that incorporate machine learning and the way that explainable machine learning is used in combination with domain knowledge from the application areas.


title: Rapid measurement of tension in multi-wire arrays using free damped oscillations

abstract: We explore the possibility of using free (as opposed to driven) oscillations to verify wire tension in large, open-frame multiwire planes. Using finite-element simulation we predict the signal when two wires are set in motion by applying and holding a DC voltage between them (electrostatic excitation). The resulting current signal is marginal. However, the program relates voltage, oscillation amplitude and signal, and it is easy to get enough amplitude (of order microns) by gently tapping the wire frame. We perform an end-to-end experimental test. Four 1.5m wires, at various tensions around 5N, are mounted in an aluminum channel. They are connected to a low-noise, balanced current-to-voltage preamp designed for good common-mode rejection. The 150V bias, from 9V batteries in series, is built into the preamp. Data are taken with a Tektronix 1202B scope, stored on a USB flash drive, and transferred to a laptop computer for analysis. Ten measurements, each with 2500 samples spanning 1s, are taken for each of the three wire pairs. The wires are excited by tapping the frame with a small mallet. Because the wire tensions are different, the waveforms exhibit beats. The data are analyzed by a program which decomposes the waveform step by step to extract the base and beat frequencies and thereby, two resonant frequencies per wire pair. Finally, those frequencies are disambiguated to obtain the frequency for each wire, which is then converted to a tension. The four tensions are then found mechanically by measuring the g/mm required to deflect each wire at its midpoint. The two values of tension agree well. We conclude that the method verifies tension to approximately 2% (1 sigma) in a little over 1s for 1.5m wires, and would be faster for shorter wires.


title: Evolving neural networks to follow trajectories of arbitrary complexity

abstract: Many experiments have been performed that use evolutionary algorithms for learning the topology and connection weights of a neural network that controls a robot or virtual agent. These experiments are not only performed to better understand basic biological principles, but also with the hope that with further progress of the methods, they will become competitive for automatically creating robot behaviors of interest. However, current methods are limited with respect to the (Kolmogorov) complexity of evolved behavior. Using the evolution of robot trajectories as an example, we show that by adding four features, namely (1) freezing of previously evolved structure, (2) temporal scaffolding, (3) a homogeneous transfer function for output nodes, and (4) mutations that create new pathways to outputs, to standard methods for the evolution of neural networks, we can achieve an approximately linear growth of the complexity of behavior over thousands of generations. Overall, evolved complexity is up to two orders of magnitude over that achieved by standard methods in the experiments reported here, with the major limiting factor for further growth being the available run time. Thus, the set of methods proposed here promises to be a useful addition to various current neuroevolution methods.


title: Automated Pupillary Light Reflex Test on a Portable Platform

abstract: In this paper, we introduce a portable eye imaging device denoted as lab-on-a-headset, which can automatically perform a swinging flashlight test. We utilized this device in a clinical study to obtain high-resolution recordings of eyes while they are exposed to a varying light stimuli. Half of the participants had relative afferent pupillary defect (RAPD) while the other half was a control group. In case of positive RAPD, patients pupils constrict less or do not constrict when light stimuli swings from the unaffected eye to the affected eye. To automatically diagnose RAPD, we propose an algorithm based on pupil localization, pupil size measurement, and pupil size comparison of right and left eye during the light reflex test. We validate the algorithmic performance over a dataset obtained from 22 subjects and show that proposed algorithm can achieve a sensitivity of 93.8% and a specificity of 87.5%.


title: Functional inequalities for a class of nonlocal hypoelliptic equations of H\"ormander type

abstract: We consider a class of second-order partial differential operators $\mathscr A$ of H\"ormander type, which contain as a prototypical example a well-studied operator introduced by Kolmogorov in the '30s. We analyze some properties of the nonlocal operators driven by the fractional powers of $\mathscr A$, and we introduce some interpolation spaces related to them. We also establish sharp pointwise estimates of Harnack type for the semigroup associated with the extension operator. Moreover, we prove both global and localised versions of Poincar\'e inequalities adapted to the underlying geometry.


title: Removal of Galactic foregrounds for the Simons Observatory primordial gravitational wave search

abstract: Upcoming observations from the Simons Observatory have been projected to constrain the tensor-to-scalar ratio, $r$, at the level of $\sigma(r)=$0.003. Here we describe one of the forecasting algorithms for the Simons Observatory in more detail, based on cleaning CMB polarization maps using a parametric model. We present a new code to perform this end-to-end forecast, and explore the assumptions in greater detail. If spatial uniformity of the spectral energy distribution of synchrotron radiation and thermal dust emission is assumed over the region planned for observations, covering almost a fifth of the sky, a bias of order 1--3$\sigma$ in $r$ is projected for foreground models consistent with current data. We find that by masking the most contaminated regions of sky, or by adopting more parameters to describe the spatial variation in spectral index for synchrotron and dust, such a bias can be mitigated for the foreground models we consider. We also explore strategies for testing whether the cleaned CMB polarization maps contain residual foreground contamination, including cross-correlating with maps tracing the foregrounds. This method also has applications for other CMB polarization experiments.


title: Trees are 1-Transfer

abstract: The K-theoretic Farrell-Jones isomorphism conjecture for a group ring $R[G]$ has been proved for several groups. The toolbox for proving the Farrell-Jones conjecture for a given group depends on some geometric properties of the group as it is the case of hyperbolic groups. The technique used to prove it for hyperbolic groups $G$ relies in the concept of an $N$-transfer space endowed with a $G$ action. In this work, we give an explicit construction of a $1$-transfer space.


title: GRAMSES: a new route to general relativistic $N$-body simulations in cosmology. Part I. Methodology and code description

abstract: We present GRAMSES, a new pipeline for nonlinear cosmological $N$-body simulations in General Relativity (GR). This code adopts the Arnowitt-Deser-Misner (ADM) formalism of GR, with constant mean curvature and minimum distortion gauge fixings, which provides a fully nonlinear and background independent framework for relativistic cosmology. Employing a fully constrained formulation, the Einstein equations are reduced to a set of ten elliptical equations which are solved using multigrid relaxation with adaptive mesh refinements (AMR), and three hyperbolic equations for the evolution of tensor degrees of freedom. The current version of GRAMSES neglects the latter by using the conformal flatness approximation, which allows it to compute the two scalar and two vector degrees of freedom of the metric. In this paper we describe the methodology, implementation, code tests and first results for cosmological simulations in a $\Lambda$CDM universe, while the generation of initial conditions and physical results will be discussed elsewhere. Inheriting the efficient AMR and massive parallelisation infrastructure from the publicly-available $N$-body and hydrodynamic simulation code RAMSES, GRAMSES is ideal for studying the detailed behaviour of spacetime inside virialised cosmic structures and hence accurately quantifying the impact of backreaction effects on the cosmic expansion, as well as for investigating GR effects on cosmological observables using cosmic-volume simulations.


title: Products and connected sums of spheres as monotone Lagrangian submanifolds

abstract: We obtain new restrictions on Maslov classes of monotone Lagrangian submanifolds of $\mathbb{C}^n$. We also construct families of new examples of monotone Lagrangian submanifolds, which show that the restrictions on Maslov classes are sharp in certain cases.


title: From Centaurs to comets - 40 years

abstract: In 1977, while Apple II and Atari computers were being sold, a tiny dot was observed in an inconvenient orbit. The minor body 1977 UB, to be named (2060) Chiron, with an orbit between Saturn and Uranus, became the first Centaur, a new class of minor bodies orbiting roughly between Jupiter and Neptune. The observed overabundance of short-period comets lead to the downfall of the Oort Cloud as exclusive source of comets and to the rise of the need for a Trans-Neptunian comet belt. Centaurs were rapidly seen as the transition phase between Kuiper Belt Objects (KBOs), also known as Trans-Neptunian Objects (TNOs) and the Jupiter-Family Comets (JFCs). Since then, a lot more has been discovered about Centaurs: they can have cometary activity and outbursts, satellites, and even rings. Over the past four decades since the discovery of the first Centaur, rotation periods, surface colors, reflectivity spectra and albedos have been measured and analyzed. However, despite such a large number of studies and complementary techniques, the Centaur population remains a mystery as they are in so many ways different from the TNOs and even more so from the JFCs.


title: Critical transport and vortex dynamics in a thin atomic Josephson junction

abstract: We study the onset of dissipation in an atomic Josephson junction between Fermi superfluids in the molecular Bose-Einstein condensation limit of strong attraction. Our simulations identify the critical population imbalance and the maximum Josephson current delimiting dissipationless and dissipative transport, in quantitative agreement with recent experiments. We unambiguously link dissipation to vortex ring nucleation and dynamics, demonstrating that quantum phase slips are responsible for the observed resistive current. Our work directly connects microscopic features with macroscopic dissipative transport, providing a comprehensive description of vortex ring dynamics in three-dimensional inhomogeneous constricted superfluids at zero and finite temperatures.


title: On block Gaussian sketching for the Kaczmarz method

abstract: The Kaczmarz algorithm is one of the most popular methods for solving large-scale over-determined linear systems due to its simplicity and computational efficiency. This method can be viewed as a special instance of a more general class of sketch and project methods. Recently, a block Gaussian version was proposed that uses a block Gaussian sketch, enjoying the regularization properties of Gaussian sketching, combined with the acceleration of the block variants. Theoretical analysis was only provided for the non-block version of the Gaussian sketch method. Here, we provide theoretical guarantees for the block Gaussian Kaczmarz method, proving a number of convergence results showing convergence to the solution exponentially fast in expectation. On the flip side, with this theory and extensive experimental support, we observe that the numerical complexity of each iteration typically makes this method inferior to other iterative projection methods. We highlight only one setting in which it may be advantageous, namely when the regularizing effect is used to reduce variance in the iterates under certain noise models and convergence for some particular matrix constructions.


title: A Reconfigurable Dual-Mode Tracking SAR ADC without Analog Subtraction

abstract: In this contribution, it is proposes to limit the quantization search space of a successive approximation analog-to-digital converter through an analytic derivation of maximum possible sample-to-sample variation. The presented example design of the proposed ADC is an 8-bit 1MS/s ADC with SAR logic customized to incorporate this priori information while no modification has been required to the analog circuitry. In comparison to conventional SAR conversion, the proposed tracking approach yields significant reduction in total power consumption in oversampling mode. The power savings are due to the reduced number of SAR cycles, and voltage variation minimization across DAC capacitors. The design is reconfigurable both to conventional SAR sampling and the proposed tracking scheme. The approach is attractive for SAR ADCs embedded in very low power micro-controllers.


title: In-plane Zeeman field induced Majorana corner and hinge modes in an $s$-wave superconductor heterostructure

abstract: Second-order topological superconductors host Majorana corner and hingemodes in contrast to conventional edge and surface modes in two and three dimensions. However, the realization of such second-order corner modes usually demands unconventional superconducting pairing or complicated junctions or layered structures. Here we show that Majorana corner modes could be realized using a 2D quantum spin Hall insulator in proximity contact with an $s$-wave superconductor and subject to an in-plane Zeeman field. Beyond a critical value, the in-plane Zeeman field induces opposite effective Dirac masses between adjacent boundaries, leading to one Majorana mode at each corner. A similar paradigm also applies to 3D topological insulators with the emergence of Majorana hinge states. Avoiding complex superconductor pairing and material structure, our scheme provides an experimentally realistic platform for implementing Majorana corner and hinge states.


title: Comment on "Topological Nodal-Net Semimetal in a Graphene Network Structure"

abstract: Recently, a distinct topological semimetal, nodal-net semimetal, has been identified by Wang et al. through ab initio calculations [Phys. Rev. Lett. 120, 026402 (2018)]. The authors claimed that a new body-centered tetragonal carbon allotrope with I4/mmm symmetry, termed bct-C40, can host this novel state exhibiting boxed-astrisk shaped nodal nets. In this Comment, we demonstrate that bct-C40 is in fact a nodal surface semimetal, the concept of which has been proposed as early as 2016 [Phys. Rev. B 93, 085427 (2016)].