title: Physics-Informed Neural Networks for Nonhomogeneous Material Identification in Elasticity Imaging

abstract: We apply Physics-Informed Neural Networks (PINNs) for solving identification problems of nonhomogeneous materials. We focus on the problem with a background in elasticity imaging, where one seeks to identify the nonhomogeneous mechanical properties of soft tissue based on the full-field displacement measurements under quasi-static loading. In our model, we apply two independent neural networks, one for approximating the solution of the corresponding forward problem, and the other for approximating the unknown material parameter field. As a proof of concept, we validate our model on a prototypical plane strain problem for incompressible hyperelastic tissue. The results show that the PINNs are effective in accurately recovering the unknown distribution of mechanical properties. By employing two neural networks in our model, we extend the capability of material identification of PINNs to include nonhomogeneous material parameter fields, which enables more flexibility of PINNs in representing complex material properties.


title: Nonperturbative quantization approach for QED on the Hopf bundle

abstract: We consider the Dirac equation and Maxwell's electrodynamics in $\mathbb{R} \times S^3$ spacetime, where a three-dimensional sphere is the Hopf bundle $S^3 \rightarrow S^2$. In both cases, discrete spectra of classical solutions are obtained. Based on the solutions obtained, the quantization of free, noninteracting Dirac and Maxwell fields is carried out. The method of nonperturbative quantization of interacting Dirac and Maxwell fields is suggested. The corresponding operator equations and the infinite set of the Schwinger-Dyson equations for Green's functions is written down. To illustrate the suggested scheme of nonperturbative quantization, we write a simplified set of equations describing some physical situation. Also, we discuss the properties of quantum states and operators of interacting fields.


title: What Makes People Join Conspiracy Communities?: Role of Social Factors in Conspiracy Engagement

abstract: Widespread conspiracy theories, like those motivating anti-vaccination attitudes or climate change denial, propel collective action and bear society-wide consequences. Yet, empirical research has largely studied conspiracy theory adoption as an individual pursuit, rather than as a socially mediated process. What makes users join communities endorsing and spreading conspiracy theories? We leverage longitudinal data from 56 conspiracy communities on Reddit to compare individual and social factors determining which users join the communities. Using a quasi-experimental approach, we first identify 30K future conspiracists-(FC) and 30K matched non-conspiracists-(NC). We then provide empirical evidence of importance of social factors across six dimensions relative to the individual factors by analyzing 6 million Reddit comments and posts. Specifically in social factors, we find that dyadic interactions with members of the conspiracy communities and marginalization outside of the conspiracy communities, are the most important social precursors to conspiracy joining-even outperforming individual factor baselines. Our results offer quantitative backing to understand social processes and echo chamber effects in conspiratorial engagement, with important implications for democratic institutions and online communities.


title: On exposed functions in Bernstein spaces of functions of exponential type

abstract: For $\sigma>0$, the Bernstein space \ $B^1_{\sigma}$ consists of those $L^1(R)$\ functions whose Fourier transforms are supported by $[-\sigma,\sigma]$. Since $B^1_{\sigma}$ is separable and dual to some Banach space, the closed unit ball $D(B^1_{\sigma})$ of $B^1_{\sigma}$\ has sufficiently large sets of both exposed and strongly exposed points. Moreover, $D(B^1_{\sigma})$ coincides with the closed convex hull of its strongly exposed points. We investigate some properties of exposed points, construct several examples and obtain as corollaries the relations between the sets of exposed, strongly exposed, weak$^{\ast}$ exposed, and weak$^{\ast}$ strongly exposed points of $D(B^1_{\sigma})$.


title: Guessing Numbers and Extremal Graph Theory

abstract: For a given number of colors, $s$, the guessing number of a graph is the (base $s$) logarithm of the cardinality of the largest family of colorings of the vertex set of the graph such that the color of each vertex can be determined from the colors of the vertices in its neighborhood. This quantity is related to problems in network coding, circuit complexity and graph entropy. We study the guessing number of graphs as a graph property in the context of classic extremal questions, and its relationship to the forbidden subgraph property. We find the extremal number with respect to the property of having guessing number $\leq a$, for fixed $a$. Furthermore, we find an upper bound on the saturation number for this property, and a method to construct further saturated graphs that lie between these two extremes. We show that, for a fixed number of colors, bounding the guessing number is equivalent to forbidding a finite set of subgraphs.


title: Discovering Textual Structures: Generative Grammar Induction using Template Trees

abstract: Natural language generation provides designers with methods for automatically generating text, e.g. for creating summaries, chatbots and game content. In practise, text generators are often either learned and hard to interpret, or created by hand using techniques such as grammars and templates. In this paper, we introduce a novel grammar induction algorithm for learning interpretable grammars for generative purposes, called Gitta. We also introduce the novel notion of template trees to discover latent templates in corpora to derive these generative grammars. By using existing human-created grammars, we found that the algorithm can reasonably approximate these grammars using only a few examples. These results indicate that Gitta could be used to automatically learn interpretable and easily modifiable grammars, and thus provide a stepping stone for human-machine co-creation of generative models.


title: Uncertain Transport in Unsteady Flows

abstract: We study uncertainty in the dynamics of time-dependent flows by identifying barriers and enhancers to stochastic transport. This topological segmentation is closely related to the theory of Lagrangian coherent structures and is based on a recently introduced quantity, the diffusion barrier strength (DBS). The DBS is defined similar to the finite-time Lyapunov exponent (FTLE), but incorporates diffusion during flow integration. Height ridges of the DBS indicate stochastic transport barriers and enhancers, i.e. material surfaces that are minimally or maximally diffusive. To apply these concepts to real-world data, we represent uncertainty in a flow by a stochastic differential equation that consists of a deterministic and a stochastic component modeled by a Gaussian. With this formulation we identify barriers and enhancers to stochastic transport, without performing expensive Monte Carlo simulation and with a computational complexity comparable to FTLE. In addition, we propose a complementary visualization to convey the absolute scale of uncertainties in the Lagrangian frame of reference. This enables us to study uncertainty in real-world datasets, for example due to small deviations, data reduction, or estimated from multiple ensemble runs.


title: Attention based Writer Independent Handwriting Verification

abstract: The task of writer verification is to provide a likelihood score for whether the queried and known handwritten image samples belong to the same writer or not. Such a task calls for the neural network to make it's outcome interpretable, i.e. provide a view into the network's decision making process. We implement and integrate cross-attention and soft-attention mechanisms to capture the highly correlated and salient points in feature space of 2D inputs. The attention maps serve as an explanation premise for the network's output likelihood score. The attention mechanism also allows the network to focus more on relevant areas of the input, thus improving the classification performance. Our proposed approach achieves a precision of 86\% for detecting intra-writer cases in CEDAR cursive "AND" dataset. Furthermore, we generate meaningful explanations for the provided decision by extracting attention maps from multiple levels of the network.


title: Nonequilibrium thermal state of a voltage-biased Mott insulator

