title: The Physics Behind the CosmicWatch Desktop Muon Detectors

abstract: The CosmicWatch Desktop Muon Detector is a Massachusetts Institute of Technology (MIT) and Polish National Centre for Nuclear Research (NCBJ) based undergraduate-level physics project that incorporates various aspects of electronics-shop technical development. The detector was designed to be low-power and extremely portable, which opens up a wide range of physics for students to explore. This document describes the physics behind the Desktop Muon Detectors and explores possible measurements that can be made with the detectors. In particular, we explore various physical phenomena associated with the geomagnetic field, atmospheric conditions, cosmic ray shower composition, attenuation of particles in matter, radioactivity, and statistical properties of Poisson processes.


title: Quantum Error Correction with the GKP Code and Concatenation with Stabilizer Codes

abstract: Gottesman, Kitaev and Preskill have proposed a scheme to encode a qubit in a harmonic oscillator, which is called the GKP code. It is designed to be resistant to small shift errors contained in momentum and position quadratures. Thus there's some intrinsic fault tolerance of the GKP code. In this thesis,we propose a method to utilize all the information contained in the continuous shifts, not just simply map a GKP-encoded qubit to a normal qubit. This method enables us to do maximum-likelihood decisions and thus increase fault-tolerance of the GKP code. This thesis shows that the continuous nature of the GKP code is quite useful for quantum error correction.


title: Personalized, Health-Aware Recipe Recommendation: An Ensemble Topic Modeling Based Approach

abstract: Food choices are personal and complex and have a significant impact on our long-term health and quality of life. By helping users to make informed and satisfying decisions, Recommender Systems (RS) have the potential to support users in making healthier food choices. Intelligent users-modeling is a key challenge in achieving this potential. This paper investigates Ensemble Topic Modelling (EnsTM) based Feature Identification techniques for efficient user-modeling and recipe recommendation. It builds on findings in EnsTM to propose a reduced data representation format and a smart user-modeling strategy that makes capturing user-preference fast, efficient and interactive. This approach enables personalization, even in a cold-start scenario. This paper proposes two different EnsTM based and one Hybrid EnsTM based recommenders. We compared all three EnsTM based variations through a user study with 48 participants, using a large-scale,real-world corpus of 230,876 recipes, and compare against a conventional Content Based (CB) approach. EnsTM based recommenders performed significantly better than the CB approach. Besides acknowledging multi-domain contents such as taste, demographics and cost, our proposed approach also considers user's nutritional preference and assists them finding recipes under diverse nutritional categories. Furthermore, it provides excellent coverage and enables implicit understanding of user's food practices. Subsequent analysis also exposed correlation between certain features and a healthier lifestyle.


title: Response time optimization for drone-delivered automated external defibrillators

abstract: Out-of-hospital cardiac arrest (OHCA) claims over 400,000 lives each year in North America and is one of the most time-sensitive medical emergencies. Drone-delivered automated external defibrillators (AEDs) have the potential to be a transformative innovation in the provision of emergency care for OHCA. In this paper, we propose a simulation-optimization framework to minimize the total number of drones required to meet a pre-specified response time goal, while guaranteeing a sufficient number of drones are located at each base. To do this, we develop a location-queuing model that is based on the p-median architecture, where each base constitutes an explicit M/M/d queue, and that incorporates estimated baseline response times to the demand points. We then develop a reformulation technique that exploits the baseline response times, allowing us to solve real-world instances to optimality using an off-the-shelf solver. To test our model, we develop a two-stage machine learning approach to simulate both the locations and baseline response times for future OHCAs. We demonstrate the application of our framework using eight years of real data from an area covering 26,000 square kilometres around Toronto, Canada. A modest number of drones are required to significantly reduce response times in all regions. Furthermore, an objective function focused on improving the 90th percentile is well-suited for use in practice because the model reduces the entire response time distribution, while providing equitable coverage in both cities and rural areas. Overall, this paper provides a realistic framework that can be leveraged by healthcare providers seeking to implement a drone network.


title: Tracy: A Business-driven Technical Debt Prioritization Framework

abstract: Technical debt is a pervasive problem in software development. Software development teams have to prioritize debt items and determine whether they should address debt or develop new features at any point in time. This paper presents "Tracy", a framework for the prioritization of technical debt using a business-driven approach built on top of business processes. The current stage of the proposed framework is at the beginning of the third phase of Design Science Research, which is usually divided into the phases of exploration, engineering, and evaluation. The exploration and engineering phases involved the participation of 49 professionals from 12 different groups of three companies. The initial evaluation shows that the presented framework is coherent in its structure and that its results contribute to business-driven decision making on technical debt prioritization.


title: Multi-path Learning for Object Pose Estimation Across Domains

abstract: We introduce a scalable approach for object pose estimation trained on simulated RGB views of multiple 3D models together. We learn an encoding of object views that does not only describe an implicit orientation of all objects seen during training, but can also relate views of untrained objects. Our single-encoder-multi-decoder network is trained using a technique we denote "multi-path learning": While the encoder is shared by all objects, each decoder only reconstructs views of a single object. Consequently, views of different instances do not have to be separated in the latent space and can share common features. The resulting encoder generalizes well from synthetic to real data and across various instances, categories, model types and datasets. We systematically investigate the learned encodings, their generalization, and iterative refinement strategies on the ModelNet40 and T-LESS dataset. Despite training jointly on multiple objects, our 6D Object Detection pipeline achieves state-of-the-art results on T-LESS at much lower runtimes than competing approaches.


title: Theory of current-driven dynamics of spin textures on a surface of topological insulators

abstract: Spin-transfer torque is one of the important physical quantities to understand for successful application of topological insulators to spintronics. In this paper, we present analytical expressions of the spin-transfer torques on a surface of a magnetic topological insulator by including the higher-order contributions of momentum, $k^2$-term and the hexagonal warping. We obtain six different types of the spin-transfer torque including both the field-like and the damping-like torques; the four of them appear only when the higher-order momentum contributions are included. In addition, we discuss the dynamics of magnetic skyrmions driven by the spin-transfer torques on the surface of the topological insulator. Unlike the skyrmion dynamics in conventional metals, we find that the dynamics significantly depends on the internal structure of magnetic textures.


title: Hateful People or Hateful Bots? Detection and Characterization of Bots Spreading Religious Hatred in Arabic Social Media

abstract: Arabic Twitter space is crawling with bots that fuel political feuds, spread misinformation, and proliferate sectarian rhetoric. While efforts have long existed to analyze and detect English bots, Arabic bot detection and characterization remains largely understudied. In this work, we contribute new insights into the role of bots in spreading religious hatred on Arabic Twitter and introduce a novel regression model that can accurately identify Arabic language bots. Our assessment shows that existing tools that are highly accurate in detecting English bots don't perform as well on Arabic bots. We identify the possible reasons for this poor performance, perform a thorough analysis of linguistic, content, behavioral and network features, and report on the most informative features that distinguish Arabic bots from humans as well as the differences between Arabic and English bots. Our results mark an important step toward understanding the behavior of malicious bots on Arabic Twitter and pave the way for a more effective Arabic bot detection tools.


title: Dirac state switching in transition metal diarsenides

abstract: Topological Dirac and Weyl semimetals, which support low-energy quasiparticles in condensed matter physics, are currently attracting intense interest due to exotic physical properties such as large magnetoresistance and high carrier mobilities. Transition metal diarsenides such as MoAs2 and WAs2 have been reported to harbor very high magnetoresistance suggesting the possible existence of a topological quantum state, although this conclusion remains dubious. Here, based on systematic angle-resolved photoemission spectroscopy (ARPES) measurements and parallel first-principles calculations, we investigate the electronic properties of TAs2 (T = Mo, W). Importantly, clear evidence for switching the single-Dirac cone surface state in MoAs2 with the cleaving plane is observed, whereas a Dirac state is not observed in WAs2 despite its high magnetoresistance. Our study thus reveals the key role of the terminated plane in a low-symmetry system, and provides a new perspective on how termination can drive dramatic changes in electronic structures.


title: Ab Initio Structure of p-Shell Nuclei with Chiral Effective Field Theory and Daejeon16 Interactions

abstract: We present No-Core Full Configuration results for the ground state energies of all particle-stable p-shell nuclei, as well as the excitation energies of more than 40 narrow states, excluding isobaric analog states. We used the chiral LENPIC nucleon-nucleon plus three-nucleon interaction at N2LO with semi-local coordinate space regulators, and also the phenomenological Daejeon16 nucleon-nucleon potential. With simple exponential extrapolations of the total energies of each state, binding energies and spectra are found to be in good agreement with experiment. Both interactions produce a trend towards some overbinding of nuclei at the upper end of the p-shell.


title: A direct approach for function approximation on data defined manifolds

abstract: In much of the literature on function approximation by deep networks, the function is assumed to be defined on some known domain, such as a cube or a sphere. In practice, the data might not be dense on these domains, and therefore, the approximation theory results are observed to be too conservative. In manifold learning, one assumes instead that the data is sampled from an unknown manifold; i.e., the manifold is defined by the data itself. Function approximation on this unknown manifold is then a two stage procedure: first, one approximates the Laplace-Beltrami operator (and its eigen-decomposition) on this manifold using a graph Laplacian, and next, approximates the target function using the eigen-functions. Alternatively, one estimates first some atlas on the manifold and then uses local approximation techniques based on the local coordinate charts. In this paper, we propose a more direct approach to function approximation on \emph{unknown}, data defined manifolds without computing the eigen-decomposition of some operator or an atlas for the manifold, and without any kind of training in the classical sense. Our constructions are universal; i.e., do not require the knowledge of any prior on the target function other than continuity on the manifold. We estimate the degree of approximation. For smooth functions, the estimates do not suffer from the so-called saturation phenomenon. We demonstrate via a property called good propagation of errors how the results can be lifted for function approximation using deep networks where each channel evaluates a Gaussian network on a possibly unknown manifold.


title: Hydrodynamic Simulations of Disrupted Planetary Accretion Discs Inside the Core of an AGB Star

