title: Deep Generative Adversarial Networks for Compressed Sensing Automates MRI

abstract: Magnetic resonance image (MRI) reconstruction is a severely ill-posed linear inverse task demanding time and resource intensive computations that can substantially trade off {\it accuracy} for {\it speed} in real-time imaging. In addition, state-of-the-art compressed sensing (CS) analytics are not cognizant of the image {\it diagnostic quality}. To cope with these challenges we put forth a novel CS framework that permeates benefits from generative adversarial networks (GAN) to train a (low-dimensional) manifold of diagnostic-quality MR images from historical patients. Leveraging a mixture of least-squares (LS) GANs and pixel-wise $\ell_1$ cost, a deep residual network with skip connections is trained as the generator that learns to remove the {\it aliasing} artifacts by projecting onto the manifold. LSGAN learns the texture details, while $\ell_1$ controls the high-frequency noise. A multilayer convolutional neural network is then jointly trained based on diagnostic quality images to discriminate the projection quality. The test phase performs feed-forward propagation over the generator network that demands a very low computational overhead. Extensive evaluations are performed on a large contrast-enhanced MR dataset of pediatric patients. In particular, images rated based on expert radiologists corroborate that GANCS retrieves high contrast images with detailed texture relative to conventional CS, and pixel-wise schemes. In addition, it offers reconstruction under a few milliseconds, two orders of magnitude faster than state-of-the-art CS-MRI schemes.


title: Wilson lines in the MHV action

abstract: The MHV action is the Yang-Mills action quantized on the light-front, where the two explicit physical gluonic degrees of freedom have been canonically transformed to a new set of fields. This transformation leads to the action with vertices being off-shell continuations of the MHV amplitudes. We show that the solution to the field transformation expressing one of the new fields in terms of the Yang-Mills field is a certain type of the Wilson line. More precisely, it is a straight infinite gauge link with a slope extending to the light-cone minus and the transverse direction. One of the consequences of that fact is that certain MHV vertices reduced partially on-shell are gauge invariant -- a fact discovered before using conventional light-front perturbation theory. We also analyze the diagrammatic content of the field transformations leading to the MHV action. We found that the diagrams for the solution to the transformation (given by the Wilson line) and its inverse differ only by light-front energy denominators. Further, we investigate the coordinate space version of the inverse solution to the one given by the Wilson line. We find an explicit expression given by a power series in fields. We also give a geometric interpretation to it by means of a specially defined vector field. Finally, we discuss the fact that the Wilson line solution to the transformation is directly related to the all-like helicity gluon wave function, while the inverse functional is a generating functional for solutions of self-dual Yang-Mills equations.


title: A Lower Bound for Nonadaptive, One-Sided Error Testing of Unateness of Boolean Functions over the Hypercube

abstract: A Boolean function $f:\{0,1\}^d \mapsto \{0,1\}$ is unate if, along each coordinate, the function is either nondecreasing or nonincreasing. In this note, we prove that any nonadaptive, one-sided error unateness tester must make $\Omega(\frac{d}{\log d})$ queries. This result improves upon the $\Omega(\frac{d}{\log^2 d})$ lower bound for the same class of testers due to Chen et al. (STOC, 2017).


title: Linking LFV Higgs decays $h\to \ell_i \ell_j$ with CP violation in multi-scalar models

abstract: The study of LFV decays of the Higgs boson, $h\to \ell_i \ell_j$, has become an active research subject both from the experimental and theoretical points of view. Such decays vanish within the SM and are highly suppressed in several theoretical extensions. Due to its relevance and relative simplicity to reconstruct the signal at future colliders, it is an important tool to probe SM extensions where it could reach detectable levels. Here we identify a mechanism that induces LFV Higgs interactions, by linking it with the appearance of CP violation in the scalar sector, within the context of general multi-Higgs models. We then focus on the simplest model of this type to study its phenomenology. The scalar sector of this minimal model consisting of a Higgs doublet and a Froggatt--Nielsen (FN) (complex) singlet is studied thoroughly, including the scalar spectrum and the Yukawa interactions. Constraints on the parameters of the model are derived from low-energy observables and LHC Higgs data, which is then applied to study the resulting predicted rates for the decay $h\rightarrow \tau \mu$. Overall, branching ratios for $h \rightarrow \tau \mu$ of the order $10^{-3}$ are obtained within this approach consistent with all known constraints.


title: Carrier-envelope phase effects in graphene

abstract: We numerically study the interaction of a terahertz pulse with monolayer graphene. We observe that the electron momentum density is affected by the carrier-envelope phase (CEP) of the single- to few-cycle terahertz laser pulse that induces the electron dynamics. In particular, we see strong asymmetric electron momentum distributions for non-zero values of the CEP. We explain the origin of the asymmetry within the adiabatic-impulse model by finding conditions to reach minimal adiabatic gap between the valence band and the conduction band. We discuss how these conditions and the interference pattern, emanating from successive non-adiabatic transitions at this minimal gap, affect the electron momentum density and how they are modified by the CEP. This opens the door to control fundamental time-dependent electron dynamics in the tunneling regime in Dirac materials. Also, this control suggests a way to measure the CEP of a terahertz laser pulse when it interacts with condensed matter systems.


title: Lights, Camera, Action! Exploring Effects of Visual Distractions on Completion of Security Tasks

abstract: Human errors in performing security-critical tasks are typically blamed on the complexity of those tasks. However, such errors can also occur because of (possibly unexpected) sensory distractions. A sensory distraction that produces negative effects can be abused by the adversary that controls the environment. Meanwhile, a distraction with positive effects can be artificially introduced to improve user performance. The goal of this work is to explore the effects of visual stimuli on the performance of security-critical tasks. To this end, we experimented with a large number of subjects who were exposed to a range of unexpected visual stimuli while attempting to perform Bluetooth Pairing. Our results clearly demonstrate substantially increased task completion times and markedly lower task success rates. These negative effects are noteworthy, especially, when contrasted with prior results on audio distractions which had positive effects on performance of similar tasks. Experiments were conducted in a novel (fully automated and completely unattended) experimental environment. This yielded more uniform experiments, better scalability and significantly lower financial and logistical burdens. We discuss this experience, including benefits and limitations of the unattended automated experiment paradigm.


title: Magnetic Flux Rope Shredding by a Hyperbolic Flux Tube: The Detrimental Effects of Magnetic Topology on Solar Eruptions

abstract: We present the analysis of an unusual failed eruption captured in high cadence and in many wavelengths during the observing campaign in support of the VAULT2.0 sounding rocket launch. The refurbished Very high Angular resolution Ultraviolet Telescope (VAULT2.0) is a Ly$\alpha$ ($\lambda$ 1216 {\AA}) spectroheliograph launched on September 30, 2014. The campaign targeted active region NOAA AR 12172 and was closely coordinated with the Hinode and IRIS missions and several ground-based observatories (NSO/IBIS, SOLIS, and BBSO). A filament eruption accompanied by a low level flaring event (at the GOES C-class level) occurred around the VAULT2.0 launch. No Coronal Mass Ejection (CME) was observed. The eruption and its source region, however, were recorded by the campaign instruments in many atmospheric heights ranging from the photosphere to the corona in high cadence and spatial resolution. This is a rare occasion which enables us to perform a comprehensive investigation on a failed eruption. We find that a rising Magnetic Flux Rope-like (MFR) structure was destroyed during its interaction with the ambient magnetic field creating downflows of cool plasma and diffuse hot coronal structures reminiscent of "cusps". We employ magnetofrictional simulations to show that the magnetic topology of the ambient field is responsible for the destruction of the MFR. Our unique observations suggest that the magnetic topology of the corona is a key ingredient for a successful eruption.


title: A survey for planetary-mass brown dwarfs in the Chamaeleon I star-forming region

abstract: We have performed a search for planetary-mass brown dwarfs in the Chamaeleon I star-forming region using proper motions and photometry measured from optical and infrared images from the Spitzer Space Telescope, the Hubble Space Telescope, and ground-based facilities. Through near-infrared spectroscopy at Gemini Observatory, we have confirmed six of the candidates as new late-type members of Chamaeleon I >M7.75. One of these objects, Cha J11110675-7636030, has the faintest extinction-corrected M_K among known members, which corresponds to a mass of 3-6 M_Jup according to evolutionary models. That object and two other new members have redder mid-IR colors than young photospheres at <M9.5, which may indicate the presence of disks. However, since those objects may be later than M9.5 and the mid-IR colors of young photospheres are ill-defined at those types, we cannot determine conclusively whether color excesses from disks are present. If Cha J11110675-7636030 does have a disk, it would be a contender for the least-massive known brown dwarf with a disk. Since the new brown dwarfs that we have found extend below our completeness limit of 6-10 M_Jup, deeper observations are needed to measure the minimum mass of the initial mass function in Chamaeleon I.


title: Observation of Photonic Topological Valley-Hall Edge States

abstract: We experimentally demonstrate topological edge states arising from the valley-Hall effect in twodimensional honeycomb photonic lattices with broken inversion symmetry. We break inversion symmetry by detuning the refractive indices of the two honeycomb sublattices, giving rise to a boron nitride-like band structure. The edge states therefore exist along the domain walls between regions of opposite valley Chern numbers. We probe both the armchair and zig-zag domain walls and show that the former become gapped for any detuning, whereas the latter remain ungapped until a cutoff is reached. The valley-Hall effect provides a new mechanism for the realization of time-reversal invariant photonic topological insulators.


title: Nonlinear Instability of Half-Solitons on Star Graphs

abstract: We consider a half-soliton stationary state of the nonlinear Schrodinger equation with the power nonlinearity on a star graph consisting of N edges and a single vertex. For the subcritical power nonlinearity, the half-soliton state is a degenerate critical point of the action functional under the mass constraint such that the second variation is nonnegative. By using normal forms, we prove that the degenerate critical point is a nonlinear saddle point, for which the small perturbations to the half-soliton state grow slowly in time resulting in the nonlinear instability of the half-soliton state. The result holds for any $N \geq 3$ and arbitrary subcritical power nonlinearity. It gives a precise dynamical characterization of the previous result of Adami {\em et al.}, where the half-soliton state was shown to be a saddle point of the action functional under the mass constraint for $N = 3$ and for cubic nonlinearity.


