title: Idempotent Analysis, Tropical Convexity and Reduced Divisors

abstract: We investigate a canonical extension of a conventional combinatorial notion of reduced divisors to a notion of tropical projections, which can be defined as the unique minimizers of the so-called $B$-pseudonorms with respect to compact tropical convex sets. In this paper, we build the foundation of a theory of idempotent analysis using tropical projections and obtain a series of subsequent results, e.g. tropical retracts, construction of compact tropical convex sets and a set-theoretical characterization of tropical weak independence. In particular, we prove a tropical version of Mazur's Theorem on closed tropical convex hulls and discover a fixed point theorem for tropical projections. As the main application of our machinery of tropical convexity analysis, we investigate the divisor theory on metric graphs based on tropical projections. We extend the notion of linear systems and redefine the notion of reduced divisors to all linear systems instead of only to complete linear systems. Moreover, we explore the correspondence between reduced divisor maps to dominant tropical trees and harmonic morphisms to metric trees. Furthermore, we propose a notion called the geometric rank for linear systems on metric graphs which resolves the discrepancy between the interpretations of gonality of metric graphs using the conventional Baker-Norine rank function and using harmonic morphisms to metric trees.


title: Enhanced coherence and decoupled surface states in topological insulators through structural disorder

abstract: To harness the true potential of topological insulators as quantum materials for information processing, it is imperative to maximise topological surface state conduction, while simulateneously improving their quantum coherence. However, these goals have turned out to be contradictory. Surface dominated transport in topological insulators has been achieved primarily through compensation doping of bulk carriers that introduces tremendous electronic disorder and drastically deteriorates electronic coherence. In this work, we use structural disorder instead of electronic disorder to manipulate electrical properties of thin films of topological insulator Bi$_2$Se$_3$. We achieve decoupled surface state transport in our samples and observe significantly suppressed carrier dephasing rates in the coupled surface state regime. As the film thickness is decreased, the dephasing rate evolves from a linear to a super-linear temperature dependence. While the former is consistent with Nyquist electron-electron interactions, the latter leads to significantly enhanced coherence at low temperatures and is indicative of energy exchange due to frictional drag between the two surface states. Our work opens up the way to harness topological surface states, without being afflicted by the deleterious effects of compensation doping.


title: Technological conditions of mobile learning in high school

abstract: This paper reviews the history of mobile learning, provides a definition of mobile learning. The properties, advantages and disadvantages of mobile learning, areas of its implementation at the Technical University and mobile learning tools were specified. The aim of the article is the analysis of the modern state of mobile learning and the determination of the conditions of its implementation at the high technical educational institutions. The process of the mobile learning in the national education system is in its formation stage. Nowadays the following stages of its development are formed, which are based on the availability of the technical means for the mobile learning and the mobile access implementation to educational resources. The mobile learning is the logical and innovation process in the education system, which is defined as a learning technology which uses the mobile devices, communication technology and intelligent user interfaces.


title: Hashing with Binary Matrix Pursuit

abstract: We propose theoretical and empirical improvements for two-stage hashing methods. We first provide a theoretical analysis on the quality of the binary codes and show that, under mild assumptions, a residual learning scheme can construct binary codes that fit any neighborhood structure with arbitrary accuracy. Secondly, we show that with high-capacity hash functions such as CNNs, binary code inference can be greatly simplified for many standard neighborhood definitions, yielding smaller optimization problems and more robust codes. Incorporating our findings, we propose a novel two-stage hashing method that significantly outperforms previous hashing studies on widely used image retrieval benchmarks.


title: Extinction Dynamics of Cardiac Fibrillation

abstract: During episodes of atrial fibrillation, the heart's electrical activity becomes disorganized and shows fragmenting spiral waves. To systematically address how this pattern terminates using spatially extended simulations exceeds current computational resources. To circumvent this limitation, we treat the number of spiral waves as a stochastic population with a corresponding birth-death equation and use techniques from statistical physics to determine the mean episode duration of atrial fibrillation. We show that this duration can be computed for arbitrary geometries in minimal computational time and that it depends exponentially on tissue size, consistent with the critical mass hypothesis which states that fibrillation requires a minimal organ size. Our approach can result in efficient and accurate predictions of mean episode duration, thus creating a potentially important step towards improved therapeutic interventions for atrial fibrillation.


title: Simultaneous Edge Alignment and Learning

abstract: Edge detection is among the most fundamental vision problems for its role in perceptual grouping and its wide applications. Recent advances in representation learning have led to considerable improvements in this area. Many state of the art edge detection models are learned with fully convolutional networks (FCNs). However, FCN-based edge learning tends to be vulnerable to misaligned labels due to the delicate structure of edges. While such problem was considered in evaluation benchmarks, similar issue has not been explicitly addressed in general edge learning. In this paper, we show that label misalignment can cause considerably degraded edge learning quality, and address this issue by proposing a simultaneous edge alignment and learning framework. To this end, we formulate a probabilistic model where edge alignment is treated as latent variable optimization, and is learned end-to-end during network training. Experiments show several applications of this work, including improved edge detection with state of the art performance, and automatic refinement of noisy annotations.


title: Quantum XX-model with competing short- and long-range interactions: Phases and phase transitions in and out of equilibrium

abstract: We consider the quantum XX-model in the presence of competing nearest-neighbour and global-range interactions, which is equivalent to a Bose-Hubbard model with cavity mediated global range interactions in the hard core boson limit. Using fermionic techniques the problem is solved exactly in one dimension in the thermodynamic limit. The ground state phase diagram consists of two ordered phases: ferromagnetic (F) and antiferromagnetic (AF), as well as an XY-phase having quasi-long-range order. We have also studied quantum relaxation after sudden quenches. Quenching from the AF phase to the XY region remanent AF order is observed below a dynamical transition line. In the opposite quench, from the XY region to the AF-phase beyond a static metastability line AF order arises on top of remanent XY quasi-long-range order, which corresponds to dynamically generated supersolid state in the equivalent Bose-Hubbard model with hard-core bosons.


title: Spacelike mean curvature flow

abstract: We prove long-time existence and convergence results for spacelike solutions to mean curvature flow in the pseudo-Euclidean space $\mathbb{R}^{n,m}$, which are entire or defined on bounded domains and satisfying Neumann or Dirichlet boundary conditions. As an application, we prove long-time existence and convergence of the $\operatorname{G}_2$-Laplacian flow in cases related to coassociative fibrations.


title: Devito (v3.1.0): an embedded domain-specific language for finite differences and geophysical exploration

abstract: We introduce Devito, a new domain-specific language for implementing high-performance finite difference partial differential equation solvers. The motivating application is exploration seismology where methods such as Full-Waveform Inversion and Reverse-Time Migration are used to invert terabytes of seismic data to create images of the earth's subsurface. Even using modern supercomputers, it can take weeks to process a single seismic survey and create a useful subsurface image. The computational cost is dominated by the numerical solution of wave equations and their corresponding adjoints. Therefore, a great deal of effort is invested in aggressively optimizing the performance of these wave-equation propagators for different computer architectures. Additionally, the actual set of partial differential equations being solved and their numerical discretization is under constant innovation as increasingly realistic representations of the physics are developed, further ratcheting up the cost of practical solvers. By embedding a domain-specific language within Python and making heavy use of SymPy, a symbolic mathematics library, we make it possible to develop finite difference simulators quickly using a syntax that strongly resembles the mathematics. The Devito compiler reads this code and applies a wide range of analysis to generate highly optimized and parallel code. This approach can reduce the development time of a verified and optimized solver from months to days.


title: A two-phase mixing layer between parallel gas and liquid streams: multiphase turbulence statistics and influence of interfacial instability

abstract: The two-phase mixing layer formed between parallel gas and liquid streams is an important fundamental problem in turbulent multiphase flows. The problem is relevant to many industrial applications and natural phenomena, such as air-blast atomizers in fuel injection systems and breaking waves in the ocean. The velocity difference between the gas and liquid streams triggers an interfacial instability which can be convective or absolute depending on the stream properties and injection parameters. In the present study, a direct numerical simulation of a two-phase gas-liquid mixing layer that lie in the absolute instability regime is conducted. A dominant frequency is observed in the simulation and the numerical result agrees well with the prediction from viscous stability theory. As the interfacial wave plays a critical role in turbulence transition and development, the temporal evolution of turbulent fluctuations (such as the enstrophy) also exhibits a similar frequency. In order to investigate the statistical response of the multiphase turbulence flow, the simulation has been run for a long physical time so that time-averaging can be performed to yield the statistically converged results for Reynolds stresses and the turbulent kinetic energy (TKE) budget. An extensive mesh refinement study using from 8 million to about 4 billions cells has been carried out. The turbulent dissipation is shown to be highly demanding on mesh resolution compared to other terms in TKE budget. The results obtained with the finest mesh are shown to be not far from converged results of turbulent dissipation which allow us to obtain estimations of the Kolmogorov and Hinze scales. The computed Hinze scale is significantly larger than the size of droplets observed and does not seem to be a relevant length scale to describe the smallest size of droplets formed in atomization.


title: On the anticanonical complex

abstract: The anticanonical complex has been introduced as a natural generalization of the toric Fano polytope and so far has been succesfully used for the study of varieties with a torus action of complexity one. In the present article we enlarge the area of application of the anticanonical complex to varieties with a torus action of higher complexity, for example, general arrangement varieties. As an application of our techniques we classify the three-dimensional canonical Fano intrinsic quadrics with automorphism group having a maximal torus of dimension one.


title: Hodge Decomposition of the wall shear stress vector fields characterizing biological flows

