title: Lensing covariance on cut sky and SPT-Planck lensing tensions

abstract: We investigate correlations induced by gravitational lensing on simulated cosmic microwave background data of experiments with an incomplete sky coverage and their effect on inferences from the South Pole Telescope data. These correlations agree well with the theoretical expectations, given by the sum of super-sample and intra-sample lensing terms, with only a typically negligible $\sim$ 5% discrepancy in the amplitude of the super-sample lensing effect. Including these effects we find that lensing constraints are in $3.0\sigma$ or $2.1\sigma$ tension between the SPT polarization measurements and Planck temperature or lensing reconstruction constraints respectively. If the lensing-induced covariance effects are neglected, the significance of these tensions increases to $3.5\sigma$ or $2.5\sigma$. Using the standard scaling parameter $A_L$ substantially underestimates the significance of the tension once other parameters are marginalized over. By parameterizing the super-sample lensing through the mean convergence in the SPT footprint, we find a hint of underdensity in the SPT region. We also constrain extra sharpening of the CMB acoustic peaks due to missing smoothing of the peaks by super-sample lenses at a level that is much smaller than the lens sample variance. Finally, we extend the usual "shift in the means" statistic for evaluating tensions to non-Gaussian posteriors, generalize an approach to extract correlation modes from noisy simulated covariance matrices, and present a treatment of correlation modes not as data covariances but as auxiliary model parameters.


title: A new spatio-temporal description of long-delayed systems: ruling the dynamics

abstract: The data generated by long-delayed dynamical systems can be organized in patterns by means of the so-called spatio-temporal representation, uncovering the role of multiple time-scales as independent degrees of freedom. However, their identification as equivalent space and time variables does not lead to a correct dynamical rule. We introduce a new framework for a proper description of the dynamics in the thermodynamic limit, providing a general avenue for the treatment of long-delayed systems in terms of partial differential equations. Such scheme is generic and does not depend on the vicinity of a super-critical bifurcation as required in previous approaches. We discuss the general validity and limit of this method and consider the exemplary cases of long-delayed excitable, bistable and Landau systems.


title: Spatially controlled electrostatic doping in graphene p-i-n junction for hybrid silicon photodiode

abstract: Sufficiently large depletion region for photocarrier generation and separation is a key factor for two-dimensional material optoelectronic devices, but few device configurations has been explored for a deterministic control of a space charge region area in graphene with convincing scalability. Here we investigate a graphene-silicon p-i-n photodiode defined in a foundry processed planar photonic crystal waveguide structure, achieving visible - near-infrared, zero-bias and ultrafast photodetection. Graphene is electrically contacting to the wide intrinsic region of silicon and extended to the p an n doped region, functioning as the primary photocarrier conducting channel for electronic gain. Graphene significantly improves the device speed through ultrafast out-of-plane interfacial carrier transfer and the following in-plane built-in electric field assisted carrier collection. More than 50 dB converted signal-to-noise ratio at 40 GHz has been demonstrated under zero bias voltage, with quantum efficiency could be further amplified by hot carrier gain on graphene-i Si interface and avalanche process on graphene-doped Si interface. With the device architecture fully defined by nanomanufactured substrate, this study is the first demonstration of post-fabrication-free two-dimensional material active silicon photonic devices.


title: Towards wafer-scale diamond nano- and quantum technologies

abstract: We investigate native nitrogen (NV) and silicon vacancy (SiV) color centers in commercially available, heteroepitaxial, wafer-sized, mm thick, single-crystal diamond. We observe single, native NV centers with a density of roughly 1 NV per $\mu m^3$ and moderate coherence time ($T_2 = 5 \mu s$) embedded in an ensemble of SiV centers. Low-temperature spectroscopy of the SiV zero phonon line fine structure witnesses high crystalline quality of the diamond especially close to the growth surface, consistent with a reduced dislocation density. Using ion implantation and plasma etching, we verify the possibility to fabricate nanostructures with shallow color centers rendering our diamond material promising for fabrication of nanoscale sensing devices. As this diamond is available in wafer-sizes up to $100 mm$ it offers the opportunity to up-scale diamond-based device fabrication.

categories: cond-mat.mtrl-sci physics.app-ph physics.optics quant-ph


title: MONAA: A Tool for Timed Pattern Matching with Automata-Based Acceleration

abstract: We present monaa, a monitoring tool over a real-time property specified by either a timed automaton or a timed regular expression. It implements a timed pattern matching algorithm that combines 1) features suited for online monitoring, and 2) acceleration by automata-based skipping. Our experiments demonstrate monaa's performance advantage, especially in online usage.


title: On The Stability of Interpretable Models

abstract: Interpretable classification models are built with the purpose of providing a comprehensible description of the decision logic to an external oversight agent. When considered in isolation, a decision tree, a set of classification rules, or a linear model, are widely recognized as human-interpretable. However, such models are generated as part of a larger analytical process. Bias in data collection and preparation, or in model's construction may severely affect the accountability of the design process. We conduct an experimental study of the stability of interpretable models with respect to feature selection, instance selection, and model selection. Our conclusions should raise awareness and attention of the scientific community on the need of a stability impact assessment of interpretable models.


title: Science with an ngVLA: Stellar Activity on Red Giant and Supergiant Stars: Mass Loss and the Evolution of the Stellar Dynamo

abstract: In this Chapter we examine the role of the ngVLA to further our understanding of the different manifestations of convective or turbulence-driven stellar activity on red giant and supergiant stars. The combination of high spatial resolution and high sensitivity will enable the ngVLA to significantly improve our understanding of the processes that dissipate energy in the extended atmospheres of cool evolved stars, and drive ubiquitous stellar outflows. The high spatial resolution will enable us to image the surfaces of nearby red supergiants, and to measure the atmospheric extent of red giants. Multi-frequency observations will permit thermal continuum tomography on the largest angular diameter stars, providing key empirical data to test theoretical models. The complementary frequencies and similar spatial resolutions of the ngVLA and ALMA will be a powerful synergy.


title: Generation of Virtual Dual Energy Images from Standard Single-Shot Radiographs using Multi-scale and Conditional Adversarial Network

abstract: Dual-energy (DE) chest radiographs provide greater diagnostic information than standard radiographs by separating the image into bone and soft tissue, revealing suspicious lesions which may otherwise be obstructed from view. However, acquisition of DE images requires two physical scans, necessitating specialized hardware and processing, and images are prone to motion artifact. Generation of virtual DE images from standard, single-shot chest radiographs would expand the diagnostic value of standard radiographs without changing the acquisition procedure. We present a Multi-scale Conditional Adversarial Network (MCA-Net) which produces high-resolution virtual DE bone images from standard, single-shot chest radiographs. Our proposed MCA-Net is trained using the adversarial network so that it learns sharp details for the production of high-quality bone images. Then, the virtual DE soft tissue image is generated by processing the standard radiograph with the virtual bone image using a cross projection transformation. Experimental results from 210 patient DE chest radiographs demonstrated that the algorithm can produce high-quality virtual DE chest radiographs. Important structures were preserved, such as coronary calcium in bone images and lung lesions in soft tissue images. The average structure similarity index and the peak signal to noise ratio of the produced bone images in testing data were 96.4 and 41.5, which are significantly better than results from previous methods. Furthermore, our clinical evaluation results performed on the publicly available dataset indicates the clinical values of our algorithms. Thus, our algorithm can produce high-quality DE images that are potentially useful for radiologists, computer-aided diagnostics, and other diagnostic tasks.


title: Fast Dual Simulation Processing of Graph Database Queries (Supplement)

abstract: Graph database query languages feature expressive, yet computationally expensive pattern matching capabilities. Answering optional query clauses in SPARQL for instance renders the query evaluation problem immediately Pspace-complete. Therefore, light-weight graph pattern matching relations, such as simulation, have recently been investigated as promising alternatives to more expensive query mechanisms like, e.g., computing subgraph isomorphism. Still, graph pattern matching alone lacks expressive query capabilities: all patterns are combined by usual join constructs, where more sophisticated capabilities would be inevitable for making solutions useful to emerging applications. In this paper we bridge this gap by introducing a new dual simulation process operating on SPARQL queries. In addition to supporting the full syntactic structure of SPARQL queries, it features polynomial-time pattern matching to compute an overapproximation of query results from the database. Moreover, to achieve runtimes competing with state-of-the-art database systems, we develop a novel algorithmic solution to dual simulation graph pattern matching, based on a system of inequalities that allows for several optimization heuristics. Finally, we achieve soundness of our process for SPARQL queries including UNION, AND and OPTIONAL operators not restricted to well-designed patterns. Our experiments on synthetic and real-world graph data promise a clear gain for graph database systems when incorporating the new dual simulation techniques. In this supplement paper we present in detail all proofs, discussions of experimental results, and complexity analysis for the original paper "Fast Dual Simulation Processing of Graph Database Queries" included in the Proceedings of the 35th IEEE International Conference on Data Engineering (ICDE 2019), Macau, China.


title: Lattice models and Monte Carlo methods for simulating DNA origami self-assembly

abstract: The optimal design of DNA origami systems that assemble rapidly and robustly is hampered by the lack of a model for self-assembly that is sufficiently detailed yet computationally tractable. Here, we propose a model for DNA origami that strikes a balance between these two criteria by representing these systems on a lattice at the level of binding domains. The free energy of hybridization between individual binding domains is estimated with a nearest-neighbour model. Double helical segments are treated as rigid rods, but we allow flexibility at points where the backbone of one of the strands is interrupted, which provides a reasonably realistic representation of partially and fully assembled states. Particular attention is paid to the constraints imposed by the double helical twist, as they determine where strand crossovers between adjacent helices can occur. To improve the efficiency of sampling configuration space, we develop Monte Carlo methods for sampling scaffold conformations in near-assembled states, and we carry out simulations in the grand canonical ensemble, enabling us to avoid considering states with unbound staples. We demonstrate that our model can quickly sample assembled configurations of a small origami design previously studied with the oxDNA model, as well as a design with staples that span longer segments of the scaffold. The sampling ability of our method should allow for good statistics to be obtained when studying the assembly pathways, and is suited to investigating in particular the effects of design and assembly conditions on these pathways and their resulting final assembled structures.


