title: Random walk on a quadrant: mapping to a one-dimensional level-dependent Quasi-Birth-and-Death process (LD-QBD)

abstract: We consider a neighbourhood random walk on a quadrant, $\{(X_1(t),X_2(t),\varphi(t)):t\geq 0\}$, with state space \begin{eqnarray*} \mathcal{S}&=&\{(n,m,i):n,m=0,1,2,\ldots;i=1,2,\ldots,k(n,m)\}. \end{eqnarray*} Assuming start in state $(n,m,i)$, the process spends exponentially distributed amount of time in $(n,m,i)$ according to some parameter $\lambda_i^{(n,m)}$. Upon leaving state $(n,m,i)$ the process moves to some state $(n^{'},m^{'},j)$ with $j\in\{1,\ldots,k(n^{'},m^{'})\}$ and $n^{'}\in\{n-1,n,n+1\}$, $m^{'}\in\{m-1,m,m+1\}$, according to some probabilities $(p_{n;a}^{m;b})_{i,j}$ with $a,b\in\{+,-,0\}$. We transform this process into a one-dimensional LD-QBD $\{(Z(t),\chi(t)):t\geq 0\}$ with level variable $Z(t)$ and phase variable $\chi(t)$. Using this transform we find its transient and stationary analysis using matrix-analytic methods, as well as the distribution at first hitting times.


title: Proposal that interpretation of field emission current-voltage characteristics should be treated as a specialized form of electrical engineering

abstract: This article proposes that we should think differently about predicting and interpreting measured field electron emission (FE) current-voltage [I(V)] characteristics. It is commonly assumed that I(V) data interpretation is a problem in emission physics and related electrostatics. Many experimentalists then apply Fowler-Nordheim plot methodology, developed in 1929. However, with modern emitting materials this 90-year-old interpretation methodology often fails (maybe in nearly 50% of cases), and yields spurious values for characterization parameters, particularly field enhancement factors. This has generated an unreliable literature, and validity checks on experimental I(V) data are nearly always needed before use. A new check, supplementing existing checks, is described. Twelve different "system complications" that, acting singly or in combinations, can cause validity-check failure are identified. A top-level path forwards from this unsatisfactory situation is proposed. The term "field electron emission system (FE system)" is defined to include all aspects of an experimental system that affect the measured I(V) characteristics. The analysis of FE systems should now be regarded as a specialized form of electronic/electrical engineering, provisionally called "FE Systems Engineering". In this approach, the I(V) relationship is split: (a) the current is expressed as a function I(F_C) of the local surface-field magnitude F_C at some defined emitter surface location "C"; and (b) the relationship between F_C and measured voltage V is expressed and determined separately. Determining I(F_C) is mostly a problem in emission physics; determining the relationship (F_C)(V) depends on system electrostatics and (for systems failing a validity check) on other aspects of FE Systems Engineering. The scope of FE Systems Engineering, and some related research implications and problems, are outlined.


title: Sensitivity analysis of Quasi-Birth-and-Death processes

abstract: We perform the sensitivity analysis of a level-dependent QBD with a particular focus on applications in modelling healthcare systems.


title: Counterfactual Identifiability of Bijective Causal Models

abstract: We study counterfactual identifiability in causal models with bijective generation mechanisms (BGM), a class that generalizes several widely-used causal models in the literature. We establish their counterfactual identifiability for three common causal structures with unobserved confounding, and propose a practical learning method that casts learning a BGM as structured generative modeling. Learned BGMs enable efficient counterfactual estimation and can be obtained using a variety of deep conditional generative models. We evaluate our techniques in a visual task and demonstrate its application in a real-world video streaming simulation task.


title: Entanglement capacity of fermionic Gaussian states

abstract: We study the capacity of entanglement as an alternative to entanglement entropies in estimating the degree of entanglement of quantum bipartite systems over fermionic Gaussian states. In particular, we derive the exact and asymptotic formulas of average capacity of two different cases - with and without particle number constraints. For the later case, the obtained formulas generalize some partial results of average capacity in the literature. The key ingredient in deriving the results is a set of new tools for simplifying finite summations developed very recently in the study of entanglement entropy of fermionic Gaussian states.

categories: math-ph cs.IT math.IT math.MP math.PR quant-ph


title: $k$-server Byzantine-Resistant PIR Scheme with Optimal Download Rate and Optimal File Size

abstract: We consider the problem of designing a Private Information Retrieval (PIR) scheme on $m$ files replicated on $k$ servers that can collude or, even worse, can return incorrect answers. Our goal is to correctly retrieve a specific message while keeping its identity private from the database servers. We consider the asymptotic information-theoretic capacity of this problem defined as the maximum ratio of the number of correctly retrieved symbols to the downloaded one for a large enough number of stored files. We propose an achievable scheme with a small file size and prove that such a file size is minimal for the fixed number of retrieved symbols, solving the problem pointed out by Banawan and Ulukus.


title: PubGraph: A Large-Scale Scientific Knowledge Graph

abstract: Research publications are the primary vehicle for sharing scientific progress in the form of new discoveries, methods, techniques, and insights. Unfortunately, the lack of a large-scale, comprehensive, and easy-to-use resource capturing the myriad relationships between publications, their authors, and venues presents a barrier to applications for gaining a deeper understanding of science. In this paper, we present PubGraph, a new resource for studying scientific progress that takes the form of a large-scale knowledge graph (KG) with more than 385M entities, 13B main edges, and 1.5B qualifier edges. PubGraph is comprehensive and unifies data from various sources, including Wikidata, OpenAlex, and Semantic Scholar, using the Wikidata ontology. Beyond the metadata available from these sources, PubGraph includes outputs from auxiliary community detection algorithms and large language models. To further support studies on reasoning over scientific networks, we create several large-scale benchmarks extracted from PubGraph for the core task of knowledge graph completion (KGC). These benchmarks present many challenges for knowledge graph embedding models, including an adversarial community-based KGC evaluation setting, zero-shot inductive learning, and large-scale learning. All of the aforementioned resources are accessible at https://pubgraph.isi.edu/ and released under the CC-BY-SA license. We plan to update PubGraph quarterly to accommodate the release of new publications.


title: A Benchmark and Scoring Algorithm for Enriching Arabic Synonyms

abstract: This paper addresses the task of extending a given synset with additional synonyms taking into account synonymy strength as a fuzzy value. Given a mono/multilingual synset and a threshold (a fuzzy value [0-1]), our goal is to extract new synonyms above this threshold from existing lexicons. We present twofold contributions: an algorithm and a benchmark dataset. The dataset consists of 3K candidate synonyms for 500 synsets. Each candidate synonym is annotated with a fuzzy value by four linguists. The dataset is important for (i) understanding how much linguists (dis/)agree on synonymy, in addition to (ii) using the dataset as a baseline to evaluate our algorithm. Our proposed algorithm extracts synonyms from existing lexicons and computes a fuzzy value for each candidate. Our evaluations show that the algorithm behaves like a linguist and its fuzzy values are close to those proposed by linguists (using RMSE and MAE). The dataset and a demo page are publicly available at https://portal.sina.birzeit.edu/synonyms.


title: Using Thermal Imaging to Measure Hand Hygiene Quality

abstract: Hand hygiene has long been promoted as the most effective way to prevent the transmission of infection. However, due to the low compliance and quality of hand hygiene reported in previous studies, constant monitoring of healthcare workers' hand hygiene compliance and quality is crucial. In this study, we investigate the feasibility of using a thermal camera together with an RGB camera to detect hand coverage of alcohol-based formulation, thereby monitoring handrub quality. The system yields promising results in terms of accuracy (93.5%) and Dice coefficient (87.1%) when observations take place 10 seconds after performing handrub. In addition, we also examine the system performance change over a 60-second observation period, and the accuracy and Dice coefficient still remain at about 92.4% and 85.7% when observation happens at the 60-second time point. Given these encouraging results, thermal imaging shows its potential feasibility in providing accurate, constant, and systematic hand hygiene quality monitoring.


title: Revisiting Image Deblurring with an Efficient ConvNet

abstract: Image deblurring aims to recover the latent sharp image from its blurry counterpart and has a wide range of applications in computer vision. The Convolution Neural Networks (CNNs) have performed well in this domain for many years, and until recently an alternative network architecture, namely Transformer, has demonstrated even stronger performance. One can attribute its superiority to the multi-head self-attention (MHSA) mechanism, which offers a larger receptive field and better input content adaptability than CNNs. However, as MHSA demands high computational costs that grow quadratically with respect to the input resolution, it becomes impractical for high-resolution image deblurring tasks. In this work, we propose a unified lightweight CNN network that features a large effective receptive field (ERF) and demonstrates comparable or even better performance than Transformers while bearing less computational costs. Our key design is an efficient CNN block dubbed LaKD, equipped with a large kernel depth-wise convolution and spatial-channel mixing structure, attaining comparable or larger ERF than Transformers but with a smaller parameter scale. Specifically, we achieve +0.17dB / +0.43dB PSNR over the state-of-the-art Restormer on defocus / motion deblurring benchmark datasets with 32% fewer parameters and 39% fewer MACs. Extensive experiments demonstrate the superior performance of our network and the effectiveness of each module. Furthermore, we propose a compact and intuitive ERFMeter metric that quantitatively characterizes ERF, and shows a high correlation to the network performance. We hope this work can inspire the research community to further explore the pros and cons of CNN and Transformer architectures beyond image deblurring tasks.


title: Viscous QCD medium effects on the bottom quark transport coefficients

