title: Tail Measures and Regular Variation

abstract: A general framework for the study of regular variation (RV) is that of Polish star-shaped metric spaces, while recent developments in [1] have discussed RV with respect to some properly localised boundedness $\mathcal{B}$ imposing weak assumptions on the structure of Polish space. Along the lines of the latter approach, we discuss the RV of Borel measures and random processes on general Polish metric spaces. Tail measures introduced in [2] appear naturally as limiting measures of regularly varying time series. We define tail measures on a measurable space indexed by $\mathcal{H}(D)$, a countable family of homogeneous coordinate maps, and show some tractable instances for the investigation of RV when $\mathcal{B}$ is determined by $\mathcal{H}(D)$. This allows us to study the regular variation of cadlag processes on $D(R^l, R^d)$ retrieving in particular results obtained in [1] for RV of stationary cadlag processes on the real line removing $l=1$ therein. Further, we discuss potential applications and open questions.


title: Intrinsic metrics under conformal and quasiregular mappings

abstract: The distortion of six different intrinsic metrics and quasi-metrics under conformal and quasiregular mappings is studied in a few simple domains $G\subsetneq\mathbb{R}^n$. The already known inequalities between the hyperbolic metric and these intrinsic metrics for points $x,y$ in the unit ball $\mathbb{B}^n$ are improved by limiting the absolute values of the points $x,y$ and the new results are then used to study the conformal distortion of the intrinsic metrics. For the triangular ratio metric between two points $x,y\in\mathbb{B}^n$, the conformal distortion is bounded in terms of the hyperbolic midpoint and the hyperbolic distance of $x,y$. Furthermore, quasiregular and quasiconformal mappings are studied, and new sharp versions of the Schwarz lemma are introduced.


title: Strong valid inequalities for a class of concave submodular minimization problems under cardinality constraints

abstract: We study the polyhedral convex hull structure of a mixed-integer set which arises in a class of cardinality-constrained concave submodular minimization problems. This class of problems has an objective function in the form of $f(a^\top x)$, where $f$ is a univariate concave function, $a$ is a non-negative vector, and $x$ is a binary vector of appropriate dimension. Such minimization problems frequently appear in applications that involve risk-aversion or economies of scale. We propose three classes of strong valid linear inequalities for this convex hull and specify their facet conditions when $a$ has two distinct values. We show how to use these inequalities to obtain valid inequalities for general $a$ that contains multiple values. We further provide a complete linear convex hull description for this mixed-integer set when $a$ contains two distinct values and the cardinality constraint upper bound is two. Our computational experiments on the mean-risk optimization problem demonstrate the effectiveness of the proposed inequalities in a branch-and-cut framework.


title: Improving Text-to-SQL with Schema Dependency Learning

abstract: Text-to-SQL aims to map natural language questions to SQL queries. The sketch-based method combined with execution-guided (EG) decoding strategy has shown a strong performance on the WikiSQL benchmark. However, execution-guided decoding relies on database execution, which significantly slows down the inference process and is hence unsatisfactory for many real-world applications. In this paper, we present the Schema Dependency guided multi-task Text-to-SQL model (SDSQL) to guide the network to effectively capture the interactions between questions and schemas. The proposed model outperforms all existing methods in both the settings with or without EG. We show the schema dependency learning partially cover the benefit from EG and alleviates the need for it. SDSQL without EG significantly reduces time consumption during inference, sacrificing only a small amount of performance and provides more flexibility for downstream applications.


title: What If We Only Use Real Datasets for Scene Text Recognition? Toward Scene Text Recognition With Fewer Labels

abstract: Scene text recognition (STR) task has a common practice: All state-of-the-art STR models are trained on large synthetic data. In contrast to this practice, training STR models only on fewer real labels (STR with fewer labels) is important when we have to train STR models without synthetic data: for handwritten or artistic texts that are difficult to generate synthetically and for languages other than English for which we do not always have synthetic data. However, there has been implicit common knowledge that training STR models on real data is nearly impossible because real data is insufficient. We consider that this common knowledge has obstructed the study of STR with fewer labels. In this work, we would like to reactivate STR with fewer labels by disproving the common knowledge. We consolidate recently accumulated public real data and show that we can train STR models satisfactorily only with real labeled data. Subsequently, we find simple data augmentation to fully exploit real data. Furthermore, we improve the models by collecting unlabeled data and introducing semi- and self-supervised methods. As a result, we obtain a competitive model to state-of-the-art methods. To the best of our knowledge, this is the first study that 1) shows sufficient performance by only using real labels and 2) introduces semi- and self-supervised methods into STR with fewer labels. Our code and data are available: https://github.com/ku21fan/STR-Fewer-Labels


title: Matched Pair Analysis of Euler-Poincar\'{e} Flow on Hamiltonian Vector Fields

abstract: In this paper we provide a matched pair decomposition of the space of symmetric contravariant tensors $\mathfrak{T}\mathcal{Q}$. From this procedure two complementary Lie subalgebras of $\mathfrak{T}\mathcal{Q}$ under \textit{mutual} interaction arise. Introducing a lift operator, the matched pair decomposition of the space of Hamiltonian vector fields is determined. According to these realizations, Euler-Poincar\'{e} flows on such spaces are decomposed into two subdynamics: one of which is the Euler--Poincar\'{e} formulation of isentropic fluid flows, and the other one corresponds with Euler--Poincar\'{e} equations on higher order contravariant tensors ($n\geq 2$)


title: Polar degree and vanishing cycles

abstract: We prove that the polar degree of an arbitrarily singular projective hypersurface can be decomposed as a sum of non-negative numbers which represent local vanishing cycles of two different types. This yields lower bounds for the polar degree of any singular projective hypersurface.


title: NuSTAR observation of LS 5039

abstract: LS 5039 is a high-mass gamma-ray binary hosting a compact object of unknown type. NuSTAR observed LS 5039 during its entire 3.9 day binary period. We performed a periodic signal search up to 1000 Hz which did not produce credible period candidates. We do see the 9.05 s period candidate, originally reported by Yoneda et al. 2020 using the same data, in the Fourier power spectrum, but we find that the statistical significance of this feature is too low to claim it as a real detection. We also did not find significant bursts or quasi-periodic variability. The modulation with the orbital period is clearly seen and remains unchanged over a decade long timescale when compared to the earlier Suzaku light curve. The joint analysis of the NuSTAR and Suzaku XIS data shows that the 0.7-70 keV spectrum can be satisfactory described by a single absorbed power-law model with no evidence of cutoff at higher energies. The slope of the spectrum anti-correlates with the flux during the binary orbit. Therefore, if LS 5039 hosts a young neutron star, its X-ray pulsations appear to be outshined by the intrabinary shock emission. The lack of spectral lines and/or an exponential cutoff at higher energies suggests that the putative neutron star is not actively accreting. Although a black hole scenario still remains a possibility, the lack of variability or Fe K$\alpha$ lines, which typically accompany accretion, makes it less likely.


title: Homology of polyomino tilings on flat surfaces

