Source author record

Pu Zhang

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

ResearcherUnclaimed source record

Catalog footprint

What is connected

40works
14topics
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

40 published item(s)

preprint2026arXiv

Homotopy categories of admissible model structures on extriangulated categories

The extriangulated category is a simultaneous generalization of exact categories and triangulated categories. H. Nakaoka and Y. Palu have proved that the homotopy category of an admissible model structure on a weakly idempotent complete extriangulated category is a triangulated category. Using the classic construction of distinguished triangles given by A. Heller and D. Happel, this paper provides an alternative proof of Nakaoka - Palu Theorem. In fact, the class $Δ$ of distinguished triangles in the present paper and the class $\widetildeΔ$ of distinguished triangles in \cite{NP} have the relation $Δ= - \widetildeΔ$, and hence the two triangulated structures on the homotopy category are isomorphic.

preprint2026arXiv

JANUS: A Difference-Oriented Analyzer For Financial Centralization Risks in Smart Contracts

Some smart contracts violate decentralization principles by defining privileged accounts that manage other users' assets without permission, introducing centralization risks that have caused financial losses. Existing methods, however, face challenges in accurately detecting diverse centralization risks due to their dependence on predefined behavior patterns. In this paper, we propose JANUS, an automated analyzer for Solidity smart contracts that detects financial centralization risks independently of their specific behaviors. JANUS identifies differences between states reached by privileged and ordinary accounts, and analyzes whether these differences are finance-related. Focusing on the impact of risks rather than behaviors, JANUS achieves improved accuracy compared to existing tools and can uncover centralization risks with unknown patterns. To evaluate JANUS's performance, we compare it with other tools using a dataset of 540 contracts. Our evaluation demonstrates that JANUS outperforms representative tools in terms of detection accuracy for financial centralization risks . Additionally, we evaluate JANUS on a real-world dataset of 33,151 contracts, successfully identifying two types of risks that other tools fail to detect. We also prove that the state traversal method and variable summaries, which are used in JANUS to reduce the number of states to be compared, do not introduce false alarms or omissions in detection.

preprint2022arXiv

Calibrating quantum hydrodynamic model for noble metals in nanoplasmonics

Quantum hydrodynamic model (QHDM) has become a versatile and efficient tool for studying plasmonics at the nanoscopic length scale. Yet its application to noble metals has not been sufficiently justified, in particular for situations where the metallic structures interface with dielectric material and electrons spill over the interfaces. In a recent work, we developed a refined QHDM, where the near-field effects and static polarization of metal ion lattice, and the electron affinity and static permittivity of the dielectric are incorporated. Here we perform a careful calibration of the model parameters for the refined QHDM. The model parameters are determined by benchmarking with (time-dependent) density functional theory calculations for special cases of simple metal. The predictive power of the refined QHDM with calibrated model parameters is faithfully demonstrated by the calculations of the optical responses from gold nanomatryoshkas of different sizes. The refined QHDM approach allows the quasinormal mode analysis for revealing the intrinsic optical properties of the nanoscopic metallic structures. We expect the well-calibrated refined QHDM would provide the nanoplasmonics community with a useful tool.

preprint2022arXiv

Gorenstein-projective modules over short local algebras

Following the well-established terminology in commutative algebra, any (not necessarily commutative) finite-dimensional local algebra $A$ with radical $J$ will be said to be short provided $J^3 = 0$. As in the commutative case, we show: if a short local algebra $A$ has an indecomposable non-projective Gorenstein-projective module $M$, then either $A$ is self-injective (so that all modules are Gorenstein-projective) and then $|J^2| \le 1$, or else $|J^2| = |J/J^2| - 1$ and $|JM| = |J^2||M/JM|$. More generally, we focus the attention to semi-Gorenstein-projective and $\infty$-torsionfree modules, even to $\mho$-paths of length 2, 3 and 4. In particular, we show that the existence of a non-projective reflexive module implies that $|J^2| < |J/J^2|$ and further restrictions. In addition, we consider exact complexes of projective modules with a non-projective image. Again, as in the commutative case, we see that if such a complex exists, then $A$ is self-injective or satisfies the condition $|J^2| = |J/J^2| - 1.$ Also, we show that any non-projective semi-Gorenstein-projective module $M$ satisfies $Ext^1(M,M) \neq 0$. In this way, we prove the Auslander-Reiten conjecture (one of the classical homological conjectures) for arbitrary short local algebras. Many arguments used in the commutative case actually work in general, but there are interesting differences and some of our results may be new also in the commutative case.