abstract: The bottom quark transport coefficients, i.e., drag and diffusion coefficients, have been studied for the collisional and soft gluon radiative processes within the viscous QCD medium. The thermal medium effects are incorporated using the effective fugacity quasiparticle model (EQPM). Both the shear and bulk viscous effects at leading order are embedded through the near-equilibrium distribution functions of the quark-gluon plasma (QGP) constituent quasiparticles. The transport coefficients' dependence on the bottom quark's initial momentum and QGP temperature has been investigated. The relative dominance of the radiative over the collisional process for the bottom quark seems to occur at a higher initial momentum compared to that of the charm quark. In contrast, the effect of the viscous corrections seems to be more for the charm quark.


title: Evolution of eccentricities induced by geometrical and quantum fluctuations in proton-nucleus collisions

abstract: We compute the azimuthal eccentricities arising from initial stage fluctuations in high energy proton-nucleus collisions at proper times $\tau \geq 0^+$. We consider two sources of fluctuations, namely the geometrical structure of the proton and the fluctuation of color fields carried by both proton and nucleus. Describing these effects with Gaussian models allows us to analytically calculate the one- and two-point correlators of energy density, from which the eccentricities are obtained. We compute the proper time evolution of these quantities by approximating the Glasma dynamics in terms of linearized Yang-Mills equations, which we solve by assuming free field propagation and adopting the dilute-dense limit.


title: Conformalized Semi-supervised Random Forest for Classification and Abnormality Detection

abstract: The Random Forests classifier, a widely utilized off-the-shelf classification tool, assumes training and test samples come from the same distribution as other standard classifiers. However, in safety-critical scenarios like medical diagnosis and network attack detection, discrepancies between the training and test sets, including the potential presence of novel outlier samples not appearing during training, can pose significant challenges. To address this problem, we introduce the Conformalized Semi-Supervised Random Forest (CSForest), which couples the conformalization technique Jackknife+aB with semi-supervised tree ensembles to construct a set-valued prediction $C(x)$. Instead of optimizing over the training distribution, CSForest employs unlabeled test samples to enhance accuracy and flag unseen outliers by generating an empty set. Theoretically, we establish CSForest to cover true labels for previously observed inlier classes under arbitrarily label-shift in the test data. We compare CSForest with state-of-the-art methods using synthetic examples and various real-world datasets, under different types of distribution changes in the test domain. Our results highlight CSForest's effective prediction of inliers and its ability to detect outlier samples unique to the test data. In addition, CSForest shows persistently good performance as the sizes of the training and test sets vary. Codes of CSForest are available at https://github.com/yujinhan98/CSForest.


title: Stackelberg exact controllability of a class of nonlocal parabolic equations

abstract: This paper deals with a multi-objective control problem for a class of nonlocal parabolic equations, where the non-locality is expressed through an integral kernel. We present the Stackelberg strategy that combines the concepts of controllability to trajectories with optimal control. The strategy involves two controls: a main control (the leader) and a secondary control (the follower). The leader solves a controllability to trajectories problem which consists to drive the state of the system to a prescribed target at a final time while the follower solves an optimal control problem which consists to minimize a given cost functional. The paper considers two cases: in the first case, both the leader and the follower act in the interior of the domain, and in the second case, the leader acts in the interior of the domain and the follower acts on a small part of the boundary. These results are applied to both linear and nonlinear nonlocal parabolic systems.


title: The momentum map of the affine real symplectic group

abstract: In this paper we explain how the cocycle of the momentum map of the action of the affine symplectic group on $\mathbb{R}^{2n}$ gives rise to a coadjoint orbit of the odd real symplectic group with a modulus.


title: VEM discretization allowing small edges for the reaction-convection-diffusion equation: source and spectral problems

abstract: In this paper we analyze a lowest order virtual element method for the load classic reaction-convection-diffusion problem and the convection-diffusion spectral problem, where the assumptions on the polygonal meshes allow to consider small edges for the polygons. Under well defined seminorms depending on a suitable stabilization for this geometrical approach, we derive the well posedness of the numerical scheme and error estimates for the load problem, whereas for the spectral problem we derive convergence and error estimates for the eigenvalues and eigenfunctions. We report numerical tests to assess the performance of the small edges on our numerical method for both problems under consideration.


title: Feature Representation Learning for Click-through Rate Prediction: A Review and New Perspectives

abstract: Representation learning has been a critical topic in machine learning. In Click-through Rate Prediction, most features are represented as embedding vectors and learned simultaneously with other parameters in the model. With the development of CTR models, feature representation learning has become a trending topic and has been extensively studied by both industrial and academic researchers in recent years. This survey aims at summarizing the feature representation learning in a broader picture and pave the way for future research. To achieve such a goal, we first present a taxonomy of current research methods on feature representation learning following two main issues: (i) which feature to represent and (ii) how to represent these features. Then we give a detailed description of each method regarding these two issues. Finally, the review concludes with a discussion on the future directions of this field.


title: Improved Prediction of Settling Behaviour of Solid Particles through Machine Learning Analysis of Experimental Retention Time Data

abstract: The motion of particles through density-stratified interfaces is a common phenomenon in environmental and engineering applications. However, the mechanics of particle-stratification interactions in various combinations of particle and fluid properties are not well understood. This study presents a novel machine-learning (ML) approach to experimental data of inertial particles crossing a density-stratified interface. A simplified particle settling experiment was conducted to obtain a large number of particles and expand the parameter range, resulting in an unprecedented data set that has been shared as open data. Using ML, the study explores new correlations that collapse the data from this, and previous work Verso et al. (2019). The ``delay time,'' which is the time between the particle exiting the interfacial layer and reaching a steady-state velocity, is found to strongly depend on six dimensionless parameters formulated by ML feature selection. The data shows a correlation between the Reynolds and Froude numbers within the range of the experiments, and the best symbolic regression is based on the Froude number only. This experiment provides valuable insights into the behavior of inertial particles in stratified layers and highlights opportunities for future improvement in predicting their motion.


title: Divisibility Properties of Integer Sequences

abstract: A sequence of nonzero integers $f = (f_1, f_2, \dots)$ is ``binomid'' if every $f$-binomid coefficient $\left[\! \begin{array}{c} n \\ k \end{array}\! \right]_f$ is an integer. Those terms are the generalized binomial coefficients: \[ \left[\! \begin{array}{c} n \\ k \end{array}\! \right]_f \ = \ \frac{ f_nf_{n-1}\cdots f_{n-k+1} }{ f_kf_{k-1}\cdots f_1 }. \] Let $\Delta(f)$ be the infinite triangle with those numbers as entries. When $I = (1, 2, 3, \dots)$ then $\Delta(I)$ is Pascal's Triangle so that $I$ is binomid. Surprisingly, every row and column of Pascal's Triangle is also binomid. For any $f$, each row and column of $\Delta(f)$ generates its own triangle and all those triangles fit together to form the ``Binomid Pyramid'' $\mathbb{BP}(f)$. Sequence $f$ is ``binomid at every level'' if all entries of $\mathbb{BP}(f)$ are integers. We prove that several familiar sequences have that property, including the Lucas sequences. In particular, $I = (1, 2, 3, \dots )$, the sequence of Fibonacci numbers, and $(2^n - 1)_{n \ge 1}$ are binomid at every level.


title: Noncommutative-geometry wormholes based on the Casimir effect

abstract: While wormholes are as good a prediction of Einstein's theory as black holes, they are subject to severe restrictions from quantum field theory. In particular, holding a wormhole open requires a violation of the null energy condition, calling for the existence of exotic matter. The Casimir effect has shown that this physical requirement can be met on a small scale, thereby solving a key conceptual problem. The Casimir effect does not, however, guarantee that the small-scale violation is sufficient for supporting a macroscopic wormhole. The purpose of this paper is to connect the Casimir effect to noncommutative geometry, which also aims to accommodate small-scale effects, the difference being that these can now be viewed as intrinsic properties of spacetime. As a result, the noncommutative effects can be implemented by modifying only the energy momentum tensor in the Einstein field equations, while leaving the Einstein tensor unchanged. The wormhole can therefore be macroscopic in spite of the small Casimir effect.


title: GAN-based Vertical Federated Learning for Label Protection in Binary Classification

abstract: Split learning (splitNN) has emerged as a popular strategy for addressing the high computational costs and low modeling efficiency in Vertical Federated Learning (VFL). However, despite its popularity, vanilla splitNN lacks encryption protection, leaving it vulnerable to privacy leakage issues, especially Label Leakage from Gradients (LLG). Motivated by the LLG issue resulting from the use of labels during training, we propose the Generative Adversarial Federated Model (GAFM), a novel method designed specifically to enhance label privacy protection by integrating splitNN with Generative Adversarial Networks (GANs). GAFM leverages GANs to indirectly utilize label information by learning the label distribution rather than relying on explicit labels, thereby mitigating LLG. GAFM also employs an additional cross-entropy loss based on the noisy labels to further improve the prediction accuracy. Our ablation experiment demonstrates that the combination of GAN and the cross-entropy loss component is necessary to enable GAFM to mitigate LLG without significantly compromising the model utility. Empirical results on various datasets show that GAFM achieves a better and more robust trade-off between model utility and privacy compared to all baselines across multiple random runs. In addition, we provide experimental justification to substantiate GAFM's superiority over splitNN, demonstrating that it offers enhanced label protection through gradient perturbation relative to splitNN.


title: On Complexity Bounds for the Maximal Admissible Set of Linear Time-Invariant Systems

abstract: Given a dynamical system with constrained outputs, the maximal admissible set (MAS) is defined as the set of all initial conditions such that the output constraints are satisfied for all time. It has been previously shown that for discrete-time, linear, time-invariant, stable, observable systems with polytopic constraints, this set is a polytope described by a finite number of inequalities (i.e., has finite complexity). However, it is not possible to know the number of inequalities apriori from problem data. To address this gap, this contribution presents two computationally efficient methods to obtain upper bounds on the complexity of the MAS. The first method is algebraic and is based on matrix power series, while the second is geometric and is based on Lyapunov analysis. The two methods are rigorously introduced, a detailed numerical comparison between the two is provided, and an extension to systems with constant inputs is presented. Knowledge of such upper bounds can speed up the computation of MAS, and can be beneficial for defining the memory and computational requirements for storing and processing the MAS, as well as the control algorithms that leverage the MAS.


