title: A functional model and tridiagonalisation for symmetric anti-linear operators

abstract: We consider the class of bounded symmetric anti-linear operators $B$ with a cyclic vector. We associate with $B$ the spectral data consisting of a probability measure and a function. In terms of the spectral data of $B$, we introduce a functional model operator $\mathcal{B}$ acting on a model space. We prove an anti-linear variant of the spectral theorem demonstrating that $B$ is unitarily equivalent to $\mathcal{B}$. Next, we show that $B$ is also unitarily equivalent to an anti-linear tridiagonal operator and discuss connection with orthogonal polynomials in the anti-linear setting.


title: Flexible Variational Information Bottleneck: Achieving Diverse Compression with a Single Training

abstract: Information Bottleneck (IB) is a widely used framework that enables the extraction of information related to a target random variable from a source random variable. In the objective function, IB controls the trade-off between data compression and predictiveness through the Lagrange multiplier $\beta$. Traditionally, to find the trade-off to be learned, IB requires a search for $\beta$ through multiple training cycles, which is computationally expensive. In this study, we introduce Flexible Variational Information Bottleneck (FVIB), an innovative framework for classification task that can obtain optimal models for all values of $\beta$ with single, computationally efficient training. We theoretically demonstrate that across all values of reasonable $\beta$, FVIB can simultaneously maximize an approximation of the objective function for Variational Information Bottleneck (VIB), the conventional IB method. Then we empirically show that FVIB can learn the VIB objective as effectively as VIB. Furthermore, in terms of calibration performance, FVIB outperforms other IB and calibration methods by enabling continuous optimization of $\beta$. Our codes are available at https://github.com/sotakudo/fvib.


title: PRIME: Protect Your Videos From Malicious Editing

abstract: With the development of generative models, the quality of generated content keeps increasing. Recently, open-source models have made it surprisingly easy to manipulate and edit photos and videos, with just a few simple prompts. While these cutting-edge technologies have gained popularity, they have also given rise to concerns regarding the privacy and portrait rights of individuals. Malicious users can exploit these tools for deceptive or illegal purposes. Although some previous works focus on protecting photos against generative models, we find there are still gaps between protecting videos and images in the aspects of efficiency and effectiveness. Therefore, we introduce our protection method, PRIME, to significantly reduce the time cost and improve the protection performance. Moreover, to evaluate our proposed protection method, we consider both objective metrics and human subjective metrics. Our evaluation results indicate that PRIME only costs 8.3% GPU hours of the cost of the previous state-of-the-art method and achieves better protection results on both human evaluation and objective metrics. Code can be found in https://github.com/GuanlinLee/prime.


title: Beyond the Request: Harnessing HTTP Response Headers for Cross-Browser Web Tracker Classification in an Imbalanced Setting

abstract: The World Wide Web's connectivity is greatly attributed to the HTTP protocol, with HTTP messages offering informative header fields that appeal to disciplines like web security and privacy, especially concerning web tracking. Despite existing research employing HTTP/S request messages to identify web trackers, HTTP/S response headers are often overlooked. This study endeavors to design effective machine learning classifiers for web tracker detection using HTTP/S response headers. Data from the Chrome, Firefox, and Brave browsers, obtained through the traffic monitoring browser extension T.EX, serves as our data set. Eleven supervised models were trained on Chrome data and tested across all browsers. The results demonstrated high accuracy, F1-score, precision, recall, and minimal log-loss error for Chrome and Firefox, but subpar performance on Brave, potentially due to its distinct data distribution and feature set. The research suggests that these classifiers are viable for detecting web trackers in Chrome and Firefox. However, real-world application testing remains pending, and the distinction between tracker types and broader label sources could be explored in future studies.


title: Can Shape-Infused Joint Embeddings Improve Image-Conditioned 3D Diffusion?

abstract: Recent advancements in deep generative models, particularly with the application of CLIP (Contrastive Language Image Pretraining) to Denoising Diffusion Probabilistic Models (DDPMs), have demonstrated remarkable effectiveness in text to image generation. The well structured embedding space of CLIP has also been extended to image to shape generation with DDPMs, yielding notable results. Despite these successes, some fundamental questions arise: Does CLIP ensure the best results in shape generation from images? Can we leverage conditioning to bring explicit 3D knowledge into the generative process and obtain better quality? This study introduces CISP (Contrastive Image Shape Pre training), designed to enhance 3D shape synthesis guided by 2D images. CISP aims to enrich the CLIP framework by aligning 2D images with 3D shapes in a shared embedding space, specifically capturing 3D characteristics potentially overlooked by CLIP's text image focus. Our comprehensive analysis assesses CISP's guidance performance against CLIP guided models, focusing on generation quality, diversity, and coherence of the produced shapes with the conditioning image. We find that, while matching CLIP in generation quality and diversity, CISP substantially improves coherence with input images, underscoring the value of incorporating 3D knowledge into generative models. These findings suggest a promising direction for advancing the synthesis of 3D visual content by integrating multimodal systems with 3D representations.


title: Two Heads Are Better Than One: Boosting Graph Sparse Training via Semantic and Topological Awareness

abstract: Graph Neural Networks (GNNs) excel in various graph learning tasks but face computational challenges when applied to large-scale graphs. A promising solution is to remove non-essential edges to reduce the computational overheads in GNN. Previous literature generally falls into two categories: topology-guided and semantic-guided. The former maintains certain graph topological properties yet often underperforms on GNNs due to low integration with neural network training. The latter performs well at lower sparsity on GNNs but faces performance collapse at higher sparsity levels. With this in mind, we take the first step to propose a new research line and concept termed Graph Sparse Training (GST), which dynamically manipulates sparsity at the data level. Specifically, GST initially constructs a topology & semantic anchor at a low training cost, followed by performing dynamic sparse training to align the sparse graph with the anchor. We introduce the Equilibria Sparsification Principle to guide this process, effectively balancing the preservation of both topological and semantic information. Ultimately, GST produces a sparse graph with maximum topological integrity and no performance degradation. Extensive experiments on 6 datasets and 5 backbones showcase that GST (I) identifies subgraphs at higher graph sparsity levels (1.67%~15.85% $\uparrow$) than state-of-the-art sparsification methods, (II) preserves more key spectral properties, (III) achieves 1.27-3.42$\times$ speedup in GNN inference and (IV) successfully helps graph adversarial defense and graph lottery tickets.


title: Quantum simulation of Fermi-Hubbard model based on transmon qudit interaction

abstract: The Fermi-Hubbard model, a fundamental framework for studying strongly correlated phenomena could significantly benefit from quantum simulations when exploring non-trivial settings. However, simulating this problem requires twice as many qubits as the physical sites, in addition to complicated on-chip connectivities and swap gates required to simulate the physical interactions. In this work, we introduce a novel quantum simulation approach utilizing qudits to overcome such complexities. Leveraging on the symmetries of the Fermi-Hubbard model and their intrinsic relation to Clifford algebras, we first demonstrate a Qudit Fermionic Mapping (QFM) that reduces the encoding cost associated with the qubit-based approach. We then describe the unitary evolution of the mapped Hamiltonian by interpreting the resulting Majorana operators in terms of physical single- and two-qudit gates. While the QFM can be used for any quantum hardware with four accessible energy levels, we demonstrate the specific reduction in overhead resulting from utilizing the native Controlled-SUM gate (equivalent to qubit CNOT) for a fixed-frequency ququart transmon. We further transpile the resulting two transmon-qudit gates by demonstrating a qudit operator Schmidt decomposition using the Controlled-SUM gate. Finally, we demonstrate the efficacy of our proposal by numerical simulation of local observables such as the filling factor and Green's function for various Trotter steps. The compatibility of our approach with different qudit platforms paves the path for achieving quantum advantage in simulating non-trivial quantum many-body systems.


title: Short Systematic Codes for Correcting Random Edit Errors in DNA Storage

abstract: DNA storage faces challenges in ensuring data reliability in the presence of edit errors -- deletions, insertions, and substitutions -- that occur randomly during various phases of the storage process. Current limitations in DNA synthesis technology also require the use of short DNA sequences, highlighting the particular need for short edit-correcting codes. Motivated by these factors, we introduce a systematic code designed to correct random edits while adhering to typical length constraints in DNA storage. We evaluate the performance of the code through simulations and assess its effectiveness within a DNA storage framework, revealing promising results.


title: Continuous logic in a classical setting

abstract: Let $\mathcal{L}$ be a first-order two-sorted language and consider a class of $\mathcal{L}$-structures of the form $\langle M, X \rangle$ where $M$ varies among structures of the first sort, while $X$ is fixed in the second sort, and it is assumed to be a compact Hausdorff space. When $X$ is a compact subset of the real line, one way to treat classes of this kind model-theoretically is via continuous-valued logic, as in [Ben Yaacov-Berenstein-Henson-Usvyatsov 2010]. Prior to that, Henson and Iovino proposed an approach based on the notion of positive formulas [Henson-Iovino 2002]. Their work is tailored to the model theory of Banach spaces. Here we show that a similar approach is possible for a more general class of models. We introduce suitable versions of elementarity, compactness, saturation, quantifier elimination and other basic tools, and we develop basic model theory.


title: LimSim++: A Closed-Loop Platform for Deploying Multimodal LLMs in Autonomous Driving

abstract: The emergence of Multimodal Large Language Models ((M)LLMs) has ushered in new avenues in artificial intelligence, particularly for autonomous driving by offering enhanced understanding and reasoning capabilities. This paper introduces LimSim++, an extended version of LimSim designed for the application of (M)LLMs in autonomous driving. Acknowledging the limitations of existing simulation platforms, LimSim++ addresses the need for a long-term closed-loop infrastructure supporting continuous learning and improved generalization in autonomous driving. The platform offers extended-duration, multi-scenario simulations, providing crucial information for (M)LLM-driven vehicles. Users can engage in prompt engineering, model evaluation, and framework enhancement, making LimSim++ a versatile tool for research and practice. This paper additionally introduces a baseline (M)LLM-driven framework, systematically validated through quantitative experiments across diverse scenarios. The open-source resources of LimSim++ are available at: https://pjlab-adg.github.io/limsim-plus/.