preprint2022arXiv

Monic modules and semi-Gorenstein-projective modules

The category ${\rm gp}(Λ)$ of Gorenstein-projective modules over tensor algebra $Λ= A\otimes_kB$ can be described as the monomorphism category ${\rm mon}(B, {\rm gp}(A))$ of $B$ over ${\rm gp}(A)$. In particular, Gorenstein-projective $Λ$-modules are monic. In this paper, we find the similar relation between semi-Gorenstein-projective $Λ$-modules and $A$-modules, via monic modules, namely, ${\rm mon}(B, \ ^\perp A) = {\rm mon}(B, A)\cap \ ^\perp Λ.$ Using this, it is proved that if $A$ is weakly Gorenstein, then $Λ$ is weakly Gorenstein if and only each semi-Gorenstein-projective $Λ$-modules are monic; and that if $B = kQ$ with $Q$ a finite acyclic quiver, then $Λ$ is weakly Gorenstein if and only if $A$ is weakly Gorenstein. However, this relation itself does not answer the question whether there exist double semi-Gorenstein-projective $Λ$-modules which are not monic. Using the recent discovered examples of double semi-Gorenstein-projective $A$-modules which are not torsionless, we positively answer this question, by explicitly constructing a class of double semi-Gorenstein-projective $T_2(A)$-modules with one parameter such that they are not monic, and hence not torsionless. The corresponding results are obtained also for the monic modules and semi-Gorenstein-projective modules over the triangular matrix algebras given by bimodules.

preprint2022arXiv

Trajectory Forecasting from Detection with Uncertainty-Aware Motion Encoding

Trajectory forecasting is critical for autonomous platforms to make safe planning and actions. Currently, most trajectory forecasting methods assume that object trajectories have been extracted and directly develop trajectory predictors based on the ground truth trajectories. However, this assumption does not hold in practical situations. Trajectories obtained from object detection and tracking are inevitably noisy, which could cause serious forecasting errors to predictors built on ground truth trajectories. In this paper, we propose a trajectory predictor directly based on detection results without relying on explicitly formed trajectories. Different from the traditional methods which encode the motion cue of an agent based on its clearly defined trajectory, we extract the motion information only based on the affinity cues among detection results, in which an affinity-aware state update mechanism is designed to take the uncertainty of association into account. In addition, considering that there could be multiple plausible matching candidates, we aggregate the states of them. This design relaxes the undesirable effect of noisy trajectory obtained from data association. Extensive ablation experiments validate the effectiveness of our method and its generalization ability on different detectors. Cross-comparison to other forecasting schemes further proves the superiority of our method. Code will be released upon acceptance.

preprint2021arXiv

A general framework of canonical quasinormal mode analysis for extreme nano-optics

Optical phenomena associated with extremely localized field should be understood with considerations of nonlocal and quantum effects, which pose a hurdle to conceptualize the physics with a picture of eigenmodes. Here we first propose a generalized Lorentz model to describe general nonlocal media under linear mean-field approximation and formulate source-free Maxwell's equations as a linear eigenvalue problem to define the quasinormal modes. Then we introduce an orthonormalization scheme for the modes and establish a canonical quasinormal mode framework for general nonlocal media. Explicit formalisms for metals described by quantum hydrodynamic model and polar dielectrics with nonlocal response are exemplified. The framework enables for the first time direct modal analysis of mode transition in the quantum tunneling regime and provides physical insights beyond usual far-field spectroscopic analysis. Applied to nonlocal polar dielectrics, the framework also unveils the important roles of longitudinal phonon polaritons in optical response.

preprint2021arXiv

