title: Single Pixel Reconstruction for One-stage Instance Segmentation

abstract: Object instance segmentation is one of the most fundamental but challenging tasks in computer vision, and it requires the pixel-level image understanding. Most existing approaches address this problem by adding a mask prediction branch to a two-stage object detector with the Region Proposal Network (RPN). Although producing good segmentation results, the efficiency of these two-stage approaches is far from satisfactory, restricting their applicability in practice. In this paper, we propose a one-stage framework, SPRNet, which performs efficient instance segmentation by introducing a single pixel reconstruction (SPR) branch to off-the-shelf one-stage detectors. The added SPR branch reconstructs the pixel-level mask from every single pixel in the convolution feature map directly. Using the same ResNet-50 backbone, SPRNet achieves comparable mask AP to Mask R-CNN at a higher inference speed, and gains all-round improvements on box AP at every scale comparing with RetinaNet.


title: Acoustic manipulation through zero-thickness perforated plane with strong-coupling effects

abstract: How to manipulate acoustic waves through thinner structures is always a challenging problem due to the linear proportional relationship between the structural thickness and the acoustic wavelength. Here, we show the possibility of breaking this relationship by the strong-coupling effects of the radiated waves on the zero-thickness two-dimensional perforated plane, rather than reducing the thickness of the three-dimensional structure by the resonance mechanism of the cavity structure. The strong-coupling effects can be achieved and regulated by the self and mutual radiation between acoustic waves from different holes in the zero-thickness plane. We experimentally demonstrate the effectiveness of our approach by implementing acoustic focusing and holography. Our work introduces a different perspective for manipulating acoustic waves and will enable the application of ultrathin acoustic devices.


title: A Medical Literature Search System for Identifying Effective Treatments in Precision Medicine

abstract: The Precision Medicine Initiative states that treatments for a patient should take into account not only the patient's disease, but his/her specific genetic variation as well. The vast biomedical literature holds the potential for physicians to identify effective treatment options for a cancer patient. However, the complexity and ambiguity of medical terms can result in vocabulary mismatch between the physician's query and the literature. The physician's search intent (finding treatments instead of other types of studies) is difficult to explicitly formulate in a query. Therefore, simple ad hot retrieval approach will suffer from low recall and precision. In this paper, we propose a new retrieval system that helps physicians identify effective treatments in precision medicine. Given a cancer patient with a specific disease, genetic variation, and demographic information, the system aims to identify biomedical publications that report effective treatments. We approach this goal from two directions. First, we expand the original disease and gene terms using biomedical knowledge bases to improve recall of the initial retrieval. We then improve precision by promoting treatment-related publications to the top using a machine learning reranker trained on 2017 Text Retrieval Conference Precision Medicine (PM) track corpus. Batch evaluation results on 2018 PM track corpus show that the proposed approach effectively improves both recall and precision, achieving performance comparable to the top entries on the leaderboard of 2018 PM track.


title: Shortest Paths in HSI Space for Color Texture Classification

abstract: Color texture representation is an important step in the task of texture classification. Shortest paths was used to extract color texture features from RGB and HSV color spaces. In this paper, we propose to use shortest paths in the HSI space to build a texture representation for classification. In particular, two undirected graphs are used to model the H channel and the S and I channels respectively in order to represent a color texture image. Moreover, the shortest paths is constructed by using four pairs of pixels according to different scales and directions of the texture image. Experimental results on colored Brodatz and USPTex databases reveal that our proposed method is effective, and the highest classification accuracy rate is 96.93% in the Brodatz database.


title: One-loop three-point Feynman integrals with Appell $F_1$ hypergeometric functions

abstract: New analytic formulas for one-loop three-point Feynman integrals in general space-time dimension ($d$) are presented in this paper. The calculations are performed at general configurations for internal masses and external momenta. The analytic results are expressed in terms of hypergeometric series $_2F_1$, $_3F_2$ for special cases and Appell $F_1$ for general cases. Furthermore, we cross-check our analytic results with other references which have carried out the integrals in several special cases.


title: All classifiable Kirchberg algebras are $C^{\ast}$-algebras of ample groupoids

abstract: In this note we show that every Kirchberg algebra in the UCT class is the $C^{\ast}$-algebra of a Hausdorff, ample, amenable and locally contracting groupoid. The non-unital case follows from Spielberg's graph-based models for Kirchberg algebras. Our contribution is the unital case and our proof builds on Spielberg's construction.


title: High Frequency Nonlinear Response of Superconducting Cavity-Grade Nb surfaces

abstract: Nb Superconducting Radio-Frequency (SRF) cavities are observed to break down and lose their high-Q superconducting properties at accelerating gradients below the limits imposed by theory. The microscopic origins of SRF cavity breakdown are still a matter of some debate. To investigate these microscopic issues temperature and power dependent local third harmonic response was measured on bulk Nb and Nb thin film samples using a novel near-field magnetic microwave microscope between 2.9K-10K and 2GHz-6GHz. Both periodic and non-periodic response as a function of applied RF field amplitude are observed. We attribute these features to extrinsic and intrinsic nonlinear responses of the sample. The RF-current-biased Resistively Shunted Junction (RSJ) model can account for the periodic response and fits very well to the data using reasonable parameters. The non-periodic response is consistent with vortex semi-loops penetrating into the bulk of the sample once sufficiently high RF magnetic field is applied, and the data can be fit to a Time-Dependent Ginzburg-Landau (TDGL) model of this process. The fact that these responses are measured on a wide variety of Nb samples suggests that we have captured the generic nonlinear response of air-exposed Nb surfaces.


title: Biased random walk conditioned on survival among Bernoulli obstacles: subcritical phase

abstract: We consider a discrete time biased random walk conditioned to avoid Bernoulli obstacles on ${\mathbb Z}^d$ ($d\geq 2$) up to time $N$. This model is known to undergo a phase transition: for a large bias, the walk is ballistic whereas for a small bias, it is sub-ballistic. We prove that in the sub-ballistic phase, the random walk is contained in a ball of radius $O(N^{1/(d+2)})$, which is the same scale as for the unbiased case. As an intermediate step, we also prove large deviation principles for the endpoint distribution for the unbiased random walk at scales between $N^{1/(d+2)}$ and $o(N^{d/(d+2)})$. These results improve and complement earlier work by Sznitman [Ann. Sci. Ecole Norm. Sup. (4), 28(3):345--370, 371--390, 1995].


title: Single production of vector-like top partner decaying to $Wb$ in the leptonic channel at $ep$ colliders in the LHT model

abstract: In the littlest Higgs model with T-parity(LHT), we study the single production of vector-like top partner with the subsequent decay $T_{+}\to Wb$ in the leptonic channel at the $ep$ colliders. Focus on the LHeC ($ \sqrt{s} $ = 1.98 TeV) and FCC-eh ($ \sqrt{s} $ = 5.29 TeV), we investigate the observability of the single top partner production with the unpolarized and polarized electron beams, respectively. As a result, the statistical significance can be enhanced by the polarized electron beams. Under the current constraints, the search for $T_{+}$ in the $Wb$ channel at the LHeC cannot provide a stronger limit on the top partner mass. By contrast, the search for the $T_{+}$ in this channel at the FCC-eh with polarized $ e^- $ beams can exclude the top partner mass up to 1350 GeV, 1500 GeV and 1565 GeV with integrated luminosities of 100 fb$^{-1}$, 1000 fb$^{-1}$ and 3000 fb$^{-1}$ at the 2$\sigma$ level, which is an improvement with respect to the current indirect searches and the LHC direct searches. Furthermore, we also give an extrapolation to the high-luminosity LHC with $\sqrt{s}=14$ TeV and $ L=3000~\rm{fb}^{-1} $. Our results show that the LHT model is still a natural solution to the shortcomings of the electroweak and scalar sector although it has been constrained severely.


title: Photofeeler-D3: A Neural Network with Voter Modeling for Dating Photo Impression Prediction

abstract: In just a few years, online dating has become the dominant way that young people meet to date, making the deceptively error-prone task of picking good dating profile photos vital to a generation's ability to form romantic connections. Until now, artificial intelligence approaches to Dating Photo Impression Prediction (DPIP) have been very inaccurate, unadaptable to real-world application, and have only taken into account a subject's physical attractiveness. To that effect, we propose Photofeeler-D3 - the first convolutional neural network as accurate as 10 human votes for how smart, trustworthy, and attractive the subject appears in highly variable dating photos. Our "attractive" output is also applicable to Facial Beauty Prediction (FBP), making Photofeeler-D3 state-of-the-art for both DPIP and FBP. We achieve this by leveraging Photofeeler's Dating Dataset (PDD) with over 1 million images and tens of millions of votes, our novel technique of voter modeling, and cutting-edge computer vision techniques.


title: Dualities and non-Abelian mechanics

abstract: Dualities are mathematical mappings that reveal unexpected links between apparently unrelated systems or quantities in virtually every branch of physics. Systems that are mapped onto themselves by a duality transformation are called self-dual and they often exhibit remarkable properties, as exemplified by an Ising magnet at the critical point. In this Letter, we unveil the role of dualities in mechanics by considering a family of so-called twisted Kagome lattices. These are reconfigurable structures that can change shape thanks to a collapse mechanism easily illustrated using LEGO. Surprisingly, pairs of distinct configurations along the mechanism exhibit the same spectrum of vibrational modes. We show that this puzzling property arises from the existence of a duality transformation between pairs of configurations on either side of a mechanical critical point. This critical point corresponds to a self-dual structure whose vibrational spectrum is two-fold degenerate over the entire Brillouin zone. The two-fold degeneracy originates from a general version of Kramers theorem that applies to classical waves in addition to quantum systems with fermionic time-reversal invariance. We show that the vibrational modes of the self-dual mechanical systems exhibit non-Abelian geometric phases that affect the semi-classical propagation of wave packets. Our results apply to linear systems beyond mechanics and illustrate how dualities can be harnessed to design metamaterials with anomalous symmetries and non-commuting responses.


