title: Electrical and magnetic properties of thin films of the spin-filter material CrVTiAl

abstract: The spin-filter material CrVTiAl is a promising candidate for producing highly spin-polarized currents at room temperature in a nonmagnetic architecture. Thin films of compensated-ferrimagnetic CrVTiAl have been grown and their electrical and magnetic properties have been studied. The resistivity shows two-channel semiconducting behavior with one disordered gapless channel and a gapped channel with activation energy $\Delta E$=~0.1~-~0.2~eV. Magnetoresistance measurements to B~=~35~T provide values for the mobilities of the gapless channel, leading to an order of magnitude difference in the carrier effective masses, which are in reasonable accord with our density-functional-theory based results. The density of states and electronic band structure is computed for permutations of the four sublattices arranged differently along the (111) body diagonal, yielding metallic (Cr-V-Al-Ti), spin-gapless (Cr-V-Ti-Al) and spin-filtering (Cr-Ti-V-Al) phases. Robustness of the spin-gapless phase to substitutional disorder is also considered.


title: The Exploration of Chemical Reaction Networks

abstract: Modern computational chemistry has reached a stage at which massive exploration into chemical reaction space with unprecedented resolution with respect to the number of potentially relevant molecular structures has become possible. Various algorithmic advances have shown that such structural screenings must and can be automated and routinely carried out. This will replace the standard approach of manually studying a selected and restricted number of molecular structures for a chemical mechanism. The complexity of the task has led to many different approaches. However, all of them address the same general target, namely to produce a complete atomistic picture of the kinetics of a chemical process. It is the purpose of this overview to categorize the problems that are to be targeted and to identify the principle components and challenges of automated exploration machines so that the various existing approaches and future developments can be compared based on well-defined conceptual principles.


title: High-Harmonic generation from spin-polarised defects in solids

abstract: Generation of high-order harmonics in gases enabled to probe the attosecond electron dynamics in atoms and molecules with unprecedented resolution. Extending the techniques developed originally for atomic and molecular gases to solid state materials requires a fundamental understanding of the physics that has been partially addressed theoretically. Here we employ time-dependent density-functional theory to investigate how the electron dynamics resulting in high-harmonic emission in monolayer hexagonal boron nitride is affected by the presence of vacancies. We show how these realistic spin-polarised defects modify the harmonic emission, and demonstrate that important differences exist between harmonics from a pristine solid and a defected-solid. In particular, we found that the different spin channels are affected differently because of the presence of the spin-polarized point defect, and that localisation of the wavefunction, the geometry of the defect and the electron-electron interaction are all important ingredients to describe high-harmonic generation in defected-solids. We show that different vacancies lead to qualitatively different effects, thus opening the door to the high-harmonic imaging of spin-polarised defects in solids.

categories: physics.optics cond-mat.mes-hall cond-mat.mtrl-sci cond-mat.str-el physics.atom-ph


title: Compound Probabilistic Context-Free Grammars for Grammar Induction

abstract: We study a formalization of the grammar induction problem that models sentences as being generated by a compound probabilistic context-free grammar. In contrast to traditional formulations which learn a single stochastic grammar, our grammar's rule probabilities are modulated by a per-sentence continuous latent variable, which induces marginal dependencies beyond the traditional context-free assumptions. Inference in this grammar is performed by collapsed variational inference, in which an amortized variational posterior is placed on the continuous variable, and the latent trees are marginalized out with dynamic programming. Experiments on English and Chinese show the effectiveness of our approach compared to recent state-of-the-art methods when evaluated on unsupervised parsing.


title: Dynamical Constraints on RG Flows and Cosmology

abstract: Sum rules connecting low-energy observables to high-energy physics are an interesting way to probe the mechanism of inflation and its ultraviolet origin. Unfortunately, such sum rules have proven difficult to study in a cosmological setting. Motivated by this problem, we investigate a precise analogue of inflation in anti-de Sitter spacetime, where it becomes dual to a slow renormalization group flow in the boundary quantum field theory. This dual description provides a firm footing for exploring the constraints of unitarity, analyticity, and causality on the bulk effective field theory. We derive a sum rule that constrains the bulk coupling constants in this theory. In the bulk, the sum rule is related to the speed of radial propagation, while on the boundary, it governs the spreading of nonlocal operators. When the spreading speed approaches the speed of light, the sum rule is saturated, suggesting that the theory becomes free in this limit. We also discuss whether similar results apply to inflation, where an analogous sum rule exists for the propagation speed of inflationary fluctuations.


title: Communal pairing in spin-imbalanced Fermi gases

abstract: A spin-imbalanced Fermi gas with an attractive contact interaction forms a superconducting state whose underlying components are superpositions of Cooper pairs that share minority-spin fermions. This superconducting state includes correlations between all available fermions, making it energetically favorable to the Fulde--Ferrell--Larkin--Ovchinnikov superconducting state. The ratio of the number of up- and down-spin fermions in the instability is set by the ratio of the up- and down-spin density of states in momentum at the Fermi surfaces, to fully utilize the accessible fermions. We present analytical and complementary Diffusion Monte Carlo results for the state.


title: A Theoretical Connection Between Statistical Physics and Reinforcement Learning

abstract: Sequential decision making in the presence of uncertainty and stochastic dynamics gives rise to distributions over state/action trajectories in reinforcement learning (RL) and optimal control problems. This observation has led to a variety of connections between RL and inference in probabilistic graphical models (PGMs). Here we explore a different dimension to this relationship, examining reinforcement learning using the tools and abstractions of statistical physics. The central object in the statistical physics abstraction is the idea of a partition function $\mathcal{Z}$, and here we construct a partition function from the ensemble of possible trajectories that an agent might take in a Markov decision process. Although value functions and $Q$-functions can be derived from this partition function and interpreted via average energies, the $\mathcal{Z}$-function provides an object with its own Bellman equation that can form the basis of alternative dynamic programming approaches. Moreover, when the MDP dynamics are deterministic, the Bellman equation for $\mathcal{Z}$ is linear, allowing direct solutions that are unavailable for the nonlinear equations associated with traditional value functions. The policies learned via these $\mathcal{Z}$-based Bellman updates are tightly linked to Boltzmann-like policy parameterizations. In addition to sampling actions proportionally to the exponential of the expected cumulative reward as Boltzmann policies would, these policies take entropy into account favoring states from which many outcomes are possible.


title: Evaluating the Information Security Awareness of Smartphone Users

abstract: Information security awareness (ISA) is a practice focused on the set of skills, which help a user successfully mitigate a social engineering attack. Previous studies have presented various methods for evaluating the ISA of both PC and mobile users. These methods rely primarily on subjective data sources such as interviews, surveys, and questionnaires that are influenced by human interpretation and sincerity. Furthermore, previous methods for evaluating ISA did not address the differences between classes of social engineering attacks. In this paper, we present a novel framework designed for evaluating the ISA of smartphone users to specific social engineering attack classes. In addition to questionnaires, the proposed framework utilizes objective data sources: a mobile agent and a network traffic monitor; both of which are used to analyze the actual behavior of users. We empirically evaluated the ISA scores assessed from the three data sources (namely, the questionnaires, mobile agent, and network traffic monitor) by conducting a long-term user study involving 162 smartphone users. All participants were exposed to four different security challenges that resemble real-life social engineering attacks. These challenges were used to assess the ability of the proposed framework to derive a relevant ISA score. The results of our experiment show that: (1) the self-reported behavior of the users differs significantly from their actual behavior; and (2) ISA scores derived from data collected by the mobile agent or the network traffic monitor are highly correlated with the users' success in mitigating social engineering attacks.


title: Explicit transformation of an intersection of two quadrics to an elliptic curve in Weierstrass form

abstract: This paper, motivated by problems in Diophantine analysis which can be formulated as problems of finding rational points on the intersection of two quadrics, presents an explicit construction of a rationally defined isomorphism (biregular mapping) between a rationally defined smooth intersection of two quadrics in projective three-space and an elliptic curve in Weierstrass form which maps a distinguished rational point to the point at infinity. The usual approach of transforming a smooth plane cubic to a curve in Weierstrass form by mapping an inflection point to the point at infinity in a particular way is not applicable in our setting, because there may be no inflection point defined over the rationals. This difficulty is overcome by a construction dating back to Nagell. The results are exemplified in two situations of number-theoretical interest: Euler's problem of concordant forms and the occurrence of four rational squares in arithmetic progressions.


title: Environment-Assisted Quantum Photo-Protection in Interacting Multi-Exciton Transfer Complexes

abstract: Transport of excitons through transfer networks is a unique example where the interplay between quantum coherence and environment-induced dephasing leads to non-trivial effects. One exciting example is the "environment-assisted quantum transport", (ENAQT), where, counter intuitively, the environment interrupts quantum transport in a way that enhances the transfer efficiency. Here we show that the interplay between dephasing and quantum coherence can lead to an additional function in exciton transport - photo-protection, that is the reduction of current upon increased excitation. We start by demonstrating that even under weak coupling conditions, weak excitations can lead to multiple-exciton generation, thus going beyond the common single-exciton approximation. We then consider the transport of two excitons, and show that a interplay between dephasing and exciton-exciton interactions leads to a reduction in current, i.e. to photo-protection. The effect may be related to actual photo-protection observed in photosynthetic systems.

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


title: Mean-field limit of interacting 2D nonlinear stochastic spiking neurons

abstract: In this work, we propose a nonlinear stochastic model of a network of stochastic spiking neurons. We heuristically derive the mean-field limit of this system. We then design a Monte Carlo method for the simulation of the microscopic system, and a finite volume method (based on an upwind implicit scheme) for the mean-field model. The finite volume method respects numerical versions of the two main properties of the mean-field model, conservation and positivity, leading to existence and uniqueness of a numerical solution. As the size of the network tends to infinity, we numerically observe propagation of chaos and convergence from an individual description to a mean-field description. Numerical evidences for the existence of a Hopf bifurcation (synonym of synchronised activity) for a sufficiently high value of connectivity, are provided.


