title: The Sun at millimeter wavelengths IV. Magnetohydrodynamic waves in small-scale bright features

abstract: We used solar observations of a plage/enhanced network with the Atacama Large Millimeter/sub-millimeter Array (ALMA) in Band 3 and Band 6 together with synthetic continuum maps from numerical simulations with Bifrost at the same bands to carry out a detailed study of bright small-scale magnetic features. To this end, we have used an algorithm to automatically identify and trace the features within the field of view (FoV) of the observations and the simulation. We found 193 and 293 features in the Bands 3 and 6 observations, respectively. In the degraded simulation, the total number of features were 24 for Band 3 and 204 for Band 6. In the original simulation, the total number of features were 36 for Band 3 and 392 for Band 6. Based on the simulation, we confirm the magnetic nature of the features which exhibit an oscillatory behaviour in temperature, size and horizontal velocity. The average oscillation periods were of 30-99\,s for temperature, 37-92\,s for size and 37-78\,s for horizontal velocity. There are indications for the possible presence of transverse (kink) waves with average amplitude velocities of 2.1-5.0\,km\,s$^{-1}$. An anti-phase behaviour between temperature and size oscillations suggest the presence of compressible fast-sausage Magnetohydrodynamics (MHD) modes. Finally, we have estimated the flux of energy of the fast-sausage waves at the chromospheric heights sampled by ALMA as 453-1838\,W\,m$^{-2}$ for Band 3 and 3640-5485\,W\,m$^{-2}$ for Band 6. The decrease of wave energy-flux with height (from Band 6 to Band 3) could possibly suggest energy dissipation at chromospheric heights, thus wave heating, with the assumptions that the identified small-scale waves are typical at each band and they propagate upward through the chromosphere.


title: Counting tropical curves in $\mathbb{P}^1\times\mathbb{P}^1$: computation & polynomiality properties

abstract: Counts of curves in $\mathbb{P}^1\times\mathbb{P}^1$ with fixed contact order with the toric boundary and satisfying point conditions can be determined with tropical methods by Mikhalkin. If we require that our curves intersect the zero- and infinity-section only in points of contact order $1$, but allow arbitrary contact order for the zero- and infinity-fiber, the corresponding numbers reveal beautiful structural properties such as piecewise polynomiality, similar to the case of double Hurwitz numbers counting covers of $\mathbb{P}^1$ with special ramification profiles over zero and infinity by Ardila and Brugall\'e. This result was obtained using the floor diagram method to count tropical curves. Here, we expand the tropical tools to determine counts of curves in $\mathbb{P}^1\times\mathbb{P}^1$. We provide a computational tool (building on Polymake by Gawrilow and Joswig) that determines such numbers of tropical curves for any genus and any contact orders via a straightforward generalization of Mikhalkin's lattice path algorithm. The tool can also be used for other toric surfaces. To enable efficient computations also by hand, we introduce a new counting tool (for the case of rational curves with transverse contacts with the infinity section) which can be seen as a combination of the floor diagram and the lattice path approach: subfloor diagrams. We use both our computational tool and the subfloor diagrams for experiments revealing structural properties of these counts. We obtain first results on the (piecewise) polynomial structure of counts of rational curves in $\mathbb{P}^1\times\mathbb{P}^1$ with arbitrary contact orders on the zero- and infinity-fiber and restricted choices for the contact orders on the zero- and infinity-section.


title: Identifying the energy release site in a Solar microflare with a jet

abstract: One of the main science questions of the Solar Orbiter and Parker Solar Probe missions deals with understanding how electrons in the lower solar corona are accelerated and how they subsequently access interplanetary space. We aim to investigate the electron acceleration and energy release sites as well as the manner in which accelerated electrons access the interplanetary space in the case of the SOL2021-02-18T18:05 event, a GOES A8 class microflare associated with a coronal jet. This study takes advantage of three different vantage points, Solar Orbiter, STEREO-A, and Earth, with observations ranging from radio to X-ray. Multi-wavelength timing analysis combined with UV/EUV imagery and X-ray spectroscopy by Solar Orbiter/STIX (Spectrometer/Telescope for Imaging X-rays) is used to investigate the origin of the observed emission during different flare phases. The event under investigation satisfies the classical picture of the onset time of the acceleration of electrons coinciding with the jet and the radio type III bursts. This microflare features prominent hard X-ray nonthermal emission down to at least 10 keV and a spectrum that is much harder than usual for a microflare with a spectral index of 2.9. From Earth's vantage point, the microflare is seen near the limb, revealing the coronal energy release site above the flare loop in EUV, which, from STIX spectroscopic analysis, turns out to be hot (at roughly the same temperature of the flare). Moreover, this region is moving toward higher altitudes over time (about 30 km/s). During the flare, the same region spatially coincides with the origin of the coronal jet. We conclude that the energy release site observed above-the-loop corresponds to the electron acceleration site, corroborating that interchange reconnection is a viable candidate for particle acceleration in the low corona on field lines open to interplanetary space.


title: Neutrinoless Double Beta Decay

abstract: This White Paper, prepared for the Fundamental Symmetries, Neutrons, and Neutrinos Town Meeting related to the 2023 Nuclear Physics Long Range Plan, makes the case for double beta decay as a critical component of the future nuclear physics program. The major experimental collaborations and many theorists have endorsed this white paper.


title: Supermassive black hole seeds from sub-keV dark matter

abstract: Quasars observed at redshifts $z\sim 6-7.5$ are powered by supermassive black holes which are too large to have grown from early stellar remnants without efficient super-Eddington accretion. A proposal for alleviating this tension is for dust and metal-free gas clouds to have undergone a process of direct collapse, producing black hole seeds of mass $M_\textrm{seed}\sim10^5 M_\odot$ around redshift $z \sim 17$. For direct collapse to occur, a large flux of UV photons must exist to photodissociate molecular hydrogen, allowing the gas to cool slowly and avoid fragmentation. We investigate the possibility of sub-keV mass dark matter decaying or annihilating to produce the UV flux needed to cause direct collapse. We find that annihilating dark matter with a mass in the range of $13.6 \textrm{ eV} \le m_{dm} \le 20 \textrm{ eV}$ can produce the required flux while avoiding existing constraints. A non-thermally produced dark matter particle which comprises the entire dark matter abundance requires a thermally averaged cross section of $\langle\sigma v \rangle \sim 10^{-35}$ cm$^3/$s. Alternatively, the flux could originate from a thermal relic which comprises only a fraction $\sim10^{-9}$ of the total dark matter density. Decaying dark matter models which are unconstrained by independent astrophysical observations are unable to sufficiently suppress molecular hydrogen, except in gas clouds embedded in dark matter halos which are larger, cuspier, or more concentrated than current simulations predict. Lastly, we explore how our results could change with the inclusion of full three-dimensional effects. Notably, we demonstrate that if the $\mathrm{H}_2$ self-shielding is less than the conservative estimate used in this work, the range of both annihilating and decaying dark matter models which can cause direct collapse is significantly increased.


title: An RFID-Based Assistive Glove to Help the Visually Impaired

abstract: Recent studies have focused on facilitating perception and outdoor navigation for people with blindness or some form of vision loss. However, a significant portion of these studies is centered around treatment and vision rehabilitation, leaving some immediate needs, such as interaction with the surrounding objects or recognizing colors and fine patterns without tactile feedback. This study targets such needs and delivers a straightforward communication method using a wearable, unobtrusive device with the environment. We initially discuss the advantages and limitations of related works to draw out the best-fitting design concepts. Then, we introduce the potential for emerging technologies such as radio-frequency identification. We present the design details and the experimental results of an assistive glove to allow people with vision disabilities to interact with the environment more efficiently. Based on the collected data from 17 blind-folded healthy participants, the implemented system's success rate in identifying objects was about 96.32%. Overall, 70% of the users found the device very satisfactory.


title: Endomorphism algebras of geometrically split genus 2 Jacobians over Q

abstract: The main result of [FG20] classifies the 92 geometric endomorphism algebras of geometrically split abelian surfaces defined over Q. We show that 54 of them arise as geometric endomorphism algebras of Jacobians of genus 2 curves defined over Q, and that the remaining 38 do not. In particular, we exhibit 38 examples of Qbar-isogeny classes of abelian surfaces defined over Q that do not contain any Jacobian of a genus 2 curve defined over Q, and for each of the 54 algebras that do arise we exhibit a curve realizing them.


title: Strassen's law of the iterated logarithm under sub-linear expectations

abstract: We establish the Strassen's law of the iterated logarithm for independent and identically distributed random variables with $\hat{\mathbb{E}}[X_1]=\hat{\mathcal{E}}[X_1]=0$ and $C_{\mathbb{V}}[X_1^2]<\infty$ under sub-linear expectation space with a countably sub-additive capacity $\mathbb{V}$. We also show the LIL for upper capacity with $\sigma=\bar{\sigma}$ under some certain conditions.


title: Generalized Laurent monomials in nonrational toric geometry

abstract: We generalize Laurent monomials to toric quasifolds, a special class of highly singular spaces that extend simplicial toric varieties to the nonrational setting.


title: Resource Theory of Non-absolute Separability

abstract: We develop a resource theory for non-absolutely separable states (non-AS) in which absolutely separable states (AS) that cannot be entangled by any global unitaries are recognised as free states and any convex mixture of global unitary operations can be performed without incurring any costs. We employ two approaches to quantify non-absolute separability (NAS) -- one based on distance measures and the other one through the use of a witness operator. We prove that both the NAS measures obey all the conditions which should be followed by a ``good'' NAS measure. We demonstrate that NAS content is equal and maximal in all pure states for a fixed dimension. We then establish a connection between the distance-based NAS measure and the entanglement quantifier. We illustrate our results with a class of non-AS states, namely Werner states.


title: Length functions in Teichm\"uller and anti de Sitter geometry

