title: Online power system parameter estimation and optimal operation

abstract: The integration of renewables into electrical grids calls for optimization-based control schemes requiring reliable grid models. Classically, parameter estimation and optimization-based control is often decoupled, which leads to high system operation cost in the estimation procedure. The present work proposes a method for simultaneously minimizing grid operation cost and optimally estimating line parameters based on methods for the optimal design of experiments. This method leads to a substantial reduction in cost for optimal estimation and in higher accuracy in the parameters compared with standard Optimal Power Flow and maximum-likelihood estimation. We illustrate the performance of the proposed method on a benchmark system.


title: Filtered A-infinity structures in complex geometry

abstract: We prove a filtered version of the Homotopy Transfer Theorem which gives an A-infinity algebra structure on any page of the spectral sequence associated to a filtered dg-algebra. We then develop various applications to the study of the geometry and topology of complex manifolds, using the Hodge filtration, as well as to complex algebraic varieties, using mixed Hodge theory


title: Description of turbulent dynamics in the interstellar medium: multifractal/microcanonical analysis I. Application to Herschel observations of the Musca filament

abstract: Observations of the interstellar medium (ISM) show a complex density and velocity structure which is in part attributed to turbulence. We here present a self-contained introduction to the multifractal formalism in a microcanonical version which allows us for the first time to compute precise turbulence characteristic parameters from a single observational map without the need for averages in a grand ensemble of statistical observables. We focus on studying the 250 mu-m Herschel map of the Musca filament and make use of MHD simulations. We find a clear signature of a multiplicative cascade in Musca with an inertial range from 0.05 to 0.65 pc. We show that the proposed microcanonical approach provides singularity spectra which are truly scale invariant as required to validate any method to analyze multifractality. The obtained, for the first time precise enough, singularity spectrum of Musca is clearly not as symmetric as usually observed in log-normal behavior. We claim that the ISM towards Musca features more a log-Poisson shape of its singularity spectrum. Since log-Poisson behavior is claimed to exist when dissipation is stronger for rare events in turbulent flows in contrast to more homogeneous (in volume and time) dissipation events, we suggest that this deviation from log-normality could trace enhanced dissipation in rare events at small scales, which may explain or is at least consistent with the dominant filamentary structure in Musca. Moreover we find that sub-regions in Musca tends to show different multifractal properties. It strongly suggests that different types of dynamics exist inside the Musca cloud. These differences between sub-regions appear only after eliminating noise features which have the tendency to "log-normalize" an observational map. Our study sets up fundamental tools which will be applied to other galactic clouds and simulations in forthcoming studies.


title: The NederDrone: A hybrid lift, hybrid energy hydrogen UAV

abstract: A lot of UAV applications require vertical take-off and landing (VTOL) combined with very long-range or endurance. Transitioning UAVs have been proposed to combine the VTOL capabilities of helicopters with the efficient long-range flight properties of fixed-wing aircraft. But energy is still a bottleneck for many electric long endurance applications. While solar power technology and battery technology have improved a lot, in rougher conditions they still respectively lack the power or total amount of energy required for many real-world situations. In this paper, we introduce the NederDrone, a hybrid lift, hybrid energy hydrogen-powered UAV which can perform vertical take-off and landings using 12 propellers while flying efficiently in forward flight thanks to its fixed wings. The energy is supplied from a mix of hydrogen-driven fuel-cells to store large amounts of energy and battery power for high power situations. The hydrogen is stored in a pressurized cylinder around which the UAV is optimized. This paper analyses the selection of the concept, the implemented safety elements, the electronics and flight control and shows flight data including a 3h38 flight at sea, starting and landing on a small moving ship.


title: A Gold Standard Methodology for Evaluating Accuracy in Data-To-Text Systems

abstract: Most Natural Language Generation systems need to produce accurate texts. We propose a methodology for high-quality human evaluation of the accuracy of generated texts, which is intended to serve as a gold-standard for accuracy evaluations of data-to-text systems. We use our methodology to evaluate the accuracy of computer generated basketball summaries. We then show how our gold standard evaluation can be used to validate automated metrics


title: VID-Fusion: Robust Visual-Inertial-Dynamics Odometry for Accurate External Force Estimation

abstract: Recently, quadrotors are gaining significant attention in aerial transportation and delivery. In these scenarios, an accurate estimation of the external force is as essential as the 6 degree-of-freedom (DoF) pose since it is of vital importance for planning and control of the vehicle. To this end, we propose a tightly-coupled Visual-Inertial-Dynamics (VID) system that simultaneously estimates the external force applied to the quadrotor along with the 6 DoF pose. Our method builds on the state-of-the-art optimization-based Visual-Inertial system, with a novel deduction of the dynamics and external force factor extended from VIMO. Utilizing the proposed dynamics and external force factor, our estimator robustly and accurately estimates the external force even when it varies widely. Moreover, since we explicitly consider the influence of the external force, when compared with VIMO and VINS-Mono, our method shows comparable and superior pose accuracy, even when the external force ranges from neglectable to significant. The robustness and effectiveness of the proposed method are validated by extensive real-world experiments and application scenario simulation. We will release an open-source package of this method along with datasets with ground truth force measurements for the reference of the community.


title: Spectral index of the Galactic foreground emission in the 50-87 MHz range

abstract: Total-power radiometry with individual meter-wave antennas is a potentially effective way to study the Cosmic Dawn ($z\sim20$) through measurement of sky brightness arising from the $21$~cm transition of neutral hydrogen, provided this can be disentangled from much stronger Galactic and extra-galactic foregrounds. In the process, measured spectra of integrated sky brightness temperature can be used to quantify the foreground emission properties. In this work, we analyze a subset of data from the Large-aperture Experiment to Detect the Dark Age (LEDA) in the range $50-87$~MHz and constrain the foreground spectral index $\beta$ in the northern sky visible from mid-latitudes. We focus on two zenith-directed LEDA radiometers and study how estimates of $\beta$ vary with local sidereal time (LST). We correct for the effect of gain pattern chromaticity and compare estimated absolute temperatures with simulations. We develop a reference dataset consisting of 14 days of optimal condition observations. Using this dataset we estimate, for one radiometer, that $\beta$ varies from $-2.55$ at LST~$<6$~h to a steeper $-2.58$ at LST~$\sim13$~h, consistently with sky models and previous southern sky measurements. In the LST~$=13-24$~h range, however, we find that $\beta$ fluctuates between $-2.55$ and $-2.61$ (data scatter $\sim0.01$). We observe a similar $\beta$ vs. LST trend for the second radiometer, although with slightly smaller $|\beta|$, in the $-2.46<\beta<-2.43$ range, over $24$~h of LST (data scatter $\sim0.02$). Combining all data gathered during the extended campaign between mid-2018 to mid-2019, and focusing on the LST~$=9-12.5$~h range, we infer good instrument stability and find $-2.56<\beta<-2.50$ with $0.09<\Delta\beta<0.12$.


title: Privacy-accuracy trade-offs in noisy digital exposure notifications

abstract: Since the global spread of Covid-19 began to overwhelm the attempts of governments to conduct manual contact-tracing, there has been much interest in using the power of mobile phones to automate the contact-tracing process through the development of exposure notification applications. The rough idea is simple: use Bluetooth or other data-exchange technologies to record contacts between users, enable users to report positive diagnoses, and alert users who have been exposed to sick users. Of course, there are many privacy concerns associated with this idea. Much of the work in this area has been concerned with designing mechanisms for tracing contacts and alerting users that do not leak additional information about users beyond the existence of exposure events. However, although designing practical protocols is of crucial importance, it is essential to realize that notifying users about exposure events may itself leak confidential information (e.g. that a particular contact has been diagnosed). Luckily, while digital contact tracing is a relatively new task, the generic problem of privacy and data disclosure has been studied for decades. Indeed, the framework of differential privacy further permits provable query privacy by adding random noise. In this article, we translate two results from statistical privacy and social recommendation algorithms to exposure notification. We thus prove some naive bounds on the degree to which accuracy must be sacrificed if exposure notification frameworks are to be made more private through the injection of noise.


title: Do We Exploit all Information for Counterfactual Analysis? Benefits of Factor Models and Idiosyncratic Correction

abstract: Optimal pricing, i.e., determining the price level that maximizes profit or revenue of a given product, is a vital task for the retail industry. To select such a quantity, one needs first to estimate the price elasticity from the product demand. Regression methods usually fail to recover such elasticities due to confounding effects and price endogeneity. Therefore, randomized experiments are typically required. However, elasticities can be highly heterogeneous depending on the location of stores, for example. As the randomization frequently occurs at the municipal level, standard difference-in-differences methods may also fail. Possible solutions are based on methodologies to measure the effects of treatments on a single (or just a few) treated unit(s) based on counterfactuals constructed from artificial controls. For example, for each city in the treatment group, a counterfactual may be constructed from the untreated locations. In this paper, we apply a novel high-dimensional statistical method to measure the effects of price changes on daily sales from a major retailer in Brazil. The proposed methodology combines principal components (factors) and sparse regressions, resulting in a method called Factor-Adjusted Regularized Method for Treatment evaluation (\texttt{FarmTreat}). The data consist of daily sales and prices of five different products over more than 400 municipalities. The products considered belong to the \emph{sweet and candies} category and experiments have been conducted over the years of 2016 and 2017. Our results confirm the hypothesis of a high degree of heterogeneity yielding very different pricing strategies over distinct municipalities.


title: Geometry of pointwise semi-slant warped products in locally conformal Kaehler manifolds

abstract: In this paper, we study the geometry of pointwise semi-slant warped products in a locally conformal Kaehler manifold. In particular, we obtain several results which extend Chen's inequality for CR-warped product submanifolds in Kaehler manifolds. Also, we study the corresponding equality cases. Several related results on pointwise semi-slant warped products are also proved in this paper.


title: Spontaneous Scalarization of Charged Gauss-Bonnet Black Holes: Analytic Treatment