title: Noise Pulsing of Narrow-Band ASE from Erbium-Doped Fiber Amplifier

abstract: In this paper, we report an experimental study of noise features of polarized and unpolarized amplified spontaneous emission (ASE) with narrow optical bandwidth, registered from a conventional low-doped erbium fiber. We demonstrate that ASE noise can be considered as train of Gaussian-like pulses with random magnitudes, widths, and inter- pulse intervals. The statistical properties of these three parameters of noise pulsing are analyzed. We also present the results on the influence of ASE noise upon optical spectrum broadening, produced by self-phase modulation at propagating along communication fiber, and demonstrate that ASE noise derivation stands behind the broadening shaping.


title: Magnetic properties of a long-lived sunspot - Vertical magnetic field at the umbral boundary

abstract: Context. In a recent statistical study of sunspots in 79 active regions, the vertical magnetic field component $B_\text{ver}$ averaged along the umbral boundary is found to be independent of sunspot size. The authors of that study conclude that the absolute value of $B_\text{ver}$ at the umbral boundary is the same for all spots. Aims. We investigate the temporal evolution of $B_\text{ver}$ averaged along the umbral boundary of one long-lived sunspot during its stable phase. Methods. We analysed data from the HMI instrument on-board SDO. Contours of continuum intensity at $I_\text{c}=0.5I_\text{qs}$, whereby $I_\text{qs}$ refers to the average over the quiet sun areas, are used to extract the magnetic field along the umbral boundary. Projection effects due to different formation heights of the Fe I 617.3 nm line and continuum are taken into account. To avoid limb artefacts, the spot is only analysed for heliocentric angles smaller than $60^{\circ}$. Results. During the first disc passage, NOAA AR 11591, $B_\text{ver}$ remains constant at 1693 G with a root-mean-square deviation of 15 G, whereas the magnetic field strength varies substantially (mean 2171 G, rms of 48 G) and shows a long term variation. Compensating for formation height has little influence on the mean value along each contour, but reduces the variations along the contour when away from disc centre, yielding a better match between the contours of $B_\text{ver}=1693$ G and $I_\text{c}=0.5I_\text{qs}$. Conclusions. During the disc passage of a stable sunspot, its umbral boundary can equivalently be defined by using the continuum intensity $I_\text{c}$ or the vertical magnetic field component $B_\text{ver}$. Contours of fixed magnetic field strength fail to outline the umbral boundary.


title: Weighted Super Poincare Inequalities for Infinite-Dimensional Extension of the Dirichlet Distribution

abstract: For the infinite-dimensional extension of the Dirichlet distribution, the super Poincare inequality does not hold based on the result in [14], so we establish the weighted super Poincare inequalities for this measure with respect to two different Dirichlet forms respectively.


title: Enabling Efficient RDMA-based Synchronous Mirroring of Persistent Memory Transactions

abstract: Synchronous Mirroring (SM) is a standard approach to building highly-available and fault-tolerant enterprise storage systems. SM ensures strong data consistency by maintaining multiple exact data replicas and synchronously propagating every update to all of them. Such strong consistency provides fault tolerance guarantees and a simple programming model coveted by enterprise system designers. For current storage devices, SM comes at modest performance overheads. This is because performing both local and remote updates simultaneously is only marginally slower than performing just local updates, due to the relatively slow performance of accesses to storage in today's systems. However, emerging persistent memory and ultra-low-latency network technologies necessitate a careful re-evaluation of the existing SM techniques, as these technologies present fundamentally different latency characteristics compared than their traditional counterparts. In addition to that, existing low-latency network technologies, such as Remote Direct Memory Access (RDMA), provide limited ordering guarantees and do not provide durability guarantees necessary for SM. To evaluate the performance implications of RDMA-based SM, we develop a rigorous testing framework that is based on emulated persistent memory. Our testing framework makes use of two different tools: (i) a configurable microbenchmark and (ii) a modified version of the WHISPER benchmark suite, which comprises a set of common cloud applications. Using this framework, we find that recently proposed RDMA primitives, such as remote commit, provide correctness guarantees, but do not take full advantage of the asynchronous nature of RDMA hardware. To this end, we propose new primitives enabling efficient and correct SM over RDMA, and use these primitives to develop two new techniques delivering high-performance SM of persistent memories.


title: ensmallen: a flexible C++ library for efficient function optimization

abstract: We present ensmallen, a fast and flexible C++ library for mathematical optimization of arbitrary user-supplied functions, which can be applied to many machine learning problems. Several types of optimizations are supported, including differentiable, separable, constrained, and categorical objective functions. The library provides many pre-built optimizers (including numerous variants of SGD and Quasi-Newton optimizers) as well as a flexible framework for implementing new optimizers and objective functions. Implementation of a new optimizer requires only one method and a new objective function requires typically one or two C++ functions. This can aid in the quick implementation and prototyping of new machine learning algorithms. Due to the use of C++ template metaprogramming, ensmallen is able to support compiler optimizations that provide fast runtimes. Empirical comparisons show that ensmallen is able to outperform other optimization frameworks (like Julia and SciPy), sometimes by large margins. The library is distributed under the BSD license and is ready for use in production environments.


title: The scale of cosmic homogeneity as a standard ruler

abstract: In this paper, we study the characteristic scale of transition to cosmic homogeneity of the universe, $\mathcal{R}_H$, as a standard ruler, to constrain cosmological parameters on mock galaxy catalogues. We use mock galaxy catalogues that simulate the CMASS galaxy sample of the BOSS survey in the redshift range $0.43 \leq z \leq 0.7$. In each redshift bin we obtain the homogeneity scale, defined as the scale at which the universe becomes homogeneous to $1\%$, i.e. $D_2(\mathcal{R}_H) = 2.97$. With a simple Fisher analysis, we find that the performance of measuring the cosmological parameters with either the position of the BAO peak or the homogeneity scale is comparable. We show that $\mathcal{R}_H$ has a dependence on the galaxy bias. If the accuracy and precision of this bias is achieved to $1\%$, as expected for future surveys, then $\mathcal{R}_H$ is a competitive standard ruler.


title: Quasar main sequence in the UV plane

abstract: Active galaxies form a clear pattern in the optical plane showing the correlation between the Full Width Half Maximum (FWHM) of the H$\beta$ line and the ratio of the Equivalent Width (EW) of the optical FeII emission and the EW(H$\beta$). This pattern is frequently refereed to as the quasar main sequence. In this paper we study the UV plane showing FWHM of the MgII line against the ratio of EW of UV FeII emission to EW(MgII). We show that the UV plane trends are different, with the underlying strong correlation between FWHM(MgII) and EW(MgII). This correlation is entirely driven by the choice of the continuum used to measure EW(MgII). If we correct for the strong curvature in the UV continuum related to the character of emission expected from accretion disk, the behavior of the FWHM vs. EW for MgII becomes similar to the behaviour of H$\beta$. Such a similarity is expected since both lines belong to the Low Ionization group of emission lines and come from a similar region. Such a similarity and weak coupling between FWHM and EW of the corresponding line is then also consistent with the Broad Line Region model based on the presence of dust in the accretion disk atmosphere.


title: Bubble Networks: Framed Discrete Geometry for Quantum Gravity

abstract: In the context of canonical quantum gravity in 3+1 dimensions, we introduce a new notion of bubble network that represents discrete 3d space geometries. These are natural extensions of twisted geometries, which represent the geometrical data underlying loop quantum geometry and are defined as networks of SU(2) holonomies. In addition to the SU(2) representations encoding the geometrical flux, the bubble network links carry a compatible SL(2,R) representation encoding the discretized frame field which composes the flux. In contrast with twisted geometries, this extra data allows to reconstruct the frame compatible with the flux unambiguously. At the classical level this data represents a network of 3d geometrical cells glued together. The SL(2,R) data contains information about the discretized 2d metrics of the interfaces between 3d cells and SL(2,R) local transformations are understood as the group of area-preserving diffeomorphisms. We further show that the natural gluing condition with respect to this extended group structure ensures that the intrinsic 2d geometry of a boundary surface is the same from the viewpoint of the two cells sharing it. At the quantum level this gluing corresponds to a maximal entanglement along the network edges. We emphasize that the nature of this extension of twisted geometries is compatible with the general analysis of gauge theories that predicts edge mode degrees of freedom at the interface of subsystems.


title: Coupled Longitudinal and Lateral Control of a Vehicle using Deep Learning

abstract: This paper explores the capability of deep neural networks to capture key characteristics of vehicle dynamics, and their ability to perform coupled longitudinal and lateral control of a vehicle. To this extent, two different artificial neural networks are trained to compute vehicle controls corresponding to a reference trajectory, using a dataset based on high-fidelity simulations of vehicle dynamics. In this study, control inputs are chosen as the steering angle of the front wheels, and the applied torque on each wheel. The performance of both models, namely a Multi-Layer Perceptron (MLP) and a Convolutional Neural Network (CNN), is evaluated based on their ability to drive the vehicle on a challenging test track, shifting between long straight lines and tight curves. A comparison to conventional decoupled controllers on the same track is also provided.


title: Description of Incomplete Financial Markets for the Discrete Time Evolution of Risk Assets

abstract: In the paper, the martingales and super-martingales relative to a regular set of measures are systematically studied. The notion of local regular super-martingale relative to a set of equivalent measures is introduced and the necessary and sufficient conditions of the local regularity of it in the discrete case are founded. The regular set of measures play fundamental role for the description of incomplete markets. In the partial case, the description of the regular set of measures is presented. The notion of completeness of the regular set of measures have the important significance for the simplification of the proof of the optional decomposition for super-martingales. Using this notion, the important inequalities for some random values are obtained. These inequalities give the simple proof of the optional decomposition of the majorized super-martingales. The description of all local regular super-martingales relative to the regular set of measures is presented. It is proved that every majorized super-martingale relative to the complete set of measures is a local regular one. In the case, as evolution of a risk asset is given by the discrete geometric Brownian motion, the financial market is incomplete and a new formula for the fair price of super-hedge is founded.


title: Canonicity and normalisation for Dependent Type Theory

