title: An Algorithmic Framework for Bias Bounties

abstract: We propose and analyze an algorithmic framework for "bias bounties": events in which external participants are invited to propose improvements to a trained model, akin to bug bounty events in software and security. Our framework allows participants to submit arbitrary subgroup improvements, which are then algorithmically incorporated into an updated model. Our algorithm has the property that there is no tension between overall and subgroup accuracies, nor between different subgroup accuracies, and it enjoys provable convergence to either the Bayes optimal model or a state in which no further improvements can be found by the participants. We provide formal analyses of our framework, experimental evaluation, and findings from a preliminary bias bounty event.


title: Stochastic dendrites enable online learning in mixed-signal neuromorphic processing systems

abstract: The stringent memory and power constraints required in edge-computing sensory-processing applications have made event-driven neuromorphic systems a promising technology. On-chip online learning provides such systems the ability to learn the statistics of the incoming data and to adapt to their changes. Implementing online learning on event driven-neuromorphic systems requires (i) a spike-based learning algorithm that calculates the weight updates using only local information from streaming data, (ii) mapping these weight updates onto limited bit precision memory and (iii) doing so in a robust manner that does not lead to unnecessary updates as the system is reaching its optimal output. Recent neuroscience studies have shown how dendritic compartments of cortical neurons can solve these problems in biological neural networks. Inspired by these studies we propose spike-based learning circuits to implement stochastic dendritic online learning. The circuits are embedded in a prototype spiking neural network fabricated using a 180nm process. Following an algorithm-circuits co-design approach we present circuits and behavioral simulation results that demonstrate the learning rule features. We validate the proposed method using behavioral simulations of a single-layer network with 4-bit precision weights applied to the MNIST benchmark and demonstrating results that reach accuracy levels above 85%.


title: Comparison of Evaluation Metrics for Landmark Detection in CMR Images

abstract: Cardiac Magnetic Resonance (CMR) images are widely used for cardiac diagnosis and ventricular assessment. Extracting specific landmarks like the right ventricular insertion points is of importance for spatial alignment and 3D modeling. The automatic detection of such landmarks has been tackled by multiple groups using Deep Learning, but relatively little attention has been paid to the failure cases of evaluation metrics in this field. In this work, we extended the public ACDC dataset with additional labels of the right ventricular insertion points and compare different variants of a heatmap-based landmark detection pipeline. In this comparison, we demonstrate very likely pitfalls of apparently simple detection and localisation metrics which highlights the importance of a clear detection strategy and the definition of an upper limit for localisation-based metrics. Our preliminary results indicate that a combination of different metrics is necessary, as they yield different winners for method comparison. Additionally, they highlight the need of a comprehensive metric description and evaluation standardisation, especially for the error cases where no metrics could be computed or where no lower/upper boundary of a metric exists. Code and labels: https://github.com/Cardio-AI/rvip_landmark_detection


title: Error estimates for a finite volume scheme for advection-diffusion equations with rough coefficients

abstract: We study the implicit upwind finite volume scheme for numerically approximating the advection-diffusion equation with a vector field in the low regularity DiPerna-Lions setting. That is, we are concerned with advecting velocity fields that are spatially Sobolev regular and data that are merely integrable. We study the implicit upwind finite volume scheme for numerically approximating the advection-diffusion equation with a vector field in the low regularity DiPerna-Lions setting. We prove that on unstructured regular meshes the rate of convergence of approximate solutions generated by the upwind scheme towards the unique solution of the continuous model is at least one. The numerical error is estimated in terms of logarithmic Kantorovich-Rubinstein distances and provides thus a bound on the rate of weak convergence.


title: Resolving the NO$\nu$A and T2K tension in the presence of Neutrino Non-Standard interactions

abstract: The current data of the two long-baseline accelerator experiments NO$\nu$A and T2K, shows a tension at more than 90$\%$ C.L. for 2 degrees of freedom, in the determination of the standard CP-phase $\delta_{\mathrm {CP}}$ in case of neutrino normal ordering (NO). NO$\nu$A measures the value close to $\delta_{\mathrm {CP}} \sim 0.8 \pi$, while T2K prefers the value of $\delta_{\mathrm {CP}} \sim 1.4 \pi$. We show that such a tension can be resolved if one hypothesizes the existence of neutral-current non-standard interactions (NSI) of neutrinos involving the flavor changing type $e-\mu$ or the $e-\tau$ sectors with couplings $|\varepsilon_{e\mu}| \sim |\varepsilon_{e\tau}|\sim 0.2$. Remarkably, our analyses show that in the presence of such NSI, both the experiments point towards the same common value of the standard CP-phase $\delta_{\mathrm {CP}} \sim 3\pi/2$, thereby indicating towards the maximal CP-violation in the standard $3\nu$ framework. We also show that the best fit values of the new CP-phases $\phi_{e\mu}$ or $ \phi_{e\tau}$ are close to $\sim 3\pi/2$, hence pointing towards the maximal CP-violation in the NSI sector.


title: The intensification of winter mid-latitude storms in the Southern Hemisphere

abstract: The strength of mid-latitude storm tracks shapes weather and climate phenomena in the extra-tropics, as these storm tracks control the daily to multi-decadal variability of precipitation, temperature and winds. By the end of this century, winter mid-latitude storms are projected to intensify in the Southern Hemisphere, with large consequences over the entire extra-tropics. Therefore, it is critical to be able to accurately assess the impacts of anthropogenic emissions on these storms, in order to improve societal preparedness for future changes. Here we show that current climate models severely underestimate the intensification in mid-latitude storm-tracks in recent decades. Specifically, the intensification obtained from reanalyses has already reached the model-projected end of the century intensification. The biased intensification is found to be linked to biases in the zonal flow. These results question the ability of climate models to accurately predict the future impacts of anthropogenic emissions in the Southern Hemisphere mid-latitudes.


title: Multigraded Hilbert series of invariants, covariants, and symplectic quotients for some rank $1$ Lie groups

abstract: We compute univariate and multigraded Hilbert series of invariants and covariants of representations of the circle and orthogonal group $\operatorname{O}_2$. The multigradings considered include the maximal grading associated to the decomposition of the representation into irreducibles as well as the bigrading associated to a cotangent-lifted representation, or equivalently, the bigrading associated to the holomorphic and antiholomorphic parts of the real invariants and covariants. This bigrading induces a bigrading on the algebra of on-shell invariants of the symplectic quotient, and the corresponding Hilbert series are computed as well. We also compute the first few Laurent coefficients of the univariate Hilbert series, give sample calculations of the multigraded Laurent coefficients, and give an example to illustrate the extension of these techniques to the semidirect product of the circle by other finite groups. We describe an algorithm to compute each of the associated Hilbert series.


title: On the second variation of the biharmonic Clifford torus in S^4

abstract: The flat torus ${\mathbb T}={\mathbb S}^1\left (\frac{1}{2} \right ) \times {\mathbb S}^1\left (\frac{1}{2} \right )$ admits a proper biharmonic isometric immersion into the unit $4$-dimensional sphere ${\mathbb S}^4$ given by $\Phi=i \circ \varphi$, where $\varphi:{\mathbb T} \to {\mathbb S}^3(\frac{1}{\sqrt 2})$ is the minimal Clifford torus and $i:{\mathbb S}^3(\frac{1}{\sqrt 2}) \to {\mathbb S}^4$ is the biharmonic small hypersphere. The first goal of this paper is to compute the biharmonic index and nullity of the proper biharmonic immersion $\Phi$. After, we shall study in the detail the kernel of the generalised Jacobi operator $I_2^\Phi$. We shall prove that it contains a direction which admits a natural variation with vanishing first, second and third derivatives, and such that the fourth derivative is negative. In the second part of the paper we shall analyse the specific contribution of $\varphi$ to the biharmonic index and nullity of $\Phi$. In this context, we shall study a more general composition $\tilde{\Phi}=\tilde{\varphi} \circ i$, where $\tilde{\varphi}: M^m \to {\mathbb S}^{n-1}(\frac{1}{\sqrt 2})$, $ m \geq 1$, $n \geq {3}$, is a minimal immersion and $i:{\mathbb S}^{n-1}(\frac{1}{\sqrt 2}) \to {\mathbb S}^n$ is the biharmonic small hypersphere. First, we shall determine a general sufficient condition which ensures that the second variation of $\tilde{\Phi}$ is nonnegatively defined on $\mathcal{C}\big (\tilde{\varphi}^{-1}T{\mathbb S}^{n-1}\big )$. Then we complete this type of analysis on our Clifford torus and, as a complementary result, we obtain the $p$-harmonic index and nullity of $\varphi$. In the final section we compare our general results with those which can be deduced from the study of the equivariant second variation.


title: Calliope: Pseudospectral shearing magnetohydrodynamics code with a pencil decomposition

abstract: The pseudospectral method is a highly accurate numerical scheme suitable for turbulence simulations. We have developed an open-source pseudospectral code, \textsc{\textsf{Calliope}}, which adopts the P3DFFT library \citep{Pekurovsky2012} to perform a fast Fourier transform with the two-dimensional (pencil) decomposition of numerical grids. \textsc{\textsf{Calliope}} can solve incompressible magnetohydrodynamics (MHD), isothermal compressible MHD, and rotational reduced MHD with parallel computation using very large numbers of cores ($> 10^5$ cores for $2048^3$ grids). The code can also solve for local magnetorotational turbulence in a shearing frame using the remapping method \citep{Rogallo1981,Umurhan2004}. \textsc{\textsf{Calliope}} is currently the only pseudospectral code that can compute magnetorotational turbulence using pencil-domain decomposition. This paper presents the numerical scheme of \textsc{\textsf{Calliope}} and the results of linear and nonlinear numerical tests, including compressible local magnetorotational turbulence with the largest grid number reported to date.


title: TIGER: TIme-Gated Electric field Reconstruction