abstract: We establish a link between the behavior of length functions on Teichm\"uller space and the geometry of certain anti de Sitter 3-manifolds. As an application, we give new purely anti de Sitter proofs of results of Teichm\"uller theory such as (strict) convexity of length functions along shear paths and geometric bounds on their second variation along earthquakes. Along the way, we provide shear-bend coordinates for Mess' anti de Sitter 3-manifolds.


title: 50 Years of Quantum Chromodynamics

abstract: This paper presents a comprehensive review of both the theory and experimental successes of Quantum Chromodynamics, starting with its emergence as a well defined theory in 1972-73 and following developments and results up to the present day. Topics include a review of the earliest theoretical and experimental foundations; the fundamental constants of QCD; an introductory discussion of lattice QCD, the only known method for obtaining exact predictions from QCD; methods for approximating QCD, with special focus on effective field theories; QCD under extreme conditions; measurements and predictions of meson and baryon states; a special discussion of the structure of the nucleon; techniques for study of QCD at high energy, including treatment of jets and showers; measurements at colliders; weak decays and quark mixing; and a section on the future, which discusses new experimental facilities or upgrades currently funded. The paper is intended to provide a broad background for Ph.D. students and postdocs starting their career. Some contributions include personal accounts of how the ideas or experiments were developed.


title: Enhancing Resilience: Model-based Simulations

abstract: Since several years, the fragility of global supply chains (GSCs) is at historically high levels. In the same time, the landscape of hybrid threats is expanding; new forms of hybrid threats create different types of uncertainties. This paper aims to understand the potential consequences of uncertain events - like natural disasters, pandemics, hybrid and/or military aggression - on GSC resilience and robustness. Leveraging a parsimonious supply chain model, we analyse how the organisational structure of GSCs interacts with uncertainty, and how risk-aversion vs. ambiguity-aversion, vertical integration vs. upstream outsourcing, resilience vs. efficiency trade-offs drive a wedge between decentralised and centralised optimal GSC diversification strategies in presence of externalities. Parameterising the scalable data model with World-Input Output Tables, we simulate the survival probability of a GSC and implications for supply chain robustness and resilience. The presented model-based simulations provide an interoperable and directly comparable conceptualisation of positive and normative effects of counterfactual resilience and robustness policy choices under individually optimal (decentralised) and socially optimal (centralised) GSC organisation structures.


title: MAViC: Multimodal Active Learning for Video Captioning

abstract: A large number of annotated video-caption pairs are required for training video captioning models, resulting in high annotation costs. Active learning can be instrumental in reducing these annotation requirements. However, active learning for video captioning is challenging because multiple semantically similar captions are valid for a video, resulting in high entropy outputs even for less-informative samples. Moreover, video captioning algorithms are multimodal in nature with a visual encoder and language decoder. Further, the sequential and combinatorial nature of the output makes the problem even more challenging. In this paper, we introduce MAViC which leverages our proposed Multimodal Semantics Aware Sequential Entropy (M-SASE) based acquisition function to address the challenges of active learning approaches for video captioning. Our approach integrates semantic similarity and uncertainty of both visual and language dimensions in the acquisition function. Our detailed experiments empirically demonstrate the efficacy of M-SASE for active learning for video captioning and improve on the baselines by a large margin.


title: Lifelong Reinforcement Learning with Modulating Masks

abstract: Lifelong learning aims to create AI systems that continuously and incrementally learn during a lifetime, similar to biological learning. Attempts so far have met problems, including catastrophic forgetting, interference among tasks, and the inability to exploit previous knowledge. While considerable research has focused on learning multiple supervised classification tasks that involve changes in the input distribution, lifelong reinforcement learning (LRL) must deal with variations in the state and transition distributions, and in the reward functions. Modulating masks with a fixed backbone network, recently developed for classification, are particularly suitable to deal with such a large spectrum of task variations. In this paper, we adapted modulating masks to work with deep LRL, specifically PPO and IMPALA agents. The comparison with LRL baselines in both discrete and continuous RL tasks shows superior performance. We further investigated the use of a linear combination of previously learned masks to exploit previous knowledge when learning new tasks: not only is learning faster, the algorithm solves tasks that we could not otherwise solve from scratch due to extremely sparse rewards. The results suggest that RL with modulating masks is a promising approach to lifelong learning, to the composition of knowledge to learn increasingly complex tasks, and to knowledge reuse for efficient and faster learning.


title: Splitting Schemes for Coupled Differential Equations: Block Schur-Based Approaches and Partial Jacobi Approximation

abstract: Coupled multi-physics problems are encountered in countless applications and pose significant numerical challenges. Although monolithic approaches offer possibly the best solution strategy, they often require ad-hoc preconditioners and numerical implementations. Sequential (also known as splitted, partitioned or segregated) approaches are iterative methods for solving coupled problems where each equation is solved independently and the coupling is achieved through iterations. These methods offer the possibility to flexibly add or remove equations from a model and to rely on existing black-box solvers for every specific equation. Furthermore, when problems are non-linear, inner iterations need to be performed even in monolithic solvers, therefore making a sequential iterative approach a viable alternative. The cost of running inner iterations to achieve the coupling, however, could easily becomes prohibitive, or, in some cases the iterations might not converge. In this work we present a general formulation of splitting schemes for continuous operators, with arbitrary implicit/explicit splitting, like in standard iterative methods for linear systems. By introducing a generic relaxation operator we find the conditions for the convergence of the iterative schemes. We show how the relaxation operator can be thought as a preconditioner and constructed based on an approximate Schur-complement. We propose a Schur-based Partial Jacobi relaxation operator to stabilise the coupling and show its effectiveness. Although we mainly focus on scalar-scalar linear problems, most results are easily extended to non-linear and higher-dimensional problems. Numerical tests (1D and 2D) for two PDE systems, namely the Dual-Porosity model and a Quad-Laplacian operator, are carried out to confirm the theoretical results.


title: A Bootstrap Specification Test for Semiparametric Models with Generated Regressors

abstract: This paper provides a specification test for semiparametric models with nonparametrically generated regressors. Such variables are not observed by the researcher but are nonparametrically identified and estimable. Applications of the test include models with endogenous regressors identified by control functions, semiparametric sample selection models, or binary games with incomplete information. The statistic is built from the residuals of the semiparametric model. A novel wild bootstrap procedure is shown to provide valid critical values. We consider nonparametric estimators with an automatic bias correction that makes the test implementable without undersmoothing. In simulations the test exhibits good small sample performances, and an application to women's labor force participation decisions shows its implementation in a real data context.


title: Nervus: A Comprehensive Deep Learning Classification, Regression, and Prognostication Tool for both Medical Image and Clinical Data Analysis

abstract: The goal of our research is to create a comprehensive and flexible library that is easy to use for medical imaging research, and capable of handling grayscale images, multiple inputs (both images and tabular data), and multi-label tasks. We have named it Nervus. Based on the PyTorch library, which is suitable for AI for research purposes, we created a four-part model to handle comprehensive inputs and outputs. Nervus consists of four parts. First is the dataloader, then the feature extractor, the feature mixer, and finally the classifier. The dataloader preprocesses the input data, the feature extractor extracts the features between the training data and ground truth labels, feature mixer mixes the features of the extractors, and the classifier classifies the input data from feature mixer based on the task. We have created Nervus, which is a comprehensive and flexible model library that is easy to use for medical imaging research which can handle grayscale images, multi-inputs and multi-label tasks. This will be helpful for researchers in the field of radiology.


title: High Power Cyclotrons: The Bridge Between Beyond the Standard Model Physics, Computation, and Medical Applications

abstract: The IsoDAR cyclotron is a 60 MeV cyclotron designed to output 10mA of protons in order to be a driver for a neutrino experiment. Coupling the high flux generated by the IsoDAR system with a kiloton neutrino detector will provide sterile neutrino exclusion searches covering anomalous regions indicated by short baseline experiments. Simultaneously, the coupling of a high power target and kiloton detector allows for the investigation of dark matter candidates, namely axion-like particles. We have shown that nuclear excitations within the IsoDAR target create a unique opportunity to produce axions and detect monoenergetic peaks with the nearby kiloton detector. Beyond this, the high power produced by the IsoDAR cyclotron can be used for applications beyond particle physics. The IsoDAR cyclotron accelerates and extracts H$_2^+$, which allows the beam to be split downstream, a versatile and important development to alleviate the problem of producing high-power targets for the medical isotope community. This thesis presents a proposal for production of an more than an order of magnitude higher rates than are available at present for certain highly-need medical isotopes, including Ac-225. In this thesis, we report results from a multi-cusp ion source that meets these requirements and produces a record level of high purity, low emittance H$_2^+$ current. The second has been to design a radio-frequency quadrupole (RFQ) that will allow for gentle bunching of the high current before injection. This is the first use of axial direct injection with a compact cyclotron. This thesis reports the first application of machine learning to the RFQ design. These tools enable the high currents required by IsoDAR cyclotron, leading to important impact on the accelerator, medical, and physics communities.


title: What Makes for Good Tokenizers in Vision Transformer?

abstract: The architecture of transformers, which recently witness booming applications in vision tasks, has pivoted against the widespread convolutional paradigm. Relying on the tokenization process that splits inputs into multiple tokens, transformers are capable of extracting their pairwise relationships using self-attention. While being the stemming building block of transformers, what makes for a good tokenizer has not been well understood in computer vision. In this work, we investigate this uncharted problem from an information trade-off perspective. In addition to unifying and understanding existing structural modifications, our derivation leads to better design strategies for vision tokenizers. The proposed Modulation across Tokens (MoTo) incorporates inter-token modeling capability through normalization. Furthermore, a regularization objective TokenProp is embraced in the standard training regime. Through extensive experiments on various transformer architectures, we observe both improved performance and intriguing properties of these two plug-and-play designs with negligible computational overhead. These observations further indicate the importance of the commonly-omitted designs of tokenizers in vision transformer.


