title: Mapping the Information Journey: Unveiling the Documentation Experience of Software Developers in China

abstract: This research delves into understanding the behaviors and characteristics of Chinese developers in relation to their use of technical documentation, which is crucial for creating high-quality developer documentation. We conducted interviews with 25 software developers and surveyed 177 participants, using the preliminary interview findings to inform the survey design. Our approach encompassed traditional user research methods, including persona and user journey mapping, to develop typical personas and information journeys based on the qualitative data from the interviews and quantitative results from the survey. Our results revealed distinct characteristics and differences between junior and senior developers in terms of their use of technical documentation, broadly categorized into personality traits, learning habits, and working habits. We observed that the information journey of both groups typically encompasses four stages: Exploration, Understanding, Practice, and Application. Consequently, we created two distinct personas and information journey maps to represent these two developer groups. Our findings highlight that developers prioritize the content, organization, and maintenance aspects of documentation. In conclusion, we recommend organizing documentation content to align with developers' information journeys, tailoring documentation to meet the needs of developers at various levels, and focusing on the content, organization, and maintenance aspects of documentation.


title: Planetary nebulae populations in the haloes of nearby massive early-type galaxies

abstract: Planetary nebulae (PNe) are excellent tracers of the metal-poor haloes of nearby early-type galaxies. They are commonly used to trace spatial distribution and kinematics of the halo and intracluster light at distances of up to 100 Mpcs. The results on the early-type galaxy M105 in the Leo I group represent a benchmark for the quantitative analysis of halo and intragroup light. Since the Leo I group lies at just a 10 Mpc distance, it is at the ideal location to compare results from resolved stellar populations with the homogeneous constraints over a much larger field of view from the PN populations. In M105, we have -- for the first time -- established a direct link between the presence of a metal-poor halo as traced by resolved red-giant branch stars and a PN population with a high specific frequency ($\alpha$-parameter). This confirms our inferences that the high $\alpha$-parameter PN population in the outer halo of M49 in the Virgo Cluster traces the metal-poor halo and intra-group light.


title: Lower-bounding entanglement with nonlocality in a general Bell's scenario

abstract: Understanding the quantitative relation between entanglement and Bell nonlocality is a longstanding open problem of both fundamental and practical interest. Here we provide a general approach to address this issue. Starting with an observation that entanglement measures, while defined dramatically different in mathematics, are basically the distances between the state of interest and its closest separable state, we relate this minimal distance between states with distance-based Bell nonlocality, namely, the minimal distance between correlation of interest with respect to the set of classical correlations. This establishes the quantitative relation between entanglement and Bell nonlocality, leading to the bounds for entanglement in various contexts. Our approach enjoys the merits of: (i) generality, it applies to any Bell's scenario without requiring the information of devices and to many entanglement measures, (ii) faithfulness, it gives a non-trivial entanglement estimation from any nonlocal correlation.


title: ESP2CS: Securing Internet of Vehicles through Blockchain-enabled Communications and Payments

abstract: The burgeoning domain of the Internet of Vehicles (IoV), a subset of the Internet of Things (IoT), promises to revolutionize transportation through enhanced safety, efficiency, and environmental sustainability. By amalgamating technologies like sensors and cloud computing, the IoV paves the way for optimized traffic management, heightened vehicle safety, and the birth of novel business paradigms. However, this growth is shadowed by significant security concerns, especially in the communication and payment sectors. Addressing the pressing need for secure Vehicle to Everything (V2X) communications and payments amidst rising cyber threats, this research introduces the Ethereum based Secure Payment and Communication Solution (ESP2CS). Utilizing Ethereum as a middleware, ESP2CS ensures robust and secure V2X interactions. The solution is complemented by an Android Auto application for vehicles, streamlining inter vehicle communication, parking space detection, and transaction management. Furthermore, dedicated Android applications are developed for parking space renters and the parking IoT system. Preliminary evaluations underscore ESP2CS's superior cost effectiveness, integrity and consistency over contemporary solutions, with Ethereum bolstering both security and efficiency.


title: Text Intimacy Analysis using Ensembles of Multilingual Transformers

abstract: Intimacy estimation of a given text has recently gained importance due to the increase in direct interaction of NLP systems with humans. Intimacy is an important aspect of natural language and has a substantial impact on our everyday communication. Thus the level of intimacy can provide us with deeper insights and richer semantics of conversations. In this paper, we present our work on the SemEval shared task 9 on predicting the level of intimacy for the given text. The dataset consists of tweets in ten languages, out of which only six are available in the training dataset. We conduct several experiments and show that an ensemble of multilingual models along with a language-specific monolingual model has the best performance. We also evaluate other data augmentation methods such as translation and present the results. Lastly, we study the results thoroughly and present some noteworthy insights into this problem.


title: General Spatio-Temporal Factor Models for High-Dimensional Random Fields on a Lattice

abstract: Motivated by the need for analysing large spatio-temporal panel data, we introduce a novel dimensionality reduction methodology for $n$-dimensional random fields observed across a number $S$ spatial locations and $T$ time periods. We call it General Spatio-Temporal Factor Model (GSTFM). First, we provide the probabilistic and mathematical underpinning needed for the representation of a random field as the sum of two components: the common component (driven by a small number $q$ of latent factors) and the idiosyncratic component (mildly cross-correlated). We show that the two components are identified as $n\to\infty$. Second, we propose an estimator of the common component and derive its statistical guarantees (consistency and rate of convergence) as $\min(n, S, T )\to\infty$. Third, we propose an information criterion to determine the number of factors. Estimation makes use of Fourier analysis in the frequency domain and thus we fully exploit the information on the spatio-temporal covariance structure of the whole panel. Synthetic data examples illustrate the applicability of GSTFM and its advantages over the extant generalized dynamic factor model that ignores the spatial correlations.


title: FRAPPE: A Group Fairness Framework for Post-Processing Everything

abstract: Despite achieving promising fairness-error trade-offs, in-processing mitigation techniques for group fairness cannot be employed in numerous practical applications with limited computation resources or no access to the training pipeline of the prediction model. In these situations, post-processing is a viable alternative. However, current methods are tailored to specific problem settings and fairness definitions and hence, are not as broadly applicable as in-processing. In this work, we propose a framework that turns any regularized in-processing method into a post-processing approach. This procedure prescribes a way to obtain post-processing techniques for a much broader range of problem settings than the prior post-processing literature. We show theoretically and through extensive experiments that our framework preserves the good fairness-error trade-offs achieved with in-processing and can improve over the effectiveness of prior post-processing methods. Finally, we demonstrate several advantages of a modular mitigation strategy that disentangles the training of the prediction model from the fairness mitigation, including better performance on tasks with partial group labels.


title: 6D Assembly Pose Estimation by Point Cloud Registration for Robot Manipulation

abstract: The demands on robotic manipulation skills to perform challenging tasks have drastically increased in recent times. To perform these tasks with dexterity, robots require perception tools to understand the scene and extract useful information that transforms to robot control inputs. To this end, recent research has introduced various object pose estimation and grasp pose detection methods that yield precise results. Assembly pose estimation is a secondary yet highly desirable skill in robotic assembling as it requires more detailed information on object placement as compared to bin picking and pick-and-place tasks. However, it has been often overlooked in research due to the complexity of integration in an agile framework. To address this issue, we propose an assembly pose estimation method with RGB-D input and 3D CAD models of the associated objects. The framework consists of semantic segmentation of the scene and registering point clouds of local surfaces against target point clouds derived from CAD models to estimate 6D poses. We show that our method can deliver sufficient accuracy for assembling object assemblies using evaluation metrics and demonstrations. The source code and dataset for the work can be found at: https://github.com/KulunuOS/6DAPose


title: A reduction theorem for the Galois-Alperin weight conjecture

abstract: The Alperin weight conjecture has been reduced to simple groups by G. Navarro and P. H. Tiep. In this paper, we investigate the Galois-Alperin weight conjecture and give a reduction to simple groups.


title: Optimal Fairness Scheduling for Coded Caching in Multi-AP Multi-antenna WLAN

abstract: Coded caching (CC) schemes exploit the cumulative cache memory of network users, outperforming traditional uncoded schemes where cache contents are only used locally. Interestingly, this CC gain can also be combined with the spatial multiplexing gain of multi-antenna transmissions. In this paper, we extend the existing results of CC-aided data delivery in multi-access point (AP) wireless local area networks (WLAN) and video streaming applications by assuming multi-antenna transmitters at AP nodes. We present two distinct methods for using the extra resource that multi-antenna transmitters provide. While the first method tries to reduce the number of interference links in the network graph, the second one aims to remove inter-stream interference so that users with similar cache contents can be served simultaneously. While both methods provide increased throughput, they differ significantly in the underlying concept. Numerical simulations are used to compare the performance of different methods.


title: LSTSVR-PI: Least square twin support vector regression with privileged information

abstract: In an educational setting, a teacher plays a crucial role in various classroom teaching patterns. Similarly, mirroring this aspect of human learning, the learning using privileged information (LUPI) paradigm introduces additional information to instruct learning models during the training stage. A different approach to train the twin variant of the regression model is provided by the new least square twin support vector regression using privileged information (LSTSVR-PI), which integrates the LUPI paradigm to utilize additional sources of information into the least square twin support vector regression. The proposed LSTSVR-PI solves system of linear equations which adds up to the efficiency of the model. Further, we also establish a generalization error bound based on the Rademacher complexity of the proposed model and incorporate the structural risk minimization principle. The proposed LSTSVR-PI fills the gap between the contemporary paradigm of LUPI and classical LSTSVR. Further, to assess the performance of the proposed model, we conduct numerical experiments along with the baseline models across various artificially generated and real-world datasets. The various experiments and statistical analysis infer the superiority of the proposed model. Moreover, as an application, we conduct experiments on time series datasets, which results in the superiority of the proposed LSTSVR-PI.


