Catalog footprint

What is connected

91works
31topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

91 published item(s)

preprint2026arXiv

AlphaGRPO: Unlocking Self-Reflective Multimodal Generation in UMMs via Decompositional Verifiable Reward

In this paper, we propose AlphaGRPO, a novel framework that applies Group Relative Policy Optimization (GRPO) to AR-Diffusion Unified Multimodal Models (UMMs) to enhance multimodal generation capabilities without an additional cold-start stage. Our approach unlocks the model's intrinsic potential to perform advanced reasoning tasks: Reasoning Text-to-Image Generation, where the model actively infers implicit user intents, and Self-Reflective Refinement, where it autonomously diagnoses and corrects misalignments in generated outputs. To address the challenge of providing stable supervision for real-world multimodal generation, we introduce the Decompositional Verifiable Reward (DVReward). Unlike holistic scalar rewards, DVReward utilizes an LLM to decompose complex user requests into atomic, verifiable semantic and quality questions, which are then evaluated by a general MLLM to provide reliable and interpretable feedback. Extensive experiments demonstrate that AlphaGRPO yields robust improvements across multimodal generation benchmarks, including GenEval, TIIF-Bench, DPG-Bench and WISE, while also achieving significant gains in editing tasks on GEdit without training on editing tasks. These results validate that our self-reflective reinforcement approach effectively leverages inherent understanding to guide high-fidelity generation. Project page: https://huangrh99.github.io/AlphaGRPO/

preprint2026arXiv

DHI: Leveraging Diverse Hallucination Induction for Enhanced Contrastive Factuality Control in Large Language Models

Large language models (LLMs) frequently produce inaccurate or fabricated information, known as "hallucinations," which compromises their reliability. Existing approaches often train an "Evil LLM" to deliberately generate hallucinations on curated datasets, using these induced hallucinations to guide contrastive decoding against a reliable "positive model" for hallucination mitigation. However, this strategy is limited by the narrow diversity of hallucinations induced, as Evil LLMs trained on specific error types tend to reproduce only these particular patterns, thereby restricting their overall effectiveness. To address these limitations, we propose DHI (Diverse Hallucination Induction), a novel training framework that enables the Evil LLM to generate a broader range of hallucination types without relying on pre-annotated hallucination data. DHI employs a modified loss function that down-weights the generation of specific factually correct tokens, encouraging the Evil LLM to produce diverse hallucinations at targeted positions while maintaining overall factual content. Additionally, we introduce a causal attention masking adaptation to reduce the impact of this penalization on the generation of subsequent tokens. During inference, we apply an adaptive rationality constraint that restricts contrastive decoding to tokens where the positive model exhibits high confidence, thereby avoiding unnecessary penalties on factually correct tokens. Extensive empirical results show that DHI achieves significant performance gains over other contrastive decoding-based approaches across multiple hallucination benchmarks.

preprint2026arXiv

Leveraging Verifier-Based Reinforcement Learning in Image Editing

While Reinforcement Learning from Human Feedback (RLHF) has become a pivotal paradigm for text-to-image generation, its application to image editing remains largely unexplored. A key bottleneck is the lack of a robust general reward model for all editing tasks. Existing edit reward models usually give overall scores without detailed checks, ignoring different instruction requirements and causing biased rewards. To address this, we argue that the key is to move from a simple scorer to a reasoning verifier. We introduce Edit-R1, a framework that builds a chain-of-thought (CoT) verifier-based reasoning reward model (RRM) and then leverages it for downstream image editing. The Edit-RRM breaks instructions into distinct principles, evaluates the edited image against each principle, and aggregates these checks into an interpretable, fine-grained reward. To build such an RRM, we first apply supervised fine-tuning (SFT) as a ``cold-start'' to generate CoT reward trajectories. Then, we introduce Group Contrastive Preference Optimization (GCPO), a reinforcement learning algorithm that leverages human pairwise preference data to reinforce our pointwise RRM. After building the RRM, we use GRPO to train editing models with this non-differentiable yet powerful reward model. Extensive experiments demonstrate that our Edit-RRM surpasses powerful VLMs such as Seed-1.5-VL and Seed-1.6-VL as an editing-specific reward model, and we observe a clear scaling trend, with performance consistently improving from 3B to 7B parameters. Moreover, Edit-R1 delivers gains to editing models like FLUX.1-kontext, highlighting its effectiveness in enhancing image editing.

preprint2026arXiv

Persistent magnitude homology on finite metric space

Magnitude homology is an emerging framework that captures the intrinsic topological and geometric features of metric spaces, demonstrating significant potential for topoplogical data analysis and geometric data analysis. This work introduces persistent magnitude homology, an extension of magnitude homology that captures multi-scale geometric and topological features of metric spaces. We construct the category of finite metric spaces with isometric embeddings and show that magnitude homology defines a functor to the category of abelian groups, naturally leading to the definition of persistent magnitude homology. We also introduce weighted persistent modules and weighted barcodes to offer both an algebraic and visual description of persistent magnitude homology. Additionally, we present an isometry theorem that relates interleaving distances and bottleneck distances, and establish stability results for persistent magnitude homology and magnitude profile. These results establish the stability of magnitude-based descriptors, bridging the gap between theory and practical application.

preprint2026arXiv

SongSage: A Large Musical Language Model with Lyric Generative Pre-training

Large language models have achieved significant success in various domains, yet their understanding of lyric-centric knowledge has not been fully explored. In this work, we first introduce PlaylistSense, a dataset to evaluate the playlist understanding capability of language models. PlaylistSense encompasses ten types of user queries derived from common real-world perspectives, challenging LLMs to accurately grasp playlist features and address diverse user intents. Comprehensive evaluations indicate that current general-purpose LLMs still have potential for improvement in playlist understanding. Inspired by this, we introduce SongSage, a large musical language model equipped with diverse lyric-centric intelligence through lyric generative pretraining. SongSage undergoes continual pretraining on LyricBank, a carefully curated corpus of 5.48 billion tokens focused on lyrical content, followed by fine-tuning with LyricBank-SFT, a meticulously crafted instruction set comprising 775k samples across nine core lyric-centric tasks. Experimental results demonstrate that SongSage exhibits a strong understanding of lyric-centric knowledge, excels in rewriting user queries for zero-shot playlist recommendations, generates and continues lyrics effectively, and performs proficiently across seven additional capabilities. Beyond its lyric-centric expertise, SongSage also retains general knowledge comprehension and achieves a competitive MMLU score. We will keep the datasets inaccessible due to copyright restrictions and release the SongSage and training script to ensure reproducibility and support music AI research and applications, the datasets release plan details are provided in the appendix.

preprint2025arXiv

OnlineVPO: Align Video Diffusion Model with Online Video-Centric Preference Optimization

Video diffusion models (VDMs) have demonstrated remarkable capabilities in text-to-video (T2V) generation. Despite their success, VDMs still suffer from degraded image quality and flickering artifacts. To address these issues, some approaches have introduced preference learning to exploit human feedback to enhance the video generation. However, these methods primarily adopt the routine in the image domain without an in-depth investigation into video-specific preference optimization. In this paper, we reexamine the design of the video preference learning from two key aspects: feedback source and feedback tuning methodology, and present OnlineVPO, a more efficient preference learning framework tailored specifically for VDMs. On the feedback source, we found that the image-level reward model commonly used in existing methods fails to provide a human-aligned video preference signal due to the modality gap. In contrast, video quality assessment (VQA) models show superior alignment with human perception of video quality. Building on this insight, we propose leveraging VQA models as a proxy of humans to provide more modality-aligned feedback for VDMs. Regarding the preference tuning methodology, we introduce an online DPO algorithm tailored for VDMs. It not only enjoys the benefits of superior scalability in optimizing videos with higher resolution and longer duration compared with the existing method, but also mitigates the insufficient optimization issue caused by off-policy learning via online preference generation and curriculum preference update designs. Extensive experiments on the open-source video-diffusion model demonstrate OnlineVPO as a simple yet effective and, more importantly, scalable preference learning algorithm for video diffusion models.