abstract: Volume complete sky surveys provide evidence for a binary origin for the formation of isolated white dwarfs with magnetic fields in excess of a MegaGauss. Interestingly, not a single high-field magnetic white dwarf has been found in a detached system suggesting that if the progenitors are indeed binaries, the companion must be removed or merge during formation. An origin scenario consistent with observations involves the engulfment, inspiral, and subsequent tidal disruption of a low-mass companion in the interior of a giant star during a common envelope phase. Material from the shredded companion forms a cold accretion disc embedded in the hot ambient around the proto-white dwarf. Entrainment of hot material may evaporate the disc before it can sufficiently amplify the magnetic field, which typically requires at least a few orbits of the disc.Using three-dimensional hydrodynamic simulations of accretion discs with masses between 1 and 10 times the mass of Jupiter inside the core of an Asymptotic Giant Branch star, we find that the discs survive for at least 10 orbits (and likely for 100 orbits), sufficient for strong magnetic fields to develop.


title: Quantum Temporal Logic

abstract: In this paper, we introduce a model of quantum concurrent program, which can be used to model the behaviour of reactive quantum systems and to design quantum compilers. We investigate quantum temporal logic, QTL, for the specification of quantum concurrent systems by suggesting the time-dependence of events. QTL employs the projections on subspaces as atomic propositions, which was established in the Birkhoff and von Neumann's classic treatise on quantum logic. For deterministic functional quantum program, We prove a quantum B\"{o}hm-Jacopini theorem which states that any such program is equivalent to a Q-While program. The decidability of basic QTL formulae for general quantum concurrent program is studied.


title: A True $O(n \log{n}) $ Algorithm for the All-k-Nearest-Neighbors Problem

abstract: In this paper we examined an algorithm for the All-k-Nearest-Neighbor problem proposed in 1980s, which was claimed to have an $O(n\log{n})$ upper bound on the running time. We find the algorithm actually exceeds the so claimed upper bound, and prove that it has an $\Omega(n^2)$ lower bound on the time complexity. Besides, we propose a new algorithm that truly achieves the $O(n\log{n})$ bound. Detailed and rigorous theoretical proofs are provided to show the proposed algorithm runs exactly in $$O(n\log{n})$$ time.


title: Max-Min Fairness Design for MIMO Interference Channels: a Minorization-Maximization Approach

abstract: We address the problem of linear precoder (beamformer) design in a multiple-input multiple-output interference channel (MIMO-IC). The aim is to design the transmit covariance matrices in order to achieve max-min utility fairness for all users. The corresponding optimization problem is non-convex and NP-hard in general. We devise an efficient algorithm based on the minorization-maximization (MM) technique to obtain quality solutions to this problem. The proposed method solves a second-order cone convex program (SOCP) at each iteration. We prove that the devised method converges to stationary points of the problem. We also extend our algorithm to the case where there are uncertainties in the noise covariance matrices or channel state information (CSI). Simulation results show the effectiveness of the proposed method compared with its main competitor.

categories: eess.SP cs.SI cs.SY eess.SY math.OC stat.AP


title: The Constrained Round Robin Algorithm for Fair and Efficient Allocation

abstract: We consider a multi-agent resource allocation setting that models the assignment of papers to reviewers. A recurring issue in allocation problems is the compatibility of welfare/efficiency and fairness. Given an oracle to find a welfare-achieving allocation, we embed such an oracle into a flexible algorithm called the Constrained Round Robin (CRR) algorithm, that achieves the required welfare level. Our algorithm also allows the system designer to lower the welfare requirements in order to achieve a higher degree of fairness. If the welfare requirement is lowered enough, a strengthening of envy-freeness up to one item is guaranteed. Hence, our algorithm can be viewed as a computationally efficient way to interpolate between welfare and approximate envy-freeness in allocation problems.


title: Fourier Restriction to a Hyperbolic Cone

abstract: Using a bilinear restriction theorem of Lee and a bilinear-to-linear argument of Stovall, we obtain the conjectured range of Fourier restriction estimates for a conical hypersurface in $\mathbb{R}^4$ with hyperbolic cross sections.


title: Cluster counts. II. Tensions, massive neutrinos, and modified gravity

abstract: The $\Lambda$CDM concordance model is very successful at describing our Universe with high accuracy and few parameters. Despite its successes, a few tensions persist; most notably, the best-fit $\Lambda$CDM model, as derived from the Planck CMB data, largely overpredicts the abundance of SZ clusters when using their standard mass calibration. Whether this is a sign of an incorrect calibration or the need for new physics remains a matter of debate. Here we examined two simple extensions of the standard model and their ability to release this tension: massive neutrinos and a simple modified gravity model via a non-standard growth index $\gamma$. We used both the Planck CMB and SZ cluster counts as datasets, with or without local X-ray clusters. In the case of massive neutrinos, the SZ calibration $(1-b)$ is constrained to $0.59^{+0.03}_{-0.04}$ (68\%), more than 5$\sigma$ away from its standard value $\sim0.8$. We found little correlation between $\sum m_\nu$ and $(1-b)$, corroborating previous conclusions derived from X-ray clusters; massive neutrinos do not alleviate the cluster-CMB tension. With our simple $\gamma$ model, we found a large correlation between calibration and growth index but contrary to local X-ray clusters, SZ clusters are able to break the degeneracy between the two thanks to their extended $z$ range. The calibration $(1-b)$ was then constrained to $0.60^{+0.05}_{-0.07}$, leading to an interesting constraint on $\gamma=0.60\pm 0.13$. When both massive neutrinos and modified gravity were allowed, preferred values remained centred on standard $\Lambda$CDM values, but $(1-b)\sim0.8$ was allowed (though only at the $2\sigma$ level) provided $\sum m_\nu\sim0.34 $ eV and $\gamma\sim0.8$. We conclude that massive neutrinos do not relieve the cluster-CMB tension and that a calibration close to the standard value $0.8$ would call for new physics in the gravitational sector.


title: Supervised Learning of the Global Risk Network Activation from Media Event Reports

abstract: The World Economic Forum (WEF) publishes annual reports on global risks which have the high impact on the world's economy. Currently, many researchers analyze the modeling and evolution of risks. However, few studies focus on validation of the global risk networks published by the WEF. In this paper, we first create a risk knowledge graph from the annotated risk events crawled from the Wikipedia. Then, we compare the relational dependencies of risks in the WEF and Wikipedia networks, and find that they share over 50% of their edges. Moreover, the edges unique to each network signify the different perspectives of the experts and the public on global risks. To reduce the cost of manual annotation of events triggering risk activation, we build an auto-detection tool which filters out over 80% media reported events unrelated to the global risks. In the process of filtering, our tool also continuously learns keywords relevant to global risks from the event sentences. Using locations of events extracted from the risk knowledge graph, we find characteristics of geographical distributions of the categories of global risks.


title: Generalized Fault-Tolerance Topology Generation for Application Specific Network-on-Chips

abstract: The Network-on-Chips is a promising candidate for addressing communication bottlenecks in many-core processors and neural network processors. In this work, we consider the generalized fault-tolerance topology generation problem, where the link or switch failures can happen, for application-specific network-on-chips (ASNoC). With a user-defined number, K, we propose an integer linear programming (ILP) based method to generate ASNoC topologies, which can tolerate at most K faults in switches or links. Given the communication requirements between cores and their floorplan, we first propose a convex-cost-flow based method to solve a core mapping problem for building connections between the cores and switches. Second, an ILP based method is proposed to allocate K+1 switch-disjoint routing paths for every communication flow between the cores. Finally, to reduce switch sizes, we propose sharing the switch ports for the connections between the cores and switches and formulate the port sharing problem as a clique-partitioning problem Additionally, we propose an ILP-based method to simultaneously solve the core mapping and routing path allocation problems when considering physical link failures only. Experimental results show that the power consumptions of fault-tolerance topologies increase almost linearly with K because of the routing path redundancy. When both switch faults and link faults are considered, port sharing can reduce the average power consumption of fault-tolerance topologies with K = 1, K = 2 and K = 3 by 18.08%, 28.88%, and 34.20%, respectively. When considering only the physical link faults, the experimental results show that compared to the FTTG algorithm, the proposed method reduces power consumption and hop count by 10.58% and 6.25%, respectively; compared to the DBG based method, the proposed method reduces power consumption and hop count by 21.72% and 9.35%, respectively.


title: Indoor and Outdoor Penetration Loss Measurements at 73 and 81 GHz

abstract: In this paper, we present millimeter-wave (mmWave) penetration loss measurements and analysis at E-bands-73 GHz and 81 GHz. Penetration loss was measured for common building materials such as clear glass, metal, tinted glass, wood, and drywall on the campus of Boise State University in the city of Boise. A horn antenna with a gain of 24 dBi was used at the transmitter and receiver at both bands, and both antennas were boresight-aligned with respect to the test material. A total of twelve locations were selected to test five materials. We tested two indoor materials (clear glass and wood) in at least two locations to determine the effect of penetration loss of materials in similar compositions. The average penetration loss and standard deviation were estimated for these indoor materials. We measured an average penetration loss of 2 to 9 dB for wood and glass, respectively. Furthermore, we measured the penetration loss of common indoor and outdoor building materials. We studied that outdoor materials had larger penetration losses, e.g., we obtained a penetration loss of 22.69 dB for outdoor metal, where this value dropped to 16.04 dB for indoor metal at 73 GHz. Similar results were also obtained for the 81 GHz channel, where the largest penetration loss was measured to be 26.5 dB through a tinted glass door in an outdoor setting.


title: Computational challenges for MC event generation

abstract: The sophistication of fully exclusive MC event generation has grown at an extraordinary rate since the start of the LHC era, but has been mirrored by a similarly extraordinary rise in the CPU cost of state-of-the-art MC calculations. The reliance of experimental analyses on these calculations raises the disturbing spectre of MC computations being a leading limitation on the physics impact of the HL-LHC, with MC trends showing more signs of further cost-increases rather than the desired speed-ups. I review the methods and bottlenecks in MC computation, and areas where new computing architectures, machine-learning methods, and social structures may help to avert calamity.