title: How to Ensure Logical Consistency of Quantum Theory

abstract: Predictions of quantum theory have been confirmed experimentally in the microscopic domain with no known exceptions. This success motivates physicists to assume universal validity of the theory. To put the predictions of the quantum theory to the test in the domain of more complex systems researchers like e.g. Eugene Wigner have proposed carefully designed Gedankenexperiments revealing unexpected difficulties of the theory. Daniela Frauchiger and Renato Renner have recently suggested an extension of the Gedankenexperiment commonly known as Wigner's friend and arrived at a conclusion that one agent, upon observing a particular measurement outcome, must conclude that another agent has predicted the opposite outcome with certainty. Their analysis shows that quantum theory cannot consistently describe the use of itself. Here, we will study the mentioned Gedankenexperiments and introduce an approach leading to consistent predictions of quantum theory, independent of observer using the theory.


title: A Definition Of Quantum Mechanical Work

abstract: A definition of quantum mechanical work is introduced in this dissertation, preserving the mathematical structure of the Classical Mechanics concept of work without, however, in any way invoking the notion of trajectory. By use of Gaussian states and the Caldirola-Kanai model, a case study is conducted through which the proposed quantum work is compared with another Quantum Thermodynamics well-known definition, both in quantum and semiclassical regimes, showing promising results. Finally the new definition is investigated in comparison with a classical-statistical approach for superposition and mixed states.


title: Non-degenerate Bound State Solitons in Multi-component Bose-Einstein Condensates

abstract: We investigate non-degenerate bound state solitons systematically in multi-component Bose-Einstein condensates, through developing Darboux transformation method to derive exact soliton solutions analytically. In particular, we show that bright solitons with nodes correspond to the excited bound eigen-states in the self-induced effective quantum wells, in sharp contrast to the bright soliton and dark soliton reported before (which usually correspond to ground state and free eigen-state respectively). We further demonstrate that the bound state solitons with nodes are induced by incoherent interactions between solitons in different components. Moreover, we reveal that the interactions between these bound state solitons are usually inelastic, caused by the incoherent interactions between solitons in different components and the coherent interactions between solitons in same component. The bound state solitons can be used to discuss many different physical problems, such as beating dynamics, spin-orbital coupling effects, quantum fluctuations, and even quantum entanglement states.


title: A modified adaptive cubic regularization method for large-scale unconstrained optimization problem

abstract: In this paper, we modify the adaptive cubic regularization method for large-scale unconstrained optimization problem by using a real positive definite scalar matrix to approximate the exact Hessian. Combining with the nonmonotone technique, we also give a variant of the modified algorithm. Under some reasonable conditions, we analyze the global convergence of the proposed methods. Numerical experiments are performed and the obtained results show satisfactory performance when compared to the standard trust region method, adaptive regularization algorithm with cubics and the simple model trust-region method.


title: fMRI Based Cerebral Instantaneous Parameters for Automatic Alzheimer's, Mild Cognitive Impairment and Healthy Subject Classification

abstract: Automatic identification and categorization of Alzheimer's patients and the ability to distinguish between different levels of this disease can be very helpful to the research community in this field, since other non-automatic approaches are very time-consuming and are highly dependent on experts' experience. Herein, we propose the utility of cerebral instantaneous phase and envelope information in order to discriminate between Alzheimer's patients, MCI subjects and healthy normal individuals from functional magnetic resonance imaging (fMRI) data. To this end, after performing the region-of-interest (ROI) analysis on fMRI data, different features covering power, entropy and coherency aspects of data are derived from instantaneous phase and envelope sequences of ROI signals. Various sets of features are calculated and fed to a sequential forward floating feature selection (SFFFS) to choose the most discriminative and informative sets of features. A Student's t-test has been used to select the most relevant features from chosen sets. Finally, a K-NN classifier is used to distinguish between classes in a three-class categorization problem. The reported performance in overall accuracy using fMRI data of 111 combined subjects, is 80.1% with 80.0% Sensitivity to both Alzheimer's and Normal categories distinction and is comparable to the state-of-the-art approaches recently proposed in this regard. The significance of obtained results was statistically confirmed by evaluating through standard classification performance indicators. The obtained results illustrate that introduced analytic phase and envelope feature indexes derived from the ROI signals are significantly discriminative in distinguishing between Alzheimer's patients and Normal healthy subject.


title: Decoupling Localization and Classification in Single Shot Temporal Action Detection

abstract: Video temporal action detection aims to temporally localize and recognize the action in untrimmed videos. Existing one-stage approaches mostly focus on unifying two subtasks, i.e., localization of action proposals and classification of each proposal through a fully shared backbone. However, such design of encapsulating all components of two subtasks in one single network might restrict the training by ignoring the specialized characteristic of each subtask. In this paper, we propose a novel Decoupled Single Shot temporal Action Detection (Decouple-SSAD) method to mitigate such problem by decoupling the localization and classification in a one-stage scheme. Particularly, two separate branches are designed in parallel to enable each component to own representations privately for accurate localization or classification. Each branch produces a set of action anchor layers by applying deconvolution to the feature maps of the main stream. Each branch produces a set of feature maps by applying deconvolution to the feature maps of the main stream. High-level semantic information from deeper layers is thus incorporated to enhance the feature representations. We conduct extensive experiments on THUMOS14 dataset and demonstrate superior performance over state-of-the-art methods. Our code is available online.


title: Some Energy Estimates for Stable Solutions to Fractional Allen-Cahn Equations

abstract: In this paper we study stable solutions to the fractional equation \begin{align} (-\Delta)^s u =f(u), \quad |u| < 1 \quad \mbox{in $\mathbb{R}^d$}, \end{align}where $0<s<1$ and $f:[-1,1] \rightarrow \mathbb{R}$ is a $C^{1,\alpha}$ function for $\alpha>\max\{0, 1-2s\}$. We obtain sharp energy estimates for $0<s<1/2$ and rough energy estimates for $1/2 \le s <1$. These lead to a different proof from literature of the fact that when $d=2, \, 0<s<1$, entire stable solutions are $1$-D solutions. The scheme used in this paper is inspired by Cinti-Serra-Valdinoci[CSV17] which deals with stable nonlocal sets, and Figalli-Serra[FS17] which studies stable solutions for the case $s=1/2$.


title: Equilibria in a large production economy with an infinite dimensional commodity space and price dependent preferences

abstract: We prove the existence of a competitive equilibrium in a production economy with infinitely many commodities and a measure space of agents whose preferences are price dependent. We employ a saturated measure space for the set of agents and apply recent results for an infinite dimensional separable Banach space such as Lyapunov's convexity theorem and an exact Fatou's lemma to obtain the result.


title: The many roads to the simulation of reaction systems

abstract: Reaction systems are a computational model inspired by the bio-chemical reactions that happen inside biological cells. They have been and currently are studied for their many nice theoretical properties. They are also a useful modeling tool for biochemical systems, but in order to be able to employ them effectively in the field the presence of efficient and widely available simulators is essential. Here we explore three different algorithms and implementations of the simulation, comparing them to the current state of the art. We also show that we can obtain performances comparable to GPU-based simulations on real-world systems by using a carefully tuned CPU-based simulator.


title: The change of variable formula for the Riemann integral

abstract: This note concerns the general formulation by Preiss and Uher of Kestelman's influential result pertaining the change of variable, or substitution, formula for the Riemann integral.


title: The change of variable formula for Riemann-Stieltjes integrals

abstract: We consider general formulations of the change of variable formula for the Riemann-Stieltjes integral, including the case when the substitution is not invertible.


title: IP Solutions for International Kidney Exchange Programmes

abstract: In kidney exchange programmes patients with end-stage renal failure may exchange their willing, but incompatible living donors among each other. National kidney exchange programmes are in operation in ten European countries, and some of them have already conducted international exchanges through regulated collaborations. The exchanges are selected by conducting regular matching runs (typically every three months) according to well-defined constraints and optimisation criteria, which may differ across countries. In this work we give integer programming formulations for solving international kidney exchange problems, where the optimisation goals and constraints may be different in the participating countries and various feasibility criteria may apply for the international cycles and chains. We also conduct simulations showing the long-run effects of international collaborations for different pools and under various national restrictions and objectives.


title: Light-induced nonequilibrium response of the superconducting cuprate La$_{2-x}$Sr$_{x}$CuO$_4$

abstract: We report the dynamics of the cuprate superconductor La$_{2-x}$Sr$_{x}$CuO$_4$ ($x = 0.14$) after intense photoexcitation utilizing near-infrared (800 nm) optical pump-terahertz probe spectroscopy. In the superconducting state at 5 K, we observed a redshift of the Josephson plasma resonance that sustains for hundreds of picoseconds after the photoexcitation, indicating the destruction of the $c$-axis superconducting coherence. We show that the metastable spectral features can be described by the photoinduced surface heating of the sample. We also demonstrate that the conventional analysis used to extract the spectra of the photoexcited surface region can give rise to artifacts in the nonequilibrium response.


title: Oscillation death in coupled counter-rotating identical nonlinear oscillators

abstract: We study oscillatory and oscillation suppressed phases in coupled counter-rotating nonlinear oscillators. We demonstrate the existence of limit cycle, amplitude death, and oscillation death, and also clarify the Hopf, pitchfork, and infinite period bifurcations between them. Especially, the oscillation death is a new type of oscillation suppressions of which the inhomogeneous steady states are neutrally stable. We discuss the robust neutral stability of the oscillation death in non-conservative systems via the anti-PT-symmetric phase transitions at exceptional points in terms of non-Hermitian systems.


title: Counterfactual Visual Explanations

abstract: In this work, we develop a technique to produce counterfactual visual explanations. Given a 'query' image $I$ for which a vision system predicts class $c$, a counterfactual visual explanation identifies how $I$ could change such that the system would output a different specified class $c'$. To do this, we select a 'distractor' image $I'$ that the system predicts as class $c'$ and identify spatial regions in $I$ and $I'$ such that replacing the identified region in $I$ with the identified region in $I'$ would push the system towards classifying $I$ as $c'$. We apply our approach to multiple image classification datasets generating qualitative results showcasing the interpretability and discriminativeness of our counterfactual explanations. To explore the effectiveness of our explanations in teaching humans, we present machine teaching experiments for the task of fine-grained bird classification. We find that users trained to distinguish bird species fare better when given access to counterfactual explanations in addition to training examples.


