title: Progressive Learning with Cross-Window Consistency for Semi-Supervised Semantic Segmentation

abstract: Semi-supervised semantic segmentation focuses on the exploration of a small amount of labeled data and a large amount of unlabeled data, which is more in line with the demands of real-world image understanding applications. However, it is still hindered by the inability to fully and effectively leverage unlabeled images. In this paper, we reveal that cross-window consistency (CWC) is helpful in comprehensively extracting auxiliary supervision from unlabeled data. Additionally, we propose a novel CWC-driven progressive learning framework to optimize the deep network by mining weak-to-strong constraints from massive unlabeled data. More specifically, this paper presents a biased cross-window consistency (BCC) loss with an importance factor, which helps the deep network explicitly constrain confidence maps from overlapping regions in different windows to maintain semantic consistency with larger contexts. In addition, we propose a dynamic pseudo-label memory bank (DPM) to provide high-consistency and high-reliability pseudo-labels to further optimize the network. Extensive experiments on three representative datasets of urban views, medical scenarios, and satellite scenes demonstrate our framework consistently outperforms the state-of-the-art methods with a large margin. Code will be available publicly.


title: Magneto hydrodynamic simulations of the supernova remnant G1.9+0.3

abstract: The youngest Galactic supernova remnant G1.9+0.3 shows a discrete feature between its radio and X-ray morphologies. The observed radio morphology features a single maximum in the north, while the X-ray observation shows two opposite 'ears' on the east and west sides. Using 3D magneto hydrodynamical simulations, we investigate the formation of the discrete feature of the remnant. We have tested different parameters for better simulation and reproduced similar discrete features under an environment with density gradient and an environment with clump, which provides a possible explanation of the observation.


title: Recoil Proton Telescopes and Parallel Plate Avalanche Counters for the $^{235}$U(n,f) cross section measurement relative to H(n,n)H between 10 and 450 MeV neutron energy

abstract: With the aim of measuring the $^{235}$U(n,f) cross section at the n\_TOF facility at CERN over a wide neutron energy range, a detection system consisting of two fission detectors and three detectors for neutron flux determination was realized. The neutron flux detectors are Recoil Proton Telescopes (RPT), based on scintillators and solid state detectors, conceived to detect recoil protons from the neutron-proton elastic scattering reaction. This system, along with a fission chamber and an array of parallel plate avalanche counters for fission event detection, was installed for the measurement at the n\_TOF facility in 2018, at CERN. An overview of the performances of two RPTs - especially developed for this measurement - and of the parallel plate avalanche counters are described in this article. In particular, the characterization in terms of detection efficiency by Monte Carlo simulations and response to neutron beam, the study of the background, dead time correction and characterization of the samples, are reported. The results of the present investigation show that the performances of these detectors are suitable for accurate measurements of fission reaction cross sections in the range from 10 to 450~MeV.


title: Non-conservation of the valley density and its implications for the observation of the valley Hall effect

abstract: We show that the conservation of the valley density in multi-valley and time-reversal-invariant insulators is broken in an unexpected way by the electric field that drives the valley Hall effect. This implies that fully-gapped insulators can support a valley Hall current in the bulk and yet show no valley density accumulation on the edges. Thus, the valley Hall effect cannot be observed in such systems. If the system is not fully gapped then valley density accumulation at the edges is possible and can result in a net generation of valley density. The accumulation has no contribution from undergap states and can be expressed as a Fermi surface average, for which we derive an explicit formula. We demonstrate the theory by calculating the valley density accumulations in an archetypical valley-Hall insulator: a gapped graphene nanoribbon. Surprisingly, we discover that a net valley density polarization is dynamically generated for some types of edge terminations.


title: Anosov Geodesic Flows on Surfaces

abstract: This paper is an exposition of the major results of P. Eberlein's paper, "When is a geodesic flow of Anosov type? I," in the special case when the manifold $M$ is a surface. We follow Eberlein's coverage closely, adding details when helpful, and taking advantage of simplifications given by the dimension two case. The objective is to give readers a more tractable introduction to the important topic of Anosov geodesic flows, which highlights key concepts and arguments without worrying about generalizations to arbitrary dimension.


title: Critical locus for H\'enon maps in an HOV region

abstract: We prove that the characterization of the critical locus for complex H\'enon maps that are small perturbations of quadratic polynomials with disconnected Julia sets given by Firsova holds in a much larger HOV-like region from the complex horseshoe locus. The techniques of this paper are non-perturbative.


title: Finding Almost Tight Witness Trees

abstract: This paper addresses a graph optimization problem, called the Witness Tree problem, which seeks a spanning tree of a graph minimizing a certain non-linear objective function. This problem is of interest because it plays a crucial role in the analysis of the best approximation algorithms for two fundamental network design problems: Steiner Tree and Node-Tree Augmentation. We will show how a wiser choice of witness trees leads to an improved approximation for Node-Tree Augmentation, and for Steiner Tree in special classes of graphs.


title: Multi-task Learning for Camera Calibration

abstract: For a number of tasks, such as 3D reconstruction, robotic interface, autonomous driving, etc., camera calibration is essential. In this study, we present a unique method for predicting intrinsic (principal point offset and focal length) and extrinsic (baseline, pitch, and translation) properties from a pair of images. We suggested a novel method where camera model equations are represented as a neural network in a multi-task learning framework, in contrast to existing methods, which build a comprehensive solution. By reconstructing the 3D points using a camera model neural network and then using the loss in reconstruction to obtain the camera specifications, this innovative camera projection loss (CPL) method allows us that the desired parameters should be estimated. As far as we are aware, our approach is the first one that uses an approach to multi-task learning that includes mathematical formulas in a framework for learning to estimate camera parameters to predict both the extrinsic and intrinsic parameters jointly. Additionally, we provided a new dataset named as CVGL Camera Calibration Dataset [1] which has been collected using the CARLA Simulator [2]. Actually, we show that our suggested strategy out performs both conventional methods and methods based on deep learning on 6 out of 10 parameters that were assessed using both real and synthetic data. Our code and generated dataset are available at https://github.com/thanif/Camera-Calibration-through-Camera-Projection-Loss.


title: TF-GridNet: Integrating Full- and Sub-Band Modeling for Speech Separation

abstract: We propose TF-GridNet for speech separation. The model is a novel deep neural network (DNN) integrating full- and sub-band modeling in the time-frequency (T-F) domain. It stacks several blocks, each consisting of an intra-frame full-band module, a sub-band temporal module, and a cross-frame self-attention module. It is trained to perform complex spectral mapping, where the real and imaginary (RI) components of input signals are stacked as features to predict target RI components. We first evaluate it on monaural anechoic speaker separation. Without using data augmentation and dynamic mixing, it obtains a state-of-the-art 23.5 dB improvement in scale-invariant signal-to-distortion ratio (SI-SDR) on WSJ0-2mix, a standard dataset for two-speaker separation. To show its robustness to noise and reverberation, we evaluate it on monaural reverberant speaker separation using the SMS-WSJ dataset and on noisy-reverberant speaker separation using WHAMR!, and obtain state-of-the-art performance on both datasets. We then extend TF-GridNet to multi-microphone conditions through multi-microphone complex spectral mapping, and integrate it into a two-DNN system with a beamformer in between (named as MISO-BF-MISO in earlier studies), where the beamformer proposed in this paper is a novel multi-frame Wiener filter computed based on the outputs of the first DNN. State-of-the-art performance is obtained on the multi-channel tasks of SMS-WSJ and WHAMR!. Besides speaker separation, we apply the proposed algorithms to speech dereverberation and noisy-reverberant speech enhancement. State-of-the-art performance is obtained on a dereverberation dataset and on the dataset of the recent L3DAS22 multi-channel speech enhancement challenge.


title: Expansive Participatory AI: Supporting Dreaming within Inequitable Institutions

abstract: Participatory Artificial Intelligence (PAI) has recently gained interest by researchers as means to inform the design of technology through collective's lived experience. PAI has a greater promise than that of providing useful input to developers, it can contribute to the process of democratizing the design of technology, setting the focus on what should be designed. However, in the process of PAI there existing institutional power dynamics that hinder the realization of expansive dreams and aspirations of the relevant stakeholders. In this work we propose co-design principals for AI that address institutional power dynamics focusing on Participatory AI with youth.


title: Insulating Phase in Two-dimensional Josephson-Junction Arrays Investigated by Nonlinear Transport

abstract: We present experimental investigations of transport properties in the insulating phase of two-dimensional Josephson-junction arrays (JJAs) by systematically changing the ratio of Josephson energy $E_\mathrm{J}$ and charging energy $E_\mathrm{C}$. The observed temperature dependence of resistance indicates that the JJAs do not show a sharp phase transition but exhibit a gradual crossover to the insulating phase. At low temperatures, the current-voltage ($I$-$V$) characteristics become nonlinear as described by $I=cV+bV^a$ ($a$, $b$, and $c$ are temperature dependent coefficients). This nonlinear behavior is understood in terms of the Berezinskii-Kosterlitz-Thouless (BKT) mechanism by taking into account the influence of a finite-range cutoff of the logarithmic interaction between Cooper pairs. From the analysis of the nonlinearity, we deduce the crossover temperature to the insulating phase and determine the phase diagram in the insulating side as a function of $E_\mathrm{J} /E_\mathrm{C}$. We also show that, at very low temperatures, the $I$-$V$ characteristics continuously develop into the negative differential conductance caused by coherent single-Cooper-pair tunneling.


title: Dynamic Depth-Supervised NeRF for Multi-View RGB-D Operating Room Images