preprint2023arXiv

A Comprehensive Study on Optimizing Systems with Data Processing Units

New hardware, such as SmartNICs, has been released to offload network applications in data centers. Off-path SmartNICs, a type of multi-core SoC SmartNICs, have attracted the attention of many researchers. Unfortunatelly, they lack the fully exploration of off-path SmartNICs. In this paper, we use a BlueField SmartNIC as an example to conduct a systematical study on the advantages and disadvantages of off-path SmartNICs. We make a detailed performance characterization on an off-path SmartNIC including computing power and network communication overhead, and propose the following advices: 1) Directly utilize the specific accelerators on the SmartNIC to offload applications; 2) Offload latency-insensitive background processing to the SmartNIC to reduce the load on the host; 3) Regard the SmartNIC as a new endpoint in the network to expand the computing power and storage resources of the server host; 4) Avoid directly employing the design method for systems based on on-path SmartNICs. We apply these advices to several use cases and show the performance improvements.

preprint2023arXiv

The stability of persistent homology of hypergraphs

Hypergraph is the most general model for complex networks involving group interactions. Taking the ideas of path homology from Alexander Grigor'yan, Yong Lin, Yuri Muranov and Shing-Tung Yau [18-22], Stephane Bressan, Jingyan Li and the authors of this article introduced embedded homology of hypergraphs [6] in 2019, which has leaded to successful applications in protein-ligand binding network [24, 25] in 2021. A fundamental question arising from practical applications is about the stability of the persistent embedded homology of hypergraphs. In this paper, we prove the stability of the persistent embedded homology as well as the persistent homology of the associated simplicial complex with respect to perturbations of the filtration on a hypergraph. We apply the persistent homology methods to morphisms of hypergraphs and prove the stability with respect to perturbations of the filtrations. We prove the constancy of the persistent Betti numbers under some conditions on the simple-homotopy types of hypergraphs.

preprint2022arXiv

Approaching the Fundamental Limit of Orbital Angular Momentum Multiplexing Through a Hologram Metasurface

Establishing and approaching the fundamental limit of orbital angular momentum (OAM) multiplexing are necessary and increasingly urgent for current multiple-input multiple-output research. In this work, we elaborate the fundamental limit in terms of independent scattering channels (or degrees of freedom of scattered fields) through angular-spectral analysis, in conjunction with a rigorous Green function method. The scattering channel limit is universal for arbitrary spatial mode multiplexing, which is launched by a planar electromagnetic device, such as antenna, metasurface, etc, with a predefined physical size. As a proof of concept, we demonstrate both theoretically and experimentally the limit by a metasurface hologram that transforms orthogonal OAM modes to plane-wave modes scattered at critically separated angular-spectral regions. Particularly, a minimax optimization algorithm is applied to suppress angular spectrum aliasing, achieving good performances in both full-wave simulation and experimental measurement at microwave frequencies. This work offers a theoretical upper bound and corresponding approach route for engineering designs of OAM multiplexing.

preprint2022arXiv

Maps on random hypergraphs and random simplicial complexes

Let $L$ be a simplicial complex. In this paper, we study random sub-hypergraphs and random sub-complexes of $L$. By considering the minimal complex that a sub-hypergraph can be embedded in and the maximal complex that can be embedded in a sub-hypergraph, we define some maps on the space of probability functions on sub-hypergraphs of $L$. We study the compositions of these maps as well as their actions on the space of probability functions.

preprint2022arXiv

Multi-Granularity Distillation Scheme Towards Lightweight Semi-Supervised Semantic Segmentation

Albeit with varying degrees of progress in the field of Semi-Supervised Semantic Segmentation, most of its recent successes are involved in unwieldy models and the lightweight solution is still not yet explored. We find that existing knowledge distillation techniques pay more attention to pixel-level concepts from labeled data, which fails to take more informative cues within unlabeled data into account. Consequently, we offer the first attempt to provide lightweight SSSS models via a novel multi-granularity distillation (MGD) scheme, where multi-granularity is captured from three aspects: i) complementary teacher structure; ii) labeled-unlabeled data cooperative distillation; iii) hierarchical and multi-levels loss setting. Specifically, MGD is formulated as a labeled-unlabeled data cooperative distillation scheme, which helps to take full advantage of diverse data characteristics that are essential in the semi-supervised setting. Image-level semantic-sensitive loss, region-level content-aware loss, and pixel-level consistency loss are set up to enrich hierarchical distillation abstraction via structurally complementary teachers. Experimental results on PASCAL VOC2012 and Cityscapes reveal that MGD can outperform the competitive approaches by a large margin under diverse partition protocols. For example, the performance of ResNet-18 and MobileNet-v2 backbone is boosted by 11.5% and 4.6% respectively under 1/16 partition protocol on Cityscapes. Although the FLOPs of the model backbone is compressed by 3.4-5.3x (ResNet-18) and 38.7-59.6x (MobileNetv2), the model manages to achieve satisfactory segmentation results.

preprint2022arXiv

On Modular Cohomotopy Groups

Let $p$ be a prime and let $π^n(X;\mathbb{Z}/p^r)=[X,M_n(\mathbb{Z}/p^r)]$ be the set of homotopy classes of based maps from CW-complexes $X$ into the mod $p^r$ Moore spaces $M_n(\mathbb{Z}/p^r)$ of degree $n$, where $\mathbb{Z}/p^r$ denotes the integers mod $p^r$. In this paper we firstly determine the modular cohomotopy groups $π^n(X;\mathbb{Z}/p^r)$ up to extensions by classical methods of primary cohomology operations and give conditions for the splitness of the extensions. Secondly we utilize some unstable homotopy theory of Moore spaces to study the modular cohomotopy groups; especially, the group $π^3(X;\mathbb{Z}_{(2)})$ with $\dim(X)\leq 6$ is determined.

preprint2022arXiv

On the Cayley-persistence algebra

In this paper, we introduce a persistent (co)homology theory for Cayley digraph grading. We give the algebraic structures of Cayley-persistence object. Specifically, we consider the module structure of persistent (co)homology and show the decomposition of a finitely generated Cayley-persistence module. Moreover, we introduce the persistence-cup product on the Cayley-persistence module and study the twisted structure with respect to the persistence-cup product. As an application on manifolds, we show that the persistent (co)homology is closely related to the persistent map of fundamental classes.

preprint2022arXiv

Opencpop: A High-Quality Open Source Chinese Popular Song Corpus for Singing Voice Synthesis

This paper introduces Opencpop, a publicly available high-quality Mandarin singing corpus designed for singing voice synthesis (SVS). The corpus consists of 100 popular Mandarin songs performed by a female professional singer. Audio files are recorded with studio quality at a sampling rate of 44,100 Hz and the corresponding lyrics and musical scores are provided. All singing recordings have been phonetically annotated with phoneme boundaries and syllable (note) boundaries. To demonstrate the reliability of the released data and to provide a baseline for future research, we built baseline deep neural network-based SVS models and evaluated them with both objective metrics and subjective mean opinion score (MOS) measure. Experimental results show that the best SVS model trained on our database achieves 3.70 MOS, indicating the reliability of the provided corpus. Opencpop is released to the open-source community WeNet, and the corpus, as well as synthesized demos, can be found on the project homepage.