title: Spectral Density Estimation of Function-Valued Spatial Processes

abstract: The spectral density function describes the second-order properties of a stationary stochastic process on $\mathbb{R}^d$. This paper considers the nonparametric estimation of the spectral density of a continuous-time stochastic process taking values in a separable Hilbert space. Our estimator is based on kernel smoothing and can be applied to a wide variety of spatial sampling schemes including those in which data are observed at irregular spatial locations. Thus, it finds immediate applications in Spatial Statistics, where irregularly sampled data naturally arise. The rates for the bias and variance of the estimator are obtained under general conditions in a mixed-domain asymptotic setting. When the data are observed on a regular grid, the optimal rate of the estimator matches the minimax rate for the class of covariance functions that decay according to a power law. The asymptotic normality of the spectral density estimator is also established under general conditions for Gaussian Hilbert-space valued processes. Finally, with a view towards practical applications the asymptotic results are specialized to the case of discretely-sampled functional data in a reproducing kernel Hilbert space.


title: Determinacy and Large Cardinals

abstract: The study of inner models was initiated by G\"odel's analysis of the constructible universe. Later, the study of canonical inner models with large cardinals, e.g., measurable cardinals, strong cardinals or Woodin cardinals, was pioneered by Jensen, Mitchell, Steel, and others. Around the same time, the study of infinite two-player games was driven forward by Martin's proof of analytic determinacy from a measurable cardinal, Borel determinacy from ZFC, and Martin and Steel's proof of levels of projective determinacy from Woodin cardinals with a measurable cardinal on top. First Woodin and later Neeman improved the result in the projective hierarchy by showing that in fact the existence of a countable iterable model, a mouse, with Woodin cardinals and a top measure suffices to prove determinacy in the projective hierarchy. This opened up the possibility for an optimal result stating the equivalence between local determinacy hypotheses and the existence of mice in the projective hierarchy. This article outlines the main concepts and results connecting determinacy hypotheses with the existence of mice with large cardinals as well as recent progress in the area.


title: Self-supervised Multi-view Disentanglement for Expansion of Visual Collections

abstract: Image search engines enable the retrieval of images relevant to a query image. In this work, we consider the setting where a query for similar images is derived from a collection of images. For visual search, the similarity measurements may be made along multiple axes, or views, such as style and color. We assume access to a set of feature extractors, each of which computes representations for a specific view. Our objective is to design a retrieval algorithm that effectively combines similarities computed over representations from multiple views. To this end, we propose a self-supervised learning method for extracting disentangled view-specific representations for images such that the inter-view overlap is minimized. We show how this allows us to compute the intent of a collection as a distribution over views. We show how effective retrieval can be performed by prioritizing candidate expansion images that match the intent of a query collection. Finally, we present a new querying mechanism for image search enabled by composing multiple collections and perform retrieval under this setting using the techniques presented in this paper.


title: Generalization of Deep Reinforcement Learning for Jammer-Resilient Frequency and Power Allocation

abstract: We tackle the problem of joint frequency and power allocation while emphasizing the generalization capability of a deep reinforcement learning model. Most of the existing methods solve reinforcement learning-based wireless problems for a specific pre-determined wireless network scenario. The performance of a trained agent tends to be very specific to the network and deteriorates when used in a different network operating scenario (e.g., different in size, neighborhood, and mobility, among others). We demonstrate our approach to enhance training to enable a higher generalization capability during inference of the deployed model in a distributed multi-agent setting in a hostile jamming environment. With all these, we show the improved training and inference performance of the proposed methods when tested on previously unseen simulated wireless networks of different sizes and architectures. More importantly, to prove practical impact, the end-to-end solution was implemented on the embedded software-defined radio and validated using over-the-air evaluation.


title: Pooling Probability Distributions and the Partial Information Decomposition

abstract: Notwithstanding various attempts to construct a Partial Information Decomposition (PID) for multiple variables by defining synergistic, redundant, and unique information, there is no consensus on how one ought to precisely define either of these quantities. One aim here is to illustrate how that ambiguity -- or, more positively, freedom of choice -- may arise. Using the basic idea that information equals the average reduction in uncertainty when going from an initial to a final probability distribution, synergistic information will likewise be defined as a difference between two entropies. One term is uncontroversial and characterizes ``the whole'' information that source variables carry jointly about a target variable $\varT$. The other term then is meant to characterize the information carried by the ``sum of its parts.'' Here we interpret that concept as needing a suitable probability distribution aggregated (``pooled'') from multiple marginal distributions (the parts). Ambiguity arises in the definition of the optimum way to pool two (or more) probability distributions. Independent of the exact definition of optimum pooling, the concept of pooling leads to a lattice that differs from the often-used redundancy-based lattice. One can associate not just a number (an average entropy) with each node of the lattice, but (pooled) probability distributions. As an example,one simple and reasonable approach to pooling is presented, which naturally gives rise to the overlap between different probability distributions as being a crucial quantity that characterizes both synergistic and unique information.


title: Reinforcement Learning in Low-Rank MDPs with Density Features

abstract: MDPs with low-rank transitions -- that is, the transition matrix can be factored into the product of two matrices, left and right -- is a highly representative structure that enables tractable learning. The left matrix enables expressive function approximation for value-based learning and has been studied extensively. In this work, we instead investigate sample-efficient learning with density features, i.e., the right matrix, which induce powerful models for state-occupancy distributions. This setting not only sheds light on leveraging unsupervised learning in RL, but also enables plug-in solutions for convex RL. In the offline setting, we propose an algorithm for off-policy estimation of occupancies that can handle non-exploratory data. Using this as a subroutine, we further devise an online algorithm that constructs exploratory data distributions in a level-by-level manner. As a central technical challenge, the additive error of occupancy estimation is incompatible with the multiplicative definition of data coverage. In the absence of strong assumptions like reachability, this incompatibility easily leads to exponential error blow-up, which we overcome via novel technical tools. Our results also readily extend to the representation learning setting, when the density features are unknown and must be learned from an exponentially large candidate set.


title: Generic regularity for minimizing hypersurfaces in dimensions 9 and 10

abstract: We prove that singularities of area minimizing hypersurfaces can be perturbed away in ambient dimensions 9 and 10.


title: Getting to "rate-optimal'' in ranking & selection

abstract: In their 2004 seminal paper, Glynn and Juneja formally and precisely established the rate-optimal, probability-of-incorrect-selection, replication allocation scheme for selecting the best of k simulated systems. In the case of independent, normally distributed outputs this allocation has a simple form that depends in an intuitively appealing way on the true means and variances. Of course the means and (typically) variances are unknown, but the rate-optimal allocation provides a target for implementable, dynamic, data-driven policies to achieve. In this paper we compare the empirical behavior of four related replication-allocation policies: mCEI from Chen and Rzyhov and our new gCEI policy that both converge to the Glynn and Juneja allocation; AOMAP from Peng and Fu that converges to the OCBA optimal allocation; and TTTS from Russo that targets the rate of convergence of the posterior probability of incorrect selection. We find that these policies have distinctly different behavior in some settings.


title: Human-Imperceptible Identification with Learnable Lensless Imaging

abstract: Lensless imaging protects visual privacy by capturing heavily blurred images that are imperceptible for humans to recognize the subject but contain enough information for machines to infer information. Unfortunately, protecting visual privacy comes with a reduction in recognition accuracy and vice versa. We propose a learnable lensless imaging framework that protects visual privacy while maintaining recognition accuracy. To make captured images imperceptible to humans, we designed several loss functions based on total variation, invertibility, and the restricted isometry property. We studied the effect of privacy protection with blurriness on the identification of personal identity via a quantitative method based on a subjective evaluation. Moreover, we validate our simulation by implementing a hardware realization of lensless imaging with photo-lithographically printed masks.


title: Almost-Sure Stability of the Single Mode Solution of a Noisy Nonlinear Autoparametric System

abstract: For a pendulum suspended below a vibrating block with white noise forcing, the solution in which the pendulum remains vertical is called the single mode solution. When this solution becomes unstable there is energy transfer from the block to the pendulum, helping to absorb the vibrations of the block. We study the Lyapunov exponent governing the almost-sure stability of the process linearized along the single mode solution. The linearized equation is excited by a combination of white and colored noise processes, which makes the evaluation of the Lyapunov exponent non trivial. We obtain an explicit third order asymptotic expression for the Lyapunov exponent as the intensity of the white noise forcing tends to zero.


title: Multi-Source Diffusion Models for Simultaneous Music Generation and Separation

abstract: In this work, we define a diffusion-based generative model capable of both music synthesis and source separation by learning the score of the joint probability density of sources sharing a context. Alongside the classic total inference tasks (i.e., generating a mixture, separating the sources), we also introduce and experiment on the partial generation task of source imputation, where we generate a subset of the sources given the others (e.g., play a piano track that goes well with the drums). Additionally, we introduce a novel inference method for the separation task based on Dirac likelihood functions. We train our model on Slakh2100, a standard dataset for musical source separation, provide qualitative results in the generation settings, and showcase competitive quantitative results in the source separation setting. Our method is the first example of a single model that can handle both generation and separation tasks, thus representing a step toward general audio models.


title: A metric set theory with a universal set

