title: Lightweight Compression of Intermediate Neural Network Features for Collaborative Intelligence

abstract: In collaborative intelligence applications, part of a deep neural network (DNN) is deployed on a lightweight device such as a mobile phone or edge device, and the remaining portion of the DNN is processed where more computing resources are available, such as in the cloud. This paper presents a novel lightweight compression technique designed specifically to quantize and compress the features output by the intermediate layer of a split DNN, without requiring any retraining of the network weights. Mathematical models for estimating the clipping and quantization error of ReLU and leaky-ReLU activations at this intermediate layer are developed and used to compute optimal clipping ranges for coarse quantization. We also present a modified entropy-constrained design algorithm for quantizing clipped activations. When applied to popular object-detection and classification DNNs, we were able to compress the 32-bit floating point intermediate activations down to 0.6 to 0.8 bits, while keeping the loss in accuracy to less than 1%. When compared to HEVC, we found that the lightweight codec consistently provided better inference accuracy, by up to 1.3%. The performance and simplicity of this lightweight compression technique makes it an attractive option for coding an intermediate layer of a split neural network for edge/cloud applications.


title: Tracker phantom field and a cosmological constant: dynamics of a composite dark energy model

abstract: In this work, we study tracker phantom dark energy models with a general parameterization of the scalar potentials. Our analysis also considers the scenario of having both phantom field and the cosmological constant as the dark energy components. A detailed statistical analysis with current cosmological observations shows an increase in the value of the Hubble parameter due to the presence of phantom dark energy but it can not alleviate the Hubble tension completely. Our results using Bayesian methods suggests a decisive evidence in favor of a phantom field over a positive cosmological constant, although the possibility of a negative cosmological constant cannot be ruled out hidden in the dark sector.


title: Quantum Lifetime Spectroscopy and Magnetotunneling in Double Bilayer Graphene Heterostructures

abstract: We describe a tunneling spectroscopy technique in a double bilayer graphene heterostructure where momentum-conserving tunneling between different energy bands serves as an energy filter for the tunneling carriers, and allows a measurement of the quasi-particle state broadening at well defined energies. The broadening increases linearly with the excited state energy with respect to the Fermi level, and is weakly dependent on temperature. In-plane magnetotunneling reveals a high degree of rotational alignment between the graphene bilayers, and an absence of momentum randomizing processes.


title: Wave Propagation in Electric Periodic Structure in Space with Modulation in Time (2D+1). I. Theory

abstract: We studied electromagnetic wave propagation in a system that is periodic in both space and time, namely a discrete 2D transmission line (TL) with capacitors modulated in tandem externally. Kirchhoff's laws lead to an eigenvalue equation whose solutions yield a band structure (BS) for the circular frequency $\omega$ as function of the phase advances $k_{x}a$ and $k_{y}a$ in the plane of the TL. The surfaces $\omega(k_{x}a, k_{y}a)$ display exotic behavior like forbidden $\omega$ bands, forbidden $k$ bands, both, or neither. Certain critical combinations of the modulation strength $m_{c}$ and the modulation frequency $\Omega$ mark transitions from $\omega$ stop bands to forbidden $k$ bands, corresponding to phase transitions from no propagation to propagation of waves. Such behavior is found invariably at the high symmetry $\mathbf{X}$ and $\mathbf{M}$ points of the spatial Brillouin zone (BZ) and at the boundary $\omega=(1/2)\Omega$ of the temporal BZ. At such boundaries the $\omega(k_{x}a, k_{y}a)$ surfaces in neighboring BZs assume conical forms that just touch, resembling a South American toy "di\'abolo"; the point of contact is thus called a "diabolic point". Our investigation reveals interesting interplay between geometry, critical points, and phase transitions.


title: Impacts of Time-of-Use Rate Changes on the Electricity Bills of Commercial Consumers

abstract: Changes in the profile of prices in wholesale electricity markets prompt utilities to redesign their tariffs and adjust their time-of-use periods to ensure a more adequate cost recovery. However, changing the rate structures could adversely affect commercial consumers by increasing their electricity bills and hindering their ability to reduce costs using techniques like net energy metering. As time-of-use periods are adjusted, consumers will need to rely on the flexibility of distributed energy resources to achieve cost reductions. This paper explores the effect that Pacific Gas and Electric Company's redesigned rates have on the electricity bills of consumers with different demand profiles. Sensitivity analyses are conducted to examine the effect of asset sizing on reducing costs under each tariff.


title: An Effective Baseline for Robustness to Distributional Shift

abstract: Refraining from confidently predicting when faced with categories of inputs different from those seen during training is an important requirement for the safe deployment of deep learning systems. While simple to state, this has been a particularly challenging problem in deep learning, where models often end up making overconfident predictions in such situations. In this work we present a simple, but highly effective approach to deal with out-of-distribution detection that uses the principle of abstention: when encountering a sample from an unseen class, the desired behavior is to abstain from predicting. Our approach uses a network with an extra abstention class and is trained on a dataset that is augmented with an uncurated set that consists of a large number of out-of-distribution (OoD) samples that are assigned the label of the abstention class; the model is then trained to learn an effective discriminator between in and out-of-distribution samples. We compare this relatively simple approach against a wide variety of more complex methods that have been proposed both for out-of-distribution detection as well as uncertainty modeling in deep learning, and empirically demonstrate its effectiveness on a wide variety of of benchmarks and deep architectures for image recognition and text classification, often outperforming existing approaches by significant margins. Given the simplicity and effectiveness of this method, we propose that this approach be used as a new additional baseline for future work in this domain.


title: Golden ratio primal-dual algorithm with linesearch

abstract: Golden ratio primal-dual algorithm (GRPDA) is a new variant of the classical Arrow-Hurwicz method for solving structured convex optimization problem, in which the objective function consists of the sum of two closed proper convex functions, one of which involves a composition with a linear transform. In this paper, we propose a linesearch strategy for GRPDA, which not only does not require the spectral norm of the linear transform but also allows adaptive and potentially much larger stepsizes. Within each linesearch step, only the dual variable needs to be updated, and it is thus quite cheap and does not require any extra matrix-vector multiplications for many special yet important applications, e.g., regularized least squares problem. Global convergence and ${\cal O}(1/N)$ ergodic convergence rate results measured by the primal-dual gap function are established, where $N$ denotes the iteration counter. When one of the component functions is strongly convex, faster ${\cal O}(1/N^2)$ ergodic convergence rate results are established by adaptively choosing some algorithmic parameters. Moreover, when both component functions are strongly convex, nonergodic linear converge results are established. Numerical experiments on matrix game and LASSO problems illustrate the effectiveness of the proposed linesearch strategy.


title: The Low-Dimensional Linear Geometry of Contextualized Word Representations

abstract: Black-box probing models can reliably extract linguistic features like tense, number, and syntactic role from pretrained word representations. However, the manner in which these features are encoded in representations remains poorly understood. We present a systematic study of the linear geometry of contextualized word representations in ELMO and BERT. We show that a variety of linguistic features (including structured dependency relationships) are encoded in low-dimensional subspaces. We then refine this geometric picture, showing that there are hierarchical relations between the subspaces encoding general linguistic categories and more specific ones, and that low-dimensional feature encodings are distributed rather than aligned to individual neurons. Finally, we demonstrate that these linear subspaces are causally related to model behavior, and can be used to perform fine-grained manipulation of BERT's output distribution.


title: Stellar Spectra Models Classification and Parameter Estimation Using Machine Learning Algorithms

abstract: The growth of sky surveys and the large amount of stellar spectra in the current databases, has generated the necessity of developing new methods to estimate atmospheric parameters, a fundamental task on stellar research. In this work we present a comparison of different machine learning algorithms, using for the classification of stellar synthetic spectra and the estimation of fundamental stellar parameters included T_eff(K), log(L/Lo), log g, M/Mo, and Vrot. For both tasks, we established a group of supervised learning models, and propose a database of measures with the same structure to train the algorithms. This data includes equivalent-width types measurements over noisy synthetic spectra in order to replicate the natural noise on a real observed spectrum. Different levels of signal to noise ratio are considered for this analysis.


title: Prescriptive Process Monitoring for Cost-Aware Cycle Time Reduction

abstract: Reducing cycle time is a recurrent concern in the field of business process management. Depending on the process, various interventions may be triggered to reduce the cycle time of a case, for example, using a faster shipping service in an order-to-delivery process or giving a phone call to a customer to obtain missing information rather than waiting passively. Each of these interventions comes with a cost. This paper tackles the problem of determining if and when to trigger a time-reducing intervention in a way that maximizes the total net gain. The paper proposes a prescriptive process monitoring method that uses orthogonal random forest models to estimate the causal effect of triggering a time-reducing intervention for each ongoing case of a process. Based on this causal effect estimate, the method triggers interventions according to a user-defined policy. The method is evaluated on two real-life logs.


title: NeuLF: Efficient Novel View Synthesis with Neural 4D Light Field

abstract: In this paper, we present an efficient and robust deep learning solution for novel view synthesis of complex scenes. In our approach, a 3D scene is represented as a light field, i.e., a set of rays, each of which has a corresponding color when reaching the image plane. For efficient novel view rendering, we adopt a two-plane parameterization of the light field, where each ray is characterized by a 4D parameter. We then formulate the light field as a 4D function that maps 4D coordinates to corresponding color values. We train a deep fully connected network to optimize this implicit function and memorize the 3D scene. Then, the scene-specific model is used to synthesize novel views. Different from previous light field approaches which require dense view sampling to reliably render novel views, our method can render novel views by sampling rays and querying the color for each ray from the network directly, thus enabling high-quality light field rendering with a sparser set of training images. Per-ray depth can be optionally predicted by the network, thus enabling applications such as auto refocus. Our novel view synthesis results are comparable to the state-of-the-arts, and even superior in some challenging scenes with refraction and reflection. We achieve this while maintaining an interactive frame rate and a small memory footprint.


