title: M\"{o}bius transforms, cycles and q-triplets in statistical mechanics

abstract: In the realm of Boltzmann-Gibbs (BG) statistical mechanics and its q-generalisation for complex systems, we analyse observed sequences of q-triplets, or q-doublets if one of them is the unity, in terms of cycles of successive M\"obius transforms of the line preserving unity ( q=1 corresponds to the BG theory). Such transforms have the form q --> (aq + 1-a)/[(1+a)q -a], where a is a real number; the particular cases a=-1 and a=0 yield respectively q --> (2-q) and q --> 1/q, currently known as additive and multiplicative dualities. This approach seemingly enables the organisation of various complex phenomena into different classes, named N-complete or incomplete. The classification that we propose here hopefully constitutes a useful guideline in the search, for non-BG systems whenever well described through q-indices, of new possibly observable physical properties.


title: Solving Multi-Coloring Combinatorial Optimization Problems Using Hybrid Quantum Algorithms

abstract: The design of a good algorithm to solve NP-hard combinatorial approximation problems requires specific domain knowledge about the problems and often needs a trial-and-error problem solving approach. Graph coloring is one of the essential fields to provide an efficient solution for combinatorial applications such as flight scheduling, frequency allocation in networking, and register allocation. In particular, some optimization algorithms have been proposed to solve the multi-coloring graph problems but most of the cases a simple searching method would be the best approach to find an optimal solution for graph coloring problems. However, this naive approach can increase the computation cost exponentially as the graph size and the number of colors increase. To mitigate such intolerable overhead, we investigate the methods to take the advantages of quantum computing properties to find a solution for multi-coloring graph problems in polynomial time. We utilize the variational quantum eigensolver (VQE) technique and quantum approximate optimization algorithm (QAOA) to find solutions for three combinatorial applications by both transferring each problem model to the corresponding Ising model and by using the calculated Hamiltonian matrices. Our results demonstrate that VQE and QAOA algorithms can find one of the best solutions for each application. Therefore, our modeling approach with hybrid quantum algorithms can be applicable for combinatorial problems in various fields to find an optimal solution in polynomial time.


title: Methods for a blind analysis of isobar data collected by the STAR collaboration

abstract: In 2018, the STAR collaboration collected data from $_{44}^{96}Ru+_{44}^{96}Ru$ and $_{40}^{96}Zr+_{40}^{96}Zr$ at $\sqrt{s_{NN}}=200$ GeV to search for the presence of the chiral magnetic effect in collisions of nuclei. The isobar collision species alternated frequently between $_{44}^{96}Ru+_{44}^{96}Ru$ and $_{40}^{96}Zr+_{40}^{96}Zr$. In order to conduct blind analyses of studies related to the chiral magnetic effect in these isobar data, STAR developed a three-step blind analysis procedure. Analysts are initially provided a "reference sample" of data, comprised of a mix of events from the two species, the order of which respects time-dependent changes in run conditions. After tuning analysis codes and performing time-dependent quality assurance on the reference sample, analysts are provided a species-blind sample suitable for calculating efficiencies and corrections for individual $\approx30$-minute data-taking runs. For this sample, species-specific information is disguised, but individual output files contain data from a single isobar species. Only run-by-run corrections and code alteration subsequent to these corrections are allowed at this stage. Following these modifications, the "frozen" code is passed over the fully un-blind data, completing the blind analysis. As a check of the feasibility of the blind analysis procedure, analysts completed a "mock data challenge," analyzing data from $Au+Au$ collisions at $\sqrt{s_{NN}}=27$ GeV, collected in 2018. The $Au+Au$ data were prepared in the same manner intended for the isobar blind data. The details of the blind analysis procedure and results from the mock data challenge are presented.


title: Analysis of singularities and the four-dimensional representation of physical observables within the LTD formalism

abstract: In the past years, we have been developing a novel technique, called Four-Dimensional Unsubtraction (FDU) which aims to obtain purely four-dimensional representations of the matrix elements contributing to physical observables. In this talk, we describe the application of the loop-tree duality (LTD) theorem to represent loop amplitudes in terms of tree-level like objects, focusing on the origin of possible singularities of scattering amplitudes. In particular, we analyze the regions responsible of infrared and threshold singularities. With this information, we aim to extend the FDU formalism to NNLO and beyond.


title: SHACL Constraints with Inference Rules

abstract: The Shapes Constraint Language (SHACL) has been recently introduced as a W3C recommendation to define constraints that can be validated against RDF graphs. Interactions of SHACL with other Semantic Web technologies, such as ontologies or reasoners, is a matter of ongoing research. In this paper we study the interaction of a subset of SHACL with inference rules expressed in datalog. On the one hand, SHACL constraints can be used to define a "schema" for graph datasets. On the other hand, inference rules can lead to the discovery of new facts that do not match the original schema. Given a set of SHACL constraints and a set of datalog rules, we present a method to detect which constraints could be violated by the application of the inference rules on some graph instance of the schema, and update the original schema, i.e, the set of SHACL constraints, in order to capture the new facts that can be inferred. We provide theoretical and experimental results of the various components of our approach.


title: Improved entanglement detection with subspace witnesses

abstract: Entanglement, while being critical in many quantum applications, is difficult to characterize experimentally. While entanglement witnesses based on the fidelity to the target entangled state are efficient detectors of entanglement, they in general underestimate the amount of entanglement due to errors during state preparation and measurement. Therefore, to detect entanglement more robustly in the presence of such control errors, we introduce a 'subspace' witness that detects a broader class of entangled states with strictly larger violation than the conventional state-fidelity witness at the cost of additional measurements, while remaining more efficient with respect to state tomography. We experimentally demonstrate the advantages of the subspace witness by generating and detecting entanglement with a hybrid, two-qubit system composed of electronic spins in diamond. We further extend the notion of subspace witness to specific genuine multipartite entangled (GME) states such as GHZ, W, and Dicke states, and motivate the choice of the metric based on quantum information tasks such as entanglement-enhanced sensing. In addition, as the subspace witness identifies the many-body coherences of the target entangled state, it facilitates (beyond detection) lower-bound quantification of entanglement via generalized concurrences. We expect the straightforward and efficient implementation of subspace witnesses would be beneficial in detecting specific GME states in noisy, intermediate-scale quantum processors with a hundred qubits.


title: A short note on the Liouville problem for the steady-state Navier-Stokes equations

abstract: Uniqueness of the trivial solution (the zero solution) for the steady-state Navier-Stokes equations is an interesting problem who has known several recent contributions. These results are also known as the Liouville type problem for the steady-state Navier-Stokes equations. In the setting of the $L^p-$ spaces, when $3\leq p \leq 9/2$ it is known that the trivial solution of these equations is the unique one. In this note, we extend this previous result to other values of the parameter $p$. More precisely, we prove that the velocity field must be zero provided that it belongs to the $L^p -$ space with $3/2<p<3$. Moreover, for the large interval of values $9/2<p<+\infty$, we also obtain a partial result on the vanishing of the velocity under an additional hypothesis in terms of the Sobolev space of negative order $\dot{H}^{-1}$. This last result has an interesting corollary when studying the Liouville problem in the natural energy space of these solutions $\dot{H}^{1}$.


title: Inducing Metallicity in Graphene Nanoribbons via Zero-Mode Superlattices

abstract: The design and fabrication of robust metallic states in graphene nanoribbons (GNRs) is a significant challenge since lateral quantum confinement and many-electron interactions tend to induce electronic band gaps when graphene is patterned at nanometer length scales. Recent developments in bottom-up synthesis have enabled the design and characterization of atomically-precise GNRs, but strategies for realizing GNR metallicity have been elusive. Here we demonstrate a general technique for inducing metallicity in GNRs by inserting a symmetric superlattice of zero-energy modes into otherwise semiconducting GNRs. We verify the resulting metallicity using scanning tunneling spectroscopy as well as first-principles density-functional theory and tight binding calculations. Our results reveal that the metallic bandwidth in GNRs can be tuned over a wide range by controlling the overlap of zero-mode wavefunctions through intentional sublattice symmetry-breaking.


title: Differential Privacy Via a Truncated and Normalized Laplace Mechanism

abstract: When querying databases containing sensitive information, the privacy of individuals stored in the database has to be guaranteed. Such guarantees are provided by differentially private mechanisms which add controlled noise to the query responses. However, most such mechanisms do not take into consideration the valid range of the query being posed. Thus, noisy responses that fall outside of this range may potentially be produced. To rectify this and therefore improve the utility of the mechanism, the commonly used Laplace distribution can be truncated to the valid range of the query and then normalized. However, such a data-dependent operation of normalization leaks additional information about the true query response thereby violating the differential privacy guarantee. Here, we propose a new method which preserves the differential privacy guarantee through a careful determination of an appropriate scaling parameter for the Laplace distribution. We also generalize the privacy guarantee in the context of the Laplace distribution to account for data-dependent normalization factors and study this guarantee for different classes of range constraint configurations. We provide derivations of the optimal scaling parameter (i.e., the minimal value that preserves differential privacy) for each class or provide an approximation thereof. As a consequence of this work, one can use the Laplace distribution to answer queries in a range-adherent and differentially private manner.


title: Unconventional Ideas for Ionization Cooling of Muons

abstract: Small muon beams increase the luminosity of a muon collider. Reducing the momentum and position spreads of muons reduces emittance and leads to small, cool beams. Ionization cooling has been observed at the Muon Ionization Cooling Experiment. 6D emittance reduction by a factor of 100, 000 has been achieved in simulation. Another factor of 5 in cooling would meet the basic requirements of a high luminosity muon collider. In this paper we compare, for the first time, the amount of RF needed in a cooling channel to previous linacs. We also outline three methods aimed to help achieve a final factor of 5 in 6D cooling.


title: IoTSign: Protecting Privacy and Authenticity of IoT using Discrete Cosine Based Steganography

