BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

Lei Xu

Lei Xu appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record
cond-mat.softphysics.flu-dynArtificial IntelligenceComputer Visioncond-mat.mes-hallCryptography and SecurityMachine Learningcond-mat.mtrl-sciphysics.opticsComputation and Languagecond-mat.dis-nnDistributed, Parallel, and Cluster ComputingSoftware Engineeringastro-ph.GAcond-mat.str-eleess.IVphysics.comp-phquant-phComputational ComplexityComputer Science and Game Theorycond-mat.stat-mechHardware Architecturemath.APphysics.app-phphysics.chem-phphysics.med-phRobotics

Catalog footprint

What is connected

57works
27topics
4close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

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

57 published item(s)

preprint2026arXiv

A Navigational Approach for Comprehensive RAG via Traversal over Proposition Graphs

Standard RAG pipelines based on chunking excel at simple factual retrieval but fail on complex multi-hop queries due to a lack of structural connectivity. Conversely, initial strategies that interleave retrieval with reasoning often lack global corpus awareness, while Knowledge Graph (KG)-based RAG performs strongly on complex multi-hop tasks but suffers on fact-oriented single-hop queries. To bridge this gap, we propose a novel RAG framework: ToPG (Traversal over Proposition Graphs). ToPG models its knowledge base as a heterogeneous graph of propositions, entities, and passages, effectively combining the granular fact density of propositions with graph connectivity. We leverage this structure using iterative Suggestion-Selection cycles, where the Suggestion phase enables a query-aware traversal of the graph, and the Selection phase provides LLM feedback to prune irrelevant propositions and seed the next iteration. Evaluated on three distinct QA tasks (Simple, Complex, and Abstract QA), ToPG demonstrates strong performance across both accuracy- and quality-based metrics. Overall, ToPG shows that query-aware graph traversal combined with factual granularity is a critical component for efficient structured RAG systems. ToPG is available at https://github.com/idiap/ToPG.

0 citations0 reviewsNo code linkedOpen access
preprint2026arXiv

Compartmentalised Agentic Reasoning for Clinical NLI

Large language models can produce fluent judgments for clinical natural language inference, yet they frequently fail when the decision requires the correct inferential schema rather than surface matching. We introduce CARENLI, a compartmentalised agentic framework that routes each premise-statement pair to a reasoning family and then applies a specialised solver with explicit verification and targeted refinement. We evaluate on an expanded CTNLI benchmark of 200 instances spanning four reasoning families: Causal Attribution, Compositional Grounding, Epistemic Verification, and Risk State Abstraction. Across four contemporary backbone models, CARENLI improves mean accuracy from about 23% with direct prompting to about 57%, a gain of roughly 34 points, with the largest benefits on structurally demanding reasoning types. These results support compartmentalisation plus verification as a practical route to more reliable and auditable clinical inference.

0 citations0 reviewsNo code linkedOpen access
preprint2026arXiv

DeepSeek-R1: Incentivizing Reasoning Capability in LLMs via Reinforcement Learning

General reasoning represents a long-standing and formidable challenge in artificial intelligence. Recent breakthroughs, exemplified by large language models (LLMs) and chain-of-thought prompting, have achieved considerable success on foundational reasoning tasks. However, this success is heavily contingent upon extensive human-annotated demonstrations, and models' capabilities are still insufficient for more complex problems. Here we show that the reasoning abilities of LLMs can be incentivized through pure reinforcement learning (RL), obviating the need for human-labeled reasoning trajectories. The proposed RL framework facilitates the emergent development of advanced reasoning patterns, such as self-reflection, verification, and dynamic strategy adaptation. Consequently, the trained model achieves superior performance on verifiable tasks such as mathematics, coding competitions, and STEM fields, surpassing its counterparts trained via conventional supervised learning on human demonstrations. Moreover, the emergent reasoning patterns exhibited by these large-scale models can be systematically harnessed to guide and enhance the reasoning capabilities of smaller models.

0 citations0 reviewsNo code linkedOpen access
preprint2026arXiv

Isomer- and state-dependent ion-molecule reactions between Coulomb-crystallised Ca$^+$ ions and 1,2-dichloroethene

We report a systematic investigation of isomer- and state-dependent reactions between Coulomb-crystallised laser-cooled Ca$^+$ ions and \emph{cis/trans}-1,2-dichloroethene (DCE) isomers. By manipulating the electronic state populations of Ca$^+$ through tuning of laser cooling parameters, we observed distinct reactivities in its ground and excited states, as well as with the geometric isomers of DCE. Our experiments revealed two primary reaction channels, formation of CaCl$^+$ and C$_2$HCaCl$^+$, followed by secondary reaction pathways. While excited-state reactions proceed at rate coefficients consistent with capture theory predictions, ground-state reactions show a systematically lower reactivity. \emph{Ab initio} calculations of reaction pathways suggest that this suppression stems from the formation of long-lived reaction complexes. The \textit{cis} isomer was found to exhibit a higher reactivity with all electronic states of Ca$^+$ than its \textit{trans} counterpart. The present study provides insights into the combined effects of molecular structure and quantum states influencing ion-molecule reaction dynamics.

0 citations0 reviewsNo code linkedOpen access
preprint2026arXiv

MPM-LLM4DSE: Reaching the Pareto Frontier in HLS with Multimodal Learning and LLM-Driven Exploration

High-Level Synthesis (HLS) design space exploration (DSE) seeks Pareto-optimal designs within expansive pragma configuration spaces. To accelerate HLS DSE, graph neural networks (GNNs) are commonly employed as surrogates for HLS tools to predict quality of results (QoR) metrics, while multi-objective optimization algorithms expedite the exploration. However, GNN-based prediction methods may not fully capture the rich semantic features inherent in behavioral descriptions, and conventional multi-objective optimization algorithms often do not explicitly account for the domain-specific knowledge regarding how pragma directives influence QoR. To address these limitations, this paper proposes the MPM-LLM4DSE framework, which incorporates a multimodal prediction model (MPM) that simultaneously fuses features from behavioral descriptions and control and data flow graphs. Furthermore, the framework employs a large language model (LLM) as an optimizer, accompanied by a tailored prompt engineering methodology. This methodology incorporates pragma impact analysis on QoR to guide the LLM in generating high-quality configurations (LLM4DSE). Experimental results demonstrate that our multimodal predictive model significantly outperforms state-of-the-art work ProgSG by up to 10.25$\times$. Furthermore, in DSE tasks, the proposed LLM4DSE achieves an average performance gain of 39.90\% over prior methods, validating the effectiveness of our prompting methodology. Code and models are available at https://github.com/wslcccc/MPM-LLM4DSE.

0 citations0 reviewsNo code linkedOpen access
preprint2026arXiv

Nonlinear virtual lens for programmable and multispectral infrared upconversion imaging