abstract: We show canonicity and normalization for dependent type theory with a cumulative sequence of universes and a type of Boolean. The argument follows the usual notion of reducibility, going back to Godel's Dialectica interpretation and the work of Tait. A key feature of our approach is the use of a proof relevant notion of reducibility.


title: On two Diophantine inequalities over primes (II)

abstract: Let $1<c<\frac{26088036}{12301745},c\not=2$ and $N$ be a sufficiently large real number. In this paper, it is proved that, for almost all $R\in (N,2N]$, the Diophantine inequality \begin{equation*} \big|p_1^c+p_2^c+p_3^c-R\big|<\log^{-1}N \end{equation*} is solvable in primes $p_1,p_2,p_3$. Moreover, we also prove that the following Diophantine inequality \begin{equation*} \big|p_1^c+p_2^c+p_3^c+p_4^c+p_5^c+p_6^c-N\big|<\log^{-1}N \end{equation*} is solvable in prime variables $p_1,p_2,p_3,p_4,p_5,p_6$, which improves the previous result $1<c<\frac{37}{18},c\neq2$.


title: Brain Tumor Image Retrieval via Multitask Learning

abstract: Classification-based image retrieval systems are built by training convolutional neural networks (CNNs) on a relevant classification problem and using the distance in the resulting feature space as a similarity metric. However, in practical applications, it is often desirable to have representations which take into account several aspects of the data (e.g., brain tumor type and its localization). In our work, we extend the classification-based approach with multitask learning: we train a CNN on brain MRI scans with heterogeneous labels and implement a corresponding tumor image retrieval system. We validate our approach on brain tumor data which contains information about tumor types, shapes and localization. We show that our method allows us to build representations that contain more relevant information about tumors than single-task classification-based approaches.


title: On the Atkin and Swinnerton-Dyer type congruences for some truncated hypergeometric ${}_1F_0$ series

abstract: Let $p$ be an odd prime and let $n$ be a positive integer. For any positive integer $\alpha$ and $m\in\{1,2,3\}$, we have \begin{align*} \sum_{k=0}^{p^{\alpha}n-1}\frac{(\frac12)_k}{k!}\cdot\frac{(-4)^k}{m^k}\equiv\bigg(\frac{m(m-4)}{p}\bigg)\sum_{k=0}^{p^{\alpha-1}n-1}\frac{(\frac12)_k}{k!}\cdot\frac{(-4)^k}{m^k}\pmod{p^{2\alpha}}, \end{align*} where $(x)_k=x(x+1)\cdots(x+k-1)$ and $\big(\frac{\cdot}{\cdot}\big)$ denotes the Legendre symbol. Also, when $m=4$, \begin{align*} \sum_{k=0}^{p^{\alpha}n-1}(-1)^k\cdot\frac{(\frac12)_k}{k!}\equiv p\sum_{k=0}^{p^{\alpha-1}n-1}(-1)^k\cdot\frac{(\frac12)_k}{k!}\pmod{p^{2\alpha}}. \end{align*}


title: Efficiency of harmonic quantum Otto engines at maximal power

abstract: Recent experimental breakthroughs produced the first nano heat engines that have the potential to harness quantum resources. An instrumental question is how their performance measures up against the efficiency of classical engines. For single ion engines undergoing quantum Otto cycles it has been found that the efficiency at maximal power is given by the Curzon-Ahlborn efficiency. This is rather remarkable as the Curzon-Alhbron efficiency was originally derived for endoreversible Carnot cycles. Here, we analyze two examples of endoreversible Otto engines within the same conceptual framework as Curzon and Ahlborn's original treatment. We find that for endoreversible Otto cycles in classical harmonic oscillators the efficiency at maximal power is, indeed, given by the Curzon-Ahlborn efficiency. However, we also find that the efficiency of Otto engines made of quantum harmonic oscillators is significantly larger.


title: Multiple nonradial solutions for a nonlinear elliptic radial problem: an improved result

abstract: We obtain an improved version of a recent result concerning the existence of nonnegative nonradial solutions $u\in D^{1,2}(\mathbb{R}^{N})\cap L^{2}(\mathbb{R}^{N},\left| x\right| ^{-\alpha }dx)$ to the equation \[ -\triangle u+\displaystyle\frac{A}{\left| x\right| ^{\alpha }}u=f\left( u\right) \quad \text{in }\mathbb{R}^{N},\quad N\geq 3,\quad A,\alpha >0, \] where $f$ is a continuous nonlinearity satisfying $f\left( 0\right) =0$.


title: Symmetric multilinear forms on Hilbert spaces: where do they attain their norm?

abstract: We characterize the sets of norm one vectors $\mathbf{x}_1,\ldots,\mathbf{x}_k$ in a Hilbert space $\mathcal H$ such that there exists a $k$-linear symmetric form attaining its norm at $(\textbf{x}_1,\ldots,\mathbf{x}_k)$. We prove that in the bilinear case, any two vectors satisfy this property. However, for $k\ge 3$ only collinear vectors satisfy this property in the complex case, while in the real case this is equivalent to $\mathbf{x}_1,\ldots,\mathbf{x}_k$ spanning a subspace of dimension at most 2. We use these results to obtain some applications to symmetric multilinear forms, symmetric tensor products and the exposed points of the unit ball of $\mathcal L_s(^k\mathcal{H})$.


title: Derivation of 3D energy-critical nonlinear Schr\"odinger equation and Bogoliubov excitations for Bose gases

abstract: We derive the 3D quintic NLS as the mean field limit of a Bose gas with three-body interactions. The quintic NLS is energy-critical, leading to several new difficulties in comparison with the cubic NLS which emerges from Bose gases with pair-interactions. Our method is based on Bogoliubov's approximation, which also provides the information on the fluctuations around the condensate in terms of a norm approximation for the N-body wave function.


title: Stochastic wave equation with thermal noise in an expanding universe

abstract: We discuss Einstein-Klein-Gordon system in an environment of an infinite number of scalar fields leading to an external thermal noise. In the lowest order of metric and field perturbations the quadratic fluctuations consist of a sum of quantum and thermal fluctuations. We show that these fluctuations depend on the form of the interaction of the inflaton with the environment.


title: Data Motif-based Proxy Benchmarks for Big Data and AI Workloads

abstract: For the architecture community, reasonable simulation time is a strong requirement in addition to performance data accuracy. However, emerging big data and AI workloads are too huge at binary size level and prohibitively expensive to run on cycle-accurate simulators. The concept of data motif, which is identified as a class of units of computation performed on initial or intermediate data, is the first step towards building proxy benchmark to mimic the real-world big data and AI workloads. However, there is no practical way to construct a proxy benchmark based on the data motifs to help simulation-based research. In this paper, we embark on a study to bridge the gap between data motif and a practical proxy benchmark. We propose a data motif-based proxy benchmark generating methodology by means of machine learning method, which combine data motifs with different weights to mimic the big data and AI workloads. Furthermore, we implement various data motifs using light-weight stacks and apply the methodology to five real-world workloads to construct a suite of proxy benchmarks, considering the data types, patterns, and distributions. The evaluation results show that our proxy benchmarks shorten the execution time by 100s times on real systems while maintaining the average system and micro-architecture performance data accuracy above 90%, even changing the input data sets or cluster configurations. Moreover, the generated proxy benchmarks reflect consistent performance trends across different architectures. To facilitate the community, we will release the proxy benchmarks on the project homepage http://prof.ict.ac.cn/BigDataBench.


title: Predictive Linguistic Features of Schizophrenia

abstract: Schizophrenia is one of the most disabling and difficult to treat of all human medical/health conditions, ranking in the top ten causes of disability worldwide. It has been a puzzle in part due to difficulty in identifying its basic, fundamental components. Several studies have shown that some manifestations of schizophrenia (e.g., the negative symptoms that include blunting of speech prosody, as well as the disorganization symptoms that lead to disordered language) can be understood from the perspective of linguistics. However, schizophrenia research has not kept pace with technologies in computational linguistics, especially in semantics and pragmatics. As such, we examine the writings of schizophrenia patients analyzing their syntax, semantics and pragmatics. In addition, we analyze tweets of (self pro-claimed) schizophrenia patients who publicly discuss their diagnoses. For writing samples dataset, syntactic features are found to be the most successful in classification whereas for the less structured Twitter dataset, a combination of features performed the best.


title: biggy: An Implementation of Unified Framework for Big Data Management System

abstract: Various tools, softwares and systems are proposed and implemented to tackle the challenges in big data on different emphases, e.g., data analysis, data transaction, data query, data storage, data visualization, data privacy. In this paper, we propose datar, a new prospective and unified framework for Big Data Management System (BDMS) from the point of system architecture by leveraging ideas from mainstream computer structure. We introduce five key components of datar by reviewing the cur- rent status of BDMS. Datar features with configuration chain of pluggable engines, automatic dataflow on job pipelines, intelligent self-driving system management and interactive user interfaces. Moreover, we present biggy as an implementation of datar with manipulation details demonstrated by four running examples. Evaluations on efficiency and scalability are carried out to show the performance. Our work argues that the envisioned datar is a feasible solution to the unified framework of BDMS, which can manage big data pluggablly, automatically and intelligently with specific functionalities, where specific functionalities refer to input, storage, computation, control and output of big data.


title: Linguistic Legal Concept Extraction in Portuguese

abstract: This work investigates legal concepts and their expression in Portuguese, concentrating on the "Order of Attorneys of Brazil" Bar exam. Using a corpus formed by a collection of multiple-choice questions, three norms related to the Ethics part of the OAB exam, language resources (Princeton WordNet and OpenWordNet-PT) and tools (AntConc and Freeling), we began to investigate the concepts and words missing from our repertory of concepts and words in Portuguese, the knowledge base OpenWordNet-PT. We add these concepts and words to OpenWordNet-PT and hence obtain a representation of these texts that is "contained" in the lexical knowledge base.


title: Homotopy type of the complex of free factors of a free group

abstract: We show that the complex of free factors of a free group of rank n > 1 is homotopy equivalent to a wedge of spheres of dimension n-2. We also prove that for n > 1, the complement of (unreduced) Outer space in the free splitting complex is homotopy equivalent to the complex of free factor systems and moreover is (n-2)-connected. In addition, we show that for every non-trivial free factor system of a free group, the corresponding relative free splitting complex is contractible.


