title: Time-dependent Steklov--Poincar\'e operators and space-time Robin--Robin decomposition for the heat equation

abstract: Domain decomposition methods are a set of widely used tools for parallelization of partial differential equation solvers. Convergence is well studied for elliptic equations, but in the case of parabolic equations there are hardly any results for general Lipschitz domains in two or more dimensions. The aim of this work is therefore to construct a new framework for analyzing nonoverlapping domain decomposition methods for the heat equation in a space-time Lipschitz cylinder. The framework is based on a variational formulation, inspired by recent studies of space-time finite elements using Sobolev spaces with fractional time regularity. In this framework, the time-dependent Steklov--Poincar\'e operators are introduced and their essential properties are proven. We then derive the interface interpretations of the Dirichlet--Neumann, Neumann--Neumann and Robin--Robin methods and show that these methods are well defined. Finally, we prove convergence of the Robin--Robin method and introduce a modified method with stronger convergence properties.


title: Jet tagging algorithm of graph network with HaarPooling message passing

abstract: Recently methods of graph neural networks (GNNs) have been applied to solving the problems in high energy physics (HEP) and have shown its great potential for quark-gluon tagging with graph representation of jet events. In this paper, we introduce an approach of GNNs combined with a HaarPooling operation to analyze the events, called HaarPooling Message Passing neural network (HMPNet). In HMPNet, HaarPooling not only extracts the features of graph, but embeds additional information obtained by clustering of k-means of different particle features. We construct Haarpooling from five different features: absolute energy $\log E$, transverse momentum $\log p_T$, relative coordinates $(\Delta\eta,\Delta\phi)$, the mixed ones $(\log E, \log p_T)$ and $(\log E, \log p_T, \Delta\eta,\Delta\phi)$. The results show that an appropriate selection of information for HaarPooling enhances the accuracy of quark-gluon tagging, as adding extra information of $\log P_T$ to the HMPNet outperforms all the others, whereas adding relative coordinates information $(\Delta\eta,\Delta\phi)$ is not very effective. This implies that by adding effective particle features from HaarPooling can achieve much better results than solely pure message passing neutral network (MPNN) can do, which demonstrates significant improvement of feature extraction via the pooling process. Finally we compare the HMPNet study, ordering by $p_T$, with other studies and prove that the HMPNet is also a good choice of GNN algorithms for jet tagging.


title: Cavity-enhanced single-shot readout of a quantum dot spin within 3 nanoseconds

abstract: Rapid, high-fidelity single-shot readout of quantum states is a ubiquitous requirement in quantum information technologies, playing a crucial role in quantum computation, quantum error correction, and fundamental tests of non-locality. Readout of the spin state of an optically active emitter can be achieved by driving a spin-preserving optical transition and detecting the emitted photons. The speed and fidelity of this approach is typically limited by a combination of low photon collection rates and measurement back-action. Here, we demonstrate single-shot optical readout of a semiconductor quantum dot spin state, achieving a readout time of only a few nanoseconds. In our approach, gated semiconductor quantum dots are embedded in an open microcavity. The Purcell enhancement generated by the microcavity increases the photon creation rate from one spin state but not from the other, as well as efficiently channelling the photons into a well-defined detection mode. We achieve single-shot readout of an electron spin state in 3 nanoseconds with a fidelity of (95.2$\pm$0.7)%, and observe quantum jumps using repeated single-shot measurements. Owing to the speed of our readout, errors resulting from measurement-induced back-action have minimal impact. Our work reduces the spin readout-time to values well below both the achievable spin relaxation and dephasing times in semiconductor quantum dots, opening up new possibilities for their use in quantum technologies.


title: Exact strong coupling results in $\cal N$=2 $Sp(2N)$ superconformal gauge theory from localization

abstract: We apply the localization technique to compute the free energy on four-sphere and the circular BPS Wilson loop in the four-dimensional $\cal N$=2 superconformal $Sp(2N)$ gauge theory containing vector multiplet coupled to four hypermultiplets in fundamental representation and one hypermultiplet in rank-2 antisymmetric representation. This theory is unique among similar $\cal N$=2 superconformal models that are planar-equivalent to $\cal N$=4 SYM in that the corresponding localization matrix model has the interaction potential containing single-trace terms only. We exploit this property to show that, to any order in large $N$ expansion and an arbitrary 't Hooft coupling $\lambda$, the free energy and the Wilson loop satisfy Toda lattice equations. Solving these equations at strong coupling, we find remarkably simple expressions for these observables which include all corrections in $1/N$ and $1/\sqrt{\lambda}$. We also compute the leading exponentially suppressed ${\cal O}(e^{-\sqrt{\lambda}})$ corrections and consider a generalization to the case when the fundamental hypermultiplets have a non-zero mass. The string theory dual of this $\cal N$=2 gauge theory should be a particular orientifold of AdS$_5 \times S^5$ type IIB string and we discuss the string theory interpretation of the obtained strong-coupling results.


title: Terahertz Communications for Massive Connectivity and Security in 6G and Beyond Era

abstract: Terahertz (THz) communications (THzCom) has experienced a meteoric rise of interest, due to its benefits for ultra-high data rate transmission in the sixth generation (6G) and beyond era. Despite so, the research on exploring the potential of THzCom for other performance targets anticipated by 6G, including massive connectivity and security, is still in its infancy. In this article, we start with briefly describing the unique peculiarities of THz channels, and then discuss theoretical frameworks to facilitate the analysis and design of THz transmission for achieving massive connectivity and security. Then we discuss promising spectrum management strategies, including the exploration of multiple THz transmission windows and frequency reuse with multiplexing and signal processing, to substantially increase the number of supported users and identify to-be-tackled challenges. We further present important research directions based on the principles of physical layer security, such as new spectrum allocation policies and beamforming algorithms, to fight against eavesdropping in THzCom systems, ushering in secure THzCom systems.


title: Program Synthesis Using Example Propagation

abstract: We present Scrybe, an example-based synthesis tool for a statically-typed functional programming language, which combines top-down deductive reasoning in the style of $\lambda^2$ with Smyth-style live bidirectional evaluation. During synthesis, example constraints are propagated through sketches to prune and guide the search. This enables Scrybe to make more effective use of functions provided in the context. To evaluate our tool, it is run on the combined, largely disjoint, benchmarks of $\lambda^2$ and Myth. Scrybe is able to synthesize most of the combined benchmark tasks.


title: Follower--Followee Ratio Category and User Vector for Analyzing Following Behavior

abstract: Analyzing following behavior is important in many applications. Following behavior may depend on the main intention of the follower. Users may either follow their friends or they may follow celebrities to know more about them. It is difficult to estimate users' intention from their following relationships. In this paper, we propose an approach to analyze following relationships. First, we investigated the similarity between users. Similar followers and followees are likely to be friends. However, when the follower and followee are not similar, it is likely that follower seeks to obtain more information on the followee. Second, we categorized users by the network structure. We then proposed analysis of following behavior based on similarity and category of users estimated from tweets and user data. We confirmed the feasibility of the proposed method through experiments. Finally, we examined users in different categories and analyzed their following behavior.


title: The power supply unit onboard the HERMES nano-satellite constellation

abstract: HERMES Pathfinder (High Energy Rapid Modular Ensemble of Satellites Pathfinder) is a space mission based on a constellation of nano-satellites in a low Earth Orbit, hosting new miniaturized detectors to probe the X-ray temporal emission of bright high-energy transients such as Gamma-Ray Bursts and the electromagnetic counterparts of Gravitational Waves. This ambitious goal will be achieved exploiting at most Commercial offthe-shelf components. For HERMES-SP, a custom Power Supply Unit board has been designed to supply the needed voltages to the payload and, at the same time, protecting it from Latch-Up events.


title: Towards emotion recognition for virtual environments: an evaluation of EEG features on benchmark dataset

abstract: One of the challenges in virtual environments is the difficulty users have in interacting with these increasingly complex systems. Ultimately, endowing machines with the ability to perceive users emotions will enable a more intuitive and reliable interaction. Consequently, using the electroencephalogram as a bio-signal sensor, the affective state of a user can be modelled and subsequently utilised in order to achieve a system that can recognise and react to the user's emotions. This paper investigates features extracted from electroencephalogram signals for the purpose of affective state modelling based on Russell's Circumplex Model. Investigations are presented that aim to provide the foundation for future work in modelling user affect to enhance interaction experience in virtual environments. The DEAP dataset was used within this work, along with a Support Vector Machine and Random Forest, which yielded reasonable classification accuracies for Valence and Arousal using feature vectors based on statistical measurements and band power from the \'z, \b{eta}, \'z, and \'z\'z waves and High Order Crossing of the EEG signal.


title: The phase diagram of Einstein-Weyl gravity

abstract: Thanks to their interpretation as first order correction of General Relativity at high energies, quadratic theories of gravity gained much attention in recent times. Particular attention has been drawn to the Einstein-Weyl theory, where the addition of the squared Weyl tensor to the action opens the possibility of having non-Schwarzschild black holes in the classical spectrum of the theory. Static and spherically symmetric solutions of this theory have been studied and classified in terms of their small scales behaviour; however, a classification of these solutions in terms of the asymptotic gravitational field is still lacking. In this paper we address this point and present a phase diagram of the theory, where the different types of solutions are shown in terms of their mass and the strength of a Yukawa-like correction to the gravitational field. In particular we will show that, in the case of compact stars, different equations of state imply different Yukawa corrections to the gravitational potential, with possible phenomenological implications.


title: Full Projective Oscillator Representations of Special Linear Lie Algebras and Combinatorial Identities

