title: Quantifying degeneracy in singular models via the learning coefficient

abstract: Deep neural networks (DNN) are singular statistical models which exhibit complex degeneracies. In this work, we illustrate how a quantity known as the \emph{learning coefficient} introduced in singular learning theory quantifies precisely the degree of degeneracy in deep neural networks. Importantly, we will demonstrate that degeneracy in DNN cannot be accounted for by simply counting the number of "flat" directions. We propose a computationally scalable approximation of a localized version of the learning coefficient using stochastic gradient Langevin dynamics. To validate our approach, we demonstrate its accuracy in low-dimensional models with known theoretical values. Importantly, the local learning coefficient can correctly recover the ordering of degeneracy between various parameter regions of interest. An experiment on MNIST shows the local learning coefficient can reveal the inductive bias of stochastic opitmizers for more or less degenerate critical points.


title: Isospectral Configurations in Euclidean and Hyperbolic Geometry

abstract: A number of questions related to the length spectrum of surfaces are discussed and in particular the existence of pairs of surfaces which though not isometric are isospectral. Here by isospectral we mean that a pair of bodies have the same distribution of chord lengths. In the Euclidean setting, we study isospectral convex dodecagons found by Mallows and Clark in the 1970's. Starting from their idea, we give constructions for isospectral pairs of hyperbolic surfaces that have no common cover. Since the work of Mallows and Clark is probably unfamiliar to readers with a background in topology/hyperbolic geometry we include expository material on other related topics about the distribution of chord lengths.


abstract: We present Constrained Stein Variational Trajectory Optimization (CSVTO), an algorithm for performing trajectory optimization with constraints on a set of trajectories in parallel. We frame constrained trajectory optimization as a novel form of constrained functional minimization over trajectory distributions, which avoids treating the constraints as a penalty in the objective and allows us to generate diverse sets of constraint-satisfying trajectories. Our method uses Stein Variational Gradient Descent (SVGD) to find a set of particles that approximates a distribution over low-cost trajectories while obeying constraints. CSVTO is applicable to problems with arbitrary equality and inequality constraints and includes a novel particle resampling step to escape local minima. By explicitly generating diverse sets of trajectories, CSVTO is better able to avoid poor local minima and is more robust to initialization. We demonstrate that CSVTO outperforms baselines in challenging highly-constrained tasks, such as a 7DoF wrench manipulation task, where CSVTO succeeds in 20/20 trials vs 13/20 for the closest baseline. Our results demonstrate that generating diverse constraint-satisfying trajectories improves robustness to disturbances and initialization over baselines.


title: Cross-Modality Proposal-guided Feature Mining for Unregistered RGB-Thermal Pedestrian Detection

abstract: RGB-Thermal (RGB-T) pedestrian detection aims to locate the pedestrians in RGB-T image pairs to exploit the complementation between the two modalities for improving detection robustness in extreme conditions. Most existing algorithms assume that the RGB-T image pairs are well registered, while in the real world they are not aligned ideally due to parallax or different field-of-view of the cameras. The pedestrians in misaligned image pairs may locate at different positions in two images, which results in two challenges: 1) how to achieve inter-modality complementation using spatially misaligned RGB-T pedestrian patches, and 2) how to recognize the unpaired pedestrians at the boundary. To deal with these issues, we propose a new paradigm for unregistered RGB-T pedestrian detection, which predicts two separate pedestrian locations in the RGB and thermal images, respectively. Specifically, we propose a cross-modality proposal-guided feature mining (CPFM) mechanism to extract the two precise fusion features for representing the pedestrian in the two modalities, even if the RGB-T image pair is unaligned. It enables us to effectively exploit the complementation between the two modalities. With the CPFM mechanism, we build a two-stream dense detector; it predicts the two pedestrian locations in the two modalities based on the corresponding fusion feature mined by the CPFM mechanism. Besides, we design a data augmentation method, named Homography, to simulate the discrepancy in scales and views between images. We also investigate two non-maximum suppression (NMS) methods for post-processing. Favorable experimental results demonstrate the effectiveness and robustness of our method in dealing with unregistered pedestrians with different shifts.


abstract: Most of Continual Learning (CL) methods push the limit of supervised learning settings, where an agent is expected to learn new labeled tasks and not forget previous knowledge. However, these settings are not well aligned with real-life scenarios, where a learning agent has access to a vast amount of unlabeled data encompassing both novel (entirely unlabeled) classes and examples from known classes. Drawing inspiration from Generalized Category Discovery (GCD), we introduce a novel framework that relaxes this assumption. Precisely, in any task, we allow for the existence of novel and known classes, and one must use continual version of unsupervised learning methods to discover them. We call this setting Generalized Continual Category Discovery (GCCD). It unifies CL and GCD, bridging the gap between synthetic benchmarks and real-life scenarios. With a series of experiments, we present that existing methods fail to accumulate knowledge from subsequent tasks in which unlabeled samples of novel classes are present. In light of these limitations, we propose a method that incorporates both supervised and unsupervised signals and mitigates the forgetting through the use of centroid adaptation. Our method surpasses strong CL methods adopted for GCD techniques and presents a superior representation learning performance.


title: Advancements in Point Cloud Data Augmentation for Deep Learning: A Survey

abstract: Deep learning (DL) has become one of the mainstream and effective methods for point cloud analysis tasks such as detection, segmentation and classification. To reduce overfitting during training DL models and improve model performance especially when the amount and/or diversity of training data are limited, augmentation is often crucial. Although various point cloud data augmentation methods have been widely used in different point cloud processing tasks, there are currently no published systematic surveys or reviews of these methods. Therefore, this article surveys these methods, categorizing them into a taxonomy framework that comprises basic and specialized point cloud data augmentation methods. Through a comprehensive evaluation of these augmentation methods, this article identifies their potentials and limitations, serving as a useful reference for choosing appropriate augmentation methods. In addition, potential directions for future research are recommended. This survey contributes to providing a holistic overview of the current state of point cloud data augmentation, promoting its wider application and development.


title: Less is More -- Towards parsimonious multi-task models using structured sparsity

abstract: Model sparsification in deep learning promotes simpler, more interpretable models with fewer parameters. This not only reduces the model's memory footprint and computational needs but also shortens inference time. This work focuses on creating sparse models optimized for multiple tasks with fewer parameters. These parsimonious models also possess the potential to match or outperform dense models in terms of performance. In this work, we introduce channel-wise l1/l2 group sparsity in the shared convolutional layers parameters (or weights) of the multi-task learning model. This approach facilitates the removal of extraneous groups i.e., channels (due to l1 regularization) and also imposes a penalty on the weights, further enhancing the learning efficiency for all tasks (due to l2 regularization). We analyzed the results of group sparsity in both single-task and multi-task settings on two widely-used Multi-Task Learning (MTL) datasets: NYU-v2 and CelebAMask-HQ. On both datasets, which consist of three different computer vision tasks each, multi-task models with approximately 70% sparsity outperform their dense equivalents. We also investigate how changing the degree of sparsification influences the model's performance, the overall sparsity percentage, the patterns of sparsity, and the inference time.


title: Theory vs. Practice in Modeling Edge Storage Systems

abstract: Edge systems promise to bring data and computing closer to the users of time-critical applications. Specifically, edge storage systems are emerging as a new system paradigm, where users can retrieve data from small-scale servers inter-operating at the network's edge. The analysis, design, and optimization of such systems require a tractable model that will reflect their costs and bottlenecks. Alas, most existing mathematical models for edge systems focus on stateless tasks, network performance, or isolated nodes and are inapplicable for evaluating edge-based storage performance. We analyze the capacity-region model - the most promising model proposed so far for edge storage systems. The model addresses the system's ability to serve a set of user demands. Our analysis reveals five inherent gaps between this model and reality, demonstrating the significant remaining challenges in modeling storage service at the edge.


title: The TYC Dataset for Understanding Instance-Level Semantics and Motions of Cells in Microstructures

abstract: Segmenting cells and tracking their motion over time is a common task in biomedical applications. However, predicting accurate instance-wise segmentation and cell motions from microscopy imagery remains a challenging task. Using microstructured environments for analyzing single cells in a constant flow of media adds additional complexity. While large-scale labeled microscopy datasets are available, we are not aware of any large-scale dataset, including both cells and microstructures. In this paper, we introduce the trapped yeast cell (TYC) dataset, a novel dataset for understanding instance-level semantics and motions of cells in microstructures. We release $105$ dense annotated high-resolution brightfield microscopy images, including about $19$k instance masks. We also release $261$ curated video clips composed of $1293$ high-resolution microscopy images to facilitate unsupervised understanding of cell motions and morphology. TYC offers ten times more instance annotations than the previously largest dataset, including cells and microstructures. Our effort also exceeds previous attempts in terms of microstructure variability, resolution, complexity, and capturing device (microscopy) variability. We facilitate a unified comparison on our novel dataset by introducing a standardized evaluation strategy. TYC and evaluation code are publicly available under CC BY 4.0 license.


title: Multi-UAV Deployment in Obstacle-Cluttered Environments with LOS Connectivity

abstract: A reliable communication network is essential for multiple UAVs operating within obstacle-cluttered environments, where limited communication due to obstructions often occurs. A common solution is to deploy intermediate UAVs to relay information via a multi-hop network, which introduces two challenges: (i) how to design the structure of multi-hop networks; and (ii) how to maintain connectivity during collaborative motion. To this end, this work first proposes an efficient constrained search method based on the minimum-edge RRT$^\star$ algorithm, to find a spanning-tree topology that requires a less number of UAVs for the deployment task. To achieve this deployment, a distributed model predictive control strategy is proposed for the online motion coordination. It explicitly incorporates not only the inter-UAV and UAV-obstacle distance constraints, but also the line-of-sight (LOS) connectivity constraint. These constraints are well-known to be nonlinear and often tackled by various approximations. In contrast, this work provides a theoretical guarantee that all agent trajectories are ensured to be collision-free with a team-wise LOS connectivity at all time. Numerous simulations are performed in 3D valley-like environments, while hardware experiments validate its dynamic adaptation when the deployment position changes online.


