title: Estimating Road Network Accessibility during a Hurricane Evacuation: A Case Study of Hurricane Irma in Florida

abstract: Understanding the spatiotemporal road network accessibility during a hurricane evacuation, the level of ease of residents in an area in reaching evacuation destination sites through the road network, is a critical component of emergency management. While many studies have attempted to measure road accessibility (either in the scope of evacuation or beyond), few have considered both dynamic evacuation demand and characteristics of a hurricane. This study proposes a methodological framework to achieve this goal. In an interval of every six hours, the method first estimates the evacuation demand in terms of number of vehicles per household in each county subdivision by considering the hurricane's wind radius and track. The closest facility analysis is then employed to model evacuees' route choices towards the predefined evacuation destinations. The potential crowdedness index (PCI), a metric capturing the level of crowdedness of each road segment, is then computed by coupling the estimated evacuation demand and route choices. Finally, the road accessibility of each sub-county is measured by calculating the reciprocal of the sum of PCI values of corresponding roads connecting evacuees from the sub-county to the designated destinations. The method is applied to the entire state of Florida during Hurricane Irma in September 2017. Results show that I-75 and I-95 northbound have a high level of congestion, and sub-counties along the northbound I-95 suffer from the worst road accessibility. In addition, this research performs a sensitivity analysis for examining the impacts of different choices of behavioral response curves on accessibility results.


title: Estimating a Large Drive Time Matrix between Zip Codes in the United States: A Differential Sampling Approach

abstract: Estimating a massive drive time matrix between locations is a practical but challenging task. The challenges include availability of reliable road network (including traffic) data, programming expertise, and access to high-performance computing resources. This research proposes a method for estimating a nationwide drive time matrix between ZIP code areas in the U.S.--a geographic unit at which many national datasets such as health information are compiled and distributed. The method (1) does not rely on intensive efforts in data preparation or access to advanced computing resources, (2) uses algorithms of varying complexity and computational time to estimate drive times of different trip lengths, and (3) accounts for both interzonal and intrazonal drive times. The core design samples ZIP code pairs with various intensities according to trip lengths and derives the drive times via Google Maps API, and the Google times are then used to adjust and improve some primitive estimates of drive times with low computational costs. The result provides a valuable resource for researchers.


title: Four-element generating sets of partition lattices and their direct products

abstract: Let $n>3$ be a natural number. By a 1975 result of H. Strietz, the lattice Part$(n)$ of all partitions of an $n$-element set has a four-element generating set. In 1983, L. Z\'adori gave a new proof of this fact with a particularly elegant construction. Based on his construction from 1983, the present paper gives a lower bound on the number $\nu(n)$ of four-element generating sets of Part$(n)$. We also present a computer assisted statistical approach to $\nu(n)$ for small values of $n$. In his 1983 paper, L. Z\'adori also proved that for $n\geq 7$, the lattice Part$(n)$ has a four element generating set that is not an antichain. He left the problem whether such a generating set for $n\in\{5,6\}$ exists open. Here we solve this problem in negative for $n=5$ and in affirmative for $n=6$. Finally, the main theorem asserts that the direct product of some powers of partition lattices is four-generated. In particular, by the first part of this theorem, Part$(n_1)\times$ Part$(n_2)$ is four-generated for any two distinct integers $n_1$ and $n_2$ that are at least 5. The second part of the theorem is technical but it has two corollaries that are easy to understand. Namely, the direct product Part$(n)$ $\times$ Part$(n+1)$ $\times\dots\times$ Part$(3n-14)$ is four-generated for each integer $n\geq 9$. Also, for every positive integer $u$, the $u$-th the direct power of the direct product Part$(n)$ $\times$ Part$(n+1)$ $\times\dots\times$ Part$(n+u-1)$ is four-generated for all but finitely many $n$. If we do not insist on too many direct factors, then the exponent can be quite large. For example, our theorem implies that the $10^{127}$-th direct power of Part$(1011)$ $\times$ Part$(1012)$ $\times \dots \times$ Part$(2020)$ is four-generated.


title: Spatial interactions in urban scaling laws

abstract: Analyses of urban scaling laws assume that observations in different cities are independent of the existence of nearby cities. Here we introduce generative models and data-analysis methods that overcome this limitation by modelling explicitly the effect of interactions between individuals at different locations. Parameters that describe the scaling law and the spatial interactions are inferred from data simultaneously, allowing for rigorous (Bayesian) model comparison and overcoming the problem of defining the boundaries of urban regions. Results in five different datasets show that including spatial interactions typically leads to better models and a change in the exponent of the scaling law. Data and codes are provided in Ref. [1].


title: Inverse Active Sensing: Modeling and Understanding Timely Decision-Making

abstract: Evidence-based decision-making entails collecting (costly) observations about an underlying phenomenon of interest, and subsequently committing to an (informed) decision on the basis of accumulated evidence. In this setting, active sensing is the goal-oriented problem of efficiently selecting which acquisitions to make, and when and what decision to settle on. As its complement, inverse active sensing seeks to uncover an agent's preferences and strategy given their observable decision-making behavior. In this paper, we develop an expressive, unified framework for the general setting of evidence-based decision-making under endogenous, context-dependent time pressure---which requires negotiating (subjective) tradeoffs between accuracy, speediness, and cost of information. Using this language, we demonstrate how it enables modeling intuitive notions of surprise, suspense, and optimality in decision strategies (the forward problem). Finally, we illustrate how this formulation enables understanding decision-making behavior by quantifying preferences implicit in observed decision strategies (the inverse problem).


title: Heuristic machinery for thermodynamic studies of SU(N) fermions with neural networks

abstract: The power of machine learning (ML) provides the possibility of analyzing experimental measurements with an unprecedented sensitivity. However, it still remains challenging to probe the subtle effects directly related to physical observables and to understand physics behind from ordinary experimental data using ML. Here, we introduce a heuristic machinery by using machine learning analysis. We use our machinery to guide the thermodynamic studies in the density profile of ultracold fermions interacting within SU($N$) spin symmetry prepared in a quantum simulator. Although such spin symmetry should manifest itself in a many-body wavefuction, it is elusive how the momentum distribution of fermions, the most ordinary measurement, reveals the effect of spin symmetry. Using a fully trained convolutional neural network (NN) with a remarkably high accuracy of $\sim$94$\%$ for detection of the spin multiplicity, we investigate how the accuracy depends on various less-pronounced effects with filtered experimental images. Guided by our machinery, we directly measure a thermodynamic compressibility from density fluctuations within the single image. Our machine learning framework shows a potential to validate theoretical descriptions of SU($N$) Fermi liquids, and to identify less-pronounced effects even for highly complex quantum matter with minimal prior understanding.


title: An application of a solar-type dynamo model for Epsilon Eridani

abstract: During the last decade, the relation between activity cycle periods with stellar parameters has received special attention. The construction of reliable registries of activity reveals that solar type stars exhibit activity cycles with periods from few years to decades and, in same cases, long and short activity cycles coexist suggesting that two dynamos could operate in these stars. In particular, Epsilon Eridani is an active young K2V star (0.8 Gyr), which exhibits a short and long-term chromospheric cycles of near 3 and 13-yr periods. Additionally, between 1985 and 1992, the star went through a broad activity minimum, similar to the solar Maunder Minimum-state. Motivated by these results, we found in Epsilon Eridani a great opportunity to test the dynamo theory. Based on the model developed in Sraibman & Minotti (2019), in this work we built a non linear axisymmetric dynamo for Epsilon Eridani. The time series of the simulated magnetic field components near the surface integrated in all the stellar disc exhibits both the long and short-activity cycles with periods similar to the ones detected from observations and also time intervals of low activity which could be associated to the broad Minimun. The short activity cycle associated to the magnetic reversal could be explained by the differential rotation, while the long cycle is associated to the meridional mass flows induced by the Lorentz force. In this way, we show that a single non-linear dynamo model derived from first principles with accurate stellar parameters could reproduce coexisting activity cycles.


title: The Spectrum of the Singular Values of Z-Shaped Graph Matrices

abstract: Graph matrices are a type of matrix which has played a crucial role in analyzing the sum of squares hierarchy on average case problems. However, except for rough norm bounds, little is known about graph matrices. In this paper, we take a step towards better understanding graph matrices by determining the limiting distribution of the spectrum of the singular values of Z-shaped graph matrices. We then give a partial generalization of our results for $m$-layer Z-shaped graph matrices.


title: Quantum Amplitude Estimation in the Presence of Noise

abstract: Quantum Amplitude Estimation (QAE) -- a technique by which the amplitude of a given quantum state can be estimated with quadratically fewer queries than by standard sampling -- is a key sub-routine in several important quantum algorithms, including Grover search and Quantum Monte-Carlo methods. An obstacle to implementing QAE in near-term noisy intermediate-scale quantum (NISQ) devices has been the need to perform Quantum Phase Estimation (QPE) -- a costly procedure -- as a sub-routine. This impediment was lifted with various QPE-free methods of QAE, wherein Grover queries of varying depths / powers (often according to a "schedule") are followed immediately by measurements and classical post-processing techniques like maximum likelihood estimation (MLE). Existing analyses as to the optimality of various query schedules in these QPE-free QAE schemes have hitherto assumed noise-free systems. In this work, we analyse QPE-free QAE under common noise models that may afflict NISQ devices and report on the optimality of various query schedules in the noisy regime. We demonstrate that, given an accurate noise characterization of one's system, one must choose a schedule that balances the trade-off between the greater ideal performance achieved by higher-depth circuits, and the correspondingly greater accumulation of noise-induced error.


title: Adversarial Machine Learning based Partial-model Attack in IoT