Conventional infrared (IR) imaging techniques depend on IR cameras based on narrow-bandgap semiconductors, which offer limited spectral bandwidth, coupled with a separate lens. Recently, advances in nonlinear flat optics have opened a novel pathway for converting IR signals into the visible through nonlinear generations, enabling the direct visualisation of IR images using standard visible cameras. However, the narrow spectral bandwidth and the requirement for an additional lens remain the key challenges. Here, we address both issues via a novel adaptive and multifunctional IR-to-visible imaging platform offering tunable bandwidth and focusing simultaneously. We utilise sum-frequency generation (SFG) to convert IR light into the visible, by introducing a pump beam modulated by a spatial light modulator (SLM) to construct a virtual metalens enabling precisely controlled focusing of the generated nonlinear optical field. As a result, we demonstrate both theoretically and experimentally an optical focusing mechanism with a tunable focal length, achieved by varying the pump and signal wavelengths and modulating the phase distribution. Furthermore, since the focal length depends on the input signal wavelength, the imaging plane position varies accordingly, indicating a promising potential for the multispectral IR imaging applications. Our upconversion platform delivers SLM-controlled, programmable multispectral focusing for next-generation IR imaging, opening new avenues in the fields of computational and multispectral imaging techniques.

0 citations0 reviewsNo code linkedOpen access
preprint2026arXiv

zkRansomware: Proof-of-Data Recoverability and Multi-round Game Theoretic Modeling of Ransomware Decisions

Ransomware is still one of the most serious cybersecurity threats. Victims often pay but fail to regain access to their data, while also facing the danger of losing data privacy. These uncertainties heavily shape the attacker-victim dynamics in decision-making. In this paper, we introduce and analyze zkRansomware. This new ransomware model integrates zero-knowledge proofs to enable verifiable data recovery and uses smart contracts to enforce multi-round payments while mitigating the risk of data disclosure and privacy loss. We show that zkRansomware is technically feasible using existing cryptographic and blockchain tools and, perhaps counterintuitively, can align incentives between the attacker and the victim. Finally, we develop a theoretical decision-making framework for zkRansomware that distinguishes it from known ransomware decision models and discusses its implications for ransomware risk analysis and response decision support.

0 citations0 reviewsNo code linkedOpen access
preprint2025arXiv

Online training and pruning of multi-wavelength photonic neural networks

CMOS-compatible photonic integrated circuits (PICs) are emerging as a promising platform in artificial intelligence (AI) computing. Owing to the compact footprint of microring resonators (MRRs) and the enhanced interconnect efficiency enabled by wavelength division multiplexing (WDM), MRR-based photonic neural networks (PNNs) are particularly promising for large-scale integration. However, the scalability and energy efficiency of such systems are fundamentally limited by the MRR resonance wavelength variations induced by fabrication process variations (FPVs) and environmental fluctuations. Existing solutions use post-fabrication approaches or thermo-optic tuning, incurring high control power and additional process complexity. In this work, we introduce an online training and pruning method that addresses this challenge, adapting to FPV-induced and thermally induced shifts in MRR resonance wavelength. By incorporating a power-aware pruning term into the conventional loss function, our approach simultaneously optimizes the PNN accuracy and the total power consumption for MRR tuning. In proof-of-concept on-chip experiments on the Iris dataset, our system PNNs can adaptively train to maintain a 96% classification accuracy, while achieving a 44.7% reduction in tuning power via pruning. Additionally, our approach reduces the power consumption by orders-of-magnitude on larger datasets. By addressing chip-to-chip variation and minimizing power requirements, our approach significantly improves the scalability and energy efficiency of MRR-based integrated analog photonic processors, paving the way for large-scale PICs to enable versatile applications including neural networks, photonic switching, LiDAR, and radio-frequency beamforming.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Accelerating Integrated Task and Motion Planning with Neural Feasibility Checking

As robots play an increasingly important role in the industrial, the expectations about their applications for everyday living tasks are getting higher. Robots need to perform long-horizon tasks that consist of several sub-tasks that need to be accomplished. Task and Motion Planning (TAMP) provides a hierarchical framework to handle the sequential nature of manipulation tasks by interleaving a symbolic task planner that generates a possible action sequence, with a motion planner that checks the kinematic feasibility in the geometric world, generating robot trajectories if several constraints are satisfied, e.g., a collision-free trajectory from one state to another. Hence, the reasoning about the task plan's geometric grounding is taken over by the motion planner. However, motion planning is computationally intense and is usability as feasibility checker casts TAMP methods inapplicable to real-world scenarios. In this paper, we introduce neural feasibility classifier (NFC), a simple yet effective visual heuristic for classifying the feasibility of proposed actions in TAMP. Namely, NFC will identify infeasible actions of the task planner without the need for costly motion planning, hence reducing planning time in multi-step manipulation tasks. NFC encodes the image of the robot's workspace into a feature map thanks to convolutional neural network (CNN). We train NFC using simulated data from TAMP problems and label the instances based on IK feasibility checking. Our empirical results in different simulated manipulation tasks show that our NFC generalizes to the entire robot workspace and has high prediction accuracy even in scenes with multiple obstructions. When combined with state-of-the-art integrated TAMP, our NFC enhances its performance while reducing its planning time.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

D^2ETR: Decoder-Only DETR with Computationally Efficient Cross-Scale Attention

DETR is the first fully end-to-end detector that predicts a final set of predictions without post-processing. However, it suffers from problems such as low performance and slow convergence. A series of works aim to tackle these issues in different ways, but the computational cost is yet expensive due to the sophisticated encoder-decoder architecture. To alleviate this issue, we propose a decoder-only detector called D^2ETR. In the absence of encoder, the decoder directly attends to the fine-fused feature maps generated by the Transformer backbone with a novel computationally efficient cross-scale attention module. D^2ETR demonstrates low computational complexity and high detection accuracy in evaluations on the COCO benchmark, outperforming DETR and its variants.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Exploring the Universal Vulnerability of Prompt-based Learning Paradigm

Prompt-based learning paradigm bridges the gap between pre-training and fine-tuning, and works effectively under the few-shot setting. However, we find that this learning paradigm inherits the vulnerability from the pre-training stage, where model predictions can be misled by inserting certain triggers into the text. In this paper, we explore this universal vulnerability by either injecting backdoor triggers or searching for adversarial triggers on pre-trained language models using only plain text. In both scenarios, we demonstrate that our triggers can totally control or severely decrease the performance of prompt-based models fine-tuned on arbitrary downstream tasks, reflecting the universal vulnerability of the prompt-based learning paradigm. Further experiments show that adversarial triggers have good transferability among language models. We also find conventional fine-tuning models are not vulnerable to adversarial triggers constructed from pre-trained language models. We conclude by proposing a potential solution to mitigate our attack methods. Code and data are publicly available at https://github.com/leix28/prompt-universal-vulnerability

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

HDL: Hybrid Deep Learning for the Synthesis of Myocardial Velocity Maps in Digital Twins for Cardiac Analysis

