title: The costructure-cosemantics adjunction for comodels for computational effects

abstract: It is well established that equational algebraic theories, and the monads they generate, can be used to encode computational effects. An important insight of Power and Shkaravska is that comodels of an algebraic theory T -- i.e., models in the opposite category Set^op -- provide a suitable environment for evaluating the computational effects encoded by T. As already noted by Power and Shkaravska, taking comodels yields a functor from accessible monads to accessible comonads on Set. In this paper, we show that this functor is part of an adjunction -- the "costructure-cosemantics adjunction" of the title -- and undertake a thorough investigation of its properties. We show that, on the one hand, the cosemantics functor takes its image in what we term the presheaf comonads induced by small categories; and that, on the other, costructure takes its image in the presheaf monads induced by small categories. In particular, the cosemantics comonad of an accessible monad will be induced by an explicitly-described category called its behaviour category that encodes the static and dynamic properties of the comodels. Similarly, the costructure monad of an accessible comonad will be induced by a behaviour category encoding static and dynamic properties of the comonad coalgebras. We tie these results together by showing that the costructure-cosemantics adjunction is idempotent, with fixpoints to either side given precisely by the presheaf monads and comonads. Along the way, we illustrate the value of our results with numerous examples drawn from computation and mathematics.


title: Characterization of M dwarfs Using Optical Mid-Resolution Spectra for Exploration of Small Exoplanets

abstract: We present the optical spectra of 338 nearby M dwarfs, and compute their spectral types, effective temperatures ($T_{\mathrm{eff}}$), and radii. Our spectra have been obtained using several optical spectrometers with spectral resolutions that range from 1200 to 10000. As many as 97% of the observed M-type dwarfs have a spectral type of M3-M6, with a typical error of 0.4 sub-type, among which the spectral types M4-M5 are the most common. We infer the $T_{\mathrm{eff}}$ of our sample by fitting our spectra with theoretical spectra from the PHOENIX model. Our inferred $T_{\mathrm{eff}}$ is calibrated with the optical spectra of M dwarfs whose $T_{\mathrm{eff}}$ have been well determined with the calibrations that are supported by previous interferometric observations. Our fitting procedures utilize the VO absorption band (7320-7570 {\AA}) and the optical region (5000-8000 {\AA}), yielding typical errors of 128 K (VO band) and 85 K (optical region). We also determine the radii of our sample from their spectral energy distributions (SEDs). We find most of our sample stars have radii of $<$ 0.6 $R_\odot$, with the average error being 3%. Our catalog enables efficient sample selection for exoplanet surveys around nearby M-type dwarfs.


title: Feature Learning in Infinite-Width Neural Networks

abstract: As its width tends to infinity, a deep neural network's behavior under gradient descent can become simplified and predictable (e.g. given by the Neural Tangent Kernel (NTK)), if it is parametrized appropriately (e.g. the NTK parametrization). However, we show that the standard and NTK parametrizations of a neural network do not admit infinite-width limits that can learn features, which is crucial for pretraining and transfer learning such as with BERT. We propose simple modifications to the standard parametrization to allow for feature learning in the limit. Using the *Tensor Programs* technique, we derive explicit formulas for such limits. On Word2Vec and few-shot learning on Omniglot via MAML, two canonical tasks that rely crucially on feature learning, we compute these limits exactly. We find that they outperform both NTK baselines and finite-width networks, with the latter approaching the infinite-width feature learning performance as width increases. More generally, we classify a natural space of neural network parametrizations that generalizes standard, NTK, and Mean Field parametrizations. We show 1) any parametrization in this space either admits feature learning or has an infinite-width training dynamics given by kernel gradient descent, but not both; 2) any such infinite-width limit can be computed using the Tensor Programs technique. Code for our experiments can be found at github.com/edwardjhu/TP4.


title: Pure Gauss sums and skew Hadamard difference sets

abstract: Chowla~(1962), McEliece~(1974), Evans~(1977, 1981) and Aoki~(1997, 2004, 2012) studied Gauss sums, some integral powers of which are in the field of rational numbers. Such Gauss sums are called {\it pure}. In particular, Aoki (2004) gave a necessary and sufficient condition for a Gauss sum to be pure in terms of Dirichlet characters modulo the order of the multiplicative character involved. In this paper, we study pure Gauss sums with odd extension degree $f$ and classify them for $f=5,7,9,11,13,17,19,23$ based on Aoki's theorem. Furthermore, we characterize a special subclass of pure Gauss sums in view of an application for skew Hadamard difference sets. Based on the characterization, we give a new construction of skew Hadamard difference sets from cyclotomic classes of finite fields.


title: Weil-Chatelet Groups of Rational Elliptic Surfaces

abstract: We classify pairs $(S, \gamma)$, consisting of a rational elliptic surface $S$ and a Galois cover $\gamma$ of the base, which satisfy a condition we call $\mathcal{L}$-stability. We explain how to use the theory of Mordell-Weil lattices to compute the kernel of the restriction maps of Weil-Chatelet groups for $\mathcal{L}$-stable pairs. We also prove results about the injectivity of restriction maps of Weil-Chatelet groups for some pairs which are not $\mathcal{L}$-stable.


title: Inter-layer Transition in Neural Architecture Search

abstract: Differential Neural Architecture Search (NAS) methods represent the network architecture as a repetitive proxy directed acyclic graph (DAG) and optimize the network weights and architecture weights alternatively in a differential manner. However, existing methods model the architecture weights on each edge (i.e., a layer in the network) as statistically independent variables, ignoring the dependency between edges in DAG induced by their directed topological connections. In this paper, we make the first attempt to investigate such dependency by proposing a novel Inter-layer Transition NAS method. It casts the architecture optimization into a sequential decision process where the dependency between the architecture weights of connected edges is explicitly modeled. Specifically, edges are divided into inner and outer groups according to whether or not their predecessor edges are in the same cell. While the architecture weights of outer edges are optimized independently, those of inner edges are derived sequentially based on the architecture weights of their predecessor edges and the learnable transition matrices in an attentive probability transition manner. Experiments on five benchmarks confirm the value of modeling inter-layer dependency and demonstrate the proposed method outperforms state-of-the-art methods.


title: Deep Reinforcement Learning for Smart Grid Protection Against Coordinated Multistage Transmission Line Attacks

abstract: With the increase of connectivity in power grid, a cascading failure may be triggered by the failure of a transmission line, which can lead to substantial economic losses and serious negative social impacts. Therefore, it is very important to identify the critical lines under various types of attacks that may initiate a cascading failure and deploy defense resources to protect them. Since coordinated multistage line attacks can lead to larger negative impacts compared with a single-stage attack or a multistage attack without coordination, this paper intends to identify the critical lines under coordinated multistage attacks that may initiate a cascading failure and deploy limited defense resources optimally. To this end, we first formulate a total generation loss maximization problem with the consideration of multiple attackers and multiple stages. Due to the large size of solution space, it is very challenging to solve the formulated problem. To overcome the challenge, we reformulate the problem as a Markov game and design its components, e.g., state, action, and reward. Next, we propose a scalable algorithm to solve the Markov game based on multi-agent deep reinforcement learning and prioritized experience replay, which can determine the optimal attacking line sequences. Then, we design a defense strategy to decide the optimal defense line set. Extensive simulation results show the effectiveness of the proposed algorithm and the designed defense strategy.


title: Characteristic cycles associated to holonomic $\mathscr D$-modules

abstract: We study relative and logarithmic characteristic cycles associated to holonomic $\mathscr D$-modules. As applications, we obtain: (1) an alternative proof of Ginsburg's log characteristic cycle formula for lattices of regular holonomic $\mathscr D$-modules following ideas of Sabbah and Briancon-Maisonobe-Merle, and (2) the constructibility of the log de Rham complexes for lattices of holonomic $\mathscr D$-modules, which is a natural generalization of Kashiwara's constructibility theorem.


title: Powers of Gauss sums in quadratic fields

abstract: In the past two decades, many researchers have studied {\it index $2$} Gauss sums, where the group generated by the characteristic $p$ of the underling finite field is of index $2$ in the unit group of ${\mathbb Z}/m{\mathbb Z}$ for the order $m$ of the multiplicative character involved. A complete solution to the problem of evaluating index $2$ Gauss sums was given by Yang and Xia~(2010). In particular, it is known that some nonzero integral powers of the Gauss sums in this case are in quadratic fields. On the other hand, Chowla~(1962), McEliece~(1974), Evans~(1977, 1981) and Aoki~(1997, 2004, 2012) studied {\it pure} Gauss sums, some nonzero integral powers of which are in the field of rational numbers. In this paper, we study Gauss sums, some integral powers of which are in quadratic fields. This class of Gauss sums is a generalization of index $2$ Gauss sums and an extension of pure Gauss sums to quadratic fields.


title: Predictive case control designs for modification learning

abstract: Prediction models for clinical outcomes may be developed using a source dataset and additionally applied to new settings. Towards model external validation and model updating in the new setting, one procedure is model modification learning that involves the dual goals of recalibrating overall predictions as well as revising individual feature effects. Modification learning generally requires the collection of an adequate sample of true outcome labels from the new setting, which is frequently an expensive and time-consuming process, as it involves abstraction by human clinical experts. To reduce the abstraction burden for such new data collection, we propose a class of designs based on original model scores and their associated outcome predictions. We provide mathematical justification that the general predictive score sampling class results in valid samples for analysis. Then, we focus attention specifically on a stratified sampling procedure that we call predictive case control (PCC) sampling, which allows the dual modification learning goals to be achieved at a smaller sample size compared to simple random sampling (SRS). PCC sampling intentionally over-represents subjects with informative scores, where we suggest using the D-optimality and Binary Entropy information functions to summarize sample information. For design evaluation within the PCC class, we provide a computational framework to estimate and visualize empirical response surfaces of the proposed information functions. We demonstrate the benefit of using PCC designs for modification learning, relative to SRS, through Monte Carlo simulation. Finally, using radiology report data from the Lumbar Imaging with Reporting of Epidemiology (LIRE) study, we illustrate the application of PCC for new outcome label abstraction and subsequent modification learning across imaging modalities.


