title: Spatially Resolved Persistent Photoconductivity in MoS$_2$-WS$_2$ Lateral Heterostructures

abstract: The optical and electronic properties of 2D semiconductors are intrinsically linked via the strong interactions between optically excited bound species and free carriers. Here we use near-field scanning microwave microscopy (SMM) to image spatial variations in photoconductivity in MoS$_2$--WS$_2$ lateral multijunction heterostructures using photon energy-resolved narrowband illumination. We find that the onset of photoconductivity in individual domains corresponds to the optical absorption onset, confirming that the tightly bound excitons in transition metal dichalcogenides can nonetheless dissociate into free carriers. These photogenerated carriers are most likely n-type and are seen to persist for up to days, and informed by finite element modeling we reveal that they can increase the carrier density by up to 200 times. This persistent photoconductivity appears to be dominated by contributions from the multilayer MoS$_2$ domains, and we attribute the flake-wide response in part to charge transfer across the heterointerface. Spatial correlation of our SMM imaging with photoluminescence (PL) mapping confirms the strong link between PL peak emission photon energy, PL intensity, and the local accumulated charge. This work reveals the spatially and temporally complex optoelectronic response of these systems and cautions that properties measured during or after illumination may not reflect the true dark state of these materials but rather a metastable charged state.


title: Attention dynamics on the Chinese social media Sina Weibo during the COVID-19 pandemic

abstract: Understanding attention dynamics on social media during pandemics could help governments minimize the effects. We focus on how COVID-19 has influenced the attention dynamics on the biggest Chinese microblogging website Sina Weibo during the first four months of the pandemic. We study the real-time Hot Search List (HSL), which provides the ranking of the most popular 50 hashtags based on the amount of Sina Weibo searches. We show how the specific events, measures and developments during the epidemic affected the emergence of different kinds of hashtags and the ranking on the HSL. A significant increase of COVID-19 related hashtags started to occur on HSL around January 20, 2020, when the transmission of the disease between humans was announced. Then very rapidly a situation was reached where COVID-related hashtags occupied 30-70% of the HSL, however, with changing content. We give an analysis of how the hashtag topics changed during the investigated time span and conclude that there are three periods separated by February 12 and March 12. In period 1, we see strong topical correlations and clustering of hashtags; in period 2, the correlations are weakened, without clustering pattern; in period 3, we see a potential of clustering while not as strong as in period 1. We further explore the dynamics of HSL by measuring the ranking dynamics and the lifetimes of hashtags on the list. This way we can obtain information about the decay of attention, which is important for decisions about the temporal placement of governmental measures to achieve permanent awareness. Furthermore, our observations indicate abnormally higher rank diversity in the top 15 ranks on HSL due to the COVID-19 related hashtags, revealing the possibility of algorithmic intervention from the platform provider.


title: Balanced k-Means Clustering on an Adiabatic Quantum Computer

abstract: Adiabatic quantum computers are a promising platform for approximately solving challenging optimization problems. We present a quantum approach to solving the balanced $k$-means clustering training problem on the D-Wave 2000Q adiabatic quantum computer. Existing classical approaches scale poorly for large datasets and only guarantee a locally optimal solution. We show that our quantum approach better targets the global solution of the training problem, while achieving better theoretic scalability on large datasets. We test our quantum approach on a number of small problems, and observe clustering performance similar to the best classical algorithms.


title: Persistence behaviour of heat and momentum fluxes in convective surface layer turbulence

abstract: The characterization of heat and momentum fluxes in wall-bounded turbulence is of paramount importance for a plethora of applications, ranging from engineering to Earth sciences. However, how the turbulent structures associated with velocity and temperature fluctuations interact to produce the emergent flux signatures, is not evident till date. In this work, we investigate this fundamental issue by studying the switching patterns of intermittently occurring turbulent fluctuations from one state to another, a phenomenon called persistence. We discover that the persistence patterns for heat and momentum fluxes are widely different. Moreover, we uncover power-law scaling and length scales of turbulent motions that cause this behavior. Furthermore, by separating the phases and amplitudes of flux events, we explain the origin and differences between heat and momentum transfer efficiencies in convective turbulence. Our findings provide new understanding on the connection between flow organization and flux generation mechanisms, two cornerstones of turbulence research.


title: Global determination for an inverse problem from the vortex dynamics

abstract: We consider the problem of reconstructing a background potential from the dynamical behavior of vortex dipole. We prove that under suitable conditions, one can uniquely reconstruct a real-analytic potential by measuring the entrance and exit positions as well as travel times between boundary points. In particular, the work removes the flatness assumption on the potential from the earlier result. A key step of our method is a constructional procedure of recovering the boundary jet of the potential.


title: Search for supersymmetry in proton-proton collisions at $\sqrt{s} =$ 13 TeV in events with high-momentum Z bosons and missing transverse momentum

abstract: A search for new physics in events with two highly Lorentz-boosted Z bosons and large missing transverse momentum is presented. The analyzed proton-proton collision data, corresponding to an integrated luminosity of 137 fb$^{-1}$, were recorded at $\sqrt{s} =$ 13 TeV by the CMS experiment at the CERN LHC. The search utilizes the substructure of jets with large radius to identify quark pairs from Z boson decays. Backgrounds from standard model processes are suppressed by requirements on the jet mass and the missing transverse momentum. No significant excess in the event yield is observed beyond the number of background events expected from the standard model. For a simplified supersymmetric model in which the Z bosons arise from the decay of gluinos, an exclusion limit of 1920 GeV on the gluino mass is set at 95% confidence level. This is the first search for beyond-standard-model production of pairs of boosted Z bosons plus large missing transverse momentum.


title: Estimating the logarithm of characteristic function and stability parameter for symmetric stable laws

abstract: Let $X_1,\ldots,X_n$ be an i.i.d. sample from symmetric stable distribution with stability parameter $\alpha$ and scale parameter $\gamma$. Let $\varphi_n$ be the empirical characteristic function. We prove an uniform large deviation inequality: given preciseness $\epsilon>0$ and probability $p\in (0,1)$, there exists universal (depending on $\epsilon$ and $p$ but not depending on $\alpha$ and $\gamma$) constant $\bar{r}>0$ so that $$P\big(\sup_{u>0:r(u)\leq \bar{r}}|r(u)-\hat{r}(u)|\geq \epsilon\big)\leq p,$$ where $r(u)=(u\gamma)^{\alpha}$ and $\hat{r}(u)=-\ln|\varphi_n(u)|$. As an applications of the result, we show how it can be used in estimation unknown stability parameter $\alpha$.


title: Fully Read/Write Fence-Free Work-Stealing with Multiplicity

abstract: Work-stealing is a popular technique to implement dynamic load balancing in a distributed manner. In this approach, each process owns a set of tasks that have to be executed. The owner of the set can put tasks in it and can take tasks from it to execute them. When a process runs out of tasks, instead of being idle, it becomes a thief to steal tasks from a victim. Thus, a work-stealing algorithm provides three high-level operations: Put and Take, which can be invoked only by the owner, and Steal, which can be invoked by a thief. One of the main targets when designing work-stealing algorithms is to make Put and Take as simple and efficient as possible. Unfortunately, it has been shown that any work-stealing algorithm in the standard asynchronous model must use expensive Read- After-Write synchronization patterns or atomic Read-Modify-Write instructions, which may be costly in practice. Thus, prior research has proposed idempotent work-stealing, a relaxation for which there are algorithms with Put and Take devoid of Read-Modify-Write atomic instructions and Read-After-Write synchronization patterns; however, Put uses fences among Write instructions, and Steal uses Compare&Swap and fences among Read instructions. In the TSO model, in which Write (resp. Read) instructions cannot be reordered, there have been proposed fully fence-free work-stealing algorithms whose Put and Take have similar properties but Steal uses Compare&Swap or a lock.


title: Locally Maximizing Metric of Width on Manifolds with Boundary

abstract: In this paper we use min-max theory to study the existence free boundary minimal hypersurfaces (FBMHs) in compact manifolds with boundary $(M^{n+1}, \partial M, g)$, where $2\leq n\leq 6$. Under the assumption that $g$ is a local maximizer of the width of $M$ in its comformal class, and all embedded FBMHs in $M$ are properly embedded, we show the existence of a sequence of properly embedded equidistributed FBMHs. This work extends the result of Ambrozio-Montezuma [2].


title: The $S_n$-equivariant rational homology of the tropical moduli spaces $\Delta_{2,n}$

abstract: We compute the $S_n$-equivariant rational homology of the tropical moduli spaces $\Delta_{2,n}$ for $n\leq 8$ using a cellular chain complex for symmetric $\Delta$-complexes in Sage.


title: Hall number, specific heat and superfluid density of overdoped high-Tc cuprates

abstract: Despite often being dismissively described as exhibiting conventional Fermi-liquid-like behaviour, heavily overdoped high-Tc cuprates sport several unexpected features. Thermodynamic properties expected to be roughly constant with doping decrease towards zero, signalling that a growing fraction of carriers remain in the normal state below Tc. Near Tc, the superconducting energy gap fills in with temperature, contrary to the expectations of BCS theory. Most recently a transition in the Hall number of some cuprates was found to extend to a very high doping (x~0.27), far beyond the pseudogap critical point identified by a peak in thermodynamic properties (x=0.19). This presents a challenge to the view that the pseudogap is a consequence of Fermi surface reconstruction. In this paper we present a consistent explanation for all these observations by combining pair-breaking scattering with a Fermi surface reconstruction model for the pseudogap. Notably, an increase in pair-breaking with doping leads to a separation of the points where reconstruction begins and the thermodynamic properties peak. This result highlights pair-breaking as an essential ingredient in the electronic recipe for heavily overdoped cuprate superconductors.


title: Locating Cephalometric X-Ray Landmarks with Foveated Pyramid Attention

