SearcharxivSearch

arXiv subjects

Yimin Huang

Publications and source records attributed to Yimin Huang.

At least 19 recordsLinked to original sources

Homological properties of quantum groups governed by small quantum groups

We develop a general characteristic-free framework for studying the homological properties of a broad class of module-finite Hopf algebras. This framework makes it possible to reduce the study of the homological properties of many quantum groups at roots of unity and their multiparameter deformations to the study of the corresponding small quantum groups. For any affine Hopf algebra $H$ admitting a large central Hopf subalgebra $C$, we prove that its left homological integral space, in the sense of Lu-Wu-Zhang, is isomorphic as a bimodule to the left integral space of the identity fiber algebra, which is a finite-dimensional Hopf algebra. Consequently, $H$ is a symmetric Frobenius extension of $C$ if and only if the corresponding identity fiber algebra is unimodular and the square of the antipode of $H$ is inner, thus providing an effective criterion for the Calabi-Yau property of $H$. For a broad class of quantum groups at roots of unity, an appropriate large central Hopf subalgebra can be chosen such that the identity fiber algebra is the corresponding small quantum group. Therefore, some homological properties of these big quantum groups are governed by those of their corresponding small quantum groups. Assuming that the base field is algebraically closed, we prove that $H$ is unimodular if and only if, for some (equivalently, every) maximal ideal $\mathfrak{m}$ of $C$, the category of finite-dimensional representations of the fiber algebra at $\mathfrak{m}$ is unimodular in the sense of Yadav as a module category over the finite tensor category of finite-dimensional representations of the identity fiber algebra. As an application, we prove that all Andruskiewitsch-Angiono-Yakimov large quantum groups are affine noetherian unimodular Artin-Schelter Gorenstein Hopf algebras. We also give a necessary and sufficient condition for these large quantum groups to be Calabi-Yau.

math.QA

Radio flares and X-ray hardening embedded in the long soft state of 4U 1543-475

We present a comprehensive multi-wavelength study of the black hole X-ray binary 4U 1543-475 during its 2021 outburst, focusing on radio flaring episodes that are commonly interpreted as signatures of episodic jet production and are embedded within states when the X-ray emission was dominated by an accretion disk component. The radio monitoring reveals at least two discrete flares that coincide with periods of enhanced Comptonized X-ray emission. Broadband spectral modelling shows a significant decrease in the reflection-to-disk flux ratio (by a factor of ~3-4) during these episodes, consistent with a temporary change in the geometry of the inner accretion flow, although the data do not allow the causal sequence to be firmly established. Optical photometry exhibits variability that broadly tracks the reflection fraction, consistent with changes in the illuminating component. The accompanying spectral hardening indicates that the radio flares were associated with short-lived excursions toward a "harder" state, departing from the soft state. X-ray timing analysis suggests that the radio flares may be associated with changes in the fractional rms variability; however, no consistent or unified pattern can be firmly established across different events. These results provide a multi-wavelength observational example of radio flaring activity in a black hole binary and highlight the complex interplay between accretion flow geometry, coronal emission, and jet-related phenomena.

astro-ph.HE

Mutation-preserving generalized cluster algebras and Laurent mutation invariants

We introduce mutation-preserving generalized cluster algebras, for which the generalized cluster mutation in each direction is independent of the seed in the mutation equivalence class. We classify all irreducible generalized cluster algebras with this property. Then, a Markov-type Diophantine equation $x^2+y^2+z^2+2yz=kxyz$ is studied, which has a structure of the mutation-preserving generalized cluster algebra. We prove that positive integer solutions exist if and only if $1\leq k\leq 5$ and determine all their orbits under the associated generalized cluster mutation groups. In particular, multiple orbits occur for each $k=1,3$, whereas the solutions form a single orbit for each $ k=2,4,5$. We then classify all generalized Markov Laurent mutation invariants. As an application, a conjecture proposed by Chen-Li is proved, showing that every Laurent mutation invariant of irreducible sign-equivalent cluster algebras is essentially a polynomial in the corresponding basic invariant.

math.RA

Chevalley property of module-finite Hopf algebras and discriminant ideals