title: Ultra-fast model emulation with PRISM; analyzing the Meraxes galaxy formation model

abstract: We demonstrate the potential of an emulator-based approach to analyzing galaxy formation models in the domain where constraining data is limited. We have applied the open-source Python package PRISM to the galaxy formation model Meraxes. Meraxes is a semi-analytic model, purposefully built to study the growth of galaxies during the Epoch of Reionization (EoR). Constraining such models is however complicated by the scarcity of observational data in the EoR. PRISM's ability to rapidly construct accurate approximations of complex scientific models using minimal data is therefore key to performing this analysis well. This paper provides an overview of our analysis of Meraxes using measurements of galaxy stellar mass densities; luminosity functions; and color-magnitude relations. We demonstrate the power of using PRISM instead of a full Bayesian analysis when dealing with highly correlated model parameters and a scarce set of observational data. Our results show that the various observational data sets constrain Meraxes differently and do not necessarily agree with each other, signifying the importance of using multiple observational data types when constraining such models. Furthermore, we show that PRISM can detect when model parameters are too correlated or cannot be constrained effectively. We conclude that a mixture of different observational data types, even when they are scarce or inaccurate, is a priority for understanding galaxy formation and that emulation frameworks like PRISM can guide the selection of such data.


title: The Furstenberg-S\'ark\"ozy Theorem and Asymptotic Total Ergodicity Phenomena in Modular Rings

abstract: The Furstenberg-S\'ark\"ozy theorem asserts that the difference set $E-E$ of a subset $E \subset \mathbb{N}$ with positive upper density intersects the image set of any polynomial $P \in \mathbb{Z}[n]$ for which $P(0)=0$. Furstenberg's approach relies on a correspondence principle and a polynomial version of the Poincar\'e recurrence theorem, which is derived from the ergodic-theoretic result that for any measure-preserving system $(X,\mathcal{B},\mu,T)$ and set $A \in \mathcal{B}$ with $\mu(A) > 0$, one has $c(A):= \lim_{N \to \infty} \frac{1}{N} \sum_{n=1}^N \mu(A \cap T^{-P(n)}A) > 0.$ The limit $c(A)$ will have its optimal value of $\mu(A)^2$ when $T$ is totally ergodic. Motivated by the possibility of new combinatorial applications, we define the notion of asymptotic total ergodicity in the setting of modular rings $\mathbb{Z}/N\mathbb{Z}$. We show that a sequence of modular rings $\mathbb{Z}/N_m\mathbb{Z}$, $m \in \mathbb{N},$ is asymptotically totally ergodic if and only if $\mathrm{lpf}(N_m)$, the least prime factor of $N_m$, grows to infinity. From this fact, we derive some combinatorial consequences, for example the following. Fix $\delta \in (0,1]$ and a (not necessarily intersective) polynomial $Q \in \mathbb{Q}[n]$ such that $Q(\mathbb{Z}) \subseteq \mathbb{Z}$, and write $S = \{ Q(n) : n \in \mathbb{Z}/N\mathbb{Z}\}$. For any integer $N > 1$ with $\mathrm{lpf}(N)$ sufficiently large, if $A$ and $B$ are subsets of $\mathbb{Z}/N\mathbb{Z}$ such that $|A||B| \geq \delta N^2$, then $\mathbb{Z}/N\mathbb{Z} = A + B + S$.


title: Batch Optimization for DNA Synthesis

abstract: Large pools of synthetic DNA molecules have been recently used to reliably store significant volumes of digital data. While DNA as a storage medium has enormous potential because of its high storage density, its practical use is currently severely limited because of the high cost and low throughput of available DNA synthesis technologies. We study the role of batch optimization in reducing the cost of large scale DNA synthesis, which translates to the following algorithmic task. Given a large pool $\mathcal{S}$ of random quaternary strings of fixed length, partition $\mathcal{S}$ into batches in a way that minimizes the sum of the lengths of the shortest common supersequences across batches. We introduce two ideas for batch optimization that both improve (in different ways) upon a naive baseline: (1) using both $(ACGT)^{*}$ and its reverse $(TGCA)^{*}$ as reference strands, and batching appropriately, and (2) batching via the quantiles of an appropriate ordering of the strands. We also prove asymptotically matching lower bounds on the cost of DNA synthesis, showing that one cannot improve upon these two ideas. Our results uncover a surprising separation between two cases that naturally arise in the context of DNA data storage: the asymptotic cost savings of batch optimization are significantly greater in the case where strings in $\mathcal{S}$ do not contain repeats of the same character (homopolymers), as compared to the case where strings in $\mathcal{S}$ are unconstrained.

categories: cs.DS cs.IT math.CO math.IT math.PR q-bio.QM


title: Unstructured Search by Random and Quantum Walk

abstract: The task of finding an entry in an unsorted list of $N$ elements famously takes $O(N)$ queries to an oracle for a classical computer and $O(\sqrt{N})$ queries for a quantum computer using Grover's algorithm. Reformulated as a spatial search problem, this corresponds to searching the complete graph, or all-to-all network, for a marked vertex by querying an oracle. In this tutorial, we derive how discrete- and continuous-time (classical) random walks and quantum walks solve this problem in a thorough and pedagogical manner, providing an accessible introduction to how random and quantum walks can be used to search spatial regions. Some of the results are already known, but many are new. For large $N$, the random walks converge to the same evolution, both taking $N \ln(1/\epsilon)$ time to reach a success probability of $1-\epsilon$. In contrast, the discrete-time quantum walk asymptotically takes $\pi\sqrt{N}/2\sqrt{2}$ timesteps to reach a success probability of $1/2$, while the continuous-time quantum walk takes $\pi\sqrt{N}/2$ time to reach a success probability of $1$.


title: Necessity of weak subordination for some strongly subordinated L\'evy processes

abstract: Consider the strong subordination of a multivariate L\'evy process with a multivariate subordinator. If the subordinate is a stack of independent L\'evy processes and the components of the subordinator are indistinguishable within each stack, then strong subordination produces a L\'evy process, otherwise it may not. Weak subordination was introduced to extend strong subordination, always producing a L\'evy process even when strong subordination does not. Here, we prove that strong and weak subordination are equal in law under the aforementioned condition. In addition, we prove that if strong subordination is a L\'evy process, then it is necessarily equal in law to weak subordination in two cases: firstly, when the subordinator is deterministic and secondly, when it is pure-jump with finite activity.


title: Beyond LunAR: An augmented reality UI for deep-space exploration missions

abstract: As space exploration efforts shift to deep space missions, new challenges emerge regarding astronaut communication and task completion. While the round trip propagation delay for lunar communications is 2.6 seconds, the time delay increases to nearly 22 minutes for Mars missions. This creates a need for astronaut independence from earth-based assistance, and places greater significance upon the limited communications that are able to be delivered. To address this issue, we prototyped an augmented reality user interface for the new xEMU spacesuit, intended for use on planetary surface missions. This user interface assists with functions that would usually be completed by flight controllers in Mission Control, or are currently completed in manners that are unnecessarily difficult. We accomplish this through features such as AR model-based task instruction, sampling task assistance, note taking, and telemetry monitoring and display.


title: Chirped nonlinear resonant states in femtosecond fiber optics

abstract: We show the existence of nonlinear resonant states in a higher-order nonlinear Schr\"odinger model that appertains to the wave propagation in femtosecond fiber optics, under certain parametric regime. These nonlinear resonant states are analytically illustrated in terms of Gaussian beams, Airy beams, and periodic beams that resulted due to the presence of quadratic, linear, and constant type of `smart' potentials, respectively, of the ensuing model. Interestingly, the nonlinear chirp associated with each of these novel resonant states can be efficiently controlled, by varying the self-steepening term and self-frequency shift. Furthermore, we have conducted numerical experiments corroborative of our analytical predictions.


title: Toward Cloud Tomography from Space using MISR and MODIS: The Physics of Image Formation for Opaque Convective Clouds

abstract: 3D convective cloud images form via two intertwined radiative diffusion processes. Sunlight starts in the anti-solar direction and ends in toward-sensor ones, but repeated forward-peaked scattering smears the well-collimated beams across_direction_ space. This loss of directional memory in the cloud's "outer shell" (OS) is modeled as a random walk (RW) on the sphere. We show that, for typical cloud phase functions, 5 or 6 scatterings suffice for severe degrading of directionality. Simultaneously, a RW unfolds in_standard_ 3D space where steps are angularly-correlated, hence a drift in the original direction and an associated lateral dispersion. Any distinctive cloud image "feature" originates in the OS, and the shallower the better. That is also why we previously found that the optical depth of the "veiled core" (VC) is ~5. Significant amounts of sunlight thus arrive at the VC as a diffuse irradiance, and leave it even more isotropic. The diffusion limit of 3D radiative transfer (RT) is therefore valid inside the VC. Consequently, the underlying RW in the VC unfolds in 3D space, now with isotropic steps since extinction is scaled back to account for forward scattering. We show that the VC optical thickness controls cloud-scale brightness contrast between the illuminated and self-shaded sides of the cloud. Full cloud image formation thus involves diffusions (i.e., RWs) in both Euclidian and spherical/direction spaces. 3D cloud tomography based on MISR and MODIS multi-angle/-spectral data is an emerging technique in passive VNIR-SWIR sensing that will make judicious use this spatial separation of RT regimes to accelerate forward modeling without significant loss in accuracy.


title: Signatures of the BCS-BEC crossover in the yrast spectra of Fermi quantum rings

abstract: We study properties of the lowest energy states at non-zero total momentum (yrast states) of the Hubbard model for spin-1/2 fermions in the quantum ring configuration with attractive on-site interaction at low density. In the one-dimensional (1D) case we solve the Hubbard model using the Bethe ansatz, while for the crossover into the 2D regime we use the Full-Configuration-Interaction Quantum Monte-Carlo method (FCIQMC) to obtain the yrast states for the spin-balanced Fermi system. We show how the yrast excitation spectrum changes from the 1D to the 2D regime and how pairing affects the yrast spectra. We also find signatures of fragmented condensation for certain yrast states usually associated with dark solitons.