title: Mitigating noise of residual electric fields for single Rydberg atoms with electron photodesorption

abstract: Rydberg atoms as versatile tools for quantum applications are extremely sensitive to electric fields. When utilizing these atoms, it becomes imperative to comprehensively characterize and mitigate any residual electric fields present in the environment. Particularly for single Rydberg atoms trapped in optical tweezers in a compact quartz vacuum cell, we have identified that a significant source of background electric fields originates from electrons bound to the cell surface. These electrons are generated by the 297-nm light used for single-photon Rydberg excitation. Furthermore, once the electrons are desorbed from the surface through exposure to ultraviolet light, the incoherent ground-Rydberg transition undergoes a transformation into coherent excitation, since the noise of residual electric fields are effectively mitigated. Our studies promote enhanced control and reliable performance of Rydberg atom-based systems, thereby paving the way for advancements in quantum information processing, the realization of high-fidelity quantum gates, and the development of precise quantum sensors.


title: Impact of Tokenization on LLaMa Russian Adaptation

abstract: Latest instruction-tuned large language models (LLM) show great results on various tasks, however, they often face performance degradation for non-English input. There is evidence that the reason lies in inefficient tokenization caused by low language representation in pre-training data which hinders the comprehension of non-English instructions, limiting the potential of target language instruction-tuning. In this work we investigate the possibility of addressing the issue with vocabulary substitution in the context of LLaMa Russian language adaptation. We explore three variants of vocabulary adaptation and test their performance on Saiga instruction-tuning and fine-tuning on Russian Super Glue benchmark. The results of automatic evaluation show that vocabulary substitution not only improves the model's quality in Russian but also accelerates fine-tuning (35%) and inference (up to 60%) while reducing memory consumption. Additional human evaluation of the instruction-tuned models demonstrates that models with Russian-adapted vocabulary generate answers with higher user preference than the original Saiga-LLaMa model.


title: MAINS: A Magnetic Field Aided Inertial Navigation System for Indoor Positioning

abstract: A Magnetic field Aided Inertial Navigation System (MAINS) for indoor navigation is proposed in this paper. MAINS leverages an array of magnetometers to measure spatial variations in the magnetic field, which are then used to estimate the displacement and orientation changes of the system, thereby aiding the inertial navigation system (INS). Experiments show that MAINS significantly outperforms the stand-alone INS, demonstrating a remarkable two orders of magnitude reduction in position error. Furthermore, when compared to the state-of-the-art magnetic-field-aided navigation approach, the proposed method exhibits slightly improved horizontal position accuracy. On the other hand, it has noticeably larger vertical error on datasets with large magnetic field variations. However, one of the main advantages of MAINS compared to the state-of-the-art is that it enables flexible sensor configurations. The experimental results show that the position error after 2 minutes of navigation in most cases is less than 3 meters when using an array of 30 magnetometers. Thus, the proposed navigation solution has the potential to solve one of the key challenges faced with current magnetic-field simultaneous localization and mapping (SLAM) solutions: the very limited allowable length of the exploration phase during which unvisited areas are mapped.


title: On the mathematical theory of news waves

abstract: We discuss the spread of a piece of news in a population. This is modeled by SIR model of epidemic spread. The model can be reduced to a nonlinear differential equation for the number of people affected by the news of interest. The differential equation has an exponential nonlinearity and it can be approximated by a sequence of nonlinear differential equations with polynomial nonlinearities. Exact solutions to these equations can be obtained by the Simple Equations Method (SEsM). Some of these exact solutions can be used to model a class of waves associated with the spread of the news in a population. The presence of exact solutions allow to study in detail the dependence of the amplitude and the time horizon of the news waves on the wave parameters such as the size of the population, initial number of spreaders of the piece of the news, transmission rate and recovery rate. This allows for recommendations about the change of wave parameters in order to achieve a large amplitude or appropriate time horizon of the news wave. We discuss 5 types of news waves on the basis of the values of the transmission rate and recovery rate - the types A,B,C,D and E of news waves. In addition, we discuss the possibility of building wavetrains by news waves. There are three possible kinds of wavetrains with respect of the amplitude of the wave: increasing wavetrain, decreasing wavetrain, and mixed wavetrain. The increasing wavetrain is especially interesting as it is connected to an increasing amplitude of the news wave with respect to the amplitude of the previous wave of the wavetrain. It can find applications in advertising, propaganda, etc.


title: A Neural Receiver for 5G NR Multi-user MIMO

abstract: We introduce a neural network (NN)-based multiuser multiple-input multiple-output (MU-MIMO) receiver with 5G New Radio (5G NR) physical uplink shared channel (PUSCH) compatibility. The NN architecture is based on convolution layers to exploit the time and frequency correlation of the channel and a graph neural network (GNN) to handle multiple users. The proposed architecture adapts to an arbitrary number of sub-carriers and supports a varying number of multiple-input multiple-output (MIMO) layers and users without the need for any retraining. The receiver operates on an entire 5G NR slot, i.e., processes the entire received orthogonal frequency division multiplexing (OFDM) time-frequency resource grid by jointly performing channel estimation, equalization, and demapping. The proposed architecture operates less than 1 dB away from a baseline using linear minimum mean square error (LMMSE) channel estimation with K-best detection but benefits from a significantly lower computational complexity. We show the importance of a carefully designed training process such that the trained receiver is universal for a wide range of different unseen channel conditions. Finally, we demonstrate the results of a hardware-in-the-loop verification based on 3GPP compliant conformance test scenarios.


title: Recovery of damaged information via scrambling in indefinite casual order

abstract: Scrambling prevents the access to local information with local operators and therefore can be used to protect quantum information from damage caused by local perturbations. Even though partial quantum information can be recovered if the type of the damage is known, the initial target state cannot be completely recovered, because the obtained state is a mixture of the initial state and a maximally mixed state. Here, we demonstrate an improved scheme to recover damaged quantum information via scrambling in indefinite casual order. We can record the type of damage and improve the fidelity of the recovered quantum state with respect to the original one. Moreover, by iterating the schemes, the initial quantum state can be completely retrieved. In addition, we experimentally demonstrate our schemes on the cloud-based quantum computer, named as Quafu. Our work proposes a feasible scheme to protect whole quantum information from damage, which is also compatible with other techniques such as quantum error corrections and entanglement purification protocols.


title: Automatic Robot Path Planning for Visual Inspection from Object Shape

abstract: Visual inspection is a crucial yet time-consuming task across various industries. Numerous established methods employ machine learning in inspection tasks, necessitating specific training data that includes predefined inspection poses and training images essential for the training of models. The acquisition of such data and their integration into an inspection framework is challenging due to the variety in objects and scenes involved and due to additional bottlenecks caused by the manual collection of training data by humans, thereby hindering the automation of visual inspection across diverse domains. This work proposes a solution for automatic path planning using a single depth camera mounted on a robot manipulator. Point clouds obtained from the depth images are processed and filtered to extract object profiles and transformed to inspection target paths for the robot end-effector. The approach relies on the geometry of the object and generates an inspection path that follows the shape normal to the surface. Depending on the object size and shape, inspection paths can be defined as single or multi-path plans. Results are demonstrated in both simulated and real-world environments, yielding promising inspection paths for objects with varying sizes and shapes. Code and video are open-source available at: https://github.com/CuriousLad1000/Auto-Path-Planner


title: Shedding light on charmonium