abstract: Recently, by considering nontrivial couplings between scalar fields and the Gauss-Bonnet invariant, the Schwarzschild black hole may allow regular scalar hairy configurations. The numerical studies of this spontaneous scalarization phenomenon show if the coupling parameter $\bar{\eta}$ belongs to discrete sets $\bar{\eta}\in\{\bar{\eta}^-_n,\bar{\eta}^+_n\}^{n=\infty}_{n=0}$, the black hole can support regular scalar hairy configurations. Interestingly, Hod finds the coupling parameter $\bar{\eta}^+_n$ which correspond to the black hole linearized scalar field configurations has an asymptotic universal behavior $\Delta_n\equiv\sqrt{\bar{\eta}_{n+1}}-\sqrt{\bar{\eta}_{n}} \simeq2.72$. He provides a remarkably compact analytical explanation for the numerically observed universal behavior. Motivated by this interesting phenomenon, in this paper, we study the coupling parameter behavior in RN black hole with a nontrivial coupling between scalar fields and the Gauss-Bonnet invariant. Different from Schwarzschild case where the coupling parameter can only take positive values, in this case, the coupling parameter can take positive or negativie values. Therefore, it is interesting to investigate whether the coupling parameter has a similar asymptotic behavior in this situation. By examining numerical data, we find there is a similar asymptotic behavior for both positive and negative parameters. We also compare the analytical results with the numerical data. We find analytical results agree well with the the numerical data.


title: A natural extension of Mittag-Leffler function associated with a triple infinite series

abstract: We establish a new natural extension of Mittag-Leffler function with three variables which is so called "trivariate Mittag-Leffler function". The trivariate Mittag-Leffler function can be expressed via complex integral representation by putting to use of the eminent Hankel's integral. We also investigate Laplace integral relation and convolution result for a univariate version of this function. Moreover, we present fractional derivative of trivariate Mittag-Leffler function in Caputo type and we also discuss Riemann- Liouville type fractional integral and derivative of this function. The link of trivariate Mittag-Leffler function with fractional differential equation systems involving different fractional orders is necessary on certain applications in physics. Thus, we provide an exact analytic solutions of homogeneous and inhomogeneous multi-term fractional differential equations by means of a newly defined trivariate Mittag-Leffler functions.


title: Adapting a Language Model for Controlled Affective Text Generation

abstract: Human use language not just to convey information but also to express their inner feelings and mental states. In this work, we adapt the state-of-the-art language generation models to generate affective (emotional) text. We posit a model capable of generating affect-driven and topic-focused sentences without losing grammatical correctness as the affect intensity increases. We propose to incorporate emotion as prior for the probabilistic state-of-the-art text generation model such as GPT-2. The model gives a user the flexibility to control the category and intensity of emotion as well as the topic of the generated text. Previous attempts at modelling fine-grained emotions fall out on grammatical correctness at extreme intensities, but our model is resilient to this and delivers robust results at all intensities. We conduct automated evaluations and human studies to test the performance of our model and provide a detailed comparison of the results with other models. In all evaluations, our model outperforms existing affective text generation models.


title: Electromagnetic Counterparts of Compact Binary Mergers

abstract: The first detection of a binary neutron star merger through gravitational waves and photons marked the dawn of multi-messenger astronomy with gravitational waves, and it greatly increased our insight in different fields of astrophysics and fundamental physics. However, many open questions on the physical process involved in a compact binary merger still remain and many of these processes concern plasma physics. With the second generation of gravitational wave interferometers approaching their design sensitivity, the new generation under design study, and new X-ray detectors under development, the high energy Universe will become more and more a unique laboratory for our understanding of plasma in extreme conditions. In this review, we discuss the main electromagnetic signals expected to follow the merger of two compact objects highlighting the main physical processes involved and some of the most important open problems in the field.


title: Inference under Superspreading: Determinants of SARS-CoV-2 Transmission in Germany

abstract: Superspreading complicates the study of SARS-CoV-2 transmission. I propose a model for aggregated case data that accounts for superspreading and improves statistical inference. In a Bayesian framework, the model is estimated on German data featuring over 60,000 cases with date of symptom onset and age group. Several factors were associated with a strong reduction in transmission: public awareness rising, testing and tracing, information on local incidence, and high temperature. Immunity after infection, school and restaurant closures, stay-at-home orders, and mandatory face covering were associated with a smaller reduction in transmission. The data suggests that public distancing rules increased transmission in young adults. Information on local incidence was associated with a reduction in transmission of up to 44% (95%-CI: [40%, 48%]), which suggests a prominent role of behavioral adaptations to local risk of infection. Testing and tracing reduced transmission by 15% (95%-CI: [9%,20%]), where the effect was strongest among the elderly. Extrapolating weather effects, I estimate that transmission increases by 53% (95%-CI: [43%, 64%]) in colder seasons.


title: Real-time Surgical Environment Enhancement for Robot-Assisted Minimally Invasive Surgery Based on Super-Resolution

abstract: In Robot-Assisted Minimally Invasive Surgery (RAMIS), a camera assistant is normally required to control the position and zooming ratio of the laparoscope, following the surgeon's instructions. However, moving the laparoscope frequently may lead to unstable and suboptimal views, while the adjustment of zooming ratio may interrupt the workflow of the surgical operation. To this end, we propose a multi-scale Generative Adversarial Network (GAN)-based video super-resolution method to construct a framework for automatic zooming ratio adjustment. It can provide automatic real-time zooming for high-quality visualization of the Region Of Interest (ROI) during the surgical operation. In the pipeline of the framework, the Kernel Correlation Filter (KCF) tracker is used for tracking the tips of the surgical tools, while the Semi-Global Block Matching (SGBM) based depth estimation and Recurrent Neural Network (RNN)-based context-awareness are developed to determine the upscaling ratio for zooming. The framework is validated with the JIGSAW dataset and Hamlyn Centre Laparoscopic/Endoscopic Video Datasets, with results demonstrating its practicability.


title: Stochastic Attention Head Removal: A simple and effective method for improving Transformer Based ASR Models

abstract: Recently, Transformer based models have shown competitive automatic speech recognition (ASR) performance. One key factor in the success of these models is the multi-head attention mechanism. However, for trained models, we have previously observed that many attention matrices are close to diagonal, indicating the redundancy of the corresponding attention heads. We have also found that some architectures with reduced numbers of attention heads have better performance. Since the search for the best structure is time prohibitive, we propose to randomly remove attention heads during training and keep all attention heads at test time, thus the final model is an ensemble of models with different architectures. The proposed method also forces each head independently learn the most useful patterns. We apply the proposed method to train Transformer based and Convolution-augmented Transformer (Conformer) based ASR models. Our method gives consistent performance gains over strong baselines on the Wall Street Journal, AISHELL, Switchboard and AMI datasets. To the best of our knowledge, we have achieved state-of-the-art end-to-end Transformer based model performance on Switchboard and AMI.


title: Distributional properties of fluid queues busy period and first passage times

abstract: In this paper we analyze the distributional properties of a busy period in an on-off fluid queue and the a first passage time in a fluid queue driven by a finite state Markov process. In particular, we show that in Anick-Mitra-Sondhi model the first passage time has a IFR distribution and the busy period has a DFR distribution.


title: Long Range Arena: A Benchmark for Efficient Transformers

abstract: Transformers do not scale very well to long sequence lengths largely because of quadratic self-attention complexity. In the recent months, a wide spectrum of efficient, fast Transformers have been proposed to tackle this problem, more often than not claiming superior or comparable model quality to vanilla Transformer models. To this date, there is no well-established consensus on how to evaluate this class of models. Moreover, inconsistent benchmarking on a wide spectrum of tasks and datasets makes it difficult to assess relative model quality amongst many models. This paper proposes a systematic and unified benchmark, LRA, specifically focused on evaluating model quality under long-context scenarios. Our benchmark is a suite of tasks consisting of sequences ranging from $1K$ to $16K$ tokens, encompassing a wide range of data types and modalities such as text, natural, synthetic images, and mathematical expressions requiring similarity, structural, and visual-spatial reasoning. We systematically evaluate ten well-established long-range Transformer models (Reformers, Linformers, Linear Transformers, Sinkhorn Transformers, Performers, Synthesizers, Sparse Transformers, and Longformers) on our newly proposed benchmark suite. LRA paves the way towards better understanding this class of efficient Transformer models, facilitates more research in this direction, and presents new challenging tasks to tackle. Our benchmark code will be released at https://github.com/google-research/long-range-arena.


title: Quasimode and Strichartz estimates for time-dependent Schr\"odinger equations with singular potentials

abstract: We generalize the Strichartz estimates for Schr\"odinger operators on compact manifolds of Burq, G\'erard and Tzvetkov [10] by allowing critically singular potentials $V$. Specifically, we show that their $1/p$--loss $L^p_tL^q_x(I\times M)$-Strichartz estimates hold for $e^{-itH_V}$ when $H_V=-\Delta_g+V(x)$ with $V\in L^{n/2}(M)$ if $n\ge3$ or $V\in L^{1+\delta}(M)$, $\delta>0$, if $n=2$, with $(p,q)$ being as in the Keel-Tao theorem and $I\subset {\mathbb R}$ a bounded interval. We do this by formulating and proving new "quasimode" estimates for scaled dyadic unperturbed Schr\"odinger operators and taking advantage of the the fact that $1/q'-1/q=2/n$ for the endpoint Strichartz estimates when $(p,q)=(2,2n/(n-2))$. We also show that the universal quasimode estimates that we obtain are saturated on {\em any} compact manifolds; however, we suggest that they may lend themselves to improved Strichartz estimates in certain geometries using recently developed "Kakeya-Nikodym" techniques developed to obtain improved eigenfunction estimates assuming, say, negative curvatures.


title: Ghost condensation and Ostrogradskian instability on low derivative backgrounds