title: Remote-Strong-Grid-Point-Based Synchronization Strategy with Fault Ride-Through Capability for Distributed Energy Resources Connected to Weak Grids

abstract: This paper proposes a novel strategy for the current injection based control for distributed energy resources connected to weak grids through a voltage source converter experiencing faults. The current injection controller is no longer synchronized with the point of common coupling at which the measured voltage signal can be severely affected by faults in the weak grid, but with the strong grid point at which the voltage is rigid. It is shown that the phase difference between the voltage source converter and the strong grid voltages caused by the long power lines does not affect the power control. Furthermore, a time delay compensation method which tolerates communication time delay introduced by the transmission of the synchronization signal from the strong grid point is proposed. The performance of the proposed control strategy is verified with an RTDS Technologies real-time digital simulator using switching converter models.


title: Curiosity-driven Reinforcement Learning for Diverse Visual Paragraph Generation

abstract: Visual paragraph generation aims to automatically describe a given image from different perspectives and organize sentences in a coherent way. In this paper, we address three critical challenges for this task in a reinforcement learning setting: the mode collapse, the delayed feedback, and the time-consuming warm-up for policy networks. Generally, we propose a novel Curiosity-driven Reinforcement Learning (CRL) framework to jointly enhance the diversity and accuracy of the generated paragraphs. First, by modeling the paragraph captioning as a long-term decision-making process and measuring the prediction uncertainty of state transitions as intrinsic rewards, the model is incentivized to memorize precise but rarely spotted descriptions to context, rather than being biased towards frequent fragments and generic patterns. Second, since the extrinsic reward from evaluation is only available until the complete paragraph is generated, we estimate its expected value at each time step with temporal-difference learning, by considering the correlations between successive actions. Then the estimated extrinsic rewards are complemented by dense intrinsic rewards produced from the derived curiosity module, in order to encourage the policy to fully explore action space and find a global optimum. Third, discounted imitation learning is integrated for learning from human demonstrations, without separately performing the time-consuming warm-up in advance. Extensive experiments conducted on the Standford image-paragraph dataset demonstrate the effectiveness and efficiency of the proposed method, improving the performance by 38.4% compared with state-of-the-art.


title: Minimal model theory for log surfaces in Fujiki's class $\mathcal C$

abstract: We establish the minimal model theory for $\mathbb Q$-factorial log surfaces and log canonical surfaces in Fujiki's class $\mathcal C$.


title: On mixed-$\omega$-sheaves

abstract: We introduce the notion of mixed-$\omega$-sheaves and use it for the study of a relative version of Fujita's freeness conjecture. It is related to the Iitaka conjecture. We note that the notion of mixed-$\omega$-sheaves is a generalization of that of Nakayama's $\omega$-sheaves in some sense. One of the main motivations of this paper is to make Nakayama's theory of $\omega$-sheaves more accessible and make it applicable to the study of log canonical pairs.


title: $C_4$ and $C_6$ decomposition of the tensor product of complete graphs

abstract: Let $G$ be a simple and finite graph. A graph is said to be \textit{decomposed} into subgraphs $H_1$ and $H_2$ which is denoted by $G= H_1 \oplus H_2$, if $G$ is the edge disjoint union of $H_1$ and $H_2$. If $G= H_1 \oplus H_2 \oplus H_3 \oplus \cdots \oplus H_k$, where\ $H_1$,$H_2$,$H_3$, ..., $H_k$ are all isomorphic to $H$, then $G$ is said to be $H$-decomposable. Futhermore, if $H$ is a cycle of length $m$ then we say that $G$ is $C_m$-decomposable and this can be written as $C_m|G$. Where $ G\times H$ denotes the tensor product of graphs $G$ and $H$, in this paper, we prove the necessary and sufficient conditions for the existence of $C_4$-decomposition (respectively, $C_6$-decomposition ) of $K_m \times K_n$. Using these conditions it can be shown that every even regular complete multipartite graph $G$ is $C_4$-decomposable (respectively, $C_6$-decomposable) if the number of edges of $G$ is divisible by $4$ (respectively, $6$).


title: Accelerating CNN Training by Pruning Activation Gradients

abstract: Sparsification is an efficient approach to accelerate CNN inference, but it is challenging to take advantage of sparsity in training procedure because the involved gradients are dynamically changed. Actually, an important observation shows that most of the activation gradients in back-propagation are very close to zero and only have a tiny impact on weight-updating. Hence, we consider pruning these very small gradients randomly to accelerate CNN training according to the statistical distribution of activation gradients. Meanwhile, we theoretically analyze the impact of pruning algorithm on the convergence. The proposed approach is evaluated on AlexNet and ResNet-\{18, 34, 50, 101, 152\} with CIFAR-\{10, 100\} and ImageNet datasets. Experimental results show that our training approach could substantially achieve up to $5.92 \times$ speedups at back-propagation stage with negligible accuracy loss.


title: The virial expansion of attractively interacting Fermi gases in 1D, 2D, and 3D, up to fifth order

abstract: The virial expansion characterizes the high-temperature approach to the quantum-classical crossover in any quantum many-body system. Here, we calculate the virial coefficients up to the fifth-order of Fermi gases in 1D, 2D, and 3D, with attractive contact interactions, as relevant for a variety of applications in atomic and nuclear physics. To that end, we discretize the imaginary-time direction and calculate the relevant canonical partition functions. In coarse discretizations, we obtain analytic results featuring relationships between the interaction-induced changes $\Delta b_3$, $\Delta b_4$, and $\Delta b_5$ as functions of $\Delta b_2$, the latter being exactly known in many cases by virtue of the Beth-Uhlenbeck formula. Using automated-algebra methods, we push our calculations to progressively finer discretizations and extrapolate to the continuous-time limit. We find excellent agreement for $\Delta b_3$ with previous calculations in all dimensions and we formulate predictions for $\Delta b_4$ and $\Delta b_5$ in 1D and 2D. We also provide, for a range of couplings,the subspace contributions $\Delta b_{31}$, $\Delta b_{22}$, $\Delta b_{41}$, and $\Delta b_{32}$, which determine the equation of state and static response of polarized systems at high temperature. As a performance check, we compare the density equation of state and Tan contact with quantum Monte Carlo calculations, diagrammatic approaches, and experimental data where available. Finally, we apply Pad\'e and Pad\'e-Borel resummation methods to extend the usefulness of the virial coefficients to approach and in some cases go beyond the unit-fugacity point.


title: Multiparametric Deep Learning Tissue Signatures for Muscular Dystrophy: Preliminary Results

abstract: A current clinical challenge is identifying limb girdle muscular dystrophy 2I(LGMD2I)tissue changes in the thighs, in particular, separating fat, fat-infiltrated muscle, and muscle tissue. Deep learning algorithms have the ability to learn different features by using the inherent tissue contrasts from multiparametric magnetic resonance imaging (mpMRI). To that end, we developed a novel multiparametric deep learning network (MPDL) tissue signature model based on mpMRI and applied it to LGMD2I. We demonstrate a new tissue signature model of muscular dystrophy with the MPDL algorithm segments different tissue types with excellent results.


title: FairSight: Visual Analytics for Fairness in Decision Making

abstract: Data-driven decision making related to individuals has become increasingly pervasive, but the issue concerning the potential discrimination has been raised by recent studies. In response, researchers have made efforts to propose and implement fairness measures and algorithms, but those efforts have not been translated to the real-world practice of data-driven decision making. As such, there is still an urgent need to create a viable tool to facilitate fair decision making. We propose FairSight, a visual analytic system to address this need; it is designed to achieve different notions of fairness in ranking decisions through identifying the required actions -- understanding, measuring, diagnosing and mitigating biases -- that together lead to fairer decision making. Through a case study and user study, we demonstrate that the proposed visual analytic and diagnostic modules in the system are effective in understanding the fairness-aware decision pipeline and obtaining more fair outcomes.


title: Learning When to Drive in Intersections by Combining Reinforcement Learning and Model Predictive Control

abstract: In this paper, we propose a decision making algorithm intended for automated vehicles that negotiate with other possibly non-automated vehicles in intersections. The decision algorithm is separated into two parts: a high-level decision module based on reinforcement learning, and a low-level planning module based on model predictive control. Traffic is simulated with numerous predefined driver behaviors and intentions, and the performance of the proposed decision algorithm was evaluated against another controller. The results show that the proposed decision algorithm yields shorter training episodes and an increased performance in success rate compared to the other controller.


title: Scalable Place Recognition Under Appearance Change for Autonomous Driving

abstract: A major challenge in place recognition for autonomous driving is to be robust against appearance changes due to short-term (e.g., weather, lighting) and long-term (seasons, vegetation growth, etc.) environmental variations. A promising solution is to continuously accumulate images to maintain an adequate sample of the conditions and incorporate new changes into the place recognition decision. However, this demands a place recognition technique that is scalable on an ever growing dataset. To this end, we propose a novel place recognition technique that can be efficiently retrained and compressed, such that the recognition of new queries can exploit all available data (including recent changes) without suffering from visible growth in computational cost. Underpinning our method is a novel temporal image matching technique based on Hidden Markov Models. Our experiments show that, compared to state-of-the-art techniques, our method has much greater potential for large-scale place recognition for autonomous driving.


title: Bounds on Continuous Scott Rank

abstract: An analog of Nadel's effective bound for the continuous Scott rank of metric structures, developed by Ben Yaacov, Doucha, Nies, and Tsankov, will be established: Let $\mathscr{L}$ be a language of continuous logic with code $\hat{\mathscr{L}}$. Let $\Omega$ be a weak modulus of uniform continuity with code $\hat{\Omega}$. Let $\mathcal{D}$ be a countable $\mathscr{L}$-pre-structure. Let $\bar{\mathcal{D}}$ denote the completion structure of $\mathcal{D}$. Then $\mathrm{SR}_\Omega(\bar{D}) \leq \omega_1^{\hat{\mathscr{L}}\oplus\hat{\Omega}\oplus\mathcal{D}}$, the Church-Kleene ordinal relative to $\hat{\mathscr{L}}\oplus\hat{\Omega}\oplus\mathcal{D}$.


