title: Collective Symplectic Integrators on $S_2^N \times T^*\mathbb{R}^M$

abstract: A novel symplectic integrator for Hamiltonian equations on $S_2^n \times T^{\ast} \RR^m$ is developed and studied. Partitioned Runge--Kutta methods for Hamiltonian systems on products of Hamiltionian manifolds are studied, specifically, algebraic conditions for their symplecticity are derived.


title: Solving a non-linear model of HIV infection for CD4+T cells by combining Laplace transformation and Homotopy analysis method

abstract: The aim of this paper is to find the approximate solution of HIV infection model of CD4+T cells. For this reason, the homotopy analysis transform method (HATM) is applied. The presented method is combination of traditional homotopy analysis method (HAM) and the Laplace transformation. The convergence of presented method is discussed by preparing a theorem which shows the capabilities of method. The numerical results are shown for different values of iterations. Also, the regions of convergence are demonstrated by plotting several h-curves. Furthermore in order to show the efficiency and accuracy of method, the residual error for different iterations are presented.


title: Fixed point theorems for precomplete numberings

abstract: In the context of his theory of numberings, Ershov showed that Kleene's recursion theorem holds for any precomplete numbering. We discuss various generalizations of this result. Among other things, we show that Arslanov's completeness criterion also holds for every precomplete numbering, and we discuss the relation with Visser's ADN theorem, as well as the uniformity or nonuniformity of the various fixed point theorems. Finally, we base numberings on partial combinatory algebras and prove a generalization of Ershov's theorem in this context.


title: Magnus-type integrator for the finite element discretization of semilinear parabolic non-autonomous SPDEs driven by additive noise

abstract: In this paper, we investigate a numerical approximation of a general second order semilinear parabolic non-autonomous stochastic partial differential equation (SPDE) driven by additive noise. Numerical approximations for autonomous SPDEs are thoroughly investigated in the literature while the non-autonomous case is not yet well understood. We discretize the non-autonomous SPDE in space by the finite element method and in time by the Magnus-type integrator. We provide a strong convergence proof of the fully discrete scheme toward the mild solution in the root-mean-square $L^2$ norm. Appropriate assumptions on the drift term and the noise allow to achieve optimal convergence order in time greater than $1/2$, without any logarithmic reduction of convergence order in time. In particular, for trace class noise, we achieve optimal convergence orders $\mathcal{O}\left(h^{2-\epsilon}+\Delta t\right)$, where $\epsilon$ is a positive number small enough. Numerical simulations are provided to illustrate our theoretical results.


title: Anisotropic escape mechanism and elliptic flow of bottomonia

abstract: We study the role of anisotropic escape in generating the elliptic flow of bottomonia produced in ultrarelativistic heavy-ion collisions. We implement temperature-dependent decay widths for the various bottomonium states, to calculate their survival probability when traversing through the anisotropic hot medium formed in non-central collisions. We employ the recently developed 3+1d quasiparticle anisotropic hydrodynamic simulation to model the space-time evolution of the quark-gluon plasma. We provide a quantitative prediction for transverse momentum dependence of bottomonium elliptic flow and nuclear modification factor for Pb$\,+\,$Pb collisions in $\sqrt{s_{\rm NN}}=2.76$ TeV at the Large Hadron Collider.


title: Models of torsors over affine spaces

abstract: Let $X:=\mathbb{A}^{n}_{R}$ be the $n$-dimensional affine space over a discrete valuation ring $R$ with fraction field $K$. We prove that any pointed torsor $Y$ over $\mathbb{A}^{n}_{K}$ under the action of an affine finite type group scheme can be extended to a torsor over $\mathbb{A}^{n}_{R}$ possibly after pulling $Y$ back over an automorphism of $\mathbb{A}^{n}_{K}$. The proof is effective. Other cases, including $X=\alpha_{p,R}$, will also be discussed.


title: Self-field, radiated energy, and radiated linear momentum of an accelerated point charge

abstract: Working within the framework of the classical theory of electrodynamics, we derive an exact mathematical solution to the problem of self-field (or radiation reaction) of an accelerated point-charge traveling in free space. We obtain relativistic expressions for the self-field as well as the rates of radiated energy and linear momentum without the need to renormalize the particle's mass - or to discard undesirable infinities.


title: Explicit multiobjective model predictive control for nonlinear systems with symmetries

abstract: Model predictive control is a prominent approach to construct a feedback control loop for dynamical systems. Due to real-time constraints, the major challenge in MPC is to solve model-based optimal control problems in a very short amount of time. For linear-quadratic problems, Bemporad et al.~have proposed an explicit formulation where the underlying optimization problems are solved a priori in an offline phase. In this article, we present an extension of this concept in two significant ways. We consider nonlinear problems and -- more importantly -- problems with multiple conflicting objective functions. In the offline phase, we build a library of Pareto optimal solutions from which we then obtain a valid compromise solution in the online phase according to a decision maker's preference. Since the standard multi-parametric programming approach is no longer valid in this situation, we instead use interpolation between different entries of the library. To reduce the number of problems that have to be solved in the offline phase, we exploit symmetries in the dynamical system and the corresponding multiobjective optimal control problem. The results are verified using two different examples from autonomous driving.


title: Tetragonal CuMnAs alloy: role of defects

abstract: The antiferromagnetic (AFM) CuMnAs alloy with tetragonal structure is a promising material for the AFM spintronics. The resistivity measurements indicate the presence of defects about whose types and concentrations is more speculated as known. We confirmed vacancies on Mn or Cu sublattices and Mn$_{\rm Cu}$ and Cu$_{\rm Mn}$ antisites as most probable defects in CuMnAs by our new ab initio total energy calculations. We have estimated resistivities of possible defect types as well as resistivities of samples for which the X-ray structural analysis is available. In the latter case we have found that samples with Cu- and Mn-vacancies with low formation energies have also resistivities which agree well with the experiment. Finally, we have also calculated exchange interactions and estimated the N\'eel temperatures by using the Monte Carlo approach. A good agreement with experiment was obtained.


title: Analytic result for the nonplanar hexa-box integrals

abstract: In this paper, we analytically compute all master integrals for one of the two non-planar integral families for five-particle massless scattering at two loops. We first derive an integral basis of 73 integrals with constant leading singularities. We then construct the system of differential equations satisfied by them, and find that it is in canonical form. The solution space is in agreement with a recent conjecture for the non-planar pentagon alphabet. We fix the boundary constants of the differential equations by exploiting constraints from the absence of unphysical singularities. The solution of the differential equations in the Euclidean region is expressed in terms of iterated integrals. We cross-check the latter against previously known results in the literature, as well as with independent Mellin-Barnes calculations.


title: Relative Resolution: A Multipole Approximation at Appropriate Distances

abstract: Recently, we introduced Relative Resolution as a hybrid formalism for fluid mixtures [1]. The essence of this approach is that it switches molecular resolution in terms or relative separation: While nearest neighbors are characterized by a detailed fine-grained model, other neighbors are characterized by a simplified coarse-grained model. Once the two models are analytically connected with each other via energy conservation, Relative Resolution can capture the structural and thermal behavior of (nonpolar) multi-component and multi-phase systems across state space. The current work is a natural continuation of our original communication [1]. Most importantly, we present the comprehensive mathematics of Relative Resolution, basically casting it as a multipole approximation at appropriate distances; the current set of equations importantly applies for all systems (e.g, polar molecules). Besides, we continue examining the capability of our multiscale approach in molecular simulations, importantly showing that we can successfully retrieve not just the statics but also the dynamics of liquid systems. We finally conclude by discussing how Relative Resolution is the inherent variant of the famous "cell-multipole" approach for molecular simulations.


title: $C^{3}LES$: Codes for Coded Computation that Leverage Stragglers

abstract: In distributed computing systems, it is well recognized that worker nodes that are slow (called stragglers) tend to dominate the overall job execution time. Coded computation utilizes concepts from erasure coding to mitigate the effect of stragglers by running "coded" copies of tasks comprising a job. Stragglers are typically treated as erasures in this process. While this is useful, there are issues with applying, e.g., MDS codes in a straightforward manner. Specifically, several applications such as matrix-vector products deal with sparse matrices. MDS codes typically require dense linear combinations of submatrices of the original matrix which destroy their inherent sparsity. This is problematic as it results in significantly higher processing times for computing the submatrix-vector products in coded computation. Furthermore, it also ignores partial computations at stragglers. In this work, we propose a fine-grained model that quantifies the level of non-trivial coding needed to obtain the benefits of coding in matrix-vector computation. Simultaneously, it allows us to leverage partial computations performed by the straggler nodes. For this model, we propose and evaluate several code designs and discuss their properties.


title: Morse inequalities for Fourier components of Kohn-Rossi cohomology of CR covering manifolds with $S^1$-action

abstract: Let $X$ be a compact connected CR manifold of dimension $2n+1, n \geq 1$. Let $\widetilde{X}$ be a paracompact CR manifold with a transversal CR $S^1$-action, such that there is a discrete group $\Gamma$ acting freely on $\widetilde{X}$ having $X \, = \, \widetilde{X}/\Gamma$. Based on an asymptotic formula for the Fourier components of the heat kernel with respect to the $S^1$-action, we establish the Morse inequalities for Fourier components of reduced $L^2$-Kohn-Rossi cohomology with values in a rigid CR vector bundle over $\widetilde{X}$. As a corollary, we obtain the Morse inequalities for Fourier components of Kohn-Rossi cohomology on $X$ which were obtained by Hsiao-Li by using Szeg\"{o} kernel method.


title: A Virtual Testbed for Critical Incident Investigation with Autonomous Remote Aerial Vehicle Surveying, Artificial Intelligence, and Decision Support

abstract: Autonomous robotics and artificial intelligence techniques can be used to support human personnel in the event of critical incidents. These incidents can pose great danger to human life. Some examples of such assistance include: multi-robot surveying of the scene; collection of sensor data and scene imagery, real-time risk assessment and analysis; object identification and anomaly detection; and retrieval of relevant supporting documentation such as standard operating procedures (SOPs). These incidents, although often rare, can involve chemical, biological, radiological/nuclear or explosive (CBRNE) substances and can be of high consequence. Real-world training and deployment of these systems can be costly and sometimes not feasible. For this reason, we have developed a realistic 3D model of a CBRNE scenario to act as a testbed for an initial set of assisting AI tools that we have developed.


