title: Lorentzian Vacuum Transitions in Ho\v{r}ava-Lifshitz Gravity

abstract: The vacuum transition probabilities for a Friedmann-Lema\^itre-Robertson-Walker universe with positive curvature in Ho\v{r}ava-Lifshitz gravity in the presence of a scalar field potential in the Wentzel-Kramers-Brillouin approximation are studied. We use a general procedure to compute such transition probabilities using a Hamiltonian approach to the Wheeler-DeWitt equation presented in a previous work. We consider two situations of scalar fields, one in which the scalar field depends on all the spacetime variables and other in which the scalar field depends only on the time variable. In both cases analytic expressions for the vacuum transition probabilities are obtained and the infrared and ultraviolet limits are discussed for comparison with the result obtained by using general relativity. For the case in which the scalar field depends on all spacetime variables we obtain that in the infrared limit it is possible to obtain a similar behavior as in general relativity, however in the ultraviolet limit the behavior found is completely opposite. Some few comments about possible phenomenological implications of our results are given. One of them is a plausible resolution of the initial singularity. On the other hand for the case in which the scalar field depends only on the time variable, the behavior coincides with that of general relativity in both limits, although in the intermediate region the probability is slightly altered.


title: Fast quasi-centroid molecular dynamics

abstract: We describe a fast implementation of the quasi-centroid molecular dynamics (QCMD) method in which the quasi-centroid potential of mean force is approximated as a separable correction to the classical interaction potential. This correction is obtained by first calculating quasi-centroid radial and angular distribution functions in a short path integral molecular dynamics simulation, and then using iterative Boltzmann inversion to obtain an effective classical potential that reproduces these distribution functions in a classical NVT simulation. We illustrate this approach with example applications to the vibrational spectra of gas phase molecules, obtaining excellent agreement with QCMD reference calculations for water and ammonia and good agreement with the quantum mechanical vibrational spectrum of methane.


title: First-principles study of lattice dynamical properties of the room-temperature $P2_1/n$ and ground-state $P2_1/c$ phases of WO$_3$

abstract: Using first-principles density functional theory, we investigate the dynamical properties of the room-temperature $P2_1/n$ and ground-state $P2_1/c$ phases of WO$_3$. As a preliminary step, we assess the validity of various standard and hybrid functionals, concluding that the best description is achieved with the B1-WC hybrid functional while a reliable description can also be provided using the standard LDA functional. We also carefully rediscuss the structure and energetics of all experimentally observed and a few hypothetical metastable phases in order to provide deeper insight into the unusual phase diagram of WO$_3$. Then, we provide a comprehensive theoretical study of the lattice dynamical properties of the $P2_1/n$ and $P2_1/c$ phases, reporting zone-center phonons, infrared and Raman spectra as well as the full phonon dispersion curves, which attest for the dynamical stability of both phases. We carefully discuss the spectra, explaining the physical origin of their main features and evolution from one phase to another. We reveal a systematic connection between the dynamical and structural properties of WO$_3$, highlighting that the number of peaks in the high-frequency range of the Raman spectrum appears as a fingerprint of the number of antipolar distortions that are present in the structure and a practical way to discriminate between the different phases.


title: Schr\"{o}dinger cat states of a macroscopic charged particle co-trapped with an ion

abstract: We investigate the feasibility of observing matter-wave interference of a micron-sized charged particle by putting it into a quantum superposition of states with a distinguishable separation. In the proposed method, an atomic ion is confined in a linear Paul trap along with the massive charged particle so that we can make use of the extensive toolbox of experimental techniques developed to control quantum states of trapped ions, and to manipulate their motions with high fidelity operations. This approach provides a stringent test of the predictions of dynamical reduction models of delocalised quantum superpositions of a particle, reaching macroscopicities of up to $\mathcal{M}=17$.


title: Embedding of Topological Posets in Hyperspaces

abstract: We study the problem of topologically order-embedding a given topological poset X in the space of all closed subsets of X which is topologized by the Fell topology and ordered by set inclusion. We show that this can be achieved whenever X is a topological semilattice (resp. lattice) or a topological po-group, and X is locally compact and order-connected (resp. connected). We give limiting examples to show that these results are tight, and provide several applications of them. In particular, a locally compact version of the Urysohn-Carruth metrization theorem is obtained, a new fixed point theorem of Tarski-Kantorovich type is proved, and it is found that every locally compact and connected Hausdorff topological lattice is a completely regular ordered space.


title: Building Goal-Oriented Dialogue Systems with Situated Visual Context

abstract: Most popular goal-oriented dialogue agents are capable of understanding the conversational context. However, with the surge of virtual assistants with screen, the next generation of agents are required to also understand screen context in order to provide a proper interactive experience, and better understand users' goals. In this paper, we propose a novel multimodal conversational framework, where the dialogue agent's next action and their arguments are derived jointly conditioned both on the conversational and the visual context. Specifically, we propose a new model, that can reason over the visual context within a conversation and populate API arguments with visual entities given the user query. Our model can recognize visual features such as color and shape as well as the metadata based features such as price or star rating associated with a visual entity. In order to train our model, due to a lack of suitable multimodal conversational datasets, we also propose a novel multimodal dialog simulator to generate synthetic data and also collect realistic user data from MTurk to improve model robustness. The proposed model achieves a reasonable 85% model accuracy, without high inference latency. We also demonstrate the proposed approach in a prototypical furniture shopping experience for a multimodal virtual assistant.


title: Almost every matroid has an $M(K_4)$- or a $\mathcal{W}^3$-minor

abstract: We show that almost every matroid contains the rank-3 whirl $\mathcal{W}^3$ or the complete-graphic matroid $M(K_4)$ as a minor.


title: Generative Adversarial Networks for Astronomical Images Generation

abstract: Space exploration has always been a source of inspiration for humankind, and thanks to modern telescopes, it is now possible to observe celestial bodies far away from us. With a growing number of real and imaginary images of space available on the web and exploiting modern deep Learning architectures such as Generative Adversarial Networks, it is now possible to generate new representations of space. In this research, using a Lightweight GAN, a dataset of images obtained from the web, and the Galaxy Zoo Dataset, we have generated thousands of new images of celestial bodies, galaxies, and finally, by combining them, a wide view of the universe. The code for reproducing our results is publicly available at https://github.com/davide-coccomini/GAN-Universe, and the generated images can be explored at https://davide-coccomini.github.io/GAN-Universe/.


title: Coherence for plactic monoids via rewriting theory and crystal structures

abstract: Rewriting methods have been developed for the study of coherence for algebraic objects. This consists in starting with a convergent presentation, and expliciting a family of generating confluences to obtain a coherent presentation -- one with generators, generating relations, and generating relations between relations (syzygies). In this article we develop these ideas for a class of monoids which encode the representation theory of complex symmetrizable Kac-Moody algebras, called plactic monoids. The main tools for this are the crystal realization of plactic monoids due to Kashiwara, and a class of presentations compatible with a crystal structure, called crystal presentations. We show that the compatibility of the crystal structure with the presentation reduces certain aspects of the study of plactic monoids by rewriting theory to components of highest weight in the crystal. We thus obtain reduced versions of Newman's Lemma and Critical Pair Lemma, which are results for verifying convergence of a presentation. Further we show that the family of generating confluences of a convergent crystal presentation is entirely determined by the components of highest weight. Finally we apply these constructions to the finite convergent presentations of plactic monoids of type $A_n$, $B_n$, $C_n$, $D_n$, and $G_2$, due to Cain-Gray-Malheiro.


title: Hilbert reciprocity using K-theory localization

abstract: Usually the boundary map in K-theory localization only gives the tame symbol at $K_{2}$. It sees the tamely ramified part of the Hilbert symbol, but no wild ramification. Gillet has shown how to prove Weil reciprocity using such boundary maps. This implies Hilbert reciprocity for curves over finite fields. However, phrasing Hilbert reciprocity for number fields in a similar way fails because it crucially hinges on wild ramification effects. We resolve this issue, except at p=2. Our idea is to pinch singularities near the ramification locus. This fattens up K-theory and makes the wild symbol visible as a boundary map.


title: Automatic Mapping of the Best-Suited DNN Pruning Schemes for Real-Time Mobile Acceleration

abstract: Weight pruning is an effective model compression technique to tackle the challenges of achieving real-time deep neural network (DNN) inference on mobile devices. However, prior pruning schemes have limited application scenarios due to accuracy degradation, difficulty in leveraging hardware acceleration, and/or restriction on certain types of DNN layers. In this paper, we propose a general, fine-grained structured pruning scheme and corresponding compiler optimizations that are applicable to any type of DNN layer while achieving high accuracy and hardware inference performance. With the flexibility of applying different pruning schemes to different layers enabled by our compiler optimizations, we further probe into the new problem of determining the best-suited pruning scheme considering the different acceleration and accuracy performance of various pruning schemes. Two pruning scheme mapping methods, one is search-based and the other is rule-based, are proposed to automatically derive the best-suited pruning regularity and block size for each layer of any given DNN. Experimental results demonstrate that our pruning scheme mapping methods, together with the general fine-grained structured pruning scheme, outperform the state-of-the-art DNN optimization framework with up to 2.48$\times$ and 1.73$\times$ DNN inference acceleration on CIFAR-10 and ImageNet dataset without accuracy loss.


title: On black holes with scalar hairs

abstract: By using the Taylor series method and the solution-generating method, we construct exact black hole solutions with minimally coupled scalar field. We find that the black hole solutions can have many hairs except for the physical mass. These hairs come from the scalar potential. Unlike the mass, there is no symmetry corresponding to these hairs, thus they are not conserved and one cannot understand them as Noether charges. They arise as coupling constants. Although there are many hairs, the black hole has only one horizon. The scalar potential becomes negative for sufficient large $\phi$ (or in the vicinity of black hole singularity). Therefore, the no-scalar-hair theorem does not apply to our solutions since the latter does not obey the dominant energy condition. Although the scalar potential becomes negative for sufficient large $\phi$, the black holes are stable to both odd parity perturbations and scalar perturbations. As for even parity perturbations, we find there remains parameter space for the stability of the black holes. Finally, the black hole thermodynamics are developed.


