title: The ALMA Frontier Fields survey V: ALMA Stacking of Lyman-Break Galaxies in Abell 2744, Abell 370, Abell S1063, MACSJ0416.1-2403 and MACSJ1149.5+2223

abstract: The Hubble Frontier Fields offer an exceptionally deep window into the high-redshift universe, covering a substantially larger area than the Hubble Ultra-Deep field at low magnification and probing 1--2 mags deeper in exceptional high-magnification regions. We aim to leverage Atacama Large Millimetre Array (ALMA) band 6 ($\approx$263\,GHz) mosaics in the central portions of five Frontier Fields to characterize the infrared (IR) properties of $1582$ ultraviolet (UV)-selected Lyman-Break Galaxies (LBGs) at redshifts of $z {\sim}$2--8. We investigated individual and stacked fluxes and IR excess (IRX) values of the LBG sample as functions of stellar mass ($\mathrm{M}_{\bigstar}$), redshift, UV luminosity and slope $\beta$, and lensing magnification. Two (2) LBG candidates were individually detected above a significance of $4.1{-}\sigma$, while stacked samples of the remaining LBG candidates yielded no significant detections. We investigated our detections and upper limits in the context of the IRX-$\mathrm{M}_{\bigstar}$ and IRX-$\beta$ relations, probing at least one dex lower in stellar mass than past studies have done. Our upper limits exclude substantial portions of parameter space and they are sufficiently deep in a handful of cases to create mild tension with the typically assumed attenuation and consensus relations. We observe a clear and smooth trend between $\mathrm{M}_{\bigstar}$ and $\beta$, which extends to low masses and blue (low) $\beta$ values, consistent with expectations from previous works.


title: Lengths of Local Cohomology of Thickenings

abstract: Let $R$ be a standard graded polynomial ring that is finitely generated over a field of characteristic $0$, let $\mathfrak{m}$ be the homogeneous maximal ideal of $R$, and let $I$ be a homogeneous prime ideal of $R$. Dao and Monta\~{n}o defined an invariant that, in the case that $\operatorname{Proj}(R/I)$ is lci and for cohomological index less than $\dim(R/I)$, measures the asymptotic growth of lengths of local cohomology modules of thickenings. They showed its existence and rationality for certain classes of monomial ideals $I$. The following affirms that the invariant exists and is rational for rings $R = \mathbb{C}[X]$ where $X$ is a $2 \times m$ matrix and $I$ is the ideal generated by size two minors and is to our knowledge, the first non-monomial calculation of this invariant.


title: Detection of Face Recognition Adversarial Attacks

abstract: Deep Learning methods have become state-of-the-art for solving tasks such as Face Recognition (FR). Unfortunately, despite their success, it has been pointed out that these learning models are exposed to adversarial inputs - images to which an imperceptible amount of noise for humans is added to maliciously fool a neural network - thus limiting their adoption in real-world applications. While it is true that an enormous effort has been spent in order to train robust models against this type of threat, adversarial detection techniques have recently started to draw attention within the scientific community. A detection approach has the advantage that it does not require to re-train any model, thus it can be added on top of any system. In this context, we present our work on adversarial samples detection in forensics mainly focused on detecting attacks against FR systems in which the learning model is typically used only as a features extractor. Thus, in these cases, train a more robust classifier might not be enough to defence a FR system. In this frame, the contribution of our work is four-fold: i) we tested our recently proposed adversarial detection approach against classifier attacks, i.e. adversarial samples crafted to fool a FR neural network acting as a classifier; ii) using a k-Nearest Neighbor (kNN) algorithm as a guidance, we generated deep features attacks against a FR system based on a DL model acting as features extractor, followed by a kNN which gives back the query identity based on features similarity; iii) we used the deep features attacks to fool a FR system on the 1:1 Face Verification task and we showed their superior effectiveness with respect to classifier attacks in fooling such type of system; iv) we used the detectors trained on classifier attacks to detect deep features attacks, thus showing that such approach is generalizable to different types of offensives.


title: An Empirical Study on the Intrinsic Privacy of SGD

abstract: Introducing noise in the training of machine learning systems is a powerful way to protect individual privacy via differential privacy guarantees, but comes at a cost to utility. This work looks at whether the inherent randomness of stochastic gradient descent (SGD) could contribute to privacy, effectively reducing the amount of \emph{additional} noise required to achieve a given privacy guarantee. We conduct a large-scale empirical study to examine this question. Training a grid of over 120,000 models across four datasets (tabular and images) on convex and non-convex objectives, we demonstrate that the random seed has a larger impact on model weights than any individual training example. We test the distribution over weights induced by the seed, finding that the simple convex case can be modelled with a multivariate Gaussian posterior, while neural networks exhibit multi-modal and non-Gaussian weight distributions. By casting convex SGD as a Gaussian mechanism, we then estimate an `intrinsic' data-dependent $\epsilon_i(\mathcal{D})$, finding values as low as 6.3, dropping to 1.9 using empirical estimates. We use a membership inference attack to estimate $\epsilon$ for non-convex SGD and demonstrate that hiding the random seed from the adversary results in a statistically significant reduction in attack performance, corresponding to a reduction in the effective $\epsilon$. These results provide empirical evidence that SGD exhibits appreciable variability relative to its dataset sensitivity, and this `intrinsic noise' has the potential to be leveraged to improve the utility of privacy-preserving machine learning.


title: Weathering Adaptation: Grid Infrastructure Planning in a Changing Climate

abstract: Decisions related to electric power systems planning and operations rely on assumptions and insights informed by historic weather data and records of past performance. Evolving climate trends are, however, changing the energy use patterns and operating conditions of grid assets, thus altering the nature and severity of risks the system faces. Because grid assets remain in operation for decades, planning for evolving risks will require incorporating climate projections into grid infrastructure planning processes. The current work traces a pathway for climate-aware decision-making in the electricity sector. We evaluate the suitability of using existing climate models and data for electricity planning and discuss their limitations. We review the interactions between grid infrastructure and climate by synthesizing what is known about how changing environmental operating conditions would impact infrastructure utilization, constraints, and performance. We contextualize our findings by presenting a case study of California, examining if and where climate data can be integrated into infrastructure planning processes. The core contribution of the work is a series of nine recommendations detailing advancements in climate projections, grid modeling architecture, and disaster preparedness that would be needed to ensure that infrastructure planning decisions are robust to uncertainty and risks associated with evolving climate conditions.

categories: physics.soc-ph cs.SY eess.SY physics.ao-ph


title: Morphisms to noncommutative projective lines

abstract: Let $k$ be a field, let ${\sf C}$ be a $k$-linear abelian category, let $\underline{\mathcal{L}}:=\{\mathcal{L}_{i}\}_{i \in \mathbb{Z}}$ be a sequence of objects in ${\sf C}$, and let $B_{\underline{\mathcal{L}}}$ be the associated orbit algebra. We describe sufficient conditions on $\underline{\mathcal{L}}$ such that there is a canonical morphism from the noncommutative space ${\sf Proj }B_{\underline{\mathcal{L}}}$ to a noncommutative projective line in the sense of \cite{abstractp1}, generalizing the usual construction of a map from a scheme $X$ to $\mathbb{P}^{1}$ defined by an invertible sheaf $\mathcal{L}$ generated by two global sections. We then apply our results to construct, for every natural number $d>2$, a degree two cover of Piontkovski's $d$th noncommutative projective line by a noncommutative elliptic curve in the sense of Polishchuk.


title: At the Corner of Space and Time

abstract: We perform a rigorous piecewise-flat discretization of classical general relativity in the first-order formulation, in both 2+1 and 3+1 dimensions, carefully keeping track of curvature and torsion via holonomies. We show that the resulting phase space is precisely that of spin networks, the quantum states of discrete spacetime in loop quantum gravity, with additional degrees of freedom called edge modes, which control the gluing between cells. This work establishes, for the first time, a rigorous proof of the equivalence between spin networks and piecewise-flat geometries with curvature and torsion degrees of freedom. In addition, it demonstrates that careful consideration of edge modes is crucial both for the purpose of this proof and for future work in the field of loop quantum gravity. It also shows that spin networks have a dual description related to teleparallel gravity, where gravity is encoded in torsion instead of curvature degrees of freedom. Finally, it sets the stage for collaboration between the loop quantum gravity community and theoretical physicists working on edge modes from other perspectives, such as quantum electrodynamics, non-abelian gauge theories, and classical gravity.


title: Generating 3D People in Scenes without People