title: A Large Visual, Qualitative and Quantitative Dataset of Web Pages

abstract: The World Wide Web is not only one of the most important platforms of communication and information at present, but also an area of growing interest for scientific research. This motivates a lot of work and projects that require large amounts of data. However, there is no dataset that integrates the parameters and visual appearance of Web pages, because its collection is a costly task in terms of time and effort. With the support of various computer tools and programming scripts, we have created a large dataset of 49,438 Web pages. It consists of visual, textual and numerical data types, includes all countries worldwide, and considers a broad range of topics such as art, entertainment, economy, business, education, government, news, media, science, and environment, covering different cultural characteristics and varied design preferences. In this paper, we describe the process of collecting, debugging and publishing the final product, which is freely available. To demonstrate the usefulness of our dataset, we expose a binary classification model for detecting error Web pages, and a multi-class Web subject-based categorization, both problems using convolutional neural networks.


title: Tunable terahertz plasmons in graphite thin films

abstract: Tunable terahertz plasmons are essential for reconfigurable photonics, which have been demonstrated in graphene through gating, though with relatively weak responses. Here, we demonstrate strong terahertz plasmons in graphite thin films via infrared spectroscopy, with dramatic tunability by even a moderate temperature change or an in-situ bias voltage. Meanwhile, through magneto-plasmon studies, we reveal that massive electrons and massless Dirac holes make comparable contributions to the plasmon response. Our study not only sets up a platform for further exploration of two-component plasmas, but also opens an avenue for terahertz modulation through electrical bias or all-optical means.


title: High-Throughput VLSI architecture for Soft-Decision decoding with ORBGRAND

abstract: Guessing Random Additive Noise Decoding (GRAND) is a recently proposed approximate Maximum Likelihood (ML) decoding technique that can decode any linear error-correcting block code. Ordered Reliability Bits GRAND (ORBGRAND) is a powerful variant of GRAND, which outperforms the original GRAND technique by generating error patterns in a specific order. Moreover, their simplicity at the algorithm level renders GRAND family a desirable candidate for applications that demand very high throughput. This work reports the first-ever hardware architecture for ORBGRAND, which achieves an average throughput of up to $42.5$ Gbps for a code length of $128$ at an SNR of $10$ dB. Moreover, the proposed hardware can be used to decode any code provided the length and rate constraints. Compared to the state-of-the-art fast dynamic successive cancellation flip decoder (Fast-DSCF) using a 5G polar $(128,105)$ code, the proposed VLSI implementation has $49\times$ more average throughput while maintaining similar decoding performance.


title: Can self-training identify suspicious ugly duckling lesions?

abstract: One commonly used clinical approach towards detecting melanomas recognises the existence of Ugly Duckling nevi, or skin lesions which look different from the other lesions on the same patient. An automatic method of detecting and analysing these lesions would help to standardize studies, compared with manual screening methods. However, it is difficult to obtain expertly-labelled images for ugly duckling lesions. We therefore propose to use self-supervised machine learning to automatically detect outlier lesions. We first automatically detect and extract all the lesions from a wide-field skin image, and calculate an embedding for each detected lesion in a patient image, based on automatically identified features. These embeddings are then used to calculate the L2 distances as a way to measure dissimilarity. Using this deep learning method, Ugly Ducklings are identified as outliers which should deserve more attention from the examining physician. We evaluate through comparison with dermatologists, and achieve a sensitivity rate of 72.1% and diagnostic accuracy of 94.2% on the held-out test set.


title: Perspective: Towards the predictive discovery of ambipolarly dopable ultra-wide-band-gap semiconductors: the case of rutile GeO$_2$

abstract: Ultrawide-band-gap (UWBG) semiconductors are promising for fast, compact, and energy-efficient power-electronics devices. Their wider band gaps result in higher breakdown electric fields that enable high-power switching with a lower energy loss. Yet, the leading UWBG semiconductors suffer from intrinsic materials limitations with regards to their doping asymmetry that impedes their adoption in CMOS technology. Improvements in the ambipolar doping of UWBG materials will enable a wider range of applications in power electronics as well as deep- UV optoelectronics. These advances can be accomplished through theoretical insights on the limitations of current UWBG materials coupled with the computational prediction and experimental demonstration of alternative UWBG semiconductor materials with improved doping and transport properties. As an example, we discuss the case of rutile GeO$_2$ (r-GeO$_2$), a water-insoluble GeO$_2$ polytype which is theoretically predicted to combine an ultra-wide gap with ambipolar dopability, high carrier mobilities, and a higher thermal conductivity than \b{eta}-Ga$_2$O$_3$. The subsequent realization of single-crystalline r-GeO$_2$ thin films by molecular beam epitaxy provides the opportunity to realize r-GeO$_2$ for electronic applications. Future efforts towards the predictive discovery and design of new UWBG semiconductors include advances in first-principles theory and high-performance computing software, as well as the demonstration of controlled doping in high-quality thin films with lower dislocation densities and optimized film properties.


title: Structural Stability for Fibrewise Anosov Diffeomorphisms on Principal Torus Bundles

abstract: We show a fibre-preserving self-diffeomorphism which has hyperbolic splittings along the fibres on a compact principal torus bundle is topologically conjugate to a map that is linear in the fibres.


title: Shrinkage-based random local clocks with scalable inference

abstract: Local clock models propose that the rate of molecular evolution is constant within phylogenetic sub-trees. Current local clock inference procedures scale poorly to large taxa problems, impose model misspecification, or require a priori knowledge of the existence and location of clocks. To overcome these challenges, we present an autocorrelated, Bayesian model of heritable clock rate evolution that leverages heavy-tailed priors with mean zero to shrink increments of change between branch-specific clocks. We further develop an efficient Hamiltonian Monte Carlo sampler that exploits closed form gradient computations to scale our model to large trees. Inference under our shrinkage-clock exhibits an over 3-fold speed increase compared to the popular random local clock when estimating branch-specific clock rates on a simulated dataset. We further show our shrinkage-clock recovers known local clocks within a rodent and mammalian phylogeny. Finally, in a problem that once appeared computationally impractical, we investigate the heritable clock structure of various surface glycoproteins of influenza A virus in the absence of prior knowledge about clock placement.


title: Communication Complexity of Private Simultaneous Quantum Messages Protocols

abstract: The private simultaneous messages model is a non-interactive version of the multiparty secure computation, which has been intensively studied to examine the communication cost of the secure computation. We consider its quantum counterpart, the private simultaneous quantum messages (PSQM) model, and examine the advantages of quantum communication and prior entanglement of this model. In the PSQM model, $k$ parties $P_1,\ldots,P_k$ initially share a common random string (or entangled states in a stronger setting), and they have private classical inputs $x_1,\ldots, x_k$. Every $P_i$ generates a quantum message from the private input $x_i$ and the shared random string (entangled states), and then sends it to the referee $R$. Receiving the messages, $R$ computes $F(x_1,\ldots,x_k)$. Then, $R$ learns nothing except for $F(x_1,\ldots,x_k)$ as the privacy condition. We obtain the following results for this PSQM model. (1) We demonstrate that the privacy condition inevitably increases the communication cost in the two-party PSQM model as well as in the classical case presented by Applebaum, Holenstein, Mishra, and Shayevitz. In particular, we prove a lower bound $(3-o(1))n$ of the communication complexity in PSQM protocols with a shared random string for random Boolean functions of $2n$-bit input, which is larger than the trivial upper bound $2n$ of the communication complexity without the privacy condition. (2) We demonstrate a factor two gap between the communication complexity of PSQM protocols with shared entangled states and with shared random strings by designing a multiparty PSQM protocol with shared entangled states for a total function that extends the two-party equality function. (3) We demonstrate an exponential gap between the communication complexity of PSQM protocols with shared entangled states and with shared random strings for a two-party partial function.


title: A Majorization Penalty Method for SVM with Sparse Constraint

abstract: Support vector machine is an important and fundamental technique in machine learning. Soft-margin SVM models have stronger generalization performance compared with the hard-margin SVM. Most existing works use the hinge-loss function which can be regarded as an upper bound of the 0-1 loss function. However, it can not explicitly limit the number of misclassified samples. In this paper, we use the idea of soft-margin SVM and propose a new SVM model with a sparse constraint. Our model can strictly limit the number of misclassified samples, expressing the soft-margin constraint as a sparse constraint. By constructing a majorization function, a majorization penalty method can be used to solve the sparse-constrained optimization problem. We apply Conjugate-Gradient (CG) method to solve the resulting subproblem. Extensive numerical results demonstrate the impressive performance of the proposed majorization penalty method.


title: Premise-based Multimodal Reasoning: Conditional Inference on Joint Textual and Visual Clues

abstract: It is a common practice for recent works in vision language cross-modal reasoning to adopt a binary or multi-choice classification formulation taking as input a set of source image(s) and textual query. In this work, we take a sober look at such an unconditional formulation in the sense that no prior knowledge is specified with respect to the source image(s). Inspired by the designs of both visual commonsense reasoning and natural language inference tasks, we propose a new task termed Premise-based Multi-modal Reasoning(PMR) where a textual premise is the background presumption on each source image. The PMR dataset contains 15,360 manually annotated samples which are created by a multi-phase crowd-sourcing process. With selected high-quality movie screenshots and human-curated premise templates from 6 pre-defined categories, we ask crowd-source workers to write one true hypothesis and three distractors (4 choices) given the premise and image through a cross-check procedure. Besides, we generate adversarial samples to alleviate the annotation artifacts and double the size of PMR. We benchmark various state-of-the-art (pretrained) multi-modal inference models on PMR and conduct comprehensive experimental analyses to showcase the utility of our dataset.


title: Byzantine-Resilient Population Protocols