title: The Sample Complexity of Online One-Class Collaborative Filtering

abstract: We consider the online one-class collaborative filtering (CF) problem that consists of recommending items to users over time in an online fashion based on positive ratings only. This problem arises when users respond only occasionally to a recommendation with a positive rating, and never with a negative one. We study the impact of the probability of a user responding to a recommendation, p_f, on the sample complexity, i.e., the number of ratings required to make `good' recommendations, and ask whether receiving positive and negative ratings, instead of positive ratings only, improves the sample complexity. Both questions arise in the design of recommender systems. We introduce a simple probabilistic user model, and analyze the performance of an online user-based CF algorithm. We prove that after an initial cold start phase, where recommendations are invested in exploring the user's preferences, this algorithm makes---up to a fraction of the recommendations required for updating the user's preferences---perfect recommendations. The number of ratings required for the cold start phase is nearly proportional to 1/p_f, and that for updating the user's preferences is essentially independent of p_f. As a consequence we find that, receiving positive and negative ratings instead of only positive ones improves the number of ratings required for initial exploration by a factor of 1/p_f, which can be significant.


title: A Latent Trait Model for Multivariate Longitudinal Data With Two Sources of Measurement Error

abstract: Personality traits are latent variables, and as such, are impossible to measure without the use of an assessment. Responses on the assessments can be influenced by both transient (state-related) error and measurement error, obscuring the true trait levels. Typically, these assessments utilize Likert scales, which yield only discrete data. The loss of information due to the discrete nature of the data represents an additional challenge in assessing the ability of these instruments to measure the latent trait of interest. This paper is concerned with parameter estimation in a model relating a latent variable, as well transient error and measurement error components when data are longitudinal and measured using a Likert scale. Two methods for parameter estimation are detailed: correlation reconstruction, a method that uses polychoric correlations, and maximum likelihood implemented using a Stochastic EM algorithm. These methods are applied to a motivating dataset of 440 college students taking the Big Five inventory twice in a two month period.


title: Realizable lists via the spectra of structured matrices

abstract: A square matrix of order $n$ with $n\geq 2$ is called a \textit{permutative matrix} or permutative when all its rows (up to the first one) are permutations of precisely its first row. In this paper, the spectra of a class of permutative matrices are studied. In particular, spectral results for matrices partitioned into $2$-by-$2$ symmetric blocks are presented and, using these results sufficient conditions on a given list to be the list of eigenvalues of a nonnegative permutative matrix are obtained and the corresponding permutative matrices are constructed. Guo perturbations on given lists are exhibited.


title: Normal form for transverse instability of the line soliton with a nearly critical speed of propagation

abstract: There exists a critical speed of propagation of the line solitons in the Zakharov-Kuznetsov (ZK) equation such that small transversely periodic perturbations are unstable for line solitons with larger-than-critical speeds and orbitally stable for those with smaller-than-critical speeds. The normal form for transverse instability of the line soliton with a nearly critical speed of propagation is derived by means of symplectic projections and near-identity transformations. Justification of this normal form is provided with the energy method. The normal form predicts a transformation of the unstable line solitons with larger-than-critical speeds to the orbitally stable transversely modulated solitary waves.


title: Torsion-free Aluffi Algebras

abstract: A pair of ideals $J\subseteq I\subseteq R$ has been called Aluffi torsion-free if the Aluffi algebra of $I/J$ is isomorphic with the corresponding Rees algebra. We give necessary and sufficient conditions for the Aluffi torsion-free property in terms of the first syzygy module of the form ideal $J^*$ in the associated graded ring of $I$. For two pairs of ideals $J_1,J_2\subseteq I$ such that $J_1-J_2\in I^2$, we prove that if one pair is Aluffi torsion-free the other one is so if and only if the first syzygy modules of $J_1$ and $J_2$ have the same form ideals. We introduce the notion of strongly Aluffi torsion-free ideals and present some results on these ideals.


title: Descriptions of Objectives and Processes of Mechanical Learning

abstract: In [1], we introduced mechanical learning and proposed 2 approaches to mechanical learning. Here, we follow one such approach to well describe the objects and the processes of learning. We discuss 2 kinds of patterns: objective and subjective pattern. Subjective pattern is crucial for learning machine. We prove that for any objective pattern we can find a proper subjective pattern based upon least base patterns to express the objective pattern well. X-form is algebraic expression for subjective pattern. Collection of X-forms form internal representation space, which is center of learning machine. We discuss learning by teaching and without teaching. We define data sufficiency by X-form. We then discussed some learning strategies. We show, in each strategy, with sufficient data, and with certain capabilities, learning machine indeed can learn any pattern (universal learning machine). In appendix, with knowledge of learning machine, we try to view deep learning from a different angle, i.e. its internal representation space and its learning dynamics.


title: The pseudo-Semimicroscopic Algebraic Cluster Model model: Heavy nuclei

abstract: The Semimicroscopic Algebraic Cluster Model (SACM) is extended to heavy nuclei, making use of the pseudo-SU(3) model. As a first step, the concept of forbiddenness will be resumed. One consequence of the forbiddenness is that the ground state of a nucleus can in general be described by two internally excited clusters. After that, the pseudo- SACM is formulated. The basis of pseudo-SACM is constructed, defin- ing each cluster within the united nucleus with the same oscillator fre- quency and deformation of the harmonic oscillator as a mean field and dividing the nucleons in those within the unique and normal orbitals, consistently for both clusters and the united nucleus. As test cases, this model is applied to 236U $\rightarrow$ 210Pb+26Ne and 224Ra $\rightarrow} 210Pb+14C. Some spectroscopic factors will be calculated as predictions.


title: Metropolis-Hastings reversiblizations of non-reversible Markov chains

abstract: We study two types of Metropolis-Hastings (MH) reversiblizations for non-reversible Markov chains with Markov kernel $P$. While the first type is the classical Metropolised version of $P$, we introduce a new self-adjoint kernel which captures the opposite transition effect of the first type, that we call the second MH kernel. We investigate the spectral relationship between $P$ and the two MH kernels. Along the way, we state a version of Weyl's inequality for the spectral gap of $P$ (and hence its additive reversiblization), as well as an expansion of $P$. Both results are expressed in terms of the spectrum of the two MH kernels. In the spirit of \cite{Fill91} and \cite{Paulin15}, we define a new pseudo-spectral gap based on the two MH kernels, and show that the total variation distance from stationarity can be bounded by this gap. We give variance bounds of the Markov chain in terms of the proposed gap, and offer spectral bounds in metastability and Cheeger's inequality in terms of the two MH kernels by comparison of Dirichlet form and Peskun ordering.


title: Recognizing Handwritten Source Code

abstract: Supporting programming on touchscreen devices requires effective text input and editing methods. Unfortunately, the virtual keyboard can be inefficient and uses valuable screen space on already small devices. Recent advances in stylus input make handwriting a potentially viable text input solution for programming on touchscreen devices. The primary barrier, however, is that handwriting recognition systems are built to take advantage of the rules of natural language, not those of a programming language. In this paper, we explore this particular problem of handwriting recognition for source code. We collect and make publicly available a dataset of handwritten Python code samples from 15 participants and we characterize the typical recognition errors for this handwritten Python source code when using a state-of-the-art handwriting recognition tool. We present an approach to improve the recognition accuracy by augmenting a handwriting recognizer with the programming language grammar rules. Our experiment on the collected dataset shows an 8.6% word error rate and a 3.6% character error rate which outperforms standard handwriting recognition systems and compares favorably to typing source code on virtual keyboards.


title: Redistributing Funds across Charitable Crowdfunding Campaigns

abstract: On Kickstarter only 36% of crowdfunding campaigns successfully raise sufficient funds for their projects. In this paper, we explore the possibility of redistribution of crowdfunding donations to increase the chances of success. We define several intuitive redistribution policies and, using data from a real crowdfunding platform, LaunchGood, we assess the potential improvement in campaign fundraising success rates. We find that an aggressive redistribution scheme can boost campaign success rates from 37% to 79%, but such choice-agnostic redistribution schemes come at the cost of disregarding donor preferences. Taking inspiration from offline giving societies and donor clubs, we build a case for choice preserving redistribution schemes that strike a balance between increasing the number of successful campaigns and respecting giving preference. We find that choice-preserving redistribution can easily achieve campaign success rates of 48%. Finally, we discuss the implications of these different redistribution schemes for the various stakeholders in the crowdfunding ecosystem.


title: Evidence for Scale Factor Oscillations Observed in the Large Scale Structure of the Universe

abstract: We present two independent analyses as further evidence that galaxy clustering at scales of 500 Mpc and greater has a periodic time component induced by oscillations in the scale factor at a frequency of approximately 7 cycles over one Hubble time. The scale factor oscillations were discovered in previous work by analyzing the Hubble diagram for type 1a SNe data. In the present work we analyze galaxy number count data from SDSSIII-BOSS, DR9 using a simple oscillating expanding space model and also perform a Fourier analysis of the same SDSSIII data set . The number distribution of galaxies on these scales should be relatively smooth. However, a DR9 plot of galaxy number count per 0.01 redshift bin as a function of redshift shows significant bumps to redshift 0.5. Later releases show the same behavior. Our model fits essentially all bumps at 99.8% confidence once the oscillation is included. A Fourier analysis of the same number count vs. redshift data (processed only to convert redshift to equal time bins) clearly shows the dominant 7-cycle signal at 15/1 signal-to-noise ratio. The DR9 galaxy number count peaks near redshift 0.5 and then falls off due to target magnitude limitations. In our model we assume ideal observation to all redshifts. The oscillation model displays a matching peak at redshift 0.5, then falls, but continues on to rise predicting a second peak at redshift 0.64. Confirmation of the second peak from future SDSSIV data to higher redshift would further support our observation of oscillations in the scale factor. The oscillations may derive from a scalar field model of dark matter as shown in our earlier work.


title: How Turbulence Enables Core-Collapse Supernova Explosions

abstract: An important result in core-collapse supernova (CCSN) theory is that spherically-symmetric, one-dimensional simulations routinely fail to explode, yet multi-dimensional simulations often explode. Numerical investigations suggest that turbulence eases the condition for explosion, but how is not fully understood. We develop a turbulence model for neutrino-driven convection, and show that this turbulence model reduces the condition for explosions by about 30%, in concordance with multi-dimensional simulations. In addition, we identify which turbulent terms enable explosions. Contrary to prior suggestions, turbulent ram pressure is not the dominant factor in reducing the condition for explosion. Instead, there are many contributing factors, ram pressure being only one of them, but the dominant factor is turbulent dissipation (TD). Primarily, TD provides extra heating, adding significant thermal pressure, and reducing the condition for explosion. The source of this TD power is turbulent kinetic energy, which ultimately derives its energy from the higher potential of an unstable convective profile. Investigating a turbulence model in conjunction with an explosion condition enables insight that is difficult to glean from merely analyzing complex multi-dimensional simulations. An explosion condition presents a clear diagnostic to explain why stars explode, and the turbulence model allows us to explore how turbulence enables explosion. Though we find that turbulent dissipation is a significant contributor to successful supernova explosions, it is important to note that this work is to some extent qualitative. Therefore, we suggest ways to further verify and validate our predictions with multi-dimensional simulations.


title: Magnetic Flux Tailoring through Lenz Lenses in Toroidal Diamond Indenter Cells: A New Pathway to High Pressure Nuclear Magnetic Resonance

abstract: A new pathway to nuclear magnetic resonance spectroscopy in high pressure diamond anvil cells is introduced, using inductively coupled broadband passive electro-magnetic lenses to locally amplify the magnetic flux at the isolated sample, leading to an increase in sensitivity. The lenses are adopted for the geometrical restrictions imposed by a toroidal diamond indenter cell, and yield high signal-to-noise ratios at pressures as high as 72 GPa, at initial sample volumes of only 230 pl. The corresponding levels of detection, LODt, are found to be up to four orders of magnitude lower compared to formerly used solenoidal micro-coils in diamond anvil cells, as shown by Proton-NMR measurements on paraffin oil. This approach opens up the field of ultra-high pressure sciences for one of the most versatile spectroscopic methods available in a pressure range unprecedended up to now.


title: Free energy-based reinforcement learning using a quantum processor

abstract: Recent theoretical and experimental results suggest the possibility of using current and near-future quantum hardware in challenging sampling tasks. In this paper, we introduce free energy-based reinforcement learning (FERL) as an application of quantum hardware. We propose a method for processing a quantum annealer's measured qubit spin configurations in approximating the free energy of a quantum Boltzmann machine (QBM). We then apply this method to perform reinforcement learning on the grid-world problem using the D-Wave 2000Q quantum annealer. The experimental results show that our technique is a promising method for harnessing the power of quantum sampling in reinforcement learning tasks.


title: Local Conjugacy in $\text{GL}_2(\mathbb{Z}/p^2\mathbb{Z})$

abstract: Subgroups $H_1$ and $H_2$ of a group $G$ are said to be locally conjugate if there is a bijection $f: H_1 \rightarrow H_2$ such that $h$ and $f(h)$ are conjugate in $G$ for every $h \in H_1$. This paper studies local conjugacy among subgroups of $\text{GL}_2(\mathbb{Z}/p^2\mathbb{Z})$, where $p$ is an odd prime, building on Sutherland's categorizations of subgroups of $\text{GL}_2(\mathbb{Z}/p\mathbb{Z})$ and local conjugacy among them. There are two conditions that locally conjugate subgroups $H_1$ and $H_2$ of $\text{GL}_2(\mathbb{Z}/p^2\mathbb{Z})$ must satisfy: letting $\varphi: \text{GL}_2(\mathbb{Z}/p^2\mathbb{Z}) \rightarrow \text{GL}_2(\mathbb{Z}/p\mathbb{Z})$ be the natural homomorphism, $H_1 \cap \ker \varphi$ and $H_2 \cap \ker \varphi$ must be locally conjugate in $\text{GL}_2(\mathbb{Z}/p^2\mathbb{Z})$ and $\varphi(H_1)$ and $\varphi(H_2)$ must be locally conjugate in $\text{GL}_2(\mathbb{Z}/p\mathbb{Z})$. To identify $H_1$ and $H_2$ up to conjugation, we choose $\varphi(H_1)$ and $\varphi(H_2)$ to be similar to each other, then understand the possibilities for $H_1 \cap \ker \varphi$ and $H_2 \cap \ker \varphi$. This study fully categorizes local conjugacy in $\text{GL}_2(\mathbb{Z}/p^2\mathbb{Z})$ through such casework.


title: The K-inductive Structure of the Noncommutative Fourier Transform

abstract: The noncommutative Fourier transform of the irrational rotation C*-algebra is shown to have a K-inductive structure (at least for a large concrete class of irrational parameters, containing dense $G_\delta$'s). This is a structure for automorphisms that is analogous to Huaxin Lin's notion of tracially AF for C*-algebras, except that it requires more structure from the complementary projection.


title: Collective behaviour of social bots is encoded in their temporal Twitter activity

abstract: Computational propaganda deploys social or political bots to try to shape, steer and manipulate online public discussions and influence decisions. Collective behaviour of populations of social bots has not been yet widely studied, though understanding of collective patterns arising from interactions between bots would aid social bot detection. Here we show that there are significant differences in collective behaviour between population of bots and population of humans as detected from their Twitter activity. Using a large dataset of tweets we have collected during the UK EU referendum campaign, we separated users into population of bots and population of humans based on the length of sequences of their high-frequency tweeting activity. We show that while pairwise correlations between users are weak they co-exist with collective correlated states, however the statistics of correlations and co-spiking probability differ in both populations. Our results demonstrate that populations of social bots and human users in social media exhibit collective properties similar to the ones found in social and biological systems placed near a critical point.


title: Low-Rank Matrix Approximation in the Infinity Norm

abstract: The low-rank matrix approximation problem with respect to the entry-wise $\ell_{\infty}$-norm is the following: given a matrix $M$ and a factorization rank $r$, find a matrix $X$ whose rank is at most $r$ and that minimizes $\max_{i,j} |M_{ij} - X_{ij}|$. In this paper, we prove that the decision variant of this problem for $r=1$ is NP-complete using a reduction from the problem `not all equal 3SAT'. We also analyze several cases when the problem can be solved in polynomial time, and propose a simple practical heuristic algorithm which we apply on the problem of the recovery of a quantized low-rank matrix.


