title: A mirage of the cosmic shoreline: Venus-like clouds as a statistical false positive for exoplanet atmospheric erosion

abstract: Near-term studies of Venus-like atmospheres with JWST promise to advance our knowledge of terrestrial planet evolution. However, the remote study of Venus in the Solar System and the ongoing efforts to characterize gaseous exoplanets both suggest that high altitude aerosols could limit observational studies of lower atmospheres, and potentially make it challenging to recognize exoplanets as "Venus-like". To support practical approaches for exo-Venus characterization with JWST, we use Venus-like atmospheric models with self-consistent cloud formation of the seven TRAPPIST-1 exoplanets to investigate the atmospheric depth that can be probed using both transmission and emission spectroscopy. We find that JWST/MIRI LRS secondary eclipse emission spectroscopy in the 6 $\mu$m opacity window could probe at least an order of magnitude deeper pressures than transmission spectroscopy, potentially allowing access to the sub-cloud atmosphere for the two hot innermost TRAPPIST-1 planets. In addition, we identify two confounding effects of sulfuric acid aerosols that may carry strong implications for the characterization of terrestrial exoplanets with transmission spectroscopy: (1) there exists an ambiguity between cloud-top and solid surface in producing the observed spectral continuum; and (2) the cloud-forming region drops in altitude with semi-major axis, causing an increase in the observable cloud-top pressure with decreasing stellar insolation. Taken together, these effects could produce a trend of thicker atmospheres observed at lower stellar insolation---a convincing false positive for atmospheric escape and an empirical "cosmic shoreline". However, developing observational and theoretical techniques to identify Venus-like exoplanets and discriminate them from stellar windswept worlds will enable advances in the emerging field of terrestrial comparative planetology.


title: Synthesis of Reduced Asymmetric Choice Petri Nets

abstract: A Petri net is choice-free if any place has at most one transition in its postset (consuming its tokens) and it is (extended) free-choice (EFC) if the postsets of any two places are either equal or disjoint. Asymmetric choice (AC) extends EFC such that two places may also have postsets where one is contained in the other. In reduced AC nets this containment is limited: If the postsets are neither disjoint nor equal, one is a singleton and the other has exactly two transitions. The aim of Petri net synthesis is to find an unlabelled Petri net in some target class with a reachability graph isomorphic to a given finite labelled transition system (lts). Choice-free nets have strong properties, allowing to often easily detect when synthesis will fail or at least to quicken the synthesis. With EFC as the target class, only few properties can be checked ahead and there seem to be no short cuts lowering the complexity of the synthesis (compared to arbitrary Petri nets). For AC nets no synthesis procedure is known at all. We show here how synthesis to a superclass of reduced AC nets (not containing the full AC net class) can be done.


title: Piezoelectricity in monolayer hexagonal boron nitride

abstract: Two-dimensional (2D) hexagonal boron nitride (hBN) is a wide-bandgap van der Waals crystal with a unique combination of properties, including exceptional strength, large oxidation resistance at high temperatures and optical functionalities. Furthermore, in recent years hBN crystals have become the material of choice for encapsulating other 2D crystals in a variety of technological applications, from optoelectronic and tunnelling devices to composites. Monolayer hBN, which has no center of symmetry, has been predicted to exhibit piezoelectric properties, yet experimental evidence is lacking. Here, by using electrostatic force microscopy, we observed this effect as a strain-induced change in the local electric field around bubbles and creases, in agreement with theoretical calculations. No piezoelectricity was found in bilayer and bulk hBN, where the centre of symmetry is restored. These results add piezoelectricity to the known properties of monolayer hBN, which makes it a desirable candidate for novel electromechanical and stretchable optoelectronic devices, and pave a way to control the local electric field and carrier concentration in van der Waals heterostructures via strain. The experimental approach used here also shows a way to investigate the piezoelectric properties of other materials on the nanoscale by using electrostatic scanning probe techniques.


title: An Adaptive Load Balancer For Graph Analytical Applications on GPUs

abstract: Load-balancing among the threads of a GPU for graph analytics workloads is difficult because of the irregular nature of graph applications and the high variability in vertex degrees, particularly in power-law graphs. We describe a novel load balancing scheme to address this problem. Our scheme is implemented in the IrGL compiler to allow users to generate efficient load balanced code for a GPU from high-level sequential programs. We evaluated several graph analytics applications on up to 16 distributed GPUs using IrGL to compile the code and the Gluon substrate for inter-GPU communication. Our experiments show that this scheme can achieve an average speed-up of 2.2x on inputs that suffer from severe load imbalance problems when previous state-of-the-art load-balancing schemes are used.


title: Periodic behavior in families of numerical and affine semigroups via parametric Presburger arithmetic

abstract: Let $f_1(n), \ldots, f_k(n)$ be polynomial functions of $n$. For fixed $n\in\mathbb{N}$, let $S_n\subseteq \mathbb{N}$ be the numerical semigroup generated by $f_1(n),\ldots,f_k(n)$. As $n$ varies, we show that many invariants of $S_n$ are eventually quasi-polynomial in $n$, such as the Frobenius number, the type, the genus, and the size of the $\Delta$-set. The tool we use is expressibility in the logical system of parametric Presburger arithmetic. Generalizing to higher dimensional families of semigroups, we also examine affine semigroups $S_n\subseteq \mathbb{N}^m$ generated be vectors whose coordinates are polynomial functions of $n$, and we prove similar results; for example, the Betti numbers are eventually quasi-polynomial functions of $n$.


title: Motion control for autonomous heterogeneous multi-agent area search in uncertain conditions

abstract: Using multiple mobile robots in search missions offers a lot of benefits, but one needs a suitable and competent motion control algorithm which is able to consider sensors characteristics, the uncertainty of target detection and complexity of needed maneuvers in order to make a multi-agent search autonomous. This paper provides a methodology for an autonomous two-dimensional search using multiple unmanned search agents. The proposed methodology relies on an accurate calculation of target occurrence probability distribution based on the initial estimated target distribution and continuous action of spatial variant search agent sensors. The core of the autonomous search process is a high-level motion control for multiple search agents which utilizes the probabilistic model of target occurrence via Heat Equation Driven Area Coverage (HEDAC) method. This centralized motion control algorithm is tailored for handling a group of search agents which are heterogeneous in both motion and sensing characteristics. The motion of agents is directed by the gradient of the potential field which provides near-ergodic exploration of the search space. The proposed method is tested on three realistic search mission simulations and compared with three alternative methods, where HEDAC outperforms all alternatives in all tests. Conventional search strategies need about double the time to achieve proportionate detection rate when compared to HEDAC controlled search. The scalability test showed that increasing the number of HEDAC controlled search agents, although somewhat deteriorating the search efficiency, provides needed speed-up of the search. This study shows the flexibility and competence of the proposed method and gives a strong foundation for possible real-world applications.


title: Large Scale Distribution of Galaxies in The Field HS 47.5-22. I. Data Analysis Technique

abstract: We present the results of methodological works on automated analysis of the large scale distribution of galaxies. Selecting candidates for clusters and groups of galaxies was carried out using two complementary methods of determining the density contrast maps in the narrow layers of the three-dimensional large scale distribution of galaxies: the filtering algorithm with an adaptive core and the Voronoi tesselation. The developed algorithms were tested on 10 data sets of the MICE model catalog; additionally, we determined the statistical parameters of the obtained results (completeness, sample purity, etc.). The constructed density contrast maps were also used to determine voids.


title: Certain hybrid polynomials associated with Sheffer sequences

abstract: Inspired by the framework of operational methods and based on the generating functions of Legendre-Gould Hopper polynomials and Sheffer sequences, we discuss certain new mixed type polynomials and their important properties. We show that the use of operational nature allows the relevant polynomials to be unified and general in nature. It is illustrated how the polynomials, we develop, provide an easy derivation of a wide class of new and known polynomials, and their respective properties.


title: The e\~ne product over a commutative ring

abstract: We define the e\~ne product for the multiplicative group of polynomials and formal power series with coefficients on a commutative ring and unitary constant coefficient. This defines a commutative ring structure where multiplication is the additive structure and the e\~ne product is the multiplicative one. For polynomials with complex coefficients, the e\~ne product acts as a multiplicative convolution of their divisor. We study its algebraic properties, its relation to symmetric functions on an infinite number of variables, to tensor products, and Hecke operators. The exponential linearizes also the e\~ne product. The e\~ne product extends to rational functions and formal meromorphic functions. We also study the analytic properties over the complex numbers, and for entire functions. The e\~ne product respects Hadamard-Weierstrass factorization and is related to the Hadamard product. The e\~ne product plays a central role in predicting the phenomenon of the "statistics on Riemann zeros" for Riemann zeta function and general Dirichlet $L$-functions discovered by the author. It also gives reasons to believe in the Riemann Hypothesis as explained in the survey "Notes on the Riemann Hypothesis".


title: Partial corepresentations of Hopf Algebras

abstract: We introduce the notion of a partial corepresentation of a given Hopf algebra $H$ over a coalgebra $C$ and the closely related concept of a partial $H$-comodule. We prove that there exists a universal coalgebra $H^{par}$, associated to the original Hopf algebra $H$, such that the category of regular partial $H$-comodules is isomorphic to the category of $H^{par}$-comodules. We introduce the notion of a Hopf coalgebroid and show that the universal coalgebra $H^{par}$ has the structure of a Hopf coalgebroid over a suitable coalgebra.


title: Unmixing symmetries

abstract: The low-lying spectra of atomic nuclei display diverse behaviors, for example rotational bands, which can be described phenomenologically by simple symmetry groups such as spatial SU(3). This leads to the idea of dynamical symmetry, where the Hamiltonian commutes with the Casimir operator(s) of a group, and is block-diagonal in subspaces defined by the group's irreducible representations or irreps. Detailed microscopic calculations, however, show these symmetries are in fact often strongly mixed and the wave function fragmented across many irreps. More commonly the fragmentation across members of a band are similar, or a quasi-dynamical symmetry. In this Letter I explicitly, albeit numerically, construct unitary transformations from a quasi-dynamical symmetry to a dynamical symmetry, adapting the similarity renormalization group, or SRG. The standard SRG produces unsatisfactory results, forcing the induced dynamical symmetry to be dominated by high-weight irreps irrespective of the original decomposition. Using spectral distribution theory to rederive and diagnose standard SRG, I introduce a new form of SRG. The new SRG transforms a quasi-dynamical symmetry to a dynamical symmetry, that is, unmixes the mixed symmetries, with intuitively more appealing results.


