title: Multi-stage Pretraining for Abstractive Summarization

abstract: Neural models for abstractive summarization tend to achieve the best performance in the presence of highly specialized, summarization specific modeling add-ons such as pointer-generator, coverage-modeling, and inferencetime heuristics. We show here that pretraining can complement such modeling advancements to yield improved results in both short-form and long-form abstractive summarization using two key concepts: full-network initialization and multi-stage pretraining. Our method allows the model to transitively benefit from multiple pretraining tasks, from generic language tasks to a specialized summarization task to an even more specialized one such as bullet-based summarization. Using this approach, we demonstrate improvements of 1.05 ROUGE-L points on the Gigaword benchmark and 1.78 ROUGE-L points on the CNN/DailyMail benchmark, compared to a randomly-initialized baseline.


title: Criticality of the $O(2)$ model with cubic anisotropies from nonperturbative renormalization

abstract: We study the $O(2)$ model with $\mathbb{Z}_4$-symmetric perturbations within the framework of nonperturbative renormalization group (RG) for spatial dimensionality $d=2$ and $d=3$. In a unified framework we resolve the relatively complex crossover behavior emergent due to the presence of multiple RG fixed points. In $d=3$ the system is controlled by the $XY$, Ising, and low-$T$ fixed points in presence of a dangerously irrelevant anisotropy coupling $\lambda$. In $d=2$ the anisotropy coupling is marginal and the physical picture is governed by the interplay between two distinct lines of RG fixed points, giving rise to nonuniversal critical behavior; and an isolated Ising fixed point. In addition to inducing crossover behavior in universal properties, the presence of the Ising fixed point yields a generic, abrupt change of critical temperature at a specific value of the anisotropy field.


title: Programming patchy particles to form complex periodic structures

abstract: We introduce a scheme to design patchy particles so that a given target crystal is the global free-energy minimum at sufficiently low temperature. A key feature is a torsional component to the potential that only allows binding when particles have the correct relative orientations. In all examples studied, the target crystal structures readily assembled on annealing from a low-density fluid phase, albeit with the simpler target structures assembling more rapidly. The most complex example was a clathrate with 46 particles in its primitive unit cell. We also explored whether the structural information encoded in the particle interactions could be further reduced. For example, removing the torsional restrictions led to the assembly of an alternative crystal structure for the BC8-forming design, but the more complex clathrate design was still able to assemble because of the greater remaining specificity.


title: SN 2015an: a normal luminosity type II supernova with low expansion velocity at early phases

abstract: We present the photometry and spectroscopy of SN 2015an, a Type II Supernova (SN) in IC 2367. The recombination phase of the SN lasts up to $\sim$120 d, with a decline rate of 1.24 mag/100d, higher than the typical SNe IIP. The SN exhibits bluer colours than most SNe II, indicating higher ejecta temperatures. The absolute $V$-band magnitude of SN 2015an at 50 d is $-$16.83$\pm$0.04 mag, pretty typical for SNe II. However, the $^{56}$Ni mass yield, estimated from the tail $V$-band light curve to be 0.021$\pm$0.010 M$_\odot$, is comparatively low. The spectral properties of SN 2015an are atypical, with low H$\alpha$ expansion velocity and presence of high velocity component of H$\alpha$ at early phases. Moreover, the continuum exhibits excess blue flux up to $\sim$50 d, which is interpreted as a progenitor metallicity effect. The high velocity feature indicates ejecta-circumstellar material interaction at early phases. The semi-analytical modelling of the bolometric light curve yields a total ejected mass of $\sim$12 M$_\odot$, a pre-supernova radius of $\sim$388~R$_\odot$ and explosion energy of $\sim$1.8 foe.


title: Incompleteness and Jump Hierarchies

abstract: This paper is an investigation of the relationship between G\"odel's second incompleteness theorem and the well-foundedness of jump hierarchies. It follows from a classic theorem of Spector's that the relation $\{(A,B) \in \mathbb{R}^2 : \mathcal{O}^A \leq_H B\}$ is well-founded. We provide an alternative proof of this fact that uses G\"odel's second incompleteness theorem instead of the theory of admissible ordinals. We then derive a semantic version of the second incompleteness theorem, originally due to Mummert and Simpson, from this result. Finally, we turn to the calculation of the ranks of reals in this well-founded relation. We prove that, for any $A\in\mathbb{R}$, if the rank of $A$ is $\alpha$, then $\omega_1^A$ is the $(1 + \alpha)^{\text{th}}$ admissible ordinal. It follows, assuming suitable large cardinal hypotheses, that, on a cone, the rank of $X$ is $\omega_1^X$.


title: Topological Data Analysis (TDA) for Time Series

abstract: The study of topology is strictly speaking, a topic in pure mathematics. However in only a few years, Topological Data Analysis (TDA), which refers to methods of utilizing topological features in data (such as connected components, tunnels, voids, etc.) has gained considerable momentum. More recently, TDA is being used to understand time series. This article provides a review of TDA for time series, with examples using R functions. Features derived from TDA are useful in classification and clustering of time series and in detecting breaks in patterns.


title: Fermi and Swift Observations of GRB 190114C: Tracing the Evolution of High-Energy Emission from Prompt to Afterglow

abstract: We report on the observations of gamma-ray burst (GRB) 190114C by the Fermi Gamma-ray Space Telescope and the Neil Gehrels Swift Observatory. The early-time observations reveal multiple emission components that evolve independently, with a delayed power-law component that exhibits significant spectral attenuation above 40 MeV in the first few seconds of the burst. This power-law component transitions to a harder spectrum that is consistent with the afterglow emission observed at later times. This afterglow component is clearly identifiable in the GBM and BAT light curves as a slowly fading emission component on which the rest of the prompt emission is superimposed. As a result, we are able to constrain the transition from internal shock to external shock dominated emission. We find that the temporal and spectral evolution of the broadband afterglow emission can be well modeled as synchrotron emission from a forward shock propagating into a wind-like circumstellar environment and find that high-energy photons observed by Fermi LAT are in tension with the theoretical maximum energy that can be achieved through synchrotron emission from a shock. These violations of the maximum synchrotron energy are further compounded by the detection of very high energy (VHE) emission above 300 GeV by MAGIC concurrent with our observations. We conclude that the observations of VHE photons from GRB 190114C necessitates either an additional emission mechanism at very high energies that is hidden in the synchrotron component in the LAT energy range, an acceleration mechanism that imparts energy to the particles at a rate that is faster than the electron synchrotron energy loss rate, or revisions of the fundamental assumptions used in estimating the maximum photon energy attainable through the synchrotron process.


title: Camassa-Holm and M-CIV equations with self-consistent sources: geometry and peakon solutions

abstract: In this paper, we study one of generalized Heisenberg ferromagnet equations with self-consistent sources, namely, the so-called M-CIV equation with self-consistent sources (M-CIVESCS). The Lax representation of the M-CIVESCS is presented. We have shown that the M-CIVESCS and the CH equation with self-consistent sources (CHESCS) is geometrically equivalent each to other. The gauge equivalence between these equations is proved. Soliton (peakon) and pseudo-spherical surfaces induced by these equations are considered. The one peakon solution of the M-CIVESCS is presented.


title: Adaptive level set topology optimization using hierarchical B-splines

abstract: This paper presents an adaptive discretization strategy for level set topology optimization of structures based on hierarchical B-splines. This work focuses on the influence of the discretization approach and the adaptation strategy on the optimization results and computational cost. The geometry of the design is represented implicitly by the iso-contour of a level set function. An immersed boundary technique, here the extended finite element method, is used to predict the structural response. Both the level set function and the state variable fields are discretized by hierarchical B-splines. While only first-order B-splines are used for the state variable fields, up to third order B-splines are considered for discretizing the level set function. The discretizations of the level set function and the state variable fields are locally refined along the material interfaces and selectively coarsened within the bulk phases. For locally refined/coarsened meshes, truncated B-splines are considered. The properties of the proposed mesh adaptation strategy are studied for level set topology optimization where either the initial design is comprised of a uniform array of inclusions or inclusions are generated during the optimization process. Numerical studies employing static linear elastic material/void problems in 2D and 3D demonstrate the ability of the proposed method to start from a coarse mesh and converge to designs with complex geometries and fine features, reducing the overall computational cost. Comparing optimization results for different B-spline orders suggests that higher order basis functions promote the development of smooth designs and suppress the emergence of small features, without providing an explicit feature size control. A distinct advantage of cubic over quadratic B-splines is not observed.


title: Stationary non-equilibrium solutions for coagulation systems

abstract: We study coagulation equations under non-equilibrium conditions which are induced by the addition of a source term for small cluster sizes. We consider both discrete and continuous coagulation equations, and allow for a large class of coagulation rate kernels, with the main restriction being boundedness from above and below by certain weight functions. The weight functions depend on two power law parameters, and the assumptions cover, in particular, the commonly used free molecular and diffusion limited aggregation coagulation kernels. Our main result shows that the two weight function parameters already determine whether there exists a stationary solution under the presence of a source term. In particular, we find that the diffusive kernel allows for the existence of stationary solutions while there cannot be any such solutions for the free molecular kernel. The argument to prove the non-existence of solutions relies on a novel power law lower bound, valid in the appropriate parameter regime, for the decay of stationary solutions with a constant flux. We obtain optimal lower and upper estimates of the solutions for large cluster sizes, and prove that the solutions of the discrete model behave asymptotically as solutions of the continuous model.


title: Eco: A Hardware-Software Co-Design for In Situ Power Measurement on Low-end IoT Systems

