title: Variational Topic Inference for Chest X-Ray Report Generation

abstract: Automating report generation for medical imaging promises to reduce workload and assist diagnosis in clinical practice. Recent work has shown that deep learning models can successfully caption natural images. However, learning from medical data is challenging due to the diversity and uncertainty inherent in the reports written by different radiologists with discrepant expertise and experience. To tackle these challenges, we propose variational topic inference for automatic report generation. Specifically, we introduce a set of topics as latent variables to guide sentence generation by aligning image and language modalities in a latent space. The topics are inferred in a conditional variational inference framework, with each topic governing the generation of a sentence in the report. Further, we adopt a visual attention module that enables the model to attend to different locations in the image and generate more informative descriptions. We conduct extensive experiments on two benchmarks, namely Indiana U. Chest X-rays and MIMIC-CXR. The results demonstrate that our proposed variational topic inference method can generate novel reports rather than mere copies of reports used in training, while still achieving comparable performance to state-of-the-art methods in terms of standard language generation criteria.


title: Modeling Neutron Star Oscillations in a Fixed General Relativistic Background Including Solid Crust Dynamics

abstract: Measurements of the gravitational-wave signals from neutron star mergers allow scientists to learn about the interior of neutron stars and the properties of dense nuclear matter. The study of neutron star mergers is usually performed with computational fluid dynamics codes, mostly in Eulerian but also in Lagrangian formulation such as smoothed particle hydrodynamics (SPH). Codes include our best knowledge of nuclear matter in the form of an equation of state as well as effects of general relativity (GR). However, one important aspect of neutron stars is usually ignored: the solid nature of their crust. The solid matter in the crust is the strongest material known in nature which could lead to a multitude of possible observational effects that have not been studied in dynamical simulations yet. The crust could change the way a neutron star deforms during a merger, leaving an imprint in the gravitational wave signal. It could even shatter during the inspiral, producing a potentially observable electromagnetic signal. Here, we present a first study of the dynamical behavior of neutron stars with a solid crust and fixed GR background with FleCSPH. FleCSPH is a general-purpose SPH code, developed at Los Alamos National Laboratory. It features an efficient algorithm for gravitational interactions via the Fast Multipole Method, which, together with the implemented nuclear equation of state, makes it appropriate for astrophysical applications. The solid material dynamics is described via the elastic-perfectly plastic model with maximum-strain breaking. Despite its simplicity, the model reproduces the stress-strain curve of crustal material as extracted from microphysical simulations very well. We present first tests of our implementation via simulations of neutron star oscillations and give an outlook on our study of the dynamical behavior of the solid crust in neutron star merger events.


title: Minimizing Safety Interference for Safe and Comfortable Automated Driving with Distributional Reinforcement Learning

abstract: Despite recent advances in reinforcement learning (RL), its application in safety critical domains like autonomous vehicles is still challenging. Although punishing RL agents for risky situations can help to learn safe policies, it may also lead to highly conservative behavior. In this paper, we propose a distributional RL framework in order to learn adaptive policies that can tune their level of conservativity at run-time based on the desired comfort and utility. Using a proactive safety verification approach, the proposed framework can guarantee that actions generated from RL are fail-safe according to the worst-case assumptions. Concurrently, the policy is encouraged to minimize safety interference and generate more comfortable behavior. We trained and evaluated the proposed approach and baseline policies using a high level simulator with a variety of randomized scenarios including several corner cases which rarely happen in reality but are very crucial. In light of our experiments, the behavior of policies learned using distributional RL can be adaptive at run-time and robust to the environment uncertainty. Quantitatively, the learned distributional RL agent drives in average 8 seconds faster than the normal DQN policy and requires 83\% less safety interference compared to the rule-based policy with slightly increasing the average crossing time. We also study sensitivity of the learned policy in environments with higher perception noise and show that our algorithm learns policies that can still drive reliable when the perception noise is two times higher than the training configuration for automated merging and crossing at occluded intersections.


title: Nonparametric Statistical Inference via Metric Distribution Function in Metric Spaces

abstract: Distribution function is essential in statistical inference, and connected with samples to form a directed closed loop by the correspondence theorem in measure theory and the Glivenko-Cantelli and Donsker properties. This connection creates a paradigm for statistical inference. However, existing distribution functions are defined in Euclidean spaces and no longer convenient to use in rapidly evolving data objects of complex nature. It is imperative to develop the concept of distribution function in a more general space to meet emerging needs. Note that the linearity allows us to use hypercubes to define the distribution function in a Euclidean space, but without the linearity in a metric space, we must work with the metric to investigate the probability measure. We introduce a class of metric distribution functions through the metric between random objects and a fixed location in metric spaces. We overcome this challenging step by proving the correspondence theorem and the Glivenko-Cantelli theorem for metric distribution functions in metric spaces that lie the foundation for conducting rational statistical inference for metric space-valued data. Then, we develop homogeneity test and mutual independence test for non-Euclidean random objects, and present comprehensive empirical evidence to support the performance of our proposed methods.


title: On the existence of isoperimetric regions in manifolds with nonnegative Ricci curvature and Euclidean volume growth

abstract: In this paper we provide new existence results for isoperimetric sets of large volume in Riemannian manifolds with nonnegative Ricci curvature and Euclidean volume growth. We find sufficient conditions for their existence in terms of the geometry at infinity of the manifold. As a byproduct we show that isoperimetric sets of big volume always exist on manifolds with nonnegative sectional curvature and Euclidean volume growth. Our method combines an asymptotic mass decomposition result for minimizing sequences, a sharp isoperimetric inequality on nonsmooth spaces, and the concavity property of the isoperimetric profile. The latter is new in the generality of noncollapsed manifolds with Ricci curvature bounded below.


title: Instability of particle inertial migration in shear flow

abstract: In a shear flow particles migrate to their equilibrium positions in the microchannel. Here we demonstrate theoretically that if particles are inertial, this equilibrium can become unstable due to the Saffman lift force. We derive an expression for the critical Stokes number that determines the onset of instable equilibrium. We also present results of lattice Boltzmann simulations for spherical particles and prolate spheroids to validate the analysis. Our work provides a simple explanation of several unusual phenomena observed in earlier experiments and computer simulations, but never interpreted before in terms of the unstable equilibrium.


title: Biharmonic nonlinear scalar field equations

abstract: We prove a Brezis-Kato-type regularity result for weak solutions to the biharmonic nonlinear equation $$ \Delta^2 u = g(x,u)\qquad\text{in }\mathbb{R}^N$$ with a Carath\'eodory function $g:\mathbb{R}^N\times \mathbb{R}\to \mathbb{R}$, $N\geq 5$. The regularity results give rise to the existence of ground state solutions provided that $g$ has a general subcritical growth at infinity. We also conceive a new biharmonic logarithmic Sobolev inequality $$ \int_{\mathbb{R}^N}|u|^2\log |u|\,dx\leq\frac{N}{8}\log \Big(C\int_{\mathbb{R}^N}|\Delta u|^2\,dx \Big), \quad\text{for } u \in H^2(\mathbb{R}^N), \; \int_{\mathbb{R}^N}u^2\,dx = 1, $$ for a constant $0<C< \big(\frac{2}{\pi e N}\big)^2$ and we characterize its minimizers.


title: Quantum noise can enhance algorithmic cooling

abstract: Heat-Bath Algorithmic Cooling techniques (HBAC) are techniques that are used to purify a target element in a quantum system. These methods compress and transfer entropy away from the target element into auxiliary elements of the system. The performance of Algorithmic Cooling has been investigated under ideal noiseless conditions. However, realistic implementations are imperfect and for practical purposes, noise should be taken into account. Here we analyze Heat-Bath Algorithmic Cooling techniques under realistic noise models. Surprisingly, we find that noise can in some cases enhance the performance and improve the cooling limit of Heat-Bath Algorithmic Cooling techniques. We numerically simulate the noisy algorithmic cooling for the two optimal strategies, the Partner Pairing, and the Two-sort algorithms. We find that for both of them, in the presence of the generalized amplitude damping noise, the process converges and the asymptotic purity can be higher than the noiseless process. This opens up new avenues for increasing the purity beyond the heat-bath algorithmic cooling.


title: A unified framework for bandit multiple testing

abstract: In bandit multiple hypothesis testing, each arm corresponds to a different null hypothesis that we wish to test, and the goal is to design adaptive algorithms that correctly identify large set of interesting arms (true discoveries), while only mistakenly identifying a few uninteresting ones (false discoveries). One common metric in non-bandit multiple testing is the false discovery rate (FDR). We propose a unified, modular framework for bandit FDR control that emphasizes the decoupling of exploration and summarization of evidence. We utilize the powerful martingale-based concept of "e-processes" to ensure FDR control for arbitrary composite nulls, exploration rules and stopping times in generic problem settings. In particular, valid FDR control holds even if the reward distributions of the arms could be dependent, multiple arms may be queried simultaneously, and multiple (cooperating or competing) agents may be querying arms, covering combinatorial semi-bandit type settings as well. Prior work has considered in great detail the setting where each arm's reward distribution is independent and sub-Gaussian, and a single arm is queried at each step. Our framework recovers matching sample complexity guarantees in this special case, and performs comparably or better in practice. For other settings, sample complexities will depend on the finer details of the problem (composite nulls being tested, exploration algorithm, data dependence structure, stopping rule) and we do not explore these; our contribution is to show that the FDR guarantee is clean and entirely agnostic to these details.


title: $\mathfrak{sl}_2$-Harish-Chandra modules for $\mathfrak{sl}_2 \ltimes L(4)$

abstract: We use analogues of Enright's and Arkhipov's functors to determine the quiver and relations for a category of $\mathfrak{sl}_2 \ltimes L(4)$-modules which are locally finite (and with finite multiplicities) over $\mathfrak{sl}_2$. We also outline serious obstacles to extend our result to $\mathfrak{sl}_2 \ltimes L(k)$, for $k>4$.