title: Bayesian Inference of Reaction Rates in Icy Mantles

abstract: Grain surface chemistry and its treatment in gas-grain chemical models is an area of large uncertainty. Whilst laboratory experiments are making progress, there is still much that is unknown about grain surface chemistry. Further, the results and parameters produced by experiment are often not easily translated to the rate equation approach most commonly used in astrochemical modelling. It is possible that statistical methods can reduce the uncertainty in grain surface chemical networks. In this work, a simple model of grain surface chemistry in a molecular cloud is developed and a Bayesian inference of the reactions rates is performed through MCMC sampling. Using observational data of the solid state abundances of major chemical species in molecular clouds, the posterior distributions for the rates of seven reactions producing CO, CO$_2$, CH$_3$OH and H$_2$O are calculated, in a form that is suitable for rate equation models. This represents a vital first step in the development of a method to infer reaction rates from observations of chemical abundances in astrophysical environments.


title: Engineering large end-to-end correlations in finite fermionic chains

abstract: We explore deformations of finite chains of independent fermions which give rise to large correlations between their extremes. After a detailed study of the Su-Schrieffer-Heeger (SSH) model, the trade-off curve between end-to-end correlations and the energy gap of the chains is obtained using machine-learning techniques, paying special attention to the scaling behavior with the chain length. We find that edge-dimerized chains, where the second and penultimate hoppings are reinforced, are very often close to the optimal configurations. Our results allow us to conjecture that, given a fixed gap, the maximal attainable correlation falls exponentially with the system size. Study of the entanglement entropy and contour of the optimal configurations suggest that the bulk entanglement pattern is minimally modified from the clean case.


title: Left Ventricle Segmentation and Volume Estimation on Cardiac MRI using Deep Learning

abstract: In the United States, heart disease is the leading cause of death for both men and women, accounting for 610,000 deaths each year [1]. Physicians use Magnetic Resonance Imaging (MRI) scans to take images of the heart in order to non-invasively estimate its structural and functional parameters for cardiovascular diagnosis and disease management. The end-systolic volume (ESV) and end-diastolic volume (EDV) of the left ventricle (LV), and the ejection fraction (EF) are indicators of heart disease. These measures can be derived from the segmented contours of the LV; thus, consistent and accurate segmentation of the LV from MRI images are critical to the accuracy of the ESV, EDV, and EF, and to non-invasive cardiac disease detection. In this work, various image preprocessing techniques, model configurations using the U-Net deep learning architecture, postprocessing methods, and approaches for volume estimation are investigated. An end-to-end analytics pipeline with multiple stages is provided for automated LV segmentation and volume estimation. First, image data are reformatted and processed from DICOM and NIfTI formats to raw images in array format. Secondly, raw images are processed with multiple image preprocessing methods and cropped to include only the Region of Interest (ROI). Thirdly, preprocessed images are segmented using U-Net models. Lastly, post processing of segmented images to remove extra contours along with intelligent slice and frame selection are applied, followed by calculation of the ESV, EDV, and EF. This analytics pipeline is implemented and runs on a distributed computing environment with a GPU cluster at the San Diego Supercomputer Center at UCSD.


title: Affine equivalence and saddle connection graphs of half-translation surfaces

abstract: To every half-translation surface, we associate a saddle connection graph, which is a subgraph of the arc graph. We prove that every isomorphism between two saddle connection graphs is induced by an affine homeomorphism between the underlying half-translation surfaces. We also investigate the automorphism group of the saddle connection graph, and the corresponding quotient graph.


title: Global exact controllability of bilinear quantum systems on compact graphs and energetic controllability

abstract: The aim of this work is to study the controllability of the bilinear Schr\"odinger equation on compact graphs. In particular, we consider the equation (BSE) $i\partial_t\psi=-\Delta\psi+u(t)B\psi$ in the Hilbert space $L^2(\mathscr{G},\mathbb{C})$, with $\mathscr{G}$ being a compact graph. The Laplacian $-\Delta$ is equipped with self-adjoint boundary conditions, $B$ is a bounded symmetric operator and $u\in L^2((0,T),\mathbb{R})$ with $T>0$. We provide a new technique leading to the global exact controllability of the (BSE) in $D(|\Delta|^{s/2})$ with $s\geq 3$. Afterwards, we introduce the "energetic controllability", a weaker notion of controllability useful when the global exact controllability fails. In conclusion, we develop some applications of the main results involving for instance star graphs.


title: An inertial extrapolation method for convex simple bilevel optimization

abstract: We consider a scalar objective minimization problem over the solution set of another optimization problem. This problem is known as simple bilevel optimization problem and has drawn a significant attention in the last few years. Our inner problem consists of minimizing the sum of smooth and nonsmooth functions while the outer one is the minimization of a smooth convex function. We propose and establish the convergence of a fixed-point iterative method with inertial extrapolation to solve the problem. Our numerical experiments show that the method proposed in this paper outperforms the currently best known algorithm to solve the class of problem considered.


title: On a classification of the automorphism groups of polarized abelian surfaces over finite fields

abstract: We give a classification of maximal elements of the set of finite groups that can be realized as the full automorphism groups of polarized abelian surfaces over finite fields.


title: Fingering instabilities in tissue invasion: an active fluid model

abstract: Metastatic tumors often invade healthy neighboring tissues by forming multicellular finger-like protrusions emerging from the cancer mass. To understand the mechanical context behind this phenomenon, we here develop a minimalist fluid model of a self-propelled, growing biological tissue. The theory involves only four mechanical parameters and remains analytically trackable in various settings. As an application of the model, we study the evolution of a 2D circular droplet made of our active and expanding fluid, and embedded in a passive non-growing tissue. This system could be used to model the evolution of a carcinoma in an epithelial layer. We find that our description can explain the propensity of tumor tissues to fingering instabilities, as conditioned by both the magnitude of active traction and the growth kinetics. We are also able to derive predictions for the tumor size at the onset of metastasis, and for the number of subsequent invasive fingers. Our active fluid model may help describe a wider range of biological processes, including wound healing and developmental patterning.


title: Multi-hop assortativities for networks classification

abstract: Several social, medical, engineering and biological challenges rely on discovering the functionality of networks from their structure and node metadata, when it is available. For example, in chemoinformatics one might want to detect whether a molecule is toxic based on structure and atomic types, or discover the research field of a scientific collaboration network. Existing techniques rely on counting or measuring structural patterns that are known to show large variations from network to network, such as the number of triangles, or the assortativity of node metadata. We introduce the concept of multi-hop assortativity, that captures the similarity of the nodes situated at the extremities of a randomly selected path of a given length. We show that multi-hop assortativity unifies various existing concepts and offers a versatile family of 'fingerprints' to characterize networks. These fingerprints allow in turn to recover the functionalities of a network, with the help of the machine learning toolbox. Our method is evaluated empirically on established social and chemoinformatic network benchmarks. Results reveal that our assortativity based features are competitive providing highly accurate results often outperforming state of the art methods for the network classification task.


title: Spontaneous assembly of colloidal vesicles driven by active swimmers

abstract: We explore the self-assembly process of colloidal structures immersed in active baths. By considering low-valence particles we numerically investigate the irreversible aggregation dynamics originated by the presence of run-and-tumble swimmers. We observe the formation of long closed chains -- vesicles -- densely filled by active swimmers. On the one hand the active bath drives the self-assembly of closed colloidal structures, and on the other hand the vesicles formation fosters the self-trapping of swimmers, suggesting new ways both to build structured nanomaterials and to trap microorganisms.


title: Rank-based approach for estimating correlations in mixed ordinal data

abstract: High-dimensional mixed data as a combination of both continuous and ordinal variables are widely seen in many research areas such as genomic studies and survey data analysis. Estimating the underlying correlation among mixed data is hence crucial for further inferring dependence structure. We propose a semiparametric latent Gaussian copula model for this problem. We start with estimating the association among ternary-continuous mixed data via a rank-based approach and generalize the methodology to p-level-ordinal and continuous mixed data. Concentration rate of the estimator is also provided and proved. At last, we demonstrate the performance of the proposed estimator by extensive simulations and two case studies of real data examples of algorithmic risk score evaluation and cancer patients survival data.


title: Sensor Transfer: Learning Optimal Sensor Effect Image Augmentation for Sim-to-Real Domain Adaptation

abstract: Performance on benchmark datasets has drastically improved with advances in deep learning. Still, cross-dataset generalization performance remains relatively low due to the domain shift that can occur between two different datasets. This domain shift is especially exaggerated between synthetic and real datasets. Significant research has been done to reduce this gap, specifically via modeling variation in the spatial layout of a scene, such as occlusions, and scene environmental factors, such as time of day and weather effects. However, few works have addressed modeling the variation in the sensor domain as a means of reducing the synthetic to real domain gap. The camera or sensor used to capture a dataset introduces artifacts into the image data that are unique to the sensor model, suggesting that sensor effects may also contribute to domain shift. To address this, we propose a learned augmentation network composed of physically-based augmentation functions. Our proposed augmentation pipeline transfers specific effects of the sensor model -- chromatic aberration, blur, exposure, noise, and color temperature -- from a real dataset to a synthetic dataset. We provide experiments that demonstrate that augmenting synthetic training datasets with the proposed learned augmentation framework reduces the domain gap between synthetic and real domains for object detection in urban driving scenes.


title: Revealing the nature of antiferro-quadrupolar ordering in Cerium Hexaboride: CeB$_6$