abstract: Energy-constrained sensor nodes can adaptively optimize their energy consumption if a continuous measurement exists. This is of particular importance in scenarios of high dynamics such as energy harvesting or adaptive task scheduling. However, self-measuring of power consumption at reasonable cost and complexity is unavailable as a generic system service. In this paper, we present Eco, a hardware-software co-design enabling generic energy management on IoT nodes. Eco is tailored to devices with limited resources and thus targets most of the upcoming IoT scenarios. The proposed measurement module combines commodity components with a common system interfaces to achieve easy, flexible integration with various hardware platforms and the RIOT IoT operating system. We thoroughly evaluate and compare accuracy and overhead. Our findings indicate that our commodity design competes well with highly optimized solutions, while being significantly more versatile. We employ Eco for energy management on RIOT and validate its readiness for deployment in a five-week field trial integrated with energy harvesting.


title: Topology of leaves of generic logarithmic foliations on $\mathbb{CP}^2$

abstract: We describe the topological types of leaves of generic logarithmic foliations on the complex projective plane. We prove that all leaves, except for a finite many are biholomorphic to $\mathbb{C}$ or homeomorphic to the surface known as Loch Ness monster.


title: Nanostructured La0.5Ba0.5CoO3 as cathode for solid oxide fuel cells

abstract: A simple method has been used to synthesize nanostructured La0.5Ba0.5CoO3 (LBCO) powders, by confining chemical precursors into the pores of polycarbonate filters. The proposed method allows us to obtain powders formed by crystallites of different sizes, it is scalable and does not involve the use of sophisticated deposition techniques. The area specific polarization resistance of symmetrical cells was studied to analyze the electrochemical behavior of the LBCO nanostructures as cathodes for Solid-Oxide Fuel Cells. We show that the performance is improved by reducing the size of the crystallites, obtaining area specific resistance values of 0.2 Wcm2 at 700C, comparable with newly developed cathodes using novel deposition techniques.


title: Justification of quasi-stationary approximation in models of gene expression of a self-regulating protein

abstract: We analyse a model of Hes1 gene transcription and protein synthesis with a negative feedback loop. The effect of multiple binding sites in the Hes1 promoter as well as the dimer formation process are taken into account. We consider three, possibly different, time scales connected with: (i) the process of binding to/dissolving from a binding site, (ii) formation and dissociation of dimers, (iii) production and degradation of Hes1 protein and its mRNA. Assuming that the first two processes are much faster than the third one, using the Tikhonov theorem, we reduce in two steps the full model to the classical Hes1 model. In the intermediate step two different models are derived depending on the relation between the time scales of processes (i) and (ii). The asymptotic behaviour of the solutions of systems are studied. We investigate the stability of the positive steady state and perform some numerical experiments showing differences in dynamics of the considered models.


title: Nanosecond Reversal of Three-Terminal Spin Hall Effect Memories Sustained at Cryogenic Temperatures

abstract: We characterize the nanosecond pulse switching performance of the three-terminal magnetic tunnel junctions (MTJs), driven by the spin Hall effect (SHE) in the channel, at a cryogenic temperature of 3 K. The SHE-MTJ devices exhibit reasonable magnetic switching and reliable current switching by as short pulses as 1 ns of $<10^{12}$ A/m$^{2}$ magnitude, exceeding the expectation from conventional macrospin model. The pulse switching bit error rates reach below $10^{-6}$ for < 10 ns pulses. Similar performance is achieved with exponentially decaying pulses expected to be delivered to the SHE-MTJ device by a nanocryotron device in parallel configuration of a realistic memory cell structure. These results suggest the viability of the SHE-MTJ structure as a cryogenic memory element for exascale superconducting computing systems.


title: Acceptable Planning: Influencing Individual Behavior to Reduce Transportation Energy Expenditure of a City

abstract: Our research aims at developing intelligent systems to reduce the transportation-related energy expenditure of a large city by influencing individual behavior. We introduce COPTER - an intelligent travel assistant that evaluates multi-modal travel alternatives to find a plan that is acceptable to a person given their context and preferences. We propose a formulation for acceptable planning that brings together ideas from AI, machine learning, and economics. This formulation has been incorporated in COPTER that produces acceptable plans in real-time. We adopt a novel empirical evaluation framework that combines human decision data with a high fidelity multi-modal transportation simulation to demonstrate a 4\% energy reduction and 20\% delay reduction in a realistic deployment scenario in Los Angeles, California, USA.


title: Viscous electron fluids

abstract: Recent advances in materials science have made it possible to achieve conditions under which electrons in metals start behaving as highly viscous fluids, "thicker than honey", and exhibit fascinating hydrodynamic effects. In this short review we provide a popular introduction to the emerging field of electron hydrodynamics.


title: Compiler-Level Matrix Multiplication Optimization for Deep Learning

abstract: An important linear algebra routine, GEneral Matrix Multiplication (GEMM), is a fundamental operator in deep learning. Compilers need to translate these routines into low-level code optimized for specific hardware. Compiler-level optimization of GEMM has significant performance impact on training and executing deep learning models. However, most deep learning frameworks rely on hardware-specific operator libraries in which GEMM optimization has been mostly achieved by manual tuning, which restricts the performance on different target hardware. In this paper, we propose two novel algorithms for GEMM optimization based on the TVM framework, a lightweight Greedy Best First Search (G-BFS) method based on heuristic search, and a Neighborhood Actor Advantage Critic (N-A2C) method based on reinforcement learning. Experimental results show significant performance improvement of the proposed methods, in both the optimality of the solution and the cost of search in terms of time and fraction of the search space explored. Specifically, the proposed methods achieve 24% and 40% savings in GEMM computation time over state-of-the-art XGBoost and RNN methods, respectively, while exploring only 0.1% of the search space. The proposed approaches have potential to be applied to other operator-level optimizations.


title: Josephson junctions with spin-orbit and spin-flip interactions

abstract: In this thesis we study short Josephson junctions which include a region with Rashba spin-orbit coupling effect. Our junctions consists of two superconductors (S) and a 2-dimensional electron gas (2DEG) layer between them: S/2DEG/S junction. We also include two thin insulating interfaces between the superconductors and the 2DEG, which are capable of both normal and spin-flip scattering. The junctions we study are assumed to be in the ballistic limit and so, we do not consider the effects of impurities. The basic equations we use for our model are the Bogoliubov-de Gennes equations. We give particular emphasis in the relation between the supercurrent of the junction as a function of difference of the phase parameters of the two superconductors. We study thoroughly how this relation differs to the change of the junction's length, the spin-orbit coupling constant, the normal scattering strength and the spin-flip scattering strength and direction. We are also interested in the 0-$\pi$ transition and the second harmonic appearance, as well as the symmetries which occur in the current-phase relation, for different geometries of the two spin-flip interfaces. In addition, we show how the Critical current of our junction is affected to the change of the above parameters and under which conditions it is optimized. Finally, we study the supercurrent flowing at zero phase difference (ZPC) of the two superconductors. We emphasize the conditions under which it is non-zero and also examine the cases it becomes maximized.


title: Why Does Hierarchy (Sometimes) Work So Well in Reinforcement Learning?

abstract: Hierarchical reinforcement learning has demonstrated significant success at solving difficult reinforcement learning (RL) tasks. Previous works have motivated the use of hierarchy by appealing to a number of intuitive benefits, including learning over temporally extended transitions, exploring over temporally extended periods, and training and exploring in a more semantically meaningful action space, among others. However, in fully observed, Markovian settings, it is not immediately clear why hierarchical RL should provide benefits over standard "shallow" RL architectures. In this work, we isolate and evaluate the claimed benefits of hierarchical RL on a suite of tasks encompassing locomotion, navigation, and manipulation. Surprisingly, we find that most of the observed benefits of hierarchy can be attributed to improved exploration, as opposed to easier policy learning or imposed hierarchical structures. Given this insight, we present exploration techniques inspired by hierarchy that achieve performance competitive with hierarchical RL while at the same time being much simpler to use and implement.


title: Carath\'eodory-type extension theorem with respect to prime end boundaries

abstract: We prove a Carath\'eodory-type extension of BQS homeomorphisms between two domains in proper, locally path-connected metric spaces as homeomorphisms between their prime end closures. We also give a Carath\'eodory-type extension of geometric quasiconformal mappings between two such domains provided the two domains are both Ahlfors $Q$-regular and support a $Q$-Poincar\'e inequality when equipped with their respective Mazurkiewicz metrics. We also provide examples to demonstrate the strengths and weaknesses of prime end closures in this context.


title: The classification of ERP G2-structures on Lie groups

abstract: A complete classification of left-invariant closed G2-structures on Lie groups which are extremally Ricci pinched, up to equivalence and scaling, is obtained. There are five of them, they are defined on five different completely solvable Lie groups and the G2-structure is exact in all cases except one, given by the only example in which the Lie group is unimodular.


title: CutLang: a cut-based HEP analysis description language and runtime interpreter

abstract: We present CutLang, an analysis description language and runtime interpreter for high energy collider physics data analyses. An analysis description language is a declerative domain specific language that can express all elements of a data analysis in an easy and unambiguous way. A full-fledged human readable analysis description language, incorporating logical and mathematical expressions, would eliminate many programming difficulties and errors, consequently allowing the scientist to focus on the goal, but not on the tool. In this paper, we discuss the guiding principles and scope of the CutLang language, implementation of the CutLang runtime interpreter and the CutLang framework, and demonstrate an example of top pair reconstruction.


title: Compiling Stochastic Constraint Programs to And-Or Decision Diagrams

abstract: Factored stochastic constraint programming (FSCP) is a formalism to represent multi-stage decision making problems under uncertainty. FSCP models support factorized probabilistic models and involve constraints over decision and random variables. These models have many applications in real-world problems. However, solving these problems requires evaluating the best course of action for each possible outcome of the random variables and hence is computationally challenging. FSCP problems often involve repeated subproblems which ideally should be solved once. In this paper we show how identifying and exploiting these identical subproblems can simplify solving them and leads to a compact representation of the solution. We compile an And-Or search tree to a compact decision diagram. Preliminary experiments show that our proposed method significantly improves the search efficiency by reducing the size of the problem and outperforms the existing methods.


title: Moduli Spaces of Morse Functions for Persistence

