title: Matching is as Easy as the Decision Problem, in the NC Model

abstract: Is matching in NC, i.e., is there a deterministic fast parallel algorithm for it? This has been an outstanding open question in TCS for over three decades, ever since the discovery of randomized NC matching algorithms [KUW85, MVV87]. Over the last five years, the theoretical computer science community has launched a relentless attack on this question, leading to the discovery of several powerful ideas. We give what appears to be the culmination of this line of work: An NC algorithm for finding a minimum-weight perfect matching in a general graph with polynomially bounded edge weights, provided it is given an oracle for the decision problem. Consequently, for settling the main open problem, it suffices to obtain an NC algorithm for the decision problem. We believe this new fact has qualitatively changed the nature of this open problem. All known efficient matching algorithms for general graphs follow one of two approaches: given by Edmonds [Edm65] and Lov\'asz [Lov79]. Our oracle-based algorithm follows a new approach and uses many of the ideas discovered in the last five years. The difficulty of obtaining an NC perfect matching algorithm led researchers to study matching vis-a-vis clever relaxations of the class NC. In this vein, recently Goldwasser and Grossman [GG15] gave a pseudo-deterministic RNC algorithm for finding a perfect matching in a bipartite graph, i.e., an RNC algorithm with the additional requirement that on the same graph, it should return the same (i.e., unique) perfect matching for almost all choices of random bits. A corollary of our reduction is an analogous algorithm for general graphs.


title: Efficient Network Sharing with Asymmetric Constraint Information

abstract: Network sharing has become a key feature of various enablers of the next generation network, such as network function virtualization and fog computing architectures. Network utility maximization (NUM) is a general framework for achieving fair, efficient, and cost-effective sharing of constrained network resources. When agents have asymmetric and private information, however, a fundamental economic challenge is how to solve the NUM Problem considering the self-interests of strategic agents. Many previous related works have proposed economic mechanisms that can cope with agents' private utilities. However, the network sharing paradigm introduces the issue of information asymmetries regarding constraints. The related literature largely neglected such an issue; limited closely related studies provided solutions only applicable to specific application scenarios. To tackle these issues, we propose the Decomposable NUM (DeNUM) Mechanism and the Dynamic DeNUM (DyDeNUM) Mechanism, the first mechanisms in the literature for solving NUM Problems considering private utility and constraint information. The key idea of both mechanisms is to decentralize the decision process to agents, who will make resource allocation decisions without the need of revealing private information to others. Under a monitorable influence assumption, the DeNUM Mechanism yields the network-utility maximizing solution at an equilibrium, and achieves other desirable economic properties (such as individual rationality and budget balance). We further establish the connection between the equilibrium structure and the primal-dual solution to a related optimization problem, based on which we prove the convergence of the DeNUM Algorithm to an equilibrium. When the agents' influences are not monitorable, we propose the DyDeNUM Mechanism that yields the network-utility maximizing solution at the cost of the balanced budget.


title: Studying gaugino masses in supersymmetric model at future 100 TeV $pp$ collider

abstract: We discuss prospects of studying supersymmetric model at future $pp$ circular collider (FCC) with its centre-of-mass energy of $\sim 100\ {\rm TeV}$. We pay particular attention to the model in which Wino is lighter than other supersymmetric particles and all the gauginos are within the kinematical reach of the FCC, which is the case in a large class of so-called pure gravity mediation model based on anomaly mediated supersymmetry breaking. In such a class of model, charged Wino becomes long-lived with its decay length of $\sim 6\ {\rm cm}$, and the charged Wino tracks may be identified in particular by the inner pixel detector; the charged Wino tracks can be used not only for the discrimination of standard model backgrounds but also for the event reconstructions. We show that precise determinations of the Bino, Wino, and gluino masses are possible at the FCC. For such measurements, information about the charged Wino tracks, including the one about the velocity of the charged Wino using the time of the hit at the pixel detector, is crucial. With the measurements of the gaugino masses in the pure gravity mediation model, we have an access to more fundamental parameters like the gravitino mass.


title: Throughput reduction on an air-ground transport system by the simultaneous effect of multiple traveling routes equipped with parking sites

abstract: This paper examines the traffic flows on a two-dimensional stochastic lattice model that comprises a junction of two traveling routes: the domestic route and the international route each of which has parking sites. In our model, the system distributes the arrived particles to either of the two routes and selects one of the parking sites in the route for each particle, which stops at the parking site once during its travel. Because each particle has antennas in the back and front directions to detect other approaching particles, the effect of the volume exclusion of each particle extends in the moving direction. The system displays interesting behavior; remarkably, the dependence of the throughput on the distribution ratio of particles to the domestic route reduces after reaching the maximum parking capacity of the domestic route. Our simulations and analysis with the queueing model describe this phenomenon and suggest the following fact: As the distribution ratio of particles to the international route decreases, the throughput of the international route reduces, and simultaneously, that of the domestic route saturates. The simultaneous effect of the decrease and saturation causes a reduction in the throughput of the entire system.


title: Examination of an isospin-dependent single-nucleon momentum distribution for the isospin-asymmetric nuclear matter in heavy-ion collisions

abstract: Within a transport model using as the input nucleon momentum profiles from a parameterized isospin-dependent single-nucleon momentum distribution with a high momentum tail induced by short-range correlations, we employ the $^{197}$Au + $^{197}$Au collisions at 400 MeV/nucleon to examine on one hand effects of the short-range correlations on the pion and flow observables in probing the nuclear symmetry energy, and on the other hand how reliable are this isospin-dependent single-nucleon momentum distribution as well as the corresponding parameter settings. Besides significant effects of the short-range correlations on the pion and flow observables are observed, we also find that the theoretical simulations of $^{197}$Au + $^{197}$Au collisions with this momentum distribution using two sets of parameters extracted from the experimental analysis and the self-consistent Green's function prediction, respectively, can reproduce the neutron elliptic flows of the FOPI-LAND experiment and the $\pi^{-}/\pi^{+}$ ratios of the FOPI experiment under the symmetry energy setting in a certain range. Therefore, we conclude that this parameterized isospin-dependent single-nucleon momentum distribution is reliable for the isospin-asymmetric nuclear matter, correspondingly, two sets of parameters extracted from both the experimental analysis and the self-consistent Green's function prediction can not be ruled out according to the available experimental information at present.


title: Observation of ballistic avalanche phenomena in nanoscale vertical InSe/BP heterostructures

abstract: Initiating impact ionization of avalanche breakdown essentially requires applying a high electric field in a long active region, hampering carrier-multiplication with high gain, low bias and superior noise performance. Here we report the observation of ballistic avalanche phenomena in sub-MFP scaled vertical indium selenide (InSe)/black phosphorus (BP) heterostructures. The heterojunction is engineered to avalanche photodetectors (APD) and impact ionization transistors, demonstrating ultra-sensitive mid-IR light detection (4 {\mu}m wavelength) and ultra-steep subthreshold swing, respectively. These devices show an extremely low avalanche threshold (<1 volt), excellent low noise figures and distinctive density spectral shape. Further transport measurement evidences the breakdown originals from a ballistic avalanche phenomenon, where the sub-MFP BP channel enables both electrons and holes to impact-ionize the lattice and abruptly amplify the current without scattering from the obstacles in a deterministic nature. Our results shed light on the development of advanced photodetectors and efficiently facilitating carriers on the nanoscale.


title: Open WDVV equations and Virasoro constraints

abstract: In their fundamental work, B. Dubrovin and Y. Zhang, generalizing the Virasoro equations for the genus 0 Gromov-Witten invariants, proved the Virasoro equations for a descendent potential in genus 0 of an arbitrary conformal Frobenius manifold. More recently, a remarkable system of partial differential equations, called the open WDVV equations, appeared in the work of A. Horev and J. P. Solomon. This system controls the genus 0 open Gromov-Witten invariants. In our paper, for an arbitrary solution of the open WDVV equations, satisfying a certain homogeneity condition, we construct a descendent potential in genus 0 and prove an open analog of the Virasoro equations. We also present conjectural open Virasoro equations in all genera and discuss some examples.


title: Natural Density and The Quantifier 'Most'

abstract: This paper proposes a formalization of the class of sentences quantified by \textit{most}, which is also interpreted as {\em proportion of} or {\em majority of} depending on the domain of discourse. We consider sentences of the form "\textit{Most A are B}", where \textit{A} and \textit{B} are plural nouns and the interpretations of $ A $ and $ B $ are infinite subsets of $ \mathbb{N} $. There are two widely used semantics for \textit{Most A are B}: (i) $C(A \cap B) > C(A\setminus B) $ and (ii) $ C(A\cap B) > \dfrac{C(A)}{2} $, where $ C(X) $ denotes the cardinality of a given finite set $ X $. Although (i) is more descriptive than (ii), it also produces a considerable amount of insensitivity for certain sets. Since the quantifier {\em most} has a solid cardinal behaviour under the interpretation {\em majority} and has a slightly more statistical behaviour under the interpretation {\em proportional of}, we consider an alternative approach in deciding quantity-related statements regarding infinite sets. For this we introduce a new semantics using {\em natural density} for sentences in which interpretations of their nouns are infinite subsets of $ \mathbb{N} $, along with a list of the axiomatization of the concept of natural density. In other words, we take the standard definition of the semantics of \textit{most} but define it as applying to finite approximations of infinite sets computed to the limit.


title: Low-impedance superconducting microwave resonators for strong coupling to small magnetic mode volumes

abstract: Recent experiments on strongly coupled microwave and ferromagnetic resonance modes have focused on large volume bulk crystals such as yttrium iron garnet, typically of millimeter-scale dimensions. We extend these experiments to lower volumes of magnetic material by exploiting low-impedance lumped-element microwave resonators. The low impedance equates to a smaller magnetic mode volume, which allows us to couple to a smaller number of spins in the ferromagnet. Compared to previous experiments, we reduce the number of participating spins by two orders of magnitude, while maintaining the strength of the coupling rate. Strongly coupled devices with small volumes of magnetic material may allow the use of spin orbit torques, which require high current densities incompatible with existing structures.