abstract: We present a fully automatic system that takes a 3D scene and generates plausible 3D human bodies that are posed naturally in that 3D scene. Given a 3D scene without people, humans can easily imagine how people could interact with the scene and the objects in it. However, this is a challenging task for a computer as solving it requires that (1) the generated human bodies to be semantically plausible within the 3D environment (e.g. people sitting on the sofa or cooking near the stove), and (2) the generated human-scene interaction to be physically feasible such that the human body and scene do not interpenetrate while, at the same time, body-scene contact supports physical interactions. To that end, we make use of the surface-based 3D human model SMPL-X. We first train a conditional variational autoencoder to predict semantically plausible 3D human poses conditioned on latent scene representations, then we further refine the generated 3D bodies using scene constraints to enforce feasible physical interaction. We show that our approach is able to synthesize realistic and expressive 3D human bodies that naturally interact with 3D environment. We perform extensive experiments demonstrating that our generative framework compares favorably with existing methods, both qualitatively and quantitatively. We believe that our scene-conditioned 3D human generation pipeline will be useful for numerous applications; e.g. to generate training data for human pose estimation, in video games and in VR/AR. Our project page for data and code can be seen at: \url{https://vlg.inf.ethz.ch/projects/PSI/}.


title: Designing for Privacy and Confidentiality on Distributed Ledgers for Enterprise (Industry Track)

abstract: Distributed ledger technology offers numerous desirable attributes to applications in the enterprise context. However, with distributed data and decentralized computation on a shared platform, privacy and confidentiality challenges arise. Any design for an enterprise system needs to carefully cater for use case specific privacy and confidentiality needs. With the goal to facilitate the design of enterprise solutions, this paper aims to provide a guide to navigate and aid in decisions around common requirements and mechanisms that prevent the leakage of private and confidential information. To further contextualize key concepts, the design guide is then applied to three enterprise DLT protocols: Hyperledger Fabric, Corda, and Quorum.


title: A criterion for slip transfer at grain boundaries in Al

abstract: The slip transfer phenomenon was studied at the grain boundaries of pure Aluminum by means of slip trace analysis. Either slip transfer or blocked slip was analyzed in more than 250 grain boundaries and the likelihood of slip transfer between two slip systems across the boundary was assessed. The experimental results indicate that slip transfer was very likely to occur if the residual Burgers vector, $\Delta$b, was below 0.35b and the Luster- Morris parameter was higher than 0.9, and that the ratio of the Luster-Morris parameter and the residual Burgers vector has a threshold above which slip transfer is probable.


title: Locally common graphs

abstract: Goodman proved that the sum of the number of triangles in a graph on $n$ nodes and its complement is at least $n^3/24$; in other words, this sum is minimized, asymptotically, by a random graph with edge density $1/2$. Erd\H{o}s conjectured that a similar inequality will hold for $K_4$ in place of $K_3$, but this was disproved by Thomason. But an analogous statement does hold for some other graphs, which are called {\it common graphs}. A characterization of common graphs seems, however, out of reach. Franek and R\"odl proved that $K_4$ is common in a weaker, local sense. Using the language of graph limits, we study two versions of locally common graphs. We sharpen a result of Jagger, \v{S}tov\'{\i}\v{c}ek and Thomason by showing that no graph containing $K_4$ can be locally common, but prove that all such graphs are weakly locally common. We also show that not all connected graphs are weakly locally common.


title: Smart Cloud: Scalable Cloud Robotic Architecture for Web-powered Multi-Robot Applications

abstract: Robots have inherently limited onboard processing, storage, and power capabilities. Cloud computing resources have the potential to provide significant advantages for robots in many applications. However, to make use of these resources, frameworks must be developed that facilitate robot interactions with cloud services. In this paper, we propose a cloud-based architecture called Smart Cloud that intends to overcome the physical limitations of single- or multi-robot systems through massively parallel computation, provided on demand by cloud services. Smart Cloud is implemented on Amazon Web Services (AWS) and available for robots running on the Robot Operating System (ROS) and on the non-ROS systems. Smart Cloud features a first-of-its-kind architecture that incorporates JavaScript-based libraries to run various robotic applications related to machine learning and other methods. This paper presents the architecture and its performance in terms of CPU usage and latency, and finally validates it for navigation and machine learning applications.


title: Bregman dynamics, contact transformations and convex optimization

abstract: Recent research on accelerated gradient methods of use in optimization has demonstrated that these methods can be derived as discretizations of dynamical systems. This, in turn, has provided a basis for more systematic investigations, especially into the geometric structure of those dynamical systems and their structure--preserving discretizations. In this work, we introduce dynamical systems defined through a contact geometry which are not only naturally suited to the optimization goal but also subsume all previous methods based on geometric dynamical systems. As a consequence, all the deterministic flows used in optimization share an extremely interesting geometric property: they are invariant under contact transformations. In our main result, we exploit this observation to show that the celebrated Bregman Hamiltonian system can always be transformed into an equivalent but separable Hamiltonian by means of a contact transformation. This in turn enables the development of fast and robust discretizations through geometric contact splitting integrators. As an illustration, we propose the Relativistic Bregman algorithm, and show in some paradigmatic examples that it compares favorably with respect to standard optimization algorithms such as classical momentum and Nesterov's accelerated gradient.


title: On Parshin-Arakelov theorem and uniformity of $S$-integral sections on elliptic surfaces

abstract: Let $f \colon X \to B$ be a complex elliptic surface and let $\DD \subset X$ be an integral divisor dominating $B$. It is well-known that the Parshin-Arakelov theorem implies the Mordell conjecture over complex function fields by a beautiful covering trick of Parshin. In this article, we construct a similar map in the context of $(S, \DD)$-integral points on elliptic curves over function fields to obtain a new proof of certain uniform finiteness results on the number of $(S, \DD)$-integral points. A second new proof is also given by establishing a uniform bound on the canonical height by means of the tautological inequality. In particular, our construction provides certain uniform quantitative informations on the set-theoretic intersection of curves with the singular divisor in the compact moduli space of stable curves.


title: Finiteness criteria and uniformity of integral sections in some families of abelian varieties

abstract: Let $A$ be abelian variety over the function field $K$ of a compact Riemann surface $B$. Fix a model $f \colon \mathcal{A} \to B$ of $A/K$ and a certain effective horizontal divisor $\DD \subset \mathcal{A}$. We give a sufficient condition on the divisor $\DD$ for the finiteness of the set of $(S, \DD)$-integral sections for every finite subset $S \subset B$. These integral sections $\sigma$ correspond to rational points in $A(K)$ which satisfy the geometric condition $f ( \sigma(B) \cap \DD)\subset S$. This notion is the geometric variant of integral solutions of a system of \emph{Diophantine equations}. When $\mathcal{A}= A_0 \times B$ for some complex abelian variety $A_0$, we also give a certain uniform bound on the number of $(S, \DD)$-integral sections. For trivial families of abelian surfaces, a numerical criterion on $\DD$ for the finiteness of $(S, \DD)$-integral sections is obtained.


title: Boundedness of minimal partial du Val resolutions of canonical surface foliations

abstract: In this paper, we prove the boundedness of foliated surfaces $(X,\mathscr{F})$ which are minimal partial du Val resolutions of canonical models $(X_c,\mathscr{F}_c)$ of general type. For applications, we show the boundedness of non-cusp singularities on canonical models of foliated surfaces of general type and the effective generation on the complement of the cusp singularities.


title: Generalized integral points on abelian varieties and the Geometric Lang-Vojta conjecture

abstract: Let $A$ be an abelian variety over the function field $K$ of a compact Riemann surface $B$. Fix a model $f \colon \mathcal{A} \to B$ of $A/K$ and an effective horizontal divisor $\mathcal{D} \subset \mathcal{A}$. We study $(S, \mathcal{D})$-integral sections $\sigma$ of $\mathcal{A}$ where $S \subset B$ is arbitrary. These sections $\sigma$ are algebraic and satisfy the geometric condition $f(\sigma(B) \cap \mathcal{D})\subset S$. Developing the idea of Parshin, we formulate a hyperbolic-homotopic height of such sections as a substitute for intersection theory to establish new results concerning the finiteness and the polynomial growth of large unions of $(S, \mathcal{D})$-integral points where $S$ is only required to be finite in a thin analytic open subset of $B$. Such results are out of reach of purely algebraic methods and imply new evidence and interesting phenomena to the Geometric Lang-Vojta conjecture.


title: Risk-Aware MMSE Estimation

abstract: Despite the simplicity and intuitive interpretation of Minimum Mean Squared Error (MMSE) estimators, their effectiveness in certain scenarios is questionable. Indeed, minimizing squared errors on average does not provide any form of stability, as the volatility of the estimation error is left unconstrained. When this volatility is statistically significant, the difference between the average and realized performance of the MMSE estimator can be drastically different. To address this issue, we introduce a new risk-aware MMSE formulation which trades between mean performance and risk by explicitly constraining the expected predictive variance of the involved squared error. We show that, under mild moment boundedness conditions, the corresponding risk-aware optimal solution can be evaluated explicitly, and has the form of an appropriately biased nonlinear MMSE estimator. We further illustrate the effectiveness of our approach via several numerical examples, which also showcase the advantages of risk-aware MMSE estimation against risk-neutral MMSE estimation, especially in models involving skewed, heavy-tailed distributions.

categories: math.OC cs.IT cs.SY eess.SP eess.SY math.IT stat.ML


title: Surveying the reach and maturity of machine learning and artificial intelligence in astronomy

abstract: Machine learning (automated processes that learn by example in order to classify, predict, discover or generate new data) and artificial intelligence (methods by which a computer makes decisions or discoveries that would usually require human intelligence) are now firmly established in astronomy. Every week, new applications of machine learning and artificial intelligence are added to a growing corpus of work. Random forests, support vector machines, and neural networks (artificial, deep, and convolutional) are now having a genuine impact for applications as diverse as discovering extrasolar planets, transient objects, quasars, and gravitationally-lensed systems, forecasting solar activity, and distinguishing between signals and instrumental effects in gravitational wave astronomy. This review surveys contemporary, published literature on machine learning and artificial intelligence in astronomy and astrophysics. Applications span seven main categories of activity: classification, regression, clustering, forecasting, generation, discovery, and the development of new scientific insight. These categories form the basis of a hierarchy of maturity, as the use of machine learning and artificial intelligence emerges, progresses or becomes established.


title: Distortion of Magnetic Fields in a Starless Core VI: Application of Flux Freezing Model and Core Formation of FeSt 1-457

abstract: Observational data for the hourglass-like magnetic field toward the starless dense core FeSt 1-457 were compared with a flux freezing magnetic field model (Myers et al. 2018). Fitting of the observed plane-of-sky magnetic field using the flux freezing model gave a residual angle dispersion comparable with the results based on a simple three-dimensional parabolic model. The best-fit parameters for the flux freezing model were a line-of-sight magnetic inclination angle of $\gamma_{\rm mag} = 35^{\circ} \pm 15^{\circ}$ and a core center to ambient (background) density contrast of $\rho_{\rm c} / \rho_{\rm bkg} = 75$. The initial density for core formation ($\rho_0$) was estimated to be $\rho_{\rm c} / 75 = 4670$ cm$^{-3}$, which is about one order of magnitude higher than the expected density ($\sim 300$ cm$^{-3}$) for the inter-clump medium of the Pipe Nebula. FeSt 1-457 is likely to have been formed from the accumulation of relatively dense gas, and the relatively dense background column density of $A_V \simeq 5$ mag supports this scenario. The initial radius (core formation radius) $R_0$ and the initial magnetic field strength $B_0$ were obtained to be 0.15 pc ($1.64 R$) and $10.8-14.6$ $\mu$G, respectively. We found that the initial density $\rho_0$ is consistent with the mean density of the nearly critical magnetized filament with magnetic field strength $B_0$ and radius $R_0$. The relatively dense initial condition for core formation can be naturally understood if the origin of the core is the fragmentation of magnetized filaments.


title: Laser modulation of superconductivity in a cryogenic widefield nitrogen-vacancy microscope

abstract: Microscopic imaging based on nitrogen-vacancy (NV) centres in diamond, a tool increasingly used for room-temperature studies of condensed matter systems, has recently been extended to cryogenic conditions. However, it remains unclear whether the technique is viable for imaging temperature-sensitive phenomena below 10 K given the inherent laser illumination requirements, especially in a widefield configuration. Here we realise a widefield NV microscope with a field of view of 100 $\mu$m and a base temperature of 4 K, and use it to image Abrikosov vortices and transport currents in a superconducting Nb film. We observe the disappearance of vortices upon increase of laser power and their clustering about hot spots upon decrease, indicating that laser powers as low as 1 mW (4 orders of magnitude below the NV saturation) are sufficient to locally quench the superconductivity of the film ($T_c = 9$ K). This significant local heating is confirmed by resistance measurements, which reveal the presence of large temperature gradients (several K) across the film. We then investigate the effect of such gradients on transport currents, where the current path is seen to correlate with the temperature profile even in the fully superconducting phase. In addition to highlighting the role of temperature inhomogeneities in superconductivity phenomena, this work establishes that, under sufficiently low laser power conditions, widefield NV microscopy enables imaging over mesoscopic scales down to 4 K with a submicrometer spatial resolution, providing a new platform for real-space investigations of a range of systems from topological insulators to van der Waals ferromagnets.


title: End-to-end Training of CNN-CRF via Differentiable Dual-Decomposition

abstract: Modern computer vision (CV) is often based on convolutional neural networks (CNNs) that excel at hierarchical feature extraction. The previous generation of CV approaches was often based on conditional random fields (CRFs) that excel at modeling flexible higher order interactions. As their benefits are complementary they are often combined. However, these approaches generally use mean-field approximations and thus, arguably, did not directly optimize the real problem. Here we revisit dual-decomposition-based approaches to CRF optimization, an alternative to the mean-field approximation. These algorithms can efficiently and exactly solve sub-problems and directly optimize a convex upper bound of the real problem, providing optimality certificates on the way. Our approach uses a novel fixed-point iteration algorithm which enjoys dual-monotonicity, dual-differentiability and high parallelism. The whole system, CRF and CNN can thus be efficiently trained using back-propagation. We demonstrate the effectiveness of our system on semantic image segmentation, showing consistent improvement over baseline models.


title: Lower Bounds for Compressed Sensing with Generative Models

abstract: The goal of compressed sensing is to learn a structured signal $x$ from a limited number of noisy linear measurements $y \approx Ax$. In traditional compressed sensing, "structure" is represented by sparsity in some known basis. Inspired by the success of deep learning in modeling images, recent work starting with~\cite{BJPD17} has instead considered structure to come from a generative model $G: \mathbb{R}^k \to \mathbb{R}^n$. We present two results establishing the difficulty of this latter task, showing that existing bounds are tight. First, we provide a lower bound matching the~\cite{BJPD17} upper bound for compressed sensing from $L$-Lipschitz generative models $G$. In particular, there exists such a function that requires roughly $\Omega(k \log L)$ linear measurements for sparse recovery to be possible. This holds even for the more relaxed goal of \emph{nonuniform} recovery. Second, we show that generative models generalize sparsity as a representation of structure. In particular, we construct a ReLU-based neural network $G: \mathbb{R}^{2k} \to \mathbb{R}^n$ with $O(1)$ layers and $O(kn)$ activations per layer, such that the range of $G$ contains all $k$-sparse vectors.


title: 3-Manifolds with nilpotent embeddings in $S^4$

abstract: We consider embeddings of 3-manifolds $M$ in $S^4$ such that the two complementary regions $X$ and $Y$ each have nilpotent fundamental group. If $\beta=\beta_1(M)$ is odd then these groups are abelian and $\beta\leq3$. In general, $\pi_1(X)$ and $\pi_1(Y)$ have 3-generator presentations, and $\beta\leq6$. We determine all such nilpotent groups which are torsion-free and have Hirsch length $\leq5$.


title: Linear encoding of the spatiotemporal cat

abstract: The dynamics of an extended, spatiotemporally chaotic system might appear extremely complex. Nevertheless, the local dynamics, observed through a finite spatiotemporal window, can often be thought of as a visitation sequence of a finite repertoire of finite patterns. To make statistical predictions about the system, one needs to know how often a given pattern occurs. Here we address this fundamental question within a spatiotemporal cat, a 1-dimensional spatial lattice of coupled cat maps evolving in time. In spatiotemporal cat, any spatiotemporal state is labeled by a unique 2-dimensional lattice of symbols from a finite alphabet, with the lattice states and their symbolic representation related linearly (hence "linear encoding"). We show that the state of the system over a finite spatiotemporal domain can be described with exponentially increasing precision by a finite pattern of symbols, and we provide a systematic, lattice Green's function methodology to calculate the frequency (i.e., the measure) of such states.

categories: nlin.CD cond-mat.stat-mech hep-lat math-ph math.MP


title: Global Simulations of the Vertical Shear Instability with Non-ideal Magnetohydrodynamical Effects

abstract: The mechanisms of angular momentum transport and level of turbulence in protoplanetary disks (PPDs) are crucial for understanding many aspects of planet formation. In the recent years, it has been realized that the magneto-rotational instability (MRI) tends to be suppressed in PPDs due to non-ideal MHD effects, and the disk is largely laminar with accretion driven by magnetized disk winds. In parallel, several hydrodynamical mechanisms have been identified that likely also generate vigorous turbulence and drive disk accretion. We study the interplay between MHD winds in PPDs with the vertical shear instability (VSI), one of the most promising hydrodynamical mechanisms, through 2D global non-ideal MHD simulations with ambipolar diffusion and Ohmic resistivity. We find that for typical disk parameters, MHD winds can coexist with the VSI with accretion primarily wind-driven accompanied by vigorous VSI turbulence. The properties of the VSI remain similar to unmagnetized case, and the wind and overall field configuration are not strongly affected by VSI turbulence, showing modest level of variability and corrugation of midplane current sheet. Enhanced coupling between gas and magnetic field weakens the VSI. The VSI is also weakened with increasing magnetization, and we find that corrugation motions characteristic of the VSI transitions to low-amplitude breathing mode oscillations.


title: Generating Anthropomorphic Phantoms Using Fully Unsupervised Deformable Image Registration with Convolutional Neural Networks

abstract: Objectives: Computerized phantoms play an essential role in various applications of medical imaging research. Although the existing computerized phantoms can model anatomical variations through organ and phantom scaling, this does not provide a way to fully reproduce anatomical variations seen in humans. However, having a population of phantoms that models the variations in patient anatomy and, in nuclear medicine, uptake realization is essential for comprehensive validation and training. In this work, we present a novel image registration method for creating highly anatomically detailed anthropomorphic phantoms from a single digital phantom. Methods: We propose a deep-learning-based registration algorithm to predict deformation parameters for warping an XCAT phantom to a patient CT scan. This proposed algorithm optimizes a novel SSIM-based objective function for a given image pair independently of the training data and thus is truly and fully unsupervised. We evaluate the proposed method on a publicly available low-dose CT dataset from TCIA. Results: The performance of the proposed model was compared with that of several state-of-the-art methods, and outperformed them by more than 8%, measured by the SSIM and less than 30%, by the MSE. Conclusion: A deep-learning-based unsupervised registration method was developed to create anthropomorphic phantoms while providing "gold-standard" anatomies that can be used as the basis for modeling organ properties. Significance: Experimental results demonstrate the effectiveness of the proposed method. The resulting anthropomorphic phantom is highly realistic. Combined with realistic simulations of the image formation process, the generated phantoms could serve in many applications of medical imaging research.


title: An Algorithmic Equity Toolkit for Technology Audits by Community Advocates and Activists

abstract: A wave of recent scholarship documenting the discriminatory harms of algorithmic systems has spurred widespread interest in algorithmic accountability and regulation. Yet effective accountability and regulation is stymied by a persistent lack of resources supporting public understanding of algorithms and artificial intelligence. Through interactions with a US-based civil rights organization and their coalition of community organizations, we identify a need for (i) heuristics that aid stakeholders in distinguishing between types of analytic and information systems in lay language, and (ii) risk assessment tools for such systems that begin by making algorithms more legible. The present work delivers a toolkit to achieve these aims. This paper both presents the Algorithmic Equity Toolkit (AEKit) Equity as an artifact, and details how our participatory process shaped its design. Our work fits within human-computer interaction scholarship as a demonstration of the value of HCI methods and approaches to problems in the area of algorithmic transparency and accountability.


title: Implications of spin symmetry for XYZ states

abstract: Numerous exotic candidates containing a heavy quark and anti-quark (the so-called $XYZ$ states) have been reported since the observation of the $X(3872)$ in 2003. For these systems a study of the implications of the heavy quark spin symmetry and its breaking is expected to provide useful guidance towards a better understanding of their nature. For instance, since the formation of the complete spin multiplets is described with the same parameter sets, in some cases the currently available experimental data on the $XYZ$ states allows us to predict properties of spin partner states. To illustrate this point we extract the parameters of the two $Z_b$ states by analyzing the most recent experimental data within an effective-field theory approach which treats both short-ranged contact interactions and the long-ranged one-pion/one-eta Goldstone boson exchanges (OPE/OEE) dynamically. The line shapes and pole positions of their spin partners are then predicted in a parameter-free way and await to be tested by future experimental data.


title: A pedestrian path-planning model in accordance with obstacle's danger with reinforcement learning

abstract: Most microscopic pedestrian navigation models use the concept of "forces" applied to the pedestrian agents to replicate the navigation environment. While the approach could provide believable results in regular situations, it does not always resemble natural pedestrian navigation behaviour in many typical settings. In our research, we proposed a novel approach using reinforcement learning for simulation of pedestrian agent path planning and collision avoidance problem. The primary focus of this approach is using human perception of the environment and danger awareness of interferences. The implementation of our model has shown that the path planned by the agent shares many similarities with a human pedestrian in several aspects such as following common walking conventions and human behaviours.


title: Stochastic Dynamic Pricing for Same-Day Delivery Routing

abstract: Same-day delivery for e-commerce has become a popular service. Companies usually offer several time delivery options with the earliest one being next hour delivery. Due to tight delivery deadlines and thin margins, companies often find it challenging to provide efficient same-day delivery services. In this work, we propose a holistic scheme that combines the optimization of routing and pricing for same-day delivery. The proposed approach is able to take into account uncertainty in travel times, a crucial factor for delivery applications in urban environments. We model this problem as a Markov decision process. We apply a value function approximation technique to compute opportunity costs. Based on these opportunity costs, as well as the customer choice model and travel time distribution, we optimize the prices for various delivery deadlines. We perform extensive computational experiments to compare the proposed model with baseline policies. We also investigate how the (potentially wrong) choice of travel time distributions affect the performance of the proposed optimization scheme. Through numerical simulations of realistic scenarios, we observe that compared to the deterministic model, the proposed approach can reduce the number of missed deliveries up to 40%; at the same time, it can increase revenue by more than 5% compared to the baseline policies. We explore new issues that arise due to the stochastic nature of the problem such as the effect of penalties for missed deliveries on pricing structure and overall revenue.


title: Towards Interpretable and Learnable Risk Analysis for Entity Resolution

abstract: Machine-learning-based entity resolution has been widely studied. However, some entity pairs may be mislabeled by machine learning models and existing studies do not study the risk analysis problem -- predicting and interpreting which entity pairs are mislabeled. In this paper, we propose an interpretable and learnable framework for risk analysis, which aims to rank the labeled pairs based on their risks of being mislabeled. We first describe how to automatically generate interpretable risk features, and then present a learnable risk model and its training technique. Finally, we empirically evaluate the performance of the proposed approach on real data. Our extensive experiments have shown that the learning risk model can identify the mislabeled pairs with considerably higher accuracy than the existing alternatives.


title: A strong Markov process time-changed by an inverse killed subordinator

abstract: In this paper, we consider a type of time-changed Markov process, where the time-change is an inverse killed subordinator. This can be seen as an extension of Chen (Chen, Z., Time fractional equations and probabilistic representation, Chaos Solitons and Fractals, 168-174, 2017). As a result, it constructs a one-to-one correspondence between general Bernstein functions (with infinite L\'{e}vy measure) and a class of generalized time-fractional partial differential equations.


title: Scalable Semidefinite Programming

abstract: Semidefinite programming (SDP) is a powerful framework from convex optimization that has striking potential for data science applications. This paper develops a provably correct randomized algorithm for solving large, weakly constrained SDP problems by economizing on the storage and arithmetic costs. Numerical evidence shows that the method is effective for a range of applications, including relaxations of MaxCut, abstract phase retrieval, and quadratic assignment. Running on a laptop equivalent, the algorithm can handle SDP instances where the matrix variable has over $10^{14}$ entries.


title: Controlling the nonadiabatic electron-transfer reaction rate through molecular-vibration polaritons in the ultrastrong coupling regime

abstract: Recent experiments showed that the chemical reaction rate is modified, either increased or decreased, by strongly coupling a nuclear vibration mode to the single mode of an optical cavity. Herein we investigate how the rate of an electron-transfer reaction depends on the molecule-cavity coupling in the ultrastrong coupling regime, where the coupling strength is comparable in magnitude with both the vibrational and the cavity frequencies. We found two main factors that determine the modification of the reaction rate: the relative shifts of the energy levels induced by the coupling and the mixing of the ground and excited states of molecular vibration in the ground state of the hybrid molecule-plus-cavity system through which the Franck-Condon factor between the initial and final states of the transition is altered. The former is the dominant factor if the molecule-cavity coupling strengths for the reactant and product states differ significantly from each other and gives rise to an increase in the reaction rate over a wide range of system's parameters. The latter dominates if the coupling strengths and energy levels of the reactant and product states are close to each other and it leads to a decrease in the reaction rate. The effect of the mixing of molecular vibrational states on the reaction rate is, however, suppressed in a system containing a large number of molecules due to the collective nature of the resulting polariton, and thus should be observed in a system containing a small number of molecules. In contrast, the effect of the relative shifts of the energy levels should be essentially independent of the number of molecules coupled to the cavity.


title: User Experience with Language-Independent Formal Verification

abstract: The goal of this paper is to help mainstream programmers routinely use formal verification on their smart contracts by 1) proposing a new YAML-format for writing general-purpose formal specifications, 2) demonstrating how a formal specification can be incrementally built up without needing advanced training, and 3) showing how formal specifications can be tested by using program mutation.


