title: $v$-numbers of symbolic power filtrations

abstract: We study the asymptotic behaviour of $v$-number and local $v$-numbers of Noetherian generalized symbolic power filtrations $\mathcal I=\{I_n\}$ in a Noetherian $\mathbb N$-graded domain and show that they are quasi-linear type. We provide sufficient conditions for the existence of the limits $\lim\limits_{n\to\infty}\frac{v(I_n)}{n}$ and $\lim\limits_{n\to\infty}\frac{v_\mathfrak p(I_n)}{n}$ for all $\mathfrak p\in\overline A(\mathcal I)$. We explicitly compute local $v$-numbers and $v$-numbers of symbolic powers of cover ideals of complete bipartite graphs, complete graphs, cycles, $K_m^s$ and compare them with their Castelnuovo-Mumford regularity. We give an example of a bipartite graph $\mathcal H$ that is not a complete bipartite graph and $v(J(\mathcal H))>bight(I(\mathcal H))-1$. This answers a question in [25, Question 3.12]. We show that for both connected bipartite graphs and connected non-bipartite graphs, the difference between the regularity and the $v$-number of the cover ideals can be arbitrarily large. This strengthens and gives an alternative proof of[25,Theorem 3.10]. We provide a counterexample to a conjecture [12, Conjecture 5.4] due to A. Ficarra and E. Sgroi.


title: Switch Diffusion Transformer: Synergizing Denoising Tasks with Sparse Mixture-of-Experts

abstract: Diffusion models have achieved remarkable success across a range of generative tasks. Recent efforts to enhance diffusion model architectures have reimagined them as a form of multi-task learning, where each task corresponds to a denoising task at a specific noise level. While these efforts have focused on parameter isolation and task routing, they fall short of capturing detailed inter-task relationships and risk losing semantic information, respectively. In response, we introduce Switch Diffusion Transformer (Switch-DiT), which establishes inter-task relationships between conflicting tasks without compromising semantic information. To achieve this, we employ a sparse mixture-of-experts within each transformer block to utilize semantic information and facilitate handling conflicts in tasks through parameter isolation. Additionally, we propose a diffusion prior loss, encouraging similar tasks to share their denoising paths while isolating conflicting ones. Through these, each transformer block contains a shared expert across all tasks, where the common and task-specific denoising paths enable the diffusion model to construct its beneficial way of synergizing denoising tasks. Extensive experiments validate the effectiveness of our approach in improving both image quality and convergence rate, and further analysis demonstrates that Switch-DiT constructs tailored denoising paths across various generation scenarios.


title: Cellular-enabled Collaborative Robots Planning and Operations for Search-and-Rescue Scenarios

abstract: Mission-critical operations, particularly in the context of Search-and-Rescue (SAR) and emergency response situations, demand optimal performance and efficiency from every component involved to maximize the success probability of such operations. In these settings, cellular-enabled collaborative robotic systems have emerged as invaluable assets, assisting first responders in several tasks, ranging from victim localization to hazardous area exploration. However, a critical limitation in the deployment of cellular-enabled collaborative robots in SAR missions is their energy budget, primarily supplied by batteries, which directly impacts their task execution and mobility. This paper tackles this problem, and proposes a search-and-rescue framework for cellular-enabled collaborative robots use cases that, taking as input the area size to be explored, the robots fleet size, their energy profile, exploration rate required and target response time, finds the minimum number of robots able to meet the SAR mission goals and the path they should follow to explore the area. Our results, i) show that first responders can rely on a SAR cellular-enabled robotics framework when planning mission-critical operations to take informed decisions with limited resources, and, ii) illustrate the number of robots versus explored area and response time trade-off depending on the type of robot: wheeled vs quadruped.


title: High-order numerical integration on regular embedded surfaces

abstract: We present a high-order surface quadrature (HOSQ) for accurately approximating regular surface integrals on closed surfaces. The initial step of our approach rests on exploiting square-squeezing--a homeomorphic bilinear square-simplex transformation, re-parametrizing any surface triangulation to a quadrilateral mesh. For each resulting quadrilateral domain we interpolate the geometry by tensor polynomials in Chebyshev--Lobatto grids. Posterior the tensor-product Clenshaw-Curtis quadrature is applied to compute the resulting integral. We demonstrate efficiency, fast runtime performance, high-order accuracy, and robustness for complex geometries.


title: Synchronisation-Oriented Design Approach for Adaptive Control

abstract: This study presents a synchronisation-oriented perspective towards adaptive control which views model-referenced adaptation as synchronisation between actual and virtual dynamic systems. In the context of adaptation, model reference adaptive control methods make the state response of the actual plant follow a reference model. In the context of synchronisation, consensus methods involving diffusive coupling induce a collective behaviour across multiple agents. We draw from the understanding about the two time-scale nature of synchronisation motivated by the study of blended dynamics. The synchronisation-oriented approach consists in the design of a coupling input to achieve desired closed-loop error dynamics followed by the input allocation process to shape the collective behaviour. We suggest that synchronisation can be a reasonable design principle allowing a more holistic and systematic approach to the design of adaptive control systems for improved transient characteristics. Most notably, the proposed approach enables not only constructive derivation but also substantial generalisation of the previously developed closed-loop reference model adaptive control method. Practical significance of the proposed generalisation lies at the capability to improve the transient response characteristics and mitigate the unwanted peaking phenomenon at the same time.


title: Online and Offline Evaluation in Search Clarification

abstract: The effectiveness of clarification question models in engaging users within search systems is currently constrained, casting doubt on their overall usefulness. To improve the performance of these models, it is crucial to employ assessment approaches that encompass both real-time feedback from users (online evaluation) and the characteristics of clarification questions evaluated through human assessment (offline evaluation). However, the relationship between online and offline evaluations has been debated in information retrieval. This study aims to investigate how this discordance holds in search clarification. We use user engagement as ground truth and employ several offline labels to investigate to what extent the offline ranked lists of clarification resemble the ideal ranked lists based on online user engagement.


title: On the dynamical Mordell-Lang conjecture in positive characteristic

abstract: We disprove the original version of the dynamical Mordell-Lang conjecture in positive characteristic and propose a improved version of this pDML conjecture. We prove that this new version holds for bounded-degree self-maps of projective varieties. Moreover, we propose a geometric version of this pDML conjecture.


title: Anatomically aware simulation of patient-specific glioblastoma xenografts

abstract: Patient-derived cells (PDC) mouse xenografts are increasingly important tools in glioblastoma (GBM) research, essential to investigate case-specific growth patterns and treatment responses. Despite the central role of xenograft models in the field, few good simulation models are available to probe the dynamics of tumor growth and to support therapy design. We therefore propose a new framework for the patient-specific simulation of GBM in the mouse brain. Unlike existing methods, our simulations leverage a high-resolution map of the mouse brain anatomy to yield patient-specific results that are in good agreement with experimental observations. To facilitate the fitting of our model to histological data, we use Approximate Bayesian Computation. Because our model uses few parameters, reflecting growth, invasion and niche dependencies, it is well suited for case comparisons and for probing treatment effects. We demonstrate how our model can be used to simulate different treatment by perturbing the different model parameters. We expect in silico replicates of mouse xenograft tumors can improve the assessment of therapeutic outcomes and boost the statistical power of preclinical GBM studies.


title: Generalized Relevance Learning Grassmann Quantization

abstract: Due to advancements in digital cameras, it is easy to gather multiple images (or videos) from an object under different conditions. Therefore, image-set classification has attracted more attention, and different solutions were proposed to model them. A popular way to model image sets is subspaces, which form a manifold called the Grassmann manifold. In this contribution, we extend the application of Generalized Relevance Learning Vector Quantization to deal with Grassmann manifold. The proposed model returns a set of prototype subspaces and a relevance vector. While prototypes model typical behaviours within classes, the relevance factors specify the most discriminative principal vectors (or images) for the classification task. They both provide insights into the model's decisions by highlighting influential images and pixels for predictions. Moreover, due to learning prototypes, the model complexity of the new method during inference is independent of dataset size, unlike previous works. We applied it to several recognition tasks including handwritten digit recognition, face recognition, activity recognition, and object recognition. Experiments demonstrate that it outperforms previous works with lower complexity and can successfully model the variation, such as handwritten style or lighting conditions. Moreover, the presence of relevances makes the model robust to the selection of subspaces' dimensionality.


title: Learning Algorithms for Verification of Markov Decision Processes