preprint2022arXiv

Parallel Pre-trained Transformers (PPT) for Synthetic Data-based Instance Segmentation

Recently, Synthetic data-based Instance Segmentation has become an exceedingly favorable optimization paradigm since it leverages simulation rendering and physics to generate high-quality image-annotation pairs. In this paper, we propose a Parallel Pre-trained Transformers (PPT) framework to accomplish the synthetic data-based Instance Segmentation task. Specifically, we leverage the off-the-shelf pre-trained vision Transformers to alleviate the gap between natural and synthetic data, which helps to provide good generalization in the downstream synthetic data scene with few samples. Swin-B-based CBNet V2, SwinL-based CBNet V2 and Swin-L-based Uniformer are employed for parallel feature learning, and the results of these three models are fused by pixel-level Non-maximum Suppression (NMS) algorithm to obtain more robust results. The experimental results reveal that PPT ranks first in the CVPR2022 AVA Accessibility Vision and Autonomy Challenge, with a 65.155% mAP.

preprint2022arXiv

ScalableViT: Rethinking the Context-oriented Generalization of Vision Transformer

The vanilla self-attention mechanism inherently relies on pre-defined and steadfast computational dimensions. Such inflexibility restricts it from possessing context-oriented generalization that can bring more contextual cues and global representations. To mitigate this issue, we propose a Scalable Self-Attention (SSA) mechanism that leverages two scaling factors to release dimensions of query, key, and value matrices while unbinding them with the input. This scalability fetches context-oriented generalization and enhances object sensitivity, which pushes the whole network into a more effective trade-off state between accuracy and cost. Furthermore, we propose an Interactive Window-based Self-Attention (IWSA), which establishes interaction between non-overlapping regions by re-merging independent value tokens and aggregating spatial information from adjacent windows. By stacking the SSA and IWSA alternately, the Scalable Vision Transformer (ScalableViT) achieves state-of-the-art performance in general-purpose vision tasks. For example, ScalableViT-S outperforms Twins-SVT-S by 1.4% and Swin-T by 1.8% on ImageNet-1K classification.

preprint2022arXiv

Soft-CP: A Credible and Effective Data Augmentation for Semantic Segmentation of Medical Lesions

The medical datasets are usually faced with the problem of scarcity and data imbalance. Moreover, annotating large datasets for semantic segmentation of medical lesions is domain-knowledge and time-consuming. In this paper, we propose a new object-blend method(short in soft-CP) that combines the Copy-Paste augmentation method for semantic segmentation of medical lesions offline, ensuring the correct edge information around the lession to solve the issue above-mentioned. We proved the method's validity with several datasets in different imaging modalities. In our experiments on the KiTS19[2] dataset, Soft-CP outperforms existing medical lesions synthesis approaches. The Soft-CP augementation provides gains of +26.5% DSC in the low data regime(10% of data) and +10.2% DSC in the high data regime(all of data), In offline training data, the ratio of real images to synthetic images is 3:1.

preprint2022arXiv

TRT-ViT: TensorRT-oriented Vision Transformer

We revisit the existing excellent Transformers from the perspective of practical application. Most of them are not even as efficient as the basic ResNets series and deviate from the realistic deployment scenario. It may be due to the current criterion to measure computation efficiency, such as FLOPs or parameters is one-sided, sub-optimal, and hardware-insensitive. Thus, this paper directly treats the TensorRT latency on the specific hardware as an efficiency metric, which provides more comprehensive feedback involving computational capacity, memory cost, and bandwidth. Based on a series of controlled experiments, this work derives four practical guidelines for TensorRT-oriented and deployment-friendly network design, e.g., early CNN and late Transformer at stage-level, early Transformer and late CNN at block-level. Accordingly, a family of TensortRT-oriented Transformers is presented, abbreviated as TRT-ViT. Extensive experiments demonstrate that TRT-ViT significantly outperforms existing ConvNets and vision Transformers with respect to the latency/accuracy trade-off across diverse visual tasks, e.g., image classification, object detection and semantic segmentation. For example, at 82.7% ImageNet-1k top-1 accuracy, TRT-ViT is 2.7$\times$ faster than CSWin and 2.0$\times$ faster than Twins. On the MS-COCO object detection task, TRT-ViT achieves comparable performance with Twins, while the inference speed is increased by 2.8$\times$.

preprint2021arXiv

Emergence of high-temperature superconductivity at the interface of two Mott insulators

Interfacial superconductivity has manifested itself in various types of heterostructures: band insulator-band insulator, band insulator-Mott insulator, and Mott insulator-metal. We report the observation of high-temperature superconductivity (HTS) in a complementary and long expected type of heterostructures, which consists of two Mott insulators, La2CuO4 (LCO) and PrBa2Cu3O7 (PBCO). By carefully controlling oxidization condition and selectively doping CuO2 planes with Fe atoms, which suppress superconductivity, we found that the superconductivity arises at the LCO side and is confined within no more than two unit cells (about 2.6 nm) near the interface. A phenomenon of overcome the Fe barrier will show up if excess oxygen is present during growth. Some possible mechanisms for the interfacial HTS have been discussed, and we attribute it to the redistribution of oxygen.

preprint2020arXiv

A Discrete Morse Theory for Hypergraphs

A hypergraph can be obtained from a simplicial complex by deleting some non-maximal simplices. By [11], a hypergraph gives an associated simplicial complex. By [4], the embedded homology of a hypergraph is the homology of the infimum chain complex, or equivalently, the homology of the supremum chain complex. In this paper, we generalize the discrete Morse theory for simplicial complexes by R. Forman [5-7] and give a discrete Morse theory for hypergraphs. We use the critical simplices of the associated simplicial complex to construct a sub-chain complex of the infimum chain complex and a sub-chain complex of the supremum chain complex, then prove that the embedded homology of a hypergraph is isomorphic to the homology of the constructed chain complexes. Moreover, we define discrete Morse functions on hypergraphs and compute the embedded homology in terms of the critical hyperedges. As by-products, we derive some Morse inequalities and collapse results for hypergraphs.

preprint2020arXiv

Adversarially Trained Multi-Singer Sequence-To-Sequence Singing Synthesizer

This paper presents a high quality singing synthesizer that is able to model a voice with limited available recordings. Based on the sequence-to-sequence singing model, we design a multi-singer framework to leverage all the existing singing data of different singers. To attenuate the issue of musical score unbalance among singers, we incorporate an adversarial task of singer classification to make encoder output less singer dependent. Furthermore, we apply multiple random window discriminators (MRWDs) on the generated acoustic features to make the network be a GAN. Both objective and subjective evaluations indicate that the proposed synthesizer can generate higher quality singing voice than baseline (4.12 vs 3.53 in MOS). Especially, the articulation of high-pitched vowels is significantly enhanced.

preprint2020arXiv

Fine-Grained Image Captioning with Global-Local Discriminative Objective

Significant progress has been made in recent years in image captioning, an active topic in the fields of vision and language. However, existing methods tend to yield overly general captions and consist of some of the most frequent words/phrases, resulting in inaccurate and indistinguishable descriptions (see Figure 1). This is primarily due to (i) the conservative characteristic of traditional training objectives that drives the model to generate correct but hardly discriminative captions for similar images and (ii) the uneven word distribution of the ground-truth captions, which encourages generating highly frequent words/phrases while suppressing the less frequent but more concrete ones. In this work, we propose a novel global-local discriminative objective that is formulated on top of a reference model to facilitate generating fine-grained descriptive captions. Specifically, from a global perspective, we design a novel global discriminative constraint that pulls the generated sentence to better discern the corresponding image from all others in the entire dataset. From the local perspective, a local discriminative constraint is proposed to increase attention such that it emphasizes the less frequent but more concrete words/phrases, thus facilitating the generation of captions that better describe the visual details of the given images. We evaluate the proposed method on the widely used MS-COCO dataset, where it outperforms the baseline methods by a sizable margin and achieves competitive performance over existing leading approaches. We also conduct self-retrieval experiments to demonstrate the discriminability of the proposed method.

