title: What Generative Artificial Intelligence Means for Terminological Definitions

abstract: This paper examines the impact of Generative Artificial Intelligence (GenAI) tools like ChatGPT on the creation and consumption of terminological definitions. From the terminologist's point of view, the strategic use of GenAI tools can streamline the process of crafting definitions, reducing both time and effort, while potentially enhancing quality. GenAI tools enable AI-assisted terminography, notably post-editing terminography, where the machine produces a definition that the terminologist then corrects or refines. However, the potential of GenAI tools to fulfill all the terminological needs of a user, including term definitions, challenges the very existence of terminological definitions and resources as we know them. Unlike terminological definitions, GenAI tools can describe the knowledge activated by a term in a specific context. However, a main drawback of these tools is that their output can contain errors. For this reason, users requiring reliability will likely still resort to terminological resources for definitions. Nevertheless, with the inevitable integration of AI into terminology work, the distinction between human-created and AI-created content will become increasingly blurred.


title: Multi-access Distributed Computing Models from Map-Reduce Arrays

abstract: A novel distributed computing model called "Multi-access Distributed Computing (MADC)" was recently introduced in http://www.arXiv:2206.12851. In this paper, we represent MADC models via 2-layered bipartite graphs called Map-Reduce Graphs (MRGs) and a set of arrays called Map-Reduce Arrays (MRAs) inspired from the Placement Delivery Arrays (PDAs) used in the coded caching literature. The connection between MRAs and MRGs is established, thereby exploring new topologies and providing coded shuffling schemes for the MADC models with MRGs using the structure of MRAs. A novel \textit{Nearest Neighbor Connect-MRG (NNC-MRG)} is explored and a coding scheme is provided for MADC models with NNC-MRG, exploiting the connections between MRAs and PDAs. Moreover, CT is generalized to Generalized Combinatorial-MRG (GC-MRG). A set of $g-$regular MRAs is provided which corresponds to the existing scheme for MADC models with CT and extended those to generate another set of MRAs to represent MADC models with GC-MRG. A lower bound on the computation-communication curve for MADC model with GC-MRG under homogeneous setting is derived and certain cases are explored where the existing scheme is optimal under CT. One of the major limitations of the existing scheme for CT is that it requires an exponentially large number of reducer nodes and input files for large $\Lambda$. This can be overcome by representing CT by MRAs, where coding schemes can be derived even if some of the reducer nodes are not present. Another way of tackling this is by using a different MRG, specifically NNC-MRG, where the number of reducer nodes and files required are significantly smaller compared to CT. Hence, the advantages are two-fold, which is achievable at the expense of a slight increase in the communication load.


title: PeriodicLoRA: Breaking the Low-Rank Bottleneck in LoRA Optimization

abstract: Supervised fine-tuning is the most common method to adapt large language models (LLMs) to downstream tasks, but full fine-tuning LLMs requires massive computational resources. Recently, parameter-efficient fine-tuning (PEFT) methods have been widely studied due to its cost-effectiveness. LoRA is one of the most widely used methods, which assumes that the optimization process is essentially low-dimensional. Although LoRA fine-tuning is effective, there is still a performance gap compared to full fine-tuning, since its weight update is limited to low-rank matrices. In order to break the low-rank bottleneck in LoRA Optimization, we propose PeriodicLoRA (PLoRA), which accumulates low-rank update matrices multiple times to achieve a higher update rank. PLoRA has multiple training stages. During each stage, we still update only the LoRA weights. However, at the end of each stage, we unload the LoRA weights into the backbone parameters and then reinitialize the LoRA states. Experimental results show that PLoRA has stronger learning ability, approximately 1.8 times that of LoRA's learning ability at most, but it does not increase memory usage. Further, we introduce a momentum-based unloading strategy for PLoRA to mitigate the training instability.


title: From Text to Transformation: A Comprehensive Review of Large Language Models' Versatility

abstract: This groundbreaking study explores the expanse of Large Language Models (LLMs), such as Generative Pre-Trained Transformer (GPT) and Bidirectional Encoder Representations from Transformers (BERT) across varied domains ranging from technology, finance, healthcare to education. Despite their established prowess in Natural Language Processing (NLP), these LLMs have not been systematically examined for their impact on domains such as fitness, and holistic well-being, urban planning, climate modelling as well as disaster management. This review paper, in addition to furnishing a comprehensive analysis of the vast expanse and extent of LLMs' utility in diverse domains, recognizes the research gaps and realms where the potential of LLMs is yet to be harnessed. This study uncovers innovative ways in which LLMs can leave a mark in the fields like fitness and wellbeing, urban planning, climate modelling and disaster response which could inspire future researches and applications in the said avenues.


title: Cinematographic Camera Diffusion Model