abstract: We show a new class of interaction terms with higher derivatives that can be added to every low derivative real scalar, such that the theory is degenerate, and the equation of motion remains of second order. In contrast to previous setups, the necessary constraints that eliminate the ghosts also have a clear physical motivation: they impose and preserve at all times the low derivative dynamics of the real scalar as a background, on top of which, the fluctuations induced by these higher derivative terms are degenerate, and ghost-free. We summarize the setup for these constrained ghost-free real scalars in a two-step prescription. In contrast to some models with first-order derivative interactions with applications for dark energy and inflation, these theories with necessarily constrained second-order derivative self-interactions do not modify the speed of propagation, neither the cone of influence for the field equations, which are prescribed by the low derivative background that is also essential to eliminate the ghost; hence, avoiding the potential superluminality issues of the former.


title: On the boundary conditions for the 1D Weyl-Majorana particle in a box

abstract: In (1+1) space-time dimensions, we can have two particles that are Weyl and Majorana particles at the same time---1D Weyl-Majorana particles. That is, the right-chiral and left-chiral parts of the two-component Dirac wave function that satisfies the Majorana condition, in the Weyl representation, describe these particles, and each satisfies their own Majorana condition. Naturally, the nonzero component of each of these two two-component wave functions satisfies a Weyl equation. We investigate and discuss this issue and demonstrate that for a 1D Weyl-Majorana particle in a box, the nonzero components, and therefore the chiral wave functions, only admit the periodic and antiperiodic boundary conditions. From the latter two boundary conditions, we can only construct four boundary conditions for the entire Dirac wave function. Then, we demonstrate that these four boundary conditions are also included within the most general set of self-adjoint boundary conditions for a 1D Majorana particle in a box.


title: Scout Algorithm For Fast Substring Matching

abstract: Exact substring matching is a common task in many software applications. Despite the existence of several algorithms for finding whether or not a pattern string is present in a target string, the most common implementation is a na\"ive, brute force approach. Alternative approaches either do not provide enough of a benefit for the added complexity, or are impractical for modern character sets, e.g., Unicode. We present a new algorithm, Scout, that is straightforward, quick and appropriate for all applications. We also compare the performance characteristics of the Scout algorithm with several others.


title: No purification ontology, no quantum paradoxes

abstract: It is almost universally believed that in quantum theory the two following statements hold: 1) all transformations are achieved by a unitary interaction followed by a von Neumann measurement; 2) all mixed states are marginals of pure entangled states. I name this doctrine the dogma of purification ontology. The source of the dogma is the original von Neumann axiomatisation of the theory, which largely relies on the Schroedinger equation as a postulate, which holds in a nonrelativistic context, and whose operator version holds only in free quantum field theory, but no longer in the interacting theory. In the present paper I prove that both ontologies of unitarity and state purity are unfalsifiable, even in principle, and therefore axiomatically spurious. I propose instead a minimal four-postulate axiomatisation: 1) associate a Hilbert space HA to each system A; 2) compose two systems by the tensor product rule HAB = HAxHB; 3) associate a transformation from system A to B to a quantum operation, i.e. to a completely positive trace-non-increasing map between the trace-class operators of A and B; 4) (Born rule) evaluate all joint probabilities through that of a special type of quantum operation: the state preparation. I then conclude that quantum paradoxes-such as the Schroedinger-cat's, and, most relevantly, the information paradox-are originated only by the dogma of purification ontology, and they are no longer paradoxes of the theory in the minimal formulation. For the same reason, most interpretations of the theory (e.g. many-world, relational, Darwinism, transactional, von Neumann-Wigner, time-symmetric, ...) interpret the same dogma, not the strict theory stripped of the spurious postulates.


title: Matchings on trees and the adjacency matrix: A determinantal viewpoint

abstract: Let $G$ be a finite tree. For any matching $M$ of $G$, let $U(M)$ be the set of vertices uncovered by $M$. Let $\mathcal{M}_G$ be a uniform random maximum size matching of $G$. In this paper, we analyze the structure of $U(\mathcal{M}_G)$. We first show that $U(\mathcal{M}_G)$ is a determinantal process. We also show that for most vertices of $G$, the process $U(\mathcal{M}_G)$ in a small neighborhood of that vertex can be well approximated based on a somewhat larger neighborhood of the same vertex. Then we show that the normalized Shannon entropy of $U(\mathcal{M}_G)$ can be also well approximated using the local structure of $G$. In other words, in the realm of trees, the normalized Shannon entropy of $U(\mathcal{M}_G)$ -- that is, the normalized logarithm of the number of maximum size matchings of $G$ -- is a Benjamini-Schramm continuous parameter. We show that $U(\mathcal{M}_G)$ is a determinantal process through establishing a new connection between $U(\mathcal{M}_G)$ and the adjacency matrix of $G$. This result sheds a new light on the well-known fact that on a tree, the number of vertices uncovered by a maximum size matching is equal to the nullity of the adjacency matrix. Some of the proofs are based on the well established method of introducing a new perturbative parameter, which we call temperature, and then define the positive temperature analogue of $\mathcal{M}_G$, the so called monomer-dimer model, and let the temperature go to zero.


title: Screening and Information-Sharing Externalities

abstract: In many settings, multiple uninformed agents bargain simultaneously with a single informed agent in each of multiple periods. For example, workers and firms negotiate each year over salaries, and the firm has private information about the value of workers' output. I study the effects of transparency in these settings; uninformed agents may observe others' past bargaining outcomes, e.g. wages. I show that in equilibrium, each uninformed agent will choose in each period whether to try to separate the informed agent's types (screen) or receive the same outcome regardless of type (pool). In other words, the agents engage in a form of experimentation via their bargaining strategies. There are two main theoretical insights. First, there is a complementary screening effect: the more agents screen in equilibrium, the lower the information rents that each will have to pay. Second, the payoff of the informed agent will have a certain supermodularity property, which implies that equilibria with screening are "fragile" to deviations by uninformed agents. I apply the results to study pay-secrecy regulations and anti-discrimination policy. I show that, surprisingly, penalties for pay discrimination have no impact on bargaining outcomes. I discuss how this result depends on the legal framework for discrimination cases, and suggest changes to enhance the efficacy of anti-discrimination regulations. In particular, anti-discrimination law should preclude the so-called "salary negotiation defense".


title: Optical vortex trajectory of the edge-diffracted single-charged Laguerre-Gaussian beam

abstract: The paper deals with the edge diffraction of the single charged Laguerre-Gaussian beam outside the waist. Based on the Kirchhoff-Fresnel integral, the behavior of the optical vortex (OV) migration during sequential beam blocking by the straight edge of the screen is performed analytically. Universal combination of the diffracting-beam parameters determining the shape for the OV spiral trajectories is revealed. Parametric equations describing the OV dislocation dependent on the beam screening degree are derived. In addition, the spiral trajectory, which describes the OV positions in the case of the screen-edge translatory motion across the incident beam under conditions of the weak diffraction perturbation, is obtained. As a result, the equation for a wider region of diffraction perturbation is selected as a best matching function for a certain variation interval of the beam parameters. The work has prepared the basis for solving the inverse diffraction problem: determining parameters of the beam diffractive interaction with obstacles from the migration trajectory of the optical vortex.


title: Functoriality for symplectic and contact cutting, and equivariant radial-squared blowups

abstract: We exhibit Lerman's cutting procedure as a functor from the category of manifolds-with-boundary equipped with free circle actions near the boundary, with so-called equivariant transverse maps, to the category of manifolds and smooth maps. We then apply the cutting procedure to differential forms that are not necessarily symplectic, to distributions that are not necessarily contact, and to submanifolds. We obtain an inverse functor from so-called equivariant radial-squared blowup.


title: Provenance-Based Interpretation of Multi-Agent Information Analysis

abstract: Analytic software tools and workflows are increasing in capability, complexity, number, and scale, and the integrity of our workflows is as important as ever. Specifically, we must be able to inspect the process of analytic workflows to assess (1) confidence of the conclusions, (2) risks and biases of the operations involved, (3) sensitivity of the conclusions to sources and agents, (4) impact and pertinence of various sources and agents, and (5) diversity of the sources that support the conclusions. We present an approach that tracks agents' provenance with PROV-O in conjunction with agents' appraisals and evidence links (expressed in our novel DIVE ontology). Together, PROV-O and DIVE enable dynamic propagation of confidence and counter-factual refutation to improve human-machine trust and analytic integrity. We demonstrate representative software developed for user interaction with that provenance, and discuss key needs for organizations adopting such approaches. We demonstrate all of these assessments in a multi-agent analysis scenario, using an interactive web-based information validation UI.


title: Finite group actions on Higgs bundle moduli spaces and twisted equivariant structures

abstract: We consider the moduli space ${\cal M}(G)$ of $G$-Higgs bundles over a compact Riemann surface $X$, where $G$ is a semisimple complex Lie group, and study the action of a finite group $\Gamma$ on ${\cal M}(G)$ induced by a holomorphic action of $\Gamma$ on $X$ and $G$, and a character of $\Gamma$. The fixed-point subvariety for this action is given by a union of moduli spaces of $G$-Higgs bundles equipped with a certain twisted $\Gamma$-equivariant structure involving a $2$-cocycle of $\Gamma$ with values in the centre of $G$. This union is paremeterized by the non-abelian first cohomology set of $\Gamma$ in the adjoint group of $G$. We also describe the fixed points in the moduli space of representations of the fundamental group of $X$ in $G$, via a twisted equivariant version of the non-abelian Hodge correspondence, which involves the $\Gamma$-equivariant fundamental group of $X$.


title: Online Sparse Reinforcement Learning

abstract: We investigate the hardness of online reinforcement learning in fixed horizon, sparse linear Markov decision process (MDP), with a special focus on the high-dimensional regime where the ambient dimension is larger than the number of episodes. Our contribution is two-fold. First, we provide a lower bound showing that linear regret is generally unavoidable in this case, even if there exists a policy that collects well-conditioned data. The lower bound construction uses an MDP with a fixed number of states while the number of actions scales with the ambient dimension. Note that when the horizon is fixed to one, the case of linear stochastic bandits, the linear regret can be avoided. Second, we show that if the learner has oracle access to a policy that collects well-conditioned data then a variant of Lasso fitted Q-iteration enjoys a nearly dimension-free regret of $\tilde{O}( s^{2/3} N^{2/3})$ where $N$ is the number of episodes and $s$ is the sparsity level. This shows that in the large-action setting, the difficulty of learning can be attributed to the difficulty of finding a good exploratory policy.