title: Sub-monolayer structures of Ag overlayers on Ge(111): experimental observations and first-principles study

abstract: We present a joint experimental and theoretical determination of structures of Ag adatoms on the Ge(111) surface using low energy electron diffraction, low energy electron microscopy, scanning tunneling microscopy, and density functional theory-based calculations, as functions of coverages and temperature. Experimentally for clean Ge(111), c(2X8) and (2X1) phases occur, while Ag overlayers cause (4X4), (V3XV3)R30 and (3X1) surface structural phases. The dependence of the growth behavior of these different phases was examined as a function of temperature, Ag deposition rate and coverage, substrate step density, and history of temperature cycling. First-principles calculations of the electronic and geometric structures and vibrational dynamics show the Ge(111)-c(2X8) configuration with Ge adatoms adsorbed on three-fold hollow (T4) sites to be the energetically most favored phase of the Ge(111) surface, among unreconstructed Ge(111), reconstructed Ge(111)-2X1, and Ge(111)-c(2X8) structures. The Ge(111)-Ag(3X1) overlayer of the system has Ge atoms forming a honeycomb chain on a missing top layer reconstructed surface, with metal at 1/3 ML coverage in channel. The Ge (111)-Ag(V3XV3)R30 overlayer contains one monolayer Ag forming inequivalent Ag triangles in a surface unit cell on the missing top layer reconstructed Ge(111) surface. The Ge(111)-Ag(4X4) overlayer formed at low Ag coverage contains two triangular subunits at different heights: one with six Ag adatoms and the other with three Ge adatoms on the intact double layer Ge(111) surface. The temperature and coverage dependent surface phase diagram, obtained by minimizing the surface free energy, captures the main features of the experimental phase diagram.


title: EcoLens: Visual Analysis of Urban Region Dynamics Using Traffic Data

abstract: The rapid development of urbanization during the past decades has significantly improved people's lives but also introduced new challenges on effective functional urban planning and transportation management. The functional regions defined based on a static boundary rarely reflect an individual's daily experience of the space in which they live and visit for a variety of purposes. Fortunately, the increasing availability of spatiotemporal data provides unprecedented opportunities for understanding the structure of an urban area in terms of people's activity pattern and how they form the latent regions over time. These ecological regions, where people temporarily share a similar moving behavior during a short period of time, could provide insights into urban planning and smart-city services. However, existing solutions are limited in their capacity of capturing the evolutionary patterns of dynamic latent regions within urban context. In this work, we introduce an interactive visual analysis approach, EcoLens, that allows analysts to progressively explore and analyze the complex dynamic segmentation patterns of a city using traffic data. We propose an extended non-negative Matrix Factorization based algorithm smoothed over both spatial and temporal dimensions to capture the spatiotemporal dynamics of the city. The algorithm also ensures the orthogonality of its result to facilitate the interpretation of different patterns. A suite of visualizations is designed to illustrate the dynamics of city segmentation and the corresponding interactions are added to support the exploration of the segmentation patterns over time. We evaluate the effectiveness of our system via case studies using a real-world dataset and a qualitative interview with the domain expert.


title: Hexagonal Nanopits with the Zigzag Edge State on Graphite Surfaces Synthesized by Hydrogen-Plasma Etching

abstract: We studied, by scanning tunneling microscopy, the morphology of nanopits of monolayer depth created at graphite surfaces by hydrogen plasma etching under various conditions such as H$_2$ pressure, temperature, etching time, and RF power of the plasma generation. In addition to the known pressure-induced transition of the nanopit morphology, we found a sharp temperature-induced transition from many small rather round nanopits of ~150 nm size to few large hexagonal ones of 300-600 nm within a narrow temperature range. The remote and direct plasma modes switching mechanism, which was proposed to explain the pressure-induced transition, is not directly applicable to this newly found transition. Scanning tunneling spectroscopy (STS) measurements of edges of the hexagonal nanopits fabricated at graphite surfaces by this method show clear signatures of the peculiar electronic state localized at the zigzag edge (edge state), i.e., a prominent peak near the Fermi energy accompanied by suppressions on either side in the local density of states. These observations indicate that the hexagonal nanopits consist of a high density of zigzag edges. The STS data also revealed a domain structure of the edge state in which the electronic state varies over a length scale of ~3 nm along the edge. The present study will pave the way for microscopic understanding of the anisotropic etching mechanism and of spin polarization in zigzag nanoribbons which are promising key elements for future graphene nanoelectronics.


title: Solving a Flowshop Scheduling Problem with Answer Set Programming: Exploiting the Problem to Reduce the Number of Combinations

abstract: Planning and scheduling have been a central theme of research in computer science. In particular, the simplicity of the theoretical approach of a no-wait flowshop scheduling problem does not allow to perceive the problem complexity at first sight. In this paper the applicability of the Answer Set Programming language is explored for the solution of the Automated Wet-etching scheduling problem in Semiconductor Manufacturing Systems. A method based in ranges is proposed in order to reduce the huge number of combinations.


title: Large transverse thermoelectric figure of merit in a Dirac semimetal

abstract: Thermoelectric (TE) conversion in conducting materials is of eminent importance for providing renewable energy and solid-state cooling. Although traditionally, the Seebeck effect plays a key role for the TE figure of merit zST, it encounters fundamental constraints hindering its conversion efficiency. Most notably, there are the charge compensation of electrons and holes that diminishes this effect, and the intertwinement of the corresponding electrical and thermal conductivities through the Wiedemann-Franz (WF) law which makes their independent optimization in zST impossible. Here, we demonstrate that in the Dirac semimetal Cd3As2 the Nernst effect, i.e., the transverse counterpart of the Seebeck effect, can generate a large TE figure of merit zNT. At room temperature, zNT = 0.5 in a small field of 2 T; it significantly surmounts its longitudinal counterpart zST for any field and further increases upon warming. A large Nernst effect is generically expected in topological semimetals, benefiting from both the bipolar transport of compensated electrons and holes and their high mobilities. In this case, heat and charge transport are orthogonal, i.e., not intertwined by the WF law anymore. More importantly, further optimization of zNT by tuning the Fermi level to the Dirac node can be anticipated due to not only the enhanced bipolar transport, but also the anomalous Nernst effect arising from a pronounced Berry curvature. A combination of the former topologically trivial and the latter nontrivial advantages promises to open a new avenue towards high-efficient transverse thermoelectricity.


title: On the stable sampling rate for binary measurements and wavelet reconstruction

abstract: This paper is concerned with the problem of reconstructing an infinite-dimensional signal from a limited number of linear measurements. In particular, we show that for binary measurements (modelled with Walsh functions and Hadamard matrices) and wavelet reconstruction the stable sampling rate is linear. This implies that binary measurements are as efficient as Fourier samples when using wavelets as the reconstruction space. Powerful techniques for reconstructions include generalized sampling and its compressed versions, as well as recent methods based on data assimilation. Common to these methods is that the reconstruction quality depends highly on the subspace angle between the sampling and the reconstruction space, which is dictated by the stable sampling rate. As a result of the theory provided in this paper, these methods can now easily use binary measurements and wavelet reconstruction bases.


title: Single-Shot High Dynamic Range Imaging with Spatially Varying Exposures Considering Hue Distortion

abstract: We proposes a novel single-shot high dynamic range imaging scheme with spatially varying exposures (SVE) considering hue distortion. Single-shot imaging with SVE enables us to capture multi-exposure images from a single-shot image, so high dynamic range images can be produced without ghost artifacts. However, SVE images have some pixels at which a range supported by camera sensors is exceeded. Therefore, generated images have some color distortion, so that conventional imaging with SVE has never considered the influence of this range limitation. To overcome this issue, we consider estimating the correct hue of a scene from raw images, and propose a method with the estimated hue information for correcting the hue of SVE images on the constant hue plain in the RGB color space.


title: Graph Neural Networks for Small Graph and Giant Network Representation Learning: An Overview

abstract: Graph neural networks denote a group of neural network models introduced for the representation learning tasks on graph data specifically. Graph neural networks have been demonstrated to be effective for capturing network structure information, and the learned representations can achieve the state-of-the-art performance on node and graph classification tasks. Besides the different application scenarios, the architectures of graph neural network models also depend on the studied graph types a lot. Graph data studied in research can be generally categorized into two main types, i.e., small graphs vs. giant networks, which differ from each other a lot in the size, instance number and label annotation. Several different types of graph neural network models have been introduced for learning the representations from such different types of graphs already. In this paper, for these two different types of graph data, we will introduce the graph neural networks introduced in recent years. To be more specific, the graph neural networks introduced in this paper include IsoNN, SDBN, LF&ER, GCN, GAT, DifNN, GNL, GraphSage and seGEN. Among these graph neural network models, IsoNN, SDBN and LF&ER are initially proposed for small graphs and the remaining ones are initially proposed for giant networks instead. The readers are also suggested to refer to these papers for detailed information when reading this tutorial paper.


title: CCR and CAR flows over convex cones

