title: Adaptive Radar Detection and Bearing Estimation in the Presence of Unknown Mutual Coupling

abstract: This paper deals with joint adaptive radar detection and target bearing estimation in the presence of mutual coupling among the array elements. First of all, a suitable model of the signal received by the multichannel radar is developed via a linearization procedure of the Uniform Linear Array (ULA) manifold around the nominal array looking direction together with the use of symmetric Toeplitz structured matrices to represent the mutual coupling effects. Hence, the Generalized Likelihood Ratio Test (GLRT) detector is evaluated under the assumption of homogeneous radar environment. Its computation leverages a specific Minorization-Maximization (MM) framework, with proven convergence properties, to optimize the concentrated likelihood function under the target presence hypothesis. Besides, when the number of active mutual coupling coefficients is unknown, a Multifamily Likelihood Ratio Test (MFLRT) approach is invoked. During the analysis phase, the performance of the new detectors is compared with benchmarks as well as with counterparts available in the open literature which neglect the mutual coupling phenomenon. The results indicate that it is necessary to consider judiciously the coupling effect since the design phase, to guarantee performance levels close to the benchmark.


title: ConsistTL: Modeling Consistency in Transfer Learning for Low-Resource Neural Machine Translation

abstract: Transfer learning is a simple and powerful method that can be used to boost model performance of low-resource neural machine translation (NMT). Existing transfer learning methods for NMT are static, which simply transfer knowledge from a parent model to a child model once via parameter initialization. In this paper, we propose a novel transfer learning method for NMT, namely ConsistTL, which can continuously transfer knowledge from the parent model during the training of the child model. Specifically, for each training instance of the child model, ConsistTL constructs the semantically-equivalent instance for the parent model and encourages prediction consistency between the parent and child for this instance, which is equivalent to the child model learning each instance under the guidance of the parent model. Experimental results on five low-resource NMT tasks demonstrate that ConsistTL results in significant improvements over strong transfer learning baselines, with a gain up to 1.7 BLEU over the existing back-translation model on the widely-used WMT17 Turkish-English benchmark. Further analysis reveals that ConsistTL can improve the inference calibration of the child model. Code and scripts are freely available at https://github.com/NLP2CT/ConsistTL.


title: Fast, noise-free atomic optical memory with 35% end-to-end efficiency

abstract: Coherent optical memories will likely play an important role in future quantum communication networks. Among the different platforms, memories based on ladder-type orbital transitions in atomic gasses offer high bandwidth ($>100$ MHz), continuous (on-demand) readout, and low-noise operation. Here we report on an upgraded setup of our previously-reported fast ladder memory, with improved efficiency and lifetime, and reduced noise. The upgrade employs a stronger control field, wider signal beam, reduced atomic density, higher optical depth, annular optical-pumping beam, and weak dressing of an auxiliary orbital to counteract residual Doppler-broadening. For a 2 ns-long pulse, we demonstrate 53% internal efficiency, 35% end-to-end efficiency, $3\times 10^{-5}$ noise photons per pulse, and a $1/e$ lifetime of 108 ns. This combination of performances is a record for continuous-readout memories.


title: ChromaCorrect: Prescription Correction in Virtual Reality Headsets through Perceptual Guidance

abstract: A large portion of today's world population suffer from vision impairments and wear prescription eyeglasses. However, eyeglasses causes additional bulk and discomfort when used with augmented and virtual reality headsets, thereby negatively impacting the viewer's visual experience. In this work, we remedy the usage of prescription eyeglasses in Virtual Reality (VR) headsets by shifting the optical complexity completely into software and propose a prescription-aware rendering approach for providing sharper and immersive VR imagery. To this end, we develop a differentiable display and visual perception model encapsulating display-specific parameters, color and visual acuity of human visual system and the user-specific refractive errors. Using this differentiable visual perception model, we optimize the rendered imagery in the display using stochastic gradient-descent solvers. This way, we provide prescription glasses-free sharper images for a person with vision impairments. We evaluate our approach on various displays, including desktops and VR headsets, and show significant quality and contrast improvements for users with vision impairments.


title: DONEX: Real-time occupancy grid based dynamic echo classification for 3D point cloud

abstract: For driving assistance and autonomous driving systems, it is important to differentiate between dynamic objects such as moving vehicles and static objects such as guard rails. Among all the sensor modalities, RADAR and FMCW LiDAR can provide information regarding the motion state of the raw measurement data. On the other hand, perception pipelines using measurement data from ToF LiDAR typically can only differentiate between dynamic and static states on the object level. In this work, a new algorithm called DONEX was developed to classify the motion state of 3D LiDAR point cloud echoes using an occupancy grid approach. Through algorithmic improvements, e.g. 2D grid approach, it was possible to reduce the runtime. Scenarios, in which the measuring sensor is located in a moving vehicle, were also considered.


title: Experimental Investigation of Thermal Performance for Selected Oils for Solar Thermal Energy Storage and Rural Cooking Application

abstract: The thermal performance of locally available oils in Uganda have been experimentally investigated to determine their suitability for heat transfer and solar thermal energy storage. Sunflower oil and palm oil, both local vegetable vegetable oils and Shell thermia B, commonly used in the local industries as a heat transfer fluid were used in the study. The oils were heated in an insulated tank until temperatures close to their smoke points were attained and then heating was stopped; the tank temperature was recorded for 24 hours during the cooling. The second experiement involved charging the oil in a self-circulating system without the aid of a pump. It was observed that the vegetable oils gained heat faster than thermia B. Sunflower oil retained heat for a longer period compared to palm oil and thermia B. The total amount energy stored by sunflower was equally higher than palm oil while thermia B had the least energy stored. The results show that sunflower oil is the most suitable oil for solar thermal storage and heat transfer.


title: Vision and Structured-Language Pretraining for Cross-Modal Food Retrieval

abstract: Vision-Language Pretraining (VLP) and Foundation models have been the go-to recipe for achieving SoTA performance on general benchmarks. However, leveraging these powerful techniques for more complex vision-language tasks, such as cooking applications, with more structured input data, is still little investigated. In this work, we propose to leverage these techniques for structured-text based computational cuisine tasks. Our strategy, dubbed VLPCook, first transforms existing image-text pairs to image and structured-text pairs. This allows to pretrain our VLPCook model using VLP objectives adapted to the strutured data of the resulting datasets, then finetuning it on downstream computational cooking tasks. During finetuning, we also enrich the visual encoder, leveraging pretrained foundation models (e.g. CLIP) to provide local and global textual context. VLPCook outperforms current SoTA by a significant margin (+3.3 Recall@1 absolute improvement) on the task of Cross-Modal Food Retrieval on the large Recipe1M dataset. We conduct further experiments on VLP to validate their importance, especially on the Recipe1M+ dataset. Finally, we validate the generalization of the approach to other tasks (i.e, Food Recognition) and domains with structured text such as the Medical domain on the ROCO dataset. The code is available here: https://github.com/mshukor/VLPCook


title: Nonnegative partial s-goodness for the equivalence of a 0-1 linear program to weighted linear programming

abstract: The 0-1 linear programming problem with nonnegative constraint matrix and objective vector e origins from many NP-hard combinatorial optimization problems. In this paper, we consider recovering an optimal solution to the problem from a weighted linear programming.We first formulate the problem equivalently as a sparse optimization problem. Next, we consider the consistency of the optimal solution of the sparse optimization problem and the weighted linear programming problem. In order to achieve this, we establish nonnegative partial s-goodness of the constraint matrix and the weighted vector. Further, we use two quantities to characterize a sufficient condition and necessary condition for the nonnegative partial s-goodness. However, the two quantities are difficult to calculate, therefore, we provide a computable upper bound for one of the two quantities to verify the nonnegative partial s-goodness. Finally, we give three examples to illustrate that our theory is effective and verifiable.


title: QCD static force in gradient flow

abstract: We review our recent study on the QCD static force using gradient flow at next-to-leading order in the strong coupling. The QCD static force has the advantage of being free of the $O(\Lambda_{\text{QCD}})$ renormalon appearing in the static potential but suffers from poor convergence in the lattice QCD computations. It is expected that the gradient flow formalism can improve the convergence. Based on our next-to-leading-order calculations, we explore the properties of the static force for arbitrary flow time $t$, as well as in the limit $t\rightarrow 0$, which may be useful for lattice QCD simulations.


title: Identifying mechanisms driving the early response of triple negative breast cancer patients to neoadjuvant chemotherapy using a mechanistic model integrating in vitro and in vivo imaging data

abstract: Neoadjuvant chemotherapy (NAC) is a standard-of-care treatment for locally advanced triple negative breast cancer (TNBC) before surgery. The early assessment of TNBC response to NAC would enable an oncologist to adapt the therapeutic plan of a non-responding patient, thereby improving treatment outcomes while preventing unnecessary toxicities. To this end, a promising approach consists of obtaining \textsl{in silico} personalized forecasts of tumor response to NAC \textsl{via} computer simulation of mechanistic models constrained with patient-specific magnetic resonance imaging (MRI) data acquired early during NAC. Here, we present a model featuring the essential mechanisms of TNBC growth and response to NAC, including an explicit description of drug pharmacodynamics and pharmacokinetics. As longitudinal \textsl{in vivo} MRI data for model calibration is limited, we perform a sensitivity analysis to identify the model mechanisms driving the response to two NAC drug combinations: doxorubicin with cyclophosphamide, and paclitaxel with carboplatin. The model parameter space is constructed by combining patient-specific MRI-based \textsl{in silico} parameter estimates and \textit{in vitro} measurements of pharmacodynamic parameters obtained using time-resolved microscopy assays of several TNBC lines. The sensitivity analysis is run in two MRI-based scenarios corresponding to a well-perfused and a poorly-perfused tumor. Out of the 15 parameters considered herein, only the baseline tumor cell net proliferation rate along with the maximum concentrations and effects of doxorubicin, carboplatin, and paclitaxel exhibit a relevant impact on model forecasts (total effect index, $S_T>$0.1). These results dramatically limit the number of parameters that require \textsl{in vivo} MRI-constrained calibration, thereby facilitating the clinical application of our model.