title: Sparse Feature Selection Makes Batch Reinforcement Learning More Sample Efficient

abstract: This paper provides a statistical analysis of high-dimensional batch Reinforcement Learning (RL) using sparse linear function approximation. When there is a large number of candidate features, our result sheds light on the fact that sparsity-aware methods can make batch RL more sample efficient. We first consider the off-policy policy evaluation problem. To evaluate a new target policy, we analyze a Lasso fitted Q-evaluation method and establish a finite-sample error bound that has no polynomial dependence on the ambient dimension. To reduce the Lasso bias, we further propose a post model-selection estimator that applies fitted Q-evaluation to the features selected via group Lasso. Under an additional signal strength assumption, we derive a sharper instance-dependent error bound that depends on a divergence function measuring the distribution mismatch between the data distribution and occupancy measure of the target policy. Further, we study the Lasso fitted Q-iteration for batch policy optimization and establish a finite-sample error bound depending on the ratio between the number of relevant features and restricted minimal eigenvalue of the data's covariance. In the end, we complement the results with minimax lower bounds for batch-data policy evaluation/optimization that nearly match our upper bounds. The results suggest that having well-conditioned data is crucial for sparse batch policy learning.


title: High-Dimensional Sparse Linear Bandits

abstract: Stochastic linear bandits with high-dimensional sparse features are a practical model for a variety of domains, including personalized medicine and online advertising. We derive a novel $\Omega(n^{2/3})$ dimension-free minimax regret lower bound for sparse linear bandits in the data-poor regime where the horizon is smaller than the ambient dimension and where the feature vectors admit a well-conditioned exploration distribution. This is complemented by a nearly matching upper bound for an explore-then-commit algorithm showing that that $\Theta(n^{2/3})$ is the optimal rate in the data-poor regime. The results complement existing bounds for the data-rich regime and provide another example where carefully balancing the trade-off between information and regret is necessary. Finally, we prove a dimension-free $O(\sqrt{n})$ regret upper bound under an additional assumption on the magnitude of the signal for relevant features.


title: On the role of planning in model-based deep reinforcement learning

abstract: Model-based planning is often thought to be necessary for deep, careful reasoning and generalization in artificial agents. While recent successes of model-based reinforcement learning (MBRL) with deep function approximation have strengthened this hypothesis, the resulting diversity of model-based methods has also made it difficult to track which components drive success and why. In this paper, we seek to disentangle the contributions of recent methods by focusing on three questions: (1) How does planning benefit MBRL agents? (2) Within planning, what choices drive performance? (3) To what extent does planning improve generalization? To answer these questions, we study the performance of MuZero (Schrittwieser et al., 2019), a state-of-the-art MBRL algorithm with strong connections and overlapping components with many other MBRL algorithms. We perform a number of interventions and ablations of MuZero across a wide range of environments, including control tasks, Atari, and 9x9 Go. Our results suggest the following: (1) Planning is most useful in the learning process, both for policy updates and for providing a more useful data distribution. (2) Using shallow trees with simple Monte-Carlo rollouts is as performant as more complex methods, except in the most difficult reasoning tasks. (3) Planning alone is insufficient to drive strong generalization. These results indicate where and how to utilize planning in reinforcement learning settings, and highlight a number of open questions for future MBRL research.


title: The Hierarchical Chinese Postman Problem: the slightest disorder makes it hard, yet disconnectedness is manageable

abstract: The Hierarchical Chinese Postman Problem is finding a shortest traversal of all edges of a graph respecting precedence constraints given by a partial order on classes of edges. We show that the special case with connected classes is NP-hard even on orders decomposable into a chain and an incomparable class. For the case with linearly ordered (possibly disconnected) classes, we get 5/3-approximations and fixed-parameter algorithms by transferring results from the Rural Postman Problem.


title: Magnetic Phase Transition in the Ground-State Phase Diagram of Binary Bose Gases in Optical Lattices

abstract: We investigate the ground-state phase diagram of interacting binary Bose gases trapped in two-dimensional optical lattices by means of quantum Monte Carlo simulations. Our simulations reveal a magnetic phase transition from a $x-y$ ferromagnetic-order to a spin insulator inside the Mott insulating phase with two particles per site for quasi-balanced on-site inter- and intra-particle interactions, i.e., $U_{\uparrow \downarrow} \lesssim U$. This 3D-XY transition is characterized by the establishment of a finite local magnetic moment along the $z$-axis, ferromagnetic correlations in the $x-y$ plan and by counterflow superfluidity inside the Mott phase. When decreasing $U_{\uparrow \downarrow}/U$, this transition merges with the Mott-superfluid transition and becomes first-order. The merging of the two transitions is investigated with respect to $U_{\uparrow \downarrow}/U$ parameter.


title: Molecular dynamics simulations of sodium nanoparticle deposition on magnesium oxide

abstract: The interaction of mass-selected atomic clusters and nanoparticles with surfaces attracts strong interest in view of fundamental research and technological applications. Understanding dynamics of the deposition process is important for controlling structure and functioning of deposited nanoparticles on a substrate, but experimental techniques can usually observe only the final outcome of the deposition process. In this paper, the deposition of 4 nm-sized sodium nanoparticles on an experimentally relevant magnesium oxide substrate is studied by means of classical molecular dynamics simulations. An empirical force field is derived which accounts for the interaction of highly polarizable Na atoms with the surface, reproducing the results of previously reported quantum mechanics/molecular mechanics simulations. Molecular dynamics simulations permit exploring the dynamics of deposited nanoparticles on long timescales on the order of hundreds of picoseconds, thus enabling the analysis of energy relaxation mechanisms and the evolution of nanoparticle structure up to its thermalization with the substrate. Several nanoparticle characteristics, such as internal structure, contact angle, and aspect ratio are studied in a broad deposition energy range from the soft landing to multi-fragmentation regimes.


title: On the multidimensional K-moment problem

abstract: We prove a solvability theorem for the Stieltjes moment problem on $R^d$ which is based on the multivariate Stieltjes condition $\sum_{n=1}^\infty L(x_j^n)^{-1/(2n)}=+\infty$, $j=1,\dots,d.$ This result is applied to derive a new solvability theorem for the moment problem on unbounded semi-algebraic subsets of $R^d$.


title: Pathwise Conditioning of Gaussian Processes

abstract: As Gaussian processes are used to answer increasingly complex questions, analytic solutions become scarcer and scarcer. Monte Carlo methods act as a convenient bridge for connecting intractable mathematical expressions with actionable estimates via sampling. Conventional approaches for simulating Gaussian process posteriors view samples as draws from marginal distributions of process values at finite sets of input locations. This distribution-centric characterization leads to generative strategies that scale cubically in the size of the desired random vector. These methods are prohibitively expensive in cases where we would, ideally, like to draw high-dimensional vectors or even continuous sample paths. In this work, we investigate a different line of reasoning: rather than focusing on distributions, we articulate Gaussian conditionals at the level of random variables. We show how this pathwise interpretation of conditioning gives rise to a general family of approximations that lend themselves to efficiently sampling Gaussian process posteriors. Starting from first principles, we derive these methods and analyze the approximation errors they introduce. We, then, ground these results by exploring the practical implications of pathwise conditioning in various applied settings, such as global optimization and reinforcement learning.


title: Sum-of-squares hierarchies for binary polynomial optimization

abstract: We consider the sum-of-squares hierarchy of approximations for the problem of minimizing a polynomial $f$ over the boolean hypercube $\mathbb{B}^{n}=\{0,1\}^n$. This hierarchy provides for each integer $r \in \mathbb{N}$ a lower bound $f_{(r)}$ on the minimum $f_{\min}$ of $f$, given by the largest scalar $\lambda$ for which the polynomial $f - \lambda$ is a sum-of-squares on $\mathbb{B}^{n}$ with degree at most $2r$. We analyze the quality of these bounds by estimating the worst-case error $f_{\min} - f_{(r)}$ in terms of the least roots of the Krawtchouk polynomials. As a consequence, for fixed $t \in [0, 1/2]$, we can show that this worst-case error in the regime $r \approx t \cdot n$ is of the order $1/2 - \sqrt{t(1-t)}$ as $n$ tends to $\infty$. Our proof combines classical Fourier analysis on $\mathbb{B}^{n}$ with the polynomial kernel technique and existing results on the extremal roots of Krawtchouk polynomials. This link to roots of orthogonal polynomials relies on a connection between the hierarchy of lower bounds $f_{(r)}$ and another hierarchy of upper bounds $f^{(r)}$, for which we are also able to establish the same error analysis. Our analysis extends to the minimization of a polynomial over the $q$-ary cube $(\mathbb{Z}/q\mathbb{Z})^{n}$.


title: Linear time algorithm for the conjugacy problem in the first Grigorchuk group

abstract: We prove that the conjugacy problem in the first Grigorchuck group $\Gamma$ can be solved in linear time. Furthermore, the problem to decide if a list of elements $w_1,\ldots,w_k\in\Gamma$ contains a pair of conjugate elements can be solved in linear time. We also show that a conjugator for a pair of conjugate element $u,v\in\Gamma$ can be found in polynomial time.


title: Influence of external driving on decays in the geometry of the LiCN isomerization

abstract: The framework of transition state theory relies on the determination of a geometric structure identifying reactivity. It replaces the laborious exercise of following many trajectories for a long time to provide chemical reaction rates and pathways. In this paper, recent advances in constructing this geometry even in time-dependent systems are applied to the LiCN $\rightleftharpoons$ LiNC isomerization reaction, driven by an external field. We obtain decay rates of the reactant population close to the transition state by exploiting local properties of the dynamics of trajectories in and close to it. We find that the external driving has a large influence on these decay rates when compared to the non-driven isomerization reaction. This, in turn, provides renewed evidence for the possibility of controlling chemical reactions, like this one, through external time-dependent fields.


