title: Representation Transfer by Optimal Transport

abstract: Learning generic representations with deep networks requires massive training samples and significant computer resources. To learn a new specific task, an important issue is to transfer the generic teacher's representation to a student network. In this paper, we propose to use a metric between representations that is based on a functional view of neurons. We use optimal transport to quantify the match between two representations, yielding a distance that embeds some invariances inherent to the representation of deep networks. This distance defines a regularizer promoting the similarity of the student's representation with that of the teacher. Our approach can be used in any learning context where representation transfer is applicable. We experiment here on two standard settings: inductive transfer learning, where the teacher's representation is transferred to a student network of same architecture for a new related task, and knowledge distillation, where the teacher's representation is transferred to a student of simpler architecture for the same task (model compression). Our approach also lends itself to solving new learning problems; we demonstrate this by showing how to directly transfer the teacher's representation to a simpler architecture student for a new related task.


title: Implicit Bias in Deep Linear Classification: Initialization Scale vs Training Accuracy

abstract: We provide a detailed asymptotic study of gradient flow trajectories and their implicit optimization bias when minimizing the exponential loss over "diagonal linear networks". This is the simplest model displaying a transition between "kernel" and non-kernel ("rich" or "active") regimes. We show how the transition is controlled by the relationship between the initialization scale and how accurately we minimize the training loss. Our results indicate that some limit behaviors of gradient descent only kick in at ridiculous training accuracies (well beyond $10^{-100}$). Moreover, the implicit bias at reasonable initialization scales and training accuracies is more complex and not captured by these limits.


title: Orthogonal Sparse Superposition Codes for Ultra-Reliable Low-Latency Communications

abstract: This paper presents a new class of sparse superposition codes for low-rates and short-packet communications over the additive white Gaussian noise channel. The new code is orthogonal sparse superposition (OSS) code. A codeword of OSS codes is represented as a superposition of sparse sub-codewords whose support sets are mutually non-overlapping. To construct such codewords in a computationally efficient manner, a successive encoding method is presented. Harnessing the orthogonal property among sub-codewords, a simple yet near-optimal decoding method is proposed, which performs element-wise maximum a posterior decoding with successive support set cancellation. This decoder is super-fast by a linear decoding complexity in block lengths, far less than the commercially used channel decoders for modern channel codes. The upper bounds for the block error rates (BLERs) are analytically derived for few-layered OSS codes as a function of block lengths and code rates. It turns out that a single-layered OSS code achieves the ultimate Shannon limit in the power-limited regime, even with the linear complexity decoder. Via simulations, the proposed OSS codes are shown to perform better than commercially used coded modulation techniques for low-rate and short-latency communication scenarios.


title: Simulating the same physics with two distinct Hamiltonians

abstract: We develop a framework and give an example for situations where two distinct Hamiltonians living in the same Hilbert space can be used to simulate the same physics. As an example of an analog simulation, we first discuss how one can simulate an infinite-range-interaction one-axis twisting Hamiltonian using a short-range nearest-neighbor-interaction Heisenberg XXX model with a staggered field. Based on this, we show how one can build an alternative version of a digital quantum simulator. As a by-product, we present a method for creating many-body maximally entangled states using only short-range nearest-neighbor interactions.


title: Single-partition adaptive Q-learning

abstract: This paper introduces single-partition adaptive Q-learning (SPAQL), an algorithm for model-free episodic reinforcement learning (RL), which adaptively partitions the state-action space of a Markov decision process (MDP), while simultaneously learning a time-invariant policy (i. e., the mapping from states to actions does not depend explicitly on the episode time step) for maximizing the cumulative reward. The trade-off between exploration and exploitation is handled by using a mixture of upper confidence bounds (UCB) and Boltzmann exploration during training, with a temperature parameter that is automatically tuned as training progresses. The algorithm is an improvement over adaptive Q-learning (AQL). It converges faster to the optimal solution, while also using fewer arms. Tests on episodes with a large number of time steps show that SPAQL has no problems scaling, unlike AQL. Based on this empirical evidence, we claim that SPAQL may have a higher sample efficiency than AQL, thus being a relevant contribution to the field of efficient model-free RL methods.


title: Unveiling Giant Hidden Rashba Effects in Two-Dimensional Si$_2$Bi$_2$

abstract: Recently, it has been known that the hidden Rashba (R-2) effect in two-dimensional materials gives rise to a novel physical phenomenon called spin-layer locking (SLL). However, not only has its underlying fundamental mechanism been unclear, but also there are only a few materials exhibiting weak SLL. Here, through the first-principles density functional theory and model Hamiltonian calculation, we reveal that the R-2 SLL can be determined by the competition between the sublayer-sublayer interaction and the spin-orbit coupling (SOC), which is related to the Rashba strength. In addition, the orbital angular momentum distribution is another crucial point to realize the strong R-2 SLL. We propose that a novel 2D material Si$_2$Bi$_2$ possesses an ideal condition for the strong R-2 SLL, whose Rashba strength is evaluated to be 2.16 eV{\AA}, which is the greatest value ever observed in 2D R-2 materials to the best of our knowledge. Furthermore, we reveal that the interlayer interaction in a bilayer structure ensures R-2 states spatially farther apart, implying a potential application in spintronics.


title: Random section and random simplex inequality

abstract: Consider some convex body $K\subset\mathbb R^d$. Let $X_1,\dots, X_k$, where $k\leq d$, be random points independently and uniformly chosen in $K$, and let $\xi_k$ be a uniformly distributed random linear $k$-plane. We show that for $p\geq-d+k+1$, \[ \mathbb E\,|K\cap\xi_k|^{d+p}\leq c_{d,k,p} \cdot|K|^k\, \,\mathbb E\,|\mathrm{conv}(0,X_1, \dots,X_k)|^p, \] where $|\cdot|$ and $\mathrm{conv}$ denote the volume of correspondent dimension and the convex hull. The constant $c_{d,k,p}$ is such that for $k>1$ the equality holds if and only if $K$ is an ellipsoid centered at the origin, and for $k=1$ the inequality turns to equality. If $p=0$, then the inequality reduces to the Busemann intersection inequality, and if $k=d$ -- to the Busemann random simplex inequality. We also present an affine version of this inequality which similarly generalizes the Schneider inequality and the Blaschke-Gr\"omer inequality.


title: WOR and $p$'s: Sketches for $\ell_p$-Sampling Without Replacement

abstract: Weighted sampling is a fundamental tool in data analysis and machine learning pipelines. Samples are used for efficient estimation of statistics or as sparse representations of the data. When weight distributions are skewed, as is often the case in practice, without-replacement (WOR) sampling is much more effective than with-replacement (WR) sampling: it provides a broader representation and higher accuracy for the same number of samples. We design novel composable sketches for WOR $\ell_p$ sampling, weighted sampling of keys according to a power $p\in[0,2]$ of their frequency (or for signed data, sum of updates). Our sketches have size that grows only linearly with the sample size. Our design is simple and practical, despite intricate analysis, and based on off-the-shelf use of widely implemented heavy hitters sketches such as CountSketch. Our method is the first to provide WOR sampling in the important regime of $p>1$ and the first to handle signed updates for $p>0$.


title: Hidden Worlds: Dynamical Architecture Predictions of Undetected Planets in Multi-planet Systems and Applications to TESS Systems

abstract: Multi-planet systems produce a wealth of information for exoplanet science, but our understanding of planetary architectures is incomplete. Probing these systems further will provide insight into orbital architectures and formation pathways. Here we present a model to predict previously undetected planets in these systems via population statistics. The model considers both transiting and non-transiting planets, and can test the addition of more than one planet. Our tests show the model's orbital period predictions are robust to perturbations in system architectures on the order of a few percent, much larger than current uncertainties. Applying it to the multi-planet systems from TESS provides a prioritized list of targets, based on predicted transit depth and probability, for archival searches and for guiding ground-based follow-up observations hunting for hidden planets.


title: Microscopic dynamics of the evacuation phenomena

abstract: We studied the room evacuation problem within the context of the Social Force Model. We focused on a system of 225 pedestrians escaping from a room in different anxiety levels, and analyzed the clogging delays as the relevant magnitude responsible for the evacuation performance. We linked the delays with the clusterization phenomenon along the "faster is slower" and the "faster is faster" regimes. We will show that the "faster is faster" regime is characterized by the presence of a giant cluster structure (composed by more than 15 pedestrians), although no long lasting delays appear within this regime. For this system, we found that the relevant structures in the "faster is slower" regime are those blocking clusters that are somehow attached to the two walls defining the exit. At very low desired velocities, very small structures become relevant (composed by less than 5 pedestrians), but at intermediate velocities (vd = 3 m/s) the pedestrians involved in the blockings increases (not exceeding 15 pedestrians).


title: Nature of Non-Adiabatic Electron-Ion Forces in Liquid Metals

abstract: An accurate description of electron-ion interactions in materials is crucial for our understanding of their equilibrium and non-equilibrium properties. Here, we assess the properties of frictional forces experienced by ions in non-crystalline metallic systems, including liquid metals and warm dense plasmas, that arise from electronic excitations driven by the nuclear motion due to the presence of a continuum of low-lying electronic states. To this end, we perform detailed ab-initio calculations of the full friction tensor that characterizes the set of friction forces. The nonadiabatic electron-ion interactions introduce hydrodynamic couplings between the ionic degrees of freedom, which are sizeable between nearest neigbors. The friction tensor is generally inhomogeneous, anisotropic and non-diagonal, especially at lower densities.


title: Optimization of collection optics for maximum fidelity in entangled photon sources

abstract: In this report the decoherence sources for entangled photons created by spontaneous parametric down conversion phenomenon is studied. The phase and spatial distinguishability of photon pairs from orthogonal crystals reduce the maximum achievable entanglement fidelity. Carefully chosen compensation crystals are used to erase the phase and spatial traces of down conversion origins. Emission angle of photon pairs also leads to optical path difference and resulting in phase distinguishability. A realistic scenario is numerically modelled, where the photon pairs with nonzero emission angle gather a phase difference. These pairs can still be collected and manipulated for practical use but the collection optics adds upon the phase difference. Two commercially available optics for collection; aspheric and achromatic lenses are compared. The numerical simulation results are compared with the experimental results to validate the built model for predicting the maximum achievable entanglement fidelity. The results indicate that the fidelity can be accurately estimated with the presented model by inserting the experimental parameters to it. The study is expected to be very useful for preparation and optimization of entangled photon pair sources in critical phase-matching configuration.