abstract: Using the projective oscillator representation of sl(n+1) and Shen's mixed product for Witt algebras, Zhao and the second author (2011) constructed a new functor from sl(n)-Mod to sl(n+1)-Mod. In this paper, we start from n = 2 and use the functor successively to obtain a full projective oscillator realization of any finite-dimensional irreducible representation of sl(n+1). The representation formulas of all the root vectors of sl(n+1) are given in terms of first-order differential operators in n(n+1)/2 variables. One can use the result to study tensor decompositions of finite-dimensional irreducible modules by solving certain first-order linear partial differential equations, and thereby obtain the corresponding physically interested Clebsch-Gordan coefficients and exact solutions of Knizhnik-Zamolodchikov equation in WZW model of conformal field theory.


title: Proximal Mean Field Learning in Shallow Neural Networks

abstract: We propose a custom learning algorithm for shallow over-parameterized neural networks, i.e., networks with single hidden layer having infinite width. The infinite width of the hidden layer serves as an abstraction for the over-parameterization. Building on the recent mean field interpretations of learning dynamics in shallow neural networks, we realize mean field learning as a computational algorithm, rather than as an analytical tool. Specifically, we design a Sinkhorn regularized proximal algorithm to approximate the distributional flow for the learning dynamics over weighted point clouds. In this setting, a contractive fixed point recursion computes the time-varying weights, numerically realizing the interacting Wasserstein gradient flow of the parameter distribution supported over the neuronal ensemble. An appealing aspect of the proposed algorithm is that the measure-valued recursions allow meshless computation. We demonstrate the proposed computational framework of interacting weighted particle evolution on binary and multi-class classification. Our algorithm performs gradient descent of the free energy associated with the risk functional.


title: Efficient and Stable Fully Dynamic Facility Location

abstract: We consider the classic facility location problem in fully dynamic data streams, where elements can be both inserted and deleted. In this problem, one is interested in maintaining a stable and high quality solution throughout the data stream while using only little time per update (insertion or deletion). We study the problem and provide the first algorithm that at the same time maintains a constant approximation and incurs polylogarithmic amortized recourse per update. We complement our theoretical results with an experimental analysis showing the practical efficiency of our method.


title: Self-reset schemes for Magnetic domain wall-based neuron

abstract: Spintronic artificial spiking neurons are promising due to their ability to closely mimic the leaky integrate-and-fire (LIF) dynamics of the biological LIF spiking neuron. However, the neuron needs to be reset after firing. Few of the spintronic neurons that have been proposed in the literature discuss the reset process in detail. In this article, we discuss the various schemes to achieve this reset in a magnetic domain wall (DW) based spintronic neuron in which the position of the DW represents the membrane potential. In all the spintronic neurons studied, the neuron enters a refractory period and is reset when the DW reaches a particular position. We show that the self-reset operation in the neuron devices consumes energy that can vary from of several pJ to a few fJ, which highlights the importance of the reset strategy in improving the energy efficiency of spintronic artificial spiking neurons.


title: A deep learning approach for brain tumor detection using magnetic resonance imaging

abstract: The growth of abnormal cells in the brain's tissue causes brain tumors. Brain tumors are considered one of the most dangerous disorders in children and adults. It develops quickly, and the patient's survival prospects are slim if not appropriately treated. Proper treatment planning and precise diagnoses are essential to improving a patient's life expectancy. Brain tumors are mainly diagnosed using magnetic resonance imaging (MRI). As part of a convolution neural network (CNN)-based illustration, an architecture containing five convolution layers, five max-pooling layers, a Flatten layer, and two dense layers has been proposed for detecting brain tumors from MRI images. The proposed model includes an automatic feature extractor, modified hidden layer architecture, and activation function. Several test cases were performed, and the proposed model achieved 98.6% accuracy and 97.8% precision score with a low cross-entropy rate. Compared with other approaches such as adjacent feature propagation network (AFPNet), mask region-based CNN (mask RCNN), YOLOv5, and Fourier CNN (FCNN), the proposed model has performed better in detecting brain tumors.


title: Robust real-time imaging through flexible multimode fibers

abstract: Conventional endoscopes comprise a bundle of optical fibers, associating one fiber for each pixel in the image. In principle, this can be reduced to a single multimode optical fiber (MMF), the width of a human hair, with one fiber spatial-mode per image pixel. However, images transmitted through a MMF emerge as unrecognizable speckle patterns due to dispersion and coupling between the spatial modes of the fiber. Furthermore, speckle patterns change as the fiber undergoes bending, making the use of MMFs in flexible imaging applications even more complicated. In this paper, we propose a real-time imaging system using flexible MMFs, but which is robust to bending. Our approach does not require access or feedback signal from the distal end of the fiber during imaging. We leverage a variational autoencoder (VAE) to reconstruct and classify images from the speckles and show that these images can still be recovered when the bend configuration of the fiber is changed to one that was not part of the training set. We utilize a MMF 300 mm long with a 62.5 um core for imaging 10 x 10 cm objects placed approximately at 20 cm from the fiber and the system can deal with a change in fiber bend of 50 degrees and range of movement of 8 cm.


title: Search for central exclusive production of top quark pairs with the CMS and TOTEM experiments

abstract: A search for central exclusive production of top quark pairs ($\mathrm{t}\bar{\mathrm{t}}$) is presented using collision data collected by CMS and the CMS-TOTEM Precision Proton Spectrometer in 2017. A data-driven method to estimate the background from coincidences of inclusive events and pileup protons is described, as well as the development of a Boosted Decision Tree classifier to separate the exclusive $\mathrm{t}\bar{\mathrm{t}}$ signal from the inclusive $\mathrm{t}\bar{\mathrm{t}}$ background. The first-ever upper limits on the cross section of exclusive $\mathrm{t}\bar{\mathrm{t}}$ are shown.


title: Real-time AdaBoost cascade face tracker based on likelihood map and optical flow

abstract: The authors present a novel face tracking approach where optical flow information is incorporated into a modified version of the Viola Jones detection algorithm. In the original algorithm, detection is static, as information from previous frames is not considered. In addition, candidate windows have to pass all stages of the classification cascade, otherwise they are discarded as containing no face. In contrast, the proposed tracker preserves information about the number of classification stages passed by each window. Such information is used to build a likelihood map, which represents the probability of having a face located at that position. Tracking capabilities are provided by extrapolating the position of the likelihood map to the next frame by optical flow computation. The proposed algorithm works in real time on a standard laptop. The system is verified on the Boston Head Tracking Database, showing that the proposed algorithm outperforms the standard Viola Jones detector in terms of detection rate and stability of the output bounding box, as well as including the capability to deal with occlusions. The authors also evaluate two recently published face detectors based on convolutional networks and deformable part models with their algorithm showing a comparable accuracy at a fraction of the computation time.


title: Properties and Characterisations of Cofree Cartesian Differential Categories

abstract: Cartesian differential categories come equipped with a differential operator which formalises the total derivative from multivariable calculus. Cofree Cartesian differential categories always exist over a specified base category, where the general construction is based on Faa di Bruno's formula. A natural question to ask is, when given an arbitrary Cartesian differential category, how can one check if it is cofree without knowing the base category? In this paper, we provide characterisations of cofree Cartesian differential categories without specifying a base category. The key to these characterisations is, surprisingly, maps whose derivatives are zero, which we call differential constants. One characterisation is in terms of the homsets being complete ultrametric spaces, where the ultrametric is induced by differential constants, which is similar to the metric for power series. Another characterisation is as algebras of a monad. In either characterisation, the base category is the category of differential constants. We also discuss other basic properties of cofree Cartesian differential categories, such as the linear maps, and explain how many well-known Cartesian differential categories (such as polynomial or smooth functions) are not cofree.


title: High-Throughput Flexible Belief Propagation List Decoder for Polar Codes

abstract: Owing to its high parallelism, belief propagation (BP) decoding is highly amenable to high-throughput implementations and thus represents a promising solution for meeting the ultra-high peak data rate of future communication systems. However, for polar codes, the error-correcting performance of BP decoding is far inferior to that of the widely used CRC-aided successive cancellation list (SCL) decoding algorithm. To close the performance gap to SCL, BP list (BPL) decoding expands the exploration of candidate codewords through multiple permuted factor graphs (PFGs). From an implementation perspective, designing a unified and flexible hardware architecture for BPL decoding that supports various PFGs and code configurations presents a big challenge. In this paper, we propose the first hardware implementation of a BPL decoder for polar codes and overcome the implementation challenge by applying a hardware-friendly algorithm that generates flexible permutations on-the-fly. First, we derive the graph selection gain and provide a sequential generation (SG) algorithm to obtain a near-optimal PFG set. We further prove that any permutation can be decomposed into a combination of multiple fixed routings, and we design a low-complexity permutation network to satisfy the decoding schedule. Our BPL decoder not only has a low decoding latency by executing the decoding and permutation generation in parallel, but also supports an arbitrary list size without any area overhead. Experimental results show that, for length-1024 polar codes with a code rate of one-half, our BPL decoder with 32 PFGs has a similar error-correcting performance to SCL with a list size of 4 and achieves a throughput of 25.63 Gbps and an area efficiency of 29.46 Gbps/mm$^{2}$ at SNR=4.0dB, which is 1.82$\times$ and 4.33$\times$ faster than the state-of-the-art BP flip and SCL decoders,~respectively


title: The scheme of characters in SL 2

abstract: The aim of this article is to study the SL(2,C)-character scheme of a finitely generated group. Given a presentation of a finitely generated group $\Gamma$, we give equations defining the coordinate ring of the scheme of SL(2,C)-characters of $\Gamma$ (finitely many equations when $\Gamma$ is finitely presented). We also study the scheme of abelian and nonsimple representations and characters. Finally we apply our results to study the SL(2,C)-character scheme of the Borromean rings.


title: Clinically-Inspired Multi-Agent Transformers for Disease Trajectory Forecasting from Multimodal Data

