title: Local Unsupervised Learning for Image Analysis

abstract: Local Hebbian learning is believed to be inferior in performance to end-to-end training using a backpropagation algorithm. We question this popular belief by designing a local algorithm that can learn convolutional filters at scale on large image datasets. These filters combined with patch normalization and very steep non-linearities result in a good classification accuracy for shallow networks trained locally, as opposed to end-to-end. The filters learned by our algorithm contain both orientation selective units and unoriented color units, resembling the responses of pyramidal neurons located in the cytochrome oxidase 'interblob' and 'blob' regions in the primary visual cortex of primates. It is shown that convolutional networks with patch normalization significantly outperform standard convolutional networks on the task of recovering the original classes when shadows are superimposed on top of standard CIFAR-10 images. Patch normalization approximates the retinal adaptation to the mean light intensity, important for human vision. We also demonstrate a successful transfer of learned representations between CIFAR-10 and ImageNet 32x32 datasets. All these results taken together hint at the possibility that local unsupervised training might be a powerful tool for learning general representations (without specifying the task) directly from unlabeled data.


title: FaSTExt: Fast and Small Text Extractor

abstract: Text detection in natural images is a challenging but necessary task for many applications. Existing approaches utilize large deep convolutional neural networks making it difficult to use them in real-world tasks. We propose a small yet relatively precise text extraction method. The basic component of it is a convolutional neural network which works in a fully-convolutional manner and produces results at multiple scales. Each scale output predicts whether a pixel is a part of some word, its geometry, and its relation to neighbors at the same scale and between scales. The key factor of reducing the complexity of the model was the utilization of depthwise separable convolution, linear bottlenecks, and inverted residuals. Experiments on public datasets show that the proposed network can effectively detect text while keeping the number of parameters in the range of 1.58 to 10.59 million in different configurations.


title: Existence of primes between two consecutive squares

abstract: Legendre's Conjecture is one of the most elegant open problems in Number Theory, which states that there is a prime between consecutive two perfect squares. In this note, we prove the conjecture holds true and also discuss the related results.


title: Justlookup: One Millisecond Deep Feature Extraction for Point Clouds By Lookup Tables

abstract: Deep models are capable of fitting complex high dimensional functions while usually yielding large computation load. There is no way to speed up the inference process by classical lookup tables due to the high-dimensional input and limited memory size. Recently, a novel architecture (PointNet) for point clouds has demonstrated that it is possible to obtain a complicated deep function from a set of 3-variable functions. In this paper, we exploit this property and apply a lookup table to encode these 3-variable functions. This method ensures that the inference time is only determined by the memory access no matter how complicated the deep function is. We conduct extensive experiments on ModelNet and ShapeNet datasets and demonstrate that we can complete the inference process in 1.5 ms on an Intel i7-8700 CPU (single core mode), 32x speedup over the PointNet architecture without any performance degradation.


title: Gradient Weighted Superpixels for Interpretability in CNNs

abstract: As Convolutional Neural Networks embed themselves into our everyday lives, the need for them to be interpretable increases. However, there is often a trade-off between methods that are efficient to compute but produce an explanation that is difficult to interpret, and those that are slow to compute but provide a more interpretable result. This is particularly challenging in problem spaces that require a large input volume, especially video which combines both spatial and temporal dimensions. In this work we introduce the idea of scoring superpixels through the use of gradient based pixel scoring techniques. We show qualitatively and quantitatively that this is able to approximate LIME, in a fraction of the time. We investigate our techniques using both image classification, and action recognition networks on large scale datasets (ImageNet and Kinetics-400 respectively).


title: AIBench: An Industry Standard Internet Service AI Benchmark Suite

abstract: Today's Internet Services are undergoing fundamental changes and shifting to an intelligent computing era where AI is widely employed to augment services. In this context, many innovative AI algorithms, systems, and architectures are proposed, and thus the importance of benchmarking and evaluating them rises. However, modern Internet services adopt a microservice-based architecture and consist of various modules. The diversity of these modules and complexity of execution paths, the massive scale and complex hierarchy of datacenter infrastructure, the confidential issues of data sets and workloads pose great challenges to benchmarking. In this paper, we present the first industry-standard Internet service AI benchmark suite---AIBench with seventeen industry partners, including several top Internet service providers. AIBench provides a highly extensible, configurable, and flexible benchmark framework that contains loosely coupled modules. We identify sixteen prominent AI problem domains like learning to rank, each of which forms an AI component benchmark, from three most important Internet service domains: search engine, social network, and e-commerce, which is by far the most comprehensive AI benchmarking effort. On the basis of the AIBench framework, abstracting the real-world data sets and workloads from one of the top e-commerce providers, we design and implement the first end-to-end Internet service AI benchmark, which contains the primary modules in the critical paths of an industry scale application and is scalable to deploy on different cluster scales. The specifications, source code, and performance numbers are publicly available from the benchmark council web site http://www.benchcouncil.org/AIBench/index.html.


title: No Fear of the Dark: Image Retrieval under Varying Illumination Conditions

abstract: Image retrieval under varying illumination conditions, such as day and night images, is addressed by image preprocessing, both hand-crafted and learned. Prior to extracting image descriptors by a convolutional neural network, images are photometrically normalised in order to reduce the descriptor sensitivity to illumination changes. We propose a learnable normalisation based on the U-Net architecture, which is trained on a combination of single-camera multi-exposure images and a newly constructed collection of similar views of landmarks during day and night. We experimentally show that both hand-crafted normalisation based on local histogram equalisation and the learnable normalisation outperform standard approaches in varying illumination conditions, while staying on par with the state-of-the-art methods on daylight illumination benchmarks, such as Oxford or Paris datasets.


title: Foveated image processing for faster object detection and recognition in embedded systems using deep convolutional neural networks

abstract: Object detection and recognition algorithms using deep convolutional neural networks (CNNs) tend to be computationally intensive to implement. This presents a particular challenge for embedded systems, such as mobile robots, where the computational resources tend to be far less than for workstations. As an alternative to standard, uniformly sampled images, we propose the use of foveated image sampling here to reduce the size of images, which are faster to process in a CNN due to the reduced number of convolution operations. We evaluate object detection and recognition on the Microsoft COCO database, using foveated image sampling at different image sizes, ranging from 416x416 to 96x96 pixels, on an embedded GPU -- an NVIDIA Jetson TX2 with 256 CUDA cores. The results show that it is possible to achieve a 4x speed-up in frame rates, from 3.59 FPS to 15.24 FPS, using 416x416 and 128x128 pixel images respectively. For foveated sampling, this image size reduction led to just a small decrease in recall performance in the foveal region, to 92.0% of the baseline performance with full-sized images, compared to a significant decrease to 50.1% of baseline recall performance in uniformly sampled images, demonstrating the advantage of foveated sampling.


title: Hyperparameter-Free Losses for Model-Based Monocular Reconstruction

abstract: This work proposes novel hyperparameter-free losses for single view 3D reconstruction with morphable models (3DMM). We dispense with the hyperparameters used in other works by exploiting geometry, so that the shape of the object and the camera pose are jointly optimized in a sole term expression. This simplification reduces the optimization time and its complexity. Moreover, we propose a novel implicit regularization technique based on random virtual projections that does not require additional 2D or 3D annotations. Our experiments suggest that minimizing a shape reprojection error together with the proposed implicit regularization is especially suitable for applications that require precise alignment between geometry and image spaces, such as augmented reality. We evaluate our losses on a large scale dataset with 3D ground truth and publish our implementations to facilitate reproducibility and public benchmarking in this field.


title: Autonomous Learning for Face Recognition in the Wild via Ambient Wireless Cues

abstract: Facial recognition is a key enabling component for emerging Internet of Things (IoT) services such as smart homes or responsive offices. Through the use of deep neural networks, facial recognition has achieved excellent performance. However, this is only possibly when trained with hundreds of images of each user in different viewing and lighting conditions. Clearly, this level of effort in enrolment and labelling is impossible for wide-spread deployment and adoption. Inspired by the fact that most people carry smart wireless devices with them, e.g. smartphones, we propose to use this wireless identifier as a supervisory label. This allows us to curate a dataset of facial images that are unique to a certain domain e.g. a set of people in a particular office. This custom corpus can then be used to finetune existing pre-trained models e.g. FaceNet. However, due to the vagaries of wireless propagation in buildings, the supervisory labels are noisy and weak.We propose a novel technique, AutoTune, which learns and refines the association between a face and wireless identifier over time, by increasing the inter-cluster separation and minimizing the intra-cluster distance. Through extensive experiments with multiple users on two sites, we demonstrate the ability of AutoTune to design an environment-specific, continually evolving facial recognition system with entirely no user effort.


title: High Accurate Unhealthy Leaf Detection

abstract: India is an agriculture-dependent country. As we all know that farming is the backbone of our country it is our responsibility to preserve the crops. However, we cannot stop the destruction of crops by natural calamities at least we have to try to protect our crops from diseases. To, detect a plant disease we need a fast automatic way. So, this paper presents a model to identify the particular disease of plant leaves at early stages so that we can prevent or take a remedy to stop spreading of the disease. This proposed model is made into five sessions. Image preprocessing includes the enhancement of the low light image done using inception modules in CNN. Low-resolution image enhancement is done using an Adversarial Neural Network. This also includes Conversion of RGB Image to YCrCb color space. Next, this paper presents a methodology for image segmentation which is an important aspect for identifying the disease symptoms. This segmentation is done using the genetic algorithm. Due to this process the segmentation of the leaf Image this helps in detection of the leaf mage automatically and classifying. Texture extraction is done using the statistical model called GLCM and finally, the classification of the diseases is done using the SVM using Different Kernels with the high accuracy.


title: On the modified logarithmic Sobolev inequality for the heat-bath dynamics for 1D systems