title: Blind Unwrapping of Modulo Reduced Gaussian Vectors: Recovering MSBs from LSBs

abstract: We consider the problem of recovering $n$ i.i.d samples from a zero mean multivariate Gaussian distribution with an unknown covariance matrix, from their modulo wrapped measurements, i.e., measurement where each coordinate is reduced modulo $\Delta$, for some $\Delta>0$. For this setup, which is motivated by quantization and analog-to-digital conversion, we develop a low-complexity iterative decoding algorithm. We show that if a benchmark informed decoder that knows the covariance matrix can recover each sample with small error probability, and $n$ is large enough, the performance of the proposed blind recovery algorithm closely follows that of the informed one. We complement the analysis with numeric results that show that the algorithm performs well even in non-asymptotic conditions.


title: Minimax-optimal decoding of movement goals from local field potentials using complex spectral features

abstract: We consider the problem of predicting eye movement goals from local field potentials (LFP) recorded through a multielectrode array in the macaque prefrontal cortex. The monkey is tasked with performing memory-guided saccades to one of eight targets during which LFP activity is recorded and used to train a decoder. Previous reports have mainly relied on the spectral amplitude of the LFPs as a feature in the decoding step to limited success, while neglecting the phase without proper theoretical justification. This paper formulates the problem of decoding eye movement intentions in a statistically optimal framework and uses Gaussian sequence modeling and Pinsker's theorem to generate minimax-optimal estimates of the LFP signals which are later used as features in the decoding step. The approach is shown to act as a low-pass filter and each LFP in the feature space is represented via its complex Fourier coefficients after appropriate shrinking such that higher frequency components are attenuated; this way, the phase information inherently present in the LFP signal is naturally embedded into the feature space. The proposed complex spectrum-based decoder achieves prediction accuracy of up to $94\%$ at superficial electrode depths near the surface of the prefrontal cortex, which marks a significant performance improvement over conventional power spectrum-based decoders.


title: Comment on "How (not) to renormalize integral equations with singular potentials in effective field theory"

abstract: I critically discuss two of the potential inconsistencies pointed out in the recent manuscript by Epelbaum, Gasparyan, Gegelia and Meissner, published in Eur. Phys.J. A54, 186 (2018). The potential inconsistencies are: (i) a possible mismatch between the $\hbar$ expansion of the scattering amplitude and renormalization, (ii) an impossibility of "non-perturbative renormalization" to deal with repulsive singular interactions. The conclusion is that these inconsistencies do not happen.


title: Optimal Replacement Policy under Cumulative Damage Model and Strength Degradation with Applications

abstract: In many real-life scenarios, system failure depends on dynamic stress-strength interference, where strength degrades and stress accumulates concurrently over time. In this paper, we consider the problem of finding an optimal replacement strategy that balances the cost of replacement with the cost of failure and results in a minimum expected cost per unit time under cumulative damage model with strength degradation. The existing recommendations are applicable only under restricted distributional assumptions and/or with fixed strength. As theoretical evaluation of the expected cost per unit time turns out to be very complicated, a simulation-based algorithm is proposed to evaluate the expected cost rate and find the optimal replacement strategy. The proposed method is easy to implement having wider domain of application. For illustration, the proposed method is applied to real case studies on mailbox and cell-phone battery experiments.


title: Predicting Individual Responses to Vasoactive Medications in Children with Septic Shock

abstract: Objective: Predict individual septic children's personalized physiologic responses to vasoactive titrations by training a Recurrent Neural Network (RNN) using EMR data. Materials and Methods: This study retrospectively analyzed EMR of patients admitted to a pediatric ICU from 2009 to 2017. Data included charted time series vitals, labs, drugs, and interventions of children with septic shock treated with dopamine, epinephrine, or norepinephrine. A RNN was trained to predict responses in heart rate (HR), systolic blood pressure (SBP), diastolic blood pressure (DBP) and mean arterial pressure (MAP) to 8,640 titrations during 652 septic episodes and evaluated on a holdout set of 3,883 titrations during 254 episodes. A linear regression model using titration data as its sole input was also developed and compared to the RNN model. Evaluation methods included the correlation coefficient between actual physiologic responses and RNN predictions, mean absolute error (MAE), and area under the receiver operating characteristic curve (AUC). Results: The actual physiologic responses displayed significant variability and were more accurately predicted by the RNN model than by titration alone (r=0.20 vs r=0.05, p<0.01). The RNN showed MAE and AUC improvements over the linear model. The RNN's MAEs associated with dopamine and epinephrine were 1-3% lower than the linear regression model MAE for HR, SBP, DBP, and MAP. Across all vitals vasoactives, the RNN achieved 1-19% AUC improvement over the linear model. Conclusion: This initial attempt in pediatric critical care to predict individual physiologic responses to vasoactive dose changes in children with septic shock demonstrated an RNN model showed some improvement over a linear model. While not yet clinically applicable, further development may assist clinical administration of vasoactive medications in children with septic shock.


title: Spatial and Temporal Analysis of Direct Communications from Static Devices to Mobile Vehicles

abstract: This paper proposes a framework to analyze an emerging wireless architecture where vehicles collect data from devices. Using stochastic geometry, the devices are modeled by a planar Poisson point process. Independently, roads and vehicles are modeled by a Poisson line process and a Cox point process, respectively. For any given time, a vehicle is assumed to communicate with a roadside device in a disk of radius $ \nu $ centered at the vehicle, which is referred to as the coverage disk. We study the proposed network by analyzing its short-term and long-term behaviors based on its space and time performance metrics, respectively. As short-term analysis, we explicitly derive the signal-to-interference ratio distribution of the typical vehicle and the area spectral efficiency of the proposed network. As long-term analysis, we derive the area fraction of the coverage disks and then compute the latency of the network by deriving the distribution of the minimum waiting time of a typical device to be covered by a disk. Leveraging these properties, we analyze various trade-off relationships and optimize the network utility. We further investigate these trade-offs using comparison with existing cellular networks.


title: Preferential Root Tropism Induced by Structural Inhomogeneities in 2D Wet Granular Media

