title: Practical implementation of a quantum backtracking algorithm

abstract: In previous work, Montanaro presented a method to obtain quantum speedups for backtracking algorithms, a general meta-algorithm to solve constraint satisfaction problems (CSPs). In this work, we derive a space efficient implementation of this method. Assume that we want to solve a CSP with $m$ constraints on $n$ variables and that the union of the domains in which these variables take their value is of cardinality $d$. Then, we show that the implementation of Montanaro's backtracking algorithm can be done by using $O(n \log d)$ data qubits. We detail an implementation of the predicate associated to the CSP with an additional register of $O(\log m)$ qubits. We explicit our implementation for graph coloring and SAT problems, and present simulation results. Finally, we discuss the impact of the usage of static and dynamic variable ordering heuristics in the quantum setting.


title: The local-to-global property for Morse quasi-geodesics

abstract: We show the mapping class group, CAT(0) groups, the fundamental groups of closed 3-manifolds, and certain relatively hyperbolic groups have a local-to-global property for Morse quasi-geodesics. This allows us to generalize combination theorems of Gitik for quasiconvex subgroups of hyperbolic groups to the stable subgroups of these groups. In the case of the mapping class group, this gives combination theorems for convex cocompact subgroups. We show a number of additional consequences of this local-to-global property, including a Cartan-Hadamard type theorem for detecting hyperbolicity locally and discreteness of translation length of conjugacy classes of Morse elements with a fixed gauge. To prove the relatively hyperbolic case, we develop a theory of deep points for local quasi-geodesics in relatively hyperbolic spaces, extending work of Hruska.


title: Role of correlation integrals in helical isotropic turbulence

abstract: It is shown that the correlation integrals (invariants) play an important, and at certain conditions a dominant, role in helical isotropic homogeneous turbulence both in the inertial and near-dissipation ranges. Results of direct numerical simulations and recent laboratory experiments with multiscale grids have been used for this purpose. A possibility of spontaneous breaking of reflection symmetry has been also briefly discussed in this context.


title: Relaxation of the Cahn-Hilliard equation with singular single-well potential and degenerate mobility

abstract: The degenerate Cahn-Hilliard equation is a standard model to describe living tissues. It takes into account cell populations undergoing short-range attraction and long-range repulsion effects. In this framework, we consider the usual Cahn-Hilliard equation with a singular single-well potential and degenerate mobility. These degeneracy and singularity induce numerous difficulties, in particular for its numerical simulation. To overcome these issues, we propose a relaxation system formed of two second order equations which can be solved with standard packages. This system is endowed with an energy and an entropy structure compatible with the limiting equation. Here, we study the theoretical properties of this system; global existence and convergence of the relaxed system to the degenerate Cahn-Hilliard equation. We also study the long-time asymptotics which interest relies on the numerous possible steady states with given mass.


title: Reconciling different formulations of viscous water waves and their mass conservation

abstract: The viscosity of water induces a vorticity near the free surface boundary. The resulting rotational component of the fluid velocity vector greatly complicates the water wave system. Several approaches to close this system have been proposed. Our analysis compares three common sets of model equations. The first set has a rotational kinematic boundary condition at the surface. In the second set, a gauge choice for the velocity vector is made that cancels the rotational contribution in the kinematic boundary condition, at the cost of rotational velocity in the bulk and a rotational pressure. The third set circumvents the problem by introducing two domains: the irrotational bulk and the vortical boundary layer. This comparison puts forward the link between rotational pressure on the surface and vorticity in the boundary layer, addresses the existence of nonlinear vorticity terms, and shows where approximations have been used in the models. Furthermore, we examine the conservation of mass for the three systems, and how this can be compared to the irrotational case.


title: Ranking graphs through Markov chains and hitting times

abstract: In the present paper we show that for any given digraph $\mathbb{G} =([n], \vec{E})$, i.e. an oriented graph without self-loops and 2-cycles, one can construct a 1-dependent Markov chain and $n$ identically distributed hitting times $T_1, \ldots , T_n $ on this chain such that the probability of the event $T_i > T_j $, for any $i, j = 1, \ldots n$, is larger than $\frac{1}{2}$ if and only if $(i,j)\in \vec{E}$. This result is related to various paradoxes in probability theory, concerning in particular non-transitive dice.


title: Analyzing the Context of Bug-Fixing Changes in the OpenStack Cloud Computing Platform

abstract: Many research areas in software engineering, such as mutation testing, automatic repair, fault localization, and fault injection, rely on empirical knowledge about recurring bug-fixing code changes. Previous studies in this field focus on what has been changed due to bug-fixes, such as in terms of code edit actions. However, such studies did not consider where the bug-fix change was made (i.e., the context of the change), but knowing about the context can potentially narrow the search space for many software engineering techniques (e.g., by focusing mutation only on specific parts of the software). Furthermore, most previous work on bug-fixing changes focused on C and Java projects, but there is little empirical evidence about Python software. Therefore, in this paper we perform a thorough empirical analysis of bug-fixing changes in three OpenStack projects, focusing on both the what and the where of the changes. We observed that all the recurring change patterns are not oblivious with respect to the surrounding code, but tend to occur in specific code contexts.


title: Identification of influencers in complex networks by local information dimensionality

abstract: The identification of influential spreaders in complex networks is a popular topic in studies of network characteristics. Many centrality measures have been proposed to address this problem, but most have limitations. In this paper, a method for identifying influencers in complex networks via the local information dimensionality. The proposed method considers the local structural properties around the central node; therefore, the scale of locality only increases to half of the maximum value of the shortest distance from the central node. Thus, the proposed method considers the quasilocal information and reduces the computational complexity. The information (number of nodes) in boxes is described via the Shannon entropy, which is more reasonable. A node is more influential when its local information dimensionality is higher. In order to show the effectiveness of the proposed method, five existing centrality measures are used as comparison methods to rank influential nodes in six real world complex networks. In addition, a susceptible infected (SI) model and Kendall's tau coefficient are applied to show the correlation between different methods. Experiment results show the superiority of the proposed method.


title: Tests of the Standard Model at the International Linear Collider

abstract: We present an overview of the capabilities that the International Linear Collider (ILC) offers for precision measurements that probe the Standard Model. First, we discuss the improvements that the ILC will make in precision electroweak observables, both from W boson production and radiative return to the Z at 250 GeV in the center of mass and from a dedicated GigaZ stage of running at the Z pole. We then present new results on precision measurements of fermion pair production, including the production of b and t quarks. We update the ILC projections for the determination of Higgs boson couplings through a Standard Model Effective Field Theory fit taking into account the new information on precision electroweak constraints. Finally, we review the capabilities of the ILC to measure the Higgs boson self-coupling.


title: On graceful difference labelings of disjoint unions of circuits

abstract: A graceful difference labeling (gdl for short) of a directed graph G with vertex set V is a bijection f between V and {1,...,|V|} such that, when each arc uv is assigned the difference label f(v)-f(u), the resulting arc labels are distinct. We conjecture that all disjoint unions of circuits have a gdl, except in two particular cases. We prove partial results which support this conjecture.


title: Selfextensions of modules for Nakayama and Brauer tree algebras

abstract: For Nakayama algebras $A$, we prove that in case $Ext_A^1(M,M) \neq 0$ for an indecomposable $A$-module $M$, we have that the projective dimension of $M$ is infinite. As an application we give a new proof of a classical result from \cite{Gus} on bounds of the Loewy length for Nakayama algebras with finite global dimension. For Brauer tree algebras $A$ with an indecomposable module $M$, we prove that $Ext_A^1(M,M) \neq 0$ implies $Ext_A^i(M,M) \neq 0$ for all $i>0$.


title: HARE: a Flexible Highlighting Annotator for Ranking and Exploration

abstract: Exploration and analysis of potential data sources is a significant challenge in the application of NLP techniques to novel information domains. We describe HARE, a system for highlighting relevant information in document collections to support ranking and triage, which provides tools for post-processing and qualitative analysis for model development and tuning. We apply HARE to the use case of narrative descriptions of mobility information in clinical data, and demonstrate its utility in comparing candidate embedding features. We provide a web-based interface for annotation visualization and document ranking, with a modular backend to support interoperability with existing annotation tools. Our system is available online at https://github.com/OSU-slatelab/HARE.


title: Nearly-Linear uncertainty measures

abstract: Several easy to understand and computationally tractable imprecise probability models, like the Pari-Mutuel model, are derived from a given probability measure P_0. In this paper we investigate a family of such models, called Nearly-Linear (NL). They generalise a number of well-known models, while preserving a simple mathematical structure. In fact, they are linear affine transformations of P_0 as long as the transformation returns a value in [0,1] . We study the properties of NL measures that are (at least) capacities, and show that they can be partitioned into three major subfamilies. We investigate their consistency, which ranges from 2-coherence, the minimal condition satisfied by all, to coherence, and the kind of beliefs they can represent. There is a variety of different situations that NL models can incorporate, from generalisations of the Pari-Mutuel model, the {\epsilon}-contamination model and other models to conflicting attitudes of an agent towards low/high P_0-probability events (both prudential and imprudent at the same time), or to symmetry judgments. The consistency properties vary with the beliefs represented, but not strictly: some conflicting and partly irrational moods may be compatible with coherence. In a final part, we compare NL models with their closest, but only partly overlapping, models, neo-additive capacities and probability intervals.


title: First order phase transitions and the thermodynamic limit

abstract: We consider simple mean field continuum models for first order liquid-liquid demixing and solid-liquid phase transitions and show how the Maxwell construction at phase coexistence emerges on going from finite-size closed systems to the thermodynamic limit. The theories considered are the Cahn-Hilliard model of phase separation, which is also a model for the liquid-gas transition, and the phase field crystal model of the solid-liquid transition. Our results show that states comprising the Maxwell line depend strongly on the mean density with spatially localized structures playing a key role in the approach to the thermodynamic limit.


title: Inspection of methods of empirical mode decomposition