abstract: The mixing time of Markovian dissipative evolutions of open quantum many-body systems can be bounded using optimal constants of certain quantum functional inequalities, such as the modified logarithmic Sobolev constant. For classical spin systems, the positivity of such constants follows from a mixing condition for the Gibbs measure, via quasi-factorization results for the entropy. Inspired by the classical case, we present a strategy to derive the positivity of the modified logarithmic Sobolev constant associated to the dynamics of certain quantum systems from some clustering conditions on the Gibbs state of a local, commuting Hamiltonian. In particular we show that for the heat-bath dynamics for 1D systems, the modified logarithmic Sobolev constant is positive under the assumptions of a mixing condition on the Gibbs state and a strong quasi-factorization of the relative entropy.

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


title: Creation of digital elevation models for river floodplains

abstract: A procedure for constructing a digital elevation model (DEM) of the northern part of the Volga-Akhtuba interfluve is described. The basis of our DEM is the elevation matrix of Shuttle Radar Topography Mission (SRTM) for which we carried out the refinement and updating of spatial data using satellite imagery, GPS data, depth measurements of the River Volga and River Akhtuba stream beds. The most important source of high-altitude data for the Volga-Akhtuba floodplain (VAF) can be the results of observations of the coastlines dynamics of small reservoirs (lakes, eriks, small channels) arising in the process of spring flooding and disappearing during low-flow periods. A set of digitized coastlines at different times of flooding can significantly improve the quality of the DEM. The method of constructing a digital elevation model includes an iterative procedure that uses the results of morphostructural analysis of the DEM and the numerical hydrodynamic simulations of the VAF flooding based on the shallow water model.


title: Large Scale Organization and Inference of an Imagery Dataset for Public Safety

abstract: Video applications and analytics are routinely projected as a stressing and significant service of the Nationwide Public Safety Broadband Network. As part of a NIST PSCR funded effort, the New Jersey Office of Homeland Security and Preparedness and MIT Lincoln Laboratory have been developing a computer vision dataset of operational and representative public safety scenarios. The scale and scope of this dataset necessitates a hierarchical organization approach for efficient compute and storage. We overview architectural considerations using the Lincoln Laboratory Supercomputing Cluster as a test architecture. We then describe how we intelligently organized the dataset across LLSC and evaluated it with large scale imagery inference across terabytes of data.


title: A Comparative Study of Filtering Approaches Applied to Color Archival Document Images

abstract: Current systems used by the Tunisian national archives for the automatic transcription of archival documents are hindered by many issues related to the performance of the optical character recognition (OCR) tools. Indeed, using a classical OCR system to transcribe and index ancient Arabic documents is not a straightforward task due to the idiosyncrasies of this category of documents, such as noise and degradation. Thus, applying an enhancement method or a denoising technique remains an essential prerequisite step to ease the archival document image analysis task. The state-of-the-art methods addressing the use of degraded document image enhancement and denoising are mainly based on applying filters. The most common filtering techniques applied to color images in the literature may be categorized into four approaches: scalar, marginal, vector and hybrid. To provide a set of comprehensive guidelines on the strengths and weaknesses of these filtering approaches, a thorough comparative study is proposed in this article. Numerical experiments are carried out in this study on color archival document images to show and quantify the performance of each assessed filtering approach.


title: Conditional Flow Variational Autoencoders for Structured Sequence Prediction

abstract: Prediction of future states of the environment and interacting agents is a key competence required for autonomous agents to operate successfully in the real world. Prior work for structured sequence prediction based on latent variable models imposes a uni-modal standard Gaussian prior on the latent variables. This induces a strong model bias which makes it challenging to fully capture the multi-modality of the distribution of the future states. In this work, we introduce Conditional Flow Variational Autoencoders (CF-VAE) using our novel conditional normalizing flow based prior to capture complex multi-modal conditional distributions for effective structured sequence prediction. Moreover, we propose two novel regularization schemes which stabilizes training and deals with posterior collapse for stable training and better fit to the target data distribution. Our experiments on three multi-modal structured sequence prediction datasets -- MNIST Sequences, Stanford Drone and HighD -- show that the proposed method obtains state of art results across different evaluation metrics.


title: Development of a Robotic System for Automatic Wheel Removal and Fitting

abstract: This paper discusses the image processing and computer vision algorithms for real time detection and tracking of a sample wheel of a vehicle. During the manual tyre changing process, spinal and other muscular injuries are common and even more serious injuries have been recorded when occasionally, tyres fail (burst) during this process. It, therefore, follows that the introduction of a robotic system to take over this process would be a welcome development. This work discusses various useful applicable algorithms, Circular Hough Transform (CHT) as well as Continuously adaptive mean shift (Camshift) and provides some of the software solutions which can be deployed with a robotic mechanical arm to make the task of tyre changing faster, safer and more efficient. Image acquisition and software to accurately detect and classify specific objects of interest were implemented successfully, outcomes were discussed and areas for further studies suggested.


title: Micro-X Sounding Rocket: Transitioning from First Flight to a Dark Matter Configuration

abstract: The Micro-X sounding rocket flew for the first time on July 22, 2018, becoming the first program to fly Transition-Edge Sensors and multiplexing SQUID readout electronics in space. While a rocket pointing failure led to no time on-target, the success of the flight systems was demonstrated. The successful flight operation of the instrument puts the program in a position to modify the payload for indirect galactic dark matter searches. The payload modifications are motivated by the science requirements of this observation. Micro-X can achieve world-leading sensitivity in the keV regime with a single flight. Dark matter sensitivity projections have been updated to include recent observations and the expected sensitivity of Micro-X to these observed fluxes. If a signal is seen (as seen in the X-ray satellites), Micro-X can differentiate an atomic line from a dark matter signature.

categories: astro-ph.IM astro-ph.HE hep-ex physics.ins-det


title: On the emergence of conductivity at SrTiO3-based oxide interfaces -- an in-situ study

abstract: Heterostructures and crystal interfaces play a major role in state-of-the-art semiconductor devices and play a central role in the field of oxide electronics. In oxides the link between the microscopic properties of the interfaces and bulk properties of the resulting heterostructures challenge our fundamental understanding. Insights on the early growth stage of interfaces and its influence on resulting physical properties are scarce -- typically the information is inferred from post growth characterization. Here, we report on real time measurements of the transport properties of SrTiO3-based heterostructures while the crystal heterostructure is forming. Surprisingly, we detect a conducting interface already at the initial growth stage, much earlier than the well-established critical thickness limit for observing conductivity ex-situ after sample growth. We investigate how the conductivity depends on various physical processes occurring during pulsed laser depositions, including light illumination, particle bombardment by the plasma plume, interactions with the atmosphere and oxygen migration from SrTiO3 to the thin films of varying compositions. Using this approach, we propose a new design tool to control the electrical properties of interfaces in real time during their formation.


title: The H\'ajek-R\'enyi-Chow maximal inequality and a strong law of large numbers in Riesz spaces

abstract: In this paper we generalize the H\'ajek-R\'enyi-Chow maximal inequality for submartingales to $L^p$ type Riesz spaces with conditional expectation operators. As applications we obtain a submartingale convergence theorem and a strong law of large numbers in Riesz spaces. Along the way we develop a Riesz space variant of the Clarkson's inequality for $1\le p\le 2$.


title: Controlled Growth of Large-Area Bilayer Tungsten Diselenides with Lateral P-N Junctions

abstract: Bilayer two-dimensional (2D) van der Waals (vdW) materials are attracting increasing attention due to their predicted high quality electronic and optical properties. Here we demonstrate dense, selective growth of WSe2 bilayer flakes by chemical vapor deposition with the use of a 1:10 molar mixture of sodium cholate and sodium chloride as the growth promoter to control the local diffusion of W-containing species. A large fraction of the bilayer WSe2 flakes showed a 0 and 60o twist between the two layers, while moire 15 and 30o-twist angles were also observed. Well-defined monolayer-bilayer junctions were formed in the as-grown bilayer WSe2 flakes, and these interfaces exhibited p-n diode rectification and an ambipolar transport characteristic. This work provides an efficient method for the layer-controlled growth of 2D materials, in particular, 2D transition metal dichalcogenides and promotes their applications in next-generation electronic and optoelectronic devices.


title: First Principles calculations of the EFG tensors of Ba$_2$NaOsO$_6$, a Mott insulator with strong spin orbit coupling

abstract: We present first principles calculations of the electrostatic properties of Ba$_2$NaOsO$_6$ (BNOO), a 5$d^1$ Mott insulator with strong spin orbit coupling (SOC) in its low temperature quantum phases. In light of recent NMR experiments showing that BNOO develops a local octahedral distortion that is accompanied by the emergence of an electric field gradient (EFG) and precedes the formation of long range magnetic order [Lu et al., Nature Comm. 8, 14407 (2017), Liu et al., Phys. Rev. B. 97, 224103 (2018), Liu et al., Physica B. 536, 863 (2018)], we calculated BNOO's EFG tensor for several different model distortions. The local orthorhombic distortion that we identified as mostly strongly agreeing with experiment corresponds to a Q2 distortion mode of the Na-O octahedra, in agreement with conclusions given in [Liu et al., Phys. Rev. B. 97, 224103 (2018)]. Furthermore, we found that the EFG is insensitive to the type of underlying magnetic order. By combining NMR results with first principles modeling, we have thus forged a more complete understanding of BNOO's structural and magnetic properties, which could not be achieved based upon experiment or theory alone.


title: Towards Secure and Decentralized Sharing of IoT Data

abstract: The Internet of Things (IoT) bears unprecedented security and scalability challenges due to the magnitude of data produced and exchanged by IoT devices and platforms. Some of those challenges are currently being addressed by coupling IoT applications with blockchains. However, current blockchain-backed IoT systems simply use the blockchain to store access control policies, thereby underutilizing the power of blockchain technology. In this paper, we propose a new framework named Sash that couples IoT platforms with blockchain that provides a number of advantages compared to state of the art. In Sash, the blockchain is used to store access control policies and take access control decisions. Therefore, both changes to policies and access requests are correctly enforced and publicly auditable. Further, we devise a ``data marketplace'' by leveraging the ability of blockchains to handle financial transaction and providing ``by design'' remuneration to data producers. Finally, we exploit a special flavor of identity-based encryption to cater for cryptography-enforced access control while minimizing the overhead to distribute decryption keys. We prototype Sash by using the FIWARE open source IoT platform and the Hyperledger Fabric framework as the blockchain back-end. We also evaluate the performance of our prototype and show that it incurs tolerable overhead in realistic deployment settings.