abstract: Cerium-hexaboride (CeB$_6$) f-electron compound displays a rich array of low-temperature magnetic phenomena, including `magnetically hidden' order, identified as multipolar in origin via advanced x-ray scattering. From first-principles electronic-structure results, we find that the \emph{antiferro-quadrupolar} (AFQ) ordering in CeB$_{6}$ arises from crystal-field splitting and yields band structure in agreement with experiments. With interactions of $p$-electrons between Ce and B$_{6}$ being small, the electronic state of CeB$_{6}$ is suitably described as Ce(4$f^{1}$)$^{3+}$(e$^{-}$)(B$_{6}$)$^{2-}$. The AFQ state of orbital spins is caused by an exchange interaction induced through spin-orbit interaction, which also splits J=5/2 state into $\Gamma_{8}$ ground state and $\Gamma_{7}$ excited state. Within the smallest antiferromagnetic (111) configuration, an orbital-ordered AFQ state appears during charge self-consistency, and supports the appearance of `hidden' order. Hydrostatic pressure (either applied or chemically induced) stabilizes the AFM (AFQ) states over a ferromagnetic one, as observed at low temperatures.


title: Phase retrieval with complexity guidance

abstract: Iterative phase retrieval methods based on the Gerchberg-Saxton (GS) or Fienup algorithm require a large number of iterations to converge to a meaningful solution. For complex-valued or phase objects, these approaches also suffer from stagnation problems where the solution does not change much from iteration to iteration but the resultant solution shows artifacts such as presence of a twin. We introduce a complexity parameter $\zeta$ that can be computed directly from the Fourier magnitude data and provides a measure of fluctuations in the desired phase retrieval solution. It is observed that when initiated with a uniformly random phase map, the complexity of the Fienup solution containing stagnation artifacts stabilizes at a numerical value that is much higher than $\zeta$. We propose a modified Fienup algorithm that uses a controlled sparsity enhancing step such that in every iteration the complexity of the resulting solution is explicitly made close to $\zeta$. This approach which we refer to as complexity guided phase retrieval (CGPR) is seen to significantly reduce the number of phase retrieval iterations required for convergence to a meaningful solution and automatically addresses the stagnation problems. The CGPR methodology can enable new applications of iterative phase retrieval that are considered practically difficult due to large number of iterations required for a reliable phase recovery.


title: All-passive, transformable optical mapping (ATOM) near-eye display

abstract: We present an all-passive, transformable optical mapping (ATOM) near-eye display based on the "human-centric design" principle. By employing a diffractive optical element, a distorted grating, the ATOM display can project different portions of a 2D display screen to various depths, rendering a real 3D image with correct focus cues. Thanks to its all-passive optical mapping architecture, the ATOM display features a reduced form factor and low power consumption. Moreover, the system can readily switch between a real-3D and a high-resolution 2D display mode, providing task-tailored viewing experience for a variety of VR/AR applications.


title: Learning to Collaborate: Multi-Scenario Ranking via Multi-Agent Reinforcement Learning

abstract: Ranking is a fundamental and widely studied problem in scenarios such as search, advertising, and recommendation. However, joint optimization for multi-scenario ranking, which aims to improve the overall performance of several ranking strategies in different scenarios, is rather untouched. Separately optimizing each individual strategy has two limitations. The first one is lack of collaboration between scenarios meaning that each strategy maximizes its own objective but ignores the goals of other strategies, leading to a sub-optimal overall performance. The second limitation is the inability of modeling the correlation between scenarios meaning that independent optimization in one scenario only uses its own user data but ignores the context in other scenarios. In this paper, we formulate multi-scenario ranking as a fully cooperative, partially observable, multi-agent sequential decision problem. We propose a novel model named Multi-Agent Recurrent Deterministic Policy Gradient (MA-RDPG) which has a communication component for passing messages, several private actors (agents) for making actions for ranking, and a centralized critic for evaluating the overall performance of the co-working actors. Each scenario is treated as an agent (actor). Agents collaborate with each other by sharing a global action-value function (the critic) and passing messages that encodes historical information across scenarios. The model is evaluated with online settings on a large E-commerce platform. Results show that the proposed model exhibits significant improvements against baselines in terms of the overall performance.


title: Enhanced optical Kerr nonlinearity of graphene/Si hybrid waveguide

abstract: In this work, we experimentally study the optical kerr nonlinearities of graphene/Si hybrid waveguides with enhanced self-phase modulation. In the case of CMOS compatible materials for nonlinear optical signal processing, Si and silicon nitride waveguides have been extensively investigated over the past decade. However, Si waveguides exhibit strong two-photon absorption (TPA) at telecommunication wavelengths, which lead to a significant reduction of nonlinear figure of merit. In contrast, silicon nitride based material system usually suppress the TPA, but simultaneously leads to the reduction of the Kerr nonlinearity by two orders of magnitude. Here, we introduce a graphene/Si hybrid waveguide, which remain the optical properties and CMOS compatibility of Si waveguides, while enhance the Kerr nonlinearity by transferring patterned graphene over the top of the waveguides. The graphene/Si waveguides are measured with a nonlinear parameter of 510 W-1m-1. Enhanced nonlinear figure-of-merit (FOM) of 2.48 has been achieved, which is three times higher than that of the Si waveguide. This work reveals the potential application of graphene/Si hybrid photonic waveguides with high Kerr nonlinearity and FOM for nonlinear all-optical signal processing.


title: Mode surgery of LN micro-resonator by femtosecond laser irradiation

abstract: Lithium niobate(LN) microresonator is a key component in photonic integrated circuits. An intriguing phenomenon was observed that the quality factor for specific modes of the resonator can be further improved by femtosecond laser irradiation. The high repetition laser pulses scatters into the cavity by forming a defect on the surface and is confined in the edge. A localized coupled laser refining process will then repair the lattice disorders and tiny burrs on the periphery. The intrinsic quality factor of a measured mode can be promoted from 2.17$\times$10$^5$ to 1.84$\times$10$^6$ indicating one order of magnitude improvement. This highly controllable method has its own unique advantages in improving the quality of an integrated resonator which opens new prospects for single component engineering of LN photonic integrated circuits.


title: Industrial Smoke Detection and Visualization

abstract: As sensing technology proliferates and becomes affordable to the general public, there is a growing trend in citizen science where scientists and volunteers form a strong partnership in conducting scientific research including problem finding, data collection, analysis, visualization, and storytelling. Providing easy-to-use computational tools to support citizen science has become an important issue. To raise the public awareness of environmental science and improve the air quality in local areas, we are currently collaborating with a local community in monitoring and documenting fugitive emissions from a coke refinery. We have helped the community members build a live camera system which captures and visualizes high resolution timelapse imagery starting from November 2014. However, searching and documenting smoke emissions manually from all video frames requires manpower and takes an impractical investment of time. This paper describes a software tool which integrates four features: (1) an algorithm based on change detection and texture segmentation for identifying smoke emissions; (2) an interactive timeline visualization providing indicators for seeking to interesting events; (3) an autonomous fast-forwarding mode for skipping uninteresting timelapse frames; and (4) a collection of animated smoke images generated automatically according to the algorithm for documentation, presentation, storytelling, and sharing. With the help of this tool, citizen scientists can now focus on the content of the story instead of time-consuming and laborious works.


title: Enhanced high-order harmonic generation in donor-doped band-gap materials

abstract: We find that a donor-doped band-gap material can enhance the overall high-order harmonic generation (HHG) efficiency by several orders of magnitude, compared with undoped and acceptor-doped materials. This significant enhancement, predicted by time-dependent density functional theory simulations, originates from the highest-occupied impurity state which has an isolated energy located within the band gap. The impurity-state HHG is rationalized by a three-step model, taking into account that the impurity-state electron tunnels into the conduction band and then moves according to its band structure until recombination. In addition to the improvement of the HHG efficiency, the donor-type doping results in a harmonic cutoff different from that in the undoped and acceptor-doped cases, explained by semiclassical analysis for the impurity-state HHG.


title: Kagome modes, a new route to ultralow thermal conductivity?

abstract: From next generation gas turbines to scavenging waste heat from car exhausts, finding new materials with ultra-low thermal conductivity ($\kappa$) has the potential to lead to large gains in device efficiency. Crystal structures with inherently low $\kappa$ are consequently desirable, but candidate materials are rare and often difficult to make. Using first principles calculations and inelastic neutron scattering we have studied the pyrochlore La$_2$Zr$_2$O$_7$ which has been proposed as a next generation thermal barrier. We find that there is a highly anharmonic, approximately flat, vibrational mode associated with the kagome planes. Our results suggest that this mode is responsible for the low thermal conductivity observed in the pyrochlores and that kagome compounds will be a fruitful place to search for other low $\kappa$ materials.


title: A Strongly Polynomial Algorithm for Linear Exchange Markets

abstract: We present a strongly polynomial algorithm for computing an equilibrium in Arrow-Debreu exchange markets with linear utilities. Our algorithm is based on a variant of the weakly-polynomial Duan-Mehlhorn (DM) algorithm. We use the DM algorithm as a subroutine to identify revealed edges, i.e. pairs of agents and goods that must correspond to best bang-per-buck transactions in every equilibrium solution. Every time a new revealed edge is found, we use another subroutine that decides if there is an optimal solution using the current set of revealed edges, or if none exists, finds the solution that approximately minimizes the violation of the demand and supply constraints. This task can be reduced to solving a linear program (LP). Even though we are unable to solve this LP in strongly polynomial time, we show that it can be approximated by a simpler LP with two variables per inequality that is solvable in strongly polynomial time.


title: PointNetGPD: Detecting Grasp Configurations from Point Sets