title: Dense Forests of Microshots in Bursts from FRB 20220912A

abstract: We report on exceptionally bright bursts (>400 Jy ms) detected from the repeating fast radio burst source FRB 20220912A using the Nan\c{c}ay Radio Telescope (NRT), as part of the ECLAT (Extragalactic Coherent Light from Astrophysical Transients) monitoring campaign. These bursts exhibit extremely luminous, broadband, short-duration structures (~ 16 microseconds), which we term 'microshots' and which can be especially well studied in the NRT data given the excellent signal-to-noise and dynamic range (32-bit samples). The estimated peak flux density of the brightest microshot is 450 Jy. We show that the microshots are clustered into dense 'forests', by modelling them as Weibull distributions and obtaining Weibull shape parameters of approximately 0.5. Our polarimetric analysis reveals that the bursts are nearly 100% linearly polarised; have < 10% circular polarisation fractions; a near-zero average rotation measure of 0.10(6) rad/m^2; and varying polarisation position angles over the burst duration. For one of the bursts, we analyse raw voltage data from simultaneous observations with the Westerbork RT-1 single 25-m dish. These data allow us to measure the scintillation bandwidth, 0.30(3) MHz, and to probe the bursts on (sub-)microsecond timescales. Some important nuances related to dedispersion are also discussed. We propose that the emission mechanism for the broadband microshots is potentially different from the emission mechanism of the broader burst components which still show a residual drift of a few hundred MHz/ms after correcting for dispersion using the microshots. We discuss how the observed emission is phenomenologically analogous to different types of radio bursts from the Sun.


title: Cellular diagonals of permutahedra

abstract: We provide a systematic enumerative and combinatorial study of geometric cellular diagonals on the permutahedra. In the first part of the paper, we study the combinatorics of certain hyperplane arrangements obtained as the union of $\ell$ generically translated copies of the classical braid arrangement. Based on Zaslavsky's theory, we derive enumerative results on the faces of these arrangements involving combinatorial objects named partition forests and rainbow forests. This yields in particular nice formulas for the number of regions and bounded regions in terms of exponentials of generating functions of Fuss-Catalan numbers. By duality, the specialization of these results to the case $\ell = 2$ gives the enumeration of any geometric diagonal of the permutahedron. In the second part of the paper, we study diagonals which respect the operadic structure on the family of permutahedra. We show that there are exactly two such diagonals, which are moreover isomorphic. We describe their facets by a simple rule on paths in partition trees, and their vertices as pattern-avoiding pairs of permutations. We show that one of these diagonals is a topological enhancement of the Sanbeblidze-Umble diagonal, and unravel a natural lattice structure on their sets of facets. In the third part of the paper, we use the preceding results to show that there are precisely two isomorphic topological cellular operadic structures on the families of operahedra and multiplihedra, and exactly two infinity-isomorphic geometric universal tensor products of homotopy operads and A-infinity morphisms.


title: An Open-Source ML-Based Full-Stack Optimization Framework for Machine Learning Accelerators

abstract: Parameterizable machine learning (ML) accelerators are the product of recent breakthroughs in ML. To fully enable their design space exploration (DSE), we propose a physical-design-driven, learning-based prediction framework for hardware-accelerated deep neural network (DNN) and non-DNN ML algorithms. It adopts a unified approach that combines backend power, performance, and area (PPA) analysis with frontend performance simulation, thereby achieving a realistic estimation of both backend PPA and system metrics such as runtime and energy. In addition, our framework includes a fully automated DSE technique, which optimizes backend and system metrics through an automated search of architectural and backend parameters. Experimental studies show that our approach consistently predicts backend PPA and system metrics with an average 7% or less prediction error for the ASIC implementation of two deep learning accelerator platforms, VTA and VeriGOOD-ML, in both a commercial 12 nm process and a research-oriented 45 nm process.


title: Nijenhuis operators on low dimensional pre-Lie algebras and solutions of CYBE

abstract: We first classify all Nijenhuis operators on 2-dimensional complex pre-Lie algebras and 3-dimensional complex associative algebras. Moreover, applying the obtained classification, we provide solutions of classical Yang-Baxter equation of the semi-direct product sub-adjacent Lie algebras.


title: The Yukawa potential under weak magnetic field

abstract: Weak magnetic field induced corrections for the Yukawa potential due to one pion exchange between two constituent quarks (nucleons) are presented. For that, the constant magnetic field effect on the pion propagator and on the pion form factor are taken into account. An effective gluon propagator parameterized with an effective gluon mass ($M_g\sim 0.5$\,GeV) is considered. In the limit of magnetic field weak with respect to the constituent quark mass and pion mass, analytical and semi-analytical expressions can be obtained. Different types of contributions are found, isotropic or anisotropic, dependent on the pion mass and also on the constituent quark and effective gluon masses. Overall the corrections are of the order of $2\%$ to $5\%$ of the Yukawa potential at distances close to $2$fm, and they decrease slower than the Yukawa potential. The anistropic corrections are considerably smaller than the isotropic components. A sizable splitting between results due to magnetic field dependent neutral or charged pion mass is found.


title: Solving the matrix exponential function for special orthogonal groups SO(n) and the exceptional G$_2$

abstract: In this work the matrix exponential function is solved analytically for the special orthogonal groups $SO(n)$ up to $n=9$. The number of occurring $k$-th matrix powers gets limited to $0\leq k \leq n-1$ by exploiting the Cayley-Hamilton relation. The corresponding expansion coefficients can be expressed as cosine and sine functions of a vector-norm $V$ and the roots of a polynomial equation that depends on a few specific invariants. Besides the well known case of $SO(3)$, a quadratic equation needs to be solved for $n=4,5$, a cubic equation for $n=6,7$, and a quartic equation for $n=8,9$. As an interesting subgroup of $SO(7)$, the exceptional Lie group $G_2$ of dimension $14$ is constructed via the matrix exponential function through a remarkably simple constraint on an invariant, $\xi=1$. The calculation of the trace of the $SO(n)$-matrices arising from the exponential function, results in a sum of cosines of several angles, which specify the associated conjugation class as a point on a maximal torus.


title: Crossover in density profiles of confined particles in power-law models with finite range of interaction

abstract: We consider a classical system of $N$ particles confined in a harmonic trap in one dimension. The pairwise interaction potential between two particles separated by a distance $r$ is taken to be power-law form, $ V(r) \sim 1/r^k$ known as Riesz gas. We particularly look at the case where the particles can interact up to $d$ particles to its left and right if any. By tuning the values of the parameter $d$, the system can be made from nearest neighbour $(d=1)$ to all-to-all $(d=N-1)$ interaction model, however the scaling function changes dramatically as $f$ is changed. Previous studies inform that the collective theories and the equilibrium densities are different in the two limits. In this article we study the crossover in density profile by tuning the parameter $f(=d/N)$ from $1$ to $0$. We find the system size scaling of the density profile for $f \neq 0$ to be same as it is in the all-to-all coupling case. We have numerically demonstrated the density-crossover for general $k$ and provide our analytical understanding in some special values of $k$ e.g., $k=-1$ and $k \to 0$.


title: Progress Towards a Diffuse Neutrino Search in the Full Livetime of the Askaryan Radio Array

abstract: The Askaryan Radio Array (ARA) is an in-ice ultrahigh energy (UHE, $>10$ PeV) neutrino experiment at the South Pole that aims to detect radio emissions from neutrino-induced particle cascades. ARA has five independent stations which together have collected nearly 24 station-years of data. Each of these stations search for UHE neutrinos by burying in-ice clusters of antennas $\sim 200$ m deep in a roughly cubical lattice with side length $\sim 15$ m. Additionally, the fifth ARA station (A5) has a beamforming trigger, referred to as the Phased Array (PA), consisting of a trigger array of 7 tightly packed vertically-polarized antennas. In this proceeding, we will present a neutrino search with the data of this "hybrid" station, emphasizing its capabilities for improved analysis efficiencies, background rejection, and neutrino vertex reconstruction. This is enabled by combining the closely packed trigger antennas with the long-baselines of the outrigger antennas. We will also place the A5 analysis into the context of the broader five station analysis program, including efforts to characterize and calibrate the detector, model and constrain backgrounds, and reject noise across the entire array. We anticipate this full neutrino search to set world-leading limits above 100 PeV, and inform the next generation of neutrino detection experiments.


title: An Accelerated Block Proximal Framework with Adaptive Momentum for Nonconvex and Nonsmooth Optimization

abstract: We propose an accelerated block proximal linear framework with adaptive momentum (ABPL$^+$) for nonconvex and nonsmooth optimization. We analyze the potential causes of the extrapolation step failing in some algorithms, and resolve this issue by enhancing the comparison process that evaluates the trade-off between the proximal gradient step and the linear extrapolation step in our algorithm. Furthermore, we extends our algorithm to any scenario involving updating block variables with positive integers, allowing each cycle to randomly shuffle the update order of the variable blocks. Additionally, under mild assumptions, we prove that ABPL$^+$ can monotonically decrease the function value without strictly restricting the extrapolation parameters and step size, demonstrates the viability and effectiveness of updating these blocks in a random order, and we also more obviously and intuitively demonstrate that the derivative set of the sequence generated by our algorithm is a critical point set. Moreover, we demonstrate the global convergence as well as the linear and sublinear convergence rates of our algorithm by utilizing the Kurdyka-Lojasiewicz (K{\L}) condition. To enhance the effectiveness and flexibility of our algorithm, we also expand the study to the imprecise version of our algorithm and construct an adaptive extrapolation parameter strategy, which improving its overall performance. We apply our algorithm to multiple non-negative matrix factorization with the $\ell_0$ norm, nonnegative tensor decomposition with the $\ell_0$ norm, and perform extensive numerical experiments to validate its effectiveness and efficiency.