title: Damping modes of harmonic oscillator in open quantum systems

abstract: Through a set of generators that preserves the hermiticity and trace of density matrices, we analyze the damping of harmonic oscillator in open quantum systems into four modes, distinguished by their specific effects on the covariance matrix of position and momentum of the oscillator. The damping modes could either cause exponential decay to the initial covariance matrix or shift its components. They have to act together properly in actual dynamics to ensure that the generalized uncertainty relation is satisfied. We use a few quantum master equations to illustrate the results.


title: Spoof detection using time-delay shallow neural network and feature switching

abstract: Detecting spoofed utterances is a fundamental problem in voice-based biometrics. Spoofing can be performed either by logical accesses like speech synthesis, voice conversion or by physical accesses such as replaying the pre-recorded utterance. Inspired by the state-of-the-art \emph{x}-vector based speaker verification approach, this paper proposes a time-delay shallow neural network (TD-SNN) for spoof detection for both logical and physical access. The novelty of the proposed TD-SNN system vis-a-vis conventional DNN systems is that it can handle variable length utterances during testing. Performance of the proposed TD-SNN systems and the baseline Gaussian mixture models (GMMs) is analyzed on the ASV-spoof-2019 dataset. The performance of the systems is measured in terms of the minimum normalized tandem detection cost function (min-t-DCF). When studied with individual features, the TD-SNN system consistently outperforms the GMM system for physical access. For logical access, GMM surpasses TD-SNN systems for certain individual features. When combined with the decision-level feature switching (DLFS) paradigm, the best TD-SNN system outperforms the best baseline GMM system on evaluation data with a relative improvement of 48.03\% and 49.47\% for both logical and physical access, respectively.


title: Point cloud registration: matching a maximal common subset on pointclouds with noise (with 2D implementation)

abstract: We analyze the problem of determining whether 2 given point clouds in 2D, with any distinct cardinality and any number of outliers, have subsets of the same size that can be matched via a rigid motion. This problem is important, for example, in the application of fingerprint matching with incomplete data. We propose an algorithm that, under assumptions on the noise tolerance, allows to find corresponding subclouds of the maximum possible size. Our procedure optimizes a potential energy function to do so, which was first inspired in the potential energy interaction that occurs between point charges in electrostatics.


title: Free Proalgebraic Groups

abstract: Replacing finite groups by linear algebraic groups, we study an algebraic-geometric counterpart of the theory of free profinite groups. In particular, we introduce free proalgebraic groups and characterize them in terms of embedding problems. The main motivation for this endeavor is a differential analog of a conjecture of Shafarevic.


title: Optimal mechanism for the sale of a durable good

abstract: A buyer wishes to purchase a durable good from a seller who in each period chooses a mechanism under limited commitment. The buyer's valuation is binary and fully persistent. We show that posted prices implement all equilibrium outcomes of an infinite-horizon, mechanism selection game. Despite being able to choose mechanisms, the seller can do no better and no worse than if he chose prices in each period, so that he is subject to Coase's conjecture. Our analysis marries insights from information and mechanism design with those from the literature on durable goods. We do so by relying on the revelation principle in Doval and Skreta (2020).


title: A Bayesian Perspective on the Deep Image Prior

abstract: The deep image prior was recently introduced as a prior for natural images. It represents images as the output of a convolutional network with random inputs. For "inference", gradient descent is performed to adjust network parameters to make the output match observations. This approach yields good performance on a range of image reconstruction tasks. We show that the deep image prior is asymptotically equivalent to a stationary Gaussian process prior in the limit as the number of channels in each layer of the network goes to infinity, and derive the corresponding kernel. This informs a Bayesian approach to inference. We show that by conducting posterior inference using stochastic gradient Langevin we avoid the need for early stopping, which is a drawback of the current approach, and improve results for denoising and impainting tasks. We illustrate these intuitions on a number of 1D and 2D signal reconstruction tasks.


title: Non-equilibrium Green's function predictions of band tails and band gap narrowing in III-V semiconductors and nanodevices

abstract: High-doping induced Urbach tails and band gap narrowing play a significant role in determining the performance of tunneling devices and optoelectronic devices such as tunnel field-effect transistors (TFETs), Esaki diodes and light-emitting diodes. In this work, Urbach tails and band gap narrowing values are calculated explicitly for GaAs, InAs, GaSb and GaN as well as ultra-thin bodies and nanowires of the same. Electrons are solved in the non-equilibrium Green's function method in multi-band atomistic tight binding. Scattering on polar optical phonons and charged impurities is solved in the self-consistent Born approximation. The corresponding nonlocal scattering self-energies as well as their numerically efficient formulations are introduced for ultra-thin bodies and nanowires. Predicted Urbach band tails and conduction band gap narrowing agree well with experimental literature for a range of temperatures and doping concentrations. Polynomial fits of the Urbach tail and band gap narrowing as a function of doping are tabulated for quick reference.


title: A Revised Mehrotra Predictor-Corrector algorithm for Model Predictive Control

abstract: Input constrained Model predictive control (MPC) includes an optimization problem which should iteratively be solved at each time-instance. The well-known drawback of model predictive control is the computational cost of the optimization problem. This results in restriction of the application of MPC to systems with slow dynamics, e.g., process control systems and small-scale problems. Therefore, implementing fast numerical optimization algorithms has been a point of interest. Interior-point methods are proved to be appropriate algorithms, from computational cost point-of-vie, to solve input-constrained MPC. In this paper first a modified version of Mehrotra's predictor-corrector algorithm, a famous interior-point algorithm, is extended for quadratic programming problems and then is applied to the constrained model predictive control problems. Results show that as expected, the new algorithm is faster than Matlab solver's algorithm.


title: Fashion-AttGAN: Attribute-Aware Fashion Editing with Multi-Objective GAN

abstract: In this paper, we introduce attribute-aware fashion-editing, a novel task, to the fashion domain. We re-define the overall objectives in AttGAN and propose the Fashion-AttGAN model for this new task. A dataset is constructed for this task with 14,221 and 22 attributes, which has been made publically available. Experimental results show the effectiveness of our Fashion-AttGAN on fashion editing over the original AttGAN.


title: Deep Neural Network Based Hyperspectral Pixel Classification With Factorized Spectral-Spatial Feature Representation

abstract: Deep learning has been widely used for hyperspectral pixel classification due to its ability of generating deep feature representation. However, how to construct an efficient and powerful network suitable for hyperspectral data is still under exploration. In this paper, a novel neural network model is designed for taking full advantage of the spectral-spatial structure of hyperspectral data. Firstly, we extract pixel-based intrinsic features from rich yet redundant spectral bands by a subnetwork with supervised pre-training scheme. Secondly, in order to utilize the local spatial correlation among pixels, we share the previous subnetwork as a spectral feature extractor for each pixel in a patch of image, after which the spectral features of all pixels in a patch are combined and feeded into the subsequent classification subnetwork. Finally, the whole network is further fine-tuned to improve its classification performance. Specially, the spectral-spatial factorization scheme is applied in our model architecture, making the network size and the number of parameters great less than the existing spectral-spatial deep networks for hyperspectral image classification. Experiments on the hyperspectral data sets show that, compared with some state-of-art deep learning methods, our method achieves better classification results while having smaller network size and less parameters.


title: On Structured Filtering-Clustering: Global Error Bound and Optimal First-Order Algorithms

abstract: The filtering-clustering models, including trend filtering and convex clustering, have become an important source of ideas and modeling tools in machine learning and related fields. The statistical guarantee of optimal solutions in these models has been extensively studied yet the investigations on the computational aspect have remained limited. In particular, practitioners often employ the first-order algorithms in real-world applications and are impressed by their superior performance regardless of ill-conditioned structures of difference operator matrices, thus leaving open the problem of understanding the convergence property of first-order algorithms. This paper settles this open problem and contributes to the broad interplay between statistics and optimization by identifying a \textit{global error bound} condition, which is satisfied by a large class of dual filtering-clustering problems, and designing a class of \textit{generalized dual gradient ascent} algorithm, which is \textit{optimal} first-order algorithms in deterministic, finite-sum and online settings. Our results are new and help explain why the filtering-clustering models can be efficiently solved by first-order algorithms. We also provide the detailed convergence rate analysis for the proposed algorithms in different settings, shedding light on their potential to solve the filtering-clustering models efficiently. We also conduct experiments on real datasets and the numerical results demonstrate the effectiveness of our algorithms.


title: Using Dynamic Analysis to Generate Disjunctive Invariants

abstract: Program invariants are important for defect detection, program verification, and program repair. However, existing techniques have limited support for important classes of invariants such as disjunctions, which express the semantics of conditional statements. We propose a method for generating disjunctive invariants over numerical domains, which are inexpressible using classical convex polyhedra. Using dynamic analysis and reformulating the problem in non-standard "max-plus" and "min-plus" algebras, our method constructs hulls over program trace points. Critically, we introduce and infer a weak class of such invariants that balances expressive power against the computational cost of generating nonconvex shapes in high dimensions. Existing dynamic inference techniques often generate spurious invariants that fit some program traces but do not generalize. With the insight that generating dynamic invariants is easy, we propose to verify these invariants statically using k-inductive SMT theorem proving which allows us to validate invariants that are not classically inductive. Results on difficult kernels involving nonlinear arithmetic and abstract arrays suggest that this hybrid approach efficiently generates and proves correct program invariants.


title: DSTP-RNN: a dual-stage two-phase attention-based recurrent neural networks for long-term and multivariate time series prediction