abstract: Designing effective camera trajectories in virtual 3D environments is a challenging task even for experienced animators. Despite an elaborate film grammar, forged through years of experience, that enables the specification of camera motions through cinematographic properties (framing, shots sizes, angles, motions), there are endless possibilities in deciding how to place and move cameras with characters. Dealing with these possibilities is part of the complexity of the problem. While numerous techniques have been proposed in the literature (optimization-based solving, encoding of empirical rules, learning from real examples,...), the results either lack variety or ease of control. In this paper, we propose a cinematographic camera diffusion model using a transformer-based architecture to handle temporality and exploit the stochasticity of diffusion models to generate diverse and qualitative trajectories conditioned by high-level textual descriptions. We extend the work by integrating keyframing constraints and the ability to blend naturally between motions using latent interpolation, in a way to augment the degree of control of the designers. We demonstrate the strengths of this text-to-camera motion approach through qualitative and quantitative experiments and gather feedback from professional artists. The code and data are available at \URL{https://github.com/jianghd1996/Camera-control}.


title: 100 Gbps Indoor Access and 4.8 Gbps Outdoor Point-to-Point LiFi Transmission Systems using Laser-based Light Sources

abstract: In this paper, we demonstrate the communication capabilities of light-fidelity (LiFi) systems based on highbrightness and high-bandwidth integrated laser-based sources in a surface mount device (SMD) packaging platform. The laserbased source is able to deliver 450 lumens of white light illumination and the resultant light brightness is over 1000 cd mm2. It is demonstrated that a wavelength division multiplexing (WDM) LiFi system with ten parallel channels is able to deliver over 100 Gbps data rate with the assistance of Volterra filter-based nonlinear equalisers. In addition, an aggregated transmission data rate of 4.8 Gbps has been achieved over a link distance of 500 m with the same type of SMD light source. This work demonstrates the scalability of LiFi systems that employ laserbased light sources, particularly in their capacity to enable highspeed short range, as well as long-range data transmission.


title: Egalitarian Price of Fairness for Indivisible Goods

abstract: In the context of fair division, the concept of price of fairness has been introduced to quantify the loss of welfare when we have to satisfy some fairness condition. In other words, it is the price we have to pay to guarantee fairness. Various settings of fair division have been considered previously; we extend to the setting of indivisible goods by using egalitarian welfare as the welfare measure, instead of the commonly used utilitarian welfare. We provide lower and upper bounds for various fairness and efficiency conditions such as envy-freeness up to one good (EF1) and maximum Nash welfare (MNW).


title: Bounds for $p$-adic Hardy-type Operators and Commutator On $p$-adic Variable Herz-Morrey Spaces

abstract: This paper showed that fractional p-adic Hardy operator norms in p-adic Herz-Morrey spaces with varying exponents are bounded. Corresponding commutator operators are also estimated for p-adic variable central bounded mean oscillations (CBMO).


title: Towards Efficient Quantum Hybrid Diffusion Models

abstract: In this paper, we propose a new methodology to design quantum hybrid diffusion models, derived from classical U-Nets with ResNet and Attention layers. Specifically, we propose two possible different hybridization schemes combining quantum computing's superior generalization with classical networks' modularity. In the first one, we acted at the vertex: ResNet convolutional layers are gradually replaced with variational circuits to create Quantum ResNet blocks. In the second proposed architecture, we extend the hybridization to the intermediate level of the encoder, due to its higher sensitivity in the feature extraction process. In order to conduct an in-depth analysis of the potential advantages stemming from the integration of quantum layers, images generated by quantum hybrid diffusion models are compared to those generated by classical models, and evaluated in terms of several quantitative metrics. The results demonstrate an advantage in using a hybrid quantum diffusion models, as they generally synthesize better-quality images and converges faster. Moreover, they show the additional advantage of having a lower number of parameters to train compared to the classical one, with a reduction that depends on the extent to which the vertex is hybridized.


title: On Functorial Lindel\"{o}fifiability

abstract: In the present paper, we prove that a topological space admits a functorial Lindel\"ofification if and only if its realcompactification is Lindel\"of. To investigate the functorial Lindel\"ofifiability of a topological space, for each topological property $\mathsf{P}$, we introduce the notion of "functorial $\mathsf{P}$-ification" and give an explicit construction of the functorial $\mathsf{P}$-ification. Moreover, for a discrete space $X$, we discuss the functorial $|X|$-Lindel\"ofifiability of $X$ and study relationships with properties of the cardinal $|X|$. Finally, we apply our results concerning functorial $\kappa$-Lindel\"ofifiability (for some cardinal $\kappa$) to the space of ordinals and construct several functorial $\kappa$-Lindel\"ofifiable spaces.


title: 3D active nematic disclinations behave as Majorana quasiparticles

abstract: Quasiparticles are low-energy excitations with important roles in condensed matter physics. An intriguing example is provided by Majorana fermions, quasiparticles which are identical to their antiparticles. Despite being implicated in neutrino oscillations and topological superconductivity, their experimental realisations remain scarce. Here we propose a purely classical realisation of Majorana fermions, in terms of 3-dimensional disclination lines in active nematics. Activity is required to overcome the elastic cost associated with these excitations, so they can appear in steady state. We combine topology and simulations to show that active nematics under confinement spontaneously create in their interior topologically charged disclination lines and loops, akin to Majorana quasiparticles with finite momentum. Within an elongated channel, we find a phenomenology similar to that of the Kitaev chain, as local Majorana-like excitations appear near surfaces, while a non-local system-spanning helical disclination line can arise along the centre. In unconfined active turbulence, Majorana-like charged loops are instead exceedingly rare, suggesting that boundaries are crucial to generate these quasiparticles, as in quantum condensed matter. We suggest that 3-dimensional active disclinations can be used to probe the physics of Majorana spinors at a much larger scale than traditionally considered, potentially facilitating the experimental observation of their dynamics.


title: Effective MSO-Definability for Tree-width Bounded Models of an Inductive Separation Logic of Relations

abstract: A class of graph languages is definable in Monadic Second-Order logic (MSO) if and only if it consists of sets of models of MSO formul{\ae}. If, moreover, there is a computable bound on the tree-widths of the graphs in each such set, the satisfiability and entailment problems are decidable, by Courcelle's Theorem. This motivates the comparison of other graph logics to MSO. In this paper, we consider the MSO definability of a Separation Logic of Relations (SLR) that describes simple hyper-graphs, in which each sequence of vertices is attached to at most one edge with a given label. Our logic SLR uses inductive predicates whose recursive definitions consist of existentially quantified separated conjunctions of relation and predicate atoms. The main contribution of this paper is an expressive fragment of SLR that describes bounded tree-width sets of graphs which can, moreover, be effectively translated into MSO.


title: Experimental identification of force, velocity, and nematic order relationships in active nematic cell monolayers

abstract: Cell alignment often forms nematic order, which can lead to anomalous collective cell flow due to the so-called active force. Although it is appreciated that cell migration is driven by traction force, a quantitative evaluation of the relationships between the traction force, the nematic patterning, and the cell flow velocity is still elusive. Here we have found that cellular traction force aligns almost perfectly and is proportional in amplitude to the gradient of the nematic order tensor, not only near the topological defects but also globally. Furthermore, the flow in the monolayer was best described by adding nonlinear forces and a diffusion term derived from symmetry considerations. These nonlinear active forces enhance density instability but suppress bending instability, explaining why cell accumulation and dispersion can occur in neural progenitor cell culture while their ordering pattern is stable.


title: Gravitational Waves from Kinetic Preheating

abstract: We study gravitational wave production during kinetic preheating after inflation with a focus on scenarios that arise in $\alpha$-attractor models where a scalar dilaton-like inflaton is kinetically coupled to a second scalar field. We present high-resolution lattice simulations of three $\alpha$-attractor models for a range of parameters to probe regions where preheating is efficient. We find that preheating in these models can be extremely violent, resulting in gravitational wave energy densities that can be constrained by cosmic microwave background measurements of the effective number of relativistic species, $N_{\rm eff}$


title: ChatMusician: Understanding and Generating Music Intrinsically with LLM

abstract: While Large Language Models (LLMs) demonstrate impressive capabilities in text generation, we find that their ability has yet to be generalized to music, humanity's creative language. We introduce ChatMusician, an open-source LLM that integrates intrinsic musical abilities. It is based on continual pre-training and finetuning LLaMA2 on a text-compatible music representation, ABC notation, and the music is treated as a second language. ChatMusician can understand and generate music with a pure text tokenizer without any external multi-modal neural structures or tokenizers. Interestingly, endowing musical abilities does not harm language abilities, even achieving a slightly higher MMLU score. Our model is capable of composing well-structured, full-length music, conditioned on texts, chords, melodies, motifs, musical forms, etc, surpassing GPT-4 baseline. On our meticulously curated college-level music understanding benchmark, MusicTheoryBench, ChatMusician surpasses LLaMA2 and GPT-3.5 on zero-shot setting by a noticeable margin. Our work reveals that LLMs can be an excellent compressor for music, but there remains significant territory to be conquered. We release our 4B token music-language corpora MusicPile, the collected MusicTheoryBench, code, model and demo in GitHub.


title: IKLink: End-Effector Trajectory Tracking with Minimal Reconfigurations

abstract: Many applications require a robot to accurately track reference end-effector trajectories. Certain trajectories may not be tracked as single, continuous paths due to the robot's kinematic constraints or obstacles elsewhere in the environment. In this situation, it becomes necessary to divide the trajectory into shorter segments. Each such division introduces a reconfiguration, in which the robot deviates from the reference trajectory, repositions itself in configuration space, and then resumes task execution. The occurrence of reconfigurations should be minimized because they increase the time and energy usage. In this paper, we present IKLink, a method for finding joint motions to track reference end-effector trajectories while executing minimal reconfigurations. Our graph-based method generates a diverse set of Inverse Kinematics (IK) solutions for every waypoint on the reference trajectory and utilizes a dynamic programming algorithm to find the globally optimal motion by linking the IK solutions. We demonstrate the effectiveness of IKLink through a simulation experiment and an illustrative demonstration using a physical robot.


title: Deformation families of Novikov bialgebras via differential antisymmetric infinitesimal bialgebras

abstract: Generalizing S. Gelfand's classical construction of a Novikov algebra from a commutative differential algebra, a deformation family $(A,\circ_q)$, for scalars $q$, of Novikov algebras is constructed from what we call an admissible commutative differential algebra, by adding a second linear operator to the commutative differential algebra with certain admissibility condition. The case of $(A,\circ_0)$ recovers the construction of S. Gelfand. This admissibility condition also ensures a bialgebra theory of commutative differential algebras, enriching the antisymmetric infinitesimal bialgebra. This way, a deformation family of Novikov bialgebras is obtained, under the further condition that the two operators are bialgebra derivations. As a special case, we obtain a bialgebra variation of S. Gelfand's construction with an interesting twist: every commutative and cocommutative differential antisymmetric infinitesimal bialgebra gives rise to a Novikov bialgebra whose underlying Novikov algebra is $(A,\circ_{-\frac{1}{2}})$ instead of $(A,\circ_0)$. The close relations of the classical bialgebra theories with Manin triples, classical Yang-Baxter type equations, $\mathcal{O}$-operators, and pre-structures are expanded to the two new bialgebra theories, in a way that is compatible with the just established connection between the two bialgebras. As an application, Novikov bialgebras are obtained from admissible differential Zinbiel algebras.


title: Radio Maps for Beam Alignment in mmWave Communications with Location Uncertainty

abstract: Next generation communication systems require accurate beam alignment to counteract the impairments that characterize propagation in high-frequency bands. The overhead of the pilot sequences required to select the best beam pair is prohibitive when codebooks contain a large number of beams, as is the case in practice. To remedy this issue, some schemes exploit information about the user location to predict the best beam pair. However, these schemes (i) involve no measurements whatsoever, which generally results in a highly suboptimal predicted beam, and (ii) are not robust to localization errors. To address these limitations, this paper builds upon the notion of radio map to develop two algorithms that attain a balance between the quality of the obtained beam pair and measurement overhead. The proposed algorithms predict the received power corresponding to each pair and measure just the Q pairs with highest prediction. While the first algorithm targets simplicity, the second one relies on a Bayesian approach to endow the prediction process with robustness to localization error. The performance of both algorithms is shown to widely outperform existing methods using ray-tracing data.


title: Consensus learning: A novel decentralised ensemble learning paradigm

abstract: The widespread adoption of large-scale machine learning models in recent years highlights the need for distributed computing for efficiency and scalability. This work introduces a novel distributed machine learning paradigm -- \emph{consensus learning} -- which combines classical ensemble methods with consensus protocols deployed in peer-to-peer systems. These algorithms consist of two phases: first, participants develop their models and submit predictions for any new data inputs; second, the individual predictions are used as inputs for a communication phase, which is governed by a consensus protocol. Consensus learning ensures user data privacy, while also inheriting the safety measures against Byzantine attacks from the underlying consensus mechanism. We provide a detailed theoretical analysis for a particular consensus protocol and compare the performance of the consensus learning ensemble with centralised ensemble learning algorithms. The discussion is supplemented by various numerical simulations, which describe the robustness of the algorithms against Byzantine participants.


title: Distribution-Free Fair Federated Learning with Small Samples

abstract: As federated learning gains increasing importance in real-world applications due to its capacity for decentralized data training, addressing fairness concerns across demographic groups becomes critically important. However, most existing machine learning algorithms for ensuring fairness are designed for centralized data environments and generally require large-sample and distributional assumptions, underscoring the urgent need for fairness techniques adapted for decentralized and heterogeneous systems with finite-sample and distribution-free guarantees. To address this issue, this paper introduces FedFaiREE, a post-processing algorithm developed specifically for distribution-free fair learning in decentralized settings with small samples. Our approach accounts for unique challenges in decentralized environments, such as client heterogeneity, communication costs, and small sample sizes. We provide rigorous theoretical guarantees for both fairness and accuracy, and our experimental results further provide robust empirical validation for our proposed method.


title: DistALANER: Distantly Supervised Active Learning Augmented Named Entity Recognition in the Open Source Software Ecosystem

abstract: With the AI revolution in place, the trend for building automated systems to support professionals in different domains such as the open source software systems, healthcare systems, banking systems, transportation systems and many others have become increasingly prominent. A crucial requirement in the automation of support tools for such systems is the early identification of named entities, which serves as a foundation for developing specialized functionalities. However, due to the specific nature of each domain, different technical terminologies and specialized languages, expert annotation of available data becomes expensive and challenging. In light of these challenges, this paper proposes a novel named entity recognition (NER) technique specifically tailored for the open-source software systems. Our approach aims to address the scarcity of annotated software data by employing a comprehensive two-step distantly supervised annotation process. This process strategically leverages language heuristics, unique lookup tables, external knowledge sources, and an active learning approach. By harnessing these powerful techniques, we not only enhance model performance but also effectively mitigate the limitations associated with cost and the scarcity of expert annotators. It is noteworthy that our model significantly outperforms the state-of-the-art LLMs by a substantial margin. We also show the effectiveness of NER in the downstream task of relation extraction.


title: The Hankel determinants for the generalized derangement polynomials of order r

abstract: This paper sets out to introduce the generalized derangement polynomials of order $r $. It then proceeds to establish various identities associated with these polynomials, along with providing recurrence relations for derangement polynomials of order $ r$. Additionally, the paper offers a probabilistic approach for the generalized derangement polynomials of order $r $. Furthermore, it furnishes a clear expression for the Hankel determinants pertaining to these generalized derangement polynomials of order $r$, and subsequently infers the Hankel determinants for derangement polynomials of the same order, as well as for the count of cyclic derangements.


title: Twenty-nine million Intrinsic Q-factor Monolithic Microresonators on Thin Film Lithium Niobate

abstract: The recent emergence of thin-film lithium niobate (TFLN) has extended the landscape of integrated photonics. This has been enabled by the commercialization of TFLN wafers and advanced nanofabrication of TFLN such as high-quality dry etching. However, fabrication imperfections still limit the propagation loss to a few dB/m, restricting the impact of this platform. Here, we demonstrate TFLN microresonators with a record-high intrinsic quality (Q) factor of twenty-nine million, corresponding to an ultra-low propagation loss of 1.3 dB/m. We present spectral analysis and the statistical distribution of Q factors across different resonator geometries. Our work pushes the fabrication limits of TFLN photonics to achieve a Q factor within one order of magnitude of the material limit.


title: Catch Me If You Can: Combatting Fraud in Artificial Currency Based Government Benefits Programs

abstract: Artificial currencies have grown in popularity in many real-world resource allocation settings, gaining traction in government benefits programs like food assistance and transit benefits programs. However, such programs are susceptible to misreporting fraud, wherein users can misreport their private attributes to gain access to more artificial currency (credits) than they are entitled to. To address the problem of misreporting fraud in artificial currency based benefits programs, we introduce an audit mechanism that induces a two-stage game between an administrator and users. In our proposed mechanism, the administrator running the benefits program can audit users at some cost and levy fines against them for misreporting their information. For this audit game, we study the natural solution concept of a signaling game equilibrium and investigate conditions on the administrator budget to establish the existence of equilibria. The computation of equilibria can be done via linear programming in our problem setting through an appropriate design of the audit rules. Our analysis also provides upper bounds that hold in any signaling game equilibrium on the expected excess payments made by the administrator and the probability that users misreport their information. We further show that the decrease in misreporting fraud corresponding to our audit mechanism far outweighs the administrator spending to run it by establishing that its total costs are lower than that of the status quo with no audits. Finally, to highlight the practical viability of our audit mechanism in mitigating misreporting fraud, we present a case study based on the Washington D.C. federal transit benefits program. In this case study, the proposed audit mechanism achieves several orders of magnitude improvement in total cost compared to a no-audit strategy for some parameter ranges.


title: An overview of field theories of gravity

abstract: In the general relativity theory the basic ingredient to describe gravity is the geometry, which interacts with all forms of matter and energy, and as such, the metric could be interpreted as a true physical quantity. However the metric is not matter nor energy, but instead it is a new dynamical variable that Einstein introduced to describe gravity. In order to conciliate this approach to the more traditional ones, physicists have tried to describe the main ideas of GR in terms of standard conceptions of field theory. In this sense, curved metrics are seen as a dynamical variable emerging from a more fundamental field which lies upon a flat Minkowski spacetime. This was made by the hypothesis that the metric tensor may be written as $g_{\mu\nu} = \eta_{\mu\nu} + h_{\mu\nu}$ where the tensor $ h_{\mu\nu}$ was interpreted either in terms of a spin-2 or constructed in terms of other fields. We review some proposals that were suggested in the treatment of gravity in terms of scalar, spinor and tensor fields configurations.


title: Task Specific Pretraining with Noisy Labels for Remote Sensing Image Segmentation

abstract: Compared to supervised deep learning, self-supervision provides remote sensing a tool to reduce the amount of exact, human-crafted geospatial annotations. While image-level information for unsupervised pretraining efficiently works for various classification downstream tasks, the performance on pixel-level semantic segmentation lags behind in terms of model accuracy. On the contrary, many easily available label sources (e.g., automatic labeling tools and land cover land use products) exist, which can provide a large amount of noisy labels for segmentation model training. In this work, we propose to exploit noisy semantic segmentation maps for model pretraining. Our experiments provide insights on robustness per network layer. The transfer learning settings test the cases when the pretrained encoders are fine-tuned for different label classes and decoders. The results from two datasets indicate the effectiveness of task-specific supervised pretraining with noisy labels. Our findings pave new avenues to improved model accuracy and novel pretraining strategies for efficient remote sensing image segmentation.


title: On the Feasibility of Deep Learning Classification from Raw Signal Data in Radiology, Ultrasonography and Electrophysiology

abstract: Medical imaging is a very useful tool in healthcare, various technologies being employed to non-invasively peek inside the human body. Deep learning with neural networks in radiology was welcome - albeit cautiously - by the radiologist community. Most of the currently deployed or researched deep learning solutions are applied on already generated images of medical scans, use the neural networks to aid in the generation of such images, or use them for identifying specific substance markers in spectrographs. This paper's author posits that if the neural networks were trained directly on the raw signals from the scanning machines, they would gain access to more nuanced information than from the already processed images, hence the training - and later, the inferences - would become more accurate. The paper presents the main current applications of deep learning in radiography, ultrasonography, and electrophysiology, and discusses whether the proposed neural network training directly on raw signals is feasible.


title: Projective dimension and regularity of 3-path ideals of unicyclic graphs

abstract: We compute the projective dimension and regularity of $3$-path ideals of arbitrary graphs with at most one cycle.


title: A note on homotopy and pseudoisotopy of diffeomorphisms of $4$-manifolds

abstract: This note serves to record examples of diffeomorphisms of closed smooth $4$-manifolds $X$ that are homotopic but not pseudoisotopic to the identity, and to explain why there are no such examples when $X$ is orientable and its fundamental group is a free group.


title: Hitting "Probe"rty with Non-Linearity, and More

abstract: Structural probes learn a linear transformation to find how dependency trees are embedded in the hidden states of language models. This simple design may not allow for full exploitation of the structure of the encoded information. Hence, to investigate the structure of the encoded information to its full extent, we incorporate non-linear structural probes. We reformulate the design of non-linear structural probes introduced by White et al. making its design simpler yet effective. We also design a visualization framework that lets us qualitatively assess how strongly two words in a sentence are connected in the predicted dependency tree. We use this technique to understand which non-linear probe variant is good at encoding syntactical information. Additionally, we also use it to qualitatively investigate the structure of dependency trees that BERT encodes in each of its layers. We find that the radial basis function (RBF) is an effective non-linear probe for the BERT model than the linear probe.


title: Arc-distinguishing of orientations of graphs

abstract: A distinguishing index of a (di)graph is the minimum number of colours in an edge (or arc) colouring such that the identity is the only automorphism that preserves that colouring. We investigate the minimum and maximum value of the distinguishing index over all orientations of a given graph $G$. We present sharp results for these parameters in terms of the distinguishing index of $G$ for trees, unbalanced bipartite graphs, traceable graphs and claw-free graphs. With this, we answer the question of Meslem and Sopena.


title: Nonparametric Steady-state Learning for Robust Output Regulation of Nonlinear Output Feedback Systems

abstract: This article addresses the nonadaptive and robust output regulation problem of the general nonlinear output feedback system with error output. The global robust output regulation problem for a class of general output feedback nonlinear systems with an uncertain exosystem and high relative degree can be tackled by constructing a linear generic internal model provided that a continuous nonlinear mapping exists. Leveraging the presented nonadaptive framework facilitates the conversion of the nonlinear robust output regulation problem into a robust nonadaptive stabilization endeavour for the augmented system endowed with Input-to-State Stable dynamics, removing the need for constructing a specific Lyapunov function with positive semidefinite derivatives. To ensure the feasibility of the nonlinear mapping, the approach is extended by incorporating the nonparametric learning framework. Moreover, the introduced nonparametric learning framework provides the ability to learn the dynamics of the steady-state/input behaviour from the signal generated from the internal model only using the output error feedback. As a result, the nonadaptive/nonparametric approach can be advantageous by guaranteeing convergence of the estimation and tracking error even when the underlying controlled system dynamics are complex or poorly understood. The effectiveness of the theoretical results is illustrated for a controlled duffing system and a continuously stirred tank reactor


title: How to avoid the commuting conversions of IPC

abstract: Since the observation in 2006 that it is possible to embed IPC into the atomic polymorphic lambda-calculus (a predicative fragment of system F with universal instantiations restricted to atomic formulas) different such embeddings appeared in the literature. All of them comprise the Russell-Prawitz translation of formulas, but have different strategies for the translation of proofs. Although these embeddings preserve proof identity, all fail in delivering preservation of reduction steps. In fact, they translate the commuting conversions of IPC to beta-equality, or to other kinds of reduction or equality generated by new principles added to system F. The cause for this is the generation of redexes by the translation itself. In this paper, we present an embedding of IPC into atomic system F, still based on the same translation of formulas, but which maps commuting conversions to syntactic identity, while simulating the other kinds of reduction steps present in IPC beta\eta-reduction. In this sense the translation achieves a truly commuting conversion-free image of IPC in atomic system F.


title: Gravito-magnetic Polarization of Schwarzschild Black Hole

abstract: We determine the gravito-magnetic Love numbers of non-rotating black holes in all spacetime dimensions through a novel and direct derivation. The Ishibashi- Kodama master field and its associated field equation are avoided. The matching to the EFT variables is simple. This method allows us to correct the values in the literature. Moreover, we highlight a parity-based selection rule for nonlinear terms that include both electric-type and magnetic-type gravitational field tensors, enabling us to conclude that many of the nonlinear response coefficients in the Schwarzschild black hole effective action vanish.


title: Communication Traffic Characteristics Reveal an IoT Devices Identity

abstract: Internet of Things (IoT) is one of the technological advancements of the twenty-first century which can improve living standards. However, it also imposes new types of security challenges, including device authentication, traffic types classification, and malicious traffic identification, in the network domain. Traditionally, internet protocol (IP) and media access control (MAC) addresses are utilized for identifying network-connected devices in a network, whilst these addressing schemes are prone to be compromised, including spoofing attacks and MAC randomization. Therefore, device identification using only explicit identifiers is a challenging task. Accurate device identification plays a key role in securing a network. In this paper, a supervised machine learning-based device fingerprinting (DFP) model has been proposed for identifying network-connected IoT devices using only communication traffic characteristics (or implicit identifiers). A single transmission control protocol/internet protocol (TCP/IP) packet header features have been utilized for generating unique fingerprints, with the fingerprints represented as a vector of 22 features. Experimental results have shown that the proposed DFP method achieves over 98% in classifying individual IoT devices using the UNSW dataset with 22 smart-home IoT devices. This signifies that the proposed approach is invaluable to network operators in making their networks more secure.


title: GenNBV: Generalizable Next-Best-View Policy for Active 3D Reconstruction

abstract: While recent advances in neural radiance field enable realistic digitization for large-scale scenes, the image-capturing process is still time-consuming and labor-intensive. Previous works attempt to automate this process using the Next-Best-View (NBV) policy for active 3D reconstruction. However, the existing NBV policies heavily rely on hand-crafted criteria, limited action space, or per-scene optimized representations. These constraints limit their cross-dataset generalizability. To overcome them, we propose GenNBV, an end-to-end generalizable NBV policy. Our policy adopts a reinforcement learning (RL)-based framework and extends typical limited action space to 5D free space. It empowers our agent drone to scan from any viewpoint, and even interact with unseen geometries during training. To boost the cross-dataset generalizability, we also propose a novel multi-source state embedding, including geometric, semantic, and action representations. We establish a benchmark using the Isaac Gym simulator with the Houses3K and OmniObject3D datasets to evaluate this NBV policy. Experiments demonstrate that our policy achieves a 98.26% and 97.12% coverage ratio on unseen building-scale objects from these datasets, respectively, outperforming prior solutions.


title: XAI-based gait analysis of patients walking with Knee-Ankle-Foot orthosis using video cameras

abstract: Recent technological advancements in artificial intelligence and computer vision have enabled gait analysis on portable devices such as cell phones. However, most state-of-the-art vision-based systems still impose numerous constraints for capturing a patient's video, such as using a static camera and maintaining a specific distance from it. While these constraints are manageable under professional observation, they pose challenges in home settings. Another issue with most vision-based systems is their output, typically a classification label and confidence value, whose reliability is often questioned by medical professionals. This paper addresses these challenges by presenting a novel system for gait analysis robust to camera movements and providing explanations for its output. The study utilizes a dataset comprising videos of subjects wearing two types of Knee Ankle Foot Orthosis (KAFO), namely "Locked Knee" and "Semi-flexion," for mobility, along with metadata and ground truth for explanations. The ground truth highlights the statistical significance of seven features captured using motion capture systems to differentiate between the two gaits. To address camera movement challenges, the proposed system employs super-resolution and pose estimation during pre-processing. It then identifies the seven features - Stride Length, Step Length and Duration of single support of orthotic and non-orthotic leg, Cadence, and Speed - using the skeletal output of pose estimation. These features train a multi-layer perceptron, with its output explained by highlighting the features' contribution to classification. While most state-of-the-art systems struggle with processing the video or training on the proposed dataset, our system achieves an average accuracy of 94%. The model's explainability is validated using ground truth and can be considered reliable.


title: Table-top soft x-ray source for XAS experiments with photon energies up to 350 eV

abstract: We present a table-top setup for femtosecond x-ray absorption spectroscopy based on high harmonic generation (HHG) in noble gases. Using sub-millijoule pump pulses at a central wavelength of 1550 nm broadband HHG in the range 70 to 350 eV was demonstrated. The HHG coherence lengths of several millimeters were achieved by reaching the nonadiabatic regime of harmonic generation. NEXAFS experiments on the boron K edge of a boron foil and a hexagonal BN (hBN) 2D material demonstrate the capabilities of the setup.


title: Enhancement of the Environmental Stability of Perovskite Thin Films via PMMA and AZ5214-Photoresist Coatings

abstract: We introduce a pioneering strategy to enhance the environmental stability of perovskite thin films, a critical step forward in advancing their application in optoelectronics. Through the innovative application of matrix encapsulation techniques, we focus on the stabilization of methylammonium lead iodide (MAPbI3) and methylammonium lead bromide (MAPbBr3) films. These films are meticulously prepared via a two-step solution deposition method under controlled ambient conditions. Our approach involves the application of poly(methyl methacrylate) (PMMA) and AZ5214 photoresist layers through spin-coating, aimed at singularly encapsulating the perovskite films. This encapsulation acts as a robust hydrophobic barrier, significantly mitigating moisture ingress and simultaneously addressing the challenge of pinhole presence within the perovskite structure. Through a series of detailed characterizations-spanning scanning electron microscopy (SEM), X-ray diffraction (XRD), and photoluminescence (PL) spectroscopy-we demonstrate that, despite the thicker nature of the AZ5214 photoresist compared to the PMMA layer, it exhibits markedly enhanced stability. Notably, the integrity and optical properties of the perovskite films are preserved for extended periods of up to 960 hours under environmental exposure. This breakthrough highlights the superior performance of AZ5214 photoresist over PMMA in prolonging the operational life of perovskite thin films, thereby offering a promising avenue for their deployment in a wide range of optoelectronic devices.


title: Symmetries of one-loop deformed q-map spaces

abstract: Q-map spaces form an important class of quaternionic K\"ahler manifolds of negative scalar curvature. Their one-loop deformations are always inhomogeneous and have been used to construct cohomogeneity one quaternionic K\"ahler manifolds as deformations of homogeneous spaces. Here we study the group of isometries in the deformed case. Our main result is the statement that it always contains a semidirect product of a group of affine transformations of $\mathbb{R}^{n-1}$ with a Heisenberg group of dimension $2n+1$ for a q-map space of dimension $4n$. The affine group and its action on the normal Heisenberg factor in the semidirect product depend on the cubic affine hypersurface which encodes the q-map space.


title: Simultaneously preperiodic points for a family of polynomials in positive characteristic

abstract: In the goundbreaking paper [BD11] (which opened a wide avenue of research regarding unlikely intersections in arithmetic dynamics), Baker and DeMarco prove that for the family of polynomials $f_\lambda(x):=x^d+\lambda$ (parameterized by $\lambda\in\mathbb{C}$), given two starting points $a$ and $b$ in $\mathbb{C}$, if there exist infinitely many $\lambda\in\mathbb{C}$ such that both $a$ and $b$ are preperiodic under the action of $f_\lambda$, then $a^d=b^d$. In this paper we study the same question, this time working in a field of characteristic $p>0$. The answer in positive characteristic is more nuanced, as there are three distinct cases: (i) both starting points $a$ and $b$ live in $\Fpbar$; (ii) $d$ is a power of $p$; and (iii) not both $a$ and $b$ live in $\Fpbar$, while $d$ is not a power of $p$. Only in case~(iii), one derives the same conclusion as in characteristic $0$, i.e., that $a^d=b^d$. In case~(i), one has that for each $\lambda\in\Fpbar$, both $a$ and $b$ are preperiodic under the action of $f_\lambda$, while in case~(ii), one obtains that \emph{also} whenever $a-b\in\Fpbar$, then for each parameter $\lambda$, we have that $a$ is preperiodic under the action of $f_\lambda$ if and only if $b$ is preperiodic under the action of $f_\lambda$.


title: A convergence result for a minimizing movement scheme for mean curvature flow with prescribed contact angle in a curved domain

abstract: We consider a minimizing movement scheme of Chambolle type for the mean curvature flow equation with prescribed contact angle condition in a smooth bounded domain in $\mathbb{R}^d$ ($d\geq2$). We prove that an approximate solution constructed by the proposed scheme converges to the level-set mean curvature flow with prescribed contact angle provided that the domain is convex and that the contact angle is away from zero under some control of derivatives of given prescribed angle. We actually prove that an auxiliary function corresponding to the scheme uniformly converges to a unique viscosity solution to the level-set equation with an oblique {derivative} boundary condition corresponding to the prescribed boundary condition.


title: How Can LLM Guide RL? A Value-Based Approach

abstract: Reinforcement learning (RL) has become the de facto standard practice for sequential decision-making problems by improving future acting policies with feedback. However, RL algorithms may require extensive trial-and-error interactions to collect useful feedback for improvement. On the other hand, recent developments in large language models (LLMs) have showcased impressive capabilities in language understanding and generation, yet they fall short in exploration and self-improvement capabilities for planning tasks, lacking the ability to autonomously refine their responses based on feedback. Therefore, in this paper, we study how the policy prior provided by the LLM can enhance the sample efficiency of RL algorithms. Specifically, we develop an algorithm named LINVIT that incorporates LLM guidance as a regularization factor in value-based RL, leading to significant reductions in the amount of data needed for learning, particularly when the difference between the ideal policy and the LLM-informed policy is small, which suggests that the initial policy is close to optimal, reducing the need for further exploration. Additionally, we present a practical algorithm SLINVIT that simplifies the construction of the value function and employs subgoals to reduce the search complexity. Our experiments across three interactive environments ALFWorld, InterCode, and BlocksWorld demonstrate that our method achieves state-of-the-art success rates and also surpasses previous RL and LLM approaches in terms of sample efficiency. Our code is available at https://github.com/agentification/Language-Integrated-VI.


title: MoodCapture: Depression Detection Using In-the-Wild Smartphone Images

abstract: MoodCapture presents a novel approach that assesses depression based on images automatically captured from the front-facing camera of smartphones as people go about their daily lives. We collect over 125,000 photos in the wild from N=177 participants diagnosed with major depressive disorder for 90 days. Images are captured naturalistically while participants respond to the PHQ-8 depression survey question: \textit{``I have felt down, depressed, or hopeless''}. Our analysis explores important image attributes, such as angle, dominant colors, location, objects, and lighting. We show that a random forest trained with face landmarks can classify samples as depressed or non-depressed and predict raw PHQ-8 scores effectively. Our post-hoc analysis provides several insights through an ablation study, feature importance analysis, and bias assessment. Importantly, we evaluate user concerns about using MoodCapture to detect depression based on sharing photos, providing critical insights into privacy concerns that inform the future design of in-the-wild image-based mental health assessment tools.


title: Veneziano and Shapiro-Virasoro amplitudes of arbitrarily excited strings

abstract: We extend the Veneziano and Shapiro-Virasoro amplitudes to four arbitrarily excited states in bosonic string theory. We use the formalism of coherent string states based on the Di Vecchia-Del Giudice-Fubini construction. Within the same formalism, we also analyze the three string scattering finding the covariant version of the three reggeon interaction. Then studying the factorization properties of the extended four string scattering amplitudes we identify the covariant version of the three string interaction. Finally we obtain generalized Kawai-Lewellen-Tye relations connecting the scattering of four open and closed arbitrarily excited states.


title: Deep Neural Network Initialization with Sparsity Inducing Activations

abstract: Inducing and leveraging sparse activations during training and inference is a promising avenue for improving the computational efficiency of deep networks, which is increasingly important as network sizes continue to grow and their application becomes more widespread. Here we use the large width Gaussian process limit to analyze the behaviour, at random initialization, of nonlinear activations that induce sparsity in the hidden outputs. A previously unreported form of training instability is proven for arguably two of the most natural candidates for hidden layer sparsification; those being a shifted ReLU ($\phi(x)=\max(0, x-\tau)$ for $\tau\ge 0$) and soft thresholding ($\phi(x)=0$ for $|x|\le\tau$ and $x-\text{sign}(x)\tau$ for $|x|>\tau$). We show that this instability is overcome by clipping the nonlinear activation magnitude, at a level prescribed by the shape of the associated Gaussian process variance map. Numerical experiments verify the theory and show that the proposed magnitude clipped sparsifying activations can be trained with training and test fractional sparsity as high as 85\% while retaining close to full accuracy.


title: Exploring gene content with pangene graphs

abstract: Motivation: The gene content regulates the biology of an organism. It varies between species and between individuals of the same species. Although tools have been developed to identify gene content changes in bacterial genomes, none is applicable to collections of large eukaryotic genomes such as the human pangenome. Results: We developed pangene, a computational tool to identify gene orientation, gene order and gene copy-number changes in a collection of genomes. Pangene aligns a set of input protein sequences to the genomes, resolves redundancies between protein sequences and constructs a gene graph with each genome represented as a walk in the graph. It additionally finds subgraphs, which we call bibubbles, that capture gene content changes. Applied to the human pangenome, pangene identifies known gene-level variations and reveals complex haplotypes that are not well studied before. Pangene also works with high-quality bacterial pangenome and reports similar numbers of core and accessory genes in comparison to existing tools. Availability and implementation: Source code at https://github.com/lh3/pangene; pre-built pangene graphs can be downloaded from https://zenodo.org/records/8118576 and visualized at https://pangene.bioinweb.org


title: An Execution-time-certified Riccati-based IPM Algorithm for RTI-based Input-constrained NMPC

abstract: Establishing an execution time certificate in deploying model predictive control (MPC) is a pressing and challenging requirement. As nonlinear MPC (NMPC) results in nonlinear programs, differing from quadratic programs encountered in linear MPC, deriving an execution time certificate for NMPC seems an impossible task. Our prior work \cite{wu2023direct} introduced an input-constrained MPC algorithm with the exact and only \textit{dimension-dependent} (\textit{data-independent}) number of floating-point operations ([flops]). This paper extends it to input-constrained NMPC problems via the real-time iteration (RTI) scheme, which results in \textit{data-varying} (but \textit{dimension-invariant}) input-constrained MPC problems. Therefore, applying our previous algorithm can certify the execution time based on the assumption that processors perform fixed [flops] in constant time. As the RTI-based scheme generally results in MPC with a long prediction horizon, this paper employs the efficient factorized Riccati recursion, whose computational cost scales linearly with the prediction horizon, to solve the Newton system at each iteration. The execution-time certified capability of the algorithm is theoretically and numerically validated through a case study involving nonlinear control of the chaotic Lorenz system.


title: No Free Lunch in LLM Watermarking: Trade-offs in Watermarking Design Choices

abstract: Advances in generative models have made it possible for AI-generated text, code, and images to mirror human-generated content in many applications. Watermarking, a technique that aims to embed information in the output of a model to verify its source, is useful for mitigating the misuse of such AI-generated content. However, we show that common design choices in LLM watermarking schemes make the resulting systems surprisingly susceptible to attack -- leading to fundamental trade-offs in robustness, utility, and usability. To navigate these trade-offs, we rigorously study a set of simple yet effective attacks on common watermarking systems, and propose guidelines and defenses for LLM watermarking in practice.


title: ARIN: Adaptive Resampling and Instance Normalization for Robust Blind Inpainting of Dunhuang Cave Paintings

abstract: Image enhancement algorithms are very useful for real world computer vision tasks where image resolution is often physically limited by the sensor size. While state-of-the-art deep neural networks show impressive results for image enhancement, they often struggle to enhance real-world images. In this work, we tackle a real-world setting: inpainting of images from Dunhuang caves. The Dunhuang dataset consists of murals, half of which suffer from corrosion and aging. These murals feature a range of rich content, such as Buddha statues, bodhisattvas, sponsors, architecture, dance, music, and decorative patterns designed by different artists spanning ten centuries, which makes manual restoration challenging. We modify two different existing methods (CAR, HINet) that are based upon state-of-the-art (SOTA) super resolution and deblurring networks. We show that those can successfully inpaint and enhance these deteriorated cave paintings. We further show that a novel combination of CAR and HINet, resulting in our proposed inpainting network (ARIN), is very robust to external noise, especially Gaussian noise. To this end, we present a quantitative and qualitative comparison of our proposed approach with existing SOTA networks and winners of the Dunhuang challenge. One of the proposed methods HINet) represents the new state of the art and outperforms the 1st place of the Dunhuang Challenge, while our combination ARIN, which is robust to noise, is comparable to the 1st place. We also present and discuss qualitative results showing the impact of our method for inpainting on Dunhuang cave images.