abstract: We consider different notions of equivalence for Morse functions on the sphere in the context of persistent homology, and introduce new invariants to study these equivalence classes. These new invariants are as simple, but more discerning than existing topological invariants, such as persistence barcodes and Reeb graphs. We give a method to relate any two Morse--Smale vector fields on the sphere by a sequence of fundamental moves by considering graph-equivalent Morse functions. We also explore the combinatorially rich world of height-equivalent Morse functions, considered as height functions of embedded spheres in $\mathbf R^3$. Their level-set invariant, a poset generated by nested disks and annuli from levels sets, gives insight into the moduli space of Morse functions sharing the same persistence barcode.


title: Optomechanical generation of a mechanical catlike state by phonon subtraction

abstract: We propose a scheme to prepare a macroscopic mechanical oscillator in a catlike state, close to a coherent state superposition. The mechanical oscillator, coupled by radiation-pressure interaction to a field in an optical cavity, is first prepared close to a squeezed vacuum state using a reservoir engineering technique. The system is then probed using a short optical pulse tuned to the lower motional sideband of the cavity resonance, realizing a photon-phonon swap interaction. A photon number measurement of the photons emerging from the cavity then conditions a phonon-subtracted catlike state with a negative Wigner distribution exhibiting separated peaks and multiple interference fringes. We show that this scheme is feasible using state-of-the-art photonic crystal optomechanical system.


title: Geometric criteria for $C^{1,\alpha}$ rectifiability

abstract: We prove criteria for $\mathcal{H}^k$-rectifiability of subsets of $\mathbb{R}^n$ with $C^{1,\alpha}$ maps, $0<\alpha\leq 1$, in terms of suitable approximate tangent paraboloids. We also provide a version for the case when there is not an a priori tangent plane, measuring on dyadic scales how close the set is to lying in a $k$-plane. We then discuss the relation with similar criteria involving Peter Jones' $\beta$ numbers, in particular proving that a sufficient condition is the boundedness for small $r$ of $r^{-\alpha}\beta_p(x,r)$ for $\mathcal{H}^k$-a.e. $x$ and for any $1\leq p\leq \infty$.


title: Standard Model of Particle Physics Violating Crypto-Nonlocal Realism

abstract: It has been well established that quantum mechanics (QM) violates Bell inequalities (BI), which are consequences of local realism (LR). Remarkably QM also violates Leggett inequalities (LI), which are consequences of a class of nonlocal realism called crypto-nonlocal realism (CNR). Both LR and CNR assume that measurement outcomes are determined by preexisting objective properties, as well as hidden variables (HV) not considered in QM. We extend CNR and LI to include the case that the measurement settings are not externally fixed, but determined by hidden variables (HV). We derive a new version of LI, which is then shown to be violated by entangled $B_d$ mesons, if charge-conjugation-parity (CP) symmetry is indirectly violated, as indeed established. The experimental result is quantitatively estimated by using the indirect CP violation parameter, and the maximum of a suitably defined relative violation is about $2.7\%$. Our work implies that standard model (SM) of particle physics violates CNR. Our LI can also be tested in other systems such as photon polarizations.


title: Breaking of Lorentz Invariance in Electron-Proton Parity Violation

abstract: A popular framework for exploring Lorentz violation is the Standard Model Extension. This extension contains a large number of parameters that can be bounded in various experiments. Most studies, however, focus on the fermion or photon sector. Here, we consider Lorentz violation in the weak vector boson sector. The strongest bounds come from measurements of the asymmetry in Moller scattering. We study the bounds that can be obtained from future measurements of the parity violating asymmetry in deep inelastic electron-proton scattering at the EIC, the LHeC and the FCC-eh. For the FCC-eh, the bounds could be substantially improved over current bounds by including timing information.


title: Characterizing quantum detectors by Wigner functions

abstract: We propose a method for characterizing a photodetector by directly reconstructing the Wigner functions of the detector's Positive-Operator-Value-Measure (POVM) elements. This method extends the works of S. Wallentowitz and Vogel [Phys. Rev. A 53, 4528 (1996)] and Banaszek and W\'odkiewicz [Phys. Rev. Lett. 76, 4344 (1996)] for quantum state tomography via weak-field homodyne technique to characterize quantum detectors. The scheme uses displaced thermal mixtures as probes to the detector and reconstructs the Wigner function of the photodetector POVM elements from its outcome statistics. In order to make the reconstruction robust to the experimental noise, we use techniques from quadratic convex optimization.


title: Genarris 2.0: A Random Structure Generator for Molecular Crystals

abstract: Genarris is an open-source Python package for generating random molecular crystal structures with physical constraints for seeding crystal structure prediction algorithms and training machine learning models. Here we present a new version of the code, containing several major improvements. An MPI-based parallelization scheme has been implemented, which facilitates the seamless sequential execution of user-defined workflows. A new method for estimating the unit cell volume based on the single molecule structure has been developed using a machine-learned model trained on experimental structures. A new algorithm has been implemented for generating crystal structures with molecules occupying special Wyckoff positions. A new hierarchical structure check procedure has been developed to detect unphysical close contacts efficiently and accurately. New intermolecular distance settings have been implemented for strong hydrogen bonds. To demonstrate these new features, we study two specific cases: benzene and glycine. For all polymorphs, the final pool either contained the experimental structure, or structures with similar lattice parameters, symmetry, and packing motifs.


title: Comfort-driven mobility produces spatial fragmentation in Axelrod's model

abstract: Axelrod's model for the dissemination of culture combines two key ingredients of social dynamics: social influence, through which people become more similar when they interact, and homophily, which is the tendency of individuals to interact preferentially with similar others. In Axelrod's model, the agents are fixed to the nodes of a network and are allowed to interact with a predetermined set of peers only, resulting in the frustration of a large number of agents that end up culturally isolated. Here we modify this model by allowing the agents to move away from their cultural opposites and stay put when near their cultural likes. The comfort, i.e., the tendency of an agent to stay put in a neighborhood, is determined by the cultural similarity with its neighbors. The less the comfort, the higher the odds that the agents will move apart a fixed step size. We find that the comfort-driven mobility fragments severely the influence network for low initial cultural diversity, resulting in a network composed of only microscopic components in the thermodynamic limit. For high initial cultural diversity and intermediate values of the step size, we find that a macroscopic component coexists with the microscopic ones. The transition between these two fragmentation regimes changes from continuous to discontinuous as the step size increases. In addition, we find that for both very small and very large step sizes the influence network is severely fragmented.


title: Bigger data, better questions, and a return to fourth down behavior: an introduction to a special issue on tracking data in the National football League

abstract: Most historical National Football League (NFL) analysis, both mainstream and academic, has relied on public, play-level data to generate team and player comparisons. Given the number of oft omitted variables that impact on-field results, such as play call, game situation, and opponent strength, findings tend to be more anecdotal than actionable. With the release of player tracking data, however, analysts can better ask and answer questions to isolate skill and strategy. In this article, we highlight the limitations of traditional analyses, and use a decades-old punching bag for analysts, fourth-down strategy, as a microcosm for why tracking data is needed. Specifically, we assert that, in absence of using the precise yardage needed for a first down, past findings supporting an aggressive fourth down strategy may have been overstated. Next, we synthesize recent work that comprises this special Journal of Quantitative Analysis in Sports issue into player tracking data in football. Finally, we conclude with some best practices and limitations regarding usage of this data. The release of player tracking data marks a transition for the league and its' analysts, and we hope this issue helps guide innovation in football analytics for years to come.


title: First-principles study of the infrared spectrum in liquid water from a systematically improved description of H-bond network

abstract: An accurate ab initio theory of the H-bond structure of liquid water requires a high-level exchange correlation approximation from density functional theory. Based on the liquid structures modeled by ab initio molecular dynamics by using maximally localized Wannier functions as a basis, we study the infrared spectrum of water within the canonical ensemble. In particular, we employ both the Perdew-Burke-Ernzerhof (PBE) functional within the generalized gradient approximation (GGA) and the state-of-the-art meta-GGA level approximation provided by the strongly constrained and appropriately normed (SCAN) functional. We demonstrate that the SCAN functional improves not only the water structure but also the theoretical infrared spectrum of water. Our analyses show that the improvement in the stretching and bending bands can be mainly attributed to better descriptions of directional H bonding and the covalency at the inter- and intramolecular levels, respectively. On the other hand, better agreements in libration and hindered translation bands are due to the improved dynamics of the H-bond network enabled by a less structured liquid in the experimental direction. The spectrum predicted by SCAN shows much better agreement with experimental data than the conventionally widely adopted PBE functional at the GGA level.


title: Model-Based Reconstruction for Simultaneous Multi-Slice T1 Mapping using Single-Shot Inversion-Recovery Radial FLASH

abstract: Purpose: To develop a single-shot multi-slice T1 mapping method by combing simultaneous multi-slice (SMS) excitations, single-shot inversion-recovery (IR) radial fast low-angle shot (FLASH) and a nonlinear model-based reconstruction method. Methods: SMS excitations are combined with a single-shot IR radial FLASH sequence for data acquisition. A previously developed single-slice calibrationless model-based reconstruction is extended to SMS, formulating the estimation of parameter maps and coil sensitivities from all slices as a single nonlinear inverse problem. Joint-sparsity constraints are further applied to the parameter maps to improve T1 precision. Validations of the proposed method are performed for a phantom and for the human brain and liver in six healthy adult subjects. Results: Phantom results confirm good T1 accuracy and precision of the simultaneously acquired multi-slice T1 maps in comparison to single-slice references. In-vivo human brain studies demonstrate the better performance of SMS acquisitions compared to the conventional spoke-interleaved multi-slice acquisition using model-based reconstruction. Apart from good accuracy and precision, the results of six healthy subjects in both brain and abdominal studies confirm good repeatability between scan and re-scans. The proposed method can simultaneously acquire T1 maps for five slices of a human brain ($0.75 \times 0.75 \times 5$ mm$^3$) or three slices of the abdomen ($1.25 \times 1.25 \times 6$ mm$^3$) within four seconds. Conclusion: The IR SMS radial FLASH acquisition together with a non-linear model-based reconstruction enable rapid high-resolution multi-slice T1 mapping with good accuracy, precision, and repeatability.