abstract: We investigate certain aspects of the physical mechanisms of root growth in a granular medium and how these roots adapt to changes in water distribution induced by the presence of structural inhomogeneities in the form of solid intrusions. Physical intrusions such as a square rod added into the 2D granular medium modify water distribution by maintaining robust capillary action, pumping water from the more saturated areas at the bottom of the cell towards the less saturated areas near the top of the cell while the rest of the medium is slowly devoid of water via evaporation. This water redistribution induces `preferential tropism' of roots, guiding the roots and permitting them to grow deeper into more saturated regions in the soil. This further allows more efficient access to available water in the deeper sections of the medium thereby resulting to increased plant lifetime


title: Blockchain-Based Cloud Manufacturing: Decentralization

abstract: Recently, there has been growing interest in the field of cloud manufacturing (CM) amongst researchers in the manufacturing community. Cloud manufacturing is a customer-driven manufacturing model that was inspired by cloud computing, and its major objective was to provide ubiquitous on-demand access to services. However, the current CM architecture suffers from problems that are associated with a centralized based industrial network framework and third part operation. In a nutshell, centralized networking has had issues with flexibility, efficiency, availability, and security. Therefore, this paper aims to tackle these problems by introducing an ongoing project to a decentralized network architecture for cloud manufacturing which is based on the blockchain technology. In essence, this research paper introduces the blockchain technology as a decentralized peer to peer network for multiple cloud manufacturing providers.


title: Higher superconducting transition temperature by breaking the universal pressure relation

abstract: By investigating the bulk superconducting state via dc magnetization measurements, we have discovered a common resurgence of the superconductive transition temperatures (Tcs) of the monolayer Bi2Sr2CuO6+{\delta} (Bi2201) and bilayer Bi2Sr2CaCu2O8+{\delta} (Bi2212) to beyond the maximum Tcs (Tc-maxs) predicted by the universal relation between Tc and doping (p) or pressure (P) at higher pressures. The Tc of under-doped Bi2201 initially increases from 9.6 K at ambient to a peak at ~ 23 K at ~ 26 GPa and then drops as expected from the universal Tc-P relation. However, at pressures above ~ 40 GPa, Tc rises rapidly without any sign of saturation up to ~ 30 K at ~ 51 GPa. Similarly, the Tc for the slightly overdoped Bi2212 increases after passing a broad valley between 20-36 GPa and reaches ~ 90 K without any sign of saturation at ~ 56 GPa. We have therefore attributed this Tc-resurgence to a possible pressure-induced electronic transition in the cuprate compounds due to a charge transfer between the Cu 3d_(x^2-y^2 ) and the O 2p bands projected from a hybrid bonding state, leading to an increase of the density of states at the Fermi level, in agreement with our density functional theory calculations. Similar Tc-P behavior has also been reported in the trilayer Br2Sr2Ca2Cu3O10+{\delta} (Bi2223). These observations suggest that higher Tcs than those previously reported for the layered cuprate high temperature superconductors can be achieved by breaking away from the universal Tc-P relation through the application of higher pressures.


title: Constraint Satisfaction Propagation: Non-stationary Policy Synthesis for Temporal Logic Planning

abstract: Problems arise when using reward functions to capture dependencies between sequential time-constrained goal states because the state-space must be prohibitively expanded to accommodate a history of successfully achieved sub-goals. Also, policies and value functions derived with stationarity assumptions are not readily decomposable, leading to a tension between reward maximization and task generalization. We demonstrate a logic-compatible approach using model-based knowledge of environment dynamics and deadline information to directly infer non-stationary policies composed of reusable stationary policies. The policies are constructed to maximize the probability of satisfying time-sensitive goals while respecting time-varying obstacles. Our approach explicitly maintains two different spaces, a high-level logical task specification where the task-variables are grounded onto the low-level state-space of a Markov decision process. Computing satisfiability at the task-level is made possible by a Bellman-like equation which operates on a tensor that links the temporal relationship between the two spaces; the equation solves for a value function that can be explicitly interpreted as the probability of sub-goal satisfaction under the synthesized non-stationary policy, an approach we term Constraint Satisfaction Propagation (CSP).


title: Existence of non-trivial embeddings of Interval Exchange Transformations into Piecewise Isometries

abstract: We prove that almost every interval exchange transformation, with an associated translation surface of genus $g\geq 2$, can be non-trivially and isometrically embedded in a family of piecewise isometries. In particular this proves the existence of invariant curves for piecewise isometries, reminiscent of KAM curves for area preserving maps, which are not unions of circle arcs or line segments.


title: High Energy Hadron Production as Self-Organized Criticality

abstract: In high energy nuclear collisions, production rates of light nuclei as well as those of hadrons and hadronic resonances agree with the predictions of an ideal gas at a temperature T = 155 +/- 10 MeV. In an equilibrium medium of this temperature, light nuclei cannot survive. We propose that the observed behavior is due to an evolution in global non-equilibrium, leading to self-organized criticality. At the confinement point, the initial quark-gluon medium becomes quenched by the vacuum, breaking up into all allowed free hadronic and nuclear mass states, without formation of any subsequent thermal hadronic medium.


title: Guidelines for creating man-machine multimodal interfaces

abstract: Understanding details of human multimodal interaction can elucidate many aspects of the type of information processing machines must perform to interact with humans. This article gives an overview of recent findings from Linguistics regarding the organization of conversation in turns, adjacent pairs, (dis)preferred responses, (self)repairs, etc. Besides, we describe how multiple modalities of signs interfere with each other modifying meanings. Then, we propose an abstract algorithm that describes how a machine can implement a double-feedback system that can reproduces a human-like face-to-face interaction by processing various signs, such as verbal, prosodic, facial expressions, gestures, etc. Multimodal face-to-face interactions enrich the exchange of information between agents, mainly because these agents are active all the time by emitting and interpreting signs simultaneously. This article is not about an untested new computational model. Instead, it translates findings from Linguistics as guidelines for designs of multimodal man-machine interfaces. An algorithm is presented. Brought from Linguistics, it is a description pointing out how human face-to-face interactions work. The linguistic findings reported here are the first steps towards the integration of multimodal communication. Some developers involved on interface designs carry on working on isolated models for interpreting text, grammar, gestures and facial expressions, neglecting the interwoven between these signs. In contrast, for linguists working on the state-of-the-art multimodal integration, the interpretation of separated modalities leads to an incomplete interpretation, if not to a miscomprehension of information. The algorithm proposed herein intends to guide man-machine interface designers who want to integrate multimodal components on face-to-face interactions as close as possible to those performed between humans.


title: Dynamics of breathers in the Gardner hierarchy: universality of the variational characterization

abstract: We present a new variational characterization of breather solutions of any equation of the \emph{focusing} Gardner hierarchy. This hierarchy is characterized by a nonnegative index $n$, and $2n+1$ represents the order of the corresponding PDE member. In this paper, we first show the existence of such breathers, and that they are solutions of the (2n+1)th-order Gardner equation. Then we prove a \emph{variational universality property}, in the sense that all these breather solutions satisfy the \emph{same} fourth order stationary elliptic ODE, regardless the order of the hierarchy member. This fact also characterizes them as critical points of the same Lyapunov functional, that we also construct here. As by product of our approach, we find breather solutions of the hierarchy of (2n+1)th-order mKdV equations, as well as a respective characterization of them as solutions of a fourth order stationary elliptic ODE. We also extend part of these results to the periodic setting, presenting new breather solutions for the 5th and 7th mKdV members of the hierarchy. Finally, we prove ill-posedness results for the whole Gardner hierarchy, by using appropiately their breather solutions.


title: Radio-Infrared Correlation for Local Dusty Galaxies and Dusty AGNs from the AKARI All Sky Survey

abstract: We use the new release of the AKARI Far-Infrared all sky Survey matched with the NVSS radio database to investigate the local ($z<0.25$) far infrared-radio correlation (FIRC) of different types of extragalactic sources. To obtain the redshift information for the AKARI FIS sources we crossmatch the catalogue with the SDSS DR8. This also allows us to use emission line properties to divide sources into four categories: i) star-forming galaxies (SFGs), ii) composite galaxies (displaying both star-formation and active nucleus components), iii) Seyfert galaxies, and iv) low-ionization nuclear emission-line region (LINER) galaxies. We find that the Seyfert galaxies have the lowest FIR/radio flux ratios and display excess radio emission when compared to the SFGs. We conclude that FIRC can be used to separate SFGs and AGNs only for the most radio-loud objects.


title: Quantum phase transition in a two-dimensional Kondo-Heisenberg model: a Schwinger-boson large-N approach

abstract: Strange metal behavior arises in heavy fermion metals close to antiferromagnetic transitions. An increasing amount of experiments indicates a link of such behavior to a Kondo breakdown quantum critical point. To shed light on this intriguing problem, we study the 2D Kondo-Heisenberg model using a dynamical large-N multichannel Schwinger boson approach. We identify and characterize the quantum phase transition from an antiferromagnetically ordered ground state to a Kondo-dominated paramagnetic state, and attribute a jump in certain phase shift to Kondo breakdown. In addition, we calculate transport and thermodynamic quantities and discuss them in the context of the experimental observations in quantum critical heavy fermion systems.


title: Finkel'stein nonlinear sigma model: interplay of disorder and interaction in 2D electron systems

abstract: In this paper I briefly review recent theoretical results derived within the Finkel'stein nonlinear sigma model approach for description of 2D interacting disordered electron systems. The examples include an electron system with two valleys, electrons in a double quantum well, electrons on the surface of a topological insulator, an electron system with superconducting correlations, and the integer quantum Hall effect.


title: Interleaving Loidreau's Rank-Metric Cryptosystem

abstract: We propose and analyze an interleaved variant of Loidreau's rank-metric cryptosystem based on rank multipliers. We analyze and adapt several attacks on the system, propose design rules, and study weak keys. Finding secure instances requires near-MRD rank-metric codes which are not investigated in the literature. Thus, we propose a random code construction that makes use of the fact that short random codes over large fields are MRD with high probability. We derive an upper bound on the decryption failure rate and give example parameters for potential key size reduction.


title: Comparison of Tensor Boundary Conditions (TBCs) with Generalized Sheet Transition Conditions (GSTCs)

abstract: This paper compares Tensor Boundary Conditions (TBCs), which were introduced to model multilayered dielectric structures, with Generalized Sheet Transition Conditions (GSTCs), which have been recently used to model metasurfaces. It shows that TBCs, with their 3 scalar parameters, are equivalent to the direct-isotropic -- cross-antiisotropic, reciprocal and nongyrotropic subset of GSTCs, whose 16 tangential (particular case of zero normal polarizations) or 36 general susceptibility parameters can handle the most general bianisotropic sheet structures. It further shows that extending that TBCs scalar parameters to tensors and allowing a doubly-occurring parameter to take different values leads to a TBCs formulation that is equivalent to the tangential GSTCs, but without reflecting the polarization physics of sheet media, such as metasurfaces and two-dimensional material allotropes.


title: MgNet: A Unified Framework of Multigrid and Convolutional Neural Network

abstract: We develop a unified model, known as MgNet, that simultaneously recovers some convolutional neural networks (CNN) for image classification and multigrid (MG) methods for solving discretized partial differential equations (PDEs). This model is based on close connections that we have observed and uncovered between the CNN and MG methodologies. For example, pooling operation and feature extraction in CNN correspond directly to restriction operation and iterative smoothers in MG, respectively. As the solution space is often the dual of the data space in PDEs, the analogous concept of feature space and data space (which are dual to each other) is introduced in CNN. With such connections and new concept in the unified model, the function of various convolution operations and pooling used in CNN can be better understood. As a result, modified CNN models (with fewer weights and hyper parameters) are developed that exhibit competitive and sometimes better performance in comparison with existing CNN models when applied to both CIFAR-10 and CIFAR-100 data sets.


title: Statistical field theory for neural networks

abstract: These notes attempt a self-contained introduction into statistical field theory applied to neural networks of rate units and binary spins. The presentation consists of three parts: First, the introduction of fundamental notions of probabilities, moments, cumulants, and their relation by the linked cluster theorem, of which Wick's theorem is the most important special case; followed by the diagrammatic formulation of perturbation theory, reviewed in the statistical setting. Second, dynamics described by stochastic differential equations in the Ito-formulation, treated in the Martin-Siggia-Rose-De Dominicis-Janssen path integral formalism. With concepts from disordered systems, we then study networks with random connectivity and derive their self-consistent dynamic mean-field theory, explaining the statistics of fluctuations and the emergence of different phases with regular and chaotic dynamics. Third, we introduce the effective action, vertex functions, and the loopwise expansion. These tools are illustrated by systematic derivations of self-consistency equations, going beyond the mean-field approximation. These methods are applied to the pairwise maximum entropy (Ising spin) model, including the recently-found diagrammatic derivation of the Thouless-Anderson-Palmer mean field theory.


title: Sliced generative models

abstract: In this paper we discuss a class of AutoEncoder based generative models based on one dimensional sliced approach. The idea is based on the reduction of the discrimination between samples to one-dimensional case. Our experiments show that methods can be divided into two groups. First consists of methods which are a modification of standard normality tests, while the second is based on classical distances between samples. It turns out that both groups are correct generative models, but the second one gives a slightly faster decrease rate of Fr\'{e}chet Inception Distance (FID).


title: An application of Bell polynomials in numerical solving of nonlinear differential equations

abstract: Partial ordinary Bell polynomials are used to formulate and prove a version of the Fa\`{a} di Bruno's formula which is convenient for handling nonlinear terms in the differential transformation. Applicability of the result is shown in two examples of solving the initial value problem for differential equations which are nonlinear with respect to the dependent variable.


title: The principal-symbol index map for an algebra of pseudodifferential operators

abstract: A C*algebra A generated by a class of zero-order classical pseudodifferential operator on a cylinder RxB, where B is a compact riemannian manifold, containing operators with periodic symbols, is considered. A description of the K-theory index map associated to the continuous extension to A of the principal-symbol map is given. That index map takes values in K_0 of the commutator ideal E of the algebra, which is isomorphic to Z^2. It maps the K_1-class of an operator invertible modulo E to the Fredholm indices of a pair of elliptic pseudodifferentail operators on SxB, where S denotes the circle.


title: Demystifying Gauge Symmetry

abstract: Gauge symmetries are often highlighted as a fundamental cornerstone of modern physics. But at the same time, it is commonly emphasized that gauge symmetries are not a fundamental feature of nature but merely redundancies in our description. We argue that this paradoxical situation can be resolved by a proper definition of the relevant notions like "local", "global", "symmetry" and "redundancy". After a short discussion of these notions in the context of a simple toy model, they are defined in general terms. Afterwards, we discuss how these definitions can help to understand how gauge symmetries can be at the same time fundamentally important and purely mathematical redundancies. In this context, we also argue that local gauge symmetry is not the defining feature of a gauge theory since every theory can be rewritten in locally invariant terms. We then discuss what really makes a gauge theory different and why the widespread "gauge argument" is, at most, a useful didactic tool. Finally, we also comment on the origin of gauge symmetries, the common "little group argument" and the notoriously confusing topic of spontaneous gauge symmetry breaking.


title: A structured approach for the implementation of distributed manufacturing simulation

abstract: Manufacturing has been changing from a mainly inhouse effort to a distributed style in order to meet new challenges owing to globalization of markets and worldwide competition. Distributed simulation provides an attractive solution to construct cross enterprise simulations to evaluate the viability of the proposed distributed manufacturing enterprises. However, due to its complexity and high cost distributed simulation failed to gain a wide acceptance from industrial users. The main objective of this paper is to address these issues and present a new structured approach to implement distributed simulation with cost effective and easy to implementable tools. A simplified approach for model partitioning for distributed simulation is also included in the proposed approach. The implementation of distributed manufacturing simulation is illustrated with Arena, Microsoft Message Queue (MSMQ) and Visual Basic for Applications (VBA).


title: Progressive Augmentation of GANs

abstract: Training of Generative Adversarial Networks (GANs) is notoriously fragile, requiring to maintain a careful balance between the generator and the discriminator in order to perform well. To mitigate this issue we introduce a new regularization technique - progressive augmentation of GANs (PA-GAN). The key idea is to gradually increase the task difficulty of the discriminator by progressively augmenting its input or feature space, thus enabling continuous learning of the generator. We show that the proposed progressive augmentation preserves the original GAN objective, does not compromise the discriminator's optimality and encourages a healthy competition between the generator and discriminator, leading to the better-performing generator. We experimentally demonstrate the effectiveness of PA-GAN across different architectures and on multiple benchmarks for the image synthesis task, on average achieving ~3 point improvement of the FID score.


title: A Minimalistic Approach to Segregation in Robot Swarms

abstract: We present a decentralized algorithm to achieve segregation into an arbitrary number of groups with swarms of autonomous robots. The distinguishing feature of our approach is in the minimalistic assumptions on which it is based. Specifically, we assume that (i) Each robot is equipped with a ternary sensor capable of detecting the presence of a single nearby robot, and, if that robot is present, whether or not it belongs to the same group as the sensing robot; (ii) The robots move according to a differential drive model; and (iii) The structure of the control system is purely reactive, and it maps directly the sensor readings to the wheel speeds with a simple 'if' statement. We present a thorough analysis of the parameter space that enables this behavior to emerge, along with conditions for guaranteed convergence and a study of non-ideal aspects in the robot design.


title: Excitations and correlations in the driven-dissipative Bose-Hubbard model

abstract: Using a field-theoretic approach within the Schwinger-Keldysh formalism, we study a Bose-Hubbard model in the presence of a driving field and dissipation due to one-body losses. We recover the bistability diagram from the Gross-Pitaevski equation and analyze the different phases with respect to their elementary excitations and correlations. We find the low-density solution to be subdivided into a dynamically instable, a gapped, and a gapless regime. The correlations decay exponentially, but a substantial increase of correlation length marks the regime of gapless excitations.


title: Coronal Plasma Characterization via Coordinated Infrared and Extreme Ultraviolet Observations of a Total Solar Eclipse

abstract: We present coordinated coronal observations of the August 21, 2017 total solar eclipse with the Airborne Infrared Spectrometer (AIR-Spec) and the Extreme-ultraviolet Imaging Spectrometer (EIS). These instruments provide an unprecedented view of the solar corona in two disparate wavelength regimes, the near to mid infrared (IR) and the extreme ultraviolet (EUV), opening new pathways for characterizing the complex coronal plasma environment. During totality, AIR-Spec sampled coronal IR spectra near the equatorial west limb, detecting strong sources of Mg VIII, S XI, Si IX, and Si X in two passbands encompassing 1.4 - 4 $\mu$m. We apply emission measure (EM) loci analysis to these IR emission lines to test their capacity as coronal temperature diagnostics. The density-sensitive Fe XII 186.9 \r{A}/192.4 \r{A} line pair supplies spatially resolved, line-of-sight electron densities, supporting the EM loci analysis. From this, we find EM loci intersections at temperatures of $10^{6.13}$ K at 30 arcsec from the limb and $10^{6.21}$ K at 100 arcsec. Applying the same EM loci analysis to 27 EIS emission lines associated with seven ion species (Fe X-XIV, S X, and Si X) confirms these results, displaying strong evidence of isothermal plasma throughout the region. However, the IR EM loci analysis suffers from moderate uncertainties. The likely sources include: poor signal, infrared contamination from a prominence, and photoexcitation by continuum radiation. Regardless, we demonstrate that EUV spectral data are valuable constraints to coronal infrared emission models, and will be powerful supplements for future IR solar observatories, particularly DKIST.


title: Kernel embedded nonlinear observational mappings in the variational mapping particle filter

abstract: Recently, some works have suggested methods to combine variational probabilistic inference with Monte Carlo sampling. One promising approach is via local optimal transport. In this approach, a gradient steepest descent method based on local optimal transport principles is formulated to transform deterministically point samples from an intermediate density to a posterior density. The local mappings that transform the intermediate densities are embedded in a reproducing kernel Hilbert space (RKHS). This variational mapping method requires the evaluation of the log-posterior density gradient and therefore the adjoint of the observational operator. In this work, we evaluate nonlinear observational mappings in the variational mapping method using two approximations that avoid the adjoint, an ensemble based approximation in which the gradient is approximated by the particle covariances in the state and observational spaces the so-called ensemble space and an RKHS approximation in which the observational mapping is embedded in an RKHS and the gradient is derived there. The approximations are evaluated for highly nonlinear observational operators and in a low-dimensional chaotic dynamical system. The RKHS approximation is shown to be highly successful and superior to the ensemble approximation.


title: Profile decomposition of Struwe-Solimini for manifolds with bounded geometry

abstract: For many known non-compact embeddings of two Banach spaces $E\hookrightarrow F$, every bounded sequence in $E$ has a subsequence that takes form of a \emph{profile decomposition} - a sum of clearly structured terms with asymptotically disjoint supports plus a remainder that vanishes in the norm of $F$. In this paper we construct a profile decomposition for arbitrary sequences in the Sobolev space $H^{1,2}(M)$ of a Riemannian manifold with bounded geometry, relative to the embedding of $H^{1,2}(M)$ into $L^{2^*}(M)$, generalizing the well-known profile decomposition of Struwe to the case of any bounded sequence and a non-compact manifold.


title: Thermodynamics of precision in quantum non equilibrium steady states

abstract: Autonomous engines operating at the nano-scale can be prone to deleterious fluctuations in the heat and particle currents which increase, for fixed power output, the more reversible the operation regime is. This fundamental trade-off between current fluctuations and entropy production forms the basis of the recently formulated thermodynamic uncertainty relations (TURs). However, these relations have so far only been derived for classical Markovian systems and can be violated in the quantum regime. In this paper we show that the geometry of quantum non-equilibrium steady-states alone, already directly implies the existence of a TUR, but with a looser bound. The geometrical nature of this result makes it extremely general, establishing a fundamental limit for the thermodynamics of precision. Our proof is based on the McLennan-Zubarev ensemble, which provides an exact description of non-equilibrium steady-states. We first prove that the entropy production of this ensemble can be expressed as a quantum relative entropy. The TURs are then shown to be a direct consequence of the quantum Cramer-Rao bound, a fundamental result from parameter estimation theory. By combining techniques from many-body physics and information sciences, our approach also helps to shed light on the delicate relationship between quantum effects and current fluctuations in autonomous machines.


title: Geometric Matrix Completion with Deep Conditional Random Fields

abstract: The problem of completing high-dimensional matrices from a limited set of observations arises in many big data applications, especially, recommender systems. Existing matrix completion models generally follow either a memory- or a model-based approach, whereas, geometric matrix completion models combine the best from both approaches. Existing deep-learning-based geometric models yield good performance, but, in order to operate, they require a fixed structure graph capturing the relationships among the users and items. This graph is typically constructed by evaluating a pre-defined similarity metric on the available observations or by using side information, e.g., user profiles. In contrast, Markov-random-fields-based models do not require a fixed structure graph but rely on handcrafted features to make predictions. When no side information is available and the number of available observations becomes very low, existing solutions are pushed to their limits. In this paper, we propose a geometric matrix completion approach that addresses these challenges. We consider matrix completion as a structured prediction problem in a conditional random field (CRF), which is characterized by a maximum a posterior (MAP) inference, and we propose a deep model that predicts the missing entries by solving the MAP inference problem. The proposed model simultaneously learns the similarities among matrix entries, computes the CRF potentials, and solves the inference problem. Its training is performed in an end-to-end manner, with a method to supervise the learning of entry similarities. Comprehensive experiments demonstrate the superior performance of the proposed model compared to various state-of-the-art models on popular benchmark datasets and underline its superior capacity to deal with highly incomplete matrices.


title: Pay Less Attention with Lightweight and Dynamic Convolutions

abstract: Self-attention is a useful mechanism to build generative models for language and images. It determines the importance of context elements by comparing each element to the current time step. In this paper, we show that a very lightweight convolution can perform competitively to the best reported self-attention results. Next, we introduce dynamic convolutions which are simpler and more efficient than self-attention. We predict separate convolution kernels based solely on the current time-step in order to determine the importance of context elements. The number of operations required by this approach scales linearly in the input length, whereas self-attention is quadratic. Experiments on large-scale machine translation, language modeling and abstractive summarization show that dynamic convolutions improve over strong self-attention models. On the WMT'14 English-German test set dynamic convolutions achieve a new state of the art of 29.7 BLEU.


title: Influence of segmentation on deep iris recognition performance

abstract: Despite the rise of deep learning in numerous areas of computer vision and image processing, iris recognition has not benefited considerably from these trends so far. Most of the existing research on deep iris recognition is focused on new models for generating discriminative and robust iris representations and relies on methodologies akin to traditional iris recognition pipelines. Hence, the proposed models do not approach iris recognition in an end-to-end manner, but rather use standard heuristic iris segmentation (and unwrapping) techniques to produce normalized inputs for the deep learning models. However, because deep learning is able to model very complex data distributions and nonlinear data changes, an obvious question arises. How important is the use of traditional segmentation methods in a deep learning setting? To answer this question, we present in this paper an empirical analysis of the impact of iris segmentation on the performance of deep learning models using a simple two stage pipeline consisting of a segmentation and a recognition step. We evaluate how the accuracy of segmentation influences recognition performance but also examine if segmentation is needed at all. We use the CASIA Thousand and SBVPI datasets for the experiments and report several interesting findings.


title: Polygonal ${\mathbb Z}^2$-subshifts

abstract: Let ${\mathcal P}\subset{\mathbb Z}^2$ be a convex polygon with each vertex in it labeled by an element from a finite set and such that the labeling of each vertex $v\in {\mathcal P}$ is uniquely determined by the labeling of all other points in the polygon. We introduce a class of ${\mathbb Z}^2$-shift systems, the {\em polygonal shifts}, determined by such a polygon: these are shift systems such that the restriction of any $x\in X$ to some polygon ${\mathcal P}$ has this property. These polygonal systems are related to various well studied classes of shift systems, including subshifts of finite type and algebraic shifts, but include many other systems. We give necessary conditions for a ${\mathbb Z}^2$-system $X$ to be polygonal, in terms of the nonexpansive subspaces of $X$, and under further conditions can give a complete characterization for such systems.


title: Survey on recent developments in semitoric systems

abstract: Semitoric systems are a special class of four-dimensional completely integrable systems where one of the first integrals generates an $\mathbb{S}^1$-action. They were classified by Pelayo & Vu Ngoc in terms of five symplectic invariants about a decade ago. We give a survey over the recent progress which has been mostly focused on the explicit computation of the symplectic invariants for families of semitoric systems depending on several parameters and the generation of new examples with certain properties, such as a specific number of singularities of lowest rank.


title: Resolution enhancement with light/heat decorrelation in CUPID-0 bolometric detector

abstract: The CUPID-0 experiment searches for neutrinoless double beta decay ($0\nu\beta\beta$) using the first array of enriched Zn$^{82}$Se scintillating bolometers with double (heat and light) read-out. To further enhance the CUPID-0 detector performances, the heat-light correlation has been exploited to improve the energy resolution. Different decorrelation algorithms have been studied and the best result is the average reduction of the full width at half maximum (FWHM) energy resolution to $(90.5\pm0.6)~\%$ of its original value , corresponding to a change from $\text{FWHM}=(20.7\pm0.5)~\text{keV}$ to $\text{FWHM}=(18.7\pm0.5)~\text{keV}$ at the 2615 keV $\gamma$ line.


title: A Deep Learning Framework for Assessing Physical Rehabilitation Exercises

abstract: Computer-aided assessment of physical rehabilitation entails evaluation of patient performance in completing prescribed rehabilitation exercises, based on processing movement data captured with a sensory system. Despite the essential role of rehabilitation assessment toward improved patient outcomes and reduced healthcare costs, existing approaches lack versatility, robustness, and practical relevance. In this paper, we propose a deep learning-based framework for automated assessment of the quality of physical rehabilitation exercises. The main components of the framework are metrics for quantifying movement performance, scoring functions for mapping the performance metrics into numerical scores of movement quality, and deep neural network models for generating quality scores of input movements via supervised learning. The proposed performance metric is defined based on the log-likelihood of a Gaussian mixture model, and encodes low-dimensional data representation obtained with a deep autoencoder network. The proposed deep spatio-temporal neural network arranges data into temporal pyramids, and exploits the spatial characteristics of human movements by using sub-networks to process joint displacements of individual body parts. The presented framework is validated using a dataset of ten rehabilitation exercises. The significance of this work is that it is the first that implements deep neural networks for assessment of rehabilitation performance.


title: Diversity in Faces

abstract: Face recognition is a long standing challenge in the field of Artificial Intelligence (AI). The goal is to create systems that accurately detect, recognize, verify, and understand human faces. There are significant technical hurdles in making these systems accurate, particularly in unconstrained settings due to confounding factors related to pose, resolution, illumination, occlusion, and viewpoint. However, with recent advances in neural networks, face recognition has achieved unprecedented accuracy, largely built on data-driven deep learning methods. While this is encouraging, a critical aspect that is limiting facial recognition accuracy and fairness is inherent facial diversity. Every face is different. Every face reflects something unique about us. Aspects of our heritage - including race, ethnicity, culture, geography - and our individual identify - age, gender, and other visible manifestations of self-expression, are reflected in our faces. We expect face recognition to work equally accurately for every face. Face recognition needs to be fair. As we rely on data-driven methods to create face recognition technology, we need to ensure necessary balance and coverage in training data. However, there are still scientific questions about how to represent and extract pertinent facial features and quantitatively measure facial diversity. Towards this goal, Diversity in Faces (DiF) provides a data set of one million annotated human face images for advancing the study of facial diversity. The annotations are generated using ten well-established facial coding schemes from the scientific literature. The facial coding schemes provide human-interpretable quantitative measures of facial features. We believe that by making the extracted coding schemes available on a large set of faces, we can accelerate research and development towards creating more fair and accurate facial recognition systems.


title: Quantifying the Impact of User Attention on Fair Group Representation in Ranked Lists

abstract: In this work, we introduce a novel metric for auditing group fairness in ranked lists. Our approach offers two benefits compared to the state of the art. First, we offer a blueprint for modeling of user attention. Rather than assuming a logarithmic loss in importance as a function of the rank, we can account for varying user behaviors through parametrization. For example, we expect a user to see more items during a viewing of a social media feed than when they inspect the results list of a single web search query. Second, we allow non-binary protected attributes to enable investigating inherently continuous attributes (\eg political alignment on the liberal to conservative spectrum) as well as to facilitate measurements across aggregated sets of search results, rather than separately for each result list. By combining these two elements into our metric, we are able to better address the human factors inherent in this problem. We measure the whole sociotechnical system, consisting of a ranking algorithm and individuals using it, instead of exclusively focusing on the ranking algorithm. Finally, we use our metric to perform three simulated fairness audits. We show that determining fairness of a ranked output necessitates knowledge (or a model) of the end-users of the particular service. Depending on their attention distribution function, a fixed ranking of results can appear biased both in favor and against a protected group.


title: Lagrangian branes with boundary and symplectic methods for stable generalized complex manifolds

abstract: Generalized complex (GC) geometry interpolates between ordinary symplectic and complex geometry. Stable generalized complex manifolds (first introduced by Cavalcanti, Gualtieri in 2015) carry a Poisson structure which is generically symplectic, but degenerates on a (real) codimension-2 submanifold. Up to gauge equivalence, the stable generalized complex structure is thus determined by what is called an elliptic symplectic form, which allows the extension of a number of techniques and results from symplectic geometry to stable GC geometry. This paper introduces a new type of submanifold in stable GC manifolds: Lagrangian branes with boundary, which are generically Lagrangian and intersect the degeneracy locus in their boundary. By relating stable GC manifolds to log symplectic manifolds, we are able to prove results on local neighbourhoods and small deformations of such branes. We further investigate stable generalized complex Lefschetz fibrations, where Lagrangian branes with boundary arise as Lefschetz thimbles. These objects are thus expected to be part of a Fukaya category for stable GC manifolds, which we hope to develop in future work and which would allow the application of Floer theory techniques to a larger class of manifolds.


title: Tunable mass separation via negative mobility

abstract: A prerequisite for isolating diseased cells requires a mechanism for effective mass-based separation. This objective, however, is generally rather challenging because typically no valid correlation exists between the size of the particles and their mass value. We consider an inertial Brownian particle moving in a symmetric periodic potential and subjected to an externally applied unbiased harmonic driving in combination with a constant applied bias. In doing so we identify a most efficient separation scheme which is based on the anomalous transport feature of negative mobility, meaning that the immersed particles move in the direction opposite to the acting bias. This work is first of its kind in demonstrating a tunable separation mechanism in which the particle mass targeted for isolation is effectively controlled over a regime of nearly two orders of mass-magnitude upon changing solely the frequency of the external harmonic driving. This approach may provide mass selectivity required in present and future separation of a diversity of nano and micro-sized particles of either biological or synthetic origin.

categories: cond-mat.stat-mech cond-mat.mes-hall cond-mat.soft physics.app-ph


title: Dijet azimuthal correlations and conditional yields in $pp$ and $p$+Pb collisions at $\sqrt{s_{\rm NN}}$ = 5.02 TeV with the ATLAS detector

abstract: This paper presents a measurement of forward-forward and forward-central dijet azimuthal angular correlations and conditional yields in proton-proton ($pp$) and proton-lead ($p$+Pb) collisions as a probe of the nuclear gluon density in regions where the fraction of the average momentum per nucleon carried by the parton entering the hard scattering is low. In these regions, gluon saturation can modify the rapidly increasing parton distribution function of the gluon. The analysis utilizes 25 pb$^{-1}$ of $pp$ data and 360 $\mu \mathrm{b}^{-1}$ of $p$+Pb data, both at $\sqrt{s_{\rm NN}}$ = 5.02 TeV, collected in 2015 and 2016, respectively, with the ATLAS detector at the LHC. The measurement is performed in the center-of-mass frame of the nucleon-nucleon system in the rapidity range between $-$4.0 and 4.0 using the two highest transverse momentum jets in each event, with the highest transverse momentum jet restricted to the forward rapidity range. No significant broadening of azimuthal angular correlations is observed for forward-forward or forward-central dijets in $p$+Pb compared to $pp$ collisions. For forward-forward jet pairs in the proton-going direction, the ratio of conditional yields in $p$+Pb collisions to those in $pp$ collisions is suppressed by approximately 20%, with no significant dependence on the transverse momentum of the dijet system. No modification of conditional yields is observed for forward-central dijets.


title: An Internet Heartbeat

abstract: Obtaining sound inferences over remote networks via active or passive measurements is difficult. Active measurement campaigns face challenges of load, coverage, and visibility. Passive measurements require a privileged vantage point. Even networks under our own control too often remain poorly understood and hard to diagnose. As a step toward the democratization of Internet measurement, we consider the inferential power possible were the network to include a constant and predictable stream of dedicated lightweight measurement traffic. We posit an Internet "heartbeat," which nodes periodically send to random destinations, and show how aggregating heartbeats facilitates introspection into parts of the network that are today generally obtuse. We explore the design space of an Internet heartbeat, potential use cases, incentives, and paths to deployment.


title: Distributive Mereotopology: Extended distributive contact lattices

abstract: Contact algebra is one of the main tools in the region-based theory of space. It is an extension of Boolean algebra with a relation called contact. The elements of the Boolean algebra are considered as formal representations of physical bodies. The contact relation is used also to define some other important mereotopological relations like non-tangential inclusion, dual contact, external contact. Most of these definitions are given by means of the operation of Boolean complementation. There are, however, some problems related to the motivation of this operation. In order to avoid these problems we propose a generalization of the notion of contact algebra by dropping the operation of complement. In this paper we consider as non-definable primitives the relations of contact, nontangential inclusion and dual contact. Part I of the paper is devoted to a suitable axiomatization called extended distributive contact lattice (EDCL) by means of universal first-order axioms true in all contact algebras. EDCL may be considered also as an algebraic tool for certain subarea of mereotopology, called in this paper distributive mereotopology. The main result of Part I of the paper is a representation theorem, stating that each EDCL can be embedded into a contact algebra, showing in this way that the presented axiomatization preserves the meaning of mereotopological relations without considering Boolean complementation. Part II of the paper is devoted to topological representation theory of EDCL, transferring into the distributive case important results from the topological representation theory of contact algebras. It is shown that under minor additional assumptions on distributive lattices as extensionality of the definable relations of overlap or underlap one can preserve the good topological interpretations of regions as regular closed or regular open sets in topological space.


title: Improved Adversarial Learning for Fair Classification

abstract: Motivated by concerns that machine learning algorithms may introduce significant bias in classification models, developing fair classifiers has become an important problem in machine learning research. One important paradigm towards this has been providing algorithms for adversarially learning fair classifiers (Zhang et al., 2018; Madras et al., 2018). We formulate the adversarial learning problem as a multi-objective optimization problem and find the fair model using gradient descent-ascent algorithm with a modified gradient update step, inspired by the approach of Zhang et al., 2018. We provide theoretical insight and guarantees that formalize the heuristic arguments presented previously towards taking such an approach. We test our approach empirically on the Adult dataset and synthetic datasets and compare against state of the art algorithms (Celis et al., 2018; Zhang et al., 2018; Zafar et al., 2017). The results show that our models and algorithms have comparable or better accuracy than other algorithms while performing better in terms of fairness, as measured using statistical rate or false discovery rate.


title: No Training Required: Exploring Random Encoders for Sentence Classification

abstract: We explore various methods for computing sentence representations from pre-trained word embeddings without any training, i.e., using nothing but random parameterizations. Our aim is to put sentence embeddings on more solid footing by 1) looking at how much modern sentence embeddings gain over random methods---as it turns out, surprisingly little; and by 2) providing the field with more appropriate baselines going forward---which are, as it turns out, quite strong. We also make important observations about proper experimental protocol for sentence classification evaluation, together with recommendations for future research.


title: A Quantum Spectrometer for Arbitrary Noise

abstract: We present a technique for recovering the spectrum of a non-Markovian bosonic bath and/or non-Markovian noises coupled to an harmonic oscillator. The treatment is valid under the conditions that the environment is large and hot compared to the oscillator, and that its temporal auto-correlation functions are symmetric with respect to time translation and reflection -- criteria which we consider fairly minimal. We model a demonstration of the technique as deployed in the experimental scenario of a nanosphere levitated in a Paul trap, and show that it would effectively probe the spectrum of an electric field noise source from $10^2\,-\,10^6$ Hz with a resolution inversely proportional to the measurement time. This technique may be deployed in quantum sensing, metrology, computing, and in experimental probes of foundational questions


title: Chaos in a quantum rotor model

abstract: We study scrambling in a model consisting of a number $N$ of $M$-component quantum rotors coupled by random infinite-range interactions. This model is known to have both a paramagnetic phase and a spin glass phase separated by second order phase transition. We calculate in perturbation theory the squared commutator of rotor fields at different sites in the paramagnetic phase, to leading non-trivial order at large $N$ and large $M$. This quantity diagnoses the onset of quantum chaos in this system, and we show that the squared commutator grows exponentially with time, with a Lyapunov exponent proportional to $\frac{1}{M}$. At high temperature, the Lyapunov exponent limits to a value set by the microscopic couplings, while at low temperature, the exponent exhibits a $T^4$ dependence on temperature $T$.


title: Rare hyperon decays with missing energy

abstract: We explore the strangeness-changing decays of the lightest hyperons into another baryon plus missing energy within and beyond the standard model (SM). In the SM these processes arise from the loop-induced quark transition $s\to d\nu\bar\nu$ and their branching fractions are estimated to be less than $10^{-11}$. In the presence of new physics (NP) the rates of these hyperon decays with missing energy could increase significantly with respect to the SM expectations because of modifications to the SM process or contributions from additional modes with new invisible particles. Adopting a model-independent approach and taking into account constraints from the kaon sector, we find that the current data on $K\to\pi\nu\bar\nu$ do not permit sizable NP impact on the hyperon decays via underlying operators having mainly parity-even quark parts. In contrast, NP operators with primarily parity-odd quark parts are much less restricted by the existing bounds on $K\to\rm invisible$ and $K\to\pi\pi\nu\bar\nu$ and consequently could produce substantially amplifying effects on the hyperon modes. Their NP-enhanced branching fractions could reach levels potentially observable in the ongoing BESIII experiment.


title: The Palatini star: exact solutions of the modified Lane-Emden equation

abstract: Two exact solutions for $n=0$ and $n=1$ of the Palatini-modified Lane-Emden equation are found. We have employed these solutions to describe a Palatini-Newtonian neutron star and compared the result with the pure Newtonian counterpart. It turned out that for the negative parameter of the Starobinsky model the star is heavier and larger.


title: Health Behavior Change in HCI: Trends, Patterns, and Opportunities

abstract: Unhealthy lifestyles could cause many chronic diseases, which bring patients and their families much burden. Research has shown the potential of digital technologies for supporting health behavior change to help us prevent these chronic diseases. The HCI community has contributed to the research on health behavior change for more than a decade. In this paper, we aim to explore the research trends and patterns of health behavior change in HCI. Our systematic review showed that physical activity drew much more attention than other behaviors. Most of the participants in the reviewed studies were adults, while children and the elderly were much less addressed. Also, we found there is a lack of standardized approaches to evaluating the user experience of interventions for health behavior change in HCI. Based on the reviewed studies, we provide suggestions and research opportunities on six topics, e.g., game integration, social support, and relevant AI application.


title: Toward Controlling Discrimination in Online Ad Auctions

abstract: Online advertising platforms are thriving due to the customizable audiences they offer advertisers. However, recent studies show that advertisements can be discriminatory with respect to the gender or race of the audience that sees the ad, and may inadvertently cross ethical and/or legal boundaries. To prevent this, we propose a constrained ad auction framework that maximizes the platform's revenue conditioned on ensuring that the audience seeing an advertiser's ad is distributed appropriately across sensitive types such as gender or race. Building upon Myerson's classic work, we first present an optimal auction mechanism for a large class of fairness constraints. Finding the parameters of this optimal auction, however, turns out to be a non-convex problem. We show that this non-convex problem can be reformulated as a more structured non-convex problem with no saddle points or local-maxima; this allows us to develop a gradient-descent-based algorithm to solve it. Our empirical results on the A1 Yahoo! dataset demonstrate that our algorithm can obtain uniform coverage across different user types for each advertiser at a minor loss to the revenue of the platform, and a small change to the size of the audience each advertiser reaches.


title: Quasi-optimal nonconforming approximation of elliptic PDEs with contrasted coefficients and minimal regularity

abstract: In this paper we investigate the approximation of a diffusion model problem with contrasted diffusivity and the error analysis of various nonconforming approximation methods. The essential difficulty is that the Sobolev smoothness index of the exact solution may be just barely larger than one. The lack of smoothness is handled by giving a weak meaning to the normal derivative of the exact solution at the mesh faces. The error estimates are robust with respect to the diffusivity contrast. We briefly show how the analysis can be extended to the Maxwell's equations.


title: Asynchronous Batch Bayesian Optimisation with Improved Local Penalisation

abstract: Batch Bayesian optimisation (BO) has been successfully applied to hyperparameter tuning using parallel computing, but it is wasteful of resources: workers that complete jobs ahead of others are left idle. We address this problem by developing an approach, Penalising Locally for Asynchronous Bayesian Optimisation on $k$ workers (PLAyBOOK), for asynchronous parallel BO. We demonstrate empirically the efficacy of PLAyBOOK and its variants on synthetic tasks and a real-world problem. We undertake a comparison between synchronous and asynchronous BO, and show that asynchronous BO often outperforms synchronous batch BO in both wall-clock time and number of function evaluations.


title: Simulating the DNA String Graph in Succinct Space

abstract: Converting a set of sequencing reads into a lossless compact data structure that encodes all the relevant biological information is a major challenge. The classical approaches are to build the string graph or the de Bruijn graph. Each has advantages over the other depending on the application. Still, the ideal setting would be to have an index of the reads that is easy to build and can be adapted to any type of biological analysis. In this paper, we propose a new data structure we call rBOSS, which gets close to that ideal. Our rBOSS is a de Bruijn graph in practice, but it simulates any length up to k and can compute overlaps of size at least m between the labels of the nodes, with k and m being parameters. If we choose the parameter k equal to the size of the reads, then we can simulate a complete string graph. As most BWT-based structures, rBOSS is unidirectional, but it exploits the property of the DNA reverse complements to simulate bi-directionality with some time-space trade-offs. We implemented a genome assembler on top of rBOSS to demonstrate its usefulness. Our experimental results show that using k = 100, rBOSS can assemble 185 MB of reads in less than 15 minutes and using 110 MB in total. It produces contigs of mean sizes over 10,000, which is twice the size obtained by using a pure de Bruijn graph of fixed length k.


title: On coupled constant scalar curvature K\"ahler metrics

abstract: We provide a moment map interpretation for the coupled K\"ahler-Einstein equations introduced by Hultgren and Witt Nystr\"om, and in the process introduce a more general system of equations, which we call coupled cscK equations. A differentio-geometric formulation of the corresponding Futaki invariant is obtained and a notion of K-polystability is defined for this new system. Finally, motivated by a result of Sz\'ekelyhidi, we prove that if there is a solution to our equations, then small K-polystable perturbations of the underlying complex structure and polarizations also admit coupled cscK metrics.


title: The Stellar-to-Halo Mass Ratios of Passive and Star-Forming Galaxies at z~2-3 from the SMUVS survey

abstract: In this work, we use measurements of galaxy stellar mass and two-point angular correlation functions to constrain the stellar-to-halo mass ratios (SHMRs) of passive and \np\ galaxies at $z\sim2-3$, as identified in the \emph{Spitzer} Matching Survey of the UltraVISTA ultra-deep Stripes (SMUVS). We adopt a sophisticated halo modeling approach to statistically divide our two populations into central and satellite galaxies. For central galaxies, we find that the normalization of the SHMR is greater for our passive population. Through the modeling of $\Lambda$ cold dark matter halo mass accretion histories, we show that this can only arise if the conversion of baryons into stars was more efficient at higher redshifts and additionally that passive galaxies can be plausibly explained as residing in halos with the highest formation redshifts (i.e., those with the lowest accretion rates) at a given halo mass. At a fixed stellar mass, satellite galaxies occupy host halos with a greater mass than central galaxies, and we find further that the fraction of passive galaxies that are satellites is higher than for the combined population. This, and our derived satellite quenching timescales, combined with earlier estimates from the literature, support dynamical/environmental mechanisms as the dominant process for satellite quenching at $z\lesssim3$.


title: Lattice-Friendly Gauge Completion of a Composite Higgs with Top Partners

abstract: We give an explicit example of a composite Higgs model with a pseudo-Nambu-Goldstone Higgs in which the top Yukawa coupling is generated via the partial compositeness mechanism. This mechanism requires composite top partners which are relatively light compared to the typical mass scale of the strongly coupled theory. While most studies of the phenomenology of such models have focused on a bottom-up approach with a minimal effective theory, a top-down approach suggests that that the theory should contain a limit in which an unbroken global chiral symmetry protects the mass of the top partners, and the spectrum of the partners satisfies `t Hooft matching conditions. We therefore consider a model for the UV gauge group which could provide a solution to the matching conditions, and note that the relatively light fermions and pseudo-Goldstone bosons fall into complete multiplets of a large approximate global symmetry. This implies that the spectrum of particles lighter than a few TeV is non-minimal. Our example illustrates likely features of a composite Higgs theory, and also serves as an example of a non-chiral theory with no sign problem and a possible solution to `t Hooft matching conditions. It would therefore be very interesting for a lattice exploration. We find in this example that for some low-energy parameters in the effective theory the top partners can decay into high multiplicity final states, which could be difficult for the Large Hadron Collider (LHC) to constrain. This may potentially allow for the top partners to be lighter than those in more minimal models.


title: Universal Dependency Parsing from Scratch

abstract: This paper describes Stanford's system at the CoNLL 2018 UD Shared Task. We introduce a complete neural pipeline system that takes raw text as input, and performs all tasks required by the shared task, ranging from tokenization and sentence segmentation, to POS tagging and dependency parsing. Our single system submission achieved very competitive performance on big treebanks. Moreover, after fixing an unfortunate bug, our corrected system would have placed the 2nd, 1st, and 3rd on the official evaluation metrics LAS,MLAS, and BLEX, and would have outperformed all submission systems on low-resource treebank categories on all metrics by a large margin. We further show the effectiveness of different model components through extensive ablation studies.


title: Quantum graphs and dimensional crossover: the honeycomb

abstract: We summarize features and results on the problem of the existence of Ground States for the Nonlinear Schr\"odinger Equation on doubly-periodic metric graphs. We extend the results known for the two--dimensional square grid graph to the honeycomb, made of infinitely-many identical hexagons. Specifically, we show how the coexistence between one--dimensional and two--dimensional scales in the graph structure leads to the emergence of threshold phenomena known as dimensional crossover.


title: Transitions in ZnS and CdSe quantum dots and wave-function symmetry

abstract: Excitation energies for wurtzite spherical ZnS and CdSe quantum dots in the range of 40-4000 atoms were calculated using empirical pseudopotentials and a real-space basis. The energies are compared to experiments and other pseudopotential models. For ZnS quantum dots, squared transition dipole sums were computed efficiently, without the need for full wave functions of the excited states; and some transition dipole calculations include the effects of an approximate electron-hole Coulomb potential. Squared transition dipole sums from the highest energy linear dipole like valence states to the lowest excited state were computed as a function of dot size. The model predicts that the per atom dipole transition sum decreases with quantum dot size for those transitions. The mixing of even and odd angular components and charge asymmetry of the wave functions affect the dipole transition strengths. The total oscillator strength for the lowest energy transition region increases with size at small radii, resembling the pattern recently observed experimentally for CdSe quantum dots. We examined the role of wave-function angular momentum for transitions to conduction band surface states.


title: Lessons from the curious case of the `fastest' star in Gaia DR2

