title: $L^\infty$-bounds for general singular elliptic equations with convection term

abstract: In this note we present $L^\infty$-results for problems of the form $A(x,u,Du)=B(x,u,Du)$ in $\Omega$, $u>0$ in $\Omega$, $u=0$ on $\partial\Omega$, where the growth condition for the function $B\colon \Omega \times \mathbb{R}\times \mathbb{R}^N\to \mathbb{R}$ contains both a singular and a convection term. We use ideas from the works of Giacomoni-Schindler-Takac (2007) and the authors (2019) to prove the boundedness of weak solutions for such general problem by applying appropriate bootstrap arguments.


title: On Sobolev norms for Lie group representations

abstract: We define Sobolev norms of arbitrary real order for a Banach representation $(\pi, E)$ of a Lie group, with regard to a single differential operator $D=d\pi(R^2+\Delta)$. Here, $\Delta$ is a Laplace element in the universal enveloping algebra, and $R>0$ depends explicitly on the growth rate of the representation. In particular, we obtain a spectral gap for $D$ on the space of smooth vectors of $E$. The main tool is a novel factorization of the delta distribution on a Lie group.


title: Single Top Production in PDF fits

abstract: We study the impact of recent LHC $t$-channel single top-quark and top-antiquark measurements at centre-of-mass energies of 7, 8 and 13 TeV on the parton distribution functions (PDFs) of the proton. We consider, namely, total cross sections, top-antitop cross section ratios, and differential distributions. We present a critical appraisal of the data, studying in particular how their description is affected by the theoretical details that enter the computation of the corresponding observables: QCD and electroweak higher-order corrections, the flavour scheme, and the value of the bottom-quark threshold. We perform a series of fits to the data within the NNPDF3.1 framework, whereby next-to-next-to-leading order QCD corrections are applied to single top measurements in a systematic way. We find that there exists an optimal combination of data that maximises consistency with the rest of the dataset, and efficiency in constraining the up, down and, partially, gluon PDFs.


title: An explicit large deviation analysis of the spatial cycle Huang-Yang-Luttinger model

abstract: Here we introduce a family of spatial cycle HYL-type models in which the counter-term only affects cycles longer than some cut-off that diverges in the thermodynamic limit. We derive large deviation principles and explicit pressure expressions for these models, and use the zeroes of the rate functions to study Bose-Einstein condensation.


title: Two-Dimensional Forms of Robust CO$_2$ Reduction Photocatalysts

abstract: Novel photoelectrocatalysts that use sunlight to power the CO$_2$ reduction reaction will be crucial for carbon-neutral power and energy-efficient industrial processes. Scalable photoelectrocatalysts must satisfy a stringent set of criteria, such as stability under operating conditions, product selectivity, and efficient light absorption. Two-dimensional materials can offer high specific surface area, tunability, and potential for heterostructuring, providing a fresh landscape of candidate catalysts. From a set of promising bulk CO$_2$ reduction photoelectrocatalysts, we screen for candidate mono-layers of these materials, then study their catalytic feasibility and suitability. For stable monolayer candidates, we verify the presence of visible-light band gaps, check that band edges can support CO$_2$ reduction, determine exciton binding energies, and compute surface reactivity. We find for SiAs, ZnTe, and ZnSe monolayers, visible light absorption is possible, and reaction selectivity biases towards CO production. We thus identify SiAs, ZnTe, and ZnSe monolayers as targets for further investigation, expanding the chemical space for CO$_2$ photoreduction.


title: A protocol to realize triatomic ultralong range Rydberg molecules in an ultracold KRb gas

abstract: We propose an experimentally realizable scheme to produce triatomic ultralong-range Rydberg molecules (TURM), formed in ultracold KRb traps. A near resonant coupling of the non-zero quantum defect Rydberg levels with the KRb molecule in N=0 and N=2 rotational levels, is engineered which exploits the unique Rydberg electron-molecule anisotropic dipole interaction. This near resonant coupling enhances the TURM binding and produces favorable Franck-Condon factors. Schemes for both postassium and rubidium excitations are demonstrated.


title: Singular matrix variate Birnbaum-Saunders distribution under elliptical models

abstract: This work sets the matrix variate Birnbaum-Saunders theory in the context of singular distributions and elliptical models. The so termed singular matrix variate generalised Birnbaum-Saunders distribution is obtained with respect the Hausdorff measure. Several basic properties and particular cases of this distribution are also derived.


title: Families of automorphisms of $\mathbb{C}^2$ exhibting a generic homoclinic tangency

abstract: We study families $\{f_\mu\}_{\mu \in \mathbb{D}}$ of automorphisms of $\mathbb{C}^2$ unfolding in a generic way a homoclinic tangency associated to a fixed point $p$ belonging to a horseshoe. We show that under the hypothesis of stable intersection between the linearized versions of the Cantor sets representing the local intersections of the unstable and stable manifolds of $p$ with the horseshoe there is prevalence of parameters corresponding to persistent homoclinic tangencies. Prevalence here means positive measure in the parameter $\mu$ asymptotically close to zero.


title: Flag fault-tolerant error correction for any stabilizer code

abstract: Conventional fault-tolerant quantum error-correction schemes require a number of extra qubits that grows linearly with the code's maximum stabilizer generator weight. For some common distance-three codes, the recent "flag paradigm" uses just two extra qubits. Chamberland and Beverland (2018) provide a framework for flag error correction of arbitrary-distance codes. However, their construction requires conditions that only some code families are known to satisfy. We give a flag error-correction scheme that works for any stabilizer code, unconditionally. With fast qubit measurement and reset, it uses $d+1$ extra qubits for a distance-$d$ code.


title: Unibody microscope objective tipped with a microsphere: design, fabrication and application in subwavelength imaging

abstract: Microsphere-based subwavelength imaging technique was first demonstrated in 2011. After nearly a decade of efforts, such technique has spawned numerous interests in fields such as laser nano-machining, imaging, sensing and biological detection. For wider industrial scale application of the technique, a robust, low-cost objective lens incorporating microsphere lens is highly desired and sought by many researchers. In this work, we demonstrate a unibody microscope objective lens formed by tipping a high-index microsphere onto a Plano-Convex lens and subsequently fitting them into a conventional objective lens. We call such new objective the Plano-Convex-Microsphere (PCM) objective, which resembles the appearance and operation of an ordinary microscope objective, while providing super-resolving power in discerning subwavelength nanoscale features in air condition. The imaging performance of PCM-objective along with the working distance has been systematically investigated. With the assistance of scanning process, larger area imaging is realized. The PCM-objective can be easily adaptive to many existing microscope systems and appealing for commercialization.


title: Deep Exemplar Networks for VQA and VQG

abstract: In this paper, we consider the problem of solving semantic tasks such as `Visual Question Answering' (VQA), where one aims to answers related to an image and `Visual Question Generation' (VQG), where one aims to generate a natural question pertaining to an image. Solutions for VQA and VQG tasks have been proposed using variants of encoder-decoder deep learning based frameworks that have shown impressive performance. Humans however often show generalization by relying on exemplar based approaches. For instance, the work by Tversky and Kahneman suggests that humans use exemplars when making categorizations and decisions. In this work, we propose the incorporation of exemplar based approaches towards solving these problems. Specifically, we incorporate exemplar based approaches and show that an exemplar based module can be incorporated in almost any of the deep learning architectures proposed in the literature and the addition of such a block results in improved performance for solving these tasks. Thus, just as the incorporation of attention is now considered de facto useful for solving these tasks, similarly, incorporating exemplars also can be considered to improve any proposed architecture for solving this task. We provide extensive empirical analysis for the same through various architectures, ablations, and state of the art comparisons.


title: Robust Product-line Pricing under Generalized Extreme Value Models

abstract: We study robust versions of pricing problems where customers choose products according to a generalized extreme value (GEV) choice model, and the choice parameters are not known exactly but lie in an uncertainty set. We show that, when the robust problem is unconstrained and the price sensitivity parameters are homogeneous, the robust optimal prices have a constant markup over products, and we provide formulas that allow to compute this constant markup by bisection. We further show that, in the case that the price sensitivity parameters are only homogeneous in each partition of the products, under the assumption that the choice probability generating function and the uncertainty set are partition-wise separable, a robust solution will have a constant markup in each subset, and this constant-markup vector can be found efficiently by convex optimization. We provide numerical results to illustrate the advantages of our robust approach in protecting from bad scenarios. Our results hold for convex and bounded uncertainty sets,} and for any arbitrary GEV model, including the multinomial logit, nested or cross-nested logit.


title: Propagative Block Diagonalisation Diabatisation of DFT/MRCI Electronic States

abstract: We present a framework for the calculation of diabatic states using the combined density functional theory and multireference configuration interaction (DFT/MRCI) method. Due to restrictions present in the current formulation of the DFT/MRCI method (a lack of analytical derivative couplings and the inability to use non-canonical Kohn-Sham orbitals), most common diabatisation strategies are not applicable. We demonstrate, however, that diabatic wavefunctions and potentials can be calculated at the DFT/MRCI level of theory using a propagative variant of the block diagonalisation diabatisation method (P-BDD). The proposed procedure is validated {\it via} the calculation of diabatic potentials for LiH and the simulation of the vibronic spectrum of pyrazine. In both cases, the combination of the DFT/MRCI and P-BDD methods is found to correctly recover the non-adiabatic coupling effects of the problem.


title: On the realization space of the cube

abstract: We consider the realization space of the $d$-dimensional cube, and show that any two realizations are connected by a finite sequence of projective transformations and normal transformations. We use this fact to define an analog of the connected sum construction for cubical $d$-polytopes, and apply this construction to certain cubical $d$-polytopes to conclude that the rays spanned by $f$-vectors of cubical $d$-polytopes are dense in Adin's cone. The connectivity result on cubes extends to any product of simplices, and further, it shows the respective realization spaces are contractible.


