title: First indirect detection constraints on axions in the Solar basin

abstract: Axions with masses of order keV can be produced in great abundance within the Solar core. The majority of Sun-produced axions escape to infinity, but a small fraction of the flux is produced with speeds below the escape velocity. Over time, this process populates a basin of slow-moving axions trapped on bound orbits. These axions can decay to two photons, yielding an observable signature. We place the first limits on this solar basin of axions using recent quiescent solar observations made by the NuSTAR X-ray telescope. We compare three different methodologies for setting constraints, and obtain world-leading limits for axions with masses between 5 and 30 keV, in some cases improving on stellar cooling bounds by more than an order of magnitude in coupling.


title: New Observational $H(z)$ Data from Full-Spectrum Fitting of Cosmic Chronometers in the LEGA-C Survey

abstract: In this work, we perform a full-spectrum fitting of 350 massive and passive galaxies selected as cosmic chronometers from the LEGA-C ESO public survey to derive their stellar ages, metallicities, and star-formation histories. We extensively test our results by assessing their dependence on the possible contribution of dust, calibration of noise and signal, and the use of photometric data in addition to spectral information; we as well identify indicators of the correct convergence of the results, including the shape of the posterior distributions, the analysis of specific spectral features, and the correct reproduction of the observed spectrum. We derive a clear age-redshift trend compatible with the aging in a standard cosmological model, showing a clear downsizing pattern, with more massive galaxies being formed at higher redshift ($z_f\sim2.5$) with respect to lower massive ones ($z_f\sim2$). From these data, we measure the differential aging of this population of cosmic chronometers to derive a new measurement of the Hubble parameter, obtaining $H(z=0.8) = 113.1 \pm 15.1 (\mathrm{stat.}) ^{+29.1}_{-11.3} (\mathrm{syst.})\ \mathrm{ km\ s^{-1}\ Mpc^{-1}}$. This analysis allows us for the first time to compare the differential ages of cosmic chronometers measured on the same sample with two completely different methods, the full-spectrum fit (this work) and the analysis of Lick indices, known to correlate with the age and metallicity of the stellar populations \citep{Borghi2022a}. Albeit an understood offset in the absolute ages, the differential ages have proven to be extremely compatible between the two methods, despite the very different data, assumptions, and models considered, demonstrating the robustness of the method.


title: Sudakov Shoulder Resummation for Thrust and Heavy Jet Mass

abstract: When the allowed range of an observable grows order-by-order in perturbation theory, its perturbative expansion can have discontinuities (as in the $C$ parameter) or discontinuities in its derivatives (as in thrust or heavy jet mass) called Sudakov shoulders. We explore the origin of these logarithms using both perturbation theory and effective field theory. We show that for thrust and heavy jet mass, the logarithms arise from kinematic configurations with narrow jets and deduce the next-to-leading logarithmic series. The left-shoulder logarithms in heavy jet mass ($\rho$) of the form $r\ \alpha_s^n \ln^{2n}r $ with $r=\frac{1}{3}-\rho$ are particularly dangerous, because they invalidate fixed order perturbation theory in regions traditionally used to extract $\alpha_s$. Although the factorization formula shows there are no non-global logarithms, we find Landau-pole like singularities in the resummed distribution associated with the cusp anomalous dimension, and that power corrections are exceptionally important.


title: Multi-Class 3D Object Detection with Single-Class Supervision

abstract: While multi-class 3D detectors are needed in many robotics applications, training them with fully labeled datasets can be expensive in labeling cost. An alternative approach is to have targeted single-class labels on disjoint data samples. In this paper, we are interested in training a multi-class 3D object detection model, while using these single-class labeled data. We begin by detailing the unique stance of our "Single-Class Supervision" (SCS) setting with respect to related concepts such as partial supervision and semi supervision. Then, based on the case study of training the multi-class version of Range Sparse Net (RSN), we adapt a spectrum of algorithms -- from supervised learning to pseudo-labeling -- to fully exploit the properties of our SCS setting, and perform extensive ablation studies to identify the most effective algorithm and practice. Empirical experiments on the Waymo Open Dataset show that proper training under SCS can approach or match full supervision training while saving labeling costs.


title: Dynamical quantum ergodicity from energy level statistics

abstract: Ergodic theory provides a rigorous mathematical description of chaos in classical dynamical systems, including a formal definition of the ergodic hierarchy. How ergodic dynamics is reflected in the energy levels and eigenstates of a quantum system is the central question of quantum chaos, but a rigorous quantum notion of ergodicity remains elusive. Closely related to the classical ergodic hierarchy is a less-known notion of cyclic approximate periodic transformations [see, e.g., I. Cornfield, S. Fomin, and Y. Sinai, Ergodic Theory (Springer-Verlag New York, 1982)], which maps any "ergodic" dynamical system to a cyclic permutation on a circle and arguably represents the most elementary form of ergodicity. This paper shows that cyclic ergodicity generalizes to quantum dynamical systems, and provides a rigorous observable-independent definition of quantum ergodicity. It implies the ability to construct an orthonormal basis, where quantum dynamics transports any initial basis vector to have a sufficiently large overlap with each of the other basis vectors in a cyclic sequence. It is proven that the basis, maximizing the overlap over all such quantum cyclic permutations, is obtained via the discrete Fourier transform of the energy eigenstates. This relates quantum cyclic ergodicity to energy level statistics. The level statistics of Wigner-Dyson random matrices, usually associated with quantum chaos on empirical grounds, is derived as a special case of this general relation. To demonstrate generality, we prove that irrational flows on a 2D torus are classical and quantum cyclic ergodic, with spectral rigidity distinct from Wigner-Dyson. Finally, we motivate a quantum ergodic hierarchy of operators and discuss connections to eigenstate thermalization. This work provides a general framework for transplanting some rigorous concepts of ergodic theory to quantum dynamical systems.

categories: quant-ph cond-mat.stat-mech math-ph math.MP nlin.CD


title: Computing spacetime

abstract: Inspired by the universality of computation, we advocate for a principle of spacetime complexity, where gravity arises as a consequence of spacetime optimizing the computational cost of its own quantum dynamics. This principle is explicitly realized in the context of the Anti-de Sitter/Conformal Field Theory correspondence, where complexity is naturally understood in terms of state preparation via Euclidean path integrals, and Einstein's equations emerge from the laws of quantum complexity. We visualize spacetime complexity using Lorentzian threads which, conceptually, represent the operations needed to prepare a quantum state in a tensor network discretizing spacetime. Thus, spacetime itself evolves via optimized computation.


title: Llamaradas Estelares: Modeling the Morphology of White-Light Flares

abstract: Stellar variability is a limiting factor for planet detection and characterization, particularly around active M-type stars. Here we revisit one of the most active stars from the Kepler mission, the M4 star GJ 1243, and use a sample of 414 flare events from 11 months of 1-minute cadence light curves to study the empirical morphology of white-light stellar flares. We use a Gaussian process detrending technique to account for the underlying starspots. We present an improved analytic, continuous flare template that is generated by stacking the flares onto a scaled time and amplitude and uses a Markov Chain Monte Carlo analysis to fit the model. Our model is defined using classical flare events, but can also be used to model complex, multi-peaked flare events. We demonstrate the utility of our model using TESS data at the 10-minute, 2-minute and 20-second cadence modes. Our new flare model code is made publicly available on GitHub.


title: Generalized Hall currents in topological insulators and superconductors

abstract: We generalize the idea of the quantized Hall current to count gapless edge states in topological materials, applying equally well to theories in different dimensions, with or without continuous symmetries in the bulk or chiral anomalies on the boundaries. This current is related to the index of the Euclidean fermion operator and can be calculated via one-loop Feynman diagrams. Quantization of the current is shown to be governed by topology in phase space, and the procedure can be applied to topological classes governed by either ${\mathbb Z}$ or ${\mathbb Z}_2$ invariants. We analyze several explicit examples of free fermions in relativistic field theories. We speculate that it may be possible to extend the technique to interacting theories as well, such as the interesting cases where interactions gap the edge states.


title: Naturalness: A Snowmass White Paper

abstract: We assess the state of naturalness in high-energy physics and summarize recent approaches to the three major naturalness problems: the cosmological constant problem, the electroweak hierarchy problem, and the strong CP problem.


title: Another Shipment of Six Short-Period Giant Planets from TESS

abstract: We present the discovery and characterization of six short-period, transiting giant planets from NASA's Transiting Exoplanet Survey Satellite (TESS) -- TOI-1811 (TIC 376524552), TOI-2025 (TIC 394050135), TOI-2145 (TIC 88992642), TOI-2152 (TIC 395393265), TOI-2154 (TIC 428787891), & TOI-2497 (TIC 97568467). All six planets orbit bright host stars (8.9 <G< 11.8, 7.7 <K< 10.1). Using a combination of time-series photometric and spectroscopic follow-up observations from the TESS Follow-up Observing Program (TFOP) Working Group, we have determined that the planets are Jovian-sized (R$_{P}$ = 1.00-1.45 R$_{J}$), have masses ranging from 0.92 to 5.35 M$_{J}$, and orbit F, G, and K stars (4753 $<$ T$_{eff}$ $<$ 7360 K). We detect a significant orbital eccentricity for the three longest-period systems in our sample: TOI-2025 b (P = 8.872 days, $e$ = $0.220\pm0.053$), TOI-2145 b (P = 10.261 days, $e$ = $0.182^{+0.039}_{-0.049}$), and TOI-2497 b (P = 10.656 days, $e$ = $0.196^{+0.059}_{-0.053}$). TOI-2145 b and TOI-2497 b both orbit subgiant host stars (3.8 $<$ $\log$ g $<$4.0), but these planets show no sign of inflation despite very high levels of irradiation. The lack of inflation may be explained by the high mass of the planets; $5.35^{+0.32}_{-0.35}$ M$_{\rm J}$ (TOI-2145 b) and $5.21\pm0.52$ M$_{\rm J}$ (TOI-2497 b). These six new discoveries contribute to the larger community effort to use {\it TESS} to create a magnitude-complete, self-consistent sample of giant planets with well-determined parameters for future detailed studies.