abstract: In this paper, we propose an end-to-end grasp evaluation model to address the challenging problem of localizing robot grasp configurations directly from the point cloud. Compared to recent grasp evaluation metrics that are based on handcrafted depth features and a convolutional neural network (CNN), our proposed PointNetGPD is lightweight and can directly process the 3D point cloud that locates within the gripper for grasp evaluation. Taking the raw point cloud as input, our proposed grasp evaluation network can capture the complex geometric structure of the contact area between the gripper and the object even if the point cloud is very sparse. To further improve our proposed model, we generate a larger-scale grasp dataset with 350k real point cloud and grasps with the YCB object set for training. The performance of the proposed model is quantitatively measured both in simulation and on robotic hardware. Experiments on object grasping and clutter removal show that our proposed model generalizes well to novel objects and outperforms state-of-the-art methods. Code and video are available at \href{https://lianghongzhuo.github.io/PointNetGPD}{https://lianghongzhuo.github.io/PointNetGPD}


title: Vision-based Teleoperation of Shadow Dexterous Hand using End-to-End Deep Neural Network

abstract: In this paper, we present TeachNet, a novel neural network architecture for intuitive and markerless vision-based teleoperation of dexterous robotic hands. Robot joint angles are directly generated from depth images of the human hand that produce visually similar robot hand poses in an end-to-end fashion. The special structure of TeachNet, combined with a consistency loss function, handles the differences in appearance and anatomy between human and robotic hands. A synchronized human-robot training set is generated from an existing dataset of labeled depth images of the human hand and simulated depth images of a robotic hand. The final training set includes 400K pairwise depth images and joint angles of a Shadow C6 robotic hand. The network evaluation results verify the superiority of TeachNet, especially regarding the high-precision condition. Imitation experiments and grasp tasks teleoperated by novice users demonstrate that TeachNet is more reliable and faster than the state-of-the-art vision-based teleoperation method.


title: Learning Effective RGB-D Representations for Scene Recognition

abstract: Deep convolutional networks (CNN) can achieve impressive results on RGB scene recognition thanks to large datasets such as Places. In contrast, RGB-D scene recognition is still underdeveloped in comparison, due to two limitations of RGB-D data we address in this paper. The first limitation is the lack of depth data for training deep learning models. Rather than fine tuning or transferring RGB-specific features, we address this limitation by proposing an architecture and a two-step training approach that directly learns effective depth-specific features using weak supervision via patches. The resulting RGB-D model also benefits from more complementary multimodal features. Another limitation is the short range of depth sensors (typically 0.5m to 5.5m), resulting in depth images not capturing distant objects in the scenes that RGB images can. We show that this limitation can be addressed by using RGB-D videos, where more comprehensive depth information is accumulated as the camera travels across the scene. Focusing on this scenario, we introduce the ISIA RGB-D video dataset to evaluate RGB-D scene recognition with videos. Our video recognition architecture combines convolutional and recurrent neural networks (RNNs) that are trained in three steps with increasingly complex data to learn effective features (i.e. patches, frames and sequences). Our approach obtains state-of-the-art performances on RGB-D image (NYUD2 and SUN RGB-D) and video (ISIA RGB-D) scene recognition.


title: Nested Performance Profiles for Benchmarking Software

abstract: In order to compare and benchmark the mathematical software, the performance profiles have been introduced [1]. However, it has been proved that the algorithm is not flawless. The main issue with the performance profile is that it may rank the solvers with respect to the best solver, by excluding the best one and running the algorithm on the remaining set of the solvers, the method may rank the solvers in a different way. We characterize such systems of problems-solvers and propose an efficient and reliable algorithm to overcome this negative side effect. The proposed method is unbiased in comparing the solvers and is successful in detecting the top ones


title: Low-degree planar polynomials over finite fields of characteristic two

abstract: Planar functions are mappings from a finite field $\mathbb{F}_q$ to itself with an extremal differential property. Such functions give rise to finite projective planes and other combinatorial objects. There is a subtle difference between the definitions of these functions depending on the parity of $q$ and we consider the case that $q$ is even. We classify polynomials of degree at most $q^{1/4}$ that induce planar functions on $\mathbb{F}_q$, by showing that such polynomials are precisely those in which the degree of every monomial is a power of two. As a corollary we obtain a complete classification of exceptional planar polynomials, namely polynomials over $\mathbb{F}_q$ that induce planar functions on infinitely many extensions of~$\mathbb{F}_q$. The proof strategy is to study the number of $\mathbb{F}_q$-rational points of an algebraic curve attached to a putative planar function.~Our methods also give a simple proof of a new partial result for the classification of almost perfect nonlinear~functions.


title: (1,0) gauge theories on the six-sphere

abstract: We construct gauge theories with a vector-multiplet and hypermultiplets of $(1,0)$ supersymmetry on the six-sphere. The gauge coupling on the sphere depends on the polar angle. This has a natural explanation in terms of the tensor branch of $(1,0)$ theories on the six-sphere. For the vector-multiplet we give an off-shell formulation for all supersymmetries. For hypermultiplets we give an off-shell formulation for one supersymmetry. We show that the path integral for the vector-multiplet localizes to solutions of the Hermitian-Yang-Mills equation, which is a generalization of the (anti-)self duality condition to higher dimensions. For the hypermultiplet, the path integral localizes to configurations where the field strengths of two complex scalars are related by an almost complex structure.


title: Skyrmion ratchet effect driven by a biharmonic force

abstract: Based on micromagnetic simulation and analysis of Thiele's equation, in this work we demonstrate that ratchet motion of skyrmion can be induced by a biharmonic in-plane magnetic field hx(t) = h1sin(mwt) + h2sin(nwt + phi), provided that integers m and n are coprime and that m + n is odd. Remarkably, the speed and direction of the ratchet motion can be readily adjusted by the field amplitude, frequency and phase, with the maximum speed being over 5 m/s and the direction rotatable over 360 degree. The origin of the skyrmion ratchet motion is analyzed by tracing the excitation spectra of the dissipation parameter D and the skyrmion position R, and it shows that the dissipative force plays a key role in the appearance of ratchet motion. Such a ratchet motion of skyrmion is distinguished from those caused by single-frequency ac drives reported in the literature, and from that driven by pulsed magnetic fields as also predicted in this work. Our results show that skyrmion ratchet effect under biharmonic forces shares some common features of those found in many soliton systems, and the facile controllability of both the skyrmion speed and direction should be useful in practice.


title: FormuLog: Datalog for static analysis involving logical formulae

abstract: Datalog has become a popular language for writing static analyses. Because Datalog is very limited, some implementations of Datalog for static analysis have extended it with new language features. However, even with these features it is hard or impossible to express a large class of analyses because they use logical formulae to represent program state. FormuLog fills this gap by extending Datalog to represent, manipulate, and reason about logical formulae. We have used FormuLog to implement declarative versions of symbolic execution and abstract model checking, analyses previously out of the scope of Datalog-based languages. While this paper focuses on the design of FormuLog and one of the analyses we have implemented in it, it also touches on a prototype implementation of the language and identifies performance optimizations that we believe will be necessary to scale FormuLog to real-world static analysis problems.


title: Can we detect quantum gravity with compact binary inspirals?

abstract: Treating general relativity as an effective field theory, we compute the leading-order quantum corrections to the orbits and gravitational-wave emission of astrophysical compact binaries. These corrections are independent of the (unknown) nature of quantum gravity at high energies, and generate a phase shift and amplitude increase in the observed gravitational-wave signal. Unfortunately (but unsurprisingly), these corrections are undetectably small, even in the most optimistic observational scenarios.


title: Retrospective correction of Rigid and Non-Rigid MR motion artifacts using GANs

abstract: Motion artifacts are a primary source of magnetic resonance (MR) image quality deterioration with strong repercussions on diagnostic performance. Currently, MR motion correction is carried out either prospectively, with the help of motion tracking systems, or retrospectively by mainly utilizing computationally expensive iterative algorithms. In this paper, we utilize a new adversarial framework, titled MedGAN, for the joint retrospective correction of rigid and non-rigid motion artifacts in different body regions and without the need for a reference image. MedGAN utilizes a unique combination of non-adversarial losses and a new generator architecture to capture the textures and fine-detailed structures of the desired artifact-free MR images. Quantitative and qualitative comparisons with other adversarial techniques have illustrated the proposed model performance.


title: Optimal Matrix Momentum Stochastic Approximation and Applications to Q-learning

abstract: Acceleration is an increasingly common theme in the stochastic optimization literature. The two most common examples are Nesterov's method, and Polyak's momentum technique. In this paper two new algorithms are introduced for root finding problems: 1) PolSA is a root finding algorithm with specially designed matrix momentum, and 2) NeSA can be regarded as a variant of Nesterov's algorithm, or a simplification of PolSA. The PolSA algorithm is new even in the context of optimization (when cast as a root finding problem). The research surveyed in this paper is motivated by applications to reinforcement learning. It is well known that most variants of TD- and Q-learning may be cast as SA (stochastic approximation) algorithms, and the tools from general SA theory can be used to investigate convergence and bounds on convergence rate. In particular, the asymptotic variance is a common metric of performance for SA algorithms, and is also one among many metrics used in assessing the performance of stochastic optimization algorithms. There are two well known SA techniques that are known to have optimal asymptotic variance: the Ruppert-Polyak averaging technique, and stochastic Newton-Raphson (SNR). The former algorithm can have extremely bad transient performance, and the latter can be computationally expensive. It is demonstrated here that parameter estimates from the new PolSA algorithm couple with those of the ideal (but more complex) SNR algorithm. The new algorithm is thus a third approach to obtain optimal asymptotic covariance. These strong results require assumptions on the model. A linearized model is considered, and the noise is assumed to be a martingale difference sequence. Numerical results are obtained in a non-linear setting that is the motivation for this work: In PolSA implementations of Q-learning it is observed that coupling occurs with SNR in this non-ideal setting.


title: On the speed of domain walls in thin nanotubes: the transition from the linear to the magnonic regime

abstract: Numerical simulations of domain wall propagation in thin nanotubes when an external magnetic field is applied along the nanotube axis have shown an unexpected behavior described as a transition from a linear to a magnonic regime. As the applied magnetic field increases, the initial regime of linear growth of the speed with the field is followed by a sudden change in slope accompanied by the emission of spin waves. In this work an analytical formula for the speed of the domain wall that explains this behavior is derived by means of an asymptotic study of the Landau Lifshitz Gilbert equation for thin nanotubes. We show that the dynamics can be reduced to a one dimensional hyperbolic reaction diffusion equation, namely, the damped double Sine Gordon equation, which shows the transition to the magnonic regime as the domain wall speed approaches the speed of spin waves. This equation has been previously found to describe domain wall propagation in weak ferromagnets with the mobility proportional to the Dzyaloshinskii-Moriya interaction constant, for Permalloy nanotubes the mobility is proportional to the nanotube radius.


