title: Trace-Based Run-time Analysis of Message-Passing Go Programs

abstract: We consider the task of analyzing message-passing programs by observing their run-time behavior. We introduce a purely library-based instrumentation method to trace communication events during execution. A model of the dependencies among events can be constructed to identify potential bugs. Compared to the vector clock method, our approach is much simpler and has in general a significant lower run-time overhead. A further advantage is that we also trace events that could not commit. Thus, we can infer alternative communications. This provides the user with additional information to identify potential bugs. We have fully implemented our approach in the Go programming language and provide a number of examples to substantiate our claims.


title: An active-learning algorithm that combines sparse polynomial chaos expansions and bootstrap for structural reliability analysis

abstract: Polynomial chaos expansions (PCE) have seen widespread use in the context of uncertainty quantification. However, their application to structural reliability problems has been hindered by the limited performance of PCE in the tails of the model response and due to the lack of local metamodel error estimates. We propose a new method to provide local metamodel error estimates based on bootstrap resampling and sparse PCE. An initial experimental design is iteratively updated based on the current estimation of the limit-state surface in an active learning algorithm. The greedy algorithm uses the bootstrap-based local error estimates for the polynomial chaos predictor to identify the best candidate set of points to enrich the experimental design. We demonstrate the effectiveness of this approach on a well-known analytical benchmark representing a series system, on a truss structure and on a complex realistic frame structure problem.


title: On the Triangle Clique Cover and $K_t$ Clique Cover Problems

abstract: An edge clique cover of a graph is a set of cliques that covers all edges of the graph. We generalize this concept to "$K_t$ clique cover", i.e. a set of cliques that covers all complete subgraphs on $t$ vertices of the graph, for every $t \geq 1$. In particular, we extend a classical result of Erd\"os, Goodman, and P\'osa (1966) on the edge clique cover number ($t = 2$), also known as the intersection number, to the case $t = 3$. The upper bound is tight, with equality holding only for the Tur\'an graph $T(n,3)$. We also extend an algorithm of Scheinerman and Trenk (1999) to solve a weighted version of the $K_t$ clique cover problem on a superclass of chordal graphs. We also prove that the $K_t$ clique cover problem is NP-hard.


title: Improving Landmark Localization with Semi-Supervised Learning

abstract: We present two techniques to improve landmark localization in images from partially annotated datasets. Our primary goal is to leverage the common situation where precise landmark locations are only provided for a small data subset, but where class labels for classification or regression tasks related to the landmarks are more abundantly available. First, we propose the framework of sequential multitasking and explore it here through an architecture for landmark localization where training with class labels acts as an auxiliary signal to guide the landmark localization on unlabeled data. A key aspect of our approach is that errors can be backpropagated through a complete landmark localization model. Second, we propose and explore an unsupervised learning technique for landmark localization based on having a model predict equivariant landmarks with respect to transformations applied to the image. We show that these techniques, improve landmark prediction considerably and can learn effective detectors even when only a small fraction of the dataset has landmark labels. We present results on two toy datasets and four real datasets, with hands and faces, and report new state-of-the-art on two datasets in the wild, e.g. with only 5\% of labeled images we outperform previous state-of-the-art trained on the AFLW dataset.


title: Evaluation modules for quantum toroidal ${\mathfrak{gl}}_n$ algebras

abstract: The affine evaluation map is a surjective homomorphism from the quantum toroidal ${\mathfrak {gl}}_n$ algebra ${\mathcal E}'_n(q_1,q_2,q_3)$ to the quantum affine algebra $U'_q\widehat{\mathfrak {gl}}_n$ at level $\kappa$ completed with respect to the homogeneous grading, where $q_2=q^2$ and $q_3^n=\kappa^2$. We discuss ${\mathcal E}'_n(q_1,q_2,q_3)$ evaluation modules. We give highest weights of evaluation highest weight modules. We also obtain the decomposition of the evaluation Wakimoto module with respect to a Gelfand-Zeitlin type subalgebra of a completion of ${\mathcal E}'_n(q_1,q_2,q_3)$, which describes a deformation of the coset theory $\widehat{\mathfrak {gl}}_n/\widehat{\mathfrak {gl}}_{n-1}$.


title: Photometric Properties of Network and Faculae Derived from HMI Data Compensated for Scattered-Light

abstract: We report on the photometric properties of faculae and network as observed in full-disk, scattered-light corrected images from the Helioseismic Magnetic Imager. We use a Lucy-Richardson deconvolution routine that corrects an image in less than one second. Faculae are distinguished from network through proximity to active regions. This is the first report that full-disk observations, including center-to-limb variations, reproduce the photometric properties of faculae and network observed previously only in sub-arcsecond resolution, small field-of-view studies, i.e. that network, as defined by distance from active regions, exhibit higher photometric contrasts. Specifically, for magnetic flux values larger than approximately 300 G, the network is brighter than faculae and the contrast differences increases toward the limb, where the network contrast is about twice the facular one. For lower magnetic flux values, network appear darker than faculae. Contrary to reports from previous full-disk observations, we also found that network exhibits a higher center-to-limb variation. Our results are in agreement with reports from simulations that indicate magnetic flux alone is a poor proxy of the photometric properties of magnetic features. We estimate that the contribution of faculae and network to Total Solar Irradiance variability of the current Cycle 24 is overestimated by at least 11\% due to the photometric properties of network and faculae not being recognized as different. This estimate is specific to the method employed in this study to reconstruct irradiance variations, so caution should be paid when extending it to other techniques.


title: Upsilon type concordance invariants

abstract: To a region $C$ of the plane satisfying a suitable convexity condition we associate a knot concordance invariant $\Upsilon^C$. For appropriate choices of the domain this construction gives back some known knot Floer concordance invariants like Rasmussen's $h_i$ invariants, and the Ozsv\' ath-Stipsicz-Szab\' o upsilon invariant. Furthermore, to three such regions $C$, $C^+$ and $C^- $ we associate invariants $\Upsilon_{C^\pm, C}$ generalising Kim-Livingston secondary invariant. We show how to compute these invariants for some interesting classes of knots (including alternating and torus knots), and we use them to obstruct concordances to Floer thin knots and algebraic knots.


title: A Measurement Method of Diffusion Coefficient of Liquid Using Radial Laser Rays Formed By Cylindrical Refractive System

abstract: The precision measurement of diffusion coefficient of solution is very important for the clear understanding of material transfer and interaction between the materials. But the high precision measurement of diffusion coefficient is very difficult compared to that of the other physical quantities. In this paper, we have proposed a new method to determine the diffusion coefficient by using the radial laser rays formed by cylindrical refractive system (cylindrical glass rod) and CCD camera. The cylindrical glass rod is placed in front of laser device and then, the laser rays spread radially. The slant curve with normal distribution profile is observed by illuminating these rays to the diffusion layer boundary. This curve is recorded on PC by CCD (charge coupled device) camera and the shape of this curve varies with time. The variation of maximum value with time in the curve determines diffusion coefficient. The measured diffusivity value is in good agreement with the previous experimental result in the tendency.


title: Evaluating Partisan Gerrymandering in Wisconsin

abstract: We examine the extent of gerrymandering for the 2010 General Assembly district map of Wisconsin. We find that there is substantial variability in the election outcome depending on what maps are used. We also found robust evidence that the district maps are highly gerrymandered and that this gerrymandering likely altered the partisan make up of the Wisconsin General Assembly in some elections. Compared to the distribution of possible redistricting plans for the General Assembly, Wisconsin's chosen plan is an outlier in that it yields results that are highly skewed to the Republicans when the statewide proportion of Democratic votes comprises more than 50-52% of the overall vote (with the precise threshold depending on the election considered). Wisconsin's plan acts to preserve the Republican majority by providing extra Republican seats even when the Democratic vote increases into the range when the balance of power would shift for the vast majority of redistricting plans.


title: Multi-color image compression-encryption algorithm based on chaotic system and fuzzy transform

abstract: In this paper an algorithm for multi-color image compression-encryption is introduced. For compression step fuzzy transform based on exponential b-spline function is used. In encryption step, a novel combination chaotic system based on Sine and Tent systems is proposed. Also in the encryption algorithm, 3D shift based on chaotic system is introduced. The simulation results and security analysis show that the proposed algorithm is secure and efficient.


title: Radial Velocity Measurements of an Orbiting Star Around Sgr A*

abstract: During the next closest approach of the orbiting star S2/S0-2 to the Galactic supermassive black hole (SMBH), it is estimated that RV uncertainties of ~ 10 km/s allow us to detect post-Newtonian effects throughout 2018. To evaluate an achievable uncertainty in RV and its stability, we have carried out near-infrared, high resolution (R ~ 20,000) spectroscopic monitoring observations of S2 using the Subaru telescope and the near-infrared spectrograph IRCS from 2014 to 2016. The Br-gamma absorption lines are used to determine the RVs of S2. The RVs we obtained are 497 km/s, 877 km/s, and 1108 km/s in 2014, 2015, and 2016, respectively. The statistical uncertainties are derived using the jackknife analysis. The wavelength calibrations in our three-year monitoring are stable: short-term (hours to days) uncertainties in RVs are < 0.5 km/s, and a long-term (three years) uncertainty is 1.2 km/s. The uncertainties from different smoothing parameter, and from the partial exclusion of the spectra, are found to be a few km/s. The final results using the Br-gamma line are 497 +- 17 (stat.) +- 3 (sys.) km/s in 2014, 877 +- 15 (stat.) +- 4 (sys.) km/s in 2015, and 1108 +- 12 (stat.) +- 4 (sys.) km/s in 2016. When we use two He I lines at 2.113\mum in addition to Br-gamma, the mean RVs are 513 km/s and 1114 km/s for 2014 and 2016, respectively. The standard errors of the mean are 16.2 km/s (2014) and 5.4 km/s (2016), confirming the reliability of our measurements. The difference between the RVs estimated by Newtonian mechanics and general relativity will reach about 200 km/s near the next pericenter passage in 2018. Therefore our RV uncertainties of 13 - 17 km/s with Subaru enable us to detect the general relativistic effects in the RV measurements with more than 10 sigma in 2018.