title: A Deep Learning Approach for Predicting Two-dimensional Soil Consolidation Using Physics-Informed Neural Networks (PINN)

abstract: Soil consolidation is closely related to seepage, stability, and settlement of geotechnical buildings and foundations, and directly affects the use and safety of superstructures. Nowadays, the unidirectional consolidation theory of soils is widely used in certain conditions and approximate calculations. The multi-directional theory of soil consolidation is more reasonable than the unidirectional theory in practical applications, but it is much more complicated in terms of index determination and solution. To address the above problem, in this paper, we propose a deep learning method using physics-informed neural networks (PINN) to predict the excess pore water pressure of two-dimensional soil consolidation. In the proposed method, (1) a fully connected neural network is constructed, (2) the computational domain, partial differential equation (PDE), and constraints are defined to generate data for model training, and (3) the PDE of two-dimensional soil consolidation and the model of the neural network is connected to reduce the loss of the model. The effectiveness of the proposed method is verified by comparison with the numerical solution of PDE for two-dimensional consolidation. Using this method, the excess pore water pressure could be predicted simply and efficiently. In addition, the method was applied to predict the soil excess pore water pressure in the foundation in a real case at Tianjin port, China. The proposed deep learning approach can be used to investigate the large and complex multi-directional soil consolidation.


title: Observation of electroweak W$^+$W$^-$ pair production in association with two jets in proton-proton collisions at $\sqrt{s}$ = 13 TeV

abstract: An observation is reported of the electroweak production of a W$^+$W$^-$ pair in association with two jets, with both W bosons decaying leptonically. The data sample corresponds to an integrated luminosity of 138 fb$^{-1}$ of proton-proton collisions at $\sqrt{s}$ = 13 TeV, collected by the CMS detector at the CERN LHC. Events are selected by requiring exactly two opposite-sign leptons (electrons or muons) and two jets with large pseudorapidity separation and high dijet invariant mass. Events are categorized based on the flavor of the final-state leptons. A signal is observed with a significance of 5.6 standard deviations (5.2 expected) with respect to the background-only hypothesis. The measured fiducial cross section is 10.2 $\pm$ 2.0 fb and this value is consistent with the standard model prediction of 9.1 $\pm$ 0.6 fb.


title: Inferential Tasks as an Evaluation Technique for Visualization

abstract: Designing suitable tasks for visualization evaluation remains challenging. Traditional evaluation techniques commonly rely on 'low-level' or 'open-ended' tasks to assess the efficacy of a proposed visualization, however, nontrivial trade-offs exist between the two. Low-level tasks allow for robust quantitative evaluations, but are not indicative of the complex usage of a visualization. Open-ended tasks, while excellent for insight-based evaluations, are typically unstructured and require time-consuming interviews. Bridging this gap, we propose inferential tasks: a complementary task category based on inferential learning in psychology. Inferential tasks produce quantitative evaluation data in which users are prompted to form and validate their own findings with a visualization. We demonstrate the use of inferential tasks through a validation experiment on two well-known visualization tools.


title: Concise tensors of minimal border rank

abstract: We determine defining equations for the set of concise tensors of minimal border rank in $C^m\otimes C^m\otimes C^m$ when $m=5$ and the set of concise minimal border rank $1_*$-generic tensors when $m=5,6$. We solve this classical problem in algebraic complexity theory with the aid of two recent developments: the 111-equations defined by Buczy\'{n}ska-Buczy\'{n}ski and results of Jelisiejew-\v{S}ivic on the variety of commuting matrices. We introduce a new algebraic invariant of a concise tensor, its 111-algebra, and exploit it to give a strengthening of Friedland's normal form for $1$-degenerate tensors satisfying Strassen's equations. We use the 111-algebra to characterize wild minimal border rank tensors and classify them in $C^5\otimes C^5\otimes C^5$.


title: Towards a full description of MeV dark matter decoupling: a self-consistent determination of relic abundance and $N_{\rm eff}$

abstract: Thermal dark matter at the MeV mass-scale has its abundance set during the highly non-trivial epochs of neutrino decoupling and electron annihilation. The technical obstacles attached to solving Boltzmann equations of multiple interacting sectors being both relativistic and non-relativistic have to-date prevented the full treatment of this problem. Here, for the first time, we calculate the freeze-out of light dark matter, taking into account the energy transfer between the dark sector, neutrinos, and the electromagnetically interacting plasma from annihilation and elastic scattering processes alike. We develop a numerically feasible treatment that allows to track photon and neutrino temperatures across freeze-out and to arrive at a precision prediction of $N_{\rm eff}$ for arbitrary branching ratios of the dark matter annihilation channels. In addition, our treatment resolves for the first time the dark matter temperature evolution across freeze-out involving three sectors. It enters in the efficiency of velocity-dependent annihilation channels and for a flavor-blind $p$-wave annihilation into electron- and neutrino-pairs of all generations, we find the present Planck data excludes a complex scalar dark matter particle of mass of $m_\phi \leq 7$ MeV.


title: Causal discovery under a confounder blanket

abstract: Inferring causal relationships from observational data is rarely straightforward, but the problem is especially difficult in high dimensions. For these applications, causal discovery algorithms typically require parametric restrictions or extreme sparsity constraints. We relax these assumptions and focus on an important but more specialized problem, namely recovering the causal order among a subgraph of variables known to descend from some (possibly large) set of confounding covariates, i.e. a $\textit{confounder blanket}$. This is useful in many settings, for example when studying a dynamic biomolecular subsystem with genetic data providing background information. Under a structural assumption called the $\textit{confounder blanket principle}$, which we argue is essential for tractable causal discovery in high dimensions, our method accommodates graphs of low or high sparsity while maintaining polynomial time complexity. We present a structure learning algorithm that is provably sound and complete with respect to a so-called $\textit{lazy oracle}$. We design inference procedures with finite sample error control for linear and nonlinear systems, and demonstrate our approach on a range of simulated and real-world datasets. An accompanying $\texttt{R}$ package, $\texttt{cbl}$, is available from $\texttt{CRAN}$.


title: Domain wall damped harmonic oscillations induced by curvature gradients in elliptical magnetic nanowires

abstract: Understanding the domain wall (DW) dynamics in magnetic nanowires (NW) is crucial for spintronic-based applications demanding the use of DWs as information carriers. This work focuses on the dynamics of a DW displacing along a bent NW with an elliptical shape under the action of spin-polarized electric currents and external magnetic fields. Our results evidence that a curvature gradient induces an exchange-driven effective tangential field responsible for pinning a DW near the maximum curvature point in a NW. The DW equilibrium position depends on the competition between the torques produced by the external stimuli and the curvature-induced effective fields. When the external stimuli are below a certain threshold, the DW follows a damped harmonic oscillation around the equilibrium position. Above this threshold, DW displaces along the NW under an oscillatory translational motion.


title: Probing the $z\gtrsim6$ quasars in a universe with IllustrisTNG physics: Impact of gas-based black hole seeding models

abstract: We explore implications of a range of black hole (BH) seeding prescriptions on the formation of the brightest $z\gtrsim6$ quasars in cosmological hydrodynamic simulations. The underlying galaxy formation model is the same as in IllustrisTNG. Using constrained initial conditions, we study the growth of BHs in rare overdense regions (forming $\gtrsim10^{12}M_{\odot}/h$ halos by $z=7$) using a $(9~\mathrm{Mpc}/h)^3$ simulated volume. BH growth is maximal within halos that are compact and have a low tidal field. For these halos, we consider an array of gas-based seeding prescriptions wherein $M_{\mathrm{seed}}=10^4-10^6~M_{\odot}/h$ seeds are inserted in halos above critical thresholds for halo mass and dense, metal-poor gas mass (defined as $\tilde{M}_{\mathrm{h}}$ and $\tilde{M}_{\mathrm{sf,mp}}$, respectively, in units of $M_{\mathrm{seed}}$). We find that a seed model with $\tilde{M}_{\mathrm{sf,mp}}=5$ and $\tilde{M}_{\mathrm{h}}=3000$ successfully produces a $z\sim6$ quasar with $\sim10^9~M_{\odot}$ mass and $\sim10^{47}~\mathrm{ergs~s^ {-1}}$ luminosity. BH mergers play a crucial role at $z\gtrsim9$, causing an early boost in BH mass at a time when accretion-driven BH growth is negligible. When more stringent seeding conditions are applied (for e.g., $\tilde{M}_{\mathrm{sf,mp}}=1000$), the relative paucity of BH seeds results in a much lower merger rate. In this case, $z\gtrsim6$ quasars can only be formed if we enhance the maximum allowed BH accretion rates (by factors $\gtrsim10$) compared to the accretion model used in IllustrisTNG. This can be achieved either by allowing for super-Eddington accretion, or by reducing the radiative efficiency. Our results show that progenitors of $z\sim6$ quasars have distinct BH merger histories for different seeding models, which will be distinguishable with LISA observations.


title: Structured, flexible, and robust: benchmarking and improving large language models towards more human-like behavior in out-of-distribution reasoning tasks

abstract: Human language offers a powerful window into our thoughts -- we tell stories, give explanations, and express our beliefs and goals through words. Abundant evidence also suggests that language plays a developmental role in structuring our learning. Here, we ask: how much of human-like thinking can be captured by learning statistical patterns in language alone? We first contribute a new challenge benchmark for comparing humans and distributional large language models (LLMs). Our benchmark contains two problem-solving domains (planning and explanation generation) and is designed to require generalization to new, out-of-distribution problems expressed in language. We find that humans are far more robust than LLMs on this benchmark. Next, we propose a hybrid Parse-and-Solve model, which augments distributional LLMs with a structured symbolic reasoning module. We find that this model shows more robust adaptation to out-of-distribution planning problems, demonstrating the promise of hybrid AI models for more human-like reasoning.


title: A time-varying study of Chinese investor sentiment, stock market liquidity and volatility: Based on deep learning BERT model and TVP-VAR model

