title: Private Set Intersection: A Multi-Message Symmetric Private Information Retrieval Perspective

abstract: We study the problem of private set intersection (PSI). In this problem, there are two entities $E_i$, for $i=1, 2$, each storing a set $\mathcal{P}_i$, whose elements are picked from a finite field $\mathbb{F}_K$, on $N_i$ replicated and non-colluding databases. It is required to determine the set intersection $\mathcal{P}_1 \cap \mathcal{P}_2$ without leaking any information about the remaining elements to the other entity with the least amount of downloaded bits. We first show that the PSI problem can be recast as a multi-message symmetric private information retrieval (MM-SPIR) problem. Next, as a stand-alone result, we derive the information-theoretic sum capacity of MM-SPIR, $C_{MM-SPIR}$. We show that with $K$ messages, $N$ databases, and the size of the desired message set $P$, the exact capacity of MM-SPIR is $C_{MM-SPIR} = 1 - \frac{1}{N}$ when $P \leq K-1$, provided that the entropy of the common randomness $S$ satisfies $H(S) \geq \frac{P}{N-1}$ per desired symbol. This result implies that there is no gain for MM-SPIR over successive single-message SPIR (SM-SPIR). For the MM-SPIR problem, we present a novel capacity-achieving scheme that builds on the near-optimal scheme of Banawan-Ulukus originally proposed for the multi-message PIR (MM-PIR) problem without database privacy constraints. Surprisingly, our scheme here is exactly optimal for the MM-SPIR problem for any $P$, in contrast to the scheme for the MM-PIR problem, which was proved only to be near-optimal. Our scheme is an alternative to the SM-SPIR scheme of Sun-Jafar. Based on this capacity result for MM-SPIR, and after addressing the added requirements in its conversion to the PSI problem, we show that the optimal download cost for the PSI problem is $\min\left\{\left\lceil\frac{P_1 N_2}{N_2-1}\right\rceil, \left\lceil\frac{P_2 N_1}{N_1-1}\right\rceil\right\}$, where $P_i$ is the cardinality of set $\mathcal{P}_i$


title: On 5d SCFTs and their BPS quivers. Part I: B-branes and brane tilings

abstract: We study the spectrum of BPS particles on the Coulomb branch of five-dimensional superconformal field theories (5d SCFTs) compactified on a circle. By engineering these theories in M-theory on ${\mathbf X} \times S^1 $, for ${\mathbf X}$ an isolated Calabi-Yau threefold singularity, we naturally identify the BPS category of the 5d theory on a circle with the derived category of coherent sheaves on a resolution of ${\mathbf X}$. It follows that the BPS spectrum can be studied in terms of 5d BPS quivers, which are the fractional-brane quivers for the singularity ${\mathbf X}$. 5d BPS quivers generalize the well-studied 4d BPS quivers for 4d $\mathcal{N}{=}2$ gauge theories that can be obtained from ${\mathbf X}$ in so-called geometric engineering limits. We study the interplay between 4d and 5d BPS quivers in detail. We particularly focus on examples when ${\mathbf X}$ is a toric singularity, in which case the 5d BPS quiver is given in terms of a brane tiling. For instance, the well-studied $Y^{p,q}$ brane tiling gives a 5d BPS quiver for the $SU(p)_q$ 5d gauge theory. We present a conjecture about the structure of the BPS spectra of a wide class of models, which we test in the simple case of the 5d $SU(2)_0$ theory (more precisely, the $E_1$ SCFT). We also argue that 5d UV dualities can be realized in terms of mutation sequences on the BPS quivers, which are in turn interpreted as autoequivalences of the BPS category.


title: Side-Tuning: A Baseline for Network Adaptation via Additive Side Networks

abstract: When training a neural network for a desired task, one may prefer to adapt a pre-trained network rather than starting from randomly initialized weights. Adaptation can be useful in cases when training data is scarce, when a single learner needs to perform multiple tasks, or when one wishes to encode priors in the network. The most commonly employed approaches for network adaptation are fine-tuning and using the pre-trained network as a fixed feature extractor, among others. In this paper, we propose a straightforward alternative: side-tuning. Side-tuning adapts a pre-trained network by training a lightweight "side" network that is fused with the (unchanged) pre-trained network via summation. This simple method works as well as or better than existing solutions and it resolves some of the basic issues with fine-tuning, fixed features, and other common approaches. In particular, side-tuning is less prone to overfitting, is asymptotically consistent, and does not suffer from catastrophic forgetting in incremental learning. We demonstrate the performance of side-tuning under a diverse set of scenarios, including incremental learning (iCIFAR, iTaskonomy), reinforcement learning, imitation learning (visual navigation in Habitat), NLP question-answering (SQuAD v2), and single-task transfer learning (Taskonomy), with consistently promising results.


title: Higher Anomalies, Higher Symmetries, and Cobordisms II: Lorentz Symmetry Extension and Enriched Bosonic/Fermionic Quantum Gauge Theory

abstract: We systematically study Lorentz symmetry extensions in quantum field theories (QFTs) and their 't Hooft anomalies via cobordism. The total symmetry $G'$ can be expressed in terms of the extension of Lorentz symmetry $G_L$ by an internal global symmetry $G$ as $1 \to G \to G' \to G_L \to 1$. By enumerating all possible $G_L$ and symmetry extensions, other than the familiar SO/Spin/O/Pin$^{\pm}$ groups, we introduce a new EPin group (in contrast to DPin), and provide natural physical interpretations to exotic groups E($d$), EPin($d$), (SU(2)$\times$E(d))/$\mathbb{Z}_2$, (SU(2)$\times$EPin(d))/$\mathbb{Z}_2^{\pm}$, etc. By Adams spectral sequence, we systematically classify all possible $d$d Symmetry Protected Topological states (SPTs as invertible TQFTs) and $(d-1)$d 't Hooft anomalies of QFTs by co/bordism groups and invariants in $d\leq 5$. We further gauge the internal $G$, and study Lorentz symmetry-enriched Yang-Mills theory with discrete theta terms given by gauged SPTs. We not only enlist familiar bosonic Yang-Mills but also discover new fermionic Yang-Mills theories (when $G_L$ contains a graded fermion parity $\mathbb{Z}_2^F$), applicable to bosonic (e.g., Quantum Spin Liquids) or fermionic (e.g., electrons) condensed matter systems. For a pure gauge theory, there is a one form symmetry $I_{[1]}$ associated with the center of the gauge group $G$. We further study the anomalies of the emergent symmetry $I_{[1]}\times G_L$ by higher cobordism invariants as well as QFT analysis. We focus on the simply connected $G=$SU(2) and briefly comment on non-simply connected $G=$SO(3), U(1), other simple Lie groups, and Standard Model gauge groups (SU(3)$\times$SU(2)$\times$U(1))/$\mathbb{Z}_q$. We comment on SPTs protected by Lorentz symmetry, and the symmetry-extended trivialization for their boundary states.


title: Non-Abelian Three-Loop Braiding Statistics for 3D Fermionic Topological Phases

abstract: Fractional statistics is one of the most intriguing features of topological phases in 2D. In particular, the so-called non-Abelian statistics plays a crucial role towards realizing universal topological quantum computation. Recently, the study of topological phases has been extended to 3D and it has been proposed that loop-like extensive objects can also carry fractional statistics. In this work, we systematically study the so-called three-loop braiding statistics for loop-like excitations for 3D fermionic topological phases. Most surprisingly, we discovered new types of non-Abelian three-loop braiding statistics that can only be realized in fermionic systems (or equivalently bosonic systems with fermionic particles). The simplest example of such non-Abelian braiding statistics can be realized in interacting fermionic systems with a gauge group $\mathbb{Z}_2 \times \mathbb{Z}_8$ or $\mathbb{Z}_4 \times \mathbb{Z}_4$, and the physical origin of non-Abelian statistics can be viewed as attaching an open Majorana chain onto a pair of linked loops, which will naturally reduce to the well known Ising non-Abelian statistics via the standard dimension reduction scheme. Moreover, due to the correspondence between gauge theories with fermionic particles and classifying fermionic symmetry-protected topological (FSPT) phases with unitary symmetries, our study also give rise to an alternative way to classify FSPT phases with unitary symmetries. We further compare the classification results for FSPT phases with arbitrary Abelian total symmetry $G^f$ and find systematical agreement with previous studies using other methods. We believe that the proposed framework of understanding three-loop braiding statistics (including both Abelian and non-Abelian cases) in interacting fermion systems applies for generic fermonic topological phases in 3D.


title: Integrated Sensor System to Control the Temperature Effects and the Hysteresis on Adaptive Fluid-Membrane Piezoelectric Lenses

abstract: We present in this paper an integrated sensor system for closed-loop control of the temperature effects and the hysteresis on the refractive power of an adaptive fluid-membrane piezoelectric lens. The piezoelectric hysteresis and the fluid thermal expansion contribute to a nonlinear response of the lens refractive power defined as a function of the actuation electric field. Hence, a pressure sensor and a temperature sensor are integrated inside the lens to monitor and define the lens refractive power as a function of both the internal fluid pressure and the temperature, thus, allowing for the closed-loop control of the refractive power. The adaptive lens has a refractive power range varying from -16 m-1 to +17 m-1 at 25{\deg}C and from -15 m-1 to +28 m 1 at 75{\deg}C.


title: Exploring leptoquark effects in hyperon and kaon decays with missing energy

abstract: We entertain the possibility that scalar leptoquarks (LQs) generate consequential effects on the strangeness-changing decays of hyperons and kaons involving missing energy carried away by a pair of invisible fermions. Although such processes have suppressed rates in the standard model (SM), they could get significant enhancement in the presence of the LQs. In order to respect the available data on the kaon modes $K\to\pi\nu\bar\nu$ and increase the rates of the hyperon decays substantially at the same time, two different scalar LQs are needed. If the LQs have Yukawa couplings solely to SM fermions, we find that the hyperon rates cannot attain values within the reach of ongoing or near-future experiments because of the combined constraints from the measurements on kaon mixing and lepton-flavor-violating processes. However, if we include light right-handed neutrinos in the LQ interactions, their contributions can evade the leading restrictions and translate into hyperon rates which may be big enough to be probed by upcoming searches. Thus, these hyperon modes could provide a new avenue for seeking sterile neutrinos.