title: Masking Strategies for Background Bias Removal in Computer Vision Models

abstract: Models for fine-grained image classification tasks, where the difference between some classes can be extremely subtle and the number of samples per class tends to be low, are particularly prone to picking up background-related biases and demand robust methods to handle potential examples with out-of-distribution (OOD) backgrounds. To gain deeper insights into this critical problem, our research investigates the impact of background-induced bias on fine-grained image classification, evaluating standard backbone models such as Convolutional Neural Network (CNN) and Vision Transformers (ViT). We explore two masking strategies to mitigate background-induced bias: Early masking, which removes background information at the (input) image level, and late masking, which selectively masks high-level spatial features corresponding to the background. Extensive experiments assess the behavior of CNN and ViT models under different masking strategies, with a focus on their generalization to OOD backgrounds. The obtained findings demonstrate that both proposed strategies enhance OOD performance compared to the baseline models, with early masking consistently exhibiting the best OOD performance. Notably, a ViT variant employing GAP-Pooled Patch token-based classification combined with early masking achieves the highest OOD robustness.


title: Israil Moiseevich Gelfand [In Russian]

abstract: I was lucky to meet (and even cooperate at some extent) with Israel M. Gelfand, and tried to write down (mainly in 2003-2013) my recollections about his work style and lessons I learned from him about teaching and writing mathematics (though the views are my own and I.M. is not responsible for them in any way).


title: Resiliency Analysis of LLM generated models for Industrial Automation

abstract: This paper proposes a study of the resilience and efficiency of automatically generated industrial automation and control systems using Large Language Models (LLMs). The approach involves modeling the system using percolation theory to estimate its resilience and formulating the design problem as an optimization problem subject to constraints. Techniques from stochastic optimization and regret analysis are used to find a near-optimal solution with provable regret bounds. The study aims to provide insights into the effectiveness and reliability of automatically generated systems in industrial automation and control, and to identify potential areas for improvement in their design and implementation.


title: Space-time hybridizable discontinuous Galerkin method for advection-diffusion on deforming domains: The advection-dominated regime

abstract: We analyze a space-time hybridizable discontinuous Galerkin method to solve the time-dependent advection-diffusion equation on deforming domains. We prove stability of the discretization in the advection-dominated regime by using weighted test functions and derive a priori space-time error estimates. A numerical example illustrates the theoretical results.


title: Semantic Change Detection for the Romanian Language

abstract: Automatic semantic change methods try to identify the changes that appear over time in the meaning of words by analyzing their usage in diachronic corpora. In this paper, we analyze different strategies to create static and contextual word embedding models, i.e., Word2Vec and ELMo, on real-world English and Romanian datasets. To test our pipeline and determine the performance of our models, we first evaluate both word embedding models on an English dataset (SEMEVAL-CCOHA). Afterward, we focus our experiments on a Romanian dataset, and we underline different aspects of semantic changes in this low-resource language, such as meaning acquisition and loss. The experimental results show that, depending on the corpus, the most important factors to consider are the choice of model and the distance to calculate a score for detecting semantic change.


title: Tunable ultrafast thermionic emission from femtosecond-laser hot spot on a metal surface: role of laser polarization and angle of incidence

abstract: Ultrafast laser induced thermionic emission from metal surfaces has several applications. Here, we investigate the role of laser polarization and angle of incidence on the ultrafast thermionic emission process from laser driven gold coated glass surface. The spatio-temporal evolution of electron and lattice temperatures are obtained using an improved three-dimensional (3D) two-temperature model (TTM) which takes into account the 3D laser pulse profile focused obliquely onto the surface. The associated thermionic emission features are described through modified Richardson-Dushman equation, including dynamic space charge effects and are included self-consistently in our numerical approach. We show that temperature dependent reflectivity influences laser energy absorption. The resulting peak electron temperature on the metal surface monotonically increases with angle of incidence for P polarization, while for S polarization it shows opposite trend. We observe that thermionic emission duration shows strong dependence on angle of incidence and contrasting polarization dependent behaviour. The duration of thermionic current shows strong correlation to the intrinsic electron-lattice thermalization time, in a fluence regime well below the damage threshold of gold. The observations and insights have important consequences in designing ultrafast thermionic emitters based on a metal based architecture.

categories: physics.optics cond-mat.mes-hall cond-mat.mtrl-sci physics.app-ph physics.plasm-ph


title: Lite-HRNet Plus: Fast and Accurate Facial Landmark Detection

abstract: Facial landmark detection is an essential technology for driver status tracking and has been in demand for real-time estimations. As a landmark coordinate prediction, heatmap-based methods are known to achieve a high accuracy, and Lite-HRNet can achieve a fast estimation. However, with Lite-HRNet, the problem of a heavy computational cost of the fusion block, which connects feature maps with different resolutions, has yet to be solved. In addition, the strong output module used in HRNetV2 is not applied to Lite-HRNet. Given these problems, we propose a novel architecture called Lite-HRNet Plus. Lite-HRNet Plus achieves two improvements: a novel fusion block based on a channel attention and a novel output module with less computational intensity using multi-resolution feature maps. Through experiments conducted on two facial landmark datasets, we confirmed that Lite-HRNet Plus further improved the accuracy in comparison with conventional methods, and achieved a state-of-the-art accuracy with a computational complexity with the range of 10M FLOPs.


title: DarkDiff: Explainable web page similarity of TOR onion sites

abstract: In large-scale data analysis, near-duplicates are often a problem. For example, with two near-duplicate phishing emails, a difference in the salutation (Mr versus Ms) is not essential, but whether it is bank A or B is important. The state-of-the-art in near-duplicate detection is a black box approach (MinHash), so one only knows that emails are near-duplicates, but not why. We present DarkDiff, which can efficiently detect near-duplicates while providing the reason why there is a near-duplicate. We have developed DarkDiff to detect near-duplicates of homepages on the Darkweb. DarkDiff works well on those pages because they resemble the clear web of the past.


title: On Phase Boundaries in Relativistic Korteweg Fluids

abstract: This is the first of several planned papers that study the existence and local-in-time persistence of phase fronts in the Lorentz invariant Euler equations for gases of van der Waals type, aiming at transferring earlier results of Slemrod and of Benzoni-Gavage and collaborators to the context of the theory of relativity. While the later papers will examine more general admissibility criteria, this one uses and extends the author's Lorentz invariant formulation of Korteweg's theory of capillarity, establishing a family of phase fronts that have a regular heteroclinic profile with respect to the associated Euler-Korteweg equations.


title: Game-theoretic variants of cardinal invariants

abstract: We investigate game-theoretic variants of cardinal invariants of the continuum. The invariants we treat are the splitting number $\mathfrak{s}$, the reaping number $\mathfrak{r}$, the bounding number $\mathfrak{b}$, the dominating number $\mathfrak{d}$, and the additivity number of the null ideal $\operatorname{add}(\mathsf{null})$. By using games on splitting families, we find a new cardinal invariant that differs from previously studied cardinal invariants. We also consider games, called tallness games, defined according to ideals on $\omega$ and characterize that each of Player I and Player II has a winning strategy.


title: TOI-332 b: a super dense Neptune found deep within the Neptunian desert

abstract: To date, thousands of planets have been discovered, but there are regions of the orbital parameter space that are still bare. An example is the short period and intermediate mass/radius space known as the Neptunian desert, where planets should be easy to find but discoveries remain few. This suggests unusual formation and evolution processes are responsible for the planets residing here. We present the discovery of TOI-332 b, a planet with an ultra-short period of $0.78$ d that sits firmly within the desert. It orbits a K0 dwarf with an effective temperature of $5251 \pm 71$ K. TOI-332 b has a radius of $3.20^{+0.16}_{-0.12}$ R$_{\oplus}$, smaller than that of Neptune, but an unusually large mass of $57.2 \pm 1.6$ M$_{\oplus}$. It has one of the highest densities of any Neptune-sized planet discovered thus far at $9.6^{+1.1}_{-1.3}$ gcm$^{-3}$. A 4-layer internal structure model indicates it likely has a negligible hydrogen-helium envelope, something only found for a small handful of planets this massive, and so TOI-332 b presents an interesting challenge to planetary formation theories. We find that photoevaporation cannot account for the mass loss required to strip this planet of the Jupiter-like envelope it would have been expected to accrete. We need to look towards other scenarios, such as high-eccentricity migration, giant impacts, or gap opening in the protoplanetary disc, to try and explain this unusual discovery.


title: Select-and-Combine (SAC): A Novel Multi-Stereo Depth Fusion Algorithm for Point Cloud Generation via Efficient Local Markov Netlets

abstract: Many practical systems for image-based surface reconstruction employ a stereo/multi-stereo paradigm, due to its ability to scale for large scenes and its ease of implementation for out-of-core operations. In this process, multiple and abundant depth maps from stereo matching must be combined and fused into a single, consistent, and clean point cloud. However, the noises and outliers caused by stereo matching and the heterogenous geometric errors of the poses present a challenge for existing fusion algorithms, since they mostly assume Gaussian errors and predict fused results based on data from local spatial neighborhoods, which may inherit uncertainties from multiple depths resulting in lowered accuracy. In this paper, we propose a novel depth fusion paradigm, that instead of numerically fusing points from multiple depth maps, selects the best depth map per point, and combines them into a single and clean point cloud. This paradigm, called select-and-combine (SAC), is achieved through modeling the point level fusion using local Markov Netlets, a micro-network over point across neighboring views for depth/view selection, followed by a Netlets collapse process for point combination. The Markov Netlets are optimized such that they can inherently leverage spatial consistencies among depth maps of neighboring views, thus they can address errors beyond Gaussian ones. Our experiment results show that our approach outperforms existing depth fusion approaches by increasing the F1 score that considers both accuracy and completeness by 2.07% compared to the best existing method. Finally, our approach generates clearer point clouds that are 18% less redundant while with a higher accuracy before fusion


