title: Kirchhoff type elliptic equations with double criticality in Musielak-Sobolev spaces

abstract: This paper aims to establish the existence of a weak solution for the non-local problem: \begin{equation*} \left\{\begin{array}{ll} -a\left(\int_{\Omega}\mathcal{H}(x,|\nabla u|)dx \right) \Delta_{\mathcal{H}}u &=f(x,u) \ \ \hbox{in} \ \ \Omega, \ \ \ \\ \hspace{3.3cm} u &= 0 \ \ \hbox{on} \ \ \partial \Omega, \end{array}\right. \end{equation*} where $\Omega\subseteq \mathbb{R}^{N},\, N\geq 2$ is a bounded and smooth domain containing two open and connected subsets $\Omega_p$ and $\Omega_N$ such that $ \bar{\Omega}_{p}\cap\bar{\Omega}_{N}=\emptyset$ and $\Delta_{\mathcal{H}}u=\hbox{div}( h(x,|\nabla u|)\nabla u)$ is the $\mathcal{H}$-Laplace operator. We assume that $\Delta_{\mathcal{H}}$ reduces to $ \Delta_{p(x)}$ in $\Omega_{p}$ and to $ \Delta_{N}$ in $\Omega_{N},$ the non-linear function $f:\Omega\times\mathbb{R}\rightarrow \mathbb{R}$ act as $|t|^{p^{\ast}(x)-2}t$ on $\Omega_{p}$ and as $e^{\alpha|t|^{N/(N-1)}}$ on $\Omega_{N}$ for sufficiently large $|t|$. To establish our existence results in a Musielak-Sobolev space, we use a variational technique based on the mountain pass theorem.


title: On endomorphisms of the bicyclic semigroup and the extended bicyclic semigroup

abstract: It is proved that the semigroups $\mathrm{\mathbf{End}}(\boldsymbol{B}_{\omega})$ and $\mathrm{\mathbf{End}}(\boldsymbol{B}_{\mathbb{Z}})$ of the endomorphisms of the bicyclic semigroup $\boldsymbol{B}_{\omega}$ and the endomorphisms of the extended bicyclic semigroup $\boldsymbol{B}_{\mathbb{Z}}$ are isomorphic to the semidirect products $(\omega,+)\rtimes_\varphi(\omega,*)$ and $\mathbb{Z}(+)\rtimes_\varphi(\omega,*)$, respectively.


title: Prior normalization for certified likelihood-informed subspace detection of Bayesian inverse problems

abstract: Markov chain Monte Carlo (MCMC) methods form one of the algorithmic foundations of Bayesian inverse problems. The recent development of likelihood-informed subspace (LIS) methods offers a viable route to designing efficient MCMC methods for exploring high-dimensional posterior distributions via exploiting the intrinsic low-dimensional structure of the underlying inverse problem. However, existing LIS methods and the associated performance analysis often assume that the prior distribution is Gaussian. This assumption is limited for inverse problems aiming to promote sparsity in the parameter estimation, as heavy-tailed priors, e.g., Laplace distribution or the elastic net commonly used in Bayesian LASSO, are often needed in this case. To overcome this limitation, we consider a prior normalization technique that transforms any non-Gaussian (e.g. heavy-tailed) priors into standard Gaussian distributions, which makes it possible to implement LIS methods to accelerate MCMC sampling via such transformations. We also rigorously investigate the integration of such transformations with several MCMC methods for high-dimensional problems. Finally, we demonstrate various aspects of our theoretical claims on two nonlinear inverse problems.


title: SUGAR: Efficient Subgraph-level Training via Resource-aware Graph Partitioning

abstract: Graph Neural Networks (GNNs) have demonstrated a great potential in a variety of graph-based applications, such as recommender systems, drug discovery, and object recognition. Nevertheless, resource-efficient GNN learning is a rarely explored topic despite its many benefits for edge computing and Internet of Things (IoT) applications. To improve this state of affairs, this work proposes efficient subgraph-level training via resource-aware graph partitioning (SUGAR). SUGAR first partitions the initial graph into a set of disjoint subgraphs and then performs local training at the subgraph-level. We provide a theoretical analysis and conduct extensive experiments on five graph benchmarks to verify its efficacy in practice. Our results show that SUGAR can achieve up to 33 times runtime speedup and 3.8 times memory reduction on large-scale graphs. We believe SUGAR opens a new research direction towards developing GNN methods that are resource-efficient, hence suitable for IoT deployment.


title: Optimal Estimation of Off-Policy Policy Gradient via Double Fitted Iteration

abstract: Policy gradient (PG) estimation becomes a challenge when we are not allowed to sample with the target policy but only have access to a dataset generated by some unknown behavior policy. Conventional methods for off-policy PG estimation often suffer from either significant bias or exponentially large variance. In this paper, we propose the double Fitted PG estimation (FPG) algorithm. FPG can work with an arbitrary policy parameterization, assuming access to a Bellman-complete value function class. In the case of linear value function approximation, we provide a tight finite-sample upper bound on policy gradient estimation error, that is governed by the amount of distribution mismatch measured in feature space. We also establish the asymptotic normality of FPG estimation error with a precise covariance characterization, which is further shown to be statistically optimal with a matching Cramer-Rao lower bound. Empirically, we evaluate the performance of FPG on both policy gradient estimation and policy optimization, using either softmax tabular or ReLU policy networks. Under various metrics, our results show that FPG significantly outperforms existing off-policy PG estimation methods based on importance sampling and variance reduction techniques.


title: Absence of nematic instability in LiFeAs

abstract: The relationship between unconventional superconductivity, antiferromagnetism and nematic order in iron-based superconductors (FeSCs) is still highly debated. In many FeSCs superconductivity is in proximity of a nematically and magnetically ordered state. LiFeAs is an exceptional stoichiometric FeSC becoming superconducting below 18 K, without undergoing a structural or magnetic transition. However, some recent experimental studies suggested the existence of finite nematic fluctuations and even a nematic superconducting state. In this study, we employ elastoresistance as a measure of nematic fluctuations in pristine LiFeAs and compare the findings with the elastoresistance of LiFeAs at low Co and V doping levels as well with that of magnetically and nematically ordering NaFeAs. We find LiFeAs and cobalt-doped LiFeAs far away from a nematic instability.


title: A heteroencoder architecture for prediction of failure locations in porous metals using variational inference

abstract: In this work we employ an encoder-decoder convolutional neural network to predict the failure locations of porous metal tension specimens based only on their initial porosities. The process we model is complex, with a progression from initial void nucleation, to saturation, and ultimately failure. The objective of predicting failure locations presents an extreme case of class imbalance since most of the material in the specimens do not fail. In response to this challenge, we develop and demonstrate the effectiveness of data- and loss-based regularization methods. Since there is considerable sensitivity of the failure location to the particular configuration of voids, we also use variational inference to provide uncertainties for the neural network predictions. We connect the deterministic and Bayesian convolutional neural networks at a theoretical level to explain how variational inference regularizes the training and predictions. We demonstrate that the resulting predicted variances are effective in ranking the locations that are most likely to fail in any given specimen.


title: You May Not Need Ratio Clipping in PPO

abstract: Proximal Policy Optimization (PPO) methods learn a policy by iteratively performing multiple mini-batch optimization epochs of a surrogate objective with one set of sampled data. Ratio clipping PPO is a popular variant that clips the probability ratios between the target policy and the policy used to collect samples. Ratio clipping yields a pessimistic estimate of the original surrogate objective, and has been shown to be crucial for strong performance. We show in this paper that such ratio clipping may not be a good option as it can fail to effectively bound the ratios. Instead, one can directly optimize the original surrogate objective for multiple epochs; the key is to find a proper condition to early stop the optimization epoch in each iteration. Our theoretical analysis sheds light on how to determine when to stop the optimization epoch, and call the resulting algorithm Early Stopping Policy Optimization (ESPO). We compare ESPO with PPO across many continuous control tasks and show that ESPO significantly outperforms PPO. Furthermore, we show that ESPO can be easily scaled up to distributed training with many workers, delivering strong performance as well.


title: Beyond Simple Structure-Function Relationships: Interplay Between Cis/Trans Isomerization and Geometrically Constrained Metal/Molecule Coupling Efficiency in Single-Molecule Junctions

abstract: Structure-function relationships constitute an important tool to investigate the fundamental principles of molecular electronics. Most commonly, this involves identifying a potentially important molecular structural element, followed by designing and synthesizing a set of related organic molecules, and finally interpretation of their experimental and/or computational quantum transport properties in the light of this structural element. Though this has been extremely powerful in many instances, we demonstrate here the common need for more nuanced relationships even for relatively simple structures, using both experimental and computational results for a series of stilbene derivatives as a case study. In particular, we show that the presence of multiple competing and subtle structural factors can combine in unexpected ways to control quantum transport in these molecules. Our results clarify the reasons for previous widely varying and often contradictory reports on charge-transport in stilbene derivatives, and highlight the need for refined multidimensional structure-property relationships in single molecule electronics.


title: On solutions of the distributional Bellman equation

abstract: In distributional reinforcement learning not only expected returns but the complete return distributions of a policy are taken into account. The return distribution for a fixed policy is given as the solution of an associated distributional Bellman equation. In this note we consider general distributional Bellman equations and study existence and uniqueness of their solutions as well as tail properties of return distributions. We give necessary and sufficient conditions for existence and uniqueness of return distributions and identify cases of regular variation. We link distributional Bellman equations to multivariate affine distributional equations. We show that any solution of a distributional Bellman equation can be obtained as the vector of marginal laws of a solution to a multivariate affine distributional equation. This makes the general theory of such equations applicable to the distributional reinforcement learning setting.


title: Trust Region Bounds for Decentralized PPO Under Non-stationarity

abstract: We present trust region bounds for optimizing decentralized policies in cooperative Multi-Agent Reinforcement Learning (MARL), which holds even when the transition dynamics are non-stationary. This new analysis provides a theoretical understanding of the strong performance of two recent actor-critic methods for MARL, which both rely on independent ratios, i.e., computing probability ratios separately for each agent's policy. We show that, despite the non-stationarity that independent ratios cause, a monotonic improvement guarantee still arises as a result of enforcing the trust region constraint over all decentralized policies. We also show this trust region constraint can be effectively enforced in a principled way by bounding independent ratios based on the number of agents in training, providing a theoretical foundation for proximal ratio clipping. Finally, our empirical results support the hypothesis that the strong performance of IPPO and MAPPO is a direct result of enforcing such a trust region constraint via clipping in centralized training, and tuning the hyperparameters with regards to the number of agents, as predicted by our theoretical analysis.


title: Stable submanifolds in the product of projective spaces

abstract: We provide a classification theorem for compact stable minimal immersions (CSMI) of codimension $1$ or dimension $1$ (codimension $1$ and $2$ or dimension $1$ and $2$) in the product of a complex (quaternionic) projective space with any other Riemannian manifold. We characterize the complex minimal immersions of codimension $2$ or dimension $2$ as the only CSMI in the product of two complex projective spaces. As an application, we characterize the CSMI of codimension $1$ or dimension $1$ (codimension $1$ and $2$ or dimension $1$ and $2$) in the product of a complex (quaternionic) projective space with any compact rank one symmetric space.


title: Stone duality for spectral sheaves and the patch monad

abstract: We establish a duality between global sheaves on spectral spaces and right distributive bands. This is a sheaf-theoretical extension of classical Stone duality between spectral spaces and bounded distributive lattices. The topology of a spectral space admits a refinement, the so-called patch topology, giving rise to a patch monad on sheaves over a fixed spectral space. Under the duality just mentioned the algebras of this patch monad are shown to correspond to distributive skew lattices.


title: On the passage from finite braces to pre-Lie rings

abstract: Let p be a prime number. We show that there is a one-to-one correspondence between the set of strongly nilpotent braces and the set of nilpotent pre-Lie rings of cardinality $p^{n}$, for sufficiently large p. Moreover, there is an injective mapping from the set of left nilpotent pre-Lie rings into the set of left nilpotent braces of cardinality $p^{n}$ for n+1<p. For the passage from pre-Lie rings to braces we use exactly the same method as suggested in [41].


title: OSIRIS: A New Code for Ray Tracing Around Compact Objects

abstract: The radiation observed in quasars and active galactic nuclei is mainly produced by a relativistic plasma orbiting close to the black hole event horizon, where strong gravitational effects are relevant. The observational data of such systems can be compared with theoretical models to infer the black hole and plasma properties. In the comparison process, ray tracing algorithms are essential to computing the trajectories followed by the photons from the source to our telescopes. In this paper, we present OSIRIS: a new stable FORTRAN code capable of efficiently computing null geodesics around compact objects, including general relativistic effects such as gravitational lensing, redshift, and relativistic boosting. The algorithm is based on the Hamiltonian formulation and uses different integration schemes to evolve null geodesics while tracking the error in the Hamiltonian constrain to ensure physical results. We found from an error analysis that the integration schemes are all stable, and the best one maintains an error below $10^{-11}$. Particularly, to test the robustness and ability of the code to evolve geodesics in curved spacetime, we compute the shadow and Einstein rings of a Kerr black hole with different rotation parameters and obtain the image of a thin Keplerian accretion disk around a Schwarzschild black hole. Although OSIRIS is parallelized neither with MPI nor with CUDA, the computation times are of the same order as those reported by other codes with these types of parallel computing platforms.


title: Holistic Fine-grained GGS Characterization: From Detection to Unbalanced Classification

abstract: Recent studies have demonstrated the diagnostic and prognostic values of global glomerulosclerosis (GGS) in IgA nephropathy, aging, and end-stage renal disease. However, the fine-grained quantitative analysis of multiple GGS subtypes (e.g., obsolescent, solidified, and disappearing glomerulosclerosis) is typically a resource extensive manual process. Very few automatic methods, if any, have been developed to bridge this gap for such analytics. In this paper, we present a holistic pipeline to quantify GGS (with both detection and classification) from a whole slide image in a fully automatic manner. In addition, we conduct the fine-grained classification for the sub-types of GGS. Our study releases the open-source quantitative analytical tool for fine-grained GGS characterization while tackling the technical challenges in unbalanced classification and integrating detection and classification.


title: Reinforcement Learning with Heterogeneous Data: Estimation and Inference

abstract: Reinforcement Learning (RL) has the promise of providing data-driven support for decision-making in a wide range of problems in healthcare, education, business, and other domains. Classical RL methods focus on the mean of the total return and, thus, may provide misleading results in the setting of the heterogeneous populations that commonly underlie large-scale datasets. We introduce the K-Heterogeneous Markov Decision Process (K-Hetero MDP) to address sequential decision problems with population heterogeneity. We propose the Auto-Clustered Policy Evaluation (ACPE) for estimating the value of a given policy, and the Auto-Clustered Policy Iteration (ACPI) for estimating the optimal policy in a given policy class. Our auto-clustered algorithms can automatically detect and identify homogeneous sub-populations, while estimating the Q function and the optimal policy for each sub-population. We establish convergence rates and construct confidence intervals for the estimators obtained by the ACPE and ACPI. We present simulations to support our theoretical findings, and we conduct an empirical study on the standard MIMIC-III dataset. The latter analysis shows evidence of value heterogeneity and confirms the advantages of our new method.


title: Understanding AdamW through Proximal Methods and Scale-Freeness

abstract: Adam has been widely adopted for training deep neural networks due to less hyperparameter tuning and remarkable performance. To improve generalization, Adam is typically used in tandem with a squared $\ell_2$ regularizer (referred to as Adam-$\ell_2$). However, even better performance can be obtained with AdamW, which decouples the gradient of the regularizer from the update rule of Adam-$\ell_2$. Yet, we are still lacking a complete explanation of the advantages of AdamW. In this paper, we tackle this question from both an optimization and an empirical point of view. First, we show how to re-interpret AdamW as an approximation of a proximal gradient method, which takes advantage of the closed-form proximal mapping of the regularizer instead of only utilizing its gradient information as in Adam-$\ell_2$. Next, we consider the property of "scale-freeness" enjoyed by AdamW and by its proximal counterpart: their updates are invariant to component-wise rescaling of the gradients. We provide empirical evidence across a wide range of deep learning experiments showing a correlation between the problems in which AdamW exhibits an advantage over Adam-$\ell_2$ and the degree to which we expect the gradients of the network to exhibit multiple scales, thus motivating the hypothesis that the advantage of AdamW could be due to the scale-free updates.


title: A Cheap Bootstrap Method for Fast Inference

abstract: The bootstrap is a versatile inference method that has proven powerful in many statistical problems. However, when applied to modern large-scale models, it could face substantial computation demand from repeated data resampling and model fitting. We present a bootstrap methodology that uses minimal computation, namely with a resample effort as low as one Monte Carlo replication, while maintaining desirable statistical guarantees. We present the theory of this method that uses a twisted perspective from the standard bootstrap principle. We also present generalizations of this method to nested sampling problems and to a range of subsampling variants, and illustrate how it can be used for fast inference across different estimation problems.


title: Query Efficient Decision Based Sparse Attacks Against Black-Box Deep Learning Models

abstract: Despite our best efforts, deep learning models remain highly vulnerable to even tiny adversarial perturbations applied to the inputs. The ability to extract information from solely the output of a machine learning model to craft adversarial perturbations to black-box models is a practical threat against real-world systems, such as autonomous cars or machine learning models exposed as a service (MLaaS). Of particular interest are sparse attacks. The realization of sparse attacks in black-box models demonstrates that machine learning models are more vulnerable than we believe. Because these attacks aim to minimize the number of perturbed pixels measured by l_0 norm-required to mislead a model by solely observing the decision (the predicted label) returned to a model query; the so-called decision-based attack setting. But, such an attack leads to an NP-hard optimization problem. We develop an evolution-based algorithm-SparseEvo-for the problem and evaluate against both convolutional deep neural networks and vision transformers. Notably, vision transformers are yet to be investigated under a decision-based attack setting. SparseEvo requires significantly fewer model queries than the state-of-the-art sparse attack Pointwise for both untargeted and targeted attacks. The attack algorithm, although conceptually simple, is also competitive with only a limited query budget against the state-of-the-art gradient-based whitebox attacks in standard computer vision tasks such as ImageNet. Importantly, the query efficient SparseEvo, along with decision-based attacks, in general, raise new questions regarding the safety of deployed systems and poses new directions to study and understand the robustness of machine learning models.


title: Geometric classification of total stability spaces

abstract: We construct a geometric model for the root category $\mathcal{D}^b(Q)/[2]$ of any Dynkin diagram $Q$, which is an $h_Q$-gon $\mathbf{V}_Q$ with cores, where $h_Q$ is the Coxeter number and $\mathcal{D}^b(Q)$ is the bounded derived category associated to $Q$. As an application, we classify all spaces $\mathrm{ToSt}\mathcal{D}$ of total stability conditions on triangulated categories $\mathcal{D}$, where $\mathcal{D}$ must be of the form $\mathcal{D}^b(Q)$. More precisely, we prove that $\mathrm{ToSt}\mathcal{D}^b(Q)/[2]$ is isomorphic to a suitable moduli space of stable $h_Q$-gons of type $Q$. In particular, an $h_Q$-gon $\mathbf{V}$ of type $D_n$ is a (centrally) symmetric doubly punctured $2(n-1)$-gon. $\mathbf{V}$ is stable if it is convex and the punctures are inside the level-$(n-2)$ diagonal-gon. Another interesting case is $E_6$, where the (stable) $h_Q$-gon (dodecagon) can be realized as a pair of planar tiling pattern.


title: Back and Forth with Akito Arima

abstract: In 1967 Akito Arima spent a year as a visiting professor in the physics department of Rutgers University. In this work we pay tribute to him by discussing topics that we worked on that were directly influenced buy his works or were closely related to his interests. These include nuclear Symmetries, magnetic and other moments, analytic expressions in the single $j$ shell model and schematic interactions.


title: Account credibility inference based on news-sharing networks

abstract: The spread of misinformation poses a threat to the social media ecosystem. Effective countermeasures to mitigate this threat require that social media platforms be able to accurately detect low-credibility accounts even before the content they share can be classified as misinformation. Here we present methods to infer account credibility from information diffusion patterns, in particular leveraging two networks: the reshare network, capturing an account's trust in other accounts, and the bipartite account-source network, capturing an account's trust in media sources. We extend network centrality measures and graph embedding techniques, systematically comparing these algorithms on data from diverse contexts and social media platforms. We demonstrate that both kinds of trust networks provide useful signals for estimating account credibility. Some of the proposed methods yield high accuracy, providing promising solutions to promote the dissemination of reliable information in online communities. Two kinds of homophily emerge from our results: accounts tend to have similar credibility if they reshare each other's content or share content from similar sources. Our methodology invites further investigation into the relationship between accounts and news sources to better characterize misinformation spreaders.


title: Deconfounded Representation Similarity for Comparison of Neural Networks

abstract: Similarity metrics such as representational similarity analysis (RSA) and centered kernel alignment (CKA) have been used to compare layer-wise representations between neural networks. However, these metrics are confounded by the population structure of data items in the input space, leading to spuriously high similarity for even completely random neural networks and inconsistent domain relations in transfer learning. We introduce a simple and generally applicable fix to adjust for the confounder with covariate adjustment regression, which retains the intuitive invariance properties of the original similarity measures. We show that deconfounding the similarity metrics increases the resolution of detecting semantically similar neural networks. Moreover, in real-world applications, deconfounding improves the consistency of representation similarities with domain similarities in transfer learning, and increases correlation with out-of-distribution accuracy.


title: Semi-supervised Identification and Mapping of Surface Water Extent using Street-level Monitoring Videos

abstract: Urban flooding is becoming a common and devastating hazard to cause life loss and economic damage. Monitoring and understanding urban flooding in the local scale is a challenging task due to the complicated urban landscape, intricate hydraulic process, and the lack of high-quality and resolution data. The emerging smart city technology such as monitoring cameras provides an unprecedented opportunity to address the data issue. However, estimating the water accumulation on the land surface based on the monitoring footage is unreliable using the traditional segmentation technique because the boundary of the water accumulation, under the influence of varying weather, background, and illumination, is usually too fuzzy to identify, and the oblique angle and image distortion in the video monitoring data prevents georeferencing and object-based measurements. This paper presents a novel semi-supervised segmentation scheme for surface water extent recognition from the footage of an oblique monitoring camera. The semi-supervised segmentation algorithm was found suitable to determine the water boundary and the monoplotting method was successfully applied to georeference the pixels of the monitoring video for the virtual quantification of the local drainage process. The correlation and mechanism-based analysis demonstrates the value of the proposed method in advancing the understanding of local drainage hydraulics. The workflow and created methods in this study has a great potential to study other street-level and earth surface processes.


title: Self-supervised Graphs for Audio Representation Learning with Limited Labeled Data

abstract: Large scale databases with high-quality manual annotations are scarce in audio domain. We thus explore a self-supervised graph approach to learning audio representations from highly limited labelled data. Considering each audio sample as a graph node, we propose a subgraph-based framework with novel self-supervision tasks that can learn effective audio representations. During training, subgraphs are constructed by sampling the entire pool of available training data to exploit the relationship between the labelled and unlabeled audio samples. During inference, we use random edges to alleviate the overhead of graph construction. We evaluate our model on three benchmark audio databases, and two tasks: acoustic event detection and speech emotion recognition. Our semi-supervised model performs better or on par with fully supervised models and outperforms several competitive existing models. Our model is compact (240k parameters), and can produce generalized audio representations that are robust to different types of signal noise.


title: Greedy search of optimal approximate solutions

abstract: In this paper we develop a procedure to deal with a family of parameter-dependent ill-posed problems, for which the exact solution in general does not exist. The original problems are relaxed by considering corresponding approximate ones, whose optimal solutions are well dfined, where the optimality is determined by the minimal norm requirement. The procedure is based upon greedy algorithms that preserve, at least asymptotically, Kolmogorov approximation rates. In order to provide a-priori estimates for the algorithm, a Tychonff-type regularization is applied, which adds an additional parameter to the model. The theory is developed in an abstract theoretical framework that allows its application to different kinds of problems. We present a specific example that considers a family of ill-posed elliptic problems. The required general assumptions in this case translate to rather natural uniform lower and upper bounds on coefficients of the considered operators.


title: A Comparison of Different Approaches to Dynamic Origin-Destination Matrix Estimation in Urban Traffic

abstract: Given the counters of vehicles that traverse the roads of a traffic network, we reconstruct the travel demand that generated them expressed in terms of the number of origin-destination trips made by users. We model the problem as a bi-level optimization problem. At the inner-level, given a tentative demand, we solve a Dynamic Traffic Assignment (DTA) problem to decide the routing of the users between their origins and destinations. Finally, we adjust the number of trips and their origins and destinations at the outer-level to minimize the discrepancy between the counters generated at the inner-level and the given vehicle counts measured by sensors in the traffic network. We solve the DTA problem by employing a mesoscopic model implemented by the traffic simulator SUMO. Thus, the outer problem becomes an optimization problem that minimizes a black-box Objective Function (OF) determined by the results of the simulation, which is a costly computation. We study different approaches to the outer-level problem categorized as gradient-based and derivative-free approaches. Among the gradient-based approaches, we look at an assignment matrix-based approach and an assignment matrix-free approach that uses the Simultaneous Perturbation Stochastic Approximation (SPSA) algorithm. Among the derivative-free approaches, we investigate Machine Learning (ML) algorithms to learn a model of the simulator that can then be used as a surrogate OF in the optimization problem. We compare these approaches computationally on an artificial network. The gradient-based approaches perform the best in terms of solution quality and computational requirements. In contrast, the results obtained by the ML approach are currently less satisfactory but provide an interesting avenue for future research.


title: Calibration of P-values for calibration and for deviation of a subpopulation from the full population

abstract: The author's recent research papers, "Cumulative deviation of a subpopulation from the full population" and "A graphical method of cumulative differences between two subpopulations" (both published in volume 8 of Springer's open-access "Journal of Big Data" during 2021), propose graphical methods and summary statistics, without extensively calibrating formal significance tests. The summary metrics and methods can measure the calibration of probabilistic predictions and can assess differences in responses between a subpopulation and the full population while controlling for a covariate or score via conditioning on it. These recently published papers construct significance tests based on the scalar summary statistics, but only sketch how to calibrate the attained significance levels (also known as "P-values") for the tests. The present article reviews and synthesizes work spanning many decades in order to detail how to calibrate the P-values. The present paper presents computationally efficient, easily implemented numerical methods for evaluating properly calibrated P-values, together with rigorous mathematical proofs guaranteeing their accuracy, and illustrates and validates the methods with open-source software and numerical examples.