title: The $0\nu2\beta$-decay CROSS experiment: preliminary results and prospects

abstract: Neutrinoless double-beta decay is a key process in particle physics. Its experimental investigation is the only viable method that can establish the Majorana nature of neutrinos, providing at the same time a sensitive inclusive test of lepton number violation. CROSS (Cryogenic Rare-event Observatory with Surface Sensitivity) aims at developing and testing a new bolometric technology to be applied to future large-scale experiments searching for neutrinoless double-beta decay of the promising nuclei $^{100}$Mo and $^{130}$Te. The limiting factor in large-scale bolometric searches for this rare process is the background induced by surface radioactive contamination, as shown by the results of the CUORE experiment. The basic concept of CROSS consists of rejecting this challenging background component by pulse-shape discrimination, assisted by a proper coating of the faces of the crystal containing the isotope of interest and serving as energy absorber of the bolometric detector. In this paper, we demonstrate that ultra-pure superconductive Al films deposited on the crystal surfaces act successfully as pulse-shape modifiers, both with fast and slow phonon sensors. Rejection factors higher than 99.9% of $\alpha$ surface radioactivity have been demonstrated in a series of prototypes based on crystals of Li$_2$MoO$_4$ and TeO$_2$. We have also shown that point-like energy depositions can be identified up to a distance of $\sim 1$ mm from the coated surface. The present program envisions an intermediate experiment to be installed underground in the Canfranc laboratory (Spain) in a CROSS-dedicated facility. This experiment, comprising $\sim 3\times 10^{25}$ nuclei of $^{100}$Mo, will be a general test of the CROSS technology as well as a worldwide competitive search for neutrinoless double-beta decay, with sensitivity to the effective Majorana mass down to 70 meV in the most favorable conditions.


title: The full evolution of supernova remnants in low and high density ambient media

abstract: Supernova explosions and their remnants (SNRs) drive important feedback mechanisms that impact considerably the galaxies that host them. Then, the knowledge of the SNRs evolution is of paramount importance in the understanding of the structure of the interstellar medium (ISM) and the formation and evolution of galaxies. Here we study the evolution of SNRs in homogeneous ambient media from the initial, ejecta-dominated phase, to the final, momentum-dominated stage. The numerical model is based on the Thin-Shell approximation and takes into account the configuration of the ejected gas and radiative cooling. It accurately reproduces well known analytic and numerical results and allows one to study the SNR evolution in ambient media with a wide range of densities $n_{0}$. It is shown that in the high density cases, strong radiative cooling alters noticeably the shock dynamics and inhibits the Sedov-Taylor stage, thus limiting significantly the feedback that SNRs provide to such environments. For $n_{0}>5 \times 10^{5}$ cm$^{-3}$, the reverse shock does not reach the center of the explosion due to the rapid fall of the thermal pressure in the shocked gas caused by strong radiative cooling.


title: Parabolic complex Monge-Ampere equations on compact Kahler manifolds

abstract: We study the long-time existence and convergence of general parabolic complex Monge-Ampere type equations whose second order operator is not necessarily convex or concave in the Hessian matrix of the unknown solution.


title: Melting of vortex lattice in magnetic superconductor $\mathrm{Rb}\mathrm{Eu}\mathrm{Fe}_{4}\mathrm{As}_{4}$

abstract: The iron-based superconductors are characterized by strong fluctuations due to high transition temperatures and small coherence lengths. We investigate fluctuation behavior in the magnetic iron-pnictide superconductor $\mathrm{Rb}\mathrm{Eu}\mathrm{Fe}_{4}\mathrm{As}_{4}$ by calorimetry and transport. We find that the broadening of the specific-heat transition in magnetic fields is very well described by the lowest-Landau-level scaling. We report calorimetric and transport observations for vortex-lattice melting, which is seen as a sharp drop of the resistivity and a step of the specific heat at the magnetic-field-dependent temperature. The melting line in the temperature/magnetic-field plane lies noticeably below the upper-critical-field line and its location is in quantitative agreement with theoretical predictions without fitting parameters. Finally, we compare the melting behavior of $\mathrm{Rb}\mathrm{Eu}\mathrm{Fe}_{4}\mathrm{As}_{4}$ with other superconducting materials showing that thermal fluctuations of vortices are not as prevalent as in the high-temperature superconducting cuprates, yet they still noticeably influence the properties of the vortex matter.


title: Broken bricks and the pick-up sticks problem

abstract: We generalize the well-known broken stick problem in several ways, including a discrete "brick" analogue and a sequential "pick-up sticks/bricks" version. The limit behavior of the broken brick problem gives a combinatorial proof of the broken stick problem. The pick-up version gives a variation on those scenarios, and we conclude by showing a greater context---namely, that the broken stick/brick problem and the pick-up sticks/bricks problem are two extremes in a family of interesting, and largely open, questions.


title: Mapping System Level Behaviors with Android APIs via System Call Dependence Graphs

abstract: Due to Android's open source feature and low barriers to entry for developers, millions of developers and third-party organizations have been attracted into the Android ecosystem. However, over 90 percent of mobile malware are found targeted on Android. Though Android provides multiple security features and layers to protect user data and system resources, there are still some over-privileged applications in Google Play Store or third-party Android app stores at wild. In this paper, we proposed an approach to map system level behavior and Android APIs, based on the observation that system level behaviors cannot be avoided but sensitive Android APIs could be evaded. To the best of our knowledge, our approach provides the first work to map system level behavior and Android APIs through System Call Dependence Graphs. The study also shows that our approach can effectively identify potential permission abusing, with almost negligible performance impact.


title: Container Density Improvements with Dynamic Memory Extension using NAND Flash

abstract: While containers efficiently implement the idea of operating-system-level application virtualization, they are often insufficient to increase the server utilization to a desirable level. The reason is that in practice many containerized applications experience a limited amount of load while there are few containers with a high load. In such a scenario, the virtual memory management system can become the limiting factor to container density even though the working set of active containers would fit into main memory. In this paper, we describe and evaluate a system for transparently moving memory pages in and out of DRAM and to a NAND Flash medium which is attached through the memory bus. This technique, called Diablo Memory Expansion (DMX), operates on a prediction model and is able to relieve the pressure on the memory system. We present a benchmark for container density and show that even under an overall constant workload, adding additional containers adversely affects performance-critical applications in Docker. When using the DMX technology of the Memory1 system, however, the performance of the critical workload remains stable.


title: Comments on the article "A Bayesian conjugate gradient method"

abstract: The recent article "A Bayesian conjugate gradient method" by Cockayne, Oates, Ipsen, and Girolami proposes an approximately Bayesian iterative procedure for the solution of a system of linear equations, based on the conjugate gradient method, that gives a sequence of Gaussian/normal estimates for the exact solution. The purpose of the probabilistic enrichment is that the covariance structure is intended to provide a posterior measure of uncertainty or confidence in the solution mean. This note gives some comments on the article, poses some questions, and suggests directions for further research.


title: Keisler's order is not simple (and simple theories may not be either)

abstract: Solving a decades-old problem we show that Keisler's 1967 order on theories has the maximum number of classes. The theories we build are simple unstable with no nontrivial forking, and reflect growth rates of sequences which may be thought of as densities of certain regular pairs, in the sense of Szemer\'edi's regularity lemma. The proof involves ideas from model theory, set theory, and finite combinatorics.


title: Multi-label Classification with Optimal Thresholding for Multi-composition Spectroscopic Analysis

abstract: In this paper, we implement multi-label neural networks with optimal thresholding to identify gas species among a multi gas mixture in a cluttered environment. Using infrared absorption spectroscopy and tested on synthesized spectral datasets, our approach outperforms conventional binary relevance - partial least squares discriminant analysis when signal-to-noise ratio and training sample size are sufficient.


title: Library based identification and characterisation of polymers with nano-FTIR and IR-sSNOM imaging

abstract: AFM is a technique widely applied in the nanoscale characterisation of polymers and their surface properties. With nano-FTIR and IR-sSNOM imaging an optical dimension is added to this technique that allows for straightforward high resolution characterisation and spectroscopy of polymers. As the volume sampled by these near-field techniques depends mostly on the radius of the cantilever tip, typically 10 nm, it is orders of magnitude smaller than in conventional techniques. Nevertheless, comparability of nano-FTIR near-field spectra and data from macroscopic methods has been shown. Some relevant polymers such as polystyrene however, prove to be more difficult to detect than others. Furthermore, the small sampled volume suggests lower signal quality of nano-FTIR data and proof of its suitability for a reliable library search identification is lacking. To evaluate the techniques especially towards automatic and higher throughput identification of nanoscale polymers, for example in blends or environmental samples, we examined domain distributions in a PS-LDPE film and spectral responses of foils of the most relevant commercial polymers. We demonstrate the successful library search identification of all samples with nano-FTIR data measured in less than seven minutes/spectrum. We discuss aspects affecting the accuracy of the identification and show that already the small spectral range of 1700-1300 cm$^{-1}$ leads to similar success in differentiating between polymer types with near-field data as with conventional far-field FTIR spectroscopy.


title: Generating User-friendly Explanations for Loan Denials using GANs

abstract: Financial decisions impact our lives, and thus everyone from the regulator to the consumer is interested in fair, sound, and explainable decisions. There is increasing competitive desire and regulatory incentive to deploy AI mindfully within financial services. An important mechanism towards that end is to explain AI decisions to various stakeholders. State-of-the-art explainable AI systems mostly serve AI engineers and offer little to no value to business decision makers, customers, and other stakeholders. Towards addressing this gap, in this work we consider the scenario of explaining loan denials. We build the first-of-its-kind dataset that is representative of loan-applicant friendly explanations. We design a novel Generative Adversarial Network (GAN) that can accommodate smaller datasets, to generate user-friendly textual explanations. We demonstrate how our system can also generate explanations serving different purposes: those that help educate the loan applicants, or help them take appropriate action towards a future approval.


