Robustness Verification of Tree-based Models

We study the robustness verification problem for tree-based models, including decision trees, random forests (RFs) and gradient boosted decision trees (GBDTs). Formal robustness verification of decision tree ensembles involves finding the exact minimal adversarial perturbation or a guaranteed lower bound of it. Existing approaches find the minimal adversarial perturbation by a mixed integer linear programming (MILP) problem, which takes exponential time so is impractical for large ensembles. Although this verification problem is NP-complete in general, we give a more precise complexity characterization. We show that there is a simple linear time algorithm for verifying a single tree, and for tree ensembles, the verification problem can be cast as a max-clique problem on a multi-partite graph with bounded boxicity. For low dimensional problems when boxicity can be viewed as constant, this reformulation leads to a polynomial time algorithm. For general problems, by exploiting the boxicity of the graph, we develop an efficient multi-level verification algorithm that can give tight lower bounds on the robustness of decision tree ensembles, while allowing iterative improvement and any-time termination. OnRF/GBDT models trained on 10 datasets, our algorithm is hundreds of times faster than the previous approach that requires solving MILPs, and is able to give tight robustness verification bounds on large GBDTs with hundreds of deep trees.Comment: Hongge Chen and Huan Zhang contributed equall

Study on the metabolic effects of hexavalent chromium [Cr (VI)] on rat astrocytes using un-targeted metabolomics

Introduction: Hexavalent chromium [Cr (VI)] has been identified as a human carcinogen and environmental pollutant capable of affecting multiple systems in the human body. However, the specific mechanisms by which Cr (VI) affects the human nervous system remain unclear.Objective: Following confirmation of Cr (VI)’s toxic effects on rat astrocytes, this study explores the metabolites and associated metabolic pathways of rat astrocytes under different doses of Cr (VI) exposure.Methods: Cell viability was assessed using CCK8 assays, intracellular reactive oxygen species (ROS) levels were measured using DCFH-DA fluorescent probes, intracellular 8-hydroxydeoxyguanosine (8-OHdG) content was determined by Elisa, mitochondrial membrane potential was observed using JC-1 probes, and key metabolites were identified through untargeted metabolomics analysis.Results: With increasing Cr (VI) doses, significant decreases in cell viability were observed in the 4, 8, and 16 mg/L dose groups (p < 0.05). Elevated levels of ROS and 8-OHdG, increased caspase-3 activity, and significant reductions in mitochondrial membrane potential were observed in the 2 and 4 mg/L dose groups (p < 0.05). Untargeted metabolomics analysis revealed Cr (VI)’s impact on key metabolites such as sphingosine and methionine. Enrichment analysis of KEGG pathways highlighted the critical roles of sphingolipid metabolism and the methionine-cysteine cycle in the effects of Cr (VI) on rat astrocytes.Conclusion: Our study underscores the potential neuro-health risks associated with environmental and occupational exposure to Cr (VI) and provides new perspectives and directions for investigating neurotoxic mechanisms

High-Density SNP Map Construction and QTL Identification for the Apetalous Character in Brassica napus L.

The apetalous genotype is a morphological ideotype for increasing seed yield and should be of considerable agricultural use; however, only a few studies have focused on the genetic control of this trait in Brassica napus. In the present study, a recombinant inbred line, the AH population, containing 189 individuals was derived from a cross between an apetalous line ‘APL01’ and a normally petalled variety ‘Holly’. The Brassica 60 K Infinium BeadChip Array harboring 52,157 single nucleotide polymorphism (SNP) markers was used to genotype the AH individuals. A high-density genetic linkage map was constructed based on 2,755 bins involving 11,458 SNPs and 57 simple sequence repeats, and was used to identify loci associated with petalous degree (PDgr). The linkage map covered 2,027.53 cM, with an average marker interval of 0.72 cM. The AH map had good collinearity with the B. napus reference genome, indicating its high quality and accuracy. After phenotypic analyses across five different experiments, a total of 19 identified quantitative trait loci (QTLs) distributed across chromosomes A3, A5, A6, A9 and C8 were obtained, and these QTLs were further integrated into nine consensus QTLs by a meta-analysis. Interestingly, the major QTL qPD.C8-2 was consistently detected in all five experiments, and qPD.A9-2 and qPD.C8-3 were stably expressed in four experiments. Comparative mapping between the AH map and the B. napus reference genome suggested that there were 328 genes underlying the confidence intervals of the three steady QTLs. Based on the Gene Ontology assignments of 52 genes to the regulation of floral development in published studies, 146 genes were considered as potential candidate genes for PDgr. The current study carried out a QTL analysis for PDgr using a high-density SNP map in B. napus, providing novel targets for improving seed yield. These results advanced our understanding of the genetic control of PDgr regulation in B. napus

Amylose-Derived Macrohollow Core and Microporous Shell Carbon Spheres as Sulfur Host for Superior Lithium–Sulfur Battery Cathodes

