title: A (1.999999)-approximation ratio for vertex cover problem

abstract: Until the authenticity of the unique games conjecture is proven, it can be thought to be false. Therefore, I request you, dear reader, to read this paper carefully, and if you don't find any mistake in it, think about the option that maybe unique games conjecture is not correct! If the unique games conjecture is true then it is impossible to produce a less than 2 approximation ratio for the vertex cover problem. Vertex cover problem is a famous combinatorial problem, which its complexity has been heavily studied over the years and while a 2-approximation for it can be trivially obtained, researchers have not been able to approximate it better than 2-o(1). In this paper, by a combination of a new semidefinite programming formulation along with satisfying new proposed properties, we introduce an approximation algorithm for the vertex cover problem with a performance ratio of 1.999999 on arbitrary graphs, en route to answering an open question about the unique games conjecture.


title: On Monadic Vector-Valued Integration

abstract: In recent times, there has been a growing interest in a structuralist understanding of probability, measure and integration theory. The present thesis contributes to this programme in three ways. First, we construct a commutative probability monad on the cartesian closed category of hk-spaces (also known as CGWH spaces, or weak Hausdorff k-spaces in the literature). Secondly, in order to achieve this in a seamless way, we develop the theory of paired linear hk-spaces, a functional-analytic category tailored to the duality between measures and functionals. Finally, vector-valued integration emerges naturally from the free-forgetful adjunction between paired linear hk-spaces and hk-spaces, inducing a commutative monad of compactly supported measures and leading to a theory of monadic vector-valued integration.


title: Drude's lesser known error of a factor of two and Lorentz's correction

abstract: As is well known, Paul Drude put forward the very first quantitative theory of electrical conduction in metals in 1900. He could successfully account for the Wiedemann-Franz law which states that the ratio of thermal to electrical conductivity divided by temperature is a constant called the Lorenz number. As it turns out, in Drude's derivation, there is a lucky cancellation of two errors. Drude's under-estimate (by an order of 100) of the value of square of the average electron velocity compensated his over-estimate of the electronic heat capacity (by the same order of 100). This compensation or cancellation of two errors lead to a value of the Lorenz number very close to its experimental value. This is well known. There is another error of a factor of two which Drude made when he calculated two different relaxation times for heat conductivity and electrical conductivity. In this article we highlight how and why this error occurred in Drude's derivation and how it was removed 5 years later (that is in 1905) by Hendrik Lorentz when he used the Boltzmann equation and a single relaxation time. This article is of pedagogical value and may be useful to undergraduate/graduate students learning solid state physics.


title: Corrigendum of "Construction of Kuranishi structures on the moduli spaces of pseudo holomorphic disks I, Surveys in Differential Geometry XXII (2018), 133-190"

abstract: This is a corrigendum of Lemma 9.1 of the paper [FOOO3] in the title. This lemma is not correct as pointed out by A. Daemi and a referee of the paper [DF]. The corrigendum does not affect the applications of this lemma in [FOOO3] and other papers and exactly the same proofs as therein apply if one replaces the statement of [FOOO3,Lemma 9.1] by Lemma 2 of the present note.


title: Simple formulas of \pi\ in terms of \phi

abstract: A re-calculation of a known family of formulas of PI is carried out, revisiting the old Archimedes' algorithm. This allows to identify a general family equation and three new simple formulas of Pi in terms of the golden ratio PHI in the form of infinite nested square roots, with some geometrical properties that enhance the link between the circle and the golden ratio. Applying the same criteria, a fourth formula is given, that brings to the known Dixon's squaring the circle approximation, thus an easier approach to this problem is suggested, by a rectangle with both sides proportional to the golden ratio PHI.


title: A necessary condition for $2p$ to be congruent for a prime $p \equiv 5 \pmod 8$

abstract: In this article, we consider primes $p \equiv 5 \pmod 8$ and are able to prove that $p \equiv 5 \pmod {16}$ if $2p$ is a congruent number.


title: Reverse Degree-Based Topological Indices and QSPR Analysis of Cancer Drugs

abstract: A topological index of a graph $G$ is a numerical quantity that describes its topology. Reverse degree-based topological indices play an important role in finding topological descriptors. Azacitidine, Decitabine, and Guadecitabine are hypomethylating agents which are used for the treatment of patients with higher-risk myelodysplastic syndromes, acute myeloid leukemia, and chronic myelomonocytic leukemia which are not suitable for in-depth treatments such as induction chemotherapy. In this article, some reverse degree-based topological indices of the three said drugs are computed. Furthermore, QSPR analysis of the said topological indices is discussed and it is shown that these topological indices are highly correlated with the physical properties of the three cancer drugs. These findings may help chemists and people working in the pharmaceutical industry to predict the properties of cancer drugs without experimenting.


title: Weighted low-lying zeros of L-functions attached to Siegel modular forms

abstract: In this paper, we study weighted low-lying zeros of spinor and standard $L$-functions attached to degree 2 Siegel modular forms. We show the symmetry type of weighted low-lying zeros of spinor $L$-functions is symplectic, for test functions whose Fourier transform have support in $(-1,1)$, extending the previous range $(-\frac{4}{15},\frac{4}{15})$ by E. Kowalski, A. Saha and J. Tsimerman . We then show the symmetry type of weighted low-lying zeros of standard $L$-functions is also symplectic. We further extend the range of support by performing an average over weight. As an application, we discuss non-vanishing of central values of those $L$-functions.


title: Non-Euclidean Cross-Ratios and Carnot's Theorem for Conics

abstract: When considering geometry, one might think of working with lines and circles on a flat plane as in Euclidean geometry. However, doing geometry in other spaces is possible, as the existence of spherical and hyperbolic geometry demonstrates. Despite the differences between these three geometries, striking connections appear among the three. In this paper, we illuminate one such connection by generalizing the cross-ratio, a powerful invariant associating a number to four points on a line, into non-Euclidean geometry. Along the way, we see how projections between these geometries can allow us to directly export results from one geometry into the others. The paper culminates by generalizing Carnot's Theorem for Conics - a classical result relating when six points on a triangle lie on a conic - into spherical and hyperbolic geometry. These same techniques are then applied to Carnot's Theorem for higher degree curves.


title: Metacategory and Geometric Algebras

abstract: In Categorial Topology, given a category (as a "geometric object") we can consider its properties preserved under continuous action (a "deformation") of a comma-propagation operation. However, the Metacategory space, valid for all categories, can not be defined by using well-know Grothendeick's approach with discrete ringed spaces. So, we can consider any category as an abstract geometric object, that is, a discrete space where the points are the objects of this category and arrows between objects as the paths. Based on this approach, we define the Cat-vector space V valid for all categories with noncommutative (and partial) addition operation for the vectors, and their inner product. For the categories wher4e we define the norm ("length") of the vectors in V we can define also the outer (wedge) product of the vectors in V and we show that such Cat-algebra satisfies two fundamental properties of the Clifford geometric algebra.


title: Main topics of the NumHyp-2015' discussion session

abstract: Three main topics were raised in this discussion session, which took place on the 19th of June at the NumHyp-2015 meeting: nonlinear resonance for 1D systems of balance laws, dispersive extensions of standard hyperbolic conservation laws, and the validation of weakly dispersive shallow water wave models. An introductory overview with many bibliographic references is provided for all these topics. Based on kinetic formulation, a numerical strategy that can overcome resonance issues is presented, and a well-balanced (WB) technique for Vlasov-Fokker-Planck equations is outlined. This WB scheme relies on the spectral representation of stationary solutions.

categories: math.HO math-ph math.AP math.MP physics.flu-dyn


title: Analogue of the Cauchy-Schwarz inequality for determinants: a simple proof

abstract: In this note, we present a simple proof of an analogue of the Cauchy-Schwarz inequality relevant to products of determinants. Specifically, we show that $$ |\det(A^*MB)|^2\leq \det(A^*MA)\cdot \det(B^*MB),\quad A,B\in \mathbb{C}^{m\times n},$$ where $M\in\mathbb{C}^{m\times m}$ is hermitian positive definite. Here $m$ and $n$ are arbitrary. In case $m\leq n$, equality holds trivially. Equality holds when $m>n$ and $\text{rank}(A)=\text{rank}(B)=n$ if and only if the columns of $A$ and the columns of $B$ span the same subspace of $\mathbb{C}^m$.


title: Criteria for a split real polynomial

abstract: In this article, we establish necessary and sufficient conditions for a polynomial of degree $n$ to have exactly $n$ real roots. A complete study of polynomials of degree five is carried out. The results are compared with those obtained using Sturm sequences.


title: Jordan-Type Inequalities and Stratification

abstract: In this paper, two double Jordan-type inequalities are introduced that generalize some previously established inequalities. As a result, some new upper and lower bounds and approximations of the sinc function are obtained. This extension of Jordan's inequality is enabled by considering the corresponding inequalities through the concept of stratified families of functions. Based on this approach, some optimal approximations of the sinc function are derived by determining the corresponding minimax approximants.


title: The diophantine equation $x^4+y^4=z^4+w^4$

abstract: Since 1772, when Euler first described two methods of obtaining two pairs of biquadrates with equal sums, several methods of solving the diophantine equation $x^4+y^4=z^4+w^4$ have been published. All these methods yield parametric solutions in terms of homogeneous bivariate polynomials of odd degrees. In this paper we describe a method that yields three parametric solutions of the aforesaid diophantine equation in terms of homogeneous bivariate polynomials of even degrees, namely degrees~$74$, $88$ and $132$ respectively.


title: Classification of quasi-affine Generalized Dynkin Diagrams with Rank $> 5$

abstract: All quasi-affine connected Generalized Dynkin Diagrams with rank $> 5$ are found. All quasi-affine Nichols (Lie braided) algebras with rank $> 5$ are also found.


title: On smooth gaps between primes using the Maynard-Tao sieve