abstract: The homology group of a tiling introduced by M. Reid is studied for certain topological tilings. As in the planar case, for finite square grids on topological surfaces, the method of homology groups, namely the non-triviality of some specific element in the group allows a `coloring proof' of impossibility of a tiling. Several results about the non-existence of polyomino tilings on certain square-tiled surfaces are proved in the paper.


title: Revised SCLP-simplex Algorithm with Application to Large-Scale Fluid Processing Networks

abstract: We describe an efficient implementation of a recent simplex-type algorithm for the exact solution of separated continuous linear programs, and compare it with linear programming approximation of these problems obtained via discretization of the time horizon. The implementation overcomes many numerical pitfalls often neglected in theoretical analysis allowing better accuracy or acceleration up to several orders of magnitude both versus previous implementation of the simplex-type algorithms and versus a state-of-the-art LP solver using discretization. Numerical study includes medium, large, and very large examples of scheduling problems and problems of control of fluid processing networks. We discuss online and offline optimization settings for various applications and outline future research directions.


title: Opposite moving detachment waves mediate stick-slip friction at soft interfaces

abstract: Intermittent motion, called stick--slip, is a friction instability that commonly occurs during relative sliding of two elastic solids. In adhesive polymer contacts, where elasticity and interface adhesion are strongly coupled, stick--slip results from the propagation of slow detachment waves at the interface. Using \emph{in situ} imaging experiments at an adhesive contact, we show the occurrence of two distinct detachment waves moving parallel (Schallamach wave) and anti-parallel (separation wave) to the applied remote sliding. Both waves cause slip in the same direction and travel at speeds much lesser than any elastic wave speed. We use an elastodynamic framework to describe the propagation of these slow detachment waves at an elastic-rigid interface and obtain governing integral equations in the low wave speed limit. These integral equations are solved in closed form when the elastic solid is incompressible. Two solution branches emerge, corresponding to opposite moving detachment waves, just as seen in the experiments. A numerical scheme is used to obtain interface stresses and velocities for the incompressible case for arbitrary Poisson ratio. Based on these results, we explicitly demonstrate a correspondence between propagating slow detachment waves and a static bi-material interface crack. Based on this, and coupled with a recently proposed fracture analogy for dynamic friction, we develop a phase diagram showing domains of possible occurrence of stick--slip via detachment waves vis-\'a-vis steady interface sliding.


title: LCD Codes from tridiagonal Toeplitz matrice

abstract: Double Toeplitz (DT) codes are codes with a generator matrix of the form $(I,T)$ with $T$ a Toeplitz matrix, that is to say constant on the diagonals parallel to the main. When $T$ is tridiagonal and symmetric we determine its spectrum explicitly by using Dickson polynomials, and deduce from there conditions for the code to be LCD. Using a special concatenation process, we construct optimal or quasi-optimal examples of binary and ternary LCD codes from DT codes over extension fields.


title: Transport of Gaussian measures with exponential cut-off for Hamiltonian PDEs

abstract: We show that introducing an exponential cut-off on a suitable Sobolev norm facilitates the proof of quasi-invariance of Gaussian measures with respect to Hamiltonian PDE flows and allows us to establish the exact Jacobi formula for the density. We exploit this idea in two different contexts, namely the periodic fractional Benjamin-Bona-Mahony (BBM) equation with dispersion~$\gamma >1$ and the periodic one dimensional quintic defocussing nonlinear Schr\"odinger equation (NLS). For the BBM equation we study the transport of the cut-off Gaussian measures on fractional Sobolev spaces, while for the NLS equation we study the measures based on the modified energies introduced by Planchon-Visciglia and the third author. Moreover for the BBM equation we also show almost sure global well-posedness for data in~$C^\a(\T)$ for arbitrarily small~$\a>0$ and invariance of the Gaussian measure associated with the $H^{\gamma/2}(\T)$ norm.


title: Risk Prediction with Imperfect Survival Outcome Information from Electronic Health Records

abstract: Readily available proxies for time of disease onset such as time of the first diagnostic code can lead to substantial risk prediction error if performing analyses based on poor proxies. Due to the lack of detailed documentation and labor intensiveness of manual annotation, it is often only feasible to ascertain for a small subset the current status of the disease by a follow up time rather than the exact time. In this paper, we aim to develop risk prediction models for the onset time efficiently leveraging both a small number of labels on current status and a large number of unlabeled observations on imperfect proxies. Under a semiparametric transformation model for onset and a highly flexible measurement error models for proxy onset time, we propose the semisupervised risk prediction method by combining information from proxies and limited labels efficiently. From an initial estimator solely based on the labelled subset, we perform a one-step correction with the full data augmenting against a mean zero rank correlation score derived from the proxies. We establish the consistency and asymptotic normality of the proposed semi-supervised estimator and provide a resampling procedure for interval estimation. Simulation studies demonstrate that the proposed estimator performs well in finite sample. We illustrate the proposed estimator by developing a genetic risk prediction model for obesity using data from Partners Biobank Electronic Health Records (EHR).


title: Optimistic Dual Extrapolation for Coherent Non-monotone Variational Inequalities

abstract: The optimization problems associated with training generative adversarial neural networks can be largely reduced to certain {\em non-monotone} variational inequality problems (VIPs), whereas existing convergence results are mostly based on monotone or strongly monotone assumptions. In this paper, we propose {\em optimistic dual extrapolation (OptDE)}, a method that only performs {\em one} gradient evaluation per iteration. We show that OptDE is provably convergent to {\em a strong solution} under different coherent non-monotone assumptions. In particular, when a {\em weak solution} exists, the convergence rate of our method is $O(1/{\epsilon^{2}})$, which matches the best existing result of the methods with two gradient evaluations. Further, when a {\em $\sigma$-weak solution} exists, the convergence guarantee is improved to the linear rate $O(\log\frac{1}{\epsilon})$. Along the way--as a byproduct of our inquiries into non-monotone variational inequalities--we provide the near-optimal $O\big(\frac{1}{\epsilon}\log \frac{1}{\epsilon}\big)$ convergence guarantee in terms of restricted strong merit function for monotone variational inequalities. We also show how our results can be naturally generalized to the stochastic setting, and obtain corresponding new convergence results. Taken together, our results contribute to the broad landscape of variational inequality--both non-monotone and monotone alike--by providing a novel and more practical algorithm with the state-of-the-art convergence guarantees.


title: Instanton bundles on $\mathbb{P}^1\times\mathbb{F}_1$

abstract: In this paper we deal with a particular class of rank two vector bundles (\emph{instanton} bundles) on the Fano threefold of index one $F:=\mathbb{F}_1 \times \mathbb{P}^1$. We show that every instanton bundle on $F$ can be described as the cohomology of a monad whose terms are free sheaves. Furthermore we prove the existence of instanton bundles for any admissible second Chern class and we construct a nice component of the moduli space where they sit. Finally we show that minimal instanton bundles (i.e. with the least possible degree of the second Chern class) are aCM and we describe their moduli space.


title: Multimodal VAE Active Inference Controller

abstract: Active inference, a theoretical construct inspired by brain processing, is a promising alternative to control artificial agents. However, current methods do not yet scale to high-dimensional inputs in continuous control. Here we present a novel active inference torque controller for industrial arms that maintains the adaptive characteristics of previous proprioceptive approaches but also enables large-scale multimodal integration (e.g., raw images). We extended our previous mathematical formulation by including multimodal state representation learning using a linearly coupled multimodal variational autoencoder. We evaluated our model on a simulated 7DOF Franka Emika Panda robot arm and compared its behavior with a previous active inference baseline and the Panda built-in optimized controller. Results showed improved tracking and control in goal-directed reaching due to the increased representation power, high robustness to noise and adaptability in changes on the environmental conditions and robot parameters without the need to relearn the generative models nor parameters retuning.


title: Escaping Saddle Points with Stochastically Controlled Stochastic Gradient Methods

abstract: Stochastically controlled stochastic gradient (SCSG) methods have been proved to converge efficiently to first-order stationary points which, however, can be saddle points in nonconvex optimization. It has been observed that a stochastic gradient descent (SGD) step introduces anistropic noise around saddle points for deep learning and non-convex half space learning problems, which indicates that SGD satisfies the correlated negative curvature (CNC) condition for these problems. Therefore, we propose to use a separate SGD step to help the SCSG method escape from strict saddle points, resulting in the CNC-SCSG method. The SGD step plays a role similar to noise injection but is more stable. We prove that the resultant algorithm converges to a second-order stationary point with a convergence rate of $\tilde{O}( \epsilon^{-2} log( 1/\epsilon))$ where $\epsilon$ is the pre-specified error tolerance. This convergence rate is independent of the problem dimension, and is faster than that of CNC-SGD. A more general framework is further designed to incorporate the proposed CNC-SCSG into any first-order method for the method to escape saddle points. Simulation studies illustrate that the proposed algorithm can escape saddle points in much fewer epochs than the gradient descent methods perturbed by either noise injection or a SGD step.


title: Subshifts and colorings on ascending HNN-extensions of finitely generated abelian groups

abstract: For an ascending HNN-extension $G*_{\psi}$ of a finitely generated abelian group $G$, we study how a synchronization between the geometry of the group and weak periodicity of a configuration in $\mathcal{A}^{G*_{\psi}}$ forces global constraints on it, as well as in subshifts containing it. A particular case are Baumslag-Solitar groups $\mathrm{BS}(1,N)$, $N\ge2$, for which our results imply that a $\mathrm{BS}(1,N)$-SFT which contains a configuration with period $a^{N^\ell}$, $\ell\ge 0$, must contain a strongly periodic configuration with monochromatic $\mathbb{Z}$-sections. Then we study proper $n$-colorings, $n\ge 3$, of the (right) Cayley graph of $\mathrm{BS}(1,N)$, estimating the entropy of the associated subshift together with its mixing properties. We prove that $\mathrm{BS}(1,N)$ admits a frozen $n$-coloring if and only if $n=3$. We finally suggest generalizations of the latter results to $n$-colorings of ascending HNN-extensions of finitely generated abelian groups.


title: High-sensitivity electrochemical dual-QCM for reliable three-electrode measurements

abstract: Electrochemical quartz crystal microbalance (EC-QCM) is a versatile gravimetric technique that allows for parallel characterization of mass deposition and electrochemical properties. Despite its broad applicability, simultaneous characterization of two electrodes remains challenging due to practical difficulties posed by the dampening from fixture parasitics and the dissipative medium. In this study, we present a dual electrochemical QCM (dual EC-QCM) that is employed in a three-electrode configuration to enable consequent monitoring of mass deposition and viscous loading on two crystals, the working electrode (WE) and the counter electrode (CE). A novel cor-rection approach along with a three standard complex impedance calibration is employed to overcome the effect of dampening while keeping high spectral sensitivity. Separation of viscous loading and rigid mass deposition is achieved by robust characterization of the complex impedance at the resonance frequency. Validation of the presented system is done by cyclic voltammetry characterization of Ag underpotential deposition on gold. The results indicate mass deposition of 412.2 ng for the WE and 345.6 ng for the CE, reflecting a difference of the initially present Ag adhered to the surface. We also performed higher harmonic measurements that further corroborate the sensitivity and reproducibility of the dual EC-QCM. The demonstrated approach is especially intriguing for electrochemical energy storage applications where mass detection with multiple electrodes is desired.


title: The Effect of Q-function Reuse on the Total Regret of Tabular, Model-Free, Reinforcement Learning

abstract: Some reinforcement learning methods suffer from high sample complexity causing them to not be practical in real-world situations. $Q$-function reuse, a transfer learning method, is one way to reduce the sample complexity of learning, potentially improving usefulness of existing algorithms. Prior work has shown the empirical effectiveness of $Q$-function reuse for various environments when applied to model-free algorithms. To the best of our knowledge, there has been no theoretical work showing the regret of $Q$-function reuse when applied to the tabular, model-free setting. We aim to bridge the gap between theoretical and empirical work in $Q$-function reuse by providing some theoretical insights on the effectiveness of $Q$-function reuse when applied to the $Q$-learning with UCB-Hoeffding algorithm. Our main contribution is showing that in a specific case if $Q$-function reuse is applied to the $Q$-learning with UCB-Hoeffding algorithm it has a regret that is independent of the state or action space. We also provide empirical results supporting our theoretical findings.


title: Estimating intervention effects on infectious disease control: the effect of community mobility reduction on Coronavirus spread

abstract: Understanding the effects of interventions, such as restrictions on community and large group gatherings, is critical to controlling the spread of COVID-19. Susceptible-Infectious-Recovered (SIR) models are traditionally used to forecast the infection rates but do not provide insights into the causal effects of interventions. We propose a spatiotemporal model that estimates the causal effect of changes in community mobility (intervention) on infection rates. Using an approximation to the SIR model and incorporating spatiotemporal dependence, the proposed model estimates a direct and indirect (spillover) effect of intervention. Under an interference and treatment ignorability assumption, this model is able to estimate causal intervention effects, and additionally allows for spatial interference between locations. Reductions in community mobility were measured by cell phone movement data. The results suggest that the reductions in mobility decrease Coronavirus cases 4 to 7 weeks after the intervention.


title: High-resolution CARMA Observation of Molecular Gas in the North America and Pelican Nebulae

abstract: We present the first results from a CARMA high-resolution $^{12}$CO(1-0), $^{13}$CO(1-0), and C$^{18}$O(1-0) molecular line survey of the North America and Pelican (NAP) Nebulae. CARMA observations have been combined with single-dish data from the Purple Mountain 13.7m telescope to add short spacings and produce high-dynamic-range images. We find that the molecular gas is predominantly shaped by the W80 HII bubble that is driven by an O star. Several bright rims are probably remnant molecular clouds heated and stripped by the massive star. Matching these rims in molecular lines and optical images, we construct a model of the three-dimensional structure of the NAP complex. Two groups of molecular clumps/filaments are on the near side of the bubble, one being pushed toward us, whereas the other is moving toward the bubble. Another group is on the far side of the bubble and moving away. The young stellar objects in the Gulf region reside in three different clusters, each hosted by a cloud from one of the three molecular clump groups. Although all gas content in the NAP is impacted by feedback from the central O star, some regions show no signs of star formation, while other areas clearly exhibit star formation activity. Other molecular gas being carved by feedback includes the cometary structures in the Pelican Head region and the boomerang features at the boundary of the Gulf region. The results show that the NAP complex is an ideal place for the study of feedback effects on star formation.


title: Random Phase Approximation for gapped systems: role of vertex corrections and applicability of the constrained random phase approximation

abstract: The many-body theory of interacting electrons poses an intrinsically difficult problem that requires simplifying assumptions. For the determination of electronic screening properties of the Coulomb interaction, the Random Phase Approximation (RPA) provides such a simplification. Here, we explicitly show that this approximation is justified for band structures with sizeable band gaps. This is when the electronic states responsible for the screening are energetically far away from the Fermi level, which is equivalent to a short electronic propagation length of these states. The RPA contains exactly those diagrams in which the classical Coulomb interaction covers all distances, whereas neglected vertex corrections involve quantum tunneling through the barrier formed by the band gap. Our analysis of electron-electron interactions provides a real-space analogy to Migdal's theorem on the smallness of vertex corrections in electron-phonon problems. An important application is the increasing use of constrained Random Phase Approximation (cRPA) calculations of effective interactions. We find that their usage of Kohn-Sham energies already accounts for the leading local (excitonic) vertex correction in insulators.


title: Conformal Blocks from Celestial Gluon Amplitudes

abstract: In celestial conformal field theory, gluons are represented by primary fields with dimensions $\Delta=1+i\lambda$, $\lambda\in\mathbb{R}$ and spin $J=\pm 1$, in the adjoint representation of the gauge group. All two- and three-point correlation functions of these fields are zero as a consequence of four-dimensional kinematic constraints. Four-point correlation functions contain delta-function singularities enforcing planarity of four-particle scattering events. We relax these constraints by taking a shadow transform of one field and perform conformal block decomposition of the corresponding correlators. We compute the conformal block coefficients. When decomposed in channels that are "compatible" in two and four dimensions, such four-point correlators contain conformal blocks of primary fields with dimensions $\Delta=2+M+i\lambda$, where $M\ge 0$ is an integer, with integer spin $J=-M,-M+2,\dots,M-2,M$. They appear in all gauge group representations obtained from a tensor product of two adjoint representations. When decomposed in incompatible channels, they also contain primary fields with continuous complex spin, but with positive integer dimensions.


title: Snapshot Compressive Imaging: Principle, Implementation, Theory, Algorithms and Applications

abstract: Capturing high-dimensional (HD) data is a long-term challenge in signal processing and related fields. Snapshot compressive imaging (SCI) uses a two-dimensional (2D) detector to capture HD ($\ge3$D) data in a {\em snapshot} measurement. Via novel optical designs, the 2D detector samples the HD data in a {\em compressive} manner; following this, algorithms are employed to reconstruct the desired HD data-cube. SCI has been used in hyperspectral imaging, video, holography, tomography, focal depth imaging, polarization imaging, microscopy, \etc.~Though the hardware has been investigated for more than a decade, the theoretical guarantees have only recently been derived. Inspired by deep learning, various deep neural networks have also been developed to reconstruct the HD data-cube in spectral SCI and video SCI. This article reviews recent advances in SCI hardware, theory and algorithms, including both optimization-based and deep-learning-based algorithms. Diverse applications and the outlook of SCI are also discussed.


title: Massive Helson sets

abstract: According to the Wik theorem, there exist massive Helson sets on the circle. In particular, they can be of Hausdorff dimension one. We extend Wik's result to the multidimensional case.


title: When Being Soft Makes You Tough: A Collision-Resilient Quadcopter Inspired by Arthropods' Exoskeletons

abstract: Flying robots are usually rather delicate and require protective enclosures when facing the risk of collision, while high complexity and reduced payload are recurrent problems with collision-resilient flying robots. Inspired by arthropods' exoskeletons, we design a simple, open source, easily manufactured, semi-rigid structure with soft joints that can withstand high-velocity impacts. With an exoskeleton, the protective shell becomes part of the main robot structure, thereby minimizing its loss in payload capacity. Our design is simple to build and customize using cheap components (e.g. bamboo skewers) and consumer-grade 3D printers. The result is CogniFly, a sub-250g autonomous quadcopter that survives multiple collisions at speeds up to 7m/s. In addition to its collision-resiliency, CogniFly is easy to program using Python or Buzz, carries sensors that allow it to fly for approx. 17min without the need of GPS or an external motion capture system, has enough computing power to run deep neural network models on-board and was designed to facilitate integration with an automated battery swapping system. This structure becomes an ideal platform for high-risk activities (such as flying in a cluttered environment or reinforcement learning training) by dramatically reducing the risks of damaging its own hardware or the environment. Source code, 3D files, instructions and videos are available through the project's website (https://thecognifly.github.io).


title: Multilevel approximation of Gaussian random fields: Covariance compression, estimation and spatial prediction

abstract: Centered Gaussian random fields (GRFs) indexed by compacta such as smooth, bounded Euclidean domains or smooth, compact and orientable manifolds are determined by their covariance operators. We consider centered GRFs given as variational solutions to coloring operator equations driven by spatial white noise, with an elliptic self-adjoint pseudodifferential coloring operator from the H\"ormander class. This includes the Mat\'ern class of GRFs as a special case. Using biorthogonal multiresolution analyses on the manifold, we prove that the precision and covariance operators, respectively, may be identified with bi-infinite matrices and finite sections may be diagonally preconditioned rendering the condition number independent of the dimension $p$ of this section. We prove that a tapering strategy by thresholding applied on finite sections of the bi-infinite precision and covariance matrices results in optimally numerically sparse approximations. That is, asymptotically only linearly many nonzero matrix entries are sufficient to approximate the original section of the bi-infinite covariance or precision matrix using this tapering strategy to arbitrary precision. The locations of these nonzero matrix entries are known a priori. The tapered covariance or precision matrices may also be optimally diagonally preconditioned. Analysis of the relative size of the entries of the tapered covariance matrices motivates novel, multilevel Monte Carlo (MLMC) oracles for covariance estimation, in sample complexity that scales log-linearly with respect to the number $p$ of parameters. In addition, we propose and analyze a novel compressive algorithm for simulating and kriging of GRFs. The complexity (work and memory vs. accuracy) of these three algorithms scales near-optimally in terms of the number of parameters $p$ of the sample-wise approximation of the GRF in Sobolev scales.


title: Nonadiabatic Born effective charges in metals and the Drude weight

abstract: In insulators, Born effective charges describe the electrical polarization induced by the displacement of individual atomic sublattices. Such a physical property is at first sight irrelevant for metals and doped semiconductors, where the macroscopic polarization is ill-defined. Here we show that, in clean conductors, going beyond the adiabatic approximation results in nonadiabatic Born effective charges that are well defined in the low-frequency limit. In addition, we find that the sublattice sum of the nonadiabatic Born effective charges does not vanish as it does in the insulating case, but instead is proportional to the Drude weight. We demonstrate these formal results with density functional perturbation theory calculations of Al, and electron-doped SnS$_2$ and SrTiO$_3$.


title: Presenting the Multi-Objective Optimization Model of Search and Rescue Network

abstract: The Search and Rescue Network (SAR) is a kind of emergency network that pursuit people in need or imminent danger. This paper aims using a priori optimization to demonstrate the optimal assignment of HFDF receivers to the Generalized Search and Rescue (GSAR) network, which is independent of the weighting of the transmitter areas. The mathematical model seeks two objectives, the first one is maximizing the expected number of LOBs for HFDF receivers. The second is providing a fair share number of HFDF receivers allowed to cover the frequency. The result shown the efficiency of presented model ran by CPLEX toolbox of MATLAB 2020 software.


title: Laguerre expansions on conic domains

abstract: We study the Fourier orthogonal expansions with respect to the Laguerre type weigh functions on the conic surface of revolution and the domain bounded by such a surface. The main results include a closed form formula for the reproducing kernels, which is the kernel of the orthogonal projection operator and a pseudo convolution structure on the conic domain; the latter is shown to be bounded in an appropriate $L^p$ space and used to study mean convergence of the Ces\`aro means of the Laguerre expansions on conic domains.


title: Design of Ciphers based on the Geometric Structure of the Laguerre and Minkowski Planes

abstract: Till now geometric structures don't play a major role in cryptography. Gilbert, MacWilliams and Sloane introduced an authentication scheme in the projective plane and showed its perfectness in the sense of Shannon. In arXiv:2102.10321 we introduced an encryption scheme in the M\"obius plane and showed that it fulfills Shannon's requirement of perfectness in first approximation and also the requirement of completeness according to Kam and Davida. In this paper we will apply a similar approach to define encryption schemes in the geometries of the Laguerre plande and the Minkowski plane. We will show that the encryption scheme in the Laguerre geometry meets Shannon's requirement of perfectness sharp and that the encryption scheme in the Minkowski geometry meets this requirement in first approximation. The Laguerre cipher also fulfills the requirement of completeness according to Kam and Davida.


title: Do you really code? Designing and Evaluating Screening Questions for Online Surveys with Programmers

abstract: Recruiting professional programmers in sufficient numbers for research studies can be challenging because they often cannot spare the time, or due to their geographical distribution and potentially the cost involved. Online platforms such as Clickworker or Qualtrics do provide options to recruit participants with programming skill; however, misunderstandings and fraud can be an issue. This can result in participants without programming skill taking part in studies and surveys. If these participants are not detected, they can cause detrimental noise in the survey data. In this paper, we develop screener questions that are easy and quick to answer for people with programming skill but difficult to answer correctly for those without. In order to evaluate our questionnaire for efficacy and efficiency, we recruited several batches of participants with and without programming skill and tested the questions. In our batch 42% of Clickworkers stating that they have programming skill did not meet our criteria and we would recommend filtering these from studies. We also evaluated the questions in an adversarial setting. We conclude with a set of recommended questions which researchers can use to recruit participants with programming skill from online platforms.


title: TransBTS: Multimodal Brain Tumor Segmentation Using Transformer

abstract: Transformer, which can benefit from global (long-range) information modeling using self-attention mechanisms, has been successful in natural language processing and 2D image classification recently. However, both local and global features are crucial for dense prediction tasks, especially for 3D medical image segmentation. In this paper, we for the first time exploit Transformer in 3D CNN for MRI Brain Tumor Segmentation and propose a novel network named TransBTS based on the encoder-decoder structure. To capture the local 3D context information, the encoder first utilizes 3D CNN to extract the volumetric spatial feature maps. Meanwhile, the feature maps are reformed elaborately for tokens that are fed into Transformer for global feature modeling. The decoder leverages the features embedded by Transformer and performs progressive upsampling to predict the detailed segmentation map. Extensive experimental results on both BraTS 2019 and 2020 datasets show that TransBTS achieves comparable or higher results than previous state-of-the-art 3D methods for brain tumor segmentation on 3D MRI scans. The source code is available at https://github.com/Wenxuan-1119/TransBTS


title: Simulating linear kinematic features in viscous-plastic sea ice models on quadrilateral and triangular grids

abstract: Linear Kinematic Features (LKFs) are found everywhere in the Arctic sea ice cover. They are strongly localized deformations often associated with the formation of leads and pressure ridges. Viscous-plastic sea ice models start to generate LKFs at high spatial grid resolution, typically with a grid spacing below 5 km. Besides grid spacing, other aspects of a numerical implementation, such as discretization details, may affect the number and definition of simulated LKFs. To explore these effects, the solutions of sea ice models with different grid spacings, mesh types, and numerical discretization techniques are compared in an idealized configuration, which could also serve as a benchmark problem in the future. The A, B, and C-grid discretizations of sea ice dynamics on quadrilateral meshes leads to a similar number of LKFs as the A-grid approximation on triangular meshes (with the same number of vertices). The discretization on an Arakawa CD-grid on both structured quadrilateral and triangular meshes resolves the same number of LKFs as conventional Arakawa A-grid, B-grid, and C-grid approaches, but on two times coarser meshes. This is due to the fact that the CD-grid approach has a higher number of degrees of freedom to discretize the velocity field. Due to its enhanced resolving properties, the CD-grid discretization is an attractive alternative to conventional discretizations.


title: Portfolio Optimization Constrained by Performance Attribution

abstract: This paper investigates performance attribution measures as a basis for constraining portfolio optimization. We employ optimizations that minimize expected tail loss and investigate both asset allocation (AA) and the selection effect (SE) as hard constraints on asset weights. The test portfolio consists of stocks from the Dow Jones Industrial Average index; the benchmark is an equi-weighted portfolio of the same stocks. Performance of the optimized portfolios is judged using comparisons of cumulative price and the risk-measures maximum drawdown, Sharpe ratio, and Rachev ratio. The results suggest a positive role in price and risk-measure performance for the imposition of constraints on AA and SE, with SE constraints producing the larger performance enhancement.


title: Teaching Model-based Requirements Engineering to Industry Professionals: An Experience Report

abstract: The use of conceptual models to foster requirements engineering has been proposed and evaluated as beneficial for several decades. For instance, goal-oriented requirements engineering or the specification of scenarios are commonly done using conceptual models. Bringing such model-based requirements engineering approaches into industrial practice typically requires industrial training. In this paper, we report lessons learned from a training program for teaching industry professionals model-based requirements engineering. Particularly, we as educators and learners report experiences from designing the training program, conducting the actual training, and applying the instructed material in our day-to-day work. From these findings we provide guidelines for educators designing requirements engineering courses for industry professionals.


title: Subcritical Andronov-Hopf scenario for systems with a line of equilibria

abstract: Using numerical simulation methods and analytical approach, we demonstrate hard self-oscillation excitation in systems with infinitely many equilibrium points forming a line of equilibria in the phase space. The studied bifurcation phenomena are equivalent to the excitation scenario via the subcritical Andronov-Hopf bifurcation observed in classical self-oscillators with isolated equilibrium points. The hysteresis and bistability accompanying the discussed processes are shown and explained. The research is carried out on an example of a nonlinear memristor-based self-oscillator model. First, a simpler model including Chua's memristor with a piecewise-smooth characteristic is explored. Then the memristor characteristic is changed to a function being smooth everywhere. Finally, the action of the memristor forgetting effect is taken into consideration.


title: Fully constrained, high-resolution shock-capturing, formulation of the Einstein-fluid equations in $2+1$ dimensions

abstract: Four components of the axisymmetric Einstein equations in 2+1 dimensions with negative cosmological constant can be written as $\nabla_aM=\dots$ and $\nabla_aJ=\dots$, where the dots stand for stress-energy terms, and $M$ and $J$ are scalars. In vacuum, they reduce to the constant mass and angular momentum parameters of the BTZ solution of the same name. The integrability conditions for the Einstein equations give rise to two conserved stress-energy currents $\nabla_aj^a_{(M)}=0$ and $\nabla_aj^a_{(J)}=0$. The angular momentum current is just the Noether current due to axisymmetry, but the mass current is unexpected in the presence of rotation. The conserved quantity $M$ exists in all dimensions in spherical symmetry, known as the Misner-Sharp, Hawking or Kodama mass, but in 2+1 dimensions $M$ exists also in axisymmetry, even with rotation. We use $M$ and $J$ to give a fully constrained formulation of the axisymmetric Einstein equations in 2+1 dimensions, where the Einstein equations are solved by explicit integration from the center along time slices. We use the two conserved matter currents in the construction of a high-resolution shock-capturing formulation of the Einstein-perfect fluid system, in which $M$ and $J$ momentum are then exactly conserved by construction. We demonstrate convergence of the code in the test cases of generic dispersion and collapse and stable and unstable rotating stars.


title: Insta-RS: Instance-wise Randomized Smoothing for Improved Robustness and Accuracy

abstract: Randomized smoothing (RS) is an effective and scalable technique for constructing neural network classifiers that are certifiably robust to adversarial perturbations. Most RS works focus on training a good base model that boosts the certified robustness of the smoothed model. However, existing RS techniques treat every data point the same, i.e., the variance of the Gaussian noise used to form the smoothed model is preset and universal for all training and test data. This preset and universal Gaussian noise variance is suboptimal since different data points have different margins and the local properties of the base model vary across the input examples. In this paper, we examine the impact of customized handling of examples and propose Instance-wise Randomized Smoothing (Insta-RS) -- a multiple-start search algorithm that assigns customized Gaussian variances to test examples. We also design Insta-RS Train -- a novel two-stage training algorithm that adaptively adjusts and customizes the noise level of each training example for training a base model that boosts the certified robustness of the instance-wise Gaussian smoothed model. Through extensive experiments on CIFAR-10 and ImageNet, we show that our method significantly enhances the average certified radius (ACR) as well as the clean data accuracy compared to existing state-of-the-art provably robust classifiers.


title: Usability Evaluation for Online Professional Search in the Dutch Archaeology Domain

abstract: This paper presents AGNES, the first information retrieval system for archaeological grey literature, allowing full-text search of these long archaeological documents. This search system has a web interface that allows archaeology professionals and scholars to search through a collection of over 60,000 Dutch excavation reports, totalling 361 million words. We conducted a user study for the evaluation of AGNES's search interface, with a small but diverse user group. The evaluation was done by screen capturing and a think aloud protocol, combined with a user interface feedback questionnaire. The evaluation covered both controlled use (completion of a pre-defined task) as well as free use (completion of a freely chosen task). The free use allows us to study the information needs of archaeologists, as well as their interactions with the search system. We conclude that: (1) the information needs of archaeologists are typically recall-oriented, often requiring a list of items as answer; (2) the users prefer the use of free-text queries over metadata filters, confirming the value of a free-text search system; (3) the compilation of a diverse user group contributed to the collection of diverse issues as feedback for improving the system. We are currently refining AGNES's user interface and improving its precision for archaeological entities, so that AGNES will help archaeologists to answer their research questions more effectively and efficiently, leading to a more coherent narrative of the past.


title: Mapping Milky Way Halo Substructure using Stars in the Extended Blue Tail of the Horizontal Branch

abstract: Although Blue Horizontal Branch (BHB) stars are commonly used to trace halo substructure, the stars bluer than (g-r)<-0.3 are ignored due to the difficulty in determining their absolute magnitudes. The blue extention of the horizontal branch (HBX) includes BHB tail stars and Extreme Horizontal Branch (EHB) stars. We present a method for identifying HBX stars in the field, using spectra and photometry from the Sloan Digital Sky Survey Data Release 14 (SDSS DR14). We derive an estimate for the absolute magnitudes of BHB tail and EHB stars as a function of color, and use this relationship to calculate distances. We identify an overdensity of HBX stars that appears to trace the northern end of the Hercules-Aquila Cloud (HAC). We identify three stars that are likely part of a tidal stream, but this is not enough stars to explain the observed overdensity. Combining SDSS data with Gaia DR2 proper motions allows us to show that the orbits of the majority of the HBX stars in the overdensity are on high eccentricity orbits similar to those in the Virgo Radial Merger/Gaia-Enceladus/Gaia Sausage structure, and that the overdensity of high eccentricity orbits extends all the way to the Virgo Overdensity. We use stellar kinematics to separate the HBX stars into disk stars andhalo stars. The halo stars are primarily on highly eccentric (radial) orbits. The fraction of HBX stars that are EHBs is highest in the disk population and lowest in the low eccentricity halo stars.


title: Adaptive Agent Architecture for Real-time Human-Agent Teaming

abstract: Teamwork is a set of interrelated reasoning, actions and behaviors of team members that facilitate common objectives. Teamwork theory and experiments have resulted in a set of states and processes for team effectiveness in both human-human and agent-agent teams. However, human-agent teaming is less well studied because it is so new and involves asymmetry in policy and intent not present in human teams. To optimize team performance in human-agent teaming, it is critical that agents infer human intent and adapt their polices for smooth coordination. Most literature in human-agent teaming builds agents referencing a learned human model. Though these agents are guaranteed to perform well with the learned model, they lay heavy assumptions on human policy such as optimality and consistency, which is unlikely in many real-world scenarios. In this paper, we propose a novel adaptive agent architecture in human-model-free setting on a two-player cooperative game, namely Team Space Fortress (TSF). Previous human-human team research have shown complementary policies in TSF game and diversity in human players' skill, which encourages us to relax the assumptions on human policy. Therefore, we discard learning human models from human data, and instead use an adaptation strategy on a pre-trained library of exemplar policies composed of RL algorithms or rule-based methods with minimal assumptions of human behavior. The adaptation strategy relies on a novel similarity metric to infer human policy and then selects the most complementary policy in our library to maximize the team performance. The adaptive agent architecture can be deployed in real-time and generalize to any off-the-shelf static agents. We conducted human-agent experiments to evaluate the proposed adaptive agent framework, and demonstrated the suboptimality, diversity, and adaptability of human policies in human-agent teams.


title: Introduction to Tidal Streams

abstract: Dwarf galaxies that come too close to larger galaxies suffer tidal disruption; the differential gravitational force between one side of the galaxy and the other serves to rip the stars from the dwarf galaxy so that they instead orbit the larger galaxy. This process produces "tidal streams" of stars, which can be found in the stellar halo of the Milky Way, as well as in halos of other galaxies. This chapter provides a general introduction to tidal streams, including the mechanism through which the streams are created, the history of how they were discovered, and the observational techniques by which they can be detected. In addition, their use in unraveling galaxy formation history and the distribution of dark matter in galaxies is discussed, as is the interaction between these dwarf galaxy satellites and the disk of the larger galaxy.


title: Anomalous dimensions from Yukawa couplings in SMNEFT: four-fermion operators

abstract: The Standard Model Neutrino Effective Field Theory (SMNEFT) is the Standard Model Effective Field Theory (SMEFT) augmented with right-handed neutrinos. Building on our previous work, arXiv:2010.12109, we calculate the Yukawa coupling contributions to the one-loop anomalous dimension matrix for the 11 dimension-six four-fermion SMNEFT operators. We also present the new contributions to the anomalous dimension matrix for the 14 four-fermion SMEFT operators that mix with the SMNEFT operators through the Yukawa couplings of the right-handed neutrinos.


title: Differential Tracking Across Topical Webpages of Indian News Media

abstract: Online user privacy and tracking have been extensively studied in recent years, especially due to privacy and personal data-related legislations in the EU and the USA, such as the General Data Protection Regulation, ePrivacy Regulation, and California Consumer Privacy Act. Research has revealed novel tracking and personal identifiable information leakage methods that first- and third-parties employ on websites around the world, as well as the intensity of tracking performed on such websites. However, for the sake of scaling to cover a large portion of the Web, most past studies focused on homepages of websites, and did not look deeper into the tracking practices on their topical subpages. The majority of studies focused on the Global North markets such as the EU and the USA. Large markets such as India, which covers 20% of the world population and has no explicit privacy laws, have not been studied in this regard. We aim to address these gaps and focus on the following research questions: Is tracking on topical subpages of Indian news websites different from their homepage? Do third-party trackers prefer to track specific topics? How does this preference compare to the similarity of content shown on these topical subpages? To answer these questions, we propose a novel method for automatic extraction and categorization of Indian news topical subpages based on the details in their URLs. We study the identified topical subpages and compare them with their homepages with respect to the intensity of cookie injection and third-party embeddedness and type. We find differential user tracking among subpages, and between subpages and homepages. We also find a preferential attachment of third-party trackers to specific topics. Also, embedded third-parties tend to track specific subpages simultaneously, revealing possible user profiling in action.


title: DDoS Never Dies? An IXP Perspective on DDoS Amplification Attacks

abstract: DDoS attacks remain a major security threat to the continuous operation of Internet edge infrastructures, web services, and cloud platforms. While a large body of research focuses on DDoS detection and protection, to date we ultimately failed to eradicate DDoS altogether. Yet, the landscape of DDoS attack mechanisms is even evolving, demanding an updated perspective on DDoS attacks in the wild. In this paper, we identify up to 2608 DDoS amplification attacks at a single day by analyzing multiple Tbps of traffic flows at a major IXP with a rich ecosystem of different networks. We observe the prevalence of well-known amplification attack protocols (e.g., NTP, CLDAP), which should no longer exist given the established mitigation strategies. Nevertheless, they pose the largest fraction on DDoS amplification attacks within our observation and we witness the emergence of DDoS attacks using recently discovered amplification protocols (e.g., OpenVPN, ARMS, Ubiquity Discovery Protocol). By analyzing the impact of DDoS on core Internet infrastructure, we show that DDoS can overload backbone-capacity and that filtering approaches in prior work omit 97% of the attack traffic.


title: Fingerprinting the presence of extra scalars in the $h \to Vff'$ forward-backward asymmetry

abstract: In this work we analyse the forward-backward asymmetry of the $h\to Vff'$ decay in the Aligned two-Higgs Doublet Model. The Standard Model prediction for this asymmetry for $V=W$ is small, as it suffers from Yukawa suppression and is absent for $V=Z$. This does not necessarily have to hold true in the Aligned model where these contributions can in principle be re-enhanced through the independent alignment factors $\varsigma_f$. In this analysis we conclude that, due to the additional contributions corresponding to the Aligned two-Higgs Doublet Model together with extra sources of CP-violation for the $V=Z$ channel, the Standard Model predictions can be significantly modified in a great region of the parameter space. These deviations, that could be potentially measured at the High Luminosity LHC or future Higgs factories, would be a clear signal of new physics, and would shed new light on the possible extensions of the Standard Model and new sources of CP-violation.


title: Correct-by-Construction Navigation Functions with Application to Sensor Based Robot Navigation

abstract: This paper brings together the concepts of navigation transformation and harmonic functions to form navigation functions that are correct-by-construction in the sense that no tuning is required. The form of the navigation function is explicitly related to the number of obstacles in the environment. This enables application of navigation functions for autonomous robot navigation in partially or fully unknown environments, with the capability of on-the-fly adjustment of the navigation function when new obstacles are discovered by the robot. Appropriate navigation controllers, applicable to robots with local, sector bounded sensing, are presented and analyzed for a~kinematic point-mass robot and then for the dynamic point-mass robot system. The closed form nature of the proposed navigation scheme provides for online, fast-feedback based navigation. In addition to the analytic guarantees, simulation studies are presented to verify the effectiveness of the methodology.


title: A Lower Bound for the Sample Complexity of Inverse Reinforcement Learning

abstract: Inverse reinforcement learning (IRL) is the task of finding a reward function that generates a desired optimal policy for a given Markov Decision Process (MDP). This paper develops an information-theoretic lower bound for the sample complexity of the finite state, finite action IRL problem. A geometric construction of $\beta$-strict separable IRL problems using spherical codes is considered. Properties of the ensemble size as well as the Kullback-Leibler divergence between the generated trajectories are derived. The resulting ensemble is then used along with Fano's inequality to derive a sample complexity lower bound of $O(n \log n)$, where $n$ is the number of states in the MDP.


title: Termination of Multipartite Graph Series Arising from Complex Network Modelling

abstract: An intense activity is nowadays devoted to the definition of models capturing the properties of complex networks. Among the most promising approaches, it has been proposed to model these graphs via their clique incidence bipartite graphs. However, this approach has, until now, severe limitations resulting from its incapacity to reproduce a key property of this object: the overlapping nature of cliques in complex networks. In order to get rid of these limitations we propose to encode the structure of clique overlaps in a network thanks to a process consisting in iteratively factorising the maximal bicliques between the upper level and the other levels of a multipartite graph. We show that the most natural definition of this factorising process leads to infinite series for some instances. Our main result is to design a restriction of this process that terminates for any arbitrary graph. Moreover, we show that the resulting multipartite graph has remarkable combinatorial properties and is closely related to another fundamental combinatorial object. Finally, we show that, in practice, this multipartite graph is computationally tractable and has a size that makes it suitable for complex network modelling.


title: Toward Semi-Automatic Misconception Discovery Using Code Embeddings

abstract: Understanding students' misconceptions is important for effective teaching and assessment. However, discovering such misconceptions manually can be time-consuming and laborious. Automated misconception discovery can address these challenges by highlighting patterns in student data, which domain experts can then inspect to identify misconceptions. In this work, we present a novel method for the semi-automated discovery of problem-specific misconceptions from students' program code in computing courses, using a state-of-the-art code classification model. We trained the model on a block-based programming dataset and used the learned embedding to cluster incorrect student submissions. We found these clusters correspond to specific misconceptions about the problem and would not have been easily discovered with existing approaches. We also discuss potential applications of our approach and how these misconceptions inform domain-specific insights into students' learning processes.


title: On a log-symmetric quantile tobit model applied to female labor supply data

abstract: The classic censored regression model (tobit model) has been widely used in the economic literature. This model assumes normality for the error distribution and is not recommended for cases where positive skewness is present. Moreover, in regression analysis, it is well-known that a quantile regression approach allows us to study the influences of the explanatory variables on the dependent variable considering different quantiles. Therefore, we propose in this paper a quantile tobit regression model based on quantile-based log-symmetric distributions. The proposed methodology allows us to model data with positive skewness (which is not suitable for the classic tobit model), and to study the influence of the quantiles of interest, in addition to accommodating heteroscedasticity. The model parameters are estimated using the maximum likelihood method and an elaborate Monte Carlo study is performed to evaluate the performance of the estimates. Finally, the proposed methodology is illustrated using two female labor supply data sets. The results show that the proposed log-symmetric quantile tobit model has a better fit than the classic tobit model.


title: Efficient Model Performance Estimation via Feature Histories

abstract: An important step in the task of neural network design, such as hyper-parameter optimization (HPO) or neural architecture search (NAS), is the evaluation of a candidate model's performance. Given fixed computational resources, one can either invest more time training each model to obtain more accurate estimates of final performance, or spend more time exploring a greater variety of models in the configuration space. In this work, we aim to optimize this exploration-exploitation trade-off in the context of HPO and NAS for image classification by accurately approximating a model's maximal performance early in the training process. In contrast to recent accelerated NAS methods customized for certain search spaces, e.g., requiring the search space to be differentiable, our method is flexible and imposes almost no constraints on the search space. Our method uses the evolution history of features of a network during the early stages of training to build a proxy classifier that matches the peak performance of the network under consideration. We show that our method can be combined with multiple search algorithms to find better solutions to a wide range of tasks in HPO and NAS. Using a sampling-based search algorithm and parallel computing, our method can find an architecture which is better than DARTS and with an 80% reduction in wall-clock search time.


title: On the Termination of Some Biclique Operators on Multipartite Graphs

abstract: We define a new graph operator, called the weak-factor graph, which comes from the context of complex network modelling. The weak-factor operator is close to the well-known clique-graph operator but it rather operates in terms of bicliques in a multipartite graph. We address the problem of the termination of the series of graphs obtained by iteratively applying the weak-factor operator starting from a given input graph. As for the clique-graph operator, it turns out that some graphs give rise to series that do not terminate. Therefore, we design a slight variation of the weak-factor operator, called clean-factor, and prove that its associated series terminates for all input graphs. In addition, we show that the multipartite graph on which the series terminates has a very nice combinatorial structure: we exhibit a bijection between its vertices and the chains of the inclusion order on the intersections of the maximal cliques of the input graph.


title: Strong Approximate Consensus Halving and the Borsuk-Ulam Theorem

abstract: In the consensus halving problem we are given n agents with valuations over the interval $[0,1]$. The goal is to divide the interval into at most $n+1$ pieces (by placing at most n cuts), which may be combined to give a partition of $[0,1]$ into two sets valued equally by all agents. The existence of a solution may be established by the Borsuk-Ulam theorem. We consider the task of computing an approximation of an exact solution of the consensus halving problem, where the valuations are given by distribution functions computed by algebraic circuits. Here approximation refers to computing a point that $\varepsilon$-close to an exact solution, also called strong approximation. We show that this task is polynomial time equivalent to computing an approximation to an exact solution of the Borsuk-Ulam search problem defined by a continuous function that is computed by an algebraic circuit. The Borsuk-Ulam search problem is the defining problem of the complexity class BU. We introduce a new complexity class BBU to also capture an alternative formulation of the Borsuk-Ulam theorem from a computational point of view. We investigate their relationship and prove several structural results for these classes as well as for the complexity class FIXP.


title: Spectroscopy in beauty decays at the LHCb experiment

abstract: The beauty hadron decays is unique laboratory to study charmonium and charmonium-like states, such as the $\chi_{c1}(3872)$ meson, other exotic states and the tensor D-wave $\psi_2(3823$) states. However the nature of many exotic charmonium-like candidates are still unknown. The most recent LHCb results related to b-hadron decays to charmonium states and obtained using large data samples collected during the Run 1 and Run 2 periods are presented. This includes the most precise determination of the mass and width of the $\chi_{c1}(3872)$ state using the $B^{+} \to J/\psi\pi^{+}\pi^{-}K^{+}$ decays, observation of a resonant structure denoted as X(4740) in the $J/\psi \phi$ mass spectrum from $B^{0}_{s} \to J/\psi\pi^{+}\pi^{-}K^{+}K^{-}$ decays and the precise measurement of the $B^{0}_{s}$ meson mass.


title: The decline rate of the production cross-section of superheavy nuclei with $Z=114-117$ at high excitation energies

abstract: The production cross sections of superheavy nuclei with charge numbers $114-117$ are predicted in the $(5-9)n$-evaporation channels of the $^{48}$Ca-induced complete fusion reactions for future experiments. The estimates of synthesis capabilities are based on a uniform and consistent set of input nuclear data provided by the multidimensional macroscopic-microscopic approach. The contributions of various factors to the final production cross section are discussed. As shown, the specific interplay between survival and fusion probabilities unexpectedly leads to a relatively slow decline of the total cross-sections with increasing excitation energy. This effect is supported by a favorable arrangement of fission barriers protecting the compound nucleus against splitting concerning energetic thresholds for the emission of successive neutrons. In particular, the probabilities of the formation of superheavy nuclei in the $5n$-, $6n$-, and in some cases even in $7n$-evaporation channels are still promising. This may offer a new opportunity for the future synthesis of unknown neutron-deficient superheavy isotopes.


title: New proofs for some results on spherically convex sets

abstract: In Guo and Peng's article [Spherically convex sets and spherically convex functions, J. Convex Anal. 28 (2021), 103--122], one defines the notions of spherical convex sets and functions on "general curved surfaces" in $\mathbb{R}^{n}$ $(n\ge2)$, one studies several properties of these classes of sets and functions, and one establishes analogues of Radon, Helly, Carath\'eodory and Minkowski theorems for spherical convex sets, as well as some properties of spherical convex functions which are analogous to those of usual convex functions. In obtaining such results, the authors use an analytic approach based on their definitions. Our aim in this note is to provide simpler proofs for the results on spherical convex sets; our proofs are based on some characterizations/representations of spherical convex sets by usual convex sets in $\mathbb{R}^{n}$.


title: Comparative Analysis and Enhancement of CFG-based Hardware-Assisted CFI Schemes

abstract: Subverting the flow of instructions (e.g., by use of code-reuse attacks) still poses a serious threat to the security of today's systems. Various control flow integrity (CFI) schemes have been proposed as a powerful technique to detect and mitigate such attacks. In recent years, many hardware-assisted implementations of CFI enforcement based on control flow graphs (CFGs) have been presented by academia. Such approaches check whether control flow transfers follow the intended CFG by limiting the valid target addresses. However, these papers all target different platforms and were evaluated with different sets of benchmark applications, which makes quantitative comparisons hardly possible. For this paper, we have implemented multiple promising CFG-based CFI schemes on a common platform comprising a RISC-V SoC within an FPGA. By porting almost 40 benchmark applications to this system we can present a meaningful comparison of the various techniques in terms of run-time performance, hardware utilization, and binary size. In addition, we present an enhanced CFI approach that is inspired by what we consider the best concepts and ideas of previously proposed mechanisms. We have made this approach more practical and feature-complete by tackling some problems largely ignored previously. We show with this fine-grained scheme that CFI can be achieved with even less overheads than previously demonstrated.


title: Eilenberg Mac Lane spectra as p-cyclonic Thom spectra

abstract: Hopkins and Mahowald gave a simple description of the mod $p$ Eilenberg Mac Lane spectrum $\mathbb{F}_p$ as the free $\mathbb{E}_2$-algebra with an equivalence of $p$ and $0$. We show for each faithful $2$-dimensional representation $\lambda$ of a $p$-group $G$ that the $G$-equivariant Eilenberg Mac Lane spectrum $\underline{\mathbb{F}}_p$ is the free $\mathbb{E}_{\lambda}$-algebra with an equivalence of $p$ and $0$. This unifies and simplifies recent work of Behrens, Hahn, and Wilson, and extends it to include the dihedral $2$-subgroups of O(2). The main new idea is that $\underline{\mathbb{F}}_p$ has a simple description as a $p$-cyclonic module over $\rm{THH}(\mathbb{F}_p)$. We show our result is the best possible one in that it gives all groups $G$ and representations $V$ such that $\underline{\mathbb{F}}_p$ is the free $\mathbb{E}_V$-algebra with an equivalence of $p$ and $0$.


title: A new property of congruence lattices of slim, planar, semimodular lattices

abstract: The systematic study of planar semimodular lattices started in 2007 with a series of papers by G. Gr\"atzer and E. Knapp. These lattices have connections with group theory and geometry. A planar semimodular lattice $L$ is {\it slim} if $M_3$ it is not a sublattice of $L$. In his 2016 monograph, "The Congruences of a Finite Lattice, A \emph{Proof-by-Picture Approach}", the second author asked for a characterization of congruence lattices of slim, planar, semimodular lattices. In addition to distributivity, both authors have previously found specific properties of these congruence lattices. In this paper, we present a new property, the {\it Three-pendant Three-crown Property}. The proof is based on the first author's papers: 2014 (multifork extensions), 2017 ($\mathcal C_1$-diagrams), and a recent paper (lamps), introducing the tools we need.


title: On the Dynamics of Protected Ramond Ground States in the D1-D5 CFT

abstract: We examine the behavior of the Ramond ground states in the D1-D5 CFT after a deformation of the free-orbifold sigma model on target space $({\mathbb T}^4)^N / S_N$ by a marginal interaction operator. These states are compositions of Ramond ground states of the twisted and untwisted sectors. They are characterized by a conjugacy class of $S_N$ and by the set of their "spins", including both R-charge and "internal" SU(2) charge. We compute the four-point functions of an arbitrary Ramond ground state with its conjugate and two interaction operators, for genus-zero covering surfaces representing the leading orders in the large-$N$ expansion. We examine short distance limits of these four-point functions, shedding light on the dynamics of the interacting theory. We find the OPEs and a collection of structure constants of the ground states with the interaction operators and a set of resulting non-BPS twisted operators. We also calculate the integrals of the four-point functions over the positions of the interaction operators and show that they vanish. This provides an explicit demonstration that the Ramond ground states remain protected against deformations away of the free orbifold point, as expected from algebraic considerations using the spectral flow of the ${\mathcal N} = (4,4)$ superconformal algebra with central charge $c = 6N$.


title: Learning Environment Constraints in Collaborative Robotics: A Decentralized Leader-Follower Approach

abstract: In this paper, we propose a leader-follower hierarchical strategy for two robots collaboratively transporting an object in a partially known environment with obstacles. Both robots sense the local surrounding environment and react to obstacles in their proximity. We consider no explicit communication, so the local environment information and the control actions are not shared between the robots. At any given time step, the leader solves a model predictive control (MPC) problem with its known set of obstacles and plans a feasible trajectory to complete the task. The follower estimates the inputs of the leader and uses a policy to assist the leader while reacting to obstacles in its proximity. The leader infers obstacles in the follower's vicinity by using the difference between the predicted and the real-time estimated follower control action. A method to switch the leader-follower roles is used to improve the control performance in tight environments. The efficacy of our approach is demonstrated with detailed comparisons to two alternative strategies, where it achieves the highest success rate, while completing the task fastest. See the link www.dropbox.com/s/hexadigqkvspaeh/IROS_Video.mp4?dl=0 for a descriptive video of the algorithm.


title: Exact solutions of the Schr\"odinger Equation with Dunkl Derivative for the Free-Particle Spherical Waves, the Pseudo-Harmonic Oscillator and the Mie-type Potential

abstract: We solve exactly the Schr\"odinger equation for the free-particle, the pseudo-harmonic oscillator and the Mie-type potential in three dimensions with the Dunkl derivative. The equations for the radial and angular parts are obtained by using spherical coordinates and separation of variables. The wave functions and the energy spectrum for these potentials are derived in an analytical way and it is shown that our results are adequately reduced to those previously reported when we remove the Dunkl derivative parameters.


title: Improving Bayesian estimation of Vaccine Efficacy

abstract: A full Bayesian approach to the estimation of Vaccine Efficacy is presented, which is an improvement over the currently used exact method conditional on the total number of cases. As an example, we reconsider the statistical sections of the BioNTech/Pfizer protocol, which in 2020 has led to the first approved anti-Covid-19 vaccine.


title: Stable Energy Distribution of Weakly Dissipative Gasses under Collisional Energy Cascades

abstract: Collisional thermalization of a particle ensemble under the energy dissipation can be seen in variety of systems, such as heated granular gasses and particles in plasmas. Despite its universal existence, analytical descriptions of the steady-state distribution have been missing. Here, we show that the steady-state energy distribution of the wide class of collisional energy cascades can be well approximated by the generalized Mittag-Leffler distribution, which is one of stable distributions. This distribution has a power-law tail, as similar to Levy's stable distribution, the index of which is related to the energy dissipation rate. We demonstrate its universality by comparing Mont-Carlo simulations of dissipative gasses as well as the spectroscopic observation of the atom velocity distribution in a low-temperature plasma.


title: Environmental performance of shared micromobility and personal alternatives using integrated modal LCA

abstract: The environmental performance of shared micromobility services compared to private alternatives has never been assessed using an integrated modal Life Cycle Assessment (LCA) relying on field data. Such an LCA is conducted on three shared micromobility services in Paris - bikes, second-generation e-scooters, and e-mopeds - and their private alternatives. Global warming potential, primary energy consumption, and the three endpoint damages are calculated. Sensitivity analyses on vehicle lifespan, shipping, servicing distance, and electricity mix are conducted. Electric micromobility ranks between active modes and personal ICE modes. Its impacts are globally driven by vehicle manufacturing. Ownership does not affect directly the environmental performance: the vehicle lifetime mileage does. Assessing the sole carbon footprint leads to biased environmental decision-making, as it is not correlated to the three damages: multicriteria LCA is mandatory to preserve the planet. Finally, a major change of paradigm is needed to eco-design modern transportation policies.


title: Amorphous complexions alter the tensile failure of nanocrystalline Cu-Zr alloys

abstract: Grain boundary-based mechanisms are known to control the plastic deformation and failure of nanocrystalline metals, with manipulation of the boundary structure a promising path for tuning this response. In this study, the role of interfacial structural disorder on plasticity and failure of nanocrystalline Cu-Zr alloys is investigated with in situ scanning electron microscopy tensile deformation experiments. Two model materials are created, one with only the typical ordered grain boundaries and another with amorphous intergranular films interspersed into the boundary network, while the microstructures are otherwise identical. Hence, the importance of complexion type on plasticity and failure is isolated by only varying complexion structure. The tensile experiments show that failure of the samples containing amorphous films is significantly retarded, as evidenced by an increase in the cross-sectional area reduction, a decrease in the occurrence of shear-dominated failure, a decrease in strain localization, and fracture surfaces with more elongated dimple features. As a whole, this study provides direct evidence that structural disorder at the grain boundaries can be beneficial for improving the ductility of nanocrystalline metals.


title: Bali's ancient rice terraces: A Hamiltonian approach

abstract: We propose a Hamiltonian approach to reproduce the relevant elements of the centuries-old Subak irrigation system in Bali, showing a cluster-size power-law distribution. The resulting system presents two equilibria. The first balance is between energy and entropy contributions. The second lies in the energy contribution: a local Potts-type interaction and a long-range anti-ferromagnetic one without attenuation. Finite-size scaling analysis shows that as a result of the second balance, the transition balancing energy and entropy contributions for low values of the antiferromagnetic contribution is absorbed by the transition for high values of that contribution as the system size increases. The system thus presents only a weak-first order phase transition at the thermodynamic limit. This extends the Hamiltonian framework to a new domain of coupled human-environmental interactions.


title: Metastability and maximal-entropy joinings of Gibbs measures on finitely-generated groups

abstract: We prove a metastability result for finitary microstates which are good models for a Gibbs measure for a nearest-neighbor interaction on a finitely-generated group. This is used to show that any maximal-entropy joining of two such Gibbs states is a relative product over the tail $\sigma$-algebra, except in degenerate cases. We also use results on extremal cuts of random graphs to further investigate optimal self-joinings of the Ising model on a free group.


title: Comment on `Relativistic wave-particle duality for spinors'