abstract: A discrete boundary-sensitive Hodge decomposition is proposed as a central tool for the analysis of wall shear stress (WSS) vector fields in aortic blood flows. The method is based on novel results for the smooth and discrete Hodge-Morrey-Friedrichs decomposition on manifolds with boundary and subdivides the WSS vector field into five components: gradient (curl-free), co-gradient (divergence-free), and three harmonic fields induced from the boundary, which are called the center, Neumann and Dirichlet fields. First, an analysis of WSS in several simulated simplified phantom geometries (duct and idealized aorta) was performed in order to understand the impact of the five components. It was shown that the decomposition is able to distinguish harmonic blood flow arising from the inlet from harmonic circulations induced by the interior topology of the geometry. Finally, a comparative analysis of 11 patients with coarctation of the aorta (CoA) before and after treatment as well as 10 controls patient was done. The study shows a significant difference between the CoA patients and the healthy controls before and after the treatment. This means a global difference between aortic shapes of diseased and healthy subjects, thus leading to a new type of WSS-based analysis and classification of pathological and physiological blood flow.


title: Mass-spring-damper Networks for Distributed Optimization in Non-Euclidean Spaces

abstract: We consider the problem of minimizing the sum of non-smooth convex functions in non-Euclidean spaces, e.g., probability simplex, via only local computation and communication on an undirected graph. We propose two algorithms motivated by mass-spring-damper dynamics. The first algorithm uses an explicit update that computes subgradients and Bregman projections only, and matches the convergence behavior of centralized mirror descent. The second algorithm uses an implicit update that solves a penalized subproblem at each iteration, and achieves the iteration complexity of \(\mathcal{O}(1/K)\). The results are also demonstrated via numerical examples.


title: Bionic Reflex Control Strategy for Robotic Finger with Kinematic Constraints

abstract: This paper presents a bionic reflex control strategy for a kinematically constrained robotic finger. Here, the bionic reflex is achieved through a force tracking impedance control strategy. The dynamic model of the finger is reduced subject to kinematic constraints. Thereafter, an impedance control strategy that allows exact tracking of forces is discussed. Simulation results for a single finger holding a rectangular object against a flat surface are presented. Bionic reflex response time is of the order of milliseconds.


title: Semigroup theory for the Stokes operator with Navier boundary condition on $L^p$ spaces

abstract: We consider the incompressible Navier-Stokes equations in a bounded domain with $\mathcal{C}^{1,1}$ boundary, completed with slip boundary condition. Apart from studying the general semigroup theory related to the Stokes operator with Navier boundary condition where the slip coefficient $\alpha$ is a non-smooth scalar function, our main goal is to obtain estimate on the solutions, independent of $\alpha$. We show that for $\alpha$ large, the weak and strong solutions of both the linear and non-linear system are bounded uniformly with respect to $\alpha$. This justifies mathematically that the solution of the Navier-Stokes problem with slip condition converges in the energy space to the solution of the Navier-Stokes with no-slip boundary condition as $\alpha \to \infty$.


title: A rigorous EFT-based forward model for large-scale structure

abstract: Conventional approaches to cosmology inference from galaxy redshift surveys are based on n-point functions, which are under rigorous perturbative control on sufficiently large scales. Here, we present an alternative approach, which employs a likelihood at the level of the galaxy density field. By integrating out small-scale modes based on effective-field theory arguments, we prove that this likelihood is under perturbative control if certain specific conditions are met. We further show that the information captured by this likelihood is equivalent to the combination of the next-to-leading order galaxy power spectrum, leading-order bispectrum, and BAO reconstruction. Combined with MCMC sampling and MAP optimization techniques, our results allow for fully Bayesian cosmology inference from large-scale structure that is under perturbative control. We illustrate this via a first demonstration of unbiased cosmology inference from nonlinear large-scale structure using this likelihood. In particular, we show unbiased estimates of the power spectrum normalization $\sigma_{8}$ from a catalog of simulated dark matter halos, where nonlinear information is crucial in breaking the $b_{1} - \sigma_{8}$ degeneracy.


title: Moduli of filtered quiver representations

abstract: In this paper, we give a construction of the moduli space of filtered representations of a given quiver of fixed dimension vector with the appropriate notion of stability. The construction of the moduli of filtered representations uses the moduli of representations of ladder quiver. The ladder quiver is introduced using a given quiver and a linear type quiver. We also study determinantal theta functions on such moduli spaces.


title: Robust Secrecy Energy Efficient Beamforming in MISOME-SWIPT Systems With Proportional Fairness

abstract: The joint design of beamforming vector and artificial noise covariance matrix is investigated for multiple-input-single-output-multiple-eavesdropper simultaneous wireless information and power transferring (MISOME-SWIPT) systems. A secrecy energy efficiency (SEE) maximization problem is formulated in the MISOME-SWIPT system with imperfect channel state information and proportional secrecy rate constraints. Since the formulated SEE maximization problem is non-convex, it is first recast into a series of convex problems in order to obtain the optimal solution with a reasonable computational complexity. Numerical results are used to verify the performance of the proposed algorithm and to reveal practical insights.


title: Theory of Confined High Tc Superconductivity in Monovalent Metals

abstract: Monovalent non-transition metals are robust Fermi liquids. They defy superconductivity even at lowest temperatures (Li is a minor exception:Tc $\approx$ 0.4 mK). However, Thapa and Pandey \cite{ThapaPandey} have recently reported signals for ambient temperature granular superconductivity in Ag nanoparticle embedded in Au matrix. We develop a theory, where competing superconducing, CDW and SDW orders lose and get confined (go off-shell). They leave behind a robust Fermi liquid on-shell. \textit{A single half filled band crossing the Fermi level} provides a number of special k-space regions for \textit{singlet stabilizing umklapp pair scattering and superconductivity stabilizing repulsive pair scattering}. Carefully designed perturbations could deconfine a confined superconductivity. We suggest that electron transfer (doping) from Ag nanoparticles to Au matrix (with a higher electronegativity), quasi 2d structural reconstructions (e.g., 9R structure) at Ag-Au interfaces etc., bring out confined superconductivity. Beneath a calm Fermi sea, strong supercurrents may exist in several metals.

categories: cond-mat.supr-con cond-mat.mes-hall cond-mat.mtrl-sci cond-mat.str-el


title: The strange side of LHCb

abstract: We provide general effective-theory arguments relating present-day discrepancies in semi-leptonic $B$-meson decays to signals in kaon physics, in particular lepton-flavour violating ones of the kind $K \to (\pi) e^\pm \mu^\mp$. We show that $K$-decay branching ratios of around $10^{-12} - 10^{-13}$ are possible, for effective-theory cutoffs around $5-15$ TeV compatible with discrepancies in $B\to K^{(\ast)} \mu\mu$ decays. We perform a feasibility study of the reach for such decays at LHCb, taking $K^+ \to \pi^+ \mu^\pm e^\mp$ as a benchmark. In spite of the long lifetime of the $K^+$ compared to the detector size, the huge statistics anticipated as well as the overall detector performance translate into encouraging results. These include the possibility to reach the $10^{-12}$ ballpark, and thereby significantly improve current limits. Our results advocate LHC's high-luminosity Upgrade phase, and support analogous sensitivity studies at other facilities. Given the performance uncertainties inherent in the Upgrade phase, our conclusions are based on a range of assumptions we deem realistic on the particle identification performance as well as on the kinematic reconstruction thresholds for the signal candidates.


title: Distributionally Robust Co-Optimization of Power Dispatch and Do-Not-Exceed Limits

abstract: To address the challenge of the renewable energy uncertainty, the ISO New England (ISO-NE) has proposed to apply do-not-exceed (DNE) limits, which represent the maximum nodal injection of renewable energy the grid can accommodate. Unfortunately, it appears challenging to compute DNE limits that simultaneously maintain the system flexibility and incorporate a large portion of the available renewable energy at the minimum cost. In addition, it is often challenging to accurately estimate the joint probability distribution of the renewable energy. In this paper, we propose a two-stage distributionally robust optimization model that co-optimizes the power dispatch and the DNE limits, by adopting an affinely adjustable power re-dispatch and an adjustable joint chance constraint that measures the renewable utilization. Notably, this model admits a second-order conic reformulation that can be efficiently solved by the commercial solvers (e.g., MOSEK). We conduct case studies based on modified IEEE test instances to demonstrate the effectiveness of the proposed approach and analyze the trade-off among the system flexibility, the renewable utilization, and the dispatch cost.


title: The role of curvature in quantum statistical mechanics

abstract: In this manuscript, we calculate the scalar curvature of a two-dimensional thermodynamic space to study the properties of two thermodynamic systems. In particular, we study the stability and possible anyonic behavior of quantum group invariant systems and systems with fractal distribution functions.


title: Unraveling the vertical motion of Dipterocarpus alatus seed using Tracker

abstract: We perform analytical and experimental investigation of the vertical motion of Dipterocarpus alatus seed, locally called Yang-na in Thailand. In this work, we assume the drag forces exerting on the Yang-na seeds depend only on the velocity. We derive equations of motion (EoMs) to physically parametrize the vertical motion of the seed and analytically solve to obtain the exact solutions. Interestingly, we observe that our predicted solutions are in agreement with the experimental data. More precisely, the entire trajectory of the falling seed of Yang-na can be described by our predicted solutions. We also determine terminal velocity of the seeds. Remarkably, this work reasonably proves that seed dispersal characteristics of Yang-na is inherently straight downward. Finally, we believe that our achievement will be valuable to the large community of STEM/STEAM education to promote an understanding in the topic integrating mathematics, physics, biology, art and technology. Our framework constitutes learning model to improve the ability of creative thinking, analytical thinking and problem solving skills on the concept of forces and motion applicable from high school to college levels.


title: Polymorphic Iterable Sequential Effect Systems

abstract: Effect systems are lightweight extensions to type systems that can verify a wide range of important properties with modest developer burden. But our general understanding of effect systems is limited primarily to systems where the order of effects is irrelevant. Understanding such systems in terms of a semilattice of effects grounds understanding of the essential issues, and provides guidance when designing new effect systems. By contrast, sequential effect systems -- where the order of effects is important -- lack an established algebraic structure on effects. We present an abstract polymorphic effect system parameterized by an effect quantale -- an algebraic structure with well-defined properties that can model the effects of a range of existing sequential effect systems. We define effect quantales, derive useful properties, and show how they cleanly model a variety of known sequential effect systems. We show that for most effect quantales, there is an induced notion of iterating a sequential effect; that for systems we consider the derived iteration agrees with the manually designed iteration operators in prior work; and that this induced notion of iteration is as precise as possible when defined. We also position effect quantales with respect to work on categorical semantics for sequential effect systems, clarifying the distinctions between these systems and our own in the course of giving a thorough survey of these frameworks. Our derived iteration construct should generalize to these semantic structures, addressing limitations of that work. Finally, we consider the relationship between sequential effects and Kleene Algebras, where the latter may be used as instances of the former.