title: Exoplanet Modulation of Stellar Coronal Radio Emission

abstract: The search for exoplanets in the radio bands has been focused on detecting radio emissions produced by the interaction between magnetized planets and the stellar wind (auroral emission). Here we introduce a new tool, which is part of our MHD stellar corona model, to predict the ambient coronal radio emission and its modulations induced by a close planet. For simplicity, the present work assumes that the exoplanet is stationary in the frame rotating with the stellar rotation. We explore the radio flux modulations using a limited parameter space of idealized cases by changing the magnitude of the planetary field, its polarity, the planetary orbital separation, and the strength of the stellar field. We find that the modulations induced by the planet could be significant and observable in the case of hot Jupiter planets --- above 100% modulation with respect to the ambient flux in the $10-100~MHz$ range in some cases, and 2-10% in the frequency bands above $250~MHz$ for some cases. Thus, our work indicates that radio signature of exoplanets might not be limited to low-frequency radio range. We find that the intensity modulations are sensitive to the planetary magnetic field polarity for short-orbit planets, and to the stellar magnetic field strength for all cases. The new radio tool, when applied to real systems, could provide predictions for the frequency range at which the modulations can be observed by current facilities.


title: On the large R-charge $\mathcal N=2$ chiral correlators and the Toda equation

abstract: We consider $\mathcal N=2$ $SU(N)$ SQCD in four dimensions and a weak-coupling regime with large R-charge recently discussed in arXiv:1803.00580. If $\varphi$ denotes the adjoint scalar in the $\mathcal N=2$ vector multiplet, it has been shown that the 2-point functions in the sector of chiral primaries $(\text{Tr} \varphi^2)^n$ admit a finite limit when $g_\text{YM}\to 0$ with large R-charge growing like $\sim 1/g^2_\text{YM}$. The correction with respect to $\mathcal N=4$ correlators is a non-trivial function $F(\lambda; N)$ of the fixed coupling $\lambda=n\,g^2_\text{YM}$ and the gauge algebra rank $N$. We show how to exploit the Toda equation following from the $tt^*$ equations in order to control the R-charge dependence. This allows to determine $F(\lambda; N)$ at order $O(\lambda^{10})$ for generic $N$, greatly extending previous results and placing on a firmer ground a conjecture proposed for the $SU(2)$ case. We show that a similar Toda equation, discussed in the past, may indeed be used for the additional sector $(\text{Tr}\varphi^2)^n\,\text{Tr}\varphi^3$ due to the special mixing properties of these composite operators on the 4-sphere. We discuss the large R-limit in this second case and compute the associated scaling function $F$ at order $O(\lambda^7)$ and generic $N$. Large $N$ factorization is also illustrated as a check of the computation.


title: On the relationship between the mean first-passage time and the steady state transfer rate in classical chains

abstract: Understanding excitation and charge transfer in disordered media is a significant challenge in chemistry, biophysics and material science. We study two experimentally-relevant measures for carriers transfer in finite-size chains, the trapping mean first-passage time (MFPT) and the steady state transfer time (SSTT). We discuss the relationship between these measures, and derive analytic formulae for one-dimensional chains. We exemplify the behavior of these timescales in different motifs: donor-bridge-acceptor systems, biased chains, and alternating and stacked co-polymers. We find that the MFPT and the SSTT may administer different, complementary information on the system, jointly reporting on molecular length and energetics. Under constraints such as fixed donor-acceptor energy bias, we show that the MFPT and the SSTT are optimized (minimized) under fundamentally different internal potential profiles. This study brings insights on the behavior of the MFPT and the SSTT, and suggests that it is beneficial to perform both transient and steady state measurements on a conducing network so as to gather a more complete picture of its properties.


title: Phase transformations and compatibility in helical structures

abstract: We systematically study phase transformations from one helical structure to another. Motivated in part by recent work that relates the presence of compatible interfaces with properties such as the hysteresis and reversibility of a phase transformation [35, 33, 12, 28], we give necessary and sufficient conditions on the structural parameters of two helical phases such that they are compatible. We show that, locally, four types of compatible interface are possible: vertical, horizontal, helical and elliptical. We discuss the mobility of these interfaces and give examples of systems of interfaces that are mobile and could be used to fully transform a helical structure from one phase to another. These results provide a basis for the tuning of helical structural parameters so as to achieve compatibility of phases. In the case of transformations in crystals, this kind of tuning has led to materials with exceptionally low hysteresis and dramatically improved resistance to transformational fatigue. Compatible helical transformations with low hysteresis and fatigue resistance would exhibit an unusual shape memory effect involving both twist and extension, and may have potential applications as new artificial muscles and actuators.


title: ALMA Observation of NGC5135: The Circumnuclear CO(6-5) and Dust Continuum Emission at 45 Parsec Resolution[$\star$]

abstract: We present high-resolution (0.17\arcsec $\times$ 0.14\arcsec) Atacama Large Millimeter/submillimeter Array (ALMA) observations of the CO\,(6-5) line, and 435\um\ dust continuum emission within a $\sim$9\arcsec $\times$ 9\arcsec\ area centered on the nucleus of the galaxy NGC\,5135. NGC\,5135 is a well-studied luminous infrared galaxy that also harbors a Compton-thick active galactic nucleus (AGN). At the achieved resolution of 48 $\times$ 40\,pc, the CO\,(6-5) and dust emissions are resolved into gas "clumps" along the symmetrical dust lanes associated with the inner stellar bar. The clumps have radii between $\sim$45-180\,pc and CO\,(6-5) line widths of $\sim$60-88\,\kms. The CO\,(6-5) to dust continuum flux ratios vary among the clumps and show an increasing trend with the \FeII/Br-$\gamma$ ratios, which we interpret as evidence for supernova-driven shocked gas providing a significant contribution to the \co65\ emission. The central AGN is undetected in continuum, nor in CO\,(6-5) if its line velocity width is no less than $\sim$\,40\,\kms. We estimate that the AGN contributes at most 1\% of the integrated CO\,(6-5) flux of 512 $\pm$ 24$\,$Jy\kms\ within the ALMA field of view, which in turn accounts for $\sim$32\% of the CO\,(6-5) flux of the whole galaxy.


title: Style Transfer Through Multilingual and Feedback-Based Back-Translation

abstract: Style transfer is the task of transferring an attribute of a sentence (e.g., formality) while maintaining its semantic content. The key challenge in style transfer is to strike a balance between the competing goals, one to preserve meaning and the other to improve the style transfer accuracy. Prior research has identified that the task of meaning preservation is generally harder to attain and evaluate. This paper proposes two extensions of the state-of-the-art style transfer models aiming at improving the meaning preservation in style transfer. Our evaluation shows that these extensions help to ground meaning better while improving the transfer accuracy.


title: Why the angular distribution of the top decay lepton is unchanged by anomalous $tbW$ coupling

abstract: We give a simple physical argument to understand the observation that the angular distribution of the top decay lepton depends only on the polarisation of the top and is independent of any anomalous $tbW$ coupling to linear order.


title: Investigating jet-medium interaction using charge dependent three-particle correlation in high multiplicity p+Pb collisions at $\sqrt{s_{NN} }$ = 5.02 TeV

abstract: Although many observations in high multiplicity p+Pb collisions at the LHC indicate striking similarity to heavy ion collisions, no evidence of jet-medium interactions has been observed till date. We study the effect of jet-medium interaction on the charge dependent three-particle correlation in high multiplicity p+Pb collisions at $\sqrt{s_{NN} }$ = 5.02 TeV using EPOS 3 event generator. The short range component of the three-particle correlation is dominated by the jet fragmentation and has a unique charge dependence as observed in the minimum bias p+Au collisions at the RHIC energy. In EPOS 3, similar pattern has been observed in the lower multiplicity classes of p+Pb collisions where jet fragmentation plays the dominant role. Interestingly, the charge dependence of three-particle correlation gets diminished in the higher multiplicity classes of p+Pb collisions where the jet-medium interactions as implemented in EPOS 3 plays an important role. The current study can, therefore, provide possible ways to investigate the jet-medium interaction in high multiplicity classes of small collision systems at the LHC energies.


title: Why it is so hard to detect Luttinger liquids in ARPES?

abstract: The problem of photoemission from a quasi-1D material is studied. We identify two issues that play a key role in the detection of gapless Tomonaga-Luttinger liquid (TLL) phase. Firstly, we show how a disorder -- backward scattering as well as forward scattering component, is able to significantly obscure the TLL states, hence the initial state of ARPES. Secondly, we investigate the photo-electron propagation towards a sample's surface. We focus on the scattering path operator contribution to the final state of ARPES. We show that, in the particular conditions set by the 1D states, one can derive exact analytic solution for this intermediate stage of ARPES. The solution shows that for particular energies of incoming photons the intensity of photo-current may be substantially reduced. Finally, we put together the two aspects (the disorder and the scattering path operator) to show the full, disruptive force of any inhomogeneities on the ARPES amplitude.


title: Ultrafast dynamics of spin and orbital correlations in quantum materials: an energy- and momentum-resolved perspective

abstract: Many remarkable properties of quantum materials emerge from states with intricate coupling between the charge, spin and orbital degrees of freedom. Ultrafast photo-excitations of these materials hold great promise for understanding and controlling the properties of these states. Here we introduce time-resolved resonant inelastic X-ray scattering (trRIXS) as a means of measuring charge, spin and orbital excitations out of equilibrium. These excitations encode the correlations and interactions that determine the detailed properties of the states generated. After outlining the basic principles and instrumentation of tr-RIXS, we review our first observations of transient antiferromagnetic correlations in quasi-two dimensions in a photo-excited Mott insulator and present possible future routes of this fast-developing technique. The increasing number of X-ray free electron laser facilities not only enables tackling long-standing fundamental scientific problems, but also promises to unleash novel inelastic X-ray scattering spectroscopies