title: Imbalance measure and proactive channel rebalancing algorithm for the Lightning Network

abstract: Making a payment in a privacy-aware payment channel network is achieved by trying several payment paths until one succeeds. With a large network, such as the Lightning Network, a completion of a single payment can take up to several minutes. We introduce a network imbalance measure and formulate the optimization problem of improving the balance of the network as a sequence of rebalancing operations of the funds within the channels along circular paths within the network. As the funds and balances of channels are not globally known, we introduce a greedy heuristic with which every node despite the uncertainty can improve its own local balance. In an empirical simulation on a recent snapshot of the Lightning Network we demonstrate that the imbalance distribution of the network has a Kolmogorov-Smirnoff distance of 0.74 in comparison to the imbalance distribution after the heuristic is applied. We further show that the success rate of a single unit payment increases from 11.2% on the imbalanced network to 98.3% in the balanced network. Similarly, the median possible payment size across all pairs of participants increases from 0 to 0.5 mBTC for initial routing attempts on the cheapest possible path. We provide an empirical evidence that routing fees should be dropped for proactive rebalancing operations. Executing 4 different strategies for selecting rebalancing cycles lead to similar results indicating that a collaborative approach within the friend of a friend network might be preferable from a practical point of view


title: Blockchain-based Application Security Risks: A Systematic Literature Review

abstract: Although the blockchain-based applications are considered to be less vulnerable due to the nature of the distributed ledger, they did not become the silver bullet with respect to securing the information against different security risks. In this paper, we present a literature review on the security risks that can be mitigated by introducing the blockchain technology, and on the security risks that are identified in the blockchain-based applications. In addition, we highlight the application and technology domains where these security risks are observed. The results of this study could be seen as a preliminary checklist of security risks when implementing blockchain-based applications.


title: I-Love-Q Relations for Realistic White Dwarfs

abstract: The space-borne gravitational wave interferometer, LISA, is expected to detect signals from numerous binary white dwarfs. At small orbital separation, rapid rotation and large tidal bulges may allow for the stellar internal structure to be probed through such observations. Finite-size effects are encoded in quantities like the moment of inertia ($I$), tidal Love number (Love), and quadrupole moment ($Q$). The universal relations among them (I-Love-Q relations) can be used to reduce the number of parameters in the gravitational-wave templates. We here study I-Love-Q relations for more realistic white dwarf models than used in previous studies. In particular, we extend previous works by including (i) differential rotation and (ii) internal temperature profiles taken from detailed stellar evolution calculations. We use the publicly available stellar evolution code MESA to generate cooling models of both low- and high-mass white dwarfs. We show that differential rotation causes the I-Q relation (and similarly the Love-Q relation) to deviate from that of constant rotation. We also find that the introduction of finite temperatures causes the white dwarf to move along the zero-temperature mass sequence of I-Q values, moving towards values that suggest a lower mass. We further find that after only a few Myrs, high-mass white dwarfs are well-described by the zero-temperature model, suggesting that the relations with zero-temperature may be good enough in most practical cases. Low-mass, He-core white dwarfs with thick hydrogen envelopes may undergo long periods of H burning which sustain the stellar temperature and allow deviations from the I-Love-Q relations for longer times.


title: RIMAX: Ranking Semantic Rhymes by calculating Definition Similarity

abstract: This paper presents RIMAX, a new system for detecting semantic rhymes, using a Comprehensive Mexican Spanish Dictionary (DEM) and its Rhyming Dictionary (REM). We use the Vector Space Model to calculate the similarity of the definition of a query with the definitions corresponding to the assonant and consonant rhymes of the query. The preliminary results using a manual evaluation are very encouraging.


title: PDE-Based Multidimensional Extrapolation of Scalar Fields over Interfaces with Kinks and High Curvatures

abstract: We present a PDE-based approach for the multidimensional extrapolation of smooth scalar quantities across interfaces with kinks and regions of high curvature. Unlike the commonly used method of [2] in which normal derivatives are extrapolated, the proposed approach is based on the extrapolation and weighting of Cartesian derivatives. As a result, second- and third-order accurate extensions in the $L^\infty$ norm are obtained with linear and quadratic extrapolations, respectively, even in the presence of sharp geometric features. The accuracy of the method is demonstrated on a number of examples in two and three spatial dimensions and compared to the approach of [2]. The importance of accurate extrapolation near sharp geometric features is highlighted on an example of solving the diffusion equation on evolving domains.


title: Generalizing the log-Moyal distribution and regression models for heavy tailed loss data

abstract: Catastrophic loss data are known to be heavy-tailed. Practitioners then need models that are able to capture both tail and modal parts of claim data. To this purpose, a new parametric family of loss distributions is proposed as a gamma mixture of the generalized log-Moyal distribution from Bhati and Ravi (2018), termed the generalized log-Moyal gamma distribution (GLMGA). We discuss the probabilistic characteristics of the GLMGA, and statistical estimation of the parameters through maximum likelihood. While the GLMGA distribution is a special case of the GB2 distribution, we show that this simpler model is effective in regression modelling of large and modal loss data. A fire claim data set reported in Cummins et al. (1990) and a Chinese earthquake loss data set are used to illustrate the applicability of the proposed model.


title: Reflexive sheaves, Hermitian-Yang-Mills connections, and tangent cones

abstract: In this paper we give a complete algebro-geometric characterization of analytic tangent cones of admissible Hermitian-Yang-Mills connections over any reflexive sheaves.


title: Determination of the Cabibbo-Kobayashi-Maskawa matrix element $|V_{cb}|$

abstract: In this review we present and discuss the determination of the magnitude of the Cabibbo-Kobayashi-Maskawa (CKM) matrix parameter $V_{cb}$. The CKM matrix parametrizes the weak charged current interactions of quarks in the Standard Model (SM), and a precise determination of its elements has always been one of the most important targets of particle physics. The precise knowledge of the $|V_{cb}|$ value plays a pivotal role in testing the flavour sector of the SM and in the analyses of the unitarity of the CKM matrix. The SM does not predict the values of the CKM matrix elements, which have to be extracted by experimental data. Given the variety of channels that allow the extraction of $|V_{cb}|$, different theoretical and experimental techniques are mustered for the $|V_{cb}|$ determination. The exertion toward precision represents not only a significant test of our theoretical procedures but a stimulus towards better detection performances. The most precise measurements of $|V_{cb}|$ come from semileptonic decays, that being tree level at the lowest order in the SM are generally considered unaffected by physics beyond the SM. After summarizing the characteristics of the SM that set the frame for the determination of $|V_{cb}|$, we discuss inclusive and exclusive semileptonic $B$ decays. We analyze the $|V_{cb}|$ extraction methods and recent results, detailing both the theoretical and experimental techniques, and, finally, outline future prospects. We also comment on exclusive decays into heavy leptons, on the observables $R(D)$ and $R(D^\ast)$, on decays to excited $D$ meson states and on baryon decays.


title: A robust, template-free approach to precise radial velocity extraction

abstract: Doppler spectroscopy is a powerful tool for discovering and characterizing exoplanets. For decades, the standard approach to extracting radial velocities (RVs) has been to cross-correlate observed spectra with a weighted template mask. While still widely used, this approach is known to suffer numerous drawbacks, and so in recent years increasing attention has been paid to developing new and improved ways of extracting RVs. In this proof-of-concept paper we present a simple yet powerful approach to RV extraction. We use Gaussian processes to model and align all pairs of spectra with each other; without constructing a template, we combine pairwise RV shifts to produce accurate differential stellar RVs. Doing this on a highly-localized basis enables a data-driven approach to identifying and mitigating spectral contamination, even without the input of any prior astrophysical knowledge. We show that a crude implementation of this method applied to an inactive standard star yields RVs with comparable precision to and significantly lower rms variation than RVs from industry-standard pipelines. Though amenable to numerous improvements, even in its basic form presented here our method could facilitate the study of smaller planets around a wider variety of stars than has previously been possible.


title: The Douglas--Rachford Algorithm Converges Only Weakly

abstract: We show that the weak convergence of the Douglas--Rachford algorithm for finding a zero of the sum of two maximally monotone operators cannot be improved to strong convergence. Likewise, we show that strong convergence can fail for the method of partial inverses.


title: A Model Predictive Approach for Online Mobile Manipulation of Nonholonomic Objects using Learned Dynamics

abstract: A particular type of assistive robots designed for physical interaction with objects could play an important role assisting with mobility and fall prevention in healthcare facilities. Autonomous mobile manipulation presents a hurdle prior to safely using robots in real life applications. In this article, we introduce a mobile manipulation framework based on model predictive control using learned dynamics models of objects. We focus on the specific problem of manipulating legged objects such as those commonly found in healthcare environments and personal dwellings (e.g. walkers, tables, chairs). We describe a probabilistic method for autonomous learning of an approximate dynamics model for these objects. In this method, we learn dynamic parameters using a small dataset consisting of force and motion data from interactions between the robot and object. Moreover, we account for multiple manipulation strategies by formulating the manipulation planning as a mixed-integer convex optimization. The proposed framework considers the hybrid control system comprised of i) choosing which leg to grasp, and ii) control of continuous applied forces for manipulation. We formalize our algorithm based on model predictive control to compensate for modeling errors and find an optimal path to manipulate the object from one configuration to another. We show results for several objects with various wheel configurations. Simulation and physical experiments show that the obtained dynamics models are sufficiently accurate for safe and collision-free manipulation. When combined with the proposed manipulation planning algorithm, the robot successfully moves the object to a desired pose while avoiding collision.


title: Resolutions of surfaces with big cotangent bundle and $A_2$ singularities

abstract: We give a new criterion for when a resolution of a surface of general type with canonical singularities has big cotangent bundle and a new lower bound for the values of $d$ for which there is a surface with big cotangent bundle that is deformation equivalent to a smooth hypersurface in $\mathbb{P}^3$ of degree $d$.