title: Classification of positive elliptic-elliptic rotopulsators on Clifford tori

abstract: We prove that positive elliptic-elliptic rotopulsator solutions of the $n$-body problem in spaces of constant Gaussian curvature that move on Clifford tori of nonconstant size either lie on great circles, or project onto regular polygons. We additionally prove for the case that the configurations project onto regular polygons that all masses are equal and show that all these different types of positive elliptic-elliptic rotopulsator exist.


title: Heuristic Domain Adaptation

abstract: In visual domain adaptation (DA), separating the domain-specific characteristics from the domain-invariant representations is an ill-posed problem. Existing methods apply different kinds of priors or directly minimize the domain discrepancy to address this problem, which lack flexibility in handling real-world situations. Another research pipeline expresses the domain-specific information as a gradual transferring process, which tends to be suboptimal in accurately removing the domain-specific properties. In this paper, we address the modeling of domain-invariant and domain-specific information from the heuristic search perspective. We identify the characteristics in the existing representations that lead to larger domain discrepancy as the heuristic representations. With the guidance of heuristic representations, we formulate a principled framework of Heuristic Domain Adaptation (HDA) with well-founded theoretical guarantees. To perform HDA, the cosine similarity scores and independence measurements between domain-invariant and domain-specific representations are cast into the constraints at the initial and final states during the learning procedure. Similar to the final condition of heuristic search, we further derive a constraint enforcing the final range of heuristic network output to be small. Accordingly, we propose Heuristic Domain Adaptation Network (HDAN), which explicitly learns the domain-invariant and domain-specific representations with the above mentioned constraints. Extensive experiments show that HDAN has exceeded state-of-the-art on unsupervised DA, multi-source DA and semi-supervised DA. The code is available at https://github.com/cuishuhao/HDA.


title: Gravitational Waves as a Probe of Globular Cluster Formation and Evolution

abstract: Globular clusters are considered to be likely breeding grounds for compact binary mergers. In this paper, we demonstrate how the gravitational-wave signals produced by compact object mergers can act as tracers of globular cluster formation and evolution. Globular cluster formation is a long-standing mystery in astrophysics, with multiple competing theories describing when and how globular clusters formed. The limited sensitivity of electromagnetic telescopes inhibits our ability to directly observe globular cluster formation. However, with future audio-band detectors sensitive out to redshifts of $z \approx 50$ for GW150914-like signals, gravitational-wave astronomy will enable us to probe the Universe when the first globular clusters formed. We simulate a population of binary black hole mergers from theoretically-motivated globular cluster formation models, and construct redshift measurements consistent with the predicted accuracy of third-generation detectors. We show that we can locate the peak time of a cluster formation epoch during reionisation to within 0.05Gyr after one year of observations. The peak of a formation epoch that coincides with the Universal star formation rate can be measured to within 0.4Gyr-10.5Gyr after one year of observations, depending on the relative weighting of the model components.


title: Calibration for multivariate L\'evy-driven Ornstein-Uhlenbeck processes with applications to weak subordination

abstract: Consider a multivariate L\'evy-driven Ornstein-Uhlenbeck process where the stationary distribution or background driving L\'evy process is from a parametric family. We derive the likelihood function assuming that the innovation term is absolutely continuous. Two examples are studied in detail: the process where the stationary distribution or background driving L\'evy process is given by a weak variance alpha-gamma process, which is a multivariate generalisation of the variance gamma process created using weak subordination. In the former case, we give an explicit representation of the background driving L\'evy process, leading to an innovation term which is discrete and continuous mixture, allowing for the exact simulation of the process, and a separate likelihood function. In the latter case, we show the innovation term is absolutely continuous. The results of a simulation study demonstrate that maximum likelihood numerically computed using Fourier inversion can be applied to accurately estimate the parameters in both cases.


title: Exponential Stability and Tuning for a Class of Mechanical Systems

abstract: In this paper, we prove the exponential stability property of a class of mechanical systems represented in the port-Hamiltonian framework. To this end, we propose a Lyapunov candidate function different from the Hamiltonian of the system. Moreover, we study how the proposed analysis can be used to determine the exponential stability and the rate of convergence of some (nonlinear)-mechanical systems stabilized by two passivity-based control techniques, namely, PID passivity-based control and interconnection and damping assignment. We implement the former control approach to stabilize a three degrees-of-freedom robotic arm at the desired equilibrium point to illustrate the mentioned analysis.


title: Laser Nano-Filament Explosion for Enabling Open-Grating Sensing in Optical Fibre

abstract: Embedding strong photonic stopbands into traditional optical fibre that can directly access and sense the outside environment is challenging, relying on tedious nanoprocessing steps that result in fragile thinned fibre. Ultrashort pulsed laser filaments have recently provided a non contact means of opening high aspect ratio nanoholes inside of bulk transparent glasses. This method has been extended here to optical fibre, resulting in high density arrays of laser filamented holes penetrating transversely through the silica cladding and guiding core to provide high refractive index contrast Bragg gratings in the telecommunication band. The point by point fabrication was combined with post-chemical etching to engineer strong photonic stopbands directly inside of the compact and flexible fibre. Fibre Bragg gratings with sharply resolved pi-shifts are presented for high resolution refractive index sensing from n = 1 to 1.67 as the nano-holes were readily wetted and filled with various solvents and oils through an intact fibre cladding.


title: Lifetime of a transient atmosphere produced by Lunar Volcanism

abstract: Early in the Moon's history volcanic outgassing may have produced a periodic millibar level atmosphere (Needham and Kring, 2017). We examined the relevant atmospheric escape processes and lifetime of such an atmosphere. Thermal escape rates were calculated as a function of atmospheric mass for a range of temperatures including the effect of the presence of a light constituent such as H2. Photochemical escape and atmospheric sputtering were calculated using estimates of the higher EUV and plasma fluxes consistent with the early Sun. The often used surface Jeans calculation carried out in Vondrak (1974) is not applicable for the scale and composition of the atmosphere considered. We show that solar driven non-thermal escape can remove an early CO millibar level atmosphere on the order of 1 Myr if the average exobase temperature is below 350 - 400 K. However, if solar UV/EUV absorption heats the upper atmosphere to temperatures > 400 K thermal escape increasingly dominates the loss rate, and we estimated a minimum lifetime of 100's of years considering energy limited escape.


title: Generic Security Analysis Framework for Quantum Secure Direct Communication

abstract: Quantum secure direct communication provides a direct means of conveying secret information via quantum states among legitimate users. The past two decades have witnessed its great strides both theoretically and experimentally. However, the security analysis of it still stays in its infant. Some practical problems in this field to be solved urgently, such as detector efficiency mismatch, side-channel effect and source imperfection, are propelling the birth of a more impeccable solution. In this paper, we establish a new framework of the security analysis driven by numerics where all the practical problems may be taken into account naturally. We apply this framework to several variations of the DL04 protocol considering real-world experimental conditions. Also, we propose two optimizing methods to process the numerical part of the framework so as to meet different requirements in practice. With these properties considered, we predict the robust framework would open up a broad avenue of the development in the field.


title: The Cosmic Dispersion Measure in the EAGLE Simulations

abstract: The dispersion measure (DM) of fast radio bursts (FRBs) provides a unique way to probe ionised baryons in the intergalactic medium (IGM). Cosmological models with different parameters lead to different DM-redshift ($\mathrm{DM}-z$) relations. Additionally, the over/under-dense regions in the IGM and the circumgalactic medium of intervening galaxies lead to scatter around the mean $\mathrm{DM}-z$ relations. We have used the Evolution and Assembly of GaLaxies and their Environments (EAGLE) simulations to measure the mean $\mathrm{DM}-z$ relation and the scatter around it using over one billion lines-of-sight between redshifts $0<z<3$. We investigated two techniques to estimate line-of-sight DM: `pixel scrambling' and `box transformations'. We find that using box transformations (a technique from the literature) causes strong correlations due to repeated replication of structure. Comparing a linear and non-linear model, we find that the non-linear model with cosmological parameters, provides a better fit to the $\mathrm{DM}-z$ relation. The differences between these models are the most significant at low redshifts ($z<0.5$). The scatter around the $\mathrm{DM}-z$ relation is highly asymmetric, especially at low redshift $\left(z<0.5\right)$, and becomes more Gaussian as redshift approaches $z\sim3$, the limit of this study. The increase in Gaussianity with redshift is indicative of the large scale structures that is better probed with longer lines-of-sight. The minimum simulation size suitable for investigations into the scatter around the $\mathrm{DM}-z$ relation is 100~comoving~Mpc. The $\mathrm{DM}-z$ relation measured in EAGLE is available with an easy-to-use python interface in the open-source FRB redshift estimation package FRUITBAT.


title: Algebraic correlations and anomalous fluctuations in ordered flocks of Janus particles fueled by an AC electric field

abstract: We study the polar collective dynamics of Janus colloidal particles fueled by an AC electric field. When the density is high enough, the polar interactions between the particles induce a polar orientationally ordered state which exhibits features reminiscent of the Vicsek model such as true long-range order and giant number fluctuations. Independent measurements of the polarity and velocity at the single particle level allowed us to investigate the single particle dynamics within the ordered state. We discovered theoretically-unaddressed statistical properties of the ordered state such as the asymmetric relation of polarity and velocity, enhanced rotational diffusion stronger than in the disordered state, and an algebraic auto-correlation of the polarity. Our experimental findings, at the crossroad of the Vicsek physics and the Active Brownian Particles physics, shed light on the so-far-unexplored physics arising from the interplay between the polarity and the velocity.


title: Persistent Reductions in Regularized Loss Minimization for Variable Selection

abstract: In the context of regularized loss minimization with polyhedral gauges, we show that for a broad class of loss functions (possibly non-smooth and non-convex) and under a simple geometric condition on the input data it is possible to efficiently identify a subset of features which are guaranteed to have zero coefficients in all optimal solutions in all problems with loss functions from said class, before any iterative optimization has been performed for the original problem. This procedure is standalone, takes only the data as input, and does not require any calls to the loss function. Therefore, we term this procedure as a persistent reduction for the aforementioned class of regularized loss minimization problems. This reduction can be efficiently implemented via an extreme ray identification subroutine applied to a polyhedral cone formed from the datapoints. We employ an existing output-sensitive algorithm for extreme ray identification which makes our guarantee and algorithm applicable in ultra-high dimensional problems.