abstract: We present a novel self-referenced method for the complete temporal characterization (phase and amplitude) of ultrashort optical laser pulses. The technique, called TIme-Gated Electric field Reconstruction (TIGER), measures a second-order nonlinear signal (namely, second harmonic generation or two-photon absorption) produced by four time-delayed replicas of the input pulse. The delays are spatially encoded in the beam profile using a four-faced pyramid-like optical element. The presented technique enables single shot measurement and does not require any spectral measurements, in contrast with well-known self-referenced characterization methods. Depending on the chosen geometry, the recorded TIGER signal can be either interferometric (i.e., carrier frequency resolved) or intensimetric. This paper describes the principle operation of the device together with a detailed theoretical analysis. TIGER measurements of various laser pulse shapes with their reconstructions are then presented demonstrating the relevance of this original approach.


title: Relaxed Notions of Condorcet-Consistency and Efficiency for Strategyproof Social Decision Schemes

abstract: Social decision schemes (SDSs) map the preferences of a group of voters over some set of $m$ alternatives to a probability distribution over the alternatives. A seminal characterization of strategyproof SDSs by Gibbard implies that there are no strategyproof Condorcet extensions and that only random dictatorships satisfy ex post efficiency and strategyproofness. The latter is known as the random dictatorship theorem. We relax Condorcet-consistency and ex post efficiency by introducing a lower bound on the probability of Condorcet winners and an upper bound on the probability of Pareto-dominated alternatives, respectively. We then show that the SDS that assigns probabilities proportional to Copeland scores is the only anonymous, neutral, and strategyproof SDS that can guarantee the Condorcet winner a probability of at least 2/m. Moreover, no strategyproof SDS can exceed this bound, even when dropping anonymity and neutrality. Secondly, we prove a continuous strengthening of Gibbard's random dictatorship theorem: the less probability we put on Pareto-dominated alternatives, the closer to a random dictatorship is the resulting SDS. Finally, we show that the only anonymous, neutral, and strategyproof SDSs that maximize the probability of Condorcet winners while minimizing the probability of Pareto-dominated alternatives are mixtures of the uniform random dictatorship and the randomized Copeland rule.


title: Ensemble learning priors unfolding for scalable Snapshot Compressive Sensing

abstract: Snapshot compressive imaging (SCI) can record the 3D information by a 2D measurement and from this 2D measurement to reconstruct the original 3D information by reconstruction algorithm. As we can see, the reconstruction algorithm plays a vital role in SCI. Recently, deep learning algorithm show its outstanding ability, outperforming the traditional algorithm. Therefore, to improve deep learning algorithm reconstruction accuracy is an inevitable topic for SCI. Besides, deep learning algorithms are usually limited by scalability, and a well trained model in general can not be applied to new systems if lacking the new training process. To address these problems, we develop the ensemble learning priors to further improve the reconstruction accuracy and propose the scalable learning to empower deep learning the scalability just like the traditional algorithm. What's more, our algorithm has achieved the state-of-the-art results, outperforming existing algorithms. Extensive results on both simulation and real datasets demonstrate the superiority of our proposed algorithm. The code and models will be released to the public.


title: Influences of the dissipative topological edge state on quantized transport in MnBi2Te4

abstract: The beauty of quantum Hall (QH) effect is the metrological precision of Hall resistance quantization that originates from the topological edge states. Understanding the factors that lead to quantization breakdown not only provides important insights on the nature of the topological protection of these edge states, but is beneficial for device applications involving such quantized transport. In this work, we combine conventional transport and real space conductivity mapping to investigate whether the quantization breakdown is tied to the disappearance of edge state in the hotly studied MnBi2Te4 system. Our experimental results unambiguously show that topological edge state does exist when quantization breakdown occurs. Such edge state is dissipative in nature and could lead to a quantization breakdown due to its diffusive character causing overlapping with bulk and other edge states in real devices. Our findings bring attentions to issues that are generally inaccessible in the transport study of QH, but can play important roles in practical measurements and device applications.


title: Novel Theoretical Study of Plasmonic Waves in Graphene-based Cylindrical Waveguides with Gyro-electric Layers

abstract: In this paper, we analytically study Surface Plasmon Polaritons (SPPs) in graphene-based cylindrical structures with gyroelectric layers. In the general waveguide, each graphene layer is surrounded by two various gyro-electric materials. New closed-form relations are derived for the field contributions of SPP waves. As a special case, a gyro-electric cylindrical waveguide with double-layer graphene is considered in this article. For the designed structure, the figure of merit (FOM) of 51 is reported for B= 2 T and {\mu}c=0.7 eV, at the frequency of 33 THz. It is demonstrated that the FOM of the studied waveguide is varied by tuning the chemical potential and the magnetic bias. Harnessing the gyro-electric media together with graphene layers will open a new promising platform for the design and fabrication of novel plasmonic devices in the mid-infrared region.


title: Language Generation for Broad-Coverage, Explainable Cognitive Systems

abstract: This paper describes recent progress on natural language generation (NLG) for language-endowed intelligent agents (LEIAs) developed within the OntoAgent cognitive architecture. The approach draws heavily from past work on natural language understanding in this paradigm: it uses the same knowledge bases, theory of computational linguistics, agent architecture, and methodology of developing broad-coverage capabilities over time while still supporting near-term applications.


title: Rayleigh EigenDirections (REDs): GAN latent space traversals for multidimensional features

abstract: We present a method for finding paths in a deep generative model's latent space that can maximally vary one set of image features while holding others constant. Crucially, unlike past traversal approaches, ours can manipulate multidimensional features of an image such as facial identity and pixels within a specified region. Our method is principled and conceptually simple: optimal traversal directions are chosen by maximizing differential changes to one feature set such that changes to another set are negligible. We show that this problem is nearly equivalent to one of Rayleigh quotient maximization, and provide a closed-form solution to it based on solving a generalized eigenvalue equation. We use repeated computations of the corresponding optimal directions, which we call Rayleigh EigenDirections (REDs), to generate appropriately curved paths in latent space. We empirically evaluate our method using StyleGAN2 on two image domains: faces and living rooms. We show that our method is capable of controlling various multidimensional features out of the scope of previous latent space traversal methods: face identity, spatial frequency bands, pixels within a region, and the appearance and position of an object. Our work suggests that a wealth of opportunities lies in the local analysis of the geometry and semantics of latent spaces.


title: Improving segmentation of calcified and non-calcified plaques on CCTA-CPR scans via masking of the artery wall

abstract: The presence of plaques in the coronary arteries is a major risk to the patients' life. In particular, non-calcified plaques pose a great challenge, as they are harder to detect and more likely to rupture than calcified plaques. While current deep learning techniques allow precise segmentation of real-life images, the performance in medical images is still low. This is caused mostly by blurriness and ambiguous voxel intensities of unrelated parts that fall on the same value range. In this paper, we propose a novel methodology for segmenting calcified and non-calcified plaques in CCTA-CPR scans of coronary arteries. The input slices are masked so only the voxels within the wall vessel are considered for segmentation, thus, reducing ambiguity. This mask can be automatically generated via a deep learning-based vessel detector, that provides not only the contour of the outer artery wall, but also the inner contour. For evaluation, we utilized a dataset in which each voxel is carefully annotated as one of five classes: background, lumen, artery wall, calcified plaque, or non-calcified plaque. We also provide an exhaustive evaluation by applying different types of masks, in order to validate the potential of vessel masking for plaque segmentation. Our methodology results in a prominent boost in segmentation performance, in both quantitative and qualitative evaluation, achieving accurate plaque shapes even for the challenging non-calcified plaques. Furthermore, when using highly accurate masks, difficult cases such as stenosis become segmentable. We believe our findings can lead the future research for high-performance plaque segmentation.


title: Qubit-compatible substrates with superconducting through-silicon vias

abstract: We fabricate and characterize superconducting through-silicon vias and electrodes suitable for superconducting quantum processors. We measure internal quality factors of a million for test resonators excited at single-photon levels, on chips with superconducting vias used to stitch ground planes on the front and back sides of the chips. This resonator performance is on par with the state of the art for silicon-based planar solutions, despite the presence of vias. Via stitching of ground planes is an important enabling technology for increasing the physical size of quantum processor chips, and is a first step toward more complex quantum devices with three-dimensional integration.


title: Sequential Parametric Optimization for Rate-Splitting Precoding in Non-Orthogonal Unicast and Multicast Transmissions

abstract: This paper investigates rate-splitting (RS) precoding for non-orthogonal unicast and multicast (NOUM) transmissions using fully-digital and hybrid precoders. We study the nonconvex weighted sum-rate (WSR) maximization problem subject to a multicast requirement. We propose FALCON, an approach based on sequential parametric optimization, to solve the aforementioned problem. We show that FALCON converges to a local optimum without requiring judicious selection of an initial feasible point. Besides, we show through simulations that by leveraging RS, hybrid precoders can attain nearly the same performance as their fully-digital counterparts under certain specific settings.


title: Strong decays of multi-strangeness baryon resonances in the quark model

abstract: Decay properties of multi-strangeness $\Xi$ and $\Omega$ baryon resonances are investigated within the constituent quark model by including relativistic corrections. The strong decay widths of various $\Xi$ and $\Omega$ resonances are computed and tested for internal quark configurations to pin down their spin-parity ($J^P$) quantum numbers and internal structures. We found that the Roper-like resonances in the multi-strangeness sector have large decay widths bearing resemblances to their siblings in light and heavy baryon sectors. In addition, we obtained the decay ratio for the $\Omega(2012)$ as $\Gamma{(\Omega\to \Xi \bar{K} \pi)} / \Gamma{(\Omega\to \Xi \bar{K})}=4.5\%$, which is consistent with the experimental data when $J^P=3/2^-$ is assigned. This observation holds the possibility that the $\Omega(2012)$ could naturally be explained as a three-quark state in the quark model. The decays of other low-lying $\Xi$ and $\Omega$ resonances are systematically analyzed, which would be useful to unveil the structure of these resonances in future experiments.


title: On the exit-problem for self-interacting diffusions