title: Dust moments: towards a new modelling of the galactic dust emission for CMB B-modes analysis

abstract: The characterization of the spectral energy distribution (SED) of dust emission has become a critical issue in the quest for primordial B-modes. The dust SED is often approximated by a modified black body (MBB) emission law but the extent to which this is accurate is unclear. This paper addresses this question, expanding the dust SED at the power spectrum level. The expansion is performed by means of moments around the MBB law, related to derivatives with respect to the dust spectral index. We present the mathematical formalism and apply it to simulations and Planck total intensity data, from 143 to 857 GHz, because no polarized data are yet available that provide the required sensitivity to perform this analysis. With simulations, we demonstrate the ability of high-order moments to account for spatial variations in MBB parameters. Neglecting these moments leads to poor fits and a bias in the recovered dust spectral index. We identify the main moments that are required to fit the Planck data. The comparison with simulations helps us to disentangle the respective contributions from dust and the cosmic infrared background to the high-order moments, but the simulations give an insufficient description of the actual Planck data. Extending our model to cosmic microwave background B-mode analyses within a simplified framework, we find that ignoring the dust SED distortions, or trying to model them with a single decorrelation parameter, could lead to biases that are larger than the targeted sensitivity for the next generation of CMB B-mode experiments.


title: Topological models in rotationally symmetric quasicrystals

abstract: We investigate the physics of quasicrystalline models in the presence of a uniform magnetic field, focusing on the presence and construction of topological states. This is done by using the Hofstadter model but with the sites and couplings denoted by the vertex model of the quasicrystal, giving the Hofstadter vertex model. We specifically consider two-dimensional quasicrystals made from tilings of two tiles with incommensurate areas, focusing on the five-fold Penrose and the eight-fold Ammann-Beenker tilings. This introduces two competing scales; the uniform magnetic field and the incommensurate scale of the cells of the tiling. Due to these competing scales the periodicity of the Hofstadter butterfly is destroyed. We observe the presence of topological edge states on the boundary of the system via the Bott index that exhibit two way transport along the edge. For the eight-fold tiling we also observe internal edge-like states with non-zero Bott index, which exhibit two way transport along this internal edge. The presence of these internal edge states is a new characteristic of quasicrystalline models in magnetic fields. We then move on to considering interacting systems. This is challenging, in part because exact diagonalization on a few tens of sites is not expected to be enough to accurately capture the physics of the quasicrystalline system, and in part because it is not clear how to construct topological flatbands having a large number of states. We show that these problems can be circumvented by building the models analytically, and in this way we construct models with Laughlin type fractional quantum Hall ground states.


title: Argentum: a collaborative saving and investment platform for unstable countries

abstract: A crypto coin designed to provide a stabilization instrument backed up by minded like financial investments instruments to maintain the purchase value of savings across time, in order to construct new tools for unstable economies.


title: Geometric Considerations of a Good Dictionary for Koopman Analysis of Dynamical Systems: Cardinality, 'Primary Eigenfunction,' and Efficient Representation

abstract: Representation of a dynamical system in terms of simplifying modes is a central premise of reduced order modelling and a primary concern of the increasingly popular DMD (dynamic mode decomposition) empirical interpretation of Koopman operator analysis of complex systems. In the spirit of optimal approximation and reduced order modelling the goal of DMD methods and variants are to describe the dynamical evolution as a linear evolution in an appropriately transformed lower rank space, as best as possible. That Koopman eigenfunctions follow a linear PDE that is solvable by the method of characteristics yields several interesting relationships between geometric and algebraic properties. Corresponding to freedom to arbitrarily define functions on a data surface, for each eigenvalue, there are infinitely many eigenfunctions emanating along characteristics. We focus on contrasting cardinality and equivalence. In particular, we introduce an equivalence class, "primary eigenfunctions," consisting of those eigenfunctions with identical sets of level sets, that helps contrast algebraic multiplicity from other geometric aspects. Popularly, Koopman methods and notably dynamic mode decomposition (DMD) and variants, allow data-driven study of how measurable functions evolve along orbits. As far as we know, there has not been an in depth study regarding the underlying geometry as related to an efficient representation. We present a construction that leads to functions on the data surface whose corresponding eigenfunctions are efficient in a least squares sense. We call this construction optimal Koopman eigenfunction DMD, (oKEEDMD), and we highlight with examples.


title: Measuring the intelligence of an idealized mechanical knowing agent

abstract: We define a notion of the intelligence level of an idealized mechanical knowing agent. This is motivated by efforts within artificial intelligence research to define real-number intelligence levels of complicated intelligent systems. Our agents are more idealized, which allows us to define a much simpler measure of intelligence level for them. In short, we define the intelligence level of a mechanical knowing agent to be the supremum of the computable ordinals that have codes the agent knows to be codes of computable ordinals. We prove that if one agent knows certain things about another agent, then the former necessarily has a higher intelligence level than the latter. This allows our intelligence notion to serve as a stepping stone to obtain results which, by themselves, are not stated in terms of our intelligence notion (results of potential interest even to readers totally skeptical that our notion correctly captures intelligence). As an application, we argue that these results comprise evidence against the possibility of intelligence explosion (that is, the notion that sufficiently intelligent machines will eventually be capable of designing even more intelligent machines, which can then design even more intelligent machines, and so on).


title: Implementation of encryption on telemedicine

abstract: In the era of technology, data security is one of the most important things that both individuals and companies need. Information plays a huge role in our everyday life and keeping it safe should be our number one priority. Nowadays most of the information is transferred via the internet. One of the ways to use it is telemedicine. With the help of telemedicine, people can have an appointment at the doctors without losing their time or money. All of the information about one's health is transferred through the internet but is it that safe? What techniques are used to provide the safety of our confidential information? To guarantee that the information is not changed or that in case it will be stolen no one can still have access to it.


title: Comparison of various risk measures for an optimal portfolio

abstract: In this paper, we search for optimal portfolio strategies in the presence of various risk measure that are common in financial applications. Particularly, we deal with the static optimization problem with respect to Value at Risk, Expected Loss and Expected Utility Loss measures. To do so, under the Black- Scholes model for the financial market, Martingale method is applied to give closed-form solutions for the optimal terminal wealths; then via representation problem the optimal portfolio strategies are achieved. We compare the performances of these measures on the terminal wealths and optimal strategies of such constrained investors. Finally, we present some numerical results to compare them in several respects to give light to further studies.


title: A Holling's predator-prey model with handling and searching predators

abstract: The goal of this paper is to explain how to derive the classical Rosenzweig-MacArthur's model by using a model with two groups of predators in which we can separate the vital dynamic and consumption of prey to describe the behavior of the predators. This will be especially very convenient if we want to add an age or size structure to the predator population. As mentioned by Holling (without mathematical model), we divide the population of predators into the searching and the handling predators. In this article we study some properties of this model and conclude the paper proving that the model converges to the classical Rosenzweig-MacArthur's model by using an appropriate rescalling. This convergence property is observed by using numerical simulations.


title: Expanding Label Sets for Graph Convolutional Networks

abstract: In recent years, Graph Convolutional Networks (GCNs) and their variants have been widely utilized in learning tasks that involve graphs. These tasks include recommendation systems, node classification, among many others. In node classification problem, the input is a graph in which the edges represent the association between pairs of nodes, multi-dimensional feature vectors are associated with the nodes, and some of the nodes in the graph have known labels. The objective is to predict the labels of the nodes that are not labeled, using the nodes features, in conjunction with graph topology. While GCNs have been successfully applied to this problem, the caveats that they inherit from traditional deep learning models pose significant challenges to broad utilization of GCNs in node classification. One such caveat is that training a GCN requires a large number of labeled training instances, which is often not the case in realistic settings. To remedy this requirement, state-of-the-art methods leverage network diffusion-based approaches to propagate labels across the network before training GCNs. However, these approaches ignore the tendency of the network diffusion methods in biasing proximity with centrality, resulting in the propagation of labels to the nodes that are well-connected in the graph. To address this problem, here we present an alternate approach to extrapolating node labels in GCNs in the following three steps: (i) clustering of the network to identify communities, (ii) use of network diffusion algorithms to quantify the proximity of each node to the communities, thereby obtaining a low-dimensional topological profile for each node, (iii) comparing these topological profiles to identify nodes that are most similar to the labeled nodes.


title: Replacement of a Photomultiplier Tube with Silicon Photomultipliers for use in Safeguards Applications

abstract: We compared the performance of a SiPM array and a PMT in a laboratory setting using a single 5.08x5.08-cm cylindrical sodium iodide scintillating crystal. Photomultiplier tubes (PMTs) are the most commonly used device to monitor scintillating materials for radiation detection purposes. The systems are sometimes limited by disadvantages in the PMTs that may degrade their performance, including temperature dependence and variation with magnetic field. Instrumentation engineering must also contend with a potentially large volume relative to the active scintillator volume, fragility, and high voltage requirements. One possible alternative is an array of silicon photomultipliers (SiPMs). Measurements were made with a 5.04x5.04-cm sensL J-series SiPM array and a 7.62cm Hamamatsu PMT. We demonstrated how the SiPM bias can be sufficiently altered to remove the effects of temperature variation encountered in environments where nuclear safeguards work is often performed. Finally, we evaluated a method of determining enrichment levels of ${}^{235}U$ at various levels and shielding configurations, using both the PMT-mounted and SiPM-mounted scintillator.


title: An all speed second order well-balanced IMEX relaxation scheme for the Euler equations with gravity

abstract: We present an implicit-explicit well-balanced finite volume scheme for the Euler equations with a gravitational source term which is able to deal also with low Mach flows. To visualize the different scales we use the non-dimensionalized equations on which we apply a pressure splitting and a Suliciu relaxation. On the resulting model, we apply a splitting of the flux into a linear implicit and an non-linear explicit part that leads to a scale independent time-step. The explicit step consists of a Godunov type method based on an approximative Riemann solver where the source term is included in the flux formulation. We develop the method for a first order scheme and give an extension to second order. Both schemes are designed to be well-balanced, preserve the positivity of density and internal energy and have a scale independent diffusion. We give the low Mach limit equations for well-prepared data and show that the scheme is asymptotic preserving. These properties are numerically validated by various test cases.


