title: BInGaN alloys nearly lattice-matched to GaN for high-power high-efficiency visible LEDs

abstract: InGaN-based visible LEDs find commercial applications for solid-state lighting and displays, but lattice mismatch limits the thickness of InGaN quantum wells that can be grown on GaN with high crystalline quality. Since narrower wells operate at a higher carrier density for a given current density, they increase the fraction of carriers lost to Auger recombination and lower the efficiency. The incorporation of boron, a smaller group-III element, into InGaN alloys is a promising method to eliminate the lattice mismatch and realize high-power, high-efficiency visible LEDs with thick active regions. In this work we apply predictive calculations based on hybrid density functional theory to investigate the thermodynamic, structural, and electronic properties of BInGaN alloys. Our results show that BInGaN alloys with a B:In ratio of 2:3 are better lattice matched to GaN compared to InGaN and, for indium fractions less than 0.2, nearly lattice matched. Deviations from Vegard's law appear as bowing of the in-plane lattice constant with respect to composition. Our thermodynamics calculations demonstrate that the solubility of boron is higher in InGaN than in pure GaN. Varying the Ga mole fraction while keeping the B:In ratio constant enables the adjustment of the (direct) gap in the 1.75-3.39 eV range, which covers the entire visible spectrum. Holes are strongly localized in non-bonded N 2p states caused by local bond planarization near boron atoms. Our results indicate that BInGaN alloys are promising for fabricating nitride heterostructures with thick active regions for high-power, high-efficiency LEDs.


title: StampNet: unsupervised multi-class object discovery

abstract: Unsupervised object discovery in images involves uncovering recurring patterns that define objects and discriminates them against the background. This is more challenging than image clustering as the size and the location of the objects are not known: this adds additional degrees of freedom and increases the problem complexity. In this work, we propose StampNet, a novel autoencoding neural network that localizes shapes (objects) over a simple background in images and categorizes them simultaneously. StampNet consists of a discrete latent space that is used to categorize objects and to determine the location of the objects. The object categories are formed during the training, resulting in the discovery of a fixed set of objects. We present a set of experiments that demonstrate that StampNet is able to localize and cluster multiple overlapping shapes with varying complexity including the digits from the MNIST dataset. We also present an application of StampNet in the localization of pedestrians in overhead depth-maps.


title: Direct measurement of a beta function and an indirect check of the Schwinger effect near the boundary in Dirac-Weyl semimetals