abstract: The operating room (OR) is an environment of interest for the development of sensing systems, enabling the detection of people, objects, and their semantic relations. Due to frequent occlusions in the OR, these systems often rely on input from multiple cameras. While increasing the number of cameras generally increases algorithm performance, there are hard limitations to the number and locations of cameras in the OR. Neural Radiance Fields (NeRF) can be used to render synthetic views from arbitrary camera positions, virtually enlarging the number of cameras in the dataset. In this work, we explore the use of NeRF for view synthesis of dynamic scenes in the OR, and we show that regularisation with depth supervision from RGB-D sensor data results in higher image quality. We optimise a dynamic depth-supervised NeRF with up to six synchronised cameras that capture the surgical field in five distinct phases before and during a knee replacement surgery. We qualitatively inspect views rendered by a virtual camera that moves 180 degrees around the surgical field at differing time values. Quantitatively, we evaluate view synthesis from an unseen camera position in terms of PSNR, SSIM and LPIPS for the colour channels and in MAE and error percentage for the estimated depth. We find that NeRFs can be used to generate geometrically consistent views, also from interpolated camera positions and at interpolated time intervals. Views are generated from an unseen camera pose with an average PSNR of 18.2 and a depth estimation error of 2.0%. Our results show the potential of a dynamic NeRF for view synthesis in the OR and stress the relevance of depth supervision in a clinical setting.


title: Macroeconomic Effects of Active Labour Market Policies: A Novel Instrumental Variables Approach

abstract: This study evaluates the macroeconomic effects of active labour market policies (ALMP) in Germany over the period 2005 to 2018. We propose a novel identification strategy to overcome the simultaneity of ALMP and labour market outcomes at the regional level. It exploits the imperfect overlap of local labour markets and local employment agencies that decide on the local implementation of policies. Specifically, we instrument for the use of ALMP in a local labour market with the mix of ALMP implemented outside this market but in local employment agencies that partially overlap with this market. We find no effects of short-term activation measures and further vocational training on aggregate labour market outcomes. In contrast, wage subsidies substantially increase the share of workers in unsubsidised employment while lowering long-term unemployment and welfare dependency. Our results suggest that negative externalities of ALMP partially offset the effects for program participants and that some segments of the labour market benefit more than others.


title: Cool, Luminous, and Highly Variable Stars in the Magellanic Clouds. II: Spectroscopic and Environmental Analysis of Thorne-\.Zytkow Object and Super-AGB Star Candidates

abstract: In previous work we identified a population of 38 cool and luminous variable stars in the Magellanic Clouds and examined 11 in detail in order to classify them as either Thorne-\.Zytkow Objects (T\.ZOs, red supergiants with a neutron star cores) or super-AGB stars (the most massive stars that will not undergo core collapse). This population includes HV\,2112, a peculiar star previously considered in other works to be either a T\.ZO or high-mass AGB star. Here we continue this investigation, using the kinematic and radio environments and local star formation history of these stars to place constraints on the age of the progenitor systems and the presence of past supernovae. These stars are not associated with regions of recent star formation, and we find no evidence of past supernovae at their locations. Finally, we also assess the presence of heavy elements and lithium in their spectra compared to red supergiants. We find strong absorption in Li and s-process elements compared to RSGs in most of the sample, consistent with super-AGB nucleosynthesis, while HV\,2112 shows additional strong lines associated with T\.ZO nucleosynthesis. Coupled with our previous mass estimates, the results are consistent with the stars being massive (~4-6.5M$_{\odot}$) or super-AGB (~6.5-12M$_{\odot}$) stars in the thermally pulsing phase, providing crucial observations of the transition between low- and high-mass stellar populations. HV\,2112 is more ambiguous; it could either be a maximally massive sAGB star, or a T\.ZO if the minimum mass for stability extends down to <13 M$_\odot$.


title: Asymptotically isometric codes for holography

abstract: The holographic principle suggests that the low energy effective field theory of gravity, as used to describe perturbative quantum fields about some background has far too many states. It is then natural that any quantum error correcting code with such a quantum field theory as the code subspace is not isometric. We discuss how this framework can naturally arise in an algebraic QFT treatment of a family of CFT with a large-$N$ limit described by the single trace sector. We show that an isometric code can be recovered in the $N \rightarrow \infty$ limit when acting on fixed states in the code Hilbert space. Asymptotically isometric codes come equipped with the notion of simple operators and nets of causal wedges. While the causal wedges are additive, they need not satisfy Haag duality, thus leading to the possibility of non-trivial entanglement wedge reconstructions. Codes with complementary recovery are defined as having extensions to Haag dual nets, where entanglement wedges are well defined for all causal boundary regions. We prove an asymptotic version of the information disturbance trade-off theorem and use this to show that boundary theory causality is maintained by net extensions. We give a characterization of the existence of an entanglement wedge extension via the asymptotic equality of bulk and boundary relative entropy or modular flow. While these codes are asymptotically exact, at fixed $N$ they can have large errors on states that do not survive the large-$N$ limit. This allows us to fix well known issues that arise when modeling gravity as an exact codes, while maintaining the nice features expected of gravity, including, among other things, the emergence of non-trivial von Neumann algebras of various types.


title: A Nichtnegativstellensatz on singular varieties under the denseness of regular loci

abstract: Let $V$ be a real algebraic variety with singularities and $f$ be a real polynomial non-negative on $V$. Assume that the regular locus of $V$ is dense in $V$ by the usual topology. Using Hironaka's resolution of singularities and Demmel--Nie--Powers' Nichtnegativstellensatz, we obtain a sum of squares-based representation that characterizes the non-negativity of $f$ on $V$. This representation allows us to build up exact semidefinite relaxations for polynomial optimization problems whose optimal solutions are possibly singularities of the constraint sets.


title: Query Complexity of Inversion Minimization on Trees

abstract: We consider the following computational problem: Given a rooted tree and a ranking of its leaves, what is the minimum number of inversions of the leaves that can be attained by ordering the tree? This variation of the problem of counting inversions in arrays originated in mathematical psychology, with the evaluation of the Mann--Whitney statistic for detecting differences between distributions as a special case. We study the complexity of the problem in the comparison-query model, used for problems like sorting and selection. For many types of trees with $n$ leaves, we establish lower bounds close to the strongest known in the model, namely the lower bound of $\log_2(n!)$ for sorting $n$ items. We show: (a) $\log_2((\alpha(1-\alpha)n)!) - O(\log n)$ queries are needed whenever the tree has a subtree that contains a fraction $\alpha$ of the leaves. This implies a lower bound of $\log_2((\frac{k}{(k+1)^2}n)!) - O(\log n)$ for trees of degree $k$. (b) $\log_2(n!) - O(\log n)$ queries are needed in case the tree is binary. (c) $\log_2(n!) - O(k \log k)$ queries are needed for certain classes of trees of degree $k$, including perfect trees with even $k$. The lower bounds are obtained by developing two novel techniques for a generic problem $\Pi$ in the comparison-query model and applying them to inversion minimization on trees. Both techniques can be described in terms of the Cayley graph of the symmetric group with adjacent-rank transpositions as the generating set. Consider the subgraph consisting of the edges between vertices with the same value under $\Pi$. We show that the size of any decision tree for $\Pi$ must be at least: (i) the number of connected components of this subgraph, and (ii) the factorial of the average degree of the complementary subgraph, divided by $n$. Lower bounds on query complexity then follow by taking the base-2 logarithm.


title: Loewner Theory for Bernstein functions II: applications to inhomogeneous continuous-state branching processes

abstract: The main purpose of this paper is to study time-inhomogeneous one-dimensional branching processes (mainly on a continuous but also on a discrete state space) with the help of recent achievements in Loewner Theory dealing with evolution families of holomorphic self-maps in simply connected domains of the complex plane. Under a suitable stochastic continuity condition, we show that the families of the Laplace exponents of branching processes on $[0,\infty]$ can be characterized as topological (i.e. depending continuously on the time parameters) reverse evolution families whose elements are Bernstein functions. For the case of a stronger regularity w.r.t. time, we establish a Loewner - Kufarev type ODE for the Laplace exponents and characterize branching processes with finite mean in terms of the vector field driving this ODE. Similar results are obtained for families of probability generating functions for branching processes on the discrete state space $\{0,1,2,\ldots\}\cup\{\infty\}$. In addition, we find necessary and sufficient conditions for "spatial" embeddability of such branching processes into branching processes on $[0,\infty]$. Finally, we give some probabilistic interpretations of the Denjoy - Wolff point at $0$ and at $\infty$.


title: Learning context-aware adaptive solvers to accelerate quadratic programming

abstract: Convex quadratic programming (QP) is an important sub-field of mathematical optimization. The alternating direction method of multipliers (ADMM) is a successful method to solve QP. Even though ADMM shows promising results in solving various types of QP, its convergence speed is known to be highly dependent on the step-size parameter $\rho$. Due to the absence of a general rule for setting $\rho$, it is often tuned manually or heuristically. In this paper, we propose CA-ADMM (Context-aware Adaptive ADMM)) which learns to adaptively adjust $\rho$ to accelerate ADMM. CA-ADMM extracts the spatio-temporal context, which captures the dependency of the primal and dual variables of QP and their temporal evolution during the ADMM iterations. CA-ADMM chooses $\rho$ based on the extracted context. Through extensive numerical experiments, we validated that CA-ADMM effectively generalizes to unseen QP problems with different sizes and classes (i.e., having different QP parameter structures). Furthermore, we verified that CA-ADMM could dynamically adjust $\rho$ considering the stage of the optimization process to accelerate the convergence speed further.


title: Can denoising diffusion probabilistic models generate realistic astrophysical fields?

abstract: Score-based generative models have emerged as alternatives to generative adversarial networks (GANs) and normalizing flows for tasks involving learning and sampling from complex image distributions. In this work we investigate the ability of these models to generate fields in two astrophysical contexts: dark matter mass density fields from cosmological simulations and images of interstellar dust. We examine the fidelity of the sampled cosmological fields relative to the true fields using three different metrics, and identify potential issues to address. We demonstrate a proof-of-concept application of the model trained on dust in denoising dust images. To our knowledge, this is the first application of this class of models to the interstellar medium.

categories: astro-ph.CO astro-ph.GA astro-ph.IM cs.LG