abstract: We present a general framework for applying learning algorithms and heuristical guidance to the verification of Markov decision processes (MDPs). The primary goal of our techniques is to improve performance by avoiding an exhaustive exploration of the state space, instead focussing on particularly relevant areas of the system, guided by heuristics. Our work builds on the previous results of Br{\'{a}}zdil et al., significantly extending it as well as refining several details and fixing errors. The presented framework focuses on probabilistic reachability, which is a core problem in verification, and is instantiated in two distinct scenarios. The first assumes that full knowledge of the MDP is available, in particular precise transition probabilities. It performs a heuristic-driven partial exploration of the model, yielding precise lower and upper bounds on the required probability. The second tackles the case where we may only sample the MDP without knowing the exact transition dynamics. Here, we obtain probabilistic guarantees, again in terms of both the lower and upper bounds, which provides efficient stopping criteria for the approximation. In particular, the latter is an extension of statistical model-checking (SMC) for unbounded properties in MDPs. In contrast to other related approaches, we do not restrict our attention to time-bounded (finite-horizon) or discounted properties, nor assume any particular structural properties of the MDP.


title: Synchronized states of power grids and oscillator networks by convex optimization

abstract: Synchronization is essential for the operation of AC power systems: All generators in the power grid must rotate with fixed relative phases to enable a steady flow of electric power. Understanding the conditions for and the limitations of synchronization is of utmost practical importance. In this article, we propose a novel approach to compute and analyze the stable stationary states of a power grid or an oscillator network in terms of a convex optimization problem. This approach allows to systematically compute \emph{all} stable states where the phase difference across an edge does not exceed $\pi/2$.Furthermore, the optimization formulation allows to rigorously establish certain properties of synchronized states and to bound the error in the widely used linear power flow approximation.


title: TangoSIDM Project: Is the Stellar Mass Tully-Fisher relation consistent with SIDM?

abstract: Self-interacting dark matter (SIDM) has the potential to significantly influence galaxy formation in comparison to the cold, collisionless dark matter paradigm (CDM), resulting in observable effects. This study aims to elucidate this influence and to demonstrate that the stellar mass Tully-Fisher relation imposes robust constraints on the parameter space of velocity-dependent SIDM models. We present a new set of cosmological hydrodynamical simulations that include the SIDM scheme from the TangoSIDM project and the SWIFT-EAGLE galaxy formation model. Two cosmological simulations suites were generated: one (Reference model) which yields good agreement with the observed $z=0$ galaxy stellar mass function, galaxy mass-size relation, and stellar-to-halo mass relation; and another (WeakStellarFB model) in which the stellar feedback is less efficient, particularly for Milky Way-like systems. Both galaxy formation models were simulated under four dark matter cosmologies: CDM, SIDM with two different velocity-dependent cross sections, and SIDM with a constant cross section. While SIDM does not modify global galaxy properties such as stellar masses and star formation rates, it does make the galaxies more extended. In Milky Way-like galaxies, where baryons dominate the central gravitational potential, SIDM thermalises, causing dark matter to accumulate in the central regions. This accumulation results in density profiles that are steeper than those produced in CDM from adiabatic contraction. The enhanced dark matter density in the central regions of galaxies causes a deviation in the slope of the Tully-Fisher relation, which significantly diverges from the observational data. In contrast, the Tully-Fisher relation derived from CDM models aligns well with observations.


title: Quantum Dynamic Programming

abstract: We introduce a quantum extension of dynamic programming, a fundamental computational method for efficiently solving recursive problems using memory. Our innovation lies in showing how to coherently generate unitaries of recursion steps using memorized intermediate quantum states. We find that quantum dynamic programming yields an exponential reduction in circuit depth for a large class of fixed-point quantum recursions, including a known recursive variant of the Grover's search. Additionally, we apply quantum dynamic programming to a recently proposed double-bracket quantum algorithm for diagonalization to obtain a new protocol for obliviously preparing a quantum state in its Schmidt basis, providing a potential pathway for revealing entanglement structures of unknown quantum states.


title: Design of an basis-projected layer for sparse datasets in deep learning training using gc-ms spectra as a case study

abstract: Deep learning (DL) models encompass millions or even billions of parameters and learn complex patterns from big data. However, not all data are initially stored in a suitable formation to effectively train a DL model, e.g., gas chromatography-mass spectrometry (GC-MS) spectra and DNA sequence. These datasets commonly contain many zero values, and the sparse data formation causes difficulties in optimizing DL models. A DL module called the basis-projected layer (BPL) was proposed to mitigate the issue by transforming the sparse data into a dense representation. The transformed data is expected to facilitate the gradient calculation and finetuned process in a DL training process. The dataset, example of a sparse dataset, contained 362 specialty coffee odorant spectra detected from GC-MS. The BPL layer was placed at the beginning of the DL model. The tunable parameters in the layer were learnable projected axes that were the bases of a new representation space. The layer rotated these bases when its parameters were updated. When the number of the bases was the same as the original dimension, the increasing percentage of the F1 scores was 8.56%. Furthermore, when the number was set as 768 (the original dimension was 490), the increasing percentage of the F1 score was 11.49%. The layer not only maintained the model performance and even constructed a better representation space in analyzing sparse datasets.


title: Dynamics of Droplets Moving on Lubricated Polymer Brushes

abstract: Understanding the dynamics of drops on polymer-coated surfaces is crucial for optimizing applications such as self-cleaning materials or microfluidic devices. While the static and dynamic properties of deposited drops have been well characterised, a microscopic understanding of the underlying dynamics is missing. In particular, it is unclear how drop dynamics depends on the amount of uncrosslinked chains in the brush, because experimental techniques fail to quantify those. Here we use coarse-grained simulations to study droplets moving on a lubricated polymer brush substrate under the influence of an external body force. The simulation model is based on the many body dissipative particle dynamics (mDPD) method and designed to mimic a system of water droplets on polydimethylsiloxane (PDMS) brushes with chemically identical PDMS lubricant. In agreement with experiments, we find a sublinear power law dependence between the external force $F$ and the droplet velocity $v$, $F \propto v^\alpha$ with $\alpha <1$; however, the exponents differ ($\alpha \sim 0.6-0.7$ in simulations versus $\alpha \sim 0.25$ in experiments). With increasing velocity, the droplets elongate and the receding contact angle decreases, whereas the advancing contact angle remains roughly constant. Analyzing the flow profiles inside the droplet reveals that the droplets do not slide, but roll, with vanishing slip at the substrate surface. Surprisingly, adding lubricant has very little effect on the effective friction force between the droplet and the substrate, even though it has a pronounced effect on the size and structure of the wetting ridge, especially above the cloaking transition.


title: Intention-aware Denoising Diffusion Model for Trajectory Prediction

abstract: Trajectory prediction is an essential component in autonomous driving, particularly for collision avoidance systems. Considering the inherent uncertainty of the task, numerous studies have utilized generative models to produce multiple plausible future trajectories for each agent. However, most of them suffer from restricted representation ability or unstable training issues. To overcome these limitations, we propose utilizing the diffusion model to generate the distribution of future trajectories. Two cruxes are to be settled to realize such an idea. First, the diversity of intention is intertwined with the uncertain surroundings, making the true distribution hard to parameterize. Second, the diffusion process is time-consuming during the inference phase, rendering it unrealistic to implement in a real-time driving system. We propose an Intention-aware denoising Diffusion Model (IDM), which tackles the above two problems. We decouple the original uncertainty into intention uncertainty and action uncertainty and model them with two dependent diffusion processes. To decrease the inference time, we reduce the variable dimensions in the intention-aware diffusion process and restrict the initial distribution of the action-aware diffusion process, which leads to fewer diffusion steps. To validate our approach, we conduct experiments on the Stanford Drone Dataset (SDD) and ETH/UCY dataset. Our methods achieve state-of-the-art results, with an FDE of 13.83 pixels on the SDD dataset and 0.36 meters on the ETH/UCY dataset. Compared with the original diffusion model, IDM reduces inference time by two-thirds. Interestingly, our experiments further reveal that introducing intention information is beneficial in modeling the diffusion process of fewer steps.


title: Superintegrable systems on conformal surfaces

abstract: We reconsider non-degenerate second order superintegrable systems in dimension two as geometric structures on conformal surfaces. This extends a formalism developed by the authors, initially introduced for (pseudo-)Riemannian manifolds of dimension three and higher. The governing equations of non-degenerate second order superintegrability in dimension two are structurally significantly different from those valid in higher dimensions. Specifically, we find conformally covariant structural equations, allowing one to classify the (conformal classes of) non-degenerate second order superintegrable systems on conformal surfaces geometrically. We then specialise to second order properly superintegrable systems on surfaces with a (pseudo-)Riemannian metric and obtain structural equations in accordance with the known equations for Euclidean space. We finally give a single explicit set of purely algebraic equations defining the variety parametrising such systems on all constant curvature surfaces.


title: PYRA: Parallel Yielding Re-Activation for Training-Inference Efficient Task Adaptation

abstract: Recently, the scale of transformers has grown rapidly, which introduces considerable challenges in terms of training overhead and inference efficiency in the scope of task adaptation. Existing works, namely Parameter-Efficient Fine-Tuning (PEFT) and model compression, have separately investigated the challenges. However, PEFT cannot guarantee the inference efficiency of the original backbone, especially for large-scale models. Model compression requires significant training costs for structure searching and re-training. Consequently, a simple combination of them cannot guarantee accomplishing both training efficiency and inference efficiency with minimal costs. In this paper, we propose a novel Parallel Yielding Re-Activation (PYRA) method for such a challenge of training-inference efficient task adaptation. PYRA first utilizes parallel yielding adaptive weights to comprehensively perceive the data distribution in downstream tasks. A re-activation strategy for token modulation is then applied for tokens to be merged, leading to calibrated token features. Extensive experiments demonstrate that PYRA outperforms all competing methods under both low compression rate and high compression rate, demonstrating its effectiveness and superiority in maintaining both training efficiency and inference efficiency for large-scale foundation models. Our code will be released to the public.


title: Are Vision Language Models Texture or Shape Biased and Can We Steer Them?

abstract: Vision language models (VLMs) have drastically changed the computer vision model landscape in only a few years, opening an exciting array of new applications from zero-shot image classification, over to image captioning, and visual question answering. Unlike pure vision models, they offer an intuitive way to access visual content through language prompting. The wide applicability of such models encourages us to ask whether they also align with human vision - specifically, how far they adopt human-induced visual biases through multimodal fusion, or whether they simply inherit biases from pure vision models. One important visual bias is the texture vs. shape bias, or the dominance of local over global information. In this paper, we study this bias in a wide range of popular VLMs. Interestingly, we find that VLMs are often more shape-biased than their vision encoders, indicating that visual biases are modulated to some extent through text in multimodal models. If text does indeed influence visual biases, this suggests that we may be able to steer visual biases not just through visual input but also through language: a hypothesis that we confirm through extensive experiments. For instance, we are able to steer shape bias from as low as 49% to as high as 72% through prompting alone. For now, the strong human bias towards shape (96%) remains out of reach for all tested VLMs.


title: Intention-driven Ego-to-Exo Video Generation

abstract: Ego-to-exo video generation refers to generating the corresponding exocentric video according to the egocentric video, providing valuable applications in AR/VR and embodied AI. Benefiting from advancements in diffusion model techniques, notable progress has been achieved in video generation. However, existing methods build upon the spatiotemporal consistency assumptions between adjacent frames, which cannot be satisfied in the ego-to-exo scenarios due to drastic changes in views. To this end, this paper proposes an Intention-Driven Ego-to-exo video generation framework (IDE) that leverages action intention consisting of human movement and action description as view-independent representation to guide video generation, preserving the consistency of content and motion. Specifically, the egocentric head trajectory is first estimated through multi-view stereo matching. Then, cross-view feature perception module is introduced to establish correspondences between exo- and ego- views, guiding the trajectory transformation module to infer human full-body movement from the head trajectory. Meanwhile, we present an action description unit that maps the action semantics into the feature space consistent with the exocentric image. Finally, the inferred human movement and high-level action descriptions jointly guide the generation of exocentric motion and interaction content (i.e., corresponding optical flow and occlusion maps) in the backward process of the diffusion model, ultimately warping them into the corresponding exocentric video. We conduct extensive experiments on the relevant dataset with diverse exo-ego video pairs, and our IDE outperforms state-of-the-art models in both subjective and objective assessments, demonstrating its efficacy in ego-to-exo video generation.


title: SAM-Lightening: A Lightweight Segment Anything Model with Dilated Flash Attention to Achieve 30 times Acceleration

abstract: Segment Anything Model (SAM) has garnered significant attention in segmentation tasks due to their zero-shot generalization ability. However, a broader application of SAMs to real-world practice has been restricted by their low inference speed and high computational memory demands, which mainly stem from the attention mechanism. Existing work concentrated on optimizing the encoder, yet has not adequately addressed the inefficiency of the attention mechanism itself, even when distilled to a smaller model, which thus leaves space for further improvement. In response, we introduce SAM-Lightening, a variant of SAM, that features a re-engineered attention mechanism, termed Dilated Flash Attention. It not only facilitates higher parallelism, enhancing processing efficiency but also retains compatibility with the existing FlashAttention. Correspondingly, we propose a progressive distillation to enable an efficient knowledge transfer from the vanilla SAM without costly training from scratch. Experiments on COCO and LVIS reveal that SAM-Lightening significantly outperforms the state-of-the-art methods in both run-time efficiency and segmentation accuracy. Specifically, it can achieve an inference speed of 7 milliseconds (ms) per image, for images of size 1024*1024 pixels, which is 30.1 times faster than the vanilla SAM and 2.1 times than the state-of-the-art. Moreover, it takes only 244MB memory, which is 3.5\% of the vanilla SAM. The code and weights are available at https://anonymous.4open.science/r/SAM-LIGHTENING-BC25/.


title: Noise Dimension of GAN: An Image Compression Perspective

abstract: Generative adversial network (GAN) is a type of generative model that maps a high-dimensional noise to samples in target distribution. However, the dimension of noise required in GAN is not well understood. Previous approaches view GAN as a mapping from a continuous distribution to another continous distribution. In this paper, we propose to view GAN as a discrete sampler instead. From this perspective, we build a connection between the minimum noise required and the bits to losslessly compress the images. Furthermore, to understand the behaviour of GAN when noise dimension is limited, we propose divergence-entropy trade-off. This trade-off depicts the best divergence we can achieve when noise is limited. And as rate distortion trade-off, it can be numerically solved when source distribution is known. Finally, we verifies our theory with experiments on image generation.


title: MetroGNN: Metro Network Expansion with Reinforcement Learning

abstract: Selecting urban regions for metro network expansion to meet maximal transportation demands is crucial for urban development, while computationally challenging to solve. The expansion process relies not only on complicated features like urban demographics and origin-destination (OD) flow but is also constrained by the existing metro network and urban geography. In this paper, we introduce a reinforcement learning framework to address a Markov decision process within an urban heterogeneous multi-graph. Our approach employs an attentive policy network that intelligently selects nodes based on information captured by a graph neural network. Experiments on real-world urban data demonstrate that our proposed methodology substantially improve the satisfied transportation demands by over 30\% when compared with state-of-the-art methods. Codes are published at https://github.com/tsinghua-fib-lab/MetroGNN.


title: Sparse Data Structures for Efficient State-to-State Kinetic Simulations

abstract: Higher-fidelity entry simulations can be enabled by integrating finer thermo-chemistry models into compressible flow physics. One such class of models are State-to-State (StS) kinetics, which explicitly track species populations among quantum energy levels. StS models can represent thermo-chemical non-equilibrium effects that are hardly captured by standard multi-temperature models. However, the associated increase in computational cost is dramatic. For implicit solution techniques that rely on standard block-sparse representations of the Jacobian, both the spatial complexity and the temporal complexity grow quadratically with respect to the number of quantum levels represented. We introduce a more efficient way to represent the Jacobian arising in first-order implicit simulations for compressible flow physics coupled with StS models. The key idea is to recognize that the density of local blocks of the Jacobian comes from rank-one updates that can be managed separately. This leads to a new Jacobian structure, consisting of a fully-sparse matrix and block-wise rank-one updates, whose overall complexity grows linearly with the number of quantum levels. This structure also brings forth a potentially faster variation of the block-Jacobi preconditioning algorithm by leveraging the Sherman-Morrison-Woodbury inversion formula.


title: Customizing Segmentation Foundation Model via Prompt Learning for Instance Segmentation

abstract: Recently, foundation models trained on massive datasets to adapt to a wide range of domains have attracted considerable attention and are actively being explored within the computer vision community. Among these, the Segment Anything Model (SAM) stands out for its remarkable progress in generalizability and flexibility for image segmentation tasks, achieved through prompt-based object mask generation. However, despite its strength, SAM faces two key limitations when applied to customized instance segmentation that segments specific objects or those in unique environments not typically present in the training data: 1) the ambiguity inherent in input prompts and 2) the necessity for extensive additional training to achieve optimal segmentation. To address these challenges, we propose a novel method, customized instance segmentation via prompt learning tailored to SAM. Our method involves a prompt learning module (PLM), which adjusts input prompts into the embedding space to better align with user intentions, thereby enabling more efficient training. Furthermore, we introduce a point matching module (PMM) to enhance the feature representation for finer segmentation by ensuring detailed alignment with ground truth boundaries. Experimental results on various customized instance segmentation scenarios demonstrate the effectiveness of the proposed method.