title: Density distribution of photospheric vertical electric currents in flare active regions of the Sun

abstract: Solar active regions contain electric currents. Information on the distribution of currents is important for understanding the processes of energy release on the surface of the Sun and in the overlying layers. The paper presents an analysis of the probability density function (PDF) of the absolute value of the photospheric vertical electric current density ($|j_z|$) in 48 active regions before and after flares in 2010--2017. Calculation of $|j_z|$ is performed by applying the differential form of Ampere's circuital law to photospheric vector magnetograms obtained from observations of the Helioseismic and Magnetic Imager (HMI) instrument onboard the Solar Dynamics Observatory (SDO). It has been established that for the studied active regions PDF($|j_z|$) is described by the Gauss function in the low-$|j_z|$ region ($|j_z| < 10110 \pm 1321$ statampere/cm$^2$) and the decaying power-law function in the region of higher $|j_z|$ values. Also, for some active regions PDF($|j_z|$) can be described by the special kappa-function. The distributions of the parameters of the approximating functions are obtained using the least squares method. The average absolute value of the power-law function index is $3.69 \pm 0.51$, and $3.99 \pm 0.51$ of the kappa-function. No systematic changes in parameters during the flares are detected. An explicit connection between the parameters and the flare X-ray class, as well as with the Hale magnetic class of the active regions, is not found. Arguments are presented in favor of the suggestion that the Gaussian distribution in the low-value region of PDF($|j_z|$) represents noise in the data, while the power-law "tail" reflects the nature of electric currents in the solar active regions.


title: SIGNALS: I. Survey Description

abstract: SIGNALS, the Star formation, Ionized Gas, and Nebular Abundances Legacy Survey, is a large observing program designed to investigate massive star formation and HII regions in a sample of local extended galaxies. The program will use the imaging Fourier transform spectrograph SITELLE at the Canada-France-Hawaii Telescope. Over 355 hours (54.7 nights) have been allocated beginning in fall 2018 for eight consecutive semesters. Once completed, SIGNALS will provide a statistically reliable laboratory to investigate massive star formation, including over 50 000 resolved HII regions : the largest, most complete, and homogeneous database of spectroscopically and spatially resolved extragalactic HII regions ever assembled. For each field observed, three datacubes covering the spectral bands of the filters SN1 (363 -386 nm), SN2 (482 - 513 nm), and SN3 (647 - 685 nm) are gathered. The spectral resolution selected for each spectral band is 1000, 1000, and 5000, respectively. As defined, the project sample will facilitate the study of small-scale nebular physics and many other phenomena linked to star formation at a mean spatial resolution of 20 pc. This survey also has considerable legacy value for additional topics including planetary nebulae, diffuse ionized gas, andsupernova remnants. The purpose of this paper is to present a general outlook of the survey, notably the observing strategy, galaxy sample, and science requirements.


title: Hyperentangled Time-bin and Polarization Quantum Key Distribution

abstract: Fiber-based quantum communication networks are currently limited without quantum repeaters. Satellite-based quantum links have been proposed to extend the network domain. We have developed a quantum communication system, suitable for realistic satellite-to-ground communication. With this system, we have executed an entanglement-based quantum key distribution (QKD) protocol developed by Bennett, Brassard, and Mermin in 1992 (BBM92), achieving quantum bit error rates (QBER) below 2$\%$ in all bases. More importantly, we demonstrate low QBER execution of a higher dimensional hyperentanglement-based QKD protocol, using photons simultaneously entangled in polarization and time-bin, leading to significantly higher secure key rates, at the cost of increased technical complexity and system size. We show that our protocol is suitable for a space-to-ground link, after incorporating Doppler shift compensation, and verify its security using a rigorous finite-key analysis. Additionally, We discuss system engineering considerations relevant to those and other quantum communication protocols, and their dependence on what photonic degrees of freedom are utilized.


title: Ultrafast optical currents in gapped graphene

abstract: We study theoretically the interaction of ultrashort optical pulses with gapped graphene. Such strong pulse results in finite conduction band population and corresponding electric current both during and after the pulse. Since gapped graphene has broken inversion symmetry, it has an axial symmetry about the $y$-axis but not about the $x$-axis. We show that, in this case, if the linear pulse is polarized along the $x$-axis, the rectified electric current is generated in the $y$ direction. At the same time, the conduction band population distribution in the reciprocal space is symmetric about the $x$-axis. Thus, the rectified current in gapped graphene has inter-band origin, while the intra-band contribution to the rectified current is zero.


title: Central limit theorems and the geometry of polynomials

abstract: Let $X \in \{0,\ldots,n \}$ be a random variable, with mean $\mu$ and standard deviation $\sigma$ and let \[f_X(z) = \sum_{k} \mathbb{P}(X = k) z^k, \] be its probability generating function. Pemantle conjectured that if $\sigma$ is large and $f_X$ has no roots close to $1\in \mathbb{C}$ then $X$ must be approximately normal. We completely resolve this conjecture in the following strong quantitative form, obtaining sharp bounds. If $\delta = \min_{\zeta}|\zeta-1|$ over the complex roots $\zeta$ of $f_X$, and $X^{\ast} := (X-\mu)/\sigma$, then \[ \sup_{t \in \mathbb{R}} \left|\mathbb{P}(X^{\ast} \leq t) - \mathbb{P}( Z \leq t) \, \right| = O\left(\frac{\log n}{\delta\sigma} \right) \] where $Z \sim \mathcal{N}(0,1)$ is a standard normal. This gives the best possible version of a result of Lebowitz, Pittel, Ruelle and Speer. We also show that if $f_X$ has no roots with small argument, then $X$ must be approximately normal, again in a sharp quantitative form: if we set $\delta = \min_{\zeta}|\arg(\zeta)|$ then \[ \sup_{t \in \mathbb{R}} \left|\mathbb{P}(X^{\ast} \leq t) - \mathbb{P}( Z \leq t) \, \right| = O\left(\frac{1}{\delta\sigma} \right). \] Using this result, we answer a question of Ghosh, Liggett and Pemantle by proving a sharp multivariate central limit theorem for random variables with real-stable probability generating functions.


title: Geometrical Regret Matching

abstract: We argue that the existing regret matchings for Nash equilibrium approximation conduct "jumpy" strategy updating when the probabilities of future plays are set to be proportional to positive regret measures. We propose a geometrical regret matching which features "smooth" strategy updating. Our approach is simple, intuitive and natural. The analytical and numerical results show that, continuously and "smoothly" suppressing "unprofitable" pure strategies is sufficient for the game to evolve towards Nash equilibrium, suggesting that in reality the tendency for equilibrium could be pervasive and irresistible. Technically, iterative regret matching gives rise to a sequence of adjusted mixed strategies for our study its approximation to the true equilibrium point. The sequence can be studied in metric space and visualized nicely as a clear path towards an equilibrium point. Our theory has limitations in optimizing the approximation accuracy.


title: Neural data-to-text generation: A comparison between pipeline and end-to-end architectures

abstract: Traditionally, most data-to-text applications have been designed using a modular pipeline architecture, in which non-linguistic input data is converted into natural language through several intermediate transformations. In contrast, recent neural models for data-to-text generation have been proposed as end-to-end approaches, where the non-linguistic input is rendered in natural language with much less explicit intermediate representations in-between. This study introduces a systematic comparison between neural pipeline and end-to-end data-to-text approaches for the generation of text from RDF triples. Both architectures were implemented making use of state-of-the art deep learning methods as the encoder-decoder Gated-Recurrent Units (GRU) and Transformer. Automatic and human evaluations together with a qualitative analysis suggest that having explicit intermediate steps in the generation process results in better texts than the ones generated by end-to-end approaches. Moreover, the pipeline models generalize better to unseen inputs. Data and code are publicly available.


title: Purity results for some arithmetically defined measures

abstract: We study measures that are obtained as push-forwards of measures of maximal entropy on sofic shifts under digital maps $(x_k)_{k\in\mathbb{N}}\mapsto\sum_{k\in\mathbb{N}}x_k\beta^{-k}$, where $\beta>1$ is a Pisot number. We characterise the continuity of such measures in terms of the underlying automaton and show a purity result.


title: Laser pulse waveform control of Dirac fermions in graphene

abstract: We theoretically study the Dirac fermion dynamics in a graphene monolayer in the presence of an applied ultrafast laser pulse. The pulse has the duration of a few femtoseconds and the amplitude of ~ 0.1 - 0.5 $\mathrm{V/\AA}$. The waveform of the pulse is described by Hermit Gaussian polynomials with varying carrier-envelope phase. We show that the ultrafast dynamics of Dirac fermions strongly depends on the carrier-envelope phase and the frequency of the applied pulse. The ultrafast pulse generates an electric current which results in a finite transferred charge. The ultrafast field-driven current and the corresponding net transferred charge depend on the waveform of the applied pulse. Our results pave the way for the development of ultrafast information processing in the terahertz domain.


title: Testing the Limits of Particle Acceleration in Cygnus OB2 with HAWC

abstract: Star forming regions (SFRs) have been postulated as possible sources of cosmic rays (CRs) in our galaxy. One example of a gamma-ray source associated with an SFR is the Fermi-LAT cocoon, an extended region of gamma-ray emission in the Cygnus X region and attributed to a possible superbubble with freshly accelerated CRs. Because the emission region is surrounded by ionization fronts, it has been named the "Cygnus cocoon". CRs in the cocoon could have originated in the OB2 association and been accelerated at the interaction sites of stellar winds of massive O type stars. So far, there is no clear association at TeV energies. Spectral and morphological studies of TeV gamma-ray emission detected by the High Altitude Water Cherenkov (HAWC) observatory at the 2HWC J2031+415 region reveal that the spectral energy distribution of the cocoon extends from GeV to at least tens of TeV. Using HAWC data, we are able to study the acceleration of particles to highest energies in the Cygnus OB2 SFR.


