title: Is the Trotterized UCCSD Ansatz chemically well-defined?

abstract: The variational quantum eigensolver (VQE) has emerged as one of the most promising near-term quantum algorithms that can be used to simulate many-body systems such as molecular electronic structures. Serving as an attractive ansatz in the VQE algorithm, unitary coupled cluster (UCC) theory has seen a renewed interest in recent literature. However, unlike the original classical UCC theory, implementation on a quantum computer requires a finite-order Suzuki-Trotter decomposition to separate the exponentials of the large sum of Pauli operators. While previous literature has recognized the non-uniqueness of different orderings of the operators in the Trotterized form of UCC methods, the question of whether or not different orderings matter at the chemical scale has not been addressed. In this letter, we explore the effect of operator ordering on the Trotterized UCCSD ansatz, as well as the much more compact $k$-UpCCGSD ansatz recently proposed by Lee et al. We observe a significant, system-dependent variation in the energies of Trotterizations with different operator orderings. The energy variations occur on a chemical scale, sometimes on the order of hundreds of kcal/mol. This letter establishes the need to define not only the operators present in the ansatz, but also the order in which they appear. This is necessary for adhering to the quantum chemical notion of a ``model chemistry'', in addition to the general importance of scientific reproducibility. As a final note, we suggest a useful strategy to select out of the combinatorial number of possibilities, a single well-defined and effective ordering of the operators.


title: Stain Style Transfer using Transitive Adversarial Networks

abstract: Digitized pathological diagnosis has been in increasing demand recently. It is well known that color information is critical to the automatic and visual analysis of pathological slides. However, the color variations due to various factors not only have negative impact on pathologist's diagnosis, but also will reduce the robustness of the algorithms. The factors that cause the color differences are not only in the process of making the slices, but also in the process of digitization. Different strategies have been proposed to alleviate the color variations. Most of such techniques rely on collecting color statistics to perform color matching across images and highly dependent on a reference template slide. Since the pathological slides between hospitals are usually unpaired, these methods do not yield good matching results. In this work, we propose a novel network that we refer to as Transitive Adversarial Networks (TAN) to transfer the color information among slides from different hospitals or centers. It is not necessary for an expert to pick a representative reference slide in the proposed TAN method. We compare the proposed method with the state-of-the-art methods quantitatively and qualitatively. Compared with the state-of-the-art methods, our method yields an improvement of 0.87dB in terms of PSNR, demonstrating the effectiveness of the proposed TAN method in stain style transfer.


title: Fits of $SU(3)$ $N_f=8$ data to dilaton-pion effective field theory

abstract: We report on fits of the $SU(3)$ $N_f=8$ LSD spectral data to chiral perturbation theory with a dilatonic meson. These fits confirm that current simulations are in the "large-mass" regime, with approximate hyperscaling as the leading mass dependence. We find that the leading-order effective field theory describes the data well. In particular, the effective field theory allows us to understand the staggered taste splitting, explaining the pattern observed in the LSD data, which looks different from QCD.


title: Characterization of blood pressure and heart rate oscillations of POTS patients via uniform phase empirical mode decomposition

abstract: Objective: Postural Orthostatic Tachycardia Syndrome (POTS) is associated with the onset of tachycardia upon postural change. The current diagnosis involves the measurement of heart rate (HR) and blood pressure (BP) during head-up tilt (HUT) or active standing test. A positive diagnosis is made if HR changes with more than 30 bpm (40 bpm in patients aged 12-19 years), ignoring all of the BP and most of the HR signals. This study examines 0.1 Hz oscillations in systolic arterial blood pressure (SBP) and HR signals providing additional metrics characterizing the dynamics of the baroreflex. Methods: We analyze data from 28 control subjects and 28 POTS patients who underwent HUT. We extract beat-to-beat HR and SBP during a 10 min interval including 5 minutes of baseline and 5 minutes of HUT. We employ Uniform Phase Empirical Mode Decomposition (UPEMD) to extract 0.1 Hz stationary modes from both signals and use random forest machine learning and k-means clustering to analyze the outcomes. Results show that the amplitude of the 0.1 Hz oscillations is higher in POTS patients and that the phase response between the two signals is shorter (p < 0.005). Conclusion: POTS is associated with an increase in the amplitude of SBP and HR 0.1 Hz oscillation and a shortening of the phase between the two signals. Significance: The 0.1 Hz phase response and oscillation amplitude metrics provide new markers that can improve POTS diagnostic augmenting the existing diagnosis protocol only analyzing the change in heart rate.


title: On the Bee-Identification Error Exponent with Absentee Bees

abstract: The "bee-identification problem" was formally defined by Tandon, Tan and Varshney [IEEE Trans. Commun. (2019) [Online early access]], and the error exponent was studied. This work extends the results for the "absentee bees" scenario, where a small fraction of the bees are absent in the beehive image used for identification. For this setting, we present an exact characterization of the bee-identification error exponent, and show that independent barcode decoding is optimal, i.e., joint decoding of the bee barcodes does not result in a better error exponent relative to independent decoding of each noisy barcode. This is in contrast to the result without absentee bees, where joint barcode decoding results in a significantly higher error exponent than independent barcode decoding. We also define and characterize the "capacity" for the bee-identification problem with absentee bees, and prove the strong converse for the same.


title: Relation Modeling with Graph Convolutional Networks for Facial Action Unit Detection

abstract: Most existing AU detection works considering AU relationships are relying on probabilistic graphical models with manually extracted features. This paper proposes an end-to-end deep learning framework for facial AU detection with graph convolutional network (GCN) for AU relation modeling, which has not been explored before. In particular, AU related regions are extracted firstly, latent representations full of AU information are learned through an auto-encoder. Moreover, each latent representation vector is feed into GCN as a node, the connection mode of GCN is determined based on the relationships of AUs. Finally, the assembled features updated through GCN are concatenated for AU detection. Extensive experiments on BP4D and DISFA benchmarks demonstrate that our framework significantly outperforms the state-of-the-art methods for facial AU detection. The proposed framework is also validated through a series of ablation studies.


title: USTAR: Online Multimodal Embedding for Modeling User-Guided Spatiotemporal Activity

abstract: Building spatiotemporal activity models for people's activities in urban spaces is important for understanding the ever-increasing complexity of urban dynamics. With the emergence of Geo-Tagged Social Media (GTSM) records, previous studies demonstrate the potential of GTSM records for spatiotemporal activity modeling. State-of-the-art methods for this task embed different modalities (location, time, and text) of GTSM records into a single embedding space. However, they ignore Non-GeoTagged Social Media (NGTSM) records, which generally account for the majority of posts (e.g., more than 95\% in Twitter), and could represent a great source of information to alleviate the sparsity of GTSM records. Furthermore, in the current spatiotemporal embedding techniques, less focus has been given to the users, who exhibit spatially motivated behaviors. To bridge this research gap, this work proposes USTAR, a novel online learning method for User-guided SpatioTemporal Activity Representation, which (1) embeds locations, time, and text along with users into the same embedding space to capture their correlations; (2) uses a novel collaborative filtering approach based on two different empirically studied user behaviors to incorporate both NGTSM and GTSM records in learning; and (3) introduces a novel sampling technique to learn spatiotemporal representations in an online fashion to accommodate recent information into the embedding space, while avoiding overfitting to recent records and frequently appearing units in social media streams. Our results show that USTAR substantially improves the state-of-the-art for region retrieval and keyword retrieval and its potential to be applied to other downstream applications such as local event detection.


title: Trainable Projected Gradient Detector for Sparsely Spread Code Division Multiple Access

abstract: Sparsely spread code division multiple access (SCDMA) is a promising non-orthogonal multiple access technique for future wireless communications. In this paper, we propose a novel trainable multiuser detector called sparse trainable projected gradient (STPG) detector, which is based on the notion of deep unfolding. In the STPG detector, trainable parameters are embedded to a projected gradient descent algorithm, which can be trained by standard deep learning techniques such as back propagation and stochastic gradient descent. Advantages of the detector are its low computational cost and small number of trainable parameters, which enables us to treat massive SCDMA systems. In particular, its computational cost is smaller than a conventional belief propagation (BP) detector while the STPG detector exhibits nearly same detection performance with a BP detector. We also propose a scalable joint learning of signature sequences and the STPG detector for signature design. Numerical results show that the joint learning improves multiuser detection performance particular in the low SNR regime.


title: Linearly Involved Generalized Moreau Enhanced Models and Their Proximal Splitting Algorithm under Overall Convexity Condition

