BZPEERSource author record
Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.
Catalog footprint
Published work
We present an algorithm to explore various properties of the numerical semigroups with a given maximum primitive. In particular, we count the number of such numerical semigroups and verify that there is no counterexample to Wilf's conjecture among the numerical semigroups with maximum primitive up to 60.
In therapeutic design, balancing various physiochemical properties is crucial for molecule development, similar to how Multiparameter Optimization (MPO) evaluates multiple variables to meet a primary goal. While many molecular features can now be predicted using \textit{in silico} methods, aiding early drug development, the vast data generated from high throughput virtual screening challenges the practicality of traditional MPO approaches. Addressing this, we introduce a scaffold focused graph-based Markov chain Monte Carlo framework (ScaMARS) built to generate molecules with optimal properties. This innovative framework is capable of self-training and handling a wider array of properties, sampling different chemical spaces according to the starting scaffold. The benchmark analysis on several properties shows that ScaMARS has a diversity score of 84.6\% and has a much higher success rate of 99.5\% compared to conditional models. The integration of new features into MPO significantly enhances its adaptability and effectiveness in therapeutic design, facilitating the discovery of candidates that efficiently optimize multiple properties.
With the advent of the Internet of things (IoT) era, more and more devices are connected to the IoT. Under the traditional cloud-thing centralized management mode, the transmission of massive data is facing many difficulties, and the reliability of data is difficult to be guaranteed. As emerging technologies, blockchain technology and edge computing (EC) technology have attracted the attention of academia in improving the reliability, privacy and invariability of IoT technology. In this paper, we combine the characteristics of the EC and blockchain to ensure the reliability of data transmission in the IoT. First of all, we propose a data transmission mechanism based on blockchain, which uses the distributed architecture of blockchain to ensure that the data is not tampered with; secondly, we introduce the three-tier structure in the architecture in turn; finally, we introduce the four working steps of the mechanism, which are similar to the working mechanism of blockchain. In the end, the simulation results show that the proposed scheme can ensure the reliability of data transmission in the Internet of things to a great extent.
Efficient design and discovery of target-driven molecules is a critical step in facilitating lead optimization in drug discovery. Current approaches to develop molecules for a target protein are intuition-driven, hampered by slow iterative design-test cycles due to computational challenges in utilizing 3D structural data, and ultimately limited by the expertise of the chemist - leading to bottlenecks in molecular design. In this contribution, we propose a novel framework, called 3D-MolGNNRL, coupling reinforcement learning (RL) to a deep generative model based on 3D-Scaffold to generate target candidates specific to a protein building up atom by atom from the starting core scaffold. 3D-MolGNNRL provides an efficient way to optimize key features by multi-objective reward function within a protein pocket using parallel graph neural network models. The agent learns to build molecules in 3D space while optimizing the activity, binding affinity, potency, and synthetic accessibility of the candidates generated for infectious disease protein targets. Our approach can serve as an interpretable artificial intelligence (AI) tool for lead optimization with optimized activity, potency, and biophysical properties.
Network virtualization (NV) is a technology with broad application prospects. Virtual network embedding (VNE) is the core orientation of VN, which aims to provide more flexible underlying physical resource allocation for user function requests. The classical VNE problem is usually solved by heuristic method, but this method often limits the flexibility of the algorithm and ignores the time limit. In addition, the partition autonomy of physical domain and the dynamic characteristics of virtual network request (VNR) also increase the difficulty of VNE. This paper proposed a new type of VNE algorithm, which applied reinforcement learning (RL) and graph neural network (GNN) theory to the algorithm, especially the combination of graph convolutional neural network (GCNN) and RL algorithm. Based on a self-defined fitness matrix and fitness value, we set up the objective function of the algorithm implementation, realized an efficient dynamic VNE algorithm, and effectively reduced the degree of resource fragmentation. Finally, we used comparison algorithms to evaluate the proposed method. Simulation experiments verified that the dynamic VNE algorithm based on RL and GCNN has good basic VNE characteristics. By changing the resource attributes of physical network and virtual network, it can be proved that the algorithm has good flexibility.
Emotion recognition technology through analyzing the EEG signal is currently an essential concept in Artificial Intelligence and holds great potential in emotional health care, human-computer interaction, multimedia content recommendation, etc. Though there have been several works devoted to reviewing EEG-based emotion recognition, the content of these reviews needs to be updated. In addition, those works are either fragmented in content or only focus on specific techniques adopted in this area but neglect the holistic perspective of the entire technical routes. Hence, in this paper, we review from the perspective of researchers who try to take the first step on this topic. We review the recent representative works in the EEG-based emotion recognition research and provide a tutorial to guide the researchers to start from the beginning. The scientific basis of EEG-based emotion recognition in the psychological and physiological levels is introduced. Further, we categorize these reviewed works into different technical routes and illustrate the theoretical basis and the research motivation, which will help the readers better understand why those techniques are studied and employed. At last, existing challenges and future investigations are also discussed in this paper, which guides the researchers to decide potential future research directions.
The wireless network communication mode represented by the Internet of vehicles (IoV) has been widely used. However, due to the limitations of traditional network architecture, resource scheduling in wireless network environment is still facing great challenges. This paper focuses on the allocation of bandwidth resources in the virtual network environment. This paper proposes a bandwidth aware multi domain virtual network embedding algorithm (BA-VNE). The algorithm is mainly aimed at the problem that users need a lot of bandwidth in wireless communication mode, and solves the problem of bandwidth resource allocation from the perspective of virtual network embedding (VNE). In order to improve the performance of the algorithm, we introduce particle swarm optimization (PSO) algorithm to optimize the performance of the algorithm. In order to verify the effectiveness of the algorithm, we have carried out simulation experiments from link bandwidth, mapping cost and virtual network request (VNR) acceptance rate. The final results show that the proposed algorithm is better than other representative algorithms in the above indicators.
Charge neutrality and their expected itinerant nature makes excitons potential transmitters of information. However, exciton mobility remains inaccessible to traditional optical experiments that only create and detect excitons with negligible momentum. Here, using angle-resolved photoemission spectroscopy, we detect dispersing excitons in the quasi-one-dimensional metallic trichalcogenide, TaSe3. The low density of conduction electrons and the low dimensionality in TaSe3 combined with a polaronic renormalization of the conduction band and the poorly screened interaction between these polarons and photo-induced valence holes leads to various excitonic bound states that we interpret as intrachain and interchain excitons, and possibly trions. The thresholds for the formation of a photo-hole together with an exciton appear as side valence bands with dispersions nearly parallel to the main valence band, but shifted to lower excitation energies. The energy separation between side and main valence bands can be controlled by surface doping, enabling the tuning of certain exciton properties.
In this paper we have considered the thermodynamics of a Born-Infeld AdS black hole using inputs from the dual boundary field theory. Here, we have varied the cosmological constant Λ and the Newton's gravitational constant G along with the Born-Infeld parameter b in the bulk. A novel universal critical behaviour of the central charge (occurring in the boundary conformal field theory) in extended black hole thermodynamics for charged black holes has been recently observed \cite{mann1}, and we have extended this study to Born-Infeld AdS black holes. The Born-Infeld parameter has the dimension of inverse length, therefore, when considered in the first law of thermodynamics of the bulk in the mixed form which includes the central charge of the boundary conformal field theory, it modifies the thermodynamic volume and the chemical potential (which are conjugate to pressure and central charge respectively). We observe that due to this inclusion of the Born-Infeld non-linearity in this analysis, the universal nature of the critical value of the central charge observed in \cite{mann1} breaks down. We also observe an interesting behaviour of the free energy of the black hole with Hawking temperature due to the variations in both the central charge and the Born-Infeld parameter. It is also observed in our analysis that for a sufficiently small value of the Born-Infeld parameter (small value of this parameter has more prominent non-linear effects), there exists a critical value of the temperature below which no black hole can exist.
Suppose we are given a pair of points s,t and a set S of n geometric objects in the plane, called obstacles. We show that in polynomial time one can construct an auxiliary (multi-)graph G with vertex set S and every edge labeled from {0,1}, such that a set Sd⊆S of obstacles separates s from t if and only if G[Sd] contains a cycle whose sum of labels is odd. Using this structural characterization of separating sets of obstacles we obtain the following algorithmic results. In the Obstacle-Removal problem the task is to find a curve in the plane connecting s to t intersecting at most q obstacles. We give a 2.3146qnO(1) algorithm for Obstacle-Removal, significantly improving upon the previously best known qO(q3)nO(1) algorithm of Eiben and Lokshtanov (SoCG'20). We also obtain an alternative proof of a constant factor approximation algorithm for Obstacle-Removal, substantially simplifying the arguments of Kumar et al. (SODA'21). In the Generalized Points-Separation problem, the input consists of the set S of obstacles, a point set A of k points and p pairs (s1,t1),...(sp,tp) of points from A. The task is to find a minimum subset Sr⊆S such that for every i, every curve from si to ti intersects at least one obstacle in Sr. We obtain 2O(p)nO(k)-time algorithm for Generalized Points-Separation problem. This resolves an open problem of Cabello and Giannopoulos (SoCG'13), who asked about the existence of such an algorithm for the special case where (s1,t1),...(sp,tp) contains all the pairs of points in A. Finally, we improve the running time of our algorithm to f(p,k)nO(k) when the obstacles are unit disks, where f(p,k)=2O(p)kO(k), and show that, assuming the Exponential Time Hypothesis (ETH), the running time dependence on k of our algorithms is essentially optimal.
The development of Intelligent Cyber-Physical Systems (ICPSs) in virtual network environment is facing severe challenges. On the one hand, the Internet of things (IoT) based on ICPSs construction needs a large amount of reasonable network resources support. On the other hand, ICPSs are facing severe network security problems. The integration of ICPSs and network virtualization (NV) can provide more efficient network resource support and security guarantees for IoT users. Based on the above two problems faced by ICPSs, we propose a virtual network embedded (VNE) algorithm with computing, storage resources and security constraints to ensure the rationality and security of resource allocation in ICPSs. In particular, we use reinforcement learning (RL) method as a means to improve algorithm performance. We extract the important attribute characteristics of underlying network as the training environment of RL agent. Agent can derive the optimal node embedding strategy through training, so as to meet the requirements of ICPSs for resource management and security. The embedding of virtual links is based on the breadth first search (BFS) strategy. Therefore, this is a comprehensive two-stage RL-VNE algorithm considering the constraints of computing, storage and security three-dimensional resources. Finally, we design a large number of simulation experiments from the perspective of typical indicators of VNE algorithms. The experimental results effectively illustrate the effectiveness of the algorithm in the application of ICPSs.
Traditional ground wireless communication networks cannot provide high-quality services for artificial intelligence (AI) applications such as intelligent transportation systems (ITS) due to deployment, coverage and capacity issues. The space-air-ground integrated network (SAGIN) has become a research focus in the industry. Compared with traditional wireless communication networks, SAGIN is more flexible and reliable, and it has wider coverage and higher quality of seamless connection. However, due to its inherent heterogeneity, time-varying and self-organizing characteristics, the deployment and use of SAGIN still faces huge challenges, among which the orchestration of heterogeneous resources is a key issue. Based on virtual network architecture and deep reinforcement learning (DRL), we model SAGIN's heterogeneous resource orchestration as a multi-domain virtual network embedding (VNE) problem, and propose a SAGIN cross-domain VNE algorithm. We model the different network segments of SAGIN, and set the network attributes according to the actual situation of SAGIN and user needs. In DRL, the agent is acted by a five-layer policy network. We build a feature matrix based on network attributes extracted from SAGIN and use it as the agent training environment. Through training, the probability of each underlying node being embedded can be derived. In test phase, we complete the embedding process of virtual nodes and links in turn based on this probability. Finally, we verify the effectiveness of the algorithm from both training and testing.
We developed Distilled Graph Attention Policy Network (DGAPN), a reinforcement learning model to generate novel graph-structured chemical representations that optimize user-defined objectives by efficiently navigating a physically constrained domain. The framework is examined on the task of generating molecules that are designed to bind, noncovalently, to functional sites of SARS-CoV-2 proteins. We present a spatial Graph Attention (sGAT) mechanism that leverages self-attention over both node and edge attributes as well as encoding the spatial structure -- this capability is of considerable interest in synthetic biology and drug discovery. An attentional policy network is introduced to learn the decision rules for a dynamic, fragment-based chemical environment, and state-of-the-art policy gradient techniques are employed to train the network with stability. Exploration is driven by the stochasticity of the action space design and the innovation reward bonuses learned and proposed by random network distillation. In experiments, our framework achieved outstanding results compared to state-of-the-art algorithms, while reducing the complexity of paths to chemical synthesis.
Domain-aware machine learning (ML) models have been increasingly adopted for accelerating small molecule therapeutic design in the recent years. These models have been enabled by significant advancement in state-of-the-art artificial intelligence (AI) and computing infrastructures. Several ML architectures are pre-dominantly and independently used either for predicting the properties of small molecules, or for generating lead therapeutic candidates. Synergetically using these individual components along with robust representation and data generation techniques autonomously in closed loops holds enormous promise for accelerated drug design which is a time consuming and expensive task otherwise. In this perspective, we present the most recent breakthrough achieved by each of the components, and how such autonomous AI and ML workflow can be realized to radically accelerate the hit identification and lead optimization. Taken together, this could significantly shorten the timeline for end-to-end antiviral discovery and optimization times to weeks upon the arrival of a novel zoonotic transmission event. Our perspective serves as a guide for researchers to practice autonomous molecular design in therapeutic discovery.
Design of new drug compounds with target properties is a key area of research in generative modeling. We present a small drug molecule design pipeline based on graph-generative models and a comparison study of two state-of-the-art graph generative models for designing COVID-19 targeted drug candidates: 1) a variational autoencoder-based approach (VAE) that uses prior knowledge of molecules that have been shown to be effective for earlier coronavirus treatments and 2) a deep Q-learning method (DQN) that generates optimized molecules without any proximity constraints. We evaluate the novelty of the automated molecule generation approaches by validating the candidate molecules with drug-protein binding affinity models. The VAE method produced two novel molecules with similar structures to the antiretroviral protease inhibitor Indinavir that show potential binding affinity for the SARS-CoV-2 protein target 3-chymotrypsin-like protease (3CL-protease).
We consider the challenging problem of audio to animated video generation. We propose a novel method OneShotAu2AV to generate an animated video of arbitrary length using an audio clip and a single unseen image of a person as an input. The proposed method consists of two stages. In the first stage, OneShotAu2AV generates the talking-head video in the human domain given an audio and a person's image. In the second stage, the talking-head video from the human domain is converted to the animated domain. The model architecture of the first stage consists of spatially adaptive normalization based multi-level generator and multiple multilevel discriminators along with multiple adversarial and non-adversarial losses. The second stage leverages attention based normalization driven GAN architecture along with temporal predictor based recycle loss and blink loss coupled with lipsync loss, for unsupervised generation of animated video. In our approach, the input audio clip is not restricted to any specific language, which gives the method multilingual applicability. OneShotAu2AV can generate animated videos that have: (a) lip movements that are in sync with the audio, (b) natural facial expressions such as blinks and eyebrow movements, (c) head movements. Experimental evaluation demonstrates superior performance of OneShotAu2AV as compared to U-GAT-IT and RecycleGan on multiple quantitative metrics including KID(Kernel Inception Distance), Word error rate, blinks/sec
Given a set of points P and axis-aligned rectangles R in the plane, a point p∈P is called \emph{exposed} if it lies outside all rectangles in R. In the \emph{max-exposure problem}, given an integer parameter k, we want to delete k rectangles from R so as to maximize the number of exposed points. We show that the problem is NP-hard and assuming plausible complexity conjectures is also hard to approximate even when rectangles in R are translates of two fixed rectangles. However, if R only consists of translates of a single rectangle, we present a polynomial-time approximation scheme. For range space defined by general rectangles, we present a simple O(k) bicriteria approximation algorithm; that is by deleting O(k2) rectangles, we can expose at least Ω(1/k) of the optimal number of points.
Materials with zero energy band gap display intriguing properties including high sensitivity of the electronic band structure to external stimulus such as pressure or magnetic field. An interesting candidate for zero energy band gap are Weyl nodes at the Fermi level EF. A prerequisite for the existence of Weyl nodes is to either have inversion or time reversal symmetry broken. Weyl nodes in systems with broken time reversal symmetry are ideal to realize the tunability of the electronic band structure by magnetic field. Theoretically, it has been shown that in ferromagnetic Weyl materials, the band structure is dependent upon the magnetization direction and thus the electronic bands can be tuned by controlling the magnetization direction. Here, we demonstrate tuning of the band structure in a kagome Weyl ferromagnetic metal Fe3Sn2 with magnetization and magnetic field. Owing to spin-orbit coupling, we observe changes in the band structure depending on the magnetization direction that amount to a decrease in the carrier density by a factor of four when the magnetization lies in the kagome plane as compared to when the magnetization is along the c axis. Our discovery opens a way for tuning the carrier density in ferromagnetic materials.
The macroscopic signature for Weyl nodes so far has been the negative longitudinal magnetoresistance arising from the chiral anomaly. However, negative longitudinal magnetoresistance is not unique to chiral anomaly and can arise due to completely different mechanisms such as current jetting or in ferromagnetic systems due to the suppression of scattering with magnons. Therefore, a macroscopic effect that can be uniquely attributed to the presence of Weyl nodes is desirable. Here we show that the planar Hall effect could be a hallmark for Weyl nodes. We investigated the anisotropic magnetoresistance and planar Hall effect in Fe3Sn2, which has a kagome lattice and has been predicted to be a type II Weyl metal. We discover that the planar Hall effect contains a field antisymmetric contribution in addition to the ordinary field symmetric contribution. The field antisymmetric planar Hall effect has a 3-fold rotational symmetry, distinctively different from the symmetric planar Hall effect, but consistent with the 3-fold rotational degeneracy of the magnetization in Fe3Sn2. The temperature and field dependence of the antisymmetric planar Hall effect rules out an interpretation based on contribution from the anomalous Hall effect and is different from the symmetric planar Hall effect, pointing to a different origin. We attribute the antisymmetric planar Hall effect to the topological nature of Fe3Sn2 due to the presence of Weyl II nodes. Our finding offers a promising route for macroscopically probing Weyl systems.
The research efforts on cellular vehicle-to-everything (V2X) communications are gaining momentum with each passing year. It is considered as a paradigm-altering approach to connect a large number of vehicles with minimal cost of deployment and maintenance. This article aims to further push the state-of-the-art of cellular V2X communications by providing an optimization framework for wireless charging, power allocation, and resource block assignment. Specifically, we design a network model where roadside objects use wireless power from RF signals of electric vehicles for charging and information processing. Moreover, due to the resource-constraint nature of cellular V2X, the power allocation and resource block assignment are performed to efficiently use the resources. The proposed optimization framework shows an improvement in terms of the overall energy efficiency of the network when compared with the baseline technique. The performance gains of the proposed solution clearly demonstrate its feasibility and utility for cellular V2X communications.
In this paper, we have investigated phase transitions in arbitrary spacetime dimensions for Born-Infeld AdS black holes. The phase transition points are characterised from the divergence of heat capacity of the black hole. Two well established techniques, namely, the Ehrenfest scheme and the Ruppeiner state space geometry approach are used to identify the order of phase transition the black hole undergoes. It is observed that the results obtained from these two methods agree with each other. Our analysis reveals that the phase transition is of second order. It is also observed from the variation of the heat capacity with entropy that the small unstable black hole phase becomes more and more stable with increase in the spacetime dimensions. We speculate that this dependence of the stability of the black hole on the spacetime dimension can put an upper limit to the dimension of spacetime from the physical condition of the improbability of the formation of a small stable black hole. We have also derived a Smarr relation in D-spacetime dimensions using scaling arguments and first law of black hole thermodynamics which includes the cosmological constant and the Born-Infeld parameters as thermodynamic variables.
The big problem for neural network models which are trained to count instances is that whenever test range goes high training range generalization error increases i.e. they are not good generalizers outside training range. Consider the case of automating cell counting process where more dense images with higher cell counts are commonly encountered as compared to images used in training data. By making better predictions for higher ranges of cell count we are aiming to create better generalization systems for cell counting. With architecture proposal of neural arithmetic logic units (NALU) for arithmetic operations, task of counting has become feasible for higher numeric ranges which were not included in training data with better accuracy. As a part of our study we used these units and different other activation functions for learning cell counting task with two different architectures namely Fully Convolutional Regression Network and U-Net. These numerically biased units are added in the form of residual concatenated layers to original architectures and a comparative experimental study is done with these newly proposed changes. This comparative study is described in terms of optimizing regression loss problem from these models trained with extensive data augmentation techniques. We were able to achieve better results in our experiments of cell counting tasks with introduction of these numerically biased units to already existing architectures in the form of residual layer concatenation connections. Our results confirm that above stated numerically biased units does help models to learn numeric quantities for better generalization results.
WTe2 is one of a series of recently discovered high mobility semimetals, some of whose properties are characteristic of topological Dirac or Weyl metals. One of its most interesting properties is the unsaturated giant magnetoresistance that it exhibits at low temperatures. An important question is the degree to which this property can be ascribed to a conventional semi-metallic model in which a highly compensated, high mobility metal exhibits large magnetoresistance. Here we show that the longitudinal thermopower (Seebeck effect) of semi-metallic WTe2 exfoliated flakes exhibits periodic sign changes about zero with increasing magnetic field that indicates distinct electron and hole Landau levels and nearly fully compensated electron and hole carrier densities. However, inconsistent with a conventional semi-metallic picture, we find a rapid enhancement of the Nernst effect at low temperatures that is nonlinear in magnetic field, which is consistent with Weyl points in proximity to the Fermi energy. Hence, we demonstrate the role played by the Weyl character of WTe2 in its transport properties.
Survival models are used in various fields, such as the development of cancer treatment protocols. Although many statistical and machine learning models have been proposed to achieve accurate survival predictions, little attention has been paid to obtain well-calibrated uncertainty estimates associated with each prediction. The currently popular models are opaque and untrustworthy in that they often express high confidence even on those test cases that are not similar to the training samples, and even when their predictions are wrong. We propose a Bayesian framework for survival models that not only gives more accurate survival predictions but also quantifies the survival uncertainty better. Our approach is a novel combination of variational inference for uncertainty estimation, neural multi-task logistic regression for estimating nonlinear and time-varying risk models, and an additional sparsity-inducing prior to work with high dimensional data.
We propose a method to classify images from target classes with a small number of training examples based on transfer learning from non-target classes. Without using any more information than class labels for samples from non-target classes, we train a Siamese net to estimate the probability of two images to belong to the same class. With some post-processing, output of the Siamese net can be used to form a gram matrix of a Mercer kernel. Coupled with a support vector machine (SVM), such a kernel gave reasonable classification accuracy on target classes without any fine-tuning. When the Siamese net was only partially fine-tuned using a small number of samples from the target classes, the resulting classifier outperformed the state-of-the-art and other alternatives. We share class separation capabilities and insights into the learning process of such a kernel on MNIST, Dogs vs. Cats, and CIFAR-10 datasets.
For a given positive integers m and ℓ, we give a complete list of positive integers n for which their exist mth roots of unity x1,…,xn∈C such that x1ℓ+⋯+xnℓ=0. This extends the earlier result of Lam and Leung on vanishing sums of roots of unity. Furthermore, we prove that for which integers n with 2≤n≤m, there are distinct mth roots of unity x1,…,xn∈C such that x1ℓ+⋯+xnℓ=0.
The main aim of the present book is to suggest some improved estimators using auxiliary and attribute information in case of simple random sampling and stratified random sampling and some inventory models related to capacity constraints. This volume is a collection of five papers, written by six co-authors (listed in the order of the papers): Dr. Rajesh Singh, Dr. Sachin Malik, Dr. Florentin Smarandache, Dr. Neeraj Kumar, Mr. Sanjey Kumar & Pallavi Agarwal. In the first chapter authors suggest an estimator using two auxiliary variables in stratified random sampling for estimating population mean. In second chapter they proposed a family of estimators for estimating population means using known value of some population parameters. In Chapter third an almost unbiased estimator using known value of some population parameter(s) with known population proportion of an auxiliary variable has been used. In Chapter four the authors investigates a fuzzy economic order quantity model for two storage facility. The demand, holding cost, ordering cost, storage capacity of the own - warehouse are taken as trapezoidal fuzzy numbers. In Chapter five a two-warehouse inventory model deals with deteriorating items, with stock dependent demand rate and model affected by inflation under the pattern of time value of money over a finite planning horizon. Shortages are allowed and partially backordered depending on the waiting time for the next replenishment. The purpose of this model is to minimize the total inventory cost by using the genetic algorithm. This book will be helpful for the researchers and students who are working in the field of sampling techniques and inventory control.
The treewidth of control flow graphs arising from structured programs is known to be at most six. However, as a control flow graph is inherently directed, it makes sense to consider a measure of width for digraphs instead. We use the so-called DAG-width and show that the DAG-width of control flow graphs arising from structured (goto-free) programs is at most three. Additionally, we also give a linear time algorithm to compute the DAG decomposition of these control flow graphs. One consequence of this result is that parity games (and hence the μ-calculus model checking problem), which are known to be tractable on graphs of bounded DAG-width, can be solved efficiently in practice on control flow graphs.
We report on temperature dependent scanning tunneling microscopy and spectroscopy studies of undoped SrFe2As2 single crystals from 6 K to 292 K. Resistivity data show spin density wave (SDW) transition at TSDW ≈ 205 K and the superconducting transition at ∼ 21 K while magnetic susceptibility does not show any superconductivity. Conductance maps and local tunneling spectra show an electronically homogeneous surface at all studied temperatures. Tunnel spectra correlate well with the SDW transition with a depression in the density of states near the Fermi energy below TSDW. On further lowering the temperature, the width of this partial energy gap associated with the SDW decreases. Using the anti-correlation of superconducting phase with SDW, we interpret this gap weakening as a precursor to superconductivity. This may give rise to a facile nucleation of superconductivity near defects.
Superconductivity in Iron-Arsenic based pnictides emerges in close proximity to an antiferromagnetic (AFM)ordered parent state and the AFM phase overlaps with superconducting (SC) phase in some pnictides for certain range of doping. CaFe2-xNixAs2 belongs to this category, where both the phases overlap. Here we use scanning tunneling microscopy and spectroscopy to investigate the local electronic properties of uderdoped CaFe1.96Ni0.04As2 single crystals in the vicinity of the boundary of the two phases. Both resistivity and magnetic measurements show that a tiny portion (~ 1.2 %) of this compound becomes superconductor below the SC onset temperature TC ~ 15 K. Topographic images show reasonably flat surface with signatures of atomic resolution. High temperature spectra are spatially homogeneous and show signatures of spin density wave (SDW) gap with a finite density of states near the Fermi energy. Below TC, spectra show significant spatial inhomogeneity with a SDW gap everywhere but at some locations we also see an asymmetric or symmetric depression in ~ +/- 5 meV energy range together with the SDW gap. Inhomogeneity reduces significantly as the temperature goes above TC and disappears completely far above TC. These observations are discussed in terms of an inhomogeneous electronic phase that may exist due to the vicinity of this composition to the SC dome boundary on the underdoped side of the phase diagram.
Let S=K[x_1,...,x_n] be a polynomial ring over a field K and I a homogeneous ideal in S generated by a regular sequence f_1,f_2,...,f_k of homogeneous forms of degree d. We study a generalization of a result of Conca, Herzog, Trung, and Valla [9] concerning Koszul property of the diagonal subalgebras associated to I. Each such subalgebra has the form K[(I^e)_{ed+c}], where c and e are positive integers. For k=3, we extend [9, Corollary 6.10] by proving that K-algebra K[(I^e)_{ed+c}] is Koszul as soon as c >= d/2. We also extend [9, Corollary 6.10] in another direction by replacing the polynomial ring with a Koszul ring.
Let S=K[x_1,...,x_n] be a polynomial ring. Denote by pa the power sum symmetric polynomial x_1^a+...+x_n^a. We consider the following two questions: Describe the subsets A⊂N such that the set of polynomials pa with a∈A generate a prime ideal in S or the set of polynomials pa with a∈A is a regular sequence in S. We produce a large families of prime ideals by exploiting Serre's criterion for normality [4, Theorem 18.15] with the help of arithmetic considerations, vanishing sums of roots of unity [9]. We also deduce several other results concerning regular sequences of symmetric polynomials.
A new set of elementary symplectic elements is described, It is shown that these also generate the elementary symplectic group {\rm ESp}2n(R). These generators are more symmetrical than the usual ones, and are useful to study the action of the elementary symplectic group on unimodular rows. Also, an alternate proof of, {\rm ESp}2n(R) is a normal subgroup of {\rm Sp}2n(R), is shown using the Local Global Principle of D. Quillen for the new set of generators.
In this article, we carry out the investigation for regular sequences of symmetric polynomials in the polynomial ring in three and four variable. Any two power sum element in C[x1,x2,...,xn] for n≥3 always form a regular sequence and we state the conjecture when pa,pb,pc for given positive integers a<b<c forms a regular sequence in C[x1,x2,x3,x4]. We also provide evidence for this conjecture by proving it in special instances. We also prove that any sequence of power sums of the form pa,pa+1,...,pa+m−1,pb with m<n−1 forms a regular sequence in C[x1,x2,...,xn]. We also provide partial evidence in support of conjecture's given by Conca, Krattenthaler and Watanabe on regular sequences of symmetric polynomials.
Single crystals of CeGe and its non-magnetic analogue LaGe have been grown by Czochralski method. CeGe compound crystallizes in the orthorhombic FeB-type crystal structure with the space group \textit{Pnma} (#62). The anisotropic magnetic properties have been investigated on well oriented single crystals by measuring the magnetic susceptibility, electrical resistivity and heat capacity. It has been found that CeGe orders antiferromagnetically at 10.5 K. Both transport and magnetic studies have revealed large anisotropy reflecting the orthorhombic crystal structure. The magnetization measurement measured at 2 K revealed metamagnetic transitions along the [010] direction at 4.8 and 6.4 T and along [100] direction at a critical field of 10.7 T, while the magnetiztaion along [001] direction was increasing linearly without any anomaly up to a field of 16 T. From the magnetic susceptibility and the magnetization measurements it has been found that [010] direction is the easy axis of magnetization. The electrical resistivity along the three crystallographic directions exhibited an upturn at TN indicating the superzone gap formation below TN in this compound. We have performed the crystalline electric field (CEF) analysis on the magnetic susceptibility and the heat capacity data and found that the ground state is doublet and the splitting energies from the ground state to the first and second excited doublet states were estimated to be 39 and 111 K, respectively.
Magneto-optical imaging of a single crystal of CaFe1.94Co0.06As2, shows anomalous remnant magnetization within Meissner like regions of the superconductor. The unconventional shape of the local magnetization hysteresis loop suggests admixture of superconducting and magnetic fractions governing the response. Near the superconducting transition temperature, local magnetic field exceeds the applied field resulting in a diamagnetic to positive magnetization transformation. The observed anomalies in the local magnetic field distribution are accompanied with enhanced bulk pinning in the CaFe1.94Co0.06As2 single crystals. We propose our results suggest a coexistence of superconductivity and magnetic correlations.
Imaging local magnetic field distribution in a single crystal of superconductor CaFe1.94Co0.06As2 shows the presence of anomalous remnant magnetization within Meissner like regions of the sample. Close to the superconducting transition temperature we find a coexistence of superconductivity and magnetic correlations. While the magnetic correlations are enhanced with the lowering of temperature, interestingly the area over which the magnetic phase exists shrinks at the expense of a growing superconducting phase in the sample. The coexistence of two phases deep inside the superconducting phase in this compound is maintained within the temperature range that we have explored in our experiment.
Employing {\it state of the art} high resolution photoemission spectroscopy, we studied the temperature evolution of the electronic structure of EuFe2As2, an unique pnictide, where antiferromagnetism of Eu layer survives within the superconducting phase due to `FeAs' layers achieved via substitution and/or pressure. High energy and angle resolution helped to reveal pseudogap-quasiparticle features having primarily As 4p character and spin density wave transition induced band folding in the electronic structure. A weakly dispersing feature of dominant As 4p character is discovered around 80 meV that becomes weaker in intensity below 20 K manifesting influence of antiferromagnetic order on conduction electrons. These results provide an evidence of a link between the pseudogap states and magnetism that could be revealed employing high resolutions.
Here we report the structural, electrical and magnetic properties of Fe doped La0.7Ca0.3Mn1-xFexO3 with x = 0.0 to 1.0 prepared by conventional solid state reaction method. Simulated data on XRD shows an increase in volume with an increase in Fe ion concentration. XPS supports that Fe3+ ions directly substitute Mn3+ ions. Shifting towards lower wave-number and symmetric IR band structure confirms increase in volume and homogeneous distribution of Fe ions. Fe ion doesn't contribute in double-exchange (DE) conduction mechanism due to its stable half filled 3d orbital. The presence of Fe3+ ions encourages anti-ferromagnetism (AFM) generated by super-exchange interaction and suppress insulator-metal transition temperature (TIM). Magnetic measurements show the existence of magnetic polarons supported by increase in volume of unit cell and deviation from Curie-Weiss law.
Here we report the optimized magneto-transport properties of polycrystalline La0.70Ca0.3-xSrxMnO3 and their composites with Ag. The optimization was carried out by varying the Sr and Ag contents simultaneously to achieve large temperature coefficient of resistance (TCR) as well as low field magneto-resistance (MR) at room temperature. Sharpest paramagnetic (PM)-ferromagnetic (FM) and insulator-metal (IM) transition is observed in the vicinity of the room temperature (TC=300 K=TIM) for the composition La0.70Ca0.20Sr00.10MnO3:Ag0.20. Partial substitution of larger Sr2+ ions at the Ca2+ ions sites controls the magnitude of the FM and IM transition temperatures, while the Ag induces the desired sharpness in these transitions. For the optimized composition, maximum TCR and MR are tuned to room temperature (300 K) with the former being as high as 9% and the later being 20 and 30 percent at 5 and 10 kOe magnetic fields respectively. Such sharp single peak (TCR= 9 percent) at room temperature can be used for the bolometric and infrared detector applications. The achievement of large TCR and low field MR at T~300K in polycrystalline samples is encouraging and we believe that further improvements can be achieved in thin films, which, by virtue of their low conduction noise, are more suitable for device applications.
We report detailed structural, electrical, magnetic and specific heat studies on La0.7Ca0.3Mn1-xCrxO3 manganites. Rietveld analysis of fitted and observed XRD patterns exhibited the single-phase nature of all the studied materials, which crystallize in Pbnm space group. Successive substitution of Cr at Mn site in La0.7Ca0.3Mn1-xCrxO3 manganites increases the electrical resistivity and decrease the characteristic insulator-metal transition temperature (TIM) of the parent compound along with a hump like feature for higher Cr-content samples. The hump structure basically signifies the onset of anti-ferromagnetic (AFM) interactions as inferred by both the magnetic and infra-red (IR) spectroscopy studies. The systematic suppression of FM state results in a spin glass (SG) like behavior. IR studies revealed that the vibration mode at 413 cm-1 being associated with internal bending of MnO6 octehedra, becomes softer, indicating an increase in distortion and hence the possible spin glass behavior. The critical exponents alpha, beta and gama are calculated from the heat capacity (CP) data near the TIM/TFM. The same exhibited variations of their values with doping. In particular the value of beta increases from 0.37 to 0.43, clearly indicating the coexistence of both long and short range magnetic orders i.e. tendency towards SG state for Cr doped samples. On the basis of present results, it is suggested that Cr dilutes double-exchange (DE) based FM and rather promotes the AFM based super exchange interactions (SE) via Cr3+/Mn4+ ions. Substitution of Cr systematically destroys both the metallic state and long range ferromagnetic (FM) order.
The magnetic properties of single crystalline EuPtGe3, crystallizing in the non-centrosymmetric BaNiSn3-type crystal structure, have been studied by means of magnetisation, electrical resistivity, heat capacity and 151Eu Mössbauer spectroscopy. The susceptibility and heat capacity data indicate a magnetic transition at TN = 11\,K. The Mössbauer data confirm this conclusion, but evidence a slight first order character of the transition. Analysing the magnetisation data using a mean field model with two antiferromagnetically coupled sublattices allows to explain some aspects of the magnetic behaviour, and to derive the first and second neighbour exchange integrals in EuPtGe3.
Time-dependent density functional theory (TD-DFT) and correlated ab initio methods have been applied to the electronically excited states of vitamin B12 (cyanocobalamin or CNCbl). Different experimental techniques have been used to probe the excited states of CNCbl, revealing many issues that remain poorly understood from an electronic structure point of view. Due to its efficient scaling with size, TD-DFT emerges as one of the most practical tools that can be used to predict the electronic properties of these fairly complex molecules. However, the description of excited states is strongly dependent on the type of functional used in the calculations. In the present contribution, the choice of a proper functional for vitamin B12 was evaluated in terms of its agreement with both experimental results and correlated ab initio calculations. Three different functionals, i.e. B3LYP, BP86, and LC-BLYP, were tested. In addition, the effect of relative contributions of DFT and HF to the exchange-correlation functional was investigated as a function of the range-separation parameter, μ. The issues related to the underestimation of charge transfer (CT) excitation energies by TD-DFT was validated by Tozer's L diagnostic, which measures the spatial overlap between occupied and virtual orbitals involved in the particular excitation. The nature of low-lying excited states was also analyzed based on a comparison of TD-DFT and ab initio results. Based on an extensive comparision against experimental results and ab initio benchmark calculations, the BP86 functional was found to be the most appropriate in describing the electronic properties of CNCbl. Finally, an analysis of electronic transitions and a new re-assignment of some excitations are discussed.
We have grown the single crystals of CeMg3 and its non-magnetic analogue LaMg3, which crystallize in the cubic crystal structure with the space group \textit{Fm\rm{\={3}}m}, and studied their magnetic properties on well oriented single crystals by measuring the magnetic susceptibility, magnetization and heat capacity. CeMg3 orders antiferromagnetically with a Néel temperature TN of 2.6 K. The specific heat capacity at low temperature exhibits an enhanced Sommerfeld coefficient of 370 mJ/K2... mol indicating the heavy fermion nature of CeMg3. An estimation of Kondo temperature TK was made and found that it is of similar magnitude as that of TN. The reduced value of the magnetization below the ordering temperature, together with the reduced entropy at the magnetic ordering temperature and the enhanced low temperature heat capacity indicates that Kondo effect plays a significant role in this compound. We have performed the crystalline electric field (CEF) analysis on the magnetic susceptibility and the heat capacity data and found that the ground state is a Γ7 doublet with an overall splitting of 191 K.
There are many challenges when designing and deploying wireless sensor networks (WSNs). One of the key challenges is how to make full use of the limited energy to prolong the lifetime of the network, because energy is a valuable resource in WSNs. The status of energy consumption should be continuously monitored after network deployment. In this paper, we propose coverage and connectivity aware neural network based energy efficient routing in WSN with the objective of maximizing the network lifetime. In the proposed scheme, the problem is formulated as linear programming (LP) with coverage and connectivity aware constraints. Cluster head selection is proposed using adaptive learning in neural networks followed by coverage and connectivity aware routing with data transmission. The proposed scheme is compared with existing schemes with respect to the parameters such as number of alive nodes, packet delivery fraction, and node residual energy. The simulation results show that the proposed scheme can be used in wide area of applications in WSNs.
Single crystals of EuPtSi3, which crystallize in the BaNiSn3-type crystal structure, have been grown by high temperature solution growth method using molten Sn as the solvent. EuPtSi3 which lacks the inversion symmetry and has only one Eu site in the unit cell is found to be an antiferromagnet with two successive magnetic transitions at TN1 = 17 K and TN2 = 16 K, as inferred from magnetic susceptibility, heat capacity and 151Eu Mössbauer measurements. The isothermal magnetization data for H∥ [001] reveal a metamagnetic transition at a critical field Hc = 1 T. The magnetization saturates to a moment value of 6.43 μB/Eu above 5.9 T (9.2 T) for H∥ [001] ([100]), indicating that these fields are spin-flip fields for the divalent Eu moments along the two axes. The origin of this anisotropic behaviour is discussed. A magnetic (H, T) phase diagram has been constructed from the temperature dependence of isothermal magnetization data. The reduced jump in the heat capacity at TN1 indicates a transition to an incommensurate, amplitude modulated antiferromagnetic structure. The shape of the hyperfine field split Mössbauer spectrum at TN1 provides additional support for the proposed nature of this magnetic transition.
We report on the magnetic behavior of RRhB (R = La, Ce, Pr, Nd, Gd, Tb and Tm) and RRhC (R = La, Ce, Pr and Gd) compounds crystallizing in the cubic perovskite type structure with space group Pm3m. The heat capacity data on Pauli-paramagnetic LaRhB and LaRhC indicate a high frequency vibrating motion of boron and carbon atoms in the unit cell. Ce is in -like nonmagnetic state in both the compounds. Pr compounds show a dominant crystal field effect with a nonmagnetic singlet ground state in PrRhB and a nonmagnetic quadrupolar doublet in PrRhC. Compounds with other rare earths order ferromagnetically at low temperatures except TmRhB in which the zero field evolution of magnetic interactions is relatively more complicated. The electrical resistivity of GdRhB decreases with increasing temperature in the paramagnetic state in the vicinity of T, which is rarely seen in ferromagnets. The behavior is discussed to be arising due to the short range spin fluctuation and a possible contribution from Fermi surface geometry.
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.