abstract: We study the exit-time from a domain of a self-interacting diffusion, where the Brownian motion is replaced by $\sigma B_t$ for a constant $\sigma$. The first part of this work consists in showing that the rate of convergence (of the occupation measure of the self-interacting process toward some explicit Gibbs measure) previously obtained in \cite{kk-ejp} for a convex confinment potential $V$ and a convex interaction potential can be bounded uniformly with respect to $\sigma$. Then, we prove an Arrhenius-type law for the first exit-time from a domain (satisfying classical hypotheses of Freidlin-Wentzell theory).


title: Linear seesaw in $A^\prime_5$ modular symmetry with Leptogenesis

abstract: In this paper, we investigate the implication of modular $\Gamma^{\prime}_5 \simeq A^{\prime}_5$ symmetry on neutrino oscillation phenomenology in the linear seesaw framework. In order to achieve the well defined mass structure for the light active neutrinos as dictated by the linear seesaw mechanism, we introduce six heavy fermion fields along with a pair of weightons to retain the holomorphic nature of the superpotential. The notable feature of modular symmetry is that, it reduces the usage of flavon fields significantly. In addition, the Yukawa couplings transform non-trivially under the flavor symmetry group and expressed in terms of the Dedekind eta functions, the $q$ expansion of which renders numerical simplicity in calculations. We demonstrate that the model framework diligently accommodates all the neutrino oscillation data. Alongside, we also investigate the effect of CP asymmetry generated from the decay of lightest heavy fermions to explain the observed baryon asymmetry through the phenomenon of leptogenesis.


title: A Quantitative and Qualitative Analysis of Schizophrenia Language

abstract: Schizophrenia is one of the most disabling mental health conditions to live with. Approximately one percent of the population has schizophrenia which makes it fairly common, and it affects many people and their families. Patients with schizophrenia suffer different symptoms: formal thought disorder (FTD), delusions, and emotional flatness. In this paper, we quantitatively and qualitatively analyze the language of patients with schizophrenia measuring various linguistic features in two modalities: speech and written text. We examine the following features: coherence and cohesion of thoughts, emotions, specificity, level of committed belief (LCB), and personality traits. Our results show that patients with schizophrenia score high in fear and neuroticism compared to healthy controls. In addition, they are more committed to their beliefs, and their writing lacks details. They score lower in most of the linguistic features of cohesion with significant p-values.


title: Main Product Detection with Graph Networks for Fashion

abstract: Computer vision has established a foothold in the online fashion retail industry. Main product detection is a crucial step of vision-based fashion product feed parsing pipelines, focused in identifying the bounding boxes that contain the product being sold in the gallery of images of the product page. The current state-of-the-art approach does not leverage the relations between regions in the image, and treats images of the same product independently, therefore not fully exploiting visual and product contextual information. In this paper we propose a model that incorporates Graph Convolutional Networks (GCN) that jointly represent all detected bounding boxes in the gallery as nodes. We show that the proposed method is better than the state-of-the-art, especially, when we consider the scenario where title-input is missing at inference time and for cross-dataset evaluation, our method outperforms previous approaches by a large margin.


title: Parameterized Analysis of Reconfigurable Broadcast Networks (Long Version)