abstract: Long-term prediction of multivariate time series is still an important but challenging problem. The key to solve this problem is to capture the spatial correlations at the same time, the spatio-temporal relationships at different times and the long-term dependence of the temporal relationships between different series. Attention-based recurrent neural networks (RNN) can effectively represent the dynamic spatio-temporal relationships between exogenous series and target series, but it only performs well in one-step time prediction and short-term time prediction. In this paper, inspired by human attention mechanism including the dual-stage two-phase (DSTP) model and the influence mechanism of target information and non-target information, we propose DSTP-based RNN (DSTP-RNN) and DSTP-RNN-2 respectively for long-term time series prediction. Specifically, we first propose the DSTP-based structure to enhance the spatial correlations between exogenous series. The first phase produces violent but decentralized response weight, while the second phase leads to stationary and concentrated response weight. Secondly, we employ multiple attentions on target series to boost the long-term dependence. Finally, we study the performance of deep spatial attention mechanism and provide experiment and interpretation. Our methods outperform nine baseline methods on four datasets in the fields of energy, finance, environment and medicine, respectively.


title: Why Does the Solar Corona Abnormally Rotate Faster Than the Photosphere?

abstract: Coronal heating is a big question for modern astronomy. Daily measurement of 985 solar spectral irradiances (SSIs) at the spectral intervals 1-39 nm and 116-2416 nm during March 1 2003 to October 28 2017 is utilized to investigate characteristics of solar rotation in the solar atmosphere by means of the Lomb \,-\, Scargle periodogram method to calculate their power spectra. The rotation period of coronal plasma is obtained to be 26.3 days, and that of the solar atmosphere at the bottom of the photosphere modulated by magnetic structures is 27.5 days. Here we report for the first time that unexpectedly the coronal atmosphere is found to rotate faster than the underlying photosphere. When time series of SSIs are divided into different cycles, and the ascending and descending periods of a solar cycle, rotation rate in the corona is also found to be larger than that in the photosphere, and this actually gives hidden evidence: it is small-scale magnetic activity that heats the corona.


title: Tunable cloaking of Mexican-hat confined states in bilayer silicene

abstract: We present the ballistic quantum transport of a p-n-p bilayer silicene junction in the presence of spin-orbit coupling and electric field using a four-band model in combination with the transfer-matrix approach. A Mexican-hat shape of the low-energy spectrum is observed similarly to bilayer graphene under an interlayer bias. We show that while bilayer silicene shares some physics with bilayer graphene, it has many intriguing phenomena that have not been reported for the latter. First, the confined state producing a significantly non-zero transmission in Mexican hat. Second, the cloaking of the Mexican-hat confined state is found. Third, we observe that the Mexican-hat cloaking results in a strong oscillation of conductance when the incident energy is below the potential height. Finally, unlike monolayer silicene, the conductance at large interlayer distances increases with the rise of electric field when the incident energy is above the potential height.


title: c-trie++: A Dynamic Trie Tailored for Fast Prefix Searches

abstract: Given a dynamic set $K$ of $k$ strings of total length $n$ whose characters are drawn from an alphabet of size $\sigma$, a keyword dictionary is a data structure built on $K$ that provides locate, prefix search, and update operations on $K$. Under the assumption that $\alpha = w / \lg \sigma$ characters fit into a single machine word $w$, we propose a keyword dictionary that represents $K$ in $n \lg \sigma + \Theta(k \lg n)$ bits of space, supporting all operations in $O(m / \alpha + \lg \alpha)$ expected time on an input string of length $m$ in the word RAM model. This data structure is underlined with an exhaustive practical evaluation, highlighting the practical usefulness of the proposed data structure, especially for prefix searches - one of the most elementary keyword dictionary operations.


title: Exceptional Point and Toward Mode Selective Optical Isolation

abstract: Dynamical encirclement of an Exceptional Point (EP) and corresponding time-asymmetric mode evolution properties due to breakdown in adiabatic theorem have been a key to range of exotic physical effects in various open atomic, molecular and optical systems. Here, exploiting a gain-loss assisted dual-mode optical waveguide that hosts a dynamical EP-encirclement scheme, we have explored enhanced nonreciprocal effect in the dynamics of light with onset of saturable nonlinearity in the optical medium. We propose a prototype waveguide-based isolation scheme with judicious tuning of nonlinearity level where one can pass only a chosen mode in any of the desired directions as per device requirement. The deliberate presence of EP enormously enhances the nonreciprocal transmission contrast even up to 40 dB over the proposed device length with a scope of further scalability. This exclusive topologically robust mode selective all-optical isolation scheme will certainly offer opportunities in integrated photonic circuits for efficient coupling operation from external sources and improve device performances.


title: An extended description logic system with knowledge element based on ALC

abstract: With the rise of knowledge management and knowledge economy, the knowledge elements that directly link and embody the knowledge system have become the research focus and hotspot in certain areas. The existing knowledge element representation methods are limited in functions to deal with the formality, logic and reasoning. Based on description logic ALC and the common knowledge element model, in order to describe the knowledge element, the description logic ALC is expanded. The concept is extended to two diferent ones (that is, the object knowledge element concept and the attribute knowledge element concept). The relationship is extended to three (that is, relationship between object knowledge element concept and attribute knowledge element concept, relationship among object knowledge element concepts, relationship among attribute knowledge element concepts), and the inverse relationship constructor is added to propose a description logic KEDL system. By demonstrating, the relevant properties, such as completeness, reliability,of the described logic system KEDL are obtained. Finally, it is verified by the example that the description logic KEDL system has strong knowledge element description ability.


title: Super Resolution Convolutional Neural Network Models for Enhancing Resolution of Rock Micro-CT Images

abstract: Single Image Super Resolution (SISR) techniques based on Super Resolution Convolutional Neural Networks (SRCNN) are applied to micro-computed tomography ({\mu}CT) images of sandstone and carbonate rocks. Digital rock imaging is limited by the capability of the scanning device resulting in trade-offs between resolution and field of view, and super resolution methods tested in this study aim to compensate for these limits. SRCNN models SR-Resnet, Enhanced Deep SR (EDSR), and Wide-Activation Deep SR (WDSR) are used on the Digital Rock Super Resolution 1 (DRSRD1) Dataset of 4x downsampled images, comprising of 2000 high resolution (800x800) raw micro-CT images of Bentheimer sandstone and Estaillades carbonate. The trained models are applied to the validation and test data within the dataset and show a 3-5 dB rise in image quality compared to bicubic interpolation, with all tested models performing within a 0.1 dB range. Difference maps indicate that edge sharpness is completely recovered in images within the scope of the trained model, with only high frequency noise related detail loss. We find that aside from generation of high-resolution images, a beneficial side effect of super resolution methods applied to synthetically downgraded images is the removal of image noise while recovering edgewise sharpness which is beneficial for the segmentation process. The model is also tested against real low-resolution images of Bentheimer rock with image augmentation to account for natural noise and blur. The SRCNN method is shown to act as a preconditioner for image segmentation under these circumstances which naturally leads to further future development and training of models that segment an image directly. Image restoration by SRCNN on the rock images is of significantly higher quality than traditional methods and suggests SRCNN methods are a viable processing step in a digital rock workflow.


title: The lowest detected stellar Fe abundance: The halo star SMSS J160540.18-144323.1

abstract: We report the discovery of SMSS J160540.18-144323.1, a new ultra-metal poor halo star discovered with the SkyMapper telescope. We measure [Fe/H] = -6.2 +- 0.2 (1D LTE), the lowest ever detected abundance of iron in a star. The star is strongly carbon-enhanced, [C/Fe] = 3.9 +- 0.2, while other abundances are compatible with an alpha-enhanced solar-like pattern with [Ca/Fe] = 0.4 +- 0.2, [Mg/Fe] = 0.6 +- 0.2, [Ti/Fe] = 0.8 +- 0.2, and no significant s- or r-process enrichment, [Sr/Fe] < 0.2 and [Ba/Fe] < 1.0 (3{\sigma} limits). Population III stars exploding as fallback supernovae may explain both the strong carbon enhancement and the apparent lack of enhancement of odd-Z and neutron-capture element abundances. Grids of supernova models computed for metal-free progenitor stars yield good matches for stars of about 10 solar mass imparting a low kinetic energy on the supernova ejecta, while models for stars more massive than roughly 20 solar mass are incompatible with the observed abundance pattern.


title: Light-Induced Charge Density Wave in LaTe$_3$

abstract: When electrons in a solid are excited with light, they can alter the free energy landscape and access phases of matter that are beyond reach in thermal equilibrium. This accessibility becomes of vast importance in the presence of phase competition, when one state of matter is preferred over another by only a small energy scale that, in principle, is surmountable by light. Here, we study a layered compound, LaTe$_3$, where a small in-plane (a-c plane) lattice anisotropy results in a unidirectional charge density wave (CDW) along the c-axis. Using ultrafast electron diffraction, we find that after photoexcitation, the CDW along the c-axis is weakened and subsequently, a different competing CDW along the a-axis emerges. The timescales characterizing the relaxation of this new CDW and the reestablishment of the original CDW are nearly identical, which points towards a strong competition between the two orders. The new density wave represents a transient non-equilibrium phase of matter with no equilibrium counterpart, and this study thus provides a framework for unleashing similar states of matter that are "trapped" under equilibrium conditions.


title: Wet and dry internal friction can be measured with the Jarzynski equality

abstract: The existence of two types of internal friction wet and dry is revisited, and a simple protocol is proposed for distinguishing between the two types and extracting the appropriate internal friction coefficient. The scheme requires repeatedly stretching a polymer molecule, and measuring the average work dissipated in the process by applying the Jarzynski equality. The internal friction coefficient is then estimated from the average dissipated work in the extrapolated limit of zero solvent viscosity. The validity of the protocol is established through analytical calculations on a one-dimensional free-draining Hookean spring-dashpot model for a polymer, and Brownian dynamics simulations of: (a) a single-mode nonlinear spring-dashpot model for a polymer, and (b) a finitely extensible bead-spring chain with cohesive intra-chain interactions, both of which incorporate fluctuating hydrodynamic interactions. Well-established single-molecule manipulation techniques, such as optical tweezer-based pulling, can be used to implement the suggested protocol experimentally.