title: Two-photon superbunching effect of broadband chaotic stationary light at femtosecond timescale based on cascaded Michelson interferometer

abstract: It is challenging for observing superbunching effect with true chaotic light, here we propose and demonstrate a method to achieve superbunching effect of the degree of second-order coherence is 2.42 with broadband stationary chaotic light based on a cascaded Michelson interferometer (CMI), exceeding the theoretical upper limit of 2 for the two-photon bunching effect of chaotic light. The superbunching correlation peak is measured with an ultrafast two-photon absorption detector which the full width at half maximum reaches about 95 fs. Two-photon superbunching theory in a CMI is developed to interpret the effect and is in agreement with experimental results. The theory also predicts that the degree of second-order coherence can be much greater than $2$ if chaotic light propagates $N$ times in a CMI. Finally, a new type of weak signals detection setup which employs broadband chaotic light circulating in a CMI is proposed. Theoretically, it can increase the detection sensitivity of weak signals 79 times after the chaotic light circulating 100 times in the CMI.


title: A Customizable Dynamic Scenario Modeling and Data Generation Platform for Autonomous Driving

abstract: Safely interacting with humans is a significant challenge for autonomous driving. The performance of this interaction depends on machine learning-based modules of an autopilot, such as perception, behavior prediction, and planning. These modules require training datasets with high-quality labels and a diverse range of realistic dynamic behaviors. Consequently, training such modules to handle rare scenarios is difficult because they are, by definition, rarely represented in real-world datasets. Hence, there is a practical need to augment datasets with synthetic data covering these rare scenarios. In this paper, we present a platform to model dynamic and interactive scenarios, generate the scenarios in simulation with different modalities of labeled sensor data, and collect this information for data augmentation. To our knowledge, this is the first integrated platform for these tasks specialized to the autonomous driving domain.


title: Gorenstein Objects in Extriangulated Categories

abstract: This paper mainly studies the relative Gorenstein objects in the extriangulated category $\mathcal{C}=(\mathcal{C},\mathbb{E},\mathfrak{s})$ with a proper class $\xi$ and the related properties of these objects. In the first part, we define the notion of the $\xi$-$\mathcal{G}$projective resolution, and study the relation between $\xi$-projective resolution and $\xi$-$\mathcal{G}$projective resolution for any object $A$ in $\mathcal{C}$, i.e. $A$ has a $\mathcal{C}(-,\mathcal{P}(\xi))$-exact $\xi$-projective resolution if and only if $A$ has a $\mathcal{C}(-,\mathcal{P}(\xi))$-exact $\xi$-$\mathcal{G}$projective resolution. In the second part, we define a particular $\xi$-Gorenstein projective object in $\mathcal{C}$ which called $\xi$-$n$-strongly $\mathcal{G}$projective object. On this basis, we study the relation between $\xi$-$m$-strongly $\mathcal{G}$projective object and $\xi$-$n$-strongly $\mathcal{G}$projective object whenever $m\neq n$, and give some equivalent characterizations of $\xi$-$n$-strongly $\mathcal{G}$projective objects. What is more, we give some nice propsitions of $\xi$-$n$-strongly $\mathcal{G}$projective objects.


title: Phase Shift of Planetary Waves and Wave--Jet Resonance on Tidally Locked Planets

abstract: Recent studies found that atmospheric superrotation (i.e., west-to-east winds over the equator) on tidally locked planets can modify the phase of planetary waves. But, a clear relationship between the superrotation and the magnitude of the phase shift was not examined. In this study, we re-investigate this problem using a two-dimensional (2D) linear shallow water model with a specified uniform zonal flow. We find that the degree of the phase shift is a monotonic but nonlinear function of the strength of the mean flow, and the phase shift has two limits of -$\pi$ and +$\pi$. The existence of these limits can be explained using the energy balance of the whole system. We further show that a resonance between the Rossby wave and the mean flow occurs when the speed of an eastward jet approaches to the westward phase speed of the Rossby wave, or a resonance between the Kelvin wave and the mean flow happens when the speed of a westward jet approaches to the eastward phase speed of the Kelvin wave. The resonance mechanism is the same as that found in the previous studies on Earth and hot Jupiters. Moreover, in the spin-up period of a 3D global atmospheric general circulation simulation for tidally locked rocky planet, we also find these two phenomena: phase shift and wave--jet resonance. This study improves the understanding of wave--mean flow interactions on tidally locked planets.


title: A Selective Survey on Versatile Knowledge Distillation Paradigm for Neural Network Models

abstract: This paper aims to provide a selective survey about knowledge distillation(KD) framework for researchers and practitioners to take advantage of it for developing new optimized models in the deep neural network field. To this end, we give a brief overview of knowledge distillation and some related works including learning using privileged information(LUPI) and generalized distillation(GD). Even though knowledge distillation based on the teacher-student architecture was initially devised as a model compression technique, it has found versatile applications over various frameworks. In this paper, we review the characteristics of knowledge distillation from the hypothesis that the three important ingredients of knowledge distillation are distilled knowledge and loss,teacher-student paradigm, and the distillation process. In addition, we survey the versatility of the knowledge distillation by studying its direct applications and its usage in combination with other deep learning paradigms. Finally we present some future works in knowledge distillation including explainable knowledge distillation where the analytical analysis of the performance gain is studied and the self-supervised learning which is a hot research topic in deep learning community.


title: On the stability of small-scale ballooning modes in mirror traps

abstract: It is shown that steepening of the radial plasma pressure profile leads to a decrease in the critical value of beta, above which small-scale balloon-type perturbations in a mirror trap become unstable. This means that small-scale ballooning instability leads to a smoothing of the radial plasma profile. This fact seems to have received little attention in the available publications. The critical beta values for the real magnetic field of the gas-dynamic trap was also calculated. In the best configuration the critical beta 0.72 is obtained for a plasma with a parabolic radial pressure profile.


title: Sampled-data control of 2D Kuramoto-Sivashinsky equation

abstract: This paper addresses sampled-data control of 2D Kuramoto-Sivashinsky equation over a rectangular domain. We suggest to divide the 2D rectangular into N sub-domains, where sensors provide spatially averaged or point state measurements to be transmitted through communication network to the controller. Note that differently from 2D heat equation, here we manage with sampled-data control under point measurements. We design a regionally stabilizing controller applied through distributed in space characteristic functions. Sufficient conditions ensuring regional stability of the closed-loop system are established in terms of linear matrix inequalities (LMIs). By solving these LMIs, we find an estimate on the set of initial conditions starting from which the state trajectories of the system are exponentially converging to zero. A numerical example demonstrates the efficiency of the results.


title: Constraints on Nuclear Saturation Properties from Terrestrial Experiments and Astrophysical Observations of Neutron Stars

abstract: Taking into account the terrestrial experiments and the recent astrophysical observations of neutron stars and gravitational-wave signals, we impose restrictions on the equation of state (EoS) for isospin-asymmetric nuclear matter. Using the relativistic mean-field model with SU(3) flavor symmetry, we investigate the impacts of effective nucleon mass, nuclear incompressibility, and slope parameter of nuclear symmetry energy on the nuclear and neutron-star properties. It is found that the astrophysical information of massive neutron stars and tidal deformabilities as well as the nuclear experimental data plays an important role to restrict the EoS for neutron stars. Especially, the softness of the nuclear EoS due to the existence of hyperons in the core gives stringent constraints on those physical quantities. Furthermore, it is possible to put limits on the curvature parameter of nuclear symmetry energy by means of the nuclear and astrophysical calculations.


title: Above-room-temperature giant thermal conductivity switching in spintronic multilayer

abstract: Thermal switching provides an effective way for active heat flow control, which has recently attracted increasing attention in terms of nanoscale thermal management technologies. In magnetic and spintronic materials, the thermal conductivity depends on the magnetization configuration: this is the magneto-thermal resistance effect. Here we show that an epitaxial Cu/Co$_{50}$Fe$_{50}$ multilayer film exhibits giant magnetic-field-induced modulation of the cross-plane thermal conductivity. The magneto-thermal resistance ratio for the Cu/Co$_{50}$Fe$_{50}$ multilayer reaches 150% at room temperature, which is much larger than the previous record high. Although the ratio decreases with increasing the temperature, the giant magneto-thermal resistance effect of ~100% still appears up to 400 K. The magnetic field dependence of the thermal conductivity of the Cu/Co$_{50}$Fe$_{50}$ multilayer was observed to be about twice greater than that of the cross-plane electrical conductivity. The observation of the giant magneto-thermal resistance effect clarifies a potential of spintronic multilayers as thermal switching devices.


title: Sensitivity improvement in hidden photon detection using resonant cavities

abstract: Analogous to the light-shining-through-wall setup proposed for axion-like particle searches, a pair of resonant cavities have been considered to search for an extra U(1) massive gauge boson, called a hidden photon, which mediates the interactions in the hidden sector. We propose a new cavity configuration, consisting of a cylindrical emitter surrounded by a hollow cylindrical detector to remarkably improve experimental sensitivity to hidden photon signals in the $\mu$eV mass range. An extensive study was conducted to find the optimal cavity geometry and resonant mode, which yields the best performance. In addition, a feasible application of superconducting RF technology was explored. We found the integration of these potential improvements will enhance the sensitivity to the effective kinetic mixing parameter between the hidden photon and the Standard Model photon by multiple orders of magnitude.


title: A uniform bound on costs of controlling semilinear heat equations on a sequence of increasing domains and its application

abstract: In this paper, we first prove a uniform upper bound on costs of null controls for semilinear heat equations with globally Lipschitz nonlinearity on a sequence of increasing domains, where the controls are acted on an equidistributed set that spreads out in the whole Euclidean space R^N . As an application, we then show the exactly null controllability for this semilinear heat equation in R^N . The main novelty here is that the upper bound on costs of null controls for such kind of equations in large but bounded domains can be made uniformly with respect to the sizes of domains under consideration. The latter is crucial when one uses a suitable approximation argument to derive the global null controllability for the semilinear heat equation in R^N . This allows us to overcome the well-known problem of the lack of compactness embedding arising in the study of null controllability for nonlinear PDEs in generally unbounded domains.