title: Phase transitions in growing groups: How cohesion can persist

abstract: The cohesion of a social group is the group's tendency to remain united. It has important implications for the stability and survival of social organizations, such as political parties, research teams, or online groups. Empirical studies suggest that cohesion is affected by both the admission process of new members and the group size. Yet, a theoretical understanding of their interplay is still lacking. To this end, we propose a model where a group grows by a noisy admission process of new members who can be of two different types. Cohesion is defined in this framework as the fraction of members of the same type and the noise in the admission process represents the level of randomness in the evaluation of new candidates. The model can reproduce the empirically reported decrease of cohesion with the group size. When the admission of new candidates involves the decision of only one group member, the group growth causes a loss of cohesion even for infinitesimal levels of noise. However, when admissions require a consensus of several group members, there is a critical noise level below which the growing group remains cohesive. The nature of the transition between the cohesive and non-cohesive phases depends on the model parameters and forms a rich structure reminiscent of critical phenomena in ferromagnetic materials.


title: A sprinkling of hybrid-signature discrete spacetimes in real-world networks

abstract: Many real-world networks are embedded into a space or spacetime. The embedding space(time) constrains the properties of these real-world networks. We use the scale-dependent spectral dimension as a tool to probe whether real-world networks encode information on the dimensionality of the embedding space. We find that spacetime networks which are inspired by quantum gravity and based on a hybrid signature, following the Minkowski metric at small spatial distance and the Euclidean metric at large spatial distance, provide a template relevant for real-world networks of small-world type, including a representation of the internet's architecture and biological neural networks.


title: Column convex matrices, $G$-cyclic orders, and flow polytopes