title: Spontaneous Magnetic Field near a Time-Reversal Symmetry Broken Surface State of YBCO

abstract: Spatial distributions of spontaneous magnetic fields near a surface of cuprate high-$T_C$ superconductor YBCO with broken time-reversal symmetry are calculated using the Ginzburg-Landau theory derived from the $t-J$ model. It is found that the magnetic field exists in a narrow region inside the superconductor, and it decays quickly outside the surface. Experimental approaches possible to detect such spontaneous magnetic fields are discussed.


title: Learning Pyramid-Context Encoder Network for High-Quality Image Inpainting

abstract: High-quality image inpainting requires filling missing regions in a damaged image with plausible content. Existing works either fill the regions by copying image patches or generating semantically-coherent patches from region context, while neglect the fact that both visual and semantic plausibility are highly-demanded. In this paper, we propose a Pyramid-context ENcoder Network (PEN-Net) for image inpainting by deep generative models. The PEN-Net is built upon a U-Net structure, which can restore an image by encoding contextual semantics from full resolution input, and decoding the learned semantic features back into images. Specifically, we propose a pyramid-context encoder, which progressively learns region affinity by attention from a high-level semantic feature map and transfers the learned attention to the previous low-level feature map. As the missing content can be filled by attention transfer from deep to shallow in a pyramid fashion, both visual and semantic coherence for image inpainting can be ensured. We further propose a multi-scale decoder with deeply-supervised pyramid losses and an adversarial loss. Such a design not only results in fast convergence in training, but more realistic results in testing. Extensive experiments on various datasets show the superior performance of the proposed network


title: Dimension bound for doubly badly approximable affine forms

abstract: We prove that for all $b$, the Hausdorff dimension of the set of $m \times n$ matrices $\epsilon$-badly approximable for the target $b$ is not full. The doubly metric case follows. It was known that for almost every matrix $A$, the Hausdorff dimension of the set $Bad_A(\epsilon)$ of $\epsilon$-badly approximable target $b$ is not full, and that for real numbers $\alpha$, $\dim_H Bad_\alpha(\epsilon)=1$ if and only if $\alpha$ is singular on average. We show that if $\dim_H Bad_A(\epsilon)=m$, then $A$ is singular on average.


title: A Global Bias-Correction DC Method for Biased Estimation under Memory Constraint

abstract: This paper establishes a global bias-correction divide-and-conquer (GBC-DC) rule for biased estimation under the case of memory constraint. In order to introduce the new estimation, a closed representation of the local estimators obtained by the data in each batch is adopted, aiming to formulate a pro forma linear regression between the local estimators and the true parameter of interest. Least square method is then used within this framework to composite a global estimator of the parameter. Thus, the main advantage over the classical DC method is that the new GBC-DC method can absorb the information hidden in the statistical structure and the variables in each batch of data. Consequently, the resulting global estimator is strictly unbiased even if the local estimator has a non-negligible bias. Moreover, the global estimator is consistent, and even can achieve root-$n$ consistency, without the constraint on the number of batches. Another attractive feature of the new method is computationally simple and efficient, without use of any iterative algorithm and local bias-correction. Specifically, the proposed GBC-DC method applies to various biased estimations such as shrinkage-type estimation and nonparametric regression estimation. Detailed simulation studies demonstrate that the proposed GBC-DC approach is significantly bias-corrected, and the behavior is comparable with the full data estimation and is much better than the competitors.


title: GradMask: Reduce Overfitting by Regularizing Saliency

abstract: With too few samples or too many model parameters, overfitting can inhibit the ability to generalise predictions to new data. Within medical imaging, this can occur when features are incorrectly assigned importance such as distinct hospital specific artifacts, leading to poor performance on a new dataset from a different institution without those features, which is undesirable. Most regularization methods do not explicitly penalize the incorrect association of these features to the target class and hence fail to address this issue. We propose a regularization method, GradMask, which penalizes saliency maps inferred from the classifier gradients when they are not consistent with the lesion segmentation. This prevents non-tumor related features to contribute to the classification of unhealthy samples. We demonstrate that this method can improve test accuracy between 1-3% compared to the baseline without GradMask, showing that it has an impact on reducing overfitting.


title: Robust nonlinear control of close formation flight

abstract: This paper investigates the robust nonlinear close formation control problem. It aims to achieve precise position control at dynamic flight operation for a follower aircraft under the aerodynamic impact due to the trailing vortices generated by a leader aircraft. One crucial concern is the control robustness that ensures the boundedness of position error subject to uncertainties and disturbances to be regulated with accuracy. This paper develops a robust nonlinear formation control algorithm to fulfill precise close formation tracking control. The proposed control algorithm consists of baseline control laws and disturbance observers. The baseline control laws are employed to stabilize the nonlinear dynamics of close formation flight, while the disturbance observers are introduced to compensate system uncertainties and formation-related aerodynamic disturbances. The position control performance can be guaranteed within the desired boundedness to harvest enough drag reduction for a follower aircraft in close formation using the proposed design. The efficacy of the proposed design is demonstrated via numerical simulations of close formation flight of two aircraft.


title: Finding minimum locating arrays using a CSP solver

abstract: Combinatorial interaction testing is an efficient software testing strategy. If all interactions among test parameters or factors needed to be covered, the size of a required test suite would be prohibitively large. In contrast, this strategy only requires covering $t$-wise interactions where $t$ is typically very small. As a result, it becomes possible to significantly reduce test suite size. Locating arrays aim to enhance the ability of combinatorial interaction testing. In particular, $(\overline{1}, t)$-locating arrays can not only execute all $t$-way interactions but also identify, if any, which of the interactions causes a failure. In spite of this useful property, there is only limited research either on how to generate locating arrays or on their minimum sizes. In this paper, we propose an approach to generating minimum locating arrays. In the approach, the problem of finding a locating array consisting of $N$ tests is represented as a Constraint Satisfaction Problem (CSP) instance, which is in turn solved by a modern CSP solver. The results of using the proposed approach reveal many $(\overline{1}, t)$-locating arrays that are smallest known so far. In addition, some of these arrays are proved to be minimum.


title: Non-Hermitian Majorana modes protect degenerate steady states

abstract: We introduce non-Hermitian generalizations of Majorana zero modes (MZMs) which appear in the topological phase of a weakly dissipative Kitaev chain coupled to a Markovian bath. Notably, the presence of MZMs ensures that the steady state in the absence of decoherence events is two-fold degenerate. Within a stochastic wavefunction approach, the effective Hamiltonian governing the coherent, non-unitary dynamics retains BDI classification of the closed limit, but belongs to one of four non-Hermitian "flavors" of the ten-fold way. We argue for the stability of MZMs due to a generalization of particle-hole symmetry, and uncover the resulting topological phase diagram. Qualitative features of our study generalize to two-dimensional chiral superconductors. The dissipative superconducting chain can be mapped to an Ising model in a complex transverse field, and we discuss potential signatures of the degeneracy.


title: Object-Oriented Dynamics Learning through Multi-Level Abstraction

abstract: Object-based approaches for learning action-conditioned dynamics has demonstrated promise for generalization and interpretability. However, existing approaches suffer from structural limitations and optimization difficulties for common environments with multiple dynamic objects. In this paper, we present a novel self-supervised learning framework, called Multi-level Abstraction Object-oriented Predictor (MAOP), which employs a three-level learning architecture that enables efficient object-based dynamics learning from raw visual observations. We also design a spatial-temporal relational reasoning mechanism for MAOP to support instance-level dynamics learning and handle partial observability. Our results show that MAOP significantly outperforms previous methods in terms of sample efficiency and generalization over novel environments for learning environment models. We also demonstrate that learned dynamics models enable efficient planning in unseen environments, comparable to true environment models. In addition, MAOP learns semantically and visually interpretable disentangled representations.


title: End-to-End Denoising of Dark Burst Images Using Recurrent Fully Convolutional Networks

abstract: When taking photos in dim-light environments, due to the small amount of light entering, the shot images are usually extremely dark, with a great deal of noise, and the color cannot reflect real-world color. Under this condition, the traditional methods used for single image denoising have always failed to be effective. One common idea is to take multiple frames of the same scene to enhance the signal-to-noise ratio. This paper proposes a recurrent fully convolutional network (RFCN) to process burst photos taken under extremely low-light conditions, and to obtain denoised images with improved brightness. Our model maps raw burst images directly to sRGB outputs, either to produce a best image or to generate a multi-frame denoised image sequence. This process has proven to be capable of accomplishing the low-level task of denoising, as well as the high-level task of color correction and enhancement, all of which is end-to-end processing through our network. Our method has achieved better results than state-of-the-art methods. In addition, we have applied the model trained by one type of camera without fine-tuning on photos captured by different cameras and have obtained similar end-to-end enhancements.


title: On the computation of Castelnuovo-Mumford regularity of the Rees algebra and of the fiber ring

abstract: We present algorithms for the computation of the Castelnuovo-Mumford regularity of the Rees algebra and of the fiber ring of equigenerated $\mm$-primary ideals in two variables. Applying these algorithms, we find a counter-example to a conjecture of Eisenbud and Ulrich which states that these regularities are equal.


title: Inverse of $\mathcal{U}$-frequently hypercyclic operators

abstract: We show that there exists an invertible $\mathcal{U}$-frequently hypercyclic operator on $\ell^p(\mathbb{N})$ ($1\le p <\infty$) whose inverse is not $\mathcal{U}$-frequently hypercyclic.


title: Bounded volume denominators and bounded negativity

abstract: In this paper we study the question of whether on smooth projective surfaces the denominators in the volumes of big line bundles are bounded. In particular we investigate how this condition is related to bounded negativity (i.e., the boundedness of self-intersections of irreducible curves). Our first result shows that boundedness of volume denominators is equivalent to \emph{primitive bounded negativity}, which in turn is implied by bounded negativity. We connect this result to the study of semi-effective orders of divisors: Our second result shows that negative classes exist that become effective only after taking an arbitrarily large multiple.