abstract: Remotely generated data by Intent of Things (IoT) has recently had a lot of attention for their huge benefits such as efficient monitoring and risk reduction. The transmitted streams usually consist of periodical streams (e.g. activities) and highly private information (e.g. IDs). Despite the obvious benefits, the concerns are the secrecy and the originality of the transferred data. Surprisingly, although these concerns have been well studied for static data, they have received only limited attention for streaming data. Therefore, this paper introduces a new steganographic mechanism that provides (1) robust privacy protection of secret information by concealing them arbitrarily in the transported readings employing a random key, and (2) permanent proof of originality for the normal streams. This model surpasses our previous works by employing the Discrete Cosine Transform to expand the hiding capacity and reduce complexity. The resultant distortion has been accurately measured at all stages - the original, the stego, and the recovered forms - using a well-known measurement matrix called Percentage Residual Difference (PRD). After thorough experiments on three types of streams (i.e. chemical, environmental and smart homes), it has been proven that the original streams have not been affected (< 1 %). Also, the mathematical analysis shows that the model has much lighter (i.e. linear) computational complexity O(n) compared to existing work.


title: Time-Aware Gated Recurrent Unit Networks for Road Surface Friction Prediction Using Historical Data

abstract: An accurate road surface friction prediction algorithm can enable intelligent transportation systems to share timely road surface condition to the public for increasing the safety of the road users. Previously, scholars developed multiple prediction models for forecasting road surface conditions using historical data. However, road surface condition data cannot be perfectly collected at every timestamp, e.g. the data collected by on-vehicle sensors may be influenced when vehicles cannot travel due to economic cost issue or weather issues. Such resulted missing values in the collected data can damage the effectiveness and accuracy of the existing prediction methods since they are assumed to have the input data with a fixed temporal resolution. This study proposed a road surface friction prediction model employing a Gated Recurrent Unit network-based decay mechanism (GRU-D) to handle the missing values. The evaluation results present that the proposed GRU-D networks outperform all baseline models. The impact of missing rate on predictive accuracy, learning efficiency and learned decay rate are analyzed as well. The findings can help improve the prediction accuracy and efficiency of forecasting road surface friction using historical data sets with missing values, therefore mitigating the impact of wet or icy road conditions on traffic safety.


title: The periodic integral orbits of polynomial recursions with integer coefficients

abstract: We show that polynomial recursions $x_{n+1}=x_{n}^{m}-k$ where $k,m$ are integers and $m$ is positive have no nontrivial periodic integral orbits for $m\geq3$. If $m=2$ then the recursion has integral two-cycles for infinitely many values of $k$ but no higher period orbits. We also show that these statements are true for all quadratic recursions.


title: Tuning interfacial Dzyaloshinskii-Moriya interactions in thin amorphous ferrimagnetic alloys

abstract: Skyrmions can be stabilized in magnetic systems with broken inversion symmetry and chiral interactions, such as Dzyaloshinskii-Moriya interactions (DMI). Further, compensation of magnetic moments in ferrimagnetic materials can significantly reduce magnetic dipolar interactions, which tend to favor large skyrmions. Tuning DMI is essential to control skyrmion properties, with symmetry breaking at interfaces offering the greatest flexibility. However, in contrast to the ferromagnet case, few studies have investigated interfacial DMI in ferrimagnets. Here we present a systematic study of DMI in ferrimagnetic CoGd films by Brillouin light scattering. We demonstrate the ability to control DMI by the CoGd cap layer composition, the stack symmetry and the ferrimagnetic layer thickness. The DMI thickness dependence confirms its interfacial nature. In addition, magnetic force microscopy reveals the ability to tune DMI in a range that stabilizes sub-100 nm skyrmions at room temperature in zero field. Our work opens new paths for controlling interfacial DMI in ferrimagnets to nucleate and manipulate skyrmions.


title: Multi-Agent Safety Verification using Symmetry Transformations

abstract: We show that symmetry transformations and caching can enable scalable, and possibly unbounded, verification of multi-agent systems. Symmetry transformations map solutions and to other solutions. We show that this property can be used to transform cached reachsets to compute new reachsets, for hybrid and multi-agent models. We develop a notion of virtual system which define symmetry transformations for a broad class of agent models that visit waypoint sequences. Using this notion of virtual system, we present a prototype tool CacheReach that builds a cache of reachtubes for this system, in a way that is agnostic of the representation of the reachsets and the reachability analysis subroutine used. Our experimental evaluation of CacheReach shows up to 66% savings in safety verification computation time on multi-agent systems with 3-dimensional linear and 4-dimensional nonlinear fixed-wing aircraft models following sequences of waypoints. These savings and our theoretical results illustrate the potential benefits of using symmetry-based caching in the safety verification of multi-agent systems.


title: Observational Investigation of the 2013 Near-Earth Encounter by Asteroid (367943) Duende

abstract: On 15 February 2013, the asteroid 367943 Duende (2012 DA14) experienced a near-Earth encounter at an altitude of 27,700 km or 4.2 Earth radii. We present here the results of an extensive, multi-observatory campaign designed to probe for spectral and/or rotational changes to Duende due to gravitational interactions with the Earth during the flyby. Our spectral data reveal no changes within the systematic uncertainties of the data. Post-flyby lightcurve photometry places strong constraints on the rotation state of Duende, showing that it is in non-principal axis rotation with fundamental periods of P_1 = 8.71 +/- 0.03 and P_2 = 23.7 +/- 0.2 hours. Multiple lightcurve analysis techniques, coupled with theoretical considerations and delay-doppler radar imaging, allows us to assign these periods to specific rotational axes of the body. In particular we suggest that Duende is now in a non-principal, short axis mode rotation state with a precessional period equal to P_1 and oscillation about the symmetry axis at a rate equal to P_2. Temporal and signal-to-noise limitations inherent to the pre-flyby photometric dataset make it difficult to definitively diagnose whether these periods represent a change imparted due to gravitational torques during the flyby. However, based on multiple analysis techniques and a number of plausibility arguments, we suggest that Duende experienced a rotational change during the planetary encounter with an increase in its precessional rotation period. Our preferred interpretation of the available data is that the precession rate increased from 8.4 hours prior to the flyby to 8.7 hours afterwards. A companion paper by Benson et al. (2019) provides a more detailed dynamical analysis of this event and compares the data to synthetic lightcurves computed from a simple shape model of Duende. (abbreviated abstract)


title: Fragmentation in a Primordial Accretion Flow

abstract: Under rapid cooling from molecular hydrogen, the accretion disks around Population III (PopIII) stars are believed to fragment, resulting in multiple accreting cores. In this paper, we build a theoretical framework for calculating the optical depth of H$_2$ ro-vibrational line cooling based on the vertical structure in these accretion disks. Applying this physically motivated prescription for the optical depth, we find that cooling in the inner disk with $r \lesssim 10 {\rm\ AU}$ is attenuated significantly as a result of high surface density; $PdV$ heating becomes more efficient than cooling, which prevents fragmentation in the inner disk. Despite this, cooling becomes dynamically important in the outer disk, favoring fragmentation. We argue that most of the resultant fragments are initially at the outer disk, and that any surviving fragment has to migrate slower than the disk-scale photo-evaporation process. Since type I migration is fast, migration slows down as a result of gap-opening in the disk structure. Two possible processes for gap-opening are studied: (1) through a massive, densely-cored ($\rho \gtrsim 10^{-8} {\rm\ g\ cm^{-3}}$) clump able to radiate away the excess gravitational potential energy, and (2) through a fast-growing central star, with $\dot{M} \gtrsim 2 \times 10^{-3} \, M_\odot {\rm\ yr^{-1}}$, whose gravity dominates the star-disk system and favors gap opening.


title: The GRAVITY Young Stellar Object survey -- I. Probing the disks of Herbig Ae/Be stars in terrestrial orbits

abstract: The formation and the evolution of protoplanetary disks are important stages in the lifetime of stars. The processes of disk evolution and planet formation are intrinsically linked. We spatially resolve with GRAVITY/VLTI in the K-band the sub au-scale region of 27 stars to gain statistical understanding of their properties. We look for correlations with stellar parameters, such as luminosity, mass, temperature and age. Our sample also cover a range of various properties in terms of reprocessed flux, flared or flat morphology, and gaps. We developed semi-physical geometrical models to fit our interferometric data. Our best models correspond to smooth and wide rings, implying that wedge-shaped rims at the dust sublimation edge are favored, as found in the H-band. The closure phases are generally non-null with a median value of ~10 deg, indicating spatial asymmetries of the intensity distributions. Multi-size grain populations could explain the closure phase ranges below 20-25 deg but other scenarios should be invoked to explain the largest ones. Our measurements extend the Radius-Luminosity relation to ~1e4 Lsun and confirm the significant spread around the mean relation observed in the H-band. Gapped sources exhibit a large N-to-K band size ratio and large values of this ratio are only observed for the members of our sample that would be older than 1 Ma, less massive, and with lower luminosity. In the 2 Ms mass range, we observe a correlation in the increase of the relative age with the transition from group II to group I, and an increase of the N-to-K size ratio. However, the size of the current sample does not yet permit us to invoke a clear universal evolution mechanism across the HAeBe mass range. The measured locations of the K-band emission suggest that these disks might be structured by forming young planets, rather than by depletion due to EUV, FUV, and X-ray photo-evaporation.


title: Computing Circle Packing Representations of Planar Graphs

abstract: The Circle Packing Theorem states that every planar graph can be represented as the tangency graph of a family of internally-disjoint circles. A well-known generalization is the Primal-Dual Circle Packing Theorem for 3-connected planar graphs. The existence of these representations has widespread applications in theoretical computer science and mathematics; however, the algorithmic aspect has received relatively little attention. In this work, we present an algorithm based on convex optimization for computing a primal-dual circle packing representation of maximal planar graphs, i.e. triangulations. This in turn gives an algorithm for computing a circle packing representation of any planar graph. Both take $\widetilde{O}(n \log(R/\varepsilon))$ expected run-time to produce a solution that is $\varepsilon$ close to a true representation, where $R$ is the ratio between the maximum and minimum circle radius in the true representation.


title: Cotorsion pairs and a $K$-theory Localization Theorem

