title: The Lockman-SpReSO project. Galactic flows in a sample of far-infrared galaxies

abstract: Methods. We performed measurements of the \MgII, \MgI, \FeIIa, \FeIIb, and \FeIIc\ spectral lines present in the spectra of the selected sample to determine the EW and velocity of the flows observed in the star-forming galaxies. Subsequently, we conducted $10^7$ bootstrap simulations using Spearman's rank correlation coefficient ($\rho_s$) to explore correlations with galaxy properties. Furthermore, we calculated the covering factor, gas density, and optical depth for the measured \ion{Fe}{II} doublets. Results. Our analysis revealed strong correlations between the EW of \ion{Mg}{II} lines and both $M_{*}$ ($\rho_s=0.43$, 4.5$\sigma$) and SFR ($\rho_s=0.42$, 4.4$\sigma$). For the \ion{Fe}{II} lines, we observed strong correlations between the EW and SFR ($\rho_s\sim0.65$, $>3.9\sigma$), with a weaker correlation for $M_{*}$ ($\rho_s\sim0.35$, $>1.9\sigma$). No notable correlations were found between velocity measurements of \ion{Mg}{II} line and $M_{*}$, SFR, or sSFR of the objects ($\rho_s\sim0.1)$. However, a negative strong correlation was found between the velocity of the \ion{Fe}{II} lines and the SFR of the galaxies ($\rho_s\sim-0.45$, $\sim3\sigma$). Our results align with previous studies but studying FIR-selected objects. Finally, we detected a candidate \textit{loitering outflow}, a recently discovered subtype of FeLoBAL quasar, at redshift of $z=1.4399$, exhibiting emission in \ion{C}{III}] and low line velocities ($|v|\lesssim$ 200 km/s).


title: Characterization and optimization of polarized and unpolarized positron production

abstract: The electron induced production of positrons is a multi-parameter problem which combines elementary physics processes with complex collection systems. The optimization of this technique for 120~MeV and 1000~MeV electron beam kinetic energies is here discussed considering a tungsten target. A strong correlation between the optimum target thickness and the angular acceptance ($\Delta \theta$) of the collection system is observed, as well as sizeable differences between the optimum unpolarized and polarized operational modes. These also extend to the positron momentum and the positron polarization at the optimum, as well as the benefit of high electron beam energies for a high duty cycle positron source.


title: On the stabilization of a virtual element method for an acoustic vibration problem

abstract: In this paper we introduce an abstract setting for the convergence analysis of the virtual element approximation of an acoustic vibration problem. We discuss the effect of the stabilization parameters and remark that in some cases it is possible to achieve optimal convergence without the need of any stabilization. This statement is rigorously proved for lowest order triangular element and supported by several numerical experiments.


title: Take A Shortcut Back: Mitigating the Gradient Vanishing for Training Spiking Neural Networks

abstract: The Spiking Neural Network (SNN) is a biologically inspired neural network infrastructure that has recently garnered significant attention. It utilizes binary spike activations to transmit information, thereby replacing multiplications with additions and resulting in high energy efficiency. However, training an SNN directly poses a challenge due to the undefined gradient of the firing spike process. Although prior works have employed various surrogate gradient training methods that use an alternative function to replace the firing process during back-propagation, these approaches ignore an intrinsic problem: gradient vanishing. To address this issue, we propose a shortcut back-propagation method in our paper, which advocates for transmitting the gradient directly from the loss to the shallow layers. This enables us to present the gradient to the shallow layers directly, thereby significantly mitigating the gradient vanishing problem. Additionally, this method does not introduce any burden during the inference phase. To strike a balance between final accuracy and ease of training, we also propose an evolutionary training framework and implement it by inducing a balance coefficient that dynamically changes with the training epoch, which further improves the network's performance. Extensive experiments conducted over static and dynamic datasets using several popular network structures reveal that our method consistently outperforms state-of-the-art methods.


title: Online convex optimization for robust control of constrained dynamical systems

abstract: This article investigates the problem of controlling linear time-invariant systems subject to time-varying and a priori unknown cost functions, state and input constraints, and exogenous disturbances. We combine the online convex optimization framework with tools from robust model predictive control to propose an algorithm that is able to guarantee robust constraint satisfaction. The performance of the closed loop emerging from application of our framework is studied in terms of its dynamic regret, which is proven to be bounded linearly by the variation of the cost functions and the magnitude of the disturbances. We corroborate our theoretical findings and illustrate implementational aspects of the proposed algorithm by a numerical case study of a tracking control problem of an autonomous vehicle.


title: Development and validation of a cryogenic far-infrared diffraction grating spectrometer used to post-disperse the output from a Fourier transform spectrometer

abstract: Recent advances in far-infrared detector technology have led to increases in raw sensitivity of more than an order of magnitude over previous state-of-the-art detectors. With such sensitivity, photon noise becomes the dominant noise component, even when using cryogenically cooled optics, unless a method of restricting the spectral bandpass is employed. The leading instrument concept features reflecting diffraction gratings which post-disperse the light that has been modulated by a polarizing Fourier transform spectrometer (FTS) onto a detector array, thereby reducing the photon noise on each detector. This paper discusses the development of a cryogenic (4 K) diffraction grating spectrometer which operates over the wavelength range from 285 - 500 $\mu$m and was used to post-disperse the output from a room-temperature polarizing FTS. Measurements of the grating spectral response and diffraction efficiency are presented as a function of both wavelength and polarization to characterize the instrumental performance.


title: Optimal Survival Trees: A Dynamic Programming Approach

abstract: Survival analysis studies and predicts the time of death, or other singular unrepeated events, based on historical data, while the true time of death for some instances is unknown. Survival trees enable the discovery of complex nonlinear relations in a compact human comprehensible model, by recursively splitting the population and predicting a distinct survival distribution in each leaf node. We use dynamic programming to provide the first survival tree method with optimality guarantees, enabling the assessment of the optimality gap of heuristics. We improve the scalability of our method through a special algorithm for computing trees up to depth two. The experiments show that our method's run time even outperforms some heuristics for realistic cases while obtaining similar out-of-sample performance with the state-of-the-art.


title: Testing similarity of parametric competing risks models for identifying potentially similar pathways in healthcare

abstract: The identification of similar patient pathways is a crucial task in healthcare analytics. A flexible tool to address this issue are parametric competing risks models, where transition intensities may be specified by a variety of parametric distributions, thus in particular being possibly time-dependent. We assess the similarity between two such models by examining the transitions between different health states. This research introduces a method to measure the maximum differences in transition intensities over time, leading to the development of a test procedure for assessing similarity. We propose a parametric bootstrap approach for this purpose and provide a proof to confirm the validity of this procedure. The performance of our proposed method is evaluated through a simulation study, considering a range of sample sizes, differing amounts of censoring, and various thresholds for similarity. Finally, we demonstrate the practical application of our approach with a case study from urological clinical routine practice, which inspired this research.


title: SpiNNaker2: A Large-Scale Neuromorphic System for Event-Based and Asynchronous Machine Learning

abstract: The joint progress of artificial neural networks (ANNs) and domain specific hardware accelerators such as GPUs and TPUs took over many domains of machine learning research. This development is accompanied by a rapid growth of the required computational demands for larger models and more data. Concurrently, emerging properties of foundation models such as in-context learning drive new opportunities for machine learning applications. However, the computational cost of such applications is a limiting factor of the technology in data centers, and more importantly in mobile devices and edge systems. To mediate the energy footprint and non-trivial latency of contemporary systems, neuromorphic computing systems deeply integrate computational principles of neurobiological systems by leveraging low-power analog and digital technologies. SpiNNaker2 is a digital neuromorphic chip developed for scalable machine learning. The event-based and asynchronous design of SpiNNaker2 allows the composition of large-scale systems involving thousands of chips. This work features the operating principles of SpiNNaker2 systems, outlining the prototype of novel machine learning applications. These applications range from ANNs over bio-inspired spiking neural networks to generalized event-based neural networks. With the successful development and deployment of SpiNNaker2, we aim to facilitate the advancement of event-based and asynchronous algorithms for future generations of machine learning systems.


title: Augmented Reality and Human-Robot Collaboration Framework for Percutaneous Nephrolithotomy: System Design, Implementation, and Performance Metrics

abstract: During Percutaneous Nephrolithotomy (PCNL) operations, the surgeon is required to define the incision point on the patient's back, align the needle to a pre-planned path, and perform puncture operations afterward. The procedure is currently performed manually using ultrasound or fluoroscopy imaging for needle orientation, which, however, implies limited accuracy and low reproducibility. This work incorporates Augmented Reality (AR) visualization with an optical see-through head-mounted display (OST-HMD) and Human-Robot Collaboration (HRC) framework to empower the surgeon's task completion performance. In detail, Eye-to-Hand calibration, system registration, and hologram model registration are performed to realize visual guidance. A Cartesian impedance controller is used to guide the operator during the needle puncture task execution. Experiments are conducted to verify the system performance compared with conventional manual puncture procedures and a 2D monitor-based visualisation interface. The results showed that the proposed framework achieves the lowest median and standard deviation error across all the experimental groups, respectively. Furthermore, the NASA-TLX user evaluation results indicate that the proposed framework requires the lowest workload score for task completion compared to other experimental setups. The proposed framework exhibits significant potential for clinical application in the PCNL task, as it enhances the surgeon's perception capability, facilitates collision-free needle insertion path planning, and minimises errors in task completion.


title: Electrodynamics of superconductors: from Lorentz to Galilei at zero temperature