title: Majorana phases in high-scale mixings unification hypotheses

abstract: For addressing the remarkable difference between neutrino and quark mixings, high-scale mixings relations (HSMR) or unification (HSMU) hypothe\ ses were proposed. These phenomenology frameworks have been explored with respect to bounds from neutrino oscillations and relevant cosmologic\ al data. However there are caveats with regards to assessing the hypotheses' compatibility with data in a statistically robust and convergent \ manner because most analysis employ a few sample of points in model parameters' space. A remedy could be achieved by using Bayesian algorithms\ for the parameters' space exploration. Using this approach, we made global fits of the HSMU and HSMR models to data and find compatible param\ eter regions, including for Majorana phases. The posterior samples could be used for studying correlations between neutrino observables and pr\ ospects for updates of related experiments.


title: Notes on the Quantum Corrections of Swampland and Trans-Planckian Censorship Conjecture

abstract: We discuss the de Sitter swampland and trans-Planckian censorship conjectures (TCC) from the entropy bound with quantum corrections, namely quantum version of Bousso bound and energy conditions. We include the typical contributions from the entanglement entropy in quasi-de Sitter spacetime. The TCC is not much corrected, whereas the bounds on de Sitter swampland conjecture from energy conditions can be relaxed due to quantum corrections.


title: Cyclic homology, $S^1$-equivariant Floer cohomology, and Calabi-Yau structures

abstract: We construct geometric maps from the cyclic homology groups of the (compact or wrapped) Fukaya category to the corresponding $S^1$-equivariant (Floer/quantum or symplectic) cohomology groups, which are natural with respect to all Gysin and periodicity exact sequences and are isomorphisms whenever the (non-equivariant) open-closed map is. These {\em cyclic open-closed maps} give (a) constructions of geometric smooth and/or proper Calabi-Yau structures on Fukaya categories (which in the proper case implies the Fukaya category has a cyclic A-infinity model in characteristic 0) and (b) a purely symplectic proof of the non-commutative Hodge-de Rham degeneration conjecture for smooth and proper subcategories of Fukaya categories of compact symplectic manifolds. Further applications of cyclic open-closed maps, to counting curves in mirror symmetry and to comparing topological field theories, are the subject of joint projects with Perutz-Sheridan [GPS1, GPS2] and Cohen [CG].


title: BV and BFV for the H-twisted Poisson sigma model

abstract: We present the BFV and the BV extension of the Poisson sigma model (PSM) twisted by a closed 3-form H. There exist superfield versions of these functionals such as for the PSM and, more generally, for the AKSZ sigma models. However, in contrast to those theories, here they depend on the Euler vector field of the source manifold and contain terms mixing data from the source and the target manifold. Using an auxiliary connection $\nabla$ on the target manifold M, we obtain alternative, purely geometrical expressions without the use of superfields, which are new also for the ordinary PSM and promise straightforward adaptations to other Lie algebroid based gauge theories: The BV functional, in particular, is the sum of the classical action, the Hamiltonian lift of the (only on-shell-nilpotent) BRST differential, and a term quadratic in the antifields which is essentially the basic curvature and measures the compatibility of $\nabla$ with the Lie algebroid structure on T*M. We finally construct a Diff(M)-equivariant isomorphism between the two BV formulations.


title: Large rainbow cliques in randomly perturbed dense graphs

abstract: For two graphs $G$ and $H$, write $G \stackrel{\mathrm{rbw}}{\longrightarrow} H$ if $G$ has the property that every {\sl proper} colouring of its edges yields a {\sl rainbow} copy of $H$. We study the thresholds for such so-called {\sl anti-Ramsey} properties in randomly perturbed dense graphs, which are unions of the form $G \cup \mathbb{G}(n,p)$, where $G$ is an $n$-vertex graph with edge-density at least $d$, and $d$ is a constant that does not depend on $n$. Our results in this paper, combined with our results in a companion paper, determine the threshold for the property $G \cup \mathbb{G}(n,p) \stackrel{\mathrm{rbw}}{\longrightarrow} K_s$ for every $s$. In this paper, we show that for $s \geq 9$ the threshold is $n^{-1/m_2(K_{\left\lceil s/2 \right\rceil})}$; in fact, our $1$-statement is a supersaturation result. This turns out to (almost) be the threshold for $s=8$ as well, but for every $4 \leq s \leq 7$, the threshold is lower; see our companion paper for more details. In this paper, we also consider the property $G \cup \mathbb{G}(n,p) \stackrel{\mathrm{rbw}}{\longrightarrow} C_{2\ell - 1}$, and show that the threshold for this property is $n^{-2}$ for every $\ell \geq 2$; in particular, it does not depend on the length of the cycle $C_{2\ell - 1}$. It is worth mentioning that for even cycles, or more generally for any fixed bipartite graph, no random edges are needed at all.


title: Planar kinematic invariants, matroid subdivisions and generalized Feynman diagrams

abstract: In recent work of Cachazo, Guevara, Mizera and the author, a generalization of the biadjoint scattering amplitude $m^{(k)}(\mathbb{I}_n,\mathbb{I}_n)$ was introduced as an integral over the moduli space of $n$ points in $\mathbb{CP}^{k-1}$, with value a sum of certain rational functions on the kinematic space $\mathcal{K}_{k,n}$. It was shown there for $m^{(3)}(\mathbb{I}_6,\mathbb{I}_6)$ and later by Cachazo and Rojas that collections of poles appearing in $m^{(3)}(\mathbb{I}_7,\mathbb{I}_7)$ are compatible exactly when they are dual to collections of rays which generate the maximal faces of a polyhedral complex known as the (nonnegative) tropical Grassmannian. In this note, we derive a remarkable planar basis for the space of generalized kinematic invariants which coincides in the case $k=2$ with usual standard planar multi-particle basis for the kinematic space. We implement in Mathematica the action on formal linear combinations of planar matroid subdivisions of a boundary operator which, together with the planar basis, determines compatibility for any given poles appearing in the expansion of $m^{(k)}(\mathbb{I}_n,\mathbb{I}_n)$, by computing a certain combinatorial non-crossing condition on the second hypersimplicial faces $\Delta_{2,n-(k-2)}$ of $\Delta_{k,n}$. The algorithms are implemented in an accompanying Mathematica notebook and are evaluated on existing tables of rays, in the form of tropical Plucker vectors, to tabulate the finest planar subdivisions of $\Delta_{3,8},\Delta_{3,9}$ and $ \Delta_{4,8}$, or equivalently the set of maximal cones for the corresponding nonnegative tropical Grassmannians.


title: Higher Anomalies, Higher Symmetries, and Cobordisms III: QCD Matter Phases Anew

abstract: We explore QCD$_4$ quark matter, the $\mu$-T (chemical potential-temperature) phase diagram, possible 't Hooft anomalies, and topological terms, via non-perturbative tools of cobordism theory and higher anomaly matching. We focus on quarks in 3-color and 3-flavor on bi-fundamentals of SU(3), then analyze the continuous and discrete global symmetries and pay careful attention to finite group sectors. We input constraints from $T=CP$ or $CT$ time-reversal symmetries, implementing QCD on unorientable spacetimes and distinct topology. Examined phases include the high T QGP (quark-gluon plasma/liquid), the low T ChSB (chiral symmetry breaking), 2SC (2-color superconductivity) and CFL (3-color-flavor locking superconductivity) at high density. We introduce a possibly useful but only approximate higher anomaly, involving discrete 0-form axial and 1-form mixed chiral-flavor-locked center symmetries, matched by the above four QCD phases. We also enlist as much as possible, but without identifying all of, 't Hooft anomalies and topological terms relevant to Symmetry Protected/Enriched Topological states (SPTs/SETs) of gauged SU(2) or SU(3) QCD$_d$-like matter theories in general in any spacetime dimensions $d=2,3,4,5$ via cobordism.

categories: hep-th cond-mat.supr-con hep-ph math.AT nucl-th


title: Stochastic Recursive Variance Reduction for Efficient Smooth Non-Convex Compositional Optimization

abstract: Stochastic compositional optimization arises in many important machine learning tasks such as value function evaluation in reinforcement learning and portfolio management. The objective function is the composition of two expectations of stochastic functions, and is more challenging to optimize than vanilla stochastic optimization problems. In this paper, we investigate the stochastic compositional optimization in the general smooth non-convex setting. We employ a recently developed idea of \textit{Stochastic Recursive Gradient Descent} to design a novel algorithm named SARAH-Compositional, and prove a sharp Incremental First-order Oracle (IFO) complexity upper bound for stochastic compositional optimization: $\mathcal{O}((n+m)^{1/2} \varepsilon^{-2})$ in the finite-sum case and $\mathcal{O}(\varepsilon^{-3})$ in the online case. Such a complexity is known to be the best one among IFO complexity results for non-convex stochastic compositional optimization, and is believed to be optimal. Our experiments validate the theoretical performance of our algorithm.


title: Consistent truncations of supergravity and $\frac{1}{2}$-BPS RG flows in $4d$ SCFTs

abstract: With the purpose of holographically describing flows from a large family of four dimensional ${\cal N}=1$ and ${\cal N}=2$ conformal field theories, we discuss truncations of seven dimensional supergravity to five dimensions. We write explicitly the reduced gauged supergravity and find BPS equations for simple configurations. Lifting these flows to eleven dimensions or Massive IIA supergravity, we present string duals to RG flows from strongly coupled conformal theories when deformed by marginal and/or relevant operators. We further discuss observables common to infinite families of ${\cal N}=1$ and ${\cal N}=2$ QFTs in this context.


title: Detection and Classification of Supernova Gravitational Waves Signals: A Deep Learning Approach

abstract: We demonstrate the application of a convolutional neural network to the gravitational wave signals from core collapse supernovae. Using simulated time series of gravitational wave detectors, we show that based on the explosion mechanisms, a convolutional neural network can be used to detect and classify the gravitational wave signals buried in noise. For the waveforms used in the training of the convolutional neural network, our results suggest that a network of advanced LIGO, advanced VIRGO and KAGRA, or a network of LIGO A+, advanced VIRGO and KAGRA is likely to detect a magnetorotational core collapse supernovae within the Large and Small Magellanic Clouds, or a Galactic event if the explosion mechanism is the neutrino-driven mechanism. By testing the convolutional neural network with waveforms not used for training, we show that the true alarm probabilities are 52% and 83% at 60 kpc for waveforms R3E1AC and R4E1FC L. For waveforms s20 and SFHx at 10 kpc, the true alarm probabilities are 70% and 93% respectively. All at false alarm probability equal to 10%.