title: SinDiffusion: Learning a Diffusion Model from a Single Natural Image

abstract: We present SinDiffusion, leveraging denoising diffusion models to capture internal distribution of patches from a single natural image. SinDiffusion significantly improves the quality and diversity of generated samples compared with existing GAN-based approaches. It is based on two core designs. First, SinDiffusion is trained with a single model at a single scale instead of multiple models with progressive growing of scales which serves as the default setting in prior work. This avoids the accumulation of errors, which cause characteristic artifacts in generated results. Second, we identify that a patch-level receptive field of the diffusion network is crucial and effective for capturing the image's patch statistics, therefore we redesign the network structure of the diffusion model. Coupling these two designs enables us to generate photorealistic and diverse images from a single image. Furthermore, SinDiffusion can be applied to various applications, i.e., text-guided image generation, and image outpainting, due to the inherent capability of diffusion models. Extensive experiments on a wide range of images demonstrate the superiority of our proposed method for modeling the patch distribution.


title: EDICT: Exact Diffusion Inversion via Coupled Transformations

abstract: Finding an initial noise vector that produces an input image when fed into the diffusion process (known as inversion) is an important problem in denoising diffusion models (DDMs), with applications for real image editing. The state-of-the-art approach for real image editing with inversion uses denoising diffusion implicit models (DDIMs) to deterministically noise the image to the intermediate state along the path that the denoising would follow given the original conditioning. However, DDIM inversion for real images is unstable as it relies on local linearization assumptions, which result in the propagation of errors, leading to incorrect image reconstruction and loss of content. To alleviate these problems, we propose Exact Diffusion Inversion via Coupled Transformations (EDICT), an inversion method that draws inspiration from affine coupling layers. EDICT enables mathematically exact inversion of real and model-generated images by maintaining two coupled noise vectors which are used to invert each other in an alternating fashion. Using Stable Diffusion, a state-of-the-art latent diffusion model, we demonstrate that EDICT successfully reconstructs real images with high fidelity. On complex image datasets like MS-COCO, EDICT reconstruction significantly outperforms DDIM, improving the mean square error of reconstruction by a factor of two. Using noise vectors inverted from real images, EDICT enables a wide range of image edits--from local and global semantic edits to image stylization--while maintaining fidelity to the original image structure. EDICT requires no model training/finetuning, prompt tuning, or extra data and can be combined with any pretrained DDM. Code is available at https://github.com/salesforce/EDICT.


title: Quantum algorithms and the power of forgetting

abstract: The so-called welded tree problem provides an example of a black-box problem that can be solved exponentially faster by a quantum walk than by any classical algorithm. Given the name of a special ENTRANCE vertex, a quantum walk can find another distinguished EXIT vertex using polynomially many queries, though without finding any particular path from ENTRANCE to EXIT. It has been an open problem for twenty years whether there is an efficient quantum algorithm for finding such a path, or if the path-finding problem is hard even for quantum computers. We show that a natural class of efficient quantum algorithms provably cannot find a path from ENTRANCE to EXIT. Specifically, we consider algorithms that, within each branch of their superposition, always store a set of vertex labels that form a connected subgraph including the ENTRANCE, and that only provide these vertex labels as inputs to the oracle. While this does not rule out the possibility of a quantum algorithm that efficiently finds a path, it is unclear how an algorithm could benefit by deviating from this behavior. Our no-go result suggests that, for some problems, quantum algorithms must necessarily forget the path they take to reach a solution in order to outperform classical computation.


title: Impact of Boron doping to the tunneling magnetoresistance of Heusler alloy Co2FeAl

abstract: Heusler alloys based magnetic tunnel junctions can potentially provide high magnetoresistance, small damping and fast switching. Here junctions with Co2FeAl as a ferromagnetic electrode are fabricated by room temperature sputtering on Si/SiO2 substrates. The doping of Boron in Co2FeAl is found to have a large positive impact on the structural, magnetic and transport properties of the junctions, with a reduced interfacial roughness and substantial improved tunneling magnetoresistance. A two-level magnetoresistance is also observed in samples annealed at low temperature, which is believed to be related to the memristive effect of the tunnel barrier with impurities.


title: Controlling single rare earth ion emission in an electro-optical nanocavity

abstract: Rare earth emitters enable critical quantum resources including spin qubits, single photon sources, and quantum memories. Yet, probing of single ions remains challenging due to low emission rate of their intra-4f optical transitions. One feasible approach is through Purcell enhanced emission in optical cavities. The ability to modulate cavity-ion coupling in real time will further elevate the capacity of such systems. Here, we demonstrate direct control of single ion emission by embedding erbium dopants in an electro-optically active photonic crystal cavity patterned from thin-film lithium niobate. Purcell factor over 170 enables single ion detection, which is verified by second-order autocorrelation measurement. Dynamic control of emission rate is realized by leveraging electro-optic tuning of resonance frequency. Using this feature, storage and retrieval of single ion excitation is further demonstrated, without perturbing the emission characteristics. These results promise new opportunities for controllable single photon sources and efficient spin-photon interfaces.


title: 3D Lovelock Gravity and the Holographic c-Theorem

abstract: We show that the scalar-tensor theory that arises in a rigorous $D \to 3$ limit of Lovelock gravity up to cubic order admits a holographic c-theorem and verify that the value of the c-function at the UV fixed point matches with the Weyl anomaly coefficient (up to an irrelevant factor). The constructed c-function is the same as one that follows from the "naive limit", which is obtained by scaling the couplings by a factor of $\frac{1}{D-3}$, and then setting $D=3$.


title: Fault-Tolerant Dispersion of Mobile Robots

abstract: We consider the mobile robot dispersion problem in the presence of faulty robots (crash-fault). Mobile robot dispersion consists of $k\leq n$ robots in an $n$-node anonymous graph. The goal is to ensure that regardless of the initial placement of the robots over the nodes, the final configuration consists of having at most one robot at each node. In a crash-fault setting, up to $f \leq k$ robots may fail by crashing arbitrarily and subsequently lose all the information stored at the robots, rendering them unable to communicate. In this paper, we solve the dispersion problem in a crash-fault setting by considering two different initial configurations: i) the rooted configuration, and ii) the arbitrary configuration. In the rooted case, all robots are placed together at a single node at the start. The arbitrary configuration is a general configuration (a.k.a. arbitrary configuration in the literature) where the robots are placed in some $l<k$ clusters arbitrarily across the graph. For the first case, we develop an algorithm solving dispersion in the presence of faulty robots in $O(k^2)$ rounds, which improves over the previous $O(f\cdot\text{min}(m,k\Delta))$-round result by \cite{PS021}. For the arbitrary configuration, we present an algorithm solving dispersion in $O((f+l)\cdot\text{min}(m, k \Delta, k^2))$ rounds, when the number of edges $m$ and the maximum degree $\Delta$ of the graph is known to the robots.


title: Staircase penetration of magnetic flux into a superconducting flat ring

abstract: We analyzed the distribution of the Meissner shielding currents in a flat superconducting ring and quantitatively described the penetration of magnetic avalanches (dendrites) inside it. Using a recurrent procedure, the external field $H_{ext}$, in which a perforating (rim crossing) avalanche appears, is calculated. A staircase dependence of the mean field trapped inside a ring, $\left\langle H\right\rangle$, vs. $H_{ext}$, is comprehensively described. A staircase slope appears to be a universal function of a ring shape (rim width to ring diameter ratio). The heat released by a penetrating dendrite grows linearly with each next perforation. Flux pinning, if present, modifies a staircase dependence and makes steps smaller. Our theoretical results are in a good accordance with the experimental data.


title: Elastocaloric signatures of symmetric and antisymmetric strain-tuning of quadrupolar and magnetic phases in DyB2C2

abstract: The adiabatic elastocaloric effect measures the temperature change of given systems with strain and probes the entropic landscape in the temperature-strain space. In this study we demonstrate that the DC bias strain-dependence of AC elastocaloric effect can be used to decompose the latter into contributions from symmetric (rotation-symmetry-preserving) and antisymmetric (rotation-symmetry-breaking) strains, using a tetragonal f-electron system DyB2C2--whose antiferroquadrupolar order locally breaks four-fold rotational site symmetries while globally remaining tetragonal--as a showcase example. We capture the strain evolution of the quadrupolar and magnetic phase transitions in the system using both singularities in the elastocaloric coefficient and its jump at the transitions, and the latter we show follows a modified Ehrenfest relation. We find that antisymmetric strain couples to the underlying order parameter in a bi-quadratic manner in the antiferroquadrupolar (AFQ) phase but in a linear-quadratic manner in the canted antiferromagnetic (CAFM) phase; the contrast is attributed to a preserved (broken) tetragonal symmetry in the AFQ (CAFM) phase, respectively. The broken tetragonal symmetry in the CAFM phase is further supported by elastocaloric strain-hysteresis and observation of two sets of domains with mutually perpendicular principal axes in optical birefringence. Additionally, when the quadrupolar moments are ordered in a staggered fashion, we uncover an elastocaloric response that reflects a quadratic increase of entropy with antisymmetric strain, analogous to the role magnetic field plays for Ising antiferromagnets by promoting pseudospin flips. Our results show that AC elastocaloric effect is a compact and incisive thermodynamic probe into the coupling between electronic degrees of freedom and strain, which can potentially be applied to broader classes of quantum materials.


title: Atomic boson-fermion mixtures in 1D box potentials: Few-body and mean-field many-body analyses

abstract: We study binary atomic boson-fermion mixtures confined in one dimensional box potentials by few-body theory with contact interactions and mean-field many-body theory with density-density interactions. A variety of correlations and structures arise as the inter- and intra- species interactions are tuned. Both few-body and many-body results show that miscible phase and three-chunk phase separation are directly observable in the density profiles. Meanwhile, two-chunk phase separation can be inferred from the few-body correlations and many-body density profiles. We present phase diagrams of selected types of atomic mixtures to show where different structures survive. The few-body analysis demonstrates that two-body correlation functions can reveal information relevant to the results from many-body calculations or experiments. From the many-body density profiles in the phase-separation regime, we extract the healing lengths of each species and explain the scaling behavior by an energy-competition argument.