title: Rectified deep neural networks overcome the curse of dimensionality in the numerical approximation of gradient-dependent semilinear heat equations

abstract: Numerical experiments indicate that deep learning algorithms overcome the curse of dimensionality when approximating solutions of semilinear PDEs. For certain linear PDEs and semilinear PDEs with gradient-independent nonlinearities this has also been proved mathematically, i.e., it has been shown that the number of parameters of the approximating DNN increases at most polynomially in both the PDE dimension $d\in \mathbb{N}$ and the reciprocal of the prescribed accuracy $\epsilon\in (0,1)$. The main contribution of this paper is to rigorously prove for the first time that deep neural networks can also overcome the curse dimensionality in the approximation of a certain class of nonlinear PDEs with gradient-dependent nonlinearities.


title: A resistive electron irradiation microsensor made from conductive electrospun polycaprolactone fibers loaded with carbon nanotubes and fullerene C60

abstract: In this work an electron radiation detector microdevices were fabricated and characterized. The devices consisted of a conductive electrospun mat made of polycaprolactone loaded with multiwalled carbon nanotubes and fullerene C60 deposited onto gold interdigitated microelectrodes. They were capable of permanently increase their conductivity upon exposure to electron beam irradiation from 0.02 pC/{\mu}m2 accelerated at 10 and 20 keV. This phenomenon could be explained due to the ability of C60 to trap and stabilize negative charges and thus contribute to the conductivity of the polymer composite. The devices achieved their maximum conductivity at an irradiation between 0.22 and 0.27 pC/{\mu}m2 and this maximum was dependent of the electron acceleration. Montecarlo simulations were performed to explain dependence as function of electron penetration in the polymer composite. Moreover, the devices irradiated at 20keV maintained their final conductivity and the devices irradiated at 10keV increased their final conductivity after 6 days from irradiation. Fullerenes proved to act as highly efficient electron scavengers within the polymer composite and contribute to its conductivity, and the microdevice has potential application as beta radiation sensors.


title: Some congruences of calibers of real quadratic fields

abstract: In this paper, the congruence equations for caliber and m-caliber in various discriminants are proven. Additionally, We also obtained the lengths of the periods of several continued fractions as corollaries.


title: Perspectives on physics-based one-dimensional modeling of lung physiology

abstract: The need to understand how infection spreads to the deep lung was acutely realized during the Severe Acute Respiratory Syndrome Coronavirus-2 (SARS-CoV-2) pandemic. The challenge of modeling virus laden aerosol transport and deposition in the airways, coupled with mucus clearance, and infection kinetics, became evident. This perspective provides a consolidated view of coupled one-dimensional physics-based mathematical models to probe multifaceted aspects of lung physiology. Successes of 1D trumpet models in providing mechanistic insights into lung function and optimalities are reviewed while identifying limitations and future directions. Key non-dimensional numbers defining lung function are reported. The need to quantitatively map various pathologies on a physics-based parameter space of non-dimensional numbers (a virtual disease landscape) is noted with an eye on translating modeling to clinical practice. This could aid in disease diagnosis, get mechanistic insights into pathologies, and determine patient specific treatment plan. 1D modeling could be an important tool in developing novel measurement and analysis platforms that could be deployed at point-of-care.


title: Remarks on integrability of N=1 supersymmetric Ruijsenaars-Schneider three-body models

abstract: Integrability of N=1 supersymmetric Ruijsenaars-Schneider three-body models based upon the potentials W(x)=2/x, W(x)=2/sin(x), and W(x)=2/sinh(x) is proven. The problem of constructing an algebraically resolvable set of Grassmann-odd constants of motion is reduced to finding a triplet of vectors such that all their scalar products can be expressed in terms of the original bosonic first integrals. The supersymmetric generalizations are used to build novel integrable (iso)spin extensions of the respective Ruijsenaars-Schneider three-body systems.