abstract: We discuss the derivation of the electrodynamics of superconductors coupled to the electromagnetic field from a Lorentz-invariant bosonic model of Cooper pairs. Our results are obtained at zero temperature where, according to the third law of thermodynamics, the entropy of the system is zero. In the nonrelativistic limit we obtain a Galilei-invariant superconducting system which differs with respect to the familiar Schr\"odinger-like one. From this point of view, there are similarities with the Pauli equation of fermions which is derived from the Dirac equation in the nonrelativistic limit and has a spin-magnetic field term in contrast with the Schr\"odinger equation. One of the peculiar effects of our model is the decay of a static electric field inside a superconductor exactly with the London penetration length. In addition, our theory predicts a modified D'Alembert equation for the massive electromagnetic field also in the case of nonrelativistic superconducting matter. We emphasize the role of the Nambu-Goldstone phase field which is crucial to obtain the collective modes of the superconducting matter field. In the special case of a nonrelativistic neutral superfluid we find a gapless Bogoliubov-like spectrum, while for the charged superfluid we obtain a dispersion relation that is gapped by the plasma frequency.


title: Adaptive Asynchronous Work-Stealing for distributed load-balancing in heterogeneous systems

abstract: Supercomputers have revolutionized how industries and scientific fields process large amounts of data. These machines group hundreds or thousands of computing nodes working together to execute time-consuming programs that require a large amount of computational resources. Over the years, supercomputers have expanded to include new and different technologies characterizing them as heterogeneous. However, executing a program in a heterogeneous environment requires attention to a specific aspect of performance degradation: load imbalance. In this research, we address the challenges associated with load imbalance when scheduling many homogeneous tasks in a heterogeneous environment. To address this issue, we introduce the concept of adaptive asynchronous work-stealing. This approach collects information about the nodes and utilizes it to improve work-stealing aspects, such as victim selection and task offloading. Additionally, the proposed approach eliminates the need for extra threads to communicate information, thereby reducing overhead when implementing a fully asynchronous approach. Our experimental results demonstrate a performance improvement of approximately 10.1\% compared to other conventional and state-of-the-art implementations.


title: Differential experiments using parallel alternative operations

abstract: The use of alternative operations in differential cryptanalysis, or alternative notions of differentials, are lately receiving increasing attention. Recently, Civino et al. managed to design a block cipher which is secure w.r.t. classical differential cryptanalysis performed using XOR-differentials, but weaker with respect to the attack based on an alternative difference operation acting on the first s-box of the block. We extend this result to parallel alternative operations, i.e. acting on each s-box of the block. First, we recall the mathematical framework needed to define and use such operations. After that, we perform some differential experiments against a toy cipher and compare the effectiveness of the attack w.r.t. the one that uses XOR-differentials.


title: Simulating quantum field theories on gate-based quantum computers

abstract: We implement a simulation of a quantum field theory in 1+1 space-time dimensions on a gate-based quantum computer using the light front formulation of the theory. The nonperturbative simulation of the Yukawa model field theory is verified on IBM's simulator and is also demonstrated on a small-scale IBM circuit-based quantum processor, on the cloud, using IBM Qiskit. The light front formulation allows for controlling the resource requirement and complexity of the computation with commensurate trade-offs in accuracy and detail by modulating a single parameter, namely the harmonic resolution. Qubit operators for the bosonic excitations were also created and were used along with the fermionic ones already available, to simulate the theory involving all of these particles. With the restriction on the number of logical qubits available on the existent gate-based Noisy Intermediate-Scale Quantum (NISQ) devices, the trotterization approximation is also used. We show that experimentally relevant quantities like cross-sections for various processes, survival probabilities of various states, etc. can be computed. We also explore the inaccuracies introduced by the bounds on achievable harmonic resolution and Trotter steps placed by the limited number of qubits and circuit depth supported by present-day NISQ devices.


title: Electric field-induced nonreciprocal spin current due to chiral phonons in chiral-structure superconductors

abstract: The recent experiment [R. Nakajima, et al., Nature 613, 479 (2023)] has reported a pair of oppositely polarized spins under an alternating electric current in a superconductor with a chiral structure. However, these behaviors cannot be explained by the conventional Edelstein effect and require a new mechanism. In this Letter, we propose a mechanism of spin current generation under an external electric field due to chiral phonons in a chiral-structure superconductor based on the Bogoliubov de Gennes and the Boltzmann equations. In our mechanism, chiral phonons are induced by electric field due to inversion symmetry breaking and electron-phonon interaction. They work as an effective Zeeman field and hence spin-polarize Bogoliubov quasiparticles in the superconductor. As a result, the spin current carried by quasiparticles flows along the screw axis and shows a quadratic dependence on the electric field at the low-field range, leading to a nonreciprocal spin transport. The spin current also shows a nonmonotonic temperature dependence and has a maximum at around the superconducting transition temperature.


title: Efficient designs for multivariate crossover trials

abstract: This article aims to study efficient/trace optimal designs for crossover trials with multiple responses recorded from each subject in the time periods. A multivariate fixed effects model is proposed with direct and carryover effects corresponding to the multiple responses. The corresponding error dispersion matrix is chosen to be either of the proportional or the generalized Markov covariance type, permitting the existence of direct and cross-correlations within and between the multiple responses. The corresponding information matrices for direct effects under the two types of dispersions are used to determine efficient designs. The efficiency of orthogonal array designs of Type $I$ and strength $2$ is investigated for a wide choice of covariance functions, namely, Mat($0.5$), Mat($1.5$) and Mat($\infty$). To motivate these multivariate crossover designs, a gene expression dataset in a $3 \times 3$ framework is utilized.


title: Jet medium modifications

abstract: Since the start of the heavy-ion collision programs at the Relativistic Heavy Ion Collider and the Large Hadron Collider, the study of jet modifications resulting from their interactions with the produced QCD matter has provided a unique tool to investigate and characterize the properties of the quark-gluon plasma. In this mini-overview, I will present the recent theoretical advancements in describing and understanding the modifications of jets within a QCD medium.


title: Investigating the compatibility of exact solutions in Weyl-type $f(Q,T)$ gravity with observational data

abstract: In this study, we investigate the dynamics of the Universe during the observed late-time acceleration phase within the framework of the Weyl-type $f(Q,T)$ theory. Specifically, we consider a well-motivated model with the functional form $f(Q,T)=\alpha Q+\frac{\beta }{6\kappa ^2}T$, where $Q$ represents the scalar of non-metricity and $T$ denotes the trace of the energy-momentum tensor. In this context, the non-metricity $Q_{\mu\alpha\beta}$ of the space-time is established by the vector field $w_\mu$. The parameters $\alpha$ and $\beta$ govern the gravitational field and its interaction with the matter content of the Universe. By considering the case of dust matter, we obtain exact solutions for the field equations and observe that the Hubble parameter $H(z)$ follows a power-law behavior with respect to redshift $z$. To constrain the model parameters, we analyze various datasets including the $Hubble$, $Pantheon$ datasets, and their combination. Our results indicate that the Weyl-type $f(Q,T)$ theory offers a viable alternative to explain the observed late-time acceleration of the Universe avoiding the use of dark energy.


title: Ion temperature gradient mode mitigation by energetic particles, mediated by forced-driven zonal flows

abstract: In this work, we use the global electromagnetic and electrostatic gyro kinetic approaches to investigate the effects of zonal flows forced-driven by Alfv\'en modes due to their excitation by energetic particles (EPs), on the dynamics of ITG (Ion temperature gradient) instabilities. The equilibrium of the 92416 JET tokamak shot is considered. The linear and nonlinear Alfv\'en modes dynamics, as well as the zonal flow dynamics, are investigated and their respective radial structures and saturation levels are reported. ITG dynamics in the presence of the zonal flows excited by these Alfv\'en modes are also investigated. We find that, the zonal flows forced-driven by Alfv\'en modes can significantly impact the ITG dynamics. A zonal flow amplitude scan reveals the existence of an inverse relation between the zonal flow amplitude and the ITG growth rate. These results show that, forced-driven zonal flows can be an important indirect part of turbulence mitigation due to the injection of energetic particles.


title: Observation of Higher Order Nodal Line Semimetal in Phononic Crystals

abstract: Higher-order topological insulators and semimetals, which generalize the conventional bulk-boundary correspondence, have attracted extensive research interest. Among them, higher-order Weyl semimetals feature two-fold linear crossing points in three-dimensional (3D) momentum space, 2D Fermi-arc surface states, and 1D hinge states. Higher-order nodal-point semimetals possessing Weyl points or Dirac points have been implemented. However, higher-order nodal-line or nodal-surface semimetals remain to be further explored in experiments in spite of many previous theoretical efforts. In this work, we realize a second-order nodal-line semimetal in 3D phononic crystals. The bulk nodal lines, 2D drumhead surface states guaranteed by Zak phases, and 1D flat hinge states attributed to kz-dependent quadrupole moments, are observed in simulations and experiments. Our findings of nondispersive surface and hinge states may promote applications in acoustic sensing and energy harvesting.


title: Ground-Based Photometric Follow-up for Exoplanet Detections with the PLATO Mission

abstract: Detections of transiting planets from the upcoming PLATO mission are expected to face significant contamination from contaminating eclipsing binaries, resulting in false positives. To counter this, a ground-based programme to acquire time-critical photometry is pursued. Its principal aim is to obtain time-series observations of the planet candidate and its surrounding stars at the times of expected transits. This programme is part of the PLATO Ground-based Observations Programme, which also covers spectroscopic and imaging observations. The current photometric follow-up programme is assembling the required observational resources, executing benchmark observations, and defining strategies for the observations and their reporting. Post-launch, it will focus on coordinating photometric data collection and analysis, and will update candidate statuses in the PLATO follow-up database. Its work packages are outlined, covering specific tools, citizen contributions, standard and multi-colour observations, secondary eclipses, and reprocessing of archival photometry. Ground-based follow-up photometry will likely concentrate on longer-period candidates, given that false positives of short-period candidates will likely become identifiable in timeseries available from GAIA in the near future. Geographical considerations for follow-up observations from the first PLATO long-observation field LOPS2 are outlined, which lies in the southern hemisphere, with later fields expected to be more suitable for northern observers.


title: A unified approach to $L^p$ Hardy and Rellich-type inequalities in Euclidean and non-Euclidean settings