title: Hyperuniform monocrystalline structures by spinodal solid-state dewetting

abstract: Materials featuring anomalous suppression of density fluctuations over large length scales are emerging systems known as disordered hyperuniform. The underlying hidden order renders them appealing for several applications, such as light management and topologically protected electronic states. These applications require scalable fabrication, which is hard to achieve with available top-down approaches. Theoretically, it is known that spinodal decomposition can lead to disordered hyperuniform architectures. Spontaneous formation of stable patterns could thus be a viable path for the bottom-up fabrication of these materials. Here we show that mono-crystalline semiconductor-based structures, in particular Si$_{1-x}$Ge$_{x}$ layers deposited on silicon-on-insulator substrates, can undergo spinodal solid-state dewetting featuring correlated disorder with an effective hyperuniform character. Nano- to micro-metric sized structures targeting specific morphologies and hyperuniform character can be obtained, proving the generality of the approach and paving the way for technological applications of disordered hyperuniform metamaterials. Phase-field simulations explain the underlying non-linear dynamics and the physical origin of the emerging patterns.


title: On the Complexity of the Stability Problem of Binary Freezing Totalistic Cellular Automata

abstract: In this paper we study the family of two-state Totalistic Freezing Cellular Automata (TFCA) defined over the triangular and square grids with von Neumann neighborhoods. We say that a Cellular Automaton is Freezing and Totalistic if the active cells remain unchanged, and the new value of an inactive cell depends only on the sum of its active neighbors. We classify all the Cellular Automata in the class of TFCA, grouping them in five different classes: the Trivial rules, Turing Universal rules,Algebraic rules, Topological rules and Fractal Growing rules. At the same time, we study in this family the Stability problem, consisting in deciding whether an inactive cell becomes active, given an initial configuration.We exploit the properties of the automata in each group to show that: - For Algebraic and Topological Rules the Stability problem is in $\text{NC}$. - For Turing Universal rules the Stability problem is $\text{P}$-Complete.