abstract: Population protocols model information spreading and computation in network systems where pairwise node exchanges are determined by an external random scheduler and nodes have small memory. Most of the population protocols in the literature assume that the participating $n$ nodes are honest. Such an assumption may not be, however, accurate for large-scale systems of small devices. Hence, in this work, we study population protocols in a setting where up to $f$ nodes can be Byzantine. We examine the majority (binary) consensus problem against different levels of adversary strengths, ranging from the Full Byzantine adversary that has complete knowledge of all the node states to the Weak Content-Oblivious Byzantine adversary that has only knowledge about which exchanges take place. We also take into account Dynamic vs Static node corruption by the adversary. We give lower bounds that require any algorithm solving the majority consensus to have initial difference $d = \Omega(f + 1)$ for the tally between the two proposed values, which holds for both the Full Static and Weak Dynamic adversaries. We then present an algorithm that solves the majority consensus problem and tolerates $f \leq n / c$ Byzantine nodes, for some constant $c>0$, with $d = \Omega(f + \sqrt{n \log n})$ and $O(\log^3 n)$ parallel time steps, using $O(\log^3 n)$ states per node. We also give an alternative algorithm, with the same asymptotic performance, for $d = \Omega(\min\{f \log^2 n + 1,n\})$. Finally, we combine both algorithms into one using a new robust distributed common coin. The only other known previous work on Byzantine-resilient population protocols tolerates up to $f = o(\sqrt n)$ faulty nodes and was analyzed against a Static adversary; hence, our protocols significantly improve fault-tolerance by an $\omega(\sqrt n)$ factor and all of them work correctly against a stronger Dynamic adversary.


title: Copositivity for a class of fourth order symmetric tensors given by scalar dark matter

abstract: The mathematical model of multiple microscopic particles potentials corresponds to a fourth order symmetric tensor with a particular structure in particle physics. In this paper, we mainly dedicate to the study of copositivity for a class of tensors defined by the scalar dark matter with the standard model Higgs and an inert doublet and a complex singlet. With the help of its structure, we obtain the necessary and sufficient conditions, which attains the analytic conditions required by the physical problems. At the same time, this analytic expression provides how to determine a unique solution of the corresponding tensor complementarity problem with a parameter.


title: Disentangling ferroelectric wall dynamics and identification of pinning mechanisms via deep learning

abstract: Field-induced domain wall dynamics in ferroelectric materials underpins multiple applications ranging from actuators to information technology devices and necessitates a quantitative description of the associated mechanisms including giant electromechanical couplings, controlled non-linearities, or low coercive voltages. While the advances in dynamic Piezoresponse Force Microscopy measurements over the last two decades have rendered visualization of polarization dynamics relatively straightforward, the associated insights into the local mechanisms have been elusive. Here we explore the domain dynamics in model polycrystalline materials using a workflow combining deep learning-based segmentation of the domain structures with non-linear dimensionality reduction using multilayer rotationally-invariant autoencoders (rVAE). The former allows unambiguous identification and classification of the ferroelectric and ferroelastic domain walls. The rVAE discover the latent representations of the domain wall geometries and their dynamics, thus providing insight into the intrinsic mechanisms of polarization switching, that can further be compared to simple physical models. The rVAE disentangles the factors affecting the pinning efficiency of ferroelectric walls, offering insights into the correlation of ferroelastic wall distribution and ferroelectric wall pinning.


title: AlgoSCR: An algorithm for Solar Contamination Removal from radio interferometric data

abstract: Hydrogen intensity mapping is a new field in astronomy that promises to make three-dimensional maps of the matter distribution of the Universe using the redshifted $21\,\textrm{cm}$ line of neutral hydrogen gas (HI). Several ongoing and upcoming radio interferometers, such as Tianlai, CHIME, HERA, HIRAX, etc. are using this technique. These instruments are designed to map large swaths of the sky by drift scanning over periods of many months. One of the challenges of the observations is that the daytime data is contaminated by strong radio signals from the Sun. In the case of Tianlai, this results in almost half of the measured data being unusable. We try to address this issue by developing an algorithm for solar contamination removal (AlgoSCR) from the radio data. The algorithm is based on an eigenvalue analysis of the visibility matrix, and hence is applicable only to interferometers. We apply AlgoSCR to simulated visibilities, as well as real daytime data from the Tianlai dish array. The algorithm can remove most of the solar contamination without seriously affecting other sky signals and thus makes the data usable for certain applications.


title: Software-Hardware Co-Optimization for Computational Chemistry on Superconducting Quantum Processors

abstract: Computational chemistry is the leading application to demonstrate the advantage of quantum computing in the near term. However, large-scale simulation of chemical systems on quantum computers is currently hindered due to a mismatch between the computational resource needs of the program and those available in today's technology. In this paper we argue that significant new optimizations can be discovered by co-designing the application, compiler, and hardware. We show that multiple optimization objectives can be coordinated through the key abstraction layer of Pauli strings, which are the basic building blocks of computational chemistry programs. In particular, we leverage Pauli strings to identify critical program components that can be used to compress program size with minimal loss of accuracy. We also leverage the structure of Pauli string simulation circuits to tailor a novel hardware architecture and compiler, leading to significant execution overhead reduction by up to 99%. While exploiting the high-level domain knowledge reveals significant optimization opportunities, our hardware/software framework is not tied to a particular program instance and can accommodate the full family of computational chemistry problems with such structure. We believe the co-design lessons of this study can be extended to other domains and hardware technologies to hasten the onset of quantum advantage.


title: FDDH: Fast Discriminative Discrete Hashing for Large-Scale Cross-Modal Retrieval

abstract: Cross-modal hashing, favored for its effectiveness and efficiency, has received wide attention to facilitating efficient retrieval across different modalities. Nevertheless, most existing methods do not sufficiently exploit the discriminative power of semantic information when learning the hash codes, while often involving time-consuming training procedure for handling the large-scale dataset. To tackle these issues, we formulate the learning of similarity-preserving hash codes in terms of orthogonally rotating the semantic data so as to minimize the quantization loss of mapping such data to hamming space, and propose an efficient Fast Discriminative Discrete Hashing (FDDH) approach for large-scale cross-modal retrieval. More specifically, FDDH introduces an orthogonal basis to regress the targeted hash codes of training examples to their corresponding semantic labels, and utilizes "-dragging technique to provide provable large semantic margins. Accordingly, the discriminative power of semantic information can be explicitly captured and maximized. Moreover, an orthogonal transformation scheme is further proposed to map the nonlinear embedding data into the semantic subspace, which can well guarantee the semantic consistency between the data feature and its semantic representation. Consequently, an efficient closed form solution is derived for discriminative hash code learning, which is very computationally efficient. In addition, an effective and stable online learning strategy is presented for optimizing modality-specific projection functions, featuring adaptivity to different training sizes and streaming data. The proposed FDDH approach theoretically approximates the bi-Lipschitz continuity, runs sufficiently fast, and also significantly improves the retrieval performance over the state-of-the-art methods. The source code is released at: https://github.com/starxliu/FDDH.


abstract: As a non-linear extension of the classic Linear Discriminant Analysis(LDA), Deep Linear Discriminant Analysis(DLDA) replaces the original Categorical Cross Entropy(CCE) loss function with eigenvalue-based loss function to make a deep neural network(DNN) able to learn linearly separable hidden representations. In this paper, we first point out DLDA focuses on training the cooperative discriminative ability of all the dimensions in the latent subspace, while put less emphasis on training the separable capacity of single dimension. To improve DLDA, a regularization method on within-class scatter matrix is proposed to strengthen the discriminative ability of each dimension, and also keep them complement each other. Experiment results on STL-10, CIFAR-10 and Pediatric Pneumonic Chest X-ray Dataset showed that our proposed regularization method Regularized Deep Linear Discriminant Analysis(RDLDA) outperformed DLDA and conventional neural network with CCE as objective. To further improve the discriminative ability of RDLDA in the local space, an algorithm named Subclass RDLDA is also proposed.


title: An asymptotic expansion for a Lambert series associated to the symmetric square $L$-function

abstract: Hafner and Stopple proved a conjecture of Zagier, that the inverse Mellin transform of the symmetric square $L$-function associated to the Ramanujan tau function has an asymptotic expansion in terms of the non-trivial zeros of the Riemann zeta function $\zeta(s)$. Later, Chakraborty, Kanemitsu and the second author extended this phenomenon for any Hecke eigenform over the full modular group. In this paper, we study an asymptotic expansion of the Lambert series \begin{equation*} y^k \sum_{n=1}^\infty \lambda_{f}( n^2 ) \exp (- ny), \quad \textrm{as}\,\, y \rightarrow 0^{+}, \end{equation*} where $\lambda_f(n)$ is the $n$th Fourier coefficient of a Hecke eigen form $f(z)$ of weight $k$ over the full modular group.


title: Hardware Synthesis of State-Space Equations; Application to FPGA Implementation of Shallow and Deep Neural Networks

abstract: Nowadays, shallow and deep Neural Networks (NNs) have vast applications including biomedical engineering, image processing, computer vision, and speech recognition. Many researchers have developed hardware accelerators including field-programmable gate arrays (FPGAs) for implementing high-performance and energy efficient NNs. Apparently, the hardware architecture design process is specific and time-consuming for each NN. Therefore, a systematic way to design, implement and optimize NNs is highly demanded. The paper presents a systematic approach to implement state-space models in register transfer level (RTL), with special interest for NN implementation. The proposed design flow is based on the iterative nature of state-space models and the analogy between state-space formulations and finite-state machines. The method can be used in linear/nonlinear and time-varying/time-invariant systems. It can also be used to implement either intrinsically iterative systems (widely used in various domains such as signal processing, numerical analysis, computer arithmetic, and control engineering), or systems that could be rewritten in equivalent iterative forms. The implementation of recurrent NNs such as long short-term memory (LSTM) NNs, which have intrinsic state-space forms, are another major applications for this framework. As a case study, it is shown that state-space systems can be used for the systematic implementation and optimization of NNs (as nonlinear and time-varying dynamic systems). An RTL code generating software is also provided online, which simplifies the automatic generation of NNs of arbitrary size.