title: Rough isometry between Gromov hyperbolic spaces and uniformization

abstract: In this note we show that given two complete geodesic Gromov hyperbolic spaces that are roughly isometric and $\varepsilon>0$, either the uniformization of both spaces with parameter $\varepsilon$ results in uniform domains, or else neither uniformized space is a uniform domain. The terminology of "uniformization" is from the work of Bonk, Heinonen and Koskela, where it is shown that the uniformization, with parameter $\varepsilon>0$, of a complete geodesic Gromov hyperbolic space results in a uniform domain provided $\varepsilon$ is small enough.


title: High Resolution Millimeter Wave Imaging For Self-Driving Cars

abstract: Recent years have witnessed much interest in expanding the use of networking signals beyond communication to sensing, localization, robotics, and autonomous systems. This paper explores how we can leverage recent advances in 5G millimeter wave (mmWave) technology for imaging in self-driving cars. Specifically, the use of mmWave in 5G has led to the creation of compact phased arrays with hundreds of antenna elements that can be electronically steered. Such phased arrays can expand the use of mmWave beyond vehicular communications and simple ranging sensors to a full-fledged imaging system that enables self-driving cars to see through fog, smog, snow, etc. Unfortunately, using mmWave signals for imaging in self-driving cars is challenging due to the very low resolution, the presence of fake artifacts resulting from multipath reflections and the absence of portions of the car due to specularity. This paper presents HawkEye, a system that can enable high resolution mmWave imaging in self driving cars. HawkEye addresses the above challenges by leveraging recent advances in deep learning known as Generative Adversarial Networks (GANs). HawkEye introduces a GAN architecture that is customized to mmWave imaging and builds a system that can significantly enhance the quality of mmWave images for self-driving cars.


title: MVF Designer: Design and Visualization of Morse Vector Fields

abstract: Vector field design on surfaces was originally motivated by applications in graphics such as texture synthesis and rendering. In this paper, we consider the idea of vector field design with a new motivation from computational topology. We are interested in designing and visualizing vector fields to aid the study of Morse functions, Morse vector fields, and Morse-Smale complexes. To achieve such a goal, we present MVF Designer, a new interactive design system that provides fine-grained control over vector field geometry, enables the editing of vector field topology, and supports a design process in a simple and efficient way using elementary moves, which are actions that initiate or advance our design process. Our system allows mathematicians to explore the complex configuration spaces of Morse functions, their gradients, and their associated Morse-Smale complexes. Understanding these spaces will help us expand further their applicability in topological data analysis and visualization.


title: Line Drawings of Natural Scenes Guide Visual Attention

abstract: Visual search is an important strategy of the human visual system for fast scene perception. The guided search theory suggests that the global layout or other top-down sources of scenes play a crucial role in guiding object searching. In order to verify the specific roles of scene layout and regional cues in guiding visual attention, we executed a psychophysical experiment to record the human fixations on line drawings of natural scenes with an eye-tracking system in this work. We collected the human fixations of ten subjects from 498 natural images and of another ten subjects from the corresponding 996 human-marked line drawings of boundaries (two boundary maps per image) under free-viewing condition. The experimental results show that with the absence of some basic features like color and luminance, the distribution of the fixations on the line drawings has a high correlation with that on the natural images. Moreover, compared to the basic cues of regions, subjects pay more attention to the closed regions of line drawings which are usually related to the dominant objects of the scenes. Finally, we built a computational model to demonstrate that the fixation information on the line drawings can be used to significantly improve the performances of classical bottom-up models for fixation prediction in natural scenes. These results support that Gestalt features and scene layout are important cues for guiding fast visual object searching.


title: BERTje: A Dutch BERT Model

abstract: The transformer-based pre-trained language model BERT has helped to improve state-of-the-art performance on many natural language processing (NLP) tasks. Using the same architecture and parameters, we developed and evaluated a monolingual Dutch BERT model called BERTje. Compared to the multilingual BERT model, which includes Dutch but is only based on Wikipedia text, BERTje is based on a large and diverse dataset of 2.4 billion tokens. BERTje consistently outperforms the equally-sized multilingual BERT model on downstream NLP tasks (part-of-speech tagging, named-entity recognition, semantic role labeling, and sentiment analysis). Our pre-trained Dutch BERT model is made available at https://github.com/wietsedv/bertje.


title: Stefan problem for a non-ergodic facilitated exclusion process

abstract: We consider the facilitated exclusion process, which is a nonergodic, kinetically constrained exclusion process. We show that in the hydrodynamic limit, its macroscopic behavior is governed by a free boundary problem. The particles evolve on the one-dimensional lattice according to jump rates which are degenerate, since they can vanish on non-trivial configurations and create distinct phases: indeed, configurations can be totally blocked (they cannot evolve under the dynamics), ergodic (they belong to an irreducible component), or transient (after a transitive period of time they will become either blocked or ergodic). We additionally prove that the microscopic separation into blocked/ergodic phases fully coincides with the moving interface problem given by the hydrodynamic equation.


title: Quantal Response Equilibria in Binary Choice Games on Graphs

abstract: Static and dynamic equilibria in noisy binary choice games on graphs are considered. Equations defining static quantal response equilibria (QRE) for binary choice games on graphs with arbitrary topology and noise distribution are written. It is shown that in the special cases of complete graph and arbitrary noise distribution, and circular and star topology and logistic noise distribution the resulting equations can be cast in the form coinciding with that derived in the earlier literature. Explicit equations QRE for non-directed graphs in the annealed approximation are derived. It is shown that the resulting effect on the phase transition is the same as found in the literature on phase transition in the Ising model on graphs in the same approximation.Evolutionary noisy binary choice game having the earlier described QRE as its stationary equilibria in the mean field approximation is constructed using the formalism of master equation.


title: GriSPy: A Python package for Fixed-Radius Nearest Neighbors Search

abstract: We present a new regular grid search algorithm for quick fixed-radius nearest-neighbor lookup developed in Python. This module indexes a set of k-dimensional points in a regular grid, with optional periodic conditions, providing a fast approach for nearest neighbors queries. In this first installment we provide three types of queries: $bubble$, $shell$ and the $nth-nearest$; as well as three different metrics of interest in astronomy: the $euclidean$ and two distance functions in spherical coordinates of varying precision, $haversine$ and $Vincenty$; and the possibility of providing a custom distance function. This package results particularly useful for large datasets where a brute-force search turns impractical.


title: Beyond teaching methods: highlighting physics faculty's strengths and agency

abstract: Much work in physics education research (PER) characterizes faculty teaching practice in terms of whether faculty use specific named PER-based teaching methods, either with fidelity or with adaptation; we call this research paradigm the "teaching-method-centered paradigm." However, most faculty do not frame their teaching in terms of which particular named methods they use, but rather in terms of their own ideas and values, suggesting that the teaching-method-centered paradigm misses key features of faculty teaching. These key features include the productive ideas that faculty have about student learning and faculty agency around teaching. We present three case studies of faculty talking about their teaching, and analyze them in terms of two theoretical frameworks: a framework of teaching principles (How Learning Works) and a framework of faculty agency (Self-Determination Theory). We show that these frameworks well characterize key features of faculty teaching practices and agency, and can be combined in a new paradigm for modeling faculty teaching which we call an "asset-based agentic paradigm." We therefore encourage physics education researchers to move beyond the teaching-method-centered paradigm and think about faculty teaching using an asset-based agentic paradigm.


title: A reduced model for solute transport in compliant blood vessels with arbitrary axial velocity profile

abstract: We derive a reduced model of solute transport in blood based on the center manifold theory. The derivation is carried out on a convection diffusion equation with general axial and radial velocity profiles in a blood vessel of varying cross section. We couple the resulting one dimensional equation to a reduced model for blood flow in a compliant vessel. In the special case of a no--slip axial velocity profile, we study the dependence of the diffusion coefficient and corresponding numerical solutions on the shape of the profile.


title: Invertible Gaussian Reparameterization: Revisiting the Gumbel-Softmax

abstract: The Gumbel-Softmax is a continuous distribution over the simplex that is often used as a relaxation of discrete distributions. Because it can be readily interpreted and easily reparameterized, it enjoys widespread use. We propose a modular and more flexible family of reparameterizable distributions where Gaussian noise is transformed into a one-hot approximation through an invertible function. This invertible function is composed of a modified softmax and can incorporate diverse transformations that serve different specific purposes. For example, the stick-breaking procedure allows us to extend the reparameterization trick to distributions with countably infinite support, thus enabling the use of our distribution along nonparametric models, or normalizing flows let us increase the flexibility of the distribution. Our construction enjoys theoretical advantages over the Gumbel-Softmax, such as closed form KL, and significantly outperforms it in a variety of experiments. Our code is available at https://github.com/cunningham-lab/igr.


title: Smart Home Appliances: Chat with Your Fridge

abstract: Current home appliances are capable to execute a limited number of voice commands such as turning devices on or off, adjusting music volume or light conditions. Recent progress in machine reasoning gives an opportunity to develop new types of conversational user interfaces for home appliances. In this paper, we apply state-of-the-art visual reasoning model and demonstrate that it is feasible to ask a smart fridge about its contents and various properties of the food with close-to-natural conversation experience. Our visual reasoning model answers user questions about existence, count, category and freshness of each product by analyzing photos made by the image sensor inside the smart fridge. Users may chat with their fridge using off-the-shelf phone messenger while being away from home, for example, when shopping in the supermarket. We generate a visually realistic synthetic dataset to train machine learning reasoning model that achieves 95% answer accuracy on test data. We present the results of initial user tests and discuss how we modify distribution of generated questions for model training based on human-in-the-loop guidance. We open source code for the whole system including dataset generation, reasoning model and demonstration scripts.


