title: When can we reconstruct the ancestral state? A unified theory

abstract: Ancestral state reconstruction is one of the most important tasks in evolutionary biology. Conditions under which we can reliably reconstruct the ancestral state have been studied for both discrete and continuous traits. However, the connection between these results is unclear, and it seems that each model needs different conditions. In this work, we provide a unifying theory on the consistency of ancestral state reconstruction for various types of trait evolution models. Notably, we show that for a sequence of nested trees with bounded heights, the necessary and sufficient conditions for the existence of a consistent ancestral state reconstruction method under discrete models, the Brownian motion model, and the threshold model are equivalent. When tree heights are unbounded, we provide a simple counter-example to show that this equivalence is no longer valid.


title: Existence of at least one positive continuing solution of Urysohn quadratic integral equation by Schauder fixed-point theorem.1

abstract: We employ Schauder fixed-point Theorem to prove the existence of at least one positive continuous solution of the quadratic integral equation Moreover, the maximal and the minimal solutions of the last equation are also proved.


title: Learning Multi-Stage Tasks with One Demonstration via Self-Replay

abstract: In this work, we introduce a novel method to learn everyday-like multi-stage tasks from a single human demonstration, without requiring any prior object knowledge. Inspired by the recent Coarse-to-Fine Imitation Learning method, we model imitation learning as a learned object reaching phase followed by an open-loop replay of the demonstrator's actions. We build upon this for multi-stage tasks where, following the human demonstration, the robot can autonomously collect image data for the entire multi-stage task, by reaching the next object in the sequence and then replaying the demonstration, and then repeating in a loop for all stages of the task. We evaluate with real-world experiments on a set of everyday-like multi-stage tasks, which we show that our method can solve from a single demonstration. Videos and supplementary material can be found at https://www.robot-learning.uk/self-replay.


title: Contrastive Clustering: Toward Unsupervised Bias Reduction for Emotion and Sentiment Classification

abstract: Background: When neural network emotion and sentiment classifiers are used in public health informatics studies, biases present in the classifiers could produce inadvertently misleading results. Objective: This study assesses the impact of bias on COVID-19 topics, and demonstrates an automatic algorithm for reducing bias when applied to COVID-19 social media texts. This could help public health informatics studies produce more timely results during crises, with a reduced risk of misleading results. Methods: Emotion and sentiment classifiers were applied to COVID-19 data before and after debiasing the classifiers using unsupervised contrastive clustering. Contrastive clustering approximates the degree to which tokens exhibit a causal versus correlational relationship with emotion or sentiment, by contrasting the tokens' relative salience to topics versus emotions or sentiments. Results: Contrastive clustering distinguishes correlation from causation for tokens with an F1 score of 0.753. Masking bias prone tokens from the classifier input decreases the classifier's overall F1 score by 0.02 (anger) and 0.033 (negative sentiment), but improves the F1 score for sentences annotated as bias prone by 0.155 (anger) and 0.103 (negative sentiment). Averaging across topics, debiasing reduces anger estimates by 14.4% and negative sentiment estimates by 8.0%. Conclusions: Contrastive clustering reduces algorithmic bias in emotion and sentiment classification for social media text pertaining to the COVID-19 pandemic. Public health informatics studies should account for bias, due to its prevalence across a range of topics. Further research is needed to improve bias reduction techniques and to explore the adverse impact of bias on public health informatics analyses.


title: Ammonia-methane ratios from H-band near-infrared spectra of late-T and Y dwarfs

abstract: Gas cells containing ammonia and methane at atmospheric pressure were custom-made in our chemical laboratory. Low-resolution near-infrared spectroscopy of these gas cells were collected in our optical laboratory. They are compared with simulated spectra using the high-resolution transmission molecular absorption database (HITRAN) for temperatures of 300 K and 500 K, and with near-infrared spectra of late-T and Y dwarfs, Jupiter and Saturn. We selected for this investigation the spectral region between 1.5 and 1.7 microns (H-band) because it is covered by the Euclid red grism, it is particularly sensitive to the relative proportions of ammonia and methane opacity, and it is free from strong contributions of other abundant molecules such as water vapour. The laboratory spectra showed that the ammonia and methane features that are present in the simulations using the HITRAN database are incomplete. Using our laboratory spectra, we propose a modified version of the NH3-H spectral ratio with expanded integration limits that increases the amplitude of variation of the index with respect to spectral type. Combinations of our laboratory spectra were used to find the best fits to the observed spectra with the relative absorption ratio of ammonia to methane as a free parameter. A relationship was found between the T$\rm_{eff}$ and the ratio of ammonia to methane from spectral classes T5 to Y2 (1100 K -- 350 K), in qualitative fairly good agreement with theoretical predictions for high gravity objects and temperatures from 1100 K to 500 K. The ammonia to methane ratios in late-T and Y dwarfs are similar to that of Jupiter, suggesting a similar chemical composition. Simulations of the spectroscopic performance of Euclid suggest that it will yield T$\rm_{eff}$ values and ratios of ammonia to methane for over 10$^3$ late T dwarfs in the whole wide survey.


title: Beamspace Multidimensional ESPRIT Approaches for Simultaneous Localization and Communications

abstract: Modern wireless communication systems operating at high carrier frequencies are characterized by a high dimensionality of the underlying parameter space (including channel gains, angles, delays, and possibly Doppler shifts). Estimating these parameters is valuable for communication purposes, but also for localization and sensing, making channel estimation a critical component in any joint communication and localization or sensing application. The high dimensionality make it difficult to use search-based methods such as maximum likelihood. Search-free methods such as ESPRIT provide an attractive alternative, but require a complex decomposition step in both the tensor and matrix version of ESPRIT. To mitigate this, we propose, develop, and analyze a reduced complexity beamspace ESPRIT method. Complexity is reduced both by beampace processing as well as low-complex implementation of the singular value decomposition. A novel perturbation analysis provides important insights for both channel estimation and localization performance. The proposed method is compared to the tensor ESPRIT method, in terms of channel estimation, communication, localization, and sensing performance, further validating the perturbation analysis.


title: On Risk and Time Pressure: When to Think and When to Do

abstract: We study the tradeoff between fundamental risk and time. A time-constrained agent has to solve a problem. She dynamically allocates effort between implementing a risky initial idea and exploring alternatives. Discovering an alternative implies progress that has to be converted to a solution. As time runs out, the chances of converting it in time shrink. We show that the agent may return to the initial idea after having left it in the past to explore alternatives. Our model helps explain so-called false starts. To finish fast, the agent delays exploring alternatives reducing the overall success probability.


title: Graph theory-based structural analysis on density anomaly of silica glass

abstract: Analyzing the atomic structure of glassy materials is a tremendous challenge both experimentally and computationally, and the lack of direct, detailed insights into glass structure hinders our ability to navigate structure-property relationships. For instance, the structural origin of the density anomaly in silica glasses - the negative thermal expansion coefficient - is still poorly understood. Simulations based on molecular dynamics (MD) produce atomically resolved structures, but quantifying the role of disorder in the density anomaly is challenging. Here, we propose to use a a graph-theoretical approach to assess topological differences between disordered structural arrangements from MD trajectories of silica glasses. A graph similarity metric quantifies the similarity between the covalent networks and can characterize the nature of the disordered solid, by comparing to reference crystalline solids, or with glasses in different thermodynamic states . This approach involves casting all-atom glass configurations as networks, and subsequently applying a graph-similarity metric (D-measure). Calculated D-measure values are then taken as the topological distances between two configurations. By measuring the topological distances of silica glass configurations across a range of temperatures, distinct structural features could be observed at temperatures higher than the fictive temperature. In addition, we compared topological distances between local atomic environments in the glass and crystalline silica phases. This approach suggests that more coesite-like and quartz-like local structures emerge in silica glasses when the density is at a minimum during the heating process.


title: Deforming integrable models of AdS$_3$ strings

abstract: We discuss an integrable model of string on AdS$_3$xS$^3$xT$^4$ in a thermodynamical bath. We show that scattering of the excitations above equilibrium states has some novel features. Thermodynamics points to interesting deformation of the original model for which we discuss finite size effect through mirror TBA equations.


title: Towards Interpretability of Speech Pause in Dementia Detection using Adversarial Learning

abstract: Speech pause is an effective biomarker in dementia detection. Recent deep learning models have exploited speech pauses to achieve highly accurate dementia detection, but have not exploited the interpretability of speech pauses, i.e., what and how positions and lengths of speech pauses affect the result of dementia detection. In this paper, we will study the positions and lengths of dementia-sensitive pauses using adversarial learning approaches. Specifically, we first utilize an adversarial attack approach by adding the perturbation to the speech pauses of the testing samples, aiming to reduce the confidence levels of the detection model. Then, we apply an adversarial training approach to evaluate the impact of the perturbation in training samples on the detection model. We examine the interpretability from the perspectives of model accuracy, pause context, and pause length. We found that some pauses are more sensitive to dementia than other pauses from the model's perspective, e.g., speech pauses near to the verb "is". Increasing lengths of sensitive pauses or adding sensitive pauses leads the model inference to Alzheimer's Disease, while decreasing the lengths of sensitive pauses or deleting sensitive pauses leads to non-AD.


title: HAD-Net: Hybrid Attention-based Diffusion Network for Glucose Level Forecast

abstract: Data-driven models for glucose level forecast often do not provide meaningful insights despite accurate predictions. Yet, context understanding in medicine is crucial, in particular for diabetes management. In this paper, we introduce HAD-Net: a hybrid model that distills knowledge into a deep neural network from physiological models. It models glucose, insulin and carbohydrates diffusion through a biologically inspired deep learning architecture tailored with a recurrent attention network constrained by ODE expert models. We apply HAD-Net for glucose level forecast of patients with type-2 diabetes. It achieves competitive performances while providing plausible measurements of insulin and carbohydrates diffusion over time.