abstract: Gaia DR2 5932173855446728064 was recently proposed to be unbound from the Milky Way based on the $-614.3\pm2.5\;\mathrm{km}\;\mathrm{s}^{-1}$ median radial velocity given in Gaia DR2. We obtained eight epochs of spectroscopic follow-up and find a very different median radial velocity of $-56.5 \pm 5.3\;\mathrm{km}\;\mathrm{s}^{-1}$. If this difference were to be explained by binarity, then the unseen companion would be an intermediate-mass black hole; we therefore argue that the Gaia DR2 radial velocity must be in error. We find it likely that the spectra obtained by Gaia were dominated by the light from a star $4.3\;\mathrm{arcsec}$ away, and that, due to the slitless, time delay integration nature of Gaia spectroscopy, this angular offset corresponded to a spurious $620\;\mathrm{km}\;\mathrm{s}^{-1}$ shift in the calcium triplet of the second star. We argue that such unanticipated alignments between stars may account for 105 of the 202 stars with radial velocities faster than $500\;\mathrm{km}\;\mathrm{s}^{-1}$ in Gaia DR2 and propose a quality cut to exclude stars that are susceptible. We propose further cuts to remove stars where the colour photometry is suspect and stars where the radial velocity measurement is based on fewer than four transits, and thus produce an unprecedentedly clean selection of Gaia RVS stars for use in studies of Galactic dynamics.