title: General Least Gradient Problems with Obstacle

abstract: We study existence, structure, uniqueness and regularity of solutions of the obstacle problem \begin{equation*} \inf_{u\in BV_f(\Omega)}\int_{\mathbb{R}^n}\phi(x,Du), \end{equation*} where $BV_f(\Omega)=\{u\in BV(\Omega): u\geq \psi \text{ in }\Omega\text{ and } u|_{\partial \Omega}=f|_{\partial \Omega}\}$, $f \in W^{1,1}_0(\mathbb{R}^n)$, $\psi$ is the obstacle, and $\phi(x,\xi)$ is a convex, continuous and homogeneous function of degree one with respect to the $\xi$ variable. We show that every minimizer of this problem is also a minimizer of the least gradient problem \[\inf_{u\in \mathcal{A}_f(\Omega)}\int_{\mathbb{R}^n}\phi(x,Du),\] where $\mathcal{A}_f(\Omega)=\{u\in BV(\Omega): u\geq \psi, \text{ and } u=f \text{ in }\Omega^c\}$. Moreover, there exists a vector field $T$ with $\nabla \cdot T \leq 0$ in $\Omega$ which determines the structure of all minimizers of these two problems, and $T$ is divergence free on $\{x\in \Omega: u(x)>\psi(x)\}$ for any minimizer $u$. We also present uniqueness and regularity results that are based on maximum principles for minimal surfaces. Since minimizers of the least gradient problems with obstacle do not hit small enough obstacles, the results presented in this paper extend several results in the literature about least gradient problems without obstacle.


title: Shared Predictive Cross-Modal Deep Quantization

abstract: With explosive growth of data volume and ever-increasing diversity of data modalities, cross-modal similarity search, which conducts nearest neighbor search across different modalities, has been attracting increasing interest. This paper presents a deep compact code learning solution for efficient cross-modal similarity search. Many recent studies have proven that quantization-based approaches perform generally better than hashing-based approaches on single-modal similarity search. In this paper, we propose a deep quantization approach, which is among the early attempts of leveraging deep neural networks into quantization-based cross-modal similarity search. Our approach, dubbed shared predictive deep quantization (SPDQ), explicitly formulates a shared subspace across different modalities and two private subspaces for individual modalities, and representations in the shared subspace and the private subspaces are learned simultaneously by embedding them to a reproducing kernel Hilbert space, where the mean embedding of different modality distributions can be explicitly compared. In addition, in the shared subspace, a quantizer is learned to produce the semantics preserving compact codes with the help of label alignment. Thanks to this novel network architecture in cooperation with supervised quantization training, SPDQ can preserve intramodal and intermodal similarities as much as possible and greatly reduce quantization error. Experiments on two popular benchmarks corroborate that our approach outperforms state-of-the-art methods.


title: Some properties of Skorokhod metric on fuzzy sets

abstract: In this paper, we have our discussions on normal and upper semi-continuous fuzzy sets on metric spaces. The Skorokhod-type metric is stronger than the Skorokhod metric. It is found that the Skorokhod metric and the Skorokhod-type metric are equivalent on compact fuzzy sets. However, the Skorokhod metric and the Skorokhod-type metric need not be equivalent on $L_p$-integrable fuzzy sets. Based on this, we investigate relations between these two metrics and the $L_p$-type $d_p$ metric. It is found that the relations can be divided into three cases. On compact fuzzy sets, the Skorokhod metric is stronger than the $d_p$ metric. On $L_p$-integrable fuzzy sets, which take compact fuzzy sets as special cases, the Skorokhod metric is not necessarily stronger than the $d_p$ metric, but the Skorokhod-type metric is still stronger than the $d_p$ metric. On general fuzzy sets, even the Skorokhod-type metric is not necessarily stronger than the $d_p$ metric. We also show that the Skorokhod metric is stronger than the sendograph metric.


title: Heterogeneous Coded Computation across Heterogeneous Workers

abstract: Coded distributed computing framework enables large-scale machine learning (ML) models to be trained efficiently in a distributed manner, while mitigating the straggler effect. In this work, we consider a multi-task assignment problem in a coded distributed computing system, where multiple masters, each with a different matrix multiplication task, assign computation tasks to workers with heterogeneous computing capabilities. Both dedicated and probabilistic worker assignment models are considered, with the objective of minimizing the average completion time of all computations. For dedicated worker assignment, greedy algorithms are proposed and the corresponding optimal load allocation is derived based on the Lagrange multiplier method. For probabilistic assignment, successive convex approximation method is used to solve the non-convex optimization problem. Simulation results show that the proposed algorithms reduce the completion time by 80% over uncoded scheme, and 49% over an unbalanced coded scheme.


title: Method for Constructing Artificial Intelligence Player with Abstraction to Markov Decision Processes in Multiplayer Game of Mahjong