title: Astrochemistry with the Orbiting Astronomical Satellite for Investigating Stellar Systems (OASIS)

abstract: Chemistry along the star- and planet-formation sequence regulates how prebiotic building blocks -- carriers of the elements CHNOPS -- are incorporated into nascent planetesimals and planets. Spectral line observations across the electromagnetic spectrum are needed to fully characterize interstellar CHNOPS chemistry, yet to date there are only limited astrochemical constraints at THz frequencies. Here, we highlight advances to the study of CHNOPS astrochemistry that will be possible with the Orbiting Astronomical Satellite for Investigating Stellar Systems (OASIS). OASIS is a NASA mission concept for a space-based observatory that will utilize an inflatable 14-m reflector along with a heterodyne receiver system to observe at THz frequencies with unprecedented sensitivity and angular resolution. As part of a survey of H2O and HD towards ~100 protostellar and protoplanetary disk systems, OASIS will also obtain statistical constraints on the inventories of light hydrides including NH3 and H2S towards protoplanetary disks, as well as complex organics in protostellar hot corinos and envelopes. Line surveys of additional star-forming regions, including high-mass hot cores, protostellar outflow shocks, and prestellar cores, will also leverage the unique capabilities of OASIS to probe high-excitation organics and small hydrides, as is needed to fully understand the chemistry of these objects.

categories: astro-ph.GA astro-ph.EP astro-ph.IM astro-ph.SR


title: Attentive Federated Learning for Concept Drift in Distributed 5G Edge Networks

abstract: Machine learning (ML) is expected to play a major role in 5G edge computing. Various studies have demonstrated that ML is highly suitable for optimizing edge computing systems as rapid mobility and application-induced changes occur at the edge. For ML to provide the best solutions, it is important to continually train the ML models to include the changing scenarios. The sudden changes in data distributions caused by changing scenarios (e.g., 5G base station failures) is referred to as concept drift and is a major challenge to continual learning. The ML models can present high error rates while the drifts take place and the errors decrease only after the model learns the distributions. This problem is more pronounced in a distributed setting where multiple ML models are being used for different heterogeneous datasets and the final model needs to capture all concept drifts. In this paper, we show that using Attention in Federated Learning (FL) is an efficient way of handling concept drifts. We use a 5G network traffic dataset to simulate concept drift and test various scenarios. The results indicate that Attention can significantly improve the concept drift handling capability of FL.


title: Mean-based Best Arm Identification in Stochastic Bandits under Reward Contamination

abstract: This paper investigates the problem of best arm identification in $\textit{contaminated}$ stochastic multi-arm bandits. In this setting, the rewards obtained from any arm are replaced by samples from an adversarial model with probability $\varepsilon$. A fixed confidence (infinite-horizon) setting is considered, where the goal of the learner is to identify the arm with the largest mean. Owing to the adversarial contamination of the rewards, each arm's mean is only partially identifiable. This paper proposes two algorithms, a gap-based algorithm and one based on the successive elimination, for best arm identification in sub-Gaussian bandits. These algorithms involve mean estimates that achieve the optimal error guarantee on the deviation of the true mean from the estimate asymptotically. Furthermore, these algorithms asymptotically achieve the optimal sample complexity. Specifically, for the gap-based algorithm, the sample complexity is asymptotically optimal up to constant factors, while for the successive elimination-based algorithm, it is optimal up to logarithmic factors. Finally, numerical experiments are provided to illustrate the gains of the algorithms compared to the existing baselines.


title: To cross or not to cross: collective swimming of Escherichia coli under two-dimensional confinement

abstract: Bacteria in bulk fluids swim collectively and display fascinating emergent dynamics. Although bacterial collective swimming in three-dimensional (3D) geometries has been well studied, its counterpart in confined two-dimensional (2D) geometries relevant to natural habitats of bacteria is still poorly understood. Here, through carefully designed experiments on Escherichia coli in Hele-Shaw chambers, we show that a small change in the degree of confinement leads to a drastic change in bacterial collective swimming. While long-range nematic order emerges for bacteria that can cross during encounters, a slight decrease of the chamber height prevents the crossing, leading to the formation of bacterial clusters with short-range polar order. By tracking the swimming kinetics of individual bacteria, we reveal the microscopic origins of the two collective phases. Our study provides important insights into bacterial collective swimming under confinement and demonstrates a convenient way to control the emergent symmetry of collective phases.


title: Effect of disorder on density of states and conductivity in higher order van Hove singularities in two dimensional bands

abstract: We study systems with energy bands in two dimensions, hosting higher order Van Hove singularities (HOVHS) in the presence of disorder, using standard diagrammatic techniques for impurity averaging. In the clean limit, such singularities cause power-law divergence in the density of states (DOS), and this is expected to strongly affect electronic correlation. In order to analyse the signatures of these singularities in disordered systems, we employ various Born approximations, culminating in the self-consistent (non) Born approximation. Although the divergence of the DOS is smeared, we find that the shape of the DOS, as characterized by the power law tail and the universal ratio of prefactors, is retained slightly away from the singularity. This could help us to understand current and future experiments on materials that can be tuned to host HOVHS. The impurity induced smearing is calculated and analysed for several test cases of singularities. We also study the effects of impurities on electrical conductivity and determine the regimes where the quantitative features of the power law DOS manifest in the conductivity.


title: A Topos View of Blockchain Consensus Protocols

abstract: This paper presents a reformulation in topos logic of a safety result arising in an abstract presentation of blockchain consensus protocols. That is, in a high-level template for "correct-by-construction" consensus protocols, it is shown that a proposition and its negation cannot both be safe in protocol states that have executions to some common state. This is in fact true for any inconsistent propositions and the proof requires only intuitionistic reasoning. This opens the door for work on consensus protocols in the internal language of a topos. As a first pass on such a program, the main contribution of this paper is the formulation of estimate safety in abstract correct-by-construction protocols as a forcing statement in the internal logic of a given topos. This is illustrated first in the setting of copresheaf toposes. It is also seen there that safety can be viewed as a modal statement. For these interpretations, some extensions and adaptations of results in the literature on modal operators in toposes are presented. The final reformulation of estimate safety is a completely elementary version in the language of an arbitrary topos where it is seen that estimate safety is equivalent to a certain forcing statement.


title: Federated Learning with Hyperparameter-based Clustering for Electrical Load Forecasting

abstract: Electrical load prediction has become an integral part of power system operation. Deep learning models have found popularity for this purpose. However, to achieve a desired prediction accuracy, they require huge amounts of data for training. Sharing electricity consumption data of individual households for load prediction may compromise user privacy and can be expensive in terms of communication resources. Therefore, edge computing methods, such as federated learning, are gaining more importance for this purpose. These methods can take advantage of the data without centrally storing it. This paper evaluates the performance of federated learning for short-term forecasting of individual house loads as well as the aggregate load. It discusses the advantages and disadvantages of this method by comparing it to centralized and local learning schemes. Moreover, a new client clustering method is proposed to reduce the convergence time of federated learning. The results show that federated learning has a good performance with a minimum root mean squared error (RMSE) of 0.117kWh for individual load forecasting.


title: Cell-Free Massive MIMO with Low-Complexity Hybrid Beamforming

abstract: Cell-Free Massive Multiple-input Multiple-output (mMIMO) consists of many access points (APs) in a coverage area that jointly serve the users. These systems can significantly reduce the interference among the users compared to conventional MIMO networks and so enable higher data rates and a larger coverage area. However, Cell-Free mMIMO systems face multiple practical challenges such as the high complexity and power consumption of the APs' analog front-ends. Motivated by prior works, we address these issues by considering a low complexity hybrid beamforming framework at the APs in which each AP has a limited number of RF-chains to reduce power consumption, and the analog combiner is designed only using the large-scale statistics of the channel to reduce the system's complexity. We provide closed-form expressions for the signal to interference and noise ratio (SINR) of both uplink and downlink data transmission with accurate random matrix approximations. Also, based on the existing literature, we provide a power optimization algorithm that maximizes the minimum SINR of the users for uplink scenario. Through several simulations, we investigate the accuracy of the derived random matrix approximations, trade-off between the 95% outage data rate and the number of RF-chains, and the impact of power optimization. We observe that the derived approximations accurately follow the exact simulations and that in uplink scenario while using MMSE combiner, power optimization does not improve the performance much.


title: Symmetry and polarity of antiphase boundaries in PbZrO$_3$

abstract: The polar properties of antiphase boundaries (APBs) in PbZrO$_3$ are analyzed in detail using a recently developed layer group approach in order parameter space and compared with the results from Landau-Ginzburg free energy description. It is shown that the former approach reveals the microscopic APBs' properties, and predicts polar APB structures at particular positions inside the unit cell, which agree very well with recent experimental obsevations [Wei, et.~al. \cite{Wei2014,Wei2015}]. The systematic usage of the method is developed. In contrast with it the commonly used free energy description obscures the microscopic features but still can reflect the macroscopic properties of the APBs by taking into account the bilinear coupling of polarization and order parameter gradients. The relation between the layer group approach and the Landau-Ginzburg free energy description is discussed and two mechanisms of polarization switching inside the APBs are distinguished. It is illustrated that the polar APBs observed in PbZrO$_3$ are consistently and naturally explained by the layer group approach. This analysis is expected to have a significant impact also in other materials.


title: Decoding Causality by Fictitious VAR Modeling

abstract: In modeling multivariate time series for either forecast or policy analysis, it would be beneficial to have figured out the cause-effect relations within the data. Regression analysis, however, is generally for correlation relation, and very few researches have focused on variance analysis for causality discovery. We first set up an equilibrium for the cause-effect relations using a fictitious vector autoregressive model. In the equilibrium, long-run relations are identified from noise, and spurious ones are negligibly close to zero. The solution, called causality distribution, measures the relative strength causing the movement of all series or specific affected ones. If a group of exogenous data affects the others but not vice versa, then, in theory, the causality distribution for other variables is necessarily zero. The hypothesis test of zero causality is the rule to decide a variable is endogenous or not. Our new approach has high accuracy in identifying the true cause-effect relations among the data in the simulation studies. We also apply the approach to estimating the causal factors' contribution to climate change.


