title: Singular tuples of matrices is not a null cone (and, the symmetries of algebraic varieties)

abstract: The following multi-determinantal algebraic variety plays a central role in algebra, algebraic geometry and computational complexity theory: ${\rm SING}_{n,m}$, consisting of all $m$-tuples of $n\times n$ complex matrices which span only singular matrices. In particular, an efficient deterministic algorithm testing membership in ${\rm SING}_{n,m}$ will imply super-polynomial circuit lower bounds, a holy grail of the theory of computation. A sequence of recent works suggests such efficient algorithms for memberships in a general class of algebraic varieties, namely the null cones of linear group actions. Can this be used for the problem above? Our main result is negative: ${\rm SING}_{n,m}$ is not the null cone of any (reductive) group action! This stands in stark contrast to a non-commutative analog of this variety, and points to an inherent structural difficulty of ${\rm SING}_{n,m}$. To prove this result we identify precisely the group of symmetries of ${\rm SING}_{n,m}$. We find this characterization, and the tools we introduce to prove it, of independent interest. Our work significantly generalizes a result of Frobenius for the special case $m=1$, and suggests a general method for determining the symmetries of algebraic varieties.


title: Strong ISS implies strong iISS for time-varying impulsive systems

abstract: For time-invariant (nonimpulsive) systems, it is already well-known that the input-to-state stability (ISS) property is strictly stronger than integral input-to-state stability (iISS). Very recently, we have shown that under suitable uniform boundedness and continuity assumptions on the function defining system dynamics, ISS implies iISS also for time-varying systems. In this paper, we show that this implication remains true for impulsive systems, provided that asymptotic stability is understood in a sense stronger than usual for impulsive systems.


title: Accurate photonic temporal mode analysis with reduced resources

abstract: The knowledge and thus characterization of the temporal modes of quantum light fields is important in many areas of quantum physics ranging from experimental setup diagnosis to fundamental-physics investigations. Recent results showed how the auto-correlation function computed from continuous-wave homodyne measurements can be a powerful way to access the temporal mode structure. Here, we push forward this method by providing a deeper understanding and by showing how to extract the amplitude and phase of the temporal mode function with reduced experimental resources. Moreover, a quantitative analysis allows us to identify a regime of parameters where the method provides a trustworthy reconstruction, which we illustrate experimentally.


title: Letter of Intent for the LUXE Experiment

abstract: This Letter of Intent describes LUXE (Laser Und XFEL Experiment), an experiment that aims to use the high-quality and high-energy electron beam of the European XFEL and a powerful laser. The scientific objective of the experiment is to study quantum electrodynamics processes in the regime of strong fields. High-energy electrons, accelerated by the European XFEL linear accelerator, and high-energy photons, produced via Bremsstrahlung of those beam electrons, colliding with a laser beam shall experience an electric field up to three times larger than the Schwinger critical field (the field at which the vacuum itself is expected to become unstable and spark with spontaneous creation of electron-positron pairs) and access a new regime of quantum physics. The processes to be investigated, which include nonlinear Compton scattering and nonlinear Breit-Wheeler pair production, are relevant to a variety of phenomena in Nature, e.g. in the areas of astrophysics and collider physics and complement recent results in atomic physics. The setup requires in particular the extraction of a minute fraction of the electron bunches from the European XFEL accelerator, the installation of a powerful laser with sophisticated diagnostics, and an array of precision detectors optimised to measure electrons, positrons and photons. Physics sensitivity projections based on simulations are also provided.


title: Extreme anisotropy and gyrotropy of surface polaritons in Weyl semimetals

abstract: Weyl semimetals possess unique electrodynamic properties due to a combination of strongly anisotropic and gyrotropic bulk conductivity, surface conductivity, and surface dipole layer. We explore the potential of popular tip-enhanced optical spectroscopy techniques for studies of bulk and surface topological electron states in these materials. Anomalous dispersion, extreme anisotropy, and the optical Hall effect for surface polaritons launched by a nanotip provides information about Weyl node position and separation in the Brillouin zone, the value of the Fermi momentum, and the matrix elements of the optical transitions involving both bulk and surface electron states.


title: Tripartite entanglement: Foundations and applications

abstract: We review some current ideas about tripartite entanglement, the case representing the next level of complexity beyond the simplest one (though far from trivial), namely the bipartite. This kind of entanglement has an essential role in the understanding of foundations of quantum mechanics. Also, it allows several applications in the fields of quantum information processing and quantum computing. In this paper, we make a revision about the main foundational aspects of tripartite entanglement and we discuss the possibility of using it as a resource to execute quantum protocols. We present some examples of quantum protocols in detail.


title: Mitschke's Theorem is sharp

abstract: A. Mitschke showed that a variety with an $m$-ary near-unanimity term has J\'onsson terms $t_0, \dots, t _{2m-4} $ witnessing congruence distributivity. We show that Mitschke's result is sharp. We also evaluate the best possible number of Day terms witnessing congruence modularity. More generally, we characterize exactly the best bounds for many congruence identities satisfied by varieties with an $m$-ary near-unanimity term.


title: Quantifying Hosting Capacity for Rooftop PV System in LV Distribution Grids

abstract: Power systems face increasing challenges on reliable operations due to the widespread distributed generators (DGs), e.g., rooftop PV system in the low voltage (LV) distribution grids. Characterizing the hosting capacity (HC) is vital for assessing the total amount of distributed generations that a grid can hold before upgrading. For analyzing HC, some methods conduct extensive simulations, lacking theoretical guarantees and can time-consuming. Therefore, there are also methods employing optimization over all necessary operation constraints. But, the complexity and inherent non-convexity lead to non-optimal solutions. To solve these problems, this paper provides a constructive model for HC determination. Based on geometrically obtained globally optimal HC, we construct HC solutions sequentially according to realistic constraints, so that we can obtain optimal solution even with non-convex model. For practical adaption, we also consider three-phase unbalance condition and parallel computation to speed-up. We validated our method by extensive numerical results on IEEE standard systems, such as 8-bus and 123-bus radial distribution grids, where the global optimums are obtained and performance illustrations are demonstrated.


title: Are digital natives spreadsheet natives?

abstract: The present paper reports the results of testing first year students of Informatics on their algorithmic skills and knowledge transfer abilities in spreadsheet environments. The selection of students plays a crucial role in the project. On the one hand, they have officially finished their spreadsheet training - they know everything - while on the other hand, they do not need any training, since they are digital natives, to whom digital skills are assigned by birth. However, we found that the students had serious difficulties in solving the spreadsheet problems presented: so low were their results that it allowed us to form broad tendencies. Considering computational thinking, algorithmic skills, and knowledge transfer abilities, it is clear that those students performed better who used algorithm-based, multilevel array formulas instead of problem specific, unconnected built-in functions. Furthermore, we can conclude that students, regardless of their birth date and digital generation assigned to them, are in great need of official, high-mathability, algorithm-based training with expert teachers.


title: Performance comparison of 3D correspondence grouping algorithm for 3D plant point clouds

abstract: Plant Phenomics can be used to monitor the health and the growth of plants. Computer vision applications like stereo reconstruction, image retrieval, object tracking, and object recognition play an important role in imaging based plant phenotyping. This paper offers a comparative evaluation of some popular 3D correspondence grouping algorithms, motivated by the important role that they can play in tasks such as model creation, plant recognition and identifying plant parts. Another contribution of this paper is the extension of 2D maximum likelihood matching to 3D Maximum Likelihood Estimation Sample Consensus (MLEASAC). MLESAC is efficient and is computationally less intense than 3D random sample consensus (RANSAC). We test these algorithms on 3D point clouds of plants along with two standard benchmarks addressing shape retrieval and point cloud registration scenarios. The performance is evaluated in terms of precision and recall.


title: Investigating the Relationship between Multi-Party Linguistic Entrainment, Team Characteristics, and the Perception of Team Social Outcomes

abstract: Multi-party linguistic entrainment refers to the phenomenon that speakers tend to speak more similarly during conversation. We first developed new measures of multi-party entrainment on features describing linguistic style, and then examined the relationship between entrainment and team characteristics in terms of gender composition, team size, and diversity. Next, we predicted the perception of team social outcomes using multi-party linguistic entrainment and team characteristics with a hierarchical regression model. We found that teams with greater gender diversity had higher minimum convergence than teams with less gender diversity. Entrainment contributed significantly to predicting perceived team social outcomes both alone and controlling for team characteristics.


title: A Surprisingly Effective Fix for Deep Latent Variable Modeling of Text

abstract: When trained effectively, the Variational Autoencoder (VAE) is both a powerful language model and an effective representation learning framework. In practice, however, VAEs are trained with the evidence lower bound (ELBO) as a surrogate objective to the intractable marginal data likelihood. This approach to training yields unstable results, frequently leading to a disastrous local optimum known as posterior collapse. In this paper, we investigate a simple fix for posterior collapse which yields surprisingly effective results. The combination of two known heuristics, previously considered only in isolation, substantially improves held-out likelihood, reconstruction, and latent representation learning when compared with previous state-of-the-art methods. More interestingly, while our experiments demonstrate superiority on these principle evaluations, our method obtains a worse ELBO. We use these results to argue that the typical surrogate objective for VAEs may not be sufficient or necessarily appropriate for balancing the goals of representation learning and data distribution modeling.


title: Complex phase structure of the meson-baryon $T$-matrix

abstract: The full complex phase structure of the meson-baryon reaction amplitude in coupled channels approach is investigated, including also the photon-baryon channel. The result may be viewed as a generalization of the well-known Watson's theorem. Furthermore, the complex phase structure is exhibited for the pole and nonpole parts of the reaction amplitude in such a way that it will serve as a convenient common starting point for constructing models with different levels of approximation, in particular, for building isobar models where the basic properties of the $S$-matrix can be maintained. Such models should be useful, especially, in coupled multichannel calculations, where a large amount of experimental data are considered in resonance analyses, a situation encountered in modern baryon spectroscopy. In particular, it is shown that the unitarity of the pole part of the $T$-matrix arises automatically from the dressing mechanism inherent in the basic scattering equation. This implies that no separate conditions are required for making this part of the resonance amplitude unitary as it has been done in some of the existing isobar models.