preprint2020arXiv

Improved VIV response prediction using adaptive parameters and data clustering

Slender marine structures such as deep-water riser systems are continuously exposed to currents leading to vortex-induced vibrations (VIV) of the structure. This may result in amplified drag loads and fast accumulation of fatigue damage. Consequently, accurate prediction of VIV responses is of great importance for the safe design and operation of marine risers. Model tests with elastic pipes have shown that VIV responses are influenced by many structural and hydrodynamic parameters, which have not been fully modelled in present frequency domain VIV prediction tools. Traditionally, predictions have been computed using a single set of hydrodynamic parameters, often leading to inconsistent prediction accuracy when compared with observed field measurements and experimental data. Hence, it is necessary to implement a high safety factor of 10 - 20 in the riser design, which increases development cost and adds extra constraints in the field operation. One way to compensate for the simplifications in the mathematical prediction model is to apply adaptive parameters to describe different riser responses. The objective of this work is to demonstrate a new method to improve the prediction consistency and accuracy by applying adaptive hydrodynamic parameters. In the present work, a four-step approach has been proposed: First, the measured VIV response will be analysed to identify key parameters to represent the response characteristics. These parameters will be grouped using data clustering algorithms. Secondly, optimal hydrodynamic parameters will be identified for each data group by optimisation against measured data. Thirdly, the VIV response using the obtained parameters will be calculated and the prediction accuracy evaluated. The correct hydrodynamic parameters to be used for new cases can be obtained from the clustering. This concept has been demonstrated with examples from experimental data.

preprint2020arXiv

Lifting theorem for the virtual pure braid groups

In this article we prove theorem on Lifting for the set of virtual pure braid groups. This theorem says that if we know presentation of virtual pure braid group $VP_4$, then we can find presentation of $VP_n$ for arbitrary $n > 4$. Using this theorem we find the set of generators and defining relations for simplicial group $T_*$ which was defined in the previuos article of the authors. We find a decomposition of the Artin pure braid group $P_n$ in semi-direct product of free groups in the cabled generators.

preprint2020arXiv

Reinforcement Learning for Weakly Supervised Temporal Grounding of Natural Language in Untrimmed Videos

Temporal grounding of natural language in untrimmed videos is a fundamental yet challenging multimedia task facilitating cross-media visual content retrieval. We focus on the weakly supervised setting of this task that merely accesses to coarse video-level language description annotation without temporal boundary, which is more consistent with reality as such weak labels are more readily available in practice. In this paper, we propose a \emph{Boundary Adaptive Refinement} (BAR) framework that resorts to reinforcement learning (RL) to guide the process of progressively refining the temporal boundary. To the best of our knowledge, we offer the first attempt to extend RL to temporal localization task with weak supervision. As it is non-trivial to obtain a straightforward reward function in the absence of pairwise granular boundary-query annotations, a cross-modal alignment evaluator is crafted to measure the alignment degree of segment-query pair to provide tailor-designed rewards. This refinement scheme completely abandons traditional sliding window based solution pattern and contributes to acquiring more efficient, boundary-flexible and content-aware grounding results. Extensive experiments on two public benchmarks Charades-STA and ActivityNet demonstrate that BAR outperforms the state-of-the-art weakly-supervised method and even beats some competitive fully-supervised ones.

preprint2020arXiv

Tree-Structured Policy based Progressive Reinforcement Learning for Temporally Language Grounding in Video

Temporally language grounding in untrimmed videos is a newly-raised task in video understanding. Most of the existing methods suffer from inferior efficiency, lacking interpretability, and deviating from the human perception mechanism. Inspired by human's coarse-to-fine decision-making paradigm, we formulate a novel Tree-Structured Policy based Progressive Reinforcement Learning (TSP-PRL) framework to sequentially regulate the temporal boundary by an iterative refinement process. The semantic concepts are explicitly represented as the branches in the policy, which contributes to efficiently decomposing complex policies into an interpretable primitive action. Progressive reinforcement learning provides correct credit assignment via two task-oriented rewards that encourage mutual promotion within the tree-structured policy. We extensively evaluate TSP-PRL on the Charades-STA and ActivityNet datasets, and experimental results show that TSP-PRL achieves competitive performance over existing state-of-the-art methods.

preprint2020arXiv

Weighted Fundamental Group

In this paper, we develop and study the theory of weighted fundamental groups of weighted simplicial complexes. When all weights are 1, the weighted fundamental group reduces to the usual fundamental group as a special case. We also study weighted versions of classical theorems like van Kampen's theorem. In addition, we also investigate the abelianization, lower central series and applications of weighted fundamental groups.

preprint2020arXiv

XiaoiceSing: A High-Quality and Integrated Singing Voice Synthesis System

This paper presents XiaoiceSing, a high-quality singing voice synthesis system which employs an integrated network for spectrum, F0 and duration modeling. We follow the main architecture of FastSpeech while proposing some singing-specific design: 1) Besides phoneme ID and position encoding, features from musical score (e.g.note pitch and length) are also added. 2) To attenuate off-key issues, we add a residual connection in F0 prediction. 3) In addition to the duration loss of each phoneme, the duration of all the phonemes in a musical note is accumulated to calculate the syllable duration loss for rhythm enhancement. Experiment results show that XiaoiceSing outperforms the baseline system of convolutional neural networks by 1.44 MOS on sound quality, 1.18 on pronunciation accuracy and 1.38 on naturalness respectively. In two A/B tests, the proposed F0 and duration modeling methods achieve 97.3% and 84.3% preference rate over baseline respectively, which demonstrates the overwhelming advantages of XiaoiceSing.

preprint2019arXiv

Discrete Morse Theory for Weighted Simplicial Complexes

In this paper, we study Forman's discrete Morse theory in the context of weighted homology. We develop weighted versions of classical theorems in discrete Morse theory. A key difference in the weighted case is that simplicial collapses do not necessarily preserve weighted homology. We work out some sufficient conditions for collapses to preserve weighted homology, as well as study the effect of elementary removals on weighted homology. An application to sequence analysis is included, where we study the weighted ordered complexes of sequences.

preprint2019arXiv

PMC-GANs: Generating Multi-Scale High-Quality Pedestrian with Multimodal Cascaded GANs

Recently, generative adversarial networks (GANs) have shown great advantages in synthesizing images, leading to a boost of explorations of using faked images to augment data. This paper proposes a multimodal cascaded generative adversarial networks (PMC-GANs) to generate realistic and diversified pedestrian images and augment pedestrian detection data. The generator of our model applies a residual U-net structure, with multi-scale residual blocks to encode features, and attention residual blocks to help decode and rebuild pedestrian images. The model constructs in a coarse-to-fine fashion and adopts cascade structure, which is beneficial to produce high-resolution pedestrians. PMC-GANs outperforms baselines, and when used for data augmentation, it improves pedestrian detection results.

preprint2016arXiv

An Alternative Method to Implement Contact Angle Boundary Condition on Immersed Surfaces for Phase-Field Simulations