abstract: This paper studies a novel planning problem for multiple agents that cannot share holding resources, named OTIMAPP (Offline Time-Independent Multi-Agent Path Planning). Given a graph and a set of start-goal pairs, the problem consists in assigning a path to each agent such that every agent eventually reaches their goal without blocking each other, regardless of how the agents are being scheduled at runtime. The motivation stems from the nature of distributed environments that agents take actions fully asynchronous and have no knowledge about those exact timings of other actors. We present solution conditions, computational complexity, solvers, and robotic applications.


title: Low-overhead pieceable fault-tolerant construction of logical controlled-phase circuit for degenerate quantum code

abstract: We designed an search algorithm in order to find a non-transversal but fault-tolerant construction of a logical controlled-phase gate for general [[n,1,d]] degenerate quantum code. Then we give an example to illustrate our algorithm for a quantum code called bare [[7, 1, 3]] code. This code is obtained under certain search criteria, and it possesses a simpler flag-assisted fault-tolerant syndrome measurement circuit under a standard depolarizing error model. Since a syndrome extraction circuit requiring fewer ancillary qubit resources would facilitate the realization of large-scale quantum computations, such as concatenated high level elementary logical gate circuits when aim to achieve lower logical error rates, we follow our search scheme and find a 3-pieceable fault-tolerant logical CZ circuit on this code. Numerical simulations are also performed to further analyze the logical error rate of our circuit.


title: Quantum optimization within lattice gauge theory model on a quantum simulator

abstract: Simulating lattice gauge theory (LGT) Hamiltonian and its nontrivial states by programmable quantum devices has attracted numerous attention in recent years. Rydberg atom arrays constitute one of the most rapidly developing arenas for quantum simulation and quantum computing. The $\mathbb{Z}_2$ LGT and topological order has been realized in experiments while the $U(1)$ LGT is being worked hard on the way. States of LGT have local constraint and are fragmented into several winding sectors with topological protection. It is therefore difficult to reach the ground state in target sector for experiments, and it is also an important task for quantum topological memory. Here, we propose a protocol of sweeping quantum annealing (SQA) for searching the ground state among topological sectors. With the quantum Monte Carlo method, we show that this SQA has linear time complexity of size with applications to the antiferromagnetic transverse field Ising model, which has emergent $U(1)$ gauge fields. This SQA protocol can be realized easily on quantum simulation platforms such as Rydberg array and D-wave annealer. We expect this approach would provide an efficient recipe for resolving the topological hindrances in quantum optimization and the preparation of quantum topological state.


title: Analyzing Images for Music Recommendation

abstract: Experiencing images with suitable music can greatly enrich the overall user experience. The proposed image analysis method treats an artwork image differently from a photograph image. Automatic image classification is performed using deep-learning based models. An illustrative analysis showcasing the ability of our deep-models to inherently learn and utilize perceptually relevant features when classifying artworks is also presented. The Mean Opinion Score (MOS) obtained from subjective assessments of the respective image and recommended music pairs supports the effectiveness of our approach.


title: Raman spectra of hydrocarbons under extreme conditions of pressure and temperature: a first-principles study

abstract: Hydrocarbons are of great importance in carbon-bearing fluids in deep Earth and in ice giant planets at extreme pressure (P)-temperature (T) conditions. Raman spectroscopy is a powerful tool to study the chemical speciation of hydrocarbons; however, it is challenging to interpret Raman data at extreme conditions. Here, we performed ab initio molecular dynamics simulations coupled with the modern theory of polarization to calculate Raman spectra of methane, ethane, and propane up to 48 GPa and 2000 K. Our method includes anharmonic temperature effects. We studied the pressure and temperature effects on the Raman bands, and identified the characteristic Raman modes for the C-C and C-C-C bonds. Our result may help to interpret in-situ Raman data of hydrocarbons at extreme P-T conditions, with important implications for understanding the deep carbon cycle inside Earth and the compositions of ice giant planets.


title: Likelihood Scores for Sparse Signal and Change-Point Detection

abstract: We consider here the identification of change-points on large-scale data streams. The objective is to find the most efficient way of combining information across data stream so that detection is possible under the smallest detectable change magnitude. The challenge comes from the sparsity of change-points when only a small fraction of data streams undergo change at any point in time. The most successful approach to the sparsity issue so far has been the application of hard thresholding such that only local scores from data streams exhibiting significant changes are considered and added. However the identification of an optimal threshold is a difficult one. In particular it is unlikely that the same threshold is optimal for different levels of sparsity. We propose here a sparse likelihood score for identifying a sparse signal. The score is a likelihood ratio for testing between the null hypothesis of no change against an alternative hypothesis in which the change-points or signals are barely detectable. By the Neyman-Pearson Lemma this score has maximum detection power at the given alternative. The outcome is that we have a scoring of data streams that is successful in detecting at the boundary of the detectable region of signals and change-points. The likelihood score can be seen as a soft thresholding approach to sparse signal and change-point detection in which local scores that indicate small changes are down-weighted much more than local scores indicating large changes. We are able to show second-order optimality of the sparsity likelihood score in the sense of achieving successful detection at the minimum detectable order of change magnitude as well as at the minimum detection asymptotic constant with respect this order of change.


title: The mountain pass theorem in terms of tangencies

abstract: This paper addresses the Mountain Pass Theorem for locally Lipschitz functions on finite-dimensional vector spaces in terms of tangencies. Namely, let $f \colon \mathbb R^n \to \mathbb R$ be a locally Lipschitz function with a mountain pass geometry. Let $$c := \inf_{\gamma \in \mathcal A}\max_{t\in[0,1]}f(\gamma(t)),$$ where $\mathcal{A}$ is the set of all continuous paths joining $x^*$ to $y^*.$ We show that either $c$ is a critical value of $f$ or $c$ is a tangency value at infinity of $f.$ This reduces to the Mountain Pass Theorem of Ambrosetti and Rabinowitz in the case where the function $f$ is definable (such as, semi-algebraic) in an o-minimal structure.


title: Image Super-Resolution Quality Assessment: Structural Fidelity Versus Statistical Naturalness