title: The Effect of 3D Transport-Induced Disequilibrium Carbon Chemistry on the Atmospheric Structure and Phase Curves and Emission Spectra of Hot Jupiter HD 189733b

abstract: On hot Jupiter exoplanets, strong horizontal and vertical winds should homogenize the abundances of the important absorbers CH$_4$ and CO much faster than chemical reactions restore chemical equilibrium. This effect, typically neglected in general circulation models (GCMs), has been suggested as explanation for discrepancies between observed infrared lightcurves and those predicted by GCMs: On the nightsides of several hot Jupiters, GCMs predict outgoing fluxes that are too large, especially in the Spitzer 4.5 $\mu$m band. We modified the SPARC/MITgcm to include disequilibrium abundances of CH$_4$, CO and H$_2$O by assuming that the CH$_4$/CO ratio is constant throughout the simulation domain. We ran simulations of hot Jupiter HD 189733b with 8 CH$_4$/CO ratios. In the more likely CO-dominated regime, we find temperature changes $\geq$50-100 K compared to the equilibrium chemistry case across large regions. This effect is large enough to affect predicted emission spectra and should thus be included in GCMs of hot Jupiters with equilibrium temperatures between 600K and 1300K. We find that spectra in regions with strong methane absorption, including the Spitzer 3.6 and 8 $\mu$m bands, are strongly impacted by disequilibrium abundances. We expect chemical quenching to result in much larger nightside fluxes in the 3.6 $\mu$m band, in stark contrast to observations. Meanwhile, we find almost no effect on predicted observations in the 4.5 $\mu$m band, as the opacity changes due to CO and H$_2$O offset each other. We thus conclude that disequilibrium carbon chemistry cannot explain the observed low nightside fluxes in the 4.5 $\mu$m band.


title: Thermally induced gaplessness and Fermi arcs in a "s-wave" magnetic superconductor

abstract: An electron system with pre-existing local moments and an effective electron-electron attraction can exhibit simultaneous magnetic and superconducting order. Increasing the magnetic coupling weakens pairing and the ground state loses superconductivity at a critical coupling. In the vicinity of the critical coupling magnetic order dramatically modifies the quasiparticle dispersion in the superconductor, creating low energy spectral weight and significant gap anisotropy in the notional 's-wave' state. Using a Monte Carlo approach to the Hubbard-Kondo lattice problem we establish a thermal phase diagram, for varying magnetic coupling, that corresponds qualitatively to the borocarbide superconductors. In addition to the superconducting and magnetic transition temperatures, we identify two new thermal scales in this nominal s-wave system. These are associated, respectively, with crossover from gapped to gapless superconductivity, and from an anisotropic (nodal) 'Fermi surface' at low temperature, through a Fermi arc regime, to an isotropic Fermi surface at high temperature. Some of the spectral effects are already visible in the Ho and Er based borocarbides, others can be readily tested.


title: Automated Extraction of Personal Knowledge from Smartphone Push Notifications

abstract: Personalized services are in need of a rich and powerful personal knowledge base, i.e. a knowledge base containing information about the user. This paper proposes an approach to extracting personal knowledge from smartphone push notifications, which are used by mobile systems and apps to inform users of a rich range of information. Our solution is based on the insight that most notifications are formatted using templates, while knowledge entities can be usually found within the parameters to the templates. As defining all the notification templates and their semantic rules are impractical due to the huge number of notification templates used by potentially millions of apps, we propose an automated approach for personal knowledge extraction from push notifications. We first discover notification templates through pattern mining, then use machine learning to understand the template semantics. Based on the templates and their semantics, we are able to translate notification text into knowledge facts automatically. Users' privacy is preserved as we only need to upload the templates to the server for model training, which do not contain any personal information. According to our experiments with about 120 million push notifications from 100,000 smartphone users, our system is able to extract personal knowledge accurately and efficiently.


title: Mechanisms of Protein Search for Targets on DNA: Theoretical Insights

abstract: Protein-DNA interactions are critical for the successful functioning of all natural systems. The key role in these interactions is played by processes of protein search for specific sites on DNA. Although it has been studied for many years, only recently microscopic aspects of these processes became more clear. In this work, we present a review on current theoretical understanding of the molecular mechanisms of the protein target search. A comprehensive discrete-state stochastic method to explain the dynamics of the protein search phenomena is introduced and explained. Our theoretical approach utilizes a first-passage analysis and it takes into account the most relevant physical-chemical processes. It is able to describe many fascinating features of the protein search, including unusually high effective association rates, high selectivity and specificity, and the robustness in the presence of crowders and sequence heterogeneity.


title: Probing multipulse laser ablation by means of self-mixing interferometry

abstract: In this work, self-mixing interferometry (SMI) is implemented inline to a laser microdrilling system to monitor the machining process by probing the ablation-induced plume. An analytical model based on the Sedov-Taylor blast wave equation is developed for the expansion of the process plume under multiple-pulse laser percussion drilling conditions. Signals were acquired during laser microdrilling of blind holes on stainless steel, copper alloy, pure titanium, and titanium nitride ceramic coating. The maximum optical path difference was measured from the signals to estimate the refractive index changes. An amplitude coefficient was derived by fitting the analytical model to the measured optical path differences. The morphology of the drilled holes was investigated in terms of maximum hole depth and dross height. The results indicate that the SMI signal rises when the ablation process is dominated by vaporization, changing the refractive index of the processing zone significantly. Such ablation conditions correspond to limited formation of dross. The results imply that SMI can be used as a nonintrusive tool in laser micromachining applications for monitoring the process quality in an indirect way.

categories: physics.app-ph physics.ins-det physics.optics physics.plasm-ph


title: MCRM: Mother Compact Recurrent Memory

abstract: LSTMs and GRUs are the most common recurrent neural network architectures used to solve temporal sequence problems. The two architectures have differing data flows dealing with a common component called the cell state (also referred to as the memory). We attempt to enhance the memory by presenting a modification that we call the Mother Compact Recurrent Memory (MCRM). MCRMs are a type of a nested LSTM-GRU architecture where the cell state is the GRU hidden state. The concatenation of the forget gate and input gate interactions from the LSTM are considered an input to the GRU cell. Because MCRMs has this type of nesting, MCRMs have a compact memory pattern consisting of neurons that acts explicitly in both long-term and short-term fashions. For some specific tasks, empirical results show that MCRMs outperform previously used architectures.


title: Withholding or withdrawing invasive interventions may not accelerate time to death among dying ICU patients

abstract: We considered observational data available from the MIMIC-III open-access ICU database and collected within a study period between year 2002 up to 2011. If a patient had multiple admissions to the ICU during the 30 days before death, only the first stay was analyzed, leading to a final set of 6,436 unique ICU admissions during the study period. We tested two hypotheses: (i) administration of invasive intervention during the ICU stay immediately preceding end-of-life would decrease over the study time period and (ii) time-to-death from ICU admission would also decrease, due to the decrease in invasive intervention administration. To investigate the latter hypothesis, we performed a subgroups analysis by considering patients with lowest and highest severity. To do so, we stratified the patients based on their SAPS I scores, and we considered patients within the first and the third tertiles of the score. We then assessed differences in trends within these groups between years 2002-05 vs. 2008-11. Comparing the period 2002-2005 vs. 2008-2011, we found a reduction in endotracheal ventilation among patients who died within 30 days of ICU admission (120.8 vs. 68.5 hours for the lowest severity patients, p<0.001; 47.7 vs. 46.0 hours for the highest severity patients, p=0.004). This is explained in part by an increase in the use of non-invasive ventilation. Comparing the period 2002-2005 vs. 2008-2011, we found a reduction in the use of vasopressors and inotropes among patients with the lowest severity who died within 30 days of ICU admission (41.8 vs. 36.2 hours, p<0.001) but not among those with the highest severity. Despite a reduction in the use of invasive interventions, we did not find a reduction in the time to death between 2002-2005 vs. 2008-2011 (7.8 days vs. 8.2 days for the lowest severity patients, p=0.32; 2.1 days vs. 2.0 days for the highest severity patients, p=0.74).


title: A Note on the Equitable Choosability of Complete Bipartite Graphs

abstract: In 2003 Kostochka, Pelsmajer, and West introduced a list analogue of equitable coloring called equitable choosability. A $k$-assignment, $L$, for a graph $G$ assigns a list, $L(v)$, of $k$ available colors to each $v \in V(G)$, and an equitable $L$-coloring of $G$ is a proper coloring, $f$, of $G$ such that $f(v) \in L(v)$ for each $v \in V(G)$ and each color class of $f$ has size at most $\lceil |V(G)|/k \rceil$. Graph $G$ is said to be equitably $k$-choosable if an equitable $L$-coloring of $G$ exists whenever $L$ is a $k$-assignment for $G$. In this note we study the equitable choosability of complete bipartite graphs. A result of Kostochka, Pelsmajer, and West implies $K_{n,m}$ is equitably $k$-choosable if $k \geq \max \{n,m\}$ provided $K_{n,m} \neq K_{2l+1, 2l+1}$. We prove $K_{n,m}$ is equitably $k$-choosable if $m \leq \left\lceil (m+n)/k \right \rceil(k-n)$ which gives $K_{n,m}$ is equitably $k$-choosable for certain $k$ satisfying $k < \max \{n,m\}$. We also give a complete characterization of the equitable choosability of complete bipartite graphs that have a partite set of size at most 2.


title: Spacecraft With Interstellar Medium Momentum Exchange Reactions: The potential and limitations of propellantless interstellar travel