title: Counting Parabolic Principal G-bundles with Nilpotent Endomorphisms over $\mathbb{P}^{1}$

abstract: Let $G$ be a split connected reductive group over $\mathbb{F}_q$ and let $\mathbb{P}^1$ be the projective line over $\mathbb{F}_q$. Firstly, we give an explicit formula for the number of $\mathbb{F}_{q}$-rational points of generalized Steinberg varieties of $G$. Secondly, for each principal $G$-bundle over $\mathbb{P}^1$, we give an explicit formula counting the number of triples consisting of parabolic structures at $0$ and $\infty$ and a compatible nilpotent section of the associated adjoint bundle. In the case of $GL_{n}$ we calculate a generating function of such volumes re-deriving a result of Mellit.


title: Phase boundaries and the Widom line from the Ruppeiner geometry of fluids

abstract: In the study of fluid phases, the Ruppeiner geometry provides novel ways for constructing the phase boundaries (known as the $R$-crossing method) and the Widom line, which is considered by many to be the continuation of the coexistence curve beyond the critical point. In this paper, we revisit these geometry-based constructions with the aim of understanding their limitations and generality. We introduce a new equation-of-state expansion for fluids near a critical point, assuming analyticity with respect to the number density, and use this to prove a number of key results, including the equivalence between the $R$-crossing method and the standard construction of phase boundaries near the critical point. The same conclusion is not seen to hold for the Widom line of fluids in general. However, for the ideal van der Waals fluid a slight tweak in the usual formulation of the Ruppeiner metric, which we call the Ruppeiner-$N$ metric, makes the Ruppeiner geometry prediction of the Widom line exact. This is in contrast to the results of May and Mausbach where the prediction is good only up to the slope of the Widom line at the critical point. We also apply the Ruppeiner-$N$ metric to improve the proposed classification scheme of Di\'osi et al. that partitions the van der Waals state space into its different phases using Ruppeiner geodesics. Whereas the original Di\'osi boundaries do not correspond to any established thermodynamic lines above (or even below) the critical point, our construction remarkably detects the Widom line. These results suggest that the Ruppeiner-$N$ metric may play a more important role in thermodynamic geometry than is presently appreciated.


title: Energy and entropy on irreversible chemical reaction-diffusion systems with asymptotic stability

abstract: In the framework of irreversible thermodynamics, we study autonomous systems of reaction-diffusion equations to show how the entropy and free energy of an open and irreversible reactor depend on concentrations. To do this, we find a Lyapunov function that depends directly on the eigenvalues and eigenvectors of the linearized problem valid for linear and asymptotically stable systems. By suggesting the role of this Lyapunov function as internal free energy, we were able to reflect the properties of the dynamical system directly into the second law of thermodynamics making a redefinition of the chemical potentials. We demonstrate the consistency of our hypotheses with basic thermodynamic principles such as the proportionality between flows and forces proposed by Onsager, the spectral decomposition of entropy production and the Glansdorff-Prigogine evolution criterion of a thermodynamic system.


title: Fiber products of rank 1 superrigid lattices and quasi-isometric embeddings

abstract: Let $\Delta$ be a cocompact lattice in $\mathsf{Sp}(m,1)$, $m \geq 2$, or $F_{4}^{(-20)}$. We exhibit examples of finitely generated subgroups of $\Delta \times \Delta$ with positive first Betti number all of whose discrete faithful representations into any real semisimple Lie group are quasi-isometric embeddings. The examples of this paper are inspired by the counterexamples of Bass-Lubotzky [BL00] to Platonov's conjecture.


title: Measuring temporal characteristics of the Cherenkov radiation signal from extensive air showers of cosmic rays with a wide field-of-view telescope addendum to the Yakutsk array

abstract: A wide field-of-view Cherenkov telescope has been working in the surroundings of the Yakutsk array experiment since 2012. Its main function is to measure the waveform of the Cherenkov radiation signal induced by extensive air showers of cosmic rays. Analysis of the dataset collected by telescope is intended for the reconstruction of the parameters of the development of the shower in addition to the main shower characteristics measured by the rest of the array detectors. In this paper, the observed duration of the Cherenkov radiation signal as a function of the shower core distance is used to estimate the depth of the shower maximum in a different way, based on the results of model simulations.


title: A Logical Semantics for PDDL+

abstract: PDDL+ is an extension of PDDL2.1 which incorporates fully-featured autonomous processes and allows for better modelling of mixed discrete-continuous domains. Unlike PDDL2.1, PDDL+ lacks a logical semantics, relying instead on state-transitional semantics enriched with hybrid automata semantics for the continuous states. This complex semantics makes analysis and comparisons to other action formalisms difficult. In this paper, we propose a natural extension of Reiter's situation calculus theories inspired by hybrid automata. The kinship between PDDL+ and hybrid automata allows us to develop a direct mapping between PDDL+ and situation calculus, thereby supplying PDDL+ with a logical semantics and the situation calculus with a modern way of representing autonomous processes. We outline the potential benefits of the mapping by suggesting a new approach to effective planning in PDDL+.


title: The unstable temporal development of axi-symmetric jets of incompressible fluid

abstract: We study the shear-driven instability, of Kelvin-Helmholtz type, that forms at the interface between a cylindrical jet of flowing fluid and its surroundings. The results of an infinitesimal-amplitude theory based on linearising the system about the undisturbed jet are given. A novel numerical model based on the Galerkin spectral method is developed and employed to simulate the non-linear development of the jet in the weakly-compressible Boussinesq regime. Representative results demonstrating the viability of this model are given, and are shown to agree with the linear analysis for small disturbances, but to develop cylindrical roll-up in the severely non-linear regime.


title: Elucidating the local atomic and electronic structure of amorphous oxidized superconducting niobium films

abstract: Qubits made from superconducting materials are a mature platform for quantum information science application such as quantum computing. However, materials-based losses are now a limiting factor in reaching the coherence times needed for applications. In particular, knowledge of the atomistic structure and properties of the circuit materials is needed to identify, understand, and mitigate materials-based decoherence channels. In this work we characterize the atomic structure of the native oxide film formed on Nb resonators by comparing fluctuation electron microscopy experiments to density functional theory calculations, finding that an amorphous layer consistent with an Nb$_2$O$_5$ stoichiometry. Comparing X-ray absorption measurements at the Oxygen K edge with first-principles calculations, we find evidence of d-type magnetic impurities in our sample, known to cause impedance in proximal superconductors. This work identifies the structural and chemical composition of the oxide layer grown on Nb superconductors, and shows that soft X-ray absorption can fingerprint magnetic impurities in these superconducting systems.

categories: cond-mat.supr-con cond-mat.dis-nn cond-mat.mtrl-sci quant-ph


title: Efficient Video Transformers with Spatial-Temporal Token Selection

abstract: Video transformers have achieved impressive results on major video recognition benchmarks, which however suffer from high computational cost. In this paper, we present STTS, a token selection framework that dynamically selects a few informative tokens in both temporal and spatial dimensions conditioned on input video samples. Specifically, we formulate token selection as a ranking problem, which estimates the importance of each token through a lightweight scorer network and only those with top scores will be used for downstream evaluation. In the temporal dimension, we keep the frames that are most relevant to the action categories, while in the spatial dimension, we identify the most discriminative region in feature maps without affecting the spatial context used in a hierarchical way in most video transformers. Since the decision of token selection is non-differentiable, we employ a perturbed-maximum based differentiable Top-K operator for end-to-end training. We mainly conduct extensive experiments on Kinetics-400 with a recently introduced video transformer backbone, MViT. Our framework achieves similar results while requiring 20% less computation. We also demonstrate our approach is generic for different transformer architectures and video datasets. Code is available at https://github.com/wangjk666/STTS.


title: Strategic Competition of Electric Vehicle Charging Stations in a Regulated Retail Electricity Market

abstract: The increasing trend of transportation electrification presents investors the opportunity to provide charging services to Electric Vehicle (EV) owners via the energy purchased from the wholesale electricity market. This will benefit EV owners with the availability of competitive rates compared to the regulated utility time-of-use (TOU) rates. The fundamental questions addressed in this paper are 1) will EV owners benefit from the additional choice of Electric Vehicle Charging Stations (EVCSs) compared to home charging? 2) is there any profitable market opportunity for charging stations while the retail electricity market is regulated? To this end, the strategic bidding problem for EVCSs which purchase electricity from the Day-Ahead Electricity Market (DAM) and sell it to EV owners is presented. The strategic bidding problem is constrained by the market-clearing problem within the DAM as well as EVs' charging cost minimization problem. A bi-level optimization problem formulation and a solution method are presented to address this work's research questions. The effectiveness of the proposed structure in gaining profit for EVCSs is illustrated, and it is shown that EV owners also save on their charging cost with the presence of EVCSs as a choice.


title: Imprints of decaying dark matter on cosmic voids

abstract: The Standard Cosmological Model assumes that more than 85\% of matter is in the form of collisionless and pressureless dark matter. Unstable decaying dark matter has been proposed in the literature as an extension to the standard cold dark matter model. In this paper we investigate a scenario when dark matter decays and the resultant particle moves with respect to the dark matter. A covariant hydrodynamical model is developed in which the decay is modeled by the transfer of energy-momentum between two dark dust fluid components. We parameterise the model in terms of the decay rate $\Gamma$ and injection velocity $v_i$ of the resultant dark matter particles. We apply the framework to study the evolution of cosmic voids which are environments with low content of baryonic matter. Thus, unlike baryon-rich environments, voids provide an opportunity to measure dark matter signals that are less contaminated by complex baryonic processes. We find that the growth of S-type voids is modified by the dark matter decay, leading to imprints at the present day. This paper serves as a proof-of-concept that cosmic voids can be used to study dark mater physics. We argue that future cosmological observations of voids should focus on signs of reported features to either confirm or rule out the decaying dark matter scenario. Lack of presence of reported features could put constraints of the decay of dark matter in terms of $\Gamma > H_0^{-1}$ and $v_i<10$ km/s.