abstract: Empirical Mode Decomposition is an adaptive and local tool that extracts underlying analytical components of a non-linear and non-stationary process, in turn, is the basis of Hilbert Huang transform, however, there are problems such as interfering modes or ensuring the orthogonality of decomposition. Three variants of the algorithm are evaluated, with different experimental parameters and on a set of 10 time series obtained from surface electromyography. Experimental results show that obtaining low error in reconstruction with the analytical signals obtained from a process is not a valid characteristic to ensure that the purpose of decomposition has been fulfilled (physical significance and no interference between modes), in addition, freedom must be generated in the iterative processes of decomposition so that it has consistency and does not generate biased information. This project was developed within the framework of the research group DIGITI of the Universidad Distrital Francisco Jos\'e de Caldas.


title: The mapping class group is generated by two commutators

abstract: We show that the mapping class group of any closed connected orientable surface of genus at least five is generated by only two commutators, and if the genus is three or four, by three commutators.


title: Deep Bayesian Unsupervised Source Separation Based on a Complex Gaussian Mixture Model

abstract: This paper presents an unsupervised method that trains neural source separation by using only multichannel mixture signals. Conventional neural separation methods require a lot of supervised data to achieve excellent performance. Although multichannel methods based on spatial information can work without such training data, they are often sensitive to parameter initialization and degraded with the sources located close to each other. The proposed method uses a cost function based on a spatial model called a complex Gaussian mixture model (cGMM). This model has the time-frequency (TF) masks and direction of arrivals (DoAs) of sources as latent variables and is used for training separation and localization networks that respectively estimate these variables. This joint training solves the frequency permutation ambiguity of the spatial model in a unified deep Bayesian framework. In addition, the pre-trained network can be used not only for conducting monaural separation but also for efficiently initializing a multichannel separation algorithm. Experimental results with simulated speech mixtures showed that our method outperformed a conventional initialization method.


title: Structural Robustness to Noise in Consensus Networks: Impact of Degrees and Distances, Fundamental Limits, and Extremal Graphs

abstract: We investigate how the graph topology influences the robustness to noise in undirected linear consensus networks. We measure the structural robustness by using the smallest possible value of steady state population variance of states under the noisy consensus dynamics with edge weights from the unit interval. We derive tight upper and lower bounds on the structural robustness of networks based on the average distance between nodes and the average node degree. Using the proposed bounds, we characterize the networks with different types of robustness scaling under increasing size. Furthermore, we present a fundamental trade-off between the structural robustness and the average degree of networks. While this trade-off implies that a desired level of structural robustness can only be achieved by graphs with a sufficiently large average degree, we also show that there exist dense graphs with poor structural robustness. We then show that, random k-regular graphs (the degree of each node is k) with n nodes typically have near-optimal structural robustness among all the graphs with size n and average degree k for sufficiently large n and k. We also show that when k increases properly with n, random k-regular graphs maintain a structural robustness within a constant factor of the complete graph's while also having the minimum average degree required for such robustness.


title: Exploiting Temporality for Semi-Supervised Video Segmentation

abstract: In recent years, there has been remarkable progress in supervised image segmentation. Video segmentation is less explored, despite the temporal dimension being highly informative. Semantic labels, e.g. that cannot be accurately detected in the current frame, may be inferred by incorporating information from previous frames. However, video segmentation is challenging due to the amount of data that needs to be processed and, more importantly, the cost involved in obtaining ground truth annotations for each frame. In this paper, we tackle the issue of label scarcity by using consecutive frames of a video, where only one frame is annotated. We propose a deep, end-to-end trainable model which leverages temporal information in order to make use of easy to acquire unlabeled data. Our network architecture relies on a novel interconnection of two components: a fully convolutional network to model spatial information and temporal units that are employed at intermediate levels of the convolutional network in order to propagate information through time. The main contribution of this work is the guidance of the temporal signal through the network. We show that only placing a temporal module between the encoder and decoder is suboptimal (baseline). Our extensive experiments on the CityScapes dataset indicate that the resulting model can leverage unlabeled temporal frames and significantly outperform both the frame-by-frame image segmentation and the baseline approach.


title: Aesthetic Image Captioning From Weakly-Labelled Photographs

abstract: Aesthetic image captioning (AIC) refers to the multi-modal task of generating critical textual feedbacks for photographs. While in natural image captioning (NIC), deep models are trained in an end-to-end manner using large curated datasets such as MS-COCO, no such large-scale, clean dataset exists for AIC. Towards this goal, we propose an automatic cleaning strategy to create a benchmarking AIC dataset, by exploiting the images and noisy comments easily available from photography websites. We propose a probabilistic caption-filtering method for cleaning the noisy web-data, and compile a large-scale, clean dataset "AVA-Captions", (230, 000 images with 5 captions per image). Additionally, by exploiting the latent associations between aesthetic attributes, we propose a strategy for training the convolutional neural network (CNN) based visual feature extractor, the first component of the AIC framework. The strategy is weakly supervised and can be effectively used to learn rich aesthetic representations, without requiring expensive ground-truth annotations. We finally show-case a thorough analysis of the proposed contributions using automatic metrics and subjective evaluations.


title: Renormalization in Minkowski space-time

abstract: The multiplicative and the functional renormalization group methods are applied for the four dimensional scalar theory in Minkowski space-time. It is argued that the appropriate choice of the subtraction point is more important in Minkowski than in Euclidean space-time. The parameters of the cutoff theory, defined by a subtraction point in the quasi-particle domain, are complex due to the mass-shell contributions and the renormalization group flow becomes much more involved than its Euclidean counterpart.


title: Flexible Conditional Image Generation of Missing Data with Learned Mental Maps

abstract: Real-world settings often do not allow acquisition of high-resolution volumetric images for accurate morphological assessment and diagnostic. In clinical practice it is frequently common to acquire only sparse data (e.g. individual slices) for initial diagnostic decision making. Thereby, physicians rely on their prior knowledge (or mental maps) of the human anatomy to extrapolate the underlying 3D information. Accurate mental maps require years of anatomy training, which in the first instance relies on normative learning, i.e. excluding pathology. In this paper, we leverage Bayesian Deep Learning and environment mapping to generate full volumetric anatomy representations from none to a small, sparse set of slices. We evaluate proof of concept implementations based on Generative Query Networks (GQN) and Conditional BRUNO using abdominal CT and brain MRI as well as in a clinical application involving sparse, motion-corrupted MR acquisition for fetal imaging. Our approach allows to reconstruct 3D volumes from 1 to 4 tomographic slices, with a SSIM of 0.7+ and cross-correlation of 0.8+ compared to the 3D ground truth.


title: Power and Beam Optimization for Uplink Millimeter-Wave Hotspot Communication Systems

abstract: We propose an effective interference management and beamforming mechanism for uplink communication systems that yields fair allocation of rates. In particular, we consider a hotspot area of a millimeter-wave (mmWave) access network consisting of multiple user equipment (UE) in the uplink and multiple access points (APs) with directional antennas and adjustable beam widths and directions (beam configurations). This network suffers tremendously from multi-beam multi-user interference, and, to improve the uplink transmission performance, we propose a centralized scheme that optimizes the power, the beam width, the beam direction of the APs, and the UE - AP assignments. This problem involves both continuous and discrete variables, and it has the following structure. If we fix all discrete variables, except for those related to the UE-AP assignment, the resulting optimization problem can be solved optimally. This property enables us to propose a heuristic based on simulated annealing (SA) to address the intractable joint optimization problem with all discrete variables. In more detail, for a fixed configuration of beams, we formulate a weighted rate allocation problem where each user gets the same portion of its maximum achievable rate that it would have under non-interfered conditions. We solve this problem with an iterative fixed point algorithm that optimizes the power of UEs and the UE - AP assignment in the uplink. This fixed point algorithm is combined with SA to improve the beam configurations. Theoretical and numerical results show that the proposed method improves both the UE rates in the lower percentiles and the overall fairness in the network.


title: Variational Denoising Network: Toward Blind Noise Modeling and Removal

abstract: Blind image denoising is an important yet very challenging problem in computer vision due to the complicated acquisition process of real images. In this work we propose a new variational inference method, which integrates both noise estimation and image denoising into a unique Bayesian framework, for blind image denoising. Specifically, an approximate posterior, parameterized by deep neural networks, is presented by taking the intrinsic clean image and noise variances as latent variables conditioned on the input noisy image. This posterior provides explicit parametric forms for all its involved hyper-parameters, and thus can be easily implemented for blind image denoising with automatic noise estimation for the test noisy image. On one hand, as other data-driven deep learning methods, our method, namely variational denoising network (VDN), can perform denoising efficiently due to its explicit form of posterior expression. On the other hand, VDN inherits the advantages of traditional model-driven approaches, especially the good generalization capability of generative models. VDN has good interpretability and can be flexibly utilized to estimate and remove complicated non-i.i.d. noise collected in real scenarios. Comprehensive experiments are performed to substantiate the superiority of our method in blind image denoising.


title: How Much Does GenoGuard Really "Guard"? An Empirical Analysis of Long-Term Security for Genomic Data

abstract: Due to its hereditary nature, genomic data is not only linked to its owner but to that of close relatives as well. As a result, its sensitivity does not really degrade over time; in fact, the relevance of a genomic sequence is likely to be longer than the security provided by encryption. This prompts the need for specialized techniques providing long-term security for genomic data, yet the only available tool for this purpose is GenoGuard (Huang et al., 2015). By relying on Honey Encryption, GenoGuard is secure against an adversary that can brute force all possible keys; i.e., whenever an attacker tries to decrypt using an incorrect password, she will obtain an incorrect but plausible looking decoy sequence. In this paper, we set to analyze the real-world security guarantees provided by GenoGuard; specifically, assess how much more information does access to a ciphertext encrypted using GenoGuard yield, compared to one that was not. Overall, we find that, if the adversary has access to side information in the form of partial information from the target sequence, the use of GenoGuard does appreciably increase her power in determining the rest of the sequence. We show that, in the case of a sequence encrypted using an easily guessable (low-entropy) password, the adversary is able to rule out most decoy sequences, and obtain the target sequence with just 2.5\% of it available as side information. In the case of a harder-to-guess (high-entropy) password, we show that the adversary still obtains, on average, better accuracy in guessing the rest of the target sequences than using state-of-the-art genomic sequence inference methods, obtaining up to 15% improvement in accuracy.