abstract: Based on the commentary data of the Shenzhen Stock Index bar on the EastMoney website from January 1, 2018 to December 31, 2019. This paper extracts the embedded investor sentiment by using a deep learning BERT model and investigates the time-varying linkage between investment sentiment, stock market liquidity and volatility using a TVP-VAR model. The results show that the impact of investor sentiment on stock market liquidity and volatility is stronger. Although the inverse effect is relatively small, it is more pronounced with the state of the stock market. In all cases, the response is more pronounced in the short term than in the medium to long term, and the impact is asymmetric, with shocks stronger when the market is in a downward spiral.


title: Error Estimates For A Linear Folding Model

abstract: An interior penalty discontinuous Galerkin method is devised to approximate minimizers of a linear folding model by discontinuous isoparametric finite element functions that account for an approximation of a folding arc. The numerical analysis of the discrete model includes an a priori error estimate in case of an accurate representation of the folding curve by the isoparametric mesh. Additional estimates show that geometric consistency errors may be controlled separately if the folding arc is approximated by piecewise polynomial curves. Various numerical experiments are carried out to validate the a priori error estimate for the folding model.


title: Investigating the nature and properties of MAXI J1810-222 with radio and X-ray observations

abstract: We present results from radio and X-ray observations of the X-ray transient MAXI J1810-222. The nature of the accretor in this source has not been identified. In this paper, we show results from a quasi-simultaneous radio and X-ray monitoring campaign taken with the Australia Telescope Compact Array (ATCA), the Neil Gehrels Swift observatory X-ray telescope (XRT), and the Swift Burst Alert Telescope (BAT). We also analyse the X-ray temporal behaviour using observations from the Neutron star Interior Composition Explorer (NICER). Results show a seemingly peculiar X-ray spectral evolution of MAXI J1810-222 during this outburst, where the source was initially only detected in the soft X-ray band for the early part of the outburst. Then, ~200 days after MAXI J1810-222 was first detected the hard X-ray emission increased and the source transitioned to a long-lived (~1.5 years) bright, harder X-ray state. After this hard state, MAXI J1810-222 returned back to a softer state, before fading and transitioning again to a harder state and then appearing to follow a more typical outburst decay. From the X-ray spectral and timing properties, and the source's radio behaviour, we argue that the results from this study are most consistent with MAXI J1810-222 being a relatively distant ($\gtrsim$6 kpc) black hole X-ray binary. A sufficiently large distance to source can simply explain the seemingly odd outburst evolution that was observed, where only the brightest portion of the outburst was detectable by the all-sky X-ray telescopes.


title: Fabrication of Nanostructured GaAs/AlGaAs Waveguide for Low-Density Polariton Condensation from a Bound State in the Continuum

abstract: Exciton-polaritons are hybrid light-matter states that arise from strong coupling between an exciton resonance and a photonic cavity mode. As bosonic excitations, they can undergo a phase transition to a condensed state that can emit coherent light without a population inversion. This aspect makes them good candidates for thresholdless lasers, yet short exciton-polariton lifetime has made it difficult to achieve condensation at very low power densities. In this sense, long-lived symmetry-protected states are excellent candidates to overcome the limitations that arise from the finite mirror reflectivity of monolithic microcavities. In this work we use a photonic symmetry protected bound state in the continuum coupled to an excitonic resonance to achieve state-of-the-art polariton condensation threshold in GaAs/AlGaAs waveguide. Most important, we show the influence of fabrication control and how surface passivation via atomic layer deposition provides a way to reduce exciton quenching at the grating sidewalls.


title: Ultra-wide Bandwidth Observations of 19 pulsars with Parkes telescope

abstract: Flux densities are basic observation parameters to describe pulsars. In the most updated pulsar catalog, 24% of the listed radio pulsars have no flux density measurement at any frequency. Here, we report the first flux density measurements, spectral indices, pulse profiles, and correlations of the spectral index with pulsar parameters for 19 pulsars employing the Ultra-Wideband Low (UWL) receiver system installed on the Parkes radio telescope. The results for spectral indices of 17 pulsars are in the range between -0.6 and -3.10. The polarization profiles of thirteen pulsars are shown. There is a moderate correlation between the spectral index and spin frequency. For most pulsars detected, the S/N ratio of pulse profile is not high, so DM, Faraday rotation measure (RM), and polarization can not be determined precisely. Twenty-nine pulsars were not detected in our observations. We discuss the possible explanations for why these pulsars were not detected.

categories: astro-ph.HE astro-ph.GA astro-ph.SR hep-ph


title: Symmetry of surfaces for linear fractional group

abstract: We will compute the stable upper genus for the family of finite non-abelian simple groups $PSL_2(\mathbb{F}_p)$ for $p \equiv 3~(mod~4)$. This classification is well-grounded in the other branches of Mathematics like topology, smooth, and conformal geometry, algebraic categories.


title: Diverse Video Generation from a Single Video

abstract: GANs are able to perform generation and manipulation tasks, trained on a single video. However, these single video GANs require unreasonable amount of time to train on a single video, rendering them almost impractical. In this paper we question the necessity of a GAN for generation from a single video, and introduce a non-parametric baseline for a variety of generation and manipulation tasks. We revive classical space-time patches-nearest-neighbors approaches and adapt them to a scalable unconditional generative model, without any learning. This simple baseline surprisingly outperforms single-video GANs in visual quality and realism (confirmed by quantitative and qualitative evaluations), and is disproportionately faster (runtime reduced from several days to seconds). Our approach is easily scaled to Full-HD videos. We also use the same framework to demonstrate video analogies and spatio-temporal retargeting. These observations show that classical approaches significantly outperform heavy deep learning machinery for these tasks. This sets a new baseline for single-video generation and manipulation tasks, and no less important -- makes diverse generation from a single video practically possible for the first time.


title: Ratio of Symmetries Between any two n-Node Graphs

abstract: Given any two graphs on the same vertex set, $G_1 = (V, E_1)$ and $G_2 = (V, E_2)$, along with the difference between the two graphs $\Delta = (E_1 \setminus E_2) \cup (E_2 \setminus E_1)$, we prove that the ratio of the sizes of the two graphs' automorphism groups is equivalent to the ratio of the sizes of $\Delta$'s automorphism orbits in $G_1$ and $G_2$ respectively. This result provides a link between graphs' symmetries that might otherwise seem to be unrelated.


title: 3-Qubit Circular Quantum Convolution Computation using Fourier Transform with Illustrative Examples

abstract: In this work, we describe examples for calculating the 1-D circular convolution of signals represented by 3-qubit superpositions. The case is considered, when the discrete Fourier transform of one of the signals is known and calculated in advance and only the QFT of another signal is calculated. The frequency characteristics of many linear time-invariant systems and filters are well known. Therefore, the considered method of convolution can be used for these systems in quantum computation. The ideal low pass and high pass filters are considered and quantum schemes for convolution are presented. The method of the Fourier transform is used with one addition qubit to prepare the quantum superposition for the inverse quantum Fourier transform.


title: Abductive Reasoning in Intuitionistic Propositional Logic via Theorem Synthesis

abstract: With help of a compact Prolog-based theorem prover for Intuitionistic Propositional Logic, we synthesize minimal assumptions under which a given formula formula becomes a theorem. After applying our synthesis algorithm to cover basic abductive reasoning mechanisms, we synthesize conjunctions of literals that mimic rows of truth tables in classical or intermediate logics and we abduce conditional hypotheses that turn the theorems of classical or intermediate logics into theorems in intuitionistic logic. One step further, we generalize our abductive reasoning mechanism to synthesize more expressive sequent premises using a minimal set of canonical formulas, to which arbitrary formulas in the calculus can be reduced while preserving their provability. Organized as a self-contained literate Prolog program, the paper supports interactive exploration of its content and ensures full replicability of our results.


title: Nonlocal Machine Learning of Micro-Structural Defect Evolutions in Crystalline Materials

abstract: The presence and evolution of defects that appear in the manufacturing process play a vital role in the failure mechanisms of engineering materials. In particular, the collective behavior of dislocation dynamics at the mesoscale leads to avalanche, strain bursts, intermittent energy spikes, and nonlocal interactions producing anomalous features across different time- and length-scales, directly affecting plasticity, void and crack nucleation. Discrete Dislocation Dynamics (DDD) simulations are often used at the meso-level, but the cost and complexity increase dramatically with simulation time. To further understand how the anomalous features propagate to the continuum, we develop a probabilistic model for dislocation motion constructed from the position statistics obtained from DDD simulations. We obtain the continuous limit of discrete dislocation dynamics through a Probability Density Function for the dislocation motion, and propose a nonlocal transport model for the PDF. We develop a machine-learning framework to learn the parameters of the nonlocal operator with a power-law kernel, connecting the anomalous nature of DDD to the origin of its corresponding nonlocal operator at the continuum, facilitating the integration of dislocation dynamics into multi-scale, long-time material failure simulations.


title: Some Grammatical Errors are Frequent, Others are Important

abstract: In Grammatical Error Correction, systems are evaluated by the number of errors they correct. However, no one has assessed whether all error types are equally important. We provide and apply a method to quantify the importance of different grammatical error types to humans. We show that some rare errors are considered disturbing while other common ones are not. This affects possible directions to improve both systems and their evaluation.


title: High-resolution ALMA study of CO (2-1) line and dust continuum emissions in cluster galaxies at z = 1.46

abstract: We present new Atacama Large Millimeter/submillimeter Array (ALMA) results obtained from spatially resolved CO $J$=2-1 line ($0.4''$ resolution) and 870 $\mu$m continuum ($0.2''$ resolution) observations of cluster galaxies in XMMXCS J2215.9-1738 at $z=1.46$. Our sample comprises 17 galaxies within $\sim0.5$ Mpc ($0.6R_{200}$) of the cluster center, all of which have previously been detected in the CO $J$=2-1 line at a lower resolution. The effective radii of both the CO $J$=2-1 line and 870 $\mu$m dust continuum emissions are robustly measured for nine galaxies by modeling the visibilities. We find that the CO $J$=2-1 line emission in all of the nine galaxies is more extended than the dust continuum emission by a factor of $2.8\pm1.4$. We investigate the spatially resolved Kennicutt-Schmidt (KS) relation in two regions within the interstellar medium of the galaxies. The relation for our sample reveals that the central region ($0<r<R_{e,{\rm 870\mu m}}$) of galaxies tends to have a shorter gas depletion timescale, i.e., a higher star formation efficiency, compared to the extended region ($R_{e,{\rm 870\mu m}}<r<R_{e,{\rm CO}}$). Overall, our result suggests that star formation activities are concentrated inside the extended gas reservoir, possibly resulting in the formation of a bulge structure. We find consistency between the ALMA 870 $\mu$m radii of star-forming members and the Hubble Space Telescope/1.6 $\mu$m radii of passive members in a mass-size distribution, which suggests a transition from star-forming to passive members within $\sim0.5$ Gyr. In addition, no clear differences in the KS relation nor in the sizes are found between galaxies with and without a close companion.