title: Discrete-Time Nonlinear Systems Identification with Probabilistic Safety and Stability Constraints

abstract: This paper presents a discrete-time nonlinear system identification method while satisfying the stability and safety properties of the system with high probability. An Extreme Learning Machine (ELM) is used with a Gaussian assumption on the function reconstruction error. A quadratically constrained quadratic program (QCQP) is developed with probabilistic safety and stability constraints that are only required to be satisfied at sampled points inside the invariant region. The proposed method is validated using two simulation examples: a two degrees-of-freedom (DoF) robot manipulator with constraints on joint angles whose trajectories are guaranteed to remain inside a safe set and on motion trajectories data of a hand-drawn shape.


title: The Deformation $L_\infty$ algebra of a Dirac--Jacobi structure

abstract: We develop the deformations theory of a Dirac--Jacobi structure within a fixed Courant--Jacobi algebroid. Using the description of split Courant--Jacobi algebroids as degree $2$ contact $\mathbb{N} Q$ manifolds and Voronov's higher derived brackets, each Dirac--Jacobi structure is associated with a cubic $L_\infty$ algebra for any choice of a complementary almost Dirac--Jacobi structure. This $L_\infty$ algebra governs the deformations of the Dirac--Jacobi structure: there is a one-to-one correspondence between the MC elements of this $L_\infty$ algebra and the small deformations of the Dirac-Jacobi structure. Further, by Cattaneo and Sch\"atz's equivalence of higher derived brackets, this $L_\infty$ algebra does not depend (up to $L_\infty$-isomorphisms) on the choice of the complementary almost Dirac--Jacobi structure. These same ideas apply to get a new proof of the independence of the $L_\infty$ algebra of Dirac structure from the choice of a complementary almost Dirac structure (a result proved using other techniques by Gualtieri, Matviichuk and Scott).


title: Impact of Benign Modifications on Discriminative Performance of Deepfake Detectors

abstract: Deepfakes are becoming increasingly popular in both good faith applications such as in entertainment and maliciously intended manipulations such as in image and video forgery. Primarily motivated by the latter, a large number of deepfake detectors have been proposed recently in order to identify such content. While the performance of such detectors still need further improvements, they are often assessed in simple if not trivial scenarios. In particular, the impact of benign processing operations such as transcoding, denoising, resizing and enhancement are not sufficiently studied. This paper proposes a more rigorous and systematic framework to assess the performance of deepfake detectors in more realistic situations. It quantitatively measures how and to which extent each benign processing approach impacts a state-of-the-art deepfake detection method. By illustrating it in a popular deepfake detector, our benchmark proposes a framework to assess robustness of detectors and provides valuable insights to design more efficient deepfake detectors.


title: Analytic functional calculus and G\r{a}rding inequality on graded Lie groups with applications to diffusion equations

abstract: In this paper we study the Cauchy problem for diffusion equations associated to a class of strongly hypoelliptic pseudo-differential operators on graded Lie groups. To do so, we develop a global complex functional calculus on graded Lie groups in order to analyse the corresponding energy estimates. One of the main aspects of this complex functional calculus is that for the $(\rho,\delta)$-Euclidean H\"ormander classes we recover the standard functional calculus developed by Seeley [38]. In consequence the G\r{a}rding inequality that we prove for arbitrary graded Lie groups absorbs the historical 1953's inequality due to G\r{a}rding [26].


title: Skillful Twelve Hour Precipitation Forecasts using Large Context Neural Networks

abstract: The problem of forecasting weather has been scientifically studied for centuries due to its high impact on human lives, transportation, food production and energy management, among others. Current operational forecasting models are based on physics and use supercomputers to simulate the atmosphere to make forecasts hours and days in advance. Better physics-based forecasts require improvements in the models themselves, which can be a substantial scientific challenge, as well as improvements in the underlying resolution, which can be computationally prohibitive. An emerging class of weather models based on neural networks represents a paradigm shift in weather forecasting: the models learn the required transformations from data instead of relying on hand-coded physics and are computationally efficient. For neural models, however, each additional hour of lead time poses a substantial challenge as it requires capturing ever larger spatial contexts and increases the uncertainty of the prediction. In this work, we present a neural network that is capable of large-scale precipitation forecasting up to twelve hours ahead and, starting from the same atmospheric state, the model achieves greater skill than the state-of-the-art physics-based models HRRR and HREF that currently operate in the Continental United States. Interpretability analyses reinforce the observation that the model learns to emulate advanced physics principles. These results represent a substantial step towards establishing a new paradigm of efficient forecasting with neural networks.


title: Nonlinear differential equations in abstract Banach subspace of $BC(\R)$

abstract: We prove results of existence of a solution (resp. existence and uniqness of a solution) for nonlinear differential equations of type $x'(t) +G(x,t) x(t) = F(x,t),$ in an abstract Banach subspace $X$ of the space of bounded real-valued continuous functions, satisfying some general and natural property. In our work, the functions $F$ and $G$ jointly depend on the variables $(x,t)\in X\times \R$. Several examples will be given, in various function spaces, to illustrate our results. The vector-valued framework is also considered.


title: Effective contraction of skinning maps

abstract: Using elementary hyperbolic geometry, we give an explicit formula for the contraction constant of the skinning map over moduli spaces of relatively acylindrical hyperbolic manifolds.


title: Scrutinizing XAI using linear ground-truth data with suppressor variables

abstract: Machine learning (ML) is increasingly often used to inform high-stakes decisions. As complex ML models (e.g., deep neural networks) are often considered black boxes, a wealth of procedures has been developed to shed light on their inner workings and the ways in which their predictions come about, defining the field of 'explainable AI' (XAI). Saliency methods rank input features according to some measure of 'importance'. Such methods are difficult to validate since a formal definition of feature importance is, thus far, lacking. It has been demonstrated that some saliency methods can highlight features that have no statistical association with the prediction target (suppressor variables). To avoid misinterpretations due to such behavior, we propose the actual presence of such an association as a necessary condition and objective preliminary definition for feature importance. We carefully crafted a ground-truth dataset in which all statistical dependencies are well-defined and linear, serving as a benchmark to study the problem of suppressor variables. We evaluate common explanation methods including LRP, DTD, PatternNet, PatternAttribution, LIME, Anchors, SHAP, and permutation-based methods with respect to our objective definition. We show that most of these methods are unable to distinguish important features from suppressors in this setting.


title: A Polynomial Lower Bound on the Number of Rounds for Parallel Submodular Function Minimization and Matroid Intersection

abstract: Submodular function minimization (SFM) and matroid intersection are fundamental discrete optimization problems with applications in many fields. It is well known that both of these can be solved making $\mathrm{poly}(N)$ queries to a relevant oracle (evaluation oracle for SFM and rank oracle for matroid intersection), where $N$ denotes the universe size. However, all known polynomial query algorithms are highly adaptive, requiring at least $N$ rounds of querying the oracle. A natural question is whether these can be efficiently solved in a highly parallel manner, namely, with $\mathrm{poly}(N)$ queries using only poly-logarithmic rounds of adaptivity. An important step towards understanding the adaptivity needed for efficient parallel SFM was taken recently in the work of Balkanski and Singer who showed that any SFM algorithm making $\mathrm{poly}(N)$ queries necessarily requires $\Omega(\log N/\log \log N)$ rounds. This left open the possibility of efficient SFM algorithms in poly-logarithmic rounds. For matroid intersection, even the possibility of a constant round, $\mathrm{poly}(N)$ query algorithm was not hitherto ruled out. In this work, we prove that any, possibly randomized, algorithm for submodular function minimization or matroid intersection making $\mathrm{poly}(N)$ queries requires $\tilde{\Omega}\left(N^{1/3}\right)$ rounds of adaptivity. In fact, we show a polynomial lower bound on the number of rounds of adaptivity even for algorithms that make at most $2^{N^{1-\delta}}$ queries, for any constant $\delta> 0$. Therefore, even though SFM and matroid intersection are efficiently solvable, they are not highly parallelizable in the oracle model.


title: Special cycles on orthogonal Shimura varieties

abstract: In this paper, we investigate a general method to establish tame and norm relations for special cycles in Shimura varieties, using unitary cycles in odd orthogonal Shimura varieties as a guiding example.


title: Fast Radio Burst Distributions Consistent with the First CHIME/FRB Catalog

abstract: Currently, fast radio bursts (FRBs) have become a very active field in astronomy and cosmology. However, the origin of FRBs is still unknown to date. The studies on the intrinsic FRB distributions might help us to reveal the possible origins of FRBs, and improve the simulations for FRB cosmology. Recently, the first CHIME/FRB catalog of 536 events was released. Such a large uniform sample of FRBs detected by a single telescope is very valuable to test the FRB distributions. Later, it has been claimed that the FRB distribution model tracking the cosmic star formation history (SFH) was rejected by the first CHIME/FRB catalog. In the present work, we consider some empirical FRB distribution models, and find that many of them can be fully consistent with the CHIME/FRB observational data for some suitable model parameters. Notice that a suppressed evolution with respect to SFH is commonly found for FRBs. In particular, we independently confirm that the FRB distribution model tracking SFH can be rejected at very high confidence. On the other hand, all the ``successful'' models effectively require a certain degree of ``delay'' with respect to SFH. These results might shed light on the origin of FRBs and FRB cosmology.

categories: astro-ph.HE astro-ph.CO astro-ph.IM gr-qc


title: Millimeter-scale focal length tuning with MEMS-integrated meta-optics employing high-throughput fabrication