abstract: In 1999, Balog, Br\"udern, and Wooley (1999) showed there are infinitely many prime gaps $p-q$ that are $(\log p)^{\frac{3}{4}}$-smooth, and infinitely many consecutive prime gaps that are $(\log p)^\frac{7}{8}$-smooth. Advancements made since then by Zhang (2014), Maynard (2014), and Polymath8b (2014) towards resolving the twin prime conjecture have given us the tools to lower the bounds made by Balog, Br\"udern, and Wooley to 47. Moreover, we can show there are infinitely many $m$-tuples of primes whose gaps are all $y_m$-smooth for a calculable prime $y_m$.


title: Abstract non-scalar Volterra difference equations

abstract: In this paper, we investigate the abstract non-scalar Volterra difference equations. We employ the Poisson like transforms to connect the solutions of the abstract non-scalar Volterra integro-differential equations and the abstract non-scalar Volterra difference equations. We also investigate the existence, uniqueness and almost periodicity of solutions to the abstract multi-term fractional difference equations with Weyl fractional derivatives.


title: Legendre Conjecture over Arithmetic Progressions

abstract: Let $1\leq a<q$ be a pair of small integers such that $\gcd(a,q)=1$ and let $x>1$ be a large number. This note discusses the existence of a short sequence of primes $p\equiv a\bmod q$ between two squares $x^2$ and $(x+1)^2$.


title: Symbolic Dynamic Formulation for the Collatz Conjecture: I. Local and Quasi-global Behavior

abstract: In this work, a symbolic dynamical formulation based upon discrete iterative mappings derived from the Collatz conjecture is introduced. It is demonstrated that this formulation naturally induces a ternary alphabet useful for characterizing the expansive and dissipative behavior of generated itineraries. Furthermore, local and quasi-global analyses indicate cyclic behaviors that should prove useful for describing global stability properties of itineraries. Additionally, techniques for generating arbitrarily long divergent itineraries are presented. Finally, this symbolic formulation allows itineraries to be grouped into sequence families that retain equivalent dynamical behavior.


title: Clusters, toric ranks, and 2-ranks of hyperelliptic curves in the wild case

abstract: Given a Galois cover $Y \to X$ of smooth projective geometrically connected curves over a complete discrete valuation field $K$ with algebraically closed residue field, we define a semistable model of $Y$ over the ring of integers of a finite extension of $K$ which we call the \emph{relatively stable model} $\mathcal{Y}^{\mathrm{rst}}$ of $Y$, and we discuss its properties, eventually focusing on the case when $Y : y^2 = f(x)$ is a hyperelliptic curve viewed as a degree-$2$ cover of the projective line $X := \mathbb{P}_K^1$. Over residue characteristic different from $2$, it follows from known results that the toric rank (i.e.\ the number of loops in the graph of components) of the special fiber of $\mathcal{Y}^{\mathrm{rst}}$ can be computed directly from the knowledge of the even-cardinality clusters of roots of the defining polynomial $f$. We instead consider the "wild" case of residue characteristic $2$ and demonstrate an analog to this result, showing that each even-cardinality cluster of roots of $f$ gives rise to a loop in the graph of components of the special fiber of $\mathcal{Y}^{\mathrm{rst}}$ if and only if the depth of the cluster exceeds some threshold, and we provide a computational description of and bounds for that threshold. As a bonus, our framework also allows us to provide a formula for the $2$-rank of the special fiber of $\mathcal{Y}^{\mathrm{rst}}$.


title: General convolution sums involving Fibonacci m-step numbers

abstract: In this paper, using a generating function approach, we derive several new convolution sum identities involving Fibonacci m-step numbers. As special instances of the results derived herein, we will get many new and known results involving Fibonacci, Tribonacci, Tetranacci and Pentanacci numbers. In addition, we establish some general results providing insights into the inner structure of such convolutions. Finally, some mixed convolutions involving Fibonacci m-step numbers and Jacobsthal and Pell numbers will be stated.


title: Common Fixed Point of the Commutative F-contraction Self-mappings with uniquely bounded sequence

abstract: We establish the existence of a common fixed point for mappings that satisfy and extend the F-contraction condition. To support our findings, we present pertinent definitions and properties associated with F-contraction mappings. Additionally, we establish an analogue to the Banach contraction theorem. Our results contribute to the broader understanding of this field by extending and generalizing existing findings in the literature.


title: Riemann Integration in the Euclidean Space

abstract: The so-called Riemann sums have their origin in the efforts of Greek mathematicians to find the center of gravity or the volume of a solid body. These researches led to the method of exhaustion, discovered by Archimedes and described using modern ideas by MacLaurin in his \textit{Treatise of Fluxions} in 1742. At this times the sums were only a practical method for computing an area under a curve, and the existence of this area was considered geometrically obvious. The method of exhaustion consists in almost covering the space enclosed by the curve with $n$ geometric objects with well-known areas such as rectangles or triangles, and finding the limit (though this topic was very blurry at these early times) when $n$ increases. One of its most remarkable application is squaring the area $\mathcal{A}$ enclosed by a parabola and a line.


title: Monitoring Wandering Behavior of Persons Suffering from Dementia Using BLE Based Localization System

abstract: With the aging of our populations, dementia will become a problem which would directly or indirectly affect a large number of people. One of the most dangerous dementia symptoms is wandering. It consists in aimless walking and spatial disorientation, which might lead to various unpleasant situations like falling down accidents at home to leaving the living place and going missing. Therefore, in order to ensure elderly people's safety it is crucial to detect and alarm the caregivers in case of such incidents. It can be done by tracking the sufferers movements and detecting signs of repetitiveness. The paper presents the results of the study, in which the wandering behavior of people suffering from dementia was monitored using a Bluetooth Low Energy based positioning system. The paper includes the description of the system used for patients localization and the results of the tests performed in a long term care facility.


title: Improving BLE Based Localization Accuracy Using Proximity Sensors

abstract: Bluetooth Low Energy systems are one of the most popular solutions used for indoor localization. Unfortunately their accuracy might not be sufficient for some of the applications. One way to reduce localization errors is hybrid positioning, which combines measurement results obtained with different techniques. The paper describes a concept of a hybrid localization system in which Bluetooth Low Energy technology is supported with the use of laser proximity sensors. Results from both system parts are fused using a novel, simple positioning algorithm. The proposed system concept was tested using BLE and proximity sensors evaluation boards.


title: First path component power based NLOS mitigation in UWB positioning system

abstract: The paper describes an NLOS (Non-Line-of-Sight) mitigation method intended for use in a UWB positioning system. In the proposed method propagation conditions between the localized objects and the anchors forming system infrastructure are classified into one of three categories: LOS (Line-of-Sight), NLOS and severe NLOS. Non-Line-of-Sight detection is conducted based on first path signal component power measurements. For each of the categories, average NLOS inducted time of arrival bias and bias standard deviation have been estimated based on results gathered during a measurement campaign conducted in a fully furnished apartment. To locate a tag, an EKF (Extended Kalman Filter) based algorithm is used. The proposed method of NLOS mitigation consists in correcting measurement results obtained in NLOS conditions and lowering their significance in a tag position estimation process. The paper includes the description of the method and the results of the conducted experiments.


title: The Problem of Split Equality Fixed-Point and its Applications

abstract: It is generally known that in order to solve the split equality fixed-point problem (SEFPP), it is necessary to compute the norm of bounded and linear operators, which is a challenging task in real life, to address this issue, we studied the SEFPP involving the class of quasi-pseudocontractive mappings in Hilbert spaces and constructed novel algorithms in this regards, and we proved the algorithms' convergence both with and without prior knowledge of the operator norm for bounded and linear mappings. Additionally, we gave applications and numerical examples of our findings. A variety of well-known discoveries revealed in the literature are generalized by the findings presented in this work.


title: AttentionStore: Cost-effective Attention Reuse across Multi-turn Conversations in Large Language Model Serving

abstract: Interacting with humans through multi-turn conversations is a fundamental feature of large language models (LLMs). However, existing LLM serving engines for executing multi-turn conversations are inefficient due to the need to repeatedly compute the key-value (KV) caches of historical tokens, incurring high serving costs. To address the problem, this paper proposes AttentionStore, a new attention mechanism that enables the reuse of KV caches (i.e., attention reuse) across multi-turn conversations, significantly reducing the repetitive computation overheads. AttentionStore maintains a hierarchical KV caching system that leverages cost-effective memory/storage mediums to save KV caches for all requests. To reduce KV cache access overheads from slow mediums, AttentionStore employs layer-wise pre-loading and asynchronous saving schemes to overlap the KV cache access with the GPU computation. To ensure that the KV caches to be accessed are placed in the fastest hierarchy, AttentionStore employs scheduler-aware fetching and eviction schemes to consciously place the KV caches in different layers based on the hints from the inference job scheduler. To avoid the invalidation of the saved KV caches incurred by context window overflow, AttentionStore enables the saved KV caches to remain valid via decoupling the positional encoding and effectively truncating the KV caches. Extensive experimental results demonstrate that AttentionStore significantly decreases the time to the first token (TTFT) by up to 87%, improves the prompt prefilling throughput by 7.8$\times$ for multi-turn conversations, and reduces the end-to-end inference cost by up to 70%. For long sequence inference, AttentionStore reduces the TTFT by up to 95% and improves the prompt prefilling throughput by 22$\times$.


title: Hierarchical Recurrent Adapters for Efficient Multi-Task Adaptation of Large Speech Models

abstract: Parameter efficient adaptation methods have become a key mechanism to train large pre-trained models for downstream tasks. However, their per-task parameter overhead is considered still high when the number of downstream tasks to adapt for is large. We introduce an adapter module that has a better efficiency in large scale multi-task adaptation scenario. Our adapter is hierarchical in terms of how the adapter parameters are allocated. The adapter consists of a single shared controller network and multiple task-level adapter heads to reduce the per-task parameter overhead without performance regression on downstream tasks. The adapter is also recurrent so the entire adapter parameters are reused across different layers of the pre-trained model. Our Hierarchical Recurrent Adapter (HRA) outperforms the previous adapter-based approaches as well as full model fine-tuning baseline in both single and multi-task adaptation settings when evaluated on automatic speech recognition tasks.


title: STRUM-LLM: Attributed and Structured Contrastive Summarization