title: A Bayesian approach to NMR crystal structure determination

abstract: Nuclear Magnetic Resonance (NMR) spectroscopy is particularly well-suited to determine the structure of molecules and materials in powdered form. Structure determination usually proceeds by finding the best match between experimentally observed NMR chemical shifts and those of candidate structures. Chemical shifts for the candidate configurations have traditionally been computed by electronic-structure methods, and more recently predicted by machine learning. However, the reliability of the determination depends on the errors in the predicted shifts. Here we propose a Bayesian framework for determining the confidence in the identification of the experimental crystal structure, based on knowledge of the typical error in the electronic structure methods. We also extend the recently-developed ShiftML machine-learning model, including the evaluation of the uncertainty of its predictions. We demonstrate the approach on the determination of the structures of six organic molecular crystals. We critically assess the reliability of the structure determinations, facilitated by the introduction of a visualization of the of similarity between candidate configurations in terms of their chemical shifts and their structures. We also show that the commonly used values for the errors in calculated $^{13}$C shifts are underestimated, and that more accurate, self-consistently determined uncertainties make it possible to use $^{13}$C shifts to improve the accuracy of structure determinations.


title: It's All in the Name: Mitigating Gender Bias with Name-Based Counterfactual Data Substitution

abstract: This paper treats gender bias latent in word embeddings. Previous mitigation attempts rely on the operationalisation of gender bias as a projection over a linear subspace. An alternative approach is Counterfactual Data Augmentation (CDA), in which a corpus is duplicated and augmented to remove bias, e.g. by swapping all inherently-gendered words in the copy. We perform an empirical comparison of these approaches on the English Gigaword and Wikipedia, and find that whilst both successfully reduce direct bias and perform well in tasks which quantify embedding quality, CDA variants outperform projection-based methods at the task of drawing non-biased gender analogies by an average of 19% across both corpora. We propose two improvements to CDA: Counterfactual Data Substitution (CDS), a variant of CDA in which potentially biased text is randomly substituted to avoid duplication, and the Names Intervention, a novel name-pairing technique that vastly increases the number of words being treated. CDA/S with the Names Intervention is the only approach which is able to mitigate indirect gender bias: following debiasing, previously biased words are significantly less clustered according to gender (cluster purity is reduced by 49%), thus improving on the state-of-the-art for bias mitigation.


title: Insights into Hydration Dynamics and Cooperative Interactions in Glycerol-Water Mixtures by Terahertz Dielectric Spectroscopy

abstract: We report relaxation dynamics of glycerol-water mixtures as probed by megahertz-to-terahertz dielectric spectroscopy in a frequency range from 50 MHz to 0.5 THz at room temperature. The dielectric relaxation spectra reveal several polarization processes at the molecular level with different time constants and dielectric strengths, providing an understanding of the hydrogen-bonding network in glycerol-water mixtures. We have determined the structure of hydration shells around glycerol molecules and the dynamics of bound water as a function of glycerol concentration in solutions using the Debye relaxation model. The experimental results show the existence of a critical glycerol concentration of ~7.5 mol %, which is related to the number of water molecules in the hydration layer around a glycerol molecule. At higher glycerol concentrations, water molecules dispersed in a glycerol network become abundant and eventually dominate and four distinct relaxation processes emerge in the mixtures. The relaxation dynamics and hydration structure in glycerol-water mixtures are further probed with molecular dynamics simulations, which confirm the physical picture revealed by the dielectric spectroscopy.


title: Reducing the dichromatic number via cycle reversions in infinite digraphs

abstract: We prove the following conjecture of S. Thomass\'e: for every (potentially infinite) digraph $ D $ it is possible to iteratively reverse directed cycles in such a way that the dichromatic number of the final reorientation $ D^{*} $ of $ D $ is at most two and each edge is flipped only finitely many times. In addition, we guarantee that in every strong component of $ D^{*} $ all the local edge-connectivities are finite and any edge is reversed at most twice.


title: Optical observations and cyclops post-shock region modelling of the polar V348 Pav

abstract: Post-shock regions (PSR) of polar cataclysmic variables produce most of their luminosity and give rise to high circular polarization in optical wavelengths and strong variability on the white dwarf rotation period, which are distinctive features of these systems. To investigate the polar candidate V348 Pav, we obtained a comprehensive observational set including photometric, polarimetric, and spectroscopic data, which was used to constrain the post-shock properties of the system. The object presents high circular polarization ($\sim30$ per cent) and high He II 4686A to H$~\beta$ line ratio, confirming it is a polar. From both radial velocities and light curves, we determined an orbital period of 79.98~min, close to the orbital period minimum of CVs. The H$~\beta$ radial velocity curve has a semi-amplitude of $141.4\pm1.5$ km s$^{-1}$. Doppler tomography showed that most of the spectral line emission in this system is originated in the region of the companion star facing the WD, possibly irradiated by the emission related to the PSR. We modelled the PSR using the Cyclops code. The PSR density and temperature profiles, obtained by a proper solution of the hydro-thermodynamic equations, were used in a 3D radiative transfer solution that takes into account the system geometry. We could reproduce the V348 Pav \textit{B, V, R}, and \textit{I} photometric and polarimetric data using a model with a WD magnetic field of $\sim28$ MG, a WD mass of $\sim0.85$~M$_{\odot}$ and a low ($\sim25^{\circ}$) orbital inclination. These values for the WD mass and orbital inclination are consistent with the measured radial velocities.


title: Simple explanation of strong suppression of fermionic EFT operators and custodial symmetry breaking

abstract: The present approach relies on the SM chiral symmetry breaking pattern $SU(2)_L\otimes SU(2)_R\to SU(2)_{L+R}$, with the EW Goldstone bosons given in a non-linear realization and the Higgs boson described by an EW singlet field. In addition, we assume the presence of new physics heavy states around the TeV scale that do not couple to the SM fermions, only to the SM bosonic sector. However, the mixing between gauge bosons and BSM resonances induces a small indirect interaction between the BSM sector and the SM fermions. This leads to an important suppression of the fermionic operators in the low-energy EW effective theory (bilinear and four-fermion operators) in comparison with the purely bosonic ones. This naturally explains the strong experimental bounds on fermionic operators and why these resonances could not be yet detected: even if energies of the order of the TeV can be reached in present and future accelerators, their production from initial SM fermions yields a very small cross section because of this suppression mechanism. On the other hand, they can leave an imprint in SM boson measurements accessible to future experimental runs (e.g., the oblique $S$ and $T$ parameters). Finally, we compare our results with constraints from collider data.


title: Identifying Personality Traits Using Overlap Dynamics in Multiparty Dialogue

abstract: Research on human spoken language has shown that speech plays an important role in identifying speaker personality traits. In this work, we propose an approach for identifying speaker personality traits using overlap dynamics in multiparty spoken dialogues. We first define a set of novel features representing the overlap dynamics of each speaker. We then investigate the impact of speaker personality traits on these features using ANOVA tests. We find that features of overlap dynamics significantly vary for speakers with different levels of both Extraversion and Conscientiousness. Finally, we find that classifiers using only overlap dynamics features outperform random guessing in identifying Extraversion and Agreeableness, and that the improvements are statistically significant.


title: The MiMeS survey of Magnetism in Massive Stars: Magnetic properties of the O-type star population

abstract: In this paper, we describe an analysis of the MiMeS Survey of O-type stars to explore the range of dipolar field strengths permitted by the polarisation spectra that do not yield a magnetic detection. We directly model the Stokes V profiles with a dipolar topology model using Bayesian inference. The noise statistics of the Stokes V profiles are in excellent agreement with those of the null profiles. Using a Monte-Carlo approach we conclude that a model in which all the stars in our sample were to host a 100\,G, dipolar magnetic field can be ruled out by the MiMeS data. Furthermore, if all the stars with no detection were to host a magnetic field just below their detection limit, the inferred distribution in strength of these undetected fields would be distinct from the known distribution in strength of the known magnetic O-type stars. This indicates that the Initial magnetic (B-)field Function (IBF) is likely bimodal -- young O-type stars are expected to either have weak/absent magnetic fields, or strong magnetic fields. We also find that better upper limits, by at least a factor of 10, would have been necessary to rule out a detection bias as an explanation for the apparent lack of evolved main-sequence magnetic O-type stars reported in the literature, and we conclude that the MiMeS survey cannot confirm or refute a magnetic flux decay in O-type stars.


title: Conformal 3-point functions and the Lorentzian OPE in momentum space

abstract: In conformal field theory in Minkowski momentum space, the 3-point correlation functions of local operators are completely fixed by symmetry. Using Ward identities together with the existence of a Lorentzian operator product expansion (OPE), we show that the Wightman function of three scalar operators is a double hypergeometric series of the Appell $F_4$ type. We extend this simple closed-form expression to the case of two scalar operators and one traceless symmetric tensor with arbitrary spin. Time-ordered and partially-time-ordered products are constructed in a similar fashion and their relation with the Wightman function is discussed.


title: Global Magnitude of the Earthquakes

abstract: The idea of the global daily magnitude (GDM, unit designation is Mg) of earthquakes is introduced. The formula is given for calculating Mg from earthquake strength data, characterized by the classic magnitude M on the Richter scale. An example of the calculation of Mg is given. It is noted that the Mg index may be useful in studying a number of seismological problems.


title: Analytical expressions of copositivity for 4th order symmetric tensors and applications

