title: Boundedness and gradient estimates for solutions to $\Delta u + a(x)u\log u + b(x)u = 0$ on Riemannian manifolds

abstract: In this paper, combining Nash-Moser iteration and Sallof-Coste type Sobolev ineualities, we establish fundamental and concise $C^0$ and $C^1$ estimates for solutions to a class of nonlinear elliptic equations of the form $$\Delta u(x)+a(x)u(x)\ln u(x)+b(x)u(x)=0,$$ which possesses abundant geometric backgrounds. Utilizing these estimates which retrieve more geometric information, we obtain some further properties of such solutions. Especially, we prove a local Liouville type theorem of corresponding constant coefficient equation.


title: Generalized Boltzmann relations in semiconductors including band tails

abstract: Boltzmann relations are widely used in semiconductor physics to express the charge-carrier densities as a function of the Fermi level and temperature. However, these simple exponential relations only apply to sharp band edges of the conduction and valence bands. In this article, we present a generalization of the Boltzmann relations accounting for exponential band tails. To this end, the required Fermi-Dirac integral is first recast as a Gauss hypergeometric function, followed by a suitable transformation of that special function, and a zeroth-order series expansion using the hypergeometric series. This results in simple relations for the electron and hole densities that each involve two exponentials. One exponential depends on the temperature and the other one on the band-tail parameter. The proposed relations tend to the Boltzmann relations if the band-tail parameters tend to zero. This work comes timely for the modeling of classical semiconductor devices at cryogenic temperatures for large-scale quantum computing.


title: Path integral formalism for the free Dirac propagator in spherical coordinates

abstract: The relativistic Green's function of a free spin-1/2 fermion is derived using the Feynman path integral formalism in spherical coordinates. The Green's function is reduced to an exactly solvable path integral by an appropriate coordinate transformation. The result is given in terms of spherical Bessel functions and spherical spinors, and agrees with previous solutions of the problem.


title: On the Difference of Atom-Bond Sum-Connectivity and Atom-Bond-Connectivity Indices

abstract: The atom-bond-connectivity (ABC) index is one of the well-investigated degree-based topological indices. The atom-bond sum-connectivity (ABS) index is a modified version of the ABC index, which was introduced recently. The primary goal of the present paper is to investigate the difference between the aforementioned two indices, namely $ABS-ABC$. It is shown that the difference $ABS-ABC$ is positive for all graphs of minimum degree at least $2$ as well as for all line graphs of those graphs of order at least $5$ that are different from the path and cycle graphs. By means of computer search, the difference $ABS-ABC$ is also calculated for all trees of order at most $15$.


title: Scalable data concentrator with baseline interconnection network for triggerless data acquisition systems

abstract: Triggerless Data Acquisition Systems (DAQs) require transmitting the data stream from multiple links to the processing node. The short input data words must be concentrated and packed into the longer bit vectors the output interface (e.g., PCI Express) uses. In that process, the unneeded data must be eliminated, and a dense stream of useful DAQ data must be created. Additionally, the time order of the data should be preserved. This paper presents a new solution using the Baseline Network with Reversed Outputs (BNRO) for high-speed data routing. A thorough analysis of the network's operation enabled increased scalability compared to the previously published concentrator based on an 8x8 network. The solution may be scaled by adding additional layers to the BNRO network while minimizing resource consumption. Simulations were done for 4 and 5 layers (16 and 32 inputs). The FPGA implementation and tests in the actual hardware have been successfully performed for 16 inputs. The pipeline registers may be added in each layer independently, shortening the critical path and increasing the maximum acceptable clock frequency.


title: On Simultaneous Information and Energy Transmission through Quantum Channels

abstract: The optimal rate at which information can be sent through a quantum channel when the transmitted signal must simultaneously carry some minimum amount of energy is characterized. To do so, we introduce the quantum-classical analogue of the capacity-power function and generalize results in classical information theory for transmitting classical information through noisy channels. We show that the capacity-power function for a quantum channel, for both unassisted and private protocol, is concave and also prove additivity for unentangled and uncorrelated ensembles of input signals. This implies we do not need regularized formulas for calculation. We numerically demonstrate these properties for some standard channel models. We obtain analytical expressions for the capacity-power function for the case of noiseless channels using properties of random quantum states and concentration phenomenon in large Hilbert spaces.


title: Regularization and Optimal Multiclass Learning

abstract: The quintessential learning algorithm of empirical risk minimization (ERM) is known to fail in various settings for which uniform convergence does not characterize learning. It is therefore unsurprising that the practice of machine learning is rife with considerably richer algorithmic techniques for successfully controlling model capacity. Nevertheless, no such technique or principle has broken away from the pack to characterize optimal learning in these more general settings. The purpose of this work is to characterize the role of regularization in perhaps the simplest setting for which ERM fails: multiclass learning with arbitrary label sets. Using one-inclusion graphs (OIGs), we exhibit optimal learning algorithms that dovetail with tried-and-true algorithmic principles: Occam's Razor as embodied by structural risk minimization (SRM), the principle of maximum entropy, and Bayesian reasoning. Most notably, we introduce an optimal learner which relaxes structural risk minimization on two dimensions: it allows the regularization function to be "local" to datapoints, and uses an unsupervised learning stage to learn this regularizer at the outset. We justify these relaxations by showing that they are necessary: removing either dimension fails to yield a near-optimal learner. We also extract from OIGs a combinatorial sequence we term the Hall complexity, which is the first to characterize a problem's transductive error rate exactly. Lastly, we introduce a generalization of OIGs and the transductive learning setting to the agnostic case, where we show that optimal orientations of Hamming graphs -- judged using nodes' outdegrees minus a system of node-dependent credits -- characterize optimal learners exactly. We demonstrate that an agnostic version of the Hall complexity again characterizes error rates exactly, and exhibit an optimal learner using maximum entropy programs.


title: Comparing weighting and imputation methods for enhancing statistical inference of health surveys given administrative claims data

abstract: National surveys of the healthcare system in the United States were conducted to characterize the structure of healthcare system and investigate the impact of evidence-based innovations in healthcare systems on healthcare services. Administrative data is additionally available to researchers raising the question of whether inferences about healthcare organizations based on the survey data can be enhanced by incorporating information from auxiliary data. Administrative data can provide information for dealing with under-coverage-bias and non-response in surveys and for capturing more sub-populations. In this study, we focus on the use of administrative claims data to improve estimates about means of survey items for the finite population. Auxiliary information from the claims data is incorporated using multiple imputation to impute values of non-responding or non-surveyed organizations. We derive multiple versions of imputation strategy, and the logical development of methodology is compared to two incumbent approaches: a na\"ive analysis that ignores the sampling probabilities and a traditional survey analysis weighting by the inverses of the sampling probabilities. , and illustrate the methods using data from The National Survey of Healthcare Organizations and Systems and The Centers for Medicare & Medicaid Services Medicare claims data to make inferences about relationships of characteristics of healthcare organizations and healthcare services they provide.


title: Large random intersection graphs inside the critical window and triangle counts

abstract: We identify the scaling limit of random intersection graphs inside their critical windows. The limit graphs vary according to the clustering regimes, and coincide with the continuum Erdos--Renyi graph in two out of the three regimes. Our approach to the scaling limit relies upon the close connection of random intersection graphs with binomial bipartite graphs, as well as a graph exploration algorithm on the latter. This further allows us to prove limit theorems for the number of triangles in the large connected components of the graphs.


title: Quiver presentations and isomorphisms of Hecke categories and Khovanov arc algebras

abstract: We prove that the extended Khovanov arc algebras are isomorphic to the basic algebras of anti-spherical Hecke categories for maximal parabolics of symmetric groups. We present these algebras by quiver and relations and provide the full submodule lattices of Verma modules.


title: Performance Evaluation of Equal-Weight Portfolio and Optimum Risk Portfolio on Indian Stocks

abstract: Designing an optimum portfolio for allocating suitable weights to its constituent assets so that the return and risk associated with the portfolio are optimized is a computationally hard problem. The seminal work of Markowitz that attempted to solve the problem by estimating the future returns of the stocks is found to perform sub-optimally on real-world stock market data. This is because the estimation task becomes extremely challenging due to the stochastic and volatile nature of stock prices. This work illustrates three approaches to portfolio design minimizing the risk, optimizing the risk, and assigning equal weights to the stocks of a portfolio. Thirteen critical sectors listed on the National Stock Exchange (NSE) of India are first chosen. Three portfolios are designed following the above approaches choosing the top ten stocks from each sector based on their free-float market capitalization. The portfolios are designed using the historical prices of the stocks from Jan 1, 2017, to Dec 31, 2022. The portfolios are evaluated on the stock price data from Jan 1, 2022, to Dec 31, 2022. The performances of the portfolios are compared, and the portfolio yielding the higher return for each sector is identified.


title: Federated Deep Multi-View Clustering with Global Self-Supervision

abstract: Federated multi-view clustering has the potential to learn a global clustering model from data distributed across multiple devices. In this setting, label information is unknown and data privacy must be preserved, leading to two major challenges. First, views on different clients often have feature heterogeneity, and mining their complementary cluster information is not trivial. Second, the storage and usage of data from multiple clients in a distributed environment can lead to incompleteness of multi-view data. To address these challenges, we propose a novel federated deep multi-view clustering method that can mine complementary cluster structures from multiple clients, while dealing with data incompleteness and privacy concerns. Specifically, in the server environment, we propose sample alignment and data extension techniques to explore the complementary cluster structures of multiple views. The server then distributes global prototypes and global pseudo-labels to each client as global self-supervised information. In the client environment, multiple clients use the global self-supervised information and deep autoencoders to learn view-specific cluster assignments and embedded features, which are then uploaded to the server for refining the global self-supervised information. Finally, the results of our extensive experiments demonstrate that our proposed method exhibits superior performance in addressing the challenges of incomplete multi-view data in distributed environments.