title: Walker diffusion method for solution of ohmic circuit problems

abstract: A probabilistic method is derived for solution of ohmic circuit problems. It is compared to the standard approach, which is construction and solution of a set of coupled, linear equations manifesting Kirchhoff's laws. An example is made of an electrical circuit that has the complicated connectivity of a bond-and-node Sierpinski triangle, which would be tedious to solve by matrix methods.


title: Uniformly consistent proportion estimation for composite hypotheses via integral equations

abstract: We consider estimating the proportion of random variables for two types of composite null hypotheses: (i) the means or medians of the random variables belonging to a non-empty, bounded interval; (ii) the means or medians of the random variables belonging to an unbounded interval that is not the whole real line. For each type of composite null hypotheses, uniform consistent estimators of the proportion of false null hypotheses are constructed respectively for random variables whose distributions are members of a Type I location-shift family or are members of the Gamma family. Further, uniformly consistent estimators of certain functions of a bounded null on the means or medians are provided for the two types of random variables mentioned earlier. These functions are continuous and of bounded variation. The estimators are constructed via solutions to Lebesgue-Stieltjes integral equations and harmonic analysis, do not rely on a concept of p-value, can be used to construct adaptive false discovery rate procedures and adaptive false nondiscovery rate procedures for multiple hypothesis testing, can be used in Bayesian inference via mixture models, and may be used to estimate the sparsity level in high-dimensional Gaussian linear models.


title: Boundary Independent Broadcasts in Graphs

abstract: A broadcast on a nontrivial connected graph G is a function f from the vertices of G to the non-negative integers such that f(v) does not exceed e(v) (the eccentricity of v) for each vertex v. If G is disconnected, we define a broadcast on G as the union of broadcasts on its components. In a search for the best way to generalise the concept of independent sets in graphs to independent broadcasts, there are several ways to look at an independent set X of a graph G. One way is from the point of view of the vertices in X: no two vertices are adjacent -- the usual definition. Another way is from the point of view of the edges of G: no edge is incident with (or covered by) more than one vertex in X. Using the latter approach we define boundary independent broadcasts as an alternative to independent broadcasts as defined by D. Erwin [Cost domination in graphs, Doctoral dissertation, Western Michigan University, 2001], which we refer to here as hearing or h-independent broadcasts. We compare the boundary independence broadcast number to the independence number and the h-independence broadcast number and show that the differences can be arbitrary, while the ratios are bounded; the bounds we present are asymptotically best possible. We also show that, although the difference between the boundary independence broadcast number and the independence number can be arbitrary for trees, they are equal for any 2-connected bipartite graph. We prove a tight upper bound for the boundary independence number and characterise graphs for which equality holds. Using this bound and the established ratio we obtain a new tight upper bound for Erwin's h-independence broadcast number.


title: Performance Enhancement of Diffusion-based Molecular Communication with Photolysis

abstract: Inter-Symbol Interference (ISI) is the main challenge of bio-inspired diffusion-based molecular communication. In real biological systems, the degradation of the remaining molecules from a previous transmission is used to mitigate ISI. While most prior works have proposed the use of enzymes to catalyze the molecule degradation, enzymes also degrade the molecules carrying the information, which drastically decreases the signal strength. In this paper, we propose the use of photolysis reactions, which use the light to instantly transform the emitted molecules so they are no longer recognized after their detection. The light is emitted at an optimal time, allowing the receiver to detect as many molecules as possible, which increases both the signal strength and ISI mitigation. A lower bound expression on the expected number of the observed molecules at the receiver is derived. The bit error probability expression is also formulated. Both the expected number of observed molecules and the bit error expressions are validated with simulation results, which show a visible enhancement when using photolysis reactions. The performance of the proposed method is evaluated using the Interference-to-Total-Received molecules metric (ITR) and the derived bit error probability.


title: Ionization Mechanisms in Quasar Outflows

abstract: The various ionization mechanisms at play in active galactic nuclei (AGN) and quasars have been well studied, but relatively little has been done to separately investigate the contributions of these ionization mechanisms within the host galaxy and outflowing components. Using Gemini integral field spectroscopy (IFS) data, we study the ionization properties of these two components in four nearby ($z \lesssim$ 0.2) radio-quiet Type 1 quasars. Emission line ratios and widths are employed to identify the dominant ionization mechanisms for the host and outflow components in each object. We find that photoionization by the AGN often dominates the ionization of both gaseous components in these systems. In three cases, the outflowing gas is more highly ionized than the gas in the host, indicating that it is more strongly exposed to the ionizing radiation field of the AGN. In two objects, a positive correlation between the line widths and line ratios in the outflowing gas component indicates that shocks with velocities of order 100 $-$ 500 km s$^{-1}$ may also be contributing to the ionization and heating of the outflowing gas component. The line ratios in the outflowing gas of one of these two objects also suggest a significant contribution from photoionization by hot, young stars in the portion of the outflow that is closest to star-forming regions in the host galaxy component. The data thus favor photoionization by hot stars in the host galaxy rather than stars formed in the outflow itself.


title: Swap Dynamics in Single-Peaked Housing Markets

abstract: This paper focuses on the problem of fairly and efficiently allocating resources to agents. We consider a specific setting, usually referred to as a housing market, where each agent must receive exactly one resource (and initially owns one). In this framework, in the domain of linear preferences, the Top Trading Cycle (TTC) algorithm is the only procedure satisfying Pareto-optimality, individual rationality and strategy-proofness. Under the restriction of single-peaked preferences, Crawler enjoys the same properties. These two centralized procedures might however involve long trading cycles. In this paper we focus instead on procedures involving the shortest cycles: bilateral swap-deals. In such swap dynamics, the agents perform pairwise mutually improving deals until reaching a swap-stable allocation (no improving swap-deal is possible). We prove that in the single-peaked domain every swap-stable allocation is Pareto-optimal, showing the efficiency of the swap dynamics. In fact, this domain turns out to be maximal when it comes to guaranteeing this property. Besides, both the outcome of TTC and Crawler can always be reached by sequences of swaps. However, some Pareto-optimal allocations are not reachable through improving swap-deals. We further analyze the outcome of swap dynamics through social welfare notions, in our context the average or minimum rank of the resources obtained by agents in the final allocation. We start by providing a worst-case analysis of these procedures. Finally, we present an extensive experimental study in which different versions of swap dynamics are compared to other existing allocation procedures. We show that they exhibit good results on average in this domain, under different cultures for generating synthetic data.


title: Artificial Neural Network with Physical Dynamic Metasurface Layer for Optimal Sensing

abstract: We address the fundamental question of how to optimally probe a scene with electromagnetic (EM) radiation to yield a maximum amount of information relevant to a particular task. Machine learning (ML) techniques have emerged as powerful tools to extract task-relevant information from a wide variety of EM measurements, ranging from optics to the microwave domain. However, given the ability to actively illuminate a particular scene with a programmable EM wavefront, it is often not clear what wavefronts optimally encode information for the task at hand (e.g., object detection, classification). Here, we show that by integrating a physical model of scene illumination and detection into a ML pipeline, we can jointly learn optimal sampling and measurement processing strategies for a given task. We consider in simulation the example of classifying objects using microwave radiation produced by dynamic metasurfaces. By integrating an analytical forward model describing the metamaterial elements as coupled dipoles into the ML pipeline, we jointly train analog model weights with digital neural network weights. The learned non-intuitive illumination settings yield a higher classification accuracy using fewer measurements. On the practical level, these results are highly relevant to emerging context-aware systems such as autonomous vehicles, touchless human-interactive devices or within smart health care, where strict time constraints place severe limits on measurement strategies. On the conceptual level, our work serves as a bridge between wavefront shaping and tunable metasurface design on the physical layer and ML techniques on the processing layer.

categories: physics.app-ph cond-mat.dis-nn physics.comp-ph physics.optics


title: Bayesian Clustering for Continuous-Time Hidden Markov Models

abstract: We develop clustering procedures for longitudinal trajectories based on a continuous-time hidden Markov model (CTHMM) and a generalized linear observation model. Specifically in this paper, we carry out finite and infinite mixture model-based clustering for a CTHMM and achieve inference using Markov chain Monte Carlo (MCMC). For a finite mixture model with prior on the number of components, we implement reversible-jump MCMC to facilitate the trans-dimensional move between different number of clusters. For a Dirichlet process mixture model, we utilize restricted Gibbs sampling split-merge proposals to expedite the MCMC algorithm. We employ proposed algorithms to the simulated data as well as a real data example, and the results demonstrate the desired performance of the new sampler.


title: Quantified uncertainty of flexible protein-protein docking algorithms

abstract: The strength or weakness of an algorithm is ultimately governed by the confidence of its result. When the domain of the problem is large (e.g. traversal of a high-dimensional space), a perfect solution cannot be obtained, so approximations must be made. These approximations often lead to a reported quantity of interest (QOI) which varies between runs, decreasing the confidence of any single run. When the algorithm further computes this final QOI based on uncertain or noisy data, the variability (or lack of confidence) of the final QOI increases. Unbounded, these two sources of uncertainty (algorithmic approximations and uncertainty in input data) can result in a reported statistic that has low correlation with ground truth. In biological applications, this is especially applicable, as the search space is generally approximated at least to some degree (e.g. a high percentage of protein structures are invalid or energetically unfavorable) and the explicit conversion from continuous to discrete space for protein representation implies some uncertainty in the input data. This research applies uncertainty quantification techniques to the difficult protein-protein docking problem, first showing the variability that exists in existing software, and then providing a method for computing probabilistic certificates in the form of Chernoff-like bounds. Finally, this paper leverages these probabilistic certificates to accurately bound the uncertainty in docking from two docking algorithms, providing a QOI that is both robust and statistically meaningful.