abstract: Single image super-resolution (SISR) algorithms reconstruct high-resolution (HR) images with their low-resolution (LR) counterparts. It is desirable to develop image quality assessment (IQA) methods that can not only evaluate and compare SISR algorithms, but also guide their future development. In this paper, we assess the quality of SISR generated images in a two-dimensional (2D) space of structural fidelity versus statistical naturalness. This allows us to observe the behaviors of different SISR algorithms as a tradeoff in the 2D space. Specifically, SISR methods are traditionally designed to achieve high structural fidelity but often sacrifice statistical naturalness, while recent generative adversarial network (GAN) based algorithms tend to create more natural-looking results but lose significantly on structural fidelity. Furthermore, such a 2D evaluation can be easily fused to a scalar quality prediction. Interestingly, we find that a simple linear combination of a straightforward local structural fidelity and a global statistical naturalness measures produce surprisingly accurate predictions of SISR image quality when tested using public subject-rated SISR image datasets. Code of the proposed SFSN model is publicly available at \url{https://github.com/weizhou-geek/SFSN}.


title: NeuroGen: activation optimized image synthesis for discovery neuroscience

abstract: Functional MRI (fMRI) is a powerful technique that has allowed us to characterize visual cortex responses to stimuli, yet such experiments are by nature constructed based on a priori hypotheses, limited to the set of images presented to the individual while they are in the scanner, are subject to noise in the observed brain responses, and may vary widely across individuals. In this work, we propose a novel computational strategy, which we call NeuroGen, to overcome these limitations and develop a powerful tool for human vision neuroscience discovery. NeuroGen combines an fMRI-trained neural encoding model of human vision with a deep generative network to synthesize images predicted to achieve a target pattern of macro-scale brain activation. We demonstrate that the reduction of noise that the encoding model provides, coupled with the generative network's ability to produce images of high fidelity, results in a robust discovery architecture for visual neuroscience. By using only a small number of synthetic images created by NeuroGen, we demonstrate that we can detect and amplify differences in regional and individual human brain response patterns to visual stimuli. We then verify that these discoveries are reflected in the several thousand observed image responses measured with fMRI. We further demonstrate that NeuroGen can create synthetic images predicted to achieve regional response patterns not achievable by the best-matching natural images. The NeuroGen framework extends the utility of brain encoding models and opens up a new avenue for exploring, and possibly precisely controlling, the human visual system.


title: Show Why the Answer is Correct! Towards Explainable AI using Compositional Temporal Attention

abstract: Visual Question Answering (VQA) models have achieved significant success in recent times. Despite the success of VQA models, they are mostly black-box models providing no reasoning about the predicted answer, thus raising questions for their applicability in safety-critical such as autonomous systems and cyber-security. Current state of the art fail to better complex questions and thus are unable to exploit compositionality. To minimize the black-box effect of these models and also to make them better exploit compositionality, we propose a Dynamic Neural Network (DMN), which can understand a particular question and then dynamically assemble various relatively shallow deep learning modules from a pool of modules to form a network. We incorporate compositional temporal attention to these deep learning based modules to increase compositionality exploitation. This results in achieving better understanding of complex questions and also provides reasoning as to why the module predicts a particular answer. Experimental analysis on the two benchmark datasets, VQA2.0 and CLEVR, depicts that our model outperforms the previous approaches for Visual Question Answering task as well as provides better reasoning, thus making it reliable for mission critical applications like safety and security.


title: Move2Hear: Active Audio-Visual Source Separation

abstract: We introduce the active audio-visual source separation problem, where an agent must move intelligently in order to better isolate the sounds coming from an object of interest in its environment. The agent hears multiple audio sources simultaneously (e.g., a person speaking down the hall in a noisy household) and it must use its eyes and ears to automatically separate out the sounds originating from a target object within a limited time budget. Towards this goal, we introduce a reinforcement learning approach that trains movement policies controlling the agent's camera and microphone placement over time, guided by the improvement in predicted audio separation quality. We demonstrate our approach in scenarios motivated by both augmented reality (system is already co-located with the target object) and mobile robotics (agent begins arbitrarily far from the target object). Using state-of-the-art realistic audio-visual simulations in 3D environments, we demonstrate our model's ability to find minimal movement sequences with maximal payoff for audio source separation. Project: http://vision.cs.utexas.edu/projects/move2hear.


title: One for All: An End-to-End Compact Solution for Hand Gesture Recognition

abstract: The HGR is a quite challenging task as its performance is influenced by various aspects such as illumination variations, cluttered backgrounds, spontaneous capture, etc. The conventional CNN networks for HGR are following two stage pipeline to deal with the various challenges: complex signs, illumination variations, complex and cluttered backgrounds. The existing approaches needs expert expertise as well as auxiliary computation at stage 1 to remove the complexities from the input images. Therefore, in this paper, we proposes an novel end-to-end compact CNN framework: fine grained feature attentive network for hand gesture recognition (Fit-Hand) to solve the challenges as discussed above. The pipeline of the proposed architecture consists of two main units: FineFeat module and dilated convolutional (Conv) layer. The FineFeat module extracts fine grained feature maps by employing attention mechanism over multiscale receptive fields. The attention mechanism is introduced to capture effective features by enlarging the average behaviour of multi-scale responses. Moreover, dilated convolution provides global features of hand gestures through a larger receptive field. In addition, integrated layer is also utilized to combine the features of FineFeat module and dilated layer which enhances the discriminability of the network by capturing complementary context information of hand postures. The effectiveness of Fit- Hand is evaluated by using subject dependent (SD) and subject independent (SI) validation setup over seven benchmark datasets: MUGD-I, MUGD-II, MUGD-III, MUGD-IV, MUGD-V, Finger Spelling and OUHANDS, respectively. Furthermore, to investigate the deep insights of the proposed Fit-Hand framework, we performed ten ablation study.


title: A Cognitive Regularizer for Language Modeling

abstract: The uniform information density (UID) hypothesis, which posits that speakers behaving optimally tend to distribute information uniformly across a linguistic signal, has gained traction in psycholinguistics as an explanation for certain syntactic, morphological, and prosodic choices. In this work, we explore whether the UID hypothesis can be operationalized as an inductive bias for statistical language modeling. Specifically, we augment the canonical MLE objective for training language models with a regularizer that encodes UID. In experiments on ten languages spanning five language families, we find that using UID regularization consistently improves perplexity in language models, having a larger effect when training data is limited. Moreover, via an analysis of generated sequences, we find that UID-regularized language models have other desirable properties, e.g., they generate text that is more lexically diverse. Our results not only suggest that UID is a reasonable inductive bias for language modeling, but also provide an alternative validation of the UID hypothesis using modern-day NLP tools.


title: Development of Soft Tactile Sensor for Force Measurement and Position Detection

abstract: As more robots are implemented for contact-rich tasks, tactile sensors are in increasing demand. For many circumstances, the contact is required to be compliant, and soft sensors are in need. This paper introduces a novelly designed soft sensor that can simultaneously estimate the contact force and contact location. Inspired by humans' skin, which contains multi-layers of receptors, the designed tactile sensor has a dual-layer structure. The first layer is made of a conductive fabric that is responsible for sensing the contact force. The second layer is composed of four small conductive rubbers that can detect the contact location. Signals from the two layers are firstly processed by Wheatstone bridges and amplifier circuits so that the measurement noises are eliminated, and the sensitivity is improved. An Arduino chip is used for processing the signal and analyzing the data. The contact force can be obtained by a pre-trained model that maps from the voltage to force, and the contact location is estimated by the voltage signal from the conductive rubbers in the second layer. In addition, filtering methods are applied to eliminate the estimation noise. Finally, experiments are provided to show the accuracy and robustness of the sensor.


title: GCN-MIF: Graph Convolutional Network with Multi-Information Fusion for Low-dose CT Denoising

abstract: Being low-level radiation exposure and less harmful to health, low-dose computed tomography (LDCT) has been widely adopted in the early screening of lung cancer and COVID-19. LDCT images inevitably suffer from the degradation problem caused by complex noises. It was reported that deep learning (DL)-based LDCT denoising methods using convolutional neural network (CNN) achieved impressive denoising performance. Although most existing DL-based methods (e.g., encoder-decoder framework) can implicitly utilize non-local and contextual information via downsampling operator and 3D CNN, the explicit multi-information (i.e., local, non-local, and contextual) integration may not be explored enough. To address this issue, we propose a novel graph convolutional network-based LDCT denoising model, namely GCN-MIF, to explicitly perform multi-information fusion for denoising purpose. Concretely, by constructing intra- and inter-slice graph, the graph convolutional network is introduced to leverage the non-local and contextual relationships among pixels. The traditional CNN is adopted for the extraction of local information. Finally, the proposed GCN-MIF model fuses all the extracted local, non-local, and contextual information. Extensive experiments show the effectiveness of our proposed GCN-MIF model by quantitative and visualized results. Furthermore, a double-blind reader study on a public clinical dataset is also performed to validate the usability of denoising results in terms of the structural fidelity, the noise suppression, and the overall score. Models and code are available at https://github.com/tonyckc/GCN-MIF_demo.


title: FloorPlanCAD: A Large-Scale CAD Drawing Dataset for Panoptic Symbol Spotting

abstract: Access to large and diverse computer-aided design (CAD) drawings is critical for developing symbol spotting algorithms. In this paper, we present FloorPlanCAD, a large-scale real-world CAD drawing dataset containing over 10,000 floor plans, ranging from residential to commercial buildings. CAD drawings in the dataset are all represented as vector graphics, which enable us to provide line-grained annotations of 30 object categories. Equipped by such annotations, we introduce the task of panoptic symbol spotting, which requires to spot not only instances of countable things, but also the semantic of uncountable stuff. Aiming to solve this task, we propose a novel method by combining Graph Convolutional Networks (GCNs) with Convolutional Neural Networks (CNNs), which captures both non-Euclidean and Euclidean features and can be trained end-to-end. The proposed CNN-GCN method achieved state-of-the-art (SOTA) performance on the task of semantic symbol spotting, and help us build a baseline network for the panoptic symbol spotting task. Our contributions are three-fold: 1) to the best of our knowledge, the presented CAD drawing dataset is the first of its kind; 2) the panoptic symbol spotting task considers the spotting of both thing instances and stuff semantic as one recognition problem; and 3) we presented a baseline solution to the panoptic symbol spotting task based on a novel CNN-GCN method, which achieved SOTA performance on semantic symbol spotting. We believe that these contributions will boost research in related areas.


title: Lexicon Enhanced Chinese Sequence Labeling Using BERT Adapter

abstract: Lexicon information and pre-trained models, such as BERT, have been combined to explore Chinese sequence labelling tasks due to their respective strengths. However, existing methods solely fuse lexicon features via a shallow and random initialized sequence layer and do not integrate them into the bottom layers of BERT. In this paper, we propose Lexicon Enhanced BERT (LEBERT) for Chinese sequence labelling, which integrates external lexicon knowledge into BERT layers directly by a Lexicon Adapter layer. Compared with the existing methods, our model facilitates deep lexicon knowledge fusion at the lower layers of BERT. Experiments on ten Chinese datasets of three tasks including Named Entity Recognition, Word Segmentation, and Part-of-Speech tagging, show that LEBERT achieves the state-of-the-art results.


title: DirectQE: Direct Pretraining for Machine Translation Quality Estimation

abstract: Machine Translation Quality Estimation (QE) is a task of predicting the quality of machine translations without relying on any reference. Recently, the predictor-estimator framework trains the predictor as a feature extractor, which leverages the extra parallel corpora without QE labels, achieving promising QE performance. However, we argue that there are gaps between the predictor and the estimator in both data quality and training objectives, which preclude QE models from benefiting from a large number of parallel corpora more directly. We propose a novel framework called DirectQE that provides a direct pretraining for QE tasks. In DirectQE, a generator is trained to produce pseudo data that is closer to the real QE data, and a detector is pretrained on these data with novel objectives that are akin to the QE task. Experiments on widely used benchmarks show that DirectQE outperforms existing methods, without using any pretraining models such as BERT. We also give extensive analyses showing how fixing the two gaps contributes to our improvements.


title: Emergent gravity and the quantum

abstract: We show that if one starts with a Universe with some matter and a cosmological constant, then quantum mechanics naturally induces an attractive gravitational potential and an effective Newton's coupling. Thus gravity is an emergent phenomenon and what should be quantized are the fundamental degrees of freedom from which it emerges.


title: Mapping the Galactic Disk with the LAMOST and Gaia Red Clump Sample VII: the Stellar Disk Structure Revealed by the Mono-abundance Populations

abstract: Using a sample of 96,201 primary red clump (RC) stars selected from the LAMOST and Gaia surveys, we investigate the stellar structure of the Galactic disk. The sample stars show two separated sequences of high-[{\alpha}/Fe] and low-[{\alpha}/Fe] in the [{\alpha}/Fe]-[Fe/H] plane. We divide the sample stars into five mono-abundance populations (MAPs) with different ranges of [{\alpha}/Fe] and [Fe/H], named as the high-[{\alpha}/Fe], high-[{\alpha}/Fe] & high-[Fe/H], low-[Fe/H], solar, high-[Fe/H] MAPs respectively. We present the stellar number density distributions in the R R Z plane, and the scale heights and scale lengths of the individual MAPs by fitting their vertical and radial density profiles. The vertical profiles, the variation trend of scale height with the Galactocentric radius, indicate that there is a clear disk flare in the outer disk both for the low-[{\alpha}/Fe] and the high-[{\alpha}/Fe] MAPs. While the radial surface density profiles show a peak radius of 7 kpc and 8 kpc for the high-[{\alpha}/Fe] and low-[{\alpha}/Fe] MAPs, respectively. We also investigate the correlation between the mean rotation velocity and metallicity of the individual MAPs, and find that the mean rotation velocities are well separated and show different trends between the high-[{\alpha}/Fe] and the low-[{\alpha}/Fe] MAPs. At last, we discuss the character of the high-[{\alpha}/Fe] & high-[Fe/H] MAP and find that it is more similar to the high-[{\alpha}/Fe] MAP either in the radial and vertical density profiles or in the rotation velocity.