abstract: We show that a complete hereditary cotorsion pair $(\C,\C^\bot)$ in an exact category $\E$, together with a subcategory $\Z\subseteq\E$ containing $\C^\bot$, determines a Waldhausen category structure on the exact category $\C$, in which $\Z$ is the class of acyclic objects. This allows us to prove a new version of Quillen's Localization Theorem, relating the $K$-theory of exact categories $\A\subseteq\B$ to that of a cofiber. The novel idea in our approach is that, instead of looking for an exact quotient category that serves as the cofiber, we produce a Waldhausen category, constructed through a cotorsion pair. Notably, we do not require $\A$ to be a Serre subcategory, which produces new examples. Due to the algebraic nature of our Waldhausen categories, we are able to recover a version of Quillen's Resolution Theorem, now in a more homotopical setting that allows for weak equivalences.


title: A counterexample to the $\phi$-dimension conjecture

abstract: In 2005, the second author and Todorov introduced an upper bound on the finitistic dimension of an Artin algebra, now known as the {\phi}-dimension. The {\phi}-dimension conjecture states that this upper bound is always finite, a fact that would imply the finitistic dimension conjecture. In this paper, we present a counterexample to the {\phi}-dimension conjecture and explain where it comes from. We also discuss implications for further research and the finitistic dimension conjecture.


title: Improved bounds for restricted projection families via weighted Fourier restriction

abstract: It is shown that if $A \subseteq \mathbb{R}^3$ is a Borel set of Hausdorff dimension $\dim A \in (3/2,5/2)$, then for a.e. $\theta \in [0,2\pi)$ the projection $\pi_{\theta}(A)$ of $A$ onto the 2-dimensional plane orthogonal to $\frac{1}{\sqrt{2}}(\cos \theta, \sin \theta, 1)$ satisfies $\dim \pi_{\theta}(A) \geq \max\left\{\frac{4\dim A}{9} + \frac{5}{6},\frac{2\dim A+1}{3} \right\}$. This improves the bound of Oberlin and Oberlin, and of Orponen and Venieri, for $\dim A \in (3/2,5/2)$. More generally, a weaker lower bound is given for families of planes in $\mathbb{R}^3$ parametrised by curves in $S^2$ with nonvanishing geodesic curvature.


title: Novelty Detection and Learning from Extremely Weak Supervision

abstract: In this paper we offer a method and algorithm, which make possible fully autonomous (unsupervised) detection of new classes, and learning following a very parsimonious training priming (few labeled data samples only). Moreover, new unknown classes may appear at a later stage and the proposed xClass method and algorithm are able to successfully discover this and learn from the data autonomously. Furthermore, the features (inputs to the classifier) are automatically sub-selected by the algorithm based on the accumulated data density per feature per class. As a result, a highly efficient, lean, human-understandable, autonomously self-learning model (which only needs an extremely parsimonious priming) emerges from the data. To validate our proposal we tested it on two challenging problems, including imbalanced Caltech-101 data set and iRoads dataset. Not only we achieved higher precision, but, more significantly, we only used a single class beforehand, while other methods used all the available classes) and we generated interpretable models with smaller number of features used, through extremely weak and weak supervision.


title: Explicit Explore-Exploit Algorithms in Continuous State Spaces

abstract: We present a new model-based algorithm for reinforcement learning (RL) which consists of explicit exploration and exploitation phases, and is applicable in large or infinite state spaces. The algorithm maintains a set of dynamics models consistent with current experience and explores by finding policies which induce high disagreement between their state predictions. It then exploits using the refined set of models or experience gathered during exploration. We show that under realizability and optimal planning assumptions, our algorithm provably finds a near-optimal policy with a number of samples that is polynomial in a structural complexity measure which we show to be low in several natural settings. We then give a practical approximation using neural networks and demonstrate its performance and sample efficiency in practice.


title: Singular hyperbolicity of $C^1$ generic three dimensional vector fields

abstract: In the paper, we show that for a generic $C^1$ vector field $X$ on a closed three dimensional manifold $M$, any isolated transitive set of $X$ is singular hyperbolic. It is a partial answer of the conjecture in \cite{MP}.


title: BIMC: The Bayesian Inverse Monte Carlo method for goal-oriented uncertainty quantification. Part I

abstract: We consider the problem of estimating rare event probabilities, focusing on systems whose evolution is governed by differential equations with uncertain input parameters. If the system dynamics is expensive to compute, standard sampling algorithms such as the Monte Carlo method may require infeasible running times to accurately evaluate these probabilities. We propose an importance sampling scheme (which we call BIMC) that relies on solving an auxiliary, fictitious Bayesian inverse problem. The solution of the inverse problem yields a posterior PDF, a local Gaussian approximation to which serves as the importance sampling density. We apply BIMC to several problems and demonstrate that it can lead to computational savings of several orders of magnitude over the Monte Carlo method. We delineate conditions under which BIMC is optimal, as well as conditions when it can fail to yield an effective IS density.


title: Improved bounds on the size of the smallest representation of relation algebra $32_{65}$

abstract: In this paper, we shed new light on the spectrum of the relation algebra we call $A_{n}$, which is obtained by splitting the non-flexible diversity atom of $6_{7}$ into $n$ symmetric atoms. Precisely, we show that the minimum value in $\text{Spec}(A_{n})$ is at most $2n^{6 + o(1)}$, which is the first polynomial bound and improves upon the previous bound due to Dodd \& Hirsch (\textit{J. Relational Methods in Computer Science} 2013). We also improve the lower bound to $2n^{2} + 4n + 1$, which is asymptotically double the trivial bound of $n^{2} + 2n + 3$. In the process, we obtain stronger results regarding $\text{Spec}(A_{2}) =\text{Spec}(32_{65})$. Namely, we show that $1024$ is in the spectrum, and no number smaller than 26 is in the spectrum. Our improved lower bounds were obtained by employing a SAT solver, which suggests that such tools may be more generally useful in obtaining representation results.


title: WEIZZ: Automatic Grey-box Fuzzing for Structured Binary Formats

abstract: Fuzzing technologies have evolved at a fast pace in recent years, revealing bugs in programs with ever increasing depth and speed. Applications working with complex formats are however more difficult to take on, as inputs need to meet certain format-specific characteristics to get through the initial parsing stage and reach deeper behaviors of the program. Unlike prior proposals based on manually written format specifications, in this paper we present a technique to automatically generate and mutate inputs for unknown chunk-based binary formats. We propose a technique to identify dependencies between input bytes and comparison instructions, and later use them to assign tags that characterize the processing logic of the program. Tags become the building block for structure-aware mutations involving chunks and fields of the input. We show that our techniques performs comparably to structure-aware fuzzing proposals that require human assistance. Our prototype implementation WEIZZ revealed 16 unknown bugs in widely used programs.


title: Unsupervised Multi-Domain Multimodal Image-to-Image Translation with Explicit Domain-Constrained Disentanglement

abstract: Image-to-image translation has drawn great attention during the past few years. It aims to translate an image in one domain to a given reference image in another domain. Due to its effectiveness and efficiency, many applications can be formulated as image-to-image translation problems. However, three main challenges remain in image-to-image translation: 1) the lack of large amounts of aligned training pairs for different tasks; 2) the ambiguity of multiple possible outputs from a single input image; and 3) the lack of simultaneous training of multiple datasets from different domains within a single network. We also found in experiments that the implicit disentanglement of content and style could lead to unexpect results. In this paper, we propose a unified framework for learning to generate diverse outputs using unpaired training data and allow simultaneous training of multiple datasets from different domains via a single network. Furthermore, we also investigate how to better extract domain supervision information so as to learn better disentangled representations and achieve better image translation. Experiments show that the proposed method outperforms or is comparable with the state-of-the-art methods.


title: On-Device Machine Learning: An Algorithms and Learning Theory Perspective

abstract: The predominant paradigm for using machine learning models on a device is to train a model in the cloud and perform inference using the trained model on the device. However, with increasing number of smart devices and improved hardware, there is interest in performing model training on the device. Given this surge in interest, a comprehensive survey of the field from a device-agnostic perspective sets the stage for both understanding the state-of-the-art and for identifying open challenges and future avenues of research. However, on-device learning is an expansive field with connections to a large number of related topics in AI and machine learning (including online learning, model adaptation, one/few-shot learning, etc.). Hence, covering such a large number of topics in a single survey is impractical. This survey finds a middle ground by reformulating the problem of on-device learning as resource constrained learning where the resources are compute and memory. This reformulation allows tools, techniques, and algorithms from a wide variety of research areas to be compared equitably. In addition to summarizing the state-of-the-art, the survey also identifies a number of challenges and next steps for both the algorithmic and theoretical aspects of on-device learning.


title: Transitions between turbulent states in a two-dimensional shear flow

abstract: We study the bifurcations of the large scale jets in the turbulent regime of a forced shear flow using direct numerical simulations of the Navier-Stokes equations. The bifurcations are seen in the probability density function (PDF) of the largest scale mode with the control parameter being the Reynolds number based on the friction coefficient denoted as $Rh$. As one increases $Rh$ in the turbulent regime, the PDF of the large scale mode first bifurcates from a Gaussian to a bimodal behaviour, signifying the emergence of reversals of the large scale flow where the flow fluctuates between two distinct turbulent states. Further increase in $Rh$ leads to a bifurcation from bimodal to unimodal PDF which denotes the disappearance of the reversals of the largest scale mode. We attribute the latter transition to the long-time memory that the large scale flow exhibits related to low frequency $1/f^\alpha$ type of noise with $0 < \alpha < 2$. We also demonstrate that a minimal model with 15 modes, obtained from the truncated Euler equation, is able to capture the bifurcations of the large scale jets exhibited by the Navier-Stokes equations.


title: Automated Inline Analysis of Myocardial Perfusion MRI with Deep Learning