title: Selfish Behavior in the Tezos Proof-of-Stake Protocol

abstract: Proof-of-Stake consensus protocols give rise to complex modeling challenges. We analyze the recently-updated Tezos Proof-of-Stake protocol and demonstrate that, under certain conditions, rational participants are incentivized to behave dishonestly. In doing so, we provide a theoretical analysis of the feasibility and profitability of a block stealing attack that we call selfish endorsing, a concrete instance of an attack previously only theoretically considered. We propose and analyze a simple change to the Tezos protocol which significantly reduces the (already small) profitability of this dishonest behavior, and introduce a new delay and reward scheme that is provably secure against length-1 and length-2 selfish endorsing attacks. Our framework provides a template for analyzing other Proof-of-Stake implementations for selfish behavior.


title: Hybrid Kronecker Product Decomposition and Approximation

abstract: Discovering the underlying low dimensional structure of high dimensional data has attracted a significant amount of researches recently and has shown to have a wide range of applications. As an effective dimension reduction tool, singular value decomposition is often used to analyze high dimensional matrices, which are traditionally assumed to have a low rank matrix approximation. In this paper, we propose a new approach. We assume a high dimensional matrix can be approximated by a sum of a small number of Kronecker products of matrices with potentially different configurations, named as a hybird Kronecker outer Product Approximation (hKoPA). It provides an extremely flexible way of dimension reduction compared to the low-rank matrix approximation. Challenges arise in estimating a hKoPA when the configurations of component Kronecker products are different or unknown. We propose an estimation procedure when the set of configurations are given and a joint configuration determination and component estimation procedure when the configurations are unknown. Specifically, a least squares backfitting algorithm is used when the configuration is given. When the configuration is unknown, an iterative greedy algorithm is used. Both simulation and real image examples show that the proposed algorithms have promising performances. The hybrid Kronecker product approximation may have potentially wider applications in low dimensional representation of high dimensional data


title: Many-body wavefunctions for quantum impurities out of equilibrium

abstract: We present a method for calculating the time-dependent many-body wavefunction that follows a local quench. We apply the method to the voltage-driven nonequilibrium Kondo model to find the exact time-evolving wavefunction following a quench where the dot is suddenly attached to the leads at $t=0$. The method, which does not use Bethe ansatz, also works in other quantum impurity models (we include results for the interacting resonant level and the Anderson impurity model) and may be of wider applicability. In the particular case of the Kondo model, we show that the long-time limit (with the system size taken to infinity first) of the time-evolving wavefunction is a current-carrying nonequilibrium steady state that satisfies the Lippmann-Schwinger equation. We show that the electric current in the time-evolving wavefunction is given by a series expression that can be expanded either in weak coupling or in strong coupling, converging to all orders in the steady-state limit in either case. The series agrees to leading order with known results in the well-studied regime of weak antiferromagnetic coupling and also reveals another universal regime of strong ferromagnetic coupling, with Kondo temperature $T_K^{(F)} = D e^{-\frac{3\pi^2}{8} \rho |J|}$ ($J<0$, $\rho|J|\to\infty$). In this regime, the differential conductance $dI/dV$ reaches the unitarity limit $2e^2/h$ asymptotically at large voltage or temperature.