abstract: The convex envelopes of the direct discrete measures, for the sparsity of vectors or for the low-rankness of matrices, have been utilized extensively as practical penalties in order to compute a globally optimal solution of the corresponding regularized least-squares models. Motivated mainly by the ideas in [Zhang'10, Selesnick'17, Yin, Parekh, Selesnick'19] to exploit nonconvex penalties in the regularized least-squares models without losing their overall convexities, this paper presents the Linearly involved Generalized Moreau Enhanced (LiGME) model as a unified extension of such utilizations of nonconvex penalties. The proposed model can admit multiple nonconvex penalties without losing its overall convexity and thus is applicable to much broader scenarios in the sparsity-rank-aware signal processing. Under the general overall-convexity condition of the LiGME model, we also present a novel proximal splitting type algorithm of guaranteed convergence to a globally optimal solution. Numerical experiments in typical examples of the sparsity-rank-aware signal processing demonstrate the effectiveness of the LiGME models and the proposed proximal splitting algorithm.


title: Resonant transport in Kekule-distorted graphene nanoribbons

abstract: The formation of a superlattice in graphene can serve as a way to modify its electronic bandstructure and thus to engineer its electronic transport properties. Recent experiments have discovered a Kekul\'e bond ordering in graphene deposited on top of a Copper substrate, leading to the breaking of the valley degeneracy while preserving the highly desirable feature of linearity and gapless character of its band dispersion. In this paper we study the effects of a Kekul\'e distortion in zigzag graphene nanoribbons in both, the subband spectrum and on its electronic transport properties. We extend our study to investigate also the electronic conductance in graphene nanoribbons composed of sequentially ordered Kek-Y superlattice. We find interesting resonances in the conductance response emerging in the otherwise energy gap regions, which scales with the number of Kek-Y interfaces minus one. Such features resembles the physics of resonant tunneling behavior observed in semiconductors heterostructures. Our findings provide a possible way to measure the strenght of Kekul\'e parameter in graphene nanoribbons.


title: Seasonal variability in a 1600 year-long ice core chemical record, Pamir Mountains, Central Asia

abstract: Targeted ultra-high resolution Laser Ablation Inductively Coupled Plasma Mass Spectrometry (LA-ICP-MS) analysis of an ice core drilled in the Pamir Mountains of Central Asia (CA) records changes in seasonal patterns of atmospheric circulation and moisture delivery to CA over the past 1600 years. Fe, Ca, and Mg signals in the LNC3 Pamir ice core reflect variable delivery of these elements during the pre-Medieval Warm Period (pre-MWP), Medieval Warm Period (MWP), and during the onset of the Little Ice Age (LIA) in CA. During the pre-MWP, hiatuses between dust seasons are observed due to a lengthened accumulation season, and dust delivery limited to a short period at the end of the accumulation season when modern summer-style northerly airflow occurred. During the MWP, dust delivery to CA decreased, though Fe-intensity in the core indicates episodic northerly air incursion. By the onset of the LIA, dust availability increased due to regional drying and strengthening winds, and strong westerlies blocked meridional flow reducing Fe-rich dust input from the north. CA has experienced recent warming, desiccation, weakening winds, and glacier loss. Major climate circulation drivers (Westerlies, Icelandic Low, Siberian High) continue to display LIA-style patterns, and annual temperatures are approaching those of the MWP. While none of the preceding climate periods in CA history can serve as an absolute wholesale proxy for conditions that are likely to prevail in the near future continued Northern Hemisphere westerlies weakening in a changing climate may enhance meridional flow and bring more moisture into the Aral Sea catchment from the Arctic.


title: Distinguishing antiferromagnetic spin sublattices via the spin Seebeck effect

abstract: Antiferromagnets are beneficial for future spintronic applications due to their zero magnetic moment and ultrafast dynamics. But gaining direct access to their antiferromagnetic order and identifying the properties of individual magnetic sublattices, especially in thin films and small-scale devices, remains a formidable challenge. So far, the existing read-out techniques such as anisotropic magnetoresistance, tunneling anisotropic magnetoresistance, and spin-Hall magnetoresistance, are even functions of sublattice magnetization and thus allow us to detect different orientations of the N\'eel order for antiferromagnets with multiple easy axes. In contrast direct electrical detection of oppositely oriented spin states along the same easy axes (e.g., in uniaxial antiferromagnets) requires sensitivity to the direction of individual sublattices and thus is more difficult. In this study, using spin Seebeck effect, we report the electrical detection of the two sublattices in a uniaxial antiferromagnet Cr2O3. We find the rotational symmetry and hysteresis behavior of the spin Seebeck signals measured at the top and bottom surface reflect the dierction of the surface sublattice moments, but not the N\'eel order or the net moment in the bulk. Our results demonstrate the important role of interface spin sublattices in generating the spin Seebeck voltages, which provide a way to access each sublattice independently, enables us to track the full rotation of the magnetic sublattice, and distinguish different and antiparallel antiferromagnetic states in uniaxial antiferromagnets.


title: Deep Clustering of Compressed Variational Embeddings

abstract: Motivated by the ever-increasing demands for limited communication bandwidth and low-power consumption, we propose a new methodology, named joint Variational Autoencoders with Bernoulli mixture models (VAB), for performing clustering in the compressed data domain. The idea is to reduce the data dimension by Variational Autoencoders (VAEs) and group data representations by Bernoulli mixture models (BMMs). Once jointly trained for compression and clustering, the model can be decomposed into two parts: a data vendor that encodes the raw data into compressed data, and a data consumer that classifies the received (compressed) data. In this way, the data vendor benefits from data security and communication bandwidth, while the data consumer benefits from low computational complexity. To enable training using the gradient descent algorithm, we propose to use the Gumbel-Softmax distribution to resolve the infeasibility of the back-propagation algorithm when assessing categorical samples.


title: Topology and Geometry of Crystallized Polyominoes

abstract: We give a complete solution to the extremal topological combinatorial problem of finding the minimum number of tiles needed to construct a polyomino with $h$ holes. We denote this number by $g(h)$ and say that a polyomino is crystallized if it has $h$ holes and $g(h)$ tiles. We analyze structural properties of crystallized polyominoes and characterize their efficiency by a topological isoperimetric inequality that relates minimum perimeter, the area of the holes, and the structure of the dual graph of a polyomino. We also develop a new dynamical method of creating sequences of polyominoes which is invariant with respect to crystallization and efficient structure. Using this technique, we prove that crystallized polyominoes with $h_l=(2^{2l}-1)/3$ holes are unique.


title: Status of the Jiangmen Underground Neutrino Observatory

abstract: The Jiangmen Underground Neutrino Observatory is a multipurpose neutrino experiment designed to determine neutrino mass hierarchy and precisely measure oscillation parameters by detecting reactor neutrinos from the Yangjiang and Taishan Nuclear Power Plants, observe supernova neutrinos, study the atmospheric, solar neutrinos and geo-neutrinos, and perform exotic searches, with a 20-thousand-ton liquid scintillator detector of unprecedented 3\% energy resolution (at 1 MeV) at 700-meter deep underground. In this proceeding, the subsystems of the experiment, including the cental detector, the online scintillator internal radioactivity investigation system, the PMT, the veto detector, the calibration system and the taishan antineutrino observatory, will be described. The construction is expected to be completed in 2021.


title: Facial Expression Restoration Based on Improved Graph Convolutional Networks

abstract: Facial expression analysis in the wild is challenging when the facial image is with low resolution or partial occlusion. Considering the correlations among different facial local regions under different facial expressions, this paper proposes a novel facial expression restoration method based on generative adversarial network by integrating an improved graph convolutional network (IGCN) and region relation modeling block (RRMB). Unlike conventional graph convolutional networks taking vectors as input features, IGCN can use tensors of face patches as inputs. It is better to retain the structure information of face patches. The proposed RRMB is designed to address facial generative tasks including inpainting and super-resolution with facial action units detection, which aims to restore facial expression as the ground-truth. Extensive experiments conducted on BP4D and DISFA benchmarks demonstrate the effectiveness of our proposed method through quantitative and qualitative evaluations.


title: Unsupervised Dual Adversarial Learning for Anomaly Detection in Colonoscopy Video Frames

abstract: The automatic detection of frames containing polyps from a colonoscopy video sequence is an important first step for a fully automated colonoscopy analysis tool. Typically, such detection system is built using a large annotated data set of frames with and without polyps, which is expensive to be obtained. In this paper, we introduce a new system that detects frames containing polyps as anomalies from a distribution of frames from exams that do not contain any polyps. The system is trained using a one-class training set consisting of colonoscopy frames without polyps -- such training set is considerably less expensive to obtain, compared to the 2-class data set mentioned above. During inference, the system is only able to reconstruct frames without polyps, and when it tries to reconstruct a frame with polyp, it automatically removes (i.e., photoshop) it from the frame -- the difference between the input and reconstructed frames is used to detect frames with polyps. We name our proposed model as anomaly detection generative adversarial network (ADGAN), comprising a dual GAN with two generators and two discriminators. We show that our proposed approach achieves the state-of-the-art result on this data set, compared with recently proposed anomaly detection systems.


title: Knowledge of Uncertain Worlds: Programming with Logical Constraints

abstract: Programming with logic for sophisticated applications must deal with recursion and negation, which together have created significant challenges in logic, leading to many different, conflicting semantics of rules. This paper describes a unified language, DA logic, for design and analysis logic, based on the unifying founded semantics and constraint semantics, that support the power and ease of programming with different intended semantics. The key idea is to provide meta-constraints, supports the use of uncertain information in the form of either undefined values or possible combinations of values or both, and promote the use of knowledge units that can be instantiated by any new predicates, including predicates with additional arguments.


title: Simplicity of tensor products of Kirillov--Reshetikhin modules: nonexceptional affine and G types

abstract: We show the denominator formulas for the normalized $R$-matrix involving two arbitrary Kirillov--Reshetikhin (KR) modules $W^{(k)}_{m,a}$ and $W^{(l)}_{p,b}$ in all nonexceptional affine types, $D_4^{(3)}$, and $G_2^{(1)}$. To achieve our goal, we prove the existence of homomorphisms, which can be understood as generalization of Dorey rule to KR modules. We also conjecture a uniform denominator formulas for all simply-laced types; in particular, type $E_n^{(1)}$. With the denominator formulas, we determine the simplicity of tensor product of KR modules and degrees of poles of normalized $R$-matrices between two KR modules completely in nonexceptional affine types, $D_4^{(3)}$, and $G_2^{(1)}$. As an application, we prove that the certain sets of KR modules for the untwisted affine types, suggested by Hernandez and Leclerc as clusters, form strongly commuting families, which implies that all cluster monomials in the clusters are real simple modules.


title: Maintenance scheduling in a railway corricdor

abstract: We investigate a novel scheduling problem which is motivated by an application in the Australian railway industry. Given a set of maintenance jobs and a set of train paths over a railway corridor with bidirectional traffic, we seek a schedule of jobs such that a minimum number of train paths are cancelled due to conflict with the job schedule. We show that the problem is NP-complete in general. In a special case of the problem when every job under any schedule just affects one train path, and the speed of trains is bounded from above and below, we show that the problem can be solved in polynomial time. Moreover, in another special case of the problem where the traffic is unidirectional, we show that the problem can be solved in time $O(n^4)$.


title: Quantum Valence Criticality in Heavy Fermions on Periodic and Aperiodic Crystals

abstract: Progress of theories and experiments of the quantum valence criticality is overviewed focusing on recent discoveries of direct evidence of quantum critical point of valence transitions in periodic crystal $\alpha$-YbAl$_{1-x}$Fe$_x$B$_4$ at $x=0.014$ and quasicrystal Yb$_{15}$(Al$_{1-x} $Ga$_{x}$)$_{34}$(Au$_{1-y}$Cu$_{y}$)$_{51}$ at $x=y=0$. The common quantum criticality as well as $T/B$ scaling behavior in the magnetization observed in the periodic crystal $\beta$-YbAlB$_4$ and quasicrystal Yb$_{15}$Al$_{34}$Au$_{51}$ is shown to be explained from the theory of critical Yb-valence fluctuations starting from the Hamiltonians for describing the low-energy electronic states in both systems.


title: A Queue-oriented Transaction Processing Paradigm

abstract: Transaction processing has been an active area of research for several decades. A fundamental characteristic of classical transaction processing protocols is non-determinism, which causes them to suffer from performance issues on modern computing environments such as main-memory databases using many-core, and multi-socket CPUs and distributed environments. Recent proposals of deterministic transaction processing techniques have shown great potential in addressing these performance issues. In this position paper, I argue for a queue-oriented transaction processing paradigm that leads to better design and implementation of deterministic transaction processing protocols. I support my approach with extensive experimental evaluations and demonstrate significant performance gains.


title: Testing cosmic opacity with the combination of strongly lensed and unlensed supernova Ia

abstract: In this paper, we present a scheme to investigate the opacity of the Universe in a cosmological-model-independent way, with the combination of current and future measurements of type Ia supernova sample and galactic-scale strong gravitational lensing systems with SNe Ia acting as background sources. The observational data include the current newly-compiled SNe Ia data (Pantheon sample) and simulated sample of SNe Ia observed by the forthcoming Large Synoptic Survey Telescope (LSST) survey, which are taken for luminosity distances ($D_L$) possibly affected by the cosmic opacity, as well as strongly lensed SNe Ia observed by the LSST, which are responsible for providing the observed time-delay distance ($D_{\Delta t}$) unaffected by the cosmic opacity. Two parameterizations, $\tau(z)=2\beta z$ and $\tau(z)=(1+z)^{2\beta}-1$ are adopted for the optical depth associated to the cosmic absorption. Focusing on only one specific type of standard cosmological probe, this provides an original method to measure cosmic opacity at high precision. Working on the simulated sample of strongly lensed SNe Ia observed by the LSST in 10 year $z$-band search, our results show that, with the combination of the current newly-compiled SNe Ia data (Pantheon sample), there is no significant deviation from the transparency of the Universe at the current observational data level. Moreover, strongly lensed SNe Ia in a 10 year LSST $z$-band search would produce more robust constraints on the validity of cosmic transparency (at the precision of $\Delta\beta=10^{-2}$), with a larger sample of unlensed SNe Ia detected in future LSST survey. We have also discussed the ways in which our methodology could be improved, with the combination of current and future available data in gravitational wave (GW) and electromagnetic (EM) domain.


title: A Transformer with Interleaved Self-attention and Convolution for Hybrid Acoustic Models

abstract: Transformer with self-attention has achieved great success in the area of nature language processing. Recently, there have been a few studies on transformer for end-to-end speech recognition, while its application for hybrid acoustic model is still very limited. In this paper, we revisit the transformer-based hybrid acoustic model, and propose a model structure with interleaved self-attention and 1D convolution, which is proven to have faster convergence and higher recognition accuracy. We also study several aspects of the transformer model, including the impact of the positional encoding feature, dropout regularization, as well as training with and without time restriction. We show competitive recognition results on the public Librispeech dataset when compared to the Kaldi baseline at both cross entropy training and sequence training stages. For reproducible research, we release our source code and recipe within the PyKaldi2 toolbox.


title: A novel energy-conserving scheme for eight-dimensional systems

abstract: We design a novel, exactly energy-conserving implicit non-symplectic integration method for an eight-dimensional Hamiltonian system with four degrees of freedom. In our algorithm, each partial derivative of the Hamiltonian with respect to one of phase-space variables is discretized by the average of eight Hamiltonian difference terms. Such a discretization form is a second-order approximation to the Hamiltonian gradient. It is shown numerically via simulations of an FPU-$\beta$ system and a post-Newtonian conservative system of compact binaries with one body spinning that the newly proposed method has extremely good energy-conserving performance, compared to the Runge-Kutta, implicit midpoint symplectic method and extended phase-space explicit symplectic-like integrators. The new method is advantageous over very long times and for large time steps compared to state-of-the-art Runge-Kutta method in the accuracy of numerical solutions. Although such an energy-conserving integrator exhibits a higher computational cost than any one of the other three algorithms, the superior results justify its use for satisfying some specific purposes on the preservation of energies in numerical simulations with much longer times, e.g. obtaining a high enough accuracy of the semimajor axis in a Keplerian problem in the Solar System or accurately grasping the frequency of a gravitational wave from a circular orbit in a post-Newtonian system of compact binaries. The new integrator will be potentially applied to model time-varying external electromagnetic fields or time-dependent spacetimes.


title: Concentration results for solutions of a singularly perturbed elliptic system with variable coefficients

abstract: In this article we shall study the following elliptic system with coefficients: \begin{equation}\notag \left\{\begin{aligned} -\epsilon^2\Delta u +c(x)u=b(x)|v|^{q-1}v, &\text{ and } -\epsilon^2\Delta v +c(x)v=a(x) |u|^{p-1}u &&\text{in } \Omega \newline u>0, \ v>0 \text{ in } \Omega, &\text{ and }\quad\frac{\partial u}{\partial\nu} = 0 = \frac{\partial v}{\partial\nu} &&\text{on }\partial\Omega \end{aligned} \right. \end{equation} where $\Omega$ is a smooth bounded domain in $R^n, n\geq 3$. The coefficients $a(x), b(x)$ and $c(x)$ are positive bounded smooth functions. We shall study the existence of point concentrating solutions and discuss the role of the coefficients to determine the concentration profile of the solutions. We have also discussed some applications of our main theorem towards the existence of solutions concentrating on higher-dimensional orbits.


title: Gr\"{u}neisen Parameter and Thermal Expansion by the Self-Consistent Renormalization Theory of Spin Fluctuations

abstract: The thermal expansion coefficient $\alpha$ and the Gr\"{u}neisen parameter $\Gamma$ near the magnetic quantum critical point (QCP) are derived on the basis of the self-consistent renormalization (SCR) theory of spin fluctuation. From the SCR entropy, the specific heat $C_{V}$, $\alpha$, and $\Gamma$ are shown to be expressed in a simple form as $C_{V}=C_{\rm a}-C_{\rm b}$, $\alpha=\alpha_{\rm a}+\alpha_{\rm b}$, and $\Gamma=\Gamma_{\rm a}+\Gamma_{\rm b}$, respectively, where $C_{\rm i}$, $\alpha_{\rm i}$, and $\Gamma_{\rm i}$ $({\rm i}={\rm a}, {\rm b})$ are related with each other. As the temperature $T$ decreases, $C_{\rm a}$, $\alpha_{\rm b}$, and $\Gamma_{\rm b}$ become dominant in $C_{V}$, $\alpha$, and $\Gamma$, respectively. The inverse susceptibility of spin fluctuation coupled to the volume $V$ in $\Gamma_{\rm b}$ is found to give rise to the divergence of $\Gamma$ at the QCP for each class of ferromagnetism and antiferromagnetism (AFM) in spatial dimensions $d=3$ and $2$. This $V$-dependent inverse susceptibility in $\alpha_{b}$ and $\Gamma_{\rm b}$ contributes to the $T$ dependences of $\alpha$ and $\Gamma$, and even affects their criticality in the case of the AFM QCP in $d=2$. $\Gamma_{\rm a}$ is expressed as $\Gamma_{\rm a}(T=0)=-\frac{V}{T_0}\left(\frac{\partial T_0}{\partial V}\right)_{T=0}$ with $T_0$ being the characteristic temperature of spin fluctuation, which has an enhanced value in heavy electron systems.


title: EdgeAI: A Vision for Deep Learning in IoT Era

abstract: The significant computational requirements of deep learning present a major bottleneck for its large-scale adoption on hardware-constrained IoT-devices. Here, we envision a new paradigm called EdgeAI to address major impediments associated with deploying deep networks at the edge. Specifically, we discuss the existing directions in computation-aware deep learning and describe two new challenges in the IoT era: (1) Data-independent deployment of learning, and (2) Communication-aware distributed inference. We further present new directions from our recent research to alleviate the latter two challenges. Overcoming these challenges is crucial for rapid adoption of learning on IoT-devices in order to truly enable EdgeAI.


title: Complexity Results on Register Pushdown Automata

abstract: Register pushdown automata (RPDA) is an extension of classical pushdown automata to handle data values in a restricted way. RPDA attracts attention as a model of a query language for structured documents with data values. The membership and emptiness problems for RPDA are known to be EXPTIME-complete. This paper shows the membership problem becomes PSPACE-complete and NP-complete for nondecreasing and growing RPDA, respectively, while the emptiness problem remains EXPTIME-complete for these subclasses.


title: Intrusion into granular media beyond the quasi-static regime

abstract: The drag force exerted on an object intruding into granular media can depend on the object's velocity as well as the depth penetrated. We report on intrusion experiments at constant speed over four orders in magnitude together with systematic molecular dynamics simulations well beyond the quasi-static regime. We find that velocity dependence crosses over to depth dependence at a characteristic time after initial impact. This crossover time scale, which depends on penetration speed, depth, gravity and intruder geometry, challenges current models that assume additive contributions to the drag.


title: Vertex Sparsifiers for c-Edge Connectivity

abstract: We show the existence of O(f(c)k) sized vertex sparsifiers that preserve all edge-connectivity values up to c between a set of k terminal vertices, where f(c) is a function that only depends on c, the edge-connectivity value. This construction is algorithmic: we also provide an algorithm whose running time depends linearly on k, but exponentially in c. It implies that for constant values of c, an offline sequence of edge insertions/deletions and c-edge-connectivity queries can be answered in polylog time per operation. These results are obtained by combining structural results about minimum terminal separating cuts in undirected graphs with recent developments in expander decomposition based methods for finding small vertex/edge cuts in graphs.


title: Resolving the Interstellar Medium in Ultraluminous Infrared QSO Hosts with ALMA

abstract: We present ALMA observations of the CO(1-0) line and 3-mm continuum emission in eight ultraluminous infrared (IR) quasi-stellar objects (QSOs) at z = 0.06-0.19. All eight IR QSO hosts are clearly resolved in their CO molecular gas emission with a median source size of 3.2 kpc, and seven out of eight sources are detected in 3-mm continuum, which is found to be more centrally concentrated with respect to molecular gas with sizes of 0.4-1.0 kpc. Our observations reveal a diversity of CO morphology and kinematics for the IR QSO systems which can be roughly classified into three categories, rotating gas disk with ordered velocity gradient, compact CO peak with disturbed velocity, and multiple CO distinct sources undergoing a merger between luminous QSO and a companion galaxy separated by a few kpc. The molecular gas in three of IR QSO hosts are found to be rotation-dominated with the ratio of the maximum rotation velocity to the local velocity dispersion of $V_{\rm rot}/\sigma=4-6$. Basic estimates of the dynamical masses within the CO-emitting regions give masses between $7.4\times10^9$ and $6.9\times10^{10}$ $M_\odot$. We find an increasing trend between BH mass accretion rate and star formation rate (SFR) over three orders of magnitude in far-IR luminosity/SFR, in line with the correlation between QSO bolometric luminosity and SF activity, indicative of a likely direct connection between AGN and SF activity over galaxy evolution timescales.


title: Multi-messenger nano-probes of hidden magnetism in a strained manganite

abstract: The ground state properties of correlated electron systems can be extraordinarily sensitive to external stimuli, such as temperature, strain, and electromagnetic fields, offering abundant platforms for functional materials. We present a metastable and reversible photoinduced ferromagnetic transition in strained films of the doped manganite La(2/3)Ca(1/3)MnO3. Using the novel multi-messenger combination of atomic force microscopy, cryogenic scanning near-field optical microscopy, magnetic force microscopy, and ultrafast laser excitation, we demonstrate both "writing" and "erasing" of a metastable ferromagnetic metal phase with nanometer-resolved finesse. By tracking both optical conductivity and magnetism at the nano-scale, we reveal how spontaneous strain underlies the thermal stability, persistence, and reversal of this photoinduced metal. Our first-principles electronic structure calculations reveal how an epitaxially engineered Jahn-Teller distortion can stabilize nearly degenerate antiferromagnetic insulator and ferromagnetic metal phases. We propose a Ginzburg-Landau description to rationalize the co-active interplay of strain, lattice distortion, and magnetism we resolve in strained LCMO, thus guiding future functional engineering of epitaxial oxides like manganites into the regime of phase-programmable materials.


title: Strategic Classification is Causal Modeling in Disguise

abstract: Consequential decision-making incentivizes individuals to strategically adapt their behavior to the specifics of the decision rule. While a long line of work has viewed strategic adaptation as gaming and attempted to mitigate its effects, recent work has instead sought to design classifiers that incentivize individuals to improve a desired quality. Key to both accounts is a cost function that dictates which adaptations are rational to undertake. In this work, we develop a causal framework for strategic adaptation. Our causal perspective clearly distinguishes between gaming and improvement and reveals an important obstacle to incentive design. We prove any procedure for designing classifiers that incentivize improvement must inevitably solve a non-trivial causal inference problem. Moreover, we show a similar result holds for designing cost functions that satisfy the requirements of previous work. With the benefit of hindsight, our results show much of the prior work on strategic classification is causal modeling in disguise.


title: A Hybrid Semantic Parsing Approach for Tabular Data Analysis

abstract: This paper presents a novel approach to translating natural language questions to SQL queries for given tables, which meets three requirements as a real-world data analysis application: cross-domain, multilingualism and enabling quick-start. Our proposed approach consists of: (1) a novel data abstraction step before the parser to make parsing table-agnosticism; (2) a set of semantic rules for parsing abstracted data-analysis questions to intermediate logic forms as tree derivations to reduce the search space; (3) a neural-based model as a local scoring function on a span-based semantic parser for structured optimization and efficient inference. Experiments show that our approach outperforms state-of-the-art algorithms on a large open benchmark dataset WikiSQL. We also achieve promising results on a small dataset for more complex queries in both English and Chinese, which demonstrates our language expansion and quick-start ability.


title: Parameterized Coloring Problems on Threshold Graphs

abstract: In this paper, we study several coloring problems on graphs from the viewpoint of parameterized complexity. We show that Precoloring Extension is fixed-parameter tractable (FPT) parameterized by distance to clique and Equitable Coloring is FPT parameterized by the distance to threshold graphs. We also study the List k-Coloring and show that the problem is NP-complete on split graphs and it is FPT parameterized by solution size on split graphs.


title: Direct test of the FLRW metric from strongly lensed gravitational wave observations

abstract: The assumptions of large-scale homogeneity and isotropy underly the familiar Friedmann-Lema\^{\i}tre-Robertson-Walker (FLRW) metric that appears to be an accurate description of our Universe. In this paper, we propose a new strategy of testing the validity of the FLRW metric, based on the galactic-scale lensing systems where strongly lensed gravitational waves and their electromagnetic counterparts can be simultaneously detected. Each strong lensing system creates opportunity to infer the curvature parameter of the Universe. Consequently, combined analysis of many such systems will provide a model-independent tool to test the validity of the FLRW metric. Our study demonstrates that the third-generation ground based GW detectors, like the Einstein Telescope (ET) and space-based detectors, like the Big Bang Observer (BBO), are promising concerning determination of the curvature parameter or possible detection of deviation from the FLRW metric. Such accurate measurements of the FLRW metric can become a milestone in precision GW cosmology.


title: Duality for Witt-divisorial sheaves

abstract: We adapt ideas from Ekedahl [Eke84] to prove a Serre-type duality for Witt-divisorial sheaves of $\mathbb Q$-Cartier divisors on a smooth projective variety over a perfect field of finite characteristic. We also explain its relationship to Tanaka's vanishing theorems [Tan20].


title: Unifying Variational Inference and PAC-Bayes for Supervised Learning that Scales

abstract: Neural Network based controllers hold enormous potential to learn complex, high-dimensional functions. However, they are prone to overfitting and unwarranted extrapolations. PAC Bayes is a generalized framework which is more resistant to overfitting and that yields performance bounds that hold with arbitrarily high probability even on the unjustified extrapolations. However, optimizing to learn such a function and a bound is intractable for complex tasks. In this work, we propose a method to simultaneously learn such a function and estimate performance bounds that scale organically to high-dimensions, non-linear environments without making any explicit assumptions about the environment. We build our approach on a parallel that we draw between the formulations called ELBO and PAC Bayes when the risk metric is negative log likelihood. Through our experiments on multiple high dimensional MuJoCo locomotion tasks, we validate the correctness of our theory, show its ability to generalize better, and investigate the factors that are important for its learning. The code for all the experiments is available at https://bit.ly/2qv0JjA.


title: MLAT: Metric Learning for kNN in Streaming Time Series

abstract: Learning a good distance measure for distance-based classification in time series leads to significant performance improvement in many tasks. Specifically, it is critical to effectively deal with variations and temporal dependencies in time series. However, existing metric learning approaches focus on tackling variations mainly using a strict alignment of two sequences, thereby being not able to capture temporal dependencies. To overcome this limitation, we propose MLAT, which covers both alignment and temporal dependencies at the same time. MLAT achieves the alignment effect as well as preserves temporal dependencies by augmenting a given time series using a sliding window. Furthermore, MLAT employs time-invariant metric learning to derive the most appropriate distance measure from the augmented samples which can also capture the temporal dependencies among them well. We show that MLAT outperforms other existing algorithms in the extensive experiments on various real-world data sets.


title: Deep Classification Network for Monocular Depth Estimation

abstract: Monocular Depth Estimation is usually treated as a supervised and regression problem when it actually is very similar to semantic segmentation task since they both are fundamentally pixel-level classification tasks. We applied depth increments that increases with depth in discretizing depth values and then applied Deeplab v2 and the result was higher accuracy. We were able to achieve a state-of-the-art result on the KITTI dataset and outperformed existing architecture by an 8% margin.


title: Finding the ground states of symmetric infinite-dimensional Hamiltonians: explicit constrained optimizations of tensor networks

abstract: Understanding extreme non-locality in many-body quantum systems can help resolve questions in thermostatistics and laser physics. The existence of symmetry selection rules for Hamiltonians with non-decaying terms on infinite-size lattices can lead to finite energies per site, which deserves attention. Here, we present a tensor network approach to construct the ground states of nontrivial symmetric infinite-dimensional spin Hamiltonians based on constrained optimizations of their infinite matrix product states description, which contains no truncation step, offers a very simple mathematical structure, and other minor advantages at the cost of slightly higher polynomial complexity in comparison to an existing method. More precisely speaking, our proposed algorithm is in part equivalent to the more generic and well-established solvers of infinite density-matrix renormalization-group and variational uniform matrix product states, which are, in principle, capable of accurately representing the ground states of such infinite-range-interacting many-body systems. However, we employ some mathematical simplifications that would allow for efficient brute-force optimizations of tensor-network matrices for the specific cases of highly-symmetric infinite-size infinite-range models. As a toy-model example, we showcase the effectiveness and explain some features of our method by finding the ground state of the U(1)-symmetric infinite-dimensional antiferromagnetic $XX$ Heisenberg model.


title: Semi-supervised Multi-domain Multi-task Training for Metastatic Colon Lymph Node Diagnosis From Abdominal CT

abstract: The diagnosis of the presence of metastatic lymph nodes from abdominal computed tomography (CT) scans is an essential task performed by radiologists to guide radiation and chemotherapy treatment. State-of-the-art deep learning classifiers trained for this task usually rely on a training set containing CT volumes and their respective image-level (i.e., global) annotation. However, the lack of annotations for the localisation of the regions of interest (ROIs) containing lymph nodes can limit classification accuracy due to the small size of the relevant ROIs in this problem. The use of lymph node ROIs together with global annotations in a multi-task training process has the potential to improve classification accuracy, but the high cost involved in obtaining the ROI annotation for the same samples that have global annotations is a roadblock for this alternative. We address this limitation by introducing a new training strategy from two data sets: one containing the global annotations, and another (publicly available) containing only the lymph node ROI localisation. We term our new strategy semi-supervised multi-domain multi-task training, where the goal is to improve the diagnosis accuracy on the globally annotated data set by incorporating the ROI annotations from a different domain. Using a private data set containing global annotations and a public data set containing lymph node ROI localisation, we show that our proposed training mechanism improves the area under the ROC curve for the classification task compared to several training method baselines.


title: Geometric properties of LMI regions

abstract: LMI (Linear Matrix Inequalities) regions is an important class of convex subsets of $\mathbb C$ arising in control theory. An LMI region $\mathfrak D$ is defined by its matrix-valued characteristic function $f_{\mathfrak D}(z) = {\mathbf L} + z{\mathbf M}+\bar{z}{\mathbf M}^T$ as follows: ${\mathfrak D} := \{z \in {\mathbb C}: f_{\mathfrak D}(z)\prec 0\}$. In this paper, we study LMI regions from the point of view of convex geometry, describing their boundaries, recession cones, lineality spaces and other characteristic in terms of the properties of matrices $\mathbf M$ and $\mathbf L$. Conversely, we study the link between the properties of matrices $\mathbf M$ and $\mathbf L$, e.g. normality, positive and negative definiteness, and the corresponding properties of an LMI region $\mathfrak D$. We provide the conditions, when an LMI region coincides with the intersection of elementary regions such as halfplanes, stripes, conic sectors and sides of hyperbolas. We also analyze the following problem, connected to pole placement: for a given LMI region $\mathfrak D$, defined by $f_{\mathfrak D}$, how to find a closed disk $D(x_0, r)$ centered at the real axis, such that $D(x_0, r) \subseteq {\mathfrak D}$?


title: Inverse Jacobi multiplier as a link between conservative systems and Poisson structures

abstract: Some aspects of the relationship between conservativeness of a dynamical system (namely the preservation of a finite measure) and the existence of a Poisson structure for that system are analyzed. From the local point of view, due to the Flow-Box Theorem we restrict ourselves to neighborhoods of singularities. In this sense, we characterize Poisson structures around the typical zero-Hopf singularity in dimension 3 under the assumption of having a local analytic first integral with non-vanishing first jet by connecting with the classical Poincar\'e center problem. From the global point of view, we connect the property of being strictly conservative (the invariant measure must be positive) with the existence of a Poisson structure depending on the phase space dimension. Finally, weak conservativeness in dimension two is introduced by the extension of inverse Jacobi multipliers as weak solutions of its defining partial differential equation and some of its applications are developed. Examples including Lotka-Volterra systems, quadratic isochronous centers, and non-smooth oscillators are provided.

categories: math-ph math.CA math.MP math.SG nlin.SI physics.class-ph


title: Kovacs Effect in Glass with Material Memory Revealed in Non-Equilibrium Particle Interactions

abstract: The Kovacs effect is a remarkable feature of the ageing dynamics of glass forming liquids near the glass transition temperature. It consists in a non-monotonous evolution of the volume/enthalpy after a succession of two abrupt temperature changes: first from a high initial temperature $T_i$ to a much lower annealing temperature $T_a$ followed by a smaller second jump back to a slightly higher final temperature $T_f$. The second change is performed when the instantaneous value of the volume/enthalpy coincides with the equilibrium one at the final temperature. While this protocol might be expected to yield equilibrium dynamics right after the second temperature change, one observes the so-called Kovacs hump in glassy systems. In this paper we apply such thermal protocol to the Distinguishable Particles Lattice Model (DPLM) for a wide range of fragility of the system. We study the Kovacs hump based on energy relaxation and all main experimental features are captured. Results are compared to general predictions based on a master equation approach in the linear response limit. We trace the origin of the Kovacs hump to the non-equilibrium nature of the probability distribution of particle interaction energies after the annealing and find that its difference with respect to the final equilibrium distribution is non-vanishing with two isolated zeros. This allows Kovacs' condition of equilibrium total energy to be met out-of-equilibrium, thus representing the memory content of the system. Furthermore, the hump is taller and occurs at a larger overlap with the system initial configuration for more fragile systems. The dynamics of a structural temperature for the mobile regions strongly depends on the glass fragility while for the immobile ones only a weak dependence is found.


title: Statistical Modeling for Spatio-Temporal Data from Stochastic Convection-Diffusion Processes

abstract: This paper proposes a physical-statistical modeling approach for spatio-temporal data arising from a class of stochastic convection-diffusion processes. Such processes are widely found in scientific and engineering applications where fundamental physics imposes critical constraints on how data can be modeled and how models should be interpreted. The idea of spectrum decomposition is employed to approximate a physical spatio-temporal process by the linear combination of spatial basis functions and a multivariate random process of spectral coefficients. Unlike existing approaches assuming spatially- and temporally-invariant convection-diffusion, this paper considers a more general scenario with spatially-varying convection-diffusion and nonzero-mean source-sink. As a result, the temporal dynamics of spectral coefficients is coupled with each other, which can be interpreted as the non-linear energy redistribution across multiple scales from the perspective of physics. Because of the spatially-varying convection-diffusion, the space-time covariance is non-stationary in space. The theoretical results are integrated into a hierarchical dynamical spatio-temporal model. The connection is established between the proposed model and the existing models based on Integro-Difference Equations. Computational efficiency and scalability are also investigated to make the proposed approach practical. The advantages of the proposed methodology are demonstrated by numerical examples, a case study, and comprehensive comparison studies. Computer code is available on GitHub.


title: Emanation Graph: A Plane Geometric Spanner with Steiner Points

abstract: An emanation graph of grade $k$ on a set of points is a plane spanner made by shooting $2^{k+1}$ equally spaced rays from each point, where the shorter rays stop the longer ones upon collision. The collision points are the Steiner points of the spanner. Emanation graphs of grade one were studied by Mondal and Nachmanson in the context of network visualization. They proved that the spanning ratio of such a graph is bounded by $(2+\sqrt{2})\approx 3.414$. We improve this upper bound to $\sqrt{10} \approx 3.162$ and show this to be tight, i.e., there exist emanation graphs with spanning ratio $\sqrt{10}$. We show that for every fixed $k$, the emanation graphs of grade $k$ are constant spanners, where the constant factor depends on $k$. An emanation graph of grade two may have twice the number of edges compared to grade one graphs. Hence we introduce a heuristic method for simplifying them. In particular, we compare simplified emanation graphs against Shewchuk's constrained Delaunay triangulations on both synthetic and real-life datasets. Our experimental results reveal that the simplified emanation graphs outperform constrained Delaunay triangulations in common quality measures (e.g., edge count, angular resolution, average degree, total edge length) while maintaining a comparable spanning ratio and Steiner point count.


title: Experimental orthogonalization of highly overlapping quantum states with single photons

abstract: We experimentally realize a nonlinear quantum protocol on single-photon qubits with linear optical elements and appropriate measurements. The quantum nonlinearity is induced by post-selecting the polarization qubit based on a measurement result obtained on the spatial degree of freedom of the single photon which plays the role of a second qubit. Initially, both qubits are prepared in the same quantum state and an appropriate two-qubit unitary transformation entangles them before the measurement on the spatial part. We analyze the result by quantum state tomography on the polarization degree of freedom. We then demonstrate the usefulness of the protocol for quantum state discrimination by iteratively applying it on either one of two slightly different quantum states which rapidly converge to different orthogonal states by the iterative dynamics. Our work opens the door to employ effective quantum nonlinear evolution for quantum information processing.


title: Giant room temperature anomalous Hall effect and magnetically tuned topology in the ferromagnetic Weyl semimetal Co2MnAl

abstract: Weyl semimetals (WSM) have been extensively studied due to their exotic properties such as topological surface states and anomalous transport phenomena. Their band structure topology is usually predetermined by material parameters and can hardly be manipulated once the material is formed. Their unique transport properties appear usually at very low temperature, which sets challenges for practical device applications. In this work, we demonstrate a way to modify the band topology via a weak magnetic field in a ferromagnetic topological semimetal, Co2MnAl, at room temperature. We observe a tunable, giant anomalous Hall effect, which is induced by the transition between Weyl points and nodal rings as rotating the magnetization axis. The anomalous Hall conductivity is as large as that of a 3D quantum anomalous Hall effect (QAHE), with the Hall angle reaching a record value (21%) at the room temperature among magnetic conductors. Furthermore, we propose a material recipe to generate the giant anomalous Hall effect by gaping nodal rings without requiring the existence of Weyl points. Our work reveals an ideal intrinsically magnetic platform to explore the interplay between magnetic dynamics and topological physics for the development of a new generation of spintronic devices.


title: Network2Vec Learning Node Representation Based on Space Mapping in Networks

abstract: Complex networks represented as node adjacency matrices constrains the application of machine learning and parallel algorithms. To address this limitation, network embedding (i.e., graph representation) has been intensively studied to learn a fixed-length vector for each node in an embedding space, where the node properties in the original graph are preserved. Existing methods mainly focus on learning embedding vectors to preserve nodes proximity, i.e., nodes next to each other in the graph space should also be closed in the embedding space, but do not enforce algebraic statistical properties to be shared between the embedding space and graph space. In this work, we propose a lightweight model, entitled Network2Vec, to learn network embedding on the base of semantic distance mapping between the graph space and embedding space. The model builds a bridge between the two spaces leveraging the property of group homomorphism. Experiments on different learning tasks, including node classification, link prediction, and community visualization, demonstrate the effectiveness and efficiency of the new embedding method, which improves the state-of-the-art model by 19% in node classification and 7% in link prediction tasks at most. In addition, our method is significantly faster, consuming only a fraction of the time used by some famous methods.


title: Online Synthesis for Runtime Enforcement of Safety in Multi-Agent Systems

abstract: A shield is attached to a system to guarantee safety by correcting the system's behavior at runtime. Existing methods that employ design-time synthesis of shields do not scale to multi-agent systems. Moreover, such shields are typically implemented in a centralized manner, requiring global information on the state of all agents in the system. We address these limitations through a new approach where the shields are synthesized at runtime and do not require global information. There is a shield onboard every agent, which can only modify the behavior of the corresponding agent. In this approach, which is fundamentally decentralized, the shield on every agent has two components: a pathfinder that corrects the behavior of the agent and an ordering mechanism that dynamically modifies the priority of the agent. The current priority determines if the shield uses the pathfinder to modify behavior of the agent. We derive an upper bound on the maximum deviation for any agent from its original behavior. We prove that the worst-case synthesis time is quadratic in the number of agents at runtime as opposed to exponential at design-time for existing methods. We test the performance of the decentralized, runtime shield synthesis approach on a collision-avoidance problem. For 50 agents in a 50x50 grid, the synthesis at runtime requires a few seconds per agent whenever a potential collision is detected. In contrast, the centralized design-time synthesis of shields for a similar setting is intractable beyond 4 agents in a 5x5 grid.


title: Proofs of Urysohn's Lemma and the Tietze Extension Theorem via the Cantor function

abstract: Urysohn's Lemma is a crucial property of normal spaces that deals with separation of closed sets by continuous functions. It is also a fundamental ingredient in proving the Tietze Extension Theorem, another property of normal spaces that deals with the existence of extensions of continuous functions. Using the Cantor function, we give alternative proofs for Urysohn's Lemma and the Tietze Extension Theorem.


title: How well can we learn large factor models without assuming strong factors?

abstract: In this paper, we consider the problem of learning models with a latent factor structure. The focus is to find what is possible and what is impossible if the usual strong factor condition is not imposed. We study the minimax rate and adaptivity issues in two problems: pure factor models and panel regression with interactive fixed effects. For pure factor models, if the number of factors is known, we develop adaptive estimation and inference procedures that attain the minimax rate. However, when the number of factors is not specified a priori, we show that there is a tradeoff between validity and efficiency: any confidence interval that has uniform validity for arbitrary factor strength has to be conservative; in particular its width is bounded away from zero even when the factors are strong. Conversely, any data-driven confidence interval that does not require as an input the exact number of factors (including weak ones) and has shrinking width under strong factors does not have uniform coverage and the worst-case coverage probability is at most 1/2. For panel regressions with interactive fixed effects, the tradeoff is much better. We find that the minimax rate for learning the regression coefficient does not depend on the factor strength and propose a simple estimator that achieves this rate. However, when weak factors are allowed, uncertainty in the number of factors can cause a great loss of efficiency although the rate is not affected. In most cases, we find that the strong factor condition (and/or exact knowledge of number of factors) improves efficiency, but this condition needs to be imposed by faith and cannot be verified in data for inference purposes.


title: Schwabe, Gleissberg, Suess-de Vries: Towards a consistent model of planetary synchronization of solar cycles

abstract: Aiming at a consistent planetary synchronization model of both short-term and long-term solar cycles, we start with an analysis of Schove's historical data of cycle maxima. Their deviations (residuals) from the average cycle duration of 11.07 years show a high degree of regularity, comprising a dominant 200-year period (Suess-de Vries cycle), and a few periods around 100 years (Gleissberg cycle). Encouraged by their robustness, we support previous forecasts of an upcoming grand minimum in the 21st century. To explain the long-term cycles, we enhance our tidally synchronized solar dynamo model by a modulation of the field storage capacity of the tachocline with the orbital angular momentum of the Sun, which is dominated by the 19.86-year periodicity of the Jupiter-Saturn synodes. This modulation of the 22.14 years Hale cycle leads to a 193-year beat period of dynamo activity which is indeed close to the Suess-de Vries cycle. For stronger dynamo modulation, the model produces additional peaks at typical Gleissberg frequencies, which seem to be explainable by the non-linearities of the basic beat process, leading to a bi-modality of the Schwabe cycle. However, a complementary role of beat periods between the Schwabe cycle and the Jupiter-Uranus/Neptune synodic cycles cannot be completely excluded.


title: A Multi-Antenna Coded Caching Scheme with Linear Subpacketization

abstract: Exponentially growing subpacketization is known to be a major issue for practical implementation of coded caching, specially in networks with multi-antenna communication setups. We provide a new coded caching scheme for such networks, which requires linear subpacketization and is applicable to any set of network parameters, as long as the multi-antenna gain $L$ is larger than or equal to the global caching gain $t$. Our scheme includes carefully designed cache placement and delivery algorithms; which are based on circular shift of two generator arrays in perpendicular directions. It also achieves the maximum possible degrees of freedom of $t+L$, during any transmission interval.


title: Adaptive Pad\'e-Chebyshev Type Approximation to Piecewise Smooth Functions

abstract: The aim of this article is to study the role of piecewise implementation of Pad\'e-Chebyshev type approximation in minimising Gibbs phenomena in approximating piecewise smooth functions. A piecewise Pad\'e-Chebyshev type (PiPCT) algorithm is proposed and an $L^1$-error estimate for at most continuous functions is obtained using a decay property of the Chebyshev coefficients. An advantage of the PiPCT approximation is that we do not need to have an {\it a prior} knowledge of the positions and the types of singularities present in the function. Further, an adaptive piecewise Pad\'e-Chebyshev type (APiPCT) algorithm is proposed in order to get the essential accuracy with a relatively lower computational cost. Numerical experiments are performed to validate the algorithms. The numerical results are also found to be well in agreement with the theoretical results. Comparison results of the PiPCT approximation with the singular Pad\'e-Chebyshev and the robust Pad\'e-Chebyshev methods are also presented.


title: Stabilising priors for robust Bayesian deep learning

abstract: Bayesian neural networks (BNNs) have developed into useful tools for probabilistic modelling due to recent advances in variational inference enabling large scale BNNs. However, BNNs remain brittle and hard to train, especially: (1) when using deep architectures consisting of many hidden layers and (2) in situations with large weight variances. We use signal propagation theory to quantify these challenges and propose self-stabilising priors. This is achieved by a reformulation of the ELBO to allow the prior to influence network signal propagation. Then, we develop a stabilising prior, where the distributional parameters of the prior are adjusted before each forward pass to ensure stability of the propagating signal. This stabilised signal propagation leads to improved convergence and robustness making it possible to train deeper networks and in more noisy settings.


title: Speech-XLNet: Unsupervised Acoustic Model Pretraining For Self-Attention Networks

abstract: Self-attention network (SAN) can benefit significantly from the bi-directional representation learning through unsupervised pretraining paradigms such as BERT and XLNet. In this paper, we present an XLNet-like pretraining scheme "Speech-XLNet" for unsupervised acoustic model pretraining to learn speech representations with SAN. The pretrained SAN is finetuned under the hybrid SAN/HMM framework. We conjecture that by shuffling the speech frame orders, the permutation in Speech-XLNet serves as a strong regularizer to encourage the SAN to make inferences by focusing on global structures through its attention weights. In addition, Speech-XLNet also allows the model to explore the bi-directional contexts for effective speech representation learning. Experiments on TIMIT and WSJ demonstrate that Speech-XLNet greatly improves the SAN/HMM performance in terms of both convergence speed and recognition accuracy compared to the one trained from randomly initialized weights. Our best systems achieve a relative improvement of 11.9% and 8.3% on the TIMIT and WSJ tasks respectively. In particular, the best system achieves a phone error rate (PER) of 13.3% on the TIMIT test set, which to our best knowledge, is the lowest PER obtained from a single system.


title: Generalized uncertainty principle for a Dirac fermion in a torsion field

abstract: We derive the uncertainty principle for a Dirac fermion in a torsion field obeying the Hehl-Datta (HD) equation. We first discuss that there should be a correction factor to the Heisenberg uncertainty principle (HUP) when torsional effects are taken into consideration. We then derive the uncertainty relation from a solitary wave solution of the HD equation in 1+1 dimensions. We find that the results agree with the generalized uncertainty principle (GUP). We then introduce the unified length scale $L_{CS}$ (which unifies Compton wavelength and Schwarzschild radius) into the HD equation and see how the probability density of the solution transforms for particles of different masses.


title: Radial-velocity jitter of stars as a function of observational timescale and stellar age

abstract: Stars show various amounts of radial velocity (RV) jitter due to varying stellar activity levels. The typical amount of RV jitter as a function of stellar age and observational timescale has not yet been systematically quantified, although it is often larger than the instrumental precision of modern high-resolution spectrographs used for Doppler planet detection and characterization. We aim to empirically determine the intrinsic stellar RV variation for mostly G and K dwarf stars on different timescales and for different stellar ages independently of stellar models. We also focus on young stars ($\lesssim$ 30 Myr), where the RV variation is known to be large. We use archival FEROS and HARPS RV data of stars which were observed at least 30 times spread over at least two years. We then apply the pooled variance (PV) technique to these data sets to identify the periods and amplitudes of underlying, quasiperiodic signals. We show that the PV is a powerful tool to identify quasiperiodic signals in highly irregularly sampled data sets. We derive activity-lag functions for 20 putative single stars, where lag is the timescale on which the stellar jitter is measured. Since the ages of all stars are known, we also use this to formulate an activity--age--lag relation which can be used to predict the expected RV jitter of a star given its age and the timescale to be probed. The maximum RV jitter on timescales of decades decreases from over 500 m/s for 5 Myr-old stars to 2.3 m/s for stars with ages of around 5 Gyr. The decrease in RV jitter when considering a timescale of only 1 d instead of 1 yr is smaller by roughly a factor of 4 for 5 Myr old stars, and a factor of 1.5 for stars with an age of 5 Gyr. The rate at which the RV jitter increases with lag strongly depends on stellar age and ranges from a few days for a few 10 Myr old stars to presumably decades for stars with an age of a few gigayears.


title: A characterization of graded von Neumann regular rings with applications to Leavitt path algebras

abstract: We provide a characterization of graded von Neumann regular rings involving the recently introduced class of nearly epsilon-strongly graded rings. As our main application, we generalize Hazrat's result that Leavitt path algebras over fields are graded von Neumann regular. More precisely, we show that a Leavitt path algebra $L_R(E)$ with coefficients in a unital ring $R$ is graded von Neumann regular if and only if $R$ is von Neumann regular. We also prove that both Leavitt path algebras and corner skew Laurent polynomial rings over von Neumann regular rings are semiprimitive and semiprime. Thereby, we generalize a result by Abrams and Aranda Pino on the semiprimitivity of Leavitt path algebras over fields.


title: GPU Accelerated Simulation of Channeling Radiation of Relativistic Particles

abstract: In this paper we describe and demonstrate a C++ code written to determine the trajectory of particles traversing oriented single crystals and a CUDA code written to evaluate the radiation spectra from charged particles with arbitrary trajectories. The CUDA/C++ code can evaluate both classical and quantum mechanical radiation spectra for spin 0 and 1/2 particles. We include multiple Coulomb scattering and energy loss due to radiation emission which produces radiation spectra in agreement with experimental spectra for both positrons and electrons. We also demonstrate how GPUs can be used to speed up calculations by several orders of magnitude. This will allow research groups with limited funding or sparse access to super computers to do numerical calculations as if it were a super computer. We show that one Titan V GPU can replace up to 100 Xeon 36 core CPUs running in parallel. We also show that choosing a GPU for a specific job will have great impact on the performance, as some GPUs have better double precision performance than others.


title: MD-Recon-Net: A Parallel Dual-Domain Convolutional Neural Network for Compressed Sensing MRI

abstract: Compressed sensing magnetic resonance imaging (CS-MRI) is a theoretical framework that can accurately reconstruct images from undersampled k-space data with a much lower sampling rate than the one set by the classical Nyquist-Shannon sampling theorem. Therefore, CS-MRI can efficiently accelerate acquisition time and relieve the psychological burden on patients while maintaining high imaging quality. The problems with traditional CS-MRI reconstruction are solved by iterative numerical solvers, which usually suffer from expensive computational cost and the lack of accurate handcrafted priori. In this paper, inspired by deep learning's (DL's) fast inference and excellent end-to-end performance, we propose a novel cascaded convolutional neural network called MD-Recon-Net to facilitate fast and accurate MRI reconstruction. Especially, different from existing DL-based methods, which operate on single domain data or both domains in a certain order, our proposed MD-Recon-Net contains two parallel and interactive branches that simultaneously perform on k-space and spatial-domain data, exploring the latent relationship between k-space and the spatial domain. The simulated experimental results show that the proposed method not only achieves competitive visual effects to several state-of-the-art methods, but also outperforms other DL-based methods in terms of model scale and computational cost.


title: RTOP: A Conceptual and Computational Framework for General Intelligence

abstract: A novel general intelligence model is proposed with three types of learning. A unified sequence of the foreground percept trace and the command trace translates into direct and time-hop observation paths to form the basis of Raw learning. Raw learning includes the formation of image-image associations, which lead to the perception of temporal and spatial relationships among objects and object parts; and the formation of image-audio associations, which serve as the building blocks of language. Offline identification of similar segments in the observation paths and their subsequent reduction into a common segment through merging of memory nodes leads to Generalized learning. Generalization includes the formation of interpolated sensory nodes for robust and generic matching, the formation of sensory properties nodes for specific matching and superimposition, and the formation of group nodes for simpler logic pathways. Online superimposition of memory nodes across multiple predictions, primarily the superimposition of images on the internal projection canvas, gives rise to Innovative learning and thought. The learning of actions happens the same way as raw learning while the action determination happens through the utility model built into the raw learnings, the utility function being the pleasure and pain of the physical senses.


title: The formation and decay of sunspot penumbra in Active Region NOAA 12673

abstract: To better understand the formation and decay of sunspot penumbra, we studied the evolution of sunspots in the three regions of the active-region NOAA 12673 in detail. The evolution of sunspots in the three regions were all involved in the interaction of two magnetic field systems: the pre-existing magnetic field system and the later emerging magnetic field system. Through analyzing the photospheric magnetic field properties, it is found that the formation of the penumbra originated from the newly emerging magnetic bipole that were trapped in the photosphere. The change of magnetic fields in penumbra from horizontal to vertical can cause the disappearance of penumbra. The transformation of the magnetic field between the umbra and the penumbra is found and the outward moat flow around sunspot gradually decreased and vanished during the decay of sunspot. In addition, we found that the mean longitudinal magnetic strength in penumbra decreased and the mean transverse magnetic strength in penumbra increased with the increasing penumbral area during the formation of sunspots. However, during the decay of sunspots, the mean longitudinal magnetic strength in penumbra increased and the mean transverse magnetic strength in penumbra decreased with the decreasing penumbral area. Comparatively, the dependence of the area and the mean transverse/longitudinal magnetic field strength in umbra is not remarkable. These results reveal that the formation and decay process of umbra are different with penumbra.


title: Spectral properties of quasars from Sloan Digital Sky Survey data release 14: The catalog

abstract: We present measurements of the spectral properties for a total of 526,265 quasars, out of which 63% have continuum S/N$>3$ pixel$^{-1}$, selected from the fourteenth data release of the Sloan Digital Sky Survey (SDSS-DR14) quasar catalog. We performed a careful and homogeneous analysis of the SDSS spectra of these sources, to estimate the continuum and line properties of several emission lines such as H${\alpha}$, H${\beta}$, H${\gamma}$, Mg \textsc{ii}, C \textsc{iii]}, C \textsc{iv} and Ly${\alpha}$. From the derived emission line parameters, we estimated single-epoch virial black hole masses ($M_{\mathrm{BH}}$) for the sample using H${\beta}$, Mg \textsc{ii} and C \textsc{iv} emission lines. The sample covers a wide range in bolometric luminosity ($\log L_{\mathrm{bol}}$; erg s$^{-1}$) between 44.4 and 47.3 and $\log M_{\mathrm{BH}}$ between 7.1 and 9.9 $M_{\odot}$. Using the ratio of $L_{\mathrm{bol}}$ to the Eddington luminosity as a measure of the accretion rate, the logarithm of the accretion rate is found to be in the range between $-$2.06 and 0.43. We performed several correlation analyses between different emission line parameters and found them to match with that known earlier using smaller samples. We noticed that strong Fe \textsc{ii} sources with large Balmer line width, and highly accreting sources with large $M_{\mathrm{BH}}$ are rare in our sample. We make available online an extended and complete catalog that contains various spectral properties of 526,265 quasars derived in this work along with other properties culled from the SDSS-DR14 quasar catalog.


