title: Kuiperian Objects and Wandering Cosmic Objects

abstract: We study the effects of an encounter between a wandering cosmic object (WCO) of 0.1 solar mass and some Kuiperian Objects (KO). First, we let the WCO cross the out-skirt of ou Kuiper belt. Such encounters can produce two types of solar objects: Eccentric Kuiper Objects of type I (EKO-I) whose perihelion is comparable to, but always smaller than the aphelion of the initial KO and Eccentric Kuiper Objects of type II (EKO-II) whose perihelion can be as small as a few AU. EKO-I tend to have a fairly large range of eccentricities, but EKO-II tend to have very large eccentricities. Both tend to be produced in clusters similar to those observed in Extreme TransNeptunian Objects (ETNO). When a WCO crosses the path of an EKO-I, it will produce two main classes of objects: Far Kuiper Objects (FKO) of types I and II. The Sednitos discovered in the past years fit the FKO-I class with their large major axis and fairly large eccentricity, while the FKO-II class is different with its large major axis but smaller eccentricity and opposite spinning direction. When a WCO encounters an EKO-II, the latter can remain in the same class, spinning in either direction, it can also en up in the EKO-I class also spinning in either direction, but it can also be sent onto orbits with extremely long semi-major axis, relatively small eccentricity where both spins are allowed. This FKO-III class could be likened to the Lower Oort Cloud Objects as their major axis is a fair fraction of a light-year. These results lead us to consider the possibility that the Kuiper Belt was once substantially larger than it is now, perhaps 90 AU. We find some evidence of this scenario in current astronomical data.


title: The impact of stripped cores on the frequency of Earth-size planets in the habitable zone

abstract: The frequency of Earth-size planets in the habitable zone of Sun-like stars, hereafter $\eta_\oplus$, is a key parameter to evaluate the yield of nearby Earth analogues that can be detected and characterized by future missions. Yet, this value is poorly constrained as there are no reliable exoplanet candidates in the habitable zone of Sun-like stars in the Kepler field. Here, we show that extrapolations relying on the population of small ($< 1.8\,R_\oplus$) short-period ($< 25\,$days) planets bias $\eta_\oplus$ to large values. As the radius distribution at short orbital periods is strongly affected by atmospheric loss, we re-evaluate $\eta_\oplus$ using exoplanets at larger separations. We find that $\eta_\oplus$ drops considerably, to values of only $\sim 5-10$%. Observations of young ($< 100$ Myr) clusters can probe short-period sub-Neptunes that still retain most of their envelope mass. As such, they can be used to quantify the contamination of sub-Neptunes to the population of Kepler short-period small planets and aid in more reliable estimates of $\eta_\oplus$.


title: Investigating students' behavior and performance in online conceptual assessment

abstract: Historically, the implementation of research-based assessments (RBAs) has been a driver of educational change within physics and helped motivate adoption of interactive engagement pedagogies. Until recently, RBAs were given to students exclusively on paper and in-class; however, this approach has important drawbacks including decentralized data collection and the need to sacrifice class time. Recently, some RBAs have been moved to online platforms to address these limitations. Yet, online RBAs present new concerns such as student participation rates, test security, and students' use of outside resources. Here, we report on a study addressing these concerns in both upper-division and lower-division undergraduate physics courses. We gave RBAs to courses at five institutions; the RBAs were hosted online and featured embedded JavaScript code which collected information on students' behaviors (e.g., copying text, printing). With these data, we examine the prevalence of these behaviors, and their correlation with students' scores, to determine if online and paper-based RBAs are comparable. We find that browser loss of focus is the most common online behavior while copying and printing events were rarer. We found that correlations between these behaviors and student performance varied significantly between introductory and upper-division student populations, particularly with respect to the impact of students copying text in order to utilize internet resources. However, while the majority of students engaged in one or more of the targeted online behaviors, we found that, for our sample, none of these behaviors resulted in a significant change in the population's average performance that would threaten our ability to interpret this performance or compare it to paper-based implementations of the RBA.


title: Conv2Warp: An unsupervised deformable image registration with continuous convolution and warping

abstract: Recent successes in deep learning based deformable image registration (DIR) methods have demonstrated that complex deformation can be learnt directly from data while reducing computation time when compared to traditional methods. However, the reliance on fully linear convolutional layers imposes a uniform sampling of pixel/voxel locations which ultimately limits their performance. To address this problem, we propose a novel approach of learning a continuous warp of the source image. Here, the required deformation vector fields are obtained from a concatenated linear and non-linear convolution layers and a learnable bicubic Catmull-Rom spline resampler. This allows to compute smooth deformation field and more accurate alignment compared to using only linear convolutions and linear resampling. In addition, the continuous warping technique penalizes disagreements that are due to topological changes. Our experiments demonstrate that this approach manages to capture large non-linear deformations and minimizes the propagation of interpolation errors. While improving accuracy the method is computationally efficient. We present comparative results on a range of public 4D CT lung (POPI) and brain datasets (CUMC12, MGH10).


title: How Drag Force Evolves in Global Common Envelope Simulations

abstract: We compute the forces, torque and rate of work on the companion-core binary due to drag in global simulations of common envelope (CE) evolution for three different companion masses. Our simulations help to delineate regimes when conventional analytic drag force approximations are applicable. During and just prior to the first periastron passage of the in-spiral phase, the drag force is reasonably approximated by conventional analytic theory and peaks at values proportional to the companion mass. Good agreement between global and local 3D "wind tunnel" simulations, including similar net drag force and flow pattern, is obtained for comparable regions of parameter space. However, subsequent to the first periastron passage, the drag force is up to an order of magnitude smaller than theoretical predictions, quasi-steady, and depends only weakly on companion mass. The discrepancy is exacerbated for larger companion mass and when the inter-particle separation reduces to the Bondi-Hoyle-Lyttleton accretion radius, creating a turbulent thermalized region. Greater flow symmetry during this phase leads to near balance of opposing gravitational forces in front of and behind the companion, hence a small net drag. The reduced drag force at late times helps explain why companion-core separations necessary for envelope ejection are not reached by the end of limited duration CE simulations.


title: Bell correlations from local unentangled states of light and quantum electrodynamics

abstract: Based on the Bell theorem, it has been believed that a theoretical computation of the Bell correlation requires explicit use of an entangled state. Such a physical superposition of light waves occurs in the downconverter sources used in Bell experiments. However, this physical superposition is eliminated by wave propagation to spatially separated detectors. Bell correlations must therefore result from local waves, and the source boundary conditions of their previously entangled state. In the present model, Bell correlations are computed from disentangled separated waves, boundary conditions of nonlinear optics, and properties of single photon and vacuum states specified by quantum electrodynamics. Transient interference is assumed between photon excited waves and photon empty waves based on the possibility of such interference found to be necessary by the designers of Bell experiment sources. The present model employs local random variables without specifying underlying causality


title: Optimizing Differential Identifiability Improves Connectome Predictive Modeling of Cognitive Deficits in Alzheimer's Disease

abstract: Functional connectivity, as estimated using resting state fMRI, has shown potential in bridging the gap between pathophysiology and cognition. However, clinical use of functional connectivity biomarkers is impeded by unreliable estimates of individual functional connectomes and lack of generalizability of models predicting cognitive outcomes from connectivity. To address these issues, we combine the frameworks of connectome predictive modeling and differential identifiability. Using the combined framework, we show that enhancing the individual fingerprint of resting state functional connectomes leads to robust identification of functional networks associated to cognitive outcomes and also improves prediction of cognitive outcomes from functional connectomes. Using a comprehensive spectrum of cognitive outcomes associated to Alzheimer's disease, we identify and characterize functional networks associated to specific cognitive deficits exhibited in Alzheimer's disease. This combined framework is an important step in making individual level predictions of cognition from resting state functional connectomes and in understanding the relationship between cognition and connectivity.


title: Machine Learning the Physical Non-Local Exchange-Correlation Functional of Density-Functional Theory

abstract: We train a neural network as the universal exchange-correlation functional of density-functional theory that simultaneously reproduces both the exact exchange-correlation energy and potential. This functional is extremely non-local, but retains the computational scaling of traditional local or semi-local approximations. It therefore holds the promise of solving some of the delocalization problems that plague density-functional theory, while maintaining the computational efficiency that characterizes the Kohn-Sham equations. Furthermore, by using automatic differentiation, a capability present in modern machine-learning frameworks, we impose the exact mathematical relation between the exchange-correlation energy and the potential, leading to a fully consistent method. We demonstrate the feasibility of our approach by looking at one-dimensional systems with two strongly-correlated electrons, where density-functional methods are known to fail, and investigate the behavior and performance of our functional by varying the degree of non-locality.


title: Quadrature rules for $C^0$ and $C^1$ splines, a recipe

abstract: Closed formulae for all Gaussian or optimal, 1-parameter quadrature rules in a compact interval [a, b] with non uniform, asymmetric subintervals, arbitrary number of nodes per subinterval for the spline classes $S_{2N, 0}$ and $S_{2N+1, 1}$, i.e. even and odd degree are presented. Also rules for the 2 missing spline classes $S_{2N-1, 0}$ and $S_{2N, 1}$ (the so called 1/2-rules), i.e. odd and even degree are presented. These quadrature rules are explicit in the sense, that they compute the nodes and their weights in the first/last boundary subinterval and, via a recursion the other nodes/weights, parsing from the first/last subinterval to the middle of the interval. These closed formulae are based on the semi-classical Jacobi type orthogonal polynomials.


title: The hyperspaces $HS(p,X)$

abstract: Let $X$ be a continuum and let $C(X)$ denote the hyperspace of subcontinua of $X$, endowed with the Hausdorff metric. For $p\in X$, define the hyperspace $C(p,X)=\{A\in C(X):p\in A\}$ as a subspace of $C(X)$. In this paper we introduced the quotient space $HS(p,X)=C(X)/C(p,X)$. We present some general properties of $HS(p,X)$ and we study the relationship between the continuum $X$ and the hyperspaces $C(X)$ and $HS(p,X)$.


title: Higher Equipments, Double Colimits and Homotopy Colimits