In this paper, we study the Chevalley property of Cayley-Hamilton Hopf algebras in the sense of De Concini-Procesi-Reshetikhin-Rosso using discriminant ideals. For any affine Cayley-Hamilton Hopf algebra $(H,C,\text{tr})$ whose identity fiber algebra has the Chevalley property, we prove that an irreducible $H$-module $V$ has the property that $V\otimes W$ is a completely reducible $H$-module for every irreducible $H$-module $W$ if and only if $V$ is annihilated by the lowest discriminant ideal of $(H,C,\text{tr})$, which establishes a bridge between the tensor-nondegenerate behaviour of the irreducible representations of $H$ and the lowest discriminant ideal of $(H,C,\text{tr})$. Using discriminant ideals, we prove that an affine Cayley-Hamilton Hopf algebra $(H,C,\text{tr})$ has the Chevalley property if and only if its identity fiber algebra $H/\mathfrak{m}_{\overline{\varepsilon}}H$ has the Chevalley property and all the discriminant ideals of $(H,C,\text{tr})$ are trivial, thereby resolving a question posed by Huang-Mi-Qi-Wu. Moreover, it is shown that the lowest discriminant subvariety $\mathcal{V}_{\ell}$ of the algebraic group $\operatorname{maxSpec}C$ is a closed subgroup, which reflects the rigid nature of $\mathcal{V}_{\ell}$ and is effective in determining the lowest discriminant subvarieties in certain examples of low GK dimension. This rigidity property provides a method, via the lowest discriminant ideals, for constructing a large family of Hopf algebras with the Chevalley property and finite GK dimension. The results are illustrated through applications to the big quantized Borel subalgebras at roots of unity and to certain Artin-Schelter Gorenstein Hopf algebras of low GK dimension. In particular, the framework yields (non-finite) tensor categories with the Chevalley property arising from some big quantum groups at roots of unity.

math.RA

Chevalley property and discriminant ideals of Cayley-Hamilton Hopf Algebras

For any affine Hopf algebra $H$ which admits a large central Hopf subalgebra, $H$ can be endowed with a Cayley-Hamilton Hopf algebra structure in the sense of De Concini-Procesi-Reshetikhin-Rosso. The category of finite-dimensional modules over any fiber algebra of $H$ is proved to be an indecomposable exact module category over the tensor category of finite-dimensional modules over the identity fiber algebra $H/\mathfrak{m}_{\overline{\varepsilon}}H$ of $H$. For any affine Cayley-Hamilton Hopf algebra $(H,C,\text{tr})$ such that $H/\mathfrak{m}_{\overline{\varepsilon}}H$ has the Chevalley property, it is proved that if the zero locus of a discriminant ideal of $(H,C,\text{tr})$ is non-empty then it contains the orbit of the identity element of the affine algebraic group $\text{maxSpec}C$ under the left (or right) winding automorphism group action. Its proof relies on the fact that $H/\mathfrak{m}_{\overline{\varepsilon}}H$ has the Chevalley property if and only if the $\overline{\varepsilon}$-Chevalley locus of $(H,C)$ coincides with $\text{maxSpec}C$. Then, we provide a description of the zero locus of the lowest discriminant ideal of $(H,C,\text{tr})$. It is proved that the lowest discriminant ideal of $(H,C,\text{tr})$ is of level $\text{FPdim}(\text{Gr}(H/\mathfrak{m}_{\overline{\varepsilon}}H))+1$, where $\text{Gr}(H/\mathfrak{m}_{\overline{\varepsilon}}H)$ is the Grothendieck ring of the finite-dimensional Hopf algebra $H/\mathfrak{m}_{\overline{\varepsilon}}H$ and $\text{FPdim}(\text{Gr}(H/\mathfrak{m}_{\overline{\varepsilon}}H))$ is the Frobenius-Perron dimension of $\text{Gr}(H/\mathfrak{m}_{\overline{\varepsilon}}H)$. Some recent results of Mi-Wu-Yakimov about lowest discriminant ideals are generalized. We also prove that all the discriminant ideals are trivial if $H$ has the Chevalley property.

math.QA

DAO: A New and Public Non-Relativistic Reflection Model

We present a new non-relativistic reflection model, DAO, designed to calculate reflection spectra in the rest frame of accretion disks in X-ray binaries and active galactic nuclei. The model couples the XSTAR code, which treats atomic processes, with the Feautrier method for solving the radiative transfer equation. A key feature of DAO is the incorporation of a high-temperature corrected cross section and an exact redistribution function to accurately treat Compton scattering. Furthermore, the model accommodates arbitrary illuminating spectra, enabling applications across diverse physical conditions. We investigate the spectral dependence on key physical parameters and benchmark the results against the widely used reflionx and xillver codes.

