title: SDSS-IV MaNGA: Effects of Morphology in the global and local Star Formation Main Sequences

abstract: We study the global star-formation rate (SFR) vs. stellar mass (M$_*$) correlation, and the spatially-resolved SFR surface density ($\Sigma_{SFR}$) vs. stellar mass surface density (\Sm) correlation, in a sample of $\sim2,000$ galaxies from the MaNGA MPL-5 survey. We classify galaxies and spatially-resolved areas into star-forming and retired according to their ionization processes. We confirm the existence of a Star-Forming Main Sequence (SFMS) for galaxies and spatially-resolved areas, and show that they have the same nature, with the global as a consequence of the local one. The latter presents a bend below a limit \Sm value, $\approx 3\times 10^7$ M$_\odot$kpc$^{-2}$, which is not physical. Using only star-forming areas (SFAs) above this limit, a slope and a scatter of $\approx1$ and $\approx0.27$ dex are determined. The retired galaxies/areas strongly segregate from their respective SFMS's, by $\sim -1.5$ dex on average. We explore how the global/local SFMS's depend on galaxy morphology, finding that for star-forming galaxies and SFAs, there is a trend to lower values of star-formation activity with earlier morphological types, which is more pronounced for the local SFMS. The morphology not only affects the global SFR due to the diminish of SFAs with earlier types, but also affects the local SF process. Our results suggest that the local SF at all radii is established by some universal mechanism partially modulated by morphology. Morphology seems to be connected to the slow aging and sharp decline of the SF process, and on its own it may depend on other properties as the environment.


title: Quantum interference between photons from an atomic ensemble and a remote atomic ion

abstract: Advances in the distribution of quantum information will likely require entanglement shared across a hybrid quantum network. Many entanglement protocols require the generation of indistinguishable photons between the various nodes of the network. This is challenging in a hybrid environment due to typically large differences in the spectral and temporal characteristics of single photons generated in different systems. Here we show, for the first time, quantum interference between photons generated from a single atomic ion and an atomic ensemble, located in different buildings and linked via optical fibre. Trapped ions are leading candidates for quantum computation and simulation with good matter-to-photon conversion. Rydberg excitations in neutral-atom ensembles show great promise as interfaces for the storage and manipulation of photonic qubits with excellent efficiencies. Our measurement of high-visibility interference between photons generated by these two, disparate systems is an important building block for the establishment of a hybrid quantum network.


title: The Origin of Elements Across Cosmic Time: Astro2020 Science White Paper

abstract: The problem of the origin of the elements is a fundamental one in astronomy and one that has many open questions. Prominent examples include (1) the nature of Type Ia supernovae and the timescale of their contributions; (2) the observational identification of elements such as titanium and potassium with the $\alpha$-elements in conflict with core-collapse supernova predictions; (3) the number and relative importance of r-process sites; (4) the origin of carbon and nitrogen and the influence of mixing and mass loss in winds; and (5) the origin of the intermediate elements, such as Cu, Ge, As, and Se, that bridge the region between charged-particle and neutron-capture reactions. The next decade will bring to maturity many of the new tools that have recently made their mark, such as large-scale chemical cartography of the Milky Way and its satellites, the addition of astrometric and asteroseismic information, the detection and characterization of gravitational wave events, 3-D simulations of convection and model atmospheres, and improved laboratory measurements for transition probabilities and nuclear masses. All of these areas are key for continued improvement, and such improvement will benefit many areas of astrophysics.


title: On Adversarial Removal of Hypothesis-only Bias in Natural Language Inference

abstract: Popular Natural Language Inference (NLI) datasets have been shown to be tainted by hypothesis-only biases. Adversarial learning may help models ignore sensitive biases and spurious correlations in data. We evaluate whether adversarial learning can be used in NLI to encourage models to learn representations free of hypothesis-only biases. Our analyses indicate that the representations learned via adversarial learning may be less biased, with only small drops in NLI accuracy.


title: A Novel Contactless Human Machine Interface based on Machine Learning

abstract: This paper describes a global framework that enables contactless human machine interaction using computer vision and machine learning techniques. The main originality of our framework is that only a very simple image acquisition device, as a computer camera, is sufficient to establish a rich human machine interaction as traditional devices such as mouse or keyboard. This framework is based on well known computer vision techniques and efficient machine learning techniques are used to detect and track user hand gestures so the end user can control his computer using virtual interfaces with very simple gestures.


title: Some constructions of quantum MDS codes

abstract: We construct quantum MDS codes with parameters $ [\![ q^2+1,q^2+3-2d,d ]\!] _q$ for all $d \leqslant q+1$, $d \neq q$. These codes are shown to exist by proving that there are classical generalised Reed-Solomon codes which contain their Hermitian dual. These constructions include many constructions which were previously known but in some cases these codes are new. We go on to prove that if $d\geqslant q+2$ then there is no generalised Reed-Solomon $[n,n-d+1,d]_{q^2}$ code which contains its Hermitian dual. We also construct an $ [\![ 18,0,10 ]\!] _5$ quantum MDS code, an $ [\![ 18,0,10 ]\!] _7$ quantum MDS code and a $ [\![ 14,0,8 ]\!] _5$ quantum MDS code, which are the first quantum MDS codes discovered for which $d \geqslant q+3$, apart from the $ [\![ 10,0,6 ]\!] _3$ quantum MDS code derived from Glynn's code.


title: Finite Regret and Cycles with Fixed Step-Size via Alternating Gradient Descent-Ascent

abstract: Gradient descent is arguably one of the most popular online optimization methods with a wide array of applications. However, the standard implementation where agents simultaneously update their strategies yields several undesirable properties; strategies diverge away from equilibrium and regret grows over time. In this paper, we eliminate these negative properties by introducing a different implementation to obtain finite regret via arbitrary fixed step-size. We obtain this surprising property by having agents take turns when updating their strategies. In this setting, we show that an agent that uses gradient descent obtains bounded regret -- regardless of how their opponent updates their strategies. Furthermore, we show that in adversarial settings that agents' strategies are bounded and cycle when both are using the alternating gradient descent algorithm.


title: GPU Accelerated Contactless Human Machine Interface for Driving Car

abstract: In this paper we present an original contactless human machine interface for driving car. The proposed framework is based on the image sent by a simple camera device, which is then processed by various computer vision algorithms. These algorithms allow the isolation of the user's hand on the camera frame and translate its movements into orders sent to the computer in a real time process. The optimization of the implemented algorithms on graphics processing unit leads to real time interaction between the user, the computer and the machine. The user can easily modify or create the interfaces displayed by the proposed framework to fit his personnel needs. A contactless driving car interface is here produced to illustrate the principle of our framework.


title: Decentralized Dynamic Task Allocation in Swarm Robotic Systems for Disaster Response

abstract: Multiple robotic systems, working together, can provide important solutions to different real-world applications (e.g., disaster response), among which task allocation problems feature prominently. Very few existing decentralized multi-robotic task allocation (MRTA) methods simultaneously offer the following capabilities: consideration of task deadlines, consideration of robot range and task completion capacity limitations, and allowing asynchronous decision-making under dynamic task spaces. To provision these capabilities, this paper presents a computationally efficient algorithm that involves novel construction and matching of bipartite graphs. Its performance is tested on a multi-UAV flood response application.


title: Heterotic/Heterotic and Heterotic/F-theory Duality

abstract: We consider heterotic target space dual (0,2) GLSMs on elliptically fibered Calabi-Yau manifolds. In this context, each half of the "dual" heterotic theories must in turn have an F-theory dual. Moreover, the apparent relationship between two heterotic compactifications seen in (0,2) heterotic target space dual pairs should, in principle, induce some putative correspondence between the dual F-theory geometries. It has previously been conjectured in the literature that (0,2) target space duality might manifest in F-theory as multiple K3-fibrations of the same elliptically fibered Calabi-Yau manifold. In this work we investigate this conjecture in the context of both 6-dimensional and 4-dimensional effective theories and demonstrate that in general, (0,2) target space duality cannot be explained by such a simple phenomenon alone. In all cases, we provide evidence that non-geometric data in F-theory must play at least some role in the induced F-theory correspondence, while leaving the full determination of the putative new F-theory duality to future work.


title: Informative Path Planning with Local Penalization for Decentralized and Asynchronous Swarm Robotic Search

abstract: Decentralized swarm robotic solutions to searching for targets that emit a spatially varying signal promise task parallelism, time efficiency, and fault tolerance. It is, however, challenging for swarm algorithms to offer scalability and efficiency, while preserving mathematical insights into the exhibited behavior. A new decentralized search method (called Bayes-Swarm), founded on batch Bayesian Optimization (BO) principles, is presented here to address these challenges. Unlike swarm heuristics approaches, Bayes-Swarm decouples the knowledge generation and task planning process, thus preserving insights into the emergent behavior. Key contributions lie in: 1) modeling knowledge extraction over trajectories, unlike in BO; 2) time-adaptively balancing exploration/exploitation and using an efficient local penalization approach to account for potential interactions among different robots' planned samples; and 3) presenting an asynchronous implementation of the algorithm. This algorithm is tested on case studies with bimodal and highly multimodal signal distributions. Up to 76 times better efficiency is demonstrated compared to an exhaustive search baseline. The benefits of exploitation/exploration balancing, asynchronous planning, and local penalization, and scalability with swarm size, are also demonstrated.


title: Selling Information Through Consulting

abstract: We consider a monopoly information holder selling information to a budget-constrained decision maker, who may benefit from the seller's information. The decision maker has a utility function that depends on his action and an uncertain state of the world. The seller and the buyer each observe a private signal regarding the state of the world, which may be correlated with each other. The seller's goal is to sell her private information to the buyer and extract maximum possible revenue, subject to the buyer's budget constraints. We consider three different settings with increasing generality, i.e., the seller's signal and the buyer's signal can be independent, correlated, or follow a general distribution accessed through a black-box sampling oracle. For each setting, we design information selling mechanisms which are both optimal and simple in the sense that they can be naturally interpreted, have succinct representations, and can be efficiently computed. Notably, though the optimal mechanism exhibits slightly increasing complexity as the setting becomes more general, all our mechanisms share the same format of acting as a consultant who recommends the best action to the buyer but uses different and carefully designed payment rules for different settings. Each of our optimal mechanisms can be easily computed by solving a single polynomial-size linear program. This significantly simplifies exponential-size LPs solved by the Ellipsoid method in the previous work, which computes the optimal mechanisms in the same setting but without budget limit. Such simplification is enabled by our new characterizations of the optimal mechanism in the (more realistic) budget-constrained setting.