title: Mesh Conflation of Oblique Photogrammetric Models using Virtual Cameras and Truncated Signed Distance Field

abstract: Conflating/stitching 2.5D raster digital surface models (DSM) into a large one has been a running practice in geoscience applications, however, conflating full-3D mesh models, such as those from oblique photogrammetry, is extremely challenging. In this letter, we propose a novel approach to address this challenge by conflating multiple full-3D oblique photogrammetric models into a single, and seamless mesh for high-resolution site modeling. Given two or more individually collected and created photogrammetric meshes, we first propose to create a virtual camera field (with a panoramic field of view) to incubate virtual spaces represented by Truncated Signed Distance Field (TSDF), an implicit volumetric field friendly for linear 3D fusion; then we adaptively leverage the truncated bound of meshes in TSDF to conflate them into a single and accurate full 3D site model. With drone-based 3D meshes, we show that our approach significantly improves upon traditional methods for model conflations, to drive new potentials to create excessively large and accurate full 3D mesh models in support of geoscience and environmental applications.


title: Relative binning for complete gravitational-wave parameter estimation with higher-order modes and precession, and applications to lensing and third-generation detectors

abstract: Once a gravitational wave signal is detected, the measurement of its source parameters is important to achieve various scientific goals. This is done through Bayesian inference, where the analysis cost increases with the model complexity and the signal duration. For typical binary black hole signals with precession and higher-order modes, one has 15 model parameters. With standard methods, such analyses require at least a few days. For strong gravitational wave lensing, where multiple images of the same signal are produced, the joint analysis of two data streams requires 19 parameters, further increasing the complexity and run time. Moreover, for third generation detectors, due to the lowered minimum sensitive frequency, the signal duration increases, leading to even longer analysis times. With the increased detection rate, such analyses can then become intractable. In this work, we present a fast and precise parameter estimation method relying on relative binning and capable of including higher-order modes and precession. We also extend the method to perform joint Bayesian inference for lensed gravitational wave signals. Then, we compare its accuracy and speed to those of state-of-the-art parameter estimation routines by analyzing a set of simulated signals for the current and third generation of interferometers. Additionally, for the first time, we analyze some real events known to contain higher-order modes with relative binning. For binary black hole systems with a total mass larger than $50\, M_{\odot}$, our method is about 2.5 times faster than current techniques. This speed-up increases for lower masses, with the analysis time being reduced by a factor of 10 on average. In all cases, the recovered posterior probability distributions for the parameters match those found with traditional techniques.


title: Aparecium: Revealing Secrets from Physical Photographs

abstract: Watermarking is a crucial tool for safeguarding copyrights and can serve as a more aesthetically pleasing alternative to QR codes. In recent years, watermarking methods based on deep learning have proved superior robustness against complex physical distortions than traditional watermarking methods. However, they have certain limitations that render them less effective in practice. For instance, current solutions necessitate physical photographs to be rectangular for accurate localization, cannot handle physical bending or folding, and require the hidden area to be completely captured at a close distance and small angle. To overcome these challenges, we propose a novel deep watermarking framework dubbed \textit{Aparecium}. Specifically, we preprocess secrets (i.e., watermarks) into a pattern and then embed it into the cover image, which is symmetrical to the final decoding-then-extracting process. To capture the watermarked region from complex physical scenarios, a locator is also introduced. Besides, we adopt a three-stage training strategy for training convergence. Extensive experiments demonstrate that \textit{Aparecium} is not only robust against different digital distortions, but also can resist various physical distortions, such as screen-shooting and printing-shooting, even in severe cases including different shapes, curvature, folding, incompleteness, long distances, and big angles while maintaining high visual quality. Furthermore, some ablation studies are also conducted to verify our design.


title: $\gamma$-ray detection from occasional flares in T Tauri stars of NGC 2071. I. Observational connection

abstract: NGC 2071 is a star-forming region that overlaps with three $\gamma$-ray sources detected by the Fermi Space Telescope. We propose that strong flare activity in T Tauri stars could produce $\gamma$-ray emission in a way that makes them a counterpart to some unidentified sources detected by the Large Area Telescope aboard the Fermi satellite. We have performed a spectral and temporal analysis for two Fermi data sets: the first 2 yr and the entire 14 yr of observations. We have found that the $\gamma$-ray source is detectable at 3.2$\sigma$ above the background at energies above 100 GeV during the first 2 yr of observation. The analysis of the expected frequency of the highest energy flares occurring in T Tauri stars is consistent with our estimate. In addition, we have determined the minimum energy of the flare that would produce $\gamma$-ray emission, which is $\sim 5 \times 10^{37}$ erg. This agreement becomes a hard observational constraint supporting previous hypotheses about rare flares as the origin of unidentified $\gamma$-ray sources in star-forming regions.


title: A Probabilistic Fluctuation based Membership Inference Attack for Diffusion Models

abstract: Membership Inference Attack (MIA) identifies whether a record exists in a machine learning model's training set by querying the model. MIAs on the classic classification models have been well-studied, and recent works have started to explore how to transplant MIA onto generative models. Our investigation indicates that existing MIAs designed for generative models mainly depend on the overfitting in target models. However, overfitting can be avoided by employing various regularization techniques, whereas existing MIAs demonstrate poor performance in practice. Unlike overfitting, memorization is essential for deep learning models to attain optimal performance, making it a more prevalent phenomenon. Memorization in generative models leads to an increasing trend in the probability distribution of generating records around the member record. Therefore, we propose a Probabilistic Fluctuation Assessing Membership Inference Attack (PFAMI), a black-box MIA that infers memberships by detecting these trends via analyzing the overall probabilistic fluctuations around given records. We conduct extensive experiments across multiple generative models and datasets, which demonstrate PFAMI can improve the attack success rate (ASR) by about 27.9% when compared with the best baseline.


title: Kinematic signatures of a low-mass planet with a moderately inclined orbit in a protoplanetary disk

abstract: A planet embedded in a protoplanetary disk produces a gap by disk-planet interaction. It also generates velocity perturbation of gas, which can also be observed as deviations from the Keplerian rotation in the channel map of molecular line emission, called kinematic planetary features. These observed signatures provide clues to determine the mass of the planet. We investigated the features induced by the planet with an inclined orbit through three-dimensional hydrodynamic simulations. We found that a smaller planet, with the inclination being $\sim 10^{\circ}$ -- $20^{\circ}$, can produce kinematic features as prominent as those induced by the massive coplanar planet. Despite the kinematic features being similar, the gap is shallower and narrower as compared with the case in which the kinematic features are formed by the coplanar planet. We also found that the kinematic features induced by the inclined planet were fainter for rarer CO isotopologues because the velocity perturbation is weaker at the position closer to the midplane, which was different in the case with a coplanar massive planet. This dependence on the isotopologues is distinguished if the planet has the inclined orbit. We discussed two observed kinematic features in the disk of HD 163296. We concluded that the kink observed at 220 au can be induced by the inclined planet, while the kink at 67 au is consistent to that induced by the coplanar planet.


title: Modeling excitable cells with the EMI equations: spectral analysis and iterative solution strategy

abstract: In this work, we are interested in solving large linear systems stemming from the Extra-Membrane-Intra (EMI) model, which is employed for simulating excitable tissues at a cellular scale. After setting the related systems of partial differential equations (PDEs) equipped with proper boundary conditions, we provide numerical approximation schemes for the EMI PDEs and focus on the resulting large linear systems. We first give a relatively complete spectral analysis using tools from the theory of Generalized Locally Toeplitz matrix sequences. The obtained spectral information is used for designing appropriate (preconditioned) Krylov solvers. We show, through numerical experiments, that the presented solution strategy is robust w.r.t. problem and discretization parameters, efficient and scalable.


title: Fractional quantum Hall edge polaritons

abstract: It is commonly believed that light cannot couple to the collective excitations of the fractional quantum Hall effect (FQHE). This assumption relies on Kohn's theorem that states that electron-electron interactions decouple from homogeneous electromagnetic fields due to Galilean invariance. Here, we demonstrate that in finite systems light-matter coupling beyond the dipole approximation breaks Kohn's theorem, and enables the coupling of cavity photons to the plasmonic edge modes of the FQHE. We derive the coupling using the FQHE bulk-boundary correspondence and predict the formation of experimentally detectable plasmon polaritons. In conjunction with recent experiments, we find that a single cavity mode leaves the system's topological protection intact. Interestingly, however, a multimode cavity mediates plasmon backscattering and effectively transforms the edges of the 2D FQHE into a 1D wire. Such cavity-meditated nonlocal backscattering bodes the breakdown of the topological protection in the regime of ultra-strong photon-plasmon coupling. Our analytical framework and findings pave the way for investigating the topological order of the FQHE via optical spectroscopic probes as well as provide new opportunities to control FQHE edge excitations using light.


title: Survey of adaptive containerization architectures for HPC

abstract: Containers offer an array of advantages that benefit research reproducibility and portability across groups and systems. As container tools mature, container security improves, and High-performance computing (HPC) and cloud system tools converge, supercomputing centers are increasingly integrating containers in their workflows. The technology selection process requires sufficient information on the diverse tools available, yet the majority of research into containers still focuses on cloud environments. We consider an adaptive containerization approach, with a focus on accelerating the deployment of applications and workflows on HPC systems using containers. To this end, we discuss the specific HPC requirements regarding container tools, and analyze the entire containerization stack, including container engines and registries, in-depth. Finally, we consider various orchestrator and HPC workload manager integration scenarios.


title: Heat and Wave kernel expansions for stationary spacetimes

abstract: The generator of time-translations on the solution space of the wave equation on stationary spacetimes specialises to the square root of the Laplacian on Riemannian manifolds when the spacetime is ultrastatic. Its spectral analysis therefore constitutes a generalization of classical spectral geometry. If the spacetime is spatially compact the spectrum is discrete and admits a wave-trace expansion at time zero. A Weyl law for the eigenvalues and a wave-trace formula was shown in a previous paper and related to the geometry of the space of null-geodesics. In this paper we investigate the relation to heat kernel coefficients and residues of zeta functions in this context and compute the second non-zero term in the wave-trace expansion. This second coefficient is an analogue in the category of stationary spacetimes of the second heat kernel coefficient of the Laplace operator. The general formula is quite involved but reduces to the usual term involving the scalar curvature when specialised to ultra-static spacetimes.


