title: An Algorithm and Complexity Results for Causal Unit Selection

abstract: The unit selection problem aims to identify objects, called units, that are most likely to exhibit a desired mode of behavior when subjected to stimuli (e.g., customers who are about to churn but would change their mind if encouraged). Unit selection with counterfactual objective functions was introduced relatively recently with existing work focusing on bounding a specific class of objective functions, called the benefit functions, based on observational and interventional data -- assuming a fully specified model is not available to evaluate these functions. We complement this line of work by proposing the first exact algorithm for finding optimal units given a broad class of causal objective functions and a fully specified structural causal model (SCM). We show that unit selection under this class of objective functions is $\text{NP}^\text{PP}$-complete but is $\text{NP}$-complete when unit variables correspond to all exogenous variables in the SCM. We also provide treewidth-based complexity bounds on our proposed algorithm while relating it to a well-known algorithm for Maximum a Posteriori (MAP) inference.


title: SMoA: Sparse Mixture of Adapters to Mitigate Multiple Dataset Biases

abstract: Recent studies reveal that various biases exist in different NLP tasks, and over-reliance on biases results in models' poor generalization ability and low adversarial robustness. To mitigate datasets biases, previous works propose lots of debiasing techniques to tackle specific biases, which perform well on respective adversarial sets but fail to mitigate other biases. In this paper, we propose a new debiasing method Sparse Mixture-of-Adapters (SMoA), which can mitigate multiple dataset biases effectively and efficiently. Experiments on Natural Language Inference and Paraphrase Identification tasks demonstrate that SMoA outperforms full-finetuning, adapter tuning baselines, and prior strong debiasing methods. Further analysis indicates the interpretability of SMoA that sub-adapter can capture specific pattern from the training data and specialize to handle specific bias.


title: On the transfinite symmetric strong diameter two property

abstract: We study transfinite analogues of the symmetric strong diameter two property. We investigate the stability of these properties under $c_0$, $\ell_\infty$ sums and under projective tensor products. Moreover, we characterize Banach spaces of the form $C_0(X)$, where $X$ is a T$_4$ locally compact space, which posses these transfinite properties via cardinal functions over $X$. As an application, we are able to produce a variety of examples of Banach spaces which enjoy or fail these properties.


title: Mesh-SORT: Simple and effective location-wise tracker with lost management strategies

abstract: Multi-Object Tracking (MOT) has gained extensive attention in recent years due to its potential applications in traffic and pedestrian detection. We note that tracking by detection may suffer from errors generated by noise detectors, such as an imprecise bounding box before the occlusions, and observed that in most tracking scenarios, objects tend to move and lost within specific locations. To counter this, we present a novel tracker to deal with the bad detector and occlusions. Firstly, we proposed a location-wise sub-region recognition method which equally divided the frame, which we called mesh. Then we proposed corresponding location-wise loss management strategies and different matching strategies. The resulting Mesh-SORT, ablation studies demonstrate its effectiveness and made 3% fragmentation 7.2% ID switches drop and 0.4% MOTA improvement compared to the baseline on MOT17 datasets. Finally, we analyze its limitation on the specific scene and discussed what future works can be extended.


title: DREAM: Efficient Dataset Distillation by Representative Matching

abstract: Dataset distillation aims to synthesize small datasets with little information loss from original large-scale ones for reducing storage and training costs. Recent state-of-the-art methods mainly constrain the sample synthesis process by matching synthetic images and the original ones regarding gradients, embedding distributions, or training trajectories. Although there are various matching objectives, currently the strategy for selecting original images is limited to naive random sampling. We argue that random sampling overlooks the evenness of the selected sample distribution, which may result in noisy or biased matching targets. Besides, the sample diversity is also not constrained by random sampling. These factors together lead to optimization instability in the distilling process and degrade the training efficiency. Accordingly, we propose a novel matching strategy named as \textbf{D}ataset distillation by \textbf{RE}present\textbf{A}tive \textbf{M}atching (DREAM), where only representative original images are selected for matching. DREAM is able to be easily plugged into popular dataset distillation frameworks and reduce the distilling iterations by more than 8 times without performance drop. Given sufficient training time, DREAM further provides significant improvements and achieves state-of-the-art performances.


title: Protected Data Plane OS Using Memory Protection Keys and Lightweight Activation

abstract: Increasing data center network speed coupled with application requirements for high throughput and low latencies have raised the efficiency bar for network stacks. To reduce substantial kernel overhead in network processing, recent proposals bypass the kernel or implement the stack as user space OS service -- both with performance isolation, security, and resource efficiency trade-offs. We present Tardis, a new network stack architecture that combines the performance and resource efficiency benefits of kernel-bypass and the security and performance enforcement of in-kernel stacks. Tardis runs the OS I/O stack in user-level threads that share both address spaces and kernel threads with applications, avoiding almost all kernel context switch and cross-core communication overheads. To provide sufficient protection, Tardis leverages x86 protection keys (MPK) extension to isolate the I/O stack from application code. And to enforce timely scheduling of network processing and fine-grained performance isolation, Tardis implements lightweight scheduler activations with preemption timers.


title: PCR-CG: Point Cloud Registration via Deep Explicit Color and Geometry

abstract: In this paper, we introduce PCR-CG: a novel 3D point cloud registration module explicitly embedding the color signals into the geometry representation. Different from previous methods that only use geometry representation, our module is specifically designed to effectively correlate color into geometry for the point cloud registration task. Our key contribution is a 2D-3D cross-modality learning algorithm that embeds the deep features learned from color signals to the geometry representation. With our designed 2D-3D projection module, the pixel features in a square region centered at correspondences perceived from images are effectively correlated with point clouds. In this way, the overlapped regions can be inferred not only from point cloud but also from the texture appearances. Adding color is non-trivial. We compare against a variety of baselines designed for adding color to 3D, such as exhaustively adding per-pixel features or RGB values in an implicit manner. We leverage Predator [25] as the baseline method and incorporate our proposed module onto it. To validate the effectiveness of 2D features, we ablate different 2D pre-trained networks and show a positive correlation between the pre-trained weights and the task performance. Our experimental results indicate a significant improvement of 6.5% registration recall over the baseline method on the 3DLoMatch benchmark. We additionally evaluate our approach on SOTA methods and observe consistent improvements, such as an improvement of 2.4% registration recall over GeoTransformer as well as 3.5% over CoFiNet. Our study reveals a significant advantages of correlating explicit deep color features to the point cloud in the registration task.


title: Quasi-periodic relativistic shells in reflecting boundaries: How likely are black holes to form?

abstract: A system of two gravitating bodies floating around a restricted region of strong gravitational field is investigated. We consider two concentric spherically symmetric timelike shells spatially constrained by a perfectly reflecting inner and outer boundary. It is shown numerically that even when the gravitational radius of a contracting shell is larger than the radius of the inner boundary, energy transfer occurs due to the intersection with the other expanding shell before the contracting shell becomes a black hole, resulting nonlinearly stable motion. The system appears to be in a permanently stable periodic motion due to the repetition of forward and reverse energy transfer. The larger the specific energy of a shell, the more stable the motion is. In addition, the motion of the null shell as the fastest limit of the timelike shell is also investigated. Unlike the timelike shell, the motion of the two null shells reduces to exact recurrence equations. By analyzing the recurrence equations, we find the null shells also allow stable motions. Using the algebraic computation of the recurrence equations, we show numerical integration is not necessary for the nonlinear dynamics of the null shells in confined geometry.


title: Estimation-of-Distribution Algorithms for Multi-Valued Decision Variables

abstract: The majority of research on estimation-of-distribution algorithms (EDAs) concentrates on pseudo-Boolean optimization and permutation problems, leaving the domain of EDAs for problems in which the decision variables can take more than two values, but which are not permutation problems, mostly unexplored. To render this domain more accessible, we propose a natural way to extend the known univariate EDAs to this setting. Different from a naive reduction to the binary case, our approach avoids additional constraints. Since understanding genetic drift is crucial for an optimal parameter choice, we extend the known quantitative analysis of genetic drift to EDAs for multi-valued variables. Roughly speaking, when the variables take $r$ different values, the time for genetic drift to become significant is $r$ times shorter than in the binary case. Consequently, the update strength of the probabilistic model has to be chosen $r$ times lower now. To investigate how desired model updates take place in this framework, we undertake a mathematical runtime analysis on the $r$-valued \leadingones problem. We prove that with the right parameters, the multi-valued UMDA solves this problem efficiently in $O(r\ln(r)^2 n^2 \ln(n))$ function evaluations. This bound is nearly tight as our lower bound $\Omega(r\ln(r) n^2 \ln(n))$ shows. Overall, our work shows that our good understanding of binary EDAs naturally extends to the multi-valued setting, and it gives advice on how to set the main parameters of multi-values EDAs.


title: Publicly verifiable delegative democracy with secret voting power

abstract: In a democratic setting, we introduce a commitment scheme which allows for transparent validation of transfers and reversible delegations of voting power between citizens without sacrificing their privacy. A unit of voting power is publicly represented by the Merkle root of a tree consisting of its latest owner's public key, a random nonce and the Merkle root of the tree of its previous owner's public key and random nonce and so on. A transition includes the input units, their owner's public keys and signatures, the hashes of their nonces and the output units generated with the new owners' public keys and random nonces. In case of a delegation, the receiver provides the sender with the hashed random nonces and hashed public keys for the output units. In case of a transfer, only the precomputed output units are provided by the receiver. In a reversal, a historical owner reveals the hashes of the nonces and public keys that resulted in the subsequent units. To vote, the owner reveals the actual nonces and public keys.


title: Paramater Optimization for Manipulator Motion Planning using a Novel Benchmark Set