title: Putting a Face to the Voice: Fusing Audio and Visual Signals Across a Video to Determine Speakers

abstract: In this paper, we present a system that associates faces with voices in a video by fusing information from the audio and visual signals. The thesis underlying our work is that an extremely simple approach to generating (weak) speech clusters can be combined with visual signals to effectively associate faces and voices by aggregating statistics across a video. This approach does not need any training data specific to this task and leverages the natural coherence of information in the audio and visual streams. It is particularly applicable to tracking speakers in videos on the web where a priori information about the environment (e.g., number of speakers, spatial signals for beamforming) is not available. We performed experiments on a real-world dataset using this analysis framework to determine the speaker in a video. Given a ground truth labeling determined by human rater consensus, our approach had ~71% accuracy.


title: Tropical Combinatorial Nullstellensatz and Sparse Polynomials

abstract: Tropical algebra emerges in many fields of mathematics such as algebraic geometry, mathematical physics and combinatorial optimization. In part, its importance is related to the fact that it makes various parameters of mathematical objects computationally accessible. Tropical polynomials play a fundamental role in this, especially for the case of algebraic geometry. On the other hand, many algebraic questions behind tropical polynomials remain open. In this paper we address four basic questions on tropical polynomials closely related to their computational properties: 1. Given a polynomial with a certain support (set of monomials) and a (finite) set of inputs, when is it possible for the polynomial to vanish on all these inputs? 2. A more precise question, given a polynomial with a certain support and a (finite) set of inputs, how many roots can this polynomial have on this set of inputs? 3. Given an integer $k$, for which $s$ there is a set of $s$ inputs such that any non-zero polynomial with at most $k$ monomials has a non-root among these inputs? 4. How many integer roots can have a one variable polynomial given by a tropical algebraic circuit? In the classical algebra well-known results in the direction of these questions are Combinatorial Nullstellensatz due to N. Alon, J. Schwartz - R. Zippel Lemma and Universal Testing Set for sparse polynomials respectively. The classical analog of the last question is known as $\tau$-conjecture due to M. Shub - S. Smale. In this paper we provide results on these four questions for tropical polynomials.


title: Two monads on the category of graphs

abstract: We introduce two monads on the category of graphs and prove that their Eilenberg-Moore categories are isomorphic to the category of perfect matchings and the category of partial Steiner triple systems, respectively. As a simple application of these results, we describe the product in the categories of perfect matchings and partial Steiner triple systems.


title: Megapixel Size Image Creation using Generative Adversarial Networks

abstract: Since its appearance, Generative Adversarial Networks (GANs) have received a lot of interest in the AI community. In image generation several projects showed how GANs are able to generate photorealistic images but the results so far did not look adequate for the quality standard of visual media production industry. We present an optimized image generation process based on a Deep Convolutional Generative Adversarial Networks (DCGANs), in order to create photorealistic high-resolution images (up to 1024x1024 pixels). Furthermore, the system was fed with a limited dataset of images, less than two thousand images. All these results give more clue about future exploitation of GANs in Computer Graphics and Visual Effects.


title: Blood capillaries and vessels segmentation in optical coherence tomography angiogram using fuzzy C-means and Curvelet transform

abstract: This paper has been removed from arXiv as the submitter did not have ownership of the data presented in this work.