In this paper, we propose an alternative approach to implement the contact angle boundary condition on immersed surfaces for phase-field simulations of two-phase flows using the Cahn-Hilliard equation on a Cartesian mesh. This simple and effective method was inspired by previous works on the geometric formulation of the wetting boundary condition. In two dimensions, by making full use of the hyperbolic tangent profile of the order parameter, we were able to obtain its unknown value at a ghost point from the information at only one point in the fluid. This is in contrast with previous approaches using interpolations involving several points. The special feature allows this method to be easily implemented on immersed surfaces (including curved ones) that cut through the grid lines. It is verified through the study of two examples: (1) the shape of a drop on a circular cylinder with different contact angles; (2) the spreading of a drop on an embedded inclined wall with a given contact angle.

preprint2016arXiv

Degree of diffraction for monochromatic light beams

A parameter, called the degree of diffraction, is defined to describe the diffractive spreading of a monochromatic light beam. The same as the degree of paraxiality that was introduced by Gawhary and Severini in Opt. Lett. 33, 1360 (2008), the degree of diffraction depends only on beam's angular spectrum. With this definition, it is possible to quantitatively compare the diffractive spreading of different light beams.

preprint2016arXiv

Local Behavior of Arithmetical Functions with Applications to Automorphic L-Functions

We derive a Voronoi-type series approximation for the local weighted mean of an arithmetical function that is associated to Dirichlet series satisfying a functional equation with gamma factors. The series is exploited to study the oscillation frequency with a method of Heath-Brown and Tsang [7]. A by-product is another proof for the well-known result of no element in the Selberg class of degree 0 \textless{} d \textless{} 1. Our major applications include the sign-change problem of the coefficients of automorphic L-functions for GL m , which improves significantly some results of Liu and Wu [14]. The cases of modular forms of half-integral weight and Siegel eigenforms are also considered.

preprint2016arXiv

Multi-resource Energy-efficient Routing in Cloud Data Centers with Networks-as-a-Service

With the rapid development of software defined networking and network function virtualization, researchers have proposed a new cloud networking model called Network-as-a-Service (NaaS) which enables both in-network packet processing and application-specific network control. In this paper, we revisit the problem of achieving network energy efficiency in data centers and identify some new optimization challenges under the NaaS model. Particularly, we extend the energy-efficient routing optimization from single-resource to multi-resource settings. We characterize the problem through a detailed model and provide a formal problem definition. Due to the high complexity of direct solutions, we propose a greedy routing scheme to approximate the optimum, where flows are selected progressively to exhaust residual capacities of active nodes, and routing paths are assigned based on the distributions of both node residual capacities and flow demands. By leveraging the structural regularity of data center networks, we also provide a fast topology-aware heuristic method based on hierarchically solving a series of vector bin packing instances. Our simulations show that the proposed routing scheme can achieve significant gain on energy savings and the topology-aware heuristic can produce comparably good results while reducing the computation time to a large extent.

preprint2015arXiv

A combinatorial approach to the exponents of Moore spaces

In this article, we give a combinatorial approach to the exponents of the Moore spaces. Our result states that the projection of the $p^{r+1}$-th power map of the loop space of the $(2n+1)$-dimensional mod $p^r$ Moore space to its atomic piece containing the bottom cell $T^{2n+1}\{p^r\}$ is null homotopic for $n>1$, $p>3$ and $r>1$. This result strengthens the classical result that $ΩT^{2n+1}\{p^r\}$ has an exponent $p^{r+1}$.

preprint2015arXiv

Chern's magic form and the Gauss-Bonnet-Chern mass

In this note, we use Chern's magic form $Φ_k$ in his famous proof of the Gauss-Bonnet theorem to define a mass for asymptotically flat manifolds. It turns out that the new defined mass is equivalent to the one that we introduced recently by using the Gauss-Bonnet-Chern curvature $L_k$. Moreover, this equivalence implies a simple proof of the equivalence between the ADM mass and the intrinsically defined mass via the Ricci tensor, which was reconsidered by Miao-Tam \cite{MT} and Herzlich \cite{H} very recently.

preprint2015arXiv

Homotopy theory and generalized dimension subgroups

Let $G$ be a group and $R,S,T$ its normal subgroups. There is a natural extension of the concept of commutator subgroup for the case of three subgroups $\|R,S,T\|$ as well as the natural extension of the symmetric product $\|\bf r,\bf s,\bf t\|$ for corresponding ideals $\bf r,\bf s, \bf t$ in the integral group ring $\mathbb Z[G]$. In this paper, it is shown that the generalized dimension subgroup $G\cap (1+\|\bf r,\bf s,\bf t\|)$ has exponent 2 modulo $\|R,S,T\|.$ The proof essentially uses homotopy theory. The considered generalized dimension quotient of exponent 2 is identified with a subgroup of the kernel of the Hurewicz homomorphism for the loop space over a homotopy colimit of classifying spaces.

preprint2015arXiv

Loop homological invariants associated to real projective spaces

Let A be a based subspace of Y. Under the assumptions that Y is path-connected and that the reduced diagonal map of A induces the zero map in all mod 2 reduced homology groups, we compute a formula for the mod 2 reduced Poincaré series of the loop space $Ω((A \wedge \mathbb{RP}^\infty) \cup_{A \wedge \mathbb{RP}^1} (Y \wedge \mathbb{RP}^1))$. Here $\mathbb{RP}^\infty$ and $\mathbb{RP}^1$ denote the infinite real projective space and the real projective line respectively.

preprint2015arXiv

Non-vanishing and sign changes of Hecke eigenvalues for half-integral weight cusp forms

In this paper, we consider three problems about signs of the Fourier coefficients of a cusp form $\mathfrak{f}$ with half-integral weight:\begin{itemize}\item[--]The first negative coefficient of the sequence $\{\mathfrak{a}\_{\mathfrak{f}}(tn^2)\}\_{n\in \N}$,\item[--]The number of coefficients $\mathfrak{a}\_{\mathfrak{f}}(tn^2)$ of same signs,\item[--]Non-vanishing of coefficients $\mathfrak{a}\_{\mathfrak{f}}(tn^2)$ in short intervals and in arithmetic progressions,\end{itemize}where $\mathfrak{a}\_{\mathfrak{f}}(n)$ is the $n$-th Fourier coefficient of $\mathfrak{f}$ and $t$ is a square-free integersuch that $\mathfrak{a}\_{\mathfrak{f}}(t)\not=0$.

preprint2015arXiv

On the metastable homotopy of mod 2 Moore spaces

In this article, we study the exponents of metastable homotopy of mod $2$ Moore spaces. Our result gives that the double loop space of $4n$-dimensional mod $2$ Moore spaces has a multiplicative exponent $4$ below the range of $4$ times the connectivity. As a consequence, the homotopy groups of $4n$-dimensional mod $2$ Moore spaces have an exponent $4$ below the range of $4$ times the connectivity.

preprint2015arXiv

Polarimetric Hierarchical Semantic Model and Scattering Mechanism Based PolSAR Image Classification

For polarimetric SAR (PolSAR) image classification, it is a challenge to classify the aggregated terrain types, such as the urban area, into semantic homogenous regions due to sharp bright-dark variations in intensity. The aggregated terrain type is formulated by the similar ground objects aggregated together. In this paper, a polarimetric hierarchical semantic model (PHSM) is firstly proposed to overcome this disadvantage based on the constructions of a primal-level and a middle-level semantic. The primal-level semantic is a polarimetric sketch map which consists of sketch segments as the sparse representation of a PolSAR image. The middle-level semantic is a region map which can extract semantic homogenous regions from the sketch map by exploiting the topological structure of sketch segments. Mapping the region map to the PolSAR image, a complex PolSAR scene is partitioned into aggregated, structural and homogenous pixel-level subspaces with the characteristics of relatively coherent terrain types in each subspace. Then, according to the characteristics of three subspaces above, three specific methods are adopted, and furthermore polarimetric information is exploited to improve the segmentation result. Experimental results on PolSAR data sets with different bands and sensors demonstrate that the proposed method is superior to the state-of-the-art methods in region homogeneity and edge preservation for terrain classification.