title: Extinction risk of a Metapopulation under the Allee Effect

abstract: We study the extinction risk of a fragmented population residing on a network of patches coupled by migration, where the local patch dynamics include the Allee effect. We show that mixing between patches dramatically influences the population's viability. Slow migration is shown to always increase the population's global extinction risk compared to the isolated case. At fast migration, we demonstrate that synchrony between patches minimizes the population's extinction risk. Moreover, we discover a critical migration rate that maximizes the extinction risk of the population, and identify an early-warning signal when approaching this state. Our theoretical results are confirmed via the highly-efficient weighted ensemble method. Notably, our analysis can also be applied to studying switching in gene regulatory networks with multiple transcriptional states.


title: Virasoro constraints for moduli of weighted pointed stable curves

abstract: We formulate Virasoro constraints for the generating functions of the intersection numbers on Hassett's moduli of weighted pointed curves and show that they are governed by the KdV integrable hierarchy.


title: Population switching under a time-varying environment

abstract: We examine the switching dynamics of a stochastic population subjected to a deterministically time-varying environment. Our approach is demonstrated in the realm of ecology on a problem of population establishment. Here, by assuming a constant immigration pressure along with a strong Allee effect, at the deterministic level one obtains a critical population size beyond which the system experiences establishment. Notably the latter has been shown to be strongly influenced by the interplay between demographic and environmental noise. We consider two prototypical examples for environmental variations: a temporary environmental change, and a periodically-varying environment. By employing a semi-classical approximation we compute, within exponential accuracy, the change in the establishment probability and mean establishment time of the population, due to the environmental variability. Our analytical results are verified by using a modified Gillespie algorithm which accounts for explicitly time-dependent reaction rates. Finally, our theoretical approach can also be useful in studying switching dynamics in gene regulatory networks under extrinsic variations.


title: Dyadic Regression

abstract: Dyadic data, where outcomes reflecting pairwise interaction among sampled units are of primary interest, arise frequently in social science research. Regression analyses with such data feature prominently in many research literatures (e.g., gravity models of trade). The dependence structure associated with dyadic data raises special estimation and, especially, inference issues. This chapter reviews currently available methods for (parametric) dyadic regression analysis and presents guidelines for empirical researchers.


title: Decomposable polymatroids and connections with graph coloring

abstract: We introduce ideas that complement the many known connections between polymatroids and graph coloring. Given a hypergraph that satisfies certain conditions, we construct polymatroids, given as rank functions, that can be written as sums of rank functions of matroids, and for which the minimum number of matroids required in such sums is the chromatic number of the line graph of the hypergraph. This result motivates introducing chromatic numbers and chromatic polynomials for polymatroids. We show that the chromatic polynomial of any 2-polymatroid is a rational multiple of the chromatic polynomial of some graph. We also find the excluded minors for the minor-closed class of polymatroids that can be written as sums of rank functions of matroids that form a chain of quotients.


title: Generic Tracking and Probabilistic Prediction Framework and Its Application in Autonomous Driving

abstract: Accurately tracking and predicting behaviors of surrounding objects are key prerequisites for intelligent systems such as autonomous vehicles to achieve safe and high-quality decision making and motion planning. However, there still remain challenges for multi-target tracking due to object number fluctuation and occlusion. To overcome these challenges, we propose a constrained mixture sequential Monte Carlo (CMSMC) method in which a mixture representation is incorporated in the estimated posterior distribution to maintain multi-modality. Multiple targets can be tracked simultaneously within a unified framework without explicit data association between observations and tracking targets. The framework can incorporate an arbitrary prediction model as the implicit proposal distribution of the CMSMC method. An example in this paper is a learning-based model for hierarchical time-series prediction, which consists of a behavior recognition module and a state evolution module. Both modules in the proposed model are generic and flexible so as to be applied to a class of time-series prediction problems where behaviors can be separated into different levels. Finally, the proposed framework is applied to a numerical case study as well as a task of on-road vehicle tracking, behavior recognition, and prediction in highway scenarios. Instead of only focusing on forecasting trajectory of a single entity, we jointly predict continuous motions for interactive entities simultaneously. The proposed approaches are evaluated from multiple aspects, which demonstrate great potential for intelligent vehicular systems and traffic surveillance systems.


title: Bi-Homomorphic Lattice-Based PRFs and Unidirectional Updatable Encryption

abstract: We define a pseudorandom function (PRF) $F: \mathcal{K} \times \mathcal{X} \rightarrow \mathcal{Y}$ to be bi-homomorphic when it is fully Key homomorphic and partially Input Homomorphic (KIH), i.e., given $F(k_1, x_1)$ and $F(k_2, x_2)$, there is an efficient algorithm to compute $F(k_1 \oplus k_2, x_1 \ominus x_2)$, where $\oplus$ and $\ominus$ are (binary) group operations. The homomorphism on the input is restricted to a fixed subset of the input bits, i.e., $\ominus$ operates on some pre-decided $m$-out-of-$n$ bits, where $|x_1| = |x_2| = n$, and the remaining $n-m$ bits are identical in both inputs. In addition, the output length, $\ell$, of the operator $\ominus$ is not fixed and is defined as $n \leq \ell \leq 2n$, hence leading to Homomorphically induced Variable input Length (HVL) as $n \leq |x_1 \ominus x_2| \leq 2n$. We present a learning with errors (LWE) based construction for a HVL-KIH-PRF family. Our construction is inspired by the key homomorphic PRF construction due to Banerjee and Peikert (Crypto 2014). An updatable encryption scheme allows rotations of the encryption key, i.e., moving existing ciphertexts from old to new key. These updates are carried out via \emph{update tokens}, which can be used by an untrusted party since the update procedure does not involve decryption of the ciphertext. We use our novel PRF family to construct an updatable encryption scheme, named QPC-UE-UU, which is quantum-safe, post-compromise secure and supports unidirectional ciphertext updates, i.e., the update tokens can be used to perform ciphertext updates but they cannot be used to undo already completed updates. Our PRF family also leads to the first left/right key homomorphic constrained-PRF family with HVL.


title: Single-Frequency Imaging and Material Characterization using Reconfigurable Reflectarrays

abstract: In this work, a physical and geometrical optics based single-frequency imaging scheme is proposed for personal screening systems using multiple reconfigurable reflectarrays. This scheme is able to not only reconstruct profiles of potential threat objects on human body, but also identify their materials in terms of their complex relative permittivities. Both simulation and experiment are carried out to detect dielectric objects at a microwave frequency of 24.16 GHz. The object profiles and complex relative permittivities are obtained with both high accuracy and computational efficiency, which show great potentials for security imaging where inspection of human body for threat materials, such as narcotics, explosives, and other types of contraband, is very common.


title: Stochastic Dynamic Programming for Wind Farm Power Maximization

abstract: Wind farms can increase annual energy production (AEP) with advanced control algorithms by coordinating the set points of individual turbine controllers across the farm. However, it remains a significant challenge to achieve performance improvements in practice because of the difficulty of utilizing models that capture pertinent complex aerodynamic phenomena while remaining amenable to control design. We formulate a multi-stage stochastic optimal control problem for wind farm power maximization and show that it can be solved analytically via dynamic programming. In particular, our model incorporates state- and input-dependent multiplicative noise whose distributions capture stochastic wind fluctuations. The optimal control policies and value functions explicitly incorporate the moments of these distributions, establishing a connection between wind flow data and optimal feedback control. We illustrate the results with numerical experiments that demonstrate the advantages of our approach over existing methods based on deterministic models.


title: Long time behaviour of a local perturbation in the isotropic XY chain under periodic forcing

abstract: We study the isotropic XY quantum spin chain with a time-periodic transverse magnetic field acting on a single site. The asymptotic problem can be mapped into a highly resonant Floquet-Schr\"odinger equation, for which, under a diophantine-like assumption on the frequency, we show the existence of a periodic solution. The proof is based on a KAM-type renormalisation. This in turn implies the state of the quantum spin chain to be asymptotically a periodic function synchronised with the forcing also at low frequencies.


title: Reductions of some two-dimensional crystalline representations via Kisin modules

abstract: We determine rational Kisin modules associated with two-dimensional, irreducible, crystalline representations of $\mathrm{Gal}(\overline{\mathbb{Q}}_p/\mathbb{Q}_p)$ of Hodge-Tate weights $0, k-1$. If the slope is larger than $\lfloor \frac{k-1}{p} \rfloor$, we further identify an integral Kisin module, which we use to calculate the semisimple reduction of the Galois representation. In that range, we find that the reduction is constant, thereby improving on a theorem of Berger, Li, and Zhu.


title: NuSTAR Tests of Sterile-Neutrino Dark Matter: New Galactic Bulge Observations and Combined Impact

abstract: We analyze two dedicated NuSTAR observations with exposure ${\sim}190$ ks located ${\sim}10^\circ$ from the Galactic plane, one above and the other below, to search for x-ray lines from the radiative decay of sterile-neutrino dark matter. These fields were chosen to minimize astrophysical x-ray backgrounds while remaining near the densest region of the dark matter halo. We find no evidence of anomalous x-ray lines in the energy range 5--20 keV, corresponding to sterile neutrino masses 10--40 keV. Interpreted in the context of sterile neutrinos produced via neutrino mixing, these observations provide the leading constraints in the mass range 10--12 keV, improving upon previous constraints in this range by a factor ${\sim}2$. We also compare our results to Monte Carlo simulations, showing that the fluctuations in our derived limit are not dominated by systematic effects. An updated model of the instrumental background, which is currently under development, will improve NuSTAR's sensitivity to anomalous x-ray lines, particularly for energies 3--5 keV.