abstract: All known interstellar transportation methods encounter monumental technological or engineering roadblocks, or even rely on speculative unknown science. In particular light of the recent public excitement and ensuing disappointment regarding the exotic "EM drive" it is worthwhile to point out that propellantless space travel is eminently possible based on well established physical principles. Here a new mode of transport is proposed which relies on electric-field moderated momentum exchange with the ionized particles in the interstellar medium. The application of this mechanism faces significant challenges requiring industrial-scale exploitation of space but the technological roadblocks are different than those presented by light sails or particle beam powered craft, and may be more easily addressed depending on the uncertain march of technology. This mode of space travel is well suited to energy efficient travel at velocities less than or of order 0.05c and compares exceptionally well to light sails on an energy expenditure basis. It therefore represents an extremely attractive mode of transport for slow (~multi-century long) voyages carrying massive payloads to nearby stellar neighbors. This would be useful for missions that would otherwise be too energy intensive to carry out, such as transporting a generation ship or bulk materials for a future colony around Alpha Cen A.


title: A Hybrid Monte Carlo algorithm for sampling rare events in space-time histories of stochastic fields

abstract: We introduce a variant of the Hybrid Monte Carlo (HMC) algorithm to address large-deviation statistics in stochastic hydrodynamics. Based on the path-integral approach to stochastic (partial) differential equations, our HMC algorithm samples space-time histories of the dynamical degrees of freedom under the influence of random noise. First, we validate and benchmark the HMC algorithm by reproducing multiscale properties of the one-dimensional Burgers equation driven by Gaussian and white-in-time noise. Second, we show how to implement an importance sampling protocol to significantly enhance, by orders of magnitudes, the probability to sample extreme and rare events, making it possible to estimate moments of field variables of extremely high order (up to 30 and more). By employing reweighting techniques, we map the biased configurations back to the original probability measure in order to probe their statistical importance. Finally, we show that by biasing the system towards very intense negative gradients, the HMC algorithm is able to explore the statistical fluctuations around instanton configurations. Our results will also be interesting and relevant in lattice gauge theory since they provide insight into reweighting techniques.

categories: physics.comp-ph cond-mat.stat-mech hep-lat nlin.CD physics.flu-dyn


title: The Effectiveness of Traditional Tools and Computer-Aided Technologies for Health and Safety Training in the Construction Sector: A Systematic Review

abstract: For workers, the exposure to on-site hazards can result in fatalities and serious injuries. To improve safety outcomes, different approaches have been implemented for health and safety training in the construction sector, such as traditional tools and computer-aided technologies (e.g., serious games and virtual reality). However, the effectiveness of these approaches has been barely explored. In order to bridge this gap, a systematic review of existing studies was conducted. Unlike previous review studies in this field that focused on uncovering the technology characters and challenges, this study mainly evaluated the effectiveness of training using traditional tools and computer-aided technologies on the well-being of individuals. Measures of the effectiveness included knowledge acquisition, unsafe behaviour alteration, and injury rate reduction. Results indicated that: 1. the effectiveness of traditional tools is sufficiently supported by statistical evidence; and 2. the use of computer-aided technologies has evidence to support its effectiveness, but more solid evidence is required to support this statement. It was also found that the overall performance of computer-aided technologies is superior in several technical aspects compared to traditional tools, namely, representing actual workplace situations, providing text-free interfaces, having better user engagement, and being more cost-efficient. Finally, using the systematic review findings, a theoretical framework is proposed as a potential solution to help future research in this field systematically examine the effectiveness and usability of their approaches. This framework is theoretical in nature and requires further validation. A further study is therefore proposed to test and validate this framework.


title: Principles for Developing a Knowledge Graph of Interlinked Events from News Headlines on Twitter

abstract: The ever-growing datasets published on Linked Open Data mainly contain encyclopedic information. However, there is a lack of quality structured and semantically annotated datasets extracted from unstructured real-time sources. In this paper, we present principles for developing a knowledge graph of interlinked events using the case study of news headlines published on Twitter which is a real-time and eventful source of fresh information. We represent the essential pipeline containing the required tasks ranging from choosing background data model, event annotation (i.e., event recognition and classification), entity annotation and eventually interlinking events. The state-of-the-art is limited to domain-specific scenarios for recognizing and classifying events, whereas this paper plays the role of a domain-agnostic road-map for developing a knowledge graph of interlinked events.


title: Multi-Message Private Information Retrieval using Product-Matrix MSR and MBR Codes

abstract: Multi-message private information retrieval (MPIR) is an interesting variation of PIR which allows a user to download multiple messages from the database without revealing the identity of the desired messages. Obviously, the user can repeatly use a single-message PIR scheme, but we wish for a more efficient way to reduce the download cost. In [1], Banawan and Ukulus investigate the multi-message PIR problem with replicated database. In this paper, we consider multi-message PIR schemes where the database is stored using minimum storage regenerating (MSR) or minimum bandwidth regenerating (MBR) codes which are classes of optimal regenerating codes providing efficient repair when a node in the system fails. The relationships between the costs of storage, retrieval and repair are analysed, and explicit schemes using the MSR and MBR codes from [2], which both achieve the optimal curve of the trade-off, are given. To the best of our knowledge, our work is the first to explore the multi-message PIR with coded database.


title: Outlier detection on network flow analysis

abstract: It is important to be able to detect and classify malicious network traffic flows such as DDoS attacks from benign flows. Normally the task is performed by using supervised classification algorithms. In this paper we analyze the usage of outlier detection algorithms for the network traffic classification problem.


title: A Kolmogorov spectrum for strongly vibrating plates

abstract: In fluid turbulence, energy is transferred from a scale to another by an energy cascade that depends only on the energy dissipation rate. It leads by dimensional arguments to the Kolmogorov 1941 (K41) spectrum. Remarkably the normal modes of vibrations in elastic plates manifests an energy cascade with the same K41 spectrum in the fully non-linear regime. Moreover, the elastic deformations present large "eddies" together with a myriad of small "crumpling eddies", such that folds, developable cones, and more complex stretching structures, in close analogy with spots, swirls, vortices and other structures in hydrodynamic turbulence. We characterize the energy cascade, the validity of the constant energy dissipation rate over the scales and the role of intermittency via the correlation functions.


title: Active Learning based on Data Uncertainty and Model Sensitivity

abstract: Robots can rapidly acquire new skills from demonstrations. However, during generalisation of skills or transitioning across fundamentally different skills, it is unclear whether the robot has the necessary knowledge to perform the task. Failing to detect missing information often leads to abrupt movements or to collisions with the environment. Active learning can quantify the uncertainty of performing the task and, in general, locate regions of missing information. We introduce a novel algorithm for active learning and demonstrate its utility for generating smooth trajectories. Our approach is based on deep generative models and metric learning in latent spaces. It relies on the Jacobian of the likelihood to detect non-smooth transitions in the latent space, i.e., transitions that lead to abrupt changes in the movement of the robot. When non-smooth transitions are detected, our algorithm asks for an additional demonstration from that specific region. The newly acquired knowledge modifies the data manifold and allows for learning a latent representation for generating smooth movements. We demonstrate the efficacy of our approach on generalising elementary skills, transitioning across different skills, and implicitly avoiding collisions with the environment. For our experiments, we use a simulated pendulum where we observe its motion from images and a 7-DoF anthropomorphic arm.


title: Numerical aspect of large-scale electronic state calculation for flexible device material

abstract: Numerical aspects of large-scale electronic state calculation are explored on flexible organic device materials. Physical theory, numerical method and real application studies are discussed in the context of application-algorithm-architecture co-design. An application study was carried out for disordered organic thin film. Participation ratio, a measure for the spatial extension of electronic wavefunction is focused on, since it is crucial for device property. A data scientific research is reported for a classification problem of disordered organic polymers, in which participation ratio is used as descriptor. These application studies indicate the potential need of purpose-specific solvers for internal eigenpairs.


title: Adaptive resolution for multiphase smoothed particle hydrodynamics

abstract: The smoothed particle hydrodynamics (SPH) method has been increasingly used to study fluid problems in recent years; but its computational cost can be high if high resolution is required. In this study, an adaptive resolution method based on SPH is developed for multiphase flow simulation. The numerical SPH particles are refined or coarsened as needed, depending on the distance to the interface. In developing the criteria, reference particle spacing is defined for each particle, and it changes dynamically with the location of the interface. A variable smoothing length is used together with adaptive resolution. An improved algorithm for calculating the variable smoothing length is further developed to reduce numerical errors. The proposed adaptive resolution method is validated by five examples involving liquid drops impact on dry or wet surfaces, water entry of a cylinder and dam break flow, with the consideration of ambient gas. Different resolution levels are used in the simulations. Numerical validations have proven that the present adaptive resolution method can accurately capture the dynamics of liquid-gas interface with low computational costs. The present adaptive method can be incorporated into other SPH-based methods for efficient fluid dynamics simulation.


title: A dimension five Lorentz-violating nonminimal coupling for mesons in the KLZ model

abstract: We investigate a dimension five Lorentz-violating (LV) nonminimal coupling between the neutral vector meson field strength and the pion current in the context of the Kroll-Lee-Zumino (KLZ) model. In this modified model we study the vector meson dominance (VMD) through of the imposing of new universality conditions between the couplings that comes from LV contributions. We also show that the LV nonminimal coupling leads to a linear momentum dependence in the timelike pion form factor, that is used to evaluate LV corrections for the muon anomalous magnetic moment. The experimental imprecision of such quantity allows us to obtain upper bound $\bar{g}\xi_{0} < 1.0 \mathbf{~}\mathrm{{GeV}}^{-1}.$ In addition, we also use the LV nonminimal coupling in the KLZ model to recalculate the $\rho$ decay rate. In this case the experimental imprecision is used to constrain the magnitude of the LV parameter at the level of $\bar{g}\xi_{0} < 1.9\times10^{-2}\mathbf{~}\mathrm{{GeV}}^{-1}$.


title: Quasi-secular evolution of mildly hierarchical triple systems: analytics and applications for GW-sources and hot Jupiters