title: Unsupervised Learning of Shape and Pose with Differentiable Point Clouds

abstract: We address the problem of learning accurate 3D shape and camera pose from a collection of unlabeled category-specific images. We train a convolutional network to predict both the shape and the pose from a single image by minimizing the reprojection error: given several views of an object, the projections of the predicted shapes to the predicted camera poses should match the provided views. To deal with pose ambiguity, we introduce an ensemble of pose predictors which we then distill to a single "student" model. To allow for efficient learning of high-fidelity shapes, we represent the shapes by point clouds and devise a formulation allowing for differentiable projection of these. Our experiments show that the distilled ensemble of pose predictors learns to estimate the pose accurately, while the point cloud representation allows to predict detailed shape models. The supplementary video can be found at https://www.youtube.com/watch?v=LuIGovKeo60


title: Atiyah class and sheaf counting on local Calabi Yau fourfolds

abstract: We discuss Donaldson-Thomas (DT) invariants of torsion sheaves with 2 dimensional support on a smooth projective surface in an ambient non-compact Calabi Yau fourfold given by the total space of a rank 2 bundle on the surface. We prove that in certain cases, when the rank 2 bundle is chosen appropriately, the universal truncated Atiyah class of these codimension 2 sheaves reduces to one, defined over the moduli space of such sheaves realized as torsion codimension 1 sheaves in a noncompact divisor (threefold) embedded in the ambient fourfold. Such reduction property of universal Atiyah class enables us to relate our fourfold DT theory to a reduced DT theory of a threefold and subsequently then to the moduli spaces of sheaves on the base surface using results in arXiv:1701.08899 and arXiv:1701.08902 and . We finally make predictions about modularity of such fourfold invariants when the base surface is an elliptic K3.


title: A letter concerning Leonetti's paper `Continuous Projections onto Ideal Convergent Sequences'

abstract: Leonetti proved that whenever $\mathcal I$ is an ideal on $\mathbb N$ such that there exists an~uncountable family of sets that are not in $\mathcal I$ with the property that the intersection of any two distinct members of that family is in $\mathcal I$, then the space $c_{0,\mathcal I}$ of sequences in $\ell_\infty$ that converge to 0 along $\mathcal I$ is not complemented. We provide a shorter proof of a more general fact that the quotient space $\ell_\infty / c_{0,\mathcal I}$ does not even embed into $\ell_\infty$.


title: Connecting Lyapunov Vectors with the Pattern Dynamics of Chaotic Rayleigh-B\'enard Convection

abstract: We explore the chaotic dynamics of Rayleigh-B\'enard convection using large-scale, parallel numerical simulations for experimentally accessible conditions. We quantify the connections between the spatiotemporal dynamics of the leading-order Lyapunov vector and different measures of the flow field pattern's topology and dynamics. We use a range of pattern diagnostics to describe the spatiotemporal features of the flow field structures which includes many of the traditional diagnostics used to describe convection as well as some diagnostics tailored to capture the dynamics of the patterns. Using precision-recall curves, we quantify the complex relationship between the pattern diagnostics and the regions where the magnitude of the leading-order Lyapunov vector is significant.


title: Enhancement of dielectric properties of lead-free BCZT ferroelectric ceramics by grain size engineering

abstract: Lead-free Ba0.85Ca0.15Ti0.9Zr0.1O3 (BCZT) ceramics had attracted much attention for the fabrication of microelectronic devices by virtue of their excellent dielectric, ferroelectric and piezoelectric properties. To understand the effects of both mean grain size and grain size distribution on the dielectric properties of lead-free Ba0.85Ca0.15Ti0.9Zr0.1O3 (BCZT) ferroelectric relaxors, an original method was proposed. It is based on the surfactant-assisted solvothermal processing coupled with low-temperature conventional sintering at 1250 {\deg}C. In this way, three highly dense BCZT with different mean grain size and dissimilar grain size distribution were designed. A significant increase of dielectric properties was obtained by a control of grain size and densification process. The dielectric constants measured were ranged from 5370 to 9646 and the dielectric loss was enhanced by 70%. Surprisingly, it was evidenced that there is unequivocal link between mean grain size with dielectric properties. Indeed, it was found that the presence of high density of refined grains leads to an improvement of dielectric properties due to an enhancement of densification. This work may provide a new strategy to design ferroelectric materials with enhanced properties.


title: Hyperfinite Construction of $G$-expectation

abstract: The hyperfinite $G$-expectation is a nonstandard discrete analogue of $G$-expectation (in the sense of Robinsonian nonstandard analysis). A lifting of a continuous-time $G$-expectation operator is defined as a hyperfinite $G$-expectation which is infinitely close, in the sense of nonstandard topology, to the continuous-time $G$-expectation. We develop the basic theory for hyperfinite $G$-expectations and prove an existence theorem for liftings of (continuous-time) $G$-expectation. For the proof of the lifting theorem, we use a new discretization theorem for the $G$-expectation (also established in this paper, based on the work of Dolinsky et al. [Weak approximation of $G$-expectations, Stoch. Proc. Appl. 122(2), (2012), pp.664--675]).


title: An Action for Extended String Newton-Cartan Gravity

abstract: We construct an action for four-dimensional extended string Newton-Cartan gravity which is an extension of the string Newton-Cartan gravity that underlies nonrelativistic string theory. The action can be obtained as a nonrelativistic limit of the Einstein-Hilbert action in General Relativity augmented with a term that contains an auxiliary two-form and one-form gauge field that both have zero flux on-shell. The four-dimensional extended string Newton-Cartan gravity is based on a central extension of the algebra that underlies string Newton-Cartan gravity. The construction is similar to the earlier construction of a three-dimensional Chern-Simons action for extended Newton-Cartan gravity, which is based on a central extension of the algebra that underlies Newton-Cartan gravity. We show that this three-dimensional action is naturally obtained from the four-dimensional action by a reduction over the spatial isometry direction longitudinal to the string followed by a truncation of the extended string Newton-Cartan gravity fields. Our construction can be seen as a special case of the construction of an action for extended p-brane Newton-Cartan gravity in p+3 dimensions.


title: Matching renormalisable couplings: simple schemes and a plot

abstract: We discuss different choices that can be made when matching a general high-energy theory -- with the restriction that it should not contain heavy gauge bosons -- onto a general renormalisable effective field theory at one loop, with particular attention to the quartic scalar couplings and Yukawa couplings. This includes a generalisation of the counterterm scheme that was found to be useful in the case of high-scale/split supersymmetry, but we show the important differences when there are new heavy scalar fields in singlet or triplet representations of $SU(2)$. We also analytically compare our methods and choices with the approach of matching pole masses, proving the equivalence with one of our choices. We outline how to make the extraction of quartic couplings using pole masses more efficient, an approach that we hope will generalise beyond one loop. We give examples of the impact of different scheme choices in a toy model; we also discuss the MSSM and give the threshold corrections to the Higgs quartic coupling in Dirac gaugino models.


title: Paravectors and the Geometry of 3D Euclidean Space

abstract: We introduce the concept of paravectors to describe the geometry of points in a three dimensional space. After defining a suitable product of paravectors, we introduce the concepts of biparavectors and triparavectors to describe line segments and plane fragments in this space. A key point in this product of paravectors is the notion of the orientation of a point, in such a way that biparavectors representing line segments are the result of the product of points with opposite orientations. Incidence relations can also be formulated in terms of the product of paravectors. To study the transformations of points, lines, and planes, we introduce an algebra of transformations that is analogous to the algebra of creation and annihilation operators in quantum theory. The paravectors, biparavectors and triparavectors are mapped into this algebra and their transformations are studied; we show that this formalism describes in an unified way the operations of reflection, rotations (circular and hyperbolic), translation, shear and non-uniform scale transformation. Using the concept of Hodge duality, we define a new operation called cotranslation, and show that the operation of perspective projection can be written as a composition of the translation and cotranslation operations. We also show that the operation of pseudo-perspective can be implemented using the cotranslation operation.


title: A minimax near-optimal algorithm for adaptive rejection sampling

abstract: Rejection Sampling is a fundamental Monte-Carlo method. It is used to sample from distributions admitting a probability density function which can be evaluated exactly at any given point, albeit at a high computational cost. However, without proper tuning, this technique implies a high rejection rate. Several methods have been explored to cope with this problem, based on the principle of adaptively estimating the density by a simpler function, using the information of the previous samples. Most of them either rely on strong assumptions on the form of the density, or do not offer any theoretical performance guarantee. We give the first theoretical lower bound for the problem of adaptive rejection sampling and introduce a new algorithm which guarantees a near-optimal rejection rate in a minimax sense.


title: A neuro-inspired architecture for unsupervised continual learning based on online clustering and hierarchical predictive coding

abstract: We propose that the Continual Learning desiderata can be achieved through a neuro-inspired architecture, grounded on Mountcastle's cortical column hypothesis. The proposed architecture involves a single module, called Self-Taught Associative Memory (STAM), which models the function of a cortical column. STAMs are repeated in multi-level hierarchies involving feedforward, lateral and feedback connections. STAM networks learn in an unsupervised manner, based on a combination of online clustering and hierarchical predictive coding. This short paper only presents the architecture and its connections with neuroscience. A mathematical formulation and experimental results will be presented in an extended version of this paper.


title: Graded rings of integral Jacobi forms

abstract: We determine the structure of the bigraded ring of weak Jacobi forms with integral Fourier coefficients. This ring is the target ring of a map generalising the Witten and elliptic genera and a partition function of $(0,2)$-model in string theory. We also determine the structure of the graded ring of all weakly holomorphic Jacobi forms of weight zero and integral index with integral Fourier coefficients. These forms are the data for Borcherds products for the Siegel paramodular groups.


title: A proposal on complementary determination of the electro-weak mixing angles ${\rm sin^2\theta_W}$ at a super Z-factory