abstract: This document is centered around a main idea: simplicial categories, by which we mean simplicial objects in the category of categories, can be treated as a two-fold categorical structure and their double category theory is homotopically meaningful. The most well-known two-fold structures are double categories, typically used to organize bimodules in various contexts. However there is no double category of spaces even though notions of bimodule are conceivable. We first remedy this defect of double category theory by constructing a meaningful simplicial category of spaces. Then we develop the analogy with double categories by defining double colimits and by postulating an equipment property, which is promptly satisfied in the examples. As an application we prove that certain double colimits are naturally interpreted as homotopy colimits. Quite surprisingly this analogy unveils a principle: simplicial categories are to simplicially enriched categories what double categories are to 2-categories!


title: Uniqueness of the hyperspaces $C(p,X)$ in the class of trees

abstract: Given a continuum $X$ and $p\in X$, we will consider the hyperspace $C(p,X)$ of all subcontinua of $X$ containing $p$. Given a family of continua $\mathcal{C}$, a continuum $X\in\mathcal{C}$ and $p\in X$, we say that $(X,p)$ has unique hyperspace $C(p,X)$ relative to $\mathcal{C}$ if for each $Y\in\mathcal{C}$ and $q\in Y$ such that $C(p,X)$ and $C(q,Y)$ are homeomorphic, then there is an homeomorphism between $X$ and $Y$ sending $p$ to $q$. In this paper we study some topological and geometric properties about the structure of $C(p,X)$ when $X$ is a tree, being the main result that $(X,p)$ has unique hyperspace $C(p,X)$ relative to the class of trees.


title: Learning Conceptual-Contextual Embeddings for Medical Text

abstract: External knowledge is often useful for natural language understanding tasks. We introduce a contextual text representation model called Conceptual-Contextual (CC) embeddings, which incorporates structured knowledge into text representations. Unlike entity embedding methods, our approach encodes a knowledge graph into a context model. CC embeddings can be easily reused for a wide range of tasks just like pre-trained language models. Our model effectively encodes the huge UMLS database by leveraging semantic generalizability. Experiments on electronic health records (EHRs) and medical text processing benchmarks showed our model gives a major boost to the performance of supervised medical NLP tasks.


title: Low-Frequency Noise in Low-Dimensional van der Waals Materials

abstract: The emergence of graphene and two-dimensional van der Walls materials renewed interest to investigation of the low-frequency noise in the low-dimensional systems. The layered van der Waals materials offers unique opportunities for studying the low-frequency noise owing to the properties controlled by the thickness of these materials, and tunable carrier concentration. In this review, we describe unusual low-frequency noise phenomena in quasi-2D and quasi-1D van der Waals materials. We also demonstrate that the low-frequency noise spectroscopy is a powerful tool for investigation of the electron transport and charge-density-wave phase transitions in this class of materials.


title: Multimode Fiber Coupled Superconducting Nanowire Single Photon Detectors with High Detection Efficiency and Time Resolution

abstract: In the past decade superconducting nanowire single photon detectors (SNSPDs) have gradually become an indispensable part of any demanding quantum optics experiment. Until now, most SNSPDs are coupled to single-mode fibers. SNSPDs coupled to multimode fibers have shown promising efficiencies but are yet to achieve high time resolution. For a number of applications ranging from quantum nano-photonics to bio-optics, high efficiency and high time-resolution are desired at the same time. In this paper, we demonstrate the role of polarization on the efficiency of multi-mode fiber coupled detectors, and show how it can be addressed. We fabricated high performance 20, 25 and 50{\mu}m diameter detectors targeted for visible, near infrared, and telecom wavelengths. A custom-built setup was used to simulate realistic experiments with randomized modes in the fiber. We simultaneously achieved system efficiency >80% and time resolution <20 ps and made large detectors that offer outstanding performances.


title: Coherent interaction between free electrons and a photonic cavity

abstract: Since its inception, research of cavity quantum electrodynamics (CQED) has extended our understanding of light-matter interactions and our ability to utilize them. Thus far, all the work in this field has been focused on light interacting with bound electron systems - such as atoms, molecules, quantum dots, and quantum circuits. In contrast, markedly different physical phenomena are found in free-electron systems, the energy distribution of which is continuous and not discrete, implying tunable transitions and selection rules. In addition to their uses for electron microscopy, the interaction of free electrons with light enables important phenomena such as Cherenkov radiation, Compton scattering, and free-electron lasing. However, no experiment has shown the integration of free electrons into the framework of CQED, because the fundamental electron-light interaction is limited in strength and lifetime. This limit explains why many phenomena have remained out of reach for experiments with free electrons. In this work, we developed the platform for studying CQED at the nanoscale with free electrons and demonstrated it by observing their coherent interaction with cavity photons for the first time. We also directly measure the cavity photon lifetime via a free electron probe and show more than an order of magnitude enhancement in the electron-photon interaction strength. These capabilities may open new paths toward using free electrons as carriers of quantum information, even more so after strong coupling between free electrons and cavity photons will have been demonstrated. Efficient electron-cavity photon coupling could also allow new nonlinear phenomena of cavity opto-electro-mechanics and the ultrafast exploration of soft matter or other beam-sensitive materials using low electron current and low laser exposure.


title: On non-uniqueness in mean field games

abstract: We analyze an $N+1$-player game and the corresponding mean field game with state space $\{0,1\}$. The transition rate of $j$-th player is the sum of his control $\alpha^j$ plus a minimum jumping rate $\eta$. Instead of working under monotonicity conditions, here we consider an anti-monotone running cost. We show that the mean field game equation may have multiple solutions if $\eta < \frac{1}{2}$. We also prove that that although multiple solutions exist, only the one coming from the entropy solution is charged (when $\eta=0$), and therefore resolve a conjecture of ArXiv: 1903.05788.


title: The existence of maximum likelihood estimate in high-dimensional binary response generalized linear models