abstract: Recently it is proved in arXiv:1906.05493v1 [math.OA] that CCR flows over convex cones are cocycle conjugate if and only if the associated isometric representations are conjugate. We provide a very short, simple and direct proof of that. Using the same idea we prove the analogous statement for CAR flows as well. Further we show that CCR flows are not cocycle conjugate to the CAR flows when the (multi-parameter) isometric representation is `proper', a condition which is satisfied by all known examples.


title: The Fredholm Approach to Charactize Gravitational Wave Echoes

abstract: Gravitational waves are a sensitive probe into the structure of compact astronomical objects and the nature of gravity in the strong regime. Modifications of near-horizon physics can imprint on the late time ringdown waveform, leaving behind a train of echoes, from which useful information about new physics in the strong gravity regime can be extracted. We propose a novel approach to compute the ringdown waveform and characterize individual echoes perturbatively using the Fredholm determinants, which can be intuitively represented via a diagrammatical scheme. Direct non-perturbative treatments can also be easily implemented for some cases. Numerically, the method is also effective and accurate even for relatively low resources.


title: Berry phase of the Tavis-Cummings model with three modes of oscillation

abstract: In this paper we develop a general method to obtain the Berry phase of time-dependent Hamiltonians with a linear structure given in terms of the $SU(1,1)$ and $SU(2)$ groups. This method is based on the similarity transformations of the displacement operator performed to the generators of each group, and let us diagonalize these Hamiltonians. Then, we introduce a trilinear form of the Tavis-Cummings model to compute the $SU(1,1)$ and $SU(2)$ Berry phases of this model.


title: DEDUCE: Diverse scEne Detection methods in Unseen Challenging Environments

abstract: In recent years, there has been a rapid increase in the number of service robots deployed for aiding people in their daily activities. Unfortunately, most of these robots require human input for training in order to do tasks in indoor environments. Successful domestic navigation often requires access to semantic information about the environment, which can be learned without human guidance. In this paper, we propose a set of DEDUCE - Diverse scEne Detection methods in Unseen Challenging Environments algorithms which incorporate deep fusion models derived from scene recognition systems and object detectors. The five methods described here have been evaluated on several popular recent image datasets, as well as real-world videos acquired through multiple mobile platforms. The final results show an improvement over the existing state-of-the-art visual place recognition systems.


title: Data Changes Everything: Challenges and Opportunities in Data Visualization Design Handoff

abstract: Complex data visualization design projects often entail collaboration between people with different visualization-related skills. For example, many teams include both designers who create new visualization designs and developers who implement the resulting visualization software. We identify gaps between data characterization tools, visualization design tools, and development platforms that pose challenges for designer-developer teams working to create new data visualizations. While it is common for commercial interaction design tools to support collaboration between designers and developers, creating data visualizations poses several unique challenges that are not supported by current tools. In particular, visualization designers must characterize and build an understanding of the underlying data, then specify layouts, data encodings, and other data-driven parameters that will be robust across many different data values. In larger teams, designers must also clearly communicate these mappings and their dependencies to developers, clients, and other collaborators. We report observations and reflections from five large multidisciplinary visualization design projects and highlight six data-specific visualization challenges for design specification and handoff. These challenges include adapting to changing data, anticipating edge cases in data, understanding technical challenges, articulating data-dependent interactions, communicating data mappings, and preserving the integrity of data mappings across iterations. Based on these observations, we identify opportunities for future tools for prototyping, testing, and communicating data-driven designs, which might contribute to more successful and collaborative data visualization design.


title: Nijenhuis-type variants of Local Theory of Background Independence

abstract: A local resolution of the Problem of Time has recently been given, alongside reformulation as a local theory of Background Independence. The classical part of this can be viewed as requiring just Lie's Mathematics, albeit entrenched in subsequent Topology and Differential Geometry developments and extended to the setting of contemporary Physics' state spaces. We now generalize this approach by mild recategorization to one based on Nijenhuis' generalization of Lie's Mathematics, as follows. 1) Relationalism is encoded using the Nijenhuis-Lie derivative. 2) Closure is assessed using the Schouten-Nijenhuis bracket, and a `Schouten-Nijenhuis Algorithm' analogue of the Dirac and Lie Algorithms. This produces a class of Gerstenhaber algebraic structures of generators or of constraints. 3) Observables are defined by a Schouten--Nijenhuis brackets relation, reformulating the constrained canonical case as explicit PDEs to be solved using the Flow Method, and forming their own Gerstenhaber algebras of observables. Lattices of Schouten-Nijenhuis-Gerstenhaber constraint or generator algebraic substructures furthermore induce dual lattices of Gerstenhaber observables subalgebras. 4) Deformation of Gerstenhaber algebraic structures of generators or constraints encountering Rigidity gives a means of Constructing more structure from less. 5) Reallocation of Intermediary-Object Invariance gives the general Schouten-Nijenhuis-Gerstenhaber algebraic structure's analogue of posing Refoliation Invariance for GR. We finally point to general Gerstenhaber bracket and Vinogradov bracket generalizations, with the former likely to play a significant role in Backgound-Independent Deformation Quantization and Quantum Operator Algebras.


title: New Technologies for Discovery

abstract: For the field of high energy physics to continue to have a bright future, priority within the field must be given to investments in the development of both evolutionary and transformational detector development that is coordinated across the national laboratories and with the university community, international partners and other disciplines. While the fundamental science questions addressed by high energy physics have never been more compelling, there is acute awareness of the challenging budgetary and technical constraints when scaling current technologies. Furthermore, many technologies are reaching their sensitivity limit and new approaches need to be developed to overcome the currently irreducible technological challenges. This situation is unfolding against a backdrop of declining funding for instrumentation, both at the national laboratories and in particular at the universities. This trend has to be reversed for the country to continue to play a leadership role in particle physics, especially in this most promising era of imminent new discoveries that could finally break the hugely successful, but limited, Standard Model of fundamental particle interactions. In this challenging environment it is essential that the community invest anew in instrumentation and optimize the use of the available resources to develop new innovative, cost-effective instrumentation, as this is our best hope to successfully accomplish the mission of high energy physics. This report summarizes the current status of instrumentation for high energy physics, the challenges and needs of future experiments and indicates high priority research areas.


title: Learning-Aided Physical Layer Attacks Against Multicarrier Communications in IoT

abstract: Internet-of-Things (IoT) devices that are limited in power and processing are susceptible to physical layer (PHY) spoofing (signal exploitation) attacks owing to their inability to implement a full-blown protocol stack for security. The overwhelming adoption of multicarrier techniques such as orthogonal frequency division multiplexing (OFDM) for the PHY layer makes IoT devices further vulnerable to PHY spoofing attacks. These attacks which aim at injecting bogus/spurious data into the receiver, involve inferring transmission parameters and finding PHY characteristics of the transmitted signals so as to spoof the received signal. Non-contiguous (NC) OFDM systems have been argued to have low probability of exploitation (LPE) characteristics against classic attacks based on cyclostationary analysis, and the corresponding PHY has been deemed to be secure. However, with the advent of machine learning (ML) algorithms, adversaries can devise data-driven attacks to compromise such systems. It is in this vein that PHY spoofing performance of adversaries equipped with supervised and unsupervised ML tools are investigated in this paper. The supervised ML approach is based on deep neural networks (DNN) while the unsupervised one employs variational autoencoders (VAEs). In particular, VAEs are shown to be capable of learning representations from NC-OFDM signals related to their PHY characteristics such as frequency pattern and modulation scheme, which are useful for PHY spoofing. In addition, a new metric based on the disentanglement principle is proposed to measure the quality of such learned representations. Simulation results demonstrate that the performance of the spoofing adversaries highly depends on the subcarriers' allocation patterns. Particularly, it is shown that utilizing a random subcarrier occupancy pattern secures NC-OFDM systems against ML-based attacks.


title: Alternating super-polynomials and super-coinvariants of finite reflection groups

abstract: Motivated by a recent conjecture of Zabrocki, Wallach described the alternants in the super-coinvariant algebra of the symmetric group in one set of commuting and one set of anti-commuting variables under the diagonal action. We give a type-independent generalization of Wallach's result to all real reflection groups $G$. As an intermediate step, we explicitly describe the alternating super-polynomials in $k[V] \otimes \Lambda(V)$ for all complex reflection groups, providing an analogue of a classic result of Solomon which describes the invariant super-polynomials in $k[V] \otimes \Lambda(V^*)$. Using our construction, we explicitly describe the alternating harmonics and coinvariants for all real reflection groups.


title: Solution Processability and Thermally Activated Delayed Fluorescence: Two Steps towards Low-Cost Organic Light Emitting Diodes

abstract: Organic Light Emitting Diodes (OLED) have experienced vast attention in the scientific literature as the leading contender for the next generation of electronic lighting technology. However, while research continues to push the limit for OLED performance and efficiencies, minimal attention is paid to the processability and suitability for mass production. In this regard, Solution Processability (SP) and Thermally Activated Delayed Fluorescence (TADF) in OLEDs are two recent discoveries which have significantly improved the capacity for low-cost processing without compromise to their performance efficiencies. This meta-analysis is focused on these discoveries and their application to OLEDs. Recent peer-reviewed studies of OLEDs employing both SP and TADF are reviewed in order to highlight physical fundamentals and discover synergistic effects when incorporating both factors into a single OLED device. Additionally, some other recent trends targeting efficient manufacturing of OLEDs are identified, and logical future directions for interested researchers are discussed.


title: On the Theoretical Gap of Channel Hopping Sequences with Maximum Rendezvous Diversity in the Multichannel Rendezvous Problem

abstract: In the literature, there are several well-known periodic channel hopping (CH) sequences that can achieve maximum rendezvous diversity in a cognitive radio network (CRN). For a CRN with $N$ channels, it is known that the period of such a CH sequence is at least $N^2$. The asymptotic approximation ratio, defined as the ratio of the period of a CH sequence to the lower bound $N^2$ when $N \to \infty$, is still 2.5 for the best known CH sequence in the literature. An open question in the multichannel rendezvous problem is whether it is possible to construct a periodic CH sequence that has the asymptotic approximation ratio 1. In this paper, we tighten the theoretical gap by proposing CH sequences, called IDEAL-CH, that have the asymptotic approximation ratio 2. For a weaker requirement that only needs the two users to rendezvous on one commonly available channel in a period, we propose channel hopping sequences, called ORTHO-CH, with period $(2p +1)p$, where $p$ is the smallest prime not less than $N$.


title: Cheeger constants of hyperbolic reflection groups and Maass cusp forms of small eigenvalues

abstract: We compute the Cheeger constants of a collection of hyperbolic surfaces corresponding to maximal non-compact arithmetic Fuchsian groups, and to subgroups which are the rotation subgroup of maximal reflection groups. The Cheeger constants are geometric quantities, but relate to the smallest eigenvalues of Maass cusp forms. From geometrical considerations, we find evidence for the existence of small eigenvalues. We search for these small eigenvalues and compute the corresponding Maass cusp forms numerically.