title: Joule-Thomson expansion of a specific black hole in different dimensions

abstract: In this paper, we have studied the Joule-Thomson expansion of a specific black hole in f(R) gravity coupled with Yang-Mills field. Firstly, 4-dimensional equation of state and the Joule-Thomson coefficient were derived from thermodynamic quantities, the critical temperature and the inversion temperature were obtained, and the isenthalpic curves and the inversion curves have plotted in the T-P plane. Then, by considering the higher dimensions black hole, the inversion temperature was obtained, the isenthalpic curves and the inversion curves also were plotted, and the effect of nonlinear term $\eta$ and dimension for the Joule-Thomson expansion is demonstrated visually by depicting different curves. Finally, we compared the ratio of the inversion temperature to the critical temperatures with the van der Waals fluid and other black hole, which the ratio is not equal to 0.5, and the dimension changes, the ratio also changes.


title: The 3d Twisted Index and Wall-Crossing

abstract: We study the twisted index of 3d $\mathcal{N}=2$ supersymmetric gauge theories on $S^1 \times \Sigma$ in the presence of a real FI parameter deformation. This parameter induces a 1d FI parameter for the effective supersymmetric quantum mechanics on $S^1$. Using supersymmetric localisation, the twisted index can be expressed as a contour integral. We show that the contour prescription is modified in the presence of the 1d FI parameter, leading to wall-crossing phenomena for the twisted index. In particular, we derive a general wall-crossing formula for abelian gauge theories. We also examine the origin of wall-crossing as change of stability condition in the algebro-geometric interpretation of the twisted index. These ideas are illustrated for abelian theories with $\mathcal{N}=4$ supersymmetry and in a non-abelian example that reproduces wall-crossing phenomena associated to moduli spaces of stable pairs.


title: Graph Convolutional Networks: analysis, improvements and results

abstract: In the current era of neural networks and big data, higher dimensional data is processed for automation of different application areas. Graphs represent a complex data organization in which dependencies between more than one object or activity occur. Due to the high dimensionality, this data creates challenges for machine learning algorithms. Graph convolutional networks were introduced to utilize the convolutional models concepts that shows good results. In this context, we enhanced two of the existing Graph convolutional network models by proposing four enhancements. These changes includes: hyper parameters optimization, convex combination of activation functions, topological information enrichment through clustering coefficients measure, and structural redesign of the network through addition of dense layers. We present extensive results on four state-of-art benchmark datasets. The performance is notable not only in terms of lesser computational cost compared to competitors, but also achieved competitive results for three of the datasets and state-of-the-art for the fourth dataset.


title: Gaussian Process Latent Variable Model Factorization for Context-aware Recommender Systems

abstract: Context-aware recommender systems (CARS) have gained increasing attention due to their ability to utilize contextual information. Compared to traditional recommender systems, CARS are, in general, able to generate more accurate recommendations. Latent factors approach accounts for a large proportion of CARS. Recently, a non-linear Gaussian Process (GP) based factorization method was proven to outperform the state-of-the-art methods in CARS. Despite its effectiveness, GP model-based methods can suffer from over-fitting and may not be able to determine the impact of each context automatically. In order to address such shortcomings, we propose a Gaussian Process Latent Variable Model Factorization (GPLVMF) method, where we apply an appropriate prior to the original GP model. Our work is primarily inspired by the Gaussian Process Latent Variable Model (GPLVM), which was a non-linear dimensionality reduction method. As a result, we improve the performance on the real datasets significantly as well as capturing the importance of each context. In addition to the general advantages, our method provides two main contributions regarding recommender system settings: (1) addressing the influence of bias by setting a non-zero mean function, and (2) utilizing real-valued contexts by fixing the latent space with real values.


title: Dynamical formation of quantum droplets in a $^{39}$K mixture

abstract: We report on the dynamical formation of self-bound quantum droplets in attractive mixtures of $^{39}$K atoms. Considering the experimental observations of Semeghini et al., Phys. Rev. Lett. 120, 235301 (2018), we perform numerical simulations to understand the relevant processes involved in the formation of a metastable droplet from an out-of-equilibrium mixture. We first analyze the so-called self-evaporation mechanism, where the droplet dissipates energy by releasing atoms, and then we consider the effects of losses due to three-body recombinations and to the balancing of populations in the mixture. We discuss the importance of these three mechanisms in the observed droplet dynamics and their implications for future experiments.


title: Exploiting the potential of deep reinforcement learning for classification tasks in high-dimensional and unstructured data

abstract: This paper presents a framework for efficiently learning feature selection policies which use less features to reach a high classification precision on large unstructured data. It uses a Deep Convolutional Autoencoder (DCAE) for learning compact feature spaces, in combination with recently-proposed Reinforcement Learning (RL) algorithms as Double DQN and Retrace.


title: Comparing Hierarchical Data Structures for Sparse Volume Rendering with Empty Space Skipping

abstract: Empty space skipping can be efficiently implemented with hierarchical data structures such as k-d trees and bounding volume hierarchies. This paper compares several recently published hierarchical data structures with regard to construction and rendering performance. The papers that form our prior work have primarily focused on interactively building the data structures and only showed that rendering performance is superior to using simple acceleration data structures such as uniform grids with macro cells. In the area of surface ray tracing, there exists a trade-off between construction and rendering performance of hierarchical data structures. In this paper we present performance comparisons for several empty space skipping data structures in order to determine if such a trade-off also exists for volume rendering with uniform data topologies.


title: Non-congruent non-degenerate curves with identical signatures

abstract: While the equality of differential signatures (Calabi et al, Int. J. Comput. Vis. 26: 107-135, 1998) is known to be a necessary condition for congruence, it is not sufficient (Musso and Nicolodi, J. Math Imaging Vis. 35: 68-85, 2009). Hickman (J. Math Imaging Vis. 43: 206-213, 2012, Theorem 2) claimed that for non-degenerate planar curves, equality of Euclidean signatures implies congruence. We prove that while Hickman's claim holds for simple, closed curves with simple signatures, it fails for curves with non-simple signatures. In the later case, we associate a directed graph with the signature and show how various paths along the graph give rise to a family of non-congruent, non-degenerate curves with identical signatures. Using this additional structure, we formulate congruence criteria for non-degenerate, closed, simple curves and show how the paths reflect the global and local symmetries of the corresponding curve.


title: Light meson spectroscopy at $e^+e^-$ machines

abstract: The study of light hadrons is central to the understanding of confinement--a unique property of QCD. The quark model describs mesons as bound states of quarks and antiquarks. LQCD and QCD-motivated models for hadrons, however, predict a richer spectrum of mesons that takes into account not only the quark degrees of freedom but also the gluonic degrees of freedom. A selection of recent progress in the light-quark sector with unprecedented high-statistics data sets from $e^+e^-$ experiments are reviewed.


title: Efficient acceleration of high-charge quasi-monoenergetic electron bunches in the blow-out regime using a few TW mid-infrared laser pulses

abstract: Efficient production of high-charge electron bunches in laser wakefield acceleration using a mid-infrared (MIR) laser pulse is investigated by two-dimensional particle-in-cell simulations. Only a 2.5 TW (100 mJ, 40 fs) MIR laser pulse with a wavelength of 1.5 um can produce a quasi-monoenergetic electron (QME) bunch with a peak energy of 65 MeV in the blow-out regime. The simulation results are compared with those for the experiment showing the generation of 40-60 MeV QME bunches with more than 10^8 electrons using an 8 TW laser pulse with a wavelength of 0.8 um. The number of electrons in the QME bunch produced by a 1.5 um laser is 10 times higher than that produced by a 0.8 um laser, and is equivalent to 10^9. The conversion efficiency from the laser energy to the QEM bunch energy is more than 10%. Laser wakefield acceleration by a TW-class MIR laser pulse opens the door to generating a high-charge QME bunch with high efficiency.


title: Group-Connected Multilayer Perceptron Networks

abstract: Despite the success of deep learning in domains such as image, voice, and graphs, there has been little progress in deep representation learning for domains without a known structure between features. For instance, a tabular dataset of different demographic and clinical factors where the feature interactions are not given as a prior. In this paper, we propose Group-Connected Multilayer Perceptron (GMLP) networks to enable deep representation learning in these domains. GMLP is based on the idea of learning expressive feature combinations (groups) and exploiting them to reduce the network complexity by defining local group-wise operations. During the training phase, GMLP learns a sparse feature grouping matrix using temperature annealing softmax with an added entropy loss term to encourage the sparsity. Furthermore, an architecture is suggested which resembles binary trees, where group-wise operations are followed by pooling operations to combine information; reducing the number of groups as the network grows in depth. To evaluate the proposed method, we conducted experiments on different real-world datasets covering various application areas. Additionally, we provide visualizations on MNIST and synthesized data. According to the results, GMLP is able to successfully learn and exploit expressive feature combinations and achieve state-of-the-art classification performance on different datasets.


title: Divide and Conquer: an Accurate Machine Learning Algorithm to Process Split Videos on a Parallel Processing Infrastructure

abstract: Every day the number of traffic cameras in cities rapidly increase and huge amount of video data are generated. Parallel processing infrastruture, such as Hadoop, and programming models, such as MapReduce, are being used to promptly process that amount of data. The common approach for video processing by using Hadoop MapReduce is to process an entire video on only one node, however, in order to avoid parallelization problems, such as load imbalance, we propose to process videos by splitting it into equal parts and processing each resulting chunk on a different node. We used some machine learning techniques to detect and track the vehicles. However, video division may produce inaccurate results. To solve this problem we proposed a heuristic algorithm to avoid process a vehicle in more than one chunk.


title: Decay rate of harmonic functions for non-symmetric strictly $\alpha$-stable L\'evy processes