abstract: A proposal on determination of the effective electro-weak mixing angle ${\rm sin^2\theta_{eff}^f\;(f=c,b)}$ at a super Z-factory (an $e^+e^-$ collider designed with the possible highest luminosity and running around the center mass energy $\sqrt s=m_Z$) is proposed. It is to determine how the effective mixing angles depend on the flavors, especially the flavors $c$, $b$ (with the determined effective ones, the electro-weak mixing angles ${\rm sin^2\theta_W^f\;(f=c,b)}$ of Standard Model can be derived out precisely). The key point of the proposal is that at such a super Z-factory, via measuring the forward-backward ($A_{FB}$), left-right ($A_{LR}$) and combined left-right forward-backward ($A^{FB}_{LR}$) asymmetries of the produced doubly heavy-flavored hadrons (such as $B_c$, $B_c^*$ and the baryons $H_{QQ'q}$: $\Xi_{cc}$, $\Xi_{bc}$ and $\Xi_{bb}$ etc) in the relevant production processes $e^+e^-\to B_c+\cdots$ and $e^+e^-\to H_{QQ'q}+\cdots$ one may complement the final determination of the mixing angle ${\rm sin^2\theta_W^f\;(f=c,b)}$ of Standard Model. The advantage of the proposed way to determine the effective electro-weak mixing angles is that the doubly heavy flavor(s) and the out-going direction of the produced doubly-heavy hadron can be experimental determined precisely, i.e. there are no such errors caused by missing identification of the heavy flavor(s) and by determining the so-called thrust axis of the produced jets, which can not be avoided in the early determination at LEP-I and SLC.


title: The Curious Case of Swift J1753.5-0127: A Black Hole Low-mass X-ray Binary Analogue to Z Cam Type Dwarf Novae

abstract: Swift J1753.5-0127 (J1753) is a candidate black hole low-mass X-ray binary (BH-LMXB) that was discovered in outburst in May 2005. It remained in outburst for $\sim12$ years, exhibiting a wide range of variability on various timescales, before entering quiescence after two short-lived, low-luminosity "mini-outbursts" in April 2017. The unusually long outburst duration in such a short-period ($P_{\rm orb}\approx3.24$ hrs) source, and complex variability observed during this outburst period, challenges the predictions of the widely accepted disc-instability model, which has been shown to broadly reproduce the behaviour of LMXB systems well. The long-term behaviour observed in J1753 is reminiscent of the Z Cam class of dwarf novae, whereby variable mass transfer from the companion star drives unusual outbursts, characterized by stalled decays and abrupt changes in luminosity. Using sophisticated modelling of the multi-wavelength light curves and spectra of J1753, during the $\sim12$ years the source was active, we investigate the hypothesis that periods of enhanced mass transfer from the companion star may have driven this unusually long outburst. Our modelling suggests that J1753 is in fact a BH-LMXB analogue to Z Cam systems, where the variable mass transfer from the companion star is driven by the changing irradiation properties of the system, affecting both the disc and companion star.


title: Measurements of $e^+e^- \to K_{S}^{0}K^{\pm}\pi^{\mp}\pi^0$ and $K_{S}^{0}K^{\pm}\pi^{\mp}\eta$ at center-of-mass energies from $3.90$ to $4.60~\mathrm{GeV}$

abstract: Using $5.2 \ \mathrm{fb}^{-1}$ $e^+ e^-$ annihilation data samples collected with the BESIII detector, we measure the cross sections of $e^+e^- \to K_S^0 K^\pm \pi^\mp \pi^0$ and $K_{S}^{0}K^{\pm}\pi^{\mp}\eta$ at center-of-mass energies from $3.90$ to $4.60$ GeV. In addition, we search for the charmonium-like resonance $Y(4260)$ decays into $K_{S}^{0}K^{\pm}\pi^{\mp}\pi^0$ and $K_{S}^{0}K^{\pm}\pi^{\mp}\eta$, and $Z_c^{0,\pm}(3900)$ decays into $K_{S}^{0}K^{\pm}\pi^{\mp,0}$ and $K_{S}^{0}K^{\pm}\eta$. Corresponding upper limits are provided since no clear signal is observed.


title: On first integrals admitting asymptotic expansion for holomorphic foliations in dimension two

abstract: In this paper we study the dynamics of a holomorphic vector field near a singular point in dimension two using asymptotic expansion techniques. We consider a holomorphic vector field admitting first integrals in small sectors with nonzero asymptotic expansion. Under some natural hypotheses we prove the existence of a holomorphic first integral.


title: Global Closed-form Approximation of Free Boundary for Optimal Investment Stopping Problems

abstract: In this paper we study a utility maximization problem with both optimal control and optimal stopping in a finite time horizon. The value function can be characterized by a variational equation that involves a free boundary problem of a fully nonlinear partial differential equation. Using the dual control method, we derive the asymptotic properties of the dual value function and the associated dual free boundary for a class of utility functions, including power and non-HARA utilities. We construct a global closed-form approximation to the dual free boundary, which greatly reduces the computational cost. Using the duality relation, we find the approximate formulas for the optimal value function, trading strategy, and exercise boundary for the optimal investment stopping problem. Numerical examples show the approximation is robust, accurate and fast.


title: Nonhomogeneous Euclidean first-passage percolation and distance learning

abstract: Consider an i.i.d. sample from an unknown density function supported on an unknown manifold embedded in a high dimensional Euclidean space. We tackle the problem of learning a distance between points, able to capture both the geometry of the manifold and the underlying density. We prove the convergence of this microscopic distance, as the sample size goes to infinity, to a macroscopic one that we call Fermat distance as it minimizes a path functional, resembling Fermat principle in optics. The proof boils down to the study of geodesics in Euclidean first-passage percolation for nonhomogeneous Poisson point processes.


title: Towards a context-dependent numerical data quality evaluation framework

abstract: This paper focuses on numeric data, with emphasis on distinct characteristics like varying significance, unstructured format, mass volume and real-time processing. We propose a novel, context-dependent valuation framework specifically devised to assess quality in numeric datasets. Our framework uses eight relevant data quality dimensions, and provide a simple metric to evaluate dataset quality along each dimension. We argue that the proposed set of dimensions and corresponding metrics adequately captures the unique quality antipatterns that are typically associated with numerical data. The introduction of our framework is part of a wider research effort that aims at developing an articulated numerical data quality improvement approach for Oil and Gas exploration and production workflows that is based on artificial intelligence techniques.


title: Searching for New Long Lived Particles in Heavy Ion Collisions at the LHC

abstract: We show that heavy ion collisions at the LHC provide a promising environment to search for new long lived particles in well-motivated New Physics scenarios. One advantage lies in the possibility to operate the main detectors with looser triggers, which can increase the number of observable events by orders of magnitude if the long lived particles are produced with low transverse momentum. In addition, the absence of pileup in heavy ion collisions can avoid systematic nuisances that will be present in future proton runs, such as the problem of vertex mis-identification. Finally, there are new production mechanisms that are absent or inefficient in proton collisions. We show that the looser triggers alone can make searches in heavy ion data competitive with proton data for the specific example of heavy neutrinos in the Neutrino Minimal Standard Model, produced in the decay of B mesons. Our results suggest that collisions of ions lighter than lead, which are currently under discussion in the heavy ion community, are well-motivated from the viewpoint of searches for New Physics.


title: Alternating Linear Bandits for Online Matrix-Factorization Recommendation

abstract: We consider the problem of online collaborative filtering in the online setting, where items are recommended to the users over time. At each time step, the user (selected by the environment) consumes an item (selected by the agent) and provides a rating of the selected item. In this paper, we propose a novel algorithm for online matrix factorization recommendation that combines linear bandits and alternating least squares. In this formulation, the bandit feedback is equal to the difference between the ratings of the best and selected items. We evaluate the performance of the proposed algorithm over time using both cumulative regret and average cumulative NDCG. Simulation results over three synthetic datasets as well as three real-world datasets for online collaborative filtering indicate the superior performance of the proposed algorithm over two state-of-the-art online algorithms.


title: A Monopole Mining Method for High Throughput Screening Weyl Semimetals

abstract: Although topological invariants have been introduced to classify the appearance of protected electronic states at surfaces of insulators, there are no corresponding indexes for Weyl semimetals whose nodal points may appear randomly in the bulk Brillouin Zone (BZ). Here we use a well-known result that every Weyl point acts as a Dirac monopole and generates integer Berry flux to search for the monopoles on rectangular BZ grids that are commonly employed in self-consistent electronic structure calculations. The method resembles data mining technology of computer science and is demonstrated on locating the Weyl points in known Weyl semimetals. It is subsequently used in high throughput screening several hundreds of compounds and predicting a dozen new materials hosting nodal Weyl points and/or lines.


title: Translation by the full twist and Deligne-Lusztig varieties

abstract: We prove several conjectures about the cohomology of Deligne-Lusztig varieties: invariance under conjugation in the braid group, behaviour with respect to translation by the full twist, parity vanishing of the cohomology for the variety associated with the full twist. In the case of split groups of type $A$, and using previous results of the second author, this implies Brou\'e-Michel's conjecture on the disjointness of the cohomology for the variety associated to any good regular element. That conjecture was inspired by Brou\'e's abelian defect group conjecture and the specific form Brou\'e conjectured for finite groups of Lie type.


title: Holographic derivation of $ q $ SYK spectrum with Yang-Baxter shift

abstract: In this Letter, based on the notion of gauge/gravity duality, we compute $ q $ SYK spectra in the presence of Yang-Baxter (YB) deformations. The gravitational counterpart of this duality turns out to be the YB deformed Almheiri-Polchinski (AP) model embodied with hyperbolic potential for the dilaton. Following Kaluza-Klein reduction on $ (AdS_2)_{\eta}\times (S^1/ Z_2) $, we compute the deformed Green's function that reproduces the original $ q $ SYK spectrum in the limit of vanishing deformations.


title: Complexity of operators generated by quantum mechanical Hamiltonians

abstract: We propose how to compute the complexity of operators generated by Hamiltonians in quantum field theory (QFT) and quantum mechanics (QM). The Hamiltonians in QFT/QM and quantum circuit have a few essential differences, for which we introduce new principles and methods for complexity. We show that the complexity geometry corresponding to one-dimensional quadratic Hamiltonians is equivalent to AdS$_3$ spacetime. Here, the requirement that the complexity is nonnegative corresponds to the fact that the Hamiltonian is lower bounded and the speed of a particle is not superluminal. Our proposal proves the complexity of the operator generated by a free Hamiltonian is zero, as expected. By studying a non-relativistic particle in compact Riemannian manifolds we find the complexity is given by the global geometric property of the space. In particular, we show that in low energy limit the critical spacetime dimension to ensure the "nonnegative" complexity is the 3+1 dimension.


title: Bounds on Slow Roll at the Boundary of the Landscape

abstract: We present strong evidence that the tree level slow roll bounds of arXiv:1807.05193 and arXiv:1810.05506 are valid, even when the tachyon has overlap with the volume of the cycle wrapped by the orientifold. This extends our previous results in the volume-dilaton subspace to a semi-universal modulus. Emboldened by this and other observations, we investigate what it means to have a bound on (generalized) slow roll in a multi-field landscape. We argue that for $any$ point $\phi_0$ in an $N$-dimensional field space with $V(\phi_0) > 0$, there exists a path of monotonically decreasing potential energy to a point $\phi_1$ within a path length $\lesssim {\cal O}(1)$, such that $\sqrt{N}\ln \frac{V(\phi_1)}{V(\phi_0)} \lesssim - {\cal O} (1)$. The previous de Sitter swampland bounds are specific ways to realize this stringent non-local constraint on field space, but we show that it also incorporates (for example) the scenario where both slow roll parameters are intermediate-valued and the Universe undergoes a small number of e-folds, as in the Type IIA set up of arXiv:1310.8300. Our observations are in the context of tree level constructions, so we take the conservative viewpoint that it is a characterization of the classical "boundary" of the string landscape. To emphasize this, we argue that these bounds can be viewed as a type of Dine-Seiberg statement.


title: Subcritical approximations to stochastic defocusing mass-critical nonlinear Schr\"odinger equation on $\mathbb{R}$

abstract: We show robustness of various truncated and subcritical approximations to the stochastic defocusing mass-critical nonlinear Schr\"odinger equation (NLS) in dimension $d=1$, whose solution was constructed in [FX18] with one particular such approximation. The key ingredient in the proof is a uniform bound of the solutions to the family of deterministic mass-subcritical defocusing NLS.


title: Constructions of vector-valued modular forms of rank four and level one

abstract: This paper studies modular forms of rank four and level one. There are two possiblities for the isomorphism type of the space of modular forms that can arise from an irreducible representation of the modular group of rank four, and we describe when each case occurs for general choices of exponents for the T -matrix. In the remaining sections we describe how to write down corresponding differential equations satisfied by minimal weight forms, and how to use these minimal weight forms to describe the entire graded module of holomorphic modular forms. Unfortunately the differential equations that arise can only be solved recursively in general. We conclude the paper by studying the cases of tensor products of two-dimensional representations, symmetric cubes of two-dimensional representations, and inductions of two-dimensional representations of the subgroup of the modular group of index two. In these cases the differential equations satisfied by minimal weight forms can be solved exactly.


title: Event-triggered Natural Hazard Monitoring with Convolutional Neural Networks on the Edge

abstract: In natural hazard warning systems fast decision making is vital to avoid catastrophes. Decision making at the edge of a wireless sensor network promises fast response times but is limited by the availability of energy, data transfer speed, processing and memory constraints. In this work we present a realization of a wireless sensor network for hazard monitoring based on an array of event-triggered single-channel micro-seismic sensors with advanced signal processing and characterization capabilities based on a novel co-detection technique. On the one hand we leverage an ultra-low power, threshold-triggering circuit paired with on-demand digital signal acquisition capable of extracting relevant information exactly and efficiently at times when it matters most and consequentially not wasting precious resources when nothing can be observed. On the other hand we utilize machine-learning-based classification implemented on low-power, off-the-shelf microcontrollers to avoid false positive warnings and to actively identify humans in hazard zones. The sensors' response time and memory requirement is substantially improved by quantizing and pipelining the inference of a convolutional neural network. In this way, convolutional neural networks that would not run unmodified on a memory constrained device can be executed in real-time and at scale on low-power embedded devices. A field study with our system is running on the rockfall scarp of the Matterhorn H\"ornligrat at 3500 m a.s.l. since 08/2018.


title: Robust Bulk States

abstract: We predict topologically robust zero energy bulk states in a disordered tight binding lattice. We explore a new kind of order and discuss that zero energy states exist in a system iff its Hamiltonian is noninvertible. We show that they are robust against any kind of disorder as long as the disordered Hamiltonian is noninvertible, too.

categories: cond-mat.str-el cond-mat.mes-hall physics.optics quant-ph


title: Influence of Side Chain Isomerism on the Rigidity of Poly(3-alkylthiophenes) in Solutions Revealed by Neutron Scattering

abstract: Using small angle neutron scattering, we conducted a detailed structural study of poly(3-alkylthiophenes) dispersed in deuterated dicholorbenzene. The focus was placed on addressing the influence of spatial arrangement of constituent atoms of side chain on backbone conformation. We demonstrate that by impeding the {\pi}- {\pi} interactions, the branch point in side chain promotes torsional motion between backbone units and results in greater chain flexibility. Our findings highlight the key role of topological isomerism in determining the molecular rigidity and are relevant to the current debate about the condition necessary for optimizing the electronic properties of conducting polymers via side chain engineering.


title: Density-dependent NN-interaction from subleading chiral 3N-forces: short-range terms and relativistic corrections

abstract: We derive from the subleading contributions to the chiral three-nucleon force (short-range terms and relativistic corrections, published in Phys. Rev. C84, 054001 (2011)) a density-dependent two-nucleon interaction $V_\text{med}$ in isospin-symmetric nuclear matter. The momentum and $k_f$-dependent potentials associated with the isospin operators ($1$ and $ \vec\tau_1\!\cdot\!\vec\tau_2$) and five independent spin-structures are expressed in terms of loop functions, which are either given in closed analytical form or require at most one numerical integration. Our results for $V_\text{med}$ are most helpful to implement subleading chiral 3N-forces into nuclear many-body calculations.


title: EFT approach to the electron Electric Dipole Moment at the two-loop level

abstract: The ACME collaboration has recently reported a new bound on the electric dipole moment (EDM) of the electron, $|d_e|< 1.1 \times 10^{-29}\, {\rm e\cdot cm}$ at 90$\%$ confidence level, reaching an unprecedented accuracy level. This can translate into new relevant constraints on theories beyond the SM laying at the TeV scale, even when they contribute to the electron EDM at the two-loop level. We use the EFT approach to classify these corrections, presenting the contributions to the anomalous dimension of the CP-violating dipole operators of the electron up to the two-loop level. Selection rules based on helicity and CP play an important role to simplify this analysis. We use this result to provide new bounds on BSM with leptoquarks, extra Higgs, or constraints in sectors of the MSSM and composite Higgs models. The new ACME bound pushes natural theories significantly more into fine-tune territory, unless they have a way to accidentally preserve CP.


title: Properties of an N Time-Slice Dynamic Chain Event Graph

abstract: A Dynamic Chain Event Graph (DCEG) provides a rich tree-based framework for modelling a dynamic process with highly asymmetric developments. An N Time-Slice DCEG (NT-DCEG) is a useful subclass of the DCEG class that exhibits a specific type of periodicity in its supporting tree graph and embodies a time-homogeneity assumption. Here some desired properties of an NT-DCEG is explored. In particular, we prove that the class of NT-DCEGs contains all discrete N time-slice Dynamic Bayesian Networks as special cases. We also develop a method to distributively construct an NT-DCEG model. By exploiting the topology of an NT-DCEG graph, we show how to construct intrinsic random variables which exhibit context-specific independences that can then be checked by domain experts. We also show how an NT-DCEG can be used to depict various structural and Granger causal hypotheses about a given process. Our methods are illustrated throughout using examples of dynamic multivariate processes describing inmate radicalisation in a prison.


title: On Ashbaugh-Benguria's Conjecture about Lower Order Dirichlet Eigenvalues of the Laplacian

abstract: In this paper, we prove an isoperimetric inequality for lower order eigenvalues of the Dirichlet Laplacian on bounded domains of a Euclidean space which strengthens the well-known Ashbaugh-Beguria inequality conjectured by Payne-P\'olya-Weinberger on the ratio of the first two Dirichlet eigenvalues and makes an important step toward the proof of a conjecture by Ashbaugh-Benguria.


title: Human-Competitive Awards 2018

abstract: Report on Humies competition at GECCO 2018 in Japan


title: Sensing with exceptional surfaces: combining sensitivity with robustness

abstract: Exceptional points (EPs) are singularities that arise in non-Hermitian physics. Current research efforts focus only on systems supporting isolated EPs characterized by increased sensitivity to external perturbations, which makes them potential candidates for building next generation optical sensors. On the downside, this feature is also the Achilles heel of these devices: they are very sensitive to fabrication errors and experimental uncertainties. To overcome this problem, we introduce a new design concept for implementing photonic EPs that combine the robustness required for practical use together with their hallmark sensitivity. Particularly, our proposed structure exhibits a hypersurface of Jordan EPs (JEPs) embedded in a larger space, and having the following peculiar features: (1) A large class of undesired perturbations shift the operating point along the exceptional surface (ES), thus leaving the system at another EP which explains the robustness; (2) Perturbations due to back reflection/scattering force the operating point out of the ES, leading to enhanced sensitivity. Importantly, our proposed geometry is relatively easy to implement using standard photonics components and the design concept can be extended to other physical platforms such as microwave or acoustics.


title: Optimality of the final model found via Stochastic Gradient Descent

abstract: We study convergence properties of Stochastic Gradient Descent (SGD) for convex objectives without assumptions on smoothness or strict convexity. We consider the question of establishing that with high probability the objective evaluated at the candidate minimizer returned by SGD is close to the minimal value of the objective. We compare this result concerning the final candidate minimzer (i.e. the final model parameters learned after all gradient steps) to the online learning techniques of [Zin03] that take a rolling average of the model parameters at the different steps of SGD.


title: Spinor Euler factors for GSp(4) in the subregular case

abstract: For local non-archimedean fields $k$, Piatetski-Shapiro has defined local spinor $L$-factors for irreducible representations $\Pi$ of $\mathrm{GSp}(4,k)$ of dimension $>1$, attached to a choice of a Bessel model $\Lambda$. We classify regular poles that do not come from the asymptotic of the Bessel functions in the Bessel model. For anisotropic Bessel models there are no such subregular poles.


title: LHC Dark Matter Working Group: Next-generation spin-0 dark matter models

abstract: Dark matter (DM) simplified models are by now commonly used by the ATLAS and CMS Collaborations to interpret searches for missing transverse energy ($E_T^\mathrm{miss}$). The coherent use of these models sharpened the LHC DM search program, especially in the presentation of its results and their comparison to DM direct-detection (DD) and indirect-detection (ID) experiments. However, the community has been aware of the limitations of the DM simplified models, in particular the lack of theoretical consistency of some of them and their restricted phenomenology leading to the relevance of only a small subset of $E_T^\mathrm{miss}$ signatures. This document from the LHC Dark Matter Working Group identifies an example of a next-generation DM model, called $\textrm{2HDM+a}$, that provides the simplest theoretically consistent extension of the DM pseudoscalar simplified model. A comprehensive study of the phenomenology of the $\textrm{2HDM+a}$ model is presented, including a discussion of the rich and intricate pattern of mono-$X$ signatures and the relevance of other DM as well as non-DM experiments. Based on our discussions, a set of recommended scans are proposed to explore the parameter space of the $\textrm{2HDM+a}$ model through LHC searches. The exclusion limits obtained from the proposed scans can be consistently compared to the constraints on the $\textrm{2HDM+a}$ model that derive from DD, ID and the DM relic density.


title: Valley engineering by strain in Kekul\'e-distorted graphene

abstract: A Kekul\'e bond texture in graphene modifies the electronic band structure by folding the Brillouin zone and bringing the two inequivalent Dirac points to the center. This can result, in the opening of a gap (Kek-O) or the locking of the valley degree of freedom with the direction of motion (Kek-Y). We analyze the effects of uniaxial strain on the band structure of Kekul\'e-distorted graphene for both textures. Using a tight-binding approach, we introduce strain by considering the hopping renormalization and corresponding geometrical modifications of the Brillouin zone. We numerically evaluate the dispersion relation and present analytical expressions for the low-energy limit. Our results indicate the emergence of a Zeeman-like term due to the coupling of the pseudospin with the pseudomagnetic strain potential which separates the valleys by moving them in opposite directions away from the center of the Brillouin zone. For the Kek-O phase, this results in a competition between the Kekul\'e parameter that opens a gap and the magnitude of strain which closes it. While for the Kek-Y phase, in a superposition of two shifted Dirac cones. As the Dirac cones are much closer in the supperlattice reciprocal space that in pristine graphene, we propose strain as a control parameter for intervalley scattering.


title: Green Bank Telescope Observations of 3He+: HII Regions

abstract: During the era of primordial nucleosynthesis the light elements 2H, 3He, 4He, and 7Li were produced in significant amounts and these abundances have since been modified primarily by stars. Observations of 3He+ in HII regions located throughout the Milky Way disk reveal very little variation in the 3He/H abundance ratio---the "3He Plateau"---indicating that the net effect of 3He production in stars is negligible. This is in contrast to much higher 3He/H abundance ratios found in some planetary nebulae. This discrepancy is known as the "3He Problem". Stellar evolution models that include thermohaline mixing can resolve the 3He Problem by drastically reducing the net 3He production in most stars. These models predict a small negative 3He/H abundance gradient across the Galactic disk. Here we use the Green Bank Telescope to observe 3He+ in five HII regions with high accuracy to confirm the predictions of stellar and Galactic chemical evolution models that include thermohaline mixing. We detect 3He+ in all the sources and derive the 3He+/H+ abundance ratio using model HII regions and the numerical radiative transfer code NEBULA. The over 35 radio recombination lines (RRLs) that are simultaneously observed, together with the 3He+ transition provide stringent constraints for these models. We apply an ionization correction using observations of 4He RRLs. We determine a 3He/H abundance gradient as a function of Galactocentric radius of -0.116 +/- 0.022 x 10-5, consistent with stellar evolution models including thermohaline mixing that predict a small net contribution of 3He from solar mass stars.


title: KAM THEORY. Part 3. Applications

abstract: We apply the general normal form theorems in Kolmogorov spaces to three classical cases: deformations of hypersurface singularities, normal forms of vector fields and invariant tori in Hamiltonian systems.


title: A Method to Determine $|V_{cb}|$ at the Weak Scale in Top Decays at the LHC

abstract: Until now, the Cabibbo Kobayashi Maskawa matrix element, $|V_{cb}|$, has always been measured in $B$ decays, i.e.~at an energy scale $q_b\sim \frac{m_b}{2}$, far below the weak scale. We consider here the possibility of measuring it close to the weak scale, at $q_W\sim m_W$, in top decays at the Large Hadron Collider (LHC). Our proposed method would use data from the LHC experiments in hadronic top decays $t\rightarrow bW\rightarrow b\overline{b} c$, tagged by the semileptonic decay of the associated top. We estimate the uncertainty of such a measurement, as a function of present and potential future experimental jet flavour-tagging performances, and conclude that first measurements using the data collected during 2016 - 2018 could yield a fractional error on \Vcb\ of order 7\% per experiment. We also give projected performances at higher luminosities, which could yield sensitivity to any Standard Model running of \Vcb\ below the weak scale, if present.


title: Using Deep Learning to Extend the Range of Air-Pollution Monitoring and Forecasting

abstract: Across numerous applications, forecasting relies on numerical solvers for partial differential equations (PDEs). Although the use of deep-learning techniques has been proposed, actual applications have been restricted by the fact the training data are obtained using traditional PDE solvers. Thereby, the uses of deep-learning techniques were limited to domains, where the PDE solver was applicable. We demonstrate a deep-learning framework for air-pollution monitoring and forecasting that provides the ability to train across different model domains, as well as a reduction in the run-time by two orders of magnitude. It presents a first-of-a-kind implementation that combines deep-learning and domain-decomposition techniques to allow model deployments extend beyond the domain(s) on which the it has been trained.


title: A Streamlined Proof of $\mathfrak{p}=\mathfrak{t}$

abstract: We streamline Malliaris and Shelah's proof that $\mathfrak{p} = \mathfrak{t}$. In particular, we replace cofinality spectrum problems with models of $ZFC^-$, and we eliminate the use of peculiar cuts.


title: New Bounds for the Dichromatic Number of a Digraph

abstract: The chromatic number of a graph $G$, denoted by $\chi(G)$, is the minimum $k$ such that $G$ admits a $k$-coloring of its vertex set in such a way that each color class is an independent set (a set of pairwise non-adjacent vertices). The dichromatic number of a digraph $D$, denoted by $\chi_A(D)$, is the minimum $k$ such that $D$ admits a $k$-coloring of its vertex set in such a way that each color class is acyclic. In 1976, Bondy proved that the chromatic number of a digraph $D$ is at most its circumference, the length of a longest cycle. Given a digraph $D$, we will construct three different graphs whose chromatic numbers bound $\chi_A(D)$. Moreover, we prove: i) for integers $k\geq 2$, $s\geq 1$ and $r_1, \ldots, r_s$ with $k\geq r_i\geq 0$ and $r_i\neq 1$ for each $i\in[s]$, that if all cycles in $D$ have length $r$ modulo $k$ for some $r\in\{r_1,\ldots,r_s\}$, then $\chi_A(D)\leq 2s+1$; ii) if $D$ has girth $g$ and there are integers $k$ and $p$, with $k\geq g-1\geq p\geq 1$ such that $D$ contains no cycle of length $r$ modulo $\lceil \frac{k}{p} \rceil p$ for each $r\in \{-p+2,\ldots,0,\ldots,p\}$, then $\chi_A (D)\leq \lceil \frac{k}{p} \rceil$; iii) if $D$ has girth $g$, the length of a shortest cycle, and circumference $c$, then $\chi_A(D)\leq \lceil \frac{c-1}{g-1} \rceil +1$, which improves, substantially, the bound proposed by Bondy. Our results show that if we have more information about the lengths of cycles in a digraph, then we can improve the bounds for the dichromatic number known until now.