abstract: We propose a method for constructing artificial intelligence (AI) of mahjong, which is a multiplayer imperfect information game. Since the size of the game tree is huge, constructing an expert-level AI player of mahjong is challenging. We define multiple Markov decision processes (MDPs) as abstractions of mahjong to construct effective search trees. We also introduce two methods of inferring state values of the original mahjong using these MDPs. We evaluated the effectiveness of our method using gameplays vis-\`{a}-vis the current strongest AI player.


title: Topological edge states and gap solitons in the nonlinear Dirac model

abstract: Topological photonics has emerged recently as a novel approach for realizing robust optical circuitry, and the study of nonlinear effects in topological photonics is expected to open the door for tunability of photonic structures with topological properties. Here, we study the topological edge states and topological gap solitons which reside in the same bandgaps described by the nonlinear Dirac model, in both one- and two-dimensions. We reveal strong nonlinear interaction between those dissimilar topological modes manifested in the excitation of the topological edge states by scattered gap solitons. Nonlinear tunability of localized states is explicated with exact analytical solutions for the two-component spinor wave function. Our studies are complemented by spatiotemporal numerical modeling of the wave transport in one- and two-dimensional topological systems.


title: Diffusion-reaction model for positron trapping and annihilation at spherical extended defects and in precipitate--matrix composites

abstract: The exact solution of a diffusion$-$reaction model for the trapping and annihilation of positrons in small extended spherical defects (clusters, voids, small precipitates) with competitive rate-limited trapping in vacancy-type point defects is presented. Closed-form expressions are obtained for the mean positron lifetime and for the intensities of the two positron lifetime components associated with trapping at defects. The exact solutions can be conveniently applied for the analysis of experimental data and allow an assessment in how far the usual approach, which takes diffusion limitation into account by means of effective diffusion-trapping rates, is appropriate. The model is further extended for application to larger precipitates where diffusion- and reaction limited trapping is not only considered for the trapping from the matrix into the precipitate$-$matrix interface but also for the trapping from inside the precipitates into the interfaces. This makes the model applicable to all type of composite structures where spherical objects are embedded in a matrix irrespective of their size and their number density.


title: Efficient Distributed Community Detection in the Stochastic Block Model

abstract: Designing effective algorithms for community detection is an important and challenging problem in {\em large-scale} graphs, studied extensively in the literature. Various solutions have been proposed, but many of them are centralized with expensive procedures (requiring full knowledge of the input graph) and have a large running time. In this paper, we present a distributed algorithm for community detection in the {\em stochastic block model} (also called {\em planted partition model}), a widely-studied and canonical random graph model for community detection and clustering. Our algorithm called {\em CDRW(Community Detection by Random Walks)} is based on random walks, and is localized and lightweight, and easy to implement. A novel feature of the algorithm is that it uses the concept of {\em local mixing time} to identify the community around a given node. We present a rigorous theoretical analysis that shows that the algorithm can accurately identify the communities in the stochastic block model and characterize the model parameters where the algorithm works. We also present experimental results that validate our theoretical analysis. We also analyze the performance of our distributed algorithm under the CONGEST distributed model as well as the $k$-machine model, a model for large-scale distributed computations, and show that it can be efficiently implemented.


title: High-dimensional copula variational approximation through transformation

abstract: Variational methods are attractive for computing Bayesian inference for highly parametrized models and large datasets where exact inference is impractical. They approximate a target distribution - either the posterior or an augmented posterior - using a simpler distribution that is selected to balance accuracy with computational feasibility. Here we approximate an element-wise parametric transformation of the target distribution as multivariate Gaussian or skew-normal. Approximations of this kind are implicit copula models for the original parameters, with a Gaussian or skew-normal copula function and flexible parametric margins. A key observation is that their adoption can improve the accuracy of variational inference in high dimensions at limited or no additional computational cost. We consider the Yeo-Johnson and G&H transformations, along with sparse factor structures for the scale matrix of the Gaussian or skew-normal. We also show how to implement efficient reparametrization gradient methods for these copula-based approximations. The efficacy of the approach is illustrated by computing posterior inference for three different models using six real datasets. In each case, we show that our proposed copula model distributions are more accurate variational approximations than Gaussian or skew-normal distributions, but at only a minor or no increase in computational cost.


title: Discriminative Ridge Machine: A Classifier for High-Dimensional Data or Imbalanced Data

abstract: We introduce a discriminative regression approach to supervised classification in this paper. It estimates a representation model while accounting for discriminativeness between classes, thereby enabling accurate derivation of categorical information. This new type of regression models extends existing models such as ridge, lasso, and group lasso through explicitly incorporating discriminative information. As a special case we focus on a quadratic model that admits a closed-form analytical solution. The corresponding classifier is called discriminative regression machine (DRM). Three iterative algorithms are further established for the DRM to enhance the efficiency and scalability for real applications. Our approach and the algorithms are applicable to general types of data including images, high-dimensional data, and imbalanced data. We compare the DRM with currently state-of-the-art classifiers. Our extensive experimental results show superior performance of the DRM and confirm the effectiveness of the proposed approach.


title: RES-PCA: A Scalable Approach to Recovering Low-rank Matrices

abstract: Robust principal component analysis (RPCA) has drawn significant attentions due to its powerful capability in recovering low-rank matrices as well as successful appplications in various real world problems. The current state-of-the-art algorithms usually need to solve singular value decomposition of large matrices, which generally has at least a quadratic or even cubic complexity. This drawback has limited the application of RPCA in solving real world problems. To combat this drawback, in this paper we propose a new type of RPCA method, RES-PCA, which is linearly efficient and scalable in both data size and dimension. For comparison purpose, AltProj, an existing scalable approach to RPCA requires the precise knowlwdge of the true rank; otherwise, it may fail to recover low-rank matrices. By contrast, our method works with or without knowing the true rank; even when both methods work, our method is faster. Extensive experiments have been performed and testified to the effectiveness of proposed method quantitatively and in visual quality, which suggests that our method is suitable to be employed as a light-weight, scalable component for RPCA in any application pipelines.


title: A Tur\'{a}n-type theorem for large-distance graphs in Euclidean spaces, and related isodiametric problems

abstract: Given a measurable set $A\subset \mathbb R^d$ we consider the "large-distance graph" $\mathcal{G}_A$, on the ground set $A$, in which each pair of points from $A$ whose distance is bigger than 2 forms an edge. We consider the problems of maximizing the $2d$-dimensional Lebesgue measure of the edge set as well as the $d$-dimensional Lebesgue measure of the vertex set of a large-distance graph in the $d$-dimensional Euclidean space that contains no copies of a complete graph on $k$ vertices. The former problem may be seen as a continuous analogue of Tur\'an's classical graph theorem, and the latter as a graph-theoretic analogue of the classical isodiametric problem. Our main result yields an analogue of Mantel's theorem for large-distance graphs. Our approach employs an isodiametric inequality in an annulus, which might be of independent interest.


title: Large tunneling magnetoresistance in VSe2/MoS2 magnetic tunnel junction

abstract: Two-dimensional (2D) van der Waals (vdW) materials provide the possibility of realizing heterostructures with coveted properties. Here, we report a theoretical investigation of the vdW magnetic tunnel junction (MTJ) based on VSe2/MoS2 heterojunction, where the VSe2 monolayer acts as the ferromagnet with the room-temperature ferromagnetism. We propose the concept of spin-orbit torque (SOT) vdW MTJ with reliable reading and efficient writing operations. The non-equilibrium study reveals a large tunneling magnetoresistance (TMR) of 846 % at 300 Kelvin, identifying significantly its parallel and anti-parallel states. Thanks to the strong spin Hall conductivity of MoS2, SOT is promising for the magnetization switching of VSe2 free layer. Quantum-well states come into being and resonances appear in MTJ, suggesting that the voltage control can adjust transport properties effectively. The SOT vdW MTJ based on VSe2/MoS2 provides desirable performance and experimental feasibility, offering new opportunities for 2D spintronics.


title: Multilevel Monte Carlo theta EM scheme for SDDEs with small noise

abstract: In this paper, a multilevel Monte Carlo theta EM scheme is provided for stochastic differential delay equations with small noise. Under a global Lipschitz condition, the variance of two coupled paths is derived. Then, the global Lipschitz condition is replaced by one-sided Lipschitz condition, in order to guarantee the moment finiteness of numerical scheme, a modified multilevel Monte Carlo theta EM scheme is put forward and the second moment of two coupled paths is estimated.


title: Production and mechanical characterization of graphene micro-ribbons

abstract: Patterning of graphene into micro- and nano-ribbons allows for the tunability in emerging fields such as flexible electronic and optoelectronic devices, and is gaining interest for the production of more efficient reinforcement for composite materials. In this work we fabricate micro-ribbons from CVD graphene by combining UV photolithography and dry etching oxygen plasma treatments. Raman spectral imaging confirms the effectiveness of the patterning procedure, which is suitable for large-area patterning of graphene on wafer-scale, and confirms that the quality of graphene remains unaltered. The produced micro-ribbons were finally transferred and embedded into a polymeric matrix and the mechanical response was investigated by in-situ mechanical investigation combining Raman spectroscopy and tensile/compressive tests.


title: Generalized Hawking-Page transitions

abstract: We construct holographic backgrounds that are dual by the AdS/CFT correspondence to Euclidean conformal field theories on products of spheres $S^{d_1}\times S^{d_2}$, for conformal field theories whose dual may be approximated by classical Einstein gravity (typically these are large $N$ strongly coupled theories). For $d_2=1$ these backgrounds correspond to thermal field theories on $S^{d_1}$, and Hawking and Page found that there are several possible bulk solutions, with two different topologies, that compete with each other, leading to a phase transition as the relative size of the spheres is modified. By numerically solving the Einstein equations we find similar results also for $d_2>1$, with bulk solutions in which either one or the other sphere shrinks to zero smoothly at a minimal value of the radial coordinate, and with a first order phase transition (for $d_1+d_2 < 9$) between solutions of two different topologies as the relative radius changes. For a critical ratio of the radii there is a (sub-dominant) singular solution where both spheres shrink, and we analytically analyze the behavior near this radius. For $d_1+d_2 < 9$ the number of solutions grows to infinity as the critical ratio is approached.


title: Are primordial black holes produced by entropy perturbations in single field inflationary models?

abstract: We show that in single field inflationary models the super-horizon evolution of curvature perturbations on comoving slices $\mathcal{R}$, which can cause the production of primordial black holes (PBH), is not due to entropy perturbations, but to the background evolution effect on the conversion between entropy and curvature perturbations. We derive a general relation between the time derivative of comoving curvature perturbations and entropy perturbations, in terms of a conversion factor depending on the background evolution. Contrary to previous results derived in the uniform density gauge assuming the gradient term can be neglected on super-horizon scales, the relation is valid on any scale for any minimally coupled single scalar field model, also on sub-horizon scales where gradient terms are large. We apply it to the case of quasi-inflection inflation, showing that while entropy perturbations are decreasing, $\mathcal{R}$ can grow on super-horizon scales, due to a large increase of the conversion factor. This happens in the time interval during which a sufficiently fast decrease of the equation of state $w$ transforms into a growing mode that in slow-roll models would be a decaying mode. The same mechanism also explains the super-horizon evolution of $\mathcal{R}$ in globally adiabatic systems, for which entropy perturbations vanish on any scale, such as ultra slow-roll inflation and its generalizations.


title: Nebular Line Emission During the Epoch of Reionization

abstract: Nebular emission lines associated with galactic HII regions carry information about both physical properties of the ionised gas and the source of ionising photons as well as providing the opportunity of measuring accurate redshifts and thus distances once a cosmological model is assumed. While nebular line emission has been extensively studied at lower redshift there are currently only few constraints within the epoch of reionisation (EoR, $z>6$), chiefly due to the lack of sensitive near-IR spectrographs. However, this will soon change with the arrival of the Webb Telescope providing sensitive near-IR spectroscopy covering the rest-frame UV and optical emission of galaxies in the EoR. In anticipation of Webb we combine the large cosmological hydrodynamical simulation Bluetides with photoionisation modelling to predict the nebular emission line properties of galaxies at $z=8\to 13$. We find good agreement with the, albeit limited, existing direct and indirect observational constraints on equivalent widths though poorer agreement with luminosity function constraints.


title: Cooling of the Cassiopeia A neutron star and the effect of diffusive nuclear burning

abstract: The study of how neutron stars cool over time can provide invaluable insights into fundamental physics such as the nuclear equation of state and superconductivity and superfluidity. A critical relation in neutron star cooling is the one between observed surface temperature and interior temperature. This relation is determined by the composition of the neutron star envelope and can be influenced by the process of diffusive nuclear burning (DNB). We calculate models of envelopes that include DNB and find that DNB can lead to a rapidly changing envelope composition which can be relevant for understanding the long-term cooling behavior of neutron stars. We also report on analysis of the latest temperature measurements of the young neutron star in the Cassiopeia A supernova remnant. The 13 Chandra observations over 18 years show that the neutron star's temperature is decreasing at a rate of 2-3 percent per decade, and this rapid cooling can be explained by the presence of a proton superconductor and neutron superfluid in the core of the star.


title: Leveraging the Restricted Isometry Property: Improved Low-Rank Subspace Decomposition for Hybrid Millimeter-Wave Systems

abstract: Communication at millimeter wave frequencies will be one of the essential new technologies in 5G. Acquiring an accurate channel estimate is the key to facilitate advanced millimeter wave hybrid multiple-input multiple-output (MIMO) precoding techniques. Millimeter wave MIMO channel estimation, however, suffers from a considerably increased channel use overhead. This happens due to the limited number of radio frequency (RF) chains that prevent the digital baseband from directly accessing the signal at each antenna. To address this issue, recent research has focused on adaptive closed-loop and two-way channel estimation techniques. In this paper, unlike the prior approaches, we study a non-adaptive, hence rather simple, open-loop millimeter wave MIMO channel estimation technique. We present a simple random design of channel subspace sampling signals and show that they obey the restricted isometry property (RIP) with high probability. We then formulate the channel estimation as a low-rank subspace decomposition problem and, based on the RIP, show that the proposed framework reveals resilience to a low signal-to-noise ratio. It is revealed that the required number of channel uses ensuring a bounded estimation error is linearly proportional to the degrees of freedom of the channel, whereas it converges to a constant value if the number of RF chains can grow proportionally to the channel dimension while keeping the channel rank fixed. In particular, we show that the tighter the RIP characterization the lower the channel estimation error is. We also devise an iterative technique that effectively finds a suboptimal but stationary solution to the formulated problem. The proposed technique is shown to have improved channel estimation accuracy with a low channel use overhead as compared to that of previous closed-loop and two-way adaptation techniques.


title: Quantum Fisher information matrix in Heisenberg XY model

abstract: The quantum Fisher information matrix provides us with a tool to determine the precision, in any multiparametric estimation protocol, through quantum Cram\'er-Rao bound. In this work, we study simultaneous and individual estimation strategies using the density matrix vectorization method. Two special Heisenberg $XY$ models are considered. The first one concerns the anisotropic $XY$ model in which the temperature $T$ and the anisotropic parameter $\gamma$ are estimated. The second situation concerns the isotropic $XY$ model submitted to an external magnetic field $B$ in which the temperature and the magnetic field are estimated. Our results show that the simultaneous strategy of multiple parameters is always advantageous and can provide a better precision than the individual strategy in the multiparameter estimation procedures.


title: Entropy production of a small quantum system under strong coupling with an environment: A computational experiment

abstract: Many theoretical expressions of dissipation along non-equilibrium processes have been proposed. However, they have not been fully verified by experiments. Especially for systems strongly interacting with environments the connection between theoretical quantities and standard thermodynamic observables are not clear. We have developed a computer simulation based on a spin-boson model, which is in principle exact and suitable for testing the proposed theories. We have noted that the dissipation obtained by measuring conventional thermodynamic quantities deviates from the second law of thermodynamics presumably due to the strong coupling. We show that additive correction to entropy makes it more consistent with the second law. This observation appears to be consistent with the theory based on the potential of mean force.


title: Decays of $X(3872)$ to $\chi_{cJ}\pi^0$ and $J/\psi\pi^+\pi^-$

abstract: By describing the $X(3872)$ using the extended Friedrichs scheme, in which $D\bar D^*$ is the dominant component, we calculate the decay rates of the $X(3872)$ to $\pi^0$ and a $P$-wave charmonium $\chi_{cJ}$ state with $J=0,1$, or $2$, and its decays to $J/\psi\pi^+\pi^-$ where $\pi^+\pi^-$ are assumed to be produced via an intermediate $\rho$ state. The decay widths of $X(3872)\to\chi_{cJ}\pi^0$ for $J=0,1,2$ are of the same order. However, this model calculation exhibits that the decay rate of $X(3872)$ to $\chi_{c1}\pi^0$ is one order of magnitude smaller than its decay rate to $J/\psi\pi^+\pi^-$.


title: Constraining Chaplygin models using diffuse supernova neutrino background

abstract: In this work, we examine the possibility of using the diffuse supernova neutrino background (DSNB) to test the Chaplygin gas (CG) models of the Universe. With a typical supernova rate $R_{\mathrm{SN}}(z)$ and supernova neutrino spectrum $\mathrm{d} N(E_\nu)/\mathrm{d} E_\nu$, the DSNB flux spectrum $n(E_\nu)$ in three categories of CG models, the generalized CG (GCG), modified CG (MCG) and extended CG (ECG) models, are studied. It is found that generally the flux spectra take a form similar to a Fermi-Dirac distribution with a peak centered around 3.80-3.97 MeV. The spectrum shape and peak positions are primarily determined by $R_{\mathrm{SN}}(z)$ and $\mathrm{d} N(E_\nu)/\mathrm{d} E_\nu$ and only slightly affected by the CG models. However, the height of the spectra in each category of the CG models can vary dramatically for different models, with variances of 13.2%, 23.6% and 14.9% for GCG, MCG and ECG categories respectively. The averaged total flux in each category are also different, with the ECG model average 10.0% and 12.7% higher than that of the GCG and MCG models. These suggest that the DSNB flux spectrum height and total flux can be used to constrain the CG model parameters, and if the measured to a sub-10% accuracy, might be used to rule out some models.


title: Reinforcement Learning for Nested Polar Code Construction

abstract: In this paper, we model nested polar code construction as a Markov decision process (MDP), and tackle it with advanced reinforcement learning (RL) techniques. First, an MDP environment with state, action, and reward is defined in the context of polar coding. Specifically, a state represents the construction of an $(N,K)$ polar code, an action specifies its reduction to an $(N,K-1)$ subcode, and reward is the decoding performance. A neural network architecture consisting of both policy and value networks is proposed to generate actions based on the observed states, aiming at maximizing the overall rewards. A loss function is defined to trade off between exploitation and exploration. To further improve learning efficiency and quality, an `integrated learning' paradigm is proposed. It first employs a genetic algorithm to generate a population of (sub-)optimal polar codes for each $(N,K)$, and then uses them as prior knowledge to refine the policy in RL. Such a paradigm is shown to accelerate the training process, and converge at better performances. Simulation results show that the proposed learning-based polar constructions achieve comparable, or even better, performances than the state of the art under successive cancellation list (SCL) decoders. Last but not least, this is achieved without exploiting any expert knowledge from polar coding theory in the learning algorithms.