title: Spectral sets in $\mathbb{Z}_{p^2qr}$ tile

abstract: We prove the every spectral set in $\mathbb{Z}_{p^2qr}$ tiles, where $p$, $q$ and $r$ are primes. Combining this with a recent result of Malikiosis we obtain that Fuglede's conjecture holds for $\mathbb{Z}_{p^2qr}$.


title: New Competitiveness Bounds for the Shared Memory Switch

abstract: We consider one of the simplest and best known buffer management architectures: the shared memory switch with multiple output queues and uniform packets. It was one of the first models studied by competitive analysis, with the Longest Queue Drop (LQD) buffer management policy shown to be at least $\sqrt{2}$- and at most $2$-competitive; a general lower bound of $4/3$ has been proven for all deterministic online algorithms. Closing the gap between $\sqrt{2}$ and $2$ has remained an open problem in competitive analysis for more than a decade, with only marginal success in reducing the upper bound of $2$. In this work, we first present a simplified proof for the $\sqrt{2}$ lower bound for LQD and then, using a reduction to the continuous case, improve the general lower bound for all deterministic online algorithms from $\frac 43$ to $\sqrt{2}$. Then, we proceed to improve the lower bound of $\sqrt{2}$ specifically for LQD, showing that LQD is at least $1.44546086$-competitive. We are able to prove the bound by presenting an explicit construction of the optimal clairvoyant algorithm which then allows for two different ways to prove lower bounds: by direct computer simulations and by proving lower bounds via linear programming. The linear programming approach yields a lower bound for LQD of $1.4427902$ (still larger than $\sqrt{2}$).


title: The Ad Types Problem

abstract: The Ad Types Problem (without gap rules) is a special case of the assignment problem in which there are $k$ types of nodes on one side (the ads), and an ordered set of nodes on the other side (the slots). The edge weight of an ad $i$ of type $\theta$ to slot $j$ is $v_i\cdot \alpha^{\theta}_j$ where $v_i$ is an advertiser-specific value and each ad type $\theta$ has a discount curve $\alpha^{(\theta)}_{1} \ge \alpha^{(\theta)}_{2} \ge ... \ge 0$ over the slots that is common for ads of type $\theta$. We present two contributions for this problem: 1) we give an algorithm that finds the maximum weight matching that runs in $O(n^2(k + \log n))$ time for $n$ slots and $n$ ads of each type---cf. $O(kn^3)$ when using the Hungarian algorithm---, and 2) we show to do VCG pricing in asymptotically the same time, namely $O(n^2(k + \log n))$, and apply reserve prices in $O(n^3(k + \log n))$. The Ad Types Problem (with gap rules) includes a matrix $G$ such that after we show an ad of type $\theta_i$, the next $G_{ij}$ slots cannot show an ad of type $\theta_j$. We show that the problem is hard to approximate within $k^{1- \epsilon}$ for any $\epsilon > 0$ (even without discount curves) by reduction from Maximum Independent Set. On the positive side, we show a Dynamic Program formulation that solves the problem (including discount curves) optimally and runs in $O(k\cdot n^{2k + 1})$ time.


title: Polynomial Linear System Solving with Errors by Simultaneous Polynomial Reconstruction of Interleaved Reed-Solomon Codes

abstract: In this paper we present a new algorithm for Polynomial Linear System Solving (via evaluation/interpolation) with errors. In this scenario, errors can occur in the black box evaluation step. We improve the bound on the number of errors that we can correct, using techniques inspired by the decoding procedure of Interleaved Reed-Solomon Codes.


title: Lectures on Reheating after Inflation

abstract: This lecture note provides a generic introduction to reheating after inflation, covering theoretical, phenomenological and observational aspects of the process.


title: Zero-velocity atom interferometry using a retroreflected frequency chirped laser

abstract: Atom interferometry using stimulated Raman transitions in a retroreflected configuration is the first choice in high precision measurements because it provides low phase noise, high quality Raman wavefront and simple experimental setup. However, it cannot be used for atoms at zero velocity because two pairs of Raman lasers are simultaneously resonant. Here we report a method which allows to lift this degeneracy by using a frequency chirp on the Raman lasers. Using this technique, we realize a Mach-Zehnder atom interferometer hybridized with a force balanced accelerometer which provides horizontal acceleration measurements with a short-term sensitivity of $3.2\times 10^{-5}$ m.s$^{-2}$/$\sqrt{Hz}$. We check at the level of precision of our experiment the absence of bias induced by this method. This technique could be used for multiaxis inertial sensors, tiltmeters or atom interferometry in a microgravity environment.


title: A New Stereo Benchmarking Dataset for Satellite Images