title: Keisler's order via Boolean ultrapowers

abstract: In this paper, we provide a new characterization of Keisler's order in terms of saturation of Boolean ultrapowers. To do so, we apply and expand the framework of 'separation of variables' recently developed by Malliaris and Shelah. We also show that good ultrafilters on Boolean algebras are precisely the ones which capture the maximum class in Keisler's order, answering a question posed by Benda in 1974.


title: Ultraheavy resonances at the LHC: beyond the QCD background

abstract: We study the theory and some experimental hints of ultraheavy resonances at the LHC. The production of an ultraheavy narrow particle may have a larger rate than the QCD background even when the final state includes only hadronic jets. We consider two classes of models that lead to 4-jet signals. In the first class a diquark scalar decays into two vectorlike quarks. In the second one a coloron decays into two color-octet scalars or into a pair of vectorlike quarks. We show that a diquark as heavy as 11.5 TeV, or a coloron as heavy as 8.5 TeV may be discovered at the LHC. We point out that a CMS 4-jet event may be due to an 8 TeV resonance decaying into two secondary particles, each with a mass of 1.8 TeV. We find that the QCD background with a 4-jet mass and dijet masses that equal or exceed those of the CMS event is approximately $5\times 10^{-5}$ events in 78 fb$^{-1}$ of data, while the diquark signal could have easily produced that event. The diquark also decays directly into two jets, which may be the origin of some of the three other events of mass near 8 TeV observed by ATLAS and CMS.