title: Quantum GestART: Identifying and Applying Correlations between Mathematics, Art, and Perceptual Organization

abstract: Mathematics can help analyze the arts and inspire new artwork. Mathematics can also help make transformations from one artistic medium to another, considering exceptions and choices, as well as artists' individual and unique contributions. We propose a method based on diagrammatic thinking and quantum formalism. We exploit decompositions of complex forms into a set of simple shapes, discretization of complex images, and Dirac notation, imagining a world of "prototypes" that can be connected to obtain a fine or coarse-graining approximation of a given visual image. Visual prototypes are exchanged with auditory ones, and the information (position, size) characterizing visual prototypes is connected with the information (onset, duration, loudness, pitch range) characterizing auditory prototypes. The topic is contextualized within a philosophical debate (discreteness and comparison of apparently unrelated objects), it develops through mathematical formalism, and it leads to programming, to spark interdisciplinary thinking and ignite creativity within STEAM.


title: On identities of $2$-dimensional algebras

abstract: In the paper we provide some polynomial identities for finite-dimensional algebras. A list of well known single polynomial identities is exposed and the classification of all $2$-dimensional algebras with respect to these identities is given.


title: Learning Numeral Embeddings

abstract: Word embedding is an essential building block for deep learning methods for natural language processing. Although word embedding has been extensively studied over the years, the problem of how to effectively embed numerals, a special subset of words, is still underexplored. Existing word embedding methods do not learn numeral embeddings well because there are an infinite number of numerals and their individual appearances in training corpora are highly scarce. In this paper, we propose two novel numeral embedding methods that can handle the out-of-vocabulary (OOV) problem for numerals. We first induce a finite set of prototype numerals using either a self-organizing map or a Gaussian mixture model. We then represent the embedding of a numeral as a weighted average of the prototype number embeddings. Numeral embeddings represented in this manner can be plugged into existing word embedding learning approaches such as skip-gram for training. We evaluated our methods and showed its effectiveness on four intrinsic and extrinsic tasks: word similarity, embedding numeracy, numeral prediction, and sequence labeling.


title: New Competitive Analysis Results of Online List Scheduling Algorithm

abstract: Online algorithm has been an emerging area of interest for researchers in various domains of computer science. The online $m$-machine list scheduling problem introduced by Graham has gained theoretical as well as practical significance in the development of competitive analysis as a performance measure for online algorithms. In this paper, we study and explore the performance of Graham's online \textit{list scheduling algorithm(LSA)} for independent jobs. In the literature, \textit{LSA} has already been proved to be $2-\frac{1}{m}$ competitive, where $m$ is the number of machines. We present two new upper bound results on competitive analysis of \textit{LSA}. We obtain upper bounds on the competitive ratio of $2-\frac{2}{m}$ and $2-\frac{m^2-m+1}{m^2}$ respectively for practically significant two special classes of input job sequences. Our analytical results can motivate the practitioners to design improved competitive online algorithms for the $m$-machine list scheduling problem by characterization of real life input sequences.


title: Approach to the construction of the spaces $ S{D^p}[\mathbb{R}^\infty]$ for $1 \leq p \leq \infty$

abstract: The objective of this paper is to construct separable Banach spaces $S{D^p}[\mathbb{R}^\infty]$ for $1\leq p \leq \infty$, each of which contains the $L^p[\mathbb{R}^\infty] $ spaces, as well as finitely additive measures, as compact dense embedding. Also these spaces contains Henstock-Kurzweil integrable functions.


title: Learning from Learning Machines: Optimisation, Rules, and Social Norms

abstract: There is an analogy between machine learning systems and economic entities in that they are both adaptive, and their behaviour is specified in a more-or-less explicit way. It appears that the area of AI that is most analogous to the behaviour of economic entities is that of morally good decision-making, but it is an open question as to how precisely moral behaviour can be achieved in an AI system. This paper explores the analogy between these two complex systems, and we suggest that a clearer understanding of this apparent analogy may help us forward in both the socio-economic domain and the AI domain: known results in economics may help inform feasible solutions in AI safety, but also known results in AI may inform economic policy. If this claim is correct, then the recent successes of deep learning for AI suggest that more implicit specifications work better than explicit ones for solving such problems.


title: A generalization of the symmetrical and optimal probability-to-possibility transformations

abstract: Possibility and probability theories are alternative and complementary ways to deal with uncertainty, which has motivated over the last years an interest for the study of ways to transform probability distributions into possibility distributions and conversely. This paper studies the advantages and shortcomings of two well-known discrete probability to possibility transformations: the optimal transformation and the symmetrical transformation, and presents a novel parametric family of probability to possibility transformations which generalizes them and alleviate their shortcomings, showing a big potential for practical application. The paper also introduces a novel fuzzy measure of specificity for probability distributions based on the concept of fuzzy subsethood and presents a empirical validation of the generalized transformation usefulness applying it to the text authorship attribution problem.


title: Computational model discovery with reinforcement learning

abstract: The motivation of this study is to leverage recent breakthroughs in artificial intelligence research to unlock novel solutions to important scientific problems encountered in computational science. To address the human intelligence limitations in discovering reduced-order models, we propose to supplement human thinking with artificial intelligence. Our three-pronged strategy consists of learning (i) models expressed in analytical form, (ii) which are evaluated a posteriori, and iii) using exclusively integral quantities from the reference solution as prior knowledge. In point (i), we pursue interpretable models expressed symbolically as opposed to black-box neural networks, the latter only being used during learning to efficiently parameterize the large search space of possible models. In point (ii), learned models are dynamically evaluated a posteriori in the computational solver instead of based on a priori information from preprocessed high-fidelity data, thereby accounting for the specificity of the solver at hand such as its numerics. Finally in point (iii), the exploration of new models is solely guided by predefined integral quantities, e.g., averaged quantities of engineering interest in Reynolds-averaged or large-eddy simulations (LES). We use a coupled deep reinforcement learning framework and computational solver to concurrently achieve these objectives. The combination of reinforcement learning with objectives (i), (ii) and (iii) differentiate our work from previous modeling attempts based on machine learning. In this report, we provide a high-level description of the model discovery framework with reinforcement learning. The method is detailed for the application of discovering missing terms in differential equations. An elementary instantiation of the method is described that discovers missing terms in the Burgers' equation.


title: Deep Reinforced Self-Attention Masks for Abstractive Summarization (DR.SAS)

abstract: We present a novel architectural scheme to tackle the abstractive summarization problem based on the CNN/DMdataset which fuses Reinforcement Learning (RL) withUniLM, which is a pre-trained Deep Learning Model, to solve various natural language tasks. We have tested the limits of learning fine-grained attention in Transformers to improve the summarization quality. UniLM applies attention to the entire token space in a global fashion. We propose DR.SAS which applies the Actor-Critic (AC) algorithm to learn a dynamic self-attention distribution over the tokens to reduce redundancy and generate factual and coherent summaries to improve the quality of summarization. After performing hyperparameter tuning, we achievedbetter ROUGE results compared to the baseline. Our model tends to be more extractive/factual yet coherent in detail because of optimization over ROUGE rewards. We present detailed error analysis with examples of the strengths and limitations of our model. Our codebase will be publicly available on our GitHub.


title: Traversable Wormholes in $R+\alpha R^n$ Gravity

abstract: In this work, the study of traversable wormholes in $f(R)$ gravity with the function $f(R)=R+\alpha R^n$, where $\alpha$ and $n$ are arbitrary constants, is taken into account. The shape function $b(r)=\frac{r}{\exp(r-r_0)}$, proposed by Samanta et al. \cite{godani1}, is considered. The energy conditions with respect to both constant and variable redshift functions are discussed and the existence of wormhole solutions without presence of exotic matter is investigated.


title: Dark Energy and Modified Scale Covariant Theory of Gravitation

abstract: Taking up four model universes we study the behaviour and contribution of dark energy to the accelerated expansion of the universe, in the modified scale covariant theory of gravitation. Here, it is seen that though this modified theory may be a cause of the accelerated expansion it cannot totally outcast the contribution of dark energy in causing the accelerated expansion. In one case the dark energy is found to be the sole cause of the accelerated expansion. The dark energy contained in these models come out to be of the $\Lambda$CDM type and quintessence type comparable to the modern observations. Some of the models originated with a big bang, the dark energy being prevalent inside the universe before the evolution of this era. One of the models predicts big rip singularity, though at a very distant future. It is interestingly found that the interaction between the dark energy and the other part of the universe containing different matters is enticed and enhanced by the gauge function $\phi(t)$ here.


title: Differentially Private M-band Wavelet-Based Mechanisms in Machine Learning Environments

abstract: In the post-industrial world, data science and analytics have gained paramount importance regarding digital data privacy. Improper methods of establishing privacy for accessible datasets can compromise large amounts of user data even if the adversary has a small amount of preliminary knowledge of a user. Many researchers have been developing high-level privacy-preserving mechanisms that also retain the statistical integrity of the data to apply to machine learning. Recent developments of differential privacy, such as the Laplace and Privelet mechanisms, drastically decrease the probability that an adversary can distinguish the elements in a data set and thus extract user information. In this paper, we develop three privacy-preserving mechanisms with the discrete M-band wavelet transform that embed noise into data. The first two methods (LS and LS+) add noise through a Laplace-Sigmoid distribution that multiplies Laplace-distributed values with the sigmoid function, and the third method utilizes pseudo-quantum steganography to embed noise into the data. We then show that our mechanisms successfully retain both differential privacy and learnability through statistical analysis in various machine learning environments.


title: An Extension of the Cardioid Distributions on Circle

abstract: A new family of distributions on the circle is introduced which are a generalization of the Cardioid distributions. The elementary properties such as mean, variance and the characteristic function are computed. The distribution is either unimodal or bimodal. The modes are computed. The symmetry of the distribution is characterized. The parameters are shown to be canonic (i.e. uniquely determined by the distribution). We also show that this new family is a subset of distributions whose Fourier series has degree at most 2 and study the implications of this property.