title: Influence of interactions on Integer Quantum Hall Effect

abstract: Conductivity of Integer Quantum Hall Effect (IQHE) may be expressed as the topological invariant composed of the two - point Green function. Such a topological invariant is known both for the case of homogeneous systems with intrinsic Anomalous Quantum Hall Effect (AQHE) and for the case of IQHE in the inhomogeneous systems. In the latter case we may speak, for example, of the AQHE in the presence of elastic deformations and of the IQHE in presence of magnetic field. The topological invariant for the general case of inhomogeneous systems is expressed through the Wigner transformed Green functions and contains Moyal product. When it is reduced to the expression for the IQHE in the homogeneous systems the Moyal product is reduced to the ordinary one while the Wigner transformed Green function (defined in phase space) is reduced to the Green function in momentum space. Originally the mentioned above topological representation has been derived for the non - interacting systems. We demonstrate that in a wide range of different cases in the presence of interactions the Hall conductivity is given by the same expression, in which the noninteracting two - point Green function is substituted by the complete two - point Green function with the interactions taken into account. Several types of interactions are considered including the contact four - fermion interactions, Yukawa and Coulomb interactions. We present the complete proof of this statement up to the two loops, and argue that the similar result remains to all orders of perturbation theory. It is based on the incorporation of Wigner - Weyl calculus to the perturbation theory. We, therefore, formulate Feynmann rules of diagram technique in terms of the Wigner transformed propagators.


title: Estimating rate-induced tipping via asymptotic series and a Melnikov-like method

abstract: The paper deals with the study of rate-induced tipping in asymptotically autonomous scalar ordinary differential equations. We prove that, in such a tipping scenario, a solution which limits at a hyperbolic stable equilibrium of the past limit-problem loses uniform asymptotic stability and coincides with a solution which limits at a hyperbolic unstable equilibrium of the future limit-problem. We use asymptotic series to approximate such pairs of solutions and characterize the occurrence of a rate-induced tipping by using only solutions calculable on finite time intervals. Moreover, we show that a Melnikov-inspired method employing the asymptotic series allows to asymptotically approximate the tipping point.


title: Gravitational wave echoes from black holes in massive gravity

abstract: Gravitational waves are rapidly becoming a very reliable tool for testing alternative theories of gravity. In particular, features in the gravitational wave emission during black hole ringdown phase provide a direct probe of the spacetime outside the black hole. In this article, we consider black holes in ghost-free massive gravity. These black holes generically have scalar hair. We found that a simple coupling between gravitational perturbations and this scalar hair can change the quasinormal ringing of the black hole, and in particular, produce echoes in the emitted gravitational waves. This finding provides a clear-cut way to test massive gravity theory using gravitational wave observations.


title: Meron, skyrmion, and vortex crystals in centrosymmetric tetragonal magnets