abstract: As Internet of Things (IoT) has emerged as the next logical stage of the Internet, it has become imperative to understand the vulnerabilities of the IoT systems when supporting diverse applications. Because machine learning has been applied in many IoT systems, the security implications of machine learning need to be studied following an adversarial machine learning approach. In this paper, we propose an adversarial machine learning based partial-model attack in the data fusion/aggregation process of IoT by only controlling a small part of the sensing devices. Our numerical results demonstrate the feasibility of this attack to disrupt the decision making in data fusion with limited control of IoT devices, e.g., the attack success rate reaches 83\% when the adversary tampers with only 8 out of 20 IoT devices. These results show that the machine learning engine of IoT system is highly vulnerable to attacks even when the adversary manipulates a small portion of IoT devices, and the outcome of these attacks severely disrupts IoT system operations.


title: FastSpec: Scalable Generation and Detection of Spectre Gadgets Using Neural Embeddings

abstract: Several techniques have been proposed to detect vulnerable Spectre gadgets in widely deployed commercial software. Unfortunately, detection techniques proposed so far rely on hand-written rules which fall short in covering subtle variations of known Spectre gadgets as well as demand a huge amount of time to analyze each conditional branch in software. Moreover, detection tool evaluations are based only on a handful of these gadgets, as it requires arduous effort to craft new gadgets manually. In this work, we employ both fuzzing and deep learning techniques to automate the generation and detection of Spectre gadgets. We first create a diverse set of Spectre-V1 gadgets by introducing perturbations to the known gadgets. Using mutational fuzzing, we produce a data set with more than 1 million Spectre-V1 gadgets which is the largest Spectre gadget data set built to date. Next, we conduct the first empirical usability study of Generative Adversarial Networks (GANs) in the context of assembly code generation without any human interaction. We introduce SpectreGAN which leverages masking implementation of GANs for both learning the gadget structures and generating new gadgets. This provides the first scalable solution to extend the variety of Spectre gadgets. Finally, we propose FastSpec which builds a classifier with the generated Spectre gadgets based on a novel high dimensional Neural Embeddings technique (BERT). For the case studies, we demonstrate that FastSpec discovers potential gadgets with a high success rate in OpenSSL libraries and Phoronix benchmarks. Further, FastSpec offers much greater flexibility and time-related performance gain compared to the existing tools and therefore can be used for gadget detection in large-scale software.


title: Nuclear Reaction Screening, Weak Interactions, and r-Process Nucleosynthesis in High Magnetic Fields

abstract: Coulomb screening and weak interactions in a hot, magnetized plasma are investigated. Coulomb screening is evaluated in a relativistic thermal plasma in which electrons and positrons are in equilibrium. In addition to temperature effects, effects on weak screening from a strong external magnetic field are evaluated. In high fields, the electron transverse momentum components are quantized into Landau levels. The characteristic plasma screening length at high temperatures and at high magnetic fields is explored. In addition to changes to the screening length, changes in weak interaction rates are estimated. It is found that high fields can result in increased $\beta$-decay rates as the electron and positron spectra are dominated by Landau levels. Finally, the effects studied here are evaluated in a simple r-process model. It is found that relativistic Coulomb screening has a small effect on the final abundance distribution. While changes in weak interaction rates in strong magnetic fields can have an effect on the r-process evolution and abundance distribution, the field strength required to have a significant effect may be larger than what is currently thought to be typical of the r-process environment in collapsar jets or neutron star mergers. If r-process sites exist in fields $\gtrsim 10^{14}$ G effects from fields on weak decays could be significant.


title: Speaker-Conditional Chain Model for Speech Separation and Extraction

abstract: Speech separation has been extensively explored to tackle the cocktail party problem. However, these studies are still far from having enough generalization capabilities for real scenarios. In this work, we raise a common strategy named Speaker-Conditional Chain Model to process complex speech recordings. In the proposed method, our model first infers the identities of variable numbers of speakers from the observation based on a sequence-to-sequence model. Then, it takes the information from the inferred speakers as conditions to extract their speech sources. With the predicted speaker information from whole observation, our model is helpful to solve the problem of conventional speech separation and speaker extraction for multi-round long recordings. The experiments from standard fully-overlapped speech separation benchmarks show comparable results with prior studies, while our proposed model gets better adaptability for multi-round long recordings.


title: Sequence to Multi-Sequence Learning via Conditional Chain Mapping for Mixture Signals

abstract: Neural sequence-to-sequence models are well established for applications which can be cast as mapping a single input sequence into a single output sequence. In this work, we focus on one-to-many sequence transduction problems, such as extracting multiple sequential sources from a mixture sequence. We extend the standard sequence-to-sequence model to a conditional multi-sequence model, which explicitly models the relevance between multiple output sequences with the probabilistic chain rule. Based on this extension, our model can conditionally infer output sequences one-by-one by making use of both input and previously-estimated contextual output sequences. This model additionally has a simple and efficient stop criterion for the end of the transduction, making it able to infer the variable number of output sequences. We take speech data as a primary test field to evaluate our methods since the observed speech data is often composed of multiple sources due to the nature of the superposition principle of sound waves. Experiments on several different tasks including speech separation and multi-speaker speech recognition show that our conditional multi-sequence models lead to consistent improvements over the conventional non-conditional models.


title: Hall conductance and the statistics of flux insertions in gapped interacting lattice systems

abstract: We study charge transport for zero-temperature infinite-volume gapped lattice systems in two dimensions with short-range interactions. We show that the Hall conductance is locally computable and is the same for all systems which are in the same gapped phase. We provide a rigorous versions of Laughlin's flux-insertion argument which shows that for short-range entangled systems the Hall conductance is an integer multiple of e^2/h. We show that the Hall conductance determines the statistics of flux insertions. For bosonic short-range entangled systems, this implies that the Hall conductance is an even multiple of e^2/h. Finally, we adapt a proof of quantization of the Thouless charge pump to the case of infinite-volume gapped lattice systems in one dimension.

categories: math-ph cond-mat.mes-hall cond-mat.str-el math.MP


title: Quantum-critical scaling properties of the two-dimensional random-singlet state

abstract: We use QMC simulations to study effects of disorder on the $S=1/2$ Heisenberg model with exchange constant $J$ on the square lattice supplemented by multispin interactions $Q$. It was found recently [L. Lu et al., Phys. Rev. X 8, 041040 (2018)] that the ground state of this $J$-$Q$ model with random couplings undergoes a quantum phase transition from the N\'eel state into a randomness-induced spin-liquid-like state that is a close analogue to the well known random-singlet (RS) state of the random Heisenberg chain. The 2D RS state arises from spinons localized at topological defects. The interacting spinons form a critical state with mean spin-spin correlations decaying with distance $r$ as $r^{-2}$, as in the 1D RS state. The dynamic exponent $z \ge 2$, varying continuously with the model parameters. We here further investigate the properties of the RS state in the $J$-$Q$ model with random $Q$ couplings. We study the temperature dependence of the specific heat and various susceptibilities for large enough systems to reach the thermodynamic limit and also analyze the size dependence of the critical magnetic order parameter and its susceptibility in the ground state. For all these quantities, we find consistency with conventional quantum-critical scaling when the condition implied by the $r^{-2}$ form of the spin correlations is imposed. All quantities can be explained by the same value of the dynamic exponent $z$ at fixed model parameters. We argue that the RS state identified in the $J$-$Q$ model corresponds to a generic renormalization group fixed point that can be reached in many quantum magnets with random couplings, and may already have been observed experimentally.


title: Thermodynamics of viscous dark energy for the late future time universe

abstract: In this work we explore the thermodynamic aspects of dark energy for late future time universe in two different scenarios: as a perfect fluid with constant and variable equation of state parameter; and as dissipative fluid described by a barotropic equation of state with bulk viscosity in the framework of the Eckart theory and the full Israel-Stewart theory. We explore cosmological solutions for a flat, homogeneous and isotropic universe; and we assume the late future time behavior when the dark energy dominates the cosmic evolution. When modeled as a perfect fluid with a dynamical equation of state, $p=w(a)\rho$, the dark energy has an energy density, temperature and entropy well defined and an interesting result is that there is no entropy production even though been dynamical. For dissipative dark energy, in the Eckart theory two cases are studied: $\xi=const.$ and $\xi =(\beta/\sqrt{3}) \rho^{1/2}$; it is found that the entropy grows exponentially for the first case and as a power-law for the second. In the Israel-Stewart theory we consider a $\xi =\xi_0 \rho^{1/2}$ and a relaxation time $\tau = \xi/\rho$; an analytical Big Rip solution is obtained with a power-law entropy. In all cases a power-law relation between temperature and energy density is obtained. In order to maintain the second law of thermodynamics theoretical constraints for the equation of state are found in the different dark energy models studied. A barotropic dark fluid with $w<-1$ is thermodynamically difficult to support, but the overall effect of bulk viscosity in certain cases allows a phantom regime without thermodynamic anomalies.


title: Strictly Batch Imitation Learning by Energy-based Distribution Matching

abstract: Consider learning a policy purely on the basis of demonstrated behavior -- that is, with no access to reinforcement signals, no knowledge of transition dynamics, and no further interaction with the environment. This *strictly batch imitation learning* problem arises wherever live experimentation is costly, such as in healthcare. One solution is simply to retrofit existing algorithms for apprenticeship learning to work in the offline setting. But such an approach leans heavily on off-policy evaluation or offline model estimation, and can be indirect and inefficient. We argue that a good solution should be able to explicitly parameterize a policy (i.e. respecting action conditionals), implicitly learn from rollout dynamics (i.e. leveraging state marginals), and -- crucially -- operate in an entirely offline fashion. To address this challenge, we propose a novel technique by *energy-based distribution matching* (EDM): By identifying parameterizations of the (discriminative) model of a policy with the (generative) energy function for state distributions, EDM yields a simple but effective solution that equivalently minimizes a divergence between the occupancy measure for the demonstrator and a model thereof for the imitator. Through experiments with application to control and healthcare settings, we illustrate consistent performance gains over existing algorithms for strictly batch imitation learning.


title: Quadratic closed G2-structures