title: Quantum algorithms for the Goldreich-Levin learning problem

abstract: The Goldreich-Levin algorithm was originally proposed for a cryptographic purpose and then applied to learning. The algorithm is to find some larger Walsh coefficients of an $n$ variable Boolean function. Roughly speaking, it takes a $poly(n,\frac{1}{\epsilon}\log\frac{1}{\delta})$ time to output the vectors $w$ with Walsh coefficients $S(w)\geq\epsilon$ with probability at least $1-\delta$. However, in this paper, a quantum algorithm for this problem is given with query complexity $O(\frac{\log\frac{1}{\delta}}{\epsilon^4})$, which is independent of $n$. Furthermore, the quantum algorithm is generalized to apply for an $n$ variable $m$ output Boolean function $F$ with query complexity $O(2^m\frac{\log\frac{1}{\delta}}{\epsilon^4})$.


title: Average angles of triangle in regular polygons

abstract: In this article we will consider average angles of triangle, which share the same side with regular polygons. In particular we will count average angles in the triangle, which share the same bottom side with a square with length side $d=1$.


title: Proof of the tree module property for exceptional representations of tame quivers

abstract: This document serves as an arXiv entry point for the appendix to the paper [13] (the ancillary file e6_proof.pdf -- ``Proof of the tree module property for exceptional representations of the quiver $\widetilde{\mathbb{E}}_6$'') and the appendix to the paper [12] (the ancillary file d6_proof.pdf -- ``Proof of the tree module property for exceptional representations of the quiver $\widetilde{\mathbb{D}}_6$''). The ancillary files contain the computer generated part of the proofs of the main results in [13] respectively [12], giving a complete and general list of tree representations corresponding to exceptional modules over the path algebra of the canonically oriented Euclidean quiver $\widetilde{\mathbb{E}}_6$, respectively $\widetilde{\mathbb{D}}_6$. The proofs (involving induction and symbolic computation with block matrices) were partially generated by a purposefully developed computer software, outputting in a detailed step-by-step fashion as if written ``by hand''. We also give here a short theoretical introduction and an overview of the computational method used to prove the formulas given in the papers [13] and [12].


title: Loops and trees in generic EFTs

abstract: We consider aspects of tree and one-loop behavior in a generic 4d EFT of massless scalars, fermions, and vectors, with a particular eye to the high-energy limit of the Standard Model EFT at operator dimensions 6 and 8. First, we classify the possible Lorentz structures of operators and the subset of these that can arise at tree-level in a weakly coupled UV completion, extending the tree/loop classification through dimension 8 using functional methods. Second, we investigate how operators contribute to tree and one-loop helicity amplitudes, exploring the impact of non-renormalization theorems through dimension 8. We further observe that many dimension 6 contributions to helicity amplitudes, including rational parts, vanish exactly at one-loop level. This suggests the impact of helicity selection rules extends beyond one loop in non-supersymmetric EFTs.


title: Connecting optical morphology, environment, and HI mass fraction for low-redshift galaxies using deep learning

abstract: A galaxy's morphological features encode details about its gas content, star formation history, and feedback processes, which play important roles in regulating its growth and evolution. We use deep convolutional neural networks (CNNs) to learn a galaxy's optical morphological information in order to estimate its neutral atomic hydrogen (HI) content directly from SDSS $gri$ image cutouts. We are able to accurately predict a galaxy's logarithmic HI mass fraction, $\mathcal{M} \equiv \log(M_{\rm HI}/M_\star)$, by training a CNN on galaxies in the ALFALFA 40% sample. Using pattern recognition (PR), we remove galaxies with unreliable $\mathcal{M}$ estimates. We test CNN predictions on the ALFALFA 100%, xGASS, and NIBLES catalogs, and find that the CNN consistently outperforms previous estimators. The HI-morphology connection learned by the CNN appears to be constant in low- to intermediate-density galaxy environments, but it breaks down in the highest-density environments. We also use a visualization algorithm, Gradient-weighted Class Activation Maps (Grad-CAM), to determine which morphological features are associated with low or high gas content. These results demonstrate that CNNs are powerful tools for understanding the connections between optical morphology and other properties, as well as for probing other variables, in a quantitative and interpretable manner.


title: Not all doped Mott insulators have a pseudogap: key role of van Hove singularities

abstract: The Mott insulating phase of the parent compounds is frequently taken as starting point for the underdoped high-$T_c$ cuprate superconductors. In particular, the pseudogap state is often considered as deriving from the Mott insulator. In this work, we systematically investigate different weakly-doped Mott insulators on the square and triangular lattice to clarify the relationship between the pseudogap and Mottness. We show that doping a two-dimensional Mott insulator does not necessarily lead to a pseudogap phase. Despite its inherent strong-coupling nature, we find that the existence or absence of a pseudogap depends sensitively on non-interacting band parameters and identify the crucial role played by the van Hove singularities of the system. Motivated by a SU(2) gauge theory for the pseudogap state, we propose and verify numerically a simple equation that governs the evolution of characteristic features in the electronic scattering rate.


title: Warped Flatland

abstract: We study warped flat geometries in three-dimensional topologically massive gravity. They are quotients of global warped flat spacetime, whose isometries are given by the 2-dimensional centrally extended Poincar\'e algebra. The latter can be obtained as a certain scaling limit of Warped AdS3 space with a positive cosmological constant. We discuss the causal structure of the resulting spacetimes using projection diagrams. We study their charges and thermodynamics, together with asymptotic Killing vectors preserving a consistent set of boundary conditions including them. The asymptotic symmetry group is given by a Warped CFT algebra, with a vanishing current level. A generalization of the derivation of the Warped Cardy formula applies in this case, reproducing the entropy of the warped flat cosmological spacetimes.


title: Efficient classical simulation of random shallow 2D quantum circuits

abstract: Random quantum circuits are commonly viewed as hard to simulate classically. In some regimes this has been formally conjectured, and there had been no evidence against the more general possibility that for circuits with uniformly random gates, approximate simulation of typical instances is almost as hard as exact simulation. We prove that this is not the case by exhibiting a shallow circuit family with uniformly random gates that cannot be efficiently classically simulated near-exactly under standard hardness assumptions, but can be simulated approximately for all but a superpolynomially small fraction of circuit instances in time linear in the number of qubits and gates. We furthermore conjecture that sufficiently shallow random circuits are efficiently simulable more generally. To this end, we propose and analyze two simulation algorithms. Implementing one of our algorithms numerically, we give strong evidence that it is efficient both asymptotically and, in some cases, in practice. To argue analytically for efficiency, we reduce the simulation of 2D shallow random circuits to the simulation of a form of 1D dynamics consisting of alternating rounds of random local unitaries and weak measurements -- a type of process that has generally been observed to undergo a phase transition from an efficient-to-simulate regime to an inefficient-to-simulate regime as measurement strength is varied. Using a mapping from quantum circuits to statistical mechanical models, we give evidence that a similar computational phase transition occurs for our algorithms as parameters of the circuit architecture like the local Hilbert space dimension and circuit depth are varied.


title: Rademacher Expansions and the Spectrum of 2d CFT

abstract: A classical result from analytic number theory by Rademacher gives an exact formula for the Fourier coefficients of modular forms of non-positive weight. We apply similar techniques to study the spectrum of two-dimensional unitary conformal field theories, with no extended chiral algebra and $c>1$. By exploiting the full modular constraints of the partition function we propose an expression for the spectral density in terms of the light spectrum of the theory. The expression is given in terms of a Rademacher expansion, which converges for spin $j \neq 0$. For a finite number of light operators the expression agrees with a variant of the Poincare construction developed by Maloney, Witten and Keller. With this framework we study the presence of negative density of states in the partition function dual to pure gravity, and propose a scenario to cure this negativity.


title: Evidence for a Non-Supersymmetric 5d CFT from Deformations of 5d $SU(2)$ SYM

abstract: We study supersymmetry breaking deformations of the $\mathcal{N}=1$ 5d fixed point known as $E_1$, the UV completion of $SU(2)$ super-Yang-Mills. The phases of the non-supersymmetric theory can be characterized by Chern-Simons terms involving background $U(1)$ gauge fields, allowing us to identify a phase transition at strong coupling. We propose that this may signify the emergence of a non-trivial, non-supersymmetric CFT in $d=4+1$ dimensions.


title: Reliability of lattice gauge theories

abstract: Currently, there are intense experimental efforts to realize lattice gauge theories in quantum simulators. Except for specific models, however, practical quantum simulators can never be fine-tuned to perfect local gauge invariance. There is thus a strong need for a rigorous understanding of gauge-invariance violation and how to reliably protect against it. As we show through analytic and numerical evidence, in the presence of a gauge invariance-breaking term the gauge violation accumulates only perturbatively at short times before proliferating only at very long times. This proliferation can be suppressed up to infinite times by energetically penalizing processes that drive the dynamics away from the initial gauge-invariant sector. Our results provide a theoretical basis that highlights a surprising robustness of gauge-theory quantum simulators.

categories: cond-mat.quant-gas cond-mat.stat-mech hep-lat hep-ph quant-ph


title: Over 78 000 RR Lyrae Stars in the Galactic Bulge and Disk from the OGLE Survey

abstract: We present an upgrade of the OGLE Collection of RR Lyrae stars in the Galactic bulge and disk. The size of our sample has been doubled and reached 78 350 RR Lyr variables, of which 56 508 are fundamental-mode pulsators (RRab stars), 21 321 pulsate solely in the first-overtone (RRc stars), 458 are classical double-mode pulsators (RRd stars), and 63 are anomalous RRd variables (including five triple-mode pulsators). For all the newly identified RR Lyr stars, we publish time-series photometry obtained during the OGLE Galaxy Variability Survey. We present the spatial distribution of RR Lyr stars on the sky, provide a list of globular clusters hosting RR Lyr variables, and discuss the Petersen diagram for multimode pulsators. We find new RRd stars belonging to a compact group in the Petersen diagram (with period ratios P_1O/P_F = 0.74 and fundamental-mode periods P_F = 0.44 d) and we show that their spatial distribution is roughly spherically symmetrical around the Milky Way center.