title: Moderately Eccentric Warm Jupiters from Secular Interactions with Exterior Companions

abstract: Recent studies have proposed that most warm Jupiters (WJs, giant planets with semi-major axes in the range of 0.1-1 AU) probably form in-situ, or arrive in their observed orbits through disk migration. However, both in-situ formation and disk migration, in their simplest flavors, predict WJs to be in low-eccentricity orbits, in contradiction with many observed WJs that are moderately eccentric (e=0.2-0.7). This paper examines the possibility that the WJ eccentricities are raised by secular interactions with exterior giant planet companions, following in-situ formation or migration on a circular orbit. Eccentricity growth may arise from an inclined companion (through Lidov-Kozai cycles), or from an eccentric, nearly coplanar companion (through apsidal precession resonances). We quantify the necessary conditions (in terms of the eccentricity, semi-major axis and inclination) for external perturbers of various masses to raise the WJ eccentricity. We also consider the sample of eccentric WJs with detected outer companions, and for each system, identify the range of mutual inclinations needed to generate the observed eccentricity. For most systems, we find that relatively high inclinations (at least $\sim 40^\circ$) are needed so that Lidov-Kozai cycles are induced; the observed outer companions are typically not sufficiently eccentric to generate the observed WJ eccentricity in a low-inclination configuration. The results of this paper place constraints on possibly unseen external companions to eccentric WJs. Observations that probe mutual inclinations of giant planet systems will help clarify the origin of eccentric WJs and the role of external companions.


title: A Formal Approach to Modeling the Cost of Cognitive Control

abstract: This paper introduces a formal method to model the level of demand on control when executing cognitive processes. The cost of cognitive control is parsed into an intensity cost which encapsulates how much additional input information is required so as to get the specified response, and an interaction cost which encapsulates the level of interference between individual processes in a network. We develop a formal relationship between the probability of successful execution of desired processes and the control signals (additive control biases). This relationship is also used to specify optimal control policies to achieve a desired probability of activation for processes. We observe that there are boundary cases when finding such control policies which leads us to introduce the interaction cost. We show that the interaction cost is influenced by the relative strengths of individual processes, as well as the directionality of the underlying competition between processes.


title: Extraplanar HII Regions in the edge-on Spiral Galaxies NGC 3628 and NGC 4522

abstract: Gas infall and outflow are critical for determining the star formation rate and chemical evolution of galaxies but direct measurements of gas flows are diffcult to make. Young massive stars and HII regions in the halos of galaxies are potential tracers for accretion and/or outflows of gas. Gas phase abundances of three HII regions in the lower halos of the edge-on galaxies NGC 3628 and NGC 4522 are determined by analysing optical long-slit spectra. The observed regions have projected distances to the midplane of their host from 1.4 to 3 kpc. With the measured flux densities of the optical nebular emission lines, we derive the oxygen abundance 12 + log(O/H) for the three extraplanar HII regions. The analysis is based on one theoretical and two empirical strong-line calibration methods. The resulting oxygen abundances of the extraplanar HII regions are comparable to the disk HII regions in one case and a little lower in the other case. Since our results depend on the accuracy of the metallicity determinations, we critically discuss the difference of the calibration methods we applied and confirm previously noted offsets. From our measurements, we argue that these three extraplanar HII regions were formed in the disk or at least from disk material. We discuss the processes that could transport disk material into the lower halo of these systems and conclude that gravitational interaction with a companion galaxy is most likely for NGC 3628 while ram pressure is favoured in the case of NGC 4522.


title: Resolving the effects of nanoscale membrane curvature on lipid mobility

abstract: The biophysical consequences of nanoscale curvature have been challenging to resolve due to size-dependent membrane behavior and the experimental resolution limits imposed by optical diffraction. Recent advances in nanoengineering and super-resolution techniques have enabled new capabilities for creating and observing curvature. In particular, draping supported lipid bilayers over lithographically patterned substrates provides a model system for endocytic pits. The experiments and simulations presented below describe the possible detection of membrane curvature through fluorescence recovery after photobleaching (FRAP), fluorescence correlation spectroscopy (FCS), single particle tracking (SPT), and polarized localization microscopy (PLM). FRAP and FCS depend on diffraction-limited illumination and detection. In particular, a simulation of FRAP shows no effects on lipids diffusion due to a 50 nm diameter membrane bud at any stage in the budding process. Simulated FCS demonstrated small effects due to a 50 nm radius membrane bud that was amplified with curvature-dependent lipid mobility changes. However, PLM and SPT achieve sub-diffraction-limited resolution of membrane budding and lipid mobility through the identification of the single-lipid positions with <15 nm spatial and <20 ms temporal resolution. By mapping the single-lipid step lengths to locations on the membrane, the effects of curvature on lipid behavior have been resolved.


title: An Inertial Parallel and Asynchronous Fixed-Point Iteration for Convex Optimization

abstract: Two characteristics that make convex decomposition algorithms attractive are simplicity of operations and generation of parallelizable structures. In principle, these schemes require that all coordinates update at the same time, i.e., they are synchronous by construction. Introducing asynchronicity in the updates can resolve several issues that appear in the synchronous case, like load imbalances in the computations or failing communication links. However, and to the best of our knowledge, there are no instances of asynchronous versions of commonly-known algorithms combined with inertial acceleration techniques. In this work we propose an inertial asynchronous and parallel fixed-point iteration from which several new versions of existing convex optimization algorithms emanate. Departing from the norm that the frequency of the coordinates' updates should comply to some prior distribution, we propose a scheme where the only requirement is that the coordinates update within a bounded interval. We prove convergence of the sequence of iterates generated by the scheme at a linear rate. One instance of the proposed scheme is implemented to solve a distributed optimization load sharing problem in a smart grid setting and its superiority with respect to the non-accelerated version is illustrated.


title: Two-bubble dynamics for threshold solutions to the wave maps equation

abstract: We consider the energy-critical wave maps equation $\mathbb R^{1+2} \to \mathbb S^2$ in the equivariant case, with equivariance degree $k \geq 2$. It is known that initial data of energy $ < 8k\pi$ and topological degree zero leads to global solutions that scatter in both time directions. We consider the threshold case of energy $8k\pi$. We prove that the solution is defined for all time and either scatters in both time directions, or converges to a superposition of two harmonic maps in one time direction and scatters in the other time direction. In the latter case, we describe the asymptotic behavior of the scales of the two harmonic maps. The proof combines the classical concentration-compactness techniques of Kenig-Merle with a modulation analysis of interactions of two harmonic maps in the absence of excess radiation.


title: Lower Bounds on Regret for Noisy Gaussian Process Bandit Optimization

abstract: In this paper, we consider the problem of sequentially optimizing a black-box function $f$ based on noisy samples and bandit feedback. We assume that $f$ is smooth in the sense of having a bounded norm in some reproducing kernel Hilbert space (RKHS), yielding a commonly-considered non-Bayesian form of Gaussian process bandit optimization. We provide algorithm-independent lower bounds on the simple regret, measuring the suboptimality of a single point reported after $T$ rounds, and on the cumulative regret, measuring the sum of regrets over the $T$ chosen points. For the isotropic squared-exponential kernel in $d$ dimensions, we find that an average simple regret of $\epsilon$ requires $T = \Omega\big(\frac{1}{\epsilon^2} (\log\frac{1}{\epsilon})^{d/2}\big)$, and the average cumulative regret is at least $\Omega\big( \sqrt{T(\log T)^{d/2}} \big)$, thus matching existing upper bounds up to the replacement of $d/2$ by $2d+O(1)$ in both cases. For the Mat\'ern-$\nu$ kernel, we give analogous bounds of the form $\Omega\big( (\frac{1}{\epsilon})^{2+d/\nu}\big)$ and $\Omega\big( T^{\frac{\nu + d}{2\nu + d}} \big)$, and discuss the resulting gaps to the existing upper bounds.


title: The Constant of Proportionality in Lower Bound Constructions of Point-Line Incidences

abstract: Let $I(n,l)$ denote the maximum possible number of incidences between $n$ points and $l$ lines. It is well known that $I(n,l) = \Theta(n^{2/3}l^{2/3} + n + l)$. Let $c_{\mathrm{SzTr}}$ denote the lower bound on the constant of proportionality of the $n^{2/3}l^{2/3}$ term. The known lower bound, due to Elekes, is $c_{\mathrm{SzTr}} \ge 2^{-2/3} = 0.63$. With a slight modification of Elekes' construction, we show that it can give a better lower bound of $c_{\mathrm{SzTr}} \ge 1$, i.e., $I(n,l) \ge n^{2/3}l^{2/3}$. Furthermore, we analyze a different construction given by Erd{\H o}s, and show its constant of proportionality to be even better, $c_{\mathrm{SzTr}} \ge 3/(2^{1/3}\pi^{2/3}) \approx 1.11$.


title: Inexact Gradient Projection and Fast Data Driven Compressed Sensing

abstract: We study convergence of the iterative projected gradient (IPG) algorithm for arbitrary (possibly nonconvex) sets and when both the gradient and projection oracles are computed approximately. We consider different notions of approximation of which we show that the Progressive Fixed Precision (PFP) and the $(1+\epsilon)$-optimal oracles can achieve the same accuracy as for the exact IPG algorithm. We show that the former scheme is also able to maintain the (linear) rate of convergence of the exact algorithm, under the same embedding assumption. In contrast, the $(1+\epsilon)$-approximate oracle requires a stronger embedding condition, moderate compression ratios and it typically slows down the convergence. We apply our results to accelerate solving a class of data driven compressed sensing problems, where we replace iterative exhaustive searches over large datasets by fast approximate nearest neighbour search strategies based on the cover tree data structure. For datasets with low intrinsic dimensions our proposed algorithm achieves a complexity logarithmic in terms of the dataset population as opposed to the linear complexity of a brute force search. By running several numerical experiments we conclude similar observations as predicted by our theoretical analysis.


title: Inelastic cross-section and Survival Probabilities at LHC in mini-jet models

