title: Triboelectric Backgrounds to radio-based UHE Neutrino Exeperiments

abstract: The proposed IceCube-Gen2 (ICG2) seeks to instrument ~500 sq. km of Antarctic ice near the geographic South Pole with radio antennas, in order to observe the highest energy (E>1 EeV) neutrinos in the Universe. To this end, ICG2 will use the impulsive radio-frequency (RF) signal produced by neutrino interactions in polar ice caps. In such experiments, rare single event candidates must be unambiguously separated from background; to date, signal identification strategies primarily reject thermal noise and anthropogenic backgrounds. Here, we consider the possibility that fake neutrino signals may also be naturally generated via the 'triboelectric effect'. This broadly includes any process in which force applied at a boundary layer results in displacement of surface charge, generating a potential difference {\Delta}V. Wind blowing over granular surfaces such as snow can induce such a {\Delta}V, with subsequent discharge. Discharges over nanosecond-timescales can then lead to RF emissions at characteristic MHz-GHz frequencies. We find that such backgrounds are evident in the several neutrino experiments considered, and are generally characterized by: a) a threshold wind velocity which likely depends on the experimental signal trigger threshold and layout; for the experiments considered herein, this value is typically O(10 m/s), b) frequency spectra generally shifted to the low-end of the frequency regime to which current radio experiments are typically sensitive (100-200 MHz), c) for the strongest background signals, an apparent preference for discharges from above-surface structures, although the presence of more isotropic, lower amplitude triboelectric discharges cannot be excluded.


title: An exponential integrator/WENO discretization for sonic-boom simulation on modern computer hardware

abstract: Recently a splitting approach has been presented for the simulation of sonic-boom propagation. Splitting methods allow one to divide complicated partial differential equations into simpler parts that are solved by specifically tailored numerical schemes. The present work proposes a second order exponential integrator for the numerical solution of sonic-boom propagation modelled through a dispersive equation with Burgers' nonlinearity. The linear terms are efficiently solved in frequency space through FFT, while the nonlinear terms are efficiently solved by a WENO scheme. The numerical method is designed to be highly parallelisable and therefore takes full advantage of modern computer hardware. The new approach also improves the accuracy compared to the splitting method and it reduces oscillations. The enclosed numerical results illustrate that parallelisation on a CPU results in a speedup of 22 times faster than the straightforward sequential version. The GPU implementation further accelerates the runtime by a factor 3, which improves to 5 when single precision is used instead of double precision.


title: Simultaneous Imaging Achiral and Chiral Domains beyond Diffraction Limit by Structured-illumination Microscopy

abstract: Modern optical microscopy methods have been advanced to provide super resolution at high imaging speed, but not chirality discriminative. We recently proposed chiral structured-illumination microscopy (SIM) method to image chiral fluorescent domains at sub-wavelength resolution. Chiral SIM is suitable for imaging chiral domains at sub-wavelength resolution but loses the high spatial frequency of the achiral ones. In order to obtain the full picture of all fluorescent domains at sub-wavelength resolution, we propose an advanced version of chiral SIM, termed double SIM, which enables simultaneous imaging of achiral and chiral domains at sub-wavelength resolution. In double SIM, the illumination field must be spatially structured both in the intensity and optical chirality so that moir\'e effects can be concurrently generated on the achiral and chiral fluorescent domains of a sample. This allows down-modulating the high spatial frequency of both domains at the same time and thus provides sub-wavelength details after image reconstruction. To generate the illumination field with concurrently structured intensity and optical chirality, we propose interfering two coherent circularly polarized light with the same handedness at the sample plane. We introduce the working principle of double SIM and theoretically demonstrate the feasibility of this method using different kinds of synthetic samples.


title: Short-wavelength soliton in a fully degenerate quantum plasma

abstract: We present a novel one-dimensional nonlinear evolution equation governing the dynamics short-wavelength longitudinal waves in a nonrelativistic fully degenerate quantum plasma using kinetic equation for the Wigner function. The linear dispersion of the equation has a form of "zero sound" $\sim k\exp (-k^{2})$, where $k$ is the wave number, and it strongly differs from previously known nonlinear evolution equations. We numerically find the corresponding soliton solutions and demonstrate that the collisions between three solitons turn out to be elastic resulting only in phase shifts.


title: Quantum Riemannian geometry of quantum projective spaces

abstract: We study the quantum Riemannian geometry of quantum projective spaces of any dimension. In particular we compute the Riemann and Ricci tensors, using previously introduced quantum metrics and quantum Levi-Civita connections. We show that the Riemann tensor is a bimodule map and derive various consequences of this fact. We prove that the Ricci tensor is proportional to the quantum metric, giving a quantum analogue of the Einstein condition, and compute the corresponding scalar curvature. Along the way we also prove several results for various objects related to those mentioned here.


title: Impacts of the Numbers of Colors and Shapes on Outlier Detection: from Automated to User Evaluation

abstract: The design of efficient representations is well established as a fruitful way to explore and analyze complex or large data. In these representations, data are encoded with various visual attributes depending on the needs of the representation itself. To make coherent design choices about visual attributes, the visual search field proposes guidelines based on the human brain perception of features. However, information visualization representations frequently need to depict more data than the amount these guidelines have been validated on. Since, the information visualization community has extended these guidelines to a wider parameter space. This paper contributes to this theme by extending visual search theories to an information visualization context. We consider a visual search task where subjects are asked to find an unknown outlier in a grid of randomly laid out distractor. Stimuli are defined by color and shape features for the purpose of visually encoding categorical data. The experimental protocol is made of a parameters space reduction step (i.e., sub-sampling) based on a machine learning model, and a user evaluation to measure capacity limits and validate hypotheses. The results show that the major difficulty factor is the number of visual attributes that are used to encode the outlier. When redundantly encoded, the display heterogeneity has no effect on the task. When encoded with one attribute, the difficulty depends on that attribute heterogeneity until its capacity limit (7 for color, 5 for shape) is reached. Finally, when encoded with two attributes simultaneously, performances drop drastically even with minor heterogeneity.


title: On the Dual Implementation of Collision-Avoidance Constraints in Path-Following MPC for Underactuated Surface Vessels

abstract: A path-following collision-avoidance model predictive control (MPC) method is proposed which approximates obstacle shapes as convex polygons. Collision-avoidance is ensured by means of the signed distance function which is calculated efficiently as part of the MPC problem by making use of a dual formulation. The overall MPC problem can be solved by standard nonlinear programming (NLP) solvers. The dual signed distance formulation yields, besides the (dual) collision-avoidance constraints, norm, and consistency constraints. A novel approach is presented that combines the arising norm equality with the dual collision-avoidance inequality constraints to yield an alternative formulation reduced in complexity. Moving obstacles are considered using separate convex sets of linearly predicted obstacle positions in the dual problem. The theoretical findings and simplifications are compared with the often-used ellipsoidal obstacle formulation and are analyzed with regard to efficiency by the example of a simulated path-following autonomous surface vessel during a realistic maneuver and AIS obstacle data from the Kiel bay area.


title: Triaxial deformation and the loss of the N = 28 shell gap

abstract: Background: Recent accumulation of experimental data is revealing the nuclear deformation in vicinity of 42Si. This requests systematic theoretical studies to clarify more specific aspects of nuclear deformation and its causes. Purpose: The purpose of this study is to investigate the nature and cause of the nuclear deformations and its relation to the loss of the neutron magic number N = 28 in vicinity of 42Si. Method: The framework of antisymmetrized molecular dynamics with Gogny D1S density functional has been applied. The model assumes no spatial symmetry and can describe triaxial deformation. It also incorporates with the configuration mixing by the generator coordinate method. Results: We show that the shell effects and the loss of the magicity induce various nuclear deformations. In particular, the N = 26 and N = 30 isotones have triaxially deformed ground states. We also note that the erosion of the N = 28 magicity gradually occurs and has no definite boundaries. Conclusion: The present calculation predicts various nuclear deformations in vicinity of 42Si and suggests that the inter-band electric transitions are good measure for it. We also remark that the magicity is lost without the single-particle level inversion in the oblate deformed nuclei such as 42Si.


title: A Compactness Result for the div-curl System with Inhomogeneous Mixed Boundary Conditions for Bounded Lipschitz Domains and Some Applications

abstract: For a bounded Lipschitz domain with Lipschitz interface we show the following compactness theorem: Any $L^2$-bounded sequence of vector fields with $L^2$-bounded rotations and $L^2$-bounded divergences as well as $L^2$-bounded tangential traces on one part of the boundary and $L^2$-bounded normal traces on the other part of the boundary, contains a strongly $L^2$-convergent subsequence. This generalises recent results for homogeneous mixed boundary conditions by the first author and collaborators. As applications we present a related Friedrichs/Poincare type estimate, a div-curl lemma, and show that the Maxwell operator with mixed tangential and impedance boundary conditions (Robin type boundary conditions) has compact resolvents.


title: Approximation classes for adaptive time-stepping finite element methods

abstract: We study approximation classes for adaptive time-stepping finite element methods for time-dependent Partial Differential Equations (PDE). We measure the approximation error in $L_2([0,T)\times\Omega)$ and consider the approximation with discontinuous finite elements in time and continuous finite elements in space, of any degree. As a byproduct we define Besov spaces for vector-valued functions on an interval and derive some embeddings, as well as Jackson- and Whitney-type estimates.


title: Variable-rate discrete representation learning

abstract: Semantically meaningful information content in perceptual signals is usually unevenly distributed. In speech signals for example, there are often many silences, and the speed of pronunciation can vary considerably. In this work, we propose slow autoencoders (SlowAEs) for unsupervised learning of high-level variable-rate discrete representations of sequences, and apply them to speech. We show that the resulting event-based representations automatically grow or shrink depending on the density of salient information in the input signals, while still allowing for faithful signal reconstruction. We develop run-length Transformers (RLTs) for event-based representation modelling and use them to construct language models in the speech domain, which are able to generate grammatical and semantically coherent utterances and continuations.