abstract: The electric field inside typical conductors drops down exponentially with the screening length determined by an intrinsic length scale of the system such as the density of mobile carriers. We show that in a classically conformal system with boundaries, where the intrinsic length scale is absent, the screening of an external electric field is governed by the quantum conformal anomaly associated with the renormalization of the electric charge. The electric field decays algebraically with a fractional power determined by the beta function of the system. We argue that this `anomalous conformal screening effect' is an indirect manifestation of the Schwinger pair production in relativistic field theory. We discuss the experimental feasibility of the proposed phenomenon in Dirac and Weyl semimetals what would allow direct experimental access to the beta function.


title: Constraints on millicharged dark matter and axion-like particles from timing of radio waves

abstract: We derive novel constraints on millicharged dark matter and ultralight axion-like particles using pulsar timing and fast radio burst observations. Millicharged dark matter affects the dispersion measure of the time of arrival of radio pulses in a way analogous to free electrons. Light pseudo-scalar dark matter, on the other hand, causes the polarization angle of radio signals to oscillate. We show that current and future data can set strong constraints in both cases. For dark matter particles of charge $\epsilon e$, these constraints are ${\epsilon}/{m_{\rm milli}} \lesssim 10^{-8}{\rm eV}^{-1}$, for masses $m_{\rm milli}\gtrsim 10^{-6}\,$eV. For axion-like particles, the analysis of signals from pulsars yields constraints in the axial coupling of the order of $g/m_a\lesssim 10^{-13} {\rm GeV}^{-1}/(10^{-22}{\rm eV})$. Both bounds scale as $(\rho/\rho_{\rm dm})^{1/2}$ if the energy density $\rho$ of the components is a fraction of the total dark matter energy density $\rho_{\rm dm}$. We do a detailed study of both effects using data from two samples of pulsars in the galaxy and in globular clusters, as well as data from FRB 121102 and PSR J0437$-$4715. We show that in both cases actual pulsar data constrain a new region of the parameter space for these models, and will improve with future pulsar-timing observations.


title: Structural Invariants for Parametric Verification of Systems with Almost Linear Architectures

abstract: We consider concurrent systems consisting of a finite but unknown number of components, that are replicated instances of a given set of finite state automata. The components communicate by executing interactions which are simultaneous atomic state changes of a set of components. We specify both the type of interactions (e.g.\ rendez-vous, broadcast) and the topology (i.e.\ architecture) of the system (e.g.\ pipeline, ring) via a decidable interaction logic, which is embedded in the classical weak sequential calculus of one successor (WS1S). Proving correctness of such system for safety properties, such as deadlock freedom or mutual exclusion, requires the inference of an inductive invariant that subsumes the set of reachable states and avoids the unsafe states. Our method synthesizes such invariants directly from the formula describing the interactions, without costly fixed point iterations. We applied our technique to the verification of several textbook examples, such as dining philosophers, mutual exclusion protocols and concurrent systems with preemption and priorities.


title: A Random Access G-Network: Stability, Stable Throughput, and Queueing Analysis

abstract: The effect of signals on stability, throughput region, and delay in a two-user slotted ALOHA based random-access system with collisions is considered. This work gives rise to the development of random access G-networks, which can model virus attacks or other malfunctions and introduce load balancing in highly interacting networks. The users are equipped with infinite capacity buffers accepting external bursty arrivals. We consider both negative and triggering signals. Negative signals delete a packet from a user queue, while triggering signals cause the instantaneous transfer of packets among user queues. We obtain the exact stability region, and show that the stable throughput region is a subset of it. Moreover, we perform a compact mathematical analysis to obtain exact expressions for the queueing delay by solving a Riemann boundary value problem. A computationally efficient way to obtain explicit bounds for the queueing delay is also presented. The theoretical findings are numerically evaluated and insights regarding the system performance are derived.


title: Ranked Enumeration of Conjunctive Query Results

abstract: We investigate the enumeration of top-k answers for conjunctive queries against relational databases according to a given ranking function. The task is to design data structures and algorithms that allow for efficient enumeration after a preprocessing phase. Our main contribution is a novel priority queue based algorithm with near-optimal delay and non-trivial space guarantees that are output sensitive and depend on structure of the query. In particular, we exploit certain desirable properties of ranking functions that frequently occur in practice and degree information in the database instance, allowing for efficient enumeration. We introduce the notion of {\em decomposable} and {\em compatible} ranking functions in conjunction with query decomposition, a property that allows for partial aggregation of tuple scores in order to efficiently enumerate the ranked output. We complement the algorithmic results with lower bounds justifying why certain assumptions about properties of ranking functions are necessary and discuss popular conjectures providing evidence for optimality of enumeration delay guarantees. Our results extend and improve upon a long line of work that has studied ranked enumeration from both theoretical and practical perspective.


title: Non-linear Hall effect in three-dimensional Weyl and Dirac semimetals

abstract: We experimentally investigate a non-linear Hall effect for three-dimensional WTe$_2$ and Cd$_3$As$_2$ single crystals, representing Weyl and Dirac semimetals, respectively. We observe finite second-harmonic Hall voltage, which depends quadratically on the longitudinal current in zero magnetic field. Despite this observation well corresponds to the theoretical predictions, only magnetic field dependence allows to distinguish the non-linear Hall effect from a thermoelectric response. We demonstrate that second-harmonic Hall voltage shows odd-type dependence on the direction of the magnetic field, which is a strong argument in favor of current-magnetization effects. In contrast, one order of magnitude higher thermopower signal is independent of the magnetic field direction.


title: Holomorphic curves in the presence of holomorphic hypersurface foliations

abstract: We prove a result which establishes restrictions on the pseudoholomorphic curves which can exist in a stable Hamiltonian manifold in the presence of certain $\mathbb{R}$-invariant foliations of the symplectization by holomorphic hypersurfaces. This result has applications in the first author's work on algebraic torsion in higher dimensional contact manifolds.


title: Outgassing induced acceleration of comet 67P/Churyumov-Gerasimenko

abstract: Cometary activity affects the orbital motion and rotation state due to sublimation induced forces. The availability of precise rotation-axis orientation and position data from the Rosetta mission allows one to accurately determine the outgassing of comet Churyumov-Gerasimenko/67P. We derive the observed non-gravitational acceleration of 67P directly from the Rosetta spacecraft trajectory. From the non-gravitational acceleration we recover the diurnal outgassing variations and study a possible delay of the sublimation response with respect to the peak solar illumination. This allows us to compare the non-gravitational acceleration of 67P with expectations based on empirical models and common assumptions about the sublimation process. We use an iterative orbit refinement and Fourier decomposition of the diurnal activity to derive the outgassing induced non-gravitational acceleration. The uncertainties of the data reduction are established by a sensitivity analysis of an ensemble of best-fit orbits for comet 67P. We find that the Marsden non-gravitational acceleration parameters reproduce part of the non-gravitational acceleration but need to be augmented by an analysis of the nucleus geometry and surface illumination to draw conclusions about the sublimation process on the surface. The non-gravitational acceleration follows closely the subsolar latitude (seasonal illumination), with a small lag angle with respect to local noon around perihelion. The observed minor changes of the rotation axis do not favour forced precession models for the non-gravitational acceleration. In contrast to the sublimation induced torques, the non-gravitational acceleration does not put strong constraints on localized active areas on the nucleus. We find a close agreement of the orbit deduced non-gravitational acceleration and the water production independently derived from Rosetta in-situ measurement.


title: Preliminary Group Classification and some exact solutions of 2Hessian equation

abstract: We study the class of 3-dimensional nonlinear 2-hessian equations mentioned in the text. We perform preliminary group classification on 2-hessian equation. In fact, we find additional equivalence transformation on the space (x,y,z,u,f), with the aid of a method, then we take their projections on the space (x,y,z,f), so we prove an optimal system of one-dimensional Lie sub algebras of this equation is generated by A1 to A12, which introduced in theorem 2, ultimately, A number of new interesting nonlinear invariant models are obtained which have non-trivial in variance algebras. The result of these works is a wide class of equations which summarized in table. So at the end of this work, some exact solutions of 2-hessian equation are presented. The paper is one of the few applications of an algebraic approach to the group classification using Lie method.


title: D&C: A Divide-and-Conquer Approach to IR-based Bug Localization

abstract: Many automated tasks in software maintenance rely on information retrieval techniques to identify specific information within unstructured data. Bug localization is such a typical task, where text in a bug report is analyzed to identify file locations in the source code that can be associated to the reported bug. Despite the promising results, the performance offered by IR-based bug localization tools is still not significant for large adoption. We argue that one reason could be the attempt to build a one-size-fits-all approach. In this paper, we extensively study the performance of state-of-the-art bug localization tools, focusing on query formulation and its importance with respect to the localization performance. Building on insights from this study, we propose a new learning approach where multiple classifier models are trained on clear-cut sets of bug-location pairs. Concretely, we apply a gradient boosting supervised learning approach to various sets of bug reports whose localizations appear to be successful with specific types of features. The training scenario builds on our findings that the various state-of-the-art localization tools can be highly performant for specific sets of bug reports. We implement D&C, which computes appropriate weights that should be assigned to the similarity measurements between pairs of information token types. Experimental results on large and up-to-date datasets reveal that D&C outperforms state-of-the-art tools. On average, the experiments yield an MAP score of 0.52, and an MRR score of 0.63 with a curated dataset, which provides a substantial performance improvement over all tools: MAP is improved by between 4 and up to 10 percentage points, while MRR is improved by between 1 and up to 12. Finally, we note that D&C is stable in its localization performance: around 50% of bugs can be located at Top1, 77% at Top5 and 85% at Top10.


title: Understanding Chat Messages for Sticker Recommendation in Messaging Apps

abstract: Stickers are popularly used in messaging apps such as Hike to visually express a nuanced range of thoughts and utterances to convey exaggerated emotions. However, discovering the right sticker from a large and ever expanding pool of stickers while chatting can be cumbersome. In this paper, we describe a system for recommending stickers in real time as the user is typing based on the context of the conversation. We decompose the sticker recommendation (SR) problem into two steps. First, we predict the message that the user is likely to send in the chat. Second, we substitute the predicted message with an appropriate sticker. Majority of Hike's messages are in the form of text which is transliterated from users' native language to the Roman script. This leads to numerous orthographic variations of the same message and makes accurate message prediction challenging. To address this issue, we learn dense representations of chat messages employing character level convolution network in an unsupervised manner. We use them to cluster the messages that have the same meaning. In the subsequent steps, we predict the message cluster instead of the message. Our approach does not depend on human labelled data (except for validation), leading to fully automatic updation and tuning pipeline for the underlying models. We also propose a novel hybrid message prediction model, which can run with low latency on low-end phones that have severe computational limitations. Our described system has been deployed for more than $6$ months and is being used by millions of users along with hundreds of thousands of expressive stickers.


title: Combinatorial specifications for juxtapositions of permutation classes

abstract: We show that, given a suitable combinatorial specification for a permutation class $\mathcal{C}$, one can obtain a specification for the juxtaposition (on either side) of $\mathcal{C}$ with Av(21) or Av(12), and that if the enumeration for $\mathcal{C}$ is given by a rational or algebraic generating function, so is the enumeration for the juxtaposition. Furthermore this process can be iterated, thereby providing an effective method to enumerate any 'skinny' $k\times 1$ grid class in which at most one cell is non-monotone, with a guarantee on the nature of the enumeration given the nature of the enumeration of the non-monotone cell.


title: Comments on "Discrete Groups, Expanding Graphs and Invariant Measures", by Alexander Lubotzky

abstract: This document is a collection of comments that I wrote down while reading the first four chapters of the book "Discrete Groups, Expanding Graphs and Invariant Measures" by Alexander Lubotzky. Most of them are more detailed versions of proofs. Some imprecisions are pointed out and discussed, and some facts referenced in the book are proven. In the appendix we discuss topics of interest in relation to this book, which are however not necessary for its understanding. The aim of this document, which is not quite complete in that respect, is to provide, together with Lubotzky's book, a self-contained read.


title: Subset models for justification logic

abstract: We introduce a new semantics for justification logic based on subset relations. Instead of using the established and more symbolic interpretation of justifications, we model justifications as sets of possible worlds. We introduce a new justification logic that is sound and complete with respect to our semantics. Moreover, we present another variant of our semantics that corresponds to traditional justification logic. These types of models offer us a versatile tool to work with justifications, e.g.~by extending them with a probability measure to capture uncertain justifications. Following this strategy we will show that they subsume Artemov's approach to aggregating probabilistic evidence.


title: A high resolution mid-infrared survey of water emission from protoplanetary disks

abstract: We present the largest survey of spectrally resolved mid-infrared water emission to date, with spectra for 11 disks obtained with the Michelle and TEXES spectrographs on Gemini North. Water emission is detected in 6 of 8 disks around classical T Tauri stars. Water emission is not detected in the transitional disks SR 24 N and SR 24 S, in spite of SR 24 S having pre-transitional disk properties like DoAr 44, which does show water emission (Salyk et al. 2015). With R~100,000, the TEXES water spectra have the highest spectral resolution possible at this time, and allow for detailed lineshape analysis. We find that the mid-IR water emission lines are similar to the "narrow component" in CO rovibrational emission (Banzatti & Pontoppidan 2015), consistent with disk radii of a few AU. The emission lines are either single peaked, or consistent with a double peak. Single-peaked emission lines cannot be produced with a Keplerian disk model, and may suggest that water participates in the disk winds proposed to explain single-peaked CO emission lines (Bast et al. 2011, Pontoppidan et al. 2011). Double-peaked emission lines can be used to determine the radius at which the line emission luminosity drops off. For HL Tau, the lower limit on this measured dropoff radius is consistent with the 13 AU dark ring (ALMA partnership et al. 2015). We also report variable line/continuum ratios from the disks around DR Tau and RW Aur, which we attribute to continuum changes and line flux changes, respectively. The reduction in RW Aur line flux corresponds with an observed dimming at visible wavelengths (Rodriguez et al. 2013).


title: Aspect Specific Opinion Expression Extraction using Attention based LSTM-CRF Network

abstract: Opinion phrase extraction is one of the key tasks in fine-grained sentiment analysis. While opinion expressions could be generic subjective expressions, aspect specific opinion expressions contain both the aspect as well as the opinion expression within the original sentence context. In this work, we formulate the task as an instance of token-level sequence labeling. When multiple aspects are present in a sentence, detection of opinion phrase boundary becomes difficult and label of each word depend not only upon the surrounding words but also with the concerned aspect. We propose a neural network architecture with bidirectional LSTM (Bi-LSTM) and a novel attention mechanism. Bi-LSTM layer learns the various sequential pattern among the words without requiring any hand-crafted features. The attention mechanism captures the importance of context words on a particular aspect opinion expression when multiple aspects are present in a sentence via location and content based memory. A Conditional Random Field (CRF) model is incorporated in the final layer to explicitly model the dependencies among the output labels. Experimental results on Hotel dataset from Tripadvisor.com showed that our approach outperformed several state-of-the-art baselines.


title: A Network-centric Framework for Auditing Recommendation Systems

abstract: To improve the experience of consumers, all social media, commerce and entertainment sites deploy Recommendation Systems (RSs) that aim to help users locate interesting content. These RSs are black-boxes - the way a chunk of information is filtered out and served to a user from a large information base is mostly opaque. No one except the parent company generally has access to the entire information required for auditing these systems - neither the details of the algorithm nor the user-item interactions are ever made publicly available for third-party auditors. Hence auditing RSs remains an important challenge, especially with the recent concerns about how RSs are affecting the views of the society at large with new technical jargons like "echo chambers", "confirmation biases", "filter bubbles" etc. in place. Many prior works have evaluated different properties of RSs such as diversity, novelty, etc. However, most of these have focused on evaluating static snapshots of RSs. Today, auditors are not only interested in these static evaluations on a snapshot of the system, but also interested in how these systems are affecting the society in course of time. In this work, we propose a novel network-centric framework which is not only able to quantify various static properties of RSs, but also is able to quantify dynamic properties such as how likely RSs are to lead to polarization or segregation of information among their users. We apply the framework to several popular movie RSs to demonstrate its utility.


title: Virtual Training for a Real Application: Accurate Object-Robot Relative Localization without Calibration

abstract: Localizing an object accurately with respect to a robot is a key step for autonomous robotic manipulation. In this work, we propose to tackle this task knowing only 3D models of the robot and object in the particular case where the scene is viewed from uncalibrated cameras -- a situation which would be typical in an uncontrolled environment, e.g., on a construction site. We demonstrate that this localization can be performed very accurately, with millimetric errors, without using a single real image for training, a strong advantage since acquiring representative training data is a long and expensive process. Our approach relies on a classification Convolutional Neural Network (CNN) trained using hundreds of thousands of synthetically rendered scenes with randomized parameters. To evaluate our approach quantitatively and make it comparable to alternative approaches, we build a new rich dataset of real robot images with accurately localized blocks.


title: Weak Solutions of the Relativistic Vlasov-Maxwell System with External Currents

abstract: The time evolution of a collisionless plasma is modeled by the relativistic Vlasov-Maxwell system which couples the Vlasov equation (the transport equation) with the Maxwell equations of electrodynamics. We consider the case that the plasma consists of $N$ particle species, the particles are located in a bounded container $\Omega\subset\mathbb R^3$, and are subject to boundary conditions on $\partial\Omega$. Furthermore, there are external currents, typically in the exterior of the container, that may serve as a control of the plasma if adjusted suitably. We do not impose perfect conductor boundary conditions for the electromagnetic fields, but consider the fields as functions on whole space $\mathbb R^3$ and model objects, that are placed in space, via given matrix-valued functions $\varepsilon$ (the permittivity) and $\mu$ (the permeability). A weak solution concept is introduced and existence of global in time solutions is proved, as well as the redundancy of the divergence part of the Maxwell equations in this weak solution concept.


title: The Magnetic Early B-type Stars II: stellar atmospheric parameters in the era of Gaia

abstract: Atmospheric parameters determined via spectral modelling are unavailable for many of the known magnetic early B-type stars. We utilized high-resolution spectra together with NLTE models to measure effective temperatures $T_{\rm eff}$ and surface gravities $\log{g}$ of stars for which these measurements are not yet available. We find good agreement between our $T_{\rm eff}$ measurements and previous results obtained both photometrically and spectroscopically. For $\log{g}$, our results are compatible with previous spectroscopic measurements; however, surface gravities of stars previously determined photometrically have been substantially revised. We furthermore find that $\log{g}$ measurements obtained with HARPSpol are typically about 0.1 dex lower than those from comparable instruments. Luminosities were determined using Gaia Data Release 2 parallaxes. We find Gaia parallaxes to be unreliable for bright stars ($V<6$ mag) and for binaries; in these cases we reverted to Hipparcos parallaxes. In general we find luminosities systematically lower than those previously reported. Comparison of $\log{g}$ and $\log{L}$ to available rotational and magnetic measurements shows no correlation between either parameter with magnetic data, but a clear slow-down in rotation with both decreasing $\log{g}$ and increasing $\log{L}$, a result compatible with the expectation that magnetic braking should lead to rapid magnetic spindown that accelerates with increasing mass-loss.


title: Global existence for a class of viscous systems of conservation laws

abstract: We prove existence and boundedness of classical solutions for a family of viscous conservation laws in one space dimension for arbitrarily large time. The result relies on H. Amann's criterion for global existence of solutions and on suitable uniform-in-time estimates for the solution. We also apply J\"ungel's boundedness-by-entropy principle in order to obtain global existence for systems with possibly degenerate diffusion terms. This work is motivated by the study of a physical model for the space-time evolution of the strain and velocity of an anharmonic spring of finite length.


title: Momentum Schemes with Stochastic Variance Reduction for Nonconvex Composite Optimization

abstract: Two new stochastic variance-reduced algorithms named SARAH and SPIDER have been recently proposed, and SPIDER has been shown to achieve a near-optimal gradient oracle complexity for nonconvex optimization. However, the theoretical advantage of SPIDER does not lead to substantial improvement of practical performance over SVRG. To address this issue, momentum technique can be a good candidate to improve the performance of SPIDER. However, existing momentum schemes used in variance-reduced algorithms are designed specifically for convex optimization, and are not applicable to nonconvex scenarios. In this paper, we develop novel momentum schemes with flexible coefficient settings to accelerate SPIDER for nonconvex and nonsmooth composite optimization, and show that the resulting algorithms achieve the near-optimal gradient oracle complexity for achieving a generalized first-order stationary condition. Furthermore, we generalize our algorithm to online nonconvex and nonsmooth optimization, and establish an oracle complexity result that matches the state-of-the-art. Our extensive experiments demonstrate the superior performance of our proposed algorithm over other stochastic variance-reduced algorithms.


title: Cluster realizations of Weyl groups and higher Teichm\"uller theory

abstract: For a symmetrizable Kac-Moody Lie algebra $\mathfrak{g}$, we construct a family of weighted quivers $Q_m(\mathfrak{g})$ ($m \geq 2$) whose cluster modular group $\Gamma_{Q_m(\mathfrak{g})}$ contains the Weyl group $W(\mathfrak{g})$ as a subgroup. We compute explicit formulae for the corresponding cluster $\mathcal{A}$- and $\mathcal{X}$-transformations. As a result, we obtain green sequences and the cluster Donaldson-Thomas transformation for $Q_m(\mathfrak{g})$ in a systematic way when $\mathfrak{g}$ is of finite type. Moreover if $\mathfrak{g}$ is of classical finite type with the Coxeter number $h$, the quiver $Q_{kh}(\mathfrak{g})$ ($k \geq 1$) is mutation-equivalent to a quiver encoding the cluster structure of the higher Teichm\"uller space of a once-punctured disk with $2k$ marked points on the boundary, up to frozen vertices. This correspondence induces the action of direct products of Weyl groups on the higher Teichm\"uller space of a general marked surface. We finally prove that this action coincides with the one constructed in [GS18] from the geometrical viewpoint.


title: Magnetized strange quark matter under stellar equilibrium and finite temperature

abstract: The strange quark matter under strong magnetic fields and finite temperatures is studied in the framework of the MIT Bag model. Matter under such conditions is believed to be present in the core of dense astrophysical objects, like Neutron Stars and more exotic compact objects like Quark Stars. In this study, the anisotropy of the pressure due to the presence of a strong magnetic field is taken into account and a temperature-dependent equation of state is obtained. In the strong field regime, the behavior of the transversal pressure suggests a transversal collapse of the quark and electron gasses for magnetic fields above $\sim10^{19}$ G, even at finite temperature, which can enhance as well the collapse. The corresponding behavior of the energy per baryon and the mass-radius relation for Quark Stars at different temperatures, fixed magnetic field and taking into account the baryon number conservation, $\beta$-equilibrium and charge neutrality, are as well reported.


title: Blind focusing through strongly scattering media using wavefront shaping with nonlinear feedback

abstract: Scattering prevents light from being focused in turbid media. The effect of scattering can be negated through wavefront shaping techniques when a localized form of feedback is available. Even in the absence of such a localized reporter, wavefront shaping can blindly form a single diffraction-limited focus when the feedback response is nonlinear. We developed and experimentally validated a model that accurately describes the statistics of this blind focusing process. We show that maximizing the nonlinear feedback signal does not always result in the formation of a focus. Using our model, we can calculate the minimal requirements to blindly focus light through strongly scattering media.


title: Sparse Regression and Adaptive Feature Generation for the Discovery of Dynamical Systems

abstract: We study the performance of sparse regression methods and propose new techniques to distill the governing equations of dynamical systems from data. We first look at the generic methodology of learning interpretable equation forms from data, proposed by Brunton et al., followed by performance of LASSO for this purpose. We then propose a new algorithm that uses the dual of LASSO optimization for higher accuracy and stability. In the second part, we propose a novel algorithm that learns the candidate function library in a completely data-driven manner to distill the governing equations of the dynamical system. This is achieved via sequentially thresholded ridge regression (STRidge) over a orthogonal polynomial space. The performance of the three discussed methods is illustrated by looking the Lorenz 63 system and the quadratic Lorenz system.


title: Organic molecules in the protoplanetary disk of DG Tau revealed by ALMA

abstract: Planets form in protoplanetary disks and inherit their chemical compositions. It is thus crucial to map the distribution and investigate the formation of simple organics, such as formaldehyde and methanol, in protoplanetary disks. We analyze ALMA observations of the nearby disk-jet system around the T Tauri star DG Tau in the o-H$_2$CO $3_{1,2}-2_{1,1}$ and CH$_3$OH $3_{-2,2}-4_{-1,4}$ E, $5_{0,5}-4_{0,4}$ A transitions at an unprecedented resolution of $\sim0.15"$, i.e., $\sim18$ au at a distance of 121 pc. The H$_2$CO emission originates from a rotating ring extending from $\sim40$ au with a peak at $\sim62$ au, i.e., at the edge of the 1.3mm dust continuum. CH$_3$OH emission is not detected down to an r.m.s. of 3 mJy/beam in the 0.162 km/s channel. Assuming an ortho-to-para ratio of 1.8-2.8 the ring- and disk-height-averaged H$_2$CO column density is $\sim0.3-4\times10^{14}$ cm$^{-2}$, while that of CH$_3$OH is $<0.04-0.7\times10^{14}$ cm$^{-2}$. In the inner $40$ au no o-H$_2$CO emission is detected with an upper limit on its beam-averaged column density of $\sim0.5-6\times10^{13}$ cm$^{-2}$. The H$_2$CO ring in the disk of DG Tau is located beyond the CO iceline (R$_{\rm CO}\sim30$ au). This suggests that the H$_2$CO abundance is enhanced in the outer disk due to formation on grain surfaces by the hydrogenation of CO ice. The emission peak at the edge of the mm dust continuum may be due to enhanced desorption of H$_2$CO in the gas phase caused by increased UV penetration and/or temperature inversion. The CH$_3$OH/H$_2$CO abundance ratio is $<1$, in agreement with disk chemistry models. The inner edge of the H$_2$CO ring coincides with the radius where the polarization of the dust continuum changes orientation, hinting at a tight link between the H$_2$CO chemistry and the dust properties in the outer disk and at the possible presence of substructures in the dust distribution.


title: Variational Recurrent Neural Networks for Graph Classification

abstract: We address the problem of graph classification based only on structural information. Inspired by natural language processing techniques (NLP), our model sequentially embeds information to estimate class membership probabilities. Besides, we experiment with NLP-like variational regularization techniques, making the model predict the next node in the sequence as it reads it. We experimentally show that our model achieves state-of-the-art classification results on several standard molecular datasets. Finally, we perform a qualitative analysis and give some insights on whether the node prediction helps the model better classify graphs.


title: Area Propagator and Boosted Spin Networks in Loop Quantum Gravity

abstract: Quantum states of geometry in loop quantum gravity are defined as spin networks, which are graph dressed with SU(2) representations. A spin network edge carries a half-integer spin, representing basic quanta of area, and the standard framework imposes an area matching constraint along the edge: it carries the same spin at its source and target vertices. In the context of coarse-graining, or equivalently of the definition of spin networks as projective limits of graphs, it appears natural to introduce excitations of curvature along the edges. An edge is then treated similarly to a propagator living on the links of Feynman diagrams in quantum field theory: curvature excitations create little loops -- tadpoles -- which renormalize it. This relaxes the area matching condition, with different spins at both ends of the edge. We show that this is equivalent to combining the usual SU(2) holonomy along the edge with a Lorentz boost into SL(2,C) group elements living on the spin network edges, underlining the fact that the Ashtekar-Barbero connection carries extrinsic curvature degrees of freedom. This finally leads us to introduce a new notion of area waves in loop quantum gravity.


title: Cram\'er Type Moderate Deviations for Random Fields

abstract: We study the Cram\'er type moderate deviation for partial sums of random fields by applying the conjugate method. The results are applicable to the partial sums of linear random fields with short or long memory and to nonparametric regression with random field errors.


title: Solutions of the $\bar \partial $-equation on Stein and on K\"ahler manifold with compact support

abstract: We study the $\bar \partial $-equation first in Stein manifold then in complete K\"ahler manifolds. The aim is to get $L^{r}$ and Sobolev estimates on solutions with compact support. In the Stein case we get that for any $(p,q)$-form $\omega $ in $L^{r}$ with compact support and $\bar \partial $-closed there is a $(p,q-1)$-form $u$ in $W^{1,r}$ with compact support and such that $\bar \partial u=\omega .$ In the case of K\"ahler manifold, we prove and use estimates on solutions on Poisson equation with compact support and the link with $\bar \partial $ equation is done by a classical theorem stating that the Hodge laplacian is twice the $\bar \partial $ (or Kohn) Laplacian in a K\"ahler manifold. This uses and improves, in special cases, our result on Andreotti-Grauert type theorem.


title: Metaoptimization on a Distributed System for Deep Reinforcement Learning

abstract: Training intelligent agents through reinforcement learning is a notoriously unstable procedure. Massive parallelization on GPUs and distributed systems has been exploited to generate a large amount of training experiences and consequently reduce instabilities, but the success of training remains strongly influenced by the choice of the hyperparameters. To overcome this issue, we introduce HyperTrick, a new metaoptimization algorithm, and show its effective application to tune hyperparameters in the case of deep reinforcement learning, while learning to play different Atari games on a distributed system. Our analysis provides evidence of the interaction between the identification of the optimal hyperparameters and the learned policy, that is typical of the case of metaoptimization for deep reinforcement learning. When compared with state-of-the-art metaoptimization algorithms, HyperTrick is characterized by a simpler implementation and it allows learning similar policies, while making a more effective use of the computational resources in a distributed system.


title: Lossless convexification of non-convex optimal control problems with disjoint semi-continuous inputs

abstract: This paper presents a convex optimization-based method for finding the globally optimal solutions of a class of mixed-integer non-convex optimal control problems. We consider problems that are non-convex in the input norm, which is a semi-continuous variable that can be zero or lower- and upper-bounded. Using lossless convexification, the non-convex problem is relaxed to a convex problem whose optimal solution is proved to be optimal almost everywhere for the original problem. The relaxed problem can be solved using second-order cone programming, which is a subclass of convex optimization for which there exist numerically reliable solvers with convergence guarantees and polynomial time complexity. This is the first lossless convexification result for mixed-integer optimization problems. An example of spacecraft docking with a rotating space station corroborates the effectiveness of the approach and features a computation time almost three orders of magnitude shorter than a mixed-integer programming formulation.


title: Stacking control in graphene-based materials: a promising way for fascinating physical properties

abstract: Graphene, defined as a single atomic plane of graphite, is a semimetal with small overlap between the valence and the conduction bands. The stacking of graphene up to several atomic layers can produce diverse physical properties, depending on the stacking way. The bilayer graphene is also a semimetal, adopting the AB-stacked (or Bernal-stacked) structure or the rare AA-stacked structure. The trilayer or a few layer graphene (FLG) can be semimetal or semiconductor, depending on whether it takes Bernal (ABA) stacking or rhombohedral (ABC) stacking. We will give a perspective on the recent two mild approaches to control the stacking via local transition from ABC stacking into ABA stacking. It is believed that with the rapid development of graphene-based materials, these techniques for stacking control can be used for more complex structure to fulfill fascinating properties and devices.


title: Spectral noise in quantum frequency down-conversion from the visible to the telecommunication C-band

abstract: We report a detailed study of the noise properties of a visible-to-telecom photon frequency converter based on difference frequency generation (DFG). The device converts 580 nm photons to 1541 nm using a strong pump laser at 930 nm, in a periodically poled lithium niobate ridge waveguide. The converter reaches a maximum device efficiency of 46 % (internal efficiency of 67 %) at a pump power of 250 mW. The noise produced by the pump laser is investigated in detail by recording the noise spectra both in the telecom and visible regimes, and measuring the power dependence of the noise rates. The noise spectrum in the telecom is very broadband, as expected from previous work on similar DFG converters. However, we also observe several narrow dips in the telecom spectrum, with corresponding peaks appearing in the 580 nm noise spectrum. These features are explained by sum frequency generation of the telecom noise at wavelengths given by the phase matching condition of different spatial modes in the waveguide. The proposed noise model is in good agreement with all the measured data, including the power-dependence of the noise rates, both in the visible and telecom regime. These results are applicable to the class of DFG converters where the pump laser wavelength is in between the input and target wavelength.


title: Reversible GANs for Memory-efficient Image-to-Image Translation

abstract: The Pix2pix and CycleGAN losses have vastly improved the qualitative and quantitative visual quality of results in image-to-image translation tasks. We extend this framework by exploring approximately invertible architectures which are well suited to these losses. These architectures are approximately invertible by design and thus partially satisfy cycle-consistency before training even begins. Furthermore, since invertible architectures have constant memory complexity in depth, these models can be built arbitrarily deep. We are able to demonstrate superior quantitative output on the Cityscapes and Maps datasets at near constant memory budget.


title: Direct imaging of the energy transfer enhancement between two dipoles in a photonic cavity

abstract: Photonic cavities are gathering a large interest to enhance the energy transfer between two dipoles, with far-reaching consequences for applications in photovoltaics, lighting sources and molecular biosensing. However, experimental difficulties in controlling the dipoles' positions, orientations and spectra have limited the earlier work in the visible part of the spectrum, and have led to inconsistent results. Here, we directly map the energy transfer of microwaves between two dipoles inside a resonant half-wavelength cavity with ultrahigh control in space and frequency. Our approach extends F\"orster resonance energy transfer (FRET) theory to microwave frequencies, and bridges the gap between the descriptions of FRET using quantum electrodynamics and microwave engineering. Beyond the conceptual interest, we show how this approach can be used to optimize the design of photonic cavities to enhance dipole-dipole interactions and FRET.


title: Including mode mixing in a higher-multipole model for gravitational waveforms from nonspinning black-hole binaries

abstract: As gravitational-wave (GW) observations of binary black holes are becoming a precision tool for physics and astronomy, several subdominant effects in the GW signals need to be accurately modeled. Previous studies have shown that neglecting subdominant modes in the GW templates causes an unacceptable loss in detection efficiency and large systematic errors in the estimated parameters for binaries with large mass ratios. Our recent work [Mehta et al., Phys. Rev. D 96, 124010 (2017)] constructed a phenomenological gravitational waveform family for nonspinning black-hole binaries that includes subdominant spherical harmonic modes $(\ell = 2, m = \pm 1)$, $(\ell = 3, m = \pm 3)$, and $(\ell = 4, m = \pm 4)$ in addition to the dominant quadrupole mode, $(\ell = 2, m=\pm 2)$. In this article, we construct analytical models for the ($\ell = 3, m = \pm 2$) and ($\ell = 4, m = \pm 3$) modes and include them in the existing waveform family. Accurate modeling of these modes is complicated by the mixing of multiple spheroidal harmonic modes. We develop a method for accurately modeling the effect of mode mixing, thus producing an analytical waveform family that has faithfulness >99.6%.


title: Generalized Design of Sampling Kernels for 2-D FRI Signals

abstract: One of the interesting problems in the finite-rate-of-innovation signal sampling framework is the design of compactly supported sampling kernels. In this paper, we present a generic framework for designing sampling kernels in 2-D. We consider both separable and nonseparable kernels. The design is carried out in the frequency domain, where a set of alias cancellation conditions are imposed on the kernel's frequency response. The Paley-Wiener theorem for 2-D signals is invoked to arrive at admissible kernels with a compact support. As a specific case, we show that a certain separable extension of the 1-D design framework results in 2-D sum-of-modulated-spline (SMS) kernels. Similar to their 1-D counterparts, the 2-D SMS kernels have the attractive feature of reproducing a class of 2-D polynomial-modulated exponentials of a desired order. Also, the support of the kernels is independent of the order. The design framework is generic and also allows one to design nonseparable sampling kernels. To this end, we demonstrate the design of a nonseparable kernel and present simulation results.


title: Decomposition of Plasma Kinetic Entropy into Position and Velocity Space and the Use of Kinetic Entropy in Particle-in-Cell Simulations

abstract: We describe a systematic development of kinetic entropy as a diagnostic in fully kinetic particle-in-cell (PIC) simulations and use it to interpret plasma physics processes in heliospheric, planetary, and astrophysical systems. First, we calculate kinetic entropy in two forms -- the ``combinatorial'' form related to the logarithm of the number of microstates per macrostate and the ``continuous'' form related to $f \ln f$, where $f$ is the particle distribution function. We discuss the advantages and disadvantages of each and discuss subtleties about implementing them in PIC codes. Using collisionless PIC simulations that are two-dimensional in position space and three-dimensional in velocity space, we verify the implementation of the kinetic entropy diagnostics and discuss how to optimize numerical parameters to ensure accurate results. We show the total kinetic entropy is conserved to three percent in an optimized simulation of anti-parallel magnetic reconnection. Kinetic entropy can be decomposed into a sum of a position space entropy and a velocity space entropy, and we use this to investigate the nature of kinetic entropy transport during collisionless reconnection. We find the velocity space entropy of both electrons and ions increases in time due to plasma heating during magnetic reconnection, while the position space entropy decreases due to plasma compression. This project uses collisionless simulations, so it cannot address physical dissipation mechanisms; nonetheless, the infrastructure developed here should be useful for studies of collisional or weakly collisional heliospheric, planetary, and astrophysical systems. Beyond reconnection, the diagnostic is expected to be applicable to plasma turbulence and collisionless shocks.


title: Ergodic Capacity Under Power Adaption Over Fisher-Snedecor F Fading Channels

abstract: In this letter, we consider a communication scenario, where the transmitter adopts different power adaption methods according to the instantaneous channel state to enhance the ergodic capacity (EC) over Fisher-Snedecor F fading channels. We derive closed-form expressions for the EC under different power adaption methods, as well as the corresponding asymptotic EC formulas to get some insights in the high signal-to-noise ratio region. In the numerical results section, we compare the performance of different adaptive power transmission strategies, and demonstrate the accuracy of our derived expressions.


title: Direct Measurement of the Electron Beam Intensity Profile via Carbon Nanotube Tomography

abstract: Electron microscopes have been improved to achieve ever smaller beam spots, a key parameter that determines the instrument's resolution. The techniques to measure the size of the beam, however, have not progressed to the same degree. There is an on-going need to develop detection technologies that can potentially characterize the smallest electron beam to further improve the capabilities of these instruments. We report on a new electron beam detector based on a single-walled carbon nanotube. Nanotubes are atomically smooth, have a well-defined diameter that is similar in size to the finest electron probes and can be used to directly measure the beam profile. By scanning the beam at different angles to the nanotube, we can accurately determine the spatial profile of an electron beam by applying tomographic reconstruction techniques.


title: The Cohomology of the Ordinals I: Basic Theory and Consistency Results

abstract: In this paper, the first in a projected two-part series, we describe an organizing framework for the study of infinitary combinatorics. This framework is \v{C}ech cohomology. We show in particular that the \v{C}ech cohomology groups of the ordinals articulate higher-dimensional generalizations of Todorcevic's walks and coherent sequences techniques, and begin to account for those techniques' `unreasonable effectiveness' on $\omega_1$. This discussion occupies the first half of our paper and is written with a general mathematical audience in mind. We turn in the paper's second half to more properly set-theoretic considerations. We describe a number of consistency results on the cohomology groups of the ordinals which certify their status as a graded family of incompactness principles. We show in particular that nontrivial cohomology groups on the ordinals are in some tension with large cardinals, and are maximally extant in G\"{o}del's model $\mathrm{L}$. We describe forcings to add, then trivialize, nontrivial $n$-cocycles, and conclude with some comparison of these principles with those benchmark incompactness phenomena, the existence of square sequences and failures of stationary reflection.