Quasinormal mode theory for nanoscale electromagnetism with quantum surface responses

We report a self-consistent quasinormal mode theory for nanometer scale electromagnetism where the possible nonlocal and quantum effects are treated through quantum surface responses. With Feibelman's frequency-dependent \textit{d} parameters to describe the quantum surface responses, we formulate the source-free Maxwell's equations into a generalized linear eigenvalue problem to define the quasinormal modes. We then construct an orthonormal relation for the modes and consequently unlock the powerful toolbox of modal analysis. The orthonormal relation is validated by the reconstruction of the full numerical results through modal contributions. Significant changes in the landscape of the modes are observed due to the incorporation of the quantum surface responses for a number of nanostructures. Our semi-analytical modal analysis enables transparent physical interpretation of the spontaneous emission enhancement of a dipolar emitter as well as the near-field and far-field responses of planewave excitations in the nanostructures.

preprint2020arXiv

Characterization of Lipschitz Functions via Commutators of Multilinear Singular Integral Operators in Variable Lebesgue Spaces

In this paper, the main aim is to consider the boundedness of commutators of multilinear Calderón-Zygmund operators with Lipschitz functions in the context of the variable exponent Lebesgue spaces. Furthermore, the variable versions of the Lipschitz spaces are also discussed, and with the help of a key tool of a pointwise estimate involving the sharp maximal operator of the multilinear fractional commutator and certain associated maximal operators.

preprint2020arXiv

Koszul modules (and the $Ω$-growth of modules) over short local algebras

Following the well-established terminology in commutative algebra, any (not necessarily commutative) finite-dimensional local algebra $A$ with radical $J$ will be said to be short provided $J^3 = 0$. As in the commutative case, also in general, the asymptotic behavior of the Betti numbers of modules seems to be of interest. As we will see, there are only few possibilities for the growth of the Betti numbers of modules. We generalize results which are known for commutative algebras, but some of our results seem to be new also in the commutative case.

preprint2020arXiv

Multiscale Modeling and Analysis for High-fidelity Interferometric Scattering Microscopy

Interferometric scattering microscopy (iSCAT), as an ultrasensitive fluorescence-free imaging modality, has recently gain enormous attention and been rapidly developing from demonstration of principle to quantitative sensing. Here we report on a theoretical and experimental study for iSCAT with samples having structural dimensions that differ by 4-5 orders of magnitude. In particular, we demonstrate and intuitively explain the profound effects of sub-nanometer surface roughness of a glass coverslip and of a mica surface on the absolute signal and the shape of the point spread function of a gold nanoparticle. These quantities significantly affect the accuracies for determining the target size and position in all three dimensions. Moreover, we investigate a sample system mimicking a gold nanoparticle in a simplified cell environment and show position-dependent and even asymmetric point spread function of the nanoparticle. The multiscale study will facilitate the development of high fidelity iSCAT in real applications.

preprint2020arXiv

On modules M such that M and M* are semi-Gorenstein-projective

Let A be an artin algebra. An A-module M is semi-Gorenstein-projective provided that Ext^i(M,A) = 0 for all i > 0. If M is Gorenstein-projective, then both M and its A-dual M* are semi-Gorenstein projective. As we have shown recently, the converse is not true, thus answering a question raised by Avramov and Martsinkovsky. The aim of the present note is to analyse in detail the modules M such that both M and M* are semi-Gorenstein-projective.

preprint2020arXiv

Temperature and Rate Dependent Constitutive Behaviors of Low Melt Field's Metal

Low melting point metals such as Field's metal and gallium are increasingly used as transition phases in stiffness-tuning soft materials and devices. Nevertheless, there is a knowledge gap on the fundamental constitutive behaviors of metals with melting points below 100 degree. This letter reports the stress-strain relationships of Field's metal at various temperatures and strain rates. This metal has the lowest melting point among metals whose constitutive behaviors have been studied systematically. Experimental results indicate that Field's metal exhibits a strain-softening behavior, in oppose to the strain-hardening behaviors of most engineering metals and alloys. A modified Johnson-Cook model is devised in this letter to describe the constitutive behaviors of Field's metal. The proposed metal will facilitate the design and analysis of functional materials and structures consisting of Field's metal.