title: Almost complex manifolds with small Nijenhuis tensor

abstract: We give several explicit examples of compact manifolds with a $1$-parameter family of almost complex structures having arbitrarily small Nijenhuis tensor in the $C^0$-norm. The $4$-dimensional examples possess no complex structure, whereas the $6$-dimensional example does not possesses a left invariant complex structure, and whether it possesses a complex structure appears to be unknown.


title: Blindspots in Python and Java APIs Result in Vulnerable Code

abstract: Blindspots in APIs can cause software engineers to introduce vulnerabilities, but such blindspots are, unfortunately, common. We study the effect APIs with blindspots have on developers in two languages by replicating an 109-developer, 24-Java-API controlled experiment. Our replication applies to Python and involves 129 new developers and 22 new APIs. We find that using APIs with blindspots statistically significantly reduces the developers' ability to correctly reason about the APIs in both languages, but that the effect is more pronounced for Python. Interestingly, for Java, the effect increased with complexity of the code relying on the API, whereas for Python, the opposite was true. Whether the developers considered API uses to be more difficult, less clear, and less familiar did not have an effect on their ability to correctly reason about them. Developers with better long-term memory recall were more likely to correctly reason about APIs with blindspots, but short-term memory, processing speed, episodic memory, and memory span had no effect. Surprisingly, professional experience and expertice did not improve the developers' ability to reason about APIs with blindspots across both languages, with long-term professionals with many years of experience making mistakes as often as relative novices. Finally, personality traits did not significantly affect the Python developers' ability to reason about APIs with blindspots, but less extraverted and more open developers were better at reasoning about Java APIs with blindspots. Overall, our findings suggest that blindspots in APIs are a serious problem across languages, and that experience and education alone do not overcome that problem, suggesting that tools are needed to help developers recognize blindspots in APIs as they write code that uses those APIs.


title: Physics-Guided Neural Networks for Inversion-based Feedforward Control applied to Linear Motors

abstract: Ever-increasing throughput specifications in semiconductor manufacturing require operating high-precision mechatronics, such as linear motors, at higher accelerations. In turn this creates higher nonlinear parasitic forces that cannot be handled by industrial feedforward controllers. Motivated by this problem, in this paper we develop a general framework for inversion-based feedforward controller design using physics-guided neural networks (PGNNs). In contrast with black-box neural networks, the developed PGNNs embed prior physical knowledge in the input and hidden layers, which results in improved training convergence and learning of underlying physical laws. The PGNN inversion-based feedforward control framework is validated in simulation on an industrial linear motor, for which it achieves a mean average tracking error twenty times smaller than mass-acceleration feedforward in simulation.


title: Weak ferroelectric charge transfer in layer-asymmetric bilayers of 2D semiconductors

abstract: In bilayers of two-dimensional (2D) semiconductors with stacking arrangements which lack inversion symmetry charge transfer between the layers due to layer-asymmetric interband hybridisation can generate a potential difference between the layers. We analyse bilayers of transition metal dichalcogenides (TMDs) - in particular, WSe$_2$ - for which we find a substantial stacking-dependent charge transfer, and InSe, for which the charge transfer is found to be negligibly small. The information obtained about TMDs is then used to map potentials generated by the interlayer charge transfer across the moir\'e superlattice in twistronic bilayers.


title: Particle-hole asymmetric superconducting coherence peaks in overdoped cuprates

abstract: To elucidate the superconductor to metal transition at the end of superconducting dome, the overdoped regime has stepped onto the center stage of cuprate research recently. Here, we use scanning tunneling microscopy to investigate the atomic-scale electronic structure of overdoped trilayer Bi-2223 and bilayer Bi-2212 cuprates. At low energies the spectroscopic maps are well described by dispersive quasiparticle interference patterns. However, as the bias increases to the superconducting coherence peak energy, a virtually non-dispersive pattern with sqrt(2)*sqrt(2) periodicity emerges. Remarkably, the position of the coherence peaks exhibits evident particle-hole asymmetry which also modulates with the same period. We propose that this is an extreme quasiparticle interference phenomenon, caused by pairing-breaking scattering between flat anti-nodal Bogoliubov bands, which is ultimately responsible for the superconductor to metal transition.


title: Homomorphisms to 3-manifold groups

abstract: We prove foundational results about the set of homomorphisms from a finitely generated group to the collection of all fundamental groups of compact 3-manifolds and answer questions of Reid-Wang-Zhou and Agol-Liu.


title: Fluctuations and phases in baryonic matter

abstract: The phase structure of baryonic matter is investigated with focus on the role of fluctuations beyond the mean-field approximation. The prototype test case studied is the chiral nucleon-meson model, with added comments on the chiral quark-meson model. Applications to the liquid-gas phase transition in nuclear matter and extensions to dense matter are performed. The role of vacuum fluctuations and thermal excitations is systematically explored. It is pointed out that such fluctuations tend to stabilise the hadronic phase characterised by spontaneously broken chiral symmetry, shifting the chiral restoration transition to very high densities. This stabilisation effect is shown to be further enhanced by additional dynamical fluctuations treated with functional renormalisation group methods.


title: Paint Cost and the Frugal Distinguishing Number

abstract: You are handed a graph with vertices in a neutral color and asked to color a subset of vertices with expensive paints in $d$ colors in such a way that only the trivial symmetry preserves the color classes. Your goal is to minimize the number of vertices needing this expensive paint. This paper address the issues surrounding your choices. In particular, a graph is said to be $d$-distinguishable if there exists a coloring with $d$ colors so that only the trivial automorphism preserves the color classes. The distinguishing number of $G$, denoted ${\rm Dist}(G)$, is the smallest $d$ for which $G$ is $d$-distinguishable. We define the -paint cost of $d$-distinguishing, denoted $\rho^d(G)$, to be the minimum number of vertices that need to be painted to $d$-distinguish $G$. This cost varies with $d$. The maximum paint cost for $G$ is called the upper paint cost, denoted $\rho^u(G)$, and occurs when $d={\rm Dist}(G)$; the minimum paint cost is called the lower paint cost, denoted $\rho^\ell(G)$. Further, we define the smallest $d$ for which the paint cost is $\rho^\ell(G)$, to be the frugal distinguishing number, ${\rm Fdist}(G)$. In this paper we formally define $\rho^d(G)$, $\rho^u(G)$, $\rho^\ell(G)$, and ${\rm Fdist}(G)$. We also show that $\rho^u(G)$ and $\rho^\ell(G)$, as well as ${\rm Fdist}(G)$ and ${\rm Dist}(G)$, can be arbitrarily large multiples of each other. Lastly, we find these parameters for the book graph $B_{m,n}$, summarized as follows. For $n\geq 2$ and $m\geq 4$, we show $\bullet$ $\rho^\ell(B_{m,n}) = n-1;$ $\bullet$ $\rho^u(B_{m,n}) \geq (m-2) \left( n-k^{m-3} \right) +1$, where $k={\rm Dist}(B_{m,n});$ $\bullet$ ${\rm Fdist}(B_{m,n}) = 2+\left\lfloor \frac{n-1}{m-2} \right\rfloor.$


title: Experimental Determination of Electronic States via Digitized Shortcut-to-Adiabaticity and Sequential Digitized Adiabaticity

abstract: A combination of the digitized shortcut-to-adiabaticity (STA) and the sequential digitized adiabaticity is implemented in a superconducting quantum device to determine electronic states in two example systems, the H2 molecule and the topological Bernevig-Hughes-Zhang (BHZ) model. For H2, a short internuclear distance is chosen as a starting point, at which the ground and excited states are obtained via the digitized STA. From this starting point, a sequence of internuclear distances is built. The eigenstates at each distance are sequentially determined from those at the previous distance via the digitized adiabaticity, leading to the potential energy landscapes of H2. The same approach is applied to the BHZ model, and the valence and conduction bands are excellently obtained along the X-{\Gamma}-X linecut of the first Brillouin zone. Furthermore, a numerical simulation of this method is performed to successfully extract the ground states of hydrogen chains with the lengths of 3 to 6 atoms.


title: Semileptonic $B$ decays and $|V_{xb}|$ update

abstract: We review the status of semileptonic $B$ decays and $|V_{xb}|$ determinations.


title: Spin effects on neutron star fundamental-mode dynamical tides: phenomenology and comparison to numerical simulations

abstract: Gravitational waves from neutron star binary inspirals contain information on strongly-interacting matter in unexplored, extreme regimes. Extracting this requires robust theoretical models of the signatures of matter in the gravitational-wave signals due to spin and tidal effects. In fact, spins can have a significant impact on the tidal excitation of the quasi-normal modes of a neutron star, which is not included in current state-of-the-art waveform models. We develop a simple approximate description that accounts for the Coriolis effect of spin on the tidal excitation of the neutron star's quadrupolar and octupolar fundamental quasi-normal modes and incorporate it in the SEOBNRv4T waveform model. We show that the Coriolis effect introduces only one new interaction term in an effective action in the co-rotating frame of the star, and fix the coefficient by considering the spin-induced shift in the resonance frequencies that has been computed numerically for the mode frequencies of rotating neutron stars in the literature. We investigate the impact of relativistic corrections due to the gravitational redshift and frame-dragging effects, and identify important directions where more detailed theoretical developments are needed in the future. Comparisons of our new model to numerical relativity simulations of double neutron star and neutron star-black hole binaries show improved consistency in the agreement compared to current models used in data analysis


title: Narrow inhomogeneous distribution of spin-active emitters in silicon carbide