title: Superconductivity at the Pressure-Induced Ferromagnetic Critical Region in UCoGe

abstract: The phase separation of the ferromagnetic (FM) and paramagnetic (PM) phases in the superconducting (SC) state of UCoGe at the FM critical region was investigated using $^{59}$Co nuclear quadrupole resonance (NQR) technique by taking advantage of its site-selective feature. The NQR measurements revealed that the first-order quantum phase transition occurs between the FM and the PM states. The nuclear spin-lattice relaxation rate $1/T_1$ exhibited a clear drop at the SC state in the PM phase, whereas it was not detected in the FM phase, which indicates that the superconductivity in the FM phase becomes weaker at the FM critical region due to the presence of the PM SC state. This result suggests that the SC condensation energy of the PM SC state is equal or larger than that of the FM SC state in this region. The pressure-temperature phase diagram of UCoGe was modified by taking the results from this study into account.


title: Efficient Decoupled Neural Architecture Search by Structure and Operation Sampling

abstract: We propose a novel neural architecture search algorithm via reinforcement learning by decoupling structure and operation search processes. Our approach samples candidate models from the multinomial distribution on the policy vectors defined on the two search spaces independently. The proposed technique improves the efficiency of architecture search process significantly compared to the conventional methods based on reinforcement learning with the RNN controllers while achieving competitive accuracy and model size in target tasks. Our policy vectors are easily interpretable throughout the training procedure, which allows to analyze the search progress and the discovered architectures; the black-box characteristics of the RNN controllers hamper understanding training progress in terms of policy parameter updates. Our experiments demonstrate outstanding performance compared to the state-of-the-art methods with a fraction of search cost.