title: ISIM: Iterative Self-Improved Model for Weakly Supervised Segmentation

abstract: Weakly Supervised Semantic Segmentation (WSSS) is a challenging task aiming to learn the segmentation labels from class-level labels. In the literature, exploiting the information obtained from Class Activation Maps (CAMs) is widely used for WSSS studies. However, as CAMs are obtained from a classification network, they are interested in the most discriminative parts of the objects, producing non-complete prior information for segmentation tasks. In this study, to obtain more coherent CAMs with segmentation labels, we propose a framework that employs an iterative approach in a modified encoder-decoder-based segmentation model, which simultaneously supports classification and segmentation tasks. As no ground-truth segmentation labels are given, the same model also generates the pseudo-segmentation labels with the help of dense Conditional Random Fields (dCRF). As a result, the proposed framework becomes an iterative self-improved model. The experiments performed with DeepLabv3 and UNet models show a significant gain on the Pascal VOC12 dataset, and the DeepLabv3 application increases the current state-of-the-art metric by %2.5. The implementation associated with the experiments can be found: https://github.com/cenkbircanoglu/isim.


title: Exponential separations using guarded extension variables

abstract: We study the complexity of proof systems augmenting resolution with inference rules that allow, given a formula $\Gamma$ in conjunctive normal form, deriving clauses that are not necessarily logically implied by $\Gamma$ but whose addition to $\Gamma$ preserves satisfiability. When the derived clauses are allowed to introduce variables not occurring in $\Gamma$, the systems we consider become equivalent to extended resolution. We are concerned with the versions of these systems without new variables. They are called BC${}^-$, RAT${}^-$, SBC${}^-$, and GER${}^-$, denoting respectively blocked clauses, resolution asymmetric tautologies, set-blocked clauses, and generalized extended resolution. Each of these systems formalizes some restricted version of the ability to make assumptions that hold "without loss of generality," which is commonly used informally to simplify or shorten proofs. Except for SBC${}^-$, these systems are known to be exponentially weaker than extended resolution. They are, however, all equivalent to it under a relaxed notion of simulation that allows the translation of the formula along with the proof when moving between proof systems. By taking advantage of this fact, we construct formulas that separate RAT${}^-$ from GER${}^-$ and vice versa. With the same strategy, we also separate SBC${}^-$ from RAT${}^-$. Additionally, we give polynomial-size SBC${}^-$ proofs of the pigeonhole principle, which separates SBC${}^-$ from GER${}^-$ by a previously known lower bound. These results also separate the three systems from BC${}^-$ since they all simulate it. We thus give an almost complete picture of their relative strengths.


title: Euclid: Modelling massive neutrinos in cosmology -- a code comparison

abstract: The measurement of the absolute neutrino mass scale from cosmological large-scale clustering data is one of the key science goals of the Euclid mission. Such a measurement relies on precise modelling of the impact of neutrinos on structure formation, which can be studied with $N$-body simulations. Here we present the results from a major code comparison effort to establish the maturity and reliability of numerical methods for treating massive neutrinos. The comparison includes eleven full $N$-body implementations (not all of them independent), two $N$-body schemes with approximate time integration, and four additional codes that directly predict or emulate the matter power spectrum. Using a common set of initial data we quantify the relative agreement on the nonlinear power spectrum of cold dark matter and baryons and, for the $N$-body codes, also the relative agreement on the bispectrum, halo mass function, and halo bias. We find that the different numerical implementations produce fully consistent results. We can therefore be confident that we can model the impact of massive neutrinos at the sub-percent level in the most common summary statistics. We also provide a code validation pipeline for future reference.


title: Challenges and outcomes in remote undergraduate research programs during the COVID-19 pandemic

abstract: In the Summer of 2020, as COVID-19 limited in-person research opportunities and created additional barriers for many students, institutions either canceled or remotely hosted their Research Experience for Undergraduates (REU) programs. The present longitudinal qualitative phenomenographic study was designed to explore some of the possible limitations, challenges and outcomes of this remote experience. Overall, 94 interviews were conducted with paired participants; mentees (N=10) and mentors (N=8) from six different REU programs. By drawing on Cultural-Historical Activity Theory (CHAT) as a framework, our study uncovers some of the challenges for mentees around the accomplishment of their research objectives and academic goals. These challenges included motivation, limited access to technologies at home, limited communication among REU students, barriers in mentor-mentee relationships, and differing expectations about doing research. Despite the challenges, all mentees reported that this experience was highly beneficial. Comparisons between outcomes of these remote REUs and published outcomes of in-person undergraduate research programs reveal many similar benefits such as integrating students into STEM culture. Our study suggests that remote research programs could be considered as a means to expand access to research experiences for undergraduate students even after COVID-19 restrictions have been lifted.


title: A generalized machine learning framework for brittle crack problems using transfer learning and graph neural networks

abstract: Despite their recent success, machine learning (ML) models such as graph neural networks (GNNs), suffer from drawbacks such as the need for large training datasets and poor performance for unseen cases. In this work, we use transfer learning (TL) approaches to circumvent the need for retraining with large datasets. We apply TL to an existing ML framework, trained to predict multiple crack propagation and stress evolution in brittle materials under Mode-I loading. The new framework, ACCelerated Universal fRAcTure Emulator (ACCURATE), is generalized to a variety of crack problems by using a sequence of TL update steps including (i) arbitrary crack lengths, (ii) arbitrary crack orientations, (iii) square domains, (iv) horizontal domains, and (v) shear loadings. We show that using small training datasets of 20 simulations for each TL update step, ACCURATE achieved high prediction accuracy in Mode-I and Mode-II stress intensity factors, and crack paths for these problems. %case studies (i) - (iv). We demonstrate ACCURATE's ability to predict crack growth and stress evolution with high accuracy for unseen cases involving the combination of new boundary dimensions with arbitrary crack lengths and crack orientations in both tensile and shear loading. We also demonstrate significantly accelerated simulation times of up to 2 orders of magnitude faster (200x) compared to an XFEM-based fracture model. The ACCURATE framework provides a universal computational fracture mechanics model that can be easily modified or extended in future work.


title: Renewal equations for single-particle diffusion through a semipermeable interface

abstract: Diffusion through semipermeable interfaces has a wide range of applications, ranging from molecular transport through biological membranes to reverse osmosis for water purification using artificial membranes. At the single-particle level, one-dimensional diffusion through a barrier with constant permeability $\kappa_0$ can be modeled in terms of so-called snapping out Brownian motion (BM). The latter sews together successive rounds of partially reflecting BMs that are restricted to either the left or right of the barrier. Each round is killed (absorbed) at the barrier when its Brownian local time exceeds an exponential random variable parameterized by $\kappa_0$. A new round is then immediately started in either direction with equal probability. It has recently been shown that the probability density for snapping out BM satisfies a renewal equation that relates the full density to the probability densities of partially reflected BM on either side of the barrier. Moreover, generalized versions of the renewal equation can be constructed that incorporate non-Markovian, encounter-based models of absorption. In this paper we extend the renewal theory of snapping out BM to single-particle diffusion in bounded domains and higher spatial dimensions. We also consider an example of an asymmetric interface in which the directional switching after each absorption event is biased. Finally, we show how to incorporate an encounter-based model of absorption for single-particle diffusion through a spherically symmetric interface. We find that, even when the same non-Markovian model of absorption applies on either side of the interface, the resulting permeability is an asymmetric time-dependent function with memory. Moreover, the permeability functions tend to be heavy-tailed.


title: A Neural-Network-Based Convex Regularizer for Inverse Problems

abstract: The emergence of deep-learning-based methods to solve image-reconstruction problems has enabled a significant increase in reconstruction quality. Unfortunately, these new methods often lack reliability and explainability, and there is a growing interest to address these shortcomings while retaining the boost in performance. In this work, we tackle this issue by revisiting regularizers that are the sum of convex-ridge functions. The gradient of such regularizers is parameterized by a neural network that has a single hidden layer with increasing and learnable activation functions. This neural network is trained within a few minutes as a multistep Gaussian denoiser. The numerical experiments for denoising, CT, and MRI reconstruction show improvements over methods that offer similar reliability guarantees.


title: Algorithm for detection of illegal discounting in North Carolina Education Lottery

abstract: The lottery is a very lucrative industry. Popular fascination often focuses on the largest prizes. However, less attention has been paid to detecting unusual lottery buying behaviors at lower stakes. Our paper introduces a new model to detect illegal discounting in the North Carolina Education Lottery using statistical analysis of net gains and ticket buying habits. Nine outlying players are flagged and are further examined using a proposed stochastic model to calculate the range of their possible losses in the lottery. The unusual buying patterns of the players flagged as outliers are further confirmed using a K-means clustering analysis of lottery store visiting behaviors.


title: Notes on Fock space

abstract: These notes are intended as a fairly self contained explanation of Fock space and various algebras that act on it, including a Clifford algebra, a Weyl algebra, an infinite rank matrix algebra, and an affine Kac-Moody algebra. We also discuss how the various algebras are related, and in particular describe the celebrated boson-fermion correspondence. We finish by briefly discussing a deformation of Fock space, which is a representation for the quantized universal enveloping algebra of affine sl(n).


title: Towards peer-to-peer sharing of wireless energy services

abstract: Crowdsourcing wireless energy services is a novel convenient alternative to charge IoT devices. We demonstrate peer-to-peer wireless energy services sharing between smartphones over a distance. Our demo leverages (1) a service-based technique to share energy services, (2) state-of-the-art power transfer technology over a distance, and (3) a mobile application to enable communication between energy providers and consumers. In addition, our application monitors the charging process between IoT devices to collect a dataset for further analysis. Moreover, in this demo, we compare the peer-to-peer energy transfer between two smartphones using different charging technologies, i.e., cable charging, reveres charging, and wireless charging over a distance. A set of preliminary experiments has been conducted on a real collected dataset to analyze and demonstrate the behavior of the current wireless and traditional charging technologies.