title: One-stage Prompt-based Continual Learning

abstract: Prompt-based Continual Learning (PCL) has gained considerable attention as a promising continual learning solution as it achieves state-of-the-art performance while preventing privacy violation and memory overhead issues. Nonetheless, existing PCL approaches face significant computational burdens because of two Vision Transformer (ViT) feed-forward stages; one is for the query ViT that generates a prompt query to select prompts inside a prompt pool; the other one is a backbone ViT that mixes information between selected prompts and image tokens. To address this, we introduce a one-stage PCL framework by directly using the intermediate layer's token embedding as a prompt query. This design removes the need for an additional feed-forward stage for query ViT, resulting in ~50% computational cost reduction for both training and inference with marginal accuracy drop < 1%. We further introduce a Query-Pool Regularization (QR) loss that regulates the relationship between the prompt query and the prompt pool to improve representation power. The QR loss is only applied during training time, so there is no computational overhead at inference from the QR loss. With the QR loss, our approach maintains ~ 50% computational cost reduction during inference as well as outperforms the prior two-stage PCL methods by ~1.4% on public class-incremental continual learning benchmarks including CIFAR-100, ImageNet-R, and DomainNet.


title: Accurate predictions of keyhole depths using machine learning-aided simulations

abstract: The keyhole phenomenon is widely observed in laser materials processing, including laser welding, remelting, cladding, drilling, and additive manufacturing. Keyhole-induced defects, primarily pores, dramatically affect the performance of final products, impeding the broad use of these laser-based technologies. The formation of these pores is typically associated with the dynamic behavior of the keyhole. So far, the accurate characterization and prediction of keyhole features, particularly keyhole depth, as a function of time has been a challenging task. In situ characterization of keyhole dynamic behavior using a synchrotron X-ray is complicated and expensive. Current simulations are hindered by their poor accuracies in predicting keyhole depths due to the lack of real-time laser absorptance data. Here, we develop a machine learning-aided simulation method that allows us to accurately predict keyhole depth over a wide range of processing parameters. Based on titanium and aluminum alloys, two commonly used engineering materials as examples, we achieve an accuracy with an error margin of 10 %, surpassing those simulated using other existing models (with an error margin in a range of 50-200 %). Our machine learning-aided simulation method is affordable and readily deployable for a large variety of materials, opening new doors to eliminate or reduce defects for a wide range of laser materials processing techniques.