title: Mild Non-Gaussianities under Perturbative Control from Rapid-Turn Inflation Models

abstract: Inflation can be supported in very steep potentials if it is generated by rapidly turning fields, which can be natural in negatively curved field spaces. The curvature perturbation, $\zeta$, of these models undergoes an exponential, transient amplification around the time of horizon crossing, but can still be compatible with observations at the level of the power spectrum. However, a recent analysis (based on a proposed single-field effective theory with an imaginary speed of sound) found that the trispectrum and other higher-order, non-Gaussian correlators also undergo similar exponential enhancements. This arguably leads to `hyper-large' non-Gaussianities in stark conflict with observations, and even to the loss of perturbative control of the calculations. In this paper, we provide the first analytic solution of the growth of the perturbations in two-field rapid-turn models, and find it in good agreement with previous numerical and single-field EFT estimates. We also show that the nested structure of commutators of the in-in formalism has subtle and crucial consequences: accounting for these commutators, we show analytically that the naively leading-order piece (which indeed is exponentially large) cancels exactly in all relevant correlators. The remaining non-Gaussianities of these models are modest, and there is no problem with perturbative control from the exponential enhancement of $\zeta$. Thus, rapid-turn inflation with negatively curved field spaces remains a viable and interesting class of candidate theories of the early universe.


title: Memorizing All for Implicit Discourse Relation Recognition

abstract: Implicit discourse relation recognition is a challenging task due to the absence of the necessary informative clue from explicit connectives. The prediction of relations requires a deep understanding of the semantic meanings of sentence pairs. As implicit discourse relation recognizer has to carefully tackle the semantic similarity of the given sentence pairs and the severe data sparsity issue exists in the meantime, it is supposed to be beneficial from mastering the entire training data. Thus in this paper, we propose a novel memory mechanism to tackle the challenges for further performance improvement. The memory mechanism is adequately memorizing information by pairing representations and discourse relations of all training instances, which right fills the slot of the data-hungry issue in the current implicit discourse relation recognizer. Our experiments show that our full model with memorizing the entire training set reaches new state-of-the-art against strong baselines, which especially for the first time exceeds the milestone of 60% accuracy in the 4-way task.


title: Multi-Agent Coordination of Thermostatically Controlled Loads by Smart Power Sockets for Electric Demand Side Management

abstract: This paper presents a multi-agent control architecture and an online optimization method based on dynamic average consensus to coordinate the power consumption of a large population of Thermostatically Controlled Loads (TCLs). Our objective is to penalize peaks of power demand, smooth the load profile and enable Demand Side Management (DSM). The proposed architecture and methods exploit only local measurements of power consumption via Smart Power Sockets (SPSs) with no access to their internal temperature. No centralized aggregator of information is exploited and agents preserve their privacy by cooperating anonymously only through consensus-based distributed estimation, robust to node/link failure. The interactions among devices are designed to occur through an unstructured peer-to-peer (P2P) network over the internet. The architecture includes novel methods for parameter identification, state estimation and mixed logical modelling of TCLs and SPSs. It is designed from a multi-agent and plug-and-play perspective in which existing household appliances can interact with each other in an urban environment. Finally, a novel low cost testbed is proposed along with numerical tests and an experimental validation.


title: Machine Learning and the Internet of Things Enable Steam Flood Optimization for Improved Oil Production

abstract: Recently developed machine learning techniques, in association with the Internet of Things (IoT) allow for the implementation of a method of increasing oil production from heavy-oil wells. Steam flood injection, a widely used enhanced oil recovery technique, uses thermal and gravitational potential to mobilize and dilute heavy oil in situ to increase oil production. In contrast to traditional steam flood simulations based on principles of classic physics, we introduce here an approach using cutting-edge machine learning techniques that have the potential to provide a better way to describe the performance of steam flood. We propose a workflow to address a category of time-series data that can be analyzed with supervised machine learning algorithms and IoT. We demonstrate the effectiveness of the technique for forecasting oil production in steam flood scenarios. Moreover, we build an optimization system that recommends an optimal steam allocation plan, and show that it leads to a 3% improvement in oil production. We develop a minimum viable product on a cloud platform that can implement real-time data collection, transfer, and storage, as well as the training and implementation of a cloud-based machine learning model. This workflow also offers an applicable solution to other problems with similar time-series data structures, like predictive maintenance.


title: A Complete Realization of the orbits of generalized derivatives of Quasiregular Mappings

abstract: Quasiregular maps are differentiable almost everywhere maps which are analogous to holomorphic maps in the plane for higher real dimensions. Introduced by Gutlyanskii et al, the infinitesimal space is a generalization of the notion of derivatives for quasiregular maps. Evaluation of all elements in the infinitesimal space at a particular point is called the orbit space. We prove that any compact connected subset of $\R^n\setminus\{0\}$ can be realized as an orbit space of a quasiconformal map. To that end, we construct analogues of logarithmic spiral maps and interpolation between radial stretch maps in higher dimensions. For the construction of such maps, we need to implement a new tool called the Zorich transform, which is a direct analogue of the logarithmic transform. The Zorich transform could have further applications in quasiregular dynamics.


title: The Lubin-Tate Theory of Configuration Spaces: I

abstract: We construct a spectral sequence converging to the Morava $E$-theory of unordered configuration spaces and identify its E$^2$-page as the homology of a Chevalley-Eilenberg-like complex for Hecke Lie algebras. Based on this, we compute the $E$-theory of the weight $p$ summands of iterated loop spaces of spheres (parametrising the weight $p$ operations on $\mathbb{E}_n$-algebras), as well as the $E$-theory of the configuration spaces of $p$ points on a punctured surface. We read off the corresponding Morava $K$-theory groups, which appear in a conjecture by Ravenel. Finally, we compute the $\mathbb{F}_p$-homology of the space of unordered configurations of $p$ particles on a punctured surface.


title: A Zero Attention Model for Personalized Product Search

abstract: Product search is one of the most popular methods for people to discover and purchase products on e-commerce websites. Because personal preferences often have an important influence on the purchase decision of each customer, it is intuitive that personalization should be beneficial for product search engines. While synthetic experiments from previous studies show that purchase histories are useful for identifying the individual intent of each product search session, the effect of personalization on product search in practice, however, remains mostly unknown. In this paper, we formulate the problem of personalized product search and conduct large-scale experiments with search logs sampled from a commercial e-commerce search engine. Results from our preliminary analysis show that the potential of personalization depends on query characteristics, interactions between queries, and user purchase histories. Based on these observations, we propose a Zero Attention Model for product search that automatically determines when and how to personalize a user-query pair via a novel attention mechanism. Empirical results on commercial product search logs show that the proposed model not only significantly outperforms state-of-the-art personalized product retrieval models, but also provides important information on the potential of personalization in each product search session.


title: Theoretical Perspectives on Biological Machines

abstract: Many biological functions are executed by molecular machines, which consume energy and convert it into mechanical work. Biological machines have evolved to transport cargo, facilitate folding of proteins and RNA, remodel chromatin and replicate DNA. A common aspect of these machines is that their functions are driven out of equilibrium. It is a challenge to provide a general framework for understanding the functions of biological machines, such as molecular motors, molecular chaperones, and helicases. Using these machines as prototypical examples, we describe a few general theoretical methods providing insights into their functions. Although the theories rely on coarse-graining of these complex systems they have proven useful in not only accounting for many in vitro experiments but also addressing questions such as how the trade-off between precision, energetic costs and optimal performances are balanced. However, many complexities associated with biological machines will require one to go beyond current theoretical methods. Simple point mutations in the enzyme could drastically alter functions, making the motors bi-directional or result in unexpected diseases or dramatically restrict the capacity of molecular chaperones to help proteins fold. These examples are reminders that while the search for principles of generality in biology is intellectually stimulating, one also ought to keep in mind that molecular details must be accounted for to develop a deeper understanding of processes driven by biological machines. Going beyond generic descriptions of in vitro behavior to making genuine understanding of in vivo functions will likely remain a major challenge for some time to come. The combination of careful experiments and the use of physical principles will be useful in elucidating the rules governing the workings of biological machines.


title: 3D Anchor-Free Lesion Detector on Computed Tomography Scans

abstract: Lesions are injuries and abnormal tissues in the human body. Detecting lesions in 3D Computed Tomography (CT) scans can be time-consuming even for very experienced physicians and radiologists. In recent years, CNN based lesion detectors have demonstrated huge potentials. Most of current state-of-the-art lesion detectors employ anchors to enumerate all possible bounding boxes with respect to the dataset in process. This anchor mechanism greatly improves the detection performance while also constraining the generalization ability of detectors. In this paper, we propose an anchor-free lesion detector. The anchor mechanism is removed and lesions are formalized as single keypoints. By doing so, we witness a considerable performance gain in terms of both accuracy and inference speed compared with the anchor-based baseline


title: Dark Matter Constraints on Low Mass and Weakly Coupled B-L Gauge Boson

abstract: We investigate constraints on the new $B-L$ gauge boson ($Z_{BL}$) mass and coupling ($g_{BL}$) in a $U(1)_{B-L}$ extension of the standard model (SM) with an SM singlet Dirac fermion ($\zeta$) as dark matter (DM). The DM particle $\zeta$ has an arbitrary $B-L$ charge $Q$ chosen to guarantee its stability. We focus on the small $Z_{BL}$ mass and small $g_{BL}$ regions of the model, and find new constraints for the cases where the DM relic abundance arises from thermal freeze-out as well as freeze-in mechanisms. In the thermal freeze-out case, the DM coupling is given by $g_{\zeta}\equiv g_{BL}Q\simeq0.016\sqrt{m_\zeta[{\rm GeV}]}$ to reproduce the observed DM relic density and $g_{BL}\geq 2.7 \times 10^{-8} \sqrt{m_\zeta[{\rm GeV}]}$ for the DM particle to be in thermal equilibrium prior to freeze-out. Combined with the direct and indirect DM detection constraints, we find that the allowed mass regions are limited to be $m_\zeta \gtrsim 200$ GeV and $M_{Z_{BL}} \gtrsim 10$ GeV. We then discuss the lower $g_{BL}$ values where the freeze-in scenario operates and find the following relic density constraints on parameters depending on the $g_{BL}$ range and dark matter mass: Case (A): for $g_{BL}\geq 2.7\times10^{-8}\sqrt{m_\zeta[{\rm GeV}]}$, one has $g^2_\zeta\,g^2_{BL}+\frac{0.82}{1.2}\,g^4_\zeta\simeq 8.2\times10^{-24}$ and Case (B): for $g_{BL} < 2.7 \times 10^{-8} \sqrt{m_\zeta[{\rm GeV}]}$, there are two separate constraints depending on $m_\zeta$. Case (B1): for $m_\zeta\lesssim 2.5{\rm TeV}$, we find $g_\zeta^2\,g_{BL}^2\simeq 8.2\times10^{-24}\,\left( \frac{m_\zeta}{2.5\,{\rm TeV}} \right)$ and case (B2): for $m_\zeta \gtrsim 2.5$ TeV, we have $g_\zeta^2 \, g_{BL}^2 \simeq 8.2 \times 10^{-24}$. For this case, we display the various parameter regions of the model that can be probed by a variety of ``Lifetime Frontier" experiments such as FASER, FASER2, Belle II, SHiP and LDMX.


title: Translate and Label! An Encoder-Decoder Approach for Cross-lingual Semantic Role Labeling

abstract: We propose a Cross-lingual Encoder-Decoder model that simultaneously translates and generates sentences with Semantic Role Labeling annotations in a resource-poor target language. Unlike annotation projection techniques, our model does not need parallel data during inference time. Our approach can be applied in monolingual, multilingual and cross-lingual settings and is able to produce dependency-based and span-based SRL annotations. We benchmark the labeling performance of our model in different monolingual and multilingual settings using well-known SRL datasets. We then train our model in a cross-lingual setting to generate new SRL labeled data. Finally, we measure the effectiveness of our method by using the generated data to augment the training basis for resource-poor languages and perform manual evaluation to show that it produces high-quality sentences and assigns accurate semantic role annotations. Our proposed architecture offers a flexible method for leveraging SRL data in multiple languages.


title: When did Life Likely Emerge on Earth in an RNA-First Process?

abstract: The widespread presence of ribonucleic acid (RNA) catalysts and cofactors in Earth's biosphere today suggests that RNA was the first biopolymer to support Darwinian evolution. However, most "path-hypotheses" to generate building blocks for RNA require reduced nitrogen-containing compounds not made in useful amounts in the CO2-N2-H2O atmospheres of the Hadean. We review models for Earth's impact history that invoke a single ~10^23 kg impactor (Moneta) to account for measured amounts of platinum, gold, and other siderophilic ("iron-loving") elements on the Earth and Moon. If it were the last sterilizing impactor, Moneta would have reduced the atmosphere but not its mantle, opening a "window of opportunity" for RNA synthesis, a period when RNA precursors rained from the atmosphere to land holding oxidized minerals that stabilize advanced RNA precursors and RNA. Surprisingly, this combination of physics, geology, and chemistry suggests a time when RNA formation was most probable, ~120 +/- 100 million years after Moneta's impact, or ~4.36 +/- 0.1 billion years ago. Uncertainties in this time are driven by uncertainties in rates of productive atmosphere loss and amounts of sub-aerial land.

categories: astro-ph.EP physics.bio-ph physics.chem-ph physics.geo-ph


title: Kodaira dimension of almost K\"ahler manifolds and curvature of the canonical connection

abstract: The notion of Kodaira dimension has recently been extended to general almost complex manifolds. In this paper we focus on the Kodaira dimension of almost K\"ahler manifolds, providing an explicit computation for a family of almost K\"ahler threefolds on the differentiable manifold underlying a Nakamura manifold. We concentrate also on the link between Kodaira dimension and the curvature of the canonical connection of an almost K\"ahler manifold, and show that in the previous example (and in another one obtained from a Kodaira surface) the Ricci curvature of the almost K\"ahler metric vanishes for all the members of the family.


title: Augmented State Feedback for Improving Observability of Linear Systems with Nonlinear Measurements

abstract: This paper is concerned with the design of an augmented state feedback controller for finite-dimensional linear systems with nonlinear observation dynamics. Most of the theoretical results in the area of (optimal) feedback design are based on the assumption that the state is available for measurement. In this paper, we focus on finding a feedback control that avoids state trajectories with undesirable observability properties. In particular, we introduce an optimal control problem that specifically considers an index of observability in the control synthesis. The resulting cost functional is a combination of LQR-like quadratic terms and an index of observability. The main contribution of the paper is presenting a control synthesis procedure that on one hand, provides closed loop asymptotic stability, and addresses the observability of the system--as a transient performance criteria--on the other.


title: Temporal Consistency Objectives Regularize the Learning of Disentangled Representations

abstract: There has been an increasing focus in learning interpretable feature representations, particularly in applications such as medical image analysis that require explainability, whilst relying less on annotated data (since annotations can be tedious and costly). Here we build on recent innovations in style-content representations to learn anatomy, imaging characteristics (appearance) and temporal correlations. By introducing a self-supervised objective of predicting future cardiac phases we improve disentanglement. We propose a temporal transformer architecture that given an image conditioned on phase difference, it predicts a future frame. This forces the anatomical decomposition to be consistent with the temporal cardiac contraction in cine MRI and to have semantic meaning with less need for annotations. We demonstrate that using this regularization, we achieve competitive results and improve semi-supervised segmentation, especially when very few labelled data are available. Specifically, we show Dice increase of up to 19\% and 7\% compared to supervised and semi-supervised approaches respectively on the ACDC dataset. Code is available at: https://github.com/gvalvano/sdtnet .


title: A Robust Image Watermarking System Based on Deep Neural Networks

abstract: Digital image watermarking is the process of embedding and extracting watermark covertly on a carrier image. Incorporating deep learning networks with image watermarking has attracted increasing attention during recent years. However, existing deep learning-based watermarking systems cannot achieve robustness, blindness, and automated embedding and extraction simultaneously. In this paper, a fully automated image watermarking system based on deep neural networks is proposed to generalize the image watermarking processes. An unsupervised deep learning structure and a novel loss computation are proposed to achieve high capacity and high robustness without any prior knowledge of possible attacks. Furthermore, a challenging application of watermark extraction from camera-captured images is provided to validate the practicality as well as the robustness of the proposed system. Experimental results show the superiority performance of the proposed system as comparing against several currently available techniques.


title: Universal, transferable and targeted adversarial attacks

abstract: Deep Neural Networks have been found vulnerable re-cently. A kind of well-designed inputs, which called adver-sarial examples, can lead the networks to make incorrectpredictions. Depending on the different scenarios, goalsand capabilities, the difficulties of the attacks are different.For example, a targeted attack is more difficult than a non-targeted attack, a universal attack is more difficult than anon-universal attack, a transferable attack is more difficultthan a nontransferable one. The question is: Is there existan attack that can meet all these requirements? In this pa-per, we answer this question by producing a kind of attacksunder these conditions. We learn a universal mapping tomap the sources to the adversarial examples. These exam-ples can fool classification networks to classify all of theminto one targeted class, and also have strong transferability.Our code is released at: xxxxx.


title: Three-loop soft anomalous dimensions for top-quark production

abstract: I present results through three loops for soft anomalous dimensions that control soft-gluon emission in processes involving the top quark. In particular I present results for channels in single-top production and top-pair production as well as for processes with new physics, including $tZ$, $tZ'$, $t \gamma$, and $tH^-$ production. These calculations are ingredients to resummations at N$^3$LL accuracy and to derivations of N$^3$LO soft-gluon corrections.


title: Bayesian Stacked Parametric Survival with Frailty Components and Interval Censored Failure Times

abstract: To better understand effects of exposure to food allergens, food challenge studies are designed to slowly increase the dose of an allergen delivered to allergic individuals until an objective reaction occurs. These dose-to-failure studies are used to determine acceptable intake levels and are analyzed using parametric failure time models. Though these models can provide estimates of the survival curve, their parametric form may misrepresent the survival function for doses of interest, and different models that describe the data similarly may produce different dose-to-failure estimates. Motivated by predictive inference, we developed a Bayesian approach to combine survival estimates based upon posterior predictive stacking, where the weights are formed to maximize posterior predictive accuracy. The approach allows for the inclusion of flexible models, and, in our case, allows us to include random effects to account for frailty components entering the model through study-to-study heterogeneity. The methodology is investigated in simulation, and is used to estimate allergic population eliciting doses for multiple food allergens.


title: Nearly Tight Bounds for Robust Proper Learning of Halfspaces with a Margin

abstract: We study the problem of {\em properly} learning large margin halfspaces in the agnostic PAC model. In more detail, we study the complexity of properly learning $d$-dimensional halfspaces on the unit ball within misclassification error $\alpha \cdot \mathrm{OPT}_{\gamma} + \epsilon$, where $\mathrm{OPT}_{\gamma}$ is the optimal $\gamma$-margin error rate and $\alpha \geq 1$ is the approximation ratio. We give learning algorithms and computational hardness results for this problem, for all values of the approximation ratio $\alpha \geq 1$, that are nearly-matching for a range of parameters. Specifically, for the natural setting that $\alpha$ is any constant bigger than one, we provide an essentially tight complexity characterization. On the positive side, we give an $\alpha = 1.01$-approximate proper learner that uses $O(1/(\epsilon^2\gamma^2))$ samples (which is optimal) and runs in time $\mathrm{poly}(d/\epsilon) \cdot 2^{\tilde{O}(1/\gamma^2)}$. On the negative side, we show that {\em any} constant factor approximate proper learner has runtime $\mathrm{poly}(d/\epsilon) \cdot 2^{(1/\gamma)^{2-o(1)}}$, assuming the Exponential Time Hypothesis.


title: Kondo exhaustion and conductive surface states in antiferromagnetic YbIr$_3$Si$_7$

abstract: The interplay of Kondo screening and magnetic ordering in strongly correlated materials containing local moments is a subtle problem.[1] Usually the number of conduction electrons matches or exceeds the number of moments, and a Kondo-screened heavy Fermi liquid develops at low temperatures.[2] Changing the pressure, magnetic field, or chemical doping can displace this heavy Fermi liquid in favor of a magnetically ordered state.[3,4] Here we report the discovery of a version of such a `Kondo lattice' material, YbIr$_3$Si$_7$, in which the number of free charge carriers is much less than the number of local moments. This leads to `Kondo exhaustion':[5] the electrical conductivity tends to zero at low temperatures as all the free carriers are consumed in the formation of Kondo singlets. This effect coexists with antiferromagnetic long-range order, with a N\'eel temperature $T\rm_N = 4.1\,{\rm K}$. Furthermore, the material shows conductive surface states with potential topological nature, and thus presents an exciting topic for future investigations.