title: Relevance of Cu-3d multiplet structure in models of high Tc cuprates

abstract: We revisit the problem of the spectra of two holes in a CuO$_{2}$ layer, modeled as a Cu-d$^{8}$ impurity with full multiplet structure coupled to a full O-2p band as an approximation to the local electronic structure of a hole doped cuprate. Unlike previous studies that treated the O band as a featureless bath, we describe it with a realistic tight binding model. While our results are in qualitative agreement with previous work, we find considerable quantitative changes when using the proper O-2p band structure. We also find (i) that only the ligand O-2p orbitals play an essential role, within this impurity model; (ii) that the three-orbital Emery model provides an accurate description for the subspace with $^{1}\!A_1$ symmetry, which includes the ground-state in the relevant region of the phase diagram; (iii) that this ground-state has only $\sim 50\%$ overlap with a Zhang-Rice singlet; (iv) that there are other low-energy states, in subspaces with different symmetries, that are absent from the three-orbital Emery model and its one-band descendants. These states play an important role in describing the elementary excitations of doped cuprates.


title: Coherent conversion between microwave and optical photons -- an overview of physical implementations

abstract: Quantum information technology based on solid state qubits has created much interest in converting quantum states from the microwave to the optical domain. Optical photons, unlike microwave photons, can be transmitted by fiber, making them suitable for long distance quantum communication. Moreover, the optical domain offers access to a large set of very well developed quantum optical tools, such as highly efficient single-photon detectors and long-lived quantum memories. For a high fidelity microwave to optical transducer, efficient conversion at single photon level and low added noise is needed. Currently, the most promising approaches to build such systems are based on second order nonlinear phenomena such as optomechanical and electro-optic interactions. Alternative approaches, although not yet as efficient, include magneto-optical coupling and schemes based on isolated quantum systems like atoms, ions or quantum dots. In this Progress Report, we provide the necessary theoretical foundations for the most important microwave-to-optical conversion experiments, describe their implementations and discuss current limitations and future prospects.


title: Good Secretaries, Bad Truck Drivers? Occupational Gender Stereotypes in Sentiment Analysis

abstract: In this work, we investigate the presence of occupational gender stereotypes in sentiment analysis models. Such a task has implications for reducing implicit biases in these models, which are being applied to an increasingly wide variety of downstream tasks. We release a new gender-balanced dataset of 800 sentences pertaining to specific professions and propose a methodology for using it as a test bench to evaluate sentiment analysis models. We evaluate the presence of occupational gender stereotypes in 3 different models using our approach, and explore their relationship with societal perceptions of occupations.


title: Scaled and Dynamic Optimizations of Nudged Elastic Bands

abstract: We present a modified nudged elastic band routine that can reduce the number of force calls by more than 50% for bands with non-uniform convergence. The method, which we call "dyNEB", dynamically and selectively optimizes states based on the perpendicular forces and parallel spring forces acting on that region of the band. The convergence criteria are scaled to focus on the region of interest, i.e., the saddle point, while maintaining continuity of the band and avoiding truncation. We show that this method works well for solid state reaction barriers---non-electrochemical in general and electrochemical in particular---and that the number of force calls can be significantly reduced without loss of resolution at the saddle point.


title: Policy Targeting under Network Interference

abstract: This paper studies the problem of optimally allocating treatments in the presence of spillover effects, using information from a (quasi-)experiment. I introduce a method that maximizes the sample analog of average social welfare when spillovers occur. I construct semi-parametric welfare estimators with known and unknown propensity scores and cast the optimization problem into a mixed-integer linear program, which can be solved using off-the-shelf algorithms. I derive a strong set of guarantees on regret, i.e., the difference between the maximum attainable welfare and the welfare evaluated at the estimated policy. The proposed method presents attractive features for applications: (i) it does not require network information of the target population; (ii) it exploits heterogeneity in treatment effects for targeting individuals; (iii) it does not rely on the correct specification of a particular structural model; and (iv) it accommodates constraints on the policy function. An application for targeting information on social networks illustrates the advantages of the method.


title: Weak Modularity and $\widetilde{A}_n$ Buildings

abstract: The $\widetilde{A}_n$ Coxeter groups are known to not be systolic or cocompactly cubulated for $n\geq 3$. We prove that these groups act geometrically on weakly modular graphs, a weak notion of nonpositive curvature generalizing the 1-skeleta of $\mathrm{CAT}(0)$ cube complexes and systolic complexes. To prove weak modularity we describe the canonical emeddings of the 1-skeleta of $\widetilde{A}_n$ Coxeter complexes into the Euclidean spaces $\mathbb{R}^{n+1}$. We also prove weak modularity for buildings of type $\widetilde{A}_3$.


title: Black Holes: The Next Generation -- Repeated Mergers in Dense Star Clusters and their Gravitational-Wave Properties

abstract: When two black holes merge in a dense star cluster, they form a new black hole with a well-defined mass and spin. If that "second-generation" black hole remains in the cluster, it will continue to participate in dynamical encounters, form binaries, and potentially merge again. Using a grid of 96 dynamical models of dense star clusters and a cosmological model of cluster formation, we explore the production of binary black hole mergers where at least one component of the binary was forged in a previous merger. We create four hypothetical universes where every black hole born in the collapse of a massive star has a dimensionless Kerr spin parameter, $\chi_{\rm birth}$, of 0.0, 0.1, 0.2, or 0.5. We show that if all stellar-born black holes are non-spinning ($\chi_{\rm birth} = 0.0$), then more than 10% of merging binary black holes from clusters have components formed from previous mergers, accounting for more than 20% of the mergers from globular clusters detectable by LIGO/Virgo. Furthermore, nearly 7% of detectable mergers would have a component with a mass $\gtrsim 55M_{\odot}$, placing them clearly in the mass "gap" region where black holes cannot form from isolated collapsing stars due to the pulsational-pair instability mechanism. On the other hand, if black holes are born spinning, then the contribution from these second-generation mergers decreases, making up as little as 1% of all detections from globular clusters when $\chi_{\rm birth} = 0.5$. We make quantitative predictions for the detected masses, mass ratios, and spin properties of first- and second-generation mergers from dense star clusters, and show how these distributions are highly sensitive to the birth spins of black holes.


title: Datalog Materialisation in Distributed RDF Stores with Dynamic Data Exchange

abstract: Several centralised RDF systems support datalog reasoning by precomputing and storing all logically implied triples using the wellknown seminaive algorithm. Large RDF datasets often exceed the capacity of centralised RDF systems, and a common solution is to distribute the datasets in a cluster of shared-nothing servers. While numerous distributed query answering techniques are known, distributed seminaive evaluation of arbitrary datalog rules is less understood. In fact, most distributed RDF stores either support no reasoning or can handle only limited datalog fragments. In this paper we extend the dynamic data exchange approach for distributed query answering by Potter et al. [12] to a reasoning algorithm that can handle arbitrary rules while preserving important properties such as nonrepetition of inferences. We also show empirically that our algorithm scales well to very large RDF datasets


title: Laboratory tests of the ordinary-mirror particle oscillations and the extended CKM matrix

abstract: The CKM matrix and its unitarity is analyzed by disentangling experimental information obtained from three different particle systems of neutrons, mesons, and nuclei. New physics beyond the Standard Model is supported under the new analysis. In particular, the newly proposed mirror-matter model [Phys. Lett. B 797, 134921 (2019)] can provide the missing physics and naturally extend the CKM matrix. Laboratory experiments with current technology for measuring neutron, meson, and nuclear decays under various scenarios are proposed. Such measurements can provide stringent tests of the new model and the extended CKM matrix.


title: DLIME: A Deterministic Local Interpretable Model-Agnostic Explanations Approach for Computer-Aided Diagnosis Systems

abstract: Local Interpretable Model-Agnostic Explanations (LIME) is a popular technique used to increase the interpretability and explainability of black box Machine Learning (ML) algorithms. LIME typically generates an explanation for a single prediction by any ML model by learning a simpler interpretable model (e.g. linear classifier) around the prediction through generating simulated data around the instance by random perturbation, and obtaining feature importance through applying some form of feature selection. While LIME and similar local algorithms have gained popularity due to their simplicity, the random perturbation and feature selection methods result in "instability" in the generated explanations, where for the same prediction, different explanations can be generated. This is a critical issue that can prevent deployment of LIME in a Computer-Aided Diagnosis (CAD) system, where stability is of utmost importance to earn the trust of medical professionals. In this paper, we propose a deterministic version of LIME. Instead of random perturbation, we utilize agglomerative Hierarchical Clustering (HC) to group the training data together and K-Nearest Neighbour (KNN) to select the relevant cluster of the new instance that is being explained. After finding the relevant cluster, a linear model is trained over the selected cluster to generate the explanations. Experimental results on three different medical datasets show the superiority for Deterministic Local Interpretable Model-Agnostic Explanations (DLIME), where we quantitatively determine the stability of DLIME compared to LIME utilizing the Jaccard similarity among multiple generated explanations.


title: Sequential Neural Processes

abstract: Neural Processes combine the strengths of neural networks and Gaussian processes to achieve both flexible learning and fast prediction in stochastic processes. However, a large class of problems comprises underlying temporal dependency structures in a sequence of stochastic processes that Neural Processes (NP) do not explicitly consider. In this paper, we propose Sequential Neural Processes (SNP) which incorporates a temporal state-transition model of stochastic processes and thus extends its modeling capabilities to dynamic stochastic processes. In applying SNP to dynamic 3D scene modeling, we introduce the Temporal Generative Query Networks. To our knowledge, this is the first 4D model that can deal with the temporal dynamics of 3D scenes. In experiments, we evaluate the proposed methods in dynamic (non-stationary) regression and 4D scene inference and rendering.