abstract: In this paper we investigate functions that are harmonic with respect to the non-symmetric strictly $\alpha$-stable L\'evy processes on an open set $D \in \mathbb{R}^d$. We obtain the explicit formula for their boundary decay rate at parts of the boudary of $D$ outside of which they vanish.


title: Robust Stability of Multicomponent Membranes: the Role of Glycolipids

abstract: We present the multicomponent functionalized free energies that characterize the low-energy packings of amphiphilic molecules within a membrane through a correspondence to connecting orbits within a reduced dynamical system. To each connecting orbits we associate a manifold of low energy membrane-type configurations parameterized by a large class of admissible interfaces. The normal coercivity of the manifolds is established through criteria depending solely on the structure of the associated connecting orbit. We present a class of examples that arise naturally from geometric singular perturbation techniques, focusing on a model that characterizes the stabilizing role of cholesterol-like glycolipids within phospholipid membranes.


title: The determinant of the distance matrix of graphs with at most two cycles

abstract: Let $G$ be a connected graph on $n$ vertices and $D(G)$ its distance matrix. The formula for computing the determinant of this matrix in terms of the number of vertices is known when the graph is either a tree or {a} unicyclic graph. In this work we generalize these results, obtaining the determinant of the distance matrix for {all graphs} in a {class, including trees, unicyclic and bicyclic graphs. This class actually includes graphs with many cycles, provided that each block of the graph is at most bicyclic.}


title: An Efficient Algorithm for the Escherization Problem in the Polygon Representation

abstract: In the Escherization problem, given a closed figure in a plane, the objective is to find a closed figure that is as close as possible to the input figure and tiles the plane. Koizumi and Sugihara's formulation reduces this problem to an eigenvalue problem in which the tile and input figures are represented as $n$-point polygons. In their formulation, the same number of points are assigned to every tiling edge, which forms a tiling template, to parameterize the tile shape. By considering all possible configurations for the assignment of the $n$ points to the tiling edges, we can achieve much flexibility in terms of the possible tile shapes and the quality of the optimal tile shape improves drastically, at the cost of enormous computational effort. In this paper, we propose an efficient algorithm to find the optimal tile shape for this extended formulation of the Escherization problem.


title: Quantum statistical effects in warm nuclear matter with light and heavy clusters

abstract: We have investigated the compositions of hot and dense nuclear matter with the focus on the quantum-statistical effects for light clusters. Our main observation is that the formation of heavy nuclei in stellar matter leads to the reduction of the number densities of light clusters. As a result, the quantum statistical effects such as Bose-Einstein condensation of deuterons and $\alpha$-particles are suppressed. The deviations in number densities of light clusters between Boltzmann and quantum statistics at sub-nuclear densities and temperatures 1-3 MeV are $\sim$0.2$\%$ at most. The condensation of $\alpha$-particles in iso-symmetric nuclear matter is predicted only under the assumptions that it is composed only of nucleons and light clusters and no heavy nuclei are present. We also found that the Coulomb screening effects hardly affect the critical baryon densities for alpha condensation, although mass and chemical potential of $\alpha$-particles are modified.


title: Analysis of Graph Transformation Systems: Native vs Translation-based Techniques

abstract: The paper summarises the contributions in a session at GCM 2019 presenting and discussing the use of native and translation-based solutions to common analysis problems for Graph Transformation Systems (GTSs). In addition to a comparison of native and translation-based techniques in this area, we explore design choices for the latter, s.a. choice of logic and encoding method, which have a considerable impact on the overall quality and complexity of the analysis. We substantiate our arguments by citing literature on application of theorem provers, model checkers, and SAT/SMT solver in GTSs, and conclude with a general discussion from a software engineering perspective, including comments from the workshop participants, and recommendations on how to investigate important design choices in the future.


title: Transformation of Turing Machines into Context-Dependent Fusion Grammars

abstract: Context-dependent fusion grammars were recently introduced as devices for the generation of hypergraph languages. In this paper, we show that this new type of hypergraph grammars, where the application of fusion rules is restricted by positive and negative context conditions, is a universal computation model. Our main result is that Turing machines can be transformed into these grammars such that the recognized language of the Turing machine and the generated language of the corresponding context-dependent fusion grammar coincide up to representation of strings as graphs. As a corollary we get that context-dependent fusion grammars can generate all recursively enumerable string languages.


title: Speeding up Generalized PSR Parsers by Memoization Techniques

abstract: Predictive shift-reduce (PSR) parsing for hyperedge replacement (HR) grammars is very efficient, but restricted to a subclass of unambiguous HR grammars. To overcome this restriction, we have recently extended PSR parsing to generalized PSR (GPSR) parsing along the lines of Tomita-style generalized LR parsing. Unfortunately, GPSR parsers turned out to be too inefficient without manual tuning. This paper proposes to use memoization techniques to speed up GPSR parsers without any need of manual tuning, and which has been realized within the graph parser distiller Grappa. We present running time measurements for some example languages; they show a significant speed up by some orders of magnitude when parsing valid graphs. But memoization techniques do not help when parsing invalid graphs or if all parses of an ambiguous input graph shall be determined.


title: Rule-based Graph Repair

abstract: Model repair is an essential topic in model-driven engineering. Since models are suitably formalized as graph-like structures, we consider the problem of rule-based graph repair: Given a rule set and a graph constraint, try to construct a graph program based on the given set of rules, such that the application to any graph yields a graph satisfying the graph constraint. We show the existence of repair programs for specific constraints, and show the existence of rule-based repair programs for specific constraints compatible with the rule set.


title: Proceedings Fifth Workshop on Formal Integrated Development Environment

abstract: This volume contains the proceedings of F-IDE 2019, the fifth international workshop on Formal Integrated Development Environment, which was held on October 7, 2019 in Porto, Portugal, as part of FM'19, the 3rd World Congress on Formal Methods. High levels of safety, security and privacy standards require the use of formal methods to specify and develop compliant software (sub)systems. Any standard comes with an assessment process, which requires a complete documentation of the application in order to ease the justification of design choices and the review of code and proofs. Thus tools are needed for handling specifications, program constructs and verification artifacts. The aim of the F-IDE workshop is to provide a forum for presenting and discussing research efforts as well as experience returns on design, development and usage of formal IDE aiming at making formal methods "easier" for both specialists and non-specialists.


title: Early signal of emerging nuclear collectivity in neutron-rich $^{129}$Sb

abstract: Radioactive $^{129}$Sb, which can be treated as a proton plus semi-magic $^{128}$Sn core within the particle-core coupling scheme, was studied by Coulomb excitation. Reduced electric quadrupole transition probabilities, $B(E2)$, for the $2^+$ $\times$ $\pi g_{{7/2}}$ multiplet members and candidate $\pi d_{{5/2}}$ state were measured. The results indicate that the total electric quadrupole strength of $^{129}$Sb is a factor of 1.39(11) larger than the $^{128}$Sn core, which is in stark contrast to the expectations of the empirically successful particle-core coupling scheme. Shell-model calculations performed with two different sets of nucleon-nucleon interactions suggest that this enhanced collectivity is due to constructive quadrupole coherence in the wavefunctions stemming from the proton-neutron residual interactions, where adding one nucleon to a core near a double-shell closure can have a pronounced effect. The enhanced electric quadrupole strength is an early signal of the emerging nuclear collectivity that becomes dominant away from the shell closure.


title: OGLE-2013-BLG-0911Lb: A Secondary on the Brown-Dwarf Planet Boundary around an M-dwarf

abstract: We present the analysis of the binary-lens microlensing event OGLE-2013-BLG-0911. The best-fit solutions indicate the binary mass ratio of q~0.03 which differs from that reported in Shvartzvald+2016. The event suffers from the well-known close/wide degeneracy, resulting in two groups of solutions for the projected separation normalized by the Einstein radius of s~0.15 or s~7. The finite source and the parallax observations allow us to measure the lens physical parameters. The lens system is an M-dwarf orbited by a massive Jupiter companion at very close (M_{host}=0.30^{+0.08}_{-0.06} M_{Sun}, M_{comp}=10.1^{+2.9}_{-2.2} M_{Jup}, a_{exp}=0.40^{+0.05}_{-0.04} au) or wide (M_{host}=0.28^{+0.10}_{-0.08} M_{Sun}, M_{comp}=9.9^{+3.8}_{-3.5}M_{Jup}, a_{exp}=18.0^{+3.2}_{-3.2} au) separation. Although the mass ratio is slightly above the planet-brown dwarf (BD) mass-ratio boundary of q=0.03 which is generally used, the median physical mass of the companion is slightly below the planet-BD mass boundary of 13M_{Jup}. It is likely that the formation mechanisms for BDs and planets are different and the objects near the boundaries could have been formed by either mechanism. It is important to probe the distribution of such companions with masses of ~13M_{Jup} in order to statistically constrain the formation theories for both BDs and massive planets. In particular, the microlensing method is able to probe the distribution around low-mass M-dwarfs and even BDs which is challenging for other exoplanet detection methods.


title: Features or Shape? Tackling the False Dichotomy of Time Series Classification

abstract: Time series classification is an important task in its own right, and it is often a precursor to further downstream analytics. To date, virtually all works in the literature have used either shape-based classification using a distance measure or feature-based classification after finding some suitable features for the domain. It seems to be underappreciated that in many datasets it is the case that some classes are best discriminated with features, while others are best discriminated with shape. Thus, making the shape vs. feature choice will condemn us to poor results, at least for some classes. In this work, we propose a new model for classifying time series that allows the use of both shape and feature-based measures, when warranted. Our algorithm automatically decides which approach is best for which class, and at query time chooses which classifier to trust the most. We evaluate our idea on real world datasets and demonstrate that our ideas produce statistically significant improvement in classification accuracy.


title: Existence of positive solution for a singular elliptic problem with an asymptotically linear nonlinearity