Synthetic digital twins based on medical data accelerate the acquisition, labelling and decision making procedure in digital healthcare. A core part of digital healthcare twins is model-based data synthesis, which permits the generation of realistic medical signals without requiring to cope with the modelling complexity of anatomical and biochemical phenomena producing them in reality. Unfortunately, algorithms for cardiac data synthesis have been so far scarcely studied in the literature. An important imaging modality in the cardiac examination is three-directional CINE multi-slice myocardial velocity mapping (3Dir MVM), which provides a quantitative assessment of cardiac motion in three orthogonal directions of the left ventricle. The long acquisition time and complex acquisition produce make it more urgent to produce synthetic digital twins of this imaging modality. In this study, we propose a hybrid deep learning (HDL) network, especially for synthetic 3Dir MVM data. Our algorithm is featured by a hybrid UNet and a Generative Adversarial Network with a foreground-background generation scheme. The experimental results show that from temporally down-sampled magnitude CINE images (six times), our proposed algorithm can still successfully synthesise high temporal resolution 3Dir MVM CMR data (PSNR=42.32) with precise left ventricle segmentation (DICE=0.92). These performance scores indicate that our proposed HDL algorithm can be implemented in real-world digital twins for myocardial velocity mapping data simulation. To the best of our knowledge, this work is the first one in the literature investigating digital twins of the 3Dir MVM CMR, which has shown great potential for improving the efficiency of clinical studies via synthesised cardiac data.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

IA-FaceS: A Bidirectional Method for Semantic Face Editing

Semantic face editing has achieved substantial progress in recent years. Known as a growingly popular method, latent space manipulation performs face editing by changing the latent code of an input face to liberate users from painting skills. However, previous latent space manipulation methods usually encode an entire face into a single low-dimensional embedding, which constrains the reconstruction capacity and the control flexibility of facial components, such as eyes and nose. This paper proposes IA-FaceS as a bidirectional method for disentangled face attribute manipulation as well as flexible, controllable component editing without the need for segmentation masks or sketches in the original image. To strike a balance between the reconstruction capacity and the control flexibility, the encoder is designed as a multi-head structure to yield embeddings for reconstruction and control, respectively: a high-dimensional tensor with spatial properties for consistent reconstruction and four low-dimensional facial component embeddings for semantic face editing. Manipulating the separate component embeddings can help achieve disentangled attribute manipulation and flexible control of facial components. To further disentangle the highly-correlated components, a component adaptive modulation (CAM) module is proposed for the decoder. The semantic single-eye editing is developed for the first time without any input visual guidance, such as segmentation masks or sketches. According to the experimental results, IA-FaceS establishes a good balance between maintaining image details and performing flexible face manipulation. Both quantitative and qualitative results indicate that the proposed method outperforms the other techniques in reconstruction, face attribute manipulation, and component transfer.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Lessons Learned from Blockchain Applications of Trusted Execution Environments and Implications for Future Research

Modern computer systems tend to rely on large trusted computing bases (TCBs) for operations. To address the TCB bloating problem, hardware vendors have developed mechanisms to enable or facilitate the creation of a trusted execution environment (TEE) in which critical software applications can execute securely in an isolated environment. Even under the circumstance that a host OS is compromised by an adversary, key security properties such as confidentiality and integrity of the software inside the TEEs can be guaranteed. The promise of integrity and security has driven developers to adopt it for use cases involving access control, PKS, IoT among other things. Among these applications include blockchain-related use cases. The usage of the TEEs doesn't come without its own implementation challenges and potential pitfalls. In this paper, we examine the assumptions, security models, and operational environments of the proposed TEE use cases of blockchain-based applications. The exercise and analysis help the hardware TEE research community to identify some open challenges and opportunities for research and rethink the design of hardware TEEs in general.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Spatially entangled photon-pairs from lithium niobate nonlocal metasurfaces

Metasurfaces consisting of nano-scale structures are underpinning new physical principles for the creation and shaping of quantum states of light. Multi-photon states that are entangled in spatial or angular domains are an essential resource for quantum imaging and sensing applications, however their production traditionally relies on bulky nonlinear crystals. We predict and demonstrate experimentally the generation of spatially entangled photon pairs through spontaneous parametric down-conversion from a metasurface incorporating a nonlinear thin film of lithium niobate. This is achieved through nonlocal resonances with tailored angular dispersion mediated by an integrated silica meta-grating, enabling control of the emission pattern and associated quantum states of photon pairs by designing the grating profile and tuning the pump frequency. We measure the correlations of photon positions and identify their spatial anti-bunching through violation of the classical Cauchy-Schwartz inequality, witnessing the presence of multi-mode entanglement. Simultaneously, the photon-pair rate is strongly enhanced by 450 times as compared to unpatterned films due to high-quality-factor metasurface resonances, and the coincidence to accidental ratio reaches 5000. These results pave the way to miniaturization of various quantum devices by incorporating ultra-thin metasurfaces functioning as room-temperature sources of quantum-entangled photons.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

The Right to be Forgotten in Federated Learning: An Efficient Realization with Rapid Retraining

In Machine Learning, the emergence of \textit{the right to be forgotten} gave birth to a paradigm named \textit{machine unlearning}, which enables data holders to proactively erase their data from a trained model. Existing machine unlearning techniques focus on centralized training, where access to all holders' training data is a must for the server to conduct the unlearning process. It remains largely underexplored about how to achieve unlearning when full access to all training data becomes unavailable. One noteworthy example is Federated Learning (FL), where each participating data holder trains locally, without sharing their training data to the central server. In this paper, we investigate the problem of machine unlearning in FL systems. We start with a formal definition of the unlearning problem in FL and propose a rapid retraining approach to fully erase data samples from a trained FL model. The resulting design allows data holders to jointly conduct the unlearning process efficiently while keeping their training data locally. Our formal convergence and complexity analysis demonstrate that our design can preserve model utility with high efficiency. Extensive evaluations on four real-world datasets illustrate the effectiveness and performance of our proposed realization.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

EDSC: An Event-Driven Smart Contract Platform

This paper presents EDSC, a novel smart contract platform design based on the event-driven execution model as opposed to the traditionally employed transaction-driven execution model. We reason that such a design is a better fit for many emerging smart contract applications and is better positioned to address the scalability and performance challenges plaguing the smart contract ecosystem. We propose EDSC's design under the Ethereum framework, and the design can be easily adapted for other existing smart contract platforms. We have conducted implementation using Ethereum client and experiments where performance modeling results show on average 2.2 to 4.6 times reduced total latency of event triggered smart contracts, which demonstrates its effectiveness for supporting contracts that demand timely execution based on events. In addition, we discuss example use cases to demonstrate the design's utility and comment on its potential security dynamics.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

Nonlinear Blockchain Scalability: a Game-Theoretic Perspective

Recent advances in the blockchain research have been made in two important directions. One is refined resilience analysis utilizing game theory to study the consequences of selfish behaviors of users (miners), and the other is the extension from a linear (chain) structure to a non-linear (graphical) structure for performance improvements, such as IOTA and Graphcoin. The first question that comes to people's minds is what improvements that a blockchain system would see by leveraging these new advances. In this paper, we consider three major metrics for a blockchain system: full verification, scalability, and finality-duration. We { establish a formal framework and} prove that no blockchain system can achieve full verification, high scalability, and low finality-duration simultaneously. We observe that classical blockchain systems like Bitcoin achieves full verification and low finality-duration, Harmony and Ethereum 2.0 achieve low finality-duration and high scalability. As a complementary, we design a non-linear blockchain system that achieves full verification and scalability. We also establish, for the first time, the trade-off between scalability and finality-duration.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

