title: Going Deeper With Directly-Trained Larger Spiking Neural Networks

abstract: Spiking neural networks (SNNs) are promising in a bio-plausible coding for spatio-temporal information and event-driven signal processing, which is very suited for energy-efficient implementation in neuromorphic hardware. However, the unique working mode of SNNs makes them more difficult to train than traditional networks. Currently, there are two main routes to explore the training of deep SNNs with high performance. The first is to convert a pre-trained ANN model to its SNN version, which usually requires a long coding window for convergence and cannot exploit the spatio-temporal features during training for solving temporal tasks. The other is to directly train SNNs in the spatio-temporal domain. But due to the binary spike activity of the firing function and the problem of gradient vanishing or explosion, current methods are restricted to shallow architectures and thereby difficult in harnessing large-scale datasets (e.g. ImageNet). To this end, we propose a threshold-dependent batch normalization (tdBN) method based on the emerging spatio-temporal backpropagation, termed "STBP-tdBN", enabling direct training of a very deep SNN and the efficient implementation of its inference on neuromorphic hardware. With the proposed method and elaborated shortcut connection, we significantly extend directly-trained SNNs from a shallow structure ( < 10 layer) to a very deep structure (50 layers). Furthermore, we theoretically analyze the effectiveness of our method based on "Block Dynamical Isometry" theory. Finally, we report superior accuracy results including 93.15 % on CIFAR-10, 67.8 % on DVS-CIFAR10, and 67.05% on ImageNet with very few timesteps. To our best knowledge, it's the first time to explore the directly-trained deep SNNs with high performance on ImageNet.


title: A Genetic Algorithm Based Approach for Satellite Autonomy

abstract: Autonomous spacecraft maneuver planning using an evolutionary algorithmic approach is investigated. Simulated spacecraft were placed into four different initial orbits. Each was allowed a string of thirty delta-v impulse maneuvers in six cartesian directions, the positive and negative x, y and z directions. The goal of the spacecraft maneuver string was to, starting from some non-polar starting orbit, place the spacecraft into a polar, low eccentricity orbit. A genetic algorithm was implemented, using a mating, fitness, mutation and crossover scheme for impulse strings. The genetic algorithm was successfully able to produce this result for all the starting orbits. Performance and future work is also discussed.


title: Many-electron system on helium and the color center spectroscopy

abstract: Electrons on the helium surface display sharp resonant absorption lines related to the transitions between the subbands of quantized motion transverse to the surface. A magnetic field parallel to the surface strongly affects the absorption spectrum. We show that the effect comes from admixing the out-of-plane motion to the in-plane quantum dynamics of the strongly correlated electron liquid or a Wigner crystal. This is similar to the admixing electron transitions in color centers to phonons. The spectrum permits a direct characterization of the many-electron dynamics and also enables testing the theory of color centers in a system with a controllable coupling.


title: Low-depth Hamiltonian Simulation by Adaptive Product Formula

abstract: Various Hamiltonian simulation algorithms have been proposed to efficiently study the dynamics of quantum systems on a quantum computer. The existing algorithms generally approximate the time evolution operators, which may need a deep quantum circuit that is beyond the capability of near-term noisy quantum devices. Here, focusing on the time evolution of a fixed input quantum state, we propose an adaptive approach to construct a low-depth time evolution circuit. By introducing a measurable quantifier that characterizes the simulation error, we use an adaptive strategy to learn the shallow quantum circuit that minimizes that error. We numerically test the adaptive method with electronic Hamiltonians of the $\mathrm{H_2O}$ and $\mathrm{H_4}$ molecules, and the transverse field Ising model with random coefficients. Compared to the first-order Suzuki-Trotter product formula, our method can significantly reduce the circuit depth (specifically the number of two-qubit gates) by around two orders while maintaining the simulation accuracy. We show applications of the method in simulating many-body dynamics and solving energy spectra with the quantum Krylov algorithm. Our work sheds light on practical Hamiltonian simulation with noisy-intermediate-scale-quantum devices.


title: Neural Machine Translation for Extremely Low-Resource African Languages: A Case Study on Bambara

abstract: Low-resource languages present unique challenges to (neural) machine translation. We discuss the case of Bambara, a Mande language for which training data is scarce and requires significant amounts of pre-processing. More than the linguistic situation of Bambara itself, the socio-cultural context within which Bambara speakers live poses challenges for automated processing of this language. In this paper, we present the first parallel data set for machine translation of Bambara into and from English and French and the first benchmark results on machine translation to and from Bambara. We discuss challenges in working with low-resource languages and propose strategies to cope with data scarcity in low-resource machine translation (MT).


title: Explainable Knowledge Tracing Models for Big Data: Is Ensembling an Answer?

abstract: In this paper, we describe our Knowledge Tracing model for the 2020 NeurIPS Education Challenge. We used a combination of 22 models to predict whether the students will answer a given question correctly or not. Our combination of different approaches allowed us to get an accuracy higher than any of the individual models, and the variation of our model types gave our solution better explainability, more alignment with learning science theories, and high predictive power.


title: Continual Learning of Control Primitives: Skill Discovery via Reset-Games

abstract: Reinforcement learning has the potential to automate the acquisition of behavior in complex settings, but in order for it to be successfully deployed, a number of practical challenges must be addressed. First, in real world settings, when an agent attempts a task and fails, the environment must somehow "reset" so that the agent can attempt the task again. While easy in simulation, this could require considerable human effort in the real world, especially if the number of trials is very large. Second, real world learning often involves complex, temporally extended behavior that is often difficult to acquire with random exploration. While these two problems may at first appear unrelated, in this work, we show how a single method can allow an agent to acquire skills with minimal supervision while removing the need for resets. We do this by exploiting the insight that the need to "reset" an agent to a broad set of initial states for a learning task provides a natural setting to learn a diverse set of "reset-skills". We propose a general-sum game formulation that balances the objectives of resetting and learning skills, and demonstrate that this approach improves performance on reset-free tasks, and additionally show that the skills we obtain can be used to significantly accelerate downstream learning.


title: Two-Sided Fairness in Non-Personalised Recommendations

abstract: Recommender systems are one of the most widely used services on several online platforms to suggest potential items to the end-users. These services often use different machine learning techniques for which fairness is a concerning factor, especially when the downstream services have the ability to cause social ramifications. Thus, focusing on the non-personalised (global) recommendations in news media platforms (e.g., top-k trending topics on Twitter, top-k news on a news platform, etc.), we discuss on two specific fairness concerns together (traditionally studied separately)---user fairness and organisational fairness. While user fairness captures the idea of representing the choices of all the individual users in the case of global recommendations, organisational fairness tries to ensure politically/ideologically balanced recommendation sets. This makes user fairness a user-side requirement and organisational fairness a platform-side requirement. For user fairness, we test with methods from social choice theory, i.e., various voting rules known to better represent user choices in their results. Even in our application of voting rules to the recommendation setup, we observe high user satisfaction scores. Now for organisational fairness, we propose a bias metric which measures the aggregate ideological bias of a recommended set of items (articles). Analysing the results obtained from voting rule-based recommendation, we find that while the well-known voting rules are better from the user side, they show high bias values and clearly not suitable for organisational requirements of the platforms. Thus, there is a need to build an encompassing mechanism by cohesively bridging ideas of user fairness and organisational fairness. In this abstract paper, we intend to frame the elementary ideas along with the clear motivation behind the requirement of such a mechanism.


title: Frontier-based Automatic-differentiable Information Gain Measure for Robotic Exploration of Unknown 3D Environments

abstract: The path planning problem for autonomous exploration of an unknown region by a robotic agent typically employs frontier-based or information-theoretic heuristics. Frontier-based heuristics typically evaluate the information gain of a viewpoint by the number of visible frontier voxels, which is a discrete measure that can only be optimized by sampling. On the other hand, information-theoretic heuristics compute information gain as the mutual information between the map and the sensor's measurement. Although the gradient of such measures can be computed, the computation involves costly numerical differentiation. In this work, we add a novel fuzzy logic filter in the counting of visible frontier voxels surrounding a viewpoint, which allows the gradient of the information gain with respect to the viewpoint to be efficiently computed using automatic differentiation. This enables us to simultaneously optimize information gain with other differentiable quality measures such as path length. Using multiple simulation environments, we demonstrate that the proposed gradient-based optimization method consistently improves the information gain and other quality measures of exploration paths.


title: Learning to Communicate and Correct Pose Errors

abstract: Learned communication makes multi-agent systems more effective by aggregating distributed information. However, it also exposes individual agents to the threat of erroneous messages they might receive. In this paper, we study the setting proposed in V2VNet, where nearby self-driving vehicles jointly perform object detection and motion forecasting in a cooperative manner. Despite a huge performance boost when the agents solve the task together, the gain is quickly diminished in the presence of pose noise since the communication relies on spatial transformations. Hence, we propose a novel neural reasoning framework that learns to communicate, to estimate potential errors, and finally, to reach a consensus about those errors. Experiments confirm that our proposed framework significantly improves the robustness of multi-agent self-driving perception and motion forecasting systems under realistic and severe localization noise.


title: Topological Regularization via Persistence-Sensitive Optimization

abstract: Optimization, a key tool in machine learning and statistics, relies on regularization to reduce overfitting. Traditional regularization methods control a norm of the solution to ensure its smoothness. Recently, topological methods have emerged as a way to provide a more precise and expressive control over the solution, relying on persistent homology to quantify and reduce its roughness. All such existing techniques back-propagate gradients through the persistence diagram, which is a summary of the topological features of a function. Their downside is that they provide information only at the critical points of the function. We propose a method that instead builds on persistence-sensitive simplification and translates the required changes to the persistence diagram into changes on large subsets of the domain, including both critical and regular points. This approach enables a faster and more precise topological regularization, the benefits of which we illustrate with experimental evidence.


title: The continuation of finite $E_\mathfrak{F}$-groups theory