title: CCKS 2019 Shared Task on Inter-Personal Relationship Extraction

abstract: The CCKS2019 shared task was devoted to inter-personal relationship extraction. Given two person entities and at least one sentence containing these two entities, participating teams are asked to predict the relationship between the entities according to a given relation list. This year, 358 teams from various universities and organizations participated in this task. In this paper, we present the task definition, the description of data and the evaluation methodology used during this shared task. We also present a brief overview of the various methods adopted by the participating teams. Finally, we present the evaluation results.


title: TapirXLA: Embedding Fork-Join Parallelism into the XLA Compiler in TensorFlow Using Tapir

abstract: This work introduces TapirXLA, a replacement for TensorFlow's XLA compiler that embeds recursive fork-join parallelism into XLA's low-level representation of code. Machine-learning applications rely on efficient parallel processing to achieve performance, and they employ a variety of technologies to improve performance, including compiler technology. But compilers in machine-learning frameworks lack a deep understanding of parallelism, causing them to lose performance by missing optimizations on parallel computation. This work studies how Tapir, a compiler intermediate representation (IR) that embeds parallelism into a mainstream compiler IR, can be incorporated into a compiler for machine learning to remedy this problem. TapirXLA modifies the XLA compiler in TensorFlow to employ the Tapir/LLVM compiler to optimize low-level parallel computation. TapirXLA encodes the parallelism within high-level TensorFlow operations using Tapir's representation of fork-join parallelism. TapirXLA also exposes to the compiler implementations of linear-algebra library routines whose parallel operations are encoded using Tapir's representation. We compared the performance of TensorFlow using TapirXLA against TensorFlow using an unmodified XLA compiler. On four neural-network benchmarks, TapirXLA speeds up the parallel running time of the network by a geometric-mean multiplicative factor of 30% to 100%, across four CPU architectures.