abstract: Miniature varifocal lenses are crucial for many applications requiring compact optical systems. Here, utilizing electro-mechanically actuated 0.5-mm aperture infrared Alvarez meta-optics, we demonstrate 3.1 mm (200 diopters) focal length tuning with an actuation voltage below 40 V. This constitutes the largest focal length tuning in any low-power electro-mechanically actuated meta-optic, enabled by the high energy density in comb-drive actuators producing large displacements at relatively low voltage. The demonstrated device is produced by a novel nanofabrication process that accommodates meta-optics with a larger aperture and has improved alignment between meta-optics via flip-chip bonding. The whole fabrication process is CMOS compatible and amenable to high-throughput manufacturing.


title: Physics in the Machine: Integrating Physical Knowledge in Autonomous Phase-Mapping

abstract: Application of artificial intelligence (AI), and more specifically machine learning, to the physical sciences has expanded significantly over the past decades. In particular, science-informed AI, also known as scientific AI or inductive bias AI, has grown from a focus on data analysis to now controlling experiment design, simulation, execution and analysis in closed-loop autonomous systems. The CAMEO (closed-loop autonomous materials exploration and optimization) algorithm employs scientific AI to address two tasks: learning a material system's composition-structure relationship and identifying materials compositions with optimal functional properties. By integrating these, accelerated materials screening across compositional phase diagrams was demonstrated, resulting in the discovery of a best-in-class phase change memory material. Key to this success is the ability to guide subsequent measurements to maximize knowledge of the composition-structure relationship, or phase map. In this work we investigate the benefits of incorporating varying levels of prior physical knowledge into CAMEO's autonomous phase-mapping. This includes the use of ab-initio phase boundary data from the AFLOW repositories, which has been shown to optimize CAMEO's search when used as a prior.


title: Neuronal avalanches and critical dynamics of brain waves

abstract: Analytical expressions for scaling of brain wave spectra derived from the general nonlinear wave Hamiltonian form show excellent agreement with experimental "neuronal avalanche" data. The theory of the weakly evanescent nonlinear brain wave dynamics reveals the underlying collective processes hidden behind the phenomenological statistical description of the neuronal avalanches and connects together the whole range of brain activity states, from oscillatory wave-like modes, to neuronal avalanches, to incoherent spiking, showing that the neuronal avalanches are just the manifestation of the different nonlinear side of wave processes abundant in cortical tissue. In a more broad way these results show that a system of wave modes interacting through all possible combinations of the third order nonlinear terms described by a general wave Hamiltonian necessarily produces anharmonic wave modes with temporal and spatial scaling properties that follow scale free power laws. To the best of our knowledge this was never reported in the physical literature and may be applicable to many physical systems that involve wave processes and not just to neuronal avalanches.


title: Power Allocation for Wireless Federated Learning using Graph Neural Networks

abstract: We propose a data-driven approach for power allocation in the context of federated learning (FL) over interference-limited wireless networks. The power policy is designed to maximize the transmitted information during the FL process under communication constraints, with the ultimate objective of improving the accuracy and efficiency of the global FL model being trained. The proposed power allocation policy is parameterized using a graph convolutional network and the associated constrained optimization problem is solved through a primal-dual algorithm. Numerical experiments show that the proposed method outperforms three baseline methods in both transmission success rate and FL global performance.


title: On a Partition LP Relaxation for Min-Cost 2-Node Connected Spanning Subgraphs

abstract: Our motivation is to improve on the best approximation guarantee known for the problem of finding a minimum-cost 2-node connected spanning subgraph of a given undirected graph with nonnegative edge costs. We present an LP (Linear Programming) relaxation based on partition constraints. The special case where the input contains a spanning tree of zero cost is called 2NC-TAP. We present a greedy algorithm for 2NC-TAP, and we analyze it via dual-fitting for our partition LP relaxation. Keywords: 2-node connected graphs, approximation algorithms, connectivity augmentation, greedy algorithm, network design, partition relaxation


title: Characterization of the correlated background for a sterile neutrino search using the first dataset of the JSNS$^2$ experiment

abstract: JSNS$^2$ (J-PARC Sterile Neutrino Search at J-PARC Spallation Neutron Source) is an experiment that is searching for sterile neutrinos via the observation of $\bar{\nu}_{\mu} \to \bar{\nu}_{e}$ appearance oscillations using muon decay-at-rest neutrinos. Before dedicated data taking in the first-half of 2021, we performed a commissioning run for 10 days in June 2020. Using the data obtained in this commissioning run, in this paper, we present an estimate of the correlated background which imitates the $\bar{\nu}_{e}$ signal in a sterile neutrino search. In addition, in order to demonstrate future prospects of the JSNS$^2$ experiment, possible pulse shape discrimination improvements towards reducing cosmic ray induced fast neutron background are described.


title: Tradeoffs for small-depth Frege proofs

abstract: We study the complexity of small-depth Frege proofs and give the first tradeoffs between the size of each line and the number of lines. Existing lower bounds apply to the overall proof size -- the sum of sizes of all lines -- and do not distinguish between these notions of complexity. For depth-$d$ Frege proofs of the Tseitin principle on the $n \times n$ grid where each line is a size-$s$ formula, we prove that $\exp(n/2^{\Omega(d\sqrt{\log s})})$ many lines are necessary. This yields new lower bounds on line complexity that are not implied by H{\aa}stad's recent $\exp(n^{\Omega(1/d)})$ lower bound on the overall proof size. For $s = \mathrm{poly}(n)$, for example, our lower bound remains $\exp(n^{1-o(1)})$ for all $d = o(\sqrt{\log n})$, whereas H{\aa}stad's lower bound is $\exp(n^{o(1)})$ once $d = \omega_n(1)$. Our main conceptual contribution is the simple observation that techniques for establishing correlation bounds in circuit complexity can be leveraged to establish such tradeoffs in proof complexity.


title: Broadband Terahertz Quantum Cascade Laser Dual-Comb Sources with Off-Resonant Microwave Injection

abstract: Broadband dual-comb spectroscopy has attracted increasing interests due to its unique advantages in high spectral resolution, fast detection, and so on. Although the dual-comb technique is relatively mature in the infrared wavelengths, it is, currently, not commercially capable of practical applications in the terahertz regime due to the lack of high performance broadband terahertz dual-comb sources. In the terahertz frequency range, the electrically pumped quantum cascade laser (QCL) is a suitable candidate for the dual-comb operation. However, free running terahertz QCL dual-comb sources normally show limited optical bandwidths ($\sim$100-200 GHz). Although the resonant microwave injection locking has been widely used to broaden the emission spectra of terahertz QCLs by modulating the laser drive current at the cavity round-trip frequency, it is hard to be employed to broaden the dual-comb bandwidths due to the large phase noise induced by the resonant injection and non-ideal microwave circuits. Therefore, it is challenging to obtain broadband terahertz dual-comb sources that can fully exploits the laser gain bandwidth. Here, we employ an off-resonant microwave injection to significantly broaden the dual-comb bandwidth of a terahertz QCL dual-comb source emitting around 4.2 THz. The measured optical dual-comb bandwidth is broadened from 147 GHz in free running to $>$450 GHz under the off-resonant injection. The broadened dual-comb bandwidth is experimentally proved by the transmission measurements of a filter and a GaAs etalon. By performing a simple numerical analysis based on a rate equation model, we explain that the broadband dual-comb operation under the off-resonant microwave injection could be resulted from a wider lasing bandwidth and a higher degree of phase matching.


title: A Koopman Operator Tutorial with Othogonal Polynomials

abstract: The Koopman Operator (KO) offers a promising alternative methodology to solve ordinary differential equations analytically. The solution of the dynamical system is analyzed in terms of observables, which are expressed as a linear combination of the eigenfunctions of the system. Coefficients are evaluated via the Galerkin method, using Legendre polynomials as a set of orthogonal basis functions. This tutorial provides a detailed analysis of the Koopman theory, followed by a rigorous explanation of the KO implementation in a computer environment, where a line-by-line description of a MATLAB code solves the Duffing oscillator application.


title: Quantum homotopy perturbation method for nonlinear dissipative ordinary differential equations

abstract: While quantum computing provides an exponential advantage in solving linear differential equations, there are relatively few quantum algorithms for solving nonlinear differential equations. In our work, based on the homotopy perturbation method, we propose a quantum algorithm for solving $n$-dimensional nonlinear dissipative ordinary differential equations (ODEs). Our algorithm first converts the original nonlinear ODEs into the other nonlinear ODEs which can be embedded into finite-dimensional linear ODEs. Then we solve the embedded linear ODEs with quantum linear ODEs algorithm and obtain a state $\epsilon$-close to the normalized exact solution of the original nonlinear ODEs with success probability $\Omega(1)$. The complexity of our algorithm is $O(g\eta T{\rm poly}(\log(nT/\epsilon)))$, where $\eta$, $g$ measure the decay of the solution. Our algorithm provides exponential improvement over the best classical algorithms or previous quantum algorithms in $n$ or $\epsilon$.


title: Observation of spin-splitter torque in collinear antiferromagnetic RuO$_2$

abstract: The spin-splitter effect is theoretically predicted to generate an unconventional spin current with $\mathit{x}$- and $\mathit{z}$- spin polarization via the spin-split band in antiferromagnets. The generated torque, namely spin-splitter torque, is effective for the manipulation of magnetization in an adjacent magnetic layer without an external magnetic field for spintronic devices such as MRAM. Here, we study the generation of torque in collinear antiferromagnetic RuO$_2$ with (100), (101), and (001) crystal planes. Next we find all $\mathit{x}$-, $\mathit{y}$-, and $\mathit{z}$-polarized spin currents depending on the N\'{e}el vector direction in RuO$_2$(101). For RuO$_2$(100) and (001), only $\mathit{y}$-polarized spin current was present, which is independent of the N\'{e}el vector. Using the $\mathit{z}$-polarized spin currents, we demonstrate field-free switching of the perpendicular magnetized ferromagnet at room temperature. The spin-splitter torque generated from RuO$_2$ is verified to be useful for the switching phenomenon and paves the way for a further understanding of the detailed mechanism of the spin-splitter effect and for developing antiferromagnetic spin-orbitronics.