title: Principal minors of Gaussian orthogonal ensemble

abstract: In this paper, we study the extremal process of the maxima of all the largest eigenvalues of principal minors of the classical Gaussian orthogonal ensemble (GOE). We prove that the fluctuation of the maxima is given by the Gumbel distribution in the limit. We also derive the limiting joint distribution of the maxima and the corresponding eigenvector, which implies that these two random variables are asymptotically independent.


title: On the propagation of gravitational waves in matter-filled Bianchi I universe

abstract: In this paper we apply the Regge-Wheeler formalism to study the propagation of axial and polar gravitational waves in matter-filled Bianchi I universe. Assuming that the expansion scalar $ \Theta $, of the background space-time, is proportional to the shear scalar $ \sigma $, we solved the background field equations in the presence of matter (found to behave like a stiff fluid). We then derive the linearised perturbation equations for both the axial and polar modes. The analytical solutions in vacuum spacetime could be determined in an earlier paper \cite{GD1} in a relatively straightforward manner. However, here we find that in the presence of matter, they require more assumptions for their solution, and bear more involved forms. As compared to the axial modes, the polar perturbation equations contain far more complicated couplings among the perturbing terms. Thus we have to apply suitable assumptions to derive the analytical solutions for some of the cases of polar perturbations. In both the axial and polar cases, the radial and temporal solutions for the perturbations separate out as products. We find that the axial waves are damped owing to the background anisotropy, and can deform only the azimuthal velocity of the fluid. In contrast, the polar waves must trigger perturbations in the energy density, the pressure as well as in the non-azimuthal components of the fluid velocity. Similar behaviour is exhibited by axial and polar gravitational waves propagating in the Kantowski-Sachs universe \cite{GD2}. Our work is in contrast to the work done in \cite{SYK}, where the authors analysed anisotropic universes modelled by Kasner spacetime and Rindler wedges using the method of gauge-invariant perturbations in the RW gauge.


title: Existence and regularity for a general class of quasilinear elliptic problems involving the Hardy potential

abstract: In a very general quasilinear setting, we show that the regularizing effect of a first order term causes the existence of energy solutions for problems involving the Hardy potential and $L^1$ data. In the same setting we study sharp (local and global) integral estimates for the second derivatives of the solutions.


title: Magnetoelectric Exceptional Points in Isolated All-Dielectric Nanoparticles

abstract: We consider the scattering of electromagnetic waves by non-spherical dielectric resonators and reveal that it can be linked to the exceptional points underpinned by the physics of non-Hermitian systems. We demonstrate how symmetry breaking in the shape of an isolated dielectric nanoparticle can be associated with the existence of an exceptional point in the eigenvalue spectrum and formulate the general conditions for the strong coupling of resonances, illustrating them for the example of the electric dipole and magnetic dipole modes supported by a silicon nanoparticle. We argue that any two modes of a dielectric nanoparticle can lead to an exceptional point provided their resonant frequencies cross as a function of a tuning parameter, such as, e.g. its aspect ratio, and their field distributions should have opposite signs after a reflection in the transverse plane of the structure. The coupled modes radiate as a mixture of electric and magnetic dipoles, which result in a strong magnetoelectric response, being easily controlled by the symmetry breaking perturbation. We also investigate the influence of a dielectric substrate, demonstrating how the latter provides an additional mechanism to tune the position of exceptional points in the parameter space. Finally, we discuss applications of magnetoelectric exceptional points for refractive index sensing.


title: Exact solution for the quantum and private capacities of bosonic dephasing channels

abstract: The capacities of noisy quantum channels capture the ultimate rates of information transmission across quantum communication lines, and the quantum capacity plays a key role in determining the overhead of fault-tolerant quantum computation platforms. In the case of bosonic systems, central to many applications, no closed formulas for these capacities were known for bosonic dephasing channels, a key class of non-Gaussian channels modelling, e.g., noise affecting superconducting circuits or fiber-optic communication channels. Here we provide the first exact calculation of the quantum, private, two-way assisted quantum, and secret-key agreement capacities of all bosonic dephasing channels. We prove that that they are equal to the relative entropy of the distribution underlying the channel to the uniform distribution. Our result solves a problem that has been open for over a decade, having been posed originally by [Jiang & Chen, Quantum and Nonlinear Optics 244, 2010].


title: Computational behavior recognition in child and adolescent psychiatry: A statistical and machine learning analysis plan

abstract: Motivation: Behavioral observations are an important resource in the study and evaluation of psychological phenomena, but it is costly, time-consuming, and susceptible to bias. Thus, we aim to automate coding of human behavior for use in psychotherapy and research with the help of artificial intelligence (AI) tools. Here, we present an analysis plan. Methods: Videos of a gold-standard semi-structured diagnostic interview of 25 youth with obsessive-compulsive disorder (OCD) and 12 youth without a psychiatric diagnosis (no-OCD) will be analyzed. Youth were between 8 and 17 years old. Features from the videos will be extracted and used to compute ratings of behavior, which will be compared to ratings of behavior produced by mental health professionals trained to use a specific behavioral coding manual. We will test the effect of OCD diagnosis on the computationally-derived behavior ratings using multivariate analysis of variance (MANOVA). Using the generated features, a binary classification model will be built and used to classify OCD/no-OCD classes. Discussion: Here, we present a pre-defined plan for how data will be pre-processed, analyzed and presented in the publication of results and their interpretation. A challenge for the proposed study is that the AI approach will attempt to derive behavioral ratings based solely on vision, whereas humans use visual, paralinguistic and linguistic cues to rate behavior. Another challenge will be using machine learning models for body and facial movement detection trained primarily on adults and not on children. If the AI tools show promising results, this pre-registered analysis plan may help reduce interpretation bias. Trial registration: ClinicalTrials.gov - H-18010607


title: DISARM: Detecting the Victims Targeted by Harmful Memes

abstract: Internet memes have emerged as an increasingly popular means of communication on the Web. Although typically intended to elicit humour, they have been increasingly used to spread hatred, trolling, and cyberbullying, as well as to target specific individuals, communities, or society on political, socio-cultural, and psychological grounds. While previous work has focused on detecting harmful, hateful, and offensive memes, identifying whom they attack remains a challenging and underexplored area. Here we aim to bridge this gap. In particular, we create a dataset where we annotate each meme with its victim(s) such as the name of the targeted person(s), organization(s), and community(ies). We then propose DISARM (Detecting vIctimS targeted by hARmful Memes), a framework that uses named entity recognition and person identification to detect all entities a meme is referring to, and then, incorporates a novel contextualized multimodal deep neural network to classify whether the meme intends to harm these entities. We perform several systematic experiments on three test setups, corresponding to entities that are (a) all seen while training, (b) not seen as a harmful target on training, and (c) not seen at all on training. The evaluation results show that DISARM significantly outperforms ten unimodal and multimodal systems. Finally, we show that DISARM is interpretable and comparatively more generalizable and that it can reduce the relative error rate for harmful target identification by up to 9 points absolute over several strong multimodal rivals.


title: Learning to Retrieve Videos by Asking Questions

abstract: The majority of traditional text-to-video retrieval systems operate in static environments, i.e., there is no interaction between the user and the agent beyond the initial textual query provided by the user. This can be sub-optimal if the initial query has ambiguities, which would lead to many falsely retrieved videos. To overcome this limitation, we propose a novel framework for Video Retrieval using Dialog (ViReD), which enables the user to interact with an AI agent via multiple rounds of dialog, where the user refines retrieved results by answering questions generated by an AI agent. Our novel multimodal question generator learns to ask questions that maximize the subsequent video retrieval performance using (i) the video candidates retrieved during the last round of interaction with the user and (ii) the text-based dialog history documenting all previous interactions, to generate questions that incorporate both visual and linguistic cues relevant to video retrieval. Furthermore, to generate maximally informative questions, we propose an Information-Guided Supervision (IGS), which guides the question generator to ask questions that would boost subsequent video retrieval accuracy. We validate the effectiveness of our interactive ViReD framework on the AVSD dataset, showing that our interactive method performs significantly better than traditional non-interactive video retrieval systems. We also demonstrate that our proposed approach generalizes to the real-world settings that involve interactions with real humans, thus, demonstrating the robustness and generality of our framework


title: Surface Representation for Point Clouds

