title: Efficient Data Management for IPFS dApps

abstract: Inefficient data management has been the Achilles heel of blockchain-based decentralized applications (dApps). An off-chain storage layer, which lies between the application and the blockchain layers, can improve space efficiency and data availability with erasure codes and decentralized maintenance. This paper presents two fundamental components of such storage layer designed and implemented for the IPFS network. The IPFS Community is a component built on top of the IPFS network that encodes and decodes data before uploading to the network. Since data is encoded with alpha entanglement codes, the solution requires less storage space than the native IPFS solution which replicates data by pinning content with the IPFS Cluster. To detect and repair failures in a timely manner, we introduce the monitoring and repair component. This novel component is activated by any node and distributes the load of repairs among various nodes. These two components are implemented as pluggable modules, and can, therefore, be easily migrated to other distributed file systems by adjusting the connector component.


title: Verifying randomness in sets of quantum states via observables

abstract: We present a metric, average randomness, that predicts the compatibility of a set of quantum states with the Haar-random distribution, by matching of statistical moments, through a known quantum observable. We show that Haar-randomness is connected to the Dirichlet distribution, and provide a closed-form expression, and simple bounds of the statistical moments. We generalize this metric to permutation- and unitary-equivalent observables, ensuring that if the extended average randomness is compatible with a Haar-random distribution, then the set of states is approximately Haar-random.


title: An Analysis of Recent Advances in Deepfake Image Detection in an Evolving Threat Landscape

abstract: Deepfake or synthetic images produced using deep generative models pose serious risks to online platforms. This has triggered several research efforts to accurately detect deepfake images, achieving excellent performance on publicly available deepfake datasets. In this work, we study 8 state-of-the-art detectors and argue that they are far from being ready for deployment due to two recent developments. First, the emergence of lightweight methods to customize large generative models, can enable an attacker to create many customized generators (to create deepfakes), thereby substantially increasing the threat surface. We show that existing defenses fail to generalize well to such \emph{user-customized generative models} that are publicly available today. We discuss new machine learning approaches based on content-agnostic features, and ensemble modeling to improve generalization performance against user-customized models. Second, the emergence of \textit{vision foundation models} -- machine learning models trained on broad data that can be easily adapted to several downstream tasks -- can be misused by attackers to craft adversarial deepfakes that can evade existing defenses. We propose a simple adversarial attack that leverages existing foundation models to craft adversarial samples \textit{without adding any adversarial noise}, through careful semantic manipulation of the image content. We highlight the vulnerabilities of several defenses against our attack, and explore directions leveraging advanced foundation models and adversarial training to defend against this new threat.


title: MAG$\pi$!: The Role of Replication in Typing Failure-Prone Communication

abstract: MAG$\pi$ is a Multiparty, Asynchronous and Generalised $\pi$-calculus that introduces timeouts into session types as a means of reasoning about failure-prone communication. Its type system guarantees that all possible message-loss is handled by timeout branches. In this work, we argue that the previous is unnecessarily strict. We present MAG$\pi$!, an extension serving as the first introduction of replication into Multiparty Session Types (MPST). Replication is a standard $\pi$-calculus construct used to model infinitely available servers. We lift this construct to type-level, and show that it simplifies specification of distributed client-server interactions. We prove properties relevant to generalised MPST: subject reduction, session fidelity and process property verification.


title: Dirac Impurity in a Luttinger liquid

abstract: We consider a linearly-dispersing quantum impurity interacting through a contact density-density term with a one-dimensional (1D) superfluid described by the Tomonaga-Luttinger liquid theory. Using a linked cluster expansion we characterize the impurity dynamics by calculating approximate expressions for the single-particle Green's function and for the time evolution of the density profile. We show the existence of two different dynamical regimes: (i) a $\textit{quasiparticle}$ regime, dominated by the presence of a finite lifetime for the host impurity, and (ii) an $\textit{infrared-dominated}$ regime, where the impurity causes a Anderson's orthogonality catastrophe of the 1D bath. We discuss the possible experimental consequences of these findings for cold atoms experiments.


title: An Overpartition Companion of Andrews and Keith's 2-colored $q$-series Identity

abstract: Andrews and Keith recently produced a general Schmidt type partition theorem using a novel interpretation of Stockhofe's bijection, which they used to find new $q$-series identities. This includes an identity for a trivariate 2-colored partition generating function. In this paper, their Schmidt type theorem is further generalized akin to how Franklin classically extended Glaisher's theorem. As a consequence, we obtain a companion to Andrews and Keith's 2-colored identity for overpartitions. These identities appear to be special cases of a much more general result.


title: ActiveRIR: Active Audio-Visual Exploration for Acoustic Environment Modeling

abstract: An environment acoustic model represents how sound is transformed by the physical characteristics of an indoor environment, for any given source/receiver location. Traditional methods for constructing acoustic models involve expensive and time-consuming collection of large quantities of acoustic data at dense spatial locations in the space, or rely on privileged knowledge of scene geometry to intelligently select acoustic data sampling locations. We propose active acoustic sampling, a new task for efficiently building an environment acoustic model of an unmapped environment in which a mobile agent equipped with visual and acoustic sensors jointly constructs the environment acoustic model and the occupancy map on-the-fly. We introduce ActiveRIR, a reinforcement learning (RL) policy that leverages information from audio-visual sensor streams to guide agent navigation and determine optimal acoustic data sampling positions, yielding a high quality acoustic model of the environment from a minimal set of acoustic samples. We train our policy with a novel RL reward based on information gain in the environment acoustic model. Evaluating on diverse unseen indoor environments from a state-of-the-art acoustic simulation platform, ActiveRIR outperforms an array of methods--both traditional navigation agents based on spatial novelty and visual exploration as well as existing state-of-the-art methods.


title: Fault-Tolerant Bounded Flow Preservers

abstract: Given a directed graph $G = (V, E)$ with $n$ vertices, $m$ edges and a designated source vertex $s\in V$, we consider the question of finding a sparse subgraph $H$ of $G$ that preserves the flow from $s$ up to a given threshold $\lambda$ even after failure of $k$ edges. We refer to such subgraphs as $(\lambda,k)$-fault-tolerant bounded-flow-preserver ($(\lambda,k)$-FT-BFP). Formally, for any $F \subseteq E$ of at most $k$ edges and any $v\in V$, the $(s, v)$-max-flow in $H \setminus F$ is equal to $(s, v)$-max-flow in $G \setminus F$, if the latter is bounded by $\lambda$, and at least $\lambda$ otherwise. Our contributions are summarized as follows: 1. We provide a polynomial time algorithm that given any graph $G$ constructs a $(\lambda,k)$-FT-BFP of $G$ with at most $\lambda 2^kn$ edges. 2. We also prove a matching lower bound of $\Omega(\lambda 2^kn)$ on the size of $(\lambda,k)$-FT-BFP. In particular, we show that for every $\lambda,k,n\geq 1$, there exists an $n$-vertex directed graph whose optimal $(\lambda,k)$-FT-BFP contains $\Omega(\min\{2^k\lambda n,n^2\})$ edges. 3. Furthermore, we show that the problem of computing approximate $(\lambda,k)$-FT-BFP is NP-hard for any approximation ratio that is better than $O(\log(\lambda^{-1} n))$.


title: Efficient NAS with FaDE on Hierarchical Spaces

abstract: Neural architecture search (NAS) is a challenging problem. Hierarchical search spaces allow for cheap evaluations of neural network sub modules to serve as surrogate for architecture evaluations. Yet, sometimes the hierarchy is too restrictive or the surrogate fails to generalize. We present FaDE which uses differentiable architecture search to obtain relative performance predictions on finite regions of a hierarchical NAS space. The relative nature of these ranks calls for a memory-less, batch-wise outer search algorithm for which we use an evolutionary algorithm with pseudo-gradient descent. FaDE is especially suited on deep hierarchical, respectively multi-cell search spaces, which it can explore by linear instead of exponential cost and therefore eliminates the need for a proxy search space. Our experiments show that firstly, FaDE-ranks on finite regions of the search space correlate with corresponding architecture performances and secondly, the ranks can empower a pseudo-gradient evolutionary search on the complete neural architecture search space.


title: Can Increasing the Hit Ratio Hurt Cache Throughput?

abstract: Software caches are an intrinsic component of almost every computer system. Consequently, caching algorithms, particularly eviction policies, are the topic of many papers. Almost all these prior papers evaluate the caching algorithm based on its hit ratio, namely the fraction of requests that are found in the cache, as opposed to disk. The hit ratio is viewed as a proxy for traditional performance metrics like system throughput or response time. Intuitively it makes sense that higher hit ratio should lead to higher throughput (and lower response time), since more requests are found in the cache (low access time) as opposed to the disk (high access time). This paper challenges this intuition. We show that increasing the hit ratio can actually hurt the throughput (and response time) for many caching algorithms. Our investigation follows a three-pronged approach involving (i) queueing modeling and analysis, (ii) implementation and measurement, and (iii) simulation to validate the accuracy of the queueing model. We also show that the phenomenon of throughput decreasing at higher hit ratios is likely to be more pronounced in future systems, where the trend is towards faster disks and higher numbers of cores per CPU.


title: When does a bent concatenation not belong to the completed Maiorana-McFarland class?

abstract: Every Boolean bent function $f$ can be written either as a concatenation $f=f_1||f_2$ of two complementary semi-bent functions $f_1,f_2$; or as a concatenation $f=f_1||f_2||f_3||f_4$ of four Boolean functions $f_1,f_2,f_3,f_4$, all of which are simultaneously bent, semi-bent, or 5-valued spectra-functions. In this context, it is essential to ask: When does a bent concatenation $f$ (not) belong to the completed Maiorana-McFarland class $\mathcal{M}^\#$? In this article, we answer this question completely by providing a full characterization of the structure of $\mathcal{M}$-subspaces for the concatenation of the form $f=f_1||f_2$ and $f=f_1||f_2||f_3||f_4$, which allows us to specify the necessary and sufficient conditions so that $f$ is outside $\mathcal{M}^\#$. Based on these conditions, we propose several explicit design methods of specifying bent functions outside $\mathcal{M}^\#$ in the special case when $f=g||h||g||(h+1)$, where $g$ and $h$ are bent functions.