abstract: In particle physics, scalar potentials have to be bounded from below in order for the physics to make sense. The precise expressions of checking lower bound of scalar potentials are essential, which is an analytical expression of checking copositivity and positive definiteness of tensors given by such scalar potentials. Because the tensors given by general scalar potential are 4th order and symmetric, our work mainly focuses on finding precise expressions to test copositivity and positive definiteness of 4th order tensors in this paper. First of all, an analytically sufficient and necessary condition of positive definiteness is provided for 4th order 2 dimensional symmetric tensors. For 4th order 3 dimensional symmetric tensors, we give two analytically sufficient conditions of (strictly) cpositivity by using proof technique of reducing orders or dimensions of such a tensor. Furthermore, an analytically sufficient and necessary condition of copositivity is showed for 4th order 2 dimensional symmetric tensors. We also give several distinctly analytically sufficient conditions of (strict) copositivity for 4th order 2 dimensional symmetric tensors. Finally, we apply these results to check lower bound of scalar potentials, and to present analytical vacuum stability conditions for potentials of two real scalar fields and the Higgs boson.


title: The Speed of Gravity

abstract: Within the standard effective field theory of General Relativity, we show that the speed of gravitational waves deviates, ever so slightly, from luminality on cosmological and other spontaneously Lorentz-breaking backgrounds. This effect results from loop contributions from massive fields of any spin, including Standard Model fields, or from tree level effects from massive higher spins $s \ge 2$. We show that for the choice of interaction signs implied by S-matrix and spectral density positivity bounds suggested by analyticity and causality, the speed of gravitational waves is in general superluminal at low-energies on NEC preserving backgrounds, meaning gravitational waves travel faster than allowed by the metric to which photons and Standard Model fields are minimally coupled. We show that departure of the speed from unity increases in the IR and argue that the speed inevitably returns to luminal at high energies as required by Lorentz invariance. Performing a special tuning of the EFT so that renormalization sensitive curvature-squared terms are set to zero, we find that finite loop corrections from Standard Model fields still lead to an epoch dependent modification of the speed of gravitational waves which is determined by the precise field content of the lightest particles with masses larger than the Hubble parameter today. Depending on interpretation, such considerations could potentially have far-reaching implications on light scalar models, such as axionic or fuzzy cold dark matter.


title: Differentially Private Publication of Location Entropy

abstract: Location entropy (LE) is a popular metric for measuring the popularity of various locations (e.g., points-of-interest). Unlike other metrics computed from only the number of (unique) visits to a location, namely frequency, LE also captures the diversity of the users' visits, and is thus more accurate than other metrics. Current solutions for computing LE require full access to the past visits of users to locations, which poses privacy threats. This paper discusses, for the first time, the problem of perturbing location entropy for a set of locations according to differential privacy. The problem is challenging because removing a single user from the dataset will impact multiple records of the database; i.e., all the visits made by that user to various locations. Towards this end, we first derive non-trivial, tight bounds for both local and global sensitivity of LE, and show that to satisfy $\epsilon$-differential privacy, a large amount of noise must be introduced, rendering the published results useless. Hence, we propose a thresholding technique to limit the number of users' visits, which significantly reduces the perturbation error but introduces an approximation error. To achieve better utility, we extend the technique by adopting two weaker notions of privacy: smooth sensitivity (slightly weaker) and crowd-blending (strictly weaker). Extensive experiments on synthetic and real-world datasets show that our proposed techniques preserve original data distribution without compromising location privacy.


title: FACSIMILE: Fast and Accurate Scans From an Image in Less Than a Second

abstract: Current methods for body shape estimation either lack detail or require many images. They are usually architecturally complex and computationally expensive. We propose FACSIMILE (FAX), a method that estimates a detailed body from a single photo, lowering the bar for creating virtual representations of humans. Our approach is easy to implement and fast to execute, making it easily deployable. FAX uses an image-translation network which recovers geometry at the original resolution of the image. Counterintuitively, the main loss which drives FAX is on per-pixel surface normals instead of per-pixel depth, making it possible to estimate detailed body geometry without any depth supervision. We evaluate our approach both qualitatively and quantitatively, and compare with a state-of-the-art method.


title: Choked accretion: from radial infall to bipolar outflows by breaking spherical symmetry

abstract: Steady state, spherically symmetric accretion flows are well understood in terms of the Bondi solution. Spherical symmetry however, is necessarily an idealized approximation to reality. Here we explore the consequences of deviations away from spherical symmetry, first through a simple analytic model to motivate the physical processes involved, and then through hydrodynamical, numerical simulations of an ideal fluid accreting onto a Newtonian gravitating object. Specifically, we consider axisymmetric, large-scale, small amplitude deviations in the density field such that the equatorial plane is over dense as compared to the polar regions. We find that the resulting polar density gradient dramatically alters the Bondi result and gives rise to steady state solutions presenting bipolar outflows. As the density contrast increases, more and more material is ejected from the system, attaining speeds larger than the local escape velocities for even modest density contrasts. Interestingly, interior to the outflow region, the flow tends locally towards the Bondi solution, with a resulting total mass accretion rate through the inner boundary $choking$ at a value very close to the corresponding Bondi one. Thus, the numerical experiments performed suggest the appearance of a maximum achievable accretion rate, with any extra material being ejected, even for very small departures from spherical symmetry.


title: Simplified decision making in the belief space using belief sparsification

abstract: In this work, we introduce a new and efficient solution approach for the problem of decision making under uncertainty, which can be formulated as decision making in a belief space, over a possibly high-dimensional state space. Typically, to solve a decision problem, one should identify the optimal action from a set of candidates, according to some objective. We claim that one can often generate and solve an analogous yet simplified decision problem, which can be solved more efficiently. A wise simplification method can lead to the same action selection, or one for which the maximal loss in optimality can be guaranteed. Furthermore, such simplification is separated from the state inference and does not compromise its accuracy, as the selected action would finally be applied on the original state. First, we present the concept for general decision problems and provide a theoretical framework for a coherent formulation of the approach. We then practically apply these ideas to decision problems in the belief space, which can be simplified by considering a sparse approximation of their initial belief. The scalable belief sparsification algorithm we provide is able to yield solutions which are guaranteed to be consistent with the original problem. We demonstrate the benefits of the approach in the solution of a realistic active-SLAM problem and manage to significantly reduce computation time, with no loss in the quality of solution. This work is both fundamental and practical, and holds numerous possible extensions.

categories: cs.AI cs.CC cs.IT cs.RO cs.SY eess.SY math.IT


title: Implementing IceCube in SNOwGLoBES

abstract: We present an implementation of IceCube in the SNOwGLoBES package, which is used to calculate expected detection event rates resulting from supernova neutrinos. The SNOwGLoBES package is widely used to compare the sensitivity of different neutrino observatories, but currently does not include simulation files for IceCube. In this paper, we give a brief overview of the design process that went into this implementation.


title: Constraining GRBs pseudo-redshift using different empirical correlations

abstract: The determination of distances is highly constrained to a small number of Gamma-Ray Bursts (GRBs) because it requires observations at different wavelengths. Some empirical functions to estimate redshifts have been identified using populations of GRBs with reported redshifts. For example, the Amati correlation relates $E_{peak}$ of the spectrum when modeled with a Band function and the total energy emitted $E_{iso}$ in a time integrated analysis. A multiple-component scenario has been proposed in order to explain GRBs spectra, and in this context when a fine-time spectral analysis is performed a correlation between the non-thermal component's peak energy and the luminosity ($E_{peak,i} - L_i$) appears. This correlation is also used to infer distances to GRBs. In this work we present a sample of bright GRBs and apply these empirical correlations to constrain the pseudo-redshift of the selected burst sample. Our results for GRB080916C, GRB090926A and GRB150214A with reported redshift are totally consistent. Another three bursts with lower luminosities were selected. For these bursts, the pseudo-redshift range obtained with the two correlations are not totally in agreement.


title: Rational Inattention and Perceptual Distance

abstract: This paper uses an axiomatic foundation to create a new measure for the cost of learning that allows for multiple perceptual distances in a single choice environment so that some events can be harder to differentiate between than others. The new measure maintains the tractability of Shannon's classic measure but produces richer choice predictions and identifies a new form of informational bias significant for welfare and counterfactual analysis.


title: Domain Randomization and Pyramid Consistency: Simulation-to-Real Generalization without Accessing Target Domain Data

abstract: We propose to harness the potential of simulation for the semantic segmentation of real-world self-driving scenes in a domain generalization fashion. The segmentation network is trained without any data of target domains and tested on the unseen target domains. To this end, we propose a new approach of domain randomization and pyramid consistency to learn a model with high generalizability. First, we propose to randomize the synthetic images with the styles of real images in terms of visual appearances using auxiliary datasets, in order to effectively learn domain-invariant representations. Second, we further enforce pyramid consistency across different "stylized" images and within an image, in order to learn domain-invariant and scale-invariant features, respectively. Extensive experiments are conducted on the generalization from GTA and SYNTHIA to Cityscapes, BDDS and Mapillary; and our method achieves superior results over the state-of-the-art techniques. Remarkably, our generalization results are on par with or even better than those obtained by state-of-the-art simulation-to-real domain adaptation methods, which access the target domain data at training time.


title: Coding Teichm\"uller flow using veering triangulations

abstract: We develop the theory of veering triangulations on oriented surfaces adapted to moduli spaces of half-translation surfaces. We use veering triangulations to give a coding of the Teichm\"uller flow on connected components of strata of quadratic differentials. We prove that this coding, given by a countable shift, has an approximate product structure and a roof function with exponential tails. This makes it conducive to the study of the dynamics of Teichm\"uller flow.


title: Structured Spreadsheet Modelling and Implementation with Multiple Dimensions -- Part 2: Implementation

abstract: In Part 1, we showed how to develop a conceptual model of a problem involving variables of multiple dimensions, like Products, Regions, Sectors and Months. The conceptual model is presented as a Formula Diagram, giving a global view of the interaction between all the variables, and a Formula List, giving a precise view of the interaction between the variables. In this paper, we present precise steps to implement a multi-dimensional problem in a way that will produce a spreadsheet that is easy to maintain


title: Reading tea leaves? Polygenic scores and differences in traits among groups