title: Deep Ordinal Ranking for Multi-Category Diagnosis of Alzheimer's Disease using Hippocampal MRI data

abstract: Increasing effort in brain image analysis has been dedicated to early diagnosis of Alzheimer's disease (AD) based on neuroimaging data. Most existing studies have been focusing on binary classification problems, e.g., distinguishing AD patients from normal control (NC) elderly or mild cognitive impairment (MCI) individuals from NC elderly. However, identifying individuals with AD and MCI, especially MCI individuals who will convert to AD (progressive MCI, pMCI), in a single setting, is needed to achieve the goal of early diagnosis of AD. In this paper, we propose a deep ordinal ranking model for distinguishing NC, stable MCI (sMCI), pMCI, and AD at an individual subject level, taking into account the inherent ordinal severity of brain degeneration caused by normal aging, MCI, and AD, rather than formulating the classification as a multi-category classification problem. The proposed deep ordinal ranking model focuses on the hippocampal morphology of individuals and learns informative and discriminative features automatically. Experiment results based on a large cohort of individuals from the Alzheimer's Disease Neuroimaging Initiative (ADNI) indicate that the proposed method can achieve better performance than traditional multi-category classification techniques using shape and radiomics features from structural magnetic resonance imaging (MRI) data.


title: Covers of Query Results

abstract: We introduce succinct lossless representations of query results called covers. They are subsets of the query results that correspond to minimal edge covers in the hypergraphs of these results. We first study covers whose structures are given by fractional hypertree decompositions of join queries. For any decomposition of a query, we give asymptotically tight size bounds for the covers of the query result over that decomposition and show that such covers can be computed in worst-case optimal time up to a logarithmic factor in the database size. For acyclic join queries, we can compute covers compositionally using query plans with a new operator called cover-join. The tuples in the query result can be enumerated from any of its covers with linearithmic pre-computation time and constant delay. We then generalize covers from joins to functional aggregate queries that express a host of computational problems such as aggregate-join queries, in-database optimization, matrix chain multiplication, and inference in probabilistic graphical models.


title: Neither pulled nor pushed: Genetic drift and front wandering uncover a new class of reaction-diffusion waves

abstract: Traveling waves describe diverse natural phenomena from crystal growth in physics to range expansions in biology. Two classes of waves exist with very different properties: pulled and pushed. Pulled waves are driven by high growth rates at the expansion edge, where the number of organisms is small and fluctuations are large. In contrast, fluctuations are suppressed in pushed waves because the region of maximal growth is shifted towards the population bulk. Although it is commonly believed that expansions are either pulled or pushed, we found an intermediate class of waves with bulk-driven growth, but exceedingly large fluctuations. These waves are unusual because their properties are controlled by both the leading edge and the bulk of the front.


title: Dynamic Multiscale Tree Learning Using Ensemble Strong Classifiers for Multi-label Segmentation of Medical Images with Lesions

abstract: We introduce a dynamic multiscale tree (DMT) architecture that learns how to leverage the strengths of different existing classifiers for supervised multi-label image segmentation. Unlike previous works that simply aggregate or cascade classifiers for addressing image segmentation and labeling tasks, we propose to embed strong classifiers into a tree structure that allows bi-directional flow of information between its classifier nodes to gradually improve their performances. Our DMT is a generic classification model that inherently embeds different cascades of classifiers while enhancing learning transfer between them to boost up their classification accuracies. Specifically, each node in our DMT can nest a Structured Random Forest (SRF) classifier or a Bayesian Network (BN) classifier. The proposed SRF-BN DMT architecture has several appealing properties. First, while SRF operates at a patch-level (regular image region), BN operates at the super-pixel level (irregular image region), thereby enabling the DMT to integrate multi-level image knowledge in the learning process. Second, although BN is powerful in modeling dependencies between image elements (superpixels, edges) and their features, the learning of its structure and parameters is challenging. On the other hand, SRF may fail to accurately detect very irregular object boundaries. The proposed DMT robustly overcomes these limitations for both classifiers through the ascending and descending flow of contextual information between each parent node and its children nodes. Third, we train DMT using different scales, where we progressively decrease the patch and superpixel sizes as we go deeper along the tree edges nearing its leaf nodes. Last, DMT demonstrates its outperformance in comparison to several state-of-the-art segmentation methods for multi-labeling of brain images with gliomas.


title: Polarimetric Study of Near-Earth Asteroid (1566) Icarus