title: Multi-TeV flaring from high energy blazars: An evidence of the photohadronic process

abstract: The high energy peaked blazars are known to undergo episodes of flaring in GeV-TeV gamma-rays involving different time scales and the flaring mechanism is not well understood despite long term simultaneous multiwavelength observations. These gamma-rays en route to Earth undergo attenuation by the extra galactic background light. Using the photohadronic model, where the seed photons follow a power-law spectrum and a template extragalactic background light model, we derive a simple relation between the observed multi-TeV gamma-ray flux and the intrinsic flux with a single parameter. We study 42 flaring epochs of 23 blazars and excellent fit to most of the observed spectra are obtained, strengthening the photohadronic origin of multi-TeV gamma-rays. We can also constrain the power spectrum of the seed photons during the flaring period. The blazars of unknown redshifts, whose multi-TeV flaring spectra are known, stringent bounds on the former can be placed using the photohadronic model.


title: Tuning parameter calibration for prediction in personalized medicine

abstract: Personalized medicine has become an important part of medicine, for instance predicting individual drug responses based on genomic information. However, many current statistical methods are not tailored to this task, because they overlook the individual heterogeneity of patients. In this paper, we look at personalized medicine from a linear regression standpoint. We introduce an alternative version of the ridge estimator and target individuals by establishing a tuning parameter calibration scheme that minimizes prediction errors of individual patients. In stark contrast, classical schemes such as cross-validation minimize prediction errors only on average. We show that our pipeline is optimal in terms of oracle inequalities, fast, and highly effective both in simulations and on real data.


title: The New EXor Outburst of ESO-H-alpha~99 observed by Gaia ATLAS and TESS

abstract: We report photometry and spectroscopy of the outburst of the young stellar object ESO-Halpha 99. The outburst was first noticed in Gaia alert Gaia18dvc and later by ATLAS. We have established the outburst light curve with archival ATLAS ``Orange'' filter photometry, Gaia data, new V-band photometry, and J, H, and K_s photometry from IRIS and UKIRT. The brightness has fluctuated several times near the light curve maximum. The TESS satellite observed ESO-Halpha 99 with high cadence during one of these minor minima and found brightness fluctuations on timescales of days and hours. Imaging with UKIRT shows the outline of an outflow cavity, and we find one knot of H_2 1-0 S(1) emission, now named MHO 1520, on the symmetry axis of this nebula, indicating recent collimated outflow activity from ESO-Halpha 99. Its pre-outburst SED shows a flat FIR spectrum, confirming its early evolutionary state and its similarity to other deeply embedded objects in the broader EXor class. The pre-outburst luminosity is 34 L_sun, a much higher luminosity than typical EXors, indicating that ESO-Halpha 99 may be a star of intermediate mass. Infrared and optical spectroscopy show a rich emission line spectrum, including HI lines, strong red CaII emission, as well as infrared CO bandhead emission, all characteristic EXors in the broadest sense. Comparison of the present spectra with an optical spectrum obtained in 1993, presumably in the quiescent state of the object, shows that during the present outburst the continuum component of the spectrum has increased notably more than the emission lines. The Halpha equivalent width during the outburst is down to one half of its 1993 level, and shock-excited emission lines are much less prominent.


title: Evaporation dynamics of the Sachdev-Ye-Kitaev model

abstract: In this paper, we study the evaporation dynamics of the Sachdev-Ye-Kitaev (SYK) model, with an initial temperature $T_\chi$, by coupling it to a thermal bath with lower temperature $T_\psi<T_\chi$ modeled by a larger SYK model. The coupling between the small system and the bath is turned on at time $t=0$. Then the system begins to envolve and finally becomes thermalized. Using the Keldysh approach, we analyze the relaxation process of the system for different temperatures and couplings. For marginal or irrelevant coupling, after a short-time energy absorption, we find a smooth thermalization of the small system where the energy relaxes before the system become thermalized. The relaxation rate of effective temperature is found to be bounded by $T$, while the energy thermalization rate increases without saturation when increasing the coupling strength. On the contrary, for the relevant coupling case, both energy and effective temperature show oscillations. We find this oscillations frequency to be coincident with the excitation energy of a Majorana operator.


title: Data-driven approximation of the Koopman generator: Model reduction, system identification, and control

abstract: We derive a data-driven method for the approximation of the Koopman generator called gEDMD, which can be regarded as a straightforward extension of EDMD (extended dynamic mode decomposition). This approach is applicable to deterministic and stochastic dynamical systems. It can be used for computing eigenvalues, eigenfunctions, and modes of the generator and for system identification. In addition to learning the governing equations of deterministic systems, which then reduces to SINDy (sparse identification of nonlinear dynamics), it is possible to identify the drift and diffusion terms of stochastic differential equations from data. Moreover, we apply gEDMD to derive coarse-grained models of high-dimensional systems, and also to determine efficient model predictive control strategies. We highlight relationships with other methods and demonstrate the efficacy of the proposed methods using several guiding examples and prototypical molecular dynamics problems.


title: The Method of Conditional Expectations for PAPR and Cubic Metric Reduction

abstract: The OFDM waveform exhibits high fluctuation in the signal envelope which causes distortion in the nonlinear power amplifier of the transmitter. Peak-to-Average Power Ratio (PAPR) and Cubic Metric (CM) are the common metrics to quantify the phenomenon. A promising approach for PAPR or CM reduction is Sign Selection which is based on altering the signs of the data symbols. In this paper, the Method of Conditional Expectations (CE Method) is proposed to obtain a competing suboptimal solution to the Sign Selection problem. For PAPR reduction, a surrogate metric is introduced which allows for an efficient application of the CE Method. For CM reduction, the tractability of the definition of CM is exploited to this end. The algorithm is analyzed to obtain an upper bound on the worst-case reduced metric value. A noticeable characteristic is the persistent reduction capability for a wide range of subcarrier numbers. In particular, simulations show a reduction of the so-called "effective PAPR" to about 6.5 dB from 10.5 dB and 11.7 dB respectively for 64 to 1024 subcarriers. A similar steady reduction of 3 dB is observed for CM. In addition, the CE Method leads to a pruned version of Sign Selection which halves the rate loss.


title: Influences of microcontact shape on the state of a frictional interface

abstract: The real area of contact of a frictional interface changes rapidly when the normal load is altered, and evolves slowly when normal load is held constant, aging over time. Traditionally, the total area of contact is considered a proxy for the frictional strength of the interface. Here we show that the state of a frictional interface is not entirely defined by the total real area of contact but depends on the geometrical nature of that contact as well. We directly visualize an interface between rough elastomers and smooth glass and identify that normal loading and frictional aging evolve the interface differently, even at a single contact level. We introduce a protocol wherein the real area of contact is held constant in time. Under these conditions, the interface is continually evolving; small contacts shrink and large contacts coarsen.


title: Second-order cone interior-point method for quasistatic and moderate dynamic cohesive fracture

abstract: Cohesive fracture is among the few techniques able to model complex fracture nucleation and propagation with a sharp (nonsmeared) representation of the crack. Implicit time-stepping schemes are often favored in mechanics due to their ability to take larger time steps in quasistatic and moderate dynamic problems. Furthermore, initially rigid cohesive models are typically preferred when the location of the crack is not known in advance, since initially elastic models artificially lower the material stiffness. It is challenging to include an initially rigid cohesive model in an implicit scheme because the initiation of fracture corresponds to a nondifferentiability of the underlying potential. In this work, an interior-point method is proposed for implicit time stepping of initially rigid cohesive fracture. It uses techniques developed for convex second-order cone programming for the nonconvex problem at hand. The underlying cohesive model is taken from Papoulia (2017) and is based on a nondifferentiable energy function. That previous work proposed an algorithm based on successive smooth approximations to the nondifferential objective for solving the resulting optimization problem. It is argued herein that cone programming can capture the nondifferentiability without smoothing, and the resulting cone formulation is amenable to interior-point algorithms. A further benefit of the formulation is that other conic inequality constraints are straightforward to incorporate. Computational results are provided showing that certain contact constraints can be easily handled and that the method is practical.


title: Data Ordering Patterns for Neural Machine Translation: An Empirical Study

abstract: Recent works show that ordering of the training data affects the model performance for Neural Machine Translation. Several approaches involving dynamic data ordering and data sharding based on curriculum learning have been analysed for the their performance gains and faster convergence. In this work we propose to empirically study several ordering approaches for the training data based on different metrics and evaluate their impact on the model performance. Results from our study show that pre-fixing the ordering of the training data based on perplexity scores from a pre-trained model performs the best and outperforms the default approach of randomly shuffling the training data every epoch.


title: Effective macrospin model for $Co_{x}Fe_{3-x}O_{4}$ nanoparticles: decreasing the anisotropy by Co-doping?

abstract: $Co$-doping of $Fe_{3}O_{4}$ magnetic nanoparticles is an effective way to tailor their magnetic properties. When considering the two extreme cases of the $Co_{x}Fe_{3-x}O_{4}$ series, i.e. the $x=0$ and $x=1$ values, one finds that the system evolves from a negative cubic-anisotropy energy constant, $K_{C}^{-}<0$, to a positive one, $K_{C}^{+}>0$. Thus, what happens for intermediate $x$-compositions? In this work we present a very simple phenomenological model for the anisotropy, under the \textit{macrospin} approximation, in which the resultant anisotropy is just directly proportional to the amount of $Co$. First, we perform a detailed analysis on a rather ideal system in which the extreme values have the same magnitude (i.e. $|K_{C}^{-}|=|K_{C}^{+}|$) and then we focus on the real $Co_{x}Fe_{3-x}O_{4}$ system, for which $|K_{C}^{+}|\sim 18|K_{C}^{-}|$. Remarkably, the approach reproduces rather well the experimental values of the heating performance of $Co_{x}Fe_{3-x}O_{4}$ nanoparticles, suggesting that our simple approach may in fact be a good representation of the real situation. This gives rise to an intriguing related possibility arises: a $Co$-doping composition should exist for which the effective anisotropy tends to zero, estimated here as 0.05.


