title: Nuclear dimension of crossed products associated to partial dynamical systems

abstract: We bound the nuclear dimension of crossed products associated to some partial actions of finite groups or $\mathbb{Z}$ on finite dimensional locally compact Hausdorff second countable spaces. Our results apply to globalizable partial actions, finite group partial actions, minimal partial automorphisms, and partial automorphisms acting on zero-dimensional spaces, or a class of one dimensional spaces, containing $1$-dimensional CW complexes. This extends work on global systems by Hirshberg and Wu.


title: A Thermodynamic Model for Active Ion Transport

abstract: Active ion transport is very critical for living cells to maintain and regular internal and external environment. It is known that adenosine 5'-triphosphate (ATP) is a general energy source that applies bond energy for pumps to overcome ion concentration gradient. In this study, we introduce a novel thermodynamic model for active ion transport, which allows the pump to act as a 'Maxwell's demon', and also conforms to the second law of thermodynamics. Transport against the gradient is caused by the thermodynamic fluctuation with information recording in ATP stream. Besides, exhaustive experiments about Na-K ATPase performed in the red cell ghost system are reviewed to verify this model, and all the results can support the solvable theory about the working mechanism of demon pumps. Our findings indicate the possible role of ATP as an information carrier but not energy currency. The high-energy phosphate bonds can improve the efficiency of information recording in relevance to ion transport and may mainly convert to heat.


title: Application of KKT to Transportation Problem with Volume Discount on Shipping Cost

abstract: Nonlinear programming problems are useful in designing and assigning work schedule and also in transporting goods and services from known sources to specified destinations. The objective function could be linear or nonlinear depending on the mode or rout of transportation. In supplying goods and services during emergency cases, the objective cost function is always assumed to be nonlinear. The purpose of this research is to study the nature of the cost function of the transportation problem and provide solution algorithms to solve such nonlinear cost functions. The cost per unit commodity transported may not be fixed since volume discounts are sometimes available for large shipments of goods and services. This will make the cost function either piecewise linear, separable concave or convex. The approach to solving such problems as they arise is to apply existing general nonlinear programming algorithms and when necessary make modifications to fit the special structure of the problem. We describe theoretically , algorithms for the nonlinear cost function and state conditions under which stability is achieved with both sufficient and necessary cases.


title: The studies on $Z \to \Upsilon(1S)+g+g$ at the next-to-leading-order QCD accuracy

abstract: In this paper, we carry out the next-to-leading-order (NLO) studies on $Z \to \Upsilon(1S)+g+g$ via the color-singlet (CS) $b\bar{b}$ state. We find the newly calculated NLO QCD corrections to this process can significantly influence its leading-order (LO) results, and greatly improve the dependence on the renormalization scale. By including the considerable feeddown contributions, the branching ratio $\mathcal{B}_{Z \to \Upsilon(1S)+g+g}$ is predicted to be $(0.56 \sim 0.95)\times 10^{-6}$, which can reach up to $19\% \sim 31\%$ of the LO predictions given by the CS dominant process $Z \to \Upsilon(1S)+b+\bar{b}$. Moreover, $Z \to \Upsilon(1S)+g+g$ also seriously affect the CS predictions on the $\Upsilon(1S)$ energy distributions, especially when $z$ is relatively small. In summary, for the inclusive $\Upsilon(1S)$ productions in $Z$ decay, besides $Z \to \Upsilon(1S)+b+\bar{b}$, the gluon radiation process $Z \to \Upsilon(1S)+g+g$ can provide indispensable contributions as well.


title: Chabauty-Coleman computations on rank 1 Picard curves

abstract: We provably compute the full set of rational points on 1403 Picard curves defined over $\mathbb{Q}$ with Jacobians of Mordell-Weil rank $1$ using the Chabauty-Coleman method. To carry out this computation, we extend Magma code of Balakrishnan and Tuitman for Coleman integration. The new code computes $p$-adic (Coleman) integrals on curves to points defined over number fields where the prime $p$ splits completely and implements effective Chabauty for curves whose Jacobians have infinite order points that are not the image of a rational point under the Abel-Jacobi map. We discuss several interesting examples of curves where the Chabauty-Coleman set contains points defined over number fields.


title: On the heat transfer coefficient jump in tilted single-phase natural circulation systems

abstract: The present study investigates the effect of inclination on the buoyancy driven systems. A cavity, Natural Circulation Loop (NCL) and Coupled Natural Circulation Loop (CNCL) have been used to represent the possible classes of buoyancy driven systems. There are extensive studies on the cavity systems which exhibit a heat transfer coefficient jump upon the change in the inclination as the system moves from one steady state to another. The primary objective of the present study is to investigate if a similar behavior occurs in natural circulation systems such as an NCL and a CNCL, using a 2-D CFD study. The study identifies a combination of flow pattern rearrangement and flow direction reversal as the phenomena responsible for the jump in the heat transfer coefficient. A 3-D CFD study is also conducted to demonstrate the universality of the phenomena. The CFD study is validated thoroughly with the numerical and experimental data available in the literature. A parametric study is also conducted to examine the effects of the aspect ratio, Rayleigh number, Prandtl number and the inclination with the plane of the NCL system.


title: On Unbalanced Optimal Transport: An Analysis of Sinkhorn Algorithm

abstract: We provide a computational complexity analysis for the Sinkhorn algorithm that solves the entropic regularized Unbalanced Optimal Transport (UOT) problem between two measures of possibly different masses with at most $n$ components. We show that the complexity of the Sinkhorn algorithm for finding an $\varepsilon$-approximate solution to the UOT problem is of order $\widetilde{\mathcal{O}}(n^2/ \varepsilon)$, which is near-linear time. To the best of our knowledge, this complexity is better than the complexity of the Sinkhorn algorithm for solving the Optimal Transport (OT) problem, which is of order $\widetilde{\mathcal{O}}(n^2/\varepsilon^2)$. Our proof technique is based on the geometric convergence of the Sinkhorn updates to the optimal dual solution of the entropic regularized UOT problem and some properties of the primal solution. It is also different from the proof for the complexity of the Sinkhorn algorithm for approximating the OT problem since the UOT solution does not have to meet the marginal constraints.


title: Uniformly Bounded State Estimation over Multiple Access Channels

abstract: This paper addresses the problem of distributed state estimation via multiple access channels (MACs). We consider a scenario where two encoders are simultaneously communicating their measurements through a noisy channel. Firstly, the zero-error capacity region of the general M-input, single-output MAC is characterized using tools from nonstochastic information theory. Next, we show that a tight condition to be able to achieve uniformly bounded state estimation errors can be given in terms of the channel zero-error capacity region. This criterion relates the channel properties to the plant dynamics. These results pave the way towards understanding information flows in networked control systems with multiple transmitters.


title: Stochastic optimization of the Dividend strategy with reinsurance in correlated multiple insurance lines of business

abstract: The present paper addresses the issue of the stochastic control of the optimal dynamic reinsurance policy and dynamic dividend strategy, which are state-dependent, for an insurance company that operates under multiple insurance lines of business. The aggregate claims model with a thinning-dependence structure is adopted for the risk process. In the optimization method, the maximum of the cumulative expected discounted dividend payouts with respect to the dividend and reinsurance strategies are considered as value function. This value function is characterized as the smallest super Viscosity solution of the associated Hamilton-Jacobi- Bellman (HJB) equation. The finite difference method (FDM) has been utilized for the numerical solution of the value function and the optimal control strategy and the proof for the convergence of this numerical solution to the value function is provided. The findings of this paper provide insights for the insurance companies as such that based upon the lines in which they are operating, they can choose a vector of the optimal dynamic reinsurance strategies and consequently transfer some part of their risks to several reinsurers.


title: Edge-Isoperimetric Inequalities and Ball-Noise Stability: Linear Programming and Probabilistic Approaches

abstract: Let $Q_{n}^{r}$ be the graph with vertex set $\{-1,1\}^{n}$ in which two vertices are joined if their Hamming distance is at most $r$. The edge-isoperimetric problem for $Q_{n}^{r}$ is that: For every $(n,r,M)$ such that $1\le r\le n$ and $1\le M\le2^{n}$, determine the minimum edge-boundary size of a subset of vertices of $Q_{n}^{r}$ with a given size $M$. In this paper, we apply two different approaches to prove bounds for this problem. The first approach is a linear programming approach and the second is a probabilistic approach. Our bound derived by the first approach generalizes the tight bound for $M=2^{n-1}$ derived by Kahn, Kalai, and Linial in 1989. Moreover, our bound is also tight for $M=2^{n-2}$ and $r\le\frac{n}{2}-1$. Our bounds derived by the second approach are expressed in terms of the \emph{noise stability}, and they are shown to be asymptotically tight as $n\to\infty$ when $r=2\lfloor\frac{\beta n}{2}\rfloor+1$ and $M=\lfloor\alpha2^{n}\rfloor$ for fixed $\alpha,\beta\in(0,1)$, and is tight up to a factor $2$ when $r=2\lfloor\frac{\beta n}{2}\rfloor$ and $M=\lfloor\alpha2^{n}\rfloor$. In fact, the edge-isoperimetric problem is equivalent to a ball-noise stability problem which is a variant of the traditional (i.i.d.-) noise stability problem. Our results can be interpreted as bounds for the ball-noise stability problem.


title: Formation of quantum dots in GaN/AlGaN FETs

abstract: GaN and the heterostructures are attractive in condensed matter science and applications for electronic devices. We measure the electron transport in GaN/AlGaN field-effect transistors (FETs) at cryogenic temperature. We observe formation of quantum dots in the conduction channel near the depletion of the 2-dimensional electron gas (2DEG). Multiple quantum dots are formed in the disordered potential induced by impurities in the FET conduction channel. We also measure the gate insulator dependence of the transport properties. These results can be utilized for the development of quantum dot devices utilizing GaN/AlGaN heterostructures and evaluation of the impurities in GaN/AlGaN FET channels.


title: Learning High Order Feature Interactions with Fine Control Kernels