abstract: We conducted a polarimetric observation of the fast-rotating near-Earth asteroid (1566) Icarus at large phase (Sun-asteroid-observer's) angles $\alpha$= 57 deg--141deg around the 2015 summer solstice. We found that the maximum values of the linear polarization degree are $P_\mathrm{max}$=7.32$\pm$0.25 % at phase angles of $\alpha_\mathrm{max}$=124$\pm$8 deg in the $V$-band and $P_\mathrm{max}$=7.04$\pm$0.21 % at $\alpha_\mathrm{max}$=124$\pm$6 deg in the $R_\mathrm{C}$-band. Applying the polarimetric slope-albedo empirical law, we derived a geometric albedo of $p_\mathrm{V}$=0.25$\pm$0.02, which is in agreement with that of Q-type taxonomic asteroids. $\alpha_\mathrm{max}$ is unambiguously larger than that of Mercury, the Moon, and another near-Earth S-type asteroid (4179) Toutatis but consistent with laboratory samples with hundreds of microns in size. The combination of the maximum polarization degree and the geometric albedo is in accordance with terrestrial rocks with a diameter of several hundreds of micrometers. The photometric function indicates a large macroscopic roughness. We hypothesize that the unique environment (i.e., the small perihelion distance $q$=0.187 au and a short rotational period of $T_\mathrm{rot}$=2.27 hours) may be attributed to the paucity of small grains on the surface, as indicated on (3200) Phaethon.


title: Privacy Risk in Machine Learning: Analyzing the Connection to Overfitting

abstract: Machine learning algorithms, when applied to sensitive data, pose a distinct threat to privacy. A growing body of prior work demonstrates that models produced by these algorithms may leak specific private information in the training data to an attacker, either through the models' structure or their observable behavior. However, the underlying cause of this privacy risk is not well understood beyond a handful of anecdotal accounts that suggest overfitting and influence might play a role. This paper examines the effect that overfitting and influence have on the ability of an attacker to learn information about the training data from machine learning models, either through training set membership inference or attribute inference attacks. Using both formal and empirical analyses, we illustrate a clear relationship between these factors and the privacy risk that arises in several popular machine learning algorithms. We find that overfitting is sufficient to allow an attacker to perform membership inference and, when the target attribute meets certain conditions about its influence, attribute inference attacks. Interestingly, our formal analysis also shows that overfitting is not necessary for these attacks and begins to shed light on what other factors may be in play. Finally, we explore the connection between membership inference and attribute inference, showing that there are deep connections between the two that lead to effective new attacks.


title: Interfacing MHD Single Fluid and Kinetic Exospheric Solar Wind Models and Comparing Their Energetics

abstract: An exospheric kinetic solar wind model is interfaced with an observation-driven single fluid magnetohydrodynamic (MHD) model. Initially, a photospheric magnetogram serves as observational input in the fluid approach to extrapolate the heliospheric magnetic field. Then semi-empirical coronal models are used for estimating the plasma characteristics up to a heliocentric distance of 0.1AU. From there on a full MHD model which computes the three-dimensional time-dependent evolution of the solar wind macroscopic variables up to the orbit of the Earth is used. After interfacing the density and velocity at the inner MHD boundary, we compare with the results of a kinetic exospheric solar wind model based on the assumption of Maxwell and Kappa velocity distribution functions for protons and electrons respectively, as well as with \textit{in situ} observations at 1AU. This provides insight on more physically detailed processes, such as coronal heating and solar wind acceleration, that naturally arise by inclusion of suprathermal electrons in the model. We are interested in the profile of the solar wind speed and density at 1AU, in characterizing the slow and fast source regions of the wind and in comparing MHD with exospheric models in similar conditions. We calculate the energetics of both models from low to high heliocentric distances.


title: Factoring in the Chicken McNugget monoid

abstract: Every day, 34 million Chicken McNuggets are sold worldwide. At most McDonalds locations in the United States today, Chicken McNuggets are sold in packs of 4, 6, 10, 20, 40, and 50 pieces. However, shortly after their introduction in 1979 they were sold in packs of 6, 9, and 20. The use of these latter three numbers spawned the so-called Chicken McNugget problem, which asks: "what numbers of Chicken McNuggets can be ordered using only packs with 6, 9, or 20 pieces?" In this paper, we present an accessible introduction to this problem, as well as several related questions whose motivation comes from the theory of non-unique factorization.


title: How Generic are the Robust Theoretical Aspects of Jamming in Hard Sphere Models?

abstract: In very recent work the mean field theory of the jamming transition in infinite dimensional hard spheres models was presented. Surprisingly, this theory predicts quantitatively numerically determined characteristics of jamming in two and three dimensions. This is a rare and unusual finding. Here we argue that this agreement in non-generic: only for hard sphere models it happens that sufficiently close to jamming the effective interactions are in agreement with mean-field theory, justifying the truncation of many body interactions (which is the exact protocol in infinite dimensions). Any softening of the bare hard sphere interactions results in effective interactions that are not mean-field all the way to jamming, making the discussed phenomenon non generic.


title: Phase I results with the Large Angle Beamstrahlung Monitor (LABM) with SuperKEKB beams

abstract: We report on the SuperKEKB Phase I operations of the Large Angle Beamstrhalung Monitor (LABM). The detector is described and its performance characterized using the synchrotron radiation backgrounds from the last Beam Line magnets. The backgrounds are also used to determine the expected position of the Interaction Point (IP), and the expected background rates during Phase II.


title: Effectiveness of Anonymization in Double-Blind Review

abstract: Double-blind review relies on the authors' ability and willingness to effectively anonymize their submissions. We explore anonymization effectiveness at ASE 2016, OOPSLA 2016, and PLDI 2016 by asking reviewers if they can guess author identities. We find that 74%-90% of reviews contain no correct guess and that reviewers who self-identify as experts on a paper's topic are more likely to attempt to guess, but no more likely to guess correctly. We present our findings, summarize the PC chairs' comments about administering double-blind review, discuss the advantages and disadvantages of revealing author identities part of the way through the process, and conclude by advocating for the continued use of double-blind review.


title: A second order primal-dual method for nonsmooth convex composite optimization

abstract: We develop a second order primal-dual method for optimization problems in which the objective function is given by the sum of a strongly convex twice differentiable term and a possibly nondifferentiable convex regularizer. After introducing an auxiliary variable, we utilize the proximal operator of the nonsmooth regularizer to transform the associated augmented Lagrangian into a function that is once, but not twice, continuously differentiable. The saddle point of this function corresponds to the solution of the original optimization problem. We employ a generalization of the Hessian to define second order updates on this function and prove global exponential stability of the corresponding differential inclusion. Furthermore, we develop a globally convergent customized algorithm that utilizes the primal-dual augmented Lagrangian as a merit function. We show that the search direction can be computed efficiently and prove quadratic/superlinear asymptotic convergence. We use the $\ell_1$-regularized model predictive control problem and the problem of designing a distributed controller for a spatially-invariant system to demonstrate the merits and the effectiveness of our method.


title: Origin of Charge Separation at Organic Photovoltaic Heterojunctions: A Mesoscale Quantum Mechanical View

abstract: The high efficiency of charge generation within organic photovoltaic blends apparently contrasts with the strong "classical" attraction between newly formed electron-hole pairs. Several factors have been identified as possible facilitators of charge dissociation, such as quantum mechanical coherence and delocalization, structural and energetic disorder, built-in electric fields, nanoscale intermixing of the donor and acceptor components of the blends. Our mesoscale quantum-chemical model allows an unbiased assessment of their relative importance, through excited-state calculations on systems containing thousands of donor and acceptor sites. The results on several model heterojunctions confirm that the classical model severely overestimates the binding energy of the electron-hole pairs, produced by vertical excitation from the electronic ground state. Using physically sensible parameters for the individual materials, we find that the quantum mechanical energy difference between the lowest interfacial charge transfer states and the fully separated electron and hole is of the order of the thermal energy.

categories: cond-mat.mes-hall cond-mat.mtrl-sci physics.chem-ph physics.comp-ph


title: Scattering theory without injectivity radius assumptions and spectral stability for the Ricci flow

abstract: We prove a completely new integral criterion for the existence and completeness of the wave operators $W_{\pm}(-\Delta_h,-\Delta_g, I_{g,h})$ corresponding to the (unique self-adjoint realizations of) the Laplace-Beltrami operators $-\Delta_j$, $j=1,2$, that are induced by two quasi-isometric complete Riemannian metrics $g$ and $h$ on an open manifold $M$. In particular, this result provides a criterion for the absolutely continuous spectra of $-\Delta_g$ and $-\Delta_h$ to coincide. Our proof relies on estimates that are obtained using a probabilistic Bismut type formula for the gradient of a heat semigroup. Unlike all previous results, our integral criterion only requires some lower control on the Ricci curvatures and some upper control on the heat kernels, but no control at all on the injectivity radii. As a consequence, we obtain a stability result for the absolutely continuous spectrum under a Ricci flow.


title: Machine Learning and Social Robotics for Detecting Early Signs of Dementia

abstract: This paper presents the EACare project, an ambitious multi-disciplinary collaboration with the aim to develop an embodied system, capable of carrying out neuropsychological tests to detect early signs of dementia, e.g., due to Alzheimer's disease. The system will use methods from Machine Learning and Social Robotics, and be trained with examples of recorded clinician-patient interactions. The interaction will be developed using a participatory design approach. We describe the scope and method of the project, and report on a first Wizard of Oz prototype.


title: Crank-Nicolson scheme for stochastic differential equations driven by fractional Brownian motions

abstract: We study the Crank-Nicolson scheme for stochastic differential equations (SDEs) driven by multidimensional fractional Brownian motion $(B^{1}, \dots, B^{m})$ with Hurst parameter $H \in (\frac 12,1)$. It is well-known that for ordinary differential equations with proper conditions on the regularity of the coefficients, the Crank-Nicolson scheme achieves a convergence rate of $n^{-2}$, regardless of the dimension. In this paper we show that, due to the interactions between the driving processes $ B^{1}, \dots, B^{m} $, the corresponding Crank-Nicolson scheme for $m$-dimensional SDEs has a slower rate than for the one-dimensional SDEs. Precisely, we shall prove that when $m=1$ and when the drift term is zero, the Crank-Nicolson scheme achieves the exact convergence rate $n^{-2H}$, while in the case $m=1$ and the drift term is non-zero, the exact rate turns out to be $n^{-\frac12 -H}$. In the general case when $m>1$, the exact rate equals $n^{\frac12 -2H}$. In all these cases the limiting distribution of the leading error is proved to satisfy some linear SDE driven by Brownian motions independent of the given fractional Brownian motions.


title: Electric fields at finite temperature

abstract: Partial differential equations for the electric potential at finite temperature, taking into account the thermal Euler-Heisenberg contribution to the electromagnetic Lagrangian are derived. This complete temperature dependence introduces quantum corrections to several well known equations such as the Thomas-Fermi and the Poisson-Boltzmann equation. Our unified approach allows at the same time to derive other similar equations which take into account the effect of the surrounding heat bath on electric fields. We vary our approach by considering a neutral plasma as well as the screening caused by electrons only. The effects of changing the statistics from Fermi-Dirac to the Tsallis statistics and including the presence of a magnetic field are also investigated. Some useful applications of the above formalism are presented.


title: Total Generalized Variation for Manifold-valued Data

abstract: In this paper we introduce the notion of second-order total generalized variation (TGV) regularization for manifold-valued data in a discrete setting. We provide an axiomatic approach to formalize reasonable generalizations of TGV to the manifold setting and present two possible concrete instances that fulfill the proposed axioms. We provide well-posedness results and present algorithms for a numerical realization of these generalizations to the manifold setup. Further, we provide experimental results for synthetic and real data to further underpin the proposed generalization numerically and show its potential for applications with manifold-valued data.


title: Traveling Waves in the Euler-Heisenberg Electrodynamics

abstract: We examine the possibility of travelling wave solutions within the nonlinear Euler-Heisenberg electrodynamics. Since this theory resembles in its form the electrodynamics in matter, it is a priori not clear if there exist travelling wave solutions with a new dispersion relation for $\omega(k)$ or if the Euler-Heisenberg theory stringently imposes $\omega=k$ for any arbitrary ansatz $\mathbf{E}(\xi)$ and $\mathbf{B}(\xi)$ with $\xi \equiv \mathbf{k}\cdot\mathbf{r} -\omega t$. We show that the latter scheme applies for the Euler-Heisenberg theory, but point out the possibility of new solutions with $\omega \neq k$ if we go beyond the Euler-Heisenberg theory, allowing strong fields. In case of the Euler-Heisenberg theory the quantum mechanical effect of the travelling wave solutions remains in $\hbar$ corrections to the energy density and the Poynting vector.


title: PageNet: Page Boundary Extraction in Historical Handwritten Documents

abstract: When digitizing a document into an image, it is common to include a surrounding border region to visually indicate that the entire document is present in the image. However, this border should be removed prior to automated processing. In this work, we present a deep learning based system, PageNet, which identifies the main page region in an image in order to segment content from both textual and non-textual border noise. In PageNet, a Fully Convolutional Network obtains a pixel-wise segmentation which is post-processed into the output quadrilateral region. We evaluate PageNet on 4 collections of historical handwritten documents and obtain over 94% mean intersection over union on all datasets and approach human performance on 2 of these collections. Additionally, we show that PageNet can segment documents that are overlayed on top of other documents.


title: A Comparative Study of 2D Numerical Methods with GPU Computing

abstract: Graphics Processing Unit (GPU) computing is becoming an alternate computing platform for numerical simulations. However, it is not clear which numerical scheme will provide the highest computational efficiency for different types of problems. To this end, numerical accuracies and computational work of several numerical methods are compared using a GPU computing implementation. The Correction Procedure via Reconstruction (CPR), Discontinuous Galerkin (DG), Nodal Discontinuous Galerkin (NDG), Spectral Difference (SD), and Finite Volume (FV) methods are investigated using various reconstruction orders. Both smooth and discontinuous cases are considered for two-dimensional simulations. For discontinuous problems, MUSCL schemes are employed with FV, while CPR, DG, NDG, and SD use slope limiting. The computation time to reach a set error criteria and total time to complete solutions are compared across the methods. It is shown that while FV methods can produce solutions with low computational times, they produce larger errors than high-order methods for smooth problems at the same order of accuracy. For discontinuous problems, the methods show good agreement with one another in terms of solution profiles, and the total computational times between FV, CPR, and SD are comparable.


title: Deep Learning Techniques for Music Generation -- A Survey

abstract: This paper is a survey and an analysis of different ways of using deep learning (deep artificial neural networks) to generate musical content. We propose a methodology based on five dimensions for our analysis: Objective - What musical content is to be generated? Examples are: melody, polyphony, accompaniment or counterpoint. - For what destination and for what use? To be performed by a human(s) (in the case of a musical score), or by a machine (in the case of an audio file). Representation - What are the concepts to be manipulated? Examples are: waveform, spectrogram, note, chord, meter and beat. - What format is to be used? Examples are: MIDI, piano roll or text. - How will the representation be encoded? Examples are: scalar, one-hot or many-hot. Architecture - What type(s) of deep neural network is (are) to be used? Examples are: feedforward network, recurrent network, autoencoder or generative adversarial networks. Challenge - What are the limitations and open challenges? Examples are: variability, interactivity and creativity. Strategy - How do we model and control the process of generation? Examples are: single-step feedforward, iterative feedforward, sampling or input manipulation. For each dimension, we conduct a comparative analysis of various models and techniques and we propose some tentative multidimensional typology. This typology is bottom-up, based on the analysis of many existing deep-learning based systems for music generation selected from the relevant literature. These systems are described and are used to exemplify the various choices of objective, representation, architecture, challenge and strategy. The last section includes some discussion and some prospects.


title: Contact forms with large systolic ratio in dimension three

abstract: The systolic ratio of a contact form on a closed three-manifold is the quotient of the square of the shortest period of closed Reeb orbits by the contact volume. We show that every co-orientable contact structure on any closed three-manifold is defined by a contact form with arbitrarily large systolic ratio. This shows that the many existing systolic inequalities in Finsler and Riemannian geometry are not purely contact-topological phenomena.


title: Unified Formulations for Combined-Cycle Units

abstract: In this letter, we describe and develop edge-based and node-based formulations for combined-cycle units (CCUs) with different levels of accuracy in respecting physical restrictions of each turbine, from no restriction requirement of each turbine, to include min-up/-down time restrictions of each turbine, to finally include most restrictions such as min-up/-down time, capacity, and ramping restrictions of each turbine. We develop corresponding models for Independent System Operators (ISOs) and Vertically Integrated Utilities (VIUs), respectively. These models demonstrate the complexity in terms of the size of decision variables and show the tradeoff between accuracy and computational complexity. In general, to the best of our knowledge, this letter provides one of the first models that can capture both configuration-based model needs and all physical restrictions for each turbine within CCUs.


title: Non-equilibrium Green's function study of magneto-conductance features and oscillations in clean and disordered nanowires

abstract: We explore various aspects of magneto-conductance oscillations in semiconductor nanowires, developing quantum transport models based on the non-equilibrium Green's function formalism. In the clean case, Aharonov-Bohm (AB - h/e) oscillations are found to be dominant, contingent upon the surface confinement of electrons in the nanowire. We also numerically study disordered nanowires of finite length, bridging a gap in the existing literature. By varying the nanowire length and disorder strength, we identify the transition where Al'tshuler-Aronov-Spivak (AAS - h/2e) oscillations start dominating, noting the effects of considering an open system. Moreover, we demonstrate how the relative magnitudes of the scattering length and the device dimensions govern the relative dominance of these harmonics with energy, revealing that the AAS oscillations emerge and start dominating from the center of the band, much higher in energy than the conduction band-edge. We also show the ways of suppressing the oscillatory components (AB and AAS) to observe the non-oscillatory weak localization corrections, noting the interplay of scattering, incoherence/dephasing, the geometry of electronic distribution, and orientation of magnetic field. This is followed by a study of surface roughness which shows contrasting effects depending on its strength and type, ranging from magnetic depopulation to strong AAS oscillations. Subsequently, we show that dephasing causes a progressive degradation of the higher harmonics, explaining the re-emergence of the AB component even in long and disordered nanowires. Lastly, we show that our model qualitatively reproduces the experimental magneto-conductance spectrum in [Holloway et al, PRB 91, 045422 (2015)] reasonably well while demonstrating the necessity of spatial-correlations in the disorder potential, and dephasing.


title: Efficient Spherical Designs with Good Geometric Properties

abstract: Spherical $t$-designs on $\mathbb{S}^{d}\subset\mathbb{R}^{d+1}$ provide $N$ nodes for an equal weight numerical integration rule which is exact for all spherical polynomials of degree at most $t$. This paper considers the generation of efficient, where $N$ is comparable to $(1+t)^d/d$, spherical $t$-designs with good geometric properties as measured by their mesh ratio, the ratio of the covering radius to the packing radius. Results for $\mathbb{S}^{2}$ include computed spherical $t$-designs for $t = 1,...,180$ and symmetric (antipodal) $t$-designs for degrees up to $325$, all with low mesh ratios. These point sets provide excellent points for numerical integration on the sphere. The methods can also be used to computationally explore spherical $t$-designs for $d = 3$ and higher.


title: Exploring and Exploiting Diversity for Image Segmentation

abstract: Semantic image segmentation is an important computer vision task that is difficult because it consists of both recognition and segmentation. The task is often cast as a structured output problem on an exponentially large output-space, which is typically modeled by a discrete probabilistic model. The best segmentation is found by inferring the Maximum a-Posteriori (MAP) solution over the output distribution defined by the model. Due to limitations in optimization, the model cannot be arbitrarily complex. This leads to a trade-off: devise a more accurate model that incorporates rich high-order interactions between image elements at the cost of inaccurate and possibly intractable optimization OR leverage a tractable model which produces less accurate MAP solutions but may contain high quality solutions as other modes of its output distribution. This thesis investigates the latter and presents a two stage approach to semantic segmentation. In the first stage a tractable segmentation model outputs a set of high probability segmentations from the underlying distribution that are not just minor perturbations of each other. Critically the output of this stage is a diverse set of plausible solutions and not just a single one. In the second stage, a discriminatively trained re-ranking model selects the best segmentation from this set. The re-ranking stage can use much more complex features than what could be tractably used in the segmentation model, allowing a better exploration of the solution space than simply returning the MAP solution. The formulation is agnostic to the underlying segmentation model (e.g. CRF, CNN, etc.) and optimization algorithm, which makes it applicable to a wide range of models and inference methods. Evaluation of the approach on a number of semantic image segmentation benchmark datasets highlight its superiority over inferring the MAP solution.


title: MAGIC VHE Gamma-Ray Observations Of Binary Systems

abstract: There are several types of Galactic sources that can potentially accelerate charged particles up to GeV and TeV energies. We present here the results of our observations of the source class of gamma-ray binaries and the subclass of binary systems known as novae with the MAGIC telescopes. Up to now novae were only detected in the GeV range. This emission can be interpreted in terms of an inverse Compton process of electrons accelerated in a shock. In this case it is expected that protons in the same conditions can be accelerated to much higher energies. Consequently they may produce a second component in the gamma-ray spectrum at TeV energies. The focus here lies on the four sources: nova V339 Del, SS433, LS I +61 303 and V404 Cygni. The binary system LS I +61 303 was observed in a long-term monitoring campaign for 8 years. We show the newest results on our search for superorbital variability, also in context with contemporaneous optical observations. Furthermore, we present the observations of the only super-critical accretion system known in our galaxy: SS433. Finally, the results of the follow-up observations of the microquasar V404 Cygni during a series of outbursts in the X-ray band and the ones of the nova V339 Del will be discussed in these proceedings.


title: Quasi-neutral limit of Euler-Poisson system of compressible fluids coupled to a magnetic field

abstract: In this paper, we consider the quasi-neutral limit of a three dimensional Euler-Poisson system of compressible fluids coupled to a magnetic field. We prove that, as Debye length tends to zero, periodic initial-value problems of the model have unique smooth solutions existing in the time interval where the ideal incompressible magnetohydrodynamic equations has smooth solution. Meanwhile, it is proved that smooth solutions converge to solutions of incompressible magnetohydrodynamic equations with a sharp convergence rate in the process of quasi-neutral limit.


title: Causal properties of nonlinear gravitational waves in modified gravity

abstract: Some exact, nonlinear, vacuum gravitational wave solutions are derived for certain polynomial $f(R)$ gravities. We show that the boundaries of the gravitational domain of dependence, associated with events in polynomial $f(R)$ gravity, are not null as they are in general relativity. The implication is that electromagnetic and gravitational causality separate into distinct notions in modified gravity, which may have observable astrophysical consequences. The linear theory predicts that tachyonic instabilities occur, when the quadratic coefficient $a_{2}$ of the Taylor expansion of $f(R)$ is negative, while the exact, nonlinear, cylindrical wave solutions presented here can be superluminal for all values of $a_{2}$. Anisotropic solutions are found, whose wave-fronts trace out time- or space-like hypersurfaces with complicated geometric properties. We show that the solutions exist in $f(R)$ theories that are consistent with Solar System and pulsar timing experiments.


title: Antenna Selection in MIMO Cognitive Radio-Inspired NOMA Systems

abstract: This letter investigates a joint antenna selection (AS) problem for a MIMO cognitive radio-inspired non-orthogonal multiple access (CR-NOMA) network. In particular, a new computationally efficient joint AS algorithm, namely subset-based joint AS (SJ-AS), is proposed to maximize the signal-to-noise ratio of the secondary user under the condition that the quality of service (QoS) of the primary user is satisfied. The asymptotic closed-form expression of the outage performance for SJ-AS is derived, and the minimal outage probability achieved by SJ-AS among all possible joint AS schemes is proved. The provided numerical results demonstrate the superior performance of the proposed scheme.


title: Using Cross-Model EgoSupervision to Learn Cooperative Basketball Intention

abstract: We present a first-person method for cooperative basketball intention prediction: we predict with whom the camera wearer will cooperate in the near future from unlabeled first-person images. This is a challenging task that requires inferring the camera wearer's visual attention, and decoding the social cues of other players. Our key observation is that a first-person view provides strong cues to infer the camera wearer's momentary visual attention, and his/her intentions. We exploit this observation by proposing a new cross-model EgoSupervision learning scheme that allows us to predict with whom the camera wearer will cooperate in the near future, without using manually labeled intention labels. Our cross-model EgoSupervision operates by transforming the outputs of a pretrained pose-estimation network, into pseudo ground truth labels, which are then used as a supervisory signal to train a new network for a cooperative intention task. We evaluate our method, and show that it achieves similar or even better accuracy than the fully supervised methods do.


title: Pair-breaking quantum phase transition in superconducting nanowires

abstract: A quantum phase transition (QPT) between distinct ground states of matter is a wide-spread phenomenon in nature, yet there are only a few experimentally accessible systems where the microscopic mechanism of the transition can be tested and understood. These cases are unique and form the experimentally established foundation for our understanding of quantum critical phenomena. Here we report the discovery that a magnetic-field-driven QPT in superconducting nanowires - a prototypical 1d-system - can be fully explained by the critical theory of pair-breaking transitions characterized by a correlation length exponent $\nu \approx 1$ and dynamic critical exponent $z \approx 2$. We find that in the quantum critical regime, the electrical conductivity is in agreement with a theoretically predicted scaling function and, moreover, that the theory quantitatively describes the dependence of conductivity on the critical temperature, field magnitude and orientation, nanowire cross sectional area, and microscopic parameters of the nanowire material. At the critical field, the conductivity follows a $T^{(d-2)/z}$ dependence predicted by phenomenological scaling theories and more recently obtained within a holographic framework. Our work uncovers the microscopic processes governing the transition: The pair-breaking effect of the magnetic field on interacting Cooper pairs overdamped by their coupling to electronic degrees of freedom. It also reveals the universal character of continuous quantum phase transitions.


title: Mean-field theory of Bayesian clustering

abstract: We show that model-based Bayesian clustering, the probabilistically most systematic approach to the partitioning of data, can be mapped into a statistical physics problem for a gas of particles, and as a result becomes amenable to a detailed quantitative analysis. A central role in the resulting statistical physics framework is played by an entropy function. We demonstrate that there is a relevant parameter regime where mean-field analysis of this function is exact, and that, under natural assumptions, the lowest entropy state of the hypothetical gas corresponds to the optimal clustering of data. The byproduct of our analysis is a simple but effective clustering algorithm, which infers both the most plausible number of clusters in the data and the corresponding partitions. Describing Bayesian clustering in statistical mechanical terms is found to be natural and surprisingly effective.


title: On the Structure and Computation of Random Walk Times in Finite Graphs

abstract: We consider random walks in which the walk originates in one set of nodes and then continues until it reaches one or more nodes in a target set. The time required for the walk to reach the target set is of interest in understanding the convergence of Markov processes, as well as applications in control, machine learning, and social sciences. In this paper, we investigate the computational structure of the random walk times as a function of the set of target nodes, and find that the commute, hitting, and cover times all exhibit submodular structure, even in non-stationary random walks. We provide a unifying proof of this structure by considering each of these times as special cases of stopping times. We generalize our framework to walks in which the transition probabilities and target sets are jointly chosen to minimize the travel times, leading to polynomial-time approximation algorithms for choosing target sets. Our results are validated through numerical study.


title: The Voynich Manuscript is Written in Natural Language: The Pahlavi Hypothesis

abstract: The late medieval Voynich Manuscript (VM) has resisted decryption and was considered a meaningless hoax or an unsolvable cipher. Here, we provide evidence that the VM is written in natural language by establishing a relation of the Voynich alphabet and the Iranian Pahlavi script. Many of the Voynich characters are upside-down versions of their Pahlavi counterparts, which may be an effect of different writing directions. Other Voynich letters can be explained as ligatures or departures from Pahlavi with the intent to cope with known problems due to the stupendous ambiguity of Pahlavi text. While a translation of the VM text is not attempted here, we can confirm the Voynich-Pahlavi relation at the character level by the transcription of many words from the VM illustrations and from parts of the main text. Many of the transcribed words can be identified as terms from Zoroastrian cosmology which is in line with the use of Pahlavi script in Zoroastrian communities from medieval times.


title: General Relativistic effects in the structure of massive white dwarfs

abstract: In this work we investigate the structure of white dwarfs using the Tolman-Oppenheimer-Volkoff equations and compare our results with those obtained from Newtonian equations of gravitation in order to put in evidence the importance of General Relativity (GR) for the structure of such stars. We consider in this work for the matter inside white dwarfs two equations of state, frequently found in the literature, namely, the Chandrasekhar and Salpeter equations of state. We find that using Newtonian equilibrium equations, the radii of massive white dwarfs ($M>1.3M_{\odot}$) are overestimated in comparison with GR outcomes. For a mass of $1.415M_{\odot}$ the white dwarf radius predicted by GR is about 33\% smaller than the Newtonian one. Hence, in this case, for the surface gravity the difference between the general relativistic and Newtonian outcomes is about 65\%. We depict the general relativistic mass-radius diagrams as $M/M_{\odot}=R/(a+bR+cR^2+dR^3+kR^4)$, where $a$, $b$, $c$ and $d$ are parameters obtained from a fitting procedure of the numerical results and $k=(2.08\times 10^{-6}R_{\odot})^{-1}$, being $R_{\odot}$ the radius of the Sun in km. Lastly, we point out that GR plays an important role to determine any physical quantity that depends, simultaneously, on the mass and radius of massive white dwarfs.


title: On the domain of Dirac and Laplace type operators on stratified spaces

abstract: We consider a generalized Dirac operator on a compact stratified space with an iterated cone-edge metric. Assuming a spectral Witt condition, we prove its essential self-adjointness and identify its domain and the domain of its square with weighted edge Sobolev spaces. This sharpens previous results where the minimal domain is shown only to be a subset of an intersection of weighted edge Sobolev spaces. Our argument does not rely on microlocal techniques and is very explicit. The novelty of our approach is the use of an abstract functional analytic notion of interpolation scales. Our results hold for the Gauss-Bonnet and spin Dirac operators satisfying a spectral Witt condition.


title: Constraints on Mirror Models of Dark Matter from Observable Neutron-Mirror Neutron Oscillation

abstract: The process of neutron-mirror neutron oscillation, motivated by symmetric mirror dark matter models, is governed by two parameters: $n-n'$ mixing parameter $\delta$ and $n-n'$ mass splitting $\Delta$. For neutron mirror neutron oscillation to be observable, the splitting between their masses $\Delta$ must be small and current experiments lead to $\delta \leq 2\times 10^{-27}$ GeV and$\Delta \leq 10^{-24}$ GeV. We show that in mirror universe models where this process is observable, this small mass splitting constrains the way that one must implement asymmetric inflation to satisfy the limits of Big Bang Nucleosynthesis on the number of effective light degrees of freedom. In particular we find that if asymmetric inflation is implemented by inflaton decay to color or electroweak charged particles, the oscillation is unobservable. Also if one uses SM singlet fields for this purpose, they must be weakly coupled to the SM fields.


title: 360 Panorama Cloning on Sphere

abstract: In this paper, we address a novel problem of cloning a patch of the source spherical panoramic image to the target spherical panoramic image, which we call 360 panorama cloning. Considering the sphere geometry constraint embedded in spherical panoramic images, we develop a coordinate-based method that directly clones in the spherical domain. Our method neither differentiates the polar regions and equatorial regions, nor identifies the boundaries in the unrolled planar-formatted panorama. We discuss in depth two unique issues in panorama cloning, i.e. preserving the patch's orientation, and handling the large-patch cloning (covering over 180 field of view) which may suffer from discoloration artifacts. As experimental results demonstrate, our method is able to get visually pleasing cloning results and achieve real time cloning performance.


title: Hybrid Finite Element - Spectral Method for the Fractional Laplacian: Approximation Theory and Efficient Solver

abstract: A numerical scheme is presented for approximating fractional order Poisson problems in two and three dimensions. The scheme is based on reformulating the original problem posed over $\Omega$ on the extruded domain $\mathcal{C}=\Omega\times[0,\infty)$ following Caffarelli and Silvestre (2007). The resulting degenerate elliptic integer order PDE is then approximated using a hybrid FEM-spectral scheme. Finite elements are used in the direction parallel to the problem domain $\Omega$, and an appropriate spectral method is used in the extruded direction. The spectral part of the scheme requires that we approximate the true eigenvalues of the integer order Laplacian over $\Omega$. We derive an a priori error estimate which takes account of the error arising from using an approximation in place of the true eigenvalues. We further present a strategy for choosing approximations of the eigenvalues based on Weyl's law and finite element discretizations of the eigenvalue problem. The system of linear algebraic equations arising from the hybrid FEM-spectral scheme is decomposed into blocks which can be solved effectively using standard iterative solvers such as multigrid and conjugate gradient. Numerical examples in two and three dimensions show that the approach is quasi-optimal in terms of complexity.


title: Gluonic Distribution in the Constituent Quark and Nucleon Induced by the Instantons

abstract: Instanton effects can give large contribution to strong interacting processes, especially at the energy scale where perturbative QCD is no longer valid. However instanton contribution to the gluon contribution in constituent quark and nucleon has never been calculated before. Based on both the constituent quark picture and the instanton model for QCD vacuum, we calculate the unpolarized and polarized gluon distributions in the constituent quark and in the nucleon for the first time. We find that the pion field plays an important role in producing both the unpolarized and the polarized gluon distributions.


title: Quasi-normal modes of black holes in scalar-tensor theories with non-minimal derivative couplings

abstract: We study the quasi-normal modes of asymptotically anti-de Sitter black holes in a class of shift-symmetric Horndeski theories where a gravitational scalar is derivatively coupled to the Einstein tensor. The space-time differs from exact Schwarzschild-anti-de Sitter, resulting in a different effective potential for the quasi-normal modes and a different spectrum. We numerically compute this spectrum for a massless test scalar coupled both minimally to the metric, and non-minimally to the gravitational scalar. We find interesting differences from the Schwarzschild-anti-de Sitter black hole found in general relativity.


title: Ohmic Dissipation in Mini-Neptunes

abstract: In the presence of a magnetic field and weakly ionizing winds, ohmic dissipation is expected to take place in the envelopes of Jovian and lower-mass planets alike. While the process has been investigated on the former, there have been no studies done on mini-Neptunes so far. From structure and thermal evolution models, we determine that the required energy deposition for halting the contraction of mini-Neptunes increases with planetary mass and envelope fraction. Scaled to the insolation power, the ohmic heating needed is small $\sim10^{-5}$ -- orders of magnitude lower than for exo-Jupiters $\sim 10^{-2}$. Conversely, from solving the magnetic induction equation, we find that ohmic energy is dissipated more readily for lower-mass planets and those with larger envelope fractions. Combining these two trends, we find that ohmic dissipation in hot mini-Neptunes is strong enough to inflate their radii ($\sim 10^{15}$ W for $T_{eq}=1400K$). The implication is that the radii of hot mini-Neptunes may be attributed in part to ohmic heating. Thus, there is a trade-off between ohmic dissipation and H/He content for hot mini-Neptunes, adding a new degeneracy for the interpretation of the composition of such planets. In addition, ohmic dissipation would make mini-Neptunes more vulnerable to atmospheric evaporation.


title: Learning to Compose Domain-Specific Transformations for Data Augmentation

abstract: Data augmentation is a ubiquitous technique for increasing the size of labeled training sets by leveraging task-specific data transformations that preserve class labels. While it is often easy for domain experts to specify individual transformations, constructing and tuning the more sophisticated compositions typically needed to achieve state-of-the-art results is a time-consuming manual task in practice. We propose a method for automating this process by learning a generative sequence model over user-specified transformation functions using a generative adversarial approach. Our method can make use of arbitrary, non-deterministic transformation functions, is robust to misspecified user input, and is trained on unlabeled data. The learned transformation model can then be used to perform data augmentation for any end discriminative model. In our experiments, we show the efficacy of our approach on both image and text datasets, achieving improvements of 4.0 accuracy points on CIFAR-10, 1.4 F1 points on the ACE relation extraction task, and 3.4 accuracy points when using domain-specific transformation operations on a medical imaging dataset as compared to standard heuristic augmentation approaches.


title: Enriched Galerkin methods for two-phase flow in porous media with capillary pressure

abstract: In this paper, we propose an enriched Galerkin (EG) approximation for a two-phase pressure saturation system with capillary pressure in heterogeneous porous media. The EG methods are locally conservative, have fewer degrees of freedom compared to discontinuous Galerkin (DG), and have an efficient pressure solver. To avoid non-physical oscillations, an entropy viscosity stabilization method is employed for high order saturation approximations. Entropy residuals are applied for dynamic mesh adaptivity to reduce the computational cost for larger computational domains. The iterative and sequential IMplicit Pressure and Explicit Saturation (IMPES) algorithms are treated in time. Numerical examples with different relative permeabilities and capillary pressures are included to verify and to demonstrate the capabilities of EG.


title: Hidden edge Dirac point and robust quantum edge transport in InAs/GaSb quantum wells

abstract: The robustness of quantum edge transport in InAs/GaSb quantum wells in the presence of magnetic fields raises an issue on the fate of topological phases of matter under time-reversal symmetry breaking. A peculiar band structure evolution in InAs/GaSb quantum wells is revealed: the electron subbands cross the heavy hole subbands but anticross the light hole subbands. The topologically protected band crossing point (Dirac point) of the helical edge states is pulled to be close to and even buried in the bulk valence bands when the system is in a deeply inverted regime, which is attributed to the existence of the light hole subbands. A sizable Zeeman energy gap verified by the effective g-factors of edge states opens at the Dirac point by an in-plane or perpendicular magnetic field, however it can also be hidden in the bulk valance bands. This provides a plausible explanation for the recent observation on the robustness of quantum edge transport in InAs/GaSb quantum wells subjected to strong magnetic fields.


title: A magic tilt angle for stabilizing two-dimensional solitons by dipole-dipole interactions

abstract: In the framework of the Gross-Pitaevskii equation, we study the formation and stability of effectively two-dimensional solitons in dipolar Bose-Einstein condensates (BECs), with dipole moments polarized at an arbitrary angle $\theta$ relative to the direction normal to the system's plane. Using numerical methods and the variational approximation, we demonstrate that unstable Townes solitons, created by the contact attractive interaction, may be completely stabilized (with an anisotropic shape) by the dipole-dipole interaction (DDI), in interval $\theta ^{\text{cr}}<\theta \leq \pi /2$. The stability boundary, $\theta ^{\text{cr}}$, weakly depends on the relative strength of DDI, remaining close to the "magic angle", $\theta_{m}=\arccos \left( 1/\sqrt{3}\right) $. The results suggest that DDIs provide a generic mechanism for the creation of stable BEC\ solitons in higher dimensions.


title: Unitarity Analyses of $\pi N$ Elastic Scattering Amplitudes

abstract: The pion - nucleon scattering phase shifts in $s$ and $p$ waves are analyzed using PKU unitarization approach that can separate the phase shifts into different contributions from poles and branch cuts. It is found that in $S_{11}$ and $P_{11}$ channels, there exist large and positive missing contributions when one compares the phase shift from known resonances plus branch cuts with the experimental data, which indicates that those two channels may contain sizable effects from $N^*(1535)$ and $N^*(1440)$ shadow poles. Those results are obtained using tree level results of the $\pi N$ amplitude.


title: Boosting Deep Learning Risk Prediction with Generative Adversarial Networks for Electronic Health Records

abstract: The rapid growth of Electronic Health Records (EHRs), as well as the accompanied opportunities in Data-Driven Healthcare (DDH), has been attracting widespread interests and attentions. Recent progress in the design and applications of deep learning methods has shown promising results and is forcing massive changes in healthcare academia and industry, but most of these methods rely on massive labeled data. In this work, we propose a general deep learning framework which is able to boost risk prediction performance with limited EHR data. Our model takes a modified generative adversarial network namely ehrGAN, which can provide plausible labeled EHR data by mimicking real patient records, to augment the training dataset in a semi-supervised learning manner. We use this generative model together with a convolutional neural network (CNN) based prediction model to improve the onset prediction performance. Experiments on two real healthcare datasets demonstrate that our proposed framework produces realistic data samples and achieves significant improvements on classification tasks with the generated data over several stat-of-the-art baselines.


title: Non-commutative peaking phenomena and a local version of the hyperrigidity conjecture

abstract: We investigate various notions of peaking behaviour for states on a $\mathrm{C}^*$-algebra, where the peaking occurs within an operator system. We pay particularly close attention to the existence of sequences of elements forming an approximation of the characteristic function of a point in the state space. We exploit such characteristic sequences to localize the $\mathrm{C}^*$-algebra at a given state, and use this localization procedure to verify a variation of Arveson's hyperrigidity conjecture for arbitrary operator systems.


title: SPIRou Input Catalog: Activity, Rotation and Magnetic Field of Cool Dwarfs

abstract: Based on optical high-resolution spectra obtained with CFHT/ESPaDOnS, we present new measurements of activity and magnetic field proxies of 442 low-mass K5-M7 dwarfs. The objects were analysed as potential targets to search for planetary-mass companions with the new spectropolarimeter and high-precision velocimeter, SPIRou. We have analysed their high-resolution spectra in an homogeneous way: circular polarisation, chromospheric features, and Zeeman broadening of the FeH infrared line. The complex relationship between these activity indicators is analysed: while no strong connection is found between the large-scale and small-scale magnetic fields, the latter relates with the non-thermal flux originating in the chromosphere. We then examine the relationship between various activity diagnostics and the optical radial-velocity jitter available in the literature, especially for planet host stars. We use this to derive for all stars an activity merit function (higher for quieter stars) with the goal of identifying the most favorable stars where the radial-velocity jitter is low enough for planet searches. We find that the main contributors to the RV jitter are the large-scale magnetic field and the chromospheric non-thermal emission. In addition, three stars (GJ 1289, GJ 793, and GJ 251) have been followed along their rotation using the spectropolarimetric mode, and we derive their magnetic topology. These very slow rotators are good representatives of future SPIRou targets. They are compared to other stars where the magnetic topology is also known. The poloidal component of the magnetic field is predominent in all three stars.


title: Cascading failures in interdependent systems under a flow redistribution model

abstract: Robustness and cascading failures in interdependent systems has been an active research field in the past decade. However, most existing works use percolation-based models where only the largest component of each network remains functional throughout the cascade. Although suitable for communication networks, this assumption fails to capture the dependencies in systems carrying a flow (e.g., power systems, road transportation networks), where cascading failures are often triggered by redistribution of flows leading to overloading of lines. Here, we consider a model consisting of systems $A$ and $B$ with initial line loads and capacities given by $\{L_{A,i},C_{A,i}\}_{i=1}^{n}$ and $\{L_{B,i},C_{B,i}\}_{i=1}^{n}$, respectively. When a line fails in system $A$, $a$-fraction of its load is redistributed to alive lines in $B$, while remaining $(1-a)$-fraction is redistributed equally among all functional lines in $A$; a line failure in $B$ is treated similarly with $b$ giving the fraction to be redistributed to $A$. We give a thorough analysis of cascading failures of this model initiated by a random attack targeting $p_1$-fraction of lines in $A$ and $p_2$-fraction in $B$. We show that (i) the model captures the real-world phenomenon of unexpected large scale cascades and exhibits interesting transition behavior: the final collapse is always first-order, but it can be preceded by a sequence of first and second-order transitions; (ii) network robustness tightly depends on the coupling coefficients $a$ and $b$, and robustness is maximized at non-trivial $a,b$ values in general; (iii) unlike existing models, interdependence has a multi-faceted impact on system robustness in that interdependency can lead to an improved robustness for each individual network.


title: Stability and limit theorems for sequences of uniformly hyperbolic dynamics

abstract: In this paper we obtain an almost sure invariance principle for convergent sequences of either Anosov diffeomorphisms or expanding maps on compact Riemannian manifolds and prove an ergodic stability result for such sequences. The sequences of maps need not correspond to typical points of a random dynamical system. The methods in the proof rely on the stability of compositions of hyperbolic dynamical systems. We introduce the notion of sequential conjugacies and prove that these vary in a Lipschitz way with respect to the generating sequences of dynamical systems. As a consequence, we prove stability results for time-dependent expanding maps that complement results in [Franks74] on time-dependent Anosov diffeomorphisms.


title: Room-temperature superparamagnetism due to giant magnetic anisotropy in Mo$_{S}$ defected single-layer MoS$_{2}$

abstract: Room-temperature superparamagnetism due to a large magnetic anisotropy energy (MAE) of a single atom magnet has always been a prerequisite for nanoscale magnetic devices. Realization of two dimensional (2D) materials such as single-layer (SL) MoS$_{2}$, has provided new platforms for exploring magnetic effects, which is important for both fundamental research and for industrial applications. Here, we use density functional theory (DFT) to show that the antisite defect (Mo$_{S}$) in SL MoS$_{2}$ is magnetic in nature with a magnetic moment of $\mu$ of $\sim$ 2$\mu_{B}$ and, remarkably, exhibits an exceptionally large atomic scale MAE$=\varepsilon_{\parallel}-\varepsilon_{\perp}$ of $\sim$500 meV. Our calculations reveal that this giant anisotropy is the joint effect of strong crystal field and significant spin-orbit coupling (SOC). In addition, the magnetic moment $\mu$ can be tuned between 1$\mu_{B}$ and 3$\mu_{B}$ by varying the Fermi energy $\varepsilon_{F}$, which can be achieved either by changing the gate voltage or by chemical doping. We also show that MAE can be raised to $\sim$1 eV with n-type doping of the MoS$_{2}$:Mo$_{S}$ sample. Our systematic investigations deepen our understanding of spin-related phenomena in SL MoS$_{2}$ and could provide a route to nanoscale spintronic devices.


title: Conjunctive management of surface and groundwater under severe drought: A case study in southern Iran

abstract: Hormozgan Province, located in the south of Iran, faces several challenges regarding water resources management. The first one is the discharge of a massive volume of water to the Persian Gulf because of the concentration of the annual rainfalls in a short period of time and the narrow distance between the headwater and the coast. The second one is the unbalanced development of economic sectors in comparison with distribution of fresh water resources. Finally, long-term drought is also common in this area. The construction of a carry-over dam (Esteghlal Dam) and several conveyance pipelines and withdrawing of the surface water and groundwater resources were considered as the solution to deal with those challenges. During recent drought, severe overdraft and inefficient use of recourses confirmed the fact that all done before are not enough. During this period, there was a tendency to store water in reservoir in order to meet the demand of the urban sector. Therefore, the agricultural demand was the first victim of water allocation policy. It caused over exploitation of the groundwater resources (to meet the agricultural demand) and considerable losses (evaporation and leakage) from the reservoir. All of the above-mentioned problems confirm the necessity of the development of a conjunctive use policy. In this paper, all demand related to the Esteghlal Dam and the Minab Aquifer (Bandarabbas City and agriculture in the Minab Plain) were considered as the case study. The main objective was to find the best applicable conjunctive policy which as well guarantees the conservation of the Minab Aquifer. Alternative water allocation policies have been developed based on the present capacities and the experience of local operating staff.


title: A near-infrared interferometric survey of debris-disk stars. VI. Extending the exozodiacal light survey with CHARA/JouFLU

abstract: We report the results of high-angular-resolution observations that search for exozodiacal light in a sample of main sequence stars and sub-giants. Using the "jouvence" of the fiber linked unit for optical recombination (JouFLU) at the center for high angular resolution astronomy (CHARA) telescope array, we have observed a total of 44 stars. Out of the 44 stars, 33 are new stars added to the initial, previously published survey of 42 stars performed at CHARA with the fiber linked unit for optical recombiation (FLUOR). Since the start of the survey extension, we have detected a K-band circumstellar excess for six new stars at the ~ 1\% level or higher, four of which are known or candidate binaries, and two for which the excess could be attributed to exozodiacal dust. We have also performed follow-up observations of 11 of the stars observed in the previously published survey and found generally consistent results. We do however detect a significantly larger excess on three of these follow-up targets: Altair, $\upsilon$ And and $\kappa$ CrB. Interestingly, the last two are known exoplanet host stars. We perform a statistical analysis of the JouFLU and FLUOR samples combined, which yields an overall exozodi detection rate of $21.7^{+5.7}_{-4.1}\%$. We also find that the K-band excess in FGK-type stars correlates with the existence of an outer reservoir of cold ($\lesssim 100\,$K) dust at the $99\%$ confidence level, while the same cannot be said for A-type stars.


title: Visibility Estimation for the CHARA/JouFLU Exozodi Survey

abstract: We discuss the estimation of the interferometric visibility (fringe contrast) for the exozodi survey conducted at the CHARA array with the JouFLU beam combiner. We investigate the use of the statistical median to estimate the uncalibrated visibility from an ensemble of fringe exposures. Under a broad range of operating conditions, numerical simulations indicate that this estimator has a smaller bias compared to other estimators. We also propose an improved method for calibrating visibilities, which not only takes into account the time-interval between observations of calibrators and science targets, but also the uncertainties of the calibrators' raw visibilities. We test our methods with data corresponding to stars that do not display the exozodi phenomenon. The results of our tests show that the proposed method yields smaller biases and errors. The relative reduction in bias and error is generally modest, but can be as high as $\sim 20-40\%$ for the brightest stars of the CHARA data, and statistically significant at the $95\%$ confidence level (CL).


title: Generic conformally flat hypersurfaces in $\mathbb{R}^4$

abstract: In this paper, we study generic conformally flat hypersurfaces in the Euclidean $4$-space $\mathbb{R}^4$ using the framework of M\"{o}bius geometry. First, we classify locally the generic conformally flat hypersurfaces with closed M\"obius form under the M\"obius transformation group of $\mathbb{R}^4$. Such examples come from cones, cylinders, or rotational hypersurfaces over the surfaces with constant Gaussian curvature in $3$-spheres, Euclidean $3$-spaces, or hyperbolic $3$-spaces, respectively. Second, we investigate the global behavior of the generic conformally flat hypersurface and give some integral formulas about these hypersurfaces.


title: A M\"obius scalar curvature rigidity on compact conformally flat hypersurfaces in $\mathbb{S}^{n+1}$

abstract: In this paper, we study conformally flat hypersurfaces of dimension $n(\geq 4)$ in $\mathbb{S}^{n+1}$ using the framework of M\"obius geometry. First, we classify and explicitly express the conformally flat hypersurfaces of dimension $n(\geq 4)$ with constant M\"obius scalar curvature under the M\"obius transformation group of $\mathbb{S}^{n+1}$. Second, we prove that if the conformally flat hypersurface with constant M\"obius scalar curvature $R$ is compact, then $$R=(n-1)(n-2)r^2, ~~0<r<1,$$ and the compact conformally flat hypersurface is M\"obius equivalent to the torus $$\mathbb{ S}^1(\sqrt{1-r^2})\times \mathbb{S}^{n-1}(r)\hookrightarrow \mathbb{S}^{n+1}.$$


title: Probing Space-time Distortion with Laser Wake Field Acceleration and X-ray Free Electron Lasers

abstract: Petawatt class femtosecond lasers and x-ray free electron lasers (XFEL) open up a new page in research fields related to space and vacuum physics. One of fundamental principles can be explored by these new instruments is the equivalence principle, saying that gravitation and acceleration should be treated equivalently. If it is true this must lead to the appearance of the Unruh effect analogous to Hawking's black hole radiation. It says that a detector moving with a constant acceleration $w$ sees a boson's thermal bath with its temperature $T_w=\hbar w/2\pi k_B c$. Practical detection of the Unruh effect requires extremely strong acceleration and fast probing sources. Here we demonstrate that x-rays scattering from highly accelerated electrons can be used for such detection. We present two, feasible for the Unruh effect, designs for highly accelerated systems produced in underdense plasma irradiated by high intensity lasers pulses. The first is Thomson scattering of a XFEL pulse from plasma wave excited by an intense laser pulse. Properly chosen observation angles enable us to distinguish the Unruh effect from the normal Doppler shift with a reasonable photon number. The second is a system consisting of electron bunches accelerated by a laser wake-field, as sources and as detectors, which move in a constantly accelerating reference frame (Rindler space) and are probed by x-ray free electron laser pulses. The numbers of photons is shown to be enough to observe reproducible results.


title: Double Gravitational Wave Mergers

abstract: In this paper we study the dynamical outcome in which black hole (BH) binary-single interactions lead to two successive gravitational wave (GW) mergers; a scenario we refer to as a `double GW merger'. The first GW merger happens during the three-body interaction through a two-body GW capture, where the second GW merger is between the BH formed in the first GW merger and the remaining bound single BH. We estimate the probability for observing both GW mergers, and for observing only the second merger that we refer to as a `prompt second-generation (2G) merger'. We find that the probability for observing both GW mergers is only notable for co-planar interactions with low GW kicks ($\lesssim 10^{1}-10^{2}$ kms$^{-1}$), which suggests that double GW mergers can be used to probe environments facilitating such interactions. For isotropic encounters, such as the one found in globular clusters, the probability for prompt 2G mergers to form is only at the percent level, suggesting that second-generation mergers are most likely to be between BHs which have swapped partners at least once.


title: Primordial gravitational waves amplification from causal fluids

abstract: We consider the evolution of the gravitational wave spectrum for super-Hubble modes in interaction with a relativistic fluid, which is regarded as an effective description of fluctuations in a light scalar minimally coupled field, during the earliest epoch of the radiation dominated era after the end of inflation. We obtain the initial conditions for gravitons and fluid from quantum fluctuations at the end of inflation, and assume instantaneous reheating. We model the fluid by using relativistic causal hydrodynamics. There are two dimensionful parameters, the relaxation time $\tau$ and temperature. In particular we study the interaction between gravitational waves and the non trivial tensor (spin 2) part of the fluid energy-momentum tensor. Our main result is that the new dimensionful parameter $\tau$ introduces a new relevant scale which distinguishes two kinds of super-Hubble modes. For modes with $H^{-1}<\lambda<\tau$ the fluid-graviton interaction increases the amplitude of the primordial gravitational wave spectrum at the electroweak transition by a factor of about $1.3$ with respect to the usual scale invariant spectrum.


title: Unsupervised Generative Modeling Using Matrix Product States

abstract: Generative modeling, which learns joint probability distribution from data and generates samples according to it, is an important task in machine learning and artificial intelligence. Inspired by probabilistic interpretation of quantum physics, we propose a generative model using matrix product states, which is a tensor network originally proposed for describing (particularly one-dimensional) entangled quantum states. Our model enjoys efficient learning analogous to the density matrix renormalization group method, which allows dynamically adjusting dimensions of the tensors and offers an efficient direct sampling approach for generative tasks. We apply our method to generative modeling of several standard datasets including the Bars and Stripes, random binary patterns and the MNIST handwritten digits to illustrate the abilities, features and drawbacks of our model over popular generative models such as Hopfield model, Boltzmann machines and generative adversarial networks. Our work sheds light on many interesting directions of future exploration on the development of quantum-inspired algorithms for unsupervised machine learning, which are promisingly possible to be realized on quantum devices.

categories: cond-mat.stat-mech cs.LG quant-ph stat.ML


title: Stratification for multiplicative character sums

abstract: We prove a stratification result for certain families of $n$-dimensional (complete algebraic) multiplicative character sums. The character sums we consider are sums of products of $r$ multiplicative characters evaluated at rational functions, and the families (with $nr$ parameters) are obtained by allowing each of the $r$ rational functions to be replaced by an "offset", i.e. a translate, of itself. For very general such families, we show that the stratum of the parameter space on which the character sum has maximum weight $n+j$ has codimension at least $j\lfloor(r-1)/2(n-1)\rfloor$ for $1\le j\le n-1$ and $\lceil nr/2\rceil$ for $j=n$.


title: Deep Convolutional Neural Network for Age Estimation based on VGG-Face Model

abstract: Automatic age estimation from real-world and unconstrained face images is rapidly gaining importance. In our proposed work, a deep CNN model that was trained on a database for face recognition task is used to estimate the age information on the Adience database. This paper has three significant contributions in this field. (1) This work proves that a CNN model, which was trained for face recognition task, can be utilized for age estimation to improve performance; (2) Over fitting problem can be overcome by employing a pretrained CNN on a large database for face recognition task; (3) Not only the number of training images and the number subjects in a training database effect the performance of the age estimation model, but also the pre-training task of the employed CNN determines the performance of the model.


title: Anomalous diffusion analysis of the lifting events in the event-chain Monte Carlo for the classical XY models

abstract: We introduce a novel random walk model that emerges in the event-chain Monte Carlo (ECMC) of spin systems. In the ECMC, the lifting variable specifying the spin to be updated changes its value to one of its interacting neighbor spins. This movement can be regarded as a random walk in a random environment with a feedback. We investigate this random walk numerically in the case of the classical XY model in 1,2, and 3 dimensions to find that it is superdiffusive near the critical point of the underlying spin system. It is suggested that the performance improvement of the ECMC is related to this anomalous behavior.


title: Descriptors for Machine Learning of Materials Data

abstract: Descriptors, which are representations of compounds, play an essential role in machine learning of materials data. Although many representations of elements and structures of compounds are known, these representations are difficult to use as descriptors in their unchanged forms. This chapter shows how compounds in a dataset can be represented as descriptors and applied to machine-learning models for materials datasets.


title: Archaeology of active galaxies across the electromagnetic spectrum

abstract: Analytical and numerical galaxy-formation models indicate that active galactic nuclei (AGNs) likely play a prominent role in the formation and evolution of galaxies. However, quantifying this effect requires knowledge of how the nuclear activity proceeds throughout the life of a galaxy, whether it alternates with periods of quiescence and, if so, on what timescales these cycles occur. This topic has attracted growing interest, but making progress remains a challenging task. For optical and radio AGNs, a variety of techniques are used to perform a kind of "archaeology" that traces the signatures of past nuclear activity. Here we summarize recent findings regarding the lifecycle of an AGN from optical and radio observations. The limited picture we have so far suggests that these cycles can range from long periods of 10^7-10^8 yr to shorter periods of 10^4-10^5 yr, even reaching extreme events on timescales of just a few years. Together with simulations, observational results regarding the multiple cycles of AGN activity help to create a complete picture of the AGN lifecycle.


title: An accelerated proximal iterative hard thresholding method for $\ell_0$ minimization

abstract: In this paper, we consider a non-convex problem which is the sum of $\ell_0$-norm and a convex smooth function under box constraint. We propose one proximal iterative hard thresholding type method with extrapolation step used for acceleration and establish its global convergence results. In detail, the sequence generated by the proposed method globally converges to a local minimizer of the objective function. Finally, we conduct numerical experiments to show the proposed method's effectiveness on comparison with some other efficient methods.


title: A Fast Quantum-safe Asymmetric Cryptosystem Using Extra Superincreasing Sequences

abstract: This paper gives the definitions of an extra superincreasing sequence and an anomalous subset sum, and proposes a fast quantum-safe asymmetric cryptosystem called JUOAN2. The new cryptosystem is based on an additive multivariate permutation problem (AMPP) and an anomalous subset sum problem (ASSP) which parallel a multivariate polynomial problem and a shortest vector problem respectively, and composed of a key generator, an encryption algorithm, and a decryption algorithm. The authors analyze the security of the new cryptosystem against the Shamir minima accumulation point attack and the LLL lattice basis reduction attack, and prove it to be semantically secure (namely IND-CPA) on the assumption that AMPP and ASSP have no subexponential time solutions. Particularly, the analysis shows that the new cryptosystem has the potential to be resistant to quantum computing attack, and is especially suitable to the secret communication between two mobile terminals in maneuvering field operations under any weather. At last, an example explaining the correctness of the new cryptosystem is given.


title: Parameterized complexity of machine scheduling: 15 open problems

abstract: Machine scheduling problems are a long-time key domain of algorithms and complexity research. A novel approach to machine scheduling problems are fixed-parameter algorithms. To stimulate this thriving research direction, we propose 15 open questions in this area whose resolution we expect to lead to the discovery of new approaches and techniques both in scheduling and parameterized complexity theory.


title: On Gauge Invariant Cosmological Perturbations in UV-modified Horava Gravity: A Brief Introduction

abstract: We revisit gauge invariant cosmological perturbations in UV-modified, z = 3 Horava gravity with one scalar matter field, which has been proposed as a renormalizable gravity theory without the ghost problem in four dimensions. We confirm that there is no extra graviton modes and general relativity is recovered in IR, which achieves the consistency of the model. From the UV-modification terms which break the detailed balance condition in UV, we obtain scale-invariant power spectrums for non-inflationary backgrounds, like the power-law expansions, without knowing the details of early expansion history of Universe. This could provide a new framework for the Big Bang cosmology.


title: Throughput Optimal Decentralized Scheduling of Multi-Hop Networks with End-to-End Deadline Constraints: II Wireless Networks with Interference

abstract: Consider a multihop wireless network serving multiple flows in which wireless link interference constraints are described by a link interference graph. For such a network, we design routing-scheduling policies that maximize the end-to-end timely throughput of the network. Timely throughput of a flow $f$ is defined as the average rate at which packets of flow $f$ reach their destination node $d_f$ within their deadline. Our policy has several surprising characteristics. Firstly, we show that the optimal routing-scheduling decision for an individual packet that is present at a wireless node $i\in V$ is solely a function of its location, and "age". Thus, a wireless node $i$ does not require the knowledge of the "global" network state in order to maximize the timely throughput. We notice that in comparison, under the backpressure routing policy, a node $i$ requires only the knowledge of its neighbours queue lengths in order to guarantee maximal stability, and hence is decentralized. The key difference arises due to the fact that in our set-up the packets loose their utility once their "age" has crossed their deadline, thus making the task of optimizing timely throughput much more challenging than that of ensuring network stability. Of course, due to this key difference, the decision process involved in maximizing the timely throughput is also much more complex than that involved in ensuring network-wide queue stabilization. In view of this, our results are somewhat surprising.


title: The MRO-accompanied modes of Re-implantation into SiO2-host matrix: XPS and DFT based scenarios

abstract: The following scenarios of Re-embedding into SiO2-host by pulsed Re-implantation were derived and discussed after XPS-and-DFT electronic structure qualification: (i) low Re-impurity concentration mode -> the formation of combined substitutional and interstitial impurities with Re2O7-like atomic and electronic structures in the vicinity of oxygen vacancies; (ii) high Re-impurity concentration mode -> the fabrication of interstitial Re-metal clusters with the accompanied formation of ReO2-like atomic structures and (iii) an intermediate transient mode with Re-impurity concentration increase, when the precursors of interstitial defect clusters are appeared and growing in the host-matrix structure occur. An amplification regime of Re-metal contribution majority to the final Valence Band structure was found as one of the sequences of intermediate transient mode. It was shown that most of the qualified and discussed modes were accompanied by the MRO (middle range ordering) distortions in the initial oxygen subnetwork of the a-SiO2 host-matrix because of the appeared mixed defect configurations.


title: Probabilistic Rule Realization and Selection

abstract: Abstraction and realization are bilateral processes that are key in deriving intelligence and creativity. In many domains, the two processes are approached through rules: high-level principles that reveal invariances within similar yet diverse examples. Under a probabilistic setting for discrete input spaces, we focus on the rule realization problem which generates input sample distributions that follow the given rules. More ambitiously, we go beyond a mechanical realization that takes whatever is given, but instead ask for proactively selecting reasonable rules to realize. This goal is demanding in practice, since the initial rule set may not always be consistent and thus intelligent compromises are needed. We formulate both rule realization and selection as two strongly connected components within a single and symmetric bi-convex problem, and derive an efficient algorithm that works at large scale. Taking music compositional rules as the main example throughout the paper, we demonstrate our model's efficiency in not only music realization (composition) but also music interpretation and understanding (analysis).


title: Atomically flat two-dimensional silicon crystals with versatile electronic properties

abstract: Silicon (Si) is one of the most extensively studied materials owing to its significance to semiconductor science and technology. While efforts to find a new three-dimensional (3D) Si crystal with unusual properties have made some progress, its two-dimensional (2D) phases have not yet been explored as much. Here, based on a newly developed systematic $ab$ $initio$ materials searching strategy, we report a series of novel 2D Si crystals with unprecedented structural and electronic properties. The new structures exhibit perfectly planar outermost surface layers of a distorted hexagonal network with their thicknesses varying with the atomic arrangement inside. Dramatic changes in electronic properties ranging from semimetal to semiconducting with indirect energy gaps and even to one with direct energy gaps are realized by varying thickness as well as by surface oxidation. Our predicted 2D Si crystals with flat surfaces and tunable electronic properties will shed light on the development of silicon-based 2D electronics technology.


title: A p-variable higher-order finite volume time domain method for electromagnetic scattering problems

abstract: Higher-order accurate solution to electromagnetic scattering problems are obtained at reduced computational cost in a {\it p}-variable finite volume time domain method. Spatial operators of lower, including first-order accuracy, are employed locally in substantial parts of the computational domain during the solution process. The use of computationally cheaper lower order spatial operators does not affect the overall higher-order accuracy of the solution. The order of the spatial operator at a candidate cell during numerical simulation can vary in space and time and is dynamically chosen based on an order of magnitude comparison of scattered and incident fields at the cell center. Numerical results are presented for electromagnetic scattering from perfectly conducting two-dimensional scatterers subject to transverse magnetic and transverse electric illumination.