abstract: Recent development of quantitative myocardial blood flow (MBF) mapping allows direct evaluation of absolute myocardial perfusion, by computing pixel-wise flow maps. Clinical studies suggest quantitative evaluation would be more desirable for objectivity and efficiency. Objective assessment can be further facilitated by segmenting the myocardium and automatically generating reports following the AHA model. This will free user interaction for analysis and lead to a 'one-click' solution to improve workflow. This paper proposes a deep neural network based computational workflow for inline myocardial perfusion analysis. Adenosine stress and rest perfusion scans were acquired from three hospitals. Training set included N=1,825 perfusion series from 1,034 patients. Independent test set included 200 scans from 105 patients. Data were consecutively acquired at each site. A convolution neural net (CNN) model was trained to provide segmentation for LV cavity, myocardium and right ventricular by processing incoming 2D+T perfusion Gd series. Model outputs were compared to manual ground-truth for accuracy of segmentation and flow measures derived on global and per-sector basis. The trained models were integrated onto MR scanners for effective inference. Segmentation accuracy and myocardial flow measures were compared between CNN models and manual ground-truth. The mean Dice ratio of CNN derived myocardium was 0.93 +/- 0.04. Both global flow and per-sector values showed no significant difference, compared to manual results. The AHA 16 segment model was automatically generated and reported on the MR scanner. As a result, the fully automated analysis of perfusion flow mapping was achieved. This solution was integrated on the MR scanner, enabling 'one-click' analysis and reporting of myocardial blood flow.


title: Resolution quiver and cyclic homology criteria for Nakayama algebras

abstract: If a Nakayama algebra is not cyclic, it has finite global dimension. For a cyclic Nakayama algebra, there are many characterizations of when it has finite global dimension. In [She17], Shen gave such a characterization using Ringel's resolution quiver. In [IZ92], the second author, with Zacharia, gave a cyclic homology characterization for when a monomial relation algebra has finite global dimension. We show directly that these criteria are equivalent for all Nakayama algebras. Our comparison result also reproves both characterizations. In a separate paper we discuss an interesting example that came up in our attempt to generalize this comparison result to arbitrary monomial relation algebras [HI19].


title: Quadratic video interpolation

abstract: Video interpolation is an important problem in computer vision, which helps overcome the temporal limitation of camera sensors. Existing video interpolation methods usually assume uniform motion between consecutive frames and use linear models for interpolation, which cannot well approximate the complex motion in the real world. To address these issues, we propose a quadratic video interpolation method which exploits the acceleration information in videos. This method allows prediction with curvilinear trajectory and variable velocity, and generates more accurate interpolation results. For high-quality frame synthesis, we develop a flow reversal layer to estimate flow fields starting from the unknown target frame to the source frame. In addition, we present techniques for flow refinement. Extensive experiments demonstrate that our approach performs favorably against the existing linear models on a wide variety of video datasets.


title: Pulling back singularities of codimension one objects

abstract: We prove that the preimage of a germ of a singular analytic hypersurface under a germ of a finite holomorphic map $g: (\mathbb{C}^n,0) \rightarrow (\mathbb{C}^n,0)$ is again singular. This provides a generalization of previous results of this nature by Ebenfelt-Rothschild [Comm. Anal. Geom. 15 (2007), no. 2, 491-507], Lebl [arXiv:0812.2498], and Denkowski [Manuscripta Math. 149 (2016), no. 1-2, 83-91]. The same statement is proved for pullbacks of singular codimension one holomorphic foliations.


title: Collapse of the general circulation in shortwave-absorbing atmospheres: an idealized model study

abstract: The response of the general circulation in a dry atmosphere to various atmospheric shortwave absorptivities is investigated in a three-dimensional general circulation model with grey radiation. Shortwave absorption in the atmosphere reduces the incoming radiation reaching the surface but warms the upper atmosphere, significantly shifting the habitable zone toward the star. The strong stratification under high shortwave absorptivity suppresses the Hadley cell in a manner that matches previous Hadley cell scalings. General circulation changes may be observable through cloud coverage and superrotation. The equatorial superrotation in the upper atmosphere strengthens with the shortwave opacity, as predicted based on the gradient wind of the radiative-convective equilibrium profile. There is a sudden drop of equatorial superrotation at very low shortwave opacity. This is because the Hadley cell in those cases are strong enough to fill the entire troposphere with zero momentum air from the surface. A diurnal cycle (westward motion of substellar point relative to the planet) leads to acceleration of the equatorial westerlies in general, through the enhancement of the equatorward eddy momentum transport, but the response is not completely monotonic, perhaps due to the resonance of tropical waves and the diurnal forcing.


title: Predicting Weather Uncertainty with Deep Convnets

abstract: Modern weather forecast models perform uncertainty quantification using ensemble prediction systems, which collect nonparametric statistics based on multiple perturbed simulations. To provide accurate estimation, dozens of such computationally intensive simulations must be run. We show that deep neural networks can be used on a small set of numerical weather simulations to estimate the spread of a weather forecast, significantly reducing computational cost. To train the system, we both modify the 3D U-Net architecture and explore models that incorporate temporal data. Our models serve as a starting point to improve uncertainty quantification in current real-time weather forecasting systems, which is vital for predicting extreme events.


title: Stability and area growth of $\lambda$-hypersurfaces

abstract: In this paper, We define a $\mathcal{F}$-functional and study $\mathcal{F}$-stability of $\lambda$-hypersurfaces, which extend a result of Colding-Minicozzi. Lower bound growth and upper bound growth of area for complete and non-compact $\lambda$-hypersurfaces are studied.


title: FDDWNet: A Lightweight Convolutional Neural Network for Real-time Sementic Segmentation

abstract: This paper introduces a lightweight convolutional neural network, called FDDWNet, for real-time accurate semantic segmentation. In contrast to recent advances of lightweight networks that prefer to utilize shallow structure, FDDWNet makes an effort to design more deeper network architecture, while maintains faster inference speed and higher segmentation accuracy. Our network uses factorized dilated depth-wise separable convolutions (FDDWC) to learn feature representations from different scale receptive fields with fewer model parameters. Additionally, FDDWNet has multiple branches of skipped connections to gather context cues from intermediate convolution layers. The experiments show that FDDWNet only has 0.8M model size, while achieves 60 FPS running speed on a single RTX 2080Ti GPU with a 1024x512 input image. The comprehensive experiments demonstrate that our model achieves state-of-the-art results in terms of available speed and accuracy trade-off on CityScapes and CamVid datasets.


title: Fifth-order finite-difference scheme for Fokker-Planck equations with drift-admitting jumps

abstract: Recently a useful finite-difference scheme was proposed in [Phys. Rev. E 98, 033302 (2018)] to solve Fokker-Planck equations with drift-admitting jumps. However, while the scheme is fifth order for the case with smooth drifts, it is only second order for the case with discontinuous drifts. To rectify this, we propose in this paper an improved scheme that achieves a fifth-order convergence rate for the case with drift-admitting jumps. Numerical experiments are also employed to verify the validity of the scheme.


title: Statistics of VHE gamma-Rays in Temporal Association with Radio Giant Pulses from the Crab Pulsar

abstract: The aim of this study is to search for evidence of a common emission engine between radio giant pulses (GPs) and very-high-energy (VHE, E>100 GeV) gamma-rays from the Crab pulsar. 16 hours of simultaneous observations of the Crab pulsar at 1.4 GHz with the Effelsberg radio telescope and the Westerbork Synthesis Radio Telescope (WSRT), and at energies above 60 GeV with the Major Atmospheric Gamma-ray Imaging Cherenkov (MAGIC) telescopes were performed. We searched for a statistical correlation between the radio and VHE gamma-ray emission with search windows of different lengths and different time lags to the arrival times of a radio GP. A dedicated search for an enhancement in the number of VHE gamma-rays correlated with the occurrence of radio GPs was carried out separately for the P1 and P2 phase ranges respectively. 99444 radio GPs have been detected in the radio data sample. We find no significant correlation between the GPs and VHE photons in any of the search windows. Depending on phase cuts and the chosen search windows we find upper limits at 95% confidence level on an increase in VHE gamma-ray events correlated with radio GPs between 7% and 61% of the average Crab pulsar VHE flux for the P1 and P2 phase ranges respectively. This puts upper limits on the flux increase during a radio GP of 12% to 2900% (depending on search window duration and phase cuts) of the pulsed VHE flux. This is the most stringent upper limit on a correlation between gamma-ray emission and radio GPs reported so far.}


title: Automatic Calibration of Dual-LiDARs Using Two Poles Stickered with Retro-Reflective Tape

abstract: Multi-LiDAR systems have been prevalently applied in modern autonomous vehicles to render a broad view of the environments. The rapid development of 5G wireless technologies has brought a breakthrough for current cellular vehicle-to-everything (C-V2X) applications. Therefore, a novel localization and perception system in which multiple LiDARs are mounted around cities for autonomous vehicles has been proposed. However, the existing calibration methods require specific hard-to-move markers, ego-motion, or good initial values given by users. In this paper, we present a novel approach that enables automatic multi-LiDAR calibration using two poles stickered with retro-reflective tape. This method does not depend on prior environmental information, initial values of the extrinsic parameters, or movable platforms like a car. We analyze the LiDAR-pole model, verify the feasibility of the algorithm through simulation data, and present a simple method to measure the calibration errors w.r.t the ground truth. Experimental results demonstrate that our approach gains better flexibility and higher accuracy when compared with the state-of-the-art approach.


title: Cobordism bicycles of vector bundles

abstract: The main ingredient of the algebraic cobordism of M. Levine and F. Morel is a cobordism cycle of the form $(M \xrightarrow {h} X; L_1, \cdots, L_r)$ with a proper map $h$ from a smooth variety $M$ and line bundles $L_i$'s over $M$. In this paper we consider a \emph{cobordism bicycle} of a finite set of line bundles $(X \xleftarrow p V \xrightarrow s Y; L_1, \cdots, L_r)$ with a proper map $p$ and a smooth map $s$ and line bundles $L_i$'s over $V$. We will show that the Grothendieck group $\mathscr Z^*(X, Y)$ of the abelian monoid of the isomorphism classes of cobordism bicycles of finite sets of line bundles satisfies properties similar to those of Fulton-MacPherson's bivariant theory and also that $\mathscr Z^*(X, Y)$ is a \emph{universal} one among such abelian groups, i.e., for any abelian group $\mathscr B^*(X, Y)$ satisfying the same properties there exists a unique Grothendieck transformation $\gamma: \mathscr Z^*(X,Y) \to \mathscr B^*(X,Y)$ preserving the unit.