PyART: Python API Recommendation in Real-Time

API recommendation in real-time is challenging for dynamic languages like Python. Many existing API recommendation techniques are highly effective, but they mainly support static languages. A few Python IDEs provide API recommendation functionalities based on type inference and training on a large corpus of Python libraries and third-party libraries. As such, they may fail to recommend or make poor recommendations when type information is missing or target APIs are project-specific. In this paper, we propose a novel approach, PyART, to recommend APIs for Python programs in real-time. It features a light-weight analysis to derives so-called optimistic data-flow, which is neither sound nor complete, but simulates the local data-flow information humans can derive. It extracts three kinds of features: data-flow, token similarity, and token co-occurrence, in the context of the program point where a recommendation is solicited. A predictive model is trained on these features using the Random Forest algorithm. Evaluation on 8 popular Python projects demonstrates that PyART can provide effective API recommendations. When historic commits can be leveraged, which is the target scenario of a state-of-the-art tool ARIREC, our average top-1 accuracy is over 50% and average top-10 accuracy over 70%, outperforming APIREC and Intellicode (i.e., the recommendation component in Visual Studio) by 28.48%-39.05% for top-1 accuracy and 24.41%-30.49% for top-10 accuracy. In other applications such as when historic comments are not available and cross-project recommendation, PyART also shows better overall performance. The time to make a recommendation is less than a second on average, satisfying the real-time requirement.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

A Three-dimensional Constitutive Model for Polycrystalline Shape Memory Alloys Under Large Strains Combined With Large Rotations

Shape Memory Alloys (SMAs) has been widely aware of working as actuators for active/smart morphing structures in the engineering industry. Because of the high actuation energy density of SMAs, compared to other active materials, structures integrated with SMA-based actuators has high advantage in terms of trade-offs between overall structure weight, integrity and functionality. The majority of available constitutive models for SMAs are developed within the infinitesimal strain regime. However, it was reported that particular SMAs can generate transformation strains nearly up to 8%-10%, for which the adopted infinitesimal strain assumption is no longer appropriate. Furthermore, industry applications may require SMA actuators undergo large rotation deformation at work. Combining the above two facts, a constitutive model for SMAs developed on a finite deformation framework is required. A three-dimensional constitutive model for SMAs considering large strains with large rotations is proposed in this work. This model utilizes the logarithmic strain as a finite strain measure for large deformation analysis so that its rate form hypo-elastic constitutive relation can be consistently integrated to deliver a free energy based hyper-elastic constitutive relation. The martensitic volume fraction and the second-order transformation strain tensor are chosen as the internal state variables to characterize the inelastic response exhibited by polycrystalline SMAs. The presented formulation and its numerical implementation scheme can be extended in future work for the incorporation of other inelastic phenomena such as transformation-induced plasticity, viscoplasticity and creep under large deformations.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Black-box Adversarial Sample Generation Based on Differential Evolution

Deep Neural Networks (DNNs) are being used in various daily tasks such as object detection, speech processing, and machine translation. However, it is known that DNNs suffer from robustness problems -- perturbed inputs called adversarial samples leading to misbehaviors of DNNs. In this paper, we propose a black-box technique called Black-box Momentum Iterative Fast Gradient Sign Method (BMI-FGSM) to test the robustness of DNN models. The technique does not require any knowledge of the structure or weights of the target DNN. Compared to existing white-box testing techniques that require accessing model internal information such as gradients, our technique approximates gradients through Differential Evolution and uses approximated gradients to construct adversarial samples. Experimental results show that our technique can achieve 100% success in generating adversarial samples to trigger misclassification, and over 95% success in generating samples to trigger misclassification to a specific target output label. It also demonstrates better perturbation distance and better transferability. Compared to the state-of-the-art black-box technique, our technique is more efficient. Furthermore, we conduct testing on the commercial Aliyun API and successfully trigger its misbehavior within a limited number of queries, demonstrating the feasibility of real-world black-box attack.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Computational Complexity Characterization of Protecting Elections from Bribery

The bribery problem in election has received considerable attention in the literature, upon which various algorithmic and complexity results have been obtained. It is thus natural to ask whether we can protect an election from potential bribery. We assume that the protector can protect a voter with some cost (e.g., by isolating the voter from potential bribers). A protected voter cannot be bribed. Under this setting, we consider the following bi-level decision problem: Is it possible for the protector to protect a proper subset of voters such that no briber with a fixed budget on bribery can alter the election result? The goal of this paper is to give a full picture on the complexity of protection problems. We give an extensive study on the protection problem and provide algorithmic and complexity results. Comparing our results with that on the bribery problems, we observe that the protection problem is in general significantly harder. Indeed, it becomes $\sum_{p}^2$-complete even for very restricted special cases, while most bribery problems lie in NP. However, it is not necessarily the case that the protection problem is always harder. Some of the protection problems can still be solved in polynomial time, while some of them remain as hard as the bribery problem under the same setting.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Enhanced Light-Matter Interactions in Dielectric Nanostructures via Machine Learning Approach

A key concept underlying the specific functionalities of metasurfaces, i.e. arrays of subwavelength nanoparticles, is the use of constituent components to shape the wavefront of the light, on-demand. Metasurfaces are versatile and novel platforms to manipulate the scattering, colour, phase or the intensity of the light. Currently, one of the typical approaches for designing a metasurface is to optimize one or two variables, among a vast number of fixed parameters, such as various materials' properties and coupling effects, as well as the geometrical parameters. Ideally, it would require a multi-dimensional space optimization through direct numerical simulations. Recently, an alternative approach became quite popular allowing to reduce the computational cost significantly based on a deep-learning-assisted method. In this paper, we utilize a deep-learning approach for obtaining high-quality factor (high-Q) resonances with desired characteristics, such as linewidth, amplitude and spectral position. We exploit such high-Q resonances for the enhanced light-matter interaction in nonlinear optical metasurfaces and optomechanical vibrations, simultaneously. We demonstrate that optimized metasurfaces lead up to 400+ folds enhancement of the third harmonic generation (THG); at the same time, they also contribute to 100+ folds enhancement in optomechanical vibrations. This approach can be further used to realize structures with unconventional scattering responses.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Finite strain constitutive modeling for shape memory alloys considering transformation-induced plasticity and two-way shape memory effect

This work presents a three-dimensional constitutive model for shape memory alloys considering the TRansformation-Induced Plasticity (TRIP) as well as the Two-Way Shape Memory Effect (TWSME) through a large deformation framework. The presented logarithmic strain based model is able to capture the large strains and rotations exhibited by SMAs under general thermomechanical cycling. By using the martensitic volume fraction, transformation strain, internal stress, and TRIP strain tensors as internal state variables, the model is capable to capture the stress-dependent TRIP generation when SMAs are subjected to a multiaxial stress state, as well as the TWSME for thermomechanically trained SMAs under load-free conditions. A detailed implementation procedure of the proposed model is presented through a user-defined material subroutine within a finite element framework allowing for solving different Boundary Value Problems (BVPs). Comprehensive instruction on calibrating the model parameters as well as the derivation of continuum tangent stiffness matrix are also provided. In the end, the simulated cyclic pseudoelastic and actuation responses by the presented model for a wide range of SMA material systems under both uniaxial and multiaxial stress states are compared against experimental results to validate the proposed modeling capabilities.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Phase Transformation Characteristics of High-Temperature Shape Memory Alloy under Tension, Compression, and Bending Actuation Cycling