title: KiloGrams: Very Large N-Grams for Malware Classification

abstract: N-grams have been a common tool for information retrieval and machine learning applications for decades. In nearly all previous works, only a few values of $n$ are tested, with $n > 6$ being exceedingly rare. Larger values of $n$ are not tested due to computational burden or the fear of overfitting. In this work, we present a method to find the top-$k$ most frequent $n$-grams that is 60$\times$ faster for small $n$, and can tackle large $n\geq1024$. Despite the unprecedented size of $n$ considered, we show how these features still have predictive ability for malware classification tasks. More important, large $n$-grams provide benefits in producing features that are interpretable by malware analysis, and can be used to create general purpose signatures compatible with industry standard tools like Yara. Furthermore, the counts of common $n$-grams in a file may be added as features to publicly available human-engineered features that rival efficacy of professionally-developed features when used to train gradient-boosted decision tree models on the EMBER dataset.


title: Rich diversity of crystallographic phase formation in 2D Rex:Mo1-xS2 (x< 0.5) alloy

abstract: We report on the observation of rich variety of crystallographic phase formation in RexMo1-xS2 alloy for x < 0.5. For x < 0.23, no low dimensional super-structural modulation is observed and inter-cation hybridization remains discrete forming dimers to tetramers with increasing Re concentration. For x > 0.23, super-strutural modulaton is observed. Depending on the Re concentrations (x = 0.23, 0.32, 0.38 and 0.45) and its distributions, various types of cation hybridization results in rich variety of low dimensional super-structural modulation as directly revealed by high resolution transmission electron microscopy. These layered alloy system may be useful for various energy and novel device applications.


title: On the asymptotic quantization error for the doubling measures on Moran sets

abstract: We study the quantization errors for the doubling probability measures $\mu$ which are supported on a class of Moran sets $E\subset\mathbb{R}^q$. For each $n\geq 1$, let $\alpha_n$ be an arbitrary $n$-optimal set for $\mu$ of order $r$ and $\{P_a(\alpha_n)\}_{a\in\alpha_n}$ an arbitrary Voronoi partition with respect to $\alpha_n$. We denote by $I_a(\alpha_n,\mu)$ the integral $\int_{P_a(\alpha_n)}d(x,a)^rd\mu(x)$ and define \begin{eqnarray*} \underline{J}(\alpha_n,\mu):=\min\limits_{a\in\alpha_n}I_a(\alpha_n,\mu),\; \overline{J}(\alpha_n,\mu):=\max\limits_{a\in\alpha_n}I_a(\alpha_n,\mu). \end{eqnarray*} Let $e_{n,r}(\mu)$ denote the $n$th quantization error for $\mu$ of order $r$. Assuming a version of the open set condition for $E$, we prove that \[ \underline{J}(\alpha_n,\mu),\overline{J}(\alpha_n,\mu)\asymp\frac{1}{n}e_{n,r}^r(\mu). \] This result shows that, for the doubling measures on Moran sets $E$, a weak version of Gersho's conjecture holds.


title: Sensitivity Analyses of Exoplanet Occurrence Rates from Kepler and Gaia

abstract: We infer the number of planets-per-star as a function of orbital period and planet size using $Kepler$ archival data products with updated stellar properties from the $Gaia$ Data Release 2. Using hierarchical Bayesian modeling and Hamiltonian Monte Carlo, we incorporate planet radius uncertainties into an inhomogeneous Poisson point process model. We demonstrate that this model captures the general features of the outcome of the planet formation and evolution around GK stars, and provides an infrastructure to use the $Kepler$ results to constrain analytic planet distribution models. We report an increased mean and variance in the marginal posterior distributions for the number of planets per $GK$ star when including planet radius measurement uncertainties. We estimate the number of planets-per-$GK$ star between 0.75 and 2.5 $R_{\oplus}$ and 50 to 300 day orbital periods to have a $68\%$ credible interval of $0.49$ to $0.77$ and a posterior mean of $0.63$. This posterior has a smaller mean and a larger variance than the occurrence rate calculated in this work and in Burke et al. (2015) for the same parameter space using the $Q1-Q16$ (previous $Kepler$ planet candidate and stellar catalog). We attribute the smaller mean to many of the instrumental false positives at longer orbital periods being removed from the $DR25$ catalog. We find that the accuracy and precision of our hierarchical Bayesian model posterior distributions are less sensitive to the total number of planets in the sample, and more so on the characteristics of the catalog completeness and reliability and the span of the planet parameter space.


title: GLU3.0: Fast GPU-based Parallel Sparse LU Factorization for Circuit Simulation

abstract: LU factorization for sparse matrices is the most important computing step for many engineering and scientific computing problems such as circuit simulation. But parallelizing LU factorization with the Graphic Processing Units (GPU) still remains a challenging problem due to high data dependency and irregular memory accesses. Recently GPU-based hybrid right-looking sparse LU solver, called GLU (1.0 and 2.0), has been proposed to exploit the fine grain level parallelism of GPU. However, a new type of data dependency (called double-U dependency) introduced by GLU slows down the preprocessing step. Furthermore, GLU uses fixed GPU thread allocation strategy, which limits the parallelism. In this article, we propose a new GPU-based sparse LU factorization method, called {\it GLU3.0}, which solves the aforementioned problems. First, it introduces a much more efficient data dependency detection algorithm. Second, we observe that the potential parallelism is different as the matrix factorization goes on. We then develop three different modes of GPU kernel which adapt to different stages to accommodate the computing task changes in the factorization. Experimental results on circuit matrices from University of Florida Sparse Matrix Collection (UFL) show that GLU3.0 delivers 2-3 orders of magnitude speedup over GLU2.0 for the data dependency detection. Furthermore, GLU3.0 achieve 13.0 $\times$ (arithmetic mean) or 6.7$\times$ (geometric mean) speedup over GLU2.0 and 7.1$\times$ (arithmetic mean) or 4.8 $\times$ (geometric mean) over the recently proposed enhanced GLU2.0 sparse LU solver on the same set of circuit matrices.


title: Cross-domain Network Representations

abstract: The purpose of network representation is to learn a set of latent features by obtaining community information from network structures to provide knowledge for machine learning tasks. Recent research has driven significant progress in network representation by employing random walks as the network sampling strategy. Nevertheless, existing approaches rely on domain-specifically rich community structures and fail in the network that lack topological information in its own domain. In this paper, we propose a novel algorithm for cross-domain network representation, named as CDNR. By generating the random walks from a structural rich domain and transferring the knowledge on the random walks across domains, it enables a network representation for the structural scarce domain as well. To be specific, CDNR is realized by a cross-domain two-layer node-scale balance algorithm and a cross-domain two-layer knowledge transfer algorithm in the framework of cross-domain two-layer random walk learning. Experiments on various real-world datasets demonstrate the effectiveness of CDNR for universal networks in an unsupervised way.


title: Meta-QSM: An Image-Resolution-Arbitrary Network for QSM Reconstruction

abstract: Quantitative Susceptibility Mapping (QSM) can estimate the underlying tissue magnetic susceptibility and reveal pathology. Current deep-learning-based approaches to solve the QSM inverse problem are restricted on fixed image resolution. They trained a specific model for each image resolution which is inefficient in computing. In this work, we proposed a novel method called Meta-QSM to firstly solve QSM reconstruction of arbitrary image resolution with a single model. In Meta-QSM, weight prediction was used to predict the weights of kernels by taking the image resolution as input. The proposed method was evaluated on synthetic data and clinical data with comparison to existing QSM reconstruction methods. The experimental results showed the Meta-QSM can effectively reconstruct susceptibility maps with different image resolution using one neural network training.


title: Unification for the Darkly Charged Dark Matter

abstract: We provide a simple UV theory for a Dirac dark matter with a massless Abelian gauge boson. We introduce a single fermion transforming as the $\bf{16}$ representation in the SO(10)$'$ gauge group, which is assumed to be spontaneously broken to SU(5)$'\times$U(1)$'$. The SU(5)$'$ gauge interaction becomes strong at an intermediate scale and then we obtain a light composite Dirac fermion with U(1)$'$ gauge interaction at the low-energy scale. Its thermal relic can explain the observed amount of dark matter consistently with other cosmological and astrophysical constraints. We discuss that a nonzero kinetic mixing between the U(1)$'$ gauge boson and the Hypercharge gauge boson is allowed and the temperature of the visible sector and the dark matter sector can be equal to each other.


title: Tuning the electronic structures and transport coefficients of Janus PtSSe monolayer with biaxial strain

abstract: Due to their great potential in electronics, optoelectronics and piezoelectronics, Janus transition metal dichalcogenide (TMD) monolayers have attracted increasing research interest, the MoSSe of which with sandwiched S-Mo-Se structure has been synthesized experimentally. In this work, the biaxial strain dependence of electronic structures and transport properties of Janus PtSSe monolayer is systematically investigated by using generalized gradient approximation (GGA) plus spin-orbit coupling (SOC). Calculated results show that SOC has a detrimental effect on power factor of PtSSe monolayer, which can be understood by considering SOC effects on energy bands near the Fermi level. With $a/a_0$ from 0.94 to 1.06, the energy band gap firstly increases, and then decreases, which is due to the position change of conduction band minimum (CBM). It is found that compressive strain can increase the strength of conduction bands convergence by changing relative position of conduction band extrema (CBE), which can enhance n-type $ZT_e$ values. Calculated results show that compressive strain can also induce the flat valence bands around the $\Gamma$ point near the Fermi level, which can lead to high Seebeck coefficient due to large effective masses, giving rise to better p-type $ZT_e$ values. The calculated elastic constants with $a/a_0$ from 0.94 to 1.06 all satisfy the mechanical stability criteria, which proves that the PtSSe monolayer is mechanically stable in the considered strain range. Our works further enrich studies of Janus TMD monolayers, and can motivate farther experimental works.