abstract: Sampling-based motion planning algorithms have been continuously developed for more than two decades. Apart from mobile robots, they are also widely used in manipulator motion planning. Hence, these methods play a key role in collaborative and shared workspaces. Despite numerous improvements, their performance can highly vary depending on the chosen parameter setting. The optimal parameters depend on numerous factors such as the start state, the goal state and the complexity of the environment. Practitioners usually choose these values using their experience and tedious trial and error experiments. To address this problem, recent works combine hyperparameter optimization methods with motion planning. They show that tuning the planner's parameters can lead to shorter planning times and lower costs. It is not clear, however, how well such approaches generalize to a diverse set of planning problems that include narrow passages as well as barely cluttered environments. In this work, we analyze optimized planner settings for a large set of diverse planning problems. We then provide insights into the connection between the characteristics of the planning problem and the optimal parameters. As a result, we provide a list of recommended parameters for various use-cases. Our experiments are based on a novel motion planning benchmark for manipulators which we provide at https://mytuc.org/rybj.


title: Assessing the strength of many instruments with the first-stage F and Cragg-Donald statistics

abstract: This paper investigates the behavior of Stock and Yogo (2005)'s first-stage F statistic and the Cragg-Donald statistic (Cragg and Donald, 1993) when the number of instruments and the sample size go to infinity in a comparable magnitude. Our theory shows that the first-stage F test is oversized for detecting many weak instruments. We next propose an asymptotically valid correction of the F statistic for testing weakness of instruments. The theory is also used to construct confidence intervals for the strength of instruments. As for the Cragg-Donald statistic, we obtain an asymptotically valid correction in the case of two endogenous variables. Monte Carlo experiments demonstrate the satisfactory performance of the proposed methods in both situations of a single and multiple endogenous variables. The usefulness of the proposed tests is illustrated by an analysis of the returns to education data in Angrist and Keueger (1991).


title: Numerical and experimental investigations of a microwave interferometer for the negative ion source SPIDER

abstract: The electron density close to the extraction grids and the co-extracted electrons represent a crucial issue when operating negative ion sources for fusion reactors. An excessive electron density in the plasma expansion region can indeed inhibit the negative ion production and introduce potentially harmful electrons in the accelerator. Among the set of plasma and beam diagnostics proposed for SPIDER upgrade, a heterodyne microwave (mw) interferometer at 100 GHz is being explored as a possibility to measure electron density in the plasma extraction region. The major issue in applying this technique in SPIDER is the poor accessibility of the probing microwave beam through the source metal walls and the long distance of 4 m at which mw modules should be located outside the vacuum vessel. Numerical investigations in a full-scale geometry showed that the power transmitted through the plasma source apertures was sufficient for the microwave module sensitivity. An experimental proof-of-principle of the setup was then performed. The microwave system was tested on an experimental full-scale test-bench mimicking SPIDER viewports accessibility constraints, including the presence of a SPIDER-like plasma. The outcome of first tests revealed that, despite the geometrical constraints, in certain conditions, the electron density measurements are possible. The main issue arises from decoupling the one-pass signal from spurious multipaths generated by mw beam reflections, requiring signal cross correlation analysis. These preliminary tests demonstrate that despite the 4 m distance between the mw modules and the presence of metal walls, plasma density measurement is possible when the 80-mm diameter ports are available. In this contribution, we discuss the numerical simulations, the preliminary experimental tests and suggest design upgrades of the interferometric setup to enhance signal transmission.


title: Circumplanetary disk ices II. Composition

abstract: The subsurface oceans of icy satellites are among the most compelling among the potentially habitable environments in our Solar System. The question of whether a liquid subsurface layer can be maintained over geological timescales depends on its chemical composition. The composition of icy satellites is linked to that of the circumplanetary disk (CPD) in which they form. The CPD accretes material from the surrounding circumstellar disk in the vicinity of the planet, however, the degree of chemical inheritance is unclear. We aim to investigate the composition of ices in chemically reset or inherited circumplanetary disks to inform interior modeling and the interpretation of in situ measurements of icy solar system satellites, with an emphasis on the Galilean moon system. We used a radiation-thermochemical code to produce circumplanetary disk models and extract the ice composition from time-dependent chemistry, incorporating gas-phase and grain-surface reactions. The initial sublimation of ices during accretion may result in a CO2-rich ice composition. Sublimated ammonia ice is destroyed by background radiation while drifting towards the CPD midplane. Liberated nitrogen becomes locked in N2 due to efficient self-shielding, leaving ices depleted of ammonia. A significant ammonia ice component remains only when ices are inherited from the circumstellar disk. The observed composition of the Galilean moons is consistent with the sublimation of ices during accretion onto the CPD. In this scenario, the Galilean moon ices are nitrogen-poor and CO2 on Callisto is endogenous and primordial. The ice composition is significantly altered after an initial reset of accreted circumstellar ice. The chemical history of the Galilean moons stands in contrast to the Saturnian system, where the composition of the moons corresponds more closely with the directly inherited circumstellar disk material.


title: At-Scale Evaluation of Weight Clustering to Enable Energy-Efficient Object Detection

abstract: Accelerators implementing Deep Neural Networks for image-based object detection operate on large volumes of data due to fetching images and neural network parameters, especially if they need to process video streams, hence with high power dissipation and bandwidth requirements to fetch all those data. While some solutions exist to mitigate power and bandwidth demands for data fetching, they are often assessed in the context of limited evaluations with a scale much smaller than that of the target application, which challenges finding the best tradeoff in practice. This paper sets up the infrastructure to assess at-scale a key power and bandwidth optimization - weight clustering - for You Only Look Once v3 (YOLOv3), a neural network-based object detection system, using videos of real driving conditions. Our assessment shows that accelerators such as systolic arrays with an Output Stationary architecture turn out to be a highly effective solution combined with weight clustering. In particular, applying weight clustering independently per neural network layer, and using between 32 (5-bit) and 256 (8-bit) weights allows achieving an accuracy close to that of the original YOLOv3 weights (32-bit weights). Such bit-count reduction of the weights allows shaving bandwidth requirements down to 30%-40% of the original requirements, and reduces energy consumption down to 45%. This is based on the fact that (i) energy due to multiply-and-accumulate operations is much smaller than DRAM data fetching, and (ii) designing accelerators appropriately may make that most of the data fetched corresponds to neural network weights, where clustering can be applied. Overall, our at-scale assessment provides key results to architect camera-based object detection accelerators by putting together a real-life application (YOLOv3), and real driving videos, in a unified setup so that trends observed are reliable.


title: Federated Covariate Shift Adaptation for Missing Target Output Values

abstract: The most recent multi-source covariate shift algorithm is an efficient hyperparameter optimization algorithm for missing target output. In this paper, we extend this algorithm to the framework of federated learning. For data islands in federated learning and covariate shift adaptation, we propose the federated domain adaptation estimate of the target risk which is asymptotically unbiased with a desirable asymptotic variance property. We construct a weighted model for the target task and propose the federated covariate shift adaptation algorithm which works preferably in our setting. The efficacy of our method is justified both theoretically and empirically.


title: Stochastic Gradient Descent under Markovian Sampling Schemes

abstract: We study a variation of vanilla stochastic gradient descent where the optimizer only has access to a Markovian sampling scheme. These schemes encompass applications that range from decentralized optimization with a random walker (token algorithms), to RL and online system identification problems. We focus on obtaining rates of convergence under the least restrictive assumptions possible on the underlying Markov chain and on the functions optimized. We first unveil the theoretical lower bound for methods that sample stochastic gradients along the path of a Markov chain, making appear a dependency in the hitting time of the underlying Markov chain. We then study Markov chain SGD (MC-SGD) under much milder regularity assumptions than prior works (e.g., no bounded gradients or domain, and infinite state spaces). We finally introduce MC-SAG, an alternative to MC-SGD with variance reduction, that only depends on the hitting time of the Markov chain, therefore obtaining a communication-efficient token algorithm.


title: Topological acoustics

abstract: Topological acoustics is an emerging field that lies at the intersection of condensed matter physics, mechanical structural design and acoustics engineering. It explores the design and construction of novel artificial structures, such as acoustic metamaterials and phononic crystals, to manipulate sound waves robustly, taking advantage of topological protection. Early work on topological acoustics was limited to duplicating topological phases that have been understood in condensed matter systems, but recent advances have shifted the paradigm to exploring novel topological concepts that are difficult to realize in other physical systems, such as various topological semimetal phases, and topological phases associated with Floquet engineering, fragile topology, non-Hermiticity and synthetic dimensions. These developments demonstrate the unique advantages of topological acoustic systems and their role in developing topological physics. In this Review, we survey the fundamental mechanisms, basic designs and practical realizations of topological phases in acoustic systems, and provide an overview of future directions and potential applications.


title: Tracking Fast by Learning Slow: An Event-based Speed Adaptive Hand Tracker Leveraging Knowledge in RGB Domain

abstract: 3D hand tracking methods based on monocular RGB videos are easily affected by motion blur, while event camera, a sensor with high temporal resolution and dynamic range, is naturally suitable for this task with sparse output and low power consumption. However, obtaining 3D annotations of fast-moving hands is difficult for constructing event-based hand-tracking datasets. In this paper, we provided an event-based speed adaptive hand tracker (ESAHT) to solve the hand tracking problem based on event camera. We enabled a CNN model trained on a hand tracking dataset with slow motion, which enabled the model to leverage the knowledge of RGB-based hand tracking solutions, to work on fast hand tracking tasks. To realize our solution, we constructed the first 3D hand tracking dataset captured by an event camera in a real-world environment, figured out two data augment methods to narrow the domain gap between slow and fast motion data, developed a speed adaptive event stream segmentation method to handle hand movements in different moving speeds, and introduced a new event-to-frame representation method adaptive to event streams with different lengths. Experiments showed that our solution outperformed RGB-based as well as previous event-based solutions in fast hand tracking tasks, and our codes and dataset will be publicly available.