abstract: In the past decade, Genome-Wide Association Studies (GWAS) have delivered an increasingly broad view of the genetic basis of human phenotypic variation. One of the major developments from GWAS is polygenic scores, a genetic predictor of an individual's genetic predisposition towards a trait constructed from GWAS. The success of GWAS and polygenic scores seems to suggest that we will soon be able to settle debates about whether phenotypic differences among groups are driven in part by genetics. However, answering these questions is more complicated than it seems at first glance and touches on many old issues about the interpretation of human genetic variation. In this perspective piece, I outline the ways in which issues of causality, stratification, gene-by-environment interactions, and divergence among groups all complicate the interpretation of among-population polygenic score differences.


title: A Predictive Deep Learning Approach to Output Regulation: The Case of Collaborative Pursuit Evasion

abstract: In this paper, we consider the problem of controlling an underactuated system in unknown, and potentially adversarial environments. The emphasis will be on autonomous aerial vehicles, modelled by Dubins dynamics. The proposed control law is based on a variable integrator via online prediction for target tracking. To showcase the efficacy of our method, we analyze a pursuit evasion game between multiple autonomous agents. To obviate the need for perfect knowledge of the evader's future strategy, we use a deep neural network that is trained to approximate the behavior of the evader based on measurements gathered online during the pursuit.


title: Error Analysis of Elitist Randomized Search Heuristics

abstract: When globally optimal solutions of complicated optimization problems cannot be located by evolutionary algorithms (EAs) in polynomial expected running time, the hitting time/running time analysis is not flexible enough to accommodate the requirement of theoretical study, because sometimes we have no idea on what approximation ratio is available in polynomial expected running time. Thus, it is necessary to propose an alternative routine for the theoretical analysis of EAs. To bridge the gap between theoretical analysis and algorithm implementation, in this paper we perform an error analysis where expected approximation error is estimated to evaluate performances of randomized search heuristics (RSHs). Based on the Markov chain model of RSHs, the multi-step transition matrix can be computed by diagonalizing the one-step transition matrix, and a general framework for estimation of expected approximation errors is proposed. Case studies indicate that the error analysis works well for both uni- and multi-modal benchmark problems. It leads to precise estimations of approximation error instead of asymptotic results on fitness values, which demonstrates its competitiveness to fixed budget analysis.


title: Federated Imitation Learning: A Privacy Considered Imitation Learning Framework for Cloud Robotic Systems with Heterogeneous Sensor Data

abstract: Humans are capable of learning a new behavior by observing others perform the skill. Robots can also implement this by imitation learning. Furthermore, if with external guidance, humans will master the new behavior more efficiently. So how can robots implement this? To address the issue, we present Federated Imitation Learning (FIL) in the paper. Firstly, a knowledge fusion algorithm deployed on the cloud for fusing knowledge from local robots is presented. Then, effective transfer learning methods in FIL are introduced. With FIL, a robot is capable of utilizing knowledge from other robots to increase its imitation learning. FIL considers information privacy and data heterogeneity when robots share knowledge. It is suitable to be deployed in cloud robotic systems. Finally, we conduct experiments of a simplified self-driving task for robots (cars). The experimental results demonstrate that FIL is capable of increasing imitation learning of local robots in cloud robotic systems.


title: Total positivity in Springer fibres

abstract: Let u be a unipotent element in the totally positive part of a complex reductive group. We consider the intersection of the Springer fibre at u with the totally positive part of the flag manifold. We show that this intersection has a natural cell decomposition which is part of the cell decomposition (Rietsch) of the totally positive flag manifold.


title: On the TeV gamma-ray and X-ray correlations exhibited in high-energy peaked BL Lacs: Mrk 501 and 1ES 1959+650

abstract: The spectral energy distribution (SED) of blazars is generally understood through the standard one-zone synchrotron self-Compton (SSC) model, where a strong correlation between X-ray and TeV gamma-ray fluxes is expected. Recently, for Mrk 421 the correlation was confirmed and interpreted within the SSC model arguing that a description of the correlation up to large flux values considerably restricts the value of the magnetic field under the assumption of an electron spectral index independent of the flux state. In this work, we extend the analysis done on Mrk 421 for other two high-energy peaked BL Lacs: Mrk 501 and 1ES 1959+650.


title: Average-based Robustness for Continuous-Time Signal Temporal Logic

abstract: We propose a new robustness score for continuous-time Signal Temporal Logic (STL) specifications. Instead of considering only the most severe point along the evolution of the signal, we use average scores to extract more information from the signal, emphasizing robust satisfaction of all the specifications' subformulae over their entire time interval domains. We demonstrate the advantages of this new score in falsification and control synthesis problems in systems with complex dynamics and multi-agent systems.


title: De(con)struction of the lazy-F loop: improving performance of Smith Waterman alignment

abstract: Striped variation of the Smith-Waterman algorithm is known as extremely efficient and easily adaptable for the SIMD architectures. However, the potential for improvement has not been exhausted yet. The popular Lazy-F loop heuristic requires additional memory access operations, and the worst-case performance of the loop could be as bad as the nonvectorized version. We demonstrate the progression of the lazy-F loop transformations that improve the loop performance, and ultimately eliminate the loop completely. Our algorithm achieves the best asymptotic performance of all scan-based SW algorithms O(n/p+log(p)), and is very efficient in practice.


title: Metric Learning for Adversarial Robustness

abstract: Deep networks are well-known to be fragile to adversarial attacks. We conduct an empirical analysis of deep representations under the state-of-the-art attack method called PGD, and find that the attack causes the internal representation to shift closer to the "false" class. Motivated by this observation, we propose to regularize the representation space under attack with metric learning to produce more robust classifiers. By carefully sampling examples for metric learning, our learned representation not only increases robustness, but also detects previously unseen adversarial samples. Quantitative experiments show improvement of robustness accuracy by up to 4% and detection efficiency by up to 6% according to Area Under Curve score over prior work. The code of our work is available at https://github.com/columbia/Metric_Learning_Adversarial_Robustness.


title: Discovering mean residence time and escape probability from data of stochastic dynamical systems

abstract: We present a method to learn mean residence time and escape probability from data modeled by stochastic differential equations. This method is a combination of machine learning from data (to extract stochastic differential equations as models) and stochastic dynamics (to quantify dynamical behaviors with deterministic tools). The goal is to learn and understand stochastic dynamics based on data. This method is applicable to sample path data collected from complex systems, as long as these systems can be modeled as stochastic differential equations.


title: GrAALF:Supporting Graphical Analysis of Audit Logs for Forensics

abstract: System-level audit logs often play a critical role in computer forensics. They capture low-level interactions between programs and users in much detail, making them a rich source of insight and provenance on malicious user activity. However, using these logs to discover and understand malicious activities when a typical computer generates more than 2.5 million system events hourly is both compute and time-intensive. We introduce a graphical system called GrAALF for efficiently loading, storing, processing, querying, and displaying system events to support computer forensics. In comparison to other related systems such as AIQL [13] and SAQL [12], GrAALF offers the flexibility of multiple backend storage solutions, easy-to-use and intuitive querying of logs, and the ability to trace back longer sequences of system events in (near) real-time to help identify and isolate attacks. Equally important, both AIQL and SAQL are not available for public use, whereas GrAALF is open-source. GrAALF offers the choice of compactly storing the logs in main memory, in a relational database system, in a hybrid main memory-database system, and a graph-based database. We compare the responsiveness of each of these options, using multiple huge system-call log files. Next, in multiple real-world attack scenarios, we demonstrate the efficacy and usefulness of GrAALF in identifying the attack and discovering its provenance. Consequently, GrAALF offers a robust solution for analysis of audit logs to support computer forensics.


title: miniSAM: A Flexible Factor Graph Non-linear Least Squares Optimization Framework

abstract: Many problems in computer vision and robotics can be phrased as non-linear least squares optimization problems represented by factor graphs, for example, simultaneous localization and mapping (SLAM), structure from motion (SfM), motion planning, and control. We have developed an open-source C++/Python framework miniSAM, for solving such factor graph based least squares problems. Compared to most existing frameworks for least squares solvers, miniSAM has (1) full Python/NumPy API, which enables more agile development and easy binding with existing Python projects, and (2) a wide list of sparse linear solvers, including CUDA enabled sparse linear solvers. Our benchmarking results shows miniSAM offers comparable performances on various types of problems, with more flexible and smoother development experience.


title: Non-commutativity and non-inertial effects on the Dirac oscillator in a cosmic string space-time

abstract: We examine the non-inertial effects of a rotating frame on a Dirac oscillator in a cosmic string space-time with non-commutative geometry in phase space. We observe that the approximate bound-state solutions are related to the biconfluent Heun polynomials. The related energies cannot be obtained in a closed form for all the bound states. We find the energy of the fundamental state analytically by taking into account the hard-wall confining condition. We describe how the ground-state energy scales with the new non-commutative term as well as with the other physical parameters of the system.


title: A note on a sinh-Poisson type equation with variable intensities on pierced domains