title: Shift-invariance for vertex models and polymers

abstract: We establish a symmetry in a variety of integrable stochastic systems: Certain multi-point distributions of natural observables are unchanged under a shift of a subset of observation points. The property holds for stochastic vertex models, (1+1)d directed polymers in random media, last passage percolation, the Kardar-Parisi-Zhang equation, and the Airy sheet. In each instance it leads to computations of previously inaccessible joint distributions. The proofs rely on a combination of the Yang-Baxter integrability of the inhomogeneous colored stochastic six-vertex model and Lagrange interpolation. We also show that a simplified (Gaussian) version of our theorems is related to the invariance in law of the local time of the Brownian bridge under the shift of the observation level.


title: Synchronous Transformers for End-to-End Speech Recognition

abstract: For most of the attention-based sequence-to-sequence models, the decoder predicts the output sequence conditioned on the entire input sequence processed by the encoder. The asynchronous problem between the encoding and decoding makes these models difficult to be applied for online speech recognition. In this paper, we propose a model named synchronous transformer to address this problem, which can predict the output sequence chunk by chunk. Once a fixed-length chunk of the input sequence is processed by the encoder, the decoder begins to predict symbols immediately. During training, a forward-backward algorithm is introduced to optimize all the possible alignment paths. Our model is evaluated on a Mandarin dataset AISHELL-1. The experiments show that the synchronous transformer is able to perform encoding and decoding synchronously, and achieves a character error rate of 8.91% on the test set.


title: Enhanced Energy Transfer Rate in Solar Wind Turbulence Observed near the Sun from Parker Solar Probe

abstract: Direct evidence of an inertial-range turbulent energy cascade has been provided by spacecraft observations in heliospheric plasmas. In the solar wind, the average value of the derived heating rate near 1 au is $\sim 10^{3}\, \mathrm{J\,kg^{-1}\,s^{-1}}$, an amount sufficient to account for observed departures from adiabatic expansion. Parker Solar Probe (PSP), even during its first solar encounter, offers the first opportunity to compute, in a similar fashion, a fluid-scale energy decay rate, much closer to the solar corona than any prior in-situ observations. Using the Politano-Pouquet third-order law and the von K\'arm\'an decay law, we estimate the fluid-range energy transfer rate in the inner heliosphere, at heliocentric distance $R$ ranging from $54\,R_{\odot}$ (0.25 au) to $36\,R_{\odot}$ (0.17 au). The energy transfer rate obtained near the first perihelion is about 100 times higher than the average value at 1 au. This dramatic increase in the heating rate is unprecedented in previous solar wind observations, including those from Helios, and the values are close to those obtained in the shocked plasma inside the terrestrial magnetosheath.


title: Gate-tunable h/e-period magnetoresistance oscillations in Bi2O2Se nanowires

abstract: We report on the successful synthesis and low-temperature electron transport investigations of a new form of material - Bi2O2Se semiconducting nanowires. Gate-tunable 0- and $\pi$-h/e (h is the Planck constant and e the elementary charge) periodic resistance oscillations in longitudinal magnetic field were observed unexpectedly, demonstrating novel quasi-ballistic, phase-coherent surface states in Bi2O2Se nanowires. By reaching a very good agreement between the calculated density of states and the experimental data, we clarified the mechanism to be the one dimensional subbands formed along the circumference of the nanowire rather than the usually considered Aharonov-Bohm interference. A qualitative physical picture based on downward band bending associated with the complex band structure is proposed to describe the formation of the surface states.


title: Synchronization of Boundary Coupled Hindmarsh-Rose Neuron Network

abstract: In this work, we present a new mathematical model of a boundary coupled neuron network described by the partly diffusive Hindmarsh-Rose equations. We prove the global absorbing property of the solution semiflow and then the main result on the asymptotic synchronization of this neuron network at a uniform exponential rate provided that the boundary coupling strength and the stimulating signal exceed a quantified threshold in terms of the parameters.


title: Recommending investors for new startups by integrating network diffusion and investors' domain preference

abstract: Over the past decade, many startups have sprung up, which create a huge demand for financial support from venture investors. However, due to the information asymmetry between investors and companies, the financing process is usually challenging and time-consuming, especially for the startups that have not yet obtained any investment. Because of this, effective data-driven techniques to automatically match startups with potentially relevant investors would be highly desirable. Here, we analyze 34,469 valid investment events collected from www.itjuzi.com and consider the cold-start problem of recommending investors for new startups. We address this problem by constructing different tripartite network representations of the data where nodes represent investors, companies, and companies' domains. First, we find that investors have strong domain preferences when investing, which motivates us to introduce virtual links between investors and investment domains in the tripartite network construction. Our analysis of the recommendation performance of diffusion-based algorithms applied to various network representations indicates that prospective investors for new startups are effectively revealed by integrating network diffusion processes with investors' domain preference.


title: Write and Read Channel Models for 1S1R Crossbar Resistive Memory with High Line Resistance

abstract: Crossbar resistive memory with 1 Selector 1 Resistor (1S1R) structure is attractive for low-cost and high-density nonvolatile memory applications. As technology scales down to the single-nm regime, the increasing resistivity of wordline/bitline becomes a limiting factor to device reliability. This paper presents write/read communication channels while considering the line resistance and device variabilities by statistically relating the degraded write/read margins and the channel parameters. Binary asymmetric channel (BAC) models are proposed for the write/read operations. Simulations based on these models suggest that the bit-error rate of devices are highly non-uniform across the memory array. These models provide quantitative tools for evaluating the trade-offs between memory reliability and design parameters, such as array size, technology nodes, and aspect ratio, and also for designing coding-theoretic solutions that would be most effective for crossbar memory.


title: An Informatics-based Approach to Identify Key Pharmacological Components in Drug-Drug Interactions

abstract: Drug-drug interactions (DDI) can cause severe adverse drug reactions and pose a major challenge to medication therapy. Recently, informatics-based approaches are emerging for DDI studies. In this paper, we aim to identify key pharmacological components in DDI based on large-scale data from DrugBank, a comprehensive DDI database. With pharmacological components as features, logistic regression is used to perform DDI classification with a focus on searching for most predictive features, a process of identifying key pharmacological components. Using univariate feature selection with chi-squared statistic as the ranking criteria, our study reveals that top 10% features can achieve comparable classification performance compared to that using all features. The top 10% features are identified to be key pharmacological components. Furthermore, their importance is quantified by feature coefficients in the classifier, which measures the DDI potential and provides a novel perspective to evaluate pharmacological components.


title: Pair-distribution function of active Brownian spheres in two spatial dimensions: simulation results and analytic representation

abstract: We investigate the full pair-distribution function of a homogeneous suspension of spherical active Brownian particles interacting by a Weeks-Chandler-Andersen potential in two spatial dimensions. The full pair-distribution function depends on three coordinates describing the relative positions and orientations of two particles, the P\'eclet number specifying the activity of the particles, and their mean packing density. This five-dimensional function is obtained from Brownian dynamics simulations. We discuss its structure taking into account all of its degrees of freedom. In addition, we present an approximate analytic expression for the product of the full pair-distribution function and the interparticle force. We find that the analytic expression, which is typically needed when deriving analytic models for the collective dynamics of active Brownian particles, is in good agreement with the simulation results. The results of this work can thus be expected to be helpful for the further theoretical investigation of active Brownian particles as well as nonequilibrium statistical physics in general.


title: Data-Driven Uncertainty Quantification and Propagation in Structural Dynamics through a Hierarchical Bayesian Framework

abstract: In the presence of modeling errors, the mainstream Bayesian methods seldom give a realistic account of uncertainties as they commonly underestimate the inherent variability of parameters. This problem is not due to any misconception in the Bayesian framework since it is absolutely robust with respect to the modeling assumptions and the observed data. Rather, this issue has deep roots in users' inability to develop an appropriate class of probabilistic models. This paper bridges this significant gap, introducing a novel Bayesian hierarchical setting, which breaks time-history vibrational responses into several segments so as to capture and identify the variability of inferred parameters over multiple segments. Since computation of the posterior distributions in hierarchical models is expensive and cumbersome, novel marginalization strategies, asymptotic approximations, and maximum a posteriori estimations are proposed and outlined under a computational algorithm aiming to handle both uncertainty quantification and propagation tasks. For the first time, the connection between the ensemble covariance matrix and hyper distribution parameters is characterized through approximate estimations. Experimental and numerical examples are employed to illustrate the efficacy and efficiency of the proposed method. It is observed that, when the segments correspond to various system conditions and input characteristics, the proposed method delivers robust parametric uncertainties with respect to unknown phenomena such as ambient conditions, input characteristics, and environmental factors.


title: Alternative Function Approximation Parameterizations for Solving Games: An Analysis of $f$-Regression Counterfactual Regret Minimization

abstract: Function approximation is a powerful approach for structuring large decision problems that has facilitated great achievements in the areas of reinforcement learning and game playing. Regression counterfactual regret minimization (RCFR) is a simple algorithm for approximately solving imperfect information games with normalized rectified linear unit (ReLU) parameterized policies. In contrast, the more conventional softmax parameterization is standard in the field of reinforcement learning and yields a regret bound with a better dependence on the number of actions. We derive approximation error-aware regret bounds for $(\Phi, f)$-regret matching, which applies to a general class of link functions and regret objectives. These bounds recover a tighter bound for RCFR and provide a theoretical justification for RCFR implementations with alternative policy parameterizations ($f$-RCFR), including softmax. We provide exploitability bounds for $f$-RCFR with the polynomial and exponential link functions in zero-sum imperfect information games and examine empirically how the link function interacts with the severity of the approximation. We find that the previously studied ReLU parameterization performs better when the approximation error is small while the softmax parameterization can perform better when the approximation error is large.


title: Physics-Informed Neural Networks for Multiphysics Data Assimilation with Application to Subsurface Transport