title: Efficient Masked Autoencoders with Self-Consistency

abstract: Inspired by the masked language modeling (MLM) in natural language processing tasks, the masked image modeling (MIM) has been recognized as a strong self-supervised pre-training method in computer vision. However, the high random mask ratio of MIM results in two serious problems: 1) the inadequate data utilization of images within each iteration brings prolonged pre-training, and 2) the high inconsistency of predictions results in unreliable generations, $i.e.$, the prediction of the identical patch may be inconsistent in different mask rounds, leading to divergent semantics in the ultimately generated outcomes. To tackle these problems, we propose the efficient masked autoencoders with self-consistency (EMAE) to improve the pre-training efficiency and increase the consistency of MIM. In particular, we present a parallel mask strategy that divides the image into K non-overlapping parts, each of which is generated by a random mask with the same mask ratio. Then the MIM task is conducted parallelly on all parts in an iteration and the model minimizes the loss between the predictions and the masked patches. Besides, we design the self-consistency learning to further maintain the consistency of predictions of overlapping masked patches among parts. Overall, our method is able to exploit the data more efficiently and obtains reliable representations. Experiments on ImageNet show that EMAE achieves the best performance on ViT-Large with only 13% of MAE pre-training time using NVIDIA A100 GPUs. After pre-training on diverse datasets, EMAE consistently obtains state-of-the-art transfer ability on a variety of downstream tasks, such as image classification, object detection, and semantic segmentation.


title: Gap engineering and wave function symmetry in C and BN armchair nanoribbons

abstract: Many are the ways of engineering the band gap of nanoribbons including application of stress, electric field and functionalization of the edges. In this article, we investigate separately the effects of these methods on armchair graphene and boron nitride nanoribbons. By means of density functional theory calculations, we show that, despite their similar structure, the two materials respond in opposite ways to these stimuli. By treating them as perturbations of a heteroatomic ladder model based on the tight-binding formalism, we connect the two behaviours to the different symmetries of the top valence and bottom conduction wave functions. These results indicate that opposite and complementary strategies are preferable to engineer the gapwidth of armchair graphene and boron nitride nanoribbons.


title: Kerr Frequency Combs: A Million ways to fit light pulses into tiny rings

abstract: Frequency combs can be generated in millimeter-sized optical resonators thanks to their ability to store extremely high light intensities and the nonlinearity of their materials. New frequencies are generated through a cascaded parametric amplification process which can result in various optical waveforms, from ultrastable pulse patterns to optical chaos. These Kerr frequency combs have been studied extensively, with a wealth of fascinating nonlinear dynamics reported, and myriads of applications being developed, ranging from precision spectroscopy and Lidars to telecom channel generators.


title: A Hierarchical Representation Network for Accurate and Detailed Face Reconstruction from In-The-Wild Images

abstract: Limited by the nature of the low-dimensional representational capacity of 3DMM, most of the 3DMM-based face reconstruction (FR) methods fail to recover high-frequency facial details, such as wrinkles, dimples, etc. Some attempt to solve the problem by introducing detail maps or non-linear operations, however, the results are still not vivid. To this end, we in this paper present a novel hierarchical representation network (HRN) to achieve accurate and detailed face reconstruction from a single image. Specifically, we implement the geometry disentanglement and introduce the hierarchical representation to fulfill detailed face modeling. Meanwhile, 3D priors of facial details are incorporated to enhance the accuracy and authenticity of the reconstruction results. We also propose a de-retouching module to achieve better decoupling of the geometry and appearance. It is noteworthy that our framework can be extended to a multi-view fashion by considering detail consistency of different views. Extensive experiments on two single-view and two multi-view FR benchmarks demonstrate that our method outperforms the existing methods in both reconstruction accuracy and visual effects. Finally, we introduce a high-quality 3D face dataset FaceHD-100 to boost the research of high-fidelity face reconstruction. The project homepage is at https://younglbw.github.io/HRN-homepage/.


title: ProxyFormer: Proxy Alignment Assisted Point Cloud Completion with Missing Part Sensitive Transformer

abstract: Problems such as equipment defects or limited viewpoints will lead the captured point clouds to be incomplete. Therefore, recovering the complete point clouds from the partial ones plays an vital role in many practical tasks, and one of the keys lies in the prediction of the missing part. In this paper, we propose a novel point cloud completion approach namely ProxyFormer that divides point clouds into existing (input) and missing (to be predicted) parts and each part communicates information through its proxies. Specifically, we fuse information into point proxy via feature and position extractor, and generate features for missing point proxies from the features of existing point proxies. Then, in order to better perceive the position of missing points, we design a missing part sensitive transformer, which converts random normal distribution into reasonable position information, and uses proxy alignment to refine the missing proxies. It makes the predicted point proxies more sensitive to the features and positions of the missing part, and thus make these proxies more suitable for subsequent coarse-to-fine processes. Experimental results show that our method outperforms state-of-the-art completion networks on several benchmark datasets and has the fastest inference speed. Code is available at https://github.com/I2-Multimedia-Lab/ProxyFormer.


title: Charm and $B$ to charm decays at Belle II

abstract: We report on precise measurements of charmed hadron lifetimes from the Belle II experiment and on the measurement of the angle $\gamma$ combining Belle and Belle II data. To measure charmed hadron lifetimes we use samples of electron-positron collisions collected from 2019 to 2021 near the $\Upsilon(4S)$ resonance, corresponding to integrated luminosities of up to 207.2 ${\rm fb^{-1}}$. The results are the world's best determinations, indicating excellent early detector performance. We measure the angle $\gamma$ using a model-independent Dalitz plot analysis combining Belle and Belle II data, with a total sample size of the order of 1 ${\rm ab^{-1}}$. This is the first combined analysis, and shows significant improvement with respect to previous $B$-factory determinations.


title: Accretion within the innermost stable circular orbit: analytical thermodynamic solutions in the adiabatic limit

abstract: We present analytical solutions for the thermodynamic (temperature, pressure, density, etc.) properties of thin accretion flows in the region within the innermost stable circular orbit (ISCO) of a Kerr black hole, the first analytical solutions of their kind. These solutions are constructed in the adiabatic limit and neglect radiative losses, an idealisation valid for a restricted region of parameter space. We highlight a number of remarkable properties of these solutions, including that these solutions cool for radii $r_I/2 < r < r_I$, before increasing in temperature for $0 < r < r_I/2$, independent of black hole spin and assumptions regarding the equation of state of the accretion flow. The radiative temperature of these solutions can, for some values of the free parameters of the theory, peak within the ISCO and not in the main body of the disc. These solutions represent a fundamentally new class of analytical accretion solutions, which are both non-circular and non-radial in character.


title: Self-Supervised Interest Transfer Network via Prototypical Contrastive Learning for Recommendation

abstract: Cross-domain recommendation has attracted increasing attention from industry and academia recently. However, most existing methods do not exploit the interest invariance between domains, which would yield sub-optimal solutions. In this paper, we propose a cross-domain recommendation method: Self-supervised Interest Transfer Network (SITN), which can effectively transfer invariant knowledge between domains via prototypical contrastive learning. Specifically, we perform two levels of cross-domain contrastive learning: 1) instance-to-instance contrastive learning, 2) instance-to-cluster contrastive learning. Not only that, we also take into account users' multi-granularity and multi-view interests. With this paradigm, SITN can explicitly learn the invariant knowledge of interest clusters between domains and accurately capture users' intents and preferences. We conducted extensive experiments on a public dataset and a large-scale industrial dataset collected from one of the world's leading e-commerce corporations. The experimental results indicate that SITN achieves significant improvements over state-of-the-art recommendation methods. Additionally, SITN has been deployed on a micro-video recommendation platform, and the online A/B testing results further demonstrate its practical value. Supplement is available at: https://github.com/fanqieCoffee/SITN-Supplement.


title: Mission Target: Exotic Multiquark Hadrons -- Sharpened Blades

abstract: Motivated by recent experimental progress in establishing the likely existence of (variants of) exotic hadrons, predicted to be formed by the strong interactions, various proposed concepts and ideas are compiled in an attempt to draft a coherent picture of the achievable improvement in the theoretical interpretation of exotic hadrons in terms of the underlying quantum field theory of strong interactions.


title: Intergenerational Mobility Trends and the Changing Role of Female Labor

abstract: Using harmonized administrative data from Scandinavia, we find that intergenerational rank associations in income have increased uniformly across Sweden, Denmark, and Norway for cohorts born between 1951 and 1979. Splitting these trends by gender, we find that father-son mobility has been stable, while family correlations for mothers and daughters trend upward. Similar patterns appear in US survey data, albeit with slightly different timing. Finally, based on evidence from records on occupations and educational attainments, we argue that the observed decline in intergenerational mobility is consistent with female skills becoming increasingly valued in the labor market.


title: Atomic diffusion due to hyperatomic fluctuation for quasicrystals

abstract: A quasicrystal is an ordered but non-periodic structure understood as a projection from a higher dimensional periodic structure. Some physical properties of quasicrystals are different from those of conventional solids. An anomalous increase in heat capacity at high temperatures has been discussed for over two decades as a manifestation of a hidden high dimensionality of quasicrystals. A plausible candidate for this origin has been phason, which has excitation modes originating from additional degrees of freedom in the higher-dimensional lattice. However, most theoretical studies on phasons have used toy models. A theoretical study of the heat capacity of realistic quasicrystals or their approximants has yet to be conducted because of the huge computational complexity. To bridge this gap between experiment and theory, we show experiments and molecular simulations on the same material, an Al--Pd--Ru quasicrystal, and its approximants. We show that at high temperatures, aluminum atoms diffuse with discontinuous-like jumps, and the diffusion paths of the aluminum can be understood in terms of jumps corresponding to hyperatomic fluctuations in six-dimensional space. It is concluded that the anomaly in the heat capacity of quasicrystals arises from extra degrees of freedom due to hyperatomic fluctuations that play a role in diffusive Nambu--Goldstone modes.