title: Light-induced phase transitions in vanadium dioxide: a tensor network study

abstract: Nonequilibrium phase transitions driven by light pulses represent a rapidly developing field in condensed matter physics. As one of the archetypal strongly correlated materials, vanadium dioxide (VO2) undergoes a structural phase transition (SPT) from a monoclinic (M1) to rutile (R) structure and an insulator-to-metal transition (IMT) either when heated above 340 K or when excited by an ultrafast laser pulse. Here, we present a tensor network study of the light-induced phase transitions in VO2 based on a quasi-one-dimensional model with all the important ingredients -- multi-orbital character, electron-lattice coupling, and electron-electron correlations -- being included. We show that this model qualitatively captures the equilibrium properties of VO2 by calculating the ground state phase diagram and finite-temperature phase transitions. A hybrid quantum-classical tensor-network method is used to simulate the dynamics following photoexcitation. We find that the structure can transform faster than the harmonic phonon modes of M1 phase, suggesting lattice nonlinearity is key in the SPT. We also find separate timescales for the evolution of dimerization and tilt distortions in the lattice dynamics, as well as the loss and subsequent partial restoration behavior of the displacements, which can provide an explanation for the complex dynamics observed in recent experiments [C. Brahms et al., arXiv:XXXX.XXXXX]. Moreover, decoupled SPT and IMT dynamics are observed in the numerical simulations: while the initial M1 structure transforms to the R one in tens of femtoseconds, the IMT occurs quasi-instantaneously, consistent with recent experimental findings. Our theoretical studies provide insight into the light-induced phase transitions of VO2, revealing unexpected non-monotonic transformation pathways and paving the way for future studies of non-thermal phase transformations.


title: Single production of vectorlike quarks with charge 5/3 at the 14 TeV LHC

abstract: Vectorlike quarks have been predicted in many new physics scenarios beyond the Standard Model (SM), which can have sizable couplings to first generation quarks without conflicting with current experimental constraints. In a framework of the SM simply extended by an SU(2) doublet $\left(X,T\right)$ including a vectorlike quark $X$~(VLQ-$X$), with electric charge $|Q_{X}| = 5/3$, we investigate the single production of the VLQ-$X$ induced by the couplings between the VLQ-$X$ with the first and the third generation quarks at the Large Hadron Collider (LHC) Run-III and High-Luminosity LHC (HL-LHC) operating at $\sqrt{s}=14$~TeV. The signal is searched in events including same-sign dileptons (electrons or muons), one $b$-tagged jet and missing energy, where the X quark is assumed to decay into a top quark and a W boson, both decaying leptonically. After a rapid simulation of signal and background events, the 95\% CL exclusion limits and the $5\sigma$ discovery reach are respectively obtained at the 14 TeV LHC with an integrated luminosity of 300 and 3000 fb$^{-1}$, respectively.


title: Constructive projective extension of an incidence plane

abstract: A standard procedure in classical projective geometry, using pencils of lines to extend an incidence plane to a projective plane, is examined from a constructive viewpoint. Brouwerian counterexamples reveal the limitations of traditional pencils. Generalized definitions are adopted to construct a projective extension. The main axioms of projective geometry are verified. The methods used are in accord with Bishop-type modern constructivism.


title: Maximal noncompactness of limiting Sobolev embeddings

abstract: We develop a new method suitable for establishing lower bounds on the ball measure of noncompactness of operators acting between considerably general quasinormed function spaces. This new method removes some of the restrictions oft-presented in the previous work. Most notably, the target function space need not be disjointly superadditive nor equipped with a norm. Instead, a property that is far more often at our disposal is exploited, namely the absolute continuity of the target quasinorm. We use this new method to prove that limiting Sobolev embeddings into spaces of Brezis--Wainger type are so-called maximally noncompact, i.e., their ball measure of noncompactness is the worst possible.


title: Amorphous Boron Nitride as a Diffusion Barrier to Cu Atoms

abstract: This study focuses on amorphous boron nitride ($\rm \alpha$-BN) as a novel diffusion barrier for advanced semiconductor technology, particularly addressing the critical challenge of copper diffusion in back-end-of-logic (BEOL) interconnects. Owing to its ultralow dielectric constant and robust barrier properties, $\rm \alpha$-BN is examined as an alternative to conventional low-k dielectrics. The investigation primarily employs theoretical modeling, using a Gaussian Approximation Potential, to simulate and understand the atomic-level interactions and barrier mechanisms of $\rm \alpha$-BN. This machine learning-based approach allows for realistic simulations of its amorphous structure, enabling the exploration of the impact of different film morphologies on barrier efficacy. Complementing the theoretical study, experimental analyses are conducted on Plasma-Enhanced Chemical Vapor Deposition (PECVD) grown $\rm \alpha$-BN films, evaluating their effectiveness in preventing copper diffusion in silicon-based substrates. The results from both the theoretical and experimental investigations highlight the potential of $\rm \alpha$-BN as a highly effective diffusion barrier, suitable for integration in nanoelectronics. This research not only proposes $\rm \alpha$-BN as a promising candidate for BEOL interconnects but also demonstrates the synergy of advanced computational models and experimental methods in material innovation for semiconductor applications.


title: Target inductive methods for zero-shot regression

abstract: This research arises from the need to predict the amount of air pollutants in meteorological stations. Air pollution depends on the location of the stations (weather conditions and activities in the surroundings). Frequently, the surrounding information is not considered in the learning process. This information is known beforehand in the absence of unobserved weather conditions and remains constant for the same station. Considering the surrounding information as side information facilitates the generalization for predicting pollutants in new stations, leading to a zero-shot regression scenario. Available methods in zero-shot typically lean towards classification, and are not easily extensible to regression. This paper proposes two zero-shot methods for regression. The first method is a similarity based approach that learns models from features and aggregates them using side information. However, potential knowledge of the feature models may be lost in the aggregation. The second method overcomes this drawback by replacing the aggregation procedure and learning the correspondence between side information and feature-induced models, instead. Both proposals are compared with a baseline procedure using artificial datasets, UCI repository communities and crime datasets, and the pollutants. Both approaches outperform the baseline method, but the parameter learning approach manifests its superiority over the similarity based method.


title: RimiRec: Modeling Refined Multi-interest in Hierarchical Structure for Recommendation

abstract: Industrial recommender systems usually consist of the retrieval stage and the ranking stage, to handle the billion-scale of users and items. The retrieval stage retrieves candidate items relevant to user interests for recommendations and has attracted much attention. Frequently, a user shows refined multi-interests in a hierarchical structure. For example, a user likes Conan and Kuroba Kaito, which are the roles in hierarchical structure "Animation, Japanese Animation, Detective Conan". However, most existing methods ignore this hierarchical nature, and simply average the fine-grained interest information. Therefore, we propose a novel two-stage approach to explicitly modeling refined multi-interest in a hierarchical structure for recommendation. In the first hierarchical multi-interest mining stage, the hierarchical clustering and transformer-based model adaptively generate circles or sub-circles that users are interested in. In the second stage, the partition of retrieval space allows the EBR models to deal only with items within each circle and accurately capture users' refined interests. Experimental results show that the proposed approach achieves state-of-the-art performance. Our framework has also been deployed at Lofter.


title: Neural Trajectory Model: Implicit Neural Trajectory Representation for Trajectories Generation