abstract: We consider a sinh-Poisson type equation with variable intensities and Dirichlet boundary condition on a pierced domain \begin{equation*} \left\{ \begin{array}{ll} \Delta u +\rho\left(V_1(x)e^{u}- V_2(x)e^{-\tau u}\right)=0 &\text{in } \Omega_\epsilon:=\Omega\setminus \displaystyle \bigcup_{i=1}^m \overline{B(\xi_i,\epsilon_i)}\\ u=0&\text{on }\partial\Omega_\epsilon, \end{array}\right. \end{equation*} where $\rho>0$, $V_1,V_2>0$ are smooth potentials in $\Omega$, $\tau>0$, $\Omega$ is a smooth bounded domain in $\mathbb{R}^2$ and $B(\xi_i,\epsilon_i)$ is a ball centered at $\xi_i\in \Omega$ with radius $\epsilon_i>0$, $i=1,\dots,m$. When $\rho>0$ is small enough and $m_1\in \{1,\dots,m-1\}$, there exist radii $\epsilon=(\epsilon_1,\dots,\epsilon_m)$ small enough such that the problem has a solution which blows-up positively at the points $\xi_1,\dots,\xi_{m_1}$ and negatively at the points $\xi_{m_1+1},\dots,\xi_{m}$ as $\rho\to 0$. The result remains true in cases $m_1=0$ with $V_1\equiv 0$ and $m_1=m$ with $V_2\equiv 0$, which are Liouville type equations.


title: Hyper-Pairing Network for Multi-Phase Pancreatic Ductal Adenocarcinoma Segmentation

abstract: Pancreatic ductal adenocarcinoma (PDAC) is one of the most lethal cancers with an overall five-year survival rate of 8%. Due to subtle texture changes of PDAC, pancreatic dual-phase imaging is recommended for better diagnosis of pancreatic disease. In this study, we aim at enhancing PDAC automatic segmentation by integrating multi-phase information (i.e., arterial phase and venous phase). To this end, we present Hyper-Pairing Network (HPN), a 3D fully convolution neural network which effectively integrates information from different phases. The proposed approach consists of a dual path network where the two parallel streams are interconnected with hyper-connections for intensive information exchange. Additionally, a pairing loss is added to encourage the commonality between high-level feature representations of different phases. Compared to prior arts which use single phase data, HPN reports a significant improvement up to 7.73% (from 56.21% to 63.94%) in terms of DSC.


title: Energy Demand Prediction with Federated Learning for Electric Vehicle Networks

abstract: In this paper, we propose novel approaches using state-of-the-art machine learning techniques, aiming at predicting energy demand for electric vehicle (EV) networks. These methods can learn and find the correlation of complex hidden features to improve the prediction accuracy. First, we propose an energy demand learning (EDL)-based prediction solution in which a charging station provider (CSP) gathers information from all charging stations (CSs) and then performs the EDL algorithm to predict the energy demand for the considered area. However, this approach requires frequent data sharing between the CSs and the CSP, thereby driving communication overhead and privacy issues for the EVs and CSs. To address this problem, we propose a federated energy demand learning (FEDL) approach which allows the CSs sharing their information without revealing real datasets. Specifically, the CSs only need to send their trained models to the CSP for processing. In this case, we can significantly reduce the communication overhead and effectively protect data privacy for the EV users. To further improve the effectiveness of the FEDL, we then introduce a novel clustering-based EDL approach for EV networks by grouping the CSs into clusters before applying the EDL algorithms. Through experimental results, we show that our proposed approaches can improve the accuracy of energy demand prediction up to 24.63% and decrease communication overhead by 83.4% compared with other baseline machine learning algorithms.


title: One-Way URLLC with Truncated Channel Inversion Power Control

abstract: In this work, we consider one-way ultra-reliable and low-latency communication (URLLC), where only the transmission in one direction requires URLLC and the transmission in the opposite direction does not. In order to meet the low-latency requirement of the one-way URLLC, we propose to use a truncated channel inversion power control (CIPC) to eliminate the requirement and the associated overhead of the training-based channel estimation at the receiver, while utilizing the multi-antenna technique at the transmitter to enhance the communication reliability. We first derive the transmission outage probability achieved by the truncated CIPC by considering the impact of a finite blocklength and a maximum transmit power constraint. Then, we determine the optimal constant power of the received signals in the truncated CIPC, which minimizes the transmission outage probability. Our examination shows that the proposed truncated CIPC is an effective means to achieve the one-way URLLC, where the tradeoff among reliability, latency, and required resources (e.g., the required number of transmit antennas, or the required maximum transmit power) is revealed.


title: Scalar Curvature Volume Comparison Theorems for Almost Rigid Sphere

abstract: Bray's football theorem (\cite{bray2009penrose}) is a weakening of Bishop theorem in dimension 3. It gives a sharp volume upper bound for a three dimensional manifold with scalar curvature larger than $n(n-1)$ and Ricci curvature larger than $\varepsilon$. This paper extends Bray's football theorem in high dimensions, assuming the manifold is axis symmetric or the Ricci curvature has an upper bound.


title: CS Indi: SU UMa-Type Dwarf Nova with Long Precursor Outburst

abstract: We observed the 2018 November outburst of CS Ind and confirmed that it was a genuine superoutburst with a very long [0.12471(1) d in average] superhump period. The superoutburst was preceded by a long precursor, which was recorded first time in SU UMa-type dwarf novae. We interpret that the combination of a sufficient amount of mass in the disk before the ignition of the outburst and the slow development of tidal instability near the borderline of the 3:1 resonance caused a cooling front to start before the full development of tidal instability. This finding provides another support to the recent interpretation of slow development of the tidal instability causing various phenomena similar to WZ Sge-type dwarf novae in SU UMa-type dwarf novae with very long orbital periods.


title: Investigations of the Underlying Mechanisms of HIF-1{\alpha} and CITED2 Binding to TAZ1

abstract: The TAZ1 domain of CREB binding protein is crucial for transcriptional regulation and recognizes multiple targets. The interactions between TAZ1 and its specific targets are related to the cellular hypoxic negative feedback regulation. Previous experiments reported that one of the TAZ1 targets CITED2 is an efficient competitor of another target HIF-1{\alpha}. Here by developing the structure-based models of TAZ1 complexes we have uncovered the underlying mechanisms of the competitions between HIF-1{\alpha} and CITED2 binding to TAZ1. Our results are consistent with the experimental hypothesis on the competition mechanisms and the apparent affinity. In addition, the simulations prove the dominant position of forming TAZ1-CITED2 complex in both thermodynamics and kinetics. For thermodynamics, TAZ1-CITED2 is the lowest basin located on the free energy surface of binding in the ternary system. For kinetics, the results suggest that CITED2 binds to TAZ1 faster than HIF-1{\alpha}. Besides, the analysis of contact map and f values in this study will be helpful for further experiments on TAZ1 systems.


title: Enforcing Analytic Constraints in Neural-Networks Emulating Physical Systems

abstract: Neural networks can emulate nonlinear physical systems with high accuracy, yet they may produce physically-inconsistent results when violating fundamental constraints. Here, we introduce a systematic way of enforcing nonlinear analytic constraints in neural networks via constraints in the architecture or the loss function. Applied to convective processes for climate modeling, architectural constraints enforce conservation laws to within machine precision without degrading performance. Enforcing constraints also reduces errors in the subsets of the outputs most impacted by the constraints.


title: Reliability and Local Delay in Wireless Networks: Does Bandwidth Partitioning Help?

abstract: This paper studies the effect of bandwidth partitioning (BWP) on the reliability and delay performance in infrastructureless wireless networks. The reliability performance is characterized by the density of concurrent transmissions that satisfy a certain reliability (outage) constraint and the delay performance by so-called local delay, defined as the average number of time slots required to successfully transmit a packet. We concentrate on the ultrareliable regime where the target outage probability is close to 0. BWP has two conflicting effects: while the interference is reduced as the concurrent transmissions are divided over multiple frequency bands, the signal-to-interference ratio (SIR) requirement is increased due to smaller allocated bandwidth if the data rate is to be kept constant. Instead, if the SIR requirement is to be kept the same, BWP reduces the data rate and in turn increases the local delay. For these two approaches with adaptive and fixed SIR requirements, we derive closed-form expressions of the local delay and the maximum density of reliable transmissions in the ultrareliable regime. Our analysis shows that, in the ultrareliable regime, BWP leads to the reliability-delay tradeoff.


title: A classification of minimal highest weight modules

abstract: For a complex simple Lie algebra $\mathfrak{g}$, it is well-known that the associated variety of a highest weight module $L(\lambda)$ of $\mathfrak{g}$ is the union of some orbital varieties associated with the nilpotent orbit $\mathcal{O}_{\Ann{L(\lambda)}}$ whose closure is the associated variety of $\Ann{L(\lambda)}$. But in general, it is a very difficult problem to determine the associated variety of a highest weight module. The highest weight modules with minimal Gelfand-Kirillov dimension (or $\mathcal{O}_{\Ann{L(\lambda)}}=\mathcal{O}_{\rm min}$ is the unique minimal nilpotent orbit of $\mathfrak{g}$) play important roles in the study of representations of Lie groups and Lie algebras. Joseph found some necessary and sufficient condition for weak quantization (if there is a $U(\mathfrak{g})$-module whose associated variety is the given orbital variety) of these minimal orbital varieties, and he also classified those minimal highest weight modules whose annihilator ideals are completely prime. In this paper, we will give a classification of minimal highest weight modules with their annihilator ideals being not necessarily completely prime for all complex simple Lie algebras. We also describe the associated varieties of these modules. By comparing with Joseph's work, we have found all minimal highest weight modules which can weakly quantize a given minimal orbital variety (in the sense of Joseph).


title: Counterfactual Depth from a Single RGB Image

abstract: We describe a method that predicts, from a single RGB image, a depth map that describes the scene when a masked object is removed - we call this "counterfactual depth" that models hidden scene geometry together with the observations. Our method works for the same reason that scene completion works: the spatial structure of objects is simple. But we offer a much higher resolution representation of space than current scene completion methods, as we operate at pixel-level precision and do not rely on a voxel representation. Furthermore, we do not require RGBD inputs. Our method uses a standard encoder-decoder architecture, and with a decoder modified to accept an object mask. We describe a small evaluation dataset that we have collected, which allows inference about what factors affect reconstruction most strongly. Using this dataset, we show that our depth predictions for masked objects are better than other baselines.


title: Stability Analysis of Interface Conditions for Ocean-Atmosphere Coupling

abstract: In this paper we analyze the stability of different coupling strategies for multidomain PDEs that arise in general circulation models used in climate simulations. We focus on fully coupled ocean-atmosphere models that are needed to represent and understand the complicated interactions of these two systems, becoming increasingly important in climate change assessment in recent years. Numerical stability issues typically arise because of different time-stepping strategies applied to the coupled PDE system. In particular, the contributing factors include using large time steps, lack of accurate interface flux, and singe-iteration coupling. We investigate the stability of the coupled ocean-atmosphere models for various interface conditions such as the Dirichlet-Neumann condition and the bulk interface condition, which is unique to climate modeling. By analyzing a simplified model, we demonstrate how the parameterization of the bulk condition and other numerical and physical parameters affect the coupling stability.


title: New Stick Number Bounds from Random Sampling of Confined Polygons

abstract: The stick number of a knot is the minimum number of segments needed to build a polygonal version of the knot. Despite its elementary definition and relevance to physical knots, the stick number is poorly understood: for most knots we only know bounds on the stick number. We adopt a Monte Carlo approach to finding better bounds, producing very large ensembles of random polygons in tight confinement to look for new examples of knots constructed from few segments. We generated a total of 220 billion random polygons, yielding either the exact stick number or an improved upper bound for more than 40% of the knots with 10 or fewer crossings for which the stick number was not previously known. We summarize the current state of the art in Appendix A, which gives the best known bounds on stick number for all knots up to 10 crossings.


title: Efficiency of Coordinate Descent Methods For Structured Nonconvex Optimization

abstract: Novel coordinate descent (CD) methods are proposed for minimizing nonconvex functions consisting of three terms: (i) a continuously differentiable term, (ii) a simple convex term, and (iii) a concave and continuous term. First, by extending randomized CD to nonsmooth nonconvex settings, we develop a coordinate subgradient method that randomly updates block-coordinate variables by using block composite subgradient mapping. This method converges asymptotically to critical points with proven sublinear convergence rate for certain optimality measures. Second, we develop a randomly permuted CD method with two alternating steps: linearizing the concave part and cycling through variables. We prove asymptotic convergence to critical points and sublinear complexity rate for objectives with both smooth and concave parts. Third, we extend accelerated coordinate descent (ACD) to nonsmooth and nonconvex optimization to develop a novel randomized proximal DC algorithm whereby we solve the subproblem inexactly by ACD. Convergence is guaranteed with at most a few number of ACD iterations for each DC subproblem, and convergence complexity is established for identification of some approximate critical points. Fourth, we further develop the third method to minimize certain ill-conditioned nonconvex functions: weakly convex functions with high Lipschitz constant to negative curvature ratios. We show that, under specific criteria, the ACD-based randomized method has superior complexity compared to conventional gradient methods. Finally, an empirical study on sparsity-inducing learning models demonstrates that CD methods are superior to gradient-based methods for certain large-scale problems.


title: The Quantum Null Energy Condition and Entanglement Entropy in Quenches

abstract: The Quantum Null Energy Condition (QNEC) relates energy to the second variation of entropy in relativistic quantum field theory. We use the QNEC inequality to bound entanglement entropy in quenches. At early times the entanglement entropy grows quadratically in time, and the QNEC provides an upper bound on the prefactor. We demonstrate that the bound is tight, by showing that it is saturated in certain quench protocols: boundary state quenches in conformal field theories in any dimensions. In higher than two dimensions we compute entanglement entropy using AdS/CFT. Our results are the first purely field theoretic applications of the QNEC.


title: The systems with almost Banach mean equicontinuity for abelian group actions

abstract: In this paper, we give the concept of Banach-mean equicontinuity and prove that three concepts, Bnanach-, Weyl- and Besicovitch-mean equicontinuity of a dynamic system with abelian group action are equivalent. Furthermore, we obtain that the topological entropy of a transitive, almost Banach-mean equicontinuous dynamical system with abelain group action is zero. As an application with our main result, we show that the topological entropy of the Banach-mean equicontinuous system under the action of an abelian groups is zero.


title: On PM-mapping class monoids

abstract: In this paper, we introduce PM-mapping class monoids. Braid groups and mapping class groups have many features in common. Similarly to the notion of braid PM-monoid, PM-mapping class monoid is defined. This construction is an analogy of inverse mapping class monoid defined by R. Karoui and V. V. Vershinin. As the main result, we give the analog of the Dehn-Nilsen-Baer theorem.


title: A variational method for generating $n$-cross fields using higher-order $Q$-tensors

abstract: An $n$-cross field is a locally-defined orthogonal coordinate system invariant with respect to the cubic symmetry group. Cross fields are finding wide-spread use in mesh generation, computer graphics, and materials science among many applications. It was recently by other authors that $3$-cross fields can be embedded into the set of symmetric $4$th-order tensors. Another concurrent work further develops a relaxation of this tensor field via a certain set of varieties. In this paper, we consider the problem of generating an arbitrary $n$-cross field using a fourth-order $Q$-tensor theory that is constructed out of tensored projection matrices. We establish that by a Ginzburg-Landau relaxation towards a global projection, one can reliably generate an $n$-cross field on arbitrary Lipschitz domains. Our work provides a rigorous approach that offers several new results including porting the tensor framework to arbitrary dimensions, providing a new relaxation method that embeds the problem into a global steepest descent, and offering a relaxation scheme for aligning the cross field with the boundary. Our approach is designed to fit within the classical Ginzburg-Landau PDE theory, offering a concrete road map for the future careful study of singularities of energy minimizers.


title: Attributed Rhetorical Structure Grammar for Domain Text Summarization

abstract: This paper presents a new approach of automatic text summarization which combines domain oriented text analysis (DoTA) and rhetorical structure theory (RST) in a grammar form: the attributed rhetorical structure grammar (ARSG), where the non-terminal symbols are domain keywords, called domain relations, while the rhetorical relations serve as attributes. We developed machine learning algorithms for learning such a grammar from a corpus of sample domain texts, as well as parsing algorithms for the learned grammar, together with adjustable text summarization algorithms for generating domain specific summaries. Our practical experiments have shown that with support of domain knowledge the drawback of missing very large training data set can be effectively compensated. We have also shown that the knowledge based approach may be made more powerful by introducing grammar parsing and RST as inference engine. For checking the feasibility of model transfer, we introduced a technique for mapping a grammar from one domain to others with acceptable cost. We have also made a comprehensive comparison of our approach with some others.


title: Mass transference principle from rectangles to rectangles in Diophantine approximation

abstract: By introducing a ubiquity property for rectangles, we prove the mass transference principle from rectangles to rectangles, i.e., if a sequence of rectangles forms a ubiquity system (a full measure property), then the limsup set defined by shrinking these rectangles to smaller rectangles has full Hausdorff measure or to say transfer a full measure property to a full Hausdorff measure property for brevity. The limsup sets generated by balls or generated by rectangles appear at the most fundamental level in Diophantine approximation: one follows from Dirichlet's theorem, the other follows from Minkowski's theorem. So the result sets up a general principle for the Hausdorff measure theory for high dimensional Diophantine approximation which, together with the landmark work of Beresnevich & Velani in 2006 where a transference principle from balls to balls is established, gives a coherent Hausdorff measure theory for metric Diophantine approximation. The dimensional theory for limsup sets generated by rectangles also underpins the dimensional theory in multiplicative Diophantine approximation where unexpected phenomenon occurs and the usually used methods or even their generalizations fail to work.


title: Adversarial Bootstrapping for Dialogue Model Training

abstract: Open domain neural dialogue models, despite their successes, are known to produce responses that lack relevance, diversity, and in many cases coherence. These shortcomings stem from the limited ability of common training objectives to directly express these properties as well as their interplay with training datasets and model architectures. Toward addressing these problems, this paper proposes bootstrapping a dialogue response generator with an adversarially trained discriminator. The method involves training a neural generator in both autoregressive and traditional teacher-forcing modes, with the maximum likelihood loss of the auto-regressive outputs weighted by the score from a metric-based discriminator model. The discriminator input is a mixture of ground truth labels, the teacher-forcing outputs of the generator, and distractors sampled from the dataset, thereby allowing for richer feedback on the autoregressive outputs of the generator. To improve the calibration of the discriminator output, we also bootstrap the discriminator with the matching of the intermediate features of the ground truth and the generator's autoregressive output. We explore different sampling and adversarial policy optimization strategies during training in order to understand how to encourage response diversity without sacrificing relevance. Our experiments shows that adversarial bootstrapping is effective at addressing exposure bias, leading to improvement in response relevance and coherence. The improvement is demonstrated with the state-of-the-art results on the Movie and Ubuntu dialogue datasets with respect to human evaluations and BLUE, ROGUE, and distinct n-gram scores.


title: Entanglement enhanced distinguishability of coherence-breaking channels

abstract: Originated from the superposition principle in quantum mechanics, coherence has been extensively studied as a kind important resource in quantum information processing. We investigate the distinguishability of coherence-breaking channels with the help of quantum entanglement. By explicitly computing the minimal error probability of channel discrimination, it is shown that entanglement can enhance the capacity of coherence-breaking channel distinguishability with same types for some cases while cannot enhanced for some other cases. For coherence-breaking channels with different types, the channel distinguishability cannot be enhanced via entanglement.


title: Chiral-spin symmetry of the meson spectral function above $T_c$

abstract: Recently, via calculation of spatial correlators of $J=0,1$ isovector operators using a chirally symmetric Dirac operator within $N_F=2$ QCD, it has been found that QCD at temperatures $T_c - 3 T_c$ is approximately $SU(2)_{CS}$ and $SU(4)$ symmetric. The latter symmetry suggests that the physical degrees of freedom are chirally symmetric quarks bound by the chromoelectric field into color singlet objects without chromomagnetic effects. This regime of QCD has been referred to as a Stringy Fluid. Here we calculate correlators for propagation in time direction at a temperature slightly above $T_c$ and find the same approximate symmetries. This means that the meson spectral function is chiral-spin and $SU(4)$ symmetric.


title: Drag force on heavy quarks from holographic QCD

abstract: We study the drag force of a relativistic heavy quark using a holographic QCD model with conformal invariance broken by a background dilaton. We analyze the effects of chemical potential and confining scale on this quantity, respectively. It is shown that the drag force in this model is larger than that of $\mathcal{N}=4$ supersymmetric Yang-Mills (SYM) plasma. In particular, the inclusion of the chemical potential and confining scale both enhance the drag force, in agreement with earlier findings. Also, we discuss how chemical potential and confining scale influence the diffusion coefficient.


title: Magnetic-tunable nanoscale thermal radiation between twisted graphene gratings

abstract: This paper presents a comprehensive theoretical study of the magnetic-tunable near-field radiative heat transfer (NFRHT) between two twisted graphene gratings. As a result of the quantum Hall regime of magneto-optical graphene and the grating effect, three types of graphene surface plasmon polaritons (SPPs) modes are observed in the system: near-zero modes, high-frequency hyperbolic modes, and elliptic modes. The elliptic SPPs modes, which are caused by the combined effect of magnetic field and grating, are observed in the graphene grating system for the first time. In addition, the near-zero modes can be greatly enhanced by the combined effect grating and magnetic field, rendering graphene devices promising for thermal communication at ultra-low frequency. In particular, the near-zero modes result in a unique enhancement region of heat transfer, no matter for any twisted angle between gratings. The combined effect of grating and magnetic field is investigated simultaneously. By changing the strength of magnetic field, the positions and intensities of the modes can be modulated, and hence the NFRHT can be tuned accordingly, no matter for parallel or twisted graphene gratings. The magnetic field endows the grating action (graphene filling factors and twisted angles) with a higher modulation ability to modulate the NFRHT compared with zero-field. Moreover, the modulation ability of twist can be tuned by the magnetic field at different twisted angles. In sum, the combined effect of magnetic field and grating provides a tunable way to realize the energy modulation or multi-frequency thermal communications related to graphene devices.


title: Combining Spans into Entities: A Neural Two-Stage Approach for Recognizing Discontiguous Entities

abstract: In medical documents, it is possible that an entity of interest not only contains a discontiguous sequence of words but also overlaps with another entity. Entities of such structures are intrinsically hard to recognize due to the large space of possible entity combinations. In this work, we propose a neural two-stage approach to recognize discontiguous and overlapping entities by decomposing this problem into two subtasks: 1) it first detects all the overlapping spans that either form entities on their own or present as segments of discontiguous entities, based on the representation of segmental hypergraph, 2) next it learns to combine these segments into discontiguous entities with a classifier, which filters out other incorrect combinations of segments. Two neural components are designed for these subtasks respectively and they are learned jointly using a shared encoder for text. Our model achieves the state-of-the-art performance in a standard dataset, even in the absence of external features that previous methods used.