title: First passage percolation on Erd\H{o}s-R\'{e}nyi graphs with general weights

abstract: We consider first passage percolation on the Erd\H{o}s-R\'{e}nyi graph with $n$ vertices in which each pair of distinct vertices is connected independently by an edge with probability $\lambda/n$ for some $\lambda>1$. The edges of the graph are given non-negative i.i.d. weights with a non-degenerate distribution such that the probability of zero is not too large. We consider the paths with small total weight between two distinct typical vertices and analyse the joint behaviour of the numbers of edges on such paths, the so-called hopcounts, and the total weights of these paths. For $n\to\infty$, we show that, after a suitable transformation, the pairs of hopcounts and total weights of these paths converge in distribution to a Cox process, i.e., a Poisson process with a random intensity measure. The random intensity measure is controlled by two independent random variables, whose distribution is the solution of a distributional fixed point equation and is related to branching processes. For non-arithmetic and arithmetic edge weight distributions we observe different behaviour. In particular, we derive the limiting distribution for the minimal total weight and the corresponding hopcount(s). Our results generalise earlier work of Bhamidi, van der Hofstad and Hooghiemstra, who assume edge weights are exponentially distributed. The main tool we employ is the method of moments.


title: Destroying the Event Horizon of a Rotating Black-Bounce Black Hole

abstract: For a rotating black hole to be nonsingular, it means that there are no spacetime singularities at its center. The destruction of the event horizon of such a rotating black hole is not constrained by the weak cosmic censorship conjecture, which may provide possibilities to understand the internal structure of black hole event horizons. In this paper, we employ test particles with large angular momentum and a scalar field with large angular momentum to investigate the potential of destroying the event horizon of rotating Black-Bounce black holes. Additionally, we investigate the possibility of destroying the event horizon of a rotating Black-Bounce black hole by considering test particles with large angular momentum and scalar fields with large angular momentum, covering the entire range of the rotating Black-Bounce black hole. We analyze the influence of the parameter m on the possibility of destroying the event horizon in this spacetime. Our analysis reveals that under extreme or near-extreme conditions, the event horizon of this spacetime can potentially be destroyed after the absorption of particles energy and angular momentum, as well as the scattering of scalar fields. Additionally, we find that as the parameter m increases, the event horizon of this spacetime model becomes more susceptible to destruction after the injection of test particles or the scattering of scalar fields.


title: Quantum many-body scars in the Bose-Hubbard model with a three-body constraint

abstract: We uncover the exact athermal eigenstates in the Bose-Hubbard (BH) model with a three-body constraint, motivated by the exact construction of quantum many-body scar (QMBS) states in the $S=1$ $XY$ model. These states are generated by applying an $\rm SU(2)$ ladder operator consisting of a linear combination of two-particle annihilation operators to the fully occupied state. By using the improved Holstein-Primakoff expansion, we clarify that the QMBS states in the $S=1$ $XY$ model are equivalent to those in the constrained BH model with additional correlated hopping terms. We also find that, in the strong-coupling limit of the constrained BH model, the QMBS state exists as the lowest-energy eigenstate of the effective model in the highest-energy sector. This fact enables us to prepare the QMBS states in a certain adiabatic process and opens up the possibility of observing them in ultracold-atom experiments.


title: Geo-Sketcher: Rapid 3D Geological Modeling using Geological and Topographic Map Sketches

abstract: The construction of 3D geological models is an essential task in oil/gas exploration, development and production. However, it is a cumbersome, time-consuming and error-prone task mainly because of the model's geometric and topological complexity. The models construction is usually separated into interpretation and 3D modeling, performed by different highly specialized individuals, which leads to inconsistencies and intensifies the challenges. In addition, the creation of models following geological rules is paramount for properly depicting static and dynamic properties of oil/gas reservoirs. In this work, we propose a sketch-based approach to expedite the creation of valid 3D geological models by mimicking how domain experts interpret geological structures, allowing creating models directly from interpretation sketches. Our sketch-based modeler (Geo-Sketcher) is based on sketches of standard 2D topographic and geological maps, comprised of lines, symbols and annotations. We developed a graph-based representation to enable (1) the automatic computation of the relative ages of rock series and layers, and (2) the embedding of specific geological rules directly in the sketching. We introduce the use of Hermite-Birkhoff Radial Basis Functions to interpolate the geological map constraints, and demonstrate the capabilities of our approach with a variety of results with different levels of complexity.


title: Deep optical imaging of star-forming blue early-type galaxies: Color map structures and faint features indicative of recent mergers

abstract: Blue early-type galaxies with galaxy-scale ongoing star formation are interesting targets in order to understand the stellar mass buildup in elliptical and S0 galaxies in the local Universe. We study the star-forming population of blue early-type galaxies to understand the origin of star formation in these otherwise red and dead stellar systems. The legacy survey imaging data taken with the dark energy camera in the $g$, $r$, and $z$ bands for 55 star-forming blue early-type galaxies were examined, and $g-r$ color maps were created. We identified low surface brightness features near 37 galaxies, faint-level interaction signatures near 15 galaxies, and structures indicative of recent merger activity in the optical color maps of all 55 galaxies. These features are not visible in the shallow Sloan Digital Sky Survey imaging data in which these galaxies were originally identified. Low surface brightness features found around galaxies could be remnants of recent merger events. The star-forming population of blue early-type galaxies could be post-merger systems that are expected to be the pathway for the formation of elliptical galaxies. We hypothesize that the star-forming population of blue early-type galaxies is a stage in the evolution of early-type galaxies. The merger features will eventually disappear, fuel for star formation will cease, and the galaxy will move to the passive population of normal early-type galaxies.


title: QCD Axion Hybrid Inflation

abstract: When the inflaton is coupled to the gluon Chern-Simons term for successful reheating, mixing between the inflaton and the QCD axion is generally expected given the solution of the strong CP problem by the QCD axion. This is particularly natural if the inflaton is a different, heavier axion. We propose a scenario in which the QCD axion plays the role of the inflaton by mixing with heavy axions. In particular, if the energy scale of inflation is lower than the QCD scale, a hybrid inflation is realized where the QCD axion plays the role of the inflaton in early stages. We perform detailed numerical calculations to take account of the mixing effects. Interestingly, the initial misalignment angle of the QCD axion, which is usually a free parameter, is determined by the inflaton dynamics. It is found to be close to $\pi$ in simple models. This is the realization of the pi-shift inflation proposed in previous literature, and it shows that QCD axion dark matter and inflation can be closely related. The heavy axion may be probed by future accelerator experiments.


title: Novel regular black holes: geometry, source and shadow

abstract: We propose a two-parameter, static and spherically symmetric regular geometry, which, for specific parameter values represents a regular black hole. The matter required to support such spacetimes within the framework of General Relativity (GR), is found to violate the energy conditions, though not in the entire domain of the radial coordinate. A particular choice of the parameters reduces the regular black hole to a singular, mutated Reissner-Nordstrom geometry. It also turns out that our regular black hole is geodesically complete. Fortunately, despite energy condition violation, we are able to construct a viable source, within the framework of GR coupled to matter, for our regular geometry. The source term involves a nonlinear magnetic monopole in a chosen version of nonlinear electrodynamics. We also suggest an alternative approach towards constructing a source, using the effective Einstein equations which arise in the context of braneworld gravity. Finally, we obtain the circular shadow profile of our regular black hole and provide a preliminary estimate of the metric parameters using recent observational results from the EHT collaboration.


title: Multimodal Latent Emotion Recognition from Micro-expression and Physiological Signals

abstract: This paper discusses the benefits of incorporating multimodal data for improving latent emotion recognition accuracy, focusing on micro-expression (ME) and physiological signals (PS). The proposed approach presents a novel multimodal learning framework that combines ME and PS, including a 1D separable and mixable depthwise inception network, a standardised normal distribution weighted feature fusion method, and depth/physiology guided attention modules for multimodal learning. Experimental results show that the proposed approach outperforms the benchmark method, with the weighted fusion method and guided attention modules both contributing to enhanced performance.


title: Evaluation of Faithfulness Using the Longest Supported Subsequence

abstract: As increasingly sophisticated language models emerge, their trustworthiness becomes a pivotal issue, especially in tasks such as summarization and question-answering. Ensuring their responses are contextually grounded and faithful is challenging due to the linguistic diversity and the myriad of possible answers. In this paper, we introduce a novel approach to evaluate faithfulness of machine-generated text by computing the longest noncontinuous substring of the claim that is supported by the context, which we refer to as the Longest Supported Subsequence (LSS). Using a new human-annotated dataset, we finetune a model to generate LSS. We introduce a new method of evaluation and demonstrate that these metrics correlate better with human ratings when LSS is employed, as opposed to when it is not. Our proposed metric demonstrates an 18% enhancement over the prevailing state-of-the-art metric for faithfulness on our dataset. Our metric consistently outperforms other metrics on a summarization dataset across six different models. Finally, we compare several popular Large Language Models (LLMs) for faithfulness using this metric. We release the human-annotated dataset built for predicting LSS and our fine-tuned model for evaluating faithfulness.


title: A Visualization System for Hexahedral Mesh Quality Study

abstract: In this paper, we introduce a new 3D hex mesh visual analysis system that emphasizes poor-quality areas with an aggregated glyph, highlights overlapping elements, and provides detailed boundary error inspection in three forms. By supporting multi-level analysis through multiple views, our system effectively evaluates various mesh models and compares the performance of mesh generation and optimization algorithms for hexahedral meshes.


title: On bicyclic graphs with maximal Graovac-Ghorbani index