abstract: We provide a methodology for learning sparse statistical models that use as features all possible multiplicative interactions among an underlying atomic set of features. While the resulting optimization problems are exponentially sized, our methodology leads to algorithms that can often solve these problems exactly or provide approximate solutions based on combining highly correlated features. We also introduce an algorithmic paradigm, the Fine Control Kernel framework, so named because it is based on Fenchel Duality and is reminiscent of kernel methods. Its theory is tailored to large sparse learning problems, and it leads to efficient feature screening rules for interactions. These rules are inspired by the Apriori algorithm for market basket analysis -- which also falls under the purview of Fine Control Kernels, and can be applied to a plurality of learning problems including the Lasso and sparse matrix estimation. Experiments on biomedical datasets demonstrate the efficacy of our methodology in deriving algorithms that efficiently produce interactions models which achieve state-of-the-art accuracy and are interpretable.


title: Convolutional Neural Network Pruning Using Filter Attenuation

abstract: Filters are the essential elements in convolutional neural networks (CNNs). Filters are corresponded to the feature maps and form the main part of the computational and memory requirement for the CNN processing. In filter pruning methods, a filter with all of its components, including channels and connections, are removed. The removal of a filter can cause a drastic change in the network's performance. Also, the removed filters cannot come back to the network structure. We want to address these problems in this paper. We propose a CNN pruning method based on filter attenuation in which weak filters are not directly removed. Instead, weak filters are attenuated and gradually removed. In the proposed attenuation approach, weak filters are not abruptly removed, and there is a chance for these filters to return to the network. The filter attenuation method is assessed using the VGG model for the Cifar10 image classification task. Simulation results show that the filter attenuation works with different pruning criteria, and better results are obtained in comparison with the conventional pruning methods.


title: A New Approach to Mass and Radius of Neutron Stars with Supernova Neutrinos

abstract: Neutron stars are formed in core-collapse supernova explosions, where a large number of neutrinos are emitted. In this paper, supernova neutrino light curves are computed for the cooling phase of protoneutron stars, which lasts a few minutes. In the numerical simulations, 90 models of the phenomenological equation of state with different incompressibilities, symmetry energies, and nucleon effective masses are employed for a comprehensive study. It is found that the cooling timescale is longer for a model with a larger neutron star mass and a smaller neutron star radius. Furthermore, a theoretical expression of the cooling timescale is presented as a function of the mass and radius and it is found to describe the numerical results faithfully. These findings suggest that diagnosing the mass and radius of a newly formed neutron star using its neutrino signal is possible.


title: A Virtual Network Customization Framework for Multicast Services in NFV-enabled Core Networks

abstract: The paradigm of network function virtualization (NFV) with the support of software defined networking (SDN) emerges as a promising approach for customizing network services in fifth generation (5G) networks. In this paper, a multicast service orchestration framework is presented, where joint traffic routing and virtual network function (NF) placement are studied for accommodating multicast services over an NFV-enabled physical substrate network. First, we investigate a joint routing and NF placement problem for a single multicast request accommodated over a physical substrate network, with both single-path and multipath traffic routing. The joint problem is formulated as a mixed integer linear programming (MILP) problem to minimize the function and link provisioning costs, under the physical network resource constraints, flow conservation constraints, and NF placement rules; Second, we develop an MILP formulation that jointly handles the static embedding of multiple service requests over the physical substrate network, where we determine the optimal combination of multiple services for embedding and their joint routing and placement configurations, such that the aggregate throughput of the physical substrate is maximized, while the function and link provisioning costs are minimized. Since the presented problem formulations are NP-hard, low complexity heuristic algorithms are proposed to find an efficient solution for both single-path and multipath routing scenarios. Simulation results are presented to demonstrate the effectiveness and accuracy of the proposed heuristic algorithms.


title: Splitting Convolutional Neural Network Structures for Efficient Inference

abstract: For convolutional neural networks (CNNs) that have a large volume of input data, memory management becomes a major concern. Memory cost reduction can be an effective way to deal with these problems that can be realized through different techniques such as feature map pruning, input data splitting, etc. Among various methods existing in this area of research, splitting the network structure is an interesting research field, and there are a few works done in this area. In this study, the problem of reducing memory utilization using network structure splitting is addressed. A new technique is proposed to split the network structure into small parts that consume lower memory than the original network. The split parts can be processed almost separately, which provides an essential role for better memory management. The split approach has been tested on two well-known network structures of VGG16 and ResNet18 for the classification of CIFAR10 images. Simulation results show that the splitting method reduces both the number of computational operations as well as the amount of memory consumption.


title: Moduli spaces of semiorthogonal decompositions in families

abstract: For a smooth projective family of schemes we prove that a semiorthogonal decomposition of the bounded derived category of coherent sheaves of the fiber of a point uniquely deforms over an \'etale neighborhood of the point. We do this using a comparison theorem between semiorthogonal decompositions and decomposition triangles of the structure sheaf of the diagonal. We then apply to the latter a deformation theory for morphisms with a fixed lift of the target, which is developed in the appendix. Using this as a key ingredient we introduce a moduli space which classifies semiorthogonal decompositions of the category of perfect complexes of a smooth projective family. We show that this is an \'etale algebraic space over the base scheme of the family, which can be non-quasicompact and non-separated. This is done using Artin's criterion for a functor to be an \'etale algebraic space over the base. We generalize this to families of geometric noncommutative schemes in the sense of Orlov. We also define the open subspace classifying non-trivial semiorthogonal decompositions only, which is used in a companion paper to study indecomposability of derived categories in various examples.


title: Subclasses of Universal Taylor Series and center independence

abstract: A holomorphic function f on a simply connected domain $\Omega$ belongs to a subclass of universal Taylor series if prescribed and infinite number of partial sums of the Taylor expansion of f around a given center $\zeta_0$ realize Mergalyan-type approximations outside $\Omega$. We will prove that this class is independent of the choice of center if the indices of the partial sums do not grow very fast to infinity.


title: Momentum Improves Normalized SGD

abstract: We provide an improved analysis of normalized SGD showing that adding momentum provably removes the need for large batch sizes on non-convex objectives. Then, we consider the case of objectives with bounded second derivative and show that in this case a small tweak to the momentum formula allows normalized SGD with momentum to find an $\epsilon$-critical point in $O(1/\epsilon^{3.5})$ iterations, matching the best-known rates without accruing any logarithmic factors or dependence on dimension. We also provide an adaptive method that automatically improves convergence rates when the variance in the gradients is small. Finally, we show that our method is effective when employed on popular large scale tasks such as ResNet-50 and BERT pretraining, matching the performance of the disparate methods used to get state-of-the-art results on both tasks.


title: Grasping and Manipulation with a Multi-Fingered Hand

abstract: This thesis is concerned with deriving planning algorithms for robot manipulators. Manipulation has two effects, the robot has a physical effect on the object, and it also acquires information about the object. This thesis presents algorithms that treat both problems. First, I present an extension of the well-known piano mover's problem where a robot pushing an object must plan its movements as well as those of the object. This requires simultaneous planning in the joint space of the robot and the configuration space of the object, in contrast to the original problem which only requires planning in the latter space. The effects of a robot action on the object configuration are determined by the non-invertible rigid body mechanics. Second, I consider planning under uncertainty and in particular planning for information effects. I consider the case where a robot has to reach and grasp an object under pose uncertainty caused by shape incompleteness. The approach presented in this report is to study and possibly extend a new approach to artificial intelligence (A.I.) which has emerged in the last years in response to the necessity of building intelligent controllers for agents operating in unstructured stochastic environments. Such agents require the ability to learn by interaction with its environment an optimal action-selection behaviour. The main issue is that real-world problems are usually dynamic and unpredictable. Thus, the agent needs to update constantly its current image of the world using its sensors, which provide only a noisy description of the surrounding environment. Although there are different schools of thinking, with their own set of techniques, a brand new direction which unifies many A.I. researches is to formalise such agent/environment interactions as embedded systems with stochastic dynamics.


title: On the Bias of the Score Function of Finite Mixture Models

abstract: We characterise the unbiasedness of the score function, viewed as an inference function for a class of finite mixture models. The models studied represent the situation where there is a stratification of the observations in a finite number of groups. We show that, under mild regularity conditions, the score function for estimating the parameters identifying each group's distribution is unbiased. We also show that if one introduces a mixture in the scenario described above so that for some observations, it is only known that they belong to some of the groups with a probability not in $\{ 0, 1 \}$, then the score function becomes biased. We argue then that under further mild regularity, the maximum likelihood estimate is not consistent. The results above are extended to regular models containing arbitrary nuisance parameters, including semiparametric models.


title: Face Hallucination with Finishing Touches

abstract: Obtaining a high-quality frontal face image from a low-resolution (LR) non-frontal face image is primarily important for many facial analysis applications. However, mainstreams either focus on super-resolving near-frontal LR faces or frontalizing non-frontal high-resolution (HR) faces. It is desirable to perform both tasks seamlessly for daily-life unconstrained face images. In this paper, we present a novel Vivid Face Hallucination Generative Adversarial Network (VividGAN) for simultaneously super-resolving and frontalizing tiny non-frontal face images. VividGAN consists of coarse-level and fine-level Face Hallucination Networks (FHnet) and two discriminators, i.e., Coarse-D and Fine-D. The coarse-level FHnet generates a frontal coarse HR face and then the fine-level FHnet makes use of the facial component appearance prior, i.e., fine-grained facial components, to attain a frontal HR face image with authentic details. In the fine-level FHnet, we also design a facial component-aware module that adopts the facial geometry guidance as clues to accurately align and merge the frontal coarse HR face and prior information. Meanwhile, two-level discriminators are designed to capture both the global outline of a face image as well as detailed facial characteristics. The Coarse-D enforces the coarsely hallucinated faces to be upright and complete while the Fine-D focuses on the fine hallucinated ones for sharper details. Extensive experiments demonstrate that our VividGAN achieves photo-realistic frontal HR faces, reaching superior performance in downstream tasks, i.e., face recognition and expression classification, compared with other state-of-the-art methods.