title: Transfer Fine-Tuning: A BERT Case Study

abstract: A semantic equivalence assessment is defined as a task that assesses semantic equivalence in a sentence pair by binary judgment (i.e., paraphrase identification) or grading (i.e., semantic textual similarity measurement). It constitutes a set of tasks crucial for research on natural language understanding. Recently, BERT realized a breakthrough in sentence representation learning (Devlin et al., 2019), which is broadly transferable to various NLP tasks. While BERT's performance improves by increasing its model size, the required computational power is an obstacle preventing practical applications from adopting the technology. Herein, we propose to inject phrasal paraphrase relations into BERT in order to generate suitable representations for semantic equivalence assessment instead of increasing the model size. Experiments on standard natural language understanding tasks confirm that our method effectively improves a smaller BERT model while maintaining the model size. The generated model exhibits superior performance compared to a larger BERT model on semantic equivalence assessment tasks. Furthermore, it achieves larger performance gains on tasks with limited training datasets for fine-tuning, which is a property desirable for transfer learning.


title: Lightlike and ideal tetrahedra

abstract: We give a unified description of tetrahedra with lightlike faces in 3d anti-de Sitter, de Sitter and Minkowski spaces and of their duals in 3d anti-de Sitter, hyperbolic and half-pipe spaces. We show that both types of tetrahedra are determined by a generalized cross-ratio with values in a commutative 2d real algebra that generalizes the complex numbers. Equivalently, tetrahedra with lightlike faces are determined by a pair of edge lengths and their duals by a pair of dihedral angles. We prove that the dual tetrahedra are precisely the generalized ideal tetrahedra introduced by Danciger. Finally, we compute the volumes of both types of tetrahedra as functions of their edge lengths or dihedral angles, obtaining generalizations of the Milnor-Lobachevsky volume formula of ideal hyperbolic tetrahedra.