title: A computational EXFOR database

abstract: The EXFOR library is a useful resource for many people in the field of nuclear physics. In particular, the experimental data in the EXFOR library serves as a starting point for nuclear data evaluations. There is an ongoing discussion about how to make evaluations more transparent and reproducible. One important ingredient may be convenient programmatic access to the data in the EXFOR library from high-level languages. To this end, the complete EXFOR library can be converted to a MongoDB database. This database can be conveniently searched and accessed from a wide variety of programming languages, such as C++, Python, Java, Matlab, and R. This contribution provides some details about the successful conversion of the EXFOR library to a MongoDB database and shows simple usage examples to underline its merits. All codes required for the conversion have been made available online and are open-source. In addition, a Dockerfile has been created to facilitate the installation process.

categories: cs.DL nucl-ex nucl-th physics.comp-ph physics.data-an


title: GPU-based Ising Computing for Solving Balanced Min-Cut Graph Partitioning Problem

abstract: Ising computing provides a new computing paradigm for many hard combinatorial optimization problems. Ising computing essentially tries to solve the quadratic unconstrained binary optimization problem, which is also described by the Ising spin glass model and is also the basis for so-called Quantum Annealing computers. In this work, we propose a novel General Purpose Graphics Processing Unit (GPGPU) solver for the balanced min-cut graph partitioning problem, which has many applications in the area of design automation and others. Ising model solvers for the balanced min-cut partitioning problem have been proposed in the past. However, they have rarely been demonstrated in existing quantum computers for many meaningful problem sizes. One difficulty is the fact that the balancing constraint in the balanced min-cut problem can result in a complete graph in the Ising model, which makes each local update a global update. Such global update from each GPU thread will diminish the efficiency of GPU computing, which favors many localized memory accesses for each thread. To mitigate this problem, we propose an novel Global Decoupled Ising (GDI) model and the corresponding annealing algorithm, in which the local update is still preserved to maintain the efficiency. As a result, the new Ising solver essentially eliminates the need for the fully connected graph and will use a more efficient method to track and update global balance without sacrificing cut quality. Experimental results show that the proposed Ising-based min-cut partitioning method outperforms the state of art partitioning tool, METIS, on G-set graph benchmarks in terms of partitioning quality with similar CPU/GPU times.


title: Generative Image Inpainting with Submanifold Alignment

abstract: Image inpainting aims at restoring missing regions of corrupted images, which has many applications such as image restoration and object removal. However, current GAN-based generative inpainting models do not explicitly exploit the structural or textural consistency between restored contents and their surrounding contexts.To address this limitation, we propose to enforce the alignment (or closeness) between the local data submanifolds (or subspaces) around restored images and those around the original (uncorrupted) images during the learning process of GAN-based inpainting models. We exploit Local Intrinsic Dimensionality (LID) to measure, in deep feature space, the alignment between data submanifolds learned by a GAN model and those of the original data, from a perspective of both images (denoted as iLID) and local patches (denoted as pLID) of images. We then apply iLID and pLID as regularizations for GAN-based inpainting models to encourage two levels of submanifold alignment: 1) an image-level alignment for improving structural consistency, and 2) a patch-level alignment for improving textural details. Experimental results on four benchmark datasets show that our proposed model can generate more accurate results than state-of-the-art models.


title: The effect of time-dilation on Bell experiments in the retrocausal Brans model

abstract: The possibility of using retrocausality to obtain a fundamentally relativistic account of the Bell correlations has gained increasing recognition in recent years. It is not known, however, the extent to which these models can make use of their relativistic properties to account for relativistic effects on entangled systems. We consider here a hypothetical relativistic Bell experiment, where one of the wings experiences time-dilation effects. We show that the retrocausal Brans model (Found. Phys, 49(2), 2019) can be easily generalised to analyse this experiment, and that it predicts less separation of eigenpackets in the wing experiencing the time-dilation. This causes the particle distribution patterns on the photographic plates to differ between the wings -- an experimentally testable prediction of the model. We discuss the difficulties faced by other hidden variable models in describing this experiment, and their natural resolution in our model due to its relativistic properties. In particular, we discuss how a $\psi$-epistemic interpretation may resolve several difficulties encountered in relativistic generalisations of de Broglie-Bohm theory and objective state reduction models. Lastly, we argue that it is not clear at present, due to technical difficulties, if our prediction is reproduced by quantum field theory. We conclude that if it is, then the retrocausal Brans model predicts the same result with great simplicity in comparison. If not, the model can be experimentally tested.


title: Chainer: A Deep Learning Framework for Accelerating the Research Cycle

abstract: Software frameworks for neural networks play a key role in the development and application of deep learning methods. In this paper, we introduce the Chainer framework, which intends to provide a flexible, intuitive, and high performance means of implementing the full range of deep learning models needed by researchers and practitioners. Chainer provides acceleration using Graphics Processing Units with a familiar NumPy-like API through CuPy, supports general and dynamic models in Python through Define-by-Run, and also provides add-on packages for state-of-the-art computer vision models as well as distributed training.


title: Universal scaling behavior of resonant absorption

abstract: Mode conversion and resonant absorption are crucial mechanisms for wave transport and absorption. Scaling behavior of mode conversion or resonant absorption is well-known for electromagnetic and MHD waves in planar geometry. Our recent study showed that such a scaling behavior of resonant absorption could also exist for coronal loop oscillations with cylindrical geometry, but it was only tested for one density profile. Here we generalise our previous study on the scaling behavior of resonant absorption by considering multiple density profiles. Applying an invariant imbedding method to the ideal MHD wave equations, we show that the scaling behavior also exists for these density models. We thus generalise our earlier results and show that such a universal scaling exists in cylindrical geometry, too. Given these results and the earlier results in planar geometry, we formulate a hypothesis that a universal scaling behavior exists regardless of the type of mode conversion or resonant absorption.


title: Illusion of Causality in Visualized Data

abstract: Students who eat breakfast more frequently tend to have a higher grade point average. From this data, many people might confidently state that a before-school breakfast program would lead to higher grades. This is a reasoning error, because correlation does not necessarily indicate causation -- X and Y can be correlated without one directly causing the other. While this error is pervasive, its prevalence might be amplified or mitigated by the way that the data is presented to a viewer. Across three crowdsourced experiments, we examined whether how simple data relations are presented would mitigate this reasoning error. The first experiment tested examples similar to the breakfast-GPA relation, varying in the plausibility of the causal link. We asked participants to rate their level of agreement that the relation was correlated, which they rated appropriately as high. However, participants also expressed high agreement with a causal interpretation of the data. Levels of support for the causal interpretation were not equally strong across visualization types: causality ratings were highest for text descriptions and bar graphs, but weaker for scatter plots. But is this effect driven by bar graphs aggregating data into two groups or by the visual encoding type? We isolated data aggregation versus visual encoding type and examined their individual effect on perceived causality. Overall, different visualization designs afford different cognitive reasoning affordances across the same data. High levels of data aggregation by graphs tend to be associated with higher perceived causality in data. Participants perceived line and dot visual encodings as more causal than bar encodings. Our results demonstrate how some visualization designs trigger stronger causal links while choosing others can help mitigate unwarranted perceptions of causality.


title: Hiring in the substance use disorder treatment related sector during the first five years of Medicaid expansion

abstract: Effective treatment strategies exist for substance use disorder (SUD), however severe hurdles remain in ensuring adequacy of the SUD treatment (SUDT) workforce as well as improving SUDT affordability, access and stigma. Although evidence shows recent increases in SUD medication access from expanding Medicaid availability under the Affordable Care Act, it is yet unknown whether these policies also led to a growth in the changes in the nature of hiring in SUDT related workforce, partly due to poor data availability. Our study uses novel data to shed light on recent trends in a fast-evolving and policy-relevant labor market, and contributes to understanding the current SUDT related workforce and the effect of Medicaid expansion on hiring attempts in this sector. We examine attempts over 2010-2018 at hiring in the SUDT and related behavioral health sector as background for estimating the causal effect of the 2014-and-beyond state Medicaid expansion on these outcomes through "difference-in-difference" econometric models. We use Burning Glass Technologies (BGT) data covering virtually all U.S. job postings by employers. Nationally, we find little growth in the sector's hiring attempts in 2010-2018 relative to the rest of the economy or to health care as a whole. However, this masks diverging trends in subsectors, which saw reduction in hospital based hiring attempts, increases towards outpatient facilities, and changes in occupational hiring demand shifting from medical personnel towards counselors and social workers. Although Medicaid expansion did not lead to any statistically significant or meaningful change in overall hiring attempts, there was a shift in the hiring landscape.


title: Deficient values of solutions of linear differential equations

abstract: Differential equations of the form $f'' + A(z)f' + B(z)f = 0$ (*) are considered, where $A(z)$ and $B(z) \not\equiv 0$ are entire functions. The Lindel\"of function is used to show that for any $\rho \in (1/2, \infty)$, there exists an equation of the form (*) which possesses a solution $f$ of order $\rho$ with a Nevanlinna deficient value at $0$, where $f, A(z), B(z)$ satisfy a common growth condition. It is known that such an example cannot exist when $\rho \leq 1/2$. For smaller growth functions, a geometrical modification of an example of Anderson and Clunie is used to show that for any $\rho \in (2, \infty)$, there exists an equation of the form (*) which possesses a solution $f$ of logarithmic order $\rho$ with a Valiron deficient value of at $0$, where $f, A(z), B(z)$ satisfy an analogous growth condition. This result is essentially sharp. In both proofs, the separation of the zeros of the indicated solution plays a key role. Observations on the deficient values of solutions of linear differential equations are also given, which include a discussion of Wittich's theorem on Nevanlinna deficient values, a modified Wittich theorem for Valiron deficient values, consequences of Gol'dberg's theorem, and examples to illustrate possibilities that can occur.


title: Mirror Descent for Constrained Optimization Problems with Large Subgradient Values