title: Exploring latent networks in resting-state fMRI using voxel-to-voxel causal modeling feature selection

abstract: Functional networks characterize the coordinated neural activity observed by functional neuroimaging. The prevalence of different networks during resting state periods provide useful features for predicting the trajectory of neurodegenerative diseases. Techniques for network estimation rely on statistical correlation or dependence between voxels. Due to the large number of voxels, rather than consider the voxel-to-voxel correlations between all voxels, a small set of seed voxels are chosen. Consequently, the network identification may depend on the selected seeds. As an alternative, we propose to fit first-order linear models with sparse priors on the coefficients to model activity across the entire set of cortical grey matter voxels as a linear combination of a smaller subset of voxels. We propose a two-stage algorithm for voxel subset selection that uses different sparsity-inducing regularization approaches to identify subject-specific causally predictive voxels. To reveal the functional networks among these voxels, we then apply independent component analysis (ICA) to model these voxels' signals as a mixture of latent sources each defining a functional network. Based on the inter-subject similarity of the sources' spatial patterns we identify independent sources that are well-matched across subjects but fail to match the independent sources from a group-based ICA. These are resting state networks, common across subjects that group ICA does not reveal. These complementary networks could help to better identify neurodegeneration, a task left for future work.


title: Deep Learning based Urban Vehicle Trajectory Analytics

abstract: A `trajectory' refers to a trace generated by a moving object in geographical spaces, usually represented by of a series of chronologically ordered points, where each point consists of a geo-spatial coordinate set and a timestamp. Rapid advancements in location sensing and wireless communication technology enabled us to collect and store a massive amount of trajectory data. As a result, many researchers use trajectory data to analyze mobility of various moving objects. In this dissertation, we focus on the `urban vehicle trajectory,' which refers to trajectories of vehicles in urban traffic networks, and we focus on `urban vehicle trajectory analytics.' The urban vehicle trajectory analytics offers unprecedented opportunities to understand vehicle movement patterns in urban traffic networks including both user-centric travel experiences and system-wide spatiotemporal patterns. The spatiotemporal features of urban vehicle trajectory data are structurally correlated with each other, and consequently, many previous researchers used various methods to understand this structure. Especially, deep-learning models are getting attentions of many researchers due to its powerful function approximation and feature representation abilities. As a result, the objective of this dissertation is to develop deep-learning based models for urban vehicle trajectory analytics to better understand the mobility patterns of urban traffic networks. Particularly, this dissertation focuses on two research topics, which has high necessity, importance and applicability: Next Location Prediction, and Synthetic Trajectory Generation. In this study, we propose various novel models for urban vehicle trajectory analytics using deep learning.


title: Deep-Learning Inversion Method for the Interpretation of Noisy Logging-While-Drilling Resistivity Measurements

abstract: Deep Learning (DL) inversion is a promising method for real time interpretation of logging while drilling (LWD) resistivity measurements for well navigation applications. In this context, measurement noise may significantly affect inversion results. Existing publications examining the effects of measurement noise on DL inversion results are scarce. We develop a method to generate training data sets and construct DL architectures that enhance the robustness of DL inversion methods in the presence of noisy LWD resistivity measurements. We use two synthetic resistivity models to test three approaches that explicitly consider the presence of noise: (1) adding noise to the measurements in the training set, (2) augmenting the training set by replicating it and adding varying noise realizations, and (3) adding a noise layer in the DL architecture. Numerical results confirm that the three approaches produce a denoising effect, yielding better inversion results in both predicted earth model and measurements compared not only to the basic DL inversion but also to traditional gradient based inversion results. A combination of the second and third approaches delivers the best results. The proposed methods can be readily generalized to multi dimensional DL inversion.


title: Improving cosmological constraints from galaxy cluster number counts with CMB-cluster-lensing data: Results from the SPT-SZ survey and forecasts for the future

abstract: We show the improvement to cosmological constraints from galaxy cluster surveys with the addition of CMB-cluster lensing data. We explore the cosmological implications of adding mass information from the 3.1$\sigma$ detection of gravitational lensing of the cosmic microwave background (CMB) by galaxy clusters to the Sunyaev-Zel'dovich (SZ) selected galaxy cluster sample from the 2500 deg$^2$ SPT-SZ survey and targeted optical and X-ray followup data. In the $\Lambda$CDM model, the combination of the cluster sample with the Planck power spectrum measurements prefers $\sigma_8 \left(\Omega_m/0.3 \right)^{0.5} = 0.831 \pm 0.020$. Adding the cluster data reduces the uncertainty on this quantity by a factor of 1.4, which is unchanged whether or not the 3.1$\sigma$ CMB-cluster lensing measurement is included. We then forecast the impact of CMB-cluster lensing measurements with future cluster catalogs. Adding CMB-cluster lensing measurements to the SZ cluster catalog of the on-going SPT-3G survey is expected to improve the expected constraint on the dark energy equation of state $w$ by a factor of 1.3 to $\sigma(w) = 0.19$. We find the largest improvements from CMB-cluster lensing measurements to be for $\sigma_8$, where adding CMB-cluster lensing data to the cluster number counts reduces the expected uncertainty on $\sigma_8$ by factors of 2.4 and 3.6 for SPT-3G and CMB-S4 respectively.


title: Finding Optimal Tangent Points for Reducing Distortions of Hard-label Attacks

abstract: One major problem in black-box adversarial attacks is the high query complexity in the hard-label attack setting, where only the top-1 predicted label is available. In this paper, we propose a novel geometric-based approach called Tangent Attack (TA), which identifies an optimal tangent point of a virtual hemisphere located on the decision boundary to reduce the distortion of the attack. Assuming the decision boundary is locally flat, we theoretically prove that the minimum $\ell_2$ distortion can be obtained by reaching the decision boundary along the tangent line passing through such tangent point in each iteration. To improve the robustness of our method, we further propose a generalized method which replaces the hemisphere with a semi-ellipsoid to adapt to curved decision boundaries. Our approach is free of pre-training. Extensive experiments conducted on the ImageNet and CIFAR-10 datasets demonstrate that our approach can consume only a small number of queries to achieve the low-magnitude distortion. The implementation source code is released online at https://github.com/machanic/TangentAttack.


title: Pressure metrics for cusped Hitchin components

abstract: We study the cusped Hitchin component consisting of (conjugacy classes of) cusped Hitchin representations of a torsion-free geometrically finite Fuchsian group into PSL(d,R). We produce pressure metrics associated to the first fundamental weight and the first simple root. When $d=3$ we produce a pressure metric associated to the Hilbert length, which is new even when the Fuchsian group is cocompact.


title: Federated Learning for Internet of Things: Applications, Challenges, and Opportunities

abstract: Billions of IoT devices will be deployed in the near future, taking advantage of faster Internet speed and the possibility of orders of magnitude more endpoints brought by 5G/6G. With the growth of IoT devices, vast quantities of data that may contain users' private information will be generated. The high communication and storage costs, mixed with privacy concerns, will increasingly challenge the traditional ecosystem of centralized over-the-cloud learning and processing for IoT platforms. Federated Learning (FL) has emerged as the most promising alternative approach to this problem. In FL, training data-driven machine learning models is an act of collaboration between multiple clients without requiring the data to be brought to a central point, hence alleviating communication and storage costs and providing a great degree of user-level privacy. However, there are still some challenges existing in the real FL system implementation on IoT networks. In this paper, we will discuss the opportunities and challenges of FL in IoT platforms, as well as how it can enable diverse IoT applications. In particular, we identify and discuss seven critical challenges of FL in IoT platforms and highlight some recent promising approaches towards addressing them.


title: Distribution-Free Model for Community Detection

abstract: Community detection for unweighted networks has been widely studied in network analysis, but the case of weighted networks remains a challenge. This paper proposes a general Distribution-Free Model (DFM) for weighted networks in which nodes are partitioned into different communities. DFM can be seen as a generalization of the famous stochastic blockmodels from unweighted networks to weighted networks. DFM does not require prior knowledge of a specific distribution for elements of the adjacency matrix but only the expected value. In particular, signed networks with latent community structures can be modeled by DFM. We build a theoretical guarantee to show that a simple spectral clustering algorithm stably yields consistent community detection under DFM. We also propose a four-step data generation process to generate adjacency matrices with missing edges by combining DFM, noise matrix, and a model for unweighted networks. Using experiments with simulated and real datasets, we show that some benchmark algorithms can successfully recover community membership for weighted networks generated by the proposed data generation process.


title: Rigidity results with curvature conditions from Lichnerowicz Laplacian and applications

abstract: In this paper, we show several rigidity results of harmonic tensors in terms of Lichnerowicz Laplacians. These are obtained mainly from the method of controlling the curvature term of Lichnerowicz Laplacians due to P. Petersen and M. Wink in \cite{PW21}. Geometric applications on several classes of Riemannian manifolds including Einstein manifolds and immersed submanifolds are provided.


title: The limit of mesoscopic one-way fluxes in a nonequilibrium chemical reaction with complex mechanism

abstract: Peng et al.(2020) formulated one-way fluxes for a general chemical reaction far from equilibrium, with arbitrary complex mechanisms, multiple intermediates, and internal kinetic cycles. Species are classified into internal Y's and external X's. They defined the limit of mesoscopic one-way fluxes when the volume of the tank reactor tends to infinity as macroscopic one-way fluxes, but a rigorous proof of the existence of this limit is still awaiting. In this article, we fill this gap under a mild hypothesis: the Markov chain associated with the chemical master equation has finite states and any two rows in the stoichiometric matrices for the internal species Y's are not identical. In fact, an explicit expression of the limit is obtained.


title: Reinforcement-learning-based control of confined cylinder wakes with stability analyses