title: Water level prediction from social media images with a multi-task ranking approach

abstract: Floods are among the most frequent and catastrophic natural disasters and affect millions of people worldwide. It is important to create accurate flood maps to plan (offline) and conduct (real-time) flood mitigation and flood rescue operations. Arguably, images collected from social media can provide useful information for that task, which would otherwise be unavailable. We introduce a computer vision system that estimates water depth from social media images taken during flooding events, in order to build flood maps in (near) real-time. We propose a multi-task (deep) learning approach, where a model is trained using both a regression and a pairwise ranking loss. Our approach is motivated by the observation that a main bottleneck for image-based flood level estimation is training data: it is diffcult and requires a lot of effort to annotate uncontrolled images with the correct water depth. We demonstrate how to effciently learn a predictor from a small set of annotated water levels and a larger set of weaker annotations that only indicate in which of two images the water level is higher, and are much easier to obtain. Moreover, we provide a new dataset, named DeepFlood, with 8145 annotated ground-level images, and show that the proposed multi-task approach can predict the water level from a single, crowd-sourced image with ~11 cm root mean square error.


title: Strong Formulations for Distributionally Robust Chance-Constrained Programs with Left-Hand Side Uncertainty under Wasserstein Ambiguity

abstract: Distributionally robust chance-constrained programs (DR-CCP) over Wasserstein ambiguity sets exhibit attractive out-of-sample performance and admit big-$M$-based mixed-integer programming (MIP) reformulations with conic constraints. However, the resulting formulations often suffer from scalability issues as sample size increases. To address this shortcoming, we derive stronger formulations that scale well with respect to the sample size. Our focus is on ambiguity sets under the so-called left-hand side (LHS) uncertainty, where the uncertain parameters affect the coefficients of the decision variables in the linear inequalities defining the safety sets. The interaction between the uncertain parameters and the variable coefficients in the safety set definition causes challenges in strengthening the original big-$M$ formulations. By exploiting the connection between nominal chance-constrained programs and DR-CCP, we obtain strong formulations with significant enhancements. In particular, through this connection, we derive a linear number of valid inequalities, which can be immediately added to the formulations to obtain improved formulations in the original space of variables. In addition, we suggest a quantile-based strengthening procedure that allows us to reduce the big-$M$ coefficients drastically. Furthermore, based on this procedure, we propose an exponential class of inequalities that can be separated efficiently within a branch-and-cut framework. The quantile-based strengthening procedure can be expensive. Therefore, for the special case of covering and packing type problems, we identify an efficient scheme to carry out this procedure. We demonstrate the computational efficacy of our proposed formulations on two classes of problems, namely stochastic portfolio optimization and resource planning.


title: SESAME: Software defined Enclaves to Secure Inference Accelerators with Multi-tenant Execution

abstract: Hardware-enclaves that target complex CPU designs compromise both security and performance. Programs have little control over micro-architecture, which leads to side-channel leaks, and then have to be transformed to have worst-case control- and data-flow behaviors and thus incur considerable slowdown. We propose to address these security and performance problems by bringing enclaves into the realm of accelerator-rich architectures. The key idea is to construct software-defined enclaves (SDEs) where the protections and slowdown are tied to an application-defined threat model and tuned by a compiler for the accelerator's specific domain. This vertically integrated approach requires new hardware data-structures to partition, clear, and shape the utilization of hardware resources; and a compiler that instantiates and schedules these data-structures to create multi-tenant enclaves on accelerators. We demonstrate our ideas with a comprehensive prototype -- Sesame -- that includes modifications to compiler, ISA, and microarchitecture to a decoupled access execute (DAE) accelerator framework for deep learning models. Our security evaluation shows that classifiers that could distinguish different layers in VGG, ResNet, and AlexNet, fail to do so when run using Sesame. Our synthesizable hardware prototype (on a Xilinx Pynq board) demonstrates how the compiler and micro-architecture enables threat-model-specific trade-offs in code size increase ranging from 3-7 $\%$ and run-time performance overhead for specific defenses ranging from 3.96$\%$ to 34.87$\%$ (across confidential inputs and models and single vs. multi-tenant systems).


title: Speeding Up Particle Slowing using Shortcuts to Adiabaticity

abstract: We propose a method for slowing particles by laser fields that potentially has the ability to generate large forces without the associated momentum diffusion that results from the random directions of spontaneously scattered photons. In this method, time-resolved laser pulses with periodically modified detunings address an ultranarrow electronic transition to reduce the particle momentum through repeated absorption and stimulated emission cycles. We implement a shortcut to adiabaticity approach that is based on Lewis-Riesenfeld invariant theory. This affords our scheme the advantages of adiabatic transfer, where there can be an intrinsic insensitivity to the precise strength and detuning characteristics of the applied field, with the advantages of rapid transfer that is necessary for obtaining a short slowing distance. For typical parameters of a thermal oven source that generates a particle beam with a central velocity on the order of meters per second, this could result in slowing the particles to near stationary in less than a millimeter. We compare the slowing scheme to widely-implemented slowing techniques that rely on radiation pressure forces and show the advantages that potentially arise when the excited state decay rate is small. Thus, this scheme is a particularly promising candidate to slow narrow-linewidth systems that lack closed cycling transitions, such as occurs in certain molecules.


title: From Symmetry to Geometry: Tractable Nonconvex Problems

abstract: As science and engineering have become increasingly data-driven, the role of optimization has expanded to touch almost every stage of the data analysis pipeline, from signal and data acquisition to modeling and prediction. The optimization problems encountered in practice are often nonconvex. While challenges vary from problem to problem, one common source of nonconvexity is nonlinearity in the data or measurement model. Nonlinear models often exhibit symmetries, creating complicated, nonconvex objective landscapes, with multiple equivalent solutions. Nevertheless, simple methods (e.g., gradient descent) often perform surprisingly well in practice. The goal of this survey is to highlight a class of tractable nonconvex problems, which can be understood through the lens of symmetries. These problems exhibit a characteristic geometric structure: local minimizers are symmetric copies of a single "ground truth" solution, while other critical points occur at balanced superpositions of symmetric copies of the ground truth, and exhibit negative curvature in directions that break the symmetry. This structure enables efficient methods to obtain global minimizers. We discuss examples of this phenomenon arising from a wide range of problems in imaging, signal processing, and data analysis. We highlight the key role of symmetry in shaping the objective landscape and discuss the different roles of rotational and discrete symmetries. This area is rich with observed phenomena and open problems; we close by highlighting directions for future research.

categories: cs.LG cs.CV cs.IT math.IT math.OC stat.ML


title: Consensus Halving for Sets of Items

abstract: Consensus halving refers to the problem of dividing a resource into two parts so that every agent values both parts equally. Prior work has shown that when the resource is represented by an interval, a consensus halving with at most $n$ cuts always exists, but is hard to compute even for agents with simple valuation functions. In this paper, we study consensus halving in a natural setting where the resource consists of a set of items without a linear ordering. When agents have additive utilities, we present a polynomial-time algorithm that computes a consensus halving with at most $n$ cuts, and show that $n$ cuts are almost surely necessary when the agents' utilities are drawn from probabilistic distributions. On the other hand, we show that for a simple class of monotonic utilities, the problem already becomes PPAD-hard. Furthermore, we compare and contrast consensus halving with the more general problem of consensus $k$-splitting, where we wish to divide the resource into $k$ parts in possibly unequal ratios, and provide some consequences of our results on the problem of computing small agreeable sets.


title: JNR: Joint-based Neural Rig Representation for Compact 3D Face Modeling

abstract: In this paper, we introduce a novel approach to learn a 3D face model using a joint-based face rig and a neural skinning network. Thanks to the joint-based representation, our model enjoys some significant advantages over prior blendshape-based models. First, it is very compact such that we are orders of magnitude smaller while still keeping strong modeling capacity. Second, because each joint has its semantic meaning, interactive facial geometry editing is made easier and more intuitive. Third, through skinning, our model supports adding mouth interior and eyes, as well as accessories (hair, eye glasses, etc.) in a simpler, more accurate and principled way. We argue that because the human face is highly structured and topologically consistent, it does not need to be learned entirely from data. Instead we can leverage prior knowledge in the form of a human-designed 3D face rig to reduce the data dependency, and learn a compact yet strong face model from only a small dataset (less than one hundred 3D scans). To further improve the modeling capacity, we train a skinning weight generator through adversarial learning. Experiments on fitting high-quality 3D scans (both neutral and expressive), noisy depth images, and RGB images demonstrate that its modeling capacity is on-par with state-of-the-art face models, such as FLAME and Facewarehouse, even though the model is 10 to 20 times smaller. This suggests broad value in both graphics and vision applications on mobile and edge devices.


title: Total mean curvature of the boundary and nonnegative scalar curvature fill-ins

abstract: In the first part of this paper, we prove the extensibility of an arbitrary boundary metric to a positive scalar curvature (PSC) metric inside for a compact manifold with boundary, which completely solves an open problem due to Gromov (see Question \ref{extension1}). Then we introduce a fill-in invariant (see Definition \ref{fillininvariant}) and discuss its relationship with the positive mass theorems for asymptotically flat (AF) and asymptotically hyperbolic (AH) manifolds. Moreover, we prove that the positive mass theorem for AH manifolds implies that for AF manifolds. In the end, we give some estimates for the fill-in invariant, which provide some partially affirmative answers to Gromov's conjectures formulated in \cite{Gro19} (see Conjecture \ref{conj0} and Conjecture \ref{conj1} below)


title: Thermodynamic evidence for field-angle dependent Majorana gap in a Kitaev spin liquid