title: Reliable Slicing of 5G Transport Networks with Dedicated Protection

abstract: In 5G networks, slicing allows partitioning of network resources to meet stringent end-to-end service requirements across multiple network segments, from access to transport. These requirements are shaping technical evolution in each of these segments. In particular, the transport segment is currently evolving in the direction of the so-called elastic optical networks (EONs), a new generation of optical networks supporting a flexible optical-spectrum grid and novel elastic transponder capabilities. In this paper, we focus on the reliability of 5G transport-network slices in EON. Specifically, we consider the problem of slicing 5G transport networks, i.e., establishing virtual networks on 5G transport, while providing dedicated protection. As dedicated protection requires large amount of backup resources, our proposed solution incorporates two techniques to reduce backup resources: (i) bandwidth squeezing, i.e., providing a reduced protection bandwidth with respect to the original request; and (ii) survivable multi-path provisioning. We leverage the capability of EONs to fine tune spectrum allocation and adapt modulation format and Forward Error Correction (FEC) for allocating rightsize spectrum resources to network slices. Our numerical evaluation over realistic case-study network topologies quantifies the spectrum savings achieved by employing EON over traditional fixed-grid optical networks, and provides new insights on the impact of bandwidth squeezing and multi-path provisioning on spectrum utilization.


title: Hop-by-Hop Multipath Routing: Choosing the Right Nexthop Set

abstract: The Internet can be made more efficient and robust with hop-by-hop multipath routing: Each router on the path can split packets between multiple nexthops in order to 1) avoid failed links and 2) reduce traffic on congested links. Before deciding how to split traffic, one first needs to decide which nexthops to allow at each step. In this paper, we investigate the requirements and trade-offs for making this choice. Most related work chooses the viable nexthops by applying the "Downward Criterion", i.e., only adding nexthops that lead closer to the destination; or more generally by creating a Directed Acyclic Graph (DAG) for each destination. We show that a DAG's nexthop options are necessarily limited, and that, by using certain links in both directions (per destination), we can add further nexthops while still avoiding loops. Our solution LFID (Loop-Free Inport-Dependent) routing, though having a slightly higher time complexity, leads to both a higher number of and shorter potential paths than related work. LFID thus protects against a higher percentage of single and multiple failures (or congestions) and comes close to the performance of arbitrary source routing.


title: Efficient Multi-Domain Network Learning by Covariance Normalization

abstract: The problem of multi-domain learning of deep networks is considered. An adaptive layer is induced per target domain and a novel procedure, denoted covariance normalization (CovNorm), proposed to reduce its parameters. CovNorm is a data driven method of fairly simple implementation, requiring two principal component analyzes (PCA) and fine-tuning of a mini-adaptation layer. Nevertheless, it is shown, both theoretically and experimentally, to have several advantages over previous approaches, such as batch normalization or geometric matrix approximations. Furthermore, CovNorm can be deployed both when target datasets are available sequentially or simultaneously. Experiments show that, in both cases, it has performance comparable to a fully fine-tuned network, using as few as 0.13% of the corresponding parameters per target domain.


title: Finite-rank perturbations of random band matrices via infinitesimal free probability

abstract: We prove a sharp $\sqrt{N}$ transition for the infinitesimal distribution of a periodically banded GUE matrix. For band widths $b_N = \Omega(\sqrt{N})$, we further prove that our model is infinitesimally free from the matrix units and the normalized all-ones matrix. Our results allow us to extend previous work of Shlyakhtenko on finite-rank perturbations of Wigner matrices in the infinitesimal framework. For finite-rank perturbations of our model, we find outliers at the classical positions from the deformed Wigner ensemble.


title: Serif or Sans: Visual Font Analytics on Book Covers and Online Advertisements

abstract: In this paper, we conduct a large-scale study of font statistics in book covers and online advertisements. Through the statistical study, we try to understand how graphic designers relate fonts and content genres and identify the relationship between font styles, colors, and genres. We propose an automatic approach to extract font information from graphic designs by applying a sequence of character detection, style classification, and clustering techniques to the graphic designs. The extracted font information is accumulated together with genre information, such as romance or business, for further trend analysis. Through our unique empirical study, we show that the collected font statistics reveal interesting trends in terms of how typographic design represents the impression and the atmosphere of the content genres.


title: Compositionally graded contact layers for MOCVD grown high Al-content AlGaN transistors

abstract: In this letter, we design and demonstrate an improved MOCVD grown reverse Al-composition graded contact layer to achieve low resistance contact to MOCVD grown ultra-wide bandgap (UWBG) Al0.70Ga0.30N channel metal semiconductor field-effect transistors (MESFETs). Increasing the thickness of the reverse graded layer was found to improve contact layer resistance significantly, leading to contact resistance of 3.3x10^-5 Ohm.cm2. Devices with gate length, LG, of 0.6 microns and source-drain spacing, LSD, of 1.5 microns displayed a maximum current density, IDSMAX, of 635 mA/mm with an applied gate voltage, VGS, of +2 V. Breakdown measurements on transistors with gate to drain spacing, LGD, of 770 nm had breakdown voltage greater than 220 , corresponding to minimum breakdown field of 2.86 MV/cm. This work provides a framework for the design of low resistance contacts to MOCVD grown high Al-content AlxGa1-xN channel transistors.

categories: physics.app-ph cond-mat.mes-hall cond-mat.mtrl-sci cond-mat.other


title: Biisometric operators and biorthogonal sequences

abstract: It is shown that a pair of Hilbert space operators V and W such that V*W=I (called a biisometric pair) shares some common properties with unilateral shifts when orthonormal basis are replaced with biorthogonal sequences, and it is also shown how such a pair of biisometric operators yields a pair of biorthogonal sequences which are shifted by them. These are applied to a class of Laguerre operators on L2.


title: CAPnet: A Defense Against Cache Accounting Attacks on Content Distribution Networks

abstract: Peer-assisted content distribution networks(CDNs) have emerged to improve performance and reduce deployment costs of traditional, infrastructure-based content delivery networks. This is done by employing peer-to-peer data transfers to supplement the resources of the network infrastructure. However, these hybrid systems are vulnerable to accounting attacks in which the peers, or caches, collude with clients in order to report that content was transferred when it was not. This is a particular issue in systems that incentivize cache participation, because malicious caches may collect rewards from the content publishers operating the CDN without doing any useful work. In this paper, we introduce CAPnet, the first technique that lets untrusted caches join a peer-assisted CDN while providing a bound on the effectiveness of accounting attacks. At its heart is a lightweight cache accountability puzzle that clients must solve before caches are given credit. This puzzle requires colocating the data a client has requested, so its solution confirms that the content (or at least an amount of data within a pre-configured bound) has actually been retrieved. We analyze the security and overhead of our scheme in realistic scenarios. The results show that a modest client machine using a single core can solve puzzles at a rate sufficient to simultaneously watch dozens of 1080p videos. The technique is designed to be even more scalable on the server side. In our experiments, one core of a single low-end machine is able to generate puzzles for 4.26 Tbps of bandwidth - enabling 870,000 clients to concurrently view the same 1080p video. This demonstrates that our scheme can ensure cache accountability without degrading system productivity.


title: Designing compact training sets for data-driven molecular property prediction

abstract: In this paper, we consider the problem of designing a training set using the most informative molecules from a specified library to build data-driven molecular property models. Specifically, we use (i) sparse generalized group additivity and (ii) kernel ridge regression as two representative classes of models, we propose a method combining rigorous model-based design of experiments and cheminformatics-based diversity-maximizing subset selection within the epsilon--greedy framework to systematically minimize the amount of data needed to train these models. We demonstrate the effectiveness of the algorithm on subsets of various databases, including QM7, NIST, and a catalysis dataset. For sparse group additive models, a balance between exploration (diversity-maximizing selection) and exploitation (D-optimality selection) leads to learning with a fraction (sometimes as little as 15%) of the data to achieve similar accuracy as five-fold cross validation on the entire set. On the other hand, kernel ridge regression prefers diversity-maximizing selections.


title: Koopman Operators for Generalized Persistence of Excitation Conditions for Nonlinear Systems

abstract: It is hard to identify nonlinear biological models strictly from data, with results that are often sensitive to experimental conditions. Automated experimental workflows and liquid handling enables unprecedented throughput, as well as the capacity to generate extremely large datasets. We seek to develop generalized identifiability conditions for informing the design of automated experiments to discover predictive nonlinear biological models. For linear systems, identifiability is characterized by persistence of excitation conditions. For nonlinear systems, no such persistence of excitation conditions exist. We use the input-Koopman operator method to model nonlinear systems and derive identifiability conditions for open-loop systems initialized from a single initial condition. We show that nonlinear identifiability is intrinsically tied to the rank of a given dataset's power spectral density, transformed through the lifted Koopman observable space. We illustrate these identifiability conditions with a simulated synthetic gene circuit model, the repressilator. We illustrate how rank degeneracy in datasets results in overfitted nonlinear models of the repressilator, resulting in poor predictive accuracy. Our findings provide novel experimental design criteria for discovery of globally predictive nonlinear models of biological phenomena.


title: 2-Edge-Connectivity and 2-Vertex-Connectivity of an Asynchronous Distributed Network

abstract: Self-stabilization for non-masking fault-tolerant distributed system has received considerable research interest over the last decade. In this paper, we propose a self-stabilizing algorithm for 2-edge-connectivity and 2-vertex-connectivity of an asynchronous distributed computer network. It is based on a self-stabilizing depth-first search, and is not a composite algorithm in the sense that it is not composed of a number of self-stabilizing algorithms that run concurrently. The time and space complexities of the algorithm are the same as those of the underlying self-stabilizing depth-first search algorithm which are O(dn\Delta) rounds and O(n\log \Delta) bits per processor, respectively, where \Delta (<= n) is an upper bound on the degree of a node, d (<= n) is the diameter of the graph, and n is the number of nodes in the network.