abstract: Optically active solid-state spin registers have demonstrated their unique potential in quantum computing, communication and sensing. Realizing scalability and increasing application complexity requires entangling multiple individual systems, e.g. via photon interference in an optical network. However, most solid-state emitters show relatively broad spectral distributions, which hinders optical interference experiments. Here, we demonstrate that silicon vacancy centres in semiconductor silicon carbide (SiC) provide a remarkably small natural distribution of their optical absorption/emission lines despite an elevated defect concentration of $\approx 0.43\,\rm \mu m^{-3}$. In particular, without any external tuning mechanism, we show that only 13 defects have to be investigated until at least two optical lines overlap within the lifetime-limited linewidth. Moreover, we identify emitters with overlapping emission profiles within diffraction limited excitation spots, for which we introduce simplified schemes for generation of computationally-relevant Greenberger-Horne-Zeilinger (GHZ) and cluster states. Our results underline the potential of the CMOS-compatible SiC platform toward realizing networked quantum technology applications.


title: Effectively Counting s-t Simple Paths in Directed Graphs

abstract: An important tool in analyzing complex social and information networks is s-t simple path counting, which is known to be #P-complete. In this paper, we study efficient s-t simple path counting in directed graphs. For a given pair of vertices s and t in a directed graph, first we propose a pruning technique that can efficiently and considerably reduce the search space. Then, we discuss how this technique can be adjusted with exact and approximate algorithms, to improve their efficiency. In the end, by performing extensive experiments over several networks from different domains, we show high empirical efficiency of our proposed technique. Our algorithm is not a competitor of existing methods, rather, it is a friend that can be used as a fast pre-processing step, before applying any existing algorithm.


title: On an infinite number of new families of odd-type Euler sums

abstract: We present several sequences of Euler sums involving odd harmonic numbers. The calculational technique is based on proper two-valued integer functions, which allow to compute these sequences explicitly in terms of zeta values only.


title: U-Net Transformer: Self and Cross Attention for Medical Image Segmentation

abstract: Medical image segmentation remains particularly challenging for complex and low-contrast anatomical structures. In this paper, we introduce the U-Transformer network, which combines a U-shaped architecture for image segmentation with self- and cross-attention from Transformers. U-Transformer overcomes the inability of U-Nets to model long-range contextual interactions and spatial dependencies, which are arguably crucial for accurate segmentation in challenging contexts. To this end, attention mechanisms are incorporated at two main levels: a self-attention module leverages global interactions between encoder features, while cross-attention in the skip connections allows a fine spatial recovery in the U-Net decoder by filtering out non-semantic features. Experiments on two abdominal CT-image datasets show the large performance gain brought out by U-Transformer compared to U-Net and local Attention U-Nets. We also highlight the importance of using both self- and cross-attention, and the nice interpretability features brought out by U-Transformer.


title: BCFNet: A Balanced Collaborative Filtering Network with Attention Mechanism

abstract: Collaborative Filtering (CF) based recommendation methods have been widely studied, which can be generally categorized into two types, i.e., representation learning-based CF methods and matching function learning-based CF methods. Representation learning tries to learn a common low dimensional space for the representations of users and items. In this case, a user and item match better if they have higher similarity in that common space. Matching function learning tries to directly learn the complex matching function that maps user-item pairs to matching scores. Although both methods are well developed, they suffer from two fundamental flaws, i.e., the representation learning resorts to applying a dot product which has limited expressiveness on the latent features of users and items, while the matching function learning has weakness in capturing low-rank relations. To overcome such flaws, we propose a novel recommendation model named Balanced Collaborative Filtering Network (BCFNet), which has the strengths of the two types of methods. In addition, an attention mechanism is designed to better capture the hidden information within implicit feedback and strengthen the learning ability of the neural network. Furthermore, a balance module is designed to alleviate the over-fitting issue in DNNs. Extensive experiments on eight real-world datasets demonstrate the effectiveness of the proposed model.


title: Diameter estimation of gradient $\rho$-Einstein solitons

abstract: Our aim in this article is to give a lower bound of the diameter of a compact gradient $\rho$-Einstein soliton satisfying some given conditions. We have also deduced some conditions of the gradient $\rho$-Einstein soliton with bounded Ricci curvature to become non-shrinking and non-expanding. Further, we have proved that a complete non-compact gradient shrinking or expanding Schouten soliton with non-constant potential and a boundedness condition on scalar curvature must be non-parabolic.


title: Cheapest-to-Deliver Collateral: A Common Factor Approach

abstract: The collateral choice option gives the collateral posting party the opportunity to switch between different collateral currencies which is well-known to impact the asset price. Quantification of the option's value is of practical importance but remains challenging under the assumption of stochastic rates, as it is determined by an intractable distribution which requires involved approximations. Indeed, many practitioners still rely on deterministic spreads between the rates for valuation. We develop a scalable and stable stochastic model of the collateral spreads under the assumption of conditional independence. This allows for a common factor approximation which admits analytical results from which further estimators are obtained. We show that in modelling the spreads between collateral rates, a second order model yields accurate results for the value of the collateral choice option. The model remains precise for a wide range of model parameters and is numerically efficient even for a large number of collateral currencies.


title: Time-Ordered Recent Event (TORE) Volumes for Event Cameras

abstract: Event cameras are an exciting, new sensor modality enabling high-speed imaging with extremely low-latency and wide dynamic range. Unfortunately, most machine learning architectures are not designed to directly handle sparse data, like that generated from event cameras. Many state-of-the-art algorithms for event cameras rely on interpolated event representations - obscuring crucial timing information, increasing the data volume, and limiting overall network performance. This paper details an event representation called Time-Ordered Recent Event (TORE) volumes. TORE volumes are designed to compactly store raw spike timing information with minimal information loss. This bio-inspired design is memory efficient, computationally fast, avoids time-blocking (i.e. fixed and predefined frame rates), and contains "local memory" from past data. The design is evaluated on a wide range of challenging tasks (e.g. event denoising, image reconstruction, classification, and human pose estimation) and is shown to dramatically improve state-of-the-art performance. TORE volumes are an easy-to-implement replacement for any algorithm currently utilizing event representations.


title: Session-based Social and Dependency-aware Software Recommendation

abstract: With the increase of complexity of modern software, social collaborative coding and reuse of open source software packages become more and more popular, which thus greatly enhances the development efficiency and software quality. However, the explosive growth of open source software packages exposes developers to the challenge of information overload. While this can be addressed by conventional recommender systems, they usually do not consider particular constraints of social coding such as social influence among developers and dependency relations among software packages. In this paper, we aim to model the dynamic interests of developers with both social influence and dependency constraints, and propose the Session-based Social and Dependency-aware software Recommendation (SSDRec) model. This model integrates recurrent neural network (RNN) and graph attention network (GAT) into a unified framework. An RNN is employed to model the short-term dynamic interests of developers in each session and two GATs are utilized to capture social influence from friends and dependency constraints from dependent software packages, respectively. Extensive experiments are conducted on real-world datasets and the results demonstrate that our model significantly outperforms the competitive baselines.


title: Varieties of contextuality based on probability and structural nonembeddability

abstract: Different analytic notions of contextuality fall into two major groups: probabilistic and strong notions of contextuality. Kochen and Specker's Theorem~0 is a demarcation criterion for differentiating between those groups. Whereas probabilistic contextuality still allows classical models, albeit with nonclassical probabilities, the logico-algebraic "strong" form of contextuality characterizes collections of quantum observables that have no faithfully embedding into (extended) Boolean algebras. Both forms indicate a classical in- or under-determination that can be termed "value indefinite" and formalized by partial functions of theoretical computer sciences.


title: Stochastic Path Integral Analysis of the Continuously Monitored Quantum Harmonic Oscillator

abstract: We consider the evolution of a quantum simple harmonic oscillator in a general Gaussian state under simultaneous time-continuous weak position and momentum measurements. We deduce the stochastic evolution equations for position and momentum expectation values and the covariance matrix elements from the system's characteristic function. By generalizing the Chantasri-Dressel-Jordan (CDJ) formalism (Chantasri et al.~2013 and 2015) to this continuous variable system, we construct its stochastic Hamiltonian and action. Action extremization gives us the equations for the most-likely readout paths and quantum trajectories. For steady states of the covariance matrix elements, the analytical solutions for these most-likely paths are obtained. Using the CDJ formalism we calculate final state probability densities exactly starting from any initial state. We also demonstrate the agreement between the optimal path solutions and the averages of simulated clustered stochastic trajectories. Our results provide insights into the time dependence of the mechanical energy of the system during the measurement process, motivating their importance for quantum measurement engine/refrigerator experiments.


title: DLL: Direct LIDAR Localization. A map-based localization approach for aerial robots

abstract: This paper presents DLL, a fast direct map-based localization technique using 3D LIDAR for its application to aerial robots. DLL implements a point cloud to map registration based on non-linear optimization of the distance of the points and the map, thus not requiring features, neither point correspondences. Given an initial pose, the method is able to track the pose of the robot by refining the predicted pose from odometry. Through benchmarks using real datasets and simulations, we show how the method performs much better than Monte-Carlo localization methods and achieves comparable precision to other optimization-based approaches but running one order of magnitude faster. The method is also robust under odometric errors. The approach has been implemented under the Robot Operating System (ROS), and it is publicly available.


title: GRIT: Fast, Interpretable, and Verifiable Goal Recognition with Learned Decision Trees for Autonomous Driving

abstract: It is important for autonomous vehicles to have the ability to infer the goals of other vehicles (goal recognition), in order to safely interact with other vehicles and predict their future trajectories. This is a difficult problem, especially in urban environments with interactions between many vehicles. Goal recognition methods must be fast to run in real time and make accurate inferences. As autonomous driving is safety-critical, it is important to have methods which are human interpretable and for which safety can be formally verified. Existing goal recognition methods for autonomous vehicles fail to satisfy all four objectives of being fast, accurate, interpretable and verifiable. We propose Goal Recognition with Interpretable Trees (GRIT), a goal recognition system which achieves these objectives. GRIT makes use of decision trees trained on vehicle trajectory data. We evaluate GRIT on two datasets, showing that GRIT achieved fast inference speed and comparable accuracy to two deep learning baselines, a planning-based goal recognition method, and an ablation of GRIT. We show that the learned trees are human interpretable and demonstrate how properties of GRIT can be formally verified using a satisfiability modulo theories (SMT) solver.