title: Counting Vanishing Matrix-Vector Products

abstract: Consider the following parameterized counting variation of the classic subset sum problem, which arises notably in the context of higher homotopy groups of topological spaces: Let $\mathbf{v} \in \mathbb{Q}^d$ be a rational vector, $(T_{1}, T_{2} \ldots T_{m})$ a list of $d \times d$ rational matrices, $S \in \mathbb{Q}^{h \times d}$ a rational matrix not necessarily square and $k$ a parameter. The goal is to compute the number of ways one can choose $k$ matrices $T_{i_1}, T_{i_2}, \ldots, T_{i_k}$ from the list such that $ST_{i_k} \cdots T_{i_1}\mathbf{v} = \mathbf{0} \in \mathbb{Q}^h$. In this paper, we show that this problem is $\# W[2]$-hard for parameter $k$. As a consequence, computing the $k$-th homotopy group of a $d$-dimensional 1-connected topological space for $d > 3$ is $\# W[2]$-hard for parameter $k$. We also discuss a decision version of the problem and its several modifications for which we show $W[1]/W[2]$-hardness. This is in contrast to the parameterized $k$-sum problem, which is only $W[1]$-hard (Abboud-Lewi-Williams, ESA'14). In addition, we show that the decision version of the problem without parameter is an undecidable problem, and we give a fixed-parameter tractable algorithm for matrices of bounded size over finite fields, parameterized the matrix dimensions and the order of the field.


title: Pseudo-clustering for combining data sets with multiple hierarchies

abstract: Multi-level modeling is an important approach for analyzing complex survey data using multi-stage sampling. However, estimation of multi-level models can be challenging when we combine several datasets with distinct hierarchies with sampling weights. This paper presents a method for combining multiple datasets with different hierarchical structures due to distinct informative sampling designs for the same survey. To develop an approach with complete generality, we propose to define a pseudo-cluster, a cluster containing only a singleton observation, to unify the data structure and thereby enable estimation of multi-level models incorporating sampling weights across the combined sample. We justify incorporating sampling weights at each level of the hierarchical model and in doing-so define a pseudo-likelihood estimation procedure. Simulation studies are used to illustrate the effect of incorporating sampling designs in this challenging multi-level modeling scenario. We demonstrate in the simulation studies that considering a linear mixed model with sampling weights provides unbiased estimates of model parameters and enhances the estimation of the variance components of the random effects. The proposed method is illustrated through a novel application from the National Survey of Healthcare Organizations and Systems that sought to determine which organizational characteristics or traits, as measured in the surveys, have the strongest average relationship to the percentage of depression and anxiety diagnoses in physician practices in the US.


title: Video Adverse-Weather-Component Suppression Network via Weather Messenger and Adversarial Backpropagation

abstract: Although convolutional neural networks (CNNs) have been proposed to remove adverse weather conditions in single images using a single set of pre-trained weights, they fail to restore weather videos due to the absence of temporal information. Furthermore, existing methods for removing adverse weather conditions (e.g., rain, fog, and snow) from videos can only handle one type of adverse weather. In this work, we propose the first framework for restoring videos from all adverse weather conditions by developing a video adverse-weather-component suppression network (ViWS-Net). To achieve this, we first devise a weather-agnostic video transformer encoder with multiple transformer stages. Moreover, we design a long short-term temporal modeling mechanism for weather messenger to early fuse input adjacent video frames and learn weather-specific information. We further introduce a weather discriminator with gradient reversion, to maintain the weather-invariant common information and suppress the weather-specific information in pixel features, by adversarially predicting weather types. Finally, we develop a messenger-driven video transformer decoder to retrieve the residual weather-specific feature, which is spatiotemporally aggregated with hierarchical pixel features and refined to predict the clean target frame of input videos. Experimental results, on benchmark datasets and real-world weather videos, demonstrate that our ViWS-Net outperforms current state-of-the-art methods in terms of restoring videos degraded by any weather condition.


title: ALLURE: Auditing and Improving LLM-based Evaluation of Text using Iterative In-Context-Learning

abstract: From grading papers to summarizing medical documents, large language models (LLMs) are evermore used for evaluation of text generated by humans and AI alike. However, despite their extensive utility, LLMs exhibit distinct failure modes, necessitating a thorough audit and improvement of their text evaluation capabilities. Here we introduce ALLURE, a systematic approach to Auditing Large Language Models Understanding and Reasoning Errors. ALLURE involves comparing LLM-generated evaluations with annotated data, and iteratively incorporating instances of significant deviation into the evaluator, which leverages in-context learning (ICL) to enhance and improve robust evaluation of text by LLMs. Through this iterative process, we refine the performance of the evaluator LLM, ultimately reducing reliance on human annotators in the evaluation process. We anticipate ALLURE to serve diverse applications of LLMs in various domains related to evaluation of textual data, such as medical summarization, education, and and productivity.


title: Skill Check: Some Considerations on the Evaluation of Gamemastering Models for Role-playing Games

abstract: In role-playing games a Game Master (GM) is the player in charge of the game, who must design the challenges the players face and narrate the outcomes of their actions. In this work we discuss some challenges to model GMs from an Interactive Storytelling and Natural Language Processing perspective. Following those challenges we propose three test categories to evaluate such dialogue systems, and we use them to test ChatGPT, Bard and OpenAssistant as out-of-the-box GMs.


title: Evaluating the Sensitivity of Mortality Attributable to Pollution to Modeling Choices: A Case Study for Colorado

abstract: We evaluated the sensitivity of estimated PM2.5 and NO2 health impacts to varying key input parameters and assumptions including: 1) the spatial scale at which impacts are estimated, 2) using either a single concentration-response function (CRF) or using racial/ethnic group specific CRFs from the same epidemiologic study, 3) assigning exposure to residents based on home, instead of home and work locations. This analysis was carried out for the state of Colorado. We found that the spatial scale of the analysis influences the magnitude of NO2, but not PM2.5, attributable deaths. Using county-level predictions instead of 1 km2 predictions of NO2 resulted in a lower estimate of mortality attributable to NO2 by ~ 50% for all of Colorado for each year between 2000-2020. Using an all-population CRF instead of racial/ethnic group specific CRFs results in a higher estimate of annual mortality attributable to PM2.5 by a factor 1.3 for the white population and a lower estimate of mortality attributable to PM2.5 by factors of 0.4 and 0.8 for Black and Hispanic residents, respectively. Using racial/ethnic group specific CRFs did not result in a different estimation of NO2 attributable mortality for white residents, but led to lower estimates of mortality by a factor of ~ 0.5 for Black residents, and by a factor of 2.9 for to Hispanic residents. Using NO2 based on home instead of home and workplace locations results in a smaller estimate of annual mortality attributable to NO2 for all of Colorado by ~0.980 each year and 0.997 for PM2.5.


title: Sound-Print: Generalised Face Presentation Attack Detection using Deep Representation of Sound Echoes

abstract: Facial biometrics are widely deployed in smartphone-based applications because of their usability and increased verification accuracy in unconstrained scenarios. The evolving applications of smartphone-based facial recognition have also increased Presentation Attacks (PAs), where an attacker can present a Presentation Attack Instrument (PAI) to maliciously gain access to the application. Because the materials used to generate PAI are not deterministic, the detection of unknown presentation attacks is challenging. In this paper, we present an acoustic echo-based face Presentation Attack Detection (PAD) on a smartphone in which the PAs are detected based on the reflection profiles of the transmitted signal. We propose a novel transmission signal based on the wide pulse that allows us to model the background noise before transmitting the signal and increase the Signal-to-Noise Ratio (SNR). The received signal reflections were processed to remove background noise and accurately represent reflection characteristics. The reflection profiles of the bona fide and PAs are different owing to the different reflection characteristics of the human skin and artefact materials. Extensive experiments are presented using the newly collected Acoustic Sound Echo Dataset (ASED) with 4807 samples captured from bona fide and four different types of PAIs, including print (two types), display, and silicone face-mask attacks. The obtained results indicate the robustness of the proposed method for detecting unknown face presentation attacks.


title: A Neural-Guided Dynamic Symbolic Network for Exploring Mathematical Expressions from Data

abstract: Symbolic regression (SR) is a powerful technique for discovering the underlying mathematical expressions from observed data. Inspired by the success of deep learning, recent deep generative SR methods have shown promising results. However, these methods face difficulties in processing high-dimensional problems and learning constants due to the large search space, and they don't scale well to unseen problems. In this work, we propose DySymNet, a novel neural-guided Dynamic Symbolic Network for SR. Instead of searching for expressions within a large search space, we explore symbolic networks with various structures, guided by reinforcement learning, and optimize them to identify expressions that better-fitting the data. Based on extensive numerical experiments on low-dimensional public standard benchmarks and the well-known SRBench with more variables, DySymNet shows clear superiority over several representative baseline models. Open source code is available at https://github.com/AILWQ/DySymNet.


title: Simple Power-Law Model for generating correlated particles

abstract: A search for the critical point of the strongly interacting matter by studying power-law fluctuations within the framework of intermittency is ongoing. In particular, experimental data on proton and pion production in heavy-ion collisions are analyzed in transverse momentum space. In this regard, a simple model with a power-law multi-particle correlations is introduced. The model can be used to study sensitivity to detect power-law correlated particles in the presence of various detector effects.


title: ORLA*: Mobile Manipulator-Based Object Rearrangement with Lazy A*