abstract: CNNs, initially inspired by human vision, differ in a key way: they sample uniformly, rather than with highest density in a focal point. For very large images, this makes training untenable, as the memory and computation required for activation maps scales quadratically with the side length of an image. We propose an image pyramid based approach that extracts narrow glimpses of the of the input image and iteratively refines them to accomplish regression tasks. To assist with high-accuracy regression, we introduce a novel intermediate representation we call 'spatialized features'. Our approach scales logarithmically with the side length, so it works with very large images. We apply our method to Cephalometric X-ray Landmark Detection and get state-of-the-art results.


title: Subgaussian Kahane-Salem-Zygmund inequalities in Banach spaces

abstract: The main aim of this work is to give a general approach to the celebrated Kahane-Salem-Zygmund inequalities. We prove estimates for exponential Orlicz norms of averages $\sup_{1\le j \leq N} \big |\sum_{1 \leq i \leq K}\gamma_i(\cdot) a_{i,j}\big|$ where $(a_{i,j})$ denotes a matrix of scalars and the $(\gamma_i)$ a sequence of real or complex subgaussian random variables. Lifting these inequalities to finite dimensional Banach spaces, we get novel Kahane-Salem-Zygmund type inequalities -- in particular, for spaces of subgaussian random polynomials and multilinear forms on finite dimensional Banach spaces as well as subgaussian random Dirichlet polynomials. Finally, we use abstract interpolation theory to widen our approach considerably.


title: Fermi-ball dark matter from a first-order phase transition

abstract: We propose a novel dark matter (DM) scenario based on a first-order phase transition in the early universe. If dark fermions acquire a huge mass gap between true and false vacua, they can barely penetrate into the new phase. Instead, they get trapped in the old phase and accumulate to form macroscopic objects, dubbed Fermi-balls. We show that Fermi-balls can explain the DM abundance in a wide range of models and parameter space, depending most crucially on the dark-fermion asymmetry and the phase transition energy scale (possible up to the Planck scale). They are stable by the balance between fermion's quantum pressure against free energy release, hence turn out to be macroscopic in mass and size. However, this scenario generally produces no detectable signals (which may explain the null results of DM searches), except for detectable gravitational waves (GWs) for electroweak scale phase transitions; although the detection of such stochastic GWs does not necessarily imply a Fermi-ball DM scenario.


title: Measures of Complexity for Large Scale Image Datasets

abstract: Large scale image datasets are a growing trend in the field of machine learning. However, it is hard to quantitatively understand or specify how various datasets compare to each other - i.e., if one dataset is more complex or harder to ``learn'' with respect to a deep-learning based network. In this work, we build a series of relatively computationally simple methods to measure the complexity of a dataset. Furthermore, we present an approach to demonstrate visualizations of high dimensional data, in order to assist with visual comparison of datasets. We present our analysis using four datasets from the autonomous driving research community - Cityscapes, IDD, BDD and Vistas. Using entropy based metrics, we present a rank-order complexity of these datasets, which we compare with an established rank-order with respect to deep learning.


title: Flow induced by the rotation of two circular cylinders in a viscous fluid