title: Suspicious Transactions in Smart Spaces

abstract: IoT systems have enabled ubiquitous communication in physical spaces, making them smart Nowadays, there is an emerging concern about evaluating suspicious transactions in smart spaces. Suspicious transactions might have a logical structure, but they are not correct under the present contextual information of smart spaces. This research reviews suspicious transactions in smart spaces and evaluates the characteristics of blockchain technology to manage them. Additionally, this research presents a blockchain-based system model with the novel idea of iContracts (interactive contracts) to enable contextual evaluation through proof-of-provenance to detect suspicious transactions in smart spaces.


title: An Axiomatic Approach to Block Rewards

abstract: Proof-of-work blockchains reward each miner for one completed block by an amount that is, in expectation, proportional to the number of hashes the miner contributed to the mining of the block. Is this proportional allocation rule optimal? And in what sense? And what other rules are possible? In particular, what are the desirable properties that any "good" allocation rule should satisfy? To answer these questions, we embark on an axiomatic theory of incentives in proof-of-work blockchains at the time scale of a single block. We consider desirable properties of allocation rules including: symmetry; budget balance (weak or strong); sybil-proofness; and various grades of collusion-proofness. We show that Bitcoin's proportional allocation rule is the unique allocation rule satisfying a certain system of properties, but this does not hold for slightly weaker sets of properties, or when the miners are not risk-neutral. We also point out that a rich class of allocation rules can be approximately implemented in a proof-of-work blockchain.


title: Compactification of cut-point spaces

abstract: We show that if $X$ is a separable locally compact Hausdorff connected space with fewer than $\mathfrak c$ non-cut points, then $X$ embeds into a dendrite $D\subseteq \mathbb R ^2$, and the set of non-cut points of $X$ is a nowhere dense $G_\delta$-set. We then prove a Tychonoff cut-point space $X$ is weakly orderable if and only if $\beta X$ is an irreducible continuum. Finally, we show every separable metrizable cut-point space densely embeds into a reducible continuum with no cut points. By contrast, there is a Tychonoff cut-point space each of whose compactifications has the same cut point. The example raises some questions about persistent cut points in Tychonoff spaces.


title: A characterization of graph properties testable for general planar graphs with one-sided error (It is all about forbidden subgraphs)

abstract: The problem of characterizing testable graph properties (properties that can be tested with a number of queries independent of the input size) is a fundamental problem in the area of property testing. While there has been some extensive prior research characterizing testable graph properties in the dense graphs model and we have good understanding of the bounded degree graphs model, no similar characterization has been known for general graphs, with no degree bounds. In this paper we take on this major challenge and consider the problem of characterizing all testable graph properties in general planar graphs. We consider the model in which a general planar graph can be accessed by the random neighbor oracle that allows access to any given vertex and access to a random neighbor of a given vertex. We show that, informally, a graph property $P$ is testable with one-sided error for general planar graphs if and only if testing $P$ can be reduced to testing for a finite family of finite forbidden subgraphs. While our presentation focuses on planar graphs, our approach extends easily to general minor-free graphs. Our analysis of the necessary condition relies on a recent construction of canonical testers in the random neighbor oracle model that is applied here to the one-sided error model for testing in planar graphs. The sufficient condition in the characterization reduces the problem to the task of testing $H$-freeness in planar graphs, and is the main and most challenging technical contribution of the paper: we show that for planar graphs (with arbitrary degrees), the property of being $H$-free is testable with one-sided error for every finite graph $H$, in the random neighbor oracle model.


title: Regularity results on a class of doubly nonlocal problems

abstract: The purpose of this article is twofold. First, an issue of regularity of weak solution to the problem $(P)$ (See below) is addressed. Secondly, we investigate the question of $H^s$ versus $C^0$- weighted minimizers of the functional associated to problem $(P)$ and then give applications to existence and multiplicity results.


title: Portuguese Named Entity Recognition using BERT-CRF

abstract: Recent advances in language representation using neural networks have made it viable to transfer the learned internal states of a trained model to downstream natural language processing tasks, such as named entity recognition (NER) and question answering. It has been shown that the leverage of pre-trained language models improves the overall performance on many tasks and is highly beneficial when labeled data is scarce. In this work, we train Portuguese BERT models and employ a BERT-CRF architecture to the NER task on the Portuguese language, combining the transfer capabilities of BERT with the structured predictions of CRF. We explore feature-based and fine-tuning training strategies for the BERT model. Our fine-tuning approach obtains new state-of-the-art results on the HAREM I dataset, improving the F1-score by 1 point on the selective scenario (5 NE classes) and by 4 points on the total scenario (10 NE classes).


title: Non-monotonic Logical Reasoning Guiding Deep Learning for Explainable Visual Question Answering

abstract: State of the art algorithms for many pattern recognition problems rely on deep network models. Training these models requires a large labeled dataset and considerable computational resources. Also, it is difficult to understand the working of these learned models, limiting their use in some critical applications. Towards addressing these limitations, our architecture draws inspiration from research in cognitive systems, and integrates the principles of commonsense logical reasoning, inductive learning, and deep learning. In the context of answering explanatory questions about scenes and the underlying classification problems, the architecture uses deep networks for extracting features from images and for generating answers to queries. Between these deep networks, it embeds components for non-monotonic logical reasoning with incomplete commonsense domain knowledge, and for decision tree induction. It also incrementally learns and reasons with previously unknown constraints governing the domain's states. We evaluated the architecture in the context of datasets of simulated and real-world images, and a simulated robot computing, executing, and providing explanatory descriptions of plans. Experimental results indicate that in comparison with an ``end to end'' architecture of deep networks, our architecture provides better accuracy on classification problems when the training dataset is small, comparable accuracy with larger datasets, and more accurate answers to explanatory questions. Furthermore, incremental acquisition of previously unknown constraints improves the ability to answer explanatory questions, and extending non-monotonic logical reasoning to support planning and diagnostics improves the reliability and efficiency of computing and executing plans on a simulated robot.


title: Integrating independent and centralized multi-agent reinforcement learning for traffic signal network optimization

abstract: Traffic congestion in metropolitan areas is a world-wide problem that can be ameliorated by traffic lights that respond dynamically to real-time conditions. Recent studies applying deep reinforcement learning (RL) to optimize single traffic lights have shown significant improvement over conventional control. However, optimization of global traffic condition over a large road network fundamentally is a cooperative multi-agent control problem, for which single-agent RL is not suitable due to environment non-stationarity and infeasibility of optimizing over an exponential joint-action space. Motivated by these challenges, we propose QCOMBO, a simple yet effective multi-agent reinforcement learning (MARL) algorithm that combines the advantages of independent and centralized learning. We ensure scalability by selecting actions from individually optimized utility functions, which are shaped to maximize global performance via a novel consistency regularization loss between individual utility and a global action-value function. Experiments on diverse road topologies and traffic flow conditions in the SUMO traffic simulator show competitive performance of QCOMBO versus recent state-of-the-art MARL algorithms. We further show that policies trained on small sub-networks can effectively generalize to larger networks under different traffic flow conditions, providing empirical evidence for the suitability of MARL for intelligent traffic control.


title: Generating Geological Facies Models with Fidelity to Diversity and Statistics of Training Images using Improved Generative Adversarial Networks

abstract: This paper presents a methodology and workflow that overcome the limitations of the conventional Generative Adversarial Networks (GANs) for geological facies modeling. It attempts to improve the training stability and guarantee the diversity of the generated geology through interpretable latent vectors. The resulting samples are ensured to have the equal probability (or an unbiased distribution) as from the training dataset. This is critical when applying GANs to generate unbiased and representative geological models that can be further used to facilitate objective uncertainty evaluation and optimal decision-making in oil field exploration and development. We proposed and implemented a new variant of GANs called Info-WGAN for the geological facies modeling that combines Information Maximizing Generative Adversarial Network (InfoGAN) with Wasserstein distance and Gradient Penalty (GP) for learning interpretable latent codes as well as generating stable and unbiased distribution from the training data. Different from the original GAN design, InfoGAN can use the training images with full, partial, or no labels to perform disentanglement of the complex sedimentary types exhibited in the training dataset to achieve the variety and diversity of the generated samples. This is accomplished by adding additional categorical variables that provide disentangled semantic representations besides the mere randomized latent vector used in the original GANs. By such means, a regularization term is used to maximize the mutual information between such latent categorical codes and the generated geological facies in the loss function. Furthermore, the resulting unbiased sampling by Info-WGAN makes the data conditioning much easier than the conventional GANs in geological modeling because of the variety and diversity as well as the equal probability of the unconditional sampling by the generator.


title: Intensity Estimation for Poisson Process with Compositional Noise

abstract: Intensity estimation for Poisson processes is a classical problem and has been extensively studied over the past few decades. Practical observations, however, often contain compositional noise, i.e. a nonlinear shift along the time axis, which makes standard methods not directly applicable. The key challenge is that these observations are not "aligned", and registration procedures are required for successful estimation. In this paper, we propose an alignment-based framework for positive intensity estimation. We first show that the intensity function is area-preserved with respect to compositional noise. Such a property implies that the time warping is only encoded in the normalized intensity, or density, function. Then, we decompose the estimation of the intensity by the product of the estimated total intensity and estimated density. The estimation of the density relies on a metric which measures the phase difference between two density functions. An asymptotic study shows that the proposed estimation algorithm provides a consistent estimator for the normalized intensity. We then extend the framework to estimating non-negative intensity functions. The success of the proposed estimation algorithms is illustrated using two simulations. Finally, we apply the new framework in a real data set of neural spike trains, and find that the newly estimated intensities provide better classification accuracy than previous methods.