Shape Memory Alloys (SMAs) are a unique class of intermetallic alloys that can cyclically sustain large deformations and recover a designed geometry through a solid-to-solid phase transformation. SMAs provide favorable actuation energy density properties, making them suitable for engineering applications requiring a significant, repeated, work output. To facilitate the development and validation of an SMA constitutive model considering the evolving anisotropic material response for High-Temperature SMA (HTSMA), uniaxial and pure bending actuation cycling tests on HTSMA specimens are performed by a custom-built testing frames. The phase transformation characteristics for Ni$_{50.3}$TiHf$_{20}$ HTSMA under uniaxial tension/compression and four-point bending actuation cycles are investigated. The experimental results show that the polycrystalline HTSMAs has a strong tension-compression asymmetry under uniaxial actuation cycling loading conditions. Furthermore, the four-point beam bending test shows that there is an intrinsic phenomenon when HTSMAs are subjected to cyclic actuation bending conditions, i.e., the zero-strain neutral axis shifts as a result of the asymmetric tension-compression phase transformations and the asymmetric generation of TRIP strains on different sides of the beam. The conducted experiments provide invaluable information to develop and improve the SMA constitutive model considering tension-compression asymmetry and TRIP strain generation within a unified modeling effort. As future work, additional experiments on other HTSMA components, such as torque tubes and specimens with notches or cutouts, under actuation cycling would provide more comprehensive validation data and component performance for HTSMA-based actuators.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Prioritizing documentation effort: Can we do better?

Code documentations are essential for software quality assurance, but due to time or economic pressures, code developers are often unable to write documents for all modules in a project. Recently, a supervised artificial neural network (ANN) approach is proposed to prioritize important modules for documentation effort. However, as a supervised approach, there is a need to use labeled training data to train the prediction model, which may not be easy to obtain in practice. Furthermore, it is unclear whether the ANN approach is generalizable, as it is only evaluated on several small data sets. In this paper, we propose an unsupervised approach based on PageRank to prioritize documentation effort. This approach identifies "important" modules only based on the dependence relationships between modules in a project. As a result, the PageRank approach does not need any training data to build the prediction model. In order to evaluate the effectiveness of the PageRank approach, we use six additional large data sets to conduct the experiments in addition to the same data sets collected from open-source projects as used in prior studies. The experimental results show that the PageRank approach is superior to the state-of-the-art ANN approach in prioritizing important modules for documentation effort. In particular, due to the simplicity and effectiveness, we advocate that the PageRank approach should be used as an easy-to-implement baseline in future research on documentation effort prioritization, and any new approach should be compared with it to demonstrate its effectiveness.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Saliency-based Weighted Multi-label Linear Discriminant Analysis

In this paper, we propose a new variant of Linear Discriminant Analysis (LDA) to solve multi-label classification tasks. The proposed method is based on a probabilistic model for defining the weights of individual samples in a weighted multi-label LDA approach. Linear Discriminant Analysis is a classical statistical machine learning method, which aims to find a linear data transformation increasing class discrimination in an optimal discriminant subspace. Traditional LDA sets assumptions related to Gaussian class distributions and single-label data annotations. To employ the LDA technique in multi-label classification problems, we exploit intuitions coming from a probabilistic interpretation of class saliency to redefine the between-class and within-class scatter matrices. The saliency-based weights obtained based on various kinds of affinity encoding prior information are used to reveal the probability of each instance to be salient for each of its classes in the multi-label problem at hand. The proposed Saliency-based weighted Multi-label LDA approach is shown to lead to performance improvements in various multi-label classification problems.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Simultaneous Left Atrium Anatomy and Scar Segmentations via Deep Learning in Multiview Information with Attention

Three-dimensional late gadolinium enhanced (LGE) cardiac MR (CMR) of left atrial scar in patients with atrial fibrillation (AF) has recently emerged as a promising technique to stratify patients, to guide ablation therapy and to predict treatment success. This requires a segmentation of the high intensity scar tissue and also a segmentation of the left atrium (LA) anatomy, the latter usually being derived from a separate bright-blood acquisition. Performing both segmentations automatically from a single 3D LGE CMR acquisition would eliminate the need for an additional acquisition and avoid subsequent registration issues. In this paper, we propose a joint segmentation method based on multiview two-task (MVTT) recursive attention model working directly on 3D LGE CMR images to segment the LA (and proximal pulmonary veins) and to delineate the scar on the same dataset. Using our MVTT recursive attention model, both the LA anatomy and scar can be segmented accurately (mean Dice score of 93% for the LA anatomy and 87% for the scar segmentations) and efficiently (~0.27 seconds to simultaneously segment the LA anatomy and scars directly from the 3D LGE CMR dataset with 60-68 2D slices). Compared to conventional unsupervised learning and other state-of-the-art deep learning based methods, the proposed MVTT model achieved excellent results, leading to an automatic generation of a patient-specific anatomical model combined with scar segmentation for patients in AF.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Solve Traveling Salesman Problem by Monte Carlo Tree Search and Deep Neural Network

We present a self-learning approach that combines deep reinforcement learning and Monte Carlo tree search to solve the traveling salesman problem. The proposed approach has two advantages. First, it adopts deep reinforcement learning to compute the value functions for decision, which removes the need of hand-crafted features and labelled data. Second, it uses Monte Carlo tree search to select the best policy by comparing different value functions, which increases its generalization ability. Experimental results show that the proposed method performs favorably against other methods in small-to-medium problem settings. And it shows comparable performance as state-of-the-art in large problem setting.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

The dynamic parallel distribution algorithm for hybrid density-functional calculations in HONPAS package

This work presents a dynamic parallel distribution scheme for the Hartree-Fock exchange~(HFX) calculations based on the real-space NAO2GTO framework. The most time-consuming electron repulsion integrals~(ERIs) calculation is perfectly load-balanced with 2-level master-worker dynamic parallel scheme, the density matrix and the HFX matrix are both stored in the sparse format, the network communication time is minimized via only communicating the index of the batched ERIs and the final sparse matrix form of the HFX matrix. The performance of this dynamic scalable distributed algorithm has been demonstrated by several examples of large scale hybrid density-functional calculations on Tianhe-2 supercomputers, including both molecular and solid states systems with multiple dimensions, and illustrates good scalability.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

The static parallel distribution algorithms for hybrid density-functional calculations in HONPAS package

Hybrid density-functional calculation is one of the most commonly adopted electronic structure theory used in computational chemistry and materials science because of its balance between accuracy and computational cost. Recently, we have developed a novel scheme called NAO2GTO to achieve linear scaling (Order-N) calculations for hybrid density-functionals. In our scheme, the most time-consuming step is the calculation of the electron repulsion integrals (ERIs) part. So how to create an even distribution of these ERIs in parallel implementation is an issue of particular importance. Here, we present two static scalable distributed algorithms for the ERIs computation. Firstly, the ERIs are distributed over ERIs shell pairs. Secondly, the ERIs is distributed over ERIs shell quartets. In both algorithms, the calculation of ERIs is independent of each other, so the communication time is minimized. We show our speedup results to demonstrate the performance of these static parallel distributed algorithms in the Hefei Order-N packages for \textit{ab initio} simulations (HONPAS).

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