abstract: Most prior work represents the shapes of point clouds by coordinates. However, it is insufficient to describe the local geometry directly. In this paper, we present \textbf{RepSurf} (representative surfaces), a novel representation of point clouds to \textbf{explicitly} depict the very local structure. We explore two variants of RepSurf, Triangular RepSurf and Umbrella RepSurf inspired by triangle meshes and umbrella curvature in computer graphics. We compute the representations of RepSurf by predefined geometric priors after surface reconstruction. RepSurf can be a plug-and-play module for most point cloud models thanks to its free collaboration with irregular points. Based on a simple baseline of PointNet++ (SSG version), Umbrella RepSurf surpasses the previous state-of-the-art by a large margin for classification, segmentation and detection on various benchmarks in terms of performance and efficiency. With an increase of around \textbf{0.008M} number of parameters, \textbf{0.04G} FLOPs, and \textbf{1.12ms} inference time, our method achieves \textbf{94.7\%} (+0.5\%) on ModelNet40, and \textbf{84.6\%} (+1.8\%) on ScanObjectNN for classification, while \textbf{74.3\%} (+0.8\%) mIoU on S3DIS 6-fold, and \textbf{70.0\%} (+1.6\%) mIoU on ScanNet for segmentation. For detection, previous state-of-the-art detector with our RepSurf obtains \textbf{71.2\%} (+2.1\%) mAP$\mathit{_{25}}$, \textbf{54.8\%} (+2.0\%) mAP$\mathit{_{50}}$ on ScanNetV2, and \textbf{64.9\%} (+1.9\%) mAP$\mathit{_{25}}$, \textbf{47.7\%} (+2.5\%) mAP$\mathit{_{50}}$ on SUN RGB-D. Our lightweight Triangular RepSurf performs its excellence on these benchmarks as well. The code is publicly available at \url{https://github.com/hancyran/RepSurf}.


title: Exact solution for the time dependent non-Hermitian generalized Swanson oscillator

abstract: We produce an exact solution of the Schr\"odinger equation for the generalized time dependent Swanson oscillator. The system studied is a non-Hermitian setup characterized by time dependent complex coefficients. The exact solution is obtained by applying two transformations and under the right choice of the relevant parameters. Consequently, the model is reduced to a time independent harmonic oscillator.


title: Prandtl number effects on the hydrodynamic stability of compressible boundary layers: flow-thermodynamic interactions

abstract: Hydrodynamic stability of compressible boundary layers is strongly influenced by Mach number ($M$), Prandtl number ($Pr$) and thermal wall boundary condition. These effects manifest on the flow stability via the flow-thermodynamic interactions. Comprehensive understanding of stability flow physics is of fundamental interest and important for developing predictive tools and closure models for integrated transition-to-turbulence computations. The flow-thermodynamic interactions are examined using linear analysis and direct numerical simulations (DNS) in the following parameter regime: $0.5 \leq M \leq 8$; and, $0.5 \leq Pr \leq 1.3$. For adiabatic wall boundary condition, increasing Prandtl number has a destabilizing effect. In this work, we characterize the behavior of production, pressure-strain correlation and pressure-dilatation as functions of Mach and Prandtl numbers. First and second instability modes exhibit similar stability trends but the underlying flow physics is shown to be diametrically opposite. The Prandtl-number influence on instability is explicated in terms of the base flow profile with respect to the different perturbation mode shapes.


title: A Model for Birdwatching and other Chronological Sampling Activities

abstract: In many real life situations one has $m$ types of random events happening in chronological order within a time interval and one wishes to predict various milestones about these events or their subsets. An example is birdwatching. Suppose we can observe up to $m$ different types of birds during a season. At any moment a bird of type $i$ is observed with some probability. There are many natural questions a birdwatcher may have: how many observations should one expect to perform before recording all types of birds? Is there a time interval where the researcher is most likely to observe all species? Or, what is the likelihood that several species of birds will be observed at overlapping time intervals? Our paper answers these questions using a new model based on random interval graphs. This model is a natural follow up to the famous coupon collector's problem.


title: Gravitational waves from neutrino mass genesis

abstract: The discovery of gravitational waves opens new opportunities to test BSM physics. In particular, the production of a stochastic background of primordial gravitational waves could provide a signature of the generation of the right-right Majorana neutrino mass term necessary, within type-I seesaw mechanism, to explain lightness of neutrinos and their mixing parameters. I will discuss the possibility that such a generation occurs during a strong first order phase transition within Majoron models [1]. As well known, this can indeed produce a stochastic background of gravitational waves. The scale of the phase transition can or cannot coincide with the seesaw scale. In the latter case a low scale phase transition, occurring in the pre-recombination era, might be tested at very low frequencies ($10^{-9}$--$10^{-6}\,{\rm Hz}$). Even though the signal can hardly reproduce the NANOGrac putative signal such new physics at low scale might help ameliorating the tensions in the $\Lambda$CDM cosmological model (e.g., the Hubble tension). I will also discuss how a phase transition might be responsible for the generation of dark matter in the form of dark neutrinos coupling to the seesaw neutrinos via Higgs induced right handed-right handed neutrino mixing [2].


title: Probing the Cosmic Dark Ages with the Lunar Crater Radio Telescope

abstract: The Cosmic Dark Ages represent the period in the early evolution of the Universe, starting immediately after the decoupling of CMB photons from matter, and ending with the formation of the first stars and galaxies. The HI signal from the neutral hydrogen atoms is the only mechanism for us to understand this crucial phase in the cosmological history of the Universe and answer fundamental questions about the validity of the standard cosmological model, dark matter physics, and inflation. Due to cosmological redshift, this signal is now only observable in the 3-30~MHz frequency band, which is blocked from reaching the surface of the Earth by the ionosphere. In this paper, we present the design of the Lunar Crater Radio Telescope that intends to carry out unprecedented measurements of this signal by deploying a kilometer-sized parabolic reflector mesh inside a lunar crater on the far side of the Moon and suspending a receiver at its focus.


title: Unisolvent and minimal physical degrees of freedom for the second family of polynomial differential forms

abstract: The principal aim of this work is to provide a family of unisolvent and minimal physical degrees of freedom, called weights, for N\'ed\'elec second family of finite elements. Such elements are thought of as differential forms $ \mathcal{P}_r \Lambda^k (T)$ whose coefficients are polynomials of degree $ r $. We confine ourselves in the two dimensional case $ \mathbb{R}^2 $ since it is easy to visualise and offers a neat and elegant treatment; however, we present techniques that can be extended to $ n > 2 $ with some adjustments of technical details. In particular, we use techniques of homological algebra to obtain degrees of freedom for the whole diagram $$ \mathcal{P}_r \Lambda^0 (T) \rightarrow \mathcal{P}_r \Lambda^1 (T) \rightarrow \mathcal{P}_r \Lambda^2 (T), $$ being $ T $ a $2$-simplex of $ \mathbb{R}^2 $. This work pairs its companions recently appeared for N\'ed\'elec first family of finite elements.


title: Trusted Container Extensions for Container-based Confidential Computing

abstract: Cloud computing has emerged as a corner stone of today's computing landscape. More and more customers who outsource their infrastructure benefit from the manageability, scalability and cost saving that come with cloud computing. Those benefits get amplified by the trend towards microservices. Instead of renting and maintaining full VMs, customers increasingly leverage container technologies, which come with a much more lightweight resource footprint while also removing the need to emulate complete systems and their devices. However, privacy concerns hamper many customers from moving to the cloud and leveraging its benefits. Furthermore, regulatory requirements prevent the adaption of cloud computing in many industries, such as health care or finance. Standard software isolation mechanisms have been proven to be insufficient if the host system is not fully trusted, e.g., when the cloud infrastructure gets compromised by malicious third-party actors. Consequently, confidential computing is gaining increasing relevance in the cloud computing field. We present Trusted Container Extensions (TCX), a novel container security architecture, which combines the manageability and agility of standard containers with the strong protection guarantees of hardware-enforced Trusted Execution Environments (TEEs) to enable confidential computing for container workloads. TCX provides significant performance advantages compared to existing approaches while protecting container workloads and the data processed by them. Our implementation, based on AMD Secure Encrypted Virtualization (SEV), ensures integrity and confidentiality of data and services during deployment, and allows secure interaction between protected containers as well as to external entities. Our evaluation shows that our implementation induces a low performance overhead of 5.77% on the standard SPEC2017 benchmark suite.


title: Tiny Robot Learning: Challenges and Directions for Machine Learning in Resource-Constrained Robots

abstract: Machine learning (ML) has become a pervasive tool across computing systems. An emerging application that stress-tests the challenges of ML system design is tiny robot learning, the deployment of ML on resource-constrained low-cost autonomous robots. Tiny robot learning lies at the intersection of embedded systems, robotics, and ML, compounding the challenges of these domains. Tiny robot learning is subject to challenges from size, weight, area, and power (SWAP) constraints; sensor, actuator, and compute hardware limitations; end-to-end system tradeoffs; and a large diversity of possible deployment scenarios. Tiny robot learning requires ML models to be designed with these challenges in mind, providing a crucible that reveals the necessity of holistic ML system design and automated end-to-end design tools for agile development. This paper gives a brief survey of the tiny robot learning space, elaborates on key challenges, and proposes promising opportunities for future work in ML system design.


title: Are Metrics Enough? Guidelines for Communicating and Visualizing Predictive Models to Subject Matter Experts

abstract: Presenting a predictive model's performance is a communication bottleneck that threatens collaborations between data scientists and subject matter experts. Accuracy and error metrics alone fail to tell the whole story of a model - its risks, strengths, and limitations - making it difficult for subject matter experts to feel confident in their decision to use a model. As a result, models may fail in unexpected ways or go entirely unused, as subject matter experts disregard poorly presented models in favor of familiar, yet arguably substandard methods. In this paper, we describe an iterative study conducted with both subject matter experts and data scientists to understand the gaps in communication between these two groups. We find that, while the two groups share common goals of understanding the data and predictions of the model, friction can stem from unfamiliar terms, metrics, and visualizations - limiting the transfer of knowledge to SMEs and discouraging clarifying questions being asked during presentations. Based on our findings, we derive a set of communication guidelines that use visualization as a common medium for communicating the strengths and weaknesses of a model. We provide a demonstration of our guidelines in a regression modeling scenario and elicit feedback on their use from subject matter experts. From our demonstration, subject matter experts were more comfortable discussing a model's performance, more aware of the trade-offs for the presented model, and better equipped to assess the model's risks - ultimately informing and contextualizing the model's use beyond text and numbers.


title: Combining nonperturbative transverse momentum dependence with TMD evolution

abstract: Central to understanding the nonpertubative, intrinsic partonic nature of hadron structure are the concepts of transverse momentum dependent (TMD) parton distribution and fragmentation functions. A TMD factorization approach to the phenomenology of semi-inclusive processes that includes evolution, higher orders, and matching to larger transverse momentum, is ultimately necessary for reliably connecting with phenomenologically extracted nonperturbative structures, especially when widely different scales are involved. In this paper, we will address some of the difficulties that arise when phenomenological techniques that were originally designed for very high energy applications are extended to studies of hadron structures, and we will solidify the connection between standard high energy TMD implementations and the more intuitive, parton model based approaches to phenomenology that emphasize nonperturbative hadron structure. In the process, we will elaborate on differences between forward and backward TMD evolution, which in the context of this paper we call "bottom-up" and "top-down" approaches, and we will explain the advantages of a bottom-up strategy. We will also emphasize and clarify the role of the integral relations that connect TMD and collinear correlation functions. We will show explicitly how they constrain the nonperturbative "$g$-functions" of standard Collins-Soper-Sterman (CSS) implementations of TMD factorization. This paper is especially targeted toward phenomenologists and model builders who are interested in merging specific nonperturbative models and calculations (including lattice QCD) with TMD factorization at large $Q$. Our main result is a recipe for incorporating nonperturbative models into TMD factorization, and for constraining their parameters in a way that matches to perturbative QCD and evolution.


title: A Cantor--Bendixson dichotomy of domatic partitions

abstract: Let $\Gamma=\prod_{i\in\mathbb{N}}\Gamma_i$ be an infinite product of nontrivial finite groups, or let $\Gamma=(\mathbb{R}/\mathbb{Z})^n$ be a finite-dimensional torus. For a countably infinite set $S\subseteq \Gamma$, an $\aleph_0$-domatic partition is a partial $\aleph_0$-coloring on $\Gamma$ such that the $S$-neighborhood $S\cdot x$ of every vertex $x\in \Gamma$ contains at least one instance of each color. We show that an open $\aleph_0$-domatic partition exists, iff a Baire measurable $\aleph_0$-domatic partition exists, iff the topological closure of $S$ is uncountable. We also investigate domatic partitions in the general descriptive combinatorics setting.


title: Duality in Einstein's Gravity

abstract: We show that the Einstein equations in the vacuum are invariant under an $SO(2)$ duality symmetry which rotates the curvature 2-form into its tangent space Hodge dual. Akin to electric-magnetic duality in gauge theory, the duality operation maps classical solutions into each other. As an example, we demonstrate that the Kerr solution is non-linearly mapped by duality into Kerr-Taub-NUT.


title: Diversity of states in a chiral magnet nanocylinder

abstract: The diversity of three-dimensional magnetic states in a FeGe nanocylinder is studied using micromagnetic simulations and off-axis electron holography in the transmission electron microscope. In particular, we report the observation of a dipole string -- a spin texture composed of two coupled Bloch points -- which becomes stable under geometrical confinement. Quantitative agreement is obtained between experimental and theoretical phase shift images by taking into account the presence of a damaged layer on the surface of the nanocylinder. The theoretical model is based on the assumption that the damaged surface layer, which results from focused ion beam milling during sample preparation, has similar magnetic properties to those of an amorphous FeGe alloy. The results highlight the importance of considering the magnetic properties of the surface layers of such nanoscale samples, which influence their magnetic states.

categories: cond-mat.mes-hall cond-mat.mtrl-sci cond-mat.other cond-mat.str-el


title: A computationally efficient implementation of continuum dislocation dynamics: Formulation and application to ultrafine-grained Mg polycrystals

abstract: Continuum dislocation dynamics (CDD) represents the evolution of systems of curved and connected dislocation lines in terms of density-like field variables which include the volume density of loops (or 'curvature density') as an additional field. Since dislocation curvature represents a spatial derivative of the underlying discrete dislocation density tensor, the curvature field evolution equation of necessity contains numerically inconvenient higher-order derivatives of the density fields. We propose a simple approximation to express curvature in terms of density fields, and demonstrate its application to a benchmark problem in deformation of Mg polycrystals.


title: Neutrino mass and kinetic gravity braiding degeneracies

abstract: Modified theories of gravity yield an effective dark energy in the background dynamics that achieves an accelerated expansion of the universe. In addition, they present a fifth force that induces gravitational signatures in structure formation, and therefore in the matter power spectrum and related statistics. On the other hand, massive neutrinos suppress the power spectrum at scales that also modified gravity enhances it, so a degeneration of these effects has been recognized for some gravity models. In the present work, we study both effects using kinetic gravity braiding (nKGB) models to find that in spite of some degeneracies, the role of the fifth force at very large scales imprints a bump in the matter power spectrum as a distinctive signature of this model and, therefore, acts as a smoking gun that seems difficult to match within the present knowledge of power spectra. These models result interesting, however, since the n=1 presents no H0 tension, and all nKGB studied here present no sigma8 tension and, in addition, a null neutrino mass is excluded.


title: eFedDNN: Ensemble based Federated Deep Neural Networks for Trajectory Mode Inference

abstract: As the most significant data source in smart mobility systems, GPS trajectories can help identify user travel mode. However, these GPS datasets may contain users' private information (e.g., home location), preventing many users from sharing their private information with a third party. Hence, identifying travel modes while protecting users' privacy is a significant issue. To address this challenge, we use federated learning (FL), a privacy-preserving machine learning technique that aims at collaboratively training a robust global model by accessing users' locally trained models but not their raw data. Specifically, we designed a novel ensemble-based Federated Deep Neural Network (eFedDNN). The ensemble method combines the outputs of the different models learned via FL by the users and shows an accuracy that surpasses comparable models reported in the literature. Extensive experimental studies on a real-world open-access dataset from Montreal demonstrate that the proposed inference model can achieve accurate identification of users' mode of travel without compromising privacy.


title: Giant reduction of thermal conductivity in twinning superlattice InAsSb nanowires

abstract: Semiconductor nanostructures hold great promise for high-efficiency waste heat recovery exploiting thermoelectric energy conversion, a technological breakthrough that could significantly contribute to providing environmentally friendly energy sources as well as in enabling the realization of self-powered biomedical and wearable devices. A crucial requirement in this field is the reduction of the thermal conductivity of the thermoelectric material without detrimentally affecting its electrical transport properties. In this work we demonstrate a drastic reduction of thermal conductivity in III-V semiconductor nanowires due to the presence of intentionally realized periodic crystal lattice twin planes. The electrical and thermal transport of these nanostructures, known as twinning superlattice nanowires, have been probed and compared with their twin-free counterparts, showing a one order of magnitude decrease of thermal conductivity while maintaining unaltered electrical transport properties, thus yielding a factor ten enhancement of the thermoelectric figure of merit, ZT. Our study reports for the first time the experimental measurement of electrical and thermal properties in twinning superlattice nanowires, which emerge as a novel class of nanomaterials for high efficiency thermoelectric energy harvesting.


title: "There Is Not Enough Information": On the Effects of Explanations on Perceptions of Informational Fairness and Trustworthiness in Automated Decision-Making

abstract: Automated decision systems (ADS) are increasingly used for consequential decision-making. These systems often rely on sophisticated yet opaque machine learning models, which do not allow for understanding how a given decision was arrived at. In this work, we conduct a human subject study to assess people's perceptions of informational fairness (i.e., whether people think they are given adequate information on and explanation of the process and its outcomes) and trustworthiness of an underlying ADS when provided with varying types of information about the system. More specifically, we instantiate an ADS in the area of automated loan approval and generate different explanations that are commonly used in the literature. We randomize the amount of information that study participants get to see by providing certain groups of people with the same explanations as others plus additional explanations. From our quantitative analyses, we observe that different amounts of information as well as people's (self-assessed) AI literacy significantly influence the perceived informational fairness, which, in turn, positively relates to perceived trustworthiness of the ADS. A comprehensive analysis of qualitative feedback sheds light on people's desiderata for explanations, among which are (i) consistency (both with people's expectations and across different explanations), (ii) disclosure of monotonic relationships between features and outcome, and (iii) actionability of recommendations.