title: A Physiology-Driven Computational Model for Post-Cardiac Arrest Outcome Prediction

abstract: Patients resuscitated from cardiac arrest (CA) face a high risk of neurological disability and death, however pragmatic methods are lacking for accurate and reliable prognostication. The aim of this study was to build computational models to predict post-CA outcome by leveraging high-dimensional patient data available early after admission to the intensive care unit (ICU). We hypothesized that model performance could be enhanced by integrating physiological time series (PTS) data and by training machine learning (ML) classifiers. We compared three models integrating features extracted from the electronic health records (EHR) alone, features derived from PTS collected in the first 24hrs after ICU admission (PTS24), and models integrating PTS24 and EHR. Outcomes of interest were survival and neurological outcome at ICU discharge. Combined EHR-PTS24 models had higher discrimination (area under the receiver operating characteristic curve [AUC]) than models which used either EHR or PTS24 alone, for the prediction of survival (AUC 0.85, 0.80 and 0.68 respectively) and neurological outcome (0.87, 0.83 and 0.78). The best ML classifier achieved higher discrimination than the reference logistic regression model (APACHE III) for survival (AUC 0.85 vs 0.70) and neurological outcome prediction (AUC 0.87 vs 0.75). Feature analysis revealed previously unknown factors to be associated with post-CA recovery. Results attest to the effectiveness of ML models for post-CA predictive modeling and suggest that PTS recorded in very early phase after resuscitation encode short-term outcome probabilities.


title: The Quenched ${g_A}$ in Nuclei and Emergent Scale Symmetry in Baryonic Matter

abstract: A recent RIKEN experiment on the quenched $g_A$ in the superallowed Gamow-Telller transition from $^{100}$Sn indicates a role of scale anomaly encoded in the anomalous dimension $\beta^\prime$ of the gluonic stress tensor ${\rm Tr \ G}_{\mu\nu}^2$. This observation provides a support to the notion of hidden scale symmetry emerging by strong nuclear correlations with an IR fixed point realized -- in the chiral limit -- in the Nambu-Goldstone mode. We suggest there is an analogy in the way scale symmetry manifests in nuclear medium to the continuity from the unitarity limit at low density (in light nuclei) to the dilaton limit at high density (in compact stars). In between the limits, say, at normal nuclear matter density, the symmetry is not visible, hence hidden.


title: Possibility of charmoniumlike state $X(3915)$ as $\chi_{c0}(2P)$ state

abstract: In this work, we seriously discuss whether $X(3915)$ can be treated as a $\chi_{c0}(2P)$ state. Based on an unquenched quark model, we give the mass spectrum of the $\chi_{cJ}(2P)$ states, where there are no free input parameters in our calculation. Our result shows that the mass gap between $\chi_{c0}(2P)$ and $\chi_{c2}(2P)$ can reach 13 MeV, which can reproduce the mass difference between $Z(3930)$ and $X(3915)$. Additionally, the calculated masses of $\chi_{c0}(2P)$ and $\chi_{c2}(2P)$ are consistent with experimental values of $X(3915)$ and $Z(3930)$, respectively. Besides, giving the mass spectrum analysis to support $X(3915)$ as $\chi_{c0}(2P)$, we also calculate the width of $\chi_{c0}(2P)$ with the same framework, which is also consistent with the experimental data of $X(3915)$. Thus, the possibility of charmoniumlike state $X(3915)$ as $\chi_{c0}(2P)$ state is further enforced.


title: FSD-10: A Dataset for Competitive Sports Content Analysis

abstract: Action recognition is an important and challenging problem in video analysis. Although the past decade has witnessed progress in action recognition with the development of deep learning, such process has been slow in competitive sports content analysis. To promote the research on action recognition from competitive sports video clips, we introduce a Figure Skating Dataset (FSD-10) for finegrained sports content analysis. To this end, we collect 1484 clips from the worldwide figure skating championships in 2017-2018, which consist of 10 different actions in men/ladies programs. Each clip is at a rate of 30 frames per second with resolution 1080 $\times$ 720. These clips are then annotated by experts in type, grade of execution, skater info, .etc. To build a baseline for action recognition in figure skating, we evaluate state-of-the-art action recognition methods on FSD-10. Motivated by the idea that domain knowledge is of great concern in sports field, we propose a keyframe based temporal segment network (KTSN) for classification and achieve remarkable performance. Experimental results demonstrate that FSD-10 is an ideal dataset for benchmarking action recognition algorithms, as it requires to accurately extract action motions rather than action poses. We hope FSD-10, which is designed to have a large collection of finegrained actions, can serve as a new challenge to develop more robust and advanced action recognition models.


title: Linear Parabolic Equations with Strong Boundary Degeneration