title: The 2020 Skyrmionics Roadmap

abstract: The notion of non-trivial topological winding in condensed matter systems represents a major area of present-day theoretical and experimental research. Magnetic materials offer a versatile platform that is particularly amenable for the exploration of topological spin solitons in real space such as skyrmions. First identified in non-centrosymmetric bulk materials, the rapidly growing zoology of materials systems hosting skyrmions and related topological spin solitons includes bulk compounds, surfaces, thin films, heterostructures, nano-wires and nano-dots. This underscores an exceptional potential for major breakthroughs ranging from fundamental questions to applications as driven by an interdisciplinary exchange of ideas between areas in magnetism which traditionally have been pursued rather independently. The skyrmionics roadmap provides a review of the present state of the art and the wide range of research directions and strategies currently under way. These are, for instance, motivated by the identification of the fundamental structural properties of skyrmions and related textures, processes of nucleation and annihilation in the presence of non-trivial topological winding, an exceptionally efficient coupling to spin currents generating spin transfer torques at tiny current densities, as well as the capability to purpose-design broad-band spin dynamic and logic devices.

categories: cond-mat.str-el cond-mat.mes-hall hep-ph nucl-th


title: Universal bounds on the size of a black hole

abstract: For static black holes in Einstein gravity, if matter fields satisfy a few general conditions, we conjecture that three characteristic parameters about the spatial size of black holes, namely the outermost photon sphere area $A_{\mathrm{ph,out}}$, the corresponding shadow area $A_{\mathrm{sh,out}}$ and the horizon area $A_{\mathcal{H}}$ satisfy a series of universal inequalities $9A_{\mathcal{H}}/4\leq A_{\mathrm{ph,out}}\leq A_{\mathrm{sh,out}}/3\leq 36\pi M^2$, where $M$ is the ADM mass. We present a complete proof in the spherically symmetric case and some pieces of evidence to support it in general static cases. We also discuss the properties of the photon spheres in general static spacetimes and show that, similar to horizon, photon spheres are also conformal invariant structures of the spacetimes.


title: Cyclic reduction densities for elliptic curves

abstract: For an elliptic curve $E$ defined over a number field $K$, the heuristic density of the set of primes of $K$ for which $E$ has cyclic reduction is given by an inclusion-exclusion sum $\delta_{E/K}$ involving the degrees of the $m$-division fields $K_m$ of $E$ over $K$. This density can be proved to be correct under assumption of GRH. For $E$ without complex multiplication (CM), we show that $\delta_{E/K}$ is the product of an explicit non-negative rational number reflecting the finite entanglement of the division fields of $E$ and a universal infinite Artin-type product. For $E$ admitting CM over $K$ by a quadratic order ${\mathcal{O}}$, we show that $\delta_{E/K}$ admits a similar `factorization' in which the Artin type product also depends on ${\mathcal{O}}$. For $E$ admitting CM over $\bar K$ by an order ${\mathcal{O}}\not\subset K$, which occurs for $K={\bf Q}$, the entanglement of division fields over $K$ is non-finite. In this case we write $\delta_{E/K}$ as the sum of two contributions coming from the primes of $K$ that are split and inert in ${\mathcal{O}}$. The split contribution can be dealt with by the previous methods, the inert contribution is of a different nature. We determine the ways in which the density can vanish, and provide numerical examples of the different kinds of densities.


title: A general formulation of time-optimal quantum control and optimality of singular protocols

abstract: We present a general theoretical framework for finding the time-optimal unitary evolution of the quantum systems when the Hamiltonian is subject to arbitrary constraints. Quantum brachistochrone (QB) is such a framework based on the variational principle, whose drawback is that it deals with equality constraints only. While inequality constraints can be reduced to equality ones in some situations, there are situations where they cannot, especially when a drift field is present in the Hamiltonian. The drift which we cannot control appears in a wide range of systems. We first develop a framework based on Pontryagin's maximum principle (MP) in order to deal with inequality constraints as well. The new framework contains QB as a special case, and their detailed correspondence is given. Second, using this framework, we discuss general relations among the drift, the singular controls, and the inequality constraints. The singular controls are those that satisfy MP trivially so as to cause a trouble in determining the optimal protocol. Third, to overcome this issue, we derive an additional necessary condition for a singular protocol to be optimal by applying the generalized Legendre-Clebsch condition. This condition in particular reveals the physical meaning of singular controls. Finally, we demonstrate how our framework and results work in some examples.


title: Quantum Adversarial Machine Learning

abstract: Adversarial machine learning is an emerging field that focuses on studying vulnerabilities of machine learning approaches in adversarial settings and developing techniques accordingly to make learning robust to adversarial manipulations. It plays a vital role in various machine learning applications and has attracted tremendous attention across different communities recently. In this paper, we explore different adversarial scenarios in the context of quantum machine learning. We find that, similar to traditional classifiers based on classical neural networks, quantum learning systems are likewise vulnerable to crafted adversarial examples, independent of whether the input data is classical or quantum. In particular, we find that a quantum classifier that achieves nearly the state-of-the-art accuracy can be conclusively deceived by adversarial examples obtained via adding imperceptible perturbations to the original legitimate samples. This is explicitly demonstrated with quantum adversarial learning in different scenarios, including classifying real-life images (e.g., handwritten digit images in the dataset MNIST), learning phases of matter (such as, ferromagnetic/paramagnetic orders and symmetry protected topological phases), and classifying quantum data. Furthermore, we show that based on the information of the adversarial examples at hand, practical defense strategies can be designed to fight against a number of different attacks. Our results uncover the notable vulnerability of quantum machine learning systems to adversarial perturbations, which not only reveals a novel perspective in bridging machine learning and quantum physics in theory but also provides valuable guidance for practical applications of quantum classifiers based on both near-term and future quantum technologies.

categories: quant-ph cond-mat.dis-nn cond-mat.str-el cs.CV


title: Effective LQC model for k=+1 isotropic cosmologies from spatial discretisations

abstract: The closed, spatially isotropic FLRW universe (k=+1) is endowed with modifications due to a discrete underlying space-structure. Motivated from Loop Quantum Gravity techniques, a full Thiemann regularisation is performed. The impact of these modifications of the single-graph-sector appearing in the scalar constraint are interpreted as physical quantum gravity effects. We investigate the form of the modified scalar constraint and its analytical approximations for k=+1 spacetimes and assume this effective constraint as the generator of dynamics on the reduced isotropic phase space. It transpires that the system still features a classical recollapse with only marginal discreteness corrections. Moreover, the initial and final singularities are resolved and we present an effective model mirroring the qualitative features of system.


title: Expectation values of Coherent States for ${\rm SU}(2)$ Lattice Gauge Theories

abstract: This article investigates properties of semiclassical Gauge Field Theory Coherent States for general quantum gauge theories. Useful, e.g., for the canonical formulation of Lattice Gauge Theories these states are labelled by a point in the classical phase space and constructed such that the expectation values of the canonical operators are sharply peaked on said phase space point. For the case of the non-abelian gauge group SU(2), we will explicitly compute the expectation value of general polynomials including the first order quantum corrections. This allows asking more precise questions about the quantum fluctuations of any given semiclassical system.


title: Conformal and isometric embeddings of gravitational instantons

abstract: We construct isometric and conformally isometric embeddings of some gravitational instantons in $\mathbb{R}^8$ and $\mathbb{R}^7$. In particular we show that the embedding class of the Einstein--Maxwell instanton due to Burns is equal to $3$. For $\mathbb{CP}^2$, Eguchi--Hanson and anti-self-dual Taub-NUT we obtain upper and lower bounds on the embedding class.


title: Contributions of Talent, Perspective, Context and Luck to Success

abstract: We propose a controlled simulation within a competitive sum-zero environment as a proxy for disaggregating components of success. Given a simulation of the Risk board game, we consider (a) Talent to be one of three rule-based strategies used by players; (b) Context as the setting of each run of the game with opponents' strategies, goals and luck; and (c) Perspective as the objective of each player. Success is attained when a first player conquers its goal. We simulate 100,000 runs of an agent-based model and analyze the results. The simulation results strongly suggest that luck, talent and context are all relevant to determine success. Perspective -- as the description of the goal that defines success -- is not. As such, we present a quantitative, reproducible environment in which we are able to significantly separate the concepts, reproducing previous results of the literature and adding arguments for context and perspective. Finally, we also find that the simulation offers insights on the relevance of resilience and opportunity.


title: Non-rigid Registration Method between 3D CT Liver Data and 2D Ultrasonic Images based on Demons Model

abstract: The non-rigid registration between CT data and ultrasonic images of liver can facilitate the diagnosis and treatment, which has been widely studied in recent years. To improve the registration accuracy of the Demons model on the non-rigid registration between 3D CT liver data and 2D ultrasonic images, a novel boundary extraction and enhancement method based on radial directional local intuitionistic fuzzy entropy in the polar coordinates has been put forward, and a new registration workflow has been provided. Experiments show that our method can acquire high-accuracy registration results. Experiments also show that the accuracy of the results of our method is higher than that of the original Demons method and the Demons method using simulated ultrasonic image by Field II. The operation time of our registration workflow is about 30 seconds, and it can be used in the surgery.


title: Gradient polyconvex material models and their numerical treatment

abstract: Gradient polyconvex materials are nonsimple materials where we do not assume smoothness of the elastic strain but instead regularity of minors of the strain is required. This allows for a larger class of admissible deformations than in the case of second-grade materials. We describe a possible implementation of gradient polyconvex elastic energies. Besides, a new geometric interpretation of gradient-polyconvexity is given and it is compared with standard second-grade materials. Finally, we demonstrate application of the proposed approach using two different models, namely, a St.-Venant Kirchhoff material and a double well stored energy density.


title: Quasigraphs and skeletal partitions

abstract: We give a new proof of the Skeletal Lemma, which is the main technical tool in our paper on Hamilton cycles in line graphs [T. Kaiser and P. Vr\'ana, Hamilton cycles in 5-connected line graphs, European J. Combin. 33 (2012), 924-947]. It generalises results on disjoint spanning trees in graphs to the context of 3-hypergraphs. The lemma is proved in a slightly stronger version that is more suitable for applications. The proof is simplified and formulated in a more accessible way.


title: Randall-Sundrum Model with a Dilaton Field at Finite Temperature

abstract: We find exact finite temperature solutions to $d=5$ Einstein-dilaton gravity with black branes and a Randall--Sundrum 3-brane. We show that there exists a unique generating superpotential for these models. The location of the black brane and the associated Hawking temperature depend on the value of the the 3-brane tension while other parameters are held fixed. The thermodynamics of these solutions are presented, from which we show that the entropy satisfies $S<\text{Vol}(\mathbb{R}^3)/4G_5$. We demonstrate that in a certain limit the gauge dual of this theory effectively reduces to $\mathcal{N}=4$ SYM at finite temperature on $S^1\times\mathbb{R}^3$


title: Self-dispersion of Two Natural Polysaccharides for Granular Composites

abstract: We envision that dispersion between two polymeric materials on mesoscales would create new composites with properties that are much more superior to the components alone. Here we elucidate the dispersion between two of most abundant natural polysaccharides, starch and chitosan, which form mesoscale composites that may promise many applications. By using X-ray microscopic imaging, small-angle X-ray scattering, and differential scanning calorimetry, we were able to characterize the interactions of chitosan and starch in the mesoscale composites. The morphology of the composite is far more complex from the simple mixture of starch granules with a nominal size of a few micrometers and chitosan microbundles of tens and hundreds of micrometers. This unique morphology can only be explained by the enhanced miscibility of chitosan in a starch granular matrix. It is evidenced that there is a possible ionic interaction between the amino group in chitosan and the hydroxyl groups in starch granules. Despite the limited solubility of chitosan in water, this ionic interaction allows for the disassembly of chitosan microbundles within the starch suspension. The result is a chemically stronger and more stable granular composite formed by two biocompatible and biodegradable polysaccharide polymers. The mechanism of chitosan to disperse throughout starch granules has implications for the application of chitosan in water and other solvents.


title: Relaxing the TCC Bound on Inflationary Cosmology?

abstract: We demonstrate that the strict upper bounds on the energy scale of inflation and on the tensor-to-scalar ratio can be somewhat relaxed if we assume that - after an initial period of slow rolling when scales probed today in CMB experiments exit the Hubble radius - the equation of state of the background changes to correspond to an almost marginally accelerating universe. Constructing an actual model in which this happens appears, however, to be unnatural.


title: Constraining Fundamental Physics with the Event Horizon Telescope

abstract: We show how Event Horizon Telescope (EHT) observations of the supermassive object at the center of M87 can constrain deviations from General Relativity (GR) in a relatively model-independent way. We focus on the class of theories whose deviations from GR modify black holes into alternative compact objects whose properties approach those of an ordinary black hole sufficiently far from the would-be event horizon. We examine this class for two reasons: ($i$) they tend to reproduce black-hole expectations for astrophysical accretion disks (and so do not undermine the evidence linking black holes to active galactic nuclei); ($ii$) they lend themselves to a robust effective-field-theory treatment that expands in powers of $\ell/r$, where $\ell$ is the fundamental length scale that sets the distance over which deviations from GR are significant and $r$ is a measure of distance from the would-be horizon. At leading order the observational impact of these types of theories arise as modifications to the transmission and reflection coefficients of modes as they approach the horizon. We show how EHT observations can constrain this reflection coefficient, assuming only that the deviations from GR are small enough to be treated perturbatively. Our preliminary analysis indicates that such reflection coefficients can already be constrained to be less than of order 10\% (corresponding to $\ell \lesssim 100 \mu m$), and so can rule out some benchmark cases used when seeking black-hole echoes. The precise bounds depend on the black hole spin, as well as on detailed properties of the reflection coefficient (such as its dependence on angular direction).


title: The hamiltonicity of essentially 9-connected line graphs

abstract: Yang et al. proved that every 3-connected, essentially 11-connected line graph is Hamilton-connected. This was extended by Li and Yang to 3-connected, essentially 10-connected graphs. Strengthening their result further, we prove that 3-connected, essentially 9-connected line graphs are Hamilton-connected. We use a method based on quasigraphs in combination with the discharging technique. The result extends to claw-free graphs.


title: Strengthening the TCC Bound on Inflationary Cosmology

abstract: We show that the constraints which follow from the {\it Trans-Planckian Censorship Conjecture} for inflationary cosmology can be strengthened if the pre-inflationary universe was dominated by radiation. The resulting upper bound on the energy scale of inflation is $\eta \sim 10^4 {\rm GeV}$, close to the scale accessible to accelerator experiments.


title: Non-Hermitian impurities in Dirac systems

abstract: Quasiparticle states in Dirac systems with complex impurity potentials are investigated. It is shown that an impurity site with loss leads to a nontrivial distribution of the local density of states (LDOS). While the real part of defect potential induces a well-pronounced peak in the density of states (DOS), the DOS is either weakly enhanced at small frequencies or even forms a peak at the zero frequency for a lattice in the case of non-Hermitian impurity. As for the spatial distribution of the LDOS, it is enhanced in the vicinity of impurity but shows a dip at a defect itself when the potential is sufficiently strong. The results for a two-dimensional hexagonal lattice demonstrate the characteristic trigonal-shaped profile for the LDOS. The latter acquires a double-trigonal pattern in the case of two defects placed at neighboring sites. The effects of non-Hermitian impurities could be tested both in photonic lattices and certain condensed matter setups.

categories: cond-mat.dis-nn cond-mat.mes-hall physics.optics quant-ph


title: The universal $p$-adic Gross-Zagier formula

abstract: Let ${\mathrm G}$ be the group $({\rm GL}_{2}\times {\rm GU}(1))/{\rm GL}_{1}$ over a totally real field $F$, and let $\mathscr{X}$ be a Hida family for ${\rm G}$. Revisiting a construction of Howard and Fouquet, we construct an explicit section $\mathscr{P}$ of a sheaf of Selmer groups over $\mathscr{X}$. We show, answering a question of Howard, that $\mathscr{P}$ is a universal Heegner class, in the sense that it interpolates geometrically defined Heegner classes at all the relevant classical points of $\mathscr{X}$. We also propose a `Bertolini-Darmon' conjecture for the leading term of $\mathscr{P}$ at classical points. We then prove that the $p$-adic height of $\mathscr{P}$ is given by the cyclotomic derivative of a $p$-adic $L$-function. This formula over $\mathscr{X}$ (which is an identity of functionals on some universal ordinary automorphic representations) specialises at classical points to all the Gross-Zagier formulas for ${\rm G}$ that may be expected from representation-theoretic considerations. Combined with a result of Fouquet, the formula implies the $p$-adic analogue of the Beilinson-Bloch-Kato conjecture in analytic rank one, for the selfdual motives attached to Hilbert modular forms and their twists by CM Hecke characters. It also implies one half of the first example of a non-abelian Iwasawa main conjecture for derivatives, in $2[F:{\bf Q}]$ variables. Other applications include two different generic non-vanishing results for Heegner classes and $p$-adic heights.