title: Effects of a Flexible Ion Gel as an Active Outer-Layer when in Contact with a Metallic Electrode

abstract: In this work the effect of an ion gel outer-layer stuck on top of ITO/PBT/Sn devices was investigated towards its effects on the electrical properties. When this external electrolyte film is in contact with any top permeable electrode it produces a self-biasing effect and changes the charge carriers injection properties. The outer-layer promoted situations where the output current increases up to two orders of magnitude and others where the output current decreases one order of magnitude in comparison to the same samples without it. Admittance spectroscopy measurements were made and the proposed equivalent circuit model indicates that the interfacial electrical properties dominate charge injection face to the bulk properties when the outer-layer is present. All the changes observed here are reversible after the ion gel is detached and replaced, indicating that ions do not diffuse into the active layer. The observed results can contribute to improve the current density in certain sandwich structures as well as notify that electrolyte external films can behave as an active layer promoting electrical changes into sandwich devices and can be extended to cases where the electrolyte film is used as substrate.


title: Real-Time Facial Expression Recognition using Facial Landmarks and Neural Networks

abstract: This paper presents a lightweight algorithm for feature extraction, classification of seven different emotions, and facial expression recognition in a real-time manner based on static images of the human face. In this regard, a Multi-Layer Perceptron (MLP) neural network is trained based on the foregoing algorithm. In order to classify human faces, first, some pre-processing is applied to the input image, which can localize and cut out faces from it. In the next step, a facial landmark detection library is used, which can detect the landmarks of each face. Then, the human face is split into upper and lower faces, which enables the extraction of the desired features from each part. In the proposed model, both geometric and texture-based feature types are taken into account. After the feature extraction phase, a normalized vector of features is created. A 3-layer MLP is trained using these feature vectors, leading to 96% accuracy on the test set.