title: KPI/KQI-Driven Coordinated Multi-Point in 5G: Measurements, Field Trials, and Technical Solutions

abstract: The fifth generation (5G) systems are expected to be able to support massive number of wireless devices and intense demands for high data rates while maintaining low latency. Coordinated multipoint (CoMP) is advocated by recent advances and is envisioned to continue its adoption in 5G to meet these requirements by alleviating inter-cell interference and improving spectral efficiency. The higher requirements in 5G have raised the stakes on developing a new CoMP architecture. To understand the merits and limitations of CoMP in 5G, this article systematically investigates evaluation criteria including key performance indicators (KPIs) and key quality indicators (KQIs) in 5G, conducts empirical measurements and field tests, and then proposes a KPI/KQI-driven CoMP architecture that fulfills KPI requirements and provides KQI guarantee for each user.


title: A feeble window on leptophilic dark matter

abstract: In this paper we study a leptophilic dark matter scenario involving feeble dark matter coupling to the Standard Model (SM) and compressed dark matter-mediator mass spectrum. We consider a simplified model where the SM is extended with one Majorana fermion, the dark matter, and one charged scalar, the mediator, coupling to the SM leptons through a Yukawa interaction. We first discuss the dependence of the dark matter relic abundance on the Yukawa coupling going continuously from freeze-in to freeze-out with an intermediate stage of conversion driven freeze-out. Focusing on the latter, we then exploit the macroscopic decay length of the charged scalar to study the resulting long-lived-particle signatures at collider and to explore the experimental reach on the viable portion of the parameter space.


title: Hydrodynamics of Random-Organizing Hyperuniform Fluids

abstract: Disordered hyperuniform structures are locally random while uniform like crystals at large length scales. Recently, an exotic hyperuniform fluid state was found in several non-equilibrium systems, while the underlying physics remains unknown. In this work, we propose a non-equilibrium (driven-dissipative) hard-sphere model and formulate a hydrodynamic theory based on Navier-Stokes equations to uncover the general mechanism of the fluidic hyperuniformity (HU). At a fixed density, this model system undergoes a smooth transition from an absorbing state to an active hyperuniform fluid, then to the equilibrium fluid by changing the dissipation strength. We study the criticality of the absorbing phase transition. We find that the origin of fluidic HU can be understood as the damping of a stochastic harmonic oscillator in $q$ space, which indicates that the suppressed long-wavelength density fluctuation in the hyperuniform fluid can exhibit as either acoustic (resonance) mode or diffusive (overdamped) mode. Importantly, our theory reveals that the damping dissipation and active reciprocal interaction (driving) are two ingredients for fluidic HU. Based on this principle, we further demonstrate how to realize the fluidic HU in an experimentally accessible active spinner system and discuss the possible realization in other systems.

categories: cond-mat.soft cond-mat.mtrl-sci cond-mat.stat-mech physics.flu-dyn


title: Sparse Subspace Decomposition for Millimeter Wave MIMO Channel Estimation

abstract: Millimeter wave multiple-input multiple-output (MIMO) communication systems must operate over sparse wireless links and will require large antenna arrays to provide high throughput. To achieve sufficient array gains, these systems must learn and adapt to the channel state conditions. However, conventional MIMO channel estimation can not be directly extended to millimeter wave due to the constraints on cost-effective millimeter wave operation imposed on the number of available RF chains. Sparse subspace scanning techniques that search for the best subspace sample from the sounded subspace samples have been investigated for channel estimation.However, the performance of these techniques starts to deteriorate as the array size grows, especially for the hybrid precoding architecture. The millimeter wave channel estimation challenge still remains and should be properly addressed before the system can be deployed and used to its full potential. In this work, we propose a sparse subspace decomposition (SSD) technique for sparse millimeter wave MIMO channel estimation. We formulate the channel estimation as an optimization problem that minimizes the subspace distance from the received subspace samples. Alternating optimization techniques are devised to tractably handle the non-convex problem. Numerical simulations demonstrate that the proposed method outperforms other existing techniques with remarkably low overhead.


title: A Deep Optimization Approach for Image Deconvolution

abstract: In blind image deconvolution, priors are often leveraged to constrain the solution space, so as to alleviate the under-determinacy. Priors which are trained separately from the task of deconvolution tend to be instable, or ineffective. We propose the Golf Optimizer, a novel but simple form of network that learns deep priors from data with better propagation behavior. Like playing golf, our method first estimates an aggressive propagation towards optimum using one network, and recurrently applies a residual CNN to learn the gradient of prior for delicate correction on restoration. Experiments show that our network achieves competitive performance on GoPro dataset, and our model is extremely lightweight compared with the state-of-art works.


title: Quaternary Hermitian linear complementary dual codes

abstract: The largest minimum weights among quaternary Hermitian linear complementary dual codes are known for dimension $2$. In this paper, we give some conditions for the nonexistence of quaternary Hermitian linear complementary dual codes with large minimum weights. As an application, we completely determine the largest minimum weights for dimension $3$, by using a classification of some quaternary codes. In addition, for a positive integer $s$, a maximal entanglement entanglement-assisted quantum $[[21s+5,3,16s+3;21s+2]]$ codes is constructed for the first time from a quaternary Hermitian linear complementary dual $[26,3,19]$ code.


title: Orthogonal and multiple orthogonal polynomials, random matrices, and Painlev\'e equations

abstract: Orthogonal polynomials and multiple orthogonal polynomials are interesting special functions because there is a beautiful theory for them, with many examples and useful applications in mathematical physics, numerical analysis, statistics and probability and many other disciplines. In these notes we give an introduction to the use of orthogonal polynomials in random matrix theory, we explain the notion of multiple orthogonal polynomials, and we show the link with certain non-linear difference and differential equations known as Painlev\'e equations.