title: Balanced Split: A new train-test data splitting strategy for imbalanced datasets

abstract: Classification data sets with skewed class proportions are called imbalanced. Class imbalance is a problem since most machine learning classification algorithms are built with an assumption of equal representation of all classes in the training dataset. Therefore to counter the class imbalance problem, many algorithm-level and data-level approaches have been developed. These mainly include ensemble learning and data augmentation techniques. This paper shows a new way to counter the class imbalance problem through a new data-splitting strategy called balanced split. Data splitting can play an important role in correctly classifying imbalanced datasets. We show that the commonly used data-splitting strategies have some disadvantages, and our proposed balanced split has solved those problems.


title: Resonance expansion of quadratic quantities with regularized quasinormal modes

abstract: Resonance expansions are an intuitive approach to capture the interaction of an optical resonator with light. Here, we present a quasinormal mode expansion approach for quadratic observables exploiting the rigorous Riesz projection method. We demonstrate the approach by a numerical implementation of a state-of-the-art quantum light source and emphasize the ability of the approach to provide modal expansions outside the underlying nanophotonic resonator.


title: NP4G : Network Programming for Generalization

abstract: Automatic programming has been actively studied for a long time by various approaches including genetic programming. In recent years, automatic programming using neural networks such as GPT-3 has been actively studied and is attracting a lot of attention. However, these methods are illogical inference based on experience by enormous learning, and their thinking process is unclear. Even using the method by logical inference with a clear thinking process, the system that automatically generates any programs has not yet been realized. Especially, the inductive inference generalized by logical inference from one example is an important issue that the artificial intelligence can acquire knowledge by itself. In this study, we propose NP4G: Network Programming for Generalization, which can automatically generate programs by inductive inference. Because the proposed method can realize "sequence", "selection", and "iteration" in programming and can satisfy the conditions of the structured program theorem, it is expected that NP4G is a method automatically acquire any programs by inductive inference. As an example, we automatically construct a bitwise NOT operation program from several training data by generalization using NP4G. Although NP4G only randomly selects and connects nodes, by adjusting the number of nodes and the number of phase of "Phased Learning", we show the bitwise NOT operation programs are acquired in a comparatively short time and at a rate of about 7 in 10 running. The source code of NP4G is available on GitHub as a public repository.


title: A survey on text generation using generative adversarial networks

abstract: This work presents a thorough review concerning recent studies and text generation advancements using Generative Adversarial Networks. The usage of adversarial learning for text generation is promising as it provides alternatives to generate the so-called "natural" language. Nevertheless, adversarial text generation is not a simple task as its foremost architecture, the Generative Adversarial Networks, were designed to cope with continuous information (image) instead of discrete data (text). Thus, most works are based on three possible options, i.e., Gumbel-Softmax differentiation, Reinforcement Learning, and modified training objectives. All alternatives are reviewed in this survey as they present the most recent approaches for generating text using adversarial-based techniques. The selected works were taken from renowned databases, such as Science Direct, IEEEXplore, Springer, Association for Computing Machinery, and arXiv, whereas each selected work has been critically analyzed and assessed to present its objective, methodology, and experimental results.


title: Deep Learning for Inertial Sensor Alignment

abstract: Accurate alignment of a fixed mobile device equipped with inertial sensors inside a moving vehicle is important for navigation, activity recognition, and other applications. Accurate estimation of the device mounting angle is required to rotate the inertial measurement from the sensor frame to the moving platform frame to standardize measurements and improve the performance of the target task. In this work, a data-driven approach using deep neural networks (DNNs) is proposed to learn the yaw mounting angle of a smartphone equipped with an inertial measurement unit (IMU) and strapped to a car. The proposed model uses only the accelerometer and gyroscope readings from an IMU as input and, in contrast to existing solutions, does not require global position inputs from global navigation satellite systems (GNSS). To train the model in a supervised manner, IMU data is collected for training and validation with the sensor mounted at a known yaw mounting angle, and a range of ground truth labels is generated by applying a random rotation in a bounded range to the measurements. The trained model is tested on data with real rotations showing similar performance as with synthetic rotations. The trained model is deployed on an Android device and evaluated in real-time to test the accuracy of the estimated yaw mounting angle. The model is shown to find the mounting angle at an accuracy of 8 degrees within 5 seconds, and 4 degrees within 27 seconds. An experiment is conducted to compare the proposed model with an existing off-the-shelf solution.


title: Religion and Spirituality on Social Media in the Aftermath of the Global Pandemic

abstract: During the COVID-19 pandemic, the Church closed its physical doors for the first time in about 800 years, which is, arguably, a cataclysmic event. Other religions have found themselves in a similar situation, and they were practically forced to move online, which is an unprecedented occasion. In this paper, we analyse this sudden change in religious activities twofold: we create and deliver a questionnaire, as well as analyse Twitter data, to understand people's perceptions and activities related to religious activities online. Importantly, we also analyse the temporal variations in this process by analysing a period of 3 months: July-September 2020. Additionally to the separate analysis of the two data sources, we also discuss the implications from triangulating the results.


title: Diamond Abrasive Electroplated Surface Anomaly Detection using Convolutional Neural Networks for Industrial Quality Inspection

abstract: Electroplated diamond abrasive tools require nickel coating on a metal surface for abrasive bonding and part functionality. The electroplated nickel-coated abrasive tool is expected to have a high-quality part performance by having a nickel coating thickness of between 50% to 60% of the abrasive median diameter, uniformity of the nickel layer, abrasive distribution over the electroplated surface, and bright gloss. Electroplating parameters are set accordingly for this purpose. Industrial quality inspection for defects of these abrasive electroplated parts with optical inspection instruments is extremely challenging due to the diamond's light refraction, dispersion nature, and reflective bright nickel surface. The difficulty posed by this challenge requires parts to be quality inspected manually with an eye loupe that is subjective and costly. In this study, we use a Convolutional Neural Network (CNN) model in the production line to detect abrasive electroplated part anomalies allowing us to fix or eliminate those parts or elements that are in bad condition from the production chain and ultimately reduce manual quality inspection cost. We used 744 samples to train our model. Our model successfully identified over 99% of the parts with an anomaly. Keywords: Artificial Intelligence, Anomaly Detection, Industrial Quality Inspection, Electroplating, Diamond Abrasive Tool


title: THMA: Tencent HD Map AI System for Creating HD Map Annotations

abstract: Nowadays, autonomous vehicle technology is becoming more and more mature. Critical to progress and safety, high-definition (HD) maps, a type of centimeter-level map collected using a laser sensor, provide accurate descriptions of the surrounding environment. The key challenge of HD map production is efficient, high-quality collection and annotation of large-volume datasets. Due to the demand for high quality, HD map production requires significant manual human effort to create annotations, a very time-consuming and costly process for the map industry. In order to reduce manual annotation burdens, many artificial intelligence (AI) algorithms have been developed to pre-label the HD maps. However, there still exists a large gap between AI algorithms and the traditional manual HD map production pipelines in accuracy and robustness. Furthermore, it is also very resource-costly to build large-scale annotated datasets and advanced machine learning algorithms for AI-based HD map automatic labeling systems. In this paper, we introduce the Tencent HD Map AI (THMA) system, an innovative end-to-end, AI-based, active learning HD map labeling system capable of producing and labeling HD maps with a scale of hundreds of thousands of kilometers. In THMA, we train AI models directly from massive HD map datasets via supervised, self-supervised, and weakly supervised learning to achieve high accuracy and efficiency required by downstream users. THMA has been deployed by the Tencent Map team to provide services to downstream companies and users, serving over 1,000 labeling workers and producing more than 30,000 kilometers of HD map data per day at most. More than 90 percent of the HD map data in Tencent Map is labeled automatically by THMA, accelerating the traditional HD map labeling process by more than ten times.


title: An AI-Powered VVPAT Counter for Elections in India

abstract: The Election Commission of India has introduced Voter Verified Paper Audit Trail since 2019. This mechanism has increased voter confidence at the time of casting the votes. However, physical verification of the VVPATs against the party level counts from the EVMs is done only in 5 (randomly selected) machines per constituency. The time required to conduct physical verification becomes a bottleneck in scaling this activity for 100% of machines in all constituencies. We proposed an automated counter powered by image processing and machine learning algorithms to speed up the process and address this issue.


title: A new weighted ensemble model for phishing detection based on feature selection

abstract: A phishing attack is a sort of cyber assault in which the attacker sends fake communications to entice a human victim to provide personal information or credentials. Phishing website identification can assist visitors in avoiding becoming victims of these assaults. The phishing problem is increasing day by day, and there is no single solution that can properly mitigate all vulnerabilities, thus many techniques are used. In this paper, We have proposed an ensemble model that combines multiple base models with a voting technique based on the weights. Moreover, we applied feature selection methods and standardization on the dataset effectively and compared the result before and after applying any feature selection.


title: Chatbots in a Botnet World

abstract: Question-and-answer formats provide a novel experimental platform for investigating cybersecurity questions. Unlike previous chatbots, the latest ChatGPT model from OpenAI supports an advanced understanding of complex coding questions. The research demonstrates thirteen coding tasks that generally qualify as stages in the MITRE ATT&CK framework, ranging from credential access to defense evasion. With varying success, the experimental prompts generate examples of keyloggers, logic bombs, obfuscated worms, and payment-fulfilled ransomware. The empirical results illustrate cases that support the broad gain of functionality, including self-replication and self-modification, evasion, and strategic understanding of complex cybersecurity goals. One surprising feature of ChatGPT as a language-only model centers on its ability to spawn coding approaches that yield images that obfuscate or embed executable programming steps or links.


title: Recommending Solution Paths for Solving Optimization Problems with Quantum Computing