title: Random 2.5D U-net for Fully 3D Segmentation

abstract: Convolutional neural networks are state-of-the-art for various segmentation tasks. While for 2D images these networks are also computationally efficient, 3D convolutions have huge storage requirements and therefore, end-to-end training is limited by GPU memory and data size. To overcome this issue, we introduce a network structure for volumetric data without 3D convolution layers. The main idea is to include projections from different directions to transform the volumetric data to a sequence of images, where each image contains information of the full data. We then apply 2D convolutions to these projection images and lift them again to volumetric data using a trainable reconstruction algorithm. The proposed architecture can be applied end-to-end to very large data volumes without cropping or sliding-window techniques. For a tested sparse binary segmentation task, it outperforms already known standard approaches and is more resistant to generation of artefacts.


title: Duality Hierarchies and Differential Graded Lie Algebras

abstract: The gauge theories underlying gauged supergravity and exceptional field theory are based on tensor hierarchies: generalizations of Yang-Mills theory utilizing algebraic structures that generalize Lie algebras and, as a consequence, require higher-form gauge fields. Recently, we proposed that the algebraic structure allowing for consistent tensor hierarchies is axiomatized by `infinity-enhanced Leibniz algebras' defined on graded vector spaces generalizing Leibniz algebras. It was subsequently shown that, upon appending additional vector spaces, this structure can be reinterpreted as a differential graded Lie algebra. We use this observation to streamline the construction of general tensor hierarchies, and we formulate dynamics in terms of a hierarchy of first-order duality relations, including scalar fields with a potential.


title: Filterbank design for end-to-end speech separation

abstract: Single-channel speech separation has recently made great progress thanks to learned filterbanks as used in ConvTasNet. In parallel, parameterized filterbanks have been proposed for speaker recognition where only center frequencies and bandwidths are learned. In this work, we extend real-valued learned and parameterized filterbanks into complex-valued analytic filterbanks and define a set of corresponding representations and masking strategies. We evaluate these filterbanks on a newly released noisy speech separation dataset (WHAM). The results show that the proposed analytic learned filterbank consistently outperforms the real-valued filterbank of ConvTasNet. Also, we validate the use of parameterized filterbanks and show that complex-valued representations and masks are beneficial in all conditions. Finally, we show that the STFT achieves its best performance for 2ms windows.


title: Spin Hall magnetoresistance sensor using Au$_x$Pt$_{1-x}$ as the spin-orbit torque biasing layer

abstract: We report on investigation of spin Hall magnetoresistance sensor based on NiFe/AuxPt1-x bilayers. Compared to NiFe/Pt, the NiFe/AuxPt1-x sensor exhibits a much lower power consumption (reduced by about 57%), due to 80% enhancement of spin-orbit torque efficiency of AuxPt1-x at an optimum composition of x = 0.19 as compared to pure Pt. The enhanced spin-orbit torque efficiency allows to increase the thickness of NiFe from 1.8 nm to 2.5 nm without significantly increasing the power consumption. We show that, by increasing the NiFe thickness, we were able to improve the working field range (0.86 Oe), operation temperature range (150 degree C) and detectivity (0.71 nT/sqrt(Hz) at 1 Hz) of the sensor, which is important for practical applications.


title: Connections on central extensions, lifting gerbes, and finite-dimensional obstruction vanishing

abstract: Given a central extension of Lie groups, we study the classification problem of lifting the structure group together with a given connection. For reductive structure groups we introduce a new connective structure on the lifting gerbe associated to this problem. Our main result classifies all connections on the central extension of a given principal bundle. In particular, we find that admissible connections are in one-to-one correspondence with parallel trivializations of the lifting gerbe. Moreover, we prove a vanishing result for Neeb's obstruction classes for finite-dimensional Lie groups.


title: Global 3D hydrodynamic modeling of in-transit Ly{\alpha} absorption of GJ436b

abstract: Using a global 3D, fully self-consistent, multi-fluid hydrodynamic model, we simulate the escaping upper atmosphere of the warm Neptune GJ436b, driven by the stellar XUV radiation impact and gravitational forces and interacting with the stellar wind. Under the typical parameters of XUV flux and stellar wind plasma expected for GJ436, we calculate in-transit absorption in Ly{\alpha} and find that it is produced mostly by Energetic Neutral Atoms outside of the planetary Roche lobe, due to the resonant thermal line broadening. At the same time, the influence of radiation pressure has been shown to be insignificant. The modelled absorption is in good agreement with the observations and reveals such features as strong asymmetry between blue and red wings of the absorbed Ly{\alpha} line profile, deep transit depth in the high velocity blue part of the line reaching more than 70%, and the timing of early ingress. On the other hand, the model produces significantly deeper and longer egress than in observations, indicating that there might be other processes and factors, still not accounted, that affect the interaction between the planetary escaping material and the stellar wind. At the same time, it is possible that the observational data, collected in different measurement campaigns, are affected by strong variations of the stellar wind parameters between the visits, and therefore, they cannot be reproduced altogether with the single set of model parameters.


title: INTEL-TAU: A Color Constancy Dataset

abstract: In this paper, we describe a new large dataset for illumination estimation. This dataset, called INTEL-TAU, contains 7022 images in total, which makes it the largest available high-resolution dataset for illumination estimation research. The variety of scenes captured using three different camera models, namely Canon 5DSR, Nikon D810, and Sony IMX135, makes the dataset appropriate for evaluating the camera and scene invariance of the different illumination estimation techniques. Privacy masking is done for sensitive information, e.g., faces. Thus, the dataset is coherent with the new General Data Protection Regulation (GDPR). Furthermore, the effect of color shading for mobile images can be evaluated with INTEL-TAU dataset, as both corrected and uncorrected versions of the raw data are provided. Furthermore, this paper benchmarks several color constancy approaches on the proposed dataset.


title: An explicit bound for integral points on modular curves

abstract: In this paper, we give a constant $C$ in \cite[Theorem 1.2]{sha2014bounding} by using an explicit Baker's inequality, hence we have an explicit bound of the integral points on modular curves.


title: Analyzing Trade-offs in Reversible Linear and Binary Search Algorithms

abstract: Reversible algorithms are algorithms in which each step represents a partial injective function; they are useful for performance optimization in reversible systems. In this study, using Janus, a reversible imperative high-level programming language, we have developed reversible linear and binary search algorithms. We have analyzed the non-trivial space-time trade-offs between them, focusing on the memory usage disregarding original inputs and outputs, the size of the output garbage disregarding the original inputs, and the maximum amount of traversal of the input. The programs in this study can easily be adapted to other reversible programming languages. Our analysis reveals that the change of the output data and/or the data structure affects the design of efficient reversible algorithms. For example, the number of input data traversals depends on whether the search has succeeded or failed, while it expectedly never changes in corresponding irreversible linear and binary searches. Our observations indicate the importance of the selection of data structures and what is regarded as the output with the aim of the reversible algorithm design.


title: Noncommutative Geometry, the spectral standpoint

abstract: We report on the following highlights from among the many discoveries made in Noncommutative Geometry since year 2000: 1) The interplay of the geometry with the modular theory for noncommutative tori, 2) Advances on the Baum-Connes conjecture, on coarse geometry and on higher index theory, 3) The geometrization of the pseudo-differential calculi using smooth groupoids, 4) The development of Hopf cyclic cohomology, 5) The increasing role of topological cyclic homology in number theory, and of the lambda operations in archimedean cohomology, 6) The understanding of the renormalization group as a motivic Galois group, 7) The development of quantum field theory on noncommutative spaces, 8) The discovery of a simple equation whose irreducible representations correspond to 4-dimensional spin geometries with quantized volume and give an explanation of the Lagrangian of the standard model coupled to gravity, 9) The discovery that very natural toposes such as the scaling site provide the missing algebro-geometric structure on the noncommutative adele class space underlying the spectral realization of zeros of L-functions.

categories: math.QA math-ph math.DG math.MP quant-ph


title: Controlling the Output Length of Neural Machine Translation

abstract: The recent advances introduced by neural machine translation (NMT) are rapidly expanding the application fields of machine translation, as well as reshaping the quality level to be targeted. In particular, if translations have to fit some given layout, quality should not only be measured in terms of adequacy and fluency, but also length. Exemplary cases are the translation of document files, subtitles, and scripts for dubbing, where the output length should ideally be as close as possible to the length of the input text. This paper addresses for the first time, to the best of our knowledge, the problem of controlling the output length in NMT. We investigate two methods for biasing the output length with a transformer architecture: i) conditioning the output to a given target-source length-ratio class and ii) enriching the transformer positional embedding with length information. Our experiments show that both methods can induce the network to generate shorter translations, as well as acquiring interpretable linguistic skills.


title: Critical Behaviors of Anderson Transitions in Three Dimensional Orthogonal Classes with Particle-hole Symmetries

abstract: From transfer-matrix calculation of localization lengths and their finite-size scaling analyses, we evaluate critical exponents of the Anderson metal-insulator transition in three dimensional (3D) orthogonal class with particle-hole symmetry, class CI, as $\nu=1.16\pm 0.02$. We further study disorder-driven quantum phase transitions in the 3D nodal line Dirac semimetal model, which belongs to class BDI, and estimate critical exponent as $\nu=0.80\pm 0.02$. From a comparison of the critical exponents, we conclude that a disorder-driven re-entrant insulator-metal transition from the topological insulator phase in the class BDI to the diffusive metal phase belongs to the same universality class as the Anderson transition in the 3D class BDI. We also argue that an infinitesimally small disorder drives the nodal line Dirac semimetal in the clean limit to the diffusive metal.


title: BanditRank: Learning to Rank Using Contextual Bandits

abstract: We propose an extensible deep learning method that uses reinforcement learning to train neural networks for offline ranking in information retrieval (IR). We call our method BanditRank as it treats ranking as a contextual bandit problem. In the domain of learning to rank for IR, current deep learning models are trained on objective functions different from the measures they are evaluated on. Since most evaluation measures are discrete quantities, they cannot be leveraged by directly using gradient descent algorithms without an approximation. BanditRank bridges this gap by directly optimizing a task-specific measure, such as mean average precision (MAP), using gradient descent. Specifically, a contextual bandit whose action is to rank input documents is trained using a policy gradient algorithm to directly maximize the reward. The reward can be a single measure, such as MAP, or a combination of several measures. The notion of ranking is also inherent in BanditRank, similar to the current \textit{listwise} approaches. To evaluate the effectiveness of BanditRank, we conducted a series of experiments on datasets related to three different tasks, i.e., web search, community, and factoid question answering. We found that it performs better than state-of-the-art methods when applied on the question answering datasets. On the web search dataset, we found that BanditRank performed better than four strong listwise baselines including LambdaMART, AdaRank, ListNet and Coordinate Ascent.


title: Magnetic Proximity Effect in 2D Ferromagnetic CrBr3/Graphene van der Waals Heterostructures

abstract: Two-dimensional (2D) van der Waals heterostructures serve as a promising platform to exploit various physical phenomena in a diverse range of novel spintronic device applications. The efficient spin injection is the prerequisite for these devices. The recent discovery of magnetic 2D materials leads to the possibility of fully 2D van der Waals spintronics devices by implementing spin injection through magnetic proximity effect (MPE). Here, we report the investigation of magnetic proximity effect in 2D CrBr3/graphene van der Waals heterostructures, which is probed by Zeeman spin Hall effect through non-local measurements. Zeeman splitting field estimation demonstrates a significant magnetic proximity exchange field even in a low magnetic field. Furthermore, the observed anomalous longitudinal resistance changes at the Dirac point R_(XX,D)with increasing magnetic field at {\nu} = 0 may attribute to the MPE induced new ground state phases. This MPE revealed in our CrBr3/graphene van der Waals heterostructures therefore provides a solid physics basis and key functionality for next generation 2D spin logic and memory devices.