abstract: We investigate E1 radiative transitions within charmonium in a relativistic approach based on light-front QCD. In quantum field theory, two sets of processes are pure E1: $\chi_{c0} \to J/\psi \gamma$ ($\psi\to \chi_{c0}\gamma$) and $h_c \to \eta_c\gamma$ ($\eta_c' \to h_c\gamma$), both involving the $P$-wave charmonia. We compute the E1 radiative decay widths as well as the corresponding transition form factors of various processes including those involving $2P$ states. These observables provide an access to the microscopic structures of the $P$-wave charmonium. We show that our parameter-free predictions are in excellent agreement with the experimental measurements as well as lattice simulations whenever available.


title: Accelerating Learnt Video Codecs with Gradient Decay and Layer-wise Distillation

abstract: In recent years, end-to-end learnt video codecs have demonstrated their potential to compete with conventional coding algorithms in term of compression efficiency. However, most learning-based video compression models are associated with high computational complexity and latency, in particular at the decoder side, which limits their deployment in practical applications. In this paper, we present a novel model-agnostic pruning scheme based on gradient decay and adaptive layer-wise distillation. Gradient decay enhances parameter exploration during sparsification whilst preventing runaway sparsity and is superior to the standard Straight-Through Estimation. The adaptive layer-wise distillation regulates the sparse training in various stages based on the distortion of intermediate features. This stage-wise design efficiently updates parameters with minimal computational overhead. The proposed approach has been applied to three popular end-to-end learnt video codecs, FVC, DCVC, and DCVC-HEM. Results confirm that our method yields up to 65% reduction in MACs and 2x speed-up with less than 0.3dB drop in BD-PSNR. Supporting code and supplementary material can be downloaded from: https://jasminepp.github.io/lightweightdvc/


title: On pair correlation of Hermite coefficients of functions from the Hardy class

abstract: Assuming that a function and its Fourier transform are dominated by a Gaussian, Vemuri found a sharp estimate for the decay rate of the Hermite coefficients in terms of the variance of the dominating Gaussian. Here we show that under the same assumptions, certain combinations of Hermite coefficients have a better rate of decay.


title: Projective Space Stern Decoding and Application to SDitH

abstract: We show that here standard decoding algorithms for generic linear codes over a finite field can speeded up by a factor which is essentially the size of the finite field by reducing it to a low weight codeword problem and working in the relevant projective space. We apply this technique to SDitH and show that the parameters of both the original submission and the updated version fall short of meeting the security requirements asked by the NIST.


title: Panoptica -- instance-wise evaluation of 3D semantic and instance segmentation maps

abstract: This paper introduces panoptica, a versatile and performance-optimized package designed for computing instance-wise segmentation quality metrics from 2D and 3D segmentation maps. panoptica addresses the limitations of existing metrics and provides a modular framework that complements the original intersection over union-based panoptic quality with other metrics, such as the distance metric Average Symmetric Surface Distance. The package is open-source, implemented in Python, and accompanied by comprehensive documentation and tutorials. panoptica employs a three-step metrics computation process to cover diverse use cases. The efficacy of panoptica is demonstrated on various real-world biomedical datasets, where an instance-wise evaluation is instrumental for an accurate representation of the underlying clinical task. Overall, we envision panoptica as a valuable tool facilitating in-depth evaluation of segmentation methods.


title: Nanoporous Metals: From Plasmonic Properties to Applications in Enhanced Spectroscopy and Photocatalysis

abstract: The field of plasmonics is capable of enabling interesting applications in the different wavelength ranges, spanning from the ultraviolet up to the infrared. The choice of plasmonic material and how the material is nanostructured have significant implications for ultimate performance of any plasmonic device. Artificially designed nanoporous metals have interesting material properties including large specific surface area, distinctive optical properties, high electrical conductivity, and reduced stiffness, implying their potentials for many applications. This manuscript reviews the wide range of available nanoporous metals, mainly focusing on their properties as plasmonic materials. While extensive reports on the use and characterization of NPMs exist, a detailed discussion on their connection with surface plasmons and enhanced spectroscopies as well as photocatalysis is missing. Here, we report on different metals investigated, from the most used nanoporous gold to mixed metal compounds, and discuss each of these plasmonic materials suitability for a range of structural design and applications. Finally, we discuss the potentials and limitations of the traditional and alternative plasmonic materials for applications in enhanced spectroscopy and photocatalysis.


title: Quasi-isomorphism of grid chain complexes for a connected sum of knots

abstract: We give a purely combinatorial proof of a K\"{u}nneth formula for the minus version of knot Floer homology of connected sums by constructing a quasi-isomorphism of grid chain complexes. The quasi-isomorphism naturally deduces that the Legendrian and transverse invariants behave functorially with respect to the connected sum operation.


title: Privacy-Aware Data Acquisition under Data Similarity in Regression Markets

abstract: Data markets facilitate decentralized data exchange for applications such as prediction, learning, or inference. The design of these markets is challenged by varying privacy preferences as well as data similarity among data owners. Related works have often overlooked how data similarity impacts pricing and data value through statistical information leakage. We demonstrate that data similarity and privacy preferences are integral to market design and propose a query-response protocol using local differential privacy for a two-party data acquisition mechanism. In our regression data market model, we analyze strategic interactions between privacy-aware owners and the learner as a Stackelberg game over the asked price and privacy factor. Finally, we numerically evaluate how data similarity affects market participation and traded data value.


title: Directional proximal point method for convex optimization

abstract: The use of proximal point operators for optimization can be computationally expensive when the dimensionality of a function (i.e., the number of variables) is high. In this study, we sought to reduce the cost of calculating proximal point operators by developing a directional operator in which the proximal regularization of a function along a specific direction is penalized. We used this operator in a novel approach to optimization, referred to as the directional proximal point method (Direction PPM). When using Direction PPM, the key to achieving convergence is the selection of direction sequences for directional proximal point operators. In this paper, we present the conditions/assumptions by which to derive directions capable of achieving global convergence for convex functions. Considered a light version of PPM, Direction PPM uses scalar optimization to derive a stable step-size via a direction envelope function and an auxiliary method to derive a direction sequence that satisfies the assumptions. This makes Direction PPM adaptable to a larger class of functions. Through applications to differentiable convex functions, we demonstrate that negative gradient directions at the current iterates could conceivably be used to achieve this end. We provide experimental results to illustrate the efficacy of Direction PPM in practice.


title: A Unified Simulation Framework for Visual and Behavioral Fidelity in Crowd Analysis

abstract: Simulation is a powerful tool to easily generate annotated data, and a highly desirable feature, especially in those domains where learning models need large training datasets. Machine learning and deep learning solutions, have proven to be extremely data-hungry and sometimes, the available real-world data are not sufficient to effectively model the given task. Despite the initial skepticism of a portion of the scientific community, the potential of simulation has been largely confirmed in many application areas, and the recent developments in terms of rendering and virtualization engines, have shown a good ability also in representing complex scenes. This includes environmental factors, such as weather conditions and surface reflectance, as well as human-related events, like human actions and behaviors. We present a human crowd simulator, called UniCrowd, and its associated validation pipeline. We show how the simulator can generate annotated data, suitable for computer vision tasks, in particular for detection and segmentation, as well as the related applications, as crowd counting, human pose estimation, trajectory analysis and prediction, and anomaly detection.


title: Prompt Optimization via Adversarial In-Context Learning

abstract: We propose a new method, Adversarial In-Context Learning (adv-ICL), to optimize prompt for in-context learning (ICL) by employing one LLM as a generator, another as a discriminator, and a third as a prompt modifier. As in traditional adversarial learning, adv-ICL is implemented as a two-player game between the generator and discriminator, where the generator tries to generate realistic enough output to fool the discriminator. In each round, given an input prefixed by task instructions and several exemplars, the generator produces an output. The discriminator is then tasked with classifying the generator input-output pair as model-generated or real data. Based on the discriminator loss, the prompt modifier proposes possible edits to the generator and discriminator prompts, and the edits that most improve the adversarial loss are selected. We show that adv-ICL results in significant improvements over state-of-the-art prompt optimization techniques for both open and closed-source models on 11 generation and classification tasks including summarization, arithmetic reasoning, machine translation, data-to-text generation, and the MMLU and big-bench hard benchmarks. In addition, because our method uses pre-trained models and updates only prompts rather than model parameters, it is computationally efficient, easy to extend to any LLM and task, and effective in low-resource settings.


title: Projection Regret: Reducing Background Bias for Novelty Detection via Diffusion Models

abstract: Novelty detection is a fundamental task of machine learning which aims to detect abnormal ($\textit{i.e.}$ out-of-distribution (OOD)) samples. Since diffusion models have recently emerged as the de facto standard generative framework with surprising generation results, novelty detection via diffusion models has also gained much attention. Recent methods have mainly utilized the reconstruction property of in-distribution samples. However, they often suffer from detecting OOD samples that share similar background information to the in-distribution data. Based on our observation that diffusion models can \emph{project} any sample to an in-distribution sample with similar background information, we propose \emph{Projection Regret (PR)}, an efficient novelty detection method that mitigates the bias of non-semantic information. To be specific, PR computes the perceptual distance between the test image and its diffusion-based projection to detect abnormality. Since the perceptual distance often fails to capture semantic changes when the background information is dominant, we cancel out the background bias by comparing it against recursive projections. Extensive experiments demonstrate that PR outperforms the prior art of generative-model-based novelty detection methods by a significant margin.


title: Facilitating the Production of Well-tailored Video Summaries for Sharing on Social Media

abstract: This paper presents a web-based tool that facilitates the production of tailored summaries for online sharing on social media. Through an interactive user interface, it supports a ``one-click'' video summarization process. Based on the integrated AI models for video summarization and aspect ratio transformation, it facilitates the generation of multiple summaries of a full-length video according to the needs of target platforms with regard to the video's length and aspect ratio.


title: DreaMo: Articulated 3D Reconstruction From A Single Casual Video

abstract: Articulated 3D reconstruction has valuable applications in various domains, yet it remains costly and demands intensive work from domain experts. Recent advancements in template-free learning methods show promising results with monocular videos. Nevertheless, these approaches necessitate a comprehensive coverage of all viewpoints of the subject in the input video, thus limiting their applicability to casually captured videos from online sources. In this work, we study articulated 3D shape reconstruction from a single and casually captured internet video, where the subject's view coverage is incomplete. We propose DreaMo that jointly performs shape reconstruction while solving the challenging low-coverage regions with view-conditioned diffusion prior and several tailored regularizations. In addition, we introduce a skeleton generation strategy to create human-interpretable skeletons from the learned neural bones and skinning weights. We conduct our study on a self-collected internet video collection characterized by incomplete view coverage. DreaMo shows promising quality in novel-view rendering, detailed articulated shape reconstruction, and skeleton generation. Extensive qualitative and quantitative studies validate the efficacy of each proposed component, and show existing methods are unable to solve correct geometry due to the incomplete view coverage.


title: Bottom's Dream and the amplification of filamentary gas structures and stellar spiral arms

abstract: Theories of spiral structure traditionally separate into tight-winding Lin-Shu spiral density waves and the swing-amplified material patterns of Goldreich & Lynden-Bell and Julian & Toomre. In this paper we consolidate these two types of spirals into a unified description, treating density waves beyond the tight-winding limit, in the regime of shearing and non-steady open spirals. This 'shearing wave' scenario novelly captures swing amplification that enables structure formation above conventional Q thresholds. However, it also highlights the fundamental role of spiral forcing on the amplification process in general, whether the wave is shearing or not. Thus it captures resonant and non-resonant mode growth through the donkey effect described by Lynden-Bell & Kalnajs and, critically, the cessation of growth when donkey behavior is no longer permitted. Our calculations predict growth exclusive to trailing spirals above the Jeans length, the prominence of spirals across a range of orientations that increases with decreasing arm multiplicity, and a critical orientation where growth is fastest that is the same for both modes and material patterns. Predicted structures are consistent with highly regular, high-multiplicity gaseous spur features and long filaments spaced close to the Jeans scale in spirals and bars. Applied to stellar disks, conditions favor low multiplicity (m<5) open trailing spirals with pitch angles in the observed range $10 deg$<$i_p$<$50 deg$. The results of this work serve as a basis for describing spirals as a unified class of transient waves, abundantly stimulated but narrowly selected for growth depending on local conditions.


title: Rethinking and Simplifying Bootstrapped Graph Latents

abstract: Graph contrastive learning (GCL) has emerged as a representative paradigm in graph self-supervised learning, where negative samples are commonly regarded as the key to preventing model collapse and producing distinguishable representations. Recent studies have shown that GCL without negative samples can achieve state-of-the-art performance as well as scalability improvement, with bootstrapped graph latent (BGRL) as a prominent step forward. However, BGRL relies on a complex architecture to maintain the ability to scatter representations, and the underlying mechanisms enabling the success remain largely unexplored. In this paper, we introduce an instance-level decorrelation perspective to tackle the aforementioned issue and leverage it as a springboard to reveal the potential unnecessary model complexity within BGRL. Based on our findings, we present SGCL, a simple yet effective GCL framework that utilizes the outputs from two consecutive iterations as positive pairs, eliminating the negative samples. SGCL only requires a single graph augmentation and a single graph encoder without additional parameters. Extensive experiments conducted on various graph benchmarks demonstrate that SGCL can achieve competitive performance with fewer parameters, lower time and space costs, and significant convergence speedup.


title: On the combinatorics of r-chain minimal and maximal excludants

abstract: The minimal excludant (mex) of a partition was introduced by Grabner and Knopfmacher under the name `least gap' and was revived by a couple of papers due to Andrews and Newman. It has been widely studied in recent years together with the complementary partition statistic maximal excludant (maex), first introduced by Chern. Among such recent works, the first and second authors along with Maji introduced and studied the $r$-chain minimal excludants (r-chain mex) which led to a new generalization of Euler's classical partition theorem and the sum-of-mex identity of Andrews and Newman. In this paper, we first give combinatorial proofs for these two results on r-chain mex. Then we introduce the r-chain maximal excludants (r-chain maex) and establish the associated identity for the sum of r-chain maex over all partitions, both analytically and combinatorially.


title: Probing defectivity beneath the hydrocarbon blanket in 2D hBN using TEM-EELS

abstract: The controlled creation and manipulation of defects in 2D materials has become increasingly popular as a means to design and tune new material functionalities. However, defect characterization by direct atomic imaging is often severely limited by surface contamination due to a blanket of hydrocarbons. Thus, analysis techniques are needed that can characterize atomic scale defects despite the contamination. In this work we use electron energy loss spectroscopy to probe beneath the hydrocarbon blanket, characterizing defect structures in 2D hexagonal boron nitride (hBN) based on fine structure in the boron K-edge. Since this technique is performed in a transmission electron microscope, imaging can also be used to assess contamination levels and other factors such as tears in the fragile 2D sheets, which can affect the spectroscopic analysis. Furthermore, by locally probing individual areas, multiple regions on the same specimen that have undergone different defect engineering treatments can be investigated for systematic studies at increased throughput. For 2D hBN samples irradiated with different ions for a range doses, we find spectral signatures indicative of boron-oxygen bonding that can be used as a measure of sample defectiveness depending on the ion beam treatment.


title: On the Initialization of Graph Neural Networks

abstract: Graph Neural Networks (GNNs) have displayed considerable promise in graph representation learning across various applications. The core learning process requires the initialization of model weight matrices within each GNN layer, which is typically accomplished via classic initialization methods such as Xavier initialization. However, these methods were originally motivated to stabilize the variance of hidden embeddings and gradients across layers of Feedforward Neural Networks (FNNs) and Convolutional Neural Networks (CNNs) to avoid vanishing gradients and maintain steady information flow. In contrast, within the GNN context classical initializations disregard the impact of the input graph structure and message passing on variance. In this paper, we analyze the variance of forward and backward propagation across GNN layers and show that the variance instability of GNN initializations comes from the combined effect of the activation function, hidden dimension, graph structure and message passing. To better account for these influence factors, we propose a new initialization method for Variance Instability Reduction within GNN Optimization (Virgo), which naturally tends to equate forward and backward variances across successive layers. We conduct comprehensive experiments on 15 datasets to show that Virgo can lead to superior model performance and more stable variance at initialization on node classification, link prediction and graph classification tasks. Codes are in https://github.com/LspongebobJH/virgo_icml2023.


title: Deconstructible abstract elementary classes of modules and categoricity

abstract: We prove a version of Shelah's Categoricity Conjecture for arbitrary deconstructible classes of modules. Moreover, we show that if $\mathcal{A}$ is a deconstructible class of modules closed under direct summands, and $\mathcal{A}$ fits in an abstract elementary class $(\mathcal{A},\preceq)$ such that $\preceq$ refines direct summands, then $\mathcal{A}$ is closed under arbitrary direct limits.


title: Conductivity of concentrated salt solutions

abstract: The conductivity of concentrated salt solutions has posed a real puzzle for theories of electrolytes. Despite a quantitative understanding of highly dilute solutions, an analytical theory for concentrated ones remains a challenge almost a century, although a number of parameters and effects incorporated into theories increases with time. Here we show that the conductivity of univalent salt solutions can be perfectly interpreted using an extremely simple model that relies just on a mean-field description of electrostatic effects and on an adapted for salt ions classical approach to calculating colloid electrophoresis. We derive a compact equation, which predicts that the ratio of conductivity at a finite concentration to that at an infinite dilution is the same for all salt, if it is plotted against a product of the harmonic mean of ion hydrodynamic radii and the square root of concentration. Our equation fits very well the experimental data for inorganic salts up to 3 mol/l.


title: Diffusion Noise Feature: Accurate and Fast Generated Image Detection

abstract: Generative models have reached an advanced stage where they can produce remarkably realistic images. However, this remarkable generative capability also introduces the risk of disseminating false or misleading information. Notably, existing image detectors for generated images encounter challenges such as low accuracy and limited generalization. This paper seeks to address this issue by seeking a representation with strong generalization capabilities to enhance the detection of generated images. Our investigation has revealed that real and generated images display distinct latent Gaussian representations when subjected to an inverse diffusion process within a pre-trained diffusion model. Exploiting this disparity, we can amplify subtle artifacts in generated images. Building upon this insight, we introduce a novel image representation known as Diffusion Noise Feature (DNF). DNF is extracted from the estimated noise generated during the inverse diffusion process. A simple classifier, e.g., ResNet50, trained on DNF achieves high accuracy, robustness, and generalization capabilities for detecting generated images (even the corresponding generator is built with datasets/structures that are not seen during the classifier's training). We conducted experiments using four training datasets and five testsets, achieving state-of-the-art detection performance.


title: Predicting Network Congestion by Extending Betweenness Centrality to Interacting Agents

abstract: We present a simple model to predict network activity at the edge level, by extending a known approximation method to compute Betweenness Centrality (BC) with a repulsive mechanism to prevent unphysical densities. By taking into account the strong interaction effects often observed in real phenomena, we aim to obtain an improved measure of edge usage during rush hours as traffic congestion patterns emerge in urban networks. In this approach, the network is iteratively populated by agents following dynamically evolving fastest paths, that are progressively attracted towards uncongested parts of the network, as the global traffic volume increases. Following the transition of the network state from empty to saturated, we study the emergence of congestion and the progressive disruption of global connectivity due to a relatively small fraction of crowded edges. We assess the predictive power of our model by comparing the speed distribution against a large experimental dataset for the London area with remarkable results, which also translate into a qualitative similarity of the congestion maps. Also, percolation analysis confirms a quantitative agreement of the model with the real data for London. For seven other topologically different cities we performed simulations to obtain the Fisher critical exponent $\tau$ that showed no common functional dependence on the traffic level. The critical exponent $\gamma$, studied to assess the power-law decay of spatial correlation, was found inversely proportional to the number of vehicles both for real and simulated traffic. This simulation approach seems particularly fit to describe qualitative and quantitative properties of the network loading process, culminating in peak-hour congestion, by using only topological and geographical network features.


title: Vertex stabilizers of locally $s$-arc transitive graphs of pushing up type

abstract: Suppose that $\Delta$ a thick, locally finite and locally $s$-arc transitive $G$-graph with $s \ge 4$. For a vertex $z$ in $\Delta$, let $G_z$ be the stabilizer of $z$ and $G_z^{[1]}$ be the kernel of the action of $G_z$ on the neighbours of $z$. We say $\Delta$ is of pushing up type provided there exists a prime $p$ and a $1$-arc $(x,y)$ such that $C_{G_z}(O_p(G_z^{[1]})) \le O_p(G_z^{[1]})$ for $z \in \{x,y\}$ and $O_p(G_x^{[1]}) \le O_p(G_y^{[1]})$. We show that if $\Delta$ is of pushing up type, then $O_p(G_x^{[1]})$ is elementary abelian and $G_x/G_x^{[1]}\cong X$ with ${\rm PSL}_2(p^a)\le X \le {\rm P\Gamma L}_2(p^a)$.


title: Diophantine approximation with prime denominator in quadratic number fields under GRH

abstract: Matom\"aki proved that if $\alpha\in \mathbb{R}$ is irrational, then there are infinitely many primes $p$ such that $|\alpha-a/p|\le p^{-4/3+\varepsilon}$ for a suitable integer a. In this paper, we extend this result to all quadratic number fields under the condition that the Grand Riemann Hypothesis holds for their Hecke $L$-functions.


title: X-ray Magnetic Circular Dichroism in RuO$_2$

abstract: We present numerical simulation of the X-ray magnetic circular dichroism (XMCD) of the $L_{2,3}$ and $M_{2,3}$ edges of Ru in antiferromagnetic RuO$_2$ using a combination of density functional + dynamical mean-field theory and configuration interaction treatment of Anderson impurity model. We study the dependence of the dichroic spectra on the orientation of the N\'eel vector and discuss it in the context of altermagnetism. Approximate equivalence between the XMCD spectra for geometries with X-rays propagating parallel and perpendicular to the N\'eel vector is found and shown to be exact in absence of valence spin-orbit coupling and core-valence multipolar interaction.


title: On affine Weyl group elements of positive Coxeter type

abstract: We introduce a class of elements of the Iwahori-Weyl group of a reductive group that we call positive Coxeter elements. This class consists of elements which are linked to partial Coxeter elements in the finite Weyl group in a certain canonical way, extending the more restrictive notion of finite Coxeter part previously introduced by He-Nie-Yu. We show that the affine Deligne-Lusztig varieties associated with such elements have a very simple and explicitly described geometric structure. Conversely, we explain how some of these geometric properties can be used to characterize elements of positive Coxeter type.


title: A Generalization of a result of Vemuri

abstract: Assuming that a function and its Fourier transform are dominated by Gaussians, a sharp estimate for the rate of exponential decay of its Hermite coefficients is obtained in terms of the variances of the dominating Gaussians.


title: How Good Is Open Bicycle Infrastructure Data? A Countrywide Case Study of Denmark

abstract: Cycling is a key ingredient for a sustainability shift of Denmark's transportation system. To increase cycling rates, a better nationwide network of bicycle infrastructure is required. Planning such a network requires high-quality infrastructure data, however, the quality of bicycle infrastructure data is severely understudied. Here, we compare Denmark's two largest open data sets on dedicated bicycle infrastructure, OpenStreetMap (OSM) and GeoDanmark, in a countrywide data quality assessment, asking whether data is good enough for network-based analysis of cycling conditions. We find that neither of the data sets is of sufficient quality, and that data set conflation is necessary to obtain a complete dataset. Our analysis of the spatial variation of data quality suggests that rural areas are more likely to suffer from problems with data completeness. We demonstrate that the prevalent method of using infrastructure density as a proxy for data completeness is not suitable for bicycle infrastructure data, and that matching of corresponding features thus is necessary to assess data completeness. Based on our data quality assessment we recommend strategic mapping efforts towards data completeness, consistent standards to support comparability between different data sources, and increased focus on data topology to ensure high-quality bicycle network data.


title: Density-Jump Transitions in the Debye-H\"uckel Theory of Spin Ice and Electrolytes

abstract: Debye-H\"{u}ckel theory, originally developed to describe dilute electrolyte solutions, has proved particularly successful as a description of magnetic monopoles in spin ice systems such as Dy$_{2}$Ti$_{2}$O$_{7}$. For this model, Ryzhkin et al. [JETP Lett. 95, 302-306 (2012)] predicted a phase transition in which the monopole density abruptly changes by several orders of magnitude but to date this transition has not been observed experimentally. Here we confirm that this transition is a robust prediction of Debye-H\"{u}ckel theory, that does not rely on approximations made in the previous work. However, we also find that the transition occurs in a regime where the theory breaks downs as a description of a Coulomb fluid and may be plausibly interpreted as an indicator of monopole crystallisation. By extending Ryzhkin's model, we associate the density jump of Debye-H\"uckel theory with the monopole crystallisation observed in staggered-potential models of `magnetic moment fragmentation', as well as with crystallisation in conserved monopole-density models. The possibility of observing a true density-jump transition in real spin ice and electrolyte systems is discussed.


title: A 3D kinetic Monte Carlo study of streamer discharges in CO$_2$

abstract: We theoretically study the inception and propagation of positive and negative streamers in CO$_2$. Our study is done in 3D, using a newly formulated kinetic Monte Carlo discharge model where the electrons are described as drifting and diffusing particles that adhere to the local field approximation. Our emphasis lies on electron attachment and photoionization. For negative streamers we find that dissociative attachment in the streamer channels leads to appearance of localized segments of increased electric fields, while an analogous feature is not observed for positive-polarity discharges. Positive streamers, unlike negative streamers, require free electrons ahead of them in order to propagate. In CO$_2$, just as in air, these electrons are supplied through photoionization. However, ionizing radiation in CO$_2$ is absorbed quite rapidly and is also weaker than in air, which has important ramifications for the emerging positive streamer morphology (radius, velocity, and fields). We perform a computational analysis which shows that positive streamers can propagate due to photoionization in CO$_2$. Conversely, photoionization has no affect on negative streamer fronts, but plays a major role in the coupling between negative streamers and the cathode. Photoionization in CO$_2$ is therefore important for the propagation of both positive and negative streamers. Our results are relevant in several applications, e.g., CO$_2$ conversion and high-voltage technology (where CO$_2$ is used in pure form or admixed with other gases).


title: Multi-rotor Aerial Vehicles in Physical Interactions: A Survey

abstract: Research on Multi-rotor Aerial Vehicles (MAVs) has experienced remarkable advancements over the past two decades, propelling the field forward at an accelerated pace. Through the implementation of motion control and the integration of specialized mechanisms, researchers have unlocked the potential of MAVs to perform a wide range of tasks in diverse scenarios. Notably, the literature has highlighted the distinctive attributes of MAVs that endow them with a competitive edge in physical interaction when compared to other robotic systems. In this survey, we present a categorization of the various types of physical interactions in which MAVs are involved, supported by comprehensive case studies. We examine the approaches employed by researchers to address different challenges using MAVs and their applications, including the development of different types of controllers to handle uncertainties inherent in these interactions. By conducting a thorough analysis of the strengths and limitations associated with different methodologies, as well as engaging in discussions about potential enhancements, this survey aims to illuminate the path for future research focusing on MAVs with high actuation capabilities.


title: A new meteor shower from comet 46P/Wirtanen expected in December 2023

abstract: Context. Comet 46P/Wirtanen is a near-Earth object (NEO) for which no associated meteor shower has ever been reported. Aims. This study is aimed at improving our understanding of why there has been no observed shower activity for this NEO to date, as well as to consider whether any past activity could be uncovered from the post-prediction results. Methods. The usual dynamic tools for meteoroid streams were used to describe the behavior of the particles ejected by the comet. The resulting modeled meteoroid stream was thoroughly inspected for collisions between the stream and the Earth. Results. The results show a possible encounter forecast for December 12, 2023, between 8:00 and 12:30 UT. The slow entry velocity is typically known to cause dim meteors. The activity level of the shower is highly uncertain due to the absence of reported past showers. Conclusions. Overall, the most optimal observations on the forecasted day would be achieved from Eastern Australia, New Zealand, and Oceania. These observations will help constrain the size distribution of meteoroids from comet 46P/Wirtanen in the millimeter range.


title: Efficient Microwave Spin Control of Negatively Charged Group-IV Color Centers in Diamond

abstract: In this work, we provide a comprehensive overview of the microwave-induced manipulation of electronic spin states in negatively charged group-IV color centers in diamond with a particular emphasis on the influence of strain. Central to our investigation is the consideration of the full vectorial attributes of the magnetic fields involved, which are a dc field for lifting the degeneracy of the spin levels and an ac field for microwave control between two spin levels. We observe an intricate interdependence between their spatial orientations, the externally applied strain, and the resultant efficacy in spin state control. In most work to date the ac and dc magnetic field orientations have been insufficiently addressed, which has led to the conclusion that strain is indispensable for the effective microwave control of heavier group-IV vacancies, such as tin- and lead-vacancy color centers. In contrast, we find that the alignment of the dc magnetic field orthogonal to the symmetry axis and the ac field parallel to it can make the application of strain obsolete for effective spin manipulation. Furthermore, we explore the implications of this field configuration on the spin's optical initialization, readout, and gate fidelities.


title: Synchronization is All You Need: Exocentric-to-Egocentric Transfer for Temporal Action Segmentation with Unlabeled Synchronized Video Pairs

abstract: We consider the problem of transferring a temporal action segmentation system initially designed for exocentric (fixed) cameras to an egocentric scenario, where wearable cameras capture video data. The conventional supervised approach requires the collection and labeling of a new set of egocentric videos to adapt the model, which is costly and time-consuming. Instead, we propose a novel methodology which performs the adaptation leveraging existing labeled exocentric videos and a new set of unlabeled, synchronized exocentric-egocentric video pairs, for which temporal action segmentation annotations do not need to be collected. We implement the proposed methodology with an approach based on knowledge distillation, which we investigate both at the feature and Temporal Action Segmentation model level. Experiments on Assembly101 and EgoExo4D demonstrate the effectiveness of the proposed method against classic unsupervised domain adaptation and temporal alignment approaches. Without bells and whistles, our best model performs on par with supervised approaches trained on labeled egocentric data, without ever seeing a single egocentric label, achieving a +15.99 improvement in the edit score (28.59 vs 12.60) on the Assembly101 dataset compared to a baseline model trained solely on exocentric data. In similar settings, our method also improves edit score by +3.32 on the challenging EgoExo4D benchmark.


title: Dominance complexes, neighborhood complexes and combinatorial Alexander duals

abstract: We show that the dominance complex $\mathcal{D}(G)$ of a graph $G$ coincides with the combinatorial Alexander dual of the neighborhood complex $\mathcal{N}(\overline{G})$ of the complement of $G$. Using this, we obtain a relation between the chromatic number $\chi(G)$ of $G$ and the homology group of $\mathcal{D}(G)$. We also obtain several known results related to dominance complexes from well-known facts of neighborhood complexes. After that, we suggest a new method for computing the homology groups of the dominance complexes, using independence complexes of simple graphs. We show that several known computations of homology groups of dominance complexes can be reduced to known computations of independence complexes. Finally, we determine the homology group of $\mathcal{D}(P_n \times P_3)$ by determining the homotopy types of the independence complex of $P_n \times P_3 \times P_2$.


title: Controllable Andreev Bound States in Bilayer Graphene Josephson Junction from Short to Long Junction Limits

abstract: We demonstrate that the mode number of Andreev bound states in bilayer graphene Josephson junctions can be modulated by in situ control of the superconducting coherence length. By exploiting the quadratic band dispersion of bilayer graphene, we control the Fermi velocity and thus the coherence length by the application of the electrostatic gating. Tunneling spectroscopy of Andreev bound states reveals a crossover from short to long Josephson junction regimes as the gate voltage is approached near the charge neutral point of bilayer graphene. Furthermore, quantitative analysis of Andreev spectrums for different mode numbers allows us to quantitatively estimate the phase-dependent Josephson current. Our work paves a new way to study multi-mode Andreev levels and to engineer Fermi velocity with bilayer graphene.


title: Inertial Line-Of-Sight Stabilization Using a 3-DOF Spherical Parallel Manipulator with Coaxial Input Shafts

abstract: This article dives into the use of a 3-RRR Spherical Parallel Manipulator (SPM) for the purpose of inertial Line Of Sight (LOS) stabilization. Such a parallel robot provides three Degrees of Freedom (DOF) in orientation and is studied from the kinematic point of view. In particular, one guarantees that the singular loci (with the resulting numerical instabilities and inappropriate behavior of the mechanism) are far away from the prescribed workspace. Once the kinematics of the device is certified, a control strategy needs to be implemented in order to stabilize the LOS through the upper platform of the mechanism. Such a work is done with MATLAB Simulink using a SimMechanics model of our robot.


title: Understanding Ethereum Mempool Security under Asymmetric DoS by Symbolized Stateful Fuzzing

abstract: In blockchains, mempool controls transaction flow before consensus, denial of whose service hurts the health and security of blockchain networks. This paper presents MPFUZZ, the first mempool fuzzer to find asymmetric DoS bugs by symbolically exploring mempool state space and optimistically estimating the promisingness an intermediate state is in reaching bug oracles. Compared to the baseline blockchain fuzzers, MPFUZZ achieves a > 100x speedup in finding known DETER exploits. Running MPFUZZ on six major Ethereum clients leads to the discovering of new mempool vulnerabilities, which exhibit a wide variety of sophisticated patterns including stealthy mempool eviction and mempool locking. Rule-based mitigation schemes are proposed against newly discovered vulnerabilities.


title: The extinction rate of a branching random walk with a barrier in a time-inhomogeneous random environment

abstract: Consider a supercritical branching random walk in a time-inhomogeneous random environment. We impose a selection (called barrier) on survival in the following way. The position of the barrier may depend on the generation and the environment. %to indexed by time $n,$ i.e.,$\{\L_n\}$with a random absorption barrier In each generation, only the individuals born below the barrier can survive and reproduce. When the barrier causes the extinction of the system, we give the extinction rate in the sense of $L^p~(p\geq 1)$. Moreover, we show the $L^p$ convergence of the small deviation probability for a random walk with random environment in time.


title: Spontaneous Coupling of Q-Learning Algorithms in Equilibrium

abstract: We study a simple model of algorithmic collusion in which Q-learning algorithms repeatedly play a prisoner's dilemma and allow players to choose different exploration policies. We characterize behavior of such algorithms with asymmetric policies for extreme values and prove that any Nash equilibrium features some cooperative behavior. We further investigate the dynamics for general profiles of exploration policy by running extensive numerical simulations which indicate symmetry of equilibria, and give insight for their distribution.


title: Constraints on UHECR sources and extragalactic magnetic fields from directional anisotropies

abstract: A dipole anisotropy in ultra-high-energy cosmic ray (UHECR) arrival directions, of extragalactic origin, is now firmly established at energies E > 8 EeV. Furthermore, the UHECR angular power spectrum shows no power at smaller angular scales than the dipole, apart from hints of possible individual hot or warm spots for energy thresholds $\gtrsim$40 EeV. Here, we exploit the magnitude of the dipole and the limits on smaller-scale anisotropies to place constraints on two quantities: the extragalactic magnetic field (EGMF) and the number density of UHECR sources or the volumetric event rate if UHECR sources are transient. We also vary the bias between the extragalactic matter and the UHECR source densities, reflecting whether UHECR sources are preferentially found in over- or under-dense regions, and find that little or no bias is favored. We follow Ding et al. (2021) in using the Cosmic Flows 2 density distribution of the local universe as our baseline distribution of UHECR sources, but we improve and extend that work by employing an accurate and self-consistent treatment of interactions and energy losses during propagation. Deflections in the Galactic magnetic field are treated using both the full JF12 magnetic field model, with random as well as coherent components, or just the coherent part, to bracket the impact of the GMF on the dipole anisotropy. This Large Scale Structure (LSS) model gives good agreement with both the direction and magnitude of the measured dipole anisotropy and forms the basis for simulations of discrete sources and the inclusion of EGMF effects.


title: SAMSGL: Series-Aligned Multi-Scale Graph Learning for Spatio-Temporal Forecasting

abstract: Spatio-temporal forecasting in various domains, like traffic prediction and weather forecasting, is a challenging endeavor, primarily due to the difficulties in modeling propagation dynamics and capturing high-dimensional interactions among nodes. Despite the significant strides made by graph-based networks in spatio-temporal forecasting, there remain two pivotal factors closely related to forecasting performance that need further consideration: time delays in propagation dynamics and multi-scale high-dimensional interactions. In this work, we present a Series-Aligned Multi-Scale Graph Learning (SAMSGL) framework, aiming to enhance forecasting performance. In order to handle time delays in spatial interactions, we propose a series-aligned graph convolution layer to facilitate the aggregation of non-delayed graph signals, thereby mitigating the influence of time delays for the improvement in accuracy. To understand global and local spatio-temporal interactions, we develop a spatio-temporal architecture via multi-scale graph learning, which encompasses two essential components: multi-scale graph structure learning and graph-fully connected (Graph-FC) blocks. The multi-scale graph structure learning includes a global graph structure to learn both delayed and non-delayed node embeddings, as well as a local one to learn node variations influenced by neighboring factors. The Graph-FC blocks synergistically fuse spatial and temporal information to boost prediction accuracy. To evaluate the performance of SAMSGL, we conduct experiments on meteorological and traffic forecasting datasets, which demonstrate its effectiveness and superiority.


title: TPA3D: Triplane Attention for Fast Text-to-3D Generation

abstract: Due to the lack of large-scale text-3D correspondence data, recent text-to-3D generation works mainly rely on utilizing 2D diffusion models for synthesizing 3D data. Since diffusion-based methods typically require significant optimization time for both training and inference, the use of GAN-based models would still be desirable for fast 3D generation. In this work, we propose Triplane Attention for text-guided 3D generation (TPA3D), an end-to-end trainable GAN-based deep learning model for fast text-to-3D generation. With only 3D shape data and their rendered 2D images observed during training, our TPA3D is designed to retrieve detailed visual descriptions for synthesizing the corresponding 3D mesh data. This is achieved by the proposed attention mechanisms on the extracted sentence and word-level text features. In our experiments, we show that TPA3D generates high-quality 3D textured shapes aligned with fine-grained descriptions, while impressive computation efficiency can be observed.


title: A simple model of decision-making in the application process

abstract: In decision-making, individuals often rely on intuition, which can occasionally yield suboptimal outcomes. This study examines the impact of intuitive decision-making on individuals who are confronted with limited position information in the job application process. We propose a measure, the mismatch index, that gauges allocation efficiency by comparing the final application rate to the preset admission rate. By simulation and analytical results, we counter-intuitively find that under the intuitive strategy, acquiring more information does not always lead to more efficient allocation. Additionally, a shift from despondency to a bandwagon effect occurs when the initial application rate surpasses the admission rate, which can be observed in our field experiments. Meanwhile, experimental data also unveil variations in individuals' reliance on intuition, indicating the presence of inherent adventurous and conservative inclinations. To account for these effects, we introduce an enhancement factor into our model. The improved results align well with these real data, showing that compared to mediate competitive scenarios, individuals exhibit a stronger conservative tendency in fierce or less competitive scenarios. These findings offer significant insights into resource allocation, especially in the competitive job market context.


title: A Q-learning approach to the continuous control problem of robot inverted pendulum balancing

abstract: This study evaluates the application of a discrete action space reinforcement learning method (Q-learning) to the continuous control problem of robot inverted pendulum balancing. To speed up the learning process and to overcome technical difficulties related to the direct learning on the real robotic system, the learning phase is performed in simulation environment. A mathematical model of the system dynamics is implemented, deduced by curve fitting on data acquired from the real system. The proposed approach demonstrated feasible, featuring its application on a real world robot that learned to balance an inverted pendulum. This study also reinforces and demonstrates the importance of an accurate representation of the physical world in simulation to achieve a more efficient implementation of reinforcement learning algorithms in real world, even when using a discrete action space algorithm to control a continuous action.


title: Learning a convex cost-to-go for single step model predictive control

abstract: For large systems that consider uncertainty the online solution of model predictive control problems can be computationally taxing, and even infeasible. This can be offset by using a shorter horizon, however this can in turn result in poor controller performance. In this work we consider the task of learning convex objective terms to allow the use of a short, potentially single step, control horizon to reduce the online computational cost. We consider two surrogates: (1) a convex interpolating function and (2) an input-convex neural network. We highlight that irrespective of the choice of surrogate the behaviour of the surrogate near the origin and ability of the surrogate to describe the feasible region are key concerns for the closed loop performance of the new MPC problem. We address these concerns by tailoring the design of the surrogate to ensure good performance in both aspects.The paper concludes with a numerical example, showing the clear and significant reduction in computational complexity through the use of these convex surrogates.


title: A locally $5$-arc transitive graph related to ${\rm PSU}_3(8)$

abstract: We construct a locally 5-arc transitive $G$-graph $\Delta$, where $G \in \{ {\rm PSU}_3(8) \rtimes C_2, {\rm PSU}_3(8) \rtimes C_6\}$. The corresponding vertex stabilizer amalgams are of local characteristic $3$ but are not weak $(B,N)$-pairs. They are the first examples of this kind where there exists a vertex $z$ such that the extension of $G_z/O_p(G_z^{[1]})$ over $O_p(G_z^{[1]})$ is non-split.


title: What Machine Learning Can Do for Focusing Aerogel Detectors

abstract: Particle identification at the Super Charm-Tau factory experiment will be provided by a Focusing Aerogel Ring Imaging CHerenkov detector (FARICH). The specifics of detector location make proper cooling difficult, therefore a significant number of ambient background hits are captured. They must be mitigated to reduce the data flow and improve particle velocity resolution. In this work we present several approaches to filtering signal hits, inspired by machine learning techniques from computer vision.


title: Using the motion of S2 to constrain vector clouds around SgrA*

abstract: The dark compact object at the centre of the Milky Way is well established to be a supermassive black hole with mass $M_{\bullet} \sim 4.3 \cdot 10^6 \, M_{\odot}$, but the nature of its environment is still under debate. In this work, we used astrometric and spectroscopic measurements of the motion of the star S2, one of the closest stars to the massive black hole, to determine an upper limit on an extended mass composed of a massive vector field around Sagittarius A*. For a vector with effective mass $10^{-19} \, \rm eV \lesssim m_s \lesssim 10^{-18} \, \rm eV$, our Markov Chain Monte Carlo analysis shows no evidence for such a cloud, placing an upper bound $M_{\rm cloud} \lesssim 0.1\% M_{\bullet}$ at $3\sigma$ confidence level. We show that dynamical friction exerted by the medium on S2 motion plays no role in the analysis performed in this and previous works, and can be neglected thus.


title: THz-Driven Coherent Magnetization Dynamics in a Labyrinth Domain State

abstract: Terahertz (THz) light pulses can be used for an ultrafast coherent manipulation of the magnetization. Driving the magnetization at THz frequencies is currently the fastest way of writing magnetic information in ferromagnets. Using time-resolved resonant magnetic scattering, we gain new insights to the THz-driven coherent magnetization dynamics on nanometer length scales. We observe ultrafast demagnetization and coherent magnetization oscillations that are governed by a time-dependent damping. This damping is determined by the interplay of lattice heating and magnetic anisotropy reduction revealing an upper speed limit for THz-induced magnetization switching. We show that in the presence of nanometer-sized magnetic domains, the ultrafast magnetization oscillations are associated with a correlated beating of the domain walls. The overall domain structure thereby remains largely unaffected which highlights the applicability of THz-induced switching on the nanoscale.


title: Magnon-mediated topological superconductivity in a quantum wire

abstract: Many emergent phases of matter stem from the intertwined dynamics of quasiparticles. Here we show that a topological superconducting phase emerges as the result of interactions between electrons and magnons in a quantum wire and a helical magnet. The magnon-mediated interaction favors triplet superconductivity over a large magnetic phase space region, and stabilizes topological superconductivity over an extended region of chemical potentials. The superconducting gap depends exponentially on the spin-electron coupling, allowing it to be enhanced through material engineering techniques.


title: Diffusion constants from the recursion method

abstract: Understanding the transport behavior of quantum many-body systems constitutes an important physical endeavor, both experimentally and theoretically. While a reliable classification into normal and anomalous dynamics is known to be notoriously difficult for a given microscopic model, even the seemingly simpler evaluation of transport coefficients in diffusive systems continues to be a hard task in practice. This fact has motivated the development and application of various sophisticated methods and is also the main issue of this paper. We particularly take a barely used strategy, which is based Lanczos coefficients, and demonstrate that this strategy allows for the accurate calculation of diffusion coefficients for different paradigmatic examples, including magnetization transport in nonintegrable spin-1/2 chains and ladders as well as energy transport in the mixed-field Ising model in one dimension.


title: Geometry of the LMC based on multi-phase analysis of multi-wavelength Cepheid light curves using OGLE-IV and Gaia DR3 data

abstract: The period-luminosity (PL) relation of Cepheids in the Large Magellanic Cloud (LMC) plays a pivotal role in extra-galactic distance measurement and the determination of the Hubble constant $(H_{0})$. In this work, we probe the geometry of the LMC through a detailed study of multi-phase PL relations of these Cepheids, leveraging data from the OGLE-IV and Gaia DR3 databases. We analyse the light curves of a combined sample of $\sim$3300 fundamental (FU) and first overtone (FO) mode classical Cepheids. We obtain multi-phase data with $50$ phase points over a complete pulsation cycle from the OGLE $(V, I)$ and Gaia $(G,G_{\rm BP}, G_{\rm RP})$ photometric bands. We determine the distance modulus and reddening values of individual Cepheids by fitting a simultaneous reddening law to the apparent distance modulus values. We calculate the LMC viewing angle parameters: the inclination angle $(i)$ and position angle of line of nodes $(\theta_{\rm lon})$ by fitting a plane of the form $z = f(x,y)$ to the three-dimensional distribution of Cepheids in Cartesian coordinates $(x,y,z)$. The values of LMC viewing angles from multi-phase PL relations are found to be: $i = 22\rlap{.}^{\circ}87 \pm 0\rlap{.}^{\circ}43 ~\textrm{(stat.)} \pm 0\rlap{.}^{\circ}53 ~\textrm{(syst.)}$, $\theta_{\rm lon} = 154\rlap{.}^{\circ}76 \pm 1\rlap{.}^{\circ}16 ~\textrm{(stat.)} \pm 1\rlap{.}^{\circ}01 ~\textrm{(syst.)}$, respectively. The use of multi-phase PL relations in multiple bands results in lower uncertainties for the LMC viewing angle parameters as compared to those derived from the mean light PL relations. This shows that the use of multi-phase PL relations with multi-wavelength photometry significantly improves the precision of these measurements, allowing better constraints on the morphology and the structure of the LMC.


title: Do AI models produce better weather forecasts than physics-based models? A quantitative evaluation case study of Storm Ciar\'an

abstract: There has been huge recent interest in the potential of making operational weather forecasts using machine learning techniques. As they become a part of the weather forecasting toolbox, there is a pressing need to understand how well current machine learning models can simulate high-impact weather events. We compare forecasts of Storm Ciar\'an, a European windstorm that caused sixteen deaths and extensive damage in Northern Europe, made by machine learning and numerical weather prediction models. The four machine learning models considered (FourCastNet, Pangu-Weather, GraphCast and FourCastNet-v2) produce forecasts that accurately capture the synoptic-scale structure of the cyclone including the position of the cloud head, shape of the warm sector and location of warm conveyor belt jet, and the large-scale dynamical drivers important for the rapid storm development such as the position of the storm relative to the upper-level jet exit. However, their ability to resolve the more detailed structures important for issuing weather warnings is more mixed. All of the machine learning models underestimate the peak amplitude of winds associated with the storm, only some machine learning models resolve the warm core seclusion and none of the machine learning models capture the sharp bent-back warm frontal gradient. Our study shows there is a great deal about the performance and properties of machine learning weather forecasts that can be derived from case studies of high-impact weather events such as Storm Ciar\'an.


title: Supervised learning of spatial features with STDP and homeostasis using Spiking Neural Networks on SpiNNaker

abstract: Artificial Neural Networks (ANN) have gained significant popularity thanks to their ability to learn using the well-known backpropagation algorithm. Conversely, Spiking Neural Networks (SNNs), despite having broader capabilities than ANNs, have always posed challenges in the training phase. This paper shows a new method to perform supervised learning on SNNs, using Spike Timing Dependent Plasticity (STDP) and homeostasis, aiming at training the network to identify spatial patterns. Spatial patterns refer to spike patterns without a time component, where all spike events occur simultaneously. The method is tested using the SpiNNaker digital architecture. A SNN is trained to recognise one or multiple patterns and performance metrics are extracted to measure the performance of the network. Some considerations are drawn from the results showing that, in the case of a single trained pattern, the network behaves as the ideal detector, with 100% accuracy in detecting the trained pattern. However, as the number of trained patterns on a single network increases, the accuracy of identification is linked to the similarities between these patterns. This method of training an SNN to detect spatial patterns may be applied to pattern recognition in static images or traffic analysis in computer networks, where each network packet represents a spatial pattern. It will be stipulated that the homeostatic factor may enable the network to detect patterns with some degree of similarity, rather than only perfectly matching patterns.The principles outlined in this article serve as the fundamental building blocks for more complex systems that utilise both spatial and temporal patterns by converting specific features of input signals into spikes.One example of such a system is a computer network packet classifier, tasked with real-time identification of packet streams based on features within the packet content


title: Uniswap Daily Transaction Indices by Network

abstract: DeFi is transforming financial services by removing intermediaries and producing a wealth of open-source data. This transformation is propelled by Layer 2 (L2) solutions, aimed at boosting network efficiency and scalability beyond current Layer 1 (L1) capabilities. This study addresses the lack of detailed L2 impact analysis by examining over 50 million transactions from Uniswap. Our dataset, featuring transactions from L1 and L2 across networks like Ethereum and Polygon, provides daily indices revealing adoption, scalability, and decentralization within the DeFi space. These indices help to elucidate the complex relationship between DeFi and L2 technologies, advancing our understanding of the ecosystem. The dataset is enhanced by an open-source Python framework for computing decentralization indices, adaptable for various research needs. This positions the dataset as a vital resource for machine learning endeavors, particularly deep learning, contributing significantly to the development of Blockchain as Web3's infrastructure.

categories: econ.GN cs.CE cs.CR cs.CY q-fin.EC stat.AP


title: A Self-Commissioning Edge Computing Method for Data-Driven Anomaly Detection in Power Electronic Systems

abstract: Ensuring the reliability of power electronic converters is a matter of great importance, and data-driven condition monitoring techniques are cementing themselves as an important tool for this purpose. However, translating methods that work well in controlled lab environments to field applications presents significant challenges, notably because of the limited diversity and accuracy of the lab training data. By enabling the use of field data, online machine learning can be a powerful tool to overcome this problem, but it introduces additional challenges in ensuring the stability and predictability of the training processes. This work presents an edge computing method that mitigates these shortcomings with minimal additional memory usage, by employing an autonomous algorithm that prioritizes the storage of training samples with larger prediction errors. The method is demonstrated on the use case of a self-commissioning condition monitoring system, in the form of a thermal anomaly detection scheme for a variable frequency motor drive, where the algorithm self-learned to distinguish normal and anomalous operation with minimal prior knowledge. The obtained results, based on experimental data, show a significant improvement in prediction accuracy and training speed, when compared to equivalent models trained online without the proposed data selection process.


title: Robust parameter estimation of the log-logistic distribution based on density power divergence estimators

abstract: Robust inferential methods based on divergences measures have shown an appealing trade-off between efficiency and robustness in many different statistical models. In this paper, minimum density power divergence estimators (MDPDEs) for the scale and shape parameters of the log-logistic distribution are considered. The log-logistic is a versatile distribution modeling lifetime data which is commonly adopted in survival analysis and reliability engineering studies when the hazard rate is initially increasing but then it decreases after some point. Further, it is shown that the classical estimators based on maximum likelihood (MLE) are included as a particular case of the MDPDE family. Moreover, the corresponding influence function of the MDPDE is obtained, and its boundlessness is proved, thus leading to robust estimators. A simulation study is carried out to illustrate the slight loss in efficiency of MDPDE with respect to MLE and, at besides, the considerable gain in robustness.


title: FaceStudio: Put Your Face Everywhere in Seconds

abstract: This study investigates identity-preserving image synthesis, an intriguing task in image generation that seeks to maintain a subject's identity while adding a personalized, stylistic touch. Traditional methods, such as Textual Inversion and DreamBooth, have made strides in custom image creation, but they come with significant drawbacks. These include the need for extensive resources and time for fine-tuning, as well as the requirement for multiple reference images. To overcome these challenges, our research introduces a novel approach to identity-preserving synthesis, with a particular focus on human images. Our model leverages a direct feed-forward mechanism, circumventing the need for intensive fine-tuning, thereby facilitating quick and efficient image generation. Central to our innovation is a hybrid guidance framework, which combines stylized images, facial images, and textual prompts to guide the image generation process. This unique combination enables our model to produce a variety of applications, such as artistic portraits and identity-blended images. Our experimental results, including both qualitative and quantitative evaluations, demonstrate the superiority of our method over existing baseline models and previous works, particularly in its remarkable efficiency and ability to preserve the subject's identity with high fidelity.


title: Domain-Specific Tensor Languages

abstract: The tensor notation used in several areas of mathematics is a useful one, but it is not widely available to the functional programming community. In a practical sense, the (embedded) domain-specific languages (DSLs) that are currently in use for tensor algebra are either 1. array-oriented languages that do not enforce or take advantage of tensor properties and algebraic structure or 2. follow the categorical structure of tensors but require the programmer to manipulate tensors in an unwieldy point-free notation. A deeper issue is that for tensor calculus, the dominant pedagogical paradigm assumes an audience which is either comfortable with notational liberties which programmers cannot afford, or focus on the applied mathematics of tensors, largely leaving their linguistic aspects (behaviour of variable binding, syntax and semantics, etc.) for the reader to figure out by themselves. This state of affairs is hardly surprising, because, as we highlight, several properties of standard tensor notation are somewhat exotic from the perspective of lambda calculi. We bridge the gap by defining a DSL, embedded in Haskell, whose syntax closely captures the index notation for tensors in wide use in the literature. The semantics of this EDSL is defined in terms of the algebraic structures which define tensors in their full generality. This way, we believe that our EDSL can be used both as a tool for scientific computing, but also as a vehicle to express and present the theory and applications of tensors.


title: Lights out: training RL agents robust to temporary blindness

abstract: Agents trained with DQN rely on an observation at each timestep to decide what action to take next. However, in real world applications observations can change or be missing entirely. Examples of this could be a light bulb breaking down, or the wallpaper in a certain room changing. While these situations change the actual observation, the underlying optimal policy does not change. Because of this we want our agent to continue taking actions until it receives a (recognized) observation again. To achieve this we introduce a combination of a neural network architecture that uses hidden representations of the observations and a novel n-step loss function. Our implementation is able to withstand location based blindness stretches longer than the ones it was trained on, and therefore shows robustness to temporary blindness. For access to our implementation, please email Nathan, Marije, or Pau.


title: First-order event plane correlated directed and triangular flow from fixed-target energies at RHIC-STAR

abstract: We report the measurement of first-order event plane correlated directed flow $(v_1)$ and triangular flow $v_3$ for identified hadrons ($\pi^{\pm}$, $K^{\pm}$, and $p$), net-particle (net-K, net-p), and light nuclei ($d$ and $t$) in Au+Au collisions at $\sqrt{s_{\text{NN}}}$ = 3.2, 3.5, and 3.9 GeV in fixed-target mode from the second phase of beam energy scan (BES-II) program at RHIC-STAR. The $v_1$ slopes at mid-rapidity for identified hadrons and net-particles except $\pi^{+}$ are found to be positive, implying the effect of dominant repulsive baryonic interactions. The slope of $v_1$ for net-kaon undergoes a sign change from negative to positive at a lower collision energy compared to net-proton. An approximate atomic mass number scaling is observed in the measured $v_1$ slopes of light nuclei at mid-rapidity, which favours the nucleon coalescence mechanism for the production of light nuclei. The $v_3$ slope for all particles decreases in magnitude with increasing collision energy, suggesting a notable integrated impact of the mean-field, baryon stopping, and collision geometry at lower collision energies.


title: Improved real-space parallelizable matrix-product state compression and its application to unitary quantum dynamics simulation

abstract: Towards the efficient simulation of near-term quantum devices using tensor network states, we introduce an improved real-space parallelizable matrix-product state (MPS) compression method. This method enables efficient compression of all virtual bonds in constant time, irrespective of the system size, with controlled accuracy, while it maintains the stability of the wavefunction norm without necessitating sequential renormalization procedures. In addition, we introduce a parallel regauging technique to partially restore the deviated canonical form, thereby improving the accuracy of the simulation in subsequent steps. We further apply this method to simulate unitary quantum dynamics and introduce a parallel time-evolving block-decimation (pTEBD) algorithm. We employ the pTEBD algorithm for extensive simulations of typical one- and two-dimensional quantum circuits, involving over 1000 qubits. The obtained numerical results unequivocally demonstrate that the pTEBD algorithm achieves the same level of simulation precision as the current state-of-the-art MPS algorithm but in polynomially shorter time, exhibiting nearly perfect weak scaling performance on a modern supercomputer.


title: Approximate Nash Equilibria Algorithms for Shapley Network Design Games

abstract: We consider a weighted Shapley network design game, where selfish players choose paths in a network to minimize their cost. The cost function of each edge in the network is affine linear with respect to the sum of weights of the players who choose the edge. We first show the existence of \alpha-approximate pure Nash equilibrium by constructing a potential function and establish an upper bound O(log2(W)) of \alpha, where W is the sum of the weight of all players. Furthermore, we assume that the coefficients of the cost function (affine linear function) of the edge all are \phi-smooth random variables on [0, 1]. In this case, we show that \epsilon-best response dynamics can compute the (1 + \epsilon)\alpha-approximate pure Nash equilibrium (\epsilon is a positive constant close to 0) in polynomial time by proving the expected number of iterations is polynomial in 1/\epsilon, \phi, the number of players and the number of edges in the network.


title: Deep-learning-driven end-to-end metalens imaging

abstract: Recent advances in metasurface lenses (metalenses) have shown great potential for opening a new era in compact imaging, photography, light detection and ranging (LiDAR), and virtual reality/augmented reality (VR/AR) applications. However, the fundamental trade-off between broadband focusing efficiency and operating bandwidth limits the performance of broadband metalenses, resulting in chromatic aberration, angular aberration, and a relatively low efficiency. In this study, a deep-learning-based image restoration framework is proposed to overcome these limitations and realize end-to-end metalens imaging, thereby achieving aberration-free full-color imaging for mass-produced metalenses with 10-mm diameter. Neural-network-assisted metalens imaging achieved a high resolution comparable to that of the ground truth image.


title: Qubit-environment entanglement in time-dependent pure dephasing

abstract: We show that the methods for quantification of system-environment entanglement that were recently developed for interactions that lead to pure decoherence of the system can be straightforwardly generalized to time-dependent Hamiltonians of the same type. This includes the if-and-only-if criteria of separability, as well as the entanglement measure applicable to qubit systems, and methods of detection of entanglement by operations and measurements performed solely on the system without accessing the environment. We use these methods to study the nature of the decoherence of a qubit-oscillator system. Qubit-oscillator entanglement is essential for developing bosonic quantum technology with quantum non-Gaussian states and its applications in quantum sensing and computing. The dominating bosonic platforms, trapped ions, electromechanics, and superconducting circuits, are based on the time-dependent gates that use such entanglement to achieve new quantum sensors and quantum error correction. The step-like time-dependence of the Hamiltonian that is taken into account allows us to capture complex interplay between the build-up of classical and quantum correlations, which could not be replicated in time-independent scenarios.