preprint2020arXiv

The Truncated Metallo-dielectric Omnidirectional Reflector: Collecting Single Photons in the Fundamental Gaussian Mode with 95% Efficiency

We propose a novel antenna structure which funnels single photons from a single emitter with unprecedented efficiency into a low-divergence fundamental Gaussian mode. Our device relies on the concept of creating an omnidirectional photonic bandgap to inhibit unwanted large-angle emission and to enhance small-angle defect-guided-mode emission. The new photon collection strategy is intuitively illustrated, rigorously verified and optimized by implementing an efficient body-of-revolution finite-difference time-domain method for in-plane dipole emitters. We investigate a few antenna designs to cover various boundary conditions posed by fabrication processes or material restrictions and theoretically demonstrate that collection efficiencies into the fundamental Gaussian mode exceeding 95% are achievable. Our antennas are broadband, insensitive to fabrication imperfections and compatible with a variety of solid-state emitters such as organic molecules, quantum dots and defect centers in diamond. Unidirectional and low-divergence Gaussian-mode emission from a single emitter may enable the realization of a variety of photonic quantum computer architectures as well as highly efficient light-matter interfaces.

preprint2019arXiv

Gorenstein-projective and semi-Gorenstein-projective modules

An A-module M will be said to be semi-Gorenstein-projective provided that Ext^i(M,A) = 0 for all i > 0. All Gorenstein-projective modules are semi-Gorenstein-projective and only few and quite complicated examples of semi-Gorenstein-projective modules which are not Gorenstein-projective have been known. The aim of the paper is to provide conditions on A such that all semi-Gorenstein-projective modules are Gorenstein-projective (we call such an algebra left weakly Gorenstein). In particular, we show that in case there are only finitely many isomorphism classes of indecomposable left modules which are both semi-Gorenstein-projective and torsionless, then A is left weakly Gorenstein. On the other hand, we exhibit a 6-dimensional algebra with a semi-Gorenstein-projective module M which is not torsionless (thus not Gorenstein-projective). Actually, also the dual module M* is semi-Gorenstein-projective module. In this way, we show the independence of the total reflexivity conditions of Avramov and Martsinkovsky, thus completing a partial proof by Jorgensen and Sega. Since all the syzygy-modules of M and M* are 3-dimensional, the example can be visualized quite easily.

preprint2019arXiv

Single-Molecule Doped Crystalline Nanosheets for Delicate Photophysics Studies and Directional Single-Photon Emitting Devices

Single molecules in solids have been considered as an attractive class of solid-state single quantum systems because they can be chemically synthesized at low cost to have stable narrow transitions at desired wavelengths. Here we report and demonstrate single dibenzoterrylene molecules in crystalline anthracene nanosheets as a robust and versatile solid-state platform for delicate photophysics studies and building blocks of single-photon devices. The high-quality nanosheet sample enables robust studies of delicate single-molecule photophysics at room temperature, including the first real-time observation of single molecule insertion site jump, quantitative measurements of the associated changes of dipole moment orientation and magnitude, unambiguous determination of excitation-power dependent intersystem crossing rate and triplet lifetime. Moreover, we demonstrate the flexible assembly of the nanosheets into a planar antenna device to achieve bright single-molecule emission with a Gaussian emission pattern. The thin thickness, good photostability and mechanical stability make the dibenzoterrylene-in-anthracene nanosheet system an excellent candidate of static quantum nodes in integrated photonic circuit.

preprint2016arXiv

Commutators of multilinear Calderón-Zygmund operators with kernels of Dini's type and applications

Let $T$ be a multilinear Calderón-Zygmund operator of type $ω$ with $ω(t)$ being nondecreasing and satisfying a kind of Dini's type condition. Let $T_{Π\vec{b}}$ be the iterated commutators of $T$ with $BMO$ functions. The weighted strong and weak $L(\log{L})$-type endpoint estimates for $T_{Π\vec{b}}$ with multiple weights are established. Some boundedness properties on weighted variable exponent Lebesgue spaces are also obtained. As applications, multiple weighted estimates for iterated commutators of paraproducts and bilinear pseudo-differential operators with mild regularity are given.