abstract: In a recent paper [1], it has been proposed that relativistic wave-particle duality can be embodied in a relation that shows that the four-velocity of a particle is proportional to the Dirac four-current. In this note we bring out some problems with that idea. In particular, we point out that, in line with existing literature on Einstein-Cartan gravity with torsion, the spin-torsion term should represent negative energy. Moreover, if what is proposed in Eq. (20) of [1] is correct, then the spin torsion term would be zero in the rest frame of the fermion. We suggest a possible resolution of that dilemma.


title: Local word statistics affect reading times independently of surprisal

abstract: Surprisal theory has provided a unifying framework for understanding many phenomena in sentence processing (Hale, 2001; Levy, 2008a), positing that a word's conditional probability given all prior context fully determines processing difficulty. Problematically for this claim, one local statistic, word frequency, has also been shown to affect processing, even when conditional probability given context is held constant. Here, we ask whether other local statistics have a role in processing, or whether word frequency is a special case. We present the first clear evidence that more complex local statistics, word bigram and trigram probability, also affect processing independently of surprisal. These findings suggest a significant and independent role of local statistics in processing. Further, it motivates research into new generalizations of surprisal that can also explain why local statistical information should have an outsized effect.


title: Curvature Sets Over Persistence Diagrams

abstract: We study a family of invariants of compact metric spaces that combines the Curvature Sets defined by Gromov in the 1980s with Vietoris-Rips Persistent Homology. For given integers $k\geq 0$ and $n\geq 1$ we consider the dimension $k$ Vietoris-Rips persistence diagrams of \emph{all} subsets of a given metric space with cardinality at most $n$. We call these invariants \emph{persistence sets} and denote them as $\mathbf{D}_{n,k}^\textrm{VR}$. We establish that (1) computing these invariants is often significantly more efficient than computing the usual Vietoris-Rips persistence diagrams, (2) these invariants have very good discriminating power and, in many cases, capture information that is imperceptible through standard Vietoris-Rips persistence diagrams, and (3) they enjoy stability properties. We precisely characterize some of them in the case of spheres and surfaces with constant curvature using a generalization of Ptolemy's inequality. We also identify a rich family of metric graphs for which $\mathbf{D}_{4,1}^\textrm{VR}$ fully recovers their homotopy type by studying split-metric decompositions. Along the way we prove some useful properties of Vietoris-Rips persistence diagrams using Mayer-Vietoris sequences. These yield a geometric algorithm for computing the Vietoris-Rips persistence diagram of a space $X$ with cardinality $2k+2$ with quadratic time complexity as opposed to the much higher cost incurred by the usual algebraic algorithms relying on matrix reduction.