abstract: The recent experimental confirmation of a transformation between meron and skyrmion topological spin textures in the chiral magnet Co$_8$Zn$_9$Mn$_3$ [S.-Z. Lin et al., Phys. Rev. B 91, 224407 (2015); X. Z. Yu et al., Nature 564, 95 (2018)] confirms that the skyrmion crystals discovered in 2009 [S. M\"{u}hlbauer et al., Science 323, 915 (2009)] are just the tip of the iceberg. Crystals of topological textures, including skyrmions, merons, vortices, and monopoles, can be stabilized by combining simple physical ingredients, such as lattice symmetry, frustration, and spin anisotropy. The current challenge is to find the combinations of these ingredients that produce specific topological spin textures. Here we report a simple mechanism for the stabilization of meron, skyrmion, and vortex crystals in centrosymmetric tetragonal magnets. In particular, the meron/skyrmion crystals can form even in absence of magnetic field. The application of magnetic field leads to a rich variety of topological spin textures that survive in the long wavelength limit of the theory. When conduction electrons are coupled to the spins, these topological spin textures twist the electronic wave functions to induce Chern insulators and Weyl semimetals for specific band filling fractions.


title: A Strictly $ \text{NSOP}_3 $ Theory

abstract: We define the new notion of a $ \mu$-uniformly-counter-collapsed structure using which we introduce a theory $ \mathbb{T}_\mu $ serving as the first example of a strictly $ \text{NSOP}_3 $ theory. This answers a question posed in [DS04] and reappeared in [SU08] and [MS16]. The existence of such a theory provides a better understanding of the hierarchy of unstable theories without the strict order property.


title: Landscape Higgs and sparticle mass predictions from a logarithmic soft term distribution

abstract: Recent work on calculating string theory landscape statistical predictions for the Higgs and sparticle mass spectrum from an assumed power-law soft term distribution yields an expectation for m(h)~ 125 GeV with sparticles (save light higgsinos) somewhat beyond reach of high-luminosity LHC. A recent examination of statistics of SUSY breaking in IIB string models with stabilized moduli suggests a power-law for models based on KKLT stabilization and uplifting while models based on large-volume scenario (LVS) instead yield an expected logarithmic soft term distribution. We evaluate statistical distributions for Higgs and sparticle masses from the landscape with a log soft term distribution and find the Higgs mass still peaks around ~125 GeV with sparticles beyond LHC reach, albeit with somewhat softer distributions than those arising from a power-law.


title: Elastocapillary network model of inhalation

abstract: The seemingly simple process of inhalation relies on a complex interplay between muscular contraction in the thorax, elasto-capillary interactions in individual lung branches, propagation of air between different connected branches, and overall air flow into the lungs. These processes occur over considerably different length and time scales; consequently, linking them to the biomechanical properties of the lungs, and quantifying how they together control the spatiotemporal features of inhalation, remains a challenge. We address this challenge by developing a computational model of the lungs as a hierarchical, branched network of connected liquid-lined flexible cylinders coupled to a viscoelastic thoracic cavity. Each branch opens at a rate and a pressure that is determined by input biomechanical parameters, enabling us to test the influence of changes in the mechanical properties of lung tissues and secretions on inhalation dynamics. By summing the dynamics of all the branches, we quantify the evolution of overall lung pressure and volume during inhalation, reproducing the shape of measured breathing curves. Using this model, we demonstrate how changes in lung muscle contraction, mucus viscosity and surface tension, and airway wall stiffness---characteristic of many respiratory diseases, including those arising from COVID-19, cystic fibrosis, chronic obstructive pulmonary disease, asthma, and emphysema---drastically alter inhaled lung capacity and breathing duration. Our work therefore helps to identify the key factors that control breathing dynamics, and provides a way to quantify how disease-induced changes in these factors lead to respiratory distress.

categories: physics.bio-ph cond-mat.soft physics.flu-dyn physics.med-ph


title: Vector Difference Equations, Substochastic Matrices, and Design of Multi-Networks to Reduce the Spread of Epidemics

abstract: Cities have long served as nucleating centers for human development and advancement. Cities have facilitated the spread of both human creativity and human disease, and at the same time, efforts to minimize the spread of disease have influenced the design of cities. The purpose of this paper is to explore the dynamics of epidemics on networks in order to help design a multi-network city of the future aimed at minimizing the spread of epidemics. In order to do this, we start with the SIR model (susceptible, infected, removed) on a network in which nodes represent cities or regions and edges are weighted by flows between regions. Since the goal is to stabilize the zero infections steady state, we linearize the discrete-time SIR model yielding difference equations for the dynamics of infections at each node and then include flows of infections from other nodes. This yields a vector difference equation for the spread of infections. We then generalize the concept of stochastic matrix in order to quantify the dynamics of this update equation. The entries of the update matrix $M$ may vary in time, even discontinuously as flows between nodes are turned on and off. This may yield useful design constraints for a multi-network composed of weak and strong interactions between pairs of nodes representing interactions within and among cities.


title: Considerations about the incompleteness of the Ehrenfest's theorem in quantum mechanics

abstract: We describe a study motivated by our interest to examine the incompleteness of the Ehrenfest's theorem in quantum mechanics and to resolve a doubt regarding whether or not the hermiticity of the hamiltonian operator is sufficient to justify a simplification of the expression of the macroscopic-observable time derivative that promotes the one usually found in quantum-mechanics textbooks. The study develops by considering the simple quantum system "particle in one-dimensional box". We propose theoretical arguments to support the incompleteness of the Ehrenfest's theorem in the formulation he gave, in agreement with similar findings already published by a few authors, and corroborate them with the numerical example of an electric charge in an electrostatic field. The contents of this study should be useful to Bachelor and Master students; the style of the discussions is tailored to stimulate, we hope, the student's ability for independent thinking.


title: On a Conjecture of Gowers on Clique Differences

abstract: We solve a conjecture of Gowers from 2009 on clique differences in chains, thus ruling out any Sperner-type proof of the polynomial density Hales-Jewett Theorem for alphabets of size $2$.


title: Analysis and modeling of low frequency local field oscillations in a hippocampus circuit under osmotic challenge: the possible role of arginine vasopressin circuit for hippocampal function

abstract: Electrophysiological time series were taken simultaneously in two locations in the hippocampus of a rat brain previously described as receiving innervation from the osmosensitive vasopressinergic neurons of the hypothalamus. A hyperosmotic saline solution injection was administered during the time of the experiment. We analyze the recorded time series using different methods. We detect a modification of the delta and theta oscillations just after the perturbation caused by the injection. We compare the quality and information that each one of the methods exhibit and we analyze the characteristics of the perturbation based on a hypothesis that the strength of the functional connections between the vasopressinergic hypothalamic magnocellular neurons and their target in the hippocampus is modified by the perturbation. We built a model of the hypothetic neural connections and numerically calculate the time series produced by the system when simulating the perturbation caused by the saline injection. The theoretical results resemble the experimental findings concerning the frequency and amplitude alterations of the delta and theta bands.


title: Unwrapping The Black Box of Deep ReLU Networks: Interpretability, Diagnostics, and Simplification

abstract: The deep neural networks (DNNs) have achieved great success in learning complex patterns with strong predictive power, but they are often thought of as "black box" models without a sufficient level of transparency and interpretability. It is important to demystify the DNNs with rigorous mathematics and practical tools, especially when they are used for mission-critical applications. This paper aims to unwrap the black box of deep ReLU networks through local linear representation, which utilizes the activation pattern and disentangles the complex network into an equivalent set of local linear models (LLMs). We develop a convenient LLM-based toolkit for interpretability, diagnostics, and simplification of a pre-trained deep ReLU network. We propose the local linear profile plot and other visualization methods for interpretation and diagnostics, and an effective merging strategy for network simplification. The proposed methods are demonstrated by simulation examples, benchmark datasets, and a real case study in home lending credit risk assessment.


title: Dynamics and bifurcations on the normally hyperbolic invariant manifold of a periodically driven system with rank-1 saddle

abstract: In chemical reactions, trajectories typically turn from reactants to products when crossing a dividing surface close to the normally hyperbolic invariant manifold (NHIM) given by the intersection of the stable and unstable manifolds of a rank-1 saddle. Trajectories started exactly on the NHIM in principle never leave this manifold when propagated forward or backward in time. This still holds for driven systems when the NHIM itself becomes time dependent. We investigate the dynamics on the NHIM for a periodically driven model system with two degrees of freedom by numerically stabilizing the motion. Using Poincar\'e surfaces of section we demonstrate the occurrence of structural changes of the dynamics, \emph{viz.}, bifurcations of periodic transition state (TS) trajectories when changing the amplitude and frequency of the external driving. In particular, periodic TS trajectories with the same period as the external driving but significantly different parameters---such as mean energy---compared to the ordinary TS trajectory can be created in a saddle-node bifurcation.


title: Hydrostatic approximation of the 2D MHD system in a thin strip with a small analytic data

abstract: In this paper, we study the global well-posedness of the two dimensional rescaled anisotropic MHD system and also to the hydrostatic MHD with no slip boundary condition in a strip, for small initial data, which are analytic in the horizontal variable. We also justify the limit of the MHD system (when $\epsilon\to 0$ where $\epsilon$ denotes the height of the initial strip) is given by a couple of a Prandtl like system for the velocity and a magnetic field equation when the initial data are small and analytic.


title: Exploring End-to-End Differentiable Natural Logic Modeling

abstract: We explore end-to-end trained differentiable models that integrate natural logic with neural networks, aiming to keep the backbone of natural language reasoning based on the natural logic formalism while introducing subsymbolic vector representations and neural components. The proposed model adapts module networks to model natural logic operations, which is enhanced with a memory component to model contextual information. Experiments show that the proposed framework can effectively model monotonicity-based reasoning, compared to the baseline neural network models without built-in inductive bias for monotonicity-based reasoning. Our proposed model shows to be robust when transferred from upward to downward inference. We perform further analyses on the performance of the proposed model on aggregation, showing the effectiveness of the proposed subcomponents on helping achieve better intermediate aggregation performance.


title: Generating Concurrent Programs From Sequential Data Structure Knowledge

abstract: In this paper we tackle the problem of automatically designing concurrent data structure operations given a sequential data structure specification and knowledge about concurrent behavior. Designing concurrent code is a non-trivial task even in simplest of cases. Humans often design concurrent data structure operations by transforming sequential versions into their respective concurrent versions. This requires an understanding of the data structure, its sequential behavior, thread interactions during concurrent execution and shared memory synchronization primitives. We mechanize this design process using automated commonsense reasoning. We assume that the data structure description is provided as axioms alongside the sequential code of its algebraic operations. This information is used to automatically derive concurrent code for that data structure, such as dictionary operations for linked lists and binary search trees. Knowledge in our case is expressed using Answer Set Programming (ASP), and we employ deduction, induction and abduction---just as humans do---in the reasoning involved. ASP allows for succinct modeling of first order theories of pointer data structures, run-time thread interactions and shared memory synchronization. Our reasoner can systematically make the same judgments as a human reasoner while constructing provably safe concurrent code. We present several reasoning challenges involved in transforming the sequential data structure into its equivalent concurrent version. All the reasoning tasks are encoded in ASP and our reasoner can make sound judgments to transform sequential code into concurrent code. To the best of our knowledge, our work is the first one to use commonsense reasoning to automatically transform sequential programs into concurrent code.


title: Representability of the local motivic Brouwer degree

abstract: We study which quadratic forms are representable as the local degree of a map $f : A^n \to A^n$ with an isolated zero at $0$, following the work of Kass and Wickelgren who established the connection to the quadratic form of Eisenbud, Khimshiashvili, and Levine. Our main observation is that over some base fields $k$, not all quadratic forms are representable as a local degree. Empirically the local degree of a map $f : A^n \to A^n$ has many hyperbolic summands, and we prove that in fact this is the case for local degrees of low rank. We establish a complete classification of the quadratic forms of rank at most $7$ that are representable as the local degree of a map over all base fields of characteristic different from $2$. The number of hyperbolic summands was also studied by Eisenbud and Levine, where they establish general bounds on the number of hyperbolic forms that must appear in a quadratic form that is representable as a local degree. Our proof method is elementary and constructive in the case of rank 5 local degrees, while the work of Eisenbud and Levine is more general. We provide further families of examples that verify that the bounds of Eisenbud and Levine are tight in several cases.


title: Computing Lengths of Non-Crossing Shortest Paths in Planar Graphs

abstract: Given a plane undirected graph $G$ with non-negative edge weights and a set of $k$ terminal pairs on the external face, it is shown in Takahashi et al. (Algorithmica, 16, 1996, pp. 339-357) that the union $U$ of $k$ non-crossing shortest paths joining the $k$ terminal pairs (if they exist) can be computed in $O(n\log n)$ time, where $n$ is the number of vertices of $G$. In the restricted case in which the union $U$ of the shortest paths is a forest, it is also shown that their lengths can be computed in the same time bound. We show in this paper that it is always possible to compute the lengths of $k$ non-crossing shortest paths joining the $k$ terminal pairs in linear time, once the shortest paths union $U$ has been computed, also in the case $U$ contains cycles. Moreover, each shortest path $\pi$ can be listed in $O(\max\{\ell, \ell \log\frac{k}{\ell} \})$, where $\ell$ is the number of edges in $\pi$. As a consequence, the problem of computing non-crossing shortest paths and their lengths in a plane undirected weighted graph can be solved in $O(n\log k)$ time in the general case.


title: State-independent quantum contextuality with projectors of nonunit rank

abstract: Virtually all of the analysis of quantum contextuality is restricted to the case where events are represented by rank-one projectors. This restriction is arbitrary and not motivated by physical considerations. We show here that loosening the rank constraint opens a new realm of quantum contextuality and we demonstrate that state-independent contextuality can even require projectors of nonunit rank. This enables the possibility of state-independent contextuality with less than 13 projectors, which is the established minimum for the case of rank one. We prove that for any rank, at least 9 projectors are required. Furthermore, in an exhaustive numerical search we find that 13 projectors are also minimal for the cases where all projectors are uniformly of rank two or uniformly of rank three.


title: FairLens: Auditing Black-box Clinical Decision Support Systems

abstract: The pervasive application of algorithmic decision-making is raising concerns on the risk of unintended bias in AI systems deployed in critical settings such as healthcare. The detection and mitigation of biased models is a very delicate task which should be tackled with care and involving domain experts in the loop. In this paper we introduce FairLens, a methodology for discovering and explaining biases. We show how our tool can be used to audit a fictional commercial black-box model acting as a clinical decision support system. In this scenario, the healthcare facility experts can use FairLens on their own historical data to discover the model's biases before incorporating it into the clinical decision flow. FairLens first stratifies the available patient data according to attributes such as age, ethnicity, gender and insurance; it then assesses the model performance on such subgroups of patients identifying those in need of expert evaluation. Finally, building on recent state-of-the-art XAI (eXplainable Artificial Intelligence) techniques, FairLens explains which elements in patients' clinical history drive the model error in the selected subgroup. Therefore, FairLens allows experts to investigate whether to trust the model and to spotlight group-specific biases that might constitute potential fairness issues.


title: Adaptive Federated Dropout: Improving Communication Efficiency and Generalization for Federated Learning

abstract: With more regulations tackling users' privacy-sensitive data protection in recent years, access to such data has become increasingly restricted and controversial. To exploit the wealth of data generated and located at distributed entities such as mobile phones, a revolutionary decentralized machine learning setting, known as Federated Learning, enables multiple clients located at different geographical locations to collaboratively learn a machine learning model while keeping all their data on-device. However, the scale and decentralization of federated learning present new challenges. Communication between the clients and the server is considered a main bottleneck in the convergence time of federated learning. In this paper, we propose and study Adaptive Federated Dropout (AFD), a novel technique to reduce the communication costs associated with federated learning. It optimizes both server-client communications and computation costs by allowing clients to train locally on a selected subset of the global model. We empirically show that this strategy, combined with existing compression methods, collectively provides up to 57x reduction in convergence time. It also outperforms the state-of-the-art solutions for communication efficiency. Furthermore, it improves model generalization by up to 1.7%.


title: Grover's search algorithm for $n$ qubits with optimal number of iterations

abstract: The success probability of a search of $M$ targets from a database of size $N$, using Grover's search algorithm depends critically on the number of iterations of the composite operation of the oracle followed by Grover's diffusion operation. Although the required number of iterations scales as $\mathcal{O}(\sqrt{N})$ for large $N$, the asymptote is not a good indicator of the optimal number of iterations when $\sqrt{M/N}$ is not small. A scheme for the determination of the exact number of iterations, subject to a threshold set for the success probability of the search (probability of detecting the target state(s)), is crucial for the efficacy of the algorithm. In this work, a general scheme for the construction of $n$-qubit Grover's search algorithm with $1 \leq M \leq N$ target states is presented, along with the procedure to find the optimal number of iterations for a successful search. It is also shown that for given $N$ and $M$, there is an upper-bound on the success probability of the algorithm.


title: Predictive Analysis of Diabetic Retinopathy with Transfer Learning

abstract: With the prevalence of Diabetes, the Diabetes Mellitus Retinopathy (DR) is becoming a major health problem across the world. The long-term medical complications arising due to DR have a significant impact on the patient as well as the society, as the disease mostly affects individuals in their most productive years. Early detection and treatment can help reduce the extent of damage to the patients. The rise of Convolutional Neural Networks for predictive analysis in the medical field paves the way for a robust solution to DR detection. This paper studies the performance of several highly efficient and scalable CNN architectures for Diabetic Retinopathy Classification with the help of Transfer Learning. The research focuses on VGG16, Resnet50 V2 and EfficientNet B0 models. The classification performance is analyzed using several performance metrics including True Positive Rate, False Positive Rate, Accuracy, etc. Also, several performance graphs are plotted for visualizing the architecture performance including Confusion Matrix, ROC Curve, etc. The results indicate that Transfer Learning with ImageNet weights using VGG 16 model demonstrates the best classification performance with the best Accuracy of 95%. It is closely followed by ResNet50 V2 architecture with the best Accuracy of 93%. This paper shows that predictive analysis of DR from retinal images is achieved with Transfer Learning on Convolutional Neural Networks.


title: Singularities, mixing and non-Markovianity of Pauli dynamical maps

abstract: Quantum non-Markovianity of channels can be produced by mixing Markovian channels, as observed recently by various authors. We consider an analogous question of whether singularities of the channel can be produced by mixing non-singular channels, i.e., ones that lack them. Here we answer the question in the negative in the context of qubit Pauli channels. On the other hand, mixing channels with a singularity can lead to the elimination of singularities in the resultant channel. We distinguish between two types of singular channels, which lead under mixing to broadly quite different properties of the singularity in the resultant channel. The connection to non-Markovianity (in the sense of completely positive indivisibility) is pointed out. These results impose nontrivial restrictions on the experimental realization of non-invertible quantum channels by a process of channel mixing.


title: Engines of Parsimony: Part II; Performance Trade-offs for Communicating Reversible Computers

abstract: In Part I of this series, the limits on the sustained performance of large reversible computers were investigated and found to scale as $\sqrt{AV}$ where $A$ is the convex bounding surface area of the system and $V$ its internal volume, compared to $A$ for an irreversible computer. This analysis neglected to consider interactions between components of the system however, instead focussing on raw computational power. In this part we extend this analysis to consider synchronisation events such as communication between independent reversible processors subject to a limiting supply of free energy. It is found that, whilst asynchronous computation can proceed at a rate $b\lambda$, synchronisation events proceed at the much slower rate $\sim b^2\lambda$; in these rate expressions, $\lambda$ is the gross transition rate for each processor and $b\sim\sqrt{A/V}\ll1$ is the 'computational bias' measuring the net fraction of transitions which are successful. Whilst derived for Brownian reversible computers, this result applies to all forms of reversible computer, including Quantum computers. In fact this result is an upper bound, and one must choose the phase space geometry of the synchronisation events carefully to avoid even worse performance. In the limit of large computers, communication will therefore tend to freeze out as $b\to0$; if, however, one is willing to restrict the number of processors permitted to share state at any given time then this rate can be ameliorated and performance on par with asynchronous computation can be recovered.


title: Fourier-based and Rational Graph Filters for Spectral Processing

abstract: Data are represented as graphs in a wide range of applications, such as Computer Vision (e.g., images) and Graphics (e.g., 3D meshes), network analysis (e.g., social networks), and bio-informatics (e.g., molecules). In this context, our overall goal is the definition of novel Fourier-based and graph filters induced by rational polynomials for graph processing, which generalise polynomial filters and the Fourier transform to non-Euclidean domains. For the efficient evaluation of discrete spectral Fourier-based and wavelet operators, we introduce a spectrum-free approach, which requires the solution of a small set of sparse, symmetric, well-conditioned linear systems and is oblivious of the evaluation of the Laplacian or kernel spectrum. Approximating arbitrary graph filters with rational polynomials provides a more accurate and numerically stable alternative with respect to polynomials. To achieve these goals, we also study the link between spectral operators, wavelets, and filtered convolution with integral operators induced by spectral kernels. According to our tests, main advantages of the proposed approach are (i) its generality with respect to the input data (e.g., graphs, 3D shapes), applications (e.g., signal reconstruction and smoothing, shape correspondence), and filters (e.g., polynomial, rational polynomial), and (ii) a spectrum-free computation with a generally low computational cost and storage overhead.


title: Performance Analysis of Optimizers for Plant Disease Classification with Convolutional Neural Networks

abstract: Crop failure owing to pests & diseases are inherent within Indian agriculture, leading to annual losses of 15 to 25% of productivity, resulting in a huge economic loss. This research analyzes the performance of various optimizers for predictive analysis of plant diseases with deep learning approach. The research uses Convolutional Neural Networks for classification of farm or plant leaf samples of 3 crops into 15 classes. The various optimizers used in this research include RMSprop, Adam and AMSgrad. Optimizers Performance is visualised by plotting the Training and Validation Accuracy and Loss curves, ROC curves and Confusion Matrix. The best performance is achieved using Adam optimizer, with the maximum validation accuracy being 98%. This paper focuses on the research analysis proving that plant diseases can be predicted and pre-empted using deep learning methodology with the help of satellite, drone based or mobile based images that result in reducing crop failure and agricultural losses.


title: Analysis of Dimensional Influence of Convolutional Neural Networks for Histopathological Cancer Classification

abstract: Convolutional Neural Networks can be designed with different levels of complexity depending upon the task at hand. This paper analyzes the effect of dimensional changes to the CNN architecture on its performance on the task of Histopathological Cancer Classification. The research starts with a baseline 10-layer CNN model with (3 X 3) convolution filters. Thereafter, the baseline architecture is scaled in multiple dimensions including width, depth, resolution and a combination of all of these. Width scaling involves inculcating greater number of neurons per CNN layer, whereas depth scaling involves deepening the hierarchical layered structure. Resolution scaling is performed by increasing the dimensions of the input image, and compound scaling involves a hybrid combination of width, depth and resolution scaling. The results indicate that histopathological cancer scans are very complex in nature and hence require high resolution images fed to a large hierarchy of Convolution, MaxPooling, Dropout and Batch Normalization layers to extract all the intricacies and perform perfect classification. Since compound scaling the baseline model ensures that all the three dimensions: width, depth and resolution are scaled, the best performance is obtained with compound scaling. This research shows that better performance of CNN models is achieved by compound scaling of the baseline model for the task of Histopathological Cancer Classification.


title: Consistency of the MLE under a two-parameter gamma mixture model with a structural shape parameter

abstract: The finite Gamma mixture model is often used to describe randomness in income data, insurance data, and data from other applications. The popular likelihood approach, however, does not work for this model because the likelihood function is unbounded, and the maximum likelihood estimator is therefore not well defined. There has been much research into ways to ensure the consistent estimation of the mixing distribution, including placing an upper bound on the shape parameter or adding a penalty to the log-likelihood function. In this paper, we show that if the shape parameter in the finite Gamma mixture model is structural, then the maximum likelihood estimator of the mixing distribution is well defined and strongly consistent. We also present simulation results demonstrating the consistency of the estimator. We illustrate the application of the model with a structural scale parameter to household income data. The fitted mixture distribution leads to several possible subpopulation structures in terms of the level of disposable income.


title: The Extremals of the Alexandrov-Fenchel Inequality for Convex Polytopes

abstract: The Alexandrov-Fenchel inequality, a far-reaching generalization of the classical isoperimetric inequality to arbitrary mixed volumes, lies at the heart of convex geometry. The characterization of its extremal bodies is a long-standing open problem that dates back to Alexandrov's original 1937 paper. The known extremals already form a very rich family, and even the fundamental conjectures on their general structure, due to Schneider, are incomplete. In this paper, we completely settle the extremals of the Alexandrov-Fenchel inequality for convex polytopes. In particular, we show that the extremals arise from the combination of three distinct mechanisms: translation, support, and dimensionality. The characterization of these mechanisms requires the development of a diverse range of techniques that shed new light on the geometry of mixed volumes of nonsmooth convex bodies. Our main result extends further beyond polytopes in a number of ways, including to the setting of quermassintegrals of arbitrary convex bodies. As an application of our main result, we settle a question of Stanley on the extremal behavior of certain log-concave sequences that arise in the combinatorics of partially ordered sets.


title: Closed-form Tight Bounds and Approximations for the Median of a Gamma Distribution

abstract: We show how to find upper and lower bounds to the median of a gamma distribution, over the entire range of shape parameter $k > 0$, that are the tightest possible bounds of the form $2^{-1/k} (A + Bk)$, with closed-form parameters $A$ and $B$. The lower bound of this form that is best at high $k$ stays between 48 and 50 percentile, while the uniquely best upper bound stays between 50 and 55 percentile. We show how to form even tighter bounds by interpolating between these bounds, yielding closed-form expressions that more tightly bound the median. Good closed-form approximations between the bounds are also found, including one that is exact at $k = 1$ and stays between 49.97 and 50.03 percentile.


title: Dynamical Dark Energy Properties Hidden in the Dark Matter Halos and Voids

abstract: In this paper, we analysed the halos and voids properties of a GR-based N-body simulation carried out at redshifts z= 0.0 and z= 0.8 as differences between dynamical dark energy models (namely PL and CPL) with respect to LCDM. Analysing the halos demonstrates that both models, PL and CPL, behave like LCDM, despite the velocity dispersion of halos was more sensitive to the dynamical dark energy model. In addition, a void finder was developed to extract the properties of voids from simulated data. Further statistical model on voids confirms that the PL model produces larger voids. In summary, our novel simulation demonstrates void properties are better than halo properties in discriminating between dark energy models. Hence, the results suggest to make more use of the properties of voids in future studies of discriminating dynamical dark energy models.


title: MLAS: Metric Learning on Attributed Sequences

abstract: Distance metric learning has attracted much attention in recent years, where the goal is to learn a distance metric based on user feedback. Conventional approaches to metric learning mainly focus on learning the Mahalanobis distance metric on data attributes. Recent research on metric learning has been extended to sequential data, where we only have structural information in the sequences, but no attribute is available. However, real-world applications often involve attributed sequence data (e.g., clickstreams), where each instance consists of not only a set of attributes (e.g., user session context) but also a sequence of categorical items (e.g., user actions). In this paper, we study the problem of metric learning on attributed sequences. Unlike previous work on metric learning, we now need to go beyond the Mahalanobis distance metric in the attribute feature space while also incorporating the structural information in sequences. We propose a deep learning framework, called MLAS (Metric Learning on Attributed Sequences), to learn a distance metric that effectively measures dissimilarities between attributed sequences. Empirical results on real-world datasets demonstrate that the proposed MLAS framework significantly improves the performance of metric learning compared to state-of-the-art methods on attributed sequences.


title: A Zero-One Law for Markov Chains

abstract: We prove an analog of the classical Zero-One Law for both homogeneous and nonhomogeneous Markov chains (MC). Its almost precise formulation is simple: given any event $A$ from the tail $\sigma$-algebra of MC $(Z_n)$, for large $n$, with probability near one, the trajectories of the MC are in states $i$, where $P(A|Z_n=i)$ is either near $0$ or near $1$. A similar statement holds for the entrance $\sigma$-algebra, when $n$ tends to $-\infty$. To formulate this second result, we give detailed results on the existence of nonhomogeneous Markov chains indexed by $\mathbb Z_-$ or $\mathbb Z$ in both the finite and countable cases. This extends a well-known result due to Kolmogorov. Further, in our discussion, we note an interesting dichotomy between two commonly used definitions of MCs.


title: AI on the Bog: Monitoring and Evaluating Cranberry Crop Risk

abstract: Machine vision for precision agriculture has attracted considerable research interest in recent years. The goal of this paper is to develop an end-to-end cranberry health monitoring system to enable and support real time cranberry over-heating assessment to facilitate informed decisions that may sustain the economic viability of the farm. Toward this goal, we propose two main deep learning-based modules for: 1) cranberry fruit segmentation to delineate the exact fruit regions in the cranberry field image that are exposed to sun, 2) prediction of cloud coverage conditions and sun irradiance to estimate the inner temperature of exposed cranberries. We develop drone-based field data and ground-based sky data collection systems to collect video imagery at multiple time points for use in crop health analysis. Extensive evaluation on the data set shows that it is possible to predict exposed fruit's inner temperature with high accuracy (0.02% MAPE). The sun irradiance prediction error was found to be 8.41-20.36% MAPE in the 5-20 minutes time horizon. With 62.54% mIoU for segmentation and 13.46 MAE for counting accuracies in exposed fruit identification, this system is capable of giving informed feedback to growers to take precautionary action (e.g. irrigation) in identified crop field regions with higher risk of sunburn in the near future. Though this novel system is applied for cranberry health monitoring, it represents a pioneering step forward for efficient farming and is useful in precision agriculture beyond the problem of cranberry overheating.