title: Higher order Sobolev trace inequalities on balls revisited

abstract: Inspired by a recent sharp Sobolev trace inequality of order four on the balls $\mathbb B^{n+1}$ found by Ache and Chang [AC15], we propose a slightly different approach to reprove Ache-Chang's trace inequality. To illustrate this approach, we reprove the classical Sobolev trace inequality of order two on $\mathbb B^{n+1}$ and provide sharp Sobolev trace inequalities of orders six and eight on $\mathbb B^{n+1}$. As the limiting case of the Sobolev trace inequality, a Lebedev-Milin type inequality of order up to eight is also considered.


title: Proactive Security: Embedded AI Solution for Violent and Abusive Speech Recognition

abstract: Violence is an epidemic in Brazil and a problem on the rise world-wide. Mobile devices provide communication technologies which can be used to monitor and alert about violent situations. However, current solutions, like panic buttons or safe words, might increase the loss of life in violent situations. We propose an embedded artificial intelligence solution, using natural language and speech processing technology, to silently alert someone who can help in this situation. The corpus used contains 400 positive phrases and 800 negative phrases, totaling 1,200 sentences which are classified using two well-known extraction methods for natural language processing tasks: bag-of-words and word embeddings and classified with a support vector machine. We describe the proof-of-concept product in development with promising results, indicating a path towards a commercial product. More importantly we show that model improvements via word embeddings and data augmentation techniques provide an intrinsically robust model. The final embedded solution also has a small footprint of less than 10 MB.


