title: A Review of Critical Features and General Issues of Freely Available mHealth Apps For Dietary Assessment

abstract: Obesity is known to lower the quality of life substantially. It is often associated with increased chances of non-communicable diseases such as diabetes, cardiovascular problems, various cancers, etc. Evidence suggests that diet-related mobile applications play a vital role in assisting individuals in making healthier choices and keeping track of food intake. However, due to an abundance of similar applications, it becomes pertinent to evaluate each of them in terms of functionality, usability, and possible design issues to truly determine state-of-the-art solutions for the future. Since these applications involve implementing multiple user requirements and recommendations from different dietitians, the evaluation becomes quite complex. Therefore, this study aims to review existing dietary applications at length to highlight key features and problems that enhance or undermine an application's usability. For this purpose, we have examined the published literature from various scientific databases of the PUBMED, CINAHL (January 2010-December 2019) and Science Direct (2010-2019). We followed PRISMA guidelines, and out of our findings, fifty-six primary studies met our inclusion criteria after identification, screening, eligibility and full-text evaluation. We analyzed 35 apps from the selected studies and extracted the data of each of the identified apps.Following our detailed analysis on the comprehensiveness of freely available mHealth applications, we specified potential future research challenges and stated recommendations to help grow clinically accurate diet-related applications.


title: Joint Modeling of Chest Radiographs and Radiology Reports for Pulmonary Edema Assessment

abstract: We propose and demonstrate a novel machine learning algorithm that assesses pulmonary edema severity from chest radiographs. While large publicly available datasets of chest radiographs and free-text radiology reports exist, only limited numerical edema severity labels can be extracted from radiology reports. This is a significant challenge in learning such models for image classification. To take advantage of the rich information present in the radiology reports, we develop a neural network model that is trained on both images and free-text to assess pulmonary edema severity from chest radiographs at inference time. Our experimental results suggest that the joint image-text representation learning improves the performance of pulmonary edema assessment compared to a supervised model trained on images only. We also show the use of the text for explaining the image classification by the joint model. To the best of our knowledge, our approach is the first to leverage free-text radiology reports for improving the image model performance in this application. Our code is available at https://github.com/RayRuizhiLiao/joint_chestxray.


title: Goodness-of-fit tests for functional linear models based on integrated projections

abstract: Functional linear models are one of the most fundamental tools to assess the relation between two random variables of a functional or scalar nature. This contribution proposes a goodness-of-fit test for the functional linear model with functional response that neatly adapts to functional/scalar responses/predictors. In particular, the new goodness-of-fit test extends a previous proposal for scalar response. The test statistic is based on a convenient regularized estimator, is easy to compute, and is calibrated through an efficient bootstrap resampling. A graphical diagnostic tool, useful to visualize the deviations from the model, is introduced and illustrated with a novel data application. The R package goffda implements the proposed methods and allows for the reproducibility of the data application.


title: A group theoretic perspective on entanglements of division fields

abstract: In this paper, we initiate a systematic study of entanglements of division fields from a group theoretic perspective. For a positive integer $n$ and a subgroup $G\subseteq \text{GL}_2(\mathbb{Z}/{n}\mathbb{Z})$ with surjective determinant, we provide a definition for $G$ to represent an $(a,b)$-entanglement and give additional criteria for $G$ to represent an explained or unexplained $(a,b)$-entanglement. Using these new definitions, we determine the tuples $((p,q),T)$, with $p<q\in\mathbb{Z}$ distinct primes and $T$ a finite group, such that there are infinitely many non-$\bar{\mathbb{Q}}$-isomorphic elliptic curves over $\mathbb{Q}$ with an unexplained $(p,q)$-entanglement of type $T$. Furthermore, for each possible combination of entanglement level $(p,q)$ and type $T$, we completely classify the elliptic curves defined over $\mathbb{Q}$ with that combination by constructing the corresponding modular curve and $j$-map.


title: Semi-Supervised Data Programming with Subset Selection