title: A critical reappraisal of predicting suicidal ideation using fMRI

abstract: For many psychiatric disorders, neuroimaging offers a potential for revolutionizing diagnosis, and potentially treatment, by providing access to preverbal mental processes. In their study "Machine learning of neural representations of suicide and emotion concepts identifies suicidal youth."1, Just and colleagues report that a Naive Bayes classifier, trained on voxelwise fMRI responses in human participants during the presentation of words and concepts related to mortality, can predict whether an individual had reported having suicidal ideations with a classification accuracy of 91%. Here we report a reappraisal of the methods employed by the authors, including re-analysis of the same data set, that calls into question the accuracy of the authors findings. The analysis is a case study in the dangers of overfitting in machine learning.


title: Symmetry meets AI

abstract: We explore whether Neural Networks (NNs) can {\it discover} the presence of symmetries as they learn to perform a task. For this, we train hundreds of NNs on a {\it decoy task} based on well-controlled Physics templates, where no information on symmetry is provided. We use the output from the last hidden layer of all these NNs, projected to fewer dimensions, as the input for a symmetry classification task, and show that information on symmetry had indeed been identified by the original NN without guidance. As an interdisciplinary application of this procedure, we identify the presence and level of symmetry in artistic paintings from different styles such as those of Picasso, Pollock and Van Gogh.


title: Spatial Attention-based Non-reference Perceptual Quality Prediction Network for Omnidirectional Images