title: City-scale Pollution Aware Traffic Routing by Sampling Max Flows using MCMC

abstract: A significant cause of air pollution in urban areas worldwide is the high volume of road traffic. Long-term exposure to severe pollution can cause serious health issues. One approach towards tackling this problem is to design a pollution-aware traffic routing policy that balances multiple objectives of i) avoiding extreme pollution in any area ii) enabling short transit times, and iii) making effective use of the road capacities. We propose a novel sampling-based approach for this problem. We provide the first construction of a Markov Chain that can sample integer max flow solutions of a planar graph, with theoretical guarantees that the probabilities depend on the aggregate transit length. We designed a traffic policy using diverse samples and simulated traffic on real-world road maps using the SUMO traffic simulator. We observe a considerable decrease in areas with severe pollution when experimented with maps of large cities across the world compared to other approaches.


title: Probing inhomogeneous and dual asymmetric angular momentum exploiting spin-orbit interaction in tightly focused vector beams in optical tweezers

abstract: The spin-orbit interaction (SOI) of light generated by tight focusing in optical tweezers has been regularly employed in generating angular momentum - both spin and orbital - in trapped mesoscopic particles. Specifically, the transverse spin angular momentum (TSAM), which arises due to the longitudinal component of the electromagnetic field generated by tight focusing, is of special interest, both in terms of fundamental studies and associated applications. We provide an effective and optimal strategy for generating TSAM in optical tweezers by tightly focusing radially and azimuthally polarized first-order Laguerre Gaussian beams with no intrinsic angular momentum, into a refractive index stratified medium. Our choice of such input fields ensures that the longitudinal spin angular momentum (LSAM) arising from the electric (magnetic) field for the radial (azimuthal) component is zero, which leads to the separate and exclusive effects of the electric and magnetic TSAM in the case of input radially and azimuthally polarized beams on single birefringent particles. We also observe the emergence of origin-dependent intrinsic orbital angular momentum causing the rotation of birefringent particles around the beam axis for both input beam types, which opens up new and simple avenues for exotic and complex particle manipulation in optical tweezers.


title: Learning to Estimate Two Dense Depths from LiDAR and Event Data

abstract: Event cameras do not produce images, but rather a continuous flow of events, which encode changes of illumination for each pixel independently and asynchronously. While they output temporally rich information, they lack any depth information which could facilitate their use with other sensors. LiDARs can provide this depth information, but are by nature very sparse, which makes the depth-to-event association more complex. Furthermore, as events represent changes of illumination, they might also represent changes of depth; associating them with a single depth is therefore inadequate. In this work, we propose to address these issues by fusing information from an event camera and a LiDAR using a learning-based approach to estimate accurate dense depth maps. To solve the "potential change of depth" problem, we propose here to estimate two depth maps at each step: one "before" the events happen, and one "after" the events happen. We further propose to use this pair of depths to compute a depth difference for each event, to give them more context. We train and evaluate our network, ALED, on both synthetic and real driving sequences, and show that it is able to predict dense depths with an error reduction of up to 61% compared to the current state of the art. We also demonstrate the quality of our 2-depths-to-event association, and the usefulness of the depth difference information. Finally, we release SLED, a novel synthetic dataset comprising events, LiDAR point clouds, RGB images, and dense depth maps.


title: Embedded light-weight approach for safe landing in populated areas

abstract: Landing safety is a challenge heavily engaging the research community recently, due to the increasing interest in applications availed by aerial vehicles. In this paper, we propose a landing safety pipeline based on state of the art object detectors and OctoMap. First, a point cloud of surface obstacles is generated, which is then inserted in an OctoMap. The unoccupied areas are identified, thus resulting to a list of safe landing points. Due to the low inference time achieved by state of the art object detectors and the efficient point cloud manipulation using OctoMap, it is feasible for our approach to deploy on low-weight embedded systems. The proposed pipeline has been evaluated in many simulation scenarios, varying in people density, number, and movement. Simulations were executed with an Nvidia Jetson Nano in the loop to confirm the pipeline's performance and robustness in a low computing power hardware. The experiments yielded promising results with a 95% success rate.


title: Reproducing kernel Hilbert spaces in the mean field limit

abstract: Kernel methods, being supported by a well-developed theory and coming with efficient algorithms, are among the most popular and successful machine learning techniques. From a mathematical point of view, these methods rest on the concept of kernels and function spaces generated by kernels, so called reproducing kernel Hilbert spaces. Motivated by recent developments of learning approaches in the context of interacting particle systems, we investigate kernel methods acting on data with many measurement variables. We show the rigorous mean field limit of kernels and provide a detailed analysis of the limiting reproducing kernel Hilbert space. Furthermore, several examples of kernels, that allow a rigorous mean field limit, are presented.


title: Robustness of point measurements of carbon dioxide concentration for the inference of ventilation rates in a wintertime classroom

abstract: Indoor air quality in schools and classrooms is paramount for the health and well-being of pupils and staff. CO2 monitors offer a cost-effective way to assess and manage ventilation provision. However, often only a single point measurement is available which might not be representative of the CO2 distribution within the room. A relatively generic UK classroom in wintertime is simulated using CFD. The natural ventilation provision is driven by buoyancy through high- and low-level openings in both an opposite-ended or single-ended configuration, in which only the horizontal location of the high-level vent is modified. CO2 is modelled as a passive scalar and is shown not to be `well-mixed' within the space. Perhaps surprisingly, the single-ended configuration leads to a `more efficient' ventilation, with lower average CO2 concentration. Measurements taken near the walls, often the location of CO2 monitors, are compared with those made throughout the classroom and found to be more representative of the ventilation rate if made above the breathing zone. These findings are robust with respect to ventilation flow rates and to the flow patterns observed, which were tested by varying the effective vent areas and the ratio of the vent areas.


title: Advance sharing of quantum shares for quantum secrets

abstract: Secret sharing is a cryptographic scheme to encode a secret to multiple shares being distributed to participants, so that only qualified sets of participants can restore the original secret from their shares. When we encode a secret by a secret sharing scheme and distribute shares, sometimes not all participants are accessible, and it is desirable to distribute shares to those participants before a secret information is determined. Secret sharing schemes for classical secrets have been known to be able to distribute some shares before a given secret. Lie et al. found any pure $(k,2k-1)$-threshold secret sharing for quantum secrets can distribute some shares before a given secret. However, it is unknown whether distributing some shares before a given secret is possible with other access structures of secret sharing for quantum secrets. We propose a quantum secret sharing scheme for quantum secrets that can distribute some shares before a given secret with other access structures.


title: Bifurcation and fission in the liquid drop model: a phase-field approach

abstract: The liquid drop model, originally used to model atomic nuclei, describes the competition between surface tension and Coulomb force. To help understand how a ball loses stability and becomes prone to fission, we calculate the minimum energy path of the fission process, and study the bifurcation branch conjectured by Bohr and Wheeler. We then present the two-dimensional analogue for comparison. Our study is conducted with the help of numerical simulations via a phase-field approach.

categories: physics.class-ph math-ph math.MP physics.comp-ph


title: Swin Deformable Attention Hybrid U-Net for Medical Image Segmentation

abstract: Medical image segmentation is a crucial task in the field of medical image analysis. Harmonizing the convolution and multi-head self-attention mechanism is a recent research focus in this field, with various combination methods proposed. However, the lack of interpretability of these hybrid models remains a common pitfall, limiting their practical application in clinical scenarios. To address this issue, we propose to incorporate the Shifted Window (Swin) Deformable Attention into a hybrid architecture to improve segmentation performance while ensuring explainability. Our proposed Swin Deformable Attention Hybrid UNet (SDAH-UNet) demonstrates state-of-the-art performance on both anatomical and lesion segmentation tasks. Moreover, we provide a direct and visual explanation of the model focalization and how the model forms it, enabling clinicians to better understand and trust the decision of the model. Our approach could be a promising solution to the challenge of developing accurate and interpretable medical image segmentation models.


title: Hierarchical Reinforcement Learning in Complex 3D Environments

abstract: Hierarchical Reinforcement Learning (HRL) agents have the potential to demonstrate appealing capabilities such as planning and exploration with abstraction, transfer, and skill reuse. Recent successes with HRL across different domains provide evidence that practical, effective HRL agents are possible, even if existing agents do not yet fully realize the potential of HRL. Despite these successes, visually complex partially observable 3D environments remained a challenge for HRL agents. We address this issue with Hierarchical Hybrid Offline-Online (H2O2), a hierarchical deep reinforcement learning agent that discovers and learns to use options from scratch using its own experience. We show that H2O2 is competitive with a strong non-hierarchical Muesli baseline in the DeepMind Hard Eight tasks and we shed new light on the problem of learning hierarchical agents in complex environments. Our empirical study of H2O2 reveals previously unnoticed practical challenges and brings new perspective to the current understanding of hierarchical agents in complex domains.


title: An Effective Crop-Paste Pipeline for Few-shot Object Detection

abstract: Few-shot object detection (FSOD) aims to expand an object detector for novel categories given only a few instances for training. However, detecting novel categories with only a few samples usually leads to the problem of misclassification. In FSOD, we notice the false positive (FP) of novel categories is prominent, in which the base categories are often recognized as novel ones. To address this issue, a novel data augmentation pipeline that Crops the Novel instances and Pastes them on the selected Base images, called CNPB, is proposed. There are two key questions to be answered: (1) How to select useful base images? and (2) How to combine novel and base data? We design a multi-step selection strategy to find useful base data. Specifically, we first discover the base images which contain the FP of novel categories and select a certain amount of samples from them for the base and novel categories balance. Then the bad cases, such as the base images that have unlabeled ground truth or easily confused base instances, are removed by using CLIP. Finally, the same category strategy is adopted, in which a novel instance with category n is pasted on the base image with the FP of n. During combination, a novel instance is cropped and randomly down-sized, and thus pasted at the assigned optimal location from the randomly generated candidates in a selected base image. Our method is simple yet effective and can be easy to plug into existing FSOD methods, demonstrating significant potential for use. Extensive experiments on PASCAL VOC and MS COCO validate the effectiveness of our method.