abstract: Effectively performing object rearrangement is an essential skill for mobile manipulators, e.g., setting up a dinner table or organizing a desk. A key challenge in such problems is deciding an appropriate manipulation order for objects to effectively untangle dependencies between objects while considering the necessary motions for realizing the manipulations (e.g., pick and place). To our knowledge, computing time-optimal multi-object rearrangement solutions for mobile manipulators remains a largely untapped research direction. In this research, we propose ORLA*, which leverages delayed (lazy) evaluation in searching for a high-quality object pick and place sequence that considers both end-effector and mobile robot base travel. ORLA* also supports multi-layered rearrangement tasks considering pile stability using machine learning. Employing an optimal solver for finding temporary locations for displacing objects, ORLA* can achieve global optimality. Through extensive simulation and ablation study, we confirm the effectiveness of ORLA* delivering quality solutions for challenging rearrangement instances. Supplementary materials are available at: https://gaokai15.github.io/ORLA-Star/


title: Three-component Bose-Einstein condensates and wetting without walls

abstract: From Gross-Pitaevskii (GP) theory for ultracold gases it is predicted that phase-segregated three-component Bose-Einstein condensates (BEC) feature a wetting phase diagram that depends only on atomic masses and scattering lengths. This is unique in theories of surface and interfacial phase transitions and provides a new opportunity for experimental observation of wetting phenomena in BEC mixtures. Previous GP theory for two-component BEC relied on an {\it ad hoc} optical wall boundary condition, on which the character and location of the wetting phase transitions depend sensitively. This boundary condition dependence is eliminated by adding a third component and treating the three phases on equal footing. An unequivocal wetting phase diagram is captured, with phase boundaries calculated analytically using an extension of the established double-parabola approximation.


title: Universal Spin Teichmueller Theory, I. The action of P(SL(2,Z)) on Tess^+

abstract: Earlier work took as universal mapping class group the collection PPSL(2,Z) of all piecewise PSL(2,Z) homeomorphisms of the unit circle S^1 with finitely many breakpoints among the rational points. The spin mapping class group P(SL(2,Z)) introduced here consists of all piecewise-constant maps from S^1 to SL(2,Z) which projectivize to an element of PPSL(2,Z). We also introduce a spin universal Teichmueller space Tess^+ covering the earlier universal Teichmueller space Tess of tesselations of the Poincare disk D with fiber the space of Z/2 connections on the graphs dual to the tesselations in D. There is a natural action of P(SL(2,Z)) on Tess^+ which is universal for finite-type hyperbolic surfaces with spin structure in the same sense that the action of PPSL(2,Z) on Tess is universal for finite-type hyperbolic surfaces. Three explicit elements of P(SL(2,Z)) are defined combinatorially via their actions on Tess^+, and the main new result here is that they generate P(SL(2,Z)). Background, including material on hyperbolic and spin structures on finite-type surfaces, is sketched down to first principles in order to motivate the new constructions and to provide an overall survey. A companion paper to this one gives a finite presentationof the universal spin mapping class group P(SL(2,Z)) introduced here.


title: Universal Spin Teichmueller Theory, II. Finite Presentation of P(SL(2,Z))

abstract: In previous works, the universal mapping class group was taken to be the group PPSL(2,Z) of all piecewise PSL(2,Z) homeomorphisms of the unit circle S^1 with finitely many breakpoints among the rational points, and in fact, the Thompson group T is isomorphic to PPSL(2,Z). The new spin mapping class group P(SL(2,Z)) is defined to be all piecewise-constant maps from S^1 to SL(2,Z) which projectivize to an element of PPSL(2,Z). We compute a finite presentation of PPSL(2,Z) from basic principles of general position as an orbifold fundamental group. The orbifold deck group of the spin cover is explicitly computed here, from which follows also a finite presentation of P(SL(2,Z)). This is our main new achievement. Certain commutator relations in P(SL(2,Z)) seem to organize according to root lattices, which would be a novel development. We naturally wonder what is the automorphism group of P(SL(2,Z)) and speculate that it is a large sporadic group. There is a companion paper to this one which explains the topological background from first principles, proves that the group studied here using combinatorial group theory is indeed P(SL(2,Z)).


title: On Reducing the Amount of Samples Required for Training of QNNs: Constraints on the Linear Structure of the Training Data

abstract: Training classical neural networks generally requires a large number of training samples. Using entangled training samples, Quantum Neural Networks (QNNs) have the potential to significantly reduce the amount of training samples required in the training process. However, to minimize the number of incorrect predictions made by the resulting QNN, it is essential that the structure of the training samples meets certain requirements. On the one hand, the exact degree of entanglement must be fixed for the whole set of training samples. On the other hand, training samples must be linearly independent and non-orthogonal. However, how failing to meet these requirements affects the resulting QNN is not fully studied. To address this, we extend the proof of the QNFL theorem to (i) provide a generalization of the theorem for varying degrees of entanglement. This generalization shows that the average degree of entanglement in the set of training samples can be used to predict the expected quality of the QNN. Furthermore, we (ii) introduce new estimates for the expected accuracy of QNNs for moderately entangled training samples that are linear dependent or orthogonal. Our analytical results are (iii) experimentally validated by simulating QNN training and analyzing the quality of the QNN after training.


title: Data-Driven Superstabilization of Linear Systems under Quantization

abstract: This paper focuses on the stabilization and regulation of linear systems affected by quantization in state-transition data and actuated input. The observed data are composed of tuples of current state, input, and the next state's interval ranges based on sensor quantization. Using an established characterization of input-logarithmically-quantized stabilization based on robustness to sector-bounded uncertainty, we formulate a nonconservative infinite-dimensional linear program that enforces superstabilization of all possible consistent systems under assumed priors. We solve this problem by posing a pair of exponentially-scaling linear programs, and demonstrate the success of our method on example quantized systems.


title: Beginner's guide to Aggregation-Diffusion Equations

abstract: The aim of this survey is to serve as an introduction to the different techniques available in the broad field of Aggregation-Diffusion Equations. We aim to provide historical context, key literature, and main ideas in the field. We start by discussing the modelling and famous particular cases: Heat equation, Fokker-Plank, Porous medium, Keller-Segel, Chapman-Rubinstein-Schatzman, Newtonian vortex, Caffarelli-V\'azquez, McKean-Vlasov, Kuramoto, and one-layer neural networks. In Section 4 we present the well-posedness frameworks given as PDEs in Sobolev spaces, and gradient-flow in Wasserstein. Then we discuss the asymptotic behaviour in time, for which we need to understand minimisers of a free energy. We then present some numerical methods which have been developed. We conclude the paper mentioning some related problems.


title: Observation of wave propagation over 1,000 km into Antarctica winter pack ice

abstract: A drifting wave-ice buoy, which was configured by mounting the OpenMetBuoy on an ad hoc floating platform that we named Medusa, was deployed at the L\"utzow-Holm Bay (LHB) marginal ice zone in Antarctica on 4 Feb 2022 during the 63rd Japanese Antarctica research expedition. The wave-ice buoy, Medusa-766, survived the Antarctica winter as the measurement duration reached 333 days. During the winter months, it was located deep in the ice cover with the shortest distance to the ice-free Southern Ocean over 1,000 km; at this time, there was evidence of ocean wave signals at the buoy position. Using the directional wave spectra obtained from the ECMWF's reanalysis, we show that the Medusa-766 observed waves were likely generated by an extratropical cyclone in the Southern Ocean. Wave-induced ice breakup potential for such an event could extend 100s km into the ice field. When Medusa-766 was in LHB in the summer months, it did not detect sizeable wave energy despite the low sea ice concentration extent even during on-ice waves events. Characterising the considerable differences in the wave attenuation at LHB is needed to elucidate the relative contribution of ocean waves to the unstable LHB fast ice. The success of Medusa-766 demonstrates the robustness of the general design, hardware, firmware, and the high sensitivity of the sensor used. The result is promising for future LHB wave-ice interaction research.


title: Inverse coefficient problem for cascade system of fourth and second order partial differential equations

abstract: The study of the paper mainly focusses on recovering the dissipative parameter in a cascade system coupling a bilaplacian operator to a heat equation from final time measured data via quasi-solution based optimization. The coefficient inverse problem is expressed as a minimization problem. We proved that minimizer exists and the necessary optimality condition which plays the crucial role to prove the required stability result for the corresponding coefficient is derived. Utilising the conjugate gradient approach, numerical results are examined to show the method's effectiveness.


title: MOSAIC: Multi-Object Segmented Arbitrary Stylization Using CLIP

abstract: Style transfer driven by text prompts paved a new path for creatively stylizing the images without collecting an actual style image. Despite having promising results, with text-driven stylization, the user has no control over the stylization. If a user wants to create an artistic image, the user requires fine control over the stylization of various entities individually in the content image, which is not addressed by the current state-of-the-art approaches. On the other hand, diffusion style transfer methods also suffer from the same issue because the regional stylization control over the stylized output is ineffective. To address this problem, We propose a new method Multi-Object Segmented Arbitrary Stylization Using CLIP (MOSAIC), that can apply styles to different objects in the image based on the context extracted from the input prompt. Text-based segmentation and stylization modules which are based on vision transformer architecture, were used to segment and stylize the objects. Our method can extend to any arbitrary objects, styles and produce high-quality images compared to the current state of art methods. To our knowledge, this is the first attempt to perform text-guided arbitrary object-wise stylization. We demonstrate the effectiveness of our approach through qualitative and quantitative analysis, showing that it can generate visually appealing stylized images with enhanced control over stylization and the ability to generalize to unseen object classes.


title: On the Petrov Type of a 4-manifold

abstract: On an oriented 4-manifold, we examine the geometry that arises when the curvature operator of a Riemannian or Lorentzian metric $g$ commutes, not with its own Hodge star operator, but rather with that of another semi-Riemannian metric $h$ that is a suitable deformation of $g$. We classify the case when one of these metrics is Riemannian and the other Lorentzian by generalizing the concept of Petrov Type from general relativity; the case when $h$ is split-signature is also examined. The "generalized Petrov Types" so obtained are shown to relate to the critical points of $g$'s sectional curvature, and sometimes yield unique normal forms. They also carry topological information independent of the Hitchin-Thorpe inequality, and yield a direct geometric formulation of "almost-Einsten" metric via the Ricci or sectional curvature of $g$.