abstract: This work studies the application of a reinforcement-learning-based (RL) flow control strategy to the flow past a cylinder confined between two walls in order to suppress vortex shedding. The control action is blowing and suction of two synthetic jets on the cylinder. The theme of this study is to investigate how to use and embed physical information of the flow in the RL-based control. First, global linear stability and sensitivity analyses based on the time-mean flow and the steady flow (which is a solution to the Navier-Stokes equations) are conducted in a range of blockage ratios and Reynolds numbers. It is found that the most sensitive region in the wake extends itself when either parameter increases in the parameter range we investigated here. Then, we utilise these physical results to help design RL-based control policies. We find that the controlled wake converges to the unstable steady base flow, where the vortex shedding can be successfully suppressed. A persistent oscillating control seems necessary to maintain this unstable state. The RL algorithm is able to outperform a gradient-based optimisation method (optimised in a certain period of time) in the long run. Furthermore, when the flow stability information is embedded in the reward function to penalise the instability, the controlled flow may become more stable. Finally, according to the sensitivity analyses, the control is most efficient when the probes are placed in the most sensitive region. The control can be successful even when few probes are properly placed in this manner.


title: Reinforcement Learning of Self Enhancing Camera Image and Signal Processing

abstract: Current camera image and signal processing pipelines (ISPs), including deep-trained versions, tend to apply a single filter that is uniformly applied to the entire image. This is despite the fact that most acquired camera images have spatially heterogeneous artifacts. This spatial heterogeneity manifests itself across the image space as varied Moire ringing, motion-blur, color-bleaching, or lens-based projection distortions. Moreover, combinations of these image artifacts can be present in small or large pixel neighborhoods, within an acquired image. Here, we present a deep reinforcement learning model that works in learned latent subspaces, and recursively improves camera image quality through a patch-based spatially adaptive artifact filtering and image enhancement. Our \textit{Recursive Self Enhancement Reinforcement Learning}(RSE-RL) model views the identification and correction of artifacts as a recursive self-learning and self-improvement exercise and consists of two major sub-modules: (i) The latent feature sub-space clustering/grouping obtained through variational auto-encoders enabling rapid identification of the correspondence and discrepancy between noisy and clean image patches. (ii) The adaptive learned transformation is controlled by a soft actor-critic agent that progressively filters and enhances the noisy patches using its closest feature distance neighbors of clean patches. Artificial artifacts that may be introduced in a patch-based ISP, are also removed through a reward-based de-blocking recovery and image enhancement. We demonstrate the self-improvement feature of our model by recursively training and testing on images, wherein the enhanced images resulting from each epoch provide a natural data augmentation and robustness to the RSE-RL training-filtering pipeline. Our method shows advantage for heterogeneous noise and artifact removal.


title: Distributionally Robust Expected Residual Minimization for Stochastic Variational Inequality Problems

abstract: The stochastic variational inequality problem (SVIP) is an equilibrium model that includes random variables and has been widely applied in various fields such as economics and engineering. Expected residual minimization (ERM) is an established model for obtaining a reasonable solution for the SVIP, and its objective function is an expected value of a suitable merit function for the SVIP. However, the ERM is restricted to the case where the distribution is known in advance. We extend the ERM to ensure the attainment of robust solutions for the SVIP under the uncertainty distribution (the extended ERM is referred to as distributionally robust expected residual minimization (DRERM), where the worst-case distribution is derived from the set of probability measures in which the expected value and variance take the same sample mean and variance, respectively). Under suitable assumptions, we demonstrate that the DRERM can be reformulated as a deterministic convex nonlinear semidefinite programming to avoid numerical integration.


title: Symplectic rational blow-ups on rational 4-manifolds

abstract: We prove that if a symplectic 4-manifold $X$ becomes a rational 4-manifold after applying rational blow-down surgery, then the symplectic 4-manifold $X$ is originally rational. That is, a symplectic rational blow-up of a rational symplectic $4$-manifold is again rational. As an application we show that a degeneration of a family of smooth rational complex surfaces is a rational surface if the degeneration has at most quotient surface singularities, which generalizes slightly a classical result of [B\u{a}descu, 1986] in algebraic geometry under a mild additional condition.


title: Oscillating gravitational potential due to ultralight axion: linear theory

abstract: We derive oscillating gravitational potential caused by an ultralight axion as the cosmic dark matter, assuming the Compton wavelength smaller than the horizon scale. A new oscillatory term is found which dominates the previously known one on scales larger than the quantum Jeans-scale. In the context of linear perturbations in cosmology this new term might be more relevant in future observation. Both the quantum stress in density perturbation and the quantum oscillation of the gravitational potential are derived in the zero-shear gauge. We show that the axion fluid in relativistic analysis is quite different from the relativistic and Newtonian zero-pressure fluids, corresponding to Newtonian fluid only in the density perturbation. The consistency demands the relativistic analysis valid on scales larger than the Compton wavelength.


title: Measuring Outcomes in Healthcare Economics using Artificial Intelligence: with Application to Resource Management

abstract: The quality of service in healthcare is constantly challenged by outlier events such as pandemics (i.e. Covid-19) and natural disasters (such as hurricanes and earthquakes). In most cases, such events lead to critical uncertainties in decision making, as well as in multiple medical and economic aspects at a hospital. External (geographic) or internal factors (medical and managerial), lead to shifts in planning and budgeting, but most importantly, reduces confidence in conventional processes. In some cases, support from other hospitals proves necessary, which exacerbates the planning aspect. This manuscript presents three data-driven methods that provide data-driven indicators to help healthcare managers organize their economics and identify the most optimum plan for resources allocation and sharing. Conventional decision-making methods fall short in recommending validated policies for managers. Using reinforcement learning, genetic algorithms, traveling salesman, and clustering, we experimented with different healthcare variables and presented tools and outcomes that could be applied at health institutes. Experiments are performed; the results are recorded, evaluated, and presented.


title: Computing Euclidean Belyi maps

abstract: We exhibit an explicit algorithm to compute three-point branched covers of the complex projective line when the uniformizing triangle group is Euclidean.


title: A Survey on AI Assurance

abstract: Artificial Intelligence (AI) algorithms are increasingly providing decision making and operational support across multiple domains. AI includes a wide library of algorithms for different problems. One important notion for the adoption of AI algorithms into operational decision process is the concept of assurance. The literature on assurance, unfortunately, conceals its outcomes within a tangled landscape of conflicting approaches, driven by contradicting motivations, assumptions, and intuitions. Accordingly, albeit a rising and novel area, this manuscript provides a systematic review of research works that are relevant to AI assurance, between years 1985 - 2021, and aims to provide a structured alternative to the landscape. A new AI assurance definition is adopted and presented and assurance methods are contrasted and tabulated. Additionally, a ten-metric scoring system is developed and introduced to evaluate and compare existing methods. Lastly, in this manuscript, we provide foundational insights, discussions, future directions, a roadmap, and applicable recommendations for the development and deployment of AI assurance.


title: Facilitating Satellite-Airborne-Balloon-Terrestrial Integration for Dynamic and Infrastructure-less Networks

abstract: This magazine investigates the potential enhancement of the data throughput of ground users by integrating ground base stations (GBS) with air stations, such as balloon, airborne, and satellite. The objective is to establish dynamic bi-directional wireless services (i.e., uplink and downlink) for ground users in congested and remote areas. The proposed integration involves satellite, high-altitude platforms (HAPs), and tethered balloons (TBs) in the exosphere, stratosphere, and troposphere, respectively, for better altitude reuse coupled with emerging optical or other high-frequency directional transceivers. This will lead to a significant enhancement in scarce spectrum aggregate efficiency. However, the air stations deployment and resource managements in this integrated system faces difficulties. This article tackles resource management challenges by (i) providing wireless services to ground users in remote areas and connecting them with metropolitan and rural areas and (ii) employing HAPs equipped with free-space-optical communication modules as back-hauling backbones. Finally, we illustrate some numerical results to show the benefit of our proposed integrated system.


title: Convergence and Equilibria Analysis of a Networked Bivirus Epidemic Model

abstract: This paper studies a networked bivirus model, in which two competing viruses spread across a network of interconnected populations; each node represents a population with a large number of individuals. The viruses may spread through possibly different network structures, and an individual cannot be simultaneously infected with both viruses. Focusing on convergence and equilibria analysis, a number of new results are provided. First, we show that for networks with generic system parameters, there exist a finite number of equilibria. Exploiting monotone systems theory, we further prove that for bivirus networks with generic system parameters, then convergence to an equilibrium occurs for all initial conditions, except possibly for a set of measure zero. Given the network structure of one virus, a method is presented to construct an infinite family of network structures for the other virus that results in an infinite number of equilibria in which both viruses coexist. Necessary and sufficient conditions are derived for the local stability/instability of boundary equilibria, in which one virus is present and the other is extinct. A sufficient condition for a boundary equilibrium to be almost globally stable is presented. Then, we show how to use monotone systems theory to generate conclusions on the ordering of stable and unstable equilibria, and in some instances identify the number of equilibria via rapid simulation testing. Last, we provide an analytical method for computing equilibria in networks with only two nodes, and show that it is possible for a bivirus network to have an unstable coexistence equilibrium and two locally stable boundary equilibria.


title: Public Policymaking for International Agricultural Trade using Association Rules and Ensemble Machine Learning

abstract: International economics has a long history of improving our understanding of factors causing trade, and the consequences of free flow of goods and services across countries. The recent shocks to the free trade regime, especially trade disputes among major economies, as well as black swan events, such as trade wars and pandemics, raise the need for improved predictions to inform policy decisions. AI methods are allowing economists to solve such prediction problems in new ways. In this manuscript, we present novel methods that predict and associate food and agricultural commodities traded internationally. Association Rules (AR) analysis has been deployed successfully for economic scenarios at the consumer or store level, such as for market basket analysis. In our work however, we present analysis of imports and exports associations and their effects on commodity trade flows. Moreover, Ensemble Machine Learning methods are developed to provide improved agricultural trade predictions, outlier events' implications, and quantitative pointers to policy makers.