title: The miniJPAS survey quasar selection I: Mock catalogues for classification

abstract: In this series of papers, we employ several machine learning (ML) methods to classify the point-like sources from the miniJPAS catalogue, and identify quasar candidates. Since no representative sample of spectroscopically confirmed sources exists at present to train these ML algorithms, we rely on mock catalogues. In this first paper we develop a pipeline to compute synthetic photometry of quasars, galaxies and stars using spectra of objects targeted as quasars in the Sloan Digital Sky Survey. To match the same depths and signal-to-noise ratio distributions in all bands expected for miniJPAS point sources in the range $17.5\leq r<24$, we augment our sample of available spectra by shifting the original $r$-band magnitude distributions towards the faint end, ensure that the relative incidence rates of the different objects are distributed according to their respective luminosity functions, and perform a thorough modeling of the noise distribution in each filter, by sampling the flux variance either from Gaussian realizations with given widths, or from combinations of Gaussian functions. Finally, we also add in the mocks the patterns of non-detections which are present in all real observations. Although the mock catalogues presented in this work are a first step towards simulated data sets that match the properties of the miniJPAS observations, these mocks can be adapted to serve the purposes of other photometric surveys.


title: Generalization in Cooperative Multi-Agent Systems

abstract: Collective intelligence is a fundamental trait shared by several species of living organisms. It has allowed them to thrive in the diverse environmental conditions that exist on our planet. From simple organisations in an ant colony to complex systems in human groups, collective intelligence is vital for solving complex survival tasks. As is commonly observed, such natural systems are flexible to changes in their structure. Specifically, they exhibit a high degree of generalization when the abilities or the total number of agents changes within a system. We term this phenomenon as Combinatorial Generalization (CG). CG is a highly desirable trait for autonomous systems as it can increase their utility and deployability across a wide range of applications. While recent works addressing specific aspects of CG have shown impressive results on complex domains, they provide no performance guarantees when generalizing towards novel situations. In this work, we shed light on the theoretical underpinnings of CG for cooperative multi-agent systems (MAS). Specifically, we study generalization bounds under a linear dependence of the underlying dynamics on the agent capabilities, which can be seen as a generalization of Successor Features to MAS. We then extend the results first for Lipschitz and then arbitrary dependence of rewards on team capabilities. Finally, empirical analysis on various domains using the framework of multi-agent reinforcement learning highlights important desiderata for multi-agent algorithms towards ensuring CG.