preprint2016arXiv

Monic monomial representations I Gorenstein-projective modules

For a $k$-algebra $A$, a quiver $Q$, and an ideal $I$ of $kQ$ generated by monomial relations, let $Λ: = A\otimes_k kQ/I$. We introduce the monic representations of $(Q, I)$ over $A$. We give properties of the structural maps of monic representations, and prove that the category ${\rm mon}(Q, I, A)$ of the monic representations of $(Q, I)$ over $A$ is a resolving subcategory of ${\rm rep}(Q, I, A)$. We introduce the condition ${\rm(G)}$. The main result claims that a $\m$-module is Gorenstein-projective if and only if it is a monic module satisfying ${\rm(G)}$. As consequences, the monic $\m$-modules are exactly the projective $\m$-modules if and only if $A$ is semisimple; and they are exactly the Gorenstein-projective $\m$-modules if and only if $A$ is selfinjective, and if and only if ${\rm mon}(Q, I, A)$ is Frobenius.

preprint2016arXiv

Unbounded ladders induced by Gorenstein algebras

The derived category $D({\rm Mod}A)$ of a Gorenstein triangular matrix algebra $A$ admits an unbounded ladder; and this ladder restricts to $D^-({\rm Mod})$ {\rm(}resp. $D^b({\rm Mod})$, $D^b({\rm mod})$, $K^b({\rm proj})${\rm)}. A left recollement of triangulated categories with Serre functors sits in a ladder of period $1$; as an application, the singularity category of $A$ admits a ladder of period $1$.

preprint2015arXiv

Biomimetic Staggered Composites with Highly Enhanced Energy Dissipation: Design, Modeling, and Test

We investigate the damping enhancement in a class of biomimetic staggered composites via a combination of design, modeling, and experiment. In total, three kinds of staggered composites are designed by mimicking the structure of bone and nacre. These composite designs are realized by 3D printing a rigid plastic and a viscous elastomer simultaneously. Greatly-enhanced energy dissipation in the designed composites is observed from both the experimental results and theoretical prediction. The designed polymer composites have loss modulus up to ~500 MPa, higher than most of the existing polymers. In addition, their specific loss modulus (up to 0.43 $Km^2/s^2$) is among the highest of damping materials. The damping enhancement is attributed to the large shear deformation of the viscous soft matrix and the large strengthening effect from the rigid inclusion phase.

preprint2015arXiv

Point Group Symmetry and Deformation Induced Symmetry Breaking of Superlattice Materials

The point group symmetry of materials is closely related to their physical properties and quite important for material modeling. However, superlattice materials have more complex symmetry conditions than crystals due to their multilevel structural feature. Thus, a theoretical framework is proposed to characterize and determine the point group symmetry of nonmagnetic superlattice materials systematically. A variety of examples are presented to show the symmetry features of superlattice materials in different dimensions and scales. In addition, the deformation induced symmetry breaking phenomenon is also studied for superlattice materials, which has potential application in tuning physical properties by imposing a strain field.

preprint2014arXiv

Ab-initio nanoplasmonics: The impact of atomic structure

We present an ab-initio study of the hybridization of localized surface plasmons in a metal nanoparticle dimer. The atomic structure, which is often neglected in theoretical studies of quantum nanoplasmonics, has a strong impact on the optical absorption properties when sub-nanometric gaps between the nanoparticles are considered. We demonstrate that this influences the hybridization of optical resonances of the dimer, and leads to significantly smaller electric field enhancements as compared to the standard jellium model. In addition we show that the corrugation of the metal surface at a microscopic scale becomes as important as other well-known quantum corrections to the plasmonic response, implying that the atomic structure has to be taken into account to obtain quantitative predictions for realistic nanoplasmonic devices.

preprint2014arXiv

Categorical resolutions of a class of derived categories