title: On the numerical evaluation of the prolate spheroidal wave functions of order zero

abstract: We describe a method for the numerical evaluation of the angular prolate spheroidal wave functions of the first kind of order zero. It is based on the observation that underlies the WKB method, namely that many second order differential equations admit solutions whose logarithms can be represented much more efficiently than the solutions themselves. However, rather than exploiting this fact to construct asymptotic expansions of the prolate spheroidal wave functions, our algorithm operates by numerically solving the Riccati equation satisfied by their logarithms. Its running time grows much more slowly with bandlimit and characteristic exponent than standard algorithms. We illustrate this and other properties of our algorithm with numerical experiments.


title: An $\mathcal{O}\left(1\right)$ algorithm for the numerical evaluation of the Sturm-Liouville eigenvalues of the spheroidal wave functions of order zero

abstract: In addition to being the eigenfunctions of the restricted Fourier operator, the angular spheroidal wave functions of the first kind of order zero and nonnegative integer characteristic exponents are the solutions of a singular self-adjoint Sturm-Liouville problem. The running time of the standard algorithm for the numerical evaluation of their Sturm-Liouville eigenvalues grows with both bandlimit and characteristic exponent. Here, we describe a new approach whose running time is bounded independent of these parameters. Although the Sturm-Liouville eigenvalues are of little interest themselves, our algorithm is a component of a fast scheme for the numerical evaluation of the prolate spheroidal wave functions developed by one of the authors. We illustrate the performance of our method with numerical experiments.


title: Lifelong Vehicle Trajectory Prediction Framework Based on Generative Replay

abstract: Accurate trajectory prediction of vehicles is essential for reliable autonomous driving. To maintain consistent performance as a vehicle driving around different cities, it is crucial to adapt to changing traffic circumstances and achieve lifelong trajectory prediction model. To realize it, catastrophic forgetting is a main problem to be addressed. In this paper, a divergence measurement method based on conditional Kullback-Leibler divergence is proposed first to evaluate spatiotemporal dependency difference among varied driving circumstances. Then based on generative replay, a novel lifelong vehicle trajectory prediction framework is developed. The framework consists of a conditional generation model and a vehicle trajectory prediction model. The conditional generation model is a generative adversarial network conditioned on position configuration of vehicles. After learning and merging trajectory distribution of vehicles across different cities, the generation model replays trajectories with prior samplings as inputs, which alleviates catastrophic forgetting. The vehicle trajectory prediction model is trained by the replayed trajectories and achieves consistent prediction performance on visited cities. A lifelong experiment setup is established on four open datasets including five tasks. Spatiotemporal dependency divergence is calculated for different tasks. Even though these divergence, the proposed framework exhibits lifelong learning ability and achieves consistent performance on all tasks.


title: Scalable Intervention Target Estimation in Linear Models