abstract: We describe the structure of finite groups with $\mathfrak{F}$-subnormal or self-normalizing primary cyclic subgroups when $\mathfrak{F}$ is a subgroup-closed saturate superradical formation containing all nilpotent groups. We prove that groups with absolutely $\mathfrak{F}$-subnormal or self-normalizing primary cyclic subgroups are soluble when $\mathfrak{F}$ is a subgroup-closed saturate formation containing all nilpotent groups.


title: A Stochastic Optimal Control Model with Internal Feedback and Velocity Tracking for Saccades

abstract: A stochastic optimal control based model with velocity tracking and internal feedback for saccadic eye movements is presented in this paper. Recent evidence from neurophysiological studies of superior colliculus suggests the presence of a dynamic input to the saccade generation system that encodes saccade velocity, rather than just the saccade amplitude and direction. The new evidence makes it imperative to test if saccade control can use a desired velocity input which is the basis for the proposed velocity tracking model. The model is validated using behavioral data of saccades generated by healthy human subjects. It generates trajectories of horizontal saccades made to different amplitudes as well as predicts vertical and oblique saccade behavior. This paper presents the first-ever model of the saccadic system in an optimal control framework using an alternate interpretation of velocity-based control, contrary to the dominant end-point based models available in the literature.


title: Suppression of free convection effects for spherical 1 kg mass prototype

abstract: We investigate the free convection processes in the vicinity of a spherical 1 kg mass standard by two- and three-dimensional direct numerical simulations using a spectral element method. Our focus is on the determination and suppression of updraft forces in a high-precision mass comparator which are caused by temperature differences between mass standard and its environment in the millikelvin range - a source of systematic uncertainties in the high-precison mass determination. A two-dimensional model is presented first, which obtains a good agreement with previous laboratory measurements for the smaller temperature differences up to 15 mK. The influence of different boundary conditions and side lengths of the square domain is discussed for the mass standard positioned in the center of the chamber. The complexity is increased subsequently in configurations with additional built-ins for counter heating in form of planar plates or hemispherical shells above the mass standard. The latter ones lead to a full compensation of the updraft force. Three-dimensional simulations in a closed cubic chamber confirm the two-dimensional findings and additionally reveal complex secondary flow pattern in the vicinity of the mass standard. The reduction of the heat transfer due to the built-ins is also demonstrated by a comparison of the Nusselt numbers as a function of the Rayleigh number in the chosen parameter range. Our simulations suggest that such additional constructive measures can enhance the precision of the mass determination by suppression of free convection and related systematic uncertainties.


title: Modelling aspects of consciousness: a topological perspective