title: Tensor-Tensor Products for Optimal Representation and Compression

abstract: In this era of big data, data analytics and machine learning, it is imperative to find ways to compress large data sets such that intrinsic features necessary for subsequent analysis are not lost. The traditional workhorse for data dimensionality reduction and feature extraction has been the matrix SVD, which presupposes that the data has been arranged in matrix format. Our main goal in this study is to show that high-dimensional data sets are more compressible when treated as tensors (aka multiway arrays) and compressed via tensor-SVDs under the tensor-tensor product structures in (Kilmer and Martin, 2011; Kernfeld et al., 2015). We begin by proving Eckart Young optimality results for families of tensor-SVDs under two different truncation strategies. As such optimality properties can be proven in both matrix and tensor-based algebras, a fundamental question arises: does the tensor construct subsume the matrix construct in terms of representation efficiency? The answer is yes, as shown when we prove that a tensor-tensor representation of an equal dimensional spanning space can be superior to its matrix counterpart. We then investigate how the compressed representation provided by the truncated tensor-SVD is related both theoretically and in compression performance to its closest tensor-based analogue, truncated HOSVD (De Lathauwer et al., 2000; De Lathauwer and Vandewalle, 2004), thereby showing the potential advantages of our tensor-based algorithms. Finally, we propose new tensor truncated SVD variants, namely multi-way tensor SVDs, provide further approximated representation efficiency and discuss under which conditions they are considered optimal. We conclude with a numerical study demonstrating the utility of the theory.


title: Coalition-Safe Equilibria with Virtual Payoffs

abstract: Consider a set of parties invited to execute a protocol $\Pi$. The protocol will incur some cost to run while in the end (or at regular intervals), it will populate and update local tables that assign (virtual) rewards to participants. Each participant aspires to offset the costs of participation by these virtual payoffs that are provided in the course of the protocol. In this setting, we introduce and study a notion of coalition-safe equilibrium. In particular, we consider a strategic coalition of participants that is centrally coordinated and potentially deviates from $\Pi$ with the objective to increase its utility with respect to the view of {\em at least one} of the other participants. The protocol $\Pi$ is called a coalition-safe equilibrium with virtual payoffs (EVP) if no such protocol deviation exists. We apply our notion to study incentives in blockchain protocols. We proceed to use our framework to provide a unified picture of incentives in the Bitcoin blockchain, for absolute and relative rewards based utility functions, as well as prove novel results regarding incentives of the Fruitchain blockchain protocol [PODC 2017] showing that the equilibrium condition holds for collusions up to $n-1$ players for absolute rewards based utility functions and less than $n/2$ for relative rewards based utility functions, with the latter result holding for any "weakly fair" blockchain protocol, a new property that we introduce and may be of independent interest.


title: MIR-Vehicle: Cost-Effective Research Platform for Autonomous Vehicle Applications