title: Time crystallinity in open quantum systems

abstract: Time crystals are genuinely non-equilibrium quantum phases of matter that break time-translational symmetry. While in non-equilibrium closed systems time crystals have been experimentally realized, it remains an open question whether or not such a phase survives when systems are coupled to an environment. Although dissipation caused by the coupling to a bath may stabilize time crystals in some regimes, the introduction of incoherent noise may also destroy the time crystalline order. Therefore, the mechanisms that stabilize a time crystal in open and closed systems are not necessarily the same. Here, we propose a way to identify an open system time crystal based on a single object: the Floquet propagator. Armed with such a description we show time-crystalline behavior in an explicitly short-range interacting open system and demonstrate the crucial role of the nature of the decay processes.


title: Parametrix problem for the Korteweg--de Vries equation with steplike initial data

abstract: In this paper we study the asymptotics of solutions to the Korteweg--de Vries equation with steplike initial data, which lead to shock waves in the region between the asymptotically constant region and the soliton region, as $t \rightarrow \infty$. To achieve this, we present an alternative approach to the usual argument involving a small norm Riemann--Hilbert problem, which is based instead on the direct comparison of resolvents related to the corresponding Riemann--Hilbert problems. The motivation for this approach stems from the fact that an invertible holomorphic global parametrix solution for our problem does not exist for certain discrete times.


title: Ordered Sets for Data Analysis

abstract: This book dwells on mathematical and algorithmic issues of data analysis based on generality order of descriptions and respective precision. To speak of these topics correctly, we have to go some way getting acquainted with the important notions of relation and order theory. On the one hand, data often have a complex structure with natural order on it. On the other hand, many symbolic methods of data analysis and machine learning allow to compare the obtained classifiers w.r.t. their generality, which is also an order relation. Efficient algorithms are very important in data analysis, especially when one deals with big data, so scalability is a real issue. That is why we analyze the computational complexity of algorithms and problems of data analysis. We start from the basic definitions and facts of algorithmic complexity theory and analyze the complexity of various tools of data analysis we consider. The tools and methods of data analysis, like computing taxonomies, groups of similar objects (concepts and n-clusters), dependencies in data, classification, etc., are illustrated with applications in particular subject domains, from chemoinformatics to text mining and natural language processing.


title: Quantifiers metamorphoses. Generalizations, variations, algorithmic semantics

abstract: This article contains ideas and their elaboration for quantifiers, which appeared after checking in practice the experimental language of the formal knowledge representation YAFOLL [1]: - looking at for_all and exists quantifiers as operators clarifying two trivial properties of a function: the constancy of result value and presence of a value in the result; -It turned out that the quantifier term can be written in the lambda calculus technique, i.e. as definition; -quantifier of quantity # is introduced into the language, as needed in practice and does not cause logical and algorithmic problems on finite structures; - the quantifier of the sum is mentioned because it is a quantifier of the language; -algorithmic semantics is written for for_all and exists quantifiers as an introduction to the topic.


title: Modular Runtime Complexity Analysis of Probabilistic While Programs

abstract: We are concerned with the average case runtime complexity analysis of a prototypical imperative language endowed with primitives for sampling and probabilistic choice. Taking inspiration from known approaches from to the modular resource analysis of non-probabilistic programs, we investigate how a modular runtime analysis is obtained for probabilistic programs.


title: Multivariate Spatial Data Visualization: A Survey

abstract: Multivariate spatial data plays an important role in computational science and engineering simulations. The potential features and hidden relationships in multivariate data can assist scientists to gain an in-depth understanding of a scientific process, verify a hypothesis and further discover a new physical or chemical law. In this paper, we present a comprehensive survey of the state-of-the-art techniques for multivariate spatial data visualization. We first introduce the basic concept and characteristics of multivariate spatial data, and describe three main tasks in multivariate data visualization: feature classification, fusion visualization, and correlation analysis. Finally, we prospect potential research topics for multivariate data visualization according to the current research.


title: Local Reasoning about Parametric and Reconfigurable Component-based Systems

abstract: We introduce a logical framework for the specification and verification of component-based systems, in which finitely many component instances are active, but the bound on their number is not known. Besides specifying and verifying parametric systems, we consider the aspect of dynamic reconfiguration, in which components can migrate at runtime on a physical map, whose shape and size may change. We describe such parametric and reconfigurable architectures using resource logics, close in spirit to Separation Logic, used to reason about dynamic pointer structures. These logics support the principle of local reasoning, which is the key for writing modular specifications and building scalable verification algorithms, that deal with large industrial-size systems.


title: Adaptive Partition-based SDDP Algorithms for Multistage Stochastic Linear Programming

abstract: In this paper, we extend the adaptive partition-based approach for solving two-stage stochastic programs with fixed recourse to the multistage stochastic programming setting. The proposed algorithms integrate the adaptive partition-based strategy with a popular approach for solving multistage stochastic programs, the stochastic dual dynamic programming, via different tree-traversal strategies in order to enhance its computational efficiency. Our numerical experiments on a hydro-thermal power generation planning problem show the effectiveness of the proposed algorithms.


title: The large charge limit of scalar field theories and the Wilson-Fisher fixed point at $\epsilon=0$

abstract: We study the sector of large charge operators $\phi^n$ ($\phi$ being the complexified scalar field) in the $O(2)$ Wilson-Fisher fixed point in $4-\epsilon$ dimensions that emerges when the coupling takes the critical value $g\sim \epsilon$. We show that, in the limit $g\to 0$, when the theory naively approaches the gaussian fixed point, the sector of operators with $n\to \infty $ at fixed $g\,n^2\equiv \lambda$ remains non-trivial. Surprisingly, one can compute the exact 2-point function and thereby the non-trivial anomalous dimension of the operator $\phi^n$ by a full resummation of Feynman diagrams. The same result can be reproduced from a saddle point approximation to the path integral, which partly explains the existence of the limit. Finally, we extend these results to the three-dimensional $O(2)$-symmetric theory with $(\bar{\phi}\,\phi)^3$ potential.


title: Survey and Benchmarking of Machine Learning Accelerators