title: The effect of a physical robot on vocabulary learning

abstract: This study investigates the effect of a physical robot taking the role of a teacher or exercise partner in a language learning exercise. In order to investigate this, an application was developed enabling a 2:nd language learning vocabulary exercise in three different conditions. In the first condition the learner would receive tutoring from a disembodied voice, in the second condition the tutor would be embodied by an animated avatar on a computer screen, and in the final condition the tutor was a physical robotic head with a 3D animated face mask. A Russian language vocabulary exercise with 15 subjects was conducted. None of the subjects reported any Russian language skills prior to the exercises. Each subject were taught a set of 9 words in each of the three conditions during a practice phase, and were then asked to recall the words in a test phase. Results show that the recall of the words practiced with the physical robot were significantly higher than that of the words practiced with the avatar on the screen or with the disembodied voice.


title: Electromagnetic and strong isospin-breaking corrections to the muon $g - 2$ from Lattice QCD+QED

abstract: We present a lattice calculation of the leading-order electromagnetic and strong isospin-breaking corrections to the hadronic vacuum polarization (HVP) contribution to the anomalous magnetic moment of the muon. We employ the gauge configurations generated by the European Twisted Mass Collaboration (ETMC) with $N_f = 2+1+1$ dynamical quarks at three values of the lattice spacing ($a \simeq 0.062, 0.082, 0.089$ fm) with pion masses between $\simeq 210$ and $\simeq 450$ MeV. The results are obtained adopting the RM123 approach in the quenched-QED approximation, which neglects the charges of the sea quarks. Quark disconnected diagrams are not included. After the extrapolations to the physical pion mass and to the continuum and infinite-volume limits the contributions of the light, strange and charm quarks are respectively equal to $\delta a_\mu^{\rm HVP}(ud) = 7.1 ~ (2.5) \cdot 10^{-10}$, $\delta a_\mu^{\rm HVP}(s) = -0.0053 ~ (33) \cdot 10^{-10}$ and $\delta a_\mu^{\rm HVP}(c) = 0.0182 ~ (36) \cdot 10^{-10}$. At leading order in $\alpha_{em}$ and $(m_d - m_u) / \Lambda_{QCD}$ we obtain $\delta a_\mu^{\rm HVP}(udsc) = 7.1 ~ (2.9) \cdot 10^{-10}$, which is currently the most accurate determination of the isospin-breaking corrections to $a_\mu^{\rm HVP}$.