title: Discrete remnants of orbifolding

abstract: We revisit the residual symmetries that survive the orbifold projections, and find additional transformations that have been overlooked in the past. Some of these transformations are outer automorphisms of the downstairs continuous symmetry group. Examples for these transformations include the left-right parity of the Pati-Salam model and its left-right symmetric subgroup.


title: Comments on the continuing widespread and unnecessary use of a defective emission equation in field emission related literature

abstract: Field electron emission (FE) has relevance in many different technological contexts. However, many related technological papers use a physically defective elementary FE equation for local emission current density (LECD). This equation takes the tunneling barrier as exactly triangular, as in the original FE theory of 90 years ago. More than 60 years ago, it was shown that the so-called Schottky-Nordheim (SN) barrier, which includes an image-potential-energy term (that models exchange-and-correlation effects) is better physics. For a metal-like emitter with work-function 4.5 eV, the SN-barrier-related Murphy-Good FE equation predicts LECD values that are higher than the elementary equation values by a large factor, often between around 250 and around 500. By failing to mention/apply this 60-year-old established science, or to inform readers of the large errors associated with the elementary equation, many papers (aided by defective reviewing) spread a new kind of "pathological science", and create a modern research-integrity problem. The present paper aims to enhance author and reviewer awareness by summarizing relevant aspects of FE theory, by explicitly identifying the misjudgment in the original 1928 Fowler-Nordheim paper, by explicitly calculating the size of the resulting error, and by showing in detail why most FE theoreticians regard the 1950s modifications as better physics. Suggestions are made, about nomenclature and about citation practice, that may help to diminish misunderstandings.


title: Exact Solutions for Free Vibration Analysis of Thick Laminated Annular Circular Plates Using Third-Order Shear Deformation Plate Theory

abstract: In this paper, an exact analytical solution for free vibration analysis of thick laminated annular circular plates is presented.


title: Analytical proof of Schottky Conjecture for multi-stage field emitters

abstract: Schottky Conjecture is analytically proved for multi-stage field emitters consisting on the superposition of rectangular or trapezoidal protrusions on a line under some specific limit. The case in which a triangular protrusion is present on the top of each emitter is also considered as an extension of the model. The results presented here are obtained via Schwarz-Christoffel conformal mapping and reinforce the validity of Schottky Conjecture when each protrusion is much larger than the ones above it, even when an arbitrary number of stages is considered. Moreover, it is showed that it is not necessary to require self-similarity between each of the stages in order to ensure the validity of the conjecture under the appropriate limits.


title: The Bose representation of PG(2,q^3) in PG(8,q)

abstract: This article looks at the Bose representation of $PG(2,q^3)$ as a 2-spread of $PG(8,q)$. It is shown that an $\mathbb F_q$-subline of $PG(2,q^3)$ corresponds to a 2-regulus, and an $\mathbb F_q$-subplane corresponds to a Segre variety $S_{2;2}$. Moreover, the extension of these varieties to $PG(8,q^3)$ and $PG(8,q^6)$ is determined. These are used to determine the structure of an $\mathbb F_q$-conic of $PG(2,q^3)$ in the Bose representation in $PG(8,q)$.


title: Non-local non-linear sigma models

abstract: We study non-local non-linear sigma models in arbitrary dimension, focusing on the scale invariant limit in which the scalar fields naturally have scaling dimension zero, so that the free propagator is logarithmic. The classical action is a bi-local integral of the square of the arc length between points on the target manifold. One-loop divergences can be canceled by introducing an additional bi-local term in the action, proportional to the target space laplacian of the square of the arc length. The metric renormalization that one encounters in the two-derivative non-linear sigma model is absent in the non-local case. In our analysis, the target space manifold is assumed to be smooth and Archimedean; however, the base space may be either Archimedean or ultrametric. We comment on the relation to higher derivative non-linear sigma models and speculate on a possible application to the dynamics of M2-branes.


title: Saliency-driven Word Alignment Interpretation for Neural Machine Translation

abstract: Despite their original goal to jointly learn to align and translate, Neural Machine Translation (NMT) models, especially Transformer, are often perceived as not learning interpretable word alignments. In this paper, we show that NMT models do learn interpretable word alignments, which could only be revealed with proper interpretation methods. We propose a series of such methods that are model-agnostic, are able to be applied either offline or online, and do not require parameter update or architectural change. We show that under the force decoding setup, the alignments induced by our interpretation method are of better quality than fast-align for some systems, and when performing free decoding, they agree well with the alignments induced by automatic alignment tools.


title: Certifiably Optimal Sparse Inverse Covariance Estimation

abstract: We consider the maximum likelihood estimation of sparse inverse covariance matrices. We demonstrate that current heuristic approaches primarily encourage robustness, instead of the desired sparsity. We give a novel approach that solves the cardinality constrained likelihood problem to certifiable optimality. The approach uses techniques from mixed-integer optimization and convex optimization, and provides a high-quality solution with a guarantee on its suboptimality, even if the algorithm is terminated early. Using a variety of synthetic and real datasets, we demonstrate that our approach can solve problems where the dimension of the inverse covariance matrix is up to 1,000s. We also demonstrate that our approach produces significantly sparser solutions than Glasso and other popular learning procedures, makes less false discoveries, while still maintaining state-of-the-art accuracy.


title: Appearance and Shape from Water Reflection

abstract: This paper introduces single-image geometric and appearance reconstruction from water reflection photography, i.e., images capturing direct and water-reflected real-world scenes. Water reflection offers an additional viewpoint to the direct sight, collectively forming a stereo pair. The water-reflected scene, however, includes internally scattered and reflected environmental illumination in addition to the scene radiance, which precludes direct stereo matching. We derive a principled iterative method that disentangles this scene radiometry and geometry for reconstructing 3D scene structure as well as its high-dynamic range appearance. In the presence of waves, we simultaneously recover the wave geometry as surface normal perturbations of the water surface. Most important, we show that the water reflection enables calibration of the camera. In other words, for the first time, we show that capturing a direct and water-reflected scene in a single exposure forms a self-calibrating HDR catadioptric stereo camera. We demonstrate our method on a number of images taken in the wild. The results demonstrate a new means for leveraging this accidental catadioptric camera.


title: Observations of a Pre-Merger Shock in Colliding Clusters of Galaxies

abstract: Clusters of galaxies are the largest known gravitationally-bound structures in the Universe. When clusters collide, they create merger shocks on cosmological scales, which transform most of the kinetic energy carried by the cluster gaseous halos into heat. Observations of merger shocks provide key information of the merger dynamics, and enable insights into the formation and thermal history of the large-scale structures. Nearly all of the merger shocks are found in systems where the clusters have already collided, knowledge of shocks in the pre-merger phase is a crucial missing ingredient. Here we report on the discovery of a unique shock in a cluster pair 1E 2216 and 1E 2215. The two clusters are observed at an early phase of major merger. Contrary to all the known merger shocks observed ubiquitously on merger axes, the new shock propagates outward along the equatorial plane of the merger. This discovery uncovers an important epoch in the formation of massive clusters, when the rapid approach of the cluster pair leads to strong compression of gas along the merger axis. Current theoretical models predict that the bulk of the shock energy might be dissipated outside the clusters, and eventually turn into heat of the pristine gas in the circum-cluster space.


title: Simultaneous Variable Selection, Clustering, and Smoothing in Function on Scalar Regression

abstract: We address the problem of multicollinearity in a function-on-scalar regression model by using a prior which simultaneously selects, clusters, and smooths functional effects. Our methodology groups effects of highly correlated predictors, performing dimension reduction without dropping relevant predictors from the model. We validate our approach via a simulation study, showing superior performance relative to existing dimension reduction approaches in the function-on-scalar literature. We also demonstrate the use of our model on a data set of age specific fertility rates from the United Nations Gender Information database.


title: The Solvability of a Strongly-Coupled Nonlocal System of Equations

abstract: We prove existence and uniqueness of strong (pointwise) solutions to a linear nonlocal strongly coupled hyperbolic system of equations posed on all of Euclidean space. The system of equations comes from a linearization of a nonlocal model of elasticity in solid mechanics. It is a nonlocal analogue of the Navier-Lam\'e system of classical elasticity. We use a well-known semigroup technique that hinges on the strong solvability of the corresponding steady-state elliptic system. The leading operator is an integro-differential operator characterized by a distinctive matrix kernel which is used to couple differences of components of a vector field. For an operator possessing an asymmetric kernel comparable to that of the fractional Laplacian, we prove the $L^2$-solvability of the elliptic system in a Bessel potential space using the Fourier transform and \textit{a priori} estimates. This $L^2$-solvability together with the Hille-Yosida theorem is used to prove the well posedness of the wave-type time dependent problem. For the fractional Laplacian kernel we extend the solvability to $L^p$ spaces using classical multiplier theorems.


title: 3DBGrowth: volumetric vertebrae segmentation and reconstruction in magnetic resonance imaging

abstract: Segmentation of medical images is critical for making several processes of analysis and classification more reliable. With the growing number of people presenting back pain and related problems, the semi-automatic segmentation and 3D reconstruction of vertebral bodies became even more important to support decision making. A 3D reconstruction allows a fast and objective analysis of each vertebrae condition, which may play a major role in surgical planning and evaluation of suitable treatments. In this paper, we propose 3DBGrowth, which develops a 3D reconstruction over the efficient Balanced Growth method for 2D images. We also take advantage of the slope coefficient from the annotation time to reduce the total number of annotated slices, reducing the time spent on manual annotation. We show experimental results on a representative dataset with 17 MRI exams demonstrating that our approach significantly outperforms the competitors and, on average, only 37% of the total slices with vertebral body content must be annotated without losing performance/accuracy. Compared to the state-of-the-art methods, we have achieved a Dice Score gain of over 5% with comparable processing time. Moreover, 3DBGrowth works well with imprecise seed points, which reduces the time spent on manual annotation by the specialist.