title: Asymptotics of bordered Toeplitz determinants and next-to-diagonal Ising correlations

abstract: We prove the analogue of the strong Szeg{\H o} limit theorem for a large class of bordered Toeplitz determinants. In particular, by applying our results to the formula of Au-Yang and Perk \cite{YP} for the next-to-diagonal correlations $\langle \sigma_{0,0}\sigma_{N-1,N} \rangle$ in the anisotropic square lattice Ising model, we rigorously justify that the next-to-diagonal long-range order is the same as the diagonal and horizontal ones in the low temperature regime. The anisotropy-dependence of the subleading term in the asymptotics of the next-to-diagonal correlations is also established. We use Riemann-Hilbert and operator theory techniques, independently and in parallel, to prove these results.


title: Solving Yamabe Problem by An Iterative Method

abstract: We introduce an iterative scheme to prove the Yamabe problem $ - a\Delta_{g} u + S u = \lambda u^{p-1} $, firstly on open domain $ (\Omega, g) $ with Dirichlet boundary conditions, and then on closed manifolds $ (M, g) $ by local argument. It is a new proof, which solves the Yamabe problem for $ n \geqslant 3 $ in a uniform argument, beyonds the traditional analysis with respect to the minimization of functionals.


title: Learnable Motion Coherence for Correspondence Pruning

abstract: Motion coherence is an important clue for distinguishing true correspondences from false ones. Modeling motion coherence on sparse putative correspondences is challenging due to their sparsity and uneven distributions. Existing works on motion coherence are sensitive to parameter settings and have difficulty in dealing with complex motion patterns. In this paper, we introduce a network called Laplacian Motion Coherence Network (LMCNet) to learn motion coherence property for correspondence pruning. We propose a novel formulation of fitting coherent motions with a smooth function on a graph of correspondences and show that this formulation allows a closed-form solution by graph Laplacian. This closed-form solution enables us to design a differentiable layer in a learning framework to capture global motion coherence from putative correspondences. The global motion coherence is further combined with local coherence extracted by another local layer to robustly detect inlier correspondences. Experiments demonstrate that LMCNet has superior performances to the state of the art in relative camera pose estimation and correspondences pruning of dynamic scenes.


title: Stable Solar Periodicities: The Time Stability

abstract: We show that while the Fourier transform can figure only an "intensity" of a periodic signal, there is an additional information embedded, which is a "coherence" of the signal. Supposing that the periodicity is reflected only on the "coherence," we introduce a time stability as a measure of "coherence" excluding the "intensity," i.e. amplitude of signal. In stead of classical strength-based significance, where strength implies the power or amplitude, we adopt a stability-based significance as criterion to choose cycles in a random signal. We inspect the time-stable solar periodicities and show that most periodicities discovered in exterior solar activities such as the solar wind inhere in interior solar activity such as the sunspot and that the time stability can be an effective tool in spectral analysis of stochastic solar activity.


title: Deep Implicit Templates for 3D Shape Representation

abstract: Deep implicit functions (DIFs), as a kind of 3D shape representation, are becoming more and more popular in the 3D vision community due to their compactness and strong representation power. However, unlike polygon mesh-based templates, it remains a challenge to reason dense correspondences or other semantic relationships across shapes represented by DIFs, which limits its applications in texture transfer, shape analysis and so on. To overcome this limitation and also make DIFs more interpretable, we propose Deep Implicit Templates, a new 3D shape representation that supports explicit correspondence reasoning in deep implicit representations. Our key idea is to formulate DIFs as conditional deformations of a template implicit function. To this end, we propose Spatial Warping LSTM, which decomposes the conditional spatial transformation into multiple affine transformations and guarantees generalization capability. Moreover, the training loss is carefully designed in order to achieve high reconstruction accuracy while learning a plausible template with accurate correspondences in an unsupervised manner. Experiments show that our method can not only learn a common implicit template for a collection of shapes, but also establish dense correspondences across all the shapes simultaneously without any supervision.


title: Parton Interpretation and Twist-4 Parton Distributions

abstract: Through explicit examples we show that twist-4 parton distributions have no parton interpretation in the sense that parton or partons inside a hadron can carry the momentum fraction $x$ of the hadron with $x >1$ or $x<-1$. The studied twist-4 parton distributions of collinear factoization are power-divergent for $\vert x\vert >1$. The corresponding transverse momentum dependent parton distributions have also no parton interpretation. They are finite. The implications of our results are discussed.


title: First-principles investigation of magnetic and transport properties in hole-doped shandite compounds Co$_3$In$_x$Sn$_{2-x}$S$_2$

abstract: Co-based shandite Co$_3$Sn$_2$S$_2$ is a representative example of magnetic Weyl semimetals showing rich transport phenomena. We thoroughly investigate magnetic and transport properties of hole-doped shandites Co$_3$In$_x$Sn$_{2-x}$S$_2$ by first-principles calculations. The calculations reproduce nonlinear reduction of anomalous Hall conductivity with doping In for Co$_3$Sn$_2$S$_2$, as reported in experiments, against the linearly decreased ferromagnetic moment within virtual crystal approximation. We show that a drastic change in the band parity character of Fermi surfaces, attributed to the nodal rings lifted energetically with In-doping, leads to strong enhancement of anomalous Nernst conductivity with reversing its sign in Co$_3$In$_x$Sn$_{2-x}$S$_2$.


title: Effective gain and Ion Back Flow study of triple and quadruple gem detector

abstract: Gas electron Multipliers (GEM) are a new generation of gaseous avalanche devices in the Micro Patterned Gaseous Detector category. GEMs are widely used in both nuclear and high energy experiments as well as in medical science. Several parameters define the performance of these types of devices under various experimental conditions. This article focuses on the study of effective gain and Ion Back Flow (IBF) in both triple and quadruple GEM detectors. Effective gain and IBF are two of the most important parameters in determining the performance of GEM detectors.


title: Numerical modeling of bubble-particle interaction in a volume-of-fluid framework

abstract: A numerical method is presented to simulate gas-liquid-solid flows with bubble-particle interaction, including particle collision, sliding, and attachment. Gas-liquid flows are simulated in an Eulerian framework using a volume-of-fluid method. Particle motions are predicted in a Lagrangian framework. Algorithms that are used to detect collision and determine the sliding or attachment of the particle are developed. An effective bubble is introduced to model these bubble-particle interaction. The proposed numerical method is validated through experimental cases that entail the rising of a single bubble with particles. Collision and attachment probabilities obtained from the simulation are compared to model and experimental results based on bubble diameters, particle diameters, and contact angles. The particle trajectories near the bubble are presented to show differences with and without the proposed bubble-particle interaction model. The sliding and attachment of the colliding particle are observed using this model.


title: How to Sell Information Optimally: an Algorithmic Study

abstract: We investigate the algorithmic problem of selling information to agents who face a decision-making problem under uncertainty. We adopt the model recently proposed by Bergemann et al. [BBS18], in which information is revealed through signaling schemes called experiments. In the single-agent setting, any mechanism can be represented as a menu of experiments. Our results show that the computational complexity of designing the revenue-optimal menu depends heavily on the way the model is specified. When all the parameters of the problem are given explicitly, we provide a polynomial time algorithm that computes the revenue-optimal menu. For cases where the model is specified with a succinct implicit description, we show that the tractability of the problem is tightly related to the efficient implementation of a Best Response Oracle: when it can be implemented efficiently, we provide an additive FPTAS whose running time is independent of the number of actions. On the other hand, we provide a family of problems, where it is computationally intractable to construct a best response oracle, and we show that it is NP-hard to get even a constant fraction of the optimal revenue. Moreover, we investigate a generalization of the original model by Bergemann et al. [BBS18] that allows multiple agents to compete for useful information. We leverage techniques developed in the study of auction design (see e.g. [CDW12a], [AFHHM12], [CDW12b], [CDW13a], [CDW13b]) to design a polynomial time algorithm that computes the revenue-optimal mechanism for selling information.


title: A reputation game on cyber-security and cyber-risk calibration

abstract: To analyze strategic interactions arising in the cyber-security context, we develop a new reputation game model in which an attacker can pretend to be a normal user and a defender may have to announce attack detection at a certain point of time without knowing whether he has been attacked. We show the existence and uniqueness of sequential equilibrium in Markov strategies, and explicitly characterize the players' equilibrium strategies. Using our model, we suggest empirical and theoretical ways of calibrating the attack probability, which is an important element of cyber-risks.


title: Gradient Sparsification Can Improve Performance of Differentially-Private Convex Machine Learning

abstract: We use gradient sparsification to reduce the adverse effect of differential privacy noise on performance of private machine learning models. To this aim, we employ compressed sensing and additive Laplace noise to evaluate differentially-private gradients. Noisy privacy-preserving gradients are used to perform stochastic gradient descent for training machine learning models. Sparsification, achieved by setting the smallest gradient entries to zero, can reduce the convergence speed of the training algorithm. However, by sparsification and compressed sensing, the dimension of communicated gradient and the magnitude of additive noise can be reduced. The interplay between these effects determines whether gradient sparsification improves the performance of differentially-private machine learning models. We investigate this analytically in the paper. We prove that, for small privacy budgets, compression can improve performance of privacy-preserving machine learning models. However, for large privacy budgets, compression does not necessarily improve the performance. Intuitively, this is because the effect of privacy-preserving noise is minimal in large privacy budget regime and thus improvements from gradient sparsification cannot compensate for its slower convergence.


title: Performance Analysis of Cell Free Massive MIMO systems in LoS/ NLoS Channels