abstract: This paper illustrates the MIR (Mobile Intelligent Robotics) Vehicle: a feasible option of transforming an electric ride-on-car into a modular Graphics Processing Unit (GPU) powered autonomous platform equipped with the capability that supports test and deployment of various intelligent autonomous vehicles algorithms. To use a platform for research, two components must be provided: perception and control. The sensors such as incremental encoders, an Inertial Measurement Unit (IMU), a camera, and a LIght Detection And Ranging (LIDAR) must be able to be installed on the platform to add the capability of environmental perception. A microcontroller-powered control box is designed to properly respond to the environmental changes by regulating drive and steering motors. This drive-by-wire capability is controlled by a GPU powered laptop computer where high-level perception algorithms are processed and complex actions are generated by various methods including behavior cloning using deep neural networks. The main goal of this paper is to provide an adequate and comprehensive approach for fabricating a cost-effective platform that would contribute to the research quality from the wider community. The proposed platform is to use a modular and hierarchical software architecture where the lower and simpler motor controls are taken care of by microcontroller programs, and the higher and complex algorithms are processed by a GPU powered laptop computer. The platform uses the Robot Operating System (ROS) as middleware to maintain the modularity of the perceptions and decision-making modules. It is expected that the level three and above autonomous vehicle systems and Advanced Driver Assistance Systems (ADAS) can be tested on and deployed to the platform with a decent real-time system behavior due to the capabilities and affordability of the proposed platform.


title: High-resolution Spectra and Biosignatures of Earth-like Planets Transiting White Dwarfs

abstract: With the first observations of debris disks as well as proposed planets around white dwarfs, the question of how rocky planets around such stellar remnants can be characterized and probed for signs of life becomes tangible. White dwarfs are similar in size to Earth and have relatively stable environments for billions of years after initial cooling, making them intriguing targets for exoplanet searches and terrestrial planet atmospheric characterization. Their small size and the resulting large planet transit signal allows observations with next generation telescopes to probe the atmosphere of such rocky planets, if they exist. We model high-resolution transmission spectra for planets orbiting white dwarfs from as they cool from 6,000-4,000 K, for i) planets receiving equivalent irradiation to modern Earth, and ii) planets orbiting at the distance around a cooling white dwarf which allows for the longest continuous time in the habitable zone. All high-resolution transmission spectra will be publicly available online upon publication of this study and can be used as a tool to prepare and interpret upcoming observations with JWST, the Extremely Large Telescopes as well as mission concepts like Origins, HabEx, and LUVOIR.


title: High resolution Spectra of Earth-Like Planets Orbiting Red Giant Host Stars

abstract: In the near future we will have ground- and space-based telescopes that are designed to observe and characterize Earth-like planets. While attention is focused on exoplanets orbiting main sequence stars, more than 150 exoplanets have already been detected orbiting red giants, opening the intriguing question of what rocky worlds orbiting in the habitable zone of red giants would be like and how to characterize them. We model reflection and emission spectra of Earth-like planets orbiting in the habitable zone of red giant hosts with surface temperatures between 5200 and 3900 K at the Earth-equivalent distance, as well as model planet spectra throughout the evolution of their hosts. We present a high-resolution spectral database of Earth-like planets orbiting in the red giant habitable zone from the visible to infrared, to assess the feasibility of characterizing atmospheric features including biosignatures for such planets with upcoming ground- and space-based telescopes such as the Extremely Large Telescopes and the James Webb Space Telescope.


title: Simultaneous Identification of Tweet Purpose and Position

abstract: Tweet classification has attracted considerable attention recently. Most of the existing work on tweet classification focuses on topic classification, which classifies tweets into several predefined categories, and sentiment classification, which classifies tweets into positive, negative and neutral. Since tweets are different from conventional text in that they generally are of limited length and contain informal, irregular or new words, so it is difficult to determine user intention to publish a tweet and user attitude towards certain topic. In this paper, we aim to simultaneously classify tweet purpose, i.e., the intention for user to publish a tweet, and position, i.e., supporting, opposing or being neutral to a given topic. By transforming this problem to a multi-label classification problem, a multi-label classification method with post-processing is proposed. Experiments on real-world data sets demonstrate the effectiveness of this method and the results outperform the individual classification methods.


title: Central amalgamation of groups and the RFD property

abstract: It is an old and challenging topic to investigate for which discrete groups G the full group C*-algebra C*(G) is residually finite-dimensional (RFD). In particular not much is known about how the RFD property behaves under fundamental constructions, such as amalgamated free products and HNN-extensions. In [CS19] it was proved that central amalgamated free products of virtually abelian groups are RFD. In this paper we prove that this holds much beyond this case. Our method is based on showing a certain approximation property for characters induced from central subgroups. In particular it allows us to prove that free products of polycyclic-by-finite groups amalgamated over finitely generated central subgroups are RFD. On the other hand we prove that the class of RFD C*-algebras (and groups) is not closed under central amalgamated free products. Namely we give an example of RFD groups (in fact finitely generated amenable RF groups) whose central amalgamated free product is not RFD, moreover it is not even maximally almost periodic. This answers a question of Khan and Morris [KM82].


title: On the Resilience of Deep Learning for Reduced-voltage FPGAs

abstract: Deep Neural Networks (DNNs) are inherently computation-intensive and also power-hungry. Hardware accelerators such as Field Programmable Gate Arrays (FPGAs) are a promising solution that can satisfy these requirements for both embedded and High-Performance Computing (HPC) systems. In FPGAs, as well as CPUs and GPUs, aggressive voltage scaling below the nominal level is an effective technique for power dissipation minimization. Unfortunately, bit-flip faults start to appear as the voltage is scaled down closer to the transistor threshold due to timing issues, thus creating a resilience issue. This paper experimentally evaluates the resilience of the training phase of DNNs in the presence of voltage underscaling related faults of FPGAs, especially in on-chip memories. Toward this goal, we have experimentally evaluated the resilience of LeNet-5 and also a specially designed network for CIFAR-10 dataset with different activation functions of Rectified Linear Unit (Relu) and Hyperbolic Tangent (Tanh). We have found that modern FPGAs are robust enough in extremely low-voltage levels and that low-voltage related faults can be automatically masked within the training iterations, so there is no need for costly software- or hardware-oriented fault mitigation techniques like ECC. Approximately 10% more training iterations are needed to fill the gap in the accuracy. This observation is the result of the relatively low rate of undervolting faults, i.e., <0.1\%, measured on real FPGA fabrics. We have also increased the fault rate significantly for the LeNet-5 network by randomly generated fault injection campaigns and observed that the training accuracy starts to degrade. When the fault rate increases, the network with Tanh activation function outperforms the one with Relu in terms of accuracy, e.g., when the fault rate is 30% the accuracy difference is 4.92%.


title: Low-frequency one-electrode discharge in long tubes at low gas pressure

abstract: The specific form of one electrode capacitive discharge was studied in long tubes filled with high purity neon or argon at pressure 1-4 Torr. The main feature of the discharge is the low rate (less than 10 kHz) of the voltage pulses of given polarity which are applied to only one electrode of the tube, while another one remains free or missing. This type of the discharge was named one-electrode discharge (OED), and seems not to be described in previous studies. The discharge is observed as a glowing plasma column which occupies either entire tube or its part dependent on actual voltage amplitude and on its rate. Current-volt characteristics, ignition thresholds and the OED length changing patterns demonstrate features unknown for RF discharges. It was found that the plasma generation mechanism in OED consists in formation and traveling of the set of ionization waves (IW). It was shown that the wave motion is characterized by a pronounced attenuation the patterns of which were investigated by the time-position diagrams method. The attenuation specifies the length of the occupied plasma area as well as other OED parameters. Kinematic model of the wave propagation is proposed. This model allows to estimate the electric field in different OED points as well as average electron concentration via the current measurements; the typical values of the above parameters are $5 V/cm$ and $10^9-10^{10}$ $cm^{-3}$. It was shown that nonhomogeneous electric field behind the IW front creates the conditions for appearance of plasma channel striations observed in the experiment. The stationary striations found in neon are more distinctive for negative polarity OED. It was shown that ionization-drift mechanism with account of metastable states existence in plasma seems to be much adequate for the OED striation description.


title: Deflating Super-Puffs: Impact of Photochemical Hazes on the Observed Mass-Radius Relationship of Low Mass Planets

abstract: The observed mass-radius relationship of low-mass planets informs our understanding of their composition and evolution. Recent discoveries of low mass, large radii objects ("super-puffs") have challenged theories of planet formation and atmospheric loss, as their high inferred gas masses make them vulnerable to runaway accretion and hydrodynamic escape. Here we propose that high altitude photochemical hazes could enhance the observed radii of low-mass planets and explain the nature of super-puffs. We construct model atmospheres in radiative-convective equilibrium and compute rates of atmospheric escape and haze distributions, taking into account haze coagulation, sedimentation, diffusion, and advection by an outflow wind. We develop mass-radius diagrams that include atmospheric lifetimes and haze opacity, which is enhanced by the outflow, such that young (~0.1-1 Gyr), warm (T$_{eq}$ $\geq$ 500 K), low mass objects ($M_c$ < 4M$_{\rm Earth}$) should experience the most apparent radius enhancement due to hazes, reaching factors of three. This reconciles the densities and ages of the most extreme super-puffs. For Kepler-51b, the inclusion of hazes reduces its inferred gas mass fraction to <10%, similar to that of planets on the large radius side of the sub-Neptune radius gap. This suggests that Kepler-51b may be evolving towards that population, and that some warm sub-Neptunes may have evolved from super-puffs. Hazes also render transmission spectra of super-puffs and sub-Neptunes featureless, consistent with recent measurements. Our hypothesis can be tested by future observations of super-puffs' transmission spectra at mid-infrared wavelengths, where we predict that the planet radius will be half of that observed in the near-infrared.


title: Deep Attentive Ranking Networks for Learning to Order Sentences

abstract: We present an attention-based ranking framework for learning to order sentences given a paragraph. Our framework is built on a bidirectional sentence encoder and a self-attention based transformer network to obtain an input order invariant representation of paragraphs. Moreover, it allows seamless training using a variety of ranking based loss functions, such as pointwise, pairwise, and listwise ranking. We apply our framework on two tasks: Sentence Ordering and Order Discrimination. Our framework outperforms various state-of-the-art methods on these tasks on a variety of evaluation metrics. We also show that it achieves better results when using pairwise and listwise ranking losses, rather than the pointwise ranking loss, which suggests that incorporating relative positions of two or more sentences in the loss function contributes to better learning.


title: HMM-guided frame querying for bandwidth-constrained video search