title: Identification of Pediatric Sepsis Subphenotypes for Enhanced Machine Learning Predictive Performance: A Latent Profile Analysis

abstract: Background: While machine learning (ML) models are rapidly emerging as promising screening tools in critical care medicine, the identification of homogeneous subphenotypes within populations with heterogeneous conditions such as pediatric sepsis may facilitate attainment of high-predictive performance of these prognostic algorithms. This study is aimed to identify subphenotypes of pediatric sepsis and demonstrate the potential value of partitioned data/subtyping-based training. Methods: This was a retrospective study of clinical data extracted from medical records of 6,446 pediatric patients that were admitted at a major hospital system in the DC area. Vitals and labs associated with patients meeting the diagnostic criteria for sepsis were used to perform latent profile analysis. Modern ML algorithms were used to explore the predictive performance benefits of reduced training data heterogeneity via label profiling. Results: In total 134 (2.1%) patients met the diagnostic criteria for sepsis in this cohort and latent profile analysis identified four profiles/subphenotypes of pediatric sepsis. Profiles 1 and 3 had the lowest mortality and included pediatric patients from different age groups. Profile 2 were characterized by respiratory dysfunction; profile 4 by neurological dysfunction and highest mortality rate (22.2%). Machine learning experiments comparing the predictive performance of models derived without training data profiling against profile targeted models suggest statistically significant improved performance of prediction can be obtained. For example, area under ROC curve (AUC) obtained to predict profile 4 with 24-hour data (AUC = .998, p < .0001) compared favorably with the AUC obtained from the model considering all profiles as a single homogeneous group (AUC = .918) with 24-hour data.


title: Varieties of Nilpotent Lie Superalgebras of dimension $\leq 5$

abstract: In this paper we study the varieties of nilpotent Lie superalgebras of dimension $\leq 5$. We provide the algebraic classification of these superalgebras and obtain the irreducible components in every variety. As a by product we construct rigid nilpotent Lie superalgebras of arbitrary dimension.


title: Geometry of geodesics through Busemann measures in directed last-passage percolation

abstract: We consider planar directed last-passage percolation on the square lattice with general i.i.d. weights and study the geometry of the full set of semi-infinite geodesics in a typical realization of the random environment. The structure of the geodesics is studied through the properties of the Busemann functions viewed as a stochastic process indexed by the asymptotic direction. Our results are further connected to the ergodic program for and stability properties of random Hamilton-Jacobi equations. In the exactly solvable exponential model, our results specialize to give the first complete characterization of the uniqueness and coalescence structure of the entire family of semi-infinite geodesics for any model of this type. Furthermore, we compute statistics of locations of instability, where we discover an unexpected connection to simple symmetric random walk.


title: A Center in Your Neighborhood: Fairness in Facility Location

abstract: When selecting locations for a set of facilities, standard clustering algorithms may place unfair burden on some individuals and neighborhoods. We formulate a fairness concept that takes local population densities into account. In particular, given $k$ facilities to locate and a population of size $n$, we define the "neighborhood radius" of an individual $i$ as the minimum radius of a ball centered at $i$ that contains at least $n/k$ individuals. Our objective is to ensure that each individual has a facility within at most a small constant factor of her neighborhood radius. We present several theoretical results: We show that optimizing this factor is NP-hard; we give an approximation algorithm that guarantees a factor of at most 2 in all metric spaces; and we prove matching lower bounds in some metric spaces. We apply a variant of this algorithm to real-world address data, showing that it is quite different from standard clustering algorithms and outperforms them on our objective function and balances the load between facilities more evenly.


title: SIDLE: Semantically Intelligent Distributed Leader Election Algorithm for Wireless Sensor Networks

abstract: This paper introduces the deployment of a group of Wireless Sensor and Actuator Network (WSAN) for Internet of Thing (IoT) systems in rural regions deployed by a drone dropping sensors and actuators at a certain position as a mesh of a hexagonal form. Nodes are heterogeneous in hardware and functionality thus not all nodes are able to transfer data directly to the base station. Primitive ones are only capable of collecting local data. However, ones that are more sophisticated are equipped with long-range radio telemetry and more computational power. Power optimization is one of the crucial factors in designing WSANs. Total power consumption must be minimized, as sensors are self-managed. It is not feasible to collect sensors on time bases and recharge the batteries. Therefore, energy consumption optimization and harvesting green energy are other factors that are considered. In this regard, protocols are designed in a way to support such requirements. The preprocessed data are first collected and combined by the leaders at each hexagonal cell. Then, the information packets are sent to the head clusters. Consequently, head clusters reprocess the received information and depict a better global view of the zone, using a variety of the received information. Finally, the processed information is sent to the nearest base station or a mobile drone.


title: Proximal gradient flow and Douglas-Rachford splitting dynamics: global exponential stability via integral quadratic constraints

abstract: Many large-scale and distributed optimization problems can be brought into a composite form in which the objective function is given by the sum of a smooth term and a nonsmooth regularizer. Such problems can be solved via a proximal gradient method and its variants, thereby generalizing gradient descent to a nonsmooth setup. In this paper, we view proximal algorithms as dynamical systems and leverage techniques from control theory to study their global properties. In particular, for problems with strongly convex objective functions, we utilize the theory of integral quadratic constraints to prove the global exponential stability of the equilibrium points of the differential equations that govern the evolution of proximal gradient and Douglas-Rachford splitting flows. In our analysis, we use the fact that these algorithms can be interpreted as variable-metric gradient methods on the suitable envelopes and exploit structural properties of the nonlinear terms that arise from the gradient of the smooth part of the objective function and the proximal operator associated with the nonsmooth regularizer. We also demonstrate that these envelopes can be obtained from the augmented Lagrangian associated with the original nonsmooth problem and establish conditions for global exponential convergence even in the absence of strong convexity.


title: Moyal Star-Product and Unitary Representations of the Euclidean Motion Group

abstract: In this paper, the Moyal star-product quantization is used to construct the unitary irreducible representations of the Euclidean motion group on 3-dimensions. These unitary representations will come from the representation of its Lie algebra whose operators are defined by the left Moyal star-product multiplication. In fact, these representations of the Lie algebra is the infinitisimal representation. Hence, the exponentiation of these operators gives rise to unitary operators that defines the desired unitary representations.


title: Deformations of noncompact Calabi--Yau manifolds, families and diamonds

abstract: We introduce a new notion of deformation of complex structure, which we use as an adaptation of Kodaira's theory of deformations, but that is better suited to the study of noncompact manifolds. We present several families of deformations illustrating this new approach. Our examples include toric Calabi--Yau threefolds, cotangent bundles of flag manifolds, and semisimple adjoint orbits, and we describe their Hodge theoretical invariants, depicting Hodge diamonds and KKP diamonds.


title: Subgroups of right-angled Coxeter groups via Stallings-like techniques

abstract: We associate cube complexes called completions to each subgroup of a right-angled Coxeter group (RACG). A completion characterizes many properties of the subgroup such as whether it is quasiconvex, normal, finite-index or torsion-free. We use completions to show that reflection subgroups are quasiconvex, as are one-ended Coxeter subgroups of a 2-dimensional RACG. We provide an algorithm that determines whether a given one-ended, 2-dimensional RACG is isomorphic to some finite-index subgroup of another given RACG. In addition, we answer several algorithmic questions regarding quasiconvex subgroups. Finally, we give a new proof of Haglund's result that quasiconvex subgroups of RACGs are separable.


title: Parameter Modeling for Small-Scale Mobility in Indoor THz Communication

abstract: Despite such challenges as high path loss and equipment cost, THz communication is becoming one of the potentially viable means through which ultra-high data rate can be achieved. To compensate for the high path loss, we present parameter modeling for indoor THz communication. To maximize efficient and opportunistic use of resources, we analyze the potential workarounds for a single access point to satisfy most of the mobile terminals by varying such parameters as humidity, distance, frequency windows, beamwidths, antenna placement, and user mobility type. One promising parameter is antenna beamwidth, where narrower beams results in higher antenna gain. However, this can lead to "\textit{beamwidth dilemma}" scenario, where narrower beamwidth can result in significant outages due to device mobility and orientation. In this paper, we address this challenge by presenting a mobility model that performs an extensive analysis of different human mobility scenarios, where each scenario has different data rate demands and movement patterns. We observe that for mobile users, there are optimal beamwidths that are affected by the mobility type (high mobility, constrained mobility, and low mobility) and AP placement.


title: Griffon: Reasoning about Job Anomalies with Unlabeled Data in Cloud-based Platforms

abstract: Microsoft's internal big data analytics platform is comprised of hundreds of thousands of machines, serving over half a million jobs daily, from thousands of users. The majority of these jobs are recurring and are crucial for the company's operation. Although administrators spend significant effort tuning system performance, some jobs inevitably experience slowdowns, i.e., their execution time degrades over previous runs. Currently, the investigation of such slowdowns is a labor-intensive and error-prone process, which costs Microsoft significant human and machine resources, and negatively impacts several lines of businesses. In this work, we present Griffin, a system we built and have deployed in production last year to automatically discover the root cause of job slowdowns. Existing solutions either rely on labeled data (i.e., resolved incidents with labeled reasons for job slowdowns), which is in most cases non-existent or non-trivial to acquire, or on time-series analysis of individual metrics that do not target specific jobs holistically. In contrast, in Griffin we cast the problem to a corresponding regression one that predicts the runtime of a job, and show how the relative contributions of the features used to train our interpretable model can be exploited to rank the potential causes of job slowdowns. Evaluated over historical incidents, we show that Griffin discovers slowdown causes that are consistent with the ones validated by domain-expert engineers, in a fraction of the time required by them.


title: Learning to Demodulate from Few Pilots via Offline and Online Meta-Learning