title: Microscopic Study on Superexchange Dynamics of Composite Spin-1 Bosons

abstract: We report on an experimental simulation of the spin-1 Heisenberg model with composite bosons in a one-dimensional chain based on the two-component Bose-Hubbard model. Exploiting our site-and spin-resolved quantum gas microscope, we observed faster superexchange dynamics of the spin-1 system compared to its spin-1/2 counterpart, which is attributed to the enhancement effect of multi-bosons. We further probed the non-equilibrium spin dynamics driven by the superexchange and single-ion anisotropy terms, unveiling the linear expansion of the spin-spin correlations, which is limited by the Lieb-Robinson bound. Based on the superexchange process, we prepared and verified the entangled qutrits pairs with these composite spin-1 bosons, potentially being applied in qutrit-based quantum information processing.


title: Upper Bound of Bayesian Generalization Error in Partial Concept Bottleneck Model (CBM): Partial CBM outperforms naive CBM

abstract: Concept Bottleneck Model (CBM) is a methods for explaining neural networks. In CBM, concepts which correspond to reasons of outputs are inserted in the last intermediate layer as observed values. It is expected that we can interpret the relationship between the output and concept similar to linear regression. However, this interpretation requires observing all concepts and decreases the generalization performance of neural networks. Partial CBM (PCBM), which uses partially observed concepts, has been devised to resolve these difficulties. Although some numerical experiments suggest that the generalization performance of PCBMs is almost as high as that of the original neural networks, the theoretical behavior of its generalization error has not been yet clarified since PCBM is singular statistical model. In this paper, we reveal the Bayesian generalization error in PCBM with a three-layered and linear architecture. The result indcates that the structure of partially observed concepts decreases the Bayesian generalization error compared with that of CBM (full-observed concepts).


title: TaxoLLaMA: WordNet-based Model for Solving Multiple Lexical Semantic Tasks

abstract: In this paper, we explore the capabilities of LLMs in capturing lexical-semantic knowledge from WordNet on the example of the LLaMA-2-7b model and test it on multiple lexical semantic tasks. As the outcome of our experiments, we present TaxoLLaMA, the everything-in-one model, lightweight due to 4-bit quantization and LoRA. It achieves 11 SotA results, 4 top-2 results out of 16 tasks for the Taxonomy Enrichment, Hypernym Discovery, Taxonomy Construction, and Lexical Entailment tasks. Moreover, it demonstrates very strong zero-shot performance on Lexical Entailment and Taxonomy Construction with no fine-tuning. We also explore its hidden multilingual and domain adaptation capabilities with a little tuning or few-shot learning. All datasets, code, and model are available online at https://github.com/VityaVitalich/TaxoLLaMA


title: Older adults' safety and security online: A post-pandemic exploration of attitudes and behaviors

abstract: Older adults' growing use of the internet and related technologies, further accelerated by the COVID-19 pandemic, has prompted not only a critical examination of their behaviors and attitudes about online threats but also a greater understanding of the roles of specific characteristics within this population group. Based on survey data and using descriptive and inferential statistics, this empirical study delves into this matter. The behaviors and attitudes of a group of older adults aged 60 years and older (n=275) regarding different dimensions of online safety and cybersecurity are investigated. The results show that older adults report a discernible degree of concern about the security of their personal information. Despite the varied precautions taken, most of them do not know where to report online threats. What is more, regarding key demographics, the study found some significant differences in terms of gender and age group, but not disability status. This implies that older adults do not seem to constitute a homogeneous group when it comes to attitudes and behaviors regarding safety and security online. The study concludes that support systems should include older adults in the development of protective measures and acknowledge their diversity. The implications of the results are discussed and some directions for future research are proposed.


title: LAN: Learning Adaptive Neighbors for Real-Time Insider Threat Detection

abstract: Enterprises and organizations are faced with potential threats from insider employees that may lead to serious consequences. Previous studies on insider threat detection (ITD) mainly focus on detecting abnormal users or abnormal time periods (e.g., a week or a day). However, a user may have hundreds of thousands of activities in the log, and even within a day there may exist thousands of activities for a user, requiring a high investigation budget to verify abnormal users or activities given the detection results. On the other hand, existing works are mainly post-hoc methods rather than real-time detection, which can not report insider threats in time before they cause loss. In this paper, we conduct the first study towards real-time ITD at activity level, and present a fine-grained and efficient framework LAN. Specifically, LAN simultaneously learns the temporal dependencies within an activity sequence and the relationships between activities across sequences with graph structure learning. Moreover, to mitigate the data imbalance problem in ITD, we propose a novel hybrid prediction loss, which integrates self-supervision signals from normal activities and supervision signals from abnormal activities into a unified loss for anomaly detection. We evaluate the performance of LAN on two widely used datasets, i.e., CERT r4.2 and CERT r5.2. Extensive and comparative experiments demonstrate the superiority of LAN, outperforming 9 state-of-the-art baselines by at least 9.92% and 6.35% in AUC for real-time ITD on CERT r4.2 and r5.2, respectively. Moreover, LAN can be also applied to post-hoc ITD, surpassing 8 competitive baselines by at least 7.70% and 4.03% in AUC on two datasets. Finally, the ablation study, parameter analysis, and compatibility analysis evaluate the impact of each module and hyper-parameter in LAN. The source code can be obtained from https://github.com/Li1Neo/LAN.


title: MINDS: The JWST MIRI Mid-INfrared Disk Survey

abstract: The study of protoplanetary disks has become increasingly important with the Kepler satellite finding that exoplanets are ubiquitous around stars in our galaxy and the discovery of enormous diversity in planetary system architectures and planet properties. High-resolution near-IR and ALMA images show strong evidence for ongoing planet formation in young disks. The JWST MIRI mid-INfrared Disk Survey (MINDS) aims to (1) investigate the chemical inventory in the terrestrial planet-forming zone across stellar spectral type, (2) follow the gas evolution into the disk dispersal stage, and (3) study the structure of protoplanetary and debris disks in the thermal mid-IR. The MINDS survey will thus build a bridge between the chemical inventory of disks and the properties of exoplanets. The survey comprises 52 targets (Herbig Ae stars, T Tauri stars, very low-mass stars and young debris disks). We primarily obtain MIRI/MRS spectra with high S/N (~100-500) covering the complete wavelength range from 4.9 to 27.9 {\mu}m. For a handful of selected targets we also obtain NIRSpec IFU high resolution spectroscopy (2.87-5.27 {\mu}m). We will search for signposts of planet formation in thermal emission of micron-sized dust - information complementary to near-IR scattered light emission from small dust grains and emission from large dust in the submillimeter wavelength domain. We will also study the spatial structure of disks in three key systems that have shown signposts for planet formation, TW Hya and HD 169142 using the MIRI coronagraph at 15.5 {\mu}m and 10.65 {\mu}m respectively and PDS70 using NIRCam imaging in the 1.87 {\mu}m narrow and the 4.8 {\mu}m medium band filter. ...


title: Energy flux and waveforms by coalescing spinless binary system in effective one-body theory

abstract: We present a study on the energy radiation rate and waveforms of the gravitational wave generated by coalescing spinless binary systems up to the third post-Minkowskian approximation in the effective one-body theory. To derive an analytical expansion of the null tetrad components of the gravitational perturbed Weyl tensor $\varPsi_{4}$ in the effective spacetime, we utilize the method proposed by Sasaki $et$ $al.$ During this investigation, we discover more general integral formulas that provide a theoretical framework for computing the results in any order. Subsequently, we successfully compute the energy radiation rate and waveforms of the gravitational wave, which include the results of the Schwarzschild case and the correction terms resulting from the dimensionless parameters $a_{2}$ and $a_{3}$ in the effective metric.


title: PoIFusion: Multi-Modal 3D Object Detection via Fusion at Points of Interest