title: Coherent radio emission from the electron beam sudden appearance

abstract: We report on the measurement of coherent radio emission from the electron beam sudden appearance at the Telescope Array Electron Light Source facility. This emission was detected by four independent radio detector setups sensitive to frequencies ranging from 50 MHz up to 12.5 GHz. We show that this phenomenon can be understood as a special case of coherent transition radiation by comparing the observed results with simulations. The in-nature application of this signal is given by the emission of cosmic ray or neutrino induced particle cascades traversing different media such as air, rock and ice.


title: Two-dimensional non-abelian BF theory in Lorenz gauge as a solvable logarithmic TCFT

abstract: We study two-dimensional non-abelian BF theory in Lorenz gauge and prove that it is a topological conformal field theory. This opens the possibility to compute topological string amplitudes (Gromov-Witten invariants). We found that the theory is exactly solvable in the sense that all correlators are given by finite-dimensional convergent integrals. Surprisingly, this theory turns out to be logarithmic in the sense that there are correlators given by polylogarithms and powers of logarithms. Furthermore, we found fields with "logarithmic conformal dimension" (elements of a Jordan cell for $L_0$). We also found certain vertex operators with anomalous dimensions that depend on the non-abelian coupling constant. The shift of dimension of composite fields may be understood as arising from the dependence of subtracted singular terms on local coordinates. This generalizes the well-known explanation of anomalous dimensions of vertex operators in the free scalar field theory.