title: Efficient generation of new orbital angular momentum beams by backward and forward stimulated Raman scattering

abstract: Laser beams carrying orbital angular momentum (OAM) provide an additional degree of freedom and have found wide applications ranging from optical communications and optical manipulation to quantum information. The efficient generation and operation of ultra-intense OAM beams is a big challenge that has to be met, currently setting a limit to the potential applications of ultra-intense OAM beams in high-energy-density physics studies. Here, we theoretically and numerically demonstrate for the first time that a pump beam with a new OAM state is generated by coupling of the seed pulse with OAM Langmuir waves arising from both backward and forward stimulated Raman scattering mechanisms. Advantage is taken of the high energy transfer efficiency from pump to amplified seed beams by operating in the non-linear regime, as this significantly reduces the size of amplification system and promotes access to high-intensity OAM laser beams for scientific and industrial applications.


title: On the Strong Comparison Principle for Degenerate Elliptic Problems with Convection

abstract: The weak and strong comparison principles, respectively, are investigated for quasi-linear elliptic boundary value problems with the $p$-Laplacian in one space dimension. We treat the degenerate case of $2 < p < \infty$ and allow also for the nontrivial convection velocity $b\colon [-1,1]\to \mathbb{R}$ in the underlying domain $(-1,1)$. We establish the weak comparison principle under a rather general, natural sufficient condition on the convection velocity, $b(x)$, and the reaction function, ${\varphi}(x,u)$. Furthermore, we establish also the strong comparison principle under a number of various additional hypotheses. In contrast, with these hypotheses being violated, we construct also a few rather natural counterexamples to the strong comparison principle and discuss their applications to an interesting classical problem of fluid flow in porous medium, seepage flow of fluids in inclined bed. Our methods are based on a mixture of classical and new techniques.


title: Performance Analysis of Novel Propellant Oxidizers using Molecular Modelling and Nozzle Flow Simulations

abstract: The primary target of this paper is to present novel compounds in view of their possible use as oxidizers in propulsion applications using molecular modeling calculations and supersonic flow simulations. Carbon-based heterocyclic compounds tend to have strained molecular structures leading to high heats of formation and energetic behavior. In the present work, molecular modeling calculations for molecules of 37 such potential propellant oxidizers are presented. Density functional theory (B3LYP) was employed for the geometry optimization of the proposed molecular structures using the 6-311++G(d,p) basis set. Heats of formation of the compounds were calculated using the molecular modeling results. Appropriate propellant compositions were considered with the proposed compounds as oxidizer components and Ideal specific impulse (Ivac,ideal*) was calculated for each composition assuming isentropic flow, computed using the NASA CEA software package. To predict the actual delivered specific impulse (Ivac,act*), supersonic nozzle flow simulations of equilibrium product gases of each propellant composition have been carried out using OpenFOAM. The standard k-epsilon turbulence model for compressible flows including rapid distortion theory (RDT) based compression term, has been employed. As the problem is inherently transient in nature, local time stepping (LTS) methodology has been further implemented to reach a steady-state solution. These simulations accounted for divergence losses, turbulence losses and boundary layer losses and gave a more realistic estimation of the specific impulse. It was observed that the Ivac,act* for all propellant compositions lie between 88% to 91% of the corresponding ideal value. The newly proposed oxidizers showed considerable improvement in propulsion performance as compared to ammonium perchlorate.


title: The regulation methods of fiscal risk in the framework of the implementation of entrepreneurship support

abstract: In this article, I consider the issues of financial resource shortage, the limited possibility of attracting bank loans, and business risk. All these problems constrain the development of entrepreneurship. Objectives I aim to determine a scientifically based financial mechanism of financing the priority directions of territories' development. In this study, I develop tools of financing the priority directions of the municipal economy. The proposed financial scheme allows to expand the volume of financing and ensure the access of businesses to financial support. The article proposes concrete financing mechanisms for investment with minimal risk for the budget and preferential conditions for business.


title: Measuring poverty in India with machine learning and remote sensing

abstract: In this paper, we use deep learning to estimate living conditions in India. We use both census and surveys to train the models. Our procedure achieves comparable results to those found in the literature, but for a wide range of outcomes.


title: Proof of a conjecture on polynomials preserving nonnegative matrices

abstract: We consider polynomials in R[x] which map the set of nonnegative (element-wise) matrices of a given order into itself. Let n be a positive integer and define P(n)= {p in R[x] : p(A) is nonnegative (element-wise), for all A, A an n-by-n nonnegative (element-wise) matrix}. This set plays a role in the Nonnegative Inverse Eigenvalue Problem. Clark and Paparella conjectured that P(n+1) is strictly contained in P(n). We prove this conjecture.


title: Vibrational properties of CuInP2S6 across the ferroelectric transition

abstract: In order to explore the properties of a two-sublattice ferroelectric, we measured the infrared and Raman scattering response of CuInP2S6 across the ferroelectric and glassy transitions and compared our findings to a symmetry analysis, calculations of phase stability, and lattice dynamics. In addition to uncovering displacive character and a large hysteresis region surrounding the ferroelectric transition temperature T_C, we identify the vibrational modes that stabilize the polar phase and confirm the presence of two ferroelectric variants with opposite polarizations. Below TC, a poorly understood relaxational or glassy transition at Tg is characterized by local structure changes in the form of subtle peak shifting and activation of low frequency out-of-plane Cu- and In-containing modes. The latter are due to changes in the Cu/In coordination environments and associated order-disorder processes. Moreover, Tg takes place in two steps with another large hysteresis region and significant underlying scattering. Combined with imaging of the room temperature phase separation, this effort lays the groundwork for studying CuInP2S6 under external stimuli and in the ultra-thin limit.


title: Finite-Size Scaling on a Digital Quantum Simulator using Quantum Restricted Boltzmann Machine

abstract: The critical point and the critical exponents for a phase transition can be determined using the Finite-Size Scaling (FSS) analysis. This method assumes that the phase transition occurs only in the infinite size limit. However, there has been a lot of interest recently in quantum phase transitions occuring in finite size systems such as a single two-level system interacting with a single bosonic mode e.g. in the Quantum Rabi Model (QRM). Since, these phase transitions occur at a finite system size, the traditional FSS method is rendered inapplicable for these cases. For cases like this, we propose an alternative FSS method in which the truncation of the system is done in the Hilbert space instead of the physical space. This approach has previously been used to calculate the critical parameters for stability and symmetry breaking of electronic structure configurations of atomic and molecular systems. We calculate the critical point for the quantum phase transition of the QRM using this approach. We also provide a protocol to implement this method on a digital quantum simulator using the Quantum Restricted Boltzmann Machine algorithm. Our work opens up a new direction in the study of quantum phase transitions on quantum devices.


title: Imbedding Deep Neural Networks