abstract: In this paper we introduce a unified and compact method for proving $L^p$ Hardy and Rellich-type inequalities. The most important feature of our method is that it allows us to extend these inequalities beyond the traditional Euclidean setting. More precisely, the applications of this method span diverse contexts, including the Heisenberg group, general Carnot groups, and operators represented as the sum of squares of vector fields. Notable examples include the sub-Laplacian on Carnot groups, the Heisenberg-Greiner operator, and the Baouendi-Grushin operator.


title: Data-driven scale identification in oscillatory dynamos

abstract: Parker's mean-field model includes two processes generating large-scale oscillatory dynamo waves: stretching of magnetic field lines by small-scale helical flows, and by differential rotation. In this work, we investigate the capacity of data-driven modal analysis, Dynamic Mode Decomposition, to identify coherent magnetic field structures of this model. In its canonical form, the only existing field scale corresponds to the dynamo instability. To take into account multi-scale nature of the dynamo, the model was augmented with coherent in time flow field, forcing small-scale magnetic field with a faster temporal evolution. Two clusters of DMD modes were obtained: the ``slow" cluster, located near the dynamo wave frequency and associated with its nonlinear self-interaction, and the ``fast" cluster, centered around the forcing frequency and resulting from the interaction between the wave and the flow. Compared to other widely used methods of data analysis, such as Fourier transform, DMD provides a natural spatiotemporal basis for the dynamo, related to its nonlinear dynamics. We assess how the parameters of the DMD model, rank and delay, influence its accuracy, and finally discuss the limitations of this approach when applied to randomly forced, more complex dynamo flows.


title: Lifting link invariants by functors on nanophrases

abstract: Nanophrases have a filtered structure consisting of an infinite number of categories, and each category has a homotopy structure. Among these categories, the one that we are most familiar with is the category of links. Interestingly, the category in which the Jones polynomial is defined consists of a category that is actually less informative category than the link category, and so is the quandle category. The former is called the pseudolink category and the latter the quasilink category, which are covered by the link category; there is a known filtration: links cover pseudolinks, pseudolinks cover virtual strings, and virtual strings cover free links. The introduction and groundwork for nanophrases were done by Turaev around 2005. In this paper, we introduce functors (Theorem 1) from general nanophrases to virtual strings/pseudolinks/quasilinks/free links. These functors are powerful because of the difference between each of two. To demonstrate the effectiveness of such new construction of functors, the Jones pseudolink polynomial (Section 4), which implies the Jones link polynomial, is extended to general filtered nanophrases using one of the functors (Section 5). In particular, the information level of the nanophrases used in each category is explicitly described in the above construction process. This paper is a refined version by developing parts of sections 3 and 6 in arXiv: 0901.3956.


title: TechGPT-2.0: A large language model project to solve the task of knowledge graph construction

abstract: Large language models have exhibited robust performance across diverse natural language processing tasks. This report introduces TechGPT-2.0, a project designed to enhance the capabilities of large language models specifically in knowledge graph construction tasks, including named entity recognition (NER) and relationship triple extraction (RTE) tasks in NLP applications. Additionally, it serves as a LLM accessible for research within the Chinese open-source model community. We offer two 7B large language model weights and a QLoRA weight specialized for processing lengthy texts.Notably, TechGPT-2.0 is trained on Huawei's Ascend server. Inheriting all functionalities from TechGPT-1.0, it exhibits robust text processing capabilities, particularly in the domains of medicine and law. Furthermore, we introduce new capabilities to the model, enabling it to process texts in various domains such as geographical areas, transportation, organizations, literary works, biology, natural sciences, astronomical objects, and architecture. These enhancements also fortified the model's adeptness in handling hallucinations, unanswerable queries, and lengthy texts. This report provides a comprehensive and detailed introduction to the full fine-tuning process on Huawei's Ascend servers, encompassing experiences in Ascend server debugging, instruction fine-tuning data processing, and model training. Our code is available at https://github.com/neukg/TechGPT-2.0


title: Data-driven Nonlinear Model Reduction using Koopman Theory: Integrated Control Form and NMPC Case Study

abstract: We use Koopman theory for data-driven model reduction of nonlinear dynamical systems with controls. We propose generic model structures combining delay-coordinate encoding of measurements and full-state decoding to integrate reduced Koopman modeling and state estimation. We present a deep-learning approach to train the proposed models. A case study demonstrates that our approach provides accurate control models and enables real-time capable nonlinear model predictive control of a high-purity cryogenic distillation column.


title: Linear-size Suffix Tries and Linear-size CDAWGs Simplified and Improved

abstract: The linear-size suffix tries (LSTries) [Crochemore et al., TCS 2016] are a version of suffix trees in which the edge labels are single characters, yet are able to perform pattern matching queries in optimal time. Instead of explicitly storing the input text, LSTries have some extra non-branching internal nodes called type-2 nodes. The extended techniques are then used in the linear-size compact directed acyclic word graphs (LCDAWGs) [Takagi et al. SPIRE 2017], which can be stored with $O(el(T)+er(T))$ space (i.e. without the text), where $el(T)$ and $er(T)$ are the numbers of left- and right-extensions of the maximal repeats in the input text string $T$, respectively. In this paper, we present simpler alternatives to the aforementioned indexing structures, called the simplified LSTries (simLSTries) and the simplified LCDAWGs (simLCDAWGs), in which most of the type-2 nodes are removed. In particular, our simLCDAWGs require only $O(er(T))$ space and work on a weaker model of computation (i.e. the pointer machine). This contrasts the $O(er(T))$-space CDAWG representation of [Belazzougui \& Cunial, SPIRE 2017], which works on the word RAM.


title: $K_2$ of families of elliptic curves over non-Abelian cubic and quartic fields