title: Sentence-Level BERT and Multi-Task Learning of Age and Gender in Social Media

abstract: Social media currently provide a window on our lives, making it possible to learn how people from different places, with different backgrounds, ages, and genders use language. In this work we exploit a newly-created Arabic dataset with ground truth age and gender labels to learn these attributes both individually and in a multi-task setting at the sentence level. Our models are based on variations of deep bidirectional neural networks. More specifically, we build models with gated recurrent units and bidirectional encoder representations from transformers (BERT). We show the utility of multi-task learning (MTL) on the two tasks and identify task-specific attention as a superior choice in this context. We also find that a single-task BERT model outperform our best MTL models on the two tasks. We report tweet-level accuracy of 51.43% for the age task (three-way) and 65.30% on the gender task (binary), both of which outperforms our baselines with a large margin. Our models are language-agnostic, and so can be applied to other languages.


title: Thompson Sampling for Contextual Bandit Problems with Auxiliary Safety Constraints

abstract: Recent advances in contextual bandit optimization and reinforcement learning have garnered interest in applying these methods to real-world sequential decision making problems. Real-world applications frequently have constraints with respect to a currently deployed policy. Many of the existing constraint-aware algorithms consider problems with a single objective (the reward) and a constraint on the reward with respect to a baseline policy. However, many important applications involve multiple competing objectives and auxiliary constraints. In this paper, we propose a novel Thompson sampling algorithm for multi-outcome contextual bandit problems with auxiliary constraints. We empirically evaluate our algorithm on a synthetic problem. Lastly, we apply our method to a real world video transcoding problem and provide a practical way for navigating the trade-off between safety and performance using Bayesian optimization.


title: A Generalized Rate-Distortion-${\lambda}$ Model Based HEVC Rate Control Algorithm

abstract: The High Efficiency Video Coding (HEVC/H.265) standard doubles the compression efficiency of the widely used H.264/AVC standard. For practical applications, rate control (RC) algorithms for HEVC need to be developed. Based on the R-Q, R-${\rho}$ or R-${\lambda}$ models, rate control algorithms aim at encoding a video clip/segment to a target bit rate accurately with high video quality after compression. Among the various models used by HEVC rate control algorithms, the R-${\lambda}$ model performs the best in both coding efficiency and rate control accuracy. However, compared with encoding with a fixed quantization parameter (QP), even the best rate control algorithm [1] still under-performs when comparing the video quality achieved at identical average bit rates. In this paper, we propose a novel generalized rate-distortion-${\lambda}$ (R-D-${\lambda}$) model for the relationship between rate (R), distortion (D) and the Lagrangian multiplier (${\lambda}$) in rate-distortion (RD) optimized encoding. In addition to the well designed hierarchical initialization and coefficient update scheme, a new model based rate allocation scheme composed of amortization, smooth window and consistency control is proposed for a better rate allocation. Experimental results implementing the proposed algorithm in the HEVC reference software HM-16.9 show that the proposed rate control algorithm is able to achieve an average of BDBR saving of 6.09%, 3.15% and 4.03% for random access (RA), low delay P (LDP) and low delay B (LDB) configurations respectively as compared with the R-${\lambda}$ model based RC algorithm [1] implemented in HM. The proposed algorithm also outperforms the state-of-the-art algorithms, while rate control accuracy and encoding speed are hardly impacted.


title: The Intrinsic Properties of Brain Based on the Network Structure

abstract: Objective: Brain is a fantastic organ that helps creature adapting to the environment. Network is the most essential structure of brain, but the capability of a simple network is still not very clear. In this study, we try to expound some brain functions only by the network property. Methods: Every network can be equivalent to a simplified network, which is expressed by an equation set. The dynamic of the equation set can be described by some basic equations, which is based on the mathematical derivation. Results (1) In a closed network, the stability is based on the excitatory/inhibitory synapse proportion. Spike probabilities in the assembly can meet the solution of a nonlinear equation set. (2) Network activity can spontaneously evolve into a certain distribution under different stimulation, which is closely related to decision making. (3) Short memory can be formed by coupling of network assemblies. Conclusion: The essential property of a network may contribute to some important brain functions.


title: Verma Modules for Restricted Quantum Groups at a Fourth Root of Unity

abstract: For a semisimple Lie algebra $\mathfrak{g}$ of rank $n$, let $\overline{U}_\zeta(\mathfrak{g})$ be the restricted quantum group of $\mathfrak{g}$ at a primitive fourth root of unity. This quantum group admits a natural Borel-induced representation $V({\boldsymbol{t}})$, with ${\boldsymbol{t}}\in(\mathbb{C}^\times)^n$ determined by a character on the Cartan subalgebra. Ohtsuki showed that for $\mathfrak{g}=\mathfrak{sl}_2$, the braid group representation determined by tensor powers of $V({\boldsymbol{t}})$ is the exterior algebra of the Burau representation. In this paper, we generalize the tensor decomposition of $V({\boldsymbol{t}})\otimes V({\boldsymbol{s}})$ used in Ohtsuki's proof to any semisimple $\mathfrak{g}$. Upon specializing to the $\mathfrak{sl}_3$ case, we describe all projective covers of $V({\boldsymbol{t}})$ in terms of induced representations. The above decomposition formula for $V({\boldsymbol{t}})\otimes V({\boldsymbol{s}})$ is then extended to more general $\boldsymbol{t}$ and $\boldsymbol{s}$ where these projective covers occur as indecomposable summands. We also define a stratification of $(\mathbb{C}^\times)^{4}$ whose points $({\boldsymbol{t}},{\boldsymbol{s}})$ in the lower strata are associated with representations $V({\boldsymbol{t}})\otimes V({\boldsymbol{s}})$ that do not have a homogeneous cyclic generator. With this information, we characterize under what conditions the isomorphism ${V({\boldsymbol{t}})\otimes V({\boldsymbol{s}})\cong V({\boldsymbol{\lambda t}})\otimes V({\boldsymbol{\lambda^{-1} s}})}$ holds.


title: NIM with Cash: A Concrete Approach

abstract: Let A be a finite subset of the naturals and let n be a natural. Let NIM(A;n) be the two player game in which players alternate removing $a\in A$ stones from a pile with $n$ stones; the first player who cannot move loses. This game has been researched thoroughly. We discuss a variant of NIM in which Player 1 and Player 2 start with d and e dollars, respectively. When a player removes a stones from the pile, he loses a dollars. The first player who cannot move loses, but this can now happen for two reasons: (1) The number of stones remaining is less than min(A), (2) The player has less than min(A) dollars. This game leads to much more interesting win conditions than regular NIM. We investigate general properties of this game. We then obtain and prove win conditions for the sets A={1,L} and $A={1,L,L+1}.


title: Credibility-based Fake News Detection

abstract: Fake news can significantly misinform people who often rely on online sources and social media for their information. Current research on fake news detection has mostly focused on analyzing fake news content and how it propagates on a network of users. In this paper, we emphasize the detection of fake news by assessing its credibility. By analyzing public fake news data, we show that information on news sources (and authors) can be a strong indicator of credibility. Our findings suggest that an author's history of association with fake news, and the number of authors of a news article, can play a significant role in detecting fake news. Our approach can help improve traditional fake news detection methods, wherein content features are often used to detect fake news.


title: On ab initio-based, free and closed-form expressions for gravitational waves

abstract: We introduce a new approach for finding high accuracy, free and closed-form expressions for the gravitational waves emitted by binary black hole collisions from ab initio models. More precisely, our expressions are built from numerical surrogate models based on supercomputer simulations of the Einstein equations, which have been shown to be essentially indistinguishable from each other. Distinct aspects of our approach are that: i) representations of the gravitational waves can be explicitly written in a few lines, ii) these representations are free-form yet still fast to search for and validate and iii) there are no underlying physical approximations in the underlying model. The key strategy is combining techniques from Artificial Intelligence and Reduced Order Modeling for parameterized systems. Namely, symbolic regression through genetic programming combined with sparse representations in parameter space and the time domain using Reduced Basis and the Empirical Interpolation Method enabling fast free-form symbolic searches and large-scale a posteriori validations. As a proof of concept we present our results for the collision of two black holes, initially without spin, and with an initial separation corresponding to $25-31$ gravitational wave cycles before merger. The minimum overlap, compared to ground truth solutions, is $99\%$. That is, $1\%$ difference between our closed-form expressions and supercomputer simulations; this is considered for gravitational (GW) science more than the minimum required due to experimental numerical errors which otherwise dominate. This paper aims to contribute to the field of GWs in particular and Artificial Intelligence in general.


title: Global Convergence of Gradient Descent for Deep Linear Residual Networks

abstract: We analyze the global convergence of gradient descent for deep linear residual networks by proposing a new initialization: zero-asymmetric (ZAS) initialization. It is motivated by avoiding stable manifolds of saddle points. We prove that under the ZAS initialization, for an arbitrary target matrix, gradient descent converges to an $\varepsilon$-optimal point in $O(L^3 \log(1/\varepsilon))$ iterations, which scales polynomially with the network depth $L$. Our result and the $\exp(\Omega(L))$ convergence time for the standard initialization (Xavier or near-identity) [Shamir, 2018] together demonstrate the importance of the residual structure and the initialization in the optimization for deep linear neural networks, especially when $L$ is large.


title: Seifert-Torres Type Formulas for the Alexander Polynomial from Quantum $\mathfrak{sl}_2$

abstract: We develop a diagrammatic calculus for representations of unrolled quantum $\mathfrak{sl}_2$ at a fourth root of unity. This allows us to prove Seifert-Torres type formulas for certain splice links using quantum algebraic methods, rather than topological methods. Other applications of this diagrammatic calculus given here are a skein relation for $n$-cabled double crossings and a simple proof that the quantum invariant associated with these representations determines the multivariable Alexander polynomial.