abstract: In hierarchical triple systems, the inner binary is perturbed by a distant companion. For large mutual inclinations, the Lidov-Kozai mechanism secularly excites large eccentricity and inclination oscillations of the inner binary. The maximal eccentricity attained, $e_{\rm max}$ is simply derived and widely used. However, for mildly hierarchical systems (i.e. the companion is relatively close and massive), non-secular perturbations affect the evolution. Here we account for fast non-secular variations and find new analytic formula for $e_{{\rm max}}$, in terms of the system's hierarchy level, correcting previous work and reproducing the orbital flip criteria. We find that $e_{{\rm max}}$ is generally enhanced, allowing closer encounters between the inner binary components, thus significantly changing their interaction and its final outcome. We then extend our approach to include additional relativistic and tidal forces. Using our results, we show that the merger time of gravitational-wave (GW) sources orbiting massive black-holes in galactic nuclei is enhanced compared with previous analysis accounting only for the secular regime. Consequently, this affects the distribution and rates of such GW sources in the relevant mild-hierarchy regime. We test and confirm our predictions with direct N-body and 2.5-level Post-Newtonian codes. Finally, we calculate the formation and disruption rates of hot-Jupiters (HJ) in planetary systems using a statistical approach, which incorporates our novel results for $e_{{\rm max}}$. We find that more HJ migrate from further out, but they are also tidally disrupted more frequently. Remarkably, the overall formation rate of HJs remains similar to that found in previous studies. Nevertheless, the different rates could manifest in different underlying distribution of observed warm-Jupiters.


title: Freezing-in the Hierarchy Problem

abstract: Models with a tiny coupling $\lambda$ between the dark matter and the Standard Model, $\lambda \sim v/M_\text{Pl}\sim 10^{-16}$, can yield the measured relic abundance through the thermal process known as freeze-in. We propose to interpret this small number in the context of perturbative large $N$ theories, where couplings are suppressed by inverse powers of $N$. Then $N \sim M_{\rm Pl}^2/v^2$ gives the observed relic density. Additionally, the ultimate cutoff of the Standard Model is reduced to $\sim 4\,\pi\, M_\text{Pl}/\sqrt{N} \sim 4\, \pi\, v$, thereby solving the electroweak hierarchy problem. These theories predict a direct relation between the Standard Model cutoff and the dark matter mass, linking the spectacular collider phenomenology associated with the low gravitational scale to the cosmological signatures of the dark sector. The dark matter mass can lie in the range from hundreds of keV to hundreds of GeV. Possible cosmological signals include washing out power for small scale structure, indirect detection signals from dark matter decays, and a continuous injection of electromagnetic and hadronic energy throughout the history of the Universe.


title: Tunneling wave function of the universe

abstract: The tunneling wave function of the universe is investigated in a minisuperspace framework of a de Sitter universe with a quantum scalar field, treated as a perturbation. We consider three different approaches to defining the tunneling wave function: (1) tunneling boundary conditions in superspace, (2) Lorentzian path integral, and (3) quantum tunneling from initial universe of a vanishing size. We show that the superspace approach requires Robin boundary conditions for the scalar field modes, the path integral approach requires adding an appropriate boundary term to the scalar field action, and the initial universe approach requires the initial quantum state of the scalar field to be Euclidean vacuum. We find that all three approaches yield identical wave functions and that scalar field fluctuations are well behaved, contrary to earlier claims in the literature.


title: Characterization of Unstable Pixels Using a Mixture Model: Application to HST WFC3 IR

abstract: Many IR datasets are taken with two dithers per filter, complicating the automated recognition of pixels with unstable response. Much data from the HST cameras NICMOS and WFC3 IR fall into this category, and future JWST and WFIRST data are likely to as well. It is thus important to have an updated list of unstable pixels built from many datasets. We demonstrate a simple Bayesian method that directly estimates the fraction of the time the output of each pixel is unstable. The last major update for WFC3 IR was a 2012 instrument science report (ISR WFC3 2012-10, Hilbert 2012), so we compute a new list. Rather than reproduce the old analysis on newer data, we use our new method. By visual inspection, our method identifies unstable pixels with better purity and completeness.


title: Neutrino Telescopes as QCD Microscopes

abstract: We present state-of-the-art predictions for the ultra-high energy (UHE) neutrino-nucleus cross-sections in charged- and neutral-current scattering. The calculation is performed in the framework of collinear factorisation at NNLO, extended to include the resummation of small-$x$ BFKL effects. Further improvements are made by accounting for the free-nucleon PDF constraints provided by $D$-meson data from LHCb and assessing the impact of nuclear corrections and heavy-quark mass effects. The calculations presented here should play an important role in the interpretation of future data from neutrino telescopes such as IceCube and KM3NET, and highlight the opportunities that astroparticle experiments offer to study the strong interactions.


title: Mid-Infrared Spectroscopic Evidence for AGN Heating Warm Molecular Gas

abstract: We analyse 2,015 mid-infrared (MIR) spectra of galaxies observed with Spitzer's Infrared Spectrograph, including objects with growing super-massive black holes and objects where most of the infrared emission originates from newly formed stars. We determine if and how accreting super-massive black holes at the centre of galaxies -- known as active galactic nuclei (AGN) -- heat and ionize their host galaxies' dust and molecular gas. We use four MIR diagnostics to estimate the contribution of the AGN to the total MIR emission. We refer to galaxies whose AGN contribute more than 50 per cent of the total MIR emission as AGN-dominated. We compare the relative strengths of PAH emission features and find that PAH grains in AGN-dominated sources have a wider range of sizes and fractional ionizations than PAH grains in non-AGN dominated sources. We measure rotational transitions of H_2 and estimate H_2 excitation temperatures and masses for individual targets, H_2 excitation temperatures for spectra stacked by their AGN contribution to the MIR, and the H_2 excitation temperature distributions via a hierarchical Bayesian model. We find an average 200 K difference between the excitation temperatures of the H_2 S(5) and H_2 S(7) pure rotational molecular hydrogen transition pair in AGN-dominated versus non-AGN dominated galaxies. Our findings suggest that AGN impact the interstellar medium of their host galaxies.


title: High Energy Reflection Coefficients of Black Holes and Branes

abstract: We study the reflection coefficient associated with a wave that scatters off various black holes in general relativity. We show that for large energies, compared to the scale set by the curvature, the reflection coefficient is suppressed exponentially with the energy. We find that the exponent is fixed by the singularity of the black hole to be $\frac12(\beta+\beta_{in})$ where $\beta$ is the inverse Hawking temperature and $\beta_{in}$ is the inverse temperature associated with the inner horizon. We also study the reflection coefficient associated with extremal D3-branes in string theory. In that case, the exponent is determined by a fictitious singularity located in the complexified space-time. Generalizations to M2-branes and M5-branes are also discussed. We argue that $\frac12 \beta$ is a general bound on the exponent.


title: Type-II 2HDM under the Precision Measurements at the $Z$-pole and a Higgs Factory

abstract: Future precision measurements of the Standard Model (SM) parameters at the proposed $Z$-factories and Higgs factories may have significant impacts on new physics beyond the Standard Model in the electroweak sector. We illustrate this by focusing on the Type-II two Higgs doublet model (Type-II 2HDM). The contributions from the heavy Higgs bosons at the tree-level and at the one-loop level are included in a full model parameter space. We perform a multiple variable global fit and study the extent to which the parameters of non-alignment and non-degenerate masses can be probed by the precision measurements. We find that the allowed parameter ranges are tightly constrained by the future Higgs precision measurements, especially for small and large values of $\tan\beta$. Indirect limits on the masses of heavy Higgs can be obtained, which can be complementary to the direct searches of the heavy Higgs bosons at hadron colliders. We also find that the expected accuracies at the $Z$-pole and at a Higgs factory are quite complementary in constraining mass splittings of heavy Higgs bosons. The typical results are $|\cos(\beta-\alpha)| < 0.008, |\Delta m_\Phi | < 200\ {\rm GeV}$, and $\tan\beta \sim 0.2 - 5$. The reaches from CEPC, FCC-ee and ILC are also compared, for both Higgs and $Z$-pole precision measurements.


title: Scrambling in the Dicke model

abstract: The scrambling rate $\lambda_L$ associated with the exponential growth of out-of-time-ordered correlators can be used to characterize quantum chaos. Here we use the Majorana Fermion representation of spin $1/2$ systems to study quantum chaos in the Dicke model. We take the system to be in thermal equilibrium and compute $\lambda_L$ throughout the phase diagram to leading order in $1/N$. We find that the chaotic behavior is strongest close to the critical point. At high temperatures $\lambda_L$ is nonzero over an extended region that includes both the normal and super-radiant phases. At low temperatures $\lambda_L$ is nonzero in (a) close vicinity of the critical point and (b) a region within the super-radiant phase. In the process we also derive a new effective theory for the super-radiant phase at finite temperatures. Our formalism does not rely on the assumption of total spin conservation.


title: Weak-coupling superconductivity in an anisotropic three-dimensional repulsive Hubbard model

abstract: We study a three-dimensional single-band repulsive Hubbard model at weak coupling. We establish the superconducting phase diagram in the parameter space of the chemical potential and the out-of-plane hopping strength. The model continuously connects the Hubbard model in two and three dimensions. We confirm previously-established results in these limits, and identify a rich structure of competing order parameters in between. Specifically, we find five types of $p$- and $d$-wave orders. In several regions of the phase diagram, even when the Fermi surface is a corrugated cylinder, the ground state is a time-reversal-symmetry-breaking superconductor with nodes, i.e. a Weyl superconductor.


title: A 3d Gauge Theory/Quantum K-Theory Correspondence

abstract: The 2d gauged linear sigma model (GLSM) gives a UV model for quantum cohomology on a Kahler manifold X, which is reproduced in the IR limit. We propose and explore a 3d lift of this correspondence, where the UV model is the N=2 supersymmetric 3d gauge theory and the IR limit is given by Givental's permutation equivariant quantum K-theory on X. This gives a one-parameter deformation of the 2d GLSM/quantum cohomology correspondence and recovers it in a small radius limit. We study some novelties of the 3d case regarding integral BPS invariants, chiral rings, deformation spaces and mirror symmetry.