abstract: Continuous-depth neural networks, such as Neural ODEs, have refashioned the understanding of residual neural networks in terms of non-linear vector-valued optimal control problems. The common solution is to use the adjoint sensitivity method to replicate a forward-backward pass optimisation problem. We propose a new approach which explicates the network's `depth' as a fundamental variable, thus reducing the problem to a system of forward-facing initial value problems. This new method is based on the principle of `Invariant Imbedding' for which we prove a general solution, applicable to all non-linear, vector-valued optimal control problems with both running and terminal loss. Our new architectures provide a tangible tool for inspecting the theoretical--and to a great extent unexplained--properties of network depth. They also constitute a resource of discrete implementations of Neural ODEs comparable to classes of imbedded residual neural networks. Through a series of experiments, we show the competitive performance of the proposed architectures for supervised learning and time series prediction.


title: Sequential measurements for quantum-enhanced magnetometry in spin chain probes

abstract: Quantum sensors outperform their classical counterparts in their estimation precision, given the same amount of resources. So far, quantum-enhanced sensitivity has been achieved by exploiting the superposition principle. This enhancement has been obtained for particular forms of entangled states, adaptive measurement basis change, critical many-body systems, and steady-state of periodically driven systems. Here, we introduce a different approach to obtain quantum-enhanced sensitivity in a many-body probe through utilizing the nature of quantum measurement and its subsequent wave-function collapse without demanding prior entanglement. Our protocol consists of a sequence of local measurements, without re-initialization, performed regularly during the evolution of a many-body probe. As the number of sequences increases, the sensing precision is enhanced beyond the standard limit, reaching the Heisenberg bound asymptotically. The benefits of the protocol are multi-fold as it uses a product initial state and avoids complex initialization (e.g. prior entangled states or critical ground states) and allows for remote quantum sensing.


title: Testing low-loss microstrip materials with MKIDs for microwave applications

abstract: Future measurements of the millimeter-wavelength sky require a low-loss superconducting microstrip, typically made from niobium and silicon-nitride, coupling the antenna to detectors. We propose a simple device for characterizing these low-loss microstrips at 150 GHz. In our device we illuminate an antenna with a thermal source and compare the measured power at 150 GHz transmitted down microstrips of different lengths. The power measurement is made using Microwave Kinetic Inductance Detectors (MKIDs) fabricated directly onto the microstrip dielectric, and comparing the measured response provides a direct measurement of the microstrip loss. Our proposed structure provides a simple device (4 layers and a DRIE etch) for characterizing the dielectric loss of various microstrip materials and substrates. We present initial results using these devices. We demonstrate that the millimeter wavelength loss of microstrip lines, a few tens of millimeters long, can be measured using a practical aluminum MKID with a black body source at a few tens of Kelvin.


title: A Metal Artifact Reduction Scheme For Accurate Iterative Dual-Energy CT Algorithms

abstract: CT images have been used to generate radiation therapy treatment plans for more than two decades. Dual-energy CT (DECT) has shown high accuracy in estimating electronic density or proton stopping-power maps used in treatment planning. However, the presence of metal implants introduces severe streaking artifacts in the reconstructed images, affecting the diagnostic accuracy and treatment performance. In order to reduce the metal artifacts in DECT, we introduce a metal-artifact reduction scheme for iterative DECT algorithms. An estimate is substituted for the corrupt data in each iteration. We utilize normalized metal-artifact reduction (NMAR) composed with image-domain decomposition to initialize the algorithm and speed up the convergence. A fully 3D joint statistical DECT algorithm, dual-energy alternating minimization (DEAM), with the proposed scheme is tested on experimental and clinical helical data acquired on a Philips Brilliance Big Bore scanner. We compared DEAM with the proposed method to the original DEAM and vendor reconstructions with and without metal-artifact reduction for orthopedic implants (O-MAR). The visualization and quantitative analysis show that DEAM with the proposed method has the best performance in reducing streaking artifacts caused by metallic objects.


title: Continuous Forecasting via Neural Eigen Decomposition

abstract: Neural differential equations predict the derivative of a stochastic process. This allows irregular forecasting with arbitrary time-steps. However, the expressive temporal flexibility often comes with a high sensitivity to noise. In addition, current methods model measurements and control together, limiting generalization to different control policies. These properties severely limit applicability to medical treatment problems, which require reliable forecasting given high noise, limited data and changing treatment policies. We introduce the Neural Eigen-SDE algorithm (NESDE), which relies on piecewise linear dynamics modeling with spectral representation. NESDE provides control over the expressiveness level; decoupling of control from measurements; and closed-form continuous prediction in inference. NESDE is demonstrated to provide robust forecasting in both synthetic and real high-noise medical problems. Finally, we use the learned dynamics models to publish simulated medical gym environments.


title: Quantum annealing for hard 2-SAT problems : Distribution and scaling of minimum energy gap and success probability

abstract: In recent years, quantum annealing has gained the status of being a promising candidate for solving various optimization problems. Using a set of hard 2-satisfiabilty (2-SAT) problems, consisting of upto 18-variables problems, we analyze the scaling complexity of the quantum annealing algorithm and study the distributions of the minimum energy gap and the success probability. We extend the analysis of the standard quantum annealing Hamiltonian by introducing an additional term, the trigger Hamiltonian, which can be of two types : ferromagnetic and antiferromagnetic. We use these trigger Hamiltonians to study their influence on the success probability for solving the selected 2-SAT problems. We found that although the scaling of the run-time is exponential for the standard and modified quantum annealing Hamiltonians, the scaling constant in case of adding the trigger Hamiltonians can be significantly smaller. Furthermore, certain choices for the trigger Hamiltonian and annealing times can result in a better scaling than that for simulated annealing. Lastly, we also use the quantum annealers of D-Wave Systems Inc. to study their performance in solving the 2-SAT problems and compare it with the simulation results.


title: A lower bound on the space overhead of fault-tolerant quantum computation

abstract: The threshold theorem is a fundamental result in the theory of fault-tolerant quantum computation stating that arbitrarily long quantum computations can be performed with a polylogarithmic overhead provided the noise level is below a constant level. A recent work by Fawzi, Grospellier and Leverrier (FOCS 2018) building on a result by Gottesman (QIC 2013) has shown that the space overhead can be asymptotically reduced to a constant independent of the circuit provided we only consider circuits with a length bounded by a polynomial in the width. In this work, using a minimal model for quantum fault tolerance, we establish a general lower bound on the space overhead required to achieve fault tolerance. For any non-unitary qubit channel $\mathcal{N}$ and any quantum fault tolerance schemes against $\mathrm{i.i.d.}$ noise modeled by $\mathcal{N}$, we prove a lower bound of $\max\left\{\mathrm{Q}(\mathcal{N})^{-1}n,\alpha_\mathcal{N} \log T\right\}$ on the number of physical qubits, for circuits of length $T$ and width $n$. Here, $\mathrm{Q}(\mathcal{N})$ denotes the quantum capacity of $\mathcal{N}$ and $\alpha_\mathcal{N}>0$ is a constant only depending on the channel $\mathcal{N}$. In our model, we allow for qubits to be replaced by fresh ones during the execution of the circuit and we allow classical computation to be free and perfect. This improves upon results that assumed classical computations to be also affected by noise, and that sometimes did not allow for fresh qubits to be added. Along the way, we prove an exponential upper bound on the maximal length of fault-tolerant quantum computation with amplitude damping noise resolving a conjecture by Ben-Or, Gottesman, and Hassidim (2013).


title: QALD-9-plus: A Multilingual Dataset for Question Answering over DBpedia and Wikidata Translated by Native Speakers

abstract: The ability to have the same experience for different user groups (i.e., accessibility) is one of the most important characteristics of Web-based systems. The same is true for Knowledge Graph Question Answering (KGQA) systems that provide the access to Semantic Web data via natural language interface. While following our research agenda on the multilingual aspect of accessibility of KGQA systems, we identified several ongoing challenges. One of them is the lack of multilingual KGQA benchmarks. In this work, we extend one of the most popular KGQA benchmarks - QALD-9 by introducing high-quality questions' translations to 8 languages provided by native speakers, and transferring the SPARQL queries of QALD-9 from DBpedia to Wikidata, s.t., the usability and relevance of the dataset is strongly increased. Five of the languages - Armenian, Ukrainian, Lithuanian, Bashkir and Belarusian - to our best knowledge were never considered in KGQA research community before. The latter two of the languages are considered as "endangered" by UNESCO. We call the extended dataset QALD-9-plus and made it available online https://github.com/Perevalov/qald_9_plus.


title: Reconstructing Braided Subcategories of $SU(N)_k$

abstract: Ocneanu rigidity implies that there are finitely many (braided) fusion categories with a given set of fusion rules. While there is no method for determining all such categories up to equivalence, there are a few cases for which can. For example, Kazhdan and Wenzl described all fusion categories with fusion rules isomorphic to those of $SU(N)_k$. In this paper we extend their results to a statement about braided fusion categories, and obtain similar results for certain subcategories of $SU(N)_k$.


title: Quantum search on noisy intermediate-scale quantum devices

abstract: Quantum search algorithm (also known as Grover's algorithm) lays the foundation for many other quantum algorithms. Although it is very simple, its implementation is limited on noisy intermediate-scale quantum (NISQ) processors. Grover's algorithm was designed without considering the physical resources, such as depth, in the real implementations. Therefore, Grover's algorithm can be improved for NISQ devices. In this paper, we demonstrate how to implement quantum search algorithms better on NISQ devices. We present detailed benchmarks of the five-qubit quantum search algorithm on different quantum processors, including IBMQ, IonQ, and Honeywell quantum devices. We report the highest success probability of the five-qubit search algorithm compared to previous works. Our results show that designing the error-aware quantum search algorithms is possible, which can maximally harness the power of NISQ computers.


title: 3D Visualization and Spatial Data Mining for Analysis of LULC Images

abstract: The present study is an attempt made to create a new tool for the analysis of Land Use Land Cover (LUCL) images in 3D visualization. This study mainly uses spatial data mining techniques on high resolution LULC satellite imagery. Visualization of feature space allows exploration of patterns in the image data and insight into the classification process and related uncertainty. Visual Data Mining provides added value to image classifications as the user can be involved in the classification process providing increased confidence in and understanding of the results. In this study, we present a prototype of image segmentation, K-Means clustering and 3D visualization tool for visual data mining (VDM) of LUCL satellite imagery into volume visualization. This volume based representation divides feature space into spheres or voxels. The visualization tool is showcased in a classification study of high-resolution LULC imagery of Latur district (Maharashtra state, India) is used as sample data.


title: Problems of Tax Administration and its Impact on Budget Revenues

abstract: The topic under study is of crucial importance, especially for developing countries. The aim of the present paper is to study the problems in revenue administration in terms of tax revenue in Georgia and analyze foreign experience in that respect. The main question arises here - What kind of tax rates should be implemented to be able to perform both functions of the fiscal and stimulating one. Liberal method of revenue seems an attractive one for taxpayers. According to the economic situation in Georgia, the best solution is to use the liberal method. This will help business to develop and people to find jobs. Taxation system will also benefit from that. Tax rate in Georgia amounts to 15% and is the same for everyone, regardless the size of the business. The taxation system is regarded to be proportional. As for the American and European countries, taxes there are progressive. I think the same practice should be implemented in Georgia, and not only in case of taxation.


title: Top Ten Behavioral Biases in Project Management: An Overview

abstract: Behavioral science has witnessed an explosion in the number of biases identified by behavioral scientists, to more than 200 at present. This article identifies the 10 most important behavioral biases for project management. First, we argue it is a mistake to equate behavioral bias with cognitive bias, as is common. Cognitive bias is half the story; political bias the other half. Second, we list the top 10 behavioral biases in project management: (1) strategic misrepresentation, (2) optimism bias, (3) uniqueness bias, (4) the planning fallacy, (5) overconfidence bias, (6) hindsight bias, (7) availability bias, (8) the base rate fallacy, (9) anchoring, and (10) escalation of commitment. Each bias is defined, and its impacts on project management are explained, with examples. Third, base rate neglect is identified as a primary reason that projects underperform. This is supported by presentation of the most comprehensive set of base rates that exist in project management scholarship, from 2,062 projects. Finally, recent findings of power law outcomes in project performance are identified as a possible first stage in discovering a general theory of project management, with more fundamental and more scientific explanations of project outcomes than found in conventional theory.


title: Handling Bias in Toxic Speech Detection: A Survey

abstract: Detecting online toxicity has always been a challenge due to its inherent subjectivity. Factors such as the context, geography, socio-political climate, and background of the producers and consumers of the posts play a crucial role in determining if the content can be flagged as toxic. Adoption of automated toxicity detection models in production can thus lead to a sidelining of the various groups they aim to help in the first place. It has piqued researchers' interest in examining unintended biases and their mitigation. Due to the nascent and multi-faceted nature of the work, complete literature is chaotic in its terminologies, techniques, and findings. In this paper, we put together a systematic study of the limitations and challenges of existing methods for mitigating bias in toxicity detection. We look closely at proposed methods for evaluating and mitigating bias in toxic speech detection. To examine the limitations of existing methods, we also conduct a case study to introduce the concept of bias shift due to knowledge-based bias mitigation. The survey concludes with an overview of the critical challenges, research gaps, and future directions. While reducing toxicity on online platforms continues to be an active area of research, a systematic study of various biases and their mitigation strategies will help the research community produce robust and fair models.


title: On Market Design and Latency Arbitrage

abstract: We argue that contemporary stock market designs are, due to traders' inability to fully express their preferences over the execution times of their orders, prone to latency arbitrage. In turn, we propose a new order type which allows traders to specify the time at which their orders are executed after reaching the exchange. Using this order type, traders can synchronize order executions across different exchanges, such that high-frequency traders, even if they operate at the speed of light, can no-longer engage in latency arbitrage.


title: Reply to comment on "Failure of the simultaneous block diagonalization technique applied to complete and cluster synchronization of random networks"

abstract: We respond briefly to a comment [1, arXiv:2110.15493] recently posted online on our paper [2, arXiv:2108.07893]. Complete and cluster synchronization of random networks is undoubtedly a topic of interest in the Physics, Engineering, and Nonlinear Dynamics literature. In [3] we study both complete and cluster synchronization of networks and introduce indices that measure success (or failure) of application of the SBD technique in decoupling the stability problem into problems of lower dimensionality. Our usage of the word `failure' indicates that the technique does not produce a decomposition which results in a system which is easier to analyze, not that the technique fails in correctly decoupling these problems.