title: Commutative Poisson algebras from deformations of noncommutative algebras

abstract: It is well-known that a formal deformation of a commutative algebra ${\mathcal A}$ leads to a Poisson bracket on ${\mathcal A}$ and that the classical limit of a derivation on the deformation leads to a derivation on ${\mathcal A}$, which is Hamiltonian with respect to the Poisson bracket. In this paper we present a generalisation of it for formal deformations of an arbitrary noncommutative algebra ${\mathcal A}$. The deformation leads in this case to a Poisson algebra structure on $\Pi({\mathcal A}):=Z({\mathcal A})\times({\mathcal A}/Z({\mathcal A}))$ and to the structure of a $\Pi({\mathcal A})$-Poisson module on ${\mathcal A}$. The limiting derivations are then still derivations of ${\mathcal A}$, but with the Hamiltonian belong to $\Pi({\mathcal A})$, rather than to ${\mathcal A}$. We illustrate our construction with several cases of formal deformations, coming from known quantum algebras, such as the ones associated with the nonabelian Volterra chains, Kontsevich integrable map, the quantum plane and the quantised Grassmann algebra.


title: Defending Large Language Models against Jailbreak Attacks via Semantic Smoothing

abstract: Aligned large language models (LLMs) are vulnerable to jailbreaking attacks, which bypass the safeguards of targeted LLMs and fool them into generating objectionable content. While initial defenses show promise against token-based threat models, there do not exist defenses that provide robustness against semantic attacks and avoid unfavorable trade-offs between robustness and nominal performance. To meet this need, we propose SEMANTICSMOOTH, a smoothing-based defense that aggregates the predictions of multiple semantically transformed copies of a given input prompt. Experimental results demonstrate that SEMANTICSMOOTH achieves state-of-the-art robustness against GCG, PAIR, and AutoDAN attacks while maintaining strong nominal performance on instruction following benchmarks such as InstructionFollowing and AlpacaEval. The codes will be publicly available at https://github.com/UCSB-NLP-Chang/SemanticSmooth.