title: On stochastic stabilization of sampled systems

abstract: This paper addresses stochastic stabilization in case where implementation of control policies is digital, i. e., when the dynamical system is treated continuous, whereas the control actions are held constant in predefined time steps. In such a setup, special attention should be paid to the sample-to-sample behavior of the involved Lyapunov function. This paper extends on the stochastic stability results specifically to address for the sample-and-hold mode. We show that if a Markov policy stabilizes the system in a suitable sense, then it also practically stabilizes it in the sample-and-hold sense. This establishes a bridge from an idealized continuous application of the policy to its digital implementation. The central result applies to dynamical systems described by stochastic differential equations driven by the standard Brownian motion. Generalizations are discussed, including the case of non-smooth Lyapunov functions for systems driven by bounded noise. A brief overview of bounded noise models is given.


title: Window-Level is a Strong Denoising Surrogate

abstract: CT image quality is heavily reliant on radiation dose, which causes a trade-off between radiation dose and image quality that affects the subsequent image-based diagnostic performance. However, high radiation can be harmful to both patients and operators. Several (deep learning-based) approaches have been attempted to denoise low dose images. However, those approaches require access to large training sets, specifically the full dose CT images for reference, which can often be difficult to obtain. Self-supervised learning is an emerging alternative for lowering the reference data requirement facilitating unsupervised learning. Currently available self-supervised CT denoising works are either dependent on foreign domain or pretexts are not very task-relevant. To tackle the aforementioned challenges, we propose a novel self-supervised learning approach, namely Self-Supervised Window-Leveling for Image DeNoising (SSWL-IDN), leveraging an innovative, task-relevant, simple, yet effective surrogate -- prediction of the window-leveled equivalent. SSWL-IDN leverages residual learning and a hybrid loss combining perceptual loss and MSE, all incorporated in a VAE framework. Our extensive (in- and cross-domain) experimentation demonstrates the effectiveness of SSWL-IDN in aggressive denoising of CT (abdomen and chest) images acquired at 5\% dose level only.


title: Recent ALICE results on charm production and hadronisation

abstract: Studies on the production of open charm hadrons are of paramount importance to investigate the charm-quark hadronisation mechanisms at the LHC, particularly through the evolution of the production ratio between different charm-hadron species. Measurements performed in pp and p--Pb collisions at the LHC have revealed unexpected features, qualitatively similar to what observed in larger systems and, in the charm sector, not in line with the expectations based on previous measurements from $\rm e^{+}e^{-}$ colliders and in ep collisions. These results suggest that charm fragmentation fractions might not be universal and that the baryon-to-meson ratio depends on the collision system. Model calculations that better reproduce the $\Lambda_{\rm c}^{+}/{\rm D}^{0}$ ratio in pp collisions expect a significant contribution to $\Lambda_{\rm c}^{+}$ yield from decays of heavier charm-baryon states, rely on hadronisation via recombination mechanisms, or are based on new colour reconnection topologies. In this contribution, the most recent results on open heavy-flavour production in pp and Pb--Pb collisions measured by the ALICE Collaboration will be discussed. Emphasis will be given to the discussion of the impact of these studies on our understanding of the hadronisation processes.


title: Base pair fluctuations in helical models for nucleic acids

abstract: A statistical method is developed to estimate the maximum amplitude of the base pair fluctuations in a three dimensional mesoscopic model for nucleic acids. The base pair thermal vibrations around the helix diameter are viewed as a Brownian motion for a particle embedded in a stable helical structure. The probability to return to the initial position is computed, as a function of time, by integrating over the particle paths consistent with the physical properties of the model potential. The zero time condition for the first-passage probability defines the constraint to select the integral cutoff for various macroscopic helical conformations, obtained by tuning the twist, the bending and the slide motion between adjacent base pairs along the molecule stack. Applying the method to a short homogeneous chain at room temperature, we obtain meaningful estimates for the maximum fluctuations in the twist conformation with $\sim 10.5$ base pairs per helix turn, typical of double stranded DNA helices. Untwisting the double helix, the base pair fluctuations broaden and the integral cutoff grows. The cutoff is found to increase also in the presence of a sliding motion which shortens the helix contour length, a situation peculiar of dsRNA molecules.

categories: cond-mat.soft cond-mat.stat-mech physics.bio-ph q-bio.BM


title: Singularity for bifractional and trifractional Brownian motions based on their Hurst indices

abstract: We study sufficient conditions which ensure that the probability measures generated by two bifractional Brownian motions on an interval [0,1] are singular with respect to each other and sufficient conditions for the probability measures generated by two trifractional Brownian motions on an interval [0,1] are singular with respect to each other.


title: A Feature Table approach to decomposing monolithic applications into microservices

abstract: Microservice architecture refers to the use of numerous small-scale and independently deployed services, instead of encapsulating all functions into one monolith. It has been a challenge in software engineering to decompose a monolithic system into smaller parts. In this paper, we propose the Feature Table approach, a structured approach to service decomposition based on the correlation between functional features and microservices: (1) we defined the concept of {\em Feature Cards} and 12 instances of such cards; (2) we formulated {\em Decomposition Rules} to decompose monolithic applications; (3) we designed the {\em Feature Table Analysis Tool} to provide semi-automatic analysis for identification of microservices; and (4) we formulated {\em Mapping Rules} to help developers implement microservice candidates. We performed a case study on Cargo Tracking System to validate our microservice-oriented decomposition approach. Cargo Tracking System is a typical case that has been decomposed by other related methods (dataflow-driven approach, Service Cutter, and API Analysis). Through comparison with the related methods in terms of specific coupling and cohesion metrics, the results show that the proposed Feature Table approach can deliver more reasonable microservice candidates, which are feasible in implementation with semi-automatic support.


title: RadioNet: Transformer based Radio Map Prediction Model For Dense Urban Environments

abstract: Radio Map Prediction (RMP), aiming at estimating coverage of radio wave, has been widely recognized as an enabling technology for improving radio spectrum efficiency. However, fast and reliable radio map prediction can be very challenging due to the complicated interaction between radio waves and the environment. In this paper, a novel Transformer based deep learning model termed as RadioNet is proposed for radio map prediction in urban scenarios. In addition, a novel Grid Embedding technique is proposed to substitute the original Position Embedding in Transformer to better anchor the relative position of the radiation source, destination and environment. The effectiveness of proposed method is verified on an urban radio wave propagation dataset. Compared with the SOTA model on RMP task, RadioNet reduces the validation loss by 27.3\%, improves the prediction reliability from 90.9\% to 98.9\%. The prediction speed is increased by 4 orders of magnitude, when compared with ray-tracing based method. We believe that the proposed method will be beneficial to high-efficiency wireless communication, real-time radio visualization, and even high-speed image rendering.


title: Investigation into the foundations of the track-event theory of cell survival and the radiation action model based on nanodosimetry

abstract: This work aims at carving out more clearly the basic assumptions behind the "track-event theory" (TET) and its derivate radiation action model based on nanodosimetry (RAMN) by clearly distinguishing between effects of tracks at the cellular level and the induction of lesions in subcellular targets. It is demonstrated that the model assumptions of Poisson distribution and statistical independence of the frequency of single and clustered DNA lesions are dispensable for multi-event distributions, because they follow from the Poisson distribution of the number of tracks affecting the considered target volume. It is also shown that making these assumptions for the single-event distributions of the number of lethal and sublethal lesions within a cell would lead to an essentially exponential dose dependence of survival for practically relevant values of the absorbed dose. Furthermore, it is elucidated that the model equation used in the literature for consideration of repair within the TET is based on the assumption that DNA lesions induced by different tracks are repaired independently and that the model equation is presumably inconsistent with the model assumptions and requires an additional model parameter. Furthermore, the methodology for deriving model parameters from nanodosimetric properties of particle track structure is critically assessed. Based on data from proton track simulations it is shown that the assumption of statistically independent targets leads to a prediction of negligible frequency of clustered DNA damage. An approach is outlined how track structure could be considered in determining the model parameters, and the implications for TET and RAMN are discussed.


title: A non-hyperelliptic curve with torsion Ceresa class

abstract: We exhibit a non-hyperelliptic curve C of genus 3 such that the class of the Ceresa cycle [C]-[-C] in the intermediate Jacobian of JC is torsion.


title: On the Complexity of Nucleolus Computation for Bipartite b-Matching Games

abstract: We explore the complexity of nucleolus computation in b-matching games on bipartite graphs. We show that computing the nucleolus of a simple b-matching game is NP-hard even on bipartite graphs of maximum degree 7. We complement this with partial positive results in the special case where b values are bounded by 2. In particular, we describe an efficient algorithm when a constant number of vertices satisfy b(v) = 2 as well as an efficient algorithm for computing the non-simple b-matching nucleolus when b = 2.


title: Explicit Superlinear Convergence Rates of The SR1 Algorithm