title: Points of quantum $\mathrm{SL}_n$ coming from quantum snakes

abstract: We show that the quantized Fock-Goncharov monodromy matrices satisfy the relations of the quantum special linear group $\mathrm{SL}_n^q$. The proof employs a quantum version of the technology invented by Fock-Goncharov called snakes. This relationship between higher Teichm\"uller theory and quantum group theory is integral to the construction of a $\mathrm{SL}_n$-quantum trace map for knots in thickened surfaces, developed in a companion paper (arXiv:2101.06817).


title: Causal Inference in the Time of Covid-19

abstract: In this paper we develop statistical methods for causal inference in epidemics. Our focus is in estimating the effect of social mobility on deaths in the Covid-19 pandemic. We propose a marginal structural model motivated by a modified version of a basic epidemic model. We estimate the counterfactual time series of deaths under interventions on mobility. We conduct several types of sensitivity analyses. We find that the data support the idea that reduced mobility causes reduced deaths, but the conclusion comes with caveats. There is evidence of sensitivity to model misspecification and unmeasured confounding which implies that the size of the causal effect needs to be interpreted with caution. While there is little doubt the the effect is real, our work highlights the challenges in drawing causal inferences from pandemic data.


title: Scalable codes for precision calculations of properties of complex atomic systems

abstract: High precision atomic data is indispensable for experiments involving studies of fundamental interactions, astrophysics, atomic clocks, plasma science, and others. We develop new parallel atomic structure codes and explore the difficulties of load-balancing in these codes. Efficient load-balancing of matrix elements for many-electron systems is very difficult due to the intrinsic nature of the computational methods used to compute them. By arithmetically selecting determinants for each core, we achieve very even workload distribution, and attain near-perfect linear scalability and efficiency with the number of cores. We also implement dynamic memory allocation to minimize memory usage and remove the need for users to set certain array parameters. Our newly developed codes enable computations that were not possible before due to lack of memory or prohibitive computation times, and allow a broader range of correlations to be investigated in a shorter period of time. This includes calculations correlating all 60 electrons in the highly charged Ir$^{17+}$ ion and calculations predicting the $3C/3D$ line intensity ratio in Fe$^{16+}$. Our new code package will also be used to produce large volumes of high precision atomic data for a new online portal being developed at the University of Delaware.