title: Energy Efficiency and Throughput of Random Access Protocols for RIS-Aided IoT Networks

abstract: Green Internet of Things (IoT) aims to enable a sustainable smart world by making energy efficiency (EE) the main performance indicator for IoT hardware and software. With respect to network design, this implies in developing energy-efficient communication protocols and network architectures adapted to the ubiquitousness of the IoT machine-type devices (MTDs) and the sporadic traffic generated by them, keeping a low power consumption at the MTDs-side. In this sense, reconfigurable intelligent surfaces (RISs) have presented the capacity of significantly improving the network coverage using mostly passive reflecting elements, drastically reducing the power expenditure. In this paper, we develop a realistic power consumption model and an expression for the overall system EE for RIS-aided IoT networks that adopt a two time-scale random access (RA) protocol to handle the uplink transmissions. Specifically, during each time slot of the RA protocol, the RIS covers a specific area of interest in the communication cell with a predefined set of phase-shift configurations, changing the channel qualities of the contending MTDs. Numerical results comparing the RA protocol performance reveal that access policies that exploit information of the channel qualities are suitable for green IoT networks, simultaneously attaining competitive EE and throughput combined with low power consumption at the MTDs-side.


title: Low-loss polarization control in fiber systems for quantum computation

abstract: Optical quantum information processing exploits interference of quantum light. However, when the interferometer is composed of optical fibers, degradation of interference visibility due to the finite polarization extinction ratio becomes a problem. Here we propose a method to optimize interference visibility by controlling the polarizations to a crosspoint of two circular trajectories on the Poincar\'{e} sphere. Our method maximizes visibility with low optical loss, which is essential for quantum light, by using fiber stretchers as polarization controllers. We also experimentally demonstrate our method, where the visibility was maintained basically above 99.9% for three hours using fiber stretchers with an optical loss of 0.02 dB (0.5%). Our method makes fiber systems promising for practical fault-tolerant optical quantum computers.


title: Optimization of Permalloy properties for magnetic field sensors using He$^+$ irradiation

abstract: Permalloy, despite being a widely utilized soft magnetic material, still calls for optimization in terms of magnetic softness and magnetostriction for its use in magnetoresistive sensor applications. Conventional annealing methods are often insufficient to locally achieve the desired properties for a narrow parameter range. In this study, we report a significant improvement of the magnetic softness and magnetostriction in a 30 nm Permalloy film after He$^+$ irradiation. Compared to the as-deposited state, the irradiation treatment reduces the induced anisotropy by a factor ten and the hard axis coercivity by a factor five. In addition, the effective magnetostriction of the film is significantly reduced by a factor ten - below $1\times10^{-7}$ - after irradiation. All the above mentioned effects can be attributed to the isotropic crystallite growth of the Ni-Fe alloy and to the intermixing at the magnetic layer interfaces under light ion irradiation. We support our findings with X-ray diffraction analysis of the textured Ni$_{81}$Fe$_{19}$ alloy. Importantly, the sizable magnetoresistance is preserved after the irradiation. Our results show that compared to traditional annealing methods, the use of He$^+$ irradiation leads to significant improvements in the magnetic softness and reduces strain cross sensitivity in Permalloy films required for 3D positioning and compass applications. These improvements, in combination with the local nature of the irradiation process make our finding valuable for the optimization of monolithic integrated sensors, where classic annealing methods cannot be applied due to complex interplay within the components in the device.


title: Riemannian preconditioned algorithms for tensor completion via tensor ring decomposition

abstract: We propose Riemannian preconditioned algorithms for the tensor completion problem via tensor ring decomposition. A new Riemannian metric is developed on the product space of the mode-2 unfolding matrices of the core tensors in tensor ring decomposition. The construction of this metric aims to approximate the Hessian of the cost function by its diagonal blocks, paving the way for various Riemannian optimization methods. Specifically, we propose the Riemannian gradient descent and Riemannian conjugate gradient algorithms. We prove that both algorithms globally converge to a stationary point. In the implementation, we exploit the tensor structure and adopt an economical procedure to avoid large matrix formulation and computation in gradients, which significantly reduces the computational cost. Numerical experiments on various synthetic and real-world datasets -- movie ratings, hyperspectral images, and high-dimensional functions -- suggest that the proposed algorithms are more efficient and have better reconstruction ability than other candidates.


title: An introduction to Cartan geometries

abstract: We explain what Cartan geometries are, aiming at an audience of graduate students familiar with manifolds, Lie groups and differential forms.


title: Ultra-low Precision Multiplication-free Training for Deep Neural Networks

abstract: The training for deep neural networks (DNNs) demands immense energy consumption, which restricts the development of deep learning as well as increases carbon emissions. Thus, the study of energy-efficient training for DNNs is essential. In training, the linear layers consume the most energy because of the intense use of energy-consuming full-precision (FP32) multiplication in multiply-accumulate (MAC). The energy-efficient works try to decrease the precision of multiplication or replace the multiplication with energy-efficient operations such as addition or bitwise shift, to reduce the energy consumption of FP32 multiplications. However, the existing energy-efficient works cannot replace all of the FP32 multiplications during both forward and backward propagation with low-precision energy-efficient operations. In this work, we propose an Adaptive Layer-wise Scaling PoT Quantization (ALS-POTQ) method and a Multiplication-Free MAC (MF-MAC) to replace all of the FP32 multiplications with the INT4 additions and 1-bit XOR operations. In addition, we propose Weight Bias Correction and Parameterized Ratio Clipping techniques for stable training and improving accuracy. In our training scheme, all of the above methods do not introduce extra multiplications, so we reduce up to 95.8% of the energy consumption in linear layers during training. Experimentally, we achieve an accuracy degradation of less than 1% for CNN models on ImageNet and Transformer model on the WMT En-De task. In summary, we significantly outperform the existing methods for both energy efficiency and accuracy.


title: Five-year in-orbit background of Insight-HXMT

abstract: Purpose: We present the five-year in-orbit background evolution of Insight-HXMT since the launch, as well as the effects of the background model in data analysis. Methods: The backgrounds of the three main payloads, i.e., Low-Energy Telescope, Medium-Energy Telescope and High-Energy Telescope, are described, respectively. The evolution of the background over time is obtained by simply comparing the background in every year during the in-orbit operation of Insight-HXMT. Results: The major observational characteristics of the Insight-HXMT in-orbit background are presented, including the light curve, spectrum, geographical distribution, and long-term evolution. The systematic error in background estimation is investigated for every year. Conclusion: The observational characteristics of the five-year in-orbit background are consistent with our knowledge of the satellite design and the space environment, and the background model is still valid for the latest observations of Insight-HXMT.


title: Interpretable and intervenable ultrasonography-based machine learning models for pediatric appendicitis

abstract: Appendicitis is among the most frequent reasons for pediatric abdominal surgeries. Previous decision support systems for appendicitis have focused on clinical, laboratory, scoring, and computed tomography data and have ignored abdominal ultrasound, despite its noninvasive nature and widespread availability. In this work, we present interpretable machine learning models for predicting the diagnosis, management and severity of suspected appendicitis using ultrasound images. Our approach utilizes concept bottleneck models (CBM) that facilitate interpretation and interaction with high-level concepts understandable to clinicians. Furthermore, we extend CBMs to prediction problems with multiple views and incomplete concept sets. Our models were trained on a dataset comprising 579 pediatric patients with 1709 ultrasound images accompanied by clinical and laboratory data. Results show that our proposed method enables clinicians to utilize a human-understandable and intervenable predictive model without compromising performance or requiring time-consuming image annotation when deployed. For predicting the diagnosis, the extended multiview CBM attained an AUROC of 0.80 and an AUPR of 0.92, performing comparably to similar black-box neural networks trained and tested on the same dataset.


title: Role-playing software architecture styles

abstract: Software Architecture, from definition to maintenance and evolution, is a complex aspect of software development and, consequently, a challenging subject when it comes to teaching it, and learning it. Many research efforts have been devoted to designing teaching approaches, strategies and tools. Most of them, however, focus on the knowledge itself and the ways to convey it to students, rather than on the different learning styles of students themselves. Teaching methods which predominantly rely on verbal and written communication, are very well aligned with some learning styles. However, students with learning styles that benefit more from physical activity or first-hand experience, need to defer to cognitive processes that are less natural to them. In this work, we propose an innovative use of role-playing as teaching strategy for architecture models of reference (i.e. layered, pipe and filter, client-server, etc.). This role-playing of different software architectures, in which students play the part of specific components in the system, intends to complement other classical teaching materials, such as in-person or recorded lectures, lab assignments, or development projects. Addressing all learning styles within a classroom is key to ensure that we favour and foster the students' different learning processes, and give everyone an even playfield in which to best develop their capabilities as Software Architects.


title: Reconfigurable Intelligent Surfaces to Enable Energy-Efficient IoT Networks