abstract: Solving real-world optimization problems with quantum computing requires choosing between a large number of options concerning formulation, encoding, algorithm and hardware. Finding good solution paths is challenging for end users and researchers alike. We propose a framework designed to identify and recommend the best-suited solution paths. This introduces a novel abstraction layer that is required to make quantum-computing-assisted solution techniques accessible to end users without requiring a deeper knowledge of quantum technologies. State-of-the-art hybrid algorithms, encoding and decomposition techniques can be integrated in a modular manner and evaluated using problem-specific performance metrics. Equally, tools for the graphical analysis of variational quantum algorithms are developed. Classical, fault tolerant quantum and quantum-inspired methods can be included as well to ensure a fair comparison resulting in useful solution paths. We demonstrate and validate our approach on a selected set of options and illustrate its application on the capacitated vehicle routing problem (CVRP). We also identify crucial requirements and the major design challenges for the proposed automation layer within a quantum-assisted solution workflow for optimization problems.


title: BDSP: A Fair Blockchain-enabled Framework for Privacy-Enhanced Enterprise Data Sharing

abstract: Across industries, there is an ever-increasing rate of data sharing for collaboration and innovation between organizations and their customers, partners, suppliers, and internal teams. However, many enterprises are restricted from freely sharing data due to regulatory restrictions across different regions, performance issues in moving large volume data, or requirements to maintain autonomy. In such situations, the enterprise can benefit from the concept of federated learning, in which machine learning models are constructed at various geographic sites. In this paper, we introduce a general framework, namely BDSP, to share data among enterprises based on Blockchain and federated learning techniques. Specifically, we propose a transparency contribution accounting mechanism to estimate the valuation of data and implement a proof-of-concept for further evaluation. The extensive experimental results show that the proposed BDSP has a competitive performance with higher training accuracy, an increase of over 5%, and lower communication overhead, reducing 3 times, compared to baseline approaches.


title: Arctic curves of the 20V model on a triangle

abstract: We apply the Tangent Method of Colomo and Sportiello to predict the arctic curves of the Twenty Vertex model with specific domain wall boundary conditions on a triangle, in the Disordered phase, leading to a phase diagram with six types of frozen phases and one liquid one. The result relies on a relation to the Six Vertex model with domain wall boundary conditions and suitable weights, as a consequence of integrability. We also perform the exact refined enumeration of configurations.


title: Towards dynamic stability analysis of sustainable power grids using graph neural networks

abstract: To mitigate climate change, the share of renewable needs to be increased. Renewable energies introduce new challenges to power grids due to decentralization, reduced inertia and volatility in production. The operation of sustainable power grids with a high penetration of renewable energies requires new methods to analyze the dynamic stability. We provide new datasets of dynamic stability of synthetic power grids and find that graph neural networks (GNNs) are surprisingly effective at predicting the highly non-linear target from topological information only. To illustrate the potential to scale to real-sized power grids, we demonstrate the successful prediction on a Texan power grid model.


title: Parameter estimation of eccentric gravitational waves with a decihertz observatory and its cosmological implications

abstract: Eccentricity of compact binaries can improve the parameter estimation of gravitational waves (GWs). In this paper, we first investigate the parameter estimation of eccentric GWs with decihertz observatory. We consider two scenarios for the configuration of DECIGO, i.e., the one cluster of DECIGO with its design sensitivity and B-DECIGO which also has one cluster but with inferior sensitivity as a comparison. We adopt the Fisher matrix to estimate the parameter errors. By mocking up the typical binaries in GWTC-3, we find a nonvanishing eccentricity can significantly improve the estimation for almost all waveform parameters. In particular, the localization of typical binary black holes (BBH) can achieve $\mathcal{O}(10-10^{3.5})$ factors of improvement when the initial eccentricity $e_0=0.4$ at 0.1 Hz. The precise localization of binary neutron stars (BNS) and neutron star--black hole binaries (NSBH), together with the large improvement of localization of BBH from eccentricity in the mid-band, inspire us to construct the catalogs of golden dark sirens whose host galaxies can be uniquely identified. We find that with only one cluster of DECIGO running 1 year in its design sensitivity, hundreds of golden dark BNS, NSBH, and tens of golden dark BBH can be observed. Eccentricity can greatly increase the population of golden dark BBH from $\sim 7~(e_0=0)$ to $\sim 65~(e_0=0.2)$. Such an increase of population of golden dark BBH events can improve the precision of Hubble constant measurement from 2.06\% to 0.68\%, matter density parameter from 64\% to 16\% in $\Lambda$CDM model. Through the phenomenological parameterization of GW propagation, the constraints of modified gravity can be improved from 6.2\% to 1.6\%. Our results show the remarkable significance of eccentricity for the detection and parameter estimation of GW events, allowing us to probe the Universe precisely.


title: Quantum Annealing Learning Search Implementations

abstract: This paper presents the details and testing of two implementations (in C++ and Python) of the hybrid quantum-classical algorithm Quantum Annealing Learning Search (QALS) on a D-Wave quantum annealer. QALS was proposed in 2019 as a novel technique to solve general QUBO problems that cannot be directly represented into the hardware architecture of a D-Wave machine. Repeated calls to the quantum machine within a classical iterative structure and a related convergence proof originate a learning mechanism to find an encoding of a given problem into the quantum architecture. The present work considers the Number Partitioning Problem (NPP) and the Travelling Salesman Problem (TSP) for the testing of QALS. The results turn out to be quite unexpected, with QALS not being able to perform as well as the other considered methods, especially in NPP, where classical methods outperform quantum annealing in general. Nevertheless, looking at the TSP tests, QALS has fulfilled its primary goal, i.e., processing QUBO problems not directly mappable to the QPU topology.


title: Device-Bind Key-Storageless Hardware AI Model IP Protection: A PUF and Permute-Diffusion Encryption-Enabled Approach

abstract: Machine learning as a service (MLaaS) framework provides intelligent services or well-trained artificial intelligence (AI) models for local devices. However, in the process of model transmission and deployment, there are security issues, i.e. AI model leakage due to the unreliable transmission environments and illegal abuse at local devices without permission. Although existing works study the intellectual property (IP) protection of AI models, they mainly focus on the watermark-based and encryption-based methods and have the following problems: (i) The watermark-based methods only provide passive verification afterward rather than active protection. (ii) Encryption-based methods are low efficiency in computation and low security in key storage. (iii) The existing methods are not device-bind without the ability to avoid illegal abuse of AI models. To deal with these problems, we propose a device-bind and key-storageless hardware AI model IP protection mechanism. First, a physical unclonable function (PUF) and permute-diffusion encryption-based AI model protection framework is proposed, including the PUF-based secret key generation and the geometric-value transformation-based weights encryption. Second, we design a PUF-based key generation protocol, where delay-based Anderson PUF is adopted to generate the derive-bind secret key. Besides, convolutional coding and convolutional interleaving technologies are combined to improve the stability of PUF-based key generation and reconstruction. Third, a permute and diffusion-based intelligent model weights encryption/decryption method is proposed to achieve effective IP protection, where chaos theory is utilized to convert the PUF-based secret key to encryption/decryption keys. Finally, experimental evaluation demonstrates the effectiveness of the proposed intelligent model IP protection mechanism.


title: Generating music with sentiment using Transformer-GANs

abstract: The field of Automatic Music Generation has seen significant progress thanks to the advent of Deep Learning. However, most of these results have been produced by unconditional models, which lack the ability to interact with their users, not allowing them to guide the generative process in meaningful and practical ways. Moreover, synthesizing music that remains coherent across longer timescales while still capturing the local aspects that make it sound ``realistic'' or ``human-like'' is still challenging. This is due to the large computational requirements needed to work with long sequences of data, and also to limitations imposed by the training schemes that are often employed. In this paper, we propose a generative model of symbolic music conditioned by data retrieved from human sentiment. The model is a Transformer-GAN trained with labels that correspond to different configurations of the valence and arousal dimensions that quantitatively represent human affective states. We try to tackle both of the problems above by employing an efficient linear version of Attention and using a Discriminator both as a tool to improve the overall quality of the generated music and its ability to follow the conditioning signals.


title: Array-Aware Matching: Taming the Complexity of Large-Scale Simulation Models

abstract: Equation-based modelling is a powerful approach to tame the complexity of large-scale simulation problems. Equation-based tools automatically translate models into imperative languages. When confronted with nowadays' problems, however, well assessed model translation techniques exhibit scalability issues, that are particularly severe when models contain very large arrays. In fact, such models can be made very compact by enclosing equations into looping constructs, but reflecting the same compactness into the translated imperative code is not trivial. In this paper, we face this issue by concentrating on a key step of equations-to-code translation, the equation/variable matching. We first show that an efficient translation of models with (large) arrays needs awareness of their presence, by defining a figure of merit to measure how much the looping constructs are preserved along the translation. We then show that the said figure of merit allows to define an optimal array-aware matching, and as our main result, that the so stated optimal array-aware matching problem is NP-complete. As an additional result, we propose a heuristic algorithm capable of performing array-aware matching in polynomial time. The proposed algorithm can be proficiently used by model translator developers in the implementation of efficient tools for large-scale system simulation.


title: It is not "accuracy vs. explainability" -- we need both for trustworthy AI systems

abstract: We are witnessing the emergence of an AI economy and society where AI technologies are increasingly impacting health care, business, transportation and many aspects of everyday life. Many successes have been reported where AI systems even surpassed the accuracy of human experts. However, AI systems may produce errors, can exhibit bias, may be sensitive to noise in the data, and often lack technical and judicial transparency resulting in reduction in trust and challenges in their adoption. These recent shortcomings and concerns have been documented in scientific but also in general press such as accidents with self driving cars, biases in healthcare, hiring and face recognition systems for people of color, seemingly correct medical decisions later found to be made due to wrong reasons etc. This resulted in emergence of many government and regulatory initiatives requiring trustworthy and ethical AI to provide accuracy and robustness, some form of explainability, human control and oversight, elimination of bias, judicial transparency and safety. The challenges in delivery of trustworthy AI systems motivated intense research on explainable AI systems (XAI). Aim of XAI is to provide human understandable information of how AI systems make their decisions. In this paper we first briefly summarize current XAI work and then challenge the recent arguments of accuracy vs. explainability for being mutually exclusive and being focused only on deep learning. We then present our recommendations for the use of XAI in full lifecycle of high stakes trustworthy AI systems delivery, e.g. development, validation and certification, and trustworthy production and maintenance.