abstract: We give two constructions of families of elliptic curves over cubic or quartic fields with three, respectively four, `integral' elements in the kernel of the tame symbol on the curves. The fields are in general non-Abelian, and the elements linearly independent. For their integrality, we prove a new criterion that does not ignore any torsion. We also verify Beilinson's conjecture numerically for just over 90 of the curves.


title: Zero Shot Audio to Audio Emotion Transfer With Speaker Disentanglement

abstract: The problem of audio-to-audio (A2A) style transfer involves replacing the style features of the source audio with those from the target audio while preserving the content related attributes of the source audio. In this paper, we propose an efficient approach, termed as Zero-shot Emotion Style Transfer (ZEST), that allows the transfer of emotional content present in the given source audio with the one embedded in the target audio while retaining the speaker and speech content from the source. The proposed system builds upon decomposing speech into semantic tokens, speaker representations and emotion embeddings. Using these factors, we propose a framework to reconstruct the pitch contour of the given speech signal and train a decoder that reconstructs the speech signal. The model is trained using a self-supervision based reconstruction loss. During conversion, the emotion embedding is alone derived from the target audio, while rest of the factors are derived from the source audio. In our experiments, we show that, even without using parallel training data or labels from the source or target audio, we illustrate zero shot emotion transfer capabilities of the proposed ZEST model using objective and subjective quality evaluations.


title: Robust Bayesian Method for Refutable Models

abstract: We propose a robust Bayesian method for economic models that can be rejected under some data distributions. The econometrician starts with a structural assumption which can be written as the intersection of several assumptions, and the joint assumption is refutable. To avoid the model rejection, the econometrician first takes a stance on which assumption $j$ is likely to be violated and considers a measurement of the degree of violation of this assumption $j$. She then considers a (marginal) prior belief on the degree of violation $(\pi_{m_j})$: She considers a class of prior distributions $\pi_s$ on all economic structures such that all $\pi_s$ have the same marginal distribution $\pi_m$. Compared to the standard nonparametric Bayesian method that puts a single prior on all economic structures, the robust Bayesian method imposes a single marginal prior distribution on the degree of violation. As a result, the robust Bayesian method allows the econometrician to take a stance only on the likeliness of violation of assumption $j$. Compared to the frequentist approach to relax the refutable assumption, the robust Bayesian method is transparent on the econometrician's stance of choosing models. We also show that many frequentists' ways to relax the refutable assumption can be found equivalent to particular choices of robust Bayesian prior classes. We use the local average treatment effect (LATE) in the potential outcome framework as the leading illustrating example.


title: A New Spatial Block-Correlation Model for Fluid Antenna Systems

abstract: Powered by position-flexible antennas, the emerging fluid antenna system (FAS) technology postulates as a key enabler for massive connectivity in 6G networks. The free movement of antenna elements enables the opportunistic minimization of interference, allowing several users to share the same radio channel without the need of precoding. However, the true potential of FAS is still unknown due to the extremely high spatial correlation of the wireless channel between very close-by antenna positions. To unveil the multiplexing capabilities of FAS, proper (simple yet accurate) modeling of the spatial correlation is prominently needed. Realistic classical models such as Jakes' are prohibitively complex, rendering intractable analyses, while state-of-the-art approximations often are too simplistic and poorly accurate. Aiming to fill this gap, we here propose a general framework to approximate spatial correlation by block-diagonal matrices, motivated by the well-known block fading assumption and by statistical results on large correlation matrices. The proposed block-correlation model makes the performance analysis possible, and tightly approximates the results obtained with realistic models (Jakes' and Clarke's). Our framework is leveraged to analyze fluid antenna multiple access (FAMA) systems, evaluating their performance for both one- and two-dimensional fluid antennas.


title: Rewriting the Code: A Simple Method for Large Language Model Augmented Code Search

abstract: In code search, the Generation-Augmented Retrieval (GAR) framework, which generates exemplar code snippets to augment queries, has emerged as a promising strategy to address the principal challenge of modality misalignment between code snippets and natural language queries, particularly with the demonstrated code generation capabilities of Large Language Models (LLMs). Nevertheless, our preliminary investigations indicate that the improvements conferred by such an LLM-augmented framework are somewhat constrained. This limitation could potentially be ascribed to the fact that the generated codes, albeit functionally accurate, frequently display a pronounced stylistic deviation from the ground truth code in the codebase. In this paper, we extend the foundational GAR framework and propose a simple yet effective method that additionally Rewrites the Code (ReCo) within the codebase for style normalization. Experimental results demonstrate that ReCo significantly boosts retrieval accuracy across sparse (up to 35.7%), zero-shot dense (up to 27.6%), and fine-tuned dense (up to 23.6%) retrieval settings in diverse search scenarios. To further elucidate the advantages of ReCo and stimulate research in code style normalization, we introduce Code Style Similarity, the first metric tailored to quantify stylistic similarities in code. Notably, our empirical findings reveal the inadequacy of existing metrics in capturing stylistic nuances. The source code and data are available at \url{https://github.com/Alex-HaochenLi/ReCo}.


title: Exploring Prompt-Based Methods for Zero-Shot Hypernym Prediction with Large Language Models

abstract: This article investigates a zero-shot approach to hypernymy prediction using large language models (LLMs). The study employs a method based on text probability calculation, applying it to various generated prompts. The experiments demonstrate a strong correlation between the effectiveness of language model prompts and classic patterns, indicating that preliminary prompt selection can be carried out using smaller models before moving to larger ones. We also explore prompts for predicting co-hyponyms and improving hypernymy predictions by augmenting prompts with additional information through automatically identified co-hyponyms. An iterative approach is developed for predicting higher-level concepts, which further improves the quality on the BLESS dataset (MAP = 0.8).


title: Hyers-Ulam stability for finite-dimensional nonautonomous dynamics

abstract: The main purpose of this paper is to obtain necessary and sufficient conditions under which a nonautonomous, finite-dimensional and two-sided dynamics generated by a sequence of matrices or a linear ODE exhibits Hyers-Ulam stability. Specifically, in the case of discrete time we consider a nonautonomous difference equation with possibly noninvertible coefficients, while in the case of continuous time we deal with a nonautonomous ordinary differential equation without any bounded growth assumptions.


title: Stability of Dusty Rings in Protoplanetary Discs

abstract: Dust rings in protoplanetary discs are often observed in thermal dust emission and could be favourable environments for planet formation. While dust rings readily form in gas pressure maxima, their long-term stability is key to both their observability and potential to assist in planet formation. We investigate the stability of the dust ring generated by interactions of a protoplanetary disc with a Neptune sized planet and consider its possible long term evolution using the FARGO3D Multifluid code. We look at the onset of the Rossby Wave Instability (RWI) and compare how the addition of dust in a disc can alter the stability of the gas phase. We find that with the addition of dust, the rings generated by planet disc interactions are more prone to RWI and can cause the gas phase to become unstable. The instability is shown to occur more easily for higher Stokes number dust, as it accumulates into a more narrow ring which triggers the RWI, while the initial dust fraction plays a more minor role in the stability properties. We show that the dusty RWI generates vortices that collect dust in their cores, which could be sites for further planetesimal formation. We conclude that the addition of dust can cause a ring in a protoplanetary disc to become more prone to instability leading to a different long term evolution compared to gas only simulations of the RWI.


title: The Critique of Critique

abstract: Critique, as a natural language description for assessing the quality of model-generated content, has played a vital role in the training, evaluation, and refinement of LLMs. However, a systematic method to evaluate the quality of critique is lacking. In this paper, we pioneer the critique of critique, termed MetaCritique, which builds specific quantification criteria. To achieve a reliable evaluation outcome, we propose Atomic Information Units (AIUs), which describe the critique in a more fine-grained manner. MetaCritique aggregates each AIU's judgment for the overall score. Moreover, MetaCritique delivers a natural language rationale for the intricate reasoning within each judgment. Lastly, we construct a meta-evaluation dataset covering 4 tasks across 16 public datasets involving human-written and LLM-generated critiques. Experiments demonstrate that MetaCritique can achieve near-human performance. Our study can facilitate future research in LLM critiques based on our following observations and released resources: (1) superior critiques judged by MetaCritique can lead to better refinements, indicating that it can potentially enhance the alignment of existing LLMs; (2) the leaderboard of critique models reveals that open-source critique models commonly suffer from factuality issues; (3) relevant code and data are publicly available at https://github.com/GAIR-NLP/MetaCritique to support deeper exploration; (4) an API at PyPI with the usage documentation in Appendix C allows users to assess the critique conveniently.


title: Mixed methods and lower eigenvalue bounds

abstract: It is shown how mixed finite element methods for symmetric positive definite eigenvalue problems related to partial differential operators can provide guaranteed lower eigenvalue bounds. The method is based on a classical compatibility condition (inclusion of kernels) of the mixed scheme and on local constants related to compact embeddings, which are often known explicitly. Applications include scalar second-order elliptic operators, linear elasticity, and the Steklov eigenvalue problem.


title: Essential role of destructive interference in the gravitationally induced entanglement

abstract: The gravitationally induced entanglement is a type of quantum entanglement that can be generated between two mesoscopic particles using their Newtonian gravitational interaction. It has attracted a great deal of attention as a new platform for studying quantum aspects of gravity. The present paper analyzes the gravitationally induced entanglement as a pure interference effect and shows that the entanglement is induced solely by a sign change associated with the destructive quantum interference. It is also shown that when the entanglement is non-maximal, the preparation for destructive interference for one of the particles can recover a maximum visibility interference pattern for the other particle. Therefore, the non-maximally entangled state can be extremely effective for experimental testing since it can help in reducing requirements (on masses of the particles and their interaction duration, separation distances and sources) and preserve the information about entanglement at the same time. As a result, the improvement in the signal-to-noise ratio is demonstrated and a parameter that determines minimal requirements for experimental testing is defined.


title: Proof of Efficient Liquidity: A Staking Mechanism for Capital Efficient Liquidity

abstract: The Proof of Efficient Liquidity (PoEL) protocol, designed for specialised Proof of Stake (PoS) consensus-based blockchains that incorporate intrinsic DeFi applications, aims to support sustainable liquidity bootstrapping and network security. This concept seeks to efficiently utilise budgeted staking rewards to attract and sustain liquidity through a risk-structuring engine and incentive allocation strategy, both of which are designed to maximise capital efficiency. The proposed protocol serves the dual objective of: (i) capital creation by attracting risk capital efficiently and maximising its operational utility for intrinsic DeFi applications, thereby asserting sustainability; and (ii) enhancing the adopting blockchain network's economic security by augmenting their staking (PoS) mechanism with a harmonious layer seeking to attract a diversity of digital assets. Finally, the protocol's conceptual framework, as detailed in the appendix, is extended to encompass service fee credits. This extension capitalises on the network's auxiliary services to disperse incentives and attract liquidity, ensuring the network achieves and maintains the critical usage threshold essential for its sustained operational viability and progressive growth.


title: LUNA: A Framework for Language Understanding and Naturalness Assessment

abstract: The evaluation of Natural Language Generation (NLG) models has gained increased attention, urging the development of metrics that evaluate various aspects of generated text. LUNA addresses this challenge by introducing a unified interface for 20 NLG evaluation metrics. These metrics are categorized based on their reference-dependence and the type of text representation they employ, from string-based n-gram overlap to the utilization of static embeddings and pre-trained language models. The straightforward design of LUNA allows for easy extension with novel metrics, requiring just a few lines of code. LUNA offers a user-friendly tool for evaluating generated texts.


title: Spin-$(s,j)$ projectors and gauge-invariant spin-$s$ actions in maximally symmetric backgrounds

abstract: Given a maximally symmetric $d$-dimensional background with isometry algebra $\mathfrak{g}$, a symmetric and traceless rank-$s$ field $\phi_{a(s)}$ satisfying the massive Klein-Gordon equation furnishes a collection of massive $\mathfrak{g}$-representations with spins $j\in \{0,1,\cdots,s\}$. In this paper we construct the spin-$(s,j)$ projectors, which are operators that isolate the part of $\phi_{a(s)}$ that furnishes the representation from this collection carrying spin $j$. In the case of an (anti-)de Sitter ((A)dS$_d$) background, we find that the poles of the projectors encode information about (partially-)massless representations, in agreement with observations made earlier in $d=3,4$. We then use these projectors to facilitate a systematic derivation of two-derivative actions with a propagating massless spin-$s$ mode. In addition to reproducing the massless spin-$s$ Fronsdal action, this analysis generates new actions possessing higher-depth gauge symmetry. In (A)dS$_d$ we also derive the action for a partially-massless spin-$s$ depth-$t$ field with $1\leq t \leq s$. The latter utilises the minimum number of auxiliary fields, and corresponds to the action originally proposed by Zinoviev after gauging away all St\"{u}ckelberg fields. Some higher-derivative actions are also presented, and in $d=3$ are used to construct (i) generalised higher-spin Cotton tensors in (A)dS$_3$; and (ii) topologically-massive actions with higher-depth gauge symmetry. Finally, in four-dimensional $\mathcal{N}=1$ Minkowski superspace, we provide closed-form expressions for the analogous superprojectors.


title: Analyzing Coherency in Facet-based Clarification Prompt Generation for Search

abstract: Clarifying user's information needs is an essential component of modern search systems. While most of the approaches for constructing clarifying prompts rely on query facets, the impact of the quality of the facets is relatively unexplored. In this work, we concentrate on facet quality through the notion of facet coherency and assess its importance for overall usefulness for clarification in search. We find that existing evaluation procedures do not account for facet coherency, as evident by the poor correlation of coherency with automated metrics. Moreover, we propose a coherency classifier and assess the prevalence of incoherent facets in a well-established dataset on clarification. Our findings can serve as motivation for future work on the topic.


title: Implantable Photonic Neural Probes with Out-of-Plane Focusing Grating Emitters

abstract: We have designed, fabricated, and characterized implantable silicon neural probes with nanophotonic grating emitters that focus the emitted light at a specified distance above the surface of the probe for spatially precise optogenetic targeting of neurons. Using the holographic principle, we designed gratings for wavelengths of 488 and 594 nm, targeting the excitation spectra of the optogenetic actuators Channelrhodopsin-2 and Chrimson, respectively. The measured optical emission pattern of these emitters in non-scattering medium and tissue matched well with simulations. To our knowledge, this is the first report of focused spots with the size scale of a neuron soma in brain tissue formed from implantable neural probes.


title: Ecosystem orchestration practices for industrial firms: A qualitative meta-analysis, framework development and research agenda

abstract: This study ventures into the dynamic realm of ecosystem orchestration for industrial firms, emphasizing its significance in maintaining competitive advantage in the digital era. The fragmented research on this important subject poses challenges for firms aiming to navigate and capitalize on ecosystem orchestration. To bridge this knowledge gap, we conducted a comprehensive qualitative meta-analysis of 31 case studies and identified multifaceted orchestration practices employed by industrial firms. The core contribution of this research is the illumination of five interdependent but interrelated orchestration practices: strategic design, relational, resource integration, technological, and innovation. Together, these practices are synthesized into an integrative framework termed the "Stirring Model," which serves as a practical guide to the orchestration practices. Furthermore, the conceptual framework clarifies the synergy between the identified practices and highlights their collective impact. This study proposes theoretical and practical implications for ecosystem orchestration literature and suggests avenues for further research.


title: Phenomenology of isospin-symmetry breaking with vector mesons

abstract: We study the effect of isospin-symmetry breaking in the framework of the extended Linear Sigma Model (eLSM) in vacuum. In this model, several particles mix with each other at tree level, due to the three non-zero scalar condensates (non-strange, strange, isospin). We resolve these mixings with the help of various field transformations. We compute all possible meson mixings and decay widths at tree level and perform a $\chi^2$ fit to PDG data. A very good fit is found if we exclude the (very small $\sim 130$~keV) $\omega\to \pi\pi$ decay. We also investigate the violation of Dashen's theorem.


title: Spacetime Foam and Solution of the Cosmological Constant Problem

abstract: The cosmological constant problem is a fundamental issue that has puzzled researchers in the fields of theoretical physics and cosmology for a long time. It arises from the discrepancy between the observed value of the cosmological constant and the value predicted by quantum field theory. A new spacetime model based on nonassociative geometry and statistical physics of complex networks offers a fresh perspective on the problem. Our research indicates that spacetime topology plays a crucial role in solving the cosmological constant problem and addressing the dark energy issue. We discovered that spacetime foam significantly impacts the effective cosmological constant, which is determined by the density of topological geons. Furthermore, we demonstrate that the source of dark energy is topological geons


title: Comment on Infrared dielectric function of Ga(As,P) semiconductor alloys near the reststrahlen bands (Applied Physics Letters 123, 172102, 2023)

abstract: Though extensively studied since the emergence of zincblende cubic A(B,C) semiconductor alloys (zb-SCA) in the sixties, the phonon mode behavior of Ga(As,P) remains a subject of debate to this day. Recently Zollner and co-authors reported on a thorough far-infrared (IR) ellipsometry study of the vibrational spectra of Ga(As,P) spanning the composition domain. They suggest that their experimental data are better described by the cluster model than by our percolation model. On the basis of Zollner experimental data, kindly made available to us, we derive an improved version of the percolation model that explains the phonon mode behavior of Ga(As,P) beyond existing CM and PM approaches, with ab initio phonon calculations in support.


title: Coherent errors in stabilizer codes caused by quasistatic phase damping

abstract: Quantum error correction is a key challenge for the development of practical quantum computers, a direction in which significant experimental progress has been made in recent years. In solid-state qubits, one of the leading information loss mechanisms is dephasing, usually modelled by phase flip errors. Here, we introduce quasistatic phase damping, a more subtle error model which describes the effect of Larmor frequency fluctuations due to 1/f noise. We show how this model is different from a simple phase flip error model, in terms of multi-cycle error correction. Considering the surface code, we provide numerical evidence for an error threshold, in the presence of quasistatic phase damping and readout errors. We discuss the implications of our results for spin qubits and superconducting qubits.


title: MERA: A Comprehensive LLM Evaluation in Russian

abstract: Over the past few years, one of the most notable advancements in AI research has been in foundation models (FMs), headlined by the rise of language models (LMs). As the models' size increases, LMs demonstrate enhancements in measurable aspects and the development of new qualitative features. However, despite researchers' attention and the rapid growth in LM application, the capabilities, limitations, and associated risks still need to be better understood. To address these issues, we introduce an open Multimodal Evaluation of Russian-language Architectures (MERA), a new instruction benchmark for evaluating foundation models oriented towards the Russian language. The benchmark encompasses 21 evaluation tasks for generative models in 11 skill domains and is designed as a black-box test to ensure the exclusion of data leakage. The paper introduces a methodology to evaluate FMs and LMs in zero- and few-shot fixed instruction settings that can be extended to other modalities. We propose an evaluation methodology, an open-source code base for the MERA assessment, and a leaderboard with a submission system. We evaluate open LMs as baselines and find that they are still far behind the human level. We publicly release MERA to guide forthcoming research, anticipate groundbreaking model features, standardize the evaluation procedure, and address potential societal drawbacks.


title: Gate-tunable crossover between vortex-interaction and pinning dominated regimes in Josephson-coupled Lead-islands on graphene

abstract: Resistance of a Josephson junction array consisting of randomly distributed lead (Pb) islands on exfoliated single layer graphene shows a broad superconducting transition to zero with an onset temperature close to the transition temperature of bulk Pb. The transition evolves with the back-gate voltage and exhibits two peaks in temperature derivative of resistance. The region above the lower temperature peak is found to be well described by Berezinskii-Kosterlitz-Thouless model of thermal unbinding of vortex anti-vortex pairs while that below this peak fits well with the Ambegaokar- Halperin model of thermally-activated phase slip or vortex motion in Josephson junction arrays. Thus a gate-tunable crossover between interaction and pinning dominated vortices is inferred as the Josephson energy, dictating the pinning potential magnitude, increases with cooling while the effective screening length, dictating the range of inter-vortex interaction, reduces.


title: Simulation of ion demixing in halide perovskites using Cahn-Hilliard equation

abstract: Light-induced ion demixing in mixed-halide perovskites is simulated numerically using the phenomenological Cahn-Hilliard equation. In the model we consider the energy of local elastic deformation as well as the contribution of free carriers, assuming both the polaron and the bandgap-fluctuation models. The simulation shows that elastic deformation suppresses the demixing while free carriers promote it, however both effects lead to different ion distributions. The free-carrier-induced demixing appears only for larger starting random fluctuations of the ion concentration.


title: Testing Human-Robot Interaction in Virtual Reality: Experience from a Study on Speech Act Classification

abstract: In recent years, an increasing number of Human-Robot Interaction (HRI) approaches have been implemented and evaluated in Virtual Reality (VR), as it allows to speed-up design iterations and makes it safer for the final user to evaluate and master the HRI primitives. However, identifying the most suitable VR experience is not straightforward. In this work, we evaluate how, in a smart agriculture scenario, immersive and non-immersive VR are perceived by users with respect to a speech act understanding task. In particular, we collect opinions and suggestions from the 81 participants involved in both experiments to highlight the strengths and weaknesses of these different experiences.


title: Semi-Supervised Deep Sobolev Regression: Estimation, Variable Selection and Beyond

abstract: We propose SDORE, a semi-supervised deep Sobolev regressor, for the nonparametric estimation of the underlying regression function and its gradient. SDORE employs deep neural networks to minimize empirical risk with gradient norm regularization, allowing computation of the gradient norm on unlabeled data. We conduct a comprehensive analysis of the convergence rates of SDORE and establish a minimax optimal rate for the regression function. Crucially, we also derive a convergence rate for the associated plug-in gradient estimator, even in the presence of significant domain shift. These theoretical findings offer valuable prior guidance for selecting regularization parameters and determining the size of the neural network, while showcasing the provable advantage of leveraging unlabeled data in semi-supervised learning. To the best of our knowledge, SDORE is the first provable neural network-based approach that simultaneously estimates the regression function and its gradient, with diverse applications including nonparametric variable selection and inverse problems. The effectiveness of SDORE is validated through an extensive range of numerical simulations and real data analysis.


title: Evaluating Language Model Agency through Negotiations

abstract: We introduce an approach to evaluate language model (LM) agency using negotiation games. This approach better reflects real-world use cases and addresses some of the shortcomings of alternative LM benchmarks. Negotiation games enable us to study multi-turn, and cross-model interactions, modulate complexity, and side-step accidental evaluation data leakage. We use our approach to test six widely used and publicly accessible LMs, evaluating performance and alignment in both self-play and cross-play settings. Noteworthy findings include: (i) only closed-source models tested here were able to complete these tasks; (ii) cooperative bargaining games proved to be most challenging to the models; and (iii) even the most powerful models sometimes "lose" to weaker opponents


title: Spectroscopic Observations of Coronal Rain Formation and Evolution following an X2 Solar Flare

abstract: A significant impediment to solving the coronal heating problem is that we currently only observe active region (AR) loops in their cooling phase. Previous studies showed that the evolution of cooling loop densities and apex temperatures are insensitive to the magnitude, duration, and location of energy deposition. Still, potential clues to how energy is released are encoded in the cooling phase properties. The appearance of coronal rain, one of the most spectacular phenomena of the cooling phase, occurs when plasma has cooled below 1MK, which sets constraints on the heating frequency, for example. Most observations of coronal rain have been made by imaging instruments. Here we report rare Hinode/EUV Imaging Spectrometer (EIS) observations of a loop arcade where coronal rain forms following an X2.1 limb flare. A bifurcation in plasma composition measurements between photospheric at 1.5MK and coronal at 3.5MK suggests that we are observing post-flare driven coronal rain. Increases in non-thermal velocities and densities with decreasing temperature (2.7MK to 0.6MK) suggest that we are observing the formation and subsequent evolution of the condensations. Doppler velocity measurements imply that a 10% correction of apparent flows in imaging data is reasonable. Emission measure analysis at 0.7MK shows narrow temperature distributions, indicating coherent behaviour reminiscent of that observed in coronal loops. The space-time resolution limitations of EIS suggest that we are observing the largest features or rain showers. These observations provide insights into the heating rate, source, turbulence, and collective behaviour of coronal rain from observations of the loop cooling phase.


title: UBfuzz: Finding Bugs in Sanitizer Implementations

abstract: In this paper, we propose a testing framework for validating sanitizer implementations in compilers. Our core components are (1) a program generator specifically designed for producing programs containing undefined behavior (UB), and (2) a novel test oracle for sanitizer testing. The program generator employs Shadow Statement Insertion, a general and effective approach for introducing UB into a valid seed program. The generated UB programs are subsequently utilized for differential testing of multiple sanitizer implementations. Nevertheless, discrepant sanitizer reports may stem from either compiler optimization or sanitizer bugs. To accurately determine if a discrepancy is caused by sanitizer bugs, we introduce a new test oracle called crash-site mapping. We have incorporated our techniques into UBfuzz, a practical tool for testing sanitizers. Over a five-month testing period, UBfuzz successfully found 31 bugs in both GCC and LLVM sanitizers. These bugs reveal the serious false negative problems in sanitizers, where certain UBs in programs went unreported. This research paves the way for further investigation in this crucial area of study.


title: A Novel Framework of K-repetition Grant-free Access via Diversity Slotted Aloha (DSA)

abstract: This article introduces a novel framework of multi-user detection (MUD) for K-repetition grant-free non-orthogonal multiple access (K-GF-NOMA), called $\alpha$ iterative interference cancellation diversity slotted aloha ($\alpha$-IIC-DSA). The proposed framework targets at a simple yet effective decoding process where the AP can intelligently exploit the correlation among signals received at different resource blocks (RBs) so as to generate required multi-access interference (MAI) for realizing the signal-interference cancellation (SIC) based MUD. By keeping all operation and hardware complexity at the access point (AP), the proposed framework is applicable to the scenarios with random and uncoordinated access by numerous miniature mMTC devices (MTCDs). Numerical experiments are conducted to gain deep understanding on the performance of launching the proposed framework for K-GF-NOMA.


title: Kondo breakdown in multi-orbital Anderson lattices induced by destructive hybridization interference

abstract: In this paper we consider a multi band extension to the periodic Anderson model. We use a single site DMFT(NRG) in order to study the impact of the conduction band mediated effective hopping of the correlated electrons between the correlated orbitals onto the heavy Fermi liquid formation. Whereas the hybridization of a single impurity model with two distinct conduction bands always adds up constructively, $T_{K}\propto \exp(-\mathrm{const}\, U/(\Gamma_1+\Gamma_2))$, we show that this does not have to be the case in lattice models, where, in remarkable contrast, also an low-energy Fermi liquid scale $T_0\propto \exp(-\mathrm{const}\, U/(\Gamma_1-\Gamma_2))$ can emerge due to quantum interference effects in multi band models, where $U$ denotes the local Coulomb matrix element of the correlated orbitals and $\Gamma_i$ the local hybridization strength of band $i$. At high symmetry points, heavy Fermi liquid formation is suppressed which is associated with a breakdown of the Kondo effect. This results in an asymptotically scale-invariant (i.e., power-law) spectrum of the correlated orbitals $\propto|\omega|^{1/3}$, indicating non-Fermi liquid properties of the quantum critical point, and a small Fermi surface including only the light quasi-particles. This orbital selective Mott phase demonstrates the possibility of metallic local criticality within the general framework of ordinary single site DMFT.


title: Flexomagnetoelectric effect in Sr2IrO4 thin films

abstract: Symmetry engineering is explicitly effective to manipulate and even create phases and orderings in strongly correlated materials. Flexural stress is universally practical to break the space-inversion or time-reversal symmetry. Here, by introducing strain gradient in a centrosymmetric antiferromagnet Sr2IrO4, the space-inversion symmetry is broken accompanying a non-equivalent O p-Ir d orbital hybridization along z axis. Thus, emergent polar phase and out-of-plane magnetic moment have been simultaneously observed in these asymmetric Sr2IrO4 thin films, which both are absent in its ground state. Furthermore, upon the application of magnetic field, such polarization can be controlled by modifying the occupied d orbitals through spin-orbit interaction, giving rise to a flexomagnetoelectric effect. This work provides a general strategy to artificially design multiple symmetries and ferroic orderings in strongly correlated systems.


title: Hereditarily just-infinite torsion groups with positive first $\ell^2$-Betti number

abstract: We present a new method to construct finitely generated, residually finite, infinite torsion groups. In contrast to known constructions, a profinite perspective enables us to control finite quotients and normal subgroups of these torsion groups. As an application, we describe the first examples of residually finite, hereditarily just-infinite groups with positive first $\ell^2$-Betti-number. In addition, we show that these groups have polynomial normal subgroup growth, which answers a question of Barnea and Schlage-Puchta.


title: Healthcare Voice AI Assistants: Factors Influencing Trust and Intention to Use

abstract: AI assistants such as Alexa, Google Assistant, and Siri, are making their way into the healthcare sector, offering a convenient way for users to access different healthcare services. Trust is a vital factor in the uptake of healthcare services, but the factors affecting trust in voice assistants used for healthcare are under-explored and this specialist domain introduces additional requirements. This study explores the effects of different functional, personal, and risk factors on trust in and adoption of healthcare voice AI assistants (HVAs), generating a partial least squares structural model from a survey of 300 voice assistant users. Our results indicate that trust in HVAs can be significantly explained by functional factors (usefulness, content credibility, quality of service relative to a healthcare professional), together with security, and privacy risks and personal stance in technology. We also discuss differences in terms of trust between HVAs and general-purpose voice assistants as well as implications that are unique to HVAs.


title: A Lefschetz fixed-point formula for noncompact fixed-point sets

abstract: We obtain an equivariant index theorem, or Lefschetz fixed-point formula, for isometries from complete Riemannian manifolds to themselves. The fixed-point set of such an isometry may be noncompact. We build on techniques developed by Roe. Key new ingredients are a localised functional on operators with bounded smooth kernels, and an algebra (reminiscent of Yu's localisation algebra) of `asymptotically local' operators, on which this functional has an asymptotic trace property. As consequences, we show that some earlier indices used are special cases of the one we introduce here, and obtain an obstruction to positive scalar curvature.