abstract: Graovac-Ghorbani index is a new version of the atom-bond connectivity index. D. Pacheco et al. [D. Pacheco, L. de Lima, C. S. Oliveira, On the Graovac-Ghorbani Index for Bicyclic Graph with No Pendent Vertices, MATCH Commun. Math. Comput. Chem. 86 (2021) 429-448] conjectured a sharp lower and upper bounds to the Graovac-Ghorbani index for all bicyclic graphs. Motivated by their nice work, in this paper we determine the maximal Graovac-Ghorbani index of bicyclic graphs and characterize the corresponding extremal graphs, which solves one of their Conjectures.


title: The potential of VLTI observations for the study of circumstellar disk variability

abstract: Context. A characteristic feature of young stellar objects is their variability, which is caused by a variety of different physical processes. High-resolution interferometric observations in the near- and mid-infrared wavelength ranges spanning multiple epochs allow the detailed study of these processes. Aims. We aim at investigating the expected variations of the interferometric observables connected to changes in the measured photometric fluxes of a typical variable accreting central young stellar object with a circumstellar disk. Methods. We calculated visibilities and closure phases as well as the photometric flux of brightness distributions obtained using 3D Monte Carlo radiative transfer simulations for a model of a circumstellar disk with an accreting central star. Results. Changes in the accretion luminosity of the central object, that is, an accreting pre-main-sequence star, can lead to significant variations in the visibility and closure phase of the star-disk system measured with instruments at the Very Large Telescope Interferometer (VLTI) that can be related to changes in the photometric flux. Taking into account additional effects due to baseline variation, interferometric observations can provide valuable contributions to the understanding of the underlying processes. Additionally, we provide the web application VLTI B-VAR that allows the impact of the hour angle on the visibility and closure phase for customized intensity maps to be estimated.


title: Data-driven decision-focused surrogate modeling

abstract: We introduce the concept of decision-focused surrogate modeling for solving computationally challenging nonlinear optimization problems in real-time settings. The proposed data-driven framework seeks to learn a simpler, e.g. convex, surrogate optimization model that is trained to minimize the decision prediction error, which is defined as the difference between the optimal solutions of the original and the surrogate optimization models. The learning problem, formulated as a bilevel program, can be viewed as a data-driven inverse optimization problem to which we apply a decomposition-based solution algorithm from previous work. We validate our framework through numerical experiments involving the optimization of common nonlinear chemical processes such as chemical reactors, heat exchanger networks, and material blending systems. We also present a detailed comparison of decision-focused surrogate modeling with standard data-driven surrogate modeling methods and demonstrate that our approach is significantly more data-efficient while producing simple surrogate models with high decision prediction accuracy.


title: Incremental Property Directed Reachability

abstract: Property Directed Reachability (PDR) is a widely used technique for formal verification of hardware and software systems. This paper presents an incremental version of PDR (IPDR), which enables the automatic verification of system instances of incremental complexity. The proposed algorithm leverages the concept of incremental SAT solvers to reuse verification results from previously verified system instances, thereby accelerating the verification process. The new algorithm supports both incremental constraining and relaxing; i.e., starting from an over-constrained instance that is gradually relaxed. To validate the effectiveness of the proposed algorithm, we implemented IPDR and experimentally evaluate it on two different problem domains. First, we consider a circuit pebbling problem, where the number of pebbles is both constrained and relaxed. Second, we explore parallel program instances, progressively increasing the allowed number of interleavings. The experimental results demonstrate significant performance improvements compared to Z3's PDR implementation SPACER. Experiments also show that the incremental approach succeeds in reusing a substantial amount of clauses between instances, for both the constraining and relaxing algorithm.


title: NPF-200: A Multi-Modal Eye Fixation Dataset and Method for Non-Photorealistic Videos