title: Efficient Antenna Optimization Using a Hybrid of Evolutionary Programing and Particle Swarm Optimization

abstract: In this paper, we present a hybrid of Evolutionary Programming (EP) and Particle Swarm Optimization (PSO) algorithms for numerically efficient global optimization of antenna arrays and metasurfaces. The hybrid EP-PSO algorithm uses an evolutionary optimization approach that incorporates swarm directions in the standard self-adaptive EP algorithm. As examples, we have applied this hybrid technique to two antenna problems: the side-lobe-level reduction of a non-uniform spaced (aperiodic) linear array and the beam shaping of a printed antenna loaded with a partially reflective metasurface. Detailed comparisons between the proposed hybrid EP-PSO technique and EP-only and PSO-only techniques are given, demonstrating the efficiency of this hybrid technique in the complex antenna design problems.


title: Co-generation of Collision-Free Shapes for Arbitrary One-Parametric Motion

abstract: Mechanical assemblies can exhibit complex relative motions, during which collisions between moving parts and their surroundings must be avoided. To define feasible design spaces for each part's shape, "maximal" collision-free pointsets can be computed using configuration space modeling techniques such as Minkowski operations and sweep/unsweep. For example, for a pair of parts undergoing a given relative motion, to make the problem well-posed, the geometry of one part (chosen arbitrarily) must be fixed to compute the maximal shape of the other part by an unsweep operation. Making such arbitrary choices in a multi-component assembly can place unnecessary restrictions on the design space. A broader family of collision-free pairs of parts can be explored, if fixing the geometry of a component is not required. In this paper, we formalize this family of collision-free shapes and introduce a generic method for generating a broad subset of them. Our procedure, which is an extension of the unsweep, allows for co-generation of a pair of geometries which are modified incrementally and simultaneously to avoid collision. We demonstrate the effectiveness and scalability of our procedure in both 2D and 3D by generating a variety of collision-free shapes. Notably, we show that our approach can automatically generate freeform cam and follower profiles, gear teeth, and screw threads, starting from colliding blocks of materials, solely from a specification of relative motion and without the use of any feature-informed heuristics. Moreover, our approach provides continuous measures of collision that can be incorporated into standard gradient-descent design optimization, allowing for simultaneous collision-free and physics-informed co-design of mechanical parts for assembly.


title: Projectively Invariant Hardy Spaces on Domains with Corners