title: Magnetic anisotropy and exchange interactions of two-dimensional FePS$_3$, NiPS$_3$ and MnPS$_3$ from first principles calculations

abstract: The van der Waals bonded transition metal phosphorous trichalcogenides FePS$_3$, NiPS$_3$ and MnPS$_3$ have recently attracted renewed attention due to the possibility of exfoliating them into their monolayers. Although the three compounds have similar electronic structure, the magnetic structure differs due to subtle differences in exchange and magnetic anisotropy and the materials thus comprise a unique playground for studying different aspects of magnetism in 2D. Here we calculate the exchange and anisotropy parameters of the three materials from first principles paying special attention to the choice of Hubbard parameter U. We find a strong dependence of the choice of U and show that the calculated N\'eel temperature of FePS$_3$ varies by an order of magnitude over commonly applied values of U for the Fe $d$-orbitals. The results are compared with parameters fitted to experimental spin-wave spectra of the bulk materials and we find excellent agreement between the exchange constants when a proper value of U is chosen. However, the anisotropy parameters are severely underestimated by DFT and we discuss possible origins of this discrepancy.


title: LogBERT: Log Anomaly Detection via BERT

abstract: Detecting anomalous events in online computer systems is crucial to protect the systems from malicious attacks or malfunctions. System logs, which record detailed information of computational events, are widely used for system status analysis. In this paper, we propose LogBERT, a self-supervised framework for log anomaly detection based on Bidirectional Encoder Representations from Transformers (BERT). LogBERT learns the patterns of normal log sequences by two novel self-supervised training tasks and is able to detect anomalies where the underlying patterns deviate from normal log sequences. The experimental results on three log datasets show that LogBERT outperforms state-of-the-art approaches for anomaly detection.