abstract: In this work, we present PoIFusion, a simple yet effective multi-modal 3D object detection framework to fuse the information of RGB images and LiDAR point clouds at the point of interest (abbreviated as PoI). Technically, our PoIFusion follows the paradigm of query-based object detection, formulating object queries as dynamic 3D boxes. The PoIs are adaptively generated from each query box on the fly, serving as the keypoints to represent a 3D object and play the role of basic units in multi-modal fusion. Specifically, we project PoIs into the view of each modality to sample the corresponding feature and integrate the multi-modal features at each PoI through a dynamic fusion block. Furthermore, the features of PoIs derived from the same query box are aggregated together to update the query feature. Our approach prevents information loss caused by view transformation and eliminates the computation-intensive global attention, making the multi-modal 3D object detector more applicable. We conducted extensive experiments on the nuScenes dataset to evaluate our approach. Remarkably, our PoIFusion achieves 74.9\% NDS and 73.4\% mAP, setting a state-of-the-art record on the multi-modal 3D object detection benchmark. Codes will be made available via \url{https://djiajunustc.github.io/projects/poifusion}.


title: On Discrete Subproblems in Integer Optimal Control with Total Variation Regularization in Two Dimensions

abstract: We analyze integer linear programs which we obtain after discretizing two-dimensional subproblems arising from a trust-region algorithm for mixed integer optimal control problems with total variation regularization. We discuss NP-hardness of the discretized problems and the connection to graph-based problems. We show that the underlying polyhedron exhibits structural restrictions in its vertices with regards to which variables can attain fractional values at the same time. Based on this property, we derive cutting planes by employing a relation to shortest-path and minimum bisection problems. We propose a branching rule and a primal heuristic which improves previously found feasible points. We validate the proposed tools with a numerical benchmark in a standard integer programming solver. We observe a significant speedup for medium-sized problems. Our results give hints for scaling towards larger instances in the future.


title: Efficient size-prescribed $k$-core search

abstract: $k$-core is a subgraph where every node has at least $k$ neighbors within the subgraph. The $k$-core subgraphs has been employed in large platforms like Network Repository to comprehend the underlying structures and dynamics of the network. Existing studies have primarily focused on finding $k$-core groups without considering their size, despite the relevance of solution sizes in many real-world scenarios. This paper addresses this gap by introducing the size-prescribed $k$-core search (SPCS) problem, where the goal is to find a subgraph of a specified size that has the highest possible core number. We propose two algorithms, namely the {\it TSizeKcore-BU} and the {\it TSizeKcore-TD}, to identify cohesive subgraphs that satisfy both the $k$-core requirement and the size constraint. Our experimental results demonstrate the superiority of our approach in terms of solution quality and efficiency. The {\it TSizeKcore-BU} algorithm proves to be highly efficient in finding size-prescribed $k$-core subgraphs on large datasets, making it a favorable choice for such scenarios. On the other hand, the {\it TSizeKcore-TD} algorithm is better suited for small datasets where running time is less critical.


title: On the Laplace Approximation as Model Selection Criterion for Gaussian Processes

abstract: Model selection aims to find the best model in terms of accuracy, interpretability or simplicity, preferably all at once. In this work, we focus on evaluating model performance of Gaussian process models, i.e. finding a metric that provides the best trade-off between all those criteria. While previous work considers metrics like the likelihood, AIC or dynamic nested sampling, they either lack performance or have significant runtime issues, which severely limits applicability. We address these challenges by introducing multiple metrics based on the Laplace approximation, where we overcome a severe inconsistency occuring during naive application of the Laplace approximation. Experiments show that our metrics are comparable in quality to the gold standard dynamic nested sampling without compromising for computational speed. Our model selection criteria allow significantly faster and high quality model selection of Gaussian process models.


title: Unlocking the Potential of Open Government Data: Exploring the Strategic, Technical, and Application Perspectives of High-Value Datasets Opening in Taiwan

abstract: Today, data has an unprecedented value as it forms the basis for data-driven decision-making, including serving as an input for AI models, where the latter is highly dependent on the availability of the data. However, availability of data in an open data format creates a little added value, where the value of these data, i.e., their relevance to the real needs of the end user, is key. This is where the concept of high-value dataset (HVD) comes into play, which has become popular in recent years. Defining and opening HVD is an ongoing process consisting of a set of interrelated steps, the implementation of which may vary from one country or region to another. Therefore, there has recently been a call to conduct research in a country or region setting considered to be of greatest national value. So far, only a few studies have been conducted at the regional or national level, most of which consider only one step of the process, such as identifying HVD or measuring their impact. With this study, we answer this call and examine the national case of Taiwan by exploring the entire lifecycle of HVD opening. The aim of the paper is to understand and evaluate the lifecycle of high-value dataset publishing in one of the world's leading producers of information and communication technology (ICT) products - Taiwan. To do this, we conduct a qualitative study with exploratory interviews with representatives from government agencies in Taiwan responsible for HVD opening, exploring HVD opening lifecycle. As such, we examine (1) strategic aspects related to the HVD determination process, (2) technical aspects, and (3) application aspects.


title: Rumor Mitigation in Social Media Platforms with Deep Reinforcement Learning

abstract: Social media platforms have become one of the main channels where people disseminate and acquire information, of which the reliability is severely threatened by rumors widespread in the network. Existing approaches such as suspending users or broadcasting real information to combat rumors are either with high cost or disturbing users. In this paper, we introduce a novel rumor mitigation paradigm, where only a minimal set of links in the social network are intervened to decelerate the propagation of rumors, countering misinformation with low business cost and user awareness. A knowledge-informed agent embodying rumor propagation mechanisms is developed, which intervenes the social network with a graph neural network for capturing information flow in the social media platforms and a policy network for selecting links. Experiments on real social media platforms demonstrate that the proposed approach can effectively alleviate the influence of rumors, substantially reducing the affected populations by over 25%. Codes for this paper are released at https://github.com/tsinghua-fib-lab/DRL-Rumor-Mitigation.


title: On a criterion for a cutoff regularization in the coordinate representation

abstract: The paper discusses an applicability criterion for a cutoff regularization in the coordinate representation in the Euclidean space with a dimension larger than two. It is shown that the set of functions satisfying the criterion is not empty. As an example, an explicit function is presented. It is proved by explicit construction that there are functions satisfying the criterion in a stronger formulation.


title: An Extensive Comparison of Static Application Security Testing Tools

abstract: Context: Static Application Security Testing Tools (SASTTs) identify software vulnerabilities to support the security and reliability of software applications. Interestingly, several studies have suggested that alternative solutions may be more effective than SASTTs due to their tendency to generate false alarms, commonly referred to as low Precision. Aim: We aim to comprehensively evaluate SASTTs, setting a reliable benchmark for assessing and finding gaps in vulnerability identification mechanisms based on SASTTs or alternatives. Method: Our SASTTs evaluation is based on a controlled, though synthetic, Java codebase. It involves an assessment of 1.5 million test executions, and it features innovative methodological features such as effort-aware accuracy metrics and method-level analysis. Results: Our findings reveal that SASTTs detect a tiny range of vulnerabilities. In contrast to prevailing wisdom, SASTTs exhibit high Precision while falling short in Recall. Conclusions: The paper suggests that enhancing Recall, alongside expanding the spectrum of detected vulnerability types, should be the primary focus for improving SASTTs or alternative approaches, such as machine learning-based vulnerability identification solutions.


title: Demonstration of universal contextuality through communication games free of both operational inequivalence and compatibility loopholes

abstract: Universal contextuality is the leading notion of non-classicality even for single systems, showing its advantage as a more general quantum correlation than Bell non-locality, as well as preparation contextuality. However, a loophole-free experimental demonstration of universal contextuality at least requires that both operational inequivalence and compatibility loopholes are closed, which have never been simultaneously achieved to date. In our work, we experimentally test universal contextuality through (3,3) and (4,3) communication games, simultaneously restoring operational equivalence and circumventing the compatibility loophole. Our result exhibits the violation of universal non-contextuality bound by 97 standard deviations in (3,3) scenario, and 107 deviations in (4,3) scenario. Notably there are states which exhibit locality but reveal universal contextuality in both two scenarios. In addition, our result shows that universal contextuality is more general than preparation contextuality in (3,3) scenario, while equivalent to preparation contextuality in (4,3) scenario.


title: Betti Functionals as a Probe for Cosmic Topology

abstract: The question of the global topology of the Universe (cosmic topology) is still open. In the $\Lambda$CDM concordance model it is assumed that the space of the Universe possesses the trivial topology of $\mathbb{R}^3$ and thus that the Universe has an infinite volume. As an alternative, we study in this paper one of the simplest non-trivial topologies given by a cubic 3-torus describing a universe with a finite volume. To probe cosmic topology, we analyse certain structure properties in the cosmic microwave background (CMB) using Betti Functionals and the Euler Characteristic evaluated on excursions sets, which possess a simple geometrical interpretation. Since the CMB temperature fluctuations $\delta T$ are observed on the sphere $\mathbb{S}^2$ surrounding the observer, there are only three Betti functionals $\beta_k(\nu)$, $k=1,2,3$. Here $\nu=\delta T/\sigma_0$ denotes the temperature threshold normalized by the standard deviation $\sigma_0$ of $\delta T$. Analytic approximations of the Gaussian expectations for the Betti functionals and an exact formula for the Euler characteristic are given. It is shown that the amplitudes of $\beta_0(\nu)$ and $\beta_1(\nu)$ decrease with increasing volume $V=L^3$ of the cubic 3-torus universe. Since the computation of the $\beta_k$'s from observational sky maps is hindered due to the presence of masks, we suggest a method yielding lower and upper bounds for them and apply it to four Planck 2018 sky maps. It is found that the $\beta_k$'s of the Planck maps lie between those of the torus universes with side-lengths $L=2.0$ and $L=3.0$ in units of the Hubble length and above the infinite $\Lambda$CDM case. These results give a further hint that the Universe has a non-trivial topology.


title: A Robust Semantic Communication System for Image

abstract: Semantic communications have gained significant attention as a promising approach to address the transmission bottleneck, especially with the continuous development of 6G techniques. Distinct from the well investigated physical channel impairments, this paper focuses on semantic impairments in image, particularly those arising from adversarial perturbations. Specifically, we propose a novel metric for quantifying the intensity of semantic impairment and develop a semantic impairment dataset. Furthermore, we introduce a deep learning enabled semantic communication system, termed as DeepSC-RI, to enhance the robustness of image transmission, which incorporates a multi-scale semantic extractor with a dual-branch architecture for extracting semantics with varying granularity, thereby improving the robustness of the system. The fine-grained branch incorporates a semantic importance evaluation module to identify and prioritize crucial semantics, while the coarse-grained branch adopts a hierarchical approach for capturing the robust semantics. These two streams of semantics are seamlessly integrated via an advanced cross-attention-based semantic fusion module. Experimental results demonstrate the superior performance of DeepSC-RI under various levels of semantic impairment intensity.


title: MCformer: Multivariate Time Series Forecasting with Mixed-Channels Transformer

abstract: The massive generation of time-series data by largescale Internet of Things (IoT) devices necessitates the exploration of more effective models for multivariate time-series forecasting. In previous models, there was a predominant use of the Channel Dependence (CD) strategy (where each channel represents a univariate sequence). Current state-of-the-art (SOTA) models primarily rely on the Channel Independence (CI) strategy. The CI strategy treats all channels as a single channel, expanding the dataset to improve generalization performance and avoiding inter-channel correlation that disrupts long-term features. However, the CI strategy faces the challenge of interchannel correlation forgetting. To address this issue, we propose an innovative Mixed Channels strategy, combining the data expansion advantages of the CI strategy with the ability to counteract inter-channel correlation forgetting. Based on this strategy, we introduce MCformer, a multivariate time-series forecasting model with mixed channel features. The model blends a specific number of channels, leveraging an attention mechanism to effectively capture inter-channel correlation information when modeling long-term features. Experimental results demonstrate that the Mixed Channels strategy outperforms pure CI strategy in multivariate time-series forecasting tasks.


title: A new approach towards quantum foundation and some consequences

abstract: A general theory based upon 6 postulates is introduced. The basical notions are theoretical variables that are associated with an observer or with a group of communicating observers. These variables may be accessible or inaccessible. From these postulates, the ordinary formalism of quantum theory are derived. The mathematical derivations are not given in this article, but I refer to the recent articles [9, 10]. Three possible applications of the general theory can be given; 1) The variables may decision variables connected to the decisions of a person or of a group of persons. 2) The variables may be statistical parameters or future data, But most importantly here: 3) The variables are physical variables in some context. This last application gives a completely new foundation of quantum mechanics, a foundation which in my opinion is much more easy to understand than the ordinary formalism.The other applications seem also to give interesting consequences of the approach. Socalled paradoxes like that of Schr\"odinger's cat can be clarified under the theory. Explanations of the outcomes of David Bohm's version of the EPR experiment and of the Bell experiment are provided. Finally, references to links towards relativity theory and to quantum field theory are given.