Porous carbon can be tailored to great effect for electrochemical energy storage. In this study, we propose a novel structured spherical carbon with a macrohollow core and a microporous shell derived from a sustainable biomass, amylose, by a multistep pyrolysis route without chemical etching. This hierarchically porous carbon shows a particle distribution of 2–10 μm and a surface area of 672 m2 g–1. The structure is an effective host of sulfur for lithium–sulfur battery cathodes, which reduces the dissolution of polysulfides in the electrolyte and offers high electrical conductivity during discharge/charge cycling. The hierarchically porous carbon can hold 48 wt % sulfur in its porous structure. The S@C hybrid shows an initial capacity of 1490 mAh g–1 and retains a capacity of 798 mAh g–1 after 200 cycles at a discharge/charge rate of 0.1 C. A capacity of 487 mAh g–1 is obtained at a rate of 3 C. Both a one-step pyrolysis and a chemical-reagent-assisted pyrolysis are also assessed to obtain porous carbon from amylose, but the obtained carbon shows structures inferior for sulfur cathodes. The multistep pyrolysis and the resulting hierarchically porous carbon offer an effective approach to the engineering of biomass for energy storage. The micrometer-sized spherical S@C hybrid with different sizes is also favorable for high-tap density and hence the volumetric density of the batteries, opening up a wide scope for practical applications

Amylose-Derived Macrohollow Core and Microporous Shell Carbon Spheres as Sulfur Host for Superior Lithium–Sulfur Battery Cathodes

Porous carbon can be tailored to great effect for electrochemical energy storage. In this study, we propose a novel structured spherical carbon with a macrohollow core and a microporous shell derived from a sustainable biomass, amylose, by a multistep pyrolysis route without chemical etching. This hierarchically porous carbon shows a particle distribution of 2–10 μm and a surface area of 672 m2 g–1. The structure is an effective host of sulfur for lithium–sulfur battery cathodes, which reduces the dissolution of polysulfides in the electrolyte and offers high electrical conductivity during discharge/charge cycling. The hierarchically porous carbon can hold 48 wt % sulfur in its porous structure. The S@C hybrid shows an initial capacity of 1490 mAh g–1 and retains a capacity of 798 mAh g–1 after 200 cycles at a discharge/charge rate of 0.1 C. A capacity of 487 mAh g–1 is obtained at a rate of 3 C. Both a one-step pyrolysis and a chemical-reagent-assisted pyrolysis are also assessed to obtain porous carbon from amylose, but the obtained carbon shows structures inferior for sulfur cathodes. The multistep pyrolysis and the resulting hierarchically porous carbon offer an effective approach to the engineering of biomass for energy storage. The micrometer-sized spherical S@C hybrid with different sizes is also favorable for high-tap density and hence the volumetric density of the batteries, opening up a wide scope for practical applications

Lens differentiation is controlled by the balance between PDGF and FGF signaling

How multiple receptor tyrosine kinases coordinate cell fate determination is yet to be elucidated. We show here that the receptor for platelet-derived growth factor (PDGF) signaling recruits the p85 subunit of Phosphoinositide 3-kinase (PI3K) to regulate mammalian lens development. Activation of PI3K signaling not only prevents B-cell lymphoma 2 (BCL2)-Associated X (Bax)- and BCL2 Antagonist/Killer (Bak)-mediated apoptosis but also promotes Notch signaling to prevent premature cell differentiation. Reducing PI3K activity destabilizes the Notch intracellular domain, while the constitutive activation of Notch reverses the PI3K deficiency phenotype. In contrast, fibroblast growth factor receptors (FGFRs) recruit Fibroblast Growth Factor Receptor Substrate 2 (Frs2) and Rous sarcoma oncogene (Src) Homology Phosphatase 2 (Shp2) to activate Mitogen-Activated Protein Kinase (MAPK) signaling, which induces the Notch ligand Jagged 1 (Jag1) and promotes cell differentiation. Inactivation of Shp2 restored the proper timing of differentiation in the p85 mutant lens, demonstrating the antagonistic interaction between FGF-induced MAPK and PDGF-induced PI3K signaling. By selective activation of PI3K and MAPK, PDGF and FGF cooperate with and oppose each other to balance progenitor cell maintenance and differentiation

Lens differentiation is controlled by the balance between PDGF and FGF signaling.

How multiple receptor tyrosine kinases coordinate cell fate determination is yet to be elucidated. We show here that the receptor for platelet-derived growth factor (PDGF) signaling recruits the p85 subunit of Phosphoinositide 3-kinase (PI3K) to regulate mammalian lens development. Activation of PI3K signaling not only prevents B-cell lymphoma 2 (BCL2)-Associated X (Bax)- and BCL2 Antagonist/Killer (Bak)-mediated apoptosis but also promotes Notch signaling to prevent premature cell differentiation. Reducing PI3K activity destabilizes the Notch intracellular domain, while the constitutive activation of Notch reverses the PI3K deficiency phenotype. In contrast, fibroblast growth factor receptors (FGFRs) recruit Fibroblast Growth Factor Receptor Substrate 2 (Frs2) and Rous sarcoma oncogene (Src) Homology Phosphatase 2 (Shp2) to activate Mitogen-Activated Protein Kinase (MAPK) signaling, which induces the Notch ligand Jagged 1 (Jag1) and promotes cell differentiation. Inactivation of Shp2 restored the proper timing of differentiation in the p85 mutant lens, demonstrating the antagonistic interaction between FGF-induced MAPK and PDGF-induced PI3K signaling. By selective activation of PI3K and MAPK, PDGF and FGF cooperate with and oppose each other to balance progenitor cell maintenance and differentiation