title: Pebble trapping in vortices: three-dimensional simulations

abstract: Disk vortices have been heralded as promising routes for planet formation due to their ability to trap significant amounts of pebbles. While the gas motions and trapping properties of two-dimensional vortices have been studied in enough detail in the literature, pebble trapping in three dimensions has received less attention, due to the higher computational demand. Here we use the Pencil Code to study 3D vortices generated by convective overstability and the trapping of solids within them. The gas is unstratified whereas the pebbles settle to the midplane due to vertical gravity. We find that for pebbles of normalized friction times of St = 0.05 and St = 1, and dust-to-gas ratio $\varepsilon=0.01$, the vortex column in the midplane is strongly perturbed. Yet, when the initial dust-to-gas ratio is decreased the vortices remain stable and function as efficient pebble traps. Streaming instability is triggered even for the lowest dust-to-gas ratio ($\varepsilon_0 = 10^{-4}$) and smallest pebble sizes (St = 0.05) we assumed, showing a path for planetesimal formation in vortex cores from even extremely subsolar metallicity. To estimate if the reached overdensities can be held together solely by their own gravity we estimate the Roche density at different radii. Depending on disk model and radial location of the pebble clump we do reach concentrations higher than the Roche density. We infer that if self-gravity was included for the pebbles, then gravitational collapse would likely occur.