TREVERSE: Trial-and-Error Lightweight Secure Reverse Authentication with Simulatable PUFs

A physical unclonable function (PUF) generates hardware intrinsic volatile secrets by exploiting uncontrollable manufacturing randomness. Although PUFs provide the potential for lightweight and secure authentication for increasing numbers of low-end Internet of Things devices, practical and secure mechanisms remain elusive. We aim to explore simulatable PUFs (SimPUFs) that are physically unclonable but efficiently modeled mathematically through privileged one-time PUF access to address the above problem. Given a challenge, a securely stored SimPUF in possession of a trusted server computes the corresponding response and its bit-specific reliability. Consequently, naturally noisy PUF responses generated by a resource limited prover can be immediately processed by a one-way function (OWF) and transmitted to the server, because the resourceful server can exploit the SimPUF to perform a trial-and-error search over likely error patterns to recover the noisy response to authenticate the prover. Security of trial-and-error reverse (TREVERSE) authentication under the random oracle model is guaranteed by the hardness of inverting the OWF. We formally evaluate the TREVERSE authentication capability with two SimPUFs experimentally derived from popular silicon PUFs.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Covalency and vibronic couplings make a nonmagnetic j=3/2 ion magnetic

For 4$d^1$ and 5$d^1$ spin-orbit-coupled electron configurations, the notion of nonmagnetic j=3/2 quartet ground state discussed in classical textbooks is at odds with the observed variety of magnetic properties. Here we throw fresh light on the electronic structure of 4$d^1$ and 5$d^1$ ions in molybdenum- and osmium-based double-perovskite systems and reveal different kinds of on-site many-body physics in the two families of compounds: while the sizable magnetic moments and $g$ factors measured experimentally are due to both metal $d$-ligand $p$ hybridization and dynamic Jahn-Teller interactions for 4$d$ electrons, it is essentially $d$-$p$ covalency for the 5$d^1$ configuration. These results highlight the subtle interplay of spin-orbit interactions, covalency and electron-lattice couplings as the major factor in deciding the nature of the magnetic ground states of 4$d$ and 5$d$ quantum materials. Cation charge imbalance in the double-perovskite structure is further shown to allow a fine tuning of the gap between the $t_{2g}$ and $e_g$ levels, an effect of much potential in the context of orbital engineering in oxide electronics.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Feedback from Nature: Simple Randomised Distributed Algorithms for Maximal Independent Set Selection and Greedy Colouring

We propose distributed algorithms for two well-established problems that operate efficiently under extremely harsh conditions. Our algorithms achieve state-of-the-art performance in a simple and novel way. Our algorithm for maximal independent set selection operates on a network of identical anonymous processors. The processor at each node has no prior information about the network. At each time step, each node can only broadcast a single bit to all its neighbours, or remain silent. Each node can detect whether one or more neighbours have broadcast, but cannot tell how many of its neighbours have broadcast, or which ones. We build on recent work of Afek et al. which was inspired by studying the development of a network of cells in the fruit fly~\cite{Afek2011a}. However we incorporate for the first time another important feature of the biological system: varying the probability value used at each node based on local feedback from neighbouring nodes. Given any $n$-node network, our algorithm achieves the optimal expected time complexity of $O(\log n)$ rounds and the optimal expected message complexity of $O(1)$ single-bit messages broadcast by each node.We also show that the previous approach, without feedback, cannot achieve better than $Ω(\log^2 n)$ expected time complexity, whatever global scheme is used to choose the probabilities. Our algorithm for distributed greedy colouring works under similar harsh conditions: each identical node has no prior information about the network, can only broadcast a single message to all neighbours at each time step representing a desired colour, and can only detect whether at least one neighbour has broadcast each colour value. We show that our algorithm has an expected time complexity of $O(Δ+\log n)$, where $Δ$ is the maximum degree of the network, and expected message complexity of $O(1)$ messages broadcast by each node.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Probing the role of mobility in the collective motion of non-equilibrium systems

By systematically varying the mobility of self-propelled particles in a two-dimensional (2D) lattice, we experimentally study the influence of particle mobility on system's collective motion. Our system is intrinsically non-equilibrium due to the lack of energy equipartition. By constructing the covariance matrix of spatial fluctuations and solving for its eigenmodes, we obtain the collective motions of the system with various magnitudes. Interestingly, our structurally ordered non-equilibrium system exhibits almost identical properties as disordered glassy systems under thermal equilibrium: the modes with large overall motions are spatially correlated and quasilocalized while the modes with small collective motions are highly localized, resembling the low- and high-frequency modes in glass. More surprisingly, a peak similar to the boson peak forms in our non-equilibrium system as the number of mobile particles increases, revealing the possible origin of the boson peak from a dynamic aspect. We further illustrate that the spatially-correlated large-movement modes can be produced by the cooperation of highly-active particles above a threshold fraction, while the localized small-movement modes can be created by adding individual inactive particles. Our study clarifies the role of mobility in collective motions, and further suggests a promising possibility of extending the powerful mode analysis approach to non-equilibrium systems.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Topic Sensitive Neural Headline Generation

Neural models have recently been used in text summarization including headline generation. The model can be trained using a set of document-headline pairs. However, the model does not explicitly consider topical similarities and differences of documents. We suggest to categorizing documents into various topics so that documents within the same topic are similar in content and share similar summarization patterns. Taking advantage of topic information of documents, we propose topic sensitive neural headline generation model. Our model can generate more accurate summaries guided by document topics. We test our model on LCSTS dataset, and experiments show that our method outperforms other baselines on each topic and achieves the state-of-art performance.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

A Herschel Study of 24 micron-Selected AGNs and Their Host Galaxies

We present a sample of 290 24-micron-selected active galactic nuclei (AGNs) mostly at z ~ 0.3 -- 2.5, within 5.2 square degrees distributed as 25' X 25' fields around each of 30 galaxy clusters in the Local Cluster Substructure Survey (LoCuSS). The sample is nearly complete to 1 mJy at 24 microns, and has a rich multi-wavelength set of ancillary data; 162 are detected by Herschel. We use spectral templates for AGNs, stellar populations, and infrared emission by star forming galaxies to decompose the spectral energy distributions (SEDs) of these AGNs and their host galaxies, and estimate their star formation rates (SFRs), AGN luminosities, and host galaxy stellar masses. The set of templates is relatively simple: a standard Type-1 quasar template; another for the photospheric output of the stellar population; and a far infrared star-forming template. For the Type-2 AGN SEDs, we substitute templates including internal obscuration, and some Type-1 objects require a warm component (T > 50 K). The individually Herschel- detected Type-1 AGNs and a subset of 17 Type-2 ones typically have luminosities > 10^{45} ergs/s, and supermassive black holes of ~ 3 X 10^8 Msun emitting at ~ 10% of the Eddington rate. We find them in about twice the numbers of AGN identified in SDSS data in the same fields, i.e., they represent typical high luminosity AGN, not an infrared-selected minority. These AGNs and their host galaxies are studied further in an accompanying paper.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Effect of Exchange Interaction on Magnetic Thermal Fluctuation and Spin Susceptibility