abstract: This paper considers an Internet-of-Things (IoT) scenario in which devices sporadically transmit short packets with few pilot symbols over a fading channel. Devices are characterized by unique transmission non-idealities, such as I/Q imbalance. The number of pilots is generally insufficient to obtain an accurate estimate of the end-to-end channel, which includes the effects of fading and of the transmission-side distortion. This paper proposes to tackle this problem by using meta-learning. Accordingly, pilots from previous IoT transmissions are used as meta-training data in order to train a demodulator that is able to quickly adapt to new end-to-end channel conditions from few pilots. Various state-of-the-art meta-learning schemes are adapted to the problem at hand and evaluated, including Model-Agnostic Meta-Learning (MAML), First-Order MAML (FOMAML), REPTILE, and fast Context Adaptation VIA meta-learning (CAVIA). Both offline and online solutions are developed. In the latter case, an integrated online meta-learning and adaptive pilot number selection scheme is proposed. Numerical results validate the advantages of meta-learning as compared to training schemes that either do not leverage prior transmissions or apply a standard joint learning algorithms on previously received data.


title: On the $p$-adic distribution of torsion values for a section of an abelian scheme

abstract: Let $A \rightarrow S$ be an abelian scheme over a $p$-adic field, and let $s \colon S \rightarrow A$ be a section. We study the torsion locus $\bigcup \limits_{n \geq 1} s^{-1}(A[n])$ on $S$, and we show that torsion points on $S$ of different orders stay away from each other.


title: A walk on max-plus algebra

abstract: Max-plus algebra is a kind of idempotent semiring over $\mathbb{R}_{\max}:=\mathbb{R}\cup\{-\infty\}$ with two operations $\oplus := \max$ and $\otimes := +$.In this paper, we introduce a new model of a walk on one dimensional lattice on $\mathbb{Z}$, as an analogue of the quantum walk, over the max-plus algebra and we call it max-plus walk. In the conventional quantum walk, the summation of the $\ell^2$-norm of the states over all the positions is a conserved quantity. In contrast, the summation of eigenvalues of state decision matrices is a conserved quantity in the max-plus walk.Moreover, spectral analysis on the total time evolution operator is also given.


title: Perturbed Field Ionization for Improved State Selectivity

abstract: Selective field ionization is used to determine the state or distribution of states to which a Rydberg atom is excited. By evolving a small perturbation to the ramped electric field using a genetic algorithm, the shape of the time-resolved ionization signal can be controlled. This allows for separation of signals from pairs of states that would be indistinguishable with unperturbed selective field ionization. Measurements and calculations are presented that demonstrate this technique and shed light on how the perturbation directs the pathway of the electron to ionization. Pseudocode for the genetic algorithm is provided. Using the improved resolution afforded by this technique, quantitative measurements of the $36p_{3/2}+36p_{3/2}\rightarrow 36s_{1/2}+37s_{1/2}$ dipole-dipole interaction are made.


title: Measurement-Induced Randomness and Structure in Controlled Qubit Processes

abstract: When an experimentalist measures a time series of qubits, the outcomes generate a classical stochastic process. We show that measurement induces high complexity in these processes in two specific senses: they are inherently unpredictable (positive Shannon entropy rate) and they require an infinite number of features for optimal prediction (divergent statistical complexity). We identify nonunifilarity as the mechanism underlying the resulting complexities and examine the influence that measurement choice has on the randomness and structure of measured qubit processes. We introduce new quantitative measures of this complexity and provide efficient algorithms for their estimation.

categories: quant-ph cond-mat.stat-mech math.DS nlin.CD


title: Capturing Cosmic Ray Research and Researchers with Art

abstract: We describe our experiment with an alternate approach to presenting cosmic ray research. The goal was to more widely promote cosmic ray research and attract diverse audiences, especially those from groups that are underrepresented in science or that do not have experience attending science outreach events. The IceCube Neutrino Observatory education and outreach team brought together local teenagers, internationally accomplished artists, science communicators, and scientists to produce an interactive gallery exhibit, Messages, that explores the cosmic ray community and science. The artists collaborated with the scientists and students to create two original installations that will be displayed at the UW-Madison Memorial Union Gallery for six weeks, from mid-June, 2019, through the end of the International Cosmic Ray Conference 2019. Event Horizon by Abdu'Allah with Ladoni features portraits of cosmic ray researchers and high school students who are learning more about the field. This installation will examine the science community as it is and as it could be. Messages from the Horizon by Hosale with Madsen is inspired by previous immersive works. It combines sound and light to explore what we know and how we know it.


title: Wasserstein Gradient Flow Formulation of the Time-Fractional Fokker-Planck Equation

abstract: In this work, we investigate a variational formulation for a time-fractional Fokker-Planck equation which arises in the study of complex physical systems involving anomalously slow diffusion. The model involves a fractional-order Caputo derivative in time, and thus inherently nonlocal. The study follows the Wasserstein gradient flow approach pioneered by [26]. We propose a JKO type scheme for discretizing the model, using the L1 scheme for the Caputo fractional derivative in time, and establish the convergence of the scheme as the time step size tends to zero. Illustrative numerical results in one- and two-dimensional problems are also presented to show the approach.


title: Finitary codings for gradient models and a new graphical representation for the six-vertex model

abstract: It is known that the Ising model on $\mathbb {Z}^d$ at a given temperature is a finitary factor of an i.i.d. process if and only if the temperature is at least the critical temperature. Below the critical temperature, the plus and minus states of the Ising model are distinct and differ from one another by a global flip of the spins. We show that it is only this global information which poses an obstruction for being finitary by showing that the gradient of the Ising model is a finitary factor of i.i.d. at all temperatures. As a consequence, we deduce a volume-order large deviation estimate for the energy. A similar result is shown for the Potts model. A result in the same spirit is also shown for the six-vertex model, which is itself the gradient of a height function, with parameter $c \gtrapprox 6.4$. We show that the gradient of the height function is not a finitary factor of an i.i.d. process, but that its "Laplacian" is. For this, we introduce a coupling between the six-vertex model with $c\ge 2$ and a new graphical representation of it, reminiscent of the Edwards--Sokal coupling between the Potts and random-cluster models. We believe that this graphical representation may be of independent interest and could serve as a tool in further understanding of the six-vertex model. To provide further support for the ubiquity of this type of phenomenon, we also prove an analogous result for the so-called beach model. The tools and techniques used in this paper are probabilistic in nature. The heart of the argument is to devise a suitable tree structure on the clusters of the underlying percolation process (associated to the graphical representation of the given model), which can be revealed piece-by-piece via exploration.


title: Consistent Classification with Generalized Metrics

abstract: We propose a framework for constructing and analyzing multiclass and multioutput classification metrics, i.e., involving multiple, possibly correlated multiclass labels. Our analysis reveals novel insights on the geometry of feasible confusion tensors -- including necessary and sufficient conditions for the equivalence between optimizing an arbitrary non-decomposable metric and learning a weighted classifier. Further, we analyze averaging methodologies commonly used to compute multioutput metrics and characterize the corresponding Bayes optimal classifiers. We show that the plug-in estimator based on this characterization is consistent and is easily implemented as a post-processing rule. Empirical results on synthetic and benchmark datasets support the theoretical findings.


title: Integration of Blockchain and Cloud of Things: Architecture, Applications and Challenges

abstract: The blockchain technology is taking the world by storm. Blockchain with its decentralized, transparent and secure nature has emerged as a disruptive technology for the next generation of numerous industrial applications. One of them is Cloud of Things enabled by the combination of cloud computing and Internet of Things. In this context, blockchain provides innovative solutions to address challenges in Cloud of Things in terms of decentralization, data privacy and network security, while Cloud of Things offer elasticity and scalability functionalities to improve the efficiency of blockchain operations. Therefore, a novel paradigm of blockchain and Cloud of Things integration, called BCoT, has been widely regarded as a promising enabler for a wide range of application scenarios. In this paper, we present a state-of-the-art review on the BCoT integration to provide general readers with an overview of the BCoT in various aspects, including background knowledge, motivation, and integrated architecture. Particularly, we also provide an in-depth survey of BCoT applications in different use-case domains such as smart healthcare, smart city, smart transportation and smart industry. Then, we review the recent BCoT developments with the emerging blockchain and cloud platforms, services, and research projects. Finally, some important research challenges and future directions are highlighted to spur further research in this promising area.


title: Semi-Supervised Record Linkage for Construction of Large-Scale Sociocentric Networks in Resource-limited Settings: An application to the SEARCH Study in Rural Uganda and Kenya

abstract: This paper presents a novel semi-supervised algorithmic approach to creating large scale sociocentric networks in rural East Africa. We describe the construction of 32 large-scale sociocentric social networks in rural Sub-Saharan Africa. Networks were constructed by applying a semi-supervised record-linkage algorithm to data from census-enumerated residents of the 32 communities included in the SEARCH study (NCT01864603), a community-cluster randomized HIV prevention trial in Uganda and Kenya. Contacts were solicited using a five question name generator in the domains of emotional support, food sharing, free time, health issues and money issues. The fully constructed networks include 170; 028 nodes and 362; 965 edges aggregated across communities (ranging from 4449 to 6829 nodes and from 2349 to 31,779 edges per community). Our algorithm matched on average 30% of named contacts in Kenyan communities and 50% of named contacts in Ugandan communities to residents named in census enumeration. Assortative mixing measures for eight different covariates reveal that residents in the network have a very strong tendency to associate with others who are similar to them in age, sex, and especially village. The networks in the SEARCH Study will provide a platform for improved understanding of health outcomes in rural East Africa. The network construction algorithm we present may facilitate future social network research in resource-limited settings.


title: EyeNet: A Multi-Task Network for Off-Axis Eye Gaze Estimation and User Understanding

abstract: Eye gaze estimation and simultaneous semantic understanding of a user through eye images is a crucial component in Virtual and Mixed Reality; enabling energy efficient rendering, multi-focal displays and effective interaction with 3D content. In head-mounted VR/MR devices the eyes are imaged off-axis to avoid blocking the user's gaze, this view-point makes drawing eye related inferences very challenging. In this work, we present EyeNet, the first single deep neural network which solves multiple heterogeneous tasks related to eye gaze estimation and semantic user understanding for an off-axis camera setting. The tasks include eye segmentation, blink detection, emotive expression classification, IR LED glints detection, pupil and cornea center estimation. To train EyeNet end-to-end we employ both hand labelled supervision and model based supervision. We benchmark all tasks on MagicEyes, a large and new dataset of 587 subjects with varying morphology, gender, skin-color, make-up and imaging conditions.