title: Ergodic Secrecy Rate of Optimal Source Selection in a Multi-Source System with Unreliable Backhaul

abstract: The use of multiple source nodes with wireless backhaul is considered for secrecy enhancement through source node selection in future wireless networks. The ergodic secrecy rate (ESR) of {optimal source node selection in the presence of multiple eavesdroppers} over independent non-identically distributed (INID) Rayleigh fading channels is evaluated in closed-form. At high signal-to-noise ratio (SNR), {the ESR is expressed as a simple weighted summation where each term relates to the contribution of an individual source and eavesdropper}. An asymptotic analysis shows the effect of the system parameters and backhaul reliability on the performance. {The proposed method can provide a generalized solution for the ESR of optimal \textit{transmit antenna} selection in multi-antenna systems, optimal \textit{source node} selection, and optimal \textit{relay selection} with or without unreliable backhaul.


title: Secrecy Outage of Dual-hop Regenerative Multi-relay System with Relay Selection

abstract: Relay selection is considered to enhance the secrecy of a dual-hop regenerative multi-relay system with an eavesdropper. Without assuming perfect decoding at the relays, the secrecy outage probability of a single relay system is obtained first. Secrecy outage of optimal, traditional and suboptimal relay selection schemes is then evaluated. To reduce the power consumption, partial relay selection schemes based only on either of the source-relay or relay-destination instantaneous channel state information (ICSI) are introduced. Its secrecy outage is evaluated and compared with the other schemes. Secrecy outage of all the selection schemes are obtained in closed-form. An optimal relay selection scheme is proposed using secrecy outage which does not require any ICSI. Asymptotic and diversity gain analysis of the secrecy outage is presented when source-relay and relay-destination average SNRs are same or different. We observe that the improvement in eavesdropper link quality affects the secrecy outage more when required secrecy rate is low as compared to the case when rate is high. We also observe that relay selection improves performance more when number of relays are more. It is important to note that either of the source-relay or the relay-destination link quality can equally limit the secrecy outage performance even if the other link quality is infinitely good.


title: Secrecy Performance of Small-Cell Networks with Transmitter Selection and Unreliable Backhaul under Spectrum Sharing Environment

abstract: We investigate the secrecy performance of an underlay small-cell cognitive radio network under unreliable backhaul connections. The small-cell network shares the same spectrum with the primary network, ensuring that a desired outage probability constraint is always met in the primary network. {To improve the security of the small-cell cognitive network, we propose three sub-optimal small-cell transmitter selection schemes,} namely sub-optimal transmitter selection, minimal interference selection, and minimal eavesdropping selection. Closed-form expressions of the non-zero secrecy rate, secrecy outage probability, and ergodic secrecy capacity are provided for the schemes along with asymptotic expressions. {We also propose an optimal selection scheme and compare performances with the sub-optimal selection schemes.} {Computable expressions for the non-zero secrecy rate and secrecy outage probability are presented for the optimal selection scheme.} Our results show that by increasing the primary transmitter's power and the number of small-cell transmitters, the system performance improves. The selection scheme, the backhaul reliability, and the primary user quality-of-service constraint also have a significant impact on secrecy performance.


title: Learning Distributed Stabilizing Controllers for Multi-Agent Systems

abstract: We address the problem of model-free distributed stabilization of heterogeneous multi-agent systems using reinforcement learning (RL). Two algorithms are developed. The first algorithm solves a centralized linear quadratic regulator (LQR) problem without knowing any initial stabilizing gain in advance. The second algorithm builds upon the results of the first algorithm, and extends it to distributed stabilization of multi-agent systems with predefined interaction graphs. Rigorous proofs are provided to show that the proposed algorithms achieve guaranteed convergence if specific conditions hold. A simulation example is presented to demonstrate the theoretical results.


title: Phase Transitions in Kyle's Model with Market Maker Profit Incentives

abstract: We consider a stochastic game between three types of players: an inside trader, noise traders and a market maker. In a similar fashion to Kyle's model, we assume that the insider first chooses the size of her market-order and then the market maker determines the price by observing the total order-flow resulting from the insider and the noise traders transactions. In addition to the classical framework, a revenue term is added to the market maker's performance function, which is proportional to the order flow and to the size of the bid-ask spread. We derive the maximizer for the insider's revenue function and prove sufficient conditions for an equilibrium in the game. Then, we use neural networks methods to verify that this equilibrium holds. We show that the equilibrium state in this model experience interesting phase transitions, as the weight of the revenue term in the market maker's performance function changes. Specifically, the asset price in equilibrium experience three different phases: a linear pricing rule without a spread, a pricing rule that includes a linear mid-price and a bid-ask spread, and a metastable state with a zero mid-price and a large spread.


title: Changes in electric-field noise due to thermal transformation of a surface ion trap

abstract: We aim to illuminate how the microscopic properties of a metal surface map to its electric-field noise characteristics. In our system, prolonged heat treatments of a metal film can induce a rise in the magnitude of the electric-field noise generated by the surface of that film. We refer to this heat-induced rise in noise magnitude as a thermal transformation. The underlying physics of this thermal transformation process is explored through a series of heating, milling, and electron treatments performed on a single surface ion trap. Between these treatments, $^{40}$Ca$^+$ ions trapped 70~$\mu$m above the surface of the metal are used as detectors to monitor the electric-field noise at frequencies close to 1~MHz. An Auger spectrometer is used to track changes in the composition of the contaminated metal surface. With these tools we investigate contaminant deposition, chemical reactions, and atomic restructuring as possible drivers of thermal transformations.