abstract: For smoothly bounded, strongly $\mathbb{C}$-convex domains, one can use the Fefferman form or its variants to define projectively invariant norms on sections of holomorphic line bundles, producing a Hardy space. In two variables, we construct a projectively invariant measure on the singular part of a piece-wise smooth domain, and show that positivity of this invariant coincides with a notion of strong $\mathbb{C}$-convexity that is compatible with Cauchy-Fantappi\'e-Leray kernels, and thus define projectively invariant Hardy spaces as in the smooth case.


title: Dirac dark matter, neutrino masses, and dark baryogenesis

abstract: We present a gauged baryon number model as an example of models where all new fermions required to cancel out the anomalies help to solve phenomenological problems of the standard model (SM). Dark fermion doublets, along with the iso-singlet charged fermions, in conjunction with a set of SM-singlet fermions, participate in the generation of small neutrino masses through the Dirac-dark Zee mechanism. The other SM-singlets explain the dark matter in the Universe, while their coupling to an inert singlet scalar is the source of the $CP$ violation. In the presence of a strong first-order electroweak phase transition, this "dark" $CP$ violation allows for a successful electroweak baryogenesis mechanism.


title: Individual Fairness Guarantees for Neural Networks

abstract: We consider the problem of certifying the individual fairness (IF) of feed-forward neural networks (NNs). In particular, we work with the $\epsilon$-$\delta$-IF formulation, which, given a NN and a similarity metric learnt from data, requires that the output difference between any pair of $\epsilon$-similar individuals is bounded by a maximum decision tolerance $\delta \geq 0$. Working with a range of metrics, including the Mahalanobis distance, we propose a method to overapproximate the resulting optimisation problem using piecewise-linear functions to lower and upper bound the NN's non-linearities globally over the input space. We encode this computation as the solution of a Mixed-Integer Linear Programming problem and demonstrate that it can be used to compute IF guarantees on four datasets widely used for fairness benchmarking. We show how this formulation can be used to encourage models' fairness at training time by modifying the NN loss, and empirically confirm our approach yields NNs that are orders of magnitude fairer than state-of-the-art methods.


title: Deep Learning and Synthetic Media

abstract: Deep learning algorithms are rapidly changing the way in which audiovisual media can be produced. Synthetic audiovisual media generated with deep learning - often subsumed colloquially under the label "deepfakes" - have a number of impressive characteristics; they are increasingly trivial to produce, and can be indistinguishable from real sounds and images recorded with a sensor. Much attention has been dedicated to ethical concerns raised by this technological development. Here, I focus instead on a set of issues related to the notion of synthetic audiovisual media, its place within a broader taxonomy of audiovisual media, and how deep learning techniques differ from more traditional approaches to media synthesis. After reviewing important etiological features of deep learning pipelines for media manipulation and generation, I argue that "deepfakes" and related synthetic media produced with such pipelines do not merely offer incremental improvements over previous methods, but challenge traditional taxonomical distinctions, and pave the way for genuinely novel kinds of audiovisual media.


title: Probabilistic learning for pulsar classification

abstract: In this work, we explore the possibility of using probabilistic learning to identify pulsar candidates. We make use of Deep Gaussian Process (DGP) and Deep Kernel Learning (DKL). Trained on a balanced training set in order to avoid the effect of class imbalance, the performance of the models, achieving relatively high probability of differentiating the positive class from the negative one ($roc$-$auc \sim 0.98$), is very promising overall. We estimate the predictive entropy of each model predictions and find that DKL is more confident than DGP in its predictions and provides better uncertainty calibration. Upon investigating the effect of training with imbalanced dataset on the models, results show that each model performance decreases with an increasing number of the majority class in the training set. Interestingly, with a number of negative class $10\times$ that of positive class, the models still provide reasonably well calibrated uncertainty, i.e. an expected Uncertainty Calibration Error (UCE) less than $6\%$. We also show in this study how, in the case of relatively small amount of training dataset, a convolutional neural network based classifier trained via Bayesian Active Learning by Disagreement (BALD) performs. We find that, with an optimized number of training examples, the model -- being the most confident in its predictions -- generalizes relatively well and produces the best uncertainty calibration which corresponds to UCE = $3.118\%$.


title: Weierstrass type projective Riccati equation expansion method and solutions of KdV equation

abstract: This paper presents two new Weierstrass elliptic function solutions of the projective Riccati equations and four conversion formulas for converting the Weierstrass elliptic functions to the hyperbolic and trigonometric functions. The Weierstrass elliptic function solutions to the projective Riccati equations and the conversion formulas are used to propose the called Weierstrass type projective Riccati equation expansion method. The Weierstrass elliptic function solutions, the solitary wave and the periodic wave solutions of the KdV equation are constructed by using the proposed method. The solitary wave like and the periodic wave solutions of the KdV equation are shown through some figures.


title: Near-monochromatic tuneable cryogenic niobium electron field emitter

abstract: Creating, manipulating, and detecting coherent electrons is at the heart of future quantum microscopy and spectroscopy technologies. Leveraging and specifically altering the quantum features of an electron beam source at low temperatures can enhance its emission properties. Here, we describe electron field emission from a monocrystalline, superconducting niobium nanotip at a temperature of 5.9 K. The emitted electron energy spectrum reveals an ultra-narrow distribution down to 16 meV due to tunable resonant tunneling field emission via localized band states at a nano-protrusion's apex and a cut-off at the sharp low-temperature Fermi-edge. This is an order of magnitude lower than for conventional field emission electron sources. The self-focusing geometry of the tip leads to emission in an angle of 3.7 deg, a reduced brightness of 3.8 x 10exp8 A/(m2 sr V), and a stability of hours at 4.1 nA beam current and 69 meV energy width. This source will decrease the impact of lens aberration and enable new modes in low-energy electron microscopy, electron energy loss spectroscopy, and high-resolution vibrational spectroscopy.