title: The effect of fluctuating fuzzy axion haloes on stellar dynamics: a stochastic model

abstract: Fuzzy dark matter of ultra-light axions has gained attention, largely in light of the galactic scale problems associated with cold dark matter. But the large de Broglie wavelength, believed to possibly alleviate these problems, also leads to fluctuations that place constraints on ultra-light axions. We adapt and extend a method, previously devised to describe the effect of gaseous fluctuations on cold dark matter cusps, in order to determine the imprints of ultra-light axion haloes on the motion of classical test particles. We first evaluate the effect of fluctuations in a statistically homogeneous medium of classical particles, then in a similar system of ultra light axions. In the first case, one recovers the classical two body relaxation time (and diffusion coefficients) from white noise density fluctuations. In the second situation, the fluctuations are not born of discreteness noise but from the finite de Broglie wavelength; correlation therefore exists over this scale, while white noise is retained on larger scales, elucidating the correspondence with classical relaxation. The resulting density power spectra and correlation functions are compared with those inferred from numerical simulations, and the relaxation time arising from the associated potential fluctuations is evaluated. We then apply our results to estimate the heating of disks embedded in axion dark haloes. We find that this implies an axion mass $m \ga 2 \times 10^{-22} {\rm eV}$. We finally apply our model to the case of the central cluster of Eridanus II, confirming that far stronger constraints on $m$ may in principle be obtained, and discussing the limitations associated with the assumptions leading to these.


title: Photon Reconstruction Performance at the CEPC baseline detector

abstract: The Circular Electron Positron Collider (CEPC) is a proposed Higgs/Z factory. The photon reconstruction is critical to its physics program. We study the photon reconstruction at the CEPC baseline detector, a Particle Flow oriented detector. We characterized the objective performance at both single-photon and di-photon samples. At the single-photon sample, we quantify the photon conversion rate, the differential reconstruction efficiency and energy resolution, and the identification performance. Using di-photon samples, our analysis shows that the CEPC baseline detector reaches a relative mass resolution of 1.7 - 2.2% of the Higgs boson at the $H\to\gamma\gamma$ sample, and can reconstruct the $\pi^0$ with energy as high as 20 - 30 GeV. We also investigate the impact of geometry defects on photon energy resolution and discuss the possible corrections according to the reconstructed photon position.


title: How to Improve Functionals in Density Functional Theory? ---Formalism and Benchmark Calculation---

abstract: We proposed in Ref. [arXiv:1812.09285v2] a way to improve energy density functionals in the density functional theory based on the combination of the inverse Kohn-Sham method and the density functional perturbation theory. In this proceeding, we mainly focus on the results for the $ \mathrm{Ar} $ and $ \mathrm{Kr} $ atoms.

categories: physics.chem-ph cond-mat.str-el nucl-th physics.atom-ph physics.comp-ph


title: Fundamentals of Drone Cellular Network Analysis under Random Waypoint Mobility Model

abstract: In this paper, we present the first stochastic geometry-based performance analysis of a drone cellular network in which drone base stations (DBSs) are initially distributed based on a Poisson point process (PPP) and move according to a random waypoint (RWP) mobility model. The serving DBS for a typical user equipment (UE) on the ground is selected based on the nearest neighbor association policy. We further assume two service models for the serving DBS: (i) UE independent model (UIM), and (ii) UE dependent model (UDM). All the other DBSs are considered as interfering DBSs for the typical UE. We introduce a simplified RWP (SRWP) mobility model to describe the movement of interfering DBSs and characterize its key distributional properties that are required for our analysis. Building on these results, we analyze the interference field as seen by the typical UE for both the UIM and the UDM using displacement theorem, which forms the basis for characterizing the average rate at the typical UE as a function of time. To the best of our knowledge, this is the first work that analyzes the performance of a mobile drone network in which the drones follow an RWP mobility model on an infinite plane.


title: Graphs without two vertex-disjoint $S$-cycles

abstract: Lov\'asz (1965) characterized graphs without two vertex-disjoint cycles, which implies that such graphs have at most three vertices hitting all cycles. In this paper, we ask whether such a small hitting set exists for $S$-cycles, when a graph has no two vertex-disjoint $S$-cycles. For a graph $G$ and a vertex set $S$ of $G$, an $S$-cycle is a cycle containing a vertex of $S$. We provide an example $G$ on $21$ vertices where $G$ has no two vertex-disjoint $S$-cycles, but three vertices are not sufficient to hit all $S$-cycles. On the other hand, we show that four vertices are enough to hit all $S$-cycles whenever a graph has no two vertex-disjoint $S$-cycles.


title: Robust Regression via Deep Negative Correlation Learning

abstract: Nonlinear regression has been extensively employed in many computer vision problems (e.g., crowd counting, age estimation, affective computing). Under the umbrella of deep learning, two common solutions exist i) transforming nonlinear regression to a robust loss function which is jointly optimizable with the deep convolutional network, and ii) utilizing ensemble of deep networks. Although some improved performance is achieved, the former may be lacking due to the intrinsic limitation of choosing a single hypothesis and the latter usually suffers from much larger computational complexity. To cope with those issues, we propose to regress via an efficient "divide and conquer" manner. The core of our approach is the generalization of negative correlation learning that has been shown, both theoretically and empirically, to work well for non-deep regression problems. Without extra parameters, the proposed method controls the bias-variance-covariance trade-off systematically and usually yields a deep regression ensemble where each base model is both "accurate" and "diversified". Moreover, we show that each sub-problem in the proposed method has less Rademacher Complexity and thus is easier to optimize. Extensive experiments on several diverse and challenging tasks including crowd counting, personality analysis, age estimation, and image super-resolution demonstrate the superiority over challenging baselines as well as the versatility of the proposed method.


title: Plexus Convolutional Neural Network (PlexusNet): A novel neural network architecture for histologic image analysis

abstract: Different convolutional neural network (CNN) models have been tested for their application in histological image analyses. However, these models are prone to overfitting due to their large parameter capacity, requiring more data or valuable computational resources for model training. Given these limitations, we introduced a novel architecture (termed PlexusNet). We utilized 310 Hematoxylin and Eosin stained (H&E) annotated histological images of prostate cancer cases from TCGA-PRAD and Stanford University and 398 H&E whole slides images from the Camelyon 2016 challenge. PlexusNet-architecture -derived models were compared to models derived from several existing "state of the art" architectures. We measured discrimination accuracy, calibration, and clinical utility. An ablation study was conducted to study the effect of each component of PlexusNet on model performance. A well-fitted PlexusNet-based model delivered comparable classification performance (AUC: 0.963) in distinguishing prostate cancer from healthy tissues, although it was at least 23 times smaller, had a better model calibration and clinical utility than the comparison models. A separate smaller PlexusNet model accurately detected slides with breast cancer metastases (AUC: 0.978); it helped reduce the slide number to examine by 43.8% without consequences, although its parameter capacity was 200 times smaller than ResNet18. We found that the partitioning of the development set influences the model calibration for all models. However, with PlexusNet architecture, we could achieve comparable well-calibrated models trained on different partitions. In conclusion, PlexusNet represents a novel model architecture for histological image analysis that achieves classification performance comparable to other models while providing orders-of-magnitude parameter reduction.


title: A Precise and Expressive Lattice-theoretical Framework for Efficient Network Verification

abstract: Network verification promises to detect errors, such as black holes and forwarding loops, by logically analyzing the control or data plane. To do so efficiently, the state-of-the-art (e.g., Veriflow) partitions packet headers with identical forwarding behavior into the same packet equivalence class (PEC). Recently, Yang and Lam showed how to construct the minimal set of PECs, called atomic predicates. Their construction uses Binary Decision Diagrams (BDDs). However, BDDs have been shown to incur significant overhead per packet header bit, performing poorly when analyzing large-scale data centers. The overhead of atomic predicates prompted ddNF to devise a specialized data structure of Ternary Bit Vectors (TBV) instead. However, TBVs are strictly less expressive than BDDs. Moreover, unlike atomic predicates, ddNF's set of PECs is not minimal. We show that ddNF's non-minimality is due to empty PECs. In addition, empty PECs are shown to trigger wrong analysis results. This reveals an inherent tension between precision, expressiveness and performance in formal network verification. Our paper resolves this tension through a new lattice-theoretical PEC-construction algorithm, #PEC, that advances the field as follows: (i) #PEC can encode more kinds of forwarding rules (e.g., ip-tables) than ddNF and Veriflow, (ii) #PEC verifies a wider class of errors (e.g., shadowed rules) than ddNF, and (iii) on a broad range of real-world datasets, #PEC is 10X faster than atomic predicates. By achieving precision, expressiveness and performance, this paper answers a longstanding quest that has spanned three generations of formal network analysis techniques.


title: Hilbert bodies as quantum-classical continua

abstract: A hybrid quantum-classical model is proposed whereby a micro-structured (Cosserat-type) continuum is construed as a principal Hilbert bundle


title: Optimizing Inter-Datacenter Tail Flow Completion Times using Best Worst-case Routing