abstract: Trajectory planning is a fundamental problem in robotics. It facilitates a wide range of applications in navigation and motion planning, control, and multi-agent coordination. Trajectory planning is a difficult problem due to its computational complexity and real-world environment complexity with uncertainty, non-linearity, and real-time requirements. The multi-agent trajectory planning problem adds another dimension of difficulty due to inter-agent interaction. Existing solutions are either search-based or optimization-based approaches with simplified assumptions of environment, limited planning speed, and limited scalability in the number of agents. In this work, we make the first attempt to reformulate single agent and multi-agent trajectory planning problem as query problems over an implicit neural representation of trajectories. We formulate such implicit representation as Neural Trajectory Models (NTM) which can be queried to generate nearly optimal trajectory in complex environments. We conduct experiments in simulation environments and demonstrate that NTM can solve single-agent and multi-agent trajectory planning problems. In the experiments, NTMs achieve (1) sub-millisecond panning time using GPUs, (2) almost avoiding all environment collision, (3) almost avoiding all inter-agent collision, and (4) generating almost shortest paths. We also demonstrate that the same NTM framework can also be used for trajectories correction and multi-trajectory conflict resolution refining low quality and conflicting multi-agent trajectories into nearly optimal solutions efficiently. (Open source code will be available at https://github.com/laser2099/neural-trajectory-model)


title: Enumeration of linear codes with different hulls

abstract: The hull of a linear code $C$ is the intersection of $C$ with its dual code. We present and analyze the number of linear $q$-ary codes of the same length and dimension but with different dimensions for their hulls. We prove that for given dimension $k$ and length $n\ge 2k$ the number of all $[n,k]_q$ linear codes with hull dimension $l$ decreases as $l$ increases. We also present classification results for binary and ternary linear codes with trivial hulls (LCD and self-orthogonal) for some values of the length $n$ and dimension $k$, comparing the obtained numbers with the number of all linear codes for the given $n$ and $k$.


title: Probing of magnetic dimensional crossover in CrSiTe$_{3}$ through picosecond strain pulses

abstract: Elucidating the emergence of long-range magnetic ordering from its precursor short-range magnetic ordering (SRMO) in two-dimensional van der Waals materials holds profound implications for fundamental research and technological advancements. However, directly observing the intricate stages of this magnetic dimensional crossover (MDC) remains a significant experimental challenge. While magneto-elastic coupling offers a promising avenue, detecting the minute lattice response to SRMO proves challenging. Recent investigations utilizing second harmonic generation have unveiled a two-step MDC in a van der Waals ferromagnetic insulator. However, an unambiguous detection of MDC through the time-resolved techniques remains elusive. To meet this goal, we have executed an alternative approach by employing picosecond acoustic strain pulses generated by femtosecond lasers to probe the various stages of MDC through the magneto-elastic coupling for the first time. By analyzing the shape of the strain pulse in both the time and frequency domains as a function of temperature, we clearly demonstrate the detection of the subtle influence of spin fluctuations on the lattice. Additionally, the ultrafast carrier dynamics also show signatures of MDC. Our measurements pave the way towards characterizing magnetic materials in time-resolved experiments that are crucial in designing a new generation of spin-based optoelectronic devices.


title: Polygonal corona limit on multigrid dual tilings

abstract: The growth pattern of an invasive cell-to-cell propagation (called the successive coronas) on the square grid is a tilted square. On the triangular and hexagonal grids, it is an hexagon. It is remarkable that, on the aperiodic structure of Penrose tilings, this cell-to-cell diffusion process tends to a regular decagon (at the limit). In this article we generalize this result to any regular multigrid dual tiling, by defining the characteristic polygon of a multigrid and its dual tiling. Exploiting this elegant duality allows to fully understand why such surprising phenomena, of seeing highly regular polygonal shapes emerge from aperiodic underlying structures, happen.


title: Transformers Learn Nonlinear Features In Context: Nonconvex Mean-field Dynamics on the Attention Landscape

abstract: Large language models based on the Transformer architecture have demonstrated impressive capabilities to learn in context. However, existing theoretical studies on how this phenomenon arises are limited to the dynamics of a single layer of attention trained on linear regression tasks. In this paper, we study the optimization of a Transformer consisting of a fully connected layer followed by a linear attention layer. The MLP acts as a common nonlinear representation or feature map, greatly enhancing the power of in-context learning. We prove in the mean-field and two-timescale limit that the infinite-dimensional loss landscape for the distribution of parameters, while highly nonconvex, becomes quite benign. We also analyze the second-order stability of mean-field dynamics and show that Wasserstein gradient flow almost always avoids saddle points. Furthermore, we establish novel methods for obtaining concrete improvement rates both away from and near critical points. This represents the first saddle point analysis of mean-field dynamics in general and the techniques are of independent interest.


title: Position Aware 60 GHz mmWave Beamforming for V2V Communications Utilizing Deep Learning

abstract: Beamforming techniques are considered as essential parts to compensate the severe path loss in millimeter-wave (mmWave) communications by adopting large antenna arrays and formulating narrow beams to obtain satisfactory received powers. However, performing accurate beam alignment over such narrow beams for efficient link configuration by traditional beam selection approaches, mainly relied on channel state information, typically impose significant latency and computing overheads, which is often infeasible in vehicle-to-vehicle (V2V) communications like highly dynamic scenarios. In contrast, utilizing out-of-band contextual information, such as vehicular position information, is a potential alternative to reduce such overheads. In this context, this paper presents a deep learning-based solution on utilizing the vehicular position information for predicting the optimal beams having sufficient mmWave received powers so that the best V2V line-of-sight links can be ensured proactively. After experimental evaluation of the proposed solution on real-world measured mmWave sensing and communications datasets, the results show that the solution can achieve up to 84.58% of received power of link status on average, which confirm a promising solution for beamforming in mmWave at 60 GHz enabled V2V communications.


title: Global Flows of Foliated Gravity-Matter Systems

abstract: Asymptotic safety is a promising mechanism for obtaining a consistent and predictive quantum theory for gravity. The ADM formalism allows to introduce a (Euclidean) time-direction in this framework. It equips spacetime with a foliation structure by encoding the gravitational degrees of freedom in a lapse function, shift vector, and a metric measuring distances on the spatial slices. We use the Wetterich equation to study the renormalization group flow of the graviton 2-point function extracted from the spatial metric. The flow is driven by the 3- and 4-point vertices generated by the foliated Einstein-Hilbert action supplemented by minimally coupled scalar and vector fields. We derive bounds on the number of matter fields cast by asymptotic safety. Moreover, we show that the phase diagram obtained in the pure gravity case is qualitatively stable within these bounds. An intriguing feature is the presence of an IR-fixed point for the graviton mass which prevents the squared mass taking negative values. This feature persists for any number of matter fields and, in particular, also in situations where there is no suitable interacting fixed point rendering the theory asymptotically safe. Our work complements earlier studies of the subject by taking contributions from the matter fields into account.


title: TEDDY: Trimming Edges with Degree-based Discrimination strategY

abstract: Since the pioneering work on the lottery ticket hypothesis for graph neural networks (GNNs) was proposed in Chen et al. (2021), the study on finding graph lottery tickets (GLT) has become one of the pivotal focus in the GNN community, inspiring researchers to discover sparser GLT while achieving comparable performance to original dense networks. In parallel, the graph structure has gained substantial attention as a crucial factor in GNN training dynamics, also elucidated by several recent studies. Despite this, contemporary studies on GLT, in general, have not fully exploited inherent pathways in the graph structure and identified tickets in an iterative manner, which is time-consuming and inefficient. To address these limitations, we introduce TEDDY, a one-shot edge sparsification framework that leverages structural information by incorporating edge-degree information. Following edge sparsification, we encourage the parameter sparsity during training via simple projected gradient descent on the $\ell_0$ ball. Given the target sparsity levels for both the graph structure and the model parameters, our TEDDY facilitates efficient and rapid realization of GLT within a single training. Remarkably, our experimental results demonstrate that TEDDY significantly surpasses conventional iterative approaches in generalization, even when conducting one-shot sparsification that solely utilizes graph structures, without taking feature information into account.


title: Class incremental learning with probability dampening and cascaded gated classifier

abstract: Humans are capable of acquiring new knowledge and transferring learned knowledge into different domains, incurring a small forgetting. The same ability, called Continual Learning, is challenging to achieve when operating with neural networks due to the forgetting affecting past learned tasks when learning new ones. This forgetting can be mitigated by replaying stored samples from past tasks, but a large memory size may be needed for long sequences of tasks; moreover, this could lead to overfitting on saved samples. In this paper, we propose a novel regularisation approach and a novel incremental classifier called, respectively, Margin Dampening and Cascaded Scaling Classifier. The first combines a soft constraint and a knowledge distillation approach to preserve past learned knowledge while allowing the model to learn new patterns effectively. The latter is a gated incremental classifier, helping the model modify past predictions without directly interfering with them. This is achieved by modifying the output of the model with auxiliary scaling functions. We empirically show that our approach performs well on multiple benchmarks against well-established baselines, and we also study each component of our proposal and how the combinations of such components affect the final results.


title: A Differentiable Partially Observable Generalized Linear Model with Forward-Backward Message Passing

abstract: The partially observable generalized linear model (POGLM) is a powerful tool for understanding neural connectivity under the assumption of existing hidden neurons. With spike trains only recorded from visible neurons, existing works use variational inference to learn POGLM meanwhile presenting the difficulty of learning this latent variable model. There are two main issues: (1) the sampled Poisson hidden spike count hinders the use of the pathwise gradient estimator in VI; and (2) the existing design of the variational model is neither expressive nor time-efficient, which further affects the performance. For (1), we propose a new differentiable POGLM, which enables the pathwise gradient estimator, better than the score function gradient estimator used in existing works. For (2), we propose the forward-backward message-passing sampling scheme for the variational model. Comprehensive experiments show that our differentiable POGLMs with our forward-backward message passing produce a better performance on one synthetic and two real-world datasets. Furthermore, our new method yields more interpretable parameters, underscoring its significance in neuroscience.


title: Direct side information learning for zero-shot regression

abstract: Zero-shot learning provides models for targets for which instances are not available, commonly called unobserved targets. The availability of target side information becomes crucial in this context in order to properly induce models for these targets. The literature is plenty of strategies to cope with this scenario, but specifically designed on the basis of a zero-shot classification scenario, mostly in computer vision and image classification, but they are either not applicable or easily extensible for a zero-shot regression framework for which a continuos value is required to be predicted rather than a label. In fact, there is a considerable lack of methods for zero-shot regression in the literature. Two approaches for zero-shot regression that work in a two-phase procedure were recently proposed. They first learn the observed target models through a classical regression learning ignoring the target side information. Then, they aggregate those observed target models afterwards exploiting the target side information and the models for the unobserved targets are induced. Despite both have shown quite good performance because of the different treatment they grant to the common features and to the side information, they exploit features and side information separately, avoiding a global optimization for providing the unobserved target models. The proposal of this paper is a novel method that jointly takes features and side information in a one-phase learning process, but treating side information properly and in a more deserving way than as common features. A specific kernel that properly merges features and side information is proposed for this purpose resulting in a novel approach that exhibits better performance over both artificial and real datasets.


title: Deviated Fixed-route Microtransit: Design and Operations

abstract: Microtransit offers opportunities to enhance urban mobility by combining the reliability of public transit and the flexibility of ride-sharing. This paper optimizes the design and operations of a deviated fixed-route microtransit system that relies on reference lines but is allowed to deviate in response to passenger demand. We formulate a Microtransit Network Design (MiND) model via two-stage stochastic optimization. The model features a tight second-stage formulation thanks to a subpath-based representation of microtransit operations in a load-expanded network, which optimizes on-demand deviations between checkpoint stops. We develop a double-decomposition algorithm combining Benders decomposition and subpath-based column generation armed with a tailored label-setting algorithm. Using real-world data from Manhattan, results suggest that our method scales to large practical instances, with up to 10-100 candidate lines and hundreds of stations. Comparisons with transit and ride-sharing benchmarks suggest that microtransit can provide win-win outcomes toward efficient mobility (high demand coverage, low operating costs, high level of service), equitable mobility (broad geographic reach) and sustainable mobility (limited environmental footprint). We provide an open-source implementation in an online repository to enable replication.


title: Decoupled few-femtosecond phase transitions in vanadium dioxide

abstract: The nature of the insulator-to-metal phase transition in vanadium dioxide (VO2) is one of the longest-standing problems in condensed-matter physics. Ultrafast spectroscopy has long promised to determine whether the transition is primarily driven by the electronic or structural degree of freedom, but measurements to date have been stymied by their sensitivity to only one of these components and/or their limited temporal resolution. Here we use ultra-broadband few-femtosecond pump-probe spectroscopy to resolve the electronic and structural phase transitions in VO2 at their fundamental time scales. We find that the system transforms into a bad-metallic phase within 10 fs after photoexcitation, but requires another 100 fs to complete the transition, during which we observe electronic oscillations and a partial re-opening of the bandgap, signalling a transient semi-metallic state. Comparisons with tensor-network simulations and density-functional theory calculations show these features originate from oscillations around the equilibrium high-symmetry atomic positions during an unprecedentedly fast structural transition, in which the vanadium dimers separate and untwist with two different timescales. Our results resolve the complete structural and electronic nature of the light-induced phase transition in VO2 and establish ultra-broadband few-femtosecond spectroscopy as a powerful new tool for studying quantum materials out of equilibrium.


title: The Human and the Mechanical: logos, truthfulness, and ChatGPT

abstract: The paper addresses the question of whether it is appropriate to talk about `mechanical minds' at all, and whether ChatGPT models can indeed be thought of as realizations of that. Our paper adds a semantic argument to the current debate. The act of human assertion requires the formation of a veridicality judgment. Modification of assertions with modals (John must be at home) and the use of subjective elements (John is obviously at home) indicate that the speaker is manipulating her judgments and, in a cooperative context, intends her epistemic state to be transparent to the addressee. Veridicality judgments are formed on the basis of two components: (i) evidence that relates to reality (exogenous evidence) and (ii) endogenous evidence, such as preferences and private beliefs. `Mechanical minds' lack these two components: (i) they do not relate to reality and (ii) do not have endogenous evidence. Therefore they lack the ability to form a belief about the world and a veridicality judgments altogether. They can only mimic that judgment, but the output is not ground in the very foundations for it.


title: Characteristics of the Alfv\'enic activity during the current quench in ASDEX Upgrade

abstract: ASDEX Upgrade has developed multiple massive gas injection (MGI) scenarios to investigate runaway electron (RE) dynamics. During the current quench of the MGI induced disruptions, Alfv\'enic activity is observed in the 300-800 kHz range. With the help of a mode tracing algorithm based on Fourier spectrograms, mode behaviour was classified for 180 discharges. The modes have been identified as global Alfv\'en eigenmodes using linear gyrokinetic MHD simulations. Changes in the Alfv\'en continuum during the quench are proposed as explanation for the strong frequency sweep observed. A systematic statistical analysis shows no significant connection of the mode characteristics to the dynamics of the subsequent runaway electron beams. In our studies, the appearance and amplitude of the modes does not seem to affect the potential subsequent runaway beam. Beyond the scope of the 180 investigated dedicated RE experiments, the Alfv\'enic activity is also observed in natural disruptions with no RE beam forming.


title: Spectrum-guided Feature Enhancement Network for Event Person Re-Identification

abstract: As a cutting-edge biosensor, the event camera holds significant potential in the field of computer vision, particularly regarding privacy preservation. However, compared to traditional cameras, event streams often contain noise and possess extremely sparse semantics, posing a formidable challenge for event-based person re-identification (event Re-ID). To address this, we introduce a novel event person re-identification network: the Spectrum-guided Feature Enhancement Network (SFE-Net). This network consists of two innovative components: the Multi-grain Spectrum Attention Mechanism (MSAM) and the Consecutive Patch Dropout Module (CPDM). MSAM employs a fourier spectrum transform strategy to filter event noise, while also utilizing an event-guided multi-granularity attention strategy to enhance and capture discriminative person semantics. CPDM employs a consecutive patch dropout strategy to generate multiple incomplete feature maps, encouraging the deep Re-ID model to equally perceive each effective region of the person's body and capture robust person descriptors. Extensive experiments on Event Re-ID datasets demonstrate that our SFE-Net achieves the best performance in this task.


title: Dynamical system analysis in descending dark energy model

abstract: In this paper, we study the dynamical system analysis for a recently proposed decaying dark energy model, namely, Q-SC-CDM. First we investigate the stationary points to find the stable attractor solution under the conditions discussed recently in the literature. In this case, we do not find any stable attractor solution. Therefore, we avoid the parameter space of Q-SC-CDM model discussed in arXiv:2201.07704. Second, we make different choice for the model parameters and re-investigate the stationary points and their stability. Our analysis shows that a simple choice of model parameters allows to capture a stable attractor solution. Moreover, we obtain phase portrait where all trajectories move towards the stable attractor point.


title: An Intra-BRNN and GB-RVQ Based END-TO-END Neural Audio Codec

abstract: Recently, neural networks have proven to be effective in performing speech coding task at low bitrates. However, under-utilization of intra-frame correlations and the error of quantizer specifically degrade the reconstructed audio quality. To improve the coding quality, we present an end-to-end neural speech codec, namely CBRC (Convolutional and Bidirectional Recurrent neural Codec). An interleaved structure using 1D-CNN and Intra-BRNN is designed to exploit the intra-frame correlations more efficiently. Furthermore, Group-wise and Beam-search Residual Vector Quantizer (GB-RVQ) is used to reduce the quantization noise. CBRC encodes audio every 20ms with no additional latency, which is suitable for real-time communication. Experimental results demonstrate the superiority of the proposed codec when comparing CBRC at 3kbps with Opus at 12kbps.


title: Three results related to the half-plane property of matroids

abstract: We settle three problems from the literature on stable and real zero polynomials and their connection to matroid theory. We disprove the weak real zero amalgamation conjecture by Schweighofer and the second author. We disprove a conjecture by Br\"and\'en and D'Le\'on by finding a relaxation of a matroid with the weak half-plane property that does not have the weak half-plane property itself. Finally, we prove that every quaternionic unimodular matroid has the half-plane property which was conjectured by Pendavingh and van Zwam.


title: Nonconventional screening of Coulomb interaction in two-dimensional semiconductors and metals: A comprehensive cRPA study of MX2 (M=Mo, W, Nb, Ta; X=S, Se, Te)

abstract: Experimental observations of large exciton binding energies and non-hydrogenic Rydberg series in 2D semiconducting TMDs, along with deviations in plasmon dispersion in 2D metallic TMDs, suggest the presence of a nonconventional screening of the Coulomb interaction. The experimentally observed Mott insulating state in the charge density wave (CDW) reconstructed lattice of TMDs containing 4d and 5d elements further confirms the presence of strong Coulomb interactions in these systems. In this study, we use first-principles electronic structure calculations and constrained random-phase approximation to calculate the Coulomb interaction parameters (partially screened U and fully screened W) between localized $d$ electrons in 2D TMDs. We specifically explore materials represented by the formula MX2 (M=Nb, Ta, Mo, W, and X=S, Se, Te) and consider three different phases (1H, 1T, and 1T'). Our results show that the short-range interactions are strongly screened in all three phases, whereas the long-range interactions remain significant even in metallic systems. This nonconventional screening provides a compelling explanation for the deviations observed in the usual hydrogenic Rydberg series and conventional plasmon dispersion in 2D semiconducting and metallic TMDs, respectively. Our calculations yield on-site Coulomb interaction parameters U within the ranges of 0.8-2.5 eV, 0.8-1.9 eV, and 0.9-2.4 eV for the 1H, 1T, and 1T' structures, respectively. Furthermore, our findings indicate a substantially high ratio of on-site effective Coulomb interaction to bandwidth (U_eff/W_b >> 1) in CDW TMDs, providing robust evidence for the experimentally observed strongly correlated Mott phase.


title: On the Transferability of Large-Scale Self-Supervision to Few-Shot Audio Classification

abstract: In recent years, self-supervised learning has excelled for its capacity to learn robust feature representations from unlabelled data. Networks pretrained through self-supervision serve as effective feature extractors for downstream tasks, including Few-Shot Learning. While the evaluation of unsupervised approaches for few-shot learning is well-established in imagery, it is notably absent in acoustics. This study addresses this gap by assessing large-scale self-supervised models' performance in few-shot audio classification. Additionally, we explore the relationship between a model's few-shot learning capability and other downstream task benchmarks. Our findings reveal state-of-the-art performance in some few-shot problems such as SpeechCommandsv2, as well as strong correlations between speech-based few-shot problems and various downstream audio tasks.


title: Parametric-Task MAP-Elites

abstract: Optimizing a set of functions simultaneously by leveraging their similarity is called multi-task optimization. Current black-box multi-task algorithms only solve a finite set of tasks, even when the tasks originate from a continuous space. In this paper, we introduce Parametric-Task MAP-Elites (PT-ME), a new black-box algorithm for continuous multi-task optimization problems. This algorithm (1) solves a new task at each iteration, effectively covering the continuous space, and (2) exploits a new variation operator based on local linear regression. The resulting dataset of solutions makes it possible to create a function that maps any task parameter to its optimal solution. We show that PT-ME outperforms all baselines, including the deep reinforcement learning algorithm PPO on two parametric-task toy problems and a robotic problem in simulation.


title: Federated Unlearning: a Perspective of Stability and Fairness

abstract: This paper explores the multifaceted consequences of federated unlearning (FU) with data heterogeneity. We introduce key metrics for FU assessment, concentrating on verification, global stability, and local fairness, and investigate the inherent trade-offs. Furthermore, we formulate the unlearning process with data heterogeneity through an optimization framework. Our key contribution lies in a comprehensive theoretical analysis of the trade-offs in FU and provides insights into data heterogeneity's impacts on FU. Leveraging these insights, we propose FU mechanisms to manage the trade-offs, guiding further development for FU mechanisms. We empirically validate that our FU mechanisms effectively balance trade-offs, confirming insights derived from our theoretical analysis.


title: A divergence-based condition to ensure quantile improvement in black-box global optimization

abstract: Black-box global optimization aims at minimizing an objective function whose analytical form is not known. To do so, many state-of-the-art methods rely on sampling-based strategies, where sampling distributions are built in an iterative fashion, so that their mass concentrate where the objective function is low. Despite empirical success, the theoretical study of these methods remains difficult. In this work, we introduce a new framework, based on divergence-decrease conditions, to study and design black-box global optimization algorithms. Our approach allows to establish and quantify the improvement of proposals at each iteration, in terms of expected value or quantile of the objective. We show that the information-geometric optimization approach fits within our framework, yielding a new approach for its analysis. We also establish proposal improvement results for two novel algorithms, one related with the cross-entropy approach with mixture models, and another one using heavy-tailed sampling proposal distributions.


title: Degenerate diffusion in porous media with hysteresis-dependent permeability

abstract: Hysteresis in the pressure-saturation relation in unsaturated porous media, which is due to surface tension on the liquid-gas interface, exhibits strong degeneracy in the resulting mass balance equation. Solutions to such degenerate equations have been recently constructed by the method of convexification. We show here that the convexification argument works even if the permeability coefficient depends on the hysteretic saturation. The problem of uniqueness remains open in this case.


title: An Improved Viterbi Algorithm for a Class of Optimal Binary Convolutional Codes

abstract: The most famous error-decoding algorithm for convolutional codes is the Viterbi algorithm. In this paper, we present a new reduced complexity version of this algorithm which can be applied to a class of binary convolutional codes with optimum column distances called k-partial simplex convolutional codes.


title: In-gap states induced by magnetic impurities on wide-band s-wave superconductors: self-consistent calculations

abstract: The role of self-consistency in Bogoliubov-de Gennes equations is frequently underestimated in the investigation of in-gap states created by magnetic impurities in s-wave superconductors. Our research focuses on the impact of self-consistency on the in-gap states produced by magnetic stuctures on superconductors, specifically evaluating the density of states, the in-gap bands, and their topological attributes. Here, we show results ranging from single impurity to finite chains, and infinite ferromagnetic spin chains in wide-band s-wave superconductors. These results show that the order parameter contains important information regarding quantum phase transitions and their topological nature, underscoring the importance of self-consistency in such studies.


title: Adiabatic theory of crossing third order resonance and its comparison with experiment at VEPP-4M

abstract: The universal analytical approach was developed to describe the process of particle slow extraction from a synchrotron using adiabatic crossing the betatron resonance of the third order. The obtained formulas make it possible to calculate the time diagrams for the current of the extracted beam ('spill profile'), taking into account the chromaticity, particle momentum spread and synchrotron oscillations. On this basis, a method for monochromatization of extracted beam is indicated. The theory is compared with some results obtained in the experiment on crossing the third-order resonance at the VEPP-4M storage ring.


title: Differentiable and accelerated wavelet transforms on the sphere and ball

abstract: Directional wavelet dictionaries are hierarchical representations which efficiently capture and segment information across scale, location and orientation. Such representations demonstrate a particular affinity to physical signals, which often exhibit highly anisotropic, localised multiscale structure. Many physically important signals are observed over spherical domains, such as the celestial sky in cosmology. Leveraging recent advances in computational harmonic analysis, we design new highly distributable and automatically differentiable directional wavelet transforms on the $2$-dimensional sphere $\mathbb{S}^2$ and $3$-dimensional ball $\mathbb{B}^3 = \mathbb{R}^+ \times \mathbb{S}^2$ (the space formed by augmenting the sphere with the radial half-line). We observe up to a $300$-fold and $21800$-fold acceleration for signals on the sphere and ball, respectively, compared to existing software, whilst maintaining 64-bit machine precision. Not only do these algorithms dramatically accelerate existing spherical wavelet transforms, the gradient information afforded by automatic differentiation unlocks many data-driven analysis techniques previously not possible for these spaces. We publicly release both S2WAV and S2BALL, open-sourced JAX libraries for our transforms that are automatically differentiable and readily deployable both on and over clusters of hardware accelerators (e.g. GPUs & TPUs).


title: A natural correspondence between quasiconcave functions and fuzzy norms

abstract: In this note we show that the usual notion of fuzzy norm defined on a linear space is equivalent to that of quasiconcave function, in the sense that every fuzzy norm $N:X\times\mathbb{R}[0,1]$ defined on a (real or complex) linear space X is uniquely determined by a quasiconcave function $f:X\to[0, 1]$. We explore the minimum requirements that we need to impose to some quasiconcave function $f:X\to[0, 1]$ in order to define a fuzzy norm $N:X\times\mathbb{R}[0,1]$. Later we use this equivalence to prove some properties of fuzzy norms, like a generalisation of the celebrated Decomposition Theorem.


title: SDSS-IV MaNGA: Calibration of astrophysical line-widths in the H{\alpha} region using HexPak observations

abstract: We have re-observed $\rm\sim$40 low-inclination, star-forming galaxies from the MaNGA survey ($\upsigma\sim65$~\kms) at $\sim$6.5 times higher spectral resolution ($\upsigma\sim10$~\kms) using the HexPak integral field unit on the WIYN 3.5m telescope. The aim of these observations is to calibrate MaNGA's instrumental resolution and to characterize turbulence in the warm interstellar medium and ionized galactic outflows. Here we report the results for the H$\rm\upalpha$ region observations as they pertain to the calibration of MaNGA's spectral resolution. Remarkably, we find that the previously-reported MaNGA line-spread-function (LSF) Gaussian width is systematically underestimated by only 1\%. The LSF increase modestly reduces the characteristic dispersion of HII regions-dominated spectra sampled at 1-2 kpc spatial scales from 23 to 20 km s$^{-1}$ in our sample, or a 25\% decrease in the random-motion kinetic energy. This commensurately lowers the dispersion zeropoint in the relation between line-width and star-formation rate surface-density in galaxies sampled on the same spatial scale. This modest zero-point shift does not appear to alter the power-law slope in the relation between line-width and star-formation rate surface-density. We also show that adopting a scheme whereby corrected line-widths are computed as the square root of the median of the difference in the squared measured line width and the squared LSF Gaussian avoids biases and allows for lower SNR data to be used reliably.


title: Coherence for logicians

abstract: This paper is addressed to logicians not familiar with category theory. It gives a new proof of coherence for symmetric monoidal closed categories, proven by Kelly and Mac Lane in early 1970s. We find this result of great importance for proof theory and it is formulated here in pure logical terminology free of categorial notions. Coherence is related to the generality conjecture in general proof theory and we hope that our formulation will make it closer to the proof-theoretical community.


title: Directional emission and photon bunching from a qubit pair in waveguide

abstract: Waveguide quantum electrodynamics represents a powerful platform to generate entanglement and tailor photonic states. We consider a pair of identical qubits coupled to a parity invariant waveguide in the microwave domain. By working in the one- and two-excitation sectors, we provide a unified view of decay processes and we show the common origin of directional single photon emission and two photon directional bunching. Unveiling the quantum trajectories, we demonstrate that both phenomena are rooted in the selective coupling of orthogonal qubits Bell states with different photon propagation directions. We comment on how to use this mechanism to implement optimized post-selection of Bell states, heralded by the detection of photons on one qubits side.


title: Spiking CenterNet: A Distillation-boosted Spiking Neural Network for Object Detection

abstract: In the era of AI at the edge, self-driving cars, and climate change, the need for energy-efficient, small, embedded AI is growing. Spiking Neural Networks (SNNs) are a promising approach to address this challenge, with their event-driven information flow and sparse activations. We propose Spiking CenterNet for object detection on event data. It combines an SNN CenterNet adaptation with an efficient M2U-Net-based decoder. Our model significantly outperforms comparable previous work on Prophesee's challenging GEN1 Automotive Detection Dataset while using less than half the energy. Distilling the knowledge of a non-spiking teacher into our SNN further increases performance. To the best of our knowledge, our work is the first approach that takes advantage of knowledge distillation in the field of spiking object detection.


title: Induced Norm Analysis of Linear Systems for Nonnegative Input Signals

abstract: This paper is concerned with the analysis of the $L_p\ (p\in[1,\infty), p=\infty)$ induced norms of continuous-time linear systems where input signals are restricted to be nonnegative. This norm is referred to as the $L_{p+}$ induced norm in this paper. It has been shown recently that the $L_{2+}$ induced norm is effective for the stability analysis of nonlinear feedback systems where the nonlinearity returns only nonnegative signals. However, the exact computation of the $L_{2+}$ induced norm is essentially difficult. To get around this difficulty, in the first part of this paper, we provide a copositive-programming-based method for the upper bound computation by capturing the nonnegativity of the input signals by copositive multipliers. Then, in the second part of the paper, we derive uniform lower bounds of the $L_{p+}\ (p\in[1,\infty), p=\infty)$ induced norms with respect to the standard $L_{p}$ induced norms that are valid for all linear systems including infinite-dimensional ones. For each linear system, we finally derive a computation method of the lower bounds of the $L_{2+}$ induced norm that are larger than (or equal to) the uniform one. The effectiveness of the upper/lower bound computation methods are fully illustrated by numerical examples.


title: UCVC: A Unified Contextual Video Compression Framework with Joint P-frame and B-frame Coding

abstract: This paper presents a learned video compression method in response to video compression track of the 6th Challenge on Learned Image Compression (CLIC), at DCC 2024.Specifically, we propose a unified contextual video compression framework (UCVC) for joint P-frame and B-frame coding. Each non-intra frame refers to two neighboring decoded frames, which can be either both from the past for P-frame compression, or one from the past and one from the future for B-frame compression. In training stage, the model parameters are jointly optimized with both P-frames and B-frames. Benefiting from the designs, the framework can support both P-frame and B-frame coding and achieve comparable compression efficiency with that specifically designed for P-frame or B-frame.As for challenge submission, we report the optimal compression efficiency by selecting appropriate frame types for each test sequence. Our team name is PKUSZ-LVC.


title: A Beginner's Guide to Black Hole Imaging and Associated Tests of General Relativity

abstract: Following the 2019 release by the Event Horizon Telescope Collaboration of the first pictures of a supermassive black hole, there has been an explosion of interest in black hole images, their theoretical interpretation, and their potential use in tests of general relativity. The literature on the subject has now become so vast that an introductory guide for newcomers would appear welcome. Here, we aim to provide an accessible entry point to this growing field, with a particular focus on the black hole "photon ring": the bright, narrow ring of light that dominates images of a black hole and belongs to the black hole itself, rather than to its surrounding plasma. Far from an exhaustive review, this beginner's guide offers a pedagogical review of the key basic concepts and a brief summary of some results at the research frontier.


title: On quasiconformal dimension distortion for subsets of the real line

abstract: Optimal quasiconformal dimension distortions bounds for subsets of the complex plane have been established by Astala. We show that these estimates can be improved when one considers subsets of the real line of arbitrary Hausdorff dimension. We present some explicit numerical bounds.


title: Towards the New XAI: A Hypothesis-Driven Approach to Decision Support Using Evidence

abstract: Prior research on AI-assisted human decision-making has explored several different explainable AI (XAI) approaches. A recent paper has proposed a paradigm shift calling for hypothesis-driven XAI through a conceptual framework called evaluative AI that gives people evidence that supports or refutes hypotheses without necessarily giving a decision-aid recommendation. In this paper, we describe and evaluate an approach for hypothesis-driven XAI based on the Weight of Evidence (WoE) framework, which generates both positive and negative evidence for a given hypothesis. Through human behavioural experiments, we show that our hypothesis-driven approach increases decision accuracy and reduces reliance compared to a recommendation-driven approach and an AI-explanation-only baseline, but with a small increase in under-reliance compared to the recommendation-driven approach. Further, we show that participants used our hypothesis-driven approach in a materially different way to the two baselines.


title: Can MLLMs Perform Text-to-Image In-Context Learning?

abstract: The evolution from Large Language Models (LLMs) to Multimodal Large Language Models (MLLMs) has spurred research into extending In-Context Learning (ICL) to its multimodal counterpart. Existing such studies have primarily concentrated on image-to-text ICL. However, the Text-to-Image ICL (T2I-ICL), with its unique characteristics and potential applications, remains underexplored. To address this gap, we formally define the task of T2I-ICL and present CoBSAT, the first T2I-ICL benchmark dataset, encompassing ten tasks. Utilizing our dataset to benchmark six state-of-the-art MLLMs, we uncover considerable difficulties MLLMs encounter in solving T2I-ICL. We identify the primary challenges as the inherent complexity of multimodality and image generation, and show that strategies such as fine-tuning and Chain-of-Thought prompting help to mitigate these difficulties, leading to notable improvements in performance. Our code and dataset are available at https://github.com/UW-Madison-Lee-Lab/CoBSAT.


title: Minimizing Regret in Billboard Advertisement under Zonal Influence Constraint

abstract: In a typical billboard advertisement technique, a number of digital billboards are owned by an influence provider, and many advertisers approach the influence provider for a specific number of views of their advertisement content on a payment basis. If the influence provider provides the demanded or more influence, then he will receive the full payment or else a partial payment. In the context of an influence provider, if he provides more or less than an advertiser's demanded influence, it is a loss for him. This is formalized as 'Regret', and naturally, in the context of the influence provider, the goal will be to allocate the billboard slots among the advertisers such that the total regret is minimized. In this paper, we study this problem as a discrete optimization problem and propose four solution approaches. The first one selects the billboard slots from the available ones in an incremental greedy manner, and we call this method the Budget Effective Greedy approach. In the second one, we introduce randomness with the first one, where we perform the marginal gain computation for a sample of randomly chosen billboard slots. The remaining two approaches are further improvements over the second one. We analyze all the algorithms to understand their time and space complexity. We implement them with real-life trajectory and billboard datasets and conduct a number of experiments. It has been observed that the randomized budget effective greedy approach takes reasonable computational time while minimizing the regret.


title: ExtremeCast: Boosting Extreme Value Prediction for Global Weather Forecast

abstract: Data-driven weather forecast based on machine learning (ML) has experienced rapid development and demonstrated superior performance in the global medium-range forecast compared to traditional physics-based dynamical models. However, most of these ML models struggle with accurately predicting extreme weather, which is closely related to the extreme value prediction. Through mathematical analysis, we prove that the use of symmetric losses, such as the Mean Squared Error (MSE), leads to biased predictions and underestimation of extreme values. To address this issue, we introduce Exloss, a novel loss function that performs asymmetric optimization and highlights extreme values to obtain accurate extreme weather forecast. Furthermore, we introduce a training-free extreme value enhancement strategy named ExEnsemble, which increases the variance of pixel values and improves the forecast robustness. Combined with an advanced global weather forecast model, extensive experiments show that our solution can achieve state-of-the-art performance in extreme weather prediction, while maintaining the overall forecast accuracy comparable to the top medium-range forecast models.


title: Bi-CryptoNets: Leveraging Different-Level Privacy for Encrypted Inference

abstract: Privacy-preserving neural networks have attracted increasing attention in recent years, and various algorithms have been developed to keep the balance between accuracy, computational complexity and information security from the cryptographic view. This work takes a different view from the input data and structure of neural networks. We decompose the input data (e.g., some images) into sensitive and insensitive segments according to importance and privacy. The sensitive segment includes some important and private information such as human faces and we take strong homomorphic encryption to keep security, whereas the insensitive one contains some background and we add perturbations. We propose the bi-CryptoNets, i.e., plaintext and ciphertext branches, to deal with two segments, respectively, and ciphertext branch could utilize the information from plaintext branch by unidirectional connections. We adopt knowledge distillation for our bi-CryptoNets by transferring representations from a well-trained teacher neural network. Empirical studies show the effectiveness and decrease of inference latency for our bi-CryptoNets.


title: Characterizing Overfitting in Kernel Ridgeless Regression Through the Eigenspectrum

abstract: We derive new bounds for the condition number of kernel matrices, which we then use to enhance existing non-asymptotic test error bounds for kernel ridgeless regression (KRR) in the over-parameterized regime for a fixed input dimension. For kernels with polynomial spectral decay, we recover the bound from previous work; for exponential decay, our bound is non-trivial and novel. Our contribution is two-fold: (i) we rigorously prove the phenomena of tempered overfitting and catastrophic overfitting under the sub-Gaussian design assumption, closing an existing gap in the literature; (ii) we identify that the independence of the features plays an important role in guaranteeing tempered overfitting, raising concerns about approximating KRR generalization using the Gaussian design assumption in previous literature.


title: Learning Semantic Information from Raw Audio Signal Using Both Contextual and Phonetic Representations

abstract: We propose a framework to learn semantics from raw audio signals using two types of representations, encoding contextual and phonetic information respectively. Specifically, we introduce a speech-to-unit processing pipeline that captures two types of representations with different time resolutions. For the language model, we adopt a dual-channel architecture to incorporate both types of representation. We also present new training objectives, masked context reconstruction and masked context prediction, that push models to learn semantics effectively. Experiments on the sSIMI metric of Zero Resource Speech Benchmark 2021 and Fluent Speech Command dataset show our framework learns semantics better than models trained with only one type of representation.


title: Almost sure and moment convergence for triangular P\'olya urns

abstract: We consider triangular P\'olya urns and show under very weak conditions a general strong limit theorem of the form $X_{ni}/a_{ni}\to \mathcal{X}_i$ a.s., where $X_{ni}$ is the number of balls of colour $i$ after $n$ draws; the constants $a_{ni}$ are explicit and of the form $n^\alpha\log^\gamma n$; the limit is a.s. positive, and may be either deterministic or random, but is in general unknown. The result extends to urns with subtractions under weak conditions, but a counterexample shows that some conditions are needed. For balanced urns we also prove moment convergence in the main results if the replacements have the corresponding moments. The proofs are based on studying the corresponding continuous-time urn using martingale methods, and showing corresponding results there. We assume for convenience that all replacements have finite second moments.


title: Two Approaches to Diachronic Normalization of Polish Texts

abstract: This paper discusses two approaches to the diachronic normalization of Polish texts: a rule-based solution that relies on a set of handcrafted patterns, and a neural normalization model based on the text-to-text transfer transformer architecture. The training and evaluation data prepared for the task are discussed in detail, along with experiments conducted to compare the proposed normalization solutions. A quantitative and qualitative analysis is made. It is shown that at the current stage of inquiry into the problem, the rule-based solution outperforms the neural one on 3 out of 4 variants of the prepared dataset, although in practice both approaches have distinct advantages and disadvantages.


title: On Inflation and Axionic Dark Matter in a Scaled Gravity

abstract: Motivated by the modified gravity theories $F(R)\neq R$ and inflationary physics, we first propose and investigate an inflation model in a scaled gravity $F(R)=R\,+\beta R$, where $\beta $ is a dimensionless scaling parameter. The latter is also implemented in a particular potential $V(\phi )=M^{4}\left[ 1-\cos \left( \frac{\phi }{\mu}\right)^{\beta }\right] $ being considered to drive the inflation via a parameter coupling scenario. Using the slow-roll approximations, the gravity scale parameter $\beta $ is approached with respect to the range of the associated computed cosmological observables $n_{s}$ and $r$ according to the recent Planck and BICEP/Keck data. Then, we discuss the axionic dark matter in the suggested gravity model by considering the case where the inflaton is taken to be identified with an axion-like field $\phi =f_{a}\theta $ with the decay constant $f_{a}=\mu$. Referring to the known data, the underlying inflation scale $M$ is constrained to be much lower than the corresponding axion scale $M\ll f_{a}$.


title: A Unified Framework for Gradient-based Clustering of Distributed Data

abstract: We develop a family of distributed clustering algorithms that work over networks of users. In the proposed scenario, users contain a local dataset and communicate only with their immediate neighbours, with the aim of finding a clustering of the full, joint data. The proposed family, termed Distributed Gradient Clustering (DGC-$\mathcal{F}_\rho$), is parametrized by $\rho \geq 1$, controling the proximity of users' center estimates, with $\mathcal{F}$ determining the clustering loss. Specialized to popular clustering losses like $K$-means and Huber loss, DGC-$\mathcal{F}_\rho$ gives rise to novel distributed clustering algorithms DGC-KM$_\rho$ and DGC-HL$_\rho$, while a novel clustering loss based on the logistic function leads to DGC-LL$_\rho$. We provide a unified analysis and establish several strong results, under mild assumptions. First, the sequence of centers generated by the methods converges to a well-defined notion of fixed point, under any center initialization and value of $\rho$. Second, as $\rho$ increases, the family of fixed points produced by DGC-$\mathcal{F}_\rho$ converges to a notion of consensus fixed points. We show that consensus fixed points of DGC-$\mathcal{F}_{\rho}$ are equivalent to fixed points of gradient clustering over the full data, guaranteeing a clustering of the full data is produced. For the special case of Bregman losses, we show that our fixed points converge to the set of Lloyd points. Numerical experiments on real data confirm our theoretical findings and demonstrate strong performance of the methods.


title: AGILE: Approach-based Grasp Inference Learned from Element Decomposition

abstract: Humans, this species expert in grasp detection, can grasp objects by taking into account hand-object positioning information. This work proposes a method to enable a robot manipulator to learn the same, grasping objects in the most optimal way according to how the gripper has approached the object. Built on deep learning, the proposed method consists of two main stages. In order to generalize the network on unseen objects, the proposed Approach-based Grasping Inference involves an element decomposition stage to split an object into its main parts, each with one or more annotated grasps for a particular approach of the gripper. Subsequently, a grasp detection network utilizes the decomposed elements by Mask R-CNN and the information on the approach of the gripper in order to detect the element the gripper has approached and the most optimal grasp. In order to train the networks, the study introduces a robotic grasping dataset collected in the Coppeliasim simulation environment. The dataset involves 10 different objects with annotated element decomposition masks and grasp rectangles. The proposed method acquires a 90% grasp success rate on seen objects and 78% on unseen objects in the Coppeliasim simulation environment. Lastly, simulation-to-reality domain adaptation is performed by applying transformations on the training set collected in simulation and augmenting the dataset, which results in a 70% physical grasp success performance using a Delta parallel robot and a 2 -fingered gripper.


title: Phrase Grounding-based Style Transfer for Single-Domain Generalized Object Detection

abstract: Single-domain generalized object detection aims to enhance a model's generalizability to multiple unseen target domains using only data from a single source domain during training. This is a practical yet challenging task as it requires the model to address domain shift without incorporating target domain data into training. In this paper, we propose a novel phrase grounding-based style transfer (PGST) approach for the task. Specifically, we first define textual prompts to describe potential objects for each unseen target domain. Then, we leverage the grounded language-image pre-training (GLIP) model to learn the style of these target domains and achieve style transfer from the source to the target domain. The style-transferred source visual features are semantically rich and could be close to imaginary counterparts in the target domain. Finally, we employ these style-transferred visual features to fine-tune GLIP. By introducing imaginary counterparts, the detector could be effectively generalized to unseen target domains using only a single source domain for training. Extensive experimental results on five diverse weather driving benchmarks demonstrate our proposed approach achieves state-of-the-art performance, even surpassing some domain adaptive methods that incorporate target domain images into the training process.The source codes and pre-trained models will be made available.


title: Modeling the hallmarks of avascular tumors

abstract: We present a stochastic computational model of avascular tumors, emphasizing the detailed implementation of the first four so-called hallmarks of cancer: self-sufficiency in growth factors, resistance to growth inhibitors, avoidance of apoptosis, and unlimited growth potential. Our goal is to provide a foundational understanding of the first steps of cancer malignancy while addressing modeling uncertainties, thus bringing us closer to a first-principles grasp of this process. Preliminary numerical simulations illustrate the comprehensiveness of our perspective.


title: KTO: Model Alignment as Prospect Theoretic Optimization

abstract: Kahneman & Tversky's $\textit{prospect theory}$ tells us that humans perceive random variables in a biased but well-defined manner (1992); for example, humans are famously loss-averse. We show that objectives for aligning LLMs with human feedback implicitly incorporate many of these biases -- the success of these objectives (e.g., DPO) over cross-entropy minimization can partly be ascribed to them belonging to a family of loss functions that we call $\textit{human-aware losses}$ (HALOs). However, the utility functions these methods attribute to humans still differ from those in the prospect theory literature. Using a Kahneman-Tversky model of human utility, we propose a HALO that directly maximizes the utility of generations instead of maximizing the log-likelihood of preferences, as current methods do. We call this approach KTO, and it matches or exceeds the performance of preference-based methods at scales from 1B to 30B, despite only learning from a binary signal of whether an output is desirable. More broadly, our work suggests that there is no one HALO that is universally superior; the best loss depends on the inductive biases most appropriate for a given setting, an oft-overlooked consideration.


title: Integrated anti-electronics for positron annihilation spectroscopy

abstract: Imaging the features of a sample using Positron Annihilation Spectroscopy (PAS) is currently achieved by rastering, i.e. by scanning the sample surface with a sharply focused positron beam. However, a beam of arbitrary shape (sculpted beam) would allow the application of more versatile single-pixel imaging (SPI) techniques. I introduce the design of a microelectronic device employing a 2D array of Zener diodes as an active positron moderator, capable of sculpting positron beams with 6um resolution. The re-emitted positrons are accelerated towards the sample through a miniaturised electrostatic lens system and reaching 100nm resolution. The fast switch-on (90ps) and switch-off (250ps) time of the device would enable state-of-the-art positron annihilation lifetime spectroscopy (PALS) and PAS imaging with high spatial and temporal resolution.


title: Controlling NMR spin systems for quantum computation

abstract: Nuclear magnetic resonance is arguably both the best available quantum technology for implementing simple quantum computing experiments and the worst technology for building large scale quantum computers that has ever been seriously put forward. After a few years of rapid growth, leading to an implementation of Shor's quantum factoring algorithm in a seven-spin system, the field started to reach its natural limits and further progress became challenging. Rather than pursuing more complex algorithms on larger systems, interest has now largely moved into developing techniques for the precise and efficient manipulation of spin states with the aim of developing methods that can be applied in other more scalable technologies and within conventional NMR. However, the user friendliness of NMR implementations means that they remain popular for proof-of-principle demonstrations of simple quantum information protocols.


title: Patterns in water maser emission of evolved stars on the timescale of decades

abstract: We present our past and current long-term monitoring program of water masers in the circumstellar envelopes of evolved stars, augmented by occasional interferometric observations. Using as example the Mira-variable U Her, we identify three types of variability: periodic (following the optical variation), long-term (years-decades) and short-term irregular (weeks-months). We show there are regions in the maser shell where excitation conditions are favourable, which remain stable for many years. Lifetimes of maser clouds in the wind-acceleration zone are of the order of up to a few years. Much longer lifetimes are found for the peculiar case of a maser cloud outside that zone (as in RT Vir), or in some cases where the motion of spectral features can be followed for the entire 2 decade monitoring period (as in red supergiant VX Sgr).


title: Bi-Objective Optimization over the Efficient Set of Multi-Objective Integer Quadratic Problem

abstract: In this paper, we present an exact algorithm for optimizing two linear fractional over the efficient set of a multi-objective integer quadratic problem. This type of problems arises when two decision-makers, such as firms, each have a preference function to optimize over the efficient set of a multi-objective problem. The algorithm employs a branch-and-cut approach, which involves: (1) exploring the solution space using a branch-and-bound strategy in the decision space, and (2) eliminating inefficient solutions using a cutting plane technique with efficient cuts constructed from the non-increasing directions of objective functions. Additionally, integral tests are incorporated to further ensure the efficiency of the obtained solutions.We present a comprehensive example, accompanied by a step-by-step resolution, to demonstrate the functioning of the algorithm.


title: Deep Multimodal Fusion of Data with Heterogeneous Dimensionality via Projective Networks

abstract: The use of multimodal imaging has led to significant improvements in the diagnosis and treatment of many diseases. Similar to clinical practice, some works have demonstrated the benefits of multimodal fusion for automatic segmentation and classification using deep learning-based methods. However, current segmentation methods are limited to fusion of modalities with the same dimensionality (e.g., 3D+3D, 2D+2D), which is not always possible, and the fusion strategies implemented by classification methods are incompatible with localization tasks. In this work, we propose a novel deep learning-based framework for the fusion of multimodal data with heterogeneous dimensionality (e.g., 3D+2D) that is compatible with localization tasks. The proposed framework extracts the features of the different modalities and projects them into the common feature subspace. The projected features are then fused and further processed to obtain the final prediction. The framework was validated on the following tasks: segmentation of geographic atrophy (GA), a late-stage manifestation of age-related macular degeneration, and segmentation of retinal blood vessels (RBV) in multimodal retinal imaging. Our results show that the proposed method outperforms the state-of-the-art monomodal methods on GA and RBV segmentation by up to 3.10% and 4.64% Dice, respectively.


title: Wave-packet dynamics in non-Hermitian systems subject to complex electric fields

abstract: Berry phases have long been known to significantly alter the properties of periodic systems, giving rise to anomalous terms in the semiclassical equations of motion describing wave-packet dynamics. In non-Hermitian systems, generalizations of the Berry connection have been proposed and shown to have novel effects on dynamics and transport. In this work, we expand upon these results by deriving the full set of semiclassical equations of motion for wave-packet dynamics in a non-Hermitian system subject to complex external electric fields, which are realizable as gain gradients. We show that the non-Hermiticities of both the band Hamiltonian and the external potential give rise to anomalous weight rate and velocity terms which depend on the geometric properties of the eigenfunctions, including the quantum metric tensor. These analytical results are compared with numerical lattice simulations which reveal these anomalous terms even in one-dimension. Our work expands the range of phenomena expected to be detectable in experimental setups, which should be realizable in currently available metamaterials and classical wave systems, including mechanical, acoustic, and optical.


title: AutoGCN -- Towards Generic Human Activity Recognition with Neural Architecture Search

abstract: This paper introduces AutoGCN, a generic Neural Architecture Search (NAS) algorithm for Human Activity Recognition (HAR) using Graph Convolution Networks (GCNs). HAR has gained attention due to advances in deep learning, increased data availability, and enhanced computational capabilities. At the same time, GCNs have shown promising results in modeling relationships between body key points in a skeletal graph. While domain experts often craft dataset-specific GCN-based methods, their applicability beyond this specific context is severely limited. AutoGCN seeks to address this limitation by simultaneously searching for the ideal hyperparameters and architecture combination within a versatile search space using a reinforcement controller while balancing optimal exploration and exploitation behavior with a knowledge reservoir during the search process. We conduct extensive experiments on two large-scale datasets focused on skeleton-based action recognition to assess the proposed algorithm's performance. Our experimental results underscore the effectiveness of AutoGCN in constructing optimal GCN architectures for HAR, outperforming conventional NAS and GCN methods, as well as random search. These findings highlight the significance of a diverse search space and an expressive input representation to enhance the network performance and generalizability.


title: The first quenched galaxies, when and how?

abstract: Many quiescent galaxies discovered in the early Universe by \textit{JWST} raise fundamental questions on when and how these galaxies became and stayed quenched. Making use of the latest version of the semi-analytic model GAEA that provides good agreement with the observed quenched fractions up to $z\sim 3$, we make predictions for the expected fractions of quiescent galaxies up to $z\sim 7$ and analyze the main quenching mechanism. We find that in a simulated box of $685~{\rm Mpc}$ on a side, the first quenched massive ($M_{\star} \sim 10^{11} {\rm M}_{\odot}$), Milky Way mass, and low mass ($M_{\star} \sim 10^{9.5} {\rm M}_{\odot}$ ) galaxies appear at $z\sim 4.5$, $z\sim 6.2$, and before $z = 7$. Most quenched galaxies identified at early redshifts remain quenched for more than 1 Gyr. Independently of galaxy stellar mass, the dominant quenching mechanism at high redshift is accretion disk feedback (quasar winds) from a central massive black hole, which is triggered by mergers in massive and MW-mass galaxies, and by disk instabilities in low-mass galaxies. Environmental stripping becomes increasingly more important at lower redshift.


title: The evolution of lithium in FGK dwarf stars. Influence of planets and Galactic migration

abstract: This work aims to investigate the behaviour of the lithium abundance in stars with and without detected planets. Our study is based on a sample of 1332 FGK main-sequence stars with measured lithium abundances, for 257 of which planets were detected. Our method reviews the sample statistics and is addressed specifically to the influence of tides and orbital decay, with special attention to planets on close orbits, whose stellar rotational velocity is higher than the orbital period of the planet. In this case, tidal effects are much more pronounced. The analysis also covers the orbital decay on a short timescale, with planets spiralling into their parent star. Furthermore, the sample allows us to study the relation between the presence of planets and the physical properties of their host stars, such as the chromospheric activity, metallicity, and lithium abundance. In the case of a strong tidal influence, we cannot infer from any of the studies described that the behaviour of Li differs between stars that host planets and those that do not. Our sample includes stars with super-solar metallicity ([Fe/H]>0.15 dex) and a low lithium abundance (A(Li) <1.0 dex). This enabled us to analyse scenarios of the origin and existence of these stars. Considering the possible explanation of the F dip, we show that it is not a plausible scenario. Our analysis is based on a kinematic study and concludes that the possible time that elapsed in the travel from their birth places in the central regions of the Galaxy to their current positions in the solar neighbourhood is not enough to explain the high lithium depletion. It is remarkable that those of our high-metallicity low-lithium stars with the greatest eccentricity (e>0.2) are closest to the Galactic centre. A dedicated study of a set of high-metallicity low-Li stars is needed to test the migration-depletion scenario.


title: A new universality class describes Vicsek's flocking phase in physical dimensions

abstract: The Vicsek simulation model of flocking together with its theoretical treatment by Toner and Tu in 1995 were two foundational cornerstones of active matter physics. However, despite the field's tremendous progress, the actual universality class (UC) governing the scaling behavior of Viscek's "flocking" phase remains elusive. Here, we use nonperturbative, functional renormalization group methods to analyze, numerically and analytically, a simplified version of the Toner-Tu model, and uncover a novel UC with scaling exponents that agree remarkably well with the values obtained in a recent simulation study by Mahault et al. [Phys. Rev. Lett. 123, 218001 (2019)], in both two and three spatial dimensions. We therefore believe that there is strong evidence that the UC uncovered here describes Vicsek's flocking phase.


title: Vector Dark Matter with Higgs Portal in Type II Seesaw framework

abstract: We study the phenomenology of a vector dark matter (VDM) in a $U(1)_X$ gauged extension of the Standard Model (SM) which is connected to the type II seesaw framework via the Higgs portal. When this $U(1)_X$ symmetry is spontaneously broken by the vacuum expectation value (VEV) of a complex scalar singlet, the gauge boson $Z^\prime$ becomes massive. The stability of the dark matter (DM) is ensured by the introduction of an exact charge conjugation symmetry. On the other hand, the $SU(2)_L$ triplet scalar generates light neutrino masses through the type II seesaw mechanism. We have studied the phenomenology of the usual WIMP DM considering all possible theoretical and experimental constraints that are applicable. Due to the presence of triplet scalar, our scenario can accommodate the observed $2\sigma$ deviation in $h \to Z \gamma $ decay. We have also briefly discussed the possibility of non-thermal production of DM from the decay of the same complex scalar that is responsible for the breaking of this $U(1)_X$ symmetry.


title: Doubly substituted isotopologues of HCCCN in TMC-1: Detection of D13CCCN, DC13CCN, DCC13CN, DCCC15N, H13C13CCN, H13CC13CN, HC13C13CN, HCC13C15N, and HC13CC15N

abstract: We report the first detection in space of a complete sample of nine doubly substituted isotopologues of HCCCN towards the cyanopolyyne peak of TMC-1 using observations of the QUIJOTE line survey taken with the Yebes 40 m telescope. We detected D13CCCN, DC13CCN, DCC13CN, DCCC15N, H13C13CCN, H13CC13CN, HC13C13CN, HCC13C15N, and HC13CC15N through their J=4-3 and J=5-4 lines in the 7 mm window. In addition, we present an extensive analysis of the emission of HCCCN and its singly substituted isotopologues through a large velocity gradient model of the lines detected at 7 mm and 3 mm using the Yebes 40 m and the IRAM 30 m telescopes, respectively. The derived column densities for all the isotopologues are consistent in the two spectral bands for an H2 volume density of 1e4 cm-3 and a kinetic temperature of 10 K. Whereas we observed a 13C fractionation for HCC13CN and other double isotopologues with a 13C atom adjacent to the nitrogen atom, we derived similar C/13C abundance ratios for the three 13C substituted species of DCCCN. This suggests additional chemical discrimination for deuterated isotopologues of HCCCN. Finally, we present the spatial distribution of the J=4-3 and J=5-4 lines from the singly substituted species observed with the Yebes 40 m telescope. The emission peak of the spatial distribution of DCCCN appears to be displaced by 40'' with respect to that of HCCCN and the 13C and 15N isotopologues. In addition to a different formation route for the deuterated species, we could also expect that this differentiation owing to the deuterium fractionation is more efficient at low temperatures, and therefore, that deuterated species trace a colder region of the cloud.


title: A Review of Quantum communication using high-dimensional Hilbert spaces

abstract: In this project we examine several different quantum key distribution protocols which we divide into ones utilizing qubits whose Hilbert spaces are two dimensional and ones whose Hilbert space dimension is greater than two, these units of data in quantum computers are known as qudits and in the papers we'll examine are implemented using the orbital angular momentum of twisted photons. In sections [3] and [4] the specific procedures of each protocol are briefly described and followed by an examination of the theoretical and experimental merits of each protocol. These merits are measured in the bit error rate tolerance $e_b$, which quantifies the maximum channel noise and the key rate $R$ which quantifies the rate at which data is transferred in the protocol. In section [7] we present a unified view of all the relevant data for the different protocols, and argue for the benefits and drawbacks of the different protocols for different applications.


title: On the mean-field limit for Stein variational gradient descent: stability and multilevel approximation

abstract: In this paper we propose and analyze a novel multilevel version of Stein variational gradient descent (SVGD). SVGD is a recent particle based variational inference method. For Bayesian inverse problems with computationally expensive likelihood evaluations, the method can become prohibitive as it requires to evolve a discrete dynamical system over many time steps, each of which requires likelihood evaluations at all particle locations. To address this, we introduce a multilevel variant that involves running several interacting particle dynamics in parallel corresponding to different approximation levels of the likelihood. By carefully tuning the number of particles at each level, we prove that a significant reduction in computational complexity can be achieved. As an application we provide a numerical experiment for a PDE driven inverse problem, which confirms the speed up suggested by our theoretical results.


title: Ionic Current Rectification in Nanopores: Effects of Nanopore Material, Electrolyte and Surface Treatment

abstract: Ionic Current Rectification (ICR) can appear in nanopores, causing a diode-like behavior that originates from different efficiency of ion transport through the pore channel with respect to the applied voltage bias polarity. This effect is particularly interesting for nanopores with a short channel length, that is smaller than 500 nm, because then the dependence of the ion current on the direction along which the ions pass through the channel is determined by the geometry and material of the nanopore, and by the ion concentration in the electrolyte. Surface charges can play an important role, and therefore nanopores consisting of multiple materials can induce ICR because of different charge distributions at the nanopore-electrolyte interface for the different material sections. In this work, we study four solid-state nanopore designs considering different geometries of charge distributions along the inner and outer surfaces of nanopores, and evaluate their impact on ICR with six different electrolytes. The direct comparison between experimental data and modeling enables to understand how the different surface charge configurations impact the ICR.