abstract: The exactly-solvable Kitaev model of two-dimensional honeycomb magnet leads to a quantum spin liquid (QSL) characterized by Majorana fermions, relevant for fault-tolerant topological quantum computations. In the high-field paramagnetic state of $\alpha$-RuCl3, half-integer quantization of thermal Hall conductivity has been reported as a signature of edge current, but the bulk nature of this state remains elusive. Here, from high-resolution heat capacity measurements under in-plane field rotation, we find strongly angle-dependent low-energy excitations in bulk $\alpha$-RuCl3. The excitation gap has a sextuple node structure, and the gap amplitude increases with field, exactly as expected for itinerant Majorana fermions in the Kitaev model. Our thermodynamic results are fully linked with the transport quantization properties, providing the first demonstration of the bulk-edge correspondence in a Kitaev QSL. Moreover, at higher fields where the quantum thermal Hall effect vanishes, we find the possible emergence of a novel nematic QSL state with two-fold rotational symmetry.


title: Recommender Systems for the Internet of Things: A Survey

abstract: Recommendation represents a vital stage in developing and promoting the benefits of the Internet of Things (IoT). Traditional recommender systems fail to exploit ever-growing, dynamic, and heterogeneous IoT data. This paper presents a comprehensive review of the state-of-the-art recommender systems, as well as related techniques and application in the vibrant field of IoT. We discuss several limitations of applying recommendation systems to IoT and propose a reference framework for comparing existing studies to guide future research and practices.


title: Personalized Face Modeling for Improved Face Reconstruction and Motion Retargeting

abstract: Traditional methods for image-based 3D face reconstruction and facial motion retargeting fit a 3D morphable model (3DMM) to the face, which has limited modeling capacity and fail to generalize well to in-the-wild data. Use of deformation transfer or multilinear tensor as a personalized 3DMM for blendshape interpolation does not address the fact that facial expressions result in different local and global skin deformations in different persons. Moreover, existing methods learn a single albedo per user which is not enough to capture the expression-specific skin reflectance variations. We propose an end-to-end framework that jointly learns a personalized face model per user and per-frame facial motion parameters from a large corpus of in-the-wild videos of user expressions. Specifically, we learn user-specific expression blendshapes and dynamic (expression-specific) albedo maps by predicting personalized corrections on top of a 3DMM prior. We introduce novel constraints to ensure that the corrected blendshapes retain their semantic meanings and the reconstructed geometry is disentangled from the albedo. Experimental results show that our personalization accurately captures fine-grained facial dynamics in a wide range of conditions and efficiently decouples the learned face model from facial motion, resulting in more accurate face reconstruction and facial motion retargeting compared to state-of-the-art methods.


title: Synthesis in Uclid5

abstract: We describe an integration of program synthesis into Uclid5, a formal modelling and verification tool. To the best of our knowledge, the new version of Uclid5 is the only tool that supports program synthesis with bounded model checking, k-induction, sequential program verification, and hyperproperty verification. We use the integration to generate 25 program synthesis benchmarks with simple, known solutions that are out of reach of current synthesis engines, and we release the benchmarks to the community.


title: Can neural networks acquire a structural bias from raw linguistic data?

abstract: We evaluate whether BERT, a widely used neural network for sentence processing, acquires an inductive bias towards forming structural generalizations through pretraining on raw data. We conduct four experiments testing its preference for structural vs. linear generalizations in different structure-dependent phenomena. We find that BERT makes a structural generalization in 3 out of 4 empirical domains---subject-auxiliary inversion, reflexive binding, and verb tense detection in embedded clauses---but makes a linear generalization when tested on NPI licensing. We argue that these results are the strongest evidence so far from artificial learners supporting the proposition that a structural bias can be acquired from raw data. If this conclusion is correct, it is tentative evidence that some linguistic universals can be acquired by learners without innate biases. However, the precise implications for human language acquisition are unclear, as humans learn language from significantly less data than BERT.


title: Dynamics of B-cell repertoires and emergence of cross-reactive responses in COVID-19 patients with different disease severity

abstract: COVID-19 patients show varying severity of the disease ranging from asymptomatic to requiring intensive care. Although a number of SARS-CoV-2 specific monoclonal antibodies have been identified, we still lack an understanding of the overall landscape of B-cell receptor (BCR) repertoires in COVID-19 patients. Here, we used high-throughput sequencing of bulk and plasma B-cells collected over multiple time points during infection to characterize signatures of B-cell response to SARS-CoV-2 in 19 patients. Using principled statistical approaches, we determined differential features of BCRs associated with different disease severity. We identified 38 significantly expanded clonal lineages shared among patients as candidates for specific responses to SARS-CoV-2. Using single-cell sequencing, we verified reactivity of BCRs shared among individuals to SARS-CoV-2 epitopes. Moreover, we identified natural emergence of a BCR with cross-reactivity to SARS-CoV-1 and SARS-CoV-2 in a number of patients. Our results provide important insights for development of rational therapies and vaccines against COVID-19.


title: Machine Learning for Offensive Security: Sandbox Classification Using Decision Trees and Artificial Neural Networks

abstract: The merits of machine learning in information security have primarily focused on bolstering defenses. However, machine learning (ML) techniques are not reserved for organizations with deep pockets and massive data repositories; the democratization of ML has lead to a rise in the number of security teams using ML to support offensive operations. The research presented here will explore two models that our team has used to solve a single offensive task, detecting a sandbox. Using process list data gathered with phishing emails, we will demonstrate the use of Decision Trees and Artificial Neural Networks to successfully classify sandboxes, thereby avoiding unsafe execution. This paper aims to give unique insight into how a real offensive team is using machine learning to support offensive operations.


title: Strategic Revenue Management of Preemptive versus Non-Preemptive Queues

abstract: Consider a two-class unobservable priority queue, with Poisson arrivals, generally distributed service, and strategic customers. Customers are charged a fee when joining the premium class. We analyze the maximum revenue achievable under the non-preemptive (NP) and preemptive-resume (PR) policies, and show that a provider is always better off implementing the PR policy. Further, the maximum revenue under PR is sometimes achieved when only a fraction of the customers join the premium class.


title: Patch-wise Attack for Fooling Deep Neural Network

abstract: By adding human-imperceptible noise to clean images, the resultant adversarial examples can fool other unknown models. Features of a pixel extracted by deep neural networks (DNNs) are influenced by its surrounding regions, and different DNNs generally focus on different discriminative regions in recognition. Motivated by this, we propose a patch-wise iterative algorithm -- a black-box attack towards mainstream normally trained and defense models, which differs from the existing attack methods manipulating pixel-wise noise. In this way, without sacrificing the performance of white-box attack, our adversarial examples can have strong transferability. Specifically, we introduce an amplification factor to the step size in each iteration, and one pixel's overall gradient overflowing the $\epsilon$-constraint is properly assigned to its surrounding regions by a project kernel. Our method can be generally integrated to any gradient-based attack methods. Compared with the current state-of-the-art attacks, we significantly improve the success rate by 9.2\% for defense models and 3.7\% for normally trained models on average. Our code is available at \url{https://github.com/qilong-zhang/Patch-wise-iterative-attack}


title: Massive scalar wave packet emission by a charged Black Hole and Cosmic Censorship Conjecture violation