abstract: This paper considers the problem of estimating the unknown intervention targets in a causal directed acyclic graph from observational and interventional data. The focus is on soft interventions in linear structural equation models (SEMs). Current approaches to causal structure learning either work with known intervention targets or use hypothesis testing to discover the unknown intervention targets even for linear SEMs. This severely limits their scalability and sample complexity. This paper proposes a scalable and efficient algorithm that consistently identifies all intervention targets. The pivotal idea is to estimate the intervention sites from the difference between the precision matrices associated with the observational and interventional datasets. It involves repeatedly estimating such sites in different subsets of variables. The proposed algorithm can be used to also update a given observational Markov equivalence class into the interventional Markov equivalence class. Consistency, Markov equivalency, and sample complexity are established analytically. Finally, simulation results on both real and synthetic data demonstrate the gains of the proposed approach for scalable causal structure recovery. Implementation of the algorithm and the code to reproduce the simulation results are available at \url{https://github.com/bvarici/intervention-estimation}.


title: A Comparative Study on Basic Elements of Deep Learning Models for Spatial-Temporal Traffic Forecasting

abstract: Traffic forecasting plays a crucial role in intelligent transportation systems. The spatial-temporal complexities in transportation networks make the problem especially challenging. The recently suggested deep learning models share basic elements such as graph convolution, graph attention, recurrent units, and/or attention mechanism. In this study, we designed an in-depth comparative study for four deep neural network models utilizing different basic elements. For base models, one RNN-based model and one attention-based model were chosen from previous literature. Then, the spatial feature extraction layers in the models were substituted with graph convolution and graph attention. To analyze the performance of each element in various environments, we conducted experiments on four real-world datasets - highway speed, highway flow, urban speed from a homogeneous road link network, and urban speed from a heterogeneous road link network. The results demonstrate that the RNN-based model and the attention-based model show a similar level of performance for short-term prediction, and the attention-based model outperforms the RNN in longer-term predictions. The choice of graph convolution and graph attention makes a larger difference in the RNN-based models. Also, our modified version of GMAN shows comparable performance with the original with less memory consumption.


title: New experimental results on light and heavy hadrons

abstract: We review the experimental progress on the study of light and heavy hadrons and focus on recent discoveries of the XYZ states, pentaquark states, $T_{cs}$ and $T_{cc}$ states in the heavy hadron sector, and on the $\pi_1(1600)$ and the states close to the $p\bar{p}$ threshold in the light hadron sector. The observations suggest that we did observe hadronic molecules and we also observed hadronic states with some other quark configurations.


title: Upper bound of the charge diffusion constant in holography

abstract: We investigate the upper bound of charge diffusion constant in holography. For this purpose, we apply the conjectured upper bound proposal related to the equilibration scales ($\omega_{\text{eq}}, k_{\text{eq}}$) to the Einstein-Maxwell-Axion model. ($\omega_{\text{eq}}, k_{\text{eq}}$) is defined as the collision point between the diffusive hydrodynamic mode and the first non-hydrodynamic mode, giving rise to the upper bound of the diffusion constant $D$ at low temperature $T$ as $D = \omega_{\text{eq}}/k_{\text{eq}}^2$. We show that the upper bound proposal also works for the charge diffusion and ($\omega_{\text{eq}}, k_{\text{eq}}$), at low $T$, is determined by $D$ and the scaling dimension $\Delta(0)$ of an infra-red operator as $(\omega_{\text{eq}}, \, k_{\text{eq}}^2) \,=\, (2 \pi T \Delta(0) \,, \omega_{\text{eq}}/D)$, as for other diffusion constants. However, for the charge diffusion, we find that the collision occurs at real $k_{\text{eq}}$, while it is complex for other diffusions. In order to examine the universality of the conjectured upper bound, we also introduce a higher derivative coupling to the Einstein-Maxwell-Axion model. This coupling is particularly interesting since it leads to the violation of the \textit{lower} bound of the charge diffusion constant so the correction may also have effects on the \textit{upper} bound of the charge diffusion. We find that the higher derivative coupling does not affect the upper bound so that the conjectured upper bound would not be easily violated.


title: Evolutionary Dynamics of Social Inequality and Coincidence of Gini and Kolkata indices under Unrestricted Competition

abstract: Social inequalities are ubiquitous and here we show that the values of the Gini ($g$) and Kolkata ($k$) indices, two generic inequality indices, approach each other (starting from $g = 0$ and $k = 0.5$ for equality) as the competitions grow in various social institutions like markets, universities, elections, etc. It is further showed that these two indices become equal and stabilize at a value (at $g = k \simeq 0.87$) under unrestricted competitions. We propose to view this coincidence of inequality indices as a generalized version of the (more than a) century old 80-20 law of Pareto. Furthermore, the coincidence of the inequality indices noted here is very similar to the ones seen before for self-organized critical (SOC) systems. The observations here, therefore, stand as a quantitative support towards viewing interacting socio-economic systems in the framework of SOC, an idea conjectured for years.


title: Correlation Improves Group Testing: Capturing the Dilution Effect

abstract: Population-wide screening to identify and isolate infectious individuals is a powerful tool for controlling COVID-19 and other infectious diseases. Group testing can enable such screening despite limited testing resources. Samples' viral loads are often positively correlated, either because prevalence and sample collection are both correlated with geography, or through intentional enhancement, e.g., by pooling samples from people in similar risk groups. Such correlation is known to improve test efficiency in mathematical models with fixed sensitivity. In reality, however, dilution degrades a pooled test's sensitivity by an amount that varies with the number of positives in the pool. In the presence of this dilution effect, we study the impact of correlation on the most widely-used group testing procedure, the Dorfman procedure. We show that correlation's effects are significantly altered by the dilution effect. We prove that under a general correlation structure, pooling correlated samples together (called correlated pooling) achieves higher sensitivity but can degrade test efficiency compared to independently pooling the samples (called naive pooling) using the same pool size. We identify an alternative measure of test resource usage, the number of positives found per test consumed, which we argue is better aligned with infection control, and show that correlated pooling outperforms naive pooling on this measure. We build a realistic agent-based simulation to contextualize our theoretical results within an epidemic control framework. We argue that the dilution effect makes it even more important for policy-makers evaluating group testing protocols for large-scale screening to incorporate naturally arising correlation and to intentionally maximize correlation.


title: Time-Frequency Attention for Monaural Speech Enhancement

abstract: Most studies on speech enhancement generally don't consider the energy distribution of speech in time-frequency (T-F) representation, which is important for accurate prediction of mask or spectra. In this paper, we present a simple yet effective T-F attention (TFA) module, where a 2-D attention map is produced to provide differentiated weights to the spectral components of T-F representation. To validate the effectiveness of our proposed TFA module, we use the residual temporal convolution network (ResTCN) as the backbone network and conduct extensive experiments on two commonly used training targets. Our experiments demonstrate that applying our TFA module significantly improves the performance in terms of five objective evaluation metrics with negligible parameter overhead. The evaluation results show that the proposed ResTCN with the TFA module (ResTCN+TFA) consistently outperforms other baselines by a large margin.


title: ILM gluons in perturbative QCD

abstract: In this paper we extend our previous work on gluon propagator in the Instanton Liquid Model (ILM) of the QCD vacuum. This objects presents a lot of interest for studies of the heavy quarkonium $Q\bar Q$ observables in the framework of potential Nonrelativistic QCD (pNRQCD). Our goal is to evaluate the gluon polarization operator in ILM, and understand if it gets contributions from infrared (IR) renormalons. We perform a systematic analyis, taking into account both perturbative and nonperturbative effects, and making a double series expansion in terms of the strong coupling $\alpha_s(\rho)\sim 0.5$ (the scale is given by average instanton size $\rho\approx1/3$ fm) and the instanton gas packing fraction $\lambda=\rho^4/R^4\sim 0.01$ ($R\approx 1$ fm is average inter-instanton distance). We demonstrate that there are no IR renormalon related to ILM gluon propagator, since instantons generate a ILM gluon dynamical mass.


title: Introducing Services and Protocols for Inter-Hub Transportation in the Physical Internet

abstract: The Physical Internet (PI) puts high emphasis on enabling logistics to reliably perform at the speed mandated by and promised to customers, and to do so efficiently and sustainably. To do so, goods to be moved are encapsulated in modular containers and these are flowed from hub to hub in relay mode. At each hub, PI enables fast and efficient dynamic consolidation of sets of containers to be shipped together to next hubs. Each consolidated set is assigned to an appropriate vehicle so to enact the targeted transport. In this paper, we address the case where transportation service providers are available to provide vehicles and trailers of distinct dimensions on demand according to openly agreed and/or contracted terms. We describe the essence of such terms, notably relative to expected frequency distribution of transport requests, and expectations about time between request and arrival at hub. In such a context, we introduce rigorous generic protocols that can be applied at each hub so as to dynamically generate consolidation sets of modular containers and requests for on-demand transportation services, in an efficient, resilient, and sustainable way ensuring reliable pickup and delivery within the promised time windows. We demonstrate the performance of such protocols using a simulation-based experiment for a national intercity express parcel logistic network. We finally provide conclusive remarks and promising avenues for field implementation and further research.


title: Quantum critical fluctuations in an Fe-based superconductor

abstract: Quantum critical fluctuations may prove to play an instrumental role in the formation of unconventional superconductivity. Here, we show that the characteristic scaling of a marginal Fermi liquid is present in inelastic light scattering data of an Fe-based superconductor tuned through a quantum critical point (QCP) by chemical substitution or doping. From the doping dependence of the imaginary time dynamics we are able to distinguish regions dominated by quantum critical behavior from those having classical critical responses. This dichotomy reveals a connection between the marginal Fermi liquid behavior and quantum criticality. In particular, the overlap between regions of high superconducting transition temperatures and quantum critical scaling suggests a contribution from quantum fluctuations to the formation of superconductivity.


title: Extension of the value function reformulation to multiobjective bilevel optimization

abstract: We consider a multiobjective bilevel optimization problem with vector-valued upper- and lower-level objective functions. Such problems have attracted a lot of interest in recent years. However, so far, scalarization has appeared to be the main approach used to deal with the lower-level problem. Here, we utilize the concept of frontier map that extends the notion of optimal value function to our parametric multiobjective lower-level problem. Based on this, we build a tractable constraint qualification that we use to derive necessary optimality conditions for the problem. Subsequently, we show that our resulting necessary optimality conditions represent a natural extension from standard optimistic bilevel programs with scalar objective functions.


title: Distortion Reversal in Aperiodic Tilings

abstract: It is proved that homeomorphic images of certain two-dimensional aperiodic tilings, such as Ammann-A2 tilings, are recognizable, in both mathematical and practical senses. One implication of the results is that it is possible to search for distorted aperiodic structures in nature, where they may be hiding in plain sight.


title: PatchGraph: In-hand tactile tracking with learned surface normals

abstract: We address the problem of tracking 3D object poses from touch during in-hand manipulations. Specifically, we look at tracking small objects using vision-based tactile sensors that provide high-dimensional tactile image measurements at the point of contact. While prior work has relied on a-priori information about the object being localized, we remove this requirement. Our key insight is that an object is composed of several local surface patches, each informative enough to achieve reliable object tracking. Moreover, we can recover the geometry of this local patch online by extracting local surface normal information embedded in each tactile image. We propose a novel two-stage approach. First, we learn a mapping from tactile images to surface normals using an image translation network. Second, we use these surface normals within a factor graph to both reconstruct a local patch map and use it to infer 3D object poses. We demonstrate reliable object tracking for over $100$ contact sequences across unique shapes with four objects in simulation and two objects in the real-world. Supplementary video: https://youtu.be/FHks--haOGY


title: Automatic Analysis of Linguistic Features in Journal Articles of Different Academic Impacts with Feature Engineering Techniques

abstract: English research articles (RAs) are an essential genre in academia, so the attempts to employ NLP to assist the development of academic writing ability have received considerable attention in the last two decades. However, there has been no study employing feature engineering techniques to investigate the linguistic features of RAs of different academic impacts (i.e., the papers of high/moderate citation times published in the journals of high/moderate impact factors). This study attempts to extract micro-level linguistic features in high- and moderate-impact journal RAs, using feature engineering methods. We extracted 25 highly relevant features from the Corpus of English Journal Articles through feature selection methods. All papers in the corpus deal with COVID-19 medical empirical studies. The selected features were then validated of the classification performance in terms of consistency and accuracy through supervised machine learning methods. Results showed that 24 linguistic features such as the overlapping of content words between adjacent sentences, the use of third-person pronouns, auxiliary verbs, tense, emotional words provide consistent and accurate predictions for journal articles with different academic impacts. Lastly, the random forest model is shown to be the best model to fit the relationship between these 24 features and journal articles with high and moderate impacts. These findings can be used to inform academic writing courses and lay the foundation for developing automatic evaluation systems for L2 graduate students.


title: A rare phosphorus-rich star in an eclipsing binary from TESS

abstract: Context: Few exoplanets around hot stars with radiative envelopes have been discovered, although new observations from the TESS mission are improving this. Stars with radiative envelopes have little mixing at their surface, and thus their surface abundances provide a sensitive test case for a variety of processes including potentially star-planet interactions. Atomic diffusion is particularly important in these envelopes, producing chemically peculiar objects such as Am and HgMn stars. Aims: An exoplanet candidate around the B6 star HD 235349 was identified by TESS. Here we determine the nature of this transiting object and identify possible chemical peculiarities in the star. Methods: HD 235349 was observed using the long-slit spectrograph at Tartu Observatory, as well as photometrically by the TESS mission. The spectra were modeled to determine stellar parameters and chemical abundances. The photometric light curve was then analyzed in the context of the stellar parameters to determine properties of the transiting object. Results: We find the transiting object is a low-mass stellar companion, not a planet. However, the primary of this eclipsing binary is a rare type of chemically peculiar star. A strong overabundance of P is found with overabundances of Ne and Nd, and mild overabundances of Ti and Mn, while He is mildly underabundant. There is also clear evidence for vertical stratification of P in the atmosphere of the star. The lack of Hg and weak Mn overabundance suggests that this is not a typical HgMn star. It may be in the class of helium-weak phosphorus-gallium (He-weak PGa) stars, or an intermediate between these two classes. Conclusions: We show that HD 235349 is a rare type of chemically peculiar star (He-weak PGa) in an eclipsing binary system with a low-mass stellar companion. This appears to be the first He-weak PGa star discovered in an eclipsing binary.


title: AstroSat observations of long-duration X-ray superflares on active M-dwarf binary EQ Peg

abstract: We present a comprehensive study of three large long-duration flares detected on an active M-dwarf binary EQ Peg using the Soft X-Ray Telescope of the AstroSat observatory. The peak X-ray luminosities of the flares in the 0.3 - 7 keV band are found to be within ~5 - 10 x 10^{30} erg s^{-1}. The e-folding rise- and decay-times of the flares are derived to be in the range of 3.4 - 11 and 1.6 - 24 ks, respectively. Spectral analysis indicates the presence of three temperature corona with the first two plasma temperatures remain constant during all the flares and the post-flare observation at ~3 and ~9 MK. The flare temperature peaked at 26, 16, and 17 MK, which are 2, 1.3, and 1.4 times more than the minimum value, respectively. The peak emission measures are found to be 3.9 - 7.1 x 10^{53} cm^{-3}, whereas the abundances peaked at 0.16-0.26 times the solar abundances. Using quasi-static loop modeling, we derive loop-lengths for all the flares as 2.5+/-0.5 x 10^{11}, 2.0+/-0.5 x 10^{11}, and 2.5+/-0.9 x 10^{11} cm, respectively. The density of the flaring plasma is estimated to be 4.2+/-0.8 x 10^{10}, 3.0+/-0.7 x 10^{10}, 2.2+/-0.8 x 10^{10} cm^{-3) for flares F1, F2, and F3, respectively. Whereas the magnetic field for all three flares is estimated to be <100 G. The estimated energies of all three flares are ~10^{34-35} erg, putting them in a category of superflare. All three superflares are also found to be the longest duration flares ever observed on EQ Peg.


title: Composing Energy Services in a Crowdsourced IoT Environment

abstract: We propose a novel framework for composing crowdsourced wireless energy services to satisfy users' energy requirements in a crowdsourced Internet of Things (IoT) environment. A new energy service model is designed to transform the harvested energy from IoT devices into crowdsourced services. We propose a new energy service composability model that considers the spatio-temporal aspects and the usage patterns of the IoT devices. A multiple local knapsack-based approach is developed to select an optimal set of partial energy services based on the deliverable energy capacity of IoT devices. We propose a heuristic-based composition approach using the temporal and energy capacity distributions of services. Experimental results demonstrate the effectiveness and efficiency of the proposed approach.