title: A GBT Survey of the HALOGAS Galaxies and Their Environments I: Revealing the full extent of HI around NGC891, NGC925, NGC4414 & NGC4565

abstract: We present initial results from a deep neutral hydrogen (HI) survey of the HALOGAS galaxy sample, which includes the spiral galaxies NGC891, NGC925, NGC4414, and NGC4565, performed with the Robert C. Byrd Green Bank Telescope (GBT). The resulting observations cover at least four deg$^2$ around these galaxies with an average 5$\sigma$ detection limit of 1.2$\times$10$^{18}$ cm$^{-2}$ over a velocity range of 20 km s$^{-1}$ and angular scale of 9.1$'$. In addition to detecting the same total flux as the GBT data, the spatial distribution of the GBT and original Westerbork Synthesis Radio Telescope (WSRT) data match well at equal spatial resolutions. The HI mass fraction below HI column densities of 10$^{19}$ cm$^{-2}$ is, on average, 2\%. We discuss the possible origins of low column density HI of nearby spiral galaxies. The absence of a considerable amount of newly detected HI by the GBT indicates these galaxies do not have significant extended diffuse HI structures, and suggests future surveys planned with the SKA and its precursors must go \textit{at least} as deep as 10$^{17}$ cm$^{-2}$ in column density to significantly increase the probability of detecting HI associated with the cosmic web and/or cold mode accretion.


title: Universe's Worth of Electrons to Probe Long-Range Interactions of High-Energy Astrophysical Neutrinos

abstract: Astrophysical searches for new long-range interactions complement collider searches for new short-range interactions. Conveniently, neutrino flavor oscillations are keenly sensitive to the existence of long-ranged flavored interactions between neutrinos and electrons, motivated by lepton-number symmetries of the Standard Model. For the first time, we probe them using TeV-PeV astrophysical neutrinos and accounting for all large electron repositories in the local and distant Universe. The high energies and colossal number of electrons grant us unprecedented sensitivity to the new interaction, even if it is extraordinarily feeble. Based on IceCube results for the flavor composition of astrophysical neutrinos, we set the ultimate bounds on long-range neutrino flavored interactions.


title: Thermodynamic properties of the Shastry-Sutherland model from quantum Monte Carlo simulations

abstract: We investigate the minus-sign problem that afflicts quantum Monte Carlo (QMC) simulations of frustrated quantum spin systems, focusing on spin S=1/2, two spatial dimensions, and the extended Shastry-Sutherland model. We show that formulating the Hamiltonian in the diagonal dimer basis leads to a sign problem that becomes negligible at low temperatures for small and intermediate values of the ratio of the inter- and intradimer couplings. This is a consequence of the fact that the product state of dimer singlets is the exact ground state both of the extended Shastry-Sutherland model and of a corresponding "sign-problem-free" model, obtained by changing the signs of all positive off-diagonal matrix elements in the dimer basis. By exploiting this insight, we map the sign problem throughout the extended parameter space from the Shastry-Sutherland to the fully frustrated bilayer model and compare it with the phase diagram computed by tensor-network methods. We use QMC to compute with high accuracy the temperature dependence of the magnetic specific heat and susceptibility of the Shastry-Sutherland model for large systems up to a coupling ratio of 0.526(1) and down to zero temperature. For larger coupling ratios, our QMC results assist us in benchmarking the evolution of the thermodynamic properties by systematic comparison with exact diagonalization calculations and interpolated high-temperature series expansions.


title: Nonequilibrium selection of magnetic order in driven triangular XY antiferromagnet

abstract: We show that a weak periodic drive removes the accidental degeneracy in the ground state of the XY antiferromagnet on the triangular lattice in a uniform static magnetic field. The underlying mechanism involves adding a small periodically modulated component to the magnetic field, which influences finite-frequency modes to generate an effective potential for the accidental pseudo-Goldstone mode. This selection can be arranged to compete with the degeneracy lifting via the thermal order by disorder mechanism. This yields a non-equilibrium phase transition as the relative strength of the two mechanisms is tuned by varying temperature. This proposal may be amenable to experimental realization, in particular as applying the field is noninvasive, and no complex bath engineering is required.


title: Shocks or Photoionization: Direct Temperature Measurements of the Low-Ionization Gas in Quiescent Galaxies

abstract: The ionization mechanism of the low-ionization gas in quiescent red sequence galaxies has been a long-standing puzzle. Direct temperature measurements would put strong constraints on this issue. We carefully selected a sample of quiescent red sequence galaxies from SDSS. We bin them into three bins with different [N II]/H{\alpha} and [N II]/[O II] ratios, and we measure the temperature-sensitive [O III] {\lambda}4363, [N II] {\lambda}5755, [S II] {\lambda}{\lambda}4068,4076, and [O II] {\lambda}{\lambda}7320,7330 lines in the stacked spectra. The [S II] doublet ratios indicate the line-emitting gas is in the low density regime (~10-100 cm$^{-3}$).We found the temperatures in the S+ zones to be around 8000K, the temperatures in the O+ zones to be around $1.1-1.5\times10^4$K, and the temperatures in the N+ zones to be around $1-1.4\times10^4$K. The [O III] {\lambda}4363 line is not robustly detected. We found that the extinction corrections derived from Balmer decrements would yield unphysical relationships between the temperatures of the S+ zones and O+ zones, indicating that the extinction is significantly overestimated by the measured Balmer decrements. We compared these line ratios with model predictions for three ionization mechanisms: photoionization by hot evolved stars, shocks, and turbulent mixing layers. For both the photoionization and shock models, the hot temperatures inferred from [S II] and [N II] coronal-to-strong line ratios require metallicities to be significantly subsolar. However, the [N II]/[O II] line ratios require them to be supersolar. None of the models could simultaneously explain all of the observed line ratios, neither could their combinations do.


title: Directed Random Geometric Graphs

abstract: Many real-world networks are intrinsically directed. Such networks include activation of genes, hyperlinks on the internet, and the network of followers on Twitter among many others. The challenge, however, is to create a network model that has many of the properties of real-world networks such as powerlaw degree distributions and the small-world property. To meet these challenges, we introduce the \textit{Directed} Random Geometric Graph (DRGG) model, which is an extension of the random geometric graph model. We prove that it is scale-free with respect to the indegree distribution, has binomial outdegree distribution, has a high clustering coefficient, has few edges and is likely small-world. These are some of the main features of aforementioned real world networks. We empirically observe that word association networks have many of the theoretical properties of the DRGG model.


title: The constraining effect of gas and the dark matter halo on the vertical stellar distribution of the Milky Way

abstract: We study the vertical stellar distribution of the Milky Way thin disk in detail with particular focus on the outer disk. We treat the galactic disk as a gravitationally coupled, three-component system consisting of stars, atomic hydrogen gas, and molecular hydrogen gas in the gravitational field of the dark matter halo. The self-consistent vertical distribution for stars and gas in such a realistic system is obtained for radii between 4-22 kpc. The inclusion of an additional gravitating component constrains the vertical stellar distribution toward the mid-plane, so that the mid-plane density is higher, the disk thickness is reduced, and the vertical density profile is steeper than in the one-component, isothermal, stars-alone case. We show that the stellar distribution is constrained mainly by the gravitational field of gas and dark matter halo in the inner and the outer Galaxy, respectively. We find that the thickness of the stellar disk (measured as the HWHM of the vertical density distribution) increases with radius, flaring steeply beyond R=17 kpc. The disk thickness is reduced by a factor of 3-4 in the outer Galaxy as a result of the gravitational field of the halo, which may help the disk resist distortion at large radii. The disk would flare even more if the effect of dark matter halo were not taken into account. Thus it is crucially important to include the effect of the dark matter halo when determining the vertical structure and dynamics of a galactic disk in the outer region.


title: Cosmic-Ray Anisotropy from Large Scale Structure and the effect of magnetic horizons

abstract: Motivated by the ~7 % dipole anisotropy in the distribution of ultra-high energy cosmic-rays (UHECRs) above 8 EeV, we explore the anisotropy induced by the large scale structure, using constrained simulations of the local Universe and taking into account the effect of magnetic fields. The value of the intergalactic magnetic field (IGMF) is critical as it determines the UHECR cosmic horizon. We calculate the UHECR sky maps for different values of the IGMF variance and show the effect of the UHECR horizon on the observed anisotropy. The footprint of the local ($\lesssim350$ Mpc) Universe on the UHECR background, a small angular scale enhancement in the Northern Hemisphere, is seen. At 11.5 EeV (the median value of the energy bin at which the dipole has been reported), the LSS-induced dipole amplitude is $A_1\sim10\%$, for IGMF in the range [0.3-3] nG for protons, helium and nitrogen, compatible with the rms value derived from the cosmic power spectrum. However at these energies the UHECRs are also influenced by the Galactic Magnetic Field (GMF) and we discuss its effect on the LSS-induced anisotropy.


title: An efficient deterministic perturbation theory for selected configuration interaction methods

abstract: The interplay between advances in stochastic and deterministic algorithms has recently led to development of interesting new selected configuration interaction (SCI) methods for solving the many body Schr\"{o}dinger equation. The performance of these SCI methods can be greatly improved with a second order perturbation theory (PT2) correction, which is often evaluated in a stochastic or hybrid-stochastic manner. In this work, we present a highly efficient, fully deterministic PT2 algorithm for SCI methods and demonstrate that our approach is orders of magnitude faster than recent proposals for stochastic SCI+PT2. We also show that it is important to have a compact reference SCI wave function, in order to obtain optimal SCI+PT2 energies. This indicates that it advantageous to use accurate search algorithms such as 'ASCI search' rather than more approximate approaches. Our deterministic PT2 algorithm is based on sorting techniques that have been developed for modern computing architectures and is inherently straightforward to use on parallel computing architectures. Related architectures such as GPU implementations can be also used to further increase the efficiency. Overall, we demonstrate that the algorithms presented in this work allow for efficient evaluation of trillions of PT2 contributions with modest computing resources.