abstract: In this paper we consider the existence of positive solutions for a singular elliptic problem involving an asymtotically linear nonlinearity and depending on one positive parameter. Using variational methods, together with comparison techniques, we show the existence, uniqueness, non-existence and regularity of the solutions. We also obtain a bifurcation-type result.


title: Isospin violating decay $D^*_s \to D_s \pi^0$ in chiral perturbation theory

abstract: We systematically calculate the isospin violating decay, $D_s^*\to D_s\pi^0$, with the heavy meson chiral perturbation theory up to $\mathcal{O}(p^3)$ including the loop diagrams. The $\mathcal{O}(p^3)$ tree level amplitudes contain four undetermined LECs. We use two strategies to estimate them. With the nonanalytic dominance approximation, we get $\Gamma[D_s^\ast\to D_s\pi^0]=(3.38\pm0.12)$ eV. With the naturalness assumption, we give a possible range of the isospin violating decay width, $[1.11-6.88]$ eV. We find that the contribution of the $\mathcal{O}(p^3)$ corrections might be significant.


title: Expanding 3d $\mathcal{N}=2$ Theories around the Round Sphere

abstract: We study a perturbative expansion of the squashed 3-sphere ($S^3_b$) partition function of 3d $\mathcal{N}=2$ gauge theories around the squashing parameter $b= 1$. Our proposal gives the coefficients of the perturbative expansion as a finite sum over the saddle points of the supersymmetric-localization integral in the limit $b \rightarrow 0$ (the so-called Bethe vacua), and the contribution from each Bethe vacua can be systematically computed using saddle-point methods. Our expansion provides an efficient and practical method for computing basic CFT data ($F,C_T,C_{JJ}$ and higher-point correlation functions of the stress-energy tensor) of the IR superconformal field theory without performing the localization integrals.


title: Remote coronal dimmings related to a circular-ribbon flare

abstract: In this paper, multiwavelength observations of remote coronal dimmings related to an M1.1 circular-ribbon flare (CRF) in active region (AR) 12434 are reported. The confined flare without a CME was observed by AIA and HMI on board SDO on 2015 October 16. Global three-dimensional (3D) magnetic fields before flare were obtained using the potential field source surface modeling. A few minutes before the flare hard X-ray peak time (06:13:48 UT), small-scale, weak dimming appeared $\sim$240$\arcsec$ away from the flare site, which can be observed by AIA only in 131 and 171 {\AA}. Afterwards, long and narrow dimmings became evident in all AIA EUV passbands except 304 {\AA}, while localized core dimming was not clearly observed near the flare site. The large-area dimmings extended southeastward and the areas increased gradually. The total area of dimmings reaches (1.2$\pm0.4$)$\times$10$^4$ Mm$^2$ in 193 {\AA}. The maximal relative intensity decreases in 171 and 193 {\AA} reach 90\% and 80\%, respectively. Subsequently, the dimmings began to replenish and the area decreased slowly, lasting for $\geq$3 hr. The remote dimmings and AR 12434 were connected by large-scale coronal loops. The remote dimmings were associated with the southwest footpoints of coronal loops with weak negative polarities. Possible origins of remote dimmings are discussed.


title: A solution to electric-field screening in diamond quantum electrometers

abstract: There are diverse interdisciplinary applications for nanoscale resolution electrometry of elementary charges under ambient conditions. These include characterization of 2D electronics, charge transfer in biological systems, and measurement of fundamental physical phenomena. The nitrogen-vacancy center in diamond is uniquely capable of such measurements, however electrometry thus far has been limited to charges within the same diamond lattice. It has been hypothesized that the failure to detect charges external to diamond is due to quenching and surface screening, but no proof, model, or design to overcome this has yet been proposed. In this work we affirm this hypothesis through a comprehensive theoretical model of screening and quenching within a diamond electrometer and propose a solution using controlled nitrogen doping and a fluorine-terminated surface. We conclude that successful implementation requires further work to engineer diamond surfaces with lower surface defect concentrations.


title: Mining the Data Tables for Lorentz and CPT Violation

abstract: In this conference proceedings, some comments on the present status and recent growth of efforts to find Lorentz and CPT violation are given by extracting metrics from the annually updated "Data Tables for Lorentz and CPT Violation." They reveal that tests span all the sectors of particle and gravitational physics, and have shown remarkable and consistent growth. Through numerous innovations and refinements in experiments, a large body of data has been amassed with ever-increasing precisions. The Tables are available through the Cornell preprint archive at arXiv:0801.0287.


title: Understanding Deep Neural Network Predictions for Medical Imaging Applications

abstract: Computer-aided detection has been a research area attracting great interest in the past decade. Machine learning algorithms have been utilized extensively for this application as they provide a valuable second opinion to the doctors. Despite several machine learning models being available for medical imaging applications, not many have been implemented in the real-world due to the uninterpretable nature of the decisions made by the network. In this paper, we investigate the results provided by deep neural networks for the detection of malaria, diabetic retinopathy, brain tumor, and tuberculosis in different imaging modalities. We visualize the class activation mappings for all the applications in order to enhance the understanding of these networks. This type of visualization, along with the corresponding network performance metrics, would aid the data science experts in better understanding of their models as well as assisting doctors in their decision-making process.


title: Learning Semantic Neural Tree for Human Parsing

abstract: The majority of existing human parsing methods formulate the task as semantic segmentation, which regard each semantic category equally and fail to exploit the intrinsic physiological structure of human body, resulting in inaccurate results. In this paper, we design a novel semantic neural tree for human parsing, which uses a tree architecture to encode physiological structure of human body, and designs a coarse to fine process in a cascade manner to generate accurate results. Specifically, the semantic neural tree is designed to segment human regions into multiple semantic subregions (e.g., face, arms, and legs) in a hierarchical way using a new designed attention routing module. Meanwhile, we introduce the semantic aggregation module to combine multiple hierarchical features to exploit more context information for better performance. Our semantic neural tree can be trained in an end-to-end fashion by standard stochastic gradient descent (SGD) with back-propagation. Several experiments conducted on four challenging datasets for both single and multiple human parsing, i.e., LIP, PASCAL-Person-Part, CIHP and MHP-v2, demonstrate the effectiveness of the proposed method. Code can be found at https://isrc.iscas.ac.cn/gitlab/research/sematree.


title: Heterogeneity-aware and communication-efficient distributed statistical inference

abstract: In multicenter research, individual-level data are often protected against sharing across sites. To overcome the barrier of data sharing, many distributed algorithms, which only require sharing aggregated information, have been developed. The existing distributed algorithms usually assume the data are homogeneously distributed across sites. This assumption ignores the important fact that the data collected at different sites may come from various sub-populations and environments, which can lead to heterogeneity in the distribution of the data. Ignoring the heterogeneity may lead to erroneous statistical inference. In this paper, we propose distributed algorithms which account for the heterogeneous distributions by allowing site-specific nuisance parameters. The proposed methods extend the surrogate likelihood approach to the heterogeneous setting by applying a novel density ratio tilting method to the efficient score function. The proposed algorithms maintain the same communication cost as the existing communication-efficient algorithms. We establish a non-asymptotic risk bound for the proposed distributed estimator and its limiting distribution in the two-index asymptotic setting which allows both sample size per site and the number of sites to go to infinity. In addition, we show that the asymptotic variance of the estimator attains the Cram\'er-Rao lower bound when the number of sites is in rate smaller than the sample size at each site. Finally, we use simulation studies and a real data application to demonstrate the validity and feasibility of the proposed methods.


title: Tensor Entropy for Uniform Hypergraphs

abstract: In this paper, we develop the notion of entropy for uniform hypergraphs via tensor theory. We employ the probability distribution of the generalized singular values, calculated from the higher-order singular value decomposition of the Laplacian tensors, to fit into the Shannon entropy formula. We show that this tensor entropy is an extension of von Neumann entropy for graphs. In addition, we establish results on the lower and upper bounds of the entropy and demonstrate that it is a measure of regularity for uniform hypergraphs in simulated and experimental data. We exploit the tensor train decomposition in computing the proposed tensor entropy efficiently. Finally, we introduce the notion of robustness for uniform hypergraphs.


title: Thermodynamics of smooth models of pseudo-Anosov homeomorphisms

abstract: We develop a thermodynamic formalism for a smooth realization of pseudo-Anosov surface homeomorphisms. In this realization, the singularities of the pseudo-Anosov map are assumed to be fixed, and the trajectories are slowed down so the differential is the identity at these points. Using Young towers, we prove existence and uniqueness of equilibrium states for geometric $t$-potentials. This family of equilibrium states includes a unique SRB measure and a measure of maximal entropy, the latter of which has exponential decay of correlations and the Central Limit Theorem.


title: Elastic flow of networks: short-time existence result

abstract: In this paper we study the $L^2$-gradient flow of the penalized elastic energy on networks of $q$-curves in $\R^{n}$ for $q \geq 3$. Each curve is fixed at one end-point and at the other is joint to the other curves at a movable $q$-junction. For this geometric evolution problem with natural boundary condition we show the existence of smooth solutions for a (possibly) short interval of time. Since the geometric problem is not well-posed, due to the freedom in reparametrization of curves, we consider a fourth-order non-degenerate parabolic quasilinear system, called the analytic problem, and show first a short-time existence result for this parabolic system. The proof relies on applying Solonnikov's theory on linear parabolic systems and Banach fixed point theorem in proper H\"{o}lder spaces. Then the original geometric problem is solved by establishing the relation between the analytical solutions and the solutions to the geometrical problem.


title: The Virtual Element Method for a Minimal Surface Problem

abstract: In this paper we consider the Virtual Element discretization of a minimal surface problem, a quasi-linear elliptic partial differential equation modeling the problem of minimizing the area of a surface subject to a prescribed boundary condition. We derive optimal error estimate and present several numerical tests assessing the validity of the theoretical results.


title: C2FNAS: Coarse-to-Fine Neural Architecture Search for 3D Medical Image Segmentation