abstract: Advances in multicore processors and accelerators have opened the flood gates to greater exploration and application of machine learning techniques to a variety of applications. These advances, along with breakdowns of several trends including Moore's Law, have prompted an explosion of processors and accelerators that promise even greater computational and machine learning capabilities. These processors and accelerators are coming in many forms, from CPUs and GPUs to ASICs, FPGAs, and dataflow accelerators. This paper surveys the current state of these processors and accelerators that have been publicly announced with performance and power consumption numbers. The performance and power values are plotted on a scatter graph and a number of dimensions and observations from the trends on this plot are discussed and analyzed. For instance, there are interesting trends in the plot regarding power consumption, numerical precision, and inference versus training. We then select and benchmark two commercially-available low size, weight, and power (SWaP) accelerators as these processors are the most interesting for embedded and mobile machine learning inference applications that are most applicable to the DoD and other SWaP constrained users. We determine how they actually perform with real-world images and neural network models, compare those results to the reported performance and power consumption values and evaluate them against an Intel CPU that is used in some embedded applications.


title: On the Double Copy for Spinning Matter

abstract: We explore various tree-level double copy constructions for amplitudes including massive particles with spin. By working in general dimensions, we use that particles with spins $s\leq 2$ are fundamental to argue that the corresponding double copy relations partially follow from compactification of their massless counterparts. This massless origin fixes the coupling of gluons, dilatons and axions to matter in a characteristic way (for instance fixing the gyromagnetic ratio), whereas the graviton couples universally reflecting the equivalence principle. For spin-1 matter we conjecture all-order Lagrangians reproducing the interactions with up to two massive lines and we test them in a classical setup, where the massive lines represent spinning compact objects such as black holes. We also test the amplitudes via CHY formulae for both bosonic and fermionic integrands. At five points, we show that by applying generalized gauge transformations one can obtain a smooth transition from quantum to classical BCJ double copy relations for radiation, thereby providing a QFT derivation for the latter. As an application, we show how the theory arising in the classical double copy of Goldberger and Ridgway can be naturally identified with a certain compactification of $\mathcal{N}=4$ Supergravity.


title: On the coverage of neutralino dark matter in coannihilations at the upgraded LHC

abstract: In the supersymmetric models, the coannihilation of the neutralino DM with a lighter supersymmetric particle provides a feasible way to accommodate the observed cosmological DM relic density. Such a mechanism predicts a compressed spectrum of the neutralino DM and its coannihilating partner, which results in the soft final states and makes the searches for sparticles challenging at colliders. On the other hand, the abundance of the freeze-out neutralino DM usually increases as the DM mass becomes heavier. This implies an upper bound on the mass of the neutralino DM. Given these observations, we explore the HE-LHC coverage of the neutralino DM for the coannihilations. By analyzing the events of the multijet with the missing transverse energy ($E^{miss}_T$), the monojet, the soft lepton pair plus $E^{miss}_T$, and the monojet plus a hadronic tau, we find that the neutralino DM mass can be excluded up to 2.6, 1.7 and 0.8 TeV in the gluino, stop and wino coannihilations at the $2\sigma$ level, respectively. However, there is still no sensitivity of the neutralino DM in stau coannihilation at the HE-LHC, due to the small cross section of the direct stau pair production and the low tagging efficiency of soft tau from the stau decay.


title: SYK non Fermi Liquid Correlations in Nanoscopic Quantum Transport

abstract: Electronic transport in nano-structures, such as long molecules or 2D exfoliated flakes, often goes through a nearly degenerate set of single-particle orbitals. Here we show that in such cases a conspiracy of the narrow band and strong e-e interactions may stabilize a non Fermi liquid phase in the universality class of the complex Sachdev-Ye-Kitaev (SYK) model. Focusing on signatures in quantum transport, we demonstrate the existence of anomalous power laws in the temperature dependent conductance, including algebraic scaling $T^{3/2}$ in the inelastic cotunneling channel, separated from the conventional Fermi liquid $T^2$ scaling via a quantum phase transition. The relatively robust conditions under which these results are obtained indicate that the SYK non Fermi liquid universality class might be not as exotic as previously thought.


title: {\it Ab initio} determination of the phase diagram of CO$_2$ at high pressures and temperatures

abstract: The experimental study of the CO$_2$ phase diagram is hampered by strong kinetic effects leading to wide regions of metastability and to large uncertainties in the location of phase boundaries. Here we determine the CO$_2$ phase boundaries by means of {\it ab initio} calculations of the Gibbs free energy of several molecular and non-molecular solid phases of CO$_2$. Temperature effects are included in the quasi-harmonic approximation. Contrary to previous results, we find that the boundary between non-molecular phases and phase V has a positive slope and starts at 21.5 GPa at $T$ = 0 K. A triple point between phase IV, V, and the liquid phase is found at 35 GPa and 1600 K, indicating a broader region of stability for the non-molecular phases than previously thought. The experimentally determined boundary line between CO$_{2}$-II and CO$_{2}$-IV phases is reproduced by our calculations, indicating that kinetic effects are not relevant in that transition.


title: The naturality of natural deduction (II). Some remarks on atomic polymorphism

abstract: In a previous paper (of which this is a prosecution) we investigated the extraction of proof-theoretic properties of natural deduction derivations from their impredicative translation into System F. Our key idea was to introduce an extended equational theory for System F codifying at a syntactic level some properties found in parametric models. In a recent series of papers a different approach to extract proof-theoretic properties of natural deduction derivations was proposed by defining predicative variants of the usual translation, embedding intuitionistic propositional logic into the atomic fragment of System F. In this paper we show that this approach finds a general explanation within our equational study of second-order natural deduction, and a clear semantic justification provided by parametricity.


title: Spin-orbit torques in a Rashba honeycomb antiferromagnet

abstract: Recent experiments on switching antiferromagnetic domains by electric current pulses have attracted a lot of attention to spin-orbit torques in antiferromagnets. In this work, we employ the tight-binding model solver, kwant, to compute spin-orbit torques in a two-dimensional antiferromagnet on a honeycomb lattice with strong spin-orbit interaction of Rashba type. Our model combines spin-orbit interaction, local s-d-like exchange, and scattering of conduction electrons on on-site disorder potential to provide a microscopic mechanism for angular momentum relaxation. We consider two versions of the model: one with preserved and one with broken sublattice symmetry. A non-equilibrium staggered polarization, that is responsible for the so-called Neel spin-orbit torque, is shown to vanish identically in the symmetric model but may become finite if sublattice symmetry is broken. Similarly, anti-damping spin-orbit torques vanish in the symmetric model but become finite and anisotropic in a model with broken sublattice symmetry. As expected, anti-damping torques also reveal a sizable dependence on impurity concentration. Our numerical analysis also confirms symmetry classification of spin-orbit torques and strong torque anisotropy due to in-plane confinement of electron momenta.


title: Human-grounded Evaluations of Explanation Methods for Text Classification

abstract: Due to the black-box nature of deep learning models, methods for explaining the models' results are crucial to gain trust from humans and support collaboration between AIs and humans. In this paper, we consider several model-agnostic and model-specific explanation methods for CNNs for text classification and conduct three human-grounded evaluations, focusing on different purposes of explanations: (1) revealing model behavior, (2) justifying model predictions, and (3) helping humans investigate uncertain predictions. The results highlight dissimilar qualities of the various explanation methods we consider and show the degree to which these methods could serve for each purpose.


title: Lace Expansion and Mean-Field Behavior for the Random Connection Model

abstract: We study the random connection model driven by a stationary Poisson process. In the first part of the paper, we derive a lace expansion with remainder term in the continuum and bound the coefficients using a new version of the BK inequality. For our main results, we consider three versions of the connection function $\varphi$: a finite-variance version (including the Boolean model), a spread-out version, and a long-range version. For sufficiently large dimension (resp., spread-out parameter and $d>6$), we then prove the convergence of the lace expansion, derive the triangle condition, and establish an infra-red bound. From this, mean-field behavior of the model can be deduced. As an example, we show that the critical exponent $\gamma$ takes its mean-field value $\gamma=1$ and that the percolation function is continuous.


title: PBH in single field inflation: the effect of shape dispersion and non-Gaussianities

abstract: Primordial black holes (PBHs) may result from high peaks in a random field of cosmological perturbations. In single field inflationary models, such perturbations can be seeded as the inflaton overshoots a small barrier on its way down the potential. PBHs are then produced through two distinct mechanisms, during the radiation era. The first one is the familiar collapse of large adiabatic overdensities. The second one is the collapse induced by relic bubbles where the inflaton field is trapped in a false vacuum, due to large backward fluctuations which prevented horizon sized regions from overshooting the barrier. We consider (numerically and analytically) the effect of non-Gaussianities on the threshold for overdensities to collapse into a PBH. Since typical high peaks have some dispersion in their shape or profile, we also consider the effect of such dispersion on the corresponding threshold for collapse. With these results we estimate the most likely channel for PBH production as a function of the non-Gaussianity parameter $f_{\rm NL}$. We also compare the threshold for collapse coming from the perturbative versus the non perturbative template for the non-Gaussianity arising in this model. We show that i) for $f_{\rm NL}\gtrsim 3.5$, the population of PBH coming from false vacuum regions dominates over that which comes from the collapse of large adiabatic overdensities, ii) the non-perturbative template of the non-Gaussianities is important to get accurate results. iii) the effect of the dispersion is small in determining the threshold for the compaction function, although it can be appreciable in determining the threshold amplitude for the curvature perturbation at low $f_{\rm NL}$. We also confirm that the volume averaged compaction function provides a very accurate universal estimator for the threshold.


title: On the Power of Multiple Anonymous Messages