title: Evaluating Gesture Recognition in Virtual Reality

abstract: Human-Robot Interaction (HRI) has become increasingly important as robots are being integrated into various aspects of daily life. One key aspect of HRI is gesture recognition, which allows robots to interpret and respond to human gestures in real-time. Gesture recognition plays an important role in non-verbal communication in HRI. To this aim, there is ongoing research on how such non-verbal communication can strengthen verbal communication and improve the system's overall efficiency, thereby enhancing the user experience with the robot. However, several challenges need to be addressed in gesture recognition systems, which include data generation, transferability, scalability, generalizability, standardization, and lack of benchmarking of the gestural systems. In this preliminary paper, we want to address the challenges of data generation using virtual reality simulations and standardization issues by presenting gestures to some commands that can be used as a standard in ground robots.


title: Multi-condensate lengths with degenerate excitation gaps in BaNi$_2$As$_2$ revealed by muon spin relaxation study

abstract: The recently discovered (Ba,Sr)Ni$_2$As$_2$ family provides an ideal platform for investigating the interaction between electronic nematicity and superconductivity. Here we report the muon spin relaxation ($\mu$SR) measurements on BaNi$_2$As$_2$. Transverse-field $\mu$SR experiments indicate that the temperature dependence of superfluid density is best fitted with a single-band $s$-wave model. On the other hand, the magnetic penetration depth $\lambda$ shows magnetic field dependence, which contradicts with the single-band fully-gapped scenario. Zero-field $\mu$SR experiments indicate the absence of spontaneous magnetic field in the superconducting state, showing the preservation of time-reversal symmetry in the superconducting state. Our $\mu$SR experiments suggest that BaNi$_2$As$_2$ is a fully-gapped multiband superconductor. The superconducting gap amplitudes of each band are nearly the same while different bands exhibit different coherence lengths. The present work helps to elucidate the controversial superconducting property of this parent compound, paving the way for further research on doping the system with Sr to enhance superconductivity.