abstract: Motivated by ideas from the model theory of metric structures, we introduce a metric set theory, $\mathsf{MSE}$, which takes bounded quantification as primitive and consists of a natural metric extensionality axiom (the distance between two sets is the Hausdorff distance between their extensions) and an approximate, non-deterministic form of full comprehension (for any real-valued formula $\varphi(x,y)$, tuple of parameters $a$, and $r < s$, there is a set containing the class $\{x: \varphi(x,a) \leq r\}$ and contained in the class $\{x:\varphi(x,a) < s\}$). We show that $\mathsf{MSE}$ is sufficient to develop classical mathematics after the addition of an appropriate axiom of infinity. We then construct canonical representatives of well-order types and prove that ultrametric models of $\mathsf{MSE}$ always contain externally ill-founded ordinals, conjecturing that this is true of all models. To establish several independence results and, in particular, consistency, we construct a variety of models, including pseudo-finite models and models containing arbitrarily large standard ordinals. Finally, we discuss how to formalize $\mathsf{MSE}$ in either continuous logic or {\L}ukasiewicz logic.


title: CLiNet: Joint Detection of Road Network Centerlines in 2D and 3D

abstract: This work introduces a new approach for joint detection of centerlines based on image data by localizing the features jointly in 2D and 3D. In contrast to existing work that focuses on detection of visual cues, we explore feature extraction methods that are directly amenable to the urban driving task. To develop and evaluate our approach, a large urban driving dataset dubbed AV Breadcrumbs is automatically labeled by leveraging vector map representations and projective geometry to annotate over 900,000 images. Our results demonstrate potential for dynamic scene modeling across various urban driving scenarios. Our model achieves an F1 score of 0.684 and an average normalized depth error of 2.083. The code and data annotations are publicly available.


title: Decompositions of q-Matroids Using Cyclic Flats

abstract: We study the direct sum of q-matroids by way of their cyclic flats. Using that the rank function of a q-matroid is fully determined by the cyclic flats and their ranks, we show that the cyclic flats of the direct sum of two q-matroids are exactly all the direct sums of the cyclic flats of the two summands. This simplifies the rank function of the direct sum significantly. A q-matroid is called irreducible if it cannot be written as a (non-trivial) direct sum. We provide a characterization of irreducibility in terms of the cyclic flats and show that every q-matroid can be decomposed into a direct sum of irreducible q-matroids, which are unique up to equivalence.


title: NeuRI: Diversifying DNN Generation via Inductive Rule Inference

abstract: Deep Learning (DL) is prevalently used in various industries to improve decision-making and automate processes, driven by the ever-evolving DL libraries and compilers. The correctness of DL systems is crucial for trust in DL applications. As such, the recent wave of research has been studying the automated synthesis of test-cases (i.e., DNN models and their inputs) for fuzzing DL systems. However, existing model generators only subsume a limited number of operators, lacking the ability to pervasively model operator constraints. To address this challenge, we propose NeuRI, a fully automated approach for generating valid and diverse DL models composed of hundreds of types of operators. NeuRI adopts a three-step process: (i) collecting valid and invalid API traces from various sources; (ii) applying inductive program synthesis over the traces to infer the constraints for constructing valid models; and (iii) using hybrid model generation which incorporates both symbolic and concrete operators. Our evaluation shows that NeuRI improves branch coverage of TensorFlow and PyTorch by 24% and 15% over the state-of-the-art model-level fuzzers. NeuRI finds 100 new bugs for PyTorch and TensorFlow in four months, with 81 already fixed or confirmed. Of these, 9 bugs are labelled as high priority or security vulnerability, constituting 10% of all high-priority bugs of the period. Open-source developers regard error-inducing tests reported by us as "high-quality" and "common in practice".


title: Sharp Sobolev and Adams-Trudinger-Moser embeddings on weighted Sobolev spaces and their applications

abstract: We derive sharp Sobolev embeddings on a class of Sobolev spaces with potential weights without assuming any boundary conditions. Moreover, we consider the Adams-type inequalities for the borderline Sobolev embedding into the exponential class with a sharp constant. As applications, we prove that the associated elliptic equations with nonlinearities in both forms of polynomial and exponential growths admit nontrivial solutions.


title: Vaccination in a two-strain model with cross-immunity and antibody-dependent enhancement

abstract: Dengue and Zika incidence data and the latest research have raised questions about how dengue vaccine strategies might be impacted by the emergence of Zika virus. Existing antibodies to one virus might temporarily protect or promote infection by the other through antibody-dependent enhancement (ADE). With this condition, understanding the dynamics of propagation of these two viruses is of great importance when implementing vaccines. In this work, we analyze the effect of vaccination against one strain, in a two-strain model that accounts for cross-immunity and ADE. Using basic and invasion reproductive numbers, we examined the dynamics of the model and provide conditions to ensure the stability of the disease-free equilibrium. We provide conditions on cross-immunity, ADE and vaccination rate under which the vaccination could ensure the global stability of the disease-free equilibrium. The results indicate scenarios in which vaccination against one strain may improve or worsen the control of the other, as well as contribute to the eradication or persistence of one or both viruses in the population.


title: Some semilattices of definable sets in continuous logic

abstract: In continuous first-order logic, the union of definable sets is definable but generally the intersection is not. This means that in any continuous theory, the collection of $\varnothing$-definable sets in one variable forms a join-semilattice under inclusion that may fail to be a lattice. We investigate the question of which semilattices arise as the collection of definable sets in a continuous theory. We show that for any non-trivial finite semilattice $L$ (or, equivalently, any finite lattice $L$), there is a superstable theory $T$ whose semilattice of definable sets is $L$. We then extend this construction to some infinite semilattices. In particular, we show that the following semilattices arise in continuous theories: $\alpha+1$ and $(\alpha+1)^\ast$ for any ordinal $\alpha$, a semilattice containing an exact pair above $\omega$, and the lattice of filters in $L$ for any countable meet-semilattice $L$. By previous work of the author, this establishes that these semilattices arise in stable theories. The first two are done in languages of cardinality $\aleph_0 + |\alpha|$, and the latter two are done in countable languages.


title: A Queueing Model of Dynamic Pricing and Dispatch Control for Ride-Hailing Systems Incorporating Travel Times

abstract: A system manager makes dynamic pricing and dispatch control decisions in a queueing network model motivated by ride-hailing applications. A novel feature of the model is that it incorporates travel times. Unfortunately, this renders the exact analysis of the problem intractable. Therefore, we study this problem in the heavy traffic regime. Under the assumptions of complete resource pooling and common travel distribution, we solve the problem in closed form by analyzing the corresponding Bellman equation. Using this solution, we propose a policy for the queueing system and illustrate its effectiveness in a simulation study.


title: Space-Time Conflict Spheres for Constrained Multi-Agent Motion Planning

abstract: Multi-agent motion planning (MAMP) is a critical challenge in applications such as connected autonomous vehicles and multi-robot systems. In this paper, we propose a space-time conflict resolution approach for MAMP. We formulate the problem using a novel, flexible sphere-based discretization for trajectories. Our approach leverages a depth-first conflict search strategy to provide the scalability of decoupled approaches while maintaining the computational guarantees of coupled approaches. We compose procedures for evading discretization error and adhering to kinematic constraints in generated solutions. Theoretically, we prove the continuous-time feasibility and formulation-space completeness of our algorithm. Experimentally, we demonstrate that our algorithm matches the performance of the current state of the art with respect to both runtime and solution quality, while expanding upon the abilities of current work through accommodation for both static and dynamic obstacles. We evaluate our algorithm in various unsignalized traffic intersection scenarios using CARLA, an open-source vehicle simulator. Results show significant success rate improvement in spatially constrained settings, involving both connected and non-connected vehicles. Furthermore, we maintain a reasonable suboptimality ratio that scales well among increasingly complex scenarios.


title: Machine Learning Methods for Evaluating Public Crisis: Meta-Analysis

abstract: This study examines machine learning methods used in crisis management. Analyzing detected patterns from a crisis involves the collection and evaluation of historical or near-real-time datasets through automated means. This paper utilized the meta-review method to analyze scientific literature that utilized machine learning techniques to evaluate human actions during crises. Selected studies were condensed into themes and emerging trends using a systematic literature evaluation of published works accessed from three scholarly databases. Results show that data from social media was prominent in the evaluated articles with 27% usage, followed by disaster management, health (COVID) and crisis informatics, amongst many other themes. Additionally, the supervised machine learning method, with an application of 69% across the board, was predominant. The classification technique stood out among other machine learning tasks with 41% usage. The algorithms that played major roles were the Support Vector Machine, Neural Networks, Naive Bayes, and Random Forest, with 23%, 16%, 15%, and 12% contributions, respectively.


title: Statistical proerties of the two-dimensional Feshbach-illars oscillator (FVO) in the rotating cosmic string

abstract: This paper is concerned with an investigation of the quantum mechanical dynamics of massive, spinless relativistic Klein-Gordon particle in the space-time generated by a rotating cosmic string. The equations of motion are found by the use of the first-order Feshbach-Villars formulation of the Klein-Gordon equation. The wave-functions and the associated energies were deduced ( both in the free and in the interaction case). Following that, the partition function was approximated using Zeta function representation. Moreover, by considering the energy spectrum of the system in question, the thermal properties are presented. We examine the behavior of these properties as a function of the physical parameters of the model such as rotation, curvature, and quantum numbers. Therefore, the impact of the topological defect on the quantum system under investigation is discussed.


title: A Modified CTGAN-Plus-Features Based Method for Optimal Asset Allocation