abstract: We establish the nonequilibrium thermal phases of a voltage driven antiferromagnetic Mott insulator in three dimensions, realised at steady state under a voltage bias. Starting from the Keldysh action for the half filled Hubbard model we derive an effective Langevin equation for the `slow' magnetic variables. The coupling of electrons to these degrees of freedom determine the transport properties. At low temperature we find a voltage-driven discontinuous insulator-metal transition, along with hysteresis. We map the suppression of the N\'eel temperature $T_N$ and pseudogap temperature $T_{pg}$ with increasing voltage, and discover that the biased Mott insulator has a finite temperature insulator-metal transition. The low temperature results resolve an experimental puzzle about hysteresis, and the thermal results make testable predictions on spectra and nonlinear transport.


title: Pay Attention when Required

abstract: Transformer-based models consist of interleaved feed-forward blocks - that capture content meaning, and relatively more expensive self-attention blocks - that capture context meaning. In this paper, we explored trade-offs and ordering of the blocks to improve upon the current Transformer architecture and proposed PAR Transformer. It needs 35% lower compute time than Transformer-XL achieved by replacing ~63% of the self-attention blocks with feed-forward blocks, and retains the perplexity on WikiText-103 language modelling benchmark. We further validated our results on text8 and enwiki8 datasets, as well as on the BERT model.


title: SNoRe: Scalable Unsupervised Learning of Symbolic Node Representations

abstract: Learning from complex real-life networks is a lively research area, with recent advances in learning information-rich, low-dimensional network node representations. However, state-of-the-art methods are not necessarily interpretable and are therefore not fully applicable to sensitive settings in biomedical or user profiling tasks, where explicit bias detection is highly relevant. The proposed SNoRe (Symbolic Node Representations) algorithm is capable of learning symbolic, human-understandable representations of individual network nodes, based on the similarity of neighborhood hashes which serve as features. SNoRe's interpretable features are suitable for direct explanation of individual predictions, which we demonstrate by coupling it with the widely used instance explanation tool SHAP to obtain nomograms representing the relevance of individual features for a given classification. To our knowledge, this is one of the first such attempts in a structural node embedding setting. In the experimental evaluation on eleven real-life datasets, SNoRe proved to be competitive to strong baselines, such as variational graph autoencoders, node2vec and LINE. The vectorized implementation of SNoRe scales to large networks, making it suitable for contemporary network learning and analysis tasks.


title: Improving Investment Suggestions for Peer-to-Peer (P2P) Lending via Integrating Credit Scoring into Profit Scoring

abstract: In the peer-to-peer (P2P) lending market, lenders lend the money to the borrowers through a virtual platform and earn the possible profit generated by the interest rate. From the perspective of lenders, they want to maximize the profit while minimizing the risk. Therefore, many studies have used machine learning algorithms to help the lenders identify the "best" loans for making investments. The studies have mainly focused on two categories to guide the lenders' investments: one aims at minimizing the risk of investment (i.e., the credit scoring perspective) while the other aims at maximizing the profit (i.e., the profit scoring perspective). However, they have all focused on one category only and there is seldom research trying to integrate the two categories together. Motivated by this, we propose a two-stage framework that incorporates the credit information into a profit scoring modeling. We conducted the empirical experiment on a real-world P2P lending data from the US P2P market and used the Light Gradient Boosting Machine (lightGBM) algorithm in the two-stage framework. Results show that the proposed two-stage method could identify more profitable loans and thereby provide better investment guidance to the investors compared to the existing one-stage profit scoring alone approach. Therefore, the proposed framework serves as an innovative perspective for making investment decisions in P2P lending.


title: Effect of microstructure on the electronic transport properties of epitaxial CaRuO$_3$ thin films

abstract: We have carried out extensive comparative studies of the structural and transport properties of CaRuO$_3$ thin films grown under various oxygen pressure. We find that the preferred orientation and surface roughness of the films are strongly affected by the oxygen partial pressure during growth. This in turn affects the electrical and magnetic properties of the films. Films grown under high oxygen pressure have the least surface roughness and show transport characteristics of a good metal down to the lowest temperature measured. On the other hand, films grown under low oxygen pressures have high degree of surface roughness and show signatures of ferromagnetism. We could verify that the low frequency resistance fluctuations (noise) in these films arise due to thermally activated fluctuations of local defects and that the defect density matches with the level of disorder seen in the films through structural characterizations.


title: Plane and Stripe Wave Phases of a Spin-Orbit Coupled Bose-Einstein Condensate in an Optical Lattice with a Zeeman Field

abstract: A weakly interacting, spin-orbit coupled, ultracold, dilute Bose gas on a two-dimensional square lattice with an external Zeeman field is studied. We explore the plane and stripe wave phases of the system involving nonzero condensate momenta, which occur when the Zeeman field is below a critical value. Their excitation spectra are found using Bogoliubov theory and by two different routes. The validity of each method to obtain the excitation spectrum is discussed, and it is found that projection on the lowest single-particle band is an excellent approximation in the plane wave phase, while it is a poor approximation in the stripe wave phase. While the plane wave phase has a phonon minimum at its single condensate momentum, revealing a nonzero sound velocity of the excitations, the stripe wave phase has quadratic minima at its two condensate momenta showing zero sound velocity of the excitations. We discuss how the presence of more than one condensate momentum is essential for these differences between the two phases. Additionally, it is emphasized that the zero sound velocity in the stripe wave phase is a lattice effect, since continuum studies of the same phase have shown nonzero sound velocity.


title: Strain-Engineered Widely-Tunable Perfect Absorption Angle in Black Phosphorus from First-Principles

abstract: Using the density functional theory of electronic structure, we compute the anisotropic dielectric response of bulk black phosphorus subject to strain. Employing the obtained permittivity tensor, we solve Maxwell's equations and study the electromagnetic response of a layered structure comprising a film of black phosphorus stacked on a metallic substrate. Our results reveal that a small compressive or tensile strain, $\sim 4\%$, exerted either perpendicular or in the plane to the black phosphorus growth direction, efficiently controls the epsilon-near-zero response, and allows a perfect absorption tuning from low-angle of the incident beam $\theta=0^\circ$ to high values $\theta\approx 90^\circ$ while switching the energy flow direction. Incorporating a spatially inhomogeneous strain model, we also find that for certain thicknesses of the black phosphorus, near-perfect absorption can be achieved through controlled variations of the in-plane strain. These findings can serve as guidelines for designing largely tunable perfect electromagnetic wave absorber devices.


title: Semantic Indexes for Machine Learning-based Queries over Unstructured Data

abstract: Unstructured data (e.g., video or text) is now commonly queried by using computationally expensive deep neural networks or human labelers to produce structured information, e.g., object types and positions in video. To accelerate queries, many recent systems (e.g., BlazeIt, NoScope, Tahoma, SUPG, etc.) train a query-specific proxy model to approximate a large target labelers (i.e., these expensive neural networks or human labelers). These models return proxy scores that are then used in query processing algorithms. Unfortunately, proxy models usually have to be trained per query and require large amounts of annotations from the target labelers. In this work, we develop an index (trainable semantic index, TASTI) that simultaneously removes the need for per-query proxies and is more efficient to construct than prior indexes. TASTI accomplishes this by leveraging semantic similarity across records in a given dataset. Specifically, it produces embeddings for each record such that records with close embeddings have similar target labeler outputs. TASTI then generates high-quality proxy scores via embeddings without needing to train a per-query proxy. These scores can be used in existing proxy-based query processing algorithms (e.g., for aggregation, selection, etc.). We theoretically analyze TASTI and show that a low embedding training error guarantees downstream query accuracy for a natural class of queries. We evaluate TASTI on five video, text, and speech datasets, and three query types. We show that TASTI's indexes can be 10$\times$ less expensive to construct than generating annotations for current proxy-based methods, and accelerate queries by up to 24$\times$.


title: Variational truncations of singular integrals on spaces of homogeneous type

abstract: We prove sharp weighted estimates for $r$-variations of averages and truncated singular integrals on suitable spaces of homogeneous type, including homogeneous nilpotent Lie groups.


title: A Drinfeld type presentation of affine $\imath$quantum groups I: split ADE type

abstract: We establish a Drinfeld type new presentation for the $\imath$quantum groups arising from quantum symmetric pairs of split affine ADE type, which includes the $q$-Onsager algebra as the rank 1 case. This presentation takes a form which can be viewed as a deformation of half an affine quantum group in the Drinfeld presentation.


title: Weak Form Theory-guided Neural Network (TgNN-wf) for Deep Learning of Subsurface Single and Two-phase Flow

abstract: Deep neural networks (DNNs) are widely used as surrogate models in geophysical applications; incorporating theoretical guidance into DNNs has improved the generalizability. However, most of such approaches define the loss function based on the strong form of conservation laws (via partial differential equations, PDEs), which is subject to deteriorated accuracy when the PDE has high order derivatives or the solution has strong discontinuities. Herein, we propose a weak form theory-guided neural network (TgNN-wf), which incorporates the weak form formulation of the PDE into the loss function combined with data constraint and initial and boundary conditions regularizations to tackle the aforementioned difficulties. In the weak form, high order derivatives in the PDE can be transferred to the test functions by performing integration-by-parts, which reduces computational error. We use domain decomposition with locally defined test functions, which captures local discontinuity effectively. Two numerical cases demonstrate the superiority of the proposed TgNN-wf over the strong form TgNN, including the hydraulic head prediction for unsteady-state 2D single-phase flow problems and the saturation profile prediction for 1D two-phase flow problems. Results show that TgNN-wf consistently has higher accuracy than TgNN, especially when strong discontinuity in the solution is present. TgNN-wf also trains faster than TgNN when the number of integration subdomains is not too large (<10,000). Moreover, TgNN-wf is more robust to noises. Thus, the proposed TgNN-wf paves the way for which a variety of deep learning problems in the small data regime can be solved more accurately and efficiently.


title: Self-Adaptive Physics-Informed Neural Networks using a Soft Attention Mechanism

abstract: Physics-Informed Neural Networks (PINNs) have emerged recently as a promising application of deep neural networks to the numerical solution of nonlinear partial differential equations (PDEs). However, it has been recognized that adaptive procedures are needed to force the neural network to fit accurately the stubborn spots in the solution of "stiff" PDEs. In this paper, we propose a fundamentally new way to train PINNs adaptively, where the adaptation weights are fully trainable and applied to each training point individually, so the neural network learns autonomously which regions of the solution are difficult and is forced to focus on them. The self-adaptation weights specify a soft multiplicative soft attention mask, which is reminiscent of similar mechanisms used in computer vision. The basic idea behind these SA-PINNs is to make the weights increase as the corresponding losses increase, which is accomplished by training the network to simultaneously minimize the losses and maximize the weights. In addition, we show how to build a continuous map of self-adaptive weights using Gaussian Process regression, which allows the use of stochastic gradient descent in problems where conventional gradient descent is not enough to produce accurate solutions. Finally, we derive the Neural Tangent Kernel matrix for SA-PINNs and use it to obtain a heuristic understanding of the effect of the self-adaptive weights on the dynamics of training in the limiting case of infinitely-wide PINNs, which suggests that SA-PINNs work by producing a smooth equalization of the eigenvalues of the NTK matrix corresponding to the different loss terms. In numerical experiments with several linear and nonlinear benchmark problems, the SA-PINN outperformed other state-of-the-art PINN algorithm in L2 error, while using a smaller number of training epochs.


title: Traveling wave solutions in a model for social outbursts in a tension-inhibitive regime

abstract: In this work we investigate the existence of non-monotone traveling wave solutions to a reaction-diffusion system modeling social outbursts, such as rioting activity, originally proposed in arXiv:1502.04725v3. The model consists of two scalar values, the level of unrest $u$ and a tension field $v$. A key component of the model is a bandwagon effect in the unrest, provided the tension is sufficiently high. We focus on the so-called tension inhibitive regime, characterized by the fact that the level of unrest has a negative feedback on the tension. This regime has been shown to be physically relevant for the spatiotemporal spread of the 2005 French riots. We use Geometric Singular Perturbation Theory to study the existence of such solutions in two situations. The first is when both $u$ and $v$ diffuse at a very small rate. Here, the time scale over which the bandwagon effect is observed plays a key role. The second case we consider is when the tension diffuses at a much slower rate than the level of unrest. In this case, we are able to deduce that the driving dynamics are modeled by the well-known Fisher-KPP equation.


title: New Results on Pattern-Replacement Equivalences: Generalizing a Classical Theorem and Revising a Recent Conjecture

abstract: In this paper we study pattern-replacement equivalence relations on the set $S_n$ of permutations of length $n$. Each equivalence relation is determined by a set of patterns, and equivalent permutations are connected by pattern-replacements in a manner similar to that of the Knuth relation. One of our main results generalizes the celebrated Erdos-Szekeres Theorem for permutation pattern-avoidance to a new result for permutation pattern-replacement. In particular, we show that under the $\{123 \cdots k, k \cdots 321\}$-equivalence, all permutations in $S_n$ are equivalent up to parity when $n \ge \Omega(k^2)$. Additionally, we extend the work of Kuszmaul and Zhou on an infinite family of pattern-replacement equivalences known as the rotational equivalences. Kuszmaul and Zhou proved that the rotational equivalences always yield either one or two nontrivial equivalence classes in $S_n$, and conjectured that the number of nontrivial classes depended only on the patterns involved in the rotational equivalence (rather than on $n$). We present a counterexample to their conjecture, and prove a new theorem fully classifying (for large $n$) when there is one nontrivial equivalence class and when there are two nontrivial equivalence classes. Finally, we computationally analyze the pattern-replacement equivalences given by sets of pairs of patterns of length four. We then focus on three cases, in which the number of nontrivial equivalence classes matches an OEIS sequence. For two of these we present full proofs of the enumeration and for the third we suggest a potential future method of proof.


title: Optimal Inspection and Maintenance Planning for Deteriorating Structural Components through Dynamic Bayesian Networks and Markov Decision Processes

abstract: Civil and maritime engineering systems, among others, from bridges to offshore platforms and wind turbines, must be efficiently managed as they are exposed to deterioration mechanisms throughout their operational life, such as fatigue or corrosion. Identifying optimal inspection and maintenance policies demands the solution of a complex sequential decision-making problem under uncertainty, with the main objective of efficiently controlling the risk associated with structural failures. Addressing this complexity, risk-based inspection planning methodologies, supported often by dynamic Bayesian networks, evaluate a set of pre-defined heuristic decision rules to reasonably simplify the decision problem. However, the resulting policies may be compromised by the limited space considered in the definition of the decision rules. Avoiding this limitation, Partially Observable Markov Decision Processes (POMDPs) provide a principled mathematical methodology for stochastic optimal control under uncertain action outcomes and observations, in which the optimal actions are prescribed as a function of the entire, dynamically updated, state probability distribution. In this paper, we combine dynamic Bayesian networks with POMDPs in a joint framework for optimal inspection and maintenance planning, and we provide the formulation for developing both infinite and finite horizon POMDPs in a structural reliability context. The proposed methodology is implemented and tested for the case of a structural component subject to fatigue deterioration, demonstrating the capability of state-of-the-art point-based POMDP solvers for solving the underlying planning optimization problem. Within the numerical experiments, POMDP and heuristic-based policies are thoroughly compared, and results showcase that POMDPs achieve substantially lower costs as compared to their counterparts, even for traditional problem settings.


title: Data Preservation at MINERvA

abstract: Between 2013 and 2019 MINERvA collected an accelerator neutrino interaction dataset that is uniquely relevant to the energy range of DUNE. These are the only currently available data at intermediate and high momentum transfers for multiple nuclear targets in the same beam. MINERvA is undertaking a campaign to preserve these data and make them publicly available so that they may be analyzed beyond the end of the MINERvA collaboration. We encourage the community to consider the development of centralized resources to enable long-term access to these data and analysis tools for the entire HEP community.


title: Multimodal Deep Learning for Flaw Detection in Software Programs

abstract: We explore the use of multiple deep learning models for detecting flaws in software programs. Current, standard approaches for flaw detection rely on a single representation of a software program (e.g., source code or a program binary). We illustrate that, by using techniques from multimodal deep learning, we can simultaneously leverage multiple representations of software programs to improve flaw detection over single representation analyses. Specifically, we adapt three deep learning models from the multimodal learning literature for use in flaw detection and demonstrate how these models outperform traditional deep learning models. We present results on detecting software flaws using the Juliet Test Suite and Linux Kernel.


title: Biclustering with Alternating K-Means

abstract: Biclustering is the task of simultaneously clustering the rows and columns of the data matrix into different subgroups such that the rows and columns within a subgroup exhibit similar patterns. In this paper, we consider the case of producing block-diagonal biclusters. We provide a new formulation of the biclustering problem based on the idea of minimizing the empirical clustering risk. We develop and prove a consistency result with respect to the empirical clustering risk. Since the optimization problem is combinatorial in nature, finding the global minimum is computationally intractable. In light of this fact, we propose a simple and novel algorithm that finds a local minimum by alternating the use of an adapted version of the k-means clustering algorithm between columns and rows. We evaluate and compare the performance of our algorithm to other related biclustering methods on both simulated data and real-world gene expression data sets. The results demonstrate that our algorithm is able to detect meaningful structures in the data and outperform other competing biclustering methods in various settings and situations.


title: Particle Filtering Under General Regime Switching

abstract: In this paper, we consider a new framework for particle filtering under model uncertainty that operates beyond the scope of Markovian switching systems. Specifically, we develop a novel particle filtering algorithm that applies to general regime switching systems, where the model index is augmented as an unknown time-varying parameter in the system. The proposed approach does not require the use of multiple filters and can maintain a diverse set of particles for each considered model through appropriate choice of the particle filtering proposal distribution. The flexibility of the proposed approach allows for long-term dependencies between the models, which enables its use to a wider variety of real-world applications. We validate the method on a synthetic data experiment and show that it outperforms state-of-the-art multiple model particle filtering approaches that require the use of multiple filters.


title: KNN-DBSCAN: a DBSCAN in high dimensions

abstract: Clustering is a fundamental task in machine learning. One of the most successful and broadly used algorithms is DBSCAN, a density-based clustering algorithm. DBSCAN requires $\epsilon$-nearest neighbor graphs of the input dataset, which are computed with range-search algorithms and spatial data structures like KD-trees. Despite many efforts to design scalable implementations for DBSCAN, existing work is limited to low-dimensional datasets, as constructing $\epsilon$-nearest neighbor graphs is expensive in high-dimensions. In this paper, we modify DBSCAN to enable use of $\kappa$-nearest neighbor graphs of the input dataset. The $\kappa$-nearest neighbor graphs are constructed using approximate algorithms based on randomized projections. Although these algorithms can become inaccurate or expensive in high-dimensions, they possess a much lower memory overhead than constructing $\epsilon$-nearest neighbor graphs ($\mathcal{O}(nk)$ vs. $\mathcal{O}(n^2)$). We delineate the conditions under which $k$NN-DBSCAN produces the same clustering as DBSCAN. We also present an efficient parallel implementation of the overall algorithm using OpenMP for shared memory and MPI for distributed memory parallelism. We present results on up to 16 billion points in 20 dimensions, and perform weak and strong scaling studies using synthetic data. Our code is efficient in both low and high dimensions. We can cluster one billion points in 3D in less than one second on 28K cores on the Frontera system at the Texas Advanced Computing Center (TACC). In our largest run, we cluster 65 billion points in 20 dimensions in less than 40 seconds using 114,688 x86 cores on TACC's Frontera system. Also, we compare with a state of the art parallel DBSCAN code; on 20d/4M point dataset, our code is up to 37$\times$ faster.


title: Threshold rates for properties of random codes

abstract: Suppose that $P$ is a property that may be satisfied by a random code $C \subset \Sigma^n$. For example, for some $p \in (0,1)$, ${P}$ might be the property that there exist three elements of $C$ that lie in some Hamming ball of radius $pn$. We say that $R^*$ is the threshold rate for ${P}$ if a random code of rate $R^* + \epsilon$ is very likely to satisfy ${P}$, while a random code of rate $R^* - \epsilon$ is very unlikely to satisfy ${P}$. While random codes are well-studied in coding theory, even the threshold rates for relatively simple properties like the one above are not well understood. We characterize threshold rates for a rich class of properties. These properties, like the example above, are defined by the inclusion of specific sets of codewords which are also suitably "symmetric". For properties in this class, we show that the threshold rate is in fact equal to the lower bound that a simple first-moment calculation obtains. Our techniques not only pin down the threshold rate for the property ${P}$ above, they give sharp bounds on the threshold rate for list-recovery in several parameter regimes, as well as an efficient algorithm for estimating the threshold rates for list-recovery in general.


title: RoIFusion: 3D Object Detection from LiDAR and Vision

abstract: When localizing and detecting 3D objects for autonomous driving scenes, obtaining information from multiple sensor (e.g. camera, LIDAR) typically increases the robustness of 3D detectors. However, the efficient and effective fusion of different features captured from LIDAR and camera is still challenging, especially due to the sparsity and irregularity of point cloud distributions. This notwithstanding, point clouds offer useful complementary information. In this paper, we would like to leverage the advantages of LIDAR and camera sensors by proposing a deep neural network architecture for the fusion and the efficient detection of 3D objects by identifying their corresponding 3D bounding boxes with orientation. In order to achieve this task, instead of densely combining the point-wise feature of the point cloud and the related pixel features, we propose a novel fusion algorithm by projecting a set of 3D Region of Interests (RoIs) from the point clouds to the 2D RoIs of the corresponding the images. Finally, we demonstrate that our deep fusion approach achieves state-of-the-art performance on the KITTI 3D object detection challenging benchmark.


title: NGC 6822 as a probe of dwarf galactic evolution

abstract: NGC 6822 is the closest isolated dwarf irregular galaxy to the Milky Way. Its proximity and stellar mass ($10^8 M_\odot$, large for a dwarf galaxy) allow for a detailed study of its kinematic properties. The red giant branch (RGB) stars at the galaxy's center are particularly interesting because they are aligned on an axis perpendicular to the galaxy's more extended HI disk. We detected a velocity gradient among the RGB population using spectra from Keck DEIMOS. This rotation is aligned with the HI disk, but the sense of rotation is about the major axis of the central RGB population. We measured the rotation velocity ($v$) and velocity dispersion ($\sigma$) of the RGB population in five metallicity bins. We found an increase of rotation support ($v/\sigma$) with increasing metallicity, driven primarily by decreasing dispersion. We also deduced an increasing radial distance for lower metallicity stars at $-0.5$~kpc/dex by relating the observed stellar kinematics to position via NGC 6822's HI velocity curve. While the inverted metallicity gradient-like could be interpreted as evidence for an outside-in formation scenario, it may instead indicate that stellar feedback disturbed a centrally star forming galaxy over time.


title: Sensitivity Analysis of the Maximum Matching Problem

abstract: We consider the sensitivity of algorithms for the maximum matching problem against edge and vertex modifications. Algorithms with low sensitivity are desirable because they are robust to edge failure or attack. In this work, we show a randomized $(1-\epsilon)$-approximation algorithm with worst-case sensitivity $O_{\epsilon}(1)$, which substantially improves upon the $(1-\epsilon)$-approximation algorithm of Varma and Yoshida (arXiv 2020) that obtains average sensitivity $n^{O(1/(1+\epsilon^2))}$ sensitivity algorithm, and show a deterministic $1/2$-approximation algorithm with sensitivity $\exp(O(\log^*n))$ for bounded-degree graphs. We show that any deterministic constant-factor approximation algorithm must have sensitivity $\Omega(\log^* n)$. Our results imply that randomized algorithms are strictly more powerful than deterministic ones in that the former can achieve sensitivity independent of $n$ whereas the latter cannot. We also show analogous results for vertex sensitivity, where we remove a vertex instead of an edge. As an application of our results, we give an algorithm for the online maximum matching with $O_{\epsilon}(n)$ total replacements in the vertex-arrival model. By comparison, Bernstein et al. (J. ACM 2019) gave an online algorithm that always outputs the maximum matching, but only for bipartite graphs and with $O(n\log n)$ total replacements. Finally, we introduce the notion of normalized weighted sensitivity, a natural generalization of sensitivity that accounts for the weights of deleted edges. We show that if all edges in a graph have polynomially bounded weight, then given a trade-off parameter $\alpha>2$, there exists an algorithm that outputs a $\frac{1}{4\alpha}$-approximation to the maximum weighted matching in $O(m\log_{\alpha} n)$ time, with normalized weighted sensitivity $O(1)$. See paper for full abstract.


title: Effect of dipolar interactions on cavity magnon-polaritons

abstract: The strong photon-magnon coupling between an electromagnetic cavity and two yttrium iron garnet (YIG) spheres has been investigated in the context of a strong mutual dipolar interaction between the spheres. A decrease in the coupling strength between the YIG spheres and the electromagnetic cavity is observed, along with an increase of the total magnetic losses, as the distance between the spheres is decreased. A model of inhomogeneous broadening of the ferromagnetic resonance linewidth, partly mitigated by the dipolar narrowing effect, reproduces the reduction in the coupling strength observed experimentally. These findings have important implications for the understanding of strongly coupled photon-magnon system involving densely packed magnetic objects, such as ferromagnetic nanowires arrays, in which the total coupling strength with an electromagnetic cavity might become limited due to mutual dipolar interactions.


title: Waist of maps measured via Urysohn width

abstract: We discuss various questions of the following kind: for a continuous map $X \to Y$ from a compact metric space to a simplicial complex, can one guarantee the existence of a fiber large in the sense of Urysohn width? The $d$-width measures how well a space can be approximated by a $d$-dimensional complex. The results of this paper include the following. 1) Any piecewise linear map $f: [0,1]^{m+2} \to Y^m$ from the unit euclidean $(m+2)$-cube to an $m$-polyhedron must have a fiber of $1$-width at least $\frac{1}{2\beta m +m^2 + m + 1}$, where $\beta = \sup_y \text{ rk } H_1(f^{-1}(y))$ measures the topological complexity of the map. 2) There exists a piecewise smooth map $X^{3m+1} \to \mathbb{R}^m$, with $X$ a riemannian $(3m+1)$-manifold of large $3m$-width, and with all fibers being topological $(2m+1)$-balls of arbitrarily small $(m+1)$-width.


title: Developing and Improving Risk Models using Machine-learning Based Algorithms

abstract: The objective of this study is to develop a good risk model for classifying business delinquency by simultaneously exploring several machine learning based methods including regularization, hyper-parameter optimization, and model ensembling algorithms. The rationale under the analyses is firstly to obtain good base binary classifiers (include Logistic Regression ($LR$), K-Nearest Neighbors ($KNN$), Decision Tree ($DT$), and Artificial Neural Networks ($ANN$)) via regularization and appropriate settings of hyper-parameters. Then two model ensembling algorithms including bagging and boosting are performed on the good base classifiers for further model improvement. The models are evaluated using accuracy, Area Under the Receiver Operating Characteristic Curve (AUC of ROC), recall, and F1 score via repeating 10-fold cross-validation 10 times. The results show the optimal base classifiers along with the hyper-parameter settings are $LR$ without regularization, $KNN$ by using 9 nearest neighbors, $DT$ by setting the maximum level of the tree to be 7, and $ANN$ with three hidden layers. Bagging on $KNN$ with $K$ valued 9 is the optimal model we can get for risk classification as it reaches the average accuracy, AUC, recall, and F1 score valued 0.90, 0.93, 0.82, and 0.89, respectively.


title: Symmetry breaking of the bending mode of CO2 in the presence of Ar

abstract: The weak infrared spectrum of CO2-Ar corresponding to the (0111) <-- (0110) hot band of CO2 is detected in the region of the carbon dioxide nu3 fundamental vibration (~2340 cm-1), using a tunable OPO laser source to probe a pulsed supersonic slit jet expansion. While this method was previously thought to cool clusters to the lowest rotational states of the ground vibrational state, here we show that under suitable jet expansion conditions, sufficient population remains in the first excited bending mode of CO2 (1-2%) to enable observation of vibrationally hot CO2-Ar, and thus to investigate the symmetry breaking of the intramolecular bending mode of CO2 in the presence of Ar. The bending mode of CO2 monomer splits into an in-plane and an out-of-plane mode, strongly linked by a Coriolis interaction. Analysis of the spectrum yields a direct measurement of the in-plane / out-of-plane splitting measured to be 0.8770 cm-1. Calculations were carried to determine if key features of our results, i.e., the sign and magnitude of the shift in the energy for the two intramolecular bending modes, are consistent with a quantum chemical potential energy surface. This aspect of intramolecular interactions has received little previous experimental and theoretical consideration. Therefore, we provide an additional avenue by which to study the intramolecular dynamics of this simplest dimer in its bending modes. Similar results should be possible for other weakly-bound complexes.


title: CASH: A Credit Aware Scheduling for Public Cloud Platforms

abstract: The public cloud offers a myriad of services which allows its tenants to process large scale big data in a flexible, easy and cost effective manner. Tenants generally use large scale data processing frameworks such as MapReduce, Tez, Spark etc. to process their data. Tenants can configure their frameworks to run individual tasks by the framework itself or have a middleware cluster manager like YARN or Mesos to arbitrate resource scheduling in their public-cloud cluster. Cluster managers need to be cognizant about the workload requirement along with the state of the individual resource such as CPU and disk in the cluster. Cloud providers use a token bucket mechanism for their individual hardware resources as an indicator of the quality-of-service that individual hardware resource can provide. In this paper, through our changes in YARN, Hadoop and Tez, we show how middleware cluster managers can be made cognizant about the expected quality-of-service of individual hardware resources in the cluster. Our optimized cluster manager with a coarse grained knowledge of task requirement and fine grained knowledge of expected quality-of-service of hardware resources in the cluster performs highly optimal task placements. Our experiments with our optimizations show CPU credit based instances like the Amazon T3 instances as a viable cost effective option for running bigdata workloads. We also show that streaming SQL queries on a Hive warehouse can be accelerated by up to 31% leading to public cloud cost savings of up to 22%.


title: Symmetric set of transport coefficients for collisional magnetized plasma

abstract: In Braginskii extended magneto-hydrodynamics (ExMHD), applicable to collisional astrophysical and high energy density plasmas, the electric field and heat flow are described by the $\alpha$, $\beta$ and $\kappa$ transport coefficients. We show that magnetic transport relies primarily on $\beta_\parallel-\beta_\perp$ and $\alpha_\perp-\alpha_\parallel$, rather than $\alpha_\perp$ and $\beta_\perp$ themselves. However, commonly used coefficient fit functions [Epperlein and Haines, Phys. Fluids 29, 1029 (1986)] cannot accurately calculate these quantities. This means that many ExMHD simulations have significantly over-estimated the cross-gradient Nernst advection, resulting in artificial magnetic dissipation and discontinuities. We repeat the kinetic analysis to provide fits that rectify this problem. Use of these in the Gorgon ExMHD code resolves the known discrepancies with kinetic simulations in the literature. Recognizing the fundamental importance of $\alpha_\perp-\alpha_\parallel$ and $\beta_\parallel-\beta_\perp$, we re-cast the set of coefficients to find that each of them now shares the same underlying properties. This makes explicit the symmetry of the magnetic and thermal transport equations, as well as the symmetry of the coefficients themselves.


title: Behavior of a Single-Atom Laser in the Sub-Poissonian Regime

abstract: In the present work the model of a single-atom laser generating in the regime when incoherent pumping rate coincides with the cavity decay rate is theoretically investigated. Using the stationary equation for the phase averaged Glauber P function the analytical expressions for mean number of photons and its dispersion are obtained. In the limiting case of the strong-coupling regime the exact expression for the photon number distribution function is found. Obtained results describe the sub-Poissonian photon statistics and show an increase in mean number of photons to non-zero value when the pump tends to zero.


title: Generalized Energy Detection Under Generalized Noise Channels

abstract: Generalized energy detection (GED) is analytically studied when operates under fast-faded channels and in the presence of generalized noise. For the first time, the McLeish distribution is used to model the underlying noise, which is suitable for both non-Gaussian (impulsive) as well as classical Gaussian noise channels. Important performance metrics are presented in closed forms, such as the false-alarm and detection probabilities as well as the decision threshold. Analytical and simulation results are cross-compared validating the accuracy of the proposed approach in the entire signal-to-noise ratio regime. Finally, useful outcomes are extracted with respect to GED system settings under versatile noise environments and when noise uncertainty is present.


title: The Three Hundred Project: quest of clusters of galaxies morphology and dynamical state through Zernike Polynomials

abstract: The knowledge of the dynamical state of galaxy clusters allows to alleviate systematics when observational data from these objects are applied in cosmological studies. Evidence of correlation between the state and the morphology of the clusters is well studied. The morphology can be inferred by images of the surface brightness in the X-ray band and of the thermal component of the Sunyaev-Zel'dovich (tSZ) effect in the millimetre range. For this purpose, we apply, for the first time, the Zernike polynomial decomposition, a common analytic approach mostly used in adaptive optics to recover aberrated radiation wavefronts at the telescopes pupil plane. With this novel way we expect to correctly infer the morphology of clusters and so possibly, their dynamical state. To verify the reliability of this new approach we use more than 300 synthetic clusters selected in THE THREE HUNDRED project at different redshifts ranging from 0 up to 1.03. Mock maps of the tSZ, quantified with the Compton parameter, $y$-maps, are modelled with Zernike polynomials inside $R_{500}$, the cluster reference radius. We verify that it is possible to discriminate the morphology of each cluster by estimating the contribution of the different polynomials to the fit of the map. The results of this new method are correlated with those of a previous analysis made on the same catalogue, using two parameters that combine either morphological or dynamical-state probes. We underline that instrumental angular resolution of the maps has an impact mainly when we extend this approach to high-redshift clusters.


title: Tight Chiral Polytopes

abstract: A chiral polytope with Schl\"{a}fli symbol $\{p_1, \ldots, p_{n-1}\}$ has at least $2p_1 \cdots p_{n-1}$ flags, and it is called \emph{tight} if the number of flags meets this lower bound. The Schl\"{a}fli symbols of tight chiral polyhedra were classified in an earlier paper, and another paper proved that there are no tight chiral $n$-polytopes with $n \geq 6$. Here we prove that there are no tight chiral $5$-polytopes, describe 11 families of tight chiral $4$-polytopes, and show that every tight chiral $4$-polytope covers a polytope from one of those families.


title: Diverse Pairs of Matchings

abstract: We initiate the study of the Diverse Pair of (Maximum/ Perfect) Matchings problems which given a graph $G$ and an integer $k$, ask whether $G$ has two (maximum/perfect) matchings whose symmetric difference is at least $k$. Diverse Pair of Matchings (asking for two not necessarily maximum or perfect matchings) is NP-complete on general graphs if $k$ is part of the input, and we consider two restricted variants. First, we show that on bipartite graphs, the problem is polynomial-time solvable, and second we show that Diverse Pair of Maximum Matchings is FPT parameterized by $k$. We round off the work by showing that Diverse Pair of Matchings has a kernel on $\mathcal{O}(k^2)$ vertices.


title: Active Learning++: Incorporating Annotator's Rationale using Local Model Explanation

abstract: We propose a new active learning (AL) framework, Active Learning++, which can utilize an annotator's labels as well as its rationale. Annotators can provide their rationale for choosing a label by ranking input features based on their importance for a given query. To incorporate this additional input, we modified the disagreement measure for a bagging-based Query by Committee (QBC) sampling strategy. Instead of weighing all committee models equally to select the next instance, we assign higher weight to the committee model with higher agreement with the annotator's ranking. Specifically, we generated a feature importance-based local explanation for each committee model. The similarity score between feature rankings provided by the annotator and the local model explanation is used to assign a weight to each corresponding committee model. This approach is applicable to any kind of ML model using model-agnostic techniques to generate local explanation such as LIME. With a simulation study, we show that our framework significantly outperforms a QBC based vanilla AL framework.


title: Dynamic generation of GHZ states with coupled charge qubits

abstract: In this paper, we present a proof-of-principle of the formation of pure maximally entangled states from the Greenberger-Horne-Zeilinger class, in the experimental context of charged quantum dots. Each qubit must be identified as a pair of quantum dots, sharing an excess electron, coupled by tunneling. The electron-electron interaction is accounted for and is responsible for the coupling between the qubits. The interplay between coherent tunneling events and many-body interaction gives rise to the formation of highly entangled states. We begin by treating the problem of encoding three-qubits in a system with three pairs of quantum dots, and the numerical analysis of the exact quantum dynamics to find the conditions for the generation of the GHZ states. An effective two-level model sheds light on the role of a high-order tunneling process behind the dynamics. The action of the main decoherence process, the charge dephasing, is quantified in the process. We then evaluate the physical requirements for the dynamical generation of GHZ states in a $N$ qubit scenario, and its challenges.


title: Mutual Information for Explainable Deep Learning of Multiscale Systems

abstract: Timely completion of design cycles for complex systems ranging from consumer electronics to hypersonic vehicles relies on rapid simulation-based prototyping. The latter typically involves high-dimensional spaces of possibly correlated control variables (CVs) and quantities of interest (QoIs) with non-Gaussian and possibly multimodal distributions. We develop a model-agnostic, moment-independent global sensitivity analysis (GSA) that relies on differential mutual information to rank the effects of CVs on QoIs. The data requirements of this information-theoretic approach to GSA are met by replacing computationally intensive components of the physics-based model with a deep neural network surrogate. Subsequently, the GSA is used to explain the network predictions, and the surrogate is deployed to close design loops. Viewed as an uncertainty quantification method for interrogating the surrogate, this framework is compatible with a wide variety of black-box models. We demonstrate that the surrogate-driven mutual information GSA provides useful and distinguishable rankings on two applications of interest in energy storage. Consequently, our information-theoretic GSA provides an "outer loop" for accelerated product design by identifying the most and least sensitive input directions and performing subsequent optimization over appropriately reduced parameter subspaces.


title: Disorder-free localization in quantum walks

abstract: The phenomenon of localization usually happens due to the existence of disorder in a medium. Nevertheless, certain quantum systems allow dynamical localization solely due to the nature of internal interactions. We study a discrete time quantum walker which exhibits disorder free localization. The quantum walker moves on a one-dimensional lattice and interacts with on-site spins by coherently rotating them around a given axis at each step. Since the spins do not have dynamics of their own, the system poses the local spin components along the rotation axis as an extensive number of conserved moments. When the interaction is weak, the spread of the walker shows subdiffusive behaviour having downscaled ballistic tails in the evolving probability distribution at intermediate time scales. However, as the interaction gets stronger the walker gets exponentially localized in the complete absence of disorder in both lattice and initial state. Using a matrix-product-state ansatz, we investigate the relaxation and entanglement dynamics of the on-site spins due to their coupling with the quantum walker. Surprisingly, we find that even in the delocalized regime, entanglement growth and relaxation occur slowly unlike marjority of the other models displaying a localization transition.


title: Thermostatistical analysis for short-range interaction Potentials

abstract: In this paper, we study the thermodynamics of short-range central potentials, namely, the Lee-Wick potential, and the Plasma potential. In the first part of the paper we obtain the numerical solution for the orbits equation for these potentials. Posteriorly, we introduce the thermodynamics through the microcanonical and canonical ensembles formalism defined on the phase space of the system. We calculate the density of states associated with the Lee-Wick and the Plasma potentials. From density of states, we obtain the thermodynamical physical quantities like entropy and temperature as functions of the energy. We also use the Boltzmann-Gibbs formalism to obtain the partition functions, the mean energy and the thermal capacity for these short-range potentials.


title: Frequency Regulation Model of Bulk Power Systems with Energy Storage

abstract: This paper presents a dynamic Frequency Regulation (FR) model of a large interconnected power system including Energy Storage Systems (ESSs) such as Battery Energy Storage Systems (BESSs) and Flywheel Energy Storage Systems (FESSs), considering all relevant stages in the frequency control process. Communication delays are considered in the transmission of the signals in the FR control loop and ESSs, and their State of Charge (SoC) management model is considered. The system, ESSs and SoC components are modelled in detail from a FR perspective. The model is validated using real system and ESSs data, based on a practical transient stability model of the North American Eastern Interconnection (NAEI), and the results show that the proposed model accurately represents the FR process of a large interconnected power network including ESS, and can be used for long-term FR studies. The impact of communication delays and SoC management of ESS facilities in the Area Control Error (ACE) is also studied and discussed


title: An efficient method for modeling flow in porous media with immersed faults

abstract: Modeling flow in geosystems with natural fault is a challenging problem due to low permeability of fault compared to its surrounding porous media. One way to predict the behavior of the flow while taking the effects of fault into account is to use the mixed finite element method. However, the mixed method could be time consuming due to large number of degree of freedom since both pressure and velocity are considered in the system. A new modeling method is presented in this paper. First, we introduce approximations of pressure based on the relation of pressure and velocity. We furthure decouple the approximated pressure from velocity so that it can be solved independently by continuous Galerkin finite element method. The new problem involves less degree of freedom than the mixed method for a given mesh . Moreover, local problem associated with a small subdomain around the fault is additionally solved to increase the accuracy of approximations around fault. Numerical experiments are conducted to examine the accuracy and efficiency of the new method. Results of three-dimensional tests show that our new method is up to 30$\times$ faster than the the mixed method at given $L^2$ pressure error.


title: Improved Exploration in Factored Average-Reward MDPs

abstract: We consider a regret minimization task under the average-reward criterion in an unknown Factored Markov Decision Process (FMDP). More specifically, we consider an FMDP where the state-action space $\mathcal X$ and the state-space $\mathcal S$ admit the respective factored forms of $\mathcal X = \otimes_{i=1}^n \mathcal X_i$ and $\mathcal S=\otimes_{i=1}^m \mathcal S_i$, and the transition and reward functions are factored over $\mathcal X$ and $\mathcal S$. Assuming known factorization structure, we introduce a novel regret minimization strategy inspired by the popular UCRL2 strategy, called DBN-UCRL, which relies on Bernstein-type confidence sets defined for individual elements of the transition function. We show that for a generic factorization structure, DBN-UCRL achieves a regret bound, whose leading term strictly improves over existing regret bounds in terms of the dependencies on the size of $\mathcal S_i$'s and the involved diameter-related terms. We further show that when the factorization structure corresponds to the Cartesian product of some base MDPs, the regret of DBN-UCRL is upper bounded by the sum of regret of the base MDPs. We demonstrate, through numerical experiments on standard environments, that DBN-UCRL enjoys substantially improved regret empirically over existing algorithms that have frequentist regret guarantees.


title: Bang the Can Slowly: An Investigation into the 2017 Houston Astros

abstract: This manuscript is a statistical investigation into the 2017 Major League Baseball scandal involving the Houston Astros, the World Series championship winner that same year. The Astros were alleged to have stolen their opponents' pitching signs in order to provide their batters with a potentially unfair advantage. This work finds compelling evidence that the Astros on-field performance was significantly affected by their sign-stealing ploy and quantifies the effects. The three main findings in the manuscript are: 1) the Astros' odds of swinging at a pitch were reduced by approximately 27% (OR: 0.725, 95% CI: (0.618, 0.850)) when the sign was stolen, 2) when an Astros player swung, the odds of making contact with the ball increased roughly 80% (OR: 1.805, 95% CI: (1.342, 2.675)) on non-fastball pitches, and 3) when the Astros made contact with a ball on a pitch in which the sign was known, the ball's exit velocity (launch speed) increased on average by 2.386 (95% CI: (0.334, 4.451)) miles per hour.


title: Contribution of binary stars to the velocity dispersion inside OB associations with Gaia DR2 data

abstract: We estimated the contribution of binary systems to the velocity dispersion inside OB-associations derived from Gaia DR2 proper motions. The maximum contribution to the velocity dispersion is given by the systems with the period of revolution of P=5.9 yr whose components shift by a distance of about the diameter of the system during the base-line time of Gaia DR2 observations. We employed two methods to study the motion of the photocenter of the binary system: the first one uses the total displacement between the initial and final visibility periods and the second one is based on solving a system of n equations defining the displacements at the times t_n. The first and second methods yield very similar sigma_bn values of 0.90 and 0.87 km s-1, respectively. Taking into account the fact that orbits are elliptical slightly decreases the inferred sigma_bn. We estimated the eccentricity-averaged sigma_bn value to be sigma_bn=0.81 km s-1 assuming that the orbital eccentricities of massive binary systems are distributed uniformly in the [0, 0.9] interval. The choice of the exponent gamma in the power-law distribution, p_q ~ q^gamma, of the component-mass ratios q=M_2/M_1 of binary systems appears to have little effect on sigma_bn. A change of gamma from 0 (flat distribution) to -2.0 (preponderance of systems with low-mass components) changes sigma_bn from 0.90 to 1.07 km s-1.


title: Non-Abelian axial anomaly, axial-vector duality, and the pseudoscalar glueball

abstract: We generalize the dispersive approach to axial anomaly by A.D. Dolgov and V.I. Zakharov to a non-Abelian case with arbitrary photon virtualites. We derive the anomaly sum rule for the singlet current and obtain the $\pi^0,\eta,\eta'\rightarrow\gamma\gamma^*$ transition form factors. Using them, we established the behavior of a nonperturbative gluon matrix element $\langle 0 |G\tilde{G} |\gamma\gamma^*(q^2) \rangle$ in both spacelike and timelike regions. We found a significant contribution of the non-Abelian axial anomaly to the processes with one virtual photon, comparable to that of the electromagnetic anomaly. The duality between the axial and the vector channels was observed: the values of duality intervals and mixing parameters in the axial channel were related to vector resonances' masses and residues. The possibility of a light pseudoscalar glueball-like state is conjectured.


title: An Adaptive Flow-Aware Packet Scheduling Algorithm for Multipath Tunnelling

abstract: This paper proposes AFMT, a packet scheduling algorithm to achieve adaptive flow-aware multipath tunnelling. AFMT has two unique properties. Firstly, it implements robust adaptive traffic splitting for the subtunnels. Secondly, it detects and schedules bursts of packets cohesively, a scheme that already enabled traffic splitting for load balancing with little to no packet reordering. Several NS-3 experiments over different network topologies show that AFMT successfully deals with changing path characteristics due to background traffic while increasing throughput and reliability.


title: On the uniqueness of solutions of a semilinear equation in an annulus

abstract: We establish the uniqueness of positive radial solutions of $$\begin{cases} \Delta u +f(u)=0,\quad x\in A \\ u(x) =0 \quad x\in \partial A \end{cases} $$ where $A:=A_{a,b}=\{ x\in {\mathbb R}^n : a<|x|<b \}$, $0<a<b\le\infty$. We assume that the nonlinearity $f\in C[0,\infty)\cap C^1(0,\infty)$ is such that $f(0)=0$ and satisfies some convexity and growth conditions, and either $f(s)>0$ for all $s>0$, or has one zero at $B>0$, is non positive and not identically 0 in $(0,B)$ and it is positive in $(B,\infty)$.


title: Effects of anti-infection behavior on the equilibrium states of an infectious disease

abstract: We propose a mathematical model to analyze the effects of anti-infection behavior on the equilibrium states of an infectious disease. The anti-infection behavior is incorporated into a classical epidemiological SIR model, by considering the behavior adoption rate across the population as an additional variable. We consider also the effects on the adoption rate produced by the disease evolution, using a dynamic payoff function and an additional differential equation. The equilibrium states of the proposed model have remarkable characteristics: possible coexistence of two locally stable endemic equilibria, the coexistence of locally stable endemic and disease-free equilibria, and even the possibility of a stable continuum of endemic equilibrium points. We show how some of the results obtained may be used to support strategic planning leading to effective control of the disease in the long-term.


title: Qualities of axion and LSP in Pati-Salam unification with $Z^R_{4}\times Z_{N}$ symmetry

abstract: In this paper we construct supersymmetric Pati-Salam (PS) models containing the minimal supersymmetric standard model and an invisible axion. The models include two discrete symmetries, $\mathbb{Z}_4^R \times \mathbb{Z}_N$, which maintain the $quality$ of the accidental Peccei-Quinn (PQ) symmetry and thus the solution to the strong CP problem. We require that the discrete anomaly conditions are satisfied for both $\mathbb{Z}_4^R \times G_{\rm PS}^2$ and $ \mathbb{Z}_N \times G_{\rm PS}^2$. The vacuum expectation value of the PQ field spontaneously breaks all the discrete symmetries. R-parity is violated if any of the PQ field(s) has an odd charge under $\mathbb{Z}_4^R$. We present two explicit models which we refer to as a minimal model where R-parity violation is extremely suppressed, and a non-minimal model where R-parity violation is significant. In the latter model, the neutralino becomes unstable even if it is the Lightest Supersymmetric Particle (LSP), and, in addition, there are new low-energy vector-like states. In both examples, R-parity violation is sufficiently suppressed such that the proton is stable.


title: Blind Image Restoration with Flow Based Priors

abstract: Image restoration has seen great progress in the last years thanks to the advances in deep neural networks. Most of these existing techniques are trained using full supervision with suitable image pairs to tackle a specific degradation. However, in a blind setting with unknown degradations this is not possible and a good prior remains crucial. Recently, neural network based approaches have been proposed to model such priors by leveraging either denoising autoencoders or the implicit regularization captured by the neural network structure itself. In contrast to this, we propose using normalizing flows to model the distribution of the target content and to use this as a prior in a maximum a posteriori (MAP) formulation. By expressing the MAP optimization process in the latent space through the learned bijective mapping, we are able to obtain solutions through gradient descent. To the best of our knowledge, this is the first work that explores normalizing flows as prior in image enhancement problems. Furthermore, we present experimental results for a number of different degradations on data sets varying in complexity and show competitive results when comparing with the deep image prior approach.


title: Design of a Quantum-Repeater using Quantum-Circuits and benchmarking its performance on an IBM Quantum-Computer

abstract: Quantum communication relies on the existence of entanglement between two nodes of a network. However, due to its fragile nature, it is nearly impossible to establish entanglement at large distances through the direct transmission of qubits. Quantum repeaters have been proposed to solve this problem, which split-up the network to create small-scale entangled links and then connect them up to create the large-scale link. As researchers race to establish entanglement over larger and larger distances, it becomes essential to gauge the performance and robustness of the different protocols that have been proposed to design a quantum repeater, before deploying them in real life. Currently available noisy quantum computers are ideal for this task, as they can emulate the noisy environment in a quantum communication channel, and provide a measure for how the protocols will perform on real-life hardware. In this paper, we report the circuit-level implementation of the complete architecture of a quantum repeater, and benchmark this protocol on IBM's cloud quantum computer - IBMQ. Our experiments indicate a 26% fidelity of shared bell-pairs for a complete on-chip quantum repeater with a yield of 49%. We also compare these results with simulation data from IBM Qiskit. The results of our experiments provide a quantitative measure for the fidelity of entanglement that currently available repeaters can establish. In addition, the proposed circuit-implementation provides a robust benchmark for state-of-the-art quantum computing hardware.


title: Stringy invariants and toric Artin stacks

abstract: We propose a conjectural framework for computing Gorenstein measures and stringy Hodge numbers in terms of motivic integration over arcs of smooth Artin stacks, and we verify this framework in the case of fantastacks, which are certain toric Artin stacks that provide (non-separated) resolutions of singularities for toric varieties. Specifically, let $\mathcal{X}$ be a smooth Artin stack admitting a good moduli space $\pi: \mathcal{X} \to X$, and assume that $X$ is a variety with log-terminal singularities, $\pi$ induces an isomorphism over a nonempty open subset of $X$, and the exceptional locus of $\pi$ has codimension at least 2. We conjecture a formula for the motivic measure for $\mathcal{X}$ in terms of the Gorenstein measure for $X$ and a function measuring the degree to which $\pi$ is non-separated. We also conjecture that if the stabilizers of $\mathcal{X}$ are special groups in the sense of Serre, then almost all arcs of $X$ lift to arcs of $\mathcal{X}$, and we explain how in this case, our conjectures imply a formula for the stringy Hodge numbers of $X$ in terms of a certain motivic integral over the arcs of $\mathcal{X}$. We prove these conjectures in the case where $\mathcal{X}$ is a fantastack.


title: RapidLearn: A General Purpose Toolkit for Autonomic Networking

abstract: Software Defined Networking has unfolded a new area of opportunity in distributed networking and intelligent networks. There has been a great interest in performing machine learning in distributed setting, exploiting the abstraction of SDN which makes it easier to write complex ML queries on standard control plane. However, most of the research has been made towards specialized problems (security, performance improvement, middlebox management etc) and not towards a generic framework. Also, existing tools and software require specialized knowledge of the algorithm/network to operate or monitor these systems. We built a generic toolkit which abstracts out the underlying structure, algorithms and other intricacies and gives an intuitive way for a common user to create and deploy distributed machine learning network applications. Decisions are made at local level by the switches and communicated to other switches to improve upon these decisions. Finally, a global decision is taken by controller based on another algorithm (in our case voting). We demonstrate efficacy of the framework through a simple DDoS detection algorithm.


title: A brief history on Homomorphic learning: A privacy-focused approach to machine learning

abstract: Cryptography and data science research grew exponential with the internet boom. Legacy encryption techniques force users to make a trade-off between usability, convenience, and security. Encryption makes valuable data inaccessible, as it needs to be decrypted each time to perform any operation. Billions of dollars could be saved, and millions of people could benefit from cryptography methods that don't compromise between usability, convenience, and security. Homomorphic encryption is one such paradigm that allows running arbitrary operations on encrypted data. It enables us to run any sophisticated machine learning algorithm without access to the underlying raw data. Thus, homomorphic learning provides the ability to gain insights from sensitive data that has been neglected due to various governmental and organization privacy rules. In this paper, we trace back the ideas of homomorphic learning formally posed by Ronald L. Rivest and Len Alderman as "Can we compute upon encrypted data?" in their 1978 paper. Then we gradually follow the ideas sprouting in the brilliant minds of Shafi Goldwasser, Kristin Lauter, Dan Bonch, Tomas Sander, Donald Beaver, and Craig Gentry to address that vital question. It took more than 30 years of collective effort to finally find the answer "yes" to that important question.


title: The information-theoretic foundation of thermodynamic work extraction

abstract: In this paper I apply newly-proposed information-theoretic principles to thermodynamic work extraction. I show that if it is possible to extract work deterministically from a physical system prepared in any one of a set of states, then those states must be distinguishable from one another. This result is formulated independently of scale and of particular dynamical laws; it also provides a novel connection between thermodynamics and information theory, established via the law of conservation of energy (rather than the second law of thermodynamics). Albeit compatible with these conclusions, existing thermodynamics approaches cannot provide a result of such generality, because they are scale-dependent (relying on ensembles or coarse-graining) or tied to particular dynamical laws. This paper thus provides a broader foundation for thermodynamics, with implications for the theory of von Neumann's universal constructor


title: Formalizing Integration Patterns with Multimedia Data (Extended Version)

abstract: The previous works on formalizing enterprise application integration (EAI) scenarios showed an emerging need for setting up formal foundations for integration patterns, the EAI building blocks, in order to facilitate the model-driven development and ensure its correctness. So far, the formalization requirements were focusing on more "conventional" integration scenarios, in which control-flow, transactional persistent data and time aspects were considered. However, none of these works took into consideration another arising EAI trend that covers social and multimedia computing. In this work we propose a Petri net-based formalism that addresses requirements arising from the multimedia domain. We also demonstrate realizations of one of the most frequently used multimedia patterns and discuss which implications our formal proposal may bring into the area of the multimedia EAI development.


title: New Upper Bound on Extremal Number of Even Cycles

abstract: In this paper, we prove $\text{ex}(n, C_{2k})\le (16\sqrt{5}\sqrt{k\log k} + o(1))\cdot n^{1+1/k}$. We improved on Bukh--Jiang's method used in their 2017 publication, thereby reducing the best known upper bound by a factor of $\sqrt{5\log k}$.


title: Regularised Text Logistic Regression: Key Word Detection and Sentiment Classification for Online Reviews

abstract: Online customer reviews have become important for managers and executives in the hospitality and catering industry who wish to obtain a comprehensive understanding of their customers' demands and expectations. We propose a Regularized Text Logistic (RTL) regression model to perform text analytics and sentiment classification on unstructured text data, which automatically identifies a set of statistically significant and operationally insightful word features, and achieves satisfactory predictive classification accuracy. We apply the RTL model to two online review datasets, Restaurant and Hotel, from TripAdvisor. Our results demonstrate satisfactory classification performance compared with alternative classifiers with a highest true positive rate of 94.9%. Moreover, RTL identifies a small set of word features, corresponding to 3% for Restaurant and 20% for Hotel, which boosts working efficiency by allowing managers to drill down into a much smaller set of important customer reviews. We also develop the consistency, sparsity and oracle property of the estimator.


title: Fully Convolutional Graph Neural Networks for Parametric Virtual Try-On

abstract: We present a learning-based approach for virtual try-on applications based on a fully convolutional graph neural network. In contrast to existing data-driven models, which are trained for a specific garment or mesh topology, our fully convolutional model can cope with a large family of garments, represented as parametric predefined 2D panels with arbitrary mesh topology, including long dresses, shirts, and tight tops. Under the hood, our novel geometric deep learning approach learns to drape 3D garments by decoupling the three different sources of deformations that condition the fit of clothing: garment type, target body shape, and material. Specifically, we first learn a regressor that predicts the 3D drape of the input parametric garment when worn by a mean body shape. Then, after a mesh topology optimization step where we generate a sufficient level of detail for the input garment type, we further deform the mesh to reproduce deformations caused by the target body shape. Finally, we predict fine-scale details such as wrinkles that depend mostly on the garment material. We qualitatively and quantitatively demonstrate that our fully convolutional approach outperforms existing methods in terms of generalization capabilities and memory requirements, and therefore it opens the door to more general learning-based models for virtual try-on applications.


title: Resilient Task Allocation in Heterogeneous Multi-Robot Systems

abstract: For a multi-robot system equipped with heterogeneous capabilities, this paper presents a mechanism to allocate robots to tasks in a resilient manner when anomalous environmental conditions such as weather events or adversarial attacks affect the performance of robots within the tasks. Our primary objective is to ensure that each task is assigned the requisite level of resources, measured as the aggregated capabilities of the robots allocated to the task. By keeping track of task performance deviations under external perturbations, our framework quantifies the extent to which robot capabilities (e.g., visual sensing or aerial mobility) are affected by environmental conditions. This enables an optimization-based framework to flexibly reallocate robots to tasks based on the most degraded capabilities within each task. In the face of resource limitations and adverse environmental conditions, our algorithm minimally relaxes the resource constraints corresponding to some tasks, thus exhibiting a graceful degradation of performance. Simulated experiments in a multi-robot coverage and target tracking scenario demonstrate the efficacy of the proposed approach.


title: Prescription de courbure des feuilles des laminations: retour sur un th\'eor\`eme de Candel

abstract: In the present paper, we revisit a famous theorem by Candel that we generalize by proving that given a compact lamination by hyperbolic surfaces, every negative function smooth inside the leaves and transversally continuous is the curvature function of a unique laminated metric in the corresponding conformal class. We give an interpretation of this result as a continuity result about the solutions of some elliptic PDEs in the so called Cheeger-Gromov topology on the space of complete pointed riemannian manifolds.


title: tsBNgen: A Python Library to Generate Time Series Data from an Arbitrary Dynamic Bayesian Network Structure

abstract: Synthetic data is widely used in various domains. This is because many modern algorithms require lots of data for efficient training, and data collection and labeling usually are a time-consuming process and are prone to errors. Furthermore, some real-world data, due to its nature, is confidential and cannot be shared. Bayesian networks are a type of probabilistic graphical model widely used to model the uncertainties in real-world processes. Dynamic Bayesian networks are a special class of Bayesian networks that model temporal and time series data. In this paper, we introduce the tsBNgen, a Python library to generate time series and sequential data based on an arbitrary dynamic Bayesian network. The package, documentation, and examples can be downloaded from https://github.com/manitadayon/tsBNgen.


title: On large prime actions on Riemann surfaces

abstract: In this article we study compact Riemann surfaces of genus $g$ with an automorphism of prime order $g+1.$ The main result provides a classification of such surfaces. In addition, we give a description of them as algebraic curves, determine and realise their full automorphism groups and compute their fields of moduli. We also study some aspects of their Jacobian varieties such as isogeny decompositions and complex multiplication. Finally, we determine the period matrix of the Accola-Maclachlan curve of genus four.


title: Institutional Similarity Drives Cultural Similarity among Online Communities

abstract: Understanding online communities requires an appreciation of both structure and culture. But basic questions remain difficult to pose. How do these facets interact and drive each other? Using data on the membership and governance styles of 5,000 small-scale online communities, we construct empirical measures for cross-server similarities in institutional structure and culture to explore the influence of institutional environment on their culture, and the influence of culture on their institutional environment. To establish the influence of culture and institutions on each other, we construct networks of communities, linking those that are more similar either in their members or governance. We then use network analysis to assess the causal relationships between shared culture and institutions. Our result shows that while effects in both directions are evident, there is a much stronger role for institutions on culture than culture on institutions. These processes are evident within administrative and informational type rules.


title: Time-Based Roofline for Deep Learning Performance Analysis

abstract: Deep learning applications are usually very compute-intensive and require a long run time for training and inference. This has been tackled by researchers from both hardware and software sides, and in this paper, we propose a Roofline-based approach to performance analysis to facilitate the optimization of these applications. This approach is an extension of the Roofline model widely used in traditional high-performance computing applications, and it incorporates both compute/bandwidth complexity and run time in its formulae to provide insights into deep learning-specific characteristics. We take two sets of representative kernels, 2D convolution and long short-term memory, to validate and demonstrate the use of this new approach, and investigate how arithmetic intensity, cache locality, auto-tuning, kernel launch overhead, and Tensor Core usage can affect performance. Compared to the common ad-hoc approach, this study helps form a more systematic way to analyze code performance and identify optimization opportunities for deep learning applications.


title: Uncertainty principle for axial power content of highly focused fields

abstract: In the analysis of the on-axis intensity for a highly focused optical field it is highly desirable to deal with effective relations aimed at characterizing the field behavior in a rather simple fashion. Here, a novel and adequate measure for the size of the region where the axial power content mainly concentrates is proposed on the basis of an uncertainty principle. Accordingly, a meaningful relationship is provided for both the spread of the incident beam at the entrance of the highly focused optical system and the size of the region where the on-axis power mainly concentrates.


title: Development of a Predictive Process Design kit for15-nm FinFETs: FreePDK15

abstract: FinFETs are predicted to advance semiconductorscaling for sub-20nm devices. In order to support their intro-duction into research and universities it is crucial to develop anopen source predictive process design kit. This paper discussesin detail the design process for such a kit for 15nm FinFETdevices, called the FreePDK15. The kit consists of a layerstack with thirteen-metal layers based on hierarchical-scalingused in ASIC architecture, Middle-of-Line local interconnectlayers and a set of Front-End-of-Line layers. The physical andgeometrical properties of these layers are defined and theseproperties determine the density and parasitics of the design. Thedesign rules are laid down considering additional guidelines forprocess variability, challenges involved in FinFET fabrication anda unique set of design rules are developed for critical dimensions.Layout extraction including modified rules for determining thegeometrical characteristics of FinFET layouts are implementedand discussed to obtain successful Layout Versus Schematicchecks for a set of layouts. Moreover, additional parasiticcomponents of a standard FinFET device are analyzed andthe parasitic extraction of sample layouts is performed. Theseextraction results are then compared and assessed against thevalidation models.


title: Mode Surfaces of Symmetric Tensor Fields: Topological Analysis and Seamless Extraction

abstract: Mode surfaces are the generalization of degenerate curves and neutral surfaces, which constitute 3D symmetric tensor field topology. Efficient analysis and visualization of mode surfaces can provide additional insight into not only degenerate curves and neutral surfaces, but also how these features transition into each other. Moreover, the geometry and topology of mode surfaces can help domain scientists better understand the tensor fields in their applications. Existing mode surface extraction methods can miss features in the surfaces. Moreover, the mode surfaces extracted from neighboring cells have gaps, which make their subsequent analysis difficult. In this paper, we provide novel analysis on the topological structures of mode surfaces, including a common parameterization of all mode surfaces of a tensor field using 2D asymmetric tensors. This allows us to not only better understand the structures in mode surfaces and their interactions with degenerate curves and neutral surfaces, but also develop an efficient algorithm to seamlessly extract mode surfaces, including neutral surfaces. The seamless mode surfaces enable efficient analysis of their geometric structures, such as the principal curvature directions. We apply our analysis and visualization to a number of solid mechanics data sets.


title: A Non-Isolated High Step-Up Interleaved DC-DC Converter with Diode-Capacitor Multiplier Cells and Dual Coupled Inductors

abstract: In this paper, a non-isolated high step-up dc-dc converter is presented. The proposed converter is composed of an interleaved structure and diode-capacitor multiplier cells for interfacing low-voltage renewable energy sources to high-voltage distribution buses. The aforementioned topology can provide a very high voltage gain due to employing the coupled inductors and the diode-capacitor cells. The coupled inductors are connected to the diode-capacitor multiplier cells to achieve the interleaved energy storage in the output side. Furthermore, the proposed topology provides continuous input current with low voltage stress on the power devices. The reverse recovery problem of the diodes is reduced. This topology can be operated at a reduced duty cycle by adjusting the turn ratio of the coupled inductors. Moreover, the performance comparison between the proposed topology and other converters are introduced. The design considerations operation principle, steady-state analysis, simulation results, and experimental verifications are presented. Therefore, a 500-W hardware prototype with an input voltage of 30-V and an output voltage of 1000-V is built to verify the performance and the theoretical analysis.


title: Many-body theory of radiative lifetimes of exciton-trion superposition states in doped two-dimensional materials

abstract: Optical absorption and emission spectra of doped two-dimensional (2D) materials exhibit sharp peaks that are often identified with pure excitons and pure trions (or charged excitons), but both peaks have been recently attributed to superpositions of 2-body exciton and 4-body trion states and correspond to the approximate energy eigenstates in doped 2D materials. In this paper, we present the radiative lifetimes of these exciton-trion superposition energy eigenstates using a many-body formalism that is appropriate given the many-body nature of the strongly coupled exciton and trion states in doped 2D materials. Whereas the exciton component of these superposition eigenstates are optically coupled to the material ground state, and can emit a photon and decay into the material ground state provided the momentum of the eigenstate is within the light cone, the trion component is optically coupled only to the excited states of the material and can emit a photon even when the momentum of the eigenstate is outside the light cone. In an electron-doped 2D material, when a 4-body trion state with momentum outside the light cone recombines radiatively, and a photon is emitted with a momentum inside the light cone, the excess momentum is taken by an electron-hole pair left behind in the conduction band. The radiative lifetimes of the exciton-trion superposition states, with momenta inside the light cone, are found to be in the few hundred femtoseconds to a few picoseconds range and are strong functions of the doping density. The radiative lifetimes of exciton-trion superposition states, with momenta outside the light cone, are in the few hundred picoseconds to a few nanoseconds range and are again strongly dependent on the doping density.


title: Enhanced single-node boundary condition for the Lattice Boltzmann Method

abstract: We propose a new way to implement Dirichlet boundary conditions for complex shapes using data from a single node only, in the context of the lattice Boltzmann method. The resulting novel method exhibits second-order convergence for the velocity field and shows similar or better accuracy than the well established Bouzidi, Firdaouss, and Lallemand (2001) boundary condition for curved walls, despite its local nature. The method also proves to be suitable to simulate moving rigid objects or immersed surfaces either with or without prescribed motion. The core idea of the new approach is to generalize the description of boundary conditions that combine bounce-back rule with interpolations and to enhance them by limiting the information involved in the interpolation to a close proximity of the boundary.


title: Carrier transport and electron-lattice interactions of nonlinear optical crystals CdGeP$_2$, ZnGeP$_2$ and CdSiP$_2$

abstract: Terahertz time-domain spectroscopy is employed to investigate temperature-dependent properties of bulk chalcopyrite crystals (CdGeP$_2$, ZnGeP$_2$ and CdSiP$_2$). The complex spectra provide the refraction and absorption as a function of temperature, from which electron-phonon coupling and average phonon energies are extracted and linked to the mechanics of the A- and B-site cations. Also, AC conductivity spectra provide carrier densities and electron scattering times, the temperature dependence of which is associated with unintentional shallow dopants. Temperature dependence of the scattering time is converted into carrier mobility and modeled with microscopic transport mechanisms such as polar optical phonon, acoustic phonons, deformation potential, ionized impurity and dislocation scattering. Hence, analysis links the THz optical and electronic properties to relate microscopic carrier transport and carrier-lattice interactions.


title: On the abstract chromatic number and its computability for finitely axiomatizable theories

abstract: The celebrated Erd\H{o}s--Stone--Simonovits theorem characterizes the asymptotic maximum edge density in $\mathcal{F}$-free graphs as $1 - 1/(\chi(\mathcal{F})-1) + o(1)$, where $\chi(\mathcal{F})$ is the minimum chromatic number of a graph in $\mathcal{F}$. In Examples 25 and 31 of [L. N. Coregliano and A. A. Razborov. Semantic limits of dense combinatorial objects. Uspekhi Mat. Nauk, 75(4(454)):45-152, 2020], it was shown that this result can be extended to the general setting of graphs with extra structure: the maximum asymptotic density of a graph with extra structure without some induced subgraphs is $1 - 1/(\chi(I) - 1) + o(1)$ for an appropriately defined abstract chromatic number $\chi(I)$. As the name suggests, the original formula for the abstract chromatic number is so abstract that its (algorithmic) computability was left open. In this paper, we both extend this result to characterize maximum asymptotic density of $t$-cliques in of graphs with extra structure without some induced subgraphs in terms of $\chi(I)$ and we present a more concrete formula for $\chi(I)$ that allows us to show its computability when both the extra structure and the forbidden subgraphs can be described by a finitely axiomatizable universal first-order theory. Our alternative formula for $\chi(I)$ makes use of a partite version of Ramsey's Theorem for structures on first-order relational languages.


title: Multi-Objective Model-based Reinforcement Learning for Infectious Disease Control

abstract: Severe infectious diseases such as the novel coronavirus (COVID-19) pose a huge threat to public health. Stringent control measures, such as school closures and stay-at-home orders, while having significant effects, also bring huge economic losses. In the face of an emerging infectious disease, a crucial question for policymakers is how to make the trade-off and implement the appropriate interventions timely given the huge uncertainty. In this work, we propose a Multi-Objective Model-based Reinforcement Learning framework to facilitate data-driven decision-making and minimize the overall long-term cost. Specifically, at each decision point, a Bayesian epidemiological model is first learned as the environment model, and then the proposed model-based multi-objective planning algorithm is applied to find a set of Pareto-optimal policies. This framework, combined with the prediction bands for each policy, provides a real-time decision support tool for policymakers. The application is demonstrated with the spread of COVID-19 in China.


title: The $\mathsf{CP^{n-1}}$-model with fermions: a new look

abstract: We elaborate the formulation of the $\mathsf{CP^{n-1}}$ sigma model with fermions as a gauged Gross-Neveu model. This approach allows to identify the super phase space of the model as a supersymplectic quotient. Potential chiral gauge anomalies are shown to receive contributions from bosons and fermions alike and are related to properties of this phase space. Along the way we demonstrate that the worldsheet supersymmetric model is a supersymplectic quotient of a model with target space supersymmetry. Possible generalizations to other quiver supervarieties are briefly discussed.


title: Invariant Gibbs measures for the three-dimensional wave equation with a Hartree nonlinearity I: Measures

abstract: In this two-paper series, we prove the invariance of the Gibbs measure for a three-dimensional wave equation with a Hartree nonlinearity. The main novelty is the singularity of the Gibbs measure with respect to the Gaussian free field. The singularity has several consequences in both measure-theoretic and dynamical aspects of our argument. In this paper, we construct and study the Gibbs measure. Our approach is based on earlier work of Barashkov and Gubinelli for the $\Phi^4_3$-model. Most importantly, our truncated Gibbs measures are tailored towards the dynamical aspects in the second part of the series. In addition, we develop new tools dealing with the non-locality of the Hartree interaction. We also determine the exact threshold between singularity and absolute continuity of the Gibbs measure depending on the regularity of the interaction potential.