abstract: Recent results for the total and inelastic hadronic cross-sections from LHC experiments are compared with predictions from a single channel PDF driven eikonal mini-jet model and from an empirical model. The role of soft gluon resummation in the infrared region in taming the rise of mini-jets and their contribution to the increase of the total cross-sections at high energies are discussed. Survival probabilities at LHC, whose theoretical estimates range from circa 10 percent to a few per mille, will be estimated in this model and compared with results from QCD inspired models and from multi channel eikonal models. We revisit a previous calculation and examine the origin of these discrepancies.


title: A reconstruction method of electron density distribution in the equatorial region of magnetosphere

abstract: A method for the estimation of electron density from the ratio of the wave magnetic and electric field amplitude of whistler waves is developed. Near the geomagnetic equator, whistler wave normals are mainly close to the direction of the background magnetic field. Dispersion relation of whistler wave in the parallel propagation approximation is used in this method. Signals registered by STAFF-SA instrument on board the Cluster spacecraft are used for electron density reconstruction. The Cluster spacecraft crossed the plasmasphere at all local times and in a wide range of latitudes over 10 years (2001-2010) covering well the frequency range of both plasmaspheric hiss and lower band chorus emissions in a vicinity of the geomagnetic equator. The proposed technique can be useful in allowing to supplement plasma density statistics obtained from recent probes (such as THEMIS or Van Allen Probes), as well as for reanalysis of statistics derived from continuous measurements of only one or two components of the wave magnetic and electric fields on board spacecraft covering equatorial regions of the magnetosphere.


title: Using GPI-2 for Distributed Memory Paralleliziation of the Caffe Toolbox to Speed up Deep Neural Network Training

abstract: Deep Neural Network (DNN) are currently of great inter- est in research and application. The training of these net- works is a compute intensive and time consuming task. To reduce training times to a bearable amount at reasonable cost we extend the popular Caffe toolbox for DNN with an efficient distributed memory communication pattern. To achieve good scalability we emphasize the overlap of computation and communication and prefer fine granu- lar synchronization patterns over global barriers. To im- plement these communication patterns we rely on the the Global address space Programming Interface version 2 (GPI-2) communication library. This interface provides a light-weight set of asynchronous one-sided communica- tion primitives supplemented by non-blocking fine gran- ular data synchronization mechanisms. Therefore, Caf- feGPI is the name of our parallel version of Caffe. First benchmarks demonstrate better scaling behavior com- pared with other extensions, e.g., the Intel TM Caffe. Even within a single symmetric multiprocessing machine with four graphics processing units, the CaffeGPI scales bet- ter than the standard Caffe toolbox. These first results demonstrate that the use of standard High Performance Computing (HPC) hardware is a valid cost saving ap- proach to train large DDNs. I/O is an other bottleneck to work with DDNs in a standard parallel HPC setting, which we will consider in more detail in a forthcoming paper.


title: Constraint Solving for Finite Model Finding in SMT Solvers

abstract: SMT solvers have been used successfully as reasoning engines for automated verification and other applications based on automated reasoning. Current techniques for dealing with quantified formulas in SMT are generally incomplete, forcing SMT solvers to report "unknown" when they fail to prove the unsatisfiability of a formula with quantifiers. This inability to return counter-models limits their usefulness in applications that produce queries involving quantified formulas. In this paper, we reduce these limitations by integrating finite model finding techniques based on constraint solving into the architecture used by modern SMT solvers. This approach is made possible by a novel solver for cardinality constraints, as well as techniques for on-demand instantiation of quantified formulas. Experiments show that our approach is competitive with the state of the art in SMT, and orthogonal to approaches in automated theorem proving.


title: In defense of Tsallis' original probability distribution

abstract: Tsallis' pioneer q-probability distribution $P_i=\frac {[1+\beta(1-q)U_i]^{\frac {1} {q-1}}} {Z}$, $Z=\sum\limits_{i=1}^n [1+\beta(1-q)U_i]^{\frac {1} {q-1}}$ [J. of Stat. Phys., {\bf 52} (1988) 479] has been recently attacked in arXiv:1705.01752, in a Reply to our arXiv:1704.07493 publication. We show here that such an attack is groundless.


title: Bayesian $l_0$-regularized Least Squares

abstract: Bayesian $l_0$-regularized least squares is a variable selection technique for high dimensional predictors. The challenge is optimizing a non-convex objective function via search over model space consisting of all possible predictor combinations. Spike-and-slab (a.k.a. Bernoulli-Gaussian) priors are the gold standard for Bayesian variable selection, with a caveat of computational speed and scalability. Single Best Replacement (SBR) provides a fast scalable alternative. We provide a link between Bayesian regularization and proximal updating, which provides an equivalence between finding a posterior mode and a posterior mean with a different regularization prior. This allows us to use SBR to find the spike-and-slab estimator. To illustrate our methodology, we provide simulation evidence and a real data example on the statistical properties and computational efficiency of SBR versus direct posterior sampling using spike-and-slab priors. Finally, we conclude with directions for future research.


title: Centers and limit cycles of a generalized cubic Riccati system

abstract: We obtain condition for existence of a center for a cubic planar differential system, which can be considered as a polynomial subfamily of the generalized Riccati system. We also investigate bifurcations of small limit cycles from the components of the center variety of the system.


title: Observation of annual modulation induced by $\gamma$ rays from ($\alpha$, $\gamma$) reactions at the Soudan Underground Laboratory

abstract: Annual modulation of $\gamma$ rays from ($\alpha$, $\gamma$) reactions in the Soudan Underground Lab has been observed using a 12-liter scintillation detector. This significant annual modulation, measured over 4 years, can mimic the signature for dark matter and can also generate potential background events for neutrinoless double-$\beta$ decay experiments. The measured annual modulation of the event rate from ($\alpha$, $\gamma$) reactions is strongly correlated with the time-varying radon concentration observed independently in the Lab. The $\alpha$ flux from radon decay is simulated starting from the measured radon concentration, and the $\gamma$-ray flux is determined using the convolution of the $\alpha$ flux and the cross sections for ($\alpha$, $\gamma$) reactions. The calculated $\gamma$-ray flux is sufficient to generate the measured event rate that exhibits an annual modulation.


title: Coded Caching Schemes with Reduced Subpacketization from Linear Block Codes

abstract: Coded caching is a technique that generalizes conventional caching and promises significant reductions in traffic over caching networks. However, the basic coded caching scheme requires that each file hosted in the server be partitioned into a large number (i.e., the subpacketization level) of non-overlapping subfiles. From a practical perspective, this is problematic as it means that prior schemes are only applicable when the size of the files is extremely large. In this work, we propose coded caching schemes based on combinatorial structures called resolvable designs. These structures can be obtained in a natural manner from linear block codes whose generator matrices possess certain rank properties. We obtain several schemes with subpacketization levels substantially lower than the basic scheme at the cost of an increased rate. Depending on the system parameters, our approach allows us to operate at various points on the subpacketization level vs. rate tradeoff.


title: Symmetrization and extension of planar bi-Lipschitz maps

abstract: We show that every centrally symmetric bi-Lipschitz embedding of the circle into the plane can be extended to a global bi-Lipschitz map of the plane with linear bounds on the distortion. This answers a question of Daneri and Pratelli in the special case of centrally symmetric maps. For general bi-Lipschitz embeddings our distortion bound has a combination of linear and cubic growth, which improves on the prior results. The proof involves a symmetrization result for bi-Lipschitz maps which may be of independent interest.


title: From patterned response dependency to structured covariate dependency: categorical-pattern-matching

abstract: Data generated from a system of interest typically consists of measurements from an ensemble of subjects across multiple response and covariate features, and is naturally represented by one response-matrix against one covariate-matrix. Likely each of these two matrices simultaneously embraces heterogeneous data types: continuous, discrete and categorical. Here a matrix is used as a practical platform to ideally keep hidden dependency among/between subjects and features intact on its lattice. Response and covariate dependency is individually computed and expressed through mutliscale blocks via a newly developed computing paradigm named Data Mechanics. We propose a categorical pattern matching approach to establish causal linkages in a form of information flows from patterned response dependency to structured covariate dependency. The strength of an information flow is evaluated by applying the combinatorial information theory. This unified platform for system knowledge discovery is illustrated through five data sets. In each illustrative case, an information flow is demonstrated as an organization of discovered knowledge loci via emergent visible and readable heterogeneity. This unified approach fundamentally resolves many long standing issues, including statistical modeling, multiple response, renormalization and feature selections, in data analysis, but without involving man-made structures and distribution assumptions. The results reported here enhance the idea that linking patterns of response dependency to structures of covariate dependency is the true philosophical foundation underlying data-driven computing and learning in sciences.


title: Spin-Seebeck effect and spin polarization in a multiple quantum dot molecule

abstract: In this work, we study the conductance and the thermoelectric properties of a quantum dot embedded between two metallic leads with a side-coupled triple quantum dot molecule under a magnetic field. We focus on the spin polarization and thermoelectric quantities. Our results show the possibility of design an efficient spin filter device besides a noticeable enhancement of the Seebeck coefficient driven by the asymmetry in the quantum dots energy levels and a tunable pure spin Seebeck effect is obtained. This behavior also holds in the interacting case, where a pure spin Seebeck effect can be obtained for fixed values of the embedded quantum dot energy level. Our findings could lead to the implementation of a new pure spin energy conversion and capable spin filter devices working with weak magnetic fields.


title: Splines over integer quotient rings

abstract: Given a graph with edges labeled by elements in $\mathbb{Z}/m\mathbb{Z}$, a generalized spline is a labeling of each vertex by an integer $\mod m$ such that the labels of adjacent vertices agree modulo the label associated to the edge connecting them. These generalize the classical splines that arise in analysis as well as in a construction of equivariant cohomology often referred to as GKM-theory. We give an algorithm to produce minimum generating sets for the $\mathbb{Z}$-module of splines on connected graphs over $\mathbb{Z}/m \mathbb{Z}$. As an application, we give a quick heuristic to determine the minimum number of generators of the module of splines over $\mathbb{Z}/m\mathbb{Z}$. We also completely determine the ring of splines over $\mathbb{Z}/p^k\mathbb{Z}$ by providing explicit multiplication tables with respect to the elements of our minimum generating set. Our final result extends some of these results to splines over $\mathbb{Z}$.