title: Dirac stars in Anti-de Sitter Spacetime

abstract: In this paper, we construct the Dirac stars model composed of two Dirac fields and Einstein gravity in four-dimensional Anti-de Sitter spacetime. We consider the Dirac stars with free field (no self-interacting). Our investigation focuses on understanding the relationship between Arnowitt-Deser-Misner (ADM) mass, Noether charge, and binding energy in relation to the cosmological constant. Furthermore, we extend the study to the Dirac stars with self-interacting potentials. For the self-interacting Dirac stars, three types of interactions are examined: only quartic, only sextic, quartic and sextic interactions that is kind of Q-ball type interactions. In these three distinct scenarios, it is essential to investigate the impact of self-interaction constants on Dirac stars. Additionally, we study the Dirac Q-balls in the AdS background.


title: Generalised Killing Spinors on Three-Dimensional Lie Groups

abstract: For each $n\in\mathbb{N}$, we construct a Riemannian spin manifold carrying a generalised Killing spinor with $n$ distinct eigenvalues, providing the first known examples of such objects for $n>4$. For each left-invariant metric on a three-dimensional Lie group, we explicitly find all invariant generalised Killing spinors. We find many new examples with three distinct eigenvalues, and we prove that, in some cases, this is the generic situation.


title: Riesz potential estimates for mixed local-nonlocal problems with measure data

abstract: We study gradient regularity for mixed local-nonlocal problems modelled upon \[ -\Delta_p u +(-\Delta_p)^su=\mu\qquad\text{for} \quad 2-\tfrac{1}{n}<p<\infty\quad \text{and}\quad s\in(0,1)\,,\] where $\mu$ is a bounded Borel measure. We prove pointwise bounds for the gradient $Du$ in terms of the truncated 1-Riesz potential of $\mu$.


title: WaveletFormerNet: A Transformer-based Wavelet Network for Real-world Non-homogeneous and Dense Fog Removal