abstract: Based on the ideas of arXiv:1710.06612, we consider the problem of minimization of the Holder-continuous non-smooth functional $f$ with non-positive convex (generally, non-smooth) Lipschitz-continuous functional constraint. We propose some novel strategies of step-sizes and adaptive stopping rules in Mirror Descent algorithms for the considered class of problems. It is shown that the methods are applicable to the objective functionals of various levels of smoothness. Applying the restart technique to the Mirror Descent Algorithm there was proposed an optimal method to solve optimization problems with strongly convex objective functionals. Estimates of the rate of convergence of the considered algorithms are obtained depending on the level of smoothness of the objective functional. These estimates indicate the optimality of considered methods from the point of view of the theory of lower oracle bounds. In addition, the case of a quasi-convex objective functional and constraint was considered.


title: Deep Kinematic Models for Kinematically Feasible Vehicle Trajectory Predictions

abstract: Self-driving vehicles (SDVs) hold great potential for improving traffic safety and are poised to positively affect the quality of life of millions of people. To unlock this potential one of the critical aspects of the autonomous technology is understanding and predicting future movement of vehicles surrounding the SDV. This work presents a deep-learning-based method for kinematically feasible motion prediction of such traffic actors. Previous work did not explicitly encode vehicle kinematics and instead relied on the models to learn the constraints directly from the data, potentially resulting in kinematically infeasible, suboptimal trajectory predictions. To address this issue we propose a method that seamlessly combines ideas from the AI with physically grounded vehicle motion models. In this way we employ best of the both worlds, coupling powerful learning models with strong feasibility guarantees for their outputs. The proposed approach is general, being applicable to any type of learning method. Extensive experiments using deep convnets on real-world data strongly indicate its benefits, outperforming the existing state-of-the-art.


title: Estimating Color-Concept Associations from Image Statistics

abstract: To interpret the meanings of colors in visualizations of categorical information, people must determine how distinct colors correspond to different concepts. This process is easier when assignments between colors and concepts in visualizations match people's expectations, making color palettes semantically interpretable. Efforts have been underway to optimize color palette design for semantic interpretablity, but this requires having good estimates of human color-concept associations. Obtaining these data from humans is costly, which motivates the need for automated methods. We developed and evaluated a new method for automatically estimating color-concept associations in a way that strongly correlates with human ratings. Building on prior studies using Google Images, our approach operates directly on Google Image search results without the need for humans in the loop. Specifically, we evaluated several methods for extracting raw pixel content of the images in order to best estimate color-concept associations obtained from human ratings. The most effective method extracted colors using a combination of cylindrical sectors and color categories in color space. We demonstrate that our approach can accurately estimate average human color-concept associations for different fruits using only a small set of images. The approach also generalizes moderately well to more complicated recycling-related concepts of objects that can appear in any color.


title: Automatic pre-grasps generation for unknown 3D objects

abstract: In this paper, the problem of automating the pre-grasps generation for novel 3d objects has been discussed. The objects represented as cloud of 3D points are split into parts and organized in a tree structure, where parts are approximated by simple box primitives. Applying grasping only on the individual object parts may miss a good grasp which involves a combination of parts. The problem has been addressed by traversing the decomposition tree and checking each node of the tree for possible pre-grasps against a set of conditions. Further, a face mask has been introduced to encode the free and blocked faces of the box primitives. Pre-grasps are generated only for the free faces. Finally, the proposed method implemented on a set twenty-four household objects and toys, where a grasp planner based on object slicing method has been used to compute the contact-level grasp plan.


title: Structured3D: A Large Photo-realistic Dataset for Structured 3D Modeling

abstract: Recently, there has been growing interest in developing learning-based methods to detect and utilize salient semi-global or global structures, such as junctions, lines, planes, cuboids, smooth surfaces, and all types of symmetries, for 3D scene modeling and understanding. However, the ground truth annotations are often obtained via human labor, which is particularly challenging and inefficient for such tasks due to the large number of 3D structure instances (e.g., line segments) and other factors such as viewpoints and occlusions. In this paper, we present a new synthetic dataset, Structured3D, with the aim of providing large-scale photo-realistic images with rich 3D structure annotations for a wide spectrum of structured 3D modeling tasks. We take advantage of the availability of professional interior designs and automatically extract 3D structures from them. We generate high-quality images with an industry-leading rendering engine. We use our synthetic dataset in combination with real images to train deep networks for room layout estimation and demonstrate improved performance on benchmark datasets.


title: Canonical interpretation of the newly observed $\Lambda_b(6146)^0$ and $\Lambda_b(6152)^0$ via strong decay behaviors

abstract: Stimulated by the newly observed $\Lambda_b(6146)^0$ and $\Lambda_b(6152)^0$ resonances, we investigate the strong decays of the low-lying singly bottom baryons within the quark pair creation model. Considering their masses and decay modes, we tentatively assign these states as the $\lambda-$ mode $\Lambda_b(2S)$, $\Lambda_b(1D)$, $\Sigma_b(2S)$, and $\Sigma_b(1P)$ states, and then estimate their strong decay widths. Compared with the experimental total widths and decay modes measured by the LHCb Collaboration, the $\Lambda_b(6146)^0$ and $\Lambda_b(6152)^0$ can be reasonably clarified into the $J^P=5/2^+$ and $J^P=3/2^+$ $\Lambda_b(1D)$ sates respectively, while other canonical assignments are disfavored. Other low-lying bottom states are also presented, where various narrow states may have good potential to be observed in future LHCb experiments.


title: Arithmetic on self-similar sets

abstract: Let $K_1$ and $K_2$ be two one-dimensional homogeneous self-similar sets. Let $f$ be a continuous function defined on an open set $U\subset \mathbb{R}^{2}$. Denote the continuous image of $f$ by $$ f_{U}(K_1,K_2)=\{f(x,y):(x,y)\in (K_1\times K_2)\cap U\}. $$ In this paper we give an sufficient condition which guarantees that $f_{U}(K_1,K_2)$ contains some interiors. Our result is different from Simon and Taylor's \cite[Proposition 2.9]{ST} as we do not need the condition that the multiplication of the thickness of $K_1$ and $K_2$ is strictly greater than $1$. As a consequence, we give an application to the univoque sets in the setting of $q$-expansions.


title: Updating Variational Bayes: Fast sequential posterior inference

abstract: Variational Bayesian (VB) methods produce posterior inference in a time frame considerably smaller than traditional Markov Chain Monte Carlo approaches. Although the VB posterior is an approximation, it has been shown to produce good parameter estimates and predicted values when a rich classes of approximating distributions are considered. In this paper we propose Updating VB (UVB), a recursive algorithm used to update a sequence of VB posterior approximations in an online setting, with the computation of each posterior update requiring only the data observed since the previous update. An extension to the proposed algorithm, named UVB-IS, allows the user to trade accuracy for a substantial increase in computational speed through the use of importance sampling. The two methods and their properties are detailed in two separate simulation studies. Two empirical illustrations of the proposed UVB methods are provided, including one where a Dirichlet Process Mixture model with a novel posterior dependence structure is repeatedly updated in the context of predicting the future behaviour of vehicles on a stretch of the US Highway 101.


title: Pilot-Based Channel Estimation Design in Covert Wireless Communication

abstract: In this work, for the first time, we tackle channel estimation design with pilots in the context of covert wireless communication. Specifically, we consider Rayleigh fading for the communication channel from a transmitter to a receiver and additive white Gaussian noise (AWGN) for the detection channel from the transmitter to a warden. Before transmitting information signals, the transmitter has to send pilots to enable channel estimation at the receiver. Using a lower bound on the detection error probability, we first prove that transmitting pilot and information signals with equal power can minimize the detection performance at the warden, which is confirmed by the minimum detection error probability achieved by the optimal detector based on likelihood ratio test. This motivates us to consider the equal transmit power in the channel estimation and then optimize channel use allocation between pilot and information signals in covert wireless communication. Our analysis shows that the optimal number of the channel uses allocated to pilots increases as the covertness constraint becomes tighter. In addition, our examination shows that the optimal percentage of all the available channel uses allocated to channel estimation decreases as the total number of channel uses increases.


title: An Improved Approximation Algorithm for TSP in the Half Integral Case

abstract: We design a $1.49993$-approximation algorithm for the metric traveling salesperson problem (TSP) for instances in which an optimal solution to the subtour linear programming relaxation is half-integral. These instances received significant attention over the last decade due to a conjecture of Schalekamp, Williamson and van Zuylen stating that half-integral LP solutions have the largest integrality gap over all fractional solutions. So, if the conjecture of Schalekamp et al. holds true, our result shows that the integrality gap of the subtour polytope is bounded away from $3/2$.


title: Grazing incidence x-ray diffraction studies of lipid-peptide mixed monolayers during shear flow

abstract: Grazing Incidence X-ray Diffraction (GIXD) studies of monolayers of biomolecules at the air-water interface give quantitative information of in-plane packing, coherence lengths of the ordered diffracting crystalline domains and the orientation of hydrocarbon chains. Rheo-GIXD measurements revel quantitative changes in the monolayer under shear. Here we report GIXD studies of monolayers of Alamethicin peptide, DPPC lipid and their mixtures at the air-water interface under the application of steady shear stresses. The Alamethicin monolayer and the mixed monolayer show flow jamming transition. On the other hand, pure DPPC monolayer under the constant stress flows steadily with a notable enhancement of area/molecule, coherence length, and the tilt angle with increasing stress, suggesting fusion of nanocrystallites during flow. The DPPC-Alamethicin mixed monolayer shows no significant change in the area/DPPC molecule or in the DPPC chain tilt but the coherence length of both phases (DPPC and Alamethicin) increases suggesting that the crystallites of individual phases are merging to bigger size promoting more separation of phases in the system during flow. Our results show that Rheo-GIXD has the potential to explore in-situ molecular structural changes under rheological conditions for a diverse range of confined biomolecules at the interfaces.


title: Anderson localization for Jacobi matrices associated with high-dimensional skew shifts

abstract: In this paper, we establish Anderson localization for a class of Jacobi matrices associated with skew shifts on $\mathbb{T}^{d}$, $d\geq3$.