title: A Unified Model for Galactic Discs: Star Formation, Turbulence Driving, and Mass Transport

abstract: We introduce a new model for the structure and evolution of the gas in galactic discs. In the model the gas is in vertical pressure and energy balance. Star formation feedback injects energy and momentum, and non-axisymmetric torques prevent the gas from becoming more than marginally gravitationally unstable. From these assumptions we derive the relationship between galaxies' bulk properties (gas surface density, stellar content, and rotation curve) and their star formation rates, gas velocity dispersions, and rates of radial inflow. We show that the turbulence in discs can be powered primarily by star formation feedback, radial transport, or a combination of the two. In contrast to models that omit either radial transport or star formation feedback, the predictions of this model yield excellent agreement with a wide range of observations, including the star formation law measured in both spatially resolved and unresolved data, the correlation between galaxies' star formation rates and velocity dispersions, and observed rates of radial inflow. The agreement holds across a wide range of galaxy mass and type, from local dwarfs to extreme starbursts to high-redshifts discs. We apply the model to galaxies on the star-forming main sequence, and show that it predicts a transition from mostly gravity-driven turbulence at high redshift to star formation-driven turbulence at low redshift. This transition, and the changes in mass transport rates that it produces, naturally explain why galaxy bulges tend to form at high redshift and discs at lower redshift, and why galaxies tend to quench inside-out.


title: Green Virtualization for Multiple Collaborative Cellular Operators

abstract: This paper proposes and investigates a green virtualization framework for infrastructure sharing among multiple cellular operators whose networks are powered by a combination of conventional and renewable sources of energy. Under the proposed framework, the virtual network formed by unifying radio access infrastructures of all operators is optimized for minimum energy consumption by deactivating base stations (BSs) with low traffic loads. The users initially associated to those BSs are off-loaded to neighboring active ones. A fairness criterion for collaboration based on roaming prices is introduced to cover the additional energy costs incurred by host operators. The framework also ensures that any collaborating operator is not negatively affected by its participation in the proposed virtualization. A multi-objective linear programming problem is formulated to achieve energy and cost efficiency of the networks' operation by identifying the set of inter-operator roaming prices. For the case when collaboration among all operators is infeasible due to profitability, capacity, or power constraints, an iterative algorithm is proposed to determine the groups of operators that can viably collaborate. Results show significant energy savings using the proposed virtualization as compared to the standalone case. Moreover, collaborative operators exploiting locally generated renewable energy are rewarded more than traditional ones.


title: Reifenberg's Isoperimetric Inequality Revisited

abstract: We prove a generalization of Reifenberg's isoperimetric inequality. The main result of this paper is used to establish existence of a minimizer for an anisotropically-weighted area functional among a collection of surfaces which satisfies a set of axioms, namely being closed under certain deformations and Hausdorff limits. This problem is known as the axiomatic Plateau problem.


title: Probabilistic response and rare events in Mathieu's equation under correlated parametric excitation

abstract: We derive an analytical approximation to the probability distribution function (pdf) for the response of Mathieu's equation under parametric excitation by a random process with a spectrum peaked at the main resonant frequency, motivated by the problem of large amplitude ship roll resonance in random seas. The inclusion of random stochastic excitation renders the otherwise straightforward response to a system undergoing intermittent resonances: randomly occurring large amplitude bursts. Intermittent resonance occurs precisely when the random parametric excitation pushes the system into the instability region, causing an extreme magnitude response. As a result, the statistics are characterized by heavy-tails. We apply a recently developed mathematical technique, the probabilistic decomposition-synthesis method, to derive an analytical approximation to the non-Gaussian pdf of the response. We illustrate the validity of this analytic approximation through comparisons with Monte-Carlo simulations that demonstrate our result accurately captures the strong non-Gaussianity of the response.


title: Endomorphism Algebras of Abelian varieties with special reference to Superelliptic Jacobians

abstract: This is (mostly) a survey article. We use an information about Galois properties of points of small order on an abelian variety in order to describe its endomorphism algebra over an algebraic closure of the ground field. We discuss in detail applications to jacobians of cyclic covers of the projective line.


title: Prospects for Measuring Abundances of >20 Elements with Low-resolution Stellar Spectra

abstract: Understanding the evolution of the Milky Way calls for the precise abundance determination of many elements in many stars. A common perception is that deriving more than a few elemental abundances ([Fe/H], [$\alpha$/Fe], perhaps [C/H], [N/H]) requires medium-to-high spectral resolution, $R \gtrsim 10,000$, mostly to overcome the effects of line blending. In recent work (Rix et al. 2016; Ting et al. 2016) we presented an efficient and practical way to model the full stellar spectrum, even when fitting a large number of stellar labels simultaneously. In this paper we quantify to what precision the abundances of many different elements can be recovered, as a function of spectroscopic resolution and wavelength range. In the limit of perfect spectral models and spectral normalization, we show that the precision of elemental abundances is nearly independent of resolution, for a fixed exposure time and number of detector pixels; low-resolution spectra simply afford much higher S/N per pixel and generally larger wavelength range in a single setting. We also show that estimates of most stellar labels are not strongly correlated with one another once $R \gtrsim 1,000$. Modest errors in the line spread function, as well as small radial velocity errors, do not affect these conclusions, and data driven models indicate that spectral (continuum) normalization can be achieved well enough in practice. These results, to be confirmed with an analysis of observed low-resolution data, open up new possibilities for the design of large spectroscopic stellar surveys and for the re-analysis of archival low-resolution datasets.


title: Optimal repair of Reed-Solomon codes: Achieving the cut-set bound

abstract: Coding for distributed storage gives rise to a new set of problems in coding theory related to the need of reducing inter-node communication in the system. A large number of recent papers addressed the problem of optimizing the total amount of information downloaded for repair of a single failed node (the repair bandwidth) by accessing information on $d$ {\em helper nodes}, where $k\le d\le n-1.$ By the so-called cut-set bound (Dimakis et al., 2010), the repair bandwidth of an $(n,k=n-r)$ MDS code using $d$ helper nodes is at least $dl/(d+1-k),$ where $l$ is the size of the node. Also, a number of known constructions of MDS array codes meet this bound with equality. In a related but separate line of work, Guruswami and Wootters (2016) studied repair of Reed-Solomon (RS) codes, showing that these codes can be repaired using a smaller bandwidth than under the trivial approach. At the same time, their work as well as follow-up papers stopped short of constructing RS codes (or any scalar MDS codes) that meet the cut-set bound with equality, which has been an open problem in coding theory. In this work we present a solution to this problem, constructing RS codes of length $n$ over the field $q^l, l=\exp((1+o(1))n\log n)$ that meet the cut-set bound. We also prove an almost matching lower bound on $l$, showing that the super-exponential scaling is both necessary and sufficient for achieving the cut-set bound using linear repair schemes. More precisely, we prove that for scalar MDS codes (including the RS codes) to meet this bound, the sub-packetization $l$ must satisfy $l \ge \exp((1+o(1)) k\log k).$


title: Characterization of Calabi--Yau variations of Hodge structure over tube domains by characteristic forms

abstract: Sheng and Zuo's characteristic forms are invariants of a variation of Hodge structure. We show that they characterize Gross's canonical variations of Hodge structure of Calabi-Yau type over (Hermitian symmetric) tube domains.


title: Mixed penalization in convolutive nonnegative matrix factorization for blind speech dereverberation

abstract: When a signal is recorded in an enclosed room, it typically gets affected by reverberation. This degradation represents a problem when dealing with audio signals, particularly in the field of speech signal processing, such as automatic speech recognition. Although there are some approaches to deal with this issue that are quite satisfactory under certain conditions, constructing a method that works well in a general context still poses a significant challenge. In this article, we propose a method based on convolutive nonnegative matrix factorization that mixes two penalizers in order to impose certain characteristics over the time-frequency components of the restored signal and the reverberant components. An algorithm for implementing the method is described and tested. Comparisons of the results against those obtained with state of the art methods are presented, showing significant improvement.


title: NetSciEd: Network Science and Education for the Interconnected World

abstract: This short article presents a summary of the NetSciEd (Network Science and Education) initiative that aims to address the need for curricula, resources, accessible materials, and tools for introducing K-12 students and the general public to the concept of networks, a crucial framework in understanding complexity. NetSciEd activities include (1) the NetSci High educational outreach program (since 2010), which connects high school students and their teachers with regional university research labs and provides them with the opportunity to work on network science research projects; (2) the NetSciEd symposium series (since 2012), which brings network science researchers and educators together to discuss how network science can help and be integrated into formal and informal education; and (3) the Network Literacy: Essential Concepts and Core Ideas booklet (since 2014), which was created collaboratively and subsequently translated into 18 languages by an extensive group of network science researchers and educators worldwide.


title: On the statistics of proto-cluster candidates detected in the Planck all-sky survey

abstract: Observational investigations of the abundance of massive precursors of local galaxy clusters ("proto-clusters") allow us to test the growth of density perturbations, to constrain cosmological parameters that control it, to test the theory of non-linear collapse and how the galaxy formation takes place in dense environments. The Planck collaboration has recently published a catalogue of >~ 2000 cold extra-galactic sub-millimeter sources, i.e. with colours indicative of z >~ 2, almost all of which appear to be over-densities of star-forming galaxies. They are thus considered as proto-cluster candidates. Their number densities (or their flux densities) are far in excess of expectations from the standard scenario for the evolution of large-scale structure. Simulations based on a physically motivated galaxy evolution model show that essentially all cold peaks brighter than S_{545GHz} = 500 mJy found in Planck maps after having removed the Galactic dust emission can be interpreted as positive Poisson fluctuations of the number of high-z dusty proto-clusters within the same Planck beam, rather then being individual clumps of physically bound galaxies. This conclusion does not change if an empirical fit to the luminosity function of dusty galaxies is used instead of the physical model. The simulations accurately reproduce the statistic of the Planck detections and yield distributions of sizes and ellipticities in qualitative agreement with observations. The redshift distribution of the brightest proto-clusters contributing to the cold peaks has a broad maximum at 1.5 <~ z <~ 3. Therefore follow-up of Planck proto-cluster candidates will provide key information on the high-z evolution of large scale structure.