abstract: Deep neural networks are often applied to medical images to automate the problem of medical diagnosis. However, a more clinically relevant question that practitioners usually face is how to predict the future trajectory of a disease. Current methods for prognosis or disease trajectory forecasting often require domain knowledge and are complicated to apply. In this paper, we formulate the prognosis prediction problem as a one-to-many prediction problem. Inspired by a clinical decision-making process with two agents -- a radiologist and a general practitioner -- we predict prognosis with two transformer-based components that share information with each other. The first transformer in this framework aims to analyze the imaging data, and the second one leverages its internal states as inputs, also fusing them with auxiliary clinical data. The temporal nature of the problem is modeled within the transformer states, allowing us to treat the forecasting problem as a multi-task classification, for which we propose a novel loss. We show the effectiveness of our approach in predicting the development of structural knee osteoarthritis changes and forecasting Alzheimer's disease clinical status directly from raw multi-modal data. The proposed method outperforms multiple state-of-the-art baselines with respect to performance and calibration, both of which are needed for real-world applications. An open-source implementation of our method is made publicly available at \url{https://github.com/Oulu-IMEDS/CLIMATv2}.


title: Fast multi-encoding to reduce the cost of video streaming

abstract: The growth in video Internet traffic and advancements in video attributes such as framerate, resolution, and bit-depth boost the demand to devise a large-scale, highly efficient video encoding environment. This is even more essential for Dynamic Adaptive Streaming over HTTP (DASH)-based content provisioning as it requires encoding numerous representations of the same video content. High Efficiency Video Coding (HEVC) is one standard video codec that significantly improves encoding efficiency over its predecessor Advanced Video Coding (AVC). This improvement is achieved at the expense of significantly increased time complexity, which is a challenge for content and service providers. As various representations are the same video content encoded at different bitrates or resolutions, the encoding analysis information from the already encoded representations can be shared to accelerate the encoding of other representations. Several state-of-the-art schemes first encode a single representation, called a reference representation. During this encoding, the encoder creates analysis metadata with information such as the slicetype decisions, CU, PU, TU partitioning, and the HEVC bitstream itself. The remaining representations, called dependent representations, analyze the above metadata and then reuse it to skip searching some partitioning, thus, reducing the computational complexity. With the emergence of cloud-based encoding services, video encoding is accelerated by utilizing an increased number of resources, i.e., with multi-core CPUs, multiple representations can be encoded in parallel. This paper presents an overview of a wide range of multi-encoding schemes with and without the support of machine learning approaches integrated into the HEVC Test Model (HM) and x265, respectively.


title: Predicting Survival Outcomes in the Presence of Unlabeled Data

abstract: Many clinical studies require the follow-up of patients over time. This is challenging: apart from frequently observed drop-out, there are often also organizational and financial challenges, which can lead to reduced data collection and, in turn, can complicate subsequent analyses. In contrast, there is often plenty of baseline data available of patients with similar characteristics and background information, e.g., from patients that fall outside the study time window. In this article, we investigate whether we can benefit from the inclusion of such unlabeled data instances to predict accurate survival times. In other words, we introduce a third level of supervision in the context of survival analysis, apart from fully observed and censored instances, we also include unlabeled instances. We propose three approaches to deal with this novel setting and provide an empirical comparison over fifteen real-life clinical and gene expression survival datasets. Our results demonstrate that all approaches are able to increase the predictive performance over independent test data. We also show that integrating the partial supervision provided by censored data in a semi-supervised wrapper approach generally provides the best results, often achieving high improvements, compared to not using unlabeled data.


title: On the existence of tripartite graphs and n-partite graphs

abstract: The degree sequence of a graph is the sequence of the degrees of its vertices. If $\pi$ is a degree sequence of a graph $G$, then $G$ is a realization of $\pi$ and $G$ realizes $\pi$. Determining when a sequence of positive integers is realizable as a degree sequence of a simple graph has received much attention. One of the early results, by Erd\"{o}s and Gallai, characterized degree sequences of graphs. The result was strengthened by Hakimi and Havel. Another generalization is derived by Cai et al. Hoogeveen and Sierksma listed seven criteria and gave a uniform proof. In addition, Gale and Ryser independently established a characterization by using network flows. We extend Gale and Ryser's results from bipartite graphs to tripartite graphs and even $n$-partite graphs. As corollaries, we give a necessary condition and a sufficient condition for the triple $(\sigma_1, \sigma_2, \sigma_3)$ to be realizable by a tripartite graph, where $\sigma_1$, $\sigma_2$ and $\sigma_3$ are all non-increasing sequences of nonnegative integers. We also give a stronger necessary condition for $(\sigma_1, \sigma_2, \sigma_3)$ to be realizable by a tripartite graph.


title: Trajectorial hypocoercivity and application to control theory

abstract: We present the quantitative method of the recent work arXiv:2209.09340 in a simple setting, together with a compactness argument that was not included in arXiv:2209.09340 and has interest per se. We are concerned with the exponential stabilization (spectral gap) for linear kinetic equations with degenerate thermalization, i.e. when the collision operator vanishes on parts of the spatial domain. The method in arXiv:2209.09340 covers both scattering and Fokker-Planck type operators, and deals with external potential and boundary conditions, but in these notes we present only its core argument and restrict ourselves to the kinetic Fokker-Planck in the periodic torus with unit velocities and a thermalization degeneracy. This equation is not covered by the previous results of Bernard and Salvarani (2013), Han-Kwan and L\'eautaud (2015), Evans and Moyano (arXiv:1907.12836).


title: Prospects and challenges of numerical modelling of the Sun at millimetre wavelengths

abstract: The Atacama Large Millimeter/submillimeter Array (ALMA) offers new diagnostic possibilities that complement other commonly used diagnostics for the study of our Sun. In particular, ALMA's ability to serve as an essentially linear thermometer of the chromospheric gas at unprecedented spatial resolution at millimetre wavelengths and future polarisation measurements have great diagnostic potential. Solar ALMA observations are therefore expected to contribute significantly to answering long-standing questions about the structure, dynamics and energy balance of the outer layers of the solar atmosphere. In this regard, current and future ALMA data are also important for constraining and further developing numerical models of the solar atmosphere, which in turn are often vital for the interpretation of observations. The latter is particularly important given the Sun's highly intermittent and dynamic nature that involves a plethora of processes occurring over extended ranges in spatial and temporal scales. Realistic forward modelling of the Sun therefore requires time-dependent three-dimensional radiation magnetohydrodynamics that account for non-equilibrium effects and, typically as a separate step, detailed radiative transfer calculations, resulting in synthetic observables that can be compared to observations. Such artificial observations sometimes also account for instrumental and seeing effects, which, in addition to aiding the interpretation of observations, provide instructive tools for designing and optimising ALMA's solar observing modes. In the other direction, ALMA data in combination with other simultaneous observations enables the reconstruction of the solar atmospheric structure via data inversion techniques. This article highlights central aspects of the impact of ALMA for numerical modelling for the Sun, their potential and challenges, together with selected examples.


title: Normalized Solutions to Schr\"{o}dinger Equations with Critical Exponent and Mixed Nonlocal Nonlinearities

abstract: We study the existence and nonexistence of normalized solutions $(u_a, \lambda_a)\in H^{1}(\mathbb{R}^N)\times \mathbb{R}$ to the nonlinear Schr\"{o}dinger equation with mixed nonlocal nonlinearities. This study can be viewed as a counterpart of the Brezis-Nirenberg problem in the context of normalized solutions to the nonlocal Schr\"{o}diger equation with a fixed $L^2$-norm $\|u\|_2=a>0$. The leading term is $L^2$-supercritical, that is, $p\in (\frac{N+\alpha+2}{N},\frac{N+\alpha}{N-2}]$, where the Hardy-Littlewood-Sobolev critical exponent $p=\frac{N+\alpha}{N-2}$ appears. We first prove that there exist two normalized solutions if $q\in (\frac{N+\alpha}{N},\frac{N+\alpha+2}{N})$ with $\mu >0$ small, that is, one is at the negative energy level while the other one is at the positive energy level. For $q=\frac{N+\alpha+2}{N}$, we show that there is a normalized ground state for $0<\mu < \tilde{\mu} $ and there exist no ground states for $\mu >\tilde{\mu}$, where $\tilde{\mu}$ is a sharp positive constant. If $q\in (\frac{N+\alpha+2}{N},\frac{N+\alpha}{N-2})$, we deduce that there exists a normalized ground state for any $\mu>0$. We also obtain some existence and nonexistence results for the case $\mu<0$ and $q\in (\frac{N+\alpha}{N},\frac{N+\alpha+2}{N}]$. Besides, we analyze the asymptotic behavior of normalized ground states as $\mu\rightarrow 0^{+}$.


title: Two Distinct Charge Density Wave Orders and Emergent Superconductivity in Pressurized CuTe

abstract: The discovery of multiple charge-density-wave (CDW) orders in superconducting cuprates and Kagome CsV3Sb5 has offered a unique milieu for studying the interplay of CDW and superconductivity and altered our perspective on their nature. Here, we report a high-pressure study of quasi-one-dimensional CDW material CuTe through ultralow-temperature (400 mK) electrical transport and temperature-dependent Raman spectroscopy measurements and first-principles calculations. We provide solid evidence that the pristine CDW order (CDW1) transforms into a distinct CDW order (CDW2) at ~6.5 GPa. Calculations show that the driving force of CDW1 is due to the nesting effect and that of CDW2 probably arises from the electronic correlated interaction. Strikingly, pressure-induced superconductivity is observed with a dome-like phase diagram and its transition displays an extraordinary broadening along with the crossover from CDW1 to CDW2. These results demonstrate that pressurized CuTe provides a promising playground for understanding the intricated interplay of multiple CDWs and superconductivity.


title: Two upper bounds for the Erd\H{o}s--Hooley Delta-function