abstract: We propose a new approach to portfolio optimization that utilizes a unique combination of synthetic data generation and a CVaR-constraint. We formulate the portfolio optimization problem as an asset allocation problem in which each asset class is accessed through a passive (index) fund. The asset-class weights are determined by solving an optimization problem which includes a CVaR-constraint. The optimization is carried out by means of a Modified CTGAN algorithm which incorporates features (contextual information) and is used to generate synthetic return scenarios, which, in turn, are fed into the optimization engine. For contextual information we rely on several points along the U.S. Treasury yield curve. The merits of this approach are demonstrated with an example based on ten asset classes (covering stocks, bonds, and commodities) over a fourteen-and-half year period (January 2008-June 2022). We also show that the synthetic generation process is able to capture well the key characteristics of the original data, and the optimization scheme results in portfolios that exhibit satisfactory out-of-sample performance. We also show that this approach outperforms the conventional equal-weights (1/N) asset allocation strategy and other optimization formulations based on historical data only.


title: Regret-Guaranteed Safe Switching with Minimum Cost: LQR Setting with Unknown Dynamics

abstract: Externally Forced Switched (EFS) systems represent a subset of switched systems where switches occur deliberately to meet an external requirement. However, fast switching can lead to instability, even when all closed-loop modes are stable. In this study, our focus is on an EFS scenario with \textit{unknown system dynamics}, where the next mode to switch to is revealed by an external entity in real-time as the switch occurs. The challenge is to track the revealed sequence while (1) minimizing accumulated cost in a regretful sense and (2) ensuring that the norm of the system's state does not grow excessively-a property we refer to as 'the safety of switching.' Achieving the latter involves requiring the closed-loop system to remain in each revealed mode for some minimum dwell time, which must be learned online. We propose an algorithm based on the principles of Optimism in the Face of Uncertainty. This algorithm jointly establishes confidence sets for unknown parameters, devises a feedback policy, and estimates a minimum dwell time for each revealed mode from data. By precisely estimating dwell-time error, our strategy yields an expected regret of $\mathcal{O}(|M| \sqrt{ns})$, where $ns$ and $|M|$ denote the total switches and mode count, respectively. We benchmark this approach against scenarios with known parameters.


title: Dynamical degrees of automorphisms of complex simple abelian varieties and Salem numbers

abstract: We prove that every Salem number can be realized as the first dynamical degree of an automorphism of a complex simple abelian variety. Also by using the similar technique, we prove that the set of first dynamical degrees of automorphisms of complex simple abelian varieties except 1 has the minimum value when fixing the dimension of complex simple abelian varieties. Moreover, we prove that there is an automorphism of a complex simple abelian variety, whose first dynamical degree is as close as possible to 1. These results are inspired by the work of Nguyen-Bac Dang and Thorsten Herrig.


title: Divide and Compose with Score Based Generative Models

abstract: While score based generative models, or diffusion models, have found success in image synthesis, they are often coupled with text data or image label to be able to manipulate and conditionally generate images. Even though manipulation of images by changing the text prompt is possible, our understanding of the text embedding and our ability to modify it to edit images is quite limited. Towards the direction of having more control over image manipulation and conditional generation, we propose to learn image components in an unsupervised manner so that we can compose those components to generate and manipulate images in informed manner. Taking inspiration from energy based models, we interpret different score components as the gradient of different energy functions. We show how score based learning allows us to learn interesting components and we can visualize them through generation. We also show how this novel decomposition allows us to compose, generate and modify images in interesting ways akin to dreaming. We make our code available at https://github.com/sandeshgh/Score-based-disentanglement


title: Plasma Agriculture: A green technology to attain the sustainable agriculture goal

abstract: The agriculture sector has many issues such as reductions of agricultural lands, growing population, health issues arising due to the use of synthetic fertilizers and pesticides, reduction in soil health due to extreme use of synthetic chemicals during farming, etc. The quality and quantity of foods required for living things are affected by many factors like scarcity of nutrient-rich soils, lack of suitable fertilizers, harmful insects and bugs, climate change, etc. There is a requirement to supply the proper nutrients to plants/crops for obtaining a high crop yield. Synthetic chemical fertilizers provide nutrients (macro and micro) to plants for their growth and development but the excess use of them is not good for a healthy lifestyle as well as for the environment. In recent years, non-thermal plasma (NTP) is considered as an advanced green technology for enhancing productivity in agriculture sectors. In this report, we provided the details of nutrients and their functions in the growth and development of plants/crops. How plasma technology can resolve many future challenges in the agriculture sector is discussed in detail. A few experiments on seed germination and plant growth (root and shoot length) were performed in the laboratory to explore the effect of plasma-activated water on the growth and development of plants. These primary results demonstrate the great potential of plasma technology in the agriculture sector.

categories: physics.plasm-ph physics.app-ph physics.bio-ph physics.chem-ph


title: Towards a Contemporary Definition of Cybersecurity

abstract: The report provides an intricate analysis of cyber security defined in contemporary operational digital environments. An extensive literature review is formed to determine how the construct is reviewed in modern scholarly contexts. The article seeks to offer a comprehensive definition of the term "cybersecurity" to accentuate its multidisciplinary perspectives. A meaningful concise, and inclusive dimension will be provided to assist in designing scholarly discourse on the subject. The report will offer a unified framework for examining activities that constitute the concept resulting in a new definition; "Cybersecurity is the collection and concerting of resources including personnel and infrastructure, structures, and processes to protect networks and cyber-enabled computer systems from events that compromise the integrity and interfere with property rights, resulting in some extent of the loss." The encapsulation of the interdisciplinary domains will be critical in improving understanding and response to emerging challenges in cyberspace.


title: Unleashing the True Potential of Sequence-to-Sequence Models for Sequence Tagging and Structure Parsing

abstract: Sequence-to-Sequence (S2S) models have achieved remarkable success on various text generation tasks. However, learning complex structures with S2S models remains challenging as external neural modules and additional lexicons are often supplemented to predict non-textual outputs. We present a systematic study of S2S modeling using contained decoding on four core tasks: part-of-speech tagging, named entity recognition, constituency and dependency parsing, to develop efficient exploitation methods costing zero extra parameters. In particular, 3 lexically diverse linearization schemas and corresponding constrained decoding methods are designed and evaluated. Experiments show that although more lexicalized schemas yield longer output sequences that require heavier training, their sequences being closer to natural language makes them easier to learn. Moreover, S2S models using our constrained decoding outperform other S2S approaches using external resources. Our best models perform better than or comparably to the state-of-the-art for all 4 tasks, lighting a promise for S2S models to generate non-sequential structures.


title: JPEG Steganalysis Based on Steganographic Feature Enhancement and Graph Attention Learning

abstract: The purpose of image steganalysis is to determine whether the carrier image contains hidden information or not. Since JEPG is the most commonly used image format over social networks, steganalysis in JPEG images is also the most urgently needed to be explored. However, in order to detect whether secret information is hidden within JEPG images, the majority of existing algorithms are designed in conjunction with the popular computer vision related networks, without considering the key characteristics appeared in image steganalysis. It is crucial that the steganographic signal, as an extremely weak signal, can be enhanced during its representation learning process. Motivated by this insight, in this paper, we introduce a novel representation learning algorithm for JPEG steganalysis that is mainly consisting of a graph attention learning module and a feature enhancement module. The graph attention learning module is designed to avoid global feature loss caused by the local feature learning of convolutional neural network and reliance on depth stacking to extend the perceptual domain. The feature enhancement module is applied to prevent the stacking of convolutional layers from weakening the steganographic information. In addition, pretraining as a way to initialize the network weights with a large-scale dataset is utilized to enhance the ability of the network to extract discriminative features. We advocate pretraining with ALASKA2 for the model trained with BOSSBase+BOWS2. The experimental results indicate that the proposed algorithm outperforms previous arts in terms of detection accuracy, which has verified the superiority and applicability of the proposed work.


title: SE(3) diffusion model with application to protein backbone generation

abstract: The design of novel protein structures remains a challenge in protein engineering for applications across biomedicine and chemistry. In this line of work, a diffusion model over rigid bodies in 3D (referred to as frames) has shown success in generating novel, functional protein backbones that have not been observed in nature. However, there exists no principled methodological framework for diffusion on SE(3), the space of orientation preserving rigid motions in R3, that operates on frames and confers the group invariance. We address these shortcomings by developing theoretical foundations of SE(3) invariant diffusion models on multiple frames followed by a novel framework, FrameDiff, for learning the SE(3) equivariant score over multiple frames. We apply FrameDiff on monomer backbone generation and find it can generate designable monomers up to 500 amino acids without relying on a pretrained protein structure prediction network that has been integral to previous methods. We find our samples are capable of generalizing beyond any known protein structure.


title: Optimization Applications as Quantum Performance Benchmarks

abstract: Combinatorial optimization is anticipated to be one of the primary use cases for quantum computation in the coming years. The Quantum Approximate Optimization Algorithm (QAOA) and Quantum Annealing (QA) can potentially demonstrate significant run-time performance benefits over current state-of-the-art solutions. Inspired by existing methods to characterize classical optimization algorithms, we analyze the solution quality obtained by solving Max-Cut problems using gate-model quantum devices and a quantum annealing device. This is used to guide the development of an advanced benchmarking framework for quantum computers designed to evaluate the trade-off between run-time execution performance and the solution quality for iterative hybrid quantum-classical applications. The framework generates performance profiles through compelling visualizations that show performance progression as a function of time for various problem sizes and illustrates algorithm limitations uncovered by the benchmarking approach. As an illustration, we explore the factors that influence quantum computing system throughput, using results obtained through execution on various quantum simulators and quantum hardware systems.


title: Primal Characterizations of Stability of Error Bounds for Semi-infinite Convex Constraint Systems in Banach Spaces

abstract: This article is devoted to the stability of error bounds (local and global) for semi-infinite convex constraint systems in Banach spaces. We provide primal characterizations of the stability of local and global error bounds when systems are subject to small perturbations. These characterizations are given in terms of the directional derivatives of the functions that enter into the definition of these systems. It is proved that the stability of error bounds is essentially equivalent to verifying that the optimal values of several minimax problems, defined in terms of the directional derivatives of the functions defining these systems, are outside of some neighborhood of zero. Moreover, such stability only requires that all component functions entering the system have the same linear perturbation. When these stability results are applied to the sensitivity analysis of Hoffman's constants for semi-infinite linear systems, primal criteria for Hoffman's constants to be uniformly bounded under perturbations of the problem data are obtained.