title: PWACG: Partial Wave Analysis Code Generator supporting Newton-conjugate gradient method

abstract: This paper introduces a novel Partial Wave Analysis Code Generator (PWACG) that automatically generates high-performance partial wave analysis codes. This is achieved by leveraging the JAX automatic differentiation library and the jinja2 template engine. The resulting code is constructed using the high-performance API of JAX, and includes support for the Newton's Conjugate Gradient optimization method, as well as the full utilization of parallel computing capabilities offered by GPUs. By harnessing these advanced computing techniques, PWACG demonstrates a significant advantage in efficiently identifying global optimal points compared to conventional partial wave analysis software packages.


title: Retrieval augmented text-to-SQL generation for epidemiological question answering using electronic health records

abstract: Electronic health records (EHR) and claims data are rich sources of real-world data that reflect patient health status and healthcare utilization. Querying these databases to answer epidemiological questions is challenging due to the intricacy of medical terminology and the need for complex SQL queries. Here, we introduce an end-to-end methodology that combines text-to-SQL generation with retrieval augmented generation (RAG) to answer epidemiological questions using EHR and claims data. We show that our approach, which integrates a medical coding step into the text-to-SQL process, significantly improves the performance over simple prompting. Our findings indicate that although current language models are not yet sufficiently accurate for unsupervised use, RAG offers a promising direction for improving their capabilities, as shown in a realistic industry setting.


title: BEHAVIOR-1K: A Human-Centered, Embodied AI Benchmark with 1,000 Everyday Activities and Realistic Simulation

abstract: We present BEHAVIOR-1K, a comprehensive simulation benchmark for human-centered robotics. BEHAVIOR-1K includes two components, guided and motivated by the results of an extensive survey on "what do you want robots to do for you?". The first is the definition of 1,000 everyday activities, grounded in 50 scenes (houses, gardens, restaurants, offices, etc.) with more than 9,000 objects annotated with rich physical and semantic properties. The second is OMNIGIBSON, a novel simulation environment that supports these activities via realistic physics simulation and rendering of rigid bodies, deformable bodies, and liquids. Our experiments indicate that the activities in BEHAVIOR-1K are long-horizon and dependent on complex manipulation skills, both of which remain a challenge for even state-of-the-art robot learning solutions. To calibrate the simulation-to-reality gap of BEHAVIOR-1K, we provide an initial study on transferring solutions learned with a mobile manipulator in a simulated apartment to its real-world counterpart. We hope that BEHAVIOR-1K's human-grounded nature, diversity, and realism make it valuable for embodied AI and robot learning research. Project website: https://behavior.stanford.edu.


title: Uncertainty Quantification for cross-subject Motor Imagery classification

abstract: Uncertainty Quantification aims to determine when the prediction from a Machine Learning model is likely to be wrong. Computer Vision research has explored methods for determining epistemic uncertainty (also known as model uncertainty), which should correspond with generalisation error. These methods theoretically allow to predict misclassifications due to inter-subject variability. We applied a variety of Uncertainty Quantification methods to predict misclassifications for a Motor Imagery Brain Computer Interface. Deep Ensembles performed best, both in terms of classification performance and cross-subject Uncertainty Quantification performance. However, we found that standard CNNs with Softmax output performed better than some of the more advanced methods.


title: Analysis of BMR tilt from AutoTAB catalog: Hinting towards the thin flux tube model?

abstract: One of the intriguing mechanisms of the Sun is the formation of the bipolar magnetic regions (BMRs) in the solar convection zone which are observed as regions of concentrated magnetic fields of opposite polarity on photosphere. These BMRs are tilted with respect to the equatorial line, which statistically increases with latitude. The thin flux tube model, employing the rise of magnetically buoyant flux loops and their twist by Coriolis force, is a popular paradigm for explaining the formation of tilted BMRs. In this study, we assess the validity of the thin flux tube model by analyzing the tracked BMR data obtained through the Automatic Tracking Algorithm for BMRs (AutoTAB). Our observations reveal that the tracked BMRs exhibit the expected collective behaviors. We find that the polarity separation of BMRs increases over their normalized lifetime, supporting the assumption of a rising flux tube from the CZ. Moreover, we observe an increasing trend of the tilt with the flux of the BMR, suggesting that rising flux tubes associated with lower flux regions are primarily influenced by drag force and Coriolis force, while in higher flux regions, magnetic buoyancy dominates. Furthermore, we observe Joy's law dependence for emerging BMRs from their first detection, indicating that at least a portion of the tilt observed in BMRs can be attributed to the Coriolis force. Notably, lower flux regions exhibit a higher amount of fluctuations associated with their tilt measurement compared to stronger flux regions, suggesting that lower flux regions are more susceptible to turbulent convection.


title: Improving Distant 3D Object Detection Using 2D Box Supervision

abstract: Improving the detection of distant 3d objects is an important yet challenging task. For camera-based 3D perception, the annotation of 3d bounding relies heavily on LiDAR for accurate depth information. As such, the distance of annotation is often limited due to the sparsity of LiDAR points on distant objects, which hampers the capability of existing detectors for long-range scenarios. We address this challenge by considering only 2D box supervision for distant objects since they are easy to annotate. We propose LR3D, a framework that learns to recover the missing depth of distant objects. LR3D adopts an implicit projection head to learn the generation of mapping between 2D boxes and depth using the 3D supervision on close objects. This mapping allows the depth estimation of distant objects conditioned on their 2D boxes, making long-range 3D detection with 2D supervision feasible. Experiments show that without distant 3D annotations, LR3D allows camera-based methods to detect distant objects (over 200m) with comparable accuracy to full 3D supervision. Our framework is general, and could widely benefit 3D detection methods to a large extent.


title: Weak Hopf quasigroups and matched pairs of quasigroupoids

abstract: In this paper we introduce the notion of exact factorization of a quasigroupoid and the notion of matched pair of quasigroupoids with common base. We prove that if $({\sf A}, {\sf H})$ is a matched pair of quasigroupoids it is posible to construct a new quasigroupoid ${\sf A}\bowtie {\sf H}$ called the double cross product of ${\sf A}$ and ${\sf H}$. Also, we show that, if a quasigroupoid ${\sf B}$ admits an exact factorization, there exists a matched pair of quasigroupoids $({\sf A}, {\sf H})$ and an isomorphism of quasigroupoids between ${\sf A}\bowtie {\sf H}$ and ${\sf B}$. Finally, if ${\mathbb K}$ is a field, we show that every matched pair of quasigroupoids $({\sf A}, {\sf H})$ induce, thanks to the quasigroupoid magma construction, a pair $({\mathbb K}[{\sf A}], {\mathbb K}[{\sf H}])$ of weak Hopf quasigroups and a double crossed product weak Hopf quasigroup ${\mathbb K}[{\sf A}]\bowtie{\mathbb K}[{\sf H}]$ isomorphic to ${\mathbb K}[{\sf A}\bowtie {\sf H}]$ as weak Hopf quasigroups.


title: Generating Feasible and Plausible Counterfactual Explanations for Outcome Prediction of Business Processes

abstract: In recent years, various machine and deep learning architectures have been successfully introduced to the field of predictive process analytics. Nevertheless, the inherent opacity of these algorithms poses a significant challenge for human decision-makers, hindering their ability to understand the reasoning behind the predictions. This growing concern has sparked the introduction of counterfactual explanations, designed as human-understandable what if scenarios, to provide clearer insights into the decision-making process behind undesirable predictions. The generation of counterfactual explanations, however, encounters specific challenges when dealing with the sequential nature of the (business) process cases typically used in predictive process analytics. Our paper tackles this challenge by introducing a data-driven approach, REVISEDplus, to generate more feasible and plausible counterfactual explanations. First, we restrict the counterfactual algorithm to generate counterfactuals that lie within a high-density region of the process data, ensuring that the proposed counterfactuals are realistic and feasible within the observed process data distribution. Additionally, we ensure plausibility by learning sequential patterns between the activities in the process cases, utilising Declare language templates. Finally, we evaluate the properties that define the validity of counterfactuals.


title: D-YOLO a robust framework for object detection in adverse weather conditions

abstract: Adverse weather conditions including haze, snow and rain lead to decline in image qualities, which often causes a decline in performance for deep-learning based detection networks. Most existing approaches attempts to rectify hazy images before performing object detection, which increases the complexity of the network and may result in the loss in latent information. To better integrate image restoration and object detection tasks, we designed a double-route network with an attention feature fusion module, taking both hazy and dehazed features into consideration. We also proposed a subnetwork to provide haze-free features to the detection network. Specifically, our D-YOLO improves the performance of the detection network by minimizing the distance between the clear feature extraction subnetwork and detection network. Experiments on RTTS and FoggyCityscapes datasets show that D-YOLO demonstrates better performance compared to the state-of-the-art methods. It is a robust detection framework for bridging the gap between low-level dehazing and high-level detection.


title: Infrared structure beyond locality in electrodynamics