astro-ph.HE

X-ray reflection spectroscopy with improved calculations of the emission angle

The reflection spectrum produced by a cold medium illuminated by X-ray photons is not isotropic and its shape depends on the emission angle. In the reflection spectrum of an accretion disk of a black hole, the value of the emission angle changes over the disk and, in general, is different from the value of the inclination angle of the disk because of the light bending in the strong gravitational field of the black hole. Current reflection models make some approximations, as calculating a reflection spectrum taking the correct emission angle at every point of the disk into account would be too time-consuming and make the model too slow to analyze observations. In a recent paper, we showed that these approximations are unsuitable to fit high-quality black hole spectra expected from the next generation of X-ray missions. Here, we present a reflection model with improved calculations of the emission angle that solves this problem.

astro-ph.HE

P4GCN: Vertical Federated Social Recommendation with Privacy-Preserving Two-Party Graph Convolution Network

In recent years, graph neural networks (GNNs) have been commonly utilized for social recommendation systems. However, real-world scenarios often present challenges related to user privacy and business constraints, inhibiting direct access to valuable social information from other platforms. While many existing methods have tackled matrix factorization-based social recommendations without direct social data access, developing GNN-based federated social recommendation models under similar conditions remains largely unexplored. To address this issue, we propose a novel vertical federated social recommendation method leveraging privacy-preserving two-party graph convolution networks (P4GCN) to enhance recommendation accuracy without requiring direct access to sensitive social information. First, we introduce a Sandwich-Encryption module to ensure comprehensive data privacy during the collaborative computing process. Second, we provide a thorough theoretical analysis of the privacy guarantees, considering the participation of both curious and honest parties. Extensive experiments on four real-world datasets demonstrate that P4GCN outperforms state-of-the-art methods in terms of recommendation accuracy.

cs.SI

Machine Learning Insides OptVerse AI Solver: Design Principles and Applications

In an era of digital ubiquity, efficient resource management and decision-making are paramount across numerous industries. To this end, we present a comprehensive study on the integration of machine learning (ML) techniques into Huawei Cloud's OptVerse AI Solver, which aims to mitigate the scarcity of real-world mathematical programming instances, and to surpass the capabilities of traditional optimization techniques. We showcase our methods for generating complex SAT and MILP instances utilizing generative models that mirror multifaceted structures of real-world problem. Furthermore, we introduce a training framework leveraging augmentation policies to maintain solvers' utility in dynamic environments. Besides the data generation and augmentation, our proposed approaches also include novel ML-driven policies for personalized solver strategies, with an emphasis on applications like graph convolutional networks for initial basis selection and reinforcement learning for advanced presolving and cut selection. Additionally, we detail the incorporation of state-of-the-art parameter tuning algorithms which markedly elevate solver performance. Compared with traditional solvers such as Cplex and SCIP, our ML-augmented OptVerse AI Solver demonstrates superior speed and precision across both established benchmarks and real-world scenarios, reinforcing the practical imperative and effectiveness of machine learning techniques in mathematical programming solvers.

cs.AI

A Lipschitz Bandits Approach for Continuous Hyperparameter Optimization

One of the most critical problems in machine learning is HyperParameter Optimization (HPO), since choice of hyperparameters has a significant impact on final model performance. Although there are many HPO algorithms, they either have no theoretical guarantees or require strong assumptions. To this end, we introduce BLiE -- a Lipschitz-bandit-based algorithm for HPO that only assumes Lipschitz continuity of the objective function. BLiE exploits the landscape of the objective function to adaptively search over the hyperparameter space. Theoretically, we show that $(i)$ BLiE finds an $ε$-optimal hyperparameter with $\mathcal{O} \left( ε^{-(d_z + β)}\right)$ total budgets, where $d_z$ and $β$ are problem intrinsic; $(ii)$ BLiE is highly parallelizable. Empirically, we demonstrate that BLiE outperforms the state-of-the-art HPO algorithms on benchmark tasks. We also apply BLiE to search for noise schedule of diffusion models. Comparison with the default schedule shows that BLiE schedule greatly improves the sampling speed.