abstract: For integer $n\geqslant 1$ and real $u$, let $\Delta(n,u):=|\{d:d\mid n,\,{\rm e}^u<d\leqslant {\rm e}^{u+1}\}|$. The Erd\H{o}s--Hooley Delta-function is then defined by $\Delta(n):=\max_{u\in{\mathbb R}}\Delta(n,u).$ We improve the current upper bounds for the average and normal orders of this arithmetic function.


title: SepLL: Separating Latent Class Labels from Weak Supervision Noise

abstract: In the weakly supervised learning paradigm, labeling functions automatically assign heuristic, often noisy, labels to data samples. In this work, we provide a method for learning from weak labels by separating two types of complementary information associated with the labeling functions: information related to the target label and information specific to one labeling function only. Both types of information are reflected to different degrees by all labeled instances. In contrast to previous works that aimed at correcting or removing wrongly labeled instances, we learn a branched deep model that uses all data as-is, but splits the labeling function information in the latent space. Specifically, we propose the end-to-end model SepLL which extends a transformer classifier by introducing a latent space for labeling function specific and task-specific information. The learning signal is only given by the labeling functions matches, no pre-processing or label model is required for our method. Notably, the task prediction is made from the latent layer without any direct task signal. Experiments on Wrench text classification tasks show that our model is competitive with the state-of-the-art, and yields a new best average performance.


title: Simultaneous field-free molecular orientation and planar delocalization by THz laser pulses

abstract: This study shows the unexpected and counter-intuitive possibility of simultaneously orienting a molecule while delocalizing its molecular axis in a plane in field-free conditions. The corresponding quantum states are characterized and different control strategies using shaped THz laser pulses are proposed to reach such states at zero and nonzero temperatures. The robustness against temperature effects of a simple control procedure combining a laser and a THz pulse is shown. Such control strategies can be applied not only to linear molecules but also to symmetric top molecules.


title: Deep nurbs -- admissible neural networks

abstract: In this study, we propose a new numerical scheme for physics-informed neural networks (PINNs) that enables precise and inexpensive solution for partial differential equations (PDEs) in case of arbitrary geometries while strictly enforcing Dirichlet boundary conditions. The proposed approach combines admissible NURBS parametrizations required to define the physical domain and the Dirichlet boundary conditions with a PINN solver. The fundamental boundary conditions are automatically satisfied in this novel Deep NURBS framework. We verified our new approach using two-dimensional elliptic PDEs when considering arbitrary geometries, including non-Lipschitz domains. Compared to the classical PINN solver, the Deep NURBS estimator has a remarkably high convergence rate for all the studied problems. Moreover, a desirable accuracy was realized for most of the studied PDEs using only one hidden layer of neural networks. This novel approach is considered to pave the way for more effective solutions for high-dimensional problems by allowing for more realistic physics-informed statistical learning to solve PDE-based variational problems.


title: A Novel Approach for Dimensionality Reduction and Classification of Hyperspectral Images based on Normalized Synergy

abstract: During the last decade, hyperspectral images have attracted increasing interest from researchers worldwide. They provide more detailed information about an observed area and allow an accurate target detection and precise discrimination of objects compared to classical RGB and multispectral images. Despite the great potentialities of hyperspectral technology, the analysis and exploitation of the large volume data remain a challenging task. The existence of irrelevant redundant and noisy images decreases the classification accuracy. As a result, dimensionality reduction is a mandatory step in order to select a minimal and effective images subset. In this paper, a new filter approach normalized mutual synergy (NMS) is proposed in order to detect relevant bands that are complementary in the class prediction better than the original hyperspectral cube data. The algorithm consists of two steps: images selection through normalized synergy information and pixel classification. The proposed approach measures the discriminative power of the selected bands based on a combination of their maximal normalized synergic information, minimum redundancy and maximal mutual information with the ground truth. A comparative study using the support vector machine (SVM) and k-nearest neighbor (KNN) classifiers is conducted to evaluate the proposed approach compared to the state of art band selection methods. Experimental results on three benchmark hyperspectral images proposed by the NASA "Aviris Indiana Pine", "Salinas" and "Pavia University" demonstrated the robustness, effectiveness and the discriminative power of the proposed approach over the literature approaches. Keywords: Hyperspectral images; target detection; pixel classification; dimensionality reduction; band selection; information theory; mutual information; normalized synergy


title: Quaternionic projective invariance of the $k$-Cauchy-Fueter complex and applications I