categories: cond-mat.str-el physics.atm-clus physics.comp-ph quant-ph


title: A class of the NSVZ renormalization schemes for ${\cal N}=1$ SQED

abstract: For the ${\cal N}=1$ supersymmetric electrodynamics we investigate renormalization schemes in which the NSVZ equation relating the $\beta$-function to the anomalous dimension of the matter superfields is valid in all loops. We demonstrate that there is an infinite set of such schemes. They are related by finite renormalizations which form a group and are parameterized by one finite function and one arbitrary constant. This implies that the NSVZ $\beta$-function remains unbroken if the finite renormalization of the coupling constant is related to the finite renormalization of the matter superfields by a special equation derived in this paper. The arbitrary constant corresponds to the arbitrariness of choosing the renormalization point. The results are illustrated by explicit calculations in the three-loop approximation.


title: Cores of Cubelike Graphs

abstract: A graph is $\textit{cubelike}$ if it is a Cayley graph for some elementary abelian $2$-group $\mathbb{Z}_2^n$. The core of a graph is its smallest subgraph to which it admits a homomorphism. More than ten years ago, Ne\v{s}et\v{r}il and \v{S}\'amal (On tension-continuous mappings. $\textit{European J. Combin.,}$ 29(4):1025--1054, 2008) asked whether the core of a cubelike graph is cubelike, but since then very little progress has been made towards resolving the question. Here we investigate the structure of the core of a cubelike graph, deducing a variety of structural, spectral and group-theoretical properties that the core "inherits" from the host cubelike graph. These properties constrain the structure of the core quite severely --- even if the core of a cubelike graph is not actually cubelike, it must bear a very close resemblance to a cubelike graph. Moreover we prove the much stronger result that not only are these properties inherited by the core of a cubelike graph, but also by the orbital graphs of the core. Even though the core and its orbital graphs look very much like cubelike graphs, we are unable to show that this is sufficient to characterise cubelike graphs. However, our results are strong enough to eliminate all non-cubelike vertex-transitive graphs on up to $32$ vertices as potential cores of cubelike graphs (of any size). Thus, if one exists at all, a cubelike graph with a non-cubelike core has at least $128$ vertices and its core has at least $64$ vertices.


title: Universality of squashed-sphere partition functions

abstract: We present several results concerning the free energy of odd-dimensional conformal field theories (CFTs) on squashed spheres. First, we propose a formula which computes this quantity for holographic CFTs dual to higher-curvature gravities with second-order linearized equations of motion. As opposed to standard on-shell action methods for Taub geometries, our formula is automatically UV-finite and only involves a simple evaluation of the corresponding bulk Lagrangian on an auxiliary pure-AdS space. The expression is closely related to the function determining the possible AdS vacua of the bulk theory in question, which we argue to act as a generating functional from which correlation functions of the boundary stress tensor can be easily characterized. Finally, based on holographic results and free-field numerical calculations, we conjecture that the subleading term in the squashing-parameter free-energy expansion is universally controlled by the stress-tensor three-point function charge $t_4$ for general $(2+1)$-dimensional CFTs.


title: A new perspective on hierarchical spline spaces for adaptivity

abstract: We introduce a framework for spline spaces of hierarchical type, based on a parent-children relation, which is very convenient for the analysis as well as the implementation of adaptive isogeometric methods. Such framework makes it simple to create hierarchical \emph{basis} with \emph{control on the overlapping}. Linear independence is always desired for the well posedness of the linear systems, and to avoid redundancy. The control on the overlapping of basis functions from different levels is necessary to close theoretical arguments in the proofs of optimality of adaptive methods. In order to guarantee linear independence, and to control the overlapping of the basis functions, some basis functions additional to those initially marked must be refined. However, with our framework and refinement procedures, the complexity of the resulting bases is under control, i.e., the resulting bases have cardinality bounded by the number of initially marked functions.


title: Temperature dependence of butterfly effect in a classical many-body system

abstract: We study the chaotic dynamics in a classical many-body system of interacting spins on the kagome lattice. We characterise many-body chaos via the butterfly effect as captured by an appropriate out-of-time-ordered correlator. Due to the emergence of a spin liquid phase, the chaotic dynamics extends all the way to zero temperature. We thus determine the full temperature dependence of two complementary aspects of the butterfly effect: the Lyapunov exponent, $\mu$, and the butterfly speed, $v_b$, and study their interrelations with usual measures of spin dynamics such as the spin-diffusion constant, $D$ and spin-autocorrelation time, $\tau$. We find that they all exhibit power law behaviour at low temperature, consistent with scaling of the form $D\sim v_b^2/\mu$ and $\tau^{-1}\sim T$. The vanishing of $\mu\sim T^{0.48}$ is parametrically slower than that of the corresponding quantum bound, $\mu\sim T$, raising interesting questions regarding the semi-classical limit of such spin systems.


title: Metric Temporal Extensions of DL-Lite and Interval-Rigid Names

abstract: The DL-Lite description logics allow for modeling domain knowledge on top of databases and for efficient reasoning. We focus on metric temporal extensions of DL-Lite_bool and its fragments, and study the complexity of satisfiability. In particular, we investigate the influence of rigid and interval-rigid symbols, which allow for modeling knowledge that remains valid over (some) time. We show that especially the latter add considerable expressive power in many logics, but they do not always increase complexity.


title: Multi-Estimator Full Left Ventricle Quantification through Ensemble Learning

abstract: Cardiovascular disease accounts for 1 in every 4 deaths in United States. Accurate estimation of structural and functional cardiac parameters is crucial for both diagnosis and disease management. In this work, we develop an ensemble learning framework for more accurate and robust left ventricle (LV) quantification. The framework combines two 1st-level modules: direct estimation module and a segmentation module. The direct estimation module utilizes Convolutional Neural Network (CNN) to achieve end-to-end quantification. The CNN is trained by taking 2D cardiac images as input and cardiac parameters as output. The segmentation module utilizes a U-Net architecture for obtaining pixel-wise prediction of the epicardium and endocardium of LV from the background. The binary U-Net output is then analyzed by a separate CNN for estimating the cardiac parameters. We then employ linear regression between the 1st-level predictor and ground truth to learn a 2nd-level predictor that ensembles the results from 1st-level modules for the final estimation. Preliminary results by testing the proposed framework on the LVQuan18 dataset show superior performance of the ensemble learning model over the two base modules.


title: Floquet Hofstadter Butterfly on the Kagome and Triangular Lattices

abstract: In this work we use Floquet theory to theoretically study the influence of monochromatic circularly and linearly polarized light on the Hofstadter butterfly---induced by a uniform perpendicular magnetic field--for both the kagome and triangular lattices. In the absence of the laser light, the butterfly has fractal structure with inversion symmetry about magnetic flux $\phi=1/4$, and reflection symmetry about $\phi=1/2$. As the system is exposed to an external laser, we find circularly polarized light deforms the butterfly by breaking the mirror symmetry at flux $\phi=1/2$. By contrast, linearly polarized light deforms the original butterfly while preserving the mirror symmetry at flux $\phi=1/2$. We find the inversion symmetry is always preserved for both linear and circular polarized light. For linearly polarized light, the Hofstadter butterfly depends on the polarization direction. Further, we study the effect of the laser on the Chern number of lowest band in the off-resonance regime (laser frequency is larger than the bandwidth). For circularly polarized light, we find that low laser intensity will not change the Chern number, but beyond a critical intensity the Chern number will change. For linearly polarized light, the Chern number depends on the polarization direction. Our work highlights the generic features expected for the periodically driven Hofstadter problem on different lattices.


title: On the number of real classes in the finite projective linear and unitary groups

abstract: We show that for any $n$ and $q$, the number of real conjugacy classes in $\mathrm{PGL}(n, \mathbb{F}_q)$ is equal to the number of real conjugacy classes of $\mathrm{GL}(n, \mathbb{F}_q)$ which are contained in $\mathrm{SL}(n, \mathbb{F}_q)$, refining a result of Lehrer, and extending the result of Gill and Singh that this holds when $n$ is odd or $q$ is even. Further, we show that this quantity is equal to the number of real conjugacy classes in $\mathrm{PGU}(n, \mathbb{F}_q)$, and equal to the number of real conjugacy classes of $\mathrm{U}(n, \mathbb{F}_q)$ which are contained in $\mathrm{SU}(n, \mathbb{F}_q)$, refining results of Gow and Macdonald. We also give a generating function for this common quantity.


title: Quantum control and sensing of nuclear spins by electron spins under power limitations

abstract: State of the art quantum sensing experiments targeting frequency measurements or frequency addressing of nuclear spins require to drive the probe system at the targeted frequency. In addition, there is a substantial advantage to perform these experiments in the regime of high magnetic fields, in which the Larmor frequency of the measured spins is large. In this scenario we are confronted with a natural challenge of controlling a target system with a very high frequency when the probe system cannot be set to resonance with the target frequency. In this contribution we present a set of protocols that are capable of confronting this challenge, even at large frequency mismatches between the probe system and the target system, both for polarisation and for quantum sensing.


title: Ergodic theorem in Hadamard spaces in terms of inductive means

abstract: Let (G,+) be a compact, abelian, and metrizable topological group. In this group we take $g\in G$ such that the corresponding automorphism t_g is ergodic. The main result of this paper is a new ergodic theorem for functions in L^1(G,M), where M is a Hadamard space. The novelty of our result is that we use inductive means to average the elements of the orbit {t_g^n(h)}_{n\in N}. The advantage of inductive means is that they can be explicitly computed in many important examples. The proof of the ergodic theorem is done firstly for continuous functions, and then it is extended to L^1 functions. The extension is based in a new construction of mollifiers in Hadamard spaces. This construction has the advantage that it only uses the metric structure and the existence of barycenters, and do not require the existence of an underlying vector space. For this reason, it can be used in any Hadamard space, in contrast with those results that need to use the tangent space or some chart to define the mollifier.


title: Semblance: A Rank-Based Kernel on Probability Spaces for Niche Detection