abstract: As an application of the theory of linear parabolic differential equations on noncompact Riemannian manifolds, developed in earlier papers, we prove a maximal regularity theorem for nonuniformly parabolic boundary value problems in Euclidean spaces. The new feature of our result is the fact that, besides of obtaining an optimal solution theory, we consider the `natural' case where the degeneration occurs only in the normal direction.


title: Patch-Based Holographic Image Sensing

abstract: Holographic representations of data enable distributed storage with progressive refinement when the stored packets of data are made available in any arbitrary order. In this paper, we propose and test patch-based transform coding holographic sensing of image data. Our proposal is optimized for progressive recovery under random order of retrieval of the stored data. The coding of the image patches relies on the design of distributed projections ensuring best image recovery, in terms of the $\ell_2$ norm, at each retrieval stage. The performance depends only on the number of data packets that has been retrieved thus far. Several possible options to enhance the quality of the recovery while changing the size and number of data packets are discussed and tested. This leads us to examine several interesting bit-allocation and rate-distortion trade offs, highlighted for a set of natural images with ensemble estimated statistical properties.


title: A detailed study on the reflection component for the Black Hole Candidate MAXI J1836-194

abstract: We present a detailed spectral analysis of the black hole candidate MAXI J1836-194. The source was caught in the intermediate state during its 2011 outburst by Suzaku and RXTE. We jointly fit the X-ray data from these two missions using the relxill model to study the reflection component, and a steep inner emissivity profile indicating a compact corona as the primary source is required in order to achieve a good fit. In addition, a reflection model with a lamp-post configuration (relxilllp), which is normally invoked to explain the steep emissivity profile, gives a worse fit and is excluded at 99% confidence level compared to relxill. We also explore the effect of the ionization gradient on the emissivity profile by fitting the data with two relativistic reflection components, and it is found that the inner emissivity flattens. These results may indicate that the ionization state of the disc is not constant. All the models above require a supersolar iron abundance higher than 4.5. However, we find that the high-density version of reflionx can describe the same spectra even with solar iron abundance well. A moderate rotating black hole (a* = 0.84-0.94) is consistently obtained by our models, which is in agreement with previously reported values.


title: Constraining Einstein's Equivalence Principle With Multi-Wavelength Observations of Polarized Blazars

abstract: In this paper, we present a novel method to test the Einstein's Equivalence Principle (EEP) using (simultaneous) multi-wavelength radio observations of polarized blazars. We analyze simultaneous multi-wavelength polarization observations of 3C 279 at 22, 43, and 86 GHz obtained by two antennas of the Korean VLBI Network. We obtained 15 groups of polarization data, and applied the Metropolis-Hastings Markov Chain (MHMC) to simulate the parameters when considering the EEP effect and the simplest form of Faraday rotation (single external Faraday screen). The final results show the constraint of the parameterized post-Newtonian (PPN) parameter $\gamma$ discrepancy as $\Delta \gamma_{p} = (1.91\pm0.34)\times10^{-20}$. However, the single external Faraday screen is an oversimplification for blazars because there are numerous observations show complex Faraday rotation behavior for blazars due to internal/external Faraday dispersion, beam depolarization, etc. The value $\Delta \gamma_{p}$ results of this paper can only be considered as upper limits. Only if all other effects are revealed and considered, should the result be taken as a direct measurement of the violation of the EEP.


title: Reed-Muller Codes: Theory and Algorithms

abstract: Reed-Muller (RM) codes are among the oldest, simplest and perhaps most ubiquitous family of codes. They are used in many areas of coding theory in both electrical engineering and computer science. Yet, many of their important properties are still under investigation. This paper covers some of the recent developments regarding the weight enumerator and the capacity-achieving properties of RM codes, as well as some of the algorithmic developments. In particular, the paper discusses the recent connections established between RM codes, thresholds of Boolean functions, polarization theory, hypercontractivity, and the techniques of approximating low weight codewords using lower degree polynomials. It then overviews some of the algorithms with performance guarantees, as well as some of the algorithms with state-of-the-art performances in practical regimes. Finally, the paper concludes with a few open problems.


title: $\ell_0$-Regularized High-dimensional Accelerated Failure Time Model

abstract: We develop a constructive approach for $\ell_0$-penalized estimation in the sparse accelerated failure time (AFT) model with high-dimensional covariates. Our proposed method is based on Stute's weighted least squares criterion combined with $\ell_0$-penalization. This method is a computational algorithm that generates a sequence of solutions iteratively, based on active sets derived from primal and dual information and root finding according to the KKT conditions. We refer to the proposed method as AFT-SDAR (for support detection and root finding). An important aspect of our theoretical results is that we directly concern the sequence of solutions generated based on the AFT-SDAR algorithm. We prove that the estimation errors of the solution sequence decay exponentially to the optimal error bound with high probability, as long as the covariate matrix satisfies a mild regularity condition which is necessary and sufficient for model identification even in the setting of high-dimensional linear regression. We also proposed an adaptive version of AFT-SDAR, or AFT-ASDAR, which determines the support size of the estimated coefficient in a data-driven fashion. We conduct simulation studies to demonstrate the superior performance of the proposed method over the lasso and MCP in terms of accuracy and speed. We also apply the proposed method to a real data set to illustrate its application.


title: Crowded trades, market clustering, and price instability

abstract: Crowded trades by similarly trading peers influence the dynamics of asset prices, possibly creating systemic risk. We propose a market clustering measure using granular trading data. For each stock the clustering measure captures the degree of trading overlap among any two investors in that stock. We investigate the effect of crowded trades on stock price stability and show that market clustering has a causal effect on the properties of the tails of the stock return distribution, particularly the positive tail, even after controlling for commonly considered risk drivers. Reduced investor pool diversity could thus negatively affect stock price stability.


title: Fatou's associates

abstract: Suppose that $f$ is a transcendental entire function, $V \subsetneq \mathbb{C}$ is a simply connected domain, and $U$ is a connected component of $f^{-1}(V)$. Using Riemann maps, we associate the map $f \colon U \to V$ to an inner function $g \colon \mathbb{D} \to \mathbb{D}$. It is straightforward to see that $g$ is either a finite Blaschke product, or, with an appropriate normalisation, can be taken to be an infinite Blaschke product. We show that when the singular values of $f$ in $V$ lie away from the boundary, there is a strong relationship between singularities of $g$ and accesses to infinity in $U$. In the case where $U$ is a forward-invariant Fatou component of $f$, this leads to a very significant generalisation of earlier results on the number of singularities of the map $g$. If $U$ is a forward-invariant Fatou component of $f$ there are currently very few examples where the relationship between the pair $(f, U)$ and the function $g$ have been calculated. We study this relationship for several well-known families of transcendental entire functions. It is also natural to ask which finite Blaschke products can arise in this way, and we show the following: For every finite Blaschke product $g$ whose Julia set coincides with the unit circle, there exists a transcendental entire function $f$ with an invariant Fatou component such that $g$ is associated to $f$ in the above sense. Furthermore, there exists a single transcendental entire function $f$ with the property that any finite Blaschke product can be arbitrarily closely approximated by an inner function associated to the restriction of $f$ to a wandering domain.


title: Unlabeled Data Deployment for Classification of Diabetic Retinopathy Images Using Knowledge Transfer

abstract: Convolutional neural networks (CNNs) are extensively beneficial for medical image processing. Medical images are plentiful, but there is a lack of annotated data. Transfer learning is used to solve the problem of lack of labeled data and grants CNNs better training capability. Transfer learning can be used in many different medical applications; however, the model under transfer should have the same size as the original network. Knowledge distillation is recently proposed to transfer the knowledge of a model to another one and can be useful to cover the shortcomings of transfer learning. But some parts of the knowledge may not be distilled by knowledge distillation. In this paper, a novel knowledge distillation using transfer learning is proposed to transfer the whole knowledge of a model to another one. The proposed method can be beneficial and practical for medical image analysis in which a small number of labeled data are available. The proposed process is tested for diabetic retinopathy classification. Simulation results demonstrate that using the proposed method, knowledge of an extensive network can be transferred to a smaller model.


title: VIFB: A Visible and Infrared Image Fusion Benchmark

abstract: Visible and infrared image fusion is one of the most important areas in image processing due to its numerous applications. While much progress has been made in recent years with efforts on developing fusion algorithms, there is a lack of code library and benchmark which can gauge the state-of-the-art. In this paper, after briefly reviewing recent advances of visible and infrared image fusion, we present a visible and infrared image fusion benchmark (VIFB) which consists of 21 image pairs, a code library of 20 fusion algorithms and 13 evaluation metrics. We also carry out large scale experiments within the benchmark to understand the performance of these algorithms. By analyzing qualitative and quantitative results, we identify effective algorithms for robust image fusion and give some observations on the status and future prospects of this field.


title: Performance Analysis of SWIPT Relaying Systems in the Presence of Impulsive Noise

abstract: We develop an analytical framework to characterize the effect of impulsive noise on the performance of relay-assisted simultaneous wireless information and power transfer (SWIPT) systems. We derive novel closed-form expressions for the pairwise error probability (PEP) considering two variants based on the availability of channel state information (CSI), namely, blind relaying and CSI-assisted relaying. We further consider two energy harvesting (EH) techniques, i.e., instantaneous EH (IEH) and average EH (AEH). Capitalizing on the derived analytical results, we present a detailed numerical investigation of the diversity order for the underlying scenarios under the impulsive noise assumption. For the case when two relays and the availability of a direct link, it is demonstrated that the considered SWIPT system with blind AEH-relaying is able to achieve an asymptotic diversity order of less than 3, which is equal to the diversity order achieved by CSI-assisted IEH-relaying. This result suggests that, by employing the blind AEH relaying, the power consumption of the network can be reduced, due to eliminating the need of CSI estimation. This can be achieved without any performance loss. Our results further show that placing the relays close to the source can significantly mitigate the detrimental effects of impulsive noise. Extensive Monte Carlo simulation results are presented to validate the accuracy of the proposed analytical framework.


title: Evaluating the exfoliation of two-dimensional materials with a Green's function surface model

abstract: Previous methods for the evaluation of the exfoliation of two-dimensional (2D) layered materials have drawbacks in computational efficiency and are unable to describe cases with semi-infinite substrates. Based on a Green's function surface (GFS) model, here we develop a new approach to efficiently determine the tendency of exfoliation of 2D materials from their bulk crystals or semi-infinite substrates. By constructing appropriate surface configurations, we may calculate the exfoliation energy more precisely and quickly than the traditional way with the slab model. Furthermore, the GFS approach can provide angle-resolved photoemission spectroscopy (ARPES) of surface systems for direct comparison with experimental data. Our findings indicate that the GFS approach is powerful for studies of 2D materials and various surface problems.


title: Impact of longitudinal bulk viscous effects to heavy quark transport in a strongly magnetized hot QCD medium

abstract: The effects of longitudinal bulk viscous pressure on the heavy quark dynamics have been estimated in a strongly magnetized quark-gluon plasma within the Fokker-Planck approach. The bulk viscous modification to the momentum distribution of bulk degrees of freedom has been obtained in the presence of a magnetic field while incorporating the realistic equation of state of the hot magnetized QCD medium. As the magnetic field breaks the isotropy of the medium, the analysis is done along the directions longitudinal and transverse to the field. The longitudinal bulk viscous contribution is seen to have sizable effects in the heavy quark momentum diffusion in the magnetized medium. The dependence of higher Landau levels and the equation of state on the viscous correction to the heavy quark transport has been explored in the analysis.


title: Constraints on anomalous quartic gauge couplings via $W\gamma jj$ production at the LHC

abstract: The vector boson scattering at the Large Hadron Collider (LHC) is sensitive to anomalous quartic gauge couplings (aQGCs). In this paper, we investigate the aQGC contribution to $ W \gamma jj$ production at the LHC with $\sqrt{s}=13$ TeV in the context of an effective field theory (EFT). The unitarity bound is applied as a cut on the energy scale of this production process, which is found to have significant suppressive effects on the signals. To enhance the statistical significance, we analyse the kinematic and polarization features of the aQGC signals in detail. We find that the polarization effects induced by the aQGCs are unique and can discriminate the signals from the SM backgrounds well. With the proposed event selection strategy, we obtain the constraints on the coefficients of dimension-8 operators with current luminosity. The results indicate that the process $pp \to W \gamma jj$ is powerful for searching for the $O_{M_{2,3,4,5}}$ and $O_{T_{5,6,7}}$ operators.


title: Reward Tweaking: Maximizing the Total Reward While Planning for Short Horizons

abstract: In reinforcement learning, the discount factor $\gamma$ controls the agent's effective planning horizon. Traditionally, this parameter was considered part of the MDP; however, as deep reinforcement learning algorithms tend to become unstable when the effective planning horizon is long, recent works refer to $\gamma$ as a hyper-parameter -- thus changing the underlying MDP and potentially leading the agent towards sub-optimal behavior on the original task. In this work, we introduce \emph{reward tweaking}. Reward tweaking learns a surrogate reward function $\tilde r$ for the discounted setting that induces optimal behavior on the original finite-horizon total reward task. Theoretically, we show that there exists a surrogate reward that leads to optimality in the original task and discuss the robustness of our approach. Additionally, we perform experiments in high-dimensional continuous control tasks and show that reward tweaking guides the agent towards better long-horizon returns although it plans for short horizons.


title: Kullback-Leibler Divergence-Based Out-of-Distribution Detection with Flow-Based Generative Models

abstract: Recent research has revealed that deep generative models including flow-based models and Variational Autoencoders may assign higher likelihoods to out-of-distribution (OOD) data than in-distribution (ID) data. However, we cannot sample OOD data from the model. This counterintuitive phenomenon has not been satisfactorily explained and brings obstacles to OOD detection with flow-based models. In this paper, we prove theorems to investigate the Kullback-Leibler divergence in flow-based model and give two explanations for the above phenomenon. Based on our theoretical analysis, we propose a new method \PADmethod\ to leverage KL divergence and local pixel dependence of representations to perform anomaly detection. Experimental results on prevalent benchmarks demonstrate the effectiveness and robustness of our method. For group anomaly detection, our method achieves 98.1\% AUROC on average with a small batch size of 5. On the contrary, the baseline typicality test-based method only achieves 64.6\% AUROC on average due to its failure on challenging problems. Our method also outperforms the state-of-the-art method by 9.1\% AUROC. For point-wise anomaly detection, our method achieves 90.7\% AUROC on average and outperforms the baseline by 5.2\% AUROC. Besides, our method has the least notable failures and is the most robust one.


title: Better Theory for SGD in the Nonconvex World

abstract: Large-scale nonconvex optimization problems are ubiquitous in modern machine learning, and among practitioners interested in solving them, Stochastic Gradient Descent (SGD) reigns supreme. We revisit the analysis of SGD in the nonconvex setting and propose a new variant of the recently introduced expected smoothness assumption which governs the behaviour of the second moment of the stochastic gradient. We show that our assumption is both more general and more reasonable than assumptions made in all prior work. Moreover, our results yield the optimal $\mathcal{O}(\varepsilon^{-4})$ rate for finding a stationary point of nonconvex smooth functions, and recover the optimal $\mathcal{O}(\varepsilon^{-1})$ rate for finding a global solution if the Polyak-{\L}ojasiewicz condition is satisfied. We compare against convergence rates under convexity and prove a theorem on the convergence of SGD under Quadratic Functional Growth and convexity, which might be of independent interest. Moreover, we perform our analysis in a framework which allows for a detailed study of the effects of a wide array of sampling strategies and minibatch sizes for finite-sum optimization problems. We corroborate our theoretical results with experiments on real and synthetic data.


title: Connectivity of generating graphs of nilpotent groups

abstract: Let $G$ be $2$-generated group. The generating graph of $\Gamma(G)$ is the graph whose vertices are the elements of $G$ and where two vertices $g$ and $h$ are adjacent if $G=\langle g,h\rangle$. This graph encodes the combinatorial structure of the distribution of generating pairs across $G$. In this paper we study several natural graph theoretic properties related to the connectedness of $\Gamma(G)$ in the case where $G$ is a finite nilpotent group. For example, we prove that if $G$ is nilpotent, then the graph obtained from $\Gamma(G)$ by removing its isolated vertices is maximally connected and, if $|G| \geq 3$, also Hamiltonian. We pose several questions.


title: MDEA: Malware Detection with Evolutionary Adversarial Learning

abstract: Malware detection have used machine learning to detect malware in programs. These applications take in raw or processed binary data to neural network models to classify as benign or malicious files. Even though this approach has proven effective against dynamic changes, such as encrypting, obfuscating and packing techniques, it is vulnerable to specific evasion attacks where that small changes in the input data cause misclassification at test time. This paper proposes a new approach: MDEA, an Adversarial Malware Detection model uses evolutionary optimization to create attack samples to make the network robust against evasion attacks. By retraining the model with the evolved malware samples, its performance improves a significant margin.


title: Walker-like Domain Wall breakdown in layered Antiferromagnets driven by staggered spin-orbit fields

abstract: Within linear continuum theory, no magnetic texture can propagate faster than the maximum group velocity of its spin waves. Here we report a transient regime due to the appearance of additional antiferromagnetic textures that breaks the Lorentz translational invariance of the magnetic system by atomistic spin dynamics simulations. This dynamical regime is akin to domain wall Walker-breakdown in ferromagnets and involves the nucleation of an antiferromagnetic domain wall pair. Subsequently, one of the nucleated 180$^{\circ}$ domain wall creates with the original domain wall a 360$^{\circ}$ spin-rotation which remains static even under the action of the spin-orbit field. The other 180$^{\circ}$ domain wall becomes accelerated to super-magnonic speeds. Under large spin-orbit fields, multiple domain wall generation and recombination is obtained which may explain the recently experimentally observed current pulse induce shattering of large domain structures into small fragmented domains and the subsequent slow recreation of large-scale domain formation prior current pulse.


title: Persistence in Brownian motion of an ellipsoidal particle in two dimensions

abstract: We investigate the persistence probability $p(t)$ of the position of a Brownian particle with shape asymmetry in two dimensions. The persistence probability is defined as the probability that a stochastic variable has not changed it's sign in the given time interval. We explicitly consider two cases -- diffusion of a free particle and that of harmonically trapped particle. The later is particularly relevant in experiments which uses trapping and tracking techniques to measure the displacements. We provide analytical expressions of $p(t)$ for both the scenarios and show that in the absence of the shape asymmetry the results reduce to the case of an isotropic particle. The analytical expressions of $p(t)$ are further validated against numerical simulation of the underlying overdamped dynamics. We also illustrate that $p(t)$ can be a measure to determine the shape asymmetry of a colloid and the translational and rotational diffusivities can be estimated from the measured persistence probability. The advantage of this method is that it does not require the tracking of the orientation of the particle.


title: Numerical resonances for Schottky surfaces via Lagrange-Chebyshev approximation

abstract: We present a numerical method to calculate resonances of Schottky surfaces based on Selberg theory, transfer operator techniques and Lagrange-Chebyshev approximation. This method is an alternative to the method based on periodic orbit expansion used previously in this context.


title: Multi-Task Learning by a Top-Down Control Network

abstract: As the range of tasks performed by a general vision system expands, executing multiple tasks accurately and efficiently in a single network has become an important and still open problem. Recent computer vision approaches address this problem by branching networks, or by a channel-wise modulation of the network feature-maps with task specific vectors. We present a novel architecture that uses a dedicated top-down control network to modify the activation of all the units in the main recognition network in a manner that depends on the selected task, image content, and spatial location. We show the effectiveness of our scheme by achieving significantly better results than alternative state-of-the-art approaches on four datasets. We further demonstrate our advantages in terms of task selectivity, scaling the number of tasks and interpretability.


title: On the P=W conjecture for $\mathrm{SL}_n$

abstract: Let $p$ be a prime number. We prove that the $P=W$ conjecture for $\mathrm{SL}_p$ is equivalent to the $P=W$ conjecture for $\mathrm{GL}_p$. As a consequence, we verify the $P=W$ conjecture for genus 2 and $\mathrm{SL}_p$. For the proof, we compute the perverse filtration and the weight filtration for the variant cohomology associated with the $\mathrm{SL}_p$-Hitchin moduli space and the $\mathrm{SL}_p$-twisted character variety, relying on Gr\"ochenig-Wyss-Ziegler's recent proof of the topological mirror conjecture by Hausel-Thaddeus. Finally we discuss obstructions of studying the cohomology of the $\mathrm{SL}_n$-Hitchin moduli space via compact hyper-K\"ahler manifolds.


title: Bounds on the spectrum of nonsingular triangular $(0,1)$-matrices

abstract: Let $K_n$ be the set of all nonsingular $n\times n$ lower triangular $(0,1)$-matrices. Hong and Loewy (2004) introduced the numbers $$ c_n={\rm min}\{\lambda\mid \lambda~\text{is an eigenvalue of}~XX^{\rm T},~X\in K_n\},\quad n\in\mathbb{Z}_+. $$ A related family of numbers was considered by Ilmonen, Haukkanen, and Merikoski (2008): $$ C_n={\rm max}\{\lambda\mid \lambda~\text{is an eigenvalue of}~XX^{\rm T},~X\in K_n\},\quad n\in\mathbb{Z}_+. $$ These numbers can be used to bound the singular values of matrices belonging to $K_n$ and they appear, e.g., in eigenvalue bounds for power GCD matrices, lattice-theoretic meet and join matrices, and related number-theoretic matrices. In this paper, it is shown that for $n$ odd, one has the lower bound $$ c_n\geq \frac{1}{\sqrt{\frac{1}{25}\varphi^{-4n}+\frac{2}{25}\varphi^{-2n}-\frac{2}{5\sqrt{5}}n\varphi^{-2n}-\frac{23}{25}+n+\frac{2}{25}\varphi^{2n}+\frac{2}{5\sqrt{5}}n\varphi^{2n}+\frac{1}{25}\varphi^{4n}}}, $$ and for $n$ even, one has $$ c_n\geq \frac{1}{\sqrt{\frac{1}{25}\varphi^{-4n}+\frac{4}{25}\varphi^{-2n}-\frac{2}{5\sqrt{5}}n\varphi^{-2n}-\frac{2}{5}+n+\frac{4}{25}\varphi^{2n}+\frac{2}{5\sqrt{5}}n\varphi^{2n}+\frac{1}{25}\varphi^{4n}}}, $$ where $\varphi$ denotes the golden ratio. These lower bounds improve the estimates derived previously by Mattila (2015) and Altini\c{s}ik et al. (2016). The sharpness of these lower bounds is assessed numerically and it is conjectured that $c_n\sim 5\varphi^{-2n}$ as $n\to\infty$. In addition, a new closed form expression is derived for the numbers $C_n$, viz. $$ C_n=\frac14 \csc^2\bigg(\frac{\pi}{4n+2}\bigg)=\frac{4n^2}{\pi^2}+\frac{4n}{\pi^2}+\bigg(\frac{1}{12}+\frac{1}{\pi^2}\bigg)+\mathcal{O}\bigg(\frac{1}{n^2}\bigg),\quad n\in\mathbb{Z}_+. $$


title: Regular evolution algebras are universally finite

abstract: In this paper we show that evolution algebras over any given field $\Bbbk$ are universally finite. In other words, given any finite group $G$, there exist infinitely many regular evolution algebras $X$ such that $Aut(X)\cong G$. The proof is built upon the construction of a covariant faithful functor from the category of finite simple (non oriented) graphs to the category of (finite dimensional) regular evolution algebras. Finally, we show that any constant finite algebraic affine group scheme $\mathbf{G}$ over $\Bbbk$ is isomorphic to the algebraic affine group scheme of automorphisms of a regular evolution algebra.


title: Input Validation for Neural Networks via Runtime Local Robustness Verification

abstract: Local robustness verification can verify that a neural network is robust wrt. any perturbation to a specific input within a certain distance. We call this distance Robustness Radius. We observe that the robustness radii of correctly classified inputs are much larger than that of misclassified inputs which include adversarial examples, especially those from strong adversarial attacks. Another observation is that the robustness radii of correctly classified inputs often follow a normal distribution. Based on these two observations, we propose to validate inputs for neural networks via runtime local robustness verification. Experiments show that our approach can protect neural networks from adversarial examples and improve their accuracies.


title: Growth, saturation and collapse of laser-driven plasma density gratings

abstract: The plasma density grating induced by intersecting intense laser pulses can be utilized as an optical compressors, polarizers, waveplates and photonic crystals for the manipulation of ultra-high-power laser pulses. However, the formation and evolution of the plasma density grating are still not fully understood as linear models are adopted to describe them usually. In this paper, two nonlinear theoretical models are presented to study the formation process of the plasma density grating. In the first model, a nonlinear analytical solution based on the fluid equations is presented while in the second model a particle-mesh method is adopted to investigate the kinetic effects. It is found that both models can describe the plasma density grating formation at different stages, well beyond the linear growth stage. More importantly, the second model can reproduce the phenomenon of "ion wave-breaking" of plasma density grating, which eventually induces the saturation of plasma density grating. Using the second model, the saturation time of the plasma density grating is obtained as a function of laser intensity and plasma density, which can be applied to estimate the lifetime of the plasma density grating in experiments. The results from these two nonlinear models are verified using particle-in-cell simulations.


title: A semi-small decomposition of the Chow ring of a matroid

abstract: We give a semi-small orthogonal decomposition of the Chow ring of a matroid M. The decomposition is used to give simple proofs of Poincar\'e duality, the hard Lefschetz theorem, and the Hodge-Riemann relations for the Chow ring, recovering the main result of [AHK18]. We also show that a similar semi-small orthogonal decomposition holds for the augmented Chow ring of M.


title: Dynamic Inference: A New Approach Toward Efficient Video Action Recognition

abstract: Though action recognition in videos has achieved great success recently, it remains a challenging task due to the massive computational cost. Designing lightweight networks is a possible solution, but it may degrade the recognition performance. In this paper, we innovatively propose a general dynamic inference idea to improve inference efficiency by leveraging the variation in the distinguishability of different videos. The dynamic inference approach can be achieved from aspects of the network depth and the number of input video frames, or even in a joint input-wise and network depth-wise manner. In a nutshell, we treat input frames and network depth of the computational graph as a 2-dimensional grid, and several checkpoints are placed on this grid in advance with a prediction module. The inference is carried out progressively on the grid by following some predefined route, whenever the inference process comes across a checkpoint, an early prediction can be made depending on whether the early stop criteria meets. For the proof-of-concept purpose, we instantiate three dynamic inference frameworks using two well-known backbone CNNs. In these instances, we overcome the drawback of limited temporal coverage resulted from an early prediction by a novel frame permutation scheme, and alleviate the conflict between progressive computation and video temporal relation modeling by introducing an online temporal shift module. Extensive experiments are conducted to thoroughly analyze the effectiveness of our ideas and to inspire future research efforts. Results on various datasets also evident the superiority of our approach.


title: Doped holographic fermionic system

abstract: We construct a two-current model. It includes two gauge fields, which introduce the doping effect, and a neutral scalar field. And then we numerically construct an AdS black brane geometry with scalar hair. Over this background, we study the fermionic system with the pseudoscalar Yukawa coupling. Some universal properties from the pseudoscalar Yukawa coupling are revealed. In particular, as the coupling increases, there is a transfer of the spectral weight from the low energy band to the high energy band. The transfer is over low energy scales but not over all energy scales. The peculiar properties are also explored. The study shows that with the increase of the doping, the gap opens more difficult. It indicates that there is a competition between the pseudoscalar Yukawa coupling and the doping.


title: Understanding HPC Benchmark Performance on Intel Broadwell and Cascade Lake Processors

abstract: Hardware platforms in high performance computing are constantly getting more complex to handle even when considering multicore CPUs alone. Numerous features and configuration options in the hardware and the software environment that are relevant for performance are not even known to most application users or developers. Microbenchmarks, i.e., simple codes that fathom a particular aspect of the hardware, can help to shed light on such issues, but only if they are well understood and if the results can be reconciled with known facts or performance models. The insight gained from microbenchmarks may then be applied to real applications for performance analysis or optimization. In this paper we investigate two modern Intel x86 server CPU architectures in depth: Broadwell EP and Cascade Lake SP. We highlight relevant hardware configuration settings that can have a decisive impact on code performance and show how to properly measure on-chip and off-chip data transfer bandwidths. The new victim L3 cache of Cascade Lake and its advanced replacement policy receive due attention. Finally we use DGEMM, sparse matrix-vector multiplication, and the HPCG benchmark to make a connection to relevant application scenarios.


title: Stationary quantum entanglement between a massive mechanical membrane and a low frequency LC circuit

abstract: We study electro-mechanical entanglement in a system where a massive membrane is capacitively coupled to a {\it low frequency} LC resonator. In opto- and electro-mechanics, the entanglement between a megahertz (MHz) mechanical resonator and a gigahertz (GHz) microwave LC resonator has been widely and well explored, and recently experimentally demonstrated. Typically, coupling is realized through a radiation pressure-like interaction, and entanglement is generated by adopting an appropriate microwave drive. Through this approach it is however not evident how to create entanglement in the case where both the mechanical and LC oscillators are of low frequency, e.g., around 1 MHz. Here we provide an effective approach to entangling two low-frequency resonators by further coupling the membrane to an optical cavity. The cavity is strongly driven by a red-detuned laser, sequentially cooling the mechanical and electrical modes, which results in stationary electro-mechanical entanglement at experimentally achievable temperatures. The entanglement directly originates from the electro-mechanical coupling itself and due to its quantum nature will allow testing quantum theories at a more macroscopic scale than currently possible.


title: Hartmann potential with a minimal length and generalized recurrence relations for matrix elements

abstract: In this work we study the Schr\"{o}dinger equation in the presence of the Hartmann potential with a generalized uncertainty principle. We pertubatively obtain the matrix elements of the hamiltonian at first order in the parameter of deformation $\beta$ and show that some degenerate states are removed. We give analytic expressions for the solutions of the diagonal matrix elements. Finally, we derive a generalized recurrence formula for the angular average values.


title: General correlated geminal ansatz for electronic structure calculations: exploiting Pfaffians in place of determinants

abstract: We propose here a single Pfaffian correlated variational ansatz, that dramatically improves the accuracy with respect to the single determinant one, while remaining at a similar computational cost. A much larger correlation energy is indeed determined by the most general two electron pairing function, including both singlet and triplet channels, combined with a many-body Jastrow factor, including all possible spin-spin spin-density and density-density terms. The main technical ingredient to exploit this accuracy is the use of the Pfaffian for antisymmetrizing an highly correlated pairing function, thus recovering the Fermi statistics for electrons with an affordable computational cost. Moreover the application of the Diffusion Monte Carlo, within the fixed node approximation, allows us to obtain very accurate binding energies for the first preliminary calculations reported in this study: C$_2$, N$_2$ and O$_2$ and the benzene molecule. This is promising and remarkable, considering that they represent extremely difficult molecules even for computationally demanding multi-determinant approaches, and opens therefore the way for realistic and accurate electronic simulations with an algorithm scaling at most as the fourth power of the number of electrons.


title: Crossover behaviors in branching annihilating attracting walk

abstract: We introduce branching annihilating attracting walk (BAAW) in one dimension. The attracting walk is implemented by a biased hopping in such a way that a particle prefers hopping to a nearest neighbor located on the side where the nearest particle is found within the range of attraction. We study the BAAW with four offspring by extensive Monte Carlo simulation. At first, we find the critical exponents of the BAAW with infinite range of attraction, which are different from those of the directed Ising (DI) universality class. Our results are consistent with the recent observation [B. Daga and P. Ray, Phys. Rev. E {\bf 99}, 032104 (2019)]. Then, by studying crossover behaviors, we show that as far as the range of attraction is finite the BAAW belongs to the DI class. We conclude that the origin of non-DI critical behavior of the BAAW with infinite range of attraction is the long-range nature of the attraction.


title: UAV Trajectory Optimization for Time Constrained Applications

abstract: Unmanned Aerial Vehicles (UAVs) are poised to revolutionize communications. Utilizing their flexibility and fast deployment, we can deliver content in congested areas or provide services in areas without infrastructure. In this paper, we consider a UAV that flies over multiple locations and serves as many users as possible within a given time duration. We study the problem of optimal trajectory design, which we formulate as a mixed-integer linear program. For large instances of the problem where the options for trajectories become prohibitively many, we establish a connection to the orienteering problem, and propose a corresponding greedy algorithm. Simulation results show that the proposed algorithm is fast and yields solutions close to the optimal ones. The proposed algorithm can be used for trajectory planning in strategic content caching or tactical field operations.


title: Short Text Classification via Knowledge powered Attention with Similarity Matrix based CNN

abstract: Short text is becoming more and more popular on the web, such as Chat Message, SMS and Product Reviews. Accurately classifying short text is an important and challenging task. A number of studies have difficulties in addressing this problem because of the word ambiguity and data sparsity. To address this issue, we propose a knowledge powered attention with similarity matrix based convolutional neural network (KASM) model, which can compute comprehensive information by utilizing the knowledge and deep neural network. We use knowledge graph (KG) to enrich the semantic representation of short text, specially, the information of parent-entity is introduced in our model. Meanwhile, we consider the word interaction in the literal-level between short text and the representation of label, and utilize similarity matrix based convolutional neural network (CNN) to extract it. For the purpose of measuring the importance of knowledge, we introduce the attention mechanisms to choose the important information. Experimental results on five standard datasets show that our model significantly outperforms state-of-the-art methods.


title: On the beta-decay of the accelerated proton and neutrino oscillations: a three-flavor description with CP violation

abstract: The (inverse) beta-decay of uniformly accelerated protons (p -> n + e+ + ne) has been recently analyzed in the context of two-flavor neutrino mixing and oscillations. It has been shown that the decay rates as measured by an inertial and comoving observer are in agreement, provided that: i) the thermal nature of the accelerated vacuum (Unruh effect) is taken into account; ii) the asymptotic behavior of neutrinos is described through flavor (rather than mass) eigenstates; iii) the Unruh radiation is made up of oscillating neutrinos. Here we extend the above considerations to a more realistic scenario including three generations of Dirac neutrinos. By following the outlined recipe, we find that the equality between the two rates still holds true, confirming that mixing is perfectly consistent with the General Covariance of Quantum Field Theory. Notably, we prove that the analysis of CP violation in neutrino oscillations provides a further solid argument for flavor states as fundamental representation of asymptotic neutrino states. Our approach is finally discussed in comparison with the other treatments appeared in literature.


title: Streaming Submodular Maximization under a $k$-Set System Constraint

abstract: In this paper, we propose a novel framework that converts streaming algorithms for monotone submodular maximization into streaming algorithms for non-monotone submodular maximization. This reduction readily leads to the currently tightest deterministic approximation ratio for submodular maximization subject to a $k$-matchoid constraint. Moreover, we propose the first streaming algorithm for monotone submodular maximization subject to $k$-extendible and $k$-set system constraints. Together with our proposed reduction, we obtain $O(k\log k)$ and $O(k^2\log k)$ approximation ratio for submodular maximization subject to the above constraints, respectively. We extensively evaluate the empirical performance of our algorithm against the existing work in a series of experiments including finding the maximum independent set in randomly generated graphs, maximizing linear functions over social networks, movie recommendation, Yelp location summarization, and Twitter data summarization.


title: Weakly Supervised Attention Pyramid Convolutional Neural Network for Fine-Grained Visual Classification

abstract: Classifying the sub-categories of an object from the same super-category (e.g. bird species, car and aircraft models) in fine-grained visual classification (FGVC) highly relies on discriminative feature representation and accurate region localization. Existing approaches mainly focus on distilling information from high-level features. In this paper, however, we show that by integrating low-level information (e.g. color, edge junctions, texture patterns), performance can be improved with enhanced feature representation and accurately located discriminative regions. Our solution, named Attention Pyramid Convolutional Neural Network (AP-CNN), consists of a) a pyramidal hierarchy structure with a top-down feature pathway and a bottom-up attention pathway, and hence learns both high-level semantic and low-level detailed feature representation, and b) an ROI guided refinement strategy with ROI guided dropblock and ROI guided zoom-in, which refines features with discriminative local regions enhanced and background noises eliminated. The proposed AP-CNN can be trained end-to-end, without the need of additional bounding box/part annotations. Extensive experiments on three commonly used FGVC datasets (CUB-200-2011, Stanford Cars, and FGVC-Aircraft) demonstrate that our approach can achieve state-of-the-art performance. Code available at \url{http://dwz1.cc/ci8so8a}


title: Automatic removal of false image stars in disk-resolved images of the Cassini Imaging Science Subsystem

abstract: Taking a large amount of images, the Cassini Imaging Science Subsystem (ISS) has been routinely used in astrometry. In ISS images, disk-resolved objects often lead to false detection of stars that disturb the camera pointing correction. The aim of this study was to develop an automated processing method to remove the false image stars in disk-resolved objects in ISS images. The method included the following steps: extracting edges, segmenting boundary arcs, fitting circles and excluding false image stars. The proposed method was tested using 200 ISS images. Preliminary experimental results show that it can remove the false image stars in more than 95% of ISS images with disk-resolved objects in a fully automatic manner, i.e. outperforming the traditional circle detection based on Circular Hough Transform (CHT) by 17%. In addition, its speed is more than twice as fast as that of the CHT method. It is also more robust (no manual parameter tuning is needed) when compared with CHT. The proposed method was also applied to a set of ISS images of Rhea to eliminate the mismatch in pointing correction in automatic procedure. Experiment results showed that the precision of final astrometry results can be improve by roughly 2 times than that of automatic procedure without the method. It proved that the proposed method is helpful in the astrometry of ISS images in fully automatic manner.


title: Scalable Function-on-Scalar Quantile Regression for Densely Sampled Functional Data

abstract: Functional quantile regression (FQR) is a useful alternative to mean regression for functional data as it provides a comprehensive understanding of how scalar predictors influence the conditional distribution of functional responses. In this article, we study the FQR model for densely sampled, high-dimensional functional data without relying on parametric error or independent stochastic process assumptions, with the focus on statistical inference under this challenging regime along with scalable implementation. This is achieved by a simple but powerful distributed strategy, in which we first perform separate quantile regression to compute $M$-estimators at each sampling location, and then carry out estimation and inference for the entire coefficient functions by properly exploiting the uncertainty quantification and dependence structure of $M$-estimators. We derive a uniform Bahadur representation and a strong Gaussian approximation result for the $M$-estimators on the discrete sampling grid, leading to dimension reduction and serving as the basis for inference. An interpolation-based estimator with minimax optimality is proposed, and large sample properties for point and simultaneous interval estimators are established. The obtained minimax optimal rate under the FQR model shows an interesting phase transition phenomenon that has been previously observed in functional mean regression. The proposed methods are illustrated via simulations and an application to a mass spectrometry proteomics dataset.


title: Introducing a differentiable measure of pointwise shared information

abstract: Partial information decomposition (PID) of the multivariate mutual information describes the distinct ways in which a set of source variables contains information about a target variable. The groundbreaking work of Williams and Beer has shown that this decomposition cannot be determined from classic information theory without making additional assumptions, and several candidate measures have been proposed, often drawing on principles from related fields such as decision theory. None of these measures is differentiable with respect to the underlying probability mass function. We here present a novel measure that satisfies this property, emerges solely from information-theoretic principles, and has the form of a local mutual information. We show how the measure can be understood from the perspective of exclusions of probability mass, a principle that is foundational to the original definition of the mutual information by Fano. Since our measure is well-defined for individual realizations of the random variables it lends itself for example to local learning in artificial neural networks. We also show that it has a meaningful M\"{o}bius inversion on a redundancy lattice and obeys a target chain rule. We give an operational interpretation of the measure based on the decisions that an agent should take if given only the shared information.


title: Kirchhoff divergence and diffusions associated to transport probability measures

abstract: Taking as starting point the approach to the divergence operator on weighted graphs, we give a notion of divergence associated to transport coupling and coupled measures on locally compact Hausdorff spaces. We consider the induced Laplacian operator and the corresponding heat diffusion operators in some particular instances.


title: EM based Framework for Single-shot Compressive Holography

abstract: Lensless in-line holography is a simple, portable, and cost-effective method of imaging especially for the biomedical microscopy applications. We propose a multiplicative gradient descent optimization based method to obtain multi-depth imaging from a single hologram acquired in this imaging system. We further extend the method to achieve phase imaging from a single hologram. Negative-log-likelihood functional with the assumption of poisson noise has been used as the cost function to be minimized. The ill-posed nature of the problem is handled by the sparse regularization and the upper-bound constraint. The gradient descent optimization requires calculation of the partial derivative of the cost function with respect to a given estimate of the object. A method of obtaining this quantity for holography in both the cases of real object and complex object has been shown. The reconstruction method has been validated using extensive simulation and experimental studies. The comparison with the previously established iterative shrinkage/thresholding algorithm based compressive holography shows that the proposed method has the following advantages: significantly faster convergence rate, better reconstructed image quality and the ability to perform phase imaging.


title: Loewner chains and evolution families on parallel slit half-planes

abstract: In this paper, we define and study Loewner chains and evolution families on finitely multiply-connected domains in the complex plane. These chains and families consist of conformal mappings on parallel slit half-planes and have one and two "time" parameters, respectively. By analogy with the case of simply connected domains, we develop a general theory of Loewner chains and evolution families on multiply connected domains and, in particular, prove that they obey the chordal Komatu-Loewner differential equations driven by measure-valued processes. Our method involves Brownian motion with darning, as do some recent studies.


title: Local Spin Polarization in 200 GeV Au+Au and 2.76 TeV Pb+Pb Collisions

abstract: We calculated the azimuthal angle dependence of the local spin polarization of hyperons in 200 GeV Au+Au and 2.76 TeV Pb+Pb collisions in the framework of the (3+1)D viscous hydrodynamic model CLVisc with AMPT initial conditions encoding initial orbital angular momenta. We find that the azimuthal angle dependence of the hyperon polarization strongly depends on the choice of the spin chemical potential $\Omega_{\mu\nu}$. With $\Omega_{\mu\nu}$ chosen to be proportional to the temperature vorticity, our simulation shows coincidental results with the recent measurements at RHIC.


title: Mertens' prime product formula, dissected

abstract: In 1874, Mertens famously proved an asymptotic formula for the product $p/(p-1)$ over all primes $p$ up to $x$. On the other hand, one may expand Mertens' prime product into series over numbers $n$ with only small prime factors. It is natural to restrict such series to numbers $n$ with a fixed number $k$ of prime factors. In this article, we obtain formulae for these series for each $k$, which together dissect Mertens' original estimate. The proof is by elementary methods of a combinatorial flavor.


title: Gravitational Lensing in a Model of Nonlinear Electrodynamics: The case for electrically and magnetically charged compact objects

abstract: This paper aims to investigate the astrophysical applicability of the electrically and magnetically charged black hole solutions obtained in a model of nonlinear electrodynamics proposed by Kruglov (Ann. Phys. Berlin 2017, 529, 170073). Theoretical calculations of the bending angles and gravitational redshifts from the theory of general relativity are studied numerically by using the stellar data of charged compact objects and a hypothetical quark star model. Calculations have revealed that although the theoretical outcomes differ from the linear Maxwell case, the plotted bending angles coincide with the linear case and it becomes hard to identify the effect of nonlinearity. However, the calculation of the redshift has shown that while the increase in the electric field leads to a decrease in the gravitational redshift,the presence of the strong magnetic field contributes to the gravitational redshift in an increasing manner.


title: More on the Entropy Product and Dual CFTs

abstract: In this paper, we check the universality of the entropy product for some black hole and black ring solutions. Applying the asymptotic symmetry group (ASG) analysis, we also find the central charges of the dual CFTs for these solutions. It has been observed \cite{Chen:2013rb} that if the entropy product for a solution is universal, it is possible to read the central charges of the dual CFTs from the entropy product as $c_i \sim \frac{\partial}{\partial N_i}(S_+S_-)$, where $N_i$ is a conserved charge of the solution like angular momentum or electric charge. In this work, we consider some other families of solutions and we check that the same behavior is valid for them. Moreover, in the case of solutions containing the conical singularity, we find the central charges using the ASG analysis. We show that the central charges receive a contribution from the conical characteristic $\kappa$ of the solution, however it is still possible to read the central charges from the entropy product.


title: Probability backflow for correlated quantum states

abstract: In its original formulation, quantum backflow (QB) is an interference effect that manifests itself as a negative probability transfer for free-particle states comprised of plane waves with only positive momenta. Quantum reentry (QR) is another interference effect in which a wave packet expanding from a spatial region of its initial confinement partially returns to the region in the absence of any external forces. Here we show that both QB and QR are special cases of a more general classically-forbidden probability flow for quantum states with certain position-momentum correlations. We further demonstrate that it is possible to construct correlated quantum states for which the amount of probability transferred in the "wrong" (classically impossible) direction exceeds the least upper bound on the corresponding probability transfer in the QB and QR problems, known as the Bracken-Melloy constant.


title: On the interplay between CPE metrics, vacuum static spaces and $\sigma_2$-singular spaces

abstract: We call CPE metrics the critical points of the total scalar curvature functional restricted to the space of metrics with constant scalar curvature of unitary volume. In this short note, we give a necessary and sufficient condition for a CPE metric to be Einstein in therms of $\sigma_2$-singular spaces. Such a result improves our understanding about CPE metrics and Besse's conjecture with a new geometric point of view. Moreover, we prove that the CPE condition can be replaced by the related vacuum static space condition to characterize closed Einstein manifolds in terms of $\sigma_2$-singular spaces.


title: MS-Net: Multi-Site Network for Improving Prostate Segmentation with Heterogeneous MRI Data

abstract: Automated prostate segmentation in MRI is highly demanded for computer-assisted diagnosis. Recently, a variety of deep learning methods have achieved remarkable progress in this task, usually relying on large amounts of training data. Due to the nature of scarcity for medical images, it is important to effectively aggregate data from multiple sites for robust model training, to alleviate the insufficiency of single-site samples. However, the prostate MRIs from different sites present heterogeneity due to the differences in scanners and imaging protocols, raising challenges for effective ways of aggregating multi-site data for network training. In this paper, we propose a novel multi-site network (MS-Net) for improving prostate segmentation by learning robust representations, leveraging multiple sources of data. To compensate for the inter-site heterogeneity of different MRI datasets, we develop Domain-Specific Batch Normalization layers in the network backbone, enabling the network to estimate statistics and perform feature normalization for each site separately. Considering the difficulty of capturing the shared knowledge from multiple datasets, a novel learning paradigm, i.e., Multi-site-guided Knowledge Transfer, is proposed to enhance the kernels to extract more generic representations from multi-site data. Extensive experiments on three heterogeneous prostate MRI datasets demonstrate that our MS-Net improves the performance across all datasets consistently, and outperforms state-of-the-art methods for multi-site learning.


title: Current statistics in the q-boson zero range process

abstract: We obtain exact formulas of the first two cumulants of particle current in the q-boson zero range process via exact perturbative solution of the TQ-relation. The result is represented as an infinite sum of double contour integrals. We perform the asymptotic analysis of the large system size limit $N\to\infty$ of the expressions obtained. For $|q|\neq1$ the leading terms of the second cumulant reproduce the $N^{3/2}$ scaling expected for models in the Kardar-Parisi-Zhang universality class. The scaling $q\asymp\exp(-\alpha/\sqrt{N})\to1$ corresponds to the the crossover between the Kardar-Parisi-Zhang and Edwards-Wilkinson universality classes. Under this scaling the sum converges to an integral, resulting in the crossover scaling function derived previously for the asymmetric simple exclusion process and conjectured to be universal.


title: Accurate correction of arbitrary spin fermions quantum tunneling from non-stationary Kerr-de Sitter black hole based on corrected Lorentz dispersion relation

abstract: According to a corrected dispersion relation proposed in the study on string theory and quantum gravity theory, Rarita-Schwinger equation has been precisely modified, which results in a Rarita-Schwinger-Hamilton-Jacobi equation, and through which, the characteristics of arbitrary spin fermions quantum tunneling radiation from non-stationary Kerr-de Sitter black hole are researched. A series of accurately corrected physical quantities such as surface gravity, chemical potential, tunneling probability and Hawking temperature that describe the properties of the black hole are derived. This research has enriched the research methods and made precision of the research contents of black hole physics.


title: Lensless in-line holographic microscopy with light source of low spatio-temporal coherence

abstract: Lensless microscopy with coherent or partially coherent light sources is a well known imaging technique, commonly referred as digital in-line holographic microscopy. In the established methods, both the spatial and temporal coherence of light play a crucial role in determining the resolution of reconstructed object. We report lensless microscopy with a spatially extended white LED, a light source of low spatial and very low temporal coherence. The wave-field propagation between two parallel planes can be obtained using a convolution operation, where the convolution kernel depends on the object-sensor distance and the characteristics of the light source. For a light source of unknown characteristics, this kernel is an unknown function. In the proposed reconstruction method, we decompose an unknown convolution kernel of very large size (128 X 128) into a small unknown light-source-specific kernel (size 9 X 9) and a known light-source-independent kernel (size 128 X 128). This drastically reduces the number of parameters to be estimated at the system identification step, which has been performed here by one time imaging of the known microscopic objects. Final unknown object estimation has been performed using the upper-bound constrained deconvolution. A lateral resolution of ~1-2 micrometer has been demonstrated.


title: A Unified End-to-End Framework for Efficient Deep Image Compression

abstract: Image compression is a widely used technique to reduce the spatial redundancy in images. Recently, learning based image compression has achieved significant progress by using the powerful representation ability from neural networks. However, the current state-of-the-art learning based image compression methods suffer from the huge computational cost, which limits their capacity for practical applications. In this paper, we propose a unified framework called Efficient Deep Image Compression (EDIC) based on three new technologies, including a channel attention module, a Gaussian mixture model and a decoder-side enhancement module. Specifically, we design an auto-encoder style network for learning based image compression. To improve the coding efficiency, we exploit the channel relationship between latent representations by using the channel attention module. Besides, the Gaussian mixture model is introduced for the entropy model and improves the accuracy for bitrate estimation. Furthermore, we introduce the decoder-side enhancement module to further improve image compression performance. Our EDIC method can also be readily incorporated with the Deep Video Compression (DVC) framework to further improve the video compression performance. Simultaneously, our EDIC method boosts the coding performance significantly while bringing slightly increased computational cost. More importantly, experimental results demonstrate that the proposed approach outperforms the current state-of-the-art image compression methods and is up to more than 150 times faster in terms of decoding speed when compared with Minnen's method. The proposed framework also successfully improves the performance of the recent deep video compression system DVC. Our code will be released at https://github.com/liujiaheng/compression.


title: Provably Physical-Constraint-Preserving Discontinuous Galerkin Methods for Multidimensional Relativistic MHD Equations

abstract: We propose and analyze a class of robust, uniformly high-order accurate discontinuous Galerkin (DG) schemes for multidimensional relativistic magnetohydrodynamics (RMHD) on general meshes. A distinct feature of the schemes is their physical-constraint-preserving (PCP) property, i.e., they are proven to preserve the subluminal constraint on the fluid velocity and the positivity of density, pressure, and specific internal energy. Developing PCP high-order schemes for RMHD is highly desirable but remains a challenging task, especially in the multidimensional cases, due to the inherent strong nonlinearity in the constraints and the effect of the magnetic divergence-free condition. Inspired by some crucial observations at the PDE level, we construct the provably PCP schemes by using the locally divergence-free DG schemes of the recently proposed symmetrizable RMHD equations as the base schemes, a limiting technique to enforce the PCP property of the DG solutions, and the strong-stability-preserving methods for time discretization. We rigorously prove the PCP property by using a novel "quasi-linearization" approach to handle the highly nonlinear physical constraints, technical splitting to offset the influence of divergence error, and sophisticated estimates to analyze the beneficial effect of the additional source term in the symmetrizable RMHD system. Several two-dimensional numerical examples are provided to confirm the PCP property and to demonstrate the accuracy, effectiveness and robustness of the proposed PCP schemes.

categories: math.NA astro-ph.IM cs.NA physics.comp-ph physics.flu-dyn physics.plasm-ph


title: Entropy-bounded solutions to the one-dimensional heat conductive compressible Navier-Stokes equations with far field vacuum

abstract: In the presence of vacuum, the physical entropy for polytropic gases behaves singularly and it is thus a challenge to study its dynamics. It is shown in this paper that the boundedness of the entropy can be propagated up to any finite time provided that the initial vacuum presents only at far fields with sufficiently slow decay of the initial density. More precisely, for the Cauchy problem of the one dimensional heat conductive compressible Navier-Stokes equations, the global well-posedness of strong solutions and uniform boundedness of the corresponding entropy are established, as long as the initial density vanishes only at far fields with a rate no more than $O(\frac{1}{x^2})$. The main tools of proving the uniform boundedness of the entropy are some singularly weighted energy estimates carefully designed for the heat conductive compressible Navier-Stokes equations and an elaborate De Giorgi type iteration technique for some classes of degenerate parabolic equations. The De Giorgi type iterations are carried out to different equations in establishing the lower and upper bounds of the entropy.


title: Globally hypoelliptic triangularizable systems of periodic pseudo-differential operators

abstract: This article presents an investigation on the global hypoellipticity problem for systems belonging to the class $P = D_t + Q(t,D_x)$, where $Q(t,D_x)$ is a $m\times m$ matrix with entries $c_{j,k}(t)Q_{j,k}(D_x)$. The coefficients $c_{j,k}(t)$ are smooth, complex-valued functions on the torus $\mathbb{T} \simeq \mathbb{R}/2\pi\mathbb{Z}$ and $Q_{j,k}(D_x)$ are pseudo-differential operators on $ \mathbb{T}^n$. The approach consists in establishing conditions on the matrix symbol $Q(t,\xi)$ such that it can be transformed into a suitable triangular form $\Lambda(t,\xi) + \mathcal{N}(t,\xi)$, where $\Lambda(t,\xi)$ is the diagonal matrix $diag(\lambda_{1}(t,\xi) \ldots \lambda_{m}(t,\xi))$ and $\mathcal{N}(t,\xi)$ is a nilpotent upper triangular matrix. Hence, the global hypoellipticity of $P$ is studied by analyzing the behavior of the eigenvalues $\lambda_{j}(t,\xi)$ and its averages $\lambda_{0,j}(\xi)$, as $|\xi| \to \infty$.