title: Assessing the Impact of Mutations and Horizontal Gene Transfer on the AMR Control: A Mathematical Model

abstract: Antimicrobial resistance (AMR) poses a significant threat to public health by increasing mortality, extending hospital stays, and increasing healthcare costs. It affects people of all ages and affects health services, veterinary medicine, and agriculture, making it a pressing global issue. Mathematical models are required to predict the behaviour of AMR and to develop control measures to eliminate resistant bacteria or reduce their prevalence. This study presents a simple deterministic mathematical model in which sensitive and resistant bacteria interact in the environment, and mobile genetic elements (MGEs) are functions that depend on resistant bacteria. We analyze the qualitative properties of the model and propose an optimal control problem in which avoiding mutations and horizontal gene transfer (HGT) are the primary control strategies. We also provide a case study of the resistance and multidrug resistance (MDR) percentages of Escherichia coli to gentamicin and amoxicillin in some European countries using data from the European Antimicrobial Resistance Surveillance Network (EARS-Net). Our theoretical results and numerical experiments indicate that controlling the spread of resistance in southern European regions through the supply of amoxicillin is challenging. However, the host immune system is also critical for controlling AMR.


title: How to predict critical state: Invariance of Lyapunov exponent in dual spaces

abstract: The critical state in disordered systems, a fascinating and subtle eigenstate, has attracted a lot of research interest. However, the nature of the critical state is difficult to describe quantitatively. Most of the studies focus on numerical verification, and cannot predict the system in which the critical state exists. In this work, we propose an explicit and universal criterion that for the critical state Lyapunov exponent should be 0 simultaneously in dual spaces, namely Lyapunov exponent remains invariant under Fourier transform. With this criterion, we exactly predict a specific system hosting a large number of critical states for the first time. Then, we perform numerical verification of the theoretical prediction, and display the self-similarity and scale invariance of the critical state. Finally, we conjecture that there exist some kind of connection between the invariance of the Lyapunov exponent and conformal invariance.

categories: cond-mat.dis-nn cond-mat.stat-mech cond-mat.str-el quant-ph


title: Mappings preserving quantum Renyi's entropies in von Neumann algebras

abstract: We investigate the situation when a normal positive linear unital map on a semifinite von Neumann algebra leaving the trace invariant does not change fixed quantum Renyi's entropy of the density of a normal state. It is also shown that such a map does not change the entropy of any density if and only if it is a Jordan *-isomorphism on the algebra.

categories: math.OA math-ph math.FA math.MP math.QA quant-ph


title: Recurrence With Correlation Network for Medical Image Registration

abstract: We present Recurrence with Correlation Network (RWCNet), a medical image registration network with multi-scale features and a cost volume layer. We demonstrate that these architectural features improve medical image registration accuracy in two image registration datasets prepared for the MICCAI 2022 Learn2Reg Workshop Challenge. On the large-displacement National Lung Screening Test (NLST) dataset, RWCNet is able to achieve a total registration error (TRE) of 2.11mm between corresponding keypoints without instance fine-tuning. On the OASIS brain MRI dataset, RWCNet is able to achieve an average dice overlap of 81.7% for 35 different anatomical labels. It outperforms another multi-scale network, the Laplacian Image Registration Network (LapIRN), on both datasets. Ablation experiments are performed to highlight the contribution of the various architectural features. While multi-scale features improved validation accuracy for both datasets, the cost volume layer and number of recurrent steps only improved performance on the large-displacement NLST dataset. This result suggests that cost volume layer and iterative refinement using RNN provide good support for optimization and generalization in large-displacement medical image registration. The code for RWCNet is available at https://github.com/vigsivan/optimization-based-registration.


title: Design Booster: A Text-Guided Diffusion Model for Image Translation with Spatial Layout Preservation

abstract: Diffusion models are able to generate photorealistic images in arbitrary scenes. However, when applying diffusion models to image translation, there exists a trade-off between maintaining spatial structure and high-quality content. Besides, existing methods are mainly based on test-time optimization or fine-tuning model for each input image, which are extremely time-consuming for practical applications. To address these issues, we propose a new approach for flexible image translation by learning a layout-aware image condition together with a text condition. Specifically, our method co-encodes images and text into a new domain during the training phase. In the inference stage, we can choose images/text or both as the conditions for each time step, which gives users more flexible control over layout and content. Experimental comparisons of our method with state-of-the-art methods demonstrate our model performs best in both style image translation and semantic image translation and took the shortest time.


title: ReDi: Efficient Learning-Free Diffusion Inference via Trajectory Retrieval

abstract: Diffusion models show promising generation capability for a variety of data. Despite their high generation quality, the inference for diffusion models is still time-consuming due to the numerous sampling iterations required. To accelerate the inference, we propose ReDi, a simple yet learning-free Retrieval-based Diffusion sampling framework. From a precomputed knowledge base, ReDi retrieves a trajectory similar to the partially generated trajectory at an early stage of generation, skips a large portion of intermediate steps, and continues sampling from a later step in the retrieved trajectory. We theoretically prove that the generation performance of ReDi is guaranteed. Our experiments demonstrate that ReDi improves the model inference efficiency by 2x speedup. Furthermore, ReDi is able to generalize well in zero-shot cross-domain image generation such as image stylization.


title: Optimal subsampling for the Cox proportional hazards model with massive survival data

abstract: The use of massive survival data has become common in survival analysis. In this study, a subsampling algorithm is proposed for the Cox proportional hazards model with time-dependent covariates when the sample is extraordinarily large but computing resources are relatively limited. A subsample estimator is developed by maximizing the weighted partial likelihood; it is shown to have consistency and asymptotic normality. By minimizing the asymptotic mean squared error of the subsample estimator, the optimal subsampling probabilities are formulated with explicit expressions. Simulation studies show that the proposed method can satisfactorily approximate the estimator of the full dataset. The proposed method is then applied to corporate loan and breast cancer datasets, with different censoring rates, and the outcomes confirm its practical advantages.


title: Deep Joint Source-Channel Coding for Wireless Image Transmission with Semantic Importance

abstract: The sixth-generation mobile communication system proposes the vision of smart interconnection of everything, which requires accomplishing communication tasks while ensuring the performance of intelligent tasks. A joint source-channel coding method based on semantic importance is proposed, which aims at preserving semantic information during wireless image transmission and thereby boosting the performance of intelligent tasks for images at the receiver. Specifically, we first propose semantic importance weight calculation method, which is based on the gradient of intelligent task's perception results with respect to the features. Then, we design the semantic loss function in the way of using semantic weights to weight the features. Finally, we train the deep joint source-channel coding network using the semantic loss function. Experiment results demonstrate that the proposed method achieves up to 57.7% and 9.1% improvement in terms of intelligent task's performance compared with the source-channel separation coding method and the deep sourcechannel joint coding method without considering semantics at the same compression rate and signal-to-noise ratio, respectively.


title: Efficient Adjusted Joint Significance Test and Sobel-Type Confidence Interval for Mediation Effect

abstract: Mediation analysis is an important statistical tool in many research fields. Its aim is to investigate the mechanism along the causal pathway between an exposure and an outcome. The joint significance test is widely utilized as a prominent statistical approach for examining mediation effects in practical applications. Nevertheless, the limitation of this mediation testing method stems from its conservative Type I error, which reduces its statistical power and imposes certain constraints on its popularity and utility. The proposed solution to address this gap is the adjusted joint significance test for one mediator, a novel data-adaptive test for mediation effect that exhibits significant advancements compared to traditional joint significance test. The proposed method is designed to be user-friendly, eliminating the need for complicated procedures. We have derived explicit expressions for size and power, ensuring the theoretical validity of our approach. Furthermore, we extend the proposed adjusted joint significance tests for small-scale mediation hypotheses with family-wise error rate (FWER) control. Additionally, a novel adjusted Sobel-type approach is proposed for the estimation of confidence intervals for the mediation effects, demonstrating significant advancements over conventional Sobel's confidence intervals in terms of achieving desirable coverage probabilities. Our mediation testing and confidence intervals procedure is evaluated through comprehensive simulations, and compared with numerous existing approaches. Finally, we illustrate the usefulness of our method by analysing three real-world datasets with continuous, binary and time-to-event outcomes, respectively.


title: Selecting the Best Optimizers for Deep Learning based Medical Image Segmentation

abstract: The goal of this work is to identify the best optimizers for deep learning in the context of cardiac image segmentation and to provide guidance on how to design segmentation networks with effective optimization strategies. Adaptive learning helps with fast convergence by starting with a larger learning rate (LR) and gradually decreasing it. Momentum optimizers are particularly effective at quickly optimizing neural networks within the accelerated schemes category. By revealing the potential interplay between these two types of algorithms (LR and momentum optimizers or momentum rate (MR) in short), in this article, we explore the two variants of SGD algorithms in a single setting. We suggest using cyclic learning as the base optimizer and integrating optimal values of learning rate and momentum rate. We investigated the relationship of LR and MR under an important problem of medical image segmentation of cardiac structures from MRI and CT scans. We conducted experiments using the cardiac imaging dataset from the ACDC challenge of MICCAI 2017, and four different architectures shown to be successful for cardiac image segmentation problems. Our comprehensive evaluations demonstrated that the proposed optimizer achieved better results (over a 2\% improvement in the dice metric) than other optimizers in deep learning literature with similar or lower computational cost in both single and multi-object segmentation settings. We hypothesized that combination of accelerated and adaptive optimization methods can have a drastic effect in medical image segmentation performances. To this end, we proposed a new cyclic optimization method (\textit{CLMR}) to address the efficiency and accuracy problems in deep learning based medical image segmentation. The proposed strategy yielded better generalization in comparison to adaptive optimizers.