abstract: This article studies closed G2-structures satisfying the quadratic condition, a second-order PDE system introduced by Bryant involving a parameter $\lambda.$ For certain special values of $\lambda$ the quadratic condition is equivalent to the Einstein condition for the metric induced by the closed G2-structure (for $\lambda = 1/2$), the extremally Ricci-pinched (ERP) condition (for $\lambda=1/6$), and the condition that the closed G2-structure be an eigenform for the Laplace operator (for $\lambda = 0$). Prior to the work in this article, solutions to the quadratic system were known only for $\lambda = 1/6,$ $-1/8,$ and $2/5,$ and for these values only a handful of solutions were known. In this article, we produce infinitely many new examples of ERP G2-structures, including the first example of a complete inhomogeneous ERP G2-structure and a new example of a compact ERP G2-structure. We also give a classification of homogeneous ERP G2-structures. We provide the first examples of quadratic closed G2-structures for $\lambda = -1,$ $1/3,$ and $3/4,$ as well as infinitely many new examples for $\lambda = -1/8$ and $2/5.$ Our constructions involve the notion of special torsion for closed G2-structures, a new concept that is likely to have wider applicability. In the final section of the article, we provide two large families of inhomogeneous complete steady gradient solitons for the Laplacian flow, the first known such examples.


title: Multi-Agent Deep Reinforcement Learning for HVAC Control in Commercial Buildings

abstract: In commercial buildings, about 40%-50% of the total electricity consumption is attributed to Heating, Ventilation, and Air Conditioning (HVAC) systems, which places an economic burden on building operators. In this paper, we intend to minimize the energy cost of an HVAC system in a multi-zone commercial building under dynamic pricing with the consideration of random zone occupancy, thermal comfort, and indoor air quality comfort. Due to the existence of unknown thermal dynamics models, parameter uncertainties (e.g., outdoor temperature, electricity price, and number of occupants), spatially and temporally coupled constraints associated with indoor temperature and CO2 concentration, a large discrete solution space, and a non-convex and non-separable objective function, it is very challenging to achieve the above aim. To this end, the above energy cost minimization problem is reformulated as a Markov game. Then, an HVAC control algorithm is proposed to solve the Markov game based on multi-agent deep reinforcement learning with attention mechanism. The proposed algorithm does not require any prior knowledge of uncertain parameters and can operate without knowing building thermal dynamics models. Simulation results based on real-world traces show the effectiveness, robustness and scalability of the proposed algorithm.


title: Disparate Patterns of Movements and Visits to Points of Interests Located in Urban Hotspots across U.S. Metropolitan Cities during COVID-19

abstract: We examined the effect of social distancing on changes in visits to urban hotspot points of interest. Urban hotspots, such as central business districts, are gravity activity centers orchestrating movement and mobility patterns in cities. In a pandemic situation, urban hotspots could be potential superspreader areas as visits to urban hotspots can increase the risk of contact and transmission of a disease among a population. We mapped origin-destination networks from census block groups to points of interest (POIs) in sixteen cities in the United States. We adopted a coarse-grain approach to study movement patterns of visits to POIs among the hotspots and non-hotspots from January to May 2020. Also, we conducted chi-square tests to identify POIs with significant flux-in changes during the analysis period. The results showed disparate patterns across cities in terms of reduction in POI visits to hotspot areas. The sixteen cities are divided into two categories based on visits to POIs in hotspot areas. In one category, which includes the cities of, San Francisco, Seattle, and Chicago, we observe a considerable decrease in visits to POIs in hotspot areas, while in another category, including the cites of, Austin, Houston, and San Diego, the visits to hotspot areas did not greatly decrease during the social distancing period. In addition, while all the cities exhibited overall decreasing visits to POIs, one category maintained the proportion of visits to POIs in the hotspots. The proportion of visits to some POIs (e.g., Restaurant and Other Eating Places) remained stable during the social distancing period, while some POIs had an increased proportion of visits (e.g., Grocery Stores). The findings highlight that social distancing orders do yield disparate patterns of reduction in movements to hotspots POIs.


title: Shut and re-open: the role of schools in the spread of COVID-19 in Europe

abstract: We investigate the effect of school closure and subsequent reopening on the transmission of COVID-19, by considering Denmark, Norway, Sweden, and German states as case studies. By comparing the growth rates in daily hospitalisations or confirmed cases under different interventions, we provide evidence that the effect of school closure is visible as a reduction in the growth rate approximately 9 days after implementation. Limited school attendance, such as older students sitting exams or the partial return of younger year groups, does not appear to significantly affect community transmission. A large-scale reopening of schools while controlling or suppressing the epidemic appears feasible in countries such as Denmark or Norway, where community transmission is generally low. However, school reopening can contribute to significant increases in the growth rate in countries like Germany, where community transmission is relatively high. Our findings underscore the need for a cautious evaluation of reopening strategies that ensure low classroom occupancy and a solid infrastructure to quickly identify and isolate new infections.


title: Scalar scattering amplitude in Gaussian wave-packet formalism

abstract: We compute an $s$-channel $2\to2$ scalar scattering $\phi\phi\to\Phi\to\phi\phi$ in the Gaussian wave-packet formalism at the tree-level. We find that wave-packet effects, including shifts of the pole and width of the propagator of $\Phi$, persist even when we do not take into account the time-boundary effect for $2\to2$, proposed earlier. The result can be interpreted that a heavy scalar $1\to2$ decay $\Phi\to\phi\phi$, taking into account the production of $\Phi$, does not exhibit the in-state time-boundary effect unless we further take into account in-boundary effects for the $2\to2$ scattering. We also show various plane-wave limits.


title: A resource efficient approach for quantum and classical simulations of gauge theories in particle physics