title: Response to `Comment on Theory of growth of number entropy in disordered systems'

abstract: In a recent preprint by Kiefer-Emmanouilidis, Unanyan, Fleischhauer and Sirker [arxiv:2203.06689] the authors comment on our work which studied the number entropy in strongly disordered systems. The data presented in the comment does not refute what we have stated in our work. In fact several statements about our paper, for example, that the results we presented are due to some special initial states, are incorrect.


title: LSI: A Learned Secondary Index Structure

abstract: Learned index structures have been shown to achieve favorable lookup performance and space consumption compared to their traditional counterparts such as B-trees. However, most learned index studies have focused on the primary indexing setting, where the base data is sorted. In this work, we investigate whether learned indexes sustain their advantage in the secondary indexing setting. We introduce Learned Secondary Index (LSI), a first attempt to use learned indexes for indexing unsorted data. LSI works by building a learned index over a permutation vector, which allows binary search to performed on the unsorted base data using random access. We additionally augment LSI with a fingerprint vector to accelerate equality lookups. We show that LSI achieves comparable lookup performance to state-of-the-art secondary indexes while being up to 6x more space efficient.


title: De-biasing "bias" measurement

abstract: When a model's performance differs across socially or culturally relevant groups--like race, gender, or the intersections of many such groups--it is often called "biased." While much of the work in algorithmic fairness over the last several years has focused on developing various definitions of model fairness (the absence of group-wise model performance disparities) and eliminating such "bias," much less work has gone into rigorously measuring it. In practice, it important to have high quality, human digestible measures of model performance disparities and associated uncertainty quantification about them that can serve as inputs into multi-faceted decision-making processes. In this paper, we show both mathematically and through simulation that many of the metrics used to measure group-wise model performance disparities are themselves statistically biased estimators of the underlying quantities they purport to represent. We argue that this can cause misleading conclusions about the relative group-wise model performance disparities along different dimensions, especially in cases where some sensitive variables consist of categories with few members. We propose the "double-corrected" variance estimator, which provides unbiased estimates and uncertainty quantification of the variance of model performance across groups. It is conceptually simple and easily implementable without statistical software package or numerical optimization. We demonstrate the utility of this approach through simulation and show on a real dataset that while statistically biased estimators of group-wise model performance disparities indicate statistically significant differences, when accounting for statistical bias in the estimator, the estimated between-group disparities are no longer statistically significant.


title: Determining the bubble nucleation efficiency of low-energy nuclear recoils in superheated C$_3$F$_8$ dark matter detectors

abstract: The bubble nucleation efficiency of low-energy nuclear recoils in superheated liquids plays a crucial role in interpreting results from direct searches for weakly interacting massive particle (WIMP) dark matter. The PICO Collaboration presents the results of the efficiencies for bubble nucleation from carbon and fluorine recoils in superheated C$_3$F$_8$ from calibration data taken with 5 distinct neutron spectra at various thermodynamic thresholds ranging from 2.1 keV to 3.9 keV. Instead of assuming any particular functional forms for the nuclear recoil efficiency, a generalized piecewise linear model is proposed with systematic errors included as nuisance parameters to minimize model-introduced uncertainties. A Markov-Chain Monte-Carlo (MCMC) routine is applied to sample the nuclear recoil efficiency for fluorine and carbon at 2.45 keV and 3.29 keV thermodynamic thresholds simultaneously. The nucleation efficiency for fluorine was found to be $\geq 50\, \%$ for nuclear recoils of 3.3 keV (3.7 keV) at a thermodynamic Seitz threshold of 2.45 keV (3.29 keV), and for carbon the efficiency was found to be $\geq 50\, \%$ for recoils of 10.6 keV (11.1 keV) at a threshold of 2.45 keV (3.29 keV). Simulated data sets are used to calculate a p-value for the fit, confirming that the model used is compatible with the data. The fit paradigm is also assessed for potential systematic biases, which although small, are corrected for. Additional steps are performed to calculate the expected interaction rates of WIMPs in the PICO-60 detector, a requirement for calculating WIMP exclusion limits.


title: Hopf monoids of set families

abstract: A \textit{grounded set family} on $I$ is a subset $\mathcal{F}\subseteq2^I$ such that $\emptyset\in\mathcal{F}$. We study a linearized Hopf monoid \textbf{SF} on grounded set families, with restriction and contraction inspired by the corresponding operations for antimatroids. Many known combinatorial species, including simplicial complexes and matroids, form Hopf submonoids of \textbf{SF}, although not always with the "standard" Hopf structure (for example, our contraction operation is not the usual contraction of matroids). We use the topological methods of Aguiar and Ardila to obtain a cancellation-free antipode formula for the Hopf submonoid of lattices of order ideals of finite posets. Furthermore, we prove that the Hopf algebra of lattices of order ideals of chain gangs extends the Hopf algebra of symmetric functions, and that its character group extends the group of formal power series in one variable with constant term 1 under multiplication.


title: Desarrollo del software de interfaz de usuario para el espectr\'ografo astron\'omico COLORES instalado en el observatorio de la Mayora

abstract: This thesis project arises from the need to put into operation the spectrograph (COLORES) of the station (BOOTES 2), located in La Mayora and belonging to the network of Burst Observer and Optical Transient Exploring System (BOOTES) telescopes. A robotic telescope such as the one located at BOOTES 2 has, among its many virtues, the ability to perform a multitude of observations with a very low reaction time. This makes it possible to obtain a large amount of data on the positioning and characterization of astronomical bodies. With this tool in operation, it will now be possible to extract a multitude of new parameters from the observations, providing this station with a more complete and versatile instrument with which to obtain more interesting scientific information. For this task, a series of scripts will be performed. Specifically two, one for the calibration of the spectrograph and another one in charge of the image processing and the extraction of its spectrum. This will be carried out using Spyder software (Python), in which, in addition, numerous tests will be carried out to verify that the software works perfectly. Once these tests have been carried out, it will be implemented in the telescope's Web page for its use. Several libraries will be used for this purpose, including Astropy, which includes a complete package for handling astronomical data in Python, and Matplotlib, which allows the use of graphics generated from data contained in arrays. In addition, several image acquisition techniques will be used, such as: filtering, Gaussian adjustment, and use of regions of interferences. With all this, the data extracted from the telescope will be optimized to achieve the desired results.


title: Processing of massive Rutherford Back-scattering Spectrometry data by artificial neural networks

abstract: Rutherford Backscattering Spectrometry (RBS) is an important technique providing elemental information of the near surface region of samples with high accuracy and robustness. However, this technique lacks throughput by the limited rate of data processing and is hardly routinely applied in research with a massive number of samples (i.e. hundreds or even thousands of samples). The situation is even worse for complex samples. If roughness or porosity is present in those samples the simulation of such structures is computationally demanding. Fortunately, Artificial Neural Networks (ANN) show to be a great ally for massive data processing of ion beam data. In this paper, we report the performance comparison of ANN against human evaluation and an automatic fit routine running on batch mode. 500 spectra of marker layers from the stellarator W7-X were used as study case. The results showed ANN as more accurate than humans and more efficient than automatic fits.


title: CSI-fingerprinting Indoor Localization via Attention-Augmented Residual Convolutional Neural Network

abstract: Deep learning has been widely adopted for channel state information (CSI)-fingerprinting indoor localization systems. These systems usually consist of two main parts, i.e., a positioning network that learns the mapping from high-dimensional CSI to physical locations and a tracking system that utilizes historical CSI to reduce the positioning error. This paper presents a new localization system with high accuracy and generality. On the one hand, the receptive field of the existing convolutional neural network (CNN)-based positioning networks is limited, restricting their performance as useful information in CSI is not explored thoroughly. As a solution, we propose a novel attention-augmented residual CNN to utilize the local information and global context in CSI exhaustively. On the other hand, considering the generality of a tracking system, we decouple the tracking system from the CSI environments so that one tracking system for all environments becomes possible. Specifically, we remodel the tracking problem as a denoising task and solve it with deep trajectory prior. Furthermore, we investigate how the precision difference of inertial measurement units will adversely affect the tracking performance and adopt plug-and-play to solve the precision difference problem. Experiments show the superiority of our methods over existing approaches in performance and generality improvement.


title: Annealed Langevin Dynamics for Massive MIMO Detection

abstract: Solving the optimal symbol detection problem in multiple-input multiple-output (MIMO) systems is known to be NP-hard. Hence, the objective of any detector of practical relevance is to get reasonably close to the optimal solution while keeping the computational complexity in check. In this work, we propose a MIMO detector based on an annealed version of Langevin (stochastic) dynamics. More precisely, we define a stochastic dynamical process whose stationary distribution coincides with the posterior distribution of the symbols given our observations. In essence, this allows us to approximate the maximum a posteriori estimator of the transmitted symbols by sampling from the proposed Langevin dynamic. Furthermore, we carefully craft this stochastic dynamic by gradually adding a sequence of noise with decreasing variance to the trajectories, which ensures that the estimated symbols belong to a pre-specified discrete constellation. Based on the proposed MIMO detector, we also design a robust version of the method by unfolding and parameterizing one term -- the score of the likelihood -- by a neural network. Through numerical experiments in both synthetic and real-world data, we show that our proposed detector yields state-of-the-art symbol error rate performance and the robust version becomes noise-variance agnostic.


title: Efficient estimation of modified treatment policy effects based on the generalized propensity score

abstract: Continuous treatments have posed a significant challenge for causal inference, both in the formulation and identification of scientifically meaningful effects and in their robust estimation. Traditionally, focus has been placed on techniques applicable to binary or categorical treatments with few levels, allowing for the application of propensity score-based methodology with relative ease. Efforts to accommodate continuous treatments introduced the generalized propensity score, yet estimators of this nuisance parameter commonly utilize parametric regression strategies that sharply limit the robustness and efficiency of inverse probability weighted estimators of causal effect parameters. We formulate and investigate a novel, flexible estimator of the generalized propensity score based on a nonparametric function estimator that provably converges at a suitably fast rate to the target functional so as to facilitate statistical inference. With this estimator, we demonstrate the construction of nonparametric inverse probability weighted estimators of a class of causal effect estimands tailored to continuous treatments. To ensure the asymptotic efficiency of our proposed estimators, we outline several non-restrictive selection procedures for utilizing a sieve estimation framework to undersmooth estimators of the generalized propensity score. We provide the first characterization of such inverse probability weighted estimators achieving the nonparametric efficiency bound in a setting with continuous treatments, demonstrating this in numerical experiments. We further evaluate the higher-order efficiency of our proposed estimators by deriving and numerically examining the second-order remainder of the corresponding efficient influence function in the nonparametric model. Open source software implementing our proposed estimation techniques, the haldensify R package, is briefly discussed.


title: Inequalities In Homogeneous Triebel-Lizorkin And Besov-Lipschitz Spaces

abstract: This paper provides equivalence characterizations of homogeneous Triebel-Lizorkin and Besov-Lipschitz spaces, denoted by $\dot{F}^s_{p,q}(\mathbb{R}^n)$ and $\dot{B}^s_{p,q}(\mathbb{R}^n)$ respectively, in terms of maximal functions of the mean values of iterated difference. It also furnishes the reader with inequalities in $\dot{F}^s_{p,q}(\mathbb{R}^n)$ in terms of iterated difference and in terms of iterated difference along coordinate axes. The corresponding inequalities in $\dot{B}^s_{p,q}(\mathbb{R}^n)$ in terms of iterated difference and in terms of iterated difference along coordinate axes are also considered. The techniques used in this paper are of Fourier analytic nature and the Hardy-Littlewood and Peetre-Fefferman-Stein maximal functions.


title: Multivariate ordered discrete response models

abstract: We introduce multivariate ordered discrete response models with general rectangular structures. From the perspective of behavioral economics, these non-lattice models correspond to broad bracketing in decision making, whereas lattice models, which researchers typically estimate in practice, correspond to narrow bracketing. In these models, we specify latent processes as a sum of an index of covariates and an unobserved error, with unobservables for different latent processes potentially correlated. We provide conditions that are sufficient for identification under the independence of errors and covariates and outline an estimation approach. We present simulations and empirical examples, with a particular focus on probit specifications.


title: Symmetrization for fractional nonlinear elliptic problems

abstract: In this note we prove a new symmetrization result, in the form of mass concentration comparison, for solutions of nonlocal nonlinear Dirichlet problems involving fractional p Laplacians. Some regularity estimates of solutions will be established as a direct application of the main result.


title: VyZX : A Vision for Verifying the ZX Calculus

abstract: Optimizing quantum circuits is a key challenge for quantum computing. The PyZX compiler broke new ground by optimizing circuits via the ZX calculus, a powerful graphical alternative to the quantum circuit model. Still, it carries no guarantee of its correctness. To address this, we developed VyZX, a verified ZX-calculus in the Coq proof assistant. VyZX provides two distinct representations of ZX diagrams for ease of programming and proof: A graph-based representation for writing high-level functions on diagrams and a block-based representation for proving ZX diagrams equivalent. Through these two different views, VyZX provides the tools necessary to verify properties and transformations of ZX diagrams. This paper explores the proofs and design choices underlying VyZX and its application and the challenges of verifying a graphical programming language.


title: On the Complexity of Determining Whether there is a Unique Hamiltonian Cycle or Path

abstract: The decision problems of the existence of a Hamiltonian cycle or of a Hamiltonian path in a given graph, and of the existence of a truth assignment satisfying a given Boolean formula $C$, are well-known {\it NP}-complete problems. Here we study the problems of the {\it uniqueness} of a Hamiltonian cycle or path in an undirected, directed or oriented graph, and show that they have the same complexity, up to polynomials, as the problem U-SAT of the uniqueness of an assignment satisfying $C$. As a consequence, these Hamiltonian problems are {\it NP}-hard and belong to the class~{\it DP}, like U-SAT.


title: MEWS: Real-time Social Media Manipulation Detection and Analysis

abstract: This article presents a beta-version of MEWS (Misinformation Early Warning System). It describes the various aspects of the ingestion, manipulation detection, and graphing algorithms employed to determine--in near real-time--the relationships between social media images as they emerge and spread on social media platforms. By combining these various technologies into a single processing pipeline, MEWS can identify manipulated media items as they arise and identify when these particular items begin trending on individual social media platforms or even across multiple platforms. The emergence of a novel manipulation followed by rapid diffusion of the manipulated content suggests a disinformation campaign.