abstract: In cellular communication systems, it is conventional to assume the absence of a line of sight (LoS) path between the users and their associated access points (APs). This assumption however becomes questionable in the context of recent developments in the direction of cell free (CF) massive MIMO systems. In the CF massive MIMO, the AP density is assumed to be comparable with the user density, which increases probability of existence of an LoS path between the users and their associated APs. In this paper, we analyze the performance of an uplink CF massive MIMO system, with a probabilistic LoS channel model. Here, we first derive the effective statistics of this channel model, and argue that their behaviour is fundamentally different from that of the conventional rich scattering channels. Utilizing these statistics, we next compare the rates achievable by CF massive MIMO systems, under both stream-wise and joint decoding at the central processing unit. Following this, we also discuss the centralized MMSE based data detection to obtain a complexity/ performance trade-off. Finally, using detailed Monte-Carlo simulations, we validate our analytical results, and evaluate the performance of the three data detection schemes.


title: DUT: Learning Video Stabilization by Simply Watching Unstable Videos

abstract: Previous deep learning-based video stabilizers require a large scale of paired unstable and stable videos for training, which are difficult to collect. Traditional trajectory-based stabilizers, on the other hand, divide the task into several sub-tasks and tackle them subsequently, which are fragile in textureless and occluded regions regarding the usage of hand-crafted features. In this paper, we attempt to tackle the video stabilization problem in a deep unsupervised learning manner, which borrows the divide-and-conquer idea from traditional stabilizers while leveraging the representation power of DNNs to handle the challenges in real-world scenarios. Technically, DUT is composed of a trajectory estimation stage and a trajectory smoothing stage. In the trajectory estimation stage, we first estimate the motion of keypoints, initialize and refine the motion of grids via a novel multi-homography estimation strategy and a motion refinement network, respectively, and get the grid-based trajectories via temporal association. In the trajectory smoothing stage, we devise a novel network to predict dynamic smoothing kernels for trajectory smoothing, which can well adapt to trajectories with different dynamic patterns. We exploit the spatial and temporal coherence of keypoints and grid vertices to formulate the training objectives, resulting in an unsupervised training scheme. Experiment results on public benchmarks show that DUT outperforms state-of-the-art methods both qualitatively and quantitatively. The source code is available at https://github.com/Annbless/DUTCode.


title: A Survey on Centrality Metrics and Their Implications in Network Resilience

abstract: Centrality metrics have been used in various networks, such as communication, social, biological, geographic, or contact networks. In particular, they have been used in order to study and analyze targeted attack behaviors and investigated their effect on network resilience. Although a rich volume of centrality metrics has been developed for decades, a limited set of centrality metrics have been commonly in use. This paper aims to introduce various existing centrality metrics and discuss their applicabilities and performance based on the results obtained from extensive simulation experiments to encourage their use in solving various computing and engineering problems in networks.


title: Nonlinear squeezing for measurement-based non-Gaussian operations in time domain

abstract: Quantum non-Gaussian gate is a missing piece to the realization of continuous-variable universal quantum operations in the optical system. In a measurement-based implementation of the cubic phase gate, a lowest-order non-Gaussian gate, non-Gaussian ancillary states that has a property we call nonlinear squeezing are required. This property, however, has never been experimentally verified. In this paper, we generate a superposition between a vacuum state and a single photon state whose nonlinear squeezing are maximized by the optimization of the superposition coefficients. The nonlinear squeezing is observed via real-time quadrature measurements, meaning that the generated states are compatible with the real-time feedforward and are suitable as the ancillary states for the cubic phase gate in time domain. Moreover, by increasing the number of the photons, it is expected that nonlinear squeezing can be further improved. The idea presented here can be readily extended to the higher-order phase gates [P. Marek et al., Phys. Rev. A 97, 022329 (2018)]. As such, this work presents an important step to extend the CV quantum information processing from Gaussian regime to non-Gaussian regime.


title: Realizable Sticky Matroid Conjecture

abstract: We give a criterion for modular extension of rank-4 hypermodular matroids, and prove a weakening of Kantor's conjecture for rank-4 realizable matroids. This proves the sticky matroid conjecture and Kantor's conjecture for realizable matroids due to an argument of Bachem, Kern, and Bonin, and due to an equivalence argument of Hochstattler and Wilhelmi, respectively.


title: Where Should We Begin? A Low-Level Exploration of Weight Initialization Impact on Quantized Behaviour of Deep Neural Networks

abstract: With the proliferation of deep convolutional neural network (CNN) algorithms for mobile processing, limited precision quantization has become an essential tool for CNN efficiency. Consequently, various works have sought to design fixed precision quantization algorithms and quantization-focused optimization techniques that minimize quantization induced performance degradation. However, there is little concrete understanding of how various CNN design decisions/best practices affect quantized inference behaviour. Weight initialization strategies are often associated with solving issues such as vanishing/exploding gradients but an often-overlooked aspect is their impact on the final trained distributions of each layer. We present an in-depth, fine-grained ablation study of the effect of different weights initializations on the final distributions of weights and activations of different CNN architectures. The fine-grained, layerwise analysis enables us to gain deep insights on how initial weights distributions will affect final accuracy and quantized behaviour. To our best knowledge, we are the first to perform such a low-level, in-depth quantitative analysis of weights initialization and its effect on quantized behaviour.


title: End-to-End 3D Point Cloud Learning for Registration Task Using Virtual Correspondences

abstract: 3D Point cloud registration is still a very challenging topic due to the difficulty in finding the rigid transformation between two point clouds with partial correspondences, and it's even harder in the absence of any initial estimation information. In this paper, we present an end-to-end deep-learning based approach to resolve the point cloud registration problem. Firstly, the revised LPD-Net is introduced to extract features and aggregate them with the graph network. Secondly, the self-attention mechanism is utilized to enhance the structure information in the point cloud and the cross-attention mechanism is designed to enhance the corresponding information between the two input point clouds. Based on which, the virtual corresponding points can be generated by a soft pointer based method, and finally, the point cloud registration problem can be solved by implementing the SVD method. Comparison results in ModelNet40 dataset validate that the proposed approach reaches the state-of-the-art in point cloud registration tasks and experiment resutls in KITTI dataset validate the effectiveness of the proposed approach in real applications.Our source code is available at \url{https://github.com/qiaozhijian/VCR-Net.git}


title: Robust and Private Learning of Halfspaces

abstract: In this work, we study the trade-off between differential privacy and adversarial robustness under L2-perturbations in the context of learning halfspaces. We prove nearly tight bounds on the sample complexity of robust private learning of halfspaces for a large regime of parameters. A highlight of our results is that robust and private learning is harder than robust or private learning alone. We complement our theoretical analysis with experimental results on the MNIST and USPS datasets, for a learning algorithm that is both differentially private and adversarially robust.


title: Some Serrin type blow-up criteria for the three-dimensional viscous compressible flows with large external potential force

abstract: We provide a Serrin type blow-up criterion for the 3-D viscous compressible flows with large external potential force. For the Cauchy problem of the 3-D compressible Navier-Stokes system with potential force term, it can be proved that the strong solution exists globally if the velocity satisfies the Serrin's condition and the sup-norm of the density is bounded. Furthermore, in the case of isothermal flows with no vacuum, the Serrin's condition on the velocity can be removed from the claimed criterion.


title: Polar-Cap Codebook Design for MISO Rician Fading Channels with Limited Feedback

abstract: Most of the prior works on designing codebooks for limited feedback systems have not considered the presence of strong line-of-sight (LOS) channel component. This paper proposes the design of polar-cap codebook (PCC) for multipleinput single-output (MISO) limited feedback systems subject to Rician fading channels. The codewords of the designed PCC are adaptively constructed according to the instantaneous strength of the LOS channel component. Simulation results show that the codebook can significantly enhance the performance of transmit beamforming in terms of received signal-to-noise ratio (SNR).


title: A Rigorous Theory of Prethermalization without Temperature

abstract: Prethermalization refers to the physical phenomenon where a system evolves toward some long-lived non-equilibrium steady state before eventual thermalization sets in. One general scenario where this occurs is in driven systems with dynamics governed by an effective Hamiltonian (in some rotating frame), such that ergodicity of the latter is responsible for the approach to the prethermal state. This begs the question whether it is possible to have a prethermal state not associated to any effective Hamiltonian. Here, we answer this question in the affirmative. We exhibit a natural class of systems in which the prethermal state is defined by emergent, global symmetries, but where the dynamics that takes the system to this state has no additional conservation laws, in particular energy. We explain how novel prethermal phases of matter can nevertheless emerge under such settings, distinct from those previously discussed.

categories: quant-ph cond-mat.stat-mech cond-mat.str-el math-ph math.MP


title: ScaleNAS: One-Shot Learning of Scale-Aware Representations for Visual Recognition

abstract: Scale variance among different sizes of body parts and objects is a challenging problem for visual recognition tasks. Existing works usually design dedicated backbone or apply Neural architecture Search(NAS) for each task to tackle this challenge. However, existing works impose significant limitations on the design or search space. To solve these problems, we present ScaleNAS, a one-shot learning method for exploring scale-aware representations. ScaleNAS solves multiple tasks at a time by searching multi-scale feature aggregation. ScaleNAS adopts a flexible search space that allows an arbitrary number of blocks and cross-scale feature fusions. To cope with the high search cost incurred by the flexible space, ScaleNAS employs one-shot learning for multi-scale supernet driven by grouped sampling and evolutionary search. Without further retraining, ScaleNet can be directly deployed for different visual recognition tasks with superior performance. We use ScaleNAS to create high-resolution models for two different tasks, ScaleNet-P for human pose estimation and ScaleNet-S for semantic segmentation. ScaleNet-P and ScaleNet-S outperform existing manually crafted and NAS-based methods in both tasks. When applying ScaleNet-P to bottom-up human pose estimation, it surpasses the state-of-the-art HigherHRNet. In particular, ScaleNet-P4 achieves 71.6% AP on COCO test-dev, achieving new state-of-the-art result.


title: Just One Moment: Structural Vulnerability of Deep Action Recognition against One Frame Attack

abstract: The video-based action recognition task has been extensively studied in recent years. In this paper, we study the structural vulnerability of deep learning-based action recognition models against the adversarial attack using the one frame attack that adds an inconspicuous perturbation to only a single frame of a given video clip. Our analysis shows that the models are highly vulnerable against the one frame attack due to their structural properties. Experiments demonstrate high fooling rates and inconspicuous characteristics of the attack. Furthermore, we show that strong universal one frame perturbations can be obtained under various scenarios. Our work raises the serious issue of adversarial vulnerability of the state-of-the-art action recognition models in various perspectives.