title: Age of Information for Discrete Time Queues

abstract: Age of information (AoI) is a time-evolving measure of information freshness, that tracks the time since the last received fresh update was generated. Analyzing peak and average AoI, two time average metrics of AoI, for various continuous time queueing systems has received considerable attention. We analyze peak and average age for various discrete time queueing systems. We first consider first come first serve (FCFS) Ber/G/1 and Ber/G/1 queue with vacations, and derive explicit expressions for peak and average age. We also obtain age expressions for the last come first serve (LCFS) queue and the $G/G/\infty$ queue. We build upon proof techniques from earlier results, and also present new techniques that might be of independent interest in analyzing age in discrete time queuing systems.


title: Decoder-tailored Polar Code Design Using the Genetic Algorithm

abstract: We propose a new framework for constructing polar codes (i.e., selecting the frozen bit positions) for arbitrary channels, and tailored to a given decoding algorithm, rather than based on the (not necessarily optimal) assumption of successive cancellation (SC) decoding. The proposed framework is based on the Genetic Algorithm (GenAlg), where populations (i.e., collections) of information sets evolve successively via evolutionary transformations based on their individual error-rate performance. These populations converge towards an information set that fits both the decoding behavior and the defined channel. Using our proposed algorithm over the additive white Gaussian noise (AWGN) channel, we construct a polar code of length 2048 with code rate 0.5, without the CRC-aid, tailored to plain successive cancellation list (SCL) decoding, achieving the same error-rate performance as the CRC-aided SCL decoding, and leading to a coding gain of 1 dB at BER of $10^{-6}$. Further, a belief propagation (BP)-tailored construction approaches the SCL error-rate performance without any modifications in the decoding algorithm itself. The performance gains can be attributed to the significant reduction in the total number of low-weight codewords. To demonstrate the flexibility, coding gains for the Rayleigh channel are shown under SCL and BP decoding. Besides improvements in error-rate performance, we show that, when required, the GenAlg can be also set up to reduce the decoding complexity, e.g., the SCL list size or the number of BP iterations can be reduced, while maintaining the same error-rate performance.