title: The resonance fluorescence cascade of a laser-excited two-level atom

abstract: The cascade of fluorescence photons by a two-level atom excited by coherent laser light is reviewed. The discussion emphasizes the random nature of resonance fluorescence and uses the distribution of delays between two successively emitted photons as the primary characterization of the process. Other characterizations such as photon counting and photon correlation are deduced.


title: QVIP: An ILP-based Formal Verification Approach for Quantized Neural Networks

abstract: Deep learning has become a promising programming paradigm in software development, owing to its surprising performance in solving many challenging tasks. Deep neural networks (DNNs) are increasingly being deployed in practice, but are limited on resource-constrained devices owing to their demand for computational power. Quantization has emerged as a promising technique to reduce the size of DNNs with comparable accuracy as their floating-point numbered counterparts. The resulting quantized neural networks (QNNs) can be implemented energy-efficiently. Similar to their floating-point numbered counterparts, quality assurance techniques for QNNs, such as testing and formal verification, are essential but are currently less explored. In this work, we propose a novel and efficient formal verification approach for QNNs. In particular, we are the first to propose an encoding that reduces the verification problem of QNNs into the solving of integer linear constraints, which can be solved using off-the-shelf solvers. Our encoding is both sound and complete. We demonstrate the application of our approach on local robustness verification and maximum robustness radius computation. We implement our approach in a prototype tool QVIP and conduct a thorough evaluation. Experimental results on QNNs with different quantization bits confirm the effectiveness and efficiency of our approach, e.g., two orders of magnitude faster and able to solve more verification tasks in the same time limit than the state-of-the-art methods.


title: High accuracy synchrotron radiation interferometry with relativistic electrons

abstract: A high-precision hypernuclear experiment has been performed at the Mainz Microtron (MAMI) to determine the hypertriton {\Lambda} binding energy via decay-pion spectroscopy. A key element of this measurement is an accurate calibration of the magnetic spectrometers with the MAMI beam. For such an absolute calibration with small statistical and systematic uncertainties the undulator light interference method will be applied. In this contribution the basic principle of this method is discussed and the analysis status of the measured synchrotron radiation spectra is presented


title: Benchmarking Large Language Models for Automated Verilog RTL Code Generation

abstract: Automating hardware design could obviate a significant amount of human error from the engineering process and lead to fewer errors. Verilog is a popular hardware description language to model and design digital systems, thus generating Verilog code is a critical first step. Emerging large language models (LLMs) are able to write high-quality code in other programming languages. In this paper, we characterize the ability of LLMs to generate useful Verilog. For this, we fine-tune pre-trained LLMs on Verilog datasets collected from GitHub and Verilog textbooks. We construct an evaluation framework comprising test-benches for functional analysis and a flow to test the syntax of Verilog code generated in response to problems of varying difficulty. Our findings show that across our problem scenarios, the fine-tuning results in LLMs more capable of producing syntactically correct code (25.9% overall). Further, when analyzing functional correctness, a fine-tuned open-source CodeGen LLM can outperform the state-of-the-art commercial Codex LLM (6.5% overall). Training/evaluation scripts and LLM checkpoints are available: https://github.com/shailja-thakur/VGen.


title: Reservoir Computing Using Complex Systems

abstract: Reservoir Computing is an emerging machine learning framework which is a versatile option for utilising physical systems for computation. In this paper, we demonstrate how a single node reservoir, made of a simple electronic circuit, can be employed for computation and explore the available options to improve the computational capability of the physical reservoirs. We build a reservoir computing system using a memristive chaotic oscillator as the reservoir. We choose two of the available hyperparameters to find the optimal working regime for the reservoir, resulting in two reservoir versions. We compare the performance of both the reservoirs in a set of three non-temporal tasks: approximating two non-chaotic polynomials and a chaotic trajectory of the Lorenz time series. We also demonstrate how the dynamics of the physical system plays a direct role in the reservoir's hyperparameters and hence in the reservoir's prediction ability.


title: BaCO: A Fast and Portable Bayesian Compiler Optimization Framework

abstract: We introduce the Bayesian Compiler Optimization framework (BaCO), a general purpose autotuner for modern compilers targeting CPUs, GPUs, and FPGAs. BaCO provides the flexibility needed to handle the requirements of modern autotuning tasks. Particularly, it deals with permutation, ordered, and continuous parameter types along with both known and unknown parameter constraints. To reason about these parameter types and efficiently deliver high-quality code, BaCO uses Bayesian optimiza tion algorithms specialized towards the autotuning domain. We demonstrate BaCO's effectiveness on three modern compiler systems: TACO, RISE & ELEVATE, and HPVM2FPGA for CPUs, GPUs, and FPGAs respectively. For these domains, BaCO outperforms current state-of-the-art autotuners by delivering on average 1.36x-1.56x faster code with a tiny search budget, and BaCO is able to reach expert-level performance 2.9x-3.9x faster.


title: Efficient First-order Methods for Convex Optimization with Strongly Convex Function Constraints

abstract: In this paper, we introduce faster first-order primal-dual algorithms for minimizing a convex function subject to strongly convex function constraints. Before our work, the best complexity bound was $\mathcal{O}(1/{\varepsilon})$, and it remains unclear how to improve this result by leveraging the strong convexity assumption. We address this issue by developing novel techniques to progressively estimate the strong convexity of the Lagrangian function. Our approach yields an improved complexity of $\mathcal{O}(1/\sqrt{\varepsilon})$, matching the complexity lower bound for strongly-convex-concave saddle point optimization. We show the superior performance of our methods in sparsity-inducing constrained optimization, notably Google's personalized PageRank problem. Furthermore, we show that a restarted version of the proposed methods can effectively identify the sparsity pattern of the optimal solution within a finite number of steps, a result that appears to have independent significance.


title: QuOCS: The Quantum Optimal Control Suite

abstract: Quantum optimal control includes the family of pulse-shaping algorithms that aim to unlock the full potential of a variety of quantum technologies. Our Quantum Optimal Control Suite (QuOCS) unites experimental focus and model-based approaches in a unified framework. The easy usage and installation of QuOCS and the availability of various combinable optimization strategies is designed to improve the performance of many quantum technology platforms, such as color defects in diamond, superconducting qubits, atom- or ion-based quantum computers. It can also be applied to the study of more general phenomena in physics. In this paper, we describe the software and the main toolbox of gradient-free and gradient-based algorithms. We then show how the user can connect it to their experiment. In addition, we provide illustrative examples where our optimization suite solves typical quantum optimal control problems, in both open- and closed-loop settings. Integration into existing experimental control software is already provided for the experiment control software Qudi [J. M. Binder et al., SoftwareX, 6, 85-90, (2017)], and further extensions are investigated and highly encouraged. QuOCS is available from GitHub, under Apache License 2.0, and can be found on the PyPI repository.


title: Bose polaron interactions in a cavity-coupled monolayer semiconductor

abstract: The interaction between a mobile quantum impurity and a bosonic bath leads to the formation of quasiparticles, termed Bose polarons. The elementary properties of Bose polarons, such as their mutual interactions, can differ drastically from those of the bare impurities. Here, we explore Bose polaron physics in a two-dimensional nonequilibrium setting by injecting $\sigma^-$ polarised exciton-polariton impurities into a bath of coherent $\sigma^+$ polarised polaritons generated by resonant laser excitation of monolayer MoSe$_2$ embedded in an optical cavity. By exploiting a biexciton Feshbach resonance between the impurity and the bath polaritons, we tune the interacting system to the strong-coupling regime and demonstrate the coexistence of two new quasiparticle branches. Using time-resolved pump-probe measurements we observe how polaron dressing modifies the interaction between impurity polaritons. Remarkably, we find that the interactions between high-energy polaron quasiparticles, that are repulsive for small bath occupancy, can become attractive in the strong impurity-bath coupling regime. Our experiments provide the first direct measurement of Bose polaron-polaron interaction strength in any physical system and pave the way for exploration and control of many-body correlations in driven-dissipative settings.


title: The Challenges of HTR Model Training: Feedback from the Project Donner le gout de l'archive a l'ere numerique

abstract: The arrival of handwriting recognition technologies offers new possibilities for research in heritage studies. However, it is now necessary to reflect on the experiences and the practices developed by research teams. Our use of the Transkribus platform since 2018 has led us to search for the most significant ways to improve the performance of our handwritten text recognition (HTR) models which are made to transcribe French handwriting dating from the 17th century. This article therefore reports on the impacts of creating transcribing protocols, using the language model at full scale and determining the best way to use base models in order to help increase the performance of HTR models. Combining all of these elements can indeed increase the performance of a single model by more than 20% (reaching a Character Error Rate below 5%). This article also discusses some challenges regarding the collaborative nature of HTR platforms such as Transkribus and the way researchers can share their data generated in the process of creating or training handwritten text recognition models.


title: Extended Addressing Machines for PCF, with Explicit Substitutions

abstract: Addressing machines have been introduced as a formalism to construct models of the pure, untyped lambda-calculus. We extend the syntax of their programs by adding instructions for executing arithmetic operations on natural numbers, and introduce a reflection principle allowing certain machines to access their own address and perform recursive calls. We prove that the resulting extended addressing machines naturally model a weak call-by-name PCF with explicit substitutions. Finally, we show that they are also well-suited for representing regular PCF programs (closed terms) computing natural numbers.


title: Charm fluctuations in (2+1)-flavor QCD at high temperature