title: Anomalous Metallic Phase in Tunable Destructive Superconductors

abstract: Multiply connected superconductors smaller than the coherence length show destructive superconductivity, characterized by reentrant quantum phase transitions driven by magnetic flux. We investigate the dependence of destructive superconductivity on flux, transverse magnetic field, temperature, and current in InAs nanowires with a surrounding epitaxial Al shell, finding excellent agreement with mean-field theory across multiple reentrant transitions. Near the crossover between destructive and nondestructive regimes, an anomalous metal phase is observed with temperature-independent resistance, controlled over two orders of magnitude by a millitesla-scale transverse magnetic field.


title: Variable selection and estimation for the additive hazards model subject to left-truncation, right-censoring and measurement error in covariates

abstract: High-dimensional sparse modeling with censored survival data is of great practical importance, and several methods have been proposed for variable selection based on different models. However, the impact of biased sample caused by left-truncation and covariates measurement error to variable selection is not fully explored. In this paper, we mainly focus on the additive hazards model and analyze the high-dimensional survival data subject to left-truncation and measurement error in covariates. We develop the three-stage procedure to correct the error effect, select variables, and estimate the parameters of interest simultaneously. Numerical studies are reported to assess the performance of the proposed methods.


title: Cluster structures and monopole transitions of $^{14}$C

abstract: Cluster structures of $^{14}$C were investigated with a method of antisymmetrized molecular dynamics (AMD) combined with a $3\alpha+nn$ cluster model while focusing on the monopole excitations and linear-chain $3\alpha$ band. Variation after parity and angular momentum projections was performed in the AMD framework, and the generator coordinate method was applied to take into account various $3\alpha+nn$ cluster configurations. Energy spectra and monopole and $E2$ transition strengths of $0^+$, $2^+$, and $4^+$ states were calculated to assign band structures. The $0^+_3$ state with remarkable monopole transition was obtained as a vibrational mode of the triangle $3\alpha$ configuration. In addition, the linear-chain $3\alpha$ band from the band-head $0^+_4$ state was obtained. $^{10}$Be$+\alpha$ decay widths of $0^+$, $2^+$, and $4^+$ states were evaluated. $\alpha$ inelastic scattering off $^{14}$C was also investigated by the microscopic coupled-channel calculation with the $g$-matrix folding model to propose possible observation of the $0^+_3$ state via $\alpha$ scattering experiments.


title: Waterlike anomalies in hard core-soft shell nanoparticles using a effective potential approach: pinned vs adsorbed polymers

abstract: In this work, a two dimensional system of polymer grafted nanoparticles is analyzed using large-scale Langevin Dymanics simulations. Effective core-softened potentials were obtained for two cases: one where the polymers are free to rotate around the nanoparticle core and a second where the polymers are fixed, with a $45^\circ$ angle between them. The use of effective core-softened potentials allow us to explore the complete system phase space. In this way, the $PT$, $T\rho$ and $P\rho$ phase diagrams for each potential were obtained, with all fluid and solid phases. The phase boundaries were defined analyzing the specific heat at constant pressure, the system mean square displacement, the radial distribution function and the discontinuities in the density-pressure phase diagram. Also, due the competition in the system we have observed the presence of waterlike anomalies, such as the temperature of maximum density - in addition with a tendency of the TMD to move to lower temperatures (negative slope)- and the diffusion anomaly. It was observed different morphologies (stripes, honeycomb, amorphous) for each nanoparticle. We observed that for the fixed polymers case the waterlike anomalies are originated by the competition between the potential characteristic length scales, while for the free to rotate case the anomalies arises due a smaller region of stability in the phase diagram and no competition between the scales was observed.


title: Decision list compression by mild random restrictions

abstract: A decision list is an ordered list of rules. Each rule is specified by a term, which is a conjunction of literals, and a value. Given an input, the output of a decision list is the value corresponding to the first rule whose term is satisfied by the input. Decision lists generalize both CNFs and DNFs, and have been studied both in complexity theory and in learning theory. The size of a decision list is the number of rules, and its width is the maximal number of variables in a term. We prove that decision lists of small width can always be approximated by decision lists of small size, where we obtain sharp bounds. This in particular resolves a conjecture of Gopalan, Meka and Reingold (Computational Complexity, 2013) on DNF sparsification. An ingredient in our proof is a new random restriction lemma, which allows to analyze how DNFs (and more generally, decision lists) simplify if a small fraction of the variables are fixed. This is in contrast to the more commonly used switching lemma, which requires most of the variables to be fixed.


title: Sortable Freiman ideals

abstract: In this paper it is shown that a sortable ideal $I$ is Freiman if and only if its sorted graph is chordal. This characterization is used to give a complete classification of Freiman principal Borel ideals and of Freiman Veronese type ideals with constant bound.


title: Exploring Graph Neural Networks for Stock Market Predictions with Rolling Window Analysis

abstract: Recently, there has been a surge of interest in the use of machine learning to help aid in the accurate predictions of financial markets. Despite the exciting advances in this cross-section of finance and AI, many of the current approaches are limited to using technical analysis to capture historical trends of each stock price and thus limited to certain experimental setups to obtain good prediction results. On the other hand, professional investors additionally use their rich knowledge of inter-market and inter-company relations to map the connectivity of companies and events, and use this map to make better market predictions. For instance, they would predict the movement of a certain company's stock price based not only on its former stock price trends but also on the performance of its suppliers or customers, the overall industry, macroeconomic factors and trade policies. This paper investigates the effectiveness of work at the intersection of market predictions and graph neural networks, which hold the potential to mimic the ways in which investors make decisions by incorporating company knowledge graphs directly into the predictive model. The main goal of this work is to test the validity of this approach across different markets and longer time horizons for backtesting using rolling window analysis. In this work, we concentrate on the prediction of individual stock prices in the Japanese Nikkei 225 market over a period of roughly 20 years. For the knowledge graph, we use the Nikkei Value Search data, which is a rich dataset showing mainly supplier relations among Japanese and foreign companies. Our preliminary results show a 29.5% increase and a 2.2-fold increase in the return ratio and Sharpe ratio, respectively, when compared to the market benchmark, as well as a 6.32% increase and 1.3-fold increase, respectively, compared to the baseline LSTM model.


title: Manipulation of Inverse Spin Hall Effect in Palladium by Absorption of Hydrogen Gas

abstract: The spintronic properties of a palladium thin film have been investigated in the presence of hydrogen gas in cobalt/palladium bilayers. Measurements of the inverse spin Hall Effect (ISHE) using cavity ferromagnetic resonance allow estimations of the spin Hall conductivity and spin diffusion length in both nitrogen and hydrogen gas atmospheres. Unwanted spin rectification effects are removed using a simple method of inverting the spin current direction with respect to the measurement setup. Absorption of hydrogen gas in the Pd layer at just 3% concentration results in a reduced ISHE voltage amplitude and bilayer resistance. Fitting the ISHE voltage against the Pd layer thickness demonstrates that the spin diffusion length decreases by 23% in the presence of a hydrogen gas. On the other hand, the results indicate that there is no significant change in the spin Hall conductivity of Pd due to hydrogen absorption.


title: How to Incorporate Monotonicity in Deep Networks While Preserving Flexibility?

abstract: The importance of domain knowledge in enhancing model performance and making reliable predictions in the real-world is critical. This has led to an increased focus on specific model properties for interpretability. We focus on incorporating monotonic trends, and propose a novel gradient-based point-wise loss function for enforcing partial monotonicity with deep neural networks. While recent developments have relied on structural changes to the model, our approach aims at enhancing the learning process. Our model-agnostic point-wise loss function acts as a plug-in to the standard loss and penalizes non-monotonic gradients. We demonstrate that the point-wise loss produces comparable (and sometimes better) results on both AUC and monotonicity measure, as opposed to state-of-the-art deep lattice networks that guarantee monotonicity. Moreover, it is able to learn differentiated individual trends and produces smoother conditional curves which are important for personalized decisions, while preserving the flexibility of deep networks.


title: The saturation number of $\cb$-bounded stable monomial ideals and their powers

abstract: Let $S=K[x_1,\ldots,x_n]$ be the polynomial ring in $n$ variables over a field $K$. In this paper, we compute the socle of $\cb$-bounded strongly stable ideals and determine that the saturation number of strongly stable ideals and of equigenerated $\cb$-bounded strongly stable ideals. We also provide explicit formulas for the saturation number $\sat(I)$ of Veronese type ideals $I$. Using this formula, we show that $\sat(I^k)$ is quasi-linear from the beginning and we determine the quasi-linear function explicitly.


title: Tunable Antenna-Coupled Intersubband Terahertz (TACIT) Mixers: The Quantum Limit Without the Quantum Liquid

abstract: At present, nearly quantum-limited heterodyne receivers for Terahertz (THz) frequencies require cooling to temperatures below 4K. We are working to build semiconductor-based "tunable antenna-coupled intersubband terahertz" (TACIT) heterodyne mixers for 1-5 THz. We predict that they can achieve single-sideband noise temperatures of a few hundred K with intermediate frequency (IF) bandwidth >10 GHz, while operating at lattice temperatures >20 K and requiring local oscillator (LO) power ~ 1 $\mu$W.


title: Analysis of nanometre sized aligned conical pores using SAXS

abstract: Small angle X-ray scattering (SAXS) was used to quantitatively study the morphology of aligned, mono-disperse conical etched ion tracks in thin films of amorphous silicon dioxide with aspect ratios of around 6:1, and in polycarbonate foils with aspect ratios of around 1000:1. This paper presents the measurement procedure and methods developed for the analysis of the scattering images and shows results obtained for the two material systems. To enable accurate parameter extraction from the data collected from conical scattering objects a model fitting the 2-D detector images was developed. The analysis involved fitting images from a sequence of measurements with different sample tilts to minimise errors which may have been introduced due to the experimental set-up. The model was validated by the exploitation of the geometric relationship between the sample tilt angle and the cone opening angle, to an angle observed in the features of the SAXS images. We also demonstrate that a fitting procedure for 1-D data extracted from the scattering images using a hard cylinder model can also be used to extract the cone size. The application of these techniques enables us to reconstruct the cone morphologies with unprecedented precision.