title: Bait and Switch: Online Training Data Poisoning of Autonomous Driving Systems

abstract: We show that by controlling parts of a physical environment in which a pre-trained deep neural network (DNN) is being fine-tuned online, an adversary can launch subtle data poisoning attacks that degrade the performance of the system. While the attack can be applied in general to any perception task, we consider a DNN based traffic light classifier for an autonomous car that has been trained in one city and is being fine-tuned online in another city. We show that by injecting environmental perturbations that do not modify the traffic lights themselves or ground-truth labels, the adversary can cause the deep network to learn spurious concepts during the online learning phase. The attacker can leverage the introduced spurious concepts in the environment to cause the model's accuracy to degrade during operation; therefore, causing the system to malfunction.


title: An Approach for the Identification of Information Leakage in Automotive Infotainment systems

abstract: The advancements in the digitization world has revolutionized the automotive industry. Today's modern cars are equipped with internet, computers that can provide autonomous driving functionalities as well as infotainment systems that can run mobile operating systems, like Android Auto and Apple CarPlay. Android Automotive is Google's android operating system tailored to run natively on vehicle's infotainment systems, it allows third party apps to be installed and run on vehicle's infotainment systems. Such apps may raise security concerns related to user's safety, security and privacy. This paper investigates security concerns of in-vehicle apps, specifically, those related to inter component communication (ICC) among these apps. ICC allows apps to share information via inter or intra apps components through a messaging object called intent. In case of insecure communication, Intent can be hijacked or spoofed by malicious apps and user's sensitive information can be leaked to hacker's database. We investigate the attack surface and vulnerabilities in these apps and provide a static analysis approach and a tool to find data leakage vulnerabilities. The approach can also provide hints to mitigate these leaks. We evaluate our approach by analyzing a set of Android Auto apps downloaded from Google Play store, and we report our validated results on vulnerabilities identified on those apps.