title: FactorizeNet: Progressive Depth Factorization for Efficient Network Architecture Exploration Under Quantization Constraints

abstract: Depth factorization and quantization have emerged as two of the principal strategies for designing efficient deep convolutional neural network (CNN) architectures tailored for low-power inference on the edge. However, there is still little detailed understanding of how different depth factorization choices affect the final, trained distributions of each layer in a CNN, particularly in the situation of quantized weights and activations. In this study, we introduce a progressive depth factorization strategy for efficient CNN architecture exploration under quantization constraints. By algorithmically increasing the granularity of depth factorization in a progressive manner, the proposed strategy enables a fine-grained, low-level analysis of layer-wise distributions. Thus enabling the gain of in-depth, layer-level insights on efficiency-accuracy tradeoffs under fixed-precision quantization. Such a progressive depth factorization strategy also enables efficient identification of the optimal depth-factorized macroarchitecture design (which we will refer to here as FactorizeNet) based on the desired efficiency-accuracy requirements.


title: Discretization of a distributed optimal control problem with a stochastic parabolic equation driven by multiplicative noise

abstract: A discretization of an optimal control problem of a stochastic parabolic equation driven by multiplicative noise is analyzed. The state equation is discretized by the continuous piecewise linear element method in space and by the backward Euler scheme in time. The convergence rate $ O(\tau^{1/2} + h^2) $ is rigorously derived.


title: Graphene on two-dimensional hexagonal BN, AlN, and GaN: Electronic, spin-orbit, and spin relaxation properties

abstract: We investigate the electronic structure of graphene on a series of 2D hexagonal nitride insulators hXN, X = B, Al, and Ga, with DFT calculations. A symmetry-based model Hamiltonian is employed to extract orbital parameters and spin-orbit coupling (SOC) from the low-energy Dirac bands of proximitized graphene. While commensurate hBN induces a staggered potential of about 10 meV into the Dirac bands, less lattice-matched hAlN and hGaN disrupt the Dirac point much less, giving a staggered gap below 100 $\mu$eV. Proximitized intrinsic SOC surprisingly does not increase much above the pristine graphene value of 12 $\mu$eV; it stays in the window of (1-16) $\mu$eV, depending strongly on stacking. However, Rashba SOC increases sharply when increasing the atomic number of the boron group, with calculated maximal values of 8, 15, and 65 $\mu$eV for B, Al, and Ga-based nitrides, respectively. The individual Rashba couplings also depend strongly on stacking, vanishing in symmetrically-sandwiched structures, and can be tuned by a transverse electric field. The extracted spin-orbit parameters were used as input for spin transport simulations based on Chebyshev expansion of the time-evolution of the spin expectation values, yielding interesting predictions for the electron spin relaxation. Spin lifetime magnitudes and anisotropies depend strongly on the specific (hXN)/graphene/hXN system, and they can be efficiently tuned by an applied external electric field as well as the carrier density in the graphene layer. A particularly interesting case for experiments is graphene/hGaN, in which the giant Rashba coupling is predicted to induce spin lifetimes of 1-10 ns, short enough to dominate over other mechanisms, and lead to the same spin relaxation anisotropy as observed in conventional semiconductor heterostructures: 50\%, meaning that out-of-plane spins relax twice as fast as in-plane spins.


title: Monocular 3D Object Detection with Sequential Feature Association and Depth Hint Augmentation

abstract: Monocular 3D object detection, with the aim of predicting the geometric properties of on-road objects, is a promising research topic for the intelligent perception systems of autonomous driving. Most state-of-the-art methods follow a keypoint-based paradigm, where the keypoints of objects are predicted and employed as the basis for regressing the other geometric properties. In this work, a unified network named as FADNet is presented to address the task of monocular 3D object detection. In contrast to previous keypoint-based methods, we propose to divide the output modalities into different groups according to the estimation difficulty of object properties. Different groups are treated differently and sequentially associated by a convolutional Gated Recurrent Unit. Another contribution of this work is the strategy of depth hint augmentation. To provide characterized depth patterns as hints for depth estimation, a dedicated depth hint module is designed to generate row-wise features named as depth hints, which are explicitly supervised in a bin-wise manner. The contributions of this work are validated by conducting experiments and ablation study on the KITTI benchmark. Without utilizing depth priors, post optimization, or other refinement modules, our network performs competitively against state-of-the-art methods while maintaining a decent running speed.


title: Detecting the pure triangle sigularity effect through the $\psi(2S) \to p \bar{p} \eta / p \bar{p} \pi^0$ process

abstract: In this work, the triangle singularity mechanism is investigated in the $\psi(2S) \to p \bar{p} \eta / p \bar{p} \pi^0$ process. The triangle loop composed by $J/\psi$, $\eta$ and $p$ has a singularity in the physical kinematic range for the $\psi(2S) \to p \bar{p} \eta / p \bar{p} \pi^0$ process, and it would generate a very narrow peak in the invariant mass spectrum of $p\eta (\pi)$ around $1.56387$ GeV, which is far away from both the threshold and relative resonances. In these processes, all the involved vertices are constrained by the experimental data. Thus, we can make a precise model independent prediction here. It turns out that the peak in the $p\eta$ invariant mass spectrum is visible, while it is very small in the $p\pi^0$ invariant mass spectrum. We expect this effect shown in $p \bar{p} \eta$ final state can be observed by the Beijing Spectrometer (BESIII) and Super Tau-Charm Facility (STCF) in the future.


title: Stability Results Of Small Diameter Properties In Banach Spaces

abstract: The geometric notion of huskability initiated and developed in [B3], [BR] ,[EW], [GM] was subsequently extensively studied in the context of dentability and Radon Nikodym Property in [GGMS]. In this work, we introduce a new geometric property of Banach space, the Ball Huskable Property ($BHP$), namely, the unit ball has relatively weakly open subsets of arbitrarily small diameter. We compare this property to two related geometric properties, $BSCSP$ namely, the unit ball has convex combination of slices of arbitrarily small diameter and $BDP$ namely, the closed unit ball has slices of arbitrarily small diameter. We show $BDP$ implies $BHP$ which in turn implies $BSCSP$ and none of the implications can be reversed. We prove similar results for the $w^*$-versions. We prove that all these properties are stable under $l_p$ sum for $1\leq p \leq \infty$. These stability results lead to a discussion in the context of ideals of Banach spaces. We prove that $BSCSP$ (respectively $BHP$, $BDP$) can be lifted from an M-Ideal to the whole space. We also show similar results for strict ideals. We note that the space $C(K,X)^*$ has $w^*$-$BSCSP$ (respectively $w^*$-$BHP$, $w^*$-$BDP$) when K is dispersed and $X^*$has the $w^*$-$BSCSP$ (respectivley $w^*$-$BHP$, $w^*$-$BDP$).


title: Examining the assembly pathways and active microtubule mechanics underlying spindle self-organization

abstract: The bipolar organization of the microtubule-based mitotic spindle is essential for the faithful segregation of chromosomes in cell division. Despite our extensive knowledge of genes and proteins, the physical mechanism of how the ensemble of microtubules can assemble into a proper bipolar shape remains elusive. Here, we study the pathways of spindle self-organization using cell-free Xenopus egg extracts and computer-based automated shape analysis. Our microscopy assay allows us to simultaneously record the growth of hundreds of spindles in the bulk cytoplasm and systematically analyze the shape of each structure over the course of self-organization. We find that spindles that are maturing into a bipolar shape take a route that is distinct from those ending up with faulty structures, such as those of a tripolar shape. Moreover, matured structures are highly stable with little occasions of transformation between different shape phenotypes. Visualizing the movement of microtubules further reveals a fraction of microtubules that assemble between extra poles and push the poles apart, suggesting the presence of active extensile force that prevents pole coalescence. Together, we propose that a proper control over the magnitude and location of the extensile, pole-pushing force is crucial for establishing spindle bipolarity while preventing multipolarity.


title: Incremental Learning via Rate Reduction

abstract: Current deep learning architectures suffer from catastrophic forgetting, a failure to retain knowledge of previously learned classes when incrementally trained on new classes. The fundamental roadblock faced by deep learning methods is that deep learning models are optimized as "black boxes," making it difficult to properly adjust the model parameters to preserve knowledge about previously seen data. To overcome the problem of catastrophic forgetting, we propose utilizing an alternative "white box" architecture derived from the principle of rate reduction, where each layer of the network is explicitly computed without back propagation. Under this paradigm, we demonstrate that, given a pre-trained network and new data classes, our approach can provably construct a new network that emulates joint training with all past and new classes. Finally, our experiments show that our proposed learning algorithm observes significantly less decay in classification performance, outperforming state of the art methods on MNIST and CIFAR-10 by a large margin and justifying the use of "white box" algorithms for incremental learning even for sufficiently complex image data.


title: A CRF-based Framework for Tracklet Inactivation in Online Multi-Object Tracking

abstract: Online multi-object tracking (MOT) is an active research topic in the domain of computer vision. Although many previously proposed algorithms have exhibited decent results, the issue of tracklet inactivation has not been sufficiently studied. Simple strategies such as using a fixed threshold on classification scores are adopted, yielding undesirable tracking mistakes and limiting the overall performance. In this paper, a conditional random field (CRF) based framework is put forward to tackle the tracklet inactivation issue in online MOT problems. A discrete CRF which exploits the intra-frame relationship between tracking hypotheses is developed to improve the robustness of tracklet inactivation. Separate sets of feature functions are designed for the unary and binary terms in the CRF, which take into account various tracking challenges in practical scenarios. To handle the problem of varying CRF nodes in the MOT context, two strategies named as hypothesis filtering and dummy nodes are employed. In the proposed framework, the inference stage is conducted by using the loopy belief propagation algorithm, and the CRF parameters are determined by utilizing the maximum likelihood estimation method followed by slight manual adjustment. Experimental results show that the tracker combined with the CRF-based framework outperforms the baseline on the MOT16 and MOT17 benchmarks. The extensibility of the proposed framework is further validated by an extensive experiment.