abstract: The infrared problems of quantum electrodynamics, in contrast to ultraviolet difficulties which are of technical nature, are related to fundamental, conceptual physical questions, such as: what is a charged particle, is the particle interpretation of the electromagnetic field complete, does a vacuum state exist, or what is the quantum status of long range degrees of freedom. On the calculational level, the standard local formulations of quantum field theory have achieved procedures to deal with infinities related to long range correlations. However, the answers to the conceptual questions formulated above, based on the locality paradigm, do not seem to be fully convincing, which is confirmed by the fact that no canonical picture did emerge. This contribution briefly characterizes perspectives which open with an admission of nonlocal variables residing in infinity, or at the boundary of spacetime after compactification. Recently, this line of investigation gains popularity.


title: Topological Optical Spin Injection Beyond Regular Weyl semimetals

abstract: Photoinduced effects are now reckoned to be important tools to reveal a rich gamut of entrancing physics in topological materials, which are normally inaccessible via conventional probes. Here we investigate one of these intriguing effects, namely, {\it optical spin injection} (OSI) beyond the regular Weyl semimetal (WSM), specifically in multi- and higher-order WSMs. Remarkably, we demonstrate that OSI in multi-WSMs can emerge as a frequency-independent quantized response engendered by band linearity and topological charge associated with the node. Interestingly, the frequency independence can be destroyed by going beyond the first-order topological phase where we explicitly show the OSI response is accompanied by peaks for the first-order Weyl nodes while dips for the second-order Weyl nodes. In addition, we elucidate the behavior of OSI in type-II Weyl phases. The predicted signatures of OSI beyond the regular WSM, i.e., multi- and higher-order WSM, could be experimentally exploited, leading us to effectively access as well as distinguish different-order nontrivial Weyl topology.


title: Hyper-3DG: Text-to-3D Gaussian Generation via Hypergraph