By using the relative derived categories, we prove that if an Artin algebra $A$ has a module $T$ with ${\rm inj.dim}T<\infty$ such that $^\perp T$ is finite, then the bounded derived category $D^b(A\mbox{-}{\rm mod})$ admits a categorical resolution in the sense of [Kuz], and a categorical desingularization in the sense of [BO]. For CM-finite Gorenstein algebra, such a categorical resolution is weakly crepant. The similar results hold also for $D^b(A\mbox{-}{\rm Mod})$.

preprint2014arXiv

From CM-finite to CM-free

The aim of this paper is twofold. On one hand, we prove a slight generalization of the stability for Gorenstein categories in [SWSW] and [Huang]; and show that the relative Auslander algebra of a CM-finite algebra is CM-free. On the other hand, we describe the bounded derived category, and the Gorenstein defect category introduced in [BJO], via Gorenstein-projective objects; and we show that the Gorenstein defect category of a CM-finite algebra is triangle-equivalent to the singularity category of its relative Auslander algebra.

preprint2014arXiv

From submodule categories to preprojective algebras

Let S(n) be the category of invariant subspaces of nilpotent operators with nilpotency index at most n. Such submodule categories have been studied already in 1936 by Birkhoff, they have attracted a lot of attention in recent years, for example in connection with some weighted projective lines (Kussin, Lenzing, Meltzer). On the other hand, we consider the preprojective algebra of type A_n; the preprojective algebras were introduced by Gelfand and Ponomarev, they are now of great interest, for example they form an important tool to study quantum groups (Lusztig) or cluster algebras (Geiss, Leclerc, Schroeer). Direct connections between the submodule category S(n) and the module category of the preprojective algebra of type A_{n-1} have been established quite a long time ago by Auslander and Reiten, and recently also by Li and Zhang, but apparently this remained unnoticed. The aim of this note is to provide details on this relationship. As a byproduct we see that here we deal with ideals I in triangulated categories T such that I is generated by an idempotent and T/I is abelian.

preprint2014arXiv

Objective triangle functors

An (additive) functor F from an additive category A to an additive category B is said to be objective, provided any morphism f in A with F(f) = 0 factors through an object K with F(K) = 0. In this paper we concentrate on triangle functors between triangulated categories. The first aim of this paper is to characterize objective triangle functors F in several ways. Second, we are interested in the corresponding Verdier quotient functors V_F, in particular we want do know under what conditions V_F is full. The third question to be considered concerns the possibility to factorize a given triangle functor F = F_2F_1 with F_1 a full and dense triangle functor and F_2 a faithful triangle functor. It turns our that the behaviour of splitting monomorphisms (and splitting epimorphisms) plays a decisive role.

preprint2013arXiv

Monomorphism operator and perpendicular operator

For a quiver $Q$, a $k$-algebra $A$, and a full subcategory $\mathcal X$ of $A$-mod, the monomorphism category ${\rm Mon}(Q, \mathcal X)$ is introduced. The main result says that if $T$ is an $A$-module such that there is an exact sequence $0\rightarrow T_m\rightarrow...\rightarrow T_0\rightarrow D(A_A)\rightarrow 0$ with each $T_i\in {\rm add} (T)$, then ${\rm Mon}(Q, \ ^\perp T) = \ ^\perp (kQ\otimes_k T)$; and if $T$ is cotilting, then $kQ\otimes_k T$ is a unique cotilting $\m$-module, up to multiplicities of indecomposable direct summands, such that ${\rm Mon}(Q, \ ^\perp T)= \ ^\perp (kQ \otimes_k T)$. As applications, the category of the Gorenstein-projective $(kQ\otimes_kA)$-modules is characterized as ${\rm Mon}(Q, \mathcal{GP}(A))$ if $A$ is Gorenstein; the contravariantly finiteness of ${\rm Mon}(Q, \mathcal X)$ can be described; and a sufficient and necessary condition for ${\rm Mon}(Q, A)$ being of finite type is given.

preprint2013arXiv

Representations of quivers over the algebra of dual numbers