title: Resisting Selfish Mining Attacks in the Bicomp

abstract: Selfish mining, which is an attack on the integrity of the Bitcoin network, was first proposed by Cornell researchers Emin Gun Sirer and Ittay Eyal in 2013. Selfish mining attack also exists in most Nakamoto consensus protocols. Generally speaking, selfish mining strategy can comprise a Nakamoto consensus system with less than 25% mining power of the whole system. We have discussed how the Bicomp can resist selfish mining in our former paper "Bicomp: A Bilayer Scalable Nakamoto Consensus Protocol". In this technical report, we give a detailed derivation on the conditions a selfish attacker should meet to earn more revenues through selfish mining. And we also get a conclusion that through adjusting macroblock difficulties together with tenure lengths, the Bicomp protocol has high resistant towards selfish mining.


title: Conformally covariant bi-differential operators for differential forms

abstract: The classical Rankin-Cohen brackets are bi-differential operators from $C^\infty(\mathbb R)\times C^\infty(\mathbb R)$ into $ C^\infty(\mathbb R)$. They are covariant for the (diagonal) action of ${\rm SL}(2,\mathbb R)$ through principal series representations. We construct generalizations of these operators, replacing $\mathbb R$ by $\mathbb R^n,$ the group ${\rm SL}(2,\mathbb R)$ by the group ${\rm SO}_0(1,n+1)$ viewed as the conformal group of $\mathbb R^n,$ and functions by differential forms.


title: Injection locking of multiple auto-oscillation modes in a tapered nanowire spin Hall oscillator

abstract: Spin Hall oscillators (SHO) are promising candidates for the generation, detection and amplification of high frequency signals, that are tunable through a wide range of operating frequencies. They offer to be read out electrically, magnetically and optically in combination with a simple bilayer design. Here, we experimentally study the spatial dependence and spectral properties of auto-oscillations in SHO devices based on Pt(7 nm)/\ Ni$_{\mathrm{80}}$Fe$_{\mathrm{20}}$(5 nm) tapered nanowires. Using Brillouin light scattering microscopy, we observe two individual self-localized spin-wave bullets that oscillate at two distinct frequencies (5.2 GHz and 5.45 GHz) and are localized at different positions separated by about 750 nm within the SHO. This state of a tapered SHO has been predicted by a Ginzburg-Landau auto-oscillator model, but not yet been directly confirmed experimentally. We demonstrate that the observed bullets can be individually synchronized to external microwave signals, leading to a frequency entrainment, linewidth reduction and increase in oscillation amplitude for the bullet that is selected by the microwave frequency. At the same time, the amplitude of other parasitic modes decreases, which promotes the single-mode operation of the SHO. Finally, the synchronization of the spin-wave bullets is studied as a function of the microwave power. We believe that our findings promote the realization of extended spin Hall oscillators accomodating several distinct spin-wave bullets, that jointly cover an extended range of tunability.


title: Non-Polynomial Quintic Spline for Numerical Solution of Fourth--Order Time Fractional Partial Differential Equations