abstract: An exciting new development in differential privacy is the shuffled model, in which an anonymous channel enables non-interactive, differentially private protocols with error much smaller than what is possible in the local model, while relying on weaker trust assumptions than in the central model. In this paper, we study basic counting problems in the shuffled model and establish separations between the error that can be achieved in the single-message shuffled model and in the shuffled model with multiple messages per user. For the problem of frequency estimation for $n$ users and a domain of size $B$, we obtain: - A nearly tight lower bound of $\tilde{\Omega}( \min(\sqrt[4]{n}, \sqrt{B}))$ on the error in the single-message shuffled model. This implies that the protocols obtained from the amplification via shuffling work of Erlingsson et al. (SODA 2019) and Balle et al. (Crypto 2019) are essentially optimal for single-message protocols. A key ingredient in the proof is a lower bound on the error of locally-private frequency estimation in the low-privacy (aka high $\epsilon$) regime. - Protocols in the multi-message shuffled model with $poly(\log{B}, \log{n})$ bits of communication per user and $poly\log{B}$ error, which provide an exponential improvement on the error compared to what is possible with single-message algorithms. For the related selection problem on a domain of size $B$, we prove: - A nearly tight lower bound of $\Omega(B)$ on the number of users in the single-message shuffled model. This significantly improves on the $\Omega(B^{1/17})$ lower bound obtained by Cheu et al. (Eurocrypt 2019), and when combined with their $\tilde{O}(\sqrt{B})$-error multi-message protocol, implies the first separation between single-message and multi-message protocols for this problem.


title: A Generalization of the Tristram-Levine Knot Signatures as a Singular Furuta-Ohta Invariant for Tori

abstract: Given a knot $K$ inside an integer homology sphere $Y$, the Casson-Lin-Herald invariant can be interpreted as a signed count of conjugacy classes of irreducible representations of the knot complement into $SU(2)$ which map the meridian of the knot to a fixed conjugacy class. It has the interesting feature that it determines the Tristram-Levine signature of the knot associated to the conjugacy class chosen. Turning things around, given a 4-manifold $X$ with the integral homology of $S^{1}\times S^{3}$, and an embedded torus $T$ inside $X$ such that $H_{1}(T;\mathbb{Z})$ surjects onto $H_{1}(X;\mathbb{Z})$, we define a signed count of conjugacy classes of irreducible representations of the torus complement into $SU(2)$ which satisfy an analogous fixed conjugacy class condition to the one mentioned above for the knot case. Our count recovers the Casson-Lin-Herald invariant of the knot in the product case, thus it can be regarded as implicitly defining a Tristram-Levine signature for tori. This count can also be considered as a singular Furuta-Ohta invariant, and it is a special case of a larger family of Donaldson invariants which we also define. In particular, when $(X,T)$ is obtained from a self-concordance of a knot $(Y,K)$ satisfying an admissibility condition, these Donaldson invariants are related to the Lefschetz number of an Instanton Floer homology for knots which we construct. Moreover, from these Floer groups we obtain Fr{\o}yshov invariants for knots which allows us to assign a Fr{\o}yshov invariant to an embedded torus whenever it arises from such a self-concordance.


title: Automating Agential Reasoning: Proof-Calculi and Syntactic Decidability for STIT Logics

abstract: This work provides proof-search algorithms and automated counter-model extraction for a class of STIT logics. With this, we answer an open problem concerning syntactic decision procedures and cut-free calculi for STIT logics. A new class of cut-free complete labelled sequent calculi G3LdmL^m_n, for multi-agent STIT with at most n-many choices, is introduced. We refine the calculi G3LdmL^m_n through the use of propagation rules and demonstrate the admissibility of their structural rules, resulting in auxiliary calculi Ldm^m_nL. In the single-agent case, we show that the refined calculi Ldm^m_nL derive theorems within a restricted class of (forestlike) sequents, allowing us to provide proof-search algorithms that decide single-agent STIT logics. We prove that the proof-search algorithms are correct and terminate.


title: Raman response in the nematic phase of FeSe

abstract: Raman experiments on bulk FeSe revealed that the low-frequency part of $B_{1g}$ Raman response $R_{B_{1g}}$, which probes nematic fluctuations, rapidly decreases below the nematic transition at $T_n \sim 85$K. Such behavior is usually associated with the gap opening and at a first glance is inconsistent with the fact that FeSe remains a metal below $T_n$, with sizable hole and electron pockets. We argue that the drop of $R_{B_{1g}}$ in a nematic metal comes about because the nematic order drastically changes the orbital content of the pockets and makes them nearly mono-orbital. In this situation $B_{1g}$ Raman response gets reduced by the same vertex corrections that enforce charge conservation. The reduction holds at low frequencies and gives rise to gap-like behavior of $R_{B_{1g}}$, in full agreement with the experimental data.


title: Spin-1/2 XXZ Heisenberg chain in a longitudinal magnetic field

abstract: We study the XXZ Heisenberg model in a longitudinal magnetic field using a tensor renormalization method. Built into the tensor representation of the XXZ model is the U(1) symmetry, which is systematically maintained at each renormalization step. This enables rather large tensor representations. We extract ground state properties as well as the low lying spectrum from the fixed point tensors. With rather moderate numerical effort we achieve a very good accuracy as demonstrated by comparison with Bethe Ansatz calculations. The phase structure of the model can be accurately reproduced just from the largest fixed point tensor elements.


title: Some unlimited families of minimal surfaces of general type with the canonical map of degree 8

abstract: In this note, we construct nine families of projective complex minimal surfaces of general type having the canonical map of degree 8 and irregularity 0 or 1. For six of these families the canonical system has a non trivial fixed part.


title: Introduction to Geodetic Time Series Analysis

abstract: This contribution is the chapter 2 of the book "geodetic time series analysis" (10.1007/978-3-030-21718-1). The book is dedicated to the art of fitting a trajectory model to those geodetic time series in order to extract accurate geophysical information with realistic error bars in geodymanics and environmental geodesy related studies. In the vast amount of the literature published on this topic in the past 25 years, we are specifically interested in parametric algorithms which are estimating both functional and stochastic models using various Bayesian statistical tools (maximum likelihood, Monte Carlo Markov chain, Kalman filter, least squares variance component estimation, information criteria). This chapter will focus on how the parameters of the trajectory model can be estimated. It is meant to give researchers new to this topic an easy introduction to the theory with references to key books and articles where more details can be found. In addition, we hope that it refreshes some of the details for the more experienced readers. We pay special attention to the modelling of the noise which has received much attention in the literature in the last years and highlight some of the numerical aspects.


title: Improving Deep Transformer with Depth-Scaled Initialization and Merged Attention

abstract: The general trend in NLP is towards increasing model capacity and performance via deeper neural networks. However, simply stacking more layers of the popular Transformer architecture for machine translation results in poor convergence and high computational overhead. Our empirical analysis suggests that convergence is poor due to gradient vanishing caused by the interaction between residual connections and layer normalization. We propose depth-scaled initialization (DS-Init), which decreases parameter variance at the initialization stage, and reduces output variance of residual connections so as to ease gradient back-propagation through normalization layers. To address computational cost, we propose a merged attention sublayer (MAtt) which combines a simplified averagebased self-attention sublayer and the encoderdecoder attention sublayer on the decoder side. Results on WMT and IWSLT translation tasks with five translation directions show that deep Transformers with DS-Init and MAtt can substantially outperform their base counterpart in terms of BLEU (+1.1 BLEU on average for 12-layer models), while matching the decoding speed of the baseline model thanks to the efficiency improvements of MAtt.


title: Improved Storage for Efficient Private Information Retrieval

abstract: We consider the problem of private information retrieval from $N$ \emph{storage-constrained} databases. In this problem, a user wishes to retrieve a single message out of $M$ messages (of size $L$) without revealing any information about the identity of the message to individual databases. Each database stores $\mu ML$ symbols, i.e., a $\mu$ fraction of the entire library, where $\frac{1}{N} \leq \mu \leq 1$. Our goal is to characterize the optimal tradeoff curve for the storage cost (captured by $\mu$) and the normalized download cost ($D/L$). We show that the download cost can be reduced by employing a hybrid storage scheme that combines \emph{MDS coding} ideas with \emph{uncoded partial replication} ideas. When there is no coding, our scheme reduces to Attia-Kumar-Tandon storage scheme, which was initially introduced by Maddah-Ali-Niesen in the context of the caching problem, and when there is no uncoded partial replication, our scheme reduces to Banawan-Ulukus storage scheme; in general, our scheme outperforms both.


title: The Case for Strangulation in Low-Mass Hosts: DDO 113

abstract: We investigate the case for environmental quenching of the Fornax-mass satellite DDO 113, which lies only 9 kpc in projection from its host, the Large-Magellanic-Cloud-mass galaxy NGC 4214. DDO 113 was quenched about 1 Gyr ago and is virtually gas-free, while analogs in the field are predominantly star-forming and gas-rich. We use deep imaging obtained with the Large Binocular Telescope to show that DDO 113 exhibits no evidence of tidal disruption to a surface brightness of $\mu_V\sim29$ mag $\text{arcsec}^{-2}$, based on both unresolved emission and resolved stars. Mass-analogs of DDO 113 in Illustris-1 with similar hosts, small projected separations, and no significant tidal stripping first fell into their host halo 2--6 Gyr ago, showing that tidal features (or lack thereof) can be used to constrain infall times in systems where there are few other constraints on the orbit of the satellite. With the infall time setting the clock for environmental quenching mechanisms, we investigate the plausibility of several such mechanisms. We find that strangulation, the cessation of cold gas inflows, is likely the dominant quenching mechanism for DDO 113, requiring a time-averaged mass-loading factor of $\eta=6-11$ for star-formation-driven outflows that is consistent with theoretical and observational constraints. Motivated by recent numerical work, we connect DDO 113's strangulation to the presence of a cool circumgalactic medium (CGM) around NGC 4214. This discovery shows that the CGM of low-mass galaxies can affect their satellites significantly and motivates further work on understanding the baryon cycle in low-mass galaxies.


title: Comments on a Recent Review Paper on Near-Sun Comets

abstract: It is noted that some results of the author's research papers cited in the comprehensive review paper "The Science of Sungrazers, Sunskirters, and Other Near-Sun Comets" by G. H. Jones et al. (2018) have been factually misrepresented. The purpose of this note is to offer (i) revisions in order to correct the numerous errors and inaccuracies and (ii) additions where the text is confusing.


title: Extracting the Temperature of a Coronal Loop in the Solar Active Region 11092