abstract: We study the convergence rate of the famous Symmetric Rank-1 (SR1) algorithm which has wide applications in different scenarios. Although it has been extensively investigated, SR1 still lacks a non-asymptotic superlinear rate compared with other quasi-Newton methods such as DFP and BFGS. In this paper we address this problem. Inspired by the recent work on explicit convergence analysis of quasi-Newton methods, we obtain the first explicit non-asymptotic rates of superlinear convergence for the vanilla SR1 methods with correction strategy to achieve the numerical stability. Specifically, the vanilla SR1 with the correction strategy achieves the rates of the form $\left(\frac{4n\ln(e\kappa) }{k}\right)^{k/2}$ for general smooth strongly-convex functions where $k$ is the iteration counter, $\kappa$ is the condition number of the objective function and $n$ is the dimension of the problem. For the quadratic function, the vanilla SR1 algorithm can find the optima of the objective function at most $n$ steps.


title: Boundary-layer analysis of repelling particles pushed to an impenetrable barrier

abstract: This paper considers the equilibrium positions of $n$ particles in one dimension. Two forces act on the particles; a nonlocal repulsive particle-interaction force and an external force which pushes them to an impenetrable barrier. While the continuum limit as $n \to \infty$ is known for a certain class of potentials, numerical simulations show that a discrete boundary layer appears at the impenetrable barrier, i.e. the positions of $o(n)$ particles do not fit to the particle density predicted by the continuum limit. In this paper we establish a first-order $\Gamma$-convergence result which guarantees that these $o(n)$ particles converge to a specific continuum boundary-layer profile.


title: Derivation of the Grodzins relation in collective nuclear model

abstract: Basing on the Bohr collective quadrupole Hamiltonian the $A$-dependence of the Grodzins product is derived and the proportionality coefficient for the Grodzins relation is evaluated. The result obtained is in a correspondence with the experimental data.


title: Electromagnetic Crimping on Threaded Surface: FEM Modelling, Validation and Effects of Pitch and Discharge Energy on Deformation in an Empirical Relation

abstract: Electromagnetic crimping is a high-velocity joining method to join highly conductive workpieces where a pulsed magnetic field is applied without any working medium or mechanical contact to deform the workpiece. This work explores tube-to-tube joining of Copper outer tube and Stainless steel threaded inner tube using electromagnetic crimping. A non-coupled simulation model is developed for the finite element analysis. ANSYS Maxwell package is used to obtain the magnetic field intensity, which is later converted to pressure using an analytical equation, and this pressure is applied to the two-tube working domain in ANSYS Explicit Dynamics. Numerical simulations are done for different combinations of discharge energies and pitches of the thread to analyse deformation, stress and strain. The converged finite element results are validated using experimental data. The amount of deformation is found to be proportional to discharge energy and the pitch of the thread used. An empirical relation is developed for the deformation as a function of discharge energy and pitch. The relation is able to predict the deformation for other discharge energies, which is later verified with ANSYS simulations.


title: Through a Black Hole into a New Universe

abstract: We show that an S-Brane which arises in the inside of the black hole horizon when the Weyl curvature reaches the string scale induces a continuous transition between the inside of the black hole and the beginning of a new universe. This provides a simultaneous resolution of both the black hole and Big Bang singularities. In this context, the black hole information loss problem is also naturally resolved.


title: On Conditional $\alpha$-Information and its Application to Side-Channel Analysis

abstract: A conditional version of Sibson's $\alpha$-information is defined using a simple closed-form "log-expectation" expression, which satisfies important properties such as consistency, uniform expansion, and data processing inequalities. This definition is compared to previous ones, which in contrast do not satisfy all of these properties. Based on our proposal and on a generalized Fano inequality, we extend the case $\alpha = 1$ of previous works to obtain sharp universal upper bounds for the probability of success of any type side-channel attack, particularly when $\alpha = 2$.


title: Cohort Shapley value for algorithmic fairness

abstract: Cohort Shapley value is a model-free method of variable importance grounded in game theory that does not use any unobserved and potentially impossible feature combinations. We use it to evaluate algorithmic fairness, using the well known COMPAS recidivism data as our example. This approach allows one to identify for each individual in a data set the extent to which they were adversely or beneficially affected by their value of a protected attribute such as their race. The method can do this even if race was not one of the original predictors and even if it does not have access to a proprietary algorithm that has made the predictions. The grounding in game theory lets us define aggregate variable importance for a data set consistently with its per subject definitions. We can investigate variable importance for multiple quantities of interest in the fairness literature including false positive predictions.


title: Quantum Light Detection and Ranging

abstract: Single-photon light detection and ranging (LiDAR) is a key technology for depth imaging through complex environments. Despite recent advances, an open challenge is the ability to isolate the LiDAR signal from other spurious sources including background light and jamming signals. Here we show that a time-resolved coincidence scheme can address these challenges by exploiting spatiotemporal correlations between entangled photon pairs. We demonstrate that a photon-pair-based LiDAR can distill desired depth information in the presence of both synchronous and asynchronous spurious signals without prior knowledge of the scene and the target object. This result enables the development of robust and secure quantum LiDAR systems and paves the way to time-resolved quantum imaging applications.


title: Some Dynamical Properties on Manifolds with no Conjugate Points

abstract: In this article, we study the dynamics of geodesic flows on Riemannian (not necessarily compact) manifolds with no conjugate points. We prove the Anosov Closing Lemma, the local product structure, and the transitivity of the geodesic flows on $\Omega_1$ under the conditions of bounded asymptote and uniform visibility. As an application, we further discuss about some generic properties of the set of invariant probability measures


title: A topological photonic ring-resonator for on-chip channel filters

abstract: A topologically protected ring-resonator formed in valley photonic crystals is proposed and fabricated on a silicon slab. The unidirectional transmission and robustness against structure defects of its resonant modes are illustrated. Coupled with topological waveguides, the topological ring is functioned as notch and channel-drop filters. The work opens up a new avenue for developing advanced chip-integrated photonic circuits with attributes of topological photonics.


title: Rescue Network: Using UAVs (drones) in Earthquake Crisis Management

abstract: Earthquake is one of the natural disasters which cannot be either controlled or predicted absolutely. Since preventing earthquake is impossible, preventing its damages is also difficult. Unfortunately, after each earthquake and its financial and life losses, the initial panic of the people results in the second wave of accidents and damages. Inrush of confused people to escape the cities, streets and houses is a great problem. Apart from training in seismic areas which is very important, considering security arrangements and observing security principles in construction, instructing the people is also important. Other than searching for and rescuing the people who are trapped under detrimental or are in danger, those who thieve the damaged area is another important issue after each earthquake. Thus, a solution is proposed to use modern technology to reduce threats of natural disasters including earthquake. Today, UAVs are being used in natural disasters and accidents. To this end and considering the ever-increasing developments of network technologies and communication including IoT and cloud, an efficient design is presented which increases rescue factor of live creatures in natural disasters that can be used to rescue human lives and prevent subsequent outcomes after a few seconds. In this study, focus is on time of occurrence of earthquake and after earthquake


title: Classification of the Reducible Verma Modules over the Jacobi Algebra $ {\cal G}_2$

abstract: In the present paper we study the representations of the Jacobi algebra. More concretely, we define, analogously to the case of semi-simple Lie algebras, the Verma modules over the Jacobi algebra ${\cal G}_2$. We study their reducibility and give explicit construction of the reducible Verma modules exhibiting the corresponding singular vectors. Using this information we give a complete classification of the reducible Verma modules. More than this we exhibit their interrelation of embeddings between these modules. These embeddings are illustrated by diagrams of the embedding patterns so that each reducible Verma module appears in one such diagram.


title: Stacked Deep Multi-Scale Hierarchical Network for Fast Bokeh Effect Rendering from a Single Image

abstract: The Bokeh Effect is one of the most desirable effects in photography for rendering artistic and aesthetic photos. Usually, it requires a DSLR camera with different aperture and shutter settings and certain photography skills to generate this effect. In smartphones, computational methods and additional sensors are used to overcome the physical lens and sensor limitations to achieve such effect. Most of the existing methods utilized additional sensor's data or pretrained network for fine depth estimation of the scene and sometimes use portrait segmentation pretrained network module to segment salient objects in the image. Because of these reasons, networks have many parameters, become runtime intensive and unable to run in mid-range devices. In this paper, we used an end-to-end Deep Multi-Scale Hierarchical Network (DMSHN) model for direct Bokeh effect rendering of images captured from the monocular camera. To further improve the perceptual quality of such effect, a stacked model consisting of two DMSHN modules is also proposed. Our model does not rely on any pretrained network module for Monocular Depth Estimation or Saliency Detection, thus significantly reducing the size of model and run time. Stacked DMSHN achieves state-of-the-art results on a large scale EBB! dataset with around 6x less runtime compared to the current state-of-the-art model in processing HD quality images.


title: Cross-Modal Progressive Comprehension for Referring Segmentation

abstract: Given a natural language expression and an image/video, the goal of referring segmentation is to produce the pixel-level masks of the entities described by the subject of the expression. Previous approaches tackle this problem by implicit feature interaction and fusion between visual and linguistic modalities in a one-stage manner. However, human tends to solve the referring problem in a progressive manner based on informative words in the expression, i.e., first roughly locating candidate entities and then distinguishing the target one. In this paper, we propose a Cross-Modal Progressive Comprehension (CMPC) scheme to effectively mimic human behaviors and implement it as a CMPC-I (Image) module and a CMPC-V (Video) module to improve referring image and video segmentation models. For image data, our CMPC-I module first employs entity and attribute words to perceive all the related entities that might be considered by the expression. Then, the relational words are adopted to highlight the target entity as well as suppress other irrelevant ones by spatial graph reasoning. For video data, our CMPC-V module further exploits action words based on CMPC-I to highlight the correct entity matched with the action cues by temporal graph reasoning. In addition to the CMPC, we also introduce a simple yet effective Text-Guided Feature Exchange (TGFE) module to integrate the reasoned multimodal features corresponding to different levels in the visual backbone under the guidance of textual information. In this way, multi-level features can communicate with each other and be mutually refined based on the textual context. Combining CMPC-I or CMPC-V with TGFE can form our image or video version referring segmentation frameworks and our frameworks achieve new state-of-the-art performances on four referring image segmentation benchmarks and three referring video segmentation benchmarks respectively.