title: NeRF-XL: Scaling NeRFs with Multiple GPUs

abstract: We present NeRF-XL, a principled method for distributing Neural Radiance Fields (NeRFs) across multiple GPUs, thus enabling the training and rendering of NeRFs with an arbitrarily large capacity. We begin by revisiting existing multi-GPU approaches, which decompose large scenes into multiple independently trained NeRFs, and identify several fundamental issues with these methods that hinder improvements in reconstruction quality as additional computational resources (GPUs) are used in training. NeRF-XL remedies these issues and enables the training and rendering of NeRFs with an arbitrary number of parameters by simply using more hardware. At the core of our method lies a novel distributed training and rendering formulation, which is mathematically equivalent to the classic single-GPU case and minimizes communication between GPUs. By unlocking NeRFs with arbitrarily large parameter counts, our approach is the first to reveal multi-GPU scaling laws for NeRFs, showing improvements in reconstruction quality with larger parameter counts and speed improvements with more GPUs. We demonstrate the effectiveness of NeRF-XL on a wide variety of datasets, including the largest open-source dataset to date, MatrixCity, containing 258K images covering a 25km^2 city area.


title: Step Differences in Instructional Video

abstract: Comparing a user video to a reference how-to video is a key requirement for AR/VR technology delivering personalized assistance tailored to the user's progress. However, current approaches for language-based assistance can only answer questions about a single video. We propose an approach that first automatically generates large amounts of visual instruction tuning data involving pairs of videos from HowTo100M by leveraging existing step annotations and accompanying narrations, and then trains a video-conditioned language model to jointly reason across multiple raw videos. Our model achieves state-of-the-art performance at identifying differences between video pairs and ranking videos based on the severity of these differences, and shows promising ability to perform general reasoning over multiple videos.


title: Deep RAW Image Super-Resolution. A NTIRE 2024 Challenge Survey

abstract: This paper reviews the NTIRE 2024 RAW Image Super-Resolution Challenge, highlighting the proposed solutions and results. New methods for RAW Super-Resolution could be essential in modern Image Signal Processing (ISP) pipelines, however, this problem is not as explored as in the RGB domain. Th goal of this challenge is to upscale RAW Bayer images by 2x, considering unknown degradations such as noise and blur. In the challenge, a total of 230 participants registered, and 45 submitted results during thee challenge period. The performance of the top-5 submissions is reviewed and provided here as a gauge for the current state-of-the-art in RAW Image Super-Resolution.


title: Tractable Conjunctive Queries over Static and Dynamic Relations

abstract: We investigate the evaluation of conjunctive queries over static and dynamic relations. While static relations are given as input and do not change, dynamic relations are subject to inserts and deletes. We characterise syntactically three classes of queries that admit constant update time and constant enumeration delay. We call such queries tractable. Depending on the class, the preprocessing time is linear, polynomial, or exponential (under data complexity, so the query size is constant). To decide whether a query is tractable, it does not suffice to analyse separately the sub-query over the static relations and the sub-query over the dynamic relations. Instead, we need to take the interaction between the static and the dynamic relations into account. Even when the sub-query over the dynamic relations is not tractable, the overall query can become tractable if the dynamic relations are sufficiently constrained by the static ones.


title: Laser Laboratory Beam Alignment Skills: Course Package