abstract: The paradigm of data programming, which uses weak supervision in the form of rules/labelling functions, and semi-supervised learning, which augments small amounts of labelled data with a large unlabelled dataset, have shown great promise in several text classification scenarios. In this work, we argue that by not using any labelled data, data programming based approaches can yield sub-optimal performances, particularly when the labelling functions are noisy. The first contribution of this work is an introduction of a framework, \model which is a semi-supervised data programming paradigm that learns a \emph{joint model} that effectively uses the rules/labelling functions along with semi-supervised loss functions on the feature space. Next, we also study \modelss which additionally does subset selection on top of the joint semi-supervised data programming objective and \emph{selects} a set of examples that can be used as the labelled set by \model. The goal of \modelss is to ensure that the labelled data can \emph{complement} the labelling functions, thereby benefiting from both data-programming as well as appropriately selected data for human labelling. We demonstrate that by effectively combining semi-supervision, data-programming, and subset selection paradigms, we significantly outperform the current state-of-the-art on seven publicly available datasets. \footnote{The source code is available at \url{https://github.com/ayushbits/Semi-Supervised-LFs-Subset-Selection}}


title: Dichromatic number and forced subdivisions

abstract: We investigate bounds on the dichromatic number of digraphs which avoid a fixed digraph as a topological minor. For a digraph $F$, denote by $\text{mader}_{\vec{\chi}}(F)$ the smallest integer $k$ such that every $k$-dichromatic digraph contains a subdivision of $F$. As our first main result, we prove that if $F$ is an orientation of a cycle then $\text{mader}_{\vec{\chi}}(F)=v(F)$. This settles a conjecture of Aboulker, Cohen, Havet, Lochet, Moura and Thomass\'{e}. We also extend this result to the more general class of orientations of cactus graphs, and to bioriented forests. Our second main result is that $\text{mader}_{\vec{\chi}}(F)=4$ for every tournament $F$ of order $4$. This is an extension of the classical result by Dirac that $4$-chromatic graphs contain a $K_4$-subdivision to directed graphs.


title: Distality in valued fields and related structures

abstract: We investigate distality and existence of distal expansions in valued fields and related structures. In particular, we characterize distality in a large class of ordered abelian groups, provide an AKE-style characterization for henselian valued fields, and demonstrate that certain expansions of fields, e.g., the differential field of logarithmic-exponential transseries, are distal. As a new tool for analyzing valued fields we employ a relative quantifier elimination for pure short exact sequences of abelian groups.


title: Supervision Levels Scale (SLS)

abstract: We propose a three-dimensional discrete and incremental scale to encode a method's level of supervision - i.e. the data and labels used when training a model to achieve a given performance. We capture three aspects of supervision, that are known to give methods an advantage while requiring additional costs: pre-training, training labels and training data. The proposed three-dimensional scale can be included in result tables or leaderboards to handily compare methods not only by their performance, but also by the level of data supervision utilised by each method. The Supervision Levels Scale (SLS) is first presented generally fo any task/dataset/challenge. It is then applied to the EPIC-KITCHENS-100 dataset, to be used for the various leaderboards and challenges associated with this dataset.


title: Online Visual Tracking with One-Shot Context-Aware Domain Adaptation

abstract: Online learning policy makes visual trackers more robust against different distortions through learning domain-specific cues. However, the trackers adopting this policy fail to fully leverage the discriminative context of the background areas. Moreover, owing to the lack of sufficient data at each time step, the online learning approach can also make the trackers prone to over-fitting to the background regions. In this paper, we propose a domain adaptation approach to strengthen the contributions of the semantic background context. The domain adaptation approach is backboned with only an off-the-shelf deep model. The strength of the proposed approach comes from its discriminative ability to handle severe occlusion and background clutter challenges. We further introduce a cost-sensitive loss alleviating the dominance of non-semantic background candidates over the semantic candidates, thereby dealing with the data imbalance issue. Experimental results demonstrate that our tracker achieves competitive results at real-time speed compared to the state-of-the-art trackers.


title: Few-Shot Learning with Intra-Class Knowledge Transfer

abstract: We consider the few-shot classification task with an unbalanced dataset, in which some classes have sufficient training samples while other classes only have limited training samples. Recent works have proposed to solve this task by augmenting the training data of the few-shot classes using generative models with the few-shot training samples as the seeds. However, due to the limited number of the few-shot seeds, the generated samples usually have small diversity, making it difficult to train a discriminative classifier for the few-shot classes. To enrich the diversity of the generated samples, we propose to leverage the intra-class knowledge from the neighbor many-shot classes with the intuition that neighbor classes share similar statistical information. Such intra-class information is obtained with a two-step mechanism. First, a regressor trained only on the many-shot classes is used to evaluate the few-shot class means from only a few samples. Second, superclasses are clustered, and the statistical mean and feature variance of each superclass are used as transferable knowledge inherited by the children few-shot classes. Such knowledge is then used by a generator to augment the sparse training data to help the downstream classification tasks. Extensive experiments show that our method achieves state-of-the-art across different datasets and $n$-shot settings.


title: Vibrational Effects on the Coefficient of Restitution

abstract: A ball dropped from a given height onto a surface, will bounce repeatedly before coming to rest. A ball bouncing on a thick plate will behave very differently than a ball bouncing off the thin lid of a container. For a plate with a fixed thickness, a ball bouncing at the edge of a plate will be very different from the ball bouncing off the middle of the plate. We study the coefficient of restitution $\epsilon$ for a steel ball bouncing steel plates of various thicknesses. We observe how $\epsilon$ changes as the ball repeated bounces and finally comes to rest. Generally, $\epsilon < 1$ due to the dissipation of kinetic energy of the ball into the plate. However this dissipated energy can come back into ball in its later bounces. We see the emergence of super-elastic collisions ($\epsilon > 1$), implying that the ball gained Kinetic Energy due to the collision with the plate. We can increase the probability of such super-elastic collisions (P$_{SE}$) by adding a spring to the ball. We construct a simple theoretical model where the energy lost from previous collisions are transferred back into later ones. This model is able to simulate the occurrence of such super-elastic collisions.


title: DUTH at SemEval-2020 Task 11: BERT with Entity Mapping for Propaganda Classification

abstract: This report describes the methods employed by the Democritus University of Thrace (DUTH) team for participating in SemEval-2020 Task 11: Detection of Propaganda Techniques in News Articles. Our team dealt with Subtask 2: Technique Classification. We used shallow Natural Language Processing (NLP) preprocessing techniques to reduce the noise in the dataset, feature selection methods, and common supervised machine learning algorithms. Our final model is based on using the BERT system with entity mapping. To improve our model's accuracy, we mapped certain words into five distinct categories by employing word-classes and entity recognition.


title: Adequate links in thickened surfaces and the generalized Tait conjectures

abstract: In this paper, we apply Kauffman bracket skein algebras to develop a theory of skein adequate links in thickened surfaces. We show that any alternating link diagram on a surface is skein adequate. We apply our theory to establish the first and second Tait conjectures for adequate links in thickened surfaces. Our notion of skein adequacy is broader and more powerful than the corresponding notions of adequacy previously considered for link diagrams in surfaces. For a link diagram $D$ on a surface $\Sigma$ of minimal genus $g(\Sigma)$, we show that $${\rm span}([D]_\Sigma) \leq 4c(D) + 4 |D|-4g(\Sigma),$$ where $[D]_\Sigma$ is its skein bracket, $|D|$ is the number of connected components of $D$, and $c(D)$ is the number of crossings. This extends a classical result of Kauffman, Murasugi, and Thistlethwaite. We further show that the above inequality is an equality if and only if $D$ is weakly alternating. This is a generalization of a well-known result for classical links due to Thistlethwaite. Thus the skein bracket detects the crossing number for weakly alternating links. As an application, we show that the crossing number is additive under connected sum for adequate links in thickened surfaces.


title: Epidemics with asymptomatic transmission: Sub-critical phase from recursive contact tracing

abstract: The challenges presented by the COVID-19 epidemic have created a renewed interest in the development of new methods to combat infectious diseases. A prominent property of the SARS-CoV-2 transmission is the significant fraction of asymptomatic transmission. This may influence the effectiveness of the standard contact tracing procedure for quarantining potentially infected individuals. However, the effects of asymptomatic transmission on the epidemic threshold of epidemic spreading on networks are largely unknown. Here we study the critical percolation transition in a simple epidemic network model in the presence of a recursive contact tracing algorithm for instant quarantining. We find that, above a certain fraction of asymptomatic transmission, standard contact tracing loses its ability to suppress spreading below the epidemic threshold. However, we also find that recursive contact tracing opens a possibility to contain epidemics with a large fraction of asymptomatic or presymptomatic transmission. In particular, we calculate the required fraction of network nodes participating in the contact tracing for networks with arbitrary degree distributions and for varying recursion depths and discuss the influence of recursion depth and asymptomatic rate on the epidemic percolation phase transition. We test and illustrate our theoretical results using numerical simulations on infection trees and networks. We anticipate recursive contact tracing to provide a basis for digital, app-based contact tracing tools that extend the efficiency of contact tracing to diseases with a large fraction of asymptomatic transmission.

categories: physics.soc-ph cond-mat.stat-mech physics.bio-ph q-bio.PE


title: On a projection-based class of uniformity tests on the hypersphere

abstract: We propose a projection-based class of uniformity tests on the hypersphere using statistics that integrate, along all possible directions, the weighted quadratic discrepancy between the empirical cumulative distribution function of the projected data and the projected uniform distribution. Simple expressions for several test statistics are obtained for the circle and sphere, and relatively tractable forms for higher dimensions. Despite its different origin, the proposed class is shown to be related with the well-studied Sobolev class of uniformity tests. Our new class proves itself advantageous by allowing to derive new tests for hyperspherical data that neatly extend the circular tests by Watson, Ajne, and Rothman, and by introducing the first instance of an Anderson-Darling-like test for such data. The asymptotic distributions and the local optimality against certain alternatives of the new tests are obtained. A simulation study evaluates the theoretical findings and evidences that, for certain scenarios, the new tests are competitive against previous proposals. The new tests are employed in three astronomical applications.


title: Measurement of magnetic fields using the voltage generated by a vibrating wire

abstract: A vibrating wire may be used as an instrument with a variety of applications, one of which is the measurement of magnetic fields. Often, the magnetic fields are determined by measuring the amplitude of the wire vibration under the action of a Lorentz force. Though generally adequate, this approach may be inconvenient in certain circumstances. One of these occurs when it is necessary to measure the amplitude of high-frequency vibration, as the amplitude is expected to decrease linearly with frequency, and thus becomes harder to measure. Another example may be found in situations where the sensor must operate over a wide range of vibration frequencies. In this case the sensor will be unresponsive to specific frequencies of wire vibration, which are determined by the placement of the sensor. This means that for the instrument to be robust, the sensor must be precisely mobile, or multiple sensors must be used. Here a technique which may be used to supplement the displacement sensor is described. This technique makes use of the voltage generated by the motion of the wire in the magnetic field under measurement. It is predicted that the technique may be more suitable for measurements requiring high frequency vibration, and is sensitive to all frequencies of vibration. Measurements of a magnetic field obtained using this technique are compared to those found using only a displacement sensor, and the benefits and drawbacks of the technique are discussed.


title: Opposite current-induced spin polarizations in bulk-metallic Bi2Se3 and bulk-insulating Bi2Te2Se topological insulator thin flakes

abstract: One of the most fundamental and exotic properties of 3D topological insulators (TIs) is spin-momentum-locking (SML) of their topological surface states (TSSs), promising for potential applications in future spintronics. However, other possible conduction channels, such as a trivial two-dimensional electron gas (2DEG) with strong Rashba type spin-orbit interaction (SOI) and bulk conducting states that may possess a spin Hall effect (SHE), can coexist in 3D TIs, making determining the origin of the current induced spin polarization (CISP) difficult. In this work, we directly compared the CISP between bulk-insulating Bi2Te2Se (BTS221) and bulk-metallic Bi2Se3 thin flakes using spin potentiometry. In the bulk insulating BTS221, the observed CISP has a sign consistent with the expected helicity of the SML of the TSS, but an opposite sign to its calculated bulk spin Hall conductivity (SHC). However, compared to BTS221, an opposite CISP is observed in the bulk metallic Bi2Se3, consistent instead with both the expectations of its Rashba-Edelstein effect of the band-bending induced 2DEG and bulk spin Hall Effect (SHE). Our results provide an electrical way to distinguish the TSS from other possible conducting channels in spin transport measurements on 3D TIs, and open ways for the potential applications in charge-spin conversion devices.


title: SU(3) truncated Wigner approximation for strongly interacting Bose gases

abstract: We develop and utilize the SU(3) truncated Wigner approximation (TWA) in order to analyze far-from-equilibrium quantum dynamics of strongly interacting Bose gases in an optical lattice. Specifically, we explicitly represent the corresponding Bose--Hubbard model at an arbitrary filling factor with restricted local Hilbert spaces in terms of SU(3) matrices. Moreover, we introduce a discrete Wigner sampling technique for the SU(3) TWA and examine its performance as well as that of the SU(3) TWA with the Gaussian approximation for the continuous Wigner function. We directly compare outputs of these two approaches with exact computations regarding dynamics of the Bose--Hubbard model at unit filling with a small size and that of a fully-connected spin-1 model with a large size. We show that both approaches can quantitatively capture quantum dynamics on a timescale of $\hbar/(Jz)$, where $J$ and $z$ denote the hopping energy and the coordination number. We apply the two kinds of SU(3) TWA to dynamical spreading of a two-point correlation function of the Bose--Hubbard model on a square lattice with a large system size, which has been measured in recent experiments. Noticeable deviations between the theories and experiments indicate that proper inclusion of effects of the spatial inhomogeneity, which is not straightforward in our formulation of the SU(3) TWA, may be necessary.


title: Discovery of 18 stars with -3.10 < [Fe/H] < -1.45 in the Sagittarius dwarf galaxy

abstract: Studies of the early chemical evolution of some larger dwarf galaxies ( $>10^7$ solar masses) are limited by the small number of stars known at low metallicities in these systems. Here we present metallicities and carbon abundances for eighteen stars with metallicities between $-3.08 \le \text{[Fe/H]} \le -1.47$ in the Sagittarius dwarf spheroidal galaxy, using medium-resolution spectra from the MagE spectrograph on the Magellan-Baade Telescope. This sample more than doubles the number of known very metal-poor stars ([Fe/H] $\leq -2.0$) in the Sagittarius dwarf galaxy, and identifies one of the first known extremely metal-poor stars ([Fe/H] $\leq -3.0$) in the system. These stars were identified as likely metal-poor members of Sagittarius using public, metallicity-sensitive photometry from SkyMapper DR1.1 and proper motion data from Gaia DR2, demonstrating that this dearth of metal-poor stars in some dwarf galaxies can be addressed with targeted searches using public data. We find that none of the stars in our sample are enhanced in carbon, in contrast to the relative prevalence of such stars in the Milky Way halo. Subsequent high-resolution spectroscopy of these stars would be key in detailing the early chemical evolution of the system.


title: Wormholes, energy conditions and time machines

abstract: This report is based on the Parallel Session AT3 ``Wormholes, Energy Conditions and Time Machines'' of the Fifteenth Marcel Grossmann Meeting - MG15, held at the University of Rome ``La Sapienza'', Rome, in 2018.


title: iCVI-ARTMAP: Accelerating and improving clustering using adaptive resonance theory predictive mapping and incremental cluster validity indices

abstract: This paper presents an adaptive resonance theory predictive mapping (ARTMAP) model which uses incremental cluster validity indices (iCVIs) to perform unsupervised learning, namely iCVI-ARTMAP. Incorporating iCVIs to the decision-making and many-to-one mapping capabilities of ARTMAP can improve the choices of clusters to which samples are incrementally assigned. These improvements are accomplished by intelligently performing the operations of swapping sample assignments between clusters, splitting and merging clusters, and caching the values of variables when iCVI values need to be recomputed. Using recursive formulations enables iCVI-ARTMAP to considerably reduce the computational burden associated with cluster validity index (CVI)-based offline clustering. Depending on the iCVI and the data set, it can achieve running times up to two orders of magnitude shorter than when using batch CVI computations. In this work, the incremental versions of Calinski-Harabasz, WB-index, Xie-Beni, Davies-Bouldin, Pakhira-Bandyopadhyay-Maulik, and negentropy increment were integrated into fuzzy ARTMAP. Experimental results show that, with proper choice of iCVI, iCVI-ARTMAP outperformed fuzzy adaptive resonance theory (ART), dual vigilance fuzzy ART, kmeans, spectral clustering, Gaussian mixture models and hierarchical agglomerative clustering algorithms in most of the synthetic benchmark data sets. It also performed competitively on real world image benchmark data sets when clustering on projections and on latent spaces generated by a deep clustering model. Naturally, the performance of iCVI-ARTMAP is subject to the selected iCVI and its suitability to the data at hand; fortunately, it is a general model wherein other iCVIs can be easily embedded.


title: On the set of molecules of numerical and Puiseux monoids

abstract: Additive submonoids of $\mathbb{Q}_{\ge 0}$, also known as Puiseux monoids, are not unique factorization monoids (UFMs) in general. Indeed, the only unique factorization Puiseux monoids are those generated by one element. However, even if a Puiseux monoid is not a UFM, it may contain nonzero elements having exactly one factorization. We call such elements molecules. Molecules were first investigated by W. Narkiewicz in the context of algebraic number theory. More recently, F. Gotti and the first author studied molecules in the context of Puiseux monoids. Here we address some aspects related to the size of the sets of molecules of various subclasses of Puiseux monoids with different atomic behaviors. In particular, we positively answer the following recent realization conjecture: for each $m \in \mathbb{N}_{\ge 2}$ there exists a numerical monoid whose set of molecules that are not atoms has cardinality $m$.


title: M\"{o}bius cancellation on polynomial sequences and the quadratic Bateman-Horn conjecture over function fields

abstract: We establish cancellation in short sums of certain special trace functions over $\mathbb{F}_q[u]$ below the P\'{o}lya-Vinogradov range, with savings approaching square-root cancellation as $q$ grows. This is used to resolve the $\mathbb{F}_q[u]$-analog of Chowla's conjecture on cancellation in M\"{o}bius sums over polynomial sequences, and of the Bateman-Horn conjecture in degree $2$, for some values of $q$. A final application is to sums of trace functions over primes in $\mathbb{F}_q[u]$.


title: Homotopy characters as a homotopy limit

abstract: For a Hopf DG-algebra corresponding to a derived algebraic group, we compute the homotopy limit of the associated cosimplicial system of DG-algebras given by the classifying space construction. The homotopy limit is taken in the model category of DG-categories. The objects of the resulting DG-category are Maurer-Cartan elements of $\operatorname{Cobar}(A)$, or 1-dimensional $A_\infty$-comodules over $A$. These can be viewed as characters up to homotopy of the corresponding derived group. Their tensor product is interpreted in terms of Kadeishvili's multibraces. We also study the coderived category of DG-modules over this DG-category.


title: Global well-posedness, blow-up and stability of standing waves for supercritical NLS with rotation

abstract: We consider the focusing mass supercritical nonlinear Schr\"odinger equation with rotation \begin{equation*} iu_{t}=-\frac{1}{2}\Delta u+\frac{1}{2}V(x)u-|u|^{p-1}u+L_{\Omega}u,\quad (x,t)\in \mathbb{R}^{N}\times\mathbb{R}, \end{equation*} where $N=2$ or $3$ and $V(x)$ is an anisotropic harmonic potential. Here $L_{\Omega}$ is the quantum mechanical angular momentum operator. We establish conditions for global existence and blow-up in the energy space. Moreover, we prove strong instability of standing waves under certain conditions on the rotation and the frequency of the wave. Finally, we construct orbitally stable standing waves solutions by considering a suitable local minimization problem. Those results are obtained for nonlinearities which are $L^{2}$-supercritical.


title: Black Hole Shadows in M-theory Scenarios

abstract: We study the shadows of four dimensional black holes in M-theory inspired models. We first inspect the influence of M2-branes on such optical aspects for non-rotating solutions. In particular, we show that the M2-brane number can control the circular shadow size. This geometrical behavior is distorted for rotating solutions exhibiting cardioid shapes in certain moduli space regions. Implementing a rotation parameter, we analyze the geometrical shadow deformations. Among others, we recover the circular behaviors for a large M2-brane number. Investigating the energy emission rate at high energies, we find, in a well-defined approximation, that the associated peak decreases with the M2-brane number. Moreover, we investigate a possible connection with observations (from Event Horizon Telescope or future devices) from a particular M-theory compactification by deriving certain constraints on the M2-brane number in the light of the $M87^\star$ observational parameters.


title: Learning the Boundary of Inductive Invariants

abstract: We study the complexity of invariant inference and its connections to exact concept learning. We define a condition on invariants and their geometry, called the fence condition, which permits applying theoretical results from exact concept learning to answer open problems in invariant inference theory. The condition requires the invariant's boundary---the states whose Hamming distance from the invariant is one---to be backwards reachable from the bad states in a small number of steps. Using this condition, we obtain the first polynomial complexity result for an interpolation-based invariant inference algorithm, efficiently inferring monotone DNF invariants with access to a SAT solver as an oracle. We further harness Bshouty's seminal result in concept learning to efficiently infer invariants of a larger syntactic class of invariants beyond monotone DNF. Lastly, we consider the robustness of inference under program transformations. We show that some simple transformations preserve the fence condition, and that it is sensitive to more complex transformations.


title: Gate-controlled field emission current from MoS$_2$ nanosheets

abstract: Monolayer molybdenum disulfide (MoS$_2$) nanosheets, obtained via chemical vapor deposition onto SiO$_2$/Si substrates, are exploited to fabricate field-effect transistors with n-type conduction, high on/off ratio, steep subthreshold slope and good mobility. The transistor channel conductance increases with the reducing air pressure due to oxygen and water desorption. Local field emission measurements from the edges of the MoS$_2$ nanosheets are performed in high vacuum using a tip-shaped anode. It is demonstrated that the voltage applied to the Si substrate back-gate modulates the field emission current. Such a finding, that we attribute to gate-bias lowering of the MoS$_2$ electron affinity, enables a new field-effect transistor based on field emission.


title: A FISTA-Type First Order Algorithm on Composite Optimization Problems that is Adaptable to the Convex Situation

abstract: In this note, we propose a FISTA-type first order algorithm, VAR-FISTA, to solve a composite optimization problem. A distinctive feature of VAR-FISTA is its ability to exploit the convexity of the function in the problem, resulting in an improved iteration complexity when the function is convex compared to when it is nonconvex. The iteration complexity result for the convex and nonconvex case obtained in the note are compatible to the best known in the literature so far.


title: Reimagining City Configuration: Automated Urban Planning via Adversarial Learning

abstract: Urban planning refers to the efforts of designing land-use configurations. Effective urban planning can help to mitigate the operational and social vulnerability of a urban system, such as high tax, crimes, traffic congestion and accidents, pollution, depression, and anxiety. Due to the high complexity of urban systems, such tasks are mostly completed by professional planners. But, human planners take longer time. The recent advance of deep learning motivates us to ask: can machines learn at a human capability to automatically and quickly calculate land-use configuration, so human planners can finally adjust machine-generated plans for specific needs? To this end, we formulate the automated urban planning problem into a task of learning to configure land-uses, given the surrounding spatial contexts. To set up the task, we define a land-use configuration as a longitude-latitude-channel tensor, where each channel is a category of POIs and the value of an entry is the number of POIs. The objective is then to propose an adversarial learning framework that can automatically generate such tensor for an unplanned area. In particular, we first characterize the contexts of surrounding areas of an unplanned area by learning representations from spatial graphs using geographic and human mobility data. Second, we combine each unplanned area and its surrounding context representation as a tuple, and categorize all the tuples into positive (well-planned areas) and negative samples (poorly-planned areas). Third, we develop an adversarial land-use configuration approach, where the surrounding context representation is fed into a generator to generate a land-use configuration, and a discriminator learns to distinguish among positive and negative samples.


title: Prospects for Quantum Enhancement with Diabatic Quantum Annealing

abstract: We assess the prospects for algorithms within the general framework of quantum annealing (QA) to achieve a quantum speedup relative to classical state of the art methods in combinatorial optimization and related sampling tasks. We argue for continued exploration and interest in the QA framework on the basis that improved coherence times and control capabilities will enable the near-term exploration of several heuristic quantum optimization algorithms that have been introduced in the literature. These continuous-time Hamiltonian computation algorithms rely on control protocols that are more advanced than those in traditional ground-state QA, while still being considerably simpler than those used in gate-model implementations. The inclusion of coherent diabatic transitions to excited states results in a generalization called diabatic quantum annealing (DQA), which we argue for as the most promising route to quantum enhancement within this framework. Other promising variants of traditional QA include reverse annealing and continuous-time quantum walks, as well as analog analogues of parameterized quantum circuit ansatzes for machine learning. Most of these algorithms have no known (or likely to be discovered) efficient classical simulations, and in many cases have promising (but limited) early signs for the possibility of quantum speedups, making them worthy of further investigation with quantum hardware in the intermediate-scale regime. We argue that all of these protocols can be explored in a state-of-the-art manner by embracing the full range of novel out-of-equilibrium quantum dynamics generated by time-dependent effective transverse-field Ising Hamiltonians that can be natively implemented by, e.g., inductively-coupled flux qubits, both existing and projected at application scale.


title: Soft anomalous dimensions and resummation in QCD

abstract: I discuss and review soft anomalous dimensions in QCD that describe soft-gluon threshold resummation for a wide range of hard-scattering processes. The factorization properties of the cross section in moment space and renormalization-group evolution are implemented to derive a general form for differential resummed cross sections. Detailed expressions are given for the soft anomalous dimensions at one, two, and three loops, including some new results, for a large number of partonic processes involving top quarks, electroweak bosons, Higgs bosons, and other particles in the Standard Model and beyond.


title: Informative Neural Ensemble Kalman Learning

abstract: In stochastic systems, informative approaches select key measurement or decision variables that maximize information gain to enhance the efficacy of model-related inferences. Neural Learning also embodies stochastic dynamics, but informative Learning is less developed. Here, we propose Informative Ensemble Kalman Learning, which replaces backpropagation with an adaptive Ensemble Kalman Filter to quantify uncertainty and enables maximizing information gain during Learning. After demonstrating Ensemble Kalman Learning's competitive performance on standard datasets, we apply the informative approach to neural structure learning. In particular, we show that when trained from the Lorenz-63 system's simulations, the efficaciously learned structure recovers the dynamical equations. To the best of our knowledge, Informative Ensemble Kalman Learning is new. Results suggest that this approach to optimized Learning is promising.


title: One Weight Bitwidth to Rule Them All

abstract: Weight quantization for deep ConvNets has shown promising results for applications such as image classification and semantic segmentation and is especially important for applications where memory storage is limited. However, when aiming for quantization without accuracy degradation, different tasks may end up with different bitwidths. This creates complexity for software and hardware support and the complexity accumulates when one considers mixed-precision quantization, in which case each layer's weights use a different bitwidth. Our key insight is that optimizing for the least bitwidth subject to no accuracy degradation is not necessarily an optimal strategy. This is because one cannot decide optimality between two bitwidths if one has a smaller model size while the other has better accuracy. In this work, we take the first step to understand if some weight bitwidth is better than others by aligning all to the same model size using a width-multiplier. Under this setting, somewhat surprisingly, we show that using a single bitwidth for the whole network can achieve better accuracy compared to mixed-precision quantization targeting zero accuracy degradation when both have the same model size. In particular, our results suggest that when the number of channels becomes a target hyperparameter, a single weight bitwidth throughout the network shows superior results for model compression.


title: Spectroscopic characterization of the known O-star population in Cygnus OB2. Evidence of multiple star-forming bursts

abstract: Cygnus OB2 provides a unique insight into the high-mass stellar content in one of the largest groups of young massive stars in our Galaxy. Although several studies of its massive population have been carried out over the last decades, an extensive spectroscopic study of the whole known O-star population in the association is still lacking. In this work, we created the most complete spectroscopic census of O stars carried out so far in Cygnus OB2 using already existing and new spectroscopy. We present the spectra for 78 O-type stars, from which we identify new binary systems, obtain the distribution of rotational velocities, and determine the main stellar parameters for all the stars in the region that have not been detected as double-line spectroscopic binaries. We also derive radii, luminosities, and masses for those stars with reliable Gaia astrometry, in addition to creating the Hertzsprung-Russell Diagram to interpret the evolutionary status of the association. This work has shown the improvement reached when using accurate spectroscopic parameters and astrometry for the interpretation of the evolutionary status of a population, revealing, in the case of Cygnus OB2, at least two star-forming bursts at $\sim$3 and $\sim$5 Myr. We find an apparent deficit of very fast rotators in the distribution of rotational velocities. The inspection of the dynamical distribution of the sample has allowed us to identify nine O stars with peculiar proper motions and discuss a possible dynamical ejection scenario or past supernova explosions in the region.


title: Quantitative Survey of the State of the Art in Sign Language Recognition

abstract: This work presents a meta study covering around 300 published sign language recognition papers with over 400 experimental results. It includes most papers between the start of the field in 1983 and 2020. Additionally, it covers a fine-grained analysis on over 25 studies that have compared their recognition approaches on RWTH-PHOENIX-Weather 2014, the standard benchmark task of the field. Research in the domain of sign language recognition has progressed significantly in the last decade, reaching a point where the task attracts much more attention than ever before. This study compiles the state of the art in a concise way to help advance the field and reveal open questions. Moreover, all of this meta study's source data is made public, easing future work with it and further expansion. The analyzed papers have been manually labeled with a set of categories. The data reveals many insights, such as, among others, shifts in the field from intrusive to non-intrusive capturing, from local to global features and the lack of non-manual parameters included in medium and larger vocabulary recognition systems. Surprisingly, RWTH-PHOENIX-Weather with a vocabulary of 1080 signs represents the only resource for large vocabulary continuous sign language recognition benchmarking world wide.


title: Cubic Regularized Newton Method for Saddle Point Models: a Global and Local Convergence Analysis

abstract: In this paper, we propose a cubic regularized Newton (CRN) method for solving convex-concave saddle point problems (SPP). At each iteration, a cubic regularized saddle point subproblem is constructed and solved, which provides a search direction for the iterate. With properly chosen stepsizes, the method is shown to converge to the saddle point with global linear and local superlinear convergence rates, if the saddle point function is gradient Lipschitz and strongly-convex-strongly-concave. In the case that the function is merely convex-concave, we propose a homotopy continuation (or path-following) method. Under a Lipschitz-type error bound condition, we present an iteration complexity bound of $\mathcal{O}\left(\ln \left(1/\epsilon\right)\right)$ to reach an $\epsilon$-solution through a homotopy continuation approach, and the iteration complexity bound becomes $\mathcal{O}\left(\left(1/\epsilon\right)^{\frac{1-\theta}{\theta^2}}\right)$ under a H\"{o}lderian-type error bound condition involving a parameter $\theta$ ($0<\theta<1$).


title: Imaging of bi-anisotropic periodic structures from electromagnetic near field data

abstract: This paper is concerned with the inverse scattering problem for the three-dimensional Maxwell's equations in bi-anisotropic periodic structures. The inverse scattering problem aims to determine the shape of bi-anisotropic periodic scatterers from electromagnetic near field data at a fixed frequency. The Factorization method is studied as an analytical and numerical tool for solving the inverse problem. We provide a rigorous justification of the Factorization method which results in the unique determination and a fast imaging algorithm for the periodic scatterer. Numerical examples for imaging three-dimensional periodic structures are presented to examine the efficiency of the method.


title: Digraphs Homomorphism Problems with Maltsev Condition

abstract: We consider a generalization of finding a homomorphism from an input digraph $G$ to a fixed digraph $H$, HOM($H$). In this setting, we are given an input digraph $G$ together with a list function from $G$ to $2^H$. The goal is to find a homomorphism from $G$ to $H$ with respect to the lists if one exists. We show that if the list function is a Maltsev polymorphism then deciding whether $G$ admits a homomorphism to $H$ is polynomial time solvable. In our approach, we only use the existence of the Maltsev polymorphism. Furthermore, we show that deciding whether a relational structure $\mathcal{R}$ admits a Maltsev polymorphism is a special case of finding a homormphism from a graph $G$ to a graph $H$ and a list function with a Maltsev polymorphism. Since the existence of Maltsev is not required in our algorithm, we can decide in polynomial time whether the relational structure $\mathcal{R}$ admits Maltsev or not. We also discuss forbidden obstructions for the instances admitting Maltsev list polymorphism. We have implemented our algorithm and tested on instances arising from linear equations, and other types of instances.


title: Machine Learning Approaches to Real Estate Market Prediction Problem: A Case Study

abstract: Home sale prices are formed given the transaction actors economic interests, which include government, real estate dealers, and the general public who buy or sell properties. Generating an accurate property price prediction model is a major challenge for the real estate market. This work develops a property price classification model using a ten year actual dataset, from January 2010 to November 2019. The real estate dataset is publicly available and was retrieved from Volusia County Property Appraiser of Florida website. In addition, socio-economic factors such as Gross Domestic Product, Consumer Price Index, Producer Price Index, House Price Index, and Effective Federal Funds Rate are collected and used in the prediction model. To solve this case study problem, several powerful machine learning algorithms, namely, Logistic Regression, Random Forest, Voting Classifier, and XGBoost, are employed. They are integrated with target encoding to develop an accurate property sale price prediction model with the aim to predict whether the closing sale price is greater than or less than the listing sale price. To assess the performance of the models, the accuracy, precision, recall, classification F1 score, and error rate of the models are determined. Among the four studied machine learning algorithms, XGBoost delivers superior results and robustness of the model compared to other models. The developed model can facilitate real estate investors, mortgage lenders and financial institutions to make better informed decisions.


title: Thermal and magnetoelastic properties of {\alpha}-RuCl3 in the field-induced low temperature states

abstract: We discuss the implications that new magnetocaloric, thermal expansion and magnetostriction data in $\alpha$-RuCl$_{3}$ single crystals have on its temperature-field phase diagram and uncover the magnetic-field dependence of an apparent energy gap structure $\Delta (H)$ that evolves when the low temperature antiferromagnetic order is suppressed. We show that, depending on how the thermal expansion data is modeled, $\Delta (H)$ can show a cubic field dependence and remain finite at zero field, consistent with the pure Kitaev model hosting itinerant Majorana fermions and localized $\mathbb{Z}_{2}$ fluxes. Our magnetocaloric effect data provides, below $1\,\mathrm{K}$, unambiguous evidence for dissipative phenomena at $H_{\mathrm{c}}$, smoking gun for a first order phase transition. Our results, on the other hand, show little support for a phase transition from a QSL to a polarized paramagnetic state above $H_{\mathrm{c}}$.


title: Noncommutative tensor triangular geometry and the tensor product property for support maps

abstract: The problem of whether the cohomological support map of a finite dimensional Hopf algebra has the tensor product property has attracted a lot of attention following the earlier developments on representations of finite group schemes. Many authors have focussed on concrete situations where positive and negative results have been obtained by direct arguments. In this paper we demonstrate that it is natural to study questions involving the tensor product property in the broader setting of a monoidal triangulated category. We give an intrinsic characterization by proving that the tensor product property for the universal support datum is equivalent to complete primeness of the categorical spectrum. From these results one obtains information for other support data, including the cohomological one. Two theorems are proved giving compete primeness and non-complete primeness in certain general settings. As an illustration of the methods, we give a proof of a recent conjecture of Negron and Pevtsova on the tensor product property for the cohomological support maps for the small quantum Borel algebras for all complex simple Lie algebras.


title: Parameter Estimation for Undirected Graphical Models with Hard Constraints

abstract: The hardcore model on a graph $G$ with parameter $\lambda>0$ is a probability measure on the collection of all independent sets of $G$, that assigns to each independent set $I$ a probability proportional to $\lambda^{|I|}$. In this paper we consider the problem of estimating the parameter $\lambda$ given a single sample from the hardcore model on a graph $G$. To bypass the computational intractability of the maximum likelihood method, we use the maximum pseudo-likelihood (MPL) estimator, which for the hardcore model has a surprisingly simple closed form expression. We show that for any sequence of graphs $\{G_N\}_{N\geq 1}$, where $G_N$ is a graph on $N$ vertices, the MPL estimate of $\lambda$ is $\sqrt N$-consistent, whenever the graph sequence has uniformly bounded average degree. We then derive sufficient conditions under which the MPL estimate of the activity parameters is $\sqrt N$-consistent given a single sample from a general $H$-coloring model, in which restrictions between adjacent colors are encoded by a constraint graph $H$. We verify the sufficient conditions for models where there is at least one unconstrained color as long as the graph sequence has uniformly bounded average degree. This applies to many $H$-coloring examples such as the Widom-Rowlinson and multi-state hard-core models. On the other hand, for the $q$-coloring model, which falls outside this class, we show that consistent estimation may be impossible even for graphs with bounded average degree. Nevertheless, we show that the MPL estimate is $\sqrt N$-consistent in the $q$-coloring model when $\{G_N\}_{N\geq 1}$ has bounded average double neighborhood. The presence of hard constraints, as opposed to soft constraints, leads to new challenges, and our proofs entail applications of the method of exchangeable pairs as well as combinatorial arguments that employ the probabilistic method.


title: Optimistic variants of single-objective bilevel optimization for evolutionary algorithms

abstract: Single-objective bilevel optimization is a specialized form of constraint optimization problems where one of the constraints is an optimization problem itself. These problems are typically non-convex and strongly NP-Hard. Recently, there has been an increased interest from the evolutionary computation community to model bilevel problems due to its applicability in the real-world applications for decision-making problems. In this work, a partial nested evolutionary approach with a local heuristic search has been proposed to solve the benchmark problems and have outstanding results. This approach relies on the concept of intermarriage-crossover in search of feasible regions by exploiting information from the constraints. A new variant has also been proposed to the commonly used convergence approaches, i.e., optimistic and pessimistic. It is called extreme optimistic approach. The experimental results demonstrate the algorithm converges differently to known optimum solutions with the optimistic variants. Optimistic approach also outperforms pessimistic approach. Comparative statistical analysis of our approach with other recently published partial to complete evolutionary approaches demonstrates very competitive results.


title: Bayesian mechanics of perceptual inference and motor control in the brain

abstract: The free energy principle (FEP) in the neurosciences stipulates that all viable agents induce and minimize informational free energy in the brain to fit their environmental niche. In this study, we continue our effort to make the FEP a more physically principled formalism by implementing free energy minimization based on the principle of least action. We build a Bayesian mechanics (BM) by casting the formulation reported in the earlier publication (Kim 2018) to considering active inference beyond passive perception. The BM is a neural implementation of variational Bayes under the FEP in continuous time. The resulting BM is provided as an effective Hamilton's equation of motion and subject to the control signal arising from the brain's prediction errors at the proprioceptive level. To demonstrate the utility of our approach, we adopt a simple agent-based model and present a concrete numerical illustration of the brain performing recognition dynamics by integrating BM in neural phase space. Furthermore, we recapitulate the major theoretical architectures in the FEP by comparing our approach with the common state-space formulations.


title: Protecting the night sky darkness in astronomical observatories: a linear systems approach

abstract: The sustained increase of emissions of artificial light is causing a progressive brightening of the night sky in most of the world. This process represents a threat for the long-term sustainability of the scientific and educational activity of ground-based astronomical observatories operating in the optical range. Huge investments in building, scientific and technical workforce, equipment and maintenance can be at risk if the increasing light pollution levels hinder the capability of carrying out the top-level scientific observations for which these key scientific infrastructures were built. In addition, light pollution has other negative consequences, as e.g. biodiversity endangering and the loss of the starry sky for recreational, touristic, and cultural enjoyment. The traditional light pollution mitigation approach is based on imposing conditions on the photometry of individual sources, but the aggregated effects of all sources in the territory surrounding the observatories are seldom addressed in the regulations. We propose that this approach shall be complemented with a top-down, inmission limits strategy, whereby clear limits are established to the admissible deterioration of the night sky above the observatories. We describe the general form of the indicators that can be employed to this end, and develop linear models relating their values to the artificial emissions across the territory. This approach can be extended to take into account for other protection needs, and it is expected to be useful for making informed decisions on public lighting, in the context of wider spatial planning projects.


title: Duality for infinite-dimensional braided bialgebras and their (co)modules

abstract: The paper presents a detailed description of duality for braided algebras, coalgebras, bialgebras, Hopf algebras and their modules and comodules in the infinite setting. Assuming that the dual objects exist, it is shown how a given braiding induces compatible braidings for the dual objects, and how actions (resp. coactions) can be turned into coactions (resp. actions) of the dual coalgebra (resp. algebra), with an emphasis on braided bialgebras and their braided (co)module algebras.


title: DMRO:A Deep Meta Reinforcement Learning-based Task Offloading Framework for Edge-Cloud Computing

abstract: With the continuous growth of mobile data and the unprecedented demand for computing power, resource-constrained edge devices cannot effectively meet the requirements of Internet of Things (IoT) applications and Deep Neural Network (DNN) computing. As a distributed computing paradigm, edge offloading that migrates complex tasks from IoT devices to edge-cloud servers can break through the resource limitation of IoT devices, reduce the computing burden and improve the efficiency of task processing. However, the problem of optimal offloading decision-making is NP-hard, traditional optimization methods are difficult to achieve results efficiently. Besides, there are still some shortcomings in existing deep learning methods, e.g., the slow learning speed and the failure of the original network parameters when the environment changes. To tackle these challenges, we propose a Deep Meta Reinforcement Learning-based offloading (DMRO) algorithm, which combines multiple parallel DNNs with Q-learning to make fine-grained offloading decisions. By aggregating the perceptive ability of deep learning, the decision-making ability of reinforcement learning, and the rapid environment learning ability of meta-learning, it is possible to quickly and flexibly obtain the optimal offloading strategy from the IoT environment. Simulation results demonstrate that the proposed algorithm achieves obvious improvement over the Deep Q-Learning algorithm and has strong portability in making real-time offloading decisions even in time-varying IoT environments.


title: Mean-squared-error-based adaptive estimation of pure quantum states and unitary transformations

abstract: In this article we propose a method to estimate with high accuracy pure quantum states of a single qudit. Our method is based on the minimization of the squared error between the complex probability amplitudes of the unknown state and its estimate. We show by means of numerical experiments that the estimation accuracy of the present method, which is given by the expectation of the squared error on the sample space of estimates, is state independent. Furthermore, the estimation accuracy delivered by our method is close to twice the Gill-Massar lower bound, which represents the best achievable accuracy, for all inspected dimensions. The minimization problem is solved via the concatenation of the Complex simultaneous perturbation approximation, an iterative stochastic optimization method that works within the field of the complex numbers, and Maximum likelihood estimation, a well-known statistical inference method. This can be carried out with the help of a multi-arm interferometric array. In the case of a single qubit, a Mach-Zehnder interferometer suffices. We also show that our estimation procedure can be easily extended to estimate unknown unitary transformations acting on a single qudit. Thereby, the estimation of unitary transformations achieves a higher accuracy than that achieved by processes based on tomographic methods for mixed states.


title: Lindahl Equilibrium as a Collective Choice Rule

abstract: A collective choice problem is a finite set of social alternatives and a finite set of economic agents with vNM utility functions. We associate a public goods economy with each collective choice problem and establish the existence and efficiency of (equal income) Lindahl equilibrium allocations. We interpret collective choice problems as cooperative bargaining problems and define a set-valued solution concept, {\it the equitable solution} (ES). We provide axioms that characterize ES and show that ES contains the Nash bargaining solution. Our main result shows that the set of ES payoffs is the same a the set of Lindahl equilibrium payoffs. We consider two applications: in the first, we show that in a large class of matching problems without transfers the set of Lindahl equilibrium payoffs is the same as the set of (equal income) Walrasian equilibrium payoffs. In our second application, we show that in any discrete exchange economy without transfers every Walrasian equilibrium payoff is a Lindahl equilibrium payoff of the corresponding collective choice market. Moreover, for any cooperative bargaining problem, it is possible to define a set of commodities so that the resulting economy's utility possibility set is that bargaining problem {\it and} the resulting economy's set of Walrasian equilibrium payoffs is the same as the set of Lindahl equilibrium payoffs of the corresponding collective choice market.


title: Blockchain-enabled Internet of Medical Things to Combat COVID-19

abstract: We are experiencing an unprecedented healthcare crisis caused by newly-discovered corona-virus disease (COVID-19). The outbreaks of COVID-19 reveal the frailties of existing healthcare systems. Therefore, the digital transformation of healthcare systems becomes an inevitable trend. During this process, the Internet of Medical Things (IoMT) plays a crucial role while intrinsic vulnerabilities of security and privacy deter the wide adoption of IoMT. In this article, we present a blockchain-enabled IoMT to address the security and privacy concerns of IoMT systems. We also discuss the solutions brought by blockchain-enabled IoMT to COVID-19 from five different perspectives. Moreover, we outline the open challenges and future directions of blockchain-enabled IoMT.


title: Rigidity and fracture of fibrous double networks

abstract: Tunable mechanics and fracture resistance are hallmarks of biological tissues and highly desired in engineered materials. To elucidate the underlying mechanisms, we study a rigidly percolating double network (DN) made of a stiff and a flexible network. The DN shows remarkable tunability in mechanical response when the stiff network is just above its rigidity percolation threshold and minimal changes far from this threshold. Further, the DN can be modulated to either be extensible, breaking gradually, or stronger, breaking in a more brittle fashion by varying the flexible network's concentration.


title: The linear codes of t-designs held in the Reed-Muller and Simplex codes

abstract: A fascinating topic of combinatorics is $t$-designs, which have a very long history. The incidence matrix of a $t$-design generates a linear code over GF$(q)$ for any prime power $q$, which is called the linear code of the $t$-design over GF$(q)$. On the other hand, some linear codes hold $t$-designs for some $t \geq 1$. The purpose of this paper is to study the linear codes of some $t$-designs held in the Reed-Muller and Simplex codes. Some general theory for the linear codes of $t$-designs held in linear codes is presented. Open problems are also presented.


title: The potential of the shadow measure

abstract: It is well known that given two probability measures $\mu$ and $\nu$ on $\mathbb{R}$ in convex order there exists a discrete-time martingale with these marginals. Several solutions are known (for example from the literature on the Skorokhod embedding problem in Brownian motion). But, if we add a requirement that the martingale should minimise the expected value of some functional of its starting and finishing positions then the problem becomes more difficult. Beiglb\"{o}ck and Juillet (Ann. Probab. 44 (2016) 42-106) introduced the shadow measure which induces a family of martingale couplings, and solves the optimal martingale transport problem for a class of bivariate objective functions. In this article we extend their (existence and uniqueness) results by providing an explicit construction of the shadow measure and, as an application, give a simple proof of its associativity.


title: Universal quantum (semi)groups and Hopf envelopes

abstract: We prove that, in case $A(c)$ = the FRT construction of a braided vector space $(V,c)$ admits a weakly Frobenius algebra $\mathfrak B$ (e.g. if the braiding is rigid and its Nichols algebra is finite dimensional), then the Hopf envelope of $A(c)$ is simply the localization of $A(c)$ by a single element called the quantum determinant associated to the weakly Frobenius algebra. This generalizes a result of the author together with Gast\'on A. Garc\'ia in \cite{FG}, where the same statement was proved, but with extra hypotheses that we now know were unnecessary. On the way, we describe a universal way of constructing a universal bialgebra attached to a finite dimensional vector space together with some algebraic structure given by a family of maps $\{f_i:V^{\otimes n_i}\to V^{\otimes m_i}\}$. The Dubois-Violette and Launer Hopf algebra and the co-quasi triangular property of the FRT construction play a fundamental role on the proof.


title: Consistent Model-based Clustering: using the Quasi-Bernoulli Stick-Breaking Process

abstract: In mixture modeling and clustering applications, the number of components and clusters is often not known. A stick-breaking mixture model, such as the Dirichlet process mixture model, is an appealing construction that assumes infinitely many components, while shrinking the weights of most of the unused components to near zero. However, it is well-known that this shrinkage is inadequate: even when the component distribution is correctly specified, spurious weights appear and give an inconsistent estimate of the number of clusters. In this article, we propose a simple solution: when breaking each mixture weight stick into two pieces, the length of the second piece is multiplied by a quasi-Bernoulli random variable, taking value one or a small constant close to zero. This effectively creates a soft-truncation and further shrinks the unused weights. Asymptotically, we show that as long as this small constant diminishes to zero at a rate faster than $o(1/n^2)$, with $n$ the sample size, the posterior distribution will converge to the true number of clusters. In comparison, we rigorously explore Dirichlet process mixture models using a concentration parameter that is either constant or rapidly diminishes to zero -- both of which lead to inconsistency for the number of clusters. Our proposed model is easy to implement, requiring only a small modification of a standard Gibbs sampler for mixture models. In simulations and a data application of clustering brain networks, our proposed method recovers the ground-truth number of clusters, and leads to a small number of clusters.


title: Sum-Rate Maximization for IRS-Assisted UAV OFDMA Communication Systems

abstract: In this paper, we consider the application of intelligent reflecting surface (IRS) in unmanned aerial vehicle (UAV)-based orthogonal frequency division multiple access (OFDMA) communication systems, which exploits both the significant beamforming gain brought by the IRS and the high mobility of UAV for improving the system sum-rate. The joint design of UAV's trajectory, IRS scheduling, and communication resource allocation for the proposed system is formulated as a non-convex optimization problem to maximize the system sum-rate while taking into account the heterogeneous quality-of-service (QoS) requirement of each user. The existence of an IRS introduces both frequency-selectivity and spatial-selectivity in the fading of the composite channel from the UAV to ground users. To facilitate the design, we first derive the expression of the composite channels and propose a parametric approximation approach to establish an upper and a lower bound for the formulated problem. An alternating optimization algorithm is devised to handle the lower bound optimization problem and its performance is compared with the benchmark performance achieved by solving the upper bound problem. Simulation results unveil the small gap between the developed bounds and the promising sum-rate gain achieved by the deployment of an IRS in UAV-based communication systems.


title: Vibrational Spectroscopic Detection of Single Virus by a Confocal Interferometric Mid-Infrared Photothermal Microscope

abstract: We report a confocal interferometric mid-infrared photothermal (MIP) microscope and its application to label-free detection of biological nanoparticles down to single virus level. We apply the interferometric scattering principle to detect the weak photothermal effect induced by infrared absorption in a viral particle. We validated this method with two kinds of viruses, namely the vesicular stomatitis virus (VSV) and poxvirus. The single virus spectra generated by MIP microscopy show high consistency in the same group, with dominant peaks contributed by the amide I and amide II vibrations. The ratio of these two peaks are significantly different between VSV and poxvirus, highlighting the potential of using MIP microscopy for label-free differentiation of viral particles. This all-optical chemical imaging method opens a new way for spectroscopic detection of biological nanoparticles in a label-free manner and may facilitate in predicting and controlling outbreaks of emerging virus strains.


title: Embodied Navigation in Immersive Abstract Data Visualization: Is Overview+Detail or Zooming Better for 3D Scatterplots?

abstract: Abstract data has no natural scale and so interactive data visualizations must provide techniques to allow the user to choose their viewpoint and scale. Such techniques are well established in desktop visualization tools. The two most common techniques are zoom+pan and overview+detail. However, how best to enable the analyst to navigate and view abstract data at different levels of scale in immersive environments has not previously been studied. We report the findings of the first systematic study of immersive navigation techniques for 3D scatterplots. We tested four conditions that represent our best attempt to adapt standard 2D navigation techniques to data visualization in an immersive environment while still providing standard immersive navigation techniques through physical movement and teleportation. We compared room-sized visualization versus a zooming interface, each with and without an overview. We find significant differences in participants' response times and accuracy for a number of standard visual analysis tasks. Both zoom and overview provide benefits over standard locomotion support alone (i.e., physical movement and pointer teleportation). However, which variation is superior, depends on the task. We obtain a more nuanced understanding of the results by analyzing them in terms of a time-cost model for the different components of navigation: way-finding, travel, number of travel steps, and context switching.


title: Few-Shot Image Classification via Contrastive Self-Supervised Learning

abstract: Most previous few-shot learning algorithms are based on meta-training with fake few-shot tasks as training samples, where large labeled base classes are required. The trained model is also limited by the type of tasks. In this paper we propose a new paradigm of unsupervised few-shot learning to repair the deficiencies. We solve the few-shot tasks in two phases: meta-training a transferable feature extractor via contrastive self-supervised learning and training a classifier using graph aggregation, self-distillation and manifold augmentation. Once meta-trained, the model can be used in any type of tasks with a task-dependent classifier training. Our method achieves state of-the-art performance in a variety of established few-shot tasks on the standard few-shot visual classification datasets, with an 8- 28% increase compared to the available unsupervised few-shot learning methods.


title: Quantum Language Model with Entanglement Embedding for Question Answering

abstract: Quantum Language Models (QLMs) in which words are modelled as quantum superposition of sememes have demonstrated a high level of model transparency and good post-hoc interpretability. Nevertheless, in the current literature word sequences are basically modelled as a classical mixture of word states, which cannot fully exploit the potential of a quantum probabilistic description. A full quantum model is yet to be developed to explicitly capture the non-classical correlations within the word sequences. We propose a neural network model with a novel Entanglement Embedding (EE) module, whose function is to transform the word sequences into entangled pure states of many-body quantum systems. Strong quantum entanglement, which is the central concept of quantum information and an indication of parallelized correlations among the words, is observed within the word sequences. Numerical experiments show that the proposed QLM with EE (QLM-EE) achieves superior performance compared with the classical deep neural network models and other QLMs on Question Answering (QA) datasets. In addition, the post-hoc interpretability of the model can be improved by quantizing the degree of entanglement among the words.


title: Parameter-controlled inserting constructions of constant dimension subspace codes

abstract: A basic problem in constant dimension subspace coding is to determine the maximal possible size ${\bf A}_q(n,d,k)$ of a set of $k$-dimensional subspaces in ${\bf F}_q^n$ such that the subspace distance satisfies $\operatorname{dis}(U,V)=2k-2\dim(U \cap V) \geq d$ for any two different $k$-dimensional subspaces $U$ and $V$ in this set. In this paper we propose new parameter-controlled inserting constructions of constant dimension subspace codes. These inserting constructions are flexible because they are controlled by parameters. Several new better lower bounds which are better than all previously constructive lower bounds can be derived from our flexible inserting constructions. $141$ new constant dimension subspace codes of distances $4,6,8$ better than previously best known codes are constructed.


title: Butterfly-shaped magnetoresistance in triangular-lattice antiferromagnet Ag$_2$CrO$_2$

abstract: Spintronic devices using antiferromagnets (AFMs) are promising candidates for future applications. Recently, many interesting physical properties have been reported with AFM-based devices. Here we report a butterfly-shaped magnetoresistance (MR) in a micrometer-sized triangular-lattice antiferromagnet Ag$_2$CrO$_2$. The material consists of two-dimensional triangular-lattice CrO$_2$ layers with antiferromagnetically coupled $S$ = 3/2 spins and Ag$_2$ layers with high electrical conductivity. The butterfly-shaped MR appears only when the magnetic field is applied perpendicularly to the CrO$_2$ plane with the maximum MR ratio ($\approx$ 15%) at the magnetic ordering temperature. These features are distinct from those observed in conventional magnetic materials. We propose a theoretical model where fluctuations of partially disordered spins with the Ising anisotropy play an essential role in the butterfly-shaped MR in Ag$_2$CrO$_2$.


title: Quantum Limited Superresolution of Extended Sources in One and Two Dimensions

abstract: We calculate the quantum Fisher information (QFI) for estimating, using a circular imaging aperture, the length of a uniformly bright incoherent line source with a fixed mid-point and the radius of a uniformly bright incoherent disk shaped source with a fixed center. Prolate spheroidal wavefunctions (PSWFs) on a centered line segment and its generalized version on a centered disk furnish the respective bases for computing the eigenstates and eigenvalues of the one-photon density operator, from which we subsequently calculate QFI with respect to the spatial parameters of the two sources. Zernike polynomials provide a good set into which to project the full source wavefront, and such classical wavefront projection data can realize quantum limited estimation error bound in each case. We subsequently generalize our approach to analyze sources of arbitrary brightness distributions and shapes using a certain class of Bessel Fourier functions that are closely related to the PSWFs. We illustrate the general approach by computing QFI for estimating the lengths of the principal axes of a uniformly bright, centered elliptical disk.


title: The Sobolev Jordan-Schonflies Problem

abstract: We consider the planar unit disk $\mathbb D$ as the reference configuration and a Jordan domain $\mathbb Y$ as the deformed configuration, and study the problem of extending a given boundary homeomorphism $\varphi \colon \partial \mathbb D \to \partial \mathbb Y$ as a Sobolev homeomorphism of the complex plane. Investigating such a Sobolev variant of the classical Jordan-Sch\"onflies theorem is motivated by the well-posedness of the related pure displacement variational questions in the theory of Nonlinear Elasticity (NE) and Geometric Function Theory (GFT). Clearly, the necessary condition for the boundary mapping $\varphi$ to admit a $W^{1,p}$-Sobolev homeomorphic extension is that it first admits a continuous $W^{1,p}$-Sobolev extension. For an arbitrary target domain $\mathbb Y$ this, however, is not sufficent.


title: Negative resistance state in superconducting NbSe$_2$ induced by surface acoustic waves

abstract: We report a negative resistance, namely, a voltage drop along the opposite direction of a current flow, in the superconducting gap of NbSe$_2$ thin films under the irradiation of surface acoustic waves (SAWs). The amplitude of the negative resistance becomes larger by increasing the SAW power and decreasing temperature. As one possible scenario, we propose that soliton-antisoliton pairs in the charge density wave of NbSe$_2$ modulated by the SAW serve as a time-dependent capacitance in the superconducting state, leading to the dc negative resistance. The present experimental result would provide a previously unexplored way to examine nonequilibrium manipulation of the superconductivity.


title: Subdiffusion-limited fractional reaction-subdiffusion equations with affine reactions: Solution, stochastic paths, and applications

abstract: In contrast to normal diffusion, there is no canonical model for reactions between chemical species which move by anomalous subdiffusion. Indeed, the type of mesoscopic equation describing reaction-subdiffusion depends on subtle assumptions about the microscopic behavior of individual molecules. Furthermore, the correspondence between mesoscopic and microscopic models is not well understood. In this paper, we study the subdiffusion-limited model, which is defined by mesoscopic equations with fractional derivatives applied to both the movement and the reaction terms. Assuming that the reaction terms are affine functions, we show that the solution to the fractional system is the expectation of a random time change of the solution to the corresponding integer order system. This result yields a simple and explicit algebraic relationship between the fractional and integer order solutions in Laplace space. We then find the microscopic Langevin description of individual molecules that corresponds to such mesoscopic equations and give a computer simulation method to generate their stochastic trajectories. This analysis identifies some precise microscopic conditions that dictate when this type of mesoscopic model is or is not appropriate. We apply our results to several scenarios in cell biology which, despite the ubiquity of subdiffusion in cellular environments, have been modeled almost exclusively by normal diffusion. Specifically, we consider subdiffusive models of morphogen gradient formation, fluctuating mobility, and fluorescence recovery after photobleaching (FRAP) experiments. We also apply our results to fractional ordinary differential equations.


title: Weak cosmic censorship conjecture is not violated for a rotating linear dilaton black hole

abstract: In this paper, we investigate the validity of the weak cosmic censorship conjecture(WCCC) for a rotating linear dilaton black hole from two different methods. By using the classsical ingoing test particle method, we obtain the same results as given in the new version of gedanken experiment recently proposed by Wald. We find that even for this rotating linear dilaton black hole the Iyer-Wald formalism is still functioning. By comparing these two methods, we find that the same result will be obtained in both cases up to first order. The nearly extremal black hole can be overspun, while the extremal one cannot be overspun. When we include the second order modification into consideration, the Iyer-Wald method show that even for the nearly extremal black hole, the WCCC is well protected. These results imply that weak cosmic censorship conjecture is still valid using the ingoing test particle method up to second order modification.


title: DSP: A Differential Spatial Prediction Scheme for Comprehensive real industrial datasets

abstract: Inverse Distance Weighted models (IDW) have been widely used for predicting and modeling multidimensional space in multimodal industrial processes. However, the more complex the structure of multidimensional space, the lower the performance of IDW models, and real industrial datasets tend to have more complex spatial structure. To solve this problem, a new framework for spatial prediction and modeling based on deep reinforcement learning network is proposed. In the proposed framework, the internal relationship between state and action is enhanced by reusing the state values in the Q network, and the convergence rate and stability of the deep reinforcement learning network are improved. The improved deep reinforcement learning network is then used to search for and learn the hyperparameters of each sample point in the inverse distance weighted model. These hyperparameters can reflect the spatial structure of the current industrial dataset to some extent. Then a spatial distribution of hyperparameters is constructed based on the learned hyperparameters. Each interpolation point obtains corresponding hyperparameters from the hyperparametric spatial distribution and brings them into the classical IDW models for prediction, thus achieving differential spatial prediction and modeling. The simulation results show that the proposed framework is suitable for real industrial datasets with complex spatial structure characteristics and is more accurate than current IDW models in spatial prediction.


title: Remarks on Sobolev norms of fractional orders

abstract: When a function belonging to a fractional-order Sobolev space is supported in a proper subset of the Lipschitz domain on which the Sobolev space is defined, how is its Sobolev norm as a function on the smaller set compared to its norm on the whole domain? On what do the comparison constants depend on? Do different norms behave differently? This article addresses these issues. We prove some inequalities and disprove some misconceptions by counter-examples.


title: Nonperturbative leakage elimination for a logical qubit encoded in a mechanical oscillator

abstract: Continuous-variable (CV) systems are attracting increasing attention in the realization of universal quantum computation. Several recent experiments have shown the feasibility of using CV systems to, e.g., encode a qubit into a trapped-ion mechanical oscillator and perform logic gates [Nature 566, 513-517 (2019)]. The essential next step is to protect the encoded qubit from quantum decoherence, e.g., the motional decoherence due to the interaction between a mechanical oscillator and its environment. Here we propose a scheme to suppress quantum decoherence of a single-mode harmonic oscillator used to encode qubits by introducing a nonperturbative leakage elimination operator (LEO) specifically designed for this purpose. Remarkably, our nonperturbative LEO can be used to analytically derive exact equations of motion without approximations. It also allows us to prove that the effectiveness of these LEOs only depends on the integral of the pulse sequence in the time domain, while details of the pulse shape does not make a significant difference when the time period is chosen appropriately. This control method can be applied to a system at an arbitrary temperature and arbitrary system-bath coupling strength which makes it extremely useful for general open quantum systems.


title: Ptolemy: Architecture Support for Robust Deep Learning

abstract: Deep learning is vulnerable to adversarial attacks, where carefully-crafted input perturbations could mislead a well-trained Deep Neural Network to produce incorrect results. Today's countermeasures to adversarial attacks either do not have capability to detect adversarial samples at inference time, or introduce prohibitively high overhead to be practical at inference time. We propose Ptolemy, an algorithm-architecture co-designed system that detects adversarial attacks at inference time with low overhead and high accuracy.We exploit the synergies between DNN inference and imperative program execution: an input to a DNN uniquely activates a set of neurons that contribute significantly to the inference output, analogous to the sequence of basic blocks exercised by an input in a conventional program. Critically, we observe that adversarial samples tend to activate distinctive paths from those of benign inputs. Leveraging this insight, we propose an adversarial sample detection framework, which uses canary paths generated from offline profiling to detect adversarial samples at runtime. The Ptolemy compiler along with the co-designed hardware enable efficient execution by exploiting the unique algorithmic characteristics. Extensive evaluations show that Ptolemy achieves higher or similar adversarial example detection accuracy than today's mechanisms with a much lower runtime (as low as 2%) overhead.


title: Nanofibril-mediated Fracture Resistance of Bone

abstract: Natural hard composites like human bone possess a combination of strength and toughness that exceeds that of their constituents and of many engineered composites. This augmentation is attributed to their complex hierarchical structure, spanning multiple length scales; in bone, characteristic dimensions range from nanoscale fibrils to microscale lamellae to mesoscale osteons and macroscale organs. The mechanical properties of bone have been studied, with the understanding that the isolated microstructure at micro- and nano-scales gives rise to superior strength compared to that of whole tissue, and the tissue possesses an amplified toughness relative to that of its nanoscale constituents. Nanoscale toughening mechanisms of bone are not adequately understood at sample dimensions that allow for isolating salient microstructural features, because of the challenge of performing fracture experiments on small-sized samples. We developed an in-situ three-point bend experimental methodology that probes site-specific fracture behavior of micron-sized specimens of hard material. Using this, we quantify crack initiation and growth toughness of human trabecular bone with sharp fatigue pre-cracks and blunt notches. Our findings indicate that bone with fatigue cracks is two times tougher than that with blunt cracks. In-situ data-correlated electron microscopy videos reveal this behavior arises from crack-bridging by nanoscale fibril structure. The results reveal a transition between fibril-bridging (~1 $\mu$m) and crack deflection/twist (~500 $\mu$m) as a function of length-scale, and quantitatively demonstrate hierarchy-induced toughening in a complex material. This versatile approach enables quantifying the relationship between toughness and microstructure in various complex material systems and provides direct insight for designing biomimetic composites.


title: Ricci flow smoothing for locally collapsing manifolds

abstract: We show that for certain locally collapsing initial data with Ricci curvature bounded below, one could start the Ricci flow for a definite period of time. This provides a Ricci flow smoothing tool, with which we find topological conditions that detect the collapsing infranil fiber bundles over controlled Riemannian orbifolds among those locally collapsing regions with Ricci curvature bounded below. In the appendix, we also provide a local distance distortion estimate for certain Ricci flows with collapsing initial data.


title: Investigating the effect of in-plane spin directions for Precessing BBH systems

abstract: Morphology of coalescing BBH waveforms are affected by its spins. Waveform models built for inference of source parameters have several in-built approximations. In current precessing IMRPhenom and SEOBNR waveform models, systems with the same spin magnitude but varying orientation of spins projected on the orbital plane are effectively mapped to the same system (bar an overall phase change) and the asymmetry due to precession between the $+m$ and $-m$ modes is not modelled. In this study, we investigate the validity of these approximations by generating numerical relativity (NR) simulations of single-spin NR systems with varying in-plane spin directions (including several superkick configurations) and provide an estimate of the SNR at which the effect of varying in-plane spin directions would be measurable. This is done computing the match between these waveforms and using these match values to estimate the distinguishability SNR. We also use NR waveforms with different spin magnitudes to compare the measurability of spin magnitude vs. in-plane spin direction. We find that the in-plane spin direction could be measurable at SNRs accessible by current generation detectors, with the distinguishability SNR of varying in-plane spins comparable to or lower than varying the in-plane spin magnitude. We then remove the mode-asymmetry content from the waveforms and find that, i) removing mode-asymmetry increases the SNR at which in-plane spin direction can be measured and ii) not modelling mode-asymmetry will lead to measurement biases. The SNRs that we see at which the in-plane spins would be measurable and at which mode-asymmetric content impacts the measurements are the SNRs at which precession would be measurable, and we therefore conclude that modelling in-plane spin direction and mode-asymmetry effects is necessary for unbiassed measurements of precession.