The representations of a quiver Q over a field k have been studied for a long time. It seems to be worthwhile to consider also representations of Q over arbitrary finite-dimensional k-algebras A. Here we draw the attention to the case when A = k[ε] is the algebra of dual numbers, thus to the Λ-modules with Λ= kQ[ε]. The algebra Λ is a 1-Gorenstein algebra, therefore the torsionless Λ-modules are known to be of special interest (as the Gorenstein-projective or maximal Cohen-Macaulay modules). They form a Frobenius category \Cal L, thus the corresponding stable category is a triangulated category. As we show, the category \Cal L is the category of perfect differential kQ-modules and the stable category of \Cal L is triangle equivalent to the orbit category of the derived category D^b(mod kQ) modulo the shift. The homology functor H from mod Λ to \mod kQ yields a bijection between the indecomposables in the stable category of \Cal L and those in mod kQ. Our main interest lies in the inverse, it is given by the minimal \Cal L-approximation. Also, we determine the kernel of the restriction of the functor H to \Cal L and we describe the Auslander-Reiten quiver of \Cal L.

preprint2011arXiv

Auslander-Reiten translations in monomorphism categories

We generalize Ringel and Schmidmeier's theory on the Auslander-Reiten translation of the submodule category $\mathcal S_2(A)$ to the monomorphism category $\mathcal S_n(A)$. As in the case of $n=2$, $\mathcal S_n(A)$ has Auslander-Reiten sequences, and the Auslander-Reiten translation $τ_{\mathcal{S}}$ of $\mathcal S_n(A)$ can be explicitly formulated via $τ$ of $A$-mod. Furthermore, if $A$ is a selfinjective algebra, we study the periodicity of $τ_{\mathcal{S}}$ on the objects of $\mathcal S_n(A)$, and of the Serre functor $F_{\mathcal S}$ on the objects of the stable monomorphism category $\underline{\mathcal{S}_n(A)}$. In particular, $τ_{\mathcal S}^{2m(n+1)}X\cong X$ for $X\in\mathcal{S}_n(\A(m, t))$; and $F_{\mathcal S}^{m(n+1)}X\cong X$ for $X\in\underline{\mathcal{S}_n(\A(m, t))}$, where $\A(m, t), \ m\ge1, \ t\ge2,$ are the selfinjective Nakayama algebras.

preprint2011arXiv

Monic representations and Gorenstein-projective modules

Let $Λ$ be the path algebra of a finite quiver $Q$ over a finite-dimensional algebra $A$. Then $Λ$-modules are identified with representations of $Q$ over $A$. This yields the notion of monic representations of $Q$ over $A$. If $Q$ is acyclic, then the Gorenstein-projective $\m$-modules can be explicitly determined via the monic representations. As an application, $A$ is self-injective if and only if the Gorenstein-projective $\m$-modules are exactly the monic representations of $Q$ over $A$.

preprint2011arXiv

Monomorphism categories, cotilting theory, and Gorenstein-projective modules

The monomorphism category $\mathcal S_n(\mathcal X)$ is introduced, where $\mathcal X$ is a full subcategory of the module category $A$-mod of Artin algebra $A$. The key result is a reciprocity of the monomorphism operator $\mathcal S_n$ and the left perpendicular operator $^\perp$: for a cotilting $A$-module $T$, there is a canonical construction of a cotilting $T_n(A)$-module ${\rm \bf m}(T)$, such that $\mathcal S_n(^\perp T) = \ ^\perp {\rm \bf m}(T)$. As applications, $\mathcal S_n(\mathcal X)$ is a resolving contravariantly finite subcategory in $T_n(A)$-mod with $\hat{\mathcal S_n(\mathcal X)} = T_n(A)$-mod if and only if $\mathcal X$ is a resolving contravariantly finite subcategory in $A$-mod with $\hat{\mathcal X} = A$-mod. For a Gorenstein algebra $A$, the category $T_n(A)\mbox{-}\mathcal Gproj$ of Gorenstein-projective $T_n(A)$-modules can be explicitly determined as $\mathcal S_n(^\perp A)$. Also, self-injective algebras $A$ can be characterized by the property $T_n(A)\mbox{-}\mathcal Gproj = \mathcal S_n(A)$. Using $\mathcal S_n(A)= \ ^\perp {\rm \bf m}(D(A_A))$, a characterization of $\mathcal S_n(A)$ of finite type is obtained.