abstract: We design an agent to search for frames of interest in video stored on a remote server, under bandwidth constraints. Using a convolutional neural network to score individual frames and a hidden Markov model to propagate predictions across frames, our agent accurately identifies temporal regions of interest based on sparse, strategically sampled frames. On a subset of the ImageNet-VID dataset, we demonstrate that using a hidden Markov model to interpolate between frame scores allows requests of 98% of frames to be omitted, without compromising frame-of-interest classification accuracy.


title: Towards Improving the Performance of the RNN-based Inversion Model in Output Tracking Control

abstract: With the advantages of high modeling accuracy and large bandwidth, recurrent neural network (RNN) based inversion model control has been proposed for output tracking. However, some issues still need to be addressed when using the RNN-based inversion model. First, with limited number of parameters in RNN, it cannot model the low-frequency dynamics accurately, thus an extra linear model has been used, which can become an interference for tracking control at high frequencies. Moreover, the control speed and the RNN modeling accuracy cannot be improved simultaneously as the control sampling speed is restricted by the length of the RNN training set. Therefore, this article focuses on addressing these limitations of RNN-based inversion model control. Specifically, a novel modeling method is proposed to incorporate the linear model in a way that it does not affect the existing high-frequency control performance achieved by RNN. Additionally, an interpolation method is proposed to double the sampling frequency (compared to the RNN training sampling frequency). Analysis on the stability issues which may arise when the proposed new model is used for predictive control is presented along with the instructions on determining the parameters for ensuring the closed-loop stability. Finally, the proposed approach is demonstrated on a commercial piezo actuator, and the experiment results show that the tracking performances can be significantly improved.


title: Learning and Evaluating Contextual Embedding of Source Code

abstract: Recent research has achieved impressive results on understanding and improving source code by building up on machine-learning techniques developed for natural languages. A significant advancement in natural-language understanding has come with the development of pre-trained contextual embeddings, such as BERT, which can be fine-tuned for downstream tasks with less labeled data and training budget, while achieving better accuracies. However, there is no attempt yet to obtain a high-quality contextual embedding of source code, and to evaluate it on multiple program-understanding tasks simultaneously; that is the gap that this paper aims to mitigate. Specifically, first, we curate a massive, deduplicated corpus of 7.4M Python files from GitHub, which we use to pre-train CuBERT, an open-sourced code-understanding BERT model; and, second, we create an open-sourced benchmark that comprises five classification tasks and one program-repair task, akin to code-understanding tasks proposed in the literature before. We fine-tune CuBERT on our benchmark tasks, and compare the resulting models to different variants of Word2Vec token embeddings, BiLSTM and Transformer models, as well as published state-of-the-art models, showing that CuBERT outperforms them all, even with shorter training, and with fewer labeled examples. Future work on source-code embedding can benefit from reusing our benchmark, and from comparing against CuBERT models as a strong baseline.


title: Deep Learning Training with Simulated Approximate Multipliers

abstract: This paper presents by simulation how approximate multipliers can be utilized to enhance the training performance of convolutional neural networks (CNNs). Approximate multipliers have significantly better performance in terms of speed, power, and area compared to exact multipliers. However, approximate multipliers have an inaccuracy which is defined in terms of the Mean Relative Error (MRE). To assess the applicability of approximate multipliers in enhancing CNN training performance, a simulation for the impact of approximate multipliers error on CNN training is presented. The paper demonstrates that using approximate multipliers for CNN training can significantly enhance the performance in terms of speed, power, and area at the cost of a small negative impact on the achieved accuracy. Additionally, the paper proposes a hybrid training method which mitigates this negative impact on the accuracy. Using the proposed hybrid method, the training can start using approximate multipliers then switches to exact multipliers for the last few epochs. Using this method, the performance benefits of approximate multipliers in terms of speed, power, and area can be attained for a large portion of the training stage. On the other hand, the negative impact on the accuracy is diminished by using the exact multipliers for the last epochs of training.


title: Inverse square singularities and eigenparameter dependent boundary conditions are two sides of the same coin

abstract: We show that inverse square singularities can be treated as boundary conditions containing rational Herglotz--Nevanlinna functions of the eigenvalue parameter with "a negative number of poles". More precisely, we treat in a unified manner one-dimensional Schr\"{o}dinger operators with either an inverse square singularity or a boundary condition containing a rational Herglotz--Nevanlinna function of the eigenvalue parameter at each endpoint, and define Darboux-type transformations between such operators. These transformations allow one, in particular, to transfer almost any spectral result from boundary value problems with eigenparameter dependent boundary conditions to those with inverse square singularities, and vice versa.


title: Visual Evaluation of Generative Adversarial Networks for Time Series Data

abstract: A crucial factor to trust Machine Learning (ML) algorithm decisions is a good representation of its application field by the training dataset. This is particularly true when parts of the training data have been artificially generated to overcome common training problems such as lack of data or imbalanced dataset. Over the last few years, Generative Adversarial Networks (GANs) have shown remarkable results in generating realistic data. However, this ML approach lacks an objective function to evaluate the quality of the generated data. Numerous GAN applications focus on generating image data mostly because they can be easily evaluated by a human eye. Less efforts have been made to generate time series data. Assessing their quality is more complicated, particularly for technical data. In this paper, we propose a human-centered approach supporting a ML or domain expert to accomplish this task using Visual Analytics (VA) techniques. The presented approach consists of two views, namely a GAN Iteration View showing similarity metrics between real and generated data over the iterations of the generation process and a Detailed Comparative View equipped with different time series visualizations such as TimeHistograms, to compare the generated data at different iteration steps. Starting from the GAN Iteration View, the user can choose suitable iteration steps for detailed inspection. We evaluate our approach with a usage scenario that enabled an efficient comparison of two different GAN models.


title: Shnirelman's Theorem Applications

abstract: Shnirelman's theorem is applied to solving Diophantine equations, and also discussing of the problems of a representation of Gaussian integers by a sum of odd Gaussian primes.


title: Brouwer's fan theorem

abstract: Brouwer's fan theorem states that every bar is a uniform bar. We give an overview of the status of this axiom in Bishop's constructive mathematics. In particular, we describe the relationship between the fan theorem, the weak K\"onig lemma, and the uniform continuity theorem.


title: Monte Carlo Techniques for Approximating the Myerson Value -- Theoretical and Empirical Analysis

abstract: Myerson first introduced graph-restricted games in order to model the interaction of cooperative players with an underlying communication network. A dedicated solution concept -- the Myerson value -- is perhaps the most important normative solution concept for cooperative games on graphs. Unfortunately, its computation is computationally challenging. In particular, although exact algorithms have been proposed, they must traverse all connected coalitions of the graph of which there may be exponentially many. In this paper, we consider the issue of approximating the Myerson value for arbitrary graphs and characteristic functions. While Monte Carlo approximations have been proposed for the related concept of the Shapley value, their suitability for the Myerson value has not been studied. Given this, we evaluate and compare (both theoretically and empiraclly) three Monte Carlo sampling methods for the Myerson value: conventional method of sampling permutations; a new, hybrid algorithm that combines exact computations and sampling; and sampling of connected coalitions. We find that our hybrid algorithm performs very well and also significantly improves on the conventional methods.


title: Nested Column Generation decomposition for solving the Routing and Spectrum Allocation problem in Elastic Optical Networks

abstract: With the continued growth of Internet traffic, and the scarcity of the optical spectrum, there is a continuous need to optimize the usage of this resource. In the process of provisioning elastic optical networks using the flexible frequency grid paradigm, telecommunication operators must deal with a combinatorial optimization problem that is NP-complete namely the Routing and Spectrum Allocation(RSA) problem. Following on our previous study, where we used Integer Linear Programming, and proposed a Column Generation algorithm based on a Lightpath decomposition, which proved to be the most efficient so far, we now consider the traditional Configuration decomposition that has been studied in other works in the past. In the process, we created an new mathematical model using two variable sets instead of a single variable set. Equally important,we independently rediscovered the Nested Column Generation technique, and we used it to propose an algorithm that led to a considerable improvement on the previous algorithms that use the same Configuration decomposition. When compared to the latest such existing study, our algorithm achieved an accuracy gap of 1% as opposed to 14.3% for the previous study, and a running time two orders of magnitude faster on average.


title: Broadband and Wide-Angle Invisibility with PT-Symmetric 2D-Weyl Semimetal

abstract: Inspired by the magnificent features of two-dimensional (2D) materials which aroused much of the interest in recent materials science research, we study PT-symmetric 2D Weyl semimetal (WSM) to reveal the broadband and wide-angle invisible configurations in a PT-symmetric optical slab system. Desired unidirectional reflectionlessness and invisibility phenomena is obtained by the optimal control of system parameters. We unravel the mystery of broadband and wide-angle invisibility in regular slab materials with finite refractive indices by means of the plenary expressions. We show that materials whose refractive indices relatively small (usually around $\eta =1$) give rise to quite a lot broadband and wide-angle (almost all incidence angles) invisible configurations. This is not observed with any 2D material other than 2D WSMs. Our findings suggest a concrete expedience to experimental realizations in this direction.

categories: physics.optics cond-mat.mes-hall physics.app-ph quant-ph


title: Asymptotic convergence rate of the longest run in an inflating Bernoulli net

abstract: In image detection, one problem is to test whether the set, though mostly consisting of uniformly scattered points, also contains a small fraction of points sampled from some (a priori unknown) curve, for example, a curve with $C^{\alpha}$-norm bounded by $\beta$. One approach is to analyze the data by counting membership in multiscale multianisotropic strips, which involves an algorithm that delves into the length of the path connecting many consecutive "significant" nodes. In this paper, we develop the mathematical formalism of this algorithm and analyze the statistical property of the length of the longest significant run. The rate of convergence is derived. Using percolation theory and random graph theory, we present a novel probabilistic model named pseudo-tree model. Based on the asymptotic results for pseudo-tree model, we further study the length of the longest significant run in an "inflating" Bernoulli net. We find that the probability parameter $p$ of significant node plays an important role: there is a threshold $p_c$, such that in the cases of $p<p_c$ and $p>p_c$, very different asymptotic behaviors of the length of the significant are observed. We apply our results to the detection of an underlying curvilinear feature and argue that we achieve the lowest possible detectable strength in theory.