title: Matching Guided Distillation

abstract: Feature distillation is an effective way to improve the performance for a smaller student model, which has fewer parameters and lower computation cost compared to the larger teacher model. Unfortunately, there is a common obstacle - the gap in semantic feature structure between the intermediate features of teacher and student. The classic scheme prefers to transform intermediate features by adding the adaptation module, such as naive convolutional, attention-based or more complicated one. However, this introduces two problems: a) The adaptation module brings more parameters into training. b) The adaptation module with random initialization or special transformation isn't friendly for distilling a pre-trained student. In this paper, we present Matching Guided Distillation (MGD) as an efficient and parameter-free manner to solve these problems. The key idea of MGD is to pose matching the teacher channels with students' as an assignment problem. We compare three solutions of the assignment problem to reduce channels from teacher features with partial distillation loss. The overall training takes a coordinate-descent approach between two optimization objects - assignments update and parameters update. Since MGD only contains normalization or pooling operations with negligible computation cost, it is flexible to plug into network with other distillation methods.


title: On the Ruin of Age of Information in Augmented Reality over Wireless Terahertz (THz) Networks

abstract: Guaranteeing fresh and reliable information for augmented reality (AR) services is a key challenge to enable a real-time experience and sustain a high quality of physical experience (QoPE) for the users. In this paper, a terahertz (THz) cellular network is used to exchange rate-hungry AR content. For this network, guaranteeing an instantaneous low peak age of information (PAoI) is necessary to overcome the uncertainty stemming from the THz channel. In particular, a novel economic concept, namely, the risk of ruin is proposed to examine the probability of occurrence of rare, but extremely high PAoI that can jeopardize the operation of the AR service. To assess the severity of these hazards, the cumulative distribution function (CDF) of the PAoI is derived for two different scheduling policies. This CDF is then used to find the probability of maximum severity of ruin PAoI. Furthermore, to provide long term insights about the AR content's age, the average PAoI of the overall system is also derived. Simulation results show that an increase in the number of users will positively impact the PAoI in both the expected and worst-case scenarios. Meanwhile, an increase in the bandwidth reduces the average PAoI but leads to a decline in the severity of ruin performance. The results also show that a system with preemptive last come first served (LCFS) queues of limited size buffers have a better ruin performance (12% increase in the probability of guaranteeing a less severe PAoI while increasing the number of users), whereas first come first served (FCFS) queues of limited buffers lead to a better average PAoI performance (45% lower PAoI as we increase the bandwidth).