title: Dark Matter Detection Using Helium Evaporation and Field Ionization

abstract: We describe a method for dark matter detection based on the evaporation of helium atoms from a cold surface and their subsequent detection using field ionization. When a dark matter particle scatters off a nucleus of the target material, elementary excitations (phonons or rotons) are produced. Excitations which have an energy greater than the binding energy of helium to the surface can result in the evaporation of helium atoms. We propose to detect these atoms by ionizing them in a strong electric field. Because the binding energy of helium to surfaces can be below 1~meV, this detection scheme opens up new possibilities for the detection of dark matter particles in a mass range down to 1~MeV/c$^{2}$.


title: High-Mass Star and Massive Cluster Formation in the Milky Way

abstract: This review examines the state-of-the-art knowledge of high-mass star and massive cluster formation, gained from ambitious observational surveys, which acknowledge the multi-scale characteristics of these processes. After a brief overview of theoretical models and main open issues, we present observational searches for the evolutionary phases of high-mass star formation, first among high-luminosity sources and more recently among young massive protostars and the elusive high-mass prestellar cores. We then introduce the most likely evolutionary scenario for high-mass star formation, which emphasizes the link of high-mass star formation to massive cloud and cluster formation. Finally, we introduce the first attempts to search for variations of the star formation activity and cluster formation in molecular cloud complexes, in the most extreme star-forming sites, and across the Milky Way. The combination of Galactic plane surveys and high-angular resolution images with submillimeter facilities such as Atacama Large Millimeter Array (ALMA) are prerequisites to make significant progresses in the forthcoming decade.


title: Bayesian fairness

abstract: We consider the problem of how decision making can be fair when the underlying probabilistic model of the world is not known with certainty. We argue that recent notions of fairness in machine learning need to explicitly incorporate parameter uncertainty, hence we introduce the notion of {\em Bayesian fairness} as a suitable candidate for fair decision rules. Using balance, a definition of fairness introduced by Kleinberg et al (2016), we show how a Bayesian perspective can lead to well-performing, fair decision rules even under high uncertainty.


title: Superhuman Accuracy on the SNEMI3D Connectomics Challenge

abstract: For the past decade, convolutional networks have been used for 3D reconstruction of neurons from electron microscopic (EM) brain images. Recent years have seen great improvements in accuracy, as evidenced by submissions to the SNEMI3D benchmark challenge. Here we report the first submission to surpass the estimate of human accuracy provided by the SNEMI3D leaderboard. A variant of 3D U-Net is trained on a primary task of predicting affinities between nearest neighbor voxels, and an auxiliary task of predicting long-range affinities. The training data is augmented by simulated image defects. The nearest neighbor affinities are used to create an oversegmentation, and then supervoxels are greedily agglomerated based on mean affinity. The resulting SNEMI3D score exceeds the estimate of human accuracy by a large margin. While one should be cautious about extrapolating from the SNEMI3D benchmark to real-world accuracy of large-scale neural circuit reconstruction, our result inspires optimism that the goal of full automation may be realizable in the future.


title: Concentration inequalities for polynomials of contracting Ising models

abstract: We study the concentration of a degree-$d$ polynomial of the $N$ spins of a general Ising model, in the regime where single-site Glauber dynamics is contracting. For $d=1$, Gaussian concentration was shown by Marton (1996) and Samson (2000) as a special case of concentration for convex Lipschitz functions, and extended to a variety of related settings by e.g., Chazottes et al. (2007) and Kontorovich and Ramanan (2008). For $d=2$, exponential concentration was shown by Marton (2003) on lattices. We treat a general fixed degree $d$ with $O(1)$ coefficients, and show that the polynomial has variance $O(N^d)$ and, after rescaling it by $N^{-d/2}$, its tail probabilities decay as $\exp(- c\, r^{2/d})$ for deviations of $r \geq C \log N$.


title: Assessment of Future Changes in Intensity-Duration-Frequency Curves for Southern Ontario using North American (NA)-CORDEX Models with Nonstationary Methods

abstract: The evaluation of possible climate change consequence on extreme rainfall has significant implications for the design of engineering structure and socioeconomic resources development. While many studies have assessed the impact of climate change on design rainfall using global and regional climate model (RCM) predictions, to date, there has been no comprehensive comparison or evaluation of intensity-duration-frequency (IDF) statistics at regional scale, considering both stationary versus nonstationary models for the future climate. To understand how extreme precipitation may respond to future IDF curves, we used an ensemble of three RCMs participating in the North-American (NA)-CORDEX domain over eight rainfall stations across Southern Ontario, one of the most densely populated and major economic region in Canada. The IDF relationships are derived from multi-model RCM simulations and compared with the station-based observations. We modeled precipitation extremes, at different durations using extreme value distributions considering parameters that are either stationary or nonstationary, as a linear function of time. Our results showed that extreme precipitation intensity driven by future climate forcing shows a significant increase in intensity for 10-year events in 2050s (2030-2070) relative to 1970-2010 baseline period across most of the locations. However, for longer return periods, an opposite trend is noted. Surprisingly, in term of design storms, no significant differences were found when comparing stationary and nonstationary IDF estimation methods for the future (2050s) for the larger return periods. The findings, which are specific to regional precipitation extremes, suggest no immediate reason for alarm, but the need for progressive updating of the design standards in light of global warming.


title: Diversified Top-k Partial MaxSAT Solving

abstract: We introduce a diversified top-k partial MaxSAT problem, a combination of partial MaxSAT problem and enumeration problem. Given a partial MaxSAT formula F and a positive integer k, the diversified top-k partial MaxSAT is to find k maximal solutions for F such that the k maximal solutions satisfy the maximum number of soft clauses of F. This problem can be widely used in many applications including community detection, sensor place, motif discovery, and combinatorial testing. We prove the problem is NP-hard and propose an approach for solving the problem. The concrete idea of the approach is to design an encoding EE which reduces diversified top-k partial MaxSAT problem into partial MaxSAT problem, and then solve the resulting problem with state-of-art solvers. In addition, we present an algorithm MEMKC exactly solving the diversified top-k partial MaxSAT. Through several experiments we show that our approach can be successfully applied to the interesting problem.


title: HOMFLYPT homology of Coxeter links

abstract: A Coxeter link is a closure of a product of two braids, one being a quasi-Coxeter element and the other being a product of partial full twists. This class of links includes torus knots \(T_{n,k}\) and torus links \(T_{n,nk}\). We identify the knot homology of a Coxeter link with the space of sections of a particular line bundle on a natural generalization of the punctual locus inside the flag Hilbert scheme of points in \(\mathbb{C}^2\).


title: Convolutional Kitchen Sinks for Transcription Factor Binding Site Prediction

abstract: We present a simple and efficient method for prediction of transcription factor binding sites from DNA sequence. Our method computes a random approximation of a convolutional kernel feature map from DNA sequence and then learns a linear model from the approximated feature map. Our method outperforms state-of-the-art deep learning methods on five out of six test datasets from the ENCODE consortium, while training in less than one eighth the time.


title: Symbolic powers of monomial ideals and Cohen-Macaulay vertex-weighted digraphs

abstract: In this paper we study irreducible representations and symbolic Rees algebras of monomial ideals. Then we examine edge ideals associated to vertex-weighted oriented graphs. These are digraphs having no oriented cycles of length two with weights on the vertices. For a monomial ideal with no embedded primes we classify the normality of its symbolic Rees algebra in terms of its primary components. If the primary components of a monomial ideal are normal, we present a simple procedure to compute its symbolic Rees algebra using Hilbert bases, and give necessary and sufficient conditions for the equality between its ordinary and symbolic powers. We give an effective characterization of the Cohen--Macaulay vertex-weighted oriented forests. For edge ideals of transitive weighted oriented graphs we show that Alexander duality holds. It is shown that edge ideals of weighted acyclic tournaments are Cohen--Macaulay and satisfy Alexander duality


title: The interplay between Steinberg algebras and partial skew rings

abstract: We study the interplay between Steinberg algebras and partial skew rings: For a partial action of a group in a Hausdorff, locally compact, totally disconnected topological space, we realize the associated partial skew group ring as a Steinberg algebra (over the transformation groupoid attached to the partial action). We then apply this realization to characterize diagonal preserving isomorphisms of partial skew group rings, over commutative algebras, in terms of continuous orbit equivalence of the associated partial actions. Finally, we show that any Steinberg algebra, associated to a Hausdorff ample groupoid, can be seen as a partial skew inverse semigroup ring.


title: Vector fields on $\mathfrak{osp}_{2m|2n}(\mathbb C)$- and $\pi\mathfrak{sp}_{n}(\mathbb C)$-flag supermanifolds

abstract: The paper is devoted to a computation of the Lie superalgebras of holomorphic vector fields on isotropic flag supermanifolds of maximal type corresponding to the Lie superalgebras $\mathfrak{osp}_{2m|2n}(\mathbb C)$ and $\pi\mathfrak{sp}_{n}(\mathbb C)$. The result is that under some restrictions on the flag type any holomorphic vector field is fundamental with respect to the natural action of the Lie superalgebras $\mathfrak{osp}_{2m|2n}(\mathbb C)$ or $\pi\mathfrak{sp}_{n}(\mathbb C)$.


title: Asymptotic analysis for close evaluation of layer potentials