title: Fundamental Limits for Sensor-Based Robot Control

abstract: Our goal is to develop theory and algorithms for establishing fundamental limits on performance imposed by a robot's sensors for a given task. In order to achieve this, we define a quantity that captures the amount of task-relevant information provided by a sensor. Using a novel version of the generalized Fano inequality from information theory, we demonstrate that this quantity provides an upper bound on the highest achievable expected reward for one-step decision making tasks. We then extend this bound to multi-step problems via a dynamic programming approach. We present algorithms for numerically computing the resulting bounds, and demonstrate our approach on three examples: (i) the lava problem from the literature on partially observable Markov decision processes, (ii) an example with continuous state and observation spaces corresponding to a robot catching a freely-falling object, and (iii) obstacle avoidance using a depth sensor with non-Gaussian noise. We demonstrate the ability of our approach to establish strong limits on achievable performance for these problems by comparing our upper bounds with achievable lower bounds (computed by synthesizing or learning concrete control policies).


title: Nonlinear optics in gallium phosphide cavities: simultaneous second and third harmonic generation

abstract: We demonstrate the simultaneous generation of second and third harmonic signals from a telecom wavelength pump in a gallium phosphide (GaP) microdisk. Using analysis of the power scaling of both the second and third harmonic outputs and calculations of nonlinear cavity mode coupling factors, we study contributions to the third harmonic signal from direct and cascaded sum frequency generation processes. We find that despite the relatively high material absorption in gallium phosphide at the third harmonic wavelength, both of these processes can be significant, with relative magnitudes that depend closely on the detuning between the second harmonic wavelength of the cavity modes.


title: Smooth singular complexes and diffeological principal bundles

abstract: In previous papers, we used the standard simplices $\Delta^p$ $(p\ge 0)$ endowed with diffeologies having several good properties to introduce the singular complex $S^\dcal(X)$ of a diffeological space $X$. On the other hand, Hector and Christensen-Wu used the standard simplices $\Delta^p_{\rm sub}$ $(p\ge 0)$ endowed with the sub-diffeology of $\rbb^{p+1}$ and the standard affine $p$-spaces $\abb^p$ $(p\ge 0)$ to introduce the singular complexes $S^\dcal_{\rm sub}(X)$ and $S^\dcal_{\rm aff}(X)$, respectively, of a diffeological space $X$. In this paper, we prove that $S^\dcal(X)$ is a fibrant approximation both of $S^\dcal_{\rm sub}(X)$ and $S^\dcal_{\rm aff}(X)$. This result easily implies that the homotopy groups of $S^\dcal_{\rm sub}(X)$ and $S^\dcal_{\rm aff}(X)$ are isomorphic to the smooth homotopy groups of $X$, proving a conjecture of Christensen and Wu. Further, we characterize diffeological principal bundles (i.e., principal bundles in the sense of Iglesias-Zemmour) using the singular functor $S^\dcal_{\rm aff}$. By using these results, we extend characteristic classes for $\dcal$-numerable principal bundles to characteristic classes for diffeological principal bundles.


title: Submodularity In Machine Learning and Artificial Intelligence

abstract: In this manuscript, we offer a gentle review of submodularity and supermodularity and their properties. We offer a plethora of submodular definitions; a full description of a number of example submodular functions and their generalizations; example discrete constraints; a discussion of basic algorithms for maximization, minimization, and other operations; a brief overview of continuous submodular extensions; and some historical applications. We then turn to how submodularity is useful in machine learning and artificial intelligence. This includes summarization, and we offer a complete account of the differences between and commonalities amongst sketching, coresets, extractive and abstractive summarization in NLP, data distillation and condensation, and data subset selection and feature selection. We discuss a variety of ways to produce a submodular function useful for machine learning, including heuristic hand-crafting, learning or approximately learning a submodular function or aspects thereof, and some advantages of the use of a submodular function as a coreset producer. We discuss submodular combinatorial information functions, and how submodularity is useful for clustering, data partitioning, parallel machine learning, active and semi-supervised learning, probabilistic modeling, and structured norms and loss functions.


title: Ambiguity resolution for integrable gravitational charges

abstract: Recently, Ciambelli, Leigh, and Pai (CLP) [arXiv:2111.13181] have shown that nonzero charges integrating Hamilton's equation can be defined for all diffeomorphisms acting near the boundary of a subregion in a gravitational theory. This is done by extending the phase space to include a set of embedding fields that parameterize the location of the boundary. Because their construction differs from previous works on extended phase spaces by a covariant phase space ambiguity, the question arises as to whether the resulting charges are unambiguously defined. Here, we demonstrate that ambiguity-free charges can be obtained by appealing to the variational principle for the subregion, following recent developments on dealing with boundaries in the covariant phase space. Resolving the ambiguity produces corrections to the diffeomorphism charges, and also generates additional obstructions to integrability of Hamilton's equation. We emphasize the fact that the CLP extended phase space produces nonzero diffeomorphism charges distinguishes it from previous constructions in which diffeomorphisms are pure gauge, since the embedding fields can always be eliminated from the latter by a choice of unitary gauge. Finally, we show that Wald-Zoupas charges, with their characteristic obstruction to integrability, are associated with a modified transformation in the extended phase space, clarifying the reason behind integrability of Hamilton's equation for standard diffeomorphisms.


title: Using Transition Learning to Enhance Mobile-Controlled Handoff In Decentralized Future Networks

abstract: Traditionally, resource management and capacity allocation has been controlled network-side in cellular deployment. As autonomicity has been added to network design, machine learning technologies have largely followed this paradigm, benefiting from the higher compute capacity and informational context available at the network core. However, when these network services are disaggregated or decentralized, models that rely on assumed levels of network or information availability may no longer function reliably. This paper presents an inverted view of the resource management paradigm; one in which the client device executes a learning algorithm and manages its own mobility under a scenario where the networks and their corresponding data underneath are not being centrally managed.


title: Central elements and the Gaeta topos: An algebraic and functorial overview on coextensive varieties

abstract: In this paper we show that within the context of coextensive varieties, the functor of central elements is representable. In addition, we use the theory of central elements to establish a criterion for fp-coextensive varieties that allows to decide whether the Gaeta Topos classifies indecomposable objects in terms of the indecomposability of the free algebra on one generator.