abstract: Data assimilation for parameter and state estimation in subsurface transport problems remains a significant challenge due to the sparsity of measurements, the heterogeneity of porous media, and the high computational cost of forward numerical models. We present a physics-informed deep neural networks (DNNs) machine learning method for estimating space-dependent hydraulic conductivity, hydraulic head, and concentration fields from sparse measurements. In this approach, we employ individual DNNs to approximate the unknown parameters (e.g., hydraulic conductivity) and states (e.g., hydraulic head and concentration) of a physical system, and jointly train these DNNs by minimizing the loss function that consists of the governing equations residuals in addition to the error with respect to measurement data. We apply this approach to assimilate conductivity, hydraulic head, and concentration measurements for joint inversion of the conductivity, hydraulic head, and concentration fields in a steady-state advection--dispersion problem. We study the accuracy of the physics-informed DNN approach with respect to data size, number of variables (conductivity and head versus conductivity, head, and concentration), DNNs size, and DNN initialization during training. We demonstrate that the physics-informed DNNs are significantly more accurate than standard data-driven DNNs when the training set consists of sparse data. We also show that the accuracy of parameter estimation increases as additional variables are inverted jointly.


title: Viscoelastic propulsion of a rotating dumbbell

abstract: Viscoelastic fluids impact the locomotion of swimming microorganisms and can be harnessed to devise new types of self-propelling devices. Here we report on experiments demonstrating the use of normal stress differences for propulsion. Rigid dumbbells are rotated by an external magnetic field along their axis of symmetry in a Boger fluid. When the dumbbell is asymmetric (snowman geometry), non-Newtonian normal stress differences lead to net propulsion in the direction of the smaller sphere. The use of a simple model allows to rationalise the experimental results and to predict the dependence of the snowman swimming speed on the size ratio between the two spheres.


title: Revisiting Calderon's Problem

abstract: A finite element code for heat conduction, together with an adjoint solver and a suite of optimization tools was applied for the solution of Calderon's problem. One of the questions whose answer was sought was whether the solution to these problems is unique and obtainable. The results to date show that while the optimization procedure is able to obtain spatial distributions of the conductivity $k$ that reduce the cost function significantly, the resulting conductivity $k$ is still significantly different from the target distribution sought. While the normal fluxes recovered are very close to the prescribed ones, the tangential fluxes can differ considerably.


title: Diffusion of Lithium Ions in Lithium-Argyrodite Solid-State Electrolytes from Equilibrium and Nonequilibrium Molecular Dynamics Simulations

abstract: The use of solid-state electrolytes to provide safer, next-generation rechargeable batteries is becoming more feasible as new materials with greater stability and higher ionic diffusion coefficients are designed. However, accurate determination of diffusion coefficients in solids is problematic and reliable calculations are highly sought-after. In this paper we compare diffusion coefficients calculated using nonequilibrium and equilibrium ab initio molecular dynamics simulations for highly diffusive solid-state electrolytes for the first time, to demonstrate the accuracy that can be obtained. Moreover, we show that ab initio nonequilibrium molecular dynamics can be used to determine diffusion coefficients when the diffusion is too slow for it to be feasible to obtain them using ab initio equilibrium simulations. Thereby, using ab initio nonequilibrium molecular dynamics simulations we are able to obtain accurate estimates of the diffusion coefficients of Li ions in Li$_6$PS$_5$Cl and Li$_5$PS$_4$Cl$_2$, two promising electrolytes for all-solid-state batteries. Furthermore, these calculations show that the diffusion coefficient of lithium ions in Li$_5$PS$_4$Cl$_2$ is higher than many other potential all-solid-state electrolytes, making it promising for future technologies. The reasons for variation in conductivities determined using computational and experimental methods are also discussed. It is demonstrated that small degrees of disorder and vacancies can result in orders of magnitude differences in diffusivities of Li ions in Li$_6$PS$_5$Cl, and these factors are likely to contribute to inconsistencies observed in experimentally reported values. Notably, the introduction of Li-vacancies and disorder can enhance the ionic conductivity of Li$_6$PS$_5$Cl.


title: ATOM: Commit Message Generation Based on Abstract Syntax Tree and Hybrid Ranking

abstract: Commit messages record code changes (e.g., feature modifications and bug repairs) in natural language, and are useful for program comprehension. Due to the frequent updates of software and time cost, developers are generally unmotivated to write commit messages for code changes. Therefore, automating the message writing process is necessitated. Previous studies on commit message generation have been benefited from generation models or retrieval models, but the code structure of changed code, i.e., AST, which can be important for capturing code semantics, has not been explicitly involved. Moreover, although generation models have the advantages of synthesizing commit messages for new code changes, they are not easy to bridge the semantic gap between code and natural languages which could be mitigated by retrieval models. In this paper, we propose a novel commit message generation model, named ATOM, which explicitly incorporates the abstract syntax tree for representing code changes and integrates both retrieved and generated messages through hybrid ranking. Specifically, the hybrid ranking module can prioritize the most accurate message from both retrieved and generated messages regarding one code change. We evaluate the proposed model ATOM on our dataset crawled from 56 popular Java repositories. Experimental results demonstrate that ATOM increases the state-of-the-art models by 30.72% in terms of BLEU-4 (an accuracy measure that is widely used to evaluate text generation systems). Qualitative analysis also demonstrates the effectiveness of ATOM in generating accurate code commit messages.


title: SAM: Squeeze-and-Mimic Networks for Conditional Visual Driving Policy Learning

abstract: We describe a policy learning approach to map visual inputs to driving controls conditioned on turning command that leverages side tasks on semantics and object affordances via a learned representation trained for driving. To learn this representation, we train a squeeze network to drive using annotations for the side task as input. This representation encodes the driving-relevant information associated with the side task while ideally throwing out side task-relevant but driving-irrelevant nuisances. We then train a mimic network to drive using only images as input and use the squeeze network's latent representation to supervise the mimic network via a mimicking loss. Notably, we do not aim to achieve the side task nor to learn features for it; instead, we aim to learn, via the mimicking loss, a representation of the side task annotations directly useful for driving. We test our approach using the CARLA simulator. In addition, we introduce a more challenging but realistic evaluation protocol that considers a run that reaches the destination successful only if it does not violate common traffic rules. A video summarizing this work is available at https://youtu.be/ipKAMzmJpMs , and code is available at https://github.com/twsq/sam-driving .


title: More on a dessin on the base: Kodaira exceptional fibers and mutually (non-)local branes

abstract: A "dessin d'enfant" is a graph embedded on a two-dimensional oriented surface named by Grothendieck. Recently we have developed a new way to keep track of non-localness among 7-branes in F-theory on an elliptic fibration over $P^1$ by drawing a triangulated "dessin" on the base. To further demonstrate the usefulness of this method, we provide three examples of its use. We first consider a deformation of the $I_0^*$ Kodaira fiber. With a dessin, we can immediately find out which pairs of 7-branes are (non-)local and compute their monodromies. We next identify the paths of string(-junction)s on the dessin by solving the mass geodesic equation. By numerically computing their total masses, we find that the Hanany-Witten effect has not occurred in this example. Finally, we consider the orientifold limit in the spectral cover/Higgs bundle approach. We observe the characteristic configuration presenting the cluster sub-structure of an O-plane found previously.


title: Observational Overfitting in Reinforcement Learning

abstract: A major component of overfitting in model-free reinforcement learning (RL) involves the case where the agent may mistakenly correlate reward with certain spurious features from the observations generated by the Markov Decision Process (MDP). We provide a general framework for analyzing this scenario, which we use to design multiple synthetic benchmarks from only modifying the observation space of an MDP. When an agent overfits to different observation spaces even if the underlying MDP dynamics is fixed, we term this observational overfitting. Our experiments expose intriguing properties especially with regards to implicit regularization, and also corroborate results from previous works in RL generalization and supervised learning (SL).


title: Hunting the Glashow Resonance with PeV Neutrino Telescopes

abstract: The Glashow resonant scattering, $i.e$. ${\overline{\nu}^{}_{e} + e^{-} \rightarrow W^{-} \rightarrow \text{anything}}$, offers us a possibility of disentangling $\overline{\nu}^{}_{e}$ from the total astrophysical neutrino fluxes. Meanwhile, a great number of high-energy neutrino telescopes, with various detection mechanisms, are advancing towards a better understanding of one of the most energetic frontiers of the Universe. In this work, we investigate a connection between through-going muons at IceCube and the Glashow resonance signal through the channel $W^{-} \rightarrow \mu$. We find that for IceCube, muons from $\overline{\nu}^{}_{e}$ can induce a $\sim20\%$ excess of PeV events around the horizontal direction. However, the current statistic of IceCube is not enough to observe such an excess. We also address the novel possibility of $\overline{\nu}^{}_{e}$ detection via $W^{-} \rightarrow \tau$ at telescopes aiming to detect Earth-skimming and mountain-penetrating neutrinos. The subsequent hadronic decay of a tau will induce an extensive air shower which can be detected by telescopes with Cherenkov or fluorescence techniques. Similar to IceCube, it is challenging to observe the Glashow resonance excess from the Earth-skimming neutrinos. Nevertheless, we find it is promising to observe Glashow resonance events with a mountain as the target.


title: Symmetric Rydberg controlled-Z gates with adiabatic pulses

abstract: We analyze neutral atom Rydberg $C_Z$ gates based on adiabatic pulses applied symmetrically to both atoms. Analysis with smooth pulse shapes and Cs atom parameters predicts the gates can create Bell states with fidelity ${\mathcal F}>0.999$ using adiabatic rapid passage (ARP) pulses. With globally optimized adiabatic pulse shapes, in a two-photon excitation process, we generate Bell states with fidelity ${\mathcal F}=0.997$. The analysis fully accounts for spontaneous emission from intermediate and Rydberg states, including the Rydberg lifetime in a room temperature environment, but does not include errors arising from laser noise. The gate protocols do not require individual addressing and are shown to be robust against Doppler shifts due to atomic motion.


title: Data-Driven Finite Elasticity