The expression of the thermal fluctuation parameter in the stochastic Landau-Lifshitz-Gilbert equation has been derived from a fundamental quantum theory of spins and phonons, in which the exchange interaction between nearest atoms has been included. Our studies show that the thermal fluctuation decreases exponentially with increasing exchange interaction. The non-uniform fluctuation of local spins make the spin susceptibility much different from the result derived by the macro-spin model or single spin model. The related spin susceptibility depends not only on the strength of exchange interaction, but also on the lattice structure. The non-uniform fluctuation can lead to an extra broadening of the resonance line width along with the broadening arisen from the Gilbert damping.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Kelvin Helmholtz instability in an ultrathin air film causes drop splashing on smooth surfaces

When a fast-moving drop impacts onto a smooth substrate, splashing will be produced at the edge of the expanding liquid sheet. This ubiquitous phenomenon lacks a fundamental understanding. Combining experiment with model, we illustrate that the ultrathin air film trapped under the expanding liquid front triggers splashing. Because this film is thinner than the mean free path of air molecules, the interior airflow transfers momentum with an unusually high velocity comparable to the speed of sound and generates a stress 10 times stronger than the airflow in common situations. Such a large stress initiates Kelvin Helmholtz instabilities at small length scales and effectively produces splashing. Our model agrees quantitatively with experimental verifications and brings a fundamental understanding to the ubiquitous phenomenon of drop splashing on smooth surfaces.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

The Relation between Luminous AGNs and Star Formation in Their Host Galaxies

We study the relation of active galactic nuclei (AGNs) to star formation in their host galaxies. Our sample includes 205 Type-1 and 85 Type-2 AGNs, 162 detected with Herschel, from fields surrounding 30 galaxy clusters in the Local Cluster Substructure Survey (LoCuSS). The sample is identified by optical line widths and ratios after selection to be brighter than 1 mJy at 24 microns. We show that Type-2 AGN [OIII]5007 line fluxes at high z can be contaminated by their host galaxies with typical spectrograph entrance apertures (but our sample is not compromised in this way). We use spectral energy distribution (SED) templates to decompose the galaxy SEDs and estimate star formation rates, AGN luminosities, and host galaxy stellar masses (described in an accompanying paper). The AGNs arise from massive black holes (~ 3 X 10^8 Msun) accreting at ~ 10% of the Eddington rate and residing in galaxies with stellar mass > 3 X 10^{10} Msun; those detected with Herschel have IR luminosity from star formation in the range of 10^{10} -- 10^{12} Lsun. We find that: 1.) the specific star formation rates in the host galaxies are generally consistent with those of normal star-forming (main sequence) galaxies; 2.) there is a strong correlation between the luminosities from star formation and the AGN; and 3.) however, the correlation may not result from a causal connection, but could arise because the black hole mass (and hence AGN Eddington luminosity) and star formation are both correlated with the galaxy mass.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Coalescence of Pickering emulsion droplets induced by an electric field

Combining high-speed photography with electric current measurement, we investigate the electrocoalescence of Pickering emulsion droplets. Under high enough electric field, the originally-stable droplets coalesce via two distinct approaches: normal coalescence and abnormal coalescence. In the normal coalescence, a liquid bridge grows continuously and merges two droplets together, similar to the classical picture. In the abnormal coalescence, however, the bridge fails to grow indefinitely; instead it breaks up spontaneously due to the geometric constraint from particle shells. Such connecting-then-breaking cycles repeat multiple times, until a stable connection is established. In depth analysis indicates that the defect size in particle shells determines the exact merging behaviors: when the defect size is larger than a critical size around the particle diameter, normal coalescence will show up; while abnormal coalescence will appear for coatings with smaller defects.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Eliminating cracking during drying

When colloidal suspensions dry, stresses build up and cracks often occur - a phenomenon undesirable for important industries such as paint and ceramics. We demonstrate an effective method which can completely eliminate cracking during drying: by adding emulsion droplets into colloidal suspensions, we can systematically decrease the amount of cracking, and eliminate it completely above a critical droplet concentration. Since the emulsion droplets eventually also evaporate, our technique achieves an effective function while making little changes to the component of final product, and may therefore serve as a promising approach for cracking elimination. Furthermore, adding droplets also varies the speed of air invasion and provides a powerful method to adjust drying rate. With the effective control over cracking and drying rate, our study may find important applications in many drying and cracking related industrial processes.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

High Visibility Two-photon Interference with Classical Light

Two-photon interference with independent classical sources, in which superposition of two indistinguishable two-photon paths plays a key role, is of limited visibility of interference fringes with a maximum value of 50%. By using a random-phase grating to modulate the wavefront of a coherent light, we introduce superposition of multiple indistinguishable two-photon paths, which enhances the two-photon interference effect with a signature of visibility exceeding 50%. The result shows the importance of phase control in the control of high-order coherence of classical light.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Structuring Causal Tree Models with Continuous Variables

This paper considers the problem of invoking auxiliary, unobservable variables to facilitate the structuring of causal tree models for a given set of continuous variables. Paralleling the treatment of bi-valued variables in [Pearl 1986], we show that if a collection of coupled variables are governed by a joint normal distribution and a tree-structured representation exists, then both the topology and all internal relationships of the tree can be uncovered by observing pairwise dependencies among the observed variables (i.e., the leaves of the tree). Furthermore, the conditions for normally distributed variables are less restrictive than those governing bi-valued variables. The result extends the applications of causal tree models which were found useful in evidential reasoning tasks.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Compressible Air Entrapment in High-Speed Drop Impacts on Solid Surfaces

Using high-speed photography coupled with optical interference, we experimentally study the air entrapment during a liquid drop impacting a solid substrate. We observe the formation of a compressed air film before the liquid touches the substrate, with internal pressure considerably higher than the atmospheric value. The degree of compression highly depends on the impact velocity, as explained by balancing the liquid deceleration with the large pressure of compressed air. After contact, the air film expands vertically at the edge, reducing its pressure within a few tens of microseconds and producing a thick rim on the perimeter. This thick-rimmed air film subsequently contracts into an air bubble, governed by the complex interaction between surface tension, inertia and viscous drag. Such a process is universally observed for impacts above a few centimeters high.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Feedback from nature: an optimal distributed algorithm for maximal independent set selection

Maximal Independent Set selection is a fundamental problem in distributed computing. A novel probabilistic algorithm for this problem has recently been proposed by Afek et al, inspired by the study of the way that developing cells in the fly become specialised. The algorithm they propose is simple and robust, but not as efficient as previous approaches: the expected time complexity is O(log^2 n). Here we first show that the approach of Afek et al cannot achieve better efficiency than this across all networks, no matter how the probability values are chosen. However, we then propose a new algorithm that incorporates another important feature of the biological system: adapting the probabilities used at each node based on local feedback from neighbouring nodes. Our new algorithm retains all the advantages of simplicity and robustness, but also achieves the optimal efficiency of O(log n) expected time.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Magnetization dynamics at elevated temperatures