title: Non-Newtonian gravity in strange quark stars and constraints from the observations of PSR J0740+6620 and GW170817

abstract: We investigate the effects of non-Newtonian gravity on the properties of strange quark stars (QSs) and constrain the parameters of the standard MIT bag model used to describe strange quark matter (SQM) by employing the mass of PSR J0740+6620 and the tidal deformability of GW170817. We find that, for the standard MIT bag model, these mass and tidal deformability observations would rule out the existence of QSs if non-Newtonian gravity effects are ignored. For a strange quark mass of $m_{s}=95$ MeV, we find that QSs can exist for values of the non-Newtonian gravity parameter $g^{2}/\mu^{2}$ in the range of 1.37 GeV$^{-2}\leq g^{2}/\mu^{2}\leq$ 7.28 GeV$^{-2}$ and limits on the bag constant and the strong interaction coupling constant of the SQM model given by 141.3 MeV$\leq B^{1/4}\leq$ 150.9 MeV and $\alpha_{S}\leq 0.56$. For a strange quark mass of $m_{s}=150$ MeV, QSs can exist for 1.88 GeV$^{-2}\leq g^{2}/\mu^{2}\leq$ 6.27 GeV$^{-2}$ and limits on the parameters of the SQM model given by 139.7 MeV$\leq B^{1/4}\leq$ 147.3 MeV and $\alpha_{S}\leq 0.49$.


title: A Bug or a Suggestion? An Automatic Way to Label Issues

abstract: More and more users and developers are using Issue Tracking Systems (ITSs) to report issues, including bugs, feature requests, enhancement suggestions, etc. Different information, however, is gathered from users when issues are reported on different ITSs, which presents considerable challenges for issue classification tools to work effectively across the ITSs. Besides, bugs often take higher priority when it comes to classifying the issues, while existing approaches to issue classification seldom focus on distinguishing bugs and the other non-bug issues, leading to suboptimal accuracy in bug identification. In this paper, we propose a deep learning-based approach to automatically identify bug-reporting issues across various ITSs. The approach implements the k-NN algorithm to detect and correct misclassifications in data extracted from the ITSs, and trains an attention-based bi-directional long short-term memory (ABLSTM) network using a dataset of over 1.2 million labelled issues to identify bug reports. Experimental evaluation shows that our approach achieved an F-measure of 85.6\% in distinguishing bugs and other issues, significantly outperforming the other benchmark and state-of-the-art approaches examined in the experiment.


title: Voice Spoofing Detection Corpus for Single and Multi-order Audio Replays

abstract: The evolution of modern voice controlled devices (VCDs) in recent years has revolutionized the Internet of Things, and resulted in increased realization of smart homes, personalization and home automation through voice commands. The introduction of VCDs in IoT is expected to give emergence of new subfield of IoT, called Multimedia of Thing (MoT). These VCDs can be exploited in IoT driven environment to generate various spoofing attacks including the replays. Replay attacks are generated through replaying the recorded audio of legitimate human speaker with the intent of deceiving the VCDs having speaker verification system. The connectivity among the VCDs can easily be exploited in IoT driven environment to generate a chain of replay attacks (multi-order replay attacks). Existing spoofing detection datasets like ASVspoof and ReMASC contain only the first-order replay recordings against the bonafide audio samples. These datasets can not offer evaluation of the anti-spoofing algorithms capable of detecting the multi-order replay attacks. Additionally, these datasets do not capture the characteristics of microphone arrays, which is an important characteristic of modern VCDs. We need a diverse replay spoofing detection corpus that consists of multi-order replay recordings against the bonafide voice samples. This paper presents a novel voice spoofing detection corpus (VSDC) to evaluate the performance of multi-order replay anti-spoofing methods. The proposed VSDC consists of first and second-order-replay samples against the bonafide audio recordings. Additionally, the proposed VSDC can also be used to evaluate the performance of speaker verification systems as our corpus includes the audio samples of fifteen different speakers. To the best of our knowledge, this is the first publicly available replay spoofing detection corpus comprising of first-order and second-order-replay samples.


title: Superimposed Coding Based CSI Feedback Using 1-Bit Compressed Sensing

abstract: In a frequency division duplex (FDD) massive multiple input multiple output (MIMO) system, the channel state information (CSI) feedback causes a significant bandwidth resource occupation. In order to save the uplink bandwidth resources, a 1-bit compressed sensing (CS)-based CSI feedback method assisted by superimposed coding (SC) is proposed. Using 1-bit CS and SC techniques, the compressed support-set information and downlink CSI (DL-CSI) are superimposed on the uplink user data sequence (UL-US) and fed back to base station (BS). Compared with the SC-based feedback, the analysis and simulation results show that the UL-US's bit error ratio (BER) and the DL-CSI's accuracy can be improved in the proposed method, without using the exclusive uplink bandwidth resources to feed DL-CSI back to BS.


title: Borel sets without perfectly many overlapping translations, II

abstract: For a countable ordinal epsilon we construct a Sigma^0_2 subset of the Cantor space for which one may force aleph_epsilon translations with intersections of size 2i, but such that it has no perfect set of such translations in any ccc extension. These sets have uncountably many translations with intersections of size 2i in ZFC, so this answers Problem 3.4 of arxiv:1711.04058 .


title: DECO: Liberating Web Data Using Decentralized Oracles for TLS