cs.LG

Meta-Learning PAC-Bayes Priors in Model Averaging

Nowadays model uncertainty has become one of the most important problems in both academia and industry. In this paper, we mainly consider the scenario in which we have a common model set used for model averaging instead of selecting a single final model via a model selection procedure to account for this model's uncertainty to improve the reliability and accuracy of inferences. Here one main challenge is to learn the prior over the model set. To tackle this problem, we propose two data-based algorithms to get proper priors for model averaging. One is for meta-learner, the analysts should use historical similar tasks to extract the information about the prior. The other one is for base-learner, a subsampling method is used to deal with the data step by step. Theoretically, an upper bound of risk for our algorithm is presented to guarantee the performance of the worst situation. In practice, both methods perform well in simulations and real data studies, especially with poor-quality data.

cs.LG

On Effective Scheduling of Model-based Reinforcement Learning

Model-based reinforcement learning has attracted wide attention due to its superior sample efficiency. Despite its impressive success so far, it is still unclear how to appropriately schedule the important hyperparameters to achieve adequate performance, such as the real data ratio for policy optimization in Dyna-style model-based algorithms. In this paper, we first theoretically analyze the role of real data in policy training, which suggests that gradually increasing the ratio of real data yields better performance. Inspired by the analysis, we propose a framework named AutoMBPO to automatically schedule the real data ratio as well as other hyperparameters in training model-based policy optimization (MBPO) algorithm, a representative running case of model-based methods. On several continuous control tasks, the MBPO instance trained with hyperparameters scheduled by AutoMBPO can significantly surpass the original one, and the real data ratio schedule found by AutoMBPO shows consistency with our theoretical analysis.

cs.LG

EFMVFL: An Efficient and Flexible Multi-party Vertical Federated Learning without a Third Party

Federated learning allows multiple participants to conduct joint modeling without disclosing their local data. Vertical federated learning (VFL) handles the situation where participants share the same ID space and different feature spaces. In most VFL frameworks, to protect the security and privacy of the participants' local data, a third party is needed to generate homomorphic encryption key pairs and perform decryption operations. In this way, the third party is granted the right to decrypt information related to model parameters. However, it isn't easy to find such a credible entity in the real world. Existing methods for solving this problem are either communication-intensive or unsuitable for multi-party scenarios. By combining secret sharing and homomorphic encryption, we propose a novel VFL framework without a third party called EFMVFL, which supports flexible expansion to multiple participants with low communication overhead and is applicable to generalized linear models. We give instantiations of our framework under logistic regression and Poisson regression. Theoretical analysis and experiments show that our framework is secure, more efficient, and easy to be extended to multiple participants.

cs.LG

MOFA: Modular Factorial Design for Hyperparameter Optimization

This paper presents a novel and lightweight hyperparameter optimization (HPO) method, MOdular FActorial Design (MOFA). MOFA pursues several rounds of HPO, where each round alternates between exploration of hyperparameter space by factorial design and exploitation of evaluation results by factorial analysis. Each round first explores the configuration space by constructing a low-discrepancy set of hyperparameters that cover this space well while de-correlating hyperparameters, and then exploits evaluation results through factorial analysis that determines which hyperparameters should be further explored and which should become fixed in the next round. We prove that the inference of MOFA achieves higher confidence than other sampling schemes. Each individual round is highly parallelizable and hence offers major improvements of efficiency compared to model-based methods. Empirical results show that MOFA achieves better effectiveness and efficiency compared with state-of-the-art methods.

cs.LG

An Asymptotically Optimal Multi-Armed Bandit Algorithm and Hyperparameter Optimization

The evaluation of hyperparameters, neural architectures, or data augmentation policies becomes a critical model selection problem in advanced deep learning with a large hyperparameter search space. In this paper, we propose an efficient and robust bandit-based algorithm called Sub-Sampling (SS) in the scenario of hyperparameter search evaluation. It evaluates the potential of hyperparameters by the sub-samples of observations and is theoretically proved to be optimal under the criterion of cumulative regret. We further combine SS with Bayesian Optimization and develop a novel hyperparameter optimization algorithm called BOSS. Empirical studies validate our theoretical arguments of SS and demonstrate the superior performance of BOSS on a number of applications, including Neural Architecture Search (NAS), Data Augmentation (DA), Object Detection (OD), and Reinforcement Learning (RL).