title: Tapered helical undulator system for high efficiency energy extraction from a high brightness electron beam

abstract: In this paper we discuss the design choices and construction strategy of the tapered undulator system designed for a high energy extraction efficiency experiment in the ultraviolet region of the electromagnetic spectrum planned for installation at the Argonne National Laboratory Linac Extension Area (LEA) beamline. The undulator is comprised of 4 sections pure permanent magnet Halbach array separated by short break sections, each one of them housing a focusing quadrupole doublet and a phase shifter. The quadrupoles use a novel hybrid design which allows one to vary the gradient and match the beam transversely. The undulator tapering profile is optimized to maximize the energy conversion efficiency from a 343 MeV 1 kA beam into coherent 257.5 nm radiation taking into account the longitudinal current profile generated by the linac.


title: Semi-Supervised Learning with Taxonomic Labels

abstract: We propose techniques to incorporate coarse taxonomic labels to train image classifiers in fine-grained domains. Such labels can often be obtained with a smaller effort for fine-grained domains such as the natural world where categories are organized according to a biological taxonomy. On the Semi-iNat dataset consisting of 810 species across three Kingdoms, incorporating Phylum labels improves the Species level classification accuracy by 6% in a transfer learning setting using ImageNet pre-trained models. Incorporating the hierarchical label structure with a state-of-the-art semi-supervised learning algorithm called FixMatch improves the performance further by 1.3%. The relative gains are larger when detailed labels such as Class or Order are provided, or when models are trained from scratch. However, we find that most methods are not robust to the presence of out-of-domain data from novel classes. We propose a technique to select relevant data from a large collection of unlabeled images guided by the hierarchy which improves the robustness. Overall, our experiments show that semi-supervised learning with coarse taxonomic labels are practical for training classifiers in fine-grained domains.


title: New understanding of Majumdar-Papapetrou and Perj\'es-Israel-Wilson solutions

abstract: Hartle and Hawking have shown that, except for the case of only point monopoles as sources, both the Majumdar-Papapetrou and the Perj\'es-Israel-Wilson solutions have naked singularities if the space is asymptotically flat. In this article, by using the method of introducing interior solutions, these naked singularities are erased.


title: Thermal rectification in the one-dimensional nonlinearly graded rotor lattice robust in the thermodynamical limit

abstract: Recently, it has been shown that in graded systems, thermal rectification (TR) effect may remain in the thermodynamical limit. Here, by taking the one-dimensional rotor lattice as an illustrating model, we investigate how the graded structure may affect the TR efficiency. In particular, we consider the case where the interaction is assigned with nonlinear polynomial functions. It is found that TR is robust in the thermodynamical limit and meanwhile its efficiency may considerably depend on the details of the graded structure. This finding suggests that it is possible to enhance the TR effect by taking into account the nonlinear graded structure even in large systems.


title: X-ray phase-sensitive microscope imaging with a grating interferometer: theory and simulation

abstract: In this work, a general theoretical framework is presented to explain the formation of the phase signal in an X-ray microscope integrated with a grating interferometer, which simultaneously enables the high spatial resolution imaging and the improved image contrast. Using this theory, several key parameters of phase contrast imaging can be predicted, for instance, the fringe visibility and period, the conversion condition from the differential phase imaging (DPI) to the phase difference imaging (PDI). Additionally, numerical simulations are performed with certain X-ray optical components and imaging geometry. Results demonstrate the accuracy of this developed quantitative analysis method of X-ray phase-sensitive microscope imaging.


title: On the Extraction of Low-energy Constants of Single- and Double-$\beta$ Decays from Lattice QCD: A Sensitivity Analysis

abstract: Lattice quantum chromodynamics (LQCD) has the promise of constraining low-energy constants (LECs) of nuclear effective field theories (EFTs) from first-principles calculations that incorporate the dynamics of quarks and gluons. Given the Euclidean and finite-volume nature of LQCD outputs, complex mappings are developed in recent years to obtain the Minkowski and infinite-volume counterparts of LQCD observables. In particular, as LQCD is moving toward computing a set of important few-nucleon matrix elements at the physical values of the quark masses, it is important to investigate whether the anticipated precision of LQCD spectra and matrix elements will be sufficient to guarantee tighter constraints on the relevant LECs than those already obtained from phenomenology, considering the non-trivial mappings involved. With a focus on the leading-order LECs of the pionless EFT, $L_{1,A}$ and $g_{\nu}^{NN}$, which parametrize, respectively, the strength of the isovector axial two-body current in a single-$\beta$ decay (and other related processes such $pp$ fusion), and of the isotensor contact two-body operator in the neutrinoless double-$\beta$ decay within the light neutrino exchange scenario, the expected uncertainty on future extractions of $L_{1,A}$ and $g_{\nu}^{NN}$ are examined using synthetic data at the physical values of the quark masses. It is observed that achieving small uncertainties in $L_{1,A}$ will be challenging, and (sub)percent-level precision in the two-nucleon spectra and matrix elements is essential in reducing the uncertainty on this LEC compared to the existing constraints. On the other hand, the short-distance coupling of the neutrinoless double-$\beta$ decay, $g_{\nu}^{NN}$, is shown to be less sensitive to uncertainties on both LQCD energies and the matrix element, and can likely be constrained with percent-level precision in the upcoming LQCD calculations.


title: Throughput Maximization for Active Intelligent Reflecting Surface Aided Wireless Powered Communications

abstract: This paper considers an active intelligent reflecting surface (IRS)-aided wireless powered communication network (WPCN), where devices first harvest energy and then transmit information to a hybrid access point (HAP). Different from the existing works on passive IRS-aided WPCNs, this is the first work that introduces the active IRS in WPCNs. To guarantee fairness, the problem is formulated as an amplifying power-limited weighted sum throughput (WST) maximization problem, which is solved by successive convex approximation technique and fractional programming alternatively. To balance the performance and complexity tradeoff, three beamforming setups are considered at the active IRS, namely user-adaptive IRS beamforming, uplink-adaptive IRS beamforming, and static IRS beamforming. Numerical results demonstrate the significant superiority of employing active IRS in WPCNs and the benefits of dynamic IRS beamforming. Specifically, it is found that compared to the passive IRS, the active IRS not only improves the WST greatly, but also is more energy-efficient and can significantly extend the transmission coverage. Moreover, different from the symmetric deployment strategy of passive IRS, it is more preferable to deploy the active IRS near the devices.


title: Ripple formation and its effect on the multi-scale microstructure of Directed Energy Deposition (DED)-printed 316L components

abstract: An experimental study is presented to characterize the ripple formations in the directed energy deposition (DED) process and study the influence of the ripples on the heterogenous microstructure in the scan direction of a DED-printed 316L components. While considerable studies on ripple formations exist in the welding literature, these formations in DED process have not received much attention. Also, little prior efforts exist on the microstructure along the scan direction (or the scan surface) as compared with the build direction. Experiments consisted of printing 10 mm x 10 mm x 10 mm cubical components on a Optomec LENS 500 Hybrid Machine Tool under different laser power, scan speed and dwell time combinations, chosen according to a Latin hypercube design. The surface of the scan face of the prints were finished to an Ra < 30 nm, and etched with Aqua regia for 90 sec. An optical microscope was employed to observe the microstructure at 4 difference scales. The studies suggest a significant influence of ripple formations as well as the scan width on the solidification front, the dendritic patterns as well as the heterogenous microstructure.


title: Unsupervised COVID-19 Lesion Segmentation in CT Using Cycle Consistent Generative Adversarial Network

abstract: COVID-19 has become a global pandemic and is still posing a severe health risk to the public. Accurate and efficient segmentation of pneumonia lesions in CT scans is vital for treatment decision-making. We proposed a novel unsupervised approach using cycle consistent generative adversarial network (cycle-GAN) which automates and accelerates the process of lesion delineation. The workflow includes lung volume segmentation, "synthetic" healthy lung generation, infected and healthy image subtraction, and binary lesion mask creation. The lung volume volume was firstly delineated using a pre-trained U-net and worked as the input for the later network. The cycle-GAN was developed to generate synthetic "healthy" lung CT images from infected lung images. After that, the pneumonia lesions are extracted by subtracting the synthetic "healthy" lung CT images from the "infected" lung CT images. A median filter and K-means clustering were then applied to contour the lesions. The auto segmentation approach was validated on two public datasets (Coronacases and Radiopedia). The Dice coefficients reached 0.748 and 0.730, respectively, for the Coronacases and Radiopedia datasets. Meanwhile, the precision and sensitivity for lesion segmentationdetection are 0.813 and 0.735 for the Coronacases dataset, and 0.773 and 0.726 for the Radiopedia dataset. The performance is comparable to existing supervised segmentation networks and outperforms previous unsupervised ones. The proposed unsupervised segmentation method achieved high accuracy and efficiency in automatic COVID-19 lesion delineation. The segmentation result can serve as a baseline for further manual modification and a quality assurance tool for lesion diagnosis. Furthermore, due to its unsupervised nature, the result is not influenced by physicians' experience which otherwise is crucial for supervised methods.


title: Dynamics of ferrimagnetic skyrmionium driven by spin-orbit torque