abstract: In this article, we study the uplink (UL) channel of a cellular network of Internet of Things (IoT) devices assisted by a reconfigurable intelligent surface (RIS) with a limited number of reflecting angle configurations. Firstly, we derive an expression of the required transmit power for the machine-type devices (MTDs) to attain a target signal-to-noise ratio (SNR), considering a channel model that accounts for the RIS discretization into sub-wavelength reflecting elements. Such an expression demonstrates that the transmit power depends on the target SNR, the position of the MTD in the service area, and the RIS setup, which includes the number of reflecting elements and the available reflecting angle configurations. Secondly, we develop an expression for the expected battery lifetime (EBL) of the MTDs, which explicitly depends on the MTD transmit power. Numerical simulations on the energy efficiency (EE) evaluated via the EBL demonstrate the benefits of adopting RISs to enable energy-efficient IoT networks.


title: Choosing an effective setup for stream processing

abstract: This project aims to study the feasibility and cost-effectiveness of using edge computing for stream data processing in the context of Internet of Things (IoT) in manufacturing in Europe. Two scenarios were considered: using edge computing to reduce latency and using a popular public cloud provider. Both scenarios demonstrated high throughput, with the edge computing scenario slightly outperforming the public cloud scenario. The impact on resource utilization was also measured, with the edge node showing slightly lower resource usage than the cloud node. The experiment concluded that running the system at the edge is more cost-efficient, but only using any Infrastructure as a Service (IaaS) provider acting as the infrastructure provider. IaaS providers will be crucial in offering edge solutions and identifying geographical areas where regional data centers could be used as points of presence for low-latency applications. Keywords: edge computing, stream data processing, Internet of Things (IoT), manufacturing, Europe, latency, throughput, resource utilization, cost-efficiency, infrastructure as a service (IaaS), regional data centers, low-latency applications, cloud computing, feasibility study.


title: A framework for designing experimental tasks in contemporary physics lab courses

abstract: While lab courses are an integral part of studying physics aiming at a huge variety of learning objectives, research has shown that typical lab courses do not reach all the desired goals. While diverse approaches by lab instructors and researchers try to increase the effectiveness of lab courses, experimental tasks remain the core of any lab course. To keep an overview of these developments and to give instructors (and researchers) a guideline for their own professional efforts at hand, we introduce a research-informed framework for designing experimental tasks in contemporary physics lab courses. In addition, we demonstrate within the scope of the EU-co-funded DigiPhysLab-project how the framework can be used to characterize existing or develop new high-quality experimental tasks for physics lab courses.


title: Video Quality Assessment with Texture Information Fusion for Streaming Applications

abstract: The rise in video streaming applications has increased the demand for video quality assessment (VQA). In 2016, Netflix introduced Video Multi-Method Assessment Fusion (VMAF), a full reference VQA metric that strongly correlates with perceptual quality, but its computation is time-intensive. We propose a Discrete Cosine Transform (DCT)-energy-based VQA with texture information fusion (VQ-TIF) model for video streaming applications that determines the visual quality of the reconstructed video compared to the original video. VQ-TIF extracts Structural Similarity (SSIM) and spatiotemporal features of the frames from the original and reconstructed videos and fuses them using a long short-term memory (LSTM)-based model to estimate the visual quality. Experimental results show that VQ-TIF estimates the visual quality with a Pearson Correlation Coefficient (PCC) of 0.96 and a Mean Absolute Error (MAE) of 2.71, on average, compared to the ground truth VMAF scores. Additionally, VQ-TIF estimates the visual quality at a rate of 9.14 times faster than the state-of-the-art VMAF implementation, along with an 89.44 % reduction in energy consumption, assuming an Ultra HD (2160p) display resolution.


title: Approximation properties of Fell bundles over inverse semigroups and non-Hausdorff groupoids

abstract: In this paper we study the nuclearity and weak containment property of reduced cross-sectional C*-algebras of Fell bundles over inverse semigroups. In order to develop the theory, we first prove an analogue of Fell's absorption trick in the context of Fell bundles over inverse semigroups. In parallel, the approximation property of Exel can be reformulated in this context, and Fell's absorption trick can be used to prove that the approximation property, as defined here, implies that the full and reduced cross-sectional C*-algebras are isomorphic via the left regular representation, i.e., the Fell bundle has the weak containment property. We then use this machinery to prove that a Fell bundle with the approximation property and nuclear unit fiber has a nuclear cross-sectional \cstar{}algebra. This result gives nuclearity of a large class of C*-algebras, as, remarkably, all the machinery in this paper works for \'{e}tale non-Hausdorff groupoids just as well.


title: Automatic Internal Stray Light Calibration of AMCW Coaxial Scanning LiDAR Using GMM and PSO

abstract: In this paper, an automatic calibration algorithm is proposed to reduce the depth error caused by internal stray light in amplitude-modulated continuous wave (AMCW) coaxial scanning light detection and ranging (LiDAR). Assuming that the internal stray light generated in the process of emitting laser is static, the amplitude and phase delay of internal stray light are estimated using the Gaussian mixture model (GMM) and particle swarm optimization (PSO). Specifically, the pixel positions in a raw signal amplitude map of calibration checkboard are segmented by GMM with two clusters considering the dark and bright image pattern. The loss function is then defined as L1-norm of difference between mean depths of two amplitude-segmented clusters. To avoid overfitting at a specific distance in PSO process, the calibration check board is actually measured at multiple distances and the average of corresponding L1 loss functions is chosen as the actual loss. Such loss is minimized by PSO to find the two optimal target parameters: the amplitude and phase delay of internal stray light. According to the validation of the proposed algorithm, the original loss is reduced from tens of centimeters to 3.2 mm when the measured distances of the calibration checkboard are between 1 m and 4 m. This accurate calibration performance is also maintained in geometrically complex measured scene. The proposed internal stray light calibration algorithm in this paper can be used for any type of AMCW coaxial scanning LiDAR regardless of its optical characteristics.


title: SAINE: Scientific Annotation and Inference Engine of Scientific Research

abstract: We present SAINE, an Scientific Annotation and Inference ENgine based on a set of standard open-source software, such as Label Studio and MLflow. We show that our annotation engine can benefit the further development of a more accurate classification. Based on our previous work on hierarchical discipline classifications, we demonstrate its application using SAINE in understanding the space for scholarly publications. The user study of our annotation results shows that user input collected with the help of our system can help us better understand the classification process. We believe that our work will help to foster greater transparency and better understand scientific research. Our annotation and inference engine can further support the downstream meta-science projects. We welcome collaboration and feedback from the scientific community on these projects. The demonstration video can be accessed from https://youtu.be/yToO-G9YQK4. A live demo website is available at https://app.heartex.com/user/signup/?token=e2435a2f97449fa1 upon free registration.


title: Bayesian inference on average treatment effects in the PreventS trial data in the presence of unmeasured confounding

abstract: Using the PreventS trial data, our objective is to estimate average effects of a Health Wellness Coaching (HWC) intervention on improvement of cardiovascular health at 9 months post randomization and in three consecutive 3-month periods over 9 months post randomization. Conventional approaches, including instrumental variable models, are not applicable in the presence of multiple correlated multivalued exposures and unmeasured confounding. We propose a causal framework and its Bayesian modelling procedures to identify and estimate average effects of one or multiple multivalued exposures on one outcome in the presence of unmeasured confounding, noncompliance and missing data, in a two-arm randomized trial. We also propose estimation methods of unmeasured confounders, where the exposure and outcome distributions are conditional on unmeasured confounders and then unmeasured confounders are imputed as completely missing variables. Several types of model non-identifiability and possible solutions are described. There is a risk that estimation methods of unmeasured confounders can fail when multiple contradictory posterior solutions are produced. The random intercept outcome models that only adjust for unmeasured confounding in the outcome distribution are proposed as a good surrogate causal model in this case, and they need further development. There is evidence that the HWC intervention is beneficial to cardiovascular health at 9 months post randomization. On average, completing one HWC session improves the Life's Simple Seven total score by 0.16 (0.09, 0.22) and reduces systolic blood pressure by 0.54 (0.19, 0.90) mm Hg. There is also evidence that the HWC intervention has a larger beneficial effect on cardiovascular health during 3 months post randomization. There is no clear evidence that the HWC intervention benefits or harms mental health. The complete abstract is in the article.


title: Learning to Estimate Single-View Volumetric Flow Motions without 3D Supervision

abstract: We address the challenging problem of jointly inferring the 3D flow and volumetric densities moving in a fluid from a monocular input video with a deep neural network. Despite the complexity of this task, we show that it is possible to train the corresponding networks without requiring any 3D ground truth for training. In the absence of ground truth data we can train our model with observations from real-world capture setups instead of relying on synthetic reconstructions. We make this unsupervised training approach possible by first generating an initial prototype volume which is then moved and transported over time without the need for volumetric supervision. Our approach relies purely on image-based losses, an adversarial discriminator network, and regularization. Our method can estimate long-term sequences in a stable manner, while achieving closely matching targets for inputs such as rising smoke plumes.


title: Safe Peeling for L0-Regularized Least-Squares with supplementary material

abstract: We introduce a new methodology dubbed ``safe peeling'' to accelerate the resolution of L0-regularized least-squares problems via a Branch-and-Bound (BnB) algorithm. Our procedure enables to tighten the convex relaxation considered at each node of the BnB decision tree and therefore potentially allows for more aggressive pruning. Numerical simulations show that our proposed methodology leads to significant gains in terms of number of nodes explored and overall solving time.s show that our proposed methodology leads to significant gains in terms of number of nodes explored and overall solving time.


title: TV-watching partner robot: Analysis of User's Experience