abstract: 3D convolution neural networks (CNN) have been proved very successful in parsing organs or tumours in 3D medical images, but it remains sophisticated and time-consuming to choose or design proper 3D networks given different task contexts. Recently, Neural Architecture Search (NAS) is proposed to solve this problem by searching for the best network architecture automatically. However, the inconsistency between search stage and deployment stage often exists in NAS algorithms due to memory constraints and large search space, which could become more serious when applying NAS to some memory and time consuming tasks, such as 3D medical image segmentation. In this paper, we propose coarse-to-fine neural architecture search (C2FNAS) to automatically search a 3D segmentation network from scratch without inconsistency on network size or input size. Specifically, we divide the search procedure into two stages: 1) the coarse stage, where we search the macro-level topology of the network, i.e. how each convolution module is connected to other modules; 2) the fine stage, where we search at micro-level for operations in each cell based on previous searched macro-level topology. The coarse-to-fine manner divides the search procedure into two consecutive stages and meanwhile resolves the inconsistency. We evaluate our method on 10 public datasets from Medical Segmentation Decalthon (MSD) challenge, and achieve state-of-the-art performance with the network searched using one dataset, which demonstrates the effectiveness and generalization of our searched models.


title: Exploring the Capacity of an Orderless Box Discretization Network for Multi-orientation Scene Text Detection

abstract: Multi-orientation scene text detection has recently gained significant research attention. Previous methods directly predict words or text lines, typically by using quadrilateral shapes. However, many of these methods neglect the significance of consistent labeling, which is important for maintaining a stable training process, especially when it comprises a large amount of data. Here we solve this problem by proposing a new method, Orderless Box Discretization (OBD), which first discretizes the quadrilateral box into several key edges containing all potential horizontal and vertical positions. To decode accurate vertex positions, a simple yet effective matching procedure is proposed for reconstructing the quadrilateral bounding boxes. Our method solves the ambiguity issue, which has a significant impact on the learning process. Extensive ablation studies are conducted to validate the effectiveness of our proposed method quantitatively. More importantly, based on OBD, we provide a detailed analysis of the impact of a collection of refinements, which may inspire others to build state-of-the-art text detectors. Combining both OBD and these useful refinements, we achieve state-of-the-art performance on various benchmarks, including ICDAR 2015 and MLT. Our method also won the first place in the text detection task at the recent ICDAR2019 Robust Reading Challenge for Reading Chinese Text on Signboards, further demonstrating its superior performance. The code is available at https://git.io/TextDet.


title: Practical Solutions for Machine Learning Safety in Autonomous Vehicles

abstract: Autonomous vehicles rely on machine learning to solve challenging tasks in perception and motion planning. However, automotive software safety standards have not fully evolved to address the challenges of machine learning safety such as interpretability, verification, and performance limitations. In this paper, we review and organize practical machine learning safety techniques that can complement engineering safety for machine learning based software in autonomous vehicles. Our organization maps safety strategies to state-of-the-art machine learning techniques in order to enhance dependability and safety of machine learning algorithms. We also discuss security limitations and user experience aspects of machine learning components in autonomous vehicles.


title: Non-Hermitian Topological Metamaterials with Odd Elasticity

abstract: We establish non-Hermitian topological mechanics in one dimensional (1D) and two dimensional (2D) lattices consisting of mass points connected by meta-beams that lead to odd elasticity. Extended from the "non-Hermitian skin effect" in 1D systems, we demonstrate this effect in 2D lattices in which bulk elastic waves exponentially localize in both lattice directions. We clarify a proper definition of Berry phase in non-Hermitian systems, with which we characterize the lattice topology and show the emergence of topological modes on lattice boundaries. The eigenfrequencies of topological modes are complex due to the breaking of $\mathcal{PT}$-symmetry and the excitations could exponentially grow in time in the damped regime. Besides the bulk modes, additional localized modes arise in the bulk band and they are easily affected by perturbations. These distinguishing features may manifest themselves in various active materials and biological systems.


title: AutoScale: Learning to Scale for Crowd Counting and Localization

abstract: Recent works on crowd counting mainly leverage CNNs to count by regressing density maps, and have achieved great progress. In the density map, each person is represented by a Gaussian blob, and the final count is obtained from the integration of the whole map. However, it is difficult to accurately predict the density map on dense regions. A major issue is that the density map on dense regions usually accumulates density values from a number of nearby Gaussian blobs, yielding different large density values on a small set of pixels. This makes the density map present variant patterns with significant pattern shifts and brings a long-tailed distribution of pixel-wise density values. We propose a simple and effective Learning to Scale (L2S) module, which automatically scales dense regions into reasonable closeness levels (reflecting image-plane distance between neighboring people). L2S directly normalizes the closeness in different patches such that it dynamically separates the overlapped blobs, decomposes the accumulated values in the ground-truth density map, and thus alleviates the pattern shifts and long-tailed distribution of density values. This helps the model to better learn the density map. We also explore the effectiveness of L2S in localizing people by finding the local minima of the quantized distance (w.r.t. person location map). To the best of our knowledge, such a localization method is also novel in localization-based crowd counting. We further introduce a customized dynamic cross-entropy loss, significantly improving the localization-based model optimization. Extensive experiments demonstrate that the proposed framework termed AutoScale improves upon some state-of-the-art methods in both regression and localization benchmarks on three crowded datasets and achieves very competitive performance on two sparse datasets.


title: Relative modular operator in semifinite von Neumann algebras and its use

abstract: We present some results concerning the relative modular operator in semifinite von Neumann algebras. These results allow one to prove some basic formula for trace, to obtain equivalence between Araki's relative entropy and Umegaki's information as well as to derive some formulae for quasi-entropies, and R\'enyi's relative entropy known in finite dimension.

categories: math.OA math-ph math.FA math.MP math.QA quant-ph


title: Fractional Chern Insulator States in Twisted Bilayer Graphene: An Analytical Approach

abstract: Recent experiments on bilayer graphene twisted near the magic angle have observed spontaneous integer quantum Hall states in the presence of an aligned hexagonal boron nitride (hBN) substrate. These states arise from valley ferromagnetism, and the complete filling of Chern bands. A natural question is whether fractional filling of the same bands would lead to fractional quantum Hall states, i.e. to fractional Chern insulators (FCIs). Here, we argue that the magic angle graphene bands have favorable quantum geometry for realizing FCI phases. We show that in the tractable `chiral' limit, the flat bands wavefunctions are an analytic function of the crystal momentum. This remarkable property fixes the quantum metric up to an overall momentum dependent scale factor, the local Berry curvature, whose variation is itself small. Thus the three conditions associated with FCI stability (i) narrow bands (ii) quantum metric satisfying the isotropic ideal droplet condition and (iii) relatively uniform Berry curvature are all satisfied. Our work emphasizes continuum real space approaches to FCIs in contrast to earlier works which mostly focused on tight binding models. This enables us to construct a Laughlin wavefunction on a real-space torus that is a zero energy ground state of pseudopotential-like interactions. The latter can be realized for Coulomb interaction in the limit of very short screening length. We also map the problem onto an equivalent one of Dirac particles in an inhomogeneous but periodic magnetic field and no crystal potential. Finally we discuss evolution of the band geometry on tuning away from the chiral limit and show numerically that some of the desirable properties continue to hold at a quantitative level for realistic parameter values.


title: Decoding Quantum Error Correction Codes with Local Variation

abstract: In this paper we investigate the role of local information in the decoding of the repetition and surface error correction codes for the protection of quantum states. Our key result is an improvement in resource efficiency when local information is taken into account during the decoding process: the code distance associated with a given logical error rate is reduced with a magnitude depending on the proximity of the physical error rate to the accuracy threshold of the code. We also briefly discuss an averaged approach with local information for table-lookup and localised decoding schemes, an expected breakdown of these effects for large-scale systems, and the importance of this resource reduction in the near-term.


title: A Carleson problem for the Boussinesq operator

abstract: In this paper, Theorems 1.1- 1.2 show that the Boussinesq operator $\mathcal{B}_tf$ converges pointwise to its initial data $f\in H^s(\mathbb{R})$ as $t\to 0$ provided $s\geq\frac{1}{4}$ -- more precisely -- on the one hand, by constructing a counterexample in $\mathbb{R}$ we discover that the optimal convergence index $s_{c,1}=\frac14$; on the other hand, we find that the Hausdorff dimension of the disconvergence set for $\mathcal{B}_tf$ is \begin{align*} \alpha_{1,\mathcal{B}}(s)&=\begin{cases} 1-2s&\ \ \text{as}\ \ \frac{1}{4}\leq s\leq\frac{1}{2};\\ 1 &\ \ \text{as}\ \ 0<s<\frac{1}{4}. \end{cases} \end{align*} Moreover, Theorem 1.3 presents a higher dimensional lift of Theorems 1.1- 1.2 under $f$ being radial.


title: Pretrained Encyclopedia: Weakly Supervised Knowledge-Pretrained Language Model

abstract: Recent breakthroughs of pretrained language models have shown the effectiveness of self-supervised learning for a wide range of natural language processing (NLP) tasks. In addition to standard syntactic and semantic NLP tasks, pretrained models achieve strong improvements on tasks that involve real-world knowledge, suggesting that large-scale language modeling could be an implicit method to capture knowledge. In this work, we further investigate the extent to which pretrained models such as BERT capture knowledge using a zero-shot fact completion task. Moreover, we propose a simple yet effective weakly supervised pretraining objective, which explicitly forces the model to incorporate knowledge about real-world entities. Models trained with our new objective yield significant improvements on the fact completion task. When applied to downstream tasks, our model consistently outperforms BERT on four entity-related question answering datasets (i.e., WebQuestions, TriviaQA, SearchQA and Quasar-T) with an average 2.7 F1 improvements and a standard fine-grained entity typing dataset (i.e., FIGER) with 5.7 accuracy gains.