abstract: Magnetic skyrmionium is a skyrmion-like spin texture with nanoscale size and high mobility. It is a topologically trivial but dynamically stable structure, which can be used as a non-volatile information carrier for next-generation spintronic storage and computing devices. Here, we study the dynamics of a skyrmionium driven by the spin torque in a ferrimagnetic nanotrack. It is found that the direction of motion is jointly determined by the internal configuration of a skyrmionium and the spin polarization vector. Besides, the deformation of a skyrmionium induced by the intrinsic skyrmion Hall effect depends on both the magnitude of the driving force and the net angular momentum. The ferrimagnetic skyrmionium is most robust at the angular momentum compensation point, whose dynamics is quite similar to the skyrmionium in antiferromagnet. The skyrmion Hall effect is perfectly prohibited, where it is possible to observe the position of the skyrmionium by measuring the magnetization. Furthermore, the current-induced dynamics of a ferrimagnetic skyrmionium is compared with that of a ferromagnetic and antiferromagnetic skyrmionium. We also make a comparison between the motion of a ferrimagnetic skyrmionium and a skyrmion. Our results will open a new field of ferrimagnetic skyrmioniums for future development of ferrimagnetic spintronics devices.


title: Simultaneous face detection and 360 degree headpose estimation

abstract: With many practical applications in human life, including manufacturing surveillance cameras, analyzing and processing customer behavior, many researchers are noticing face detection and head pose estimation on digital images. A large number of proposed deep learning models have state-of-the-art accuracy such as YOLO, SSD, MTCNN, solving the problem of face detection or HopeNet, FSA-Net, RankPose model used for head pose estimation problem. According to many state-of-the-art methods, the pipeline of this task consists of two parts, from face detection to head pose estimation. These two steps are completely independent and do not share information. This makes the model clear in setup but does not leverage most of the featured resources extracted in each model. In this paper, we proposed the Multitask-Net model with the motivation to leverage the features extracted from the face detection model, sharing them with the head pose estimation branch to improve accuracy. Also, with the variety of data, the Euler angle domain representing the face is large, our model can predict with results in the 360 Euler angle domain. Applying the multitask learning method, the Multitask-Net model can simultaneously predict the position and direction of the human head. To increase the ability to predict the head direction of the model, we change there presentation of the human face from the Euler angle to vectors of the Rotation matrix.


title: Spin Entropy

abstract: In classical physics, entropy quantifies the randomness of large systems, where the complete specification of the state, though possible in theory, is not possible in practice. In quantum physics, despite its inherently probabilistic nature, the concept of entropy has been elusive. The von Neumann entropy, currently adopted in quantum information and computing, models only the randomness associated with unknown specifications of a state and is zero for pure quantum states, and thus cannot quantify the inherent randomness of its observables. Our goal is to provide such quantification. This paper focuses on the quantification of the observed spin values associated with a pure quantum state, given an axis $z$. To this end, we define a spin entropy, which is not zero for pure states, and its minimum is $\ln 2\pi$, reflecting the uncertainty principle for the spin observables. We study the spin entropy for single massive particles with spin $1/2$ and spin 1, photons, and two fermions in entangled and disentangled states. The spin entropy attains local minima for Bell states, which are pure entangled states of two fermions, and local maxima for disentangled states. The spin entropy may be useful for developing robust quantum computational processes.


title: Effect of noise suppression losses on speech distortion and ASR performance

abstract: Deep learning based speech enhancement has made rapid development towards improving quality, while models are becoming more compact and usable for real-time on-the-edge inference. However, the speech quality scales directly with the model size, and small models are often still unable to achieve sufficient quality. Furthermore, the introduced speech distortion and artifacts greatly harm speech quality and intelligibility, and often significantly degrade automatic speech recognition (ASR) rates. In this work, we shed light on the success of the spectral complex compressed mean squared error (MSE) loss, and how its magnitude and phase-aware terms are related to the speech distortion vs. noise reduction trade off. We further investigate integrating pre-trained reference-less predictors for mean opinion score (MOS) and word error rate (WER), and pre-trained embeddings on ASR and sound event detection. Our analyses reveal that none of the pre-trained networks added significant performance over the strong spectral loss.


title: Using DevOps Toolchains in Agile Model-Driven Engineering

abstract: For Model-Driven Engineering (MDE) to become Agile, it is has to be usable with and for DevOps as the technical basis of Agility. We describe our experiences in implementing and applying the BB8 architecture that provides a means to reuse Eclipse-based MDE toolkits within an integrating workflow system. We describe the use of the architecture with in the Gitlab DevOps system and discuss future research fields that emerge as the result of our implementation.


title: Optimal Content Caching and Recommendation with Age of Information

abstract: Content caching at the network edge has been considered an effective way of mitigating backhaul load and improving user experience. Caching efficiency can be enhanced by content recommendation and by keeping the information fresh. To the best of our knowledge, there is no work that jointly takes into account these aspects. By content recommendation, a requested content that is not in the cache can be alternatively satisfied by a related cached content recommended by the system. Information freshness can be quantified by age of information (AoI). We address, optimal scheduling of cache updates for a time-slotted system accounting for content recommendation and AoI. For each content, there are requests that need to be satisfied, and there is a cost function capturing the freshness of information. We present the following contributions. First, we prove that the problem is NP-hard. Second, we derive an integer linear formulation, by which the optimal solution can be obtained for small-scale scenarios. Third, we develop an algorithm based on Lagrangian decomposition. Fourth, we develop efficient algorithms for solving the resulting subproblems. Our algorithm computes a bound that can be used to evaluate the performance of any suboptimal solution. Finally, we conduct simulations to show the effectiveness of our algorithm in comparison to a greedy schedule.


title: Pricing cryptocurrencies : Modelling the ETHBTC spot-quotient variation as a diffusion process

abstract: This research proposes a model for the intraday variation between the ETHBTC spot and the quotient of ETHUSDT and BTCUSDT traded on Binance. Under conditions of no-arbitrage, perfect accuracy and no microstructure effects, the variation must be equal to its theoretically computed value of 0. We conduct our research on 4 years of data. We find that the variation is not constantly 0. The variation shows a fluctuating behaviour on either side of 0. Furthermore, the deviations tend to be larger in the first year than the rest of the years. We test the sample for the nature of diffusion where we find evidence of mean-reversion. We model the variation using an Ornstein-Uhlenbeck process. A maximum likelihood estimation procedure is used. From the accuracy of the sampling distribution of the parameters obtained, we conclude that the variation may be accurately modelled as an Ornstein-Uhlenbeck process. From the parameters obtained, the long-term mean is shown to have a negative sign and differs from the theoretical value of 0 at 1e-05 precision. We take note of the results in light of efficiency of the markets to price publicly known information.


title: Performance of a focal plane detector for soft X-ray imaging spectroscopy based on back-illuminated sCMOS

abstract: Spectroscopy focusing array (SFA) and Polarimetry focusing array (PFA) are the two major payloads of enhanced X-ray Timing and Polarimetry mission (eXTP). Nested Wolter-\RNum{1} X-ray mirror module is implemented in SFA and PFA to achive high effective area. When evaluating the properties of the mirror module, the alignment of the optical axis of the X-ray mirror module and a quasi-parallel X-ray beam is a prerequisite to ensure the accuracy of the results. Hence, to assist the alignment of the X-ray mirror module, an X-ray focal plane detector is designed based on the back-illuminated scientific Complementary Metal-Oxide-Semiconductor Transistor (sCMOS) sensor GSENSE6060BSI, one of the largest detection areas, is produced by \textit{Gpixel Inc}. Then the characteristics of readout noise, dark current, and split-pixel event properties of the detector are studied with the self-developed multi-target fluorescence X-ray source in a 100 m long X-ray test facility. The energy calibration is carried out with the single-pixel event and the energy non-linearity of the detector is also obtained. Eventually, the simulation of the eXTP mirror module based on the optical model is conducted and the alignment test of the Wolter-\RNum{1} X-ray mirror module designed for \textit{EP/FXT} (Einstein Probe/Follow-up X-ray Telescope) with "Burkert test" method is shown.


title: On a class of critical $N$-Laplacian problems

abstract: We establish some existence results for a class of critical $N$-Laplacian problems in a bounded domain in ${\mathbb R}^N$. In the absence of a suitable direct sum decomposition, we use an abstract linking theorem based on the ${\mathbb Z}_2$-cohomological index to obtain a nontrivial critical point.


title: Developments in Connected Vehicles and the Requirement for Increased Cybersecurity

abstract: The increase in popularity of connected features in intelligent transportation systems, has led to a greater risk of cyber-attacks and subsequently, requires a more robust validation of cybersecurity in vehicle design. This article explores three such cyber-attacks and the weaknesses in the connected networks. A review is carried out on current vulnerabilities and key considerations for future vehicle design and validation are highlighted. This article addresses the vehicle manufactures desire to add unnecessary remote connections without appropriate security analysis and assessment of the risks involved. The modern vehicle is All Connected and only as strong as its weakest link.


title: Nonlinear conjugate gradient for smooth convex functions

abstract: The method of nonlinear conjugate gradients (NCG) is widely used in practice for unconstrained optimization, but it satisfies weak complexity bounds at best when applied to smooth convex functions. In contrast, Nesterov's accelerated gradient (AG) method is optimal up to constant factors for this class. However, when specialized to quadratic function, conjugate gradient is optimal in a strong sense among function-gradient methods. Therefore, there is seemingly a gap in the menu of available algorithms: NCG, the optimal algorithm for quadratic functions that also exhibits good practical performance for general functions, has poor complexity bounds compared to AG. We propose an NCG method called C+AG ("conjugate plus accelerated gradient") to close this gap, that is, it is optimal for quadratic functions and still satisfies the best possible complexity bound for more general smooth convex functions. It takes conjugate gradient steps until insufficient progress is made, at which time it switches to accelerated gradient steps, and later retries conjugate gradient. The proposed method has the following theoretical properties: (i) It is identical to linear conjugate gradient (and hence terminates finitely) if the objective function is quadratic; (ii) Its running-time bound is $O(\eps^{-1/2})$ gradient evaluations for an $L$-smooth convex function, where $\eps$ is the desired residual reduction, (iii) Its running-time bound is $O(\sqrt{L/\ell}\ln(1/\eps))$ if the function is both $L$-smooth and $\ell$-strongly convex. In computational tests, the function-gradient evaluation count for the C+AG method typically behaves as whichever is better of AG or classical NCG. In some test cases it outperforms both.