abstract: Watching TV not only provides news information but also gives an opportunity for different generations to communicate. With the proliferation of smartphones, PC, and the Internet, increase the opportunities for communication in front of the television is also likely to diminish. This has led to some problems further from face-to-face such as a lack of self-control and insufficient development of communication skills. This paper proposes a TV-watching companion robot with open-domain chat ability. The robot contains two modes: TV-watching mode and conversation mode. In TV-watching mode, the robot first extracts keywords from the TV program and then generates the disclosure utterances based on the extracted keywords as if enjoying the TV program. In the conversation mode, the robot generates question utterances with keywords in the same way and then employs a topics-based dialog management method consisting of multiple dialog engines for rich conversations related to the TV program. We conduct the initial experiments and the result shows that all participants from the three groups enjoyed talking with the robot, and the question about their interests in the robot was rated 6.5/7-levels. This indicates that the proposed conversational features of TV-watching Companion Robot have the potential to make our daily lives more enjoyable. Under the analysis of the initial experiments, we achieve further experiments with more participants by dividing them into two groups: a control group without a robot and an intervention group with a robot. The results show that people prefer to talk to robots because the robot will bring more enjoyable, relaxed, and interesting.


title: Implicit Bilevel Optimization: Differentiating through Bilevel Optimization Programming

abstract: Bilevel Optimization Programming is used to model complex and conflicting interactions between agents, for example in Robust AI or Privacy-preserving AI. Integrating bilevel mathematical programming within deep learning is thus an essential objective for the Machine Learning community. Previously proposed approaches only consider single-level programming. In this paper, we extend existing single-level optimization programming approaches and thus propose Differentiating through Bilevel Optimization Programming (BiGrad) for end-to-end learning of models that use Bilevel Programming as a layer. BiGrad has wide applicability and can be used in modern machine learning frameworks. BiGrad is applicable to both continuous and combinatorial Bilevel optimization problems. We describe a class of gradient estimators for the combinatorial case which reduces the requirements in terms of computation complexity; for the case of the continuous variable, the gradient computation takes advantage of the push-back approach (i.e. vector-jacobian product) for an efficient implementation. Experiments show that the BiGrad successfully extends existing single-level approaches to Bilevel Programming.


title: Completions and Terminal Monads

abstract: We consider the terminal monad among those preserving the objects of a subcategory, and in particular preserving the image of a monad. Several common monads are shown to be uniquely characterized by the property of being terminal objects in the category of co-augmented endo-functors. Once extended to infinity categories, this gives, for example, a complete characterization of the well-known Bousfield-Kan R-homology completion. In addition, we note that an idempotent pro-completion tower can be associated with any co-augmented endo functor M, whose limit is the terminal monad that preserves the closure of ImM, the image of M, under finite limits. We conclude that some basic properties of the homological completion tower of a space can be formulated and proved for general monads over any category with limits, and characterized as universal


title: Benchmarking Deepart Detection

abstract: Deepfake technologies have been blurring the boundaries between the real and unreal, likely resulting in malicious events. By leveraging newly emerged deepfake technologies, deepfake researchers have been making a great upending to create deepfake artworks (deeparts), which are further closing the gap between reality and fantasy. To address potentially appeared ethics questions, this paper establishes a deepart detection database (DDDB) that consists of a set of high-quality conventional art images (conarts) and five sets of deepart images generated by five state-of-the-art deepfake models. This database enables us to explore once-for-all deepart detection and continual deepart detection. For the two new problems, we suggest four benchmark evaluations and four families of solutions on the constructed DDDB. The comprehensive study demonstrates the effectiveness of the proposed solutions on the established benchmark dataset, which is capable of paving a way to more interesting directions of deepart detection. The constructed benchmark dataset and the source code will be made publicly available.


title: Existence and rotatability of the two-colored Jones-Wenzl projector

abstract: The two-colored Temperley-Lieb algebra $2\mathrm{TL}_R({}_s {n})$ is a generalization of the Temperley-Lieb algebra. The analogous two-colored Jones-Wenzl projector $\mathrm{JW}_R({}_s {n}) \in 2\mathrm{TL}_R({}_s {n})$ plays an important role in the Elias-Williamson construction of the diagrammatic Hecke category. We give conditions for the existence and rotatability of $\mathrm{JW}_R({}_s {n})$ in terms of the invertibility and vanishing of certain two-colored quantum binomial coefficients. As a consequence, we prove that Abe's category of Soergel bimodules is equivalent to the diagrammatic Hecke category in complete generality.


title: Representation type of cyclotomic quiver Hecke algebras of type $A_\ell^{(1)}$

abstract: We first investigate a connected quiver consisting of all dominant maximal weights for an integrable highest weight module in affine type A. This quiver provides an efficient method to obtain all dominant maximal weights. Then, we completely determine the representation type of cyclotomic Khovanov-Lauda-Rouquier algebras of arbitrary level in affine type A, by using the quiver we construct. This result gives a complete classification for the representation type of blocks of cyclotomic Hecke algebras since cyclotomic KLR algebras of type $A^{(1)}_\ell$ form a one-parameter family and cyclotomic Hecke algebras occur at a special parameter, i.e., $t=-2$ if $\ell=1$ and $t=(-1)^{\ell+1}$ if $\ell\geq2$.


title: Scenarios and branch points to future machine intelligence

abstract: We discuss scenarios and branch points to four major possible consequences regarding future machine intelligence; 1) the singleton scenario where the first and only super-intelligence acquires a decisive strategic advantage, 2) the multipolar scenario where the singleton scenario is not technically denied but political or other factors in human society or multi-agent interactions between the intelligent agents prevent a single agent from gaining a decisive strategic advantage, 3) the ecosystem scenario where the singleton scenario is denied and many autonomous intelligent agents operate in such a way that they are interdependent and virtually unstoppable, and 4) the upper-bound scenario where cognitive capabilities that can be achieved by human-designed intelligent agents or their descendants are inherently limited to the sub-human level. We identify six major constraints that can form branch points to these scenarios; (1) constraints on autonomy, (2) constraints on the ability to improve self-structure, (3) constraints related to thermodynamic efficiency, (4) constraints on updating physical infrastructure, (5) constraints on relative advantage, and (6) constraints on locality.


title: A Survey of Automatic Generation of Attack Trees and Attack Graphs

abstract: Graphical security models constitute a well-known, user-friendly way to represent the security of a system. These kinds of models are used by security experts to identify vulnerabilities and assess the security of a system. The manual construction of these models can be tedious, especially for large enterprises. Consequently, the research community is trying to address this issue by proposing methods for the automatic generation of such models. In this work, we present a survey illustrating the current status of the automatic generation of two kinds of graphical security models -Attack Trees and Attack Graphs. The goal of this survey is to present the current methodologies used in the field, compare them and present the challenges and future directions for the research community.


title: Evolution of perturbations in a universe with exotic solid-like matter

abstract: We study cosmological perturbations in a universe with only one matter component described by a triplet of fields. Configuration of these fields is the same as for body coordinates of a solid, and they enter the matter Lagrangian only through the kinetic term. We restrict ourselves only to cases with constant pressure to energy density ratio $w$. Superhorizon perturbations have no constant modes with scalar vector and tensor perturbations decaying or growing at different rates, and in cases with pressure to energy density ratio $w>(19-8\sqrt{7})/3\dot{=}-0.722$ perturbations propagate with superluminal sound speed. Regarding our universe, these results illustrate possible challenges with comparing the observational data to models similar to solid inflation, if the inflation is followed by a period during which the studied model is a sufficiently good approximation.


title: Dumont-Thomas complement numeration systems for $\mathbb{Z}$

abstract: We extend the well-known Dumont-Thomas numeration systems to $\mathbb{Z}$ using an approach inspired by the two's complement numeration system. Integers in $\mathbb{Z}$ are canonically represented by a finite word (starting with $\mathtt{0}$ when nonnegative and with $\mathtt{1}$ when negative). The systems are based on two-sided periodic points of substitutions as opposed to the right-sided fixed points. For every periodic point of a substitution, we construct an automaton which returns the letter at position $n\in\mathbb{Z}$ of the periodic point when fed with the representation of $n$ in the corresponding numeration system. The numeration system naturally extends to $\mathbb{Z}^d$. We give an equivalent characterization of the numeration system in terms of a total order on a regular language. Lastly, using particular periodic points, we recover the well-known two's complement numeration system and the Fibonacci analogue of the two's complement numeration system.


title: Symmetries and spectral statistics in chaotic conformal field theories

abstract: We discuss spectral correlations in coarse-grained chaotic two-dimensional CFTs with large central charge. We study a partition function describing the dense part of the spectrum of primary states in a way that disentangles the chaotic properties of the spectrum from those which are a consequence of Virasoro symmetry and modular invariance. We argue that random matrix universality in the near-extremal limit is an independent feature of each spin sector separately; this is a non-trivial statement because the exact spectrum is fully determined by only the spectrum of spin zero primaries and those of a single non-zero spin ("spectral determinacy"). We then describe an argument analogous to the one leading to Cardy's formula for the averaged density of states, but in our case applying it to spectral correlations: assuming statistical universalities in the near-extremal spectrum in all spin sectors, we find similar random matrix universality in a large spin regime far from extremality.


title: RoPAWS: Robust Semi-supervised Representation Learning from Uncurated Data

abstract: Semi-supervised learning aims to train a model using limited labels. State-of-the-art semi-supervised methods for image classification such as PAWS rely on self-supervised representations learned with large-scale unlabeled but curated data. However, PAWS is often less effective when using real-world unlabeled data that is uncurated, e.g., contains out-of-class data. We propose RoPAWS, a robust extension of PAWS that can work with real-world unlabeled data. We first reinterpret PAWS as a generative classifier that models densities using kernel density estimation. From this probabilistic perspective, we calibrate its prediction based on the densities of labeled and unlabeled data, which leads to a simple closed-form solution from the Bayes' rule. We demonstrate that RoPAWS significantly improves PAWS for uncurated Semi-iNat by +5.3% and curated ImageNet by +0.4%.


title: Recent results from DEAP-3600