title: TripleNet: Triple Attention Network for Multi-Turn Response Selection in Retrieval-based Chatbots

abstract: We consider the importance of different utterances in the context for selecting the response usually depends on the current query. In this paper, we propose the model TripleNet to fully model the task with the triple <context, query, response> instead of <context, response> in previous works. The heart of TripleNet is a novel attention mechanism named triple attention to model the relationships within the triple at four levels. The new mechanism updates the representation for each element based on the attention with the other two concurrently and symmetrically. We match the triple <C, Q, R> centered on the response from char to context level for prediction. Experimental results on two large-scale multi-turn response selection datasets show that the proposed model can significantly outperform the state-of-the-art methods. TripleNet source code is available at https://github.com/wtma/TripleNet


title: Understanding the origin of the magneto-caloric effects in substitutional Ni-Mn-Sb-Z (Z=Fe, Co, Cu) compounds: insights from first-principles calculations

abstract: Ni-Mn based ternary Heusler compounds have drawn attentions lately as significant magneto-caloric effects in some of them have been observed. Substitution of Ni and Mn by other $3d$ transition metals in controlled quantity have turned out to be successful in enhancing the effect and bring the operational temperatures closer to the room temperature. Using density functional theory calculations, in this work, we have systematically explored the roles of various factors such as site occupancies, magnetic interactions, and compositions associated with the constituents of Mn-excess Ni$_{2}$MnSb Heusler compounds upon substitution of Ni and/or Mn by $3d$ transition metals Fe, Co and Cu. Our calculations unveiled the physics behind the variations of physical properties associated with the magneto-caloric effects, and thus interpreted the available experimental results successfully. The work also provided important information on the compounds and the composition ranges where significant magneto-caloric effects may be realised and further experimental investigations need to be done.


title: The Query Complexity of Mastermind with $\ell_p$ Distances

abstract: Consider a variant of the Mastermind game in which queries are $\ell_p$ distances, rather than the usual Hamming distance. That is, a codemaker chooses a hidden vector $\mathbf{y}\in\{-k,-k+1,\dots,k-1,k\}^n$ and answers to queries of the form $\Vert\mathbf{y}-\mathbf{x}\Vert_p$ where $\mathbf{x}\in\{-k,-k+1,\dots,k-1,k\}^n$. The goal is to minimize the number of queries made in order to correctly guess $\mathbf{y}$. Motivated by this question, in this work, we develop a nonadaptive polynomial time algorithm that works for a natural class of separable distance measures, i.e.\ coordinate-wise sums of functions of the absolute value. This in particular includes distances such as the smooth max (LogSumExp) as well as many widely-studied $M$-estimator losses, such as $\ell_p$ norms, the $\ell_1$-$\ell_2$ loss, the Huber loss, and the Fair estimator loss. When we apply this result to $\ell_p$ queries, we obtain an upper bound of $O\left(\min\left\{n,\frac{n\log k}{\log n}\right\}\right)$ queries for any real $1\leq p<\infty$. We also show matching lower bounds up to constant factors for the $\ell_p$ problem, even for adaptive algorithms for the approximation version of the problem, in which the problem is to output $\mathbf{y}'$ such that $\Vert\mathbf{y}'-\mathbf{y}\Vert_p\leq R$ for any $R\leq k^{1-\varepsilon}n^{1/p}$ for constant $\varepsilon>0$. Thus, essentially any approximation of this problem is as hard as finding the hidden vector exactly, up to constant factors. Finally, we show that for the noisy version of the problem, i.e. the setting when the codemaker answers queries with any $q = (1\pm\varepsilon)\Vert\mathbf{y}-\mathbf{x}\Vert_p$, there is no query efficient algorithm.


title: Alternative route towards the change of metric signature

abstract: Beginning with Hartle and Hawking's no-boundary proposal, it has long been known that the pathology of a big bang singularity can be suppressed if a transition into Riemannian (Euclidean) metric signature (the usual singularity theorems become invalid in this region) occurs when we track back along cosmic time. A vital component of this type of models, that needs to be clarified, is the set of junction conditions at the boundary between the two signature regimes. In the traditional approach, the signature change occurs in the temporal sector through a switch of sign in the lapse-squared function. Motivated by more straightforward connections with the big bang cosmology, we explore here an alternative whereby the spatial metric eigenvalues change sign instead, so that the Riemannian side is purely timelike. We investigate the junction conditions required in this case.


title: Subsampling Generative Adversarial Networks: Density Ratio Estimation in Feature Space with Softplus Loss

abstract: Filtering out unrealistic images from trained generative adversarial networks (GANs) has attracted considerable attention recently. Two density ratio based subsampling methods---Discriminator Rejection Sampling (DRS) and Metropolis-Hastings GAN (MH-GAN)---were recently proposed, and their effectiveness in improving GANs was demonstrated on multiple datasets. However, DRS and MH-GAN are based on discriminator based density ratio estimation (DRE) methods, so they may not work well if the discriminator in the trained GAN is far from optimal. Moreover, they do not apply to some GANs (e.g., MMD-GAN). In this paper, we propose a novel Softplus (SP) loss for DRE. Based on it, we develop a sample-based DRE method in a feature space learned by a specially designed and pre-trained ResNet-34 (DRE-F-SP). We derive the rate of convergence of a density ratio model trained under the SP loss. Then, we propose three different density ratio subsampling methods (DRE-F-SP+RS, DRE-F-SP+MH, and DRE-F-SP+SIR) for GANs based on DRE-F-SP. Our subsampling methods do not rely on the optimality of the discriminator and are suitable for all types of GANs. We empirically show our subsampling approach can substantially outperform DRS and MH-GAN on a synthetic dataset and the CIFAR-10 dataset, using multiple GANs.


title: Core-Shell Nanofiber Containing Large Amount of Flame Retardants via Coaxial Dual-Nozzle Electrospinning as Battery Separators

abstract: Lithium-ion batteries have attracted enormous interests recently as promising power sources. However, the safety issue associated with the employment of highly flammable liquid electrolyte impedes the further development of next-generation lithium-ion batteries. Recently, researchers reported the use of electrospun core-shell fiber as the battery separator consisting of polymer layer as protective shell and flame retardants loaded inside as core. In case of a typical battery shorting, the protective polymer shell melts during thermal-runaway and the flame retardants inside would be released to suppress the combustion of the electrolyte. Due to the use of a single precursor solution for electrospinning containing both polymer and flame retardants, the weight ratio of flame retardants is limited and dependent. Herein, we developed a dual-nozzle, coaxial electrospinning approach to fabricate the core-shell nanofiber with a greatly enhanced flame retardants weight percentage in the final fibers. The weight ratio of flame retardants of triphenyl phosphate in the final composite reaches over 60 wt.%. The LiFePO4-based cell using this composite nanofiber as battery separator exhibits excellent flame-retardant property without compromising the cycling stability or rate performances. In addition, this functional nanofiber can also be coated onto commercial separators instead of being used directly as separators.


title: The lower extension groups and quotient categories

abstract: For a certain full additive subcategory X of an additive category A, one defines the lower extension groups in relative homological algebra. We show that these groups are isomorphic to the suspended Hom groups in the Verdier quotient category of the bounded homotopy category of A by that of X. Alternatively, these groups are isomorphic to the negative cohomological groups of the Hom complexes in the dg quotient category A/X, where both A and X are viewed as dg categories concentrated in degree zero.


title: A Theory of Uncertainty Variables for State Estimation and Inference

abstract: We develop a new framework of uncertainty variables to model uncertainty. An uncertainty variable is characterized by an uncertainty set, in which its realization is bound to lie, while the conditional uncertainty is characterized by a set map, from a given realization of a variable to a set of possible realizations of another variable. We prove Bayes' law and the law of total probability equivalents for uncertainty variables. We define a notion of independence, conditional independence, and pairwise independence for a collection of uncertainty variables, and show that this new notion of independence preserves the properties of independence defined over random variables. We then develop a graphical model, namely Bayesian uncertainty network, a Bayesian network equivalent defined over a collection of uncertainty variables, and show that all the natural conditional independence properties, expected out of a Bayesian network, hold for the Bayesian uncertainty network. We also define the notion of point estimate, and show its relation with the maximum a posteriori estimate. Probability theory starts with a distribution function (equivalently a probability measure) as a primitive and builds all other useful concepts, such as law of total probability, Bayes' law, independence, graphical models, point estimate, on it. Our work shows that it is perfectly possible to start with a set, instead of a distribution function, and retain all the useful ideas needed for state estimation and inference.


title: Relational Learning for Joint Head and Human Detection

abstract: Head and human detection have been rapidly improved with the development of deep convolutional neural networks. However, these two tasks are often studied separately without considering their inherent correlation, leading to that 1) head detection is often trapped in more false positives, and 2) the performance of human detector frequently drops dramatically in crowd scenes. To handle these two issues, we present a novel joint head and human detection network, namely JointDet, which effectively detects head and human body simultaneously. Moreover, we design a head-body relationship discriminating module to perform relational learning between heads and human bodies, and leverage this learned relationship to regain the suppressed human detections and reduce head false positives. To verify the effectiveness of the proposed method, we annotate head bounding boxes of the CityPersons and Caltech-USA datasets, and conduct extensive experiments on the CrowdHuman, CityPersons and Caltech-USA datasets. As a consequence, the proposed JointDet detector achieves state-of-the-art performance on these three benchmarks. To facilitate further studies on the head and human detection problem, all new annotations, source codes and trained models will be public.


title: A characterization of Thurston's Master Teapot