title: Invariant Radon measures and minimal sets for subgroups of $\text{Homeo}_+(\mathbb{R})$

abstract: Let $G$ be a subgroup of $\text{Homeo}_+(\mathbb{R})$ without crossed elements. We show the equivalence among three items: (1) existence of $G$-invariant Radon measures on $\mathbb R$; (2) existence of minimal closed subsets of $\mathbb R$; (3) nonexistence of infinite towers covering the whole line. For a nilpotent subgroup $G$ of $\text{Homeo}_+(\mathbb{R})$, we show that $G$ always has an invariant Radon measure and a minimal closed set if every element of $G$ is $C^{1+\alpha} (\alpha>0$); a counterexample of $C^1$ commutative subgroup of $\text{Homeo}_+(\mathbb{R})$ is constructed.


title: salmon: A Symbolic Linear Regression Package for Python

abstract: One of the most attractive features of R is its linear modeling capabilities. We describe a Python package, salmon, that brings the best of R's linear modeling functionality to Python in a Pythonic way -- by providing composable objects for specifying and fitting linear models. This object-oriented design also enables other features that enhance ease-of-use, such as automatic visualizations and intelligent model building.


title: Deep learning of ultrafast pulses with a multimode fiber

abstract: Characterizing ultrashort optical pulses has always been a critical but difficult task, which has a broad range of applications. We propose and demonstrate a self-referenced method of characterizing ultrafast pulses with a multimode fiber. The linear and nonlinear speckle patterns formed at the distal end of a multimode fiber are used to recover the spectral amplitude and phase of an unknown pulse. We deploy a deep learning algorithm for phase recovery. The diversity of spatial and spectral modes in a multimode fiber removes any ambiguity in the sign of the recovered spectral phase. Our technique allows for single-shot pulse characterization in a simple experimental setup. This work reveals the potential of multimode fibers as a versatile and multi-functional platform for optical sensing.


title: Automatic Detection of Generated Text is Easiest when Humans are Fooled

abstract: Recent advancements in neural language modelling make it possible to rapidly generate vast amounts of human-sounding text. The capabilities of humans and automatic discriminators to detect machine-generated text have been a large source of research interest, but humans and machines rely on different cues to make their decisions. Here, we perform careful benchmarking and analysis of three popular sampling-based decoding strategies---top-$k$, nucleus sampling, and untruncated random sampling---and show that improvements in decoding methods have primarily optimized for fooling humans. This comes at the expense of introducing statistical abnormalities that make detection easy for automatic systems. We also show that though both human and automatic detector performance improve with longer excerpt length, even multi-sentence excerpts can fool expert human raters over 30% of the time. Our findings reveal the importance of using both human and automatic detectors to assess the humanness of text generation systems.


title: Study of instability of the Fourier split-step method for the massive Gross--Neveu model

abstract: Stability properties of the well-known Fourier split-step method used to simulate a soliton and similar solutions of the nonlinear Dirac equations, known as the Gross--Neveu model, are studied numerically and analytically. Three distinct types of numerical instability that can occur in this case, are revealed and explained. While one of these types can be viewed as being related to the numerical instability occurring in simulations of the nonlinear Schr\"odinger equation, the other two types have not been studied or identified before, to the best of our knowledge. These two types of instability are {\em unconditional}, i.e. occur for arbitrarily small values of the time step. They also persist in the continuum limit, i.e. for arbitrarily fine spatial discretization. Moreover, one of them persists in the limit of an infinitely large computational domain. It is further demonstrated that similar instabilities also occur for other numerical methods applied to the Gross--Neveu soliton, as well as to certain solitons of another relativistic field theory model, the massive Thirring.


title: DeepBlindness: Fast Blindness Map Estimation and Blindness Type Classification for Outdoor Scene from Single Color Image

abstract: Outdoor vision robotic systems and autonomous cars suffer from many image-quality issues, particularly haze, defocus blur, and motion blur, which we will define generically as "blindness issues". These blindness issues may seriously affect the performance of robotic systems and could lead to unsafe decisions being made. However, existing solutions either focus on one type of blindness only or lack the ability to estimate the degree of blindness accurately. Besides, heavy computation is needed so that these solutions cannot run in real-time on practical systems. In this paper, we provide a method which could simultaneously detect the type of blindness and provide a blindness map indicating to what degree the vision is limited on a pixel-by-pixel basis. Both the blindness type and the estimate of per-pixel blindness are essential for tasks like deblur, dehaze, or the fail-safe functioning of robotic systems. We demonstrate the effectiveness of our approach on the KITTI and CUHK datasets where experiments show that our method outperforms other state-of-the-art approaches, achieving speeds of about 130 frames per second (fps).


title: Non-local Order Parameters and Quantum Entanglement for Fermionic Topological Field Theories

abstract: We study quantized non-local order parameters, constructed by using partial time-reversal and partial reflection, for fermionic topological phases of matter in one spatial dimension protected by an orientation reversing symmetry, using topological quantum field theories (TQFTs). By formulating the order parameters in the Hilbert space of state sum TQFT, we establish the connection between the quantized non-local order parameters and the underlying field theory, clarifying the nature of the order parameters as topological invariants. We also formulate several entanglement measures including the entanglement negativity on state sum spin TQFT, and describe the exact correspondence of the entanglement measures to path integrals on a closed surface equipped with a specific spin structure.


title: Physical Model of Dust Polarization by Radiative Torque Alignment and Disruption and Implications for Grain Internal Structures

abstract: Dust polarization depends on the physical and mechanical properties of dust, as well as the properties of local environments. To understand how dust polarization varies with grain mechanical properties and the local environment, in this paper, we model the wavelength-dependence polarization of starlight and polarized dust emission by aligned grains by simultaneously taking into account grain alignment and rotational disruption by radiative torques (RATs). We explore a wide range of the local radiation field and grain mechanical properties characterized by tensile strength. We find that the maximum polarization and the peak wavelength shift to shorter wavelengths as the radiation strength $U$ increases due to the enhanced alignment of small grains. Grain rotational disruption by RATs tends to decrease the optical-near infrared polarization but increases the ultraviolet polarization of starlight due to the conversion of large grains into smaller ones. In particular, we find that the submillimeter (submm) polarization degree at $850~\mu \rm m$ ($P_{850}$) does not increase monotonically with the radiation strength or grain temperature ($T_{d}$), but it depends on the tensile strength of grain materials. Our physical model of dust polarization can be tested with observations toward star-forming regions or molecular clouds irradiated by a nearby star, which have higher radiation intensity than the average interstellar radiation field. Finally, we compare our predictions of the $P_{850}-T_{d}$ relationship with {\it Planck} data and find that the observed decrease of $P_{850}$ with $T_{d}$ can be explained when grain disruption by RATs is accounted for, suggesting that interstellar grains unlikely to have a compact structure but perhaps a composite one. The variation of the submm polarization with U (or $T_{d}$) can provide a valuable constraint on the internal structures of cosmic dust.


title: A Method for Identifying Origin of Digital Images Using a Convolution Neural Network

abstract: The rapid development of deep learning techniques has created new challenges in identifying the origin of digital images because generative adversarial networks and variational autoencoders can create plausible digital images whose contents are not present in natural scenes. In this paper, we consider the origin that can be broken down into three categories: natural photographic image (NPI), computer generated graphic (CGG), and deep network generated image (DGI). A method is presented for effectively identifying the origin of digital images that is based on a convolutional neural network (CNN) and uses a local-to-global framework to reduce training complexity. By feeding labeled data, the CNN is trained to predict the origin of local patches cropped from an image. The origin of the full-size image is then determined by majority voting. Unlike previous forensic methods, the CNN takes the raw pixels as input without the aid of "residual map". Experimental results revealed that not only the high-frequency components but also the middle-frequency ones contribute to origin identification. The proposed method achieved up to 95.21% identification accuracy and behaved robustly against several common post-processing operations including JPEG compression, scaling, geometric transformation, and contrast stretching. The quantitative results demonstrate that the proposed method is more effective than handcrafted feature-based methods.


title: An ultra-wide bandwidth (704 to 4032 MHz) receiver for the Parkes radio telescope

abstract: We describe an ultra-wide-bandwidth, low-frequency receiver ("UWL") recently installed on the Parkes radio telescope. The receiver system provides continuous frequency coverage from 704 to 4032 MHz. For much of the band (~60%) the system temperature is approximately 22K and the receiver system remains in a linear regime even in the presence of strong mobile phone transmissions. We discuss the scientific and technical aspects of the new receiver including its astronomical objectives, as well as the feed, receiver, digitiser and signal-processor design. We describe the pipeline routines that form the archive-ready data products and how those data files can be accessed from the archives. The system performance is quantified including the system noise and linearity, beam shape, antenna efficiency, polarisation calibration and timing stability.


title: Experimental Aspects of Jet Physics at a Future EIC

abstract: In this work, we present an overview of experimental considerations relevant to the utilization of jets at a future Electron-Ion Collider (EIC), a subject which has been largely overlooked up to this point. A comparison of jet-finding algorithms and resolution parameters is presented along with a detailed analysis of basic jet quantities, such as multiplicities and kinematic distributions. A characterization of the energy in the event not associated with a jet is also made. In addition, detector requirements and the effects of realistic detector resolutions are discussed. Finally, an example analysis is presented in which dijets are used to access the gluon helicity contribution to the spin of the proton.


title: Global Adaptive Generative Adjustment

abstract: Many traditional signal recovery approaches can behave well basing on the penalized likelihood. However, they have to meet with the difficulty in the selection of hyperparameters or tuning parameters in the penalties. In this article, we propose a global adaptive generative adjustment (GAGA) algorithm for signal recovery, in which multiple hyperpameters are automatically learned and alternatively updated with the signal. We further prove that the output of our algorithm directly guarantees the consistency of model selection and signal estimate. Moreover, we also propose a variant GAGA algorithm for improving the computational efficiency in the high-dimensional data analysis. Finally, in the simulated experiment, we consider the consistency of the outputs of our algorithms, and compare our algorithms to other penalized likelihood methods: the Adaptive LASSO, the SCAD and the MCP. The simulation results support the efficiency of our algorithms for signal recovery, and demonstrate that our algorithms outperform the other algorithms.