abstract: We study polytopes defined by inequalities of the form $\sum_{i\in I} z_{i}\leq 1$ for $I\subseteq [d]$ and nonnegative $z_i$ where the inequalities can be reordered into a matrix inequality involving a column-convex $\{0,1\}$-matrix. These generalize polytopes studied by Stanley, and the consecutive coordinate polytopes of Ayyer, Josuat-Verg\`es, and Ramassamy. We prove an integral equivalence between these polytopes and flow polytopes of directed acyclic graphs $G$ with a Hamiltonian path, which we call spinal graphs. We show that the volume of these flow polytopes is the number of extensions of a set of partial cyclic orders defined by the graph $G$. As a special case we recover results on volumes of consecutive coordinate polytopes. We study the combinatorics of $k$-Euler numbers, which are generalizations of the classical Euler numbers, and which arise as volumes of flow polytopes of a special family of spinal graphs. We show that their refinements, Ramassamy's $k$-Entringer numbers, can be realized as values of a Kostant partition function, satisfy a family of generalized boustrophedon recurrences, and are log concave along root directions. Finally, via our main integral equivalence and the known formula for the $h^*$-polynomial of consecutive coordinate polytopes, we give a combinatorial formula for the $h^*$-polynomial of flow polytopes of non-nested spinal graphs. For spinal graphs in general, we present a conjecture on upper and lower bounds for their $h^*$-polynomial.


title: Microstructure manipulation by laser-surface remelting of a full-Heusler compound to enhance thermoelectric properties

abstract: There is an increasing reckoning that the thermoelectric performance of a material is dependent on its microstructure. However, the microstructure-properties relationship often remains elusive, in part due to the complexity of the hierarchy and scales of features that influence transport properties. Here, we focus on the promising Heusler-Fe2VAl compound. We directly correlate microstructure and local properties, using advanced scanning electron microscopy methods including in-situ four-point-probe technique for electron transport measurements. The local thermal conductivity is investigated by scanning thermal microscopy. Finally, atom probe tomography provides near-atomic scale compositional analysis. To locally manipulate the microstructure, we use laser surface remelting. The rapid quenching creates a complex microstructure with a high density of dislocations and small, elongated grains. We hence showcase that laser surface remelting can be employed to manipulate the microstructure to reduce the thermal conductivity and electrical resistivity, leading to a demonstrated enhancement of the thermoelectric performance at room temperature.


title: Phenalenyls as tunable excellent molecular conductors and switchable spin filters

abstract: We demonstrate a new class of molecules for exceptional performance in molecular electronics and spintronics. Phenalenyl-based radicals are stable radicals whose electronic properties can be tuned readily by heteroatom substitution. We employ density functional theory-based non-equilibrium Green's function (NEGF-DFT) calculations to show that this class of molecules exhibits tunable spin- and charge-transport properties in single molecule junctions. Our simulations identify the design principles and interplay between unusually high conductivity and strong spin-filtering: Paired with moderate conductance ($10^{-3} G_0$), two of the four radicals investigated exhibit above 80% spin filter efficiency that is moreover tunable via bias control. Conversely, two radicals that make modest spin filters are excellent conductors with a low bias conductance reaching $0.48 G_0$. This is made possible by the unusually good alignment of the singly occupied or unoccupied molecular orbital with the Fermi level of the electrodes, overcoming the limitations of Fermi level pinning that typically plague molecular electronics. We show that this interplay between excellent conductance and high spin-filter efficiency is determined by the energy alignment between the singly (un)occupied molecular orbital and the Fermi level of the electrodes, and that for phenalenyls this can be readily controlled with judicious heteroatom substitution.


title: Transient anomalous diffusion in run-and-tumble dynamics

abstract: We study the stochastic dynamics of a particle with two distinct motility states. Each one is characterized by two parameters: one represents the average speed and the other represents the persistence quantifying the tendency to maintain the current direction of motion. We consider a run-and-tumble process, which is a combination of an active fast motility mode (persistent motion) and a passive slow mode (diffusion). Assuming stochastic transitions between the two motility states, we derive an analytical expression for the time evolution of the mean square displacement. The interplay of the key parameters and the initial conditions as for instance the probability of initially starting in the run or tumble state leads to a variety of transient regimes of anomalous transport on different time scales before approaching the asymptotic diffusive dynamics. We estimate the crossover time to the long-term diffusive regime and prove that the asymptotic diffusion constant is independent of initially starting in the run or tumble state.


title: DynaDog+T: A Parametric Animal Model for Synthetic Canine Image Generation

abstract: Synthetic data is becoming increasingly common for training computer vision models for a variety of tasks. Notably, such data has been applied in tasks related to humans such as 3D pose estimation where data is either difficult to create or obtain in realistic settings. Comparatively, there has been less work into synthetic animal data and it's uses for training models. Consequently, we introduce a parametric canine model, DynaDog+T, for generating synthetic canine images and data which we use for a common computer vision task, binary segmentation, which would otherwise be difficult due to the lack of available data.


title: A Light-weight Deep Human Activity Recognition Algorithm Using Multi-knowledge Distillation

abstract: Inertial sensor-based human activity recognition (HAR) is the base of many human-centered mobile applications. Deep learning-based fine-grained HAR models enable accurate classification in various complex application scenarios. Nevertheless, the large storage and computational overhead of the existing fine-grained deep HAR models hinder their widespread deployment on resource-limited platforms. Inspired by the knowledge distillation's reasonable model compression and potential performance improvement capability, we design a multi-level HAR modeling pipeline called Stage-Logits-Memory Distillation (SMLDist) based on the widely-used MobileNet. By paying more attention to the frequency-related features during the distillation process, the SMLDist improves the HAR classification robustness of the students. We also propose an auto-search mechanism in the heterogeneous classifiers to improve classification performance. Extensive simulation results demonstrate that SMLDist outperforms various state-of-the-art HAR frameworks in accuracy and F1 macro score. The practical evaluation of the Jetson Xavier AGX platform shows that the SMLDist model is both energy-efficient and computation-efficient. These experiments validate the reasonable balance between the robustness and efficiency of the proposed model. The comparative experiments of knowledge distillation on six public datasets also demonstrate that the SMLDist outperforms other advanced knowledge distillation methods of students' performance, which verifies the good generalization of the SMLDist on other classification tasks, including but not limited to HAR.


title: Negative time splitting is stable

abstract: For high order (than two) in time operator-splitting methods applied to dissipative systems, a folklore issue is the appearance of negative-time/backward-in-time linear evolution operators such as backward heat operators interwoven with nonlinear evolutions. The stability of such methods has remained an ensuing difficult open problem. In this work we consider a fourth order operator splitting discretization for the Allen-Cahn equation which is a prototypical high order splitting method with negative time-stepping, i.e. backward in time integration for the linear parabolic part. We introduce a new theoretical framework and prove uniform energy stability and higher Sobolev stability. This is the first strong stability result for negative time stepping operator-splitting methods.


title: Unsupervised Anomaly Instance Segmentation for Baggage Threat Recognition

abstract: Identifying potential threats concealed within the baggage is of prime concern for the security staff. Many researchers have developed frameworks that can detect baggage threats from X-ray scans. However, to the best of our knowledge, all of these frameworks require extensive training on large-scale and well-annotated datasets, which are hard to procure in the real world. This paper presents a novel unsupervised anomaly instance segmentation framework that recognizes baggage threats, in X-ray scans, as anomalies without requiring any ground truth labels. Furthermore, thanks to its stylization capacity, the framework is trained only once, and at the inference stage, it detects and extracts contraband items regardless of their scanner specifications. Our one-staged approach initially learns to reconstruct normal baggage content via an encoder-decoder network utilizing a proposed stylization loss function. The model subsequently identifies the abnormal regions by analyzing the disparities within the original and the reconstructed scans. The anomalous regions are then clustered and post-processed to fit a bounding box for their localization. In addition, an optional classifier can also be appended with the proposed framework to recognize the categories of these extracted anomalies. A thorough evaluation of the proposed system on four public baggage X-ray datasets, without any re-training, demonstrates that it achieves competitive performance as compared to the conventional fully supervised methods (i.e., the mean average precision score of 0.7941 on SIXray, 0.8591 on GDXray, 0.7483 on OPIXray, and 0.5439 on COMPASS-XP dataset) while outperforming state-of-the-art semi-supervised and unsupervised baggage threat detection frameworks by 67.37%, 32.32%, 47.19%, and 45.81% in terms of F1 score across SIXray, GDXray, OPIXray, and COMPASS-XP datasets, respectively.


title: Tournesol: A quest for a large, secure and trustworthy database of reliable human judgments

abstract: Today's large-scale algorithms have become immensely influential, as they recommend and moderate the content that billions of humans are exposed to on a daily basis. They are the de-facto regulators of our societies' information diet, from shaping opinions on public health to organizing groups for social movements. This creates serious concerns, but also great opportunities to promote quality information. Addressing the concerns and seizing the opportunities is a challenging, enormous and fabulous endeavor, as intuitively appealing ideas often come with unwanted {\it side effects}, and as it requires us to think about what we deeply prefer. Understanding how today's large-scale algorithms are built is critical to determine what interventions will be most effective. Given that these algorithms rely heavily on {\it machine learning}, we make the following key observation: \emph{any algorithm trained on uncontrolled data must not be trusted}. Indeed, a malicious entity could take control over the data, poison it with dangerously manipulative fabricated inputs, and thereby make the trained algorithm extremely unsafe. We thus argue that the first step towards safe and ethical large-scale algorithms must be the collection of a large, secure and trustworthy dataset of reliable human judgments. To achieve this, we introduce \emph{Tournesol}, an open source platform available at \url{https://tournesol.app}. Tournesol aims to collect a large database of human judgments on what algorithms ought to widely recommend (and what they ought to stop widely recommending). We outline the structure of the Tournesol database, the key features of the Tournesol platform and the main hurdles that must be overcome to make it a successful project. Most importantly, we argue that, if successful, Tournesol may then serve as the essential foundation for any safe and ethical large-scale algorithm.


title: Towards Natural Brain-Machine Interaction using Endogenous Potentials based on Deep Neural Networks

abstract: Human-robot collaboration has the potential to maximize the efficiency of the operation of autonomous robots. Brain-machine interface (BMI) would be a desirable technology to collaborate with robots since the intention or state of users can be translated from the neural activities. However, the electroencephalogram (EEG), which is one of the most popularly used non-invasive BMI modalities, has low accuracy and a limited degree of freedom (DoF) due to a low signal-to-noise ratio. Thus, improving the performance of multi-class EEG classification is crucial to develop more flexible BMI-based human-robot collaboration. In this study, we investigated the possibility for inter-paradigm classification of multiple endogenous BMI paradigms, such as motor imagery (MI), visual imagery (VI), and speech imagery (SI), to enhance the limited DoF while maintaining robust accuracy. We conducted the statistical and neurophysiological analyses on MI, VI, and SI and classified three paradigms using the proposed temporal information-based neural network (TINN). We confirmed that statistically significant features could be extracted on different brain regions when classifying three endogenous paradigms. Moreover, our proposed TINN showed the highest accuracy of 0.93 compared to the previous methods for classifying three different types of mental imagery tasks (MI, VI, and SI).


title: Mixed reality technologies for people with dementia: Participatory evaluation methods

abstract: Technologies can support people with early onset dementia (PwD) to aid them in Instrumental Activities of Daily Living (IADL). The integration of physical and virtual realities in Mixed reality technologies (MRTs) could provide scalable and deployable options in developing prompting systems for PwD. However, these emerging technologies should be evaluated and investigated for feasibility with PwD. Survey instruments such as SUS, SUPR-Q and ethnographic methods that are used for usability evaluation of websites and apps are used to evaluate and study MRTs. However, PwD who cannot provide written and verbal feedback are unable to participate in these studies. MRTs also present challenges due to different ways in which physical and virtual realities could be coupled. Experiences with physical, virtual and the couplings between the two are to be considered in evaluating MRTs.


title: The Empirical Metamathematics of Euclid and Beyond

abstract: As an example of empirical metamathematics, we present a detailed study of the dependency structure of the 465 theorems in Euclid's Elements, finding empirical signatures of concepts such as the power of a theorem. We apply similar methods to a more exhaustive study of possible theorems in logic, as well as to the analysis of dependency structures in projects to formalize modern pure mathematics. We discuss the process of identifying both intrinsic features of metamathematical space, and features of its exploration through the historical progress of mathematics.


title: An Overview of Machine Learning-aided Optical Performance Monitoring Techniques

abstract: Future communication systems are faced with increased demand for high capacity, dynamic bandwidth, reliability and heterogeneous traffic. To meet these requirements, networks have become more complex and thus require new design methods and monitoring techniques, as they evolve towards becoming autonomous. Machine learning has come to the forefront in recent years as a promising technology to aid in this evolution. Optical fiber communications can already provide the high capacity required for most applications, however, there is a need for increased scalability and adaptability to changing user demands and link conditions. Accurate performance monitoring is an integral part of this transformation. In this paper we review optical performance monitoring techniques where machine learning algorithms have been applied. Moreover, since alot of OPM depends on knowledge of the signal type, we also review work for modulation format recognition and bitrate identification. We additionally briefly introduce a neuromorphic approach to OPM as an emerging technique that has only recently been applied to this domain.


title: Computing near-optimal Value-at-Risk portfolios using Integer Programming techniques

abstract: Value-at-Risk (VaR) is one of the main regulatory tools used for risk management purposes. However, it is difficult to compute optimal VaR portfolios; that is, an optimal risk-reward portfolio allocation using VaR as the risk measure. This is due to VaR being non-convex and of combinatorial nature. In particular, it is well known that the VaR portfolio problem can be formulated as a mixed integer linear program (MILP) that is difficult to solve with current MILP solvers for medium to large-scale instances of the problem. Here, we present an algorithm to compute near-optimal VaR portfolios that takes advantage of this MILP formulation and provides a guarantee of the solution's near-optimality. As a byproduct, we obtain an algorithm to compute tight lower bounds on the VaR portfolio problem that outperform related algorithms proposed in the literature for this purpose. The near-optimality guarantee provided by the proposed algorithm is obtained thanks to the relation between minimum risk portfolios satisfying a reward benchmark and the corresponding maximum reward portfolios satisfying a risk benchmark. These alternate formulations of the portfolio allocation problem have been frequently studied in the case of convex risk measures and concave reward functions. Here, this relationship is considered for general risk measures and reward functions. To illustrate the efficiency of the presented algorithm, numerical results are presented using historical asset returns from the US financial market.


title: Predicting the near-wall region of turbulence through convolutional neural networks

abstract: Modelling the near-wall region of wall-bounded turbulent flows is a widespread practice to reduce the computational cost of large-eddy simulations (LESs) at high Reynolds number. As a first step towards a data-driven wall-model, a neural-network-based approach to predict the near-wall behaviour in a turbulent open channel flow is investigated. The fully-convolutional network (FCN) proposed by Guastoni et al. [preprint, arXiv:2006.12483] is trained to predict the two-dimensional velocity-fluctuation fields at $y^{+}_{\rm target}$, using the sampled fluctuations in wall-parallel planes located farther from the wall, at $y^{+}_{\rm input}$. The data for training and testing is obtained from a direct numerical simulation (DNS) at friction Reynolds numbers $Re_{\tau} = 180$ and $550$. The turbulent velocity-fluctuation fields are sampled at various wall-normal locations, i.e. $y^{+} = \{15, 30, 50, 80, 100, 120, 150\}$. At $Re_{\tau}=550$, the FCN can take advantage of the self-similarity in the logarithmic region of the flow and predict the velocity-fluctuation fields at $y^{+} = 50$ using the velocity-fluctuation fields at $y^{+} = 100$ as input with less than 20% error in prediction of streamwise-fluctuations intensity. These results are an encouraging starting point to develop a neural-network based approach for modelling turbulence at the wall in numerical simulations.


title: Utilizing a digital swarm intelligence platform to improve consensus among radiologists and exploring its applications

abstract: Radiologists today play a key role in making diagnostic decisions and labeling images for training A.I. algorithms. Low inter-reader reliability (IRR) can be seen between experts when interpreting challenging cases. While teams-based decisions are known to outperform individual decisions, inter-personal biases often creep up in group interactions which limit non-dominant participants from expressing true opinions. To overcome the dual problems of low consensus and inter-personal bias, we explored a solution modeled on biological swarms of bees. Two separate cohorts; three radiologists and five radiology residents collaborated on a digital swarm platform in real time and in a blinded fashion, grading meniscal lesions on knee MR exams. These consensus votes were benchmarked against clinical (arthroscopy) and radiological (senior-most radiologist) observations. The IRR of the consensus votes was compared to the IRR of the majority and most confident votes of the two cohorts.The radiologist cohort saw an improvement of 23% in IRR of swarm votes over majority vote. Similar improvement of 23% in IRR in 3-resident swarm votes over majority vote, was observed. The 5-resident swarm had an even higher improvement of 32% in IRR over majority vote. Swarm consensus votes also improved specificity by up to 50%. The swarm consensus votes outperformed individual and majority vote decisions in both the radiologists and resident cohorts. The 5-resident swarm had higher IRR than 3-resident swarm indicating positive effect of increased swarm size. The attending and resident swarms also outperformed predictions from a state-of-the-art A.I. algorithm. Utilizing a digital swarm platform improved agreement and allows participants to express judgement free intent, resulting in superior clinical performance and robust A.I. training labels.


title: Probabilistic analysis of solar cell optical performance using Gaussian processes

abstract: This work investigates application of different machine learning based prediction methodologies to estimate the performance of silicon based textured cells. Concept of confidence bound regions is introduced and advantages of this concept are discussed in detail. Results show that reflection profiles and depth dependent optical generation profiles can be accurately estimated using Gaussian processes with exact knowledge of uncertainty in the prediction values.It is also shown that cell design parameters can be estimated for a desired performance metric.


title: Mutation is all you need

abstract: Neural architecture search (NAS) promises to make deep learning accessible to non-experts by automating architecture engineering of deep neural networks. BANANAS is one state-of-the-art NAS method that is embedded within the Bayesian optimization framework. Recent experimental findings have demonstrated the strong performance of BANANAS on the NAS-Bench-101 benchmark being determined by its path encoding and not its choice of surrogate model. We present experimental results suggesting that the performance of BANANAS on the NAS-Bench-301 benchmark is determined by its acquisition function optimizer, which minimally mutates the incumbent.


title: Framework for A Personalized Intelligent Assistant to Elderly People for Activities of Daily Living

abstract: The increasing population of elderly people is associated with the need to meet their increasing requirements and to provide solutions that can improve their quality of life in a smart home. In addition to fear and anxiety towards interfacing with systems; cognitive disabilities, weakened memory, disorganized behavior and even physical limitations are some of the problems that elderly people tend to face with increasing age. The essence of providing technology-based solutions to address these needs of elderly people and to create smart and assisted living spaces for the elderly; lies in developing systems that can adapt by addressing their diversity and can augment their performances in the context of their day to day goals. Therefore, this work proposes a framework for development of a Personalized Intelligent Assistant to help elderly people perform Activities of Daily Living (ADLs) in a smart and connected Internet of Things (IoT) based environment. This Personalized Intelligent Assistant can analyze different tasks performed by the user and recommend activities by considering their daily routine, current affective state and the underlining user experience. To uphold the efficacy of this proposed framework, it has been tested on a couple of datasets for modelling an average user and a specific user respectively. The results presented show that the model achieves a performance accuracy of 73.12% when modelling a specific user, which is considerably higher than its performance while modelling an average user, this upholds the relevance for development and implementation of this proposed framework.


title: Inferring the Structure of Ordinary Differential Equations

abstract: Understanding physical phenomena oftentimes means understanding the underlying dynamical system that governs observational measurements. While accurate prediction can be achieved with black box systems, they often lack interpretability and are less amenable for further expert investigation. Alternatively, the dynamics can be analysed via symbolic regression. In this paper, we extend the approach by (Udrescu et al., 2020) called AIFeynman to the dynamic setting to perform symbolic regression on ODE systems based on observations from the resulting trajectories. We compare this extension to state-of-the-art approaches for symbolic regression empirically on several dynamical systems for which the ground truth equations of increasing complexity are available. Although the proposed approach performs best on this benchmark, we observed difficulties of all the compared symbolic regression approaches on more complex systems, such as Cart-Pole.


title: You Do Not Need a Bigger Boat: Recommendations at Reasonable Scale in a (Mostly) Serverless and Open Stack

abstract: We argue that immature data pipelines are preventing a large portion of industry practitioners from leveraging the latest research on recommender systems. We propose our template data stack for machine learning at "reasonable scale", and show how many challenges are solved by embracing a serverless paradigm. Leveraging our experience, we detail how modern open source can provide a pipeline processing terabytes of data with limited infrastructure work.


title: Traversing the FFT Computation Tree for Dimension-Independent Sparse Fourier Transforms

abstract: We consider the well-studied Sparse Fourier transform problem, where one aims to quickly recover an approximately Fourier $k$-sparse vector $\widehat{x} \in \mathbb{C}^{n^d}$ from observing its time domain representation $x$. In the exact $k$-sparse case the best known dimension-independent algorithm runs in near cubic time in $k$ and it is unclear whether a faster algorithm like in low dimensions is possible. Beyond that, all known approaches either suffer from an exponential dependence on the dimension $d$ or can only tolerate a trivial amount of noise. This is in sharp contrast with the classical FFT of Cooley and Tukey, which is stable and completely insensitive to the dimension of the input vector: its runtime is $O(N\log N)$ in any dimension $d$ for $N=n^d$. Our work aims to address the above issues. First, we provide a translation/reduction of the exactly $k$-sparse FT problem to a concrete tree exploration task which asks to recover $k$ leaves in a full binary tree under certain exploration rules. Subsequently, we provide (a) an almost quadratic in $k$ time algorithm for this task, and (b) evidence that a strongly subquadratic time for Sparse FT via this approach is likely impossible. We achieve the latter by proving a conditional quadratic time lower bound on sparse polynomial multipoint evaluation (the classical non-equispaced sparse FT) which is a core routine in the aforementioned translation. Thus, our results combined can be viewed as an almost complete understanding of this approach, which is the only known approach that yields sublinear time dimension-independent Sparse FT algorithms. Subsequently, we provide a robustification of our algorithm, yielding a robust cubic time algorithm under bounded $\ell_2$ noise. This requires proving new structural properties of the recently introduced adaptive aliasing filters combined with a variety of new techniques and ideas.


title: Article Processing Charges based publications: to which extent the price explains scientific impact?

abstract: The present study aims to analyze relationship between Citations Normalized Score (NCS) of scientific publications and Article Processing Charges (APCs) amounts of Gold Open access publications. To do so, we use APCs information provided by OpenAPC database and citations scores of publications in the Web of Science database (WoS). Database covers the period from 2006 to 2019 with 83,752 articles published in 4751 journals belonging to 267 distinct publishers. Results show that contrary to this belief, paying dearly does not necessarily increase the impact of publications. First, large publishers with high impact are not the most expensive. Second, publishers with the highest APCs are not necessarily the best in terms of impact. Correlation between APCs and impact is moderate. Otherwise, in the econometric analysis we have shown that publication quality is strongly determined by journal quality in which it is published. International collaboration also plays an important role in citations score.


title: A multi-schematic classifier-independent oversampling approach for imbalanced datasets

abstract: Over 85 oversampling algorithms, mostly extensions of the SMOTE algorithm, have been built over the past two decades, to solve the problem of imbalanced datasets. However, it has been evident from previous studies that different oversampling algorithms have different degrees of efficiency with different classifiers. With numerous algorithms available, it is difficult to decide on an oversampling algorithm for a chosen classifier. Here, we overcome this problem with a multi-schematic and classifier-independent oversampling approach: ProWRAS(Proximity Weighted Random Affine Shadowsampling). ProWRAS integrates the Localized Random Affine Shadowsampling (LoRAS)algorithm and the Proximity Weighted Synthetic oversampling (ProWSyn) algorithm. By controlling the variance of the synthetic samples, as well as a proximity-weighted clustering system of the minority classdata, the ProWRAS algorithm improves performance, compared to algorithms that generate synthetic samples through modelling high dimensional convex spaces of the minority class. ProWRAS has four oversampling schemes, each of which has its unique way to model the variance of the generated data. Most importantly, the performance of ProWRAS with proper choice of oversampling schemes, is independent of the classifier used. We have benchmarked our newly developed ProWRAS algorithm against five sate-of-the-art oversampling models and four different classifiers on 20 publicly available datasets. ProWRAS outperforms other oversampling algorithms in a statistically significant way, in terms of both F1-score and Kappa-score. Moreover, we have introduced a novel measure for classifier independence I-score, and showed quantitatively that ProWRAS performs better, independent of the classifier used. In practice, ProWRAS customizes synthetic sample generation according to a classifier of choice and thereby reduces benchmarking efforts.


title: The Completion of Covariance Kernels

abstract: We consider the problem of positive-semidefinite continuation: extending a partially specified covariance kernel from a subdomain $\Omega$ of a rectangular domain $I\times I$ to a covariance kernel on the entire domain $I\times I$. For a broad class of domains $\Omega$ called \emph{serrated domains}, we are able to present a complete theory. Namely, we demonstrate that a canonical completion always exists and can be explicitly constructed. We characterise all possible completions as suitable perturbations of the canonical completion, and determine necessary and sufficient conditions for a unique completion to exist. We interpret the canonical completion via the graphical model structure it induces on the associated Gaussian process. Furthermore, we show how the estimation of the canonical completion reduces to the solution of a system of linear statistical inverse problems in the space of Hilbert-Schmidt operators, and derive rates of convergence. We conclude by providing extensions of our theory to more general forms of domains, and by demonstrating how our results can be used to construct covariance estimators from sample path fragments of the associated stochastic process. Our results are illustrated numerically by way of a simulation study and a real example.


title: On abstract homomorphisms of some special unitary groups

abstract: We analyze the abstract representations of the groups of rational points of even-dimensional quasi-split special unitary groups associated with quadratic field extensions. We show that, under certain assumptions, such representations have a standard description, as predicted by a conjecture of Borel and Tits. Our method extends the approach introduced by the first author to study abstract representations of Chevalley groups and is based on the construction and analysis of a certain algebraic ring associated to a given abstract representation.


title: Copula-Based Normalizing Flows

abstract: Normalizing flows, which learn a distribution by transforming the data to samples from a Gaussian base distribution, have proven powerful density approximations. But their expressive power is limited by this choice of the base distribution. We, therefore, propose to generalize the base distribution to a more elaborate copula distribution to capture the properties of the target distribution more accurately. In a first empirical analysis, we demonstrate that this replacement can dramatically improve the vanilla normalizing flows in terms of flexibility, stability, and effectivity for heavy-tailed data. Our results suggest that the improvements are related to an increased local Lipschitz-stability of the learned flow.


title: Next-to-leading power two-loop soft functions for the Drell-Yan process at threshold

abstract: We calculate the generalized soft functions at $\mathcal{O}(\alpha_s^2)$ at next-to-leading power accuracy for the Drell-Yan process at threshold. The operator definitions of these objects contain explicit insertions of soft gauge and matter fields, giving rise to a dependence on additional convolution variables with respect to the leading power result. These soft functions constitute the last missing ingredient for the validation of the bare factorization theorem to NNLO accuracy. We carry out the calculations by reducing the soft squared amplitudes into a set of canonical master integrals and we employ the method of differential equations to evaluate them. We retain the exact $d$-dimensional dependence of the convolution variables at the integration boundaries in order to regulate the fixed-order convolution integrals. After combining our soft functions with the relevant collinear functions, we perform checks of the results at the cross-section level against the literature and expansion-by-regions calculations, at NNLO and partly at N$^3$LO, finding agreement.


title: Exceptional complete intersection maps of local rings

abstract: This work concerns surjective maps $\varphi\colon R\to S$ of commutative noetherian local rings with kernel generated by a regular sequence that is part of a minimal generating set for the maximal ideal of $R$. The main result provides criteria for detecting such exceptional complete intersection maps in terms of the lattices of thick subcategories of the derived category of complexes of finite length homology. A key input is a characterization of such maps in terms of the truncated Atiyah class of $\varphi$.


title: Using Cyber Digital Twins for Automated Automotive Cybersecurity Testing

abstract: Cybersecurity testing of automotive systems has become a practical necessity, with the wide adoption of advanced driving assistance functions and vehicular communications. These functionalities require the integration of information and communication technologies that not only allow for a plethora of on-the-fly configuration abilities, but also provide a huge surface for attacks. Theses circumstances have also been recognized by standardization and regulation bodies, making the need for not only proper cybersecurity engineering but also proving the effectiveness of security measures by verification and validation through testing also a formal necessity. In order to keep pace with the rapidly growing demand of neutral-party security testing of vehicular systems, novel approaches are needed. This paper therefore presents a methodology to create and execute cybersecurity test cases on the fly in a black box setting by using pattern matching-based binary analysis and translation mechanisms to formal attack descriptions as well as model-checking techniques. The approach is intended to generate meaningful attack vectors on a system with next-to-zero a priori knowledge.


title: DiRe Committee : Diversity and Representation Constraints in Multiwinner Elections

abstract: The study of fairness in multiwinner elections focuses on settings where candidates have attributes. However, voters may also be divided into predefined populations under one or more attributes (e.g., "California" and "Illinois" populations under the "state" attribute), which may be same or different from candidate attributes. The models that focus on candidate attributes alone may systematically under-represent smaller voter populations. Hence, we develop a model, DiRe Committee WinnerDetermination (DRCWD), which delineates candidate and voter attributes to select a committee by specifying diversity and representation constraints and a voting rule. We analyze its computational complexity, inapproximability, and parameterized complexity. We develop a heuristic-based algorithm, which finds the winning DiRe committee in under two minutes on 63% of the instances of synthetic datasets and on 100% of instances of real-world datasets. We present an empirical analysis of the running time, feasibility, and utility traded-off. Overall, DRCWD motivates that a study of multiwinner elections should consider both its actors, namely candidates and voters, as candidate-specific models can unknowingly harm voter populations, and vice versa. Additionally, even when the attributes of candidates and voters coincide, it is important to treat them separately as diversity does not imply representation and vice versa. This is to say that having a female candidate on the committee, for example, is different from having a candidate on the committee who is preferred by the female voters, and who themselves may or may not be female.


title: One Thousand and One Stories: A Large-Scale Survey of Software Refactoring

abstract: Despite the availability of refactoring as a feature in popular IDEs, recent studies revealed that developers are reluctant to use them, and still prefer the manual refactoring of their code. At JetBrains, our goal is to fully support refactoring features in IntelliJ-based IDEs and improve their adoption in practice. Therefore, we start by raising the following main questions. How exactly do people refactor code? What refactorings are the most popular? Why do some developers tend not to use convenient IDE refactoring tools? In this paper, we investigate the raised questions through the design and implementation of a survey targeting 1,183 users of IntelliJ-based IDEs. Our quantitative and qualitative analysis of the survey results shows that almost two-thirds of developers spend more than one hour in a single session refactoring their code; that refactoring types vary greatly in popularity; and that a lot of developers would like to know more about IDE refactoring features but lack the means to do so. These results serve us internally to support the next generation of refactoring features, as well as can help our research community to establish new directions in the refactoring usability research.


title: A Refined Approximation for Euclidean k-Means

abstract: In the Euclidean $k$-Means problem we are given a collection of $n$ points $D$ in an Euclidean space and a positive integer $k$. Our goal is to identify a collection of $k$ points in the same space (centers) so as to minimize the sum of the squared Euclidean distances between each point in $D$ and the closest center. This problem is known to be APX-hard and the current best approximation ratio is a primal-dual $6.357$ approximation based on a standard LP for the problem [Ahmadian et al. FOCS'17, SICOMP'20]. In this note we show how a minor modification of Ahmadian et al.'s analysis leads to a slightly improved $6.12903$ approximation. As a related result, we also show that the mentioned LP has integrality gap at least $\frac{16+\sqrt{5}}{15}>1.2157$.


title: Efficient M\"obius Transformations and their applications to Dempster-Shafer Theory: Clarification and implementation

abstract: Dempster-Shafer Theory (DST) generalizes Bayesian probability theory, offering useful additional information, but suffers from a high computational burden. A lot of work has been done to reduce the complexity of computations used in information fusion with Dempster's rule. The main approaches exploit either the structure of Boolean lattices or the information contained in belief sources. Each has its merits depending on the situation. In this paper, we propose sequences of graphs for the computation of the zeta and M\"obius transformations that optimally exploit both the structure of distributive semilattices and the information contained in belief sources. We call them the Efficient M\"obius Transformations (EMT). We show that the complexity of the EMT is always inferior to the complexity of algorithms that consider the whole lattice, such as the Fast M\"obius Transform (FMT) for all DST transformations. We then explain how to use them to fuse two belief sources. More generally, our EMTs apply to any function in any finite distributive lattice, focusing on a meet-closed or join-closed subset. This article extends our work published at the international conference on Scalable Uncertainty Management (SUM). It clarifies it, brings some minor corrections and provides implementation details such as data structures and algorithms applied to DST.


title: Sketching sounds: an exploratory study on sound-shape associations

abstract: Sound synthesiser controls typically correspond to technical parameters of signal processing algorithms rather than intuitive sound descriptors that relate to human perception of sound. This makes it difficult to realise sound ideas in a straightforward way. Cross-modal mappings, for example between gestures and sound, have been suggested as a more intuitive control mechanism. A large body of research shows consistency in human associations between sounds and shapes. However, the use of drawings to drive sound synthesis has not been explored to its full extent. This paper presents an exploratory study that asked participants to sketch visual imagery of sounds with a monochromatic digital drawing interface, with the aim to identify different representational approaches and determine whether timbral sound characteristics can be communicated reliably through visual sketches. Results imply that the development of a synthesiser exploiting sound-shape associations is feasible, but a larger and more focused dataset is needed in followup studies.


title: From Reddit to Wall Street: The role of committed minorities in financial collective action

abstract: In January 2021, retail investors coordinated on Reddit to target short selling activity by hedge funds on GameStop shares, causing a surge in the share price and triggering significant losses for the funds involved. Such an effective collective action was unprecedented in finance, and its dynamics remain unclear. Here, we analyse Reddit and financial data and rationalise the events based on recent findings describing how a small fraction of committed individuals may trigger behavioural cascades. First, we operationalise the concept of individual commitment in financial discussions. Second, we show that the increase of commitment within Reddit predated the initial surge in price. Third, we reveal that initial committed users occupied a central position in the network of Reddit conversations. Finally, we show that the social identity of the broader Reddit community grew as the collective action unfolded. These findings shed light on financial collective action, as several observers anticipate it will grow in importance.


title: Should I Stay or Should I Go: Predicting Changes in Cluster Membership

abstract: Most research on predicting community evolution focuses on changes in the states of communities. Instead, we focus on individual nodes and define the novel problem of predicting whether a specific node stays in the same cluster, moves to another cluster or drops out of the network. We explore variations of the problem and propose appropriate classification features based on local and global node measures. Motivated by the prevalence of machine learning approaches based on embeddings, we also introduce efficiently computed distance-based features using appropriate node embeddings. In addition, we consider chains of features to capture the history of the nodes. Our experimental results depict the complexity of the different formulations of the problem and the suitability of the selected features and chain lengths.


title: An oscillator driven by algebraically decorrelating noise

abstract: We consider a stochastically forced nonlinear oscillator driven by a stationary Gaussian noise that has an algebraically decaying covariance function. It is well known that such noise processes can be renormalized to converge to fractional Brownian motion, a process that has memory. In contrast, we show that the renormalized limit of the nonlinear oscillator driven by this noise converges to diffusion driven by standard (not fractional) Brownian motion, and thus retains no memory in the scaling limit. The proof is based on the study of a fast-slow system using the perturbed test function method.


title: SilGAN: Generating driving maneuvers for scenario-based software-in-the-loop testing

abstract: Automotive software testing continues to rely largely upon expensive field tests to ensure quality because alternatives like simulation-based testing are relatively immature. As a step towards lowering reliance on field tests, we present SilGAN, a deep generative model that eases specification, stimulus generation, and automation of automotive software-in-the-loop testing. The model is trained using data recorded from vehicles in the field. Upon training, the model uses a concise specification for a driving scenario to generate realistic vehicle state transitions that can occur during such a scenario. Such authentic emulation of internal vehicle behavior can be used for rapid, systematic and inexpensive testing of vehicle control software. In addition, by presenting a targeted method for searching through the information learned by the model, we show how a test objective like code coverage can be automated. The data driven end-to-end testing pipeline that we present vastly expands the scope and credibility of automotive simulation-based testing. This reduces time to market while helping maintain required standards of quality.


title: Szegedy Walk Unitaries for Quantum Maps

abstract: Szegedy developed a generic method for quantizing classical algorithms based on random walks [Proceedings of FOCS, 2004, pp. 32-41]. A major contribution of his work was the construction of a walk unitary for any reversible random walk. Such unitary posses two crucial properties: its eigenvector with eigenphase $0$ is a quantum sample of the limiting distribution of the random walk and its eigenphase gap is quadratically larger than the spectral gap of the random walk. It was an open question if it is possible to generalize Szegedy's quantization method for stochastic maps to quantum maps. We answer this in the affirmative by presenting an explicit construction of a Szegedy walk unitary for detailed balanced Lindbladians -- generators of quantum Markov semigroups -- and detailed balanced quantum channels. We prove that our Szegedy walk unitary has a purification of the fixed point of the Lindbladian as eigenvector with eigenphase $0$ and that its eigenphase gap is quadratically larger than the spectral gap of the Lindbladian. To construct the walk unitary we leverage a canonical form for detailed balanced Lindbladians showing that they are structurally related to Davies generators. We also explain how the quantization method for Lindbladians can be applied to quantum channels. We give an efficient quantum algorithm for quantizing Davies generators that describe many important open-system dynamics, for instance, the relaxation of a quantum system coupled to a bath. Our algorithm extends known techniques for simulating quantum systems on a quantum computer.


title: $(d,\textbf{\sigma})$-Veronese variety and some applications

abstract: Let $\mathbb{K}$ be the Galois field $\mathbb{F}_{q^t}$ of order $q^t, q=p^e, p$ a prime, $A=\mathrm{Aut}(\mathbb{K})$ be the automorphism group of $\mathbb{K}$ and $\boldsymbol{\sigma}=(\sigma_0,\ldots, \sigma_{d-1}) \in A^d$, $d \geq 1$. In this paper the following generalization of the Veronese map is studied: $$ \nu_{d,\boldsymbol{\sigma}} : \langle v\rangle \in \mathrm{PG}(n-1,\mathbb{K}) \longrightarrow \langle v^{\sigma_0} \otimes v^{\sigma_1} \otimes \cdots \otimes v^{\sigma_{d-1}}\rangle \in \mathrm{PG} (n^d-1,\mathbb{K} ). $$ Its image will be called the $(d,\boldsymbol{\sigma})$-$Veronese$ $variety$ $\mathcal{V}_{d,\boldsymbol{\sigma}}$. Here, we will show that $\mathcal{V}_{d,\boldsymbol{\sigma}}$ is the Grassmann embedding of a normal rational scroll and any $d+1$ points of it are linearly independent. We give a characterization of $d+2$ linearly dependent points of $\mathcal{V}_{d,\boldsymbol{\sigma}}$ and for some choices of parameters, $\mathcal{V}_{p,\boldsymbol{\sigma}}$ is the normal rational curve; for $p=2$, it can be the Segre's arc of $\mathrm{PG}(3,q^t)$; for $p=3$ $\mathcal{V}_{p,\boldsymbol{\sigma}}$ can be also a $|\mathcal{V}_{p,\boldsymbol{\sigma}}|$-track of $\mathrm{PG}(5,q^t)$. Finally, investigate the link between such points sets and a linear code $\mathcal{C}_{d,\boldsymbol{\sigma}}$ that can be associated to the variety, obtaining examples of MDS and almost MDS codes.


title: Planar Integrated Magneto Optical Trap

abstract: Abstract The magneto-optical trap (MOT) is an essential tool for collecting and preparing cold atoms with a wide range of applications. We demonstrate a planar-integrated MOT by combining an optical grating chip with a magnetic coil chip. The flat grating chip simplifies the conventional six-beam configuration down to a single laser beam; the flat coil chip replaces the conventional anti-Helmholtz coils of a cylindrical geometry. We trap 10^{4} cold ^{87}\text{Rb} atoms in the planar-integrated MOT, at a point 3-9 mm above the chip surface. This novel configuration effectively reduces the volume, weight, and complexity of the MOT, bringing benefits to applications including gravimeter, clock and quantum memory devices.


title: A note on hyperopic cops and robber

abstract: We explore a variant of the game of Cops and Robber introduced by Bonato et al.~where the robber is invisible unless outside the common neighbourhood of the cops. The hyperopic cop number is analogous to the cop number and we investigate bounds on this quantity. We define a small common neighbourhood set and relate the minimum cardinality of this graph parameter to the hyperopic cop number. We consider diameter 2 graphs, particularly the join of two graphs, as well as Cartesian products.


title: From data to noise to data: mixing physics across temperatures with generative artificial intelligence

abstract: Using simulations or experiments performed at some set of temperatures to learn about the physics or chemistry at some other arbitrary temperature is a problem of immense practical and theoretical relevance. Here we develop a framework based on statistical mechanics and generative Artificial Intelligence that allows solving this problem. Specifically, we work with denoising diffusion probabilistic models, and show how these models in combination with replica exchange molecular dynamics achieve superior sampling of the biomolecular energy landscape at temperatures that were never even simulated without assuming any particular slow degrees of freedom. The key idea is to treat the temperature as a fluctuating random variable and not a control parameter as is usually done. This allows us to directly sample from the joint probability distribution in configuration and temperature space. The results here are demonstrated for a chirally symmetric peptide and single-strand ribonucleic acid undergoing conformational transitions in all-atom water. We demonstrate how we can discover transition states and metastable states that were previously unseen at the temperature of interest, and even bypass the need to perform further simulations for wide range of temperatures. At the same time, any unphysical states are easily identifiable through very low Boltzmann weights. The procedure while shown here for a class of molecular simulations should be more generally applicable to mixing information across simulations and experiments with varying control parameters.

categories: cond-mat.stat-mech physics.bio-ph physics.comp-ph physics.data-an


title: Light rings of stationary spacetimes

abstract: We present a novel theorem regarding light rings in a stationary spacetime with an ergoregion. We prove that any stationary, axisymmetric, and asymptotically flat spacetime in 1 + 3 dimensions with an ergoregion must have at least one light ring outside the ergoregion. A possible extension of the proof for asymptotically de-Sitter and anti-de-Sitter spherically symmetric black holes is also discussed.


title: Statistical inference using Regularized M-estimation in the reproducing kernel Hilbert space for handling missing data

abstract: Imputation and propensity score weighting are two popular techniques for handling missing data. We address these problems using the regularized M-estimation techniques in the reproducing kernel Hilbert space. Specifically, we first use the kernel ridge regression to develop imputation for handling item nonresponse. While this nonparametric approach is potentially promising for imputation, its statistical properties are not investigated in the literature. Under some conditions on the order of the tuning parameter, we first establish the root-$n$ consistency of the kernel ridge regression imputation estimator and show that it achieves the lower bound of the semiparametric asymptotic variance. A nonparametric propensity score estimator using the reproducing kernel Hilbert space is also developed by a novel application of the maximum entropy method for the density ratio function estimation. We show that the resulting propensity score estimator is asymptotically equivalent to the kernel ridge regression imputation estimator. Results from a limited simulation study are also presented to confirm our theory. The proposed method is applied to analyze the air pollution data measured in Beijing, China.


title: Affine Grassmannians for Triality Groups

abstract: We study affine Grassmannians for ramified triality groups. These groups are of type ${}^3D_4$, so they are forms of the orthogonal or the spin groups in 8 variables. They can be given as automorphisms of certain twisted composition algebras obtained from the octonion algebra. Using these composition algebras, we give descriptions of the affine Grassmannians for these triality groups as functors classifying suitable lattices in a fixed space.


title: A Reinforcement Learning Environment for Mathematical Reasoning via Program Synthesis

abstract: We convert the DeepMind Mathematics Dataset into a reinforcement learning environment by interpreting it as a program synthesis problem. Each action taken in the environment adds an operator or an input into a discrete compute graph. Graphs which compute correct answers yield positive reward, enabling the optimization of a policy to construct compute graphs conditioned on problem statements. Baseline models are trained using Double DQN on various subsets of problem types, demonstrating the capability to learn to correctly construct graphs despite the challenges of combinatorial explosion and noisy rewards.


title: Toward quantifying trust dynamics: How people adjust their trust after moment-to-moment interaction with automation

abstract: Objective: We examine how human operators adjust their trust in automation as a result of their moment-to-moment interaction with automation. Background: Most existing studies measured trust by administering questionnaires at the end of an experiment. Only a limited number of studies viewed trust as a dynamic variable that can strengthen or decay over time. Method: Seventy-five participants took part in an aided memory recognition task. In the task, participants viewed a series of images and later on performed 40 trials of the recognition task to identify a target image when it was presented with a distractor. In each trial, participants performed the initial recognition by themselves, received a recommendation from an automated decision aid, and performed the final recognition. After each trial, participants reported their trust on a visual analog scale. Results: Outcome bias and contrast effect significantly influence human operators' trust adjustments. An automation failure leads to a larger trust decrement if the final outcome is undesirable, and a marginally larger trust decrement if the human operator succeeds the task by him-/her-self. An automation success engenders a greater trust increment if the human operator fails the task. Additionally, automation failures have a larger effect on trust adjustment than automation successes. Conclusion: Human operators adjust their trust in automation as a result of their moment-to-moment interaction with automation. Their trust adjustments are significantly influenced by decision-making heuristics/biases. Application: Understanding the trust adjustment process enables accurate prediction of the operators' moment-to-moment trust in automation and informs the design of trust-aware adaptive automation.


title: Wide-field magneto-optical microscope to access quantitative magnetization dynamics with femtosecond temporal and sub-micrometer spatial resolution

abstract: We introduce a wide-field magneto-optical microscope to probe magnetization dynamics with femtosecond temporal and sub-micrometer spatial resolution. We carefully calibrate the non-linear dependency between the magnetization of the sample and the detected light intensity by determining the absolute values of the magneto-optical polarization rotation. With that, an analytical transfer function is defined to directly map the recorded intensity to the corresponding magnetization, which results in significantly reduced acquisition times and relaxed computational requirements. The performance of the instrument is characterized by probing the magnetic all-optical switching dynamics of GdFe in a pump-probe experiment. The high spatial resolution of the microscope allows for accurately subdividing the laser-excited area into different fluence-regions in order to capture the strongly non-linear magnetization dynamics as a function of the optical pump intensity in a single measurement.


title: Proceedings of the Sixteenth Workshop on Logical Frameworks and Meta-Languages: Theory and Practice

abstract: Logical frameworks and meta-languages form a common substrate for representing, implementing and reasoning about a wide variety of deductive systems of interest in logic and computer science. Their design, implementation and their use in reasoning tasks, ranging from the correctness of software to the properties of formal systems, have been the focus of considerable research over the last two decades. This workshop brings together designers, implementors and practitioners to discuss various aspects impinging on the structure and utility of logical frameworks, including the treatment of variable binding, inductive and co-inductive reasoning techniques and the expressiveness and lucidity of the reasoning process.


title: Computing Permanents on a Trellis

abstract: The problem of computing the permanent of a matrix has attracted interest since the work of Ryser(1963) and Valiant(1979). On the other hand, trellises were extensively studied in coding theory since the 1960s. In this work, we establish a connection between the two domains. We introduce the canonical trellis $T_n$ that represents all permutations, and show that the permanent of a $n$ by $n$ matrix $A$ can be computed as a flow on this trellis. Under certain normalization, the trellis-based method invokes slightly less operations than best known exact methods. Moreover, if $A$ has structure, then $T_n$ becomes amenable to vertex merging, thereby significantly reducing its complexity. - Repeated rows: Suppose $A$ has only $t<n$ distinct rows. The best known method to compute $per(A)$, due to Clifford and Clifford (2020), has complexity $O(n^{t+1})$. Merging vertices in $T_n$, we obtain a reduced trellis that has complexity $O(n^t)$. - Order statistics: Using trellises, we compute the joint distribution of $t$ order statistics of $n$ independent, but not identically distributed, random variables in time $O(n^{t+1})$. Previously, polynomial-time methods were known only when the variables are drawn from two non-identical distributions. - Sparse matrices: Suppose each entry in $A$ is nonzero with probability $d/n$ with $d$ is constant. We show that $T_n$ can be pruned to exponentially fewer vertices, resulting in complexity $O(\phi^n)$ with $\phi<2$. - TSP: Intersecting $T_n$ with another trellis that represents walks, we obtain a trellis that represents circular permutations. Using the latter trellis to solve the traveling salesperson problem recovers the well-known Held-Karp algorithm. Notably, in all cases, the reduced trellis are obtained using known techniques in trellis theory. We expect other trellis-theoretic results to apply to other structured matrices.


title: Best-approximation error for parametric quantum circuits

abstract: In Variational Quantum Simulations, the construction of a suitable parametric quantum circuit is subject to two counteracting effects. The number of parameters should be small for the device noise to be manageable, but also large enough for the circuit to be able to represent the solution. Dimensional expressivity analysis can optimize a candidate circuit considering both aspects. In this article, we will first discuss an inductive construction for such candidate circuits. Furthermore, it is sometimes necessary to choose a circuit with fewer parameters than necessary to represent all relevant states. To characterize such circuits, we estimate the best-approximation error using Voronoi diagrams. Moreover, we discuss a hybrid quantum-classical algorithm to estimate the worst-case best-approximation error, its complexity, and its scaling in state space dimensionality. This allows us to identify some obstacles for variational quantum simulations with local optimizers and underparametrized circuits, and we discuss possible remedies.


title: Spectral Processing and Optimization of Static and Dynamic 3D Geometries

abstract: Geometry processing of 3D objects is of primary interest in many areas of computer vision and graphics, including robot navigation, 3D object recognition, classification, feature extraction, etc. The recent introduction of cheap range sensors has created a great interest in many new areas, driving the need for developing efficient algorithms for 3D object processing. Previously, in order to capture a 3D object, expensive specialized sensors were used, such as lasers or dedicated range images, but now this limitation has changed. The current approaches of 3D object processing require a significant amount of manual intervention and they are still time-consuming making them unavailable for use in real-time applications. The aim of this thesis is to present algorithms, mainly inspired by the spectral analysis, subspace tracking, etc, that can be used and facilitate many areas of low-level 3D geometry processing (i.e., reconstruction, outliers removal, denoising, compression), pattern recognition tasks (i.e., significant features extraction) and high-level applications (i.e., registration and identification of 3D objects in partially scanned and cluttered scenes), taking into consideration different types of 3D models (i.e., static and dynamic point clouds, static and dynamic 3D meshes).


title: A Linear Dynamical Perspective on Epidemiology: Interplay Between Early COVID-19 Outbreak and Human Mobility

abstract: This paper investigates the impact of human activity and mobility (HAM) in the spreading dynamics of an epidemic. Specifically, it explores the interconnections between HAM and its effect on the early spread of the COVID-19 virus. During the early stages of the pandemic, effective reproduction numbers exhibited a high correlation with human mobility patterns, leading to a hypothesis that the HAM system can be studied as a coupled system with disease spread dynamics. This study applies the generalized Koopman framework with control inputs to determine the nonlinear disease spread dynamics and the input-output characteristics as a locally linear controlled dynamical system. The approach solely relies on the snapshots of spatiotemporal data and does not require any knowledge of the system's physical laws. We exploit the Koopman operator framework by utilizing the Hankel Dynamic Mode Decomposition with Control (HDMDc) algorithm to obtain a linear disease spread model incorporating human mobility as a control input. The study demonstrated that the proposed methodology could capture the impact of local mobility on the early dynamics of the ongoing global pandemic. The obtained locally linear model can accurately forecast the number of new infections for various prediction windows ranging from two to four weeks. The study corroborates a leader-follower relationship between mobility and disease spread dynamics. In addition, the effect of delay embedding in the HDMDc algorithm is also investigated and reported. A case study was performed using COVID infection data from Florida, US, and HAM data extracted from Google community mobility data report.


title: Large-Gap Quantum Anomalous Hall Effect in Monolayer Halide Perovskite

abstract: We theoretically propose a family of structurally stable monolayer halide perovskite A$_3$B$_2$C$_9$ (A=Rb, Cs; B=Pd, Pt; C=Cl, Br) with easy magnetization planes. These materials are all half-metals with large spin gaps over 1~eV accompanying with a single spin Dirac point located at K point. When the spin-orbit coupling is switched on, we further show that Rb$_3$Pt$_2$Cl$_9$, Cs$_3$Pd$_2$Cl$_9$, and Cs$_3$Pt$_2$Cl$_9$ monolayers can open up large band gaps from 63 to 103 meV to harbor quantum anomalous Hall effect with Chern numbers of $\mathcal{C}=\pm1$, whenever the mirror symmetry is broken by the in-plane magnetization. The corresponding Berezinskii-Kosterlitz-Thouless transition temperatures are over 248~K. Our findings provide a potentially realizable platform to explore quantum anomalous Hall effect and spintronics at high temperatures.


title: Hybrid Ant Swarm-Based Data Clustering

abstract: Biologically inspired computing techniques are very effective and useful in many areas of research including data clustering. Ant clustering algorithm is a nature-inspired clustering technique which is extensively studied for over two decades. In this study, we extend the ant clustering algorithm (ACA) to a hybrid ant clustering algorithm (hACA). Specifically, we include a genetic algorithm in standard ACA to extend the hybrid algorithm for better performance. We also introduced novel pick up and drop off rules to speed up the clustering performance. We study the performance of the hACA algorithm and compare with standard ACA as a benchmark.


title: Lossy Kernelization of Same-Size Clustering

abstract: In this work, we study the $k$-median clustering problem with an additional equal-size constraint on the clusters, from the perspective of parameterized preprocessing. Our main result is the first lossy ($2$-approximate) polynomial kernel for this problem, parameterized by the cost of clustering. We complement this result by establishing lower bounds for the problem that eliminate the existences of an (exact) kernel of polynomial size and a PTAS.


title: A Fixed Version of Quadratic Program in Gradient Episodic Memory

abstract: Gradient Episodic Memory is indeed a novel method for continual learning, which solves new problems quickly without forgetting previously acquired knowledge. However, in the process of studying the paper, we found there were some problems in the proof of the dual problem of Quadratic Program, so here we give our fixed version for this problem.


title: Together we learn better: leveraging communities of practice for MOOC learners

abstract: MOOC participants often feel isolated and disconnected from their peers. Navigating meaningful peer interactions, generating a sense of belonging, and achieving social presence are all major challenges for MOOC platforms. MOOC users often rely on external social platforms for such connection and peer interaction, however, off-platform networking often distracts participants from their learning. With the intention of resolving this issue, we introduce PeerCollab, a web-based platform that provides affordances to create communities and supports meaningful peer interactions, building close-knit groups of learners. We present an initial evaluation through a field study (n=56) over 6 weeks and a controlled experiment (n=22). The result indicates insights on how learners build a sense of belonging and develop peer interactions leading to close-knit learning circles. We find that PeerCollab can provide more meaningful interactions and create a community to bring a culture of social learning to decentralized, and isolated MOOC learners.


title: Scheme-theoretic Approach to Computational Complexity I. The Separation of P and NP

abstract: We lay the foundations of a new theory for algorithms and computational complexity by parameterizing the instances of a computational problem as a moduli scheme. Considering the geometry of the scheme associated to 3-SAT, we separate P and NP. In particular, we show that no deterministic algorithm can solve \textsf{3-SAT} in time less than $1.296839^n$ in the worst case.


title: Scheme-theoretic Approach to Computational Complexity II. The Separation of P and NP over $\mathbb{C}$, $\mathbb{R}$, and $\mathbb{Z}$

abstract: We show that the problem of determining the feasibility of quadratic systems over $\mathbb{C}$, $\mathbb{R}$, and $\mathbb{Z}$ requires exponential time. This separates P and NP over these fields/rings in the BCSS model of computation.


title: Oscillation of cosmic space in the background of two interacting tachyonic BIons

abstract: When a brane-anti-brane system includes two tachyons, each of them produces a BIoninc wormhole. These wormholes interact with each other and form 4 regions. Two of the regions are related to the independent BIons which have been considered previously. However, two new regions correspond to the interacting BIons in which the cosmic parameters act oppositely to each other. We obtain the Hubble parameter and energy density of the universes in the new regions and show that by expanding a universe in one region, the universe in the other region contracts. Also, the evolution of the universes depend on the tachyonic fields, the separation between the branes and the size of the throats of the bionic wormholes.


title: Photoproduction of diffractive dijets in Pythia 8

abstract: The new framework for the simulations of hard diffractive events in photoproduction within Pythia 8 is presented. The model, originally introduced for proton-proton collisions, applies the dynamical rapidity gap survival probability based on the multiparton interaction model in Pythia. These additional interactions provide a natural explanation for the observed factorization-breaking effects in hard diffraction by filling up the rapidity gaps used to classify the events of diffractive origin. The generated cross sections are well in line with the existing data from HERA experiments and predictions for the future electron-ion collider are presented. In addition, also predictions for ultra-peripheral collisions at the LHC have been calculated where the factorization-breaking effects are found to be more pronounced.


title: Les lois de probabilite pour les fonctions statistiques (cas de collectifs a plusieurs dimensions)

abstract: In a memoir published in 1936 in the Annales de Institut Poincare, M. de Mises demonstrates that under certain conditions, the distribution (law of probability) of the so-called statistical functions tends towards the Gaussian, the collectives being assumed to have one dimension. In the present presentation, I propose to generalize this property in the case where the collectives are with several dimensions.


title: Characterization of quasi-arithmetic means without regularity condition

abstract: In this paper we show that bisymmetry, which is an algebraic property, has a regularity improving feature. More precisely, we prove that every bisymmetric, partially strictly monotonic, reflexive and symmetric function $F:I^2\to I$ is continuous. As a consequence, we obtain a finer characterization of quasi-arithmetic means than the classical results of Acz\'el, Kolmogoroff, Nagumo and de Finetti.


title: Alternative implementation of atomic form factors

abstract: Using a new result on the integral involving the product of Bessel functions and associated Laguerre polynomials, published in the mathematical literature some time ago, we present an alternative method for calculating discrete-discrete transition form factors for hydrogen-like atoms. For comparison, an overview is also given of two other commonly used methods.


title: Auditing for Diversity using Representative Examples

abstract: Assessing the diversity of a dataset of information associated with people is crucial before using such data for downstream applications. For a given dataset, this often involves computing the imbalance or disparity in the empirical marginal distribution of a protected attribute (e.g. gender, dialect, etc.). However, real-world datasets, such as images from Google Search or collections of Twitter posts, often do not have protected attributes labeled. Consequently, to derive disparity measures for such datasets, the elements need to hand-labeled or crowd-annotated, which are expensive processes. We propose a cost-effective approach to approximate the disparity of a given unlabeled dataset, with respect to a protected attribute, using a control set of labeled representative examples. Our proposed algorithm uses the pairwise similarity between elements in the dataset and elements in the control set to effectively bootstrap an approximation to the disparity of the dataset. Importantly, we show that using a control set whose size is much smaller than the size of the dataset is sufficient to achieve a small approximation error. Further, based on our theoretical framework, we also provide an algorithm to construct adaptive control sets that achieve smaller approximation errors than randomly chosen control sets. Simulations on two image datasets and one Twitter dataset demonstrate the efficacy of our approach (using random and adaptive control sets) in auditing the diversity of a wide variety of datasets.


title: Explore and Control with Adversarial Surprise

abstract: Unsupervised reinforcement learning (RL) studies how to leverage environment statistics to learn useful behaviors without the cost of reward engineering. However, a central challenge in unsupervised RL is to extract behaviors that meaningfully affect the world and cover the range of possible outcomes, without getting distracted by inherently unpredictable, uncontrollable, and stochastic elements in the environment. To this end, we propose an unsupervised RL method designed for high-dimensional, stochastic environments based on an adversarial game between two policies (which we call Explore and Control) controlling a single body and competing over the amount of observation entropy the agent experiences. The Explore agent seeks out states that maximally surprise the Control agent, which in turn aims to minimize surprise, and thereby manipulate the environment to return to familiar and predictable states. The competition between these two policies drives them to seek out increasingly surprising parts of the environment while learning to gain mastery over them. We show formally that the resulting algorithm maximizes coverage of the underlying state in block MDPs with stochastic observations, providing theoretical backing to our hypothesis that this procedure avoids uncontrollable and stochastic distractions. Our experiments further demonstrate that Adversarial Surprise leads to the emergence of complex and meaningful skills, and outperforms state-of-the-art unsupervised reinforcement learning methods in terms of both exploration and zero-shot transfer to downstream tasks.


title: Slow diffusion is necessary to explain the gamma-ray pulsar halos

abstract: It was suggested that the $\gamma$-ray halo around Geminga might not be interpreted by slow-diffusion. If the ballistic regime of electron/positron propagation is considered, the Geminga halo may be explained even with a large diffusion coefficient. In this work, we examine this effect by taking the generalized J\"uttner propagator as the approximate relativistic Green's function for diffusion and find that the morphology of the Geminga halo can be marginally fitted in the fast-diffusion scenario. However, the recently discovered $\gamma$-ray halo around PSR J0622$+$3749 at LHAASO cannot be explained by the same effect and slow diffusion is the only solution. Furthermore, both the two pulsar halos require a conversion efficiency from the pulsar spin-down energy to the high energy electrons/positrons much larger than 100\%, if they are interpreted by this ballistic transport effect. Therefore, we conclude that slow diffusion is necessary to account for the $\gamma$-ray halos around pulsars.


title: Nonlinear curl-curl problems in $\mathbb{R}^3$

abstract: We survey recent results concerning ground states and bound states $u\colon\mathbb{R}^3\to\mathbb{R}^3$ to the curl-curl problem $$\nabla\times(\nabla\times u)+V(x)u= f(x,u) \quad\hbox{ in } \mathbb{R}^3,$$ which originates from the nonlinear Maxwell equations. The energy functional associated with this problem is strongly indefinite due to the infinite dimensional kernel of $\nabla\times(\nabla\times \cdot)$. The growth of the nonlinearity $f$ is superlinear and subcritical at infinity or purely critical and we demonstrate a variational approach to the problem involving the generalized Nehari manifold. We also present some refinements of known results.


title: Level generation and style enhancement -- deep learning for game development overview

abstract: We present practical approaches of using deep learning to create and enhance level maps and textures for video games -- desktop, mobile, and web. We aim to present new possibilities for game developers and level artists. The task of designing levels and filling them with details is challenging. It is both time-consuming and takes effort to make levels rich, complex, and with a feeling of being natural. Fortunately, recent progress in deep learning provides new tools to accompany level designers and visual artists. Moreover, they offer a way to generate infinite worlds for game replayability and adjust educational games to players' needs. We present seven approaches to create level maps, each using statistical methods, machine learning, or deep learning. In particular, we include: - Generative Adversarial Networks for creating new images from existing examples (e.g. ProGAN). - Super-resolution techniques for upscaling images while preserving crisp detail (e.g. ESRGAN). - Neural style transfer for changing visual themes. - Image translation - turning semantic maps into images (e.g. GauGAN). - Semantic segmentation for turning images into semantic masks (e.g. U-Net). - Unsupervised semantic segmentation for extracting semantic features (e.g. Tile2Vec). - Texture synthesis - creating large patterns based on a smaller sample (e.g. InGAN).


title: 4D-XY Superfluid Transition and Dissipation in $^4$He Confined in Nanoporous Media

abstract: $^4$He confined in nanoporous Gelsil glass is a unique, strongly correlated Bose system exhibiting quantum phase transition (QPT) by controlling pressure. Previous studies revealed that the QPT occurs with four - dimensional (4D) XY criticality, which appears in the zero-temperature limit of the superfluid density. However, the $P-T$ phase diagram also suggested that 4D XY nature appears at finite temperatures. Here, we have determined the critical exponent of the superfluid density of $^4$He in two Gelsil samples that have pore diameter to be about 3 nm, using a newly developed mechanical resonator technique. The critical exponent $\zeta$ in the powerlaw fitting $\rho_{\mathrm s} \propto \left| 1 - T/T_{\mathrm c} \right| ^{\zeta}$, where $T_{\mathrm c}$ is the superfluid transition temperature, was found to be 1.0 $\pm$ 0.1 for all pressures realized in this experiment, 0.1 $<$ $P$ $<$ 2.4 MPa. This value of $\zeta$ gives a decisive evidence that the finite-temperature superfluid transition belongs to 4D XY universality class. The emergence of the 4D XY criticality is explained by the existence of many nanoscale superfluid droplets, the so called localized Bose - Einstein condensates (LBECs), above $T_{\mathrm c}$. Due to the large energy cost for $^4$He atoms to move between the LBECs, the phase of the LBEC order parameters fluctuates not only in spatial (3D) but imaginary time ($+1$D) dimensions, resulting in the 4D XY criticality by a temperature near $T_{\mathrm c}$, which is determined by the finite size of the system in the imaginary time dimension. Below $T_{\mathrm c}$, macroscopic superfluidity grows in the nanopores of Gelsil by the alignment of the phases of the LBEC order parameters. An excess dissipation peak observed below $T_{\mathrm c}$ is well explained by this phase matching process.


title: Axion-photon conversion in strongly magnetised plasmas

abstract: Axion dark matter can resonantly convert to photons in the magnetosphere of neutron stars, possibly giving rise to radio signals observable on Earth. This method for the indirect detection of axion dark matter has recently received significant attention in the literature. The calculation of the radio signal is complicated by a number of effects; most importantly, the gravitational infall of the axions onto the neutron star accelerates them to semi-relativistic speed, and the neutron star magnetosphere is highly anisotropic. Both of these factors complicate the calculation of the conversion of axions to photons. In this work, we present the first fully three-dimensional calculation of the axion-photon conversion in highly magnetised anisotropic media. Depending on the axion trajectory, this calculation leads to orders-of-magnitude differences in the conversion compared to the simplified one-dimensional calculation used so far in the literature, altering the directionality of the produced photons. Our results will have important implications for the radio signal one would observe in a telescope.