title: Quasinormal modes of compact objects in alternative theories of gravity

abstract: We address quasinormal modes of compact objects in several alternative theories of gravity. In particular, we focus on black holes and neutron stars with scalar hair. We consider black holes in dilaton-Einstein-Gau\ss -Bonnet theory, and in a generalized scalar-Einstein-Gau\ss -Bonnet theory. In the latter case scalarized black holes arise, and we study the stability of the different branches of solutions. In particular, we discuss how the spectrum of quasinormal modes is changed by the presence of a non-trivial scalar field outside the black hole horizon. We discuss the existence of an (effective) minimum mass in these models, and how the spectrum of modes becomes richer as compared to general relativity, when a scalar field is present. Subsequently we discuss the effect of scalar hair for realistic neutron star models. Here we consider $R^2$ gravity, scalar-tensor theory, a particular subsector of Horndeski theory with a non-minimal derivative coupling, and again dilatonic-Einstein-Gau\ss -Bonnet theory. Because of the current lack of knowledge on the internal composition of the neutron stars, we focus on universal relations for the quasinormal modes, that are largely independent of the equations of state and thus the matter content of the stars.


title: Bayesian multi-domain learning for cancer subtype discovery from next-generation sequencing count data

abstract: Precision medicine aims for personalized prognosis and therapeutics by utilizing recent genome-scale high-throughput profiling techniques, including next-generation sequencing (NGS). However, translating NGS data faces several challenges. First, NGS count data are often overdispersed, requiring appropriate modeling. Second, compared to the number of involved molecules and system complexity, the number of available samples for studying complex disease, such as cancer, is often limited, especially considering disease heterogeneity. The key question is whether we may integrate available data from all different sources or domains to achieve reproducible disease prognosis based on NGS count data. In this paper, we develop a Bayesian Multi-Domain Learning (BMDL) model that derives domain-dependent latent representations of overdispersed count data based on hierarchical negative binomial factorization for accurate cancer subtyping even if the number of samples for a specific cancer type is small. Experimental results from both our simulated and NGS datasets from The Cancer Genome Atlas (TCGA) demonstrate the promising potential of BMDL for effective multi-domain learning without "negative transfer" effects often seen in existing multi-task learning and transfer learning methods.


title: Subspace-search variational quantum eigensolver for excited states

abstract: The variational quantum eigensolver (VQE), a variational algorithm to obtain an approximated ground state of a given Hamiltonian, is an appealing application of near-term quantum computers. The original work [A. Peruzzo et al.; \textit{Nat. Commun.}; \textbf{5}, 4213 (2014)] focused only on finding a ground state, whereas the excited states can also induce interesting phenomena in molecules and materials. Calculating excited states is, in general, a more difficult task than finding ground states for classical computers. To extend the framework to excited states, we here propose an algorithm, the subspace-search variational quantum eigensolver (SSVQE). This algorithm searches a low energy subspace by supplying orthogonal input states to the variational ansatz and relies on the unitarity of transformations to ensure the orthogonality of output states. The $k$-th excited state is obtained as the highest energy state in the low energy subspace. The proposed algorithm consists only of two parameter optimization procedures and does not employ any ancilla qubits. The disuse of the ancilla qubits is a great improvement from the existing proposals for excited states, which have utilized the swap test, making our proposal a truly near-term quantum algorithm. We further generalize the SSVQE to obtain all excited states up to the $k$-th by only a single optimization procedure. From numerical simulations, we verify the proposed algorithms. This work greatly extends the applicable domain of the VQE to excited states and their related properties like a transition amplitude without sacrificing any feasibility of it.


title: On the ability of discontinuous Galerkin methods to simulate under-resolved turbulent flows

abstract: We investigate the ability of discontinuous Galerkin (DG) methods to simulate under-resolved turbulent flows in large-eddy simulation. The role of the Riemann solver and the subgrid-scale model in the prediction of a variety of flow regimes, including transition to turbulence, wall-free turbulence and wall-bounded turbulence, are examined. Numerical and theoretical results show the Riemann solver in the DG scheme plays the role of an implicit subgrid-scale model and introduces numerical dissipation in under-resolved turbulent regions of the flow. This implicit model behaves like a dynamic model and vanishes for flows that do not contain subgrid scales, such as laminar flows, which is a critical feature to accurately predict transition to turbulence. In addition, for the moderate-Reynolds-number turbulence problems considered, the implicit model provides a more accurate representation of the actual subgrid scales in the flow than state-of-the-art explicit eddy viscosity models, including dynamic Smagorinsky, WALE and Vreman. The results in this paper indicate new best practices for subgrid-scale modeling are needed with high-order DG methods.

categories: physics.flu-dyn cs.CE cs.NA physics.comp-ph


title: Resonant Inductive Coupling as a Potential Means for Wireless Power Transfer to Printed Spiral Coil

abstract: This paper proposes an inductive coupled wireless power transfer system that analyses the relationship between induced voltage and distance of resonating inductance in a printed circuit spiral coils. The resonant frequency produced by the circuit model of the proposed receiving and transmitting coils are analyzed by simulation and laboratory experiment. The outcome of the two results is compared to verify the validity of the proposed inductive coupling system. Experimental measurements are consistent with simulations over a range of frequencies spanning the resonance.


title: Deducing Selberg trace formula via Rankin-Selberg method for $\mathrm{GL}_2$

abstract: In the 80s, Zagier and Jacquet-Zagier tried to derive the Selberg trace formula by applying the Rankin-Selberg method to the automorphic kernel function. Their derivation was incomplete due to a puzzle of the computation of a residue. We solve this puzzle and complete the derivation. The main input is an extension of the theory of regularized integrals invented by Zagier, which is of independent interest.


title: Triad-NVM: Persistent-Security for Integrity-Protected and Encrypted Non-Volatile Memories (NVMs)

abstract: Emerging Non-Volatile Memories (NVMs) are promising contenders for building future memory systems. On the other side, unlike DRAM systems, NVMs can retain data even after power loss and thus enlarge the attack surface. While data encryption and integrity verification have been proposed earlier for DRAM systems, protecting and recovering secure memories becomes more challenging with persistent memory. Specifically, security metadata, e.g., encryption counters and Merkle Tree data, should be securely persisted and recovered across system reboots and during recovery from crashes. Not persisting updates to security metadata can lead to data inconsistency, in addition to serious security vulnerabilities. In this paper, we pioneer a new direction that explores persistency of both Merkle Tree and encryption counters to enable secure recovery of data-verifiable and encrypted memory systems. To this end, we coin a new concept that we call Persistent-Security. We discuss the requirements for such persistently secure systems, propose novel optimizations, and evaluate the impact of the proposed relaxation schemes and optimizations on performance, resilience and recovery time. To the best of our knowledge, our paper is the first to discuss the persistence of security metadata in integrity-protected NVM systems and provide corresponding optimizations. We define a set of relaxation schemes that bring trade-offs between performance and recovery time for large capacity NVM systems. Our results show that our proposed design, Triad-NVM, can improve the throughput by an average of ~2x (relative to strict persistence). Moreover, Triad-NVM maintains a recovery time of less than 4 seconds for an 8TB NVM system (30.6 seconds for 64TB), which is ~3648x faster than a system without security metadata persistence.


title: The Impact of Information Dissemination on Vaccination in Multiplex Networks

abstract: The impact of information dissemination on epidemic control is essentially subject to individual behaviors. Unlike information-driven behaviors, vaccination is determined by many cost-related factors, whose correlation with the information dissemination should be better understood. To this end, we propose an evolutionary vaccination game model in multiplex networks by integrating an information-epidemic spreading process into the vaccination dynamics, and explore how information dissemination influences vaccination. The spreading process is described by a two-layer coupled susceptible-alert-infected-susceptible (SAIS) model, where the strength coefficient between two layers is defined to characterize the tendency and intensity of information dissemination. We find that information dissemination can increase the epidemic threshold, however, more information transmission cannot promote vaccination. Specifically, increasing information dissemination even leads to a decline of the vaccination equilibrium and raises the final infection density. Moreover, we study the impact of strength coefficient and individual sensitivity on social cost, and unveil the role of information dissemination in controlling the epidemic with numerical simulations.


title: Deep multi-survey classification of variable stars

abstract: During the last decade, a considerable amount of effort has been made to classify variable stars using different machine learning techniques. Typically, light curves are represented as vectors of statistical descriptors or features that are used to train various algorithms. These features demand big computational powers that can last from hours to days, making impossible to create scalable and efficient ways of automatically classifying variable stars. Also, light curves from different surveys cannot be integrated and analyzed together when using features, because of observational differences. For example, having variations in cadence and filters, feature distributions become biased and require expensive data-calibration models. The vast amount of data that will be generated soon make necessary to develop scalable machine learning architectures without expensive integration techniques. Convolutional Neural Networks have shown impressing results in raw image classification and representation within the machine learning literature. In this work, we present a novel Deep Learning model for light curve classification, mainly based on convolutional units. Our architecture receives as input the differences between time and magnitude of light curves. It captures the essential classification patterns regardless of cadence and filter. In addition, we introduce a novel data augmentation schema for unevenly sampled time series. We test our method using three different surveys: OGLE-III; Corot; and VVV, which differ in filters, cadence, and area of the sky. We show that besides the benefit of scalability, our model obtains state of the art levels accuracy in light curve classification benchmarks.