abstract: We study the tunneling probability of a massive ($m_w$) uncharged scalar packet out from a near-extremal, static charged black hole (with mass $M$ and charge $Q\lesssim M$). We show that there is indeed a net probability that a massive uncharged particle tunnels out from the black hole so that the final state (with new mass $M'\equiv M-m_w < Q$) does violate the cosmic censorship conjecture. Nevertheless, the typical time for such a black hole to discharge (i.e, to absorb charge $-Q$ from its surroundings and then become neutral) is much smaller than the tunneling time; therefore, the violation is never attained in practice. Even for a completely isolated black hole (should it exist), the standard time dilation near the horizon stretches the typical violation time scale to unobservable values.


title: Enterprise Architecture in Healthcare Systems: A systematic literature review

abstract: Enterprise architecture (EA) has been present in scientific literature since the 1980s and has branched out into several research fields. EA delivers value by presenting business and ICT leaders with recommendations for adjusting policies and projects to achieve business goals. Although there are many works on the EA application in healthcare systems, the literature lacks studies that provide a systematic approach to this topic specifically. This work presents a deep and broad Systematic Literature Review (SLR) to select studies demonstrating current EA practices in healthcare systems. The researchers established an SLR protocol returning 280 primary studies after the first step of the Data Selection and a consolidated inclusion of 46 articles after the second step. They assessed the level of disagreement during the team's evaluations using Cohen's Kappa. This SLR revealed essential aspects of state-of-the-art EA application in healthcare systems, such as the most used methodologies and tools, best practices, and criteria considered for their choice. It also analyzed the main positive impacts, challenges, and critical success factors described by the studies' authors based on empirical approaches. Besides, this work brings the main publication channels and the most influential authors on the topic of EA in Healthcare systems.


title: Quantum Gates on Individually-Addressed Atomic Qubits Subject to Noisy Transverse Motion

abstract: Individual trapped atomic qubits represent one of the most promising technologies to scale quantum computers, owing to their negligible idle errors and the ability to implement a full set of reconfigurable gate operations via focused optical fields. However, the fidelity of quantum gate operations can be limited by weak confinement of the atoms transverse to the laser. We present measurements of this effect by performing individually-addressed entangling gates in chains of up to 25 trapped atomic ions that are weakly confined along the chain axis. We present a model that accurately describes the observed decoherence from the residual heating of the ions caused by noisy electric fields. We propose to suppress these effects through the use of ancilla ions interspersed in the chain to sympathetically cool the qubit ions throughout a quantum circuit.


title: Semi-supervised Learning with a Teacher-student Network for Generalized Attribute Prediction

abstract: This paper presents a study on semi-supervised learning to solve the visual attribute prediction problem. In many applications of vision algorithms, the precise recognition of visual attributes of objects is important but still challenging. This is because defining a class hierarchy of attributes is ambiguous, so training data inevitably suffer from class imbalance and label sparsity, leading to a lack of effective annotations. An intuitive solution is to find a method to effectively learn image representations by utilizing unlabeled images. With that in mind, we propose a multi-teacher-single-student (MTSS) approach inspired by the multi-task learning and the distillation of semi-supervised learning. Our MTSS learns task-specific domain experts called teacher networks using the label embedding technique and learns a unified model called a student network by forcing a model to mimic the distributions learned by domain experts. Our experiments demonstrate that our method not only achieves competitive performance on various benchmarks for fashion attribute prediction, but also improves robustness and cross-domain adaptability for unseen domains.


title: Time dependent Entanglement Entropy in SYK models and Page Curve

abstract: In this work new interaction terms between two SYK models are proposed, which allow to define an interaction picture such that it is possible to calculate exactly the vacuum state's time evolution. It is shown that the vacuum evolves as a time dependent $SU(2)$ squezed state. The time dependent entanglement entropy is calculated and it has the same form of the Page curve of Black Hole formation and evaporation.


title: Proton induced deuteron knockout reaction as a probe of an isoscalar proton-neutron pair in nuclei

abstract: The isoscalar $pn$ pair is expected to emerge in nuclei having the similar proton and neutron numbers but there is no clear experimental evidence for it. We aim to clarify the correspondence between the $pn$ pairing strength in many-body calculation and the triple differential cross section (TDX) of proton-induced deuteron knockout ($p,pd$) reaction on $^{16}$O. The radial wave function of the isoscalar $pn$ pair with respect to the center of $^{16}$O is calculated with the energy density functional (EDF) approach and is implemented in the distorted wave impulse approximation (DWIA) framework. The $pn$ pairing strength $V_0$ in the EDF calculation is varied and the corresponding change in the TDX is investigated. A clear $V_0$ dependence of the TDX is found for the $^{16}$O($p,pd$)$^{14}$N($1_2^+$) at $101.3$ MeV. The nuclear distortion is found to make the $V_0$ dependence stronger. Because of the clear $V_0$-TDX correspondence, the ($p,pd$) reaction will be a promising probe for the isoscalar $pn$ pair in nuclei. For quantitative discussion, further modification of the description of the reaction process will be necessary.


title: Bridging preference-based instrumental variable studies and cluster-randomized encouragement experiments: study design, noncompliance, and average cluster effect ratio

abstract: Instrumental variable methods are widely used in medical and social science research to draw causal conclusions when the treatment and outcome are confounded by unmeasured confounding variables. One important feature of such studies is that the instrumental variable is often applied at the cluster level, e.g., hospitals' or physicians' preference for a certain treatment where each hospital or physician naturally defines a cluster. This paper proposes to embed such observational instrumental variable data into a cluster-randomized encouragement experiment using statistical matching. Potential outcomes and causal assumptions underpinning the design are formalized and examined. Testing procedures for two commonly-used estimands, Fisher's sharp null hypothesis and the pooled effect ratio, are extended to the current setting. We then introduce a novel cluster-heterogeneous proportional treatment effect model and the relevant estimand: the average cluster effect ratio. This new estimand is advantageous over the structural parameter in a constant proportional treatment effect model in that it allows treatment heterogeneity, and is advantageous over the pooled effect ratio estimand in that it is immune to Simpson's paradox. We develop an asymptotically valid randomization-based testing procedure for this new estimand based on solving a mixed integer quadratically-constrained optimization problem. The proposed design and inferential methods are applied to a study of the effect of using transesophageal echocardiography during CABG surgery on patients' 30-day mortality rate.


title: Vibration-Enhanced Spin-Selective Transport of Electrons in DNA Double Helix

abstract: The spin-selective transport through helical molecules has been a hot topic in condensed matter physics, because it develops a new research direction in spintronics, \emph{i.e.}, chiro-spintronics. Double-stranded DNA (dsDNA) molecules have been considered as promising candidates to study this topic, since the chiral-induced spin selectivity (CISS) effect in dsDNA was observed in experiment. Considering that the dsDNA molecules are usually flexible in mechanical properties, vibration may be one of important factors to influence the CISS effect. Here, we investigate the influences of electron-vibration interaction (EVI) on the spin-selective transport in dsDNA molecules. We uncover that the EVI not only enhances the CISS effect and the spin polarization ($P_s$) in dsDNA, but also induces a series of new spin-splitting transmission modes. More interesting, these vibration-induced transmission spectra tend to host the same $P_s$ values as those of the original spin-splitting transmission modes, making the $P_s$ spectra to display as a continuous platform even in the energy gap. Our work not only provides us a deep understanding into the influence of vibrations on the CISS effect in helical molecules, {but also puts forwards a feasible route to detect the vibration-induced spin-polarized transport in low-dimensional molecular systems


title: Dynamical stability of two-dimensional metals in the periodic table

abstract: We study the dynamical stability of elemental two-dimensional (2D) metals from Li to Pb by calculating the phonon band structure from first principles, where 2D structures are assumed to be planer hexagonal, buckled honeycomb, and buckled square lattice structures. We show the relationship between the stability of 2D structures and that of three-dimensional structures. This provides a material design concept for alloys, where the similarity with regard to the stable 2D structures, rather than the energetic stability of alloy, is important to yield dynamically stable alloys.


title: Analyzing and Mitigating Data Stalls in DNN Training

abstract: Training Deep Neural Networks (DNNs) is resource-intensive and time-consuming. While prior research has explored many different ways of reducing DNN training time, the impact of input data pipeline, i.e., fetching raw data items from storage and performing data pre-processing in memory, has been relatively unexplored. This paper makes the following contributions: (1) We present the first comprehensive analysis of how the input data pipeline affects the training time of widely-used computer vision and audio Deep Neural Networks (DNNs), that typically involve complex data preprocessing. We analyze nine different models across three tasks and four datasets while varying factors such as the amount of memory, number of CPU threads, storage device, GPU generation etc on servers that are a part of a large production cluster at Microsoft. We find that in many cases, DNN training time is dominated by data stall time: time spent waiting for data to be fetched and preprocessed. (2) We build a tool, DS-Analyzer to precisely measure data stalls using a differential technique, and perform predictive what-if analysis on data stalls. (3) Finally, based on the insights from our analysis, we design and implement three simple but effective techniques in a data-loading library, CoorDL, to mitigate data stalls. Our experiments on a range of DNN tasks, models, datasets, and hardware configs show that when PyTorch uses CoorDL instead of the state-of-the-art DALI data loading library, DNN training time is reduced significantly (by as much as 5x on a single server).


title: Verification of ML Systems via Reparameterization

abstract: As machine learning is increasingly used in essential systems, it is important to reduce or eliminate the incidence of serious bugs. A growing body of research has developed machine learning algorithms with formal guarantees about performance, robustness, or fairness. Yet, the analysis of these algorithms is often complex, and implementing such systems in practice introduces room for error. Proof assistants can be used to formally verify machine learning systems by constructing machine checked proofs of correctness that rule out such bugs. However, reasoning about probabilistic claims inside of a proof assistant remains challenging. We show how a probabilistic program can be automatically represented in a theorem prover using the concept of \emph{reparameterization}, and how some of the tedious proofs of measurability can be generated automatically from the probabilistic program. To demonstrate that this approach is broad enough to handle rather different types of machine learning systems, we verify both a classic result from statistical learning theory (PAC-learnability of decision stumps) and prove that the null model used in a Bayesian hypothesis test satisfies a fairness criterion called demographic parity.


title: Modular units and cuspidal divisor classes on $X_0(n^2M)$ with $n|24$ and $M$ squarefree

abstract: For a positive integer $N$, let $\mathscr C(N)$ be the subgroup of $J_0(N)$ generated by the equivalence classes of cuspidal divisors of degree $0$ and $\mathscr C(N)(\mathbb Q):=\mathscr C(N)\cap J_0(N)(\mathbb Q)$ be its $\mathbb Q$-rational subgroup. Let also $\mathscr C_{\mathbb Q}(N)$ be the subgroup of $\mathscr C(N)(\mathbb Q)$ generated by $\mathbb Q$-rational cuspidal divisors. We prove that when $N=n^2M$ for some integer $n$ dividing $24$ and some squarefree integer $M$, the two groups $\mathscr C(N)(\mathbb Q)$ and $\mathscr C_{\mathbb Q}(N)$ are equal. To achieve this, we show that all modular units on $X_0(N)$ on such $N$ are products of functions of the form $\eta(m\tau+k/h)$, $mh^2|N$ and $k\in\mathbb Z$ and determine the necessary and sufficient conditions for products of such functions to be modular units on $X_0(N)$.


title: An Empirical Study on Robustness to Spurious Correlations using Pre-trained Language Models

abstract: Recent work has shown that pre-trained language models such as BERT improve robustness to spurious correlations in the dataset. Intrigued by these results, we find that the key to their success is generalization from a small amount of counterexamples where the spurious correlations do not hold. When such minority examples are scarce, pre-trained models perform as poorly as models trained from scratch. In the case of extreme minority, we propose to use multi-task learning (MTL) to improve generalization. Our experiments on natural language inference and paraphrase identification show that MTL with the right auxiliary tasks significantly improves performance on challenging examples without hurting the in-distribution performance. Further, we show that the gain from MTL mainly comes from improved generalization from the minority examples. Our results highlight the importance of data diversity for overcoming spurious correlations.


title: Percus-Yevick Structure Factors Made Simple

abstract: Measuring the structure factor, S(q), of a dispersion of particles by Small-Angle X-ray Scattering provides a unique method to investigate the spatial arrangement of colloidal particles. However, it is impossible to find the exact location of the particles from S(q) because some information is inherently lacking in the SAXS signal. The two standard ways to analyse an experimental structure factor are then to compare it either to structure factors computed from simulated systems, or to analytical structure factors calculated from approximated systems. For liquids of monodisperse hard spheres, the latter method provides analytical structure factors through the Ornstein-Zernike equation used with the Percus-Yevick closure equation. The structure factors obtained in this way were not adequate for the more common dispersions of polydisperse particles. However, Vrij, Bloom and Stell were able to demonstrate that the same mathematical framework could be extended to yield accurate approximations for the experimental structure factor. Still, this solution has remained underused because of its mathematical complexity. In the present work, we derive and report the complete Percus-Yevick solution for general polydisperse hard-spheres systems in a concise form that is straightforward to use. The form of the solution is made simple enough to give ready solutions of several important particle-radius distributions (Schulz, truncated normal and inverse Gaussian). We also discuss in detail the case of the power-law radius distribution, relevant in the case of systems made of an Apollonian packing of spheres, as recently discovered experimentally in high internal-phase-ratio emulsions.


title: The Magellanic Edges Survey I. Description and First Results

abstract: We present an overview of, and first science results from, the Magellanic Edges Survey (MagES), an ongoing spectroscopic survey mapping the kinematics of red clump and red giant branch stars in the highly substructured periphery of the Magellanic Clouds. In conjunction with Gaia astrometry, MagES yields a sample of ~7000 stars with individual 3D velocities that probes larger galactocentric radii than most previous studies. We outline our target selection, observation strategy, data reduction and analysis procedures, and present results for two fields in the northern outskirts ($>10^{\circ}$ on-sky from the centre) of the Large Magellanic Cloud (LMC). One field, located in the vicinity of an arm-like overdensity, displays apparent signatures of perturbation away from an equilibrium disk model. This includes a large radial velocity dispersion in the LMC disk plane, and an asymmetric line-of-sight velocity distribution indicative of motions vertically out of the disk plane for some stars. The second field reveals 3D kinematics consistent with an equilibrium disk, and yields $V_{\text{circ}}=87.7\pm8.0$km s$^{-1}$ at a radial distance of ~10.5kpc from the LMC centre. This leads to an enclosed mass estimate for the LMC at this radius of $(1.8\pm0.3)\times10^{10}\text{M}_{\odot}$.


title: Vehicle Trajectory Prediction by Transfer Learning of Semi-Supervised Models

abstract: In this work we show that semi-supervised models for vehicle trajectory prediction significantly improve performance over supervised models on state-of-the-art real-world benchmarks. Moving from supervised to semi-supervised models allows scaling-up by using unlabeled data, increasing the number of images in pre-training from Millions to a Billion. We perform ablation studies comparing transfer learning of semi-supervised and supervised models while keeping all other factors equal. Within semi-supervised models we compare contrastive learning with teacher-student methods as well as networks predicting a small number of trajectories with networks predicting probabilities over a large trajectory set. Our results using both low-level and mid-level representations of the driving environment demonstrate the applicability of semi-supervised methods for real-world vehicle trajectory prediction.


title: Hardy-type inequalities and principle frequency of the $p-$Laplacian

abstract: We prove a sharp $L^p$ weighted Hardy inequality involving boundary distance $\delta$ for any domain $\Omega\subsetneq \mathbb R^n$. The inequality may be improved substantially under the additional assumption that $-\log \delta$ is subharmonic. Applications of these inequalities to the principle frequency of the $p-$Laplacian are given.


title: Singular HJB equations with applications to KPZ on the real line

abstract: This paper is devoted to studying the Hamilton-Jacobi-Bellman equations with distribution-valued coefficients, which is not well-defined in the classical sense and shall be understood by using paracontrolled distribution method introduced in \cite{GIP15}. By a new characterization of weighted H\"older space and Zvonkin's transformation we prove some new a priori estimates, and therefore, establish the global well-posedness for singular HJB equations. As an application, the global well-posedness for KPZ equations on the real line in polynomial weighted H\"older spaces is obtained without using Cole-Hopf's transformation. In particular, we solve the conjecture posed in \cite[Remark 1.1]{PR18}.


title: The influence of the Insight-HXMT/LE time response on timing analysis

abstract: LE is the low energy telescope of Insight-HXMT. It uses swept charge devices (SCDs) to detect soft X-ray photons. The time response of LE is caused by the structure of SCDs. With theoretical analysis and Monte Carlo simulations we discuss the influence of LE time response (LTR) on the timing analysis from three aspects: the power spectral density, the pulse profile and the time lag. After the LTR, the value of power spectral density monotonously decreases with the increasing frequency. The power spectral density of a sinusoidal signal reduces by a half at frequency 536 Hz. The corresponding frequency for QPO signals is 458 Hz. The Root mean square (RMS) of QPOs holds the similar behaviour. After the LTR, the centroid frequency and full width at half maxima (FWHM) of QPOs signals do not change. The LTR reduces the RMS of pulse profiles and shifts the pulse phase. In the time domain, the LTR only reduces the peak value of the crosscorrelation function while it does not change the peak position. Thus it will not affect the result of the time lag. When considering the time lag obtained from two instruments and one among them is LE, a 1.18 ms lag is expected caused by the LTR. The time lag calculated in the frequency domain is the same as that in the time domain.


title: Quasi Band-Limited Coronagraph for Extended Sources

abstract: We propose a class of graded coronagraphic "amplitude" image masks for a high throughput Lyot-type coronagraph that transmits light from an annular region around an extended source and suppresses light, with extremely high ratio, from elsewhere. The interior radius of the region is comparable with its exterior radius. The masks are designed using an idea inspired by approach due M.J. Kuchner and W.A. Traub ("band-limited" masks) and approach to optimal apodization by D.Slepian. One potential application of our masks is direct high-resolution imaging of exo-planets with the help of the Solar Gravitational Lens, where apparent radius of the "Einstein ring" image of a planet is of the order of an arc-second and is comparable with the apparent radius of the sun and solar corona. Keywords: Coronagraphy, Optimal Band-Limiting, Exo-Planets, Solar Gravitational Lens

categories: astro-ph.IM astro-ph.EP gr-qc physics.optics


title: Meta-rPPG: Remote Heart Rate Estimation Using a Transductive Meta-Learner

abstract: Remote heart rate estimation is the measurement of heart rate without any physical contact with the subject and is accomplished using remote photoplethysmography (rPPG) in this work. rPPG signals are usually collected using a video camera with a limitation of being sensitive to multiple contributing factors, e.g. variation in skin tone, lighting condition and facial structure. End-to-end supervised learning approach performs well when training data is abundant, covering a distribution that doesn't deviate too much from the distribution of testing data or during deployment. To cope with the unforeseeable distributional changes during deployment, we propose a transductive meta-learner that takes unlabeled samples during testing (deployment) for a self-supervised weight adjustment (also known as transductive inference), providing fast adaptation to the distributional changes. Using this approach, we achieve state-of-the-art performance on MAHNOB-HCI and UBFC-rPPG.


title: Homotopy type of the space of finite propagation unitary operators on $\mathbb{Z}$

abstract: The index theory for the space of finite propagation unitary operators was developed by Gross, Nesme, Vogts and Werner from the viewpoint of quantum walks in mathematical physics. In particular, they proved that $\pi_0$ of the space is determined by the index. However, nothing is known about the higher homotopy groups. In this article, we describe the homotopy type of the space of finite propagation unitary operators on the Hilbert space of square summable $\mathbb{C}$-valued $\mathbb{Z}$-sequences, so we can determine its homotopy groups. We also study the space of (end-)periodic finite propagation unitary operators.


title: On the Liouville function in short intervals

abstract: Let $\lambda$ denote the Liouville function. Assuming the Riemann Hypothesis, we prove that $$\int_X^{2X}\Big|\sum_{x\leq n \leq x+h}\lambda(n) \Big|^2 dx \ll Xh(\log X)^6,$$ as $X\rightarrow \infty$, provided $h=h(X)\leq \exp\left(\sqrt{\left(\frac{1}{2}-o(1)\right)\log X \log\log X}\right).$ The proof uses a simple variation of the methods developed by Matom{\"a}ki and Radziwi{\l}{\l} in their work on multiplicative functions in short intervals, as well as some standard results concerning smooth numbers.


title: On the topological full group containing the Grigorchuk group

abstract: We consider the topological full group of a substitution subshift induced by a substitution $a\to aca$, $b\to d$, $c\to b$, $d\to c$. This group is interesting since the Grigorchuk group naturally embeds into it. We show that the topological full group is finitely generated and give a simple generating set for it.


title: Late-Time Viscous Cosmology in $f(R,T)$ Gravity

abstract: The article communicates an alternative route to suffice the late-time acceleration considering a bulk viscous fluid with viscosity coefficient $\zeta =\zeta _{0}+ \zeta _{1} H + \zeta _{2} H^{2}$, where $\zeta _{0}, \zeta _{1}, \zeta _{2}$ are constants in the framework of $f(R,T)$ modified gravity. We presume the $f(R,T)$ functional form to be $f=R+2\alpha T$ where $\alpha$ is a constant. We then solve the field equations for the Hubble Parameter and study the cosmological dynamics of kinematic variables such as deceleration, jerk, snap and lerk parameters as a function of cosmic time. We observe the deceleration parameter to be highly sensitive to $\alpha$ and undergoes a signature flipping at around $t\sim 10$ Gyrs for $\alpha=-0.179$ which is favored by observations. The EoS parameter for our model assumes values close to $-1$ at $t_{0}=13.7$Gyrs which is in remarkable agreement with the latest Planck measurements. Next, we study the evolution of energy conditions and find that our model violate the Strong Energy Condition in order to explain the late-time cosmic acceleration. To understand the nature of dark energy mimicked by the bulk viscous baryonic fluid, we perform some geometrical diagnostics like the $\{r,s\}$ and $\{r,q\}$ plane. We found the model to mimic the nature of a Chaplygin gas type dark energy model at early times while a Quintessence type in distant future. Finally, we study the violation of continuity equation for our model and show that in order to explain the cosmic acceleration at the present epoch, energy-momentum must violate.


title: A discontinuous least squares finite element method for time-harmonic Maxwell equations

abstract: We propose and analyze a discontinuous least squares finite element method for solving the indefinite time-harmonic Maxwell equations. The scheme is based on the $L^2$ norm least squares functional with the weak imposition of the continuity across the interior faces. We minimize the functional over the piecewise polynomial spaces to seek numerical solutions. The method is shown to be stable without any constraint on the mesh size. We prove the convergence orders under both the energy norm and the $L^2$ norm. Numerical results in two and three dimensions are presented to verify the error estimates.


title: InGaAs/InP single-photon detectors with 60% detection efficiency at 1550 nm

abstract: InGaAs/InP single-photon detectors (SPDs) are widely used for near-infrared photon counting in practical applications. Photon detection efficiency (PDE) is one of the most important parameters for SPD characterization, and therefore increasing PDE consistently plays a central role in both industrial development and academic research. Here we present the implementation of high-frequency gating InGaAs/InP SPD with a PDE as high as 60% at 1550 nm. On one hand, we optimize the structure design and device fabrication of InGaAs/InP single-photon avalanche diode with an additional dielectric-metal reflection layer to relatively increase the absorption efficiency of incident photons by ~ 20%. On the other hand, we develop a monolithic readout circuit of weak avalanche extraction to minimize the parasitic capacitance for the suppression of the afterpulsing effect. With 1.25 GHz sine wave gating and optimized gate amplitude and operation temperature, the SPD is characterized to reach a PDE of 60% with a dark count rate (DCR) of 340 kcps. For practical use, given 3 kcps DCR as a reference the PDE reaches ~ 40% PDE with an afterpulse probability of 5.5%, which can significantly improve the performance for the near-infrared SPD based applications.


title: TCGM: An Information-Theoretic Framework for Semi-Supervised Multi-Modality Learning

abstract: Fusing data from multiple modalities provides more information to train machine learning systems. However, it is prohibitively expensive and time-consuming to label each modality with a large amount of data, which leads to a crucial problem of semi-supervised multi-modal learning. Existing methods suffer from either ineffective fusion across modalities or lack of theoretical guarantees under proper assumptions. In this paper, we propose a novel information-theoretic approach, namely \textbf{T}otal \textbf{C}orrelation \textbf{G}ain \textbf{M}aximization (TCGM), for semi-supervised multi-modal learning, which is endowed with promising properties: (i) it can utilize effectively the information across different modalities of unlabeled data points to facilitate training classifiers of each modality (ii) it has theoretical guarantee to identify Bayesian classifiers, i.e., the ground truth posteriors of all modalities. Specifically, by maximizing TC-induced loss (namely TC gain) over classifiers of all modalities, these classifiers can cooperatively discover the equivalent class of ground-truth classifiers; and identify the unique ones by leveraging limited percentage of labeled data. We apply our method to various tasks and achieve state-of-the-art results, including news classification, emotion recognition and disease prediction.


title: ReAD: A Regional Anomaly Detection Framework Based on Dynamic Partition

abstract: The detection of the abnormal area from urban data is a significant research problem. However, to the best of our knowledge, previous methods designed on spatio-temporal anomalies are road-based or grid-based, which usually causes the data sparsity problem and affects the detection results. In this paper, we proposed a dynamic region partition method to address the above issues. Besides, we proposed an unsupervised REgional Anomaly Detection framework (ReAD) to detect abnormal regions with arbitrary shapes by jointly considering spatial and temporal properties. Specifically, the proposed framework first generate regions via a dynamic region partition method. It keeps that observations in the same region have adjacent locations and similar non-spatial attribute readings, and could alleviate data sparsity and heterogeneity compared with the grid-based approach. Then, an anomaly metric will be calculated for each region by a regional divergence calculation method. The abnormal regions could be finally detected by a weighted approach or a wavy approach according to the different scenario. Experiments on both the simulated dataset and real-world applications demonstrate the effectiveness and practicability of the proposed framework.


title: Coding theory package for Macaulay2

abstract: In this Macaulay2 \cite{M2} package we define an object called {\it linear code}. We implement functions that compute basic parameters and objects associated with a linear code, such as generator and parity check matrices, the dual code, length, dimension, and minimum distance, among others. We define an object {\it evaluation code}, a construction which allows to study linear codes using tools of algebraic geometry and commutative algebra. We implement functions to generate important families of linear codes such as Hamming codes, cyclic codes, Reed--Solomon codes, Reed--Muller codes, Cartesian codes, monomial--Cartesian codes, and toric codes. In addition, we define functions for the syndrome decoding algorithm and locally recoverable code construction, which are important tools in applications of linear codes. The package \textit{CodingTheory.m2} is available at \url{https://github.com/Macaulay2/Workshop-2020-Cleveland/tree/CodingTheory/CodingTheory}


title: Evaluation Toolkit For Robustness Testing Of Automatic Essay Scoring Systems

abstract: Automatic scoring engines have been used for scoring approximately fifteen million test-takers in just the last three years. This number is increasing further due to COVID-19 and the associated automation of education and testing. Despite such wide usage, the AI-based testing literature of these "intelligent" models is highly lacking. Most of the papers proposing new models rely only on quadratic weighted kappa (QWK) based agreement with human raters for showing model efficacy. However, this effectively ignores the highly multi-feature nature of essay scoring. Essay scoring depends on features like coherence, grammar, relevance, sufficiency and, vocabulary. To date, there has been no study testing Automated Essay Scoring: AES systems holistically on all these features. With this motivation, we propose a model agnostic adversarial evaluation scheme and associated metrics for AES systems to test their natural language understanding capabilities and overall robustness. We evaluate the current state-of-the-art AES models using the proposed scheme and report the results on five recent models. These models range from feature-engineering-based approaches to the latest deep learning algorithms. We find that AES models are highly overstable. Even heavy modifications(as much as 25%) with content unrelated to the topic of the questions do not decrease the score produced by the models. On the other hand, irrelevant content, on average, increases the scores, thus showing that the model evaluation strategy and rubrics should be reconsidered. We also ask 200 human raters to score both an original and adversarial response to seeing if humans can detect differences between the two and whether they agree with the scores assigned by auto scores.


title: Nucleon localization function in rotating nuclei

abstract: Background: An electron localization function was originally introduced to visualize bond structures in molecules. It became a useful tool to describe electron configurations in atoms, molecules and solids. In nuclear physics, a nucleon localization function (NLF) has been used to characterize clusters in light nuclei, fragment formation in fission and pasta phases in the inner crust of neutron stars. Purpose: We use the NLF to study the nuclear response to fast rotation. Methods: We generalize the NLF to the case of nuclear rotation. The extended expressions involve both time-even and time-odd local densities. Since current density and density gradient contribute to the NLF primarily at the surface, we propose a simpler spatial measure given by the kinetic-energy density. Illustrative calculations for the superdeformed yrast band of $^{152}$Dy were carried out by using the cranked Skyrme-Hartree-Fock method. We also employed the cranked harmonic-oscillator model to gain insights into patterns revealed by the NLF at high angular momentum. Results: In a deformed rotating nucleus, several NLFs can be introduced, depending on the definition of the spin-quantization axis and self-consistent symmetries of the system. The oscillating pattern of the NLF can be explained by a constructive interference between the kinetic-energy and particle densities. The nodal pattern seen in the NLF along the major axis of a rotating nucleus comes from single-particle orbits with large aligned angular momentum. The variation of the NLF along the minor axis is traced back to deformation-aligned orbits. Conclusions: The NLF allows a simple interpretation of the shell structure evolution in the rotating nucleus in terms of the angular-momentum alignment of individual nucleons. We expect that the NLF will be useful for the characterization of other collective modes and time-dependent processes.


title: Hyperfine structure of $^{173}\mathrm{Yb}^+$: toward resolving the $^{173}\mathrm{Yb}$ nuclear octupole moment puzzle

abstract: Hyperfine structure (HFS) of atomic energy levels arises due to interactions of atomic electrons with a hierarchy of nuclear multipole moments, including magnetic dipole, electric quadrupole and higher rank moments. Recently, a determination of the magnetic octupole moment of the $^{173}\mathrm{Yb}$ nucleus was reported from HFS measurements in neutral ${}^{173}\mathrm{Yb}$ [PRA 87, 012512 (2013)], and is four orders of magnitude larger than the nuclear theory prediction. Considering this substantial discrepancy between the spectroscopically extracted value and nuclear theory, here we propose to use an alternative system to resolve this tension, a singly charged ion of the same $^{173}\mathrm{Yb}$ isotope. Utilizing the substantial suite of tools developed around $\mathrm{Yb}^+$ for quantum information applications, we propose to extract nuclear octupole and hexadecapole moments from measuring hyperfine splittings in the extremely long lived first excited state ($4f^{13}(^2\!F^{o})6s^2$, $J=7/2$) of $^{173}\mathrm{Yb}^+$. We present results of atomic structure calculations in support of the proposed measurements.


title: A Decentralized Approach to Bayesian Learning

abstract: Motivated by decentralized approaches to machine learning, we propose a collaborative Bayesian learning algorithm taking the form of decentralized Langevin dynamics in a non-convex setting. Our analysis show that the initial KL-divergence between the Markov Chain and the target posterior distribution is exponentially decreasing while the error contributions to the overall KL-divergence from the additive noise is decreasing in polynomial time. We further show that the polynomial-term experiences speed-up with number of agents and provide sufficient conditions on the time-varying step-sizes to guarantee convergence to the desired distribution. The performance of the proposed algorithm is evaluated on a wide variety of machine learning tasks. The empirical results show that the performance of individual agents with locally available data is on par with the centralized setting with considerable improvement in the convergence rate.


title: Codimension two holography for wedges

abstract: We propose a codimension two holography between a gravitational theory on a $d+1$ dimensional wedge spacetime and a $d-1$ dimensional CFT which lives on the corner of the wedge. Formulating this as a generalization of AdS/CFT, we explain how to compute the free energy, entanglement entropy and correlation functions of the dual CFTs from gravity. In this wedge holography, the holographic entanglement entropy is computed by a double minimization procedure. Especially, for a four dimensional gravity ($d=3$), we obtain a two dimensional CFT and the holographic entanglement entropy perfectly reproduces the known result expected from the holographic conformal anomaly. We also discuss a lower dimensional example ($d=2$) and find that a universal quantity naturally arises from gravity, which is analogous to the boundary entropy. Moreover, we consider a gravity on a wedge region in Lorentzian AdS, which is expected to be dual to a CFT with a space-like boundary. We formulate this new holography and compute the holographic entanglement entropy via a Wick rotation of the AdS/BCFT construction. Via a conformal map, this wedge spacetime is mapped into a geometry where a bubble-of-nothing expands under time evolution. We reproduce the holographic entanglement entropy for this gravity dual via CFT calculations.


title: Multi-Objective Vehicle Rebalancing for Ridehailing System using a Reinforcement Learning Approach

abstract: The problem of designing a rebalancing algorithm for a large-scale ridehailing system with asymmetric demand is considered here. We pose the rebalancing problem within a semi Markov decision problem (SMDP) framework with closed queues of vehicles serving stationary, but asymmetric demand, over a large city with multiple nodes (representing neighborhoods). We assume that the passengers queue up at every node until they are matched with a vehicle. The goal of the SMDP is to minimize a convex combination of the waiting time of the passengers and the total empty vehicle miles traveled. The resulting SMDP appears to be difficult to solve for closed-form expression for the rebalancing strategy. As a result, we use a deep reinforcement learning algorithm to determine the approximately optimal solution to the SMDP. The trained policy is compared with other well-known algorithms for rebalancing, which are designed to address other objectives (such as to minimize demand drop probability) for the ridehailing problem.


title: QCD Axions and CMB Anisotropy

abstract: In this paper, we consider a possibility that the temperature anisotropy of cosmic microwave background (CMB) is dominantly generated by the primordial fluctuations of QCD-axion like particles under a circumstance that inflaton's perturbation is too small to explain the CMB anisotropy. Since the axion potential is generated by acquiring its energy from radiation, the primordial fluctuations of the axion field generated in the inflation era are correlated with the CMB anisotropies. Consequently, the observations stringently constrain a model of the axion and the early universe scenario. The following conditions must be satisfied: (i) sufficient amplitudes of the CMB anisotropy (ii) consistency with the axion isocurvature constraint and (iii) the non-Gaussianity constraint. To satisfy these conditions, a large energy fraction $\Omega_A^{}$ of the axion is necessary at the QCD scale when the axion-potential is generated, but simultaneously, it must become tiny at the present era due to the isocurvature constraint. Thus an additional scenario of the early universe, such as low scale thermal inflation, is inevitable to dilute the axions after the QCD scale. We investigate such a model and obtain its allowed parameter region.


title: Bounding The Number of Linear Regions in Local Area for Neural Networks with ReLU Activations

abstract: The number of linear regions is one of the distinct properties of the neural networks using piecewise linear activation functions such as ReLU, comparing with those conventional ones using other activation functions. Previous studies showed this property reflected the expressivity of a neural network family ([14]); as a result, it can be used to characterize how the structural complexity of a neural network model affects the function it aims to compute. Nonetheless, it is challenging to directly compute the number of linear regions; therefore, many researchers focus on estimating the bounds (in particular the upper bound) of the number of linear regions for deep neural networks using ReLU. These methods, however, attempted to estimate the upper bound in the entire input space. The theoretical methods are still lacking to estimate the number of linear regions within a specific area of the input space, e.g., a sphere centered at a training data point such as an adversarial example or a backdoor trigger. In this paper, we present the first method to estimate the upper bound of the number of linear regions in any sphere in the input space of a given ReLU neural network. We implemented the method, and computed the bounds in deep neural networks using the piece-wise linear active function. Our experiments showed that, while training a neural network, the boundaries of the linear regions tend to move away from the training data points. In addition, we observe that the spheres centered at the training data points tend to contain more linear regions than any arbitrary points in the input space. To the best of our knowledge, this is the first study of bounding linear regions around a specific data point. We consider our work as a first step toward the investigation of the structural complexity of deep neural networks in a specific input area.


title: 2D Qubit Placement of Quantum Circuits using LONGPATH

abstract: In order to achieve speedup over conventional classical computing for finding solution of computationally hard problems, quantum computing was introduced. Quantum algorithms can be simulated in a pseudo quantum environment, but implementation involves realization of quantum circuits through physical synthesis of quantum gates. This requires decomposition of complex quantum gates into a cascade of simple one qubit and two qubit gates. The methodological framework for physical synthesis imposes a constraint regarding placement of operands (qubits) and operators. If physical qubits can be placed on a grid, where each node of the grid represents a qubit then quantum gates can only be operated on adjacent qubits, otherwise SWAP gates must be inserted to convert non-Linear Nearest Neighbor architecture to Linear Nearest Neighbor architecture. Insertion of SWAP gates should be made optimal to reduce cumulative cost of physical implementation. A schedule layout generation is required for placement and routing apriori to actual implementation. In this paper, two algorithms are proposed to optimize the number of SWAP gates in any arbitrary quantum circuit. The first algorithm is intended to start with generation of an interaction graph followed by finding the longest path starting from the node with maximum degree. The second algorithm optimizes the number of SWAP gates between any pair of non-neighbouring qubits. Our proposed approach has a significant reduction in number of SWAP gates in 1D and 2D NTC architecture.


title: Three-dimensional Ising Ferrimagnetism of Cr-Fe-Cr trimers in FeCr2Te4

abstract: We carried out a comprehensive study of magnetic critical behavior in single crystals of ternary chalcogenide FeCr$_2$Te$_4$ that undergoes a ferrimagnetic transition below $T_c$ $\sim$ 123 K. Detailed critical behavior analysis and scaled magnetic entropy change indicate a second-order ferrimagentic transition. Critical exponents $\beta = 0.30(1)$ with $T_c = 122.4(5)$ K, $\gamma = 1.22(1)$ with $T_c = 122.8(1)$ K, and $\delta = 4.24(2)$ at $T_c$ $\sim$ 123 K suggest that the spins approach three-dimensional Ising ($\beta$ = 0.325, $\gamma$ = 1.24, and $\delta$ = 4.82) model coupled with the attractive long-range interactions between spins that decay as $J(r)\approx r^{-4.88}$. Our results suggest that the ferrimagnetism in FeCr$_2$Te$_4$ is due to itinerant ferromagnetism among the antiferromagnetically coupled Cr-Fe-Cr trimers.


title: Multiple Limit Cycles and Heteroclinic Loops in a Predator-prey System with Allee Effects in Prey

abstract: The transition between strong and weak Allee effects in prey provides a simple regime shift in ecology. A deteriorating environment changes weak Allee effects into strong ones. In this paper, we study the interplay between the functional response of Holling type IV and both strong and weak Allee effects. The model investigated here presents complex dynamics and high codimension bifurcations. In particular, nilpotent cusp bifurcation, nilpotent saddle bifurcation and degenerate Hopf bifurcation of codimension 3 are completely analyzed, and the existence of homoclinic and heteroclinic loops are proven. Remarkably it is the first time that three limit cycles are discovered in predator-prey models with Allee effects. It turns out that strong Allee effects destabilize population dynamics, induce more regime shifts, decrease establishment likelihood of both species, increase vulnerability of ecosystem to collapse, while weak Allee effects promote sustained oscillations between predators and preys compared to systems without Allee effects. The theory developed here provides a sound foundation for understanding predator-prey interactions and biodiversity of species in natural systems.


title: Entropy-Controlled Cross-Linking in Linker-Mediated Vitrimers

abstract: Recently developed linker-mediated vitrimers based on metathesis of dioxaborolanes with various commercially available polymers have shown both good processability and outstanding performance, such as mechanical, thermal, and chemical resistance, suggesting new ways of processing cross-linked polymers in industry, of which the design principle remains unknown [M. Rottger, et al., Science 356, 62 (2017)]. Here we formulate a theoretical framework to elucidate the phase behaviour of the linker-mediated vitrimers, in which entropy plays a governing role. We find that with increasing the linker concentration, vitrimers undergo a reentrant gel-sol transition, which explains a recent experiment [S. Wu, H. Yang, S. Huang, Q. Chen, Macromolecules 53, 1180 (2020)]. More intriguingly, at the low temperature limit, the linker concentration still determines the cross-linking degree of the vitrimers, which originates from the competition between the conformational entropy of polymers and the translational entropy of linkers. Our theoretical predictions agree quantitatively with computer simulations, and offer guidelines in understanding and controlling the properties of this newly developed vitrimer system.


title: An algorithm for estimating volumes and other integrals in $n$ dimensions

abstract: The computational cost in evaluation of the volume of a body using numerical integration grows exponentially with dimension of the space $n$. The most generally applicable algorithms for estimating $n$-volumes and integrals are based on Markov Chain Monte Carlo (MCMC) methods, and they are suited for convex domains. We analyze a less known alternate method used for estimating $n$-dimensional volumes, that is agnostic to the convexity and roughness of the body. It results due to the possible decomposition of an arbitrary $n$-volume into an integral of statistically weighted volumes of $n$-spheres. We establish its dimensional scaling, and extend it for evaluation of arbitrary integrals over non-convex domains. Our results also show that this method is significantly more efficient than the MCMC approach even when restricted to convex domains, for $n$ $\sim <$ 100. An importance sampling may extend this advantage to larger dimensions.


title: DeepMSRF: A novel Deep Multimodal Speaker Recognition framework with Feature selection

abstract: For recognizing speakers in video streams, significant research studies have been made to obtain a rich machine learning model by extracting high-level speaker's features such as facial expression, emotion, and gender. However, generating such a model is not feasible by using only single modality feature extractors that exploit either audio signals or image frames, extracted from video streams. In this paper, we address this problem from a different perspective and propose an unprecedented multimodality data fusion framework called DeepMSRF, Deep Multimodal Speaker Recognition with Feature selection. We execute DeepMSRF by feeding features of the two modalities, namely speakers' audios and face images. DeepMSRF uses a two-stream VGGNET to train on both modalities to reach a comprehensive model capable of accurately recognizing the speaker's identity. We apply DeepMSRF on a subset of VoxCeleb2 dataset with its metadata merged with VGGFace2 dataset. The goal of DeepMSRF is to identify the gender of the speaker first, and further to recognize his or her name for any given video stream. The experimental results illustrate that DeepMSRF outperforms single modality speaker recognition methods with at least 3 percent accuracy.


title: Ternary Policy Iteration Algorithm for Nonlinear Robust Control

abstract: The uncertainties in plant dynamics remain a challenge for nonlinear control problems. This paper develops a ternary policy iteration (TPI) algorithm for solving nonlinear robust control problems with bounded uncertainties. The controller and uncertainty of the system are considered as game players, and the robust control problem is formulated as a two-player zero-sum differential game. In order to solve the differential game, the corresponding Hamilton-Jacobi-Isaacs (HJI) equation is then derived. Three loss functions and three update phases are designed to match the identity equation, minimization and maximization of the HJI equation, respectively. These loss functions are defined by the expectation of the approximate Hamiltonian in a generated state set to prevent operating all the states in the entire state set concurrently. The parameters of value function and policies are directly updated by diminishing the designed loss functions using the gradient descent method. Moreover, zero-initialization can be applied to the parameters of the control policy. The effectiveness of the proposed TPI algorithm is demonstrated through two simulation studies. The simulation results show that the TPI algorithm can converge to the optimal solution for the linear plant, and has high resistance to disturbances for the nonlinear plant.


title: A Single Stream Network for Robust and Real-time RGB-D Salient Object Detection

abstract: Existing RGB-D salient object detection (SOD) approaches concentrate on the cross-modal fusion between the RGB stream and the depth stream. They do not deeply explore the effect of the depth map itself. In this work, we design a single stream network to directly use the depth map to guide early fusion and middle fusion between RGB and depth, which saves the feature encoder of the depth stream and achieves a lightweight and real-time model. We tactfully utilize depth information from two perspectives: (1) Overcoming the incompatibility problem caused by the great difference between modalities, we build a single stream encoder to achieve the early fusion, which can take full advantage of ImageNet pre-trained backbone model to extract rich and discriminative features. (2) We design a novel depth-enhanced dual attention module (DEDA) to efficiently provide the fore-/back-ground branches with the spatially filtered features, which enables the decoder to optimally perform the middle fusion. Besides, we put forward a pyramidally attended feature extraction module (PAFE) to accurately localize the objects of different scales. Extensive experiments demonstrate that the proposed model performs favorably against most state-of-the-art methods under different evaluation metrics. Furthermore, this model is 55.5\% lighter than the current lightest model and runs at a real-time speed of 32 FPS when processing a $384 \times 384$ image.


title: Can Encrypted DNS Be Fast?

abstract: In this paper, we study the performance of encrypted DNS protocols and conventional DNS from thousands of home networks in the United States, over one month in 2020. We perform these measurements from the homes of 2,693 participating panelists in the Federal Communications Commission's (FCC) Measuring Broadband America program. We found that clients do not have to trade DNS performance for privacy. For certain resolvers, DoT was able to perform faster than DNS in median response times, even as latency increased. We also found significant variation in DoH performance across recursive resolvers. Based on these results, we recommend that DNS clients (e.g., web browsers) should periodically conduct simple latency and response time measurements to determine which protocol and resolver a client should use. No single DNS protocol nor resolver performed the best for all clients.


title: BDTF: A Blockchain-Based Data Trading Framework with Trusted Execution Environment

abstract: The need for data trading promotes the emergence of data market. However, in conventional data markets, both data buyers and data sellers have to use a centralized trading platform which might be dishonest. A dishonest centralized trading platform may steal and resell the data seller's data, or may refuse to send data after receiving payment from the data buyer. It seriously affects the fair data transaction and harm the interests of both parties to the transaction. To address this issue, we propose a novel blockchain-based data trading framework with Trusted Execution Environment (TEE) to provide a trusted decentralized platform for fair data trading. In our design, a blockchain network is proposed to realize the payments from data buyers to data sellers, and a trusted exchange is built by using a TEE for the first time to achieve fair data transmission. With these help, data buyers and data sellers can conduct transactions directly. We implement our proposed framework on Ethereum and Intel SGX, security analysis and experimental results have demonstrated that the framework proposed can effectively guarantee the fair completion of data tradings.


title: Uncertainty Aware Deep Neural Network for Multistatic Localization with Application to Ultrasonic Structural Health Monitoring

abstract: Guided ultrasonic wave localization uses spatially distributed multistatic sensor arrays and generalized beamforming strategies to detect and locate damage across a structure. The propagation channel is often very complex. Methods can compare data with models of wave propagation to locate damage. Yet, environmental uncertainty (e.g., temperature or stress variations) often degrade accuracies. This paper uses an uncertainty-aware deep neural network framework to learn robust localization models and represent uncertainty. We use mixture density networks to generate damage location distributions based on training data uncertainty. This is in contrast with most localization methods, which output point estimates. We compare our approach with matched field processing (MFP), a generalized beamforming framework. The proposed approach achieves a localization error of 0.0625 m as compared to 0.1425 m with MFP when data has environmental uncertainty and noise. We also show that the predictive uncertainty scales as environmental uncertainty increases to provide a statistically meaningful metric for assessing localization accuracy.


title: Equation-free patch scheme for efficient computational homogenisation via self-adjoint coupling

abstract: Equation-free macroscale modelling is a systematic and rigorous computational methodology for efficiently predicting the dynamics of a microscale system at a desired macroscale system level. In this scheme, the given microscale model is computed in small patches spread across the space-time domain, with patch coupling conditions bridging the unsimulated space. For accurate simulations, care must be taken in designing the patch coupling conditions. Here we construct novel coupling conditions which preserve translational invariance, rotational invariance, and self-adjoint symmetry, thus guaranteeing that conservation laws associated with these symmetries are preserved in the macroscale simulation. Spectral and algebraic analyses of the proposed scheme in both one and two dimensions reveal mechanisms for further improving the accuracy of the simulations. Consistency of the patch scheme's macroscale dynamics with the original microscale model is proved. This new self-adjoint patch scheme provides an efficient, flexible, and accurate computational homogenisation in a wide range of multiscale scenarios of interest to scientists and engineers.


title: Vector Bundles on Rational Homogeneous Spaces

abstract: We consider a uniform $r$-bundle $E$ on a complex rational homogeneous space $X$ %over complex number field $\mathbb{C}$ and show that if $E$ is poly-uniform with respect to all the special families of lines and the rank $r$ is less than or equal to some number that depends only on $X$, then $E$ is either a direct sum of line bundles or $\delta_i$-unstable for some $\delta_i$. So we partially answer a problem posted by Mu\~{n}oz-Occhetta-Sol\'{a} Conde. In particular, if $X$ is a generalized Grassmannian $\mathcal{G}$ and the rank $r$ is less than or equal to some number that depends only on $X$, then $E$ splits as a direct sum of line bundles. We improve the main theorem of Mu\~{n}oz-Occhetta-Sol\'{a} Conde when $X$ is a generalized Grassmannian by considering the Chow rings. Moreover, by calculating the relative tangent bundles between two rational homogeneous spaces, we give explicit bounds for the generalized Grauert-M\"{u}lich-Barth theorem on rational homogeneous spaces.


title: Competition and interplay between topology and quasi-periodic disorder in Thouless pumping of ultracold atoms

abstract: Robustness against perturbations lies at the heart of topological phenomena. If, however, a perturbation such as disorder becomes dominant, it may cause a topological phase transition between topologically non-trivial and trivial phases. Here we experimentally reveal the competition and interplay between topology and quasi-periodic disorder in a Thouless pump realized with ultracold atoms in an optical lattice, by creating a quasi-periodic potential from weak to strong regimes in a controllable manner. We demonstrate a disorder-induced pumping in which the presence of quasi-periodic disorder can induce a non-trivial pump for a specific pumping sequence, while no pump is observed in the clean limit. Our highly controllable system, which can also straightforwardly incorporate interatomic interaction, could be a unique platform for studying various disorder-related novel effects in a wide range of topological quantum phenomena.


title: Securing the Insecure: A First-Line-of-Defense for Nanoscale Communication Systems Operating in THz Band

abstract: Nanoscale communication systems operating in Ter-ahertz (THz) band are anticipated to revolutionise the healthcaresystems of the future. Global wireless data traffic is undergoinga rapid growth. However, wireless systems, due to their broad-casting nature, are vulnerable to malicious security breaches. Inaddition, advances in quantum computing poses a risk to existingcrypto-based information security. It is of the utmost importanceto make the THz systems resilient to potential active and passiveattacks which may lead to devastating consequences, especiallywhen handling sensitive patient data in healthcare systems. Newstrategies are needed to analyse these malicious attacks and topropose viable countermeasures. In this manuscript, we presenta new authentication mechanism for nanoscale communicationsystems operating in THz band at the physical layer. We assessedan impersonation attack on a THz system. We propose usingpath loss as a fingerprint to conduct authentication via two-stephypothesis testing for a transmission device. We used hiddenMarkov Model (HMM) viterbi algorithm to enhance the outputof hypothesis testing. We also conducted transmitter identificationusing maximum likelihood and Gaussian mixture model (GMM)expectation maximization algorithms. Our simulations showedthat the error probabilities are a decreasing functions of SNR. At 10 dB with 0.2 false alarm, the detection probability was almostone. We further observed that HMM out-performs hypothesistesting at low SNR regime (10% increase in accuracy is recordedat SNR =5 dB) whereas the GMM is useful when groundtruths are noisy. Our work addresses major security gaps facedby communication system either through malicious breachesor quantum computing, enabling new applications of nanoscalesystems for Industry 4.0.


title: Lower Bounds of Algebraic Branching Programs and Layerization

abstract: In this paper we improve the lower bound of Chatterjee et al.\ (ECCC 2019) to an $\Omega(n^2)$ lower bound for unlayered Algebraic Branching Programs. We also study the impact layerization has on Algebraic Branching Programs. We exhibit a polynomial that has an unlayered ABP of size $O(n)$ but any layered ABP has size at least $\Omega(n\sqrt{n})$. We exhibit a similar dichotomy in the non-commutative setting where the unlayered ABP has size $O(n)$ and any layered ABP has size at least $\Omega(n\log n -\log^2 n)$.