title: $L_p$-estimates for time fractional parabolic equations in divergence form with measurable coefficients

abstract: In this paper, we establish $L_p$ estimates and solvability for time fractional divergence form parabolic equations in the whole space when leading coefficients are merely measurable in one spatial variable and locally have small mean oscillations with respect to the other variables. The corresponding results for equations on a half space are also derived.


title: Improved Thin Film Quality and Photoluminescence of N-Doped Epitaxial Germanium-on-Silicon using MOCVD

abstract: Ge-on-Si structures in-situ doped with phosphorus or arsenic via metal organic chemical vapor deposition (MOCVD) were investigated. Surface roughness, strain, threading dislocation desnity, Si-Ge interdiffusion, dopant diffusion, and photoluminescence were characterized to study the impacts of defect annealing and Si substrate offcut effects on the Ge film quality and most importantly, the light emission properties. All samples have a smooth surface (roughness < 1.5 nm), and the Ge films have a small tensile strain of 0.2%. As-grown P and As-doped Ge films have threading dislocaiton densities from 2.8e8 to 1.1e9 cm^(-2) without defect annealing. With thermal cycling, these values reduced to 1-1.5e8 cm^(-2). The six degree offcut of the Si substrate was shown to have little impact. In contrast to delta doping, the out-diffusion of dopants has been successfully suppressed to retain the doping concentration upon defect annealing. However, the photoluminescence intensity decreases mostly due to Si-Ge interdiffusion, which also causes a blue-shift in the emission wavelength. Compared to a benckmarking sample from the first Ge laser work doped by delta doping method in 2012, the as-grown P or As-doped Ge films have similar photoluminescence intensity at a 25% doping concentration and smoother surface, which are promising for Ge lasers with better light emission efficiencies.