preprint2015arXiv

Some Problems on Knots, Braids, and Automorphism Groups

We present and discuss some open problems formulated by participants of the International Workshop "Knots, Braids, and Auto\-mor\-phism Groups" held in Novosibirsk, 2014. Problems are related to palindromic and commutator widths of groups; properties of Brunnian braids and two-colored braids, corresponding to an amalgamation of groups; extreme properties of hyperbolic 3-orbifold groups, relations between inner and quasi-inner automorphisms of groups; and Staic's construction of symmetric cohomology of groups.

preprint2015arXiv

The number of coefficients of automorphic $L$-functions for $GL_m$ of same signs

Let $π$ be an irreducible unitary cuspidal representation for $GL_m({\Bbb A}_{\Bbb Q})$, and let $L(s, π)$ be the automorphic $L$-function attached to $π$, which has a Dirichlet series expression in the half-plane $\mbox{Re} s>1$. When $π$ is self-contragredient, all the coefficients in the Dirichlet series expression are real. In this paper we give non-trivial lower bounds for the number of positive and negative coefficients, respectively.

preprint2014arXiv

Homotopy types of moment-angle complexes for flag complexes

We study the homotopy types of moment-angle complexes, or equivalently, of complements of coordinate subspace arrangements. The overall aim is to identify the simplicial complexes K for which the corresponding moment-angle complex Z_K has the homotopy type of a wedge of spheres or a connected sum of sphere products. When K is flag, we identify in algebraic and combinatorial terms those K for which Z_K is homotopy equivalent to a wedge of spheres, and give a combinatorial formula for the number of spheres in the wedge. This extends results of Berglund and Joellenbeck on Golod rings and homotopy theoretical results of the first and third authors. We also establish a connection between minimally non-Golod rings and moment-angle complexes Z_K which are homotopy equivalent to a connected sum of sphere products. We go on to show that for any flag complex K the loop spaces of Z_K and DJ(K) are homotopy equivalent to a product of spheres and loops on spheres when localised rationally or at any odd prime.

preprint2014arXiv

Kinematics of Clustering

The dynamical system for inertial particles in fluid flow has both attracting and repelling regions, the interplay of which can localize particles. In laminar flow experiments we find that particles, initially moving throughout the fluid domain, can undergo an instability and cluster into subdomains of the fluid when the flow Reynolds number exceeds a critical value that depends on particle and fluid inertia. We derive an expression for the instability boundary and for a universal curve that describes the clustering rate for all particles.

preprint2014arXiv

The Homotopy Type of a Poincaré Duality Complex after Looping

We answer a weaker version of the classification problem for the homotopy types of $(n-2)$-connected closed orientable $(2n-1)$-manifolds. Let $n\geq 6$ be an even integer, and $X$ be a $(n-2)$-connected finite orientable Poincaré $(2n-1)$-complex such that $H^{n-1}(X;\mathbb{Q})=0$ and $H^{n-1}(X;\mathbb{Z}_2)=0$. Then its loop space homotopy type is uniquely determined by the action of higher Bockstein operations on $H^{n-1}(X;\mathbb{Z}_p)$ for each odd prime $p$. A stronger result is obtained when localized at odd primes.

preprint2013arXiv

A new characterization of geodesic spheres in the Hyperbolic space

This paper gives a new characterization of geodesic spheres in the hyperbolic space in terms of a ``weighted'' higher order mean curvature. Precisely, we show that a compact hypersurface $Σ^{n-1}$ embedded in $\H^n$ with $VH_k$ being constant for some $k=1,\cdots,n-1$ is a centered geodesic sphere. Here $H_k$ is the $k$-th normalized mean curvature of $Σ$ induced from $\H^n$ and $V=\cosh r$, where $r$ is a hyperbolic distance to a fixed point in $\H^n$. Moreover, this result can be generalized to a compact hypersurface $Σ$ embedded in $\H^n$ with the ratio $V\left(\frac{H_k}{H_j}\right)\equiv\mbox{constant},\;0\leq j< k\leq n-1$ and $H_j$ not vanishing on $Σ$.

preprint2013arXiv

A new mass for asymptotically flat manifolds

In this paper we introduce a mass for asymptotically flat manifolds by using the Gauss-Bonnet curvature. We first prove that the mass is well-defined and is a geometric invariant, if the Gauss-Bonnet curvature is integrable and the decay order $τ$ satisfies $τ> \frac {n-4}{3}.$ Then we show a positive mass theorem for asymptotically flat graphs over ${\mathbb R}^n$. Moreover we obtain also Penrose type inequalities in this case.

preprint2013arXiv

A positive mass theorem in the Einstein-Gauss-Bonnet theory

As an interesting application of the Einstein-Gauss-Bonnet theory and our work on the Gauss-Bonnet-Chern mass (Ge, Wang, Wu), we obtain a positive mass theorem for asymptotically flat graphs in $\R^{n+1}$ under a condition that $R+αL_2$ is non-negative, where $R$ is the scalar curvature, $α\in\R$ a constant and $L_2$ the second Gauss-Bonnet curvature. A Penrose type inequality is also obtained in the case $α>0$.

preprint2013arXiv

Evolution of superconducting correlations within magnetic-field-decoupled CuO(2) layers of La(1.905)Ba(0.095)CuO(4)

We explore the evolution of superconductivity in La(2-x)Ba(x)CuO(4) with x=0.095 in magnetic fields of up to 35 T applied perpendicular to the CuO(2) planes. Previous work on this material has shown that perpendicular fields enhance both charge and spin stripe order within the planes. We present measurements of the resistivity parallel and perpendicular to the planes, as well as the Hall effect. Measurements of magnetic susceptibility for fields of up to 15 T applied both parallel and perpendicular to the planes provide complementary measures of the superconductivity. We show that fields sufficient to destroy pair tunneling between the planes do not disrupt the superconducting correlations within the planes. In fact, we observe an onset of large amplitude but phase disordered superconductivity within the planes at approximately 30 K that is remarkably insensitive to field. With further cooling, we observe a phase-transition-like drop in the in-plane resistivity to an apparent state of superconductivity, despite the lack of phase coherence between the layers. These observations raise interesting questions concerning the identification of the upper critical field, where pairing is destroyed, in underdoped cuprates.

preprint2013arXiv

Homology Decompositions of the Loops on 1-Stunted Borel Constructions of C_2-Actions

Carlsson's construction is a simplicial group whose geometric realization is the loop space of the 1-stunted reduced Borel construction. Our main results are: i) Given a pointed simplicial set acted upon by the discrete cyclic group C_2 of order 2, if the orbit projection has a section, then this loop space has a mod 2 homology decomposition; ii) If the reduced diagonal map of the C_2-invariant set is homologous to zero, then the pinched sets in the above homology decomposition themselves have homology decompositions in terms of the C_2-invariant set and the orbit space. Result i) generalizes a previous homology decomposition of the second author for trivial actions. To illustrate these two results, we completely compute the mod 2 Betti numbers for an example.

preprint2013arXiv

Hyperbolic Alexandrov-Fenchel quermassintegral inequalities I