title: Electrostatic control of nonlinear photonic-crystal polaritons in a monolayer semiconductor

abstract: Integration of 2D semiconductors with photonic crystal slabs provides an attractive approach to achieve strong light--matter coupling and exciton-polariton formation in a planar chip-compatible geometry. However, for the development of practical devices, it is crucial that the polariton excitations in the structure are easily tunable and exhibit strong nonlinear response. Here we study neutral and charged exciton-polaritons in an electrostatically gated planar photonic crystal slab with an embedded monolayer semiconductor MoSe$_2$ and experimentally demonstrate strong polariton nonlinearity, which can be tuned via gate voltage. We find that modulation of dielectric environment within the photonic crystal results in the formation of two distinct resonances with significantly different nonlinear response, which enables optical switching with ultrashort laser pulses. Our results open new avenues towards development of active polaritonic devices in a compact chip-compatible implementation.


title: ASEM: Enhancing Empathy in Chatbot through Attention-based Sentiment and Emotion Modeling

abstract: Effective feature representations play a critical role in enhancing the performance of text generation models that rely on deep neural networks. However, current approaches suffer from several drawbacks, such as the inability to capture the deep semantics of language and sensitivity to minor input variations, resulting in significant changes in the generated text. In this paper, we present a novel solution to these challenges by employing a mixture of experts, multiple encoders, to offer distinct perspectives on the emotional state of the user's utterance while simultaneously enhancing performance. We propose an end-to-end model architecture called ASEM that performs emotion analysis on top of sentiment analysis for open-domain chatbots, enabling the generation of empathetic responses that are fluent and relevant. In contrast to traditional attention mechanisms, the proposed model employs a specialized attention strategy that uniquely zeroes in on sentiment and emotion nuances within the user's utterance. This ensures the generation of context-rich representations tailored to the underlying emotional tone and sentiment intricacies of the text. Our approach outperforms existing methods for generating empathetic embeddings, providing empathetic and diverse responses. The performance of our proposed model significantly exceeds that of existing models, enhancing emotion detection accuracy by 6.2% and lexical diversity by 1.4%.