title: Conical Holographic Heat Engines

abstract: We demonstrate that adding a conical deficit to a black hole holographic heat engine increases its efficiency; in contrast, allowing a black hole to accelerate {\it decreases} efficiency if the same average conical deficit is maintained. Adding other charges to the black hole does not change this qualitative effect. We also present a simple formula to calculate the efficiency of elliptical cycles for any $C_V\neq 0$ black hole, which allows a more efficient numerical algorithm for computation.


title: Universal degeneracy classes for vector bundles on $\mathbb{P}^1$ bundles

abstract: Given a vector bundle on a $\mathbb{P}^1$ bundle, the base is stratified by degeneracy loci measuring the spitting type of the vector bundle restricted to each fiber. The classes of these degeneracy loci in the Chow ring or cohomology ring of the base are natural invariants characterizing the degenerations of the vector bundle. When these degeneracy loci occur in the expected codimension, we find their classes. This yields universal formulas for degeneracy classes in terms of naturally arising vector bundles on the base. Our results hold over arbitrary fields of any characteristic.


title: Clustering of floating tracers in weakly divergent velocity fields

abstract: This work focuses on buoyant tracers floating on the ocean surface and treats the geostrophic and ageostrophic surface velocities as the 2D solenoidal (non-divergent) and potential (divergent) flow components, respectively. We consider a random kinematic flow model and study the process of clustering, that is, aggregation of tracers in localized spatial patches. An asymptotic theory exists only for strongly divergent velocity fields and predicts complete clustering, that is, emergence in the large-time limit of spatial singularities containing all available tracers. To extend the theory, we consider combinations of the solenoidal and potential velocity components and explore the corresponding regimes of the clustering process. We have found that, even for weakly divergent flows complete clustering still persists but occurs at a significantly slower rate. For a wide range of parameters, we have analyzed this process, as well as the other type of clustering, referred to as fragmentation clustering, and the coarse-graining effects on clustering, and interpreted the results. For the analyses we have considered ensembles of Lagrangian particles representing the tracer, then, introduced and applied the methodology of statistical topography, which paves the way for systematic studies of clustering in progressively more complicated flows, and for both passive and floating tracers.


title: Dielectric cross-shaped resonator based metasurface for vortex beam generation in Mid-IR and THz wavelengths

abstract: Metasurfaces are engineered thin surfaces comprising two dimensional (2D) arrays of sub-wavelength spaced and sub-wavelength sized resonators. Metasurfaces can locally manipulate the amplitude, phase and polarization of light with high spatial resolution. In this study, we report numerical and experimental results of a vortex-beam-generating metasurface fabricated specifically for infrared (IR) and terahertz (THz) wavelengths. The designed metasurface consisted of a 2D array of dielectric cross-shaped resonators with spatially varying length, thereby providing desired spatially varying phase shift to the incident light. The metasurface was found to be insensitive to polarization of incident light. The dimensions of the cross-resonators were calculated using rigorous finite difference time domain (FDTD) analysis. The spectral scalability via physical scaling of meta resonators was demonstrated using two vortex generating optical elements operating at 8.8~$\mu$m (IR) and 0.78~THz (Terahertz). The vortex beam generated in the mid-IR spectral range was imaged using FTIR imaging miscroscope equipped with a focal plane array (FPA) detector. This design could be used for efficient wavefront shaping as well as various optical imaging applications in mid-IR spectral range, where polarization insensitivity is desired.


title: Analytic Pontryagin Duality

abstract: Let $X$ be a smooth compact manifold. We propose a geometric model for the group $K^0(X,\mathbb{R}/\mathbb{Z}).$ We study a well-defined and non-degenerate analytic duality pairing between $K^0(X,\mathbb{R}/\mathbb{Z})$ and its Pontryagin dual group, the Baum-Douglas geometric $K$-homology $K_0(X),$ whose pairing formula comprises of an analytic term involving the Dai-Zhang eta-invariant associated to a twisted Dirac-type operator and a topological term involving a differential form and some characteristic forms. This yields a robust $\mathbb{R}/\mathbb{Z}$-valued invariant. We also study two special cases of the analytic pairing of this form in the cohomology group $H^1(X,\mathbb{R}/\mathbb{Z})$ and $H^2(X,\mathbb{R}/\mathbb{Z}).$


title: Estimating the Fuel Supply Rate on the Galactic Disk from High Velocity Clouds (HVCs) Infall

abstract: Previous studies suggest that the estimated maximum accretion rate from approaching high velocity clouds (HVCs) on the Galactic disk can be up to ~ 0.4 solar mass per year. In this study, we point out that the hydrodynamic interaction between the HVCs and the Galactic disk is not considered in the traditional method of estimating the infall rate and therefore the true supply rate of fuel from HVCs can be different from the suggested value depending on the physical configurations of HVCs including density, velocity, and distance. We choose 11 HVC complexes and construct 4 different infall models in our simulations to give an idea of how the fuel supply rate could be different from the traditional infall rate. Our simulation results show that the fuel supply rate from HVC infall is overestimated in the traditional method and can be lowered by a factor of ~ 0.072 when the hydrodynamic interaction of the HVC complexes and the disk is considered.


title: On $q$-analogues Arising from Elliptic Integrals and the Arithmetic-Geometric Mean

abstract: We prove $q$-analogues of identities that are equivalent to the functional equation of the arithmetic-geometric mean. We also present $q$-analogues of $F(\sqrt{k},\frac{\pi}{2})$, the complete elliptical integral of the first kind, and its derivatives evaluated at $k=\frac{1}{2}$. These $q$-analogues interpolate those $n$th derivative evaluations by extending $n$ to a complex variable $s$, and we prove that they can be expressed as an infinite product.


title: AC Oscillation of a Spin Soliton Driven by a Constant Force

abstract: The phenomena of AC oscillation generated by a DC drive, such as the famous Josephson AC effect in superconductors and Bloch oscillation in solid physics, are of great interest in physics. Here we report another example of such counter-intuitive phenomenon that a spin soliton in a two-component Bose-Einstein condensate is driven by a constant force: The initially static spin soliton first moves in a direction opposite to the force and then changes direction, showing an extraordinary AC oscillation in a long term. In sharp contrast to the Josephson AC effect and Bloch oscillation, we find that the nonlinear interactions play important roles and the spin soliton can exhibit a periodic transition between negative and positive inertial mass even in the absence of periodic potentials. We then develop an explicit quasiparticle model that can account for this extraordinary oscillation satisfactorily. Important implications and possible applications of our finding are discussed.


title: Andreev spectroscopy of the triplet superconductivity state in Bi/Ni bilayer system

abstract: We calculate the Andreev spectroscopy between a ferromagnetic lead and Bi/Ni bilayer system for three types of superconducting states, including ABM state, ABM state mixing with S-wave state, ABM state mixing with pz-wave state. Among them, ABM state and ABM state mixing with S- wave state can obtain the Andreev conductance consistent with the point contact experiment[G. J. Zhao,et al, arXiv:1810.10403], but failed to explain the experiment of time-domain THz spectroscopy experiment[Prashant Chauhan,et al, Phys. Rev. Lett. 122, 017002(2019)]. Only the ABM state mixing with pz-wave state can explain both experiments. Besides, we reveal the conductance peak near the zero energy is induced by the surface state of the ABM phase. Our work may provides helpful clarification for understanding of recent experiments.


title: Dynamic nuclear polarisation of liquids at one microtesla using circularly polarised RF with application to millimetre resolution MRI

abstract: Magnetic resonance imaging in ultra-low fields is often limited by mediocre signal-to-noise ratio hindering a higher resolution. Overhauser dynamic nuclear polarisation (O-DNP) using nitroxide radicals has been an efficient solution for enhancing the thermal nuclear polarisation. However, the concurrence of positive and negative polarisation enhancements arises in ultra-low fields resulting in a significantly reduced net enhancement, making O-DNP far less attractive. Here, we address this issue by applying circularly polarised RF. O-DNP with circularly polarised RF renders a considerably improved enhancement factor of around 150,000 at 1.2 microtesla. A birdcage coil was adopted into a ultra-low field MRI system to generate the circularly polarised RF field homogeneously over a large volume. We acquired an MR image of a nitroxide radical solution with an average in-plane resolution of 1 mm. De-noising through compressive sensing further improved the image quality.


title: Pass the Buck on a Complete Binary Tree

abstract: The Stochastic Abacus is employed to compute winning probabilities at each level of the game Pass the Buck on a complete binary tree with the starting vertex being the root of the tree. The derivation is also generalized to play on complete k-ary trees.


title: Distribution-robust mean estimation via smoothed random perturbations

abstract: We consider the problem of mean estimation assuming only finite variance. We study a new class of mean estimators constructed by integrating over random noise applied to a soft-truncated empirical mean estimator. For appropriate choices of noise, we show that this can be computed in closed form, and utilizing relative entropy inequalities, these estimators enjoy deviations with exponential tails controlled by the second moment of the underlying distribution. We consider both additive and multiplicative noise, and several noise distribution families in our analysis. Furthermore, we empirically investigate the sensitivity to the mean-standard deviation ratio for numerous concrete manifestations of the estimator class of interest. Our main take-away is that an inexpensive new estimator can achieve nearly sub-Gaussian performance for a wide variety of data distributions.


title: Single-shot fourth-order auto-correlator