title: Translating Paintings Into Music Using Neural Networks

abstract: We propose a system that learns from artistic pairings of music and corresponding album cover art. The goal is to 'translate' paintings into music and, in further stages of development, the converse. We aim to deploy this system as an artistic tool for real time 'translations' between musicians and painters. The system's outputs serve as elements to be employed in a joint live performance of music and painting, or as generative material to be used by the artists as inspiration for their improvisation.


title: An automated pipeline for the discovery of conspiracy and conspiracy theory narrative frameworks: Bridgegate, Pizzagate and storytelling on the web

abstract: Although a great deal of attention has been paid to how conspiracy theories circulate on social media and their factual counterpart conspiracies, there has been little computational work done on describing their narrative structures. We present an automated pipeline for the discovery and description of the generative narrative frameworks of conspiracy theories on social media, and actual conspiracies reported in the news media. We base this work on two separate repositories of posts and news articles describing the well-known conspiracy theory Pizzagate from 2016, and the New Jersey conspiracy Bridgegate from 2013. We formulate a graphical generative machine learning model where nodes represent actors/actants, and multi-edges and self-loops among nodes capture context-specific relationships. Posts and news items are viewed as samples of subgraphs of the hidden narrative network. The problem of reconstructing the underlying structure is posed as a latent model estimation problem. We automatically extract and aggregate the actants and their relationships from the posts and articles. We capture context specific actants and interactant relationships by developing a system of supernodes and subnodes. We use these to construct a network, which constitutes the underlying narrative framework. We show how the Pizzagate framework relies on the conspiracy theorists' interpretation of "hidden knowledge" to link otherwise unlinked domains of human interaction, and hypothesize that this multi-domain focus is an important feature of conspiracy theories. While Pizzagate relies on the alignment of multiple domains, Bridgegate remains firmly rooted in the single domain of New Jersey politics. We hypothesize that the narrative framework of a conspiracy theory might stabilize quickly in contrast to the narrative framework of an actual one, which may develop more slowly as revelations come to light.


title: On the number of distinct roots of a lacunary polynomial over finite fields

abstract: We obtain new upper bounds on the number of distinct roots of lacunary polynomials over finite fields. Our focus will be on polynomials for which there is a large gap between consecutive exponents in the monomial expansion.


title: Triangular lattice Majorana-Hubbard model: Mean field theory and DMRG on a width-4 torus

abstract: Majorana modes can arise as zero energy bound states in a variety of solid state systems. A two-dimensional phase supporting these quasiparticles, for instance, emerges on the surface of a topological superconductor with the zero modes localized at the cores of vortices. At low energies, such a setup can be modeled by Majorana modes that interact with each other on the Abrikosov lattice. In experiments, the lattice is usually triangular. Motivated by the practical relevance, we explore the phase diagram of this Hubbard-like Majorana model using a combination of mean field theory and numerical simulation of thin torus geometries through the density matrix renormalization group algorithm. Our analysis indicates that attractive interactions between Majoranas can drive a phase transition in an otherwise gapped topological state.