• Let X be a proper smooth and connected surface over a finite field. We proved in [LLR2] that the order of the Brauer group Br(X) of X is a perfect square if it is finite. Our proof is based in part on a result of Gordon [Gor], which we used in [LLR1] to establish a key formula. Thomas Geisser noted that the formula in [LLR1] is incorrect, due to an omission in [Gor]. We explain in this corrigendum how to modify the work of Gordon to establish a correct formula. The corrected formula can be used to prove the result in [LLR2] without further modifications.
  • We investigate the spatially-resolved star formation main sequence in star-forming galaxies (SFGs) using Integral Field Spectroscopic (IFS) observations from the Mapping Nearby Galaxies at the Apache Point Observatory (MaNGA) survey. We demonstrate that the correlation between the stellar mass surface density ($\Sigma_*$) and star formation rate surface density ($\Sigma_{\mathrm{SFR}}$) holds down to sub-galactic scale, leading to the Sub-Galactic Main Sequence (SGMS). By dividing galaxies into two populations based on their recent mass assembly modes, we find the resolved main sequence in galaxies with 'outside-in' mode is steeper than that in galaxies with 'inside-out' mode. This is also confirmed on a galaxy-by-galaxy level, where we find the distributions of SGMS slopes for individual galaxies are clearly separated for the two populations. When normalizing and stacking the SGMS of individual galaxies on one panel for the two populations, we find the inner regions of galaxies with 'inside-out' mode statistically exhibit a suppression in star formation, with a less significant trend in the outer regions of galaxies with 'outside-in' mode. In contrast, the inner regions of galaxies with 'outside-in' mode and the outer regions of galaxies with 'inside-out' mode follow a slightly sub-linear scaling relation with a slope $\sim$0.9, which is in good agreement with previous findings, suggesting that they are experiencing a universal regulation without influences of additional physical processes.
  • Median absolute deviation (hereafter MAD) is known as a robust alternative to the ordinary variance. It has been widely utilized to induce robust statistical inferential procedures. In this paper, we investigate the strong and weak Bahadur representations of its bootstrap counterpart. As a useful application, we utilize the results to derive the weak Bahadur representation of the bootstrap sample projection depth weighted mean---a quite important location estimator depending on MAD.
  • In this paper, we derive the limit distribution of the least squares estimator for an AR(1) model with a non-zero intercept and a possible infinite variance. It turns out that the estimator has a quite different limit for the cases of $|\rho| < 1$, $|\rho| > 1$, and $\rho = 1 + \frac{c}{n^\alpha}$ for some constant $c \in R$ and $\alpha \in (0, 1]$, and whether or not the variance of the model errors is infinite also has a great impact on both the convergence rate and the limit distribution of the estimator.
  • Convolutional neural networks (CNNs) are one of the driving forces for the advancement of computer vision. Despite their promising performances on many tasks, CNNs still face major obstacles on the road to achieving ideal machine intelligence. One is that CNNs are complex and hard to interpret. Another is that standard CNNs require large amounts of annotated data, which is sometimes hard to obtain, and it is desirable to learn to recognize objects from few examples. In this work, we address these limitations of CNNs by developing novel, flexible, and interpretable models for few-shot learning. Our models are based on the idea of encoding objects in terms of visual concepts (VCs), which are interpretable visual cues represented by the feature vectors within CNNs. We first adapt the learning of VCs to the few-shot setting, and then uncover two key properties of feature encoding using VCs, which we call category sensitivity and spatial pattern. Motivated by these properties, we present two intuitive models for the problem of few-shot learning. Experiments show that our models achieve competitive performances, while being more flexible and interpretable than alternative state-of-the-art few-shot learning methods. We conclude that using VCs helps expose the natural capability of CNNs for few-shot learning.
  • Conversational agents are exploding in popularity. However, much work remains in the area of social conversation as well as free-form conversation over a broad range of domains and topics. To advance the state of the art in conversational AI, Amazon launched the Alexa Prize, a 2.5-million-dollar university competition where sixteen selected university teams were challenged to build conversational agents, known as socialbots, to converse coherently and engagingly with humans on popular topics such as Sports, Politics, Entertainment, Fashion and Technology for 20 minutes. The Alexa Prize offers the academic community a unique opportunity to perform research with a live system used by millions of users. The competition provided university teams with real user conversational data at scale, along with the user-provided ratings and feedback augmented with annotations by the Alexa team. This enabled teams to effectively iterate and make improvements throughout the competition while being evaluated in real-time through live user interactions. To build their socialbots, university teams combined state-of-the-art techniques with novel strategies in the areas of Natural Language Understanding, Context Modeling, Dialog Management, Response Generation, and Knowledge Acquisition. To support the efforts of participating teams, the Alexa Prize team made significant scientific and engineering investments to build and improve Conversational Speech Recognition, Topic Tracking, Dialog Evaluation, Voice User Experience, and tools for traffic management and scalability. This paper outlines the advances created by the university teams as well as the Alexa Prize team to achieve the common goal of solving the problem of Conversational AI.
  • Since its introduction 30 years ago, the lattice Boltzmann (LB) method has achieved great success in simulating fluid flows and modeling physics in fluids. Owing to its kinetic nature, the LB method has the capability to incorporate the essential microscopic or mesoscopic physics, and it is particularly successful in modeling transport phenomena involving complex boundaries and interfacial dynamics. The LB method can be considered to be an efficient numerical tool for fluid flow and heat transfer in porous media. Moreover, since the LB method is inherently transient, it is especially useful for investigating transient solid-liquid phase-change processes wherein the interfacial behaviors are very important. In this article, a comprehensive review of the LB methods for single-phase and solid-liquid phase-change heat transfer in porous media at both the pore scale and representative elementary volume (REV) scale. The review first introduces the fundamentals of the LB method for fluid flow and heat transfer. Then the REV-scale LB method for fluid flow and single-phase heat transfer in porous media, and the LB method for solid-liquid phase-change heat transfer, are described. Some applications of the LB methods for single-phase and solid-liquid phase-change heat transfer in porous media are provided. In addition, applications of the LB method to predict effective thermal conductivity of porous materials are also provided. Finally, further developments of the LB method in the related areas are discussed.
  • Simulating the stochastic evolution of real quantities on a digital computer requires a trade-off between the precision to which these quantities are approximated, and the memory required to store them. The statistical accuracy of the simulation is thus generally limited by the internal memory available to the simulator. Here, using tools from computational mechanics, we show that quantum processors with a fixed finite memory can simulate stochastic processes of real variables to arbitrarily high precision. This demonstrates a provable, unbounded memory advantage that a quantum simulator can exhibit over its best possible classical counterpart.
  • We study the convexity preserving property for a class of time-dependent Hamilton-Jacobi equations in a complete geodesic space. Assuming that the Hamiltonian is nondecreasing, we show that in a Busemann space the unique metric viscosity solution preserves the geodesic convexity of the initial value at any time. We provide two approaches and also discuss several generalizations for more general geodesic spaces including the lattice graph.
  • The magnetic transition-metal (TM) @ oxide nanoparticles have been of great interest due to their wide range of applications, from medical sensors in magnetic resonance imaging to photo-catalysis. Although several studies on small clusters of TM@oxide have been reported, the understanding of the physical electronic properties of TMn@(ZnO)42 is far from sufficient. In this work, the electronic, magnetic and optical properties of TMn@(ZnO)42 (TM = Fe, Co and Ni) hetero-nanostructure are investigated using the density functional theory (DFT). It has been found that the core-shell nanostructure Fe13@(ZnO)42, Co15@(ZnO)42 and Ni15@(ZnO)42 are the most stable structures. Moreover, it is also predicted that the variation of the magnetic moment and magnetism of Fe, Co and Ni in TMn@ZnO42 hetero-nanostructure mainly stems from effective hybridization between core TM-3d orbitals and shell O-2p orbitals, and a magnetic moment inversion for Fe15@(ZnO)42 is investigated. Finally, optical properties studied by calculations show a red shift phenomenon in the absorption spectrum compared with the case of (ZnO)48.
  • Double-diffusive convection in porous media is a common phenomenon in nature, and has received considerable attention in a wide variety of engineering applications. In this paper, a multiple-relaxation-time (MRT) lattice Boltzmann (LB) model is developed for simulating double-diffusive convection in porous media at the representative elementary volume scale. The MRT-LB model is constructed in the framework of the triple-distribution-function approach: the velocity field, the temperature and concentration fields are solved separately by three different MRT-LB equations. The present model has two distinctive features. First, the equilibrium moments of the temperature and concentration distributions have been modified, which makes the effective thermal diffusivity and heat capacity ratio as well as the effective mass diffusivity and porosity decoupled . This feature is very useful in practical applications. Second, source terms have been added into the MRT-LB equations of the temperature and concentration fields so as to recover the macroscopic temperature and concentration equations. Numerical tests demonstrate that the present model can serve as an accurate and efficient numerical method for simulating double-diffusive convection in porous media.
  • Previous findings show that massive ($> 10^{10} M_{sun}$) star-forming (SF) galaxies usually have an inside-out stellar mass assembly mode. In this paper, we have for the first time selected a sample of 77 massive SF galaxies with an outside-in assembly mode (called targeted sample) from the Mapping Nearby Galaxies at the Apache Point Observatory (MaNGA) survey. For comparison, two control samples are constructed from MaNGA sample matched in stellar mass: a sample of 154 normal SF galaxies and a sample of 62 quiescent galaxies. In contrast to normal SF galaxies, the targeted galaxies appear to be more smooth-like and bulge-dominated, and have smaller size, higher concentration, higher star formation rate and higher gas-phase metallicity as a whole. However, they have larger size and lower concentration than quiescent galaxies. Unlike normal SF sample, the targeted sample exhibits a slightly positive gradient of 4000 \AA\ break and a pronounced negative gradient of H${\alpha}$ equivalent width. Further more, their median surface mass density profile is between that of normal SF sample and quiescent sample, indicating that the gas accretion of quiescent galaxies is not likely to be the main approach for the outside-in assembly mode. Our results suggest that the targeted galaxies are likely in the transitional phase from normal SF galaxies to quiescent galaxies, with rapid on-going central stellar mass assembly (or bulge growth). We discuss several possible formation mechanisms for the outside-in mass assembly mode.
  • In the CLB method, a Bosanquet-type effective viscosity is employed to account for the rarefaction effect on the gas viscosity. To gain accurate simulations and to match the Bosanquet-type effective viscosity, the combined bounce-back/specular-reflection boundary scheme with a modified second-order slip boundary condition is adopted in the CLB method. The present method is applied to study gas flow in a microchannel with periodic boundary condition and gas flow in a long microchannel (the ratio of the length to the height L/H=100) with pressure boundary condition over a wide range of Knudsen numbers. The influence of the rarefaction effect on the velocity profile, the mass flow rate, and the non-linear pressure deviation distribution along the long microchannel are investigated.
  • In this paper, a non-orthogonal multiple-relaxation-time (MRT) lattice Boltzmann (LB) method for simulating incompressible thermal flows is presented. In the method, the incompressible Navier-Stokes equations and temperature equation are solved separately by two different MRT-LB equations, which are developed based on non-orthogonal basis vectors obtained from the combinations of the lattice velocity components. The macroscopic governing equations of incompressible thermal flows can be recovered from the method through the Chapman-Enskog analysis in the incompressible limit. Numerical simulations of several typical two-dimensional problems are carried out to validate the proposed method. It is found that the present results are in good agreement with the analytical solutions and/or other numerical results reported in the literature. Furthermore, the non-orthogonal MRT-LB model shows better numerical stability in comparison with the BGK-LB model, and the grid convergence tests indicate that the present MRT-LB method has a second-order convergence rate in space.
  • In this paper we study viscosity solutions of semilinear parabolic equations in the Heisenberg group. We show uniqueness of viscosity solutions with exponential growth at space infinity. We also study Lipschitz and horizontal convexity preserving properties under appropriate assumptions. Counterexamples show that in general such properties that are well-known for semilinear and fully nonlinear parabolic equations in the Euclidean spaces do not hold in the Heisenberg group.
  • In this paper, a multiple-relaxation-time (MRT) lattice Boltzmann (LB) model is developed for simulating incompressible axisymmetric thermal flows in porous media at the representative elementary volume (REV) scale. In the model, a D2Q9 MRT-LB equation is proposed to solve the flow field in addition to the D2Q5 LB equation for the temperature field. The source terms of the model are simple and contain no velocity and temperature gradient terms. The generalized axisymmetric Navier-Stokes equations for axisymmetric flows in porous media are correctly recovered from the MRT-LB model through the Chapman-Enskog analysis in the moment space. The present model is validated by numerical simulations of several typical axisymmetric thermal problems in porous media. The numerical results agree well with the data reported in the literature, demonstrating the effectiveness and accuracy of the present MRT-LB model for simulating axisymmetric thermal flows in porous media.
  • In this paper, a two-dimensional eight-velocity (D2Q8) multiple-relaxation-time (MRT) lattice Boltzmann (LB) model is proposed for incompressible porous flows at the representative elementary volume scale based on the Brinkman-Forchheimer-extended Darcy formulation. In the model, the porosity is included into the pressure-based equilibrium moments, and the linear and nonlinear drag forces of the porous media are incorporated into the model by adding a forcing term to the MRT-LB equation in the moment space. Through the Chapman-Enskog analysis, the generalized Navier-Stokes equations can be recovered exactly without artificial compressible errors. Numerical simulations of several typical two-dimensional porous flows are carried out to validate the present MRT-LB model. The numerical results of the present MRT-LB model are in good agreement with the analytical solutions and/or other numerical solutions reported in the literature.
  • In this paper, a double multiple-relaxation-time lattice Boltzmann model is developed for simulating transient solid-liquid phase change problems in porous media at the representative elementary volume scale. The model uses two different multiple-relaxation-time lattice Boltzmann equations, one for the flow field and the other for the temperature field with nonlinear latent heat source term. The model is based on the generalized non-Darcy formulation, and the solid-liquid phase change interface is traced through the liquid fraction which is determined by the enthalpy method. The model is validated by numerical simulations of conduction melting in a semi-infinite space, solidification in a semi-infinite corner, and convection melting in a square cavity filled with porous media. The numerical results demonstrate the efficiency and accuracy of the present model for simulating transient solid-liquid phase change problems in porous media.
  • The Tsinghua University-National Astronomical Observatories of China (NAOC) Transient Survey (TNTS) is an automatic survey for a systematic exploration of optical transients (OTs), conducted with a 60/90 cm Schmidt telescope at Xinglong station of NAOC. This survey repeatedly covers ~ 1000 square degrees of the north sky with a cadence of 3-4 days. With an exposure of 60 s, the survey reaches a limited unfiltered magnitude of about 19.5 mag. This enables us to discover supernovae at their relatively young stages. In this paper, we describe the overall performance of our survey during the first year and present some preliminary results.
  • Let F be a global field. In this work, we show that the Brauer-Manin condition on adelic points for subvarieties of a torus T over F cuts out exactly the rational points, if either F is a function field or, if F is the field of rational numbers and T is split. As an application, we prove a conjecture of Harari-Voloch over global function fields which states, roughly speaking, that on any rational hyperbolic curve, the local integral points with the Brauer-Manin condition are the global integral points. Finally we prove for tori over number fields a theorem of Stoll on adelic points of zero-dimensional subvarieties in abelian varieties.
  • We develop an arbitrage-free framework for consistent valuation of derivative trades with collateralization, counterparty credit gap risk, and funding costs, following the approach first proposed by Pallavicini and co-authors in 2011. Based on the risk-neutral pricing principle, we derive a general pricing equation where Credit, Debit, Liquidity and Funding Valuation Adjustments (CVA, DVA, LVA and FVA) are introduced by simply modifying the payout cash-flows of the deal. Funding costs and specific close-out procedures at default break the bilateral nature of the deal price and render the valuation problem a non-linear and recursive one. CVA and FVA are in general not really additive adjustments, and the risk for double counting is concrete. We introduce a new adjustment, called a Non-linearity Valuation Adjustment (NVA), to address double-counting. The theoretical risk free rate disappears from our final equations. The framework can be tailored also to CCP trading under initial and variation margins, as explained in detail in Brigo and Pallavicini (2014). In particular, we allow for asymmetric collateral and funding rates, replacement close-out and re-hypothecation. The valuation equation takes the form of a backward stochastic differential equation or semi-linear partial differential equation, and can be cast as a set of iterative equations that can be solved by least-squares Monte Carlo. We propose such a simulation algorithm in a case study involving a generalization of the benchmark model of Black and Scholes for option pricing. Our numerical results confirm that funding risk has a non-trivial impact on the deal price, and that double counting matters too. We conclude the article with an analysis of large scale implications of non-linearity of the pricing equations.
  • Let X/S be a quasi-projective morphism over an affine base. We develop in this article a technique for proving the existence of closed subschemes H/S of X/S with various favorable properties. We offer several applications of this technique, including the existence of finite quasi-sections in certain projective morphisms, and the existence of hypersurfaces in X/S containing a given closed subscheme C, and intersecting properly a closed set F. Assume now that the base S is the spectrum of a ring R such that for any finite morphism Z -> S, Pic(Z) is a torsion group. This condition is satisfied if R is the ring of integers of a number field, or the ring of functions of a smooth affine curve over a finite field. We prove in this context a moving lemma pertaining to horizontal 1-cycles on a regular scheme X quasi-projective and flat over S. We also show the existence of a finite surjective S-morphism to the projective space P_S^d for any scheme X projective over S when X/S has all its fibers of a fixed dimension d.
  • Let S be a Dedekind scheme with field of functions K. We show that if X_K is a smooth connected proper curve of positive genus over K, then it admits a N\'eron model over S, i.e., a smooth separated model of finite type satisfying the usual N\'eron mapping property. It is given by the smooth locus of the minimal proper regular model of X_K over S, as in the case of elliptic curves. When S is excellent, a similar result holds for connected smooth affine curves different from the affine line, with locally finite type N\'eron models.
  • In this paper, a two-dimensional (2D) multiple-relaxation-time (MRT) lattice Boltzmann (LB) model is developed for simulating convection heat transfer in porous media at the representative elementary volume scale. In the model, a MRT-LB equation is used to simulate the flow field, while another MRT-LB equation is employed to simulate the temperature field. The effect of the porous media is considered by introducing the porosity into the equilibrium moments, and adding a forcing term to the MRT-LB equation of the flow field in the moment space. The present MRT-LB model is validated by numerical simulations of several 2D convection problems in porous media. The numerical results are in good agreement with the well-documented data reported in the literature.
  • We provide an alternative approach to the existence of solutions to dynamic programming equations arising in the discrete game-theoretic interpretations for various nonlinear partial differential equations including the infinity Laplacian, mean curvature flow and Hamilton-Jacobi type. Our general result is similar to Perron's method but adapted to the discrete situation.