abstract: Using the high statistics datasets of the HotQCD Collaboration, generated with the HISQ (2+1)-flavor action for light and strange quarks, and treating the charm sector in the quenched approximation, we analyze the second and fourth order cumulants of charm fluctuations and the correlations of charm with lighter conserved flavor quantum numbers. We can make use of a factor 100 larger statistics on ${N_\tau =8}$ lattices which never have been used in studies of charm fluctuations. Analyzing correlations of charm fluctuations with baryon number and electric charge fluctuations we can project onto charmed baryon and meson correlations and compare results with quark model extended hadron resonance gas model calculations. We aim at a precise determination of the dissociation temperature of charmed hadrons and will probe the sensitivity of the fluctuations observables to the presence of multiple-charmed baryons.


title: New presences of $\pi$ and $e$ in Pascal's triangle

abstract: The following work shows new connections between the constants $\pi$ and $e$ with Pascal's triangle and the Lucas triangle, established via Fibonacci polynomials and similar means. Furthermore, relations between the two famous constants and the rows of Pascal's triangle and the Lucas triangle are conjectured, together with some other important related identities.


title: Frequency stability and phase noise measurements of a 5,860 km-long intercontinental seafloor optical fibre cable

abstract: Optical clock comparison via optical fibre links has been achieved over continental scales, but has not yet been demonstrated intercontinentally. The transfer of ultra-stable optical frequencies over transoceanic distances is a challenging task, as the seafloor cable architecture prevents the use of environmental noise suppression techniques currently employed on land-based metrological links. As a fundamental first step towards devising suitable frequency transfer techniques to enable future clock comparison on a global scale, here we show the free-running frequency stability and phase noise measurements of a transatlantic seafloor optical link between the UK and Canada. To the best of our knowledge, these are the first ever measurements of an intercontinental optical fibre link.


title: Template-Based Conjecturing for Automated Induction in Isabelle/HOL

abstract: Proof by induction plays a central role in formal verification. However, its automation remains as a formidable challenge in Computer Science. To solve inductive problems, human engineers often have to provide auxiliary lemmas manually. We automate this laborious process with template-based conjecturing, a novel approach to generate auxiliary lemmas and use them to prove final goals. Our evaluation shows that our working prototype, TBC, achieved 40 percentage point improvement of success rates for problems at intermediate difficulty level.


title: OpenPack: A Large-scale Dataset for Recognizing Packaging Works in IoT-enabled Logistic Environments

abstract: Unlike human daily activities, existing publicly available sensor datasets for work activity recognition in industrial domains are limited by difficulties in collecting realistic data as close collaboration with industrial sites is required. This also limits research on and development of methods for industrial applications. To address these challenges and contribute to research on machine recognition of work activities in industrial domains, in this study, we introduce a new large-scale dataset for packaging work recognition called OpenPack. OpenPack contains 53.8 hours of multimodal sensor data, including acceleration data, keypoints, depth images, and readings from IoT-enabled devices (e.g., handheld barcode scanners), collected from 16 distinct subjects with different levels of packaging work experience. We apply state-of-the-art human activity recognition techniques to the dataset and provide future directions of complex work activity recognition studies in the pervasive computing community based on the results. We believe that OpenPack will contribute to the sensor-based action/activity recognition community by providing challenging tasks. The OpenPack dataset is available at https://open-pack.github.io.


title: New generalization of geodesic convex function

abstract: As a generalization of geodesic function, this paper introduces the notion of geodesic $ \varphi_{E} $-convex function. Some properties of $ \varphi_{E} $-convex function and geodesic $ \varphi_{E} $-convex function are established. The concepts of geodesic $ \varphi_{E} $-convex set and $ \varphi_{E} $-epigraph are equally given. The characterization of geodesic $ \varphi_{E} $-convex functions in terms of their $ \varphi_{E} $-epigraphs are also obtained.


title: Tydi-lang: a language for typed streaming hardware -- A manual for future Tydi-lang compiler developers

abstract: Transferring composite data structures with variable-length fields often requires designing non-trivial protocols that are not compatible between hardware designs. When each project designs its own data format and protocols the ability to collaborate between hardware developers is diminished, which is an issue especially in the open-source community. Because the high-level meaning of a protocol is often lost in translation to low-level languages when a custom protocol needs to be designed, extra documentation is required, the interpretation of which introduces new opportunities for errors. The Tydi specification (Tydi-spec) was proposed to address the above issues by codifying the composite and variable-length data structures in a type and providing a standard protocol to transfer typed data among hardware components. The Tydi intermediate representation (Tydi-IR) extends the Tydi-spec by defining typed interfaces, typed components, and connections among typed components. In this thesis, we propose Tydi-lang, a high-level hardware description language (HDL) for streaming designs. The language incorporates Tydi-spec to describe typed streams and provides templates to describe abstract reusable components. We also implement an open-source compiler from Tydi-lang to Tydi-IR. We leverage a Tydi-IR to VHDL compiler, and also present a simulator blueprint to identify streaming bottlenecks. We show several Tydi-lang examples to translate high-level SQL to VHDL to demonstrate that Tydi-lang can efficiently raise the level of abstraction and reduce design effort.


title: Robust Path Selection in Software-defined WANs using Deep Reinforcement Learning

abstract: In the context of an efficient network traffic engineering process where the network continuously measures a new traffic matrix and updates the set of paths in the network, an automated process is required to quickly and efficiently identify when and what set of paths should be used. Unfortunately, the burden of finding the optimal solution for the network updating process in each given time interval is high since the computation complexity of optimization approaches using linear programming increases significantly as the size of the network increases. In this paper, we use deep reinforcement learning to derive a data-driven algorithm that does the path selection in the network considering the overhead of route computation and path updates. Our proposed scheme leverages information about past network behavior to identify a set of robust paths to be used for multiple future time intervals to avoid the overhead of updating the forwarding behavior of routers frequently. We compare the results of our approach to other traffic engineering solutions through extensive simulations across real network topologies. Our results demonstrate that our scheme fares well by a factor of 40% with respect to reducing link utilization compared to traditional TE schemes such as ECMP. Our scheme provides a slightly higher link utilization (around 25%) compared to schemes that only minimize link utilization and do not care about path updating overhead.


title: Injectivity, stability, and positive definiteness of max filtering

abstract: Given a real inner product space V and a group G of linear isometries, max filtering offers a rich class of G-invariant maps. In this paper, we identify nearly sharp conditions under which these maps injectively embed the orbit space V/G into Euclidean space, and when G is finite, we estimate the map's distortion of the quotient metric. We also characterize when max filtering is a positive definite kernel.


title: High-resolution electric field and temperature distributions in positive streamers

abstract: In this work, we aim to take a detailed experimental picture of the positive streamer. We apply optical emission spectroscopy to the first negative system (FNS, ${\rm B}^2\Sigma_{\rm u}^+\rightarrow {\rm X}^2\Sigma_{\rm g}^+$) of N$_2^+$ and the second positive system (SPS, ${\rm C}^3\Pi_{\rm u}\rightarrow {\rm B}^3\Pi_{\rm g}$) of N$_2$. Large, centimeter wide, and highly reproducible streamers are created in pure nitrogen and synthetic air, at pressures ranging from 33 to 266\,mbar. Direct time resolved spectral imaging of the space charge layer resulted in spatiotemporal maps of the calculated reduced electric field strength ($E/N$) and rovibrational temperature in sub-nanosecond and sub-millimetre resolution. The $E/N$ peaks at approximately 540 and 480\,Td, directly in front of the space charge layer, for synthetic air and pure nitrogen respectively, as determined by using the intensity ratio method of FNS and SPS. A global model for pure nitrogen in PLASIMO uses the experimentally determined $E/N$ distribution to draw a picture of the gas kinetics around the space charge layer passage. In addition, the results of the global model serve as a reference to interpret the rotational and vibrational temperatures obtained from experimental FNS and SPS emissions, which emphasize the streamers' non-equilibrium gas heating.


title: RobTL: A Temporal Logic for the Robustness of Cyber-Physical Systems

abstract: We propose the Robustness Temporal Logic (RobTL), a novel temporal logic for the specification and analysis of distances between the behaviours of Cyber-Physical Systems (CPSs) over a finite time horizon. Differently from classical temporal logic expressing properties on the behaviour of a system, we can use RobTL specifications to measure the differences in the behaviours of systems with respect to various objectives and temporal constraints, and to study how those differences evolve in time. Since the behaviour of CPSs is inevitably subject to uncertainties and approximations, we show how the unique features of RobTL allow us to specify property of robustness of systems against perturbations, i.e., their capability to function correctly even under the effect of perturbations. Given the probabilistic nature of CPSs, our model checking algorithm for RobTL specifications is based on statistical inference. As an example of an application of our framework, we consider a supervised, self-coordinating engine system that is subject to attacks aimed at inflicting overstress of equipment.


title: Plasmoids, Flows, and Jets During Magnetic Reconnection in a Failed Solar Eruption

abstract: We report a detailed analysis of a failed eruption and flare in active region 12018 on 2014 April 3 using multiwavelength observations from SDO/AIA, IRIS, STEREO, and Hinode/SOT. At least four jets were observed to emanate from the cusp of this small active region (large bright point) with a null-point topology during the two hours prior to the slow rise of a filament. During the filament slow rise multiple plasma blobs were seen, most likely formed in a null-point current sheet near the cusp. The subsequent filament eruption, which was outside the IRIS field of view, was accompanied by a flare but remained confined. During the explosive flare reconnection phase, additional blobs appeared repetitively and moved bidirectionally within the flaring region below the erupting filament. The filament kinked, rotated, and underwent leg-leg reconnection as it rose, yet it failed to produce a coronal mass ejection. Tiny jet-like features in the fan loops were detected during the filament slow-rise/pre-flare phase. We interpret them as signatures of reconnection between the ambient magnetic field and the plasmoids leaving the null-point sheet and streaming along the fan loops. We contrast our interpretation of these tiny jets, which occur within the large-scale context of a failed filament eruption, with the local nanoflare-heating scenario proposed by Antolin et al. (2021).