title: A remark on Pinney's equation

abstract: We show that Pinney's equation [2] with a constant coefficient can be reduced to its linear part by a simple change of variables. Also, Pinney's original solution is simplified slightly.


title: The minimal cellular resolutions of the edge ideals of forests

abstract: We present an explicit construction of a minimal cellular resolution for the edge ideals of forests, based on discrete Morse theory. In particular, the generators of the free modules are subsets of the generators of the modules in the Lyubeznik resolution. This procedure allows to ease the computation of the graded Betti numbers and the projective dimension.


title: Optical clock intercomparison with $6\times 10^{-19}$ precision in one hour

abstract: Improvements in atom-light coherence are foundational to progress in quantum information science, quantum optics, and precision metrology. Optical atomic clocks require local oscillators with exceptional optical coherence due to the challenge of performing spectroscopy on their ultra-narrow linewidth clock transitions. Advances in laser stabilization have thus enabled rapid progress in clock precision. A new class of ultrastable lasers based on cryogenic silicon reference cavities has recently demonstrated the longest optical coherence times to date. In this work we utilize such a local oscillator, along with a state-of-the-art frequency comb for coherence transfer, with two Sr optical lattice clocks to achieve an unprecedented level of clock stability. Through an anti-synchronous comparison, the fractional instability of both clocks is assessed to be $4.8\times 10^{-17}/\sqrt{\tau}$ for an averaging time $\tau$ in seconds. Synchronous interrogation reveals a quantum projection noise dominated instability of $3.5(2)\times10^{-17}/\sqrt{\tau}$, resulting in a precision of $5.8(3)\times 10^{-19}$ after a single hour of averaging. The ability to measure sub-$10^{-18}$ level frequency shifts in such short timescales will impact a wide range of applications for clocks in quantum sensing and fundamental physics. For example, this precision allows one to resolve the gravitational red shift from a 1 cm elevation change in only 20 minutes.