abstract: In order to facilitate further research in stereo reconstruction with multi-date satellite images, the goal of this paper is to provide a set of stereo-rectified images and the associated groundtruthed disparities for 10 AOIs (Area of Interest) drawn from two sources: 8 AOIs from IARPA's MVS Challenge dataset and 2 AOIs from the CORE3D-Public dataset. The disparities were groundtruthed by first constructing a fused DSM from the stereo pairs and by aligning 30 cm LiDAR with the fused DSM. Unlike the existing benckmarking datasets, we have also carried out a quantitative evaluation of our groundtruthed disparities using human annotated points in two of the AOIs. Additionally, the rectification accuracy in our dataset is comparable to the same in the existing state-of-the-art stereo datasets. In general, we have used the WorldView-3 (WV3) images for the dataset, the exception being the UCSD area for which we have used both WV3 and WorldView-2 (WV2) images. All of the dataset images are now in the public domain. Since multi-date satellite images frequently include images acquired in different seasons (which creates challenges in finding corresponding pairs of pixels for stereo), our dataset also includes for each image a building mask over which the disparities estimated by stereo should prove reliable. Additional metadata included in the dataset includes information about each image's acquisition date and time, the azimuth and elevation angles of the camera, and the intersection angles for the two views in a stereo pair. Also included in the dataset are both quantitative and qualitative analyses of the accuracy of the groundtruthed disparity maps. Our dataset is available for download at \url{https://engineering.purdue.edu/RVL/Database/SatStereo/index.html}


title: $L_p$ Pattern Matching in a Stream

abstract: We consider the problem of computing distance between a pattern of length $n$ and all $n$-length subwords of a text in the streaming model. In the streaming setting, only the Hamming distance ($L_0$) has been studied. It is known that computing the exact Hamming distance between a pattern and a streaming text requires $\Omega(n)$ space (folklore). Therefore, to develop sublinear-space solutions, one must relax their requirements. One possibility to do so is to compute only the distances bounded by a threshold $k$, see~[SODA'19, Clifford, Kociumaka, Porat] and references therein. The motivation for this variant of this problem is that we are interested in subwords of the text that are similar to the pattern, i.e. in subwords such that the distance between them and the pattern is relatively small. On the other hand, the main application of the streaming setting is processing large-scale data, such as biological data. Recent advances in hardware technology allow generating such data at a very high speed, but unfortunately, the produced data may contain about 10\% of noise~[Biol. Direct.'07, Klebanov and Yakovlev]. To analyse such data, it is not sufficient to consider small distances only. A possible workaround for this issue is the $(1\pm\varepsilon)$-approximation. This line of research was initiated in [ICALP'16, Clifford and Starikovskaya] who gave a $(1\pm\varepsilon)$-approximation algorithm with space~$\tilde{O}(\varepsilon^{-5}\sqrt{n})$. In this work, we show a suite of new streaming algorithms for computing the Hamming, $L_1$, $L_2$ and general $L_p$ ($0 < p < 2$) distances between the pattern and the text. Our results significantly extend over the previous result in this setting. In particular, for the Hamming distance and for the $L_p$ distance when $0 < p \le 1$ we show a streaming algorithm that uses $\tilde{O}(\varepsilon^{-2}\sqrt{n})$ space for polynomial-size alphabets.


title: Faster provable sieving algorithms for the Shortest Vector Problem and the Closest Vector Problem on lattices in $\ell_p$ norm

abstract: In this work, we give provable sieving algorithms for the Shortest Vector Problem (SVP) and the Closest Vector Problem (CVP) on lattices in $\ell_p$ norm ($1\leq p\leq\infty$). The running time we obtain is better than existing provable sieving algorithms. We give a new linear sieving procedure that works for all $\ell_p$ norm ($1\leq p\leq\infty$). The main idea is to divide the space into hypercubes such that each vector can be mapped efficiently to a sub-region. We achieve a time complexity of $2^{2.751n+o(n)}$, which is much less than the $2^{3.849n+o(n)}$ complexity of the previous best algorithm. We also introduce a mixed sieving procedure, where a point is mapped to a hypercube within a ball and then a quadratic sieve is performed within each hypercube. This improves the running time, especially in the $\ell_2$ norm, where we achieve a time complexity of $2^{2.25n+o(n)}$, while the List Sieve Birthday algorithm has a running time of $2^{2.465n+o(n)}$. We adopt our sieving techniques to approximation algorithms for SVP and CVP in $\ell_p$ norm ($1\leq p\leq\infty$) and show that our algorithm has a running time of $2^{2.001n+o(n)}$, while previous algorithms have a time complexity of $2^{3.169n+o(n)}$.


title: Sentiment Analysis Challenges in Persian Language

abstract: The rapid growth in data on the internet requires a data mining process to reach a decision to support insight. The Persian language has strong potential for deep research in any aspect of natural language processing, especially sentimental analysis approach. Thousands of websites and blogs updates and modifies by Persian users around the world that contains millions of Persian context. This range of application requires a comprehensive structured framework to extract beneficial information for helping enterprises to enhance their business and initiate a customer-centric management process by producing effective recommender systems. Sentimental analysis is an intelligent approach for extracting useful information from huge amounts of data to help an enterprise for smart management process. In this road, machine learning and deep learning techniques will become very helpful but there is the number of challenges which are face to them. This paper tried to present and assert the most important challenges of sentimental analysis in the Persian language. This language is an Indo-European language which spoken by over 110 million people around the world and is an official language in Iran, Tajikistan, and Afghanistan. Its also widely used in Uzbekistan, Pakistan and Turkish by order.


title: SAT Solvers and Computer Algebra Systems: A Powerful Combination for Mathematics

abstract: Over the last few decades, many distinct lines of research aimed at automating mathematics have been developed, including computer algebra systems (CASs) for mathematical modelling, automated theorem provers for first-order logic, SAT/SMT solvers aimed at program verification, and higher-order proof assistants for checking mathematical proofs. More recently, some of these lines of research have started to converge in complementary ways. One success story is the combination of SAT solvers and CASs (SAT+CAS) aimed at resolving mathematical conjectures. Many conjectures in pure and applied mathematics are not amenable to traditional proof methods. Instead, they are best addressed via computational methods that involve very large combinatorial search spaces. SAT solvers are powerful methods to search through such large combinatorial spaces---consequently, many problems from a variety of mathematical domains have been reduced to SAT in an attempt to resolve them. However, solvers traditionally lack deep repositories of mathematical domain knowledge that can be crucial to pruning such large search spaces. By contrast, CASs are deep repositories of mathematical knowledge but lack efficient general search capabilities. By combining the search power of SAT with the deep mathematical knowledge in CASs we can solve many problems in mathematics that no other known methods seem capable of solving. We demonstrate the success of the SAT+CAS paradigm by highlighting many conjectures that have been disproven, verified, or partially verified using our tool MathCheck. These successes indicate that the paradigm is positioned to become a standard method for solving problems requiring both a significant amount of search and deep mathematical reasoning. For example, the SAT+CAS paradigm has recently been used by Heule, Kauers, and Seidl to find many new algorithms for $3\times3$ matrix multiplication.


title: Global Optimality Guarantees for Nonconvex Unsupervised Video Segmentation

abstract: In this paper, we consider the problem of unsupervised video object segmentation via background subtraction. Specifically, we pose the nonsemantic extraction of a video's moving objects as a nonconvex optimization problem via a sum of sparse and low-rank matrices. The resulting formulation, a nonnegative variant of robust principal component analysis, is more computationally tractable than its commonly employed convex relaxation, although not generally solvable to global optimality. In spite of this limitation, we derive intuitive and interpretable conditions on the video data under which the uniqueness and global optimality of the object segmentation are guaranteed using local search methods. We illustrate these novel optimality criteria through example segmentations using real video data.


title: Conjectures about the structure of strong- and weak-coupling expansions of a few ground-state observables in the Lieb-Liniger and Yang-Gaudin models

abstract: In this paper, we apply experimental number theory to two integrable quantum models in one dimension, the Lieb-Liniger Bose gas and the Yang-Gaudin Fermi gas with contact interactions. We identify patterns in weak- and strong-coupling series expansions of the ground-state energy, local correlation functions and pressure. Based on the most accurate data available in the literature, we make a few conjectures about their mathematical structure and extrapolate to higher orders.

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


title: Split Hopf algebras, quasi-shuffle algebras, and the cohomology of Omega Sigma X

abstract: Let A and B be two connected graded commutative k-algebras of finite type, where k is a perfect field of positive characteristic p. We prove that the quasi--shuffle algebras generated by A and B are isomorphic as Hopf algebras if and only if A and B are isomorphic as graded k-vector spaces equipped with a Frobenius (pth-power) map. For the hardest part of this analysis, we work with the dual construction, and are led to study connected graded cocommutative Hopf algebras H with two additional properties: H is free as an associative algebra, and the projection onto the indecomposables is split as a morphism of graded k-vector spaces equipped with a Verschiebung map. Building on work on non-commutative Witt vectors by Goerss, Lannes, and Morel, we classify such free, `split' Hopf algebras. A topological consequence is that, if X is a based path connected space, then the Hopf algebra H^*(Omega Sigma X;k) is determined by the stable homotopy type of X. We also discuss the much easier analogous characteristic 0 results, and give a characterization of when our quasi--shuffle algebras are polynomial, generalizing the so-called Ditters conjecture.


title: Modeling the relationship between regional activation and functional connectivity during wakefulness and sleep

abstract: Global brain activity self-organizes into discrete patterns characterized by distinct behavioral observables and modes of information processing. The human thalamocortical system is a densely connected network where local neural activation reciprocally influences coordinated collective dynamics. We introduce a semi-empirical model to investigate the relationship between regional activation and long-range functional connectivity in the different brain states visited during the natural wake-sleep cycle. Our model combines functional magnetic resonance imaging (fMRI) data, in vivo estimates of structural connectivity, and anatomically-informed priors that constrain the independent variation of regional activation. As expected, priors based on functionally coherent networks resulted in the best fit between empirical and simulated brain activity. We show that sleep progressively divided the cortex into regions presenting opposite dynamical behavior: frontoparietal regions approached a bifurcation towards local oscillatory dynamics, while sensorimotor regions presented stable dynamics governed by noise. In agreement with human electrophysiological experiments, sleep onset induced subcortical deactivation and uncoupling, which was subsequently reversed for deeper stages. Finally, we introduced external forcing of variable intensity to simulate external perturbations, and identifiedthe key regionsespecially relevant for the recovery of wakefulness from deep sleep. Our model represents sleep as a state where long-range decoupling and regional deactivation coexist with the latent capacity for a rapid transition towards wakefulness. The mechanistic insights provided by our simulations allow the in silico parametric exploration of such transitions in terms of external perturbations, with potential applications for the control of physiological and pathological brain states.


title: On Approximating Partial Set Cover and Generalizations

abstract: Partial Set Cover (PSC) is a generalization of the well-studied Set Cover problem (SC). In PSC the input consists of an integer $k$ and a set system $(U,S)$ where $U$ is a finite set, and $S \subseteq 2^U$ is a collection of subsets of $U$. The goal is to find a subcollection $S' \subseteq S$ of smallest cardinality such that sets in $S'$ cover at least $k$ elements of $U$; that is $|\cup_{A \in S'} A| \ge k$. SC is a special case of PSC when $k = |U|$. In the weighted version each set $X \in S$ has a non-negative weight $w(X)$ and the goal is to find a minimum weight subcollection to cover $k$ elements. Approximation algorithms for SC have been adapted to obtain comparable algorithms for PSC in various interesting cases. In recent work Inamdar and Varadarajan, motivated by geometric set systems, obtained a simple and elegant approach to reduce PSC to SC via the natural LP relaxation. They showed that if a deletion-closed family of SC admits a $\beta$-approximation via the natural LP relaxation, then one can obtain a $2(\beta + 1)$-approximation for PSC on the same family. In a subsequent paper, they also considered a generalization of PSC that has multiple partial covering constraints which is partly inspired by and generalizes previous work of Bera et al on the Vertex Cover problem. Our main goal in this paper is to demonstrate some useful connections between the results in previous work and submodularity. This allows us to simplify, and in some cases improve their results. We improve the approximation for PSC to $(1-1/e)(\beta + 1)$. We extend the previous work to the sparse setting.


title: Mixed finite elements for convection-coupled phase-change in enthalpy form: Open software verified and applied to 2D benchmarks

abstract: Melting and solidification processes are often affected by natural convection of the liquid, posing a multi-physics problem involving fluid flow, convective and diffusive heat transfer, and phase-change reactions. Enthalpy methods formulate this convection-coupled phase-change problem on a single computational domain. The governing equations can be solved accurately with a monolithic approach using mixed finite elements and Newton's method. Previously, the monolithic approach has relied on adaptive mesh refinement to regularize local nonlinearities at phase interfaces. This contribution instead separates mesh refinement from nonlinear problem regularization and provides a continuation procedure which robustly obtains accurate solutions on the tested 2D uniform meshes. A flexible and extensible open source implementation is provided. The code is formally verified to accurately solve the governing equations in time and in 2D space, and convergence rates are shown. Two benchmark simulations are presented in detail with comparison to experimental data sets and corresponding results from the literature, one for the melting of octadecane and another for the freezing of water. Sensitivities to key numerical parameters are presented. For the case of freezing water, effective reduction of numerical errors from these key parameters is successfully demonstrated. Two more simulations are briefly presented, one for melting at a higher Rayleigh number and one for melting gallium.


title: Enhancement of Resolution and Propagation Length by Sources with Temporal Decay in Plasmonic Devices

abstract: Highly lossy nature of metals has severely limited the scope of practical applications of plasmonics. The conventional approach to circumvent this limitation has been to search for new materials with more favorable dielectric properties (e.g., reduced loss), or to incorporate gain media to overcome the inherent loss. In this study, however, we turn our attention to the source and show that, by imposing temporal decay on the excitation, SPP modes with simultaneous complex frequencies and complex wave vectors can be excited with enhanced resolution and propagation length. Therefore, to understand the underlying physics of these phenomena and, in turn, to be able to tune them for specific applications, we propose a framework of pseudo-monochromatic modes that are generated by introducing exponential decays into otherwise monochromatic sources. Within this framework, the dispersion relation of complex SPPs is re-evaluated and cast to be a surface rather than a curve, depicting all possible $\omega-k$ pairs (both complex in general) that are supported by the given geometry. Since the improvement in resolution and propagation length due to the introduction of temporal decay to the excitation is rather counter-intuitive (i.e., adding temporal loss improves the propagation length), the dispersion-based theoretical predictions have been validated via the FDTD simulations of Maxwell's equations in the same geometry without any a priori assumptions on the frequency or the wave vector. Moreover, improvement in resolution with the temporal decay has been demonstrated in a plasmonic superlens structure to further validate the predictions.


title: Block-avoiding point sequencings of arbitrary length in Steiner triple systems

abstract: An $\ell$-good sequencing of an STS$(v)$ is a permutation of the points of the design such that no $\ell$ consecutive points in this permutation contain a block of the design. We prove that, for every integer $\ell \geq 3$, there is an $\ell$-good sequencing of any STS$(v)$ provided that $v$ is sufficiently large. We also prove some new nonexistence results for $\ell$-good sequencings of STS$(v)$.


title: Improving Solve Time of aggregation-based adaptive AMG

abstract: This paper proposes improving the solve time of a bootstrap AMG designed previously by the authors. This is achieved by incorporating the information, set of algebraically smooth vectors, generated by the bootstrap algorithm, in a single hierarchy by using sufficiently large aggregates, and these aggregates are compositions of aggregates already built throughout the bootstrap algorithm. The modified AMG method has good convergence properties and shows significant reduction in both, memory and solve time. These savings with respect to the original bootstrap AMG are illustrated on some difficult (for standard AMG) linear systems arising from discretization of scalar and vector function elliptic partial differential equations (PDEs) in both 2d and 3d.


title: $\mathbb{T}$-operator bounds on angle-integrated absorption and thermal radiation for arbitrary objects

abstract: We derive fundamental per-channel bounds on angle-integrated absorption and thermal radiation for arbitrary bodies---for any given material susceptibility and bounding region---that simultaneously encode both the per-volume limit on polarization set by passivity and geometric constraints on radiative efficiencies set by finite object sizes through the scattering $\mathbb{T}$-operator. We then analyze these bounds in two practical settings, comparing against prior limits as well as near optimal structures discovered through topology optimization. Principally, we show that the bounds properly capture the physically observed transition from the volume scaling of absorptivity seen in deeply subwavelength objects (nanoparticle radius or thin film thickness) to the area scaling of absorptivity seen in ray optics (blackbody limits).


title: Toward an effective theory of quarkonium production in nuclear matter

abstract: These proceedings are dedicated to Miklos Gyulassy's 70$^{\rm th}$ birthday. In his long and distinguished career he has made seminal contributions to many areas of heavy ion theory, including early papers on quarkonium phenomenology in fixed-target heavy ion experiments. Theoretical and experimental studies of the $J/\psi$ and $\Upsilon$ states have evolved considerably in the past decades, and I describe a recent generalization of non-relativistic Quantum Chromodynamics to include interactions in a generic nuclear medium. NRQCD with Glauber gluons aims to provide a universal microscopic description of the interaction of heavy quarkonia in a range of phases that include cold nuclear matter, dense hadron gas, and quark-gluon plasma. Such effective field theory is an important step toward understanding the common trends in proton-nucleus and nucleus-nucleus data on quarkonium suppression.


title: Sublinear data structures for short Fr\'echet queries

abstract: We study metric data structures for curves in doubling spaces, such as trajectories of moving objects in Euclidean $\mathbb{R}^d$, where the distance between two curves is measured using the discrete Fr\'echet distance. We design data structures in an \emph{asymmetric} setting where the input is a curve (or a set of $n$ curves) each of complexity $m$ and the queries are with curves of complexity $k\ll m$. We show that there exist approximate data structures that are independent of the input size $N = d \cdot n \cdot m$ and we study how to maintain them dynamically if the input is given in the stream. Concretely, we study two types of data structures: (i) distance oracles, where the task is to store a compressed version of the input curve, which can be used to answer queries for the distance of a query curve to the input curve, and (ii) nearest-neighbor data structures, where the task is to preprocess a set of input curves to answer queries for the input curve closest to the query curve. In both cases we are interested in approximation. For curves embedded in Euclidean $\mathbb{R}^d$ with constant $d$, our distance oracle uses space in $\mathcal{O}((k \log(\epsilon^{-1}) \epsilon^{-d})^k)$ ($\epsilon$ is the precision parameter). The oracle performs $(1+\epsilon)$-approximate queries in time in $\mathcal{O}(k^2)$ and is deterministic. We show how to maintain this distance oracle in the stream using polylogarithmic additional memory. In the stream, we can dynamically answer distance queries to the portion of the stream seen so far in $\mathcal{O}(k^4 \log^2 m)$ time. We apply our techniques to the second problem, approximate near neighbor (ANN) data structures, and achieve an exponential improvement in the dependency on the complexity of the input curves compared to the state of the art.


title: Adaptive elliptical aperture photometry: a software package for high-cadence ground-based photometry. I. Application to rapid oscillators observed from SAAO

abstract: Context. Modern space telescopes are currently providing high-precision light curves for a large fraction of the sky, such that many new variable stars are being discovered. However, some stars have periodic variability with periods of order minutes and require high-cadence photometry to probe the physical mechanisms responsible. A cadence of less than a minute is often required to remove Nyquist ambiguities and confirm rapid variability which forces observers to obtain high-cadence ground-based photometry. Aims. We aim to provide a modern software package to reduce ground-based photometric time series data and deliver optimised (differential) light curves. To produce high-quality light curves, which maximise the amplitude signal-to-noise ratio of short-period variability in a Fourier spectrum, we require adaptive elliptical aperture photometry as this represents a significant advantage compared to aperture photometry using circular apertures of fixed radii. Methods. The methodology of our code and its advantages are demonstrated using high-cadence ground-based photometry from the South African Astronomical Observatory (SAAO) of a confirmed rapidly oscillating Ap (roAp) star. Furthermore, we employ our software package to search for rapid oscillations in three candidate roAp stars. Results. We demonstrate that our pipeline represents a significant improvement in the quality of light curves, and we make it available to the community for use with different instruments and observatories. We search for and demonstrate the lack of high-frequency roAp pulsations to a limit of $\sim$1 mmag using B data in the three Ap stars HD 158596, HD 166542 and HD 181810. Conclusions. We demonstrate the significant improvement in the extraction of short-period variability caused by high-frequency pulsation modes, and discuss the implication of null detections in three Ap stars.


title: Nonlinear price dynamics of S&P 100 stocks

abstract: The methodology presented provides a quantitative way to characterize investor behavior and price dynamics within a particular asset class and time period. The methodology is applied to a data set consisting of over 250,000 data points of the S&P 100 stocks during 2004-2018. Using a two-way fixed-effects model, we uncover trader motivations including evidence of both under- and overreaction within a unified setting. A nonlinear relationship is found between return and trend suggesting a small, positive trend increases the return, while a larger one tends to decrease it. The shape parameters of the nonlinearity quantify trader motivation to buy into trends or wait for bargains. The methodology allows the testing of any behavioral finance bias or technical analysis concept.


title: Off-Grid Aware Channel and Covariance Estimation in mmWave Networks

abstract: The spectrum scarcity at sub-6 GHz spectrum has made millimeter-wave (mmWave) frequency band a key component of the next-generation wireless networks. While mmWave spectrum offers extremely large transmission bandwidths to accommodate ever-increasing data rates, unique characteristics of this new spectrum need special consideration to achieve the promised network throughput. In this work, we consider the off-grid problem for mmWave communications, which has a significant impact on basic network functionalities involving beam steering and tracking. The off-grid effect naturally appears in compressed sensing (CS) techniques adopting a discretization approach for representing the angular domain. This approach yields a finite set of discrete angle points, which are an approximation to the continuous angular space, and hence degrade the accuracy of related parameter estimation. In order to cope with the off-grid effect, we present a novel parameter-perturbation framework to efficiently estimate the channel and the covariance for mmWave networks. The proposed algorithms employ a smart perturbation mechanism in conjunction with a low-complexity greedy framework of simultaneous orthogonal matching pursuit (SOMP), and jointly solve for the off-grid parameters and weights. Numerical results show a significant performance improvement through our novel framework as a result of handling the off-grid effects, which is totally ignored in the conventional sparse mmWave channel or covariance estimation algorithms.


title: Automatic Mass Detection in Breast Using Deep Convolutional Neural Network and SVM Classifier

abstract: Mammography is the most widely used gold standard for screening breast cancer, where, mass detection is considered as the prominent step. Detecting mass in the breast is, however, an arduous problem as they usually have large variations between them in terms of shape, size, boundary, and texture. In this literature, the process of mass detection is automated with the use of transfer learning techniques of Deep Convolutional Neural Networks (DCNN). Pre-trained VGG19 network is used to extract features which are then followed by bagged decision tree for features selection and then a Support Vector Machine (SVM) classifier is trained and used for classifying between the mass and non-mass. Area Under ROC Curve (AUC) is chosen as the performance metric, which is then maximized during classifier selection and hyper-parameter tuning. The robustness of the two selected type of classifiers, C-SVM, and \u{psion}-SVM, are investigated with extensive experiments before selecting the best performing classifier. All experiments in this paper were conducted using the INbreast dataset. The best AUC obtained from the experimental results is 0.994 +/- 0.003 i.e. [0.991, 0.997]. Our results conclude that by using pre-trained VGG19 network, high-level distinctive features can be extracted from Mammograms which when used with the proposed SVM classifier is able to robustly distinguish between the mass and non-mass present in breast.


title: A two-piece property for free boundary minimal surfaces in the ball

abstract: We prove that every plane passing through the origin divides an embedded compact free boundary minimal surface of the euclidean $3$-ball in exactly two connected surfaces. We also show that if a region in the ball has mean convex boundary and contains a nullhomologous diameter, then this region is a closed halfball. Moreover, we prove the regularity at the corners of currents minimizing a partially free boundary problem by following ideas by Gr\"uter and Simon. Our first result gives evidence to a conjecture by Fraser and Li.


title: A near-linear time approximation scheme for geometric transportation with arbitrary supplies and spread

abstract: The geometric transportation problem takes as input a set of points $P$ in $d$-dimensional Euclidean space and a supply function $\mu : P \to \mathbb{R}$. The goal is to find a transportation map, a non-negative assignment $\tau : P \times P \to \mathbb{R}_{\geq 0}$ to pairs of points, so the total assignment leaving each point is equal to its supply, i.e., $\sum_{r \in P} \tau(q, r) - \sum_{p \in P} \tau(p, q) = \mu(q)$ for all points $q \in P$. The goal is to minimize the weighted sum of Euclidean distances for the pairs, $\sum_{(p, q) \in P \times P} \tau(p, q) \cdot ||q - p||_2$. We describe the first algorithm for this problem that returns, with high probability, a $(1 + \varepsilon)$-approximation to the optimal transportation map in $n\varepsilon^{-O(d)}\log^{O(d)}{n}$ time. In contrast to the previous best algorithms for this problem, our near-linear running time bound is independent of the spread of $P$ and the magnitude of its real-valued supplies.


title: Channel Estimation in mmWave Hybrid MIMO System via Off-Grid Dirichlet Kernels

abstract: In this paper, we tackle channel estimation in millimeter-wave hybrid multiple-input multiple-output systems by considering off-grid effects. In particular, we assume that spatial parameters can take any value in the angular domain, and need not fall on predefined discretized angles. Instead of increasing the number of discretized points to combat off-grid effects, we use implicit Dirichlet kernel structure in the Fourier domain, which conventional compressed sensing methods do not use. We propose greedy low-complexity algorithms based on orthogonal matching pursuit (OMP); our core idea is to traverse the Dirichlet kernel peak using estimates of the discrete Fourier transform. We demonstrate the efficacy of our proposed algorithms compared to standard OMP reconstruction. Numerical results show that our proposed algorithms obtain smaller reconstruction errors when off-grid effects are accounted for.


title: Application Inference using Machine Learning based Side Channel Analysis

abstract: The proliferation of ubiquitous computing requires energy-efficient as well as secure operation of modern processors. Side channel attacks are becoming a critical threat to security and privacy of devices embedded in modern computing infrastructures. Unintended information leakage via physical signatures such as power consumption, electromagnetic emission (EM) and execution time have emerged as a key security consideration for SoCs. Also, information published on purpose at user privilege level accessible through software interfaces results in software only attacks. In this paper, we used a supervised learning based approach for inferring applications executing on android platform based on features extracted from EM side-channel emissions and software exposed dynamic voltage frequency scaling(DVFS) states. We highlight the importance of machine learning based approach in utilizing these multi-dimensional features on a complex SoC, against profiling-based approaches. We also show that learning the instantaneous frequency states polled from onboard frequency driver (cpufreq) is adequate to identify a known application and flag potentially malicious unknown application. The experimental results on benchmarking applications running on ARMv8 processor in Snapdragon 820 board demonstrates early detection of these apps, and atleast 85% accuracy in detecting unknown applications. Overall, the highlight is to utilize a low-complexity path to application inference attacks through learning instantaneous frequency states pattern of CPU core.


title: On the fibres of Mishchenko-Fomenko systems

abstract: This work is concerned with Mishchenko and Fomenko's celebrated theory of completely integrable systems on a complex semisimple Lie algebra $\mathfrak{g}$. Their theory associates a maximal Poisson-commutative subalgebra of $\mathbb{C}[\mathfrak{g}]$ to each regular element $a\in\mathfrak{g}$, and one can assemble free generators of this subalgebra into a moment map $F_a:\mathfrak{g}\rightarrow\mathbb{C}^b$. We examine the structure of fibres in Mishchenko--Fomenko systems, building on the foundation laid by Bolsinov, Charbonnel--Moreau, Moreau, and others. This includes proving that the critical values of $F_a$ have codimension $1$ or $2$ in $\mathbb{C}^b$, and that each codimension is achievable in examples. Our results on singularities make use of a subalgebra $\mathfrak{b}^a\subseteq\mathfrak{g}$, defined to be the intersection of all Borel subalgebras of $\mathfrak{g}$ containing $a$. In the case of a non-nilpotent $a\in\mathfrak{g}_{\text{reg}}$ and an element $x\in\mathfrak{b}^a$, we prove the following: $x+[\mathfrak{b}^a,\mathfrak{b}^a]$ lies in the singular locus of $F_a^{-1}(F_a(x))$, and the fibres through points in $\mathfrak{b}^a$ form a $\mathrm{rank}(\mathfrak{g})$-dimensional family of singular fibres. We next consider the irreducible components of our fibres, giving a systematic way to construct many components via Mishchenko--Fomenko systems on Levi subalgebras $\mathfrak{l}\subseteq\mathfrak{g}$. In addition, we obtain concrete results on irreducible components that do not arise from the aforementioned construction. Our final main result is a recursive formula for the number of irreducible components in $F_a^{-1}(0)$, and it generalizes a result of Charbonnel--Moreau. Illustrative examples are included at the end of this paper.


title: A remark on thickness of free-by-cyclic groups

abstract: Let $F$ be a free group of positive, finite rank and let $\Phi\in Aut(F)$ be a polynomial-growth automorphism. Then $F\rtimes_\Phi\mathbb Z$ is strongly thick of order $\eta$, where $\eta$ is the rate of polynomial growth of $\phi$. This fact is implicit in work of Macura, but her work predates the notion of thickness. Therefore, in this note, we make the relationship between polynomial growth and thickness explicit. Our result combines with a result independently due to Dahmani-Li, Gautero-Lustig, and Ghosh to show that free-by-cyclic groups admit relatively hyperbolic structures with thick peripheral subgroups.


title: Measurement of $^{139}$La(p,x) Cross Sections from 35-60 MeV by Stacked-Target Activation

abstract: A stacked-target of natural lanthanum foils (99.9119% $^{139}$La) was irradiated using a 60 MeV proton beam at the LBNL 88-Inch Cyclotron. $^{139}$La(p,x) cross sections are reported between 35-60 MeV for nine radionuclides. The primary motivation for this measurement was the need to quantify the production of $^{134}$Ce. As a positron-emitting analogue of the promising medical radionuclide $^{225}$Ac, $^{134}$Ce is desirable for in vivo applications of bio-distribution assays for this emerging radio-pharmaceutical. The results of this measurement were compared to the nuclear model codes TALYS, EMPIRE and ALICE (using default parameters), which showed significant deviation from the measured values.


title: A new scheme for fixed node diffusion quantum Monte Carlo with pseudopotentials: improving reproducibility and reducing the trial-wave-function bias

abstract: Fixed node diffusion quantum Monte Carlo (FN-DMC) is an increasingly used computational approach for investigating the electronic structure of molecules, solids, and surfaces with controllable accuracy. It stands out among equally accurate electronic structure approaches for its favorable cubic scaling with system size, which often makes FN-DMC the only computationally affordable high-quality method in large condensed phase systems with more than 100 atoms. In such systems FN-DMC deploys pseudopotentials to substantially improve efficiency. In order to deal with non-local terms of pseudopotentials, the FN-DMC algorithm must use an additional approximation, leading to the so-called localization error. However, the two available approximations, the locality approximation (LA) and the T-move approximation (TM), have certain disadvantages and can make DMC calculations difficult to reproduce. Here we introduce a third approach, called the determinant localization approximation (DLA). DLA eliminates reproducibility issues and systematically provides good quality results and stable simulations that are slightly more efficient than LA and TM. When calculating energy differences -- such as interaction and ionization energies -- DLA is also more accurate than the LA and TM approaches. We believe that DLA paves the way to the automization of FN-DMC and its much easier application in large systems.

categories: physics.comp-ph cond-mat.mtrl-sci cond-mat.str-el physics.chem-ph quant-ph


title: GluonCV and GluonNLP: Deep Learning in Computer Vision and Natural Language Processing

abstract: We present GluonCV and GluonNLP, the deep learning toolkits for computer vision and natural language processing based on Apache MXNet (incubating). These toolkits provide state-of-the-art pre-trained models, training scripts, and training logs, to facilitate rapid prototyping and promote reproducible research. We also provide modular APIs with flexible building blocks to enable efficient customization. Leveraging the MXNet ecosystem, the deep learning models in GluonCV and GluonNLP can be deployed onto a variety of platforms with different programming languages. The Apache 2.0 license has been adopted by GluonCV and GluonNLP to allow for software distribution, modification, and usage.


title: Asymptotic reductions of the diffuse-interface model, with applications to contact lines in fluids

abstract: The diffuse-interface model (DIM) is a tool for studying interfacial dynamics. In particular, it is used for modeling contact lines, i.e., curves where a liquid, gas, and solid are in simultaneous contact. As well as all other models of contact lines, the DIM implies an additional assumption: that the flow near the liquid/gas interface is isothermal. In this work, this assumption is checked for the four fluids for which all common models of contact lines fail. It is shown that, for two of these fluids (including water), the assumption of isothermality does not hold.


title: Shadow Accrual Maps: Efficient Accumulation of City-Scale Shadows Over Time

abstract: Large scale shadows from buildings in a city play an important role in determining the environmental quality of public spaces. They can be both beneficial, such as for pedestrians during summer, and detrimental, by impacting vegetation and by blocking direct sunlight. Determining the effects of shadows requires the accumulation of shadows over time across different periods in a year. In this paper, we propose a simple yet efficient class of approach that uses the properties of sun movement to track the changing position of shadows within a fixed time interval. We use this approach to extend two commonly used shadowing techniques, shadow maps and ray tracing, and demonstrate the efficiency of our approach. Our technique is used to develop an interactive visual analysis system, Shadow Profiler, targeted at city planners and architects that allows them to test the impact of shadows for different development scenarios. We validate the usefulness of this system through case studies set in Manhattan, a dense borough of New York City.


title: Metabolite mediated modeling of microbial community dynamics captures emergent behavior more effectively than species-species modeling

abstract: Personalized models of the gut microbiome are valuable for disease prevention and treatment. For this, one requires a mathematical model that predicts microbial community composition and the emergent behavior of microbial communities. We seek a modeling strategy that can capture emergent behavior when built from sets of universal individual interactions. Our investigation reveals that species-metabolite interaction modeling is better able to capture emergent behavior in community composition dynamics than direct species-species modeling. Using publicly available data, we examine the ability of species-species models and species-metabolite models to predict trio growth experiments from the outcomes of pair growth experiments. We compare quadratic species-species interaction models and quadratic species-metabolite interaction models, and conclude that only species-metabolite models have the necessary complexity to to explain a wide variety of interdependent growth outcomes. We also show that general species-species interaction models cannot match patterns observed in community growth dynamics, whereas species-metabolite models can. We conclude that species-metabolite modeling will be important in the development of accurate, clinically useful models of microbial communities.


title: Low-Temperature Dielectric Anomalies at the Mott Insulator-Metal Transition

abstract: The correlation-driven Mott transition is commonly characterized by a drop in resistivity across the insulator-metal phase boundary; yet, the complex permittivity provides a deeper insight into the microscopic nature. We investigate the frequency- and temperature-dependent dielectric response of the Mott insulator $\kappa$-(BEDT-TTF)$_{2}$-Cu$_2$(CN)$_3$ when tuning from a quantum spin liquid into the Fermi-liquid state by applying external pressure and chemical substitution of the donor molecules. At low temperatures the coexistence region at the first-order transition leads to a strong enhancement of the quasi-static dielectric constant $\epsilon_1$ when the effective correlations are tuned through the critical value. Several dynamical regimes are identified around the Mott point and vividly mapped through pronounced permittivity crossovers. All experimental trends are captured by dynamical mean-field theory of the single-band Hubbard model supplemented by percolation theory.


title: Multi-party quantum summation based on quantum teleportation

abstract: We present a secure multi-party quantum summation protocol based on quantum teleportation, in which a malicious, but non-collusive, third party (TP) helps compute the summation. In our protocol, TP is in charge of entanglement distribution and Bell states are shared between participants. Users encode the qubits in their hand according to their private bits and perform Bell-state measurements. After obtaining participants' measurement results, TP can figure out the summation. The participants do not need to send their encoded states to others, and the protocol is therefore congenitally free from Trojan horse attacks. In addition, our protocol can be made secure against loss errors, because the entanglement distribution occurs only once at the beginning of our protocol. We show that our protocol is secure against attacks by the participants as well as the outsiders.


title: A note on the spectral flow operator

abstract: The insertion of the spectral flow operator in a string scattering amplitude on AdS$_3\times \mathcal{N}$ produces a change in the winding number of one of the incoming (or outgoing) states, making it possible to compute amplitudes of processes in which winding number in AdS$_3$ is not conserved. The insertion of such operator, however, might seem artificial from the worldsheet theory perspective, as it appears as an unintegrated vertex operator of conformal dimension zero that does not represent any normalizable state. Here, we show that the spectral flow operator naturally emerges in the Liouville field theory description of the WZW correlation functions once it is combined with a series of duality relations among conformal integrals. By considering multiple insertions of spectral flow operators, we study the dependence on the moduli for arbitrary number of them, and we show explicitly that the amplitude does not depend on the specific locations of the accessory insertions in the worldsheet, as required by consistency. This generalizes previous computations in which particular cases were considered. This can also be thought of as an alternative proof of the WZW-Liouville correspondence in the case of maximally winding violating correlators.


title: Retention of rising droplets in density stratification

abstract: In this study, we present results from experiments on the retention of single oil droplets rising through a two-layer density stratification. These experiments confirm the significant slowdown observed in past literature of settling and rising particles and droplets in stratification, and are the first experiments to study single liquid droplets as opposed to solid particles. By tracking the motion of the droplets as they rise through a stratified fluid, we identify two timescales which quantitatively describe this slowdown: an entrainment timescale, and a retention timescale. The entrainment timescale is a measure of the time that a droplet spends below its upper-layer terminal velocity and relates to the length of time over which the droplet's rise is affected by entrained dense fluid. The retention time is a measure of the time that the droplet is delayed from reaching an upper threshold far from the density transition. Both timescales are found to depend on the Froude and Reynolds numbers of the system, Fr $=U_u/(Nd)$ and Re $=\rho_u U_u d/\nu$. We find that both timescales are only significantly large for Fr $\lesssim1$, indicating that trapping dynamics in a relatively sharp stratification arise from a balance between drop inertia and buoyancy. Finally, we present a theoretical formulation for the drag enhancement $\Gamma$, the ratio between the maximum stratification force and the corresponding drag force on the droplet, based on a simple force balance at the point of the velocity minimum. Using our experimental data, we find that our formulation compares well with recent theoretical and computational work by Zhang et al. [J. Fluid Mech. 875, 622-656 (2019)] on the drag enhancement on a solid sphere settling in a stratified fluid, and provides the first experimental data supporting their approach.


title: Design rules for liquid crystalline electrolytes for enabling dendrite-free lithium metal batteries

abstract: Dendrite free electrodeposition of lithium metal is necessary for the adoption of high energy density rechargeable lithium metal batteries. Here, we demonstrate a new mechanism of using a liquid crystalline electrolyte to suppress dendrite growth with a lithium metal anode. A nematic liquid crystalline electrolyte modifies the kinetics of electrodeposition by introducing additional overpotential due to its bulk distortion and anchoring free energy. By extending the phase-field model, we simulate the morphological evolution of the metal anode and explore the role of bulk distortion and anchoring strengths on the electrodeposition process. We find that adsorption energy of liquid crystalline molecules on lithium surface can be a good descriptor for the anchoring energy and obtain it using first-principles density functional theory calculations. Unlike other extrinsic mechanisms, we find that liquid crystals with high anchoring strengths can ensure smooth electrodeposition of lithium metal, thus paving the way for practical applications in rechargeable batteries based on metal anodes.


title: Hitting minors on bounded treewidth graphs. IV. An optimal algorithm

abstract: For a fixed finite collection of graphs ${\cal F}$, the ${\cal F}$-M-DELETION problem asks, given an $n$-vertex input graph $G,$ for the minimum number of vertices that intersect all minor models in $G$ of the graphs in ${\cal F}$. by Courcelle Theorem, this problem can be solved in time $f_{{\cal F}}(tw)\cdot n^{O(1)},$ where $tw$ is the treewidth of $G$, for some function $f_{{\cal F}}$ depending on ${\cal F}$ In a recent series of articles, we have initiated the programme of optimizing asymptotically the function $f_{{\cal F}}$. Here we provide an algorithm showing that $f_{{\cal F}}(tw) = 2^{O(tw\cdot \log tw)}$ for every collection ${\cal F}$. Prior to this work, the best known function $f_{{\cal F}}$ was double-exponential in $tw$. In particular, our algorithm vastly extends the results of Jansen et al. [SODA 2014] for the particular case ${\cal F}=\{K_5,K_{3,3}\}$ and of Kociumaka and Pilipczuk [Algorithmica 2019] for graphs of bounded genus, and answers an open problem posed by Cygan et al. [Inf Comput 2017]. We combine several ingredients such as the machinery of boundaried graphs in dynamic programming via representatives, the Flat Wall Theorem, Bidimensionality, the irrelevant vertex technique, treewidth modulators, and protrusion replacement. Together with our previous results providing single-exponential algorithms for particular collections ${\cal F}$ [Theor Comput Sci 2020] and general lower bounds [J Comput Syst Sci 2020], our algorithm yields the following complexity dichotomy when ${\cal F} = \{H\}$ contains a single connected graph $H,$ assuming the Exponential Time Hypothesis: $f_H(tw)=2^{\Theta(tw)}$ if $H$ is a contraction of the chair or the banner, and $f_H(tw)=2^{\Theta(tw\cdot \log tw)}$ otherwise.


title: SETI in the Spatio-Temporal Survey Domain

abstract: Traditional searches for extraterrestrial intelligence (SETI) or "technosignatures" focus on dedicated observations of single stars or regions in the sky to detect excess or transient emission from intelligent sources. The newest generation of synoptic time domain surveys enable an entirely new approach: spatio-temporal SETI, where technosignatures may be discovered from spatially resolved sources or multiple stars over time. Current optical time domain surveys such as ZTF and the Evryscope can probe 10-100 times more of the "Cosmic Haystack" parameter space volume than many radio SETI investigations. Small-aperture, high cadence surveys like Evryscope can be comparable in their Haystack volume completeness to deeper surveys including LSST. Investigations with these surveys can also be conducted at a fraction of the cost of dedicated SETI surveys, since they make use of data already being gathered. However, SETI methodology has not widely utilized such surveys, and the field is in need of new search algorithms that can account for signals in both the spatial and temporal domains. Here I describe the broad potential for modern wide-field time domain optical surveys to revolutionize our search for technosignatures, and illustrate some example SETI approaches using transiting exoplanets to form a distributed beacon.


title: A review on deep learning techniques for 3D sensed data classification

abstract: Over the past decade deep learning has driven progress in 2D image understanding. Despite these advancements, techniques for automatic 3D sensed data understanding, such as point clouds, is comparatively immature. However, with a range of important applications from indoor robotics navigation to national scale remote sensing there is a high demand for algorithms that can learn to automatically understand and classify 3D sensed data. In this paper we review the current state-of-the-art deep learning architectures for processing unstructured Euclidean data. We begin by addressing the background concepts and traditional methodologies. We review the current main approaches including; RGB-D, multi-view, volumetric and fully end-to-end architecture designs. Datasets for each category are documented and explained. Finally, we give a detailed discussion about the future of deep learning for 3D sensed data, using literature to justify the areas where future research would be most valuable.


title: Diffuser-Assisted Infrared Transit Photometry for Four Dynamically Interacting \textit{Kepler} Systems

abstract: We present ground-based infrared transit observations for four dynamically interacting \textit{Kepler} planets, including Kepler-29b, Kepler-36c, KOI-1783.01, and Kepler-177c, obtained using the Wide-field Infrared Camera on the Hale 200" telescope at Palomar Observatory. By utilizing an engineered diffuser and custom guiding software, we mitigate time-correlated telluric and instrumental noise sources in these observations. We achieve an infrared photometric precision comparable to or better than that of space-based observatories such as the \textit{Spitzer Space Telescope}, and detect transits with greater than 3$\sigma$ significance for all planets. For Kepler-177c ($J=13.9$) our measurement uncertainties are only $1.2\times$ the photon noise limit and 1.9 times better than the predicted photometric precision for \textit{Spitzer} IRAC photometry of this same target. We find that a single transit observation obtained $4-5$ years after the end of the original \textit{Kepler} mission can reduce dynamical mass uncertainties by as much as a factor of three for these systems. Additionally, we combine our new observations of KOI-1783.01 with information from the literature to confirm the planetary nature of this system. We discuss the implications of our new mass and radius constraints in the context of known exoplanets with low incident fluxes, and we note that Kepler-177c may be a more massive analog to the currently known super-puffs given its core mass (3.8$\pm0.9M_\Earth$) and large gas-to-core ratio (2.8$\pm0.7$). Our demonstrated infrared photometric performance opens up new avenues for ground-based observations of transiting exoplanets previously thought to be restricted to space-based investigation.


title: Let's Keep It Safe: Designing User Interfaces that Allow Everyone to Contribute to AI Safety

abstract: When AI systems are granted the agency to take impactful actions in the real world, there is an inherent risk that these systems behave in ways that are harmful. Typically, humans specify constraints on the AI system to prevent harmful behavior; however, very little work has studied how best to facilitate this difficult constraint specification process. In this paper, we study how to design user interfaces that make this process more effective and accessible, allowing people with a diversity of backgrounds and levels of expertise to contribute to this task. We first present a task design in which workers evaluate the safety of individual state-action pairs, and propose several variants of this task with improved task design and filtering mechanisms. Although this first design is easy to understand, it scales poorly to large state spaces. Therefore, we develop a new user interface that allows workers to write constraint rules without any programming. Despite its simplicity, we show that our rule construction interface retains full expressiveness. We present experiments utilizing crowdworkers to help address an important real-world AI safety problem in the domain of education. Our results indicate that our novel worker filtering and explanation methods outperform baseline approaches, and our rule-based interface allows workers to be much more efficient while improving data quality.


title: Relationships between different Macroeconomic Variables using VECM

abstract: Through this paper, an attempt has been made to quantify the underlying relationships between the leading macroeconomic indicators. More clearly, an effort has been made in this paper to assess the cointegrating relationships and examine the error correction behavior revealed by macroeconomic variables using econometric techniques that were initially developed by Engle and Granger (1987), and further explored by various succeeding papers, with the latest being Tu and Yi (2017). Gross Domestic Product, Discount Rate, Consumer Price Index and population of U.S are representatives of the economy that have been used in this study to analyze the relationships between economic indicators and understand how an adverse change in one of these variables might have ramifications on the others. This is performed to corroborate and guide the belief that a policy maker with specified intentions cannot ignore the spillover effects caused by implementation of a certain policy.


title: Learning to Speak Fluently in a Foreign Language: Multilingual Speech Synthesis and Cross-Language Voice Cloning

abstract: We present a multispeaker, multilingual text-to-speech (TTS) synthesis model based on Tacotron that is able to produce high quality speech in multiple languages. Moreover, the model is able to transfer voices across languages, e.g. synthesize fluent Spanish speech using an English speaker's voice, without training on any bilingual or parallel examples. Such transfer works across distantly related languages, e.g. English and Mandarin. Critical to achieving this result are: 1. using a phonemic input representation to encourage sharing of model capacity across languages, and 2. incorporating an adversarial loss term to encourage the model to disentangle its representation of speaker identity (which is perfectly correlated with language in the training data) from the speech content. Further scaling up the model by training on multiple speakers of each language, and incorporating an autoencoding input to help stabilize attention during training, results in a model which can be used to consistently synthesize intelligible speech for training speakers in all languages seen during training, and in native or foreign accents.


title: PhysGAN: Generating Physical-World-Resilient Adversarial Examples for Autonomous Driving

abstract: Although Deep neural networks (DNNs) are being pervasively used in vision-based autonomous driving systems, they are found vulnerable to adversarial attacks where small-magnitude perturbations into the inputs during test time cause dramatic changes to the outputs. While most of the recent attack methods target at digital-world adversarial scenarios, it is unclear how they perform in the physical world, and more importantly, the generated perturbations under such methods would cover a whole driving scene including those fixed background imagery such as the sky, making them inapplicable to physical world implementation. We present PhysGAN, which generates physical-world-resilient adversarial examples for mislead-ing autonomous driving systems in a continuous manner. We show the effectiveness and robustness of PhysGAN via extensive digital and real-world evaluations. Digital experiments show that PhysGAN is effective for various steer-ing models and scenes, which misleads the average steer-ing angle by up to 23.06 degrees under various scenarios. The real-world studies further demonstrate that PhysGAN is sufficiently resilient in practice, which misleads the average steering angle by up to 19.17 degrees. We compare PhysGAN with a set of state-of-the-art baseline methods including several of our self-designed ones, which further demonstrate the robustness and efficacy of our approach. We also show that PhysGAN outperforms state-of-the-art baseline methods To the best of our knowledge, PhysGANis probably the first technique of generating realistic and physical-world-resilient adversarial examples for attacking common autonomous driving scenarios.


title: SNAP: Finding Approximate Second-Order Stationary Solutions Efficiently for Non-convex Linearly Constrained Problems

abstract: This paper proposes low-complexity algorithms for finding approximate second-order stationary points (SOSPs) of problems with smooth non-convex objective and linear constraints. While finding (approximate) SOSPs is computationally intractable, we first show that generic instances of the problem can be solved efficiently. More specifically, for a generic problem instance, certain strict complementarity (SC) condition holds for all Karush-Kuhn-Tucker (KKT) solutions (with probability one). The SC condition is then used to establish an equivalence relationship between two different notions of SOSPs, one of which is computationally easy to verify. Based on this particular notion of SOSP, we design an algorithm named the Successive Negative-curvature grAdient Projection (SNAP), which successively performs either conventional gradient projection or some negative curvature based projection steps to find SOSPs. SNAP and its first-order extension SNAP$^+$, require $\mathcal{O}(1/\epsilon^{2.5})$ iterations to compute an $(\epsilon, \sqrt{\epsilon})$-SOSP, and their per-iteration computational complexities are polynomial in the number of constraints and problem dimension. To our knowledge, this is the first time that first-order algorithms with polynomial per-iteration complexity and global sublinear rate have been designed to find SOSPs of the important class of non-convex problems with linear constraints.


title: On the Approximability of Presidential Type Predicates

abstract: Given a predicate $P: \{-1, 1\}^k \to \{-1, 1\}$, let $CSP(P)$ be the set of constraint satisfaction problems whose constraints are of the form $P$. We say that $P$ is approximable if given a nearly satisfiable instance of $CSP(P)$, there exists a probabilistic polynomial time algorithm that does better than a random assignment. Otherwise, we say that $P$ is approximation resistant. In this paper, we analyze presidential type predicates, which are balanced linear threshold functions where all of the variables except the first variable (the president) have the same weight. We show that almost all presidential-type predicates $P$ are approximable. More precisely, we prove the following result: for any $\delta_0 > 0$, there exists a $k_0$ such that if $k \geq k_0$, $\delta \in (\delta_0,1 - 2/k]$, and ${\delta}k + k - 1$ is an odd integer then the presidential type predicate $P(x) = sign({\delta}k{x_1} + \sum_{i=2}^{k}{x_i})$ is approximable. To prove this, we construct a rounding scheme that makes use of biases and pairwise biases. We also give evidence that using pairwise biases is necessary for such rounding schemes.


title: On the construction of large Algebras not contained in the image of the Borel map

abstract: The Borel map $j^{\infty}$ takes germs at 0 of smooth functions to the sequence of iterated partial derivatives at 0. It is well known that the restriction of $j^{\infty}$ to the germs of quasianalytic ultradifferentiable classes which are strictly containing the real analytic functions can never be onto the corresponding sequence space. In a recent paper the authors have studied the size of the image of $j^{\infty}$ by using different approaches and worked in the general setting of quasianalytic ultradifferentiable classes defined by weight matrices. The aim of this paper is to show that the image of $j^{\infty}$ is also small with respect to the notion of algebrability and we treat both the Cauchy product (convolution) and the pointwise product. In particular, a deep study of the stability of the considered spaces under the pointwise product is developed.


title: Approximating Free Energy and Committor Landscapes in Standard Transition Path Sampling using Virtual Interface Exchange

abstract: Transition path sampling (TPS) is a powerful technique for investigating rare transitions, especially when the mechanism is unknown and one does not have access to the reaction coordinate. Straightforward application of TPS does not directly provide the free energy landscape nor the kinetics, which motivated the development of path sampling extensions, such as transition interface sampling (TIS), and the reweighted paths ensemble (RPE), that are able to simultaneously access both kinetics and thermodynamics. However, performing TIS is more involved than TPS, and still requires (some) insight in the reaction to define interfaces. While packages that can efficiently compute path ensembles for TIS are now available, it would be useful to directly compute the free energy from a single TPS simulation. To achieve this, we developed an approximate method, denoted Virtual Interface Exchange, that makes use of the rejected pathways in a form of waste recycling. The method yields an approximate reweighted path ensemble that allows an immediate view of the free energy landscape from a single TPS, as well as enables a full committor analysis.


title: A commutative model for PL compactly supported cohomology in characteristic zero

abstract: We show that that classical rational homotopy theory in the sense of Sullivan [6] can be extended compactly supported setting. This presents a simplicial version of the compactly supported de Rham complex in characteristic zero, and proving that it models singular compactly supported cohomology. This presents new avenues of possible study in proper homotopy theory, and further extensions of the ideas within the classical literature of Quillen [5] and Sullivan.


title: An Energy-Efficient Reconfigurable DTLS Cryptographic Engine for Securing Internet-of-Things Applications

abstract: This paper presents the first hardware implementation of the Datagram Transport Layer Security (DTLS) protocol to enable end-to-end security for the Internet of Things (IoT). A key component of this design is a reconfigurable prime field elliptic curve cryptography (ECC) accelerator, which is 238x and 9x more energy-efficient compared to software and state-of-the-art hardware respectively. Our full hardware implementation of the DTLS 1.3 protocol provides 438x improvement in energy-efficiency over software, along with code size and data memory usage as low as 8 KB and 3 KB respectively. The cryptographic accelerators are coupled with an on-chip low-power RISC-V processor to benchmark applications beyond DTLS with up to two orders of magnitude energy savings. The test chip, fabricated in 65 nm CMOS, demonstrates hardware-accelerated DTLS sessions while consuming 44.08 uJ per handshake, and 0.89 nJ per byte of encrypted data at 16 MHz and 0.8 V.


title: An affine model of a Riemann surface associated to a Schwarz-Christoffel mapping

abstract: In this paper we construct an affine model of a Riemann surface with a flat Riemannian metric associated to a Schwarz-Christoffel mapping of the upper half plane onto a rational triangle. We explain the relation between the geodesics on this Riemann surface and billiard motions in a regular stellated $n$-gon in the complex plane.


title: Partially Observable Planning and Learning for Systems with Non-Uniform Dynamics

abstract: We propose a neural network architecture, called TransNet, that combines planning and model learning for solving Partially Observable Markov Decision Processes (POMDPs) with non-uniform system dynamics. The past decade has seen a substantial advancement in solving POMDP problems. However, constructing a suitable POMDP model remains difficult. Recently, neural network architectures have been proposed to alleviate the difficulty in acquiring such models. Although the results are promising, existing architectures restrict the type of system dynamics that can be learned --that is, system dynamics must be the same in all parts of the state space. TransNet relaxes such a restriction. Key to this relaxation is a novel neural network module that classifies the state space into classes and then learns the system dynamics of the different classes. TransNet uses this module together with the overall architecture of QMDP-Net[1] to allow solving POMDPs that have more expressive dynamic models, while maintaining efficient data requirement. Its evaluation on typical benchmarks in robot navigation with initially unknown system and environment models indicates that TransNet substantially out-performs the quality of the generated policies and learning efficiency of the state-of-the-art method QMDP-Net.


title: Hyperbolic links are not generic

abstract: We show that if $K$ is a nontrivial knot then the proportion of satellites of $K$ among all of the prime non-split links of $n$ or fewer crossings does not converge to $0$ as $n$ approaches infinity. This implies in particular that the proportion of hyperbolic links among all of the prime non-split links of $n$ or fewer crossings does not converge to 1 as $n$ approaches infinity. We consider unoriented link types.


title: Shear measurement bias due to spatially varying spectral energy distributions in galaxies

abstract: Galaxy color gradients - i.e., spectral energy distributions that vary across the galaxy profile - will impact galaxy shape measurements when the modeled point spread function (PSF) corresponds to that for a galaxy with spatially uniform color. This paper describes the techniques and results of a study of the expected impact of galaxy color gradients on weak lensing measurements with the Large Synoptic Survey Telescope (LSST) when the PSF size depends on wavelength. The bias on cosmic shear measurements from color gradients is computed both for parametric bulge+disk galaxy simulations and for more realistic chromatic galaxy surface brightness profiles based on HST V- and I-band images in the AEGIS survey. For the parametric galaxies, and for the more realistic galaxies derived from AEGIS galaxies with sufficient SNR that color gradient bias can be isolated, the predicted multiplicative shear biases due to color gradients are found to be at least a factor of 2 below the LSST full-depth requirement on the total systematic uncertainty in the redshift-dependent shear calibration. The analysis code and data products are publicly available (https://github.com/sowmyakth/measure_cg_bias).


title: Astro2020: Training the Future Generation of Computational Researchers

abstract: The current disparity in computational knowledge is a critical hindrance to the diversity and success of the field. Recommendations are outlined for policies and funding models to enable the growth and retention of a new generation of computational researchers that reflect the demographics of the undergraduate population in Astronomy and Physics.


title: Model Development Process

abstract: Predictive modeling has an increasing number of applications in various fields. High demand for predictive models drives creation of tools that automate and support work of data scientist on the model development. To better understand what can be automated we need first a description of the model life-cycle. In this paper we propose a generic Model Development Process (MDP). This process is inspired by Rational Unified Process (RUP) which was designed for software development. There are other approached to process description, like CRISP DM or ASUM DM, in this paper we discuss similarities and differences between these methodologies. We believe that the proposed open standard for model development will facilitate creation of tools for automation of model training, testing and maintaining.


title: Multi-Speaker End-to-End Speech Synthesis

abstract: In this work, we extend ClariNet (Ping et al., 2019), a fully end-to-end speech synthesis model (i.e., text-to-wave), to generate high-fidelity speech from multiple speakers. To model the unique characteristic of different voices, low dimensional trainable speaker embeddings are shared across each component of ClariNet and trained together with the rest of the model. We demonstrate that the multi-speaker ClariNet outperforms state-of-the-art systems in terms of naturalness, because the whole model is jointly optimized in an end-to-end manner.


title: Coarse Graining of Data via Inhomogeneous Diffusion Condensation

abstract: Big data often has emergent structure that exists at multiple levels of abstraction, which are useful for characterizing complex interactions and dynamics of the observations. Here, we consider multiple levels of abstraction via a multiresolution geometry of data points at different granularities. To construct this geometry we define a time-inhomogeneous diffusion process that effectively condenses data points together to uncover nested groupings at larger and larger granularities. This inhomogeneous process creates a deep cascade of intrinsic low pass filters on the data affinity graph that are applied in sequence to gradually eliminate local variability while adjusting the learned data geometry to increasingly coarser resolutions. We provide visualizations to exhibit our method as a continuously-hierarchical clustering with directions of eliminated variation highlighted at each step. The utility of our algorithm is demonstrated via neuronal data condensation, where the constructed multiresolution data geometry uncovers the organization, grouping, and connectivity between neurons.


title: The stability phase diagram of active Brownian particles

abstract: Phase separation in a low-density gas-like phase and a high-density liquid-like one is a common trait of biological and synthetic self-propelling particles' systems. The competition between motility and stochastic forces is assumed to fix the boundary between the homogeneous and the phase-separated phase. Here we demonstrate that motility does also promote the homogeneous phase allowing particles to resolve their collisions. This new understanding allows quantitatively predicting the spinodal-line of hard self-propelling Brownian particles, the prototypical model exhibiting a motility induced phase separation. Furthermore, we demonstrate that frictional forces control the physical process by which motility promotes the homogeneous phase. Hence, friction emerges as an experimentally variable parameter to control the motility induced phase diagram.


title: Principal configurations around umbilics of spacelike surfaces in null hypersurfaces of $\mathbb{R}_1^4$

abstract: We study the principal configurations around an isolated $\eta$-umbilical point on a generic spacelike surface $S$ immersed in a null hypersurface $M$ of Minkowski space $\mathbb{R}_1^4$ relative to a well-defined null vector field $\eta$ orthogonal to the surface $S$. In the particular case of $M$ being a null rotation hypersurface of $\mathbb{R}_1^4$ we also recover the local Darbouxian principal configurations around that kind of $\eta$-umbilical points.


title: Strong Cosmic Censorship for a Scalar Field in a Born-Infeld-de Sitter Black Hole

abstract: It has been shown that the Strong Cosmic Censorship (SCC) can be violated by a scalar field in a near-extremal Reissner-Nordstrom-de Sitter black hole. In this paper, we investigate the Strong Cosmic Censorship in a Born-Infeld-de Sitter black hole by a scalar perturbation field with/without a charge. When the Born-Infeld parameter b becomes small, the nonlinear electrodynamics effect starts to play an important role and tends to rescue SCC. Specifically, we find that the SCC violation region decreases in size with decreasing b. Moreover, for a sufficiently small b, SCC can always be restored in a near-extremal Born-Infeld-de Sitter black hole with a fixed charge ratio.


title: Optimal Chernoff and Hoeffding Bounds for Finite State Markov Chains

abstract: This paper develops an optimal Chernoff type bound for the probabilities of large deviations of sums $\sum_{k=1}^n f (X_k)$ where $f$ is a real-valued function and $(X_k)_{k \in \mathbb{Z}_{\ge 0}}$ is a finite state Markov chain with an arbitrary initial distribution and an irreducible transition probability matrix satisfying a mild assumption on its positivity pattern, related to the function $f$ being considered. The novelty lies in this being a non-asymptotic finite sample bound. Further, our bound is optimal in the large deviations sense, attaining a constant prefactor and an exponential decay with the optimal large deviations rate. Moreover, through a Pinsker type inequality and a Hoeffding type lemma, we are able to loosen up our Chernoff type bound to a Hoeffding type bound and reveal the sub-Gaussian nature of the sums. Finally, under the same mild assumption on the positivity pattern of the transition probability matrix, we prove a uniform multiplicative ergodic theorem for the exponential family of tilted transition probability matrices corresponding to $f$.


title: An integrated optical device for frequency conversion across the full telecom C-band spectrum

abstract: High-density communication through optical fiber is made possible by Wavelength Division Multiplexing, which is the simultaneous transmission of many discrete signals at different optical frequencies. Vast quantities of data may be transmitted without interference using this scheme but flexible routing of these signals requires an electronic middle step, carrying a cost in latency. We present a technique for frequency conversion across the entire WDM spectrum with a single device, which removes this latency cost. Using an optical waveguide in lithium niobate and two infrared pump beams, we show how to maximize conversion efficiency between arbitrary frequencies by analyzing the role of dispersion in cascaded nonlinear processes. The technique is presented generally and may be applied to any suitable nonlinear material or platform, and to classical or quantum optical signals.


title: A family of multi-parameterized proximal point algorithms

abstract: In this paper, a multi-parameterized proximal point algorithm combining with a relaxation step is developed for solving convex minimization problem subject to linear constraints. We show its global convergence and sublinear convergence rate from the prospective of variational inequality. Preliminary numerical experiments on testing a sparse minimization problem from signal processing indicate that the proposed algorithm performs better than some well-established methods


title: Learning from History: Recreating and Repurposing Sister Harriet Padberg's Computer Composed Canon and Free Fugue

abstract: Harriet Padberg wrote Computer-Composed Canon and Free Fugue as part of her 1964 dissertation in Mathematics and Music at Saint Louis University. This program is one of the earliest examples of text-to-music software and algorithmic composition, which are areas of great interest in the present-day field of music technology. This paper aims to analyze the technological innovation, aesthetic design process, and impact of Harriet Padberg's original 1964 thesis as well as the design of a modern recreation and utilization, in order to gain insight to the nature of revisiting older works. Here, we present our open source recreation of Padberg's program with a modern interface and, through its use as an artistic tool by three composers, show how historical works can be effectively used for new creative purposes in contemporary contexts. Not Even One by Molly Jones draws on the historical and social significance of Harriet Padberg through using her program in a piece about the lack of representation of women judges in composition competitions. Brevity by Anna Savery utilizes the original software design as a composition tool, and The Padberg Piano by Anthony Caulkins uses the melodic generation of the original to create a software instrument.