abstract: Extracting the temperature of coronal loops is effective in the analysis of solar active region's loops and helps in better understanding of coronal events. To this end, various methods have already been developed like the method developed by Aschwanden et al. 2015 \cite{AschwandenB2015} which is based on Gaussian fit for Differential Emission Measure (DEM). Here, we use the intensity ratios of the images in three different wavelengths and the temperature response functions of AIA to extract the temperature of the loop. In this paper, we use EUV images of the solar active region 11092 taken by AIA instrument of the SDO satellite at 171, 193, and 211 $A^{0}$ wavelengths, at 1th of August, 2010. We select a loop in a subregion of 11092 and extract its temperature by the help of intensity profiles in different wavelengths and thermal response functions of different filters. In this subregion cooling of the loop happens and in the selected loop, highest relative intensity of the wavelengths of 171 $A^{0}$ to 193 $A^{0}$ was obtained to be $0.76$ and this number was estimated to correspond to the temperature of 1.3 million degree of Kelvin, which is the maximum temperature point of this loop's internal area. The highest values of the intensity ratios at the wavelengths of 211$A^{0}$ to 193$A^{0}$, and 211$A^{0}$ to 171$A^{0}$ are $0.22$ and $0.25$, which correspond to temperature values around 10M and 1.4M Kelvin in sequence, related to the temperature of hotter and more superficial points of the loop respectively. These values are very sensitive to time and differ in time series of this event of the loop intensity variation.


title: Assessing the Influence of Broadband Instrumentation Noise on Parametrically Modulated Superconducting Qubits

abstract: With superconducting transmon qubits --- a promising platform for quantum information processing --- two-qubit gates can be performed using AC signals to modulate a tunable transmon's frequency via magnetic flux through its SQUID loop. However, frequency tunablity introduces an additional dephasing mechanism from magnetic fluctuations. In this work, we experimentally study the contribution of instrumentation noise to flux instability and the resulting error rate of parametrically activated two-qubit gates. Specifically, we measure the qubit coherence time under flux modulation while injecting broadband noise through the flux control channel. We model the noise's effect using a dephasing rate model that matches well to the measured rates, and use it to prescribe a noise floor required to achieve a desired two-qubit gate infidelity. Finally, we demonstrate that low-pass filtering the AC signal used to drive two-qubit gates between the first and second harmonic frequencies can reduce qubit sensitivity to flux noise at the AC sweet spot (ACSS), confirming an earlier theoretical prediction. The framework we present to determine instrumentation noise floors required for high entangling two-qubit gate fidelity should be extensible to other quantum information processing systems.


title: Bosonic sectorized strings and the $(DF)^{2}$ theory

abstract: In this work, we investigate the bosonic chiral string in the sectorized interpretation, computing its spectrum, kinetic action and $3$-point amplitudes. As expected, the bosonic ambitwistor string is recovered in the tensionless limit. We also consider an extension of the bosonic model with current algebras. In that case, we compute the effective action and show that it is essentially the same as the action of the mass-deformed $(DF)^{2}$ theory found by Johansson and Nohle. Aspects which might seem somewhat contrived in the original construction --- such as the inclusion of a scalar transforming in some real representation of the gauge group --- are shown to follow very naturally from the worldsheet formulation of the theory.


title: Computing secure key rates for quantum key distribution with untrusted devices

abstract: Device-independent quantum key distribution (DIQKD) provides the strongest form of secure key exchange, using only the input-output statistics of the devices to achieve information-theoretic security. Although the basic security principles of DIQKD are now well-understood, it remains a technical challenge to derive reliable and robust security bounds for advanced DIQKD protocols that go beyond the previous results based on violations of the CHSH inequality. In this work, we present a framework based on semi-definite programming that gives reliable lower bounds on the asymptotic secret key rate of any QKD protocol using untrusted devices. In particular, our method can in principle be utilized to find achievable secret key rates for any DIQKD protocol, based on the full input-output probability distribution or any choice of Bell inequality. Our method also extends to other DI cryptographic tasks.


title: A Machine Learning Accelerator In-Memory for Energy Harvesting

abstract: There is increasing demand to bring machine learning capabilities to low power devices. By integrating the computational power of machine learning with the deployment capabilities of low power devices, a number of new applications become possible. In some applications, such devices will not even have a battery, and must rely solely on energy harvesting techniques. This puts extreme constraints on the hardware, which must be energy efficient and capable of tolerating interruptions due to power outages. Here, as a representative example, we propose an in-memory support vector machine learning accelerator utilizing non-volatile spintronic memory. The combination of processing-in-memory and non-volatility provides a key advantage in that progress is effectively saved after every operation. This enables instant shut down and restart capabilities with minimal overhead. Additionally, the operations are highly energy efficient leading to low power consumption.


title: Hydrodynamic Effects on the Motility of Crawling Eukaryotic Cells

abstract: Eukaryotic cell motility is crucial during development, wound healing, the immune response, and cancer metastasis. Some eukaryotic cells can swim, but cells more commonly adhere to and crawl along the extracellular matrix. We study the relationship between hydrodynamics and adhesion that describe whether a cell is swimming, crawling, or combining these motions. Our simple model of a cell, based on the three-sphere swimmer, is capable of both swimming and crawling. As cell-matrix adhesion strength increases, the influence of hydrodynamics on migration diminish. Cells with significant adhesion can crawl with speeds much larger than their nonadherent, swimming counterparts. We predict that, while most eukaryotic cells are in the strong-adhesion limit, increasing environment viscosity or decreasing cell-matrix adhesion could lead to significant hydrodynamic effects even in crawling cells. Signatures of hydrodynamic effects include dependence of cell speed on the medium viscosity or the presence of a nearby substrate and the presence of interactions between noncontacting cells. These signatures will be suppressed at large adhesion strengths, but even strongly adherent cells will generate relevant fluid flows that will advect nearby passive particles and swimmers.


title: The Missing Link in Gravitational-Wave Astronomy: Discoveries waiting in the decihertz range

abstract: The gravitational-wave astronomical revolution began in 2015 with LIGO's observation of the coalescence of two stellar-mass black holes. Over the coming decades, ground-based detectors like LIGO will extend their reach, discovering thousands of stellar-mass binaries. In the 2030s, the space-based LISA will enable gravitational-wave observations of the massive black holes in galactic centres. Between LISA and ground-based observatories lies the unexplored decihertz gravitational-wave frequency band. Here, we propose a Decihertz Observatory to cover this band, and complement observations made by other gravitational-wave observatories. The decihertz band is uniquely suited to observation of intermediate-mass ($\sim 10^2$-$10^4 M_\odot$) black holes, which may form the missing link between stellar-mass and massive black holes, offering a unique opportunity to measure their properties. Decihertz observations will be able to detect stellar-mass binaries days to years before they merge and are observed by ground-based detectors, providing early warning of nearby binary neutron star mergers, and enabling measurements of the eccentricity of binary black holes, providing revealing insights into their formation. Observing decihertz gravitational-waves also opens the possibility of testing fundamental physics in a new laboratory, permitting unique tests of general relativity and the Standard Model of particle physics. Overall, a Decihertz Observatory will answer key questions about how black holes form and evolve across cosmic time, open new avenues for multimessenger astronomy, and advance our understanding of gravitation, particle physics and cosmology.

categories: gr-qc astro-ph.GA astro-ph.HE astro-ph.IM


title: Higgs bosons with large couplings to light quarks

abstract: A common lore has arisen that beyond the Standard Model (BSM) particles, which can be searched for at current and proposed experiments, should have flavorless or mostly third-generation interactions with Standard Model quarks. This theoretical bias severely limits the exploration of BSM phenomenology, and is especially constraining for extended Higgs sectors. Such limitations can be avoided in the context of Spontaneous Flavor Violation (SFV), a robust and UV complete framework that allows for significant couplings to any up or down-type quark, while suppressing flavor-changing neutral currents via flavor alignment. In this work we study the theory and phenomenology of extended SFV Higgs sectors with large couplings to any quark generation. We perform a comprehensive analysis of flavor and collider constraints of extended SFV Higgs sectors, and demonstrate that new Higgs bosons with large couplings to the light quarks may be found at the electroweak scale. In particular, we find that new Higgses as light as 100 GeV with order $\sim$ 0.1 couplings to first or second generation quarks, which are copiously produced at LHC via quark fusion, are allowed by current constraints. Furthermore, the additional SFV Higgses can mix with the SM Higgs, providing strong theory motivation for an experimental program looking for deviations in the light quark-Higgs couplings. Our work demonstrates the importance of exploring BSM physics coupled preferentially to light quarks, and the need to further develop dedicated experimental techniques for the LHC and future colliders.


title: Dust accretion in binary systems: implications for planets and transition discs

abstract: The presence of planets in binary systems poses interesting problems for planet formation theories, both in cases where planets must have formed in very compact discs around the individual stars and where they are located near the edge of the stable circumbinary region, where in situ formation is challenging. Dust dynamics is expected to play an important role in such systems, since dust trapping at the inner edge of circumbinary discs could aid in situ formation, but would simultaneously starve the circumstellar discs of the solid material needed to form planets. Here we investigate the dynamics of dust in binary systems using Smooth Particle Hydrodynamics. We find that all our simulations tend towards dust trapping in the circumbinary disc, but the timescale on which trapping begins depends on binary mass ratio ($q$) and eccentricity as well as the angular momentum of the infalling material. For $q \gtrsim 0.1$, we find that dust can initially accrete onto the circumstellar discs, but as the circumbinary cavity grows in radius, dust eventually becomes trapped in the circumbinary disc. For $q = 0.01$, we find that increasing the binary eccentricity increases the time required for dust trapping to begin. However, even this longer timescale is likely to be shorter than the planet formation timescale in the inner disc and is insufficient to explain the observed pre-transitional discs. This indicates that increase in companion eccentricity alone is not enough to allow significant transfer of solids from the outer to the inner disc.