title: Jacobi-type algorithm for low rank orthogonal approximation of symmetric tensors and its convergence analysis

abstract: In this paper, we propose a Jacobi-type algorithm to solve the low rank orthogonal approximation problem of symmetric tensors. This algorithm includes as a special case the well-known Jacobi CoM2 algorithm for the approximate orthogonal diagonalization problem of symmetric tensors. We first prove the weak convergence of this algorithm, \textit{i.e.} any accumulation point is a stationary point. Then we study the global convergence of this algorithm under a gradient based ordering for a special case: the best rank-2 orthogonal approximation of 3rd order symmetric tensors, and prove that an accumulation point is the unique limit point under some conditions. Numerical experiments are presented to show the efficiency of this algorithm.


title: Security of Facial Forensics Models Against Adversarial Attacks

abstract: Deep neural networks (DNNs) have been used in digital forensics to identify fake facial images. We investigated several DNN-based forgery forensics models (FFMs) to examine whether they are secure against adversarial attacks. We experimentally demonstrated the existence of individual adversarial perturbations (IAPs) and universal adversarial perturbations (UAPs) that can lead a well-performed FFM to misbehave. Based on iterative procedure, gradient information is used to generate two kinds of IAPs that can be used to fabricate classification and segmentation outputs. In contrast, UAPs are generated on the basis of over-firing. We designed a new objective function that encourages neurons to over-fire, which makes UAP generation feasible even without using training data. Experiments demonstrated the transferability of UAPs across unseen datasets and unseen FFMs. Moreover, we conducted subjective assessment for imperceptibility of the adversarial perturbations, revealing that the crafted UAPs are visually negligible. These findings provide a baseline for evaluating the adversarial security of FFMs.


title: Niederreiter cryptosystems using quasi-cyclic codes that resist quantum Fourier sampling

abstract: McEliece and Niederreiter cryptosystems are robust and versatile cryptosystems. These cryptosystems work with many linear error-correcting codes. They are popular these days because they can be quantum-secure. In this paper, we study the Niederreiter cryptosystem using non-binary quasi-cyclic codes. We prove, if these quasi-cyclic codes satisfy certain conditions, the corresponding Niederreiter cryptosystem is resistant to the hidden subgroup problem using weak quantum Fourier sampling. Though our work uses the weak Fourier sampling, we argue that its conclusions should remain valid for the strong Fourier sampling as well.


title: On one application of the Zigmund-Marczinkevich theorem

abstract: In this paper we aim to generalize results obtained in the framework of fractional calculus by the way of reformulating them in terms of operator theory. In its own turn, the achieved generalization allows us to spread the obtained technique on practical problems that connected with various physical - chemical processes.


title: Furniture Free Mapping using 3D Lidars

abstract: Mobile robots depend on maps for localization, planning, and other applications. In indoor scenarios, there is often lots of clutter present, such as chairs, tables, other furniture, or plants. While mapping this clutter is important for certain applications, for example navigation, maps that represent just the immobile parts of the environment, i.e. walls, are needed for other applications, like room segmentation or long-term localization. In literature, approaches can be found that use a complete point cloud to remove the furniture in the room and generate a furniture free map. In contrast, we propose a Simultaneous Localization And Mapping (SLAM)-based mobile laser scanning solution. The robot uses an orthogonal pair of Lidars. The horizontal scanner aims to estimate the robot position, whereas the vertical scanner generates the furniture free map. There are three steps in our method: point cloud rearrangement, wall plane detection and semantic labeling. In the experiment, we evaluate the efficiency of removing furniture in a typical indoor environment. We get $99.60\%$ precision in keeping the wall in the 3D result, which shows that our algorithm can remove most of the furniture in the environment. Furthermore, we introduce the application of 2D furniture free mapping for room segmentation.


title: Representation of equatorial waves by a single scalar field and the effect of the horizontal component of the Earth's rotation

abstract: A new representation for equatorial waves in terms of a single scalar field is used to demonstrate the influence of the (usually neglected) horizontal component of the earth's rotation vector $\boldsymbol{\vec\Omega}$ on the dispersion of the waves. It is shown that, in the case of constant Brunt-V\"ais\"al\"a frequency $N$, the dispersion relation is unaltered when the horizontal component of $\boldsymbol{\vec\Omega}$ is included.


title: Chat-Bot-Kit: A web-based tool to simulate text-based interactions between humans and with computers

abstract: In this paper, we describe Chat-Bot-Kit, a web-based tool for text-based chats that we designed for research purposes in computer-mediated communication (CMC). Chat-Bot-Kit enables to carry out language studies on text-based real-time chats for the purpose of research: The generated messages are structured with language performance data such as pause and speed of keyboard-handling and the movement of the mouse. The tool provides two modes of chat communications - quasi-synchron and synchron modes - and various typing indicators. The tool is also designed to be used in wizard-of-oz studies in Human-Computer Interaction (HCI) and for the evaluation of chatbots (dialogue systems) in Natural Language Processing (NLP).


title: Progressive Sample Mining and Representation Learning for One-Shot Person Re-identification with Adversarial Samples

abstract: In this paper, we aim to tackle the one-shot person re-identification problem where only one image is labelled for each person, while other images are unlabelled. This task is challenging due to the lack of sufficient labelled training data. To tackle this problem, we propose to iteratively guess pseudo labels for the unlabeled image samples, which are later used to update the re-identification model together with the labelled samples. A new sampling mechanism is designed to select unlabeled samples to pseudo labelled samples based on the distance matrix, and to form a training triplet batch including both labelled samples and pseudo labelled samples. We also design an HSoften-Triplet-Loss to soften the negative impact of the incorrect pseudo label, considering the unreliable nature of pseudo labelled samples. Finally, we deploy an adversarial learning method to expand the image samples to different camera views. Our experiments show that our framework achieves a new state-of-the-art one-shot Re-ID performance on Market-1501 (mAP 42.7%) and DukeMTMC-Reid dataset (mAP 40.3%). Code will be available soon.


title: A two-dimensional propensity score matching method for longitudinal quasi-experimental studies: A focus on travel behavior and the built environment

abstract: The lack of longitudinal studies of the relationship between the built environment and travel behavior has been widely discussed in the literature. This paper discusses how standard propensity score matching estimators can be extended to enable such studies by pairing observations across two dimensions: longitudinal and cross-sectional. Researchers mimic randomized controlled trials (RCTs) and match observations in both dimensions, to find synthetic control groups that are similar to the treatment group and to match subjects synthetically across before-treatment and after-treatment time periods. We call this a two-dimensional propensity score matching (2DPSM). This method demonstrates superior performance for estimating treatment effects based on Monte Carlo evidence. A near-term opportunity for such matching is identifying the impact of transportation infrastructure on travel behavior.


title: $H_{\infty}$ Optimal Control of Jump Systems Over Multiple Lossy Communication Channels

abstract: In this paper, we consider the $H_{\infty}$ optimal control problem for a Markovian jump linear system (MJLS) over a lossy communication network. It is assumed that the controller communicates with each actuator through a different communication channel. We solve the $H_{\infty}$ optimization problem for a Transmission Control Protocol (TCP) using the theory of dynamic games and obtain a state-feedback controller. The infinite horizon $H_{\infty}$ optimization problem is analyzed as a limiting case of the finite horizon optimization problem. Then, we obtain the corresponding state-feedback controller, and show that it stabilizes the closed-loop system in the face of random packet dropouts.


title: Convergence results and low order rates for nonlinear Tikhonov regularization with oversmoothing penalty term

abstract: For the Tikhonov regularization of ill-posed nonlinear operator equations, convergence is studied in a Hilbert scale setting. We include the case of oversmoothing penalty terms, which means that the exact solution does not belong to the domain of definition of the considered penalty functional. In this case, we try to close a gap in the present theory, where H\"older-type convergence rates results have been proven under corresponding source conditions, but assertions on norm convergence of regularized solutions without source conditions are completely missing. A result of the present work is to provide sufficient conditions for convergence under a priori and a posteriori regularization parameter choice strategies, without any additional smoothness assumption on the solution. The obtained error estimates moreover allow us to prove low order convergence rates under associated (for example logarithmic) source conditions. Some numerical illustrations are also given.


title: Single-Particle Structure of Neutron-Rich Sr Isotopes Via d( 94,95,96 Sr, p) Reactions

abstract: The region around neutron number N = 60 in the neutron-rich Sr and Zr nuclei is one of the most dramatic examples of a ground state shape transition from (near) spherical below N = 60 to strongly deformed shapes in the heavier isotopes. The single-particle structure of 95-97Sr approaching the ground state shape transition at 98 Sr has been investigated via single-neutron transfer reactions using the (d, p) reaction in inverse kinematics. These reactions selectively populate states with a large overlap of the projectile ground state coupled to a neutron in a single-particle orbital. Radioactive 94,95,96Sr nuclei with energies of 5.5 AMeV were used to bombard a CD 2 target. Recoiling light charged particles and {\gamma} rays were detected using a quasi-4{\pi} silicon strip detector array and a 12 element Ge array. The excitation energy of states populated was reconstructed employing the missing mass method combined with {\gamma}-ray tagging and differential cross sections for final states were extracted. A reaction model analysis of the angular distributions allowed for firm spin assignments to be made for the low-lying 352, 556 and 681 keV excited states in 95Sr and a constraint has been placed on the spin of the higher-lying 1666 keV state. Angular distributions have been extracted for 10 states populated in the d(95Sr,p)96Sr reaction, and constraints have been provided for the spins and parities of several final states. Results are compared to shell model calculations in several model spaces and the structure of low-lying states in 94Sr and 95Sr is well-described. The spectroscopic strength of the 0+ and 2 states in 96Sr is significantly more fragmented than predicted.


title: Observation of a vector charmoniumlike state in $e^+e^- \to D^+_sD_{s1}(2536)^-+c.c.$