title: Tubed embeddings

abstract: We consider the following question: When does a Riemannian manifold admit an embedding with a uniformly thick tubular neighborhood in another Riemannian manifold of large dimension?


title: Combining Machine Learning with Computational Fluid Dynamics using OpenFOAM and SmartSim

abstract: Combining machine learning (ML) with computational fluid dynamics (CFD) opens many possibilities for improving simulations of technical and natural systems. However, CFD+ML algorithms require exchange of data, synchronization, and calculation on heterogeneous hardware, making their implementation for large-scale problems exceptionally challenging. We provide an effective and scalable solution to developing CFD+ML algorithms using open source software OpenFOAM and SmartSim. SmartSim provides an Orchestrator that significantly simplifies the programming of CFD+ML algorithms and a Redis database that ensures highly scalable data exchange between ML and CFD clients. We show how to leverage SmartSim to effectively couple different segments of OpenFOAM with ML, including pre/post-processing applications, solvers, function objects, and mesh motion solvers. We additionally provide an OpenFOAM sub-module with examples that can be used as starting points for real-world applications in CFD+ML.


title: Language Models for Code Completion: A Practical Evaluation

abstract: Transformer-based language models for automatic code completion have shown great promise so far, yet the evaluation of these models rarely uses real data. This study provides both quantitative and qualitative assessments of three public code language models when completing real-world code. We first developed an open-source IDE extension, Code4Me, for the online evaluation of the models. We collected real auto-completion usage data for over a year from more than 1200 users, resulting in over 600K valid completions. These models were then evaluated using six standard metrics across twelve programming languages. Next, we conducted a qualitative study of 1690 real-world completion requests to identify the reasons behind the poor model performance. A comparative analysis of the models' performance in online and offline settings was also performed, using benchmark synthetic datasets and two masking strategies. Our findings suggest that while developers utilize code completion across various languages, the best results are achieved for mainstream languages such as Python and Java. InCoder outperformed the other models across all programming languages, highlighting the significance of training data and objectives. Our study also revealed that offline evaluations do not accurately reflect real-world scenarios. Upon qualitative analysis of the model's predictions, we found that 66.3% of failures were due to the models' limitations, 24.4% occurred due to inappropriate model usage in a development context, and 9.3% were valid requests that developers overwrote. Given these findings, we propose several strategies to overcome the current limitations. These include refining training objectives, improving resilience to typographical errors, adopting hybrid approaches, and enhancing implementations and usability.


title: Stable Graded Multiplicities for Harmonics on a Cyclic Quiver

abstract: We consider Vinberg $\theta$-groups associated to a cyclic quiver on $k$ nodes. Let $K$ be the product of the general linear groups associated to each node. Then $K$ acts naturally on $\oplus \text{Hom}(V_i, V_{i+1})$ and by Vinberg's theory the polynomials are free over the invariants. We therefore consider the harmonics as a representation of $K$, and give a combinatorial formula for the stable graded multiplicity of each $K$-type. A key lemma provides a combinatorial separation of variables that allows us to cancel the invariants and obtain generalized exponents for the harmonics.


title: High-resolution numerical-experimental comparison of heterogeneous slip activity in quasi-2D ferrite sheets

abstract: The role of heterogeneity in the plastic flow of thin ferrite specimens is investigated in this study. This is done through a recently introduced quasi-2D experimental-numerical framework that allows for a quantitative comparison of the deformation fields of metal microstructures between experiments and simulations at a high level of detail and complexity. The method exploits samples that are locally ultra-thin ("2D") and hence have a practically uniform microstructure through their thickness. This allows testing more complex loading conditions compared to uniaxial micromechanical experiments while avoiding the complexity of an unknown subsurface microstructure, which limits comparisons between experiments and simulations in traditional integrated approaches at the level of the polycrystalline microstructure. The present approach enables to study the effect of microstructural features such as grain boundaries. To study the role of stochastic fluctuations, a constitutive model is employed which introduces random heterogeneity into a crystal plasticity model. A detailed analysis of the simulations is performed at the level of individual slip systems. Since both experimental and numerical results are susceptible to stochastic fluctuations, the outcomes of many simulations are compared to the experimentally obtained result. This comparison allows us to determine how a single experiment relates to an ensemble of simulations. Additionally, results obtained with a conventional crystal plasticity model are considered. The analysis reveals that the heterogeneity in the plasticity model is essential for accurately capturing the deformation mechanisms.


title: IR2: Information Regularization for Information Retrieval

abstract: Effective information retrieval (IR) in settings with limited training data, particularly for complex queries, remains a challenging task. This paper introduces IR2, Information Regularization for Information Retrieval, a technique for reducing overfitting during synthetic data generation. This approach, representing a novel application of regularization techniques in synthetic data creation for IR, is tested on three recent IR tasks characterized by complex queries: DORIS-MAE, ArguAna, and WhatsThatBook. Experimental results indicate that our regularization techniques not only outperform previous synthetic query generation methods on the tasks considered but also reduce cost by up to 50%. Furthermore, this paper categorizes and explores three regularization methods at different stages of the query synthesis pipeline-input, prompt, and output-each offering varying degrees of performance improvement compared to models where no regularization is applied. This provides a systematic approach for optimizing synthetic data generation in data-limited, complex-query IR scenarios. All code, prompts and synthetic data are available at https://github.com/Info-Regularization/Information-Regularization.


title: Honeybee: Decentralized Peer Sampling with Verifiable Random Walks for Blockchain Data Sharding

abstract: Data sharding - in which block data is sharded without sharding compute - is at the present the favored approach for scaling Ethereum. A key challenge toward implementing data sharding is verifying whether the entirety of a block's data is available in the network (across its shards). A central technique proposed to conduct this verification uses erasure coded blocks and is called data availability sampling (DAS). While the high-level protocol details of DAS has been well discussed in the community, discussions around how such a protocol will be implemented at the peer-to-peer layer are lacking. We identify random sampling of nodes as a fundamental primitive necessary to carry out DAS and present Honeybee, a decentralized algorithm for sampling node that uses verifiable random walks. Honeybee is secure against attacks even in the presence of a large number of Byzantine nodes (e.g., 50% of the network). We evaluate Honeybee through experiments and show that the quality of sampling achieved by Honeybee is significantly better compared to the state-of-the-art. Our proposed algorithm has implications for DAS functions in both full nodes and light nodes.


title: Probing the physics of star formation (ProPStar): I. First resolved maps of the electron fraction and cosmic-ray ionization rate in NGC 1333