title: ID-aware Quality for Set-based Person Re-identification

abstract: Set-based person re-identification (SReID) is a matching problem that aims to verify whether two sets are of the same identity (ID). Existing SReID models typically generate a feature representation per image and aggregate them to represent the set as a single embedding. However, they can easily be perturbed by noises--perceptually/semantically low quality images--which are inevitable due to imperfect tracking/detection systems, or overfit to trivial images. In this work, we present a novel and simple solution to this problem based on ID-aware quality that measures the perceptual and semantic quality of images guided by their ID information. Specifically, we propose an ID-aware Embedding that consists of two key components: (1) Feature learning attention that aims to learn robust image embeddings by focusing on 'medium' hard images. This way it can prevent overfitting to trivial images, and alleviate the influence of outliers. (2) Feature fusion attention is to fuse image embeddings in the set to obtain the set-level embedding. It ignores noisy information and pays more attention to discriminative images to aggregate more discriminative information. Experimental results on four datasets show that our method outperforms state-of-the-art approaches despite the simplicity of our approach.


title: Reconstruction of solutions to a generalized Moisil-Teodorescu system in Jordan domains with rectfiable boundary

abstract: In this paper we consider the problem of reconstructing solutions to a generalized Moisil-Teodorescu system in Jordan domains of $\mathbb{R}^{3}$ with rectifiable boundary. In order to determine conditions for existence of solutions to the problem we embed the system in an appropriate generalized quaternionic setting.


title: DPM: A deep learning PDE augmentation method (with application to large-eddy simulation)

abstract: Machine learning for scientific applications faces the challenge of limited data. We propose a framework that leverages a priori known physics to reduce overfitting when training on relatively small datasets. A deep neural network is embedded in a partial differential equation (PDE) that expresses the known physics and learns to describe the corresponding unknown or unrepresented physics from the data. Crafted as such, the neural network can also provide corrections for erroneously represented physics, such as discretization errors associated with the PDE's numerical solution. Once trained, the deep learning PDE model (DPM) can make out-of-sample predictions for new physical parameters, geometries, and boundary conditions. Our approach optimizes over the functional form of the PDE. Estimating the embedded neural network requires optimizing over the entire PDE, which itself is a function of the neural network. Adjoint partial differential equations are used to efficiently calculate the high-dimensional gradient of the objective function with respect to the neural network parameters. A stochastic adjoint method (SAM), similar in spirit to stochastic gradient descent, further accelerates training. The approach is demonstrated and evaluated for turbulence predictions using large-eddy simulation (LES), a filtered version of the Navier--Stokes equation containing unclosed sub-filter-scale terms. The DPM outperforms the widely-used constant-coefficient and dynamic Smagorinsky models, even for filter sizes so large that these established models become qualitatively incorrect. It also significantly outperforms a priori trained models, which do not account for the full PDE. A relaxation of the discrete enforcement of the divergence-free constraint is also considered, instead allowing the DPM to approximately enforce incompressibility physics.


title: Deadlock Analysis and Resolution in Multi-Robot Systems (Extended Version)

abstract: Collision avoidance for multirobot systems is a well studied problem. Recently, control barrier functions (CBFs) have been proposed for synthesizing controllers guarantee collision avoidance and goal stabilization for multiple robots. However, it has been noted reactive control synthesis methods (such as CBFs) are prone to deadlock, an equilibrium of system dynamics causes robots to come to a standstill before reaching their goals. In this paper, we formally derive characteristics of deadlock in a multirobot system uses CBFs. We propose a novel approach to analyze deadlocks resulting from optimization based controllers (CBFs) by borrowing tools from duality theory and graph enumeration. Our key insight is system deadlock is characterized by a force-equilibrium on robots and we show how complexity of deadlock analysis increases approximately exponentially with the number of robots. This analysis allows us to interpret deadlock as a subset of the state space, and we prove this set is non-empty, bounded and located on the boundary of the safety set. Finally, we use these properties to develop a provably correct decentralized algorithm for deadlock resolution which ensures robots converge to their goals while avoiding collisions. We show simulation results of the resolution algorithm for two and three robots and experimentally validate this algorithm on Khepera-IV robots.


title: Quantum magnetic collapse of a partially bosonized npe-gas: Implications for astrophysical jets

abstract: We study a possible mechanism for astrophysical jet production from a neutron star composed by a partially bosonized npe-gas. We obtain that the expulsion of a stable stream of matter might be triggered by the quantum magnetic collapse of one or various components of the gas, while its collimation is due to the formation of a strong self-generated magnetic field.


title: Concurrency and Privacy with Payment-Channel Networks

abstract: Permissionless blockchains protocols such as Bitcoin are inherently limited in transaction throughput and latency. Current efforts to address this key issue focus on off-chain payment channels that can be combined in a Payment-Channel Network (PCN) to enable an unlimited number of payments without requiring to access the blockchain other than to register the initial and final capacity of each channel. While this approach paves the way for low latency and high throughput of payments, its deployment in practice raises several privacy concerns as well as technical challenges related to the inherently concurrent nature of payments, such as race conditions and deadlocks, that have been understudied so far. In this work, we lay the foundations for privacy and concurrency in PCNs, presenting a formal definition in the Universal Composability framework as well as practical and provably secure solutions. In particular, we present Fulgor and Rayo. Fulgor is the first payment protocol for PCNs that provides provable privacy guarantees for PCNs and is fully compatible with the Bitcoin scripting system. However, Fulgor is a blocking protocol and therefore prone to deadlocks of concurrent payments as in currently available PCNs. Instead, Rayo is the first protocol for PCNs that enforces non-blocking progress (i.e., at least one of the concurrent payments terminates). We show through a new impossibility result that non-blocking progress necessarily comes at the cost of weaker privacy. At the core of Fulgor and Rayo is Multi-Hop HTLC, a new smart contract, compatible with the Bitcoin scripting system, that provides conditional payments while reducing running time and communication overhead with respect to previous approaches.


title: A relativistic center of mass in general relativity

abstract: The center of mass and spin for isolated sources of gravitational radiation that move at relativistic speeds are defined. As a first step, we also present these definitions in flat space. This contradicts some general wisdom given in textbooks claiming that such definitions are not covariant and thus, have no physical meaning. We then generalize the definitions to asymptotically flat spacetimes giving their equations of motion when gravitational radiation is emitted by the isolated sources. The resulting construction has some similarities with the Mathisson-Papapetrou equations which describes the motion of the particle in an external field. We analyze the relationship between the center of mass velocity and the Bondi linear momentum and show they are not proportional to each other. A similar situation happens between the total and intrinsic angular momentum when the Bondi momentum vanishes. We claim that extra terms should be added in other approaches to adequately describe the time evolution of isolated sources of gravitational radiation.


title: Polylogarithmic Approximation Algorithm for k-Connected Directed Steiner Tree on Quasi-Bipartite Graphs

abstract: In the k-Connected Directed Steiner Tree problem (k-DST), we are given a directed graph G=(V, E) with edge (or vertex) costs, a root vertex r, a set of q terminals T, and a connectivity requirement k>0; the goal is to find a minimum-cost subgraph H of G such that H has k internally disjoint paths from the root r to each terminal t . The k-DST problem is a natural generalization of the classical Directed Steiner Tree problem (DST) in the fault-tolerant setting in which the solution subgraph is required to have an r,t-path, for every terminal t, even after removing k-1 edges or vertices. Despite being a classical problem, there are not many positive results on the problem, especially for the case k >= 3. In this paper, we will present an O(log k log q)-approximation algorithm for k-DST when an input graph is quasi-bipartite, i.e., when there is no edge joining two non-terminal vertices. To the best of our knowledge, our algorithm is the only known non-trivial approximation algorithm for k-DST, for k >= 3, that runs in polynomial-time regardless of the structure of the optimal solution. In addition, our algorithm is tight for every constant k, due to the hardness result inherited from the Set Cover problem.


title: A Flexible Mixed-Frequency Vector Autoregression with a Steady-State Prior

abstract: We propose a Bayesian vector autoregressive (VAR) model for mixed-frequency data. Our model is based on the mean-adjusted parametrization of the VAR and allows for an explicit prior on the 'steady states' (unconditional means) of the included variables. Based on recent developments in the literature, we discuss extensions of the model that improve the flexibility of the modeling approach. These extensions include a hierarchical shrinkage prior for the steady-state parameters, and the use of stochastic volatility to model heteroskedasticity. We put the proposed model to use in a forecast evaluation using US data consisting of 10 monthly and 3 quarterly variables. The results show that the predictive ability typically benefits from using mixed-frequency data, and that improvements can be obtained for both monthly and quarterly variables. We also find that the steady-state prior generally enhances the accuracy of the forecasts, and that accounting for heteroskedasticity by means of stochastic volatility usually provides additional improvements, although not for all variables.


title: Governance of Social Welfare in Networked Markets