title: Half-Spin Tautological Relations and Faber's Proportionalities of Kappa Classes

abstract: We employ the $1/2$-spin tautological relations to provide a particular combinatorial identity. We show that this identity is a statement equivalent to Faber's formula for proportionalities of kappa-classes on $\mathcal{M}_g$, $g\geq 2$. We then prove several cases of the combinatorial identity, providing a new proof of Faber's formula for those cases.


title: Torsion Points of order 2g+1 on odd degree hyperelliptic curves of genus g

abstract: Let $K$ be an algebraically closed field of characteristic different from $2$, $g$ a positive integer, $f(x)\in K[x]$ a degree $2g+1$ monic polynomial without repeated roots, $C_f: y^2=f(x)$ the corresponding genus g hyperelliptic curve over $K$, and $J$ the jacobian of $C_f$. We identify $C_f$ with the image of its canonical embedding into $J$ (the infinite point of $C_f$ goes to the zero of group law on $J$). It is known (arXiv:1809.03061 [math.AG]) that if $g>1$ then $C_f(K)$ does not contain torsion points, whose order lies between $3$ and $2g$. In this paper we study torsion points of order $2g+1$ on $C_f(K)$. Despite the striking difference between the cases of $g=1$ and $g> 1$, some of our results may be viewed as a generalization of well-known results about points of order $3$ on elliptic curves. E.g., if $p=2g+1$ is a prime that coincides with $char(K)$, then every odd degree genus $g$ hyperelliptic curve contains, at most, two points of order $p$. If $g$ is odd and $f(x)$ has real coefficients, then there are, at most, two real points of order $2g+1$ on $C_f$. If $f(x)$ has rational coefficients and $g<52$, then there are, at most, two rational points of order $2g+1$ on $C_f$. (However, there are exist genus $52$ hyperelliptic curves over the field of rational numbers that have, at least, four rational points of order 105.)


title: Implementing bound constraints and total-variation regularization in extended full waveform inversion with the alternating direction method of multiplier: application to large contrast media

abstract: Full waveform inversion (FWI) is a waveform matching procedure, which can provide a subsurface model with a wavelength-scale resolution. However, this high resolution makes FWI prone to cycle skipping, which drives the inversion to a local minimum when the initial model is not accurate enough. Other sources of nonlinearities and ill-posedness are noise, uneven illumination, approximate wave physics and parameter cross-talks. All these sources of error require robust and versatile regularized optimization approaches to mitigate their imprint on FWI while preserving its intrinsic resolution power. To achieve this goal, we implement bound constraints and total variation (TV) regularization in the so-called frequency-domain wavefield-reconstruction inversion (WRI) with the alternating direction method of multipliers (ADMM). In the ADMM framework, WRI relies on an augmented Lagrangian function, a combination of penalty and Lagrangian functions, to extend the FWI search space by relaxing the wave-equation constraint during early iterations. Moreover, ADMM breaks down the joint wavefield reconstruction plus parameter estimation problem into a sequence of two linear subproblems, whose solutions are coordinated to provide the solution of the global problem. The decomposability of ADMM is further exploited to interface in a straightforward way bound constraints and TV regularization with WRI via variable splitting and proximal operators. The resilience of our regularized WRI formulation to cycle skipping and noise as well as its resolution power are illustrated with two targets of the large-contrast BP salt model. Starting from a 3Hz frequency and a crude initial model, the extended search space allows for the reconstruction of the salt and subsalt structures with a high fidelity.


title: Real Paley-Wiener theorems in spaces of ultradifferentiable functions