abstract: In data science, determining proximity between observations is critical to many downstream analyses such as clustering, information retrieval and classification. However, when the underlying structure of the data probability space is unclear, the function used to compute similarity between data points is often arbitrarily chosen. Here, we present a novel concept of proximity, Semblance, that uses the empirical distribution across all observations to inform the similarity between each pair. The advantage of Semblance lies in its distribution free formulation and its ability to detect niche features by placing greater emphasis on similarity between observation pairs that fall at the outskirts of the data distribution, as opposed to those that fall towards the center. We prove that Semblance is a valid Mercer kernel, thus allowing its principled use in kernel based learning machines. Semblance can be applied to any data modality, and we demonstrate its consistently improved performance against conventional methods through simulations and three real case studies from very different applications, viz. cell type classification using single cell RNA sequencing, selecting predictors of positive return on real estate investments, and image compression.


title: Atomtronics with a spin: statistics of spin transport and non-equilibrium orthogonality catastrophe in cold quantum gases

abstract: We propose to investigate the full counting statistics of nonequilibrium spin transport with an ultracold atomic quantum gas. The setup makes use of the spin control available in atomic systems to generate spin transport induced by an impurity atom immersed in a spin-imbalanced two-component Fermi gas. In contrast to solid-state realizations, in ultracold atoms spin relaxation and the decoherence from external sources is largely suppressed. As a consequence, once the spin current is turned off by manipulating the internal spin degrees of freedom of the Fermi system, the nonequilibrium spin population remains constant. Thus one can directly count the number of spins in each reservoir to investigate the full counting statistics of spin flips, which is notoriously challenging in solid state devices. Moreover, using Ramsey interferometry, the dynamical impurity response can be measured. Since the impurity interacts with a many-body environment that is out of equilibrium, our setup provides a way to realize the non-equilibrium orthogonality catastrophe. Here, even for spin reservoirs initially prepared in a zero-temperature state, the Ramsey response exhibits an exponential decay, which is in contrast to the conventional power-law decay of Anderson's orthogonality catastrophe. By mapping our system to a multi-step Fermi sea, we are able to derive analytical expressions for the impurity response at late times. This allows us to reveal an intimate connection of the decay rate of the Ramsey contrast and the full counting statistics of spin flips.

categories: cond-mat.quant-gas cond-mat.mes-hall cond-mat.stat-mech quant-ph


title: A composite pNGB leptoquark at the LHC

abstract: The measurements of $R_K^{(*)}$ and $R_{D}^{(*)}$ by BaBar, Belle and the LHCb collaborations could be showing a hint of lepton flavor universality violation that can be accommodated by the presence of suitable leptoquarks at the TeV scale. We consider an effective description, with leptoquarks arising as composite pseudo Nambu-Goldstone bosons, as well as anarchic partial compositeness of the SM fermions. Considering the $R_K^{(*)}$ anomaly within this framework, we study pair production of $S_3\sim(\bar 3,3)_{1/3}$ at the LHC. We focus on the component $S_3^{1/3}$ of the triplet, which decays predominantly into $t\tau$ and $b\nu$, and study the bounds from existing searches at $\sqrt{s}=13$ TeV at the LHC. We find that sbottom searches in the $b\bar{b}$+MET final state best explore the region in parameter space preferred by our model and currently exclude $S_3^{1/3}$ masses up to $\sim$1 TeV. Additional searches, considering the $t\tau$ and $t\mu$ decay modes, are required to probe the full physical parameter space. In this paper we also recast existing studies on direct leptoquark searches in the $t\tau t\tau$ channel and SM $t\bar{t}t\bar{t}$ searches, and obtain the regions in parameter space currently excluded. Practically the whole physical parameter space is currently excluded for masses up to $\sim$0.8 TeV, which could be extended up to $\sim$1 TeV with the full Run 3 dataset. We conclude that pair production searches for this leptoquark can benefit from considering the final state $t \tau b$ +MET, where the largest branching ratio is expected. We appraise that future explorations of leptoquarks explaining the B-anomalies with masses beyond the TeV should also consider single and non-resonant production in order to extend the mass reach.


title: Design of Automatic Soil Humidity Control using Maximum Power Point Tracking Controller

abstract: The photovoltaic system uses the photovoltaic array as a source of electrical power for the direct conversion of the sun radiation to direct current without any environmental hazards. The main purpose of this research is to design a converter with Maximum Power Point Tracker MPPT algorithm for any typical application of soil humidity control. Using this setup the major energy from the solar panel is used for the control of soil humidity. The design of the converter with MPPT together with the soil humidity control logic is presented in this paper. Experimental testing of the designed controller is implemented and evaluated for performance under laboratory environment.


title: Retrieval of free-Majorana wavefunctions for the finite Kitaev chain using an appropriate momentum representation

abstract: In quantum mechanics, the spaces of momentum and its conjugate, the position, are related via Fourier transforms and thus the properties are interwoven with their structure. In particular, for lattice systems possessing an underlying discrete position space, the momentum becomes finite. Moreover, if the lattice length is finite, $L<\infty$, the momentum space also becomes both finite and discrete breaking altogether the continuity of the dispersion relation. This aspect is relevant in new systems such as the topological materials. We address this point paving the path for new ways to the observation of Majorana quasi-particles. Furthermore, the Kitaev model, which is the simplest Hamiltonian supporting Majorana fermions, is therefore taken as a starting point for the theoretical description of the work. Our study focuses on finding the zero-energy modes in an artificial arrangement of a non-interacting superconducting finite nanowire by using a discrete-sine transform with the purpose of going from position to momentum space considering hard-wall boundary conditions in the process. Here, a new $L$-dimensional Nambu operator to diagonalize the system in the Bogoliubov-de Gennes formalism is proposed and, further, we arrive to a new space with a considerable reduced dimension allowing the treatment of larger system sizes. We also present a comparison between the numerical and third order perturbation theory for the weak coupling regime results presenting an excellent agreement. Finally, we analyze the wavefunctions of the retrieved zero-energy modes showing that they are indeed edge states and thus they have an exponential decay.


title: The Internals of the Data Calculator

abstract: Data structures are critical in any data-driven scenario, but they are notoriously hard to design due to a massive design space and the dependence of performance on workload and hardware which evolve continuously. We present a design engine, the Data Calculator, which enables interactive and semi-automated design of data structures. It brings two innovations. First, it offers a set of fine-grained design primitives that capture the first principles of data layout design: how data structure nodes lay data out, and how they are positioned relative to each other. This allows for a structured description of the universe of possible data structure designs that can be synthesized as combinations of those primitives. The second innovation is computation of performance using learned cost models. These models are trained on diverse hardware and data profiles and capture the cost properties of fundamental data access primitives (e.g., random access). With these models, we synthesize the performance cost of complex operations on arbitrary data structure designs without having to: 1) implement the data structure, 2) run the workload, or even 3) access the target hardware. We demonstrate that the Data Calculator can assist data structure designers and researchers by accurately answering rich what-if design questions on the order of a few seconds or minutes, i.e., computing how the performance (response time) of a given data structure design is impacted by variations in the: 1) design, 2) hardware, 3) data, and 4) query workloads. This makes it effortless to test numerous designs and ideas before embarking on lengthy implementation, deployment, and hardware acquisition steps. We also demonstrate that the Data Calculator can synthesize entirely new designs, auto-complete partial designs, and detect suboptimal design choices.


title: Dagger completions and bornological torsion-freeness

abstract: We define a dagger algebra as a bornological algebra over a discrete valuation ring with three properties that are typical of Monsky-Washnitzer algebras, namely, completeness, bornological torsion-freeness and a certain spectral radius condition. We study inheritance properties of the three properties that define a dagger algebra. We describe dagger completions of bornological algebras in general and compute some noncommutative examples.


title: Exploiting DRAM Latency Variations for Generating True Random Numbers

abstract: True random number generator (TRNG) plays a vital role in a variety of security applications and protocols. The security and privacy of an asset rely on the encryption, which solely depends on the quality of random numbers. Memory chips are widely used for generating random numbers because of their prevalence in modern electronic systems. Unfortunately, existing Dynamic Random-access Memory (DRAM)-based TRNGs produce random numbers with either limited entropy or poor throughput. In this paper, we propose a DRAM-latency based TRNG that generates high-quality random numbers. The silicon results from Samsung and Micron DDR3 DRAM modules show that our proposed DRAM-latency based TRNG is robust (against different operating conditions and environmental variations) and acceptably fast.


title: Generalized Transfer Matrix States from Artificial Neural Networks

abstract: Identifying variational wave functions that efficiently parametrize the physically relevant states in the exponentially large Hilbert space is one of the key tasks towards solving the quantum many-body problem. Powerful tools in this context such as tensor network states have recently been complemented by states derived from artificial neural networks (ANNs). Here, we propose and investigate a new family of quantum states, coined generalized transfer matrix states (GTMS), which bridges between the two mentioned approaches in the framework of deep ANNs. In particular, we show by means of a constructive embedding that the class of GTMS contains generic matrix product states while at the same time being capable of capturing more long-ranged quantum correlations that go beyond the area-law entanglement properties of tensor networks. While the state amplitude of generic deep ANNs cannot be exactly evaluated, that of a GTMS network can be analytically computed using transfer matrix methods. With numerical simulations, we demonstrate how the GTMS network learns random matrix product states in a supervised learning scheme, and how augmenting the network by long-ranged couplings leads to the onset of volume-law entanglement scaling. By means of an explicit example using variational Monte Carlo, we also show that GTMS can parametrize critical quantum many-body ground states to a good accuracy. Our findings suggest that GTMS are a promising candidate for the study of critical and dynamical quantum many-body systems.


title: A Simple Algorithm for a Computationally Hard Problem

abstract: Graph isomorphism problem is a known hard problem. In this paper, a novel randomized algorithm is proposed for this problem which is very simple and fast. It solves the graph isomorphism problem with running time O(n^2.373) for any pair of n-vertex graphs whose adjacency matrices are not strongly co-det. Strongly co-det pair of matrices have very special symmetric structure which can be disarranged to be not strongly co-det by manipulating one element of the matrices.