title: Maximal $k$-Edge-Connected Subgraphs in Weighted Graphs via Local Random Contraction

abstract: The \emph{maximal $k$-edge-connected subgraphs} problem is a classical graph clustering problem studied since the 70's. Surprisingly, no non-trivial technique for this problem in weighted graphs is known: a very straightforward recursive-mincut algorithm with $\Omega(mn)$ time has remained the fastest algorithm until now. All previous progress gives a speed-up only when the graph is unweighted, and $k$ is small enough (e.g.~Henzinger~et~al.~(ICALP'15), Chechik~et~al.~(SODA'17), and Forster~et~al.~(SODA'20)). We give the first algorithm that breaks through the long-standing $\tilde{O}(mn)$-time barrier in \emph{weighted undirected} graphs. More specifically, we show a maximal $k$-edge-connected subgraphs algorithm that takes only $\tilde{O}(m\cdot\min\{m^{3/4},n^{4/5}\})$ time. As an immediate application, we can $(1+\epsilon)$-approximate the \emph{strength} of all edges in undirected graphs in the same running time. Our key technique is the first local cut algorithm with \emph{exact} cut-value guarantees whose running time depends only on the output size. All previous local cut algorithms either have running time depending on the cut value of the output, which can be arbitrarily slow in weighted graphs or have approximate cut guarantees.


title: A Semantic Approach to Negation Detection and Word Disambiguation with Natural Language Processing

abstract: This study aims to demonstrate the methods for detecting negations in a sentence by uniquely evaluating the lexical structure of the text via word-sense disambiguation. The proposed framework examines all the unique features in the various expressions within a text to resolve the contextual usage of all tokens and decipher the effect of negation on sentiment analysis. The application of popular expression detectors skips this important step, thereby neglecting the root words caught in the web of negation and making text classification difficult for machine learning and sentiment analysis. This study adopts the Natural Language Processing (NLP) approach to discover and antonimize words that were negated for better accuracy in text classification using a knowledge base provided by an NLP library called WordHoard. Early results show that our initial analysis improved on traditional sentiment analysis, which sometimes neglects negations or assigns an inverse polarity score. The SentiWordNet analyzer was improved by 35%, the Vader analyzer by 20% and the TextBlob by 6%.


title: RRNet: Towards ReLU-Reduced Neural Network for Two-party Computation Based Private Inference

abstract: The proliferation of deep learning (DL) has led to the emergence of privacy and security concerns. To address these issues, secure Two-party computation (2PC) has been proposed as a means of enabling privacy-preserving DL computation. However, in practice, 2PC methods often incur high computation and communication overhead, which can impede their use in large-scale systems. To address this challenge, we introduce RRNet, a systematic framework that aims to jointly reduce the overhead of MPC comparison protocols and accelerate computation through hardware acceleration. Our approach integrates the hardware latency of cryptographic building blocks into the DNN loss function, resulting in improved energy efficiency, accuracy, and security guarantees. Furthermore, we propose a cryptographic hardware scheduler and corresponding performance model for Field Programmable Gate Arrays (FPGAs) to further enhance the efficiency of our framework. Experiments show RRNet achieved a much higher ReLU reduction performance than all SOTA works on CIFAR-10 dataset.


title: Autonomous Exploration Method for Fast Unknown Environment Mapping by Using UAV Equipped with Limited FOV Sensor

abstract: Autonomous exploration is one of the important parts to achieve the fast autonomous mapping and target search. However, most of the existing methods are facing low-efficiency problems caused by low-quality trajectory or back-and-forth maneuvers. To improve the exploration efficiency in unknown environments, a fast autonomous exploration planner (FAEP) is proposed in this paper. Different from existing methods, we firstly design a novel frontiers exploration sequence generation method to obtain a more reasonable exploration path, which considers not only the flight-level but frontier-level factors in the asymmetric traveling salesman problem (ATSP). Then, according to the exploration sequence and the distribution of frontiers, an adaptive yaw planning method is proposed to cover more frontiers by yaw change during an exploration journey. In addition, to increase the speed and fluency of flight, a dynamic replanning strategy is also adopted. We present sufficient comparison and evaluation experiments in simulation environments. Experimental results show the proposed exploration planner has better performance in terms of flight time and flight distance compared to typical and state-of-the-art methods. Moreover, the effectiveness of the proposed method is further evaluated in real-world environments.


title: A Disparity Refinement Framework for Learning-based Stereo Matching Methods in Cross-domain Setting for Laparoscopic Images

abstract: Purpose: Stereo matching methods that enable depth estimation are crucial for visualization enhancement applications in computer-assisted surgery (CAS). Learning-based stereo matching methods are promising to predict accurate results on laparoscopic images. However, they require a large amount of training data, and their performance may be degraded due to domain shifts. Methods: Maintaining robustness and improving the accuracy of learning-based methods are still open problems. To overcome the limitations of learning-based methods, we propose a disparity refinement framework consisting of a local disparity refinement method and a global disparity refinement method to improve the results of learning-based stereo matching methods in a cross-domain setting. Those learning-based stereo matching methods are pre-trained on a large public dataset of natural images and are tested on two datasets of laparoscopic images. Results: Qualitative and quantitative results suggest that our proposed disparity framework can effectively refine disparity maps when they are noise-corrupted on an unseen dataset, without compromising prediction accuracy when the network can generalize well on an unseen dataset. Conclusion: Our proposed disparity refinement framework could work with learning-based methods to achieve robust and accurate disparity prediction. Yet, as a large laparoscopic dataset for training learning-based methods does not exist and the generalization ability of networks remains to be improved, the incorporation of the proposed disparity refinement framework into existing networks will contribute to improving their overall accuracy and robustness associated with depth estimation.


title: Probing single-electron scattering through a non-Fermi liquid charge-Kondo device

abstract: Among the exotic and yet unobserved features of multi-channel Kondo impurity models is their sub-unitary single electron scattering. In the two-channel Kondo model, for example, an incoming electron is fully scattered into a many-body excitation such that the single particle Green function vanishes. Here we propose to directly observe these features in a charge-Kondo device encapsulated in a Mach-Zehnder interferometer - within a device already studied in Ref.[1]. We provide detailed predictions for the visibility and phase of the Aharonov-Bohm oscillations depending on the number of coupled channels and the asymmetry of their couplings.


title: Equivariant birational geometry of linear actions

abstract: We study linear actions of finite groups in small dimensions, up to equivariant birationality.


title: Corrected: On Confident Policy Evaluation for Factored Markov Decision Processes with Node Dropouts

abstract: In this work we investigate an importance sampling approach for evaluating policies for a structurally time-varying factored Markov decision process (MDP), i.e. the policy's value is estimated with a high-probability confidence interval. In particular, we begin with a multi-agent MDP controlled by a known policy but with unknown transition dynamics. One agent is then removed from the system - i.e. the system experiences node dropout - forming a new MDP of the remaining agents, with a new state space, action space, and new transition dynamics. We assume that the effect of removing an agent corresponds to the marginalization of its factor in the transition dynamics. The reward function may likewise be marginalized, or it may be entirely redefined for the new system. Robust policy importance sampling is then used to evaluate candidate policies for the new system, and estimated values are presented with probabilistic confidence bounds. This computation is completed with no observations of the new system, meaning that a safe policy may be found before dropout occurs. The utility of this approach is demonstrated in simulation and compared to Monte Carlo simulation of the new system.


title: Open Problems and Modern Solutions for Deep Reinforcement Learning

abstract: Deep Reinforcement Learning (DRL) has achieved great success in solving complicated decision-making problems. Despite the successes, DRL is frequently criticized for many reasons, e.g., data inefficient, inflexible and intractable reward design. In this paper, we review two publications that investigate the mentioned issues of DRL and propose effective solutions. One designs the reward for human-robot collaboration by combining the manually designed extrinsic reward with a parameterized intrinsic reward function via the deterministic policy gradient, which improves the task performance and guarantees a stronger obstacle avoidance. The other one applies selective attention and particle filters to rapidly and flexibly attend to and select crucial pre-learned features for DRL using approximate inference instead of backpropagation, thereby improving the efficiency and flexibility of DRL. Potential avenues for future work in both domains are discussed in this paper.


title: Sample Dropout: A Simple yet Effective Variance Reduction Technique in Deep Policy Optimization