title: Non-adaptive and two-stage coding over the Z-channel

abstract: In this paper, we developed new coding strategies for the Z-channel. In particular, we look at the case with two-stage encoding. In this case, the encoder uses noiseless feedback once and adjusts the further encoding strategy based on the previous partial output of the channel. Nevertheless, the developed codes improve the known results with full feedback for small length and 1 error. A tool for the two-stage strategy is the development of a new optimality condition for non-adaptive codes.


title: Studying the Robustness of Anti-adversarial Federated Learning Models Detecting Cyberattacks in IoT Spectrum Sensors

abstract: Device fingerprinting combined with Machine and Deep Learning (ML/DL) report promising performance when detecting cyberattacks targeting data managed by resource-constrained spectrum sensors. However, the amount of data needed to train models and the privacy concerns of such scenarios limit the applicability of centralized ML/DL-based approaches. Federated learning (FL) addresses these limitations by creating federated and privacy-preserving models. However, FL is vulnerable to malicious participants, and the impact of adversarial attacks on federated models detecting spectrum sensing data falsification (SSDF) attacks on spectrum sensors has not been studied. To address this challenge, the first contribution of this work is the creation of a novel dataset suitable for FL and modeling the behavior (usage of CPU, memory, or file system, among others) of resource-constrained spectrum sensors affected by different SSDF attacks. The second contribution is a pool of experiments analyzing and comparing the robustness of federated models according to i) three families of spectrum sensors, ii) eight SSDF attacks, iii) four scenarios dealing with unsupervised (anomaly detection) and supervised (binary classification) federated models, iv) up to 33% of malicious participants implementing data and model poisoning attacks, and v) four aggregation functions acting as anti-adversarial mechanisms to increase the models robustness.


title: Improving Access to Housing and Supportive Services for Runaway and Homeless Youth: Reducing Vulnerability to Human Trafficking in New York City

abstract: Recent estimates indicate that there are over 1 million runaway and homeless youth and young adults (RHY) in the United States (US). Exposure to trauma, violence, and substance abuse, coupled with a lack of community support services, puts homeless youth at high risk of being exploited and trafficked. Although access to safe housing and supportive services such as physical and mental healthcare is an effective response to youths vulnerability towards being trafficked, the number of youth experiencing homelessness exceeds the capacity of available housing resources in most US communities. We undertake a RHY-informed, systematic, and data driven approach to project the collective capacity required by service providers to adequately meet the needs of homeless youth in New York City, including those most at risk of being trafficked. Our approach involves an integer linear programming model that extends the multiple multidimensional knapsack problem and is informed by partnerships with key stakeholders. The mathematical model allows for time-dependent allocation and capacity expansion, while incorporating stochastic youth arrivals and length of stays, services provided in a periodic fashion, and service delivery time windows. Our RHY and service provider-centered approach is an important step toward meeting the actual, rather than presumed, survival needs of vulnerable youth, particularly those at-risk of being trafficked.


title: The trace space of anisotropic least gradient functions depends on the anisotropy

abstract: We study the set of possible traces of anisotropic least gradient functions. We show that even on the unit disk it changes with the anisotropic norm: for two sufficiently regular strictly convex norms the trace spaces coincide if and only if the norms coincide. The example of a function in exactly one of the trace spaces is given by a characteristic function of a suitably chosen Cantor set.


title: High-Dimensional Quantum Conference Key Agreement

abstract: Quantum Conference Key Agreement (QCKA) protocols are designed to allow multiple parties to agree on a shared secret key, secure against computationally unbounded adversaries. In this paper, we consider a high-dimensional QCKA protocol and prove its information theoretic security against arbitrary, general, attacks in the finite-key scenario. Our proof technique may be useful for other high-dimensional multi-party quantum cryptographic protocols. Finally, we evaluate the protocol in a variety of settings, showing that high-dimensional states can greatly benefit QCKA protocols.


title: Partial Sum Processes of Residual-Based and Wald-type Break-Point Statistics in Time Series Regression Models

abstract: We revisit classical asymptotics when testing for a structural break in linear regression models by obtaining the limit theory of residual-based and Wald-type processes. First, we establish the Brownian bridge limiting distribution of these test statistics. Second, we study the asymptotic behaviour of the partial-sum processes in nonstationary (linear) time series regression models. Although, the particular comparisons of these two different modelling environments is done from the perspective of the partial-sum processes, it emphasizes that the presence of nuisance parameters can change the asymptotic behaviour of the functionals under consideration. Simulation experiments verify size distortions when testing for a break in nonstationary time series regressions which indicates that the Brownian bridge limit cannot provide a suitable asymptotic approximation in this case. Further research is required to establish the cause of size distortions under the null hypothesis of parameter stability.


title: A Higher-Order Language for Markov Kernels and Linear Operators

abstract: Much work has been done to give semantics to probabilistic programming languages. In recent years, most of the semantics used to reason about probabilistic programs fall in two categories: semantics based on Markov kernels and semantics based on linear operators. Both styles of semantics have found numerous applications in reasoning about probabilistic programs, but they each have their strengths and weaknesses. Though it is believed that there is a connection between them there are no languages that can handle both styles of programming. In this work we address these questions by defining a two-level calculus and its categorical semantics which makes it possible to program with both kinds of semantics. From the logical side of things we see this language as an alternative resource interpretation of linear logic, where the resource being kept track of is sampling instead of variable use.


title: Gene set proximity analysis: expanding gene set enrichment analysis through learned geometric embeddings

abstract: Gene set analysis methods rely on knowledge-based representations of genetic interactions in the form of both gene set collections and protein-protein interaction (PPI) networks. Explicit representations of genetic interactions often fail to capture complex interdependencies among genes, limiting the analytic power of such methods. Here we propose an extension of gene set enrichment analysis to a latent feature space reflecting PPI network topology, called gene set proximity analysis (GSPA). Compared with existing methods, GSPA provides improved ability to identify disease-associated pathways in disease-matched gene expression datasets, while improving reproducibility of enrichment statistics for similar gene sets. GSPA is statistically straightforward, reducing to classical gene set enrichment through a single user-defined parameter. We apply our method to identify novel drug associations with SARS-CoV-2 viral entry. Finally, we validate our drug association predictions through retrospective clinical analysis of claims data from 8 million patients, supporting a role for gabapentin as a risk factor and metformin as a protective factor for COVID-19 hospitalization.


title: An Adaptive sampling and domain learning strategy for multivariate function approximation on unknown domains

abstract: Many problems in computational science and engineering can be described in terms of approximating a smooth function of $d$ variables, defined over an unknown domain of interest $\Omega\subset \mathbb{R}^d$, from sample data. Here both the curse of dimensionality ($d\gg 1$) and the lack of domain knowledge with $\Omega$ potentially irregular and/or disconnected are confounding factors for sampling-based methods. Na\"{i}ve approaches often lead to wasted samples and inefficient approximation schemes. For example, uniform sampling can result in upwards of 20\% wasted samples in some problems. In surrogate model construction in computational uncertainty quantification (UQ), the high cost of computing samples needs a more efficient sampling procedure. In the last years, methods for computing such approximations from sample data have been studied in the case of irregular domains. The advantages of computing sampling measures depending on an approximation space $P$ of $\dim(P)=N$ have been shown. In particular, such methods confer advantages such as stability and well-conditioning, with $\mathcal{O}(N\log(N))$ as sample complexity. The recently-proposed adaptive sampling for general domains (ASGD) strategy is one method to construct these sampling measures. The main contribution of this paper is to improve ASGD by adaptively updating the sampling measures over unknown domains. We achieve this by first introducing a general domain adaptivity strategy (GDAS), which approximates the function and domain of interest from sample points. Second, we propose adaptive sampling for unknown domains (ASUD), which generates sampling measures over a domain that may not be known in advance. Our results show that the ASUD approach consistently achieves the same or smaller errors as uniform sampling, but using fewer, and often significantly fewer evaluations.


title: Step-size Adaptation Using Exponentiated Gradient Updates

abstract: Optimizers like Adam and AdaGrad have been very successful in training large-scale neural networks. Yet, the performance of these methods is heavily dependent on a carefully tuned learning rate schedule. We show that in many large-scale applications, augmenting a given optimizer with an adaptive tuning method of the step-size greatly improves the performance. More precisely, we maintain a global step-size scale for the update as well as a gain factor for each coordinate. We adjust the global scale based on the alignment of the average gradient and the current gradient vectors. A similar approach is used for updating the local gain factors. This type of step-size scale tuning has been done before with gradient descent updates. In this paper, we update the step-size scale and the gain variables with exponentiated gradient updates instead. Experimentally, we show that our approach can achieve compelling accuracy on standard models without using any specially tuned learning rate schedule. We also show the effectiveness of our approach for quickly adapting to distribution shifts in the data during training.


title: Evaluating Deep Vs. Wide & Deep Learners As Contextual Bandits For Personalized Email Promo Recommendations

abstract: Personalization enables businesses to learn customer preferences from past interactions and thus to target individual customers with more relevant content. We consider the problem of predicting the optimal promotional offer for a given customer out of several options as a contextual bandit problem. Identifying information for the customer and/or the campaign can be used to deduce unknown customer/campaign features that improve optimal offer prediction. Using a generated synthetic email promo dataset, we demonstrate similar prediction accuracies for (a) a wide and deep network that takes identifying information (or other categorical features) as input to the wide part and (b) a deep-only neural network that includes embeddings of categorical features in the input. Improvements in accuracy from including categorical features depends on the variability of the unknown numerical features for each category. We also show that selecting options using upper confidence bound or Thompson sampling, approximated via Monte Carlo dropout layers in the wide and deep models, slightly improves model performance.


title: Distributed Quantum Vote Based on Quantum Logical Operators, a New Battlefield of the Second Quantum Revolution