preprint2011arXiv

Symmetric recollements induced by bimodule extensions

nspired by the work of J$ø$rgensen [J], we define a (upper-, lower-) symmetric recollements; and give a one-one correspondence between the equivalent classes of the upper-symmetric recollements and one of the lower-symmetric recollements, of a triangulated category. Let $\m = \left(\begin{smallmatrix} A&M 0&B \end{smallmatrix}\right)$ with bimodule $_AM_B$. We construct an upper-symmetric abelian category recollement of $\m$-mod; and a symmetric triangulated category recollement of $\underline {\m\mbox{-}\mathcal Gproj}$ if $A$ and $B$ are Gorenstein and $_AM$ and $M_B$ are projective.

preprint2010arXiv

Abnormal enhancement of electric field inside a thin permittivity-near-zero object in free space

It is found that the electric field can be enhanced strongly inside a permittivity-near-zero object in free space, when the transverse cross section of the object is small and the length along the propagation direction of the incident wave is large enough as compared with the wavelength. The physical mechanism is explained in details. The incident electromagnetic energy can only flow almost normally through the outer surface into or out of the permittivity-near-zero object, which leads to large energy stream density and then strong electric field inside the object. Meanwhile, the magnetic field inside the permittivity-near-zero object may be smaller than that of the incident wave, which is also helpful for enhancing the electric field. Two permittivity-near-zero objects of simple shapes, namely, a thin cylindrical shell and a long thin rectangular bar, are chosen for numerical illustration. The enhancement of the electric field becomes stronger when the permittivity-near-zero object becomes thinner. The physical mechanism of the field enhancement is completely different from the plasmonic resonance enhancement at a metal surface.

preprint2010arXiv

Carpet cloaking on a dielectric half-space

Carpet cloaking is proposed to hide an object on a dielectric half-space from electromagnetic (EM) detection. A two-dimensional conformal transformation specified by an analytic function is utilized for the design. Only one nonsingular material parameter distribution suffices for the characterization. The cloaking cover situates on the dielectric half-space, and consists of a lossless upper part for EM wave redirection and an absorbing bottom layer for inducing correct reflection coefficient and absorbing transmission. Numerical simulations with Gaussian beam incidence are performed for verification.

preprint2010arXiv

Squeezing electromagnetic energy with a dielectric split ring inside a permeability-near-zero metamaterial

A novel electromagnetic energy squeezing mechanism is proposed based on the special properties of permeability-near-zero metamaterials. Nearly no energy stream can enter a conventional dielectric region positioned inside a permeability-near-zero material. When a source is surrounded by a dielectric split ring (encloser with a gap opened), the electromagnetic energy generated by the source is forced to propagate through the gap. When the gap is narrow, the energy stream density becomes very large and makes the magnetic field enhanced drastically in the gap. The narrow gap can be long and bended. This provides us a method to obtain strong magnetic field without using resonance enhancement.

preprint2009arXiv

Inverse Transformation Optics and Reflection Analysis for Two-Dimensional Finite Embedded Coordinate Transformation

Inverse transformation optics is introduced, and used to calculate the reflection at the boundary of a transformation medium under consideration. The transformation medium for a practical device is obtained from a two-dimensional (2D) finite embedded coordinate transformation (FECT) which is discontinuous at the boundary. For an electromagnetic excitation of particular polarization, many pairs of original medium (in a virtual space V') and inverse transformation can give exactly the same anisotropic medium through the conventional procedure of transformation optics. Non-uniqueness of these pairs is then exploited for the analysis and calculation of the boundary reflection. The reflection at the boundary of the anisotropic FECT medium (associated with the corresponding vacuum virtual space V) is converted to the simple reflection between two isotropic media in virtual space V' by a selected inverse transformation continuous at the boundary. A reflectionless condition for the boundary of the FECT medium is found as a special case. The theory is verified numerically with the finite element method.