abstract: Non-photorealistic videos are in demand with the wave of the metaverse, but lack of sufficient research studies. This work aims to take a step forward to understand how humans perceive non-photorealistic videos with eye fixation (\ie, saliency detection), which is critical for enhancing media production, artistic design, and game user experience. To fill in the gap of missing a suitable dataset for this research line, we present NPF-200, the first large-scale multi-modal dataset of purely non-photorealistic videos with eye fixations. Our dataset has three characteristics: 1) it contains soundtracks that are essential according to vision and psychological studies; 2) it includes diverse semantic content and videos are of high-quality; 3) it has rich motions across and within videos. We conduct a series of analyses to gain deeper insights into this task and compare several state-of-the-art methods to explore the gap between natural images and non-photorealistic data. Additionally, as the human attention system tends to extract visual and audio features with different frequencies, we propose a universal frequency-aware multi-modal non-photorealistic saliency detection model called NPSNet, demonstrating the state-of-the-art performance of our task. The results uncover strengths and weaknesses of multi-modal network design and multi-domain training, opening up promising directions for future works. {Our dataset and code can be found at \url{https://github.com/Yangziyu/NPF200}}.


title: A robust family of exponential attractors for a linear time discretization of the Cahn-Hilliard equation with a source term

abstract: We consider a linear implicit-explicit (IMEX) time discretization of the Cahn-Hilliard equation with a source term, endowed with Dirichlet boundary conditions. For every time step small enough, we build an exponential attractor of the discrete-in-time dynamical system associated to the discretization. We prove that, as the time step tends to 0, this attractor converges for the symmmetric Hausdorff distance to an exponential attractor of the continuous-in-time dynamical system associated with the PDE. We also prove that the fractal dimension of the exponential attractor (and consequently, of the global attractor) is bounded by a constant independent of the time step. The results also apply to the classical Cahn-Hilliard equation with Neumann boundary conditions.


title: Assignment Based Metrics for Attributed Graphs

abstract: We introduce the Graph TT (GTT) and Graph OSPA (GOSPA) metrics based on optimal assignment, which allow us to compare not only the edge structures but also general vertex and edge attributes of graphs of possibly different sizes. We argue that this provides an intuitive and universal way to measure the distance between finite simple attributed graphs. Our paper discusses useful equivalences and inequalities as well as the relation of the new metrics to various existing quantifications of distance between graphs. By deriving a representation of a graph as a pair of point processes, we are able to formulate and study a new type of (finite) random graph convergence and demonstrate its applicability using general point processes of vertices with independent random edges. Computational aspects of the new metrics are studied in the form of an exact and two heuristic algorithms that are derived from previous algorithms for similar tasks. As an application, we perform a statistical test based on the GOSPA metric for functional differences in olfactory neurons of Drosophila flies.


title: Wreath Macdonald polynomials, a survey

abstract: Wreath Macdonald polynomials arise from the geometry of $\Gamma$-fixed loci of Hilbert schemes of points in the plane, where $\Gamma$ is a finite cyclic group of order $r\ge 1$. For $r=1$, they recover the classical (modified) Macdonald symmetric functions through Haiman's geometric realization of these functions. The existence, integrality, and positivity of wreath Macdonald polynomials for $r>1$ was conjectured by Haiman and first proved in work of Bezrukavnikov and Finkelberg by means of an equivalence of derived categories. Despite the power of this approach, a lack of explicit tools providing direct access to wreath Macdonald polynomials -- in the spirit of Macdonald's original works -- has limited progress in the subject. A recent result of Wen provides a remarkable set of such tools, packaged in the representation theory of quantum toroidal algebras. In this article, we survey Wen's result along with the basic theory of wreath Macdonald polynomials, including its geometric foundations and the role of bigraded reflection functors in the construction of wreath analogs of the $\nabla$ operator. We also formulate new conjectures on the values of important constants arising in the theory of wreath Macdonald $P$-polynomials. A variety of examples are used to illustrate these objects and constructions throughout the paper.


title: Constant mean curvature hypersurfaces in Anti-de Sitter space

abstract: We study spacelike entire constant mean curvature hypersurfaces in Anti-de Sitter space of any dimension. First, we give a classification result with respect to their asymptotic boundary, namely we show that every admissible sphere $\Lambda$ is the boundary of a unique such hypersurface, for any given value $H$ of the mean curvature. We also demonstrate that, as $H$ varies in $\mathbb{R}$, these hypersurfaces analytically foliate the invisible domain of $\Lambda$. Finally, we extend Cheng-Yau Theorem to the Anti-de Sitter space, which establishes the completeness of any entire constant mean curvature hypersurface.


title: Tumor-Centered Patching for Enhanced Medical Image Segmentation

abstract: The realm of medical image diagnosis has advanced significantly with the integration of computer-aided diagnosis and surgical systems. However, challenges persist, particularly in achieving precise image segmentation. While deep learning techniques show potential, obstacles like limited resources, slow convergence, and class imbalance impede their effectiveness. Traditional patch-based methods, though common, struggle to capture intricate tumor boundaries and often lead to redundant samples, compromising computational efficiency and feature quality. To tackle these issues, this research introduces an innovative approach centered on the tumor itself for patch-based image analysis. This novel tumor-centered patching method aims to address the class imbalance and boundary deficiencies, enabling focused and accurate tumor segmentation. By aligning patches with the tumor's anatomical context, this technique enhances feature extraction accuracy and reduces computational load. Experimental results demonstrate improved class imbalance, with segmentation scores of 0.78, 0.76, and 0.71 for whole, core, and enhancing tumors, respectively using a lightweight simple U-Net. This approach shows potential for enhancing medical image segmentation and improving computer-aided diagnosis systems.


title: Three loop QCD corrections to the heavy-light form factors in the color-planar limit

abstract: We present the analytic expressions for the color-planar contributions to the heavy-light form factors at three loops in perturbative QCD. These form factors play an important role in the precision predictions of various observables in top quark and flavour physics. We compute the master integrals using the method of differential equations. We perform the ultraviolet renormalization for all the appearing fields and parameters. The analytic results for the renormalized form factors are expressed in terms of generalized harmonic polylogarithms. We also study the Sudakov behaviour of these form factors in the asymptotic limit, which enables us to obtain the complete logarithmic three-loop and partial four-loop contributions.


title: Model reference adaptive control for state and input constrained linear systems

abstract: State and input constraints are ubiquitous in all engineering systems. In this article, we derive adaptive controllers for uncertain linear systems under pre-specified state and input constraints. Several modifications of the model reference adaptive control (MRAC) framework have been proposed to address input constraints in uncertain linear systems. Considering the infeasibility of arbitrary reference trajectories, reference modification has been implemented in the case of input constraints in literature. The resulting conditions on the reference and input signals are difficult to verify online. Similar results on state and input constraints together have also been proposed, albeit resulting in more complex and unverifiable conditions on the control. The primary objective of this article is therefore to account for state and input constraints in uncertain linear systems by providing easily verifiable conditions on the control and reference. A combination of reference modification and barrier Lyapunov methods in adaptive control are employed to arrive at these results.


title: Quantum secured LiDAR with Gaussian modulated coherent states

abstract: LiDAR systems that rely on classical signals are susceptible to intercept-and-recent spoofing attacks, where a target attempts to avoid detection. To address this vulnerability, we propose a quantum-secured LiDAR protocol that utilizes Gaussian modulated coherent states for both range determination and spoofing attack detection. By leveraging the Gaussian nature of the signals, the LiDAR system can accurately determine the range of the target through cross-correlation analysis. Additionally, by estimating the excess noise of the LiDAR system, the spoofing attack performed by the target can be detected, as it can introduce additional noise to the signals. We have developed a model for target detection and security check, and conducted numerical simulations to evaluate the Receiver Operating Characteristic (ROC) of the LiDAR system. The results indicate that an intercept-and-recent spoofing attack can be detected with a high probability at a low false-alarm rate. Furthermore, the proposed method can be implemented using currently available technology, highlighting its feasibility and practicality in real-world applications.


title: Multiple-scale analysis of the simplest large-delay differential equation

abstract: A delayed term in a differential equation reflects the fact that information takes significant time to travel from one place to another within a process being studied. Despite de apparent similarity with ordinary differential equations, delay-differential equations (DDE) are known to be fundamentally different and to require a dedicate mathematical apparatus for their analysis. Indeed, when the delay is large, it was found that they can sometimes be related to spatially extended dynamical systems. The purpose of this paper is to explain this fact in the simplest possible DDE by way of a multiple-scale analysis. We show the asymptotic correspondence of that linear DDE with the diffusion equation. This partial differential equations arises from a solvability condition that differs from the ones usually encountered in textbooks on asymptotics: In the limit of large delays, the leading-order problem is a map and secular divergence at subsequent orders stem from forcing terms in that map.


title: The inequalities of Chern classes and Riemann-Roch type inequalities

abstract: Motivated by Koll\'{a}r-Matsusaka's Riemann-Roch type inequalities, applying effective very ampleness of adjoint bundles on Fujita conjecture and log-concavity given by Khovanskii-Teissier inequalities, we show that for any partition $\lambda$ of the positive integer $d$ there exists a universal bivariate polynomial $Q_\lambda(x, y)$ which has deg $Q \leq d$ and whose coefficients depend only on $n$, such that for any projective manifold $X$ of dimension $n$ and any ample line bundle $L$ on $X$, \begin{equation*} \left|c_\lambda(X)\cdot L^{n -d}\right|\leq \frac{Q_{\lambda}(L^{n}, K_X \cdot L^{n -1} )}{(L^{n})^{d-1}}, \end{equation*} where $K_X$ is the canonical bundle of $X$ and $c_\lambda(X)$ is the monomial Chern class given by the partition $\lambda$. As a special case, when $K_X$ or $-K_X$ is ample, this implies that there exists a constant $c_n$ depending only on $n$ such that for any monomial Chern classes of top degree, the Chern number ratios \begin{equation*} \left|\frac{c_\lambda(X)}{c_1 (X) ^{n}}\right|\leq c_n, \end{equation*} which recovers a recent result of Du-Sun. The main result also yields an asymptotic version of the sharper Riemann-Roch type inequality. Furthermore, using similar method we also obtain inequalities for Chern classes of the logarithmic tangent bundle.


title: Scalar- and Vector Dark Matter Admixed Neutron Stars

abstract: It is believed that dark matter (DM) could accumulate inside neutron stars and significantly change their masses, radii and tidal properties. We study what effect bosonic dark matter, modelled as a massive and self-interacting scalar or vector field, has on neutron stars. We derive equations to compute the tidal deformability of the full Einstein-Hilbert-Klein-Gordon system self-consistently, and probe the influence of the scalar field mass and self-interaction strength on the total mass and tidal properties of the combined system, called fermion boson stars (FBS). We are the first to combine Proca stars with neutron stars to mixed systems of fermions and a vector field in Einstein-Proca theory, which we name fermion Proca stars (FPS). We construct equilibrium solutions of FPS, compute their masses, radii and analyse them regarding their stability and higher modes. We find that FPS tend to be more massive and geometrically larger than FBS for equal boson masses and self-interaction strengths. Both FBS and FPS admit DM core and DM cloud solutions and we find that they can produce degenerate results. Core solutions compactify the neutron star component and lower their tidal deformability, cloud solutions have the inverse effect. Electromagnetic observations of certain cloud-like configurations would appear to violate the Buchdahl limit. The self-interaction strength is found to significantly affect both mass and tidal deformability. We discuss observational constraints and the connection to anomalous detections. We also show how models with an effective equation of state compare to the self-consistent solution of FBS and find the self-interaction strength where both solutions converge sufficiently.


title: Unsupervised anomalies detection in IIoT edge devices networks using federated learning

abstract: In a connection of many IoT devices that each collect data, normally training a machine learning model would involve transmitting the data to a central server which requires strict privacy rules. However, some owners are reluctant of availing their data out of the company due to data security concerns. Federated learning(FL) as a distributed machine learning approach performs training of a machine learning model on the device that gathered the data itself. In this scenario, data is not share over the network for training purpose. Fedavg as one of FL algorithms permits a model to be copied to participating devices during a training session. The devices could be chosen at random, and a device can be aborted. The resulting models are sent to the coordinating server and then average models from the devices that finished training. The process is repeated until a desired model accuracy is achieved. By doing this, FL approach solves the privacy problem for IoT/ IIoT devices that held sensitive data for the owners. In this paper, we leverage the benefits of FL and implemented Fedavg algorithm on a recent dataset that represent the modern IoT/ IIoT device networks. The results were almost the same as the centralized machine learning approach. We also evaluated some shortcomings of Fedavg such as unfairness that happens during the training when struggling devices do not participate for every stage of training. This inefficient training of local or global model could lead in a high number of false alarms in intrusion detection systems for IoT/IIoT gadgets developed using Fedavg. Hence, after evaluating the FedAv deep auto encoder with centralized deep auto encoder ML, we further proposed and designed a Fair Fedavg algorithm that will be evaluated in the future work.


title: The DAMIC excess from WIMP-nucleus elastic scattering

abstract: Two dark matter searches performed with charge-coupled devices (CCDs) in the DAMIC cryostat at SNOLAB reported with high statistical significance the presence of an unidentified source of low-energy events in bulk silicon. The observed spectrum is consistent with nuclear recoils from the elastic scattering of weakly interacting massive particles (WIMPs) with masses between 2 and 4 GeV. In the standard scenario of spin-independent WIMP-nucleus scattering, the derived cross section is conclusively excluded by results in argon by the DarkSide-50 experiment. We identify isospin-violating and spin-dependent scenarios where interactions with $^{40}$Ar are strongly suppressed and the interpretation of the DAMIC excess as WIMP-nucleus elastic scattering remains viable.


title: On the Existence of EFX (and Pareto-Optimal) Allocations for Binary Chores

abstract: We study the problem of allocating a group of indivisible chores among agents while each chore has a binary marginal. We focus on the fairness criteria of envy-freeness up to any item (EFX) and investigate the existence of EFX allocations. We show that when agents have additive binary cost functions, there exist EFX and Pareto-optimal (PO) allocations that can be computed in polynomial time. To the best of our knowledge, this is the first setting of a general number of agents that admits EFX and PO allocations, before which EFX and PO allocations have only been shown to exist for three bivalued agents. We further consider more general cost functions: cancelable and general monotone (both with binary marginal). We show that EFX allocations exist and can be computed for binary cancelable chores, but EFX is incompatible with PO. For general binary marginal functions, we propose an algorithm that computes (partial) envy-free (EF) allocations with at most $n-1$ unallocated items.


title: In-Hand Cube Reconfiguration: Simplified

abstract: We present a simple approach to in-hand cube reconfiguration. By simplifying planning, control, and perception as much as possible, while maintaining robust and general performance, we gain insights into the inherent complexity of in-hand cube reconfiguration. We also demonstrate the effectiveness of combining GOFAI-based planning with the exploitation of environmental constraints and inherently compliant end-effectors in the context of dexterous manipulation. The proposed system outperforms a substantially more complex system for cube reconfiguration based on deep learning and accurate physical simulation, contributing arguments to the discussion about what the most promising approach to general manipulation might be. Project website: https://rbo.gitlab-pages.tu-berlin.de/robotics/simpleIHM/


title: Investigating Short-Term Dynamics in Green Bond Markets

abstract: The paper investigates the effect of the label green in bond markets from the lens of the trading activity. The idea is that jumps in the dynamics of returns have a specific memory nature that can be well represented through a self-exciting process. Specifically, using Hawkes processes where the intensity is described through a continuous time moving average model, we study the high-frequency dynamics of bond prices. We also introduce a bivariate extension of the model that deals with the cross-effect of upward and downward price movements. Empirical results suggest that differences emerge if we consider periods with relevant interest rate announcements, especially in the case of an issuer operating in the energy market.


title: H(650) -> W+W-/ZZ predicts H++ -> W+W+ and H+ -> ZW+, as indicated by LHC data

abstract: Several indications for neutral scalars are observed at the LHC. One of them, a broad resonance peaked at about 650 GeV which we call H(650), was first observed by an outsider combining published histograms from ATLAS and CMS on ZZ -> 4 leptons searches, and this combination shows a local significance close to 4 s.d. Since then, CMS has reported two other indications at the same mass, with similar local significances: H->WW->2leptons+neutrinos and H(650)->bbh(125) where mbb~90 GeV and h(125)->gam gam. ATLAS has completed its analysis of ZZ->4 leptons from which we infer an indication for H(650) with 3.5 s.d. significance. Combining these three results, one gets a global statistical significance above 6 s.d. H(650) has a coupling to WW similar to h(125) and therefore we argue that a sum rule (SR) required by unitarity for W+W- scattering implies that there should be a compensating effect from a doubly charged scalar H++, with a large coupling to W+W+. We therefore predict that this mode should become visible through the vector boson fusion process W+W+->H++, naturally provided by LHC. A recent indication for H++(450)->W+W+ from ATLAS allows a model independent interpretation of this result through the SR constraint which gives BR(H++->W+W+)~10%, implying the occurrence of additional decay modes H+W+ and H+H+ from one or several light H+ with masses below mH++ - mW or MH++/2, that is mH+ < 370 GeV or 225 GeV. A similar analysis is performed for H+(375)->ZW, indicated by ATLAS and CMS. Both channels suggest a scalar field content similar to the Georgi Machacek model with triplets, at variance with the models usually considered. Implications on precision measurements are presented followed by a complete extraction of the GM parameters. An alternate interpretation of the 650 GeV resonance as a tensor is also briefly discussed. Implications for precision measurements are presented.


title: Consistency of common spatial estimators under spatial confounding

abstract: This paper addresses the asymptotic performance of popular spatial regression estimators on the task of estimating the linear effect of an exposure on an outcome under "spatial confounding" -- the presence of an unmeasured spatially-structured variable influencing both the exposure and the outcome. The existing literature on spatial confounding is informal and inconsistent; this paper is an attempt to bring clarity through rigorous results on the asymptotic bias and consistency of estimators from popular spatial regression models. We consider two data generation processes: one where the confounder is a fixed function of space and one where it is a random function (i.e., a stochastic process on the spatial domain). We first show that the estimators from ordinary least squares (OLS) and restricted spatial regression are asymptotically biased under spatial confounding. We then prove a novel main result on the consistency of the generalized least squares (GLS) estimator using a Gaussian process (GP) covariance matrix in the presence of spatial confounding under in-fill (fixed domain) asymptotics. The result holds under very general conditions -- for any exposure with some non-spatial variation (noise), for any spatially continuous confounder, using any choice of Mat\'ern or square exponential Gaussian process covariance used to construct the GLS estimator, and without requiring Gaussianity of errors. Finally, we prove that spatial estimators from GLS, GP regression, and spline models that are consistent under confounding by a fixed function will also be consistent under confounding by a random function. We conclude that, contrary to much of the literature on spatial confounding, traditional spatial estimators are capable of estimating linear exposure effects under spatial confounding in the presence of some noise in the exposure. We support our theoretical arguments with simulation studies.


title: Mitigating the effect of population model uncertainty on strong lensing Bayes factor using nonparametric methods

abstract: Strong lensing of gravitational waves can produce several detectable images as repeated events in the upcoming observing runs, which can be detected with the posterior overlap analysis (Bayes factor). The choice of the binary black hole population plays an important role in the analysis as two gravitational-wave events could be similar either because of lensing or astrophysical coincidence. In this study, we investigate the biases induced by different population models on the Bayes factor. We build up a mock catalogue of gravitational-wave events following a benchmark population and reconstruct it using both non-parametric and parametric methods. Using these reconstructions, we compute the Bayes factor for lensed pair events by utilizing both models and compare the results with a benchmark model. We show that the use of a non-parametric population model gives a smaller bias than parametric population models. Therefore, our study demonstrates the importance of choosing a sufficiently agnostic population model for strong lensing analyses.


title: Scaling limit of the sandpile identity element on the Sierpinski gasket

abstract: We investigate the identity element of the sandpile group on finite approximations of the Sierpinski gasket with normal boundary conditions and show that the sequence of piecewise constant continuations of the identity elements on SG_n converges in the weak* sense to the constant function with value 4 on the Sierpinski gasket SG. We then generalize the proof to a wider range of functions and obtain the scaling limit for the identity elements with different choices of sink vertices.


title: Estimates of approximations by interpolation trigonometric polynomials on the classes of convolutions of high smoothness

abstract: We establish interpolation analogues of Lebesgue type inequalities on the sets of $C^{\psi}_{\beta}L_{1}$ $2\pi$-periodic functions $f$, which are representable as convolutions of generating kernel $\Psi_{\beta}(t) = \sum\limits_{k=1}^{\infty}\psi(k)\cos \big(kt-\frac{\beta\pi}{2}\big)$, $\psi(k)\geq 0$, $\sum\limits_{k=1}^{\infty}\psi(k)<\infty$, $\beta\in\mathbb{R}$, with functions $\varphi$ from $L_{1}$ . In obtained inequalities for each $x\in\mathbb{R}$ the modules of deviations $|f(x)- \tilde{S}_{n-1}(f;x)|$ of interpolation Lagrange polynomials $ \tilde{S}_{n-1}(f;\cdot)$ are estimated via best approximations $E_{n}(\varphi)_{L_{1}}$ of functions $\varphi$ by trigonometric polynomials in $L_{1}$-metrics. When the sequences $\psi(k)$ decrease to zero faster than any power function, the obtained inequalities in many important cases are asymptotically exact. In such cases we also establish the asymptotic equalities for exact upper boundaries of pointwise approximations by interpolation trigonometric polynomials on the classes of convolutions of generating kernel $\Psi_{\beta}$ with functions $\varphi$, which belong to the unit ball from the space $L_{1}$.


title: Profinite Subgroup Accessibility and Recognition of Amalgamated Factors

abstract: We investigate accessible subgroups of a profinite group $G$, i.e. subgroups $H$ appearing as vertex groups in a graph of profinite groups decomposition of $G$ with finite edge groups. We prove that any accessible subgroup $H \leq G$ arises as the kernel of a continuous derivation of $G$ in a free module over its completed group algebra. This allows us to deduce splittings of an abstract group from splittings of its profinite completion. We prove that any finitely generated subgroup $\Delta$ of a finitely generated virtually free group $\Gamma$ whose closure is a factor in a profinite amalgamated product $\widehat{\Gamma} = \overline{\Delta} \amalg_K L$ along a finite $K$ must be a factor in an amalgamated product $\Gamma = \Delta \ast_\chi \Lambda$ along some $\chi \cong K$. This extends previous results of Parzanchevski--Puder, Wilton and Garrido--Jaikin-Zapirain on free factors.


title: Modeling Heat Capacity of Supercritical Fluids: A Phonon Theory Approach

abstract: Recent research shows that liquids and dense supercritical fluids support high frequency shear waves. Here, we proposed a general heat capacity model of supercritical fluids using the latest theoretical findings (the liquid phonon theory). In this theory, heat capacity cv of supercritical fluids is only related to the infinite-frequency shear modulus, Debye relaxation time and minimal length of the longitudinal mode in supercritical fluids rather than the system-specific structure and interactions. The present model quantitatively explains the heat capacities in the liquid-like region and the gas-like region above the critical point. At the same time, the heat capacities of 6 supercritical fluids (including monatomic fluids Ar, Ne and molecular fluids N2, CO, CO2, CH4) over a wide range of temperatures and pressures were calculated using the present model, yielding a high accuracy with no free-fitting parameters. This model has two advantages: (1) The contribution of intramolecular vibrations was considered, which makes the model applicable to molecular fluids and high temperature region; (2) This method starts from the quasi-harmonic Debye model. Thus, it does not require any adjustable parameters and thermal expansion coefficients. Furthermore, the present cv model of the rigid liquid-like supercritical region in this paper can be extended to liquid phase of molecular fluids.


title: Quasi-periodic solutions of the universal hierarchy

abstract: We construct quasi-periodic solutions of the universal hierarchy which includes the multi-component KP and Toda hierarchies and show how they fit into the bilinear formalism. The tau-function is expressed in terms of the Riemann theta-function multiplied by exponential function of a quadratic form in the hierarchical times.


title: Development and external validation of a lung cancer risk estimation tool using gradient-boosting

abstract: Lung cancer is a significant cause of mortality worldwide, emphasizing the importance of early detection for improved survival rates. In this study, we propose a machine learning (ML) tool trained on data from the PLCO Cancer Screening Trial and validated on the NLST to estimate the likelihood of lung cancer occurrence within five years. The study utilized two datasets, the PLCO (n=55,161) and NLST (n=48,595), consisting of comprehensive information on risk factors, clinical measurements, and outcomes related to lung cancer. Data preprocessing involved removing patients who were not current or former smokers and those who had died of causes unrelated to lung cancer. Additionally, a focus was placed on mitigating bias caused by censored data. Feature selection, hyper-parameter optimization, and model calibration were performed using XGBoost, an ensemble learning algorithm that combines gradient boosting and decision trees. The ML model was trained on the pre-processed PLCO dataset and tested on the NLST dataset. The model incorporated features such as age, gender, smoking history, medical diagnoses, and family history of lung cancer. The model was well-calibrated (Brier score=0.044). ROC-AUC was 82% on the PLCO dataset and 70% on the NLST dataset. PR-AUC was 29% and 11% respectively. When compared to the USPSTF guidelines for lung cancer screening, our model provided the same recall with a precision of 13.1% vs. 9.3% on the PLCO dataset and 3.2% vs. 3.1% on the NLST dataset. The developed ML tool provides a freely available web application for estimating the likelihood of developing lung cancer within five years. By utilizing risk factors and clinical data, individuals can assess their risk and make informed decisions regarding lung cancer screening. This research contributes to the efforts in early detection and prevention strategies, aiming to reduce lung cancer-related mortality rates.