title: Eliminating Delocalization Error to Improve Heterogeneous Catalysis Predictions with Molecular DFT+U

abstract: Approximate semi-local density functional theory (DFT) is known to underestimate surface formation energies yet paradoxically overbind adsorbates on catalytic transition-metal oxide surfaces due to delocalization error. The low-cost DFT+U approach only improves surface formation energies for early transition-metal oxides or adsorption energies for late transition-metal oxides. In this work, we demonstrate that this inefficacy arises due to the conventional usage of metal-centered atomic orbitals as projectors within DFT+U. We analyze electron density rearrangement during surface formation and O atom adsorption on rutile transition-metal oxides to highlight that a standard DFT+U correction fails to tune properties when the corresponding density rearrangement is highly delocalized across both metal and oxygen sites. To improve both surface properties simultaneously while retaining the simplicity of a single-site DFT+U correction, we systematically construct multi-atom-centered molecular-orbital-like projectors for DFT+U. We demonstrate this molecular DFT+U approach for tuning adsorption energies and surface formation energies of minimal two-dimensional models of representative early (i.e., TiO2) and late (i.e., PtO2) transition-metal oxides. Molecular DFT+U simultaneously corrects adsorption energies and surface formation energies of multi-layer models of rutile TiO2(110) and PtO2(110) to resolve the paradoxical description of surface stability and surface reactivity of semi-local DFT.


title: PointCrack3D: Crack Detection in Unstructured Environments using a 3D-Point-Cloud-Based Deep Neural Network

abstract: Surface cracks on buildings, natural walls and underground mine tunnels can indicate serious structural integrity issues that threaten the safety of the structure and people in the environment. Timely detection and monitoring of cracks are crucial to managing these risks, especially if the systems can be made highly automated through robots. Vision-based crack detection algorithms using deep neural networks have exhibited promise for structured surfaces such as walls or civil engineering tunnels, but little work has addressed highly unstructured environments such as rock cliffs and bare mining tunnels. To address this challenge, this paper presents PointCrack3D, a new 3D-point-cloud-based crack detection algorithm for unstructured surfaces. The method comprises three key components: an adaptive down-sampling method that maintains sufficient crack point density, a DNN that classifies each point as crack or non-crack, and a post-processing clustering method that groups crack points into crack instances. The method was validated experimentally on a new large natural rock dataset, comprising coloured LIDAR point clouds spanning more than 900 m^2 and 412 individual cracks. Results demonstrate a crack detection rate of 97% overall and 100% for cracks with a maximum width of more than 3 cm, significantly outperforming the state of the art. Furthermore, for cross-validation, PointCrack3D was applied to an entirely new dataset acquired in different locations and not used at all in training and shown to detect 100% of its crack instances. We also characterise the relationship between detection performance, crack width and number of points per crack, providing a foundation upon which to make decisions about both practical deployments and future research directions.


title: Using mixup as regularization and tuning hyper-parameters for ResNets

abstract: While novel computer vision architectures are gaining traction, the impact of model architectures is often related to changes or exploring in training methods. Identity mapping-based architectures ResNets and DenseNets have promised path-breaking results in the image classification task and are go-to methods for even now if the data given is fairly limited. Considering the ease of training with limited resources this work revisits the ResNets and improves the ResNet50 \cite{resnets} by using mixup data-augmentation as regularization and tuning the hyper-parameters.


title: State Estimation of the Stefan PDE: A Tutorial on Design and Applications to Polar Ice and Batteries

abstract: The Stefan PDE system is a representative model for thermal phase change phenomena, such as melting and solidification, arising in numerous science and engineering processes. The mathematical description is given by a Partial Differential Equation (PDE) of the temperature distribution defined on a spatial interval with a moving boundary, where the boundary represents the liquid-solid interface and its dynamics are governed by an Ordinary Differential Equation (ODE). The PDE-ODE coupling at the boundary is nonlinear and creates a significant challenge for state estimation with provable convergence and robustness. This tutorial article presents a state estimation method based on PDE backstepping for the Stefan system, using measurements only at the moving boundary. PDE backstepping observer design generates an observer gain by employing a Volterra transformation of the observer error state into a desirable target system, solving a Goursat-form PDE for the transformation's kernel, and performing a Lyapunov analysis of the target observer error system. The observer is applied to models of problems motivated by climate change and the need for renewable energy storage: a model of polar ice dynamics and a model of charging and discharging in lithium-ion batteries. The numerical results for polar ice demonstrate a robust performance of the designed estimator with respect to the unmodeled salinity effect in sea ice. The results for an electrochemical PDE model of a lithium-ion battery with a phase transition material show the elimination of more than 15 \% error in State-of-Charge estimate within 5 minutes even in the presence of sensor noise.


title: On non-congruent numbers with $8a\pm1$ type odd prime factors and tame kernels

abstract: Let $n$ be a positive square-free integer, where every odd prime factor of $n$ has form $8a\pm 1$. We determine when $n$ is non-congruent with second minimal $2$-primary Shafarevich-Tate group, in terms of the $4$-ranks of class groups and a Jacobi symbol. In particular, when every odd prime factor of $n$ has form $8a+1$, this condition is equivalent to the vanishing of the $4$-rank of the tame kernel of $\mathbb Q(\sqrt{n})$ for odd $n$, or $\mathbb Q(\sqrt{-n})$ for even $n$. This generalizes previous results.


title: Quasiperiodic Poincare Persistence at High Degeneracy

abstract: For Hamiltonian systems with degeneracy of any higher order, we study the persistence of resonant invariant tori, which as some lower-dimensional invariant tori might be elliptic, hyperbolic or of mixed types. Hence we prove a quasiperiodic Poincare theorem at high degeneracy. This answers a long standing conjecture on the persistence of resonant invariant tori in quite general situations.


title: Steady motional entanglement between two distant levitated nanoparticles

abstract: Quantum entanglement in macroscopic systems is not only essential for practical quantum information processing, but also valuable for the study of the boundary between quantum and classical world. However, it is very challenge to achieve the steady remote entanglement between distant macroscopic systems. We consider two distant nanoparticles, both of which are optically trapped in two cavities. Based on the coherent scattering mechanism, we find that the ultrastrong optomechanical coupling between the cavity modes and the motion of the levitated nanoparticles could achieve. The large and steady entanglement between the filtered output cavity modes and the motion of nanosparticles can be generated, if the trapping laser is under the red sideband. Then through entanglement swapping, the steady motional entanglement between the distant nanoparticles can be realized. We numerically simulate and find that the two nanoparticles with 10 km distance can be entangled for the experimentally feasible parameters, even in room temperature environment.


title: Hyperfine Interaction in a MoS$_2$ Quantum Dot: Decoherence of a Spin-Valley Qubit

abstract: A successful and promising device for the physical implementation of electron spin-valley based qubits is the Transition Metal Dichalcogenide monolayer (TMD-ML) semiconductor quantum dot. The electron spin in TMD-ML semiconductor quantum dots can be isolated and controlled with high accuracy, but it still suffers from decoherence due to the unavoidable coupling with the surrounding environment, such as nuclear spin environments. A common tool to investigate systems like the one considered in this work is the density matrix formalism by presenting an exact master equation for a central spin (spin-qubit) system in a time-dependent and coupled to a nuclear spin bath in terms of hyperfine interaction. The master equation provides a unified description of the dynamics of the central spin. Analyzing this in more detail, we calculate fidelity loss due to the Overhauser field from hyperfine interaction in a wide range number of nuclear spins $\mathcal{N}$.


title: Tailoring Luminescent Properties of SrS:Ce by Modulating Defects: Sr-Deficiency and Na+ Doping

abstract: Ce3+ doped SrS phosphors with a charge-compensating Na+ for light-emitting diode (LED) applications have been successfully synthesized via a solid-state reaction method, which can be indexed to rock-salt-like crystal structures of Fm-3m space group. SrS:(Ce3+)x(x=0.005-0.05) and SrS:(Ce3+)0.01,(Na+)y(y=0.005-0.030) phosphors were excited by 430nm UV-VIS light, associated to the 5d1-4f1 transition of Ce3+. The composition-optimized SrS:(Ce3+)0.01,(Na+)0.015 phosphors showed an intense broad emission band at 430-700nm. The doping of Na+ was probed by solid-state nuclear magnetic resonance. The 430 nm pumped with white LED (w-LED) combining SrS:(Ce3+)0.01,(Na+)0.015 phosphors and Sr2Si5N8:Eu2+ phosphors shows a color-rendering index (Ra) of 89.7. The proposed strategy provides new avenues for design and realization of novel high color quality solid-state lighting emitting diodes (SS-LEDS).


title: A Modular Framework for Centrality and Clustering in Complex Networks