abstract: We study the evaluation of layer potentials close to the domain boundary. Accurate evaluation of layer potentials near boundaries is needed in many applications, including fluid-structure interactions and near-field scattering in nano-optics. When numerically evaluating layer potentials, it is natural to use the same quadrature rule as the one used in the Nystr\"om method to solve the underlying boundary integral equation. However, this method is problematic for evaluation points close to boundaries. For a fixed number of quadrature points, $N$, this method incurs $O(1)$ errors in a boundary layer of thickness $O(1/N)$. Using an asymptotic expansion for the kernel of the layer potential, we remove this $O(1)$ error. We demonstrate the effectiveness of this method for interior and exterior problems for Laplace's equation in two dimensions.


title: Teaching Machines to Describe Images via Natural Language Feedback

abstract: Robots will eventually be part of every household. It is thus critical to enable algorithms to learn from and be guided by non-expert users. In this paper, we bring a human in the loop, and enable a human teacher to give feedback to a learning agent in the form of natural language. We argue that a descriptive sentence can provide a much stronger learning signal than a numeric reward in that it can easily point to where the mistakes are and how to correct them. We focus on the problem of image captioning in which the quality of the output can easily be judged by non-experts. We propose a hierarchical phrase-based captioning model trained with policy gradients, and design a feedback network that provides reward to the learner by conditioning on the human-provided feedback. We show that by exploiting descriptive feedback our model learns to perform better than when given independently written human captions.


title: On the Hausdorff dimension of pinned distance sets

abstract: We prove that if $A$ is a Borel set in the plane of equal Hausdorff and packing dimension $s>1$, then the set of pinned distances $\{ |x-y|:y\in A\}$ has full Hausdorff dimension for all $x$ outside of a set of Hausdorff dimension $1$ (in particular, for many $x\in A$). This verifies a strong variant of Falconer's distance set conjecture for sets of equal Hausdorff and packing dimension, outside the endpoint $s=1$.


title: Leakage-free electrolytes with different conductivity for non-volatile memory device utilizing insulator/metal ferromagnet transition of SrCoOx

abstract: The electrochemical switching of SrCoOx-based non-volatile memory with thin-film-transistor structure was examined by using liquid-leakage-free electrolytes with different conductivity (s) as the gate insulator. We first examined leakage-free water, which is incorporated in the amorphous (a-) 12CaO 7Al2O3 film with nanoporous structure (CAN), but the electrochemical oxidation/reduction of SrCoOx layer required the application of high gate voltage (Vg) up to 20 V for a very long retention-time (t) 40 minutes, primarily due to the low s (2.0 x 10-8 S cm-1 at RT) of leakage-free water.We then controlled the s of leakage-free electrolyte, infiltrated in the a-NaxTaO3 film with nanopillar array structure, from 8.0 x 10-8 S cm-1 to 2.5 x 10-6 S cm-1 at RT by changing the x = 0.01-1.0. As the result, the t, required for the metallization of SrCoOx layer under small Vg = -3 V, becomes two orders of magnitude shorter with increase of the s of the a-NaxTaO3 leakage-free electrolyte. These results indicate that the ion migration in the leakage-free electrolyte is the rate-determining step for the electrochemical switching, compared to the other electrochemical process, and the high s of the leakage-free electrolyte is the key factor for the development of the non-volatile SrCoOx-based electro-magnetic phase switching device.


title: Cortical Circuits from Scratch: A Metaplastic Architecture for the Emergence of Lognormal Firing Rates and Realistic Topology

abstract: Our current understanding of neuroplasticity paints a picture of a complex interconnected system of dependent processes which shape cortical structure so as to produce an efficient information processing system. Indeed, the cooperation of these processes is associated with robust, stable, adaptable networks with characteristic features of activity and synaptic topology. However, combining the actions of these mechanisms in models has proven exceptionally difficult and to date no model has been able to do so without significant hand-tuning. Until such a model exists that can successfully combine these mechanisms to form a stable circuit with realistic features, our ability to study neuroplasticity in the context of (more realistic) dynamic networks and potentially reap whatever rewards these features and mechanisms imbue biological networks with is hindered. We introduce a model which combines five known plasticity mechanisms that act on the network as well as a unique metaplastic mechanism which acts on other plasticity mechanisms, to produce a neural circuit model which is both stable and capable of broadly reproducing many characteristic features of cortical networks. The MANA (metaplastic artificial neural architecture) represents the first model of its kind in that it is able to self-organize realistic, nonrandom features of cortical networks, from a null initial state (no synaptic connectivity or neuronal differentiation). In the same vein as models like the SORN (self-organizing recurrent network) MANA represents further progress toward the reverse engineering of the brain at the network level.


title: Semantic Refinement GRU-based Neural Language Generation for Spoken Dialogue Systems

abstract: Natural language generation (NLG) plays a critical role in spoken dialogue systems. This paper presents a new approach to NLG by using recurrent neural networks (RNN), in which a gating mechanism is applied before RNN computation. This allows the proposed model to generate appropriate sentences. The RNN-based generator can be learned from unaligned data by jointly training sentence planning and surface realization to produce natural language responses. The model was extensively evaluated on four different NLG domains. The results show that the proposed generator achieved better performance on all the NLG domains compared to previous generators.


title: Quantales and their modules: projective objects, ideals, and congruences

abstract: In this paper we characterize the projective modules over an arbitrary quantale, and then we apply such a characterization in order to define the K_0 group of a quantale. Then we study congruences of quantales and quantale modules by means of their ideals and of saturated elements w.r.t. a binary relation.


title: Scalable Generalized Linear Bandits: Online Computation and Hashing

abstract: Generalized Linear Bandits (GLBs), a natural extension of the stochastic linear bandits, has been popular and successful in recent years. However, existing GLBs scale poorly with the number of rounds and the number of arms, limiting their utility in practice. This paper proposes new, scalable solutions to the GLB problem in two respects. First, unlike existing GLBs, whose per-time-step space and time complexity grow at least linearly with time $t$, we propose a new algorithm that performs online computations to enjoy a constant space and time complexity. At its heart is a novel Generalized Linear extension of the Online-to-confidence-set Conversion (GLOC method) that takes \emph{any} online learning algorithm and turns it into a GLB algorithm. As a special case, we apply GLOC to the online Newton step algorithm, which results in a low-regret GLB algorithm with much lower time and memory complexity than prior work. Second, for the case where the number $N$ of arms is very large, we propose new algorithms in which each next arm is selected via an inner product search. Such methods can be implemented via hashing algorithms (i.e., "hash-amenable") and result in a time complexity sublinear in $N$. While a Thompson sampling extension of GLOC is hash-amenable, its regret bound for $d$-dimensional arm sets scales with $d^{3/2}$, whereas GLOC's regret bound scales with $d$. Towards closing this gap, we propose a new hash-amenable algorithm whose regret bound scales with $d^{5/4}$. Finally, we propose a fast approximate hash-key computation (inner product) with a better accuracy than the state-of-the-art, which can be of independent interest. We conclude the paper with preliminary experimental results confirming the merits of our methods.


title: Normal form for renormalization groups

abstract: The results of the renormalization group are commonly advertised as the existence of power law singularities near critical points. The classic predictions are often violated and logarithmic and exponential corrections are treated on a case-by-case basis. We use the mathematics of normal form theory to systematically group these into universality families of seemingly unrelated systems united by common scaling variables. We recover and explain the existing literature and predict the nonlinear generalization for the universal homogeneous scaling functions. We show that this procedure leads to a better handling of the singularity even in classic cases and elaborate our framework using several examples.


title: Using Cognitive Dimensions Questionnaire to Evaluate the Usability of Security APIs

abstract: Usability issues that exist in security APIs cause programmers to embed those security APIs incorrectly to the applications they develop. This results in introduction of security vulnerabilities to those applications. One of the main reasons for security APIs to be not usable is currently there is no proper method by which the usability issues of security APIs can be identified. We conducted a study to assess the effectiveness of the cognitive dimensions questionnaire based usability evaluation methodology in evaluating the usability of security APIs. We used a cognitive dimensions based generic questionnaire to collect feedback from programmers who participated in the study. Results revealed interesting facts about the prevailing usability issues in four commonly used security APIs and the capability of the methodology to identify those issues.


title: Natural Language Generation for Spoken Dialogue System using RNN Encoder-Decoder Networks

abstract: Natural language generation (NLG) is a critical component in a spoken dialogue system. This paper presents a Recurrent Neural Network based Encoder-Decoder architecture, in which an LSTM-based decoder is introduced to select, aggregate semantic elements produced by an attention mechanism over the input elements, and to produce the required utterances. The proposed generator can be jointly trained both sentence planning and surface realization to produce natural language sentences. The proposed model was extensively evaluated on four different NLG datasets. The experimental results showed that the proposed generators not only consistently outperform the previous methods across all the NLG domains but also show an ability to generalize from a new, unseen domain and learn from multi-domain datasets.


title: Faster Spatially Regularized Correlation Filters for Visual Tracking

abstract: Discriminatively learned correlation filters (DCF) have been widely used in online visual tracking filed due to its simplicity and efficiency. These methods utilize a periodic assumption of the training samples to construct a circulant data matrix, which implicitly increases the training samples and reduces both storage and computational complexity.The periodic assumption also introduces unwanted boundary effects. Recently, Spatially Regularized Correlation Filters (SRDCF) solved this issue by introducing penalization on correlation filter coefficients depending on their spatial location. However, SRDCF's efficiency dramatically decreased due to the breaking of circulant structure. We propose Faster Spatially Regularized Discriminative Correlation Filters (FSRDCF) for tracking. The FSRDCF is constructed from Ridge Regression, the circulant structure of training samples in the spatial domain is fully used, more importantly, we further exploit the circulant structure of regularization function in the Fourier domain, which allows our problem to be solved more directly and efficiently. Experiments are conducted on three benchmark datasets: OTB-2013, OTB-2015 and VOT2016. Our approach achieves equivalent performance to the baseline tracker SRDCF on all three datasets. On OTB-2013 and OTB-2015 datasets, our approach obtains a more than twice faster running speed and a more than third times shorter start-up time than the SRDCF. For state-of-the-art comparison, our approach demonstrates superior performance compared to other non-spatial-regularization trackers.