stat.ML

AABO: Adaptive Anchor Box Optimization for Object Detection via Bayesian Sub-sampling

Most state-of-the-art object detection systems follow an anchor-based diagram. Anchor boxes are densely proposed over the images and the network is trained to predict the boxes position offset as well as the classification confidence. Existing systems pre-define anchor box shapes and sizes and ad-hoc heuristic adjustments are used to define the anchor configurations. However, this might be sub-optimal or even wrong when a new dataset or a new model is adopted. In this paper, we study the problem of automatically optimizing anchor boxes for object detection. We first demonstrate that the number of anchors, anchor scales and ratios are crucial factors for a reliable object detection system. By carefully analyzing the existing bounding box patterns on the feature hierarchy, we design a flexible and tight hyper-parameter space for anchor configurations. Then we propose a novel hyper-parameter optimization method named AABO to determine more appropriate anchor boxes for a certain dataset, in which Bayesian Optimization and subsampling method are combined to achieve precise and efficient anchor configuration optimization. Experiments demonstrate the effectiveness of our proposed method on different detectors and datasets, e.g. achieving around 2.4% mAP improvement on COCO, 1.6% on ADE and 1.5% on VG, and the optimal anchors can bring 1.4% to 2.4% mAP improvement on SOTA detectors by only optimizing anchor configurations, e.g. boosting Mask RCNN from 40.3% to 42.3%, and HTC detector from 46.8% to 48.2%.

cs.CV

A Fiber Optoacoustic Emitter with Maximized Conversion Efficiency and Controlled Ultrasound Frequency for Biomedical Applications

Focused ultrasound has attracted great attention in minimally invasive therapy, gene delivery, brain stimulation, etc. Frequency below 1 MHz has been identified preferable for high-efficacy drug delivery, gene transfection and neurostimulation due to minimized tissue heating and cell fragmentation. However, the poor spatial resolution of several millimeters and the large device diameter of ~25 mm of current sub-MHz ultrasound technology severely hinders its further applications for effective, precise, safe and wearable biomedical studies and clinical use. To address this issue, we report the development of a novel fiber-based optoacoustic emitter (FOE). The FOE, a new miniaturized ultrasound source, is composed of an optical diffusion coating layer and an expansion coating layer at an optical fiber distal end with a diameter of approximately 500 microns. Taking advantage of the fiber size and diffusive nanoparticles introduced, the ultrasound generated by the FOEs showed a spatial confinement of sub-millimeter. The optoacoustic conversion efficiency was maximized through choosing absorbing nanomaterials and thermal expansion matrix. Controllable frequencies in the range of 0.083 MHz to 5.500 MHz were achieved through using the diffusion layer as a damping material or modifying the nano-composition in the expansion layer. This sub-MHz frequency controllability allows FOEs to be used as a localized ultrasound source for precise cell modulation. We demonstrated optoacoustic cell membrane sonoporation with a localization of sub-millimeter and negligible heat deposition, implicating its broad biomedical applications, including region-specific drug delivery, gene transfection as well as localized neuron stimulation.

physics.med-ph

Plasmon-enhanced Stimulated Raman Scattering Microscopy with Single-molecule Detection Sensitivity

Stimulated Raman scattering (SRS) microscopy allows for high-speed label-free chemical imaging of biomedical systems. The imaging sensitivity of SRS microscopy is limited to ~10 mM for endogenous biomolecules. Electronic pre-resonant SRS allows detection of sub-micromolar chromophores. However, label-free SRS detection of single biomolecules having extremely small Raman cross-sections (~10-30 cm2 sr-1) remains unreachable. Here, we demonstrate plasmon-enhanced stimulated Raman scattering (PESRS) microscopy with single-molecule detection sensitivity. Incorporating pico-Joule laser excitation, background subtraction, and a denoising algorithm, we obtained robust single-pixel SRS spectra exhibiting the statistics of single-molecule events. Single-molecule detection was verified by using two isotopologues of adenine. We further demonstrated the capability of applying PESRS for biological applications and utilized PESRS to map adenine released from bacteria due to starvation stress. PESRS microscopy holds the promise for ultrasensitive detection of molecular events in chemical and biomedical systems.

physics.optics