title: The generalized fractional KdV equation in weighted Sobolev spaces

abstract: This work concerns the study of persistence property in polynomial weighted spaces for solutions of the generalized fractional KdV equation in any spatial dimension $d\geq 1$. By establishing well-posedness results in conjunction with some asymptotic at infinity unique continuation principles, it is verified that dispersive effects and dimensionality mainly determine the maximum spatial decay allowed by solutions of this model. In particular, we recover and extend some known results on weighted spaces for different models such as the Benjamin-Ono equation, and the dispersion generalized Benjamin-Ono equation. The estimates obtained for the linear equation seem to be of independent interest, and they are useful to obtain persistence properties in weighted spaces for models with different nonlinearities as the fractional KdV equation with combined nonlinearities.


title: Josephson effect in excitonic chiral double layers

abstract: Considering s-wave pairing in an electron-hole double layer of two chiral metals, we study the Josephson effect generated by a domain wall. The latter, which is caused by a jump of the order parameter phase, creates two independent evanescent zero-energy modes at an exceptional point. A unique solution is found by coupling the quasiparticle currents to the supercurrents via the continuity equation. This leads to a superposition of the zero-energy modes, where the relative phases of the coefficients are linked to the direction of the macroscopic supercurrents. Assuming a toroidal geometry, the effective Josephson current winds around the domain walls. Such a system can be realized as the surface of a ring-shaped topological insulator.


title: Homo in Machina: Improving Fuzz Testing Coverage via Compartment Analysis

abstract: Fuzz testing is often automated, but also frequently augmented by experts who insert themselves into the workflow in a greedy search for bugs. In this paper, we propose Homo in Machina, or HM-fuzzing, in which analyses guide the manual efforts, maximizing benefit. As one example of this paradigm, we introduce compartment analysis. Compartment analysis uses a whole-program dominator analysis to estimate the utility of reaching new code, and combines this with a dynamic analysis indicating drastically under-covered edges guarding that code. This results in a prioritized list of compartments, i.e., large, uncovered parts of the program semantically partitioned and largely unreachable given the current corpus of inputs under consideration. A human can use this categorization and ranking of compartments directly to focus manual effort, finding or fashioning inputs that make the compartments available for future fuzzing. We evaluate the effect of compartment analysis on seven projects within the OSS-Fuzz corpus where we see coverage improvements over AFL++ as high as 94%, with a median of 13%. We further observe that the determination of compartments is highly stable and thus can be done early in a fuzzing campaign, maximizing the potential for impact.


title: Differential forms on $C^\infty$-ringed spaces

abstract: We construct a complex of differential forms on a local $C^\infty$-ringed space. The two main classes of spaces we have in mind are differential spaces in the sense of Sikorski and $C^\infty$-schemes. Just as in the case of manifolds the construction is functorial. Consequently forms can be integrated over simplices and Stokes' theorem holds.


title: Flip-chip-based microwave spectroscopy of Andreev bound states in a planar Josephson junction

abstract: We demonstrate a flip-chip-based approach to microwave measurements of Andreev bound states in a gate-tunable planar Josephson junction using inductively-coupled superconducting low-loss resonators. By means of electrostatic gating, we present control of both the density and transmission of Andreev bound states. Phase biasing of the device shifted the resonator frequency, consistent with the modulation of supercurrent in the junction. Two-tone spectroscopy measurements revealed an isolated Andreev bound state consistent with an average induced superconducting gap of $184~\mathrm{\mu eV}$ and a gate-tunable transmission approaching $0.98$. Our results represent the feasibility of using the flip-chip technique to address and study Andreev bound states in planar Josephson junctions, and they give a promising path towards microwave applications with superconductor-semiconductor two-dimensional materials.


title: Distant 2-Colored Components on Embeddings Part III: The General Case

abstract: This is the third in a sequence of three papers in which we prove the following generalization of Thomassen's 5-choosability theorem: Let $G$ be a finite graph embedded on a surface of genus $g$. Then $G$ can be $L$-colored, where $L$ is a list-assignment for $G$ in which every vertex has a 5-list except for a collection of pairwise far-apart components, each precolored with an ordinary 2-coloring, as long as the face-width of $G$ is at least $2^{\Omega(g)}$ and the precolored components are of distance at least $2^{\Omega(g)}$ apart. This provides an affirmative answer to a generalized version of a conjecture of Thomassen and also generalizes a result from 2017 of Dvo\v{r}\'ak, Lidick\'y, Mohar, and Postle about distant precolored vertices. In a previous paper, we proved that the above result holds for a restricted class of embeddings which have no separating cycles of length three or four. In this paper, we use this special case to prove that the result holds in the general case.


title: Characterization of a driven two-level quantum system by Supervised Learning

abstract: We investigate the extent to which a two-level quantum system subjected to an external time-dependent drive can be characterized by supervised learning. We apply this approach to the case of bang-bang control and the estimation of the offset and the final distance to a given target state. For any control protocol, the goal is to find the mapping between the offset and the distance. This mapping is interpolated using a neural network. The estimate is global in the sense that no a priori knowledge is required on the relation to be determined. Different neural network algorithms are tested on a series of data sets. We show that the mapping can be reproduced with very high precision in the direct case when the offset is known, while obstacles appear in the indirect case starting from the distance to the target. We point out the limits of the estimation procedure with respect to the properties of the mapping to be interpolated. We discuss the physical relevance of the different results.


title: Continual Interactive Behavior Learning With Traffic Divergence Measurement: A Dynamic Gradient Scenario Memory Approach

abstract: Developing autonomous vehicles (AVs) helps improve the road safety and traffic efficiency of intelligent transportation systems (ITS). Accurately predicting the trajectories of traffic participants is essential to the decision-making and motion planning of AVs in interactive scenarios. Recently, learning-based trajectory predictors have shown state-of-the-art performance in highway or urban areas. However, most existing learning-based models trained with fixed datasets may perform poorly in continuously changing scenarios. Specifically, they may not perform well in learned scenarios after learning the new one. This phenomenon is called "catastrophic forgetting". Few studies investigate trajectory predictions in continuous scenarios, where catastrophic forgetting may happen. To handle this problem, first, a novel continual learning (CL) approach for vehicle trajectory prediction is proposed in this paper. Then, inspired by brain science, a dynamic memory mechanism is developed by utilizing the measurement of traffic divergence between scenarios, which balances the performance and training efficiency of the proposed CL approach. Finally, datasets collected from different locations are used to design continual training and testing methods in experiments. Experimental results show that the proposed approach achieves consistently high prediction accuracy in continuous scenarios without re-training, which mitigates catastrophic forgetting compared to non-CL approaches. The implementation of the proposed approach is publicly available at https://github.com/BIT-Jack/D-GSM


title: Quench induced chaotic dynamics of Anderson localized interacting Bose-Einstein condensates in one dimension

abstract: We study the effect of atomic interaction on the localization and the associated dynamics of Bose-Einstein condensates in a one-dimensional quasiperiodic optical lattice and random Gaussian disordered potentials. When the interactions are absent, the condensates exhibit localization, which weakens as we increase the interaction strength beyond a threshold value for both potential types. We inspect the localized and delocalized states by perturbing the system via quenching the interaction strength instantaneously to zero and studying the dynamics of the condensate, which we further corroborate using the out-of-time-order correlator. The temporal behaviour of the time correlator displays regular dynamics for the localized state, while it shows temporal chaos for the delocalized state. We confirm this dynamical behaviour by analyzing the power spectral density of the time correlator. We further identify that the condensate admits a quasiperiodic route to chaotic dynamics for both potentials. Finally, we present the variation of the maximal Lyapunov exponents for different nonlinearity and disorder strengths that have a positive value in the regime where the time correlator function shows chaotic behaviour. Through this, we establish the strong connection between the spatially delocalized state of the condensate and its temporal chaos.


title: Odderon as Regge oddball spin-3 in $pp$ and $p\bar p$ elastic scattering

abstract: In this work, we propose that the odderon is a Regge odd-glueball tensor spin-3. To demonstrate our proposal, we study the $pp$ and $p\bar p$ elastic scattering by including contributions of the spin-3 odderon and spin-2 pomeron exchange in the processes. The phenomenological effective Lagrangian approach is used to calculate the $pp$ and $p\bar p$ elastic scattering amplitudes at the tree level. In addition, a Donnachie-Landschoff ansatz of the odderon and pomeron propagators has been used in this work. We fit the theoretical results with the various experimental data of the $pp$ and $p\bar p$ scattering at the TeV scale to determine the model parameters in the present work. By using the model parameters, the Chew-Frautschi plot of the tensor odderon Regge trajectory is evaluated. As a result, the odderon spin-3 mass is predicted to be 3.2 GeV. In addition, the total cross-section of our model is compatible with the results from TOTEM and its extrapolation from D0 collaboration. Moreover, the total cross-section also satisfies the Friossart bound at the Regge limit.


title: Accelerating relaxation in Markovian open quantum systems through quantum reset processes

abstract: The divergent timescales of slow relaxation processes are obstacles to the study of stationary state properties and the functionalization of some systems like steady state heat engines, both in classical and quantum systems. Thus the shortening of the relaxation time scale would be desirable in many cases. Here we claim that using quantum reset, a common and important operation in quantum computation, the relaxation dynamics of general Markovian open quantum systems with arbitrary initial states is able to be accelerated significantly through a simple protocol. This faster relaxation induced by the reset protocol is reminiscent of the quantum Mpemba effect. The reset protocol we proposed is applied to a two-state quantum systems to illustrate our theory, which may characterize a single qubit or a spin. Furthermore, our new strategy to accelerate relaxations may also be applied to closed quantum systems or even some non-Markovian open quantum systems.


title: Logarithmic Gromov-Witten theory and double ramification cycles