abstract: Electron fraction and cosmic-ray ionization rates (CRIR) in star-forming regions are important quantities in astrochemical modeling and are critical to the degree of coupling between neutrals, ions, and electrons, which regulates the dynamics of the magnetic field. However, these are difficult quantities to estimate. We aim to derive the electron fraction and CRIR maps of an active star-forming region. We combined observations of the nearby NGC 1333 star-forming region carried out with the NOEMA interferometer and IRAM 30-m single dish to generate high spatial dynamic range maps of different molecular transitions. We used the DCO$^+$ and H$^{13}$CO$^+$ ratio (in addition to complementary data) to estimate the electron fraction and produce cosmic-ray ionization rate maps. We derived the first large-area electron fraction and CRIR resolved maps in a star-forming region, with typical values of $10^{-6.5}$ and $10^{-16.5}$ s$^{-1}$, respectively. The maps present clear evidence of enhanced values around embedded young stellar objects (YSOs). This provides strong evidence for locally accelerated cosmic rays. We also found a strong enhancement toward the northwest region in the map that might be related either to an interaction with a bubble or to locally generated cosmic rays by YSOs. We used the typical electron fraction and derived a MHD turbulence dissipation scale of 0.054 pc, which could be tested with future observations. We found a higher cosmic-ray ionization rate compared to the canonical value for $N({\rm H_2})=10^{21}-10^{23}$ cm$^{-2}$ of $10^{-17}$ s$^{-1}$ in the region, and it is likely generated by the accreting YSOs. The high value of the electron fraction suggests that new disks will form from gas in the ideal-MHD limit. This indicates that local enhancements of $\zeta({\rm H_2})$, due to YSOs, should be taken into account in the analysis of clustered star formation.


title: Effective Phonon Dispersion and Low field transport in AlxGa1-xN alloys using supercells: An ab-initio approach

abstract: To investigate the transport properties in random alloys, it is important to model the alloy disorder using supercells. Though traditional methods like Virtual Crystal Approximation (VCA) are computationally efficient, the local disorder in the system is not accurately captured as artificial translational symmetry is imposed on the system. However, in the case of supercells, the error introduced by self-image interaction between the impurities is reduced and translational symmetry is explicitly imposed over larger length scales. In this work, we have investigated the Effective Phonon Dispersion (EPD) and transport properties, from first principle calculations using supercells in AlxGa1-xN alloy systems. Using our in-house developed code, the EPD of AlGaN is obtained and the individual modes are identified. Next, we discuss our in-house developed method to calculate low-field transport properties in supercells. First to validate our methods we have solved the Boltzmann Transport Equation using Rode method to compare the phonon limited mobility in the 4 atom GaN primitive cell and 12 atom GaN supercell. Using the same technique, we have investigated the low field transport in random AlxGa1-xN alloy systems. Our calculations show that along with alloy scattering, electron-phonon scattering may also play an important role at room temperature and high-temperature device operation. This technique opens up the path for calculating phonon-limited transport properties in random alloy systems.


title: Transferable Water Potentials Using Equivariant Neural Networks

abstract: Machine learning interatomic potentials (MLIPs) are an emerging modeling technique that promises to provide electronic structure theory accuracy for a fraction of its cost, however, the transferability of MLIPs is a largely unknown factor. Recently, it has been proposed (J. Chem. Phys., 2023, 158, 084111) that MLIPs trained on solely liquid water data cannot describe vapor-liquid equilibrium while recovering the many-body decomposition analysis of gas-phase water clusters, as MLIPs do not directly learn the physically correct interactions of water molecules, limiting transferability. In this work, we show that MLIPs based on an equivariant neural network architecture trained on only 3,200 bulk liquid water structures reproduces liquid-phase water properties (e.g., density within 0.003 g/cm3 between 230 and 365 K), vapor-liquid equilibrium properties up to 550 K, the many-body decomposition analysis of gas-phase water cluster up to six-body interactions, and the relative energy and the vibrational density of states of ice phases. This study highlights that state-of-the-art MLIPs have the potential to develop transferable models for arbitrary phases of water that remain stable in nanosecond-long simulations.


title: Enhanced Graph Pattern Matching

abstract: Pattern matching queries on strings can be solved in linear time by Knuth-Morris-Pratt (KMP) algorithm. In 1973, Weiner introduced the suffix tree of a string [FOCS 1973] and showed that the seemingly more difficult problem of computing matching statistics can also be solved in liner time. Pattern matching queries on graphs are inherently more difficult: under the Orthogonal Vector hypothesis, the graph pattern matching problem cannot be solved in subquadratic time [TALG 2023]. The complexity of graph pattern matching can be parameterized by the topological complexity of the considered graph, which is captured by a parameter $ p $ [JACM 2023]. In this paper, we show that, as in the string setting, computing matching statistics on graph is as difficult as solving standard pattern matching queries. To this end, we introduce a notion of longest common prefix (LCP) array for arbitrary graphs.


title: Exact calculation of degrees for lattice equations: a singularity approach

abstract: The theory of degree growth and algebraic entropy plays a crucial role in the field of discrete integrable systems. However, a general method for calculating degree growth for lattice equations (partial difference equations) is not yet known. Here we propose a new method to rigorously compute the exact degree of each iterate for lattice equations. Our strategy is to extend Halburd's method, which is a novel approach to computing the exact degree of each iterate for mappings (ordinary difference equations) from the singularity structure, to lattice equations. First, we illustrate, without rigorous discussion, how to calculate degrees for lattice equations using the lattice version of Halburd's method and discuss what problems we need to solve to make the method rigorous. We then provide a framework to ensure that all calculations are accurate and rigorous. We also discuss how to detect the singularity structure of a lattice equation. Our method is not only accurate and rigorous but also can easily be applied to a wide range of lattice equations.


title: Poset polytopes and pipe dreams: types C and B

abstract: In types C and B we construct new families of toric degenerations and Newton--Okounkov bodies of flag varieties and also of PBW-monomial bases in irreducible representations. The constructed objects are given by certain poset polytopes which in both types form families interpolating between the respective Gelfand--Tsetlin and FFLV polytopes. In type C these are the MCOPs of Fang and Fourier, in type B we introduce a new family of poset polytopes. Our main definitions and proofs rely on a combinatorial connection between poset polytopes and pipe dreams.


title: New approach method for solving nonlinear differential equations of blood flow with nanoparticle in presence of magnetic field

abstract: In this paper, effect of physical parameters in presence of magnetic field on heat transfer and flow of third grade non-Newtonian Nanofluid in a porous medium with annular cross sectional analytically has been investigated. The viscosity of Nanofluid categorized in 3 model include constant model and variable models with temperature that in variable category Reynolds Model and Vogel's Model has been used to determine the effect of viscosity in flow filed. analytically solution for velocity, temperature, and nanoparticle concentration are developed by Akbari-Ganji's Method (AGM) that has high proximity with numerical solution (Runge-Kutta 4th-order). Physical parameters that used for extract result for non dimensional variables of nonlinear equations are pressure gradient, Brownian motion parameter, thermophoresis parameter, magnetic field intensity and Grashof number. The results show that the increase in the pressure gradient and Thermophoresis parameter and decrease in the Brownian motion parameter cause the rise in the velocity profile. Also the increase in the Grashof number and decrease in MHD parameter cause the rise in the velocity profile. Furthermore, either increase in Thermophoresis or decrease in Brownian motion parameters results in enhancement in nanoparticle concentration. The highest value of velocity is observed when the Vogel's Model is used for viscosity.


title: Cold Beam of $^7$Li$^4$He Dimers

abstract: We demonstrate an approach for producing a high flux beam of $^7$Li$^4$He dimers by performing post-nozzle seeding of a lithium beam into a supersonic helium expansion. The molecular beam has a longitudinal temperature of 13(6) mK and a continuous flux on the order of $10^{11}$ dimers/s. Monte Carlo simulations of molecular formation based on ab-initio quantum scattering calculations are carried out and compared to the experimentally observed molecular flux. Extensions of this work could lead towards a more quantitative understanding of few-body collision processes of alkali and helium atoms.


title: Complexity function of the most significant digits of $2^N^D$

abstract: We investigate unipotent dynamics on a torus and apply it to the following problem. Let $d$ be a positive integer. Consider the sequence of digits $(\textsc{\textbf{w}}_n)$, where $\textsc{\textbf{w}}_n$ is the most digit in the decimal representation of $2^{n^d}$. We prove that the complexity function of the sequence $(\textsc{\textbf{w}}_n)$ is, up to finitely many values, a polynomial.


title: HypoTermQA: Hypothetical Terms Dataset for Benchmarking Hallucination Tendency of LLMs

abstract: Hallucinations pose a significant challenge to the reliability and alignment of Large Language Models (LLMs), limiting their widespread acceptance beyond chatbot applications. Despite ongoing efforts, hallucinations remain a prevalent challenge in LLMs. The detection of hallucinations itself is also a formidable task, frequently requiring manual labeling or constrained evaluations. This paper introduces an automated scalable framework that combines benchmarking LLMs' hallucination tendencies with efficient hallucination detection. We leverage LLMs to generate challenging tasks related to hypothetical phenomena, subsequently employing them as agents for efficient hallucination detection. The framework is domain-agnostic, allowing the use of any language model for benchmark creation or evaluation in any domain. We introduce the publicly available HypoTermQA Benchmarking Dataset, on which state-of-the-art models' performance ranged between 3% and 11%, and evaluator agents demonstrated a 6% error rate in hallucination prediction. The proposed framework provides opportunities to test and improve LLMs. Additionally, it has the potential to generate benchmarking datasets tailored to specific domains, such as law, health, and finance.


title: Photon-counting CT using a Conditional Diffusion Model for Super-resolution and Texture-preservation

abstract: Ultra-high resolution images are desirable in photon counting CT (PCCT), but resolution is physically limited by interactions such as charge sharing. Deep learning is a possible method for super-resolution (SR), but sourcing paired training data that adequately models the target task is difficult. Additionally, SR algorithms can distort noise texture, which is an important in many clinical diagnostic scenarios. Here, we train conditional denoising diffusion probabilistic models (DDPMs) for PCCT super-resolution, with the objective to retain textural characteristics of local noise. PCCT simulation methods are used to synthesize realistic resolution degradation. To preserve noise texture, we explore decoupling the noise and signal image inputs and outputs via deep denoisers, explicitly mapping to each during the SR process. Our experimental results indicate that our DDPM trained on simulated data can improve sharpness in real PCCT images. Additionally, the disentanglement of noise from the original image allows our model more faithfully preserve noise texture.


title: Sparse gradient bounds for divergence form elliptic equations