abstract: Users often struggle with decision-making between two options (A vs B), as it usually requires time-consuming research across multiple web pages. We propose STRUM-LLM that addresses this challenge by generating attributed, structured, and helpful contrastive summaries that highlight key differences between the two options. STRUM-LLM identifies helpful contrast: the specific attributes along which the two options differ significantly and which are most likely to influence the user's decision. Our technique is domain-agnostic, and does not require any human-labeled data or fixed attribute list as supervision. STRUM-LLM attributes all extractions back to the input sources along with textual evidence, and it does not have a limit on the length of input sources that it can process. STRUM-LLM Distilled has 100x more throughput than the models with comparable performance while being 10x smaller. In this paper, we provide extensive evaluations for our method and lay out future directions for our currently deployed system.


title: Modularity of higher theta series II: Chow group of the generic fiber

abstract: Higher theta series on moduli spaces of Hermitian shtukas were constructed by Feng--Yun--Zhang and conjectured to be modular, parallel to classical conjectures in the Kudla program. In this paper we prove the modularity of higher theta series after restriction to the generic locus. The proof is an upgrade, using motivic homotopy theory, of earlier work of Feng--Yun--Zhang which established generic modularity of $\ell$-adic realizations. In the process, we develop some general tools of broader utility. One such is the "motivic sheaf-cycle correspondence", a categorical trace formalism for extracting computations in the Chow group from computations in Voevodsky's derived category of motives. Another new tool is the "derived homogeneous Fourier transform", which we use to implement a form of Fourier analysis for motives.


title: Second and Third order differential subordination for exponential function