title: Multiple Relations Classification using Imbalanced Predictions Adaptation

abstract: The relation classification task assigns the proper semantic relation to a pair of subject and object entities; the task plays a crucial role in various text mining applications, such as knowledge graph construction and entities interaction discovery in biomedical text. Current relation classification models employ additional procedures to identify multiple relations in a single sentence. Furthermore, they overlook the imbalanced predictions pattern. The pattern arises from the presence of a few valid relations that need positive labeling in a relatively large predefined relations set. We propose a multiple relations classification model that tackles these issues through a customized output architecture and by exploiting additional input features. Our findings suggest that handling the imbalanced predictions leads to significant improvements, even on a modest training design. The results demonstrate superiority performance on benchmark datasets commonly used in relation classification. To the best of our knowledge, this work is the first that recognizes the imbalanced predictions within the relation classification task.


title: Hexaferrite-based permanent magnets with upper magnetic properties by cold sintering process via a non-aqueous solvent

abstract: The incessant technological pursuit towards a more sustainable and green future depends strongly on permanent magnets. At present, their use is widespread, making it imperative to develop new processing methods that generate highly competitive magnetic properties reducing the fabrication temperatures and costs. Herein, a novel strategy for developing dense sintered magnets based on Sr-hexaferrites with upper functional characteristics is presented. An innovative cold sintering approach using glacial acetic acid as novelty, followed by a post-annealing at 1100 {\deg}C, achieves a densification of the ceramic magnets of 92% with respect to the theoretical density and allows controlling the particle growth. After the cold sintering process, a fraction of amorphous SrO is identified, in addition to a partial transformation to {\alpha}-Fe2O3 as secondary crystalline phase. 46 wt% of SrFe12O19 remains, which is mostly recuperated after the post-thermal treatment. These findings do not significantly modify the final structure of ferrite magnets, neither at short- nor long-range order. The innovative process has a positive impact on the magnetic properties, yielding competitive ferrite magnets at lower sintering temperatures with an energy efficiency of at least 25%, which opens up a new horizon in the field of rare-earth free permanent magnets and new possibilities in other applications.


title: Design and Evaluation of Motion Planners for Quadrotors in Environments with Varying Complexities

abstract: Motion planning techniques for quadrotors have advanced significantly over the past decade. Most successful planners have two stages: a front-end that determines a path that incorporates geometric (or kinematic or input) constraints and specifies the homotopy class of the trajectory, and a back-end that optimizes this path to respect dynamics and input constraints. While there are many different choices for each stage, the eventual performance depends critically not only on these choices, but also on the environment. Given a new environment, it is difficult to decide a priori how one should design a motion planner. In this work, we develop (i) a procedure to construct parametrized environments, (ii) metrics that characterize the difficulty of motion planning in these environments, and (iii) an open-source software stack that can be used to combine a wide variety of two-stage planners seamlessly. We perform experiments in simulations and a real platform. We find, somewhat conveniently, that geometric front-ends are sufficient for environments with varying complexities if combined with dynamics-aware backends. The metrics we designed faithfully capture the planning difficulty in a given environment. All code is available at https://github.com/KumarRobotics/kr_mp_design


title: Tuning the N\'eel temperature in an antiferromagnet: the case of NixCo1-xO microstructures

abstract: We show that it is possible to tune the N\'eel temperature of nickel(II)-cobalt(II) oxide films by changing the Ni to Co ratio. We grow single crystalline micrometric triangular islands with tens of nanometers thickness on a Ru(0001) substrate using high temperature oxygen-assisted molecular beam epitaxy. Composition is controlled by adjusting the deposition rates of Co and Ni. The morphology, shape, crystal structure and composition are determined by low-energy electron microscopy and diffraction, and synchrotron-based x-ray absorption spectromicroscopy. The antiferromagnetic order is observed by x-ray magnetic linear dichroism. Antiferromagnetic domains up to micrometer width are observed.


title: Deep neural networks with ReLU, leaky ReLU, and softplus activation provably overcome the curse of dimensionality for Kolmogorov partial differential equations with Lipschitz nonlinearities in the $L^p$-sense

abstract: Recently, several deep learning (DL) methods for approximating high-dimensional partial differential equations (PDEs) have been proposed. The interest that these methods have generated in the literature is in large part due to simulations which appear to demonstrate that such DL methods have the capacity to overcome the curse of dimensionality (COD) for PDEs in the sense that the number of computational operations they require to achieve a certain approximation accuracy $\varepsilon\in(0,\infty)$ grows at most polynomially in the PDE dimension $d\in\mathbb N$ and the reciprocal of $\varepsilon$. While there is thus far no mathematical result that proves that one of such methods is indeed capable of overcoming the COD, there are now a number of rigorous results in the literature that show that deep neural networks (DNNs) have the expressive power to approximate PDE solutions without the COD in the sense that the number of parameters used to describe the approximating DNN grows at most polynomially in both the PDE dimension $d\in\mathbb N$ and the reciprocal of the approximation accuracy $\varepsilon>0$. Roughly speaking, in the literature it is has been proved for every $T>0$ that solutions $u_d\colon [0,T]\times\mathbb R^d\to \mathbb R$, $d\in\mathbb N$, of semilinear heat PDEs with Lipschitz continuous nonlinearities can be approximated by DNNs with ReLU activation at the terminal time in the $L^2$-sense without the COD provided that the initial value functions $\mathbb R^d\ni x\mapsto u_d(0,x)\in\mathbb R$, $d\in\mathbb N$, can be approximated by ReLU DNNs without the COD. It is the key contribution of this work to generalize this result by establishing this statement in the $L^p$-sense with $p\in(0,\infty)$ and by allowing the activation function to be more general covering the ReLU, the leaky ReLU, and the softplus activation functions as special cases.


title: Predicting failure locations in model end-linked polymer networks

abstract: The fracture of end-linked polymer networks and gels has a significant impact on the performance of these versatile and widely used materials, and a molecular-level understanding of the fracture process is crucial for the design of new materials. Network analysis techniques, especially geodesic edge betweenness centrality (GEBC) have been proven effective in failure locations across various network materials. In this work, we employ a combination of coarse-grained molecular dynamics simulations and network analysis techniques to investigate the effectiveness of GEBC and polymer strand orientation in predicting failure locations in model end-linked polymer networks. We demonstrate that polymer strands with fewer topological defects in their local surroundings, higher GEBC values compared to the system average, and greater alignment to the deformation axis are more prone to breaking under the uniaxial tensile deformation. Our results can be used to further refine the description of the processes at play during the failure of polymer networks and provide valuable insights into the inverse design of network materials with desired fracture properties.


title: FeCo Nanowire-Strontium Ferrite Powder Composites for Permanent Magnets with High-Energy Products

abstract: Due to the issues associated with rare-earth elements, there arises a strong need for magnets with properties between those of ferrites and rare-earth magnets that could substitute the latter in selected applications. Here, we produce a high remanent magnetization composite bonded magnet by mixing FeCo nanowire powders with hexaferrite particles. In the first step, metallic nanowires with diameters between 30 and 100 nm and length of at least 2 {\mu}m are fabricated by electrodeposition. The oriented as-synthesized nanowires show remanence ratios above 0.76 and coercivities above 199 kA/m and resist core oxidation up to 300 {\deg}C due to the existence of a > 8 nm thin oxide passivating shell. In the second step, a composite powder is fabricated by mixing the nanowires with hexaferrite particles. After the optimal nanowire diameter and composite composition are selected, a bonded magnet is produced. The resulting magnet presents a 20% increase in remanence and an enhancement of the energy product of 48% with respect to a pure hexaferrite (strontium ferrite) magnet. These results put nanowire-ferrite composites at the forefront as candidate materials for alternative magnets for substitution of rare earths in applications that operate with moderate magnet performance.


title: Expanding the tunability and applicability of exchange-coupled/decoupled magnetic nanocomposites

abstract: CoFe2O4/Co-Fe magnetic composites are usually prepared through partial reduction of CoFe2O4, which often yields monoxides (i.e., FeO, CoO) as secondary phases. Since these compounds are paramagnetic at ambient conditions, the presence of a small amount of monoxide is generally downplayed in the literature, and the possible effects on the magnetic properties are simply ignored. However, the present study shows that even a low concentration of monoxide results in decoupling of the soft and hard magnetic phases, which inevitably leads to a deterioration of the magnetic properties. Additionally, it is confirmed that a partial reduction of CoFe2O4 is a suitable method to produce CoFe2O4/Co-Fe nanocomposites, provided that the treatment is well controlled with respect to duration, temperature and flow of reductant. A monoxide-free nanocomposite was produced and its magnetic properties evaluated both at room and low temperature. Our model system exemplifies the potential of exchange-coupling (and decoupling) as a tool to tune the magnetic properties of a material within a relatively wide range of values, thus widening its spectrum of potential applications.


title: A compact 20-pass thin-disk multipass amplifier stable against thermal lensing effects and delivering 330 mJ pulses with $\bf{M^2 < 1.17}$

abstract: We report on an Yb:YAG thin-disk multipass amplifier delivering 50 ns long pulses at a central wavelength of 1030 nm with an energy of 330 mJ at a repetition rate of 100 Hz. The beam quality factor at the maximum energy was measured to be $\text{M}^2 = 1.17$. The small signal gain is 20, and the gain at 330 mJ was measured to be 6.9. The 20-pass amplifier is designed as a concatenation of stable resonator segments in which the beam is alternately Fourier transformed and relay-imaged back to the disk by a 4f-imaging optical scheme stage. The Fourier transform propagation makes the output beam robust against spherical phase front distortions, while the 4f-stage is used to compensate the thermal lens of the thin-disk and to reduce the footprint of the amplifier.


title: Inequalities For Distances Between Triangle Centers