abstract: Gauge theories establish the standard model of particle physics, and lattice gauge theory (LGT) calculations employing Markov Chain Monte Carlo (MCMC) methods have been pivotal in our understanding of fundamental interactions. The present limitations of MCMC techniques may be overcome by Hamiltonian-based simulations on classical or quantum devices, which further provide the potential to address questions that lay beyond the capabilities of the current approaches. However, for continuous gauge groups, Hamiltonian-based formulations involve infinite-dimensional gauge degrees of freedom that can solely be handled by truncation. Current truncation schemes require dramatically increasing computational resources at small values of the bare couplings, where magnetic field effects become important. Such limitation precludes one from `taking the continuous limit' while working with finite resources. To overcome this limitation, we provide a resource-efficient protocol to simulate LGTs with continuous gauge groups in the Hamiltonian formulation. Our new method allows for calculations at arbitrary values of the bare coupling and lattice spacing. The approach consists of the combination of a Hilbert space truncation with a regularization of the gauge group, which permits an efficient description of the magnetically-dominated regime. We focus here on Abelian gauge theories and use $2+1$ dimensional quantum electrodynamics as a benchmark example to demonstrate this efficient framework to achieve the continuum limit in LGTs. This possibility is a key requirement to make quantitative predictions at the field theory level and offers the long-term perspective to utilise quantum simulations to compute physically meaningful quantities in regimes that are precluded to quantum Monte Carlo.


title: Explosive Synchronization in Multilayer Dynamically Dissimilar Networks

abstract: The phenomenon of explosive synchronization, which originates from hypersensitivity to small perturbation caused by some form of frustration prevailed in various physical and biological systems, has been shown to lead events of cascading failure of the power grid to chronic pain or epileptic seizure in the brain. Furthermore, networks provide a powerful model to understand and predict the properties of a diverse range of real-world complex systems. Recently, a multilayer network has been realized as a better suited framework for the representation of complex systems having multiple types of interactions among the same set of constituents. This article shows that by tuning the properties of one layer (network) of a multilayer network, one can regulate the dynamical behavior of another layer (network). By taking an example of a multiplex network comprising two different types of networked Kuramoto oscillators representing two different layers, this article attempts to provide a glimpse of opportunities and emerging phenomena multiplexing can induce which is otherwise not possible for a network in isolation. Here we consider explosive synchronization to demonstrate the potential of multilayer networks framework. To the end, we discuss several possible extensions of the model considered here by incorporating real-world properties.


title: Quantum Shuttle: Traffic Navigation with Quantum Computing

abstract: The Web Summit conference in Lisbon, Portugal, is one of the biggest technology conferences in Europe, attended by tens of thousands of people every year. The high influx of people into Lisbon causes significant stress on the city's transit services for the duration of the conference. For the Web Summit 2019, Volkswagen AG partnered with the city of Lisbon for a pilot project to provide quantum computing-based traffic optimization. A two-phase solution was implemented: the first phase used data science techniques to analyze the movement of people from previous conferences to build temporary new bus routes throughout the city. The second phase used a custom Android navigation app installed in the buses operated by Carris, powered by a quantum optimization service provided by Volkswagen that connected to live traffic data and a D-Wave quantum processing unit to optimize the buses' routes in real-time. To our knowledge, this is the first commercial application that depends on a quantum processor to perform a critical live task.


title: Geometric Prediction: Moving Beyond Scalars

abstract: Many quantities we are interested in predicting are geometric tensors; we refer to this class of problems as geometric prediction. Attempts to perform geometric prediction in real-world scenarios have been limited to approximating them through scalar predictions, leading to losses in data efficiency. In this work, we demonstrate that equivariant networks have the capability to predict real-world geometric tensors without the need for such approximations. We show the applicability of this method to the prediction of force fields and then propose a novel formulation of an important task, biomolecular structure refinement, as a geometric prediction problem, improving state-of-the-art structural candidates. In both settings, we find that our equivariant network is able to generalize to unseen systems, despite having been trained on small sets of examples. This novel and data-efficient ability to predict real-world geometric tensors opens the door to addressing many problems through the lens of geometric prediction, in areas such as 3D vision, robotics, and molecular and structural biology.


title: Detectability of labeled weighted automata over monoids

abstract: In this paper, we for the first time obtain characterization of four fundamental notions of detectability for general labeled weighted automata over monoids (denoted by $\mathcal{A}^{\mathfrak{M}}$ for short), where the four notions are strong (periodic) detectability (SD and SPD) and weak (periodic) detectability (WD and WPD). Firstly, we formulate the notions of concurrent composition, observer, and detector for $\mathcal{A}^{\mathfrak{M}}$. Secondly, we use the concurrent composition to give an equivalent condition for SD, use the detector to give an equivalent condition for SPD, and use the observer to give equivalent conditions for WD and WPD, all for general $\mathcal{A}^{\mathfrak{M}}$ without any assumption. Thirdly, we prove that for a labeled weighted automaton over monoid $(\mathbb{Q}^k,+)$ (denoted by $\mathcal{A}^{\mathbb{Q}^k}$), its concurrent composition, observer, and detector can be computed in NP, $2$-EXPTIME, and $2$-EXPTIME, respectively, by developing novel connections between $\mathcal{A}^{\mathbb{Q}^k}$ and the NP-complete exact path length problem (proved by [Nyk\"{a}nen and Ukkonen, 2002]) and a subclass of Presburger arithmetic. As a result, we prove that for $\mathcal{A}^{\mathbb{Q}^k}$, SD can be verified in coNP, while SPD, WD, and WPD can be verified in $2$-EXPTIME. Finally, we prove that the problems of verifying SD and SPD of deterministic, deadlock-free, and divergence-free $\mathcal{A}^{\mathbb{N}}$ over monoid $(\mathbb{N},+)$ are both coNP-hard. The developed original methods will provide foundations for characterizing other fundamental properties (e.g., diagnosability, opacity) for $\mathcal{A}^{\mathfrak{M}}$. We also initially explore detectability in labeled timed automata, and prove that the SD verification problem is PSPACE-complete, while WD and WPD are undecidable.


title: Universal terms for holographic entanglement entropy in noncommutative Yang--Mills theory

abstract: In this paper, we derive the universal (cut-off-independent) part of the holographic entanglement entropy in the noncommutative Yang-Mills theory and examine its properties in detail. The behavior of the holographic entanglement entropy as a function of a scale of the system changes drastically between large noncommutativity and small noncommutativity. The strong subadditivity inequality for the entanglement entropies in the noncommutative Yang-Mills theory is modified in large noncommutativity. The behavior of entropic $c$-function defined by means of the entanglement entropy also changes drastically between large noncommutativity and small noncommutativity. In addition, there is a transition for the entanglement entropy in the noncommutative Yang-Mills theory at finite temperature.


title: A Blockchain Framework for Secure Task Sharing in Multi-access Edge Computing

abstract: In the context of Multi-access Edge Computing (MEC), the task sharing mechanism among edge servers is an activity of vital importance for speeding up the computing process and thereby improve user experience. The distributed resources in the form of edge servers are expected to collaborate with each other in order to boost overall performance of a MEC system. However, there are many challenges to adopt global collaboration among the edge computing server entities among which the following two are significant: ensuring trust among the servers and developing a unified scheme to enable real-time collaboration and task sharing. In this article, a blockchain framework is proposed to provide a trusted collaboration mechanism between edge servers in a MEC environment. In particular, a permissioned blockchain scheme is investigated to support a trusted design that also provides incentives for collaboration. Finally, Caliper tool and Hyperledger Fabric benchmarks are used to conduct an experimental evaluation of the proposed blockchain scheme embedded in a MEC framework.


title: Some approaches used to overcome overestimation in Deep Reinforcement Learning algorithms

abstract: Some phenomena related to statistical noise which have been investigated by various authors under the framework of deep reinforcement learning (RL) algorithms are discussed. The following algorithms are examined: the deep Q-network (DQN), double DQN, deep deterministic policy gradient (DDPG), twin-delayed DDPG (TD3), and hill climbing algorithm. First, we consider overestimation, which is a harmful property resulting from noise. Then we deal with noise used for exploration, this is the useful noise. We discuss setting the noise parameter in the TD3 for typical PyBullet environments associated with articulate bodies such as HopperBulletEnv and Walker2DBulletEnv. In the appendix, in relation to the hill climbing algorithm, another example related to noise is considered - an example of adaptive noise.


title: SenSeI: Sensitive Set Invariance for Enforcing Individual Fairness

abstract: In this paper, we cast fair machine learning as invariant machine learning. We first formulate a version of individual fairness that enforces invariance on certain sensitive sets. We then design a transport-based regularizer that enforces this version of individual fairness and develop an algorithm to minimize the regularizer efficiently. Our theoretical results guarantee the proposed approach trains certifiably fair ML models. Finally, in the experimental studies we demonstrate improved fairness metrics in comparison to several recent fair training procedures on three ML tasks that are susceptible to algorithmic bias.


title: Spin and flavor projection operators in the $SU(2N_f)$ spin-flavor group

abstract: The quadratic Casimir operator of the special unitary $SU(N)$ group is used to construct projection operators, which can decompose any of its reducible finite-dimensional representation spaces contained in the tensor product of two and three adjoint spaces into irreducible components. Although the method is general enough, it is specialized to the $SU(2N_f) \to SU(2)\otimes SU(N_f)$ spin-flavor symmetry group, which emerges in the baryon sector of QCD in the large-$N_c$ limit, where $N_f$ and $N_c$ are the numbers of light quark flavors and color charges, respectively. The approach leads to the construction of spin and flavor projection operators that can be implemented in the analysis of the $1/N_c$ operator expansion. The use of projection operators allows one to successfully project out the desired components of a given operator and subtract off those that are not needed. Some explicit examples in $SU(2)$ and $SU(3)$ are detailed.


title: Towards Differentially Private Text Representations

abstract: Most deep learning frameworks require users to pool their local data or model updates to a trusted server to train or maintain a global model. The assumption of a trusted server who has access to user information is ill-suited in many applications. To tackle this problem, we develop a new deep learning framework under an untrusted server setting, which includes three modules: (1) embedding module, (2) randomization module, and (3) classifier module. For the randomization module, we propose a novel local differentially private (LDP) protocol to reduce the impact of privacy parameter $\epsilon$ on accuracy, and provide enhanced flexibility in choosing randomization probabilities for LDP. Analysis and experiments show that our framework delivers comparable or even better performance than the non-private framework and existing LDP protocols, demonstrating the advantages of our LDP protocol.


title: A Closer Look at Invalid Action Masking in Policy Gradient Algorithms

abstract: In recent years, Deep Reinforcement Learning (DRL) algorithms have achieved state-of-the-art performance in many challenging strategy games. Because these games have complicated rules, an action sampled from the full discrete action distribution predicted by the learned policy is likely to be invalid according to the game rules (e.g., walking into a wall). The usual approach to deal with this problem in policy gradient algorithms is to "mask out" invalid actions and just sample from the set of valid actions. The implications of this process, however, remain under-investigated. In this paper, we 1) show theoretical justification for such a practice, 2) empirically demonstrate its importance as the space of invalid actions grows, and 3) provide further insights by evaluating different action masking regimes, such as removing masking after an agent has been trained using masking. The source code can be found at https://github.com/vwxyzjn/invalid-action-masking


title: Backward error analysis for variational discretisations of partial differential equations

abstract: In backward error analysis, an approximate solution to an equation is compared to the exact solution to a nearby modified equation. In numerical ordinary differential equations, the two agree up to any power of the step size. If the differential equation has a geometric property then the modified equation may share it. In this way, known properties of differential equations can be applied to the approximation. But for partial differential equations, the known modified equations are of higher order, limiting applicability of the theory. Therefore, we study symmetric solutions of discretized partial differential equations that arise from a discrete variational principle. These symmetric solutions obey infinite-dimensional functional equations. We show that these equations admit second-order modified equations which are Hamiltonian and also possess first-order Lagrangians in modified coordinates. The modified equation and its associated structures are computed explicitly for the case of rotating travelling waves in the nonlinear wave equation.


title: What's in the core of massive neutron stars?

abstract: When hadron-quark continuity is formulated in terms of a topology change at a density higher than twice the nuclear matter densiy $n_0$ the core of massive compact stars can be described in terms of quasiparticles of fractional baryon charges, behaving neither like pure baryons nor deconfined quarks. Hidden symmetries, both local gauge and pseudo-conformal (or broken scale), emerge and give rise to the long-standing quenched $g_A$ in nuclear Gamow-Teller transitions at $\sim n_0$ and to the pseudo-conformal sound velocity $v_{pcs}^2/c^2\approx 1/3$ at $\gsim 3n_0$. These properties are confronted with the recent observations in superallowed Gamow-Teller transitions and in astrophysical observations.


title: Laser propagation in a highly magnetized over-dense plasma

abstract: Propagation of right-hand circularly polarized laser into highly magnetized over-dense collisional plasma is analytically studied from basic equations. Highly magnetized plasma with density of 10^23 cm^-3 is efficiently heated from 100 eV to 1 keV within depth of around 20 \mu{m} in one nanosecond by Nd:YAG laser with moderate irradiance of around 10^14 Wcm^-2.


title: Born's rule from almost nothing

abstract: We here put forward a simple argument for Born's rule based on the requirement that the probability distribution should not be a function of the number of degrees of freedom.


title: Black shells and naked shells

abstract: We study the collapse of a thin dust shell from the point of view of the horizon dynamics. We identify the critical surfaces at which time and space coordinates interchange their roles and investigate their properties by using the formalism of trapped surfaces. We show the existence of marginally outer trapped surfaces that are associated with the presence of quasi-local horizons. A particular shell configuration that avoids the formation of horizons is interpreted as naked shell.


title: Cost Sharing Security Information with Minimal Release Delay

abstract: We study a cost sharing problem derived from bug bounty programs, where agents gain utility by the amount of time they get to enjoy the cost shared information. Once the information is provided to an agent, it cannot be retracted. The goal, instead of maximizing revenue, is to pick a time as early as possible, so that enough agents are willing to cost share the information and enjoy it for a premium time period, while other agents wait and enjoy the information for free after a certain amount of release delay. We design a series of mechanisms with the goal of minimizing the maximum delay and the total delay. Under prior-free settings, our final mechanism achieves a competitive ratio of $4$ in terms of maximum delay, against an undominated mechanism. Finally, we assume some distributions of the agents' valuations, and investigate our mechanism's performance in terms of expected delays.


title: Predictive coding in balanced neural networks with noise, chaos and delays

abstract: Biological neural networks face a formidable task: performing reliable computations in the face of intrinsic stochasticity in individual neurons, imprecisely specified synaptic connectivity, and nonnegligible delays in synaptic transmission. A common approach to combatting such biological heterogeneity involves averaging over large redundant networks of $N$ neurons resulting in coding errors that decrease classically as $1/\sqrt{N}$. Recent work demonstrated a novel mechanism whereby recurrent spiking networks could efficiently encode dynamic stimuli, achieving a superclassical scaling in which coding errors decrease as $1/N$. This specific mechanism involved two key ideas: predictive coding, and a tight balance, or cancellation between strong feedforward inputs and strong recurrent feedback. However, the theoretical principles governing the efficacy of balanced predictive coding and its robustness to noise, synaptic weight heterogeneity and communication delays remain poorly understood. To discover such principles, we introduce an analytically tractable model of balanced predictive coding, in which the degree of balance and the degree of weight disorder can be dissociated unlike in previous balanced network models, and we develop a mean field theory of coding accuracy. Overall, our work provides and solves a general theoretical framework for dissecting the differential contributions neural noise, synaptic disorder, chaos, synaptic delays, and balance to the fidelity of predictive neural codes, reveals the fundamental role that balance plays in achieving superclassical scaling, and unifies previously disparate models in theoretical neuroscience.


title: Cointegration in large VARs

abstract: The paper analyses cointegration in vector autoregressive processes (VARs) for the cases when both the number of coordinates, $N$, and the number of time periods, $T$, are large and of the same order. We propose a way to examine a VAR of order $1$ for the presence of cointegration based on a modification of the Johansen likelihood ratio test. The advantage of our procedure over the original Johansen test and its finite sample corrections is that our test does not suffer from over-rejection. This is achieved through novel asymptotic theorems for eigenvalues of matrices in the test statistic in the regime of proportionally growing $N$ and $T$. Our theoretical findings are supported by Monte Carlo simulations and an empirical illustration. Moreover, we find a surprising connection with multivariate analysis of variance (MANOVA) and explain why it emerges.


title: Influence of Yb3+on the structural, electrical and optical properties of sol-gel synthesized Ni-Zn nanoferrites

abstract: Polycrystalline Yb substituted NiZn nanoferrites with the compositions of Ni0.5Zn0.5YbxFe2-xO4 (x= 0.00, 0.04, 0.08, 0.12, 0.16 and 0.20) have been synthesized using sol gel auto combustion technique. Single phase cubic spinel structure has been confirmed by the X ray diffraction (XRD) patterns. Larger lattice constants of the compositions are found with increasing Yb3+ concentration while the average grain size (52 to 18 nm) has noticeable decrease as Yb3+ content is increased. The presence of all existing elements as well as the purity of the samples has also been confirmed from energy dispersive X ray spectroscopic (EDS) analysis. Frequency dependent dielectric constant, dielectric loss, dielectric relaxation time, AC and DC resistivity of the compositions have also been examined at room temperature. The DC resistivity value is found in the order of 10 to power 10 (omega-cm) which is at least four orders greater than the ferrites prepared by conventional method. This larger value of resistivity attributes due to very small grain size and successfully explained using the Verwey and deBoer hopping conduction model. The contribution of grain and grain boundary resistance has been elucidated using Cole Cole plot. The study of temperature dependent DC resistivity confirms the semiconducting nature of all titled compositions wherein bandgap (optical) increases from 2.73 eV to 3.25 eV with the increase of Yb content. The high value of resistivity is of notable achievement for the compositions that make them a potential candidate for implication in the high frequency applications where reduction of eddy current loss is highly required.


title: Ferroelectricity-induced multiorbital odd-frequency superconductivity in SrTiO$_3$

abstract: We demonstrate that SrTiO$_3$ can be a platform for observing the bulk odd-frequency superconducting state owing to the multiorbital/multiband nature. We consider a three-orbital tight-binding model for SrTiO$_3$ in the vicinity of a ferroelectric critical point. Assuming an intraorbital spin-singlet $s$-wave superconducting order parameter, it is shown that the odd-frequency pair correlations are generated due to the intrinsic LS coupling which leads to the local orbital mixing. Furthermore, we show the existence of additional odd-frequency pair correlations in the ferroelectric phase, which is induced by an odd-parity orbital hybridization term proportional to the ferroelectric order parameter. We also perform a group theoretical classification of the odd-frequency pair amplitudes based on the fermionic and space group symmetries of the system. The classification table enables us to predict dominant components of the odd-frequency pair correlations based on the symmetry of the normal state Hamiltonian that we take into account. Furthermore, we show that experimental signatures of the odd-parity orbital hybridization, which is an essential ingredient for the ferroelectricity-induced odd-frequency pair correlations, can be observed in the spectral functions and density of states.


title: A linear time algorithm for constructing orthogonal floor plans with minimum number of bends

abstract: Let G = (V, E) be a planar triangulated graph (PTG) having every face triangular. A rectilinear dual or an orthogonal floor plan (OFP) of G is obtained by partitioning a rectangle into \mid V \mid rectilinear regions (modules) where two modules are adjacent if and only if there is an edge between the corresponding vertices in G. In this paper, a linear-time algorithm is presented for constructing an OFP for a given G such that the obtained OFP has B_{min} bends, where a bend in a concave corner in an OFP. Further, it has been proved that at least B_{min} bends are required to construct an OFP for G, where \rho - 2 \leq B_{min} \leq \rho + 1 and \rho is the sum of the number of leaves of the containment tree of G and the number of K_4 (4-vertex complete graph) in G.


title: The Jacobson topology of the primitive ideal space of self-similar k-graph C*-algebras

abstract: We describe the Jacobson topology of the primitive ideal space of self-similar k-graph C*-algebras under certain conditions.


title: Revenue Maximizing Markets for Zero-Day Exploits

abstract: Markets for zero-day exploits (software vulnerabilities unknown to the vendor) have a long history and a growing popularity. We study these markets from a revenue-maximizing mechanism design perspective. We first propose a theoretical model for zero-day exploits markets. In our model, one exploit is being sold to multiple buyers. There are two kinds of buyers, which we call the defenders and the offenders. The defenders are buyers who buy vulnerabilities in order to fix them (e.g., software vendors). The offenders, on the other hand, are buyers who intend to utilize the exploits (e.g., national security agencies and police). Our model is more than a single-item auction. First, an exploit is a piece of information, so one exploit can be sold to multiple buyers. Second, buyers have externalities. If one defender wins, then the exploit becomes worthless to the offenders. Third, if we disclose the details of the exploit to the buyers before the auction, then they may leave with the information without paying. On the other hand, if we do not disclose the details, then it is difficult for the buyers to come up with their private valuations. Considering the above, our proposed mechanism discloses the details of the exploit to all offenders before the auction. The offenders then pay to delay the exploit being disclosed to the defenders.


title: Optimizing Affine Maximizer Auctions via Linear Programming: an Application to Revenue Maximizing Mechanism Design for Zero-Day Exploits Markets

abstract: Optimizing within the affine maximizer auctions (AMA) is an effective approach for revenue maximizing mechanism design. The AMA mechanisms are strategy-proof and individually rational (if the agents' valuations for the outcomes are nonnegative). Every AMA mechanism is characterized by a list of parameters. By focusing on the AMA mechanisms, we turn mechanism design into a value optimization problem, where we only need to adjust the parameters. We propose a linear programming based heuristic for optimizing within the AMA family. We apply our technique to revenue maximizing mechanism design for zero-day exploit markets. We show that due to the nature of the zero-day exploit markets, if there are only two agents (one offender and one defender), then our technique generally produces a near optimal mechanism: the mechanism's expected revenue is close to the optimal revenue achieved by the optimal strategy-proof and individually rational mechanism (not necessarily an AMA mechanism).


title: Perigee: Efficient Peer-to-Peer Network Design for Blockchains

abstract: A key performance metric in blockchains is the latency between when a transaction is broadcast and when it is confirmed (the so-called, confirmation latency). While improvements in consensus techniques can lead to lower confirmation latency, a fundamental lower bound on confirmation latency is the propagation latency of messages through the underlying peer-to-peer (p2p) network (inBitcoin, the propagation latency is several tens of seconds). The de facto p2p protocol used by Bitcoin and other blockchains is based on random connectivity: each node connects to a random subset of nodes. The induced p2p network topology can be highly suboptimal since it neglects geographical distance, differences in bandwidth, hash-power and computational abilities across peers. We present Perigee, a decentralized algorithm that automatically learns an efficient p2p topology tuned to the aforementioned network heterogeneities, purely based on peers' interactions with their neighbors. Motivated by the literature on the multi-armed bandit problem, Perigee optimally balances the tradeoff between retaining connections to known well-connected neighbors, and exploring new connections to previously-unseen neighbors. Experimental evaluations show that Perigee reduces the latency to broadcast by $33\%$. Lastly Perigee is simple, computationally lightweight, adversary-resistant, and compatible with the selfish interests of peers, making it an attractive p2p protocol for blockchains.


title: Entanglement dynamics and fractional quantum state transport in the spin-$\frac{1}{2}$ triangular plaquette

abstract: The dramatic growth of research areas within the province of quantum state transmission (QST) is rapidly accelerating. An important insight to understand the process of QST can be fulfilled by considering the dynamical behavior of its entanglement content. One well-established approach to continuously transfer quantum states is utilizing spin structures. Here, from the view of entanglement propagation, we disclose the signature of fractional QST possibilities. In the present work, we proposed a form of spin-$\frac{1}{2}$ triangular plaquette whose Hamiltonian entails the spin-orbit coupling on the rungs and exchange interaction over the legs. The feature of such a system is that the time instants of QST emerge in a discrete fashion, thereby the values of exchange interactions associated with these moments behave fractionally. Importantly, it is found that for special values of magnetic interaction, QST has singularity i.e., the entanglement propagation is forbidden. In addition, the finite-size nature of this system makes it possible for us to read the nexus between time crystallinity and symmetry breaking. The development of our knowledge about time crystalline symmetry and its breaking helps us to understand the defined concept and fundamental physics of this phenomenon.


title: Identifying group contributions in NBA lineups with spectral analysis

abstract: We address the question of how to quantify the contributions of groups of players to team success. Our approach is based on spectral analysis, a technique from algebraic signal processing, which has several appealing features. First, our analysis decomposes the team success signal into components that are naturally understood as the contributions of player groups of a given size: individuals, pairs, triples, fours, and full five-player lineups. Secondly, the decomposition is orthogonal so that contributions of a player group can be thought of as pure: Contributions attributed to a group of three, for example, have been separated from the lower-order contributions of constituent pairs and individuals. We present detailed a spectral analysis using NBA play-by-play data and show how this can be a practical tool in understanding lineup composition and utilization.


title: Derivative Interpolating Subspace Frameworks for Nonlinear Eigenvalue Problems

abstract: We first consider the problem of approximating a few eigenvalues of a rational matrix-valued function closest to a prescribed target. It is assumed that the proper rational part of the rational matrix-valued function is expressed in the transfer function form $H(s) = C (sI - A)^{-1} B$, where the middle factor is large, whereas the number of rows of $C$ and the number of columns of $B$ are equal and small. We propose a subspace framework that performs two-sided or one-sided projections on the state-space representation of $H(\cdot)$, commonly employed in model reduction and giving rise to a reduced transfer function. At every iteration, the projection subspaces are expanded to attain Hermite interpolation conditions at the eigenvalues of the reduced transfer function closest to the target, which in turn leads to a new reduced transfer function. We prove in theory that, when a sequence of eigenvalues of the reduced transfer functions converges to an eigenvalue of the full problem, it converges at least at a quadratic rate. In the second part, we extend the proposed framework to locate the eigenvalues of a general square large-scale nonlinear meromorphic matrix-valued function $T(\cdot)$, where we exploit a representation $\mathcal{R}(s) = C(s) A(s)^{-1} B(s) - D(s)$ defined in terms of the block components of $T(\cdot)$. The numerical experiments illustrate that the proposed framework is reliable in locating a few eigenvalues closest to the target point, and that, with respect to runtime, it is competitive to established methods for nonlinear eigenvalue problems.


title: The uniqueness of dynamic Groves mechanisms on restricted domains

abstract: This paper examines necessary and sufficient conditions for the uniqueness of dynamic Groves mechanisms when the domain of valuations is restricted. Our approach is to appropriately define the total valuation function, which is the expected discounted sum of each period's valuation function from the allocation and thus a dynamic counterpart of the static valuation function, and then to port the results for static Groves mechanisms to the dynamic setting.


title: Robust superconductivity intertwined with charge density wave and disorder in Pd-intercalated ErTe$_3$

abstract: Pd-intercalated ErTe$_3$ is studied as a model system to explore the effect of "intertwined" superconducting and charge density wave (CDW) orders. Despite the common wisdom that superconductivity emerges only when CDW is suppressed, we present data from STM and AC susceptibility measurements that show no direct competition between CDW order and superconductivity. Both coexist over most of the intercalation range, with uniform superconductivity over length scales that exceed the superconducting coherence length. This is despite persisting short-range CDW order and increased scattering from the Pd intercalation. While superconductivity is insensitive to local defects in either of the bi-directional CDWs, vestiges of the Fermi-level distortions are observed in the properties of the superconducting state.


title: On a three dimensional Compton scattering tomography system with fixed source

abstract: Compton scatter tomography is an emerging technique with attractive applications in several fields in imaging such as non-destructive testing and medical scanning. In this paper, we introduce a novel modality in three dimensions with a fixed source and a single detector that moves on a spherical surface. We also study the Radon transform modeling the data that consists in integrals on toric surfaces. Using spherical harmonics we arrive to a generalized Abel s type equation connecting the coefficients of the expansion of the data with those of the function. We show the uniqueness of its solution and so the invertibility of the toric Radon transform. We illustrate this through numerical reconstructions in three dimensions using Tikhonov regularization. A preliminary version of the algorithm for discrete spherical harmonic expansion is available in a public code repository.


title: Estimating Asset Class Health Indices in Power Systems

abstract: Power systems have widely adopted the concept of health index to describe asset health statuses and choose proper asset management actions. The existing application and research works have been focused on determining the current or near-future asset health index based on the current condition data. For preventative asset management, it is highly desirable to estimate asset health indices, especially for asset classes in which the assets share similar electrical and/or mechanical characteristics. This important problem has not been sufficiently addressed. This paper proposes a sequence learning based method to estimate health indices for power asset classes. A comprehensive data-driven method based on sequence learning is presented and solid tests are conducted based on real utility data. The proposed method revealed superior performance with comparison to other Estimation methods.


title: Neural Machine Translation for Multilingual Grapheme-to-Phoneme Conversion

abstract: Grapheme-to-phoneme (G2P) models are a key component in Automatic Speech Recognition (ASR) systems, such as the ASR system in Alexa, as they are used to generate pronunciations for out-of-vocabulary words that do not exist in the pronunciation lexicons (mappings like "e c h o" to "E k oU"). Most G2P systems are monolingual and based on traditional joint-sequence based n-gram models [1,2]. As an alternative, we present a single end-to-end trained neural G2P model that shares same encoder and decoder across multiple languages. This allows the model to utilize a combination of universal symbol inventories of Latin-like alphabets and cross-linguistically shared feature representations. Such model is especially useful in the scenarios of low resource languages and code switching/foreign words, where the pronunciations in one language need to be adapted to other locales or accents. We further experiment with word language distribution vector as an additional training target in order to improve system performance by helping the model decouple pronunciations across a variety of languages in the parameter space. We show 7.2% average improvement in phoneme error rate over low resource languages and no degradation over high resource ones compared to monolingual baselines.


title: Mobile Robot Path Planning in Dynamic Environments: A Survey

abstract: There are many challenges for robot navigation in densely populated dynamic environments. This paper presents a survey of the path planning methods for robot navigation in dense environments. Particularly, the path planning in the navigation framework of mobile robots is composed of global path planning and local path planning, with regard to the planning scope and the executability. Within this framework, the recent progress of the path planning methods is presented in the paper, while examining their strengths and weaknesses. Notably, the recently developed Velocity Obstacle method and its variants that serve as the local planner are analyzed comprehensively. Moreover, as a model-free method that is widely used in current robot applications, the reinforcement learning-based path planning algorithms are detailed in this paper.


title: A solution formula and the R-boundedness for the generalized Stokes resolvent problem in an infinite layer with Neumann boundary condition

abstract: We consider the generalized Stokes resolvent problem in an infinite layer with Neumann boundary conditions. This problem arises from a free boundary problem describing the motion of incompressible viscous one-phase fluid flow without surface tension in an infinite layer bounded both from above and from below by free surfaces. We derive a new exact solution formula to the generalized Stokes resolvent problem and prove the $\mathscr{R}$-boundedness of the solution operator families with resolvent parameter $\lambda$ varying in a sector $\Sigma_{\varepsilon,\gamma_0}$ for any $\gamma_0>0$ and $0<\varepsilon<\pi/2$, where $\Sigma_{\varepsilon,\gamma_0} =\{ \lambda\in\mathbb{C}\setminus\{0\} \mid |\arg\lambda|\leq\pi-\varepsilon, \ |\lambda|>\gamma_0 \}$. As applications, we obtain the maximal $L_p$-$L_q$ regularity for the nonstationary Stokes problem and then establish the well-posedness locally in time of the nonlinear free boundary problem mentioned above in $L_p$-$L_q$ setting. We make full use of the solution formula to take $\gamma_0>0$ arbitrarily, while in general domains we only know the $\mathscr{R}$-boundedness for $\gamma_0\gg1$ from the result by Shibata. As compared with the case of Neumann-Dirichlet boundary condition studied by Saito, analysis is even harder on account of higher singularity of the symbols in the solution formula.


title: Distributed multi-view multi-target tracking based on CPHD filtering

abstract: This paper addresses distributed multi-target tracking (DMTT) over a network of sensors having different fields-of-view (FoVs). Specifically, a cardinality probability hypothesis density (CPHD) filter is run at each sensor node. Due to the fact that each sensor node has a limited FoV, the commonly adopted fusion methods become unreliable. In fact, the monitored area of multiple sensor nodes consists of several parts that are either exclusive of a single node, i.e. exclusive FoVs (eFoVs) or common to multiple (at least two) nodes, i.e. common FoVs (cFoVs). In this setting, the crucial issue is how to account for this different information sets in the fusion rule. The problem is particularly challenging when the knowledge of the FoVs is unreliable, for example because of the presence of obstacles and target misdetection, or when the FoVs are time-varying. Considering these issues, we propose an effective fusion algorithm for the case of unknown FoVs, where: i) the intensity function is decomposed into multiple sub-intensities/groups by means of a clustering algorithm; ii) the corresponding cardinality distribution is reconstructed by approximating the target random finite set (RFS) as multi-Bernoulli; and iii) fusion is performed in parallel according to either generalized covariance intersection (GCI) or arithmetic average (AA) rule. Simulation experiments are provided to demonstrate the effectiveness of the proposed approach.


title: A Simple Approach to Case-Based Reasoning in Knowledge Bases

abstract: We present a surprisingly simple yet accurate approach to reasoning in knowledge graphs (KGs) that requires \emph{no training}, and is reminiscent of case-based reasoning in classical artificial intelligence (AI). Consider the task of finding a target entity given a source entity and a binary relation. Our non-parametric approach derives crisp logical rules for each query by finding multiple \textit{graph path patterns} that connect similar source entities through the given relation. Using our method, we obtain new state-of-the-art accuracy, outperforming all previous models, on NELL-995 and FB-122. We also demonstrate that our model is robust in low data settings, outperforming recently proposed meta-learning approaches


title: ARES III: Unveiling the Two Faces of KELT-7 b with HST WFC3

abstract: We present the analysis of the hot-Jupiter KELT-7b using transmission and emission spectroscopy from the Hubble Space Telescope (HST), both taken with the Wide Field Camera 3 (WFC3). Our study uncovers a rich transmission spectrum which is consistent with a cloud-free atmosphere and suggests the presence of H2O and H-. In contrast, the extracted emission spectrum does not contain strong absorption features and, although it is not consistent with a simple blackbody, it can be explained by a varying temperature-pressure profile, collision induced absorption (CIA) and H-. KELT-7 b had also been studied with other space-based instruments and we explore the effects of introducing these additional datasets. Further observations with Hubble, or the next generation of space-based telescopes, are needed to allow for the optical opacity source in transmission to be confirmed and for molecular features to be disentangled in emission.


title: SRFlow: Learning the Super-Resolution Space with Normalizing Flow

abstract: Super-resolution is an ill-posed problem, since it allows for multiple predictions for a given low-resolution image. This fundamental fact is largely ignored by state-of-the-art deep learning based approaches. These methods instead train a deterministic mapping using combinations of reconstruction and adversarial losses. In this work, we therefore propose SRFlow: a normalizing flow based super-resolution method capable of learning the conditional distribution of the output given the low-resolution input. Our model is trained in a principled manner using a single loss, namely the negative log-likelihood. SRFlow therefore directly accounts for the ill-posed nature of the problem, and learns to predict diverse photo-realistic high-resolution images. Moreover, we utilize the strong image posterior learned by SRFlow to design flexible image manipulation techniques, capable of enhancing super-resolved images by, e.g., transferring content from other images. We perform extensive experiments on faces, as well as on super-resolution in general. SRFlow outperforms state-of-the-art GAN-based approaches in terms of both PSNR and perceptual quality metrics, while allowing for diversity through the exploration of the space of super-resolved solutions.


title: Convex Incremental Dissipativity Analysis of Nonlinear Systems - Extended version

abstract: Efficiently computable stability and performance analysis of nonlinear systems becomes increasingly more important in practical applications. Dissipativity can express stability and performance jointly, but existing results are limited to the regions around the equilibrium points of these nonlinear systems. The incremental framework, based on the convergence of the system trajectories, removes this limitation. We investigate how stability and performance characterizations of nonlinear systems in the incremental framework are linked to dissipativity, and how general performance characterization beyond the $\mathcal{L}_2$-gain concept can be understood in this framework. This paper presents a matrix inequalities-based convex incremental dissipativity analysis for nonlinear systems via quadratic storage and supply functions. The proposed dissipativity analysis links the notions of incremental, differential, and general dissipativity. We show that through differential dissipativity, incremental and general dissipativity of the nonlinear system can be guaranteed. These results also lead to the incremental extensions of the $\mathcal{L}_2$-gain, the generalized $\mathcal{H}_2$-norm, the $\mathcal{L}_\infty$-gain, and passivity of nonlinear systems.


title: Measuring the integrated Sachs-Wolfe effect from the low-density regions of the universe

abstract: The integrated Sachs-Wolfe (ISW) effect is caused by the decay of cosmological gravitational potential, and is therefore a unique probe of dark energy. However, its robust detection is still problematic. Various tensions between different data sets, different large scale structure (LSS) tracers, and between data and the $\Lambda$CDM theory prediction, exist. We propose a novel method of ISW measurement by cross correlating CMB and the LSS traced by "low-density-position" (LDP, \citet{2019ApJ...874....7D}). It isolates the ISW effect generated by low-density regions of the universe, but insensitive to selection effects associated with voids. We apply it to the DR8 galaxy catalogue of the DESI Legacy imaging surveys, and obtain the LDPs at $z\leq 0.6$ over $\sim$ 20000 $deg^2$ sky coverage. We then cross correlate with the Planck temperature map, and detect the ISW effect at $3.2\sigma$. We further compare the measurement with numerical simulations of the concordance $\Lambda$CDM cosmology, and find the ISW amplitude parameter $A_{ISW}=1.14\pm0.38$ when we adopt a LDP definition radius $R_s=3^{'}$, fully consistent with the prediction of the standard $\Lambda$CDM cosmology ($A_{ISW}=1$). This agreement with $\Lambda$CDM cosmology holds for all the galaxy samples and $R_s$ that we have investigated. Furthermore, the S/N is comparable to that of galaxy ISW measurement. These results demonstrate the LDP method as a competitive alternative to existing ISW measurement methods, and provide independent checks to existing tensions.


title: On extension of overconvergent log isocrystals on log smooth varieties

abstract: By works of Kedlaya and Shiho, it is known that, for a smooth variety $\overline{X}$ over a field of positive characteristic and its simple normal crossing divisor $Z$, an overconvergent isocrystal on the compliment of $Z$ satisfying a certain monodromy condition can be extended to a convergent log isocrystal on $\left(\overline{X}, \mathcal{M}_Z\right)$, where $\mathcal{M}_Z$ is the log structure associated to $Z$. We prove a generalization of this result: for a log smooth variety $\left(\overline{X},\mathcal{M}\right)$ satisfying some conditions, an overconvergent log isocrystal on the trivial locus of a direct summand of $\mathcal{M}$ satisfying a certain monodromy condition can be extended to a convergent log isocrystal on $\left(\overline{X}, \mathcal{M}\right)$.


title: Favorable Propagation with User Cluster Sharing

abstract: We examine the favorable propagation (FP) behavior of a massive multi-user multiple-input-multiple-output (MU-MIMO) system equipped with a uniform linear array (ULA), horizontal uniform rectangular array (HURA) or uniform circular array (UCA) using a ray-based channel model with user cluster sharing. We demonstrate FP for these systems and provide analytical expressions for the mean-squared distance (MSD) of the FP metric from its large-system limit for each of the aforementioned topologies. We use these results to examine the detrimental effects of user cluster sharing on FP behavior, and demonstrate the superior performance of the ULA as compared to the UCA and the HURA with equal inter-element spacing. Although cluster sharing has a negative impact on FP for finite arrays, we additionally examine the asymptotic rate of convergence to FP as a function of array size and show that this rate is unchanged with or without user cluster sharing.


title: Signature of $N^{\star}$ resonance in mass spectrum of the $K\bar{K}N$ decay channels

abstract: Three-body calculations of $I=\frac{1}{2}$, $J^{\pi}=\frac{1}{2}^{+}$ state of $K\bar{K}N$ system were performed. Using separable potentials for two-body interactions in the Faddeev equation, different reaction process for $K\bar{K}N$ three-body system were studied. Within this method, the $\pi\Sigma{K}$ and $\pi\eta{N}$ mass spectra were extracted. Different types of $\bar{K}N-\pi\Sigma$ potentials based on phenomenological and chiral SU(3) approach were used and the dependence of the mass spectra to the $\bar{K}N$ model of interaction were studied. It was shown that the $\pi\Sigma{K}$ and $\pi\eta{N}$ mass spectra could be a useful tool to study the properties of the $N^{\star}$ resonance.


title: Cameron-Liebler Line Classes with parameter $x=\frac{(q+1)^2}{3}$

abstract: Cameron-Liebler line classes were introduced in \cite{CL}, and motivated by a question about orbits of collineation groups of $\PG(3,q)$. These line classes have appeared in different contexts under disguised names such as Boolean degree one functions, regular codes of covering radius one, and tight sets. In this paper we construct an infinite family of Cameron-Liebler line classes in $\PG(3,q)$ with new parameter $x=(q+1)^2/3$ for all prime powers $q$ congruent to 2 modulo 3. The examples obtained when $q$ is an odd power of two represent the first infinite family of Cameron-Liebler line classes in $\PG(3,q)$, $q$ even.


title: Modeling Helping Behavior in Emergency Evacuations Using Volunteer's Dilemma Game

abstract: People often help others who are in trouble, especially in emergency evacuation situations. For instance, during the 2005 London bombings, it was reported that evacuees helped injured persons to escape the place of danger. In terms of game theory, it can be understood that such helping behavior provides a collective good while it is a costly behavior because the volunteers spend extra time to assist the injured persons in case of emergency evacuations. In order to study the collective effects of helping behavior in emergency evacuations, we have performed numerical simulations of helping behavior among evacuees in a room evacuation scenario. Our simulation model is based on the volunteer's dilemma game reflecting volunteering cost. The game theoretic model is coupled with a social force model to understand the relationship between the spatial and social dynamics of evacuation scenarios. By systematically changing the cost parameter of helping behavior, we observed different patterns of collective helping behaviors and these collective patterns are summarized with a phase diagram.


title: Searching towards Class-Aware Generators for Conditional Generative Adversarial Networks

abstract: Conditional Generative Adversarial Networks (cGAN) were designed to generate images based on the provided conditions, \eg, class-level distributions. However, existing methods have used the same generating architecture for all classes. This paper presents a novel idea that adopts NAS to find a distinct architecture for each class. The search space contains regular and class-modulated convolutions, where the latter is designed to introduce class-specific information while avoiding the reduction of training data for each class generator. The search algorithm follows a weight-sharing pipeline with mixed-architecture optimization so that the search cost does not grow with the number of classes. To learn the sampling policy, a Markov decision process is embedded into the search algorithm and a moving average is applied for better stability. We evaluate our approach on CIFAR10 and CIFAR100. Besides achieving better image generation quality in terms of FID scores, we discover several insights that are helpful in designing cGAN models. Code is available at https://github.com/PeterouZh/NAS_cGAN.


title: Automatic Domain Adaptation Outperforms Manual Domain Adaptation for Predicting Financial Outcomes

abstract: In this paper, we automatically create sentiment dictionaries for predicting financial outcomes. We compare three approaches: (I) manual adaptation of the domain-general dictionary H4N, (ii) automatic adaptation of H4N and (iii) a combination consisting of first manual, then automatic adaptation. In our experiments, we demonstrate that the automatically adapted sentiment dictionary outperforms the previous state of the art in predicting the financial outcomes excess return and volatility. In particular, automatic adaptation performs better than manual adaptation. In our analysis, we find that annotation based on an expert's a priori belief about a word's meaning can be incorrect -- annotation should be performed based on the word's contexts in the target domain instead.


title: Computationally efficient optimal control for unstable power system models

abstract: In this article, the focus is mainly on gaining the optimal control for the unstable power system models and stabilizing them through the Riccati-based feedback stabilization process with sparsity-preserving techniques. We are to find the solution of the Continuous-time Algebraic Riccati Equations (CAREs) governed from the unstable power system models derived from the Brazilian Inter-Connected Power System (BIPS) models, which are large-scale sparse index-1 descriptor systems. We propose the projection-based Rational Krylov Subspace Method (RKSM) for the iterative computation of the solution of the CAREs. The novelties of RKSM are sparsity-preserving computations and the implementation of time-convenient adaptive shift parameters. We modify the Low-Rank Cholesky-Factor integrated Alternating Direction Implicit (LRCF-ADI) technique based nested iterative Kleinman-Newton (KN) method to a sparse form and adjust this to solve the desired CAREs. We compare the results achieved by the Kleinman-Newton method with that of using the RKSM. The applicability and adaptability of the proposed techniques are justified numerically with MATLAB simulations. Transient behaviors of the target models are investigated for comparative analysis through the tabular and graphical approaches.


title: Globally-convergent Iteratively Reweighted Least Squares for Robust Regression Problems

abstract: We provide the first global model recovery results for the IRLS (iteratively reweighted least squares) heuristic for robust regression problems. IRLS is known to offer excellent performance, despite bad initializations and data corruption, for several parameter estimation problems. Existing analyses of IRLS frequently require careful initialization, thus offering only local convergence guarantees. We remedy this by proposing augmentations to the basic IRLS routine that not only offer guaranteed global recovery, but in practice also outperform state-of-the-art algorithms for robust regression. Our routines are more immune to hyperparameter misspecification in basic regression tasks, as well as applied tasks such as linear-armed bandit problems. Our theoretical analyses rely on a novel extension of the notions of strong convexity and smoothness to weighted strong convexity and smoothness, and establishing that sub-Gaussian designs offer bounded weighted condition numbers. These notions may be useful in analyzing other algorithms as well.


title: Some measures for fermionic entanglement in the cosmological de Sitter spacetime

abstract: We investigate two measures of quantum correlations and entanglement, namely the violation of the Bell-Mermin-Klyshko inequalities and the quantum discord, for Dirac fermions in the cosmological de Sitter background of dimension four. The BMK violation is focussed on the vacuum for two and four mode squeezed states and it is shown to increase with the number of modes. For the quantum discord, we investigate a maximally entangled in-vacuum state. Qualitative similarities as well as differences of our results with that of different coordinatisations of de Sitter in the context of scalar and fermionic field theory is discussed.


title: Dimension estimates for the boundary of planar Sobolev extension domains

abstract: We prove an asymptotically sharp dimension upper-bound for the boundary of bounded simply-connected planar Sobolev $W^{1,p}$-extension domains via the weak mean porosity of the boundary. The sharpness of our estimate is shown by examples.


title: Hybrid Stimulated Raman Scattering -- Two Plasmon Decay Instability and 3/2 Harmonic in Steep-Gradient Femtosecond Plasmas

abstract: The hybrid Stimulated Raman Scattering - Two Plasmon Decay instability had shown to play the dominant role for plasma waves excitation and energy absorption at interaction of very intense femtosecond obliquely incident $p$-polarized laser pulse (intensity $10^{17}-5\cdot10^{19}$ W/cm$^2$) with a steep gradient ($L\sim \lambda$) plasma near the quarter critical surface, i.e. within the typical for modern experiments conditions. The plasmons are excited as two wave packets confined near this surface with very wide $\approx \omega_0/c$ spatial spectra along its normal. Hence, phase matching conditions for 3/2 harmonic generation fulfill immediately and include new mechanism coming from high harmonics of plasma waves. The latter mechanism have been proved experimentally observing an additional 3/2 harmonic beam.


title: Deep Residual 3D U-Net for Joint Segmentation and Texture Classification of Nodules in Lung

abstract: In this work we present a method for lung nodules segmentation, their texture classification and subsequent follow-up recommendation from the CT image of lung. Our method consists of neural network model based on popular U-Net architecture family but modified for the joint nodule segmentation and its texture classification tasks and an ensemble-based model for the follow-up recommendation. This solution was evaluated within the LNDb medical imaging challenge and produced the best nodule segmentation result on the final leaderboard.


title: On Integrated Access and Backhaul Networks: Current Status and Potentials

abstract: In this paper, we introduce and study the potentials and challenges of integrated access and backhaul (IAB) as one of the promising techniques for evolving 5G networks. We study IAB networks from different perspectives. We summarize the recent Rel-16 as well as the upcoming Rel-17 3GPP discussions on IAB, and highlight the main IAB-specific agreements on different protocol layers. Also, concentrating on millimeter wave-based communications, we evaluate the performance of IAB networks in both dense and suburban areas. Using a finite stochastic geometry model, with random distributions of IAB nodes as well as user equipments (UEs) in a finite region, we study the service coverage rate defined as the probability of the event that the UEs' minimum rate requirements are satisfied. We present comparisons between IAB and hybrid IAB/fiber-backhauled networks where a part or all of the small base stations are fiber-connected. Finally, we study the robustness of IAB networks to weather and various deployment conditions and verify their effects, such as blockage, tree foliage, rain as well as antenna height/gain on the coverage rate of IAB setups, as the key differences between the fiber-connected and IAB networks. As we show, IAB is an attractive approach to enable the network densification required by 5G and beyond.


title: Stratified stochastic variational inference for high-dimensional network factor model

abstract: There has been considerable recent interest in Bayesian modeling of high-dimensional networks via latent space approaches. When the number of nodes increases, estimation based on Markov Chain Monte Carlo can be extremely slow and show poor mixing, thereby motivating research on alternative algorithms that scale well in high-dimensional settings. In this article, we focus on the latent factor model, a widely used approach for latent space modeling of network data. We develop scalable algorithms to conduct approximate Bayesian inference via stochastic optimization. Leveraging sparse representations of network data, the proposed algorithms show massive computational and storage benefits, and allow to conduct inference in settings with thousands of nodes.


title: BoXHED: Boosted eXact Hazard Estimator with Dynamic covariates

abstract: The proliferation of medical monitoring devices makes it possible to track health vitals at high frequency, enabling the development of dynamic health risk scores that change with the underlying readings. Survival analysis, in particular hazard estimation, is well-suited to analyzing this stream of data to predict disease onset as a function of the time-varying vitals. This paper introduces the software package BoXHED (pronounced 'box-head') for nonparametrically estimating hazard functions via gradient boosting. BoXHED 1.0 is a novel tree-based implementation of the generic estimator proposed in Lee, Chen, Ishwaran (2017), which was designed for handling time-dependent covariates in a fully nonparametric manner. BoXHED is also the first publicly available software implementation for Lee, Chen, Ishwaran (2017). Applying BoXHED to cardiovascular disease onset data from the Framingham Heart Study reveals novel interaction effects among known risk factors, potentially resolving an open question in clinical literature.


title: The Square Frobenius Number

abstract: Let $S=\left\langle s_1,\ldots,s_n\right\rangle$ be a numerical semigroup generated by the relatively prime positive integers $s_1,\ldots,s_n$. Let $k\geqslant 2$ be an integer. In this paper, we consider the following $k$-power variant of the Frobenius number of $S$ defined as $${}^{k\!}r\!\left(S\right):= \text{ the largest } k \text{-power integer not belonging to } S.$$In this paper, we investigate the case $k=2$. We give an upper bound for ${}^{2\!}r\!\left(S_A\right)$ for an infinite family of semigroups $S_A$ generated by {\em arithmetic progressions}. The latter turns out to be the exact value of ${}^{2\!}r\!\left(\left\langle s_1,s_2\right\rangle\right)$ under certain conditions. We present an exact formula for ${}^{2\!}r\!\left(\left\langle s_1,s_1+d \right\rangle\right)$ when $d=3,4$ and $5$, study ${}^{2\!}r\!\left(\left\langle s_1,s_1+1 \right\rangle\right)$ and ${}^{2\!}r\!\left(\left\langle s_1,s_1+2 \right\rangle\right)$ and put forward two relevant conjectures. We finally discuss some related questions.


title: Electrochemical Surface Modification of a 2D MoS2 Semiconductor

abstract: The surface modification of 2D semiconducting materials, such as transition metal dichalcogenides (TMDCs), is becoming important for a diverse range of applications, such as biosensing, catalysis, energy generation and energy storage. Due to the chemical inertness of their basal plane, the surface modification of 2D TMDCs is mainly limited to their defective sites, or it requires a conversion of TMDC from its semiconducting into a metallic phase. In this work, we show that the basal plane of a 2D semiconductor molybdenum disulfide (MoS2) can be modified by electrochemical grafting of aryl-diazonium salt, such as 3,5-bis(trifluoromethyl)benzenediazonium tetrafluoroborate. To investigate the applicability of this method, we perform electrografting on MoS2 nanoribbons by addressing them individually via a different electrode. High spatial selectivity of this method on the nanoscale opens the possibility for specific surface modification of neighboring 2D layers and nanostructures that are contacted by electrodes. This method could be potentially applicable to other 2D semiconducting materials that are active in the same potential window in which the electrochemical reduction of aryl diazonium salts occurs.


title: Modeling Baroque Two-Part Counterpoint with Neural Machine Translation

abstract: We propose a system for contrapuntal music generation based on a Neural Machine Translation (NMT) paradigm. We consider Baroque counterpoint and are interested in modeling the interaction between any two given parts as a mapping between a given source material and an appropriate target material. Like in translation, the former imposes some constraints on the latter, but doesn't define it completely. We collate and edit a bespoke dataset of Baroque pieces, use it to train an attention-based neural network model, and evaluate the generated output via BLEU score and musicological analysis. We show that our model is able to respond with some idiomatic trademarks, such as imitation and appropriate rhythmic offset, although it falls short of having learned stylistically correct contrapuntal motion (e.g., avoidance of parallel fifths) or stricter imitative rules, such as canon.