abstract: This article presents several findings regarding second and third-order differential subordination of the form: $$ p(z)+\gamma_1 zp'(z)+\gamma_2 z^2p''(z)\prec h(z)\implies p(z)\prec e^z $$ and $$ p(z)+\gamma_1 zp'(z)+\gamma_2 z^2p''(z)+\gamma_3 z^3p'''(z)\prec h(z)\implies p(z)\prec e^z. $$ Here, $\gamma_1$, $\gamma_2$, and $\gamma_3$ represent positive real numbers, and various selections of $h(z)$ are explored within the context of the class $\mathcal{S}^{*}_{e} := \{f \in \mathcal{A} : zf'(z)/f(z) \prec e^z\}$, which denotes the class of starlike functions associated with the exponential function.


title: NJUST-KMG at TRAC-2024 Tasks 1 and 2: Offline Harm Potential Identification

abstract: This report provide a detailed description of the method that we proposed in the TRAC-2024 Offline Harm Potential dentification which encloses two sub-tasks. The investigation utilized a rich dataset comprised of social media comments in several Indian languages, annotated with precision by expert judges to capture the nuanced implications for offline context harm. The objective assigned to the participants was to design algorithms capable of accurately assessing the likelihood of harm in given situations and identifying the most likely target(s) of offline harm. Our approach ranked second in two separate tracks, with F1 values of 0.73 and 0.96 respectively. Our method principally involved selecting pretrained models for finetuning, incorporating contrastive learning techniques, and culminating in an ensemble approach for the test set.


title: Swan-Tate cohomology of meromorphic circle actions

abstract: We propose a toy model for symmetry-breaking or bubbling, in terms of cobordism of manifolds with circle actions free on a possible boundary.


title: Equivariant toric geometry and Euler-Maclaurin formulae -- an overview

abstract: We survey recent developments in the study of torus equivariant motivic Chern and Hirzebruch characteristic classes of projective toric varieties, with applications to calculating equivariant Hirzebruch genera of torus-invariant Cartier divisors in terms of torus characters, as well as to general Euler-Maclaurin type formulae for full-dimensional simple lattice polytopes. We present recent results by the authors, emphasizing the main ideas and some key examples. This includes global formulae for equivariant Hirzebruch classes in the simplicial context proved by localization at the torus fixed points, a weighted versions of a classical formula of Brion, as well as of the Molien formula of Brion-Vergne. Our Euler-Maclaurin type formulae provide generalizations to arbitrary coherent sheaf coefficients of the Euler-Maclaurin formulae of Cappell-Shaneson, Brion-Vergne, Guillemin, etc., via the equivariant Hirzebruch-Riemann-Roch formalism. Our approach, based on motivic characteristic classes, allows us, e.g., to obtain such Euler-Maclaurin formulae also for (the interior of) a face. We obtain such results also in the weighted context, and for Minkovski summands of the given full-dimensional lattice polytope.


title: Capability-aware Prompt Reformulation Learning for Text-to-Image Generation

abstract: Text-to-image generation systems have emerged as revolutionary tools in the realm of artistic creation, offering unprecedented ease in transforming textual prompts into visual art. However, the efficacy of these systems is intricately linked to the quality of user-provided prompts, which often poses a challenge to users unfamiliar with prompt crafting. This paper addresses this challenge by leveraging user reformulation data from interaction logs to develop an automatic prompt reformulation model. Our in-depth analysis of these logs reveals that user prompt reformulation is heavily dependent on the individual user's capability, resulting in significant variance in the quality of reformulation pairs. To effectively use this data for training, we introduce the Capability-aware Prompt Reformulation (CAPR) framework. CAPR innovatively integrates user capability into the reformulation process through two key components: the Conditional Reformulation Model (CRM) and Configurable Capability Features (CCF). CRM reformulates prompts according to a specified user capability, as represented by CCF. The CCF, in turn, offers the flexibility to tune and guide the CRM's behavior. This enables CAPR to effectively learn diverse reformulation strategies across various user capacities and to simulate high-capability user reformulation during inference. Extensive experiments on standard text-to-image generation benchmarks showcase CAPR's superior performance over existing baselines and its remarkable robustness on unseen systems. Furthermore, comprehensive analyses validate the effectiveness of different components. CAPR can facilitate user-friendly interaction with text-to-image systems and make advanced artistic creation more achievable for a broader range of users.


title: A Picture is Worth 500 Labels: A Case Study of Demographic Disparities in Local Machine Learning Models for Instagram and TikTok

abstract: Mobile apps have embraced user privacy by moving their data processing to the user's smartphone. Advanced machine learning (ML) models, such as vision models, can now locally analyze user images to extract insights that drive several functionalities. Capitalizing on this new processing model of locally analyzing user images, we analyze two popular social media apps, TikTok and Instagram, to reveal (1) what insights vision models in both apps infer about users from their image and video data and (2) whether these models exhibit performance disparities with respect to demographics. As vision models provide signals for sensitive technologies like age verification and facial recognition, understanding potential biases in these models is crucial for ensuring that users receive equitable and accurate services. We develop a novel method for capturing and evaluating ML tasks in mobile apps, overcoming challenges like code obfuscation, native code execution, and scalability. Our method comprises ML task detection, ML pipeline reconstruction, and ML performance assessment, specifically focusing on demographic disparities. We apply our methodology to TikTok and Instagram, revealing significant insights. For TikTok, we find issues in age and gender prediction accuracy, particularly for minors and Black individuals. In Instagram, our analysis uncovers demographic disparities in the extraction of over 500 visual concepts from images, with evidence of spurious correlations between demographic features and certain concepts.


title: A Python library for efficient computation of molecular fingerprints

abstract: Machine learning solutions are very popular in the field of chemoinformatics, where they have numerous applications, such as novel drug discovery or molecular property prediction. Molecular fingerprints are algorithms commonly used for vectorizing chemical molecules as a part of preprocessing in this kind of solution. However, despite their popularity, there are no libraries that implement them efficiently for large datasets, utilizing modern, multicore architectures. On top of that, most of them do not provide the user with an intuitive interface, or one that would be compatible with other machine learning tools. In this project, we created a Python library that computes molecular fingerprints efficiently and delivers an interface that is comprehensive and enables the user to easily incorporate the library into their existing machine learning workflow. The library enables the user to perform computation on large datasets using parallelism. Because of that, it is possible to perform such tasks as hyperparameter tuning in a reasonable time. We describe tools used in implementation of the library and asses its time performance on example benchmark datasets. Additionally, we show that using molecular fingerprints we can achieve results comparable to state-of-the-art ML solutions even with very simple models.


title: H\"offding's Kernels and Periodic Covariance Representations

abstract: We start with a brief survey on H\"offding's kernels, its properties, related spectral decompositions, and discuss marginal distributions of H\"offding measures. In the second part of this note, one-dimensional covariance representations are considered over compactly supported probability distributions in the class of periodic smooth functions. H\"offding's kernels are used in the construction of mixing measures whose marginals are multiples of given probability distributions, leading to optimal kernels in periodic covariance representations.


title: Meta-Learning with Generalized Ridge Regression: High-dimensional Asymptotics, Optimality and Hyper-covariance Estimation

abstract: Meta-learning involves training models on a variety of training tasks in a way that enables them to generalize well on new, unseen test tasks. In this work, we consider meta-learning within the framework of high-dimensional multivariate random-effects linear models and study generalized ridge-regression based predictions. The statistical intuition of using generalized ridge regression in this setting is that the covariance structure of the random regression coefficients could be leveraged to make better predictions on new tasks. Accordingly, we first characterize the precise asymptotic behavior of the predictive risk for a new test task when the data dimension grows proportionally to the number of samples per task. We next show that this predictive risk is optimal when the weight matrix in generalized ridge regression is chosen to be the inverse of the covariance matrix of random coefficients. Finally, we propose and analyze an estimator of the inverse covariance matrix of random regression coefficients based on data from the training tasks. As opposed to intractable MLE-type estimators, the proposed estimators could be computed efficiently as they could be obtained by solving (global) geodesically-convex optimization problems. Our analysis and methodology use tools from random matrix theory and Riemannian optimization. Simulation results demonstrate the improved generalization performance of the proposed method on new unseen test tasks within the considered framework.


title: Computationally and Memory-Efficient Robust Predictive Analytics Using Big Data

abstract: In the current data-intensive era, big data has become a significant asset for Artificial Intelligence (AI), serving as a foundation for developing data-driven models and providing insight into various unknown fields. This study navigates through the challenges of data uncertainties, storage limitations, and predictive data-driven modeling using big data. We utilize Robust Principal Component Analysis (RPCA) for effective noise reduction and outlier elimination, and Optimal Sensor Placement (OSP) for efficient data compression and storage. The proposed OSP technique enables data compression without substantial information loss while simultaneously reducing storage needs. While RPCA offers an enhanced alternative to traditional Principal Component Analysis (PCA) for high-dimensional data management, the scope of this work extends its utilization, focusing on robust, data-driven modeling applicable to huge data sets in real-time. For that purpose, Long Short-Term Memory (LSTM) networks, a type of recurrent neural network, are applied to model and predict data based on a low-dimensional subset obtained from OSP, leading to a crucial acceleration of the training phase. LSTMs are feasible for capturing long-term dependencies in time series data, making them particularly suited for predicting the future states of physical systems on historical data. All the presented algorithms are not only theorized but also simulated and validated using real thermal imaging data mapping a ship's engine.


title: Satellite Visibility During the April 2024 Total Eclipse

abstract: On 8 April 2024, tens of millions of people across North America will be able to view a total solar eclipse. Such astronomical events have been important throughout history, but with nearly 10,000 satellites in orbit, we question whether total eclipses will now reveal a sky full of satellites, fundamentally changing this experience for humanity. Using the current population of Starlink satellites, we find that the brightest satellites would be naked-eye visible in dark skies, but the high sky brightness during totality will make them undetectable to the unaided eye. Our model does not take into account the effects of chance reflections from large, flat surfaces like solar panels, which we expect will cause glints and flares that could be visible from large satellites and abandoned rocket bodies. Time-lapse all-sky imaging might reveal satellites during the eclipse.


title: HGT: Leveraging Heterogeneous Graph-enhanced Large Language Models for Few-shot Complex Table Understanding

abstract: Table understanding (TU) has achieved promising advancements, but it faces the challenges of the scarcity of manually labeled tables and the presence of complex table structures.To address these challenges, we propose HGT, a framework with a heterogeneous graph (HG)-enhanced large language model (LLM) to tackle few-shot TU tasks.It leverages the LLM by aligning the table semantics with the LLM's parametric knowledge through soft prompts and instruction turning and deals with complex tables by a multi-task pre-training scheme involving three novel multi-granularity self-supervised HG pre-training objectives.We empirically demonstrate the effectiveness of HGT, showing that it outperforms the SOTA for few-shot complex TU on several benchmarks.


title: Towards Reverse-Engineering the Brain: Brain-Derived Neuromorphic Computing Approach with Photonic, Electronic, and Ionic Dynamicity in 3D integrated circuits

abstract: The human brain has immense learning capabilities at extreme energy efficiencies and scale that no artificial system has been able to match. For decades, reverse engineering the brain has been one of the top priorities of science and technology research. Despite numerous efforts, conventional electronics-based methods have failed to match the scalability, energy efficiency, and self-supervised learning capabilities of the human brain. On the other hand, very recent progress in the development of new generations of photonic and electronic memristive materials, device technologies, and 3D electronic-photonic integrated circuits (3D EPIC ) promise to realize new brain-derived neuromorphic systems with comparable connectivity, density, energy-efficiency, and scalability. When combined with bio-realistic learning algorithms and architectures, it may be possible to realize an 'artificial brain' prototype with general self-learning capabilities. This paper argues the possibility of reverse-engineering the brain through architecting a prototype of a brain-derived neuromorphic computing system consisting of artificial electronic, ionic, photonic materials, devices, and circuits with dynamicity resembling the bio-plausible molecular, neuro/synaptic, neuro-circuit, and multi-structural hierarchical macro-circuits of the brain based on well-tested computational models. We further argue the importance of bio-plausible local learning algorithms applicable to the neuromorphic computing system that capture the flexible and adaptive unsupervised and self-supervised learning mechanisms central to human intelligence. Most importantly, we emphasize that the unique capabilities in brain-derived neuromorphic computing prototype systems will enable us to understand links between specific neuronal and network-level properties with system-level functioning and behavior.


title: MUGC: Machine Generated versus User Generated Content Detection

abstract: As advanced modern systems like deep neural networks (DNNs) and generative AI continue to enhance their capabilities in producing convincing and realistic content, the need to distinguish between user-generated and machine generated content is becoming increasingly evident. In this research, we undertake a comparative evaluation of eight traditional machine-learning algorithms to distinguish between machine-generated and human-generated data across three diverse datasets: Poems, Abstracts, and Essays. Our results indicate that traditional methods demonstrate a high level of accuracy in identifying machine-generated data, reflecting the documented effectiveness of popular pre-trained models like RoBERT. We note that machine-generated texts tend to be shorter and exhibit less word variety compared to human-generated content. While specific domain-related keywords commonly utilized by humans, albeit disregarded by current LLMs (Large Language Models), may contribute to this high detection accuracy, we show that deeper word representations like word2vec can capture subtle semantic variances. Furthermore, readability, bias, moral, and affect comparisons reveal a discernible contrast between machine-generated and human generated content. There are variations in expression styles and potentially underlying biases in the data sources (human and machine-generated). This study provides valuable insights into the advancing capacities and challenges associated with machine-generated content across various domains.


title: A Benchmark Evaluation of Clinical Named Entity Recognition in French

abstract: Background: Transformer-based language models have shown strong performance on many Natural LanguageProcessing (NLP) tasks. Masked Language Models (MLMs) attract sustained interest because they can be adaptedto different languages and sub-domains through training or fine-tuning on specific corpora while remaining lighterthan modern Large Language Models (LLMs). Recently, several MLMs have been released for the biomedicaldomain in French, and experiments suggest that they outperform standard French counterparts. However, nosystematic evaluation comparing all models on the same corpora is available. Objective: This paper presentsan evaluation of masked language models for biomedical French on the task of clinical named entity recognition.Material and methods: We evaluate biomedical models CamemBERT-bio and DrBERT and compare them tostandard French models CamemBERT, FlauBERT and FrALBERT as well as multilingual mBERT using three publicallyavailable corpora for clinical named entity recognition in French. The evaluation set-up relies on gold-standardcorpora as released by the corpus developers. Results: Results suggest that CamemBERT-bio outperformsDrBERT consistently while FlauBERT offers competitive performance and FrAlBERT achieves the lowest carbonfootprint. Conclusion: This is the first benchmark evaluation of biomedical masked language models for Frenchclinical entity recognition that compares model performance consistently on nested entity recognition using metricscovering performance and environmental impact.


title: New Semantic Task for the French Spoken Language Understanding MEDIA Benchmark

abstract: Intent classification and slot-filling are essential tasks of Spoken Language Understanding (SLU). In most SLUsystems, those tasks are realized by independent modules. For about fifteen years, models achieving both of themjointly and exploiting their mutual enhancement have been proposed. A multilingual module using a joint modelwas envisioned to create a touristic dialogue system for a European project, HumanE-AI-Net. A combination ofmultiple datasets, including the MEDIA dataset, was suggested for training this joint model. The MEDIA SLU datasetis a French dataset distributed since 2005 by ELRA, mainly used by the French research community and free foracademic research since 2020. Unfortunately, it is annotated only in slots but not intents. An enhanced version ofMEDIA annotated with intents has been built to extend its use to more tasks and use cases. This paper presents thesemi-automatic methodology used to obtain this enhanced version. In addition, we present the first results of SLUexperiments on this enhanced dataset using joint models for intent classification and slot-filling.


title: EmoScan: Automatic Screening of Depression Symptoms in Romanized Sinhala Tweets

abstract: This work explores the utilization of Romanized Sinhala social media data to identify individuals at risk of depression. A machine learning-based framework is presented for the automatic screening of depression symptoms by analyzing language patterns, sentiment, and behavioural cues within a comprehensive dataset of social media posts. The research has been carried out to compare the suitability of Neural Networks over the classical machine learning techniques. The proposed Neural Network with an attention layer which is capable of handling long sequence data, attains a remarkable accuracy of 93.25% in detecting depression symptoms, surpassing current state-of-the-art methods. These findings underscore the efficacy of this approach in pinpointing individuals in need of proactive interventions and support. Mental health professionals, policymakers, and social media companies can gain valuable insights through the proposed model. Leveraging natural language processing techniques and machine learning algorithms, this work offers a promising pathway for mental health screening in the digital era. By harnessing the potential of social media data, the framework introduces a proactive method for recognizing and assisting individuals at risk of depression. In conclusion, this research contributes to the advancement of proactive interventions and support systems for mental health, thereby influencing both research and practical applications in the field.


title: Is the edge really necessary for drone computing offloading? An experimental assessment in carrier-grade 5G operator networks

abstract: In this article, we evaluate the first experience of computation offloading from drones to real fifth-generation (5G) operator systems, including commercial and private carrier-grade 5G networks. A follow-me drone service was implemented as a representative testbed of remote video analytics. In this application, an image of a person from a drone camera is processed at the edge, and image tracking displacements are translated into positioning commands that are sent back to the drone, so that the drone keeps the camera focused on the person at all times. The application is characterised to identify the processing and communication contributions to service delay. Then, we evaluate the latency of the application in a real non standalone 5G operator network, a standalone carrier-grade 5G private network, and, to compare these results with previous research, a Wi-Fi wireless local area network. We considered both multi-access edge computing (MEC) and cloud offloading scenarios. Onboard computing was also evaluated to assess the trade-offs with task offloading. The results determine the network configurations that are feasible for the follow-me application use case depending on the mobility of the end user, and to what extent MEC is advantageous over a state-of-the-art cloud service.


title: Latency Reduction in Vehicular Sensing Applications by Dynamic 5G User Plane Function Allocation with Session Continuity

abstract: Vehicle automation is driving the integration of advanced sensors and new applications that demand high-quality information, such as collaborative sensing for enhanced situational awareness. In this work, we considered a vehicular sensing scenario supported by 5G communications, in which vehicle sensor data need to be sent to edge computing resources with stringent latency constraints. To ensure low latency with the resources available, we propose an optimization framework that deploys User Plane Functions (UPFs) dynamically at the edge to minimize the number of network hops between the vehicles and them. The proposed framework relies on a practical Software-Defined-Networking (SDN)-based mechanism that allows seamless re-assignment of vehicles to UPFs while maintaining session and service continuity. We propose and evaluate different UPF allocation algorithms that reduce communications latency compared to static, random, and centralized deployment baselines. Our results demonstrated that the dynamic allocation of UPFs can support latency-critical applications that would be unfeasible otherwise.


title: Quarantining Malicious IoT Devices in Intelligent Sliced Mobile Networks

abstract: The unstoppable adoption of the Internet of Things (IoT) is driven by the deployment of new services that require continuous capture of information from huge populations of sensors, or actuating over a myriad of "smart" objects. Accordingly, next generation networks are being designed to support such massive numbers of devices and connections. For example, the 3rd Generation Partnership Project (3GPP) is designing the different 5G releases specifically with IoT in mind. Nevertheless, from a security perspective this scenario is a potential nightmare: the attack surface becomes wider and many IoT nodes do not have enough resources to support advanced security protocols. In fact, security is rarely a priority in their design. Thus, including network-level mechanisms for preventing attacks from malware-infected IoT devices is mandatory to avert further damage. In this paper, we propose a novel Software-Defined Networking (SDN)-based architecture to identify suspicious nodes in 4G or 5G networks and redirect their traffic to a secondary network slice where traffic is analyzed in depth before allowing it reaching its destination. The architecture can be easily integrated in any existing deployment due to its interoperability. By following this approach, we can detect potential threats at an early stage and limit the damage by Distributed Denial of Service (DDoS) attacks originated in IoT devices.


title: A Normalization Theorem in Asymptotic Differential Algebra

abstract: We define the universal exponential extension of an algebraically closed differential field and investigate its properties in the presence of a nice valuation and in connection with linear differential equations. Next we prove normalization theorems for algebraic differential equations over $H$-fields, as a tool in solving such equations in suitable extensions. The results in this monograph are essential in our work on Hardy fields in [6].


title: Conservative wormholes in generalized $\kappa(\mathcal{R},\mathcal{T})$-function

abstract: We present an exhaustive study of wormhole configurations in $\kappa(\mathcal{R},\mathcal{T})$ gravity with linear and non-linear functions. The model assumed Morrison-Thorne spacetime where the redshift and shape functions linked with the matter contain and geometry of the spacetime through non-covariant conservation equation of the stress-energy tensor. The first solution was explored assuming a constant redshift function that leads to a wormhole (WH) which is asymptotically non-flat. The remaining solutions were explored in two cases. Firstly, assuming a linear equation of state $p(r)=\omega \rho(r)$ along with different forms of $\kappa(\mathcal{R},\mathcal{T})-$function. This proved enough to derive a shape function of the form $b(r)=r_{0}\left(\frac{r_{0}}{r}\right)^{1/\omega}$. Secondly, by assuming specific choices of the shape function consistent with the wormhole configuration requirements. All the solutions fulfill flare-out condition, asymptotically flat and supported by phantom energy. Further, the embedding surface and its revolution has been generated using numerical method to see how the length of the throat is affected of the coupling parameters through $\kappa(\mathcal{R},\mathcal{T})$ function. At the end, we have also calculated the average null energy condition, which is satisfied by all the WH models signifying minimum exotic matter is required to open the WH throats.


title: Linear structure on a finite Hecke category in type A

abstract: For the group GL(n), we construct an action of the derived category of coherent sheaves on the Grothendieck-Springer resolution on a certain subcategory of a finite monodromic Hecke category. We use this to construct a partial categorification of the projection from the extened affine to the finite Hecke algebra of GL(n). As a crucial intermediate step, we compute the exterior powers, with respect to the perversely truncated multiplicative convolution, of a parabolic Springer sheaf corresponding to a maximal parabolic subgroup fixing a line in the defining $n$-dimensional representation of GL(n).


title: Enhancing Anomaly Detection in Financial Markets with an LLM-based Multi-Agent Framework

abstract: This paper introduces a Large Language Model (LLM)-based multi-agent framework designed to enhance anomaly detection within financial market data, tackling the longstanding challenge of manually verifying system-generated anomaly alerts. The framework harnesses a collaborative network of AI agents, each specialised in distinct functions including data conversion, expert analysis via web research, institutional knowledge utilization or cross-checking and report consolidation and management roles. By coordinating these agents towards a common objective, the framework provides a comprehensive and automated approach for validating and interpreting financial data anomalies. I analyse the S&P 500 index to demonstrate the framework's proficiency in enhancing the efficiency, accuracy and reduction of human intervention in financial market monitoring. The integration of AI's autonomous functionalities with established analytical methods not only underscores the framework's effectiveness in anomaly detection but also signals its broader applicability in supporting financial market monitoring.


title: Physics-Informed Neural Networks for Satellite State Estimation

abstract: The Space Domain Awareness (SDA) community routinely tracks satellites in orbit by fitting an orbital state to observations made by the Space Surveillance Network (SSN). In order to fit such orbits, an accurate model of the forces that are acting on the satellite is required. Over the past several decades, high-quality, physics-based models have been developed for satellite state estimation and propagation. These models are exceedingly good at estimating and propagating orbital states for non-maneuvering satellites; however, there are several classes of anomalous accelerations that a satellite might experience which are not well-modeled, such as satellites that use low-thrust electric propulsion to modify their orbit. Physics-Informed Neural Networks (PINNs) are a valuable tool for these classes of satellites as they combine physics models with Deep Neural Networks (DNNs), which are highly expressive and versatile function approximators. By combining a physics model with a DNN, the machine learning model need not learn astrodynamics, which results in more efficient and effective utilization of machine learning resources. This paper details the application of PINNs to estimate the orbital state and a continuous, low-amplitude anomalous acceleration profile for satellites. The PINN is trained to learn the unknown acceleration by minimizing the mean square error of observations. We evaluate the performance of pure physics models with PINNs in terms of their observation residuals and their propagation accuracy beyond the fit span of the observations. For a two-day simulation of a GEO satellite using an unmodeled acceleration profile on the order of $10^{-8} \text{ km/s}^2$, the PINN outperformed the best-fit physics model by orders of magnitude for both observation residuals (123 arcsec vs 1.00 arcsec) as well as propagation accuracy (3860 km vs 164 km after five days).


title: Piercing independent sets in graphs without large induced matching

abstract: Given a graph $G$, denote by $h(G)$ the smallest size of a subset of $V(G)$ which intersects every maximum independent set of $G$. We prove that any graph $G$ without induced matching of size $t$ satisfies $h(G)\le \omega(G)^{3t-3+o(1)}$. This resolves a conjecture of Hajebi, Li and Spirkl (Hitting all maximum stable sets in $P_{5}$-free graphs, JCTB 2024).


title: MIST: Mitigating Intersectional Bias with Disentangled Cross-Attention Editing in Text-to-Image Diffusion Models

abstract: Diffusion-based text-to-image models have rapidly gained popularity for their ability to generate detailed and realistic images from textual descriptions. However, these models often reflect the biases present in their training data, especially impacting marginalized groups. While prior efforts to debias language models have focused on addressing specific biases, such as racial or gender biases, efforts to tackle intersectional bias have been limited. Intersectional bias refers to the unique form of bias experienced by individuals at the intersection of multiple social identities. Addressing intersectional bias is crucial because it amplifies the negative effects of discrimination based on race, gender, and other identities. In this paper, we introduce a method that addresses intersectional bias in diffusion-based text-to-image models by modifying cross-attention maps in a disentangled manner. Our approach utilizes a pre-trained Stable Diffusion model, eliminates the need for an additional set of reference images, and preserves the original quality for unaltered concepts. Comprehensive experiments demonstrate that our method surpasses existing approaches in mitigating both single and intersectional biases across various attributes. We make our source code and debiased models for various attributes available to encourage fairness in generative models and to support further research.


title: Detecting Light Dark Matter with Kinetic Inductance Detectors

abstract: Superconducting detectors are a promising technology for probing dark matter at extremely low masses, where dark matter interactions are currently unconstrained. Realizing the potential of such detectors requires new readout technologies to achieve the lowest possible thresholds for deposited energy. Here we perform a prototype search for dark matter--electron interactions with kinetic inductance detectors (KIDs), a class of superconducting detector originally designed for infrared astronomy applications. We demonstrate that existing KIDs can achieve effective thresholds as low as 0.2 eV, and we use existing data to set new dark matter constraints. The relative maturity of the technology underlying KIDs means that this platform can be scaled significantly with existing tools, enabling powerful new searches in the coming years.


title: Bayesian Multi-line Intensity Mapping

abstract: Line intensity mapping (LIM) has emerged as a promising tool for probing the 3D large-scale structure (LSS) through the aggregate emission of spectral lines. The presence of interloper lines poses a crucial challenge in extracting the signal from the target line in LIM. In this work, we introduce a novel method for LIM analysis that simultaneously extracts line signals from multiple spectral lines, utilizing the covariance of native LIM data elements defined in the spectral-angular space. We leverage correlated information from different lines to perform joint inference on all lines simultaneously, employing a Bayesian analysis framework. We present the formalism, demonstrate our technique with a mock survey setup resembling the SPHEREx deep field observation, and consider four spectral lines within the SPHEREx spectral coverage in the near infrared: H$\alpha$, $[$\ion{O}{3}$]$, H$\beta$, and $[$\ion{O}{2}$]$. We demonstrate that our method can extract the power spectrum of all four lines at $\gtrsim 10\sigma$ level at $z<2$. For the brightest line H$\alpha$, the $10\sigma$ sensitivity can be achieved out to $z\sim3$. Our technique offers a flexible framework for LIM analysis, enabling simultaneous inference of signals from multiple line emissions while accommodating diverse modeling constraints and parametrizations.


title: The Hybrid Debris Disk Host Star HD 21997 is a High-Frequency Delta Scuti Pulsator

abstract: HD 21997 is host to a prototypical "hybrid" debris disk characterized by debris disk-like dust properties and a CO gas mass comparable to a protoplanetary disk. We use Transiting Exoplanet Survey Satellite time series photometry to demonstrate that HD 21997 is a high-frequency delta Scuti pulsator. If the mode identification can be unambiguously determined in future works, an asteroseismic age of HD 21997 may become feasible.


title: A computation of two-loop six-point Feynman integrals in dimensional regularization

abstract: We compute three families of two-loop six-point massless Feynman integrals in dimensional regularization, namely the double-box, the pentagon-triangle, and the hegaxon-bubble family. This constitutes the first analytic computation of two-loop master integrals with eight scales. We use the method of canonical differential equations. We describe the corresponding integral basis with uniform transcendentality, the relevant function alphabet, and analytic boundary values at a particular point in the Euclidean region up to the fourth order in the regularization parameter $\epsilon$. The results are expressed as one-fold integrals over classical polylogarithms suitable for fast and high-precision evaluation.


title: On the origin of mixed morphology supernova remnants: Linking their properties to the evolution of a red supergiant progenitor star

abstract: Mixed-morphology supernova remnants (MMSNRs) are characterized by a shell-like morphology in the radio and centrally-peaked thermal emission in the X-ray band. The nature of this peculiar class of supernova remnants (SNRs) remains a controversial issue. In this work, by pairing the predictions of stellar evolution theory with two-dimensional hydrodynamic simulations we show that the mixed morphology properties of a SNR can arise by the interaction of the SNR with the circumstellar medium shaped by a red supergiant progenitor star, embedded in a dense environment. As a study case, we model the circumstellar medium formation and the subsequent interaction of the SNR with it of a $15~\rm M_{\odot}$ progenitor star. The reflected shock, formed by the collision of the SNR with the density walls of the surrounding circumstellar cavity, accumulates and re-shocks the supernova ejecta at the center of the remnant, increasing its temperature so that the gas becomes X-ray bright. Such a formation mechanism may naturally explain the nature of MMSNRs resulted from Type II supernovae without the demand of additional physical mechanisms and/or ambient medium inhomogeneities. We discuss alternative evolutionary paths that potentially could be ascribed for the MMSNR formation within the framework of the reflected shock model.


title: Equality of skew Schur functions in noncommuting variables

abstract: The question of classifying when two skew Schur functions are equal is a substantial open problem, which remains unsolved for over a century. In 2022, Aliniaeifard, Li and van Willigenburg introduced skew Schur functions in noncommuting variables, $s_{(\delta,D)}$, where $D$ is a connected skew diagram with $n$ boxes and $\delta$ is a permutation in the symmetric group $S_n$. In this paper, we combine these two and classify when two skew Schur functions in noncommuting variables are equal: $s_{(\delta,D)} = s_{(\tau,T)}$ such that $D\ne T$ if and only if $D$ is a nonsymmetric ribbon, $T$ is the antipodal rotation of $D$ and $\overline{\tau^{-1}\delta}$ is an explicit bijection between two set partitions determined by $D$.


title: Cavity electrodynamics of van der Waals heterostructures

abstract: Van der Waals (vdW) heterostructures host many-body quantum phenomena that can be tuned in situ using electrostatic gates. These gates are often microstructured graphite flakes that naturally form plasmonic cavities, confining light in discrete standing waves of current density due to their finite size. Their resonances typically lie in the GHz - THz range, corresponding to the same $\mu$eV - meV energy scale characteristic of many quantum effects in the materials they electrically control. This raises the possibility that built-in cavity modes could be relevant for shaping the low-energy physics of vdW heterostructures. However, capturing this light-matter interaction remains elusive as devices are significantly smaller than the diffraction limit at these wavelengths, hindering far-field spectroscopic tools. Here, we report on the sub-wavelength cavity electrodynamics of graphene embedded in a vdW heterostructure plasmonic microcavity. Using on-chip THz spectroscopy, we observed spectral weight transfer and an avoided crossing between the graphite cavity and graphene plasmon modes as the graphene carrier density was tuned, revealing their ultrastrong coupling. Our findings show that intrinsic cavity modes of metallic gates can sense and manipulate the low-energy electrodynamics of vdW heterostructures. This opens a pathway for deeper understanding of emergent phases in these materials and new functionality through cavity control.


title: The Molecular Clouds of M31

abstract: Deep interferometric observations of CO and dust continuum emission are obtained with the Sub-Millimeter Array (SMA) at 230 GHz to investigate the physical nature of the giant molecular cloud (GMC) population in the Andromeda galaxy (M31). We use J = 2-1 $^{12}$CO and $^{13}$CO emission to derive the masses, sizes and velocity dispersions of 162 spatially resolved GMCs. We perform a detailed study of a subset of 117 GMCs that exhibit simple, single component line profile shapes. Examining the Larson scaling relations for these GMCs we find: 1- a highly correlated mass-size relation in both $^{12}$CO and $^{13}$CO emission; 2- a weakly correlated $^{12}$CO linewidth-size (LWS) relation along with a weaker, almost non-existent, $^{13}$CO LWS relation, suggesting a possible dependence of the LWS relation on spatial scale; and 3-that only 43\% of these GMCs are gravitationally bound. We identify two classes of GMCs based on the strength and extent of their $^{13}$CO emission. Examination of the Larson relations finds that both classes are individually characterized by strong $^{12}$CO mass-size relations and much weaker $^{12}$CO and $^{13}$CO LWS relations. The majority (73\%) of strong $^{13}$CO emitting GMCs are found to be gravitationally bound. However, only 25\% of the weak $^{13}$CO emitting GMCs are bound. The resulting breakdown in the Larson relations in the weak $^{13}$CO emitting population decouples the mass-size and LWS relations demonstrating that independent physical causes are required to understand the origin of each. Finally, in nearly every aspect, the physical properties of the M31 GMCs are found to be very similar to those of local Milky Way clouds.


title: Well-posedness of Keller-Segel systems on compact metric graphs

abstract: Chemotaxis phenomena govern the directed movement of micro-organisms in response to chemical stimuli. In this paper, we investigate two Keller--Segel systems of reaction-advection-diffusion equations modeling chemotaxis on thin networks. The distinction between two systems is driven by the rate of diffusion of the chemo-attractant. The intermediate rate of diffusion is modeled by a coupled pair of parabolic equations, while the rapid rate is described by a parabolic equation coupled with an elliptic one. Assuming the polynomial rate of growth of the chemotaxis sensitivity coefficient, we prove local well-posedness of both systems on compact metric graphs, and, in particular, prove existence of unique classical solutions. This is achieved by constructing sufficiently regular mild solutions via analytic semigroup methods and combinatorial description of the heat kernel on metric graphs. The regularity of mild solutions is shown by applying abstract semigroup results to semi-linear parabolic equations on compact graphs. In addition, for logistic type Keller--Segel systems we prove global well-posedness and, in some special cases, global uniform boundedness of solutions.


title: General quantum-classical dynamics as measurement based feedback

abstract: This note derives the stochastic differential equations and partial differential equation of general hybrid quantum-classical dynamics from the theory of continuous measurement and general (non-Markovian) feedback. The advantage of this approach is an explicit parameterization, without additional positivity constraints. The construction also neatly separates the different effects: how the quantum influences the classical and how the classical influences the quantum. This modular presentation gives a better intuition of what to expect from hybrid dynamics, especially when used to construct possibly fundamental theories.


title: Multi-Messenger Astrology

abstract: It has long been accepted that the cosmos determine our personalities, relationships, and even our fate. Unlike our condensed matter colleagues - who regularly use quantum mechanics to determine the healing properties of crystals - astrology techniques have been unchanged since the 19th century. In this paper, we discuss how astrophysical messengers beyond starlight can be used to predict the future and excuse an $\mathcal{O}(1)$ fraction of our negative personality traits.


title: Generation of Spatially Coherent Light at Extreme Ultraviolet Wavelengths

abstract: We present spatial coherence measurements of extreme-ultraviolet light generated using the process of high-harmonic upconversion of a femtosecond laser. Using a phase-matched hollow-fiber geometry, the generated beam is found to exhibit essentially full spatial coherence. The coherence of this laser-like EUV source is demonstrated by recording Gabor holograms of small objects. This work demonstrates the capability to do EUV holography using a tabletop experimental setup. Such an EUV source, with low divergence and high spatial coherence, can be used for experiments such as high-precision metrology, inspection of optical components for EUV lithography (1), and for microscopy and holography (2) with nanometer resolution. Furthermore, the short time duration of the EUV radiation (a few femtoseconds) will enable EUV microscopy and holography to be performed with ultrahigh time resolution.


title: Infrared Vertical External Cavity Surface Emitting Laser Threshold Magnetometer

abstract: Nitrogen-vacancy (NV) centers have considerable promise as high sensitivity magnetometers, however are commonly limited by inefficient collection and low contrasts. Laser threshold magnetometry (LTM) enables efficient collection and high contrasts, providing a path towards higher sensitivity magnetometry. We demonstrate an infrared LTM using an ensemble of NV centers in a single crystal diamond plate integrated into a vertical external cavity surface emitting laser. The laser was tuned to the spin dependent absorption line of the NV centers, allowing for optical readout by monitoring the laser output power. We demonstrate a magnetic sensitivity of 7.5~nT/$\sqrt{\textit{Hz}}$ in the frequency range between 10 and 50 Hz. Furthermore, the contrast and the projected PSNL sensitivity are shown to improve significantly by operating close to the lasing threshold, achieving 18.4\% and 26.6~pT/$\sqrt{\textit{Hz}}$ near threshold. What's more, an unexpected saturable absorption phenomenon was observed near threshold, which enhanced the contrast and projected PSNL sensitivity.


title: Deep Learning Framework with Uncertainty Quantification for Survey Data: Assessing and Predicting Diabetes Mellitus Risk in the American Population

abstract: Complex survey designs are commonly employed in many medical cohorts. In such scenarios, developing case-specific predictive risk score models that reflect the unique characteristics of the study design is essential. This approach is key to minimizing potential selective biases in results. The objectives of this paper are: (i) To propose a general predictive framework for regression and classification using neural network (NN) modeling, which incorporates survey weights into the estimation process; (ii) To introduce an uncertainty quantification algorithm for model prediction, tailored for data from complex survey designs; (iii) To apply this method in developing robust risk score models to assess the risk of Diabetes Mellitus in the US population, utilizing data from the NHANES 2011-2014 cohort. The theoretical properties of our estimators are designed to ensure minimal bias and the statistical consistency, thereby ensuring that our models yield reliable predictions and contribute novel scientific insights in diabetes research. While focused on diabetes, this NN predictive framework is adaptable to create clinical models for a diverse range of diseases and medical cohorts. The software and the data used in this paper is publicly available on GitHub.


title: Twists of superconformal algebras

abstract: We develop the theory of ``conformal twists'' of superconformal field theories in dimensions 3 to 6, extending the well-known analysis of twists for supersymmetric theories. The conformal twists describe all possible inequivalent choices of a nilpotent element in the superconformal algebra. Such twists can give rise to interesting subalgebras and protected sectors of operators, with the Donaldson--Witten topological field theory and the vertex operator algebras of 4-dimensional N=2 SCFTs being prominent examples. We work mostly with the complexified superconformal algebras, unless explicitly stated otherwise; real forms of the superconformal algebra may have important physical implications, but we leave these subtleties to future work. To obtain mathematical precision, we explain how to extract vertex algebras and E_n algebras from a twisted superconformal field theory using factorization algebras.


title: GOLD: Generalized Knowledge Distillation via Out-of-Distribution-Guided Language Data Generation

abstract: Knowledge distillation from LLMs is essential for the efficient deployment of language models. Prior works have proposed data generation using LLMs for preparing distilled models. We argue that generating data with LLMs is prone to sampling mainly from the center of original content distribution. This limitation hinders the distilled model from learning the true underlying data distribution and to forget the tails of the distributions (samples with lower probability). To this end, we propose GOLD, a task-agnostic data generation and knowledge distillation framework, which employs an iterative out-of-distribution-guided feedback mechanism for the LLM. As a result, the generated data improves the generalizability of distilled models. An energy-based OOD evaluation approach is also introduced to deal with noisy generated data. Our extensive experiments on 10 different classification and sequence-to-sequence tasks in NLP show that GOLD respectively outperforms prior arts and the LLM with an average improvement of 5% and 14%. We will also show that the proposed method is applicable to less explored and novel tasks. The code is available.


title: Vortical waves in a quantum fluid with vector, axial and helical charges. I. Non-dissipative transport

abstract: Due to the spin-orbit coupling, Dirac fermions, submerged in a thermal bath with finite macroscopic vorticity, exhibit a spin polarisation along the direction parallel to the vorticity vector $\boldsymbol{\Omega}$. Due to the symmetries of the Lagrangian for free massless Dirac particles, there are three independent and classically conserved currents corresponding to the vector, axial, and helical charges. The constitutive relations for the charge currents and the stress-energy tensor at thermal equilibrium, derived in the framework of quantum field theory at finite temperature, reveal vorticity-induced contributions that deviate from the perfect fluid form. In this paper, we consider the mode structure of the corresponding hydrodynamical theory and derive collective excitations associated with coherent fluctuations of all three charges. We show that the chirally imbalanced rotating fluid should possess non-reciprocal gapless waves that propagate with different velocities along and opposite to the vorticity vector. We also uncover a strictly unidirectional mode, which we call the Axial Vortical Wave, propagating in the background of the axial charge density. We point out an unexpected instability in the limit of degenerate matter and discuss possible solutions when helicity and axial charge non-conservation is taken into account.


title: Vortical waves in a quantum fluid with vector, axial and helical charges. II. Dissipative effects

abstract: In this paper, we consider the effect of interactions on the local, average polarization of a quantum plasma of massless fermion particles characterized by vector, axial, and helical quantum numbers. Due to the helical and axial vortical effects, perturbations in the vector charge in a rotating plasma can lead to chiral and helical charge transfer along the direction of the vorticity vector. At the same time, interactions between the plasma constituents lead to the dissipation of the helical charge through helicity-violating pair annihilation (HVPA) processes and of the axial charge through the axial anomaly. We will discuss separately a QED-like plasma, in which we ignore background electromagnetic fields and thus the axial charge is roughly conserved, as well as a QCD-like plasma, where instanton effects lead to the violation of the axial charge conservation, even in the absence of background chromomagnetic fields. The non-conservation of helicity and chirality leads to a gapping of the Helical, Axial and mixed, Axial-Helical vortical waves that prevents their infrared modes from propagating. On the other hand, usual dissipative effects, such as charge diffusion, lead to significant damping of ultraviolet modes. We end this paper with a discussion of the regimes where these vortical waves may propagate.


title: Nonparametric conditional risk mapping under heteroscedasticity

abstract: A nonparametric procedure to estimate the conditional probability that a nonstationary geostatistical process exceeds a certain threshold value is proposed. The method consists of a bootstrap algorithm that combines conditional simulation techniques with nonparametric estimations of the trend and the variability. The nonparametric local linear estimator, considering a bandwidth matrix selected by a method that takes the spatial dependence into account, is used to estimate the trend. The variability is modeled estimating the conditional variance and the variogram from corrected residuals to avoid the biasses. The proposed method allows to obtain estimates of the conditional exceedance risk in non-observed spatial locations. The performance of the approach is analyzed by simulation and illustrated with the application to a real data set of precipitations in the U.S.


title: Quantum Natural Language Processing

abstract: Language processing is at the heart of current developments in artificial intelligence, and quantum computers are becoming available at the same time. This has led to great interest in quantum natural language processing, and several early proposals and experiments. This paper surveys the state of this area, showing how NLP-related techniques have been used in quantum language processing. We examine the art of word embeddings and sequential models, proposing some avenues for future investigation and discussing the tradeoffs present in these directions. We also highlight some recent methods to compute attention in transformer models, and perform grammatical parsing. We also introduce a new quantum design for the basic task of text encoding (representing a string of characters in memory), which has not been addressed in detail before. Quantum theory has contributed toward quantifying uncertainty and explaining "What is intelligence?" In this context, we argue that "hallucinations" in modern artificial intelligence systems are a misunderstanding of the way facts are conceptualized: language can express many plausible hypotheses, of which only a few become actual.


title: On the eigenvalue problem for a bulk/surface elliptic system

abstract: The paper addresses the doubly elliptic eigenvalue problem $$\begin{cases} -\Delta u=\lambda u \qquad &\text{in $\Omega$,}\\ u=0 &\text{on $\Gamma_0$,}\\ -\Delta_\Gamma u +\partial_\nu u =\lambda u\qquad &\text{on $\Gamma_1$,} \end{cases} $$ where $\Omega$ is a bounded open subset of $\mathbb{R}^N$ ($N\ge 2$) with $C^1$ boundary $\Gamma=\Gamma_0\cup\Gamma_1$, $\Gamma_0\cap\Gamma_1=\emptyset$, $\Gamma_1$ being nonempty and relatively open on $\Gamma$. Moreover $\mathcal{H}^{N-1}(\overline{\Gamma}_0\cap\overline{\Gamma}_1)=0$ and $\mathcal{H}^{N-1}(\Gamma_0)>0$. We recognize that $L^2(\Omega)\times L^2(\Gamma_1)$ admits a Hilbert basis of eigenfunctions of the problem and we describe the eigenvalues. Moreover, when $\Gamma$ is at least $C^2$ and $\overline{\Gamma}_0\cap\overline{\Gamma}_1=\emptyset$, we give several qualitative properties of the eigenfunctions.


title: Leveraging Counterfactual Paths for Contrastive Explanations of POMDP Policies

abstract: As humans come to rely on autonomous systems more, ensuring the transparency of such systems is important to their continued adoption. Explainable Artificial Intelligence (XAI) aims to reduce confusion and foster trust in systems by providing explanations of agent behavior. Partially observable Markov decision processes (POMDPs) provide a flexible framework capable of reasoning over transition and state uncertainty, while also being amenable to explanation. This work investigates the use of user-provided counterfactuals to generate contrastive explanations of POMDP policies. Feature expectations are used as a means of contrasting the performance of these policies. We demonstrate our approach in a Search and Rescue (SAR) setting. We analyze and discuss the associated challenges through two case studies.


title: A Fourier Inversion Theorem for Normal Functions

abstract: We prove an inversion theorem for the Fourier transform defined for normal functions, in the case when such functions are of moderate decrease, and in dimensions 2 and 3. This improves on Carleson's general almost everywhere convergence result for square integrable functions to everywhere convergence, in the special case of normal functions of moderate decrease. The class of normal functions appear in Physics and the everywhere convergence is important for further analysis of wave equations and no radiation properties of electromagnetic fields.


title: IDP-Bert: Predicting Properties of Intrinsically Disordered Proteins (IDP) Using Large Language Models

abstract: Intrinsically Disordered Proteins (IDPs) constitute a large and structure-less class of proteins with significant functions. The existence of IDPs challenges the conventional notion that the biological functions of proteins rely on their three-dimensional structures. Despite lacking well-defined spatial arrangements, they exhibit diverse biological functions, influencing cellular processes and shedding light on the disease mechanisms. However, it is expensive to run experiments or simulations to characterize this class of proteins. Consequently, we designed an ML model that relies solely on amino acid sequences. In this study, we introduce IDP-Bert model, a deep-learning architecture leveraging Transformers and Protein Language Models (PLMs) to map sequences directly to IDPs properties. Our experiments demonstrate accurate predictions of IDPs properties, including Radius of Gyration, end-to-end Decorrelation Time, and Heat Capacity.


title: Creating Aesthetic Sonifications on the Web with SIREN

abstract: SIREN is a flexible, extensible, and customizable web-based general-purpose interface for auditory data display (sonification). Designed as a digital audio workstation for sonification, synthesizers written in JavaScript using the Web Audio API facilitate intuitive mapping of data to auditory parameters for a wide range of purposes. This paper explores the breadth of sound synthesis techniques supported by SIREN, and details the structure and definition of a SIREN synthesizer module. The paper proposes further development that will increase SIREN's utility.


title: On Fock covariance for product systems and the reduced Hao-Ng isomorphism problem by discrete actions

abstract: We provide a characterisation of equivariant Fock covariant injective representations for product systems. We show that this characterisation coincides with Nica covariance for compactly aligned product systems over right LCM semigroups of Kwa\'{s}niewski and Larsen, and with the Toeplitz representations of a discrete monoid of Laca and Sehnem. By combining with the framework established by Katsoulis and Ramsey, we resolve the reduced Hao-Ng isomorphism problem for generalised gauge actions by discrete groups.


title: Corner modes in Non-Hermitian long-range model

abstract: We consider non-Hermitian (NH) analog of a second-order topological insulator, protected by chiral symmetry, in the presence of second-nearest neighbor hopping elements to theoretically investigate the interplay between long-range and topological order away from Hermiticity. In addition to the four zero-energy corner modes present in the first nearest neighbor hopping model, we uncover that the second nearest neighbor hopping introduces another topological phase with sixteen zero-energy corner modes. Importantly, the NH effects are manifested in altering the Hermitian phase boundaries for both the models. While comparing the complex energy spectrum under open boundary conditions, and bi-orthogonalized quadrupolar winding number (QWN) in real space, we resolve the apparent anomaly in the bulk boundary correspondence of the NH system as compared to the Hermitian counterpart by incorporating the effect of non-Bloch form of momentum into the mass term. The above invariant is also capable of capturing the phase boundaries between the two different topological phases where the degeneracy of the corner modes is evident, as exclusively observed for the second nearest neighbor model.


title: Sub-wavelength coherent imaging of periodic samples using a 13.5 nm tabletop high harmonic light source

abstract: Coherent diffractive imaging is unique as the only route for achieving diffraction-limited spatial resolution in the extreme ultraviolet and X-ray regions, limited only by the wavelength of the light. Recently, advances in coherent short wavelength light sources, coupled with progress in algorithm development, have significantly enhanced the power of x-ray imaging. However, to date, high-fidelity diffraction imaging of periodic objects has been a challenge because the scattered light is concentrated in isolated peaks. Here, we use tabletop 13.5nm high harmonic beams to make two significant advances. First we demonstrate high-quality imaging of an extended, nearly-periodic sample for the first time. Second, we achieve sub-wavelength spatial resolution (12.6nm) imaging at short wavelengths, also for the first time. The key to both advances is a novel technique called modulus enforced probe, which enables robust, quantitative, reconstructions of periodic objects. This work is important for imaging next generation nano-engineered devices.


title: Visualizing orbital angular momentum induced single wavefront dislocation in graphene

abstract: Phase singularities are phase-indeterminate points where wave amplitudes are zero, which manifest as phase vertices or wavefront dislocations. In the realm of optical and electron beams, the phase singularity has been extensively explored, demonstrating a profound connection to orbital angular momentum. Direct local imaging of the impact of orbital angular momentum on phase singularities at the nanoscale, however, remains a challenge and has yet to be achieved. Here, we study the role of orbital angular momentum in phase singularities in graphene, particularly at the atomic level, through scanning tunneling microscopy and spectroscopy. Our experiments demonstrate that the scatterings between different orbital angular momentum states, which are induced by local rotational symmetry-breaking potentials, can generate additional phase singularity, and result in robust single wavefront dislocation in real space. Our results pave the way for exploring the effects of orbital degree of freedom on quantum phases in quasiparticle interference processes.


title: Using Deep Learning to Increase Eye-Tracking Robustness, Accuracy, and Precision in Virtual Reality

abstract: Algorithms for the estimation of gaze direction from mobile and video-based eye trackers typically involve tracking a feature of the eye that moves through the eye camera image in a way that covaries with the shifting gaze direction, such as the center or boundaries of the pupil. Tracking these features using traditional computer vision techniques can be difficult due to partial occlusion and environmental reflections. Although recent efforts to use machine learning (ML) for pupil tracking have demonstrated superior results when evaluated using standard measures of segmentation performance, little is known of how these networks may affect the quality of the final gaze estimate. This work provides an objective assessment of the impact of several contemporary ML-based methods for eye feature tracking when the subsequent gaze estimate is produced using either feature-based or model-based methods. Metrics include the accuracy and precision of the gaze estimate, as well as drop-out rate.


title: Online Trajectory Optimization for Persistent Monitoring Problems in Partitioned Environments

abstract: We consider the problem of using an autonomous agent to persistently monitor a collection of dynamic targets distributed in an environment. We generalize existing work by allowing the agent's dynamics to vary throughout the environment, leading to a hybrid dynamical system. This introduces an additional layer of complexity towards the planning portion of the problem: we must not only identify in which order to visit the points of interest, but also in which order to traverse the regions. We design an offline high-level sequence planner together with an online trajectory optimizer realizing the computed visiting sequence. We provide numerical experiments to illustrate the performance of our approach.


title: Hierarchical Deep Learning for Intention Estimation of Teleoperation Manipulation in Assembly Tasks

abstract: In human-robot collaboration, shared control presents an opportunity to teleoperate robotic manipulation to improve the efficiency of manufacturing and assembly processes. Robots are expected to assist in executing the user's intentions. To this end, robust and prompt intention estimation is needed, relying on behavioral observations. The framework presents an intention estimation technique at hierarchical levels i.e., low-level actions and high-level tasks, by incorporating multi-scale hierarchical information in neural networks. Technically, we employ hierarchical dependency loss to boost overall accuracy. Furthermore, we propose a multi-window method that assigns proper hierarchical prediction windows of input data. An analysis of the predictive power with various inputs demonstrates the predominance of the deep hierarchical model in the sense of prediction accuracy and early intention identification. We implement the algorithm on a virtual reality (VR) setup to teleoperate robotic hands in a simulation with various assembly tasks to show the effectiveness of online estimation.


title: On a conjecture of Pappas and Rapoport

abstract: We prove a conjecture of Pappas and Rapoport about the existence of ''canonical'' integral models of Shimura varieties of Hodge type with quasi-parahoric level structure at a prime $p$. For these integral models, we moreover show uniformization of isogeny classes by integral local Shimura varieties, and prove a conjecture of Kisin and Pappas on local model diagrams.


title: Choice axioms and Postnikov completeness

abstract: We introduce homotopical variants of the axioms of countable and dependent choice for infinity-topoi and use them to give criteria for Postnikov completeness, revisiting a result of Mondal and Reinecke.


title: ShapeFusion: A 3D diffusion model for localized shape editing

abstract: In the realm of 3D computer vision, parametric models have emerged as a ground-breaking methodology for the creation of realistic and expressive 3D avatars. Traditionally, they rely on Principal Component Analysis (PCA), given its ability to decompose data to an orthonormal space that maximally captures shape variations. However, due to the orthogonality constraints and the global nature of PCA's decomposition, these models struggle to perform localized and disentangled editing of 3D shapes, which severely affects their use in applications requiring fine control such as face sculpting. In this paper, we leverage diffusion models to enable diverse and fully localized edits on 3D meshes, while completely preserving the un-edited regions. We propose an effective diffusion masking training strategy that, by design, facilitates localized manipulation of any shape region, without being limited to predefined regions or to sparse sets of predefined control vertices. Following our framework, a user can explicitly set their manipulation region of choice and define an arbitrary set of vertices as handles to edit a 3D mesh. Compared to the current state-of-the-art our method leads to more interpretable shape manipulations than methods relying on latent code state, greater localization and generation diversity while offering faster inference than optimization based approaches. Project page: https://rolpotamias.github.io/Shapefusion/


title: Synthetic Oil Gels With Organoclays In The Formulation Of Magnetorheological Fluids

abstract: Magnetorheological fluids (MRF) are smart composite materials that, under an external magnetic field, show a reversible solid-liquid transition in less than 10 ms. This study aimed to evaluate which organoclays would jellify a synthetic oil for the formulation of MRF. Three dispersant additives for carbonyl iron powder were evaluated. Fifteen different gelling additives from four clay families, bentonites, hectorites, montmorillonites, and mixed mineral thixotropes (MMT), were dispersed in oil only, keeping the same concentration, without iron particles. The gels were then tested through amplitude and frequency sweeps in oscillatory rheometry to evaluate their viscoelastic behavior. All the MRFs were prepared using carbonyl iron powder HS in oil gels with the same organoclay. All three dispersant additives showed a thixotropic recovery above 100% in the three-interval test. Regarding the dispersibility after one year, the MRF formulations with octan-1-amine and lecithin were reproved, as they reached normal force peaks of 19 and 24 N, while the work was 28 and 415 mJ, respectively. The best MRF was formulated with octan-1-ol, and resulted in a normal force of 0.33 N and 3.4 mJ at 35 mm of vane penetration. Therefore, we conclude that the MRF with octan-1-ol and montmorillonite #6 showed a better balance between thixotropy, MR effect, and, above all, good redispersibility.


title: Rabi flop-assisted electron tunneling through the quantum dots

abstract: When the external electromagnetic field (EF) with the frequency $\omega $ acts on the discrete levels in the quantum dot (QD), it induces the mixed quantum state characterized by Rabi flops (RF). The RF process involves the oscillations in the level population $\delta n_{\alpha \beta }\left( t\right) $ accompanied by the cyclical absorption and re-emission of photons. The RF time dynamics depend on the Rabi frequency $\omega _{\mathrm{R}}$ and detuning $\Delta =\omega - \omega_Q $, where $\omega_Q =\left( \varepsilon _{\beta }- \varepsilon _{\beta }\right) /\hbar$, $\varepsilon _{\alpha} $ and $\varepsilon _{\beta} $ are the level energies. By using the Floquet formalism to solve the time-dependent wave equations for the voltage-biased QD exposed to EF, we examine how RF is expressed in the electric current. We find that the Rabi flop-assisted tunneling (RFAT) is pronounced in the I-V curves as steps and flat plateaus, whose position and spacing reflect the intrinsic features of the mixed quantum state and directly depend on $\omega _{\mathrm{R}}$ and $\Delta $. Thus, measuring RFAT allows an immediate observation of RF right in the I-V curves, thus improving the versatility and accuracy of many applications in the broad frequency range.