abstract: We designed two rules of binary quantum computed vote: Quantum Logical Veto (QLV) and Quantum Logical Nomination (QLN). The conjunction and disjunction from quantum computational logic are used to define QLV and QLN, respectively. Compared to classical vote, quantum computed vote is fairer, more democratic and has stronger expressive power. Since the advantage of quantum computed vote is neither the speed of computing nor the security of communication, we believe it opens a new battlefield in the second quantum revolution. Compared to other rules of quantum computed vote, QLV and QLN have better scalability. Both QLV and QLN can be implemented by the current technology and the difficulty of implementation does not grow with the increase of the number of voters.


title: On the degree of approximation of continuous functions by a linear transformation of their Fourier series

abstract: In this paper, we have proved four theorems on the degree of approximation of continuous functions by matrix means of their Fourier series which is expressed in terms of the modulus of continuity and a non-negative mediate function.


title: How local antipredator response unbalances the rock-paper-scissors model

abstract: Antipredator behaviour is a self-preservation strategy present in many biological systems, where individuals join the effort in a collective reaction to avoid being caught by an approaching predator. We study a nonhierarchical tritrophic system, whose predator-prey interactions are described by the rock-paper-scissors game rules. We performed a set of spatial stochastic simulations where organisms of one out of the species can resist predation in a collective strategy. The drop in predation capacity is local, which means that each predator faces a particular opposition depending on the prey group size surrounding it. Considering that the interference in a predator action depends on the prey's physical and cognitive ability, we explore the role of a conditioning factor that indicates the fraction of the species apt to perform the antipredator strategy. Because of the local unbalancing of the cyclic predator-prey interactions, departed spatial domains mainly occupied by a single species emerge. Unlike the rock-paper-scissors model with a weak species because a nonlocal reason, our findings show that if the predation probability of one species is reduced because individuals face local antipredator response, the species does not predominate. Instead, the local unbalancing of the rock-paper-scissors model results in the prevalence of the weak species' prey. Finally, the outcomes show that local unevenness may jeopardise biodiversity, with the coexistence being more threatened for high mobility.

categories: q-bio.PE nlin.AO nlin.PS physics.bio-ph q-bio.QM


title: Learning Infinite-Horizon Average-Reward Markov Decision Processes with Constraints

abstract: We study regret minimization for infinite-horizon average-reward Markov Decision Processes (MDPs) under cost constraints. We start by designing a policy optimization algorithm with carefully designed action-value estimator and bonus term, and show that for ergodic MDPs, our algorithm ensures $\widetilde{O}(\sqrt{T})$ regret and constant constraint violation, where $T$ is the total number of time steps. This strictly improves over the algorithm of (Singh et al., 2020), whose regret and constraint violation are both $\widetilde{O}(T^{2/3})$. Next, we consider the most general class of weakly communicating MDPs. Through a finite-horizon approximation, we develop another algorithm with $\widetilde{O}(T^{2/3})$ regret and constraint violation, which can be further improved to $\widetilde{O}(\sqrt{T})$ via a simple modification, albeit making the algorithm computationally inefficient. As far as we know, these are the first set of provable algorithms for weakly communicating MDPs with cost constraints.


title: DRS-LIP: Linear Inverted Pendulum Model for Legged Locomotion on Dynamic Rigid Surfaces

abstract: Legged robot locomotion on a dynamic rigid surface (i.e., a rigid surface moving in the inertial frame) involves complex full-order dynamics that is high-dimensional, nonlinear, and time-varying. Towards deriving an analytically tractable dynamic model, this study theoretically extends the reduced-order linear inverted pendulum (LIP) model from legged locomotion on a stationary surface to locomotion on a dynamic rigid surface (DRS). The resulting model is herein termed as DRS-LIP. Furthermore, this study introduces an approximate analytical solution of the proposed DRS-LIP that is computationally efficient with high accuracy. To illustrate the practical uses of the analytical results, they are used to develop a hierarchical planning framework that efficiently generates physically feasible trajectories for DRS locomotion. The effectiveness of the proposed theoretical results and motion planner is demonstrated both through simulations and experimentally on a Laikago quadrupedal robot that walks on a rocking treadmill.


title: The Morse equation in the Conley index theory for discrete multivalued dynamical systems

abstract: A recent generalization of the Conley index to discrete multivalued dynamical systems without a continuous selector is motivated by applications to data-driven dynamics. In the present paper we continue the program by studying attractor-repeller pairs and Morse decompositions in this setting. In particular, we prove Morse equation and Morse inequalities.


title: Transformer-based Models of Text Normalization for Speech Applications

abstract: Text normalization, or the process of transforming text into a consistent, canonical form, is crucial for speech applications such as text-to-speech synthesis (TTS). In TTS, the system must decide whether to verbalize "1995" as "nineteen ninety five" in "born in 1995" or as "one thousand nine hundred ninety five" in "page 1995". We present an experimental comparison of various Transformer-based sequence-to-sequence (seq2seq) models of text normalization for speech and evaluate them on a variety of datasets of written text aligned to its normalized spoken form. These models include variants of the 2-stage RNN-based tagging/seq2seq architecture introduced by Zhang et al. (2019), where we replace the RNN with a Transformer in one or more stages, as well as vanilla Transformers that output string representations of edit sequences. Of our approaches, using Transformers for sentence context encoding within the 2-stage model proved most effective, with the fine-tuned BERT encoder yielding the best performance.


title: Trace anomaly and induced action for a metric-scalar background

abstract: The conformal anomaly and anomaly-induced effective action represent useful and economic ways to describe semiclassical contributions to the action of gravity. We discuss the anomaly in the case when the background is formed by metric and scalar fields and formulate the induced action in two standard covariant forms. The analysis of induced action at low energies reveals existing connection to the renormalization group and effective potential. The classification of anomalous terms is extended to the scalar background and ambiguities in the total derivative terms in the anomaly are considered using Pauli-Villars regularization.


title: Fortuitous Forgetting in Connectionist Networks

abstract: Forgetting is often seen as an unwanted characteristic in both human and machine learning. However, we propose that forgetting can in fact be favorable to learning. We introduce "forget-and-relearn" as a powerful paradigm for shaping the learning trajectories of artificial neural networks. In this process, the forgetting step selectively removes undesirable information from the model, and the relearning step reinforces features that are consistently useful under different conditions. The forget-and-relearn framework unifies many existing iterative training algorithms in the image classification and language emergence literature, and allows us to understand the success of these algorithms in terms of the disproportionate forgetting of undesirable information. We leverage this understanding to improve upon existing algorithms by designing more targeted forgetting operations. Insights from our analysis provide a coherent view on the dynamics of iterative training in neural networks and offer a clear path towards performance improvements.


title: Non-normality, optimality and synchronization

abstract: It has been recognized for quite some time that for some matrices the spectra are not enough to tell the complete story of the dynamics of the system, even for linear ODEs. While it is true that the eigenvalues control the asymptotic behavior of the system, if the matrix representing the system is non-normal, short term transients may appear in the linear system. Recently it has been recognized that since the matrices representing directed networks are non-normal, analysis based on spectra alone may be misleading. Both a normal and a non-normal system may be stable according to the master stability paradigm, but the non-normal system may have an arbitrarily small attraction basin to the synchronous state whereas an equivalent normal system may have a significantly larger sync basin. This points to the need to study synchronization in non-normal networks more closely. In this work, various tools will be utilized to examine synchronization in directed networks, including pseudospectra, an adaption of pseudospectra that we will call Laplacian pseudospectra. We define a resulting concept that we call Laplacian pseudospectral resilience (LPR). It will be shown that LPR outperforms other scalar measures for estimating the stability of the synchronous state to finite perturbations in a class of networks known as optimal networks. Finally we find that the ideal choice of optimal network, with an eye toward synchronization, is the one which minimizes LPR


title: Teaching Predictive Control Using Specification-based Summative Assessments

abstract: Including Model Predictive Control (MPC) in the undergraduate/graduate control curriculum is becoming vitally important due to the growing adoption of MPC in many industrial areas. In this paper, we present an overview of the predictive control course taught by the authors at Imperial College London between 2018 and 2021. We discuss how the course evolved from focusing solely on the linear MPC formulation to covering nonlinear MPC and some of its extensions. We also present a novel specification-based summative assessment framework, written in MATLAB, that was developed to assess the knowledge and understanding of the students in the course by tasking them with designing a controller for a real-world problem. The MATLAB assessment framework was designed to provide the students with the freedom to design and implement any MPC controller they wanted. The submitted controllers were then assessed against over 30 variations of the real-world problem to gauge student understanding of design robustness and the MPC topics from the course.


title: Learning-Based Framework for Camera Calibration with Distortion Correction and High Precision Feature Detection

abstract: Camera calibration is a crucial technique which significantly influences the performance of many robotic systems. Robustness and high precision have always been the pursuit of diverse calibration methods. State-of-the-art calibration techniques based on classical Zhang's method, however, still suffer from environmental noise, radial lens distortion and sub-optimal parameter estimation. Therefore, in this paper, we propose a hybrid camera calibration framework which combines learning-based approaches with traditional methods to handle these bottlenecks. In particular, this framework leverages learning-based approaches to perform efficient distortion correction and robust chessboard corner coordinate encoding. For sub-pixel accuracy of corner detection, a specially-designed coordinate decoding algorithm with embed outlier rejection mechanism is proposed. To avoid sub-optimal estimation results, we improve the traditional parameter estimation by RANSAC algorithm and achieve stable results. Compared with two widely-used camera calibration toolboxes, experiment results on both real and synthetic datasets manifest the better robustness and higher precision of the proposed framework. The massive synthetic dataset is the basis of our framework's decent performance and will be publicly available along with the code at https://github.com/Easonyesheng/CCS.