abstract: Thanks to the widespread deployment of TLS, users can access private data over channels with end-to-end confidentiality and integrity. What they cannot do, however, is prove to third parties the {\em provenance} of such data, i.e., that it genuinely came from a particular website. Existing approaches either introduce undesirable trust assumptions or require server-side modifications. As a result, the value of users' private data is locked up in its point of origin. Users cannot export their data with preserved integrity to other applications without help and permission from the current data holder. We propose DECO (short for \underline{dec}entralized \underline{o}racle) to address the above problems. DECO allows users to prove that a piece of data accessed via TLS came from a particular website and optionally prove statements about such data in zero-knowledge, keeping the data itself secret. DECO is the first such system that works without trusted hardware or server-side modifications. DECO can liberate data from centralized web-service silos, making it accessible to a rich spectrum of applications. To demonstrate the power of DECO, we implement three applications that are hard to achieve without it: a private financial instrument using smart contracts, converting legacy credentials to anonymous credentials, and verifiable claims against price discrimination.


title: A First Look at Blockchain-based Decentralized Applications

abstract: With the increasing popularity of blockchain technologies in recent years, blockchain-based decentralized applications (DApps for short in this paper) have been rapidly developed and widely adopted in many areas, being a hot topic in both academia and industry. Despite of the importance of DApps, we still have quite little understanding of DApps along with its ecosystem. To bridge the knowledge gap, this paper presents the first comprehensive empirical study of blockchain-based DApps to date, based on an extensive dataset of 995 Ethereum DApps and 29,846,075 transaction logs over them. We make a descriptive analysis of the popularity of DApps, summarize the patterns of how DApps use smart contracts to access the underlying blockchain, and explore the worth-addressing issues of deploying and operating DApps. Based on the findings, we propose some implications for DApp users to select proper DApps, for DApp developers to improve the efficiency of DApps, and for blockchain vendors to enhance the support of DApps.


title: The lemmas of Alexander and Sperner

abstract: Alexander's lemma is a version of Sperner's lemma published by Alexander two years earlier than Sperner's paper. The present paper is devoted to a modern but elementary exposition of lemmas of Alexander and Sperner and their main topological applications: Brouwer's theorems about the topological invariance of dimension and of domains (here we follow Lebesgue ideas in the form given to them by Sperner), Brouwer's fixed-point theorem, and Alexander's theorem about the topological invariance of homology groups. Along the way we relate the Knaster-Kuratowski-Mazurkiewich argument with the notion of simplicial approximations, provide a cohomological interpretation of Sperner's lemma and of its combinatorial proof, and explain how classical proofs of Sperner's and Alexander's lemma lead to path-following algorithms. The exposition does not assume any knowledge of algebraic topology.


title: Joint Estimation of OD Demands and Cost Functions in Transportation Networks from Data

abstract: Existing work has tackled the problem of estimating Origin-Destination (OD) demands and recovering travel latency functions in transportation networks under the Wardropian assumption. The ultimate objective is to derive an accurate predictive model of the network to enable optimization and control. However, these two problems are typically treated separately and estimation is based on parametric models. In this paper, we propose a method to jointly recover nonparametric travel latency cost functions and estimate OD demands using traffic flow data. We formulate the problem as a bilevel optimization problem and develop an iterative first-order optimization algorithm to solve it. A numerical example using the Braess Network is presented to demonstrate the effectiveness of our method.


title: Nonclassical Light and Metrological Power: An Introductory Review

abstract: In this review, we introduce the notion of quantum nonclassicality of light, and the role of nonclassicality in optical quantum metrology. The first part of the paper focuses on defining and characterizing the notion of nonclassicality and how it may be quantified in radiation fields. Several prominent examples of nonclassical light is also discussed. The second part of the paper looks at quantum metrology through the lens of nonclassicality. We introduce key concepts such as the Quantum Fisher information, the Cram{\'e}r-Rao bound, the standard quantum limit and the Heisenberg limit, and discuss how nonclassical light may be exploited to beat classical limitations in high precision measurements. The discussion here will be largely theoretical, with some references to specific experimental implementations.


title: Intrinsic topological superconductivity with exactly flat surface bands in the quasi-one-dimensional A$_2$Cr$_3$As$_3$ (A=Na, K, Rb, Cs) superconductors

abstract: A spin-U(1)-symmetry protected momentum-dependent integer-$Z$-valued topological invariant is proposed to time-reversal-invariant (TRI) superconductivity (SC) whose nonzero value will lead to exactly flat surface band(s). The theory is applied to the weakly spin-orbit coupled quasi-1D A$_2$Cr$_3$As$_3$ (A=Na, K, Rb, Cs) superconductors family with highest $T_c$ up to 8.6 K with $p_z$-wave pairing in the $S_z=0$ channel. It's found that up to the leading atomic spin-orbit-coupling (SOC), the whole (001) surface Brillouin zone is covered with exactly-flat surface bands, with some regime hosting three flat bands and the remaining part hosting two. Such exactly-flat surface bands will lead to very sharp zero-bias conductance peak in the scanning tunneling microscopic spectrum. When a tiny subleading spin-flipping SOC is considered, the surface bands will only be slightly split. The application of this theory can be generalized to other unconventional superconductors with weak SOC, particularly to those with mirror-reflection symmetry.


title: Beating to rotational transition of a clamped active ribbon-like filament

abstract: We present a detailed study of a clamped ribbon-like filament under a compressive active force using Brownian dynamics simulations. We show that a clamped ribbon-like filament is able to capture beating as well as a rotational motion under the compressive force. The nature of oscillation is governed by the torsional rigidity of the filament. The frequency of oscillation is almost independent of the torsional rigidity. The beating of the filament gives butterfly shape trajectory of the free-end monomer, whereas rotational motion yields a circular trajectory on a plane. The binormal correlation and the principal component analysis reveal the butterfly, elliptical, and circular trajectories of the free end monomer. We present a phase diagram for different kinds of motion in the parameter regime of compressive force and torsional rigidity.


title: "Can you say more about the location?" The Development of a Pedagogical Reference Resolution Agent

abstract: In an increasingly globalized world, geographic literacy is crucial. In this paper, we present a collaborative two-player game to improve people's ability to locate countries on the world map. We discuss two implementations of the game: First, we created a web-based version which can be played with the remote-controlled agent Nellie. With the knowledge we gained from a large online data collection, we re-implemented the game so it can be played face-to-face with the Furhat robot Neil. Our analysis shows that participants found the game not just engaging to play, they also believe they gained lasting knowledge about the world map.


title: Tightness of discrete Gibbsian line ensembles with exponential interaction Hamiltonians

abstract: In this paper we introduce a framework to prove tightness of a sequence of discrete Gibbsian line ensembles $\mathcal{L}^N = \{\mathcal{L}_k^N(x), k \in \mathbb{N}, x \in \frac{1}{N}\mathbb{Z}\}$, which is a collection of countable random curves. The sequence of discrete line ensembles $\mathcal{L}^N$ we consider enjoys a resampling invariance property, which we call $(H^N,H^{RW,N})$-Gibbs property. We also assume that $\mathcal{L}^N$ satisfies technical assumptions A1-A4 on $(H^N,H^{RW,N})$ and the assumption that the lowest labeled curve with a parabolic shift, $\mathcal{L}_1^N(x) + \frac{x^2}{2}$, converges weakly to a stationary process in the topology of uniform convergence on compact sets. Under these assumptions, we prove our main result Theorem 2.18 that $\mathcal{L}^N$ is tight as a line ensemble and that $H$-Brownian Gibbs property holds for all subsequential limit line ensembles with $H(x)= e^x$. As an application of Theorem 2.18, under weak noise scaling, we show that the scaled log-gamma line ensemble $\bar{\mathcal{L}}^N$ is tight, which is a sequence of discrete line ensembles associated with the inverse-gamma polymer model via the geometric RSK correspondence. The $H$-Brownian Gibbs property (with $H(x) = e^x$) of its subsequential limits also follows.


title: Development of 13 $\mu m$ Cutoff HgCdTe Detector Arrays for Astronomy

abstract: Building on the successful development of the 10 $\mu m$ HgCdTe detector arrays for the proposed NEOCam mission, the University of Rochester Infrared Detector team and Teledyne Imaging Systems are working together to extend the cutoff wavelength of HgCdTe detector arrays initially to 13 $\mu m$, with the ultimate goal of developing 15 $\mu m$ HgCdTe detector arrays for space and ground-based astronomy. The advantage of HgCdTe detector arrays is that they can operate at higher temperatures than the currently used arsenic doped silicon detector arrays at the longer wavelengths. Our infrared detector team at the University of Rochester has received and tested four 13 $\mu m$ detector arrays from Teledyne Imaging Systems with three different pixel designs, two of which are meant to reduce quantum tunneling dark current. The pixel design of one of these arrays has mitigated the effects of quantum tunneling dark currents for which we have been able to achieve, at a temperature of 28 K and applied bias of 350 mV, a well depth of at least 75 $ke^-$ for 90% of the pixels with a median dark current of 1.8 $e^-/sec$. These arrays have demonstrated encouraging results as we move forward to extending the cutoff wavelength to 15 $\mu m$.


title: HarDNet: A Low Memory Traffic Network

abstract: State-of-the-art neural network architectures such as ResNet, MobileNet, and DenseNet have achieved outstanding accuracy over low MACs and small model size counterparts. However, these metrics might not be accurate for predicting the inference time. We suggest that memory traffic for accessing intermediate feature maps can be a factor dominating the inference latency, especially in such tasks as real-time object detection and semantic segmentation of high-resolution video. We propose a Harmonic Densely Connected Network to achieve high efficiency in terms of both low MACs and memory traffic. The new network achieves 35%, 36%, 30%, 32%, and 45% inference time reduction compared with FC-DenseNet-103, DenseNet-264, ResNet-50, ResNet-152, and SSD-VGG, respectively. We use tools including Nvidia profiler and ARM Scale-Sim to measure the memory traffic and verify that the inference latency is indeed proportional to the memory traffic consumption and the proposed network consumes low memory traffic. We conclude that one should take memory traffic into consideration when designing neural network architectures for high-resolution applications at the edge.