abstract: DEAP-3600 is the largest running dark matter detector filled with liquid argon, set at SNOLAB, in Sudbury, Canada, 2 km underground. The experiment holds the most stringent exclusion limit in argon for WIMPs above 20 GeV/c$^2$. In the most recent published analysis, the background events due to alpha-induced scintillation in the neck of the detector limited the sensitivity. The sensitivity of the detector in the next WIMP search will be improved thanks to the decrease in backgrounds achieved by hardware upgrades and applying multivariate analyses. Moreover, the WIMP analysis has been revisited in terms of a non-relativistic effective field theory framework, and the impact of possible substructures in the galactic dark matter halo was explored. This analysis was motivated by the latest results from Gaia and the Sloan Sky Digital Survey. Here DEAP-3600 set the world's best exclusion limit for xenon-phobic dark matter scenarios. Finally, a custom-developed analysis has recently pointed out the extraordinary sensitivity to ultra-heavy, multi-scattering dark matter candidates, resulting in world-leading exclusion limits on two composite dark matter candidates up to Planck scale masses. These proceedings, after a quick overview of the dark matter detection in DEAP-3600, outline the detector upgrades and the dark matter search results from the collaboration of the last three years.


title: Memory-aided Contrastive Consensus Learning for Co-salient Object Detection

abstract: Co-Salient Object Detection (CoSOD) aims at detecting common salient objects within a group of relevant source images. Most of the latest works employ the attention mechanism for finding common objects. To achieve accurate CoSOD results with high-quality maps and high efficiency, we propose a novel Memory-aided Contrastive Consensus Learning (MCCL) framework, which is capable of effectively detecting co-salient objects in real time (~150 fps). To learn better group consensus, we propose the Group Consensus Aggregation Module (GCAM) to abstract the common features of each image group; meanwhile, to make the consensus representation more discriminative, we introduce the Memory-based Contrastive Module (MCM), which saves and updates the consensus of images from different groups in a queue of memories. Finally, to improve the quality and integrity of the predicted maps, we develop an Adversarial Integrity Learning (AIL) strategy to make the segmented regions more likely composed of complete objects with less surrounding noise. Extensive experiments on all the latest CoSOD benchmarks demonstrate that our lite MCCL outperforms 13 cutting-edge models, achieving the new state of the art (~5.9% and ~6.2% improvement in S-measure on CoSOD3k and CoSal2015, respectively). Our source codes, saliency maps, and online demos are publicly available at https://github.com/ZhengPeng7/MCCL.


title: TrainSim: A Railway Simulation Framework for LiDAR and Camera Dataset Generation

abstract: The railway industry is searching for new ways to automate a number of complex train functions, such as object detection, track discrimination, and accurate train positioning, which require the artificial perception of the railway environment through different types of sensors, including cameras, LiDARs, wheel encoders, and inertial measurement units. A promising approach for processing such sensory data is the use of deep learning models, which proved to achieve excellent performance in other application domains, as robotics and self-driving cars. However, testing new algorithms and solutions requires the availability of a large amount of labeled data, acquired in different scenarios and operating conditions, which are difficult to obtain in a real railway setting due to strict regulations and practical constraints in accessing the trackside infrastructure and equipping a train with the required sensors. To address such difficulties, this paper presents a visual simulation framework able to generate realistic railway scenarios in a virtual environment and automatically produce inertial data and labeled datasets from emulated LiDARs and cameras useful for training deep neural networks or testing innovative algorithms. A set of experimental results are reported to show the effectiveness of the proposed approach.


title: Enhancing Classification with Hierarchical Scalable Query on Fusion Transformer

abstract: Real-world vision based applications require fine-grained classification for various area of interest like e-commerce, mobile applications, warehouse management, etc. where reducing the severity of mistakes and improving the classification accuracy is of utmost importance. This paper proposes a method to boost fine-grained classification through a hierarchical approach via learnable independent query embeddings. This is achieved through a classification network that uses coarse class predictions to improve the fine class accuracy in a stage-wise sequential manner. We exploit the idea of hierarchy to learn query embeddings that are scalable across all levels, thus making this a relevant approach even for extreme classification where we have a large number of classes. The query is initialized with a weighted Eigen image calculated from training samples to best represent and capture the variance of the object. We introduce transformer blocks to fuse intermediate layers at which query attention happens to enhance the spatial representation of feature maps at different scales. This multi-scale fusion helps improve the accuracy of small-size objects. We propose a two-fold approach for the unique representation of learnable queries. First, at each hierarchical level, we leverage cluster based loss that ensures maximum separation between inter-class query embeddings and helps learn a better (query) representation in higher dimensional spaces. Second, we fuse coarse level queries with finer level queries weighted by a learned scale factor. We additionally introduce a novel block called Cross Attention on Multi-level queries with Prior (CAMP) Block that helps reduce error propagation from coarse level to finer level, which is a common problem in all hierarchical classifiers. Our method is able to outperform the existing methods with an improvement of ~11% at the fine-grained classification.


title: Improved measurement of the branching fractions of the inclusive decays $D^+ \to K_S^0X $ and $D^0 \to K_S^0X $

abstract: By analyzing 2.93 fb$^{-1}$ of $e^+e^-$ collision data taken at the center-of-mass energy of 3.773 GeV with the BESIII detector, the branching fractions of the inclusive decays $D^+\to K^0_S X$ and $D^0\to K^0_S X$ are measured to be $(32.78\pm 0.13\pm 0.27)\%$ and $(20.54\pm 0.12\pm 0.18)\%$, respectively, where the first uncertainties are statistical and the second are systematic. These results are consistent with the world averages of previous measurements, but with improved precision.


title: Confined-state physics and signs of fermionization of moir\'e excitons in WSe$_2$/MoSe$_2$ heterobilayers

abstract: We revisit and extend the standard bosonic interpretation of interlayer excitons in the moir\'e potential of twisted heterostructures of transition-metal dichalcogenides. In our experiments, we probe a high quality MoSe$_2$/WSe$_2$ van der Waals bilayer heterostructure via density-dependent photoluminescence spectroscopy and reveal strongly developed, unconventional spectral shifts of the emergent moir\'e exciton resonances. The observation of saturating blueshifts of successive exciton resonances allow us to explain their physics in terms of a model utilizing fermionic saturable absorbers. This approach is strongly inspired by established quantum-dot models, which underlines the close analogy of interlayer excitons trapped in pockets of the moir\'e potential, and quantum emitters with discrete eigenstates.


title: Estimating Head Motion from MR-Images

abstract: Head motion is an omnipresent confounder of magnetic resonance image (MRI) analyses as it systematically affects morphometric measurements, even when visual quality control is performed. In order to estimate subtle head motion, that remains undetected by experts, we introduce a deep learning method to predict in-scanner head motion directly from T1-weighted (T1w), T2-weighted (T2w) and fluid-attenuated inversion recovery (FLAIR) images using motion estimates from an in-scanner depth camera as ground truth. Since we work with data from compliant healthy participants of the Rhineland Study, head motion and resulting imaging artifacts are less prevalent than in most clinical cohorts and more difficult to detect. Our method demonstrates improved performance compared to state-of-the-art motion estimation methods and can quantify drift and respiration movement independently. Finally, on unseen data, our predictions preserve the known, significant correlation with age.


title: Formalization of $p$-adic $L$-functions in Lean 3

abstract: The Euler--Riemann zeta function is a largely studied numbertheoretic object, and the birthplace of several conjectures, such as the Riemann Hypothesis. Different approaches are used to study it, including $p$-adic analysis : deriving information from $p$-adic zeta functions. A generalized version of $p$-adic zeta functions (Riemann zeta function) are $p$-adic $L$-functions (resp. Dirichlet $L$-functions). This paper describes formalization of $p$-adic $L$-functions in an interactive theorem prover Lean 3. Kubota--Leopoldt $p$-adic $L$-functions are meromorphic functions emerging from the special values they take at negative integers in terms of generalized Bernoulli numbers. They also take twisted values of the Dirichlet $L$-function at negative integers. This work has never been done before in any theorem prover. Our work is done with the support of \lean{mathlib} 3, one of Lean's mathematical libraries. It required formalization of a lot of associated topics, such as Dirichlet characters, Bernoulli polynomials etc. We formalize these first, then the definition of a $p$-adic $L$-function in terms of an integral with respect to the Bernoulli measure, proving that they take the required values at negative integers.


title: On covering dimension and sections of vector bundles

abstract: An elementary result in point-set topology is used, with knowledge of the mod $2$ cohomology of real projective spaces, to establish classical results of Lebesgue and Knaster-Kuratowski-Mazurkiewicz, as well as the topological central point theorem of Karasev, which is applied to deduce results of Helly-Lov\'asz, B\'ar\'any and Tverberg


title: Open Strange Mesons in (magnetized) nuclear matter

abstract: We investigate the mass modifications of open strange mesons (vector $K^*$ and axial vector $K_1$) in (magnetized) isospin asymmetric nuclear matter using quantum chromodynamics sum rule (QCDSR) approach. The in-medium decay widths of $K^*$ $\rightarrow$ $K\pi$ and $K_1$ $\rightarrow$ $K^*\pi$ are studied from the mass modifications of $K_1$, $K^*$ and $K$ mesons, using a light quark-antiquark pair creation model, namely the ${}^3 P_0$ model. The in-medium decay width for $K_1$ $\rightarrow$ $K^*\pi$ is compared with the decay widths calculated using a phenomenological Lagrangian. The effects of magnetic fields are also studied on the mass and the partial decay width of the vector $K^*$ meson decaying to $K\pi$. Within the QCD sum rule approach, the medium effects on the masses of the open strange mesons are calculated from the light quark condensates and the gluon condensates in the hadronic medium. The quark condensates are calculated from the medium modifications of the scalar fields ($\sigma$, $\zeta$, and $\delta$) in the mean field approximation within a chiral $SU(3)$ model, while the scalar gluon condensate is obtained from the medium modification of a scalar dilaton field ($\chi$), which is introduced within the model to imitate the scale invariance breaking of QCD.