title: Differentiation identities for hypergeometric functions

abstract: It is well-known that differentiation of hypergeometric function multiplied by a certain power function yields another hypergeometric function with a different set of parameters. Such differentiation identities for hypergeometric functions have been used widely in various fields of applied mathematics and natural sciences. In this expository note, we provide a simple proof of the differentiation identities, which is based only on the definition of the coefficients for the power series expansion of the hypergeometric functions.


title: A Modality-level Explainable Framework for Misinformation Checking in Social Networks

abstract: The widespread of false information is a rising concern worldwide with critical social impact, inspiring the emergence of fact-checking organizations to mitigate misinformation dissemination. However, human-driven verification leads to a time-consuming task and a bottleneck to have checked trustworthy information at the same pace they emerge. Since misinformation relates not only to the content itself but also to other social features, this paper addresses automatic misinformation checking in social networks from a multimodal perspective. Moreover, as simply naming a piece of news as incorrect may not convince the citizen and, even worse, strengthen confirmation bias, the proposal is a modality-level explainable-prone misinformation classifier framework. Our framework comprises a misinformation classifier assisted by explainable methods to generate modality-oriented explainable inferences. Preliminary findings show that the misinformation classifier does benefit from multimodal information encoding and the modality-oriented explainable mechanism increases both inferences' interpretability and completeness.


title: Better Hit the Nail on the Head than Beat around the Bush: Removing Protected Attributes with a Single Projection

abstract: Bias elimination and recent probing studies attempt to remove specific information from embedding spaces. Here it is important to remove as much of the target information as possible, while preserving any other information present. INLP is a popular recent method which removes specific information through iterative nullspace projections. Multiple iterations, however, increase the risk that information other than the target is negatively affected. We introduce two methods that find a single targeted projection: Mean Projection (MP, more efficient) and Tukey Median Projection (TMP, with theoretical guarantees). Our comparison between MP and INLP shows that (1) one MP projection removes linear separability based on the target and (2) MP has less impact on the overall space. Further analysis shows that applying random projections after MP leads to the same overall effects on the embedding space as the multiple projections of INLP. Applying one targeted (MP) projection hence is methodologically cleaner than applying multiple (INLP) projections that introduce random effects.


title: Saturating the Maximum Success Probability Bound for Noiseless Linear Amplification using Linear Optics

abstract: A noiseless linear amplifier (NLA) performs the highest quality amplification allowable under the rules of quantum physics. Unfortunately, these same rules conspire against us via the no-cloning theorem, which constrains NLA operations to the domain of probabilistic processes. Nevertheless, they are useful for a wide variety of quantum protocols, with numerous proposals assuming access to an optimal NLA device which performs with the maximum possible success probability. Here we propose the first linear optics NLA protocol which asymptotically achieves this success probability bound, by modifying the Knill-Laflamme-Milburn near-deterministic teleporter into an amplifier.


title: Are minimizers of the Onsager-Machlup functional strong posterior modes?

abstract: In this work we connect two notions: That of the nonparametric mode of a probability measure, defined by asymptotic small ball probabilities, and that of the Onsager-Machlup functional, a generalized density also defined via asymptotic small ball probabilities. We show that in a separable Hilbert space setting and under mild conditions on the likelihood, modes of a Bayesian posterior distribution based upon a Gaussian prior exist and agree with the minimizers of its Onsager-Machlup functional and thus also with weak posterior modes. We apply this result to inverse problems and derive conditions on the forward mapping under which this variational characterization of posterior modes holds. Our results show rigorously that in the limit case of infinite-dimensional data corrupted by additive Gaussian or Laplacian noise, nonparametric maximum a posteriori estimation is equivalent to Tikhonov-Phillips regularization. In comparison with the work of Dashti, Law, Stuart, and Voss (2013), the assumptions on the likelihood are relaxed so that they cover in particular the important case of white Gaussian process noise. We illustrate our results by applying them to a severely ill-posed linear problem with Laplacian noise, where we express the maximum a posteriori estimator analytically and study its rate of convergence in the small noise limit.


title: Homotopy Theory of Enriched Mackey Functors

abstract: Mackey functors provide the coefficient systems for equivariant cohomology theories. More generally, enriched presheaf categories provide a classification and organization for many stable model categories of interest. Changing enrichments along $K$-theory multifunctors provides an important tool for constructing spectral Mackey functors from Mackey functors enriched in algebraic structures such as permutative categories. This work gives a detailed development of diagrams, presheaves, and Mackey functors enriched over closed multicategories. Change of enrichment, including the relevant compositionality, is treated with care. This framework is applied to the homotopy theory of enriched diagram and Mackey functor categories, including equivalences of homotopy theories induced by $K$-theory multifunctors. Particular applications of interest include diagrams and Mackey functors enriched in pointed multicategories, permutative categories, and symmetric spectra.


title: Lie detection algorithms attract few users but vastly increase accusation rates

abstract: People are not very good at detecting lies, which may explain why they refrain from accusing others of lying, given the social costs attached to false accusations - both for the accuser and the accused. Here we consider how this social balance might be disrupted by the availability of lie-detection algorithms powered by Artificial Intelligence. Will people elect to use lie detection algorithms that perform better than humans, and if so, will they show less restraint in their accusations? We built a machine learning classifier whose accuracy (67\%) was significantly better than human accuracy (50\%) in a lie-detection task and conducted an incentivized lie-detection experiment in which we measured participants' propensity to use the algorithm, as well as the impact of that use on accusation rates. We find that the few people (33\%) who elect to use the algorithm drastically increase their accusation rates (from 25\% in the baseline condition up to 86% when the algorithm flags a statement as a lie). They make more false accusations (18pp increase), but at the same time, the probability of a lie remaining undetected is much lower in this group (36pp decrease). We consider individual motivations for using lie detection algorithms and the social implications of these algorithms.


title: On iterated function systems and algebraic properties of Lipschitz maps in partial metric spaces