abstract: Although deep convolutional neural networks have achieved remarkable success in removing synthetic fog, it is essential to be able to process images taken in complex foggy conditions, such as dense or non-homogeneous fog, in the real world. However, the haze distribution in the real world is complex, and downsampling can lead to color distortion or loss of detail in the output results as the resolution of a feature map or image resolution decreases. In addition to the challenges of obtaining sufficient training data, overfitting can also arise in deep learning techniques for foggy image processing, which can limit the generalization abilities of the model, posing challenges for its practical applications in real-world scenarios. Considering these issues, this paper proposes a Transformer-based wavelet network (WaveletFormerNet) for real-world foggy image recovery. We embed the discrete wavelet transform into the Vision Transformer by proposing the WaveletFormer and IWaveletFormer blocks, aiming to alleviate texture detail loss and color distortion in the image due to downsampling. We introduce parallel convolution in the Transformer block, which allows for the capture of multi-frequency information in a lightweight mechanism. Additionally, we have implemented a feature aggregation module (FAM) to maintain image resolution and enhance the feature extraction capacity of our model, further contributing to its impressive performance in real-world foggy image recovery tasks. Extensive experiments demonstrate that our WaveletFormerNet performs better than state-of-the-art methods, as shown through quantitative and qualitative evaluations of minor model complexity. Additionally, our satisfactory results on real-world dust removal and application tests showcase the superior generalization ability and improved performance of WaveletFormerNet in computer vision-related applications.


title: Determining the structure of $Hqt$ couplings at the LHC

abstract: Experiments at the Large Hadron Collider (LHC) have found that the Higgs boson discovered in 2012 has properties largely consistent with predictions from the standard model (SM). However, the determination of the couplings of the Higgs boson to various other SM particles is not very precise, and it is possible that future experiments with enhanced accuracy may be able to detect deviations from the SM if any. One category of couplings studied at the LHC is Higgs flavour-changing couplings to a top-quark and a light-quark ($u$ or $c$) combination, which vanishes at tree level in the SM, but could be induced by interactions beyond the SM. Experiments have put a limit on the magnitude of these couplings, only one coupling assumed nonzero at a time. We investigate here to what extent the relative magnitudes of the $Hut$ and $Hct$ couplings and their chirality structure can be determined by means of more detailed kinematics at a future higher-luminosity version of the LHC in the process of $tH$ production. In particular, we find that the top-quark polar-angle distribution in $tH$ production could reveal the relative magnitudes of the $Hut$ and $Hct$ couplings, while the azimuthal distribution of the charged leptons arising from top decay can be used for a determination of the chiral structure of the $Hut$ coupling.


title: XaaS: Acceleration as a Service to Enable Productive High-Performance Cloud Computing

abstract: HPC and Cloud have evolved independently, specializing their innovations into performance or productivity. Acceleration as a Service (XaaS) is a recipe to empower both fields with a shared execution platform that provides transparent access to computing resources, regardless of the underlying cloud or HPC service provider. Bridging HPC and cloud advancements, XaaS presents a unified architecture built on performance-portable containers. Our converged model concentrates on low-overhead, high-performance communication and computing, targeting resource-intensive workloads from climate simulations to machine learning. XaaS lifts the restricted allocation model of Function-as-a-Service (FaaS), allowing users to benefit from the flexibility and efficient resource utilization of serverless while supporting long-running and performance-sensitive workloads from HPC.


title: Linear Recursive Feature Machines provably recover low-rank matrices

abstract: A fundamental problem in machine learning is to understand how neural networks make accurate predictions, while seemingly bypassing the curse of dimensionality. A possible explanation is that common training algorithms for neural networks implicitly perform dimensionality reduction - a process called feature learning. Recent work posited that the effects of feature learning can be elicited from a classical statistical estimator called the average gradient outer product (AGOP). The authors proposed Recursive Feature Machines (RFMs) as an algorithm that explicitly performs feature learning by alternating between (1) reweighting the feature vectors by the AGOP and (2) learning the prediction function in the transformed space. In this work, we develop the first theoretical guarantees for how RFM performs dimensionality reduction by focusing on the class of overparametrized problems arising in sparse linear regression and low-rank matrix recovery. Specifically, we show that RFM restricted to linear models (lin-RFM) generalizes the well-studied Iteratively Reweighted Least Squares (IRLS) algorithm. Our results shed light on the connection between feature learning in neural networks and classical sparse recovery algorithms. In addition, we provide an implementation of lin-RFM that scales to matrices with millions of missing entries. Our implementation is faster than the standard IRLS algorithm as it is SVD-free. It also outperforms deep linear networks for sparse linear regression and low-rank matrix completion.


title: HIST-Critical Graphs and Malkevitch's Conjecture

abstract: In a given graph, a HIST is a spanning tree without $2$-valent vertices. Motivated by developing a better understanding of HIST-free graphs, i.e. graphs containing no HIST, in this article's first part we study HIST-critical graphs, i.e. HIST-free graphs in which every vertex-deleted subgraph does contain a HIST (e.g. a triangle). We give an almost complete characterisation of the orders for which these graphs exist and present an infinite family of planar examples which are $3$-connected and in which nearly all vertices are $4$-valent. This leads naturally to the second part in which we investigate planar $4$-regular graphs with and without HISTs, motivated by a conjecture of Malkevitch, which we computationally verify up to order $22$. First we enumerate HISTs in antiprisms, whereafter we present planar $4$-regular graphs with and without HISTs, obtained via line graphs.


title: M{\o}ller maps for Dirac fields in external backgrounds

abstract: In this paper we study the foundations of the algebraic treatment of classical and quantum field theories for Dirac fermions under external backgrounds following the initial contributions made by several collegues. The treatment is restricted to contractible spacetimes of globally hyperbolic nature in dimensions $d\ge 4$. In particular, we construct the classical M{\o}ller maps intertwining the configuration spaces of charged and uncharged fermions. In the last part, as a first step towards a quantization of the theory, we explore the combination of the classical M{\o}ller maps with Hadamard bidistributions and prove that they are involutive isomorphisms (algebraically and topologically) between suitable (formal) algebras of functionals (observables) over the configuration spaces of charged and uncharged Dirac fields.


title: On a Discrete-Time Networked SIV Epidemic Model with Polar Opinion Dynamics

abstract: This paper studies novel epidemic spreading problems influenced by opinion evolution in social networks, where the opinions reflect the public health concerns. A coupled bilayer network is proposed, where the epidemics spread over several communities through a physical network layer while the opinions evolve over the same communities through a social network layer. The epidemic spreading process is described by a susceptible-infected-vigilant (SIV) model, which introduces opinion-dependent epidemic vigilance state compared with the classical epidemic models. The opinion process is modeled by a polar opinion dynamics model, which includes infection prevalence and human stubbornness into the opinion evolution. By introducing an opinion-dependent reproduction number, we analyze the stability of disease-free and endemic equilibria and derive sufficient conditions for their global asymptotic stability. We also discuss the mutual effects between epidemic eradication and opinion consensus, and the possibility of suppressing epidemic by intervening in the opinions or implementing public health strategies. Simulations are conducted to verify the theoretical results and demonstrate the feasibility of epidemic suppression.


title: Influence of thermal effects on the optomechanical coupling rate in acousto-optic cavities

abstract: Optomechanical (OM) cavities simultaneously localize photons and phonons, thus enhancing their mutual interaction through radiation-pressure force. This acousto-optic interaction can be quantified by means of the optical frequency shift per mechanical displacement G. The aforesaid frequency shift can also be related to the vacuum OM coupling rate, g0, where only photoelastic (PE) and moving boundaries (MB) effects are commonly taken into account. However, the thermo-optic (TO) and thermal expansion (ThE) effects may also play a role since the material forming the OM cavity could be heated by the presence of photons, which should naturally affect the mechanical properties of the cavity. In this work, we introduce a new theoretical approach to determine how thermal effects change the canonical OM coupling rate. To test the model, a complete set of optical-thermal-mechanical simulations has been performed in two OM crystal cavities fabricated from two different materials: silicon and diamond. Our results lead us to conclude that there is a non-negligible thermal correction that is always present as a negative shift to the OM coupling rate that should be considered in order to predict more accurately the strength of the OM interaction.


title: HyperGANStrument: Instrument Sound Synthesis and Editing with Pitch-Invariant Hypernetworks

abstract: GANStrument, exploiting GANs with a pitch-invariant feature extractor and instance conditioning technique, has shown remarkable capabilities in synthesizing realistic instrument sounds. To further improve the reconstruction ability and pitch accuracy to enhance the editability of user-provided sound, we propose HyperGANStrument, which introduces a pitch-invariant hypernetwork to modulate the weights of a pre-trained GANStrument generator, given a one-shot sound as input. The hypernetwork modulation provides feedback for the generator in the reconstruction of the input sound. In addition, we take advantage of an adversarial fine-tuning scheme for the hypernetwork to improve the reconstruction fidelity and generation diversity of the generator. Experimental results show that the proposed model not only enhances the generation capability of GANStrument but also significantly improves the editability of synthesized sounds. Audio examples are available at the online demo page.


title: Information bath and learning processes along geodesics

abstract: Learning is a fundamental characteristic of living systems, enabling them to comprehend their environments and make informed decisions. These decision-making processes are inherently influenced by available information about their surroundings and specific objectives. An intriguing perspective is that each process could be optimal under a given set of conditions. Here, a geometric method is introduced for analytically exploring such a perspective. The probability distribution describing the state of the composite system of the environment, termed the information bath, and a decision-maker is discussed on the basis of the entropic concept. This enables one to study the system in analogy with thermodynamics. Learning processes are expressed as the changes of parameters contained in the distribution. For a geometric interpretation of the processes, the manifold endowed with the Fisher-Rao metric as the Riemannian metric is considered. This framework allows one to conceptualize the optimality of each process as a state change along a geodesic curve on the manifold, which is referred to here as geodesic learning. Then, the bivariate Gaussian model is presented for illustrating this approach, and its rigorous solution is obtained. There, the correspondence between learning and cooling is made manifest. Evolution of the entropy is evaluated for geodesic learning. The findings are then interpreted in the context of adaptation. Geodesic learning plays a role of the case of reference and may give novel insights into the mechanics of learning in living systems.