abstract: We prove an explicit characterization of the points in Thurston's Master Teapot. This description can be implemented algorithmically to test whether a point in $\mathbb{C} \times \mathbb{R}$ belongs to the complement of the Master Teapot. As an application, we show that the intersection of the Master Teapot with the unit cylinder is not symmetrical under reflection through the plane that is the product of the imaginary axis of $\mathbb{C}$ and $\mathbb{R}$.


title: Review on Generalized Dynamics of Soft-Matter Quasicrystals and Its Applications

abstract: This article provides a detailed review on the generalized dynamics of soft-matter quasicrystals developed recent years. Comparing to solid quasicrystals consisted mainly with metallic alloys, soft-matter quasicrystals have been observed in liquid crystals, polymers, colloids, nanoparticles, and surfactants, which indicate quite different formation mechanism. Based on Landau-Anderson theory and group representation theory, we have studied the symmetry, symmetry breaking and elementary excitations for the observed and possible soft-matter quasicrystals. We further proposed one more elementary excitation: fluid phonon additional to the phonon and phason for solid quasicrystals, to quantitatively describe the dynamics of soft-matter quasicrystals. The general governing equations and the solutions of the dynamics evolution on the distribution, deformation and motion of the new phase are studied, which reveal quite distinguishing dynamic behavior with those of conventional fluids and solid quasicrystals. Some applications are introduced, which show this is an important field of new materials and materials science.


title: Mean first passage times reconstruct the slowest relaxations in potential energy landscapes of nanoclusters

abstract: Relaxation modes are the collective modes in which all probability deviations from equilibrium states decay with the same relaxation rates. In contrast, a first passage time is the required time for arriving for the first time from one state to another. In this paper, we discuss how and why the slowest relaxation rates of relaxation modes are reconstructed from the first passage times. As an illustrative model, we use a continuous-time Markov state model of vacancy diffusion in KCl nanoclusters. Using this model, we reveal that all characteristics of the relaxations in KCl nanoclusters come from the fact that they are hybrids of two kinetically different regions of the fast surface and slow bulk diffusions. The origin of the different diffusivities turns out to come from the heterogeneity of the activation energies on the potential energy landscapes. We also develop a stationary population method to compute the mean first passage times as mean times required for pair annihilations of particle-hole pairs, which enables us to obtain the symmetric results of relaxation rates under the exchange of the sinks and the sources. With this symmetric method, we finally show why the slowest relaxation times can be reconstructed from the mean first passage times.


title: Approximate Bayesian inference of directed acyclic graphs in biology with flexible priors on edge states

abstract: Graphical models or networks describe the statistical dependence among multiple variables and are widely used in biology (e.g., gene regulatory networks). Under appropriate assumptions, directed edges may represent causal relationships. A key feature of a biological network is sparsity, defined by how likely an edge is present, of which we often have some knowledge. However, most existing Bayesian methods use priors for the entire graph, making it difficult to specify the level of sparsity. The few methods that use priors on edges estimate the two directions independently; the sum of the two probabilities can exceed 1. Here, we present baycn (BAYesian Causal Network), a novel approximate Bayesian method that represents a graph in terms of three states of edges: the two directions and edge absence, and specifies priors on these edge states. We design a pseudo Bayesian sampling algorithm for efficient inference. We apply baycn to two genomic problems: i) distinguishing direct and indirect target genes of genetic variants, using these variants as instrumental variables, and ii) inferring combinatorial binding of highly-correlated transcription factors in Drosophila. In both cases and in extensive simulations, our method demonstrates much improved accuracy over existing methods for the whole graph and for individual edges.


Structural Change Analysis of Active Cryptocurrency Market


title: Strong solutions to the inhomogeneous Navier-Stokes-BGK system

abstract: In this paper, we are concerned with the local-in-time well-posedness of a fluid-kinetic model in which the BGK model with density dependent collision frequency is coupled with the inhomogeneous Navier-Stokes equation through drag forces. To the best knowledge of authors, this is the first result on the existence of local-in-time smooth solution for particle-fluid model with nonlinear inter-particle operator for which the existence of time can be prolonged as the size of initial data gets smaller.


title: Knowledge-Enriched Transformer for Emotion Detection in Textual Conversations

abstract: Messages in human conversations inherently convey emotions. The task of detecting emotions in textual conversations leads to a wide range of applications such as opinion mining in social networks. However, enabling machines to analyze emotions in conversations is challenging, partly because humans often rely on the context and commonsense knowledge to express emotions. In this paper, we address these challenges by proposing a Knowledge-Enriched Transformer (KET), where contextual utterances are interpreted using hierarchical self-attention and external commonsense knowledge is dynamically leveraged using a context-aware affective graph attention mechanism. Experiments on multiple textual conversation datasets demonstrate that both context and commonsense knowledge are consistently beneficial to the emotion detection performance. In addition, the experimental results show that our KET model outperforms the state-of-the-art models on most of the tested datasets in F1 score.


title: The Field-of-View Constraint of Markers for Mobile Robot with Pan-Tilt Camera

abstract: In the field of navigation and visual servo, it is common to calculate relative pose by feature points on markers, so keeping markers in camera's view is an important problem. In this paper, we propose a novel approach to calculate field-of-view (FOV) constraint of markers for camera. Our method can make the camera maintain the visibility of all feature points during the motion of mobile robot. According to the angular aperture of camera, the mobile robot can obtain the FOV constraint region where the camera cannot keep all feature points in an image. Based on the FOV constraint region, the mobile robot can be guided to move from the initial position to destination. Finally simulations and experiments are conducted based on a mobile robot equipped with a pan-tilt camera, which validates the effectiveness of the method to obtain the FOV constraints.


title: Optimally Resilient Codes for List-Decoding from Insertions and Deletions

abstract: We give a complete answer to the following basic question: "What is the maximal fraction of deletions or insertions tolerable by $q$-ary list-decodable codes with non-vanishing information rate?" This question has been open even for binary codes, including the restriction to the binary insertion-only setting, where the best-known result was that a $\gamma\leq 0.707$ fraction of insertions is tolerable by some binary code family. For any desired $\epsilon > 0$, we construct a family of binary codes of positive rate which can be efficiently list-decoded from any combination of $\gamma$ fraction of insertions and $\delta$ fraction of deletions as long as $ \gamma+2\delta\leq 1-\epsilon$. On the other hand, for any $\gamma,\delta$ with $\gamma+2\delta=1$ list-decoding is impossible. Our result thus precisely characterizes the feasibility region of binary list-decodable codes for insertions and deletions. We further generalize our result to codes over any finite alphabet of size $q$. Surprisingly, our work reveals that the feasibility region for $q>2$ is not the natural generalization of the binary bound above. We provide tight upper and lower bounds that precisely pin down the feasibility region, which turns out to have a $(q-1)$-piece-wise linear boundary whose $q$ corner-points lie on a quadratic curve. The main technical work in our results is proving the existence of code families of sufficiently large size with good list-decoding properties for any combination of $\delta,\gamma$ within the claimed feasibility region. We achieve this via an intricate analysis of codes introduced by [Bukh, Ma; SIAM J. Discrete Math; 2014]. Finally, we give a simple yet powerful concatenation scheme for list-decodable insertion-deletion codes which transforms any such (non-efficient) code family (with vanishing information rate) into an efficiently decodable code family with constant rate.


title: Single-spin asymmetries at two loops

abstract: We find a novel mechanism for generating transverse single-spin asymmetry (SSA) in semi-inclusive deep inelastic scattering, distinct from the known ones which involve the Sivers and Collins functions, or their collinear twist-three counterparts. It is demonstrated that a phase needed for SSA can be produced purely within a parton-level cross section starting at two loops. We identify the complete set of two-loop diagrams for SSA, and discuss their gauge invariance and collinear factorization which features the $g_T$ distribution function. In the $k_T$ factorization framework, many more sources for SSA exist, and contributions from all possible two-parton transverse-momentum-dependent parton distribution functions are presented up to two loops and twist three.


title: Phase Retrieval via Smooth Amplitude Flow

abstract: Phase retrieval (PR) is an inverse problem about recovering a signal from phaseless linear measurements. This problem can be effectively solved by minimizing a nonconvex amplitude-based loss function. However, this loss function is non-smooth. To address the non-smoothness, a series of methods have been proposed by adding truncating, reweighting and smoothing operations to adjust the gradient or the loss function and achieved better performance. But these operations bring about extra rules and parameters that need to be carefully designed. Unlike previous works, we present a smooth amplitude flow method (SAF) which minimizes a novel loss function, without additionally modifying the gradient or the loss function during gradient descending. Such a new heuristic can be regarded as a smooth version of the original non-smooth amplitude-based loss function. We prove that SAF can converge geometrically to a global optimal point via the gradient algorithm with an elaborate initialization stage with a high probability. Substantial numerical tests empirically illustrate that the proposed heuristic is significantly superior to the original amplitude-based loss function and SAF also outperforms other state-of-the-art methods in terms of the recovery rate and the converging speed. Specially, it is numerically shown that SAF can stably recover the original signal when number of measurements is smaller than the information-theoretic limit for both the real and the complex Gaussian models.


title: Tethered Tool Manipulation Planning with Cable Maneuvering

abstract: In this paper, we present a planner for manipulating tethered tools using dual-armed robots. The planner generates robot motion sequences to maneuver a tool and its cable while avoiding robot-cable entanglements. Firstly, the planner generates an Object Manipulation Motion Sequence (OMMS) to handle the tool and place it in desired poses. Secondly, the planner examines the tool movement associated with the OMMS and computes candidate positions for a cable slider, to maneuver the tool cable and avoid collisions. Finally, the planner determines the optimal slider positions to avoid entanglements and generates a Cable Manipulation Motion Sequence (CMMS) to place the slider in these positions. The robot executes both the OMMS and CMMS to handle the tool and its cable to avoid entanglements and excess cable bending. Simulations and real-world experiments help validate the proposed method.