title: Noncommutative linear systems and noncommutative elliptic curves

abstract: In this paper we introduce a noncommutative analogue of the notion of linear system, which we call a helix $\underline{\mathcal{L}} := (\mathcal{L}_{i})_{i \in \mathbb{Z}}$ in an abelian category ${\sf C}$ over a quadratic $\mathbb{Z}$-indexed algebra $A$. We show that, under natural hypotheses, a helix induces a morphism of noncommutative spaces from ${\sf Proj }\operatorname{End}(\underline{\mathcal{L}})$ to ${\sf Proj }A$. We construct examples of helices of vector bundles on elliptic curves generalizing the elliptic helices of line bundles constructed by Bondal-Polishchuk, where $A$ is the quadratic part of $B:= \operatorname{End}(\underline{\mathcal{L}})$. In this case, we identify $B$ as the quotient of the Koszul algebra $A$ by a normal family of regular elements of degree 3, and show that ${\sf Proj }B$ is a noncommutative elliptic curve in the sense of Polishchuk. One interprets this as embedding the noncommutative elliptic curve as a cubic divisor in some noncommutative projective plane, hence generalizing some well-known results of Artin-Tate-Van den Bergh.


title: Simulation of potential and species distribution in a Li||Bi liquid metal battery using coupled meshes

abstract: In this work a 1D finite volume based model using coupled meshes is introduced to capture potential and species distribution throughout the discharge process in a lithium bismuth liquid metal battery while neglecting hydrodynamic effects, focusing on the electrochemical properties of the cell and the mass transport in electrolyte and cathode. Interface reactions in the electrical double layer are considered through the introduction of a discrete jump of the potential modelled as periodic boundary condition to resolve interfacial discontinuities in the cell potential. A balanced-force like approach is implemented to ensure consistent calculation at the interface level. It is found that mass transport and concentration gradients have a significant effect on the cell overpotentials and thus on cell performance and cell voltage. By quantifying overvoltages in the Li Bi cell with a mixed cation electrolyte, it is possible to show that diffusion and migration current density could have counteractive effects on the cell voltage. Furthermore, the simulated limiting current density is observed to be much lower than experimentally measured, which can be attributed to convective effects in the electrolyte that need to be addressed in future simulations. The solver is based on the open source library OpenFOAM and thoroughly verified against the equivalent system COMSOL multiphysics and further validated with experimental results. It is openly available at https://doi.org/10.14278/rodare.2313.


title: A problem of Erd\H{o}s-Graham-Granville-Selfridge on integral points on hyperelliptic curves

abstract: Erd\H{o}s, Graham, and Selfridge considered, for each positive integer $n$, the least value of $t_n$ so that the integers $n+1, n+2, \dots, n+t_n $ contain a subset the product of whose members with $n$ is a square. An open problem posed by Granville concerns the size of $t_n$, under the assumption of the ABC Conjecture. We establish some results on the distribution of $t_n$, and in the process solve Granville's problem unconditionally.


title: Diffusion with stochastic resetting screened by a semipermeable interface

abstract: In this paper we consider the diffusive search for a bounded target $\Omega \in \R^d$ with its boundary $\partial \Omega$ totally absorbing. We assume that the target is surrounded by a semipermeable interface given by the closed surface $\partial \calM$ with $\Omega \subset \calM\subset \R^d$. That is, the interface totally surrounds the target and thus partially screens the diffusive search process. We also assume that the position of the diffusing particle (searcher) randomly resets to its initial position $\x_0$ according to a Poisson process with a resetting rate $r$. The location $\x_0$ is taken to be outside the interface, $\x_0\in \calM^c$, which means that resetting does not occur when the particle is within the interior of $\partial \calM$. Hence, the semipermeable interface also screens out the effects of resetting. We first solve the boundary value problem (BVP) for diffusion on the half-line $x\in [0,\infty)$ with an absorbing boundary at $x=0$, a semipermeable barrier at $x=L$, and stochastic resetting to $x_0>L$ for all $x>L$. We calculate the mean first passage time (MFPT) to be absorbed by the target and explore its behavior as a function of the permeability $\kappa_0$ of the interface and its spatial position $L$. We then perform the analogous calculations for a three-dimensional (3D) spherically symmetric interface and target, and show that the MFPT exhibits the same qualitative behavior as the 1D case. Finally, we introduce a stochastic single-particle realization of the search process based on a generalization of so-called snapping out BM. The latter sews together successive rounds of reflecting Brownian motion on either side of the interface. The main challenge is establishing that the probability density generated by the snapping out BM satisfies the permeable boundary conditions at the interface. We show how this can be achieved using renewal theory.


title: High-Q trampoline resonators from strained crystalline InGaP for integrated free-space optomechanics

abstract: Tensile-strained materials have been used to fabricate nano- and micromechanical resonators with ultra-low mechanical dissipation in the kHz to MHz frequency range. These mechanical resonators are of particular interest for force sensing applications and quantum optomechanics at room temperature. Tensile-strained crystalline materials that are compatible with epitaxial growth of heterostructures would thereby allow realizing monolithic free-space optomechanical devices, which benefit from stability, ultra-small mode volumes, and scalability. In our work, we demonstrate string- and trampoline resonators made from tensile-strained InGaP, which is a crystalline material that can be epitaxially grown on an AlGaAs heterostructure. The strain of the InGaP layer is defined via its Ga content when grown on (Al,Ga)As. In our case, we realize devices with a stress of up to 470\,MPa along the $[1\,1\,0]$ crystal direction. We characterize the mechanical properties of the suspended InGaP devices, such as anisotropic stress, yield strength, and intrinsic quality factor. We find that the latter degrades over time. We reach mechanical quality factors surpassing $10^7$ at room temperature with a $Q\cdot f$-product as high as $7\cdot10^{11}\,$Hz with trampoline-shaped micromechanical resonators, which exploit strain engineering to dilute mechanical dissipation. The large area of the suspended trampoline resonator allows us to pattern a photonic crystal to engineer its out-of-plane reflectivity in the telecom band, which is desired for efficient signal transduction of mechanical motion to light. Stabilization of the intrinsic quality factor together with a further reduction of mechanical dissipation through hierarchical clamping or machine learning-based optimization methods paves the way for integrated free-space quantum optomechanics at room temperature in a crystalline material platform.

categories: physics.app-ph cond-mat.mes-hall physics.optics quant-ph


title: A Deep Reinforcement Learning Approach to Rare Event Estimation

abstract: An important step in the design of autonomous systems is to evaluate the probability that a failure will occur. In safety-critical domains, the failure probability is extremely small so that the evaluation of a policy through Monte Carlo sampling is inefficient. Adaptive importance sampling approaches have been developed for rare event estimation but do not scale well to sequential systems with long horizons. In this work, we develop two adaptive importance sampling algorithms that can efficiently estimate the probability of rare events for sequential decision making systems. The basis for these algorithms is the minimization of the Kullback-Leibler divergence between a state-dependent proposal distribution and a target distribution over trajectories, but the resulting algorithms resemble policy gradient and value-based reinforcement learning. We apply multiple importance sampling to reduce the variance of our estimate and to address the issue of multi-modality in the optimal proposal distribution. We demonstrate our approach on a control task with both continuous and discrete actions spaces and show accuracy improvements over several baselines.


title: Critical splay fluctuations and colossal flexoelectric effect above non-polar to polar nematic phase transition

abstract: The recent discovery of nematic liquid crystals with polar order (ferroelectric nematic) has created immense interest. Despite intensive research, several physical properties of this liquid crystal are yet to be investigated and understood. Here, we report experimental studies on the birefringence and exoelectric coefficient of a polar nematic (NF) liquid crystal. Our experiments directly reveal that the splay fluctuations influence the birefringence several degrees above the nonpolar (N) to polar-nematic (NF) phase transition temperature and the heat capacity exponent obtained from the tilt angle fluctuations is close to the value reported in adiabatic scanning calorimetry measurements. The flexoelectric coefficient of the nonpolar nematic phase shows a power-law dependence on temperature. Our results demonstrate a strong coupling of splay fluctuations with electric polarization that reduces the splay elastic constant and consequently enhances the flexoelectric coefficient. These results are important for forthcoming applications as well as for understanding all pretransitional effects in ferroelectric nematic liquid crystals.


title: The 3D narrow capture problem for traps with semipermeable interfaces

abstract: In this paper we analyze the narrow capture problem for a single Brownian particle diffusing in a three-dimensional (3D) bounded domain containing a set of small, spherical traps. The boundary surface of each trap is taken to be a semipermeable membrane. That is, the continuous flux across the interface is proportional to an associated jump discontinuity in the probability density. The constant of proportionality is identified with the permeability $\kappa$. In addition, we allow for discontinuities in the diffusivity and chemical potential across each interface; the latter introduces a directional bias. We also assume that the particle can be absorbed (captured) within the interior of each trap at some Poisson rate $\gamma$. In the small-trap limit, we use matched asymptotics and Green's function methods to calculate the splitting probabilities and unconditional MFPT to be absorbed by one of the traps. However, the details of the analysis depend on how various parameters scale with the characteristic trap radius $\epsilon$. Under the scalings $\gamma=O(1/\epsilon^2)$ and $\kappa=O(1/\epsilon)$, we show that the semipermeable membrane reduces the effective capacitance $\calC$ of each spherical trap compared to the standard example of totally absorbing traps. Finally, we consider the unidirectional limit in which each interface only allows particles to flow into a trap. The traps then act as partially absorbing surfaces with a constant reaction rate $\kappa$. Combining asymptotic analysis with the encounter-based formulation of partially reactive surfaces, we show how a generalized surface absorption mechanism (non-Markovian) can be analyzed in terms of the capacitances $\calC$. We thus establish that a wide range of narrow capture problems can be characterized in terms of the effective capacitances of the traps.