abstract: In his seminal paper on triangle centers, Clark Kimberling made a number of conjectures concerning the distances between triangle centers. For example, if $D(i; j)$ denotes the distance between triangle centers $X_i$ and $X_j$ , Kimberling conjectured that $D(6; 1) \leq D(6; 3)$ for all triangles. We use symbolic mathematics techniques to prove these conjectures. In addition, we prove stronger results, using best-possible constants, such as $D(6; 1) \leq (2 -\sqrt3)D(6; 3)$.


title: Unique continuation on planar graphs

abstract: We show that a discrete harmonic function which is bounded on a large portion of a periodic planar graph is constant. A key ingredient is a new unique continuation result for the weighted graph Laplacian. The proof relies on the structure of level sets of discrete harmonic functions, using arguments as in Bou-Rabee--Cooperman--Dario (2023) which exploit the fact that, on a planar graph, the sub- and super-level sets cannot cross over each other. In the special case of the square lattice this yields a new, geometric proof of the Liouville theorem of Buhovsky--Logunov--Malinnikova--Sodin (2017).


title: Approaching Ferrite-Based Exchange-Coupled Nanocomposites as Permanent Magnets

abstract: During the past decade, CoFe2O4 (hard)/Co-Fe alloy (soft) magnetic nanocomposites have been routinely prepared by partial reduction of CoFe2O4 nanoparticles. Monoxide (i.e., FeO or CoO) has often been detected as a byproduct of the reduction, although it remains unclear whether the formation of this phase occurs during the reduction itself or at a later stage. Here, a novel reaction cell was designed to monitor the reduction in situ using synchrotron powder X-ray diffraction (PXRD). Sequential Rietveld refinements of the in situ data yielded time-resolved information on the sample composition and confirmed that the monoxide is generated as an intermediate phase. The macroscopic magnetic properties of samples at different reduction stages were measured by means of vibrating sample magnetometry (VSM), revealing a magnetic softening with increasing soft phase content, which was too pronounced to be exclusively explained by the introduction of soft material in the system. The elemental compositions of the constituent phases were obtained from joint Rietveld refinements of ex situ high-resolution PXRD and neutron powder diffraction (NPD) data. It was found that the alloy has a tendency to emerge in a Co-rich form, inducing a Co deficiency on the remaining spinel phase, which can explain the early softening of the magnetic material.


title: Families of automorphisms of abelian varieties

abstract: We consider some algebraic aspects of the dynamics of an automorphism on a family of polarized abelian varieties parameterized by the complex unit disk. When the action on the cohomology of the generic fiber has no cyclotomic factor, we prove that such a map can be made regular only if the family of abelian varieties does not degenerate. As a contrast, we show that families of translations are always regularizable. We further describe the closure of the orbits of such maps, inspired by results of Cantat and Amerik-Verbitsky.


title: Arabic Sentiment Analysis with Noisy Deep Explainable Model

abstract: Sentiment Analysis (SA) is an indispensable task for many real-world applications. Compared to limited resourced languages (i.e., Arabic, Bengali), most of the research on SA are conducted for high resourced languages (i.e., English, Chinese). Moreover, the reasons behind any prediction of the Arabic sentiment analysis methods exploiting advanced artificial intelligence (AI)-based approaches are like black-box - quite difficult to understand. This paper proposes an explainable sentiment classification framework for the Arabic language by introducing a noise layer on Bi-Directional Long Short-Term Memory (BiLSTM) and Convolutional Neural Networks (CNN)-BiLSTM models that overcome over-fitting problem. The proposed framework can explain specific predictions by training a local surrogate explainable model to understand why a particular sentiment (positive or negative) is being predicted. We carried out experiments on public benchmark Arabic SA datasets. The results concluded that adding noise layers improves the performance in sentiment analysis for the Arabic language by reducing overfitting and our method outperformed some known state-of-the-art methods. In addition, the introduced explainability with noise layer could make the model more transparent and accountable and hence help adopting AI-enabled system in practice.


title: Efficient multipole representation for matter-wave optics

abstract: Technical optics with matter waves requires a universal description of three-dimensional traps, lenses, and complex matter-wave fields. In analogy to the two-dimensional Zernike expansion in beam optics, we present a three-dimensional multipole expansion for Bose-condensed matter waves and optical devices. We characterize real magnetic chip traps, optical dipole traps, and the complex matter-wave field in terms of spherical harmonics and radial Stringari polynomials. We illustrate this procedure for typical harmonic model potentials as well as real magnetic and optical dipole traps. Eventually, we use the multipole expansion to characterize the aberrations of a ballistically interacting expanding Bose-Einstein condensate in (3+1)-dimensions. In particular, we find deviations from the quadratic phase ansatz in the popular scaling approximation. This universal multipole description of aberrations can be used to optimize matter-wave optics setups, for example in matter-wave interferometers.


title: Towards Tuning-Free Minimum-Volume Nonnegative Matrix Factorization

abstract: Nonnegative Matrix Factorization (NMF) is a versatile and powerful tool for discovering latent structures in data matrices, with many variations proposed in the literature. Recently, Leplat et al.\@ (2019) introduced a minimum-volume NMF for the identifiable recovery of rank-deficient matrices in the presence of noise. The performance of their formulation, however, requires the selection of a tuning parameter whose optimal value depends on the unknown noise level. In this work, we propose an alternative formulation of minimum-volume NMF inspired by the square-root lasso and its tuning-free properties. Our formulation also requires the selection of a tuning parameter, but its optimal value does not depend on the noise level. To fit our NMF model, we propose a majorization-minimization (MM) algorithm that comes with global convergence guarantees. We show empirically that the optimal choice of our tuning parameter is insensitive to the noise level in the data.


title: Prompting and Fine-Tuning Open-Sourced Large Language Models for Stance Classification