abstract: A series of tutorials, assessments, and instructor guides are presented as a complete package for an upper-level undergraduate, or lower-level graduate, laboratory-based course, or extended new-student seminar. The purpose of this package is to teach the students essential skills beneficial for working in an experimental optical laboratory by introducing them to fundamental laboratory skills, and advanced optical alignment techniques. It is assumed that the students do not have any prior optical laboratory training or experience and the tutorials are written using detailed step-by-step instructions for the students to follow independently without the need for continual instructor guidance. The tutorials are intended to establish a common fundamental knowledge base and set of optical alignment skills within the group of students taking the course. Two examples of the target student groups for this package are: (1) an upper-level undergraduate optics course with a laboratory component (i.e., an undergraduate institution similar to Cal Poly), or (2) a cohort of new graduate students to an experimental optical program whose undergraduate backgrounds can span anything from no experimental optical experience to extensive experimental optical experience (i.e., an experimental R1 doctoral university similar to the Institut f\"ur Angewandte Physik at the Universit\"at Bonn). The accompanying assessments and instructor guides for each tutorial are provided in this package for the convenience of the course instructor(s) to use in the course as-is, or to use for their own reference of what skills to assess and how to tell if the student did the tasks correctly.


title: Computational analysis of the language of pain: a systematic review

abstract: Objectives: This study aims to systematically review the literature on the computational processing of the language of pain, or pain narratives, whether generated by patients or physicians, identifying current trends and challenges. Methods: Following the PRISMA guidelines, a comprehensive literature search was conducted to select relevant studies on the computational processing of the language of pain and answer pre-defined research questions. Data extraction and synthesis were performed to categorize selected studies according to their primary purpose and outcome, patient and pain population, textual data, computational methodology, and outcome targets. Results: Physician-generated language of pain, specifically from clinical notes, was the most used data. Tasks included patient diagnosis and triaging, identification of pain mentions, treatment response prediction, biomedical entity extraction, correlation of linguistic features with clinical states, and lexico-semantic analysis of pain narratives. Only one study included previous linguistic knowledge on pain utterances in their experimental setup. Most studies targeted their outcomes for physicians, either directly as clinical tools or as indirect knowledge. The least targeted stage of clinical pain care was self-management, in which patients are most involved. Affective and sociocultural dimensions were the least studied domains. Only one study measured how physician performance on clinical tasks improved with the inclusion of the proposed algorithm. Discussion: This review found that future research should focus on analyzing patient-generated language of pain, developing patient-centered resources for self-management and patient-empowerment, exploring affective and sociocultural aspects of pain, and measuring improvements in physician performance when aided by the proposed tools.


title: Optimal entanglement generation in optomechanical systems via Krotov control of covariance matrix dynamics

abstract: We investigated the optimal control of a continuous variable system, focusing on entanglement generation in an optomechanical system without utilizing Fock basis cutoffs. Using the Krotov algorithm to optimize the dynamics of the covariance matrix, we illustrated how to design a control objective function to manipulate the dynamics of the system to generate a desirable target state. We showed that entanglement between the macroscopic mechanical mirror and the quantum optical cavity can be reliably generated through imposing the control on the detuning of the external laser field. It has be shown that the control may be still achieved when imposing spectral constraints on the external field to restrict it to low-frequency components. In addition, we systematically studies the effects of quantum control on non-Markovian open system dynamics. We observed that memory effects can play a beneficial role in mitigating the detrimental impact of environmental noises. Specifically, the entanglement generated shows reduced decay in the presence of these memory effects.


title: Which statistical hypotheses are afflicted with false confidence?

abstract: The false confidence theorem establishes that, for any data-driven, precise-probabilistic method for uncertainty quantification, there exists (non-trivial) false hypotheses to which the method tends to assign high confidence. This raises concerns about the reliability of these widely-used methods, and shines new light on the consonant belief function-based methods that are provably immune to false confidence. But an existence result alone is insufficient. Towards a partial answer to the title question, I show that, roughly, complements of convex hypotheses are afflicted by false confidence.


title: Two qubit gate with macroscopic singlet-triplet qubits in synthetic spin-one chains in InAsP quantum dot nanowires

abstract: We present a theory of a two qubit gate with macroscopic singlet-triplet (ST) qubits in synthetic spin-one chains in InAsP quantum dot nanowires. The macroscopic topologically protected singlet-triplet qubits are built with two spin-half Haldane quasiparticles. The Haldane quasiparticles are hosted by synthetic spin-one chain realized in chains of InAsP quantum dots embedded in an InP nanowire, with four electrons each. The quantum dot nanowire is described by a Hubbard-Kanamori (HK) Hamiltonian derived from an interacting atomistic model. Using exact diagonalization and Matrix Product States (MPS) tools, we demonstrate that the low-energy behavior of the HK Hamiltonian is effectively captured by an antiferromagnetic spin-one chain Hamiltonian. Next we consider two macroscopic qubits and present a method for creating a tunable coupling between the two macroscopic qubits by inserting an intermediate control dot between the two chains. Finally, we propose and demonstrate two approaches for generating highly accurate two-ST qubit gates : (1) by controlling the length of each qubit, and (2) by employing different background magnetic fields for the two qubits.


title: Pair creation in a space with spin noncommutativity of coordinates

abstract: We study the Schwinger pair creation process for Dirac fermions in the presence of a Volkov plane wave and a constant external electric field by applying spin non-commutativity of coordinates. Using the Schwinger proper time method, the probability of pair creation from vacuum is calculated precisely and analytically. In the case of the Volkov plane wave, it is shown that the probability is zero. However, for a constant electric field, the spin noncommutativity of the coordinates contributes to the pair creation process and affects the calculated probability.


title: A proof theory of (omega-)context-free languages, via non-wellfounded proofs

abstract: We investigate the proof theory of regular expressions with fixed points, construed as a notation for (omega-)context-free grammars. Starting with a hypersequential system for regular expressions due to Das and Pous, we define its extension by least fixed points and prove soundness and completeness of its non-wellfounded proofs for the standard language model. From here we apply proof-theoretic techniques to recover an infinitary axiomatisation of the resulting equational theory, complete for inclusions of context-free languages. Finally, we extend our syntax by greatest fixed points, now computing omega-context-free languages. We show the soundness and completeness of the corresponding system using a mixture of proof-theoretic and game-theoretic techniques.


title: SECO: Secure Inference With Model Splitting Across Multi-Server Hierarchy

abstract: In the context of prediction-as-a-service, concerns about the privacy of the data and the model have been brought up and tackled via secure inference protocols. These protocols are built up by using single or multiple cryptographic tools designed under a variety of different security assumptions. In this paper, we introduce SECO, a secure inference protocol that enables a user holding an input data vector and multiple server nodes deployed with a split neural network model to collaboratively compute the prediction, without compromising either party's data privacy. We extend prior work on secure inference that requires the entire neural network model to be located on a single server node, to a multi-server hierarchy, where the user communicates to a gateway server node, which in turn communicates to remote server nodes. The inference task is split across the server nodes and must be performed over an encrypted copy of the data vector. We adopt multiparty homomorphic encryption and multiparty garbled circuit schemes, making the system secure against dishonest majority of semi-honest servers as well as protecting the partial model structure from the user. We evaluate SECO on multiple models, achieving the reduction of computation and communication cost for the user, making the protocol applicable to user's devices with limited resources.


title: AutoGluon-Multimodal (AutoMM): Supercharging Multimodal AutoML with Foundation Models

abstract: AutoGluon-Multimodal (AutoMM) is introduced as an open-source AutoML library designed specifically for multimodal learning. Distinguished by its exceptional ease of use, AutoMM enables fine-tuning of foundation models with just three lines of code. Supporting various modalities including image, text, and tabular data, both independently and in combination, the library offers a comprehensive suite of functionalities spanning classification, regression, object detection, semantic matching, and image segmentation. Experiments across diverse datasets and tasks showcases AutoMM's superior performance in basic classification and regression tasks compared to existing AutoML tools, while also demonstrating competitive results in advanced tasks, aligning with specialized toolboxes designed for such purposes.


title: Dynamically induced multiferroic polarization

abstract: We describe a mechanism by which both ferroelectric polarization and magnetization can be created in nonpolar, nonmagnetic materials. Using a combination of phenomenological modeling and first-principles calculations, we demonstrate that ferroelectric polarization, magnetization, or both simultaneously can be transiently induced by an ultrashort laser pulse upon linearly, circularly, or elliptically polarized excitation of phonon modes in $\gamma$-LiBO$_2$. The direction and magnitude of the multiferroic polarization can be controlled by the chirality of the laser pulse and the phonon modes, offering a pathway for controlling multiferroicity and magnetoelectricity on ultrafast timescales.


title: Inclusive studies of two- and three-nucleon short-range correlations in $^3$H and $^3$He

abstract: Inclusive electron scattering at carefully chosen kinematics can isolate scattering from short-range correlations (SRCs), produced through hard, short-distance interactions of nucleons in the nucleus. Because the two-nucleon (2N) SRCs arise from the same N-N interaction in all nuclei, the cross section in the SRC-dominated regime is identical up to an overall scaling factor, and the A/2H cross section ratio is constant in this region. This scaling behavior has been used to identify SRC dominance and to map out the contribution of SRCs for a wide range of nuclei. We examine this scaling behavior at lower momentum transfers using new data on $^2$H, $^3$H, and $^3$He which show that the scaling region is larger than in heavy nuclei. Based on the improved scaling, especially for $^3$H/$^3$He, we examine the ratios at kinematics where three-nucleon SRCs may play an important role. The data for the largest initial nucleon momenta are consistent with isolation of scattering from 3N-SRCs, and suggest that the very-highest momentum nucleons in $^3$He have a nearly isospin-independent momentum configuration, or a small enhancement of the proton distribution.


title: Rigorous Formalization of Orbital Functionals: Addressing the Noninteracting $v$-Representability Problem

abstract: Functionals that explicitly depend on occupied, unoccupied, or fractionally-occupied orbitals are rigorously formalized using Clifford algebras, and a variational principle is established that facilitates orbital (and occupation) optimization as a formal implementation method. Theoretically, these methodologies circumvent the limitations encountered in the original Kohn-Sham and related methods, particularly when the interacting system's electron density does not match that of any noninteracting reference system. This work redefines orbital (and occupation) functionals from a novel perspective, positioning them not merely as extensions of traditional density functionals, but as superior, rigorous alternatives.


title: K-core attack, equilibrium K-core, and kinetically constrained spin system

abstract: Kinetically constrained spin systems are toy models of supercooled liquids and amorphous solids. In this Perspective, we revisit the prototypical Fredrickson-Andersen (FA) kinetically constrained model from the viewpoint of K-core combinatorial optimization. Each kinetic cluster of the FA system, containing all the mutually visitable microscopic occupation configurations, is exactly the solution space of a specific instance of the K-core attack problem. The whole set of different jammed occupation patterns of the FA system is the configuration space of an equilibrium K-core problem. Based on recent theoretical results achieved on the K-core attack and equilibrium K-core problems, we discuss the thermodynamic spin glass phase transitions and the maximum occupation density of the fully unfrozen FA kinetic cluster, and the minimum occupation density and extreme vulnerability of the partially frozen (jammed) kinetic clusters. The equivalence between K-core attack and the fully unfrozen FA kinetic cluster also implies a new way of sampling K-core attack solutions.


title: The non-Lefschetz locus of conics

abstract: A graded Artinian algebra $A$ has the Weak Lefschetz Property if there exists a linear form $\ell$ such that the multiplication map by $\ell:[A]_i\to [A]_{i+1}$ has maximum rank in every degree. The linear forms satisfying this property form a Zariski-open set; its complement is called the non-Lefschetz locus of $A$. In this paper, we investigate analogous questions for degree-two forms rather than lines. We prove that any complete intersection $A=k[x_1,x_2,x_3]/(f_1,f_2,f_3)$, with $\text{char } k=0$, has the Strong Lefschetz Property at range $2$, i.e. there exists a linear form $\ell\in [R]_1$, such that the multiplication map $\times \ell^2: [M]_i\to [M]_{i+2}$ has maximum rank in each degree. Then we focus on the forms of degree 2 such that $ \times C: [A]_i\to [A]_{i+2}$ fails to have maximum rank in some degree $i$. The main result shows that the non-Lefschetz locus of conics for a general complete intersection $A=k[x_1,x_2,x_3]/(f_1,f_2,f_3)$ has the expected codimension as a subscheme of $\mathbb{P}^5$. The hypothesis of generality is necessary. We include examples of monomial complete intersections in which the non-Lefschetz locus of conics has different codimension. To extend a similar result to the first cohomology modules of rank $2$ vector bundles over $\mathbb{P}^2$, we explore the connection between non-Lefschetz conics and jumping conics. The non-Lefschetz locus of conics is a subset of the jumping conics. Unlike the case of the lines, this can be proper when $\mathcal{E}$ is semistable with first Chern class even.


title: Synthesis of layered gold tellurides AuSbTe and Au$_2$Te$_3$ and their semiconducting and metallic behavior

abstract: Previous studies on natural samples of pampaloite (AuSbTe) revealed the crystal structure of a potentially cleavable and/or exfoliable material, while studies on natural and synthetic montbrayite (Sb-containing Au$_2$Te$_3$) claimed various chemical compositions for this low symmetry compound. Few investigations of synthetic samples have been reported for both materials, leaving much of their chemical, thermal and electronic characteristics unknown. Here, we investigate the stability, electronic properties and synthesis of the gold antimony tellurides AuSbTe and Au$_{1.9}$Sb$_{0.46}$Te$_{2.64}$ (montbrayite). Differential thermal analysis and $\textit{in situ}$ powder x-ray diffraction revealed that AuSbTe is incongruently melting, while Au$_{1.9}$Sb$_{0.46}$Te$_{2.64}$ is congruently melting. Calculations of the band structures and four-point resistivity measurements showed that AuSbTe is a semiconductor and Au$_{1.9}$Sb$_{0.46}$Te$_{2.64}$ a metal. Various synthesis attempts confirmed the limited stable chemical composition of Au$_{1.9}$Sb$_{0.46}$Te$_{2.64}$, identified successful methods to synthesize both compounds, and highlighted the challenges associated with single crystal synthesis of AuSbTe.


title: A communication protocol based on NK boolean networks for coordinating collective action

abstract: In this paper, I describe a digital social communication protocol (Gridt) based on Kauffman's NK boolean networks. The main assertion is that a communication network with this topology supports infinitely scalable self-organization of collective action without requiring hierarchy or central control. The paper presents the functionality of this protocol and substantiates the following propositions about its function and implications: (1) Communication via NK boolean networks facilitates coordination on collective action games for any variable number of users, and justifies the assumption that the game's payoff structure is common knowledge; (2) Use of this protocol increases its users' transfer empowerment, a form of intrinsic motivation that motivates coordinated action independent of the task or outcome; (3) Communication via this network can be considered 'cheap talk' and benefits the strategy of players with aligned interests, but not of players with conflicting interests; (4) Absence of significant barriers for its realization warrants a timely and continuing discussion on the ethics and implications of this technology; (5) Full realization of the technology's potential calls for a free-to-use service with maximal transparency of design and associated economic incentives.


title: Synergizing Privacy and Utility in Data Analytics Through Advanced Information Theorization

abstract: This study develops a novel framework for privacy-preserving data analytics, addressing the critical challenge of balancing data utility with privacy concerns. We introduce three sophisticated algorithms: a Noise-Infusion Technique tailored for high-dimensional image data, a Variational Autoencoder (VAE) for robust feature extraction while masking sensitive attributes and an Expectation Maximization (EM) approach optimized for structured data privacy. Applied to datasets such as Modified MNIST and CelebrityA, our methods significantly reduce mutual information between sensitive attributes and transformed data, thereby enhancing privacy. Our experimental results confirm that these approaches achieve superior privacy protection and retain high utility, making them viable for practical applications where both aspects are crucial. The research contributes to the field by providing a flexible and effective strategy for deploying privacy-preserving algorithms across various data types and establishing new benchmarks for utility and confidentiality in data analytics.


title: Young Stellar Objects in NGC 346: A JWST NIRCam/MIRI Imaging Survey

abstract: We present a JWST imaging survey with NIRCam and MIRI of NGC 346, the brightest star-forming region in the Small Magellanic Cloud (SMC). By combining aperture and point spread function (PSF) photometry of eleven wavelength bands across these two instruments, we have detected more than 200,000 unique sources. Using near-infrared (IR) color analysis, we observe various evolved and young populations, including 196 young stellar objects (YSOs) and pre-main sequence stars suitable for forthcoming spectroscopic studies. We expand upon this work, creating mid-IR color-magnitude diagrams and determining color cuts to identify 833 reddened sources which are YSO candidates. We observe that these candidate sources are spatially associated with regions of dusty, filamentary nebulosity. Furthermore, we fit model YSO spectral energy distributions (SEDs) to a selection of sources with detections across all of our MIRI bands. We classify with a high degree of confidence 23 YSOs in this sample and estimate their radii, bolometric temperatures, luminosities, and masses. We detect YSOs approaching 1 solar mass, the lowest-mass extragalactic YSOs confirmed to date.


title: muRelBench: MicroBenchmarks for Zonotope Domains

abstract: We present \texttt{muRelBench}, a suite of synthetic benchmarks for weakly-relational abstract domains and their operations. For example, the benchmarks can support experimental evaluations of proposed algorithms such as domain closure.


title: The Ethics of Advanced AI Assistants

abstract: This paper focuses on the opportunities and the ethical and societal risks posed by advanced AI assistants. We define advanced AI assistants as artificial agents with natural language interfaces, whose function is to plan and execute sequences of actions on behalf of a user, across one or more domains, in line with the user's expectations. The paper starts by considering the technology itself, providing an overview of AI assistants, their technical foundations and potential range of applications. It then explores questions around AI value alignment, well-being, safety and malicious uses. Extending the circle of inquiry further, we next consider the relationship between advanced AI assistants and individual users in more detail, exploring topics such as manipulation and persuasion, anthropomorphism, appropriate relationships, trust and privacy. With this analysis in place, we consider the deployment of advanced assistants at a societal scale, focusing on cooperation, equity and access, misinformation, economic impact, the environment and how best to evaluate advanced AI assistants. Finally, we conclude by providing a range of recommendations for researchers, developers, policymakers and public stakeholders.


title: Computationally Efficient Molecular Integrals of Solid Harmonic Gaussian Orbitals Using Quantum Entanglement of Angular Momentum

abstract: Evaluating multi-center molecular integrals with Cartesian Gaussian-type basis sets has been a long-standing bottleneck in electronic structure theory calculation for solids and molecules. We have developed a vector-coupling and vector-uncoupling scheme to solve molecular Coulomb integrals with solid harmonics basis functions(SHGO). Solid harmonics are eigenstates of angular momentum, making it possible to factorize molecular integrals. By combining solid harmonic addition, differential and product rules, the computationally costly multi-center four-center integrals can be factored into an angular part and a radial component dependent on the atomic positions. The potential speed-up ratio in evaluating molecular nuclear Coulomb integrals in our method can reach up to four orders of magnitude for atomic orbitals with high angular momentum quantum numbers. The foundation underpinning the mathematical efficiency is the quantum angular momentum theory, where both vector-coupling and vector-uncoupling schemes correspond to unitary Clebsch-Gordan transformations that act on quantum angular momentum states, influencing their degree of entanglement. By incorporating quantum angular momentum through these transformations, the entanglement of the states can be reduced, and the less entanglement there is for a quantum system, the easier it is to simulate. The highly efficient method unveiled here opens new avenues for accelerated material and molecule design and discovery.


title: An Analog of the Rothe Method for Some Ill-Posed Problems for Parabolic Equations

abstract: The classical method of Rothe (1930) proves existence and uniqueness theorems for initial boundary value problems for parabolic equations using the explicit finite difference scheme with respect to time. On the other hand, time dependent experimental data are always collected on discrete time grids, and the grid step size cannot be arranged to be infinitely small. The same is true for numerical studies. Therefore, this motivates a study of both unique continuation problems and coefficient inverse problems for parabolic equations, written in the form of finite differences with respect to time and without allowing the grid step size to tend to zero. We call this "t-finite difference framework" (TFD). Dissimilarities with the classical Rothe method are named as well. A long standing open question addressed for the first time, although within the TFD framework. A specific applied example of monitoring epidemics using boundary measurements is discussed. In particular, a numerical method for this problem is constructed and its global convergence is proven.


title: Confronting the Diversity Problem: The Limits of Galaxy Rotation Curves as a tool to Understand Dark Matter Profiles

abstract: While galaxy rotation curves provide one of the most powerful methods for measuring dark matter profiles in the inner regions of rotation-supported galaxies, at the dwarf scale there are factors that can complicate this analysis. Given the expectation of a universal profile in dark matter-only simulations, the diversity of observed rotation curves has become an often-discussed issue in Lambda Cold Dark Matter cosmology on galactic scales. We analyze a suite of Feedback in Realistic Environments (FIRE) simulations of $10^{10}-10^{12}$ $M_\odot$ halos with standard cold dark matter, and compare the true circular velocity to rotation curve reconstructions. We find that, for galaxies with well-ordered gaseous disks, the measured rotation curve may deviate from true circular velocity by at most 10% within the radius of the disk. However, non-equilibrium behavior, non-circular motions, and non-thermal and non-kinetic stresses may cause much larger discrepancies of 50% or more. Most rotation curve reconstructions underestimate the true circular velocity, while some reconstructions transiently over-estimate it in the central few kiloparsecs due to dynamical phenomena. We further demonstrate that the features that contribute to these failures are not always visibly obvious in HI observations. If such dwarf galaxies are included in galaxy catalogs, they may give rise to the appearance of "artificial" rotation curve diversity that does not reflect the true variation in underlying dark matter profiles.


title: URL: Universal Referential Knowledge Linking via Task-instructed Representation Compression

abstract: Linking a claim to grounded references is a critical ability to fulfill human demands for authentic and reliable information. Current studies are limited to specific tasks like information retrieval or semantic matching, where the claim-reference relationships are unique and fixed, while the referential knowledge linking (RKL) in real-world can be much more diverse and complex. In this paper, we propose universal referential knowledge linking (URL), which aims to resolve diversified referential knowledge linking tasks by one unified model. To this end, we propose a LLM-driven task-instructed representation compression, as well as a multi-view learning approach, in order to effectively adapt the instruction following and semantic understanding abilities of LLMs to referential knowledge linking. Furthermore, we also construct a new benchmark to evaluate ability of models on referential knowledge linking tasks across different scenarios. Experiments demonstrate that universal RKL is challenging for existing approaches, while the proposed framework can effectively resolve the task across various scenarios, and therefore outperforms previous approaches by a large margin.


title: On forced RF generation of CW magnetrons for SRF accelerators

abstract: CW magnetrons, initially developed for industrial RF heaters, were suggested to power RF cavities of superconducting accelerators due to their higher efficiency and lower cost than traditionally used klystrons, IOTs or solid-state amplifiers. RF amplifiers driven by a master oscillator serve as coherent RF sources. CW magnetrons are regenerative RF generators with a huge regenerative gain. This causes regenerative instability with a large noise when a magnetron operates with the anode voltage above the threshold of self-excitation. Traditionally for stabilization of magnetrons is used injection locking by a quite small signal. Then the magnetron except the injection locked oscillations may generate noise. This may preclude use of standard CW magnetrons in some SRF accelerators. Recently we developed briefly described below a mode for forced RF generation of CW magnetrons when the magnetron startup is provided by the injected forcing signal and the regenerative noise is suppressed. The mode is most suitable for powering high Q-factor SRF cavities.


title: Semgrex and Ssurgeon, Searching and Manipulating Dependency Graphs

abstract: Searching dependency graphs and manipulating them can be a time consuming and challenging task to get right. We document Semgrex, a system for searching dependency graphs, and introduce Ssurgeon, a system for manipulating the output of Semgrex. The compact language used by these systems allows for easy command line or API processing of dependencies. Additionally, integration with publicly released toolkits in Java and Python allows for searching text relations and attributes over natural text.


title: Investigating the prompt leakage effect and black-box defenses for multi-turn LLM interactions

abstract: Prompt leakage in large language models (LLMs) poses a significant security and privacy threat, particularly in retrieval-augmented generation (RAG) systems. However, leakage in multi-turn LLM interactions along with mitigation strategies has not been studied in a standardized manner. This paper investigates LLM vulnerabilities against prompt leakage across 4 diverse domains and 10 closed- and open-source LLMs. Our unique multi-turn threat model leverages the LLM's sycophancy effect and our analysis dissects task instruction and knowledge leakage in the LLM response. In a multi-turn setting, our threat model elevates the average attack success rate (ASR) to 86.2%, including a 99% leakage with GPT-4 and claude-1.3. We find that some black-box LLMs like Gemini show variable susceptibility to leakage across domains - they are more likely to leak contextual knowledge in the news domain compared to the medical domain. Our experiments measure specific effects of 6 black-box defense strategies, including a query-rewriter in the RAG scenario. Our proposed multi-tier combination of defenses still has an ASR of 5.3% for black-box LLMs, indicating room for enhancement and future direction for LLM security research.


title: Stabilization of hyperbolic reaction-diffusion systems on directed networks through the generalized Routh-Hurwitz criterion for complex polynomials

abstract: The study of dynamical systems on complex networks is of paramount importance in engineering, given that many natural and artificial systems find a natural embedding on discrete topologies. For instance, power grids, chemical reactors and the brain, to name a few, can be modeled through the network formalism by considering elementary units coupled via the links. In recent years, scholars have developed numerical and theoretical tools to study the stability of those coupled systems when subjected to perturbations. In such framework, it was found that asymmetric couplings enhance the possibilities for such systems to become unstable. Moreover, in this scenario the polynomials whose stability needs to be studied bear complex coefficients, which makes the analysis more difficult. In this work, we put to use a recent extension of the well-known Routh-Hurwitz stability criterion, allowing to treat the complex coefficient case. Then, using the Brusselator model as a case study, we discuss the stability conditions and the regions of parameters when the networked system remains stable.


title: Mitigating Automotive Radar Interference using Onboard Intelligent Reflective Surface

abstract: The use of automotive radars is gaining popularity as a means to enhance a vehicle's sensing capabilities. However, these radars can suffer from interference caused by transmissions from other radars mounted on nearby vehicles. To address this issue, we investigate the use of an onboard intelligent reflective surface (IRS) to artificially increase a vehicle's effective radar cross section (RCS), or its "electromagnetic visibility." Our proposed method utilizes the IRS's ability to form a coherent reflection of the incident radar waveform back towards the source radar, thereby improving radar performance under interference. We evaluated both passive and active IRS options. Passive IRS, which does not support reflection amplification, was found to be counter-productive and actually decreased the vehicle's effective RCS instead of enhancing it. In contrast, active IRS, which can amplify the reflection power of individual elements, effectively combats all types of automotive radar interference when the reflective elements are configured with a 15-35 dB reflection gain.


title: Standing wave in perturbed anti-de Sitter spacetimes with a naked singularity

abstract: In the framework of black hole perturbation theory, this work investigates the standing wave solutions in Reissner-Nordtsr\"om (RN) anti-de Sitter (AdS) spacetimes with a naked singularity. These solutions can be viewed as a specific class of quasinormal modes exhibiting distinct characteristics. The imaginary parts of their frequencies are numerically vanishing, allowing them to persist over an extended period. Besides, these modes are predominantly stationary in terms of the evolution of spacetime waveforms. The numerical calculations are carried out employing the finite difference method, and the quasinormal frequencies extracted by the Prony method are shown to be consistent with those obtained using the matrix method. The obtained waveforms and quasinormal frequencies are shown to be drastically different from those of an extreme RN-AdS black hole. As the quasinormal modes are primarily dissipative, the non-dissipative standing waves are attributed to the nature that the singularity can neither be a sink nor a source of the gravitational system.


title: Enhancing Privacy in Face Analytics Using Fully Homomorphic Encryption

abstract: Modern face recognition systems utilize deep neural networks to extract salient features from a face. These features denote embeddings in latent space and are often stored as templates in a face recognition system. These embeddings are susceptible to data leakage and, in some cases, can even be used to reconstruct the original face image. To prevent compromising identities, template protection schemes are commonly employed. However, these schemes may still not prevent the leakage of soft biometric information such as age, gender and race. To alleviate this issue, we propose a novel technique that combines Fully Homomorphic Encryption (FHE) with an existing template protection scheme known as PolyProtect. We show that the embeddings can be compressed and encrypted using FHE and transformed into a secure PolyProtect template using polynomial transformation, for additional protection. We demonstrate the efficacy of the proposed approach through extensive experiments on multiple datasets. Our proposed approach ensures irreversibility and unlinkability, effectively preventing the leakage of soft biometric attributes from face embeddings without compromising recognition accuracy.


title: Probabilistic Tracker Management Policies for Low-Cost and Scalable Rowhammer Mitigation

abstract: This paper focuses on mitigating DRAM Rowhammer attacks. In recent years, solutions like TRR have been deployed in DDR4 DRAM to track aggressor rows and then issue a mitigative action by refreshing neighboring victim rows. Unfortunately, such in-DRAM solutions are resource-constrained (only able to provision few tens of counters to track aggressor rows) and are prone to thrashing based attacks, that have been used to fool them. Secure alternatives for in-DRAM trackers require tens of thousands of counters. In this work, we demonstrate secure and scalable rowhammer mitigation using resource-constrained trackers. Our key idea is to manage such trackers with probabilistic management policies (PROTEAS). PROTEAS includes component policies like request-stream sampling and random evictions which enable thrash-resistance for resource-constrained trackers. We show that PROTEAS can secure small in-DRAM trackers (with 16 counters per DRAM bank) even when Rowhammer thresholds drop to 500 while incurring less than 3% slowdown. Moreover, we show that PROTEAS significantly outperforms a recent similar probabilistic proposal from Samsung (called DSAC) while achieving 11X - 19X the resilience against Rowhammer.


title: Translation of Multifaceted Data without Re-Training of Machine Translation Systems

abstract: Translating major language resources to build minor language resources becomes a widely-used approach. Particularly in translating complex data points composed of multiple components, it is common to translate each component separately. However, we argue that this practice often overlooks the interrelation between components within the same data point. To address this limitation, we propose a novel MT pipeline that considers the intra-data relation in implementing MT for training data. In our MT pipeline, all the components in a data point are concatenated to form a single translation sequence and subsequently reconstructed to the data components after translation. We introduce a Catalyst Statement (CS) to enhance the intra-data relation, and Indicator Token (IT) to assist the decomposition of a translated sequence into its respective data components. Through our approach, we have achieved a considerable improvement in translation quality itself, along with its effectiveness as training data. Compared with the conventional approach that translates each data component separately, our method yields better training data that enhances the performance of the trained model by 2.690 points for the web page ranking (WPR) task, and 0.845 for the question generation (QG) task in the XGLUE benchmark.


title: Central charges in local mirror symmetry via hypergeometric duality

abstract: We apply the better-behaved GKZ hypergeometric systems to study toric Calabi-Yau Deligne-Mumford stacks and their Hori-Vafa mirrors given by affine hypersurfaces in algebraic tori. We show the equality between A-brane and B-brane central charges, in terms of period integrals and hypergeometric series respectively. This settles a conjecture of Hosono, which could also be considered as a generalization of the Gamma conjecture for local mirror symmetry.


title: An Experiment with Electric Guitar Signals for Exploring the Virtuosity based on the Entropy of Music

abstract: We analyze the concept of virtuosity as a collective attribute in music and its relationship with the entropy based on an experiment that compares two sets of digital signals played by composer-performer electric guitarists. Based on an interdisciplinary approach related to the complex systems, we computed the spectrum of signals, identified statistical distributions that best describe them, and measured the Shannon entropy to establish their diversity. Findings suggested that virtuosity might be related to a range of entropy values that identify levels of diversity of the frequency components of audio signals. Despite the presence of different values of entropy in the two sets of signals, they are statistically similar. Therefore, entropy values can be interpreted as levels of virtuosity in music.


title: OmniSearchSage: Multi-Task Multi-Entity Embeddings for Pinterest Search

abstract: In this paper, we present OmniSearchSage, a versatile and scalable system for understanding search queries, pins, and products for Pinterest search. We jointly learn a unified query embedding coupled with pin and product embeddings, leading to an improvement of $>8\%$ relevance, $>7\%$ engagement, and $>5\%$ ads CTR in Pinterest's production search system. The main contributors to these gains are improved content understanding, better multi-task learning, and real-time serving. We enrich our entity representations using diverse text derived from image captions from a generative LLM, historical engagement, and user-curated boards. Our multitask learning setup produces a single search query embedding in the same space as pin and product embeddings and compatible with pre-existing pin and product embeddings. We show the value of each feature through ablation studies, and show the effectiveness of a unified model compared to standalone counterparts. Finally, we share how these embeddings have been deployed across the Pinterest search stack, from retrieval to ranking, scaling to serve $300k$ requests per second at low latency. Our implementation of this work is available at https://github.com/pinterest/atg-research/tree/main/omnisearchsage.


title: Reconstructing Cosmic History: JWST-Extended Mapping of the Hubble Flow from z$ \sim $0 to z$ \sim$7.5 with HII Galaxies

abstract: Over twenty years ago, Type Ia Supernovae (SNIa) [arXiv:astro-ph/9805201, arXiv:astro-ph/9812133] observations revealed an accelerating Universe expansion, suggesting a significant dark energy presence, often modelled as a cosmological constant, $\Lambda$. Despite its pivotal role in cosmology, the standard $\Lambda$CDM model remains largely underexplored in the redshift range between distant SNIa and the Cosmic Microwave Background (CMB). This study harnesses the James Webb Space Telescope's advanced capabilities to extend the Hubble flow mapping across an unprecedented redshift range, from $z \approx 0$ to $z \approx 7.5$. Utilising a dataset of 231 HII galaxies and extragalactic HII regions, we employ the $\text{L}-\sigma$ relation, correlating the luminosity of Balmer lines with their velocity dispersion, to define a competitive technique for measuring cosmic distances. This approach maps the Universe's expansion over more than 12 billion years, covering 95\% of its age. Our analysis, using Bayesian inference, constrains the parameter space $\lbrace h, \Omega_m, w_0\rbrace = \lbrace 0.731\pm0.039, 0.302^{+0.12}_{-0.069}, -1.01^{+0.52}_{-0.29}\rbrace $ (statistical) for a flat Universe. These results provide new insights into cosmic evolution and suggest uniformity in the photo-kinematical properties of young massive ionizing clusters in giant HII regions and HII galaxies across most of the Universe's history.


title: Interpreting Answers to Yes-No Questions in Dialogues from Multiple Domains

abstract: People often answer yes-no questions without explicitly saying yes, no, or similar polar keywords. Figuring out the meaning of indirect answers is challenging, even for large language models. In this paper, we investigate this problem working with dialogues from multiple domains. We present new benchmarks in three diverse domains: movie scripts, tennis interviews, and airline customer service. We present an approach grounded on distant supervision and blended training to quickly adapt to a new dialogue domain. Experimental results show that our approach is never detrimental and yields F1 improvements as high as 11-34%.


title: New Timing Results of MSPs from NICER Observations

abstract: Millisecond pulsars (MSPs) are known for their long-term stability. Using six years of observations from the Neutron Star Interior Composition Explorer (NICER), we have conducted an in-depth analysis of the X-ray timing results for six MSPs: PSRs B1937+21, B1821$-$24, J0437$-$4715, J0030+0451, J0218+4232, and J2124$-$3358. The timing stability parameter $\sigma_z$ has been calculated, revealing remarkable timing precision on the order of $10^{-14}$ for PSRs B1937+21 and J0437$-$4715, and $10^{-13}$ for PSRs B1821$-$24, J0218+4232, and J0030+0451 over a timescale of 1000 days. These findings underscore the feasibility of autonomous in-orbit timekeeping using X-ray observations of MSPs. In addition, the consistency of long-term spin-down noise in the X-ray and radio bands has been investigated by comparison with IPTA radio data.


title: Realisation of de Gennes$'$ Absolute Superconducting Switch with a Heavy Metal Interface

abstract: In 1966, Pierre-Gilles de Gennes proposed a non-volatile mechanism for switching superconductivity on and off in a magnetic device. This involved a superconductor (S) sandwiched between ferromagnetic (F) insulators in which the net magnetic exchange field could be controlled through the magnetisation-orientation of the F layers. Because superconducting switches are attractive for a range of applications, extensive studies have been carried out on $F/S/F$ structures. Although these have demonstrated a sensitivity of the superconducting critical temperature ($T_{c}$) to parallel (P) and antiparallel (AP) magnetisation-orientations of the F layers, corresponding shifts in $T_c$ (i.e., ${\Delta}T_c = T_{c,AP} - T_{c,P}$) are lower than predicted with ${\Delta}T_c$ only a small fraction of $T_{c,AP}$, precluding the development of applications. Here, we report $EuS/Au/Nb/EuS$ structures where EuS is an insulating ferromagnet, Nb is a superconductor and Au is a heavy metal. For P magnetisations, the superconducting state in this structure is quenched down to the lowest measured temperature of 20 mK meaning that ${\Delta}T_c/T_{c,AP}$ is practically 1. The key to this so-called absolute switching effect is a sizable spin-mixing conductance at the $EuS/Au$ interface which ensures a robust magnetic proximity effect, unlocking the potential of $F/S/F$ switches for low power electronics.


title: Deci-Hz gravitational waves from the self-interacting axion cloud around the rotating stellar mass black hole

abstract: Gravitational waves from condensates of ultra-light particles, such as axion, around rotating black holes are a promising probe to search for unknown physics. For this purpose, we need to characterize the signal to detect the gravitational waves, which requires tracking the evolution of the condensates, including various effects. The axion self-interaction causes the non-linear coupling between the superradiant modes, resulting in complicated branching of evolution. Most studies so far have considered evolution under the non-relativistic approximation or the two-mode approximation. In this paper, we numerically investigate the evolution of the axion condensate without these approximations, taking higher multipole modes into account. We also investigate the possible signature in gravitational waves from the condensate. We show that the higher multipole modes are excited, leading to the gravitational wave signal by the transition of the axion between different levels. The most prominent signal of gravitational waves arises from the transition between modes with their angular quantum numbers different by two. The gravitational wave signal is emitted in the deci-Hz band for stellar mass black holes, which might be observable with the future gravitational wave detectors.


title: A Multi-objective Optimization Benchmark Test Suite for Real-time Semantic Segmentation

abstract: As one of the emerging challenges in Automated Machine Learning, the Hardware-aware Neural Architecture Search (HW-NAS) tasks can be treated as black-box multi-objective optimization problems (MOPs). An important application of HW-NAS is real-time semantic segmentation, which plays a pivotal role in autonomous driving scenarios. The HW-NAS for real-time semantic segmentation inherently needs to balance multiple optimization objectives, including model accuracy, inference speed, and hardware-specific considerations. Despite its importance, benchmarks have yet to be developed to frame such a challenging task as multi-objective optimization. To bridge the gap, we introduce a tailored streamline to transform the task of HW-NAS for real-time semantic segmentation into standard MOPs. Building upon the streamline, we present a benchmark test suite, CitySeg/MOP, comprising fifteen MOPs derived from the Cityscapes dataset. The CitySeg/MOP test suite is integrated into the EvoXBench platform to provide seamless interfaces with various programming languages (e.g., Python and MATLAB) for instant fitness evaluations. We comprehensively assessed the CitySeg/MOP test suite on various multi-objective evolutionary algorithms, showcasing its versatility and practicality. Source codes are available at https://github.com/EMI-Group/evoxbench.


title: Dynamic PageRank: Algorithms and Lower Bounds

abstract: We consider the PageRank problem in the dynamic setting, where the goal is to explicitly maintain an approximate PageRank vector $\pi \in \mathbb{R}^n$ for a graph under a sequence of edge insertions and deletions. Our main result is a complete characterization of the complexity of dynamic PageRank maintenance for both multiplicative and additive ($L_1$) approximations. First, we establish matching lower and upper bounds for maintaining additive approximate PageRank in both incremental and decremental settings. In particular, we demonstrate that in the worst-case $(1/\alpha)^{\Theta(\log \log n)}$ update time is necessary and sufficient for this problem, where $\alpha$ is the desired additive approximation. On the other hand, we demonstrate that the commonly employed ForwardPush approach performs substantially worse than this optimal runtime. Specifically, we show that ForwardPush requires $\Omega(n^{1-\delta})$ time per update on average, for any $\delta > 0$, even in the incremental setting. For multiplicative approximations, however, we demonstrate that the situation is significantly more challenging. Specifically, we prove that any algorithm that explicitly maintains a constant factor multiplicative approximation of the PageRank vector of a directed graph must have amortized update time $\Omega(n^{1-\delta})$, for any $\delta > 0$, even in the incremental setting, thereby resolving a 13-year old open question of Bahmani et al.~(VLDB 2010). This sharply contrasts with the undirected setting, where we show that $\rm{poly}\ \log n$ update time is feasible, even in the fully dynamic setting under oblivious adversary.


title: Lacunarity Pooling Layers for Plant Image Classification using Texture Analysis

abstract: Pooling layers (e.g., max and average) may overlook important information encoded in the spatial arrangement of pixel intensity and/or feature values. We propose a novel lacunarity pooling layer that aims to capture the spatial heterogeneity of the feature maps by evaluating the variability within local windows. The layer operates at multiple scales, allowing the network to adaptively learn hierarchical features. The lacunarity pooling layer can be seamlessly integrated into any artificial neural network architecture. Experimental results demonstrate the layer's effectiveness in capturing intricate spatial patterns, leading to improved feature extraction capabilities. The proposed approach holds promise in various domains, especially in agricultural image analysis tasks. This work contributes to the evolving landscape of artificial neural network architectures by introducing a novel pooling layer that enriches the representation of spatial features. Our code is publicly available.


title: Expected Time-Optimal Control: a Particle MPC-based Approach via Sequential Convex Programming

abstract: In this paper, we consider the problem of minimum-time optimal control for a dynamical system with initial state uncertainties and propose a sequential convex programming (SCP) solution framework. We seek to minimize the expected terminal (mission) time, which is an essential capability for planetary exploration missions where ground rovers have to carry out scientific tasks efficiently within the mission timelines in uncertain environments. Our main contribution is to convert the underlying stochastic optimal control problem into a deterministic, numerically tractable, optimal control problem. To this end, the proposed solution framework combines two strategies from previous methods: i) a partial model predictive control with consensus horizon approach and ii) a sum-of-norm cost, a temporally strictly increasing weighted-norm, promoting minimum-time trajectories. Our contribution is to adopt these formulations into an SCP solution framework and obtain a numerically tractable stochastic control algorithm. We then demonstrate the resulting control method in multiple applications: i) a closed-loop linear system as a representative result (a spacecraft double integrator model), ii) an open-loop linear system (the same model), and then iii) a nonlinear system (Dubin's car).


title: Relativistic tidal separation of binary stars by supermassive black holes

abstract: A binary stellar system that ventures too close to a supermassive black hole can become tidally separated. In this article, we investigate the role of relativistic effects in these encounters through 3-body simulations. We use the Hybrid Relativistic-Newtonian Approximation (HRNA), which combines the exact relativistic acceleration from a Schwarzschild black hole with a Newtonian description of the binary's self-gravity. This method is compared against Newtonian and Post-Newtonian (1PN) simulations. Our findings show good agreement between HRNA and 1PN results, both of which exhibit substantial differences from Newtonian simulations. This discrepancy is particularly pronounced in retrograde encounters, where relativistic simulations predict up to $30\%$ more separation events and an earlier onset of binary separation ($\beta=2$ compared to $2.5$ in Newtonian simulations, with $\beta$ the impact parameter). Additionally, the HRNA model predicts about 15$\%$ more potential extreme mass ratio inspirals and generate a higher number of hypervelocity star candidates, with velocities up to 2,000 km/s faster than those predicted from Newtonian simulations. Furthermore, compared to Newtonian cases, relativistic encounters are more likely to result in direct stellar collisions and binary mergers.


title: True random number generation using metastable 1T' molybdenum ditelluride

abstract: True random numbers play a critical role in secure cryptography. The generation relies on a stable and readily extractable entropy source. Here, from solution-processed structurally metastable 1T' MoTe2, we prove stable output of featureless, stochastic, and yet stable conductance noise at a broad temperature (down to 15 K) with minimal power consumption (down to 0.05 micro-W). Our characterizations and statistical analysis of the characteristics of the conductance noise suggest that the noise arises from the volatility of the stochastic polarization of the underlying ferroelectric dipoles in the 1T' MoTe2. Further, as proved in our experiments and indicated by our Monte Carlo simulation, the ferroelectric dipole polarization is a reliable entropy source with the stochastic polarization persistent and stable over time. Exploiting the conductance noise, we achieve the generation of true random numbers and demonstrate their use in common cryptographic applications, for example, password generation and data encryption. Besides, particularly, we show a privacy safeguarding approach to sensitive data that can be critical for the cryptography of neural networks. We believe our work will bring insights into the understanding of the metastable 1T' MoTe2 and, more importantly, underpin its great potential in secure cryptography.


title: Heavy Dark Matter in White Dwarfs: Multiple-Scattering Capture and Thermalization

abstract: We present an improved treatment for the scattering of heavy dark matter from the ion constituents of a white dwarf. In the heavy dark matter regime, multiple collisions are required for the dark matter to become gravitationally captured. Our treatment incorporates all relevant physical effects including the dark matter trajectories, nuclear form factors, and radial profiles for the white dwarf escape velocity and target number densities. Our capture rates differ by orders of magnitude from previous estimates, which have typically used approximations developed for dark matter scattering in the Earth. We also compute the time for the dark matter to thermalize in the center of the white dwarf, including in-medium effects such as phonon emission and absorption from the ionic lattice in the case where the star has a crystallized core. We find much shorter thermalization timescales than previously estimated, especially if the white dwarf core has crystallized. We illustrate the importance of our improved approach by determining the cross section required for accumulated asymmetric dark matter to self-gravitate.

categories: hep-ph astro-ph.CO astro-ph.HE astro-ph.SR


title: Nonsmooth, Nonconvex Optimization Using Functional Encoding and Component Transition Information

abstract: We have developed novel algorithms for optimizing nonsmooth, nonconvex functions in which the nonsmoothness is caused by nonsmooth operators presented in the analytical form of the objective. The algorithms are based on encoding the active branch of each nonsmooth operator such that the active smooth component function and its code can be extracted at any given point, and the transition of the solution from one smooth piece to another can be detected via tracking the change of active branches of all the operators. This mechanism enables the possibility of collecting the information about the sequence of active component functions encountered in the previous iterations (i.e., the component transition information), and using it in the construction of a current local model or identification of a descent direction in a very economic and effective manner. Based on this novel idea, we have developed a trust-region method and a joint gradient descent method driven by the component information for optimizing the encodable piecewise-smooth, nonconvex functions. It has further been shown that the joint gradient descent method using a technique called proactive component function accessing can achieve a linear rate of convergence if a so-called multi-component Polyak-Lojasiewicz inequality and some other regularity conditions hold at a neighborhood of a local minimizer.


title: Velocity-Based Monte Carlo Fluids

abstract: We present a velocity-based Monte Carlo fluid solver that overcomes the limitations of its existing vorticity-based counterpart. Because the velocity-based formulation is more commonly used in graphics, our Monte Carlo solver can be readily extended with various techniques from the fluid simulation literature. We derive our method by solving the Navier-Stokes equations via operator splitting and designing a pointwise Monte Carlo estimator for each substep. We reformulate the projection and diffusion steps as integration problems based on the recently introduced walk-on-boundary technique [Sugimoto et al. 2023]. We transform the volume integral arising from the source term of the pressure Poisson equation into a form more amenable to practical numerical evaluation. Our resulting velocity-based formulation allows for the proper simulation of scenes that the prior vorticity-based Monte Carlo method [Rioux-Lavoie and Sugimoto et al. 2022] either simulates incorrectly or cannot support. We demonstrate that our method can easily incorporate advancements drawn from conventional non-Monte Carlo methods by showing how one can straightforwardly add buoyancy effects, divergence control capabilities, and numerical dissipation reduction methods, such as advection-reflection and PIC/FLIP methods.


title: Spectrum Sharing Policy in the Asia-Pacific Region

abstract: In this chapter, we investigate the spectrum measurement results in Asia-Pacific region. Then the spectrum sharing policy in the Asia-Pacific region is reviewed in details, where the national projects and strategies on spectrum refarming and spectrum sharing in China, Japan, Singapore, India, Korea and Australia are investigated. Then we introduce the spectrum sharing test-bed that is developed in China, which is a cognitive radio enabled TD-LTE test-bed utilizing TVWS. This chapter provides a brief introduction of the spectrum sharing mechanism and policy of Asia-Pacific region.


title: Laguerre-Gaussian light induction of orbital currents and Kapitza stabilization in superconducting circuits

abstract: We investigate the effects of a Laguerre-Gaussian (LG) beam on the superconducting state. We show that the vortex angular momentum of a LG beam affects the superconducting state and induces currents. The induction of the current by light is illustrated on a Josephson loop and SQUID devices. In particular, we establish that coupling a dc SQUID to the AC magnetic flux of a LG beam can stabilize pi phase in the SQUID. This can happen via developing a global or local minimum in the effective potential at pi. In the latter case, this happens via the Kapitza mechanism.


title: Causally Inspired Regularization Enables Domain General Representations

abstract: Given a causal graph representing the data-generating process shared across different domains/distributions, enforcing sufficient graph-implied conditional independencies can identify domain-general (non-spurious) feature representations. For the standard input-output predictive setting, we categorize the set of graphs considered in the literature into two distinct groups: (i) those in which the empirical risk minimizer across training domains gives domain-general representations and (ii) those where it does not. For the latter case (ii), we propose a novel framework with regularizations, which we demonstrate are sufficient for identifying domain-general feature representations without a priori knowledge (or proxies) of the spurious features. Empirically, our proposed method is effective for both (semi) synthetic and real-world data, outperforming other state-of-the-art methods in average and worst-domain transfer accuracy.


title: Tuning the electronic and magnetic properties of NiBr$_2$ via pressure

abstract: Transition metal dihalides (MX$_2$, M= transition metal, X= halide) have attracted much attention recently due to their intriguing low-dimensional magnetic properties. Particular focus has been placed in this family in the context of multiferroicity -- a common occurrence in MX$_2$ compounds that adopt non-collinear magnetic structures. One example of helimagnetic multiferroic material in the dihalide family is represented by NiBr$_2$. Here, we study the evolution of the electronic structure and magnetic properties of this material under pressure using first-principles calculations combined with Monte Carlo simulations. Our results indicate there is significant magnetic frustration in NiBr$_2$ due to the competing interactions arising from its underlying triangular lattice. This magnetic frustration increases with pressure and is at the origin of the helimagnetic order. Further, pressure causes a sizable increase in the interlayer interactions. Our Monte Carlo simulations show that a large (3-fold) increase in the helimagnetic transition temperature can be achieved at pressures of around 15 GPa. This indicates that hydrostatic pressure can indeed be used as a tuning knob to increase the magnetic transition temperature of NiBr$_2$.


title: Quantum Imaginarity-Mixedness Trade-off: Characterizing Maximally Imaginary Mixed States

abstract: We investigate the trade-off relations between imaginarity and mixedness in arbitrary $d$-dimensional quantum systems. For given mixedness, a quantum state with maximum imaginarity is defined to be a "maximally imaginary mixed state" (MIMS). By using the $l_{1}$ norm of imaginarity and the normalized linear entropy, we conclusively identify the MIMSs for both qubit and qutrit systems. For high-dimensional quantum systems, we present a comprehensive class of MIMSs, which also gives rise to complementarity relations between the $1$-norm of imaginarity and the $1$-norm of mixedness, as well as between the relative entropy of imaginarity and the von Neumann entropy. Furthermore, we examine the evolution of the trade-off relation for single-qubit states under four specific Markovian channels: bit flip channel, phase damping channel, depolarizing channel and amplitude damping channel.


title: An Efficient Reconstructed Differential Evolution Variant by Some of the Current State-of-the-art Strategies for Solving Single Objective Bound Constrained Problems

abstract: Complex single-objective bounded problems are often difficult to solve. In evolutionary computation methods, since the proposal of differential evolution algorithm in 1997, it has been widely studied and developed due to its simplicity and efficiency. These developments include various adaptive strategies, operator improvements, and the introduction of other search methods. After 2014, research based on LSHADE has also been widely studied by researchers. However, although recently proposed improvement strategies have shown superiority over their previous generation's first performance, adding all new strategies may not necessarily bring the strongest performance. Therefore, we recombine some effective advances based on advanced differential evolution variants in recent years and finally determine an effective combination scheme to further promote the performance of differential evolution. In this paper, we propose a strategy recombination and reconstruction differential evolution algorithm called reconstructed differential evolution (RDE) to solve single-objective bounded optimization problems. Based on the benchmark suite of the 2024 IEEE Congress on Evolutionary Computation (CEC2024), we tested RDE and several other advanced differential evolution variants. The experimental results show that RDE has superior performance in solving complex optimization problems.


title: Timely Communications for Remote Inference

abstract: In this paper, we analyze the impact of data freshness on remote inference systems, where a pre-trained neural network blue infers a time-varying target (e.g., the locations of vehicles and pedestrians) based on features (e.g., video frames) observed at a sensing node (e.g., a camera). One might expect that the performance of a remote inference system degrades monotonically as the feature becomes stale. Using an information-theoretic analysis, we show that this is true if the feature and target data sequence can be closely approximated as a Markov chain, whereas it is not true if the data sequence is far from being Markovian. Hence, the inference error is a function of Age of Information (AoI), where the function could be non-monotonic. To minimize the inference error in real-time, we propose a new "selection-from-buffer" model for sending the features, which is more general than the "generate-at-will" model used in earlier studies. In addition, we design low-complexity scheduling policies to improve inference performance. For single-source, single-channel systems, we provide an optimal scheduling policy. In multi-source, multi-channel systems, the scheduling problem becomes a multi-action restless multi-armed bandit problem. For this setting, we design a new scheduling policy by integrating Whittle index-based source selection and duality-based feature selection-from-buffer algorithms. This new scheduling policy is proven to be asymptotically optimal. These scheduling results hold for minimizing general AoI functions (monotonic or non-monotonic). Data-driven evaluations demonstrate the significant advantages of our proposed scheduling policies.


title: Adaptive tracking control for non-periodic reference signals under quantized observations

abstract: This paper considers an adaptive tracking control problem for stochastic regression systems with multi-threshold quantized observations. Different from the existing studies for periodic reference signals, the reference signal in this paper is non-periodic. Its main difficulty is how to ensure that the designed controller satisfies the uniformly bounded and excitation conditions that guarantee the convergence of the estimation in the controller under non-periodic signal conditions. This paper designs two backward-shifted polynomials with time-varying parameters and a special projection structure, which break through periodic limitations and establish the convergence and tracking properties. To be specific, the adaptive tracking control law can achieve asymptotically optimal tracking for the non-periodic reference signal; Besides, the proposed estimation algorithm is proved to converge to the true values in almost sure and mean square sense, and the convergence speed can reach $O\left(\frac{1}{k}\right)$ under suitable conditions. Finally, the effectiveness of the proposed adaptive tracking control scheme is verified through a simulation.


title: Andes: Defining and Enhancing Quality-of-Experience in LLM-Based Text Streaming Services

abstract: The advent of large language models (LLMs) has transformed text-based services, enabling capabilities ranging from real-time translation to AI-driven chatbots. However, existing serving systems primarily focus on optimizing server-side aggregate metrics like token generation throughput, ignoring individual user experience with streamed text. As a result, under high and/or bursty load, a significant number of users can receive unfavorable service quality or poor Quality-of-Experience (QoE). In this paper, we first formally define QoE of text streaming services, where text is delivered incrementally and interactively to users, by considering the end-to-end token delivery process throughout the entire interaction with the user. Thereafter, we propose Andes, a QoE-aware serving system that enhances user experience for LLM-enabled text streaming services. At its core, Andes strategically allocates contended GPU resources among multiple requests over time to optimize their QoE. Our evaluations demonstrate that, compared to the state-of-the-art LLM serving systems like vLLM, Andes improves the average QoE by up to 3.2$\times$ under high request rate, or alternatively, it attains up to 1.6$\times$ higher request rate while preserving high QoE.


title: $L^p$-regularity of a geometrically nonlinear flat Cosserat micropolar model in supercritical dimensions

abstract: In a recent work [Ann. Inst. H. Poincar\'e C Anal. Non Lin\'eaire 2024], Gastel and Neff introduced an interesting system from a geometrically nonlinear flat cosserat micropolar model and established interior regularity in the critical dimension. Motived by this work, in this article, we establish both interior regularity and sharp $L^p$ regularity for their system in supercritical dimensions.


title: Germanium-based hybrid semiconductor-superconductor topological quantum computing platforms: Disorder effects

abstract: It was recently suggested that proximitized gate-defined Ge hole nanowires could serve as an alternative materials platform for the realization of topological Majorana zero modes (MZMs). Here, we theoretically study the expected experimental signatures of Ge-based MZMs in tunneling conductance measurements, taking into account that unintentional random disorder is unavoidably present in realistic devices. Explicitly, we present numerically calculated local and nonlocal tunneling conductance spectra (as functions of bias voltage and magnetic field) for two different wire lengths, two different disorder models, two different parent superconductors (Al and NbTiN), and various disorder strengths, which we relate to an estimated lower bound for the disorder strength in Ge-based hybrid devices that we extract from the experimentally reported hole mobilities in current state-of-the-art two-dimensional Ge hole gases. We find that even if the actual disorder strength in the Ge-based hybrid device exceeds this theoretical lower bound by an order of magnitude, the system is still in the weak disorder regime, where the topological superconductivity is intact and the local conductance spectra manifest clear end-to-end correlated zero-bias peaks if and only if the system hosts topological end MZMs. This shows that, despite the relatively small pristine topological gaps ($\sim\,$a few tens of $\mu$eV), Ge-based hybrid devices are a promising alternative platform for Majorana experiments due to the extremely high materials quality, which leads to an increased gap-to-disorder ratio and, therefore, to less ambiguity in the experimental tunneling conductance data compared to InAs-based devices.


abstract: In this paper, we prove some Willmore-type inequalities for closed hypersurfaces in weighted manifolds with nonnegative Bakry-\'Emery Ricci curvature. In particular, we give a sharp Willmore-like inequality in shrinking gradient Ricci solitons. These results can be regarded as generalizations of Agostiniani-Fogagnolo-Mazzieri's Willmore-type inequality in weighted manifolds. As applications, we derive some isoperimetric type inequalities under certain existence assumptions of isoperimetric regions in weighted manifolds.


title: Differentially Private Federated Learning: Servers Trustworthiness, Estimation, and Statistical Inference

abstract: Differentially private federated learning is crucial for maintaining privacy in distributed environments. This paper investigates the challenges of high-dimensional estimation and inference under the constraints of differential privacy. First, we study scenarios involving an untrusted central server, demonstrating the inherent difficulties of accurate estimation in high-dimensional problems. Our findings indicate that the tight minimax rates depends on the high-dimensionality of the data even with sparsity assumptions. Second, we consider a scenario with a trusted central server and introduce a novel federated estimation algorithm tailored for linear regression models. This algorithm effectively handles the slight variations among models distributed across different machines. We also propose methods for statistical inference, including coordinate-wise confidence intervals for individual parameters and strategies for simultaneous inference. Extensive simulation experiments support our theoretical advances, underscoring the efficacy and reliability of our approaches.

categories: stat.ML cs.CR cs.LG math.ST stat.ME stat.TH


title: Protocol for nonlinear state discrimination in rotating condensate

abstract: Nonlinear mean field dynamics enables quantum information processing operations that are impossible in linear one-particle quantum mechanics. In this approach, a register of bosonic qubits (such as neutral atoms or polaritons) is initialized into a symmetric product state through condensation, then subsequently controlled by varying the qubit-qubit interaction. We propose an experimental implementation of quantum state discrimination, an important subroutine in quantum computation, with a toroidal Bose-Einstein condensate. The condensed bosons here are atoms, each in the same superposition of angular momenta 0 and 1, encoding a qubit. A nice feature of the protocol is that only readout of individual quantized circulation states (not superpositions) is required.


title: Deep Joint CSI Feedback and Multiuser Precoding for MIMO OFDM Systems

abstract: The design of precoding plays a crucial role in achieving a high downlink sum-rate in multiuser multiple-input multiple-output (MIMO) orthogonal frequency-division multiplexing (OFDM) systems. In this correspondence, we propose a deep learning based joint CSI feedback and multiuser precoding method in frequency division duplex systems, aiming at maximizing the downlink sum-rate performance in an end-to-end manner. Specifically, the eigenvectors of the CSI matrix are compressed using deep joint source-channel coding techniques. This compression method enhances the resilience of the feedback CSI information against degradation in the feedback channel. A joint multiuser precoding module and a power allocation module are designed to adjust the precoding direction and the precoding power for users based on the feedback CSI information. Experimental results demonstrate that the downlink sum-rate can be significantly improved by using the proposed method, especially in scenarios with low signal-to-noise ratio and low feedback overhead.


title: On the temporal estimates for the incompressible Navier-Stokes equations and Hall-magnetohydrodynamic equations

abstract: In this paper, we derive decay rates of the solutions to the incompressible Navier-Stokes equations and Hall-magnetohydrodynamic equations. We first improve the decay rate of weak solutions of these equations by refining the Fourier splitting method with initial data in the space of pseudo-measures. We also deal with these equations with initial data in Lei-Lin spaces and find decay rates of solutions in Lei-Lin spaces.


title: Duality for differential modules over complete non-archimedean valuation field of characteristic zero

abstract: Let $K$ be a complete non-archimedean valuation field of characteristic $0$, with non-trivial valuation, equipped with (possibly multiple) commuting bounded derivations. We prove a decomposition theorem for finite differential modules over $K$, where decompositions regarding the extrinsic subsidiary $\partial$-generic radii of convergence in the sense of Kedlaya-Xiao. Our result is a refinement of a previous decomposition theorem due to Kedlaya and Xiao. As a key step in the proof, we prove a decomposition theorem in a stronger form in the case where $K$ is equipped with a single derivation. To achieve this goal, we construct an object $f_{0*}L_0$ representing the usual dual functor and study some filtrations of $f_{0*}L_0$, which is used to construct the direct summands appearing in our decomposition theorem.


title: One Noise to Rule Them All: Learning a Unified Model of Spatially-Varying Noise Patterns

abstract: Procedural noise is a fundamental component of computer graphics pipelines, offering a flexible way to generate textures that exhibit "natural" random variation. Many different types of noise exist, each produced by a separate algorithm. In this paper, we present a single generative model which can learn to generate multiple types of noise as well as blend between them. In addition, it is capable of producing spatially-varying noise blends despite not having access to such data for training. These features are enabled by training a denoising diffusion model using a novel combination of data augmentation and network conditioning techniques. Like procedural noise generators, the model's behavior is controllable via interpretable parameters and a source of randomness. We use our model to produce a variety of visually compelling noise textures. We also present an application of our model to improving inverse procedural material design; using our model in place of fixed-type noise nodes in a procedural material graph results in higher-fidelity material reconstructions without needing to know the type of noise in advance.


title: The Noether inequalities for a foliated surface of general type

abstract: Let $(\mathcal{F},S)$ be a foliated surface of general type with reduced singularities over the complex number. We establish the Noether type inequalities for $(\mathcal{F},S)$. Namely, we prove that $\mathrm{vol}(\mathcal{F}) \geq p_g(\mathcal{F})-2$, and that $\mathrm{vol}(\mathcal{F}) \geq 2p_g(\mathcal{F})-4$ if moreover the surface $S$ is also of general type. Examples show that both of the Noether type inequalities are sharp.


title: LLM-Based Section Identifiers Excel on Open Source but Stumble in Real World Applications

abstract: Electronic health records (EHR) even though a boon for healthcare practitioners, are growing convoluted and longer every day. Sifting around these lengthy EHRs is taxing and becomes a cumbersome part of physician-patient interaction. Several approaches have been proposed to help alleviate this prevalent issue either via summarization or sectioning, however, only a few approaches have truly been helpful in the past. With the rise of automated methods, machine learning (ML) has shown promise in solving the task of identifying relevant sections in EHR. However, most ML methods rely on labeled data which is difficult to get in healthcare. Large language models (LLMs) on the other hand, have performed impressive feats in natural language processing (NLP), that too in a zero-shot manner, i.e. without any labeled data. To that end, we propose using LLMs to identify relevant section headers. We find that GPT-4 can effectively solve the task on both zero and few-shot settings as well as segment dramatically better than state-of-the-art methods. Additionally, we also annotate a much harder real world dataset and find that GPT-4 struggles to perform well, alluding to further research and harder benchmarks.