abstract: The structure of many complex networks includes edge directionality and weights on top of their topology. Network analysis that can seamlessly consider combination of these properties are desirable. In this paper, we study two important such network analysis techniques, namely, centrality and clustering. An information-flow based model is adopted for clustering, which itself builds upon an information theoretic measure for computing centrality. Our principal contributions include a generalized model of Markov entropic centrality with the flexibility to tune the importance of node degrees, edge weights and directions, with a closed-form asymptotic analysis. It leads to a novel two-stage graph clustering algorithm. The centrality analysis helps reason about the suitability of our approach to cluster a given graph, and determine `query' nodes, around which to explore local community structures, leading to an agglomerative clustering mechanism. The entropic centrality computations are amortized by our clustering algorithm, making it computationally efficient: compared to prior approaches using Markov entropic centrality for clustering, our experiments demonstrate multiple orders of magnitude of speed-up. Our clustering algorithm naturally inherits the flexibility to accommodate edge directionality, as well as different interpretations and interplay between edge weights and node degrees. Overall, this paper thus not only makes significant theoretical and conceptual contributions, but also translates the findings into artifacts of practical relevance, yielding new, effective and scalable centrality computations and graph clustering algorithms, whose efficacy has been validated through extensive benchmarking experiments.


title: Astronomical Image Processing at Scale With Pegasus and Montage

abstract: Image processing at scale is a powerful tool for creating new data sets and integrating them with existing data sets and performing analysis and quality assurance investigations. Workflow managers offer advantages in this type of processing, which involves multiple data access and processing steps. Generally, they enable automation of the workflow by locating data and resources, recovery from failures, and monitoring of performance. In this focus demo we demonstrate how the Pegasus Workflow Manager Python API manages image processing to create mosaics with the Montage Image Mosaic engine. Since 2001, Pegasus has been developed and maintained at USC/ISI. Montage was in fact one of the first applications used to design Pegasus and optimize its performance. Pegasus has since found application in many areas of science. LIGO exploited it in making discoveries of black holes. The Vera C. Rubin Observatory used it to compare the cost and performance of processing images on cloud platforms. While these are examples of projects at large scale, small team investigations on local clusters of machines can benefit from Pegasus as well.


title: Learning Dynamic Compact Memory Embedding for Deformable Visual Object Tracking

abstract: Recently, template-based trackers have become the leading tracking algorithms with promising performance in terms of efficiency and accuracy. However, the correlation operation between query feature and the given template only exploits accurate target localization, leading to state estimation error especially when the target suffers from severe deformable variations. To address this issue, segmentation-based trackers have been proposed that employ per-pixel matching to improve the tracking performance of deformable objects effectively. However, most of existing trackers only refer to the target features in the initial frame, thereby lacking the discriminative capacity to handle challenging factors, e.g., similar distractors, background clutter, appearance change, etc. To this end, we propose a dynamic compact memory embedding to enhance the discrimination of the segmentation-based deformable visual tracking method. Specifically, we initialize a memory embedding with the target features in the first frame. During the tracking process, the current target features that have high correlation with existing memory are updated to the memory embedding online. To further improve the segmentation accuracy for deformable objects, we employ a point-to-global matching strategy to measure the correlation between the pixel-wise query features and the whole template, so as to capture more detailed deformation information. Extensive evaluations on six challenging tracking benchmarks including VOT2016, VOT2018, VOT2019, GOT-10K, TrackingNet, and LaSOT demonstrate the superiority of our method over recent remarkable trackers. Besides, our method outperforms the excellent segmentation-based trackers, i.e., D3S and SiamMask on DAVIS2017 benchmark.


title: Hybrid mapping of the Black Hole Shadow in M87

abstract: We present a reanalysis of the EHT 228 GHz observations of M87. We apply traditional hybrid mapping techniques to the publicly available `network-calibrated' data. We explore the impact on the final image of different starting models, including: a point source, a disk, an annulus, a Gaussian, and an asymmetric double Gaussian. The images converge to an extended source with a size $\sim 44~\mu$as. Starting with the annulus and disk models leads to images with the lowest noise, smallest off-source artifacts, and better closure residuals. The source appears as a ring, or edge-brightened disk, with higher surface brightness in the southern half, consistent with previous results. Starting with the other models leads to a surface brightness distribution with a similar size, and an internal depression, but not as clearly ring-like. A consideration of visibility amplitudes vs. UV-distance argues for a roughly circularly symmetric structure of $\sim 50~\mu$as scale, with a sharp-edge, based on a prominent minimum in the UV-distribution, and the amplitude of the secondary peak in the UV-plot is more consistent with an annular model than a flat disk model. With further processing, we find a possible modest extension from the ring toward the southwest, in a direction consistent with the southern limb of the jet seen on 3mm VLBI images on a factor of few larger scales. However, this extension appears along the direction of one of the principle sidelobes of the synthesized beam, and hence requires testing with better UV-coverage.


title: The SAMI Galaxy Survey: the drivers of gas and stellar metallicity differences in galaxies