abstract: Stance classification, the task of predicting the viewpoint of an author on a subject of interest, has long been a focal point of research in domains ranging from social science to machine learning. Current stance detection methods rely predominantly on manual annotation of sentences, followed by training a supervised machine learning model. However, this manual annotation process requires laborious annotation effort, and thus hampers its potential to generalize across different contexts. In this work, we investigate the use of Large Language Models (LLMs) as a stance detection methodology that can reduce or even eliminate the need for manual annotations. We investigate 10 open-source models and 7 prompting schemes, finding that LLMs are competitive with in-domain supervised models but are not necessarily consistent in their performance. We also fine-tuned the LLMs, but discovered that fine-tuning process does not necessarily lead to better performance. In general, we discover that LLMs do not routinely outperform their smaller supervised machine learning models, and thus call for stance detection to be a benchmark for which LLMs also optimize for. The code used in this study is available at \url{https://github.com/ijcruic/LLM-Stance-Labeling}


title: Analytical calculation of the critical temperature and estimation of the critical region size for a fluid model

abstract: An analytical procedure for calculating the critical temperature and estimating the size of critical region for a cell fluid model is developed. Our numerical calculations are illustrated by the case of the Morse potential parameters characterizing the alkali metals (sodium and potassium). The critical temperatures found for liquid sodium and potassium as solutions of the resulting quadratic equation agree with experimental data. The expression for the relative temperature determining the critical region size is obtained proceeding from the condition for the critical regime existence. In the cases of sodium and potassium, the value of this temperature is of the order of a few hundredths.


title: Geometry of Linear Neural Networks: Equivariance and Invariance under Permutation Groups

abstract: The set of functions parameterized by a linear fully-connected neural network is a determinantal variety. We investigate the subvariety of functions that are equivariant or invariant under the action of a permutation group. Examples of such group actions are translations or $90^\circ$ rotations on images. We describe such equivariant or invariant subvarieties as direct products of determinantal varieties, from which we deduce their dimension, degree, Euclidean distance degree, and their singularities. We fully characterize invariance for arbitrary permutation groups, and equivariance for cyclic groups. We draw conclusions for the parameterization and the design of equivariant and invariant linear networks in terms of sparsity and weight-sharing properties. We prove that all invariant linear functions can be parameterized by a single linear autoencoder with a weight-sharing property imposed by the cycle decomposition of the considered permutation. The space of rank-bounded equivariant functions has several irreducible components, so it can not be parameterized by a single network-but each irreducible component can. Finally, we show that minimizing the squared-error loss on our invariant or equivariant networks reduces to minimizing the Euclidean distance from determinantal varieties via the Eckart-Young theorem.


title: Terrestrial Locomotion of PogoX: From Hardware Design to Energy Shaping and Step-to-step Dynamics Based Control

abstract: We present a novel controller design on a robotic locomotor that combines an aerial vehicle with a spring-loaded leg. The main motivation is to enable the terrestrial locomotion capability on aerial vehicles so that they can carry heavy loads: heavy enough that flying is no longer possible, e.g., when the thrust-to-weight ratio (TWR) is small. The robot is designed with a pogo-stick leg and a quadrotor, and thus it is named as PogoX. We show that with a simple and lightweight spring-loaded leg, the robot is capable of hopping with TWR $<1$. The control of hopping is realized via two components: a vertical height control via control Lyapunov function-based energy shaping, and a step-to-step (S2S) dynamics based horizontal velocity control that is inspired by the hopping of the Spring-Loaded Inverted Pendulum (SLIP). The controller is successfully realized on the physical robot, showing dynamic terrestrial locomotion of PogoX which can hop at variable heights and different horizontal velocities with robustness to ground height variations and external pushes.


title: Conformally flat structures via hyperbolic geometry

abstract: A pair of tensors $(g,B)$ form the induced metric and shape operator of an immersion into hyperbolic space if and only if they satisfy the Gauss-Codazzi equations. Such a pair of tensors induce a pair $(\hat{g},\hat{B})$ related to the ideal boundary of hyperbolic space. Krasnov and Schlenker, and Bridgeman and Bromberg show in the surface case that there is a duality between $(g,B)$ and $(\hat{g},\hat{B})$. Moreover, $(g,B)$ solves the Gauss-Codazzi equations if and only if $(\hat{g},\hat{B})$ solve a corresponding set of equations. We show a similar duality exists and identify these corresponding equations for an arbitrary dimension, as well as show there exists a unique solution for $\hat{B}$ provided $\hat{g}$ is locally conformally flat. As an application, we offer a proof of the Weyl-Schouten theorem concerning locally conformally flat metrics that factors through hyperbolic geometry.


title: Vacuum polarization correction to atomic energy levels in the path integral formalism

abstract: Vacuum polarization corrections to the energy levels of bound electrons are calculated using a perturbative path integral formalism. We apply quantum electrodynamics in a framework which treats the strong binding nuclear field to all orders. The effective potential, derived from the Dyson-Schwinger equation for the photon propagator, is then considered pertubatively. Expressions for the vacuum polarization shift of binding energies is obtained from the poles of the spectral function up to second order. Numerical results are provided to select candidates for novel tests of strong-field quantum electrodynamics by means of precision mass spectrometry.


title: Complex Vasquez invariant

abstract: In 1970 Vasquez proved that to every finite group $G$ we can assign a natural number $n(G)$ with the property that every flat manifold with holonomy $G$ is a total space of a fiber bundle, with the fiber being a flat torus and the base space -- a flat manifold of dimension less than or equal to $n(G)$. In particular, this means that the characteristic algebra of any flat manifold with holonomy $G$ vanishes in dimension greater than $n(G)$. We define a complex analog of Vasquez invariant, in which finite groups are considered as holonomy groups of compact flat K\"ahler manifolds.


title: Symmetric tensor powers of graphs

abstract: The symmetric tensor power of graphs is introduced and its fundamental properties are explored. A wide range of intriguing phenomena occur when one considers symmetric tensor powers of familiar graphs. A host of open questions are presented, hoping to spur future research.


title: DROP: Dynamics Responses from Human Motion Prior and Projective Dynamics

abstract: Synthesizing realistic human movements, dynamically responsive to the environment, is a long-standing objective in character animation, with applications in computer vision, sports, and healthcare, for motion prediction and data augmentation. Recent kinematics-based generative motion models offer impressive scalability in modeling extensive motion data, albeit without an interface to reason about and interact with physics. While simulator-in-the-loop learning approaches enable highly physically realistic behaviors, the challenges in training often affect scalability and adoption. We introduce DROP, a novel framework for modeling Dynamics Responses of humans using generative mOtion prior and Projective dynamics. DROP can be viewed as a highly stable, minimalist physics-based human simulator that interfaces with a kinematics-based generative motion prior. Utilizing projective dynamics, DROP allows flexible and simple integration of the learned motion prior as one of the projective energies, seamlessly incorporating control provided by the motion prior with Newtonian dynamics. Serving as a model-agnostic plug-in, DROP enables us to fully leverage recent advances in generative motion models for physics-based motion synthesis. We conduct extensive evaluations of our model across different motion tasks and various physical perturbations, demonstrating the scalability and diversity of responses.


title: Robust Adaptive MPC Using Uncertainty Compensation

abstract: This paper presents an uncertainty compensation-based robust adaptive model predictive control (MPC) framework for linear systems with both matched and unmatched nonlinear uncertainties subject to both state and input constraints. In particular, the proposed control framework leverages an L1 adaptive controller (L1AC) to compensate for the matched uncertainties and to provide guaranteed uniform bounds on the error between the states and control inputs of the actual system and those of a nominal i.e., uncertainty-free, system. The performance bounds provided by the L1AC are then used to tighten the state and control constraints of the actual system, and a model predictive controller is designed for the nominal system with the tightened constraints. The proposed control framework, which we denote as uncertainty compensation-based MPC (UC-MPC), guarantees constraint satisfaction and achieves improved performance compared with existing methods. Simulation results on a flight control example demonstrate the benefits of the proposed framework.


title: A Systematic Literature Review of Computer Vision Applications in Robotized Wire Harness Assembly

abstract: This article provides a systematic literature review of computer vision applications in robotized wire harness assembly.


title: Overview of Computer Vision Techniques in Robotized Wire Harness Assembly: Current State and Future Opportunities

abstract: Wire harnesses are essential hardware for electronic systems in modern automotive vehicles. With a shift in the automotive industry towards electrification and autonomous driving, more and more automotive electronics are responsible for energy transmission and safety-critical functions such as maneuvering, driver assistance, and safety system. This paradigm shift places more demand on automotive wire harnesses from the safety perspective and stresses the greater importance of high-quality wire harness assembly in vehicles. However, most of the current operations of wire harness assembly are still performed manually by skilled workers, and some of the manual processes are problematic in terms of quality control and ergonomics. There is also a persistent demand in the industry to increase competitiveness and gain market share. Hence, assuring assembly quality while improving ergonomics and optimizing labor costs is desired. Robotized assembly, accomplished by robots or in human-robot collaboration, is a key enabler for fulfilling the increasingly demanding quality and safety as it enables more replicable, transparent, and comprehensible processes than completely manual operations. However, robotized assembly of wire harnesses is challenging in practical environments due to the flexibility of the deformable objects, though many preliminary automation solutions have been proposed under simplified industrial configurations. Previous research efforts have proposed the use of computer vision technology to facilitate robotized automation of wire harness assembly, enabling the robots to better perceive and manipulate the flexible wire harness. This article presents an overview of computer vision technology proposed for robotized wire harness assembly and derives research gaps that require further study to facilitate a more practical robotized assembly of wire harnesses.


title: Deep Learning-Based Connector Detection for Robotized Assembly of Automotive Wire Harnesses

abstract: The shift towards electrification and autonomous driving in the automotive industry results in more and more automotive wire harnesses being installed in modern automobiles, which stresses the great significance of guaranteeing the quality of automotive wire harness assembly. The mating of connectors is essential in the final assembly of automotive wire harnesses due to the importance of connectors on wire harness connection and signal transmission. However, the current manual operation of mating connectors leads to severe problems regarding assembly quality and ergonomics, where the robotized assembly has been considered, and different vision-based solutions have been proposed to facilitate a better perception of the robot control system on connectors. Nonetheless, there has been a lack of deep learning-based solutions for detecting automotive wire harness connectors in previous literature. This paper presents a deep learning-based connector detection for robotized automotive wire harness assembly. A dataset of twenty automotive wire harness connectors was created to train and evaluate a two-stage and a one-stage object detection model, respectively. The experiment results indicate the effectiveness of deep learning-based connector detection for automotive wire harness assembly but are limited by the design of the exteriors of connectors.


title: Look Ma, no code: fine tuning nnU-Net for the AutoPET II challenge by only adjusting its JSON plans

abstract: We participate in the AutoPET II challenge by modifying nnU-Net only through its easy to understand and modify 'nnUNetPlans.json' file. By switching to a UNet with residual encoder, increasing the batch size and increasing the patch size we obtain a configuration that substantially outperforms the automatically configured nnU-Net baseline (5-fold cross-validation Dice score of 65.14 vs 33.28) at the expense of increased compute requirements for model training. Our final submission ensembles the two most promising configurations.


title: Does the "most sinfully decadent cake ever" taste good? Answering Yes/No Questions from Figurative Contexts

abstract: Figurative language is commonplace in natural language, and while making communication memorable and creative, can be difficult to understand. In this work, we investigate the robustness of Question Answering (QA) models on figurative text. Yes/no questions, in particular, are a useful probe of figurative language understanding capabilities of large language models. We propose FigurativeQA, a set of 1000 yes/no questions with figurative and non-figurative contexts, extracted from the domains of restaurant and product reviews. We show that state-of-the-art BERT-based QA models exhibit an average performance drop of up to 15\% points when answering questions from figurative contexts, as compared to non-figurative ones. While models like GPT-3 and ChatGPT are better at handling figurative texts, we show that further performance gains can be achieved by automatically simplifying the figurative contexts into their non-figurative (literal) counterparts. We find that the best overall model is ChatGPT with chain-of-thought prompting to generate non-figurative contexts. Our work provides a promising direction for building more robust QA models with figurative language understanding capabilities.


title: A Minkowski type inequality for manifolds with positive spectrum

abstract: The classical Minkowski inequality implies that the volume of a bounded convex domain is controlled from above by the integral of the mean curvature of its boundary. In this note, we establish an analogous inequality without the convexity assumption for all bounded smooth domains in a complete manifold with its bottom spectrum being suitably large relative to its Ricci curvature lower bound. An immediate implication is the nonexistence of embedded compact minimal hypersurfaces in such manifolds. This nonexistence issue is also considered for steady and expanding Ricci solitons.


title: Tests of subgrid models for star formation using simulations of isolated disk galaxies

abstract: We use smoothed-particle hydrodynamics simulations of isolated Milky Way-mass disk galaxies that include cold, interstellar gas to test subgrid prescriptions for star formation (SF). Our fiducial model combines a Schmidt law with a gravitational instability criterion, but we also test density thresholds and temperature ceilings. While SF histories are insensitive to the prescription for SF, the Kennicutt-Schmidt (KS) relations between SF rate and gas surface density can discriminate between models. We show that our fiducial model, with an SF efficiency per free-fall time of 1 per cent, agrees with spatially-resolved and azimuthally-averaged observed KS relations for neutral, atomic and molecular gas. Density thresholds do not perform as well. While temperature ceilings selecting cold, molecular gas can match the data for galaxies with solar metallicity, they are unsuitable for very low-metallicity gas and hence for cosmological simulations. We argue that SF criteria should be applied at the resolution limit rather than at a fixed physical scale, which means that we should aim for numerical convergence of observables rather than of the properties of gas labelled as star-forming. Our fiducial model yields good convergence when the mass resolution is varied by nearly 4 orders of magnitude, with the exception of the spatially-resolved molecular KS relation at low surface densities. For the gravitational instability criterion, we quantify the impact on the KS relations of gravitational softening, the SF efficiency, and the strength of supernova feedback, as well as of observable parameters such as the inclusion of ionized gas, the averaging scale, and the metallicity.


title: Separable effects for adherence

abstract: Comparing different medications is complicated when adherence to these medications differs. We can overcome the adherence issue by assessing effectiveness under sustained use, as in the usual causal `per-protocol' estimand. However, when sustained use is challenging to satisfy in practice, the usefulness of this estimand can be limited. Here we propose a different class of estimands: separable effects for adherence. These estimands compare modified medications, holding fixed a component responsible for non-adherence. Under assumptions about treatment components' mechanisms of effect, the separable effects estimand can eliminate differences in adherence. These assumptions are amenable to interrogation by subject-matter experts and can be evaluated using causal graphs. We describe an algorithm for constructing causal graphs for separable effects, illustrate how these graphs can be used to reason about assumptions required for identification, and provide semi-parametric weighted estimators.


title: Improving Robustness of Deep Convolutional Neural Networks via Multiresolution Learning

abstract: The current learning process of deep learning, regardless of any deep neural network (DNN) architecture and/or learning algorithm used, is essentially a single resolution training. We explore multiresolution learning and show that multiresolution learning can significantly improve robustness of DNN models for both 1D signal and 2D signal (image) prediction problems. We demonstrate this improvement in terms of both noise and adversarial robustness as well as with small training dataset size. Our results also suggest that it may not be necessary to trade standard accuracy for robustness with multiresolution learning, which is, interestingly, contrary to the observation obtained from the traditional single resolution learning setting.


title: Policy Stitching: Learning Transferable Robot Policies

abstract: Training robots with reinforcement learning (RL) typically involves heavy interactions with the environment, and the acquired skills are often sensitive to changes in task environments and robot kinematics. Transfer RL aims to leverage previous knowledge to accelerate learning of new tasks or new body configurations. However, existing methods struggle to generalize to novel robot-task combinations and scale to realistic tasks due to complex architecture design or strong regularization that limits the capacity of the learned policy. We propose Policy Stitching, a novel framework that facilitates robot transfer learning for novel combinations of robots and tasks. Our key idea is to apply modular policy design and align the latent representations between the modular interfaces. Our method allows direct stitching of the robot and task modules trained separately to form a new policy for fast adaptation. Our simulated and real-world experiments on various 3D manipulation tasks demonstrate the superior zero-shot and few-shot transfer learning performances of our method. Our project website is at: http://generalroboticslab.com/PolicyStitching/ .


title: Evaluation of a High-Power Target Design for Positron Production at CEBAF

abstract: A source for polarized positron beams at the Continuous Electron Beam Accelerator Facility (CEBAF) at Jefferson Lab is being designed. The Polarized Electrons for Polarized Positrons (PEPPo) concept is used to produce polarized e$^+$e$^-$-pairs from the bremsstrahlung radiation of a longitudinally polarized electron beam interacting within a high-$Z$ conversion target. The scheme under consideration includes a 4 mm thick tungsten target that absorbs 17 kW deposited by a 1 mA continuous-wave electron beam with an energy of 120 MeV. The concept of a rotating tungsten rim mounted on a water-cooled copper disk was explored. The results of ANSYS thermal and mechanical analyses are discussed together with FLUKA evaluations of the radiation damages.


title: Efficient Recursive Data-enabled Predictive Control (Extended Version)

abstract: In the field of model predictive control, Data-enabled Predictive Control (DeePC) offers direct predictive control, bypassing traditional modeling. However, challenges emerge with increased computational demand due to recursive data updates. This paper introduces a novel recursive updating algorithm for DeePC. It emphasizes the use of Singular Value Decomposition (SVD) for efficient low-dimensional transformations of DeePC in its general form, as well as a fast SVD update scheme. Importantly, our proposed algorithm is highly flexible due to its reliance on the general form of DeePC, which is demonstrated to encompass various data-driven methods that utilize Pseudoinverse and Hankel matrices. This is exemplified through a comparison to Subspace Predictive Control, where the algorithm achieves asymptotically consistent prediction for stochastic linear time-invariant systems. Our proposed methodologies' efficacy is validated through simulation studies.


title: Internal magnetic fields in 13 red giants detected by asteroseismology

abstract: While surface fields have been measured for stars across the HR diagram, internal magnetic fields remain largely unknown. The recent seismic detection of magnetic fields in the cores of several Kepler red giants has opened a new avenue to understand better the origin of magnetic fields and their impact on stellar structure and evolution. We aim to use asteroseismology to systematically search for internal magnetic fields in red giant stars and to determine the strengths and geometries of these fields. Magnetic fields are known to break the symmetry of rotational multiplets. In red giants, oscillation modes are mixed, behaving as pressure modes in the envelope and as gravity modes in the core. Magnetism-induced asymmetries are expected to be stronger for g-dominated modes than for p-dominated modes and to decrease with frequency. After collecting a sample of 2500 Kepler red giant stars with clear mixed-mode patterns, we specifically searched for targets among 1200 stars with dipole triplets. We identified 13 stars exhibiting clear asymmetric multiplets and measured their parameters, especially the asymmetry parameter and the magnetic frequency shift. By combining these estimates with best-fitting stellar models, we measured average core magnetic fields ranging from 20 to 150kG, corresponding to 5% to 30% of the critical field strengths. We showed that the detected core fields have various horizontal geometries, some of which significantly differ from a dipolar configuration. We found that the field strengths decrease with stellar evolution, despite the fact that the cores of these stars are contracting. Even though these stars have strong internal magnetic fields, they display normal core rotation rates, suggesting no significantly different histories of angular momentum transport compared to other red giant stars. We also discuss the possible origin of the detected fields.


title: $G$-solid Rational Surfaces

abstract: We classify $G$-solid rational surfaces over the field of complex numbers.


title: Bifurcations of Clifford tori in ellipsoids

abstract: We prove that 3-dimensional ellipsoids invariant under a 2-torus action contain infinitely many distinct immersed minimal tori, with at most one exception. These minimal tori bifurcate from the 2-torus orbit of largest volume at a dense set of eccentricities, and remain invariant under a circle.


title: A sharp square function estimate for the moment curve in $\mathbb{R}^n$

abstract: We use high-low frequency methods developed in the context of decoupling to prove sharp (up to $C_\epsilon R^\epsilon$) square function estimates for the moment curve $(t,t^2,\ldots,t^n)$ in $\mathbb{R}^n$. Our inductive scheme incorporates sharp square function estimates for auxiliary conical sets, which allows us to fully exploit lower dimensional information.


title: The effect of Jupiter on the CAI storage problem

abstract: By studying the distribution of calcium-aluminium-rich inclusions (CAIs) that are embedded within meteorites, we can learn about the dynamical history of the protoplanetary disk from which our Solar System formed. A long-standing problem concerning CAIs is the CAI storage problem. CAIs are thought to have formed at high temperatures near the Sun, but they are primarily found in carbonaceous chondrites, which formed much further out, beyond the orbit of Jupiter. Additionally, radial drift of CAI particles should have removed them from the solar protoplanetary disk several million years before the parent bodies of meteorites in which they are encountered would have accreted. We revisit a previously suggested solution to the CAI storage problem by Desch, Kalyaan, and Alexander which proposed that CAIs were mixed radially outward through the disk and subsequently got trapped in a pressure maximum created by Jupiter's growing core opening a planet gap. Our aim is to investigate whether their solution still works when we take into account the infall phase during which the disk builds up from the collapse of a molecular cloud core. We build a 1D numerical code in Python using the DISKLAB package to simulate the evolution of the solar protoplanetary disk, starting with a collapsing molecular cloud. We find that outward transport of CAIs during the infall phase is very efficient, possibly mixing them all the way into the far outer disk. Subsequent inward radial drift collects CAIs in the pressure maximum beyond Jupiter's orbit while draining the inner disk, roughly reproducing parts of the result by Desch et al. By introducing CAI formation so early, abundances out to 100 AU remain significant, possibly not consistent with some meteoritic data. It is possible to create a disk that does not expand as far out and also does not push CAIs as far out by using a very slowly rotating cloud.


title: Text Classification: A Perspective of Deep Learning Methods

abstract: In recent years, with the rapid development of information on the Internet, the number of complex texts and documents has increased exponentially, which requires a deeper understanding of deep learning methods in order to accurately classify texts using deep learning techniques, and thus deep learning methods have become increasingly important in text classification. Text classification is a class of tasks that automatically classifies a set of documents into multiple predefined categories based on their content and subject matter. Thus, the main goal of text classification is to enable users to extract information from textual resources and process processes such as retrieval, classification, and machine learning techniques together in order to classify different categories. Many new techniques of deep learning have already achieved excellent results in natural language processing. The success of these learning algorithms relies on their ability to understand complex models and non-linear relationships in data. However, finding the right structure, architecture, and techniques for text classification is a challenge for researchers. This paper introduces deep learning-based text classification algorithms, including important steps required for text classification tasks such as feature extraction, feature reduction, and evaluation strategies and methods. At the end of the article, different deep learning text classification methods are compared and summarized.


title: Veer: Verifying Equivalence of Dataflow Versions in Iterative Data Analytics (Extended Version)

abstract: Data analytics using GUI-based dataflows is an iterative process in which an analyst makes many iterations of changes to refine the dataflow, generating a different version at each iteration. In many cases, the result of executing a dataflow version is equivalent to a result of a prior executed version. Identifying such equivalence between the execution results of different dataflow versions is important for optimizing the performance of a dataflow by reusing results from a previous run. The size of the dataflows and the complexity of their operators often make existing equivalence verifiers (EVs) not able to solve the problem. In this paper, we present "Veer," which leverages the fact that two dataflow versions can be very similar except for a few changes. The solution divides the dataflow version pair into small parts, called windows, and verifies the equivalence within each window by using an existing EV as a black box. We develop solutions to efficiently generate windows and verify the equivalence within each window. Our thorough experiments on real dataflows show that Veer is able to not only verify the equivalence of dataflows that cannot be supported by existing EVs but also do the verification efficiently.


title: Combining Two Adversarial Attacks Against Person Re-Identification Systems

abstract: The field of Person Re-Identification (Re-ID) has received much attention recently, driven by the progress of deep neural networks, especially for image classification. The problem of Re-ID consists in identifying individuals through images captured by surveillance cameras in different scenarios. Governments and companies are investing a lot of time and money in Re-ID systems for use in public safety and identifying missing persons. However, several challenges remain for successfully implementing Re-ID, such as occlusions and light reflections in people's images. In this work, we focus on adversarial attacks on Re-ID systems, which can be a critical threat to the performance of these systems. In particular, we explore the combination of adversarial attacks against Re-ID models, trying to strengthen the decrease in the classification results. We conduct our experiments on three datasets: DukeMTMC-ReID, Market-1501, and CUHK03. We combine the use of two types of adversarial attacks, P-FGSM and Deep Mis-Ranking, applied to two popular Re-ID models: IDE (ResNet-50) and AlignedReID. The best result demonstrates a decrease of 3.36% in the Rank-10 metric for AlignedReID applied to CUHK03. We also try to use Dropout during the inference as a defense method.


title: Geometric and combinatorial properties of extended Springer fibers

abstract: We consider a generalization of the Springer resolution studied in earlier work of the authors, called the extended Springer resolution. In type $A$, this map plays a role in Lusztig's generalized Springer correspondence comparable to that of the Springer resolution in the Springer correspondence. The fibers of the Springer resolution play a key part in the latter story, and connect the combinatorics of tableaux to geometry. Our main results prove the same is true for fibers of the extended Springer resolution -- their geometry is governed by the combinatorics of tableaux. In particular, we prove that these fibers are paved by affines, up to the action of a finite group, and give combinatorial formulas for their Betti numbers. This yields, among other things, a simple formula for dimensions of stalks of the Lusztig sheaves arising in the study of the generalized Springer correspondence, and shows that there is a close resemblance between each Lusztig sheaf and the Springer sheaf for a smaller group.


title: Generalized Schr\"oder-type functional equations for Galton-Watson processes in random environments

abstract: The classical Galton--Watson process works with a fixed probability of fission at each time step. One of the generalizations is that the probabilities depend on time. We consider one of the most complex and interesting cases when we do not know the exact probabilities of fission at each time step - these probabilities are random variables themselves. The limit distributions of the number of descendants are described in terms of generalized integral and differential functional equations of the Schr\"oder type. There are no more analogs of periodic Karlin-McGregor functions, which were very helpful in the analysis of the asymptotic behavior of limit distributions for the classical case. We propose some approximate asymptotic methods. Even simple cases of random families with one or two members lead to nice asymptotics involving, interesting problems related to special functions and special constants. One of them, Example 2 is already announced on \href{https://math.stackexchange.com/questions/4748129/asymptotics-of-sequence-of-rational-numbers}{this} and \href{https://mathoverflow.net/questions/458885/simple-integral-equation}{this} sites. Finally, the phenomenon of why the oscillations in the main asymptotic term usual for the classical case become rare in the case of random environments is discussed.


title: Reserve Matching with Thresholds

abstract: Reserve systems are used to accommodate multiple essential or underrepresented groups in allocating indivisible scarce resources by creating categories that prioritize their respective beneficiaries. Some applications include the optimal allocation of vaccines, or assignment of minority students to elite colleges in India. An allocation is called smart if it optimizes the number of units distributed. Previous literature mostly assumed baseline priorities, which impose significant interdependencies between the priority ordering of different categories. It also assumes either everybody is eligible for receiving a unit from any category, or only the beneficiaries are eligible. The comprehensive Threshold Model we propose allows independent priority orderings among categories and arbitrary beneficiary and eligibility thresholds, enabling policymakers to avoid comparing incomparables in affirmative action systems. We present a new smart reserve system that optimizes two objectives simultaneously to allocate scarce resources. Our Smart Pipeline Matching Mechanism achieves all desirable properties in the most general domain possible. Our results apply to any resource allocation market, but we focus our attention on the vaccine allocation problem.


title: pyPPG: A Python toolbox for comprehensive photoplethysmography signal analysis

abstract: Photoplethysmography is a non-invasive optical technique that measures changes in blood volume within tissues. It is commonly and increasingly used for in a variety of research and clinical application to assess vascular dynamics and physiological parameters. Yet, contrary to heart rate variability measures, a field which has seen the development of stable standards and advanced toolboxes and software, no such standards and open tools exist for continuous photoplethysmogram (PPG) analysis. Consequently, the primary objective of this research was to identify, standardize, implement and validate key digital PPG biomarkers. This work describes the creation of a standard Python toolbox, denoted pyPPG, for long-term continuous PPG time series analysis recorded using a standard finger-based transmission pulse oximeter. The improved PPG peak detector had an F1-score of 88.19% for the state-of-the-art benchmark when evaluated on 2,054 adult polysomnography recordings totaling over 91 million reference beats. This algorithm outperformed the open-source original Matlab implementation by ~5% when benchmarked on a subset of 100 randomly selected MESA recordings. More than 3,000 fiducial points were manually annotated by two annotators in order to validate the fiducial points detector. The detector consistently demonstrated high performance, with a mean absolute error of less than 10 ms for all fiducial points. Based on these fiducial points, pyPPG engineers a set of 74 PPG biomarkers. Studying the PPG time series variability using pyPPG can enhance our understanding of the manifestations and etiology of diseases. This toolbox can also be used for biomarker engineering in training data-driven models. pyPPG is available on physiozoo.org


title: A new Poincar\'e type rigidity phenomenon with applications

abstract: We discover a new Poincar\'e type phenomenon by establishing an optimal rigidity theorem for local CR mappings between circle bundles that are defined in a canonical way over (possibly reducible) bounded symmetric domains. We prove such a local CR map, if nonconstant, must extend to a rational biholomorphism between the corresponding disk bundles. The result includes as a special case the classical Poincar\'e--Tanaka--Alexander theorem. Among other applications, we show, for two irreducible bounded symmetric domains with rank at least two, a local CR diffeomorphism between (open connected pieces of) their anti-canonical circle bundles extends to a norm-preserving holomorphic isomorphism between their anti-canonical bundles. The statement fails in the rank one case. As another application, we construct, for any $n \geq 2,$ a countably infinite family of compact locally homogeneous strongly pseudoconvex CR hypersurfaces (in complex manifolds) of real dimension $2n+1$ with transverse symmetry such that they are all obstruction flat and Bergman logarithmically flat. Moreover, their local CR structures are mutually inequivalent. Such a family cannot exist in dimension three by known results: A Bergman logarithmically flat CR hypersurface must be spherical, and so is a compact obstruction flat CR hypersurface with transverse symmetry.


title: On a solution functor for D-cap-modules via $p$-adic Hodge theory

abstract: This article aims to formulate the main technical input for the construction of a solution functor in a still hypothetical $p$-adic analytic Riemann-Hilbert correspondence. Our approach relies on a novel period sheaf $\mathbb{B}_{\text{la}}^{+}$, which is a certain ind-Banach completion of $\mathbb{B}_{\text{inf}}$ along the kernel of Fontaine's map $\theta$. We relate the ind-continuous $\mathbb{B}_{\text{la}}^{+}$-linear endomorphisms of a corresponding period structure sheaf to the sheaf of infinite order differential operators D-cap introduced by Ardakov-Wadsley. Locally on the cotangent bundle, this yields a definition of a solution functor. The main result computes that significant information about a perfect complex can be reconstructed out of its solutions, which hints strongly towards a reconstruction theorem for a large category of complexes of D-cap-modules.


title: Devil in the Number: Towards Robust Multi-modality Data Filter

abstract: In order to appropriately filter multi-modality data sets on a web-scale, it becomes crucial to employ suitable filtering methods to boost performance and reduce training costs. For instance, LAION papers employs the CLIP score filter to select data with CLIP scores surpassing a certain threshold. On the other hand, T-MARS achieves high-quality data filtering by detecting and masking text within images and then filtering by CLIP score. Through analyzing the dataset, we observe a significant proportion of redundant information, such as numbers, present in the textual content. Our experiments on a subset of the data unveil the profound impact of these redundant elements on the CLIP scores. A logical approach would involve reevaluating the CLIP scores after eliminating these influences. Experimentally, our text-based CLIP filter outperforms the top-ranked method on the ``small scale" of DataComp (a data filtering benchmark) on ImageNet distribution shifts, achieving a 3.6% performance improvement. The results also demonstrate that our proposed text-masked filter outperforms the original CLIP score filter when selecting the top 40% of the data. The impact of numbers on CLIP and their handling provide valuable insights for improving the effectiveness of CLIP training, including language rewrite techniques.


title: Matching powers of monomial ideals and edge ideals of weighted oriented graphs

abstract: We introduce the concept of matching powers of monomial ideals. Let $I$ be a monomial ideal of $S=K[x_1,\dots,x_n]$, with $K$ a field. The $k$th matching power of $I$ is the monomial ideal $I^{[k]}$ generated by the products $u_1\cdots u_k$ where $u_1,\dots,u_k$ is a monomial regular sequence contained in $I$. This concept naturally generalizes that of squarefree powers of squarefree monomial ideals. We study depth and regularity functions of matching powers of monomial ideals and edge ideals of weighted oriented graphs. We show that the last nonvanishing power of a quadratic monomial ideal is always polymatroidal and thus has a linear resolution. When $I$ is a non-quadratic edge ideal of a weighted oriented forest, we characterize when $I^{[k]}$ has a linear resolution.