abstract: The low-Reynolds-number Stokes flow driven by rotation of two parallel cylinders of equal unit radius is investigated by both analytical and numerical techniques. In Part I, the case of counter-rotating cylinders is considered. A numerical (finite-element) solution is obtained by enclosing the system in an outer cylinder of radius $R_{0}\!\gg\!1$, on which the no-slip condition is imposed. A model problem with the same symmetries is first solved exactly, and the limit of validity of the Stokes approximation is determined; this model has some relevance for ciliary propulsion. For the two-cylinder problem, attention is focused on the small-gap situation $\varepsilon \ll 1$. An exact analytic solution is obtained in the contact limit $\varepsilon=0$, and a net force $F_{c}$ acting on the pair of cylinders in this contact limit is identified; this contributes to the torque that each cylinder experiences about its axis. The far-field torque doublet (`torquelet') is also identified. Part II treats the case of co-rotating cylinders, for which again a finite-element numerical solution is obtained for $R_{0}\!\gg \!1$. The theory of Watson (1995) is elucidated and shown to agree well with the numerical solution. In contrast to the counter-rotating case, inertia effects are negligible throughout the fluid domain, however large, provided Re $\ll 1$. In the concluding section, the main results for both cases are summarised, and the situation when the fluid is unbounded ($R_{0}=\infty$) is discussed. (...)


title: Tensor Networks contraction and the Belief Propagation algorithm

abstract: Belief Propagation is a well-studied message-passing algorithm that runs over graphical models and can be used for approximate inference and approximation of local marginals. The resulting approximations are equivalent to the Bethe-Peierls approximation of statistical mechanics. Here we show how this algorithm can be adapted to the world of PEPS tensor networks and used as an approximate contraction scheme. We further show that the resultant approximation is equivalent to the ``mean field'' approximation that is used in the Simple-Update algorithm, thereby showing that the latter is a essentially the Bethe-Peierls approximation. This shows that one of the simplest approximate contraction algorithms for tensor networks is equivalent to one of the simplest schemes for approximating marginals in graphical models in general, and paves the way for using improvements of BP as tensor networks algorithms.


title: Flavon Magneto-Baryogenesis

abstract: In this paper, we explore the evolution of baryon asymmetry as well as the hypermagnetic field in the early universe with an assumption that the flavon of the Froggatt-Nielsen carries an asymmetry. Through the decay of the flavon to Standard Model fermions, this asymmetry is transferred to fermions, where the right-handed electron keeps its asymmetry while its Yukawa interaction is out of thermal equilibrium. Through the existence of the flavon, we can ensure that the freezing-in temperature of the right-handed electron is closer to the electroweak phase transition than the Standard cosmology scenario. With this trick, the asymmetry in the right-handed electron is saved for a longer time. Moreover, the injection of the asymmetry to the right-handed electron is gradual, which helps the preservation of the asymmetry in the right-handed sector significantly. Due to the intimate relationship between fermion number violation and the helicity of the hypermagnetic field, some of the asymmetry is used to amplify the hypermagnetic field which itself helps to preserve the remnant asymmetry through keeping the Yukawa processes out of thermal equilibrium. We find the sweet region of the parameter space that can produce the right asymmetry in the baryons while generating a large hypermagnetic field by the time of the electroweak phase transition.


title: Latent dynamical variables produce signatures of spatiotemporal criticality in large biological systems

abstract: Understanding the activity of large populations of neurons is difficult due to the combinatorial complexity of possible cell-cell interactions. To reduce the complexity, coarse-graining had been previously applied to experimental neural recordings, which showed over two decades of scaling in free energy, activity variance, eigenvalue spectra, and correlation time, hinting that the mouse hippocampus operates in a critical regime. We model the experiment by simulating conditionally independent binary neurons coupled to a small number of long-timescale stochastic fields and then replicating the coarse-graining procedure and analysis. This reproduces the experimentally-observed scalings, suggesting that they may arise from coupling the neural population activity to latent dynamic stimuli. Further, parameter sweeps for our model suggest that emergence of scaling requires most of the cells in a population to couple to the latent stimuli, predicting that even the celebrated place cells must also respond to non-place stimuli.


title: Ising Model Optimization Problems on a FPGA Accelerated Restricted Boltzmann Machine

abstract: Optimization problems, particularly NP-Hard Combinatorial Optimization problems, are some of the hardest computing problems with no known polynomial time algorithm existing. Recently there has been interest in using dedicated hardware to accelerate the solution to these problems, with physical annealers and quantum adiabatic computers being some of the state of the art. In this work we demonstrate usage of the Restricted Boltzmann Machine (RBM) as a stochastic neural network capable of solving these problems efficiently. We show that by mapping the RBM onto a reconfigurable Field Programmable Gate Array (FPGA), we can effectively hardware accelerate the RBM's stochastic sampling algorithm. We benchmark the RBM against the DWave 2000Q Quantum Adiabatic Computer and the Optical Coherent Ising Machine on two such optimization problems: the MAX-CUT problem and finding the ground state of a Sherrington-Kirkpatrick (SK) spin glass. On these problems, the hardware accelerated RBM shows best in class performance compared to these other accelerators, with an empirical scaling performance of $\mathcal{O}(e^{-N})$ for probability of reaching the ground state compared to a similar empirical $\mathcal{O}(e^{-N})$ for the CIM (with the RBM showing a constant factor of improvement over the CIM) and empirical $\mathcal{O}(e^{-N^2})$ for the DWave Annealer. The results show up to $10^7$x and $10^5$x time to solution improvement compared to the DWave 2000Q on the MAX-CUT and SK problems respectively, along with a $150$x and $1000$x performance increase compared to the Coherent Ising Machine annealer on those problems. By using commodity hardware running at room temperature for acceleration, the RBM also has greater potential for immediate and scalable use.


title: Distributed Multi-agent Video Fast-forwarding

abstract: In many intelligent systems, a network of agents collaboratively perceives the environment for better and more efficient situation awareness. As these agents often have limited resources, it could be greatly beneficial to identify the content overlapping among camera views from different agents and leverage it for reducing the processing, transmission and storage of redundant/unimportant video frames. This paper presents a consensus-based distributed multi-agent video fast-forwarding framework, named DMVF, that fast-forwards multi-view video streams collaboratively and adaptively. In our framework, each camera view is addressed by a reinforcement learning based fast-forwarding agent, which periodically chooses from multiple strategies to selectively process video frames and transmits the selected frames at adjustable paces. During every adaptation period, each agent communicates with a number of neighboring agents, evaluates the importance of the selected frames from itself and those from its neighbors, refines such evaluation together with other agents via a system-wide consensus algorithm, and uses such evaluation to decide their strategy for the next period. Compared with approaches in the literature on a real-world surveillance video dataset VideoWeb, our method significantly improves the coverage of important frames and also reduces the number of frames processed in the system.


title: Coupled wire construction of a topological phase with chiral tricritical Ising edge modes

abstract: Tricritical Ising (TCI) phase transition is known to occur in several interacting spin and Majorana fermion models and is described in terms of a supersymmetric conformal field theory (CFT) with central charge $c=7/10$. The field content of this CFT is highly nontrivial and includes among its primary fields the Fibonacci anyon, making it of potential interest to strategies seeking to implement fault-tolerant topological quantum computation with non-Abelian phases of matter. In this paper we explore the possibility that a TCI CFT can occur at the edge of a gapped two-dimensional topological state as a stable phase. We discuss a possible realization of this 2D phase based on a coupled-wire construction using the Grover-Sheng-Vishwanath chain model of Majorana zero modes coupled to Ising spins which is known to undergo the TCI phase transition. From the combined analysis using mean-field theory, conformal field theory and density matrix renormalization group (DMRG) on 2- and 4-leg ladders, we find that the left- and right-moving gapless TCI modes become spatially separated and reside on two opposite edges of the system, forming a precursor of the required 2D topological phase.


title: Roadmap on Atomtronics: State of the art and perspective

abstract: Atomtronics deals with matter-wave circuits of ultra-cold atoms manipulated through magnetic or laser-generated guides with different shapes and intensities. In this way, new types of quantum networks can be constructed, in which coherent fluids are controlled with the know-how developed in the atomic and molecular physics community. In particular, quantum devices with enhanced precision, control and flexibility of their operating conditions can be accessed. Concomitantly, new quantum simulators and emulators harnessing on the coherent current flows can also be developed. Here, we survey the landscape of atomtronics-enabled quantum technology and draw a roadmap for the field in the near future. We review some of the latest progresses achieved in matter-wave circuits design and atom-chips. Atomtronic networks are deployed as promising platforms for probing many-body physics with a new angle and a new twist. The latter can be done both at the level of equilibrium and non-equilibrium situations. Numerous relevant problems in mesoscopic physics, like persistent currents and quantum transport in circuits of fermionic or bosonic atoms, are studied through a new lens. We summarize some of the atomtronics quantum devices and sensors. Finally, we discuss alkali-earth and Rydberg atoms as potential platforms for the realization of atomtronic circuits with special features.


title: On a Diophantine equation that generates all integral Apollonian Gaskets

abstract: A remarkably simple Diophantine quadratic equation is known to generate all Apollonian integral gaskets (disk packings). A new derivation of this formula is presented here based on inversive geometry. Also occurrences of Pythagorean triples in such gaskets is discussed.


title: Some spherical coverings on S2 and their algebraic numbers

abstract: Spherical coverings on the S2 sphere and their algebraic numbers are given for the putatively optimal global solutions for some n-congruent spherical caps with minimal radius to completely cover the S2 sphere. A few locally optimal solutions are also examined.


title: Spatio-temporal Attention Model for Tactile Texture Recognition

abstract: Recently, tactile sensing has attracted great interest in robotics, especially for facilitating exploration of unstructured environments and effective manipulation. A detailed understanding of the surface textures via tactile sensing is essential for many of these tasks. Previous works on texture recognition using camera based tactile sensors have been limited to treating all regions in one tactile image or all samples in one tactile sequence equally, which includes much irrelevant or redundant information. In this paper, we propose a novel Spatio-Temporal Attention Model (STAM) for tactile texture recognition, which is the very first of its kind to our best knowledge. The proposed STAM pays attention to both spatial focus of each single tactile texture and the temporal correlation of a tactile sequence. In the experiments to discriminate 100 different fabric textures, the spatially and temporally selective attention has resulted in a significant improvement of the recognition accuracy, by up to 18.8%, compared to the non-attention based models. Specifically, after introducing noisy data that is collected before the contact happens, our proposed STAM can learn the salient features efficiently and the accuracy can increase by 15.23% on average compared with the CNN based baseline approach. The improved tactile texture perception can be applied to facilitate robot tasks like grasping and manipulation.


title: (Almost) All of Entity Resolution

abstract: Whether the goal is to estimate the number of people that live in a congressional district, to estimate the number of individuals that have died in an armed conflict, or to disambiguate individual authors using bibliographic data, all these applications have a common theme - integrating information from multiple sources. Before such questions can be answered, databases must be cleaned and integrated in a systematic and accurate way, commonly known as record linkage, de-duplication, or entity resolution. In this article, we review motivational applications and seminal papers that have led to the growth of this area. Specifically, we review the foundational work that began in the 1940's and 50's that have led to modern probabilistic record linkage. We review clustering approaches to entity resolution, semi- and fully supervised methods, and canonicalization, which are being used throughout industry and academia in applications such as human rights, official statistics, medicine, citation networks, among others. Finally, we discuss current research topics of practical importance.


title: The Effects of Resolution on Black Hole Accretion Simulations of Jets

abstract: We perform three general-relativistic magnetohydrodynamic simulations of black hole accretion designed to test how sensitive results are to grid resolution in the jet region. The cases differ only in numerics, modelling the same physical scenario of a radiatively inefficient, geometrically thick, magnetically arrested flow onto a rapidly spinning black hole. Properties inferred with the coarsest grid generally agree with those found with higher resolutions, including total jet power and its decomposition into different forms, velocity structure, nonaxisymmetric structure, and the appearance of resolved millimetre images. Some measures of variability and magnetization are sensitive to resolution. We conclude that most results obtained by limiting resolution near the jet for computational expediency should still be reliable, at least insofar as they would not be improved with a finer grid.


title: A Synthetic Network Generator for Covert Network Analytics

abstract: We study social networks and focus on covert (also known as hidden) networks, such as terrorist or criminal networks. Their structures, memberships and activities are illegal. Thus, data about covert networks is often incomplete and partially incorrect, making interpreting structures and activities of such networks challenging. For legal reasons, real data about active covert networks is inaccessible to researchers. To address these challenges, we introduce here a network generator for synthetic networks that are statistically similar to a real network but void of personal information about its members. The generator uses statistical data about a real or imagined covert organization network. It generates randomized instances of the Stochastic Block model of the network groups but preserves this network organizational structure. The direct use of such anonymized networks is for training on them the research and analytical tools for finding structure and dynamics of covert networks. Since these synthetic networks differ in their sets of edges and communities, they can be used as a new source for network analytics. First, they provide alternative interpretations of the data about the original network. The distribution of probabilities for these alternative interpretations enables new network analytics. The analysts can find community structures which are frequent, therefore stable under perturbations. They may also analyze how the stability changes with the strength of perturbation. For covert networks, the analysts can quantify statistically expected outcomes of interdiction. This kind of analytics applies to all complex network in which the data are incomplete or partially incorrect.


title: Cross-Platform Games in Kotlin

abstract: This demo paper describes a simple and practical approach to writing cross-platform casual games using the Kotlin programming language. A key aim is to make it much easier for researchers to demonstrate their AI playing a range of games. Pure Kotlin code (which excludes using any Java graphics libraries) can be transpiled to JavaScript and run in a web browser. However, writing Kotlin code that will run without modification both in a web browser and on the JVM is not trivial; it requires strict adherence to an appropriate methodology. The contribution of this paper is to provide such a method including a software design and to demonstrate this working for Tetris, played either by AI or human.


title: Randomized Projection for Rank-Revealing Matrix Factorizations and Low-Rank Approximations

abstract: Rank-revealing matrix decompositions provide an essential tool in spectral analysis of matrices, including the Singular Value Decomposition (SVD) and related low-rank approximation techniques. QR with Column Pivoting (QRCP) is usually suitable for these purposes, but it can be much slower than the unpivoted QR algorithm. For large matrices, the difference in performance is due to increased communication between the processor and slow memory, which QRCP needs in order to choose pivots during decomposition. Our main algorithm, Randomized QR with Column Pivoting (RQRCP), uses randomized projection to make pivot decisions from a much smaller sample matrix, which we can construct to reside in a faster level of memory than the original matrix. This technique may be understood as trading vastly reduced communication for a controlled increase in uncertainty during the decision process. For rank-revealing purposes, the selection mechanism in RQRCP produces results that are the same quality as the standard algorithm, but with performance near that of unpivoted QR (often an order of magnitude faster for large matrices). We also propose two formulas that facilitate further performance improvements. The first efficiently updates sample matrices to avoid computing new randomized projections. The second avoids large trailing updates during the decomposition in truncated low-rank approximations. Our truncated version of RQRCP also provides a key initial step in our truncated SVD approximation, TUXV. These advances open up a new performance domain for large matrix factorizations that will support efficient problem-solving techniques for challenging applications in science, engineering, and data analysis.


title: Explainable Artificial Intelligence Based Fault Diagnosis and Insight Harvesting for Steel Plates Manufacturing

abstract: With the advent of Industry 4.0, Data Science and Explainable Artificial Intelligence (XAI) has received considerable intrest in recent literature. However, the entry threshold into XAI, in terms of computer coding and the requisite mathematical apparatus, is really high. For fault diagnosis of steel plates, this work reports on a methodology of incorporating XAI based insights into the Data Science process of development of high precision classifier. Using Synthetic Minority Oversampling Technique (SMOTE) and notion of medoids, insights from XAI tools viz. Ceteris Peribus profiles, Partial Dependence and Breakdown profiles have been harvested. Additionally, insights in the form of IF-THEN rules have also been extracted from an optimized Random Forest and Association Rule Mining. Incorporating all the insights into a single ensemble classifier, a 10 fold cross validated performance of 94% has been achieved. In sum total, this work makes three main contributions viz.: methodology based upon utilization of medoids and SMOTE, of gleaning insights and incorporating into model development process. Secondly the insights themselves are contribution, as they benefit the human experts of steel manufacturing industry, and thirdly a high precision fault diagnosis classifier has been developed.


title: Trustworthy AI Inference Systems: An Industry Research View

abstract: In this work, we provide an industry research view for approaching the design, deployment, and operation of trustworthy Artificial Intelligence (AI) inference systems. Such systems provide customers with timely, informed, and customized inferences to aid their decision, while at the same time utilizing appropriate security protection mechanisms for AI models. Additionally, such systems should also use Privacy-Enhancing Technologies (PETs) to protect customers' data at any time. To approach the subject, we start by introducing current trends in AI inference systems. We continue by elaborating on the relationship between Intellectual Property (IP) and private data protection in such systems. Regarding the protection mechanisms, we survey the security and privacy building blocks instrumental in designing, building, deploying, and operating private AI inference systems. For example, we highlight opportunities and challenges in AI systems using trusted execution environments combined with more recent advances in cryptographic techniques to protect data in use. Finally, we outline areas of further development that require the global collective attention of industry, academia, and government researchers to sustain the operation of trustworthy AI inference systems.


title: Cerberus: Minimalistic Multi-shard Byzantine-resilient Transaction Processing

abstract: To enable high-performance and scalable blockchains, we need to step away from traditional consensus-based fully-replicated designs. One direction is to explore the usage of sharding in which we partition the managed dataset over many shards that independently operate as blockchains. Sharding requires an efficient fault-tolerant primitive for the ordering and execution of multi-shard transactions, however. In this work, we seek to design such a primitive suitable for distributed ledger networks with high transaction throughput. To do so, we propose Cerberus, a set of minimalistic primitives for processing single-shard and multi-shard UTXO-like transactions. Cerberus aims at maximizing parallel processing at shards while minimizing coordination within and between shards. First, we propose Core-Cerberus, that uses strict environmental requirements to enable simple yet powerful multi-shard transaction processing. In our intended UTXO-environment, Core-Cerberus will operate perfectly with respect to all transactions proposed and approved by well-behaved clients, but does not provide any guarantees for other transactions. To also support more general-purpose environments, we propose two generalizations of Core-Cerberus: we propose Optimistic-Cerberus, a protocol that does not require any additional coordination phases in the well-behaved optimistic case, while requiring intricate coordination when recovering from attacks; and we propose Pessimistic-Cerberus, a protocol that adds sufficient coordination to the well-behaved case of Core-Cerberus, allowing it to operate in a general-purpose fault-tolerant environments without significant costs to recover from attacks. Finally, we compare the three protocols, showing their potential scalability and high transaction throughput in practical environments.


title: Grasping Field: Learning Implicit Representations for Human Grasps

abstract: Robotic grasping of house-hold objects has made remarkable progress in recent years. Yet, human grasps are still difficult to synthesize realistically. There are several key reasons: (1) the human hand has many degrees of freedom (more than robotic manipulators); (2) the synthesized hand should conform to the surface of the object; and (3) it should interact with the object in a semantically and physically plausible manner. To make progress in this direction, we draw inspiration from the recent progress on learning-based implicit representations for 3D object reconstruction. Specifically, we propose an expressive representation for human grasp modelling that is efficient and easy to integrate with deep neural networks. Our insight is that every point in a three-dimensional space can be characterized by the signed distances to the surface of the hand and the object, respectively. Consequently, the hand, the object, and the contact area can be represented by implicit surfaces in a common space, in which the proximity between the hand and the object can be modelled explicitly. We name this 3D to 2D mapping as Grasping Field, parameterize it with a deep neural network, and learn it from data. We demonstrate that the proposed grasping field is an effective and expressive representation for human grasp generation. Specifically, our generative model is able to synthesize high-quality human grasps, given only on a 3D object point cloud. The extensive experiments demonstrate that our generative model compares favorably with a strong baseline and approaches the level of natural human grasps. Our method improves the physical plausibility of the hand-object contact reconstruction and achieves comparable performance for 3D hand reconstruction compared to state-of-the-art methods.


title: Multi-Agent Safe Planning with Gaussian Processes

abstract: Multi-agent safe systems have become an increasingly important area of study as we can now easily have multiple AI-powered systems operating together. In such settings, we need to ensure the safety of not only each individual agent, but also the overall system. In this paper, we introduce a novel multi-agent safe learning algorithm that enables decentralized safe navigation when there are multiple different agents in the environment. This algorithm makes mild assumptions about other agents and is trained in a decentralized fashion, i.e. with very little prior knowledge about other agents' policies. Experiments show our algorithm performs well with the robots running other algorithms when optimizing various objectives.


title: A model for the formation of stellar associations and clusters from giant molecular clouds

abstract: We present a large suite of MHD simulations of turbulent, star-forming giant molecular clouds(GMCs) with stellar feedback, extending previous work by simulating 10 different random realizations for each point in the parameter space of cloud mass and size. It is found that oncethe clouds disperse due to stellar feedback, both self-gravitating star clusters and unbound stars generally remain, which arise from the same underlying continuum of substructured stellar density, ie. the hierarchical cluster formation scenario. The fraction of stars that are born within gravitationally-bound star clusters is related to the overall cloud star formation efficiency set by stellar feedback, but has significant scatter due to stochastic variations in the small-scale details of the star-forming gas flow. We use our numerical results to calibrate a model for mapping the bulk properties (mass, size, and metallicity) of self-gravitating GMCs onto the star cluster populations they form, expressed statistically in terms of cloud-level distributions. Synthesizing cluster catalogues from an observed GMC catalogue in M83, we find that this model predicts initial star cluster masses and sizes that are in good agreement with observations, using only standard IMF and stellar evolution models as inputs for feedback. Within our model, the ratio of the strength of gravity to stellar feedback is the key parameter setting the masses of star clusters, and of the various feedback channels direct stellar radiation(photon momentum and photoionization) is the most important on GMC scales.


title: Bert: Scalable Source Routed Multicast for Cloud Data Centers

abstract: Traditional IP multicast routing is not suitable for cloud data center (DC) networks due to the need for supporting large numbers of groups with large group sizes. State-of-the-art DC multicast routing approaches aim to overcome the scalability issues by, for instance, taking advantage of the symmetry of DC topologies and the programmability of DC switches to compactly encode multicast group information inside packets, thereby reducing the overhead resulting from the need to store the states of flows at the network switches. However, although these scale well with the number of multicast groups, they do not do so with group sizes, and as a result, they yield substantial traffic control overhead and network congestion. In this paper, we present Bert, a scalable, source-initiated DC multicast routing approach that scales well with both the number and the size of multicast groups, and does so through clustering, by dividing the members of the multicast group into a set of clusters with each cluster employing its own forwarding rules. Compared to the state-of-the-art approach, Bert yields much lesser traffic control overhead by significantly reducing the packet header sizes and the number of extra packet transmissions, resulting from the need for compacting forwarding rules across the switches.


title: Partial regularity and Liouville theorems for stable solutions of anisotropic elliptic equations

abstract: We study the quasilinear elliptic equation \begin{equation*} -Qu=e^u \ \ \text{in} \ \ \Omega\subset \mathbb{R}^{N} \end{equation*} where the operator $Q$, known as Finsler-Laplacian (or anisotropic Laplacian), is defined by $$Qu:=\sum_{i=1}^{N}\frac{\partial}{\partial x_{i}}(F(\nabla u)F_{\xi_{i}}(\nabla u)),$$ where $F_{\xi_{i}}=\frac{\partial F}{\partial\xi_{i}}$ and $F: \mathbb{R}^{N}\rightarrow[0,+\infty)$ is a convex function of $ C^{2}(\mathbb{R}^{N}\setminus\{0\})$, that satisfies certain assumptions. For bounded domain $\Omega$ and for a stable weak solution of the above equation, we prove that the Hausdorff dimension of singular set does not exceed $N-10$. For the entire space, we apply Moser iteration arguments, established by Dancer-Farina and Crandall-Rabinowitz in the context, to prove Liouville theorems for stable solutions and for finite Morse index solutions in dimensions $N<10$ and $2<N<10$, respectively. We also provide an explicit solution that is stable outside a compact set in $N=2$. In addition, we provide similar Liouville theorems for the power-type nonlinearities.


title: A note of feature screening via rank-based coefficient of correlation

abstract: Feature screening is useful and popular to detect informative predictors for ultrahigh-dimensional data before developing proceeding statistical analysis or constructing statistical models. While a large body of feature screening procedures has been developed, most of them are restricted on examining either continuous or discrete responses. Moreover, even though many model-free feature screening methods have been proposed, additional assumptions are imposed in those methods to ensure their theoretical results. To address those difficulties and provide simple implementation, in this paper we extend the rank-based coefficient of correlation proposed by Chatterjee (2020) to develop feature screening procedure. We show that this new screening criterion is able to deal with continuous and discrete responses. Theoretically, sure screening property is established to justify the proposed method. Simulation studies demonstrate that the predictors with nonlinear and oscillatory trajectory are successfully detected regardless of the distribution of the response.


title: Robust atomic orbital in the cluster magnet LiMoO2

abstract: In this study, we present a rutile-related material, LiMoO2, that becomes a cluster magnet and exhibits a spin singlet formation on a preformed molybdenum dimer upon cooling. Unlike ordinary cluster magnets, the atomic dyz orbital robustly survives despite the formation of molecular orbitals, thereby affecting the magnetic properties of the selected material. Such hybrid cluster magnets with the characters of molecular and atomic orbitals realize multiple independent spins on an isolated cluster, leading to an ideal platform to study the isolated spin dimers physics.


title: A Simple Recursion for the Mirzakhani Volume and its Super Extension

abstract: In this paper, we derived a simple recursion formula for the volumes of moduli spaces of hyperbolic surfaces with boundaries. This formula reflects clearly that the volumes are polynomials. By constructing the Laplace transform for both the original formula and our simple one, we found that these formulas are equivalent in a direct way. The same thing was considered for the super-analog as well.


title: The Polynomial Learning With Errors Problem and the Smearing Condition

abstract: As quantum computing advances rapidly, guaranteeing the security of cryptographic protocols resistant to quantum attacks is paramount. Some leading candidate cryptosystems use the Learning with Errors (LWE) problem, attractive for its simplicity and hardness guaranteed by reductions from hard computational lattice problems. Its algebraic variants, Ring-Learning with Errors (RLWE) and Polynomial Learning with Errors (PLWE), gain in efficiency over standard LWE, but their security remains to be thoroughly investigated. In this work, we consider the "smearing" condition, a condition for attacks on PLWE and RLWE introduced in [6]. We expand upon some questions about smearing posed by Elias et al. in [6] and show how smearing is related to the Coupon Collector's Problem Furthermore, we develop some practical algorithms for calculating probabilities related to smearing. Finally, we present a smearing-based attack on PLWE, and demonstrate its effectiveness.


title: Hardware as Policy: Mechanical and Computational Co-Optimization using Deep Reinforcement Learning

abstract: Deep Reinforcement Learning (RL) has shown great success in learning complex control policies for a variety of applications in robotics. However, in most such cases, the hardware of the robot has been considered immutable, modeled as part of the environment. In this study, we explore the problem of learning hardware and control parameters together in a unified RL framework. To achieve this, we propose to model the robot body as a "hardware policy", analogous to and optimized jointly with its computational counterpart. We show that, by modeling such hardware policies as auto-differentiable computational graphs, the ensuing optimization problem can be solved efficiently by gradient-based algorithms from the Policy Optimization family. We present two such design examples: a toy mass-spring problem, and a real-world problem of designing an underactuated hand. We compare our method against traditional co-optimization approaches, and also demonstrate its effectiveness by building a physical prototype based on the learned hardware parameters. Videos and more details are available at https://roamlab.github.io/hwasp/ .


title: SafetyOps

abstract: Safety assurance is a paramount factor in the large-scale deployment of various autonomous systems (e.g., self-driving vehicles). However, the execution of safety engineering practices and processes have been challenged by an increasing complexity of modern safety-critical systems. This attribute has become more critical for autonomous systems that involve artificial intelligence (AI) and data-driven techniques along with the complex interactions of the physical world and digital computing platforms. In this position paper, we highlight some challenges of applying current safety processes to modern autonomous systems. Then, we introduce the concept of SafetyOps - a set of practices, which combines DevOps, TestOps, DataOps, and MLOps to provide an efficient, continuous and traceable system safety lifecycle. We believe that SafetyOps can play a significant role in scalable integration and adaptation of safety engineering into various industries relying on AI and data.


title: Anosov representations, strongly convex cocompact groups and weak eigenvalue gaps

abstract: We provide characterizations of Anosov representations of word hyperbolic groups into real semisimple Lie groups in terms of the existence of equivariant limit maps on the Gromov boundary, the Cartan property and the uniform gap summation property introduced by Guichard-Gu\'eritaud-Kassel-Wienhard. We also study representations of finitely generated groups satisfying weak uniform gaps in eigenvalues and establish conditions to be Anosov. As an application, we also obtain a characterization of strongly convex cocompact subgroups of the projective linear group $\mathsf{PGL}_d(\mathbb{R})$.


title: Cable Estimation-Based Control for Wire-Borne Underactuated Brachiating Robots: A Combined Direct-Indirect Adaptive Robust Approach

abstract: In this paper, we present an online adaptive robust control framework for underactuated brachiating robots traversing flexible cables. Since the dynamic model of a flexible body is unknown in practice, we propose an indirect adaptive estimation scheme to approximate the unknown dynamic effects of the flexible cable as an external force with parametric uncertainties. A boundary layer-based sliding mode control is then designed to compensate for the residual unmodeled dynamics and time-varying disturbances, in which the control gain is updated by an auxiliary direct adaptive control mechanism. Stability analysis and derivation of adaptation laws are carried out through a Lyapunov approach, which formally guarantees the stability and tracking performance of the robot-cable system. Simulation experiments and comparison with a baseline controller show that the combined direct-indirect adaptive robust control framework achieves reliable tracking performance and adaptive system identification, enabling the robot to traverse flexible cables in the presence of unmodeled dynamics, parametric uncertainties and unstructured disturbances.


title: Frequency Selective Wave Beaming in Nonreciprocal Acoustic Phased Arrays

abstract: Acoustic phased arrays are capable of steering and focusing a beam of sound via selective coordination of the spatial distribution of phase angles between multiple sound emitters. Constrained by the principle of reciprocity, conventional phased arrays exhibit identical transmission and reception patterns which limit the scope of their operation. This work presents a controllable space-time acoustic phased array which breaks time-reversal symmetry, and enables phononic transition in both momentum and energy spaces. By leveraging a dynamic phase modulation, the proposed linear phased array is no longer bound by the acoustic reciprocity, and supports asymmetric transmission and reception patterns that can be tuned independently at multiple channels. A foundational framework is developed to characterize and interpret the emergent nonreciprocal phenomena and is later validated against benchmark numerical experiments. The new phased array selectively alters the directional and frequency content of the incident signal and the frequency conversion between the different wave fields is analyzed as a function of the imposed modulation. The space-time acoustic phased array enables unprecedented control over sound waves in a variety of applications ranging from ultrasonic imaging to non-destructive testing and underwater SONAR telecommunication.


title: Safe and Effective Picking Paths in Clutter given Discrete Distributions of Object Poses

abstract: Picking an item in the presence of other objects can be challenging as it involves occlusions and partial views. Given object models, one approach is to perform object pose estimation and use the most likely candidate pose per object to pick the target without collisions. This approach, however, ignores the uncertainty of the perception process both regarding the target's and the surrounding objects' poses. This work proposes first a perception process for 6D pose estimation, which returns a discrete distribution of object poses in a scene. Then, an open-loop planning pipeline is proposed to return safe and effective solutions for moving a robotic arm to pick, which (a) minimizes the probability of collision with the obstructing objects; and (b) maximizes the probability of reaching the target item. The planning framework models the challenge as a stochastic variant of the Minimum Constraint Removal (MCR) problem. The effectiveness of the methodology is verified given both simulated and real data in different scenarios. The experiments demonstrate the importance of considering the uncertainty of the perception process in terms of safe execution. The results also show that the methodology is more effective than conservative MCR approaches, which avoid all possible object poses regardless of the reported uncertainty.


title: Conditions for the existence of a generalization of R\'enyi divergence

abstract: We give necessary and sufficient conditions for the existence of a generalization of R\'enyi divergence, which is defined in terms of a deformed exponential function. If the underlying measure $\mu$ is non-atomic, we found that not all deformed exponential functions can be used in the generalization of R\'enyi divergence; a condition involving the deformed exponential function is provided. In the case $\mu$ is purely atomic (the counting measure on the set of natural numbers), we show that any deformed exponential function can be used in the generalization.


title: Challenges in Docker Development: A Large-scale Study Using Stack Overflow

abstract: Docker technology has been increasingly used among software developers in a multitude of projects. This growing interest is due to the fact that Docker technology supports a convenient process for creating and building containers, promoting close cooperation between developer and operations teams, and enabling continuous software delivery. As a fast-growing technology, it is important to identify the Docker-related topics that are most popular as well as existing challenges and difficulties that developers face. This paper presents a large-scale empirical study identifying practitioners' perspectives on Docker technology by mining posts from the Stack Overflow (SoF) community. Method: A dataset of 113,922 Docker-related posts was created based on a set of relevant tags and contents. The dataset was cleaned and prepared. Topic modelling was conducted using Latent Dirichlet Allocation (LDA), allowing the identification of dominant topics in the domain. Our results show that most developers use SoF to ask about a broad spectrum of Docker topics including framework development, application deployment, continuous integration, web-server configuration and many more. We determined that 30 topics that developers discuss can be grouped into 13 main categories. Most of the posts belong to categories of application development, configuration, and networking. On the other hand, we find that the posts on monitoring status, transferring data, and authenticating users are more popular among developers compared to the other topics. Specifically, developers face challenges in web browser issues, networking error and memory management. Besides, there is a lack of experts in this domain. Our research findings will guide future work on the development of new tools and techniques, helping the community to focus efforts and understand existing trade-offs on Docker topics.


title: Scalar absorption cross section of rotating black holes with tidal charge

abstract: The absorption cross section of rotating black holes in the Randall-Sundrum brane-world scenario for massless scalar waves is obtained via the partial-wave method. A variety of incidence directions with respect to the black hole rotation axis is considered. Special attention is given to near-extreme black holes, in which cases the absorption cross section increases as the tidal charge becomes more negative. It is shown that black holes with different configurations can present capture cross sections/shadows of same size. However, in such cases, the absorption spectra are different mainly for small frequencies. Numeric results are compared with the capture cross sections in the high-frequency limit, and with the black hole area in the low-frequency limit showing good agreement.


title: Key-Nets: Optical Transformation Convolutional Networks for Privacy Preserving Vision Sensors

abstract: Modern cameras are not designed with computer vision or machine learning as the target application. There is a need for a new class of vision sensors that are privacy preserving by design, that do not leak private information and collect only the information necessary for a target machine learning task. In this paper, we introduce key-nets, which are convolutional networks paired with a custom vision sensor which applies an optical/analog transform such that the key-net can perform exact encrypted inference on this transformed image, but the image is not interpretable by a human or any other key-net. We provide five sufficient conditions for an optical transformation suitable for a key-net, and show that generalized stochastic matrices (e.g. scale, bias and fractional pixel shuffling) satisfy these conditions. We motivate the key-net by showing that without it there is a utility/privacy tradeoff for a network fine-tuned directly on optically transformed images for face identification and object detection. Finally, we show that a key-net is equivalent to homomorphic encryption using a Hill cipher, with an upper bound on memory and runtime that scales quadratically with a user specified privacy parameter. Therefore, the key-net is the first practical, efficient and privacy preserving vision sensor based on optical homomorphic encryption.


title: PoCoNet: Better Speech Enhancement with Frequency-Positional Embeddings, Semi-Supervised Conversational Data, and Biased Loss

abstract: Neural network applications generally benefit from larger-sized models, but for current speech enhancement models, larger scale networks often suffer from decreased robustness to the variety of real-world use cases beyond what is encountered in training data. We introduce several innovations that lead to better large neural networks for speech enhancement. The novel PoCoNet architecture is a convolutional neural network that, with the use of frequency-positional embeddings, is able to more efficiently build frequency-dependent features in the early layers. A semi-supervised method helps increase the amount of conversational training data by pre-enhancing noisy datasets, improving performance on real recordings. A new loss function biased towards preserving speech quality helps the optimization better match human perceptual opinions on speech quality. Ablation experiments and objective and human opinion metrics show the benefits of the proposed improvements.


title: Prediction of Chlorine and Fluorine Crystal Structures at High Pressure Using Symmetry Driven Structure Search with Geometric Constraints

abstract: The high-pressure properties of fluorine and chlorine are not yet well understood because both are highly reactive and volatile elements, which has made conducting diamond anvil cell and x-ray diffraction experiments a challenge. Here we use ab initio methods to search for stable crystal structures of both elements at megabar pressures. We demonstrate how symmetry and geometric constraints can be combined to efficiently generate crystal structures that are composed of diatomic molecules. Our algorithm extends the symmetry driven structure search method [Phys. Rev. B 98 (2018) 174107] by adding constraints for the bond length and the number of atoms in a molecule, while still maintaining generality. As a method of validation, we have tested our approach for dense hydrogen and reproduced the known molecular structures of Cmca-12 and Cmca-4. We apply our algorithm to study chlorine and fluorine in the pressure range from 10--4000 GPa while considering crystal structures with up to 40 atoms per unit cell. We predict chlorine to follow the same series of phase transformations as elemental iodine from Cmca to Immm to Fm$\bar{3}$m, but at substantially higher pressures. We predict fluorine to transition from a C2/c to an Cmca structure at 70 GPa, to a novel orthorhombic and metallic structure with P$4_2$/mmc symmetry at 2500 GPa, and finally into its cubic analogue form with Pm$\bar{3}$n symmetry at 3000 GPa.


title: Rigid inner forms over local function fields

abstract: We generalize the concept of rigid inner forms, defined by Kaletha in [Kal16], to the setting of a local function field $F$ in order state the local Langlands conjectures for arbitrary connected reductive groups over $F$. To do this, we define for a connected reductive group $G$ over $F$ a new cohomology set $H^{1}(\mathcal{E}, Z \to G) \subset H_{\text{fpqc}}^{1}(\mathcal{E}, G)$ for a gerbe $\mathcal{E}$ attached to a class in $H_{\text{fppf}}^{2}(F, u)$ for a certain canonically-defined profinite commutative group scheme $u$, building up to an analogue of the classical Tate-Nakayama duality theorem. We define a relative transfer factor for an endoscopic datum serving a connected reductive group $G$ over $F$, and use rigid inner forms to extend this to an absolute transfer factor, enabling the statement of endoscopic conjectures relating stable virtual characters and $\dot{s}$-stable virtual characters for a semisimple $\dot{s}$ associated to a tempered Langlands parameter.


title: Airflow recovery from thoracic and abdominal movements using Synchrosqueezing Transform and Locally Stationary Gaussian Process Regression

abstract: Airflow signal encodes rich information about respiratory system. While the gold standard for measuring airflow is to use a spirometer with an occlusive seal, this is not practical for ambulatory monitoring of patients. Advances in sensor technology have made measurement of motion of the thorax and abdomen feasible with small inexpensive devices, but estimation of airflow from these time series is challenging. We propose to use the nonlinear-type time-frequency analysis tool, synchrosqueezing transform, to properly represent the thoracic and abdominal movement signals as the features, which are used to recover the airflow by the locally stationary Gaussian process. We show that, using a dataset that contains respiratory signals under normal sleep conditions, an accurate prediction can be achieved by fitting the proposed model in the feature space both in the intra- and inter-subject setups. We also apply our method to a more challenging case, where subjects under general anesthesia underwent transitions from pressure support to unassisted ventilation to further demonstrate the utility of the proposed method.


title: Density spectrum of Cantor measure

abstract: Given $\rho\in(0, 1/3]$, let $\mu$ be the Cantor measure satisfying $\mu=\frac{1}{2}\mu f_0^{-1}+\frac{1}{2}\mu f_1^{-1}$, where $f_i(x)=\rho x+i(1-\rho)$ for $i=0, 1$. The support of $\mu$ is a Cantor set $C$ generated by the iterated function system $\{f_0, f_1\}$. Continuing the work of Feng et al. (2000) on the pointwise lower and upper densities \[ \Theta_*^s(\mu, x)=\liminf_{r\to 0}\frac{\mu(B(x,r))}{(2r)^s},\qquad \Theta^{*s}(\mu, x)=\limsup_{r\to 0}\frac{\mu(B(x,r))}{(2r)^s}, \] where $s=-\log 2/\log\rho$ is the Hausdorff dimension of $C$, we give a complete description of the sets $D_*$ and $D^*$ consisting of all possible values of the lower and upper densities, respectively. We show that both sets contain infinitely many isolated and infinitely many accumulation points, and they have the same Hausdorff dimension as the Cantor set $C$. Furthermore, we compute the Hausdorff dimension of the level sets of the lower and upper densities. Our method consists in formulating an equivalent ``dyadic" version of the problem involving the doubling map on $[0,1)$, which we solve by using known results on the entropy of a certain open dynamical system and the notion of tuning.


title: Stick-breaking processes with exchangeable length variables

abstract: Our object of study is the general class of stick-breaking processes with exchangeable length variables. These generalize well-known Bayesian non-parametric priors in an unexplored direction. We give conditions to assure the respective species sampling process is proper and the corresponding prior has full support. For a rich sub-class we explain how, by tuning a single $[0,1]$-valued parameter, the stochastic ordering of the weights can be modulated, and Dirichlet and Geometric priors can be recovered. A general formula for the distribution of the latent allocation variables is derived and an MCMC algorithm is proposed for density estimation purposes.


title: Fast Channel Estimation for IRS-Assisted OFDM

abstract: In this letter, we study efficient channel estimation for an intelligent reflecting surface (IRS)-assisted orthogonal frequency division multiplexing (OFDM) system to achieve minimum training time. First, a fast channel estimation scheme with reduced OFDM symbol duration is proposed for arbitrary frequency-selective fading channels. Next, under the typical condition that the IRS-user channel is line-of-sight (LoS) dominant, another fast channel estimation scheme based on the novel concept of sampling-wise IRS reflection variation is proposed. Moreover, the pilot signal and IRS training reflection pattern are jointly optimized for both proposed schemes. Finally, the proposed schemes are compared in terms of training time and channel estimation performance via simulations, as well as against benchmark schemes.


title: Security Versus Privacy

abstract: Linear queries can be submitted to a server containing private data. The server provides a response to the queries systematically corrupted using an additive noise to preserve the privacy of those whose data is stored on the server. The measure of privacy is inversely proportional to the trace of the Fisher information matrix. It is assumed that an adversary can inject a false bias to the responses. The measure of the security, capturing the ease of detecting the presence of the false data injection, is the sensitivity of the Kullback-Leiber divergence to the additive bias. An optimization problem for balancing privacy and security is proposed and subsequently solved. It is shown that the level of guaranteed privacy times the level of security equals a constant. Therefore, by increasing the level of privacy, the security guarantees can only be weakened and vice versa. Similar results are developed under the differential privacy framework.

categories: cs.CR cs.IT cs.SY eess.SY math.IT math.OC


title: New regular black hole solutions and other electrically charged compact objects with a de Sitter core and a matter layer

abstract: The main objective of this work is the construction of regular black hole solutions in the context of the Einstein-Maxwell theory. The strategy is to match an interior regular solution to an exterior electrovacuum solution. With this purpose, we first write explicitly the Einstein field equations for the interior regular region. We take an electrically charged nonisotropic fluid, which presents spherical symmetry and a de Sitter type equation of state, where the radial pressure $p_r$ is equal to the negative of energy density $\rho$, $p_r=-\rho$. Then, two solutions for the Einstein equations are built, a regular interior solution for the region with matter satisfying a de Sitter equation of state, and an external solution for the region outside the matter, that corresponds to the Reissner-Nordstr\"om metric. To complete the solution we apply the Darmois-Israel junction conditions with a timelike thin shell at the matching surface. It is assumed that the matching surface is composed by a thin shell of matter, i.e., a surface layer in the form a perfect fluid obeying a barotropic equation of state, $\mathcal{P}=\omega\sigma$, $P$ and $\sigma $ being the intrinsic pressure and energy density of the shell, respectively, and $\omega$ a constant parameter. We show that there are electrically charged regular black hole solutions and other compact objects for specific choices of $\omega$ and of the other parameters of the model. Some properties of the objects are investigated.


title: RegionTrack: A Trace-based Sound and Complete Checker to Debug Transactional Atomicity Violations and Non-Serializable Traces

abstract: Atomicity is a correctness criterion to reason about isolated code regions in a multithreaded program when they are executed concurrently. However, dynamic instances of these code regions, called transactions, may fail to behave atomically, resulting in transactional atomicity violations. Existing dynamic online atomicity checkers incur either false positives or false negatives in detecting transactions experiencing transactional atomicity violations. This paper proposes RegionTrack. RegionTrack tracks cross-thread dependences at the event, dynamic subregion, and transaction levels. It maintains both dynamic subregions within selected transactions and transactional happens-before relations through its novel timestamp propagation approach. We prove that RegionTrack is sound and complete in detecting both transactional atomicity violations and non-serializable traces. To the best of our knowledge, it is the first online technique that precisely captures the transitively closed set of happens-before relations over all conflicting events with respect to every running transaction for the above two kinds of issues. We have evaluated RegionTrack on 19 subjects of the DaCapo and the Java Grande Forum benchmarks. The empirical results confirm that RegionTrack precisely detected all those transactions which experienced transactional atomicity violations and identified all non-serializable traces. The overall results also show that RegionTrack incurred 1.10x and 1.08x lower memory and runtime overheads than Velodrome and 2.10x and 1.21x lower than Aerodrome, respectively. Moreover, it incurred 2.89x lower memory overhead than DoubleChecker. On average, Velodrome detected about 55% fewer violations than RegionTrack, which in turn reported about 3%-70% fewer violations than DoubleChecker.


title: Fingerprinting the Fingerprinters: Learning to Detect Browser Fingerprinting Behaviors

abstract: Browser fingerprinting is an invasive and opaque stateless tracking technique. Browser vendors, academics, and standards bodies have long struggled to provide meaningful protections against browser fingerprinting that are both accurate and do not degrade user experience. We propose FP-Inspector, a machine learning based syntactic-semantic approach to accurately detect browser fingerprinting. We show that FP-Inspector performs well, allowing us to detect 26% more fingerprinting scripts than the state-of-the-art. We show that an API-level fingerprinting countermeasure, built upon FP-Inspector, helps reduce website breakage by a factor of 2. We use FP-Inspector to perform a measurement study of browser fingerprinting on top-100K websites. We find that browser fingerprinting is now present on more than 10% of the top-100K websites and over a quarter of the top-10K websites. We also discover previously unreported uses of JavaScript APIs by fingerprinting scripts suggesting that they are looking to exploit APIs in new and unexpected ways.


title: Transformer with Bidirectional Decoder for Speech Recognition

abstract: Attention-based models have made tremendous progress on end-to-end automatic speech recognition(ASR) recently. However, the conventional transformer-based approaches usually generate the sequence results token by token from left to right, leaving the right-to-left contexts unexploited. In this work, we introduce a bidirectional speech transformer to utilize the different directional contexts simultaneously. Specifically, the outputs of our proposed transformer include a left-to-right target, and a right-to-left target. In inference stage, we use the introduced bidirectional beam search method, which can not only generate left-to-right candidates but also generate right-to-left candidates, and determine the best hypothesis by the score. To demonstrate our proposed speech transformer with a bidirectional decoder(STBD), we conduct extensive experiments on the AISHELL-1 dataset. The results of experiments show that STBD achieves a 3.6\% relative CER reduction(CERR) over the unidirectional speech transformer baseline. Besides, the strongest model in this paper called STBD-Big can achieve 6.64\% CER on the test set, without language model rescoring and any extra data augmentation strategies.


title: Exploring Aligned Lyrics-Informed Singing Voice Separation

abstract: In this paper, we propose a method of utilizing aligned lyrics as additional information to improve the performance of singing voice separation. We have combined the highway network-based lyrics encoder into Open-unmix separation network and show that the model trained with the aligned lyrics indeed results in a better performance than the model that was not informed. The question now remains whether the increase of performance is actually due to the phonetic contents that lie in the informed aligned lyrics or not. To this end, we investigated the source of performance increase in multifaceted ways by observing the change of performance when incorrect lyrics were given to the model. Experiment results show that the model can use not only just vocal activity information but also the phonetic contents from the aligned lyrics.


title: Enumeration of set-theoretic solutions to the Yang-Baxter equation

abstract: We use Constraint Satisfaction methods to enumerate and construct set-theoretic solutions to the Yang-Baxter equation of small size. We show that there are 321931 involutive solutions of size nine, 4895272 involutive solutions of size ten and 422449480 non-involutive solution of size eight. Our method is then used to enumerate non-involutive biquandles.


title: Directional self-locomotion of active droplets enabled by nematic environment

abstract: Active matter comprised of self-propelled interacting units holds a major promise for extraction of useful work from its seemingly chaotic out-of-equilibrium dynamics. Streamlining active matter to produce work is especially important at microscale, where the viscous forces prevail over inertia and the useful modes of transport require very specific non-reciprocal type of motion. Here we report that microscopic active droplets representing aqueous dispersions of swimming bacteria Bacillus subtilis show unidirectional propulsion when placed in an inactive nematic medium. Random motion of bacteria inside the droplet is rectified into a directional self-locomotion of the droplet by the polar director structure that the droplet itself creates in the surrounding nematic through anisotropic molecular interactions at its surface. Droplets without swimming bacteria show no net displacement. The trajectory of the active droplet can be predesigned as rectilinear or curvilinear by patterning the molecular orientation of the nematic medium. The effect demonstrates that swimming at microscale can be achieved at the expense of broken spatial symmetry of the medium; it can be used in development of micromachines.


title: Grain refinement of stainless steel in ultrasound-assisted additive manufacturing

abstract: Metals and alloys fabricated by fusion-based additive manufacturing (AM), or 3D printing, undergo complex dynamics of melting and solidification, presenting challenges to the effective control of grain structure. Herein, we report on the use of high-intensity ultrasound that controls the process of solidification during AM of 316L stainless steel. We find that the use of ultrasound favours the columnar-to-equiaxed transition, promoting the formation of fine equiaxed grains with random crystallographic texture. Moreover, the use of ultrasound increases the number density of grains from 305 mm-2 to 2748 mm-2 despite an associated decrease in cooling rate and temperature gradient in the melt pool during AM. Our assessment of the relationship between grain size and cooling rate indicates that the formation of crystallites during AM is enhanced by ultrasound. Furthermore, the use of ultrasound increases the amount of constitutional supercooling during solidification by lowering the temperature gradient in the bulk of the melt pool, thus creating an environment that favours nucleation, growth, and survival of grains. This new understanding provides opportunities to better exploit ultrasound to control grain structure in AM-fabricated metal products.


title: Universal Analytic Model of Irradiation Defect Dynamics in Silica-Silicon Structures

abstract: Irradiation damage is a key physics issue for semiconductor devices under extreme environments. For decades, the ionization-irradiation-induced damage in transistors with silica-silicon structures under constant dose rate is modeled by a uniform generation of $E'$ centers in the bulk silica region and their irreversible conversion to $P_b$ centers at the silica-silicon interface. But, the traditional model fails to explain experimentally observed dependence of the defect concentrations on dose, especially at low dose rate. Here, we propose that, the generation of $E'$ is decelerated due to the dispersive diffusion of induced holes in the disordered silica and the conversion of $P_b$ is reversible due to recombination-enhanced defect reactions under irradiation. It is shown that the derived analytic model based on these new understandings can consistently explain the fundamental but puzzling dependence of the defect concentrations on dose and dose rate in a wide range.


title: Motzkin Algebras and the $A_n$ Tensor Categories of Bimodules

abstract: We discuss the structure of the Motzkin algebra $M_k(D)$ by introducing a sequence of idempotents and the basic construction. We show that $\cup_{k\geq 1}M_k(D)$ admits a factor trace if and only if $D\in \{2\cos(\pi/n)+1|n\geq 3\}\cup [3,\infty)$ and higher commutants of these factors depend on $D$. Then a family of irreducible bimodules over the factors are constructed. A tensor category with $A_n$ fusion rule is obtained from these bimodules.


title: ARPM-net: A novel CNN-based adversarial method with Markov Random Field enhancement for prostate and organs at risk segmentation in pelvic CT images

abstract: Purpose: The research is to develop a novel CNN-based adversarial deep learning method to improve and expedite the multi-organ semantic segmentation of CT images, and to generate accurate contours on pelvic CT images. Methods: Planning CT and structure datasets for 120 patients with intact prostate cancer were retrospectively selected and divided for 10-fold cross-validation. The proposed adversarial multi-residual multi-scale pooling Markov Random Field (MRF) enhanced network (ARPM-net) implements an adversarial training scheme. A segmentation network and a discriminator network were trained jointly, and only the segmentation network was used for prediction. The segmentation network integrates a newly designed MRF block into a variation of multi-residual U-net. The discriminator takes the product of the original CT and the prediction/ground-truth as input and classifies the input into fake/real. The segmentation network and discriminator network can be trained jointly as a whole, or the discriminator can be used for fine-tuning after the segmentation network is coarsely trained. Multi-scale pooling layers were introduced to preserve spatial resolution during pooling using less memory compared to atrous convolution layers. An adaptive loss function was proposed to enhance the training on small or low contrast organs. The accuracy of modeled contours was measured with the Dice similarity coefficient (DSC), Average Hausdorff Distance (AHD), Average Surface Hausdorff Distance (ASHD), and relative Volume Difference (VD) using clinical contours as references to the ground-truth. The proposed ARPM-net method was compared to several stateof-the-art deep learning methods.


title: Federated Learning via Synthetic Data

abstract: Federated learning allows for the training of a model using data on multiple clients without the clients transmitting that raw data. However the standard method is to transmit model parameters (or updates), which for modern neural networks can be on the scale of millions of parameters, inflicting significant computational costs on the clients. We propose a method for federated learning where instead of transmitting a gradient update back to the server, we instead transmit a small amount of synthetic `data'. We describe the procedure and show some experimental results suggesting this procedure has potential, providing more than an order of magnitude reduction in communication costs with minimal model degradation.


title: Interface learning in fluid dynamics: statistical inference of closures within micro-macro coupling models

abstract: Many complex multiphysics systems in fluid dynamics involve using solvers with varied levels of approximations in different regions of the computational domain to resolve multiple spatiotemporal scales present in the flow. The accuracy of the solution is governed by how the information is exchanged between these solvers at the interface and several methods have been devised for such coupling problems. In this article, we construct a data-driven model by spatially coupling a microscale lattice Boltzmann method (LBM) solver and macroscale finite difference method (FDM) solver for reaction-diffusion systems. The coupling between the micro-macro solvers has one to many mapping at the interface leading to the interface closure problem, and we propose a statistical inference method based on neural networks to learn this closure relation. The performance of the proposed framework in a bifidelity setting partitioned between the FDM and LBM domain shows its promise for complex systems where analytical relations between micro-macro solvers are not available.


title: The possibility of the secondary object in GW190814 as a neutron star

abstract: A compact object was observed with a mass $2.50-2.67~M_\odot$ by LIGO Scientific and Virgo collaborations (LVC) in GW190814, which provides a great challenge to the investigations into the supranuclear matter. To study this object, properties of neutron star are systematically calculated within the latest density-dependent relativistic mean-field (DDRMF) parameterizations, which are determined by the ground state properties of spherical nuclei. The maximum masses of neutron star calculated by DD-MEX and DD-LZ1 sets can be around $2.55~M_\odot$ with quite stiff equations of state generated by their strong repulsive contributions from vector potentials at high densities. Their maximum speeds of sound $c_s/c$ are smaller than $\sqrt{0.8}$ at the center of neutron star and the dimensionless tidal deformabilities at $1.4~M_\odot$ are less than $800$. Furthermore, the radii of $1.4 ~M_\odot$ also satisfy the constraint from the observation of mass-radius simultaneous measurements (NICER). Therefore, we conclude that one cannot exclude the possibility of the secondary object in GW190814 as a neutron star composed of hadron matter from DDRMF models.


title: A One-Dimensional Variational Problem for Cholesteric Liquid Crystals with Disparate Elastic Constants

abstract: We consider a one-dimensional variational problem arising in connection with a model for cholesteric liquid crystals. The principal feature of our study is the assumption that the twist deformation of the nematic director incurs much higher energy penalty than other modes of deformation. The appropriate ratio of the elastic constants then gives a small parameter $\varepsilon$ entering an Allen-Cahn-type energy functional augmented by a twist term. We consider the behavior of the energy as $\varepsilon$ tends to zero. We demonstrate existence of the local energy minimizers classified by their overall twist, find the $\Gamma$-limit of the relaxed energies and show that it consists of the twist and jump terms. Further, we extend our results to include the situation when the cholesteric pitch vanishes along with $\varepsilon$.


title: The Radius of a Polymer at a Near-Critical Temperature

abstract: We consider a mean-field model of a polymer with a spherically-symmetric finitely supported potential. We describe how the typical size of the polymer depends on the two parameters: the temperature, which approaches the critical value, and the length of the polymer chain, which goes to infinity.


title: Cwikel-Solomyak estimates on tori and Euclidean spaces

abstract: We revise Cwikel-type estimate for the singular values of the operator $(1-\Delta_{\mathbb{T}^d})^{-\frac{d}{4}}M_f(1-\Delta_{\mathbb{T}^d})^{-\frac{d}{4}}$ on the torus $\mathbb{T}^d$ for the ideal $\mathcal{L}_{1,\infty}$, established by M.Z. Solomyak in even dimensions in \cite{Solomyak1995}, and extend it to odd dimensions. We obtain a new result for (symmetrized) Cwikel type estimates for Laplacians on $\mathbb{R}^d$ for arbitrary positive integer $d.$


title: Intrinsic Certified Robustness of Bagging against Data Poisoning Attacks

abstract: In a \emph{data poisoning attack}, an attacker modifies, deletes, and/or inserts some training examples to corrupt the learnt machine learning model. \emph{Bootstrap Aggregating (bagging)} is a well-known ensemble learning method, which trains multiple base models on random subsamples of a training dataset using a base learning algorithm and uses majority vote to predict labels of testing examples. We prove the intrinsic certified robustness of bagging against data poisoning attacks. Specifically, we show that bagging with an arbitrary base learning algorithm provably predicts the same label for a testing example when the number of modified, deleted, and/or inserted training examples is bounded by a threshold. Moreover, we show that our derived threshold is tight if no assumptions on the base learning algorithm are made. We evaluate our method on MNIST and CIFAR10. For instance, our method achieves a certified accuracy of $91.1\%$ on MNIST when arbitrarily modifying, deleting, and/or inserting 100 training examples. Code is available at: \url{https://github.com/jjy1994/BaggingCertifyDataPoisoning}.


title: Extreme first passage times for random walks on networks

abstract: Many biological, social, and communication systems can be modeled by ``searchers'' moving through a complex network. For example, intracellular cargo is transported on tubular networks, news and rumors spread through online social networks, and the rapid global spread of infectious diseases occurs through passengers traveling on the airport network. To understand the timescale of search/transport/spread, one commonly studies the first passage time (FPT) of a single searcher (or ``spreader'') to a target. However, in many scenarios the relevant timescale is not the FPT of a single searcher to a target, but rather the FPT of the fastest searcher to a target out of many searchers. For example, many processes in cell biology are triggered by the first molecule to find a target out of many, and the time it takes an infectious disease to reach a particular city depends on the first infected traveler to arrive out of potentially many infected travelers. Such fastest FPTs are called extreme FPTs. In this paper, we study extreme FPTs for a general class of continuous-time random walks on networks (which includes continuous-time Markov chains). In the limit of many searchers, we find explicit formulas for the probability distribution and all the moments of the $k$th fastest FPT. These rigorous formulas depend only on network parameters along a certain geodesic path(s) from the starting location to the target since the fastest searchers take a direct route to the target. Furthermore, our results allow one to estimate if a particular system is in a regime characterized by fast extreme FPTs. We also prove similar results for mortal searchers on a network that are conditioned to find the target before a fast inactivation time. We illustrate our results with numerical simulations and uncover potential pitfalls of modeling diffusive or subdiffusive processes involving extreme statistics.


title: Enhancement of the thermoelectric properties in bilayer graphene structures induced by Fano resonances

abstract: Fano and hybrid resonances of bilayer graphene could be attractive for thermoelectric devices. The special profile presented by such resonances could significantly enhance the Seebeck coefficient and the power factor. In this work, we study the thermoelectric properties of bilayer graphene single and double barrier structures. The charge carriers are described as massive chiral particles through an effective Dirac-like Hamiltonian. The Hybrid matrix method, the Landauer-B\"{u}ttiker formalism and the Cutler-Mott formula are implemented to obtain the transmission, transport and thermoelectric properties, respectively. The Seebeck coefficient and the power factor are analyzed for gapless and gapped single and double barriers. We find that in the energy range where Fano resonances occur, the Seebeck coefficient attains values of tens of mV/K and the power factor reaches values of the order nW/K. Hybrid resonances also sustain high values for the thermoelectric properties, however not as high as Fano resonances. We also find that despite the Fano and hybrid profiles are manifested in the conductance of gapped barrier structures, the Seebeck coefficient and the power factor are systematically reduced as the bandgap gets larger. So, our findings indicate that bilayer graphene barrier structures can be used to improve the response of thermoelectric devices.


title: Critical coupling vortex with grating-induced high quality optical Tamm states

abstract: We investigate optical Tamm states supported by a dielectric grating placed on top of a distributed Bragg reflector. It is found that under certain conditions the Tamm state may become a bound state in the continuum. The bound state, in its turn, induces the effect of critical coupling with reflectance amplitude reaching an exact zero. We demonstrate that the critical coupling point is located in the core of a vortex of the reflection amplitude gradient in space of wavelength and angle of incidence. The emergence of the vortex is explained by the coupled mode theory.


title: How Well Do Remote Labs Work? A Case Study at Princeton University

abstract: The onset of the COVID-19 pandemic forced many universities to move to virtual instruction during the spring 2020 semester. The transition to remote learning was abrupt and overwhelming for teachers of all subjects, all across the US. Nowhere was this more true than in science lab courses. The experience nevertheless provides an opportunity to investigate the optimal design of remote labs, with similar learning goals as in-person labs. In this study we explore the three most common approaches to remote labs: recorded experiments, applet-based experiments, and at-home projects. We use surveys and interviews to make two comparisons: remote labs vs. in-person labs; the different types of remote labs. Examining these two questions we find that remote labs perform as well as in-person labs and students learn the most from at home physics experiments while also enjoying those the most.


title: Towards Plausible Differentially Private ADMM Based Distributed Machine Learning

abstract: The Alternating Direction Method of Multipliers (ADMM) and its distributed version have been widely used in machine learning. In the iterations of ADMM, model updates using local private data and model exchanges among agents impose critical privacy concerns. Despite some pioneering works to relieve such concerns, differentially private ADMM still confronts many research challenges. For example, the guarantee of differential privacy (DP) relies on the premise that the optimality of each local problem can be perfectly attained in each ADMM iteration, which may never happen in practice. The model trained by DP ADMM may have low prediction accuracy. In this paper, we address these concerns by proposing a novel (Improved) Plausible differentially Private ADMM algorithm, called PP-ADMM and IPP-ADMM. In PP-ADMM, each agent approximately solves a perturbed optimization problem that is formulated from its local private data in an iteration, and then perturbs the approximate solution with Gaussian noise to provide the DP guarantee. To further improve the model accuracy and convergence, an improved version IPP-ADMM adopts sparse vector technique (SVT) to determine if an agent should update its neighbors with the current perturbed solution. The agent calculates the difference of the current solution from that in the last iteration, and if the difference is larger than a threshold, it passes the solution to neighbors; or otherwise the solution will be discarded. Moreover, we propose to track the total privacy loss under the zero-concentrated DP (zCDP) and provide a generalization performance analysis. Experiments on real-world datasets demonstrate that under the same privacy guarantee, the proposed algorithms are superior to the state of the art in terms of model accuracy and convergence rate.


title: How much electric surcharge fits on ... a white dwarf star?

abstract: The question how much surplus of electric charge ("surcharge") fits on an object is generally very difficult to answer. Here it is shown that it is easy to answer when the object is a \emph{failed white dwarf} star (a brown dwarf in its ground state) made of protons and electrons: Given the number of protons, how many electrons can there be? Surprisingly, the answer (in the form: as few as $\mathfrak{A}$ and as many as $\mathfrak{B}$) is independent of the speed of light $c$ and the Planck quantum $h$, even when the star is stabilized against collapse by relativistic quantum mechanics.