abstract: We extend to finite elasticity the Data-Driven formulation of geometrically linear elasticity presented in Conti, M\"uller, Ortiz, Arch.\ Ration.\ Mech.\ Anal.\ 229, 79-123, 2018. The main focus of this paper concerns the formulation of a suitable framework in which the Data-Driven problem of finite elasticity is well-posed in the sense of existence of solutions. We confine attention to deformation gradients $F \in L^p(\Omega;\mathbb{R}^{n\times n})$ and first Piola-Kirchhoff stresses $P \in L^q(\Omega;\mathbb{R}^{n\times n})$, with $(p,q)\in(1,\infty)$ and $1/p+1/q=1$. We assume that the material behavior is described by means of a material data set containing all the states $(F,P)$ that can be attained by the material, and develop germane notions of coercivity and closedness of the material data set. Within this framework, we put forth conditions ensuring the existence of solutions. We exhibit specific examples of two- and three-dimensional material data sets that fit the present setting and are compatible with material frame indifference.


title: Observation of nonlocality sharing via not-so-weak measurements

abstract: Nonlocality plays a fundamental role in quantum information science. Recently, it has been theoretically predicted and experimentally demonstrated that the nonlocality of an entangled pair may be shared among multiple observers using weak measurements with moderate strength. Here we devise an optimal protocol of nonlocality sharing among three observers and show experimentally that nonlocality sharing may be also achieved using weak measurements with near-maximum strength. Our result sheds light on the interplay between nonlocality and quantum measurements and, may find applications in quantum steering, unbounded randomness certification and quantum communication network.


title: Irrotational Bianchi V Viscous Fluid Cosmology with Heat Flux

abstract: The irrotational Bianchi V cosmological model under the influence of both shear and bulk viscosity, together with heat flux, has been studied. Exact solutions for the model are obtained with three physically viable assumptions. The first two relate the matter density, shear scalar, and expansion scalar and the third is a barotropic equation of state, connecting the matter density and thermodynamic pressure. The properties of the solutions are studied and the temperature distribution is also presented explicitly. It has been observed that along with the viscosity, heat flux further adds to the rate of entropy increase.


title: Relativistic many-body analysis of the electric dipole moment enhancement factor of 210Fr and associated properties

abstract: The relativistic coupled-cluster (RCC) method is a powerful many-body method, particularly in the evaluation of electronic wave functions of heavy atoms and molecules, and can be used to calculate various atomic and molecular properties. One such atomic property is the enhancement factor (R) of the atomic electric dipole moment (EDM) due to an electron EDM needed in electron EDM searches. The EDM of the electron is a sensitive probe of CP-violation, and its search could provide insights into new physics beyond the Standard Model, as well as open questions in cosmology. Electron EDM searches using atoms require the theoretical evaluation of R to provide an upper limit for the magnitude of the electron EDM. In this work, we calculate R of 210Fr in the ground state using an improved RCC method, and perform an analysis on the many-body processes occurring within the system. The RCC method allows one to capture the effects of both the electromagnetic interaction and P- and T-violating interactions, and our work develops this method beyond what had been implemented in the previous works. We also perform calculations of hyperfine structure constants, electric dipole transition matrix elements, and excitation energies, to assess the accuracy of R and the success of our improved method. Finally, we present calculations of R with corrections due to Breit interaction effects, approximate quantum electrodynamics (QED) effects, and some leading triple excitation terms added perturbatively, to assess how significantly these terms contribute to the result. We obtain a final value of R = 799, with an estimated 3% error, which is about 11% smaller than a previously reported theoretical calculation.


title: Manifold Markov chain Monte Carlo methods for Bayesian inference in diffusion models

abstract: Bayesian inference for nonlinear diffusions, observed at discrete times, is a challenging task that has prompted the development of a number of algorithms, mainly within the computational statistics community. We propose a new direction, and accompanying methodology, borrowing ideas from statistical physics and computational chemistry, for inferring the posterior distribution of latent diffusion paths and model parameters, given observations of the process. Joint configurations of the underlying process noise and of parameters, mapping onto diffusion paths consistent with observations, form an implicitly defined manifold. Then, by making use of a constrained Hamiltonian Monte Carlo algorithm on the embedded manifold, we are able to perform computationally efficient inference for a class of discretely observed diffusion models. Critically, in contrast with other approaches proposed in the literature, our methodology is highly automated, requiring minimal user intervention and applying alike in a range of settings, including: elliptic or hypo-elliptic systems; observations with or without noise; linear or non-linear observation operators. Exploiting Markovianity, we propose a variant of the method with complexity that scales linearly in the resolution of path discretisation and the number of observation times. Python code reproducing the results is available at https://doi.org/10.5281/zenodo.5796148


title: DeepEthnic: Multi-Label Ethnic Classification from Face Images

abstract: Ethnic group classification is a well-researched problem, which has been pursued mainly during the past two decades via traditional approaches of image processing and machine learning. In this paper, we propose a method of classifying an image face into an ethnic group by applying transfer learning from a previously trained classification network for large-scale data recognition. Our proposed method yields state-of-the-art success rates of 99.02%, 99.76%, 99.2%, and 96.7%, respectively, for the four ethnic groups: African, Asian, Caucasian, and Indian.


title: Grid-GCN for Fast and Scalable Point Cloud Learning

abstract: Due to the sparsity and irregularity of the point cloud data, methods that directly consume points have become popular. Among all point-based models, graph convolutional networks (GCN) lead to notable performance by fully preserving the data granularity and exploiting point interrelation. However, point-based networks spend a significant amount of time on data structuring (e.g., Farthest Point Sampling (FPS) and neighbor points querying), which limit the speed and scalability. In this paper, we present a method, named Grid-GCN, for fast and scalable point cloud learning. Grid-GCN uses a novel data structuring strategy, Coverage-Aware Grid Query (CAGQ). By leveraging the efficiency of grid space, CAGQ improves spatial coverage while reducing the theoretical time complexity. Compared with popular sampling methods such as Farthest Point Sampling (FPS) and Ball Query, CAGQ achieves up to 50X speed-up. With a Grid Context Aggregation (GCA) module, Grid-GCN achieves state-of-the-art performance on major point cloud classification and segmentation benchmarks with significantly faster runtime than previous studies. Remarkably, Grid-GCN achieves the inference speed of 50fps on ScanNet using 81920 points per scene as input.


title: Information transfer in generalized probabilistic theories based on weak repeatability

abstract: Information transfer in generalized probabilistic theories (GPT) is an important problem. We have dealt with the problem based on repeatability postulate, which generalizes Zurek's result to the GPT framework [Phys. Lett. A \textbf{379} (2015) 2694]. A natural question arises: can we deduce the information transfer result under weaker assumptions? In this paper, we generalize Zurek's result to the framework of GPT using weak repeatability postulate. We show that if distinguishable information can be transferred from a physical system to a series of apparatuses under the weak repeatability postulate in GPT, then the initial states of the physical system must be completely distinguishable. Moreover, after each step of invertible transformation, the composite states of the composite system composed of the physical systems and the apparatuses must also be completely distinguishable.


title: How Does an Approximate Model Help in Reinforcement Learning?

abstract: One of the key approaches to save samples in reinforcement learning (RL) is to use knowledge from an approximate model such as its simulator. However, how much does an approximate model help to learn a near-optimal policy of the true unknown model? Despite numerous empirical studies of transfer reinforcement learning, an answer to this question is still elusive. In this paper, we study the sample complexity of RL while an approximate model of the environment is provided. For an unknown Markov decision process (MDP), we show that the approximate model can effectively reduce the complexity by eliminating sub-optimal actions from the policy searching space. In particular, we provide an algorithm that uses $\widetilde{O}(N/(1-\gamma)^3/\varepsilon^2)$ samples in a generative model to learn an $\varepsilon$-optimal policy, where $\gamma$ is the discount factor and $N$ is the number of near-optimal actions in the approximate model. This can be much smaller than the learning-from-scratch complexity $\widetilde{\Theta}(SA/(1-\gamma)^3/\varepsilon^2)$, where $S$ and $A$ are the sizes of state and action spaces respectively. We also provide a lower bound showing that the above upper bound is nearly-tight if the value gap between near-optimal actions and sub-optimal actions in the approximate model is sufficiently large. Our results provide a very precise characterization of how an approximate model helps reinforcement learning when no additional assumption on the model is posed.


title: On the Uniqueness of Einstein-Cartan Theory: Lagrangian, Covariant Derivative and Equation of Motion

abstract: In the standard Einstein-Cartan theory(EC), matter fields couple to gravitation field through the Minimal Coupling Procedure(MCP), yet leaving the theory an ambiguity: applying MCP to the action or to the equation of motion would lead to different gravitational couplings. We propose a new covariant derivative to remove the ambiguity, then discuss the relation between our proposal and previous treatments on this subject.


title: Unitary-Coupled Restricted Boltzmann Machine Ansatz for Quantum Simulations

abstract: Neural-Network Quantum State (NQS) has attracted significant interests as a powerful wave-function ansatz to model quantum phenomena. In particular, a variant of NQS based on the restricted Boltzmann machine (RBM) has been adapted to model the ground state of spin lattices and the electronic structures of small molecules in quantum devices. Despite these progresses, significant challenges remain with the RBM-NQS based quantum simulations. In this work, we present a state-preparation protocol to generate a specific set of complex-valued RBM-NQS, that we name the unitary-coupled RBM-NQS, in quantum circuits. This is a crucial advancement as all prior works deal exclusively with real-valued RBM-NQS for quantum algorithms. With this novel scheme, we achieve (1) modeling complex-valued wave functions, (2) using as few as one ancilla qubit to simulate $M$ hidden spins in an RBM architecture, and (3) avoiding post-selections to improve scalability.


title: Influenza Modeling Based on Massive Feature Engineering and International Flow Deconvolution