title: Phase-shifted remote photoplethysmography for estimating heart rate and blood pressure from facial video

abstract: Human health can be critically affected by cardiovascular diseases, such as hypertension, arrhythmias, and stroke. Heart rate and blood pressure are important biometric information for the monitoring of cardiovascular system and early diagnosis of cardiovascular diseases. Existing methods for estimating the heart rate are based on electrocardiography and photoplethyomography, which require contacting the sensor to the skin surface. Moreover, catheter and cuff-based methods for measuring blood pressure cause inconvenience and have limited applicability. Therefore, in this thesis, we propose a vision-based method for estimating the heart rate and blood pressure. This thesis proposes a 2-stage deep learning framework consisting of a dual remote photoplethysmography network (DRP-Net) and bounded blood pressure network (BBP-Net). In the first stage, DRP-Net infers remote photoplethysmography (rPPG) signals for the acral and facial regions, and these phase-shifted rPPG signals are utilized to estimate the heart rate. In the second stage, BBP-Net integrates temporal features and analyzes phase discrepancy between the acral and facial rPPG signals to estimate SBP and DBP values. To improve the accuracy of estimating the heart rate, we employed a data augmentation method based on a frame interpolation model. Moreover, we designed BBP-Net to infer blood pressure within a predefined range by incorporating a scaled sigmoid function. Our method resulted in estimating the heart rate with the mean absolute error (MAE) of 1.78 BPM, reducing the MAE by 34.31 % compared to the recent method, on the MMSE-HR dataset. The MAE for estimating the systolic blood pressure (SBP) and diastolic blood pressure (DBP) were 10.19 mmHg and 7.09 mmHg. On the V4V dataset, the MAE for the heart rate, SBP, and DBP were 3.83 BPM, 13.64 mmHg, and 9.4 mmHg, respectively.


title: Analytic three-dimensional primary hair charged black holes with Coulomb-like electrodynamics and their thermodynamics

abstract: We construct and discuss new solutions of primary hair charged black holes in asymptotically Anti-de Sitter (AdS) space that have well-defined Coulomb-like potential in three dimensions. The gauge field source to the Einstein equation is a power-Maxwell nonlinear electrodynamics with traceless energy-momentum tensor. The coupled Einstein-power-Maxwell-scalar gravity system, which carries the coupling $f(\phi)$ between the gauge and scalar fields, is analyzed, and hairy charged black hole solutions are found analytically. We consider three different profiles of the coupling functions: (i) $f(\phi)=1$, corresponding to no direct coupling between the gauge and scalar fields, (ii) $f(\phi)=e^{\phi}$, and (iii) $f(\phi)=e^{\phi^2/2}$, corresponding to their non-minimal coupling. For all these cases, the scalar field, gauge fields, and curvature scalars are regular and well-behaved everywhere outside the horizon. We further study the thermodynamics of the obtained hairy black hole in the canonical and grand-canonical ensembles and find significant changes in its thermodynamic structure due to the scalar field. In particular, for all considered coupling functions, the hairy parameter has a critical value above which the hairy black hole undergoes the Hawking/Page phase transition, whereas below which no such phase transition appears.


title: Binary particle collisions with mass exchange

abstract: We investigate a kinetic model for interacting particles whose masses are integer multiples of an elementary mass. These particles undergo binary collisions which preserve momentum and energy but during which some number of elementary masses can be exchanged between the particles. We derive a Boltzmann collision operator for such collisions and study its conservation properties. Under some adequate assumptions on the collision rates, we show that it satisfies a H-theorem and exhibit its equilibria. We formally derive the system of fluid equations that arises from the hydrodynamic limit of this Boltzmann equation. We compute the viscous corrections to the leading order hydrodynamic equations on a simplified collision operator of BGK type. We show that this diffusive system can be put in the formalism of nonequilibrium thermodynamics. In particular, it satisfies Onsager's reciprocity relation and entropy decay.


title: Joint Order Selection, Allocation, Batching and Picking for Large Scale Warehouses

abstract: Order picking is the single most cost-intensive activity in picker-to-parts warehouses, and as such has garnered large interest from the scientific community which led to multiple problem formulations and a plethora of algorithms published. Unfortunately, most of them are not applicable at the scale of really large warehouses like those operated by Zalando, a leading European online fashion retailer. Based on our experience in operating Zalando's batching system, we propose a novel batching problem formulation for mixed-shelves, large scale warehouses with zoning. It brings the selection of orders to be batched into the scope of the problem, making it more realistic while at the same time increasing the optimization potential. We present two baseline algorithms and compare them on a set of generated instances. Our results show that first, even a basic greedy algorithm requires significant runtime to solve real-world instances and second, including order selection in the studied problem shows large potential for improved solution quality.


title: Probing the dipole of the diffuse gamma-ray background

abstract: We measured the dipole of the diffuse $\gamma$-ray background (DGB) identifying a highly significant time-independent signal coincidental with that of the Pierre Auger UHECR. The DGB dipole is determined from flux maps in narrow energy bands constructed from 13 years of observations by the Large Area Telescope (LAT) of the {\it Fermi} satellite. The $\gamma$-ray maps were clipped iteratively of sources and foregrounds similar to that done for the cosmic infrared background. The clipped narrow energy band maps were then assembled into one broad energy map out to the given energy starting at $E=2.74$ Gev, where the LAT beam falls below the sky's pixel resolution. Next we consider cuts in Galactic latitude and longitude to probe residual foreground contaminations from the Galactic Plane and Center. In the broad energy range $2.74 < E\leq115.5$ GeV the measured dipoles are stable with respect to the various Galactic cuts, consistent with an extragalactic origin. The $\gamma$-ray sky's dipole/monopole ratio is much greater than that expected from the DGB clustering component and the Compton-Getting effect origin with reasonable velocities. At $\simeq (6.5-7)\%$ it is similar to the Pierre Auger UHECRs with $E_{\rm UHECR}\ge 8$ EeV pointing to a common origin of the two dipoles. However, the DGB flux associated with the found DGB dipole reaches parity with that of the UHECR around $E_{\rm UHECR}\le 1$ EeV, perhaps arguing for a non-cascading mechanism if the DGB dipole were to come from the higher energy UHECRs. The signal/noise of the DGB dipole is largest in the $5-30$ GeV range, possibly suggesting the $\gamma$-photons at these energies are the ones related to cosmic rays.


title: Resolving Galactic center GeV excess with MSP-like sources

abstract: Excess of gamma rays around the Galactic center (GC) observed in the Fermi Large Area Telescope (LAT) data is one of the most intriguing features in the gamma-ray sky. The spherical morphology and the spectral energy distribution with a peak around a few GeV are consistent with emission from annihilation of dark matter particles. Other possible explanations include a distribution of millisecond pulsars (MSPs). One of the caveats of the MSP hypothesis is the relatively small number of associated MSPs near the GC. In this paper we perform a multi-class classification of Fermi-LAT sources using machine learning and determine the contribution from unassociated MSP-like sources near the GC. The spectral energy distribution, spatial morphology, and the source count distribution are consistent with expectations for a population of MSPs that can explain the gamma-ray excess. Possible caveats of the contribution from the unassociated MSP-like sources are discussed.


title: Invariant measures for a class of stochastic third grade fluid equations in $2D$ and $3D$ bounded domains

abstract: This work aims to investigate the well-posedness and the existence of ergodic invariant measures for a class of third grade fluid equations in bounded domain $D\subset\mathbb{R}^d,d=2,3,$ in the presence of a multiplicative noise. First, we show the existence of a martingale solution by coupling a stochastic compactness and monotonicity arguments. Then, we prove a stabilty result, which gives the pathwise uniqueness of the solution and therefore the existence of strong probabilistic solution. Secondly, we use the stability result to show that the associated semigroup is Feller and by using "Krylov-Bogoliubov Theorem" we get the existence of an invariant probability measure. Finally, we show that all the invariant measures are concentrated on a compact subset of $L^2$, which leads to the existence of an ergodic invariant measure.


title: A Discrete Particle Swarm Optimizer for the Design of Cryptographic Boolean Functions

abstract: A Particle Swarm Optimizer for the search of balanced Boolean functions with good cryptographic properties is proposed in this paper. The algorithm is a modified version of the permutation PSO by Hu, Eberhart and Shi which preserves the Hamming weight of the particles positions, coupled with the Hill Climbing method devised by Millan, Clark and Dawson to improve the nonlinearity and deviation from correlation immunity of Boolean functions. The parameters for the PSO velocity equation are tuned by means of two meta-optimization techniques, namely Local Unimodal Sampling (LUS) and Continuous Genetic Algorithms (CGA), finding that CGA produces better results. Using the CGA-evolved parameters, the PSO algorithm is then run on the spaces of Boolean functions from $n=7$ to $n=12$ variables. The results of the experiments are reported, observing that this new PSO algorithm generates Boolean functions featuring similar or better combinations of nonlinearity, correlation immunity and propagation criterion with respect to the ones obtained by other optimization methods.


title: Pulsar Kick by the Chiral Anisotropy Conversion

abstract: We discuss a novel mechanism for the proto-neutron star acceleration assisted by the chiral separation effect which induces an axial vector current in a dense medium. We consider the process of neutrinos scattering off the background axial vector current of electrons. We show that anisotropy of either magnetic field or density in momentum space is essential for nonzero recoil and we call this mechanism the chiral anisotropy conversion. Assuming a strong magnetic field $B \simeq 10^{12}$ T and anisotropy by $\sim 10\%$, we find that the chiral anisotropy conversion can yield the velocity of order of typical pulsar kicks, i.e., $v_{\mathrm{kick}} \gtrsim 1000$ km/s.