abstract: The temporal contrast is one of the most important parameters of an ultra-high intense laser pulse. Third-order auto-correlator or cross-correlator have been widely used to characterize the temporal contrast of an ultra-intense laser pulse in the past decades. Here, a novel and simple single-shot fourth-order auto-correlator to characterize the temporal contrast with higher time resolution and better pulse contrast fidelity in comparison to third-order correlators is proposed. The single-shot fourth-order autocorrelation consists of a frequency degenerate four-wave mixing process and a sum-frequency mixing process. The proof-of-principle experiments show that a dynamic range of approximately 10^11 compared with the noise level, a time resolution of approximately 160 fs, and a time window of 65 ps can be successfully obtained using the novel single-shot fourth-order auto-correlator, which is the highest dynamic range with simultaneous high time resolution for single-shot temporal contrast measurement so far. Furthermore, the temporal contrast of laser pulse from a PW laser system is successfully measured in single-shot with a dynamic range of about 2*10^10 and simultaneous a time resolution of 160 fs.


title: Rapid Particle Acceleration due to Recollimation Shocks and Turbulent Magnetic Fields in Injected Jets with Helical Magnetic Fields

abstract: One of the key questions in the study of relativistic jets is how magnetic reconnection occurs and whether it can effectively accelerate electrons in the jet. We performed 3D particle-in-cell (PIC) simulations of a relativistic electron-proton jet of relatively large radius that carries a helical magnetic field. We focussed our investigation on the interaction between the jet and the ambient plasma and explore how the helical magnetic field affects the excitation of kinetic instabilities such as the Weibel instability (WI), the kinetic Kelvin-Helmholtz instability (kKHI), and the mushroom instability (MI). In our simulations these kinetic instabilities are indeed excited, and particles are accelerated. At the linear stage we observe recollimation shocks near the center of the jet. As the electron-proton jet evolves into the deep nonlinear stage, the helical magnetic field becomes untangled due to reconnection-like phenomena, and electrons are repeatedly accelerated as they encounter magnetic-reconnection events in the turbulent magnetic field.


title: A note on Bianchi-Don\`a's proof to the variance formula of von Neumann entropy

abstract: Bianchi and Don\`{a} [1] have recently reported a proof to the variance formula of von Neumann entropy, which was conjectured in [2] and firstly proved in [3]. The purpose of this short note is to show that, despite having a different starting point, the subsequent calculations (omitted in [1]) leading to the result are essentially the same as in [3].


title: Res-embedding for Deep Learning Based Click-Through Rate Prediction Modeling

abstract: Recently, click-through rate (CTR) prediction models have evolved from shallow methods to deep neural networks. Most deep CTR models follow an Embedding\&MLP paradigm, that is, first mapping discrete id features, e.g. user visited items, into low dimensional vectors with an embedding module, then learn a multi-layer perception (MLP) to fit the target. In this way, embedding module performs as the representative learning and plays a key role in the model performance. However, in many real-world applications, deep CTR model often suffers from poor generalization performance, which is mostly due to the learning of embedding parameters. In this paper, we model user behavior using an interest delay model, study carefully the embedding mechanism, and obtain two important results: (i) We theoretically prove that small aggregation radius of embedding vectors of items which belongs to a same user interest domain will result in good generalization performance of deep CTR model. (ii) Following our theoretical analysis, we design a new embedding structure named res-embedding. In res-embedding module, embedding vector of each item is the sum of two components: (i) a central embedding vector calculated from an item-based interest graph (ii) a residual embedding vector with its scale to be relatively small. Empirical evaluation on several public datasets demonstrates the effectiveness of the proposed res-embedding structure, which brings significant improvement on the model performance.


title: Refinements of the Kiefer-Wolfowitz Theorem and a Test of Concavity

abstract: This paper studies estimation of and inference on a distribution function $F$ that is concave on the nonnegative half line and admits a density function $f$ with potentially unbounded support. When $F$ is strictly concave, we show that the supremum distance between the Grenander distribution estimator and the empirical distribution may still be of order $O(n^{-2/3}(\log n)^{2/3})$ almost surely, which reduces to an existing result of Kiefer and Wolfowitz when $f$ has bounded support. We further refine this result by allowing $F$ to be not strictly concave or even non-concave and instead requiring it be "asymptotically" strictly concave. Building on these results, we then develop a test of concavity of $F$ or equivalently monotonicity of $f$, which is shown to have asymptotically pointwise level control under the entire null as well as consistency under any fixed alternative. In fact, we show that our test has local size control and nontrivial local power against any local alternatives that do not approach the null too fast, which may be of interest given the irregularity of the problem. Extensions to settings involving testing concavity/convexity/monotonicity are discussed.


title: Neural Proximal/Trust Region Policy Optimization Attains Globally Optimal Policy

abstract: Proximal policy optimization and trust region policy optimization (PPO and TRPO) with actor and critic parametrized by neural networks achieve significant empirical success in deep reinforcement learning. However, due to nonconvexity, the global convergence of PPO and TRPO remains less understood, which separates theory from practice. In this paper, we prove that a variant of PPO and TRPO equipped with overparametrized neural networks converges to the globally optimal policy at a sublinear rate. The key to our analysis is the global convergence of infinite-dimensional mirror descent under a notion of one-point monotonicity, where the gradient and iterate are instantiated by neural networks. In particular, the desirable representation power and optimization geometry induced by the overparametrization of such neural networks allow them to accurately approximate the infinite-dimensional gradient and iterate.


title: Modeling Multi-Vehicle Interaction Scenarios Using Gaussian Random Field

abstract: Autonomous vehicles are expected to navigate in complex traffic scenarios with multiple surrounding vehicles. The correlations between road users vary over time, the degree of which, in theory, could be infinitely large, thus posing a great challenge in modeling and predicting the driving environment. In this paper, we propose a method to model multi-vehicle interactions using a stochastic vector field model and apply non-parametric Bayesian learning to extract the underlying motion patterns from a large quantity of naturalistic traffic data. We then use this model to reproduce the high-dimensional driving scenarios in a finitely tractable form. We use a Gaussian process to model multi-vehicle motion, and a Dirichlet process to assign each observation to a specific scenario. We verify the effectiveness of the proposed method on highway and intersection datasets from the NGSIM project, in which complex multi-vehicle interactions are prevalent. The results show that the proposed method can capture motion patterns from both settings, without imposing heroic prior, and hence demonstrate the potential application for a wide array of traffic situations. The proposed modeling method could enable simulation platforms and other testing methods designed for autonomous vehicle evaluation, to easily model and generate traffic scenarios emulating large scale driving data.


title: A construction of spherical 3-designs

abstract: We give a construction for spherical 3-designs. This construction is a generalization of Bondarenko's work.


title: Observation of enhanced optical spin Hall effect in a vertical hyperbolic metamaterial

abstract: Hyperbolic metamaterials, horizontally stacked metal and dielectric multilayer, have recently been studied as a platform to observe optical spin Hall effect. However, the large optical spin Hall effect in the horizontal hyperbolic metamaterials accompanies extremely low transmission, which obstructs its practical applications. Reducing the sample thickness to augment the transmission causes diminishment of the shift. In this letter, we demonstrate that a vertical hyperbolic metamaterial can enhance the shift by several orders of magnitude in comparison to the shift of its horizontal counterpart. Under the same conditions of material combinations and total thickness, the shift enhancement, which is incident angle-dependent, can be higher than 800-fold when the incident angle is 5 degree, and 5000-fold when the incident angle is 1 degree. As a proof of concept, we fabricate a large-scale gold nano-grating by nanoimprint lithography and measure the helicity-dependent shift by Stokes polarimetry setup, which agrees well with the simulated result. The gigantic optical spin Hall effect in a vertical hyperbolic metamaterial will enable helicity-dependent control of optical devices including filters, sensors, switches and beam splitters.


title: Repairing Generalized Reed-Muller Codes

abstract: In distributed storage systems, both the repair bandwidth and locality are important repair cost metrics to evaluate the performance of a storage code. Recently, Guruswami and Wooters proposed an optimal linear repair scheme based on Reed-Solomon codes for a single failure, improved the bandwidth of the classical repair scheme. In this paper, we consider the repair bandwidth of Generalized Reed-Muller (GRM) codes, which have good locality property. We generalize Guruswami and Wooters' repairing scheme to GRM codes for single failure, which has nontrivial bandwidth closing to the lower bound when the subfield is small. We further extend the repair scheme for multiple failures in distributed and centralized repair models, and compute the expectation of bandwidth by considering different erasure-patterns.


title: Informed Principal Problems in Bilateral Trading

abstract: We study bilateral trade with interdependent values as an informed-principal problem. The mechanism-selection game has multiple equilibria that differ with respect to principal's payoff and trading surplus. We characterize the equilibrium that is worst for every type of principal, and characterize the conditions under which there are no equilibria with different payoffs for the principal. We also show that this is the unique equilibrium that survives the intuitive criterion.


title: Diffusion in the presence of cells with semi-permeable membranes

abstract: We consider processes that coincide with a given diffusion process except on the boundaries of a finite collection of domains. The behavior on each of the boundaries is asymmetric: the process is much more likely to enter the interior of the domain than to enter the interior of its complement, with a small parameter controlling the trapping mechanism. We describe the limiting behavior of the processes. In particular, if the parameters controlling the boundary behavior have different orders of magnitude for different domains or if the domains are nested, metastable distributions between the trapping regions are described.


title: DensePeds: Pedestrian Tracking in Dense Crowds Using Front-RVO and Sparse Features

abstract: We present a pedestrian tracking algorithm, DensePeds, that tracks individuals in highly dense crowds (greater than 2 pedestrians per square meter). Our approach is designed for videos captured from front-facing or elevated cameras. We present a new motion model called Front-RVO (FRVO) for predicting pedestrian movements in dense situations using collision avoidance constraints and combine it with state-of-the-art Mask R-CNN to compute sparse feature vectors that reduce the loss of pedestrian tracks (false negatives). We evaluate DensePeds on the standard MOT benchmarks as well as a new dense crowd dataset. In practice, our approach is 4.5 times faster than prior tracking algorithms on the MOT benchmark and we are state-of-the-art in dense crowd videos by over 2.6% on the absolute scale on average.