abstract: We develop real Paley-Wiener theorems for classes ${\mathcal S}_\omega$ of ultradifferentiable functions and related $L^{p}$-spaces in the spirit of Bang and Andersen for the Schwartz class. We introduce results of this type for the so-called Gabor transform and give a full characterization in terms of Fourier and Wigner transforms for several variables of a Paley-Wiener theorem in this general setting, which is new in the literature. We also analyze this type of results when the support of the function is not compact using polynomials. Some examples are given.


title: Eshelby ensemble of highly viscous flow out of equilibrium

abstract: The recent description of the highly viscous flow in terms of irreversible structural Eshelby rearrangements is extended to calculate the heat capacity of a glass former at a constant cooling rate through the glass transition. The result is compared to measured data from the literature, showing that the explanation works both for polymers and other glass formers.


title: Vorticity and quantum turbulence in the merging of superfluid Helium nanodroplets

abstract: We have studied the merging of two $^4$He droplets at zero temperature, caused by their Van der Waals mutual attraction. During the early stages of the merging, density structures appear which closely match the experimental observations by Vicente et al. [J. Low Temp. Phys. 121, 627 (2000)]. When the droplets are merging, quantized vortex-antivortex ring pairs nucleate at the surface and annihilate inside the merged droplet producing a roton burst. We also observe the nucleation of quantized vortex-antivortex rings that wrap the droplet surface and remain localized on the surface until they eventually decay into short-wavelength surface waves. Analysis of the kinetic energy spectrum discloses the existence of a regime where turbulence caused by vortex interaction and annihilation is characterized by a Kolmogorov power law. This is followed by another regime where roton radiation (produced by vortex-antivortex annihilation) dominates, whose hallmark is a weak, turbulent surface dynamics. We suggest that similar processes might appear in superfluid helium droplets after they capture impurities or if they are produced by hydrodynamic instability of a liquid jet. Experiments on collisions between recently-discovered self-bound Bose-Einstein condensates should display a similar phenomenology.


title: Constructive Non-Linear Polynomial Cryptanalysis of a Historical Block Cipher

abstract: One of the major open problems in symmetric cryptanalysis is to discover new specif i c types of invariant properties which can hold for a larger number of rounds of a block cipher. We have Generalised Linear Cryptanalysis (GLC) and Partitioning Cryptanalysis (PC). Due to double-exponential combinatorial explosion of the number of possible invariant properties systematic exploration is not possible and extremely few positive working examples of GLC are known. Our answer is to work with polynomial algebraic invariants which makes partitions more intelligible. We have developed a constructive algebraic approach which is about making sure that a certain combination of polynomial equations is zero. We work with an old block cipher from 1980s which has particularly large hardware complexity compared to modern ciphers e.g. AES. However all this complexity is not that useful if we are able to construct powerful non-linear invariants which work for any number of rounds. A key feature of our invariant attacks is that we are able to completely eliminate numerous state and key bits. We also construct invariants for the (presumably stronger) KT1 keys. Some of these lead to powerful ciphertext-only correlation attacks.


title: Fractionalized Excitations Revealed by Entanglement Entropy

abstract: Fractionalized excitations develop in many unusual many-body states such as quantum spin liquids, disordered phases that cannot be described using any local order parameter. Because these exotic excitations correspond to emergent degrees of freedom, how to probe them and establish their existence is a long-standing challenge. We present a general procedure to reveal the fractionalized excitations using real-space entanglement entropy in critical spin liquids that are particularly relevant to experiments. Moreover, we show how to use the entanglement entropy to construct the corresponding spinon Fermi surface. Our work defines a new pathway to establish and characterize exotic excitations in novel quantum phases of matter.


title: Identification of epileptic regions from electroencephalographic data: Feigenbaum graphs

abstract: Diagnosing epilepsy is a problem of crucial importance. So analysing EEG data is of much importance to help this diagnosis. Assembling the Feigenbaum graphs for EEG signals. And calculating their average clustering, average degree, and average shortest path length. We manage to characterize two different data sets from each other. Each data set consisted of focal and non-focal activity, from where epileptic regions could be identified. This method yields good results for identifying sets of data from epileptic zones. Suggesting our approach could be used to aid physicians with diagnosing epilepsy from EEG data.


title: Magnetic field production at a first-order electroweak phase transition

abstract: We study the generation of magnetic field seeds during a first-order electroweak phase transition, by numerically evolving the classical equations of motion of the bosonic electroweak theory on the lattice. The onset of the transition is implemented by the random nucleation of bubbles with an arbitrarily oriented Higgs field in the broken phase. We find that about 10% of the latent heat is converted into magnetic energy, with most of the magnetic fields being generated in the last stage of the phase transition when the Higgs oscillates around the true vacuum. The energy spectrum of the magnetic field has a peak that shifts towards larger length scales as the phase transition unfolds. By the end of our runs the peak wavelength is of the order of the bubble percolation scale, or about a third of our lattice size.


title: Neural Inverse Knitting: From Images to Manufacturing Instructions

abstract: Motivated by the recent potential of mass customization brought by whole-garment knitting machines, we introduce the new problem of automatic machine instruction generation using a single image of the desired physical product, which we apply to machine knitting. We propose to tackle this problem by directly learning to synthesize regular machine instructions from real images. We create a cured dataset of real samples with their instruction counterpart and propose to use synthetic images to augment it in a novel way. We theoretically motivate our data mixing framework and show empirical results suggesting that making real images look more synthetic is beneficial in our problem setup.


title: Bounds on the Torsion Subgroups of N\'eron-Severi Groups

abstract: Let $X \hookrightarrow \mathbb{P}^r$ be a smooth projective variety defined by homogeneous polynomials of degree $\leq d$. We give explicit upper bounds on the order of the torsion subgroup $(\mathrm{NS} \, X)_{\mathrm{tor}}$ of the N\'eron-Severi group of $X$. The bounds are derived from an explicit upper bound on the number of irreducible components of either the Hilbert scheme $\mathbf{Hilb}_Q X$ or the scheme $\mathbf{CDiv}_n X $parametrizing the effective Cartier divisors of degree $n$ on $X$. We also give an upper bound on the number of generators of $(\mathrm{NS} \, X)[\ell^\infty]$ uniform as $\ell \neq \mathrm{char}\, k$ varies.


title: Sums of Squares and Quadratic Persistence on Real Projective Varieties

abstract: We bound the Pythagoras number of a real projective subvariety: the smallest positive integer $r$ such that every sum of squares of linear forms in its homogeneous coordinate ring is a sum of at most $r$ squares. Enhancing existing methods, we exhibit three distinct upper bounds involving known invariants. In contrast, our lower bound depends on a new invariant of a projective subvariety called the quadratic persistence. Defined by projecting away from points, this numerical invariant is closely related to the linear syzygies of the variety. In addition, we classify the projective subvarieties of maximal and almost-maximal quadratic persistence, and determine their Pythagoras numbers.


title: Significance of Episodes Based on Minimal Windows

abstract: Discovering episodes, frequent sets of events from a sequence has been an active field in pattern mining. Traditionally, a level-wise approach is used to discover all frequent episodes. While this technique is computationally feasible it may result in a vast number of patterns, especially when low thresholds are used. In this paper we propose a new quality measure for episodes. We say that an episode is significant if the average length of its minimal windows deviates greatly when compared to the expected length according to the independence model. We can apply this measure as a post-pruning step to test whether the discovered frequent episodes are truly interesting and consequently to reduce the number of output. As a main contribution we introduce a technique that allows us to compute the distribution of lengths of minimal windows using the independence model. Such a computation task is surpisingly complex and in order to solve it we compute the distribution iteratively starting from simple episodes and progressively moving towards the more complex ones. In our experiments we discover candidate episodes that have a sufficient amount of minimal windows and test each candidate for significance. The experimental results demonstrate that our approach finds significant episodes while ignoring uninteresting ones.


title: On the logical and computational properties of the Vitali covering theorem