title: Embedding of the Georgi-Glashow $SU(5)$ model in the superconformal algebra

abstract: We present a scheme to construct grand unified models based on the superconformal algebra and the inclusion of matter fields in the adjoint representation of supersymmetry. As an illustration, we implemented the Georgi-Glashow $SU(5)$ model. The model predics the existence of a hidden $(\mathbf{1},\mathbf{24},0) + (\mathbf{5},\mathbf{5}^\ast,-y') + (\mathbf{5}^\ast,\mathbf{5},y')$ sector and an anomalous $U(1)_Z$.


title: On the well posedness of a mathematical model for a singular nonlinear fractional pseudo-hyperbolic system with nonlocal boundary conditions and frictional damping

abstract: This paper is devoted to the study of the well-posedness of a singular nonlinear fractional pseudo-hyperbolic system. The fractional derivative is described in Caputo sense. The equations are supplemented by classical and nonlocal boundary conditions. Upon some a priori estimates and density arguments, we establish the existence and uniqueness of the strongly generalized solution for the associated linear fractional system in some Sobolev fractional spaces. On the basis of the obtained results for the linear fractional system, we apply an iterative process in order to establish the well-posedness of the nonlinear fractional system. This mathematical model of pseudo-hyperbolic systems arises mainly in the theory of longitudinal and lateral vibrations of elastic bars (beams), and in some special case it is propounded in unsteady helical flows between two infinite coaxial circular cylinders for some specific boundary conditions.


title: The impact of moving expenses on social segregation: a simulation with RL and ABM

abstract: Over the past decades, breakthroughs such as Reinforcement Learning (RL) and Agent-based modeling (ABM) have made simulations of economic models feasible. Recently, there has been increasing interest in applying ABM to study the impact of residential preferences on neighborhood segregation in the Schelling Segregation Model. In this paper, RL is combined with ABM to simulate a modified Schelling Segregation model, which incorporates moving expenses as an input parameter. In particular, deep Q network (DQN) is adopted as RL agents' learning algorithm to simulate the behaviors of households and their preferences. This paper studies the impact of moving expenses on the overall segregation pattern and its role in social integration. A more comprehensive simulation of the segregation model is built for policymakers to forecast the potential consequences of their policies.


title: On the BPS sector in AdS_3/CFT_2 Holography

abstract: The BPS sector in AdS_3/CFT_2 duality has been fertile ground for the exploration of gauge/gravity duality, from the match between black hole entropy and the CFT elliptic genus to the construction of large families of geometrical microstates and the identification of the corresponding states in the CFT. Worldsheet methods provide a tool to further explore the relation between string theory in the bulk and corresponding CFT quantities. We show how to match individual BPS strings to their counterparts in the symmetric product orbifold CFT. In the process, we find an exact match between known constructions of microstate geometries and condensates of BPS supergraviton strings, and discuss their role in the broader collection of BPS states. In particular, we explore how microstate geometries develop singularities; and how string theory resolves these singularities through the appearance of ``tensionless'' string dynamics, which is the continuation of structures found in the weak-coupling CFT into the strongly coupled regime described by string theory in the bulk. We argue that such ``tensionless'' strings are responsible for black hole microstructure in the bulk description.


title: Polarization From A Radially Stratified Off-Axis GRB Outflow

abstract: While the dominant radiation mechanism gamma-ray bursts (GRBs) remains a question of debate, synchrotron emission is one of the foremost candidates to describe the multi-wavelength afterglow observations. As such, it is expected that GRBs should present some degree of polarization across their evolution - presenting a feasible means of probing these bursts' energetic and angular properties. Although obtaining polarization data is difficult due to the inherent complexities regarding GRB observations, advances are being made, and theoretical modeling of synchrotron polarization is now more relevant than ever. In this manuscript, we present the polarization for a fiduciary model where the synchrotron forward-shock emission evolving in the radiative-adiabatic regime is described by a radially stratified off-axis outflow. This is parameterized with a power-law velocity distribution and decelerated in a constant-density and wind-like external environment. We apply this theoretical polarization model for selected bursts presenting evidence of off-axis afterglow emission, including the nearest orphan GRB candidates observed by the Neil Gehrels Swift Observatory and a few Gravitational Wave (GWs) events that could generate electromagnetic emission. In the case of GRB 170817A, we require the available polarimetric upper limits in radio wavelengths to constrain its magnetic field geometry.


title: Adaptive robust predictive control with sample-based persistent excitation

abstract: We propose a robust adaptive Model Predictive Control (MPC) strategy with online set-based estimation for constrained linear systems with unknown parameters and bounded disturbances. A sample-based test applied to predicted trajectories is used to ensure convergence of parameter estimates by enforcing a persistence of excitation condition on the closed loop system. The control law robustly satisfies constraints and has guarantees of feasibility and input-to-state stability. Convergence of parameter set estimates to the actual system parameter vector is guaranteed under conditions on reachability and tightness of disturbance bounds.


title: Adaptive Prototypical Networks

abstract: Prototypical network for Few shot learning tries to learn an embedding function in the encoder that embeds images with similar features close to one another in the embedding space. However, in this process, the support set samples for a task are embedded independently of one other, and hence, the inter-class closeness is not taken into account. Thus, in the presence of similar-looking classes in a task, the embeddings will tend to be close to each other in the embedding space and even possibly overlap in some regions, which is not desirable for classification. In this paper, we propose an approach that intuitively pushes the embeddings of each of the classes away from the others in the meta-testing phase, thereby grouping them closely based on the distinct class labels rather than only the similarity of spatial features. This is achieved by training the encoder network for classification using the support set samples and labels of the new task. Extensive experiments conducted on benchmark data sets show improvements in meta-testing accuracy when compared with Prototypical Networks and also other standard few-shot learning models.


title: On the thermodynamics of fermions at any temperature based on parametrized partition function

abstract: In this work we study the recently developed parametrized partition function formulation and show how we can infer the thermodynamic properties of fermions based on numerical simulation of bosons and distinguishable particles at various temperatures. In particular, we show that in the three dimensional space defined by energy, temperature and the parameter characterizing parametrized partition function, we can map the energies of bosons and distinguishable particles to fermionic energies through constant-energy contours. We apply this idea to both noninteracting and interacting Fermi systems and show it is possible to infer the fermionic energies at all temperatures, thus providing a practical and efficient approach to obtain thermodynamic properties of Fermi systems with numerical simulation. As an example, we present energies and heat capacities for 10 noninteracting fermions and 10 interacting fermions (more fermions are provided in the appendix) and show good agreement with the analytical result for noninteracting case.

categories: cond-mat.quant-gas cond-mat.stat-mech cond-mat.str-el physics.comp-ph


title: Quality Analysis of Battery Degradation Models with Real Battery Aging Experiment Data

abstract: The installation capacity of energy storage system, especially the battery energy storage system (BESS), has increased significantly in recent years, which is mainly applied to mitigate the fluctuation caused by renewable energy sources (RES) due to the fast response and high round-trip energy efficiency of BESS. The main components of majority of BESSs are lithium-ion batteries, which will degrade during the BESS daily operation. Heuristic battery degradation models are proposed to consider the battery degradation in the operations of energy systems to optimize the scheduling. However, those heuristic models are not evaluated or demonstrated with real battery degradation data. Thus, this paper will perform a quality analysis on the popular heuristic battery degradation models using the real battery aging experiment data to evaluate their performance. A benchmark model is also proposed to represent the real battery degradation value based on the averaged cycle value of the experimental data.


title: GRATIS: Deep Learning Graph Representation with Task-specific Topology and Multi-dimensional Edge Features