In this paper we prove the following geometric inequality in the hyperbolic space $\H^n$ ($n\ge 5)$, which is a hyperbolic Alexandrov-Fenchel inequality, \[\begin{array}{rcl} \ds \int_Σ\s_4 d μ\ge \ds\vs C_{n-1}^4ω_{n-1}\left\{\left(\frac{|Σ|}{ω_{n-1}} \right)^\frac 12 + \left(\frac{|Σ|}{ω_{n-1}} \right)^{\frac 12\frac {n-5}{n-1}} \right\}^2, \end{array}\] provided that $Σ$ is a horospherical convex hypersurface. Equality holds if and only if $Σ$ is a geodesic sphere in $\H^n$.

preprint2013arXiv

Hyperbolic Alexandrov-Fenchel quermassintegral inequalities II

In this paper we first establish an optimal Sobolev type inequality for hypersurfaces in $\H^n$(see Theorem \ref{mainthm1}). As an application we obtain hyperbolic Alexandrov-Fenchel inequalities for curvature integrals and quermassintegrals. Precisely, we prove a following geometric inequality in the hyperbolic space $\H^n$, which is a hyperbolic Alexandrov-Fenchel inequality, \begin{equation*} \begin{array}{rcl} \ds \int_Σ\s_{2k}\ge \ds\vs C_{n-1}^{2k}ω_{n-1}\left\{\left(\frac{|Σ|}{ω_{n-1}} \right)^\frac 1k + \left(\frac{|Σ|}{ω_{n-1}} \right)^{\frac 1k\frac {n-1-2k}{n-1}} \right\}^k, \end{array} \end{equation*} provided that $Σ$ is a horospherical convex, where $2k\leq n-1$. Equality holds if and only if $Σ$ is a geodesic sphere in $\H^n$. Here $σ_{j}=\s_{j}(κ)$ is the $j$-th mean curvature and $κ=(κ_1,κ_2,\cdots, κ_{n-1})$ is the set of the principal curvatures of $Σ$. Also, an optimal inequality for quermassintegrals in $\H^n$ is as following: $$ W_{2k+1}(Ω)\geq\frac {ω_{n-1}}{n}\sum_{i=0}^k\frac{n-1-2k}{n-1-2k+2i}\,C_k^i\bigg(\frac{nW_1(Ω)}{ω_{n-1}}\bigg)^{\frac{n-1-2k+2i}{n-1}}, $$ provided that $Ω\subset\H^n$ is a domain with $Σ=\partialΩ$ horospherical convex, where $2k\leq n-1$. Equality holds if and only if $Σ$ is a geodesic sphere in $\H^n$. Here $W_r(Ω)$ is quermassintegrals in integral geometry.

preprint2013arXiv

Hypersurfaces with constant curvature quotients in warped product manifolds

In this paper, we study rigidity problems for hypersurfaces with constant curvature quotients $\frac{\mathcal{H}_{2k+1}}{\mathcal{H}_{2k}}$ in the warped product manifolds. Here $\mathcal{H}_{2k}$ is the $k$-th Gauss-Bonnet curvature and $\mathcal{H}_{2k+1}$ arises from the first variation of the total integration of $\mathcal{H}_{2k}$. Hence the quotients considered here are in general different from $\frac{σ_{2k+1}}{σ_{2k}}$, where $σ_k$ are the usual mean curvatures. We prove several rigidity and Bernstein type results for compact or non-compact hypersurfaces corresponding to such quotients.

preprint2013arXiv

On Cohen braids

For a general surface $M$ and an arbitrary braid $α$ from the surface braid group $B_{n-1}(M)$ we study the system of equations $d_1β=\cdots=d_{n}β=α, $ where operation $d_i$ is deleting of $i$-th strand. We obtain that if $M\not=S^2$ or $\mathbb RP^2$ this system of equations has a solution $β\in B_{n}(M)$ if and only if $d_1α=\ldots=d_nα. $ The set of braids satisfying the last system of equations we call Cohen braids. We also construct a set of generators for the groups of Cohen braids. In the cases of the sphere and the projective plane we give some examples for the small number of strands.

preprint2013arXiv

On Rigidity of hypersurfaces with constant curvature functions in warped product manifolds

In this paper, we first investigate several rigidity problems for hypersurfaces in the warped product manifolds with constant linear combinations of higher order mean curvatures as well as "weighted'' mean curvatures, which extend the work \cite{Mon, Brendle,BE} considering constant mean curvature functions. Secondly, we obtain the rigidity results for hypersurfaces in the space forms with constant linear combinations of intrinsic Gauss-Bonnet curvatures $L_k$. To achieve this, we develop some new kind of Newton-Maclaurin type inequalities on $L_k$ which may have independent interest.

preprint2013arXiv

Simplicial Monoid Actions and The Associated Universal Simplicial Monoid Construction

The reduced universal monoid on the action category associated to a pointed simplicial M-set has appeared in the guise of various simplicial monoid and group constructions. These include the classical constructions of Milnor and James, as well as their later generalizations by Carlsson and Wu. We prove that, if any two n-simplices in the same orbit differ by the action of an invertible monoid element, then the classifying space of this reduced universal monoid is the homotopy cofiber of the inclusion from the pointed simplicial set into its reduced Borel construction. The known formulae for the respective classifying spaces of the above four constructions are special cases of this result. Thus, we unify categorially the four above-mentioned constructions.

preprint2013arXiv

The GBC mass for asymptotically hyperbolic manifolds

The paper consists of two parts. In the first part, by using the Gauss-Bonnet curvature, which is a natural generalization of the scalar curvature, we introduce a higher order mass, the Gauss-Bonnet-Chern mass $m^{\H}_k$, for asymptotically hyperbolic manifolds and show that it is a geometric invariant. Moreover, we prove a positive mass theorem for this new mass for asymptotically hyperbolic graphs and establish a relationship between the corresponding Penrose type inequality for this mass and weighted Alexandrov-Fenchel inequalities in the hyperbolic space $\H^n$. In the second part, we establish these weighted Alexandrov-Fenchel inequalities in $\H^n$ for any horospherical convex hypersurface $Σ$. As an application, we obtain an optimal Penrose type inequality for the new mass defined in the first part for asymptotically hyperbolic graphs with a horizon type boundary $Σ$, provided that a dominant energy condition $\tilde L_k\ge0$ holds. Both inequalities are optimal.

preprint2012arXiv

DQSB: A Reliable Broadcast Protocol Based on Distributed Quasi-Synchronized Mechanism for Low Duty-Cycled Wireless Sensor Networks

In duty-cycled wireless sensor networks, deployed sensor nodes are usually put to sleep for energy efficiency according to sleep scheduling approaches. Any sleep scheduling scheme with its supporting protocols ensures that data can always be routed from source to sink. In this paper, we investigate a problem of multi-hop broadcast and routing in random sleep scheduling scheme, and propose a novel protocol, called DQSB, by quasi-synchronization mechanism to achieve reliable broadcast and less latency routing. DQSB neither assumes time synchronization which requires all neighboring nodes wake up at the same time, nor assumes duty-cycled awareness which makes it difficult to use in asynchronous WSNs. Furthermore, the benefit of quasi-synchronized mechanism for broadcast from sink to other nodes is the less latency routing paths for reverse data collection to sink because of no or less sleep waiting time. Simulation results show that DQSB outperforms the existing protocols in broadcast times performance and keeps relative tolerant broadcast latency performance, even in the case of unreliable links. The proposed DQSB protocol, in this paper, can be recognized as a tradeoff between broadcast times and broadcast latency. We also explore the impact of parameters in the assumption and the approach to get proper values for supporting DQSB.

preprint2012arXiv

Modular representations and the homotopy of low rank $p$-local $CW$-complexes