abstract: Flow routing over inter-datacenter networks is a well-known problem where the network assigns a path to a newly arriving flow potentially according to the network conditions and the properties of the new flow. An essential system-wide performance metric for a routing algorithm is the flow completion times, which affect the performance of applications running across multiple datacenters. Current static and dynamic routing approaches do not take advantage of flow size information in routing, which is practical in a controlled environment such as inter-datacenter networks that are managed by the datacenter operators. In this paper, we discuss Best Worst-case Routing (BWR), which aims at optimizing the tail completion times of long-running flows over inter-datacenter networks with non-uniform link capacities. Since finding the path with the best worst-case completion time for a new flow is NP-Hard, we investigate two heuristics, BWRH and BWRHF, which use two different upper bounds on the worst-case completion times for routing. We evaluate BWRH and BWRHF against several real WAN topologies and multiple traffic patterns. Although BWRH better models the BWR problem, BWRH and BWRHF show negligible difference across various system-wide performance metrics, while BWRHF being significantly faster. Furthermore, we show that compared to other popular routing heuristics, BWRHF can reduce the mean and tail flow completion times by over $1.5\times$ and $2\times$, respectively.


title: Geographically Weighted Cox Regression for Prostate Cancer Survival Data in Louisiana

abstract: The Cox proportional hazard model is one of the most popular tools in analyzing time-to-event data in public health studies. When outcomes observed in clinical data from different regions yield a varying pattern correlated with location, it is often of great interest to investigate spatially varying effects of covariates. In this paper, we propose a geographically weighted Cox regression model for sparse spatial survival data. In addition, a stochastic neighborhood weighting scheme is introduced at the county level. Theoretical properties of the proposed geographically weighted estimators are examined in detail. A model selection scheme based on the Takeuchi's model robust information criteria (TIC) is discussed. Extensive simulation studies are carried out to examine the empirical performance of the proposed methods. We further apply the proposed methodology to analyze real data on prostate cancer from the Surveillance, Epidemiology, and End Results cancer registry for the state of Louisiana.


title: Camera Pose Correction in SLAM Based on Bias Values of Map Points

abstract: Accurate camera pose estimation result is essential for visual SLAM (VSLAM). This paper presents a novel pose correction method to improve the accuracy of the VSLAM system. Firstly, the relationship between the camera pose estimation error and bias values of map points is derived based on the optimized function in VSLAM. Secondly, the bias value of the map point is calculated by a statistical method. Finally, the camera pose estimation error is compensated according to the first derived relationship. After the pose correction, procedures of the original system, such as the bundle adjustment (BA) optimization, can be executed as before. Compared with existing methods, our algorithm is compact and effective and can be easily generalized to different VSLAM systems. Additionally, the robustness to system noise of our method is better than feature selection methods, due to all original system information is preserved in our algorithm while only a subset is employed in the latter. Experimental results on benchmark datasets show that our approach leads to considerable improvements over state-of-the-art algorithms for absolute pose estimation.


title: Situational Fusion of Visual Representation for Visual Navigation

abstract: A complex visual navigation task puts an agent in different situations which call for a diverse range of visual perception abilities. For example, to "go to the nearest chair", the agent might need to identify a chair in a living room using semantics, follow along a hallway using vanishing point cues, and avoid obstacles using depth. Therefore, utilizing the appropriate visual perception abilities based on a situational understanding of the visual environment can empower these navigation models in unseen visual environments. We propose to train an agent to fuse a large set of visual representations that correspond to diverse visual perception abilities. To fully utilize each representation, we develop an action-level representation fusion scheme, which predicts an action candidate from each representation and adaptively consolidate these action candidates into the final action. Furthermore, we employ a data-driven inter-task affinity regularization to reduce redundancies and improve generalization. Our approach leads to a significantly improved performance in novel environments over ImageNet-pretrained baseline and other fusion methods.


title: Embedding into flat spacetime and black hole thermodynamics

abstract: It is known that static and spherically symmetric black hole solutions of general relativity in different spacetimes can be embedded into higher dimensional flat spacetime. Given this result, we have explored the thermodynamic nature of black holes \'{a} la its embedding into flat spacetime. In particular, we have explicitly demonstrated that black hole temperature can indeed be determined starting from the embedding and hence mapping of the static observers in black hole spacetime to Rindler observers in flat spacetime. Furthermore, by considering the dynamics of a scalar field in the flat spacetime it is indeed possible to arrive at the area scaling law for black hole entropy. Thus using flat spacetime field theory, one can indeed provide a thermodynamic description of black holes. Implications are also discussed.


title: Residual Objectness for Imbalance Reduction

abstract: For a long time, object detectors have suffered from extreme imbalance between foregrounds and backgrounds. While several sampling/reweighting schemes have been explored to alleviate the imbalance, they are usually heuristic and demand laborious hyper-parameters tuning, which is hard to achieve the optimality. In this paper, we first reveal that such the imbalance could be addressed in a learning-based manner. Guided by this illuminating observation, we propose a novel Residual Objectness (ResObj) mechanism that addresses the imbalance by end-to-end optimization, while no further hand-crafted sampling/reweighting is required. Specifically, by applying multiple cascaded objectness-related modules with residual connections, we formulate an elegant consecutive refinement procedure for distinguishing the foregrounds from backgrounds, thereby progressively addressing the imbalance. Extensive experiments present the effectiveness of our method, as well as its compatibility and adaptivity for both region-based and one-stage detectors, namely, the RetinaNet-ResObj, YOLOv3-ResObj and FasterRCNN-ResObj achieve relative 3.6%, 3.9%, 3.2% Average Precision (AP) improvements compared with their vanilla models on COCO, respectively.


title: Emergent critical phenomenon in spin-1/2 ferromagnetic-leg ladders: Quasi-one-dimensional Bose--Einstein condensate

abstract: We examine the magnetic-field-induced criticality of phase boundary near saturation field $H_{\mathrm{c}}$ in the spin-1/2 ferromagnetic (FM)-leg ladder 3-Cl-4-F-V [=3-(3-chloro-4-fluorophenyl)-1,5-diphenylverdazyl], the predominant interactions of which arise from FM chains (strong-leg type). Critical temperatures were precisely determined through dc magnetization, specific heat, and magnetocaloric effect measurements. The criticality of 3-Cl-4-F-V is characterized by a linear phase boundary with respect to $H_{\mathrm{c}}-H$ near $H\,=\,H_{\mathrm{c}}$. This behavior is similar to that of another strong-leg-type FM-leg ladder. The universal critical behavior in these strong-leg-type FM-leg ladders is expected to demonstrate the theoretically predicted quasi-one-dimensional Bose--Einstein condensation.


title: A Pilot Design for Observational Studies: Using Abundant Data Thoughtfully

abstract: Observational studies often benefit from an abundance of observational units. This can lead to studies that -- while challenged by issues of internal validity -- have inferences derived from sample sizes substantially larger than randomized controlled trials. But is the information provided by an observational unit best used in the analysis phase? We propose the use of `pilot design,' in which observations are expended in the design phase of the study, and the post-treatment information from these observations is used to improve study design. In modern observational studies, which are data rich but control poor, pilot designs can be used to gain information about the structure of post-treatment variation. This information can then be used to improve instrumental variable designs, propensity score matching, doubly-robust estimation, and other observational study designs. We illustrate one version of a pilot design, which aims to reduce within-set heterogeneity and improve performance in sensitivity analyses. This version of a pilot design expends observational units during the design phase to fit a prognostic model, avoiding concerns of overfitting. Additionally, it enables the construction of `Assignment-Control (AC) plots,' which visualize the relationship between propensity and prognostic scores. We first show some examples of these plots, then we demonstrate in a simulation setting how this alternative use of the observations can lead to gains in terms of both treatment effect estimation and sensitivity analyses of unobserved confounding.


title: KL property of exponent $1/2$ of $\ell_{2,0}$-norm and DC regularized factorizations for low-rank matrix recovery

abstract: This paper is concerned with the factorization form of the rank regularized loss minimization problem. To cater for the scenario in which only a coarse estimation is available for the rank of the true matrix, an $\ell_{2,0}$-norm regularized term is added to the factored loss function to reduce the rank adaptively; and account for the ambiguities in the factorization, a balanced term is then introduced. For the least squares loss, under a restricted condition number assumption on the sampling operator, we establish the KL property of exponent $1/2$ of the nonsmooth factored composite function and its equivalent DC reformulations in the set of their global minimizers. We also confirm the theoretical findings by applying a proximal linearized alternating minimization method to the regularized factorizations.


title: Stable minimality of expanding foliations

abstract: We prove that generically in $\text{Diff}^{1}_{m}(M)$, if an expanding $f$-invariant foliation $W$ of dimension $u$ is minimal and there is a periodic point of unstable index $u$, the foliation is stably minimal. By this we mean there is a $C^{1}$-neighborhood $\mathcal{U}$ of $f$ such that for all $C^{2}$-diffeomorphisms $g\in \mathcal{U}$, the $g$-invariant analytic continuation of $W$ is minimal. In particular, all such $g$ are topologically mixing. Moreover, all such $g$ have a hyperbolic ergodic component of the volume measure $m$ which is essentially dense. This component is, in fact, Bernoulli. We provide new examples of stably minimal diffeomorphisms which are not partially hyperbolic.


title: DAST Model: Deciding About Semantic Complexity of a Text

abstract: Measuring text complexity is an essential task in several fields and applications (such as NLP, semantic web, smart education, etc.). The semantic layer of text is more tacit than its syntactic structure and, as a result, calculation of semantic complexity is more difficult than syntactic complexity. While there are famous and powerful academic and commercial syntactic complexity measures, the problem of measuring semantic complexity is still a challenging one. In this paper, we introduce the DAST model, which stands for Deciding About Semantic Complexity of a Text. DAST proposes an intuitionistic approach to semantics that lets us have a well-defined model for the semantics of a text and its complexity: semantic is considered as a lattice of intuitions and, as a result, semantic complexity is defined as the result of a calculation on this lattice. A set theoretic formal definition of semantic complexity, as a 6-tuple formal system, is provided. By using this formal system, a method for measuring semantic complexity is presented. The evaluation of the proposed approach is done by a set of three human-judgment experiments. The results show that DAST model is capable of deciding about semantic complexity of text. Furthermore, the analysis of the results leads us to introduce a Markovian model for the process of common-sense, multiple-steps and semantic-complexity reasoning in people. The results of Experiments demonstrate that our method outperforms the random baseline with improvement in better precision and competes with other methods by less error percentage.