abstract: Text-to-3D generation represents an exciting field that has seen rapid advancements, facilitating the transformation of textual descriptions into detailed 3D models. However, current progress often neglects the intricate high-order correlation of geometry and texture within 3D objects, leading to challenges such as over-smoothness, over-saturation and the Janus problem. In this work, we propose a method named ``3D Gaussian Generation via Hypergraph (Hyper-3DG)'', designed to capture the sophisticated high-order correlations present within 3D objects. Our framework is anchored by a well-established mainflow and an essential module, named ``Geometry and Texture Hypergraph Refiner (HGRefiner)''. This module not only refines the representation of 3D Gaussians but also accelerates the update process of these 3D Gaussians by conducting the Patch-3DGS Hypergraph Learning on both explicit attributes and latent visual features. Our framework allows for the production of finely generated 3D objects within a cohesive optimization, effectively circumventing degradation. Extensive experimentation has shown that our proposed method significantly enhances the quality of 3D generation while incurring no additional computational overhead for the underlying framework. (Project code: https://github.com/yjhboy/Hyper3DG)


title: On the Metallicity Gradients in the Galactic Disk using Open Clusters

abstract: We study the metallicity distribution and evolution in the Galactic disk based on the largest sample of open star clusters in the Galaxy. From the catalogue of 1879 open clusters in the range of Galactocentric distance (R_GC) from 4 to 20 kpc, we investigate the variation of metallicity in the Galactic disk as functions of R_GC, vertical distance (Z), and ages of the clusters. In the direction perpendicular to the Galactic plane, variation in metallicity is found to follow a stepped linear relation. We estimate a vertical metallicity gradient d[Fe/H]/dZ of -0.545+/-0.046 dex/kpc for |Z| < 0.487 kpc, and -0.075+/-0.093 dex/kpc for 0.487 < |Z| < 1.8 kpc. On average, metallicity variations above and below the Galactic plane are found to change at similar rates. The change in metallicity in the radial direction is also found to follow a two-function linear relation. We obtain a radial metallicity gradient d[Fe/H]/d[R_GC] of -0.070+/-0.002 dex/kpc for 4.0<R_GC<12.8 kpc, and -0.005+/-0.018 dex/kpc for 12.8< R_GC < 20.5 kpc which clearly shows a strong variation in the metallicity gradient when moving from the inner to the outer Galactic disk. Age-metallicity relation (AMR) is found to follow a steeper negative slope of -0.031+/-0.006 dex/Gyr for clusters older than 240 Myr, however, there is some hint of positive metallicity age gradient for younger clusters.


title: Quantum effects in the H-bond symmetrization and in the thermodynamic properties of high pressure ice

abstract: We investigate the structural and thermodynamic properties of high-pressure ice by incorporating quantum anharmonicity at a non-perturbative level. Quantum fluctuations reduce the critical pressure of the phase transition between phase VIII (with asymmetric H-bonds) and phase X (with symmetric H-bonds) by 65 GPa from its classical value of 116 GPa at 0K. Moreover, quantum effects make it temperature-independent over a wide temperature range (0K-300K), in agreement with experimental estimates obtained through vibrational spectroscopy and in striking contrast to the strong temperature dependence found in the classical approximation. The equation of state shows fingerprints of the transition in accordance with experimental evidence. Additionally, we demonstrate that, within our approach, proton disorder in phase VII has a negligible impact on the occurrence of phase X. Finally, we reproduce with high accuracy the 10 GPa isotope shift due to the hydrogen-to-deuterium substitution.


title: Property $(\diamond)$ for Ore extensions of small Krull dimension

abstract: This paper is a continuation of a project to determine which skew polynomial algebras $S = R[\theta; \alpha]$ satisfy property $(\diamond)$, namely that the injective hull of every simple $S$-module is locally artinian, where $k$ is a field, $R$ is a commutative noetherian $k$-algebra, and $\alpha$ is a $k$-algebra automorphism of $R$. Earlier work (which we review) and further analysis done here leads us to focus on the case where $S$ is a primitive domain and $R$ has Krull dimension 1 and contains an uncountable field. Then we show first that if $|\mathrm{Spec}(R)|$ is infinite then $S$ does not satisfy $(\diamond)$. Secondly we show that when $R = k[X]_{<X>}$ and $\alpha (X) = qX$ where $q \in k \setminus \{0\}$ is not a root of unity then $S$ does not satisfy $(\diamond)$. This is in complete contrast to our earlier result that, when $R = k[[X]]$ and $\alpha$ is an arbitrary $k$-algebra automorphism of infinite order, $S$ satisfies $(\diamond)$. A number of open questions are stated.


title: XReal: Realistic Anatomy and Pathology-Aware X-ray Generation via Controllable Diffusion Model

abstract: Large-scale generative models have demonstrated impressive capacity in producing visually compelling images, with increasing applications in medical imaging. However, they continue to grapple with the challenge of image hallucination and the generation of anatomically inaccurate outputs. These limitations are mainly due to the sole reliance on textual inputs and lack of spatial control over the generated images, hindering the potential usefulness of such models in real-life settings. We present XReal, a novel controllable diffusion model for generating realistic chest X-ray images through precise anatomy and pathology location control. Our lightweight method can seamlessly integrate spatial control in a pre-trained text-to-image diffusion model without fine-tuning, retaining its existing knowledge while enhancing its generation capabilities. XReal outperforms state-of-the-art x-ray diffusion models in quantitative and qualitative metrics while showing 13% and 10% anatomy and pathology realism gain, respectively, based on the expert radiologist evaluation. Our model holds promise for advancing generative models in medical imaging, offering greater precision and adaptability while inviting further exploration in this evolving field. A large synthetically generated data with annotations and code is publicly available at https://github.com/BioMedIA-MBZUAI/XReal.


title: Electronic diffusion in a normal state of high-Tc cuprate YBa$_2$Cu$_3$O$_{6+x}$

abstract: The bad metallic phase with resistivity above the Mott-Ioffe-Regel limit, which appears also in cuprate superconductors, was recently understood by cold atom and computer simulations of the Hubbard model via charge susceptibility and charge diffusion constant. However, since reliable simulations can be typically done only at temperatures above the experimental temperatures, the question for cuprate superconductors is still open. This paper addresses this question by resorting to heat transport, which allows for the estimate of electronic diffusion and it further combines it with the resistivity to estimate the charge susceptibility. The doping and temperature dependencies of diffusion constant and charge susceptibilities are shown and discussed for two samples of YBa$_2$Cu$_3$O$_{6+x}$. Results indicate strongly incoherent transport, mean free path corresponding to the Mott-Ioffe-Regel limit for the underdoped sample at temperatures above ~200 K and significant effect of the charge susceptibility on the resistivity.


title: S-flat cotorsion pair

abstract: Let $R$ be a commutative ring, and let $S$ be a multiplicative subset of $R$. In this paper, we investigate the notion of $S$-cotorsion modules. An $R$-module $C$ is called $S$-cotorsion if $\text{Ext}^{1}_{R}(F,C) = 0$ for every $S$-flat $R$-module $F$. Among other results, we establish that the pair $(S\mathcal{F}, S\mathcal{C})$, where $S\mathcal{F}$ denotes the class of all $S$-flat $R$-modules and $S\mathcal{C}$ denotes the class of all $S$-cotorsion modules, forms a hereditary perfect cotorsion pair. As applications, we provide characterizations of $S$-perfect rings in terms of $S$-cotorsion modules. We conclude the paper with results on $S\mathcal{F}$-preenvelopes. Namely, we prove that if every module has an $S\mathcal{F}$-preenvelope, then $R$ is $S$-coherent. Furthermore, we establish the converse under the condition that $R_S$ is a finitely presented $R$-module.


title: A simple reconstruction method to infer nonreciprocal interactions and local driving in complex systems

abstract: Data-based inference of directed interactions in complex dynamical systems is a problem common to many disciplines of science. In this work, we study networks of spatially separate dynamical entities, which could represent physical systems that interact with each other by reciprocal or nonreciprocal, instantaneous or time-delayed interactions. We present a simple approach that combines Markov state models with directed information-theoretical measures for causal inference that can accurately infer the underlying interactions from noisy time series of the dynamical system states alone. Remarkably, this is possible despite the built-in simplification of a Markov assumption and the choice of a very coarse discretization at the level of probability estimation. Our test systems are an Ising chain with nonreciprocal coupling imposed by local driving of a single spin, and a system of delay-coupled linear stochastic processes. Stepping away from physical systems, the approach infers cause-effect relationships, or more generally, the direction of mutual or one-way influence. The presented method is agnostic to the number of interacting entities and details of the dynamics, so that it is widely applicable to problems in various fields.


title: High precision proton beam monitor system concept design on CSNS based on SiC

abstract: A high precision beam monitor system based on silicon carbide PIN sensor is designed for China Spallation Neutron Source 1.6 GeV proton beam to monitor the proton beam fluence.The concept design of the beam monitor system is finished together with front-end electronics with silicon carbide PIN sensors, readout system and mechanical system.Several tests are performed to study the performance of each component of the system.The charge collection of the SiC PIN sensors after proton radiation is studied with 80 MeV proton beam for continuous running. Research on the performance of the front-end electronics and readout system is finished for better data acquisition.The uncertainty of proton beam fluence is below 1% in the beam monitor system.


title: Conditional plasticity of the unit ball of the $\ell_\infty$-sum of finitely many strictly convex Banach spaces

abstract: We prove that for any $\ell_\infty$-sum $Z = \bigoplus_{i \in [n]} X_i$ of finitely many strictly convex Banach spaces $(X_i)_{i \in [n]}$, an extremeness preserving 1-Lipschitz bijection $f\colon B_Z \to B_Z$ is an isometry, by constraining the componentwise behavior of the inverse $g=f^{-1}$ with a theorem admitting a graph-theoretic interpretation. We also show that if $X, Y$ are Banach spaces, then a bijective 1-Lipschitz non-isometry of type $B_X \to B_Y$ can be used to construct a bijective 1-Lipschitz non-isometry of type $B_{X'} \to B_{X'}$ for some Banach space $X'$, and that a homeomorphic 1-Lipschitz non-isometry of type $B_X \to B_X$ restricts to a homeomorphic 1-Lipschitz non-isometry of type $B_S \to B_S$ for some separable subspace $S \leq X$.


title: Experimental study of dynamic wetting behavior through curved microchannels with automated image analysis

abstract: Preventing fluid penetration poses a challenging reliability concern in the context of power electronics, which is usually caused by unforeseen microfractures along the sealing joints. A better and more reliable product design heavily depends on the understanding of the dynamic wetting processes happening inside these complex microfractures, i.e. microchannels. A novel automated image processing procedure is proposed in this work for analyzing the moving interface and the dynamic contact angle in microchannels. In particular, the developed method is advantageous for experiments involving non-transparent samples, where extracting the fluid interface geometry poses a significant challenge. The developed method is validated with theoretical values and manual measurements and exhibits high accuracy. The implementation is made publicly available. The developed method is validated and applied to experimental investigations of forced wetting with two working fluids (water and 50 wt% glycerin/water mixture) in four distinct microchannels characterized by different dimensions and curvature. The comparison between the experimental results and molecular kinetic theory (MKT) reveals that the dynamic wetting behavior can be described well by MKT, even in highly curved microchannels. The dynamic wetting behavior shows a strong dependency on the channel geometry and curvature.


title: On the speed of propagation in Turing patterns for reaction-diffusion systems

abstract: This study investigates transient wave dynamics in Turing pattern formation, focusing on waves emerging from localised disturbances. While the traditional focus of diffusion-driven instability has primarily centred on stationary solutions, considerable attention has also been directed towards understanding spatio-temporal behaviours, particularly the propagation of patterning from localised disturbances. We analyse these waves of patterning using both the well-established marginal stability criterion and weakly nonlinear analysis with envelope equations. Both methods provide estimates for the wave speed but the latter method, in addition, approximates the wave profile and amplitude. We then compare these two approaches analytically near a bifurcation point and reveal that the marginal stability criterion yields exactly the same estimate for the wave speed as the weakly nonlinear analysis. Furthermore, we evaluate these estimates against numerical results for Schnakenberg and CDIMA (chlorine dioxide-iodine-malonic acid) kinetics. In particular, our study emphasises the importance of the characteristic speed of pattern propagation, determined by diffusion dynamics and a complex relation with the reaction kinetics in Turing systems. This speed serves as a vital parameter for comparison with experimental observations, akin to observed pattern length scales. Furthermore, more generally, our findings provide systematic methodologies for analysing transient wave properties in Turing systems, generating insight into the dynamic evolution of pattern formation.


title: Eulerian magnitude homology: subgraph structure and random graphs

abstract: In this paper we explore the connection between the ranks of the magnitude homology groups of a graph and the structure of its subgraphs. To this end, we introduce variants of magnitude homology called eulerian magnitude homology and discriminant magnitude homology. Leveraging the combinatorics of the differential in magnitude homology, we illustrate a close relationship between the ranks of the eulerian magnitude homology groups on the first diagonal and counts of subgraphs which fall in specific classes. We leverage these tools to study limiting behavior of the eulerian magnitude homology groups for Erdos-Renyi random graphs and random geometric graphs, producing for both models a vanishing threshold for the eulerian magnitude homology groups on the first diagonal. This in turn provides a characterization of the generators for the corresponding magnitude homology groups. Finally, we develop an explicit asymptotic estimate the expected rank of eulerian magnitude homology along the first diagonal for these random graph models.


title: Leveraging Constraint Programming in a Deep Learning Approach for Dynamically Solving the Flexible Job-Shop Scheduling Problem

abstract: Recent advancements in the flexible job-shop scheduling problem (FJSSP) are primarily based on deep reinforcement learning (DRL) due to its ability to generate high-quality, real-time solutions. However, DRL approaches often fail to fully harness the strengths of existing techniques such as exact methods or constraint programming (CP), which can excel at finding optimal or near-optimal solutions for smaller instances. This paper aims to integrate CP within a deep learning (DL) based methodology, leveraging the benefits of both. In this paper, we introduce a method that involves training a DL model using optimal solutions generated by CP, ensuring the model learns from high-quality data, thereby eliminating the need for the extensive exploration typical in DRL and enhancing overall performance. Further, we integrate CP into our DL framework to jointly construct solutions, utilizing DL for the initial complex stages and transitioning to CP for optimal resolution as the problem is simplified. Our hybrid approach has been extensively tested on three public FJSSP benchmarks, demonstrating superior performance over five state-of-the-art DRL approaches and a widely-used CP solver. Additionally, with the objective of exploring the application to other combinatorial optimization problems, promising preliminary results are presented on applying our hybrid approach to the traveling salesman problem, combining an exact method with a well-known DRL method.


title: Magnetotransport properties in van-der-Waals \textit{\textbf{R}}Te$_{3}$ (\textit{\textbf{R}} = La, Ce, Tb)

abstract: Rare-earth tritellurides are van-der-Waals antiferromagnets which have been attracting attention as materials not only with high mobility, but also with various states such as superconductivity under high pressure, incommensurate charge-density-wave (CDW) phase, and multiple antiferromagnetic phases. In this work, we performed longitudinal resistivity and Hall resistivity measurements simultaneously in exfoliated $R$Te$_{3}$ ($R$ =La, Ce, Tb) thin film devices, in order to investigate the influence of magnetic ordering on transport properties in van-der-Waals magnetic materials. We have obtained carrier mobility and concentration using a two-band model, and have observed an increase in carrier mobility in the antiferromagnets CeTe$_{3}$ and TbTe$_{3}$ due to the magnetic transition. Especially in CeTe$_{3}$, the carrier concentration has changed drastically below the magnetic transition temperature, suggesting the interaction between the CDW and antiferromagnetic phases. In addition, the analysis of the Shubnikov-de Haas oscillations in CeTe$_{3}$ supports the possibility of Fermi surface modulation by magnetic ordering. This research will pave the way not only for spintronic devices that take advantage of high mobility, but also for the study of the correlation between CDW and magnetism states in low-dimensional materials.


title: Ahlfors regularity of continua that minimize maxitive set functions

abstract: The primary objective of this paper is to establish the Ahlfors regularity of minimizers of set functions that satisfy a suitable maxitive condition on disjoint unions of sets. Our analysis focuses on minimizers within continua of the plane with finite one-dimensional Hausdorff measure. Through quantitative estimates, we prove that the length of a minimizer inside the ball centered at one of its points is comparable to the radius of the ball. By operating within an abstract framework, we are able to encompass a diverse range of entities, including spectral functionals defined in terms of the eigenvalues of elliptic operators, the inradius, and the maximum of the torsion function. These entities are of interest for several applications, such as structural engineering, urban planning, and quantum mechanics.


title: Reverse em-problem based on Bregman divergence and its application to classical and quantum information theory

abstract: The recent paper (IEEE Trans. IT 69, 1680) introduced an analytical method for calculating the channel capacity without the need for iteration. This method has certain limitations that restrict its applicability. Furthermore, the paper does not provide an explanation as to why the channel capacity can be solved analytically in this particular case. In order to broaden the scope of this method and address its limitations, we turn our attention to the reverse em-problem, proposed by Toyota (Information Geometry, 3, 1355 (2020)). This reverse em-problem involves iteratively applying the inverse map of the em iteration to calculate the channel capacity, which represents the maximum mutual information. However, several open problems remained unresolved in Toyota's work. To overcome these challenges, we formulate the reverse em-problem based on Bregman divergence and provide solutions to these open problems. Building upon these results, we transform the reverse em-problem into em-problems and derive a non-iterative formula for the reverse em-problem. This formula can be viewed as a generalization of the aforementioned analytical calculation method. Importantly, this derivation sheds light on the information geometrical structure underlying this special case. By effectively addressing the limitations of the previous analytical method and providing a deeper understanding of the underlying information geometrical structure, our work significantly expands the applicability of the proposed method for calculating the channel capacity without iteration.