title: The Laplace Mechanism has optimal utility for differential privacy over continuous queries

abstract: Differential Privacy protects individuals' data when statistical queries are published from aggregated databases: applying "obfuscating" mechanisms to the query results makes the released information less specific but, unavoidably, also decreases its utility. Yet it has been shown that for discrete data (e.g. counting queries), a mandated degree of privacy and a reasonable interpretation of loss of utility, the Geometric obfuscating mechanism is optimal: it loses as little utility as possible. For continuous query results however (e.g. real numbers) the optimality result does not hold. Our contribution here is to show that optimality is regained by using the Laplace mechanism for the obfuscation. The technical apparatus involved includes the earlier discrete result by Ghosh et al., recent work on abstract channels and their geometric representation as hyper-distributions, and the dual interpretations of distance between distributions provided by the Kantorovich-Rubinstein Theorem.


title: On $G_2$-manifolds and geometry in dimensions $6$ and $8$

abstract: We study the geometry induced on the local orbit spaces of Killing vector fields on (Riemannian) $G$-manifolds, with an emphasis on the cases $G={\rm Spin}(7)$ and $G=G_2$. Along the way, we classify the harmonic morphisms with one-dimensional fibres from $G_2$-manifolds to Einstein manifolds.


title: Measurement of the branching fraction of leptonic decay $D_s^+\to\tau^+\nu_\tau$ via $\tau^+\to\pi^+\pi^0\bar \nu_\tau$

abstract: By analyzing $6.32~\mathrm{fb}^{-1}$ of $e^+e^-$ annihilation data collected at the center-of-mass energies between 4.178 and 4.226\,GeV with the BESIII detector, we determine the branching fraction of the leptonic decay $D_s^+\to\tau^+\nu_\tau$ with $\tau^+\to\pi^+\pi^0\bar \nu_\tau$, to be $\mathcal{B}_{D_s^+\to\tau^+\nu_\tau}=(5.29\pm0.25_{\rm stat}\pm0.20_{\rm syst})\%$. We estimate the product of the Cabibbo-Kobayashi-Maskawa matrix element $|V_{cs}|$ and the $D_s^+$ decay constant $f_{D^+_s}$ to be $f_{D_s^+}|V_{cs}|=(244.8\pm5.8_{\rm stat}\pm4.8_{\rm syst})~\mathrm{MeV}$ using the known values of the $\tau^+$ and $D_s^+$ masses as well as the $D_s^+$ lifetime, together with our branching fraction measurement. Combining with the value of $|V_{cs}|$ obtained from a global fit in the standard model and $f_{D_s^+}$ from lattice quantum chromodynamics, we obtain $f_{D_s^+}=(251.6\pm5.9_{\rm stat}\pm4.9_{\rm syst})$\,MeV and $|V_{cs}| = 0.980\pm0.023_{\rm stat}\pm0.019_{\rm syst}$.


title: BubbleNet: Inferring micro-bubble dynamics with semi-physics-informed deep learning

abstract: Micro-bubbles and bubbly flows are widely observed and applied in chemical engineering, medicine, involves deformation, rupture, and collision of bubbles, phase mixture, etc. We study bubble dynamics by setting up two numerical simulation cases: bubbly flow with a single bubble and multiple bubbles, both confined in the microchannel, with parameters corresponding to their medical backgrounds. Both the cases have their medical background applications. Multiphase flow simulation requires high computation accuracy due to possible component losses that may be caused by sparse meshing during the computation. Hence, data-driven methods can be adopted as an useful tool. Based on physics-informed neural networks (PINNs), we propose a novel deep learning framework BubbleNet, which entails three main parts: deep neural networks (DNN) with sub nets for predicting different physics fields; the semi-physics-informed part, with only the fluid continuum condition and the pressure Poisson equation $\mathcal{P}$ encoded within; the time discretized normalizer (TDN), an algorithm to normalize field data per time step before training. We apply the traditional DNN and our BubbleNet to train the coarsened simulation data and predict the physics fields of both the two bubbly flow cases. The BubbleNets are trained for both with and without $\mathcal{P}$, from which we conclude that the 'physics-informed' part can serve as inner supervision. Results indicate our framework can predict the physics fields more accurately, estimating the prediction absolute errors. Our deep learning predictions outperform traditional numerical methods computed with similar data density meshing. The proposed network can potentially be applied to many other engineering fields.


title: Ocean Wave Energy Converters Optimization: A Comprehensive Review on Research Directions

abstract: Ocean wave energy is one of the latest renewable energy resources, projected to be commercialized and competitive with other energy technologies in the near future. However, wave energy technologies are not fully developed, so various criteria must be optimized to enter the energy market. To optimize the performance of wave energy converters (WECs) components, three challenges are mostly considered: i)Power take-off systems settings (PTO), ii)Geometry parameters of WECs, iii)WECs' layout. As each of them plays a significant role in harnessing the maximum power output, this paper reviews applied optimization techniques in WECs. Furthermore, due to the importance of fidelity and computational cost in numerical methods, we discuss methods to analyze a WEC together with the basics and developments of WECs interactions. Moreover, the most popular optimization methods applied to optimize WEC parameters are categorized, and their key characteristics are briefly discussed. As a result, in terms of convergence rate, a combination of bio-inspired algorithms and local search can outperform the competition in layout optimization. A review of PTO coefficients and the geometry of WECs have emphasized the indispensability of optimizing PTO coefficients and balancing design parameters with cost issues even though it is costly on multi-modal and large-scale problems.


title: Drill the Cork of Information Bottleneck by Inputting the Most Important Data

abstract: Deep learning has become the most powerful machine learning tool in the last decade. However, how to efficiently train deep neural networks remains to be thoroughly solved. The widely used minibatch stochastic gradient descent (SGD) still needs to be accelerated. As a promising tool to better understand the learning dynamic of minibatch SGD, the information bottleneck (IB) theory claims that the optimization process consists of an initial fitting phase and the following compression phase. Based on this principle, we further study typicality sampling, an efficient data selection method, and propose a new explanation of how it helps accelerate the training process of the deep networks. We show that the fitting phase depicted in the IB theory will be boosted with a high signal-to-noise ratio of gradient approximation if the typicality sampling is appropriately adopted. Furthermore, this finding also implies that the prior information of the training set is critical to the optimization process and the better use of the most important data can help the information flow through the bottleneck faster. Both theoretical analysis and experimental results on synthetic and real-world datasets demonstrate our conclusions.


title: The Paradigm of Digital Twin Communications

abstract: With the fast evolving of cloud computing and artificial intelligence (AI), the concept of digital twin (DT) has recently been proposed and finds broad applications in industrial Internet, IoT, smart city, etc. The DT builds a mirror integrated multi-physics of the physical system in the digital space. By doing so, the DT can utilize the rich computing power and AI at the cloud to operate on the mirror physical system, and accordingly provides feedbacks to help the real-world physical system in their practical task completion. The existing literature mainly considers DT as a simulation/emulation approach, whereas the communication framework for DT has not been clearly defined and discussed. In this article, we describe the basic DT communication models and present the open research issues. By combining wireless communications, artificial intelligence (AI) and cloud computing, we show that the DT communication provides a novel framework for futuristic mobile agent systems.


title: Delay Robustness of Consensus Algorithms: Beyond The Uniform Connectivity (Extended Version)

abstract: Consensus of autonomous agents is a benchmark problem in multi-agent control. In this paper, we consider continuous-time averaging consensus policies (or Laplacian flows) and their discrete-time counterparts over time-varying graphs in presence of unknown but bounded communication delays. It is known that consensus is established (no matter how large the delays are) if the graph is periodically, or uniformly quasi-strongly connected (UQSC). The UQSC condition is often believed to be the weakest sufficient condition under which consensus can be proved. We show that the UQSC condition can actually be substantially relaxed and replaced by a condition that we call aperiodic quasi-strong connectivity (AQSC), which, in some sense, proves to be very close to the necessary condition of integral connectivity. Furthermore, in some special situations such as undirected or type-symmetric graph, we find a necessary and sufficient condition for consensus in presence of bounded delay; the relevant results have been previously proved only in the undelayed case. The consensus criteria established in this paper generalize a number of results known in the literature.

categories: math.OC cs.MA cs.SY eess.SY math.DS nlin.AO


title: Reflexive modules over Arf local rings

abstract: We provide a certain direct-sum decomposition of reflexive modules over (one-dimensional) Arf local rings. We also see the equivalence of three notions, say, integrally closed ideals, trace ideals, and reflexive modules of rank one (i.e., divisorial ideals) up to isomorphisms in Arf rings. As an application, we obtain the finiteness of indecomposable reflexive modules, up to isomorphism, for analytically irreducible Arf local rings.


title: Graded filtrations and ideals of reduction number two

abstract: In this paper, we give a way to construct graded filtrations of graded modules. We then apply it to the Sally module, which describes a correction term of the Hilbert function. As a result, we obtain the inequality of the Hilbert coefficients for ideals of reduction number $2$ or $3$.


title: Integrally closed ideals of reduction number three

abstract: In a Cohen-Macaulay local ring $(A, \mathfrak{m})$, we study the Hilbert function of an integrally closed $\mathfrak{m}$-primary ideal $I$ whose reduction number is three. With a mild assumption we give an inequality $\ell_A(A/I) \ge \mathrm{e}_0(I) - \mathrm{e}_1(I) + \dfrac{\mathrm{e}_2(I) + \ell_A(I^2/QI)}{2}$, where $\mathrm{e}_i(I)$ denotes the $i$th Hilbert coefficients and $Q$ denotes a minimal reduction of $I$. The inequality is located between inequalities of Itoh and Elias-Valla. Furthermore our inequality becomes an equality if and only if the depth of the associated graded ring of $I$ is larger than or equal to $\dim A-1$. We also study the Cohen-Macaulayness of the associated graded rings of determinantal rings.