By using the quantum kinetic approach with the instantaneous local equilibrium approximation, we propose an equation that is capable of addressing magnetization dynamics for a wide range of temperatures. The equation reduces to the Landau-Lifshitz equation at low temperatures and to the paramagnetic Bloch equation at high temperatures. Near the Curie temperature, the magnetization reversal and dynamics depend on both transverse and longitudinal relaxations. We further include the stochastic fields in the dynamic equation in order to take into account fluctuation at high temperatures. Our proposed equation may be broadly used for modeling laser pump-probe experiments and heat assisted magnetic recording.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Manipulating the fully spin-polarized edge currents in graphene ribbon

Electron fully spin-polarized edge states in graphene emerged at the interfaces of a nonuniform magnetic field are studied numerically in a tight-binding model, with both the orbital and Zeeman-splitting effects of magnetic field considered. We show that the fully spin-polarized currents can be manipulated by a gate voltage. In order to make use of the fully spin-polarized currents in the spin related transport, a three-terminal experiment is designed and expected to export the fully spin-polarized currents. This may have important applications in spin based nanodevices.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Quantized multi-terminal resistances in ferromagnetic graphene p-n junctions

The quantum Hall and longitudinal resistances in multi-terminal ferromagnetic graphene p-n junctions under a perpendicular magnetic field are investigated. In the Hall measurements, the transverse contacts are assumed to be located at p-n interface to avoid the mixing of edge states at the interface and the resulting quantized resistances are then topologically protected. According to the charge carrier type, the resistances in four-terminal p-n junction can be naturally divided into nine different regimes. The symmetric Hall and longitudinal resistances are observed, with lots of new robust quantum plateaus revealed due to the competition between spin splitting and local potentials.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Understanding the Low-Frequency Modes in Disordered Systems at Single-Particle Level

Normal modes provide a fundamental basis for understanding crucial properties of solids, such as the thermal conductivity, the heat capacity and the sound propagation. While the normal modes are excellently described by plane waves in crystals, they are far less understood in disordered systems, due to the great difficulties in characterizing the heterogeneous vibrational behaviors. Using charged colloids with long-range repulsion, we successfully make different disordered systems without any contact friction, whose normal modes can be visualized at single-particle level. In these systems, we directly tackle the long-time outstanding puzzle in condensed matter physics: the microscopic origin of the low-frequency modes in disordered systems. For the first time, we experimentally clarify that the low-frequency modes are caused by the collective resonance of relatively disordered particles (or soft structures) coupled with long-wavelength transverse excitations, settling this puzzle at single-particle level. Next to these low-frequency modes in the density of states, we also observe a plateau due to isostaticity, verifying the fundamental prediction of jamming model. Moreover, we reveal the intrinsic correlation between the low-frequency modes and the real dynamics, which may lead to a universal mechanism for aging, melting and yielding.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Controlling the direction and amount of a splash with textured surface

Because splashing is such a violent process, one might naively expect that neither the direction of droplet emission nor the amount of ejected material can be controlled with any precision. Even though it is observed countless times in the course of a day, drop splashing is highly non-intuitive: for example, it is surprising that the surrounding air pressure determines whether a drop will splash when hitting a smooth surface. Here we describe a discovery with significant practical ramifications: the direction, as well as the number, of the ejected droplets can be controlled by the texture of a surface.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Drying of complex suspensions

We investigate the 3D structure and drying dynamics of complex mixtures of emulsion droplets and colloidal particles, using confocal microscopy. Air invades and rapidly collapses large emulsion droplets, forcing their contents into the surrounding porous particle pack at a rate proportional to the square of the droplet radius. By contrast, small droplets do not collapse, but remain intact and are merely deformed. A simple model coupling the Laplace pressure to Darcy's law correctly estimates both the threshold radius separating these two behaviors, and the rate of large-droplet evacuation. Finally, we use these systems to make novel hierarchical structures.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Instability development of a viscous liquid drop impacting a smooth substrate

We study the instability development during a viscous liquid drop impacting a smooth substrate, using high speed photography. The onset time of the instability highly depends on the surrounding air pressure and the liquid viscosity: it decreases with air pressure with the power of minus two, and increases linearly with the liquid viscosity. From the real-time dynamics measurements, we construct a model which compares the destabilizing stress from air with the stabilizing stress from liquid viscosity. Under this model, our experimental results indicate that at the instability onset time, the two stresses balance each other. This model also illustrates the different mechanisms for the inviscid and viscous regimes previously observed: the inviscid regime is stabilized by the surface tension and the viscous regime is stabilized by the liquid viscosity.

0 citations0 reviewsNo code linkedOpen access
preprint2009arXiv

Edge States and Quantum Hall Effect in Graphene under a Modulated Magnetic Field

Graphene properties can be manipulated by a periodic potential. Based on the tight-binding model, we study graphene under a one-dimensional (1D) modulated magnetic field which contains both a uniform and a staggered component. New chiral current-carrying edge states are generated at the interfaces where the staggered component changes direction. These edge states lead to an unusual integer quantum Hall effect (QHE) in graphene, which can be observed experimentally by a standard four-terminal Hall measurement. When Zeeman spin splitting is considered, a novel state is predicted where the electron edge currents with opposite polarization propagate in the opposite directions at one sample boundary, whereas propagate in the same directions at the other sample boundary.

0 citations0 reviewsNo code linkedOpen access
preprint2009arXiv

Induced chiral Dirac fermions in graphene by a periodically modulated magnetic field

The effect of a modulated magnetic field on the electronic structure of neutral graphene is examined in this paper. It is found that application of a small staggered modulated magnetic field does not destroy the Dirac-cone structure of graphene and so preserves its 4-fold zero-energy degeneracy. The original Dirac points (DPs) are just shifted to other positions in k space. By varying the staggered field gradually, new DPs with exactly the same electron-hole crossing energy as that of the original DPs, are generated, and both the new and original DPs are moving continuously. Once two DPs are shifted to the same position, they annihilate each other and vanish. The process of generation and evolution of these DPs with the staggered field is found to have a very interesting patten, which is examined carefully. Generally, there exists a corresponding branch of anisotropic massless fermions for each pair of DPs, resulting in that each Landau level (LL) is still 4-fold degenerate except the zeroth LL which has a robust $4n_t$-fold degeneracy with nt the number of pairs of DPs. As a result, the Hall conductivity $σ_{xy}$ shows a step of size $4n_te^2/h$ across zero energy.

0 citations0 reviewsNo code linkedOpen access
preprint2008arXiv

Dynamics of drying in 3D porous media

The drying dynamics in three dimensional porous media are studied with confocal microscopy. We observe abrupt air invasions in size from single particle to hundreds of particles. We show that these result from the strong flow from menisci in large pores to menisci in small pores during drying. This flow causes air invasions to start in large menisci and subsequently spread throughout the entire system. We measure the size and structure of the air invasions and show that they are in accord with invasion percolation. By varying the particle size and contact angle we unambiguously demonstrate that capillary pressure dominates the drying process.

0 citations0 reviewsNo code linkedOpen access