abstract: Recent success in Deep Reinforcement Learning (DRL) methods has shown that policy optimization with respect to an off-policy distribution via importance sampling is effective for sample reuse. In this paper, we show that the use of importance sampling could introduce high variance in the objective estimate. Specifically, we show in a principled way that the variance of importance sampling estimate grows quadratically with importance ratios and the large ratios could consequently jeopardize the effectiveness of surrogate objective optimization. We then propose a technique called sample dropout to bound the estimation variance by dropping out samples when their ratio deviation is too high. We instantiate this sample dropout technique on representative policy optimization algorithms, including TRPO, PPO, and ESPO, and demonstrate that it consistently boosts the performance of those DRL algorithms on both continuous and discrete action controls, including MuJoCo, DMControl and Atari video games. Our code is open-sourced at \url{https://github.com/LinZichuan/sdpo.git}.


title: Run-Off Election: Improved Provable Defense against Data Poisoning Attacks

abstract: In data poisoning attacks, an adversary tries to change a model's prediction by adding, modifying, or removing samples in the training data. Recently, ensemble-based approaches for obtaining provable defenses against data poisoning have been proposed where predictions are done by taking a majority vote across multiple base models. In this work, we show that merely considering the majority vote in ensemble defenses is wasteful as it does not effectively utilize available information in the logits layers of the base models. Instead, we propose Run-Off Election (ROE), a novel aggregation method based on a two-round election across the base models: In the first round, models vote for their preferred class and then a second, Run-Off election is held between the top two classes in the first round. Based on this approach, we propose DPA+ROE and FA+ROE defense methods based on Deep Partition Aggregation (DPA) and Finite Aggregation (FA) approaches from prior work. We evaluate our methods on MNIST, CIFAR-10, and GTSRB and obtain improvements in certified accuracy by up to 3%-4%. Also, by applying ROE on a boosted version of DPA, we gain improvements around 12%-27% comparing to the current state-of-the-art, establishing a new state-of-the-art in (pointwise) certified robustness against data poisoning. In many cases, our approach outperforms the state-of-the-art, even when using 32 times less computational power.


title: Smooth structures on PL-manifolds of dimensions between 8 and 10

abstract: In this paper, we identify the concordance classes of smooth structures on $PL$-manifolds of dimension between $8$ and $10$ in terms of the cohomology and Steenrod operations. This leads to the computation of the homotopy inertia groups. Finally we discuss the special cases of Lens spaces and real projective spaces.


title: Achieving Robust Generalization for Wireless Channel Estimation Neural Networks by Designed Training Data

abstract: In this paper, we propose a method to design the training data that can support robust generalization of trained neural networks to unseen channels. The proposed design that improves the generalization is described and analysed. It avoids the requirement of online training for previously unseen channels, as this is a memory and processing intensive solution, especially for battery powered mobile terminals. To prove the validity of the proposed method, we use the channels modelled by different standards and fading modelling for simulation. We also use an attention-based structure and a convolutional neural network to evaluate the generalization results achieved. Simulation results show that the trained neural networks maintain almost identical performance on the unseen channels.


title: Precursor recommendation for inorganic synthesis by machine learning materials similarity from scientific literature

abstract: Synthesis prediction is a key accelerator for the rapid design of advanced materials. However, determining synthesis variables such as the choice of precursor materials is challenging for inorganic materials because the sequence of reactions during heating is not well understood. In this work, we use a knowledge base of 29,900 solid-state synthesis recipes, text-mined from the scientific literature, to automatically learn which precursors to recommend for the synthesis of a novel target material. The data-driven approach learns chemical similarity of materials and refers the synthesis of a new target to precedent synthesis procedures of similar materials, mimicking human synthesis design. When proposing five precursor sets for each of 2,654 unseen test target materials, the recommendation strategy achieves a success rate of at least 82%. Our approach captures decades of heuristic synthesis data in a mathematical form, making it accessible for use in recommendation engines and autonomous laboratories.


title: Crowdsourcing Utilizing Subgroup Structure of Latent Factor Modeling

abstract: Crowdsourcing has emerged as an alternative solution for collecting large scale labels. However, the majority of recruited workers are not domain experts, so their contributed labels could be noisy. In this paper, we propose a two-stage model to predict the true labels for multicategory classification tasks in crowdsourcing. In the first stage, we fit the observed labels with a latent factor model and incorporate subgroup structures for both tasks and workers through a multi-centroid grouping penalty. Group-specific rotations are introduced to align workers with different task categories to solve multicategory crowdsourcing tasks. In the second stage, we propose a concordance-based approach to identify high-quality worker subgroups who are relied upon to assign labels to tasks. In theory, we show the estimation consistency of the latent factors and the prediction consistency of the proposed method. The simulation studies show that the proposed method outperforms the existing competitive methods, assuming the subgroup structures within tasks and workers. We also demonstrate the application of the proposed method to real world problems and show its superiority.


title: Probabilistic-Bits based on Ferroelectric Field-Effect Transistors for Stochastic Computing

abstract: A probabilistic-bit (p-bit) is the fundamental building block in the circuit network of a stochastic computing, and it could produce a continuous random bit-stream with tunable probability. Utilizing the stochasticity in few-domain ferroelectric material(FE), we propose for the first time, the p-bits based on ferroelectric FET. The stochasticity of the FE p-bits stems from the thermal noise-induced lattice vibration, which renders dipole fluctuations and is tunable by an external electric field. The impact of several key FE parameters on p-bits' stochasticity is evaluated, where the domain properties are revealed to play crucial roles. Furthermore, the integer factorization based on FE p-bits circuit network is performed to verify its functionality, and the accuracy is found to depend on FE p-bits' stochasticity. The proposed FE p-bits possess the advantages of both extremely low hardware coast and the compatibility with CMOS-technology, rendering it a promising candidate for stochastic computing applications.


title: Fair Spatial Indexing: A paradigm for Group Spatial Fairness

abstract: Machine learning (ML) is playing an increasing role in decision-making tasks that directly affect individuals, e.g., loan approvals, or job applicant screening. Significant concerns arise that, without special provisions, individuals from under-privileged backgrounds may not get equitable access to services and opportunities. Existing research studies fairness with respect to protected attributes such as gender, race or income, but the impact of location data on fairness has been largely overlooked. With the widespread adoption of mobile apps, geospatial attributes are increasingly used in ML, and their potential to introduce unfair bias is significant, given their high correlation with protected attributes. We propose techniques to mitigate location bias in machine learning. Specifically, we consider the issue of miscalibration when dealing with geospatial attributes. We focus on spatial group fairness and we propose a spatial indexing algorithm that accounts for fairness. Our KD-tree inspired approach significantly improves fairness while maintaining high learning accuracy, as shown by extensive experimental results on real data.


title: Finite-Time Analysis of Crises in a Chaotically Forced Ocean Model

abstract: We consider a coupling of the Stommel box model and the Lorenz model, with the goal of investigating the so-called "crises" that are known to occur given sufficient forcing. In this context, a crisis is characterized as the destruction of a chaotic attractor under a critical forcing strength. We document the variety of chaotic attractors and crises possible in our model, focusing on the parameter region where the Lorenz model is always chaotic and where bistability exists in the Stommel box model. The chaotic saddle collisions that occur in a boundary crisis are visualized, with the chaotic saddle computed using the Saddle-Straddle Algorithm. We identify a novel sub-type of boundary crisis, namely a vanishing basin crisis. For forcing strength beyond the crisis, we demonstrate the possibility of a merging between the persisting chaotic attractor and either a chaotic transient or a ghost attractor depending on the type of boundary crisis. An investigation of the finite-time Lyapunov exponents around crisis levels of forcing reveals a convergence between two near-neutral exponents, particularly at points of a trajectory most sensitive to divergence. This points to loss of hyperbolicity associated with crisis occurrence. Finally, we generalize our findings by coupling the Stommel box model to other strange attractors and thereby show that the behaviours are quite generic and robust.


title: High order computation of optimal transport, mean field planning, and mean field games

abstract: Mean-field games (MFGs) have shown strong modeling capabilities for large systems in various fields, driving growth in computational methods for mean-field game problems. However, high order methods have not been thoroughly investigated. In this work, we explore applying general high-order numerical schemes with finite element methods in the space-time domain for computing the optimal transport (OT), mean-field planning (MFP), and MFG problems. We conduct several experiments to validate the convergence rate of the high order method numerically. Those numerical experiments also demonstrate the efficiency and effectiveness of our approach.


title: Stability of planar exterior stationary flows with suction

abstract: We consider the two-dimensional Navier-Stokes system in a domain exterior to a disk. The system admits a stationary solution with critical decay $O(|x|^{-1})$ written as a linear combination of the pure rotating flow and the flux carrier. We prove its nonlinear stability in large time for initial disturbances in $L^2$ under smallness conditions, assuming that there is suction across the boundary, namely that the sign of coefficients of the flux carrier is negative. This result partially solves an open problem in the literature.


title: $\ell_1$-penalized Multinomial Regression: Estimation, inference, and prediction, with an application to risk factor identification for different dementia subtypes

abstract: High-dimensional multinomial regression models are very useful in practice but receive less research attention than logistic regression models, especially from the perspective of statistical inference. In this work, we analyze the estimation and prediction error of the contrast-based $\ell_1$-penalized multinomial regression model and extend the debiasing method to the multinomial case, which provides a valid confidence interval for each coefficient and $p$-value of the individual hypothesis test. We apply the debiasing method to identify some important predictors in the progression into dementia of different subtypes. Results of intensive simulations show the superiority of the debiasing method compared to some other inference methods.


title: Extremal values for Steiner distances and the Steiner $k$-Wiener index

abstract: Various questions related to distances between vertices of simple, finite graphs are of interest to extremal graph theorists. The Steiner distance of a set of $k$ vertices is a natural generalization of the regular distance. We extend several theorems on the middle parts and extremal values of trees from their regular distance variants to their Steiner distance variants. More specifically, we show that for a tree $T$, the Steiner $k$-distance, Steiner $k$-leaf-distance, and Steiner $k$-internal-distance are all concave along a path. We also calculate distances between the Steiner $k$-median, Steiner $k$-internal-median, and Steiner $k$-leaf-median. Letting the Steiner $k$-distance of a vertex $v \in V(T)$ be $\dd_k^T(v)$, we find bounds based on the order of $T$ for the ratios $\frac{\dd^T_{k}(u)}{\dd^T_{k}(v)}$, $\frac{\dd^T_{k}(w)}{\dd^T_{k}(z)}$, and $\frac{\dd^T_{k}(u)}{\dd^T_{k}(y)}$ where $u$ and $v$ are leaves, $w$ and $z$ are internal vertices, and $y$ is a Steiner $k$-centroid. Also, denoting the Steiner $k$-Wiener index as $\mathsf{SW}_k(T)$, we find upper and lower bounds for $\frac{\mathsf{SW}_k(T)}{\dd^G_{k}(v)}$. The extremal graphs that produce these bounds are also presented.