abstract: We provide sparse estimates for gradients of solutions to divergence form elliptic partial differential equations in terms of the source data. We give a general result of Meyers (or Gehring) type, a result for linear equations with VMO coefficients and a result for linear equations with Dini continuous coefficients. In addition, we provide an abstract theorem conditional on PDE estimates available. The linear results have the full range of weighted estimates with Muckenhoupt weights as a consequence.


title: Products and powers of principal symmetric ideals

abstract: Principal symmetric ideals were recently introduced by Harada, Seceleanu, and Sega, with a focus on their homological properties. They are ideals generated by the orbit of a single polynomial under permutations of variables in a polynomial ring. In this paper we seek to determine when a product of two principal symmetric ideals is principal symmetric and when all the powers of a principal symmetric ideal are again principal symmetric ideals. We characterize the ideals that have the latter property as being generated by polynomials invariant up to a scalar multiple under permutation of variables. Recognizing principal symmetric ideals is an open question for the purpose of which we produce certain obstructions. We also demonstrate that the Hilbert functions of symmetric monomial ideals are not all given by symmetric monomial ideals, in contrast to the non-symmetric case.


title: Branch-depth is minor closure of contraction-deletion-depth

abstract: The notion of branch-depth for matroids was introduced by DeVos, Kwon and Oum as the matroid analogue of the tree-depth of graphs. The contraction-deletion-depth, another tree-depth like parameter of matroids, is the number of recursive steps needed to decompose a matroid by contractions and deletions to single elements. Any matroid with contraction-deletion-depth at most d has branch-depth at most d. However, the two notions are not functionally equivalent as contraction-deletion-depth of matroids with branch-depth two can be arbitrarily large. We show that the two notions are functionally equivalent for representable matroids when minor closures are considered. Namely, an F-representable matroid has small branch-depth if and only if it is a minor of an F-representable matroid with small contraction-deletion-depth. This implies that any class of F-representable matroids has bounded branch-depth if and only if it is a subclass of the minor closure of a class of F-representable matroids with bounded contraction-deletion-depth.


title: System size scaling of triangularity effects on global temperature gradient-driven gyrokinetic simulations

abstract: In this work, we explore the triangularity effects on turbulent transport employing global gyrokinetic simulations performed with the ORB5 code. Numerous experiments on the Tokamak \`a Configuration Variable (TCV) and, more recently, on the DIII-D machine, have demonstrated superior confinement properties in L-mode of negative triangularity (NT) over positive triangularity (PT) configuration. This presents a particularly attractive scenario, as L-mode operation eliminates or significantly mitigates the presence of hazardous edge-localized modes (ELMs). However, a full theoretical understanding of all these observations remains elusive. Specifically, questions remain about how NT improvements can extend to the core where triangularity is very small, and whether these improvements can scale to larger devices. This paper addresses these two questions. Our analysis is divided into two parts: we first demonstrate that the confinement enhancement in NT configurations arises from the interdependent edge-core dynamics, and then we present the results of a system size scan. Crucially, we find that the relative turbulent transport reduction of NT over PT appears not to be contingent on machine dimensions or fluctuation scales and is moreover robust with respect to variations in plasma profiles. This insight underscores the fundamental nature of the NT confinement advantage and paves the way for its potential application in future fusion devices, regardless of their size.


title: Sparse-Stochastic Fragmented Exchange for Large-Scale Hybrid TDDFT Calculations

abstract: We extend our recently developed sparse-stochastic fragmented exchange formalism for ground-state hybrid DFT (ngH-DFT) to calculate absorption spectra within linear-response time-dependent Generalized Kohn-Sham DFT (LR-GKS-TDDFT), for systems consisting of thousands of valence electrons within a grid-based/plane-wave representation. A mixed deterministic/fragmented-stochastic compression of the exchange kernel, here using long-range explicit exchange functionals, provides an efficient method for accurate optical spectra. Both real-time propagation as well frequency-resolved Casida-equation-type approaches for spectra are presented, and the method is applied to large molecular dyes.


title: Relativistic Alfv\'en turbulence at kinetic scales

abstract: In a strongly magnetized, magnetically dominated relativistic plasma, Alfv\'enic turbulence can extend to scales much smaller than the particle inertial scales. It leads to an energy cascade somewhat analogous to inertial- or kinetic-Alfv\'en turbulent cascades existing in non-relativistic space and astrophysical plasmas. Based on phenomenological modeling and particle-in-cell numerical simulations, we propose that the energy spectrum of such relativistic kinetic-scale Alfv\'enic turbulence is close to $k^{-3}$ or slightly steeper than that due to intermittency corrections or Landau damping. We note the analogy of this spectrum with the Kraichnan spectrum corresponding to the enstrophy cascade in 2D incompressible fluid turbulence. Such turbulence strongly energizes particles in the direction parallel to the background magnetic field, leading to nearly one-dimensional particle momentum distributions. We find that these distributions have universal log-normal statistics.


title: Charge orders with distinct magnetic response in a prototypical kagome superconductor LaRu$_{3}$Si$_{2}$

abstract: The kagome lattice has emerged as a promising platform for hosting unconventional chiral charge order at high temperatures. Notably, in LaRu$_{3}$Si$_{2}$, a room-temperature charge-ordered state with a propagation vector of ($\frac{1}{4}$,~0,~0) has been recently identified. However, understanding the interplay between this charge order and superconductivity, particularly with respect to time-reversal-symmetry breaking, remains elusive. In this study, we employ single crystal X-ray diffraction, magnetotransport, and muon-spin rotation experiments to investigate the charge order and its electronic and magnetic responses in LaRu$_{3}$Si$_{2}$ across a wide temperature range down to the superconducting state. Our findings reveal the emergence of a charge order with a propagation vector of ($\frac{1}{6}$,~0,~0) below $T_{\rm CO,2}$ ${\simeq}$ 80 K, coexisting with the previously identified room-temperature primary charge order ($\frac{1}{4}$,~0,~0). The primary charge-ordered state exhibits zero magnetoresistance. In contrast, the appearance of the secondary charge order at $T_{\rm CO,2}$ is accompanied by a notable magnetoresistance response and a pronounced temperature-dependent Hall effect, which experiences a sign reversal, switching from positive to negative below $T^{*}$ ${\simeq}$ 35 K. Intriguingly, we observe an enhancement in the internal field width sensed by the muon ensemble below $T^{*}$ ${\simeq}$ 35 K. Moreover, the muon spin relaxation rate exhibits a substantial increase upon the application of an external magnetic field below $T_{\rm CO,2}$ ${\simeq}$ 80 K. Our results highlight the coexistence of two distinct types of charge order in LaRu$_{3}$Si$_{2}$ within the correlated kagome lattice, namely a non-magnetic charge order ($\frac{1}{4}$,~0,~0) below $T_{\rm co,1}$ ${\simeq}$ 400 K and a time-reversal-symmetry-breaking charge order below $T_{\rm CO,2}$.


title: Universal quantum operations and ancilla-based readout for tweezer clocks

abstract: Enhancing the precision of measurements by harnessing entanglement is a long-sought goal in the field of quantum metrology. Yet attaining the best sensitivity allowed by quantum theory in the presence of noise is an outstanding challenge, requiring optimal probe-state generation and readout strategies. Neutral atom optical clocks, leading systems for measuring time, have shown recent progress in terms of entanglement generation, but currently lack the control capabilities to realize such schemes. Here we show universal quantum operations and ancilla-based readout for ultranarrow optical transitions of neutral atoms. Our demonstration in a tweezer clock platform enables a circuit-based approach to quantum metrology with neutral atom optical clocks. To this end, we demonstrate two-qubit entangling gates with >99.35% fidelity via Rydberg interactions and dynamical connectivity for optical clock qubits, which we combine with local addressing to implement universally programmable quantum circuits. Using this approach, we generate a near-optimal entangled probe state, a cascade of Greenberger-Horne-Zeilinger (GHZ) states of different sizes, and perform dual-quadrature GHZ readout. We also show repeated fast phase detection with non-destructive conditional reset of clock qubits and minimal dead time between repetitions by implementing ancilla-based quantum logic spectroscopy (QLS) for neutral atoms. Finally, we extend this to multi-qubit parity checks and measurement-based Bell state preparation. Our work lays the foundation for hybrid processor-clock devices with neutral atoms and more generally points to a future of practical applications for quantum processors linked with quantum sensors.


title: Integrating Preprocessing Methods and Convolutional Neural Networks for Effective Tumor Detection in Medical Imaging

abstract: This research presents a machine-learning approach for tumor detection in medical images using convolutional neural networks (CNNs). The study focuses on preprocessing techniques to enhance image features relevant to tumor detection, followed by developing and training a CNN model for accurate classification. Various image processing techniques, including Gaussian smoothing, bilateral filtering, and K-means clustering, are employed to preprocess the input images and highlight tumor regions. The CNN model is trained and evaluated on a dataset of medical images, with augmentation and data generators utilized to enhance model generalization. Experimental results demonstrate the effectiveness of the proposed approach in accurately detecting tumors in medical images, paving the way for improved diagnostic tools in healthcare.


title: Orbital Stability of Soliton for the Derivative Nonlinear Schr\"odinger Equation in the $L^2$ Space

abstract: In this paper, we establish the orbital stability of the 1-soliton solution for the derivative nonlinear Schr\"odinger equation under perturbations in $L^2(\mathbb{R})$. We demonstrate this stability by utilizing the B\"acklund transformation associated with the Lax pair and by applying the first conservation quantity in $L^2(\mathbb{R}).$


title: Rigid-flexible values for symplectic embeddings of four-dimensional ellipsoids into almost-cubes

abstract: We consider the embedding function $c_b(a)$ describing the problem of symplectically embedding an ellipsoid $E(1,a)$ into the smallest possible scaling by $\lambda>1$ of the polydisc $P(1,b)$. In particular, we calculate rigid-flexible values, i.e. the minimum $a$ such that for $E(1,a')$ with $a'>a$, the embedding problem is determined only by volume. For $1<b<2$ we find that these values vary piecewise smoothly outside a discrete set of discontinuities at $b\in\left(\frac{n+1}{n}\right)^2$.