abstract: This paper presents a novel approach for numerical solution of a class of fourth order time fractional partial differential equations (PDE's). The finite difference formulation has been used for temporal discretization, whereas, the space discretization is achieved by means of non polynomial quintic spline method. The proposed algorithm is proved to be stable and convergent. In order to corroborate this work, some test problems have been considered and the computational outcomes are compared with those found in the exiting literature. It is revealed that the presented scheme is more accurate as compared to current variants on the topic.


title: Mapping structural diversity in networks sharing a given degree distribution and global clustering: Adaptive resolution grid search evolution with Diophantine equation-based mutations

abstract: Methods that generate networks sharing a given degree distribution and global clustering can induce changes in structural properties other than that controlled for. Diversity in structural properties, in turn, can affect the outcomes of dynamical processes operating on those networks. Since exhaustive sampling is not possible, we propose a novel evolutionary framework for mapping this structural diversity. The three main features of this framework are: (a) subgraph-based encoding of networks, (b) exact mutations based on solving systems of Diophantine equations, and (c) heuristic diversity-driven mechanism to drive resolution changes in the MapElite algorithm. We show that our framework can elicit networks with diversity in their higher-order structure and that this diversity affects the behaviour of the complex contagion model. Through a comparison with state of the art clustered network generation methods, we demonstrate that our approach can uncover a comparably diverse range of networks without needing computationally unfeasible mixing times. Further, we suggest that the subgraph-based encoding provides greater confidence in the diversity of higher-order network structure for low numbers of samples and is the basis for explaining our results with complex contagion model. We believe that this framework could be applied to other complex landscapes that cannot be practically mapped via exhaustive sampling.


title: *-K-g-Frames and their duals for Hilbert A-modules

abstract: Frame theory has a great revolution in recent years. This new Theory have been extended from Hilbert spaces to Hilbert C*-modules. In this paper, we introduce the notion of dual *-K-g-frames in Hilbert A-modules. Lastly we study *-K-g-frames in tensor product of Hilbert C*-Modules and we establish some new results.


title: Nontrivial topology and localization in the double exchange model with possible applications to perovskite manganites

abstract: The double exchange model describing the coupling between conduction electrons and localized magnetic moments is relevant for a large family of physical systems including manganites. Here we reveal that the one dimensional double exchange model with an incommensurate magnetic elliptical spiral is a topological insulator with a Chern number $2\mathbb{Z}$ in the two dimensional space with one physical dimension and one ancillary dimension spanned by the Goldstone mode of the spiral. Moreover, the electronic states can be localized for a strong local exchange coupling. The topological protected edge states are responsible for the pumping of electron charge, and give rise to multiferroic response. Our work uncovers hitherto undiscovered nontrivial topology and Anderson localization in the double exchange model with possible applications to perovskite manganites.


title: Improvements for eigenfunction averages: An application of geodesic beams

abstract: Let $(M,g)$ be a smooth, compact Riemannian manifold and $\{\phi_\lambda \}$ an $L^2$-normalized sequence of Laplace eigenfunctions, $-\Delta_g\phi_\lambda =\lambda^2 \phi_\lambda$. Given a smooth submanifold $H \subset M$ of codimension $k\geq 1$, we find conditions on the pair $(M,H)$, even when $H=\{x\}$, for which $$ \Big|\int_H\phi_\lambda d\sigma_H\Big|=O\Big(\frac{\lambda^{\frac{k-1}{2}}}{\sqrt{\log \lambda}}\Big)\qquad \text{or}\qquad |\phi_\lambda(x)|=O\Big(\frac{\lambda ^{\frac{n-1}{2}}}{\sqrt{\log \lambda}}\Big), $$ as $\lambda\to \infty$. These conditions require no global assumption on the manifold $M$ and instead relate to the structure of the set of recurrent directions in the unit normal bundle to $H$. Our results extend all previously known conditions guaranteeing improvements on averages, including those on sup-norms. For example, we show that if $(M,g)$ is a surface with Anosov geodesic flow, then there are logarithmically improved averages for any $H\subset M$. We also find weaker conditions than having no conjugate points which guarantee $\sqrt{\log \lambda}$ improvements for the $L^\infty$ norm of eigenfunctions. Our results are obtained using geodesic beam techniques, which yield a mechanism for obtaining general quantitative improvements for averages and sup-norms.


title: Adversarial Text Generation via Feature-Mover's Distance

abstract: Generative adversarial networks (GANs) have achieved significant success in generating real-valued data. However, the discrete nature of text hinders the application of GAN to text-generation tasks. Instead of using the standard GAN objective, we propose to improve text-generation GAN via a novel approach inspired by optimal transport. Specifically, we consider matching the latent feature distributions of real and synthetic sentences using a novel metric, termed the feature-mover's distance (FMD). This formulation leads to a highly discriminative critic and easy-to-optimize objective, overcoming the mode-collapsing and brittle-training problems in existing methods. Extensive experiments are conducted on a variety of tasks to evaluate the proposed model empirically, including unconditional text generation, style transfer from non-parallel text, and unsupervised cipher cracking. The proposed model yields superior performance, demonstrating wide applicability and effectiveness.


title: Anisotropic osmosis filtering for shadow removal in images

abstract: We present an anisotropic extension of the isotropic osmosis model that has been introduced by Weickert et al.~(Weickert, 2013) for visual computing applications, and we adapt it specifically to shadow removal applications. We show that in the integrable setting, linear anisotropic osmosis minimises an energy that involves a suitable quadratic form which models local directional structures. In our shadow removal applications we estimate the local structure via a modified tensor voting approach (Moreno, 2012) and use this information within an anisotropic diffusion inpainting that resembles edge-enhancing anisotropic diffusion inpainting (Weickert, 2006, Gali\'c, 2008). Our numerical scheme combines the nonnegativity preserving stencil of Fehrenbach and Mirebeau (Fehrenbach, 2014) with an exact time stepping based on highly accurate polynomial approximations of the matrix exponential. The resulting anisotropic model is tested on several synthetic and natural images corrupted by constant shadows. We show that it outperforms isotropic osmosis, since it does not suffer from blurring artefacts at the shadow boundaries.


title: What increases (social) media attention: Research impact, author prominence or title attractiveness?

abstract: Do only major scientific breakthroughs hit the news and social media, or does a 'catchy' title help to attract public attention? How strong is the connection between the importance of a scientific paper and the (social) media attention it receives? In this study we investigate these questions by analysing the relationship between the observed attention and certain characteristics of scientific papers from two major multidisciplinary journals: Nature Communication (NC) and Proceedings of the National Academy of Sciences (PNAS). We describe papers by features based on the linguistic properties of their titles and centrality measures of their authors in their co-authorship network. We identify linguistic features and collaboration patterns that might be indicators for future attention, and are characteristic to different journals, research disciplines, and media sources.


title: Double-real contribution to the quark beam function at N$^{3}$LO QCD

abstract: We compute the master integrals required for the calculation of the double-real emission contributions to the matching coefficients of 0-jettiness beam functions at next-to-next-to-next-to-leading order in perturbative QCD. As an application, we combine these integrals and derive the double-real gluon emission contribution to the matching coefficient $I_{qq}(t,z)$ of the quark beam function.


title: Evidence of local softening in glassy poly(vinyl alcohol)/poly(vinyl pyrrolidone) (1/1, w/w) nano-graphene platelets composites

abstract: Complex permittivity studies on glassy poly(vinyl alcohol)/poly(vinyl pyrrolidone) (1/1) at proper pressure-temperature condition, provide the activation volume and energy values for both dc conductivity and \b{eta}-relaxation. The temperature dependence of the activation volume, which signatures volume-fluctuations accompanying a dynamic process, maximizes at temperature near the glass transition temperature of neat polyvinyl alcohol. The phenomenon is interpreted by a local softening of polyvinyl alcohol domains, while the blend remains in its glassy state. The scenario is also supported by the dependence of the activation energy upon pressure. Dispersed nano-graphene platelets at volume fractions around the critical conductivity percolation threshold are comparatively studied, so as to determine whether local softening affects the formation of a conductivity percolation network.


title: The Dirichlet problem for the $\alpha$-singular minimal surface equation

abstract: Let $\Omega\subset\r^n$ be a bounded mean convex domain. If $\alpha<0$, we prove the existence and uniqueness of classical solutions of the Dirichlet problem in $\Omega$ for the $\alpha$-singular minimal surface equation with arbitrary continuous boundary data.


title: Psychiatric Illnesses as Disorders of Network Dynamics

abstract: This review provides a dynamical systems perspective on psychiatric symptoms and disease, and discusses its potential implications for diagnosis, prognosis, and treatment. After a brief introduction into the theory of dynamical systems, we will focus on the idea that cognitive and emotional functions are implemented in terms of dynamical systems phenomena in the brain, a common assumption in theoretical and computational neuroscience. Specific computational models, anchored in biophysics, for generating different types of network dynamics, and with a relation to psychiatric symptoms, will be briefly reviewed, as well as methodological approaches for reconstructing the system dynamics from observed time series (like fMRI or EEG recordings). We then attempt to outline how psychiatric phenomena, associated with schizophrenia, depression, PTSD, ADHD, phantom pain, and others, could be understood in dynamical systems terms. Most importantly, we will try to convey that the dynamical systems level may provide a central, hub-like level of convergence which unifies and links multiple biophysical and behavioral phenomena, in the sense that diverse biophysical changes can give rise to the same dynamical phenomena and, vice versa, similar changes in dynamics may yield different behavioral symptoms depending on the brain area where these changes manifest. If this assessment is correct, it may have profound implications for the diagnosis, prognosis, and treatment of psychiatric conditions, as it puts the focus on dynamics. We therefore argue that consideration of dynamics should play an important role in the choice and target of interventions.


title: Approximate message-passing for convex optimization with non-separable penalties

abstract: We introduce an iterative optimization scheme for convex objectives consisting of a linear loss and a non-separable penalty, based on the expectation-consistent approximation and the vector approximate message-passing (VAMP) algorithm. Specifically, the penalties we approach are convex on a linear transformation of the variable to be determined, a notable example being total variation (TV). We describe the connection between message-passing algorithms -- typically used for approximate inference -- and proximal methods for optimization, and show that our scheme is, as VAMP, similar in nature to the Peaceman-Rachford splitting, with the important difference that stepsizes are set adaptively. Finally, we benchmark the performance of our VAMP-like iteration in problems where TV penalties are useful, namely classification in task fMRI and reconstruction in tomography, and show faster convergence than that of state-of-the-art approaches such as FISTA and ADMM in most settings.


title: Automata Guided Reinforcement Learning With Demonstrations

abstract: Tasks with complex temporal structures and long horizons pose a challenge for reinforcement learning agents due to the difficulty in specifying the tasks in terms of reward functions as well as large variances in the learning signals. We propose to address these problems by combining temporal logic (TL) with reinforcement learning from demonstrations. Our method automatically generates intrinsic rewards that align with the overall task goal given a TL task specification. The policy resulting from our framework has an interpretable and hierarchical structure. We validate the proposed method experimentally on a set of robotic manipulation tasks.


title: GHASP: an H$\alpha$ kinematics survey of spiral galaxies - XII. Distribution of luminous and dark matter in spiral and irregular nearby galaxies using R$_c$-band photometry

abstract: Mass models of 100 nearby spiral and irregular galaxies, covering morphological types from Sa to Irr, are computed using H$\alpha$ rotation curves and R$_c$-band surface brightness profiles. The kinematics was obtained using a scanning Fabry-Perot interferometer. One of the aims is to compare our results with those from Korsaga et al. (2018), which used mid-infrared (MIR) WISE W1 (3.4 $\mu$m) photometric data. For the analysis, the same tools were used for both bands. Pseudo-Isothermal (ISO) core and Navarro-Frenk-White (NFW) cuspy models have been used. We test Best Fit Models (BFM), Maximum Disc Models (MDM) and models for which M/L is fixed using the B - V colors. Similarly to what was found in the MIR 3.4 $\mu$m band, most of the observed rotation curves are better described by a central core density profile (ISO) than a cuspy one (NFW) when using the optical R$_c$-band. In both bands, the dispersion in the (M/L) values is smaller for the fixed M/L fits. As for the W1 photometry, the derived DM halos' parameters depend on the morphological types. We find similar relations than those in the literature, only when we compare our results for the bulge-poor sub-sample because most of previous results were mainly based on late-type spirals. Because the dispersion in the model parameters is smaller and because stellar masses are better defined in that band, MIR photometry should be preferred, when possible, to the optical bands. It is shown that for high-z galaxies, sensible results can still be obtained without full profile decomposition.


title: The Navier-Stokes equations in periodic domains

abstract: In the present technical note, we establish that the setting of the primitive variables of the unsteady incompressible fluid dynamics is ill-formulated in spatially periodic domains as the specification of the boundary velocity is too broad to sidestep time-dependency and approximation errors. As an illustration, we show that the Taylor-Green solution in planes suffers from the Hadamard-divergence, and the ABC flow in cubes is non-unique. In direct numerical simulations of homogeneous turbulence with no corrective precautions on the boundary values, our assertion helps us understand the well-experienced nuisances, such as slow rates of convergence in energy dissipation, fluctuations in the statistics moments, or spontaneous surges in the time-averaged flow quantities. In particular, vorticity dynamics is not described by singular integral equations.


title: A new standard quadratic optimization approach to beam angle optimization for fixed-field intensity modulated radiation therapy

abstract: Beam angle optimization (BAO) largely determines the performance of fixed-field intensity modulated radiation therapy (IMRT), and it is usually considered as non-convex optimization and an NP hard problem. In this work, BAO is reformulated into a highly efficient framework of standard quadratic optimization. The maximum of beamlet intensities for each incident field as the surrogate variable indicating whether one radiation field has been selected. By converting the function of maximum value in the objective into a set of linear constraints, the problem is solved as standard quadratic optimization via reweighting l1-norm scheme. The performance of the proposed BAO has been verified on a digital phantom and two patients. And the conclusion is drawn: the proposed convex optimization framework is able to find an optimal set of beam angles, leading to improved dose sparing on OARs in fixed-field IMRT.


title: Commonsense for Generative Multi-Hop Question Answering Tasks

abstract: Reading comprehension QA tasks have seen a recent surge in popularity, yet most works have focused on fact-finding extractive QA. We instead focus on a more challenging multi-hop generative task (NarrativeQA), which requires the model to reason, gather, and synthesize disjoint pieces of information within the context to generate an answer. This type of multi-step reasoning also often requires understanding implicit relations, which humans resolve via external, background commonsense knowledge. We first present a strong generative baseline that uses a multi-attention mechanism to perform multiple hops of reasoning and a pointer-generator decoder to synthesize the answer. This model performs substantially better than previous generative models, and is competitive with current state-of-the-art span prediction models. We next introduce a novel system for selecting grounded multi-hop relational commonsense information from ConceptNet via a pointwise mutual information and term-frequency based scoring function. Finally, we effectively use this extracted commonsense information to fill in gaps of reasoning between context hops, using a selectively-gated attention mechanism. This boosts the model's performance significantly (also verified via human evaluation), establishing a new state-of-the-art for the task. We also show promising initial results of the generalizability of our background knowledge enhancements by demonstrating some improvement on QAngaroo-WikiHop, another multi-hop reasoning dataset.


title: In-situ molecular-level observation of methanol catalysis at the water-graphite interface

abstract: Methanol occupies a central role in chemical synthesis and is considered an ideal candidate for cleaner fuel storage and transportation. It can be catalyzed from water and volatile organic compounds such as carbon dioxide, thereby offering an attractive solution for reducing carbon emissions. However molecular-level experimental observations of the catalytic process are scarce, and most existing catalysts tend to rely on empirically optimized, expensive and complex nano- composite materials. This lack of molecular-level insights has precluded the development of simpler, more cost-effective alternatives. Here we show that graphite immersed in ultrapure water is able to spontaneously catalyze methanol from volatile organic compounds in ambient conditions. Using single-molecule resolution atomic force microscopy (AFM) in liquid, we directly observe the formation and evolution of methanol-water nanostructures at the surface of graphite. These molecularly ordered structures nucleate near catalytically active surface features such as atomic step edges and grow progressively as further methanol is being catalyzed. Complementary nuclear magnetic resonance analysis of the liquid confirms the formation of methanol and quantifies its concentration. We also show that electric fields significantly enhance the catalysis rate, even when as small as that induced by the natural surface potential of the silicon AFM tip. These findings could have a significant impact on the development of organic catalysts and on the function of nanoscale carbon devices.


title: Additive Schwarz Preconditioners for the Obstacle Problem of Clamped Kirchhoff Plates

abstract: When the obstacle problem of clamped Kirchhoff plates is discretized by a partition of unity method, the resulting discrete variational inequalities can be solved by a primal-dual active set algorithm. In this paper we develop and analyze additive Schwarz preconditioners for the systems that appear in each iteration of the primal-dual active set algorithm. Numerical results that corroborate the theoretical estimates are also presented.


title: In Vitro Vascularized Tumor Platform for Modeling Tumor-Vasculature Interactions of Inflammatory Breast Cancer

abstract: Inflammatory breast cancer (IBC), a rare form of breast cancer associated with increased angiogenesis and metastasis, is largely driven by tumor-stromal interactions with the vasculature and the extracellular matrix (ECM). However, there is currently a lack of understanding of the role these interactions play in initiation and progression of the disease. In this study, we developed the first three-dimensional, in vitro, vascularized, breast tumor platform to quantify the spatial and temporal dynamics of tumor-vasculature and tumor-ECM interactions specific to IBC. Platforms consisting of collagen type 1 ECM with an endothelialized blood vessel were cultured with IBC cells, MDA-IBC3 (HER2+) or SUM149 (triple negative), and for comparison to non-IBC cells, MDA-MB-231 (triple negative). An acellular collagen platform with an endothelial blood vessel served as control. SUM149 and MDA-MB-231 platforms exhibited a significantly (p<0.05) higher vessel permeability and decreased endothelial coverage of the vessel lumen compared to the control. Both IBC platforms, MDA-IBC3 and SUM149, expressed higher levels of VEGF (p<0.05) and increased collagen ECM porosity compared to non-IBC MDA-MB-231 (p<0.05) and control (p<0.01) platforms. Additionally, unique to the MDA-IBC3 platform, we observed progressive sprouting of the endothelium over time resulting in viable vessels with lumen. The newly sprouted vessels encircled clusters of MDA-IBC3 cells replicating a feature of in vivo IBC. The IBC in vitro vascularized platforms introduced in this study model well-described in vivo and clinical IBC phenotypes and provide an adaptable, high throughout tool for systematically and quantitatively investigating tumor-stromal mechanisms and dynamics of tumor progression.


title: $\tau$-tilting finite gentle algebras are representation-finite

abstract: We show that a gentle algebra over a field is $\tau$-tilting finite if and only if it is representation-finite. The proof relies on the "brick-$\tau$-tilting correspondence" of Demonet-Iyama-Jasso and on a combinatorial analysis.


title: Scalable network adaptation for Cloud-RANs: An imitation learning approach

abstract: Network adaptation is essential for the efficient operation of Cloud-RANs. Unfortunately, it leads to highly intractable mixed-integer nonlinear programming problems. Existing solutions typically rely on convex relaxation, which yield performance gaps that are difficult to quantify. Meanwhile, global optimization algorithms such as branch-and-bound can find optimal solutions but with prohibitive computational complexity. In this paper, to obtain near-optimal solutions at affordable complexity, we propose to approximate the branch-and-bound algorithm via machine learning. Specifically, the pruning procedure in branch-and-bound is formulated as a sequential decision problem, followed by learning the oracle's action via imitation learning. A unique advantage of this framework is that the training process only requires a small dataset, and it is scalable to problem instances with larger dimensions than the training setting. This is achieved by identifying and leveraging the problem-size independent features. Numerical simulations demonstrate that the learning based framework significantly outperforms competing methods, with computational complexity much lower than the traditional branch-and-bound algorithm.


title: On some differential-geometric aspects of the Torelli map

abstract: In this note we survey recent results on the extrinsic geometry of the Jacobian locus inside $\mathsf{A}_g$. We describe the second fundamental form of the Torelli map as a multiplication map, recall the relation between totally geodesic subvarieties and Hodge loci and survey various results related to totally geodesic subvarieties and the Jacobian locus.


title: A new dynamically self-consistent version of the Besan\c{c}on Galaxy Model

abstract: Context. Dynamically self-consistent galactic models are necessary for analysing and interpreting star counts, stellar density distributions, and stellar kinematics in order to understand the formation and the evolution of our Galaxy. Aims. We modify and improve the dynamical self-consistency of the Besan\c{c}on Galaxy model in the case of a stationary and axisymmetric gravitational potential. Methods. Each stellar orbit is modelled by determining a Staeckel approximate integral of motion. Generalised Shu distribution functions with three integrals of motion are used to model the stellar distribution functions. Results. This new version of the Besan\c{c}on model is compared with the previous axisymmetric BGM2014 version and we find that the two versions have similar densities for each stellar component. The dynamically self-consistency is improved and can be tested by recovering the forces and the potential through the Jeans equations applied to each stellar distribution function. Forces are recovered with an accuracy better than one per cent over most of the volume of the Galaxy.


title: Talk to Me: A Case Study on Coordinating Expertise in Large-Scale Scientific Software Projects

abstract: Large-scale collaborative scientific software projects require more knowledge than any one person typically possesses. This makes coordination and communication of knowledge and expertise a key factor in creating and safeguarding software quality, without which we cannot have sustainable software. However, as researchers attempt to scale up the production of software, they are confronted by problems of awareness and understanding. This presents an opportunity to develop better practices and tools that directly address these challenges. To that end, we conducted a case study of developers of the Trilinos project. We surveyed the software development challenges addressed and show how those problems are connected with what they know and how they communicate. Based on these data, we provide a series of practicable recommendations, and outline a path forward for future research.


title: Orbit Space Curvature as a Source of Mass in Quantum Gauge Theory

abstract: It has long been realized that the natural orbit space for non-abelian Yang-Mills dynamics is a positively curved (infinite dimensional) Riemannian manifold. Expanding on this result I.M. Singer proposed that strict positivity of the corresponding Ricci tensor (computable through zeta function regularization) could play a fundamental role in establishing that the associated Schroedinger operator admits a spectral gap. His argument was based on representing the (regularized) kinetic term in the Schroedinger operator as a Laplace-Beltrami operator on this positively curved orbit space. We revisit Singer's proposal and show how, when the contribution of the Yang-Mills potential energy is taken into account, the role of the original orbit space Ricci tensor is instead played by a Bakry-Emery Ricci tensor computable from the ground state wave functional of the quantum theory. We next review our ongoing Euclidean-signature-semi-classical program for deriving asymptotic expansions for such wave functionals and discuss how, by keeping the dynamical nonlinearities and non-abelian gauge invariances intact at each level of the analysis, our approach surpasses that of conventional perturbation theory for the generation of approximate wave functionals. Though our main focus is on Yang-Mills theory we derive the orbit space curvature for scalar electrodynamics and prove that, whereas the Maxwell factor remains flat, the interaction naturally induces positive curvature in the (charged) scalar factor of the resulting orbit space. This has led us to the conjecture that such orbit space curvature effects could furnish a source of mass for ordinary Klein-Gordon type fields provided the latter are (minimally) coupled to gauge fields, even in the abelian case. Finally we discuss the potential applicability of our Euclidean-signature program to the Wheeler-DeWitt equation of canonical quantum gravity.


title: Overestimation of thermal emittance in solenoid scans due to coupled transverse motion

abstract: The solenoid scan is a widely used method for the in-situ measurement of the thermal emittance in a photocathode gun. The popularity of this method is due to its simplicity and convenience since all rf photocathode guns are equipped with an emittance compensation solenoid. This paper shows that the solenoid scan measurement overestimates the thermal emittance in the ordinary measurement configuration due to a weak quadrupole field (present in either the rf gun or gun solenoid) followed by a rotation in the solenoid. This coupled transverse dynamics aberration introduces a correlation between the beam's horizontal and vertical motion leading to an increase in the measured 2D transverse emittance, thus the overestimation of the thermal emittance. This effect was systematically studied using both analytic expressions and numerical simulations. These studies were experimentally verified using an L-band 1.6-cell rf photocathode gun with a cesium telluride cathode, which shows a thermal emittance overestimation of 35% with a rms laser spot size of 2.7 mm. The paper concludes by showing that the accuracy of the solenoid scan can be improved by using a quadrupole magnet corrector, consisting of a pair of normal and skew quadrupole magnets.


title: Novel Approach to Measure Motion-To-Photon and Mouth-To-Ear Latency in Distributed Virtual Reality Systems

abstract: Distributed Virtual Reality systems enable globally dispersed users to interact with each other in a shared virtual environment. In such systems, different types of latencies occur. For a good VR experience, they need to be controlled. The time delay between the user's head motion and the corresponding display output of the VR system might lead to adverse effects such as a reduced sense of presence or motion sickness. Additionally, high network latency among worldwide locations makes collaboration between users more difficult and leads to misunderstandings. To evaluate the performance and optimize dispersed VR solutions it is therefore important to measure those delays. In this work, a novel, easy to set up, and inexpensive method to measure local and remote system latency will be described. The measuring setup consists of a microcontroller, a microphone, a piezo buzzer, a photosensor, and a potentiometer. With these components, it is possible to measure motion-to-photon and mouth-to-ear latency of various VR systems. By using GPS-receivers for timecode-synchronization it is also possible to obtain the end-to-end delays between different worldwide locations. The described system was used to measure local and remote latencies of two HMD based distributed VR systems.


title: Geometric Realizations of Cyclically Branched Coverings over Punctured Spheres

abstract: In classical differential geometry, a central question has been whether abstract surfaces with given geometric features can be realized as surfaces in Euclidean space. Inspired by the rich theory of embedded triply periodic minimal surfaces, we seek examples of triply periodic polyhedral surfaces that have an identifiable conformal structure. In particular, we are interested in explicit cone metrics on compact Riemann surfaces that have a realization as the quotient of a triply periodic polyhedral surface. This is important as Riemann surfaces where one has equivalent descriptions are rare. We construct periodic surfaces using graph theory as an attempt to make Schoen's heuristic concept of a dual graph rigorous. We then apply the theory of cyclically branched coverings to identify the conformal type of such surfaces.


title: Dwyer--Kan homotopy theory for cyclic operads

abstract: We introduce a general definition for colored cyclic operads over a symmetric monoidal ground category, which has several appealing features. The forgetful functor from colored cyclic operads to colored operads has both adjoints, each of which is relatively simple. Explicit formulae for these adjoints allow us to lift the Cisinski--Moerdijk model structure on the category of colored operads enriched in simplicial sets to the category of colored cyclic operads enriched in simplicial sets.