title: Effective Field Theory of Distorted-Photonic Crystal: Exact Solutions of the Geodesics Equation

abstract: Photonic crystals are periodic structure of dielectric materials that can control light propagations in the media because of their photonic-dispersion led by the well-ordered lattice-points arrangements. We here study the behavior of light propagation in distorted-photonic crystals (D-PCs), which possess the gradual spatial distortion of lattice-points positions, as the effective field theory in terms of the differential geometry. In order to investigate the trajectory of light ray in the D-PC, we derive the geodesics equation that is given from the principle of least action, with defining the metric tensor in terms of the lattice-positions distortion. The geodesics equation indicates that the trajectory can be bent by just introducing lattice-positions distortion. We show some exact solutions of the trajectory in the case of simple distortion and that those results well agree with the results of the Finite Difference Time Domain (FDTD) simulations.


title: Calculation of the one loop box integral at Finite Temperature and Density

abstract: Calculation of hadronization, decay or scattering processes at non-zero temperatures and densities within the Nambu-Jona-Lasinio-like models requires some techniques for computation of Feynmann diagrams. Decomposition of Feynman diagrams at the one loop level leads to the appearance of elementary integrals with one, two, three, and four fermion lines. For example, evaluation of the $\pi\pi$ scattering amplitude requires calculating a box diagram with four fermion lines. In this work, the real and imaginary parts of the box integral at the one loop level are provided in the form suitable for numerical evaluation. The obtained expressions are applicable to any value of temperature, particle mass, and chemical potential. We pay special attention to the conditions for the existence of the appearing improper integrals and correct the results \cite{Klevansky} for the three fermion lines. As a result, we have obtained constraints on possible values of particle momenta. Among the expressions for the box integral, the general formulas for the integral with an arbitrary number of lines are derived for the case with zero or collinear fermion momenta.


title: A Survey on Deep Learning for Software Engineering

abstract: In 2006, Geoffrey Hinton proposed the concept of training ''Deep Neural Networks (DNNs)'' and an improved model training method to break the bottleneck of neural network development. More recently, the introduction of AlphaGo in 2016 demonstrated the powerful learning ability of deep learning and its enormous potential. Deep learning has been increasingly used to develop state-of-the-art software engineering (SE) research tools due to its ability to boost performance for various SE tasks. There are many factors, e.g., deep learning model selection, internal structure differences, and model optimization techniques, that may have an impact on the performance of DNNs applied in SE. Few works to date focus on summarizing, classifying, and analyzing the application of deep learning techniques in SE. To fill this gap, we performed a survey to analyse the relevant studies published since 2006. We first provide an example to illustrate how deep learning techniques are used in SE. We then summarize and classify different deep learning techniques used in SE. We analyzed key optimization technologies used in these deep learning models, and finally describe a range of key research topics using DNNs in SE. Based on our findings, we present a set of current challenges remaining to be investigated and outline a proposed research road map highlighting key opportunities for future work.


title: Video Self-Stitching Graph Network for Temporal Action Localization

abstract: Temporal action localization (TAL) in videos is a challenging task, especially due to the large variation in action temporal scales. Short actions usually occupy a major proportion in the datasets, but tend to have the lowest performance. In this paper, we confront the challenge of short actions and propose a multi-level cross-scale solution dubbed as video self-stitching graph network (VSGN). We have two key components in VSGN: video self-stitching (VSS) and cross-scale graph pyramid network (xGPN). In VSS, we focus on a short period of a video and magnify it along the temporal dimension to obtain a larger scale. We stitch the original clip and its magnified counterpart in one input sequence to take advantage of the complementary properties of both scales. The xGPN component further exploits the cross-scale correlations by a pyramid of cross-scale graph networks, each containing a hybrid module to aggregate features from across scales as well as within the same scale. Our VSGN not only enhances the feature representations, but also generates more positive anchors for short actions and more short training samples. Experiments demonstrate that VSGN obviously improves the localization performance of short actions as well as achieving the state-of-the-art overall performance on THUMOS-14 and ActivityNet-v1.3.


title: On the Challenges of Detecting Side-Channel Attacks in SGX

abstract: Existing tools to detect side-channel attacks on Intel SGX are grounded on the observation that attacks affect the performance of the victim application. As such, all detection tools monitor the potential victim and raise an alarm if the witnessed performance (in terms of runtime, enclave interruptions, cache misses, etc.) is out of the ordinary. In this paper, we show that monitoring the performance of enclaves to detect side-channel attacks may not be effective. Our core intuition is that all monitoring tools are geared towards an adversary that interferes with the victim's execution in order to extract the most number of secret bits (e.g., the entire secret) in one or few runs. They cannot, however, detect an adversary that leaks smaller portions of the secret - as small as a single bit - at each execution of the victim. In particular, by minimizing the information leaked at each run, the impact of any side-channel attack on the application's performance is significantly lowered - ensuring that the detection tool does not detect an attack. By repeating the attack multiple times, each time on a different part of the secret, the adversary can recover the whole secret and remain undetected. Based on this intuition, we adapt known attacks leveraging page-tables and L3 cache to bypass existing detection mechanisms. We show experimentally how an attacker can successfully exfiltrate the secret key used in an enclave running various cryptographic routines of libgcrypt. Beyond cryptographic libraries, we also show how to compromise the predictions of enclaves running decision-tree routines of OpenCV. Our evaluation results suggest that performance-based detection tools do not deter side-channel attacks on SGX enclaves and that effective detection mechanisms are yet to be designed.


title: Sideband transitions in a two-mode Josephson circuit driven beyond the rotating wave approximation

abstract: Driving quantum systems periodically in time plays an essential role in the coherent control of quantum states. The rotating wave approximation (RWA) is a good approximation technique for weak and nearly-resonance driven fields. However, these experiments sometimes require large detuning and strong driving fields, for which the RWA may not hold. In this work, we experimentally, numerically, and analytically explore strongly driven two-mode Josephson circuits in the regime of strong driving and large detuning. Specifically, we investigate beam-splitter and two-mode squeezing interaction between the two modes induced by driving a two-photon sideband transition. Using numerical simulations, we observe that the RWA is unable to correctly capture the amplitude of the sideband transition rates. We verify this finding using an analytical model that is based on perturbative corrections. We find that the breakdown of the RWA in the regime studied does not lead to qualitatively different dynamics, but gives the same results as the RWA theory at higher drive strengths, enhancing the coupling rates compared to what one would predict. This is an interesting consequence compared to the carrier transition case, where the breakdown of the RWA results in qualitatively different time evolution of the quantum state. Our work provides an insight into the behavior of time-periodically driven systems beyond the RWA. We also provide a robust theoretical framework for including these findings in the calculation and calibration of quantum protocols in circuit quantum electrodynamics.


title: On Petersson's partition limit formula

abstract: For each prime $p\equiv 1\pmod{4}$ consider the Legendre character $\chi=(\frac{\cdot}{p})$. Let $p_\pm(n)$ be the number of partitions of $n$ into parts $\lambda>0$ such that $\chi(\lambda)=\pm 1$. Petersson proved a beautiful limit formula for the ratio of $p_+(n)$ to $p_-(n)$ as $n\to\infty$ expressed in terms of important invariants of the real quadratic field $\mathbb{Q}(\sqrt{p})$. But his proof is not illuminating and Grosswald conjectured a more natural proof using a Tauberian converse of the Stolz-Ces\`aro theorem. In this paper we suggest an approach to address Grosswald's conjecture. We discuss a monotonicity conjecture which looks quite natural in the context of the monotonicity theorems of Bateman-Erd\H{o}s.


title: Strictly incoherent operations for one-qubit systems

abstract: Strictly incoherent operations (SIO) proposed in [Phys. Rev. Lett. 116, 120404 (2016)] are promising to be a good candidate of free operations in the resource theory of quantum coherence, setting against the central role of local operations and classical communication in the resource theory of quantum entanglement. An important open problem is an efficient description for strictly incoherent operations in physical region. Such a description plays key role for axiomatic study of resource theory of quantum coherence. We are aimed to give a structural characterization of bistochastic SIOs in terms of Pauli operators and the Phase operator for one-qubit systems. Some applications of our results are also sketched in reconstructing quantum thermal averages via a quantum computer and in coherence manipulation.


title: REaL: Real-time Face Detection and Recognition Using Euclidean Space and Likelihood Estimation

abstract: Detecting and recognizing faces accurately has always been a challenge. Differentiating facial features, training images, and producing quick results require a lot of computation. The REaL system we have proposed in this paper discusses its functioning and ways in which computations can be carried out in a short period. REaL experiments are carried out on live images and the recognition rates are promising. The system is also successful in removing non-human objects from its calculations. The system uses a local database to store captured images and feeds the neural network frequently. The captured images are cropped automatically to remove unwanted noise. The system calculates the Euler angles and the probability of whether the face is smiling, has its left eye, and right eyes open or not.


title: Factor maps for automorphism groups via Cayley diagrams

abstract: A Cayley diagram is an edge labelling of a Cayley graph $G=(\Gamma, E)$ by elements of the generating set $E$ so that the cycles correspond exactly to paths labelled by relations in $\Gamma$. We show that if $G$ admits an $\operatorname{Aut}(G)$-f.i.i.d. Cayley diagram, then any $\Gamma$-f.i.i.d. solution to a local labelling problem lifts to an $\operatorname{Aut}(G)$-f.i.i.d. solution, and that approximate solutions lift similarly given an approximate Cayley diagram. We also establish a number of results on which graphs admit such a Cayley diagram. We show that regular trees and Cayley graphs of amenable groups always admit $\operatorname{Aut}(G)$-f.i.i.d. approximate Cayley diagrams, and that torsion-free nilpotent groups never admit nontrivial $\operatorname{Aut}(G)$-f.i.i.d. Cayley diagrams. Finally, we construct a Cayley graph with a $\Gamma$-f.i.i.d. 3-colorings that does not lift to even an approximate $\operatorname{Aut}(G)$-f.i.i.d. 3-coloring. Our construction also answers a question of Weilacher.