abstract: The combination of gas-phase oxygen abundances and stellar metallicities can provide us with unique insights into the metal enrichment histories of galaxies. In this work, we compare the stellar and gas-phase metallicities measured within a 1$R_{e}$ aperture for a representative sample of 472 star-forming galaxies extracted from the SAMI Galaxy Survey. We confirm that the stellar and interstellar medium (ISM) metallicities are strongly correlated, with scatter $\sim$3 times smaller than that found in previous works, and that integrated stellar populations are generally more metal-poor than the ISM, especially in low-mass galaxies. The ratio between the two metallicities strongly correlates with several integrated galaxy properties including stellar mass, specific star formation rate, and a gravitational potential proxy. However, we show that these trends are primarily a consequence of: (a) the different star formation and metal enrichment histories of the galaxies, and (b) the fact that while stellar metallicities trace primarily iron enrichment, gas-phase metallicity indicators are calibrated to the enrichment of oxygen in the ISM. Indeed, once both metallicities are converted to the same `element base' all of our trends become significantly weaker. Interestingly, the ratio of gas to stellar metallicity is always below the value expected for a simple closed-box model, which requires that outflows and inflows play an important role in the enrichment history across our entire stellar mass range. This work highlights the complex interplay between stellar and gas-phase metallicities and shows how care must be taken in comparing them to constrain models of galaxy formation and evolution.


title: $\Delta$-MILP: Deep Space Network Scheduling via Mixed-Integer Linear Programming

abstract: This paper introduces $\Delta$-MILP, a powerful variant of the mixed-integer linear programming (MILP) optimization framework to solve NASA's Deep Space Network (DSN) scheduling problem. This work is an extension of our original MILP framework (DOI:10.1109/ACCESS.2021.3064928) and inherits many of its constructions and strengths, including the base MILP formulation for DSN scheduling. To provide more feasible schedules with respect to the DSN requirements, $\Delta$-MILP incorporates new sets of constraints including 1) splitting larger tracks into shorter segments and 2) preventing overlapping between tracks on different antennas. Additionally, $\Delta$-MILP leverages a heuristic to balance mission satisfaction and allows to prioritize certain missions in special scenarios including emergencies and landings. Numerical validations demonstrate that $\Delta$-MILP now satisfies 100% of the requested constraints and provides fair schedules amongst missions with respect to the state-of-the-art for the most oversubscribed weeks of the years 2016 and 2018.


title: Uncertainty-Aware Deep Co-training for Semi-supervised Medical Image Segmentation

abstract: Semi-supervised learning has made significant strides in the medical domain since it alleviates the heavy burden of collecting abundant pixel-wise annotated data for semantic segmentation tasks. Existing semi-supervised approaches enhance the ability to extract features from unlabeled data with prior knowledge obtained from limited labeled data. However, due to the scarcity of labeled data, the features extracted by the models are limited in supervised learning, and the quality of predictions for unlabeled data also cannot be guaranteed. Both will impede consistency training. To this end, we proposed a novel uncertainty-aware scheme to make models learn regions purposefully. Specifically, we employ Monte Carlo Sampling as an estimation method to attain an uncertainty map, which can serve as a weight for losses to force the models to focus on the valuable region according to the characteristics of supervised learning and unsupervised learning. Simultaneously, in the backward process, we joint unsupervised and supervised losses to accelerate the convergence of the network via enhancing the gradient flow between different tasks. Quantitatively, we conduct extensive experiments on three challenging medical datasets. Experimental results show desirable improvements to state-of-the-art counterparts.


title: Aggregation of Models, Choices, Beliefs, and Preferences

abstract: A natural notion of rationality/consistency for aggregating models is that, for all (possibly aggregated) models $A$ and $B$, if the output of model $A$ is $f(A)$ and if the output model $B$ is $f(B)$, then the output of the model obtained by aggregating $A$ and $B$ must be a weighted average of $f(A)$ and $f(B)$. Similarly, a natural notion of rationality for aggregating preferences of ensembles of experts is that, for all (possibly aggregated) experts $A$ and $B$, and all possible choices $x$ and $y$, if both $A$ and $B$ prefer $x$ over $y$, then the expert obtained by aggregating $A$ and $B$ must also prefer $x$ over $y$. Rational aggregation is an important element of uncertainty quantification, and it lies behind many seemingly different results in economic theory: spanning social choice, belief formation, and individual decision making. Three examples of rational aggregation rules are as follows. (1) Give each individual model (expert) a weight (a score) and use weighted averaging to aggregate individual or finite ensembles of models (experts). (2) Order/rank individual model (expert) and let the aggregation of a finite ensemble of individual models (experts) be the highest-ranked individual model (expert) in that ensemble. (3) Give each individual model (expert) a weight, introduce a weak order/ranking over the set of models/experts, aggregate $A$ and $B$ as the weighted average of the highest-ranked models (experts) in $A$ or $B$. Note that (1) and (2) are particular cases of (3). In this paper, we show that all rational aggregation rules are of the form (3). This result unifies aggregation procedures across different economic environments. Following the main representation, we show applications and extensions of our representation in various separated economics topics such as belief formation, choice theory, and social welfare economics.


title: Self-Regulated Learning for Egocentric Video Activity Anticipation

abstract: Future activity anticipation is a challenging problem in egocentric vision. As a standard future activity anticipation paradigm, recursive sequence prediction suffers from the accumulation of errors. To address this problem, we propose a simple and effective Self-Regulated Learning framework, which aims to regulate the intermediate representation consecutively to produce representation that (a) emphasizes the novel information in the frame of the current time-stamp in contrast to previously observed content, and (b) reflects its correlation with previously observed frames. The former is achieved by minimizing a contrastive loss, and the latter can be achieved by a dynamic reweighing mechanism to attend to informative frames in the observed content with a similarity comparison between feature of the current frame and observed frames. The learned final video representation can be further enhanced by multi-task learning which performs joint feature learning on the target activity labels and the automatically detected action and object class tokens. SRL sharply outperforms existing state-of-the-art in most cases on two egocentric video datasets and two third-person video datasets. Its effectiveness is also verified by the experimental fact that the action and object concepts that support the activity semantics can be accurately identified.


title: Lossless Compression with Probabilistic Circuits

abstract: Despite extensive progress on image generation, common deep generative model architectures are not easily applied to lossless compression. For example, VAEs suffer from a compression cost overhead due to their latent variables. This overhead can only be partially eliminated with elaborate schemes such as bits-back coding, often resulting in poor single-sample compression rates. To overcome such problems, we establish a new class of tractable lossless compression models that permit efficient encoding and decoding: Probabilistic Circuits (PCs). These are a class of neural networks involving $|p|$ computational units that support efficient marginalization over arbitrary subsets of the $D$ feature dimensions, enabling efficient arithmetic coding. We derive efficient encoding and decoding schemes that both have time complexity $\mathcal{O} (\log(D) \cdot |p|)$, where a naive scheme would have linear costs in $D$ and $|p|$, making the approach highly scalable. Empirically, our PC-based (de)compression algorithm runs 5-40 times faster than neural compression algorithms that achieve similar bitrates. By scaling up the traditional PC structure learning pipeline, we achieve state-of-the-art results on image datasets such as MNIST. Furthermore, PCs can be naturally integrated with existing neural compression algorithms to improve the performance of these base models on natural image datasets. Our results highlight the potential impact that non-standard learning architectures may have on neural data compression.


title: Ultraviolet Spectropolarimetry with Polstar: Clumping and Mass-loss Rate Corrections

abstract: The most massive stars are thought to lose a significant fraction of their mass in a steady wind during the main-sequence and blue supergiant phases. This in turn sets the stage for their further evolution and eventual supernova, with consequences for ISM energization and chemical enrichment. Understanding these processes requires accurate observational constraints on the mass-loss rates of the most luminous stars, which can also be used to test theories of stellar wind generation. In the past, mass-loss rates have been characterized via collisional emission processes such as H$\alpha$ and free-free radio emission, but these so-called "density squared" diagnostics require correction in the presence of widespread clumping. Recent observational and theoretical evidence points to the likelihood of a ubiquitously high level of such clumping in hot-star winds, but quantifying its effects requires a deeper understanding of the complex dynamics of radiatively driven winds. Furthermore, large-scale structures arising from surface anisotropies and propagating throughout the wind can further complicate the picture by introducing further density enhancements, affecting mass-loss diagnostics. Time series spectroscopy of UV resonance lines with high resolution and high signal-to-noise are required to better understand this complex dynamics, and help correct "density squared" diagnostics of mass-loss rates. The proposed Polstar mission easily provides the necessary resolution at the sound-speed scale of 20 km s$^{-1}$, on three dozen bright targets with signal-to noise an order of magnitude above that of the celebrated IUE MEGA campaign, via continuous observations that track structures advecting through the wind in real time.


title: Invertible disformal transformations with higher derivatives

abstract: We consider a higher-derivative generalization of disformal transformations in $D$-dimensional spacetime and clarify the conditions under which they form a group with respect to the matrix product and the functional composition. These conditions allow us to systematically construct the inverse transformation in a fully covariant manner. Applying the invertible generalized disformal transformation to known ghost-free scalar-tensor theories, we obtain a novel class of ghost-free scalar-tensor theories, whose action contains the third- or higher-order derivatives of the scalar field as well as nontrivial higher-order derivative couplings to the curvature tensor.


title: Large-scale Fabrication of High-Density Silicon-vacancy Centers via Helium-ion Implantation of Diamond Nucleation Surface

abstract: Silicon-vacancy (SiV) color centers in diamond have great potential for optical sensing and bio-imaging applications. However, the fabrication of large-scale high-density SiV centers in diamond remains difficult. Here, we report a promising method for the fabrication of high-density SiV- centers in a low-cost polycrystalline diamond film grown on an inches-scale Si wafer. Our method utilizes the nucleation surface of the diamond film which initially interfaces with the Si wafer. Benefited from the diamond seeding substrate of silicon, the nucleation surface has originally been incorporated with high-density Si atoms. Upon helium-ion implantation and subsequent thermal annealing, we demonstrate by performing PL mapping that these Si atoms can be efficiently converted to SiV- centers. The SiV- centers exhibit bright emission and a relatively long fluorescence lifetime (~1.08 ns) that is comparable to the SiV- lifetime reported in single-crystal diamonds. Furthermore, by using a focused helium beam and varying the helium fluence, we demonstrate the feasible density control and patterning of the SiV- centers. These results show that our method can produce high-density SiV- centers in low-cost wafer-scale polycrystalline diamonds, which could facilitate the commercialization of SiV- centers-based optical devices.


title: Music Classification: Beyond Supervised Learning, Towards Real-world Applications

abstract: Music classification is a music information retrieval (MIR) task to classify music items to labels such as genre, mood, and instruments. It is also closely related to other concepts such as music similarity and musical preference. In this tutorial, we put our focus on two directions - the recent training schemes beyond supervised learning and the successful application of music classification models. The target audience for this web book is researchers and practitioners who are interested in state-of-the-art music classification research and building real-world applications. We assume the audience is familiar with the basic machine learning concepts. In this book, we present three lectures as follows: 1. Music classification overview: Task definition, applications, existing approaches, datasets, 2. Beyond supervised learning: Semi- and self-supervised learning for music classification, 3. Towards real-world applications: Less-discussed, yet important research issues in practice.


title: On the Capacity of MISO Optical Intensity Channels With Per-Antenna Intensity Constraints

abstract: This paper investigates the capacity of general multiple-input single-output (MISO) optical intensity channels (OICs) under per-antenna peak- and average-intensity constraints. We first consider the MISO equal-cost constrained OIC (EC-OIC), where, apart from the peak-intensity constraint, average intensities of inputs are equal to arbitrarily preassigned constants. The second model of our interest is the MISO bounded-cost constrained OIC (BC-OIC), where, as compared with the EC-OIC, average intensities of inputs are no larger than arbitrarily preassigned constants. By leveraging tools from quantile functions, stop-loss transform and convex ordering of nonnegative random variables, we prove two decomposition theorems for bounded and nonnegative random variables, based on which we equivalently transform both the EC-OIC and the BC-OIC into respective single-input single-output channels under a peak-intensity and several stop-loss mean constraints. Capacity lower and upper bounds for both channels are established, based on which the asymptotic capacity at high and low signal-to-noise-ratio are determined.


title: Network In Graph Neural Network

abstract: Graph Neural Networks (GNNs) have shown success in learning from graph structured data containing node/edge feature information, with application to social networks, recommendation, fraud detection and knowledge graph reasoning. In this regard, various strategies have been proposed in the past to improve the expressiveness of GNNs. For example, one straightforward option is to simply increase the parameter size by either expanding the hid-den dimension or increasing the number of GNN layers. However, wider hidden layers can easily lead to overfitting, and incrementally adding more GNN layers can potentially result in over-smoothing.In this paper, we present a model-agnostic methodology, namely Network In Graph Neural Network (NGNN ), that allows arbitrary GNN models to increase their model capacity by making the model deeper. However, instead of adding or widening GNN layers, NGNN deepens a GNN model by inserting non-linear feedforward neural network layer(s) within each GNN layer. An analysis of NGNN as applied to a GraphSage base GNN on ogbn-products data demonstrate that it can keep the model stable against either node feature or graph structure perturbations. Furthermore, wide-ranging evaluation results on both node classification and link prediction tasks show that NGNN works reliably across diverse GNN architectures.For instance, it improves the test accuracy of GraphSage on the ogbn-products by 1.6% and improves the hits@100 score of SEAL on ogbl-ppa by 7.08% and the hits@20 score of GraphSage+Edge-Attr on ogbl-ppi by 6.22%. And at the time of this submission, it achieved two first places on the OGB link prediction leaderboard.


title: Isolation forests: looking beyond tree depth

abstract: The isolation forest algorithm for outlier detection exploits a simple yet effective observation: if taking some multivariate data and making uniformly random cuts across the feature space recursively, it will take fewer such random cuts for an outlier to be left alone in a given subspace as compared to regular observations. The original idea proposed an outlier score based on the tree depth (number of random cuts) required for isolation, but experiments here show that using information about the size of the feature space taken and the number of points assigned to it can result in improved results in many situations without any modification to the tree structure, especially in the presence of categorical features.


title: Assessment of nacre-like ceramics in replacement to Ni superalloys in aircraft's engines

abstract: Aviation's fossil fuel emissions contribute to global warming. The production and disposal of the materials used in aircrafts too. The current metallic alloys present in the hot section of engines pose constraints in terms of temperature, pressure and weight that restrain the performance of the aircrafts. Also, these alloys are produced using rare, depleting resources, and polluting processes. In this paper, we hypothesize the use of bioinspired nacre-like alumina (NLA), a ceramic material that exhibits unusual toughness, and evaluate its potential as a replacement for superalloys in aircraft's engines. Comparing the performance of Ni superalloys and NLA in terms of properties, engine performance, and life cycle sustainability, we find NLA a promising alternative although progress has to be made with regards to its reliability, shaping, repair, and governance of the production process.


title: A Low Frequency Pilot Survey of Southern HII Regions in the Vela Constellation

abstract: Atomic ionised regions with strong continuum emission are often associated with regions of high-mass star formation and low-frequency (<2GHz) observations of these regions are needed to help build star formation models. The region toward the Vela Supernova Remnant is particularly interesting as it is a complex structure of recent supernova explosions and molecular clouds containing a number of HII regions that are not well characterised. We searched publicly available catalogues for HII regions, both candidate and identified, which also have low-frequency emission. In the area of ~400 square degrees toward the Vela Supernova remnant, we found 10 such HII regions, some of which have multiple components in catalogues. In this work we use data from the Australian Square Kilometre Array Pathfinder and previously unpublished data from the Murchison Widefield Array and the Australian Telescope Compact Array to analyse these sources. The high-mass star forming region RCW 38, with observations specifically targeted on the source, is used as a pilot study to demonstrate how low-frequency, wide-field continuum observations can identify and study HII regions in our Galaxy. For the 9 other HII regions, we discuss their properties; including information about which clouds are interacting, their ages, whether they are dominated by infrared or optical H$\alpha$ lines, distances, ionising photon flux, and upper limits on the infrared luminosity. In future work, these 9 regions will be analysed in more detail, similar to the result for RCW 38 presented here.


title: Soft Constraints on KMOC Formalism

abstract: In this note, we investigate the implications of classical soft theorems for the formalism developed by Kosower, Maybee and O'Connell (KMOC) to derive classical observables in gauge theory and gravity from scattering amplitudes. In particular, we show that the radiative electro-magnetic field at leading order in the soft expansion imposes an infinite hierarchy of constraints on the expectation value of the family of observables generated by \textit{monomials} of linear impulse. We perform an explicit check on these constraints at next to leading order (NLO) in the coupling and as a corollary show how up to NLO, soft radiation obtained from quantum amplitudes is consistent with the (leading) classical soft photon theorem. We also argue that in 4 dimensions the classical log soft theorem derived by Saha, Sahoo and Sen generates an infinite hierarchy of constraints on the expectation value of operators which are products of one angular momentum and an arbitrary number of linear momenta.


title: Nonequilibrium DMFT+CPA for Correlated Disordered Systems

abstract: We present a solution for the nonequilibrium dynamics of an interacting disordered system. The approach adapts the combination of the equilibrium dynamical mean field theory (DMFT) and the equilibrium coherent potential approximation (CPA) methods to the nonequilibrium many-body formalism, using the Kadanoff-Baym-Keldysh complex time contour, for the dynamics of interacting disordered systems away from equilibrium. We use our time domain solution to obtain the equilibrium density of states of the disordered interacting system described by the Anderson-Hubbard model, bypassing the necessity for the cumbersome analytical continuation process. We further apply the nonequilibrium solution to the interaction quench problem for an isolated disordered system. Here, the interaction is abruptly changed from zero (non-interacting system) to another constant (finite) value at which it is subsequently kept. We observe via the time-dependence of the potential, kinetic, and total energies, the effect of disorder on the relaxation of the system as a function of final interaction strength. The real-time approach has the potential to shed new light on the fundamental role of disorder in the nonequilibrium dynamics of interacting quantum systems.


title: Neutrino mass spectrum: Present indication and future prospect

abstract: The fact that neutrinos are massive has been the most crucial evidence of physics beyond the Standard Model of elementary particles. To date, we still do not know how neutrinos get mass and why their mass is much smaller than that of their charged fermion cousins. The precise determination of the neutrino mass spectrum has become one of the central tasks of neutrino physics, providing critical input for understanding the nature of neutrino mass and extending our model. The present landscape of the neutrino mass spectrum is reviewed and explored in this article using data from the neutrino oscillation, cosmology, and beta decay. In addition, we discuss the possibility of relevant programs elucidating the neutrino mass spectrum in the coming decades.


title: A Geometric Approach to Optimal Control of Hybrid and Impulsive Systems

abstract: Hybrid dynamical systems are systems which undergo both continuous and discrete transitions. The Bolza problem from optimal control theory is applied to these systems and a hybrid version of Pontryagin's maximum principle is presented. This hybrid maximum principle is presented to emphasize its geometric nature which makes its study amenable to the tools of geometric mechanics and symplectic geometry. One explicit benefit of this geometric approach is that Zeno behavior can be strongly controlled for "generic" control problems. Moreover, when the underlying control system is a mechanical impact system, additional structure is present which can be exploited and is thus explored. Multiple examples are presented for both mechanical and non-mechanical systems.


title: CytoImageNet: A large-scale pretraining dataset for bioimage transfer learning

abstract: Motivation: In recent years, image-based biological assays have steadily become high-throughput, sparking a need for fast automated methods to extract biologically-meaningful information from hundreds of thousands of images. Taking inspiration from the success of ImageNet, we curate CytoImageNet, a large-scale dataset of openly-sourced and weakly-labeled microscopy images (890K images, 894 classes). Pretraining on CytoImageNet yields features that are competitive to ImageNet features on downstream microscopy classification tasks. We show evidence that CytoImageNet features capture information not available in ImageNet-trained features. The dataset is made available at https://www.kaggle.com/stanleyhua/cytoimagenet.


title: Inducing Functions through Reinforcement Learning without Task Specification

abstract: We report a bio-inspired framework for training a neural network through reinforcement learning to induce high level functions within the network. Based on the interpretation that animals have gained their cognitive functions such as object recognition - without ever being specifically trained for - as a result of maximizing their fitness to the environment, we place our agent in an environment where developing certain functions may facilitate decision making. The experimental results show that high level functions, such as image classification and hidden variable estimation, can be naturally and simultaneously induced without any pre-training or specifying them.


title: Phase-Field Modeling and Peridynamics for Defect Dynamics, and an Augmented Phase-Field Model with Viscous Stresses

abstract: This work begins by applying peridynamics and phase-field modeling to predict 1-d interface motion with inertia in an elastic solid with a non-monotone stress-strain response. In classical nonlinear elasticity, it is known that subsonic interfaces require a kinetic law, in addition to momentum balance, to obtain unique solutions; in contrast, for supersonic interfaces, momentum balance alone is sufficient to provide unique solutions. This work finds that peridynamics agrees with this classical result, in that different choices of regularization parameters provide different kinetics for subsonic motion but the same kinetics for supersonic motion. In contrast, conventional phase-field models coupled to elastodynamics are unable to model, even qualitatively, the supersonic motion of interfaces. This work identifies the shortcomings in the physics of standard phase-field models to be: (1) the absence of higher-order stress to balance unphysical stress singularities, and (2) the ability of the model to access unphysical regions of the energy landscape. Based on these observations, this work proposes an augmented phase-field model to introduce the missing physics. The augmented model adds: (1) a viscous stress to the momentum balance, in addition to the dissipative phase-field evolution, to regularize singularities; and (2) an augmented driving force that models the physical mechanism that keeps the system out of unphysical regions of the energy landscape. When coupled to elastodynamics, the augmented model correctly describes both subsonic and supersonic interface motion. The augmented model has essentially the same computational expense as conventional phase-field models and requires only minor modifications of numerical methods, and is therefore proposed as a replacement to the conventional phase-field models.


title: Chiral fermion on curved domain-wall

abstract: We consider a massive fermion system having a curved domain-wall embedded in a square lattice. In a similar way to the conventional flat domain-wall fermion, chiral massless modes appear at the domain-wall but these modes feel "gravity" through the induced spin connections. In this work, we embed $S^1$ and $S^2$ domain-walls into a Euclidean space and show how the gravity is detected from the spectrum of the Dirac operator.


title: Aerial Intelligent Reflecting Surface Enabled Terahertz Covert Communications in Beyond-5G Internet of Things

abstract: Unmanned aerial vehicles (UAVs) are envisioned to be extensively employed for assisting wireless communications in Internet of Things (IoT) applications. On the other hand, terahertz (THz) enabled intelligent reflecting surface (IRS) is expected to be one of the core enabling technologies for forthcoming beyond-5G wireless communications that promise a broad range of data-demand applications. In this paper, we propose a UAV-mounted IRS (UIRS) communication system over THz bands for confidential data dissemination from an access point (AP) towards multiple ground user equipments (UEs) in IoT networks. Specifically, the AP intends to send data to the scheduled UE, while unscheduled UEs may pose potential adversaries. To protect information messages and the privacy of the scheduled UE, we aim to devise an energy-efficient multi-UAV covert communication scheme, where the UIRS is for reliable data transmissions, and an extra UAV is utilized as a cooperative jammer generating artificial noise (AN) to degrade unscheduled UEs detection. We then formulate a novel minimum average energy efficiency (mAEE) optimization problem, targetting to improve the covert throughput and reduce UAVs' propulsion energy consumption subject to the covertness requirement, which is determined analytically. Since the optimization problem is non-convex, we tackle it via the block successive convex approximation (BSCA) approach to iteratively solve a sequence of approximated convex sub-problems, designing the binary user scheduling, AP's power allocation, maximum AN jamming power, IRS beamforming, and both UAVs' trajectory planning. Finally, we present a low-complex overall algorithm for system performance enhancement with complexity and convergence analysis. Numerical results are provided to verify our analysis and demonstrate significant outperformance of our design over other existing benchmark schemes.


title: Effective acetylene length dependence of the elastic properties of different kinds of graphynes

abstract: Graphyne is a planar network of connected carbon chains, each formed by $n$ acetylene linkages. Uncountable ways to make these connections lead to uncountable structural graphyne families (GFs). As the synthesis of graphynes with $n > 1$ has been reported in literature, it is of interest to find out how their physical properties depend on $n$ for each possible GF. Although literature already present specific models to describe the dependence on $n$ of the elastic properties of specific GFs, there is not yet enough amount of data for the physical properties of different graphynes with different values of $n$. Based on fully atomistic molecular dynamics simulations, the Young's modulus, shear modulus, linear compressibility and Poisson's ratio of 10 graphyne members of 7 different GFs are calculated. A simple elastic model consisting of a serial combination of $n$ springs is proposed to describe the dependence on $n$ of the elastic properties of these 7 GFs. We show that except for the Poisson's ratio, this simple unique elastic model is able to numerically describe, with good precision, the Young's modulus, shear modulus and linear compressibility of all different graphynes, including anisotropy and negative values of linear compressibility of some GFs.