abstract: Due to the strong correlation between visual attention and perceptual quality, many methods attempt to use human saliency information for image quality assessment. Although this mechanism can get good performance, the networks require human saliency labels, which is not easily accessible for omnidirectional images (ODI). To alleviate this issue, we propose a spatial attention-based perceptual quality prediction network for non-reference quality assessment on ODIs (SAP-net). To drive our SAP-net, we establish a large-scale IQA dataset of ODIs (IQA-ODI), which is composed of subjective scores of 200 subjects on 1,080 ODIs. In IQA-ODI, there are 120 high quality ODIs as reference, and 960 ODIs with impairments in both JPEG compression and map projection. Without any human saliency labels, our network can adaptively estimate human perceptual quality on impaired ODIs through a self-attention manner, which significantly promotes the prediction performance of quality scores. Moreover, our method greatly reduces the computational complexity in quality assessment task on ODIs. Extensive experiments validate that our network outperforms 9 state-of-the-art methods for quality assessment on ODIs. The dataset and code have been available on \url{ https://github.com/yanglixiaoshen/SAP-Net}.


title: HyperCI: A Higher Order Collective Influence Measure for Hypernetwork Dismantling

abstract: The connectivity of networked systems is often dependent on a small portion of critical nodes. Network dismantling studies the strategy to identify a subset of nodes the removal of which will maximally destroy the connectivity of a network and fragment it into disconnected components. However, conventional network dismantling approaches focus on simple network which models only pairwise interaction between nodes while groupwise interactions among arbitrary number of nodes are ubiquitous in networked systems like integrated circuits. Groupwise interactions modeled by hypernetwork introduce higher order connectivity patterns, which limits the application of conventional network dismantling methods on hypernetwork. In this brief, we propose HyperCI, a higher order collective influence measure for hypernetwork dismantling. It considers the node co-occurrence characteristics and higher order influence ability both introduced by hyperedges in hypernetwork. We evaluate the effectiveness of our proposed HyperCI on six real world hypernetworks including integrated circuits and citation networks and the results indicate our proposed HyperCI outperforms baseline network dismantling methods for both simple network and hypernetwork.


title: Techniques for Jointly Extracting Entities and Relations: A Survey

abstract: Relation Extraction is an important task in Information Extraction which deals with identifying semantic relations between entity mentions. Traditionally, relation extraction is carried out after entity extraction in a "pipeline" fashion, so that relation extraction only focuses on determining whether any semantic relation exists between a pair of extracted entity mentions. This leads to propagation of errors from entity extraction stage to relation extraction stage. Also, entity extraction is carried out without any knowledge about the relations. Hence, it was observed that jointly performing entity and relation extraction is beneficial for both the tasks. In this paper, we survey various techniques for jointly extracting entities and relations. We categorize techniques based on the approach they adopt for joint extraction, i.e. whether they employ joint inference or joint modelling or both. We further describe some representative techniques for joint inference and joint modelling. We also describe two standard datasets, evaluation techniques and performance of the joint extraction approaches on these datasets. We present a brief analysis of application of a general domain joint extraction approach to a Biomedical dataset. This survey is useful for researchers as well as practitioners in the field of Information Extraction, by covering a broad landscape of joint extraction techniques.


title: Spin accumulation from non-equilibrium first principles methods

abstract: For the technologically relevant spin Hall effect most theoretical approaches rely on the evaluation of the spin-conductivity tensor. In contrast, for most experimental configurations the generation of spin accumulation at interfaces and surfaces is the relevant quantity. Here, we directly calculate the accumulation of spins due to the spin Hall effect at the surface of a thin metallic layer, making quantitative predictions for different materials. Two distinct limits are considered, both relying on a fully relativistic Korringa-Kohn-Rostoker density functional theory method. In the semiclassical approach, we use the Boltzmann transport formalism and compare it directly to a fully quantum mechanical non-equilibrium Keldysh formalism. Restricting the calculations to the spin Hall induced, odd in spatial inversion, contribution in the limit of the relaxation time approximation we find good agreement between both methods, where deviations can be attributed to the complexity of Fermi surfaces. Finally, we compare our results to experimental values of the spin accumulation at surfaces as well as the Hall angle and find good agreement for the trend across the considered elements.


title: Interplay between COVID-19 vaccines and social measures for ending the SARS-CoV-2 pandemic

abstract: The development and authorization of COVID-19 vaccines has provided the clearest path forward to eliminate community spread hence end the ongoing SARS-CoV-2 pandemic. However, the limited pace at which the vaccine can be administered motivates the question, to what extent must we continue to adhere to social intervention measures such as mask wearing and social distancing? To address this question, we develop a mathematical model of COVID-19 spread incorporating both vaccine dynamics and socio-epidemiological parameters. We use this model to study two important measures of disease control and eradication, the effective reproductive number $R_t$ and the peak intensive care unit (ICU) caseload, over three key parameters: social measure adherence, vaccination rate, and vaccination coverage. Our results suggest that, due to the slow pace of vaccine administration, social measures must be maintained by a large proportion of the population until a sufficient proportion of the population becomes vaccinated for the pandemic to be eradicated. By contrast, with reduced adherence to social measures, hospital ICU cases will greatly exceed capacity, resulting in increased avoidable loss of life. These findings highlight the complex interplays involved between vaccination and social protective measures, and indicate the practical importance of continuing with extent social measures while vaccines are scaled up to allow the development of the herd immunity needed to end or control SARS-CoV-2 sustainably.


title: Complex decision-making strategies in a stock market experiment explained as the combination of few simple strategies

abstract: Many studies have shown that there are regularities in the way human beings make decisions. However, our ability to obtain models that capture such regularities and can accurately predict unobserved decisions is still limited. We tackle this problem in the context of individuals who are given information relative to the evolution of market prices and asked to guess the direction of the market. We use a networks inference approach with stochastic block models (SBM) to find the model and network representation that is most predictive of unobserved decisions. Our results suggest that users mostly use recent information (about the market and about their previous decisions) to guess. Furthermore, the analysis of SBM groups reveals a set of strategies used by players to process information and make decisions that is analogous to behaviors observed in other contexts. Our study provides and example on how to quantitatively explore human behavior strategies by representing decisions as networks and using rigorous inference and model-selection approaches.


title: Spatially Consistent Representation Learning

abstract: Self-supervised learning has been widely used to obtain transferrable representations from unlabeled images. Especially, recent contrastive learning methods have shown impressive performances on downstream image classification tasks. While these contrastive methods mainly focus on generating invariant global representations at the image-level under semantic-preserving transformations, they are prone to overlook spatial consistency of local representations and therefore have a limitation in pretraining for localization tasks such as object detection and instance segmentation. Moreover, aggressively cropped views used in existing contrastive methods can minimize representation distances between the semantically different regions of a single image. In this paper, we propose a spatially consistent representation learning algorithm (SCRL) for multi-object and location-specific tasks. In particular, we devise a novel self-supervised objective that tries to produce coherent spatial representations of a randomly cropped local region according to geometric translations and zooming operations. On various downstream localization tasks with benchmark datasets, the proposed SCRL shows significant performance improvements over the image-level supervised pretraining as well as the state-of-the-art self-supervised learning methods. Code is available at https://github.com/kakaobrain/scrl


title: The whole brain architecture approach: Accelerating the development of artificial general intelligence by referring to the brain

abstract: The vastness of the design space created by the combination of a large number of computational mechanisms, including machine learning, is an obstacle to creating an artificial general intelligence (AGI). Brain-inspired AGI development, in other words, cutting down the design space to look more like a biological brain, which is an existing model of a general intelligence, is a promising plan for solving this problem. However, it is difficult for an individual to design a software program that corresponds to the entire brain because the neuroscientific data required to understand the architecture of the brain are extensive and complicated. The whole-brain architecture approach divides the brain-inspired AGI development process into the task of designing the brain reference architecture (BRA) -- the flow of information and the diagram of corresponding components -- and the task of developing each component using the BRA. This is called BRA-driven development. Another difficulty lies in the extraction of the operating principles necessary for reproducing the cognitive-behavioral function of the brain from neuroscience data. Therefore, this study proposes the Structure-constrained Interface Decomposition (SCID) method, which is a hypothesis-building method for creating a hypothetical component diagram consistent with neuroscientific findings. The application of this approach has begun for building various regions of the brain. Moving forward, we will examine methods of evaluating the biological plausibility of brain-inspired software. This evaluation will also be used to prioritize different computational mechanisms, which should be merged, associated with the same regions of the brain.


title: Semantically Constrained Memory Allocation (SCMA) for Embedding in Efficient Recommendation Systems

abstract: Deep learning-based models are utilized to achieve state-of-the-art performance for recommendation systems. A key challenge for these models is to work with millions of categorical classes or tokens. The standard approach is to learn end-to-end, dense latent representations or embeddings for each token. The resulting embeddings require large amounts of memory that blow up with the number of tokens. Training and inference with these models create storage, and memory bandwidth bottlenecks leading to significant computing and energy consumption when deployed in practice. To this end, we present the problem of \textit{Memory Allocation} under budget for embeddings and propose a novel formulation of memory shared embedding, where memory is shared in proportion to the overlap in semantic information. Our formulation admits a practical and efficient randomized solution with Locality sensitive hashing based Memory Allocation (LMA). We demonstrate a significant reduction in the memory footprint while maintaining performance. In particular, our LMA embeddings achieve the same performance compared to standard embeddings with a 16$\times$ reduction in memory footprint. Moreover, LMA achieves an average improvement of over 0.003 AUC across different memory regimes than standard DLRM models on Criteo and Avazu datasets


title: Learning to Generate Music With Sentiment

abstract: Deep Learning models have shown very promising results in automatically composing polyphonic music pieces. However, it is very hard to control such models in order to guide the compositions towards a desired goal. We are interested in controlling a model to automatically generate music with a given sentiment. This paper presents a generative Deep Learning model that can be directed to compose music with a given sentiment. Besides music generation, the same model can be used for sentiment analysis of symbolic music. We evaluate the accuracy of the model in classifying sentiment of symbolic music using a new dataset of video game soundtracks. Results show that our model is able to obtain good prediction accuracy. A user study shows that human subjects agreed that the generated music has the intended sentiment, however negative pieces can be ambiguous.


title: Spatial-Temporal Tensor Graph Convolutional Network for Traffic Prediction

abstract: Accurate traffic prediction is crucial to the guidance and management of urban traffics. However, most of the existing traffic prediction models do not consider the computational burden and memory space when they capture spatial-temporal dependence among traffic data. In this work, we propose a factorized Spatial-Temporal Tensor Graph Convolutional Network to deal with traffic speed prediction. Traffic networks are modeled and unified into a graph that integrates spatial and temporal information simultaneously. We further extend graph convolution into tensor space and propose a tensor graph convolution network to extract more discriminating features from spatial-temporal graph data. To reduce the computational burden, we take Tucker tensor decomposition and derive factorized a tensor convolution, which performs separate filtering in small-scale space, time, and feature modes. Besides, we can benefit from noise suppression of traffic data when discarding those trivial components in the process of tensor decomposition. Extensive experiments on two real-world traffic speed datasets demonstrate our method is more effective than those traditional traffic prediction methods, and meantime achieves state-of-the-art performance.


title: Linearly Qualified Types: Generic inference for capabilities and uniqueness

abstract: A linear parameter must be consumed exactly once in the body of its function. When declaring resources such as file handles and manually managed memory as linear arguments, a linear type system can verify that these resources are used safely. However, writing code with explicit linear arguments requires bureaucracy. This paper presents linear constraints, a front-end feature for linear typing that decreases the bureaucracy of working with linear types. Linear constraints are implicit linear arguments that are filled in automatically by the compiler. We present linear constraints as a qualified type system,together with an inference algorithm which extends GHC's existing constraint solver algorithm. Soundness of linear constraints is ensured by the fact that they desugar into Linear Haskell.


title: Radiation Exposures and Compensation of Victims of French Atmospheric Nuclear Tests in Polynesia

abstract: Between 1966 and 1974, France conducted 41 atmospheric nuclear weapon tests in Polynesia. Radioactive fallout impacted downwind atolls and islands leading to the external and internal exposure of the local populations to ionizing radiation. By law, individuals who were exposed to radiation in the context of these tests can file compensation claims with the French government if they develop certain radiogenic cancers. A claimant who meets the basic eligibility criteria (place, time, and type of disease) automatically benefits from the presumption of a causal link between radiation exposure and the development of their illness, unless the exposure is deemed too low. Since 2017, an effective dose threshold of 1 mSv per year has been used in the claims adjudication process. Decisions as to whether claimants have met this 1 mSv threshold in a given year are often made on the basis of data from government dose reconstruction studies carried out in 2005 and 2006. Using new information available from recently declassified documents on the radiological impact of French atmospheric nuclear tests in Polynesia, as well as atmospheric transport modeling of radioactive fallout, this article shows that maximum doses to the public for key atmospheric tests may have been underestimated by factors of 2 to 10 and estimates that the total population exposed above the compensation threshold of 1 mSv/yr could be greater than ~110,000. This latter result corresponds to about 90% of the entire population of French Polynesia at the time of the atmospheric tests. Integrating these updated dose estimates into the claim adjudication process would enlarge the pool of eligible claimants by a factor of 10. Also discussed are the legal and policy implications of these findings.


title: Torsional rigidity for tangential polygons

abstract: An inequality on torsional rigidity is established. For tangential polygons this inequality is stronger than an inequality of Polya and Szego for convex domains. (A survey of related work, not in the journal submission, is presented in the arXiv version.)


title: Stay on Topic, Please: Aligning User Comments to the Content of a News Article

abstract: Social scientists have shown that up to 50% if the content posted to a news article have no relation to its journalistic content. In this study we propose a classification algorithm to categorize user comments posted to a new article base don their alignment to its content. The alignment seek to match user comments to an article based on similarity off content, entities in discussion, and topic. We proposed a BERTAC, BAERT-based approach that learn jointly article-comment embeddings and infers the relevance class of comments. We introduce an ordinal classification loss that penalizes the difference between the predicted and true label. We conduct a thorough study to show influence of the proposed loss on the learning process. The results on five representative news outlets show that our approach can learn the comment class with up to 36% average accuracy improvement compering to the baselines, and up to 25% compering to the BA-BC model. BA-BC is out approach that consists of two models aimed to capture dis-jointly the formal language of news articles and the informal language of comments. We also conduct a user study to evaluate human labeling performance to understand the difficulty of the classification task. The user agreement on comment-article alignment is "moderate" per Krippendorff's alpha score, which suggests that the classification task is difficult.


title: Machine Learning Prediction of Time-Varying Rayleigh Channels

abstract: Channel state information (CSI) rapidly becomes outdated in high mobility scenarios, degrading the performance of wireless communication systems. In these cases, time series prediction techniques can be applied to combat the effects of outdated CSI. Recently, it has been shown that recurrent neural networks (RNNs) exhibit outstanding performance in time series prediction tasks. In this paper, we investigate the performance of RNN and long short term memory (LSTM) predictors in a simple Rayleigh flat-fading channel. We conduct numerical experiments to evaluate whether these machine-learning (ML)-based predictors can outperform the optimal linear minimum mean square error Wiener predictor. Our simulation results indicate that the considered neural network predictors outperform the Wiener predictor for small observation window lengths and are more robust under weak channel correlation as well as in the presence of noise. Furthermore, we show that simple shallow RNNs are sufficient to model Rayleigh channels over a wide range of Doppler shifts.


title: MixMo: Mixing Multiple Inputs for Multiple Outputs via Deep Subnetworks

abstract: Recent strategies achieved ensembling "for free" by fitting concurrently diverse subnetworks inside a single base network. The main idea during training is that each subnetwork learns to classify only one of the multiple inputs simultaneously provided. However, the question of how to best mix these multiple inputs has not been studied so far. In this paper, we introduce MixMo, a new generalized framework for learning multi-input multi-output deep subnetworks. Our key motivation is to replace the suboptimal summing operation hidden in previous approaches by a more appropriate mixing mechanism. For that purpose, we draw inspiration from successful mixed sample data augmentations. We show that binary mixing in features - particularly with rectangular patches from CutMix - enhances results by making subnetworks stronger and more diverse. We improve state of the art for image classification on CIFAR-100 and Tiny ImageNet datasets. Our easy to implement models notably outperform data augmented deep ensembles, without the inference and memory overheads. As we operate in features and simply better leverage the expressiveness of large networks, we open a new line of research complementary to previous works.


title: Nuclear data development at the European Spallation Source

abstract: Transport calculations for neutronic design require accurate nuclear data and validated computational tools. In the Spallation Physics Group, at the European Spallation Source, we perform shielding and neutron beam calculations to help the deployment of the instrument suite for the current high brilliance (top) moderator, as well for the design of the high intensity bottom moderator, currently under study for the facility. This work includes providing the best available nuclear data in addition to improving models and tools when necessary. In this paper we present the status of these activities, which include a set of thermal scattering kernels for moderator, reflector, and structural materials, the development of new kernels for beryllium considering crystallite size effects, nanodiamonds, liquid hydrogen and deuterium based on path integral molecular dynamics, and the use of the software package NCrystal to assist the development of nuclear data in the framework of the new HighNESS project.


title: Sim2Real 3D Object Classification using Spherical Kernel Point Convolution and a Deep Center Voting Scheme

abstract: While object semantic understanding is essential for most service robotic tasks, 3D object classification is still an open problem. Learning from artificial 3D models alleviates the cost of annotation necessary to approach this problem, but most methods still struggle with the differences existing between artificial and real 3D data. We conjecture that the cause of those issue is the fact that many methods learn directly from point coordinates, instead of the shape, as the former is hard to center and to scale under variable occlusions reliably. We introduce spherical kernel point convolutions that directly exploit the object surface, represented as a graph, and a voting scheme to limit the impact of poor segmentation on the classification results. Our proposed approach improves upon state-of-the-art methods by up to 36% when transferring from artificial objects to real objects.


title: Conversion Matrix Method of Moments for Time-Varying Electromagnetic Analysis

abstract: A conversion matrix approach to solving network problems involving time-varying circuit components is applied to the method of moments for electromagnetic scattering analysis. Detailed formulations of this technique's application to the scattering analysis of structures loaded with time-varying circuit networks or constructed from general time-varying media are presented. The computational cost of the method is discussed, along with an analysis of compression techniques capable of significantly reducing computational cost for partially loaded systems. Several numerical examples demonstrate the capabilities of the technique along with its validation against conventional methods of modeling time-varying electromagnetic systems, such as finite difference time domain and transient circuit co-simulation.


title: Cycle factors in randomly perturbed graphs

abstract: We study the problem of finding pairwise vertex-disjoint copies of the $\ell$-vertex cycle $C_\ell$ in the randomly perturbed graph model, which is the union of a deterministic $n$-vertex graph $G$ and the binomial random graph $G(n,p)$. For $\ell \ge 3$ we prove that asymptotically almost surely $G \cup G(n,p)$ contains $\min \{\delta(G), \lfloor n/\ell \rfloor \}$ pairwise vertex-disjoint cycles $C_\ell$, provided $p \ge C \log n/n$ for $C$ sufficiently large. Moreover, when $\delta(G) \ge\alpha n$ with $0<\alpha \le 1/\ell$ and $G$ is not `close' to the complete bipartite graph $K_{\alpha n,(1-\alpha) n}$, then $p \ge C/n$ suffices to get the same conclusion. This provides a stability version of our result. In particular, we conclude that $p \ge C/n$ suffices when $\alpha>1/\ell$ for finding $\lfloor n/\ell \rfloor$ cycles $C_\ell$. Our results are asymptotically optimal. They can be seen as an interpolation between the Johansson--Kahn--Vu Theorem for $C_\ell$-factors and the resolution of the El-Zahar Conjecture for $C_\ell$-factors by Abbasi.


title: Task-adaptive Neural Process for User Cold-Start Recommendation

abstract: User cold-start recommendation is a long-standing challenge for recommender systems due to the fact that only a few interactions of cold-start users can be exploited. Recent studies seek to address this challenge from the perspective of meta learning, and most of them follow a manner of parameter initialization, where the model parameters can be learned by a few steps of gradient updates. While these gradient-based meta-learning models achieve promising performances to some extent, a fundamental problem of them is how to adapt the global knowledge learned from previous tasks for the recommendations of cold-start users more effectively. In this paper, we develop a novel meta-learning recommender called task-adaptive neural process (TaNP). TaNP is a new member of the neural process family, where making recommendations for each user is associated with a corresponding stochastic process. TaNP directly maps the observed interactions of each user to a predictive distribution, sidestepping some training issues in gradient-based meta-learning models. More importantly, to balance the trade-off between model capacity and adaptation reliability, we introduce a novel task-adaptive mechanism. It enables our model to learn the relevance of different tasks and customize the global knowledge to the task-related decoder parameters for estimating user preferences. We validate TaNP on multiple benchmark datasets in different experimental settings. Empirical results demonstrate that TaNP yields consistent improvements over several state-of-the-art meta-learning recommenders.


title: Hybrid Model with Time Modeling for Sequential Recommender Systems

abstract: Deep learning based methods have been used successfully in recommender system problems. Approaches using recurrent neural networks, transformers, and attention mechanisms are useful to model users' long- and short-term preferences in sequential interactions. To explore different session-based recommendation solutions, Booking.com recently organized the WSDM WebTour 2021 Challenge, which aims to benchmark models to recommend the final city in a trip. This study presents our approach to this challenge. We conducted several experiments to test different state-of-the-art deep learning architectures for recommender systems. Further, we proposed some changes to Neural Attentive Recommendation Machine (NARM), adapted its architecture for the challenge objective, and implemented training approaches that can be used in any session-based model to improve accuracy. Our experimental result shows that the improved NARM outperforms all other state-of-the-art benchmark methods.


title: On the Complexity of the CSG Tree Extraction Problem

abstract: In this short note, we discuss the complexity of the search space for the problem of finding a CSG expression (or CSG tree) corresponding to an input point-cloud and a list of fitted solid primitives.


title: Semi-supervised Learning for COVID-19 Image Classification via ResNet

abstract: Coronavirus disease 2019 (COVID-19) is an ongoing global pandemic in over 200 countries and territories, which has resulted in a great public health concern across the international community. Analysis of X-ray imaging data can play a critical role in timely and accurate screening and fighting against COVID-19. Supervised deep learning has been successfully applied to recognize COVID-19 pathology from X-ray imaging datasets. However, it requires a substantial amount of annotated X-ray images to train models, which is often not applicable to data analysis for emerging events such as COVID-19 outbreak, especially in the early stage of the outbreak. To address this challenge, this paper proposes a two-path semi-supervised deep learning model, ssResNet, based on Residual Neural Network (ResNet) for COVID-19 image classification, where two paths refer to a supervised path and an unsupervised path, respectively. Moreover, we design a weighted supervised loss that assigns higher weight for the minority classes in the training process to resolve the data imbalance. Experimental results on a large-scale of X-ray image dataset COVIDx demonstrate that the proposed model can achieve promising performance even when trained on very few labeled training images.


title: Non-Holonomic RRT & MPC: Path and Trajectory Planning for an Autonomous Cycle Rickshaw

abstract: This paper presents a novel hierarchical motion planning approach based on Rapidly-Exploring Random Trees (RRT) for global planning and Model Predictive Control (MPC) for local planning. The approach targets a three-wheeled cycle rickshaw (trishaw) used for autonomous urban transportation in shared spaces. Due to the nature of the vehicle, the algorithms had to be adapted in order to adhere to non-holonomic kinematic constraints using the Kinematic Single-Track Model. The vehicle is designed to offer transportation for people and goods in shared environments such as roads, sidewalks, bicycle lanes but also open spaces that are often occupied by other traffic participants. Therefore, the algorithm presented in this paper needs to anticipate and avoid dynamic obstacles, such as pedestrians or bicycles, but also be fast enough in order to work in real-time so that it can adapt to changes in the environment. Our approach uses an RRT variant for global planning that has been modified for single-track kinematics and improved by exploiting dead-end nodes. This allows us to compute global paths in unstructured environments very fast. In a second step, our MPC-based local planner makes use of the global path to compute the vehicle's trajectory while incorporating dynamic obstacles such as pedestrians and other road users. Our approach has shown to work both in simulation as well as first real-life tests and can be easily extended for more sophisticated behaviors.


title: Time-Varying Materials in Presence of Dispersion: Plane-Wave Propagation in a Lorentzian Medium with Temporal Discontinuity

abstract: We study the problem of a temporal discontinuity in the permittivity of an unbounded medium with Lorentzian dispersion. More specifically, we tackle the situation in which a monochromatic plane wave forward-travelling in a (generally lossy) Lorentzian-like medium scatters from the temporal "half-space interface" that results from an abrupt temporal change in its plasma frequency (while keeping its resonance frequency constant). In order to achieve momentum preservation across the temporal discontinuity, we show how, unlike in the well-known problem of a nondispersive discontinuity, the second-order nature of the dielectric function now gives rise to two shifted frequencies. As a consequence, whereas in the nondispersive scenario the continuity of the electric displacement D and the magnetic induction B suffice to find the amplitude of the new forward and backward wave, we now need two extra temporal boundary conditions. That is, two forward and two backward plane waves are now instantaneously generated in response to a forward-only plane wave. We also include a transmission-line equivalent with lumped circuit elements that describes the dispersive time-discontinuous scenario under consideration.


title: Functions of class $C^\infty$ in non-commuting variables in the context of triangular Lie algebras

abstract: We construct a certain completion $C^\infty_\mathfrak{g}$ of the universal enveloping algebra of a triangular real Lie algebra $\mathfrak{g}$. It is a Fr\'echet-Arens-Michael algebra that consists of elements of polynomial growth and satisfies to the following universal property: every Lie algebra homomorphism from $\mathfrak{g}$ to a real Banach algebra all of whose elements are of polynomial growth has an extension to a continuous homomorphism with domain~$C^\infty_\mathfrak{g}$. Elements of this algebra can be called functions of class $C^\infty$ in non-commuting variables. The proof is based on representation theory and employs an ordered $C^\infty$-functional calculus. Beyond the general case, we analyze two simple examples. As an auxiliary material, the basics of the general theory of algebras of polynomial growth are developed. We also consider local variants of the completion and obtain a sheaf of non-commutative functions on the Gelfand spectrum of $C^\infty_\mathfrak{g}$ in the case when $\mathfrak{g}$ is nilpotent. In addition, we discuss the theory of holomorphic functions in non-commuting variables introduced by Dosi and apply our methods to prove theorems strengthening some his results.


title: Toward an optimal theory of integration for quasi-Banach-space-valued functions

abstract: We present a new approach to define a suitable integral for functions with values in quasi-Banach spaces. The integrals of Bochner and Riemann have deficiencies in the non-locally convex setting. The study of an integral for $p$-Banach spaces initiated by Vogt is neither totally satisfactory, since there are quasi-Banach spaces which are $p$-convex for all $0<p<1$, so it is not always possible to choose an optimal $p$ to develop the integration. Our method puts the emphasis on the galb of the space, which permits a precise definition of its convexity. The integration works for all spaces of galbs known in the literature. We finish with a fundamental theorem of calculus for our integral.


title: GraphBreak: Tool for Network Community based Regulatory Medicine, Gene co-expression, Linkage Disequilibrium analysis, functional annotation and more

abstract: Graph network science is becoming increasingly popular, notably in big-data perspective where understanding individual entities for individual functional roles is complex and time consuming. It is likely when a set of genes are regulated by a set of genetic variants, the genes set is recruited for a common or related functional purpose. Grouping and extracting communities from network of associations becomes critical to understand system complexity, thus prioritizing genes for dis-ease and functional associations. Workload is reduced when studying entities one at a time. For this, we present GraphBreak, a suite of tools for community detection application, such as for gene co-expression, protein interaction, regulation network, etc.Although developed for use case of eQTLs regulatory genomic net-work community study -- results shown with our analysis with sample eQTL data. Graphbreak can be deployed for other studies if input data has been fed in requisite format, including but not limited to gene co-expression networks, protein-protein interaction network, signaling pathway and metabolic network. Graph-Break showed critical use case value in its downstream analysis for disease association of communities detected. If all independent steps of community detection and analysis are a step-by-step sub-part of the algorithm, GraphBreak can be considered a new algorithm for community based functional characterization. Combination of various algorithmic implementation modules into a single script for this purpose illustrates GraphBreak novelty. Compared to other similar tools, with GraphBreak we can better detect communities with over-representation of its member genes for statistical association with diseases, therefore target genes which can be prioritized for drug-positioning or drug-re-positioning as the case be.


title: Variability of newly identified B-type stars observed by Kepler

abstract: Recent re-determination of stellar atmospheric parameters for a sample of stars observed during the {\it Kepler} mission allowed to enlarge the number of {\it Kepler} B-type stars. We present the detailed frequency analysis for all these objects. All stars exhibit pulsational variability with maximum amplitudes at frequencies corresponding to high-order g modes. Peaks that could be identified with low-order p/g modes are also extracted for a few stars. We identified some patters in the oscillation spectra that can be associated with the period spacings that can result from the asymptotic nature of the detected pulsational modes. We also tentatively confront the observed oscillation characteristics with predictions from linear nonadiabatic computations of stellar pulsations. For high-order g modes the traditional approximation was employed to include the effects of rotation on the frequency values and mode instability.


title: On Selmer groups in the supersingular reduction case

abstract: Let $p$ be a fixed odd prime. Let $E$ be an elliptic curve defined over a number field $F$ with good supersingular reduction at all primes above $p$. We study both the classical and plus/minus Selmer groups over the cyclotomic $\mathbb{Z}_p$-extension of $F$. In particular, we give sufficient conditions for these Selmer groups to not contain a non-trivial sub-module of finite index. Furthermore, when $p$ splits completely in $F$, we calculate the Euler characteristics of the plus/minus Selmer groups over the compositum of all $\mathbb{Z}_p$-extensions of $F$ when they are defined.


title: Stationary subspace analysis based on second-order statistics

abstract: In stationary subspace analysis (SSA) one assumes that the observable p-variate time series is a linear mixture of a k-variate nonstationary time series and a (p-k)-variate stationary time series. The aim is then to estimate the unmixing matrix which transforms the observed multivariate time series onto stationary and nonstationary components. In the classical approach multivariate data are projected onto stationary and nonstationary subspaces by minimizing a Kullback-Leibler divergence between Gaussian distributions, and the method only detects nonstationarities in the first two moments. In this paper we consider SSA in a more general multivariate time series setting and propose SSA methods which are able to detect nonstationarities in mean, variance and autocorrelation, or in all of them. Simulation studies illustrate the performances of proposed methods, and it is shown that especially the method that detects all three types of nonstationarities performs well in various time series settings. The paper is concluded with an illustrative example.


title: Adversarial Regression Learning for Bone Age Estimation

abstract: Estimation of bone age from hand radiographs is essential to determine skeletal age in diagnosing endocrine disorders and depicting the growth status of children. However, existing automatic methods only apply their models to test images without considering the discrepancy between training samples and test samples, which will lead to a lower generalization ability. In this paper, we propose an adversarial regression learning network (ARLNet) for bone age estimation. Specifically, we first extract bone features from a fine-tuned Inception V3 neural network and propose regression percentage loss for training. To reduce the discrepancy between training and test data, we then propose adversarial regression loss and feature reconstruction loss to guarantee the transition from training data to test data and vice versa, preserving invariant features from both training and test data. Experimental results show that the proposed model outperforms state-of-the-art methods.


title: On fine Selmer groups and the greatest common divisor of signed and chromatic $p$-adic $L$-functions

abstract: Let $E/\mathbb{Q}$ be an elliptic curve and $p$ an odd prime where $E$ has good supersingular reduction. Let $F_1$ denote the characteristic power series of the Pontryagin dual of the fine Selmer group of $E$ over the cyclotomic $\mathbb{Z}_p$-extension of $\mathbb{Q}$ and let $F_2$ denote the greatest common divisor of Pollack's plus and minus $p$-adic $L$-functions or Sprung's sharp and flat $p$-adic $L$-functions attached to $E$, depending on whether $a_p(E)=0$ or $a_p(E)\ne0$. We study a link between the divisors of $F_1$ and $F_2$ in the Iwasawa algebra. This gives new insights into problems posed by Greenberg and Pollack--Kurihara on these elements.


title: Vector resonance $X_1(2900)$ and its structure

abstract: The new vector resonance $X_1(2900)$ observed recently by LHCb in the $ D^{-}K^{+}$ invariant mass distribution in the decay $B^{+} \to D^{+}D^{-}K^{+}$ is studied to uncover internal structure of this state, and calculate its physical parameters. In the present paper, the resonance $ X_1(2900)$ is modeled as an exotic vector state, $ J^P=1^- $, built of the light diquark $u^{T}C\gamma_5d$ and heavy antidiquark $\overline{c} \gamma_{\mu}\gamma_5C\overline{s}^{T}$. The mass and current coupling of $ X_1(2900)$ are computed using the QCD two-point sum rule approach by taking into account various vacuum condensates up to dimension $10$. The width of the resonance $X_1(2900)$ is saturated by two decay channels $X_1 \to D^{-}K^{+}$ and $X_1 \to \overline{D}^{0}K^{0}$. The strong couplings $g_1$ and $g_2$ corresponding to the vertices $X_1D^{-}K^{+}$ and $X_1\overline{D} ^{0}K^{0}$ are evaluated in the context of the QCD light-cone sum rule method and technical tools of the soft-meson approximation. Results for the mass of the resonance $X_1(2900)$ $m=(2890~\pm 122)~\mathrm{MeV}$, and for its full width $\Gamma _{\mathrm{full}}=(93\pm 13)~\mathrm{MeV}$ are smaller than their experimental values reported by the LHCb collaboration. Nevertheless, by taking into account theoretical and experimental errors of investigations, interpretation of the state $X_1(2900)$ as the vector tetraquark does not contradict to the LHCb data. We also point out that analysis of the invariant mass distribution $D^{+}K^{+}$ in the same decay $ B^{+} \to D^{+}D^{-}K^{+}$ may reveal doubly charged four-quark structures $ [uc][\overline{s}\overline{d}]$.


title: Bayesian sequential data assimilation for COVID-19 forecasting

abstract: We introduce a Bayesian sequential data assimilation method for COVID-19 forecasting. It is assumed that suitable transmission, epidemic and observation models are available and previously validated and the transmission and epidemic models are coded into a dynamical system. The observation model depends on the dynamical system state variables and parameters, and is cast as a likelihood function. We elicit prior distributions of the effective population size, the dynamical system initial conditions and infectious contact rate, and use Markov Chain Monte Carlo sampling to make inference and prediction of quantities of interest (QoI) at the onset of the epidemic outbreak. The forecast is sequentially updated over a sliding window of epidemic records as new data becomes available. Prior distributions for the state variables at the new forecasting time are assembled using the dynamical system, calibrated for the previous forecast. Moreover, changes in the contact rate and effective population size are naturally introduced through auto-regressive models on the corresponding parameters. We show our forecasting method's performance using a SEIR type model and COVID-19 data from several Mexican localities.


title: Point Cloud Sampling via Graph Balancing and Gershgorin Disc Alignment

abstract: 3D point cloud (PC) -- a collection of discrete geometric samples of a physical object's surface -- is typically large in size, which entails expensive subsequent operations like viewpoint image rendering and object recognition. Leveraging on recent advances in graph sampling, we propose a fast PC sub-sampling algorithm that reduces its size while preserving the overall object shape. Specifically, to articulate a sampling objective, we first assume a super-resolution (SR) method based on feature graph Laplacian regularization (FGLR) that reconstructs the original high-resolution PC, given 3D points chosen by a sampling matrix $\H$. We prove that minimizing a worst-case SR reconstruction error is equivalent to maximizing the smallest eigenvalue $\lambda_{\min}$ of a matrix $\H^{\top} \H + \mu \cL$, where $\cL$ is a symmetric, positive semi-definite matrix computed from the neighborhood graph connecting the 3D points. Instead, for fast computation we maximize a lower bound $\lambda^-_{\min}(\H^{\top} \H + \mu \cL)$ via selection of $\H$ in three steps. Interpreting $\cL$ as a generalized graph Laplacian matrix corresponding to an unbalanced signed graph $\cG$, we first approximate $\cG$ with a balanced graph $\cG_B$ with the corresponding generalized graph Laplacian matrix $\cL_B$. Second, leveraging on a recent theorem called Gershgorin disc perfect alignment (GDPA), we perform a similarity transform $\cL_p = \S \cL_B \S^{-1}$ so that Gershgorin disc left-ends of $\cL_p$ are all aligned at the same value $\lambda_{\min}(\cL_B)$. Finally, we perform PC sub-sampling on $\cG_B$ using a graph sampling algorithm to maximize $\lambda^-_{\min}(\H^{\top} \H + \mu \cL_p)$ in roughly linear time. Experimental results show that 3D points chosen by our algorithm outperformed competing schemes both numerically and visually in SR reconstruction quality.


title: Congruences between Ramanujan's tau function and elliptic curves, and Mazur--Tate elements at additive primes

abstract: We show that if $E/\mathbb{Q}$ is an elliptic curve with a rational $p$-torsion for $p=2$ or $3$, then there is a congruence relation between Ramanujan's tau function and $E$ modulo $p$. We make use of such congruences to compute the Iwasawa invariants of $2$-adic and $3$-adic Mazur--Tate elements attached to Ramanujan's tau function. We also investigate numerically the Iwasawa invariants of the Mazur--Tate elements attached to an elliptic curve with additive reduction at a fixed prime number.


title: Algebraic models of dependent type theory

abstract: The rules governing the essentially algebraic notion of a category with families have been observed (independently) by Steve Awodey and Marcelo Fiore to precisely match those of a representable natural transformation between presheaves. This provides us with a natural, functorial description of essentially algebraic objects which are used to model dependent type theory; following Steve Awodey, we call them 'natural models'. We can view natural models from several different viewpoints, of which we focus on three in this thesis. First, natural models are essentially algebraic, meaning that they can be described by specifying operations between sorts, subject to equational axioms; this allows us to assemble natural models into a category with certain beneficial properties. Second, since natural models are natural transformations between presheaves, they are morphisms in a locally cartesian closed category, meaning that they can be regarded as polynomials. Third, since natural models admit interpretations of dependent type theory, we can use them to provide a functorial semantics.


title: High resolution soft X-ray spectroscopy and the quest for the hot (5-10 MK) plasma in solar active regions

abstract: We discuss the diagnostics available to study the 5-10 MK plasma in the solar corona, which is key to understanding the heating in the cores of solar active regions. We present several simulated spectra, and show that excellent diagnostics are available in the soft X-rays, around 100 Angstroms, as six ionisation stages of Fe can simultaneously be observed, and electron densities derived, within a narrow spectral region. As this spectral range is almost unexplored, we present an analysis of available and simulated spectra, to compare the hot emission with the cooler component. We adopt recently designed multilayers to present estimates of count rates in the hot lines, with a baseline spectrometer design. Excellent count rates are found, opening up the exciting opportunity to obtain high-resolution spectroscopy of hot plasma.


title: Automatic Speaker Independent Dysarthric Speech Intelligibility Assessment System

abstract: Dysarthria is a condition which hampers the ability of an individual to control the muscles that play a major role in speech delivery. The loss of fine control over muscles that assist the movement of lips, vocal chords, tongue and diaphragm results in abnormal speech delivery. One can assess the severity level of dysarthria by analyzing the intelligibility of speech spoken by an individual. Continuous intelligibility assessment helps speech language pathologists not only study the impact of medication but also allows them to plan personalized therapy. It helps the clinicians immensely if the intelligibility assessment system is reliable, automatic, simple for (a) patients to undergo and (b) clinicians to interpret. Lack of availability of dysarthric data has resulted in development of speaker dependent automatic intelligibility assessment systems which requires patients to speak a large number of utterances. In this paper, we propose (a) a cost minimization procedure to select an optimal (small) number of utterances that need to be spoken by the dysarthric patient, (b) four different speaker independent intelligibility assessment systems which require the patient to speak a small number of words, and (c) the assessment score is close to the perceptual score that the Speech Language Pathologist (SLP) can relate to. The need for small number of utterances to be spoken by the patient and the score being relatable to the SLP benefits both the dysarthric patient and the clinician from usability perspective.


title: Obtaining the multiple Debever null directions

abstract: The explicit expression of the multiple Debever null directions of an algebraically special spacetime are obtained in terms of the electric and magnetic parts of the Weyl tensor. An algorithm for the determination of the Petrov-Bel type and the algorithm to obtain the multiple Debever null directions are implemented on the xAct Mathematica suite of packages. The corresponding notebooks with examples are provided and explained.


title: Factoring 2048-bit RSA Integers in 177 Days with 13436 Qubits and a Multimode Memory

abstract: We analyze the performance of a quantum computer architecture combining a small processor and a storage unit. By focusing on integer factorization, we show a reduction by several orders of magnitude of the number of processing qubits compared with a standard architecture using a planar grid of qubits with nearest-neighbor connectivity. This is achieved by taking advantage of a temporally and spatially multiplexed memory to store the qubit states between processing steps. Concretely, for a characteristic physical gate error rate of $10^{-3}$, a processor cycle time of 1 microsecond, factoring a 2048-bit RSA integer is shown to be possible in 177 days with 3D gauge color codes assuming a threshold of 0.75 % with a processor made with 13436 physical qubits and a memory that can store 28 million spatial modes and 45 temporal modes with 2 hours' storage time. By inserting additional error-correction steps, storage times of 1 second are shown to be sufficient at the cost of increasing the run-time by about 23 %. Shorter run-times (and storage times) are achievable by increasing the number of qubits in the processing unit. We suggest realizing such an architecture using a microwave interface between a processor made with superconducting qubits and a multiplexed memory using the principle of photon echo in solids doped with rare-earth ions.


title: Using Cognitive Models to Train Warm Start Reinforcement Learning Agents for Human-Computer Interactions

abstract: Reinforcement learning (RL) agents in human-computer interactions applications require repeated user interactions before they can perform well. To address this "cold start" problem, we propose a novel approach of using cognitive models to pre-train RL agents before they are applied to real users. After briefly reviewing relevant cognitive models, we present our general methodological approach, followed by two case studies from our previous and ongoing projects. We hope this position paper stimulates conversations between RL, HCI, and cognitive science researchers in order to explore the full potential of the approach.


title: Generation of bottle beam using low-density channel in air

abstract: Cylindrical density depressions generated by femtosecond laser pulses filamenting in air for different energy depositions is investigated numerically, by using a set of hydrodynamic equations. The evolution of density profile is calculated for different temperature elevations, the results indicate that the gas density hole is getting shallower and wider with the increasing temperature elevations. A simulation of the propagation inside low-density channel implies a new way to generate a type of bottle beam.


title: A local reduction of the Dirac equation applied to the study of quark interactions

abstract: A general procedure of local reduction for the Dirac equation is introduced to study one- and n-body interacting systems. In the one-body case we show that the reduction allows for an approximate solution of the Dirac equation, correlating the upper and the lower components of the wave function. The two-body case is studied in more detail. We show that the method prevents from introducing spurious, unphysical states. The reduction is also applied to another relativistic equation. Finally, the method is used to construct a specific model in order to study the Charmonium spectrum.


title: On Certain Probabilistic Properties of Polynomials over the Ring of $p$-adic Integers

abstract: In this article, we study several probabilistic properties of polynomials defined over the ring of $p$-adic integers under the Haar measure. First, we calculate the probability that a monic polynomial is separable, generalizing a result of Polak. Second, we introduce the notion of two polynomials being strongly coprime and calculate the probability of two monic polynomials {being} strongly coprime. Finally, we explain how our method can be used to extrapolate other probabilistic properties of polynomials over the ring of $p$-adic integers from polynomials defined over the integers modulo powers of $p$.


title: Model-inspired Deep Learning for Light-Field Microscopy with Application to Neuron Localization

abstract: Light-field microscopes are able to capture spatial and angular information of incident light rays. This allows reconstructing 3D locations of neurons from a single snap-shot.In this work, we propose a model-inspired deep learning approach to perform fast and robust 3D localization of sources using light-field microscopy images. This is achieved by developing a deep network that efficiently solves a convolutional sparse coding (CSC) problem to map Epipolar Plane Images (EPI) to corresponding sparse codes. The network architecture is designed systematically by unrolling the convolutional Iterative Shrinkage and Thresholding Algorithm (ISTA) while the network parameters are learned from a training dataset. Such principled design enables the deep network to leverage both domain knowledge implied in the model, as well as new parameters learned from the data, thereby combining advantages of model-based and learning-based methods. Practical experiments on localization of mammalian neurons from light-fields show that the proposed approach simultaneously provides enhanced performance, interpretability and efficiency.


title: Experimental Demonstration of a Rowland Spectrometer for Spin Waves

abstract: We experimentally demonstrate the operation of a spin-wave Rowland spectrometer. In the proposed device geometry, spin waves are coherently excited on a diffraction grating and form an interference pattern that spatially separates spectral components of the incoming signal. The diffraction grating was created by focused-ion-beam irradiation, which was found to locally eliminate the ferrimagnetic properties of YIG, without removing the material. We found that in our experiments spin waves were created by an indirect mechanism, by exploiting nonlinear resonance between the grating and the coplanar waveguide. Our work paves the way for complex spin-wave optic devices -- chips that replicate the functionality of integrated optical devices on a chip-scale.


title: Detection of Galactic and Extragalactic Millimeter-Wavelength Transient Sources with SPT-3G

abstract: High-angular-resolution cosmic microwave background experiments provide a unique opportunity to conduct a survey of time-variable sources at millimeter wavelengths, a population which has primarily been understood through follow-up measurements of detections in other bands. Here we report the first results of an astronomical transient survey with the South Pole Telescope (SPT) using the SPT-3G camera to observe 1500 square degrees of the southern sky. The observations took place from March to November 2020 in three bands centered at 95, 150, and 220 GHz. This survey yielded the detection of fifteen transient events from sources not previously detected by the SPT. The majority are associated with variable stars of different types, expanding the number of such detected flares by more than a factor of two. The stellar flares are unpolarized and bright, in some cases exceeding 1 Jy, and have durations from a few minutes to several hours. Another population of detected events last for 2--3 weeks and appear to be extragalactic in origin. Though data availability at other wavelengths is limited, we find evidence for concurrent optical activity for two of the stellar flares. Future data from SPT-3G and forthcoming instruments will provide real-time detection of millimeter-wave transients on timescales of minutes to months.