Fix an odd prime $p$ and let $X$ be the $p$-localization of a finite suspended $CW$-complex. Given certain conditions on the reduced mod-$p$ homology $\bar H_*(X;\zmodp)$ of $X$, we use a decomposition of $ΩΣX$ due to the second author and computations in modular representation theory to show there are arbitrarily large integers $i$ such that $ΩΣ^i X$ is a homotopy retract of $ΩΣX$. This implies the stable homotopy groups of $ΣX$ are in a certain sense retracts of the unstable homotopy groups, and by a result of Stanley, one can confirm the Moore conjecture for $ΣX$. Under additional assumptions on $\bar H_*(X;\zmodp)$, we generalize a result of Cohen and Neisendorfer to produce a homotopy decomposition of $ΩΣX$ that has infinitely many finite $H$-spaces as factors.

preprint2012arXiv

Orbit configuration spaces of small covers and quasi-toric manifolds

In this article, we investigate the orbit configuration spaces of some equivariant closed manifolds over simple convex polytopes in toric topology, such as small covers, quasi-toric manifolds and (real) moment-angle manifolds; especially for the cases of small covers and quasi-toric manifolds. These kinds of orbit configuration spaces are all non-free and noncompact, but still built via simple convex polytopes. We obtain an explicit formula of Euler characteristic for orbit configuration spaces of small covers and quasi-toric manifolds in terms of the $h$-vector of a simple convex polytope. As a by-product of our method, we also obtain a formula of Euler characteristic for the classical configuration space, which generalizes the Félix-Thomas formula. In addition, we also study the homotopy type of such orbit configuration spaces. In particular, we determine an equivariant strong deformation retract of the orbit configuration space of 2 distinct orbit-points in a small cover or a quasi-toric manifold, which turns out that we are able to further study the algebraic topology of such an orbit configuration space by using the Mayer-Vietoris spectral sequence.

preprint2012arXiv

The average exponent of elliptic curves modulo $p$

Let $E$ be an elliptic curve defined over ${\mathbb Q}$. For a prime $p$ of good reduction for $E$, denote by $e_p$ the exponent of the reduction of $E$ modulo $p$. Under GRH, we prove that there is a constant $C_E\in (0, 1)$ such that $$ \frac{1}{π(x)} \sum_{p\le x} e_p = 1/2 C_E x + O_E\big(x^{5/6} (\log x)^{4/3}\big) $$ for all $x\ge 2$, where the implied constant depends on $E$ at most. When $E$ has complex multiplication, the same asymptotic formula with a weaker error term $O_E(1/(\log x)^{1/14})$ is established unconditionally. These improve some recent results of Freiberg and Kurlberg.

preprint2011arXiv

Normalized Ricci flows and conformally compact Einstein metrics

In this paper, we investigate the behavior of the normalized Ricci flow on asymptotically hyperbolic manifolds. We show that the normalized Ricci flow exists globally and converges to an Einstein metric when starting from a non-degenerate and sufficiently Ricci pinched metric. More importantly we use maximum principles to establish the regularity of conformal compactness along the normalized Ricci flow including that of the limit metric at time infinity. Therefore we are able to recover the existence results in \cite{GL} \cite{Lee} \cite{Bi} of conformally compact Einstein metrics with conformal infinities which are perturbations of that of given non-degenerate conformally compact Einstein metrics.

preprint2011arXiv

On the general additive divisor problem

We obtain a new upper bound for $\sum_{h\le H}Δ_k(N,h)$ for $1\le H\le N$, $k\in \N$, $k\ge3$, where $Δ_k(N,h)$ is the (expected) error term in the asymptotic formula for $\sum_{N < n\le2N}d_k(n)d_k(n+h)$, and $d_k(n)$ is the divisor function generated by $ζ(s)^k$. When $k=3$ the result improves, for $H\ge N^{1/2}$, the bound given in the recent work \cite{[1]} of Baier, Browning, Marasingha and Zhao, who dealt with the case $k=3$.

preprint2010arXiv

On modular signs

We consider some questions related to the signs of Hecke eigenvalues or Fourier coefficients of classical modular forms. One problem is to determine to what extent those signs, for suitable sets of primes, determine uniquely the modular form, and we give both individual and statistical results. The second problem, which has been considered by a number of authors, is to determine the size, in terms of the conductor and weight, of the first sign-change of Hecke eigenvalues. Here we improve significantly the recent estimate of Iwaniec, Kohnen and Sengupta.

preprint2010arXiv

Pseudoprime reductions of Elliptic curves

Let $E$ be an elliptic curve over $\F_p$ without complex multiplication, and for each prime $p$ of good reduction, let $n_E(p) = | E(\F_p) |$. Let $Q_{E,b}(x)$ be the number of primes $p \leq x$ such that $b^{n_E(p)} \equiv b\,({\rm mod}\,n_E(p))$, and $π_{E, b}^{\rm pseu}(x)$ be the number of {\it compositive} $n_E(p)$ such that $b^{n_E(p)} \equiv b\,({\rm mod}\,n_E(p))$ (also called elliptic curve pseudoprimes). Motivated by cryptography applications, we address in this paper the problem of finding upper bounds for $Q_{E,b}(x)$ and $π_{E, b}^{\rm pseu}(x)$, generalising some of the literature for the classical pseudoprimes \cite{Erdos56, Pomerance81} to this new setting.

preprint2010arXiv

Room-temperature implementation of the Deutsch-Jozsa algorithm with a single electronic spin in diamond

The nitrogen-vacancy defect center (NV center) is a promising candidate for quantum information processing due to the possibility of coherent manipulation of individual spins in the absence of the cryogenic requirement. We report a room-temperature implementation of the Deutsch-Jozsa algorithm by encoding both a qubit and an auxiliary state in the electron spin of a single NV center. By thus exploiting the specific S=1 character of the spin system, we demonstrate how even scarce quantum resources can be used for test-bed experiments on the way towards a large-scale quantum computing architecture.

preprint2009arXiv

Basis-conjugating automorphisms of a free group and associated Lie algebras

Let F_n = <x_1,...,x_n> denote the free group with generators {x_1,...,x_n}. Nielsen and Magnus described generators for the kernel of the canonical epimorphism from the automorphism group of F_n to the general linear group over the integers. In particular among them are the automorphisms chi_{k,i} which conjugate the generator x_k by the generator x_i leaving the x_j fixed for j not k. A computation of the cohomology ring as well as the Lie algebra obtained from the descending central series of the group generated by chi_{k,i} for i<k is given here. Partial results are obtained for the group generated by all chi_{k,i}.

preprint2009arXiv

On homotopy groups of the suspended classifying spaces

In this paper, we determine the homotopy groups π_4(ΣK(A,1)) and π_5(ΣK(A,1)) for abelian groups A by using different facts and methods from group theory and homotopy theory: derived functors, the Carlsson simplicial construction, the Baues-Goerss spectral sequence, homotopy decompositions and the methods of algebraic K-theory. As the applications, we also determine π_i(ΣK(G,1)) with i=4,5 for some non-abelian groups G=Σ_3 and SL(Z), and π_4(ΣK(A_4,1)) for the 4-th alternating group A_4.

preprint2008arXiv

On the behavior of quasi-local mass at the infinity along nearly round surfaces

In this paper, we study the limiting behavior of the Brown-York mass and Hawking mass along nearly round surfaces at infinity of an asymptotically flat manifold. Nearly round surfaces can be defined in an intrinsic way. Our results show that the ADM mass of an asymptotically flat 3-manifold can be approximated by some geometric invariants of a family of nearly round surfaces which approach to infinity of the manifold.