abstract: Reconfigurable broadcast networks (RBN) are a model of distributed computation in which agents can broadcast messages to other agents using some underlying communication topology which can change arbitrarily over the course of executions. In this paper, we conduct parameterized analysis of RBN. We consider cubes,(infinite) sets of configurations in the form of lower and upper bounds on the number of agents in each state, and we show that we can evaluate boolean combinations over cubes and reachability sets of cubes in PSPACE. In particular, reachability from a cube to another cube is a PSPACE-complete problem. To prove the upper bound for this parameterized analysis, we prove some structural properties about the reachability sets and the symbolic graph abstraction of RBN, which might be of independent interest. We justify this claim by providing two applications of these results. First, we show that the almost-sure coverability problem is PSPACE-complete for RBN, thereby closing a complexity gap from a previous paper. Second, we define a computation model using RBN, \`a la population protocols, called RBN protocols. We characterize precisely the set of predicates that can be computed by such protocols.


title: Weighted biharmonic equations involving continous potentiel under exponential nonlinear growth

abstract: We deal with a weighted biharmonic problem in the unit ball of $\mathbb{R}^{4}$. The non-linearity is assumed to have critical exponential growth in view of Adam's type inequalities. The weight $w(x)$ is of logarithm type and the potential $V$ is a positive continuous function on $\overline{B}$. It is proved that there is a nontrivial positive weak solution to this problem by the mountain Pass Theorem. We avoid the loss of compactness by proving a concentration compactness result and by a suitable asymptotic condition.


title: Soft Tracking Using Contacts for Cluttered Objects to Perform Blind Object Retrieval

abstract: Retrieving an object from cluttered spaces suchas cupboards, refrigerators, or bins requires tracking objects with limited or no visual sensing. In these scenarios, contact feedback is necessary to estimate the pose of the objects, yet the objects are movable while their shapes and number may be unknown, making the association of contacts with objects extremely difficult. While previous work has focused on multi-target tracking, the assumptions therein prohibit using prior methods given only the contact-sensing modality. Instead, this paper proposes the method Soft Tracking Using Contacts for Cluttered Objects (STUCCO) that tracks the belief over contact point locations and implicit object associations using a particle filter. This method allows ambiguous object associations of past contacts to be revised as new information becomes available. We apply STUCCO to the Blind Object Retrieval problem, where a target object of known shape but unknown pose must be retrieved from clutter. Our results suggest that our method outperforms baselines in four simulation environments, and on a real robot, where contact sensing is noisy. In simulation, we achieve grasp success of at least 65% on all environments while no baselines achieve over 5%.


title: Measurement of the 87Rb D-line vector tune-out wavelength

abstract: We report a precision measurement of a tune-out wavelength for 87Rb using circularly polarized light. A tune-out wavelength characterizes a zero in the electric polarizability of the atom. For circularly polarized light, the total polarizability depends on both the scalar and vector polarizability components. This shifts the location of the tune-out wavelength and makes it sensitive to different combinations of atomic dipole matrix elements than the scalar polarizability alone. Using $\sigma_-$ polarized light with an an estimated purity of 0.9931(1), we observe a tune-out wavelength of 785.1522(3) nm, which agrees with theoretical expectations when small contributions from the core electrons and off-resonant valence states are taken into account.


title: Safe AI -- How is this Possible?

abstract: Ttraditional safety engineering is coming to a turning point moving from deterministic, non-evolving systems operating in well-defined contexts to increasingly autonomous and learning-enabled AI systems which are acting in largely unpredictable operating contexts. We outline some of underlying challenges of safe AI and suggest a rigorous engineering framework for minimizing uncertainty, thereby increasing confidence, up to tolerable levels, in the safe behavior of AI systems.


title: Low frequency-to-intensity noise conversion in a pulsed laser cavity locking by exploiting Carrier-Envelope Offset manipulation

abstract: We report on the dependence of the frequency-to-intensity noise conversion in the locking of an ultrafast laser against a high-finesse optical resonator from the Carrier Envelope Offset (CEO) frequency. By a proper combination of the cavity finesse and laser CEO frequency it is possible to optimize the signal-to-noise ratio of the laser intensity trapped into the optical resonator. The theoretical description of the problem together with the numerical simulations and experimental results are presented with the aim of a strong suppression of the intensity fluctuations of the trapped laser field.


title: The sharp ALMA view of infall and outflow in the massive protocluster G31.41+0.31

abstract: Context. To better understand the formation of high-mass stars, it is fundamental to investigate how matter accretes onto young massive stars, how it is ejected, and how all this differs from the low-mass case. The massive protocluster G31.41+0.31 is the ideal target to study all these processes because observations at millimeter and centimeter wavelengths have resolved the emission of the Main core into at least four massive dust continuum sources, named A, B, C, and D, within 1" or 0.018 pc, and have identified signatures of infall and several outflows associated with the core. Aims. We study the interplay between infall and outflow in G31.41+0.31 by investigating at a spatial resolution of a few 100 au their properties and their possible impact on the core. Methods. We carried out molecular line observations of typical high-density tracers, such as CH3CN or H2CO, and shock and outflow tracers, such as SiO, with ALMA at 1.4 mm that achieved an angular resolution of 0.09" (340 au). Results. The observations have revealed inverse P-Cygni profiles in CH3CN and H2CO toward the four sources embedded in the Main core, suggesting that all of them are undergoing collapse. The infall rates, estimated from the red-shifted absorption are on the order of 1E-2 Msun/yr. The individual infall rates imply that the accretion timescale of the Main core is an order of magnitude smaller than its rotation timescale. This confirms that rotating toroids such as the G31 Main core are non-equilibrium, transient collapsing structures that need to be constantly replenished with fresh material from a large-scale reservoir. For sources B, C, and D, the infall could be accelerating inside the sources, while for source A, the presence of a second emission component complicates the interpretation. The SiO observations have revealed the presence of at least six outflows in the G31.41+0.31 star-forming region, ...


title: Transformer-Based Video Front-Ends for Audio-Visual Speech Recognition for Single and Multi-Person Video

abstract: Audio-visual automatic speech recognition (AV-ASR) extends speech recognition by introducing the video modality as an additional source of information. In this work, the information contained in the motion of the speaker's mouth is used to augment the audio features. The video modality is traditionally processed with a 3D convolutional neural network (e.g. 3D version of VGG). Recently, image transformer networks arXiv:2010.11929 demonstrated the ability to extract rich visual features for image classification tasks. Here, we propose to replace the 3D convolution with a video transformer to extract visual features. We train our baselines and the proposed model on a large scale corpus of YouTube videos. The performance of our approach is evaluated on a labeled subset of YouTube videos as well as on the LRS3-TED public corpus. Our best video-only model obtains 31.4% WER on YTDEV18 and 17.0% on LRS3-TED, a 10% and 15% relative improvements over our convolutional baseline. We achieve the state of the art performance of the audio-visual recognition on the LRS3-TED after fine-tuning our model (1.6% WER). In addition, in a series of experiments on multi-person AV-ASR, we obtained an average relative reduction of 2% over our convolutional video frontend.


title: A numerical scheme for a diffusion equation with nonlocal nonlinear boundary condition

abstract: In this article, a numerical scheme to find approximate solutions to the McKendrick-Von Foerster equation with diffusion (M-V-D) is presented. The main difficulty in employing the standard analysis to study the properties of this scheme is due to presence of nonlinear and nonlocal term in the Robin boundary condition in the M-V-D. To overcome this, we use the abstract theory of discretizations based on the notion of stability threshold to analyze the scheme. Stability, and convergence of the proposed numerical scheme are established.


title: Toward Parallel in Time for Chaotic Dynamical Systems

abstract: As CPU clock speeds have stagnated, and high performance computers continue to have ever higher core counts, increased parallelism is needed to take advantage of these new architectures. Traditional serial time-marching schemes are a significant bottleneck, as many types of simulations require large numbers of time-steps which must be computed sequentially. Parallel in Time schemes, such as the Multigrid Reduction in Time (MGRIT) method, remedy this by parallelizing across time-steps, and have shown promising results for parabolic problems. However, chaotic problems have proved more difficult, since chaotic initial value problems are inherently ill-conditioned. MGRIT relies on a hierarchy of successively coarser time-grids to iteratively correct the solution on the finest time-grid, but due to the nature of chaotic systems, subtle inaccuracies on the coarser levels can lead to poor coarse-grid corrections. Here we propose a modification to nonlinear FAS multigrid, as well as a novel time-coarsening scheme, which together better capture long term behavior on coarse grids and greatly improve convergence of MGRIT for chaotic initial value problems. We provide supporting numerical results for the Lorenz system model problem.


title: Serving Deep Learning Models with Deduplication from Relational Databases

abstract: There are significant benefits to serve deep learning models from relational databases. First, features extracted from databases do not need to be transferred to any decoupled deep learning systems for inferences, and thus the system management overhead can be significantly reduced. Second, in a relational database, data management along the storage hierarchy is fully integrated with query processing, and thus it can continue model serving even if the working set size exceeds the available memory. Applying model deduplication can greatly reduce the storage space, memory footprint, cache misses, and inference latency. However, existing data deduplication techniques are not applicable to the deep learning model serving applications in relational databases. They do not consider the impacts on model inference accuracy as well as the inconsistency between tensor blocks and database pages. This work proposed synergistic storage optimization techniques for duplication detection, page packing, and caching, to enhance database systems for model serving. We implemented the proposed approach in netsDB, an object-oriented relational database. Evaluation results show that our proposed techniques significantly improved the storage efficiency and the model inference latency, and serving models from relational databases outperformed existing deep learning frameworks when the working set size exceeds available memory.


title: Certifying algorithms and relevant properties of Reversible Primitive Permutations with Lean

abstract: Reversible Primitive Permutations (RPP) are recursively defined functions designed to model Reversible Computation. We illustrate a proof, fully developed with the proof-assistant Lean, certifying that: "RPP can encode every Primitive Recursive Function". Our reworking of the original proof of that statement is conceptually simpler, fixes some bugs, suggests a new more primitive reversible iteration scheme for RPP, and, in order to keep formalization and semi-automatic proofs simple, led us to identify a single pattern that can generate some useful reversible algorithms in RPP: Cantor Pairing, Quotient/Reminder of integer division, truncated Square Root. Our Lean source code is available for experiments on Reversible Computation whose properties can be certified.


title: AggMatch: Aggregating Pseudo Labels for Semi-Supervised Learning

abstract: Semi-supervised learning (SSL) has recently proven to be an effective paradigm for leveraging a huge amount of unlabeled data while mitigating the reliance on large labeled data. Conventional methods focused on extracting a pseudo label from individual unlabeled data sample and thus they mostly struggled to handle inaccurate or noisy pseudo labels, which degenerate performance. In this paper, we address this limitation with a novel SSL framework for aggregating pseudo labels, called AggMatch, which refines initial pseudo labels by using different confident instances. Specifically, we introduce an aggregation module for consistency regularization framework that aggregates the initial pseudo labels based on the similarity between the instances. To enlarge the aggregation candidates beyond the mini-batch, we present a class-balanced confidence-aware queue built with the momentum model, encouraging to provide more stable and consistent aggregation. We also propose a novel uncertainty-based confidence measure for the pseudo label by considering the consensus among multiple hypotheses with different subsets of the queue. We conduct experiments to demonstrate the effectiveness of AggMatch over the latest methods on standard benchmarks and provide extensive analyses.


title: Stratified modestly-weighted log-rank tests in settings with an anticipated delayed separation of survival curves

abstract: Delayed separation of survival curves is a common occurrence in confirmatory studies in immuno-oncology. Many novel statistical methods that aim to efficiently capture potential long-term survival improvements have been proposed in recent years. However, the vast majority do not consider stratification, which is a major limitation considering that most (if not all) large confirmatory studies currently employ a stratified primary analysis. In this article, we combine recently proposed weighted log-rank tests that have been designed to work well under a delayed separation of survival curves, with stratification by a baseline variable. The aim is to increase the efficiency of the test when the stratifying variable is highly prognostic for survival. As there are many potential ways to combine the two techniques, we compare several possibilities in an extensive simulation study. We also apply the techniques retrospectively to two recent randomized clinical trials.


title: Parametric resonance in a conservative system of coupled nonlinear oscillators

abstract: We study a conservative system of two nonlinear coupled oscillators. The eigenmodes of the system are thus nonlinearly coupled, and one of them may induce a parametric amplification of the other, called an autoparametric resonance of the system. The parametric amplification implies two time scales, a fast one for the forcing and a slow one for the forced mode, thus a multiscale expansion is suitable to get amplitude equations describing the slow dynamics of the oscillators. We recall the parametric resonance in a dissipationless system, the parametrically forced Duffing oscillator, with emphasis on the energy transfer between the oscillator and the source that ensures the parametric forcing. Energy conservation is observed when averaging is done on the slow time scale relevant to parametric amplification,evidenced by a constant of the motion in the amplitude equation. Then we study a dimer in a periodic potential well, which is a conservative but non integrable system. When the dimer energy is such that it is trapped in neighboring potential wells, we derive coupled nonlinear differential equations for the eigenmodes amplitudes (center of mass motion and relative motion). We exhibit two constants of the motion, which demonstrates that the amplitude equations are integrable. We establish the conditions for autoparametric amplification of the relative motion by the center of mass motion, and describe the phase portraits of the system. In the opposite limit, when the dimer slides along the external potential so that the center of mass motion is basically a translation, we calculate the amplitude equation for the relative motion. In this latter case, we also exhibit autoparametric amplification of the relative motions of the dimer particles. In both cases, the comparison between numerical integration of the actual system and the asymptotic analysis evidences an excellent agreement.


title: Differentially Private Temporal Difference Learning with Stochastic Nonconvex-Strongly-Concave Optimization

abstract: Temporal difference (TD) learning is a widely used method to evaluate policies in reinforcement learning. While many TD learning methods have been developed in recent years, little attention has been paid to preserving privacy and most of the existing approaches might face the concerns of data privacy from users. To enable complex representative abilities of policies, in this paper, we consider preserving privacy in TD learning with nonlinear value function approximation. This is challenging because such a nonlinear problem is usually studied in the formulation of stochastic nonconvex-strongly-concave optimization to gain finite-sample analysis, which would require simultaneously preserving the privacy on primal and dual sides. To this end, we employ a momentum-based stochastic gradient descent ascent to achieve a single-timescale algorithm, and achieve a good trade-off between meaningful privacy and utility guarantees of both the primal and dual sides by perturbing the gradients on both sides using well-calibrated Gaussian noises. As a result, our DPTD algorithm could provide $(\epsilon,\delta)$-differential privacy (DP) guarantee for the sensitive information encoded in transitions and retain the original power of TD learning, with the utility upper bounded by $\widetilde{\mathcal{O}}(\frac{(d\log(1/\delta))^{1/8}}{(n\epsilon)^{1/4}})$ (The tilde in this paper hides the log factor.), where $n$ is the trajectory length and $d$ is the dimension. Extensive experiments conducted in OpenAI Gym show the advantages of our proposed algorithm.


title: How Low Can We Go? Pixel Annotation for Semantic Segmentation

abstract: How many labeled pixels are needed to segment an image, without any prior knowledge? We conduct an experiment to answer this question. In our experiment, an Oracle is using Active Learning to train a network from scratch. The Oracle has access to the entire label map of the image, but the goal is to reveal as little pixel labels to the network as possible. We find that, on average, the Oracle needs to reveal (i.e., annotate) less than 0.1% of the pixels in order to train a network. The network can then label all pixels in the image at an accuracy of more than 98%. Based on this single-image-annotation experiment, we design an experiment to quickly annotate an entire data set. In the data set level experiment the Oracle trains a new network for each image from scratch. The network can then be used to create pseudo-labels, which are the network predicted labels of the unlabeled pixels, for the entire image. Only then, a data set level network is trained from scratch on all the pseudo-labeled images at once. We repeat both image level and data set level experiments on two, very different, real-world data sets, and find that it is possible to reach the performance of a fully annotated data set using a fraction of the annotation cost.


title: An adaptive closed-loop ECoG decoder for long-term and stable bimanual control of an exoskeleton by a tetraplegic

abstract: Brain-computer interfaces (BCIs) still face many challenges to step out of laboratories to be used in real-life applications. A key one persists in the high performance control of diverse effectors for complex tasks, using chronic and safe recorders. This control must be robust over time and of high decoding performance without continuous recalibration of the decoders. In the article, asynchronous control of an exoskeleton by a tetraplegic patient using a chronically implanted epidural electrocorticography (EpiCoG) implant is demonstrated. For this purpose, an adaptive online tensor-based decoder: the Recursive Exponentially Weighted Markov-Switching multi-Linear Model (REW-MSLM) was developed. We demonstrated over a period of 6 months the stability of the 8-dimensional alternative bimanual control of the exoskeleton and its virtual avatar using REW-MSLM without recalibration of the decoder.


title: Constraints on the structure and seasonal variations of Triton's atmosphere from the 5 October 2017 stellar occultation and previous observations

abstract: A stellar occultation by Neptune's main satellite, Triton, was observed on 5 October 2017 from Europe, North Africa, and the USA. We derived 90 light curves from this event, 42 of which yielded a central flash detection. We aimed at constraining Triton's atmospheric structure and the seasonal variations of its atmospheric pressure since the Voyager 2 epoch (1989). We also derived the shape of the lower atmosphere from central flash analysis. We used Abel inversions and direct ray-tracing code to provide the density, pressure, and temperature profiles in the altitude range $\sim$8 km to $\sim$190 km, corresponding to pressure levels from 9 {\mu}bar down to a few nanobars. Results. (i) A pressure of 1.18$\pm$0.03 {\mu}bar is found at a reference radius of 1400 km (47 km altitude). (ii) A new analysis of the Voyager 2 radio science occultation shows that this is consistent with an extrapolation of pressure down to the surface pressure obtained in 1989. (iii) A survey of occultations obtained between 1989 and 2017 suggests that an enhancement in surface pressure as reported during the 1990s might be real, but debatable, due to very few high S/N light curves and data accessible for reanalysis. The volatile transport model analysed supports a moderate increase in surface pressure, with a maximum value around 2005-2015 no higher than 23 {\mu}bar. The pressures observed in 1995-1997 and 2017 appear mutually inconsistent with the volatile transport model presented here. (iv) The central flash structure does not show evidence of an atmospheric distortion. We find an upper limit of 0.0011 for the apparent oblateness of the atmosphere near the 8 km altitude.


title: Multivariate spatial conditional extremes for extreme ocean environments

abstract: The joint extremal spatial dependence of wind speed and significant wave height in the North East Atlantic is quantified using Metop satellite scatterometer and hindcast observations for the period 2007-2018, and a multivariate spatial conditional extremes (MSCE) model, ultimately motivated by the work of Heffernan and Tawn (2004). The analysis involves (a) registering individual satellite swaths and corresponding hindcast data onto a template transect (running approximately north-east to south-west, between the British Isles and Iceland), (b) non-stationary directional-seasonal marginal extreme value analysis at a set of registration locations on the transect, (c) transformation from physical to standard Laplace scale using the fitted marginal model, (d) estimation of the MSCE model on the set of registration locations, and assessment of quality of model fit. A joint model is estimated for three spatial quantities: Metop wind speed, hindcast wind speed and hindcast significant wave height. Results suggest that, when conditioning on extreme Metop wind speed, extremal spatial dependence for all three quantities decays over approximately 600-800 km.


title: Three little paradoxes: making sense of semiclassical gravity

abstract: I review the arguments most often raised against a fundamental coupling of classical spacetime to quantum matter. I show that an experiment by Page and Geilker does not exclude such a semiclassical theory but mandates an inclusion of an objective mechanism for wave function collapse. In this regard, I present a classification of semiclassical models defined by the way in which the wave function collapse is introduced. Two related types of paradoxes that have been discussed in the context of the necessity to quantize the gravitational field can be shown to not constrain the possibility of a semiclassical coupling. A third paradox, the possibility to signal faster than light via semiclassical gravity, is demonstrably avoided if certain conditions are met by the associated wave function collapse mechanism. In conclusion, all currently discussed models of semiclassical gravity can be made consistent with observation. Their internal theoretical consistency remains an open question.


title: The First AI4TSP Competition: Learning to Solve Stochastic Routing Problems

abstract: This paper reports on the first international competition on AI for the traveling salesman problem (TSP) at the International Joint Conference on Artificial Intelligence 2021 (IJCAI-21). The TSP is one of the classical combinatorial optimization problems, with many variants inspired by real-world applications. This first competition asked the participants to develop algorithms to solve a time-dependent orienteering problem with stochastic weights and time windows (TD-OPSWTW). It focused on two types of learning approaches: surrogate-based optimization and deep reinforcement learning. In this paper, we describe the problem, the setup of the competition, the winning methods, and give an overview of the results. The winning methods described in this work have advanced the state-of-the-art in using AI for stochastic routing problems. Overall, by organizing this competition we have introduced routing problems as an interesting problem setting for AI researchers. The simulator of the problem has been made open-source and can be used by other researchers as a benchmark for new AI methods.


title: Estimating and backtesting risk under heavy tails

abstract: While the estimation of risk is an important question in the daily business of banking and insurance, many existing plug-in estimation procedures suffer from an unnecessary bias. This often leads to the underestimation of risk and negatively impacts backtesting results, especially in small sample cases. In this article we show that the link between estimation bias and backtesting can be traced back to the dual relationship between risk measures and the corresponding performance measures, and discuss this in reference to value-at-risk, expected shortfall and expectile value-at-risk. Motivated by the consistent underestimation of risk by plug-in procedures, we propose a new algorithm for bias correction and show how to apply it for generalized Pareto distributions to the i.i.d.\ setting and to a GARCH(1,1) time series. In particular, we show that the application of our algorithm leads to gain in efficiency when heavy tails or heteroscedasticity exists in the data.


title: On the dynamical Bogomolov conjecture for families of split rational maps

abstract: We prove that Zhang's dynamical Bogomolov conjecture holds uniformly along $1$-parameter families of rational split maps and curves. This provides dynamical analogues of recent results of Dimitrov-Gao-Habegger and K\"uhne. In fact, we prove a stronger Bogomolov-type result valid for families of split maps in the spirit of the relative Bogomolov conjecture. We thus provide first instances of a generalization of a conjecture by Baker and DeMarco to higher dimensions. Our proof contains both arithmetic and analytic ingredients. We establish a characterization of curves that are preperiodic under the action of a non-exceptional split rational endomorphism $(f,g)$ of $(\mathbb{P}^1_{\mathbb{C}})^2$ with respect to the measures of maximal entropy of $f$ and $g$, extending a previous result of Levin-Przytycki. We further establish a height inequality for families of split maps and varieties comparing the values of a fiber-wise Call-Silverman canonical height with a height on the base and valid for most points of a non-preperiodic variety. This provides a dynamical generalization of a result by Habegger and generalizes results of Call-Silverman and Baker to higher dimensions. In particular, we establish a geometric Bogomolov theorem for split rational maps and varieties of arbitrary dimension.


title: A Fully Compositional Theory of Sequential Digital Circuits: Denotational, Operational and Algebraic Semantics

abstract: Digital circuits, despite having been studied for nearly a century and used at scale for about half that time, have until recently evaded a fully compositional theoretical understanding, in which arbitrary circuits may be freely composed together without consulting their internals. Recent work remedied this theoretical shortcoming by showing how digital circuits can be presented compositionally as morphisms in a freely generated symmetric traced category. However, this was done informally; in this paper we refine and expand the previous work in several ways, culminating in the presentation of three sound and complete semantics for digital circuits: denotational, operational and algebraic. For the denotational semantics, we establish a correspondence between stream functions with certain properties and circuits constructed syntactically. For the operational semantics, we present the reductions required to model how a circuit processes a value, including the addition of a new reduction for eliminating non-delay-guarded feedback; this leads to an adequate notion of observational equivalence for digital circuits. Finally, we define a new family of equations for translating circuits into bisimilar circuits of a 'normal form', leading to a complete algebraic semantics for sequential circuits


title: Electron response to radiation under linear acceleration: classical, QED and accelerated frame predictions

abstract: A model detector undergoing constant, infinite-duration acceleration converges to an equilibrium state described by the Hawking-Unruh temperature $T_a=(a/2\pi)(\hbar/c)$. To relate this prediction to experimental observables, a point-like charged particle, such as an electron, is considered in place of the model detector. Instead of the detector's internal degree of freedom, the electron's low-momentum fluctuations in the plane transverse to the acceleration provide a degree of freedom and observables which are compatible with the symmetry and thermalize by interaction with the radiation field. General arguments in the accelerated frame suggest thermalization and a fluctuation-dissipation relation but leave underdetermined the magnitude of either the fluctuation or the dissipation. Lab frame analysis reproduces the radiation losses, described by the classical Lorentz-Abraham-Dirac equation, and reveals a classical stochastic force. We derive the fluctuation-dissipation relation between the radiation losses and stochastic force as well as equipartitation $\langle p_\perp^2\rangle = 2mT_a$ from classical electrodynamics alone. The derivation uses only straightforward statistical definitions to obtain the dissipation and fluctuation dynamics. Since high accelerations are necessary for these dynamics to become important, we compare classical results for the relaxation and diffusion times to strong-field quantum electrodynamics results. We find that experimental realization will require development of more precise observables. Even wakefield accelerators, which offer the largest linear accelerations available in the lab, will require improvement over current technology as well as high statistics to distinguish an effect.


title: Selected configuration interaction wave functions in phaseless auxiliary field quantum Monte Carlo

abstract: We present efficient algorithms for using selected configuration interaction (sCI) trial wave functions in phaseless auxiliary field quantum Monte Carlo (ph-AFQMC). These advancements, geared towards optimizing computational performance for longer CI expansions, allow us to use up to a million configurations feasibly in the trial state for ph-AFQMC. In one example, we found the cost of ph-AFQMC per sample to increase only by a factor of about $3$ for a calculation with $10^4$ configurations compared to that with a single one, demonstrating the tiny computational overhead due to a longer expansion. This favorable scaling allows us to study the systematic convergence of the phaseless bias in AFQMC calculations with an increasing number of configurations and provides a means to gauge the accuracy of ph-AFQMC with other trial states. We also show how the scalability issues of sCI trial states for large system sizes could be mitigated by restricting them to a moderately sized orbital active space and leveraging the near-cancellation of out of active space phaseless errors.


title: FRAMED: An AutoML Approach for Structural Performance Prediction of Bicycle Frames

abstract: This paper demonstrates how Automated Machine Learning (AutoML) methods can be used as effective surrogate models in engineering design problems. To do so, we consider the challenging problem of structurally-performant bicycle frame design and demonstrate across-the-board dominance by AutoML in regression and classification surrogate modeling tasks. We also introduce FRAMED -- a parametric dataset of 4500 bicycle frames based on bicycles designed by practitioners and enthusiasts worldwide. Accompanying these frame designs, we provide ten structural performance values such as weight, displacements under load, and safety factors computed using finite element simulations for all the bicycle frame designs. We formulate two challenging test problems: a performance-prediction regression problem and a feasibility-prediction classification problem. We then systematically search for optimal surrogate models using Bayesian hyperparameter tuning and neural architecture search. Finally, we show how a state-of-the-art AutoML method can be effective for both regression and classification problems. We demonstrate that the proposed AutoML models outperform the strongest gradient boosting and neural network surrogates identified through Bayesian optimization by an improved F1 score of 24\% for classification and reduced mean absolute error by 12.5\% for regression. Our work introduces a dataset for bicycle design practitioners, provides two benchmark problems for surrogate modeling researchers, and demonstrates the advantages of AutoML in machine learning tasks. The dataset and code are provided at \url{http://decode.mit.edu/projects/framed/}.


title: Conditional entropy minimization principle for learning domain invariant representation features

abstract: Invariance-principle-based methods such as Invariant Risk Minimization (IRM), have recently emerged as promising approaches for Domain Generalization (DG). Despite promising theory, such approaches fail in common classification tasks due to the mixing of true invariant features and spurious invariant features. To address this, we propose a framework based on the conditional entropy minimization (CEM) principle to filter-out the spurious invariant features leading to a new algorithm with a better generalization capability. We show that our proposed approach is closely related to the well-known Information Bottleneck (IB) framework and prove that under certain assumptions, entropy minimization can exactly recover the true invariant features. Our approach provides competitive classification accuracy compared to recent theoretically-principled state-of-the-art alternatives across several DG datasets.


title: Inverse problem for a differential operator on a star-shaped graph with nonlocal matching condition

abstract: In this paper, we develop two approaches to investigation of inverse spectral problems for a new class of nonlocal operators on metric graphs. The Laplace differential operator is considered on a star-shaped graph with nonlocal integral matching condition. This operator is adjoint to the functional-differential operator with frozen argument at the central vertex of the graph. We study the inverse problem that consists in the recovery of the integral condition coefficients from the eigenvalues. We obtain the spectrum characterization, reconstruction algorithms, and prove the uniqueness of the inverse problem solution.


title: Untwisted Gaiotto equivalence

abstract: This is a successive paper of arXiv:1909.11492. We prove an equivalence between the category of finite-dimensional representations of degenerate supergroup $\underline{GL}(M|N)$ and the category of $(GL_M(O) \ltimes U_{M, N}(F), \chi_{M, N})$-equivariant D-modules on $Gr_{N}$. We also prove that we can realize the category of finite-dimensional representations of degenerate supergroup $\underline{GL}(M|N)$ as a category of D-modules on the mirabolic subgroup $Mir_L(F)$ with certain equivariant conditions for any $L$ bigger than $N$ and $M$.


title: Distantly supervised end-to-end medical entity extraction from electronic health records with human-level quality

abstract: Medical entity extraction (EE) is a standard procedure used as a first stage in medical texts processing. Usually Medical EE is a two-step process: named entity recognition (NER) and named entity normalization (NEN). We propose a novel method of doing medical EE from electronic health records (EHR) as a single-step multi-label classification task by fine-tuning a transformer model pretrained on a large EHR dataset. Our model is trained end-to-end in an distantly supervised manner using targets automatically extracted from medical knowledge base. We show that our model learns to generalize for entities that are present frequently enough, achieving human-level classification quality for most frequent entities. Our work demonstrates that medical entity extraction can be done end-to-end without human supervision and with human quality given the availability of a large enough amount of unlabeled EHR and a medical knowledge base.


title: Doppler boosting the stochastic gravitational wave background

abstract: One of the guaranteed features of the stochastic gravitational wave background (SGWB) is the presence of Doppler anisotropies induced by the motion of the detector with respect to the rest frame of the SGWB source. We point out that kinematic effects can be amplified if the SGWB is characterised by large tilts in its spectrum as a function of frequency, or by sizeable intrinsic anisotropies. Hence we examine the possibility to use Doppler effects as complementary probes of the SGWB frequency profile. For this purpose we work in multipole space, and we study the effect of kinematic modulation and aberration on the GW energy density parameter and on its angular power spectrum. We develop a Fisher forecast analysis and we discuss prospects for constraining parameters controlling kinematically induced anisotropies with future detector networks. As a case study, we apply our framework to a background component with constant slope in frequency, potentially detectable by a network of future ground-based interferometers. For this specific example, we show that a measurement of kinematic anisotropies with a network of Einstein Telescope and Cosmic Explorer will allow us to constrain the spectral shape with a precision of about 16$\%$. Finally, we identify cosmological and astrophysical scenarios where kinematic effects are enhanced in frequency ranges probed by current and future GW experiments.


title: RW Aur A : SpeX Spectral Evidence for Differentiated Planetesimal Formation, Migration and Destruction in an 3 Myr Old Excited CTTS System

abstract: We present 2007 - 2020 SpeX VISNIR spectral monitoring of the highly variable RW Aur A CTTS. We find direct evidence for a highly excited, IR bright, asymmetric, and time variable system. Comparison of the spectral and temporal trends found determines 5 different components: (1) a stable continuum from 0.7 - 1.3 um, with approx color temperature 4000K, produced by the CTTS photospheric surface; (2) variable hydrogen emission lines emitted from hot excited hydrogen in the CTTSs protostellar atmosphere/accretion envelope; (3) hot CO gas in the CTTSs protostellar atmosphere/accretion envelope; (4) highly variable 1.8-5.0 um thermal continuum emission with color temperature ranging from 1130 to 1650K, due to a surrounding accretion disk that is spatially variable and has an inner wall at r = 0.04 AU and T = 1650K, and outer edges at approx 1200K; and (5) transient, bifurcated signatures of abundant Fe II + associated SI, SiI, and SrI in the systems jet structures. The bifuracted signatures first appeared in 2015, but these collapsed and disappeared into a small single peak protostellar atmosphere feature by late 2020. The temporal evolution of RW Aur As spectral signatures is consistent with a dynamically excited CTTS system forming differentiated Vesta-sized planetesimals in an asymmetric accretion disk and migrating them inward to be destructively accreted. By contrast, nearby, coeval binary companion RW Aur B evinces only (1) a stable WTTS photospheric continuum from 0.7 - 1.3 um + (3) cold CO gas in absorption + (4) stable 1.8-5.0 um thermal disk continuum emission with color temperature approx 1650K.


title: Multiscaling and rough volatility: an empirical investigation

abstract: Pricing derivatives goes back to the acclaimed Black and Scholes model. However, such a modeling approach is known not to be able to reproduce some of the financial stylized facts, including the dynamics of volatility. In the mathematical finance community, it has therefore emerged a new paradigm, named rough volatility modeling, that represents the volatility dynamics of financial assets as a fractional Brownian motion with Hurst exponent very small, which indeed produces rough paths. At the same time, prices' time series have been shown to be multiscaling, characterized by different Hurst scaling exponents. This paper assesses the interplay, if present, between price multiscaling and volatility roughness, defined as the (low) Hurst exponent of the volatility process. In particular, we perform extensive simulation experiments by using one of the leading rough volatility models present in the literature, the rough Bergomi model. A real data analysis is also carried out in order to test if the rough volatility model reproduces the same relationship. We find that the model is able to reproduce multiscaling features of the prices' time series when a low value of the Hurst exponent is used but it fails to reproduce what the real data say. Indeed, we find that the dependency between prices' multiscaling and the Hurst exponent of the volatility process is diametrically opposite to what we find in real data, namely a negative interplay between the two.


title: Collinear antiferromagnetic order in spin-$\frac52$ triangle lattice antiferromagnet Na$_3$Fe(PO$_4$)$_2$

abstract: We set forth the structural and magnetic properties of the frustrated spin-$5/2$ triangle lattice antiferromagnet Na$_3$Fe(PO$_4$)$_2$ examined via x-ray diffraction, magnetization, heat capacity, and neutron diffraction measurements on the polycrystalline sample. No structural distortion was detected from the temperature-dependant x-ray diffraction down to 12.5 K, except a systematic lattice contraction. The magnetic susceptibility at high temperatures agrees well with the high-temperature series expansion for a spin-$5/2$ isotropic triangular lattice antiferromagnet with an average exchange coupling of $J/k_{\rm B} \simeq 1.8$ K rather than a one-dimensional spin-$5/2$ chain model. This value of the exchange coupling is consistently reproduced by the saturation field of the pulse field magnetization data. It undergoes a magnetic long-range-order at $T_{\rm N} \simeq 10.4$ K. Neutron diffraction experiments elucidate a collinear antiferromagnetic ordering below $T_{\rm N}$ with the propagation vector $k = (1,0,0)$. An intermediate value of frustration ratio ($f \simeq 3.6$) reflects moderate frustration in the compound which is corroborated by a reduced ordered magnetic moment of $\sim 1.52$ $\mu_{\rm B}$ at 1.6 K, compared to its classical value ($5 \mu_{\rm B}$). Magnetic isotherms exhibit a change of slope envisaging a field induced spin-flop transition at $H_{\rm SF}\simeq3.2$ T. The magnetic field vs temperature phase diagram clearly unfold three distinct phase regimes, reminiscent of a frustrated magnet with in-plane (XY-type) anisotropy.


title: In-Pipe Robot

abstract: This paper presents the arrangement of an in-pipe climbing robot that works using a clever differential part to explore complex associations of lines. Standard wheeled/continued in-pipe climbing robots are leaned to slip and take while exploring in pipe turns. The mechanism helps in achieving the first eventual outcome of clearing out slip and drag in the robot tracks during development. The proposed differential comprehends the down to earth limits of the standard two-yield differential, which is cultivated the underlying time for a differential with three outcomes. The mechanism definitively changes the track paces of the robot considering the powers applied on each track inside the line association, by clearing out the prerequisite for any unique control. The entertainment of the robot crossing in the line network in different bearings and in pipe-turns without slip shows the proposed arrangement's ampleness.


title: Convex Analysis of the Mean Field Langevin Dynamics

abstract: As an example of the nonlinear Fokker-Planck equation, the mean field Langevin dynamics recently attracts attention due to its connection to (noisy) gradient descent on infinitely wide neural networks in the mean field regime, and hence the convergence property of the dynamics is of great theoretical interest. In this work, we give a concise and self-contained convergence rate analysis of the mean field Langevin dynamics with respect to the (regularized) objective function in both continuous and discrete time settings. The key ingredient of our proof is a proximal Gibbs distribution $p_q$ associated with the dynamics, which, in combination with techniques in [Vempala and Wibisono (2019)], allows us to develop a simple convergence theory parallel to classical results in convex optimization. Furthermore, we reveal that $p_q$ connects to the duality gap in the empirical risk minimization setting, which enables efficient empirical evaluation of the algorithm convergence.


title: Wicked Implications for Human Interaction with IoT Sensor Data

abstract: Human data interaction with sensor data from smart homes can cause some implications when it comes to human sensemaking of this data. With our data-driven method Guess the Data for individual and collective data work we revealed in previous work a number of potential pitfalls when interacting with this type of data. We introduce some of the identified, often wicked implications for further discussion.


title: GIU-GANs: Global Information Utilization for Generative Adversarial Networks

abstract: In recent years, with the rapid development of artificial intelligence, image generation based on deep learning has dramatically advanced. Image generation based on Generative Adversarial Networks (GANs) is a promising study. However, since convolutions are limited by spatial-agnostic and channel-specific, features extracted by traditional GANs based on convolution are constrained. Therefore, GANs are unable to capture any more details per image. On the other hand, straightforwardly stacking of convolutions causes too many parameters and layers in GANs, which will lead to a high risk of overfitting. To overcome the aforementioned limitations, in this paper, we propose a new GANs called Involution Generative Adversarial Networks (GIU-GANs). GIU-GANs leverages a brand new module called the Global Information Utilization (GIU) module, which integrates Squeeze-and-Excitation Networks (SENet) and involution to focus on global information by channel attention mechanism, leading to a higher quality of generated images. Meanwhile, Batch Normalization(BN) inevitably ignores the representation differences among noise sampled by the generator, and thus degrade the generated image quality. Thus we introduce Representative Batch Normalization(RBN) to the GANs architecture for this issue. The CIFAR-10 and CelebA datasets are employed to demonstrate the effectiveness of our proposed model. A large number of experiments prove that our model achieves state-of-the-art competitive performance.


title: On self-dual Yang-Mills fields on special complex surfaces

abstract: We derive a generalization of the flat space Yang's and Newman's equations for self-dual Yang-Mills fields to (locally) conformally Kahler Riemannian 4-manifolds. The results also apply to Einstein metrics (whose full curvature is not necessarily self-dual). We analyse the possibility of hidden symmetries in the form of Backlund transformations, and we find a continuous group of hidden symmetries only for the case in which the geometry is conformally half-flat. No isometries are assumed.


title: Faster multiplication over $\mathbb{F}_2[X]$ using AVX512 instruction set and VPCLMULQDQ instruction

abstract: Code-based cryptography is one of the main propositions for the post-quantum cryptographic context, and several protocols of this kind have been submitted on the NIST platform. Among them, BIKE and HQC are part of the five alternate candidates selected in the third round of the NIST standardization process in the KEM category. These two schemes make use of multiplication of large polynomials over binary rings, and due to the polynomial size (from 10,000 to 60,000 bits), this operation is one of the costliest during key generation, encapsulation, or decapsulation mechanisms. In this work, we revisit the different existing constant-time algorithms for arbitrary polynomial multiplication. We explore the different Karatsuba and Toom-Cook constructions in order to determine the best combinations for each polynomial degree range, in the context of AVX2 and AVX512 instruction sets. This leads to different kernels and constructions in each case. In particular, in the context of AVX512, we use the VPCLMULQDQ instruction, which is a vectorized binary polynomial multiplication instruction. This instruction deals with up to four polynomial (of degree up to 63) multiplications, the four results being stored in one single 512-bit word. This allows to divide by roughly 3 the retired instruction number of the operation in comparison with the AVX2 instruction set implementations, while the speedup is up to 39% in terms of processor clock cycles. These results are different than the ones estimated in Drucker (Fast multiplication of binary polynomials with the forthcoming vectorized vpclmulqdq instruction, 2018). To illustrate the benefit of the new VPCLMULQDQ instruction, we used the HQC code to evaluate our approaches. When implemented in the HQC protocol, for the security levels 128, 192, and 256, our approaches provide up to 12% speedup, for key pair generation.


title: Whose Language Counts as High Quality? Measuring Language Ideologies in Text Data Selection

abstract: Language models increasingly rely on massive web dumps for diverse text data. However, these sources are rife with undesirable content. As such, resources like Wikipedia, books, and newswire often serve as anchors for automatically selecting web text most suitable for language modeling, a process typically referred to as quality filtering. Using a new dataset of U.S. high school newspaper articles -- written by students from across the country -- we investigate whose language is preferred by the quality filter used for GPT-3. We find that newspapers from larger schools, located in wealthier, educated, and urban ZIP codes are more likely to be classified as high quality. We then demonstrate that the filter's measurement of quality is unaligned with other sensible metrics, such as factuality or literary acclaim. We argue that privileging any corpus as high quality entails a language ideology, and more care is needed to construct training corpora for language models, with better transparency and justification for the inclusion or exclusion of various texts.


title: Variationally consistent mass scaling for explicit time-integration schemes of lower- and higher-order finite element methods

abstract: In this paper, we propose a variationally consistent technique for decreasing the maximum eigenfrequencies of structural dynamics related finite element formulations. Our approach is based on adding a symmetric positive-definite term to the mass matrix that follows from the integral of the traction jump across element boundaries. The added term is weighted by a small factor, for which we derive a suitable, and simple, element-local parameter choice. For linear problems, we show that our mass-scaling method produces no adverse effects in terms of spatial accuracy and orders of convergence. We illustrate these properties in one, two and three spatial dimension, for quadrilateral elements and triangular elements, and for up to fourth order polynomials basis functions. To extend the method to non-linear problems, we introduce a linear approximation and show that a sizeable increase in critical time-step size can be achieved while only causing minor (even beneficial) influences on the dynamic response.


title: Probing Topological Floquet States in WSe$_2$ using Circular Dichroism in Time- and Angle-Resolved Photoemission Spectroscopy

abstract: Observing signatures of light-induced Floquet topological states in materials has been shown to be very challenging. Angle-resolved photoemission spectroscopy (ARPES) is well suited for the investigation of Floquet physics, as it allows to directly probe the dressed electronic states of driven solids. Depending on the system, scattering and decoherence can play an important role, hampering the emergence of Floquet states. Another challenge is to disentangle Floquet side bands from laser-assisted photoemission (LAPE), since both lead to similar signatures in ARPES spectra. Here, we investigate the emergence of Floquet state in the transition metal dichalcogenide $2H$-WSe$_2$, one of the most promising systems for observing Floquet physics. We discuss how the Floquet topological state manifests in characteristic features in the circular dichroism in photoelectron angular distributions (CDAD) that is determined by the transient band structure modifications and the associated texture of the orbital angular momentum. Combining highly accurate modeling of the photoemission matrix elements with an \emph{ab initio} description of the light-matter interaction, we investigate regimes which can be realized in current state-of-the-art experimental setups. The predicted features are robust against scattering effects and are expected to be observed in forthcoming experiments.


title: SOL: Safe On-Node Learning in Cloud Platforms

abstract: Cloud platforms run many software agents on each server node. These agents manage all aspects of node operation, and in some cases frequently collect data and make decisions. Unfortunately, their behavior is typically based on pre-defined static heuristics or offline analysis; they do not leverage on-node machine learning (ML). In this paper, we first characterize the spectrum of node agents in Azure, and identify the classes of agents that are most likely to benefit from on-node ML. We then propose SOL, an extensible framework for designing ML-based agents that are safe and robust to the range of failure conditions that occur in production. SOL provides a simple API to agent developers and manages the scheduling and running of the agent-specific functions they write. We illustrate the use of SOL by implementing three ML-based agents that manage CPU cores, node power, and memory placement. Our experiments show that (1) ML substantially improves our agents, and (2) SOL ensures that agents operate safely under a variety of failure conditions. We conclude that ML-based agents show significant potential and that SOL can help build them.


title: Design and Description of the CMS Magnetic System Model

abstract: This review describes the composition of the Compact Muon Solenoid (CMS) detector and the methodology for modelling the heterogeneous CMS magnetic system, starting with the formulation of the magnetostatics problem for modelling the magnetic flux of the CMS superconducting solenoid enclosed in a steel flux-return yoke. The review includes a section on the magnetization curves of various types of steel used in the CMS magnet yoke. The evolution of the magnetic system model over 20 years is presented in the discussion section and is well illustrated by the CMS model layouts and the magnetic flux distribution.


title: Massive particle interferometry with lattice solitons: robustness against ionization

abstract: We revisit the proposal of Castin and Weiss [Phys. Rev. Lett. vol. 102, 010403 (2009)] for using the scattering of a quantum matter-wave soliton on a barrier in order to create a coherent superposition state of the soliton being entirely to the left of the barrier and being entirely to the right of the barrier. In that proposal, is was assumed that the scattering is perfectly elastic, i.e. that the center-of-mass kinetic energy of the soliton is lower than the chemical potential of the soliton. Here we relax this assumption. Also, we introduce an interferometric scheme, which uses interference of soltions, that can be used to detect the degree of coherence between the reflected and transmitted part of the soliton. Using exact diagonalization, we numerically simulate a complete interferometric cycle for a soliton consisting of six atoms. We find that the interferometric fringes persist even when the center-of-mass kinetic energy of the soliton is above the energy needed for complete dissociation of the soliton into constituent atoms.


title: Galaxy and Mass Assembly (GAMA): Mid-infrared properties as tracers of galaxy environment

abstract: We investigate how different mid-infrared (mid-IR) properties of galaxies trace the environment in which the galaxies are located. For this purpose, we first study the dependence of galaxy clustering on the absolute magnitude at 3.4 $\mu$m and redshift. Then, we look into the environmental dependence of mid-IR luminosities and the galaxy properties derived from these luminosities. We also explore how various infrared galaxy luminosity selections influence the galaxy clustering measurements. We use a set of W1 (3.4 $\mu$m) absolute magnitude ($M_\text{W1}$) selected samples from the Galaxy and Mass Assembly (GAMA) survey matched with mid-IR properties from the Wide-field Infrared Survey Explorer (WISE) in the redshift range $0.07 \leq z < 0.43$. We compute the galaxy two-point correlation function (2pCF) and compare the clustering lengths between subsamples binned in $M_\text{W1}$ and in redshift. We also measure the marked correlation functions (MCFs) using the luminosities in the WISE W1 to W4 (3.4 to 22 $\mu$m) bands as marks. Additionally, we compare the measurements of MCFs with different estimates of stellar mass and star formation rate used as marks. Finally, we check how different selections applied to the sample affect the clustering measurements. We show strong clustering dependence on the W1 absolute magnitude: galaxies brighter in the W1 band are more strongly clustered than their fainter counterparts. We also observe a lack of significant redshift dependence of clustering in the redshift range $0.07 \leq z < 0.43$. We show that although W1 and W2 bands are direct indicators of stellar mass, a galaxy sample selected based on W1 or W2 bands does not perfectly show the clustering behaviour of a stellar mass selected sample. Similar is the case with the proxy relation between W3 and W4 bands and star formation rate.


title: Superconductivity and Antiferromagnetism in NdNiO$_2$ and CaCuO$_2$: A Cluster DMFT Study

abstract: We perform a comparative $2 \times 2$ real space cluster DMFT study on minimal models for NdNiO$_2$ and CaCuO$_2$ obtained from downfolding DFT states, using a Nambu formalism that allows for both superconducting and antiferromagnetic order. We produce a phase diagram in temperature and doping. We find that for the nickelate, like the cuprate, the stoichiometric compound is antiferromagnetic. We find superconductivity in a doping range bounded, with a small coexistence region, by the onset of antiferromagnetism at low doping and with transition temperature becoming immeasurably small at high doping. Superconductivity emerges at around the same hole doping for both compounds, but requires a larger deviation from half filling for the nickelate. Both antiferromagnetic and superconducting order lead to a partial gapping of the $d_{x^2-y^2}$ Fermi surface sheet. Our similar results for the cuprate and nickelate suggest that nickelate superconductivity is cupratelike. We compare our results to the experimental phase diagram.


title: Hydrogen Atoms on Zigzag Graphene Nanoribbons: Chemistry and Magnetism Meet at the Edge

abstract: Although the unconventional $\pi$-magnetism at the zigzag edges of graphene holds promise for a wide array of applications, whether and to what degree it plays a role in their chemistry remains poorly understood. Here, we investigate the addition of a hydrogen atom $-$ the simplest yet the most experimentally relevant adsorbate $-$ to zigzag graphene nanoribbons (ZGNRs). We show that the $\pi$-magnetism governs the chemistry of ZGNRs, giving rise to a site-dependent reactivity of the carbon atoms and driving the hydrogenation process to the nanoribbon edges. Conversely, the chemisorbed hydrogen atom governs the $\pi$-magnetism of ZGNRs, acting as a spin-$\frac{1}{2}$ paramagnetic center in the otherwise antiferromagnetic ground state and spin-polarizing the charge carriers at the band extrema. Our findings establish a comprehensive picture of the peculiar interplay between chemistry and magnetism that emerges at the zigzag edges of graphene.


title: Multi-agent Performative Prediction: From Global Stability and Optimality to Chaos

abstract: The recent framework of performative prediction is aimed at capturing settings where predictions influence the target/outcome they want to predict. In this paper, we introduce a natural multi-agent version of this framework, where multiple decision makers try to predict the same outcome. We showcase that such competition can result in interesting phenomena by proving the possibility of phase transitions from stability to instability and eventually chaos. Specifically, we present settings of multi-agent performative prediction where under sufficient conditions their dynamics lead to global stability and optimality. In the opposite direction, when the agents are not sufficiently cautious in their learning/updates rates, we show that instability and in fact formal chaos is possible. We complement our theoretical predictions with simulations showcasing the predictive power of our results.


title: Scented Dice: New interaction qualities for ideating connected devices

abstract: Much research has been done around creating multisensory ideation and prototyping tools. We relate our own multisensory tool, the Loaded Dice, to this domain. We briefly explain what sensing and actuating possibilities the Loaded Dice already have (including thermal sensations), and how they are methodically embedded in workshops using an extended interaction vocabulary to characterize and ideate multisensory experiences. We briefly ponder simple technical ways to add smell as an output modality, and discuss why and how smell capabilities will enrich ideation workshops in co-design.


title: Concurrent NetKAT: Modeling and analyzing stateful, concurrent networks

abstract: We introduce Concurrent NetKAT (CNetKAT), an extension of NetKAT with operators for specifying and reasoning about concurrency in scenarios where multiple packets interact through state. We provide a model of the language based on partially-ordered multisets (pomsets), which are a well-established mathematical structure for defining the denotational semantics of concurrent languages. We provide a sound and complete axiomatization of this model, and we illustrate the use of CNetKAT through examples. More generally, CNetKAT can be understood as an algebraic framework for reasoning about programs with both local state (in packets) and global state (in a global store).


title: Operator overlaps in harmonic oscillator bases with different oscillator lengths

abstract: We apply a formalism recently developed to carry out Generator Coordinate Method calculations using a set of Hartree- Fock- Bogoliubov wave functions, where each of the members of the set can be expanded in an arbitrary basis. In this paper it is assumed that the HFB wave functions are expanded in Harmonic Oscillator (HO) bases with different oscillator lengths. General expressions to compute the required matrix elements of arbitrary operators are given. The application of the present formalism to the case of fission is illustrated with an example.


title: Self-referenced subcycle metrology of quantum fields

abstract: We propose and analyze a new time-domain method for subcycle metrology of quantum electric fields using a combination of a 3rd order nonlinear optical process and homodyne detection with a local oscillator (LO) field. The new method enables isolation of intrinsically weak quantum noise contribution by subtraction of the shot noise of the LO on a pulse-by-pulse basis. Together with the centro-symmetric character of the nonlinearity, our method unlocks novel opportunities toward terahertz and mid-infrared quantum field metrologies.


title: PILOT: High-Precision Indoor Localization for Autonomous Drones

abstract: In many scenarios, unmanned aerial vehicles (UAVs), aka drones, need to have the capability of autonomous flying to carry out their mission successfully. In order to allow these autonomous flights, drones need to know their location constantly. Then, based on the current position and the final destination, navigation commands will be generated and drones will be guided to their destination. Localization can be easily carried out in outdoor environments using GPS signals and drone inertial measurement units (IMUs). However, such an approach is not feasible in indoor environments or GPS-denied areas. In this paper, we propose a localization scheme for drones called PILOT (High-Precision Indoor Localization for Autonomous Drones) that is specifically designed for indoor environments. PILOT relies on ultrasonic acoustic signals to estimate the target drone's location. In order to have a precise final estimation of the drone's location, PILOT deploys a three-stage localization scheme. The first two stages provide robustness against the multi-path fading effect of indoor environments and mitigate the ranging error. Then, in the third stage, PILOT deploys a simple yet effective technique to reduce the localization error induced by the relative geometry between transmitters and receivers and significantly reduces the height estimation error. The performance of PILOT was assessed under different scenarios and the results indicate that PILOT achieves centimeter-level accuracy for three-dimensional localization of drones.


title: Sphere2Vec: Multi-Scale Representation Learning over a Spherical Surface for Geospatial Predictions

abstract: Generating learning-friendly representations for points in a 2D space is a fundamental and long-standing problem in machine learning. Recently, multi-scale encoding schemes (such as Space2Vec) were proposed to directly encode any point in 2D space as a high-dimensional vector, and has been successfully applied to various (geo)spatial prediction tasks. However, a map projection distortion problem rises when applying location encoding models to large-scale real-world GPS coordinate datasets (e.g., species images taken all over the world) - all current location encoding models are designed for encoding points in a 2D (Euclidean) space but not on a spherical surface, e.g., earth surface. To solve this problem, we propose a multi-scale location encoding model called Sphere2V ec which directly encodes point coordinates on a spherical surface while avoiding the mapprojection distortion problem. We provide theoretical proof that the Sphere2Vec encoding preserves the spherical surface distance between any two points. We also developed a unified view of distance-reserving encoding on spheres based on the Double Fourier Sphere (DFS). We apply Sphere2V ec to the geo-aware image classification task. Our analysis shows that Sphere2V ec outperforms other 2D space location encoder models especially on the polar regions and data-sparse areas for image classification tasks because of its nature for spherical surface distance preservation.


title: Dynamic Stark shift in a Doppler-broadened four-wave mixing

abstract: This work presents a theoretical analysis of the Autler-Townes splitting pattern in the four-wave mixing signal generated in a three-level cascade Doppler-broadened system. We employ the density matrix formalism to write the Bloch equations and solve them numerically. The solutions allow us to compare the response of the upper level population and the generated signal coherence for homogeneously and non-homogeneously broadened systems. Our results reveal an AC Stark shift in the nonlinear signal when the frequency of the strong or weak beam is scanned, in contrast to what is observed in the fluorescence. Furthermore, we present experimental data for the four-wave mixing signal in a hot rubidium vapor for the copropagating configuration of the exciting beams. The behavior of the AC Stark displacement and signal amplitude as a function of laser power indicates a good agreement between the model and the experimental results.