abstract: Graph is powerful for representing various types of real-world data. The topology (edges' presence) and edges' features of a graph decides the message passing mechanism among vertices within the graph. While most existing approaches only manually define a single-value edge to describe the connectivity or strength of association between a pair of vertices, task-specific and crucial relationship cues may be disregarded by such manually defined topology and single-value edge features. In this paper, we propose the first general graph representation learning framework (called GRATIS) which can generate a strong graph representation with a task-specific topology and task-specific multi-dimensional edge features from any arbitrary input. To learn each edge's presence and multi-dimensional feature, our framework takes both of the corresponding vertices pair and their global contextual information into consideration, enabling the generated graph representation to have a globally optimal message passing mechanism for different down-stream tasks. The principled investigation results achieved for various graph analysis tasks on 11 graph and non-graph datasets show that our GRATIS can not only largely enhance pre-defined graphs but also learns a strong graph representation for non-graph data, with clear performance improvements on all tasks. In particular, the learned topology and multi-dimensional edge features provide complementary task-related cues for graph analysis tasks. Our framework is effective, robust and flexible, and is a plug-and-play module that can be combined with different backbones and Graph Neural Networks (GNNs) to generate a task-specific graph representation from various graph and non-graph data. Our code is made publicly available at https://github.com/SSYSteve/Learning-Graph-Representation-with-Task-specific-Topology-and-Multi-dimensional-Edge-Features.


title: PIC-Score: Probabilistic Interpretable Comparison Score for Optimal Matching Confidence in Single- and Multi-Biometric (Face) Recognition

abstract: In the context of biometrics, matching confidence refers to the confidence that a given matching decision is correct. Since many biometric systems operate in critical decision-making processes, such as in forensics investigations, accurately and reliably stating the matching confidence becomes of high importance. Previous works on biometric confidence estimation can well differentiate between high and low confidence, but lack interpretability. Therefore, they do not provide accurate probabilistic estimates of the correctness of a decision. In this work, we propose a probabilistic interpretable comparison (PIC) score that accurately reflects the probability that the score originates from samples of the same identity. We prove that the proposed approach provides optimal matching confidence. Contrary to other approaches, it can also optimally combine multiple samples in a joint PIC score which further increases the recognition and confidence estimation performance. In the experiments, the proposed PIC approach is compared against all biometric confidence estimation methods available on four publicly available databases and five state-of-the-art face recognition systems. The results demonstrate that PIC has a significantly more accurate probabilistic interpretation than similar approaches and is highly effective for multi-biometric recognition. The code is publicly-available.


title: How to validate machine-learned interatomic potentials

abstract: Machine learning (ML) approaches enable large-scale atomistic simulations with near-quantum-mechanical accuracy. With the growing availability of these methods there arises a need for careful validation, particularly for physically agnostic models - that is, for potentials which extract the nature of atomic interactions from reference data. Here, we review the basic principles behind ML potentials and their validation for atomic-scale materials modeling. We discuss best practice in defining error metrics based on numerical performance as well as physically guided validation. We give specific recommendations that we hope will be useful for the wider community, including those researchers who intend to use ML potentials for materials "off the shelf".


title: HyperTuning: Toward Adapting Large Language Models without Back-propagation

abstract: Fine-tuning large language models for different tasks can be costly and inefficient, and even methods that reduce the number of tuned parameters still require full gradient-based optimization. We propose HyperTuning, a novel approach to model adaptation that uses a hypermodel to generate task-specific parameters for a fixed downstream model. We demonstrate a simple setup for hypertuning with HyperT5, a T5-based hypermodel that produces soft prefixes or LoRA parameters for a frozen T5 model from few-shot examples. We train HyperT5 in two stages: first, hyperpretraining with a modified conditional language modeling objective that trains a hypermodel to generate parameters; second, multi-task fine-tuning (MTF) on a large number of diverse language tasks. We evaluate HyperT5 on P3, MetaICL and Super-NaturalInstructions datasets, and show that it can effectively generate parameters for unseen tasks. Moreover, we show that using hypermodel-generated parameters as initializations for further parameter-efficient fine-tuning improves performance. HyperTuning can thus be a flexible and efficient way to leverage large language models for diverse downstream applications.


title: Shortcomings of Top-Down Randomization-Based Sanity Checks for Evaluations of Deep Neural Network Explanations

abstract: While the evaluation of explanations is an important step towards trustworthy models, it needs to be done carefully, and the employed metrics need to be well-understood. Specifically model randomization testing is often overestimated and regarded as a sole criterion for selecting or discarding certain explanation methods. To address shortcomings of this test, we start by observing an experimental gap in the ranking of explanation methods between randomization-based sanity checks [1] and model output faithfulness measures (e.g. [25]). We identify limitations of model-randomization-based sanity checks for the purpose of evaluating explanations. Firstly, we show that uninformative attribution maps created with zero pixel-wise covariance easily achieve high scores in this type of checks. Secondly, we show that top-down model randomization preserves scales of forward pass activations with high probability. That is, channels with large activations have a high probility to contribute strongly to the output, even after randomization of the network on top of them. Hence, explanations after randomization can only be expected to differ to a certain extent. This explains the observed experimental gap. In summary, these results demonstrate the inadequacy of model-randomization-based sanity checks as a criterion to rank attribution methods.


title: An Incremental Tensor Train Decomposition Algorithm

abstract: We present a new algorithm for incrementally updating the tensor train decomposition of a stream of tensor data. This new algorithm, called the {\em tensor train incremental core expansion} (TT-ICE) improves upon the current state-of-the-art algorithms for compressing in tensor train format by developing a new adaptive approach that incurs significantly slower rank growth and guarantees compression accuracy. This capability is achieved by limiting the number of new vectors appended to the TT-cores of an existing accumulation tensor after each data increment. These vectors represent directions orthogonal to the span of existing cores and are limited to those needed to represent a newly arrived tensor to a target accuracy. We provide two versions of the algorithm: TT-ICE and TT-ICE accelerated with heuristics (TT-ICE$^*$). We provide a proof of correctness for TT-ICE and empirically demonstrate the performance of the algorithms in compressing large-scale video and scientific simulation datasets. Compared to existing approaches that also use rank adaptation, TT-ICE$^*$ achieves $57\times$ higher compression and up to $95\%$ reduction in computational time.


title: Cornering Large-$N_c$ QCD with Positivity Bounds

abstract: The simple analytic structure of meson scattering amplitudes in the large-$N_c$ limit, combined with positivity of the spectral density, provides precise predictions on low-energy observables. Building upon previous studies, we explore the allowed regions of chiral Lagrangian parameters and meson couplings to pions. We reveal a structure of kinks at all orders in the chiral expansion and develop analytical tools to show that kinks always correspond to amplitudes with a single light pole. We build (scalar- and vector-less) deformations of the Lovelace-Shapiro and Coon UV-complete amplitudes, and show that they lie close to the boundaries. Moreover, constraints from crossing-symmetry imply that meson couplings to pions become smaller as their spin increases, providing an explanation for the success of Vector Meson Dominance and holographic QCD. We study how these conclusions depend on assumptions about the high-energy behavior of amplitudes. Finally, we emphasize the complementarity between our results and Lattice computations in the exploration of large-$N_c$ QCD.


title: End-to-end resource analysis for quantum interior point methods and portfolio optimization

abstract: We study quantum interior point methods (QIPMs) for second-order cone programming (SOCP), guided by the example use case of portfolio optimization (PO). We provide a complete quantum circuit-level description of the algorithm from problem input to problem output, making several improvements to the implementation of the QIPM. We report the number of logical qubits and the quantity/depth of non-Clifford T-gates needed to run the algorithm, including constant factors. The resource counts we find depend on instance-specific parameters, such as the condition number of certain linear systems within the problem. To determine the size of these parameters, we perform numerical simulations of small PO instances, which lead to concrete resource estimates for the PO use case. Our numerical results do not probe large enough instance sizes to make conclusive statements about the asymptotic scaling of the algorithm. However, already at small instance sizes, our analysis suggests that, due primarily to large constant pre-factors, poorly conditioned linear systems, and a fundamental reliance on costly quantum state tomography, fundamental improvements to the QIPM are required for it to lead to practical quantum advantage.


title: Monotone meshfree methods for linear elliptic equations in non-divergence form via nonlocal relaxation

abstract: We design a monotone meshfree finite difference method for linear elliptic equations in the non-divergence form on point clouds via a nonlocal relaxation method. The key idea is a novel combination of a nonlocal integral relaxation of the PDE problem with a robust meshfree discretization on point clouds. Minimal positive stencils are obtained through a local $l_1$-type optimization procedure that automatically guarantees the stability and, therefore, the convergence of the meshfree discretization for linear elliptic equations. A major theoretical contribution is the existence of consistent and positive stencils for a given point cloud geometry. We provide sufficient conditions for the existence of positive stencils by finding neighbors within an ellipse (2d) or ellipsoid (3d) surrounding each interior point, generalizing the study for Poisson's equation by Seibold (Comput Methods Appl Mech Eng 198(3-4):592-601, 2008). It is well-known that wide stencils are in general needed for constructing consistent and monotone finite difference schemes for linear elliptic equations. Our result represents a significant improvement in the stencil width estimate for positive-type finite difference methods for linear elliptic equations in the near-degenerate regime (when the ellipticity constant becomes small), compared to previously known works in this area. Numerical algorithms and practical guidance are provided with an eye on the case of small ellipticity constant. At the end, we present numerical results for the performance of our method in both 2d and 3d, examining a range of ellipticity constants including the near-degenerate regime.


title: ModelDiff: A Framework for Comparing Learning Algorithms

abstract: We study the problem of (learning) algorithm comparison, where the goal is to find differences between models trained with two different learning algorithms. We begin by formalizing this goal as one of finding distinguishing feature transformations, i.e., input transformations that change the predictions of models trained with one learning algorithm but not the other. We then present ModelDiff, a method that leverages the datamodels framework (Ilyas et al., 2022) to compare learning algorithms based on how they use their training data. We demonstrate ModelDiff through three case studies, comparing models trained with/without data augmentation, with/without pre-training, and with different SGD hyperparameters. Our code is available at https://github.com/MadryLab/modeldiff .


title: VideoMap: Supporting Video Editing Exploration, Brainstorming, and Prototyping in the Latent Space

abstract: Video editing is a creative and complex endeavor and we believe that there is potential for reimagining a new video editing interface to better support the creative and exploratory nature of video editing. We take inspiration from latent space exploration tools that help users find patterns and connections within complex datasets. We present VideoMap, a proof-of-concept video editing interface that operates on video frames projected onto a latent space. We support intuitive navigation through map-inspired navigational elements and facilitate transitioning between different latent spaces through swappable lenses. We built three VideoMap components to support editors in three common video tasks. In a user study with both professionals and non-professionals, editors found that VideoMap helps reduce grunt work, offers a user-friendly experience, provides an inspirational way of editing, and effectively supports the exploratory nature of video editing. We further demonstrate the versatility of VideoMap by implementing three extended applications. For interactive examples, we invite you to visit our project page: https://humanvideointeraction.github.io/videomap.


title: Videogenic: Identifying Highlight Moments in Videos with Professional Photographs as a Prior

abstract: This paper investigates the challenge of extracting highlight moments from videos. To perform this task, we need to understand what constitutes a highlight for arbitrary video domains while at the same time being able to scale across different domains. Our key insight is that photographs taken by photographers tend to capture the most remarkable or photogenic moments of an activity. Drawing on this insight, we present Videogenic, a technique capable of creating domain-specific highlight videos for a diverse range of domains. In a human evaluation study (N=50), we show that a high-quality photograph collection combined with CLIP-based retrieval (which uses a neural network with semantic knowledge of images) can serve as an excellent prior for finding video highlights. In a within-subjects expert study (N=12), we demonstrate the usefulness of Videogenic in helping video editors create highlight videos with lighter workload, shorter task completion time, and better usability.


title: On the Transferability of Visual Features in Generalized Zero-Shot Learning

abstract: Generalized Zero-Shot Learning (GZSL) aims to train a classifier that can generalize to unseen classes, using a set of attributes as auxiliary information, and the visual features extracted from a pre-trained convolutional neural network. While recent GZSL methods have explored various techniques to leverage the capacity of these features, there has been an extensive growth of representation learning techniques that remain under-explored. In this work, we investigate the utility of different GZSL methods when using different feature extractors, and examine how these models' pre-training objectives, datasets, and architecture design affect their feature representation ability. Our results indicate that 1) methods using generative components for GZSL provide more advantages when using recent feature extractors; 2) feature extractors pre-trained using self-supervised learning objectives and knowledge distillation provide better feature representations, increasing up to 15% performance when used with recent GZSL techniques; 3) specific feature extractors pre-trained with larger datasets do not necessarily boost the performance of GZSL methods. In addition, we investigate how GZSL methods fare against CLIP, a more recent multi-modal pre-trained model with strong zero-shot performance. We found that GZSL tasks still benefit from generative-based GZSL methods along with CLIP's internet-scale pre-training to achieve state-of-the-art performance in fine-grained datasets. We release a modular framework for analyzing representation learning issues in GZSL here: https://github.com/uvavision/TV-GZSL


title: Impurity-induced pairing in two-dimensional Fermi gases

abstract: We study induced pairing between two identical fermions mediated by an attractively interacting quantum impurity in two-dimensional systems. Based on a Stochastic Variational Method (SVM), we investigate the influence of confinement and finite interaction range effects on the mass ratio beyond which the ground state of the quantum three-body problem undergoes a transition from a composite bosonic trimer to an unbound dimer-fermion state. We find that confinement as well as a finite interaction range can greatly enhance trimer stability, bringing it within reach of experimental implementations such as found in ultracold atom systems. In the context of solid-state physics, our solution of the confined three-body problem shows that exciton-mediated interactions can become so dominant that they can even overcome detrimental Coulomb repulsion between electrons in atomically-thin semiconductors. Our work thus paves the way towards a universal understanding of boson-induced pairing across various fermionic systems at finite density, and opens perspectives towards realizing novel forms of electron pairing beyond the conventional paradigm of Cooper pair formation.


title: An Algorithmic Bridge Between Hamming and Levenshtein Distances

abstract: The edit distance between strings classically assigns unit cost to every character insertion, deletion, and substitution, whereas the Hamming distance only allows substitutions. In many real-life scenarios, insertions and deletions (abbreviated indels) appear frequently but significantly less so than substitutions. To model this, we consider substitutions being cheaper than indels, with cost $1/a$ for a parameter $a\ge 1$. This basic variant, denoted $ED_a$, bridges classical edit distance ($a=1$) with Hamming distance ($a\to\infty$), leading to interesting algorithmic challenges: Does the time complexity of computing $ED_a$ interpolate between that of Hamming distance (linear time) and edit distance (quadratic time)? What about approximating $ED_a$? We first present a simple deterministic exact algorithm for $ED_a$ and further prove that it is near-optimal assuming the Orthogonal Vectors Conjecture. Our main result is a randomized algorithm computing a $(1+\epsilon)$-approximation of $ED_a(X,Y)$, given strings $X,Y$ of total length $n$ and a bound $k\ge ED_a(X,Y)$. For simplicity, let us focus on $k\ge 1$ and a constant $\epsilon > 0$; then, our algorithm takes $\tilde{O}(n/a + ak^3)$ time. Unless $a=\tilde{O}(1)$ and for small enough $k$, this running time is sublinear in $n$. We also consider a very natural version that asks to find a $(k_I, k_S)$-alignment -- an alignment with at most $k_I$ indels and $k_S$ substitutions. In this setting, we give an exact algorithm and, more importantly, an $\tilde{O}(nk_I/k_S + k_S\cdot k_I^3)$-time $(1,1+\epsilon)$-bicriteria approximation algorithm. The latter solution is based on the techniques we develop for $ED_a$ for $a=\Theta(k_S / k_I)$. These bounds are in stark contrast to unit-cost edit distance, where state-of-the-art algorithms are far from achieving $(1+\epsilon)$-approximation in sublinear time, even for a favorable choice of $k$.


title: MagicPony: Learning Articulated 3D Animals in the Wild

abstract: We consider the problem of predicting the 3D shape, articulation, viewpoint, texture, and lighting of an articulated animal like a horse given a single test image as input. We present a new method, dubbed MagicPony, that learns this predictor purely from in-the-wild single-view images of the object category, with minimal assumptions about the topology of deformation. At its core is an implicit-explicit representation of articulated shape and appearance, combining the strengths of neural fields and meshes. In order to help the model understand an object's shape and pose, we distil the knowledge captured by an off-the-shelf self-supervised vision transformer and fuse it into the 3D model. To overcome local optima in viewpoint estimation, we further introduce a new viewpoint sampling scheme that comes at no additional training cost. MagicPony outperforms prior work on this challenging task and demonstrates excellent generalisation in reconstructing art, despite the fact that it is only trained on real images.


title: Touch and Go: Learning from Human-Collected Vision and Touch

abstract: The ability to associate touch with sight is essential for tasks that require physically interacting with objects in the world. We propose a dataset with paired visual and tactile data called Touch and Go, in which human data collectors probe objects in natural environments using tactile sensors, while simultaneously recording egocentric video. In contrast to previous efforts, which have largely been confined to lab settings or simulated environments, our dataset spans a large number of "in the wild" objects and scenes. To demonstrate our dataset's effectiveness, we successfully apply it to a variety of tasks: 1) self-supervised visuo-tactile feature learning, 2) tactile-driven image stylization, i.e., making the visual appearance of an object more consistent with a given tactile signal, and 3) predicting future frames of a tactile signal from visuo-tactile inputs.


title: Instant Volumetric Head Avatars

abstract: We present Instant Volumetric Head Avatars (INSTA), a novel approach for reconstructing photo-realistic digital avatars instantaneously. INSTA models a dynamic neural radiance field based on neural graphics primitives embedded around a parametric face model. Our pipeline is trained on a single monocular RGB portrait video that observes the subject under different expressions and views. While state-of-the-art methods take up to several days to train an avatar, our method can reconstruct a digital avatar in less than 10 minutes on modern GPU hardware, which is orders of magnitude faster than previous solutions. In addition, it allows for the interactive rendering of novel poses and expressions. By leveraging the geometry prior of the underlying parametric face model, we demonstrate that INSTA extrapolates to unseen poses. In quantitative and qualitative studies on various subjects, INSTA outperforms state-of-the-art methods regarding rendering quality and training time.


title: Person Image Synthesis via Denoising Diffusion Model

abstract: The pose-guided person image generation task requires synthesizing photorealistic images of humans in arbitrary poses. The existing approaches use generative adversarial networks that do not necessarily maintain realistic textures or need dense correspondences that struggle to handle complex deformations and severe occlusions. In this work, we show how denoising diffusion models can be applied for high-fidelity person image synthesis with strong sample diversity and enhanced mode coverage of the learnt data distribution. Our proposed Person Image Diffusion Model (PIDM) disintegrates the complex transfer problem into a series of simpler forward-backward denoising steps. This helps in learning plausible source-to-target transformation trajectories that result in faithful textures and undistorted appearance details. We introduce a 'texture diffusion module' based on cross-attention to accurately model the correspondences between appearance and pose information available in source and target images. Further, we propose 'disentangled classifier-free guidance' to ensure close resemblance between the conditional inputs and the synthesized output in terms of both pose and appearance information. Our extensive results on two large-scale benchmarks and a user study demonstrate the photorealism of our proposed approach under challenging scenarios. We also show how our generated images can help in downstream tasks. Our code and models will be publicly released.


title: AeDet: Azimuth-invariant Multi-view 3D Object Detection

abstract: Recent LSS-based multi-view 3D object detection has made tremendous progress, by processing the features in Brid-Eye-View (BEV) via the convolutional detector. However, the typical convolution ignores the radial symmetry of the BEV features and increases the difficulty of the detector optimization. To preserve the inherent property of the BEV features and ease the optimization, we propose an azimuth-equivariant convolution (AeConv) and an azimuth-equivariant anchor. The sampling grid of AeConv is always in the radial direction, thus it can learn azimuth-invariant BEV features. The proposed anchor enables the detection head to learn predicting azimuth-irrelevant targets. In addition, we introduce a camera-decoupled virtual depth to unify the depth prediction for the images with different camera intrinsic parameters. The resultant detector is dubbed Azimuth-equivariant Detector (AeDet). Extensive experiments are conducted on nuScenes, and AeDet achieves a 62.0% NDS, surpassing the recent multi-view 3D object detectors such as PETRv2 and BEVDepth by a large margin. Project page: https://fcjian.github.io/aedet.


title: Limiting the accretion disk light in two mass transferring hot subdwarf binaries

abstract: We report the results from follow-up observations of two Roche-lobe filling hot subdwarf binaries with white dwarf companions predicted to have accretion disks. ZTF J213056.71+442046.5 (ZTF J2130) with a 39-minute period and ZTF J205515.98+465106.5 (ZTF J2055) with a 56-minute period were both discovered as subdwarf binaries with light curves that could only be explained well by including an accretion disk in their models. We performed a detailed high-resolution spectral analysis using Keck/ESI to search for possible accretion features for both objects. We also employed polarimetric analysis using the Nordic Optical Telescope (NOT) for ZTF J2130. We did not find any signatures of an accretion disk in either object, and placed upper limits on the flux contribution and variation in degree of polarisation due to the disk. Owing to the short 39-minute period and availability of photometric data over six years for ZTF J2130, we conducted an extensive $O - C$ timing analysis in an attempt to look for orbital decay due to gravitational wave radiation. No such decay was detected conclusively, and a few more years of data paired with precise and consistent timing measurements were deemed necessary to constrain $\dot P$ observationally.