abstract: Attention Schema Theory (AST) is a recent proposal to provide a scientific explanation for the basis of subjective awareness. In AST, the brain constructs a representation of attention taking place in its own (and others') mind (`the attention schema'). Moreover, this representation is incomplete for efficiency reasons. This inherent incompleteness of the attention schema results in the inability of humans to understand how their own subjective awareness arises (related to the so-called `hard problem' of consciousness). Given this theory, the present paper asks whether a mind (either human or machine-based) that incorporates attention, and that contains a representation of its own attention, can ever have a complete representation. Using a simple yet general model and a mathematical argument based on classical topology, we show that a complete representation of attention is not possible, since it cannot faithfully represent streams of attention. In this way, the study supports one of the core aspects of AST, that the brain's representation of its own attention is necessarily incomplete.


title: DoLFIn: Distributions over Latent Features for Interpretability

abstract: Interpreting the inner workings of neural models is a key step in ensuring the robustness and trustworthiness of the models, but work on neural network interpretability typically faces a trade-off: either the models are too constrained to be very useful, or the solutions found by the models are too complex to interpret. We propose a novel strategy for achieving interpretability that -- in our experiments -- avoids this trade-off. Our approach builds on the success of using probability as the central quantity, such as for instance within the attention mechanism. In our architecture, DoLFIn (Distributions over Latent Features for Interpretability), we do no determine beforehand what each feature represents, and features go altogether into an unordered set. Each feature has an associated probability ranging from 0 to 1, weighing its importance for further processing. We show that, unlike attention and saliency map approaches, this set-up makes it straight-forward to compute the probability with which an input component supports the decision the neural model makes. To demonstrate the usefulness of the approach, we apply DoLFIn to text classification, and show that DoLFIn not only provides interpretable solutions, but even slightly outperforms the classical CNN and BiLSTM text classifiers on the SST2 and AG-news datasets.


title: A Systematic Comparison of Encrypted Machine Learning Solutions for Image Classification

abstract: This work provides a comprehensive review of existing frameworks based on secure computing techniques in the context of private image classification. The in-depth analysis of these approaches is followed by careful examination of their performance costs, in particular runtime and communication overhead. To further illustrate the practical considerations when using different privacy-preserving technologies, experiments were conducted using four state-of-the-art libraries implementing secure computing at the heart of the data science stack: PySyft and CrypTen supporting private inference via Secure Multi-Party Computation, TF-Trusted utilising Trusted Execution Environments and HE- Transformer relying on Homomorphic encryption. Our work aims to evaluate the suitability of these frameworks from a usability, runtime requirements and accuracy point of view. In order to better understand the gap between state-of-the-art protocols and what is currently available in practice for a data scientist, we designed three neural network architecture to obtain secure predictions via each of the four aforementioned frameworks. Two networks were evaluated on the MNIST dataset and one on the Malaria Cell image dataset. We observed satisfying performances for TF-Trusted and CrypTen and noted that all frameworks perfectly preserved the accuracy of the corresponding plaintext model.


title: Euclid: Identification of asteroid streaks in simulated images using StreakDet software

abstract: The ESA Euclid space telescope could observe up to 150 000 asteroids as a side product of its primary cosmological mission. Asteroids appear as trailed sources, that is streaks, in the images. Owing to the survey area of 15 000 square degrees and the number of sources, automated methods have to be used to find them. Euclid is equipped with a visible camera, VIS (VISual imager), and a near-infrared camera, NISP (Near-Infrared Spectrometer and Photometer), with three filters. We aim to develop a pipeline to detect fast-moving objects in Euclid images, with both high completeness and high purity. We tested the StreakDet software to find asteroids from simulated Euclid images. We optimized the parameters of StreakDet to maximize completeness, and developed a post-processing algorithm to improve the purity of the sample of detected sources by removing false-positive detections. StreakDet finds 96.9% of the synthetic asteroid streaks with apparent magnitudes brighter than 23rd magnitude and streak lengths longer than 15 pixels ($10\,{\rm arcsec\,h^{-1}}$), but this comes at the cost of finding a high number of false positives. The number of false positives can be radically reduced with multi-streak analysis, which utilizes all four dithers obtained by Euclid. StreakDet is a good tool for identifying asteroids in Euclid images, but there is still room for improvement, in particular, for finding short (less than 13 pixels, corresponding to 8$\,{\rm arcsec\,h^{-1}}$) and/or faint streaks (fainter than the apparent magnitude of 23).


title: Computational Design and Fabrication of Corrugated Mechanisms from Behavioral Specifications

abstract: Orthogonally assembled double-layered corrugated (OADLC) mechanisms are a class of foldable structures that harness origami-inspired methods to enhance the structural stiffness of resulting devices; these mechanisms have extensive applications due to their lightweight, compact nature as well as their high strength-to-weight ratio. However, the design of these mechanisms remains challenging. Here, we propose an efficient method to rapidly design OADLC mechanisms from desired behavioral specifications, i.e. in-plane stiffness and out-of-plane stiffness. Based on an equivalent plate model, we develop and validate analytical formulas for the behavioral specifications of OADLC mechanisms; the analytical formulas can be described as expressions of design parameters. On the basis of the analytical expressions, we formulate the design of OADLC mechanisms from behavioral specifications into an optimization problem that minimizes the weight with given design constraints. The 2D folding patterns of the optimized OADLC mechanisms can be generated automatically and directly delivered for fabrication. Our rapid design method is demonstrated by developing stiffness-enhanced mechanisms with a desired out-of-plane stiffness for a foldable gripper that enables a blimp to perch steadily under air disturbance and weight limit.


title: Topological charge analysis of dynamic process of transition to N\'eel-type skyrmion: role of domain wall skyrmions

abstract: Magnetic skyrmions are intriguing topological spin textures that promise future high-density spintronic devices. The creation of magnetic skyrmions has been understood based on the energetics of skyrmions, but the detailed dynamic process of the skyrmion creation remains unclear. Here topological evolution in conversion from uneven domains to N\'eel-skyrmions is investigated using micromagnetic simulations. We find that, rather than the overall topological charge, annihilation of novel topological defects, i.e., recently suggested domain wall skyrmions, dominantly govern the skyrmion creation process. Also, the topological charge evolution is interpreted in terms of the number and the combination of such topological defects.


title: Comparison of the mean field and Bohmian semi-classical approximations to the Rabi model

abstract: Bohmian mechanics is an alternative to standard quantum mechanics that does not suffer from the measurement problem. While it agrees with standard quantum mechanics concerning its experimental predictions, it offers novel types of approximations not suggested by the latter. Of particular interest are semi-classical approximations, where part of the system is treated classically. Bohmian semi-classical approximations have been explored before for systems without electromagnetic interactions. Here, the Rabi model is considered as a simple model involving light-matter interaction. This model describes a single mode electromagnetic field interacting with a two-level atom. As is well-known, the quantum treatment and the semi-classical treatment (where the field is treated classically rather than quantum mechanically) give qualitatively different results. We analyse the Rabi model using a different semi-classical approximation based on Bohmian mechanics. In this approximation, the back-reaction from the two-level atom onto the classical field is mediated by the Bohmian configuration of the two-level atom. We find that the Bohmian semi-classical approximation gives results comparable to the usual mean field one for the transition between ground and first excited state. Both semi-classical approximations tend to reproduce the collapse of the population inversion, but fail to reproduce the revival, which is characteristic of the full quantum description. Also an example of a higher excited state is presented where the Bohmian approximation does not perform so well.


title: Node Attribute Completion in Knowledge Graphs with Multi-Relational Propagation

abstract: The existing literature on knowledge graph completion mostly focuses on the link prediction task. However, knowledge graphs have an additional incompleteness problem: their nodes possess numerical attributes, whose values are often missing. Our approach, denoted as MrAP, imputes the values of missing attributes by propagating information across the multi-relational structure of a knowledge graph. It employs regression functions for predicting one node attribute from another depending on the relationship between the nodes and the type of the attributes. The propagation mechanism operates iteratively in a message passing scheme that collects the predictions at every iteration and updates the value of the node attributes. Experiments over two benchmark datasets show the effectiveness of our approach.


title: On Estimating the Training Cost of Conversational Recommendation Systems

abstract: Conversational recommendation systems have recently gain a lot of attention, as users can continuously interact with the system over multiple conversational turns. However, conversational recommendation systems are based on complex neural architectures, thus the training cost of such models is high. To shed light on the high computational training time of state-of-the art conversational models, we examine five representative strategies and demonstrate this issue. Furthermore, we discuss possible ways to cope with the high training cost following knowledge distillation strategies, where we detail the key challenges to reduce the online inference time of the high number of model parameters in conversational recommendation systems


title: Core reduction for singular Riemannian foliations in positive curvature

abstract: We show that for a smooth manifold equipped with a singular Riemannian foliation, if the foliated metric has positive sectional curvature, and there exists a pre-section, that is a proper submanifold retaining all the transverse geometric information of the foliation, then the leaf space has boundary. In particular, we see that polar foliations of positively curved manifolds have leaf spaces with nonempty boundary.


title: Label-free Raman spectroscopy and machine learning enables sensitive evaluation of differential response to immunotherapy

abstract: Cancer immunotherapy provides durable clinical benefit in only a small fraction of patients, particularly due to a lack of reliable biomarkers for accurate prediction of treatment outcomes and evaluation of response. Here, we demonstrate the first application of label-free Raman spectroscopy for elucidating biochemical changes induced by immunotherapy in the tumor microenvironment. We used CT26 murine colorectal cancer cells to grow tumor xenografts and subjected them to treatment with anti-CTLA-4 and anti-PD-L1 antibodies. Multivariate curve resolution - alternating least squares (MCR-ALS) decomposition of Raman spectral dataset obtained from the treated and control tumors revealed subtle differences in lipid, nucleic acid, and collagen content due to therapy. Our supervised classification analysis using support vector machines and random forests provided excellent prediction accuracies for both immune checkpoint inhibitors and delineated important spectral markers specific to each therapy, consistent with their differential mechanisms of action. Our findings pave the way for in vivo studies of response to immunotherapy in clinical patients using label-free Raman spectroscopy and machine learning.


title: Gauge Invariant Propagators and States in Quantum Electrodynamics

abstract: We study gauge invariant states in QED, where states are understood in terms of data living on the boundary of gauge invariant path-integrals. This is done for both scalar and spinor QED, and for boundaries that are either time slices, or the boundaries of a 'causal diamond'. We discuss both the case where the gauge field falls off to zero at the boundaries, and the case of 'large gauge transformations', where it remains finite at the boundaries. The dynamics are discussed using the gauge-invariant propagator, describing motion of both the particles and the field between the boundaries. We demonstrate how the path-integral naturally generates a 'Coulomb-field' dressing factor for states living on time-slices, and how this is done without fixing any gauge. We show that the form of the dressing depends only on the nature of the boundaries. We also derive the analogous dressing for states defined on null infinity, showing both its Coulombic parts as well as soft-photon parts.


title: Masur-Veech volumes, frequencies of simple closed geodesics and intersection numbers of moduli spaces of curves

abstract: We express the Masur-Veech volume and the area Siegel-Veech constant of the moduli space $\mathcal{Q}_{g,n}$ of genus $g$ meromorphic quadratic differentials with $n$ simple poles as polynomials in the intersection numbers of $\psi$-classes with explicit rational coefficients. The formulae obtained in this article result from lattice point counts involving the Kontsevich volume polynomials that also appear in Mirzakhani's recursion for the Weil-Petersson volumes of the moduli spaces of bordered hyperbolic surfaces with geodesic boundaries. A similar formula for the Masur-Veech volume (though without explicit evaluation) was obtained earlier by Mirzakhani via completely different approach. Furthermore, we prove that the density of the mapping class group orbit of any simple closed multicurve $\gamma$ inside the ambient set of integral measured laminations computed by Mirzakhani coincides with the density of square-tiled surfaces having horizontal cylinder decomposition associated to $\gamma$ among all square-tiled surfaces in $\mathcal{Q}_{g,n}$. We study the resulting densities (or, equivalently, volume contributions) in more detail in the special case $n=0$. In particular, we compute the asymptotic frequencies of separating and non-separating simple closed geodesics on a closed hyperbolic surface of genus $g$ for small $g$ and we show that for large genera the separating closed geodesics are $\sqrt{\frac{2}{3\pi g}}\cdot\frac{1}{4^g}$ times less frequent.


title: Counting basis extensions in a lattice

abstract: Given a primitive collection of vectors in the integer lattice, we count the number of ways it can be extended to a basis by vectors with sup-norm bounded by $T$, producing an asymptotic estimate as $T \to \infty$. This problem can be interpreted in terms of unimodular matrices, as well as a representation problem for a class of multilinear forms. In the $2$-dimensional case, this problem is also connected to the distribution of Farey fractions. As an auxiliary lemma we prove a counting estimate for the number of integer lattice points of bounded sup-norm in a hyperplane in~$\mathbb R^n$. Our main result on counting basis extensions also generalizes to arbitrary lattices in~$\mathbb R^n$. Finally, we establish some basic properties of sparse representations of integers by multilinear forms.


title: EPSR: Edge Profile Super resolution

abstract: In this paper, we propose Edge Profile Super Resolution(EPSR) method to preserve structure information and to restore texture. We make EPSR by stacking modified Fractal Residual Network(mFRN) structures hierarchically and repeatedly. mFRN is made up of lots of Residual Edge Profile Blocks(REPBs) consisting of three different modules such as Residual Efficient Channel Attention Block(RECAB) module, Edge Profile(EP) module, and Context Network(CN) module. RECAB produces more informative features with high frequency components. From the feature, EP module produce structure informed features by generating edge profile itself. Finally, CN module captures details by exploiting high frequency information such as texture and structure with proper sharpness. As repeating the procedure in mFRN structure, our EPSR could extract high-fidelity features and thus it prevents texture loss and preserves structure with appropriate sharpness. Experimental results present that our EPSR achieves competitive performance against state-of-the-art methods in PSNR and SSIM evaluation metrics as well as visual results.


title: Supervised PCA: A Multiobjective Approach

abstract: Methods for supervised principal component analysis (SPCA) aim to incorporate label information into principal component analysis (PCA), so that the extracted features are more useful for a prediction task of interest. Prior work on SPCA has focused primarily on optimizing prediction error, and has neglected the value of maximizing variance explained by the extracted features. We propose a new method for SPCA that addresses both of these objectives jointly, and demonstrate empirically that our approach dominates existing approaches, i.e., outperforms them with respect to both prediction error and variation explained. Our approach accommodates arbitrary supervised learning losses and, through a statistical reformulation, provides a novel low-rank extension of generalized linear models.


title: Criticality in Cell Adhesion

abstract: We illuminate the many-body effects underlying the structure, formation, and dissolution of cellular adhesion domains in the presence and absence of forces. We consider mixed Glauber-Kawasaki dynamics of a two-dimensional model of nearest-neighbor interacting adhesion bonds with intrinsic binding-affinity under the action of a shared pulling or pushing force. We consider adhesion bonds that are immobile due to being anchored to the underlying cytoskeleton as well as adhesion molecules that are transiently diffusing. Highly accurate analytical results are obtained on the pair-correlation level of the Bethe-Guggenheim approximation for the complete thermodynamics and kinetics of adhesion clusters of any size, including the thermodynamic limit. A new kind of dynamical phase transition is uncovered -- the mean formation and dissolution times per adhesion bond change discontinuously with respect to the bond-coupling parameter. At the respective critical points cluster formation and dissolution are fastest, while the statistically dominant transition path undergoes a qualitative change -- the entropic barrier to complete binding/unbinding is rate-limiting below, and the phase transition between dense and dilute phases above the dynamical critical point. In the context of the Ising model the dynamical phase transition reflects a first-order discontinuity in the magnetization-reversal time. Our results provide a potential explanation for the mechanical regulation of cell adhesion, and suggest that the quasi-static and kinetic response to changes in the membrane stiffness or applied forces is largest near the statical and dynamical critical point, respectively.


title: Non-local Correlation Effects in Fermionic Many-Body Systems: Overcoming the Non-causality Problem

abstract: Motivated by the intriguing physics of quasi-2d fermionic systems, such as high-temperature superconducting oxides, layered transition metal chalcogenides or surface or interface systems, the development of many-body computational methods geared at including both local and non-local electronic correlations has become a rapidly evolving field. It has been realized, however, that the success of such methods can be hampered by the emergence of noncausal features in the effective or observable quantities involved. Here, we present a new approach of extending local many-body techniques such as dynamical mean field theory (DMFT) to nonlocal correlations, which preserves causality and has a physically intuitive interpretation. Our strategy has implications for the general class of DMFT-inspired many-body methods, and can be adapted to cluster, dual boson or dual fermion techniques with minimal effort.


title: Yang-Mills Gauss law and the heavy quark binding energy in the presence of a dimension-2 gluon condensate

abstract: We study the binding energy of a heavy quark-antiquark ($q\bar{q}$) pair using the first-order path integral formalism. This makes the Yang-Mills constraint equation explicit, and highlights that it is valid without relying on a semiclassical approximation. A generalized gauge-covariant Coulomb gauge is chosen to allow for a decomposition of the chromoelectric field into a gauge-covariant generalization of transverse and longitudinal parts. This decomposition makes it clear that the $q\bar{q}$ binding energy is determined solely by the solution to the constraint equation. Assuming that the low-energy physics is dominated by the existence of a dimension-2 gluon condensate, we develop an asymptotic series solution to the constraint equation and thus to the $q\bar{q}$ binding energy. We predict a QCD string tension in terms of the condensate strength and quadratic Casimir eigenvalues, and relate our result to results coming from OPE analyses.


title: Understanding the physics of coherent LiDAR

abstract: Coherent LiDAR (Light Detecting And Ranging) is a promising 3D imaging technology that provides significant advantages over more traditional LiDAR systems. In addition to being immune to ambient light, it directly measures the velocity of moving objects by sensing Doppler shift of light, and can achieve exceptional depth accuracies. The goal of this manuscript is to explain the basic physics of coherent LiDAR with rigorous derivations from first principles. We first discuss the sensitivity of coherent detection, and derive the number of photons needed to robustly detect a LiDAR return. We then turn our attention to the collection efficiency of coherent LiDAR, and show that signal strength is strongly dependent upon how well the laser beams are focused.


title: A Distributionally Robust Optimization Approach for Unit Commitment in Microgrids

abstract: This paper proposes a distributionally robust unit commitment approach for microgrids under net load and electricity market price uncertainty. The key thrust of the proposed approach is to leverage the Kullback-Leibler divergence to construct an ambiguity set of probability distributions and formulate an optimization problem that minimizes the expected costs brought about by the worst-case distribution in the ambiguity set. The proposed approach effectively exploits historical data and capitalizes on the k-means clustering algorithm, in conjunction with the soft dynamic time warping score, to form the nominal probability distribution and its associated support. A two-level decomposition method is developed to enable the efficient solution of the devised problem. We carry out representative studies and quantify the relative merits of the proposed approach vis-\`a-vis a stochastic optimization-based model under different divergence tolerance values.


title: Is Private Learning Possible with Instance Encoding?

abstract: A private machine learning algorithm hides as much as possible about its training data while still preserving accuracy. In this work, we study whether a non-private learning algorithm can be made private by relying on an instance-encoding mechanism that modifies the training inputs before feeding them to a normal learner. We formalize both the notion of instance encoding and its privacy by providing two attack models. We first prove impossibility results for achieving a (stronger) model. Next, we demonstrate practical attacks in the second (weaker) attack model on InstaHide, a recent proposal by Huang, Song, Li and Arora [ICML'20] that aims to use instance encoding for privacy.


title: Nonminimal gradient flows in QCD-like theories

abstract: The Yang-Mills gradient flow for QCD-like theories is generalized by including a fermionic matter term in the gauge field flow equation. We combine this with two different flow equations for the fermionic degrees of freedom. The solutions for the different gradient flow setups are used in the perturbative computations of the vacuum expectation value of the Yang-Mills Lagrangian density and the field renormalization factor of the evolved fermions up to next-to-leading order in the coupling. We find a one-parameter family of flow systems for which there exists a renormalization scheme in which the evolved fermion anomalous dimension vanishes to all orders in perturbation theory. The fermion number dependence of different flows is studied and applications to lattice studies are anticipated.


title: Explainable COVID-19 Detection Using Chest CT Scans and Deep Learning

abstract: This paper explores how well deep learning models trained on chest CT images can diagnose COVID-19 infected people in a fast and automated process. To this end, we adopt advanced deep network architectures and propose a transfer learning strategy using custom-sized input tailored for each deep architecture to achieve the best performance. We conduct extensive sets of experiments on two CT image datasets, namely the SARS-CoV-2 CT-scan and the COVID19-CT. The obtained results show superior performances for our models compared with previous studies, where our best models achieve average accuracy, precision, sensitivity, specificity and F1 score of 99.4%, 99.6%, 99.8%, 99.6% and 99.4% on the SARS-CoV-2 dataset; and 92.9%, 91.3%, 93.7%, 92.2% and 92.5% on the COVID19-CT dataset, respectively. Furthermore, we apply two visualization techniques to provide visual explanations for the models' predictions. The visualizations show well-separated clusters for CT images of COVID-19 from other lung diseases, and accurate localizations of the COVID-19 associated regions.


title: Enumeration of Various Animals on the Triangular Lattice

abstract: In this paper, we consider various classes of polyiamonds that are animals residing on the triangular lattice. By careful analyses through certain layer-by-layer decompositions and cell pruning/growing arguments, we derive explicit forms for the generating functions of the number of nonempty translation-invariant baryiamonds (bargraphs in the triangular lattice), column-convex polyiamonds, and convex polyiamonds with respect to their perimeter. In particular, we show that the number of (A) baryiamonds of perimeter $n$ is asymptotically $$\frac{(\xi+1)^2\sqrt{\xi^4+\xi^3-2\xi+1}}{2\sqrt{\pi n^3}}\xi^{-n-2},$$ where $\xi$ is a root of a certain explicit polynomial of degree 5. (B) column-convex polyiamonds of perimeter $n$ is asymptotic to $$\frac{(17997809\sqrt{17}+3^3\cdot13\cdot175463)\sqrt{95\sqrt{17}-119}}{2^7\cdot43^2\cdot 89^2\sqrt{6\pi n^3}}\left(\frac{3+\sqrt{17}}{2}\right)^{n-1}.$$ (C) convex polyiamonds of perimeter $n$ is asymptotic to $$\frac{1280}{441\sqrt{3\pi n^3}}3^n.$$


title: Grounding Implicit Goal Description for Robot Indoor Navigation Via Recursive Belief Update

abstract: Natural language-based robotic navigation remains a challenging problem due to the human knowledge of navigation constraints, and destination is not directly compatible with the robot knowledge base. In this paper, we aim to translate natural destination commands into high-level robot navigation plans given a map of interest. We identify grammatically associated segments of destination description and recursively apply each of them to update a belief distribution of an area over the given map.We train a destination grounding model using a dataset of single-step belief update for precise, proximity, and directional modifier types. We demonstrate our method on real-world navigation task in an office consisting of 80 areas. Offline experimental results show that our method can directly extract goal destination from unheard, long, and composite text commands asked by humans. This enables users to specify their destination goals for the robot in general and natural form. Hardware experiment results also show that the designed model brings much convenience for specifying a navigation goal to a service robot.


title: A Simple and Reliable Formula for Assessment of Maximum Volumetric Productivities in Photobioreactors

abstract: This paper establishes and discusses the consistency and the range of applicability of a simple, but general and predictive analytical formula, enabling to easily assess the maximum volumetric biomass growth rates (the productivities) in several kinds of photobioreactors with more or less 15 percents of deviation. Experimental validations are performed on photobioreactors of very different conceptions and designs, cultivating the cyanobacterium Arthrospira platensis, on a wide range of volumes and hemispherical incident light fluxes. The practical usefulness of the proposed formula is demonstrated by the fact that it appears completely independent of the characteristics of the material phase (as the type of reactor, the kind of mixing, the biomass concentration), according to the first principle of thermodynamics and to the Gauss-Ostrogradsky theorem. Its ability to give the maximum (only) kinetic performance of photobioreactors cultivating many different photoautotrophic strains (cyanobacteria, green algae, eukaryotic microalgae) is theoretically discussed but experimental results are reported to a future work of the authors or to any other contribution arising from the scientific community working in the field of photobioreactor engineering and potentially interested by this approach.


title: Spectral Kinetic Modeling and Long-term Behavior Assessment of Arthrospira platensis Growth in Photobioreactor under Red (620 nm) Light Illumination

abstract: The ability to cultivate the cyanobacterium Arhtrospira platensis in artificially lightened photobioreactors using high energetic efficiency (quasi-monochromatic) red LED was investigated. In order to reach the same maximal productivities as with the polychromatic lightening control conditions (red + blue, P/2e- = 1.275), the need to work with an optimal range of wavelength around 620 nm was first established on batch and continuous cultures. The long-term physiological and kinetic behavior was then verified in a continuous photobioreactor illuminated only with red (620 nm) LED, showing that the maximum productivities can be maintained over 30 residence times with only minor changes in the pigment content of the cells corresponding to a well-known adaptation mechanism of the photosystems, but without any effect on growth and stoichiometry. For both poly and monochromatic incident light inputs, a predictive spectral knowledge model was proposed and validated for the first time, allowing the calculation of the kinetics and stoichiometry observed in any photobioreactor cultivating A. platensis, or other cyanobacteria if the parameters were updated. It is shown that the photon flux (with a specified wavelength) must be used instead of light energy flux as a relevant control variable for the growth. The experimental and theoretical results obtained in this study demonstrate that it is possible to save the energy consumed by the lightening device of photobioreactors using red LED, the spectral range of which is defined according to the action spectrum of photosynthesis. This appears to be crucial information for applications in which the energy must be rationalized, as it is the case for life support systems in closed environments like a permanent spatial base or a submarine.


title: Guarding Serverless Applications with SecLambda

abstract: As an emerging application paradigm, serverless computing attracts attention from more and more attackers. Unfortunately, security tools for conventional applications cannot be easily ported to serverless, and existing serverless security solutions are inadequate. In this paper, we present \emph{SecLambda}, an extensible security framework that leverages local function state and global application state to perform sophisticated security tasks to protect an application. We show how SecLambda can be used to achieve control flow integrity, credential protection, and rate limiting in serverless applications. We evaluate the performance overhead and security of SecLambda using realistic open-source applications, and our results suggest that SecLambda can mitigate several attacks while introducing relatively low performance overhead.


title: Robotic Exploration of Unknown 2D Environment Using a Frontier-based Automatic-Differentiable Information Gain Measure

abstract: At the heart of path-planning methods for autonomous robotic exploration is a heuristic which encourages exploring unknown regions of the environment. Such heuristics are typically computed using frontier-based or information-theoretic methods. Frontier-based methods define the information gain of an exploration path as the number of boundary cells, or frontiers, which are visible from the path. However, the discrete and non-differentiable nature of this measure of information gain makes it difficult to optimize using gradient-based methods. In contrast, information-theoretic methods define information gain as the mutual information between the sensor's measurements and the explored map. However, computation of the gradient of mutual information involves finite differencing and is thus computationally expensive. This work proposes an exploration planning framework that combines sampling-based path planning and gradient-based path optimization. The main contribution of this framework is a novel reformulation of information gain as a differentiable function. This allows us to simultaneously optimize information gain with other differentiable quality measures, such as smoothness. The proposed planning framework's effectiveness is verified both in simulation and in hardware experiments using a Turtlebot3 Burger robot.


title: Global Spiral Density Wave Modes in Protoplanetary Disks: Morphology of Spiral Arms

abstract: We analyze two-armed global spiral density wave modes generated by gravitational instability in razor-thin, non-viscous, self-gravitating protoplanetary disks to understand the dependence of spiral arm morphology (pitch angle $\alpha$ and amplitude) on various disk conditions. The morphologies of the resulting spiral density wave modes closely resemble observations. Their pitch angles and pattern speeds are insensitive to the boundary conditions adopted. Gaussian disks exhibit more tightly wound spirals (smaller pitch angle) than power law disks under the same conditions. We find that at a fixed disk-to-star mass ratio ($M_d/M_*$), pitch angle increases with average Toomre's stability parameter ($\overline Q$) or average disk aspect ratio ($\overline h$). For a given $\overline Q$, density wave modes with higher $M_d/M_*$ have larger pitch angles, while the behavior reverses for a given $\overline h$. The interdependence between pitch angle and disk properties can be roughly approximated by $\alpha\propto c_s^2/M_d$, where $c_s$ is the sound speed. Our gravitational instability-excited spiral density waves can be distinguished from planet-launched spirals: (1) massive cool disks have spiral pitch angle falling with radius, while low-mass hot disks have spiral pitch angle rising with radius; (2) the profile of spiral amplitude presents several dips and bumps. We propose that gravitational instability-excited density waves can serve as an alternative scenario to explain the observed spiral arms in self-gravitating protoplanetary disks.


title: Universal Landau-Zener regimes in dynamical topological phase transitions

abstract: In finite systems driven unitarily across topological phase transitions, the Chern number and the Bott index have been found to exhibit different behaviors depending on the boundary conditions and on the commensurability of the lattice. For periodic boundary conditions, the Chern number does not change for finite commensurate lattices (or in the thermodynamic limit). On the other hand, the Chern number can change for incommensurate lattices with periodic boundary conditions and the Bott index can change for lattices with open boundary conditions. Here we show that the scalings of the fields at which those two indices change exhibit Landau-Zener and near-adiabatic regimes depending on the speed at which the strength of the drive is ramped up and on the system size. Those regimes are preceded by a regime in which the topological indices do not change. The latter is the only regime that, for nonvanishing ramp speeds, survives in the thermodynamic limit. We then show that the dc Hall response can be used to detect topological phase transitions independently of the behavior of the topological indices.


title: Hodge Theoretic invariants Detecting Tautological Cycles in Moduli Space of Curves

abstract: We apply the method of higher Abel-Jacobi invariants and cycle classes of Hodge theory to special tautological classes in the Chow ring of moduli space of curves with marked points. Specifically, based on the result of Green and Griffiths of non-triviallity of Faber-Pandharipande cycle in self product of a curve of genus $g$, we show certain classes of tautological cycles that we call higher FP-cycles have non-trivial AJ-invariants.


title: On Very Generic Discriminantal Arrangements

abstract: In this article we prove two main results. Firstly, we show that any six-line arrangement, consisting of three pairs of mutually perpendicular lines, does not give rise to a "very generic or sufficiently general" discriminantal arrangement in the sense of C. A. Athanasiadis \cite{MR1720104}. We give two proofs of the first result. The second result is as follows. The codimension-one boundary faces of (a region) a convex cone of a very generic discriminantal arrangement has not been characterized and is not known even though the intersection lattice of a very generic discriminantal arrangement is known. So secondly, we show that the number of simplex cells of the very generic hyperplane arrangement $\mathcal{H}^m_n=\{H_i:\underset{j=1}{\overset{m}{\sum}}a_{ij}x_j=c_i,1\leq i\leq n\}$ may not be not precisely equal to the number of codimension-one boundary hyperplanes of $\mathbb{R}^n$ of the convex cone $C$ containing $(c_1,c_2,\ldots,c_n)$ in the associated very generic discriminantal arrangement. That is, for $1\leq i_1<i_2<\ldots<i_m<i_{m+1}\leq n$, if $\Delta^m H_{i_1}H_{i_2}\ldots H_{i_m}H_{i_{m+1}}$ is a simplex cell of the hyperplane arrangement $\mathcal{H}^m_n$ then it need not give rise to a codimension-one boundary hyperplane of the convex cone $C$ containing $(c_1,c_2,\ldots,c_n)$ in the associated very generic discriminantal arrangement. We finally mention an interesting open-ended remark before the appendix section. In the appendix section we give a self contained exposition and describe combinatorially the intersection lattice of a (Zariski open and dense) class of "very generic or sufficiently general" discriminantal arrangements. As a consequence, we give a geometric description of the lattice elements as sets of concurrencies of the hyperplane arrangements which give the same "very generic or sufficiently general" discriminantal arrangement.


title: Consequences of Minimal Length Discretization on Line Element, Metric Tensor and Geodesic Equation

abstract: When minimal length uncertainty emerging from generalized uncertainty principle (GUP) is thoughtfully implemented, it is of great interest to consider its impacts on {\it "gravitational} Einstein field equations (gEFE) and to try to find out whether consequential modifications in metric manifesting properties of quantum geometry due to quantum gravity. GUP takes into account the gravitational impacts on the noncommutation relations of length (distance) and momentum operators or time and energy operators, etc. On the other hand, gEFE relates {\it classical geometry or general relativity gravity} to the energy-momentum tensors, i.e. proposing quantum equations of state. Despite the technical difficulties, we confront GUP to the metric tensor so that the line element and the geodesic equation in flat and curved space are accordingly modified. The latter apparently encompasses acceleration, jerk, and snap (jounce) of a particle in the {\it "quasi-quantized"} gravitational field. Finite higher-orders of acceleration apparently manifest phenomena such as accelerating expansion and transitions between different radii of curvature, etc.


title: Jas4pp -- a Data-Analysis Framework for Physics and Detector Studies

abstract: This paper describes the Jas4pp framework for exploring physics cases and for detector-performance studies of future particle collision experiments. Jas4pp is a multi-platform Java program for numeric calculations, scientific visualization in 2D and 3D, storing data in various file formats and displaying collision events and detector geometries. It also includes complex data-analysis algorithms for function minimisation, regression analysis, event reconstruction (such as jet reconstruction), limit settings and other libraries widely used in particle physics. The framework can be used with several scripting languages, such as Python/Jython, Groovy and JShell. Several benchmark tests discussed in the paper illustrate significant improvements in the performance of the Groovy and JShell scripting languages compared to the standard Python implementation in C. The improvements for numeric computations in Java are attributed to recent enhancements in the Java Virtual Machine.


title: Flavor mixing and renormalization in a perturbation theory

abstract: The renormalization of theories with flavor mixing is discussed, and it is shown that the physical unstable particles should be interpreted as quasiparticles which cannot be regarded as external states. Several popular beliefs on renormalization are disproved accordingly, and the limitations of physical renormalization schemes are discussed. In addition, the properties of unstable particles with flavor mixing such as decay widths are studied from scattering mediated by them.


title: The galaxy-halo connection of emission-line galaxies in IllustrisTNG

abstract: We employ the hydrodynamical simulation IllustrisTNG-300-1 to explore the halo occupation distribution (HOD) and environmental dependence of luminous star-forming emission-line galaxies (ELGs) at $z \sim 1$. Such galaxies are key targets for current and upcoming cosmological surveys. We select model galaxies through cuts in colour-colour space allowing for a direct comparison with the Extended Baryon Oscillation Spectroscopic Survey and the Dark Energy Spectroscopic Instrument (DESI) surveys and then compare them with galaxies selected based on specific star-formation rate (sSFR) and stellar mass. We demonstrate that the ELG populations are twice more likely to reside in lower-density regions (sheets) compared with the mass-selected populations and twice less likely to occupy the densest regions of the cosmic web (knots). We also show that the colour-selected and sSFR-selected ELGs exhibit very similar occupation and clustering statistics, finding that the agreement is best for lower redshifts. In contrast with the mass-selected sample, the occupation of haloes by a central ELG peaks at $\sim$20\%. We furthermore explore the dependence of the HOD and the auto-correlation on environment, noticing that at fixed halo mass, galaxies in high-density regions cluster about 10 times more strongly than low-density ones. This result suggests that we should model carefully the galaxy-halo relation and implement assembly bias effects into our models (estimated at $\sim$4\% of the clustering of the DESI colour-selected sample at $z = 0.8$). Finally, we apply a simple mock recipe to recover the clustering on large scales ($r \gtrsim 1 \ {\rm Mpc}/h$) to within 1\% by augmenting the HOD model with an environment dependence, demonstrating the power of adopting flexible population models.


title: Evidence for hierarchical black hole mergers in the second LIGO--Virgo gravitational-wave catalog

abstract: We study the population properties of merging binary black holes in the second LIGO--Virgo Gravitational-Wave Transient Catalog assuming they were all formed dynamically in gravitationally bound clusters. Using a phenomenological population model, we infer the mass and spin distribution of first-generation black holes, while self-consistently accounting for hierarchical mergers. Considering a range of cluster masses, we see compelling evidence for hierarchical mergers in clusters with escape velocities $\gtrsim 100~\mathrm{km\,s^{-1}}$. For our most probable cluster mass, we find that the catalog contains at least one second-generation merger with $99\%$ credibility. We find that the hierarchical model is preferred over an alternative model with no hierarchical mergers (Bayes factor $\mathcal{B} > 1400$) and that GW190521 is favored to contain two second-generation black holes with odds $\mathcal{O}>700$, and GW190519, GW190602, GW190620, and GW190706 are mixed-generation binaries with $\mathcal{O} > 10$. However, our results depend strongly on the cluster escape velocity, with more modest evidence for hierarchical mergers when the escape velocity is $\lesssim 100~\mathrm{km\,s^{-1}}$. Assuming that all binary black holes are formed dynamically in globular clusters with escape velocities on the order of tens of $\mathrm{km\,s^{-1}}$, GW190519 and GW190521 are favored to include a second-generation black hole with odds $\mathcal{O}>1$. In this case, we find that $99\%$ of black holes from the inferred total population have masses that are less than $49\,M_{\odot}$, and that this constraint is robust to our choice of prior on the maximum black hole mass.


title: ETHOS -- An Effective Theory of Structure Formation: Impact of Dark Acoustic Oscillations on Cosmic Dawn

abstract: Upcoming data of the 21-cm hydrogen line during cosmic dawn ($z\sim 10-30$) will revolutionize our understanding of the astrophysics of the first galaxies. Here we present a case study on how to exploit those same measurements to learn about the nature of dark matter (DM) at small scales. Focusing on the Effective Theory of Structure Formation (ETHOS) paradigm, we run a suite of simulations covering a broad range of DM microphysics, connecting the output of $N$-body simulations to dedicated 21-cm simulations to predict the evolution of the 21-cm signal across the entire cosmic dawn. We find that observatories targeting both the global signal and the 21-cm power spectrum are sensitive to all ETHOS models we study, and can distinguish them from CDM if the suppression wavenumber is smaller than $k\approx 300\, h/$Mpc, even when accounting for feedback with a phenomenological model. This is an order of magnitude smaller comoving scales than currently constrained by other data sets, including the Lyman-$\alpha$ forest. Moreover, if a prospective 21-cm detection confirmed a deficiency of power at small scales, we show that ETHOS models with strong dark acoustic oscillations can be discriminated from the pure suppression of warm dark matter, showing the power of 21-cm data to understand the behavior of DM at the smallest physical scales.


title: Outflows from Super Star Clusters in the Central Starburst of NGC253

abstract: Young massive clusters play an important role in the evolution of their host galaxies, and feedback from the high-mass stars in these clusters can have profound effects on the surrounding interstellar medium. The nuclear starburst in the nearby galaxy NGC253 at a distance of 3.5 Mpc is a key laboratory in which to study star formation in an extreme environment. Previous high resolution (1.9 pc) dust continuum observations from ALMA discovered 14 compact, massive super star clusters (SSCs) still in formation. We present here ALMA data at 350 GHz with 28 milliarcsecond (0.5 pc) resolution. We detect blueshifted absorption and redshifted emission (P-Cygni profiles) towards three of these SSCs in multiple lines, including CS 7$-$6 and H$^{13}$CN 4$-$3, which represents direct evidence for previously unobserved outflows. The mass contained in these outflows is a significant fraction of the cluster gas masses, which suggests we are witnessing a short but important phase. Further evidence of this is the finding of a molecular shell around the only SSC visible at near-IR wavelengths. We model the P-Cygni line profiles to constrain the outflow geometry, finding that the outflows must be nearly spherical. Through a comparison of the outflow properties with predictions from simulations, we find that none of the available mechanisms completely explains the observations, although dust-reprocessed radiation pressure and O star stellar winds are the most likely candidates. The observed outflows will have a very substantial effect on the clusters' evolution and star formation efficiency.


title: The COS Absorption Survey of Baryon Harbors: Unveiling the Physical Conditions of Circumgalactic Gas through Multiphase Bayesian Ionization Modeling

abstract: Quasar absorption systems encode a wealth of information about the abundances, ionization structure, and physical conditions in intergalactic and circumgalactic media. Simple (often single-phase) photoionization models are frequently used to decode such data. Using five discrete absorbers from the COS Absorption Survey of Baryon Harbors (CASBaH) that exhibit a wide range of detected ions (e.g., Mg II, S II--S VI, O II--O VI, Ne VIII), we show several examples where single-phase ionization models cannot reproduce the full set of measured column densities. To explore models that can self-consistently explain the measurements and kinematic alignment of disparate ions, we develop a Bayesian multiphase ionization modeling framework that characterizes discrete phases by their unique physical conditions and also investigates variations in the shape of the UV flux field, metallicity, and relative abundances. Our models require at least two (but favor three) distinct ionization phases ranging from $T \approx 10^{4}$ K photoionized gas to warm-hot phases at $T \lesssim 10^{5.8}$ K. For some ions, an apparently single absorption "component" includes contributions from more than one phase, and up to 30% of the H I is not from the lowest ionization phase. If we assume that all of the phases are photoionized, we cannot find solutions in thermal pressure equilibrium. By introducing hotter, collisionally ionized phases, however, we can achieve balanced pressures. The best models indicate moderate metallicities, often with sub-solar N/$\alpha$, and, in two cases, ionizing flux fields that are softer and brighter than the fiducial Haardt & Madau UV background model.


title: Galaxy formation with L-GALAXIES: Modelling the environmental dependency of galaxy evolution and comparing with observations

abstract: We present a variation of the recently updated Munich semi-analytical galaxy formation model, L-Galaxies, with a new gas stripping method. Extending earlier work, we directly measure the local environmental properties of galaxies to formulate a more accurate treatment of ram-pressure stripping for all galaxies. We fully re-calibrate the modified L-Galaxies model using a Markov Chain Monte Carlo (MCMC) method with the stellar mass function and quenched fraction of galaxies at $0\leq z\leq2$ as constraints. Due to this re-calibration, global galaxy population relations, including the stellar mass function, quenched fractions versus galaxy mass and HI mass function are all largely unchanged and remain consistent with observations. By comparing to data on galaxy properties in different environments from the SDSS and HSC surveys, we demonstrate that our modified model improves the agreement with the quenched fractions and star formation rates of galaxies as a function of environment, stellar mass, and redshift. Overall, in the vicinity of haloes with total mass $10^{12}$ to $10^{15}\rm M_{\odot}$ at $z=0$, our new model produces higher quenched fractions and stronger environmental dependencies, better recovering observed trends with halocentric distance up to several virial radii. By analysing the actual amount of gas stripped from galaxies in our model, we show that those in the vicinity of massive haloes lose a large fraction of their hot halo gas before they become satellites. We demonstrate that this affects galaxy quenching both within and beyond the halo boundary. This is likely to influence the correlations between galaxies up to tens of megaparsecs.


title: A New Spin on the Weak Gravity Conjecture

abstract: The mild form of the Weak Gravity Conjecture states that quantum or higher-derivative corrections should decrease the mass of large extremal charged black holes at fixed charge. This allows extremal black holes to decay, unless protected by a symmetry (such as supersymmetry). We reformulate this conjecture as an integrated condition on the effective stress tensor capturing the effect of quantum or higher-derivative corrections. In addition to charged black holes, we also consider rotating BTZ black holes and show that this condition is satisfied as a consequence of the $c$-theorem, proving a spinning version of the Weak Gravity Conjecture. We also apply our results to a five-dimensional boosted black string with higher-derivative corrections. The boosted black string has a $\text{BTZ}\times S^2$ near-horizon geometry and, after Kaluza-Klein reduction, describes a four-dimensional charged black hole. Combining the spinning and charged Weak Gravity Conjecture we obtain positivity bounds on the five-dimensional Wilson coefficients that are stronger than those obtained from charged black holes alone.


title: Many Phases of Generalized 3D Instanton Crystals

abstract: Nuclear matter at large number of colors is necessarily in a solid phase. In particular holographic nuclear matter takes the form of a crystal of instantons of the flavor group. In this article we initiate the analysis of the three-dimensional crystal structures and the orientation patterns for the two-body potential that follows from holographic duality. The outcome of the analysis includes several unexpected results. We perform simulations of ensembles of O(10000) instantons whereby we identify the lattice structure and orientations for the different values of the weight factors of the non-Abelian orientation terms in the two-body potential. The resulting phase diagram is surprisingly complex, including a variety of ferromagnetic and antiferromagnetic crystals with various global orientation patterns, and various "non-Abelian" crystals where orientations have no preferred direction. The latter include variants of face-centered-cubic, hexagonal, and simple cubic crystals which may have remarkably large or small aspect ratios. The simulation results are augmented by analytic analysis of the long-distance divergences, and numerical computation of the (divergence free) energy differences between the non-Abelian crystals, which allows us to precisely determine the structure of the phase diagram.


title: On-shell effective theory for higher-spin dark matter

abstract: We apply the on-shell amplitude techniques in the domain of dark matter. Without evoking fields and Lagrangians, an effective theory for a massive spin-$S$ particle is defined in terms of on-shell amplitudes, which are written down using the massive spinor formalism. This procedure greatly simplifies the study of theories with a higher-spin dark matter particle. In particular, it provides an efficient way to calculate the rates of processes controlling dark matter production, and offers better physical insight into how different processes depend on the relevant scales in the theory. We demonstrate the applicability of these methods by exploring two scenarios where higher-spin DM is produced via the freeze-in mechanism. One scenario is minimal, involving only universal gravitational interactions, and is compatible with dark matter masses in a very broad range from sub-TeV to the GUT scale. The other scenario involves direct coupling of higher-spin DM to the Standard Model via the Higgs intermediary, and leads to a rich phenomenology, including dark matter decay signatures.


title: Fast rotating and low-turbulence discs at $z\simeq 4.5$: Dynamical evidence of their evolution into local early-type galaxies

abstract: Massive starburst galaxies in the early Universe are estimated to have depletion times of $\sim 100$ Myr and thus be able to convert their gas very quickly into stars, possibly leading to a rapid quenching of their star formation. For these reasons, they are considered progenitors of massive early-type galaxies (ETGs). In this paper, we study two high-$z$ starbursts, AzTEC/C159 ($z\simeq 4.57$) and J1000+0234 ($z\simeq 4.54$), observed with ALMA in the [CII] 158-$\mu$m emission line. These observations reveal two massive and regularly rotating gaseous discs. A 3D modelling of these discs returns rotation velocities of about $500$ km/s and gas velocity dispersions as low as $\approx 20$ km/s, leading to very high ratios between regular and random motion ($V/\sigma {\lower.7ex\hbox{$\;\stackrel{\textstyle>}{\sim}\;$}} 20$), at least in AzTEC/C159. The mass decompositions of the rotation curves show that both galaxies are highly baryon-dominated with gas masses of $\approx 10^{11}M_{\odot}$, which, for J1000+0234, is significantly higher than previous estimates. We show that these high-$z$ galaxies overlap with $z=0$ massive ETGs in the ETG analogue of the stellar-mass Tully-Fisher relation once their gas is converted into stars. This provides dynamical evidence of the connection between massive high-$z$ starbursts and ETGs, although the transformation mechanism from fast rotating to nearly pressure-supported systems remains unclear.


title: EMERGE: Constraining merging probabilities and timescales of close galaxy pairs

abstract: Theoretical models are vital for exploring the galaxy merger process, which plays a crucial role in the evolution of galaxies. Recent advances in modelling have placed tight constraints on the buildup of stellar material in galaxies across cosmic time. Despite these successes, extracting the merger rates from observable data remains a challenge. Differences in modelling techniques, combined with limited observational data, drive conflicting conclusions on the merging timescales of close pairs. We employ an empirical model for galaxy formation that links galaxy properties to the growth of simulated dark matter halos, along with mock lightcone galaxy catalogues, to probe the dependencies of pair merging probabilities and merging timescales. In this work, we demonstrate that the pair merging probabilities are best described by a logistic function and that mean merging timescales can be well approximated by a linear relation in the projected separation and line of sight velocity difference in observed pairs. Together, our fitting formulae can accurately predict merger rates from galaxy pairs to at least $z\sim4$ under a wide variety of pair selection criteria. Additionally, we show that some commonly used pair selection criteria may not represent a suitable sample of galaxies to reproduce underlying merger rates. Finally, we conclude from our analysis that observation timescales are primarily driven by dynamics and are not strongly impacted by the star formation properties of the component galaxies.


title: Extreme antagonism arising from gene-environment interactions

abstract: Antagonistic interactions in biological systems, which occur when one perturbation blunts the effect of another, are typically interpreted as evidence that the two perturbations impact the same cellular pathway or function. Yet, this interpretation ignores extreme antagonistic interactions wherein an otherwise deleterious perturbation compensates for the function lost due to a prior perturbation. Here, we report on gene-environment interactions involving genetic mutations that are deleterious in a permissive environment but beneficial in a specific environment that restricts growth. These extreme antagonistic interactions constitute gene-environment analogs of synthetic rescues previously observed for gene-gene interactions. Our approach uses two independent adaptive evolution steps to address the lack of experimental methods to systematically identify such extreme interactions. We apply the approach to Escherichia coli by successively adapting it to defined glucose media without and with the antibiotic rifampicin. The approach identified multiple mutations that are beneficial in the presence of rifampicin and deleterious in its absence. The analysis of transcription shows that the antagonistic adaptive mutations repress a stringent response-like transcriptional program, while non-antagonistic mutations have an opposite transcriptional profile. Our approach represents a step toward the systematic characterization of extreme antagonistic gene-drug interactions, which can be used to identify targets to select against antibiotic resistance.


title: First detection of stacked X-ray emission from cosmic web filaments

abstract: We report the first statistical detection of X-ray emission from cosmic web filaments in ROSAT data. We selected 15,165 filaments at 0.2<z<0.6 ranging from 30 Mpc to 100 Mpc in length, identified in the Sloan Digital Sky Survey (SDSS) survey. We stacked the X-ray count-rate maps from ROSAT around the filaments, excluding resolved galaxy groups and clusters above the mass of ~3 * 10^13 Msun as well as the detected X-ray point sources from the ROSAT, Chandra, and XMM-Newton observations. The stacked signal results in the detection of the X-ray emission from the cosmic filaments at a significance of 4.2 sigma in the energy band of 0.56-1.21 keV. The signal is interpreted, assuming the Astrophysical Plasma Emission Code (APEC) model, as an emission from the hot gas in the filament-core regions with an average gas temperature of 0.9(+1.0-0.6) keV and a gas overdensity of ~30 at the center of the filaments. Furthermore, we show that stacking the SRG/eROSITA data for ~2,000 filaments only would lead to a ~5 sigma detection of their X-ray signal, even with an average gas temperature as low as ~0.3 keV.


title: Physical Properties and Scaling Relations of Molecular Clouds: the Impact of Star Formation

abstract: Using hydrodynamical simulations of a Milky Way-like galaxy, reaching 4.6 pc resolution, we study how the choice of star formation criteria impacts both galactic and Giant Molecular Clouds (GMC) scales. We find that using a turbulent, self-gravitating star formation criteria leads to an increase in the fraction of gas with densities between 10 and 10$^4$ cm$^{-3}$ when compared with a simulation using a molecular star formation method, despite both having nearly identical gaseous and stellar morphologies. Furthermore, we find that the site of star formation is effected with the the former tending to only produce stars in regions of very high density ($\gt 10$ cm$^{-3}$) gas while the latter forms stars along the entire length of its spiral arms. The properties of GMCs are impacted by the choice of star formation criteria with the former method producing larger clouds. Despite the differences we find that the relationships between clouds properties, such as the Larson relations, remain unaffected. Finally, the scatter in the measured star formation efficiency per free-fall time of GMCs remains present with both methods and is thus set by other factors.


title: Cosmology dependency of halo masses and concentrations in hydrodynamic simulations

abstract: We employ a set of Magneticum cosmological hydrodynamic simulations that span over $15$ different cosmologies, and extract masses and concentrations of all well-resolved haloes between $z=0-1$ for critical over-densities $\Delta_\texttt{vir}, \Delta_{200c}, \Delta_{500c}, \Delta_{2500c}$ and mean overdensity $\Delta_{200m}.$ We provide the first mass-concentration (Mc) relation and sparsity relation (i.e. $M_{\Delta1} - M_{\Delta2}$ mass conversion) of hydrodynamic simulations that is modelled by mass, redshift and cosmological parameters $\Omega_m, \Omega_b, \sigma_8, h_0$ as a tool for observational studies. We also quantify the impact that the Mc relation scatter and the assumption of NFW density profiles have on the uncertainty of the sparsity relation. We find that converting masses with the aid of a Mc relation carries an additional fractional scatter ($\approx 4\%$) originated from deviations from the assumed NFW density profile. For this reason we provide a direct mass-mass conversion relation fit that depends on redshift and cosmological parameters. We release the package hydro\_mc, a python tool that perform all kind of conversions presented in this paper.


title: Confrontation of Observation and Theory: High Frequency QPOs in X-ray Binaries, Tidal Disruption Events, and Active Galactic Nuclei

abstract: We compile observations of high-frequency quasi-periodic oscillations (QPOs) around black holes, both stellar and supermassive, and compare their positions in the parameter space of black hole mass, spin, and oscillation frequency. We find that supermassive black holes occupy a separate region of parameter space than stellar, and further, that QPOs seen around tidal disruption events rather than Seyfert-type AGN occupy an entirely different space. We then compare these results to the orbital resonance, diskoseismic, warped disk, and disk-jet coupling theoretical models for the origin of high-frequency QPOs. We find that while oscillations around stellar mass black holes are generally consistent with the above models, supermassive black holes are decidedly not. Oscillations seen in tidal disruption events are consistent with oscillations near the frequency of the innermost stable circular orbit (ISCO), while QPOs in AGN are not accounted for by any of the physical models in consideration. This indicates that despite the scale invariance of accretion processes implied by a decades-wide correlation between QPO frequency and black hole mass, any theory of high frequency QPOs must relate the frequency to more than just the mass and spin.


title: INSPIRE: INvestigating Stellar Population In RElics -- I. Survey presentation and pilot program

abstract: Massive ETGs are thought to form through a two-phase process. At early times, an intense and fast starburst forms blue and disk-dominated galaxies. After quenching, the remaining structures become red, compact and massive, i.e., 'red nuggets'. Then, a time-extended second phase which is dominated by mergers, causes structural evolution and size growth. Given the stochastic nature of mergers, a small fraction of red nuggets survives, without any interaction, massive and compact until today: relic galaxies. Since this fraction depends on the processes dominating the size growth, counting relics at low-z is a valuable way to disentangle between different galaxy evolution models. In this paper, we introduce the INvestigating Stellar Population In RElics (INSPIRE) Project, that aims at spectroscopically confirming and fully characterizing a large number of relics at 0.1<z<0.5. We focus here on the first results based on a pilot program targeting three systems, representative of the whole sample. For these, we extract 1D optical spectra over an aperture comprising ~30 % of the galaxies light, and obtain line-of-sight integrated stellar velocity and velocity dispersion. We also infer the stellar [$\alpha$/Fe] abundance from line-index measurements and mass-weighted age and metallicity from full-spectral fitting with single stellar population models. Two galaxies have large integrated stellar velocity dispersion values, confirming their massive nature. They are populated by stars with super-solar metallicity and [$\alpha$/Fe]. Both objects have formed >80 % of their stellar mass within a short (0.5 - 1.0 Gyrs) initial star formation episode occurred only ~1 Gyr after the Big Bang. The third galaxy has a more extended star formation history and a lower velocity dispersion. Thus we confirm two out of three candidates as relics.


title: SALR: Sharpness-aware Learning Rate Scheduler for Improved Generalization

abstract: In an effort to improve generalization in deep learning and automate the process of learning rate scheduling, we propose SALR: a sharpness-aware learning rate update technique designed to recover flat minimizers. Our method dynamically updates the learning rate of gradient-based optimizers based on the local sharpness of the loss function. This allows optimizers to automatically increase learning rates at sharp valleys to increase the chance of escaping them. We demonstrate the effectiveness of SALR when adopted by various algorithms over a broad range of networks. Our experiments indicate that SALR improves generalization, converges faster, and drives solutions to significantly flatter regions.


title: Shortcuts to Dynamic Polarization

abstract: Dynamic polarization protocols aim to hyperpolarize a spin bath by transferring spin polarization from a well-controlled qubit such as a quantum dot or a color defect. Building on techniques from shortcuts to adiabaticity, we design fast and efficient dynamic polarization protocols in central spin models that apply to dipolarly interacting systems. The protocols maximize the transfer of polarization via bright states at a nearby integrable point, exploit the integrability-breaking terms to reduce the statistical weight on dark states that do not transfer polarization, and realize experimentally accessible local counterdiabatic driving through Floquet-engineering. A master equation treatment suggests that the protocol duration scales linearly with the number of bath spins with a prefactor that can be orders of magnitude smaller than that of unassisted protocols. This work opens new pathways to cool spin baths and extend qubit coherence times for applications in quantum information processing and metrology.


title: Dynamical masses of brightest cluster galaxies II: constraints on the stellar IMF

abstract: We use stellar and dynamical mass profiles, combined with a stellar population analysis, of 32 brightest cluster galaxies (BCGs) at redshifts of 0.05 $\leq z \leq$ 0.30, to place constraints on their stellar Initial Mass Function (IMF). We measure the spatially-resolved stellar population properties of the BCGs, and use it to derive their stellar mass-to-light ratios ($\Upsilon_{\star \rm POP}$). We find young stellar populations ($<$200 Myr) in the centres of 22 per cent of the sample, and constant $\Upsilon_{\star \rm POP}$ within 15 kpc for 60 per cent of the sample. We further use the stellar mass-to-light ratio from the dynamical mass profiles of the BCGs ($\Upsilon_{\star \rm DYN}$), modelled using a Multi-Gaussian Expansion (MGE) and Jeans Anisotropic Method (JAM), with the dark matter contribution explicitly constrained from weak gravitational lensing measurements. We directly compare the stellar mass-to-light ratios derived from the two independent methods, $\Upsilon_{\star \rm POP}$ (assuming some IMF) to $\Upsilon_{\star \rm DYN}$ for the subsample of BCGs with no young stellar populations and constant $\Upsilon_{\star \rm POP}$. We find that for the majority of these BCGs, a Salpeter (or even more bottom-heavy) IMF is needed to reconcile the stellar population and dynamical modelling results although for a small number of BCGs, a Kroupa (or even lighter) IMF is preferred. For those BCGs better fit with a Salpeter IMF, we find that the mass-excess factor against velocity dispersion falls on an extrapolation (towards higher masses) of known literature correlations. We conclude that there is substantial scatter in the IMF amongst the highest-mass galaxies.


title: W-boson production in TMD factorization

abstract: At hadron colliders, the differential cross section for $W$ production can be factorized and it is sensitive transverse momentum dependent distributions (TMD) for low boson transverse momentum. While, often, the corresponding non-perturbative QCD contributions are extrapolated from $Z$ boson production, here we use an existing extraction (based on the code Artemide) of TMD which includes data coming from Drell-Yan and semi-inclusive deep inelastic scattering, to provide checks and predictions for the $W$ case. Including fiducial cuts with different configurations and kinematical power corrections, we consider transverse momentum dependent cross sections within several intervals of the vector boson transverse mass. We perform the same study for the $p_T^{W^-}/p_T^{W^+}$ and $p_T^Z/p_T^W$ distributions. We compare our predictions with recent extractions of these quantities at ATLAS and CMS and results from TeVatron. The results encourage a broader experimental and phenomenological work, and a deeper study of TMD for the $W$ case.


title: Polynomial Chaos-Based Flight Control Optimization with Guaranteed Probabilistic Performance

abstract: A probabilistic performance-oriented controller design approach based on polynomial chaos expansion and optimization is proposed for flight dynamic systems. Unlike robust control techniques where uncertainties are conservatively handled, the proposed method aims at propagating uncertainties effectively and optimizing control parameters to satisfy the probabilistic requirements directly. To achieve this, the sensitivities of violation probabilities are evaluated by the expansion coefficients and the fourth moment method for reliability analysis, after which an optimization that minimizes failure probability under chance constraints is conducted. Afterward, a time-dependent polynomial chaos expansion is performed to validate the results. With this approach, the failure probability is reduced while guaranteeing the closed-loop performance, thus increasing the safety margin. Simulations are carried out on a longitudinal model subject to uncertain parameters to demonstrate the effectiveness of this approach.


title: Adaptive Community Search in Dynamic Networks

abstract: Community search is a well-studied problem which, given a static graph and a query set of vertices, requires to find a cohesive (or dense) subgraph containing the query vertices. In this paper we study the problem of community search in temporal dynamic networks. We adapt to the temporal setting the notion of \emph{network inefficiency} which is based on the pairwise shortest-path distance among all the vertices in a solution. For this purpose we define the notion of \emph{shortest-fastest-path distance}: a linear combination of the temporal and spatial dimensions governed by a user-defined parameter. We thus define the \textsc{Minimum Temporal-Inefficiency Subgraph} problem and show that it is \NPhard. We develop an algorithm which exploits a careful transformation of the temporal network to a static directed and weighted graph, and some recent approximation algorithm for finding the minimum Directed Steiner Tree. We finally generalize our framework to the streaming setting in which new snapshots of the temporal graph keep arriving continuously and our goal is to produce a community search solution for the temporal graph corresponding to a sliding time window.


title: Contrastive Losses and Solution Caching for Predict-and-Optimize

abstract: Many decision-making processes involve solving a combinatorial optimization problem with uncertain input that can be estimated from historic data. Recently, problems in this class have been successfully addressed via end-to-end learning approaches, which rely on solving one optimization problem for each training instance at every epoch. In this context, we provide two distinct contributions. First, we use a Noise Contrastive approach to motivate a family of surrogate loss functions, based on viewing non-optimal solutions as negative examples. Second, we address a major bottleneck of all predict-and-optimize approaches, i.e. the need to frequently recompute optimal solutions at training time. This is done via a solver-agnostic solution caching scheme, and by replacing optimization calls with a lookup in the solution cache. The method is formally based on an inner approximation of the feasible space and, combined with a cache lookup strategy, provides a controllable trade-off between training time and accuracy of the loss approximation. We empirically show that even a very slow growth rate is enough to match the quality of state-of-the-art methods, at a fraction of the computational cost.


title: A quantum version of Pollard's Rho of which Shor's Algorithm is a particular case

abstract: Pollard's Rho is a method for solving the integer factorization problem. The strategy searches for a suitable pair of elements belonging to a sequence of natural numbers that given suitable conditions yields a nontrivial factor. In translating the algorithm to a quantum model of computation, we found its running time reduces to polynomial-time using a certain set of functions for generating the sequence. We also arrived at a new result that characterizes the availability of nontrivial factors in the sequence. The result has led us to the realization that Pollard's Rho is a generalization of Shor's algorithm, a fact easily seen in the light of the new result.


title: Several Populations of Sunspot Group Numbers -- Resolving a Conundrum

abstract: The long-standing disparity between the sunspot number record and the Hoyt and Schatten (1998, H&S) Group Sunspot Number series was initially resolved by the Clette et al. (2014) revision of the sunspot number and the group number series. The revisions resulted in a flurry of dissenting group number series while the revised sunspot number series was generally accepted. Thus, the disparity persisted and confusion reigned, with the choice of solar activity dataset continuing to be a free parameter. A number of workshops and follow-up collaborative efforts by the community have not yet brought clarity. We review here several lines of evidence that validate the original revisions put forward by Clette et al. (2014) and suggest that the perceived conundrum no longer need to delay acceptance and general use of the revised series. We argue that the solar observations constitute several distinct populations with different properties which explain the various discontinuities in the series. This is supported by several proxies: diurnal variation of the geomagnetic field, geomagnetic signature of the strength of the heliomagnetic field, and variation of radionuclides. The Waldmeier effect shows that the sunspot number scale has not changed over the last 270 years and a mistaken scale factor between observers Wolf and Wolfer explains the disparity beginning in 1882 between the sunspot number and the H&S reconstruction of the group number. Observations with replica of 18th century telescopes (with similar optical flaws) validate the early sunspot number scale; while a reconstruction of the group number with monthly resolution (with many more degrees of freedom) validate the size of Solar Cycle 11 given by the revised series that the dissenting series fail to meet.


title: Stochastic generalized Nash equilibrium seeking under partial-decision information

abstract: We consider for the first time a stochastic generalized Nash equilibrium problem, i.e., with expected-value cost functions and joint feasibility constraints, under partial-decision information, meaning that the agents communicate only with some trusted neighbours. We propose several distributed algorithms for network games and aggregative games that we show being special instances of a preconditioned forward-backward splitting method. We prove that the algorithms converge to a generalized Nash equilibrium when the forward operator is restricted cocoercive by using the stochastic approximation scheme with variance reduction to estimate the expected value of the pseudogradient.


title: Selective Spatio-Temporal Aggregation Based Pose Refinement System: Towards Understanding Human Activities in Real-World Videos

abstract: Taking advantage of human pose data for understanding human activities has attracted much attention these days. However, state-of-the-art pose estimators struggle in obtaining high-quality 2D or 3D pose data due to occlusion, truncation and low-resolution in real-world un-annotated videos. Hence, in this work, we propose 1) a Selective Spatio-Temporal Aggregation mechanism, named SST-A, that refines and smooths the keypoint locations extracted by multiple expert pose estimators, 2) an effective weakly-supervised self-training framework which leverages the aggregated poses as pseudo ground-truth instead of handcrafted annotations for real-world pose estimation. Extensive experiments are conducted for evaluating not only the upstream pose refinement but also the downstream action recognition performance on four datasets, Toyota Smarthome, NTU-RGB+D, Charades, and Kinetics-50. We demonstrate that the skeleton data refined by our Pose-Refinement system (SSTA-PRS) is effective at boosting various existing action recognition models, which achieves competitive or state-of-the-art performance.