abstract: Using a data sample of 921.9 fb$^{-1}$ collected with the Belle detector, we study the process of $e^+e^-\to D^+_sD_{s1}(2536)^-+c.c.$ via initial-state radiation. We report the first observation of a vector charmoniumlike state decaying to $D^+_sD_{s1}(2536)^-+c.c.$ with a significance of 5.9$\sigma$, including the systematic uncertainties. The measured mass and width are $(4625.9^{+6.2}_{-6.0}({\rm stat.})\pm0.4({\rm syst.}))~{\rm MeV}/c^{2}$ and $(49.8^{+13.9}_{-11.5}({\rm stat.})\pm4.0({\rm syst.}))~{\rm MeV}$, respectively. The product of the $e^+e^-\to D^+_sD_{s1}(2536)^-+c.c.$ cross section and the branching fraction of $D_{s1}(2536)^-\to{\bar D}^{*0}K^-$ is measured from the $D_s \bar{D}_{s1}(2536)$ threshold to 5.59~GeV.


title: Scaling limit for stochastic control problems in population dynamics

abstract: Going from a scaling approach for birth/death processes, we investigate the scaling limit of solutions to non-Markovian stochastic control problems by studying the convergence of solutions to BSDEs driven a sequence of converging martingales. In particular we manage to describe how the values and optimal controls of control problems converge when the models converge towards a continuous population model.


title: Domain Fingerprints for No-reference Image Quality Assessment

abstract: Human fingerprints are detailed and nearly unique markers of human identity. Such a unique and stable fingerprint is also left on each acquired image. It can reveal how an image was degraded during the image acquisition procedure and thus is closely related to the quality of an image. In this work, we propose a new no-reference image quality assessment (NR-IQA) approach called domain-aware IQA (DA-IQA), which for the first time introduces the concept of domain fingerprint to the NR-IQA field. The domain fingerprint of an image is learned from image collections of different degradations and then used as the unique characteristics to identify the degradation sources and assess the quality of the image. To this end, we design a new domain-aware architecture, which enables simultaneous determination of both the distortion sources and the quality of an image. With the distortion in an image better characterized, the image quality can be more accurately assessed, as verified by extensive experiments, which show that the proposed DA-IQA performs better than almost all the compared state-of-the-art NR-IQA methods.


title: On Modelling Label Uncertainty in Deep Neural Networks: Automatic Estimation of Intra-observer Variability in 2D Echocardiography Quality Assessment

abstract: Uncertainty of labels in clinical data resulting from intra-observer variability can have direct impact on the reliability of assessments made by deep neural networks. In this paper, we propose a method for modelling such uncertainty in the context of 2D echocardiography (echo), which is a routine procedure for detecting cardiovascular disease at point-of-care. Echo imaging quality and acquisition time is highly dependent on the operator's experience level. Recent developments have shown the possibility of automating echo image quality quantification by mapping an expert's assessment of quality to the echo image via deep learning techniques. Nevertheless, the observer variability in the expert's assessment can impact the quality quantification accuracy. Here, we aim to model the intra-observer variability in echo quality assessment as an aleatoric uncertainty modelling regression problem with the introduction of a novel method that handles the regression problem with categorical labels. A key feature of our design is that only a single forward pass is sufficient to estimate the level of uncertainty for the network output. Compared to the $0.11 \pm 0.09$ absolute error (in a scale from 0 to 1) archived by the conventional regression method, the proposed method brings the error down to $0.09 \pm 0.08$, where the improvement is statistically significant and equivalents to $5.7\%$ test accuracy improvement. The simplicity of the proposed approach means that it could be generalized to other applications of deep learning in medical imaging, where there is often uncertainty in clinical labels.


title: ProbMinHash -- A Class of Locality-Sensitive Hash Algorithms for the (Probability) Jaccard Similarity

abstract: The probability Jaccard similarity was recently proposed as a natural generalization of the Jaccard similarity to measure the proximity of sets whose elements are associated with relative frequencies or probabilities. In combination with a hash algorithm that maps those weighted sets to compact signatures which allow fast estimation of pairwise similarities, it constitutes a valuable method for big data applications such as near-duplicate detection, nearest neighbor search, or clustering. This paper introduces a class of one-pass locality-sensitive hash algorithms that are orders of magnitude faster than the original approach. The performance gain is achieved by calculating signature components not independently, but collectively. Four different algorithms are proposed based on this idea. Two of them are statistically equivalent to the original approach and can be used as drop-in replacements. The other two may even improve the estimation error by introducing statistical dependence between signature components. Moreover, the presented techniques can be specialized for the conventional Jaccard similarity, resulting in highly efficient algorithms that outperform traditional minwise hashing and that are able to compete with the state of the art.


title: High-efficiency and high-power single-frequency fiber laser at 1.6 um based on cascaded energy-transfer pumping

abstract: In this paper, a technique combing cascaded energy-transfer pumping (CEP) method and master-oscillator power-amplifier (MOPA) configuration is proposed for power scaling of 1.6-um-band single-frequency fiber lasers (SFFLs), where the Er3+ ion has a limited gain. The CEP technique is fulfilled by coupling a primary signal light at 1.6 um and a C-band auxiliary laser. The numerical model of the fiber amplifier with the CEP technique reveals that the energy transfer process involves the pump competition and the in-band particle transition between the signal and auxiliary lights. Moreover, for the signal emission, the population density in the upper level is enhanced and the effective population inversion is achieved due to the CEP. A single-frequency MOPA laser at 1603 nm with an output power of 52.6 W is obtained experimentally. Besides, a slope efficiency of 30.4% is improved by more than 10% through the CEP technique. Both the output power and slope efficiency are by far the highest for 1.6-um-band SFFLs. Meanwhile, a laser linewidth of 5.2 kHz and a polarization-extinction ratio of ~18 dB are obtained at the maximum output power. The proposed technique provides an optional method of increasing the slope efficiency and power scaling for fiber lasers operating at L-band.


title: Fairness Violations and Mitigation under Covariate Shift

abstract: We study the problem of learning fair prediction models for unseen test sets distributed differently from the train set. Stability against changes in data distribution is an important mandate for responsible deployment of models. The domain adaptation literature addresses this concern, albeit with the notion of stability limited to that of prediction accuracy. We identify sufficient conditions under which stable models, both in terms of prediction accuracy and fairness, can be learned. Using the causal graph describing the data and the anticipated shifts, we specify an approach based on feature selection that exploits conditional independencies in the data to estimate accuracy and fairness metrics for the test set. We show that for specific fairness definitions, the resulting model satisfies a form of worst-case optimality. In context of a healthcare task, we illustrate the advantages of the approach in making more equitable decisions.


title: 3D tissue reconstruction with Kinect to evaluate neck lymphedema

abstract: Lymphedema is a condition of localized tissue swelling caused by a damaged lymphatic system. Therapy to these tissues is applied manually. Some of the methods are lymph drainage, compression therapy or bandaging. However, the therapy methods are still insufficiently evaluated. Especially, because of not having a reliable method to measure the change of such a soft and flexible tissue. In this research, our goal has been providing a 3d computer vision based method to measure the changes of the neck tissues. To do so, we used Kinect as a depth sensor and built our algorithms for the point cloud data acquired from this sensor. The resulting 3D models of the patient necks are used for comparing the models in time and measuring the volumetric changes accurately. Our discussions with the medical doctors validate that, when used in practice this approach would be able to give better indication on which therapy method is helping and how the tissue is changing in time.


title: Cooperative Semantic Segmentation and Image Restoration in Adverse Environmental Conditions

abstract: Most state-of-the-art semantic segmentation approaches only achieve high accuracy in good conditions. In practically-common but less-discussed adverse environmental conditions, their performance can decrease enormously. Existing studies usually cast the handling of segmentation in adverse conditions as a separate post-processing step after signal restoration, making the segmentation performance largely depend on the quality of restoration. In this paper, we propose a novel deep-learning framework to tackle semantic segmentation and image restoration in adverse environmental conditions in a holistic manner. The proposed approach contains two components: Semantically-Guided Adaptation, which exploits semantic information from degraded images to refine the segmentation; and Exemplar-Guided Synthesis, which restores images from semantic label maps given degraded exemplars as the guidance. Our method cooperatively leverages the complementarity and interdependence of low-level restoration and high-level segmentation in adverse environmental conditions. Extensive experiments on various datasets demonstrate that our approach can not only improve the accuracy of semantic segmentation with degradation cues, but also boost the perceptual quality and structural similarity of image restoration with semantic guidance.


title: Measures and stabilizers of group Cantor actions

abstract: We consider a minimal equicontinuous action of a finitely generated group $G$ on a Cantor set $X$ with invariant probability measure $\mu$, and stabilizers of points for such an action. We give sufficient conditions under which there exists a subgroup $H$ of $G$ such that the set of points in $X$ whose stabilizers are conjugate to $H$ has full measure. The conditions are that the action is locally quasi-analytic and locally non-degenerate. An action is locally quasi-analytic if its elements have unique extensions on subsets of uniform diameter. The condition that the action is locally non-degenerate is introduced in this paper. We apply our results to study the properties of invariant random subgroups induced by minimal equicontinuous actions on Cantor sets and to certain almost one-to-one extensions of equicontinuous actions.


title: Machine Translation Evaluation using Bi-directional Entailment

abstract: In this paper, we propose a new metric for Machine Translation (MT) evaluation, based on bi-directional entailment. We show that machine generated translation can be evaluated by determining paraphrasing with a reference translation provided by a human translator. We hypothesize, and show through experiments, that paraphrasing can be detected by evaluating entailment relationship in the forward and backward direction. Unlike conventional metrics, like BLEU or METEOR, our approach uses deep learning to determine the semantic similarity between candidate and reference translation for generating scores rather than relying upon simple n-gram overlap. We use BERT's pre-trained implementation of transformer networks, fine-tuned on MNLI corpus, for natural language inferencing. We apply our evaluation metric on WMT'14 and WMT'17 dataset to evaluate systems participating in the translation task and find that our metric has a better correlation with the human annotated score compared to the other traditional metrics at system level.