abstract: This paper discusses, certain algebraic, analytic, and topological results on partial iterated function systems($IFS_p$'s). Also, the article proves the Collage theorem for partial iterated function systems. Further, it provides a method to address the points in the attractor of a partial iterated function system and obtain results related to the address of points in the attractor. The completeness of the partial metric space of contractions with a fixed contractivity factor is proved, under suitable conditions. Also, it demonstrates the continuity of the map that associates each contraction in a complete partial metric space to its corresponding unique fixed point. Further, it defines the $IFS_p$ semigroup and shows that under function composition, the set of Lipschitz transformations and the set of contractions are semigroups.


title: Application of machine learning regression models to inverse eigenvalue problems

abstract: In this work, we study the numerical solution of inverse eigenvalue problems from a machine learning perspective. Two different problems are considered: the inverse Strum-Liouville eigenvalue problem for symmetric potentials and the inverse transmission eigenvalue problem for spherically symmetric refractive indices. Firstly, we solve the corresponding direct problems to produce the required eigenvalues datasets in order to train the machine learning algorithms. Next, we consider several examples of inverse problems and compare the performance of each model to predict the unknown potentials and refractive indices respectively, from a given small set of the lowest eigenvalues. The supervised regression models we use are k-Nearest Neighbours, Random Forests and Multi-Layer Perceptron. Our experiments show that these machine learning methods, under appropriate tuning on their parameters, can numerically solve the examined inverse eigenvalue problems.


title: Model-based trajectory stitching for improved behavioural cloning and its applications

abstract: Behavioural cloning (BC) is a commonly used imitation learning method to infer a sequential decision-making policy from expert demonstrations. However, when the quality of the data is not optimal, the resulting behavioural policy also performs sub-optimally once deployed. Recently, there has been a surge in offline reinforcement learning methods that hold the promise to extract high-quality policies from sub-optimal historical data. A common approach is to perform regularisation during training, encouraging updates during policy evaluation and/or policy improvement to stay close to the underlying data. In this work, we investigate whether an offline approach to improving the quality of the existing data can lead to improved behavioural policies without any changes in the BC algorithm. The proposed data improvement approach - Trajectory Stitching (TS) - generates new trajectories (sequences of states and actions) by `stitching' pairs of states that were disconnected in the original data and generating their connecting new action. By construction, these new transitions are guaranteed to be highly plausible according to probabilistic models of the environment, and to improve a state-value function. We demonstrate that the iterative process of replacing old trajectories with new ones incrementally improves the underlying behavioural policy. Extensive experimental results show that significant performance gains can be achieved using TS over BC policies extracted from the original data. Furthermore, using the D4RL benchmarking suite, we demonstrate that state-of-the-art results are obtained by combining TS with two existing offline learning methodologies reliant on BC, model-based offline planning (MBOP) and policy constraint (TD3+BC).


title: Simulation of Attacker Defender Interaction in a Noisy Security Game

abstract: In the cybersecurity setting, defenders are often at the mercy of their detection technologies and subject to the information and experiences that individual analysts have. In order to give defenders an advantage, it is important to understand an attacker's motivation and their likely next best action. As a first step in modeling this behavior, we introduce a security game framework that simulates interplay between attackers and defenders in a noisy environment, focusing on the factors that drive decision making for attackers and defenders in the variants of the game with full knowledge and observability, knowledge of the parameters but no observability of the state (``partial knowledge''), and zero knowledge or observability (``zero knowledge''). We demonstrate the importance of making the right assumptions about attackers, given significant differences in outcomes. Furthermore, there is a measurable trade-off between false-positives and true-positives in terms of attacker outcomes, suggesting that a more false-positive prone environment may be acceptable under conditions where true-positives are also higher.


title: Mitigating Spurious Correlations for Self-supervised Recommendation

abstract: Recent years have witnessed the great success of self-supervised learning (SSL) in recommendation systems. However, SSL recommender models are likely to suffer from spurious correlations, leading to poor generalization. To mitigate spurious correlations, existing work usually pursues ID-based SSL recommendation or utilizes feature engineering to identify spurious features. Nevertheless, ID-based SSL approaches sacrifice the positive impact of invariant features, while feature engineering methods require high-cost human labeling. To address the problems, we aim to automatically mitigate the effect of spurious correlations. This objective requires to 1) automatically mask spurious features without supervision, and 2) block the negative effect transmission from spurious features to other features during SSL. To handle the two challenges, we propose an invariant feature learning framework, which first divides user-item interactions into multiple environments with distribution shifts and then learns a feature mask mechanism to capture invariant features across environments. Based on the mask mechanism, we can remove the spurious features for robust predictions and block the negative effect transmission via mask-guided feature augmentation. Extensive experiments on two datasets demonstrate the effectiveness of the proposed framework in mitigating spurious correlations and improving the generalization abilities of SSL models. The code is available at https://github.com/Linxyhaha/IFL.


title: On The Relevance Of The Differences Between HRTF Measurement Setups For Machine Learning

abstract: As spatial audio is enjoying a surge in popularity, data-driven machine learning techniques that have been proven successful in other domains are increasingly used to process head-related transfer function measurements. However, these techniques require much data, whereas the existing datasets are ranging from tens to the low hundreds of datapoints. It therefore becomes attractive to combine multiple of these datasets, although they are measured under different conditions. In this paper, we first establish the common ground between a number of datasets, then we investigate potential pitfalls of mixing datasets. We perform a simple experiment to test the relevance of the remaining differences between datasets when applying machine learning techniques. Finally, we pinpoint the most relevant differences.


title: The exponential ordering for non-autonomous delay systems with applications to compartmental Nycholson systems

abstract: The exponential ordering is exploited in the context of non-auto\-no\-mous delay systems, inducing monotone skew-product semiflows under less restrictive conditions than usual. Some dynamical concepts linked to the order, such as semiequilibria, are considered for the exponential ordering, with implications for the determination of the presence of uniform persistence or the existence of global attractors. Also, some important conclusions on the long-term dynamics and attraction are obtained for monotone and sublinear delay systems for this ordering. The results are then applied to almost periodic Nicholson systems and new conditions are given for the existence of a unique almost periodic positive solution which asymptotically attracts every other positive solution.


title: The Impact of Socioeconomic Factors on Health Disparities

abstract: High-quality healthcare in the US can be cost-prohibitive for certain socioeconomic groups. In this paper, we examined data from the US Census and the CDC to determine the degree to which specific socioeconomic factors correlate with both specific and general health metrics. We employed visual analysis to find broad trends and predictive modeling to identify more complex relationships between variables. Our results indicate that certain socioeconomic factors, like income and educational attainment, are highly correlated with aggregate measures of health.


title: Machine learning for decision-making under uncertainty

abstract: We live in a world brimming with uncertainty, where we constantly have to make a lot of decisions under incomplete information. We are firm believers that our subjective belief cannot be computed by rigorous mathematical formula; instead based on Darwin's natural selection (the evolution process is simulated by machine learning with genetic programming), a proposed computational model that incorporates insights from quantum theory to describe and explain decision-making under uncertainty. Unlike other decision-making theories that explain the decision-making process through probability theory, our proposed decision theory discovers "laws" of thought by learning observed historical data. There is no differential equation and no transition probability in our decision theory, our decision model has an emphasis on machine learning, where decision-makers build-up their experience by being rewarded or punished for each decision they make and prepare them for making better decisions in the future. We do not model with the usual utility function, but with quantum decision tree that simulates people's decision process. Each quantum decision tree includes a set of strategies; every time a decision is made, the decision-maker first chooses a strategy from the quantum decision tree's strategy pool, and then chooses an action based on the degree of belief which is obtained by genetic programming based on maximizing expected value.


title: Quadratic transportation cost in the conditional central limit theorem for dependent sequences

abstract: In this paper, we give estimates of the quadratic transportation cost in the conditional central limit theorem for a large class of dependent sequences. Applications to irreducible Markov chains, dynamical systems generated by intermittent maps and $\tau$-mixing sequences are given.


title: Secure Over-the-Air Computation using Zero-Forced Artificial Noise

abstract: Over-the-air computation has the potential to increase the communication-efficiency of data-dependent distributed wireless systems, but is vulnerable to eavesdropping. We consider over-the-air computation over block-fading additive white Gaussian noise channels in the presence of a passive eavesdropper. The goal is to design a secure over-the-air computation scheme. We propose a scheme that achieves MSE-security against the eavesdropper by employing zero-forced artificial noise, while keeping the distortion at the legitimate receiver small. In contrast to former approaches, the security does not depend on external helper nodes to jam the eavesdropper's received signal. We thoroughly design the system parameters of the scheme, propose an artificial noise design that harnesses unused transmit power for security, and give an explicit construction rule. Our design approach is applicable in both cases, if the eavesdropper's channel coefficients are known and if they are unknown in the signal design. Simulations demonstrate the performance, and show that our noise design outperforms other methods.


title: Tunneling effect in two dimensions with vanishing magnetic fields

abstract: In this paper, we consider the semiclassical 2D magnetic Schr{\"o}dinger operator in the case where the magnetic field vanishes along a smooth closed curve. Assuming that this curve has an axis of symmetry, we prove that semi-classical tunneling occurs. The main result is an expression the splitting of the first two eigenvalues and an explicit tunneling formula.


title: Making the Solar System

abstract: We model the early stages of planet formation in the Solar System, including continual planetesimal formation, and planetesimal and pebble accretion onto planetary embryos in an evolving disk driven by a disk wind. The aim is to constrain aspects of planet formation that have large uncertainties by matching key characteristics of the Solar System. The model produces a good fit to these characteristics for a narrow range of parameter space. Planetary growth beyond the ice line is dominated by pebble accretion. Planetesimal accretion is more important inside the ice line. Pebble accretion inside the ice line is slowed by higher temperatures, partial removal of inflowing pebbles by planetesimal formation and pebble accretion further out in the disk, and increased radial velocities due to gas advection. The terrestrial planets are prevented from accreting much water ice because embryos beyond the ice line reach the pebble isolation mass before the ice line enters the terrestrial-planet region. When only pebble accretion is considered, embryos typically remain near their initial mass or grow to the pebble-isolation mass. Adding planetesimal accretion allows Mars-sized objects to form inside the ice line, and allows giant-planet cores to form over a wider region beyond the ice line. In the region occupied by Mercury, pebble Stokes numbers are small. This delays the formation of embryos and stunts their growth, so that only low-mass planets can form here.


title: The N5K Challenge: Non-Limber Integration for LSST Cosmology

abstract: The rapidly increasing statistical power of cosmological imaging surveys requires us to reassess the regime of validity for various approximations that accelerate the calculation of relevant theoretical predictions. In this paper, we present the results of the 'N5K non-Limber integration challenge', the goal of which was to quantify the performance of different approaches to calculating the angular power spectrum of galaxy number counts and cosmic shear data without invoking the so-called 'Limber approximation', in the context of the Rubin Observatory Legacy Survey of Space and Time (LSST). We quantify the performance, in terms of accuracy and speed, of three non-Limber implementations: ${\tt FKEM (CosmoLike)}$, ${\tt Levin}$, and ${\tt matter}$, themselves based on different integration schemes and approximations. We find that in the challenge's fiducial 3x2pt LSST Year 10 scenario, ${\tt FKEM (CosmoLike)}$ produces the fastest run time within the required accuracy by a considerable margin, positioning it favourably for use in Bayesian parameter inference. This method, however, requires further development and testing to extend its use to certain analysis scenarios, particularly those involving a scale-dependent growth rate. For this and other reasons discussed herein, alternative approaches such as ${\tt matter}$ and ${\tt Levin}$ may be necessary for a full exploration of parameter space. We also find that the usual first-order Limber approximation is insufficiently accurate for LSST Year 10 3x2pt analysis on $\ell=200-1000$, whereas invoking the second-order Limber approximation on these scales (with a full non-Limber method at smaller $\ell$) does suffice.


title: Entropy minimizing distributions are worst-case optimal importance proposals

abstract: Importance sampling of target probability distributions belonging to a given convex class is considered. Motivated by previous results, the cost of importance sampling is quantified using the relative entropy of the target with respect to proposal distributions. Using a reference measure as a reference for cost, we prove under some general conditions that the worst-case optimal proposal is precisely given by the distribution minimizing entropy with respect to the reference within the considered convex class of distributions. The latter conditions are in particular satisfied when the convex class is defined using a push-forward map defining atomless conditional measures. Applications in which the optimal proposal is Gibbsian and can be practically sampled using Monte Carlo methods are discussed.


title: A pde with drift of negative Besov index and linear growth solutions

abstract: This paper investigates a class of PDEs with coefficients in negative Besov spaces and whose solutions have linear growth. We show existence and uniqueness of mild and weak solutions, which are equivalent in this setting, and several continuity results. To this aim, we introduce ad-hoc Besov-H{\"o}lder type spaces that allow for linear growth, and investigate the action of the heat semigroup on them. We conclude the paper by introducing a special subclass of these spaces which has the useful property to be separable.


title: Cosmic tidal reconstruction in redshift space

abstract: The gravitational coupling between large- and small-scale density perturbations leads to anisotropic distortions to the local small-scale matter fluctuations. Such local anisotropic distortions can be used to reconstruct the large-scale matter distribution, known as tidal reconstruction. In this paper, we apply the tidal reconstruction methods to simulated galaxies in redshift space. We find that redshift-space distortions lead to anisotropic reconstruction results. While the reconstructed radial modes are more noisy mainly due to the small-scale velocity dispersion, the transverse modes are still reconstructed with high fidelity, well correlated with the original large-scale density modes. The bias of the reconstructed field at large scales shows a simple angular dependence which can be described by a form similar to the linear redshift-space distortion. The noise power spectrum is nearly isotropic and scale-independent on large scales. This makes the reconstructed tides field an ideal tracer for cosmic variance cancellation and multi-tracer analysis and has profound implications for future 21~cm intensity mapping surveys.


title: Preconditioned Chebyshev BiCG for parameterized linear systems

abstract: We consider the problem of approximating the solution to $A(\mu) x(\mu) = b$ for many different values of the parameter $\mu$. Here we assume $A(\mu)$ is large, sparse, and nonsingular with a nonlinear dependence on $\mu$. Our method is based on a companion linearization derived from an accurate Chebyshev interpolation of $A(\mu)$ on the interval $[-a,a]$, $a \in \mathbb{R}$. The solution to the linearization is approximated in a preconditioned BiCG setting for shifted systems, where the Krylov basis matrix is formed once. This process leads to a short-term recurrence method, where one execution of the algorithm produces the approximation to $x(\mu)$ for many different values of the parameter $\mu \in [-a,a]$ simultaneously. In particular, this work proposes one algorithm which applies a shift-and-invert preconditioner exactly as well as an algorithm which applies the preconditioner inexactly. The competitiveness of the algorithms are illustrated with large-scale problems arising from a finite element discretization of a Helmholtz equation with parameterized material coefficient. The software used in the simulations is publicly available online, and thus all our experiments are reproducible.


title: On the bridge hypothesis in the glass transition of freestanding polymer films

abstract: Freestanding thin polymer films with high molecular weights exhibit an anomalous decrease in the glass-transition temperature with film thickness. Specifically, in such materials, the measured glass-transition temperature evolves in an affine way with the film thickness, with a slope that weakly depends on the molecular weight. De Gennes proposed a sliding mechanism as the hypothetical dominant relaxation process in these systems, where stress kinks could propagate in a reptation-like fashion through so called bridges, i.e. from one free interface to the other along the backbones of polymer macromolecules. Here, by considering the exact statistics of finite-sized random walks within a confined box, we investigate in details the bridge hypothesis. We show that the sliding mechanism cannot reproduce the basic features appearing in the experiments, and we exhibit the fundamental reasons behind such a fact.

categories: cond-mat.mtrl-sci cond-mat.soft cond-mat.stat-mech physics.class-ph


title: Approximations in Deep Learning

abstract: The design and implementation of Deep Learning (DL) models is currently receiving a lot of attention from both industrials and academics. However, the computational workload associated with DL is often out of reach for low-power embedded devices and is still costly when run on datacenters. By relaxing the need for fully precise operations, Approximate Computing (AxC) substantially improves performance and energy efficiency. DL is extremely relevant in this context, since playing with the accuracy needed to do adequate computations will significantly enhance performance, while keeping the quality of results in a user-constrained range. This chapter will explore how AxC can improve the performance and energy efficiency of hardware accelerators in DL applications during inference and training.


title: Real-time Sampling-based Model Predictive Control based on Reverse Kullback-Leibler Divergence and Its Adaptive Acceleration

abstract: Sampling-based model predictive control (MPC) can be applied to versatile robotic systems. However, the real-time control with it is a big challenge due to its unstable updates and poor convergence. This paper tackles this challenge with a novel derivation from reverse Kullback-Leibler divergence, which has a mode-seeking behavior and is likely to find one of the sub-optimal solutions early. With this derivation, a weighted maximum likelihood estimation with positive/negative weights is obtained, solving by mirror descent (MD) algorithm. While the negative weights eliminate unnecessary actions, that requires to develop a practical implementation that avoids the interference with positive/negative updates based on rejection sampling. In addition, although the convergence of MD can be accelerated with Nesterov's acceleration method, it is modified for the proposed MPC with a heuristic of a step size adaptive to the noise estimated in update amounts. In the real-time simulations, the proposed method can solve more tasks statistically than the conventional method and accomplish more complex tasks only with a CPU due to the improved acceleration. In addition, its applicability is also demonstrated in a variable impedance control of a force-driven mobile robot. https://youtu.be/D8bFMzct1XM


title: Topology of chalcogen chains

abstract: We investigate the topological properties of the helical atomic chains occurring in elemental selenium and tellurium. We postulate a realistic model that includes spin-orbit interaction and show this to be topologically non-trivial, with a topological invariant protected by a crystalline symmetry. We describe the end-states, which are orbitally polarized, with an orbital density modulation strongly peaked at the edge. Furthermore, we propose a simplified model that decomposes into three orbital chains, allowing us to define a topological invariant protected by a crystalline symmetry. We contrast this result with recent observations made for the orbital Su-Schrieffer-Heeger model containing a $p$-orbital zigzag chain.


title: Analytic normal forms for planar resonant saddle vector fields

abstract: We give essentially unique ``normal forms'' for germs of a holomorphic vector field of the complex plane in the neighborhood of an isolated singularity which is a p:q resonant-saddle. Hence each vector field of that type is conjugate, by a germ of a biholomorphic map at the singularity, to a preferred element of an explicit family of vector fields. These model vector fields are polynomial in the resonant monomial.Abstract. This work is a followup of a similar result obtained for parabolic diffeomorphisms which are tangent to the identity, and solves the long standing problem of finding explicit local analytic models for resonant saddle vector fields.


title: Forced waves of a three species predator-prey system with a pair of weak-strong competing preys in a shifting environment

abstract: In this paper, we investigate so-called forced wave solutions of a three components reaction-diffusion system from population dynamics. Our system involves three species that are respectively two competing preys and one predator; moreover, the competition between both preys is strong, i.e. in the absence of the predator, one prey is driven to extinction and the other survives. Furthermore, our problem includes a spatio-temporal heterogeneity in a moving variable that typically stands as a model for climate shift. In this context, forced waves are special stationary solutions which are expected to describe the large-time behavior of solutions, and in particular to provide criteria on the climate shift speed to allow survival of either of the three species. We will consider several types of forced waves to deal with various situations depending on which species are indigenous and which species are aboriginal.


title: Combinatorial identities using Bernoulli Graphs

abstract: In here, I present a series of combinatorial equalities derived using a graph based approach. Different nodes in the graphs are visited following probabilistic dynamics of a moving dot. The results are presented in such a way that the generalisation (to more nodes, or dimensions) is straightforward. At an instant m, we "take a picture" of the system and we compute the probabilities of being at particular positions in space. The sum of all these probabilities is equal to one.


title: Uniform stability and chaotic dynamics in nonhomogeneous linear dissipative scalar ordinary differential equations

abstract: The paper analyzes the structure and the inner long-term dynamics of the invariant compact sets for the skewproduct flow induced by a family of time-dependent ordinary differential equations of nonhomogeneous linear dissipative type. The main assumptions are made on the dissipative term and on the homogeneous linear term of the equations. The rich casuistic includes the uniform stability of the invariant compact sets, as well as the presence of Li-Yorke chaos and Auslander-Yorke chaos inside the attractor.


title: Metal Mesh-Based Infrared Transparent Electromagnetic Shielding Windows with Balanced Shielding Properties over a Wide Frequency Range

abstract: With the increasing complexity of the electromagnetic environment, electromagnetic interference has already been an important problem for optoelectronic systems to be reckoned with. The metal mesh film is a kind of widely used electromagnetic shielding material with both visible and infrared transparency. However, the shielding performance of previously reported mesh materials is frequency dependent. Here, we report an infrared-transparent electromagnetic shielding windows based on metal mesh with irregular patterns. The mesh coatings are prepared on sapphire substrate using ultraviolet photolithography technology, and provide efficient electromagnetic shielding effectiveness of more than 20 dB in the wide frequency range of 1.7~18 GHz while maintaining high infrared optical transparency. In addition, there is no distinct variation in shielding effectiveness between low and high frequency range, exhibiting a balanced shielding characteristic throughout a broad frequency band. This work could be significant in protecting infrared optoelectronic devices from electromagnetic interference.


title: The Thermomajorization Polytope and Its Degeneracies

abstract: Drawing inspiration from transportation theory, in this work we introduce the notions of "well-structured" and "stable" Gibbs states and we investigate their implications for quantum thermodynamics and its resource theory approach via thermal operations. It turns out that, in the quasi-classical realm, global cyclic state transfers are impossible if and only if the Gibbs state is stable. Moreover, using a geometric approach by studying the so-called thermomajorization polytope we prove that any subspace in equilibrium can be brought out of equilibrium via thermal operations. Interestingly, the case of some subsystem being in equilibrium can be witnessed via degenerate extreme points of the thermomajorization polytope, assuming the Gibbs state of the system is well structured. These physical considerations are complemented by simple new constructions for the polytope's extreme points as well as for an important class of extremal Gibbs-stochastic matrices.


title: Cosmic-ray electrons and the magnetic field of the North Polar Spur

abstract: The recent confirmation of the bipolarity of the eROSITA bubbles suggests that the well-known North Polar Spur (NPS)/Loop I probably is a 10 kpc sized relic in the Galactic halo and not a small local structure near the Sun. By virtue of multiwavelength observations of the NPS, unprecedentedly precise parameter constraints on the cosmic-ray electrons (CRes) and magnetic field in the post-shock halo medium can be provided. The parameters of the CRes and the magnetic field can be derived independently by modeling the gamma-ray and the radio data of the NPS via inverse Compton scattering and synchrotron emission, respectively. Our main results are (1) that the energy density of the CRe is (3-6)$\times 10^{-14}$ erg cm$^{-3}$, and the spectral index is $p\simeq 2.0\pm 0.1, $ below the cooling break energy of about 5 GeV; (2) that the magnetic field strength is 3 $\mu$G; and (3) that the shock acceleration efficiency of the CRe is (1-2)%. Given the Mach number of 1.5, the high acceleration efficiency and flat spectrum of the CRe suggest that preexisting relativistic electrons may be reaccelerated in the NPS. Alternatively, these CRes could be accelerated by an evolving shock in the early epoch when its Mach number is high, and efficiently diffuse throughout the post-shock halo gas. In addition, the cooling break energy suggests that the cooling timescale is $10^7$ yr, which agrees with the age of the eROSITA bubbles.


title: Discovery of TOI-1260d and the characterisation of the multi-planet system

abstract: We report the discovery of a third planet transiting the star TOI-1260, previously known to host two transiting sub-Neptune planets with orbital periods of 3.127 and 7.493 days, respectively. The nature of the third transiting planet with a 16.6-day orbit is supported by ground-based follow-up observations, including time-series photometry, high-angular resolution images, spectroscopy, and archival imagery. Precise photometric monitoring with CHEOPS allows to improve the constraints on the parameters of the system, improving our knowledge on their composition. The improved radii of TOI-1260b, TOI-1260c are $2.36 \pm 0.06 \rm R_{\oplus}$, $2.82 \pm 0.08 \rm R_{\oplus}$, respectively while the newly discovered third planet has a radius of $3.09 \pm 0.09 \rm R_{\oplus}$. The radius uncertainties are in the range of 3\%, allowing a precise interpretation of the interior structure of the three planets. Our planet interior composition model suggests that all three planets in the TOI-1260 system contains some fraction of gas. The innermost planet TOI-1260b has most likely lost all of its primordial hydrogen-dominated envelope. Planets c and d were also likely to have experienced significant loss of atmospheric through escape, but to a lesser extent compared to planet b.


title: Quantitative Steinitz Theorem: A polynomial bound

abstract: The classical Steinitz theorem states that if the origin belongs to the interior of the convex hull of a set $S \subset \mathbb{R}^d$, then there are at most $2d$ points of $S$ whose convex hull contains the origin in the interior. B\'ar\'any, Katchalski, and Pach proved the following quantitative version of Steinitz's theorem. Let $Q$ be a convex polytope in $\mathbb{R}^d$ containing the standard Euclidean unit ball $\mathbf{B}^d$. Then there exist at most $2d$ vertices of $Q$ whose convex hull $Q^\prime$ satisfies \[ r \mathbf{B}^d \subset Q^\prime \] with $r\geq d^{-2d}$. They conjectured that $r\geq c d^{-1/2}$ holds with a universal constant $c>0$. We prove $r \geq \frac{1}{5d^2}$, the first polynomial lower bound on $r$. Furthermore, we show that $r$ is not be greater than $\frac{2}{\sqrt{d}}$.


title: Deep Variational Inverse Scattering

abstract: Inverse medium scattering solvers generally reconstruct a single solution without an associated measure of uncertainty. This is true both for the classical iterative solvers and for the emerging deep learning methods. But ill-posedness and noise can make this single estimate inaccurate or misleading. While deep networks such as conditional normalizing flows can be used to sample posteriors in inverse problems, they often yield low-quality samples and uncertainty estimates. In this paper, we propose U-Flow, a Bayesian U-Net based on conditional normalizing flows, which generates high-quality posterior samples and estimates physically-meaningful uncertainty. We show that the proposed model significantly outperforms the recent normalizing flows in terms of posterior sample quality while having comparable performance with the U-Net in point estimation.


title: Montague semantics and modifier consistency measurement in neural language models

abstract: In recent years, distributional language representation models have demonstrated great practical success. At the same time, the need for interpretability has elicited questions on their intrinsic properties and capabilities. Crucially, distributional models are often inconsistent when dealing with compositional phenomena in natural language, which has significant implications for their safety and fairness. Despite this, most current research on compositionality is directed towards improving their performance on similarity tasks only. This work takes a different approach, and proposes a methodology for measuring compositional behavior in contemporary language models. Specifically, we focus on adjectival modifier phenomena in adjective-noun phrases. We introduce three novel tests of compositional behavior inspired by Montague semantics. Our experimental results indicate that current neural language models behave according to the expected linguistic theories to a limited extent only. This raises the question of whether these language models are not able to capture the semantic properties we evaluated, or whether linguistic theories from Montagovian tradition would not match the expected capabilities of distributional models.


title: Twin-field quantum key distribution without phase locking

abstract: Twin-field quantum key distribution (TF-QKD) has emerged as a promising solution for practical quantum communication over long-haul fiber. However, previous demonstrations on TF-QKD require the phase locking technique to coherently control the twin light fields, inevitably complicating the system with extra fiber channels and peripheral hardware. Here we propose and demonstrate an approach to recover the single-photon interference pattern and realize TF-QKD \emph{without} phase locking. Our approach separates the communication time into reference frames and quantum frames, where the reference frames serve as a flexible scheme for establishing the global phase reference. To do so, we develop a tailored algorithm based on fast Fourier transform to efficiently reconcile the phase reference via data post-processing. We demonstrate no-phase-locking TF-QKD from short to long distances over standard optical fibers. At 50-km standard fiber, we produce a high secret key rate (SKR) of 1.27 Mbit/s, while at 504-km standard fiber, we obtain the repeater-like key rate scaling with a SKR of 34 times higher than the repeaterless secret key capacity. Our work provides a scalable and practical solution to TF-QKD, thus representing an important step towards its wide applications.


title: Permutation Polynomials of $\mathbb{F}_{q^2}$ : A Linear Algebraic Approach

abstract: In this paper, we present a linear algebraic approach to the study of permutation polynomials that arise from linear maps over a finite field $\mathbb{F}_{q^2}$. We study a particular class of permutation polynomials over $\mathbb{F}_{q^2}$, in the context of rank deficient and full rank linear maps over $\mathbb{F}_{q^2}$. We derive necessary and sufficient conditions under which the given class of polynomials are permutation polynomials. We further show that the number of such permutation polynomials can be easily enumerated. Only a subset of these permutation polynomials have been reported in literature earlier. It turns out that this class of permutation polynomials have compositional inverses of the same kind and we provide algorithms to evaluate the compositional inverses of most of these permutation polynomials.


title: Scalable, low-cost, and versatile system design for air pollution and traffic density monitoring and analysis

abstract: Vietnam requires a sustainable urbanization, for which city sensing is used in planning and de-cision-making. Large cities need portable, scalable, and inexpensive digital technology for this purpose. End-to-end air quality monitoring companies such as AirVisual and Plume Air have shown their reliability with portable devices outfitted with superior air sensors. They are pricey, yet homeowners use them to get local air data without evaluating the causal effect. Our air quality inspection system is scalable, reasonably priced, and flexible. Minicomputer of the sys-tem remotely monitors PMS7003 and BME280 sensor data through a microcontroller processor. The 5-megapixel camera module enables researchers to infer the causal relationship between traffic intensity and dust concentration. The design enables inexpensive, commercial-grade hardware, with Azure Blob storing air pollution data and surrounding-area imagery and pre-venting the system from physically expanding. In addition, by including an air channel that re-plenishes and distributes temperature, the design improves ventilation and safeguards electrical components. The gadget allows for the analysis of the correlation between traffic and air quali-ty data, which might aid in the establishment of sustainable urban development plans and poli-cies.


title: A Scale-Arbitrary Image Super-Resolution Network Using Frequency-domain Information

abstract: Image super-resolution (SR) is a technique to recover lost high-frequency information in low-resolution (LR) images. Spatial-domain information has been widely exploited to implement image SR, so a new trend is to involve frequency-domain information in SR tasks. Besides, image SR is typically application-oriented and various computer vision tasks call for image arbitrary magnification. Therefore, in this paper, we study image features in the frequency domain to design a novel scale-arbitrary image SR network. First, we statistically analyze LR-HR image pairs of several datasets under different scale factors and find that the high-frequency spectra of different images under different scale factors suffer from different degrees of degradation, but the valid low-frequency spectra tend to be retained within a certain distribution range. Then, based on this finding, we devise an adaptive scale-aware feature division mechanism using deep reinforcement learning, which can accurately and adaptively divide the frequency spectrum into the low-frequency part to be retained and the high-frequency one to be recovered. Finally, we design a scale-aware feature recovery module to capture and fuse multi-level features for reconstructing the high-frequency spectrum at arbitrary scale factors. Extensive experiments on public datasets show the superiority of our method compared with state-of-the-art methods.


title: Non-cutoff Boltzmann equation with soft potentials in the whole space

abstract: We prove the existence and uniqueness of global solutions to the Boltzmann equation with non-cutoff soft potentials in the whole space when the initial data is a small perturbation of a Maxwellian with polynomial decay in velocity. Our method is based in the decomposition of the desired solution into two parts: one with polynomial decay in velocity satisfying the Boltzmann equation with only a dissipative part of the linearized operator ; the other with Gaussian decay in velocity verifying the Boltzmann equation with a coupling term.


title: Bio-Inspired, Task-Free Continual Learning through Activity Regularization

abstract: The ability to sequentially learn multiple tasks without forgetting is a key skill of biological brains, whereas it represents a major challenge to the field of deep learning. To avoid catastrophic forgetting, various continual learning (CL) approaches have been devised. However, these usually require discrete task boundaries. This requirement seems biologically implausible and often limits the application of CL methods in the real world where tasks are not always well defined. Here, we take inspiration from neuroscience, where sparse, non-overlapping neuronal representations have been suggested to prevent catastrophic forgetting. As in the brain, we argue that these sparse representations should be chosen on the basis of feed forward (stimulus-specific) as well as top-down (context-specific) information. To implement such selective sparsity, we use a bio-plausible form of hierarchical credit assignment known as Deep Feedback Control (DFC) and combine it with a winner-take-all sparsity mechanism. In addition to sparsity, we introduce lateral recurrent connections within each layer to further protect previously learned representations. We evaluate the new sparse-recurrent version of DFC on the split-MNIST computer vision benchmark and show that only the combination of sparsity and intra-layer recurrent connections improves CL performance with respect to standard backpropagation. Our method achieves similar performance to well-known CL methods, such as Elastic Weight Consolidation and Synaptic Intelligence, without requiring information about task boundaries. Overall, we showcase the idea of adopting computational principles from the brain to derive new, task-free learning algorithms for CL.


title: Constraints on the design of neuromorphic circuits set by the properties of neural population codes

abstract: In the brain, information is encoded, transmitted and used to inform behaviour at the level of timing of action potentials distributed over population of neurons. To implement neural-like systems in silico, to emulate neural function, and to interface successfully with the brain, neuromorphic circuits need to encode information in a way compatible to that used by populations of neuron in the brain. To facilitate the cross-talk between neuromorphic engineering and neuroscience, in this Review we first critically examine and summarize emerging recent findings about how population of neurons encode and transmit information. We examine the effects on encoding and readout of information for different features of neural population activity, namely the sparseness of neural representations, the heterogeneity of neural properties, the correlations among neurons, and the time scales (from short to long) at which neurons encode information and maintain it consistently over time. Finally, we critically elaborate on how these facts constrain the design of information coding in neuromorphic circuits. We focus primarily on the implications for designing neuromorphic circuits that communicate with the brain, as in this case it is essential that artificial and biological neurons use compatible neural codes. However, we also discuss implications for the design of neuromorphic systems for implementation or emulation of neural computation.


title: Power Consumption Modeling of 5G Multi-Carrier Base Stations: A Machine Learning Approach

abstract: The fifth generation of the Radio Access Network (RAN) has brought new services, technologies, and paradigms with the corresponding societal benefits. However, the energy consumption of 5G networks is today a concern. In recent years, the design of new methods for decreasing the RAN power consumption has attracted interest from both the research community and standardization bodies, and many energy savings solutions have been proposed. However, there is still a need to understand the power consumption behavior of state-ofthe-art base station architectures, such as multi-carrier active antenna units (AAUs), as well as the impact of different network parameters. In this paper, we present a power consumption model for 5G AAUs based on artificial neural networks. We demonstrate that this model achieves good estimation performance, and it is able to capture the benefits of energy saving when dealing with the complexity of multi-carrier base stations architectures. Importantly, multiple experiments are carried out to show the advantage of designing a general model able to capture the power consumption behaviors of different types of AAUs. Finally, we provide an analysis of the model scalability and the training data requirements.


title: On the Robustness of Normalizing Flows for Inverse Problems in Imaging

abstract: Conditional normalizing flows can generate diverse image samples for solving inverse problems. Most normalizing flows for inverse problems in imaging employ the conditional affine coupling layer that can generate diverse images quickly. However, unintended severe artifacts are occasionally observed in the output of them. In this work, we address this critical issue by investigating the origins of these artifacts and proposing the conditions to avoid them. First of all, we empirically and theoretically reveal that these problems are caused by "exploding inverse" in the conditional affine coupling layer for certain out-of-distribution (OOD) conditional inputs. Then, we further validated that the probability of causing erroneous artifacts in pixels is highly correlated with a Mahalanobis distance-based OOD score for inverse problems in imaging. Lastly, based on our investigations, we propose a remark to avoid exploding inverse and then based on it, we suggest a simple remedy that substitutes the affine coupling layers with the modified rational quadratic spline coupling layers in normalizing flows, to encourage the robustness of generated image samples. Our experimental results demonstrated that our suggested methods effectively suppressed critical artifacts occurring in normalizing flows for super-resolution space generation and low-light image enhancement.


title: A 65nm 8b-Activation 8b-Weight SRAM-Based Charge-Domain Computing-in-Memory Macro Using A Fully-Parallel Analog Adder Network and A Single-ADC Interface

abstract: Performing data-intensive tasks in the von Neumann architecture is challenging to achieve both high performance and power efficiency due to the memory wall bottleneck. Computing-in-memory (CiM) is a promising mitigation approach by enabling parallel in-situ multiply-accumulate (MAC) operations within the memory with support from the peripheral interface and datapath. SRAM-based charge-domain CiM (CD-CiM) has shown its potential of enhanced power efficiency and computing accuracy. However, existing SRAM-based CD-CiM faces scaling challenges to meet the throughput requirement of high-performance multi-bit-quantization applications. This paper presents an SRAM-based high-throughput ReLU-optimized CD-CiM macro. It is capable of completing MAC and ReLU of two signed 8b vectors in one CiM cycle with only one A/D conversion. Along with non-linearity compensation for the analog computing and A/D conversion interfaces, this work achieves 51.2GOPS throughput and 10.3TOPS/W energy efficiency, while showing 88.6% accuracy in the CIFAR-10 dataset.


title: Modularity and Architecture of PLC-based Software for Automated Production Systems: An analysis in industrial companies

abstract: Adaptive and flexible production systems require modular and reusable software especially considering their long term life cycle of up to 50 years. SWMAT4aPS, an approach to measure Software Maturity for automated Production Systems is introduced. The approach identifies weaknesses and strengths of various companie's solutions for modularity of software in the design of automated Production Systems (aPS). At first, a self assessed questionnaire is used to evaluate a large number of companies concerning their software maturity. Secondly, we analyze PLC code, architectural levels, workflows and abilities to configure code automatically out of engineering information in four selected companies. In this paper, the questionnaire results from 16 German world leading companies in machine and plant manufacturing and four case studies validating the results from the detailed analyses are introduced to prove the applicability of the approach and give a survey of the state of the art in industry.


title: Encrypted machine learning of molecular quantum properties

abstract: Large machine learning models with improved predictions have become widely available in the chemical sciences. Unfortunately, these models do not protect the privacy necessary within commercial settings, prohibiting the use of potentially extremely valuable data by others. Encrypting the prediction process can solve this problem by double-blind model evaluation and prohibits the extraction of training or query data. However, contemporary ML models based on fully homomorphic encryption or federated learning are either too expensive for practical use or have to trade higher speed for weaker security. We have implemented secure and computationally feasible encrypted machine learning models using oblivious transfer enabling and secure predictions of molecular quantum properties across chemical compound space. However, we find that encrypted predictions using kernel ridge regression models are a million times more expensive than without encryption. This demonstrates a dire need for a compact machine learning model architecture, including molecular representation and kernel matrix size, that minimizes model evaluation costs.

categories: cs.CR cond-mat.mtrl-sci cs.LG physics.chem-ph


title: Ans\"atze for Noisy Variational Quantum Eigensolvers

abstract: The hardware requirements of useful quantum algorithms remain unmet by the quantum computers available today. Because it was designed to soften these requirements, the Variational Quantum Eigensolver (VQE) has gained popularity as a contender for a chance at quantum advantage with near-term quantum computers. The ansatz, a parameterized circuit that prepares trial states, can dictate the success (or lack thereof) of a VQE. Too deep ans\"atze can hinder near-term viability, or lead to trainability issues that render the algorithm inefficient. The purpose of this thesis was to analyse different ans\"atze proposed for quantum chemistry, examining their noise-resilience and viability in state-of-the-art quantum computers. In particular, dynamic ans\"atze (ADAPT-VQEs) were explored, and the impact of the choice of pool and selection criterion on their performance was analysed.


title: 3-D mesh compensated wavelet lifting for 3-D+t medical CT data

abstract: For scalable coding, a high quality of the lowpass band of a wavelet transform is crucial when it is used as a downscaled version of the original signal. However, blur and motion can lead to disturbing artifacts. By incorporating feasible compensation methods directly into the wavelet transform, the quality of the lowpass band can be improved. The displacement in dynamic medical 3-D+t volumes from Computed Tomography is mainly given by expansion and compression of tissue over time and can be modeled well by mesh-based methods. We extend a 2-D mesh-based compensation method to three dimensions to obtain a volume compensation method that can additionally compensate deforming displacements in the third dimension. We show that a 3-D mesh can obtain a higher quality of the lowpass band by 0.28 dB with less than 40% of the model parameters of a comparable 2-D mesh. Results from lossless coding with JPEG 2000 3D and SPECK3D show that the compensated subbands using a 3-D mesh need about 6% less data compared to using a 2-D mesh.


title: Lattice-Free Sequence Discriminative Training for Phoneme-Based Neural Transducers

abstract: Recently, RNN-Transducers have achieved remarkable results on various automatic speech recognition tasks. However, lattice-free sequence discriminative training methods, which obtain superior performance in hybrid models, are rarely investigated in RNN-Transducers. In this work, we propose three lattice-free training objectives, namely lattice-free maximum mutual information, lattice-free segment-level minimum Bayes risk, and lattice-free minimum Bayes risk, which are used for the final posterior output of the phoneme-based neural transducer with a limited context dependency. Compared to criteria using N-best lists, lattice-free methods eliminate the decoding step for hypotheses generation during training, which leads to more efficient training. Experimental results show that lattice-free methods gain up to 6.5% relative improvement in word error rate compared to a sequence-level cross-entropy trained model. Compared to the N-best-list based minimum Bayes risk objectives, lattice-free methods gain 40% - 70% relative training time speedup with a small degradation in performance.


title: Scalable Edge Blocking Algorithms for Defending Active Directory Style Attack Graphs

abstract: Active Directory (AD) is the default security management system for Windows domain networks. An AD environment naturally describes an attack graph where nodes represent computers/accounts/security groups, and edges represent existing accesses/known exploits that allow the attacker to gain access from one node to another. Motivated by practical AD use cases, we study a Stackelberg game between one attacker and one defender. There are multiple entry nodes for the attacker to choose from and there is a single target (Domain Admin). Every edge has a failure rate. The attacker chooses the attack path with the maximum success rate. The defender can block a limited number of edges (i.e., revoke accesses) from a set of blockable edges, limited by budget. The defender's aim is to minimize the attacker's success rate. We exploit the tree-likeness of practical AD graphs to design scalable algorithms. We propose two novel methods that combine theoretical fixed parameter analysis and practical optimisation techniques. For graphs with small tree widths, we propose a tree decomposition based dynamic program. We then propose a general method for converting tree decomposition based dynamic programs to reinforcement learning environments, which leads to an anytime algorithm that scales better, but loses the optimality guarantee. For graphs with small numbers of non-splitting paths (a parameter we invent specifically for AD graphs), we propose a kernelization technique that significantly downsizes the model, which is then solved via mixed-integer programming. Experimentally, our algorithms scale to handle synthetic AD graphs with tens of thousands of nodes.


title: Fuzzy Rough Sets Based on Fuzzy Quantification

abstract: One of the weaknesses of classical (fuzzy) rough sets is their sensitivity to noise, which is particularly undesirable for machine learning applications. One approach to solve this issue is by making use of fuzzy quantifiers, as done by the vaguely quantified fuzzy rough set (VQFRS) model. While this idea is intuitive, the VQFRS model suffers from both theoretical flaws as well as from suboptimal performance in applications. In this paper, we improve on VQFRS by introducing fuzzy quantifier-based fuzzy rough sets (FQFRS), an intuitive generalization of fuzzy rough sets that makes use of general unary and binary quantification models. We show how several existing models fit in this generalization as well as how it inspires novel ones. Several binary quantification models are proposed to be used with FQFRS. We conduct a theoretical study of their properties, and investigate their potential by applying them to classification problems. In particular, we highlight Yager's Weighted Implication-based (YWI) binary quantification model, which induces a fuzzy rough set model that is both a significant improvement on VQFRS, as well as a worthy competitor to the popular ordered weighted averaging based fuzzy rough set (OWAFRS) model.


title: Maintainability and evolvability of control software in machine and plant manufacturing -- An industrial survey

abstract: Automated Production Systems (aPS) have lifetimes of up to 30-50 years, throughout which the desired products change ever more frequently. This requires flexible, reusable control software that can be easily maintained and evolved. To evaluate selected criteria that are especially relevant for maturity in software maintainability and evolvability of aPS, the approach SWMAT4aPS+ builds on a questionnaire with 52 questions. The three main research questions cover updates of software modules and success factors for both cross-disciplinary development as well as reusable models. This paper presents the evaluation results of 68 companies from machine and plant manufacturing (MPM). Companies providing automation devices and/or engineering tools will be able to identify challenges their customers in MPM face. Validity is ensured through feedback of the participating companies and an analysis of the statistical unambiguousness of the results. From a software or systems engineering point of view, almost all criteria are fulfilled below expectations.


title: Fraud Analytics: A Decade of Research -- Organizing Challenges and Solutions in the Field

abstract: The literature on fraud analytics and fraud detection has seen a substantial increase in output in the past decade. This has led to a wide range of research topics and overall little organization of the many aspects of fraud analytical research. The focus of academics ranges from identifying fraudulent credit card payments to spotting illegitimate insurance claims. In addition, there is a wide range of methods and research objectives. This paper aims to provide an overview of fraud analytics in research and aims to more narrowly organize the discipline and its many subfields. We analyze a sample of almost 300 records on fraud analytics published between 2011 and 2020. In a systematic way, we identify the most prominent domains of application, challenges faced, performance metrics, and methods used. In addition, we build a framework for fraud analytical methods and propose a keywording strategy for future research. One of the key challenges in fraud analytics is access to public datasets. To further aid the community, we provide eight requirements for suitable data sets in research motivated by our research. We structure our sample of the literature in an online database. The database is available online for fellow researchers to investigate and potentially build upon.


title: Improving block-based compensated wavelet lifting by reconstructing unconnected pixels

abstract: This paper presents a new approach for improving the visual quality of the lowpass band of a compensated wavelet transform. A high quality of the lowpass band is very important as it can then be used as a downscaled version of the original signal. To adapt the transform to the signal, compensation methods can be implemented directly into the transform. We propose an improved inversion of the block-based motion compensation by processing unconnected pixels by a reconstruction method. We obtain a better subjective visual quality while furthermore saving up to 2.6% of bits for lossless coding.


title: D2D-aided LoRaWAN LR-FHSS in Direct-to-Satellite IoT Networks

abstract: In this paper, we present a device-to-device (D2D) transmission scheme for aiding long-range frequency hopping spread spectrum (LR-FHSS) LoRaWAN protocol with application in direct-to-satellite IoT networks. We consider a practical ground-to-satellite fading model, i.e. shadowed-Rice channel, and derive the outage performance of the LR-FHSS network. With the help of network coding, D2D-aided LR-FHSS transmission scheme is proposed to improve the network capacity for which a closed-form outage probability expression is also derived. The obtained analytical expressions for both LR-FHSS and D2D-aided LR-FHSS outage probabilities are validated by computer simulations for different parts of the analysis capturing the effects of noise, fading, unslotted ALOHA-based time scheduling, the receiver's capture effect, IoT device distributions, and distance from node to satellite. The total outage probability for the D2D-aided LR-FHSS shows a considerable increase of 249.9% and 150.1% in network capacity at a typical outage of 10^-2 for DR6 and DR5, respectively, when compared to LR-FHSS. This is obtained at the cost of minimum of one and maximum of two additional transmissions per each IoT end device imposed by the D2D scheme in each time-slot.


title: On the convergence of sequences in the space of $n$-iterated function systems with applications

abstract: This article discusses the notion of convergence of sequences of iterated function systems. The technique of iterated function systems is one of the several methods to construct objects with fractal nature, and the fractals obtained with this method are mostly self-similar. The progress in the theory of fractals has found potential applications in the fields of physical science, computer science, and economics in abundance. This paper considers the metric space of $n$- iterated function systems by introducing a metric function on the set of all iterated function systems on a complete metric space consisting of $n$ contraction functions. Further, sequences of $n$- iterated function systems with decreasing, eventually decreasing, Cauchy and convergent properties are discussed. Some results on sequences of $n$- iterated function systems and sequences of contractions are obtained. The practical usage of the theory discussed in the article is explored towards the end.


title: Pulsed laser deposition of Sb2S3 films for phase-change tunable nanophotonics

abstract: Non-volatile phase-change materials with large optical contrast are essential for future tunable nanophotonics. Antimony trisulfide (Sb2S3) has recently gained popularity in this field due to its low absorption in the visible spectral region. Although several Sb2S3 deposition techniques have been reported in the literature, none of them was optimized with respect to the lowest possible absorption and largest optical contrast upon the phase change. Here, we present a comprehensive multi-parameter optimization of pulsed laser deposition of Sb2S3 towards this end. We correlate the specific deposition and annealing parameters with the resulting optical properties and propose the combination leading to films with extraordinary qualities ({\Delta}n = 1.2 at 633 nm). Finally, we identify crystal orientations and vibrational modes associated with the largest change in the refractive index and propose them as useful indicators of the Sb2S3 switching contrast.


title: $\alpha$-cluster decay from $^{24}$Mg resonances produced in $^{12}$C($^{16}$O,$^{24}$Mg)$\alpha$ reaction

abstract: A transfer reaction and cluster-decay experiment, $^{12}$C($^{16}$O,$^{24}$Mg$\rightarrow$$\alpha$+$^{20}$Ne)$\alpha$, was performed at a beam energy of 96 MeV. Both recoil and decay $\alpha$ particles were detected in coincidence, allowing us to deduce the energy-momentum of a $^{20}$Ne fragment. A number of resonant states of $^{24}$Mg were reconstructed up to an excitation energy of approximately 30 MeV. Owing to the experimentally achieved excellent resolutions of the $Q$-value and excitation-energy spectra, the relative decay widths for each resonant state in $^{24}$Mg to various final states of $^{20}$Ne were extracted, alone with the total decay width. The obtained results provide good testing ground for theoretical descriptions of the multiple clustering configurations in $^{24}$Mg.


title: Contemporary Philosophical Perspectives on the Cosmological Constant

abstract: The (re)introduction of $\Lambda$ into cosmology has spurred debates that touch on central questions in philosophy of science, as well as the foundations of general relativity and particle physics. We provide a systematic assessment of the often implicit philosophical assumptions guiding the methodology of precision cosmology in relation to dark energy. We start by briefly introducing a recent account of scientific progress in terms of risky and constrained lines of inquiry. This allows us to contrast aspects of $\Lambda$ that make it relevantly different from other theoretical entities in science, such as its remoteness from direct observation or manipulability. We lay out a classification for possible ways to explain apparent accelerated expansion but conclude that these conceptually clear distinctions may blur heavily in practice. Finally, we consider the important role played in cosmology by critical tests of background assumptions, approximation techniques, and core principles, arguing that the weak anthropic principle fits into this category. We argue that some core typicality assumptions -- like the Copernican principle and the cosmological principle -- are necessary though not provable, while others -- like the strong anthropic principle and appeals to naturalness or probability in the multiverse -- are not similarly justifiable.


title: Formation of Dimers in Axion-Like Dark Matter Using the Feshbach Resonance

abstract: Within the model of self-gravitating Bose--Einstein condensate (BEC) dark matter (DM) it is argued that the axion-like self-interaction of ultralight bosons provides the existence of rarefied and dense phases, which are predicted earlier on the base of the models with polynomial-like self-interactions. Associating the very short scattering length in BEC DM with the predominant participating composites of few DM particles, we attempt to form a dimer of two particles at a quantum mechanical level, using a smooth $\mu$-deformation of the axion cosine-like potential and replacing the field-dependent argument with the distance between particles. Part of the obtained results concerns potential two-particle scattering with $\mu$-deformed interaction, and they allow us to focus on a special option with unique values of the deformation parameter $\mu=1$ and the coupling constant. In this case of the potential with an infinite scattering length, we get a rather simple solution for the dimer in the ground state. We involve two-channel scattering and Feshbach resonance to describe the formation of a dimer in space. Specifying the parameters of interactions, we reveal a long-lived resonance that occurs when a pair of particles jumps between the open and closed scattering channels with close energy values. This indicates the possibility of participation of such dimers in forming BEC DM halo of galaxies.


title: Symplectic symmetry and clustering in atomic nuclei

abstract: A new symplectic-based shell-model approach to clustering in atomic nuclei is proposed by considering the simple system $^{20}$Ne. Its relation to the collective excitations of this system is mentioned as well. The construction of the Pauli allowed Hilbert space of the cluster states with maximal permutational symmetry is given for the $^{16}$O+$^{4}$He $\rightarrow$ $^{20}$Ne channel in the case of one-component many-particle nuclear system. The equivalence of the obtained cluster model space to that of the semi-microscopic algebraic cluster model is demonstrated.


title: Club Exco: clustering brain extreme communities from multi-channel EEG data

abstract: Current methods for clustering nodes over time in a brain network are determined by cross-dependence measures, which are computed from the entire range of values of the electroencephalogram (EEG) signals, from low to high amplitudes. We here developed the Club Exco method for clustering brain communities that exhibit synchronized extreme behaviors. To cluster multi-channel EEG data, Club-Exco uses a spherical $k$-means procedure applied to the ``pseudo-angles,'' derived from extreme absolute amplitudes of EEG signals. With this approach, a cluster center is considered an ``extremal prototype,'' revealing a community of EEG nodes sharing the same extreme behavior, a feature that traditional methods fail to identify. Hence, Club Exco serves as an exploratory tool to classify EEG channels into mutually asymptotically dependent or asymptotically independent groups. It provides insights into how the brain network organizes itself during an extreme event (e.g., an epileptic seizure) in contrast to a baseline state. We apply the Club Exco method to investigate temporal differences in EEG brain connectivity networks of a patient diagnosed with epilepsy, a chronic neurological disorder affecting more than 50 million people globally. Our extreme-value method reveals substantial differences in alpha (8--12 Hertz) oscillations across the brain network compared to coherence-based methods.


title: Proceedings of the Young Researchers Workshop on Positivity in Lie Groups

abstract: These notes transcribe a workshop about the notion of total positivity and $\Theta$-positivity and its relation to Higher Teichm\"uller Theory. $\Theta$-positivity is a notion of positivity in semisimple Lie groups and was recently introduced by Guichard and Wienhard as a generalization of Lusztig's total positivity. It is believed to be the cathartic notion to classify higher Teichm\"uller spaces. Without doubt, substantial progress will be achieved in the near future on the study of $\Theta$-positive structures. These notes provide an account of the state of the art as of 2021.


title: QCD at the amplitude level: Fock state interference in heavy quark electroproduction

abstract: Quantum chromodynamics (QCD) rigorously predicts the existence of both nonperturbative intrinsic and perturbative extrinsic heavy quark contents of nucleons. In this article we discuss the heavy quark electroproduction on protons induced by the Fock states $|uud+g\rangle$ of three valence quarks in the proton and a nonperturbative gluon, and the $|uud+Q\bar Q\rangle$ non-perturbative state of three valence quarks and a heavy quark-antiquark pair. The first one gives the perturbative contribution when the gluon produces a heavy quark pair, while the second is the intrinsic part, and they produce amplitude interference. We use nonperturbative light-front wavefunctions for these Fock states, which are computed using the color-confining light-front holographic QCD theory. Due to interference of the amplitudes corresponding to the intrinsic and extrinsic heavy quark contribution to the proton a novel $Q$ vs. $\bar Q$ asymmetry emerges in the differential cross section of the electroproduction off a proton $d^2\sigma_{e^-p}/(dx dQ^2)$. Our analysis proposed a novel asymmetry in QCD between intrinsic and extrinsic heavy quark content in nucleon and provides new insights into the physics of heavy quark phenomena in QCD at the amplitude level. This asymmetry is similar to the Brodsky-Gillespie asymmetry discovered before in QED case and confirmed at DESY.


title: Reentrant phase transition in holographic thermodynamics of Born-Infeld AdS black hole

abstract: In this paper, we study the phase tranisions in the extended holographic thermodynamics of Born-Infeld AdS black holes. The extended gravitational thermodynamics of black holes is related to the thermodynamics of the dual field theory by varying both cosmological constant and Newton's constant. With topological analysis and numerical calculation, we find that the reentrant large-small-large black hole phase transition still exists in $D=4$. Interestingly, a similar reentrant phase transition is also observed in the dual field theory, between the high-, low- and high-entropy thermal states. For higher dimension $D>4$, only the van der Waals like phase transition is observed, both in the bulk and the dual field theory.


title: Development of a large-mass, low-threshold detector system with simultaneous measurements of athermal phonons and scintillation light

abstract: We have combined two low-threshold detector technologies to develop a large-mass, low-threshold detector system that simultaneously measures the athermal phonons in a sapphire detector while an adjacent silicon high-voltage detector detects the scintillation light from the sapphire detector. This detector system could provide event-by-event discrimination between electron and nuclear events due to the difference in their scintillation light yield. While such systems with simultaneous phonon and light detection have been demonstrated earlier with smaller detectors, our system is designed to provide a large detector mass with high amplification for the limited scintillation light. Future work will focus on at least an order of magnitude improvement in the light collection efficiency by having a highly reflective detector housing and custom phonon mask design to maximize light collection by the silicon high-voltage detector.


title: Improved Deep Neural Network Generalization Using m-Sharpness-Aware Minimization

abstract: Modern deep learning models are over-parameterized, where the optimization setup strongly affects the generalization performance. A key element of reliable optimization for these systems is the modification of the loss function. Sharpness-Aware Minimization (SAM) modifies the underlying loss function to guide descent methods towards flatter minima, which arguably have better generalization abilities. In this paper, we focus on a variant of SAM known as mSAM, which, during training, averages the updates generated by adversarial perturbations across several disjoint shards of a mini-batch. Recent work suggests that mSAM can outperform SAM in terms of test accuracy. However, a comprehensive empirical study of mSAM is missing from the literature -- previous results have mostly been limited to specific architectures and datasets. To that end, this paper presents a thorough empirical evaluation of mSAM on various tasks and datasets. We provide a flexible implementation of mSAM and compare the generalization performance of mSAM to the performance of SAM and vanilla training on different image classification and natural language processing tasks. We also conduct careful experiments to understand the computational cost of training with mSAM, its sensitivity to hyperparameters and its correlation with the flatness of the loss landscape. Our analysis reveals that mSAM yields superior generalization performance and flatter minima, compared to SAM, across a wide range of tasks without significantly increasing computational costs.


title: Performance Characterization of AutoNUMA Memory Tiering on Graph Analytics

abstract: Non-Volatile Memory (NVM) can deliver higher density and lower cost per bit when compared with DRAM. Its main drawback is that it is slower than DRAM. On the other hand, DRAM has scalability problems due to its cost and energy consumption. NVM will likely coexist with DRAM in computer systems and the biggest challenge is to know which data to allocate on each type of memory. A state-of-the-art approach is AutoNUMA, in the Linux kernel. Prior work is limited to measuring AutoNUMA solely in terms of the application execution time, without understanding AutoNUMA's behavior. In this work we provide a more in-depth characterization of AutoNUMA, for instance, identifying where exactly a set of pages are allocated, while keeping track of promotion and demotion decisions performed by AutoNUMA. Our analysis shows that AutoNUMA's benefits can be modest when running graph processing applications, or graph analytics, because most pages have only one access over the entire execution time and other pages accesses have no temporal locality. We make a case for exploring application characteristics using object-level mappings between DRAM and NVM. Our preliminary experiments show that an object-level memory tiering can better capture the application behavior and reduce the execution time of graph analytics by 21% (avg) and 51% (max), when compared to AutoNUMA, while significantly reducing the number of memory accesses in NVM.


title: A generalized Fourier transform of the P-quasi distribution function

abstract: In the paper we made a generalization of the Fourier transform in the complex space, applicable to the pair of Husimi and P-quasi distributions, in the representation of nonlinear coherent states. Implicitly, our result is a generalization similar result of Mehta, but which referred only to the canonical coherent states (associated with the one-dimensional harmonic oscillator). Our result is valid for both types of coherent states (defined in the Barut-Girardello, respectively Klauder-Perelomov manner).


title: Interactive Visualization on Large High-Resolution Displays: A Survey

abstract: In the past few years, large high-resolution displays (LHRDs) have attracted considerable attention from researchers, industries, and application areas that increasingly rely on data-driven decision-making. An up-to-date survey on the use of LHRDs for interactive data visualization seems warranted to summarize how new solutions meet the characteristics and requirements of LHRDs and take advantage of their unique benefits. In this survey, we start by defining LHRDs and outlining the consequence of LHRD environments on interactive visualizations in terms of more pixels, space, users, and devices. Then, we review related literature along the four axes of visualization, interaction, evaluation studies, and applications. With these four axes, our survey provides a unique perspective and covers a broad range of aspects being relevant when developing interactive visual data analysis solutions for LHRDs. We conclude this survey by reflecting on a number of opportunities for future research to help the community take up the still open challenges of interactive visualization on LHRDs.