abstract: In this article, we focus on the analysis of the potential factors driving the spread of influenza, and possible policies to mitigate the adverse effects of the disease. To be precise, we first invoke discrete Fourier transform (DFT) to conclude a yearly periodic regional structure in the influenza activity, thus safely restricting ourselves to the analysis of the yearly influenza behavior. Then we collect a massive number of possible region-wise indicators contributing to the influenza mortality, such as consumption, immunization, sanitation, water quality, and other indicators from external data, with $1170$ dimensions in total. We extract significant features from the high dimensional indicators using a combination of data analysis techniques, including matrix completion, support vector machines (SVM), autoencoders, and principal component analysis (PCA). Furthermore, we model the international flow of migration and trade as a convolution on regional influenza activity, and solve the deconvolution problem as higher-order perturbations to the linear regression, thus separating regional and international factors related to the influenza mortality. Finally, both the original model and the perturbed model are tested on regional examples, as validations of our models. Pertaining to the policy, we make a proposal based on the connectivity data along with the previously extracted significant features to alleviate the impact of influenza, as well as efficiently propagate and carry out the policies. We conclude that environmental features and economic features are of significance to the influenza mortality. The model can be easily adapted to model other types of infectious diseases.


title: SemEval-2014 Task 9: Sentiment Analysis in Twitter

abstract: We describe the Sentiment Analysis in Twitter task, ran as part of SemEval-2014. It is a continuation of the last year's task that ran successfully as part of SemEval-2013. As in 2013, this was the most popular SemEval task; a total of 46 teams contributed 27 submissions for subtask A (21 teams) and 50 submissions for subtask B (44 teams). This year, we introduced three new test sets: (i) regular tweets, (ii) sarcastic tweets, and (iii) LiveJournal sentences. We further tested on (iv) 2013 tweets, and (v) 2013 SMS messages. The highest F1-score on (i) was achieved by NRC-Canada at 86.63 for subtask A and by TeamX at 70.96 for subtask B.


title: Chromatin Structure Changes in Human Disease: A Mini Review

abstract: There are many experimental data indicating the correlations of the changes in high level of organization of chromatin in human cells and changes in the state of the whole organism related to disease, state of tiredness or aging. In our previous work: arXiv.org-2018 (1812.00186) we analyzed the publications on the topic up to 2017. In this work we focused on works upon the problem of connection of the state of chromatin with human diseases published in 2018-2019. In the modern literature the most attention is paid to problem of chromatin transformations in different forms of cancer, Alzheimer'r disease, and hereditary diseases. Summing up, the tendency of scientific research of noncommunicable diseases is shifting towards investigation of aspects of nuclear regulation of disease origin, connected with conformation of chromatin.


title: Sampling-Free Learning of Bayesian Quantized Neural Networks

abstract: Bayesian learning of model parameters in neural networks is important in scenarios where estimates with well-calibrated uncertainty are important. In this paper, we propose Bayesian quantized networks (BQNs), quantized neural networks (QNNs) for which we learn a posterior distribution over their discrete parameters. We provide a set of efficient algorithms for learning and prediction in BQNs without the need to sample from their parameters or activations, which not only allows for differentiable learning in QNNs, but also reduces the variance in gradients. We evaluate BQNs on MNIST, Fashion-MNIST, KMNIST and CIFAR10 image classification datasets, compared against bootstrap ensemble of QNNs (E-QNN). We demonstrate BQNs achieve both lower predictive errors and better-calibrated uncertainties than E-QNN (with less than 20% of the negative log-likelihood).


title: The mean transport of inertial particles in viscous streaming flows

abstract: Viscous streaming has emerged as an effective method to transport, trap, and cluster inertial particles in a fluid. Previous work has shown that this transport is well described by the Maxey-Riley equation augmented with a term representing Saffman lift. However, in its straightforward application to viscous streaming flows, the equation suffers from severe numerical stiffness due to the wide disparity between the time scales of viscous response, oscillation period, and slow mean transport, posing a severe challenge for drawing physical insight on mean particle trajectories. In this work, we develop equations that directly govern the mean transport of particles in oscillatory viscous flows. The derivation of these equations relies on a combination of three key techniques. In the first, we develop an inertial particle velocity field via a small Stokes number expansion of the particle's deviation from that of the fluid. This expansion clearly reveals the primary importance of Fax\'en correction and Saffman lift in effecting the trapping of particles in streaming cells. Then, we apply Generalized Lagrangian Mean theory to unambiguously decompose the transport into fast and slow scales, and ultimately, develop the Lagrangian mean velocity field to govern mean transport. Finally, we carry out an expansion in small oscillation amplitude to simplify the governing equations and to clarify the hierarchy of first- and second-order influences, and particularly, the crucial role of Stokes drift in the mean transport. We demonstrate the final set of equations on the transport of both fluid and inertial particles in configurations involving one and two weakly oscillating cylinders. Notably, the new equations allow numerical time steps that are $O(10^3)$ larger than the existing approach with little sacrifice in accuracy, allowing more efficient predictions of transport.


title: {Localized nodal solutions for $p-$Laplacian equations with critical exponents in $\mathbb{R}^N$

abstract: In this paper, we consider the existence of localized sign-changing solutions for the $p-$Laplacian nonlinear Schr\"odinger equation $$ -\epsilon^p\Delta_pu+V(x)|u|^{p-2}u=|u|^{p^*-2}u+\mu|u|^{q-2}u,~~u\in W^{1,p}(\mathbb{R}^N), $$ where $1<p<N$, $p_N=\max\{p,p^*-1\}<q<p^*=\frac{Np}{N-p}$, $\mu>0$, $\Delta_p$ is the $p-$Laplacian operator. By using the penalization method together with the truncation method and a blow-up argument, we establish for small $\epsilon$ the existence of a sequence of localized nodal solutions concentrating near a given local minimum point of the potential function.


title: A non-autonomous bifurcation problem for a non-local scalar one-dimensional parabolic equation

abstract: In this paper we study the asymptotic behavior of solutions for a non-local non-autonomous scalar quasilinear parabolic problem in one space dimension. Our aim is to give a fairly complete description of the the forwards asymptotic behavior of solutions for models with Kirchoff type diffusion. In the autonomous we use the gradient structure of the model, some symmetry properties of solutions and develop comparison results to obtain a sequence of bifurcations of equilibria analogous to that seen in the model with local diffusivity. We give conditions so that the autonomous problem admits at most one positive equilibrium and analyse the existence of sign changing equilibria. Also using symmetry and our comparison results we construct what is called non-autonomous equilibria to describe part of the asymptotics of the associated non-autonomous non-local parabolic problem.


title: Inverse problems for the nonlinear modified transfer equation

abstract: This article is devoted to inverse problems for nonlinear equations of the modified transfer, which can be regarded as a manageable problem. Various productions such problems for normal (unmodified) of the transport equation studied earlier by A.I. Prilepko and most complete form in the dissertation of his follower N. Volkov. If management is a factor in the coefficient of absorption or scattering indicatrix, even in the case of conventional linear transfer equation inverse problem become nonlinear (in the thesis N. P. Volkov overcome this difficulty). The paper deals with modification of the transport equation (for Similar to the way it is done Ozeen for the Navier - Stokes equations)


title: Improved Analysis of Spectral Algorithm for Clustering

abstract: Spectral algorithms are graph partitioning algorithms that partition a node set of a graph into groups by using a spectral embedding map. Clustering techniques based on the algorithms are referred to as spectral clustering and are widely used in data analysis. To gain a better understanding of why spectral clustering is successful, Peng et al. (2015) and Kolev and Mehlhorn (2016) studied the behavior of a certain type of spectral algorithm for a class of graphs, called well-clustered graphs. Specifically, they put an assumption on graphs and showed the performance guarantee of the spectral algorithm under it. The algorithm they studied used the spectral embedding map developed by Shi and Malic (2000). In this paper, we improve on their results, giving a better performance guarantee under a weaker assumption. We also evaluate the performance of the spectral algorithm with the spectral embedding map developed by Ng et al. (2001).


title: Machine Translation Evaluation Meets Community Question Answering

abstract: We explore the applicability of machine translation evaluation (MTE) methods to a very different problem: answer ranking in community Question Answering. In particular, we adopt a pairwise neural network (NN) architecture, which incorporates MTE features, as well as rich syntactic and semantic embeddings, and which efficiently models complex non-linear interactions. The evaluation results show state-of-the-art performance, with sizeable contribution from both the MTE features and from the pairwise NN architecture.


title: Dynamics analysis of a novel fractional HBV system with immune delay

abstract: In the theoretical research of Hepatitis B virus, mathematical models of its transmission mechanism have been thoroughly investigated, while the dynamics of the immune process in vivo have not. At present, nearly all the existing models are based on integer-order differential equations. However, models restricted to integer-order cannot depict the complex dynamical behaviors of the virus. Since fractional-order models possess property of memory and memory is the main feature of immune response, we propose a fractional-order model of Hepatitis B with time-delay to further explore the dynamical characters of the HBV model. First, by using the Caputo fractional differential and its properties, we obtain the existence and uniqueness of the solution. Then by utilizing stability analysis of fractional-order system, the stability results of the disease-free equilibrium and the epidemic equilibrium are studied according to the value of the basic reproduction number. Moreover, the bifurcation diagram, the largest Lyapunov exponent diagram, phase diagram, Poincar\'e section and frequency spectrum are employed to confirm the chaotic characteristics of the fractional HBV model and to figure out the effects of time-delay and fractional order. Further, a theory of the asymptotical stability of nonlinear autonomous system with delay on the basis of Caputo fractional differential is proved. The results of our work illustrates the rich dynamics of fractional HBV model with time-delay, and can provide theoretical guidance to virus dynamics study and clinical practice to some extent.


title: 3D CNN with Localized Residual Connections for Hyperspectral Image Classification

abstract: In this paper we propose a novel 3D CNN network with localized residual connections for hyperspectral image classification. Our work chalks a comparative study with the existing methods employed for abstracting deeper features and propose a model which incorporates residual features from multiple stages in the network. The proposed architecture processes individual spatiospectral feature rich cubes from hyperspectral images through 3D convolutional layers. The residual connections result in improved performance due to assimilation of both low-level and high-level features. We conduct experiments over Pavia University and Pavia Center dataset for performance analysis. We compare our method with two recent state-of-the-art methods for hyperspectral image classification method. The proposed network outperforms the existing approaches by a good margin.