abstract: The $k$-Cauchy-Fueter complex in quaternionic analysis is the counterpart of the Dolbeault complex in complex analysis. In this paper, we find the explicit transformation formula of these complexes under ${\rm SL}(n+1,\mathbb{H})$, which acts on $\mathbb{H}^{ n}$ as quaternionic fractional linear transformations. These transformation formulae have several interesting applications to $k$-regular functions, the quaternionic counterpart of holomorphic functions, and geometry of domains. They allow us to construct the $k$-Cauchy-Fueter complex over locally projective flat manifolds explicitly and introduce various notions of pluripotential theory on this kind of manifolds. We also introduce a quaternionic projectively invariant operator from the quaternionic Monge-Amp\`{e}re operator, which can be used to find projectively invariant defining density of a domain, generalizing Fefferman's construction in complex analysis.


title: Enhanced Thermoelectric Performance of Nanostructured Nickel Doped Ag2Te

abstract: We report on the thermoelectric properties of nickel doped Ag2-xNixTe (x = 0, 0.015, 0.025 & 0.055, 0.115, 0.155) nanostructures in the temperature (T) range of 5 K to 575 K. The electrical resistivity of Ag2Te nanostructure shows metallic behaviour in 5 K to 300 K initially that evolves into two metal to insulator transitions (MITs) at low and mid-temperature regimes with increasing x due to Mott-variable range hopping (VRH) and Arrhenius transports, respectively. Their Seebeck coefficient varies nearly in a linear fashion in this temperature range, showing metallic or doped-degenerate semiconducting behaviour. Notably, this behaviour of the Seebeck coefficient is in contrast to Mott VRH conduction as observed in resistivity. The steady increase in resistivity and S with the sharp decrease in thermal conductivity between 410 K to 425 K associated with the structural phase transition accomplishes a maximum thermoelectric figure of merit (ZT) of 0.86 near 480 K in x = 0.155. This is about 83 % more compared to that of bulk Ag2Te, and shows a significant improvement over the best value reported for Ag2Te nanostructures thus far. This study, therefore, shows that simultaneous nanocomposite formation, doping and nanostructuring could be an effective strategy for tuning the electron and phonon transports to improve the thermoelectric properties of a material.


title: MICP-L: Mesh-based ICP for Robot Localization using Hardware-Accelerated Ray Casting

abstract: Triangle mesh maps have proven to be a versatile 3D environment representation for robots to navigate in challenging indoor and outdoor environments exhibiting tunnels, hills and varying slopes. To make use of these mesh maps, methods are needed that allow robots to accurately localize themselves to perform typical tasks like path planning and navigation. We present Mesh ICP Localization (MICP-L), a novel and computationally efficient method for registering one or more range sensors to a triangle mesh map to continuously localize a robot in 6D, even in GPS-denied environments. We accelerate the computation of ray casting correspondences (RCC) between range sensors and mesh maps by supporting different parallel computing devices like multicore CPUs, GPUs and the latest NVIDIA RTX hardware. By additionally transforming the covariance computation into a reduction operation, we can optimize the initial guessed poses in parallel on CPUs or GPUs, making our implementation applicable in real-time on a variety of target architectures. We demonstrate the robustness of our localization approach with datasets from agriculture, drones, and automotive domains.


title: Confidence-Calibrated Face and Kinship Verification

abstract: In this paper, we investigate the problem of prediction confidence in face and kinship verification. Most existing face and kinship verification methods focus on accuracy performance while ignoring confidence estimation for their prediction results. However, confidence estimation is essential for modeling reliability and trustworthiness in such high-risk tasks. To address this, we introduce an effective confidence measure that allows verification models to convert a similarity score into a confidence score for any given face pair. We further propose a confidence-calibrated approach, termed Angular Scaling Calibration (ASC). ASC is easy to implement and can be readily applied to existing verification models without model modifications, yielding accuracy-preserving and confidence-calibrated probabilistic verification models. In addition, we introduce the uncertainty in the calibrated confidence to boost the reliability and trustworthiness of the verification models in the presence of noisy data. To the best of our knowledge, our work presents the first comprehensive confidence-calibrated solution for modern face and kinship verification tasks. We conduct extensive experiments on four widely used face and kinship verification datasets, and the results demonstrate the effectiveness of our proposed approach. Code and models are available at https://github.com/cnulab/ASC.


title: One-shot, Offline and Production-Scalable PID Optimisation with Deep Reinforcement Learning

abstract: Proportional-integral-derivative (PID) control underlies more than $97\%$ of automated industrial processes. Controlling these processes effectively with respect to some specified set of performance goals requires finding an optimal set of PID parameters to moderate the PID loop. Tuning these parameters is a long and exhaustive process. A method (patent pending) based on deep reinforcement learning is presented that learns a relationship between generic system properties (e.g. resonance frequency), a multi-objective performance goal and optimal PID parameter values. Performance is demonstrated in the context of a real optical switching product of the foremost manufacturer of such devices globally. Switching is handled by piezoelectric actuators where switching time and optical loss are derived from the speed and stability of actuator-control processes respectively. The method achieves a $5\times$ improvement in the number of actuators that fall within the most challenging target switching speed, $\geq 20\%$ improvement in mean switching speed at the same optical loss and $\geq 75\%$ reduction in performance inconsistency when temperature varies between 5 and 73 degrees celcius. Furthermore, once trained (which takes $\mathcal{O}(hours)$), the model generates actuator-unique PID parameters in a one-shot inference process that takes $\mathcal{O}(ms)$ in comparison to up to $\mathcal{O}(week)$ required for conventional tuning methods, therefore accomplishing these performance improvements whilst achieving up to a $10^6\times$ speed-up. After training, the method can be applied entirely offline, incurring effectively zero optimisation-overhead in production.


title: Finding Early Adopters of Innovation in Social Network

abstract: Social networks play a fundamental role in the diffusion of innovation through peers' influence on adoption. Thus, network position including a wide range of network centrality measures have been used to describe individuals' affinity to adopt an innovation and their ability to propagate diffusion. Yet, social networks are assortative in terms of susceptibility and influence and in terms of network centralities as well. This makes the identification of influencers difficult especially since susceptibility and centrality does not always go hand in hand. Here we propose the Top Candidate algorithm, an expert recommendation method, to rank individuals based on their perceived expertise, which resonates well with the assortative nature of innovators and early adopters. Leveraging adoption data from two online social networks that are assortative in terms of adoption but represent different levels of assortativity of network centralities, we demonstrate that the Top Candidate ranking is more efficient in capturing early adopters than other widely used indices. Top Candidate nodes adopt earlier and have higher reach among innovators, early adopters and early majority than nodes highlighted by other methods. These results suggest that the Top Candidate method can identify good seeds for influence maximization campaigns on social networks.


title: Quasistatic contact-rich manipulation via linear complementarity quadratic programming

abstract: Contact-rich manipulation is challenging due to dynamically-changing physical constraints by the contact mode changes undergone during manipulation. This paper proposes a versatile local planning and control framework for contact-rich manipulation that determines the continuous control action under variable contact modes online. We model the physical characteristics of contact-rich manipulation by quasistatic dynamics and complementarity constraints. We then propose a linear complementarity quadratic program (LCQP) to efficiently determine the control action that implicitly includes the decisions on the contact modes under these constraints. In the LCQP, we relax the complementarity constraints to alleviate ill-conditioned problems that are typically caused by measure noises or model miss-matches. We conduct dynamical simulations on a 3D physical simulator and demonstrate that the proposed method can achieve various contact-rich manipulation tasks by determining the control action including the contact modes in real-time.


title: Towards Structural Reconstruction from X-Ray Spectra

abstract: We report a statistical analysis of Ge K-edge X-ray emission spectra simulated for amorphous GeO$_2$ at elevated pressures. We find that employing machine learning approaches we can reliably predict the statistical moments of the K$\beta''$ and K$\beta_2$ peaks in the spectrum from the Coulomb matrix descriptor with a training set of $\sim 10^4$ samples. Spectral-significance-guided dimensionality reduction techniques allow us to construct an approximate inverse mapping from spectral moments to pseudo-Coulomb matrices. When applying this to the moments of the ensemble-mean spectrum, we obtain distances from the active site that match closely to those of the ensemble mean and which moreover reproduce the pressure-induced coordination change in amorphous GeO$_2$. With this approach utilizing emulator-based component analysis, we are able to filter out the artificially complete structural information available from simulated snapshots, and quantitatively analyse structural changes that can be inferred from the changes in the K$\beta$ emission spectrum alone.


title: Perturbative approaches to non-perturbative quantum gravity

abstract: We discuss the birth of the non-perturbative approach to quantum gravity known as quantum Einstein gravity, in which the gravitational interactions are conjectured to be asymptotically safe. The interactions are assumed to be finite and consistent at high energies thanks to a scale-invariant ultraviolet completion. We present the framework on the basis of perturbative arguments that originally motivated it, paying special attention to the $\epsilon$-expansion in $d=2+\epsilon$ dimensions and the large-$N$ expansion for $N$ the number of flavors of matter fields. The chapter is organized in such a way that each section is mostly independent and can offer several ideas for both conceptual and technical future developments.


title: Effects of hyperscaling violation and dynamical exponents on heavy quark potential and jet quenching parameter

abstract: In this paper, we investigate the heavy quark potential and the jet quenching parameter in a system with Lifshitz and hyperscaling violation exponents, by using the AdS/CFT correspondence. It is shown that the heavy quark potential and the jet quenching parameter are dependent upon the nonrelativistic parameters. We show how the heavy quark potential changes with the hyperscaling violation parameter {\theta}, dynamical parameter z, temperature T and charge Q. Increasing z and {\theta} lead to increasing and decreasing the potential respectively. The potential decreases and increases by increasing Q and T . It is investigated how the jet quenching parameter changes with the hyperscaling violation parameter {\theta} and dynamical parameter z. Also, we add some electromagnetic field and obtain its effect on the jet quenching parameter and see as z and {\theta} increasing this parameter decreases and the electric and magnetic fields affect differently on that.


title: Exploring the relationship between built environment and bike-sharing demand: Does the trip length matter?

abstract: Bike-sharing has received considerable practice and research attention over the past decade. As a manpower-driven transportation mode, it seems more sensitive to trip length, since one could take a shared bike to a destinated place where is too far to walk, or choose it for simply replacing walking when going to a nearby place. However, little research has paid attention to it, i.e., the differentiated effects of built environment on the bike-sharing demand with trip lengths. To fill the gap, this paper identifies a threshold of bike-sharing trip lengths from bike-sharing trace data, and employs a semiparametric geographically weighted Poisson regression (SGWPR) model to investigate the relationship between built environment and bike-sharing demand with different lengths considering the heterogeneity in the relationship. The results show that built environment has heterogeneous effects on the bike-sharing demand in urban areas, and the effects differ across groups with trip lengths. The findings contribute to understanding the relationships between built environment and bike-sharing demand, and providing supports for the placements and dispatchment of shared bikes.


title: Wave function of a photoelectron and its collapse in the photoemission process

abstract: Based on the first-order perturbation theory, we show that the wave function of a photoelectron is a wave packet with the same width as the incident light pulse. Photoelectron detection measurements revealed that the widths of signal pulses were much shorter than the light pulse and independent of the origin (photoemission or other noises), which is an experimental observation of the wave function collapse. Signal pulses of photoelectrons were distributed along the time axis within the same width as the light pulse, consistent with the interpretation of a wave function as a probability distribution.


title: Dynamics in the ordered and disordered phases of barocaloric adamantane

abstract: High-entropy order-disorder phase transitions can be used for efficient and eco-friendly barocaloric solid-state cooling. Here the barocaloric effect is reported in an archetypal plastic crystal, adamantane. Adamantane has a colossal isothermally reversible entropy change of 106 J K-1 kg-1 . Extremely low hysteresis means that this can be accessed at pressure differences less than 200 bar. Configurational entropy can only account for about 40% of the total entropy change; the remainder is due to vibrational effects. Using neutron spectroscopy and supercell lattice dynamics calculations, it is found that this vibrational entropy change is mainly caused by softening in the high-entropy phase of acoustic modes that correspond to molecular rotations. We attribute this behaviour to the contrast between an 'interlocked' state in the low-entropy phase and sphere-like behaviour in the high-entropy phase. Although adamantane is a simple van der Waals solid with near-spherical molecules, this approach can be leveraged for the design of more complex barocaloric molecular crystals. Moreover, this study shows that supercell lattice dynamics calculations can accurately map the effect of orientational disorder on the phonon spectrum, paving the way for studying the vibrational entropy, thermal conductivity, and other thermodynamic effects in more complex materials.


title: Towards Formal XAI: Formally Approximate Minimal Explanations of Neural Networks

abstract: With the rapid growth of machine learning, deep neural networks (DNNs) are now being used in numerous domains. Unfortunately, DNNs are "black-boxes", and cannot be interpreted by humans, which is a substantial concern in safety-critical systems. To mitigate this issue, researchers have begun working on explainable AI (XAI) methods, which can identify a subset of input features that are the cause of a DNN's decision for a given input. Most existing techniques are heuristic, and cannot guarantee the correctness of the explanation provided. In contrast, recent and exciting attempts have shown that formal methods can be used to generate provably correct explanations. Although these methods are sound, the computational complexity of the underlying verification problem limits their scalability; and the explanations they produce might sometimes be overly complex. Here, we propose a novel approach to tackle these limitations. We (1) suggest an efficient, verification-based method for finding minimal explanations, which constitute a provable approximation of the global, minimum explanation; (2) show how DNN verification can assist in calculating lower and upper bounds on the optimal explanation; (3) propose heuristics that significantly improve the scalability of the verification process; and (4) suggest the use of bundles, which allows us to arrive at more succinct and interpretable explanations. Our evaluation shows that our approach significantly outperforms state-of-the-art techniques, and produces explanations that are more useful to humans. We thus regard this work as a step toward leveraging verification technology in producing DNNs that are more reliable and comprehensible.


title: Cosmic ray anisotropy study by means of detection of muon bundles

abstract: In this work, we use muon bundles which are formed in extensive air showers and detected at the ground level as a tool for searching anisotropy of high energy cosmic rays. Such choice is explained by the penetrating ability of muons which allows them to retain the direction of primary particles with a good accuracy. In 2012-2022, we performed long-term muon bundle detection with the coordinate-tracking detector DECOR, which is a part of the Experimental complex NEVOD (MEPhI, Moscow). To search for the cosmic rays anisotropy, the muon bundles arriving at zenith angles in the range from 15 to 75 degrees in the local coordinate system are used. During the entire period of data taking, about 14 million of such events have been accumulated. In this paper, we describe some methods developed in the Experimental complex NEVOD and implemented in our research, including: the method for compensating the influence of meteorological conditions on the intensity of muon bundles at the Earth's surface, the method for accounting the design features of the detector and the inhomogeneity of the detection efficiency for different directions, as well as the method for estimating primary energies of cosmic rays. Here we present the results of the search for the dipole anisotropy of cosmic rays with energies in the PeV region and also compare them with the results obtained at the other scientific facilities.


title: Connective Reconstruction-based Novelty Detection

abstract: Detection of out-of-distribution samples is one of the critical tasks for real-world applications of computer vision. The advancement of deep learning has enabled us to analyze real-world data which contain unexplained samples, accentuating the need to detect out-of-distribution instances more than before. GAN-based approaches have been widely used to address this problem due to their ability to perform distribution fitting; however, they are accompanied by training instability and mode collapse. We propose a simple yet efficient reconstruction-based method that avoids adding complexities to compensate for the limitations of GAN models while outperforming them. Unlike previous reconstruction-based works that only utilize reconstruction error or generated samples, our proposed method simultaneously incorporates both of them in the detection task. Our model, which we call "Connective Novelty Detection" has two subnetworks, an autoencoder, and a binary classifier. The autoencoder learns the representation of the positive class by reconstructing them. Then, the model creates negative and connected positive examples using real and generated samples. Negative instances are generated via manipulating the real data, so their distribution is close to the positive class to achieve a more accurate boundary for the classifier. To boost the robustness of the detection to reconstruction error, connected positive samples are created by combining the real and generated samples. Finally, the binary classifier is trained using connected positive and negative examples. We demonstrate a considerable improvement in novelty detection over state-of-the-art methods on MNIST and Caltech-256 datasets.


title: Differentially Private Language Models for Secure Data Sharing

abstract: To protect the privacy of individuals whose data is being shared, it is of high importance to develop methods allowing researchers and companies to release textual data while providing formal privacy guarantees to its originators. In the field of NLP, substantial efforts have been directed at building mechanisms following the framework of local differential privacy, thereby anonymizing individual text samples before releasing them. In practice, these approaches are often dissatisfying in terms of the quality of their output language due to the strong noise required for local differential privacy. In this paper, we approach the problem at hand using global differential privacy, particularly by training a generative language model in a differentially private manner and consequently sampling data from it. Using natural language prompts and a new prompt-mismatch loss, we are able to create highly accurate and fluent textual datasets taking on specific desired attributes such as sentiment or topic and resembling statistical properties of the training data. We perform thorough experiments indicating that our synthetic datasets do not leak information from our original data and are of high language quality and highly suitable for training models for further analysis on real-world data. Notably, we also demonstrate that training classifiers on private synthetic data outperforms directly training classifiers on real data with DP-SGD.


title: Effects of the hyperscaling violation and dynamical exponents on the imaginary potential and entropic force of heavy quarkonium via holography

abstract: The imaginary potential and entropic force are two important different mechanisms to characterize the dissociation of heavy quarkonia. In this paper, we calculate these two quantities in strongly coupled theories with anisotropic Lifshitz scaling and hyperscaling violation exponent using holographic methods. We study how the results are affected by the hyperscaling violation parameter {\theta} and the dynamical exponent z at finite temperature and chemical potential. Also, we investigate the effect of the chemical potential on these quantities. As a result, we find that both mechanisms show the same results: the thermal width and the dissociation length decrease as the dynamical exponent and chemical potential increase or as the hyperscaling violating parameter decreases.


title: Quantum spatial search with electric potential : long-time dynamics and robustness to noise

abstract: We present various results on the scheme introduced , which is a quantum spatial-search algorithm on a two-dimensional (2D) square spatial grid, realized with a 2D Dirac discrete-time quantum walk (DQW) coupled to a Coulomb electric field centered on the marked node. In such a walk, the electric term acts as the oracle of the algorithm, and the free walk (i.e., without electric term) acts as the "diffusion" part, as it is called in Grover's algorithm. The results are the following. First, we run simulations of this electric Dirac DQW during longer times than explored in Ref.\ \cite{ZD21}, and observe that there is a second localization peak around the node marked by the oracle, reached in a time $O(\sqrt{N})$, where $N$ is the number of nodes of the 2D grid, with a localization probability scaling as $O(1/\ln N)$. This matches the state-of-the-art 2D DQW search algorithms before amplitude amplification. We then study the effect of adding noise on the Coulomb potential, and observe that the walk, especially the second localization peak, is highly robust to spatial noise, more modestly robust to spatiotemporal noise, and that the first localization peak is even highly robust to spatiotemporal noise.


title: Molecular mechanisms of self-mated hydrogel friction

abstract: Self-mated hydrogel contacts show extremely small friction coefficients at low loads but a distinct velocity dependence. Here we combine mesoscopic simulations and experiments to test the polymer-relaxation hypothesis for this velocity dependence, where a velocity-dependent regime emerges when the perturbation of interfacial polymer chains occurs faster than their relaxation at high velocity. Our simulations reproduce the experimental findings, with speed-independent friction at low velocity, followed by a friction coefficient that rises with velocity to some power of order unity. We show that the velocity-dependent regime is characterized by reorientation and stretching of polymer chains in the direction of shear, leading to an entropic stress that can be quantitatively related to the shear response. The detailed exponent of the power law in the velocity dependent regime depends on how chains interact: We observe a power close to $1/2$ for chains that can stretch, while pure reorientation leads to a power of unity. Our simulations quantitatively match experiments and show that the velocity dependence of hydrogel friction at low loads can be firmly traced back to the morphology of near-surface chains.


title: Point evaluation in Paley--Wiener spaces

abstract: We study the norm of point evaluation at the origin in the Paley--Wiener space $PW^p$ for $0 < p < \infty$, i. e., we search for the smallest positive constant $C$, called $\mathscr{C}_p$, such that the inequality $|f(0)|^p \leq C \|f\|_p^p$ holds for every $f$ in $PW^p$. We present evidence and prove several results supporting the following monotonicity conjecture: The function $p\mapsto \mathscr{C}_p/p$ is strictly decreasing on the half-line $(0,\infty)$. Our main result implies that $\mathscr{C}_p <p/2$ for $2<p<\infty$, and we verify numerically that $\mathscr{C}_p > p/2$ for $1 \leq p < 2$. We also estimate the asymptotic behavior of $\mathscr{C}_p$ as $p \to \infty$ and as $p \to 0^+$. Our approach is based on expressing $\mathscr{C}_p$ as the solution of an extremal problem. Extremal functions exist for all $0<p<\infty$; they are real entire functions with only real zeros, and the extremal functions are known to be unique for $1\leq p < \infty$. Following work of H\"{o}rmander and Bernhardsson, we rely on certain orthogonality relations associated with the zeros of extremal functions, along with certain integral formulas representing respectively extremal functions and general functions at the origin. We also use precise numerical estimates for the largest eigenvalue of the Landau--Pollak--Slepian operator of time--frequency concentration. A number of qualitative and quantitative results on the distribution of the zeros of extremal functions are established. In the range $1<p<\infty$, the orthogonality relations associated with the zeros of the extremal function are linked to a de Branges space. We state a number of conjectures and further open problems pertaining to $\mathscr{C}_p$ and the extremal functions.


title: A Comparative Attention Framework for Better Few-Shot Object Detection on Aerial Images

abstract: Few-Shot Object Detection (FSOD) methods are mainly designed and evaluated on natural image datasets such as Pascal VOC and MS COCO. However, it is not clear whether the best methods for natural images are also the best for aerial images. Furthermore, direct comparison of performance between FSOD methods is difficult due to the wide variety of detection frameworks and training strategies. Therefore, we propose a benchmarking framework that provides a flexible environment to implement and compare attention-based FSOD methods. The proposed framework focuses on attention mechanisms and is divided into three modules: spatial alignment, global attention, and fusion layer. To remain competitive with existing methods, which often leverage complex training, we propose new augmentation techniques designed for object detection. Using this framework, several FSOD methods are reimplemented and compared. This comparison highlights two distinct performance regimes on aerial and natural images: FSOD performs worse on aerial images. Our experiments suggest that small objects, which are harder to detect in the few-shot setting, account for the poor performance. Finally, we develop a novel multiscale alignment method, Cross-Scales Query-Support Alignment (XQSA) for FSOD, to improve the detection of small objects. XQSA outperforms the state-of-the-art significantly on DOTA and DIOR.


title: Lie algebraic Carroll/Galilei duality

abstract: We characterise Lie groups with bi-invariant bargmannian, galilean or carrollian structures. Localising at the identity, we show that Lie algebras with ad-invariant bargmannian, carrollian or galilean structures are actually determined by the same data: a metric Lie algebra with a skew-symmetric derivation. This is the same data defining a one-dimensional double extension of the metric Lie algebra and, indeed, bargmannian Lie algebras coincide with such double extensions, containing carrollian Lie algebras as an ideal and projecting to galilean Lie algebras. This sets up a canonical correspondence between carrollian and galilean Lie algebras mediated by bargmannian Lie algebras. This reformulation allows us to use the structure theory of metric Lie algebras to give a list of bargmannian, carrollian and galilean Lie algebras in the positive-semidefinite case. We also characterise Lie groups admitting a bi-invariant (ambient) leibnizian structure. Leibnizian Lie algebras extend the class of bargmannian Lie algebras and also set up a non-canonical correspondence between carrollian and galilean Lie algebras.


title: Direct pairing of homologous DNA double helices may involve the B-to-C form transition

abstract: In many organisms, homologous (or repetitive) chromosomal regions can associate or/and undergo concerted epigenetic changes in the absence of DNA breakage and recombination. The direct specific pairing of DNA duplexes with similar nucleotide sequences represents an attractive mechanism for recognizing such regions. Whereas the pairing of B-DNA duplexes may involve a large energy barrier, C-DNA duplexes are expected to pair much more readily. This unique feature of C-DNA is largely due to the fact that its major groove is wide and very shallow, permitting almost perfect initial homologous contacts between two duplexes without clashing. Overall, the conjectured role of C-DNA in recombination-independent pairing should revive the efforts to understand its structure and function in the cell.


title: Einstein Algebras in a Categorical Context

abstract: According to the basic idea of category theory, any Einstein algebra, essentially an algebraic formulation of general relativity, can be considered from the point of view of any object of the category of smooth algebras; such an object is then called a stage. If we contemplate a given Einstein algebra from the point of view of the stage, which we choose to be an "algebra with infinitesimals" (Weil algebra), then we can suppose it penetrates a submicroscopic level, on which quantum gravity might function. We apply Vinogradov's notion of geometricity (adapted to this situation), and show that the corresponding algebra is geometric, but then the infinitesimal level is unobservable from the macro-level. However, the situation can change if a given algebra is noncommutative. An analogous situation occurs when as stages, instead of Weil algebras, we take many other smooth algebras, for example those that describe spaces in which with ordinary points coexsist "parametrized points", for example closed curves (loops). We also discuss some other consequences of putting Einstein algebras into the conceptual environment of category theory.


title: Deep Crowd Anomaly Detection: State-of-the-Art, Challenges, and Future Research Directions

abstract: Crowd anomaly detection is one of the most popular topics in computer vision in the context of smart cities. A plethora of deep learning methods have been proposed that generally outperform other machine learning solutions. Our review primarily discusses algorithms that were published in mainstream conferences and journals between 2020 and 2022. We present datasets that are typically used for benchmarking, produce a taxonomy of the developed algorithms, and discuss and compare their performances. Our main findings are that the heterogeneities of pre-trained convolutional models have a negligible impact on crowd video anomaly detection performance. We conclude our discussion with fruitful directions for future research.


title: A new commutativity property of exceptional orthogonal polynomials

abstract: We exhibit three examples showing that the "time-and-band limiting" commutative property found and exploited by D. Slepian, H. Landau and H. Pollak at Bell Labs in the 1960's, and independently by M. Mehta and later by C. Tracy and H. Widom in Random matrix theory, holds for exceptional orthogonal polynomials. The property in question is the existence of local operators with simple spectrum that commute with naturally appearing global ones. We illustrate numerically the advantage of having such a local operator.


title: Control and Evaluation of Event Cameras Output Sharpness via Bias

abstract: Event cameras also known as neuromorphic sensors are relatively a new technology with some privilege over the RGB cameras. The most important one is their difference in capturing the light changes in the environment, each pixel changes independently from the others when it captures a change in the environment light. To increase the users degree of freedom in controlling the output of these cameras, such as changing the sensitivity of the sensor to light changes, controlling the number of generated events and other similar operations, the camera manufacturers usually introduce some tools to make sensor level changes in camera settings. The contribution of this research is to examine and document the effects of changing the sensor settings on the sharpness as an indicator of quality of the generated stream of event data. To have a qualitative understanding this stream of event is converted to frames, then the average image gradient magnitude as an index of the number of edges and accordingly sharpness is calculated for these frames. Five different bias settings are explained and the effect of their change in the event output is surveyed and analyzed. In addition, the operation of the event camera sensing array is explained with an analogue circuit model and the functions of the bias foundations are linked with this model.


title: Revision of results on $\Upsilon(1S)$, $\Upsilon(2S)$, and $\Upsilon(3S)$ masses

abstract: We have reconsidered the results on the masses of the narrow bottomonium states $\Upsilon(1S)$--$\Upsilon(3S)$ obtained in 1982--1986 at CESR, DORIS and VEPP-4 colliders in order to fix shortcomings of the mass determination procedures. For experiments at CESR and DORIS this includes the incorrect accounting of the radiative corrections and usage of the electron mass value revised in 1986. In analyses of all experiments the interference of the resonance production and the nonresonant process was ignored. The corrected mass values for five experiments are suggested. The corrections vary from 0.1 to 0.4~MeV. The discrepancy between CESR and \mbox{VEPP-4} results on $\Upsilon(1S)$ mass has been reduced from 3.3 to 1.8 standard deviations.


title: An Optimal Stochastic Algorithm for Decentralized Nonconvex Finite-sum Optimization

abstract: This paper studies the decentralized nonconvex optimization problem $\min_{x\in{\mathbb R}^d} f(x)\triangleq \frac{1}{m}\sum_{i=1}^m f_i(x)$, where $f_i(x)\triangleq \frac{1}{n}\sum_{j=1}^n f_{i,j}(x)$ is the local function on the $i$-th agent of the network. We propose a novel stochastic algorithm called DEcentralized probAbilistic Recursive gradiEnt deScenT (\DEAREST), which integrates the techniques of variance reduction, gradient tracking and multi-consensus. We construct a Lyapunov function that simultaneously characterizes the function value, the gradient estimation error and the consensus error for the convergence analysis. Based on this measure, we provide a concise proof to show DEAREST requires at most ${\mathcal O}(mn+\sqrt{mn}L\varepsilon^{-2})$ incremental first-order oracle (IFO) calls and ${\mathcal O}({L\varepsilon^{-2}}/{\sqrt{1-\lambda_2(W)}}\,)$ communication rounds to find an $\varepsilon$-stationary point in expectation, where $L$ is the smoothness parameter and $\lambda_2(W)$ is the second-largest eigenvalue of the gossip matrix $W$. We can verify both of the IFO complexity and communication complexity match the lower bounds. To the best of our knowledge, DEAREST is the first optimal algorithm for decentralized nonconvex finite-sum optimization.


title: CoLoC: Conditioned Localizer and Classifier for Sound Event Localization and Detection

abstract: In this article, we describe Conditioned Localizer and Classifier (CoLoC) which is a novel solution for Sound Event Localization and Detection (SELD). The solution constitutes of two stages: the localization is done first and is followed by classification conditioned by the output of the localizer. In order to resolve the problem of the unknown number of sources we incorporate the idea borrowed from Sequential Set Generation (SSG). Models from both stages are SELDnet-like CRNNs, but with single outputs. Conducted reasoning shows that such two single-output models are fit for SELD task. We show that our solution improves on the baseline system in most metrics on the STARSS22 Dataset.


title: Semi-algebraic description of the closure of the image of a semi-algebraic set under a polynomial

abstract: Given a polynomial $f$ and a semi-algebraic set $S$, we provide a symbolic algorithm to find the equations and inequalities defining a semi-algebraic set $Q$ which is identical to the closure of the image of $S$ under $f$, i.e., \begin{equation} Q=\overline{f(S)}\,. \end{equation} Consequently, every polynomial optimization problem whose optimum value is finite has an equivalent form with attained optimum value, i.e., \begin{equation} \min \limits_{t\in Q} t =\inf\limits_{x\in S} f(x) \end{equation} whenever the right-hand side is finite. Given $d$ as the upper bound on the degrees of $f$ and polynomials defining $S$, we prove that our method requires $O(d^{O(n)})$ arithmetic operations to produce polynomials of degrees at most $d^{O(n)}$ defining $\overline{f(S)}$.


title: The imaginary potential and entropic force of heavy quarkonia in strongly coupled N = 4 supersymmetric Yang-Mills plasma on the Coulomb branch

abstract: There are two important different mechanisms, the imaginary potential and entropic force, to investigate the dissociation of heavy quarkonia. In this paper, we calculate these two quantities for static and moving quarkonia in the rotating black 3-brane Type IIB supergravity solution dual to N = 4 super Yang-Mills theory on the Coulomb branch (cSYM) at strong coupling. At T 6= 0, there are two black hole branches: the large and small black hole branches. We investigate the effects of rotating parameter and rapidity for the static and moving quakonium at the large and small black hole branches. We find both mechanisms have the same results. In the large black hole branch: as T/{\Lambda} and \b{eta} increase the thermal width decreases and so the suppression becomes stronger. In the small black hole branch: increasing T/{\Lambda} leads to increasing the thermal width and the quarkonium dissociates harder but \b{eta} has an opposite effect.


title: Pulled, pushed or failed: the demographic impact of a gene drive can change the nature of its spatial spread

abstract: Understanding the temporal spread of gene drive alleles -- alleles that bias their own transmission -- through modeling is essential before any field experiments. In this paper, we present a deterministic reaction-diffusion model describing the interplay between demographic and allelic dynamics, in a one-dimensional spatial context. We focused on the traveling wave solutions, and more specifically, on the speed of gene drive invasion (if successful). We considered various timings of gene conversion (in the zygote or in the germline) and different probabilities of gene conversion (instead of assuming 100$\%$ conversion as done in a previous work). We compared the types of propagation when the intrinsic growth rate of the population takes extreme values, either very large or very low. When it is infinitely large, the wave can be either successful or not, and, if successful, it can be either pulled or pushed, in agreement with previous studies (extended here to the case of partial conversion). In contrast, it cannot be pushed when the intrinsic growth rate is vanishing. In this case, analytical results are obtained through an insightful connection with an epidemiological SI model. We conducted extensive numerical simulations to bridge the gap between the two regimes of large and low growth rate. We conjecture that, if it is pulled in the two extreme regimes, then the wave is always pulled, and the wave speed is independent of the growth rate. This occurs for instance when the fitness cost is small enough, or when there is stable coexistence of the drive and the wild-type in the population after successful drive invasion. Our model helps delineate the conditions under which demographic dynamics can affect the spread of a gene drive.


title: Structure constants, Isaacs property and Extended Haagerup fusion categories

abstract: This paper presents an abstract Isaacs property that involves the Fourier transform for fusion rings, which may be non-commutative, thus expanding upon the commutative version described in [12]. A categorical version of this property was subsequently introduced in [8] for any spherical fusion category, matching with our abstract version in the pseudo-unitary case. We demonstrate that the Isaacs property occupies a distinct position, falling between the integrality of structure constants and the 1-Frobenius properties, in the commutative case. We show that the Extended Haagerup fusion categories, denoted as EHi, do not satisfy the Isaacs property. This finding provides a negative response to [8, Question 5.8], refutes [12, Conjecture 2.5], and recovers that EH1 lacks a braiding structure.


title: Multi-Fidelity Bayesian Optimization with Unreliable Information Sources

abstract: Bayesian optimization (BO) is a powerful framework for optimizing black-box, expensive-to-evaluate functions. Over the past decade, many algorithms have been proposed to integrate cheaper, lower-fidelity approximations of the objective function into the optimization process, with the goal of converging towards the global optimum at a reduced cost. This task is generally referred to as multi-fidelity Bayesian optimization (MFBO). However, MFBO algorithms can lead to higher optimization costs than their vanilla BO counterparts, especially when the low-fidelity sources are poor approximations of the objective function, therefore defeating their purpose. To address this issue, we propose rMFBO (robust MFBO), a methodology to make any GP-based MFBO scheme robust to the addition of unreliable information sources. rMFBO comes with a theoretical guarantee that its performance can be bound to its vanilla BO analog, with high controllable probability. We demonstrate the effectiveness of the proposed methodology on a number of numerical benchmarks, outperforming earlier MFBO methods on unreliable sources. We expect rMFBO to be particularly useful to reliably include human experts with varying knowledge within BO processes.


title: Dual Mechanism Priming Effects in Hindi Word Order

abstract: Word order choices during sentence production can be primed by preceding sentences. In this work, we test the DUAL MECHANISM hypothesis that priming is driven by multiple different sources. Using a Hindi corpus of text productions, we model lexical priming with an n-gram cache model and we capture more abstract syntactic priming with an adaptive neural language model. We permute the preverbal constituents of corpus sentences, and then use a logistic regression model to predict which sentences actually occurred in the corpus against artificially generated meaning-equivalent variants. Our results indicate that lexical priming and lexically-independent syntactic priming affect complementary sets of verb classes. By showing that different priming influences are separable from one another, our results support the hypothesis that multiple different cognitive mechanisms underlie priming.


title: Three low-mass companions around aged stars discovered by TESS

abstract: We report the discovery of three transiting low-mass companions to aged stars: a brown dwarf (TOI-2336b) and two objects near the hydrogen burning mass limit (TOI-1608b and TOI-2521b). These three systems were first identified using data from the Transiting Exoplanet Survey Satellite (TESS). TOI-2336b has a radius of $1.05\pm 0.04\ R_J$, a mass of $69.9\pm 2.3\ M_J$ and an orbital period of 7.71 days. TOI-1608b has a radius of $1.21\pm 0.06\ R_J$, a mass of $90.7\pm 3.7\ M_J$ and an orbital period of 2.47 days. TOI-2521b has a radius of $1.01\pm 0.04\ R_J$, a mass of $77.5\pm 3.3\ M_J$ and an orbital period of 5.56 days. We found all these low-mass companions are inflated. We fitted a relation between radius, mass and incident flux using the sample of known transiting brown dwarfs and low-mass M dwarfs. We found a positive correlation between the flux and the radius for brown dwarfs and for low-mass stars that is weaker than the correlation observed for giant planets. We also found that TOI-1608 and TOI-2521 are very likely to be spin-orbit synchronized, leading to the unusually rapid rotation of the primary stars considering their evolutionary stages. Our estimates indicate that both systems have much shorter spin-orbit synchronization timescales compared to their ages. These systems provide valuable insights into the evolution of stellar systems with brown dwarf and low-mass stellar companions influenced by tidal effects.


title: Discourse Context Predictability Effects in Hindi Word Order

abstract: We test the hypothesis that discourse predictability influences Hindi syntactic choice. While prior work has shown that a number of factors (e.g., information status, dependency length, and syntactic surprisal) influence Hindi word order preferences, the role of discourse predictability is underexplored in the literature. Inspired by prior work on syntactic priming, we investigate how the words and syntactic structures in a sentence influence the word order of the following sentences. Specifically, we extract sentences from the Hindi-Urdu Treebank corpus (HUTB), permute the preverbal constituents of those sentences, and build a classifier to predict which sentences actually occurred in the corpus against artificially generated distractors. The classifier uses a number of discourse-based features and cognitive features to make its predictions, including dependency length, surprisal, and information status. We find that information status and LSTM-based discourse predictability influence word order choices, especially for non-canonical object-fronted orders. We conclude by situating our results within the broader syntactic priming literature.


title: Structural analysis of water networks

abstract: Liquid water, besides being fundamental for life on Earth, has long fascinated scientists due to several anomalies. Different hypotheses have been put forward to explain these peculiarities. The most accredited one foresees the presence in the supercooled region of two phases at different densities: the low-density liquid phase and the high-density liquid phase. In our previous work [Faccio et al., J. Mol. Liq. 355 (2022): 118922], we showed that it is possible to identify these two forms in water networks through a computational approach based on molecular dynamics simulation and on the calculation of the total communicability of the associated graph, in which the nodes correspond to water molecules and the edges represent the connections (interactions) between molecules. In this paper, we present a more in-depth investigation of the application of graph-theory based approaches to the analysis of the structure of water networks. In particular, we investigate different connectivity and centrality measures and we report on the use of a variety of global metrics aimed at giving a topological and geometrical characterization of liquid water.


title: Entity Divider with Language Grounding in Multi-Agent Reinforcement Learning

abstract: We investigate the use of natural language to drive the generalization of policies in multi-agent settings. Unlike single-agent settings, the generalization of policies should also consider the influence of other agents. Besides, with the increasing number of entities in multi-agent settings, more agent-entity interactions are needed for language grounding, and the enormous search space could impede the learning process. Moreover, given a simple general instruction,e.g., beating all enemies, agents are required to decompose it into multiple subgoals and figure out the right one to focus on. Inspired by previous work, we try to address these issues at the entity level and propose a novel framework for language grounding in multi-agent reinforcement learning, entity divider (EnDi). EnDi enables agents to independently learn subgoal division at the entity level and act in the environment based on the associated entities. The subgoal division is regularized by opponent modeling to avoid subgoal conflicts and promote coordinated strategies. Empirically, EnDi demonstrates the strong generalization ability to unseen games with new dynamics and expresses the superiority over existing methods.


title: D- and A-optimal Screening Designs

abstract: In practice, optimal screening designs for arbitrary run sizes are traditionally generated using the D-criterion with factor settings fixed at +/- 1, even when considering continuous factors with levels in [-1, 1]. This paper identifies cases of undesirable estimation variance properties for such D-optimal designs and argues that generally A-optimal designs tend to push variances closer to their minimum possible value. New insights about the behavior of the criteria are found through a study of their respective coordinate-exchange formulas. The study confirms the existence of D-optimal designs comprised only of settings +/- 1 for both main effect and interaction models for blocked and un-blocked experiments. Scenarios are also identified for which arbitrary manipulation of a coordinate between [-1, 1] leads to infinitely many D-optimal designs each having different variance properties. For the same conditions, the A-criterion is shown to have a unique optimal coordinate value for improvement. We also compare Bayesian version of the A- and D-criteria in how they balance minimization of estimation variance and bias. Multiple examples of screening designs are considered for various models under Bayesian and non-Bayesian versions of the A- and D-criteria.


title: A Survey on Artificial Intelligence for Music Generation: Agents, Domains and Perspectives

abstract: Music is one of the Gardner's intelligences in his theory of multiple intelligences. How humans perceive and understand music is still being studied and is crucial to develop artificial intelligence models that imitate such processes. Music generation with Artificial Intelligence is an emerging field that is gaining much attention in the recent years. In this paper, we describe how humans compose music and how new AI systems could imitate such process by comparing past and recent advances in the field with music composition techniques. To understand how AI models and algorithms generate music and the potential applications that might appear in the future, we explore, analyze and describe the agents that take part of the music generation process: the datasets, models, interfaces, the users and the generated music. We mention possible applications that might benefit from this field and we also propose new trends and future research directions that could be explored in the future.


title: Comparing neural network training performance between Elixir and Python

abstract: With a wide range of libraries focused on the machine learning market, such as TensorFlow, NumPy, Pandas, Keras, and others, Python has made a name for itself as one of the main programming languages. In February 2021, Jos\'e Valim and Sean Moriarity published the first version of the Numerical Elixir (Nx) library, a library for tensor operations written in Elixir. Nx aims to allow the language be a good choice for GPU-intensive operations. This work aims to compare the results of Python and Elixir on training convolutional neural networks (CNN) using MNIST and CIFAR-10 datasets, concluding that Python achieved overall better results, and that Elixir is already a viable alternative.


title: Dynamical analysis of the redshift drift in FLRW universes

abstract: Redshift drift is the phenomenon whereby the observed redshift between an emitter and observer comoving with the Hubble flow in an expanding FLRW universe will slowly evolve -- on a timescale comparable to the Hubble time. In a previous article [JCAP 04 (2020) 043; arXiv 2001.11964] three of the current authors had performed a cosmographic analysis of the redshift drift in a FLRW universe, temporarily putting aside the issue of dynamics (the Friedmann equations). In the current article we now add dynamics, still within the framework of an exact FLRW universe. We shall develop a suitable generic matter model and apply it to both standard FLRW and various dark energy models. Furthermore, we shall also present a section analyzing the utility of using alternative cosmographic variables to describe the redshift drift data.


title: Computing the lines of a smooth cubic surface

abstract: We give an explicit formula for the $27$ lines of a smooth cubic surface near the Fermat surface. Our formula involves convergent power series with coefficients in the extension of rational numbers with the sixth root of unity. Our main tool is the Artinian Gorenstein ring of socle two attached to such lines.


title: Pruning, cut trees, and the reconstruction problem

abstract: We consider a pruning of the inhomogeneous continuum random trees, as well as the cut trees that encode the genealogies of the fragmentations that come with the pruning. We propose a new approach to the reconstruction problem, which has been treated for the Brownian CRT in [Electron. J. Probab. vol. 22, 2017] and for the stable trees in [Ann. IHP B, vol 55, 2019]. Our approach does not rely upon self-similarity and can potentially apply to general L\'evy trees as well.