title: On non-uniqueness for the anisotropic Calder{\'o}n problem with partial data

abstract: We show that there is non-uniqueness for the Calder{\'o}n problem with partial data for Riemannian metrics with H{\"o}lder continuous coefficients in dimension greater or equal than three. We provide simple counterexamples in the case of cylindrical Riemannian manifolds with boundary having two ends. The coefficients of these metrics are smooth in the interior of the manifold and are only H{\"o}lder continuous of order $$\rho$\<1$ at the end where the measurements are made. More precisely, we construct a toroidal ring $(M, g)$ which is not a warped product manifold, and we show that there exist in the conformal class of g an infinite number of Riemannian $\tilde{g} = c^4 g such that their corresponding partial Dirichlet-to-Neumann maps at one end coincide. The corresponding smooth conformal factors are harmonic with respect to the metric g and do not satisfy the unique continuation principle.


title: On backreaction effects in geometrical destabilisation of inflation

abstract: We study the geometrical instability arising in multi-field models of inflation with negatively-curved field space. We analyse how the homogeneous background evolves in presence of geometrical destabilisation, and show that, in simple models, a kinematical backreaction effect takes place that shuts off the instability. We also follow the evolution of the unstable scalar fluctuations. We show that they assist the kinematical backreaction while remaining in the perturbative regime. We conclude that, in the simplest models of geometrical destabilisation, inflation does not end prematurely, but rather proceeds along a modified, sidetracked, field-space trajectory.


title: Automated Prototype for Asteroids Detection

abstract: Near Earth Asteroids (NEAs) are discovered daily, mainly by few major surveys, nevertheless many of them remain unobserved for years, even decades. Even so, there is room for new discoveries, including those submitted by smaller projects and amateur astronomers. Besides the well-known surveys that have their own automated system of asteroid detection, there are only a few software solutions designed to help amateurs and mini-surveys in NEAs discovery. Some of these obtain their results based on the blink method in which a set of reduced images are shown one after another and the astronomer has to visually detect real moving objects in a series of images. This technique becomes harder with the increase in size of the CCD cameras. Aiming to replace manual detection we propose an automated pipeline prototype for asteroids detection, written in Python under Linux, which calls some 3rd party astrophysics libraries.


title: Bounding the spectral gap for an elliptic eigenvalue problem with uniformly bounded stochastic coefficients

abstract: A key quantity that occurs in the error analysis of several numerical methods for eigenvalue problems is the distance between the eigenvalue of interest and the next nearest eigenvalue. When we are interested in the smallest or fundamental eigenvalue, we call this the spectral or fundamental gap. In a recent manuscript [Gilbert et al., arXiv:1808.02639], the current authors, together with Frances Kuo, studied an elliptic eigenvalue problem with homogeneous Dirichlet boundary conditions, and with coefficients that depend on an infinite number of uniformly distributed stochastic parameters. In this setting, the eigenvalues, and in turn the eigenvalue gap, also depend on the stochastic parameters. Hence, for a robust error analysis one needs to be able to bound the gap over all possible realisations of the parameters, and because the gap depends on infinitely-many random parameters, this is not trivial. This short note presents, in a simplified setting, an important result that was shown in the paper above. Namely, that, under certain decay assumptions on the coefficient, the spectral gap of such a random elliptic eigenvalue problem can be bounded away from 0, uniformly over the entire infinite-dimensional parameter space.


title: Non Binary Polar Codes with Equidistant Transform for Transmission over the AWGN Channel

abstract: Finding fast polarizing transforms is an important problem as polar codes suffer from slow finitelength performance. This paper considers non binary polar codes for transmission over the AWGN channel and designs polarizing transforms with better distance characteristics using a simple procedure for signal sets. The main idea of the paper is to define Equidistant Polarizing Transforms and show that they achieve the best distance spectrum bound. We provides an example of such transform for q = 5. In this case PSK-type signal set is used. Finally, we show performance gains and some comparison with other methods.


title: A Drone Can Hear the Shape of a Room

abstract: We show that one can reconstruct the shape of a room with planar walls from the first-order echoes received by four non-planar microphones placed on a drone with generic position and orientation. Both the cases where the source is located in the room and on the drone are considered. If the microphone positions are picked at random, then with probability one, the location of any wall is correctly reconstructed as long as it is heard by four microphones. Our algorithm uses a simple echo sorting criterion to recover the wall assignments for the echoes. We prove that, if the position and orientation of the drone on which the microphones are mounted do not lie on a certain set of dimension at most 5 in the 6-dimensional space of all drone positions and orientations, then the wall assignment obtained through our echo sorting criterion must be the right one and thus the reconstruction obtained through our algorithm is correct. Our proof uses methods from computational commutative algebra.