abstract: This paper aims to investigate how a central authority (e.g. a government) can increase social welfare in a network of markets and firms. In these networks, modeled using a bipartite graph, firms compete with each other \textit{\`a la} Cournot. Each firm can supply homogeneous goods in markets which it has access to. The central authority may take different policies for its aim. In this paper, we assume that the government has a budget by which it can supply some goods and inject them into various markets. We discuss how the central authority can best allocate its budget for the distribution of goods to maximize social welfare. We show that the solution is highly dependent on the structure of the network. Then, using the network's structural features, we present a heuristic algorithm for our target problem. Finally, we compare the performance of our algorithm with other heuristics with experimentation on real datasets.


title: Gradient-based Optimization for Bayesian Preference Elicitation

abstract: Effective techniques for eliciting user preferences have taken on added importance as recommender systems (RSs) become increasingly interactive and conversational. A common and conceptually appealing Bayesian criterion for selecting queries is expected value of information (EVOI). Unfortunately, it is computationally prohibitive to construct queries with maximum EVOI in RSs with large item spaces. We tackle this issue by introducing a continuous formulation of EVOI as a differentiable network that can be optimized using gradient methods available in modern machine learning (ML) computational frameworks (e.g., TensorFlow, PyTorch). We exploit this to develop a novel, scalable Monte Carlo method for EVOI optimization, which is more scalable for large item spaces than methods requiring explicit enumeration of items. While we emphasize the use of this approach for pairwise (or k-wise) comparisons of items, we also demonstrate how our method can be adapted to queries involving subsets of item attributes or "partial items," which are often more cognitively manageable for users. Experiments show that our gradient-based EVOI technique achieves state-of-the-art performance across several domains while scaling to large item spaces.


title: RepLAB: a computational/numerical approach to representation theory

abstract: We present a MATLAB/Octave toolbox to decompose finite dimensionial representations of compact groups. Surprisingly, little information about the group and the representation is needed to perform that task. We discuss applications to semidefinite programming.


title: m-Axial and m-Circular 3m-Polygons

abstract: The present article includes the enumeration of $n$-polygons with two certain symmetry properties: For a number $3m$ of vertices, we count the $3m$-polygons with $m$ symmetry axes and the $3m$-polygons, that match after three elementary rotations, but have no symmetry axes. For those polygons we give complete lists of representatives of their equivalence-classes and closed formulas for their number.


title: The politics of deceptive borders: 'biomarkers of deceit' and the case of iBorderCtrl

abstract: This paper critically examines a recently developed proposal for a border control system called iBorderCtrl, designed to detect deception based on facial recognition technology and the measurement of micro-expressions, termed 'biomarkers of deceit'. Funded under the European Commission's Horizon 2020 programme, we situate our analysis in the wider political economy of 'emotional AI' and the history of deception detection technologies. We then move on to interrogate the design of iBorderCtrl using publicly available documents and assess the assumptions and scientific validation underpinning the project design. Finally, drawing on a Bayesian analysis we outline statistical fallacies in the foundational premise of mass screening and argue that it is very unlikely that the model that iBorderCtrl provides for deception detection would work in practice. By interrogating actual systems in this way, we argue that we can begin to question the very premise of the development of data-driven systems, and emotional AI and deception detection in particular, pushing back on the assumption that these systems are fulfilling the tasks they claim to be attending to and instead ask what function such projects carry out in the creation of subjects and management of populations. This function is not merely technical but, rather, we argue, distinctly political and forms part of a mode of governance increasingly shaping life opportunities and fundamental rights.


title: A Tale of Two-Timescale Reinforcement Learning with the Tightest Finite-Time Bound

abstract: Policy evaluation in reinforcement learning is often conducted using two-timescale stochastic approximation, which results in various gradient temporal difference methods such as GTD(0), GTD2, and TDC. Here, we provide convergence rate bounds for this suite of algorithms. Algorithms such as these have two iterates, $\theta_n$ and $w_n,$ which are updated using two distinct stepsize sequences, $\alpha_n$ and $\beta_n,$ respectively. Assuming $\alpha_n = n^{-\alpha}$ and $\beta_n = n^{-\beta}$ with $1 > \alpha > \beta > 0,$ we show that, with high probability, the two iterates converge to their respective solutions $\theta^*$ and $w^*$ at rates given by $\|\theta_n - \theta^*\| = \tilde{O}( n^{-\alpha/2})$ and $\|w_n - w^*\| = \tilde{O}(n^{-\beta/2});$ here, $\tilde{O}$ hides logarithmic terms. Via comparable lower bounds, we show that these bounds are, in fact, tight. To the best of our knowledge, ours is the first finite-time analysis which achieves these rates. While it was known that the two timescale components decouple asymptotically, our results depict this phenomenon more explicitly by showing that it in fact happens from some finite time onwards. Lastly, compared to existing works, our result applies to a broader family of stepsizes, including non-square summable ones.


title: Random Fourier Features via Fast Surrogate Leverage Weighted Sampling

abstract: In this paper, we propose a fast surrogate leverage weighted sampling strategy to generate refined random Fourier features for kernel approximation. Compared to the current state-of-the-art method that uses the leverage weighted scheme [Li-ICML2019], our new strategy is simpler and more effective. It uses kernel alignment to guide the sampling process and it can avoid the matrix inversion operator when we compute the leverage function. Given n observations and s random features, our strategy can reduce the time complexity from O(ns^2+s^3) to O(ns^2), while achieving comparable (or even slightly better) prediction performance when applied to kernel ridge regression (KRR). In addition, we provide theoretical guarantees on the generalization performance of our approach, and in particular characterize the number of random features required to achieve statistical guarantees in KRR. Experiments on several benchmark datasets demonstrate that our algorithm achieves comparable prediction performance and takes less time cost when compared to [Li-ICML2019].


title: Bayesian optimization with local search

abstract: Global optimization finds applications in a wide range of real world problems. The multi-start methods are a popular class of global optimization techniques, which are based on the ideas of conducting local searches at multiple starting points. In this work we propose a new multi-start algorithm where the starting points are determined in a Bayesian optimization framework. Specifically, the method can be understood as to construct a new function by conducting local searches of the original objective function, where the new function attains the same global optima as the original one. Bayesian optimization is then applied to find the global optima of the new local search defined function.


title: Three-dimensional crystals of adaptive knots

abstract: Starting from Gauss and Kelvin, knots in fields were postulated behaving like particles, but experimentally they were found only as transient features or required complex boundary conditions to exist and couldn't self-assemble into three-dimensional crystals. We introduce energetically stable micrometer-sized knots in helical fields of chiral liquid crystals. While spatially localized and freely diffusing in all directions, they resemble colloidal particles and atoms, self-assembling into crystalline lattices with open and closed structures. These knots are robust and topologically distinct from the host medium, though they can be morphed and reconfigured by weak stimuli under conditions like in displays. A combination of energy-minimizing numerical modeling and optical imaging uncovers the internal structure and topology of individual helical field knots and various hierarchical crystalline organizations they form.


title: The PanEDM Neutron Electric Dipole Moment Experiment at the ILL

abstract: The neutron's permanent electric dipole moment $d_n$ is constrained to below $3\times10^{-26} e~\text{cm}$ (90% C.L.) [ arXiv:hep-ex/0602020, arXiv:1509.04411 ], by experiments using ultracold neutrons (UCN). We plan to improve this limit by an order of magnitude or more with PanEDM, the first experiment exploiting the ILL's new UCN source SuperSUN. SuperSUN is expected to provide a high density of UCN with energies below 80 neV, implying extended statistical reach with respect to existing sources, for experiments that rely on long storage or spin-precession times. Systematic errors in PanEDM are strongly suppressed by passive magnetic shielding, with magnetic field and gradient drifts at the single fT level. A holding-field homogeneity on the order of $10^{-4}$ is achieved in low residual fields, via a high static damping factor and built-in coil system. No comagnetometer is needed for the first order-of-magnitude improvement in $d_n$, thanks to high magnetic stability and an assortment of sensors outside the UCN storage volumes. PanEDM will be commissioned and upgraded in parallel with SuperSUN, to take full advantage of the source's output in each phase. Commissioning is ongoing in 2019, and a new limit in the mid $10^{-27} e~\text{cm}$ range should be possible with two full reactor cycles of data in the commissioned apparatus.


title: Deep Active Learning: Unified and Principled Method for Query and Training

abstract: In this paper, we are proposing a unified and principled method for both the querying and training processes in deep batch active learning. We are providing theoretical insights from the intuition of modeling the interactive procedure in active learning as distribution matching, by adopting the Wasserstein distance. As a consequence, we derived a new training loss from the theoretical analysis, which is decomposed into optimizing deep neural network parameters and batch query selection through alternative optimization. In addition, the loss for training a deep neural network is naturally formulated as a min-max optimization problem through leveraging the unlabeled data information. Moreover, the proposed principles also indicate an explicit uncertainty-diversity trade-off in the query batch selection. Finally, we evaluate our proposed method on different benchmarks, consistently showing better empirical performances and a better time-efficient query strategy compared to the baselines.


title: Positive solutions to the sublinear Lane-Emden equation are isolated

abstract: We prove that on a smooth bounded set, the positive least energy solution of the Lane-Emden equation with sublinear power is isolated. As a corollary, we obtain that the first $q-$eigenvalue of the Dirichlet-Laplacian is not an accumulation point of the $q-$spectrum, on a smooth bounded set. Our results extend to a suitable class of Lipschitz domains, as well.


title: New observations on cohomology rings of Reeb spaces of explicit fold maps and manifolds admitting these maps

abstract: As a branch of algebraic and differential topology of manifolds, the theory of Morse functions and their higher dimensional versions or fold maps and its application to algebraic and differential topology of manifolds is fundamental, important and interesting. This paper is on explicit construction of fold maps and homology groups and cohomology rings of their Reeb spaces: they are defined as the spaces of all connected components of preimages of the maps, and in suitable situations inherit some topological information such as homology groups and cohomology rings of the manifolds. Explicit construction of the maps is a fundamental and difficult task even on manifolds which are not so complicated. The author has constructed explicit fold maps systematically and performed several calculations of homology groups and cohomology rings of the Reeb spaces. This paper concerns new observations on this task.


title: The Karger-Stein Algorithm is Optimal for $k$-cut

abstract: In the $k$-cut problem, we are given an edge-weighted graph and want to find the least-weight set of edges whose deletion breaks the graph into $k$ connected components. Algorithms due to Karger-Stein and Thorup showed how to find such a minimum $k$-cut in time approximately $O(n^{2k-2})$. The best lower bounds come from conjectures about the solvability of the $k$-clique problem and a reduction from $k$-clique to $k$-cut, and show that solving $k$-cut is likely to require time $\Omega(n^k)$. Our recent results have given special-purpose algorithms that solve the problem in time $n^{1.98k + O(1)}$, and ones that have better performance for special classes of graphs (e.g., for small integer weights). In this work, we resolve the problem for general graphs, by showing that for any fixed $k \geq 2$, the Karger-Stein algorithm outputs any fixed minimum $k$-cut with probability at least $\hat{O}(n^{-k})$, where $\hat{O}(\cdot)$ hides a $2^{O(\ln \ln n)^2}$ factor. This also gives an extremal bound of $\hat{O}(n^k)$ on the number of minimum $k$-cuts in an $n$-vertex graph and an algorithm to compute a minimum $k$-cut in similar runtime. Both are tight up to $\hat{O}(1)$ factors. The first main ingredient in our result is a fine-grained analysis of how the graph shrinks---and how the average degree evolves---under the Karger-Stein process. The second ingredient is an extremal result bounding the number of cuts of size at most $(2-\delta) OPT/k$, using the Sunflower lemma.


title: Morse index, Betti numbers and singular set of bounded area minimal hypersurfaces

abstract: We introduce a combinatorial argument to study closed minimal hypersurfaces of bounded area and high Morse index. Let $(M^{n+1},g)$ be a closed Riemannian manifold and $\Sigma\subset M$ be a closed embedded minimal hypersurface with area at most $A>0$ and with a singular set of Hausdorff dimension at most $n-7$. We show the following bounds: there is $C_A>0$ depending only on $n$, $g$, and $A$ so that $$\sum_{i=0}^n b^i(\Sigma) \leq C_A \big(1+index(\Sigma)\big) \quad \text{ if $3\leq n+1\leq 7$},$$ $$\mathcal{H}^{n-7}\big(Sing(\Sigma)\big) \leq C_A \big(1+index(\Sigma)\big)^{7/n} \quad \text{ if $n+1\geq 8$},$$ where $b^i$ denote the Betti numbers over any field, $\mathcal{H}^{n-7}$ is the $(n-7)$-dimensional Hausdorff measure and $Sing(\Sigma)$ is the singular set of $\Sigma$. In fact in dimension $n+1=3$, $C_A$ depends linearly on $A$. We list some open problems at the end of the paper.


title: A dwarf-dwarf merger and dark matter core as a solution to the Globular Cluster problems in the Fornax dSph

abstract: The five globular clusters (GCs) of the Fornax dSph are puzzling for two reasons; the mass in GCs is high with respect to the galaxy's old stellar mass, and their survival and large distance (> 1 kpc) is at odds with naive expectations of dynamical friction. We present here a semi-analytic model, simultaneously addressing both problems in a comprehensive evolutionary framework for Fornax. Key to the model is inclusion of: 1) hydrodynamical constraints on the GC formation locations, 2) self-consistent velocity distribution functions in the dynamical friction calculations and 3) expansion of GC orbits due to a past dwarf-dwarf merger in the orbit integrations. The latter is crucial for reconciling the dynamical survival of the clusters, and their chemical properties with respect to the Fornax field stars. We find that in order for four of the GCs to survive at their observed projected location, a dark matter core of radius > 1.5 kpc and a dwarf merger with dynamical mass ratio of 1:5 to 1:2 with Fornax is required. We support the merger scenario by showing that aspects of the field star metallicity distribution function and anomalous chemical properties of GC5, are representative of a merging galaxy which is ~1/3 less massive than Fornax. Together the chemical and dynamical models suggest a scenario where three in-situ GCs in proto-Fornax were ejected to the outskirts during the merger, a GC4 formed during the merger at about 10 Gyrs ago, with GC5 being brought in by the merging galaxy to Fornax.


title: Active Learning for Deep Detection Neural Networks

abstract: The cost of drawing object bounding boxes (i.e. labeling) for millions of images is prohibitively high. For instance, labeling pedestrians in a regular urban image could take 35 seconds on average. Active learning aims to reduce the cost of labeling by selecting only those images that are informative to improve the detection network accuracy. In this paper, we propose a method to perform active learning of object detectors based on convolutional neural networks. We propose a new image-level scoring process to rank unlabeled images for their automatic selection, which clearly outperforms classical scores. The proposed method can be applied to videos and sets of still images. In the former case, temporal selection rules can complement our scoring process. As a relevant use case, we extensively study the performance of our method on the task of pedestrian detection. Overall, the experiments show that the proposed method performs better than random selection. Our codes are publicly available at www.gitlab.com/haghdam/deep_active_learning.


title: The Swampland and Screened Modified Gravity

abstract: We consider the implications of the swampland conjectures on scalar-tensor theories defined in the Einstein frame in which the scalar interaction is screened. We show that chameleon models are not in the swampland provided the coupling to matter is larger than unity and the mass of the scalar field is much larger than the Hubble rate. We apply these conditions to the inverse power law chameleon and the symmetron. We then focus on the dilaton of string theory in the strong coupling limit, as defined in the string frame. We show that solar system tests of gravity imply that viable dilaton models are not in the swampland. In the future of the Universe, if the low energy description with a single scalar is still valid and the coupling to matter remains finite, we find that the scalar field energy density must vanish for models with the chameleon and symmetron mechanisms. Hence in these models dark energy is only a transient phenomenon. This is not the case for the strongly coupled dilaton, which keeps evolving slowly, leading to a quasi de Sitter space-time.


title: Spontaneous electron emission from hot silver dimer anions: Breakdown of the Born-Oppenheimer approximation

abstract: We report the first experimental evidence of spontaneous electron emission from a homonuclear dimer anion through direct measurements of $\rm{Ag}_2^- \rightarrow \rm{Ag}_2 + \rm{e}^-$ decays on milliseconds and seconds time scales. This observation is very surprising as there is no avoided crossing between adiabatic energy curves to mediate such a process. The process is weak but yet dominates the decay signal after 100 ms when ensembles of internally hot Ag$_2^-$ ions are stored in the cryogenic ion-beam storage ring, DESIREE, for 10 seconds. The electron emission process is associated with an instantaneous, very large, reduction of the vibrational energy of the dimer system. This represents a dramatic deviation from a Born-Oppenheimer description of dimer dynamics.


title: Re-Evaluating Strengthened-IV Designs: Asymptotic Efficiency, Bias Formula, and the Validity and Power of Sensitivity Analyses

abstract: Instrumental variables (IVs) are extensively used to estimate treatment effects when the treatment and outcome are confounded by unmeasured confounders; however, weak IVs are often encountered in empirical studies and may cause problems. Many studies have considered building a stronger IV from the original, possibly weak, IV in the design stage of a matched study at the cost of not using some of the samples in the analysis. It is widely accepted that strengthening an IV tends to render nonparametric tests more powerful and will increase the power of sensitivity analyses in large samples. In this article, we re-evaluate this conventional wisdom to bring new insights into this topic. We consider matched observational studies from three perspectives. First, we evaluate the trade-off between IV strength and sample size on nonparametric tests assuming the IV is valid and exhibit conditions under which strengthening an IV increases power and conversely conditions under which it decreases power. Second, we derive a necessary condition for a valid sensitivity analysis model with continuous doses. We show that the $\Gamma$ sensitivity analysis model, which has been previously used to come to the conclusion that strengthening an IV increases the power of sensitivity analyses in large samples, does not apply to the continuous IV setting and thus this previously reached conclusion may be invalid. Third, we quantify the bias of the Wald estimator with a possibly invalid IV under an oracle and leverage it to develop a valid sensitivity analysis framework; under this framework, we show that strengthening an IV may amplify or mitigate the bias of the estimator, and may or may not increase the power of sensitivity analyses. We also discuss how to better adjust for the observed covariates when building an IV in matched studies.


title: Renormalization and universality of the Hofstadter spectrum

abstract: We consider a renormalization transformation $R$ for skew-product maps of the type that arise in a spectral analysis of the Hofstadter Hamiltonian. Periodic orbits of $R$ determine universal constants analogous to the critical exponents in the theory of phase transitions. Restricting to skew-product maps over a circle-rotations by the golden mean, we find several periodic orbits for $R$, and we conjecture that there are infinitely many. Interestingly, all scaling factors that have been determined to high accuracy appear to be algebraically related to the circle-rotation number. We present evidence that these values describe (among other things) local scaling properties of the Hofstadter spectrum.


title: Manipulable outcomes within the class of scoring voting rules

abstract: Coalitional manipulation in voting is considered to be any scenario in which a group of voters decide to misrepresent their vote in order to secure an outcome they all prefer to the first outcome of the election when they vote honestly. The present paper is devoted to study coalitional manipulability within the class of scoring voting rules. For any such rule and any number of alternatives, we introduce a new approach allowing to characterize all the outcomes that can be manipulable by a coalition of voters. This gives us the possibility to find the probability of manipulable outcomes for some well-studied scoring voting rules in case of small number of alternatives and large electorates under a well-known assumption on individual preference profiles.


title: Observation of Magic Angle and Wall State in Twisted Bilayer Photonic Graphene

abstract: Graphene, a one-layer honeycomb lattice of carbon atoms, exhibits unconventional phenomena and attracts much interest since its discovery. Recently, an unexpected Mott-like insulator state induced by moir\'e pattern and a superconducting state are observed in magic-angle-twisted bilayer graphene, especially, without correlations between electrons, which gives more hints for the understanding and investigation of strongly correlated phenomena. The photon as boson, behaving differently with fermion, can also retrieve the unconventional phenomena of graphene, such as the bearded edge state which is even never been observed in graphene due to the unstability. Here, we present a direct observation of magic angle and wall state in twisted bilayer photonic graphene. We successfully observe the strong localization and rapid diffusion of photon at the regions with AA and AB stacking order around the magic angle, respectively. Most importantly, we find a wall state showing the photon distribution distinctly separate at the regions with AA and AB/BA stacking order in the lowest-energy band. The mechanism underlying the wall states may help to understand the existence of both Mott-like insulating state and superconducting state in magic-angle twisted bilayer graphene. The accessibility of magic angle in twisted bilayer photonic graphene adds the boson behavior into graphene superlattice and the observation of wall state will also deep the understanding of matter.


title: Analysis and distributed control of periodic epidemic processes

abstract: This paper studies epidemic processes over discrete-time periodic time-varying networks. We focus on the susceptible-infected-susceptible (SIS) model that accounts for a (possibly) mutating virus. We say that an agent is in the disease-free state if it is not infected by the virus. Our objective is to devise a control strategy which ensures that all agents in a network exponentially (resp. asymptotically) converge to the disease-free equilibrium (DFE). Towards this end, we first provide a) sufficient conditions for exponential (resp. asymptotic) convergence to the DFE; and b) a necessary and sufficient condition for asymptotic convergence to the DFE. The sufficient condition for global exponential stability (GES) (resp. global asymptotic stability (GAS)) of the DFE is in terms of the joint spectral radius of a set of suitably-defined matrices, whereas the necessary and sufficient condition for GAS of the DFE involves the spectral radius of an appropriately-defined product of matrices. Subsequently, we leverage the stability results in order to design a distributed control strategy for eradicating the epidemic.


title: Lower Bounds for Function Inversion with Quantum Advice

abstract: Function inversion is the problem that given a random function $f: [M] \to [N]$, we want to find pre-image of any image $f^{-1}(y)$ in time $T$. In this work, we revisit this problem under the preprocessing model where we can compute some auxiliary information or advice of size $S$ that only depends on $f$ but not on $y$. It is a well-studied problem in the classical settings, however, it is not clear how quantum algorithms can solve this task any better besides invoking Grover's algorithm, which does not leverage the power of preprocessing. Nayebi et al. proved a lower bound $ST^2 \ge \tilde\Omega(N)$ for quantum algorithms inverting permutations, however, they only consider algorithms with classical advice. Hhan et al. subsequently extended this lower bound to fully quantum algorithms for inverting permutations. In this work, we give the same asymptotic lower bound to fully quantum algorithms for inverting functions for fully quantum algorithms under the regime where $M = O(N)$. In order to prove these bounds, we generalize the notion of quantum random access code, originally introduced by Ambainis et al., to the setting where we are given a list of (not necessarily independent) random variables, and we wish to compress them into a variable-length encoding such that we can retrieve a random element just using the encoding with high probability. As our main technical contribution, we give a nearly tight lower bound (for a wide parameter range) for this generalized notion of quantum random access codes, which may be of independent interest.


title: Feature Extraction in Augmented Reality

abstract: Augmented Reality (AR) is used for various applications associated with the real world. In this paper, first, describe characteristics and essential services of AR. Brief history on Virtual Reality (VR) and AR is also mentioned in the introductory section. Then, AR Technologies along with its workflow is depicted, which includes the complete AR Process consisting of the stages of Image Acquisition, Feature Extraction, Feature Matching, Geometric Verification, and Associated Information Retrieval. Feature extraction is the essence of AR hence its details are furnished in the paper.


title: RIS-GAN: Explore Residual and Illumination with Generative Adversarial Networks for Shadow Removal

abstract: Residual images and illumination estimation have been proved very helpful in image enhancement. In this paper, we propose a general and novel framework RIS-GAN which explores residual and illumination with Generative Adversarial Networks for shadow removal. Combined with the coarse shadow-removal image, the estimated negative residual images and inverse illumination maps can be used to generate indirect shadow-removal images to refine the coarse shadow-removal result to the fine shadow-free image in a coarse-to-fine fashion. Three discriminators are designed to distinguish whether the predicted negative residual images, shadow-removal images, and the inverse illumination maps are real or fake jointly compared with the corresponding ground-truth information. To our best knowledge, we are the first one to explore residual and illumination for shadow removal. We evaluate our proposed method on two benchmark datasets, i.e., SRD and ISTD, and the extensive experiments demonstrate that our proposed method achieves the superior performance to state-of-the-arts, although we have no particular shadow-aware components designed in our generators.


title: Scalable and Generalizable Social Bot Detection through Data Selection

abstract: Efficient and reliable social bot classification is crucial for detecting information manipulation on social media. Despite rapid development, state-of-the-art bot detection models still face generalization and scalability challenges, which greatly limit their applications. In this paper we propose a framework that uses minimal account metadata, enabling efficient analysis that scales up to handle the full stream of public tweets of Twitter in real time. To ensure model accuracy, we build a rich collection of labeled datasets for training and validation. We deploy a strict validation system so that model performance on unseen datasets is also optimized, in addition to traditional cross-validation. We find that strategically selecting a subset of training data yields better model accuracy and generalization than exhaustively training on all available data. Thanks to the simplicity of the proposed model, its logic can be interpreted to provide insights into social bot characteristics.


title: A Direct- Conversion Digital Beamforming Array Receiver with 800 MHz Channel Bandwidth at 28 GHz using Xilinx RF SoC

abstract: This paper discusses early results associated with a fully-digital direct-conversion array receiver at 28~GHz. The proposed receiver makes use of commercial off-the-shelf (COTS) electronics, including the receiver chain. The design consists of a custom 28~GHz patch antenna sub-array providing gain in the elevation plane, with azimuthal plane beamforming provided by real-time digital signal processing (DSP) algorithms running on a Xilinx Radio Frequency System on Chip (RF SoC). The proposed array receiver employs element-wise fully-digital array processing that supports ADC sample rates up to 2~GS/second and up to 1~GHz of operating bandwidth per antenna. The RF mixed-signal data conversion circuits and DSP algorithms operate on a single-chip RF SoC solution installed on the Xilinx ZCU1275 prototyping platform.


title: The GOES-R EUVS Model for EUV Irradiance Variability

abstract: The Geostationary Operational Environmental Satellite R (GOES-R) series of four satellites are the next generation NOAA GOES satellites. Once on orbit and commissioned, they are renamed GOES 16-19, making critical terrestrial and space weather measurements through 2035. GOES 16 and 17 are currently on orbit, having been launched in 2016 and 2018, respectively. The GOES-R satellites include the EUV and X-ray Irradiance Sensors (EXIS) instrument suite, which measures calibrated solar irradiance in 8 lines or bands between 25 and 285 nm with the Extreme Ultraviolet Sensors (EUVS) instrument. EXIS also includes the X-Ray Sensor (XRS) instrument, which measures solar soft X-ray irradiance at the legacy GOES bands. The EUVS measurements are used as inputs to the EUVS Model, a solar spectral irradiance model for space weather operations that predicts irradiance in twenty-two 5 nm wide intervals from 5 nm to 115 nm, and one 10 nm wide interval from 117 to 127 nm at 30 second cadence. Once fully operational, NOAA will distribute the EUVS Model irradiance with 1 minute latency as a primary space weather data product, ushering in a new era of rapid dissemination and measurement continuity of EUV irradiance spectra. This paper describes the EUVS Model algorithms, data sources, calibration methods and associated uncertainties. Typical model (relative) uncertainties are less than $\sim$5\% for variability at time-scales longer than 6 hours, and are $\sim$25\% for solar flare induced variability. The absolute uncertainties, originating from the instruments used to calibrate the EUVS Model, are $\sim$10\%. Examples of model results are presented at both sub-daily and multi-year timescales to demonstrate the model's capabilities and limitations. Example solar flare irradiances are also modeled.


title: Autoregressive Modeling of Forest Dynamics

abstract: In this work, we employ autoregressive models developed in financial engineering for modeling of forest dynamics. Autoregressive models have some theoretical advantage over currently employed forest modeling approaches such as Markov chains and individual-based models, as autoregressive models are both analytically tractable and operate with continuous state space. We perform time series statistical analysis of forest biomass and basal area recorded in Quebec provincial forest inventories in 1970-2007. The geometric random walk model adequately describes the yearly average dynamics. For individual patches, we fit an AR(1) process capable to model negative feedback (mean-reversion). Overall, the best fit also turns out to be geometric random walk, however, the normality tests for residuals fail. In contrast, yearly means are adequately described by normal fluctuations, with annual growth, on average, 2.3%, but with standard deviation of order 40%. We use Bayesian analysis to account for uneven number of observations per year. This work demonstrates that autoregressive models represent a valuable tool for modeling of forest dynamics. In particular, they quantify stochastic effects of environmental disturbances and develop predictive empirical models on short and intermediate temporal scales.


title: Line Driven Acceleration using Multi-Frequency Radiation Hydrodynamics

abstract: We use multi-frequency radiation hydrodynamics (rad-HD) to simulate radiative acceleration of a spherically symmetric stellar wind. We demonstrate the rad-HD capabilities of Athena++ for a series of test problems with multi-group radiation transfer. We then model the radiative transfer of a single spectral line through a spherically symmetric, isothermal, "CAK"-type line driven wind. We find that correctly accounting for the Doppler shift of the absorbed radiation, the force is well described by the analytic Sobolev line transfer in the supersonic parts of the solution where the flow is stationary and the effects of Abbott waves is negligible. Unlike in the analytic, steady-state solution re-radiation is important and leads to non-trivial radiation energy density and fluxes in the outer parts of the wind. We discuss a variety of applications to these multi-group methods that are currently computationally tractable.


title: Mid-infrared polarized emission from black phosphorus light-emitting diodes

abstract: The mid-infrared (MIR) spectral range is of immense use for civilian and military applications. The large number of vibrational absorption bands in this range can be used for gas sensing, process control and spectroscopy. In addition, there exists transparency windows in the atmosphere such as that between 3.6-3.8 $\mu$m, which are ideal for free-space optical communication, range finding and thermal imaging. A number of different semiconductor platforms have been used for MIR light-emission. This includes InAsSb/InAs quantum wells, InSb/AlInSb, GaInAsSbP pentanary alloys, and intersubband transitions in group III-V compounds. These approaches, however, are costly and lack the potential for integration on silicon and silicon-on-insulator platforms. In this respect, two-dimensional (2D) materials are particularly attractive due to the ease with which they can be heterointegrated. Weak interactions between neighbouring atomic layers in these materials allows for deposition on arbitrary substrates and van der Waals heterostructures enable the design of devices with targeted optoelectronic properties. In this Letter, we demonstrate a light-emitting diode (LED) based on the 2D semiconductor black phosphorus (BP). The device, which is composed of a BP/molybdenum disulfide (MoS$_2$) heterojunction emits polarized light at $\lambda$ = 3.68 $\mu$m with room-temperature internal and external quantum efficiencies (IQE and EQE) of ~1$\%$ and $\sim3\times10^{-2}\%$, respectively. The ability to tune the bandgap, and consequently emission wavelength of BP, with layer number, strain and electric field make it a particularly attractive platform for MIR emission.


title: Four methods for generation of turbulent phase screens: comparison

abstract: We introduce a new method for generation of the phase screen samples with arbitrary spatial spectrum: Sparse Spectrum with uniform wave vectors (SU). Similar to the known Sparse Spectrum (SS) technique, it uses trigonometric series with random discrete support on the wave vector plane, but, unlike the SS technique, the random wave vectors are uniformly distributed on the individual segments of the wave vector plane partition. We compare the accuracy and computational effectiveness of the SU technique with ubiquitous subharmonics complemented DFT method, SS method, and recently published, randomized DFT technique [J. Opt. Soc. Am. B 36, 3249 (2019)]. SSU and SS algorithms generate unbiased samples, for screens with bounded phase variance, and show the superior computational effectiveness for one megapixel and larger screens.


title: Chaos and frequent hypercyclicity for weighted shifts

abstract: Bayart and Ruzsa [Ergodic Theory Dynam. Systems 35 (2015)] have recently shown that every frequently hypercyclic weighted shift on $\ell^p$ is chaotic. This contrasts with an earlier result of Bayart and Grivaux [Proc. London Math. Soc. (3) 94 (2007)] who constructed a non-chaotic frequently hypercyclic weighted shift on $c_0$. We first generalize the Bayart-Ruzsa theorem to all Banach sequence spaces in which the unit sequences are a boundedly complete unconditional basis. We then study the relationship between frequent hypercyclicity and chaos for weighted shifts on Fr\'echet sequence spaces, in particular on K\"othe sequence spaces, and then on the special class of power series spaces. We obtain, rather curiously, that every frequently hypercyclic weighted shift on $H(\mathbb{D})$ is chaotic, while $H(\mathbb{C})$ admits a non-chaotic frequently hypercyclic weighted shift.


title: The ISM scaling relations in DustPedia late-type galaxies: A benchmark study for the Local Universe

abstract: The purpose of this work is the characterization of the main scaling relations between all the ISM components (dust, atomic/molecular/total gas), gas-phase metallicity, and other galaxy properties, such as Mstar and galaxy morphology, for late-type galaxies in the Local Universe. This study is performed by extracting late-type galaxies from the entire DustPedia sample and by exploiting the large and homogeneous dataset available thanks to the DustPedia project. The sample consists of 436 galaxies with morphological stage from T = 1 to 10, Mstar from 6 x 10^7 to 3 x 10^11 Msun, SFR from 6 x 10^(-4) to 60 Msun/yr, and 12 + log(O/H) from 8 to 9.5. The scaling relations involving the molecular gas are studied by assuming both a constant and a metallicity-dependent XCO. The analysis has been performed by means of the survival analysis technique. We confirm that the dust mass correlates very well with the total gas mass, and find -- for the first time -- that the dust mass correlates better with the atomic gas mass than the molecular one. We characterize important mass ratios such as gas fraction, molecular-to-atomic gas mass ratio, dust-to-total gas mass ratio (DGR), and dust-to-stellar mass ratio. Only the assumption of a metallicity-dependent XCO reproduces the expected decrease of the DGR with increasing morphological stage and decreasing gas-phase metallicity, with a slope of about 1. DGR, gas-phase metallicity, and the dust-to-stellar mass ratio are, for our galaxy sample, directly linked to the galaxy morphology. The molecular-to-atomic gas mass ratio and the DGR show a positive correlation for low molecular gas fractions, but for molecular gas rich galaxies this trend breaks down. This trend has never been found previously, to our knowledge. It provides new constraints for theoretical models of galaxy evolution and a reference for high-redshift studies.


title: Localized Compression: Applying Convolutional Neural Networks to Compressed Images

abstract: We address the challenge of applying existing convolutional neural network (CNN) architectures to compressed images. Existing CNN architectures represent images as a matrix of pixel intensities with a specified dimension; this desired dimension is achieved by downgrading or cropping. Downgrading and cropping are attractive in that the result is also an image; however, an algorithm producing an alternative "compressed" representation could yield better classification performance. This compression algorithm need not be reversible, but must be compatible with the CNN's operations. This problem is thus the counterpart of the well-studied problem of applying compressed CNNs to uncompressed images, which has attracted great interest as CNNs are deployed to size-, weight-, and power- (SWaP)-limited devices. We introduce Localized Compression, a generalization of downgrading in which the original image is divided into blocks and each block is compressed to a smaller size using either sampling- or random-matrix-based techniques. By aligning the size of the compressed blocks with the size of the CNN's convolutional region, localized compression can be made compatible with any CNN architecture. Our experimental results show that Localized Compression results in classification accuracy approximately 1-2% higher than is achieved by downgrading to the equivalent resolution.


title: Information in Infinite Ensembles of Infinitely-Wide Neural Networks

abstract: In this preliminary work, we study the generalization properties of infinite ensembles of infinitely-wide neural networks. Amazingly, this model family admits tractable calculations for many information-theoretic quantities. We report analytical and empirical investigations in the search for signals that correlate with generalization.


title: A multipoint conformal block chain in $d$ dimensions

abstract: Conformal blocks play a central role in CFTs as the basic, theory-independent building blocks. However, only limited results are available concerning multipoint blocks associated with the global conformal group. In this paper, we systematically work out the $d$-dimensional $n$-point global conformal blocks (for arbitrary $d$ and $n$) for external and exchanged scalar operators in the so-called comb channel. We use kinematic aspects of holography and previously worked out higher-point AdS propagator identities to first obtain the geodesic diagram representation for the $(n+2)$-point block. Subsequently, upon taking a particular double-OPE limit, we obtain an explicit power series expansion for the $n$-point block expressed in terms of powers of conformal cross-ratios. Interestingly, the expansion coefficient is written entirely in terms of Pochhammer symbols and $(n-4)$ factors of the generalized hypergeometric function ${}_3F_2$, for which we provide a holographic explanation. This generalizes the results previously obtained in the literature for $n=4, 5$. We verify the results explicitly in embedding space using conformal Casimir equations.


title: Biquaternionic Reformulation of a Fractional Monochromatic Maxwell System

abstract: In this work we propose a biquaternionic reformulation of a fractional monochromatic Maxwell system. Additionally, some examples are given to illustrate how the quaternionic fractional approach emerges in linear hydrodynamic and elasticity.


title: MPRAD: A Monte Carlo and ray-tracing code for the proton radiography in high-energy-density plasma experiments

abstract: Proton radiography is used in various high-energy-density (HED) plasma experiments. In this paper, we describe a Monte Carlo and ray-tracing simulation tool called MPRAD that can be used for modeling the deflection of proton beams in arbitrary three dimensional electromagnetic fields, as well as the diffusion of the proton beams by Coulomb scattering and stopping power. The Coulomb scattering and stopping power models in cold matter and fully ionized plasma are combined using interpolation. We discuss the application of MPRAD in a few setups relevant to HED plasma experiments where the plasma density can play a role in diffusing the proton beams and affecting the prediction and interpretation of the proton images. It is shown how the diffusion due to plasma density can affect the resolution and dynamical range of the proton radiography.


title: Holographic metals at finite doping

abstract: We construct the electron star solution to the model that was recently proposed by Kiritsis and Li in order to describe a holographic superconductor at finite doping. We do so by finding a map between the doped model and the standard undoped one. In this way, we are able to describe the holographic metallic phase at finite doping. In particular, we study the gauge field fluctuations and find the dependence of the electric conductivity on the doping parameter.


title: Generating Interactive Worlds with Text

abstract: Procedurally generating cohesive and interesting game environments is challenging and time-consuming. In order for the relationships between the game elements to be natural, common-sense has to be encoded into arrangement of the elements. In this work, we investigate a machine learning approach for world creation using content from the multi-player text adventure game environment LIGHT. We introduce neural network based models to compositionally arrange locations, characters, and objects into a coherent whole. In addition to creating worlds based on existing elements, our models can generate new game content. Humans can also leverage our models to interactively aid in worldbuilding. We show that the game environments created with our approach are cohesive, diverse, and preferred by human evaluators compared to other machine learning based world construction algorithms.


title: On the tightness of SDP relaxations of QCQPs

abstract: Quadratically constrained quadratic programs (QCQPs) are a fundamental class of optimization problems well-known to be NP-hard in general. In this paper we study conditions under which the standard semidefinite program (SDP) relaxation of a QCQP is tight. We begin by outlining a general framework for proving such sufficient conditions. Then using this framework, we show that the SDP relaxation is tight whenever the quadratic eigenvalue multiplicity, a parameter capturing the amount of symmetry present in a given problem, is large enough. We present similar sufficient conditions under which the projected epigraph of the SDP gives the convex hull of the epigraph in the original QCQP. Our results also imply new sufficient conditions for the tightness (as well as convex hull exactness) of a second order cone program relaxation of simultaneously diagonalizable QCQPs.


title: Modeling hydrodynamics, magnetic fields and synthetic radiographs for high-energy-density plasma flows in shock-shear targets

abstract: Three-dimensional FLASH radiation-magnetohydrodynamics (radiation-MHD) modeling is carried out to study the hydrodynamics and magnetic fields in the shock-shear derived platform. Simulations indicate that fields of tens of Tesla can be generated via Biermann battery effect due to vortices and mix in the counter-propagating shock-induced shear layer. Synthetic proton radiography simulations using MPRAD and synthetic X-ray image simulations using SPECT3D are carried out to predict the observable features in the diagnostics. Quantifying the effects of magnetic fields in inertial confinement fusion (ICF) and high-energy-density (HED) plasmas represents frontier research that has far-reaching implications in basic and applied sciences.


abstract: In order to answer questions about top conference publication patterns, citation data is collected and analyzed for several computer science conferences, with focus on computer vision and graphics. Both top and second tier conferences are included, and sampling occurred for two different 5 year periods. Example questions include: Do top conferences contain well cited papers or junk? (Yes) Are top conferences similarly cited? (No) Are second tier conferences as good as first tier conferences? (Sometimes) Has something been changing at CVPR? (Yes)


title: Untying the insulating and superconducting orders in magic-angle graphene

abstract: The coexistence of superconducting and correlated insulating states in magic-angle twisted bilayer graphene prompts fascinating questions about the relationship of these orders. Independent control of the microscopic mechanisms governing these phases could help uncover their individual roles and shed light on their intricate interplay. Here we report on direct tuning of electronic interactions in this system by changing its separation from a metallic screening layer. We observe quenching of correlated insula-tors in devices with screening layer separations that are smaller than a typical Wannier orbital size of 15nm, and with the twist angles slightly deviating from the magic value 1.10 plus(minus) 0.05 degrees. Upon extinction of the insulating orders, the vacated phase space is taken over by superconducting domes that feature critical temperatures comparable to those in the devices with strong insulators. In addition, we find that insulators at half-filling can reappear in small out-of-plane magnetic fields of 0.4 T, giving rise to quantized Hall states with a Chern number of 2. Our study suggests reexamination of the often-assumed mother-child relation between the insulating and superconducting phases in moire graphene, and illustrates a new approach to directly probe microscopic mechanisms of superconductivity in strongly-correlated systems.


title: Object-Guided Instance Segmentation for Biological Images

abstract: Instance segmentation of biological images is essential for studying object behaviors and properties. The challenges, such as clustering, occlusion, and adhesion problems of the objects, make instance segmentation a non-trivial task. Current box-free instance segmentation methods typically rely on local pixel-level information. Due to a lack of global object view, these methods are prone to over- or under-segmentation. On the contrary, the box-based instance segmentation methods incorporate object detection into the segmentation, performing better in identifying the individual instances. In this paper, we propose a new box-based instance segmentation method. Mainly, we locate the object bounding boxes from their center points. The object features are subsequently reused in the segmentation branch as a guide to separate the clustered instances within an RoI patch. Along with the instance normalization, the model is able to recover the target object distribution and suppress the distribution of neighboring attached objects. Consequently, the proposed model performs excellently in segmenting the clustered objects while retaining the target object details. The proposed method achieves state-of-the-art performances on three biological datasets: cell nuclei, plant phenotyping dataset, and neural cells.


title: Smoothed Nested Testing on Directed Acyclic Graphs

abstract: We consider the problem of multiple hypothesis testing when there is a logical nested structure to the hypotheses. When one hypothesis is nested inside another, the outer hypothesis must be false if the inner hypothesis is false. We model the nested structure as a directed acyclic graph, including chain and tree graphs as special cases. Each node in the graph is a hypothesis and rejecting a node requires also rejecting all of its ancestors. We propose a general framework for adjusting node-level test statistics using the known logical constraints. Within this framework, we study a smoothing procedure that combines each node with all of its descendants to form a more powerful statistic. We prove a broad class of smoothing strategies can be used with existing selection procedures to control the familywise error rate, false discovery exceedance rate, or false discovery rate, so long as the original test statistics are independent under the null. When the null statistics are not independent but are derived from positively-correlated normal observations, we prove control for all three error rates when the smoothing method is arithmetic averaging of the observations. Simulations and an application to a real biology dataset demonstrate that smoothing leads to substantial power gains.


title: Testing Criteria for Mobile Apps Based on Callback Sequences

abstract: App quality has been shown to be the most important indicator of app adoption. To assure quality, developers mainly use testing to find bugs in app and apply structural and GUI test coverage criteria. However, mobile apps have more behaviors than the GUI actions, e.g. an app also handles events from sensors and executes long-running background tasks through Android API calls to Services and AsyncTasks. Our studies found that there are important app behaviors via callback interactions that should be covered in testing, as data sharing between callbacks is common and is the cause of many existing bugs. We design a family of test criteria based on callback sequences and use the Callback Control Flow Automata (CCFA) to measure the coverage for testing. Our experiments show that guiding by our criteria, testing can find more bugs and trigger bugs faster than the state-of-the-art tools.


title: Theory challenges at future lepton colliders

abstract: High energy, high luminosity, future lepton colliders, circular or linear, may possibly give us hint about fundamental laws of Nature governing at very short distances and very short time intervals, the same which have brought our Universe to live. Currently considered projects are on one hand linear electron-positron colliders, which offer higher energy and lower beam intensities and on the other hand circular electron-positron colliders, limited in energy but offering tremendous interaction rates. On the far future horizon, muon circular colliders are the only viable projects which can explore $>10$TeV teritory of the lepton colliders. Experiments in all these future colliders will require theoretical calculations, mainly of Standard Model processes (including QED), at the precision level one or even two orders better than available today. After briefly characterization of theory puzzles in the fundamental interactions we shall overview main challenges in the precision calculations of the Standard Model effects, which have to be removed from data, in order to reveal traces of new unexpected phenomena.


title: $\mathbb{Z}_{n}$ superconductivity of composite bosons and the $7/3$ fractional quantum Hall effect

abstract: The topological $p$-wave pairing of composite fermions, believed to be responsible for the 5/2 fractional quantum Hall effect (FQHE), has generated much exciting physics. Motivated by the parton theory of the FQHE, we consider the possibility of a new kind of emergent "superconductivity" in the 1/3 FQHE, which involves condensation of clusters of $n$ composite bosons. From a microscopic perspective, the state is described by the $n\bar{n}111$ parton wave function ${\cal P}_{\rm LLL} \Phi_n\Phi_n^*\Phi_1^3$, where $\Phi_n$ is the wave function of the integer quantum Hall state with $n$ filled Landau levels and ${\cal P}_{\rm LLL}$ is the lowest-Landau-level projection operator. It represents a $\mathbb{Z}_{n}$ superconductor of composite bosons, because the factor $\Phi_1^3\sim \prod_{j<k}(z_j-z_k)^3$, where $z_j=x_j-iy_j$ is the coordinate of the $j$th electron, binds three vortices to electrons to convert them into composite bosons, which then condense into the $\mathbb{Z}_{n}$ superconducting state $|\Phi_n|^2$. From a field theoretical perspective, this state can be understood by starting with the usual Laughlin theory and gauging a $\mathbb{Z}_n$ subgroup of the $U(1)$ charge conservation symmetry. We find from detailed quantitative calculations that the $2\bar{2}111$ and $3\bar{3}111$ states are at least as plausible as the Laughlin wave function for the exact Coulomb ground state at filling $\nu=7/3$, suggesting that this physics is possibly relevant for the 7/3 FQHE. The $\mathbb{Z}_{n}$ order leads to several observable consequences, including quasiparticles with fractionally quantized charges of magnitude $e/(3n)$ and the existence of multiple neutral collective modes. It is interesting that the FQHE may be a promising venue for the realization of exotic $\mathbb{Z}_{n}$ superconductivity.


title: DR-KFS: A Differentiable Visual Similarity Metric for 3D Shape Reconstruction

abstract: We introduce a differential visual similarity metric to train deep neural networks for 3D reconstruction, aimed at improving reconstruction quality. The metric compares two 3D shapes by measuring distances between multi-view images differentiably rendered from the shapes. Importantly, the image-space distance is also differentiable and measures visual similarity, rather than pixel-wise distortion. Specifically, the similarity is defined by mean-squared errors over HardNet features computed from probabilistic keypoint maps of the compared images. Our differential visual shape similarity metric can be easily plugged into various 3D reconstruction networks, replacing their distortion-based losses, such as Chamfer or Earth Mover distances, so as to optimize the network weights to produce reconstructions with better structural fidelity and visual quality. We demonstrate this both objectively, using well-known shape metrics for retrieval and classification tasks that are independent from our new metric, and subjectively through a perceptual study.


title: Experimental validation of the theoretical prediction for the optical $S$ matrix

abstract: Scattering of waves is omnipresent in nature in systems with sizes varying from $10^{-15}$ to $10^{25}$ m. Within this 40 orders of magnitude, in a great number of systems, the scattering can be separated in an averaged response that crosses rapidly the scattering region and a fluctuating delayed response. This fact is the basis of the optical model; the averaged response, represented by the optical matrix $\langle S\rangle$, is composed with the fluctuating part that can be taken as a random matrix. Although the optical model was developed more than 60 years ago, a theoretical prediction for the optical matrix was obtained until very recently. The validity of such prediction is experimentally demonstrated here. This is done studying the scattering of torsional waves in a quasi-1D elastic system in which a locally periodic system is built; the distribution of the scattering matrix is calculated completely free of parameters. In contradistinction to all previous works, in microwaves and in elasticity, in which the value of $\langle S\rangle$ is obtained from the experiment, here the theoretical prediction is used to compare with the experiment. Numerical simulations show that the theoretical value is still valid when strong disorder is present. Several applications of the theoretical expression for the optical matrix in other areas of physics are proposed. Possible extensions of this work are also discussed.

categories: cond-mat.dis-nn cond-mat.mtrl-sci nlin.CD nucl-th


title: Search for hidden particles in intensity frontier experiment SHiP

abstract: Despite the undeniable success of the Standard Model of particle physics (SM) there are some phenomena (neutrino oscillations, baryon asymmetry of the Universe, dark matter, etc.) that SM cannot explain. These phenomena indicate that the SM has to be modified. Most likely there are new particles beyond the SM. There are many experiments to search for new physics that can be divided into two types: energy and intensity frontier. In experiments of the first type, one tries to directly produce and detect new heavy particles. In experiments of the second type, one tries to directly produce and detect new light particles that feebly interact with SM particles. Future intensity frontier SHiP experiment (\textbf{S}earch for \textbf{Hi}dden \textbf{P}articles) at the CERN SPS is discussed. Its advantages and technical characteristics are given.


title: Game theoretical analysis of Kidney Exchange Programs

abstract: The goal of a kidney exchange program (KEP) is to maximize number of transplants within a pool of incompatible patient-donor pairs by exchanging donors. A KEP can be modelled as a maximum matching problem in a graph. A KEP between incompatible patient-donor from pools of several hospitals, regions or countries has the potential to increase the number of transplants. These entities aim is to maximize the transplant benefit for their patients, which can lead to strategic behaviours. Recently, this was formulated as a non-cooperative two-player game and the game solutions (equilibria) were characterized when the entities objective function is the number of their patients receiving a kidney. In this paper, we generalize these results for $N$-players and discuss the impact in the game solutions when transplant information quality is introduced. Furthermore, the game theory model is analyzed through computational experiments on instances generated through the Canada Kidney Paired Donation Program. These experiments highlighting the importance of using the concept of Nash equilibrium, as well as, the anticipation of the necessity to further research for supporting police makers once measures on transplant quality are available.


title: Permissioned Blockchain Through the Looking Glass: Architectural and Implementation Lessons Learned

abstract: Since the inception of Bitcoin, the distributed systems community has shown interest in the design of efficient blockchain systems. However, initial blockchain applications (like Bitcoin) attain very low throughput, which has promoted the design of permissioned blockchain systems. These permissioned blockchain systems employ classical Byzantine-Fault Tolerant (BFT) protocols to reach consensus. However, existing permissioned blockchain systems still attain low throughputs (of the order 10K txns/s). As a result, existing works blame this low throughput on the associated BFT protocol and expend resources in developing optimized protocols. We believe such blames only depict a one-sided story. In specific, we raise a simple question: can a well-crafted system based on a classical BFT protocol outperform a modern protocol? We show that designing such a well-crafted system is possible and illustrate that even if such a system employs a three-phase protocol, it can outperform another system utilizing a single-phase protocol. This endeavor requires us to dissect a permissioned blockchain system and highlight different factors that affect its performance. Based on our insights, we present the design of our enterprise-grade, high-throughput yielding permissioned blockchain system, ResilientDB, that employs multi-threaded deep pipelines, to balance tasks at a replica, and provides guidelines for future designs.


title: Bounded Temporal Fairness for FIFO Financial Markets

abstract: Financial exchange operators cater to the needs of their users while simultaneously ensuring compliance with the financial regulations. In this work, we focus on the operators' commitment for fair treatment of all competing participants. We first discuss unbounded temporal fairness and then investigate its implementation and infrastructure requirements for exchanges. We find that these requirements can be fully met only under ideal conditions and argue that unbounded fairness in FIFO markets is unrealistic. To further support this claim, we analyse several real-world incidents and show that subtle implementation inefficiencies and technical optimizations suffice to give unfair advantages to a minority of the participants. We finally introduce, {\epsilon}-fairness, a bounded definition of temporal fairness and discuss how it can be combined with non-continuous market designs to provide equal participant treatment with minimum divergence from the existing market operation.


title: Convolutional Neural Networks for Direct Detection of Dark Matter

abstract: The XENON1T experiment uses a time projection chamber (TPC) with liquid Xenon to search for Weakly Interacting Massive Particles (WIMPs), a proposed Dark Matter particle, via direct detection. As this experiment relies on capturing rare events, the focus is on achieving a high recall of WIMP events. Hence the ability to distinguish between WIMP and the background is extremely important. To accomplish this, we suggest using Convolutional Neural Networks (CNNs); a Machine Learning procedure mainly used in image recognition tasks. To explore this technique we use XENON collaboration open-source software to simulate the TPC graphical output of Dark Matter signals and main backgrounds. A CNN turns out to be a suitable tool for this purpose, as it can identify features in the images that differentiate the two types of events without the need to manipulate or remove data in order to focus on a particular region of the detector. We find that the CNN can distinguish between the dominant background events (ER) and 500 GeV WIMP events with a recall of 93.4\%, precision of 81.2\% and an accuracy of 87.2\%.


title: Detecting and Characterizing Water Vapor in the Atmospheres of Earth Analogs through Observation of the 0.94 Micron Feature in Reflected Light

abstract: The characterization of rocky, Earth-like planets is an important goal for future large ground- and space-based telescopes. In support of developing an efficient observational strategy, we have applied Bayesian statistical inference to interpret the albedo spectrum of cloudy true-Earth analogs that include a diverse spread in their atmospheric water vapor mixing ratios. We focus on detecting water-bearing worlds by characterizing their atmospheric water vapor content via the strong 0.94$\,\mu$m H$_2$O absorption feature, with several observational configurations. Water vapor is an essential signpost when assessing planetary habitability, and determining its presence is important in vetting whether planets are suitable for hosting life. We find that R=140 spectroscopy of the absorption feature combined with a same-phase green optical photometric point at $0.525-0.575\,\mu$m is capable of distinguishing worlds with less than $0.1\times$ Earth-like water vapor levels from worlds with $1\times$ Earth-like levels or greater at a signal-to-noise ratio of 5 or better with $2\sigma$ confidence. This configuration can differentiate between $0.01\times$ and $0.1\times$ Earth-like levels when the signal-to-noise ratio is 10 or better at the same confidence. However, strong constraints on the water vapor mixing ratio remained elusive with this configuration even at signal-to-noise of 15. We find that adding the same-phase optical photometric point does not significantly help characterize the H$_2$O mixing ratio, but does enable an upper limit on atmospheric ozone levels. Finally, we find that a 0.94$\,\mu$m photometric point, instead of spectroscopy, combined with the green-optical point, fails to produce meaningful information about atmospheric water content.


title: Mixed curvature almost flat manifolds

abstract: We prove a mixed curvature analogue of Gromov's almost flat manifolds theorem for upper sectional and lower Bakry-Emery Ricci curvature bounds.


title: Masses of Light and Heavy Mesons and Baryons: A Unified Picture

abstract: We compute masses of positive parity spin-$1/2$ and $3/2$ baryons composed of $u$, $d$, $s$, $c$ and $b$ quarks in a quark-diaquark picture. The mathematical foundation for this analysis is implemented through a symmetry-preserving Schwinger-Dyson equations treatment of a vector-vector contact interaction, which preserves key features of quantum chromodynamics, such as confinement, chiral symmetry breaking and low energy Goldberger-Treiman relations. This study requires a computation of diquark correlations containing these quarks which in turn are readily inferred from solving the Bethe-Salpeter equations of the corresponding mesons. Therefore, it serves as a unified formalism for a multitude of mesons and baryons. It builds on our previous works on the study of masses, decay constants and form factors of quarkonia and light mesons, employing the same model. We use two sets of parameters, one which remains exactly the same for both the light and heavy sector hadrons, and another where the coupling strength is allowed to evolve according to the available mass scales of quarks. Our results are in very good agreement with the existing experimental data as well as predictions of other theoretical approaches whenever comparison is possible.


title: Fast Non-Parametric Learning to Accelerate Mixed-Integer Programming for Online Hybrid Model Predictive Control

abstract: Today's fast linear algebra and numerical optimization tools have pushed the frontier of model predictive control (MPC) forward, to the efficient control of highly nonlinear and hybrid systems. The field of hybrid MPC has demonstrated that exact optimal control law can be computed, e.g., by mixed-integer programming (MIP) under piecewise-affine (PWA) system models. Despite the elegant theory, online solving hybrid MPC is still out of reach for many applications. We aim to speed up MIP by combining geometric insights from hybrid MPC, a simple-yet-effective learning algorithm, and MIP warm start techniques. Following a line of work in approximate explicit MPC, the proposed learning-control algorithm, LNMS, gains computational advantage over MIP at little cost and is straightforward for practitioners to implement.


title: Express: Lowering the Cost of Metadata-hiding Communication with Cryptographic Privacy

abstract: Existing systems for metadata-hiding messaging that provide cryptographic privacy properties have either high communication costs, high computation costs, or both. In this paper, we introduce Express, a metadata-hiding communication system that significantly reduces both communication and computation costs. Express is a two-server system that provides cryptographic security against an arbitrary number of malicious clients and one malicious server. In terms of communication, Express only incurs a constant-factor overhead per message sent regardless of the number of users, whereas previous cryptographically-secure systems Pung and Riposte had communication costs proportional to roughly the square root of the number of users. In terms of computation, Express only uses symmetric key cryptographic primitives and makes both practical and asymptotic improvements on protocols employed by prior work. These improvements enable Express to increase message throughput, reduce latency, and consume over 100x less bandwidth than Pung and Riposte, dropping the end to end cost of running a realistic whistleblowing application by 6x.


title: Triple Correlation Sums of Coefficients of Cusp Forms

abstract: We produce nontrivial asymptotic estimates for shifted sums of the form $\sum a(h)b(m)c(2m-h)$, in which $a(n),b(n),c(n)$ are un-normalized Fourier coefficients of holomorphic cusp forms. These results are unconditional, but we demonstrate how to strengthen them under the Riemann Hypothesis. As an application, we show that there are infinitely many three term arithmetic progressions $n-h, n, n+h$ such that $a(n-h)a(n)a(n+h) \neq 0$.


title: REVAMP$^2$T: Real-time Edge Video Analytics for Multi-camera Privacy-aware Pedestrian Tracking

abstract: This article presents REVAMP$^2$T, Real-time Edge Video Analytics for Multi-camera Privacy-aware Pedestrian Tracking, as an integrated end-to-end IoT system for privacy-built-in decentralized situational awareness. REVAMP$^2$T presents novel algorithmic and system constructs to push deep learning and video analytics next to IoT devices (i.e. video cameras). On the algorithm side, REVAMP$^2$T proposes a unified integrated computer vision pipeline for detection, re-identification, and tracking across multiple cameras without the need for storing the streaming data. At the same time, it avoids facial recognition, and tracks and re-identifies pedestrians based on their key features at runtime. On the IoT system side, REVAMP$^2$T provides infrastructure to maximize hardware utilization on the edge, orchestrates global communications, and provides system-wide re-identification, without the use of personally identifiable information, for a distributed IoT network. For the results and evaluation, this article also proposes a new metric, Accuracy$\cdot$Efficiency (\AE), for holistic evaluation of IoT systems for real-time video analytics based on accuracy, performance, and power efficiency. REVAMP$^2$T outperforms current state-of-the-art by as much as thirteen-fold \AE~improvement.