abstract: Motivated by recent works on the high-dimensional logistic regression, we establish that the existence of the maximum likelihood estimate exhibits a phase transition for a wide range of generalized linear models with binary outcome and elliptical covariates. This extends a previous result of Cand\`es and Sur who proved the phase transition for the logistic regression with Gaussian covariates. Our result reveals a rich structure in the phase transition phenomenon, which is simply overlooked by Gaussianity. The main tools for deriving the result are data separation, convex geometry and stochastic approximation. We also conduct simulation studies to corroborate our theoretical findings, and explore other features of the problem.


title: Parametric Majorization for Data-Driven Energy Minimization Methods

abstract: Energy minimization methods are a classical tool in a multitude of computer vision applications. While they are interpretable and well-studied, their regularity assumptions are difficult to design by hand. Deep learning techniques on the other hand are purely data-driven, often provide excellent results, but are very difficult to constrain to predefined physical or safety-critical models. A possible combination between the two approaches is to design a parametric energy and train the free parameters in such a way that minimizers of the energy correspond to desired solution on a set of training examples. Unfortunately, such formulations typically lead to bi-level optimization problems, on which common optimization algorithms are difficult to scale to modern requirements in data processing and efficiency. In this work, we present a new strategy to optimize these bi-level problems. We investigate surrogate single-level problems that majorize the target problems and can be implemented with existing tools, leading to efficient algorithms without collapse of the energy function. This framework of strategies enables new avenues to the training of parameterized energy minimization models from large data.


title: On the Adversarial Robustness of Subspace Learning

abstract: In this paper, we study the adversarial robustness of subspace learning problems. Different from the assumptions made in existing work on robust subspace learning where data samples are contaminated by gross sparse outliers or small dense noises, we consider a more powerful adversary who can first observe the data matrix and then intentionally modify the whole data matrix. We first characterize the optimal rank-one attack strategy that maximizes the subspace distance between the subspace learned from the original data matrix and that learned from the modified data matrix. We then generalize the study to the scenario without the rank constraint and characterize the corresponding optimal attack strategy. Our analysis shows that the optimal strategies depend on the singular values of the original data matrix and the adversary's energy budget. Finally, we provide numerical experiments and practical applications to demonstrate the efficiency of the attack strategies.


title: PAStime: Progress-aware Scheduling for Time-critical Computing

abstract: Over-estimation of worst-case execution times (WCETs) of real-time tasks leads to poor resource utilization. In a mixed-criticality system (MCS), the over-provisioning of CPU time to accommodate the WCETs of highly critical tasks may lead to degraded service for less critical tasks. In this paper, we present PAStime, a novel approach to monitor and adapt the runtime progress of highly time-critical applications, to allow for improved service to lower criticality tasks. In PAStime, CPU time is allocated to time-critical tasks according to the delays they experience as they progress through their control flow graphs. This ensures that as much time as possible is made available to improve the Quality-of-Service of less critical tasks, while high-criticality tasks are compensated after their delays. In this paper, we integrate PAStime with Adaptive Mixed-criticality (AMC) scheduling. The LO-mode budget of a high-criticality task is adjusted according to the delay observed at execution checkpoints. This is the first implementation of AMC in the scheduling framework Using LITMUS-RT, which is extended with our PAStime runtime policy and tested with real-time Linux applications such as object classification and detection. We observe in our experimental evaluation that AMC-PAStime significantly improves the utilization of the low-criticality tasks while guaranteeing service to high-criticality tasks.


title: Hybrid Color Glass Condensate and hydrodynamic description of the Relativistic Heavy Ion Collider small system scan

abstract: Multi-particle correlation observables in the Relativistic Heavy Ion Collider small system scan are computed in a framework that contains both initial state momentum anisotropies from the Color Glass Condensate effective theory and final state hydrodynamic evolution. The initial state is computed using the IP-Glasma model and coupled to viscous relativistic hydrodynamic simulations, which are followed by microscopic hadronic transport. All parameters of the calculation were previously constrained using experimental data on Au+Au collisions at the same center of mass energy. We find that the qualitative features of the experimental data, such as the system and centrality dependence of the charged hadron momentum anisotropy, can only be reproduced when final state interactions are present. On the other hand, we also demonstrate that the details of the initial state are crucially important for the quantitative description of observables in the studied small systems, as neglecting the initial transverse flow profile or the initial shear stress tensor, which contain information on the momentum anisotropy from the Color Glass Condensate, has dramatic effects on the produced final state anisotropy. We further show that the initial state momentum anisotropy is correlated with the observed elliptic flow in all small systems, with the effect increasing with decreasing multiplicity. We identify the precise measurement of $v_2$ in d+Au and Au+Au collisions at RHIC energy at the same multiplicity as a means to reveal effects of the initial state momentum anisotropy.


title: Zero Shot Learning for Multi-Modal Real Time Image Registration

abstract: In this report we present an unsupervised image registration framework, using a pre-trained deep neural network as a feature extractor. We refer this to zero-shot learning, due to nonoverlap between training and testing dataset (none of the network modules in the processing pipeline were trained specifically for the task of medical image registration). Highlights of our technique are: (a) No requirement of a training dataset (b) Keypoints i.e.locations of important features are automatically estimated (c) The number of key points in this model is fixed and can possibly be tuned as a hyperparameter. (d) Uncertaintycalculation of the proposed, transformation estimates (e) Real-time registration of images. Our technique was evaluated on BraTS, ALBERT, and collaborative hospital Brain MRI data. Results suggest that the method proved to be robust for affine transformation models and the results are practically instantaneous, irrespective of the size of the input image


title: Computing Linear Restrictions of Neural Networks

abstract: A linear restriction of a function is the same function with its domain restricted to points on a given line. This paper addresses the problem of computing a succinct representation for a linear restriction of a piecewise-linear neural network. This primitive, which we call ExactLine, allows us to exactly characterize the result of applying the network to all of the infinitely many points on a line. In particular, ExactLine computes a partitioning of the given input line segment such that the network is affine on each partition. We present an efficient algorithm for computing ExactLine for networks that use ReLU, MaxPool, batch normalization, fully-connected, convolutional, and other layers, along with several applications. First, we show how to exactly determine decision boundaries of an ACAS Xu neural network, providing significantly improved confidence in the results compared to prior work that sampled finitely many points in the input space. Next, we demonstrate how to exactly compute integrated gradients, which are commonly used for neural network attributions, allowing us to show that the prior heuristic-based methods had relative errors of 25-45% and show that a better sampling method can achieve higher accuracy with less computation. Finally, we use ExactLine to empirically falsify the core assumption behind a well-known hypothesis about adversarial examples, and in the process identify interesting properties of adversarially-trained networks.


title: Microscopic description of axisymmetric vortices in $^{3}P_{2}$ superfluids

abstract: We study quantized vortices in ${}^{3}P_{2}$ superfluids using a microscopic theory for the first time. The theory is based on the Eilenberger equation to determine the order parameters and the Bogoliubov-de Gennes (BdG) equation to obtain the eigenenergies and the core magnetization. Within axisymmetric vortex configurations, we find several stable and metastable vortex configurations which depend on the strength of a magnetic field, similar to a $v$ vortex and $o$ vortex in $^3$He superfluids. We demonstrate that the $o$ vortex is the most stable axisymmetric vortex in the presence of a strong magnetic field, and we find two zero-energy Majorana fermion bound states in the $o$-vortex core. We show that the profiles of the core magnetization calculated using the BdG equation are drastically different from those calculated using only the order parameter profiles known before.


title: Generating an Overview Report over Many Documents

abstract: How to efficiently generate an accurate, well-structured overview report (ORPT) over thousands of related documents is challenging. A well-structured ORPT consists of sections of multiple levels (e.g., sections and subsections). None of the existing multi-document summarization (MDS) algorithms is directed toward this task. To overcome this obstacle, we present NDORGS (Numerous Documents' Overview Report Generation Scheme) that integrates text filtering, keyword scoring, single-document summarization (SDS), topic modeling, MDS, and title generation to generate a coherent, well-structured ORPT. We then devise a multi-criteria evaluation method using techniques of text mining and multi-attribute decision making on a combination of human judgments, running time, information coverage, and topic diversity. We evaluate ORPTs generated by NDORGS on two large corpora of documents, where one is classified and the other unclassified. We show that, using Saaty's pairwise comparison 9-point scale and under TOPSIS, the ORPTs generated on SDS's with the length of 20% of the original documents are the best overall on both datasets.


title: Neural Re-Simulation for Generating Bounces in Single Images

abstract: We introduce a method to generate videos of dynamic virtual objects plausibly interacting via collisions with a still image's environment. Given a starting trajectory, physically simulated with the estimated geometry of a single, static input image, we learn to 'correct' this trajectory to a visually plausible one via a neural network. The neural network can then be seen as learning to 'correct' traditional simulation output, generated with incomplete and imprecise world information, to obtain context-specific, visually plausible re-simulated output, a process we call neural re-simulation. We train our system on a set of 50k synthetic scenes where a virtual moving object (ball) has been physically simulated. We demonstrate our approach on both our synthetic dataset and a collection of real-life images depicting everyday scenes, obtaining consistent improvement over baseline alternatives throughout.


title: Carbon-related Bilayers: Nanoscale Building Blocks for Self-Assembly Nanomanufacturing

abstract: Using a first-principles total energy methodology, we investigated the properties of graphene-like carbon mono and bilayers, functionalized with nitrogen and boron atoms. The resulting stable structures were explored in terms of their potential use as nanoscale two-dimensional building blocks for self-assembly of macroscopic structures. We initially considered graphene monolayers functionalized with nitrogen and boron, but none of them was dynamically stable, in terms of the respective layer phonon spectra. Then, we considered the functionalized graphene-like bilayers (labeled as NCCN, NCNC, BCCB, and NCCB), analyzing their stability, electronic and mechanical properties, and chemical reactivity. We found that while the NCCN, NCNC, and NCCB bilayers were stable, the BCCB one was not. Additionally, the NCCN and NCCB bilayers were explored as potential two-dimensional building blocks for nanostructure self-assembly, which could form stable bulk structures. Particularly, the NCCB bilayer seemed the best choice as a building block, since the resulting 3D crystals, formed by stacking NCCB bilayers, were energetically stable.


title: From deterministic dynamics to thermodynamic laws II: Fourier's law and mesoscopic limit equation

abstract: This paper consider the mesoscopic limit of a stochastic energy exchange model that is numerically derived from deterministic dynamics. The law of large numbers and the central limit theorems are proved. We show that the limit of the stochastic energy exchange model is a discrete heat equation that satisfies Fourier's law. In addition, when the system size (number of particles) is large, the stochastic energy exchange is approximated by a stochastic differential equation, called the mesoscopic limit equation.


title: Higgs inflation in complex geometrical scalar-tensor theory of gravity

abstract: We derive a Higgs inflationary model in the context of a complex geometrical scalar-tensor theory of gravity. In this model the Higgs inflaton scalar field has geometrical origin playing the role of the Weyl scalar field in the original non-riemannian background geometry. The energy scale enough to generate inflation from the Higgs energy scale is achieved due to the compatibility of the theory with its background complex Weyl-integrable geometry. We found that for a number of e-foldings $N=63$, a nearly scale invariant spectrum for the inflaton is obtained with an spectral index $n_s\simeq 0.9735$ and a scalar to tensor ratio $r\simeq 0.01$, which are in agreement with Planck observational data.


title: Evaluating the Evidence of Multipolar Surface Magnetic Field in PSR J0108$-$1431

abstract: PSR J0108$-$1431 is an old pulsar where the X-ray emission is expected to have a thermal component from the polar cap and a non-thermal component from the magnetosphere. Although the phase-integrated spectra are fit best with a single non-thermal component modeled with a power-law (PL) of photon index $\Gamma=2.9$, the X-ray pulse profiles do show the presence of phase-separated thermal and non-thermal components. The spectrum extracted from half the rotational phase away from the X-ray peak fits well with either a single blackbody (BB) or a neutron star atmosphere (NA) model, whereas, the spectrum from the rest of the phase range is dominated by a PL. From Bayesian analysis, the estimated BB area is smaller than the expected polar cap area for a dipolar magnetic field with a probability of 86% whereas the area estimate from the NA model is larger with a probability of 80%. Due to the ambiguity in the thermal emission model, the polar cap area cannot be reliably estimated and hence cannot be used to understand the nature of the surface magnetic field. Instead, we can infer the presence of multipolar magnetic field from the misalignment between the pulsar's thermal X-ray peak and the radio emission peak. For J0108$-$1431, we estimated a phase-offset $\Delta\phi > 0.1$ between the thermal polar cap emission peak and the radio emission peak and argue that this is best explained by the presence of a multipolar surface magnetic field.


title: Spectra of "fattened" open book structures

abstract: We establish convergence of spectra of Neumann Laplacian in a thin neighborhood of a branching 2D structure in 3D to the spectrum of an appropriately defined operator on the structure itself. This operator is a 2D analog of the well known by now quantum graphs. As in the latter case, such considerations are triggered by various physics and engineering applications.


title: A Symbolic Neural Network Representation and its Application to Understanding, Verifying, and Patching Networks

abstract: Analysis and manipulation of trained neural networks is a challenging and important problem. We propose a symbolic representation for piecewise-linear neural networks and discuss its efficient computation. With this representation, one can translate the problem of analyzing a complex neural network into that of analyzing a finite set of affine functions. We demonstrate the use of this representation for three applications. First, we apply the symbolic representation to computing weakest preconditions on network inputs, which we use to exactly visualize the advisories made by a network meant to operate an aircraft collision avoidance system. Second, we use the symbolic representation to compute strongest postconditions on the network outputs, which we use to perform bounded model checking on standard neural network controllers. Finally, we show how the symbolic representation can be combined with a new form of neural network to perform patching; i.e., correct user-specified behavior of the network.


title: The general spectral radius and majorization theorem of $t$-cone graphs with given degree sequences

abstract: The general spectral radius of a graph $G$, denoted by $\Theta(G,\alpha)$, is the maximal eigenvalue of $M_{\alpha}(G)=A(G)+\alpha D(G)$ $(\alpha\geq 0)$, where $A(G)$ and $D(G)$ are the adjacency matrix and the diagonal matrix of vertex degrees of $G$, respectively. A graph $G$ is called $\Theta_\alpha$-maximal in a class of connected simple graphs $\mathcal {G}$ if $\Theta(G,\alpha)$ is maximal among all graphs of $\mathcal {G}$. A $t$-cone $c$-cyclic graph is the join of a complete graph $K_t$ and a $c$-cyclic connected simple graph. Let $\pi=\big(d_1,d_2,\ldots,d_n\big)$ and $\pi'=\big(d'_1,d'_2,\ldots,d'_n\big)$ be two non-increasing degree sequences of $t$-cone $c$-cyclic graphs with $n$ vertices. We say $\pi$ is strictly majorized by $\pi'$, denoted by $\pi \lhd \pi'$, if $\pi\neq \pi'$, $\sum_{i=1}^n d_i=\sum_{i=1}^n d_i'$, and $\sum_{i=1}^k d_i\leq \sum_{i=1}^k d_i'$ for $k=1,2,\ldots,n-1$. Denote by $\Gamma(\pi,t;c)$ the class of $t$-cone $c$-cyclic graphs with $\pi$ as its degree sequence. In this paper, we determine some properties of $\Theta_\alpha$-maximal graphs of $\Gamma(\pi,t;c)$ and characterize the unique $\Theta_\alpha$-maximal graph of $\Gamma(\pi,t;0)$ \big(resp. $\Gamma(\pi,t;1)$ and $\Gamma(\pi,t;2)$\big). Moreover, we prove that if $\pi \lhd \pi'$, $G$ and $G'$ are the $\Theta_\alpha$-maximal graphs of $\Gamma(\pi,t;c)$ and $\Gamma(\pi',t;c)$ respectively, then $\Theta(G,\alpha)<\Theta(G',\alpha)$ for $c\in \big\{0,1\big\}$, and we also consider the similar result for $c=2$.


title: On the boundary condition and related instability in the Smoothed Particle Hydrodynamics

abstract: In this work, we explore various relevant aspects of the Smoothed Particle Hydrodynamics regarding Burger's equation. The stability, precision, and efficiency of the algorithm are investigated in terms of different implementations. In particular, we argue that the boundary condition plays an essential role in the stability of numerical implementation. Besides, the issue is shown to be closely associated with the initial particle distribution and the interpolation scheme. Among others, we introduce an interpolation scheme termed symmetrized finite particle method. The main advantage of the scheme is that its implementation does not involve any derivative of the kernel function. Concerning the equation of motion, the calculations are carried out using two distinct scenarios where the particles are chosen to be either stationary or dynamically evolved. The obtained results are compared with those obtained by using the standard finite difference method for spatial derivatives. Our numerical results indicate subtle differences between different schemes regarding the choice of boundary condition. In particular, a novel type of instability is observed where the regular distribution is compromised as the particles start to traverse each other. Implications and further discussions of the present study are also addressed.


title: Effects of universal extra dimensions on top-quark electromagnetic interactions

abstract: Universal extra dimensions, presumably observable at some high-energy scale, would modify low-energy observables, being particularly relevant for physical processes forbidden at tree level by the Standard Model. We address the Kaluza-Klein contributions from the 5-dimensional Standard Model to the anomalous magnetic moment and to branching ratios of electromagnetic decays of the top quark. In accordance with present bounds on the compactification scale, contributions to both quantities are found to be at least 3 orders of magnitude below Standard-Model predictions.


title: Partially hyperbolic diffeomorphisms homotopic to the identity in dimension 3, Part I: The dynamically coherent case

abstract: We study 3-dimensional dynamically coherent partially hyperbolic diffeomorphisms that are homotopic to the identity, focusing on the transverse geometry and topology of the center stable and center unstable foliations, and the dynamics within their leaves. We find a structural dichotomy for these foliations, which we use to show that every such diffeomorphism on a hyperbolic or Seifert fibered 3-manifold is leaf conjugate to the time one map of a (topological) Anosov flow. This proves a classification conjecture of Hertz-Hertz-Ures in hyperbolic 3-manifolds and in the homotopy class of the identity of Seifert manifolds.


title: Well-posedness and large deviations for 2-D Stochastic Navier-Stokes equations with jumps

abstract: The aim of this paper is threefold. Firstly, we prove the existence and the uniqueness of a global strong (in both the probabilistic and the PDE senses) $\mathrm{H}^{1}_2$-valued solution to the 2D stochastic Navier-Stokes equations (SNSEs) driven by a multiplicative L\'evy noise under the natural Lipschitz on balls and linear growth assumptions on the jump coefficient. Secondly, we prove a Girsanov-type theorem for Poisson random measures and apply this result to a study of the well-posedness of the corresponding stochastic controlled problem for these SNSEs. Thirdly, we apply these results to establish a Freidlin-Wentzell-type large deviation principle for the solutions of these SNSEs by employing the weak convergence method introduced in papers [16][18].


title: Quantum solvability of noisy linear problems by divide-and-conquer strategy

abstract: Noisy linear problems have been studied in various science and engineering disciplines. A class of "hard" noisy linear problems can be formulated as follows: Given a matrix $\hat{A}$ and a vector $\mathbf{b}$ constructed using a finite set of samples, a hidden vector or structure involved in $\mathbf{b}$ is obtained by solving a noise-corrupted linear equation $\hat{A}\mathbf{x} \approx \mathbf{b} + \boldsymbol\eta$, where $\boldsymbol\eta$ is a noise vector that cannot be identified. For solving such a noisy linear problem, we consider a quantum algorithm based on a divide-and-conquer strategy, wherein a large core process is divided into smaller subprocesses. The algorithm appropriately reduces both the computational complexities and size of a quantum sample. More specifically, if a quantum computer can access a particular reduced form of the quantum samples, polynomial quantum-sample and time complexities are achieved in the main computation. The size of a quantum sample and its executing system can be reduced, e.g., from exponential to sub-exponential with respect to the problem length, which is better than other results we are aware. We analyse the noise model conditions for such a quantum advantage, and show when the divide-and-conquer strategy can be beneficial for quantum noisy linear problems.


title: One-Time Shot-Noise Unit Calibration Method for Continuous-Variable Quantum Key Distribution

abstract: The shot-noise unit in continuous-variable quantum key distribution plays an important and fundamental role in experimental implementation as it is used as a normalization parameter that contribute to perform security analysis and distill the key information. However, the traditional calibration procedure and detector model can not cover all system noise in practical application, which will result in some loopholes and influence the practical security. What's more, the traditional procedure is also rather complicated and has difficulty in compatible with automatic operating system. In this paper we propose a calibration model based on the proposed trusted detector model, which could naturally close the loopholes in practical application. It can help identify the shot-noise unit in only one step, which can not only effectively simplify the evaluation process but also reduce the statistical fluctuation, while two steps are needed in traditional method. We prove its feasibility and derive the complete version of the corresponding entanglement-based model. Detailed security analysis against arbitrary collective attacks and numerous simulation results in both the asymptotic limit regime and the finite-size regime are provided. A proof-of-principle experiment has been implemented and the results indicate that the one-time-calibration model can be employed as a powerful substitution to calibrate the shot-noise unit. Our method paves the way for the deployment of continuous-variable quantum key distribution with real time calibration and automatic operation.


title: Uniform Bounds for Periods of Endomorphisms of Varieties

abstract: Suppose $X$ is a projective variety defined over a finite extension $K$ of $\mathbb{Q}_p$ and suppose $X$ admits a model $\mathcal{X}$ defined over the ring of integers $R$ of $K$. Let $f:{X}\rightarrow {X}$ be an endomorphism of $X$ defined over $K$ that can be extended to an endomorphism of $\mathcal{X}$ defined over $R$. We apply a method of Fakhruddin to prove an explicit upper bound for the primitive period of periodic points defined over $R$.


title: Multi-Objective Evolutionary Framework for Non-linear System Identification: A Comprehensive Investigation

abstract: The present study proposes a multi-objective framework for structure selection of nonlinear systems which are represented by polynomial NARX models. This framework integrates the key components of Multi-Criteria Decision Making (MCDM) which include preference handling, Multi-Objective Evolutionary Algorithms (MOEAs) and a posteriori selection. To this end, three well-known MOEAs such as NSGA-II, SPEA-II and MOEA/D are thoroughly investigated to determine if there exists any significant difference in their search performance. The sensitivity of all these MOEAs to various qualitative and quantitative parameters, such as the choice of recombination mechanism, crossover and mutation probabilities, is also studied. These issues are critically analyzed considering seven discrete-time and a continuous-time benchmark nonlinear system as well as a practical case study of non-linear wave-force modeling. The results of this investigation demonstrate that MOEAs can be tailored to determine the correct structure of nonlinear systems. Further, it has been established through frequency domain analysis that it is possible to identify multiple valid discrete-time models for continuous-time systems. A rigorous statistical analysis of MOEAs via performance sweet spots in the parameter space convincingly demonstrates that these algorithms are robust over a wide range of control parameters.


title: Brownian motion and beyond: first-passage, power spectrum, non-Gaussianity, and anomalous diffusion

abstract: Brownian motion is a ubiquitous physical phenomenon across the sciences. After its discovery by Brown and intensive study since the first half of the 20th century, many different aspects of Brownian motion and stochastic processes in general have been addressed in Statistical Physics. In particular, there now exist a very large range of applications of stochastic processes in various disciplines. Here, we highlight some of the advances in stochastic processes prompted by novel experimental methods such as superresolution microscopy. Here we provide a summary of some of the recent developments highlighting both the experimental findings and theoretical frameworks.


title: Perturbation theory approach to predict the covariance matrices of the galaxy power spectrum and bispectrum in redshift space

abstract: In this paper, we predict the covariance matrices of both the power spectrum and the bispectrum, including full non-Gaussian contributions, redshift space distortions, linear bias effects and shot-noise corrections, using perturbation theory (PT). To quantify the redshift-space distortion effect, we focus mainly on the monopole and quadrupole components of both the power and bispectra. We, for the first time, compute the 5- and 6-point spectra to predict the cross-covariance between the power and bispectra, and the auto-covariance of the bispectrum in redshift space. We test the validity of our calculations by comparing them with the covariance matrices measured from the MultiDark-Patchy mock catalogues that are designed to reproduce the galaxy clustering measured from the Baryon Oscillation Spectroscopic Survey Data Release 12. We argue that the simple, leading-order perturbation theory works because the shot-noise corrections for the Patchy mocks are more dominant than other higher-order terms we ignore. In the meantime, we confirm some discrepancies in the comparison, especially of the cross-covariance. We discuss potential sources of such discrepancies. We also show that our PT model reproduces well the cumulative signal-to-noise of the power spectrum and the bispectrum as a function of maximum wavenumber, implying that our PT model captures successfully essential contributions to the covariance matrices.


title: Experimental determination of the isospin of $\Lambda_c(2765)^+/\Sigma_c(2765)^+$

abstract: We report an experimental determination of the isospin of $\Lambda_c(2765)^+/\Sigma_c(2765)^+$ using 980 fb$^{-1}$ data in the $e^+e^-$ annihilation around $\sqrt{s} = 10.6$ GeV collected by the Belle detector located at the KEKB collider. The isospin partners are searched for in the $\Sigma_c(2455)^{++/0} \pi^{0}$ channels, and no evidence was obtained. Thus the isospin is determined to be zero, and the particle is established to be a $\Lambda_c$.


title: Transversal, $T_{1}$-independent, and $T_{1}$-complementary paratopological group topologies

abstract: We discuss the class of paratopological groups which admits a transversal, $T_{1}$-independent and $T_{1}$-complementary paratopological group topology. We show that the Sorgenfrey line does not admit a $T_{1}$-complementary Hausdorff paratopological group topology, which gives a negative answer to \cite[Problem 10]{AT2017}. We give a very useful criterion for transversality in term of submaximal paratopological group topology, and prove that if a non-discrete paratopological group topology $G$ contains a central subgroup which admits a transversal paratopological group topology, then so does $G$. We introduce the concept of $PT$-sequence and give a characterization of an Abelian paratopological group being determined by a $PT$-sequence. As the applications, we prove that the Abelian paratopological group, which is endowed with the strongest paratopological group topology being determined by a $T$-sequence, does not admit a $T_{1}$-complementary Hausdorff paratopological group topology on $G$. Finally, we study the class of countable paratopological groups which is determined by a $PT$-filter, and obtain a sufficient condition for a countable paratopological group $G$ being determined by a $PT$-sequence which admits a transversal paratopological group topology on $G$ being determined by a $PT$-sequence.


title: Projective Naturality in Heegaard Floer Homology

abstract: Let $\text{Man}_{*}$ denote the category of closed, connected, oriented and based $3$-manifolds, with basepoint preserving diffeomorphisms between them. Juh\'asz, Thurston and Zemke showed that the Heegaard Floer invariants are natural with respect to diffeomorphisms, in the sense that there are functors $HF^{\circ}: \text{Man}_{*} \rightarrow \mathbb{F}_{2}[U]\text{-}\text{Mod}$ whose values agree with the invariants defined by Ozsv\'ath and Szab\'o. The invariant associated to a based $3$-manifold comes from a transitive system in $\mathbb{F}_{2}[U]\text{-}\text{Mod}$ associated to a graph of embedded Heegaard diagrams representing the $3$-manifold. We show that the Heegaard Floer invariants yield functors $HF^{\circ}: \text{Man}_{*} \rightarrow \text{Trans}(P(\mathbb{Z}[U]\text{-}\text{Mod}))$ to the category of transitive systems in a projectivized category of $\mathbb{Z}[U]$-modules. In doing so, we will see that the transitive system of modules associated to a $3$-manifold actually comes from an underlying transitive system in the projectivized homotopy category of chain complexes over $\mathbb{Z}[U]\text{-}\text{Mod}$. We discuss an application to involutive Heegaard Floer homology, and potential generalizations of our results.


title: The Wolf-Rayet Content of the Galaxies of the Local Group and Beyond

abstract: Wolf-Rayet stars (WRs) represent the end of a massive star's life as it is about to turn into a supernova. Obtaining complete samples of such stars across a large range of metallicities poses observational challenges, but presents us with an exacting way to test current stellar evolutionary theories. A technique we have developed and refined involves interference filter imaging combined with image subtraction and crowded-field photometry. This helps us address one of the most controversial topics in current massive star research: the relative importance of binarity in the evolution of massive stars and formation of WRs. Here we discuss the current state of the field, including how the observed WR populations match with the predictions of both single and binary star evolutionary models. We end with what we believe are the most important next steps in WR research.


title: Impacts of Retina-related Zones on Quality Perception of Omnidirectional Image

abstract: Virtual Reality (VR), which brings immersive experiences to viewers, has been gaining popularity in recent years. A key feature in VR systems is the use of omnidirectional content, which provides 360-degree views of scenes. In this work, we study the human quality perception of omnidirectional images, focusing on different zones surrounding the foveation point. For that purpose, an extensive subjective experiment is carried out to assess the perceptual quality of omnidirectional images with non-uniform quality. Through experimental results, the impacts of different zones are analyzed. Moreover, nineteen objective quality metrics, including foveal quality metrics, are evaluated using our database. It is quantitatively shown that the zones corresponding to the fovea and parafovea of human eyes are extremely important for quality perception, while the impacts of the other zones corresponding to the perifovea and periphery are small. Besides, the investigated metrics are found to be not effective enough to reflect the quality perceived by viewers.


title: Markov chains with exponential return times are finitary

abstract: Consider an ergodic Markov chain on a countable state space for which the return times have exponential tails. We show that the stationary version of any such chain is a finitary factor of an i.i.d. process. A key step is to show that any stationary renewal process whose jump distribution has exponential tails and is not supported on a proper subgroup of $\mathbb{Z}$ is a finitary factor of an i.i.d. process.


title: Graphon-valued stochastic processes from population genetics

abstract: The goal of this paper is to develop a theory of graphon-valued stochastic processes, and to construct and analyse a natural class of such processes arising from population genetics. We consider finite populations where individuals change type according to Wright-Fisher resampling. At any time, each pair of individuals is linked by an edge with a probability that is given by a type-connection matrix, whose entries depend on the current empirical type distribution of the entire population via a fitness function. We show that, in the large-population-size limit and with an appropriate scaling of time, the evolution of the associated adjacency matrix converges to a random process in the space of graphons, driven by the type-connection matrix and the underlying Wright-Fisher diffusion on the multi-type simplex. In the limit as the number of types tends to infinity, the limiting process is driven by the type-connection kernel and the underlying Fleming-Viot diffusion.


title: Guarantees of Stochastic Greedy Algorithms for Non-monotone Submodular Maximization with Cardinality Constraint

abstract: Submodular maximization with a cardinality constraint can model various problems, and those problems are often very large in practice. For the case where objective functions are monotone, many fast approximation algorithms have been developed. The stochastic greedy algorithm (SG) is one such algorithm, which is widely used thanks to its simplicity, efficiency, and high empirical performance. However, its approximation guarantee has been proved only for monotone objective functions. When it comes to non-monotone objective functions, existing approximation algorithms are inefficient relative to the fast algorithms developed for the case of monotone objectives. In this paper, we prove that SG (with slight modification) can achieve almost $1/4$-approximation guarantees in expectation in linear time even if objective functions are non-monotone. Our result provides a constant-factor approximation algorithm with the fewest oracle queries for non-monotone submodular maximization with a cardinality constraint. Experiments validate the performance of (modified) SG.


title: Signature of lepton flavor universality violation in $B_s \to D_s \tau \nu$ semileptonic decays

abstract: Deviation from the standard model prediction is observed in many semileptonic $B$ decays mediated via $b \to c$ charged current interactions. In particular, current experimental measurements of the ratio of branching ratio $R_D$ and $R_{D^{\ast}}$ in $B \rightarrow D^{(*)}l \nu$ decays disagree with standard model expectations at the level of about $4.1\sigma$. Moreover, recent measurement of the ratio of branching ratio $R_{J/\Psi}$ by LHCb, where $R_{J/\Psi} = \mathcal B(B_c \to J/\Psi\,\tau\nu)/\mathcal B(B_c \to J/\Psi\,\mu\nu)$, is more than $2\sigma$ away from the standard model prediction. In this context, we consider an effective Lagrangian in the presence of vector and scalar new physics couplings to study the implications of $R_D$ and $R_{D^{\ast}}$ anomalies in $B_s \to D_s\,\tau\nu$ decays. We give prediction of several observables such as branching ratio, ratio of branching ratio, forward backward asymmetry parameter, $\tau$ polarization fraction, and the convexity parameter for the $B_s \to D_s\,\tau\nu$ decays within the standard model and within various new physics scenarios.


title: Probing new physics in $B_s \to (K,K^*)\tau \nu$ and $B \to \pi \tau \nu$ decays

abstract: Motivated by the anomalies present in $b \to u$ and $b \to c$ semileptonic decays, we study the corresponding $B_s \to (K,K^*) \tau \nu$ and $B \to \pi \tau \nu$ decays within an effective field theory formalism. Our analysis is based on a strict model dependent assumption, i.e., we assume that $b \to u$ and $b \to c$ transition decays exhibit similar new physics pattern. We give prediction of various observables such as the branching fraction, ratio of branching ratio, lepton side forward-backward asymmetry, longitudinal polarization fraction of the charged lepton and convexity parameter in the standard model and in the presence of vector type new physics couplings.


title: Deep Learning based Channel Estimation for Massive MIMO with Mixed-Resolution ADCs

abstract: In this article, deep learning is applied to estimate the uplink channels for mixed analog-to-digital converters (ADCs) massive multiple-input multiple-output (MIMO) systems, where a portion of antennas are equipped with high-resolution ADCs while others employ low-resolution ones at the base station. A direct-input deep neural network (DI-DNN) is first proposed to estimate channels by using the received signals of all antennas. To eliminate the adverse impact of the coarsely quantized signals, a selective-input prediction DNN (SIP-DNN) is developed, where only the signals received by the high-resolution ADC antennas are exploited to predict the channels of other antennas as well as to estimate their own channels. Numerical results show the superiority of the proposed DNN based approaches over the existing methods, especially with mixed one-bit ADCs, and the effectiveness of the proposed approaches on different ADC resolution patterns.


title: CompenNet++: End-to-end Full Projector Compensation

abstract: Full projector compensation aims to modify a projector input image such that it can compensate for both geometric and photometric disturbance of the projection surface. Traditional methods usually solve the two parts separately, although they are known to correlate with each other. In this paper, we propose the first end-to-end solution, named CompenNet++, to solve the two problems jointly. Our work non-trivially extends CompenNet, which was recently proposed for photometric compensation with promising performance. First, we propose a novel geometric correction subnet, which is designed with a cascaded coarse-to-fine structure to learn the sampling grid directly from photometric sampling images. Second, by concatenating the geometric correction subset with CompenNet, CompenNet++ accomplishes full projector compensation and is end-to-end trainable. Third, after training, we significantly simplify both geometric and photometric compensation parts, and hence largely improves the running time efficiency. Moreover, we construct the first setup-independent full compensation benchmark to facilitate the study on this topic. In our thorough experiments, our method shows clear advantages over previous arts with promising compensation quality and meanwhile being practically convenient.


title: Transition to Turbulence in Driven Active Matter

abstract: A Lorenz-like model was set up recently, to study the hydrodynamic instabilities in a driven active matter system. This Lorenz model differs from the standard one in that all three equations contain non-linear terms. The additional non-linear term comes from the active matter contribution to the stress tensor. In this work, we investigate the non-linear properties of this Lorenz model both analytically and numerically. The significant feature of the model is the passage to chaos through a complete set of period-doubling bifurcations above the Hopf point for inverse Schmidt numbers above a critical value. Interestingly enough, at these Schmidt numbers a strange attractor and stable fixed points coexist beyond the homoclinic point. At the Hopf point, the strange attractor disappears leaving a high-period periodic orbit. This periodic state becomes the expected limit cycle through a set of bifurcations and then undergoes a sequence of period-doubling bifurcations leading to the formation of a strange attractor. This is the first situation where a Lorenz-like model has shown a set of consecutive period-doubling bifurcations in a physically relevant transition to turbulence.


title: JVS corpus: free Japanese multi-speaker voice corpus

abstract: Thanks to improvements in machine learning techniques, including deep learning, speech synthesis is becoming a machine learning task. To accelerate speech synthesis research, we are developing Japanese voice corpora reasonably accessible from not only academic institutions but also commercial companies. In 2017, we released the JSUT corpus, which contains 10 hours of reading-style speech uttered by a single speaker, for end-to-end text-to-speech synthesis. For more general use in speech synthesis research, e.g., voice conversion and multi-speaker modeling, in this paper, we construct the JVS corpus, which contains voice data of 100 speakers in three styles (normal, whisper, and falsetto). The corpus contains 30 hours of voice data including 22 hours of parallel normal voices. This paper describes how we designed the corpus and summarizes the specifications. The corpus is available at our project page.


title: Third method for generation of spectral holes in chiral sculptured thin films

abstract: The introduction of either a central layer defect or a central twist defect in a periodic structurally chiral material generates circular-polarization-sensitive spectral holes in the remittance spectrums for normally incident plane waves. We propose and theoretically establish here the third method to generate such spectral holes using two-section chiral sculptured thin films (STFs). Both sections of the proposed device have the same periodicity and handedness, but their dielectric properties are different and related in a specific way. The concept of pseudoisotropy is highly relevant for the production of the proposed device.


title: Distributed Averaging Problems over Directed Signed Networks

abstract: This paper aims at addressing distributed averaging problems for signed networks in the presence of general directed topologies that are represented by signed digraphs. A new class of improved Laplacian potential functions is proposed by presenting two notions of any signed digraph: induced unsigned digraph and mirror (undirected) signed graph, based on which two distributed averaging protocols are designed using the nearest neighbor rules. It is shown that with any of the designed protocols, signed-average consensus (respectively, state stability) can be achieved if and only if the associated signed digraph of signed network is structurally balanced (respectively, unbalanced), regardless of whether weight balance is satisfied or not. Further, improved Laplacian potential functions can be exploited to solve fixed-time consensus problems of signed networks with directed topologies, in which a nonlinear distributed protocol is proposed to ensure the bipartite consensus or state stability within a fixed time. Additionally, the convergence analyses of directed signed networks can be implemented with the Lyapunov stability analysis method, which is realized by revealing the tight relationship between convergence behaviors of directed signed networks and properties of improved Laplacian potential functions. Illustrative examples are presented to demonstrate the validity of our theoretical results for directed signed networks.


title: Parabolic BGG categories and their block decomposition for Lie superalgebras of Cartan type

abstract: In this paper, we study the parabolic BGG categories for graded Lie superalgebras of Cartan type over complex numbers. The gradation of such a Lie superalgebra $\ggg$ naturally arises, with the zero component $\ggg_0$ being a reductive Lie algebra. We first show that there are only two proper parabolic subalgebras containing Levi subalgebra $\ggg_0$: the ``maximal one" $\sfp_\max$ and the ``minimal one" $\sfp_\min$. Furthermore, the parabolic BGG category arising from $\sfp_\max$, essentially turns out to be a subcategory of the one arising from $\sfp_\min$. Such a priority of $\sfp_\min$ in the sense of representation theory reduces the question to the study of the ``minimal parabolic" BGG category $\comi$ associated with $\sfp_\min$. We prove the existence of projective covers of simple objects in these categories, which enables us to establish a satisfactory block theory. Most notably, our main results are as follows: (1) We classify and obtain a precise description of the blocks of $\comi$. (2) We investigate indecomposable tilting and indecomposable projective modules in $\comi$, and compute their character formulas.


title: Inverse Kinematics with Forward Dynamics Solvers for Sampled Motion Tracking

abstract: Tracking Cartesian motion with end~effectors is a fundamental task in robot control. For motion that is not known in advance, the solvers must find fast solutions to the inverse kinematics (IK) problem for discretely sampled target poses. On joint control level, however, the robot's actuators operate in a continuous domain, requiring smooth transitions between individual states. In this work, we present a boost to the well-known Jacobian transpose method to address this goal, using the mass matrix of a virtually conditioned twin of the manipulator. Results on the UR10 show superior convergence and quality of our dynamics-based solver against the plain Jacobian method. Our algorithm is straightforward to implement as a controller, using common robotics libraries.


title: Triple GEM performance in magnetic field

abstract: Performance of triple GEM prototypes in strong magnetic field has been evaluated bymeans of a muon beam at the H4 line of the SPS test area at CERN. Data have been reconstructedand analyzed offline with two reconstruction methods: the charge centroid and the micro-Time-Projection-Chamber exploiting the charge and the time measurement respectively. A combinationof the two reconstruction methods is capable to guarantee a spatial resolution better than 150{\mu}min magnetic field up to a 1 T.


title: The model-independent degeneracy-breaking point in cosmological models with interacting Dark Energy and Dark Matter

abstract: We study cosmological models with interaction between dark energy (DE) and dark matter (DM). For the interaction term $Q$ in cosmic evolution equations, there is a model-independent degeneracy-breaking (D-B) point when $Q_{1}$ (a part of $Q$) equals to zero, where the interaction can be probed without degeneracy between the constant DE equation of state (EoS).


title: Attentional Feature-Pair Relation Networks for Accurate Face Recognition

abstract: Human face recognition is one of the most important research areas in biometrics. However, the robust face recognition under a drastic change of the facial pose, expression, and illumination is a big challenging problem for its practical application. Such variations make face recognition more difficult. In this paper, we propose a novel face recognition method, called Attentional Feature-pair Relation Network (AFRN), which represents the face by the relevant pairs of local appearance block features with their attention scores. The AFRN represents the face by all possible pairs of the 9x9 local appearance block features, the importance of each pair is considered by the attention map that is obtained from the low-rank bilinear pooling, and each pair is weighted by its corresponding attention score. To increase the accuracy, we select top-K pairs of local appearance block features as relevant facial information and drop the remaining irrelevant. The weighted top-K pairs are propagated to extract the joint feature-pair relation by using bilinear attention network. In experiments, we show the effectiveness of the proposed AFRN and achieve the outstanding performance in the 1:1 face verification and 1:N face identification tasks compared to existing state-of-the-art methods on the challenging LFW, YTF, CALFW, CPLFW, CFP, AgeDB, IJB-A, IJB-B, and IJB-C datasets.


title: A Batched Multi-Armed Bandit Approach to News Headline Testing

abstract: Optimizing news headlines is important for publishers and media sites. A compelling headline will increase readership, user engagement and social shares. At Yahoo Front Page, headline testing is carried out using a test-rollout strategy: we first allocate equal proportion of the traffic to each headline variation for a defined testing period, and then shift all future traffic to the best-performing variation. In this paper, we introduce a multi-armed bandit (MAB) approach with batched Thompson Sampling (bTS) to dynamically test headlines for news articles. This method is able to gradually allocate traffic towards optimal headlines while testing. We evaluate the bTS method based on empirical impressions/clicks data and simulated user responses. The result shows that the bTS method is robust, converges accurately and quickly to the optimal headline, and outperforms the test-rollout strategy by 3.69% in terms of clicks.


title: OmniMVS: End-to-End Learning for Omnidirectional Stereo Matching

abstract: In this paper, we propose a novel end-to-end deep neural network model for omnidirectional depth estimation from a wide-baseline multi-view stereo setup. The images captured with ultra wide field-of-view (FOV) cameras on an omnidirectional rig are processed by the feature extraction module, and then the deep feature maps are warped onto the concentric spheres swept through all candidate depths using the calibrated camera parameters. The 3D encoder-decoder block takes the aligned feature volume to produce the omnidirectional depth estimate with regularization on uncertain regions utilizing the global context information. In addition, we present large-scale synthetic datasets for training and testing omnidirectional multi-view stereo algorithms. Our datasets consist of 11K ground-truth depth maps and 45K fisheye images in four orthogonal directions with various objects and environments. Experimental results show that the proposed method generates excellent results in both synthetic and real-world environments, and it outperforms the prior art and the omnidirectional versions of the state-of-the-art conventional stereo algorithms.


title: Language Graph Distillation for Low-Resource Machine Translation

abstract: Neural machine translation on low-resource language is challenging due to the lack of bilingual sentence pairs. Previous works usually solve the low-resource translation problem with knowledge transfer in a multilingual setting. In this paper, we propose the concept of Language Graph and further design a novel graph distillation algorithm that boosts the accuracy of low-resource translations in the graph with forward and backward knowledge distillation. Preliminary experiments on the TED talks multilingual dataset demonstrate the effectiveness of our proposed method. Specifically, we improve the low-resource translation pair by more than 3.13 points in terms of BLEU score.


title: Hard but Robust, Easy but Sensitive: How Encoder and Decoder Perform in Neural Machine Translation

abstract: Neural machine translation (NMT) typically adopts the encoder-decoder framework. A good understanding of the characteristics and functionalities of the encoder and decoder can help to explain the pros and cons of the framework, and design better models for NMT. In this work, we conduct an empirical study on the encoder and the decoder in NMT, taking Transformer as an example. We find that 1) the decoder handles an easier task than the encoder in NMT, 2) the decoder is more sensitive to the input noise than the encoder, and 3) the preceding words/tokens in the decoder provide strong conditional information, which accounts for the two observations above. We hope those observations can shed light on the characteristics of the encoder and decoder and inspire future research on NMT.


title: Note on wavefront dislocation in surface water waves

abstract: At singular points of a wave field, where the amplitude vanishes, the phase may become singular and wavefront dislocation may occur. In this Letter, we investigate for wave fields in one spatial dimension the appearance of these essentially linear phenomena. We introduce the Chu-Mei quotient as it is known to appear in the 'nonlinear dispersion relation' for wave groups as a consequence of the nonlinear transformation of the complex amplitude to real phase-amplitude variables. We show that unboundedness of this quotient at a singular point, related to unboundedness of the local wavenumber and frequency, is a generic property and that it is necessary for the occurrence of phase singularity and wavefront dislocation, while these phenomena are generic too. We also show that the 'soliton on finite background', an explicit solution of the NLS equation and a model for modulational instability leading to extreme waves, possesses wavefront dislocations and unboundedness of the Chu-Mei quotient.


title: 3D Point Cloud Super-Resolution via Graph Total Variation on Surface Normals

abstract: Point cloud is a collection of 3D coordinates that are discrete geometric samples of an object's 2D surfaces. Using a low-cost 3D scanner to acquire data means that point clouds are often in lower resolution than desired for rendering on high-resolution displays. Building on recent advances in graph signal processing, we design a local algorithm for 3D point cloud super-resolution (SR). First, we initialize new points at centroids of local triangles formed using the low-resolution point cloud, and connect all points using a k-nearestneighbor graph. Then, to establish a linear relationship between surface normals and 3D point coordinates, we perform bipartite graph approximation to divide all nodes into two disjoint sets, which are optimized alternately until convergence. For each node set, to promote piecewise smooth (PWS) 2D surfaces, we design a graph total variation (GTV) objective for nearby surface normals, under the constraint that coordinates of the original points are preserved. We pursue an augmented Lagrangian approach to tackle the optimization, and solve the unconstrained equivalent using the alternating method of multipliers (ADMM). Extensive experiments show that our proposed point cloud SR algorithm outperforms competing schemes objectively and subjectively for a large variety of point clouds.


title: Enhancing frustrated double ionisation with no electronic correlation in triatomic molecules using counter-rotating two-color circular laser fields

abstract: We demonstrate significant enhancement of frustrated double ionization (FDI) in the two-electron triatomic molecule D$_{3}^{+}$ when driven by counter-rotating two-color circular (CRTC) laser fields. We employ a three-dimensional semiclassical model that fully accounts for electron and nuclear motion in strong fields. For different pairs of wavelengths, we compute the probabilities of the FDI pathways as a function of the ratio of the two field-strengths. We identify a pathway of frustrated double ionization that is not present in strongly-driven molecules with linear fields. In this pathway the first ionization step is "frustrated" and electronic correlation is essentially absent. This pathway is responsible for enhancing frustrated double ionization with CRTC fields. We also employ a simple model that predicts many of the main features of the probabilities of the FDI pathways as a function of the ratio of the two field-strengths.


title: A Sensitivity Analysis of Attention-Gated Convolutional Neural Networks for Sentence Classification

abstract: In this paper, we investigate the effect of different hyperparameters as well as different combinations of hyperparameters settings on the performance of the Attention-Gated Convolutional Neural Networks (AGCNNs), e.g., the kernel window size, the number of feature maps, the keep rate of the dropout layer, and the activation function. We draw practical advice from a wide range of empirical results. Through the sensitivity analysis, we further improve the hyperparameters settings of AGCNNs. Experiments show that our proposals could achieve an average of 0.81% and 0.67% improvements on AGCNN-NLReLU-rand and AGCNN-SELU-rand, respectively; and an average of 0.47% and 0.45% improvements on AGCNN-NLReLU-static and AGCNN-SELU-static, respectively.


title: EmotionX-IDEA: Emotion BERT -- an Affectional Model for Conversation

abstract: In this paper, we investigate the emotion recognition ability of the pre-training language model, namely BERT. By the nature of the framework of BERT, a two-sentence structure, we adapt BERT to continues dialogue emotion prediction tasks, which rely heavily on the sentence-level context-aware understanding. The experiments show that by mapping the continues dialogue into a causal utterance pair, which is constructed by the utterance and the reply utterance, models can better capture the emotions of the reply utterance. The present method has achieved 0.815 and 0.885 micro F1 score in the testing dataset of Friends and EmotionPush, respectively.


title: Towards an Integrated Graph Algebra for Graph Pattern Matching with Gremlin (Extended Version)

abstract: Graph data management (also called NoSQL) has revealed beneficial characteristics in terms of flexibility and scalability by differently balancing between query expressivity and schema flexibility. This peculiar advantage has resulted into an unforeseen race of developing new task-specific graph systems, query languages and data models, such as property graphs, key-value, wide column, resource description framework (RDF), etc. Present-day graph query languages are focused towards flexible graph pattern matching (aka sub-graph matching), whereas graph computing frameworks aim towards providing fast parallel (distributed) execution of instructions. The consequence of this rapid growth in the variety of graph-based data management systems has resulted in a lack of standardization. Gremlin, a graph traversal language, and machine provides a common platform for supporting any graph computing system (such as an OLTP graph database or OLAP graph processors). We present a formalization of graph pattern matching for Gremlin queries. We also study, discuss and consolidate various existing graph algebra operators into an integrated graph algebra.


title: Generalized potential games

abstract: In this paper, we introduce a notion of generalized potential games that is inspired by a newly developed theory on generalized gradient flows. More precisely, a game is called generalized potential if the simultaneous gradient of the loss functions is a nonlinear function of the gradient of a potential function. Applications include a class of games arising from chemical reaction networks with detailed balance condition. For this class of games, we prove an explicit exponential convergence to equilibrium for evolution of a single reversible reaction. Moreover, numerical investigations are performed to calculate the equilibrium state of some reversible chemical reactions which give rise to generalized potential games.


title: Message Passing Attention Networks for Document Understanding

abstract: Graph neural networks have recently emerged as a very effective framework for processing graph-structured data. These models have achieved state-of-the-art performance in many tasks. Most graph neural networks can be described in terms of message passing, vertex update, and readout functions. In this paper, we represent documents as word co-occurrence networks and propose an application of the message passing framework to NLP, the Message Passing Attention network for Document understanding (MPAD). We also propose several hierarchical variants of MPAD. Experiments conducted on 10 standard text classification datasets show that our architectures are competitive with the state-of-the-art. Ablation studies reveal further insights about the impact of the different components on performance. Code is publicly available at: https://github.com/giannisnik/mpad .


title: Global cracking elements: a novel tool for Galerkin-based approaches simulating quasi-brittle fracture

abstract: Following the so-called Cracking Elements Method (CEM), recently presented in \cite{Yiming:14,Yiming:16}, we propose a novel Galerkin-based numerical approach for simulating quasi-brittle fracture, named Global Cracking Elements Method (GCEM). For this purpose the formulation of the original CEM is reorganized. The new approach is embedded in the standard framework of the Galerkin-based Finite Element Method (FEM), which uses disconnected element-wise crack openings for capturing crack initiation and propagation. The similarity between the proposed Global Cracking Elements (GCE) and the standard 9-node quadrilateral element (Q9) suggests a special procedure: the degrees of freedom of the center node of the Q9, originally defining the displacements, are "borrowed" to describe the crack openings of the GCE. The proposed approach does not need remeshing, enrichment, or a crack-tracking strategy, and it avoids a precise description of the crack tip. Several benchmark tests provide evidence that the new approach inherits from the CEM most of the advantages. The numerical stability and robustness of the GCEM are better than the ones of the CEM. However, presently only quadrilateral elements with nonlinear interpolations of the displacement field can be used.


title: Modeling spontaneous charge transfer at metal/organic hybrid heterostructures

abstract: Hybrid materials are crucial in photovoltaics where the overall efficiency of the heterostructure is closely related to the level of charge transfer at the interface. Here, using various metal / poly(3-hexylthiophene)(P3HT) heterostructure models, we reveal that the level of spontaneous charge transfer and electronic coupling at these interfaces depend on the conformational regularity of the organic polymer deposited on the metal substrate. Using ab-initio quantum chemical calculations based on density functional theory (DFT) and heterodyne vibrational sum frequency generation (HD-VSFG) measurements, we show that inducing regio-randomness into the organic polymer modifies the intensity of interfacial electronic states, level of hybridization, density of interfacial charge transfer and the electronic wave function of the material. We present the HD-VSFG responses of the metal/P3HT heterojunctions containing both regio-regular and regio-random P3HT structures and show that the amount of non-resonant signal is closely related to the level of the spontaneous charge transfer at the interface. Thus, by measuring the non-resonant response of the metal/P3HT heterojunctions, the level of spontaneous charge transfer at the interface can be determined.


title: A Sharp Threshold Phenomenon for the Distributed Complexity of the Lov\'asz Local Lemma

abstract: The Lov\'{a}sz Local Lemma (LLL) says that, given a set of bad events that depend on the values of some random variables and where each event happens with probability at most $p$ and depends on at most $d$ other events, there is an assignment of the variables that avoids all bad events if the LLL criterion $ep(d+1)<1$ is satisfied. In this paper, we study the dependency of the distributed complexity of the LLL problem on the chosen LLL criterion. We show that for the fundamental case of each random variable of the considered LLL instance being associated with an edge of the input graph, that is, each random variable influences at most two events, a sharp threshold phenomenon occurs at $p = 2^{-d}$: we provide a simple deterministic (!) algorithm that matches a known $\Omega(\log^* n)$ lower bound in bounded degree graphs, if $p < 2^{-d}$, whereas for $p \geq 2^{-d}$, a known $\Omega(\log \log n)$ randomized and a known $\Omega(\log n)$ deterministic lower bounds hold. In many applications variables affect more than two events; our main contribution is to extend our algorithm to the case where random variables influence at most three different bad events. We show that, surprisingly, the sharp threshold occurs at the exact same spot, providing evidence for our conjecture that this phenomenon always occurs at $p = 2^{-d}$, independent of the number $r$ of events that are affected by a variable. Almost all steps of the proof framework we provide for the case $r=3$ extend directly to the case of arbitrary $r$; consequently, our approach serves as a step towards characterizing the complexity of the LLL under different exponential criteria.


title: Software Verification with PDR: Implementation and Empirical Evaluation of the State of the Art

abstract: Property-directed reachability (PDR) is a SAT/SMT-based reachability algorithm that incrementally constructs inductive invariants. After it was successfully applied to hardware model checking, several adaptations to software model checking have been proposed. We contribute a replicable and thorough comparative evaluation of the state of the art: We (1) implemented a standalone PDR algorithm and, as improvement, a PDR-based auxiliary-invariant generator for k-induction, and (2) performed an experimental study on the largest publicly available benchmark set of C verification tasks, in which we explore the effectiveness and efficiency of software verification with PDR. The main contribution of our work is to establish a reproducible baseline for ongoing research in the area by providing a well-engineered reference implementation and an experimental evaluation of the existing techniques.


title: Contact Skill Imitation Learning for Robot-Independent Assembly Programming

abstract: Robotic automation is a key driver for the advancement of technology. The skills of human workers, however, are difficult to program and seem currently unmatched by technical systems. In this work we present a data-driven approach to extract and learn robot-independent contact skills from human demonstrations in simulation environments, using a Long Short Term Memory (LSTM) network. Our model learns to generate error-correcting sequences of forces and torques in task space from object-relative motion, which industrial robots carry out through a Cartesian force control scheme on the real setup. This scheme uses forward dynamics computation of a virtually conditioned twin of the manipulator to solve the inverse kinematics problem. We evaluate our methods with an assembly experiment, in which our algorithm handles part tilting and jamming in order to succeed. The results show that the skill is robust towards localization uncertainty in task space and across different joint configurations of the robot. With our approach, non-experts can easily program force-sensitive assembly tasks in a robot-independent way.


title: Optimal Trapping of Brownian Motion: A Nonlinear Analogue of the Torsion Function

abstract: We study the problem of maximizing the expected lifetime of drift diffusion in a bounded domain. More formally, we consider the PDE \[ - \Delta u + b(x) \cdot \nabla u = 1 \qquad \mbox{in}~\Omega\] subject to Dirichlet boundary conditions for $\|b\|_{L^{\infty}}$ fixed. We show that, in any given $C^2-$domain $\Omega$, the vector field maximizing the expected lifetime is (nonlinearly) coupled to the solution and satisfies $b = -\|b\|_{L^{\infty}} \nabla u/ |\nabla u|$ which reduces the problem to the study of the nonlinear PDE \[ -\Delta u - b \cdot \left| \nabla u \right| = 1,\] where $b = \|b\|_{L^{\infty}}$ is a constant. We believe that this PDE is a natural and interesting nonlinear analogue of the torsion function. We prove that, for fixed volume, $\| \nabla u\|_{L^1}$ and $\|\Delta u\|_{L^1}$ are maximized if $\Omega$ is the ball (the ball is also known to maximize $\|u\|_{L^p}$ for $p \geq 1$ from a result of Hamel \& Russ).


title: Sparse Representation Based Efficient Radiation Symmetry Analysis Method for Cylindrical Model of Inertial Confinement Fusion

abstract: Radiation symmetry evaluation is critical to the laser driven Inertial Confinement Fusion (ICF), which is usually done by solving a view-factor equation model. The model is nonlinear, and the number of equations can be very large when the size of discrete mesh element is very small to achieve a prescribed accuracy, which may lead to an intensive equation solving process. In this paper, an efficient radiation symmetry analysis approach based on sparse representation is presented, in which, 1) the Spherical harmonics, annular Zernike polynomials and Legendre-Fourier polynomials are employed to sparsely represent the radiation flux on the capsule and cylindrical cavity, and the nonlinear energy equilibrium equations are transformed into the equations with sparse coefficients, which means there are many redundant equations, 2) only a few equations are selected to recover such sparse coefficients with Latin hypercube sampling, 3) a Conjugate Gradient Subspace Thresholding Pursuit (CGSTP) algorithm is then given to rapidly obtain such sparse coefficients equation with as few iterations as possible. Finally, the proposed method is validated with two experiment targets for Shenguang II and Shenguang III laser facility in China. The results show that only one tenth of computation time is required to solve one tenth of equations to achieve the radiation flux with comparable accuracy. Further more, the solution is much more efficient as the size of discrete mesh element decreases, in which, only 1.2\% computation time is required to obtain the accurate result.


title: Knowledge Compilation for Boolean Functional Synthesis

abstract: Given a Boolean formula F(X,Y), where X is a vector of outputs and Y is a vector of inputs, the Boolean functional synthesis problem requires us to compute a Skolem function vector G(Y)for X such that F(G(Y),Y) holds whenever \exists X F(X,Y) holds. In this paper, we investigate the relation between the representation of the specification F(X,Y) and the complexity of synthesis. We introduce a new normal form for Boolean formulas, called SynNNF, that guarantees polynomial-time synthesis and also polynomial-time existential quantification for some order of quantification of variables. We show that several normal forms studied in the knowledge compilation literature are subsumed by SynNNF, although SynNNFcan be super-polynomially more succinct than them. Motivated by these results, we propose an algorithm to convert a specification in CNF to SynNNF, with the intent of solving the Boolean functional synthesis problem. Experiments with a prototype implementation show that this approach solves several benchmarks beyond the reach of state-of-the-art tools.


title: Stacking disorder in periodic minimal surfaces

abstract: We construct 1-parameter families of non-periodic embedded minimal surfaces of infinite genus in $T \times \mathbb{R}$, where $T$ denotes a flat 2-tori. Each of our families converges to a foliation of $T \times \mathbb{R}$ by $T$. These surfaces then lift to minimal surfaces in $\mathbb{R}^3$ that are periodic in horizontal directions but not periodic in the vertical direction. In the language of crystallography, our construction can be interpreted as disordered stacking of layers of periodically arranged catenoid necks. Our work is motivated by experimental observations of twinning defects in periodic minimal surfaces, which we reproduce as special cases of stacking disorder.


title: Deep Meta Functionals for Shape Representation

abstract: We present a new method for 3D shape reconstruction from a single image, in which a deep neural network directly maps an image to a vector of network weights. The network \textcolor{black}{parametrized by} these weights represents a 3D shape by classifying every point in the volume as either within or outside the shape. The new representation has virtually unlimited capacity and resolution, and can have an arbitrary topology. Our experiments show that it leads to more accurate shape inference from a 2D projection than the existing methods, including voxel-, silhouette-, and mesh-based methods. The code is available at: https://github.com/gidilittwin/Deep-Meta


title: Integrated Multi-omics Analysis Using Variational Autoencoders: Application to Pan-cancer Classification

abstract: Different aspects of a clinical sample can be revealed by multiple types of omics data. Integrated analysis of multi-omics data provides a comprehensive view of patients, which has the potential to facilitate more accurate clinical decision making. However, omics data are normally high dimensional with large number of molecular features and relatively small number of available samples with clinical labels. The "dimensionality curse" makes it challenging to train a machine learning model using high dimensional omics data like DNA methylation and gene expression profiles. Here we propose an end-to-end deep learning model called OmiVAE to extract low dimensional features and classify samples from multi-omics data. OmiVAE combines the basic structure of variational autoencoders with a classification network to achieve task-oriented feature extraction and multi-class classification. The training procedure of OmiVAE is comprised of an unsupervised phase without the classifier and a supervised phase with the classifier. During the unsupervised phase, a hierarchical cluster structure of samples can be automatically formed without the need for labels. And in the supervised phase, OmiVAE achieved an average classification accuracy of 97.49% after 10-fold cross-validation among 33 tumour types and normal samples, which shows better performance than other existing methods. The OmiVAE model learned from multi-omics data outperformed that using only one type of omics data, which indicates that the complementary information from different omics datatypes provides useful insights for biomedical tasks like cancer classification.


title: Band-pass Magnetic Tunnel Junction based Magnetoresistive Random Access Memory

abstract: We propose spin transfer torque--magnetoresistive random access memory (STT-MRAM) based on magneto-resistance and spin transfer torque physics of band-pass spin filtering. Utilizing the electronic analogs of optical phenomena such as anti-reflection coating and resonance for spintronic devices, we present the design of an STT-MRAM device with improved features when compared with a traditional trilayer device. The device consists of a superlattice heterostructure terminated with the anti-reflective regions sandwiched between the fixed and free ferromagnetic layers. Employing the Green's function spin transport formalism coupled self-consistently with the stochastic Landau-Lifshitz-Gilbert-Slonczewski equation, we present the design of an STT-MRAM based on the band-pass filtering having an ultra-high TMR (3.5*10e4) and large spin current. We demonstrate that the STT-MRAM design having band-pass spin filtering are nearly 1100% more energy efficient than traditional trilayer magnetic tunnel junction (MTJ) based STT-MRAM. We also present detailed probabilistic switching and energy analysis for a trilayer MTJ and band-pass filtering based STT-MRAM. Our predictions serve as a template to consider the heterostructures for next-generation spintronic device applications.