title: Semiparametric regression of mean residual life with censoring and covariate dimension reduction

abstract: We propose a new class of semiparametric regression models of mean residual life for censored outcome data. The models, which enable us to estimate the expected remaining survival time and generalize commonly used mean residual life models, also conduct covariate dimension reduction. Using the geometric approaches in semiparametrics literature and the martingale properties with survival data, we propose a flexible inference procedure that relaxes the parametric assumptions on the dependence of mean residual life on covariates and how long a patient has lived. We show that the estimators for the covariate effects are root-$n$ consistent, asymptotically normal, and semiparametrically efficient. With the unspecified mean residual life function, we provide a nonparametric estimator for predicting the residual life of a given subject, and establish the root-$n$ consistency and asymptotic normality for this estimator. Numerical experiments are conducted to illustrate the feasibility of the proposed estimators. We apply the method to analyze a national kidney transplantation dataset to further demonstrate the utility of the work.


title: Effect of Ti underlayer thickness on the magnetic anisotropy of TbFe thin films

abstract: In this study, we address the impact of Ti underlayer thickness (UL: 0-40 nm) on the structural, magnetic, and microscopic properties of TbFe thin films. The structural analysis confirmed the intermixing at interfaces of the Ti and TbFe layer with the increment of UL thicknesses. Out-of-plane (OOP) coercivity (Hc), and saturation field (Hs) gradually increased with an increase in UL thickness regardless of interface mixing. For UL = 10 nm, the domain contrast and OOP stray field strength were enhanced, which may be due to the extent of d-d hybridization dominated over the influence of interfacial roughness. While for UL = 20, and 40 nm, the extent of interfacial roughness dominated the hybridization effects and as a result, stray fields deteriorated. By placing UL of 20 nm, Hc increased by nearly 6 times more than the bare TbFe system. So, we observe a state with high OOP Hc combined with nearly zero OOP stray fields that are found to co-exist in the sample. The magnetization reversal studies on a large area reveal domain nucleation followed by domain-wall motion in all the films. The idea of tuning magnetic properties by varying thicknesses of Ti UL may useful in spintronics applications.


title: The Twelvefold Way of Non-Sequential Lossless Compression

abstract: Many information sources are not just sequences of distinguishable symbols but rather have invariances governed by alternative counting paradigms such as permutations, combinations, and partitions. We consider an entire classification of these invariances called the twelvefold way in enumerative combinatorics and develop a method to characterize lossless compression limits. Explicit computations for all twelve settings are carried out for i.i.d. uniform and Bernoulli distributions. Comparisons among settings provide quantitative insight.


title: A graded dependent type system with a usage-aware semantics (extended version)

abstract: Graded Type Theory provides a mechanism to track and reason about resource usage in type systems. In this paper, we develop GraD, a novel version of such a graded dependent type system that includes functions, tensor products, additive sums, and a unit type. Since standard operational semantics is resource-agnostic, we develop a heap-based operational semantics and prove a soundness theorem that shows correct accounting of resource usage. Several useful properties, including the standard type soundness theorem, non-interference of irrelevant resources in computation and single pointer property for linear resources, can be derived from this theorem. We hope that our work will provide a base for integrating linearity, irrelevance and dependent types in practical programming languages like Haskell.


title: Optimal tiling of the Euclidean space using symmetric bodies

abstract: What is the least surface area of a symmetric body $B$ whose $\mathbb{Z}^n$ translations tile $\mathbb{R}^n$? Since any such body must have volume $1$, the isoperimetric inequality implies that its surface area must be at least $\Omega(\sqrt{n})$. Remarkably, Kindler et al.\ showed that for general bodies $B$ this is tight, i.e.\ that there is a tiling body of $\mathbb{R}^n$ whose surface area is $O(\sqrt{n})$. In theoretical computer science, the tiling problem is intimately to the study of parallel repetition theorems (which are an important component in PCPs), and more specifically in the question of whether a "strong version" of the parallel repetition theorem holds. Raz showed, using the odd cycle game, that strong parallel repetition fails in general, and subsequently these ideas were used in order to construct non-trivial tilings of $\mathbb{R}^n$. In this paper, motivated by the study of a symmetric parallel repetition, we consider the symmetric variant of the tiling problem in $\mathbb{R}^n$. We show that any symmetric body that tiles $\mathbb{R}^n$ must have surface area at least $\Omega(n/\sqrt{\log n})$, and that this bound is tight, i.e.\ that there is a symmetric tiling body of $\mathbb{R}^n$ with surface area $O(n/\sqrt{\log n})$. We also give matching bounds for the value of the symmetric parallel repetition of Raz's odd cycle game. Our result suggests that while strong parallel repetition fails in general, there may be important special cases where it still applies.