abstract: We study a version of the Vitali covering theorem, which we call $\textsf{WHBU}$ and which is a direct weakening of the Heine-Borel theorem for uncountable coverings, called $\textsf{HBU}$. We show that $\textsf{WHBU}$ is central to measure theory by deriving it from various central approximation results related to Littlewood's three principles. A natural question is then how hard it is to prove $\textsf{WHBU}$ (in the sense of Kohlenbach's higher-order Reverse Mathematics}), and how hard it is to compute the objects claimed to exist by $\textsf{WHBU}$ (in the sense of Kleene's schemes S1-S9). The answer to both questions is `extremely hard', as follows: on one hand, in terms of the usual scale of (conventional) comprehension axioms, $\textsf{WHBU}$ is only provable using Kleene's $\exists^{3}$, which implies full second-order arithmetic. On the other hand, realisers (aka witnessing functionals) for $\textsf{WHBU}$, so-called $\Lambda$-functionals, are computable from Kleene's $\exists^{3}$, but not from weaker comprehension functionals. Despite this hardness, we show that $\textsf{WHBU}$, and certain $\Lambda$-functionals, behave much better than $\textsf{HBU}$ and the associated class of realisers, called $\Theta$-functionals. In particular, we identify a specific $\Lambda$-functional called $\Lambda_{\textsf{S}}$ which adds no computational power to the Suslin functional $\textsf{S}^2$, in contrast to $\Theta$-functionals. Finally, we introduce a hierarchy involving $\Theta$-functionals and $\textsf{HBU}$.


title: The importance of human computer interaction in the development process of software projects

abstract: Today, software industry has a rapid growth. In order to resist the competition increased by this growth, software projects need to be developed with higher quality and especially user friendly. Therefore, the importance of human-computer interaction emerges clearly. In design and development phases of software projects, the properties of human which is an important agent for interaction -- such as behavioral, cognitive, perceptive, efficiency and physical factors have to be considered. This study aims to express the importance of developing softwares by taking into consideration the human-computer interaction applications. In this context, firstly a wide literature review is made to examine software development process and human-computer interaction in detail, the results obtained by using design methods in this process are explicated and the importance of said interaction is openly expressed with the exemplary applications in the literature. According to the results of the research, especially in software life cycle, it is observed that rules of interaction must be implemented before software development, however, these methods are usually included in software life cycle in the latter stages of software development process. This situation causes the developed softwares to be user unfriendly and of low quality. Furthermore, it is observed that when the design methods used in the scope of human-computer interaction are integrated into software development process during the life cycle, the developed projects are more successful, have better quality and are more user friendly.


title: Fulde-Ferrell-Larkin-Ovchinnikov state in strongly correlated d-wave superconductors

abstract: The Fulde-Ferrell-Larkin-Ovchinnikov (FFLO) phase is an unconventional superconducting state found under the influence of strong Zeeman field. This phase is identified by finite center-of-mass momenta in the Cooper pairs, causing the pairing amplitude to oscillate in real space. Repulsive correlations, on the other hand, smear out spatial inhomogeneities in d-wave superconductors. We investigate the FFLO state in a strongly correlated d-wave superconductor within a consolidated framework of Hartree-Fock-Bogoliubov theory and Gutzwiller approximation. We find that the profound effects of strong correlations lie in shifting the BCS-FFLO phase boundary towards a lower Zeeman field and thereby enlarging the window of the FFLO phase. In the FFLO state, our calculation features a sharp mid-gap peak in the density of states, indicating the formation of strongly localized Andreev bound states. We also find that the signatures of the FFLO phase survive even in the presence of an additional translational symmetry breaking competing order in the ground state. This is demonstrated by considering a broken symmetry ground state with a simultaneous presence of the d-wave superconducting order and a spin-density wave order, often found in unconventional superconductors.


title: On Genus g Orientable Crossing Numbers of Small Complete Graphs

abstract: The current state of knowledge of genus g orientable crossing numbers of complete graphs through K11 is reviewed. It is shown that cr3(K10)=3, cr3(K11)<=14, and cr4(K11)=4. It is established with the aid of an algorithm that there are precisely two non-isomorphic embeddings of K9 with a hexagon with all its vertices distinct on a surface of genus 3.


title: Topological quantum field theory and polynomial identities for graphs on the torus

abstract: We establish a relation between the trace evaluation in SO(3) topological quantum field theory and evaluations of a topological Tutte polynomial. As an application, a generalization of the Tutte golden identity is proved for graphs on the torus.


title: Tail behavior of dependent V-statistics and its applications

abstract: We establish exponential inequalities and Cramer-type moderate deviation theorems for a class of V-statistics under strong mixing conditions. Our theory is developed via kernel expansion based on random Fourier features. This type of expansion is new and useful for handling many notorious classes of kernels. While the developed theory has a number of applications, we apply it to lasso-type semiparametric regression estimation and high-dimensional multiple hypothesis testing.


title: Self-sufficient Receiver with Wireless Energy Transfer in a Multi-access Network

abstract: In this letter, we consider the control of an energy self-sufficient receiver in a multi-access network with simultaneous wireless information and energy transfer. Multiple transmitters send data to a common receiver whose only source of energy is a finite size battery which is recharged only from the energy harvested from incoming RF signals. The nodes access the channel randomly resulting in a packet collision when multiple transmitters simultaneously access the channel. The receiver takes samples from the received RF signal to calculate the probability of a collision. The objective is to maximize the receiver goodput subject to the instantaneous availability of receiver energy. We develop an asymptotically optimal dynamic control algorithm, where the receiver makes an energy harvesting or decoding decision according to the current channel measurements and battery level.


title: Random Gossip Processes in Smartphone Peer-to-Peer Networks

abstract: In this paper, we study random gossip processes in communication models that describe the peer-to-peer networking functionality included in standard smartphone operating systems. Random gossip processes spread information through the basic mechanism of randomly selecting neighbors for connections. These processes are well-understood in standard peer-to-peer network models, but little is known about their behavior in models that abstract the smartphone peer-to-peer setting. With this in mind, we begin by studying a simple random gossip process in the synchronous mobile telephone model (the most common abstraction used to study smartphone peer-to-peer systems). By introducing a new analysis technique, we prove that this simple process is actually more efficient than the best-known gossip algorithm in the mobile telephone model, which required complicated coordination among the nodes in the network. We then introduce a novel variation of the mobile telephone model that removes the synchronized round assumption, shrinking the gap between theory and practice. We prove that simple random gossip processes still converge in this setting and that information spreading still improves along with graph connectivity. This new model and the tools we introduce provide a solid foundation for the further theoretical analysis of algorithms meant to be deployed on real smartphone peer-to-peer networks. More generally, our results in this paper imply that simple random information spreading processes should be expected to perform well in this emerging new peer-to-peer setting.


title: Nonlinear diffusion equations with degenerate fast-decay mobility by coordinate transformation

abstract: We prove an existence and uniqueness result for solutions to nonlinear diffusion equations with degenerate mobility posed on a bounded interval for a certain density $u$. In case of \emph{fast-decay} mobilities, namely mobilities functions under a Osgood integrability condition, a suitable coordinate transformation is introduced and a new nonlinear diffusion equation with linear mobility is obtained. We observe that the coordinate transformation induces a mass-preserving scaling on the density and the nonlinearity, described by the original nonlinear mobility, is included in the diffusive process. We show that the rescaled density $\rho$ is the unique weak solution to the nonlinear diffusion equation with linear mobility. Moreover, the results obtained for the density $\rho$ allow us to motivate the aforementioned change of variable and to state the results in terms of the original density $u$ without prescribing any boundary conditions.


title: Red Bots Do It Better: Comparative Analysis of Social Bot Partisan Behavior

abstract: Recent research brought awareness of the issue of bots on social media and the significant risks of mass manipulation of public opinion in the context of political discussion. In this work, we leverage Twitter to study the discourse during the 2018 US midterm elections and analyze social bot activity and interactions with humans. We collected 2.6 million tweets for 42 days around the election day from nearly 1 million users. We use the collected tweets to answer three research questions: (i) Do social bots lean and behave according to a political ideology? (ii) Can we observe different strategies among liberal and conservative bots? (iii) How effective are bot strategies? We show that social bots can be accurately classified according to their political leaning and behave accordingly. Conservative bots share most of the topics of discussion with their human counterparts, while liberal bots show less overlap and a more inflammatory attitude. We studied bot interactions with humans and observed different strategies. Finally, we measured bots embeddedness in the social network and the effectiveness of their activities. Results show that conservative bots are more deeply embedded in the social network and more effective than liberal bots at exerting influence on humans.


title: "Invisible" axion rolling through the QCD phase transition

abstract: The origin of `invisible' axion in four dimensional effective beyond-standard models from string compactification is discussed and its refined passover through the QCD phase transition is presented toward a reliable estimate of the current axion energy density in terms of the initial misalignment angle $\bar{\theta}_1$. The explicit examples are presented in a flipped SU(5) GUT model. This allows to introduce a flavor symmetry through string compactification, and hence we also comment on the source of flavor symmetries from string compactification and attempts to fit the resulting Yukawa couplings to the observed Cabibbo-Kobayashi-Maskawa and Pontecorvo-Maki-Nakagawa-Sakata matrices.


title: Hybrid Models with Deep and Invertible Features

abstract: We propose a neural hybrid model consisting of a linear model defined on a set of features computed by a deep, invertible transformation (i.e. a normalizing flow). An attractive property of our model is that both p(features), the density of the features, and p(targets | features), the predictive distribution, can be computed exactly in a single feed-forward pass. We show that our hybrid model, despite the invertibility constraints, achieves similar accuracy to purely predictive models. Moreover the generative component remains a good model of the input features despite the hybrid optimization objective. This offers additional capabilities such as detection of out-of-distribution inputs and enabling semi-supervised learning. The availability of the exact joint density p(targets, features) also allows us to compute many quantities readily, making our hybrid model a useful building block for downstream applications of probabilistic deep learning.


title: Microscopic biophysical model of self-organization in tissue due to feedback between cell- and macroscopic-scale forces

abstract: We develop a microscopic biophysical model for self-organization and reshaping of artificial tissue, that is co-driven by microscopic active forces between cells and extracellular matrix (ECM), and macroscopic forces that develop within the tissue, finding close agreement with experiment. Microscopic active forces are stimulated by $\mu$m scale interactions between cells and the ECM within which they exist, and when large numbers of cells act together these forces drive, and are affected by, macroscopic-scale self-organization and reshaping of tissues in a feedback loop. To understand this loop, there is a need to: (1) construct microscopic biophysical models that can simulate these processes for the very large number of cells found in tissues; (2) validate and calibrate those models against experimental data; and (3) understand the active feedback between cells and the extracellular matrix, and its relationship to macroscopic self-organization and reshaping of tissue. Our microscopic biophysical model consists of a contractile network representing the ECM, that interacts with a large number of cells via dipole forces, to describe macroscopic self-organization and reshaping of tissue. We solve the model using simulated annealing, finding close agreement with experiments on artificial neural tissue. We discuss calibration of model parameters. We conclude that feedback between microscopic cell-ECM dipole interactions and tissue-scale forces, is a key factor in driving macroscopic self-organization and reshaping of tissue. We discuss application of the biophysical model to simulation and rational design of artificial tissues.


title: Asymptotic Symmetries of Maxwell Theory in Arbitrary Dimensions at Spatial Infinity

abstract: The asymptotic symmetry analysis of Maxwell theory at spatial infinity of Minkowski space with $d\geq 3$ is performed. We revisit the action principle in de Sitter slicing and make it well-defined by an asymptotic gauge fixing. In consequence, the conserved charges are inferred directly by manipulating surface terms of the action. Remarkably, the antipodal condition on de Sitter space is imposed by demanding regularity of field strength at light cone for $d\geq 4$. We also show how this condition reproduces and generalizes the parity conditions for inertial observers treated in 3+1 formulations. The expression of the charge for two limiting cases is discussed: Null infinity and inertial Minkowski observers. For the separately-treated 3d theory, a set of non-logarithmic boundary conditions at null infinity are derived by a large boost limit.


title: A comparison principle for random walk on dynamical percolation

abstract: We consider the model of random walk on dynamical percolation introduced by Peres, Stauffer and Steif (2015). We obtain comparison results for this model for hitting and mixing times and for the spectral-gap and log-Sobolev constant with the corresponding quantities for simple random walk on the underlying graph $G$, for general graphs. When $G$ is the torus $\mathbb{Z}_n^d$, we recover the results of Peres et al. and we also extend them to the critical case. We also obtain bounds in the cases where $G$ is a transitive graph of moderate growth and also when it is the hypercube.


title: Impact of Fully Connected Layers on Performance of Convolutional Neural Networks for Image Classification

abstract: The Convolutional Neural Networks (CNNs), in domains like computer vision, mostly reduced the need for handcrafted features due to its ability to learn the problem-specific features from the raw input data. However, the selection of dataset-specific CNN architecture, which mostly performed by either experience or expertise is a time-consuming and error-prone process. To automate the process of learning a CNN architecture, this paper attempts at finding the relationship between Fully Connected (FC) layers with some of the characteristics of the datasets. The CNN architectures, and recently datasets also, are categorized as deep, shallow, wide, etc. This paper tries to formalize these terms along with answering the following questions. (i) What is the impact of deeper/shallow architectures on the performance of the CNN w.r.t. FC layers?, (ii) How the deeper/wider datasets influence the performance of CNN w.r.t. FC layers?, and (iii) Which kind of architecture (deeper/ shallower) is better suitable for which kind of (deeper/ wider) datasets. To address these findings, we have performed experiments with three CNN architectures having different depths. The experiments are conducted by varying the number of FC layers. We used four widely used datasets including CIFAR-10, CIFAR-100, Tiny ImageNet, and CRCHistoPhenotypes to justify our findings in the context of the image classification problem. The source code of this research is available at https://github.com/shabbeersh/Impact-of-FC-layers.


title: Zero-energy pinning of topologically-trivial bound states in multi-band semiconductor-superconductor nanowires

abstract: Recent tunneling conductance measurements on semiconductor-superconductor nanowires find zero-bias peaks to be ubiquitous across wide ranges of chemical potential and Zeeman energy. Motivated by this, we demonstrate that topologically-trivial Andreev abound states (ABSs) pinned near zero energy are produced rather generically in inhomogeneous systems with multi-band occupancy in the presence of inter-band coupling. We first investigate the inter-band coupling mechanism responsible for the pinning within a multi-band 1D toy model, then we confirm the findings using a 3D Schr\"{o}dinger-Poisson approach that incorporates the geometric and electrostatic details of the actual device. Our analysis shows that level-repulsion generated by inter-band coupling can lead to a rather spectacular pinning of the lowest-energy mode near zero energy in systems (or regions) characterized by very-short length scales ($\sim100~$nm).We show that level repulsion between the lowest energy levels can mimic the gap opening feature (simultaneous with the emergence of a near-zero energy mode) predicted to occur in Majorana hybrid systems. We also demonstrate that nearly-zero bias differential conductance features exhibiting particle-hole asymmetry are due to the presence of (topologically-trivial) ABSs pinned near zero-energy by level repulsion, not to Majorana zero modes, quasi-Majoranas, or any other low-energy mode that involves (partially) separated Majorana bound states. Our findings demonstrate the importance of understanding in detail multi-band physics and electrostatic effects in the context of the ongoing search for Majorana modes in semiconductor-superconductor heterostructures.


title: Ubiquitous non-Majorana Zero-Bias Conductance Peaks in Nanowire Devices

abstract: We perform tunneling measurements on indium antimonide nanowire/superconductor hybrid devices fabricated for the studies of Majorana bound states. At finite magnetic field, resonances that strongly resemble Majorana bound states, including zero-bias pinning, become common to the point of ubiquity. Since Majorana bound states are predicted in only a limited parameter range in nanowire devices, we seek an alternative explanation for the observed zero-bias peaks. With the help of a self-consistent Poission-Schr\"odinger multiband model developed in parallel, we identify several families of trivial subgap states which overlap and interact, giving rise to a crowded spectrum near zero energy and zero-bias conductance peaks in experiments. These findings advance the search for Majorana bound states through improved understanding of broader phenomena found in superconductor-semiconductor systems.


title: Confidence Intervals for Nonparametric Empirical Bayes Analysis

abstract: In an empirical Bayes analysis, we use data from repeated sampling to imitate inferences made by an oracle Bayesian with extensive knowledge of the data-generating distribution. Existing results provide a comprehensive characterization of when and why empirical Bayes point estimates accurately recover oracle Bayes behavior. In this paper, we develop flexible and practical confidence intervals that provide asymptotic frequentist coverage of empirical Bayes estimands, such as the posterior mean or the local false sign rate. The coverage statements hold even when the estimands are only partially identified or when empirical Bayes point estimates converge very slowly.


title: Modified log-Sobolev inequalities for strong-Rayleigh measures

abstract: We establish universal modified log-Sobolev inequalities for reversible Markov chains on the boolean lattice $\{0,1\}^n$, under the only assumption that the invariant law $\pi$ satisfies a form of negative dependence known as the stochastic covering property. This condition is strictly weaker than the strong Rayleigh property, and is satisfied in particular by all determinantal measures, as well as any product measure over the set of bases of a balanced matroid. In the special case where $\pi$ is $k-$homogeneous, our results imply the celebrated concentration inequality for Lipschitz functions due to Pemantle & Peres (2014). As another application, we deduce that the natural Monte-Carlo Markov Chain used to sample from $\pi$ has mixing time at most $kn\log\log\frac{1}{\pi(x)}$ when initialized in state $x$. To the best of our knowledge, this is the first work relating negative dependence and modified log-Sobolev inequalities.


title: Modeling microbial abundances and dysbiosis with beta-binomial regression

abstract: Using a sample from a population to estimate the proportion of the population with a certain category label is a broadly important problem. In the context of microbiome studies, this problem arises when researchers wish to use a sample from a population of microbes to estimate the population proportion of a particular taxon, known as the taxon's relative abundance. In this paper, we propose a beta-binomial model for this task. Like existing models, our model allows for a taxon's relative abundance to be associated with covariates of interest. However, unlike existing models, our proposal also allows for the overdispersion in the taxon's counts to be associated with covariates of interest. We exploit this model in order to propose tests not only for differential relative abundance, but also for differential variability. The latter is particularly valuable in light of speculation that dysbiosis, the perturbation from a normal microbiome that can occur in certain disease conditions, may manifest as a loss of stability, or increase in variability, of the counts associated with each taxon. We demonstrate the performance of our proposed model using a simulation study and an application to soil microbial data.


title: FDDB-360: Face Detection in 360-degree Fisheye Images

abstract: 360-degree cameras offer the possibility to cover a large area, for example an entire room, without using multiple distributed vision sensors. However, geometric distortions introduced by their lenses make computer vision problems more challenging. In this paper we address face detection in 360-degree fisheye images. We show how a face detector trained on regular images can be re-trained for this purpose, and we also provide a 360-degree fisheye-like version of the popular FDDB face detection dataset, which we call FDDB-360.


title: KLUCB Approach to Copeland Bandits

abstract: Multi-armed bandit(MAB) problem is a reinforcement learning framework where an agent tries to maximise her profit by proper selection of actions through absolute feedback for each action. The dueling bandits problem is a variation of MAB problem in which an agent chooses a pair of actions and receives relative feedback for the chosen action pair. The dueling bandits problem is well suited for modelling a setting in which it is not possible to provide quantitative feedback for each action, but qualitative feedback for each action is preferred as in the case of human feedback. The dueling bandits have been successfully applied in applications such as online rank elicitation, information retrieval, search engine improvement and clinical online recommendation. We propose a new method called Sup-KLUCB for K-armed dueling bandit problem specifically Copeland bandit problem by converting it into a standard MAB problem. Instead of using MAB algorithm independently for each action in a pair as in Sparring and in Self-Sparring algorithms, we combine a pair of action and use it as one action. Previous UCB algorithms such as Relative Upper Confidence Bound(RUCB) can be applied only in case of Condorcet dueling bandits, whereas this algorithm applies to general Copeland dueling bandits, including Condorcet dueling bandits as a special case. Our empirical results outperform state of the art Double Thompson Sampling(DTS) in case of Copeland dueling bandits.


title: Evolution of the Stellar Mass Function and Infrared Luminosity Function of Galaxies since $z = 1.2$

abstract: We measured evolution of the $K$-band luminosity function and stellar mass function for red and blue galaxies at $z<1.2$ using a sample of 353 594 $I<24$ galaxies in 8.26 square degrees of Bo\"otes. We addressed several sources of systematic and random error in measurements of total galaxy light, photometric redshift and absolute magnitude. We have found that the $K$-band luminosity density for both red and blue galaxies increased by a factor of 1.2 from $z\sim1.1$ to $z\sim0.3$, while the most luminous red (blue) galaxies decreased in luminosity by 0.19 (0.33) mag or $\times0.83 (0.74)$. These results are consistent with $z<0.2$ studies while our large sample size and area result in smaller Poisson and cosmic variance uncertainties than most $z >0.4$ luminosity and mass function measurements. Using an evolving relation for $K$-band mass to light ratios as a function of $(B-V)$ color, we found a slowly decreasing rate of growth in red galaxy stellar mass density of $\times2.3$ from $z\sim1.1$ to $z\sim0.3$, indicating a slowly decreasing rate of migration from the blue cloud to the red sequence. Unlike some studies of the stellar mass function, we find that massive red galaxies grow by a factor of $\times1.7$ from $z\sim1.1$ to $z\sim0.3$, with the rate of growth due to mergers decreasing with time. These results are comparable with measurements of merger rates and clustering, and they are also consistent with the red galaxy stellar mass growth implied by comparing $K$-band luminosity evolution with the fading of passive stellar population models.