abstract: We examine the logarithmic Gromov-Witten cycles of a toric variety relative to its full toric boundary. The cycles are expressed as products of double ramification cycles and natural tautological classes in the logarithmic Chow ring of the moduli space of curves. We introduce a simple new technique that relates the Gromov-Witten cycles of rigid and rubber geometries; the technique is based on a study of maps to the logarithmic algebraic torus. By combining this with recent work on logarithmic double ramification cycles, we deduce that all logarithmic Gromov-Witten pushforwards, for maps to a toric variety relative to its full toric boundary, lie in the tautological ring of the moduli space of curves. A feature of the approach is that it avoids the as yet undeveloped logarithmic virtual localization formula, instead relying directly on piecewise polynomial functions to capture the structure that would be provided by such a formula. The results give a common generalization of work of Faber-Pandharipande, and more recent work of Holmes-Schwarz and Molcho-Ranganathan. The proof passes through general structure results on the space of stable maps to the logarithmic algebraic torus, which may be of independent interest.


title: A recurrent CNN for online object detection on raw radar frames

abstract: Automotive radar sensors provide valuable information for advanced driving assistance systems (ADAS). Radars can reliably estimate the distance to an object and the relative velocity, regardless of weather and light conditions. However, radar sensors suffer from low resolution and huge intra-class variations in the shape of objects. Exploiting the time information (e.g., multiple frames) has been shown to help to capture better the dynamics of objects and, therefore, the variation in the shape of objects. Most temporal radar object detectors use 3D convolutions to learn spatial and temporal information. However, these methods are often non-causal and unsuitable for real-time applications. This work presents RECORD, a new recurrent CNN architecture for online radar object detection. We propose an end-to-end trainable architecture mixing convolutions and ConvLSTMs to learn spatio-temporal dependencies between successive frames. Our model is causal and requires only the past information encoded in the memory of the ConvLSTMs to detect objects. Our experiments show such a method's relevance for detecting objects in different radar representations (range-Doppler, range-angle) and outperform state-of-the-art models on the ROD2021 and CARRADA datasets while being less computationally expensive.


title: Python client for Isabelle server

abstract: We contribute a Python client for the Isabelle server, which gives researchers and students using Python as their primary programming language an opportunity to communicate with the Isabelle server through TCP directly from a Python script. Such an approach helps avoid the complexities of integrating the existing Python script with languages used for Isabelle development (ML and Scala). We also describe new features that appeared since the announcement of the first version of the client a year ago. Finally, we give examples of the client's applications in research and education and discuss known limitations and possible directions for future development.


title: Beyond oblique contributions: $\Delta$r and W-mass in models with scalar leptoquarks

abstract: We study the dominant non-universal contributions to muon decay for the five scalar leptoquarks (LQs) allowed by the Standard Model gauge symmetries. By using a common computational framework, we isolate the new-Physics (NP) one-loop corrections over the observable $\Delta r$ and explore the connection with the $W$ boson mass. We highlight the role of non-universal terms considering, for the $SU(2)$ doublet and triplet LQs, a completely degenerate scenario, thus cancelling/moderating the effects of the oblique parameters S,T and U . We determine simple formulas that exhibit the leading non-universal behaviour generated by the introduction of extra Yukawa terms, and confront them against a present tension in $M_W$ and the projected FCC-ee accuracy.


title: Detecting properties of echoes from inspiraling stage with ground-based detectors

abstract: The nature of black holes is one of most exciting issues in gravitational physics. If there is an exotic compact object as the compact as a black hole but without a horizon, gravitational wave echoes may be produced after the merger. In this work, we show that for extreme-mass-ratio binaries, even during the inspiraling phase of compact binary coalescence, the exists of hard surface of the exotic compact object will produce detectable signals on the gravitational waves. We predict that once the LIGO-Virgo-KAGRA, Einstein Telescope or Cosmic Explorer detect such kind of sources, our model shows that one can constrain the properties of surfaces of the compact objects in inspiraling stage better than the current level.


title: On the density of sumsets, II

abstract: Arithmetic quasi-densities are a large family of real-valued set functions partially defined on the power set of $\mathbb{N}$, including the asymptotic density, the Banach density, the analytic density, etc. Let $B \subseteq \mathbb{N}$ be a non-empty set covering $o(n!)$ residue classes modulo $n!$ as $n\to \infty$ (e.g., the primes or the perfect powers). We show that, for each $\alpha \in [0,1]$, there is a set $A\subseteq \mathbb{N}$ such that, for every arithmetic quasi-density $\mu$, both $A$ and the sumset $A+B$ are in the domain of $\mu$ and, in addition, $\mu(A + B) = \alpha$. The proof relies on the properties of a little known density first considered by Buck in 1946.


title: PHANGS-JWST First Results: Tracing the Diffuse ISM with JWST Imaging of Polycyclic Aromatic Hydrocarbon Emission in Nearby Galaxies

abstract: JWST observations of polycyclic aromatic hydrocarbon (PAH) emission provide some of the deepest and highest resolution views of the cold interstellar medium (ISM) in nearby galaxies. If PAHs are well mixed with the atomic and molecular gas and illuminated by the average diffuse interstellar radiation field, PAH emission may provide an approximately linear, high resolution, high sensitivity tracer of diffuse gas surface density. We present a pilot study that explores using PAH emission in this way based on MIRI observations of IC 5332, NGC 628, NGC 1365, and NGC 7496 from the PHANGS-JWST Treasury. Using scaling relationships calibrated in Leroy et al. (2022), scaled F1130W provides 10--40 pc resolution and 3$\sigma$ sensitivity of $\Sigma_{\rm gas} \sim 2$ M$_\odot$ pc$^{-2}$. We characterize the surface densities of structures seen at $< 7$ M$_\odot$ pc$^{-2}$ in our targets, where we expect the gas to be HI-dominated. We highlight the existence of filaments, inter-arm emission, and holes in the diffuse ISM at these low surface densities. Below $\sim 10$ M$_\odot$ pc$^{-2}$ for NGC 628, NGC 1365, and NGC 7496 the gas distribution shows a ``Swiss cheese''-like topology due to holes and bubbles pervading the relatively smooth distribution of diffuse ISM. Comparing to recent galaxy simulations, we observe similar topology for the low surface density gas, though with notable variations between simulations with different setups and resolution. Such a comparison of high resolution, low surface density gas with simulations is not possible with existing atomic and molecular gas maps, highlighting the unique power of JWST maps of PAH emission.


title: Class number divisibility of $\mathbb{Q}(\sqrt{3p}, \sqrt{m-21pn^{2}})$ constructed from elliptic curves of $2$-Selmer rank exactly $1$

abstract: The class number divisibility problem for number fields is one of the classical problems in algebraic number theory, which originated from Gauss' class number conjectures. The relation between the points on an elliptic curve and class number divisibility of a number field has been explored through the works of various mathematicians. Here, we explicitly construct an unramified abelian extension of a bi-quadratic field generated from points of a certain type of elliptic curve. Moreover, showing the $2$-Selmer rank of the said elliptic curve as $1$, we also construct an infinite family of bi-quadratic fields of even class number.


title: The Inverse Problem for the Euler-Poisson-Darboux Equation and Shifted $k$-Plane Transforms

abstract: The inverse problem for the Euler-Poisson-Darboux equation deals with reconstruction of the Cauchy data for this equation from incomplete information about its solution. In the present article, this problem is studied in connection with the injectivity of the shifted $k$-plane transform, which assigns to functions in $L^p(\mathbb {R}^n)$ their mean values over all k-planes at a fixed distance from the given $k$-planes. Several generalizations, including the Radon transform over strips of fixed width in $\mathbb {R}^2$ and a similar transform over tubes of fixed diameter in $\mathbb {R}^3$, are considered.


title: Survey on invariant quasimorphisms and stable mixed commutator length

abstract: A homogeneous quasimorphism $\phi$ on a normal subgroup $N$ of $G$ is said to be $G$-invariant if $\phi(gxg^{-1}) = \phi(x)$ for every $g \in G$ and for every $x \in N$. Invariant quasimorphisms have naturally appeared in symplectic geometry and the extension problem of quasimorphisms. Moreover, it is known that the existence of non-extendable invariant quasimorphisms is closely related to the behavior of the stable mixed commutator length $\mathrm{scl}_{G,N}$, which is a certain generalization of the stable commutator length $\mathrm{scl}_G$. In this survey, we review the history and recent developments of invariant quasimorphisms and stable mixed commutator length. The topics we treat include several examples of invariant quasimorphisms, Bavard's duality theorem for invariant quasimorphisms, Aut-invariant quasimorphisms, and the estimation of the dimension of spaces of non-extendable quasimorphisms. We also mention the extension problem of partial quasimorphisms.


title: Do NFTs' Owners Really Possess their Assets? A First Look at the NFT-to-Asset Connection Fragility

abstract: NFTs (Non-Fungible Tokens) have experienced an explosive growth and their record-breaking prices have been witnessed. Typically, the assets that NFTs represent are stored off-chain with a pointer, e.g., multi-hop URLs, due to the costly on-chain storage. Hence, this paper aims to answer the question: Is the NFT-to-Asset connection fragile? This paper makes a first step towards this end by characterizing NFT-to-Asset connections of 12,353 Ethereum NFT Contracts (6,234,141 NFTs in total) from three perspectives, storage, accessibility and duplication. In order to overcome challenges of affecting the measurement accuracy, e.g., IPFS instability and the changing availability of both IPFS and servers' data, we propose to leverage multiple gateways to enlarge the data coverage and extend a longer measurement period with non-trivial efforts. Results of our extensive study show that such connection is very fragile in practice. The loss, unavailability, or duplication of off-chain assets could render value of NFTs worthless. For instance, we find that assets of 25.24% of Ethereum NFT contracts are not accessible, and 21.48% of Ethereum NFT contracts include duplicated assets. Our work sheds light on the fragility along the NFT-to-Asset connection, which could help the NFT community to better enhance the trust of off-chain assets.